From ad3ea61ac2f526aead0cf62ea0cb98b9fbd41cce Mon Sep 17 00:00:00 2001 From: Thibaud Michaud Date: Mon, 17 Nov 2014 09:57:26 +0100 Subject: [PATCH] Adding README in bench/stutter/. * bench/stutter/README: Document stutter-invariance benchmarks. --- bench/stutter/README | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 bench/stutter/README diff --git a/bench/stutter/README b/bench/stutter/README new file mode 100644 index 000000000..54779ab1c --- /dev/null +++ b/bench/stutter/README @@ -0,0 +1,31 @@ +This benchmark measures the performance of different algorithms to check +if a büchi automaton has the stutter-invariance property. If the +benchmark is run on formulas, the translation time is not included in +the measured time. + +You can specify which formulas are to be used for the benchmarks by +running: + + % ./stutter_invariance_formulas -F FILE > bench_formulas.csv + +Where FILE is a file containing a list of formulas (see +./stutter_invariance_formulas --help for other input options). + +Or use the script which will call this executable on random formulas +ranging from 1 to 4 atomic propositions: + + % ./stutter_bench.sh + +This will create the file bench_formulas.csv. + +Alternatively, the algorithms can be measured on random complete +deterministic automata with: + + % ./stutter_invariance_randomgraph > bench_randgraph.csv + +Assuming ipython is installed, the csv files can be visualized using the +provided ipython notebook. Run: + + % ipython notebook --matplotlib + +in this directory, and open stutter.ipynb.