-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv false Problems list file : casc19_heq-problems Output file : casc19_heq-output Summary file : casc19_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 [0.33] BOO014-1 timeout 500.0 191 [0.33] COL003-7 timeout 500.0 70 [0.33] COL003-9 timeout 500.0 70 [0.33] COL006-2 timeout 500.0 66 [0.33] HWC003-2 timeout 500.0 258 [0.33] LCL219-3 timeout 500.0 285 [0.50] LAT005-3 timeout 500.0 183 [0.50] LCL109-4 timeout 500.0 37 [0.50] LCL231-3 timeout 500.0 281 [0.50] LCL300-3 timeout 500.0 313 [0.50] ROB015-2 timeout 500.0 189 [0.67] ANA003-1 timeout 500.0 55 [0.67] COL006-3 timeout 500.0 66 [0.67] COL044-5 timeout 500.0 101 [0.67] LCL229-3 timeout 500.0 328 [0.67] ROB014-1 timeout 500.0 176 [0.67] ROB019-1 timeout 500.0 200 [0.83] HWV004-1 timeout 500.0 210 [0.83] LAT001-1 timeout 500.0 184 [0.83] LCL255-3 timeout 500.0 301