run_all_nand.sh 689 Bytes
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
#!/bin/bash
cd ..;
echo -e "++++++++ RUN NAND BENCHMARKS ++++++++\n";
### NAND (10,5)
Thom Badings's avatar
synch    
Thom Badings committed
5
python3 sampler.py --model models/nand/nand_10_5.pm --property models/nand/nand.prctl --threshold 0.05 --bisimulation weak --comparator '("geq","leq")' --num_samples '(1000,2500,5000,10000,25000)'  --num_iter 10 --beta '(0.9,0.99,0.999,0.9999)' --eta '(0.218,0.733)' --outfile 'nand_10-5_output';
Thom Badings's avatar
Thom Badings committed
6
### NAND (25,5)
Thom Badings's avatar
synch    
Thom Badings committed
7
python3 sampler.py --model models/nand/nand_25_5.pm --property models/nand/nand.prctl --threshold 0.05 --bisimulation strong --comparator '("geq","leq")' --num_samples '(1000,2500,5000,10000)' --num_iter 5 --beta '(0.9,0.99,0.999,0.9999)' --eta '(0.206,0.744)' --outfile 'nand_25-5_output';