diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index d03f756b4c09d4193a6fc713678cf9ff7174c0f0..a72b8a117524c55b9f8efd15acba83b5c1f48577 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -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