benchmarks: Run mlsolver with -pgs stratimprloc2
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: 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: Save output of programs
Allows to collect other results than just the time. For example howmany states the game has and what the result was (sat/unsat).
benchmarks: Add cool with pgsolver support to matrix
benchmarks: Add cool without propagation
benchmarks: Add mlsolver with optimizations to tested programs
benchmarks: Switch mlsolver to 'recursive' strategy
Add argument checking to benchmark script
Add benchmark script to compare cool and mlsolver