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