Benchmarking svc, DIRECTORY=ofer, EXT=svc, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.svc SAT 0.12
LD_ST_neg.1step LD_ST_neg.1step.svc UNSAT 0.04
LD_ST_neg.2step LD_ST_neg.2step.svc UNSAT 0.16
LD_ST_neg.3step LD_ST_neg.3step.svc UNSAT 1.45
OOO_neg.2steps OOO_neg.2steps.svc UNSAT 0.02
OOO_neg.3steps OOO_neg.3steps.svc UNSAT 0.34
RailRoad1_neg_2 RailRoad1_neg_2.svc SAT 0.02
RailRoad1_neg_3 RailRoad1_neg_3.svc SAT 0.04
RailRoad1_neg_4 RailRoad1_neg_4.svc SAT 0.03
RailRoad_neg_0 RailRoad_neg_0.svc SAT 0.01
RailRoad_neg_2 RailRoad_neg_2.svc SAT 0.04
abz5-900 abz5-900.svc KILLED 3600.43
cache.2steps cache.2steps.svc UNSAT 0.02
cache_neg.1step cache_neg.1step.svc UNSAT 0.01
cache_neg.2step cache_neg.2step.svc UNSAT 0.14
ring2-10 ring2-10.svc SAT 0.06
ring2-100 ring2-100.svc SAT 2.08