-------------------------------------------------------------------------------- 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 -------------------------------------------------------------------------------- Rating Problem Result CPU Memory Close Assert Split Subsume Resolve Compact Prod. D.Bound Ct.Size Ass.Cd. Spl.Cd. Debug [None] PUZ015-3 timeout 500.0 139 [0.20] HWV035-2 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.40] HWV036-2 non_thm 0.0 2 0 0 0 0 0 0 0 2 0 0 0 0 [0.40] LCL411-1 timeout 500.0 83 [0.40] LCL415-1 timeout 500.0 316 [0.40] NLP063-1 non_thm 0.0 2 0 8 14 7 3 0 24 2 0 8 38 0 [0.40] SWV012-1 timeout 500.0 306 [0.40] SYN750-1 timeout 500.0 4 [0.40] SYN753-1 non_thm 1.1 2 0 1 40 1 0 0 3315 9 0 1 4146 0 [0.40] SYN763-1 non_thm 0.0 2 0 1 9 1 0 0 56 3 0 1 65 0 [0.40] SYN766-1 non_thm 0.2 2 0 1 23 1 0 0 497 6 0 1 596 0 [0.40] SYN790-1 non_thm 0.0 2 0 2 1 2 0 0 3 2 0 2 4 0 [0.40] TOP003-2 non_thm 0.0 2 0 12 24 3 0 0 54 4 0 20 78 0 [0.40] TOP010-1 timeout 500.0 44 [0.60] NLP062-1 non_thm 0.0 2 0 10 4 7 4 0 22 2 0 10 26 0 [0.60] NLP161-1 non_thm 0.0 2 0 26 4 27 3 0 48 2 0 26 52 0 [0.60] NLP162-1 non_thm 0.0 2 0 26 4 27 4 0 48 2 0 26 52 0 [0.60] NLP190-1 non_thm 0.0 2 0 33 4 34 4 0 62 2 0 33 66 0 [0.60] NLP191-1 non_thm 0.0 2 0 33 4 34 4 0 62 2 0 33 66 0 [0.60] NUM288-1 timeout 500.0 29 [0.60] SYN786-1 non_thm 0.1 2 0 2 4 2 0 0 322 3 0 2 326 0 [0.60] SYN903-1 timeout 500.0 19 [0.60] SYN905-1 timeout 500.0 17 [0.60] SYN907-1 timeout 500.0 37 [0.60] SYN909-1 timeout 500.0 48 [0.60] TOP018-1 timeout 500.0 35 [0.80] GRP027-2 timeout 500.0 27 [0.80] LCL168-1 timeout 500.0 139 [0.80] LCL180-1 timeout 500.0 81 [0.80] LCL219-1 timeout 500.0 72 [0.80] LCL220-1 timeout 500.0 77 [0.80] LCL235-1 timeout 500.0 43 [0.80] LCL239-1 timeout 500.0 83 [0.80] LCL242-1 timeout 500.0 45 [0.80] LCL245-1 timeout 500.0 51 [0.80] LCL247-1 timeout 500.0 83 [0.80] LCL248-1 timeout 500.0 50 [0.80] LCL252-1 timeout 500.0 61 [0.80] NLP030-1 non_thm 0.0 2 0 5 5 6 2 0 6 2 0 5 11 0 [0.80] NLP034-1 timeout 500.0 11 [0.80] SYN770-1 non_thm 0.0 2 0 2 5 2 0 0 81 4 0 2 86 0 [0.80] SYN773-1 non_thm 0.0 2 0 2 1 2 0 0 9 2 0 2 10 0 [0.80] SYN789-1 timeout 500.0 6 [0.80] SYN910-1 timeout 500.0 49 [0.80] SYN912-1 timeout 500.0 56 [0.80] SYN913-1 timeout 500.0 56 [0.80] TOP005-1 timeout 500.0 111 [0.80] TOP008-1 memory 256.6 499 [0.80] TOP013-1 timeout 500.0 32 [0.80] TOP017-1 timeout 500.0 62