Solver | #Ins. | ahms-ls-1.55 | ahms-ls-1.68 | ahms-1.55 | ahms-1.68 | CCLS2akms-ls | ISAC+-2015-ms | CCLS2akms | CCEHC2akms | WMaxSatz09 | WMaxSatz+ | ILP-2015 | WPM3-2015-co | mscg2015b | mscg2015a | Open-WBO | QMSAT15UC | optiriss-def | Open-WBO-L | QMSAT14 | maxino-k16 | maxino-kdyn | MaxHS | optiriss-sel | msUZK-nopp | msUZK-pp | toysat_ls | toysat | ratselfax-cnf |
d/bipartite/maxcut-140-630-0.7 | 50 | 88.44(50) | 93.09(50) | 100.46(50) | 105.53(50) | 91.14(50) | 92.58(50) | 92.57(50) | 94.23(50) | 328.78(49) | 370.59(49) | 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) |
d/bipartite/maxcut-140-630-0.8 | 50 | 64.69(50) | 69.43(50) | 75.93(50) | 79.80(50) | 68.57(50) | 69.55(50) | 69.34(50) | 70.92(50) | 288.38(50) | 317.43(50) | 1612.03(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) |
afted/maxcut/abrame-habet/v140 | 45 | 445.44(22) | 441.71(22) | 487.13(22) | 437.41(21) | 352.12(21) | 353.32(21) | 355.61(21) | 357.24(21) | 602.44(14) | 650.03(14) | 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) |
afted/maxcut/abrame-habet/v160 | 45 | 490.05(14) | 471.80(14) | 444.78(13) | 511.77(14) | 476.40(14) | 482.00(14) | 484.97(14) | 487.88(14) | 785.81(8) | 717.59(7) | 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) |
afted/maxcut/abrame-habet/v180 | 45 | 479.84(13) | 490.19(13) | 414.38(12) | 442.12(12) | 415.95(12) | 430.12(12) | 430.43(12) | 432.68(12) | 832.02(8) | 896.56(8) | 1372.35(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) |
afted/maxcut/abrame-habet/v200 | 45 | 575.69(13) | 504.89(12) | 441.09(11) | 472.44(11) | 450.26(11) | 456.39(11) | 459.50(11) | 492.43(11) | 478.85(5) | 528.71(5) | 1555.17(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) |
afted/maxcut/abrame-habet/v220 | 45 | 452.27(9) | 472.97(9) | 468.15(9) | 486.53(9) | 628.90(9) | 628.42(9) | 633.68(9) | 639.13(9) | 565.51(4) | 612.88(4) | 1749.17(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) |
maxcut/dimacs-mod | 62 | 36.66(52) | 41.03(52) | 40.62(52) | 44.25(52) | 30.05(52) | 31.26(52) | 30.35(52) | 30.90(52) | 121.42(52) | 111.00(52) | 301.20(34) | 246.66(11) | 100.63(10) | 106.34(10) | 80.24(9) | 129.60(9) | 147.25(9) | 207.42(9) | 204.96(9) | 205.06(9) | 220.62(9) | 0.09(4) | 3.13(5) | 103.02(5) | 346.33(5) | 0.34(4) | 1.13(4) | 0.01(2) |
maxcut/spinglass | 5 | 59.12(4) | 57.21(4) | 70.39(4) | 76.67(4) | 6.95(3) | 7.54(3) | 7.17(3) | 7.49(3) | 2.85(3) | 3.07(3) | 330.32(4) | 2.12(2) | 1.67(2) | 1.72(2) | 4.97(2) | 46.90(2) | 21.10(2) | 28.54(2) | 51.66(2) | 87.29(2) | 23.78(2) | 2.23(2) | 0.01(1) | 2.49(1) | 3.39(1) | 0.00(0) | 0.00(0) | 41.41(1) |
set-covering/scpclr | 4 | 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) | 78.69(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) |
set-covering/scpcyc | 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) | 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) |
Total | 402 | 227 | 226 | 223 | 223 | 222 | 222 | 222 | 222 | 193 | 192 | 43 | 13 | 12 | 12 | 11 | 11 | 11 | 11 | 11 | 11 | 11 | 6 | 6 | 6 | 6 | 4 | 4 | 3 |