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
e49f5a92
Commit
e49f5a92
authored
Apr 11, 2019
by
Hans-Peter Deifel
Browse files
wta: Output file sizes as table
parent
f378f8d0
Changes
1
Hide whitespace changes
Inline
Side-by-side
wta/benchmarks.org
View file @
e49f5a92
...
...
@@ -713,13 +713,17 @@ We now use the following parameters:
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,4_*__14281
*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,4_*__14281
_* | tr " ," ",."
#+END_SRC
#+NAME: power_1_500_file
#+RESULTS:
: 118M bench/wta_powerset_0,4_t7140500__14281_0.coalgebra
| 118M | bench/wta_powerset_0.4_t7140500__14281_0.coalgebra |
| 118M | bench/wta_powerset_0.4_t7140500__14281_1.coalgebra |
| 118M | bench/wta_powerset_0.4_t7140500__14281_2.coalgebra |
| 118M | bench/wta_powerset_0.4_t7140500__14281_3.coalgebra |
| 118M | bench/wta_powerset_0.4_t7140500__14281_4.coalgebra |
**** Automaton Size
...
...
@@ -813,24 +817,35 @@ ls -sh bench/wta_powerset_0,4_*__14281*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,4_*_132178_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,4_*_132178_*
| tr " ," ",."
#+END_SRC
#+NAME: power_1_file
#+RESULTS:
: 117M bench/wta_powerset_0,4_t6608900__132178_0.coalgebra
| 117M | bench/wta_powerset_0.4_t6608900__132178_0.coalgebra |
| 117M | bench/wta_powerset_0.4_t6608900__132178_1.coalgebra |
| 117M | bench/wta_powerset_0.4_t6608900__132178_2.coalgebra |
| 117M | bench/wta_powerset_0.4_t6608900__132178_3.coalgebra |
| 117M | bench/wta_powerset_0.4_t6608900__132178_4.coalgebra |
**** Automaton Size
#+BEGIN_SRC shell
./bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,4 --out-degree 50 --states 132178 --indiv --header
./bench.py generate ../../copar/bin/random-wta --monoid powerset --symbols 0,4 --out-degree 50 --states 132177
./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 | 6741078 | 13217800 | 6 | 660888 | 132178 | 9275215 | 263.557139582 | 53.134795016 | 197.899988998 | 33.273151066 | 153.369899287 |
| 0 | 6741027 | 13217700 | 6 | 660882 | 132177 | 9323005 | 265.849947508 | 53.024255888 | 200.012469965 | 32.711091055 | 156.049078211 |
| 1 | 6741027 | 13217700 | 6 | 660884 | 132177 | 9336757 | 266.027492928 | 53.656205959 | 199.630533624 | 33.784156055 | 154.30670604 |
| 2 | 6741027 | 13217700 | 6 | 660885 | 132177 | 9295860 | 266.131064164 | 53.031692734 | 200.333990554 | 33.839128343 | 154.752397766 |
| 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
...
...
@@ -862,17 +877,17 @@ ls -sh bench/wta_powerset_0,4_*_132178_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,4_*_98670_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,0,4_*_98670_*
| tr " ," ",."
#+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
:
123M bench/wta_powerset_0
,0,
4_t4933500__98670_2.coalgebra
:
123M bench/wta_powerset_0
,0,
4_t4933500__98670_3.coalgebra
:
123M bench/wta_powerset_0
,0,
4_t4933500__98670_4.coalgebra
|
123M
|
bench/wta_powerset_0
.0.
4_t4933500__98670_0.coalgebra
|
|
123M
|
bench/wta_powerset_0
.0.
4_t4933500__98670_1.coalgebra
|
|
123M
|
bench/wta_powerset_0
.0.
4_t4933500__98670_2.coalgebra
|
|
123M
|
bench/wta_powerset_0
.0.
4_t4933500__98670_3.coalgebra
|
|
123M
|
bench/wta_powerset_0
.0.
4_t4933500__98670_4.coalgebra
|
**** Automaton Size
...
...
@@ -884,7 +899,11 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_*
#+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 |
| 0 | 5032170 | 14800500 | 6 | 5031861 | 98670 | 11563672 | 318.18771425 | 46.231443471 | 259.512847417 | 31.400595851 | 212.323222545 |
| 1 | 5032170 | 14800500 | 6 | 5031879 | 98670 | 11565958 | 318.887658897 | 46.483533968 | 259.856085361 | 31.407316023 | 212.38857748 |
| 2 | 5032170 | 14800500 | 6 | 5031848 | 98670 | 11565284 | 318.529242826 | 46.499900763 | 259.501330137 | 31.347128979 | 210.955648567 |
| 3 | 5032170 | 14800500 | 6 | 5031845 | 98670 | 11558234 | 317.809993575 | 46.522121526 | 258.840719384 | 31.371523591 | 211.925301877 |
| 4 | 5032170 | 14800500 | 6 | 5031882 | 98670 | 11551538 | 316.309936896 | 46.212332602 | 257.508264904 | 31.362333309 | 210.039264838 |
*** 4xX^3 mit out-degree 50
...
...
@@ -915,13 +934,13 @@ ls -sh bench/wta_powerset_0,0,4_*_98670_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
| tr " ," ",."
#+END_SRC
#+NAME: power_3_file
#+RESULTS:
:
138M bench/wta_powerset_0
,0,0,
4_t4250850__85017_0.coalgebra
|
138M
|
bench/wta_powerset_0
.0.0.
4_t4250850__85017_0.coalgebra
|
**** Automaton Size
...
...
@@ -963,13 +982,13 @@ ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
| tr " ," ",."
#+END_SRC
#+NAME: power_4_file
#+RESULTS:
:
119M bench/wta_powerset_0
,0,0,0,
4_t2979800__59596_0.coalgebra
|
119M
|
bench/wta_powerset_0
.0.0.0.
4_t2979800__59596_0.coalgebra
|
**** Automaton Size
...
...
@@ -1011,13 +1030,13 @@ ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
| tr " ," ",."
#+END_SRC
#+NAME: power_5_file
#+RESULTS:
:
116M bench/wta_powerset_0
,0,0,0,0,
4_t2468750__49375_0.coalgebra
|
116M
|
bench/wta_powerset_0
.0.0.0.0.
4_t2468750__49375_0.coalgebra
|
**** Automaton Size
...
...
@@ -1058,13 +1077,13 @@ ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,4_*_114888_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Z,max_0,4_*_114888_*
| tr " ," ",."
#+END_SRC
#+NAME: zmax_1_file
#+RESULTS:
:
122M bench/wta_Z
,
max_0
,
4_t5744400_50_114888_0.coalgebra
|
122M
|
bench/wta_Z
.
max_0
.
4_t5744400_50_114888_0.coalgebra
|
**** Automaton Size
...
...
@@ -1104,13 +1123,13 @@ ls -sh bench/wta_Z,max_0,4_*_114888_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,4_*_95287_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Z,max_0,0,4_*_95287_*
| tr " ," ",."
#+END_SRC
#+NAME: zmax_2_file
#+RESULTS:
:
136M bench/wta_Z
,
max_0
,0,
4_t4764350_50_95287_0.coalgebra
|
136M
|
bench/wta_Z
.
max_0
.0.
4_t4764350_50_95287_0.coalgebra
|
**** Automaton Size
...
...
@@ -1149,13 +1168,13 @@ ls -sh bench/wta_Z,max_0,0,4_*_95287_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
| tr " ," ",."
#+END_SRC
#+NAME: zmax_3_file
#+RESULTS:
:
127M bench/wta_Z
,
max_0
,0,0,
4_t3533000_50_70660_0.coalgebra
|
127M
|
bench/wta_Z
.
max_0
.0.0.
4_t3533000_50_70660_0.coalgebra
|
**** Automaton Size
...
...
@@ -1194,13 +1213,13 @@ ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
| tr " ," ",."
#+END_SRC
#+NAME: zmax_4_file
#+RESULTS:
:
136M bench/wta_Z
,
max_0
,0,0,0,
4_t3133250_50_62665_0.coalgebra
|
136M
|
bench/wta_Z
.
max_0
.0.0.0.
4_t3133250_50_62665_0.coalgebra
|
**** Automaton Size
...
...
@@ -1240,13 +1259,13 @@ ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
| tr " ," ",."
#+END_SRC
#+NAME: zmax_5_file
#+RESULTS:
:
127M bench/wta_Z
,
max_0
,0,0,0,0,
4_t2496300_50_49926_0.coalgebra
|
127M
|
bench/wta_Z
.
max_0
.0.0.0.0.
4_t2496300_50_49926_0.coalgebra
|
**** Automaton Size
...
...
@@ -1287,13 +1306,13 @@ ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,4_*_113957_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Word,or_0,4_*_113957_*
| tr " ," ",."
#+END_SRC
#+NAME: wordor_1_file
#+RESULTS:
:
131M bench/wta_Word
,
or_0
,
4_t5697850_50_113957_0.coalgebra
|
131M
|
bench/wta_Word
.
or_0
.
4_t5697850_50_113957_0.coalgebra
|
**** Automaton Size
...
...
@@ -1331,13 +1350,13 @@ ls -sh bench/wta_Word,or_0,4_*_113957_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,4_*_92434_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Word,or_0,0,4_*_92434_*
| tr " ," ",."
#+END_SRC
#+NAME: wordor_2_file
#+RESULTS:
:
141M bench/wta_Word
,
or_0
,0,
4_t4621700_50_92434_0.coalgebra
|
141M
|
bench/wta_Word
.
or_0
.0.
4_t4621700_50_92434_0.coalgebra
|
**** Automaton Size
...
...
@@ -1375,13 +1394,13 @@ ls -sh bench/wta_Word,or_0,0,4_*_92434_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
| tr " ," ",."
#+END_SRC
#+NAME: wordor_3_file
#+RESULTS:
:
132M bench/wta_Word
,
or_0
,0,0,
4_t3481150_50_69623_0.coalgebra
|
132M
|
bench/wta_Word
.
or_0
.0.0.
4_t3481150_50_69623_0.coalgebra
|
**** Automaton Size
...
...
@@ -1418,13 +1437,13 @@ ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
| tr " ," ",."
#+END_SRC
#+NAME: wordor_4_file
#+RESULTS:
:
130M bench/wta_Word
,
or_0
,0,0,0,
4_t2865950_50_57319_0.coalgebra
|
130M
|
bench/wta_Word
.
or_0
.0.0.0.
4_t2865950_50_57319_0.coalgebra
|
**** Automaton Size
...
...
@@ -1461,13 +1480,13 @@ ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,0,0,4_*_48963_*
#+BEGIN_SRC sh :results output
table
ls -sh bench/wta_Word,or_0,0,0,0,0,4_*_48963_*
| tr " ," ",."
#+END_SRC
#+NAME: wordor_5_file
#+RESULTS:
:
129M bench/wta_Word
,
or_0
,0,0,0,0,
4_t2448150_50_48963_0.coalgebra
|
129M
|
bench/wta_Word
.
or_0
.0.0.0.0.
4_t2448150_50_48963_0.coalgebra
|
**** Automaton Size
...
...
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