Benchmarking uclid, DIRECTORY=uclid2, EXT=ucl, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.ucl UNSAT 33.92
25s 25s.ucl UNSAT 10.54
27s 27s.ucl UNSAT 1.11
32s 32s.ucl UNSAT 1.22
37s 37s.ucl UNSAT 3.06
38s 38s.ucl UNSAT 2.41
43s 43s.ucl UNSAT 90.87
44s 44s.ucl UNSAT 2.64
46s 46s.ucl UNSAT 4.02
49s 49s.ucl UNSAT 7.14
cache.inv10 cache.inv10.ucl UNSAT 2.23
cache.inv12 cache.inv12.ucl UNSAT 6.09
cache.inv14 cache.inv14.ucl UNSAT 160.49
cache.inv8 cache.inv8.ucl UNSAT 1.23
dlx1c.rwmem dlx1c.rwmem.ucl UNSAT 17.62
dlx1c.rwmem1 dlx1c.rwmem1.ucl UNSAT 11.17
dlx1c dlx1c.ucl UNSAT 11.05
elf.rf10 elf.rf10.ucl UNSAT 287.88
elf.rf6 elf.rf6.ucl UNSAT 0.21
elf.rf7 elf.rf7.ucl UNSAT 1.51
elf.rf8 elf.rf8.ucl UNSAT 5.06
elf.rf9 elf.rf9.ucl UNSAT 23.64
ooo.rf10 ooo.rf10.ucl UNSAT 2932.93
ooo.rf6 ooo.rf6.ucl UNSAT 1.20
ooo.rf7 ooo.rf7.ucl UNSAT 3.50
ooo.rf8 ooo.rf8.ucl UNSAT 21.00
ooo.rf9 ooo.rf9.ucl UNSAT 163.26
ooo.tag10 ooo.tag10.ucl UNSAT 16.72
ooo.tag12 ooo.tag12.ucl UNSAT 51.18
ooo.tag14 ooo.tag14.ucl UNSAT 182.40
ooo.tag8 ooo.tag8.ucl UNSAT 3.04
q2.10 q2.10.ucl UNSAT 1.75
q2.12 q2.12.ucl UNSAT 6.67
q2.14 q2.14.ucl UNSAT 28.84
q2.18 q2.18.ucl UNSAT 472.81
q2.20 q2.20.ucl UNSAT 1378.90
q2.30 q2.30.ucl KILLED 3606.28
q2.40 q2.40.ucl KILLED 3610.51