export LD_LIBRARY_PATH=../lib/

name=mer_big_brtdp_dt
echo "Computing mer_big BRTDP DT"
java -d64 -Xms400m -Xmx4G  -jar ../prism_dectree.jar ../prism-examples/mer/mer2_2_full.nm ../prism-examples/mer/mer.pctl -property 1 -const n=2147483646,x=0.001 -dectree,search=1800,onlyTarget,multiLearn,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=mer_big_brtdp_bdd
echo "Computing mer_big BRTDP BDD"
java -d64 -Xms400m -Xmx4G  -jar ../prism_dectree.jar ../prism-examples/mer/mer2_2_full.nm ../prism-examples/mer/mer.pctl -property 1 -const n=2147483646,x=0.001 -dectree,bdd,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 }'
