diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 577822d7d68b2b069968b0330bb3a59366d2ee3d..c3639bdcf7a2a15df6f72738626ceb48ddf28e6e 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -962,3 +962,27 @@ 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 | 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