Solver | #Ins. | ahms-ls-1.70 | CCLS2akms | CCEHC2akms | ahms-1.70 | WMaxSatz09 | WMaxSatz+ | maxhs-b | Naps-1.02-ms | Open-WBO16 | Optiriss6 | WPM3-2015-co | maxino16-c10 | maxino16-dis | mscg2015a | mscg2015b |
ndom/abrame-habet/max2sat/120v | 45 | 93% | 95% | 95% | 82% | 66% | 66% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ndom/abrame-habet/max2sat/140v | 45 | 75% | 75% | 75% | 64% | 46% | 44% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ndom/abrame-habet/max2sat/160v | 45 | 46% | 44% | 44% | 44% | 24% | 24% | 2% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ndom/abrame-habet/max2sat/180v | 44 | 45% | 38% | 38% | 40% | 20% | 20% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ndom/abrame-habet/max2sat/200v | 49 | 53% | 48% | 48% | 51% | 24% | 24% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
ndom/abrame-habet/max3sat/110v | 50 | 60% | 60% | 60% | 60% | 44% | 42% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
andom/abrame-habet/max3sat/70v | 45 | 93% | 93% | 93% | 91% | 68% | 68% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
andom/abrame-habet/max3sat/90v | 49 | 55% | 59% | 55% | 51% | 46% | 46% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
highgirth/3sat | 50 | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |
highgirth/4sat | 32 | 21% | 15% | 12% | 21% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% | 0% |