-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv true 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 2 2 0 0 0 2 4 2 12 0 HWV036-1 non_thm 0.0 2 0 2 2 2 0 0 0 2 4 2 12 0 HWV036-2 non_thm 0.0 2 0 0 4 0 0 0 0 2 4 0 14 0 LCL240-1 timeout 500.0 325 LCL248-1 timeout 500.0 176 LCL415-1 memory 301.3 499 NLP026-1 timeout 500.0 20 NLP191-1 memory 73.0 499 NUM287-1 timeout 500.0 127 NUM288-1 timeout 500.0 161 PUZ045-1 non_thm 0.0 3 0 0 2 0 0 0 0 2 2 0 6 0 PUZ046-1 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 SWV016-1 timeout 500.0 179 SYN303-1 timeout 500.0 7 SYN330-1 timeout 500.0 46 SYN351-1 timeout 500.0 30 SYN736-1 timeout 500.0 19 SYN754-1 timeout 500.0 19 SYN770-1 timeout 500.0 99 SYN776-1 timeout 500.0 45 SYN786-1 non_thm 0.0 3 0 2 0 2 0 0 0 2 2 2 0 0 SYN806-1 timeout 500.0 64 SYN904-1 timeout 500.0 103 SYN907-1 timeout 500.0 107 SYN912-1 timeout 500.0 84 TOP006-1 timeout 500.0 58 TOP009-1 timeout 500.0 76 TOP010-1 timeout 500.0 81 TOP011-1 timeout 500.0 47 TOP012-1 timeout 500.0 56 TOP013-1 timeout 500.0 55 TOP014-1 timeout 500.0 49 TOP016-1 timeout 500.0 52 TOP018-1 timeout 500.0 53