diff --git a/wta/benchmarks.org b/wta/benchmarks.org index d563d5ff1e166b0de010c1472d4f065753883673..c26407e5f8a448a0492ea1dbe3b87f7d3299e1ec 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -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 +