wta: Complete Word,or data

wta/benchmarks.org

@@ -1156,6 +1156,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 113957...
 : First bad state count: 113958
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Word,or --symbols 0,4 --out-degree 50 --different-values 50 --states 113957
+./bench.py run ../../copar/bin/copar           --monoid Word,or --symbols 0,4 --out-degree 50 --different-values 50 --states 113957 --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 | 5811807 | 11395700 |                     54 |               569783 |                        113957 |      11076343 |    223.763784071 |   61.587433127 |      152.359932717 |        32.126284469 |   109.721586786 |
+
 *** 4xX^2 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
@@ -1177,6 +1188,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 92435...
 : First bad state count: 92435
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Word,or --symbols 0,0,4 --out-degree 50 --different-values 50 --states 92434
+./bench.py run ../../copar/bin/copar           --monoid Word,or --symbols 0,0,4 --out-degree 50 --different-values 50 --states 92434 --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 | 4714134 | 13865100 |                     54 |              4713833 |                         92434 |      13286924 |    258.308924373 |   55.730150301 |       184.86496102 |         31.15297126 |   144.089898137 |
+
 *** 4xX^3 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
@@ -1198,6 +1220,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 69624...
 : First bad state count: 69624
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 69623
+./bench.py run ../../copar/bin/copar           --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 69623 --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 | 3550773 | 13924600 |                     54 |              3550773 |                         69623 |      13715478 |    217.684389256 |   49.986173123 |      159.050504019 |        25.229488197 |   127.060520493 |
+
 *** 4xX^4 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
@@ -1218,6 +1251,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 57319...
 : First bad state count: 57320
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 57319
+./bench.py run ../../copar/bin/copar           --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 57319 --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 | 2923269 | 14329750 |                     54 |              2923269 |                         57319 |      15469967 |    199.956928585 |   47.318311842 |      146.418279061 |        25.807646931 |   115.015762137 |
+
 
 *** 4xX^5 mit out-degree und different-values 50
 
@@ -1239,3 +1283,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 48963...
 : First bad state count: 48964
 
+**** Automaton Size
+
+Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 48962
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 48962
+./bench.py run ../../copar/bin/copar           --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 48962 --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 | 2497062 | 14688600 |                     54 |              2497062 |                         48962 |      18284567 |    167.692238761 |   45.179623229 |      117.531354091 |        20.079035336 |    92.723851956 |