Benchmarking uclid, DIRECTORY=ofer, EXT=ucl, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.ucl SAT 1.64
LD_ST_neg.1step LD_ST_neg.1step.ucl UNSAT 0.39
LD_ST_neg.2step LD_ST_neg.2step.ucl UNSAT 1.26
LD_ST_neg.3step LD_ST_neg.3step.ucl UNSAT 6.77
OOO_neg.2steps OOO_neg.2steps.ucl UNSAT 0.22
OOO_neg.3steps OOO_neg.3steps.ucl UNSAT 3.35
RailRoad1_neg_2 RailRoad1_neg_2.ucl SAT 0.23
RailRoad1_neg_3 RailRoad1_neg_3.ucl SAT 0.55
RailRoad1_neg_4 RailRoad1_neg_4.ucl SAT 0.36
RailRoad_neg_0 RailRoad_neg_0.ucl SAT 0.29
RailRoad_neg_2 RailRoad_neg_2.ucl SAT 0.41
abz5-900 abz5-900.ucl KILLED 2164.95
cache.2steps cache.2steps.ucl UNSAT 0.07
cache_neg.1step cache_neg.1step.ucl UNSAT 0.26
cache_neg.2step cache_neg.2step.ucl UNSAT 0.89
ring2-10 ring2-10.ucl SAT 0.65
ring2-100 ring2-100.ucl SAT 10.28