export LD_LIBRARY_PATH=../lib/

name1=firewire_IRP
name2=firewire_IAP
name3=firewire_IRE
name4=firewire_IAE
name5=firewire_OR
name6=firewire_OA

echo "Computing firewire IRP"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=0,onlyTarget,multiLearn,train=1000,verify=1000,export=../output/csv/$name1 > ../output/txt/$name1.txt
column -s "," -t < ../output/csv/$name1.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

echo "Computing firewire IAP"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=0,multiLearn,train=1000,verify=1000,export=../output/csv/$name2 > ../output/txt/$name2.txt
column -s "," -t < ../output/csv/$name2.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

echo "Computing firewire IRE"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=0,onlyTarget,train=1000,verify=1000,export=../output/csv/$name3 > ../output/txt/$name3.txt
column -s "," -t < ../output/csv/$name3.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

echo "Computing firewire IAE"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=0,train=1000,verify=1000,export=../output/csv/$name4 > ../output/txt/$name4.txt
column -s "," -t < ../output/csv/$name4.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

echo "Computing firewire OR"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=2,train=1000,verify=1000,onlyTarget,export=../output/csv/$name5 > ../output/txt/$name5.txt
column -s "," -t < ../output/csv/$name5.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'

echo "Computing firewire OA"
java -d64 -Xms400m -Xmx4G -jar ../prism_dectree.jar ../prism-examples/firewire/impl/firewire.nm ../prism-examples/firewire/impl/deadline.pctl -property 2 -const delay=50,deadline=300,fast=0.5 -dectree,search=100000,learn=2,train=1000,verify=1000,export=../output/csv/$name6 > ../output/txt/$name6.txt
column -s "," -t < ../output/csv/$name6.csv | awk 'NR==1 {print $1,$2,$3,$4}; END{ print $1,$2,$3,$4 }'
