| Solver | #Ins. | SC2016 | borealis | Swcca-ms | CCLS | CnC-LS | SsMonteCarlo | CCEHC | Ramp | dsat-wpm3-s-in-ms | dsat-wpm3-in-ms | HS-Greedy | Naps-1.02-ms | Optiriss6-in | WPM3-2015-in |
|---|
| ndom/abrame-habet/max2sat/120v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 37% | 0% | 0% | 0% |
| ndom/abrame-habet/max2sat/140v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 31% | 0% | 0% | 0% |
| ndom/abrame-habet/max2sat/160v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 40% | 0% | 0% | 0% |
| ndom/abrame-habet/max2sat/180v | 44 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 52% | 0% | 0% | 0% |
| ndom/abrame-habet/max2sat/200v | 49 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 36% | 0% | 0% | 0% |
| ndom/abrame-habet/max3sat/110v | 50 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 96% | 100% | 2% | 0% | 0% | 0% |
| andom/abrame-habet/max3sat/70v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 15% | 0% | 0% | 0% |
| andom/abrame-habet/max3sat/90v | 49 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 14% | 0% | 0% | 0% |
| highgirth/3sat | 50 | 100% | 100% | 100% | 100% | 100% | 98% | 86% | 86% | 30% | 20% | 0% | 0% | 0% | 0% |
| highgirth/4sat | 32 | 100% | 100% | 100% | 100% | 96% | 90% | 56% | 46% | 59% | 59% | 0% | 0% | 0% | 0% |
|