diff --git a/wta/benchmarks.org b/wta/benchmarks.org index 0dc9695057c0b5fc14b8ea7c2d74990e5d769e19..9480a5aee7227b275b137c6ef8f6157c9e1139fa 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -1485,45 +1485,45 @@ Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 4 ** 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) +| 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) *** 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) +| 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 | 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) +| 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 | 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) +| 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 | 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) +| 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)