Solver | #Ins. | ISAC+-2016-co-pms | WPM3-2015-co | maxino16-c10 | Open-WBO15 | Open-WBO16 | mscg2015b | mscg2015a | maxino16-dis | maxhs-b | Optiriss6 | QMaxSAT16UC | QMaxSAT14 | LMHS-2016 | Naps-1.02-ms | ahms-ls-1.70 | ahms-1.70 | WMaxSatz09 | WMaxSatz+ | CCEHC2akms | CCLS2akms |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
aes | 7 | 179.33(2) | 0.31(1) | 0.06(1) | 0.14(1) | 0.13(1) | 0.53(1) | 0.12(1) | 0.07(1) | 114.73(2) | 0.59(1) | 0.00(0) | 0.00(0) | 267.24(2) | 0.00(0) | 1.20(1) | 0.81(1) | 0.00(0) | 0.00(0) | 620.99(1) | 620.95(1) |
atcoss/mesat | 18 | 152.79(12) | 242.33(11) | 48.71(11) | 235.82(11) | 256.96(11) | 307.63(11) | 316.42(11) | 191.05(12) | 42.69(11) | 259.60(11) | 202.40(11) | 293.86(11) | 158.29(11) | 185.88(12) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
atcoss/sugar | 19 | 50.05(12) | 123.62(12) | 41.83(12) | 159.45(12) | 177.19(12) | 211.63(12) | 211.68(12) | 40.84(12) | 44.18(12) | 148.69(12) | 136.14(12) | 179.96(12) | 152.66(12) | 129.64(12) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
bcp/fir | 32 | 12.70(32) | 18.72(32) | 28.51(31) | 20.21(32) | 110.03(32) | 9.09(32) | 16.57(32) | 108.65(31) | 168.18(28) | 16.65(32) | 39.62(29) | 54.91(29) | 317.13(23) | 18.21(28) | 128.63(13) | 165.48(13) | 620.14(15) | 627.37(15) | 147.11(1) | 147.53(1) |
bcp/hipp-yRa1/simp | 10 | 143.51(10) | 143.11(10) | 29.26(9) | 14.71(9) | 21.91(9) | 9.12(9) | 15.87(9) | 185.34(9) | 35.18(5) | 23.78(9) | 10.96(9) | 187.44(10) | 207.85(5) | 29.58(9) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
bcp/hipp-yRa1/su | 38 | 63.57(36) | 125.00(36) | 13.58(32) | 86.91(35) | 92.40(34) | 37.18(35) | 25.60(34) | 9.18(31) | 147.30(28) | 57.05(33) | 83.56(35) | 77.85(35) | 64.55(23) | 110.66(33) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
bcp/msp | 40 | 219.67(26) | 413.52(19) | 127.82(23) | 187.48(25) | 134.80(25) | 363.51(13) | 111.00(12) | 18.21(21) | 111.17(21) | 102.06(9) | 77.80(11) | 82.09(11) | 216.75(22) | 35.48(10) | 125.71(16) | 131.05(16) | 313.46(14) | 313.94(14) | 357.85(7) | 478.49(3) |
bcp/mtg | 30 | 10.03(30) | 0.21(30) | 0.31(30) | 0.39(30) | 0.47(30) | 0.27(30) | 0.21(30) | 0.31(30) | 1.52(30) | 0.20(30) | 0.18(30) | 0.19(30) | 7.74(30) | 0.45(30) | 155.44(20) | 154.76(20) | 475.80(5) | 471.02(5) | 0.00(0) | 0.00(0) |
bcp/syn | 38 | 30.07(36) | 213.93(22) | 48.06(24) | 246.03(19) | 173.23(21) | 35.52(19) | 100.83(19) | 78.08(21) | 5.25(35) | 100.20(15) | 78.13(6) | 63.86(6) | 22.10(35) | 200.13(7) | 59.11(11) | 55.72(11) | 56.26(5) | 57.34(5) | 120.24(7) | 118.70(7) |
trial/circuit-trace-compaction | 4 | 21.17(4) | 26.91(4) | 11.67(4) | 26.67(4) | 50.66(4) | 36.96(4) | 27.20(4) | 15.19(4) | 173.36(2) | 21.52(4) | 20.06(4) | 18.17(4) | 101.58(1) | 16.90(4) | 1354.52(1) | 0.00(0) | 579.98(1) | 584.31(1) | 0.00(0) | 0.00(0) |
close_solutions | 50 | 31.75(50) | 60.58(50) | 117.20(50) | 75.64(46) | 125.26(40) | 96.69(48) | 38.76(48) | 85.78(50) | 309.99(42) | 57.43(48) | 201.69(45) | 235.64(41) | 556.44(23) | 208.11(14) | 108.64(3) | 0.25(3) | 0.00(0) | 0.00(0) | 311.05(9) | 300.77(11) |
des | 50 | 126.79(50) | 202.64(49) | 267.64(47) | 223.54(49) | 164.59(49) | 201.24(50) | 209.13(49) | 348.84(32) | 455.49(42) | 185.99(46) | 268.23(45) | 206.54(43) | 566.71(21) | 342.50(38) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
haplotype-assembly | 6 | 63.46(6) | 0.43(5) | 3.28(5) | 3.09(5) | 2.40(5) | 72.67(6) | 107.68(6) | 2.43(5) | 17.39(5) | 2.03(5) | 9.26(5) | 9.19(5) | 17.20(5) | 85.89(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
hs-timetabling | 2 | 21.83(1) | 16.59(1) | 15.17(1) | 79.20(1) | 66.40(1) | 14.51(1) | 13.73(1) | 15.61(1) | 15.95(1) | 25.14(1) | 28.99(1) | 200.47(1) | 27.36(1) | 329.51(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
mbd | 46 | 17.08(45) | 31.53(45) | 32.99(45) | 23.31(45) | 14.25(45) | 11.25(45) | 21.77(45) | 37.72(42) | 131.45(45) | 16.09(45) | 214.32(40) | 206.78(40) | 440.09(35) | 672.68(6) | 1614.17(1) | 1523.47(1) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
packup-pms | 40 | 10.81(40) | 3.15(40) | 1.00(40) | 28.97(40) | 23.11(40) | 4.57(40) | 2.25(40) | 0.91(40) | 6.40(40) | 26.33(40) | 5.75(40) | 5.78(40) | 12.44(40) | 73.71(40) | 1016.27(27) | 1015.43(27) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
pbo/mqc/nencdr | 25 | 22.10(25) | 45.59(25) | 30.17(25) | 39.75(25) | 33.18(25) | 47.39(25) | 15.34(25) | 28.32(25) | 36.04(25) | 183.24(25) | 58.76(25) | 51.01(25) | 15.62(25) | 124.15(25) | 792.01(9) | 800.89(9) | 606.25(10) | 603.90(10) | 0.00(0) | 0.00(0) |
pbo/mqc/nlogencdr | 25 | 12.66(25) | 5.18(25) | 6.16(25) | 10.74(25) | 9.07(25) | 4.41(25) | 3.89(25) | 6.47(25) | 10.23(25) | 45.79(25) | 15.23(25) | 13.35(25) | 4.74(25) | 37.09(25) | 406.92(20) | 439.81(20) | 479.05(16) | 490.51(16) | 0.00(0) | 0.00(0) |
pbo/routing | 15 | 10.19(15) | 0.47(15) | 1.42(15) | 2.03(15) | 2.13(15) | 1.97(15) | 1.62(15) | 2.86(15) | 14.81(15) | 0.83(15) | 1.20(15) | 1.07(15) | 259.45(14) | 2.80(15) | 9.76(5) | 10.67(5) | 2.67(5) | 2.67(5) | 40.30(6) | 0.00(0) |
protein_ins | 12 | 50.20(12) | 71.50(12) | 203.76(12) | 148.68(12) | 146.18(12) | 46.97(12) | 44.66(12) | 239.26(12) | 126.38(3) | 168.41(12) | 89.57(12) | 78.45(12) | 526.81(3) | 494.81(12) | 733.68(4) | 77.92(2) | 248.19(2) | 236.14(2) | 175.40(2) | 192.08(2) |
tpr/Multiple_path | 36 | 50.80(36) | 96.12(36) | 64.70(36) | 153.19(36) | 151.76(36) | 127.20(36) | 154.08(36) | 58.95(36) | 93.63(36) | 239.83(35) | 185.74(36) | 196.99(36) | 308.72(31) | 483.84(36) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
tpr/One_path | 25 | 11.10(25) | 3.32(25) | 1.14(25) | 18.89(25) | 23.76(25) | 1.19(25) | 5.65(25) | 3.15(25) | 4.99(25) | 47.09(25) | 61.38(25) | 58.50(25) | 17.57(25) | 255.11(25) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
dustrial/treewidth-computation | 33 | 135.10(26) | 73.50(24) | 98.40(24) | 77.39(24) | 116.36(25) | 94.45(24) | 93.89(24) | 106.23(24) | 105.84(24) | 48.70(23) | 42.58(23) | 117.60(25) | 152.10(25) | 170.86(26) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
Total | 601 | 556 | 529 | 527 | 526 | 522 | 518 | 515 | 504 | 502 | 501 | 484 | 481 | 437 | 413 | 131 | 128 | 73 | 73 | 33 | 25 |