-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj false -uv false Problems list file : casc18_sne-problems Output file : casc18_sne-output Summary file : casc18_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 GRP394-2 timeout 500.0 198 HWV035-1 non_thm 0.0 3 0 2 0 2 0 0 0 2 2 2 0 0 HWV036-1 non_thm 0.0 2 0 2 0 2 0 0 0 2 2 2 0 0 HWV036-2 non_thm 0.0 3 0 0 0 0 0 0 0 2 0 0 0 0 LCL240-1 timeout 500.0 325 LCL248-1 timeout 500.0 176 LCL415-1 memory 297.2 499 NLP026-1 non_thm 0.0 3 0 4 5 5 3 0 0 2 9 4 10 0 NLP191-1 non_thm 0.0 2 0 33 4 34 4 0 0 2 37 33 77 0 NUM287-1 timeout 500.0 131 NUM288-1 timeout 500.0 155 PUZ045-1 non_thm 0.0 3 0 0 1 0 0 0 0 2 1 0 1 0 PUZ046-1 non_thm 0.0 3 0 0 0 0 0 0 0 2 0 0 0 0 SWV016-1 timeout 500.0 183 SYN303-1 timeout 500.0 7 SYN330-1 timeout 500.0 47 SYN351-1 timeout 500.0 45 SYN736-1 non_thm 138.8 14 12 1 74 1 0 0 78868 21 68 1 171235 0 SYN754-1 non_thm 0.3 3 0 1 29 1 0 0 498 7 30 1 963 0 SYN770-1 timeout 500.0 113 SYN776-1 timeout 500.0 110 SYN786-1 timeout 500.0 58 SYN806-1 timeout 500.0 68 SYN904-1 timeout 500.0 18 SYN907-1 timeout 500.0 27 SYN912-1 timeout 500.0 45 TOP006-1 timeout 500.0 239 TOP009-1 timeout 500.0 418 TOP010-1 timeout 500.0 316 TOP011-1 timeout 500.0 231 TOP012-1 timeout 500.0 244 TOP013-1 timeout 500.0 308 TOP014-1 timeout 500.0 263 TOP016-1 timeout 500.0 302 TOP018-1 timeout 500.0 259