Skip to content
GitLab
Commit 8a189891 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

dfa: Test if any of the M=1 models was minimal

parent 63a1218a
Hide whitespace changes
Inline Side-by-side
dfa/benchmark.org
View file @ 8a189891
......@@ -199,104 +199,234 @@ Thorsten fragt, wie viele der Modelle noch minimierbar waren, weil ich "very
few" geschrieben habe.
#+begin_src sh :hlines yes :colnames '("N" "M" "i" "States" "Edges" "I" "Q" "Qs1" "Opts" "t (s)" "tp (s)" "ta (s)" "ti (s)" "tr (s)" "tv (s)" "Qv")
for n in 100000 110000 120000 130000 140000 150000 160000 170000; do
for n in 100000 110000 120000 130000 140000 150000 160000 170000 180000 190000 200000 210000 220000 230000 240000 250000 260000 270000 280000 290000 300000; do
python bench.py run ../../copar/bin/copar ../../valmari_cpp/mdpmin $n 1 --indiv
done
#+end_src
#+NAME: results1indiv
#+RESULTS:
| N | M | i | States | Edges | I | Q | Qs1 | Opts | t (s) | tp (s) | ta (s) | ti (s) | tr (s) | tv (s) | Qv |
|--------+---+---+--------+--------+---+--------+--------+-------+-------------+-------------+-------------+-------------+-------------+-------------+--------|
| 100000 | 1 | 0 | 100000 | 100000 | 2 | 65489 | 65489 | 8071 | 3.075219251 | 1.016393606 | 1.860979017 | 0.324656734 | 1.395473518 | 0.130707758 | 65489 |
| 100000 | 1 | 1 | 100000 | 100000 | 2 | 65912 | 65912 | 8413 | 3.116122542 | 1.015110996 | 1.901503637 | 0.325672327 | 1.450852626 | 0.130313487 | 65912 |
| 100000 | 1 | 2 | 100000 | 100000 | 2 | 65551 | 65551 | 8087 | 3.265483129 | 1.011379679 | 2.052158084 | 0.323719205 | 1.60609957 | 0.148720428 | 65551 |
| 100000 | 1 | 3 | 100000 | 100000 | 2 | 65473 | 65473 | 7919 | 3.091434512 | 1.023571016 | 1.868586935 | 0.334955746 | 1.389472857 | 0.130349296 | 65473 |
| 100000 | 1 | 4 | 100000 | 100000 | 2 | 65668 | 65668 | 8130 | 3.149304182 | 1.020738263 | 1.929853793 | 0.322471701 | 1.483947833 | 0.135864777 | 65668 |
| 100000 | 1 | 5 | 100000 | 100000 | 2 | 65857 | 65857 | 8264 | 3.124621294 | 1.010101411 | 1.91249681 | 0.32534672 | 1.463610263 | 0.129844195 | 65857 |
| 100000 | 1 | 6 | 100000 | 100000 | 2 | 65709 | 65709 | 8190 | 3.119871747 | 1.016014505 | 1.906142684 | 0.322655902 | 1.459053505 | 0.13265351 | 65709 |
| 100000 | 1 | 7 | 100000 | 100000 | 2 | 65777 | 65777 | 8199 | 3.099127401 | 1.003755299 | 1.897611872 | 0.323984237 | 1.450599931 | 0.142075197 | 65777 |
| 100000 | 1 | 8 | 100000 | 100000 | 2 | 65443 | 65443 | 7867 | 3.13440342 | 1.008052536 | 1.928383679 | 0.331809869 | 1.471185405 | 0.132536734 | 65443 |
| 100000 | 1 | 9 | 100000 | 100000 | 2 | 65551 | 65551 | 8353 | 3.166899932 | 1.013872041 | 1.955168022 | 0.323107684 | 1.508640938 | 0.132396117 | 65551 |
| 110000 | 1 | 0 | 110000 | 110000 | 2 | 72513 | 72513 | 9297 | 3.569363476 | 1.119818753 | 2.117401824 | 0.382279594 | 1.691728402 | 0.1569582 | 72513 |
| 110000 | 1 | 1 | 110000 | 110000 | 2 | 72154 | 72154 | 9232 | 3.73215774 | 1.118970625 | 2.267884268 | 0.379717955 | 1.844213522 | 0.143942143 | 72154 |
| 110000 | 1 | 2 | 110000 | 110000 | 2 | 71771 | 71771 | 9054 | 3.588886765 | 1.107026424 | 2.146325136 | 0.370949881 | 1.73238878 | 0.14916355 | 71771 |
| 110000 | 1 | 3 | 110000 | 110000 | 2 | 72036 | 72036 | 9000 | 3.507444157 | 1.110593071 | 2.056530678 | 0.381284583 | 1.611080265 | 0.153620916 | 72036 |
| 110000 | 1 | 4 | 110000 | 110000 | 2 | 71937 | 71937 | 8951 | 3.575299526 | 1.109266546 | 2.132903126 | 0.382058363 | 1.707566969 | 0.150420488 | 71937 |
| 110000 | 1 | 5 | 110000 | 110000 | 2 | 71792 | 71792 | 9055 | 3.612489734 | 1.108004896 | 2.164392269 | 0.367315779 | 1.753877234 | 0.16148724 | 71792 |
| 110000 | 1 | 6 | 110000 | 110000 | 2 | 71770 | 71770 | 8890 | 3.616283222 | 1.103457981 | 2.176573336 | 0.393687973 | 1.738645391 | 0.143199242 | 71770 |
| 110000 | 1 | 7 | 110000 | 110000 | 2 | 71872 | 71872 | 9105 | 3.550739383 | 1.100672807 | 2.119781243 | 0.383916077 | 1.692992691 | 0.146208416 | 71872 |
| 110000 | 1 | 8 | 110000 | 110000 | 2 | 71821 | 71821 | 9209 | 3.584102896 | 1.10809578 | 2.124702782 | 0.381536265 | 1.700044159 | 0.161113669 | 71821 |
| 110000 | 1 | 9 | 110000 | 110000 | 2 | 71886 | 71886 | 8496 | 3.413220866 | 1.116265459 | 1.969699346 | 0.372331854 | 1.533935828 | 0.147966004 | 71886 |
| 120000 | 1 | 0 | 120000 | 120000 | 2 | 78444 | 78444 | 9790 | 4.069342595 | 1.238783151 | 2.453433969 | 0.426771494 | 1.979953795 | 0.173410239 | 78444 |
| 120000 | 1 | 1 | 120000 | 120000 | 2 | 79064 | 79064 | 9263 | 3.758061696 | 1.227616777 | 2.123877937 | 0.423050215 | 1.651843389 | 0.164504967 | 79064 |
| 120000 | 1 | 2 | 120000 | 120000 | 2 | 78524 | 78524 | 9654 | 4.01143738 | 1.232131643 | 2.40162801 | 0.429634 | 1.924545475 | 0.177220402 | 78524 |
| 120000 | 1 | 3 | 120000 | 120000 | 2 | 78399 | 78399 | 9588 | 3.995277317 | 1.222230251 | 2.396551393 | 0.412733661 | 1.935789441 | 0.176388153 | 78399 |
| 120000 | 1 | 4 | 120000 | 120000 | 2 | 78746 | 78746 | 9978 | 3.974422801 | 1.227714059 | 2.364443107 | 0.425459117 | 1.891445689 | 0.175432849 | 78746 |
| 120000 | 1 | 5 | 120000 | 120000 | 2 | 78615 | 78615 | 9663 | 3.917738942 | 1.220087523 | 2.314338623 | 0.424702349 | 1.842289442 | 0.171312703 | 78615 |
| 120000 | 1 | 6 | 120000 | 120000 | 2 | 78527 | 78527 | 9645 | 3.94036953 | 1.218993873 | 2.346867738 | 0.425413568 | 1.873926259 | 0.174608538 | 78527 |
| 120000 | 1 | 7 | 120000 | 120000 | 2 | 78774 | 78774 | 9675 | 3.965907516 | 1.248057246 | 2.338368857 | 0.425580612 | 1.865444724 | 0.170047685 | 78774 |
| 120000 | 1 | 8 | 120000 | 120000 | 2 | 78247 | 78247 | 9857 | 3.968748425 | 1.225095151 | 2.368057707 | 0.42623809 | 1.895107695 | 0.177741888 | 78247 |
| 120000 | 1 | 9 | 120000 | 120000 | 2 | 78928 | 78928 | 9693 | 3.872514593 | 1.215166985 | 2.280317135 | 0.435296015 | 1.775243516 | 0.166218788 | 78928 |
| 130000 | 1 | 0 | 130000 | 130000 | 2 | 85315 | 85315 | 10567 | 4.501026206 | 1.342790878 | 2.735433238 | 0.464495628 | 2.218602487 | 0.199508275 | 85315 |
| 130000 | 1 | 1 | 130000 | 130000 | 2 | 85142 | 85142 | 10403 | 4.396407477 | 1.335274061 | 2.613262381 | 0.471083056 | 2.089756189 | 0.194808266 | 85142 |
| 130000 | 1 | 2 | 130000 | 130000 | 2 | 84925 | 84925 | 10388 | 4.338347004 | 1.337826524 | 2.556239179 | 0.469600129 | 2.034926833 | 0.197639463 | 84925 |
| 130000 | 1 | 3 | 130000 | 130000 | 2 | 85122 | 85122 | 10224 | 4.353772157 | 1.342125611 | 2.564450923 | 0.463526411 | 2.049189812 | 0.191741507 | 85122 |
| 130000 | 1 | 4 | 130000 | 130000 | 2 | 84972 | 84972 | 10050 | 4.166589043 | 1.342834979 | 2.376818402 | 0.468541701 | 1.856207934 | 0.203356829 | 84972 |
| 130000 | 1 | 5 | 130000 | 130000 | 2 | 84995 | 84995 | 10729 | 4.478496303 | 1.339820796 | 2.710607439 | 0.468935165 | 2.167174535 | 0.194667287 | 84995 |
| 130000 | 1 | 6 | 130000 | 130000 | 2 | 85356 | 85356 | 9815 | 4.145077528 | 1.341588829 | 2.355940755 | 0.46767948 | 1.836206911 | 0.203810633 | 85356 |
| 130000 | 1 | 7 | 130000 | 130000 | 2 | 84961 | 84961 | 10513 | 4.409125822 | 1.334864989 | 2.647270925 | 0.463919552 | 2.107834639 | 0.196470758 | 84961 |
| 130000 | 1 | 8 | 130000 | 130000 | 2 | 85019 | 85019 | 10795 | 4.365329247 | 1.351712695 | 2.560567903 | 0.467896279 | 2.040988999 | 0.196142687 | 85019 |
| 130000 | 1 | 9 | 130000 | 130000 | 2 | 85572 | 85572 | 10741 | 4.331631441 | 1.341549552 | 2.543712738 | 0.468076477 | 2.024120064 | 0.194865578 | 85572 |
| 140000 | 1 | 0 | 140000 | 140000 | 2 | 91961 | 91961 | 11636 | 4.813179945 | 1.455581203 | 2.910940726 | 0.508547541 | 2.346748404 | 0.228881309 | 91961 |
| 140000 | 1 | 1 | 140000 | 140000 | 2 | 92261 | 92261 | 11446 | 4.879484983 | 1.427232795 | 2.985289396 | 0.491290506 | 2.437514334 | 0.216363143 | 92261 |
| 140000 | 1 | 2 | 140000 | 140000 | 2 | 91700 | 91700 | 10883 | 4.66983062 | 1.442716627 | 2.737677114 | 0.608711362 | 2.072788634 | 0.238295376 | 91700 |
| 140000 | 1 | 3 | 140000 | 140000 | 2 | 91529 | 91529 | 10873 | 4.907649866 | 1.5015704 | 2.938429497 | 0.510420053 | 2.370488401 | 0.218100194 | 91529 |
| 140000 | 1 | 4 | 140000 | 140000 | 2 | 91629 | 91629 | 11305 | 4.830356822 | 1.439082203 | 2.929881336 | 0.576003758 | 2.271742162 | 0.21585962 | 91629 |
| 140000 | 1 | 5 | 140000 | 140000 | 2 | 91880 | 91880 | 11470 | 4.91423664 | 1.448168084 | 3.001895587 | 0.493154024 | 2.452395666 | 0.218942322 | 91880 |
| 140000 | 1 | 6 | 140000 | 140000 | 2 | 91604 | 91604 | 11166 | 4.667486167 | 1.440795599 | 2.738309613 | 0.567755464 | 2.113455919 | 0.227232418 | 91604 |
| 140000 | 1 | 7 | 140000 | 140000 | 2 | 91511 | 91511 | 10132 | 4.398069285 | 1.436154238 | 2.514956101 | 0.587945332 | 1.871389377 | 0.208235616 | 91511 |
| 140000 | 1 | 8 | 140000 | 140000 | 2 | 92066 | 92066 | 11696 | 4.930771039 | 1.443342623 | 3.040578387 | 0.505273022 | 2.479661092 | 0.217466706 | 92066 |
| 140000 | 1 | 9 | 140000 | 140000 | 2 | 91879 | 91879 | 11445 | 4.884916867 | 1.449982962 | 2.972289977 | 0.499279593 | 2.416436588 | 0.257315528 | 91879 |
| 150000 | 1 | 0 | 150000 | 150000 | 2 | 98627 | 98627 | 11706 | 4.872019521 | 1.655503115 | 2.873671662 | 0.558746555 | 2.248680022 | 0.235247684 | 98627 |
| 150000 | 1 | 1 | 150000 | 150000 | 2 | 98261 | 98261 | 11998 | 5.116727582 | 1.672626075 | 3.099944137 | 0.579007147 | 2.453658451 | 0.241741848 | 98261 |
| 150000 | 1 | 2 | 150000 | 150000 | 2 | 98235 | 98235 | 12071 | 4.997412768 | 1.641890305 | 3.01458561 | 0.563418466 | 2.385397834 | 0.258076894 | 98235 |
| 150000 | 1 | 3 | 150000 | 150000 | 2 | 98312 | 98312 | 11705 | 5.016588812 | 1.654784636 | 3.009550171 | 0.560464767 | 2.384445994 | 0.252234889 | 98312 |
| 150000 | 1 | 4 | 150000 | 150000 | 2 | 98743 | 98743 | 12062 | 5.049099289 | 1.636705601 | 3.059607898 | 0.56184508 | 2.431595053 | 0.262377629 | 98743 |
| 150000 | 1 | 5 | 150000 | 150000 | 2 | 98223 | 98223 | 12114 | 5.185375559 | 1.650754772 | 3.183230628 | 0.570270251 | 2.547707736 | 0.238793267 | 98223 |
| 150000 | 1 | 6 | 150000 | 150000 | 2 | 98058 | 98058 | 12112 | 5.050064472 | 1.630022597 | 3.08029486 | 0.564257409 | 2.450098535 | 0.243755685 | 98058 |
| 150000 | 1 | 7 | 150000 | 150000 | 2 | 98210 | 98210 | 11960 | 5.115982412 | 1.633837601 | 3.137975015 | 0.565816974 | 2.506028669 | 0.2505944 | 98210 |
| 150000 | 1 | 8 | 150000 | 150000 | 2 | 97960 | 97960 | 11597 | 4.858785307 | 1.647165757 | 2.872074398 | 0.574074002 | 2.231803514 | 0.265061064 | 97960 |
| 150000 | 1 | 9 | 150000 | 150000 | 2 | 98422 | 98422 | 12311 | 5.327401077 | 1.653696997 | 3.296907266 | 0.583230537 | 2.6468857 | 0.239040268 | 98422 |
| 160000 | 1 | 0 | 160000 | 160000 | 2 | 104809 | 104809 | 12764 | 5.413611245 | 1.753899129 | 3.253625322 | 0.554772889 | 2.62708176 | 0.277332836 | 104809 |
| 160000 | 1 | 1 | 160000 | 160000 | 2 | 104736 | 104736 | 12041 | 5.180526371 | 1.755584154 | 3.047974787 | 0.552660393 | 2.423316692 | 0.282131995 | 104736 |
| 160000 | 1 | 2 | 160000 | 160000 | 2 | 105357 | 105357 | 13124 | 5.462877794 | 1.75207744 | 3.299392518 | 0.555550183 | 2.67233249 | 0.269992552 | 105357 |
| 160000 | 1 | 3 | 160000 | 160000 | 2 | 105082 | 105082 | 12438 | 5.134563796 | 1.730090568 | 3.034500876 | 0.552380443 | 2.411077245 | 0.263569812 | 105082 |
| 160000 | 1 | 4 | 160000 | 160000 | 2 | 105268 | 105268 | 12063 | 5.091023835 | 1.734985455 | 2.983805154 | 0.558386199 | 2.352960234 | 0.256864157 | 105268 |
| 160000 | 1 | 5 | 160000 | 160000 | 2 | 104256 | 104256 | 12487 | 5.431687389 | 1.737341656 | 3.2900801 | 0.574433213 | 2.643243271 | 0.272561367 | 104256 |
| 160000 | 1 | 6 | 160000 | 160000 | 2 | 104686 | 104686 | 12465 | 5.280913408 | 1.7583244 | 3.098232133 | 0.558517743 | 2.467514219 | 0.267944903 | 104686 |
| 160000 | 1 | 7 | 160000 | 160000 | 2 | 105070 | 105070 | 12893 | 5.4467357 | 1.771163808 | 3.271982134 | 0.552677048 | 2.647541945 | 0.27193751 | 105070 |
| 160000 | 1 | 8 | 160000 | 160000 | 2 | 104067 | 104067 | 12612 | 5.510559824 | 1.732796322 | 3.375361897 | 0.551505069 | 2.751637236 | 0.283181036 | 104067 |
| 160000 | 1 | 9 | 160000 | 160000 | 2 | 104683 | 104683 | 12955 | 5.476821459 | 1.742660111 | 3.322719819 | 0.555859222 | 2.695381497 | 0.272989731 | 104683 |
| 170000 | 1 | 0 | 170000 | 170000 | 2 | 111232 | 111232 | 14138 | 6.160235107 | 1.795280802 | 3.773803546 | 0.67018494 | 3.004337578 | 0.313427797 | 111232 |
| 170000 | 1 | 1 | 170000 | 170000 | 2 | 111515 | 111515 | 14069 | 6.323942849 | 1.808427332 | 3.928144504 | 0.645564662 | 3.214819788 | 0.303169693 | 111515 |
| 170000 | 1 | 2 | 170000 | 170000 | 2 | 111410 | 111410 | 13322 | 6.050619652 | 1.795226118 | 3.639246382 | 0.644719471 | 2.927228123 | 0.287434147 | 111410 |
| 170000 | 1 | 3 | 170000 | 170000 | 2 | 111530 | 111530 | 13559 | 6.063843832 | 1.793230593 | 3.689430199 | 0.644887858 | 2.945571011 | 0.310330865 | 111530 |
| 170000 | 1 | 4 | 170000 | 170000 | 2 | 111153 | 111153 | 13532 | 6.071848735 | 1.831054583 | 3.629359022 | 0.628641866 | 2.932875005 | 0.320646436 | 111153 |
| 170000 | 1 | 5 | 170000 | 170000 | 2 | 111203 | 111203 | 13432 | 6.076686753 | 1.79953162 | 3.660656001 | 0.650203751 | 2.942526378 | 0.295326964 | 111203 |
| 170000 | 1 | 6 | 170000 | 170000 | 2 | 111830 | 111830 | 13548 | 6.076912142 | 1.794745522 | 3.69609161 | 0.648772721 | 2.949764056 | 0.310190598 | 111830 |
| 170000 | 1 | 7 | 170000 | 170000 | 2 | 111722 | 111722 | 14225 | 6.122092054 | 1.818769752 | 3.721088306 | 0.648051589 | 2.9746513 | 0.30267634 | 111722 |
| 170000 | 1 | 8 | 170000 | 170000 | 2 | 111333 | 111333 | 13460 | 6.019120253 | 1.828318648 | 3.571670678 | 0.625591525 | 2.876677423 | 0.300308666 | 111333 |
| 170000 | 1 | 9 | 170000 | 170000 | 2 | 111104 | 111104 | 14024 | 6.310595994 | 1.809845988 | 3.910658691 | 0.648235985 | 3.194725245 | 0.31328522 | 111104 |
| N | M | i | States | Edges | I | Q | Qs1 | Opts | t (s) | tp (s) | ta (s) | ti (s) | tr (s) | tv (s) | Qv |
|--------+---+---+--------+--------+---+--------+--------+-------+--------------+-------------+-------------+-------------+-------------+-------------+--------|
| 100000 | 1 | 0 | 100000 | 100000 | 2 | 65489 | 65489 | 8071 | 3.090418942 | 1.029257521 | 1.861948383 | 0.328673706 | 1.392791488 | 0.134144684 | 65489 |
| 100000 | 1 | 1 | 100000 | 100000 | 2 | 65912 | 65912 | 8413 | 3.108938053 | 1.010879236 | 1.898772498 | 0.324852464 | 1.448839488 | 0.128740365 | 65912 |
| 100000 | 1 | 2 | 100000 | 100000 | 2 | 65551 | 65551 | 8087 | 3.226284016 | 1.002811598 | 2.024931788 | 0.332001372 | 1.567582393 | 0.131146099 | 65551 |
| 100000 | 1 | 3 | 100000 | 100000 | 2 | 65473 | 65473 | 7919 | 3.051887477 | 1.009408854 | 1.845523985 | 0.323038515 | 1.381551998 | 0.135409477 | 65473 |
| 100000 | 1 | 4 | 100000 | 100000 | 2 | 65668 | 65668 | 8130 | 3.131196133 | 1.004897268 | 1.92738016 | 0.321685576 | 1.482568015 | 0.136392373 | 65668 |
| 100000 | 1 | 5 | 100000 | 100000 | 2 | 65857 | 65857 | 8264 | 3.138151577 | 1.019564955 | 1.917969114 | 0.330225925 | 1.463897169 | 0.133613369 | 65857 |
| 100000 | 1 | 6 | 100000 | 100000 | 2 | 65709 | 65709 | 8190 | 3.125807861 | 1.012800151 | 1.914870332 | 0.32505943 | 1.464654751 | 0.134245446 | 65709 |
| 100000 | 1 | 7 | 100000 | 100000 | 2 | 65777 | 65777 | 8199 | 3.103733509 | 1.006876374 | 1.898138763 | 0.322296575 | 1.452699306 | 0.136855992 | 65777 |
| 100000 | 1 | 8 | 100000 | 100000 | 2 | 65443 | 65443 | 7867 | 3.089412709 | 1.003632113 | 1.887783014 | 0.331641437 | 1.430431613 | 0.134312071 | 65443 |
| 100000 | 1 | 9 | 100000 | 100000 | 2 | 65551 | 65551 | 8353 | 3.175007591 | 1.007407203 | 1.966208791 | 0.323649855 | 1.519172145 | 0.133161502 | 65551 |
| 110000 | 1 | 0 | 110000 | 110000 | 2 | 72513 | 72513 | 9297 | 3.583623638 | 1.115609103 | 2.135438479 | 0.382718716 | 1.709379538 | 0.156874112 | 72513 |
| 110000 | 1 | 1 | 110000 | 110000 | 2 | 72154 | 72154 | 9232 | 3.627570506 | 1.103570537 | 2.189885346 | 0.36544056 | 1.781507161 | 0.144085569 | 72154 |
| 110000 | 1 | 2 | 110000 | 110000 | 2 | 71771 | 71771 | 9054 | 3.562237099 | 1.105080032 | 2.123648638 | 0.364379437 | 1.716464571 | 0.154521312 | 71771 |
| 110000 | 1 | 3 | 110000 | 110000 | 2 | 72036 | 72036 | 9000 | 3.465402602 | 1.104175201 | 2.028329005 | 0.382252627 | 1.582947338 | 0.148894505 | 72036 |
| 110000 | 1 | 4 | 110000 | 110000 | 2 | 71937 | 71937 | 8951 | 3.558752008 | 1.105804525 | 2.120581865 | 0.37868275 | 1.698635252 | 0.144977146 | 71937 |
| 110000 | 1 | 5 | 110000 | 110000 | 2 | 71792 | 71792 | 9055 | 3.603305467 | 1.103168135 | 2.161728608 | 0.366633907 | 1.751642064 | 0.153111461 | 71792 |
| 110000 | 1 | 6 | 110000 | 110000 | 2 | 71770 | 71770 | 8890 | 3.600811378 | 1.109044686 | 2.157865917 | 0.382314179 | 1.732870663 | 0.14781034 | 71770 |
| 110000 | 1 | 7 | 110000 | 110000 | 2 | 71872 | 71872 | 9105 | 3.526468424 | 1.115787775 | 2.078221198 | 0.38139662 | 1.654133087 | 0.143199962 | 71872 |
| 110000 | 1 | 8 | 110000 | 110000 | 2 | 71821 | 71821 | 9209 | 3.554558287 | 1.106931016 | 2.101587211 | 0.380784721 | 1.677697086 | 0.156406139 | 71821 |
| 110000 | 1 | 9 | 110000 | 110000 | 2 | 71886 | 71886 | 8496 | 3.4223644 | 1.113231918 | 1.978985167 | 0.374148003 | 1.540877846 | 0.150616037 | 71886 |
| 120000 | 1 | 0 | 120000 | 120000 | 2 | 78444 | 78444 | 9790 | 4.044083052 | 1.22089555 | 2.44686854 | 0.424892606 | 1.975084357 | 0.173854233 | 78444 |
| 120000 | 1 | 1 | 120000 | 120000 | 2 | 79064 | 79064 | 9263 | 3.710149224 | 1.214804905 | 2.097213639 | 0.40627247 | 1.643010328 | 0.16670665 | 79064 |
| 120000 | 1 | 2 | 120000 | 120000 | 2 | 78524 | 78524 | 9654 | 3.938946788 | 1.217641276 | 2.346316501 | 0.425755958 | 1.87338334 | 0.17600581 | 78524 |
| 120000 | 1 | 3 | 120000 | 120000 | 2 | 78399 | 78399 | 9588 | 3.971771578 | 1.228776231 | 2.369599418 | 0.407793587 | 1.91415154 | 0.173603882 | 78399 |
| 120000 | 1 | 4 | 120000 | 120000 | 2 | 78746 | 78746 | 9978 | 3.988636977 | 1.229441895 | 2.375189285 | 0.428107565 | 1.899082552 | 0.169995152 | 78746 |
| 120000 | 1 | 5 | 120000 | 120000 | 2 | 78615 | 78615 | 9663 | 3.938008292 | 1.232103189 | 2.328706998 | 0.428644184 | 1.852547968 | 0.169057935 | 78615 |
| 120000 | 1 | 6 | 120000 | 120000 | 2 | 78527 | 78527 | 9645 | 3.970203162 | 1.22990592 | 2.361789463 | 0.428056652 | 1.886277794 | 0.175214768 | 78527 |
| 120000 | 1 | 7 | 120000 | 120000 | 2 | 78774 | 78774 | 9675 | 3.953384523 | 1.229521193 | 2.346187673 | 0.427421114 | 1.87109108 | 0.174559227 | 78774 |
| 120000 | 1 | 8 | 120000 | 120000 | 2 | 78247 | 78247 | 9857 | 3.981651613 | 1.233029007 | 2.372190025 | 0.426377975 | 1.898751486 | 0.181812051 | 78247 |
| 120000 | 1 | 9 | 120000 | 120000 | 2 | 78928 | 78928 | 9693 | 3.829601322 | 1.218223075 | 2.234109856 | 0.424610468 | 1.739492118 | 0.163196799 | 78928 |
| 130000 | 1 | 0 | 130000 | 130000 | 2 | 85315 | 85315 | 10567 | 4.496630254 | 1.350185864 | 2.725690284 | 0.463947662 | 2.209744665 | 0.197830476 | 85315 |
| 130000 | 1 | 1 | 130000 | 130000 | 2 | 85142 | 85142 | 10403 | 4.342937024 | 1.337201086 | 2.560209662 | 0.46648121 | 2.041729717 | 0.188478467 | 85142 |
| 130000 | 1 | 2 | 130000 | 130000 | 2 | 84925 | 84925 | 10388 | 4.340346355 | 1.343248689 | 2.549159688 | 0.470840552 | 2.026643502 | 0.196708577 | 84925 |
| 130000 | 1 | 3 | 130000 | 130000 | 2 | 85122 | 85122 | 10224 | 4.325072141 | 1.346636564 | 2.532176279 | 0.465016216 | 2.015463288 | 0.192874629 | 85122 |
| 130000 | 1 | 4 | 130000 | 130000 | 2 | 84972 | 84972 | 10050 | 4.157620772 | 1.345743388 | 2.364910478 | 0.468773206 | 1.844103122 | 0.200949646 | 84972 |
| 130000 | 1 | 5 | 130000 | 130000 | 2 | 84995 | 84995 | 10729 | 4.445922674 | 1.341322827 | 2.681902811 | 0.468660831 | 2.140002118 | 0.226240593 | 84995 |
| 130000 | 1 | 6 | 130000 | 130000 | 2 | 85356 | 85356 | 9815 | 4.14208991 | 1.34305509 | 2.354709522 | 0.470155475 | 1.832324281 | 0.196692155 | 85356 |
| 130000 | 1 | 7 | 130000 | 130000 | 2 | 84961 | 84961 | 10513 | 4.406610962 | 1.328715031 | 2.649823902 | 0.465283683 | 2.108863585 | 0.195631672 | 84961 |
| 130000 | 1 | 8 | 130000 | 130000 | 2 | 85019 | 85019 | 10795 | 4.34992193 | 1.351010514 | 2.553603859 | 0.468264295 | 2.033701538 | 0.190065701 | 85019 |
| 130000 | 1 | 9 | 130000 | 130000 | 2 | 85572 | 85572 | 10741 | 4.341899661 | 1.34878337 | 2.545454159 | 0.467400417 | 2.026376139 | 0.197790981 | 85572 |
| 140000 | 1 | 0 | 140000 | 140000 | 2 | 91961 | 91961 | 11636 | 4.785633961 | 1.429755155 | 2.908650967 | 0.508993845 | 2.344014886 | 0.224317586 | 91961 |
| 140000 | 1 | 1 | 140000 | 140000 | 2 | 92261 | 92261 | 11446 | 4.869175696 | 1.440850625 | 2.969629031 | 0.490015676 | 2.423266125 | 0.214010397 | 92261 |
| 140000 | 1 | 2 | 140000 | 140000 | 2 | 91700 | 91700 | 10883 | 4.525186491 | 1.429946253 | 2.623965743 | 0.589262975 | 1.979096417 | 0.21107713 | 91700 |
| 140000 | 1 | 3 | 140000 | 140000 | 2 | 91529 | 91529 | 10873 | 4.763031452 | 1.43469886 | 2.867981765 | 0.488977323 | 2.322682854 | 0.21543578 | 91529 |
| 140000 | 1 | 4 | 140000 | 140000 | 2 | 91629 | 91629 | 11305 | 4.786165978 | 1.427493488 | 2.900078154 | 0.57321664 | 2.245201199 | 0.23427863 | 91629 |
| 140000 | 1 | 5 | 140000 | 140000 | 2 | 91880 | 91880 | 11470 | 4.83428426 | 1.429748273 | 2.944194491 | 0.49067493 | 2.397151544 | 0.220462138 | 91880 |
| 140000 | 1 | 6 | 140000 | 140000 | 2 | 91604 | 91604 | 11166 | 4.638033401 | 1.43262339 | 2.717577346 | 0.565435414 | 2.095427687 | 0.219351165 | 91604 |
| 140000 | 1 | 7 | 140000 | 140000 | 2 | 91511 | 91511 | 10132 | 4.494097405 | 1.436518961 | 2.586711282 | 0.612464606 | 1.916895669 | 0.228088975 | 91511 |
| 140000 | 1 | 8 | 140000 | 140000 | 2 | 92066 | 92066 | 11696 | 5.005829102 | 1.515282813 | 3.040166054 | 0.519872847 | 2.463503272 | 0.221593645 | 92066 |
| 140000 | 1 | 9 | 140000 | 140000 | 2 | 91879 | 91879 | 11445 | 4.873020022 | 1.432733643 | 2.977947848 | 0.488562877 | 2.432931357 | 0.225284717 | 91879 |
| 150000 | 1 | 0 | 150000 | 150000 | 2 | 98627 | 98627 | 11706 | 4.87874908 | 1.6648079 | 2.871211159 | 0.557953727 | 2.246941746 | 0.232801971 | 98627 |
| 150000 | 1 | 1 | 150000 | 150000 | 2 | 98261 | 98261 | 11998 | 5.053498174 | 1.638635224 | 3.073569116 | 0.566411168 | 2.441170162 | 0.260842737 | 98261 |
| 150000 | 1 | 2 | 150000 | 150000 | 2 | 98235 | 98235 | 12071 | 5.020194853 | 1.652143113 | 3.024943915 | 0.564898091 | 2.394127067 | 0.249948478 | 98235 |
| 150000 | 1 | 3 | 150000 | 150000 | 2 | 98312 | 98312 | 11705 | 4.993322009 | 1.639803476 | 3.005850198 | 0.559600904 | 2.381452894 | 0.250668565 | 98312 |
| 150000 | 1 | 4 | 150000 | 150000 | 2 | 98743 | 98743 | 12062 | 5.027550332 | 1.634849775 | 3.048277529 | 0.560757771 | 2.42163756 | 0.244345537 | 98743 |
| 150000 | 1 | 5 | 150000 | 150000 | 2 | 98223 | 98223 | 12114 | 5.122875915 | 1.643787445 | 3.137857417 | 0.563333104 | 2.508676615 | 0.235187336 | 98223 |
| 150000 | 1 | 6 | 150000 | 150000 | 2 | 98058 | 98058 | 12112 | 5.029908619 | 1.641798555 | 3.048464151 | 0.566356261 | 2.415904032 | 0.251638182 | 98058 |
| 150000 | 1 | 7 | 150000 | 150000 | 2 | 98210 | 98210 | 11960 | 5.082807396 | 1.623055534 | 3.118177094 | 0.563246208 | 2.488820486 | 0.244642605 | 98210 |
| 150000 | 1 | 8 | 150000 | 150000 | 2 | 97960 | 97960 | 11597 | 4.832574492 | 1.634116768 | 2.859206384 | 0.563952597 | 2.228513891 | 0.245505624 | 97960 |
| 150000 | 1 | 9 | 150000 | 150000 | 2 | 98422 | 98422 | 12311 | 5.254205812 | 1.641570462 | 3.241477264 | 0.561048378 | 2.614893926 | 0.25921745 | 98422 |
| 160000 | 1 | 0 | 160000 | 160000 | 2 | 104809 | 104809 | 12764 | 5.440070645 | 1.738349582 | 3.29496342 | 0.573287414 | 2.650413678 | 0.272580126 | 104809 |
| 160000 | 1 | 1 | 160000 | 160000 | 2 | 104736 | 104736 | 12041 | 5.164445291 | 1.740211137 | 3.046503543 | 0.554132548 | 2.420454444 | 0.270962312 | 104736 |
| 160000 | 1 | 2 | 160000 | 160000 | 2 | 105357 | 105357 | 13124 | 5.419971635 | 1.745238982 | 3.263228991 | 0.556133519 | 2.634783843 | 0.274127138 | 105357 |
| 160000 | 1 | 3 | 160000 | 160000 | 2 | 105082 | 105082 | 12438 | 5.229333287 | 1.747621002 | 3.107000357 | 0.558363145 | 2.47616425 | 0.263994342 | 105082 |
| 160000 | 1 | 4 | 160000 | 160000 | 2 | 105268 | 105268 | 12063 | 5.082048681 | 1.74809226 | 2.960825826 | 0.555949584 | 2.331742656 | 0.263435602 | 105268 |
| 160000 | 1 | 5 | 160000 | 160000 | 2 | 104256 | 104256 | 12487 | 5.422671634 | 1.746827086 | 3.271733078 | 0.557495636 | 2.643176684 | 0.267293552 | 104256 |
| 160000 | 1 | 6 | 160000 | 160000 | 2 | 104686 | 104686 | 12465 | 5.23858361 | 1.735106293 | 3.08249264 | 0.558101199 | 2.453024637 | 0.271405331 | 104686 |
| 160000 | 1 | 7 | 160000 | 160000 | 2 | 105070 | 105070 | 12893 | 5.425021324 | 1.74997715 | 3.271989538 | 0.55255752 | 2.647834339 | 0.286615979 | 105070 |
| 160000 | 1 | 8 | 160000 | 160000 | 2 | 104067 | 104067 | 12612 | 5.466025941 | 1.72077701 | 3.344051429 | 0.552210851 | 2.719644446 | 0.278253136 | 104067 |
| 160000 | 1 | 9 | 160000 | 160000 | 2 | 104683 | 104683 | 12955 | 5.445543346 | 1.736855611 | 3.302319902 | 0.552927518 | 2.678168574 | 0.27573911 | 104683 |
| 170000 | 1 | 0 | 170000 | 170000 | 2 | 111232 | 111232 | 14138 | 6.168860346 | 1.794201456 | 3.79426348 | 0.646182461 | 3.050866849 | 0.316425533 | 111232 |
| 170000 | 1 | 1 | 170000 | 170000 | 2 | 111515 | 111515 | 14069 | 6.291022894 | 1.806047037 | 3.901511142 | 0.649299151 | 3.184940069 | 0.312489109 | 111515 |
| 170000 | 1 | 2 | 170000 | 170000 | 2 | 111410 | 111410 | 13322 | 6.065010338 | 1.820236643 | 3.625553865 | 0.646420322 | 2.91112181 | 0.286363926 | 111410 |
| 170000 | 1 | 3 | 170000 | 170000 | 2 | 111530 | 111530 | 13559 | 6.083466882 | 1.79696291 | 3.702714542 | 0.650556016 | 2.953389729 | 0.315408512 | 111530 |
| 170000 | 1 | 4 | 170000 | 170000 | 2 | 111153 | 111153 | 13532 | 6.034167436 | 1.799491065 | 3.622846207 | 0.629077068 | 2.926017228 | 0.313858897 | 111153 |
| 170000 | 1 | 5 | 170000 | 170000 | 2 | 111203 | 111203 | 13432 | 6.016587597 | 1.799698199 | 3.602595388 | 0.649027157 | 2.885823847 | 0.29558384 | 111203 |
| 170000 | 1 | 6 | 170000 | 170000 | 2 | 111830 | 111830 | 13548 | 6.081547831 | 1.803101912 | 3.692775572 | 0.647747248 | 2.947152311 | 0.306056469 | 111830 |
| 170000 | 1 | 7 | 170000 | 170000 | 2 | 111722 | 111722 | 14225 | 6.118880544 | 1.801466529 | 3.731702997 | 0.650617257 | 2.981227424 | 0.302745422 | 111722 |
| 170000 | 1 | 8 | 170000 | 170000 | 2 | 111333 | 111333 | 13460 | 5.951473301 | 1.798359163 | 3.536319187 | 0.626822294 | 2.841167646 | 0.293359484 | 111333 |
| 170000 | 1 | 9 | 170000 | 170000 | 2 | 111104 | 111104 | 14024 | 6.322780834 | 1.803281674 | 3.937282214 | 0.648205194 | 3.221344806 | 0.308468407 | 111104 |
| 180000 | 1 | 0 | 180000 | 180000 | 2 | 118197 | 118197 | 14269 | 6.399882746 | 1.887676568 | 3.909145115 | 0.688854581 | 3.115447653 | 0.337145292 | 118197 |
| 180000 | 1 | 1 | 180000 | 180000 | 2 | 117899 | 117899 | 15008 | 6.59193564 | 1.904407536 | 4.08653053 | 0.665274738 | 3.346812896 | 0.371029427 | 117899 |
| 180000 | 1 | 2 | 180000 | 180000 | 2 | 117666 | 117666 | 13561 | 6.180263714 | 1.885404815 | 3.646186864 | 0.654902445 | 2.917396039 | 0.322655201 | 117666 |
| 180000 | 1 | 3 | 180000 | 180000 | 2 | 118429 | 118429 | 14730 | 6.683809119 | 1.887848416 | 4.181829556 | 0.65788037 | 3.450755587 | 0.33928549 | 118429 |
| 180000 | 1 | 4 | 180000 | 180000 | 2 | 117919 | 117919 | 14765 | 6.645367305 | 1.883886051 | 4.160680592 | 0.691621936 | 3.396849828 | 0.330699572 | 117919 |
| 180000 | 1 | 5 | 180000 | 180000 | 2 | 117831 | 117831 | 14368 | 6.570270358 | 1.899077345 | 4.07657936 | 0.688312904 | 3.316043289 | 0.362467943 | 117831 |
| 180000 | 1 | 6 | 180000 | 180000 | 2 | 118164 | 118164 | 14146 | 6.253575237 | 1.880088227 | 3.760370092 | 0.662409327 | 2.991572834 | 0.334099838 | 118164 |
| 180000 | 1 | 7 | 180000 | 180000 | 2 | 118052 | 118052 | 14371 | 6.445557412 | 1.878072219 | 3.955840363 | 0.687813284 | 3.196005552 | 0.347213376 | 118052 |
| 180000 | 1 | 8 | 180000 | 180000 | 2 | 118236 | 118236 | 14815 | 6.889289486 | 1.907757451 | 4.385984832 | 0.679527108 | 3.633801247 | 0.349703641 | 118236 |
| 180000 | 1 | 9 | 180000 | 180000 | 2 | 118382 | 118382 | 14925 | 6.736632409 | 1.891914072 | 4.247302756 | 0.68559706 | 3.489265896 | 0.334848585 | 118382 |
| 190000 | 1 | 0 | 190000 | 190000 | 2 | 123893 | 123893 | 14728 | 6.900986764 | 2.161582434 | 4.286226596 | 0.734762604 | 3.472067038 | 0.353948463 | 123893 |
| 190000 | 1 | 1 | 190000 | 190000 | 2 | 124576 | 124576 | 15159 | 6.898488004 | 2.174624047 | 4.27912098 | 0.700296369 | 3.498568863 | 0.35830138 | 124576 |
| 190000 | 1 | 2 | 190000 | 190000 | 2 | 125003 | 125003 | 15028 | 6.710198557 | 2.160130688 | 4.099515534 | 0.730724067 | 3.290501527 | 0.34505851 | 125003 |
| 190000 | 1 | 3 | 190000 | 190000 | 2 | 124525 | 124525 | 15349 | 7.034451859 | 2.17570743 | 4.4134223 | 0.714822027 | 3.618546002 | 0.351501335 | 124525 |
| 190000 | 1 | 4 | 190000 | 190000 | 2 | 124747 | 124747 | 15192 | 7.002408049 | 2.172273501 | 4.385477998 | 0.716428478 | 3.590030986 | 0.349493967 | 124747 |
| 190000 | 1 | 5 | 190000 | 190000 | 2 | 124560 | 124560 | 15457 | 7.05067543 | 2.157656357 | 4.436947595 | 0.847961622 | 3.506773273 | 0.371769263 | 124560 |
| 190000 | 1 | 6 | 190000 | 190000 | 2 | 124538 | 124538 | 15810 | 6.994375326 | 2.178560202 | 4.37305179 | 0.833612472 | 3.459327275 | 0.374734634 | 124538 |
| 190000 | 1 | 7 | 190000 | 190000 | 2 | 124769 | 124769 | 15347 | 6.859897755 | 2.172018642 | 4.242157485 | 0.715965149 | 3.445706969 | 0.385739932 | 124769 |
| 190000 | 1 | 8 | 190000 | 190000 | 2 | 124494 | 124494 | 15160 | 6.925273713 | 2.15971988 | 4.322267457 | 0.716420296 | 3.526599735 | 0.384269638 | 124494 |
| 190000 | 1 | 9 | 190000 | 190000 | 2 | 124557 | 124557 | 15285 | 6.897091465 | 2.18135559 | 4.271128314 | 0.718135681 | 3.472719135 | 0.35732001 | 124557 |
| 200000 | 1 | 0 | 200000 | 200000 | 2 | 131252 | 131252 | 16562 | 7.501766674 | 2.290347737 | 4.733828831 | 0.777096111 | 3.87381184 | 0.424507374 | 131252 |
| 200000 | 1 | 1 | 200000 | 200000 | 2 | 130414 | 130414 | 15929 | 7.314470042 | 2.300023248 | 4.546142615 | 0.74427866 | 3.719243714 | 0.428758608 | 130414 |
| 200000 | 1 | 2 | 200000 | 200000 | 2 | 130472 | 130472 | 15645 | 7.532480312 | 2.412615713 | 4.6471952 | 0.793080252 | 3.769570721 | 0.411414107 | 130472 |
| 200000 | 1 | 3 | 200000 | 200000 | 2 | 131201 | 131201 | 16704 | 7.921693365 | 2.28837716 | 5.120909431 | 0.763193167 | 4.274570419 | 0.379625197 | 131201 |
| 200000 | 1 | 4 | 200000 | 200000 | 2 | 130338 | 130338 | 16019 | 7.333021768 | 2.302058129 | 4.547763537 | 0.777164588 | 3.689658429 | 0.401041409 | 130338 |
| 200000 | 1 | 5 | 200000 | 200000 | 2 | 131308 | 131308 | 16144 | 7.461368238 | 2.329180847 | 4.645205799 | 0.777043676 | 3.785984536 | 0.434666287 | 131308 |
| 200000 | 1 | 6 | 200000 | 200000 | 2 | 130142 | 130142 | 15625 | 7.263421771 | 2.297130478 | 4.488145182 | 0.775779486 | 3.630773898 | 0.385860234 | 130142 |
| 200000 | 1 | 7 | 200000 | 200000 | 2 | 130897 | 130897 | 15694 | 7.089368287 | 2.294700687 | 4.323368884 | 0.761099811 | 3.442399339 | 0.402031887 | 130897 |
| 200000 | 1 | 8 | 200000 | 200000 | 2 | 131111 | 131111 | 15630 | 7.153170481 | 2.296633907 | 4.375205575 | 0.758395281 | 3.536094842 | 0.406151482 | 131111 |
| 200000 | 1 | 9 | 200000 | 200000 | 2 | 131658 | 131658 | 15813 | 7.345773525 | 2.290669569 | 4.585029803 | 0.761367922 | 3.740556123 | 0.384697184 | 131658 |
| 210000 | 1 | 0 | 210000 | 210000 | 2 | 137501 | 137501 | 17008 | 8.041410976 | 2.403339336 | 5.123146016 | 0.942056976 | 4.091394929 | 0.409698156 | 137501 |
| 210000 | 1 | 1 | 210000 | 210000 | 2 | 137135 | 137135 | 15957 | 7.741675231 | 2.396214712 | 4.837474255 | 0.943700366 | 3.803742428 | 0.421952086 | 137135 |
| 210000 | 1 | 2 | 210000 | 210000 | 2 | 137287 | 137287 | 15418 | 7.212113427 | 2.377236587 | 4.291066239 | 0.940134423 | 3.261723983 | 0.424028043 | 137287 |
| 210000 | 1 | 3 | 210000 | 210000 | 2 | 137678 | 137678 | 16996 | 7.852423325 | 2.400356141 | 4.948782914 | 0.944696767 | 3.914108096 | 0.435767402 | 137678 |
| 210000 | 1 | 4 | 210000 | 210000 | 2 | 137689 | 137689 | 16467 | 7.706523853 | 2.408438126 | 4.788697876 | 0.948561505 | 3.749344946 | 0.414052643 | 137689 |
| 210000 | 1 | 5 | 210000 | 210000 | 2 | 137048 | 137048 | 16582 | 7.944378905 | 2.402098191 | 5.03439182 | 0.951142524 | 3.995750467 | 0.426074004 | 137048 |
| 210000 | 1 | 6 | 210000 | 210000 | 2 | 137675 | 137675 | 17013 | 7.872924876 | 2.393076388 | 4.97605133 | 0.947243336 | 3.939171511 | 0.456742565 | 137675 |
| 210000 | 1 | 7 | 210000 | 210000 | 2 | 137782 | 137782 | 17222 | 7.851843478 | 2.386854521 | 4.953363162 | 0.942257674 | 3.922594883 | 0.472598536 | 137782 |
| 210000 | 1 | 8 | 210000 | 210000 | 2 | 137457 | 137457 | 17269 | 7.941092926 | 2.400592639 | 5.019741544 | 0.96243323 | 3.969171412 | 0.456810118 | 137457 |
| 210000 | 1 | 9 | 210000 | 210000 | 2 | 137666 | 137666 | 16679 | 7.65857879 | 2.381422353 | 4.777175065 | 0.940556494 | 3.748671504 | 0.421552087 | 137666 |
| 220000 | 1 | 0 | 220000 | 220000 | 2 | 144061 | 144061 | 17847 | 8.669095907 | 2.545385024 | 5.537661442 | 0.861795041 | 4.581711535 | 0.434233353 | 144061 |
| 220000 | 1 | 1 | 220000 | 220000 | 2 | 143962 | 143962 | 17924 | 8.318288059 | 2.512176282 | 5.279486794 | 0.841207079 | 4.343627504 | 0.478695353 | 143962 |
| 220000 | 1 | 2 | 220000 | 220000 | 2 | 144022 | 144022 | 17751 | 8.578085453 | 2.518105343 | 5.476536271 | 0.858895534 | 4.525636131 | 0.453601706 | 144022 |
| 220000 | 1 | 3 | 220000 | 220000 | 2 | 143831 | 143831 | 16007 | 7.698838517 | 2.524429064 | 4.629894943 | 0.858350426 | 3.63611909 | 0.457531583 | 143831 |
| 220000 | 1 | 4 | 220000 | 220000 | 2 | 144524 | 144524 | 17382 | 8.273610384 | 2.527772666 | 5.206568723 | 0.858430052 | 4.254333768 | 0.446028672 | 144524 |
| 220000 | 1 | 5 | 220000 | 220000 | 2 | 144219 | 144219 | 16792 | 8.064943676 | 2.535638022 | 4.988759882 | 0.864193856 | 4.030824969 | 0.465423993 | 144219 |
| 220000 | 1 | 6 | 220000 | 220000 | 2 | 144053 | 144053 | 17449 | 8.342951384 | 2.528450286 | 5.273498833 | 0.863906134 | 4.315790117 | 0.458714232 | 144053 |
| 220000 | 1 | 7 | 220000 | 220000 | 2 | 143664 | 143664 | 17853 | 8.604525287 | 2.54432029 | 5.478018839 | 0.863750754 | 4.519996727 | 0.489311152 | 143664 |
| 220000 | 1 | 8 | 220000 | 220000 | 2 | 144603 | 144603 | 17247 | 8.038770401 | 2.531384236 | 4.969336395 | 0.859721024 | 4.016490586 | 0.438631087 | 144603 |
| 220000 | 1 | 9 | 220000 | 220000 | 2 | 144014 | 144014 | 17534 | 8.253180489 | 2.533094252 | 5.189130014 | 0.845358612 | 4.248644903 | 0.450726977 | 144014 |
| 230000 | 1 | 0 | 230000 | 230000 | 2 | 150310 | 150310 | 17731 | 8.310385661 | 2.627288746 | 5.126576882 | 1.012838289 | 4.012415445 | 0.472023176 | 150310 |
| 230000 | 1 | 1 | 230000 | 230000 | 2 | 150614 | 150614 | 18286 | 8.850914286 | 2.653181854 | 5.555712184 | 1.032394359 | 4.424215084 | 0.534918245 | 150614 |
| 230000 | 1 | 2 | 230000 | 230000 | 2 | 150045 | 150045 | 18470 | 8.901776764 | 2.651087917 | 5.642981332 | 1.018398605 | 4.523348677 | 0.480107241 | 150045 |
| 230000 | 1 | 3 | 230000 | 230000 | 2 | 151151 | 151151 | 19032 | 9.161537892 | 2.624767484 | 5.925766944 | 1.026628763 | 4.79818448 | 0.492935426 | 151151 |
| 230000 | 1 | 4 | 230000 | 230000 | 2 | 150433 | 150433 | 19473 | 8.893856489 | 2.639158704 | 5.644482115 | 1.021033059 | 4.522405807 | 0.519523569 | 150433 |
| 230000 | 1 | 5 | 230000 | 230000 | 2 | 151042 | 151042 | 19176 | 8.874304794 | 2.615782409 | 5.642420608 | 1.027906535 | 4.515114968 | 0.499868164 | 151042 |
| 230000 | 1 | 6 | 230000 | 230000 | 2 | 150671 | 150671 | 17738 | 8.430467737 | 2.616624791 | 5.258739268 | 1.017196006 | 4.139772202 | 0.513665986 | 150671 |
| 230000 | 1 | 7 | 230000 | 230000 | 2 | 150828 | 150828 | 18530 | 8.680881471 | 2.624730177 | 5.495091539 | 1.055239464 | 4.339090618 | 0.525135532 | 150828 |
| 230000 | 1 | 8 | 230000 | 230000 | 2 | 150549 | 150549 | 18563 | 8.976734652 | 2.6574307 | 5.692591009 | 1.028878404 | 4.563868735 | 0.498219728 | 150549 |
| 230000 | 1 | 9 | 230000 | 230000 | 2 | 151016 | 151016 | 18035 | 8.559480359 | 2.616094984 | 5.383410728 | 1.019994484 | 4.261937361 | 0.5079374 | 151016 |
| 240000 | 1 | 0 | 240000 | 240000 | 2 | 157139 | 157139 | 18612 | 8.815972912 | 2.74773998 | 5.48311889 | 1.087140152 | 4.292111659 | 0.57189365 | 157139 |
| 240000 | 1 | 1 | 240000 | 240000 | 2 | 157608 | 157608 | 19252 | 9.157400044 | 2.771516517 | 5.792792991 | 1.104238642 | 4.585645223 | 0.540382115 | 157608 |
| 240000 | 1 | 2 | 240000 | 240000 | 2 | 157646 | 157646 | 20024 | 9.781766985 | 2.770280889 | 6.365296777 | 1.103147254 | 5.156231439 | 0.531953967 | 157646 |
| 240000 | 1 | 3 | 240000 | 240000 | 2 | 156622 | 156622 | 19369 | 9.367733297 | 2.758797231 | 6.017452665 | 1.094654537 | 4.817963485 | 0.549178664 | 156622 |
| 240000 | 1 | 4 | 240000 | 240000 | 2 | 157345 | 157345 | 19699 | 9.758490449 | 2.770374206 | 6.338868771 | 1.120063219 | 5.115686793 | 0.522267916 | 157345 |
| 240000 | 1 | 5 | 240000 | 240000 | 2 | 157221 | 157221 | 19449 | 9.15696264 | 2.770948598 | 5.783570148 | 1.110696326 | 4.569368463 | 0.553962177 | 157221 |
| 240000 | 1 | 6 | 240000 | 240000 | 2 | 156929 | 156929 | 19481 | 9.33711475 | 2.758312879 | 5.992392294 | 1.085176846 | 4.802884048 | 0.561701544 | 156929 |
| 240000 | 1 | 7 | 240000 | 240000 | 2 | 157431 | 157431 | 19737 | 9.480237235 | 2.740959893 | 6.092215797 | 1.084837778 | 4.902966712 | 0.502511967 | 157431 |
| 240000 | 1 | 8 | 240000 | 240000 | 2 | 157398 | 157398 | 19422 | 9.343251503 | 2.725190387 | 6.000660595 | 1.073390483 | 4.825764661 | 0.532866407 | 157398 |
| 240000 | 1 | 9 | 240000 | 240000 | 2 | 157057 | 157057 | 18490 | 8.582717593 | 2.703775099 | 5.302892817 | 1.056925038 | 4.144808802 | 0.536938491 | 157057 |
| 250000 | 1 | 0 | 250000 | 250000 | 2 | 164155 | 164155 | 20499 | 9.60557815 | 2.822196904 | 6.136753035 | 0.934586401 | 5.096747938 | 0.570337366 | 164155 |
| 250000 | 1 | 1 | 250000 | 250000 | 2 | 163799 | 163799 | 20090 | 9.765207872 | 2.822791811 | 6.28078652 | 0.9555997 | 5.221866039 | 0.5819578 | 163799 |
| 250000 | 1 | 2 | 250000 | 250000 | 2 | 163795 | 163795 | 19435 | 9.122273726 | 2.817267273 | 5.690582319 | 0.955516537 | 4.630858254 | 0.574494614 | 163795 |
| 250000 | 1 | 3 | 250000 | 250000 | 2 | 163882 | 163882 | 20565 | 9.733671852 | 2.83933094 | 6.230632543 | 1.104118097 | 5.022094244 | 0.546038473 | 163882 |
| 250000 | 1 | 4 | 250000 | 250000 | 2 | 163488 | 163488 | 19736 | 9.42577444 | 2.827970226 | 6.003941266 | 0.950475659 | 4.946863585 | 0.579136603 | 163488 |
| 250000 | 1 | 5 | 250000 | 250000 | 2 | 163040 | 163040 | 20113 | 9.585754001 | 2.825224281 | 6.101184877 | 0.949185342 | 5.048083201 | 0.573078765 | 163040 |
| 250000 | 1 | 6 | 250000 | 250000 | 2 | 164270 | 164270 | 19386 | 9.19282763 | 2.840616946 | 5.751106153 | 0.942298045 | 4.702955477 | 0.572438797 | 164270 |
| 250000 | 1 | 7 | 250000 | 250000 | 2 | 163551 | 163551 | 19810 | 9.267103056 | 2.833960096 | 5.830650066 | 0.948962675 | 4.778918365 | 0.549960572 | 163551 |
| 250000 | 1 | 8 | 250000 | 250000 | 2 | 163657 | 163657 | 20139 | 9.437199933 | 2.807412327 | 5.96740992 | 0.929643275 | 4.933262311 | 0.58148418 | 163657 |
| 250000 | 1 | 9 | 250000 | 250000 | 2 | 164412 | 164412 | 20005 | 9.573767442 | 2.835445074 | 6.092619835 | 0.929378761 | 5.057647231 | 0.571809639 | 164412 |
| 260000 | 1 | 0 | 260000 | 260000 | 2 | 170681 | 170681 | 20415 | 9.4548144 | 2.930642649 | 5.889017916 | 1.105724873 | 4.671796122 | 0.550283763 | 170681 |
| 260000 | 1 | 1 | 260000 | 260000 | 2 | 169673 | 169673 | 20584 | 9.590741172 | 2.915821966 | 6.051150871 | 1.078916389 | 4.858871158 | 0.606429393 | 169673 |
| 260000 | 1 | 2 | 260000 | 260000 | 2 | 169714 | 169714 | 20638 | 9.866056656 | 2.910540007 | 6.279885217 | 1.092830522 | 5.074247433 | 0.617775182 | 169714 |
| 260000 | 1 | 3 | 260000 | 260000 | 2 | 170275 | 170275 | 20738 | 9.97812243 | 2.915090305 | 6.389943714 | 1.094404504 | 5.182674507 | 0.55613254 | 170275 |
| 260000 | 1 | 4 | 260000 | 260000 | 2 | 170569 | 170569 | 20990 | 9.789765173 | 2.911049224 | 6.195948999 | 1.086773541 | 4.996391502 | 0.641643796 | 170569 |
| 260000 | 1 | 5 | 260000 | 260000 | 2 | 170612 | 170612 | 19707 | 9.111092709 | 2.911439929 | 5.577325876 | 1.076905109 | 4.388617693 | 0.562255785 | 170612 |
| 260000 | 1 | 6 | 260000 | 260000 | 2 | 170532 | 170532 | 21402 | 9.908742138 | 2.90222627 | 6.324748882 | 1.102120351 | 5.112509739 | 0.597304417 | 170532 |
| 260000 | 1 | 7 | 260000 | 260000 | 2 | 170002 | 170002 | 19791 | 9.437899396 | 2.910546682 | 5.894809996 | 1.101619829 | 4.681988044 | 0.626214093 | 170002 |
| 260000 | 1 | 8 | 260000 | 260000 | 2 | 170169 | 170169 | 20431 | 9.857592193 | 2.906946936 | 6.27132285 | 1.09868213 | 5.061145086 | 0.586025964 | 170169 |
| 260000 | 1 | 9 | 260000 | 260000 | 2 | 170493 | 170493 | 20194 | 9.385833214 | 2.908785965 | 5.846454599 | 1.10610514 | 4.629300513 | 0.581113361 | 170493 |
| 270000 | 1 | 0 | 270000 | 270000 | 2 | 177419 | 177419 | 22189 | 10.689381872 | 3.080717335 | 6.89093731 | 1.194186556 | 5.580800268 | 0.59785875 | 177419 |
| 270000 | 1 | 1 | 270000 | 270000 | 2 | 176846 | 176846 | 21447 | 10.299967542 | 3.019579518 | 6.634314668 | 1.167149517 | 5.352308427 | 0.644087616 | 176846 |
| 270000 | 1 | 2 | 270000 | 270000 | 2 | 177200 | 177200 | 21096 | 9.852972777 | 3.037923152 | 6.166210003 | 1.173188819 | 4.876581258 | 0.592539765 | 177200 |
| 270000 | 1 | 3 | 270000 | 270000 | 2 | 176612 | 176612 | 21777 | 10.282605222 | 3.041046279 | 6.591089515 | 1.14796408 | 5.327337908 | 0.612531435 | 176612 |
| 270000 | 1 | 4 | 270000 | 270000 | 2 | 177296 | 177296 | 20837 | 9.776640558 | 3.038335321 | 6.087881823 | 1.17535362 | 4.795954983 | 0.638223713 | 177296 |
| 270000 | 1 | 5 | 270000 | 270000 | 2 | 176611 | 176611 | 21444 | 10.500645576 | 3.053852266 | 6.740246334 | 1.146873701 | 5.477494592 | 0.63675463 | 176611 |
| 270000 | 1 | 6 | 270000 | 270000 | 2 | 176888 | 176888 | 22016 | 10.538372465 | 3.070766221 | 6.815931971 | 1.210888556 | 5.481491521 | 0.640227132 | 176888 |
| 270000 | 1 | 7 | 270000 | 270000 | 2 | 176571 | 176571 | 21891 | 10.765028727 | 3.033038125 | 7.032778841 | 1.189691099 | 5.726028081 | 0.628098181 | 176571 |
| 270000 | 1 | 8 | 270000 | 270000 | 2 | 176523 | 176523 | 22648 | 10.795500125 | 3.035613661 | 7.061060684 | 1.165833564 | 5.780602599 | 0.671489039 | 176523 |
| 270000 | 1 | 9 | 270000 | 270000 | 2 | 176549 | 176549 | 21041 | 10.198250889 | 3.030090479 | 6.522306993 | 1.16941795 | 5.238104309 | 0.651520711 | 176549 |
| 280000 | 1 | 0 | 280000 | 280000 | 2 | 183598 | 183598 | 23254 | 10.707345637 | 3.12594362 | 6.846144329 | 1.042242054 | 5.676629961 | 0.678939611 | 183598 |
| 280000 | 1 | 1 | 280000 | 280000 | 2 | 183411 | 183411 | 22220 | 10.565084738 | 3.109234517 | 6.717684789 | 1.029231563 | 5.564469962 | 0.693535243 | 183411 |
| 280000 | 1 | 2 | 280000 | 280000 | 2 | 184056 | 184056 | 23451 | 11.091024335 | 3.096977688 | 7.312582168 | 1.037470722 | 6.102368581 | 0.613608554 | 184056 |
| 280000 | 1 | 3 | 280000 | 280000 | 2 | 183148 | 183148 | 22543 | 10.541255626 | 3.101419148 | 6.695550284 | 1.020266867 | 5.549581829 | 0.688000785 | 183148 |
| 280000 | 1 | 4 | 280000 | 280000 | 2 | 183020 | 183020 | 22790 | 10.563007126 | 3.103572056 | 6.725438094 | 1.02641916 | 5.572920965 | 0.659520079 | 183020 |
| 280000 | 1 | 5 | 280000 | 280000 | 2 | 183175 | 183175 | 22252 | 10.74211594 | 3.127961086 | 6.869822513 | 1.032502365 | 5.711579782 | 0.61829214 | 183175 |
| 280000 | 1 | 6 | 280000 | 280000 | 2 | 183674 | 183674 | 22445 | 10.846812933 | 3.130509433 | 6.966774772 | 1.03071281 | 5.813079371 | 0.643883661 | 183674 |
| 280000 | 1 | 7 | 280000 | 280000 | 2 | 183458 | 183458 | 22356 | 10.558548553 | 3.099913925 | 6.726646702 | 1.035148717 | 5.565872566 | 0.614459156 | 183458 |
| 280000 | 1 | 8 | 280000 | 280000 | 2 | 183022 | 183022 | 20824 | 9.800448926 | 3.122052285 | 5.98520867 | 1.040402131 | 4.820086203 | 0.626547431 | 183022 |
| 280000 | 1 | 9 | 280000 | 280000 | 2 | 183171 | 183171 | 22565 | 10.545346725 | 3.131769483 | 6.66417774 | 1.041565284 | 5.497697244 | 0.68598763 | 183171 |
| 290000 | 1 | 0 | 290000 | 290000 | 2 | 190044 | 190044 | 22976 | 10.92077822 | 3.214080215 | 6.934844505 | 1.014736808 | 5.790384 | 0.691925568 | 190044 |
| 290000 | 1 | 1 | 290000 | 290000 | 2 | 189806 | 189806 | 23292 | 10.843386214 | 3.215425947 | 6.852131514 | 1.021619776 | 5.697462828 | 0.703619281 | 189806 |
| 290000 | 1 | 2 | 290000 | 290000 | 2 | 190197 | 190197 | 22354 | 10.397205167 | 3.226330292 | 6.393833166 | 1.012785386 | 5.251509419 | 0.733568292 | 190197 |
| 290000 | 1 | 3 | 290000 | 290000 | 2 | 190324 | 190324 | 23564 | 11.441253374 | 3.220414777 | 7.508093618 | 1.027947969 | 6.347256823 | 0.664929487 | 190324 |
| 290000 | 1 | 4 | 290000 | 290000 | 2 | 190272 | 190272 | 22463 | 10.536742866 | 3.218774317 | 6.551271321 | 1.028759609 | 5.390552493 | 0.700022212 | 190272 |
| 290000 | 1 | 5 | 290000 | 290000 | 2 | 190136 | 190136 | 23381 | 11.236277163 | 3.206357594 | 7.31621001 | 1.024936209 | 6.111820107 | 0.691577028 | 190136 |
| 290000 | 1 | 6 | 290000 | 290000 | 2 | 190678 | 190678 | 23072 | 10.9148769 | 3.223648571 | 6.924738285 | 1.030530888 | 5.761589518 | 0.711657323 | 190678 |
| 290000 | 1 | 7 | 290000 | 290000 | 2 | 190946 | 190946 | 22889 | 10.56511376 | 3.227557879 | 6.560143815 | 1.021750427 | 5.407384 | 0.690981759 | 190946 |
| 290000 | 1 | 8 | 290000 | 290000 | 2 | 190053 | 190053 | 23433 | 10.908398565 | 3.209551958 | 6.929929038 | 1.01080225 | 5.787722801 | 0.707466444 | 190053 |
| 290000 | 1 | 9 | 290000 | 290000 | 2 | 189700 | 189700 | 23564 | 11.167754785 | 3.198865208 | 7.264370827 | 1.024548376 | 6.059374361 | 0.658562025 | 189700 |
| 300000 | 1 | 0 | 300000 | 300000 | 2 | 197133 | 197133 | 23844 | 11.290930841 | 3.292479571 | 7.254842007 | 0.739282109 | 6.051628224 | 0.684718157 | 197133 |
| 300000 | 1 | 1 | 300000 | 300000 | 2 | 196650 | 196650 | 24747 | 11.747530758 | 3.266119091 | 7.742190827 | 1.050865719 | 6.551144967 | 0.728950319 | 196650 |
| 300000 | 1 | 2 | 300000 | 300000 | 2 | 196403 | 196403 | 24759 | 12.062785334 | 3.295742322 | 7.946142871 | 0.738346077 | 6.751236901 | 0.74227076 | 196403 |
| 300000 | 1 | 3 | 300000 | 300000 | 2 | 196270 | 196270 | 24044 | 11.276732836 | 3.303501308 | 7.234669539 | 1.049454402 | 6.043991894 | 0.74733691 | 196270 |
| 300000 | 1 | 4 | 300000 | 300000 | 2 | 196354 | 196354 | 24166 | 11.519037176 | 3.292506598 | 7.472094511 | 1.049057767 | 6.282284293 | 0.781757696 | 196354 |
| 300000 | 1 | 5 | 300000 | 300000 | 2 | 196996 | 196996 | 24758 | 11.517524274 | 3.285781745 | 7.486309733 | 1.05492982 | 6.289337414 | 0.76825964 | 196996 |
| 300000 | 1 | 6 | 300000 | 300000 | 2 | 197385 | 197385 | 24911 | 12.271921845 | 3.408291823 | 8.101506133 | 1.096258241 | 6.864540233 | 0.727420201 | 197385 |
| 300000 | 1 | 7 | 300000 | 300000 | 2 | 196983 | 196983 | 24370 | 11.700670367 | 3.284961744 | 7.659590979 | 1.046525693 | 6.472569943 | 0.710060576 | 196983 |
| 300000 | 1 | 8 | 300000 | 300000 | 2 | 196764 | 196764 | 23885 | 11.355408019 | 3.28628696 | 7.327721993 | 1.052316196 | 6.135234582 | 0.773097422 | 196764 |
| 300000 | 1 | 9 | 300000 | 300000 | 2 | 196322 | 196322 | 24157 | 11.656118582 | 3.275123115 | 7.642015947 | 1.04603912 | 6.454546005 | 0.724228232 | 196322 |
#+begin_src python :var data=results1indiv
return all(x[3] != x[6] for x in data)
return (all(x[3] != x[6] for x in data), data[0][3], data[0][6])
#+end_src
#+RESULTS:
: True
| True | 100000 | 65489 |
=> Zumindest für den ersten Teil gilt die Aussage das /keins/ schon minimal ist.
=> /kein/ Modell war bereits minimal!
*** And plotting
......
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