wta: Complete preliminary results

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