Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks @ a80babbf

Name Size
  2014.cl
  DL98
  aconjunctive_mu
  scripts

Latest revisions

# Date Author Comment
a80babbf 11/16/2017 11:13 AM Hans-Peter Deifel

benchmarks: Rename gen.ml to aconjunctive_mu_generator.ml

Also disables the build of the corresponding executable by
default (can be reenabled with the flat 'benchmarks').

2357f98f 11/07/2017 07:59 AM Hans-Peter Deifel

benchmarks: Add README

0655be7e 11/02/2017 06:11 PM Hans-Peter Deifel

benchmarks: Correctly parse output with REPEATS=1

In this case, no stddev is generated

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.

View revisions

Also available in: Atom