Solver | #Ins. | ISAC+2014-pms | scip-maxsat | ILP-2013 | MaxHS | QMS-g3-auto | Open-WBO-SU | QMS-g2-pms | MSCG | antom_partial | antom | Eva500a | WMaxSatz+ | WPM-2014-co | optimax2-rn | WMaxSatz09 | ahmaxsat-ls | ahmaxsat | Open-WBO-In | clasp | maxSatUZK | CCLS2akms | toysat | SAT4J-ms | toysat_ls | Open-WBO | WBO | pmifumax | optimax2-r |
frb | 25 | 102.19(25) | 389.00(12) | 224.53(11) | 402.73(14) | 72.23(25) | 66.49(25) | 78.03(25) | 377.89(8) | 156.50(24) | 145.59(24) | 155.00(25) | 281.36(5) | 149.03(21) | 332.24(21) | 314.59(5) | 91.99(5) | 94.65(5) | 174.59(19) | 0.00(0) | 185.41(10) | 335.87(5) | 69.64(22) | 0.00(0) | 48.13(22) | 166.90(25) | 129.34(25) | 103.77(24) | 94.68(24) |
job-shop | 3 | 28.26(3) | 0.00(0) | 0.00(0) | 30.39(3) | 26.32(3) | 21.79(3) | 15.54(3) | 42.28(3) | 91.88(3) | 118.14(3) | 200.64(3) | 0.00(0) | 34.25(3) | 185.21(3) | 0.00(0) | 0.00(0) | 0.00(0) | 42.55(3) | 51.43(3) | 22.34(3) | 0.00(0) | 852.27(3) | 475.10(3) | 1391.96(1) | 109.86(3) | 91.41(3) | 30.13(3) | 154.79(3) |
maxclicque/random | 96 | 9.25(96) | 83.68(96) | 33.01(96) | 22.79(96) | 89.94(80) | 91.92(78) | 82.59(78) | 119.14(88) | 75.37(76) | 75.23(76) | 148.27(71) | 2.27(96) | 54.33(73) | 85.84(77) | 2.15(96) | 0.99(96) | 1.02(96) | 135.31(66) | 95.68(81) | 112.47(73) | 4.16(96) | 156.38(60) | 95.48(66) | 128.46(62) | 301.52(37) | 86.66(29) | 41.65(2) | 0.00(0) |
maxclicque/structured | 62 | 43.50(44) | 219.34(35) | 179.16(36) | 130.33(38) | 158.03(27) | 214.02(27) | 186.98(26) | 155.46(28) | 131.81(25) | 148.71(24) | 203.71(24) | 134.08(37) | 97.81(23) | 130.43(23) | 115.95(36) | 57.20(29) | 55.91(29) | 180.12(19) | 77.01(24) | 134.34(22) | 102.20(37) | 211.03(13) | 35.30(15) | 62.94(10) | 27.77(16) | 132.25(17) | 1.54(14) | 7.77(14) |
maxone/3sat | 80 | 8.48(80) | 9.82(80) | 8.80(80) | 2.22(80) | 83.05(79) | 113.00(80) | 165.95(77) | 29.47(80) | 211.44(77) | 212.29(77) | 185.38(77) | 0.41(80) | 195.00(73) | 236.69(72) | 0.41(80) | 0.79(80) | 0.80(80) | 34.30(80) | 77.37(77) | 292.90(68) | 1.10(80) | 121.07(36) | 275.18(41) | 218.96(39) | 179.12(18) | 145.18(17) | 179.30(11) | 106.24(10) |
maxone/structured | 60 | 13.81(59) | 91.55(59) | 158.85(57) | 6.98(60) | 4.64(60) | 5.42(60) | 5.26(60) | 49.62(59) | 7.42(60) | 4.51(60) | 12.04(60) | 92.65(58) | 7.66(60) | 16.59(60) | 85.64(58) | 24.14(44) | 23.86(44) | 30.63(59) | 11.82(58) | 28.52(60) | 378.98(15) | 21.65(58) | 2.97(60) | 19.43(57) | 40.26(5) | 56.46(3) | 0.14(1) | 10.95(1) |
min-enc/kbtree | 42 | 77.47(42) | 71.73(42) | 209.51(42) | 282.86(2) | 95.94(6) | 76.57(6) | 92.76(6) | 88.04(6) | 287.83(6) | 319.87(5) | 238.94(5) | 647.19(11) | 298.41(6) | 729.27(4) | 650.11(11) | 525.65(35) | 465.44(33) | 30.97(6) | 173.84(5) | 480.77(5) | 234.16(6) | 0.00(0) | 0.00(0) | 0.00(0) | 756.46(3) | 384.08(3) | 0.00(0) | 891.44(2) |
pseudo/miplib | 4 | 30.94(4) | 33.41(4) | 23.85(4) | 4.12(4) | 2.92(4) | 2.90(4) | 1.55(4) | 6.89(4) | 7.48(4) | 7.79(4) | 63.03(4) | 594.48(3) | 18.24(4) | 2.92(4) | 581.39(3) | 0.02(2) | 0.02(2) | 11.89(4) | 15.66(4) | 10.75(4) | 388.41(3) | 295.01(4) | 238.87(4) | 170.06(4) | 6.01(3) | 5.13(3) | 1.43(3) | 0.52(2) |
reversi | 44 | 29.47(33) | 197.27(14) | 372.21(13) | 19.51(31) | 19.50(33) | 19.64(33) | 19.84(33) | 15.37(33) | 18.29(33) | 21.73(33) | 27.18(32) | 113.54(7) | 13.68(33) | 26.72(33) | 111.81(7) | 1.17(3) | 0.90(3) | 17.60(33) | 16.46(33) | 41.70(33) | 409.94(7) | 160.39(30) | 71.42(32) | 18.51(15) | 66.60(32) | 17.08(31) | 65.66(29) | 25.47(29) |
scheduling | 5 | 488.88(1) | 0.00(0) | 0.00(0) | 0.00(0) | 1218.55(1) | 749.72(1) | 0.00(0) | 1157.26(1) | 0.00(0) | 0.00(0) | 1446.70(1) | 0.00(0) | 1119.71(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 807.17(1) | 534.97(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) |
Total | 421 | 387 | 342 | 339 | 328 | 318 | 317 | 312 | 310 | 308 | 306 | 302 | 297 | 297 | 297 | 296 | 294 | 292 | 290 | 286 | 278 | 249 | 226 | 221 | 210 | 142 | 131 | 87 | 85 |