Project

General

Profile

Statistics
| Branch: | Revision:

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

History | View | Annotate | Download (439 Bytes)

# Date Author Comment
cf5e561d 10/19/2017 04:27 PM Hans-Peter Deifel

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