wta: Results of 4xX^5 for Z,max

wta/benchmarks.org

@@ -1120,3 +1120,14 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 49926...
 : Trying 49927...
 : First bad state count: 49927
+
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 49926
+./bench.py run ../../copar/bin/copar           --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 49926 --indiv --header
+#+END_SRC
+
+#+RESULTS:
+| i |  states |    edges | initial-partition-size | final-partition-size | explicit-final-partition-size | size1-skipped | overall-duration | parse-duration | algorithm-duration | initialize-duration | refine-duration |
+| 0 | 2546226 | 14977800 |                    376 |              2546226 |                         49926 |      11841832 |     129.05925319 |   44.887706321 |       78.246885415 |        20.851582498 |     52.50648174 |