diff --git a/wta/benchmarks.org b/wta/benchmarks.org index c4435143207d8b452ae8a8a3690e171277bc93e3..d563d5ff1e166b0de010c1472d4f065753883673 100644 --- a/wta/benchmarks.org +++ b/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 |