Solver#Ins.wbo-1.4a-wcnfIncWMaxSatzWPM2WPM1SAT4J-MAXSAT-2.2.0akmaxsatakmaxsat_lsLSW_PowerWMaxSatz+WMaxSatz-2009WMaxsat_Power
timetabling/3281.98(7)0.00(0)117.75(11) 87.90(8)263.17(4)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)0.00(0)
upgradeability-problem/100158.56(100) 147.05(88)968.40(48)274.13(50)236.36(24)851.02(14)1073.41(14)0.00(0)0.00(0)0.00(0)0.00(0)
Total132107 8859582814140000