-------------------------------------------------------------------------------- Execute format string : ../darwin -umx true Problems list file : cascj2_eps-problems Output file : cascj2_eps-output Summary file : cascj2_eps-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 GRP123-1.005 non_thm 0.1 2 0 144 3 26 0 0 257 2 0 1556 505 0 GRP123-2.005 non_thm 0.1 2 0 173 2 40 0 0 258 2 0 1590 505 0 GRP123-7.005 non_thm 0.2 2 18 645 26 41 0 0 1040 2 257 5465 2921 0 GRP124-1.005 non_thm 0.1 2 0 143 4 26 0 0 256 2 0 1556 505 0 GRP124-7.005 non_thm 0.1 2 0 284 4 41 0 0 453 2 0 1644 947 0 GRP124-8.005 non_thm 0.1 2 0 322 6 48 0 0 513 2 0 1739 1009 0 GRP126-2.005 non_thm 0.1 2 0 173 2 40 0 0 237 2 0 969 484 0 GRP127-1.005 non_thm 0.0 2 0 145 2 26 0 0 237 2 0 935 484 0 GRP129-2.005 non_thm 0.1 2 2 245 6 39 0 0 251 2 116 1309 682 0 GRP131-2.005 non_thm 0.7 2 61 1702 68 39 0 0 1034 2 171 19672 8312 0 GRP132-1.005 non_thm 0.1 2 1 165 7 25 0 0 274 2 133 1740 619 0 GRP134-2.005 non_thm 0.0 2 1 181 4 39 0 0 252 2 132 1045 515 0 GRP135-1.005 non_thm 0.0 2 0 150 5 25 0 0 250 2 0 950 500 0 MGT066-1 non_thm 0.0 2 0 3 3 1 0 0 28 2 0 9 31 0 PUZ018-2 non_thm 0.1 2 2 89 22 40 6 0 1951 2 109 164 3132 0 SYN307-1 non_thm 0.0 2 0 2 1 2 0 0 5 2 0 4 6 0 SYN418-1 non_thm 0.1 2 0 49 52 79 116 0 197 2 0 49 263 0 SYN424-1 non_thm 0.1 2 0 122 97 129 186 0 609 2 0 124 778 0 SYN427-1 non_thm 0.2 3 1 139 90 151 187 0 1101 2 103 149 1203 0 SYN434-1 non_thm 5.5 7 25 338 46 321 197 0 129028 2 105 1832 227099 0 SYN441-1 non_thm 0.8 3 7 161 28 165 80 0 10556 2 138 1502 18791 0 SYN449-1 non_thm 2.1 3 89 1383 116 1258 810 0 33972 2 85 5265 112046 0 SYN464-1 non_thm 4.4 12 36 725 56 656 365 0 47936 2 106 3684 382661 0 SYN514-1 non_thm 0.1 2 0 77 38 68 73 0 282 2 0 80 495 0 SYN518-1 non_thm 0.1 2 1 115 63 131 121 0 1158 2 6 135 1319 0 SYN543-1 non_thm 7.5 6 2 159 57 161 68 0 111101 2 201 818 168063 0 SYN544-1 non_thm 0.2 3 1 149 85 91 103 0 1984 2 111 188 2257 0 SYN546-1 non_thm 0.1 2 0 94 75 104 137 0 554 2 0 98 720 0 SYN815-1 non_thm 5.6 13 0 674 301 70 1645 63 1026 2 0 1293 1327 0 SYN816-1 non_thm 5.1 12 0 590 292 66 1638 81 878 2 0 1127 1170 0 SYN817-1 non_thm 5.8 13 0 626 328 68 1644 14 1114 2 0 1198 1442 0 SYN825-1 non_thm 10.7 20 0 945 105 85 3034 0 1037 2 0 1805 1142 0 SYN828-1 non_thm 4.6 12 0 646 189 68 1632 0 867 2 0 1224 1056 0 SYN829-1 non_thm 15.9 28 0 1177 252 95 3071 0 1483 2 0 2259 1735 0 SYN830-1 non_thm 17.2 27 0 1214 147 98 3197 0 1440 2 0 2330 1587 0 SYN839-1 non_thm 21.0 31 0 1336 472 102 3198 0 2004 2 0 2570 2476 0 SYN840-1 non_thm 25.4 33 4 1150 854 96 3191 2 2268 2 1910 2208 3152 0 SYN851-1 non_thm 9.2 16 8 696 906 72 1652 2 1942 2 1366 1328 2938 0 SYN852-1 non_thm 31.9 37 0 1396 1045 102 3214 0 2937 2 0 2690 3982 0 SYN854-1 non_thm 344.9 47 218 1424 18296 104 3189 144 36876 2 2927 2962 62566 0