| Solver | #Ins. | dsat-wpm3-s-in-wpms | SC2016 | dsat-wpm3-in-wpms | CCEHC | CCLS | Ramp | SsMonteCarlo | Dist-r | Dist | HS-Greedy | WPM3-2015-in | Naps-1.02-ms | Optiriss6-in |
|---|
| dom/abrame-habet/wmax2sat/120v | 50 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 14% | 0% | 0% | 0% |
| dom/abrame-habet/wmax2sat/140v | 50 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 6% | 0% | 0% | 0% |
| dom/abrame-habet/wmax2sat/160v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 4% | 0% | 0% | 0% |
| dom/abrame-habet/wmax2sat/180v | 44 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 6% | 0% | 0% | 0% |
| dom/abrame-habet/wmax2sat/200v | 49 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 4% | 0% | 0% | 0% |
| dom/abrame-habet/wmax3sat/110v | 50 | 100% | 100% | 100% | 92% | 100% | 100% | 100% | 0% | 0% | 0% | 0% | 0% | 0% |
| ndom/abrame-habet/wmax3sat/70v | 45 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 8% | 0% | 0% | 0% |
| ndom/abrame-habet/wmax3sat/90v | 49 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 0% | 2% | 0% | 0% | 0% |
| wpmax2sat/hi | 30 | 96% | 96% | 96% | 96% | 93% | 90% | 0% | 96% | 96% | 26% | 0% | 0% | 0% |
| wpmax2sat/lo | 30 | 100% | 100% | 96% | 100% | 96% | 96% | 93% | 100% | 100% | 20% | 0% | 0% | 0% |
| wpmax2sat/me | 30 | 100% | 96% | 100% | 100% | 96% | 93% | 60% | 100% | 100% | 26% | 0% | 0% | 0% |
| wpmax3sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 3% | 26% | 3% | 0% |
|