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

wta: powerset X^3

parent d647ff0c
......@@ -686,12 +686,11 @@ python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,8 --tran
We now use the following parameters:
- out-degree :: 500
- Signature :: 4×X^k k ∈ { 0, ..., 5 }
- GHC :: 8.4.4
** Powerset
*** 4xX
*** 4xX mit out-degree 500
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 500 --good 8000 --start-states 12000 --bad 16000
......@@ -881,6 +880,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 85017...
: First bad state count: 85018
**** Automaton Size
#+BEGIN_SRC shell
./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016 --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 | 4335816 | 17003200 | 6 | 4335816 | 85016 | 11932210 | 261.096600392 | 47.614392976 | 203.643561011 | 20.446586332 | 167.587154416 |
*** 4xX^4 mit out-degree 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