Benchmarking ics, DIRECTORY=uclid2, EXT=ics, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.ics UNSAT 1.74
25s 25s.ics UNSAT 1.04
27s 27s.ics UNSAT 0.22
32s 32s.ics UNSAT 0.17
37s 37s.ics UNSAT 0.53
38s 38s.ics UNSAT 0.79
43s 43s.ics UNSAT 128.79
44s 44s.ics UNSAT 0.33
46s 46s.ics UNSAT 0.41
49s 49s.ics UNSAT 0.08
cache.inv10 cache.inv10.ics UNSAT 219.65
cache.inv12 cache.inv12.ics KILLED 3142.26
cache.inv14 cache.inv14.ics KILLED 2671.18
cache.inv8 cache.inv8.ics UNSAT 18.01
dlx1c dlx1c.ics UNSAT 2.10
dlx1c.rwmem dlx1c.rwmem.ics UNSAT 2.85
dlx1c.rwmem1 dlx1c.rwmem1.ics UNSAT 2.99
elf.rf10 elf.rf10.ics KILLED 332.01
elf.rf6 elf.rf6.ics UNSAT 0.03
elf.rf7 elf.rf7.ics UNSAT 0.49
elf.rf8 elf.rf8.ics SAT 0.87
elf.rf9 elf.rf9.ics SAT 15.64
ooo.rf10 ooo.rf10.ics UNSAT 122.23
ooo.rf6 ooo.rf6.ics UNSAT 0.18
ooo.rf7 ooo.rf7.ics UNSAT 1.06
ooo.rf8 ooo.rf8.ics UNSAT 4.01
ooo.rf9 ooo.rf9.ics UNSAT 20.63
ooo.tag10 ooo.tag10.ics UNSAT 6.74
ooo.tag12 ooo.tag12.ics UNSAT 82.20
ooo.tag14 ooo.tag14.ics KILLED 1351.99
ooo.tag8 ooo.tag8.ics UNSAT 0.91
q2.10 q2.10.ics UNSAT 10.36
q2.12 q2.12.ics UNSAT 56.29
q2.14 q2.14.ics UNSAT 286.65
q2.18 q2.18.ics KILLED 3588.02
q2.20 q2.20.ics KILLED 3586.91
q2.30 q2.30.ics KILLED 3577.27
q2.40 q2.40.ics KILLED 3582.41