-------------------------------------------------------------------------------- Execute format string : ../darwin -umx true Problems list file : cascj2_sne-problems Output file : cascj2_sne-output Summary file : cascj2_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 GRP027-2 timeout 500.0 27 HWV035-2 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 HWV036-2 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 LCL168-1 timeout 500.0 139 LCL180-1 timeout 500.0 81 LCL219-1 timeout 500.0 72 LCL220-1 timeout 500.0 77 LCL235-1 timeout 500.0 43 LCL239-1 timeout 500.0 83 LCL242-1 timeout 500.0 45 LCL245-1 timeout 500.0 51 LCL247-1 timeout 500.0 83 LCL248-1 timeout 500.0 50 LCL252-1 timeout 500.0 61 LCL411-1 timeout 500.0 83 LCL415-1 timeout 500.0 316 NLP030-1 non_thm 0.0 2 0 5 5 6 2 0 6 2 0 5 11 0 NLP034-1 timeout 500.0 11 NLP062-1 non_thm 0.0 2 0 10 4 7 4 0 22 2 0 10 26 0 NLP063-1 non_thm 0.0 2 0 8 14 7 3 0 24 2 0 8 38 0 NLP161-1 non_thm 0.0 2 0 26 4 27 3 0 48 2 0 26 52 0 NLP162-1 non_thm 0.0 2 0 26 4 27 4 0 48 2 0 26 52 0 NLP190-1 non_thm 0.0 2 0 33 4 34 4 0 62 2 0 33 66 0 NLP191-1 non_thm 0.0 2 0 33 4 34 4 0 62 2 0 33 66 0 NUM288-1 timeout 500.0 29 PUZ015-3 timeout 500.0 139 SWV012-1 timeout 500.0 306 SYN750-1 timeout 500.0 4 SYN753-1 non_thm 1.1 2 0 1 40 1 0 0 3315 9 0 1 4146 0 SYN763-1 non_thm 0.0 2 0 1 9 1 0 0 56 3 0 1 65 0 SYN766-1 non_thm 0.2 2 0 1 23 1 0 0 497 6 0 1 596 0 SYN770-1 non_thm 0.0 2 0 2 5 2 0 0 81 4 0 2 86 0 SYN773-1 non_thm 0.0 2 0 2 1 2 0 0 9 2 0 2 10 0 SYN786-1 non_thm 0.1 2 0 2 4 2 0 0 322 3 0 2 326 0 SYN789-1 timeout 500.0 6 SYN790-1 non_thm 0.0 2 0 2 1 2 0 0 3 2 0 2 4 0 SYN903-1 timeout 500.0 19 SYN905-1 timeout 500.0 17 SYN907-1 timeout 500.0 37 SYN909-1 timeout 500.0 48 SYN910-1 timeout 500.0 49 SYN912-1 timeout 500.0 56 SYN913-1 timeout 500.0 56 TOP003-2 non_thm 0.0 2 0 12 24 3 0 0 54 4 0 20 78 0 TOP005-1 timeout 500.0 111 TOP008-1 memory 256.6 499 TOP010-1 timeout 500.0 44 TOP013-1 timeout 500.0 32 TOP017-1 timeout 500.0 62 TOP018-1 timeout 500.0 35