Benchmarking cvcl-1.0.1-fast, DIRECTORY=uclid2, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.cvc UNSAT 549.15
25s 25s.cvc KILLED 3600.28
27s 27s.cvc UNSAT 0.10
32s 32s.cvc UNSAT 0.06
37s 37s.cvc UNSAT 0.21
38s 38s.cvc UNSAT 0.51
43s 43s.cvc KILLED 3599.82
44s 44s.cvc UNSAT 0.21
46s 46s.cvc UNSAT 0.18
49s 49s.cvc UNSAT 0.27
cache.inv10 cache.inv10.cvc KILLED 411.77
cache.inv12 cache.inv12.cvc KILLED 427.98
cache.inv14 cache.inv14.cvc KILLED 819.90
cache.inv8 cache.inv8.cvc UNSAT 7.11
dlx1c dlx1c.cvc UNSAT 162.48
dlx1c.rwmem dlx1c.rwmem.cvc UNSAT 170.69
dlx1c.rwmem1 dlx1c.rwmem1.cvc UNSAT 170.11
elf.rf10 elf.rf10.cvc KILLED 3413.01
elf.rf6 elf.rf6.cvc UNSAT 0.09
elf.rf7 elf.rf7.cvc UNSAT 1.20
elf.rf8 elf.rf8.cvc UNSAT 14.91
elf.rf9 elf.rf9.cvc UNSAT 1761.94
ooo.rf10 ooo.rf10.cvc KILLED 1679.76
ooo.rf6 ooo.rf6.cvc UNSAT 1.41
ooo.rf7 ooo.rf7.cvc KILLED 3600.94
ooo.rf8 ooo.rf8.cvc KILLED 3600.86
ooo.rf9 ooo.rf9.cvc KILLED 3600.08
ooo.tag10 ooo.tag10.cvc KILLED 3600.12
ooo.tag12 ooo.tag12.cvc KILLED 3599.71
ooo.tag14 ooo.tag14.cvc KILLED 3600.65
ooo.tag8 ooo.tag8.cvc KILLED 3600.93
q2.10 q2.10.cvc UNSAT 7.38
q2.12 q2.12.cvc UNSAT 36.59
q2.14 q2.14.cvc UNSAT 202.70
q2.18 q2.18.cvc KILLED 1259.28
q2.20 q2.20.cvc KILLED 1061.16
q2.30 q2.30.cvc KILLED 689.84
q2.40 q2.40.cvc KILLED 578.34