From 2992076bee4618e1f2ee5782c400d6d38072cef5 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 11:12:35 +0200
Subject: [PATCH] wta: powerset X^4

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

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 3db8460..0eb448a 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -916,6 +916,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 59596...
 : First bad state count: 59596
 
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596
+./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596 --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 | 3039396 | 14899000 |                      6 |              3039396 |                         59596 |      13024716 |    200.034099951 |   41.065064963 |      152.485306449 |        25.383501709 |   121.316305478 |
+
 *** 4xX^5 mit out-degree 50
 
 #+BEGIN_SRC shell
-- 
GitLab