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

wta: Add missing file sizes

parent ebbb8ea8
No related branches found
No related tags found
No related merge requests found
......@@ -805,6 +805,14 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 132178...
: First bad state count: 132179
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,4_*_132178_*
#+END_SRC
#+RESULTS:
: 117M bench/wta_powerset_0,4_t6608900__132178_0.coalgebra
**** Automaton Size
......@@ -843,6 +851,19 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 98670...
: First bad state count: 98671
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,4_*_98670_*
#+END_SRC
#+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
**** Automaton Size
#+BEGIN_SRC shell
......@@ -880,6 +901,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 85017...
: First bad state count: 85018
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,4_*_85017_*
#+END_SRC
#+RESULTS:
: 138M bench/wta_powerset_0,0,0,4_t4250850__85017_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -916,6 +946,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 59596...
: First bad state count: 59596
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,0,4_*_59596_*
#+END_SRC
#+RESULTS:
: 119M bench/wta_powerset_0,0,0,0,4_t2979800__59596_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -952,6 +991,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 49376...
: First bad state count: 49376
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_powerset_0,0,0,0,0,4_*_49375_*
#+END_SRC
#+RESULTS:
: 116M bench/wta_powerset_0,0,0,0,0,4_t2468750__49375_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -987,6 +1035,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 114888...
: First bad state count: 114889
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,4_*_114888_*
#+END_SRC
#+RESULTS:
: 122M bench/wta_Z,max_0,4_t5744400_50_114888_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1021,6 +1078,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 95288...
: First bad state count: 95288
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,4_*_95287_*
#+END_SRC
#+RESULTS:
: 136M bench/wta_Z,max_0,0,4_t4764350_50_95287_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1054,6 +1120,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 70661...
: First bad state count: 70661
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,4_*_70660_*
#+END_SRC
#+RESULTS:
: 127M bench/wta_Z,max_0,0,0,4_t3533000_50_70660_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1087,6 +1162,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 62665...
: First bad state count: 62666
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,0,4_*_62665_*
#+END_SRC
#+RESULTS:
: 136M bench/wta_Z,max_0,0,0,0,4_t3133250_50_62665_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1121,6 +1205,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 49927...
: First bad state count: 49927
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,0,0,0,0,4_*_49926_*
#+END_SRC
#+RESULTS:
: 127M bench/wta_Z,max_0,0,0,0,0,4_t2496300_50_49926_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1156,6 +1249,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 113957...
: First bad state count: 113958
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,4_*_113957_*
#+END_SRC
#+RESULTS:
: 131M bench/wta_Word,or_0,4_t5697850_50_113957_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1188,6 +1290,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 92435...
: First bad state count: 92435
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,4_*_92434_*
#+END_SRC
#+RESULTS:
: 141M bench/wta_Word,or_0,0,4_t4621700_50_92434_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1220,6 +1331,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 69624...
: First bad state count: 69624
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,4_*_69623_*
#+END_SRC
#+RESULTS:
: 132M bench/wta_Word,or_0,0,0,4_t3481150_50_69623_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1251,6 +1371,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 57319...
: First bad state count: 57320
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,0,4_*_57319_*
#+END_SRC
#+RESULTS:
: 130M bench/wta_Word,or_0,0,0,0,4_t2865950_50_57319_0.coalgebra
**** Automaton Size
#+BEGIN_SRC shell
......@@ -1262,7 +1391,6 @@ ls -sh bench/wta_powerset_0,4_*__14281*
| 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 | 2923269 | 14329750 | 54 | 2923269 | 57319 | 15469967 | 199.956928585 | 47.318311842 | 146.418279061 | 25.807646931 | 115.015762137 |
*** 4xX^5 mit out-degree und different-values 50
#+BEGIN_SRC shell
......@@ -1283,6 +1411,15 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 48963...
: First bad state count: 48964
**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Word,or_0,0,0,0,0,4_*_48963_*
#+END_SRC
#+RESULTS:
: 129M bench/wta_Word,or_0,0,0,0,0,4_t2448150_50_48963_0.coalgebra
**** Automaton Size
Aus irgendeinem Grund läuft jetzt 48963 auch schon ins memory limit, deswegen 48962
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment