From c3bbb4c72be92cd222e5cdff055062703fdbdaec Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 10 Apr 2019 11:06:30 +0200
Subject: [PATCH] wta: powerset X^3
---
wta/benchmarks.org | 14 ++++++++++++--
1 file changed, 12 insertions(+), 2 deletions(-)
diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 26c0f6e..3db8460 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -686,12 +686,11 @@ python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,8 --tran
We now use the following parameters:
-- out-degree :: 500
- Signature :: 4×X^k k ∈ { 0, ..., 5 }
- GHC :: 8.4.4
** Powerset
-*** 4xX
+*** 4xX mit out-degree 500
#+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 500 --good 8000 --start-states 12000 --bad 16000
@@ -881,6 +880,17 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 85017...
: First bad state count: 85018
+**** Automaton Size
+
+#+BEGIN_SRC shell
+./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016
+./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016 --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 | 4335816 | 17003200 | 6 | 4335816 | 85016 | 11932210 | 261.096600392 | 47.614392976 | 203.643561011 | 20.446586332 | 167.587154416 |
+
*** 4xX^4 mit out-degree 50
#+BEGIN_SRC shell
--
GitLab