Benchmarking cvcl-1.0.1-fast, DIRECTORY=ofer, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.cvc SAT 0.42
LD_ST_neg.1step LD_ST_neg.1step.cvc UNSAT 0.05
LD_ST_neg.2step LD_ST_neg.2step.cvc UNSAT 0.34
LD_ST_neg.3step LD_ST_neg.3step.cvc UNSAT 7.36
OOO_neg.2steps OOO_neg.2steps.cvc UNSAT 0.01
OOO_neg.3steps OOO_neg.3steps.cvc UNSAT 2.43
RailRoad1_neg_2 RailRoad1_neg_2.cvc SAT 0.04
RailRoad1_neg_3 RailRoad1_neg_3.cvc SAT 0.09
RailRoad1_neg_4 RailRoad1_neg_4.cvc SAT 0.05
RailRoad_neg_0 RailRoad_neg_0.cvc SAT 0.02
RailRoad_neg_2 RailRoad_neg_2.cvc SAT 0.05
abz5-900 abz5-900.cvc KILLED 3599.66
cache.2steps cache.2steps.cvc UNSAT 0.01
cache_neg.1step cache_neg.1step.cvc UNSAT 0.03
cache_neg.2step cache_neg.2step.cvc UNSAT 0.15
ring2-10 ring2-10.cvc SAT 0.45
ring2-100 ring2-100.cvc KILLED 770.52