From b275cc0f4fd0c28010a0d0074e53ccd2f143080a Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 12:29:28 +0200
Subject: [PATCH] wta: First bisecting with Z,max

---
 wta/benchmarks.org | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 577822d..c3639bd 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
-- 
GitLab