-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv false Problems list file : casc19_eps-problems Output file : casc19_eps-output Summary file : casc19_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 GRP124-6.005 non_thm 0.1 4 1 271 7 27 0 0 0 2 219 1666 994 0 GRP124-7.005 non_thm 0.1 4 0 284 4 41 0 0 0 2 0 1644 947 0 GRP125-1.004 non_thm 0.0 4 0 77 1 17 0 0 0 2 0 469 180 0 GRP126-2.005 non_thm 0.0 4 0 174 1 40 0 0 0 2 0 969 484 0 GRP127-2.005 non_thm 0.0 4 1 197 1 40 0 0 0 2 140 1096 553 0 GRP128-1.004 non_thm 0.0 4 3 90 5 16 0 0 0 2 50 581 218 0 GRP130-2.005 non_thm 0.0 4 1 193 4 39 0 0 0 2 88 1035 539 0 GRP131-2.005 non_thm 0.1 4 4 261 12 39 0 0 0 2 173 2867 995 0 GRP132-2.005 non_thm 0.1 4 2 206 11 39 0 0 0 2 167 2141 725 0 GRP133-2.004 non_thm 0.0 2 1 110 4 25 0 0 0 2 63 537 212 0 GRP134-2.005 non_thm 0.1 4 7 363 11 39 0 0 0 2 179 2656 1335 0 MGT066-1 non_thm 0.0 4 2 3 7 1 0 0 0 2 6 9 53 0 PUZ018-2 non_thm 0.1 4 2 88 31 40 6 0 8 2 110 159 3151 0 SYN307-1 non_thm 0.0 4 0 2 1 2 0 0 0 2 0 4 6 0 SYN418-1 non_thm 0.0 4 0 53 61 87 101 0 1 2 0 53 251 0 SYN420-1 non_thm 0.1 4 2 90 111 104 135 0 176 2 136 125 1863 0 SYN423-1 non_thm 0.1 4 0 136 104 119 125 0 5 2 0 150 532 0 SYN426-1 non_thm 0.1 4 1 121 123 161 195 4 0 2 7 130 734 0 SYN434-1 non_thm 6.2 9 8 295 38 272 81 0 0 2 125 1905 275629 0 SYN435-1 non_thm 0.2 4 0 104 27 125 35 0 0 2 0 189 3285 0 SYN449-1 non_thm 1.1 4 43 692 51 643 298 0 0 2 96 3028 62533 0 SYN456-1 non_thm 5.4 5 158 1827 179 1666 818 0 481 2 73 10458 332086 0 SYN513-1 non_thm 1.1 4 10 233 177 102 145 0 422 2 353 455 31362 0 SYN544-1 non_thm 0.3 4 1 207 109 99 87 0 264 2 106 246 6262 0 SYN545-1 non_thm 0.1 4 2 69 88 78 106 0 98 2 77 113 875 0 SYN812-1 non_thm 16.8 23 2 936 426 86 1708 0 0 2 1334 1803 2313 0 SYN814-1 timeout 500.0 45 SYN817-1 non_thm 18.7 20 15 626 1721 68 939 0 1029 2 2268 1213 8682 0 SYN829-1 non_thm 15.1 22 0 1177 222 95 1704 0 0 2 0 2259 1865 0 SYN830-1 non_thm 15.9 23 0 1214 167 98 1763 0 0 2 0 2330 1756 0 SYN832-1 non_thm 61.4 31 52 1033 1594 93 1704 0 1316 2 2533 2025 9782 0 SYN841-1 non_thm 23.0 30 3 1330 721 102 1763 0 5 2 1961 2561 3339 0 SYN851-1 timeout 500.0 50 SYN854-1 timeout 500.0 47 SYN864-1 timeout 500.0 39