benchmarks: Add script to run 'bench_one_formula' on all formulas

benchmarks/aconjunctive_mu/bench_all_formulas.sh

+#!/bin/bash
+
+awk '{system("./bench_one_formula.sh "$1" "$2" "$3)}' <<EOF
+linear_dpa_is_nba	Id	ltmc
+linear_dpa_is_nba_neg	Id	ltmc
+enpa_is_enba		K	mmc
+enpa_is_enba_neg	K	mmc
+enpa_to_enba		K	mmc
+enpa_to_enba_neg	K	mmc
+unpa_is_unba		K	mmc
+unpa_is_unba_neg	K	mmc
+unpa_to_unba		K	mmc
+unpa_to_unba_neg	K	mmc
+unpa_is_unba_dual	K	mmc
+unpa_is_unba_dual_neg	K	mmc
+pg_even_odd		K	mmc
+pg_even_odd_neg		K	mmc
+pg_domgame		K	mmc
+pg_domgame_neg		K	mmc
+EOF