-------------------------------------------------------------------------------- Execute format string : ../darwin -umx true Problems list file : cascj2_heq-problems Output file : cascj2_heq-output Summary file : cascj2_heq-summary Time limit : 500 s Memory limit : 500 MB -------------------------------------------------------------------------------- Rating Problem Result CPU Memory Close Assert Split Subsume Resolve Compact Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd. Debug [None] PUZ056-1 timeout 500.0 95 [0.17] LCL249-3 timeout 500.0 256 [0.33] COL003-10 timeout 500.0 96 [0.33] COL003-7 timeout 500.0 95 [0.33] COL003-9 timeout 500.0 95 [0.33] COL006-2 timeout 500.0 135 [0.33] COL043-2 timeout 500.0 100 [0.33] COL044-2 timeout 500.0 166 [0.33] COL044-3 timeout 500.0 169 [0.33] COL044-4 timeout 500.0 158 [0.33] HWC003-2 timeout 500.0 339 [0.33] LCL237-3 timeout 500.0 274 [0.50] HWC003-1 timeout 500.0 39 [0.50] HWV003-1 timeout 500.0 285 [0.50] LCL109-4 timeout 500.0 32 [0.50] ROB015-2 timeout 500.0 190 [0.67] ANA003-1 timeout 500.0 61 [0.67] ANA004-1 timeout 500.0 60 [0.67] COL006-3 timeout 500.0 143 [0.67] HWV002-1 timeout 500.0 296 [0.67] LCL152-1 timeout 500.0 173 [0.67] LCL222-3 timeout 500.0 288 [0.67] LCL341-3 timeout 500.0 179 [0.67] ROB014-1 timeout 500.0 185 [0.67] ROB018-1 timeout 500.0 193 [0.67] ROB019-1 timeout 500.0 182 [0.83] ANA005-1 timeout 500.0 47 [0.83] COL006-4 timeout 500.0 138 [0.83] LAT001-1 timeout 500.0 196 [0.83] LAT002-1 timeout 500.0 82 [0.83] LCL243-3 timeout 500.0 233 [0.83] LCL253-3 timeout 500.0 209 [0.83] LCL278-3 timeout 500.0 142 [0.83] LCL324-3 timeout 500.0 127 [1.00] LAT041-1 timeout 500.0 302