Benchmarking svc, DIRECTORY=uclid2, EXT=svc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.svc UNSAT 16.25
25s 25s.svc UNSAT 23.53
27s 27s.svc UNSAT 0.05
32s 32s.svc UNSAT 0.03
37s 37s.svc UNSAT 0.09
38s 38s.svc UNSAT 0.11
43s 43s.svc UNSAT 56.83
44s 44s.svc UNSAT 0.09
46s 46s.svc UNSAT 0.20
49s 49s.svc UNSAT 0.94
cache.inv10 cache.inv10.svc UNSAT 5.48
cache.inv12 cache.inv12.svc UNSAT 116.66
cache.inv14 cache.inv14.svc KILLED 3599.93
cache.inv8 cache.inv8.svc UNSAT 0.45
dlx1c.rwmem dlx1c.rwmem.svc UNSAT 10.50
dlx1c.rwmem1 dlx1c.rwmem1.svc UNSAT 10.71
dlx1c dlx1c.svc UNSAT 10.48
elf.rf10 elf.rf10.svc UNSAT 122.97
elf.rf6 elf.rf6.svc UNSAT 0.01
elf.rf7 elf.rf7.svc UNSAT 0.26
elf.rf8 elf.rf8.svc UNSAT 1.10
elf.rf9 elf.rf9.svc UNSAT 8.42
ooo.rf10 ooo.rf10.svc UNSAT 167.45
ooo.rf6 ooo.rf6.svc UNSAT 0.19
ooo.rf7 ooo.rf7.svc UNSAT 1.02
ooo.rf8 ooo.rf8.svc UNSAT 5.46
ooo.rf9 ooo.rf9.svc UNSAT 30.10
ooo.tag10 ooo.tag10.svc UNSAT 218.12
ooo.tag12 ooo.tag12.svc KILLED 3576.35
ooo.tag14 ooo.tag14.svc KILLED 3576.21
ooo.tag8 ooo.tag8.svc UNSAT 5.95
q2.10 q2.10.svc UNSAT 1.28
q2.12 q2.12.svc UNSAT 6.10
q2.14 q2.14.svc UNSAT 28.99
q2.18 q2.18.svc UNSAT 619.88
q2.20 q2.20.svc UNSAT 2794.84
q2.30 q2.30.svc KILLED 3600.67
q2.40 q2.40.svc KILLED 3600.84