Benchmarking cvc, DIRECTORY=uclid2, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.cvc UNSAT 3.00
25s 25s.cvc UNSAT 1.40
27s 27s.cvc UNSAT 0.61
32s 32s.cvc UNSAT 0.21
37s 37s.cvc UNSAT 0.44
38s 38s.cvc UNSAT 0.47
43s 43s.cvc UNSAT 437.13
44s 44s.cvc UNSAT 0.85
46s 46s.cvc UNSAT 0.70
49s 49s.cvc UNSAT 0.36
cache.inv10 cache.inv10.cvc UNSAT 17.11
cache.inv12 cache.inv12.cvc KILLED 0.77
cache.inv14 cache.inv14.cvc KILLED 299.21
cache.inv8 cache.inv8.cvc UNSAT 2.53
dlx1c dlx1c.cvc KILLED 2.65
dlx1c.rwmem dlx1c.rwmem.cvc UNSAT 20.46
dlx1c.rwmem1 dlx1c.rwmem1.cvc KILLED 1.34
elf.rf10 elf.rf10.cvc KILLED 305.91
elf.rf6 elf.rf6.cvc UNSAT 0.12
elf.rf7 elf.rf7.cvc UNSAT 1.92
elf.rf8 elf.rf8.cvc KILLED 1.60
elf.rf9 elf.rf9.cvc UNSAT 109.09
ooo.rf10 ooo.rf10.cvc KILLED 264.30
ooo.rf6 ooo.rf6.cvc UNSAT 0.64
ooo.rf7 ooo.rf7.cvc UNSAT 2.92
ooo.rf8 ooo.rf8.cvc UNSAT 14.82
ooo.rf9 ooo.rf9.cvc UNSAT 78.91
ooo.tag10 ooo.tag10.cvc UNSAT 58.93
ooo.tag12 ooo.tag12.cvc KILLED 338.59
ooo.tag14 ooo.tag14.cvc KILLED 375.99
ooo.tag8 ooo.tag8.cvc UNSAT 5.14
q2.10 q2.10.cvc UNSAT 42.49
q2.12 q2.12.cvc UNSAT 214.82
q2.14 q2.14.cvc KILLED 427.33
q2.18 q2.18.cvc KILLED 437.58
q2.20 q2.20.cvc KILLED 399.44
q2.30 q2.30.cvc KILLED 455.05
q2.40 q2.40.cvc KILLED 346.72