From 588ce894fce8deddcdc752cd80fa44ae95350982 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 23:12:50 +0200
Subject: [PATCH] wta: Complete preliminary results

---
 wta/benchmarks.org | 40 +++++++++++++++++++++++++++++++++++-----
 1 file changed, 35 insertions(+), 5 deletions(-)

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index c26407e..88a177d 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -1156,11 +1156,26 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 113957...
 : First bad state count: 113958
 
-*** TODO 4xX^2 mit out-degree und different-values 50
+*** 4xX^2 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
-
-#+END_SRC
+./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,4 --out-degree 50 --bad 93001 --good 80000 --different-values 50
+#+END_SRC
+
+: Trying 86500...
+: Trying 89750...
+: Trying 91375...
+: Trying 92188...
+: Trying 92594...
+: Trying 92391...
+: Trying 92492...
+: Trying 92441...
+: Trying 92416...
+: Trying 92428...
+: Trying 92434...
+: Trying 92437...
+: Trying 92435...
+: First bad state count: 92435
 
 *** 4xX^3 mit out-degree und different-values 50
 
@@ -1183,11 +1198,26 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 69624...
 : First bad state count: 69624
 
-*** TODO 4xX^4 mit out-degree und different-values 50
+*** 4xX^4 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,4 --out-degree 50 --bad 60001 --good 55000 --different-values 50
+#+END_SRC
+
+: Trying 57500...
+: Trying 56250...
+: Trying 56875...
+: Trying 57187...
+: Trying 57343...
+: Trying 57265...
+: Trying 57304...
+: Trying 57323...
+: Trying 57313...
+: Trying 57318...
+: Trying 57320...
+: Trying 57319...
+: First bad state count: 57320
 
-#+END_SRC
 
 *** 4xX^5 mit out-degree und different-values 50
 
-- 
GitLab