boundsmodels1.0 -i -b=8 -O2 -f=dp_6.net.formula1 dp_6.ltl.ll_net > dp_6.formula1-i-O2-b8.smo2
boundsmodels1.0 -i -b=10 -O2 -f=dp_8.net.formula1 dp_8.ltl.ll_net > dp_8.formula1-i-O2-b10.smo2
boundsmodels1.0 -i -b=12 -O2 -f=dp_10.net.formula1 dp_10.ltl.ll_net > dp_10.formula1-i-O2-b12.smo2
boundsmodels1.0 -i -b=14 -O2 -f=dp_12.net.formula1 dp_12.ltl.ll_net > dp_12.formula1-i-O2-b14.smo2
boundsmodels1.0 -s -b=7 -O2 -f=dp_6.net.formula1 dp_6.ltl.ll_net > dp_6.formula1-s-O2-b7.smo2
boundsmodels1.0 -s -b=8 -O2 -f=dp_8.net.formula1 dp_8.ltl.ll_net > dp_8.formula1-s-O2-b8.smo2
boundsmodels1.0 -s -b=9 -O2 -f=dp_10.net.formula1 dp_10.ltl.ll_net > dp_10.formula1-s-O2-b9.smo2
boundsmodels1.0 -s -b=10 -O2 -f=dp_12.net.formula1 dp_12.ltl.ll_net > dp_12.formula1-s-O2-b10.smo2
