#!/bin/bash

# Make sure this script is in the home directory of PAF
# This script is going to run PAF on all the benchmarks reported in Table 2 (27*3 = 81 benchmarks)

python3.7 src/main.py -m 24 -e 8 -d 50 -prob 0.99 benchmarks/CAV2021/ExperimentSec/
