Solver | #Ins. | ahms-ls-1.55 | ahms-1.55 | ahms-1.68 | ahms-ls-1.68 | ISAC+-2015-pms | CCEHC2akms | CCLS2akms | WMaxSatz09 | WMaxSatz+ | ILP-2015 | mscg2015b | mscg2015a | WPM3-2015-co | Open-WBO | Open-WBO-R | optiriss-def | LMHS-C | QMSAT15UC | QMSAT14 | maxino-k16 | maxino-kdyn | MaxHS | Open-WBO-L | optiriss-sel | LMHS-I | ratselfax-cnf | toysat | toysat_ls | msUZK-nopp | msUZK-pp |
min2sat/v160c800l2 | 30 | 128.00(30) | 67.58(29) | 116.59(30) | 69.76(29) | 260.10(27) | 411.40(26) | 435.55(26) | 393.67(25) | 550.44(21) | 274.14(28) | 433.98(11) | 292.76(8) | 190.86(8) | 501.11(8) | 255.41(7) | 820.85(4) | 980.42(2) | 0.00(0) | 0.00(0) | 350.76(1) | 379.84(1) | 617.59(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
min2sat/v260c1040l2 | 30 | 350.52(30) | 340.51(30) | 329.88(30) | 335.98(30) | 302.53(22) | 428.32(19) | 446.02(19) | 281.92(18) | 597.37(14) | 377.61(27) | 678.31(7) | 794.25(5) | 492.90(7) | 1058.69(3) | 688.12(2) | 1067.47(1) | 574.89(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
min3sat/c70v350l3 | 30 | 80.94(30) | 78.56(30) | 88.56(30) | 91.77(30) | 203.06(30) | 267.62(30) | 275.42(30) | 375.76(30) | 273.79(30) | 750.16(16) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
min3sat/c80v400l3 | 30 | 391.73(29) | 390.64(29) | 424.89(28) | 417.38(28) | 850.83(24) | 939.30(18) | 920.22(17) | 1004.77(15) | 923.63(22) | 801.77(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
pmax2sat/hi | 30 | 2.73(30) | 3.98(30) | 4.25(30) | 2.82(30) | 4.75(30) | 17.13(30) | 9.58(30) | 12.99(30) | 13.22(30) | 1062.13(13) | 0.01(1) | 0.01(1) | 0.00(0) | 0.01(1) | 0.01(1) | 0.01(1) | 0.06(1) | 0.01(1) | 0.01(1) | 0.01(1) | 0.01(1) | 0.17(1) | 0.01(1) | 0.01(1) | 0.05(1) | 0.05(1) | 0.11(1) | 0.22(1) | 0.29(1) | 1.30(1) |
pmax2sat/me | 30 | 1.44(30) | 1.80(30) | 2.10(30) | 1.69(30) | 3.50(30) | 9.93(30) | 5.22(30) | 5.38(30) | 5.50(30) | 520.92(23) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
pmax3sat/hi | 30 | 51.79(30) | 58.84(30) | 62.04(30) | 53.99(30) | 51.50(30) | 60.57(30) | 59.80(30) | 80.44(30) | 83.58(30) | 572.96(13) | 1004.11(3) | 422.08(3) | 244.27(1) | 518.48(2) | 817.19(3) | 298.27(1) | 0.00(0) | 503.61(3) | 1148.57(3) | 413.17(1) | 497.62(1) | 0.00(0) | 955.50(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
Total | 210 | 209 | 208 | 208 | 207 | 193 | 183 | 182 | 178 | 177 | 121 | 22 | 17 | 16 | 14 | 13 | 7 | 5 | 4 | 4 | 3 | 3 | 3 | 3 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |