| Solver | #Ins. | Dist-r | CCEHC | SC2016 | Dist | CCLS | Ramp | SsMonteCarlo | dsat-wpm3-in-pms | dsat-wpm3-s-in-pms | WPM3-2015-in | HS-Greedy | Optiriss6-in | Naps-1.02-ms |
|---|
| min2sat/v160c800l2 | 30 | 100% | 100% | 96% | 100% | 96% | 100% | 6% | 70% | 66% | 20% | 0% | 3% | 0% |
| min2sat/v260c1040l2 | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 0% | 30% | 30% | 3% | 0% | 0% | 0% |
| min3sat/c70v350l3 | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 93% | 6% | 6% | 56% | 0% | 0% | 0% |
| min3sat/c80v400l3 | 30 | 100% | 100% | 100% | 96% | 100% | 100% | 66% | 20% | 10% | 13% | 0% | 0% | 0% |
| pmax2sat/hi | 30 | 96% | 96% | 96% | 96% | 96% | 93% | 96% | 96% | 96% | 0% | 16% | 0% | 0% |
| pmax2sat/me | 30 | 100% | 100% | 100% | 100% | 96% | 93% | 100% | 100% | 96% | 0% | 43% | 0% | 0% |
| pmax3sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 100% | 96% | 20% | 13% | 0% | 0% |
|