boundsmodels0.9 -i -b=20 -O2 -f=bruijn_2-formula1.ltl bruijn_2.ll_net > bruijn_2-f=formula1-i-O2-b20.smo2
boundsmodels0.9 -s -b=17 -O2 -f=bruijn_2-formula1.ltl bruijn_2.ll_net > bruijn_2-f=formula1-s-O2-b17.smo2
boundsmodels0.9 -i -b=20 -O2 -f=bruijn_2-formula2.ltl bruijn_2.ll_net > bruijn_2-f=formula2-i-O2-b20.smo2
boundsmodels0.9 -s -b=16 -O2 -f=bruijn_2-formula2.ltl bruijn_2.ll_net > bruijn_2-f=formula2-s-O2-b16.smo2
boundsmodels0.9 -i -b=20 -O2 -f=bruijn_2-formula3.ltl bruijn_2.ll_net > bruijn_2-f=formula3-i-O2-b20.smo2
boundsmodels0.9 -s -b=16 -O2 -f=bruijn_2-formula3.ltl bruijn_2.ll_net > bruijn_2-f=formula3-s-O2-b16.smo2
boundsmodels0.9 -i -b=19 -O2 -f=dijkstra_2-formula1.ltl dijkstra_2.ll_net > dijkstra_2-f=formula1-i-O2-b19.smo2
boundsmodels0.9 -s -b=18 -O2 -f=dijkstra_2-formula1.ltl dijkstra_2.ll_net > dijkstra_2-f=formula1-s-O2-b18.smo2
boundsmodels0.9 -i -b=12 -O2 -f=dijkstra_2-formula2.ltl dijkstra_2.ll_net > dijkstra_2-f=formula2-i-O2-b12.smo2
boundsmodels0.9 -s -b=8 -O2 -f=dijkstra_2-formula2.ltl dijkstra_2.ll_net > dijkstra_2-f=formula2-s-O2-b8.smo2
boundsmodels0.9 -i -b=15 -O2 -f=dijkstra_2-formula3.ltl dijkstra_2.ll_net > dijkstra_2-f=formula3-i-O2-b15.smo2
boundsmodels0.9 -s -b=13 -O2 -f=dijkstra_2-formula3.ltl dijkstra_2.ll_net > dijkstra_2-f=formula3-s-O2-b13.smo2
boundsmodels0.9 -i -b=20 -O2 -f=knuth_2-formula1.ltl knuth_2.ll_net > knuth_2-f=formula1-i-O2-b20.smo2
boundsmodels0.9 -s -b=16 -O2 -f=knuth_2-formula1.ltl knuth_2.ll_net > knuth_2-f=formula1-s-O2-b16.smo2
boundsmodels0.9 -i -b=19 -O2 -f=knuth_2-formula2.ltl knuth_2.ll_net > knuth_2-f=formula2-i-O2-b19.smo2
boundsmodels0.9 -s -b=15 -O2 -f=knuth_2-formula2.ltl knuth_2.ll_net > knuth_2-f=formula2-s-O2-b15.smo2
boundsmodels0.9 -i -b=19 -O2 -f=knuth_2-formula3.ltl knuth_2.ll_net > knuth_2-f=formula3-i-O2-b19.smo2
boundsmodels0.9 -s -b=16 -O2 -f=knuth_2-formula3.ltl knuth_2.ll_net > knuth_2-f=formula3-s-O2-b16.smo2
