Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / collect_output.pl @ 6c3793cb

History | View | Annotate | Download (1.37 KB)

# Date Author Comment
42e43efd 10/19/2017 11:32 PM Hans-Peter Deifel

benchmarks: Ignore temporary files when collecting statistics

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.

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

benchmarks: Output numbers with leading zeros

Some csv tools can only sort lexicographically

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