| Solver | #Ins. | DistUP | CCEHC | Dist1 | CCLS2015 | Dist2 | ILP-2015-in | WPM3-2015-in | optiriss-def-i | optiriss-sel-i |
|---|
| min2sat/v160c800l2 | 30 | 100% | 100% | 100% | 96% | 100% | 63% | 20% | 3% | 0% |
| min2sat/v260c1040l2 | 30 | 100% | 100% | 100% | 100% | 93% | 56% | 3% | 0% | 0% |
| min3sat/c70v350l3 | 30 | 100% | 100% | 100% | 100% | 96% | 6% | 56% | 0% | 0% |
| min3sat/c80v400l3 | 30 | 100% | 100% | 100% | 100% | 96% | 0% | 16% | 0% | 0% |
| pmax2sat/hi | 30 | 96% | 96% | 96% | 96% | 96% | 3% | 0% | 0% | 0% |
| pmax2sat/me | 30 | 100% | 100% | 100% | 96% | 100% | 30% | 0% | 0% | 0% |
| pmax3sat/hi | 30 | 100% | 100% | 100% | 100% | 100% | 16% | 20% | 3% | 0% |
|