diff --git a/wta/benchmarks.org b/wta/benchmarks.org index ea267a1149d3d5bb547a05b854b197bd3cfaf315..bd8065906e6a9ebbf49ad7e322e1d21bf57dd124 100644 --- a/wta/benchmarks.org +++ b/wta/benchmarks.org @@ -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