run_all_crowds.sh 1.03 KB
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
#!/bin/bash
cd ..;
echo -e "++++++++ RUN CROWDS BENCHMARKS ++++++++\n";
### CROWDS (10,5)
Thom Badings's avatar
synch    
Thom Badings committed
5
python3 sampler.py --model models/crowds/crowds_10_5.pm --property models/crowds/crowds.prctl --threshold 0.9 --bisimulation weak --comparator '("leq","geq")' --num_samples '(1000,2500,5000,10000,25000)'  --num_iter 10 --beta '(0.9,0.99,0.999,0.9999)' --eta '(0.537,0.413)' --outfile 'crowds_10-5_output';
Thom Badings's avatar
Thom Badings committed
6
### CROWDS (15,7)
Thom Badings's avatar
synch    
Thom Badings committed
7
python3 sampler.py --model models/crowds/crowds_15_7.pm --property models/crowds/crowds.prctl --threshold 0.9 --bisimulation strong --comparator '("leq","geq")' --num_samples '(1000,2500,5000,10000,25000)'  --num_iter 10 --beta '(0.9,0.99,0.999,0.9999)' --eta '(0.411,0.539)' --outfile 'crowds_15-7_output';
Thom Badings's avatar
Thom Badings committed
8
### CROWDS (20,7)
Thom Badings's avatar
synch    
Thom Badings committed
9
python3 sampler.py --model models/crowds/crowds_20_7.pm --property models/crowds/crowds.prctl --threshold 0.9 --bisimulation strong --comparator '("leq","geq")' --num_samples '(1000,2500,5000,10000,25000)' --num_iter 10 --beta '(0.9,0.99,0.999,0.9999)' --eta '(0.416,0.534)' --outfile 'crowds_20-7_output' --verbose 1;