diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 68f0dc660bac1b4662f7aa53fd1e2130e1fd900d..6ed2221411267de4f05b94ce2aff1517ad70f740 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -989,6 +989,15 @@ ls -sh bench/wta_powerset_0,4_*__14281* **** Automaton Size +#+BEGIN_SRC shell +./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 +./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 --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 | 5859288 | 11488800 | 416 | 574439 | 114888 | 6911761 | 181.011843864 | 58.957254337 | 111.080014285 | 34.573326846 | 66.278452727 | + *** 4xX^2 mit out-degree 50 und different-values 50 #+BEGIN_SRC shell