benchmarks: Save full 'perf stat' output

who knows if we might need it

benchmarks/aconjunctive_mu/bench_one_formula.sh

@@ -52,7 +52,7 @@ mkdir -p "${OUTPUT_BASE}"
 function bench {
     i=1
 
-    while timeout ${TIMEOUT} perf stat -o "${OUTPUT_BASE}/tmp.time" -r ${REPEATS} -n "$2" "$3" "$i" "${@:4}" > "${OUTPUT_BASE}/tmp.out" 2>&1; do
+    while timeout ${TIMEOUT} perf stat -o "${OUTPUT_BASE}/tmp.time" -r ${REPEATS} "$2" "$3" "$i" "${@:4}" > "${OUTPUT_BASE}/tmp.out" 2>&1; do
 	mv "${OUTPUT_BASE}/tmp.time" "${OUTPUT_BASE}/${FORMULA}-${i}-${1}.time";
 	mv "${OUTPUT_BASE}/tmp.out" "${OUTPUT_BASE}/${FORMULA}-${i}-${1}.out";
 	i=$(($i+1))