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

wta: Preliminary results for Word,or

parent 1114c0ac
......@@ -1131,3 +1131,81 @@ ls -sh bench/wta_powerset_0,4_*__14281*
#+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 |
** Word,or
*** 4xX mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50
#+END_SRC
: Trying 115000...
: Trying 107500...
: Trying 111250...
: Trying 113125...
: Trying 114062...
: Trying 113593...
: Trying 113827...
: Trying 113944...
: Trying 114003...
: Trying 113973...
: Trying 113958...
: Trying 113951...
: Trying 113954...
: Trying 113956...
: Trying 113957...
: First bad state count: 113958
*** TODO 4xX^2 mit out-degree und different-values 50
#+BEGIN_SRC shell
#+END_SRC
*** 4xX^3 mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --good 67000 --bad 73000 --different-values 50
#+END_SRC
: Trying 70000...
: Trying 68500...
: Trying 69250...
: Trying 69625...
: Trying 69437...
: Trying 69531...
: Trying 69578...
: Trying 69601...
: Trying 69613...
: Trying 69619...
: Trying 69622...
: Trying 69623...
: Trying 69624...
: First bad state count: 69624
*** TODO 4xX^4 mit out-degree und different-values 50
#+BEGIN_SRC shell
#+END_SRC
*** 4xX^5 mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --good 48000 --bad 52000 --different-values 50
#+END_SRC
: Trying 50000...
: Trying 49000...
: Trying 48500...
: Trying 48750...
: Trying 48875...
: Trying 48937...
: Trying 48968...
: Trying 48952...
: Trying 48960...
: Trying 48964...
: Trying 48962...
: Trying 48963...
: First bad state count: 48964
Supports Markdown
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