| Solver | #Ins. | ISAC+-pms | ILP-2013 | scip-maxsat | MaxHS | WMaxSatz+ | WMaxSatz09 | QMaxSAT-m | Toulbar2 | antom_seq1 | antom_seq2 | QMaxSAT2-mt | ckmax-small | WPM2-2013 | MSUnCore | optimax-ni | pwbo2.3-pms | optimax | WPM1-2013 | glpk-maxsat | toysat | wbo2.1-wcnf | pmifumax |
|---|
| frb | 25 | 132.43(25) | 228.85(11) | 220.83(11) | 340.54(13) | 283.67(5) | 317.62(5) | 163.09(25) | 1768.99(1) | 174.97(25) | 117.70(25) | 87.22(24) | 1054.65(5) | 0.00(0) | 0.00(0) | 572.88(10) | 149.92(17) | 828.49(4) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 101.87(24) |
| job-shop | 3 | 22.64(3) | 0.00(0) | 0.00(0) | 132.34(3) | 0.00(0) | 0.00(0) | 21.12(3) | 0.00(0) | 66.41(3) | 49.46(3) | 27.33(3) | 0.00(0) | 56.38(3) | 85.51(3) | 105.46(3) | 214.40(3) | 62.00(3) | 34.96(2) | 0.00(0) | 741.65(3) | 138.88(1) | 29.85(3) |
| maxclicque/random | 96 | 7.18(96) | 33.68(96) | 91.03(96) | 24.34(96) | 2.32(96) | 2.20(96) | 42.72(80) | 21.05(96) | 65.55(78) | 54.43(78) | 62.36(75) | 9.45(96) | 175.12(82) | 75.96(70) | 132.32(73) | 117.83(66) | 124.41(72) | 251.34(51) | 202.06(66) | 129.73(64) | 0.00(0) | 41.95(2) |
| maxclicque/structured | 62 | 52.60(43) | 187.81(36) | 269.02(34) | 135.95(38) | 135.38(37) | 116.43(36) | 103.01(27) | 119.60(36) | 135.02(26) | 125.45(26) | 130.12(23) | 173.18(31) | 164.06(22) | 114.43(21) | 111.88(22) | 39.55(19) | 120.20(21) | 66.57(13) | 311.33(14) | 60.41(14) | 275.58(10) | 1.98(14) |
| maxone/3sat | 80 | 6.67(80) | 9.06(80) | 10.20(80) | 2.37(80) | 0.44(80) | 0.42(80) | 116.27(80) | 17.58(80) | 256.89(74) | 242.92(73) | 168.98(76) | 5.16(80) | 6.43(80) | 8.00(80) | 136.79(70) | 74.61(64) | 76.36(54) | 118.53(79) | 47.26(68) | 343.51(11) | 262.90(15) | 190.03(11) |
| maxone/structured | 60 | 9.01(60) | 188.74(58) | 124.81(58) | 40.88(60) | 93.59(58) | 86.65(58) | 2.03(60) | 134.85(57) | 4.63(60) | 27.87(60) | 9.53(60) | 47.42(35) | 14.83(59) | 25.92(59) | 65.76(52) | 10.04(60) | 3.47(54) | 228.48(32) | 602.07(4) | 82.79(39) | 43.20(32) | 0.14(1) |
| min-enc/kbtree | 42 | 207.94(42) | 212.74(42) | 74.33(42) | 609.47(6) | 650.94(11) | 656.85(11) | 197.26(6) | 715.04(8) | 828.98(5) | 771.43(5) | 110.60(6) | 867.03(14) | 258.77(3) | 266.09(6) | 476.43(5) | 1207.47(3) | 424.08(5) | 358.55(3) | 589.41(12) | 0.00(0) | 453.36(3) | 0.00(0) |
| pseudo/miplib | 4 | 60.18(4) | 23.99(4) | 44.96(4) | 3.88(4) | 0.04(2) | 585.34(3) | 1.07(4) | 4.11(4) | 5.50(4) | 4.02(4) | 1.37(4) | 0.17(2) | 32.60(4) | 49.64(4) | 6.64(4) | 93.21(4) | 6.81(4) | 159.07(4) | 0.08(2) | 124.20(4) | 0.19(2) | 1.43(3) |
| scheduling | 5 | 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) | 1785.38(1) | 0.00(0) | 827.93(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 | 377 | 353 | 327 | 325 | 300 | 289 | 289 | 285 | 282 | 275 | 274 | 272 | 263 | 254 | 243 | 239 | 236 | 217 | 184 | 166 | 135 | 63 | 58 |