Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Hans-Peter Deifel
copar-benchmarks
Commits
f378f8d0
Commit
f378f8d0
authored
Apr 11, 2019
by
Hans-Peter Deifel
Browse files
wta: Add more info to summary table
parent
5405ae58
Changes
1
Hide whitespace changes
Inline
Side-by-side
wta/benchmarks.org
View file @
f378f8d0
...
...
@@ -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
)
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment
