Solver#Ins.akmaxsat_lsakmaxsatIncWMaxSatzWMaxSatz+WMaxSatz-2009SAT4J-MAXSAT-2.2.0wbo-1.4b-wcnfwbo-1.4a-wcnfWPM1WPM2WMaxsat_PowerLSW_Power
AUCTIONS/AUC_PATHS/8822.48(88) 22.89(88) 8.54(74)192.31(71)192.43(71)365.28(38)92.57(7)0.00(0)0.00(0)0.00(0)0.32(6)0.35(6)
AUCTIONS/AUC_SCHEDULING/84267.45(75)230.79(73)119.67(78)63.42(83) 63.52(83) 235.36(64)219.22(50)0.00(0)0.00(0)474.65(3)0.17(19)0.13(14)
PSEUDO/miplib/123.56(2)2.20(2)23.94(3) 242.30(3) 289.64(3) 24.75(3) 45.53(3) 0.00(0)0.21(1)393.02(2)0.07(1)0.17(1)
WCSP/SPOT5/DIR/211.19(4)0.56(4)5.21(4)11.15(2)11.15(2)7.81(3)99.27(6)1.06(5)12.53(5)204.46(9) 0.01(1)0.01(1)
WCSP/SPOT5/LOG/211.48(4)1.28(4)0.62(4)18.73(2)15.10(2)19.59(3)129.05(6)10.85(6)5.62(5)128.47(8) 0.01(1)0.01(1)
min-enc/planning/56104.18(39)95.89(39)93.95(38)122.62(45)122.79(45)3.71(56) 11.54(56) 9.57(22)1.87(27)162.64(39)0.08(12)0.02(7)
min-enc/warehouses/180.18(1)0.16(1)3.10(12)0.30(1)0.30(1)1.45(1)136.47(4)0.00(0)4.62(18) 155.77(1)0.30(1)0.30(1)
random-net/78427.19(17)430.11(17)1172.75(1)0.00(0)0.00(0)0.00(0)0.00(0)22.87(55) 325.28(24)0.00(0)0.00(0)0.00(0)
Total378230 2282142072071681328880624131