From 5405ae5892db9ef34606ebad5f30a55f0008e873 Mon Sep 17 00:00:00 2001 From: Hans-Peter Deifel <hpd@hpdeifel.de> Date: Thu, 11 Apr 2019 11:08:21 +0200 Subject: [PATCH] wta: Add summary --- wta/benchmarks.org | 95 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 95 insertions(+) diff --git a/wta/benchmarks.org b/wta/benchmarks.org index bd80659..0dc9695 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -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 #+END_SRC +#+RESULTS: : Trying 12000... : Trying 14000... : Trying 15000... @@ -716,6 +717,7 @@ We now use the following parameters: ls -sh bench/wta_powerset_0,4_*__14281* #+END_SRC +#+NAME: power_1_500_file #+RESULTS: : 118M bench/wta_powerset_0,4_t7140500__14281_0.coalgebra @@ -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 #+END_SRC +#+NAME: power_1_500 #+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 | 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* ./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 +#+RESULTS: : Trying 14281... : Trying 28562... : Trying 57124... @@ -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 #+END_SRC +#+NAME: power_1_20 #+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 | 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* ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --good 130000 --bad 140000 #+END_SRC +#+RESULTS: : Trying 135000... : Trying 132500... : Trying 131250... @@ -811,6 +817,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ls -sh bench/wta_powerset_0,4_*_132178_* #+END_SRC +#+NAME: power_1_file #+RESULTS: : 117M bench/wta_powerset_0,4_t6608900__132178_0.coalgebra @@ -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 #+END_SRC +#+NAME: power_1 #+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 | 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_* ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --start-states 80000 #+END_SRC +#+RESULTS: : Trying 80000... : Trying 160000... : Trying 120000... @@ -857,6 +866,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_* ls -sh bench/wta_powerset_0,0,4_*_98670_* #+END_SRC +#+NAME: power_2_file #+RESULTS: : 123M bench/wta_powerset_0,0,4_t4933500__98670_0.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_* ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,4 --out-degree 50 --states 98670 --indiv --header #+END_SRC +#+NAME: power_2 #+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 | 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_* ./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 +#+RESULTS: : Trying 60000... : Trying 120000... : Trying 90000... @@ -907,6 +919,7 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_* ls -sh bench/wta_powerset_0,0,0,4_*_85017_* #+END_SRC +#+NAME: power_3_file #+RESULTS: : 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_* ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,4 --out-degree 50 --states 85016 --indiv --header #+END_SRC +#+NAME: power_3 #+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 | @@ -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 #+END_SRC +#+RESULTS: : Trying 48000... : Trying 96000... : Trying 72000... @@ -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_* #+END_SRC +#+NAME: power_4_file #+RESULTS: : 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_* ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,4 --out-degree 50 --states 59596 --indiv --header #+END_SRC +#+NAME: power_4 #+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 | @@ -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 #+END_SRC +#+RESULTS: : Trying 40000... : Trying 80000... : Trying 60000... @@ -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_* #+END_SRC +#+NAME: power_5_file #+RESULTS: : 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_* ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,4 --out-degree 50 --states 49375 --indiv --header #+END_SRC +#+NAME: power_5 #+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 | @@ -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 #+END_SRC +#+RESULTS: : Trying 115000... : Trying 107500... : Trying 111250... @@ -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_* #+END_SRC +#+NAME: zmax_1_file #+RESULTS: : 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_* ./bench.py run ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --different-values 50 --states 114888 --indiv --header #+END_SRC +#+NAME: zmax_1 #+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 | 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_* ./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 +#+RESULTS: : Trying 75000... : Trying 87500... : Trying 93750... @@ -1084,6 +1108,7 @@ ls -sh bench/wta_Z,max_0,4_*_114888_* ls -sh bench/wta_Z,max_0,0,4_*_95287_* #+END_SRC +#+NAME: zmax_2_file #+RESULTS: : 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_* ./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 +#+NAME: zmax_2 #+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 | 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_* ./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 +#+RESULTS: : Trying 65735... : Trying 69367... : Trying 71183... @@ -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_* #+END_SRC +#+NAME: zmax_3_file #+RESULTS: : 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_* ./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 +#+NAME: zmax_3 #+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 | 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_* ./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 +#+RESULTS: : Trying 64090... : Trying 59635... : Trying 61862... @@ -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_* #+END_SRC +#+NAME: zmax_4_file #+RESULTS: : 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_* ./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 +#+NAME: zmax_4 #+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 | 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_* ./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 +#+RESULTS: : Trying 43000... : Trying 49000... : Trying 52000... @@ -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_* #+END_SRC +#+NAME: zmax_5_file #+RESULTS: : 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_* ./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 +#+NAME: zmax_5 #+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 | 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_* ./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 +#+RESULTS: : Trying 115000... : Trying 107500... : Trying 111250... @@ -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_* #+END_SRC +#+NAME: wordor_1_file #+RESULTS: : 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_* ./bench.py run ../../copar/bin/copar --monoid Word,or --symbols 0,4 --out-degree 50 --different-values 50 --states 113957 --indiv --header #+END_SRC +#+NAME: wordor_1 #+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 | 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_* ./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 +#+RESULTS: : Trying 86500... : Trying 89750... : Trying 91375... @@ -1296,6 +1335,7 @@ ls -sh bench/wta_Word,or_0,4_*_113957_* ls -sh bench/wta_Word,or_0,0,4_*_92434_* #+END_SRC +#+NAME: wordor_2_file #+RESULTS: : 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_* ./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 +#+NAME: wordor_2 #+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 | 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_* ./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 +#+RESULTS: : Trying 70000... : Trying 68500... : Trying 69250... @@ -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_* #+END_SRC +#+NAME: wordor_3_file #+RESULTS: : 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_* ./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 +#+NAME: wordor_3 #+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 | 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_* ./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 +#+RESULTS: : Trying 57500... : Trying 56250... : Trying 56875... @@ -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_* #+END_SRC +#+NAME: wordor_4_file #+RESULTS: : 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_* ./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 +#+NAME: wordor_4 #+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 | 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_* ./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 +#+RESULTS: : Trying 50000... : Trying 49000... : Trying 48500... @@ -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_* #+END_SRC +#+NAME: wordor_5_file #+RESULTS: : 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 ./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 +#+NAME: wordor_5 #+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 | 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) -- GitLab