GRAPHITE:
Generate:

/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputTP.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputDaC.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputDaC2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputDaC3.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputGD.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputGD2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputRD.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputRD2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputPl.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputPl2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputEbC.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/graphite/saInputEbC2.ppml -b graphite -w;

========================================================

OS:
Generate:

/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputTP.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputDaC.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputDaC2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputDaC3.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputGD.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputGD2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputRD.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputRD2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputPl.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputPl2.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputEbC.ppml -b graphite -w;
/home/etem/workspace/MBVT_Project/Debug/MBVT_Project -a /home/etem/Desktop/MINIME-Validator/inputs/os/saInputEbC2.ppml -b graphite -w;

Compile:

gcc -o saInputTP saInputTP.ppml_syn.c -lpthread -lrt
gcc -o saInputDaC saInputDaC.ppml_syn.c -lpthread -lrt
gcc -o saInputDaC2 saInputDaC2.ppml_syn.c -lpthread -lrt
gcc -o saInputDaC3 saInputDaC3.ppml_syn.c -lpthread -lrt
gcc -o saInputGD saInputGD.ppml_syn.c -lpthread -lrt
gcc -o saInputGD2 saInputGD2.ppml_syn.c -lpthread -lrt
gcc -o saInputRD saInputRD.ppml_syn.c -lpthread -lrt
gcc -o saInputRD2 saInputRD2.ppml_syn.c -lpthread -lrt
gcc -o saInputPl saInputPl.ppml_syn.c -lpthread -lrt
gcc -o saInputPl2 saInputPl2.ppml_syn.c -lpthread -lrt
gcc -o saInputEbC saInputEbC.ppml_syn.c -lpthread -lrt
gcc -o saInputEbC2 saInputEbC2.ppml_syn.c -lpthread -lrt

Run:

./saInputTP
./saInputDaC
./saInputDaC2
./saInputDaC3
./saInputGD
./saInputGD2
./saInputRD
./saInputRD2
./saInputPl
./saInputPl2
./saInputEbC
./saInputEbC2