diff --git a/benchmarks/aconjunctive_mu/bench_one_formula.sh b/benchmarks/aconjunctive_mu/bench_one_formula.sh
index 0251f367ad0aeb207bd928c353954dd636cf71a9..4a1b6280d5cea59f69d9016908899891244e2fa2 100755
--- a/benchmarks/aconjunctive_mu/bench_one_formula.sh
+++ b/benchmarks/aconjunctive_mu/bench_one_formula.sh
@@ -89,11 +89,11 @@ bench cool ./run_cool.sh ${FORMULA} sat ${COOL_LOGIC} --propagationRate adaptive
 
 #### cool with pgsolver but without intermediate propagation
 
-bench cool-pgsolver-noprop ./run_cool_pgsolver.sh ${FORMULA} sat ${COOL_LOGIC} --propagationRate once --verbose
+bench cool-pgsolver-noprop ./run_cool.sh ${FORMULA} sat ${COOL_LOGIC} --gameSolver pgsolver --propagationRate once --verbose
 
 #### cool with pgsolver and adaptive propagation
 
-bench cool-pgsolver ./run_cool_pgsolver.sh ${FORMULA} sat ${COOL_LOGIC} --propagationRate adaptive --verbose
+bench cool-pgsolver ./run_cool.sh ${FORMULA} sat ${COOL_LOGIC} --gameSolver pgsolver --propagationRate adaptive --verbose
 
 ##### mlsolver without optimization