Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks @ 6c3793cb

# Date Author Comment
6c3793cb 10/20/2017 07:09 PM Hans-Peter Deifel

benchmarks: Fix early_caching_ac formula

db56eb9d 10/20/2017 06:25 PM Hans-Peter Deifel

benchmarks: Add early_ac formulae to generator

42e43efd 10/19/2017 11:32 PM Hans-Peter Deifel

benchmarks: Ignore temporary files when collecting statistics

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

f498e556 10/19/2017 07:31 PM Hans-Peter Deifel

benchmarks: Fork a subshell for mlsolver

Otherwise, 'perf stat' returns a zero exit code if mlsolver is killed
by a signal (e.g in case of an OOM situation)

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

cf5e561d 10/19/2017 04:27 PM Hans-Peter Deifel

benchmarks: Add script to run 'bench_one_formula' on all formulas

775ab65f 10/19/2017 04:26 PM Hans-Peter Deifel

benchmarks: Output numbers with leading zeros

Some csv tools can only sort lexicographically

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.

ec2caa83 10/19/2017 10:23 AM Hans-Peter Deifel

benchmarks: Allow to have multiple directories with benchmark results

4b369edd 10/19/2017 10:21 AM Hans-Peter Deifel

benchmarks: Add script to collect results into CSV format

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

45386aae 10/19/2017 07:56 AM Hans-Peter Deifel

Fix typo

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

994d7911 10/15/2017 05:05 PM Hans-Peter Deifel

Move aconjunctive formula generator to benchmarks/

564f50ee 02/01/2014 06:54 AM Thorsten Wißmann

Fill remaining K columns

009d7d15 02/01/2014 02:34 AM Thorsten Wißmann

Improve dotestGML.sh

9c4c274b 02/01/2014 02:15 AM Thorsten Wißmann

Improve testscripts

b276f873 01/31/2014 05:51 PM Thorsten Wißmann

Fixup dotestCL.sh

9b79c276 01/31/2014 05:45 PM Thorsten Wißmann

Improve dotestCL.sh

7f43d596 01/31/2014 04:13 PM Thorsten Wißmann

Improve benchmark scripts

c60f0d49 01/31/2014 03:30 PM Thorsten Wißmann

Improve dotestK.sh script

ba15d9cf 01/31/2014 03:12 PM Thorsten Wißmann

Add benchmark scripts for CL, GML and K

6ff93163 01/29/2014 12:39 AM Thorsten Wißmann

Add some example benchmarks

4fd28192 10/03/2013 10:34 PM Thorsten Wißmann

Initial commit

It contains the most current tarball created by the original author
Florian Widmann.