| 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 | 4.51(30) | 6.43(30) | 4.79(29) | 11.60(30) | 11.27(29) | 10.07(30) | 60.99(2) | 110.25(21) | 104.76(20) | 93.93(6) | 0.00(0) | 257.86(1) | 0.00(0) |
| min2sat/v260c1040l2 | 30 | 5.00(30) | 10.46(30) | 6.17(30) | 9.50(30) | 6.31(30) | 12.54(30) | 0.00(0) | 149.12(9) | 125.10(9) | 27.48(1) | 0.00(0) | 0.00(0) | 0.00(0) |
| min3sat/c70v350l3 | 30 | 1.33(30) | 2.36(30) | 1.52(30) | 2.92(30) | 2.65(30) | 5.91(30) | 39.39(28) | 76.26(2) | 53.33(2) | 65.88(17) | 0.00(0) | 0.00(0) | 0.00(0) |
| min3sat/c80v400l3 | 30 | 1.49(30) | 2.38(30) | 1.78(30) | 2.47(29) | 5.97(30) | 14.70(30) | 63.09(20) | 76.16(6) | 68.58(3) | 168.55(4) | 0.00(0) | 0.00(0) | 0.00(0) |
| pmax2sat/hi | 30 | 0.60(29) | 1.89(29) | 0.72(29) | 1.00(29) | 10.78(29) | 5.42(28) | 9.36(29) | 15.65(29) | 18.38(29) | 0.00(0) | 2.19(5) | 0.00(0) | 0.00(0) |
| pmax2sat/me | 30 | 0.88(30) | 2.03(30) | 1.15(30) | 0.94(30) | 1.92(29) | 1.34(28) | 5.70(30) | 13.41(30) | 26.05(29) | 0.00(0) | 0.87(13) | 0.00(0) | 0.00(0) |
| pmax3sat/hi | 30 | 0.67(30) | 1.40(30) | 1.07(30) | 1.52(30) | 1.09(30) | 0.85(30) | 1.45(30) | 8.95(30) | 11.06(29) | 49.64(6) | 1.02(4) | 0.00(0) | 0.00(0) |
|
| Total | 210 | 209 | 209 | 208 | 208 | 207 | 206 | 139 | 127 | 121 | 34 | 22 | 1 | 0 |