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

wta: First bisecting with Z,max

parent c1942cc0
...@@ -962,3 +962,27 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -962,3 +962,27 @@ ls -sh bench/wta_powerset_0,4_*__14281*
#+RESULTS: #+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 | | 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 | 2518125 | 14812500 | 6 | 2518125 | 49375 | 13940781 | 164.986249384 | 38.769441334 | 119.843574846 | 24.415685672 | 90.703821725 | | 0 | 2518125 | 14812500 | 6 | 2518125 | 49375 | 13940781 | 164.986249384 | 38.769441334 | 119.843574846 | 24.415685672 | 90.703821725 |
*** Z,max
**** 4xX mit out-degree 50 und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --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 114531...
: Trying 114765...
: Trying 114882...
: Trying 114941...
: Trying 114911...
: Trying 114896...
: Trying 114889...
: Trying 114885...
: Trying 114887...
: Trying 114888...
: First bad state count: 114889
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