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

wta: Preliminary results for Z,max

parent b275cc0f
...@@ -986,3 +986,93 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -986,3 +986,93 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 114887... : Trying 114887...
: Trying 114888... : Trying 114888...
: First bad state count: 114889 : First bad state count: 114889
**** 4xX^2 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,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50
#+END_SRC
: Trying 75000...
: Trying 87500...
: Trying 93750...
: Trying 96875...
: Trying 95312...
: Trying 94531...
: Trying 94921...
: Trying 95116...
: Trying 95214...
: Trying 95263...
: Trying 95287...
: Trying 95299...
: Trying 95293...
: Trying 95290...
: Trying 95288...
: First bad state count: 95288
**** 4xX^3 mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50
#+END_SRC
: Trying 65735...
: Trying 69367...
: Trying 71183...
: Trying 70275...
: Trying 70729...
: Trying 70502...
: Trying 70615...
: Trying 70672...
: Trying 70643...
: Trying 70657...
: Trying 70664...
: Trying 70660...
: Trying 70662...
: Trying 70661...
: First bad state count: 70661
**** 4xX^4 mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50
#+END_SRC
: Trying 64090...
: Trying 59635...
: Trying 61862...
: Trying 62976...
: Trying 62419...
: Trying 62697...
: Trying 62558...
: Trying 62627...
: Trying 62662...
: Trying 62679...
: Trying 62670...
: Trying 62666...
: Trying 62664...
: Trying 62665...
: First bad state count: 62666
**** 4xX^5 mit out-degree und different-values 50
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50
#+END_SRC
: Trying 43000...
: Trying 49000...
: Trying 52000...
: Trying 50500...
: Trying 49750...
: Trying 50125...
: Trying 49937...
: Trying 49843...
: Trying 49890...
: Trying 49913...
: Trying 49925...
: Trying 49931...
: Trying 49928...
: Trying 49926...
: Trying 49927...
: First bad state count: 49927
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