Commit 5405ae58 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

wta: Add summary

parent e3fc7721
...@@ -696,6 +696,7 @@ We now use the following parameters: ...@@ -696,6 +696,7 @@ We now use the following parameters:
./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 ./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
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 12000... : Trying 12000...
: Trying 14000... : Trying 14000...
: Trying 15000... : Trying 15000...
...@@ -716,6 +717,7 @@ We now use the following parameters: ...@@ -716,6 +717,7 @@ We now use the following parameters:
ls -sh bench/wta_powerset_0,4_*__14281* ls -sh bench/wta_powerset_0,4_*__14281*
#+END_SRC #+END_SRC
#+NAME: power_1_500_file
#+RESULTS: #+RESULTS:
: 118M bench/wta_powerset_0,4_t7140500__14281_0.coalgebra : 118M bench/wta_powerset_0,4_t7140500__14281_0.coalgebra
...@@ -726,6 +728,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -726,6 +728,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 500 --states 14281 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 500 --states 14281 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_1_500
#+RESULTS: #+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 | | 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 | 7154781 | 14281000 | 6 | 10 | 2 | 0 | 155.635043092 | 50.511676534 | 103.239235361 | 30.135940008 | 61.445316625 | | 0 | 7154781 | 14281000 | 6 | 10 | 2 | 0 | 155.635043092 | 50.511676534 | 103.239235361 | 30.135940008 | 61.445316625 |
...@@ -740,6 +743,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -740,6 +743,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 20 --good 8000 --start-states 14281 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 20 --good 8000 --start-states 14281
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 14281... : Trying 14281...
: Trying 28562... : Trying 28562...
: Trying 57124... : Trying 57124...
...@@ -776,6 +780,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -776,6 +780,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 20 --states 355684 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 20 --states 355684 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_1_20
#+RESULTS: #+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 | | 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 | 7469364 | 14227360 | 6 | 1768728 | 355684 | 10883373 | 344.399732107 | 61.942569869 | 262.572157652 | 32.047148894 | 209.333188906 | | 0 | 7469364 | 14227360 | 6 | 1768728 | 355684 | 10883373 | 344.399732107 | 61.942569869 | 262.572157652 | 32.047148894 | 209.333188906 |
...@@ -790,6 +795,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -790,6 +795,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --good 130000 --bad 140000 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --good 130000 --bad 140000
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 135000... : Trying 135000...
: Trying 132500... : Trying 132500...
: Trying 131250... : Trying 131250...
...@@ -811,6 +817,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -811,6 +817,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
ls -sh bench/wta_powerset_0,4_*_132178_* ls -sh bench/wta_powerset_0,4_*_132178_*
#+END_SRC #+END_SRC
#+NAME: power_1_file
#+RESULTS: #+RESULTS:
: 117M bench/wta_powerset_0,4_t6608900__132178_0.coalgebra : 117M bench/wta_powerset_0,4_t6608900__132178_0.coalgebra
...@@ -820,6 +827,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_* ...@@ -820,6 +827,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --states 132178 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --states 132178 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_1
#+RESULTS: #+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 | | 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 | 6741078 | 13217800 | 6 | 660888 | 132178 | 9275215 | 263.557139582 | 53.134795016 | 197.899988998 | 33.273151066 | 153.369899287 | | 0 | 6741078 | 13217800 | 6 | 660888 | 132178 | 9275215 | 263.557139582 | 53.134795016 | 197.899988998 | 33.273151066 | 153.369899287 |
...@@ -830,6 +838,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_* ...@@ -830,6 +838,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --start-states 80000 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --start-states 80000
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 80000... : Trying 80000...
: Trying 160000... : Trying 160000...
: Trying 120000... : Trying 120000...
...@@ -857,6 +866,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_* ...@@ -857,6 +866,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_*
ls -sh bench/wta_powerset_0,0,4_*_98670_* ls -sh bench/wta_powerset_0,0,4_*_98670_*
#+END_SRC #+END_SRC
#+NAME: power_2_file
#+RESULTS: #+RESULTS:
: 123M bench/wta_powerset_0,0,4_t4933500__98670_0.coalgebra : 123M bench/wta_powerset_0,0,4_t4933500__98670_0.coalgebra
: 123M bench/wta_powerset_0,0,4_t4933500__98670_1.coalgebra : 123M bench/wta_powerset_0,0,4_t4933500__98670_1.coalgebra
...@@ -871,6 +881,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_* ...@@ -871,6 +881,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --states 98670 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --states 98670 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_2
#+RESULTS: #+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 | | 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 | 5032170 | 14800500 | 6 | 5031861 | 98670 | 11563672 | 320.579655827 | 46.524207289 | 261.58724583 | 31.537501676 | 213.989949977 | | 0 | 5032170 | 14800500 | 6 | 5031861 | 98670 | 11563672 | 320.579655827 | 46.524207289 | 261.58724583 | 31.537501676 | 213.989949977 |
...@@ -881,6 +892,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_* ...@@ -881,6 +892,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --start-states 60000 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --start-states 60000
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 60000... : Trying 60000...
: Trying 120000... : Trying 120000...
: Trying 90000... : Trying 90000...
...@@ -907,6 +919,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_* ...@@ -907,6 +919,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_*
ls -sh bench/wta_powerset_0,0,0,4_*_85017_* ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
#+END_SRC #+END_SRC
#+NAME: power_3_file
#+RESULTS: #+RESULTS:
: 138M bench/wta_powerset_0,0,0,4_t4250850__85017_0.coalgebra : 138M bench/wta_powerset_0,0,0,4_t4250850__85017_0.coalgebra
...@@ -917,6 +930,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_* ...@@ -917,6 +930,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_3
#+RESULTS: #+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 | | 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 | | 0 | 4335816 | 17003200 | 6 | 4335816 | 85016 | 11932210 | 261.096600392 | 47.614392976 | 203.643561011 | 20.446586332 | 167.587154416 |
...@@ -927,6 +941,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_* ...@@ -927,6 +941,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --start-states 48000 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --start-states 48000
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 48000... : Trying 48000...
: Trying 96000... : Trying 96000...
: Trying 72000... : Trying 72000...
...@@ -952,6 +967,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_* ...@@ -952,6 +967,7 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_* ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
#+END_SRC #+END_SRC
#+NAME: power_4_file
#+RESULTS: #+RESULTS:
: 119M bench/wta_powerset_0,0,0,0,4_t2979800__59596_0.coalgebra : 119M bench/wta_powerset_0,0,0,0,4_t2979800__59596_0.coalgebra
...@@ -962,6 +978,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_* ...@@ -962,6 +978,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_4
#+RESULTS: #+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 | | 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 | | 0 | 3039396 | 14899000 | 6 | 3039396 | 59596 | 13024716 | 200.034099951 | 41.065064963 | 152.485306449 | 25.383501709 | 121.316305478 |
...@@ -972,6 +989,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_* ...@@ -972,6 +989,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --start-states 40000 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --start-states 40000
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 40000... : Trying 40000...
: Trying 80000... : Trying 80000...
: Trying 60000... : Trying 60000...
...@@ -997,6 +1015,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_* ...@@ -997,6 +1015,7 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_* ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
#+END_SRC #+END_SRC
#+NAME: power_5_file
#+RESULTS: #+RESULTS:
: 116M bench/wta_powerset_0,0,0,0,0,4_t2468750__49375_0.coalgebra : 116M bench/wta_powerset_0,0,0,0,0,4_t2468750__49375_0.coalgebra
...@@ -1007,6 +1026,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_* ...@@ -1007,6 +1026,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --states 49375 --indiv --header ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --states 49375 --indiv --header
#+END_SRC #+END_SRC
#+NAME: power_5
#+RESULTS: #+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 | | 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 | | 0 | 2518125 | 14812500 | 6 | 2518125 | 49375 | 13940781 | 164.986249384 | 38.769441334 | 119.843574846 | 24.415685672 | 90.703821725 |
...@@ -1018,6 +1038,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_* ...@@ -1018,6 +1038,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 115000... : Trying 115000...
: Trying 107500... : Trying 107500...
: Trying 111250... : Trying 111250...
...@@ -1041,6 +1062,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_* ...@@ -1041,6 +1062,7 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
ls -sh bench/wta_Z,max_0,4_*_114888_* ls -sh bench/wta_Z,max_0,4_*_114888_*
#+END_SRC #+END_SRC
#+NAME: zmax_1_file
#+RESULTS: #+RESULTS:
: 122M bench/wta_Z,max_0,4_t5744400_50_114888_0.coalgebra : 122M bench/wta_Z,max_0,4_t5744400_50_114888_0.coalgebra
...@@ -1051,6 +1073,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_* ...@@ -1051,6 +1073,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_*
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 --indiv --header
#+END_SRC #+END_SRC
#+NAME: zmax_1
#+RESULTS: #+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 | | 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 | 5859288 | 11488800 | 416 | 574439 | 114888 | 6911761 | 181.011843864 | 58.957254337 | 111.080014285 | 34.573326846 | 66.278452727 | | 0 | 5859288 | 11488800 | 416 | 574439 | 114888 | 6911761 | 181.011843864 | 58.957254337 | 111.080014285 | 34.573326846 | 66.278452727 |
...@@ -1061,6 +1084,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_* ...@@ -1061,6 +1084,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 75000... : Trying 75000...
: Trying 87500... : Trying 87500...
: Trying 93750... : Trying 93750...
...@@ -1084,6 +1108,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_* ...@@ -1084,6 +1108,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_*
ls -sh bench/wta_Z,max_0,0,4_*_95287_* ls -sh bench/wta_Z,max_0,0,4_*_95287_*
#+END_SRC #+END_SRC
#+NAME: zmax_2_file
#+RESULTS: #+RESULTS:
: 136M bench/wta_Z,max_0,0,4_t4764350_50_95287_0.coalgebra : 136M bench/wta_Z,max_0,0,4_t4764350_50_95287_0.coalgebra
...@@ -1094,6 +1119,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_* ...@@ -1094,6 +1119,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_*
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --different-values 50 --states 95287 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --different-values 50 --states 95287 --indiv --header
#+END_SRC #+END_SRC
#+NAME: zmax_2
#+RESULTS: #+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 | | 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 | 4859637 | 14293050 | 404 | 4859343 | 95287 | 7100778 | 222.092892824 | 54.223932252 | 154.676164911 | 30.811423501 | 108.364036654 | | 0 | 4859637 | 14293050 | 404 | 4859343 | 95287 | 7100778 | 222.092892824 | 54.223932252 | 154.676164911 | 30.811423501 | 108.364036654 |
...@@ -1104,6 +1130,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_* ...@@ -1104,6 +1130,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 65735... : Trying 65735...
: Trying 69367... : Trying 69367...
: Trying 71183... : Trying 71183...
...@@ -1126,6 +1153,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_* ...@@ -1126,6 +1153,7 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_*
ls -sh bench/wta_Z,max_0,0,0,4_*_70660_* ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
#+END_SRC #+END_SRC
#+NAME: zmax_3_file
#+RESULTS: #+RESULTS:
: 127M bench/wta_Z,max_0,0,0,4_t3533000_50_70660_0.coalgebra : 127M bench/wta_Z,max_0,0,0,4_t3533000_50_70660_0.coalgebra
...@@ -1136,6 +1164,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_* ...@@ -1136,6 +1164,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 70660 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 70660 --indiv --header
#+END_SRC #+END_SRC
#+NAME: zmax_3
#+RESULTS: #+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 | | 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 | 3603660 | 14132000 | 397 | 3603660 | 70660 | 9226293 | 172.420794076 | 49.287429 | 115.080725376 | 25.88631871 | 82.245759651 | | 0 | 3603660 | 14132000 | 397 | 3603660 | 70660 | 9226293 | 172.420794076 | 49.287429 | 115.080725376 | 25.88631871 | 82.245759651 |
...@@ -1146,6 +1175,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_* ...@@ -1146,6 +1175,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 64090... : Trying 64090...
: Trying 59635... : Trying 59635...
: Trying 61862... : Trying 61862...
...@@ -1168,6 +1198,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_* ...@@ -1168,6 +1198,7 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_* ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
#+END_SRC #+END_SRC
#+NAME: zmax_4_file
#+RESULTS: #+RESULTS:
: 136M bench/wta_Z,max_0,0,0,0,4_t3133250_50_62665_0.coalgebra : 136M bench/wta_Z,max_0,0,0,0,4_t3133250_50_62665_0.coalgebra
...@@ -1178,6 +1209,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_* ...@@ -1178,6 +1209,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 62665 --indiv --header
#+END_SRC #+END_SRC
#+NAME: zmax_4
#+RESULTS: #+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 | | 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 | 3195915 | 15666250 | 397 | 3195915 | 62665 | 11627719 | 154.99753875 | 48.473165 | 98.758726744 | 26.2347205 | 66.312403669 | | 0 | 3195915 | 15666250 | 397 | 3195915 | 62665 | 11627719 | 154.99753875 | 48.473165 | 98.758726744 | 26.2347205 | 66.312403669 |
...@@ -1188,6 +1220,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_* ...@@ -1188,6 +1220,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 43000... : Trying 43000...
: Trying 49000... : Trying 49000...
: Trying 52000... : Trying 52000...
...@@ -1211,6 +1244,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_* ...@@ -1211,6 +1244,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_* ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
#+END_SRC #+END_SRC
#+NAME: zmax_5_file
#+RESULTS: #+RESULTS:
: 127M bench/wta_Z,max_0,0,0,0,0,4_t2496300_50_49926_0.coalgebra : 127M bench/wta_Z,max_0,0,0,0,0,4_t2496300_50_49926_0.coalgebra
...@@ -1221,6 +1255,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_* ...@@ -1221,6 +1255,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 49926 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 49926 --indiv --header
#+END_SRC #+END_SRC
#+NAME: zmax_5
#+RESULTS: #+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 | | 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 | 2546226 | 14977800 | 376 | 2546226 | 49926 | 11841832 | 129.05925319 | 44.887706321 | 78.246885415 | 20.851582498 | 52.50648174 | | 0 | 2546226 | 14977800 | 376 | 2546226 | 49926 | 11841832 | 129.05925319 | 44.887706321 | 78.246885415 | 20.851582498 | 52.50648174 |
...@@ -1232,6 +1267,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_* ...@@ -1232,6 +1267,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 115000... : Trying 115000...
: Trying 107500... : Trying 107500...
: Trying 111250... : Trying 111250...
...@@ -1255,6 +1291,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_* ...@@ -1255,6 +1291,7 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
ls -sh bench/wta_Word,or_0,4_*_113957_* ls -sh bench/wta_Word,or_0,4_*_113957_*
#+END_SRC #+END_SRC
#+NAME: wordor_1_file
#+RESULTS: #+RESULTS:
: 131M bench/wta_Word,or_0,4_t5697850_50_113957_0.coalgebra : 131M bench/wta_Word,or_0,4_t5697850_50_113957_0.coalgebra
...@@ -1265,6 +1302,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_* ...@@ -1265,6 +1302,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_*
./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --different-values 50 --states 113957 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --different-values 50 --states 113957 --indiv --header
#+END_SRC #+END_SRC
#+NAME: wordor_1
#+RESULTS: #+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 | | 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 | 5811807 | 11395700 | 54 | 569783 | 113957 | 11076343 | 223.763784071 | 61.587433127 | 152.359932717 | 32.126284469 | 109.721586786 | | 0 | 5811807 | 11395700 | 54 | 569783 | 113957 | 11076343 | 223.763784071 | 61.587433127 | 152.359932717 | 32.126284469 | 109.721586786 |
...@@ -1275,6 +1313,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_* ...@@ -1275,6 +1313,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,4 --out-degree 50 --bad 93001 --good 80000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,4 --out-degree 50 --bad 93001 --good 80000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 86500... : Trying 86500...
: Trying 89750... : Trying 89750...
: Trying 91375... : Trying 91375...
...@@ -1296,6 +1335,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_* ...@@ -1296,6 +1335,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_*
ls -sh bench/wta_Word,or_0,0,4_*_92434_* ls -sh bench/wta_Word,or_0,0,4_*_92434_*
#+END_SRC #+END_SRC
#+NAME: wordor_2_file
#+RESULTS: #+RESULTS:
: 141M bench/wta_Word,or_0,0,4_t4621700_50_92434_0.coalgebra : 141M bench/wta_Word,or_0,0,4_t4621700_50_92434_0.coalgebra
...@@ -1306,6 +1346,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_* ...@@ -1306,6 +1346,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_*
./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,4 --out-degree 50 --different-values 50 --states 92434 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,4 --out-degree 50 --different-values 50 --states 92434 --indiv --header
#+END_SRC #+END_SRC
#+NAME: wordor_2
#+RESULTS: #+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 | | 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 | 4714134 | 13865100 | 54 | 4713833 | 92434 | 13286924 | 258.308924373 | 55.730150301 | 184.86496102 | 31.15297126 | 144.089898137 | | 0 | 4714134 | 13865100 | 54 | 4713833 | 92434 | 13286924 | 258.308924373 | 55.730150301 | 184.86496102 | 31.15297126 | 144.089898137 |
...@@ -1316,6 +1357,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_* ...@@ -1316,6 +1357,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --good 67000 --bad 73000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --good 67000 --bad 73000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 70000... : Trying 70000...
: Trying 68500... : Trying 68500...
: Trying 69250... : Trying 69250...
...@@ -1337,6 +1379,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_* ...@@ -1337,6 +1379,7 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_*
ls -sh bench/wta_Word,or_0,0,0,4_*_69623_* ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
#+END_SRC #+END_SRC
#+NAME: wordor_3_file
#+RESULTS: #+RESULTS:
: 132M bench/wta_Word,or_0,0,0,4_t3481150_50_69623_0.coalgebra : 132M bench/wta_Word,or_0,0,0,4_t3481150_50_69623_0.coalgebra
...@@ -1347,6 +1390,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_* ...@@ -1347,6 +1390,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 69623 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,4 --out-degree 50 --different-values 50 --states 69623 --indiv --header
#+END_SRC #+END_SRC
#+NAME: wordor_3
#+RESULTS: #+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 | | 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 | 3550773 | 13924600 | 54 | 3550773 | 69623 | 13715478 | 217.684389256 | 49.986173123 | 159.050504019 | 25.229488197 | 127.060520493 | | 0 | 3550773 | 13924600 | 54 | 3550773 | 69623 | 13715478 | 217.684389256 | 49.986173123 | 159.050504019 | 25.229488197 | 127.060520493 |
...@@ -1357,6 +1401,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_* ...@@ -1357,6 +1401,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --bad 60001 --good 55000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --bad 60001 --good 55000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 57500... : Trying 57500...
: Trying 56250... : Trying 56250...
: Trying 56875... : Trying 56875...
...@@ -1377,6 +1422,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_* ...@@ -1377,6 +1422,7 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_* ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
#+END_SRC #+END_SRC
#+NAME: wordor_4_file
#+RESULTS: #+RESULTS:
: 130M bench/wta_Word,or_0,0,0,0,4_t2865950_50_57319_0.coalgebra : 130M bench/wta_Word,or_0,0,0,0,4_t2865950_50_57319_0.coalgebra
...@@ -1387,6 +1433,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_* ...@@ -1387,6 +1433,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 57319 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,4 --out-degree 50 --different-values 50 --states 57319 --indiv --header
#+END_SRC #+END_SRC
#+NAME: wordor_4
#+RESULTS: #+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 | | 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 | 2923269 | 14329750 | 54 | 2923269 | 57319 | 15469967 | 199.956928585 | 47.318311842 | 146.418279061 | 25.807646931 | 115.015762137 | | 0 | 2923269 | 14329750 | 54 | 2923269 | 57319 | 15469967 | 199.956928585 | 47.318311842 | 146.418279061 | 25.807646931 | 115.015762137 |
...@@ -1397,6 +1444,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_* ...@@ -1397,6 +1444,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --good 48000 --bad 52000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --good 48000 --bad 52000 --different-values 50
#+END_SRC #+END_SRC
#+RESULTS:
: Trying 50000... : Trying 50000...
: Trying 49000... : Trying 49000...
: Trying 48500... : Trying 48500...
...@@ -1417,6 +1465,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_* ...@@ -1417,6 +1465,7 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
ls -sh bench/wta_Word,or_0,0,0,0,0,4_*_48963_* ls -sh bench/wta_Word,or_0,0,0,0,0,4_*_48963_*
#+END_SRC #+END_SRC
#+NAME: wordor_5_file
#+RESULTS: #+RESULTS:
: 129M bench/wta_Word,or_0,0,0,0,0,4_t2448150_50_48963_0.coalgebra : 129M bench/wta_Word,or_0,0,0,0,0,4_t2448150_50_48963_0.coalgebra
...@@ -1429,6 +1478,52 @@ Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 4 ...@@ -1429,6 +1478,52 @@ Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 4
./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 48962 --indiv --header ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,0,0,0,0,4 --out-degree 50 --different-values 50 --states 48962 --indiv --header
#+END_SRC #+END_SRC
#+NAME: wordor_5
#+RESULTS: #+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 | | 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 | 2497062 | 14688600 | 54 | 2497062 | 48962 | 18284567 | 167.692238761 | 45.179623229 | 117.531354091 | 20.079035336 | 92.723851956 | | 0 | 2497062 | 14688600 | 54 | 2497062 | 48962 | 18284567 | 167.692238761 | 45.179623229 | 117.531354091 | 20.079035336 | 92.723851956 |
** Summary
*** 4xX
| Monoid | States | Edges | t_p | t_i | t_r |
|----------+---------+----------+-----------+-----------+-----------|
| powerset | 6741078 | 13217800 | 53.134795 | 33.273151 | 153.36990 |
| Z,max | 5859288 | 11488800 | 58.957254 | 34.573327 | 66.278453 |
| Word,or | 5811807 | 11395700 | 61.587433 | 32.126284 | 109.72159 |
#+TBLFM: @3$5=remote(zmax_1,@2$11)::@2$4=remote(power_1,@2$9)::@2$5=remote(power_1,@2$11)::@2$6=remote(power_1,@2$12)::@2$2=remote(power_1,@2$2)::@2$3=remote(power_1,@2$3)::@3$4=remote(zmax_1,@2$9)::@3$6=remote(zmax_1,@2$12)::@3$2=remote(zmax_1,@2$2)::@3$3=remote(zmax_1,@2$3)::@4$4=remote(wordor_1,@2$9)::@4$5=remote(wordor_1,@2$11)::@4$6=remote(wordor_1,@2$12)::@4$2=remote(wordor_1,@2$2)::@4$3=remote(wordor_1,@2$3)
*** 4xX^2
| Monoid | States | Edges | t_p | t_i | t_r |
|----------+---------+----------+-----------+-----------+-----------|
| powerset | 5032170 | 14800500 | 46.524207 | 31.537502 | 213.98995 |
| Z,max | 4859637 | 14293050 | 54.223932 | 30.811424 | 108.36404 |
| Word,or | 4714134 | 13865100 | 55.730150 | 31.152971 | 144.08990 |
#+TBLFM: @3$5=remote(zmax_2,@2$11)::@2$4=remote(power_2,@2$9)::@2$5=remote(power_2,@2$11)::@2$6=remote(power_2,@2$12)::@2$2=remote(power_2,@2$2)::@2$3=remote(power_2,@2$3)::@3$4=remote(zmax_2,@2$9)::@3$6=remote(zmax_2,@2$12)::@3$2=remote(zmax_2,@2$2)::@3$3=remote(zmax_2,@2$3)::@4$4=remote(wordor_2,@2$9)::@4$5=remote(wordor_2,@2$11)::@4$6=remote(wordor_2,@2$12)::@4$2=remote(wordor_2,@2$2)::@4$3=remote(wordor_2,@2$3)
*** 4xX^3
| Monoid | States | Edges | t_p | t_i | t_r |
|----------+---------+----------+-----------+-----------+-----------|
| powerset | 4335816 | 17003200 | 47.614393 | 20.446586 | 167.58715 |
| Z,max | 3603660 | 14132000 | 49.287429 | 25.886319 | 82.245760 |
| Word,or | 3550773 | 13924600 | 49.986173 | 25.229488 | 127.06052 |
#+TBLFM: @3$5=remote(zmax_3,@2$11)::@2$4=remote(power_3,@2$9)::@2$5=remote(power_3,@2$11)::@2$6=remote(power_3,@2$12)::@2$2=remote(power_3,@2$2)::@2$3=remote(power_3,@2$3)::@3$4=remote(zmax_3,@2$9)::@3$6=remote(zmax_3,@2$12)::@3$2=remote(zmax_3,@2$2)::@3$3=remote(zmax_3,@2$3)::@4$4=remote(wordor_3,@2$9)::@4$5=remote(wordor_3,@2$11)::@4$6=remote(wordor_3,@2$12)::@4$2=remote(wordor_3,@2$2)::@4$3=remote(wordor_3,@2$3)
*** 4xX^4
| Monoid | States | Edges | t_p | t_i | t_r |
|----------+---------+----------+-----------+-----------+-----------|
| powerset | 3039396 | 14899000 | 41.065065 | 25.383502 | 121.31631 |
| Z,max | 3195915 | 15666250 | 48.473165 | 26.234721 | 66.312404 |
| Word,or | 2923269 | 14329750 | 47.318312 | 25.807647 | 115.01576 |
#+TBLFM: @3$5=remote(zmax_4,@2$11)::@2$4=remote(power_4,@2$9)::@2$5=remote(power_4,@2$11)::@2$6=remote(power_4,@2$12)::@2$2=remote(power_4,@2$2)::@2$3=remote(power_4,@2$3)::@3$4=remote(zmax_4,@2$9)::@3$6=remote(zmax_4,@2$12)::@3$2=remote(zmax_4,@2$2)::@3$3=remote(zmax_4,@2$3)::@4$4=remote(wordor_4,@2$9)::@4$5=remote(wordor_4,@2$11)::@4$6=remote(wordor_4,@2$12)::@4$2=remote(wordor_4,@2$2)::@4$3=remote(wordor_4,@2$3)
*** 4xX^5
| Monoid | States | Edges | t_p | t_i | t_r |
|----------+---------+----------+-----------+-----------+-----------|
| powerset | 2518125 | 14812500 | 38.769441 | 24.415686 | 90.703822 |
| Z,max | 2546226 | 14977800 | 44.887706 | 20.851582 | 52.506482 |
| Word,or | 2497062 | 14688600 | 45.179623 | 20.079035 | 92.723852 |
#+TBLFM: @3$5=remote(zmax_5,@2$11)::@2$4=remote(power_5,@2$9)::@2$5=remote(power_5,@2$11)::@2$6=remote(power_5,@2$12)::@2$2=remote(power_5,@2$2)::@2$3=remote(power_5,@2$3)::@3$4=remote(zmax_5,@2$9)::@3$6=remote(zmax_5,@2$12)::@3$2=remote(zmax_5,@2$2)::@3$3=remote(zmax_5,@2$3)::@4$4=remote(wordor_5,@2$9)::@4$5=remote(wordor_5,@2$11)::@4$6=remote(wordor_5,@2$12)::@4$2=remote(wordor_5,@2$2)::@4$3=remote(wordor_5,@2$3)