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

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

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 8c078b9..c443514 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -1087,6 +1087,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 62665...
 : First bad state count: 62666
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665
+./bench.py run ../../copar/bin/copar           --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665 --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 | 3195915 | 15666250 |                    397 |              3195915 |                         62665 |      11627719 |     154.99753875 |      48.473165 |       98.758726744 |          26.2347205 |    66.312403669 |
+
 *** 4xX^5 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
-- 
GitLab