-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj false -uv false 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 60 GRP026-3 timeout 500.0 67 GRP394-2 timeout 500.0 198 LCL078-1 timeout 500.0 13 LCL179-1 timeout 500.0 330 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 117 NLP162-1 non_thm 0.0 2 0 26 4 27 4 0 0 2 30 26 91 0 NLP167-1 non_thm 0.0 2 0 26 4 27 4 0 0 2 30 26 91 0 NUM287-1 timeout 500.0 127 PUZ048-1 timeout 500.0 274 PUZ049-1 timeout 500.0 280 SWV012-1 timeout 500.0 164 SYN766-1 timeout 500.0 50 SYN786-1 timeout 500.0 57 SYN790-1 timeout 500.0 96 SYN806-1 timeout 500.0 68 SYN903-1 timeout 500.0 17 SYN907-1 timeout 500.0 27 SYN908-1 timeout 500.0 28 SYN909-1 timeout 500.0 40 SYN910-1 timeout 500.0 40 SYN911-1 timeout 500.0 49 SYN913-1 timeout 500.0 49 TOP001-1 timeout 500.0 208 TOP003-1 timeout 500.0 264 TOP003-2 non_thm 0.0 2 0 12 30 3 0 0 0 4 42 20 86 0 TOP007-1 timeout 500.0 252 TOP008-1 timeout 500.0 268 TOP014-1 timeout 500.0 263 TOP016-1 timeout 500.0 303 TOP019-1 timeout 500.0 274