Benchmarking ics, DIRECTORY=ofer, EXT=ics, MAX_MEMORY=450000, MAX_STACK=40000, MAX_TIME=3600
2ba 2ba.ics SAT 0.08
LD_ST_neg.1step LD_ST_neg.1step.ics UNSAT 0.05
LD_ST_neg.2step LD_ST_neg.2step.ics UNSAT 0.09
LD_ST_neg.3step LD_ST_neg.3step.ics UNSAT 0.41
OOO_neg.2steps OOO_neg.2steps.ics UNSAT 0.03
OOO_neg.3steps OOO_neg.3steps.ics UNSAT 0.22
RailRoad1_neg_2 RailRoad1_neg_2.ics SAT 0.03
RailRoad1_neg_3 RailRoad1_neg_3.ics SAT 0.03
RailRoad1_neg_4 RailRoad1_neg_4.ics SAT 0.03
RailRoad_neg_0 RailRoad_neg_0.ics SAT 0.03
RailRoad_neg_2 RailRoad_neg_2.ics SAT 0.03
abz5-900 abz5-900.ics SAT 102.57
cache.2steps cache.2steps.ics UNSAT 0.05
cache_neg.1step cache_neg.1step.ics UNSAT 0.02
cache_neg.2step cache_neg.2step.ics UNSAT 0.06
ring2-10 ring2-10.ics SAT 0.04
ring2-100 ring2-100.ics SAT 4.12