From c1942cc04e0c46d66fcbae199aaa275a403711b1 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 11:18:43 +0200
Subject: [PATCH] wta: powerset X^5

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

diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 0eb448a..577822d 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -951,3 +951,14 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 49377...
 : Trying 49376...
 : First bad state count: 49376
+
+**** Automaton Size 
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --states 49375
+./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --states 49375 --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 | 2518125 | 14812500 |                      6 |              2518125 |                         49375 |      13940781 |    164.986249384 |   38.769441334 |      119.843574846 |        24.415685672 |    90.703821725 |
-- 
GitLab