Solver | #Ins. | QMaxSat | PM2 | wbo-1.4b-wcnf | SAT4J-MAXSAT-2.2.0 | WPM1 | wbo-1.4a-wcnf | IncWMaxSatz | WMaxSatz+ | WMaxSatz-2009 | akmaxsat | akmaxsat_ls | WMaxsat_Power | LSW_Power |
CircuitTraceCompaction/ | 4 | 170.16(4) | 435.82(2) | 350.90(2) | 418.37(3) | 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) |
HaplotypeAssembly/ | 6 | 0.00(0) | 34.56(5) | 195.68(3) | 0.00(0) | 33.28(5) | 10.50(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
PROTEIN_INS/ | 12 | 316.77(3) | 68.12(2) | 0.15(1) | 553.07(3) | 58.15(1) | 10.03(1) | 0.22(1) | 0.24(1) | 0.25(1) | 161.60(2) | 324.49(2) | 0.27(1) | 0.00(0) |
bcp-fir/ | 59 | 52.00(29) | 21.66(58) | 229.20(39) | 7.79(10) | 16.71(54) | 129.93(37) | 312.25(38) | 6.76(7) | 6.76(7) | 6.41(8) | 6.39(8) | 0.02(4) | 0.03(3) |
bcp-hipp-yRa1/SU/ | 38 | 117.34(29) | 244.81(29) | 170.57(37) | 132.92(9) | 27.29(11) | 113.14(10) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
bcp-hipp-yRa1/simp/ | 17 | 72.41(15) | 97.64(15) | 89.89(16) | 37.20(11) | 21.01(9) | 38.11(10) | 267.00(6) | 16.26(5) | 16.44(5) | 169.26(5) | 177.92(5) | 0.09(1) | 0.13(2) |
bcp-msp/ | 64 | 105.25(25) | 571.06(9) | 63.42(11) | 97.29(12) | 18.70(5) | 47.17(3) | 310.76(24) | 224.34(10) | 224.25(10) | 174.63(19) | 183.82(19) | 0.04(1) | 0.04(1) |
bcp-mtg/ | 40 | 0.28(40) | 5.87(40) | 110.09(30) | 46.08(26) | 81.32(11) | 10.04(14) | 268.01(13) | 1154.86(2) | 1211.06(2) | 63.76(3) | 74.52(3) | 0.00(0) | 0.00(0) |
bcp-syn/ | 74 | 15.13(32) | 11.64(38) | 70.22(24) | 129.59(21) | 3.06(30) | 41.17(31) | 95.41(32) | 142.78(22) | 142.28(22) | 60.79(31) | 48.25(22) | 0.10(11) | 0.06(7) |
pbo-mqc/nencdr/ | 84 | 205.54(76) | 456.15(48) | 179.27(52) | 362.22(80) | 408.63(7) | 171.52(14) | 993.59(5) | 946.89(17) | 860.63(15) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
pbo-mqc/nlogencdr/ | 84 | 62.47(75) | 306.20(64) | 136.39(68) | 95.08(84) | 268.02(30) | 134.65(25) | 670.25(20) | 564.14(52) | 565.14(52) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
pbo-routing/ | 15 | 43.50(15) | 1.33(15) | 96.07(15) | 197.73(13) | 0.97(15) | 0.60(15) | 23.11(5) | 5.67(5) | 5.68(5) | 0.00(0) | 0.00(0) | 0.00(0) | 0.00(0) |
Total | 497 | 343 | 325 | 298 | 272 | 178 | 165 | 144 | 121 | 119 | 68 | 59 | 18 | 13 |