Benchmarking simplify, DIRECTORY=uclid2, EXT=smp, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
22s 22s.smp KILLED 3591.02
25s 25s.smp KILLED 3589.95
27s 27s.smp UNSAT 6.52
32s 32s.smp UNSAT 1.65
37s 37s.smp KILLED 3585.23
38s 38s.smp UNSAT 929.69
43s 43s.smp KILLED 3586.74
44s 44s.smp UNSAT 5.99
46s 46s.smp UNSAT 10.61
49s 49s.smp UNSAT 0.93
cache.inv10 cache.inv10.smp KILLED 3588.45
cache.inv12 cache.inv12.smp KILLED 3588.09
cache.inv14 cache.inv14.smp KILLED 3591.43
cache.inv8 cache.inv8.smp KILLED 3579.23
dlx1c.rwmem dlx1c.rwmem.smp KILLED 3587.36
dlx1c.rwmem1 dlx1c.rwmem1.smp KILLED 3588.44
dlx1c dlx1c.smp KILLED 3585.73
elf.rf10 elf.rf10.smp KILLED 3597.47
elf.rf6 elf.rf6.smp UNSAT 0.28
elf.rf7 elf.rf7.smp UNSAT 145.88
elf.rf8 elf.rf8.smp KILLED 3592.70
elf.rf9 elf.rf9.smp KILLED 3594.83
ooo.rf10 ooo.rf10.smp KILLED 3598.84
ooo.rf6 ooo.rf6.smp UNSAT 5.50
ooo.rf7 ooo.rf7.smp UNSAT 301.82
ooo.rf8 ooo.rf8.smp KILLED 3594.71
ooo.rf9 ooo.rf9.smp KILLED 3597.29
ooo.tag10 ooo.tag10.smp UNSAT 3335.41
ooo.tag12 ooo.tag12.smp KILLED 3598.92
ooo.tag14 ooo.tag14.smp KILLED 3599.15
ooo.tag8 ooo.tag8.smp UNSAT 173.97
q2.10 q2.10.smp UNSAT 98.88
q2.12 q2.12.smp UNSAT 1858.34
q2.14 q2.14.smp KILLED 3589.37
q2.18 q2.18.smp KILLED 3593.01
q2.20 q2.20.smp KILLED 3594.08
q2.30 q2.30.smp KILLED 3597.13
q2.40 q2.40.smp KILLED 3598.97