Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / bench_one_formula.sh @ 6c3793cb

History | View | Annotate | Download (2.72 KB)

# Date Author Comment
221a3816 10/19/2017 09:43 PM Hans-Peter Deifel

benchmarks: Set final TIMEOUT and REPEATS parameters

cf05f9f8 10/19/2017 09:42 PM Hans-Peter Deifel

benchmarks: Run mlsolver with -pgs stratimprloc2

a43cb4c2 10/19/2017 05:27 PM Hans-Peter Deifel

benchmarks: Distribute results over different directories

Allows benchmarks of two formula series to be performed in parallel
without interfering with each other.

63177472 10/19/2017 05:01 PM Hans-Peter Deifel

benchmarks: Add visual progress feedback

7a044d56 10/19/2017 04:26 PM Hans-Peter Deifel

benchmarks: Save full 'perf stat' output

who knows if we might need it

10b7fc02 10/19/2017 04:25 PM Hans-Peter Deifel

benchmarks: Set locale to C

This ensures that decimal separators are consistent.

6d28c445 10/19/2017 10:20 AM Hans-Peter Deifel

benchmarks: Save output of programs

Allows to collect other results than just the time. For example how
many states the game has and what the result was (sat/unsat).

3fd00cf1 10/19/2017 10:19 AM Hans-Peter Deifel

benchmarks: Add cool with pgsolver support to matrix

8c274b5b 10/18/2017 11:17 PM Hans-Peter Deifel

benchmarks: Add cool without propagation

eb9bb469 10/18/2017 10:38 PM Hans-Peter Deifel

benchmarks: Add mlsolver with optimizations to tested programs

e442d62b 10/18/2017 10:28 PM Hans-Peter Deifel

benchmarks: Switch mlsolver to 'recursive' strategy

f1eb4f7c 10/18/2017 09:17 AM Hans-Peter Deifel

Add argument checking to benchmark script

a06d5cea 10/18/2017 09:12 AM Hans-Peter Deifel

Add benchmark script to compare cool and mlsolver