export LD_LIBRARY_PATH=../lib/

name=zeroconf_prism_dt
echo "Computing zeroconf PRISM DT"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/zeroconf/zeroconf.nm ../prism-examples/zeroconf/zeroconf.pctl -property 2 -const reset=false,N=1000,K=2,err=0.1 -dectree,stratasDTSim,search=1000,verify=1000,learn=0,onlyTarget,multiLearn,export=../output/csv/$name > ../output/txt/$name.txt
column -s "," -t < ../output/csv/$name.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

name=zeroconf_prism_bdd
echo "Computing zeroconf PRISM BDD"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/zeroconf/zeroconf.nm ../prism-examples/zeroconf/zeroconf.pctl -property 2 -const reset=false,N=1000,K=2,err=0.1 -dectree,stratasDTSim,bdd,onlyTarget,verify=1000,export=../output/csv/$name > ../output/txt/$name.txt
column -s "," -t < ../output/csv/$name.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

name=zeroconf_brtdp_dt
echo "Computing zeroconf BRTDP DT"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/zeroconf/zeroconf.nm ../prism-examples/zeroconf/zeroconf.pctl -property 2 -const reset=false,N=1000,K=2,err=0.1 -dectree,search=1000,verify=1000,learn=0,onlyTarget,multiLearn,export=../output/csv/$name > ../output/txt/$name.txt
column -s "," -t < ../output/csv/$name.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

name=zeroconf_brtdp_bdd
echo "Computing zeroconf BRTDP BDD"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/zeroconf/zeroconf.nm ../prism-examples/zeroconf/zeroconf.pctl -property 2 -const reset=false,N=1000,K=2,err=0.1 -dectree,bdd,onlyTarget,verify=1000,export=../output/csv/$name > ../output/txt/$name.txt
column -s "," -t < ../output/csv/$name.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

