-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj false -uv false Problems list file : casc19_nne-problems Output file : casc19_nne-output Summary file : casc19_nne-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.25] ANA002-2 timeout 500.0 84 [0.25] ANA004-4 timeout 500.0 209 [0.25] SET012-2 theorem 0.1 2 3 215 6 6 0 0 1 2 150 2617 1988 1 [0.25] SET015-1 timeout 500.0 236 [0.25] SYN036-3 theorem 0.0 2 10 68 9 102 159 10 0 2 18 117 82 0 [0.25] SYN037-1 theorem 0.0 2 9 69 8 101 170 11 0 2 17 113 80 0 [0.25] SYN690-1 timeout 500.0 70 [0.38] ANA002-1 timeout 500.0 76 [0.38] COM003-1 timeout 500.0 26 [0.38] FLD041-4 theorem 0.5 3 1 425 0 10 0 0 0 2 425 14906 5433 0 [0.38] FLD062-3 theorem 122.0 33 1 1215 0 7 0 0 0 2 1215 325953 109262 0 [0.38] SYN784-1 theorem 3.4 3 64 2 355 2 0 0 23274 4 31 2 66018 11 [0.38] SYN796-1 theorem 0.9 2 36 2 157 2 0 0 4493 3 16 2 21426 0 [0.50] SYN067-1 theorem 14.7 2 420 4850 515 563 985 0 56446 2 54 17191 422847 103 [0.62] SYN067-2 timeout 500.0 6 [0.62] SYN067-3 theorem 4.6 2 301 4776 376 512 459 0 23161 2 50 10250 264877 83 [0.62] SYN762-1 theorem 21.9 3 176 1 986 1 0 0 156592 8 30 1 349940 8 [0.75] FLD028-1 timeout 500.0 27 [0.75] SYN802-1 timeout 500.0 12 [0.88] FLD050-3 timeout 500.0 51