wta: powerset X^4

wta/benchmarks.org

@@ -916,6 +916,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 59596...
 : First bad state count: 59596
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596
+./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596 --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 | 3039396 | 14899000 |                      6 |              3039396 |                         59596 |      13024716 |    200.034099951 |   41.065064963 |      152.485306449 |        25.383501709 |   121.316305478 |
+
 *** 4xX^5 mit out-degree 50
 
 #+BEGIN_SRC shell