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').
makestatic.sh: Add 'gen' binary for acmu benchmarks
makestatic.sh: Include benchmarks for aconjunctive mu
benchmarks: Add README
Link ncurses bindings against libtinfo and libgpm
This is needed to produce static binaries.
Revert "Update INSTALL file to reflect current state"
This reverts commit 5de20a335bdf0e0c5e7b940fe69952963720b1cd.
Update INSTALL file to reflect current state
Since pgsolver is now a dependency and is not available in commonLinux distributions, we advise people to install all ocamldependencies with opam instead.
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.
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
benchmarks: Add script to collect results into CSV format
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
Also available in: Atom