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

wta/benchmarks.org

@@ -1054,6 +1054,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 70661...
 : First bad state count: 70661
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 70660
+./bench.py run ../../copar/bin/copar           --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 70660 --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 | 3603660 | 14132000 |                    397 |              3603660 |                         70660 |       9226293 |    172.420794076 |      49.287429 |      115.080725376 |         25.88631871 |    82.245759651 |
+
 *** 4xX^4 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell