Commit 107498ff authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

wta: Fix org-mode layout

parent 3e7955c3
...@@ -963,8 +963,8 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -963,8 +963,8 @@ 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 | | 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 | 2518125 | 14812500 | 6 | 2518125 | 49375 | 13940781 | 164.986249384 | 38.769441334 | 119.843574846 | 24.415685672 | 90.703821725 | | 0 | 2518125 | 14812500 | 6 | 2518125 | 49375 | 13940781 | 164.986249384 | 38.769441334 | 119.843574846 | 24.415685672 | 90.703821725 |
*** Z,max ** Z,max
**** 4xX mit out-degree 50 und different-values 50 *** 4xX mit out-degree 50 und different-values 50
#+BEGIN_SRC shell #+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50
...@@ -987,7 +987,9 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -987,7 +987,9 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 114888... : Trying 114888...
: First bad state count: 114889 : First bad state count: 114889
**** 4xX^2 mit out-degree 50 und different-values 50 **** Automaton Size
*** 4xX^2 mit out-degree 50 und different-values 50
#+BEGIN_SRC shell #+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50
...@@ -1010,7 +1012,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -1010,7 +1012,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 95288... : Trying 95288...
: First bad state count: 95288 : First bad state count: 95288
**** 4xX^3 mit out-degree und different-values 50 *** 4xX^3 mit out-degree und different-values 50
#+BEGIN_SRC shell #+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50
...@@ -1032,7 +1034,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -1032,7 +1034,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 70661... : Trying 70661...
: First bad state count: 70661 : First bad state count: 70661
**** 4xX^4 mit out-degree und different-values 50 *** 4xX^4 mit out-degree und different-values 50
#+BEGIN_SRC shell #+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50
...@@ -1054,7 +1056,7 @@ ls -sh bench/wta_powerset_0,4_*__14281* ...@@ -1054,7 +1056,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
: Trying 62665... : Trying 62665...
: First bad state count: 62666 : First bad state count: 62666
**** 4xX^5 mit out-degree und different-values 50 *** 4xX^5 mit out-degree und different-values 50
#+BEGIN_SRC shell #+BEGIN_SRC shell
./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment