benchmarks: Set locale to C

This ensures that decimal separators are consistent.

benchmarks/aconjunctive_mu/bench_one_formula.sh

@@ -40,6 +40,9 @@ if [[ $# -ne 3 ]]; then
     exit 1
 fi
 
+# Force dot as decimal seperator
+export LC_ALL=C
+
 FORMULA=$1
 COOL_LOGIC=$2
 MLSOLVER_LOGIC=$3