-------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- Rating Problem Result CPU Memory Close Assert Split Subsume Resolve Compact Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd. Debug [0.00] PUZ045-1 non_thm 0.0 3 0 0 2 0 0 0 0 2 2 0 6 0 [0.00] SWV016-1 timeout 500.0 179 [0.00] SYN330-1 timeout 500.0 46 [0.00] SYN351-1 timeout 500.0 30 [0.20] HWV035-1 non_thm 0.0 3 0 2 2 2 0 0 0 2 4 2 12 0 [0.20] HWV036-1 non_thm 0.0 2 0 2 2 2 0 0 0 2 4 2 12 0 [0.20] PUZ046-1 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.20] SYN303-1 timeout 500.0 7 [0.20] SYN754-1 timeout 500.0 19 [0.40] GRP394-2 timeout 500.0 198 [0.40] HWV036-2 non_thm 0.0 2 0 0 4 0 0 0 0 2 4 0 14 0 [0.40] LCL415-1 memory 301.3 499 [0.40] NLP026-1 timeout 500.0 20 [0.40] NUM287-1 timeout 500.0 127 [0.40] SYN736-1 timeout 500.0 19 [0.40] TOP010-1 timeout 500.0 81 [0.40] TOP011-1 timeout 500.0 47 [0.40] TOP014-1 timeout 500.0 49 [0.40] TOP016-1 timeout 500.0 52 [0.60] NLP191-1 memory 73.0 499 [0.60] NUM288-1 timeout 500.0 161 [0.60] SYN786-1 non_thm 0.0 3 0 2 0 2 0 0 0 2 2 2 0 0 [0.60] SYN904-1 timeout 500.0 103 [0.60] SYN907-1 timeout 500.0 107 [0.60] TOP018-1 timeout 500.0 53 [0.80] LCL240-1 timeout 500.0 325 [0.80] LCL248-1 timeout 500.0 176 [0.80] SYN770-1 timeout 500.0 99 [0.80] SYN776-1 timeout 500.0 45 [0.80] SYN806-1 timeout 500.0 64 [0.80] SYN912-1 timeout 500.0 84 [0.80] TOP006-1 timeout 500.0 58 [0.80] TOP009-1 timeout 500.0 76 [0.80] TOP012-1 timeout 500.0 56 [0.80] TOP013-1 timeout 500.0 55