Benchmarking cvc, DIRECTORY=ofer, EXT=cvc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.cvc SAT 0.22
LD_ST_neg.1step LD_ST_neg.1step.cvc UNSAT 0.08
LD_ST_neg.2step LD_ST_neg.2step.cvc UNSAT 0.54
LD_ST_neg.3step LD_ST_neg.3step.cvc UNSAT 21.73
OOO_neg.2steps OOO_neg.2steps.cvc UNSAT 0.05
OOO_neg.3steps OOO_neg.3steps.cvc UNSAT 4.57
RailRoad1_neg_2 RailRoad1_neg_2.cvc SAT 0.07
RailRoad1_neg_3 RailRoad1_neg_3.cvc SAT 0.12
RailRoad1_neg_4 RailRoad1_neg_4.cvc SAT 0.05
RailRoad_neg_0 RailRoad_neg_0.cvc SAT 0.03
RailRoad_neg_2 RailRoad_neg_2.cvc SAT 0.07
abz5-900 abz5-900.cvc KILLED 1081.68
cache.2steps cache.2steps.cvc UNSAT 0.02
cache_neg.1step cache_neg.1step.cvc UNSAT 0.05
cache_neg.2step cache_neg.2step.cvc UNSAT 0.20
ring2-10 ring2-10.cvc SAT 0.13
ring2-100 ring2-100.cvc SAT 0.96