Benchmarking simplify, DIRECTORY=ofer, EXT=smp, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.smp SAT 0.13
LD_ST_neg.1step LD_ST_neg.1step.smp UNSAT 0.03
LD_ST_neg.2step LD_ST_neg.2step.smp UNSAT 0.15
LD_ST_neg.3step LD_ST_neg.3step.smp UNSAT 2.00
OOO_neg.2steps OOO_neg.2steps.smp UNSAT 0.03
OOO_neg.3steps OOO_neg.3steps.smp UNSAT 0.57
RailRoad1_neg_2 RailRoad1_neg_2.smp SAT 0.03
RailRoad1_neg_3 RailRoad1_neg_3.smp SAT 0.03
RailRoad1_neg_4 RailRoad1_neg_4.smp SAT 0.02
RailRoad_neg_0 RailRoad_neg_0.smp SAT 0.02
RailRoad_neg_2 RailRoad_neg_2.smp SAT 0.02
abz5-900 abz5-900.smp SAT 18.91
cache.2steps cache.2steps.smp SAT 0.01
cache_neg.1step cache_neg.1step.smp UNSAT 0.01
cache_neg.2step cache_neg.2step.smp UNSAT 0.09
ring2-10 ring2-10.smp SAT 0.06
ring2-100 ring2-100.smp SAT 42.44