-------------------------------------------------------------------------------- Execute format string : ../darwin -b 2 -ubj true -uv false Problems list file : casc19_sne-problems Output file : casc19_sne-output Summary file : casc19_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 [0.40] GRP394-2 timeout 500.0 246 [0.40] NUM287-1 timeout 500.0 130 [0.40] SWV012-1 timeout 500.0 222 [0.40] SYN766-1 timeout 500.0 4 [0.40] SYN790-1 timeout 500.0 10 [0.40] TOP003-2 non_thm 0.0 4 0 12 30 3 0 0 0 4 0 20 86 0 [0.40] TOP014-1 timeout 500.0 126 [0.40] TOP016-1 timeout 500.0 177 [0.60] NLP162-1 non_thm 0.0 4 0 26 4 27 4 0 0 2 0 26 52 0 [0.60] NLP167-1 non_thm 0.0 4 0 26 4 27 4 0 0 2 0 26 52 0 [0.60] PUZ048-1 timeout 500.0 269 [0.60] PUZ049-1 timeout 500.0 311 [0.60] SYN786-1 timeout 500.0 15 [0.60] SYN903-1 timeout 500.0 18 [0.60] SYN907-1 timeout 500.0 28 [0.60] SYN908-1 timeout 500.0 28 [0.60] SYN909-1 timeout 500.0 40 [0.60] TOP019-1 timeout 500.0 177 [0.80] GRP025-3 timeout 500.0 78 [0.80] GRP026-3 timeout 500.0 96 [0.80] LCL078-1 timeout 500.0 14 [0.80] LCL179-1 timeout 500.0 337 [0.80] LCL181-1 timeout 500.0 263 [0.80] LCL183-1 timeout 500.0 176 [0.80] LCL235-1 timeout 500.0 151 [0.80] LCL240-1 timeout 500.0 317 [0.80] NLP028-1 timeout 500.0 16 [0.80] SYN806-1 timeout 500.0 28 [0.80] SYN910-1 timeout 500.0 40 [0.80] SYN911-1 timeout 500.0 49 [0.80] SYN913-1 timeout 500.0 50 [0.80] TOP001-1 timeout 500.0 188 [0.80] TOP003-1 timeout 500.0 164 [0.80] TOP007-1 timeout 500.0 179 [0.80] TOP008-1 timeout 500.0 178