| Solver | #Ins. | QMaxSat0.4 | pwbo1.1 | QMaxSat0.11 | PM2 | pwbo1.0 | sat4j-maxsat | claspMaxSat | wbo1.6 | WPM1 | IncWMaxSatz | WMaxSatz-2009 | WMaxSatz+ | akmaxsat_ls | akmaxsat |
|---|
| bcp-fir | 59 | 68.94(54) | 114.52(47) | 55.93(37) | 21.80(58) | 54.78(38) | 7.87(10) | 2.57(10) | 124.48(43) | 44.26(54) | 285.22(37) | 6.95(7) | 6.99(7) | 88.89(13) | 140.15(13) |
| bcp-hipp-yRa1/simp | 17 | 180.21(16) | 294.37(15) | 193.83(16) | 106.76(15) | 125.92(11) | 43.75(11) | 230.84(11) | 27.20(10) | 0.92(8) | 265.97(6) | 16.38(5) | 16.12(5) | 8.27(5) | 4.07(5) |
| bcp-hipp-yRa1/su | 38 | 204.96(30) | 350.87(25) | 122.07(29) | 235.05(29) | 183.96(11) | 131.85(9) | 596.23(6) | 58.16(10) | 64.02(12) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| bcp-msp | 64 | 134.64(26) | 290.17(16) | 57.62(26) | 546.76(9) | 58.58(14) | 97.10(12) | 111.01(12) | 0.75(3) | 26.91(3) | 315.26(24) | 218.77(10) | 218.92(10) | 219.87(23) | 199.06(22) |
| bcp-mtg | 40 | 0.25(40) | 1.51(40) | 0.25(40) | 5.75(40) | 95.44(33) | 48.73(26) | 20.51(26) | 91.70(16) | 83.76(12) | 256.03(13) | 1203.84(2) | 1246.65(2) | 157.48(8) | 144.00(8) |
| bcp-syn | 74 | 13.22(32) | 62.15(38) | 81.27(34) | 11.13(38) | 131.33(36) | 224.02(24) | 105.26(21) | 55.43(33) | 5.04(31) | 95.19(32) | 144.08(22) | 144.28(22) | 21.81(31) | 23.15(31) |
| circuit-trace-compaction | 4 | 125.50(4) | 44.81(2) | 152.56(4) | 745.90(3) | 94.46(2) | 634.70(3) | 57.08(4) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| haplotype-assembly | 6 | 0.00(0) | 23.03(5) | 0.00(0) | 35.27(5) | 21.00(5) | 0.00(0) | 0.00(0) | 9.22(5) | 655.64(2) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
| pbo-mqc/nencdr | 84 | 219.11(79) | 513.68(76) | 168.09(78) | 405.38(46) | 370.95(69) | 345.62(80) | 267.58(45) | 220.80(20) | 604.84(8) | 916.60(5) | 945.43(17) | 890.35(16) | 0.00(0) | 0.00(0) |
| pbo-mqc/nlogencdr | 84 | 61.08(75) | 373.09(80) | 69.03(77) | 305.89(64) | 278.80(83) | 95.52(84) | 167.38(54) | 110.39(26) | 193.31(25) | 695.91(20) | 559.71(52) | 567.59(52) | 905.80(3) | 919.70(3) |
| pbo-routing | 15 | 20.97(15) | 1.03(15) | 33.91(15) | 1.31(15) | 1.22(15) | 428.23(15) | 148.42(13) | 0.55(15) | 2.09(15) | 23.01(5) | 5.65(5) | 5.65(5) | 470.07(5) | 514.54(5) |
| protein_ins | 12 | 254.41(3) | 0.24(1) | 8.38(2) | 67.99(2) | 0.19(1) | 413.46(3) | 574.61(5) | 13.23(1) | 37.75(1) | 0.22(1) | 0.26(1) | 0.25(1) | 635.48(5) | 452.96(5) |
|
| Total | 497 | 374 | 360 | 358 | 324 | 318 | 277 | 207 | 182 | 171 | 143 | 121 | 120 | 93 | 92 |