diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 0eb448adceb31672b6f1599288bc1ebbbd821b60..577822d7d68b2b069968b0330bb3a59366d2ee3d 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 |