-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv true Problems list file : casc19_sne-problems Output file : casc19_sne-output Summary file : casc19_sne-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 GRP025-3 timeout 500.0 29 GRP026-3 timeout 500.0 43 GRP394-2 timeout 500.0 198 LCL078-1 timeout 500.0 13 LCL179-1 timeout 500.0 328 LCL181-1 timeout 500.0 258 LCL183-1 timeout 500.0 174 LCL235-1 timeout 500.0 123 LCL240-1 timeout 500.0 320 NLP028-1 timeout 500.0 21 NLP162-1 memory 64.8 499 NLP167-1 memory 65.0 499 NUM287-1 timeout 500.0 127 PUZ048-1 timeout 500.0 273 PUZ049-1 timeout 500.0 280 SWV012-1 timeout 500.0 164 SYN766-1 timeout 500.0 19 SYN786-1 non_thm 0.0 2 0 2 0 2 0 0 0 2 2 2 0 0 SYN790-1 timeout 500.0 95 SYN806-1 timeout 500.0 71 SYN903-1 timeout 500.0 68 SYN907-1 timeout 500.0 102 SYN908-1 timeout 500.0 129 SYN909-1 timeout 500.0 84 SYN910-1 timeout 500.0 105 SYN911-1 timeout 500.0 103 SYN913-1 timeout 500.0 108 TOP001-1 timeout 500.0 48 TOP003-1 timeout 500.0 44 TOP003-2 non_thm 0.0 2 0 12 0 3 0 0 0 3 12 20 0 0 TOP007-1 timeout 500.0 62 TOP008-1 timeout 500.0 50 TOP014-1 timeout 500.0 48 TOP016-1 timeout 500.0 54 TOP019-1 timeout 500.0 47