diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 8c078b921be771d23aba91981514f8753f1839dd..c4435143207d8b452ae8a8a3690e171277bc93e3 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -1087,6 +1087,17 @@ ls -sh bench/wta_powerset_0,4_*__14281* : Trying 62665... : First bad state count: 62666 +**** Automaton Size + +#+BEGIN_SRC shell +./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665 +./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665 --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 | 3195915 | 15666250 | 397 | 3195915 | 62665 | 11627719 | 154.99753875 | 48.473165 | 98.758726744 | 26.2347205 | 66.312403669 | + *** 4xX^5 mit out-degree und different-values 50 #+BEGIN_SRC shell