-------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- Problem Result CPU Memory Close Assert Split Subsume Resolve Compact Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd. Debug ANA003-1 timeout 500.0 61 ANA004-1 timeout 500.0 60 ANA005-1 timeout 500.0 47 COL003-7 timeout 500.0 95 COL003-9 timeout 500.0 95 COL003-10 timeout 500.0 96 COL006-2 timeout 500.0 135 COL006-3 timeout 500.0 143 COL006-4 timeout 500.0 138 COL043-2 timeout 500.0 100 COL044-2 timeout 500.0 166 COL044-3 timeout 500.0 169 COL044-4 timeout 500.0 158 HWC003-1 timeout 500.0 39 HWC003-2 timeout 500.0 339 HWV002-1 timeout 500.0 296 HWV003-1 timeout 500.0 285 LAT001-1 timeout 500.0 196 LAT002-1 timeout 500.0 82 LAT041-1 timeout 500.0 302 LCL109-4 timeout 500.0 32 LCL152-1 timeout 500.0 173 LCL222-3 timeout 500.0 288 LCL237-3 timeout 500.0 274 LCL243-3 timeout 500.0 233 LCL249-3 timeout 500.0 256 LCL253-3 timeout 500.0 209 LCL278-3 timeout 500.0 142 LCL324-3 timeout 500.0 127 LCL341-3 timeout 500.0 179 PUZ056-1 timeout 500.0 95 ROB014-1 timeout 500.0 185 ROB015-2 timeout 500.0 190 ROB018-1 timeout 500.0 193 ROB019-1 timeout 500.0 182