benchmarks: Rename gen.ml to aconjunctive_mu_generator.ml
Also disables the build of the corresponding executable bydefault (can be reenabled with the flat 'benchmarks').
benchmarks: Add README
benchmarks: Correctly parse output with REPEATS=1
In this case, no stddev is generated
benchmarks: Fix early_caching_ac formula
benchmarks: Add early_ac formulae to generator
benchmarks: Ignore temporary files when collecting statistics
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.
Also available in: Atom