Skip to content
Snippets Groups Projects
Commit fe50c35e authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

wta: Add file size to summary

parent e49f5a92
Branches
No related tags found
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 40 additions and 42 deletions
wta/benchmarks.org
+ 40
− 42
View file @ fe50c35e
......@@ -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)
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment