| Solver | #Ins. | ahms-ls-1.70 | ahms-1.70 | CCEHC2akms | CCLS2akms | WMaxSatz09 | WMaxSatz+ | maxhs-b | mscg2015b | mscg2015a | WPM3-2015-co | Open-WBO16 | Open-WBO15 | LMHS-2016 | Optiriss6 | maxino16-c10 | QMaxSAT16UC | QMaxSAT14 | maxino16-dis | Naps-1.02-ms |
|---|
| min2sat/v160c800l2 | 30 | 101.55(30) | 104.08(30) | 403.92(26) | 423.97(26) | 394.08(25) | 551.18(21) | 128.10(10) | 435.75(11) | 289.81(8) | 201.64(8) | 693.95(6) | 257.33(7) | 602.00(8) | 599.56(5) | 88.45(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| min2sat/v260c1040l2 | 30 | 278.37(30) | 246.96(29) | 422.64(19) | 442.05(19) | 282.02(18) | 600.67(14) | 315.11(13) | 695.03(7) | 794.60(5) | 541.02(7) | 1389.02(3) | 675.14(2) | 1017.82(3) | 842.13(1) | 1500.81(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| min3sat/c70v350l3 | 30 | 67.70(30) | 69.87(30) | 267.70(30) | 274.44(30) | 376.15(30) | 274.08(30) | 1599.12(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) |
| min3sat/c80v400l3 | 30 | 317.51(29) | 328.99(29) | 932.53(18) | 925.92(17) | 1004.75(15) | 923.65(22) | 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.70(30) | 4.22(30) | 16.41(30) | 9.57(30) | 12.99(30) | 13.17(30) | 0.17(1) | 0.01(1) | 0.01(1) | 0.00(0) | 0.01(1) | 0.01(1) | 0.00(0) | 0.01(1) | 0.01(1) | 0.01(1) | 0.01(1) | 0.01(1) | 0.05(1) |
| pmax2sat/me | 30 | 1.59(30) | 1.95(30) | 9.60(30) | 5.23(30) | 5.39(30) | 5.50(30) | 596.42(6) | 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 | 50.48(30) | 58.81(30) | 62.76(30) | 62.64(30) | 80.33(30) | 83.80(30) | 1168.77(10) | 1006.82(3) | 414.99(3) | 228.49(1) | 976.78(5) | 1045.55(4) | 0.00(0) | 547.39(1) | 693.87(1) | 447.03(3) | 1104.48(3) | 0.00(0) | 0.00(0) |
|
| Total | 210 | 209 | 208 | 183 | 182 | 178 | 177 | 42 | 22 | 17 | 16 | 15 | 14 | 11 | 8 | 5 | 4 | 4 | 1 | 1 |