Solver | #Ins. | ahms-ls-1.70 | ahms-1.70 | CCEHC2akms | CCLS2akms | WMaxSatz09 | WMaxSatz+ | maxhs-b | mscg2015b | mscg2015a | WPM3-2015-co | Open-WBO16 | Open-WBO15 | LMHS-2016 | Optiriss6 | maxino16-c10 | QMaxSAT16UC | QMaxSAT14 | maxino16-dis | Naps-1.02-ms |
min2sat/v160c800l2 | 30 | 100% | 100% | 86% | 86% | 83% | 70% | 33% | 36% | 26% | 26% | 20% | 23% | 26% | 16% | 6% | 0% | 0% | 0% | 0% |
min2sat/v260c1040l2 | 30 | 100% | 96% | 63% | 63% | 60% | 46% | 43% | 23% | 16% | 23% | 10% | 6% | 10% | 3% | 3% | 0% | 0% | 0% | 0% |
min3sat/c70v350l3 | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 6% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
min3sat/c80v400l3 | 30 | 96% | 96% | 60% | 56% | 50% | 73% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
pmax2sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 3% | 3% | 3% | 0% | 3% | 3% | 0% | 3% | 3% | 3% | 3% | 3% | 3% |
pmax2sat/me | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
pmax3sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 33% | 10% | 10% | 3% | 16% | 13% | 0% | 3% | 3% | 10% | 10% | 0% | 0% |