diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 26cf98e5705d508b4fe1fd5f24b45ba30d42359c..68cc7237663655d2a4de5750248440f4f3f5f470 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -836,6 +836,7 @@ ls -sh bench/wta_powerset_0,4_*_132178_* | tr " ," ",." ./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --states 132177 --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 | 6741027 | 13217700 | 6 | 660882 | 132177 | 9323005 | 265.849947508 | 53.024255888 | 200.012469965 | 32.711091055 | 156.049078211 | @@ -844,9 +845,6 @@ ls -sh bench/wta_powerset_0,4_*_132178_* | tr " ," ",." | 3 | 6741027 | 13217700 | 6 | 660882 | 132177 | 9287608 | 266.57863175 | 53.338030998 | 200.492577153 | 33.341400299 | 155.694877544 | | 4 | 6741027 | 13217700 | 6 | 660884 | 132177 | 9347998 | 265.39360727 | 52.816564437 | 199.812521066 | 33.25935421 | 155.166041015 | -#+NAME: power_1 -#+RESULTS: - *** 4xX^2 mit out-degree 50 #+BEGIN_SRC shell @@ -1504,45 +1502,45 @@ Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 4 ** Summary *** 4xX -| Monoid | States | States+Interm. | Edges | init part | final part | t_p | t_i | t_r | -|----------+--------+----------------+----------+-----------+------------+-----------+-----------+-----------| -| powerset | 132178 | 6741078 | 13217800 | 6 | 132178 | 53.134795 | 33.273151 | 153.36990 | -| Z,max | 114888 | 5859288 | 11488800 | 416 | 114888 | 58.957254 | 34.573327 | 66.278453 | -| Word,or | 113957 | 5811807 | 11395700 | 54 | 113957 | 61.587433 | 32.126284 | 109.72159 | -#+TBLFM: $2=$3/51::@2$3=remote(power_1,@2$2)::@2$4=remote(power_1,@2$3)::@2$5=remote(power_1, @2$4)::@2$6=remote(power_1, @2$6)::@2$7=remote(power_1,@2$9)::@2$8=remote(power_1,@2$11)::@2$9=remote(power_1,@2$12)::@3$3=remote(zmax_1,@2$2)::@3$4=remote(zmax_1,@2$3)::@3$5=remote(zmax_1, @2$4)::@3$6=remote(zmax_1, @2$6)::@3$7=remote(zmax_1,@2$9)::@3$8=remote(zmax_1,@2$11)::@3$9=remote(zmax_1,@2$12)::@4$3=remote(wordor_1,@2$2)::@4$4=remote(wordor_1,@2$3)::@4$5=remote(wordor_1, @2$4)::@4$6=remote(wordor_1, @2$6)::@4$7=remote(wordor_1,@2$9)::@4$8=remote(wordor_1,@2$11)::@4$9=remote(wordor_1,@2$12) +| Monoid | States | States+Interm. | Edges | File Size | init part | final part | t_p | t_i | t_r | +|----------+--------+----------------+----------+-----------+-----------+------------+-----------+-----------+-----------| +| powerset | 132177 | 6741027 | 13217700 | 117 M | 6 | 132177 | 53.024256 | 32.711091 | 156.04908 | +| Z,max | 114888 | 5859288 | 11488800 | 122 M | 416 | 114888 | 58.957254 | 34.573327 | 66.278453 | +| Word,or | 113957 | 5811807 | 11395700 | 131 M | 54 | 113957 | 61.587433 | 32.126284 | 109.72159 | +#+TBLFM: $2=$3/51::@2$3=remote(power_1,@2$2)::@2$4=remote(power_1,@2$3)::@2$5=remote(power_1_file,@1$1)::@2$6=remote(power_1, @2$4)::@2$7=remote(power_1, @2$6)::@2$8=remote(power_1,@2$9)::@2$9=remote(power_1,@2$11)::@2$10=remote(power_1,@2$12)::@3$3=remote(zmax_1,@2$2)::@3$4=remote(zmax_1,@2$3)::@3$5=remote(zmax_1_file,@1$1)::@3$6=remote(zmax_1, @2$4)::@3$7=remote(zmax_1, @2$6)::@3$8=remote(zmax_1,@2$9)::@3$9=remote(zmax_1,@2$11)::@3$10=remote(zmax_1,@2$12)::@4$3=remote(wordor_1,@2$2)::@4$4=remote(wordor_1,@2$3)::@4$5=remote(wordor_1_file,@1$1)::@4$6=remote(wordor_1, @2$4)::@4$7=remote(wordor_1, @2$6)::@4$8=remote(wordor_1,@2$9)::@4$9=remote(wordor_1,@2$11)::@4$10=remote(wordor_1,@2$12) *** 4xX^2 -| Monoid | States | States+Interm. | Edges | init part | final part | t_p | t_i | t_r | -|----------+--------+----------------+----------+-----------+------------+-----------+-----------+-----------| -| powerset | 98670 | 5032170 | 14800500 | 6 | 98670 | 46.524207 | 31.537502 | 213.98995 | -| Z,max | 95287 | 4859637 | 14293050 | 404 | 95287 | 54.223932 | 30.811424 | 108.36404 | -| Word,or | 92434 | 4714134 | 13865100 | 54 | 92434 | 55.730150 | 31.152971 | 144.08990 | -#+TBLFM: $2=$3/51::@2$3=remote(power_2,@2$2)::@2$4=remote(power_2,@2$3)::@2$5=remote(power_2, @2$4)::@2$6=remote(power_2, @2$6)::@2$7=remote(power_2,@2$9)::@2$8=remote(power_2,@2$11)::@2$9=remote(power_2,@2$12)::@3$3=remote(zmax_2,@2$2)::@3$4=remote(zmax_2,@2$3)::@3$5=remote(zmax_2, @2$4)::@3$6=remote(zmax_2, @2$6)::@3$7=remote(zmax_2,@2$9)::@3$8=remote(zmax_2,@2$11)::@3$9=remote(zmax_2,@2$12)::@4$3=remote(wordor_2,@2$2)::@4$4=remote(wordor_2,@2$3)::@4$5=remote(wordor_2, @2$4)::@4$6=remote(wordor_2, @2$6)::@4$7=remote(wordor_2,@2$9)::@4$8=remote(wordor_2,@2$11)::@4$9=remote(wordor_2,@2$12) - -*** 4xX^3 - -| Monoid | States | States+Interm. | Edges | init part | final part | t_p | t_i | t_r | -|----------+--------+----------------+----------+-----------+------------+-----------+-----------+-----------| -| powerset | 85016 | 4335816 | 17003200 | 6 | 85016 | 47.614393 | 20.446586 | 167.58715 | -| Z,max | 70660 | 3603660 | 14132000 | 397 | 70660 | 49.287429 | 25.886319 | 82.245760 | -| Word,or | 69623 | 3550773 | 13924600 | 54 | 69623 | 49.986173 | 25.229488 | 127.06052 | -#+TBLFM: $2=$3/51::@2$3=remote(power_3,@2$2)::@2$4=remote(power_3,@2$3)::@2$5=remote(power_3, @2$4)::@2$6=remote(power_3, @2$6)::@2$7=remote(power_3,@2$9)::@2$8=remote(power_3,@2$11)::@2$9=remote(power_3,@2$12)::@3$3=remote(zmax_3,@2$2)::@3$4=remote(zmax_3,@2$3)::@3$5=remote(zmax_3, @2$4)::@3$6=remote(zmax_3, @2$6)::@3$7=remote(zmax_3,@2$9)::@3$8=remote(zmax_3,@2$11)::@3$9=remote(zmax_3,@2$12)::@4$3=remote(wordor_3,@2$2)::@4$4=remote(wordor_3,@2$3)::@4$5=remote(wordor_3, @2$4)::@4$6=remote(wordor_3, @2$6)::@4$7=remote(wordor_3,@2$9)::@4$8=remote(wordor_3,@2$11)::@4$9=remote(wordor_3,@2$12) - -*** 4xX^4 - -| Monoid | States | States+Interm. | Edges | init part | final part | t_p | t_i | t_r | -|----------+--------+----------------+----------+-----------+------------+-----------+-----------+-----------| -| powerset | 59596 | 3039396 | 14899000 | 6 | 59596 | 41.065065 | 25.383502 | 121.31631 | -| Z,max | 62665 | 3195915 | 15666250 | 397 | 62665 | 48.473165 | 26.234721 | 66.312404 | -| Word,or | 57319 | 2923269 | 14329750 | 54 | 57319 | 47.318312 | 25.807647 | 115.01576 | -#+TBLFM: $2=$3/51::@2$3=remote(power_4,@2$2)::@2$4=remote(power_4,@2$3)::@2$5=remote(power_4, @2$4)::@2$6=remote(power_4, @2$6)::@2$7=remote(power_4,@2$9)::@2$8=remote(power_4,@2$11)::@2$9=remote(power_4,@2$12)::@3$3=remote(zmax_4,@2$2)::@3$4=remote(zmax_4,@2$3)::@3$5=remote(zmax_4, @2$4)::@3$6=remote(zmax_4, @2$6)::@3$7=remote(zmax_4,@2$9)::@3$8=remote(zmax_4,@2$11)::@3$9=remote(zmax_4,@2$12)::@4$3=remote(wordor_4,@2$2)::@4$4=remote(wordor_4,@2$3)::@4$5=remote(wordor_4, @2$4)::@4$6=remote(wordor_4, @2$6)::@4$7=remote(wordor_4,@2$9)::@4$8=remote(wordor_4,@2$11)::@4$9=remote(wordor_4,@2$12) - -*** 4xX^5 - -| Monoid | States | States+Interm. | Edges | init part | final part | t_p | t_i | t_r | -|----------+--------+----------------+----------+-----------+------------+-----------+-----------+-----------| -| powerset | 49375 | 2518125 | 14812500 | 6 | 49375 | 38.769441 | 24.415686 | 90.703822 | -| Z,max | 49926 | 2546226 | 14977800 | 376 | 49926 | 44.887706 | 20.851582 | 52.506482 | -| Word,or | 48962 | 2497062 | 14688600 | 54 | 48962 | 45.179623 | 20.079035 | 92.723852 | -#+TBLFM: $2=$3/51::@2$3=remote(power_5,@2$2)::@2$4=remote(power_5,@2$3)::@2$5=remote(power_5, @2$4)::@2$6=remote(power_5, @2$6)::@2$7=remote(power_5,@2$9)::@2$8=remote(power_5,@2$11)::@2$9=remote(power_5,@2$12)::@3$3=remote(zmax_5,@2$2)::@3$4=remote(zmax_5,@2$3)::@3$5=remote(zmax_5, @2$4)::@3$6=remote(zmax_5, @2$6)::@3$7=remote(zmax_5,@2$9)::@3$8=remote(zmax_5,@2$11)::@3$9=remote(zmax_5,@2$12)::@4$3=remote(wordor_5,@2$2)::@4$4=remote(wordor_5,@2$3)::@4$5=remote(wordor_5, @2$4)::@4$6=remote(wordor_5, @2$6)::@4$7=remote(wordor_5,@2$9)::@4$8=remote(wordor_5,@2$11)::@4$9=remote(wordor_5,@2$12) +| Monoid | States | States+Interm. | Edges | File Size | init part | final part | t_p | t_i | t_r | +|----------+--------+----------------+----------+-----------+-----------+------------+-----------+-----------+-----------| +| powerset | 98670 | 5032170 | 14800500 | 123 M | 6 | 98670 | 46.231443 | 31.400596 | 212.32322 | +| Z,max | 95287 | 4859637 | 14293050 | 136 M | 404 | 95287 | 54.223932 | 30.811424 | 108.36404 | +| Word,or | 92434 | 4714134 | 13865100 | 141 M | 54 | 92434 | 55.730150 | 31.152971 | 144.08990 | +#+TBLFM: $2=$3/51::@2$3=remote(power_2,@2$2)::@2$4=remote(power_2,@2$3)::@2$5=remote(power_2_file,@1$1)::@2$6=remote(power_2, @2$4)::@2$7=remote(power_2, @2$6)::@2$8=remote(power_2,@2$9)::@2$9=remote(power_2,@2$11)::@2$10=remote(power_2,@2$12)::@3$3=remote(zmax_2,@2$2)::@3$4=remote(zmax_2,@2$3)::@3$5=remote(zmax_2_file,@1$1)::@3$6=remote(zmax_2, @2$4)::@3$7=remote(zmax_2, @2$6)::@3$8=remote(zmax_2,@2$9)::@3$9=remote(zmax_2,@2$11)::@3$10=remote(zmax_2,@2$12)::@4$3=remote(wordor_2,@2$2)::@4$4=remote(wordor_2,@2$3)::@4$5=remote(wordor_2_file,@1$1)::@4$6=remote(wordor_2, @2$4)::@4$7=remote(wordor_2, @2$6)::@4$8=remote(wordor_2,@2$9)::@4$9=remote(wordor_2,@2$11)::@4$10=remote(wordor_2,@2$12) + +*** 4xx^3 + +| Monoid | States | States+Interm. | Edges | File Size | init part | final part | t_p | t_i | t_r | +|----------+--------+----------------+----------+-----------+-----------+------------+-----------+-----------+-----------| +| powerset | 85016 | 4335816 | 17003200 | 138 M | 6 | 85016 | 47.614393 | 20.446586 | 167.58715 | +| Z,max | 70660 | 3603660 | 14132000 | 127 M | 397 | 70660 | 49.287429 | 25.886319 | 82.245760 | +| Word,or | 69623 | 3550773 | 13924600 | 132 M | 54 | 69623 | 49.986173 | 25.229488 | 127.06052 | +#+TBLFM: $2=$3/51::@2$3=remote(power_3,@2$2)::@2$4=remote(power_3,@2$3)::@2$5=remote(power_3_file,@1$1)::@2$6=remote(power_3, @2$4)::@2$7=remote(power_3, @2$6)::@2$8=remote(power_3,@2$9)::@2$9=remote(power_3,@2$11)::@2$10=remote(power_3,@2$12)::@3$3=remote(zmax_3,@2$2)::@3$4=remote(zmax_3,@2$3)::@3$5=remote(zmax_3_file,@1$1)::@3$6=remote(zmax_3, @2$4)::@3$7=remote(zmax_3, @2$6)::@3$8=remote(zmax_3,@2$9)::@3$9=remote(zmax_3,@2$11)::@3$10=remote(zmax_3,@2$12)::@4$3=remote(wordor_3,@2$2)::@4$4=remote(wordor_3,@2$3)::@4$5=remote(wordor_3_file,@1$1)::@4$6=remote(wordor_3, @2$4)::@4$7=remote(wordor_3, @2$6)::@4$8=remote(wordor_3,@2$9)::@4$9=remote(wordor_3,@2$11)::@4$10=remote(wordor_3,@2$12) + +*** 4xx^4 + +| Monoid | States | States+Interm. | Edges | File Size | init part | final part | t_p | t_i | t_r | +|----------+--------+----------------+----------+-----------+-----------+------------+-----------+-----------+-----------| +| powerset | 59596 | 3039396 | 14899000 | 119 M | 6 | 59596 | 41.065065 | 25.383502 | 121.31631 | +| Z,max | 62665 | 3195915 | 15666250 | 136 M | 397 | 62665 | 48.473165 | 26.234721 | 66.312404 | +| Word,or | 57319 | 2923269 | 14329750 | 130 M | 54 | 57319 | 47.318312 | 25.807647 | 115.01576 | +#+TBLFM: $2=$3/51::@2$3=remote(power_4,@2$2)::@2$4=remote(power_4,@2$3)::@2$5=remote(power_4_file,@1$1)::@2$6=remote(power_4, @2$4)::@2$7=remote(power_4, @2$6)::@2$8=remote(power_4,@2$9)::@2$9=remote(power_4,@2$11)::@2$10=remote(power_4,@2$12)::@3$3=remote(zmax_4,@2$2)::@3$4=remote(zmax_4,@2$3)::@3$5=remote(zmax_4_file,@1$1)::@3$6=remote(zmax_4, @2$4)::@3$7=remote(zmax_4, @2$6)::@3$8=remote(zmax_4,@2$9)::@3$9=remote(zmax_4,@2$11)::@3$10=remote(zmax_4,@2$12)::@4$3=remote(wordor_4,@2$2)::@4$4=remote(wordor_4,@2$3)::@4$5=remote(wordor_4_file,@1$1)::@4$6=remote(wordor_4, @2$4)::@4$7=remote(wordor_4, @2$6)::@4$8=remote(wordor_4,@2$9)::@4$9=remote(wordor_4,@2$11)::@4$10=remote(wordor_4,@2$12) + +*** 4xx^5 + +| Monoid | States | States+Interm. | Edges | File Size | init part | final part | t_p | t_i | t_r | +|----------+--------+----------------+----------+-----------+-----------+------------+-----------+-----------+-----------| +| powerset | 49375 | 2518125 | 14812500 | 116 M | 6 | 49375 | 38.769441 | 24.415686 | 90.703822 | +| Z,max | 49926 | 2546226 | 14977800 | 127 M | 376 | 49926 | 44.887706 | 20.851582 | 52.506482 | +| Word,or | 48962 | 2497062 | 14688600 | 129 M | 54 | 48962 | 45.179623 | 20.079035 | 92.723852 | +#+TBLFM: $2=$3/51::@2$3=remote(power_5,@2$2)::@2$4=remote(power_5,@2$3)::@2$5=remote(power_5_file,@1$1)::@2$6=remote(power_5, @2$4)::@2$7=remote(power_5, @2$6)::@2$8=remote(power_5,@2$9)::@2$9=remote(power_5,@2$11)::@2$10=remote(power_5,@2$12)::@3$3=remote(zmax_5,@2$2)::@3$4=remote(zmax_5,@2$3)::@3$5=remote(zmax_5_file,@1$1)::@3$6=remote(zmax_5, @2$4)::@3$7=remote(zmax_5, @2$6)::@3$8=remote(zmax_5,@2$9)::@3$9=remote(zmax_5,@2$11)::@3$10=remote(zmax_5,@2$12)::@4$3=remote(wordor_5,@2$2)::@4$4=remote(wordor_5,@2$3)::@4$5=remote(wordor_5_file,@1$1)::@4$6=remote(wordor_5, @2$4)::@4$7=remote(wordor_5, @2$6)::@4$8=remote(wordor_5,@2$9)::@4$9=remote(wordor_5,@2$11)::@4$10=remote(wordor_5,@2$12)