Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (116 Bytes)

# Date Author Comment
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)

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

Add benchmark script to compare cool and mlsolver