Skip to content
Snippets Groups Projects
Commit ececf71a authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

wta: Add 'generate' commands before every 'run'

This makes it more obvious what one would have to do to reproduce the results:
First generate the input files, then run CoPaR on it.
parent d3e86070
No related branches found
No related tags found
No related merge requests found
......@@ -74,6 +74,7 @@ ls -sh bench/wta_powerset_0,8_0.7_1478*
**** Automaton size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,8 --zero-frequency 0.7 --states 1478
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,8 --zero-frequency 0.7 --states 1478 --indiv --header
#+end_src
......@@ -120,6 +121,7 @@ ls -sh bench/wta_powerset_1,0,4_0.7_152*
**** Automaton Size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 1,0,4 --zero-frequency 0.7 --states 151
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 1,0,4 --zero-frequency 0.7 --states 151 --indiv --header
#+end_src
......@@ -165,6 +167,7 @@ ls -sh bench/wta_powerset_4,3,2_0.7_190*
**** Automaton Size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 4,3,2 --zero-frequency 0.7 --states 190
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 4,3,2 --zero-frequency 0.7 --states 190 --indiv --header
#+end_src
......@@ -208,6 +211,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,3_0.7_11*
**** Automaton Size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11 --indiv --header
#+end_src
......@@ -260,6 +264,7 @@ ls -sh bench/wta_Z,max_0,8_0.7_1450*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Z,max' --symbols 0,8 --zero-frequency 0.7 --states 1450
python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,8 --zero-frequency 0.7 --states 1450 --indiv --header
#+END_SRC
......@@ -305,6 +310,7 @@ ls -sh bench/wta_Z,max_1,0,4_0.7_150*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Z,max' --symbols 1,0,4 --zero-frequency 0.7 --states 150
python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 1,0,4 --zero-frequency 0.7 --states 150 --indiv --header
#+END_SRC
......@@ -350,6 +356,7 @@ ls -sh bench/wta_Z,max_4,3,2_0.7_188*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Z,max' --symbols 4,3,2 --zero-frequency 0.7 --states 188
python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 4,3,2 --zero-frequency 0.7 --states 188 --indiv --header
#+END_SRC
......@@ -391,6 +398,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,3_0.7_11*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Z,max' --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11
python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11 --indiv --header
#+END_SRC
......@@ -440,6 +448,7 @@ ls -sh bench/wta_Word,or_0,8_0.7_1408*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Word,or' --symbols 0,8 --zero-frequency 0.7 --states 1408
python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 0,8 --zero-frequency 0.7 --states 1408 --indiv --header
#+END_SRC
......@@ -485,6 +494,7 @@ ls -sh bench/wta_Word,or_1,0,4_0.7_148*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Word,or' --symbols 1,0,4 --zero-frequency 0.7 --states 148
python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 1,0,4 --zero-frequency 0.7 --states 148 --indiv --header
#+END_SRC
......@@ -531,6 +541,7 @@ ls -sh bench/wta_Word,or_4,3,2_0.7_186*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Word,or' --symbols 4,3,2 --zero-frequency 0.7 --states 186
python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 4,3,2 --zero-frequency 0.7 --states 186 --indiv --header
#+END_SRC
......@@ -571,6 +582,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,0,3_0.7_11*
**** Automaton Size
#+BEGIN_SRC sh
python bench.py generate ../../copar/bin/random-wta --monoid 'Word,or' --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11
python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 0,0,0,0,0,3 --zero-frequency 0.7 --states 11 --indiv --header
#+END_SRC
......@@ -620,6 +632,7 @@ ls -sh bench/wta_powerset_0,8_0.7_1478*
**** Automaton size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,8 --zero-frequency 0.7 --states 1478
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,8 --zero-frequency 0.7 --states 1478 --indiv --header
#+end_src
......@@ -672,6 +685,7 @@ ls -sh bench/wta_powerset_0,8_t7415000__7415*
**** Automaton Size
#+begin_src sh :hlines yes
python bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,8 --transitions 7415000 --states 7415
python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,8 --transitions 7415000 --states 7415 --indiv --header
#+end_src
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment