Commit c6147017 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

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

parent 44f77b89
......@@ -1021,6 +1021,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 95288...
: First bad state count: 95288
**** Automaton Size
#+BEGIN_SRC shell
./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,0,4 --out-degree 50 --different-values 50 --states 95287
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --different-values 50 --states 95287 --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 | 4859637 | 14293050 | 404 | 4859343 | 95287 | 7100778 | 222.092892824 | 54.223932252 | 154.676164911 | 30.811423501 | 108.364036654 |
*** 4xX^3 mit out-degree und different-values 50
#+BEGIN_SRC shell
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment