Solver#Ins.QMaxSatPM2wbo-1.4b-wcnfSAT4J-MAXSAT-2.2.0WPM1wbo-1.4a-wcnfIncWMaxSatzWMaxSatz+WMaxSatz-2009akmaxsatakmaxsat_lsWMaxsat_PowerLSW_Power
CircuitTraceCompaction/4170.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/60.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/12316.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/5952.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/38117.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/1772.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/64105.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/400.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/7415.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/84205.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/8462.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/1543.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)
Total497343 32529827217816514412111968591813