From 44f77b89003df40d80796da433b6a2d021e5ce8c Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 17:05:24 +0200
Subject: [PATCH] wta: Results of 4xX for Z,max

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

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 68f0dc6..6ed2221 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -989,6 +989,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 
 **** Automaton Size
 
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888
+./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 --indiv --header
+#+END_SRC
+
+#+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 | 5859288 | 11488800 |                    416 |               574439 |                        114888 |       6911761 |    181.011843864 |   58.957254337 |      111.080014285 |        34.573326846 |    66.278452727 |
+
 *** 4xX^2 mit out-degree 50 und different-values 50
 
 #+BEGIN_SRC shell
-- 
GitLab