benchmarks: Set final TIMEOUT and REPEATS parameters
benchmarks: Run mlsolver with -pgs stratimprloc2
benchmarks: Fork a subshell for mlsolver
Otherwise, 'perf stat' returns a zero exit code if mlsolver is killedby a signal (e.g in case of an OOM situation)
benchmarks: Distribute results over different directories
Allows benchmarks of two formula series to be performed in parallelwithout interfering with each other.
benchmarks: Add visual progress feedback
benchmarks: Add script to run 'bench_one_formula' on all formulas
benchmarks: Output numbers with leading zeros
Some csv tools can only sort lexicographically
benchmarks: Save full 'perf stat' output
who knows if we might need it
benchmarks: Set locale to C
This ensures that decimal separators are consistent.
benchmarks: Allow to have multiple directories with benchmark results
Also available in: Atom