Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943000520.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-PT-S02J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 19K Feb 26 14:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 14:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 21K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 42K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 232K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 103K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 601K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678799236503

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S02J06T06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 536 places, 1064 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 349952 SOS 193804 HAS SOPS 190980 HAS SOUS 110674 HAS SOUPS 110339 WITH SCORE 110532.804
AT ITER 4 NEW BEST:: SOT 349886 SOS 193725 HAS SOPS 190957 HAS SOUS 110577 HAS SOUPS 110242 WITH SCORE 110435.725
AT ITER 6 NEW BEST:: SOT 349858 SOS 193655 HAS SOPS 190887 HAS SOUS 110521 HAS SOUPS 110186 WITH SCORE 110379.655
AT ITER 10 NEW BEST:: SOT 349775 SOS 193538 HAS SOPS 190770 HAS SOUS 110423 HAS SOUPS 110088 WITH SCORE 110281.538
AT ITER 13 NEW BEST:: SOT 349738 SOS 193464 HAS SOPS 190696 HAS SOUS 110402 HAS SOUPS 110067 WITH SCORE 110260.464
AT ITER 22 NEW BEST:: SOT 344806 SOS 188690 HAS SOPS 185922 HAS SOUS 108358 HAS SOUPS 108023 WITH SCORE 108211.69
AT ITER 24 NEW BEST:: SOT 344766 SOS 188610 HAS SOPS 185842 HAS SOUS 108352 HAS SOUPS 108017 WITH SCORE 108205.61
AT ITER 26 NEW BEST:: SOT 343406 SOS 187295 HAS SOPS 184527 HAS SOUS 107046 HAS SOUPS 106711 WITH SCORE 106898.295
AT ITER 30 NEW BEST:: SOT 343361 SOS 187117 HAS SOPS 184349 HAS SOUS 106956 HAS SOUPS 106621 WITH SCORE 106808.117
AT ITER 46 NEW BEST:: SOT 339746 SOS 190030 HAS SOPS 188984 HAS SOUS 103735 HAS SOUPS 103535 WITH SCORE 103725.03
AT ITER 68 NEW BEST:: SOT 339706 SOS 189402 HAS SOPS 188413 HAS SOUS 103645 HAS SOUPS 103443 WITH SCORE 103632.402
AT ITER 75 NEW BEST:: SOT 339706 SOS 189402 HAS SOPS 188413 HAS SOUS 103624 HAS SOUPS 103422 WITH SCORE 103611.402
AT ITER 87 NEW BEST:: SOT 339503 SOS 188982 HAS SOPS 187993 HAS SOUS 103279 HAS SOUPS 103077 WITH SCORE 103265.982
AT ITER 89 NEW BEST:: SOT 336313 SOS 185743 HAS SOPS 184754 HAS SOUS 101849 HAS SOUPS 101647 WITH SCORE 101832.743
AT ITER 90 NEW BEST:: SOT 334496 SOS 183914 HAS SOPS 182925 HAS SOUS 101061 HAS SOUPS 100859 WITH SCORE 101042.914
AT ITER 93 NEW BEST:: SOT 331257 SOS 181227 HAS SOPS 179686 HAS SOUS 97935 HAS SOUPS 97585 WITH SCORE 97766.227
AT ITER 98 NEW BEST:: SOT 331238 SOS 181364 HAS SOPS 179823 HAS SOUS 97934 HAS SOUPS 97584 WITH SCORE 97765.364
AT ITER 135 NEW BEST:: SOT 331195 SOS 181278 HAS SOPS 179737 HAS SOUS 97848 HAS SOUPS 97498 WITH SCORE 97679.278
AT ITER 141 NEW BEST:: SOT 331161 SOS 181244 HAS SOPS 179703 HAS SOUS 97810 HAS SOUPS 97460 WITH SCORE 97641.244
AT ITER 144 NEW BEST:: SOT 331139 SOS 181222 HAS SOPS 179669 HAS SOUS 97818 HAS SOUPS 97459 WITH SCORE 97640.222
AT ITER 154 NEW BEST:: SOT 331139 SOS 181222 HAS SOPS 179669 HAS SOUS 97734 HAS SOUPS 97375 WITH SCORE 97556.222
AT ITER 160 NEW BEST:: SOT 330685 SOS 180868 HAS SOPS 179315 HAS SOUS 97445 HAS SOUPS 97086 WITH SCORE 97266.868
AT ITER 182 NEW BEST:: SOT 330577 SOS 180688 HAS SOPS 179135 HAS SOUS 97229 HAS SOUPS 96870 WITH SCORE 97050.688
AT ITER 187 NEW BEST:: SOT 330577 SOS 180580 HAS SOPS 178909 HAS SOUS 97111 HAS SOUPS 96752 WITH SCORE 96932.58
AT ITER 192 NEW BEST:: SOT 330577 SOS 180628 HAS SOPS 179053 HAS SOUS 97053 HAS SOUPS 96710 WITH SCORE 96890.628
AT ITER 194 NEW BEST:: SOT 330577 SOS 180412 HAS SOPS 178837 HAS SOUS 97053 HAS SOUPS 96710 WITH SCORE 96890.412
AT ITER 195 NEW BEST:: SOT 325353 SOS 178720 HAS SOPS 177145 HAS SOUS 95307 HAS SOUPS 94964 WITH SCORE 95142.72
AT ITER 207 NEW BEST:: SOT 321790 SOS 175239 HAS SOPS 173664 HAS SOUS 94007 HAS SOUPS 93664 WITH SCORE 93839.239
AT ITER 221 NEW BEST:: SOT 321788 SOS 175350 HAS SOPS 173775 HAS SOUS 93961 HAS SOUPS 93618 WITH SCORE 93793.35
AT ITER 237 NEW BEST:: SOT 321757 SOS 175288 HAS SOPS 173713 HAS SOUS 93899 HAS SOUPS 93556 WITH SCORE 93731.288
AT ITER 244 NEW BEST:: SOT 321485 SOS 175016 HAS SOPS 173441 HAS SOUS 93686 HAS SOUPS 93343 WITH SCORE 93518.016
AT ITER 249 NEW BEST:: SOT 321436 SOS 175265 HAS SOPS 173690 HAS SOUS 93615 HAS SOUPS 93272 WITH SCORE 93447.265
AT ITER 252 NEW BEST:: SOT 321468 SOS 175297 HAS SOPS 173722 HAS SOUS 93607 HAS SOUPS 93264 WITH SCORE 93439.297
AT ITER 253 NEW BEST:: SOT 321468 SOS 175297 HAS SOPS 173722 HAS SOUS 93576 HAS SOUPS 93233 WITH SCORE 93408.297
AT ITER 280 NEW BEST:: SOT 321468 SOS 175297 HAS SOPS 173722 HAS SOUS 93533 HAS SOUPS 93190 WITH SCORE 93365.297
AT ITER 290 NEW BEST:: SOT 321448 SOS 175257 HAS SOPS 173682 HAS SOUS 93533 HAS SOUPS 93190 WITH SCORE 93365.257
AT ITER 299 NEW BEST:: SOT 320886 SOS 174804 HAS SOPS 173229 HAS SOUS 93157 HAS SOUPS 92814 WITH SCORE 92988.804
AT ITER 302 NEW BEST:: SOT 315890 SOS 172906 HAS SOPS 171331 HAS SOUS 91764 HAS SOUPS 91421 WITH SCORE 91593.906
AT ITER 303 NEW BEST:: SOT 317254 SOS 174531 HAS SOPS 172956 HAS SOUS 91691 HAS SOUPS 91348 WITH SCORE 91522.531
AT ITER 305 NEW BEST:: SOT 317254 SOS 174243 HAS SOPS 172668 HAS SOUS 91691 HAS SOUPS 91348 WITH SCORE 91522.243
AT ITER 314 NEW BEST:: SOT 317254 SOS 174243 HAS SOPS 172668 HAS SOUS 91675 HAS SOUPS 91332 WITH SCORE 91506.243
AT ITER 316 NEW BEST:: SOT 317235 SOS 174224 HAS SOPS 172649 HAS SOUS 91656 HAS SOUPS 91313 WITH SCORE 91487.224
AT ITER 321 NEW BEST:: SOT 317238 SOS 174227 HAS SOPS 172652 HAS SOUS 91584 HAS SOUPS 91241 WITH SCORE 91415.227
AT ITER 329 NEW BEST:: SOT 317210 SOS 174171 HAS SOPS 172596 HAS SOUS 91528 HAS SOUPS 91185 WITH SCORE 91359.171
AT ITER 332 NEW BEST:: SOT 317064 SOS 174025 HAS SOPS 172450 HAS SOUS 90920 HAS SOUPS 90577 WITH SCORE 90751.025
AT ITER 340 NEW BEST:: SOT 317365 SOS 174239 HAS SOPS 172664 HAS SOUS 90664 HAS SOUPS 90321 WITH SCORE 90495.239
AT ITER 353 NEW BEST:: SOT 317327 SOS 174201 HAS SOPS 172614 HAS SOUS 90581 HAS SOUPS 90238 WITH SCORE 90412.201
AT ITER 358 NEW BEST:: SOT 317297 SOS 174351 HAS SOPS 172764 HAS SOUS 90551 HAS SOUPS 90208 WITH SCORE 90382.351
AT ITER 359 NEW BEST:: SOT 317271 SOS 174325 HAS SOPS 172738 HAS SOUS 90539 HAS SOUPS 90196 WITH SCORE 90370.325
AT ITER 360 NEW BEST:: SOT 317244 SOS 174271 HAS SOPS 172684 HAS SOUS 90458 HAS SOUPS 90115 WITH SCORE 90289.271
AT ITER 366 NEW BEST:: SOT 317142 SOS 174157 HAS SOPS 172570 HAS SOUS 90344 HAS SOUPS 90001 WITH SCORE 90175.157
AT ITER 368 NEW BEST:: SOT 317094 SOS 173994 HAS SOPS 172407 HAS SOUS 90338 HAS SOUPS 89995 WITH SCORE 90168.994
AT ITER 370 NEW BEST:: SOT 317041 SOS 173941 HAS SOPS 172354 HAS SOUS 90235 HAS SOUPS 89892 WITH SCORE 90065.941
AT ITER 387 NEW BEST:: SOT 316850 SOS 173612 HAS SOPS 172025 HAS SOUS 90083 HAS SOUPS 89740 WITH SCORE 89913.612
AT ITER 399 NEW BEST:: SOT 316799 SOS 173523 HAS SOPS 171936 HAS SOUS 89297 HAS SOUPS 88954 WITH SCORE 89127.523
AT ITER 403 NEW BEST:: SOT 316791 SOS 173507 HAS SOPS 171920 HAS SOUS 89278 HAS SOUPS 88935 WITH SCORE 89108.507
AT ITER 405 NEW BEST:: SOT 316701 SOS 173663 HAS SOPS 172069 HAS SOUS 89132 HAS SOUPS 88789 WITH SCORE 88962.663
AT ITER 415 NEW BEST:: SOT 316557 SOS 173471 HAS SOPS 171877 HAS SOUS 87980 HAS SOUPS 87637 WITH SCORE 87810.471
AT ITER 416 NEW BEST:: SOT 316557 SOS 173471 HAS SOPS 171877 HAS SOUS 87945 HAS SOUPS 87602 WITH SCORE 87775.471
AT ITER 423 NEW BEST:: SOT 316454 SOS 173342 HAS SOPS 171748 HAS SOUS 87776 HAS SOUPS 87433 WITH SCORE 87606.342
AT ITER 443 NEW BEST:: SOT 315532 SOS 172425 HAS SOPS 170831 HAS SOUS 86875 HAS SOUPS 86532 WITH SCORE 86704.425
AT ITER 459 NEW BEST:: SOT 315490 SOS 172353 HAS SOPS 170759 HAS SOUS 86674 HAS SOUPS 86331 WITH SCORE 86503.353
AT ITER 480 NEW BEST:: SOT 315489 SOS 172339 HAS SOPS 170745 HAS SOUS 86660 HAS SOUPS 86317 WITH SCORE 86489.339
AT ITER 485 NEW BEST:: SOT 315371 SOS 172076 HAS SOPS 170546 HAS SOUS 86624 HAS SOUPS 86281 WITH SCORE 86453.076
AT ITER 486 NEW BEST:: SOT 315352 SOS 170063 HAS SOPS 168533 HAS SOUS 86536 HAS SOUPS 86193 WITH SCORE 86363.063
AT ITER 499 NEW BEST:: SOT 315176 SOS 169887 HAS SOPS 168357 HAS SOUS 86360 HAS SOUPS 86017 WITH SCORE 86186.887
AT ITER 511 NEW BEST:: SOT 315151 SOS 170424 HAS SOPS 168894 HAS SOUS 86193 HAS SOUPS 85850 WITH SCORE 86020.424
AT ITER 526 NEW BEST:: SOT 315165 SOS 170438 HAS SOPS 168908 HAS SOUS 86121 HAS SOUPS 85778 WITH SCORE 85948.438
AT ITER 571 NEW BEST:: SOT 313534 SOS 170811 HAS SOPS 169281 HAS SOUS 85934 HAS SOUPS 85591 WITH SCORE 85761.811
AT ITER 578 NEW BEST:: SOT 313572 SOS 170849 HAS SOPS 169319 HAS SOUS 85874 HAS SOUPS 85531 WITH SCORE 85701.849
AT ITER 593 NEW BEST:: SOT 313911 SOS 171127 HAS SOPS 169597 HAS SOUS 85844 HAS SOUPS 85501 WITH SCORE 85672.127
AT ITER 598 NEW BEST:: SOT 313868 SOS 170909 HAS SOPS 169379 HAS SOUS 85758 HAS SOUPS 85415 WITH SCORE 85585.909
AT ITER 600 NEW BEST:: SOT 313856 SOS 170885 HAS SOPS 169355 HAS SOUS 85734 HAS SOUPS 85391 WITH SCORE 85561.885
AT ITER 601 NEW BEST:: SOT 313856 SOS 170885 HAS SOPS 169355 HAS SOUS 85725 HAS SOUPS 85382 WITH SCORE 85552.885
AT ITER 607 NEW BEST:: SOT 313856 SOS 170892 HAS SOPS 168114 HAS SOUS 85890 HAS SOUPS 85339 WITH SCORE 85509.892
AT ITER 615 NEW BEST:: SOT 313814 SOS 170646 HAS SOPS 167868 HAS SOUS 85849 HAS SOUPS 85298 WITH SCORE 85468.646
AT ITER 621 NEW BEST:: SOT 313805 SOS 170637 HAS SOPS 167859 HAS SOUS 85831 HAS SOUPS 85280 WITH SCORE 85450.637
AT ITER 633 NEW BEST:: SOT 313763 SOS 170237 HAS SOPS 167459 HAS SOUS 85826 HAS SOUPS 85275 WITH SCORE 85445.237
AT ITER 637 NEW BEST:: SOT 313838 SOS 170312 HAS SOPS 167534 HAS SOUS 85822 HAS SOUPS 85271 WITH SCORE 85441.312
AT ITER 642 NEW BEST:: SOT 313838 SOS 170312 HAS SOPS 167534 HAS SOUS 85783 HAS SOUPS 85232 WITH SCORE 85402.312
AT ITER 654 NEW BEST:: SOT 313440 SOS 169914 HAS SOPS 167136 HAS SOUS 85201 HAS SOUPS 84650 WITH SCORE 84819.914
AT ITER 661 NEW BEST:: SOT 313362 SOS 169919 HAS SOPS 167141 HAS SOUS 85174 HAS SOUPS 84623 WITH SCORE 84792.919
AT ITER 662 NEW BEST:: SOT 313343 SOS 169921 HAS SOPS 167143 HAS SOUS 85158 HAS SOUPS 84607 WITH SCORE 84776.921
AT ITER 665 NEW BEST:: SOT 313336 SOS 170000 HAS SOPS 167222 HAS SOUS 85155 HAS SOUPS 84604 WITH SCORE 84774.0
AT ITER 667 NEW BEST:: SOT 313324 SOS 169988 HAS SOPS 167198 HAS SOUS 85153 HAS SOUPS 84599 WITH SCORE 84768.988
AT ITER 679 NEW BEST:: SOT 313319 SOS 169993 HAS SOPS 167208 HAS SOUS 85148 HAS SOUPS 84594 WITH SCORE 84763.993
AT ITER 682 NEW BEST:: SOT 313264 SOS 169850 HAS SOPS 167065 HAS SOUS 85065 HAS SOUPS 84511 WITH SCORE 84680.85
AT ITER 688 NEW BEST:: SOT 313262 SOS 169846 HAS SOPS 167061 HAS SOUS 85061 HAS SOUPS 84507 WITH SCORE 84676.846
AT ITER 689 NEW BEST:: SOT 313510 SOS 170094 HAS SOPS 167309 HAS SOUS 84941 HAS SOUPS 84387 WITH SCORE 84557.094
AT ITER 697 NEW BEST:: SOT 313473 SOS 170020 HAS SOPS 167235 HAS SOUS 84867 HAS SOUPS 84313 WITH SCORE 84483.02
AT ITER 711 NEW BEST:: SOT 313332 SOS 169871 HAS SOPS 167086 HAS SOUS 84718 HAS SOUPS 84164 WITH SCORE 84333.871
AT ITER 721 NEW BEST:: SOT 313165 SOS 169629 HAS SOPS 166844 HAS SOUS 84476 HAS SOUPS 83922 WITH SCORE 84091.629
AT ITER 736 NEW BEST:: SOT 313447 SOS 169861 HAS SOPS 167076 HAS SOUS 84459 HAS SOUPS 83905 WITH SCORE 84074.861
AT ITER 746 NEW BEST:: SOT 313414 SOS 169817 HAS SOPS 167032 HAS SOUS 84410 HAS SOUPS 83856 WITH SCORE 84025.817
AT ITER 747 NEW BEST:: SOT 313265 SOS 169615 HAS SOPS 166830 HAS SOUS 84260 HAS SOUPS 83706 WITH SCORE 83875.615
AT ITER 753 NEW BEST:: SOT 311772 SOS 168182 HAS SOPS 165397 HAS SOUS 83596 HAS SOUPS 83042 WITH SCORE 83210.182
AT ITER 754 NEW BEST:: SOT 311393 SOS 167832 HAS SOPS 165047 HAS SOUS 83345 HAS SOUPS 82791 WITH SCORE 82958.832
AT ITER 767 NEW BEST:: SOT 311385 SOS 167824 HAS SOPS 165039 HAS SOUS 83329 HAS SOUPS 82775 WITH SCORE 82942.824
AT ITER 774 NEW BEST:: SOT 311321 SOS 167696 HAS SOPS 164879 HAS SOUS 83201 HAS SOUPS 82647 WITH SCORE 82814.696
AT ITER 797 NEW BEST:: SOT 311279 SOS 167563 HAS SOPS 164746 HAS SOUS 83166 HAS SOUPS 82612 WITH SCORE 82779.563
AT ITER 801 NEW BEST:: SOT 311050 SOS 165994 HAS SOPS 163177 HAS SOUS 82934 HAS SOUPS 82380 WITH SCORE 82545.994
AT ITER 814 NEW BEST:: SOT 309345 SOS 164289 HAS SOPS 161472 HAS SOUS 82542 HAS SOUPS 81988 WITH SCORE 82152.289
AT ITER 818 NEW BEST:: SOT 309312 SOS 164256 HAS SOPS 161439 HAS SOUS 82497 HAS SOUPS 81943 WITH SCORE 82107.256
AT ITER 823 NEW BEST:: SOT 309299 SOS 164230 HAS SOPS 161413 HAS SOUS 82497 HAS SOUPS 81943 WITH SCORE 82107.23
AT ITER 832 NEW BEST:: SOT 309308 SOS 164248 HAS SOPS 161431 HAS SOUS 82494 HAS SOUPS 81940 WITH SCORE 82104.248
AT ITER 836 NEW BEST:: SOT 309332 SOS 164117 HAS SOPS 161300 HAS SOUS 82472 HAS SOUPS 81918 WITH SCORE 82082.117
AT ITER 840 NEW BEST:: SOT 309259 SOS 164054 HAS SOPS 161237 HAS SOUS 82335 HAS SOUPS 81781 WITH SCORE 81945.054
AT ITER 863 NEW BEST:: SOT 309258 SOS 164052 HAS SOPS 161235 HAS SOUS 82333 HAS SOUPS 81779 WITH SCORE 81943.052
AT ITER 868 NEW BEST:: SOT 309186 SOS 163926 HAS SOPS 161109 HAS SOUS 82123 HAS SOUPS 81569 WITH SCORE 81732.926
AT ITER 890 NEW BEST:: SOT 309124 SOS 163864 HAS SOPS 161047 HAS SOUS 81963 HAS SOUPS 81409 WITH SCORE 81572.864
AT ITER 892 NEW BEST:: SOT 309124 SOS 161113 HAS SOPS 158296 HAS SOUS 81963 HAS SOUPS 81409 WITH SCORE 81570.113
AT ITER 894 NEW BEST:: SOT 309124 SOS 161134 HAS SOPS 158317 HAS SOUS 81948 HAS SOUPS 81394 WITH SCORE 81555.134
AT ITER 907 NEW BEST:: SOT 309071 SOS 161002 HAS SOPS 158181 HAS SOUS 81803 HAS SOUPS 81249 WITH SCORE 81410.002
AT ITER 923 NEW BEST:: SOT 309065 SOS 160996 HAS SOPS 158175 HAS SOUS 81795 HAS SOUPS 81241 WITH SCORE 81401.996
AT ITER 928 NEW BEST:: SOT 309065 SOS 160996 HAS SOPS 158175 HAS SOUS 81767 HAS SOUPS 81213 WITH SCORE 81373.996
AT ITER 929 NEW BEST:: SOT 308990 SOS 160935 HAS SOPS 158114 HAS SOUS 81723 HAS SOUPS 81169 WITH SCORE 81329.935
AT ITER 938 NEW BEST:: SOT 308590 SOS 160615 HAS SOPS 157794 HAS SOUS 81323 HAS SOUPS 80769 WITH SCORE 80929.615
AT ITER 957 NEW BEST:: SOT 308025 SOS 160227 HAS SOPS 157406 HAS SOUS 81035 HAS SOUPS 80481 WITH SCORE 80641.227
AT ITER 959 NEW BEST:: SOT 308009 SOS 160205 HAS SOPS 157297 HAS SOUS 81003 HAS SOUPS 80449 WITH SCORE 80609.205
AT ITER 965 NEW BEST:: SOT 307949 SOS 160005 HAS SOPS 157097 HAS SOUS 80903 HAS SOUPS 80349 WITH SCORE 80509.005
AT ITER 994 NEW BEST:: SOT 307667 SOS 159723 HAS SOPS 156815 HAS SOUS 80897 HAS SOUPS 80343 WITH SCORE 80502.723
AT ITER 998 NEW BEST:: SOT 307636 SOS 159686 HAS SOPS 156778 HAS SOUS 80835 HAS SOUPS 80281 WITH SCORE 80440.686
AT ITER 1021 NEW BEST:: SOT 307598 SOS 159648 HAS SOPS 156740 HAS SOUS 80801 HAS SOUPS 80247 WITH SCORE 80406.648
AT ITER 1022 NEW BEST:: SOT 307579 SOS 159677 HAS SOPS 156769 HAS SOUS 80782 HAS SOUPS 80228 WITH SCORE 80387.677
AT ITER 1039 NEW BEST:: SOT 307326 SOS 159459 HAS SOPS 156551 HAS SOUS 80574 HAS SOUPS 80020 WITH SCORE 80179.459
AT ITER 1052 NEW BEST:: SOT 307301 SOS 159434 HAS SOPS 156526 HAS SOUS 80549 HAS SOUPS 79995 WITH SCORE 80154.434
AT ITER 1064 NEW BEST:: SOT 305296 SOS 156936 HAS SOPS 154028 HAS SOUS 80009 HAS SOUPS 79455 WITH SCORE 79611.936
AT ITER 1083 NEW BEST:: SOT 305294 SOS 157165 HAS SOPS 154257 HAS SOUS 80005 HAS SOUPS 79451 WITH SCORE 79608.165
AT ITER 1084 NEW BEST:: SOT 305288 SOS 157159 HAS SOPS 154251 HAS SOUS 79999 HAS SOUPS 79445 WITH SCORE 79602.159
AT ITER 1099 NEW BEST:: SOT 305354 SOS 157225 HAS SOPS 154305 HAS SOUS 79994 HAS SOUPS 79440 WITH SCORE 79597.225
AT ITER 1108 NEW BEST:: SOT 305279 SOS 157100 HAS SOPS 154180 HAS SOUS 79844 HAS SOUPS 79290 WITH SCORE 79447.1
AT ITER 1124 NEW BEST:: SOT 305189 SOS 157010 HAS SOPS 154090 HAS SOUS 79349 HAS SOUPS 78795 WITH SCORE 78952.01
AT ITER 1139 NEW BEST:: SOT 305144 SOS 156980 HAS SOPS 154060 HAS SOUS 79229 HAS SOUPS 78675 WITH SCORE 78831.98
AT ITER 1161 NEW BEST:: SOT 304996 SOS 156748 HAS SOPS 153828 HAS SOUS 79060 HAS SOUPS 78506 WITH SCORE 78662.748
AT ITER 1172 NEW BEST:: SOT 304996 SOS 156752 HAS SOPS 153832 HAS SOUS 79059 HAS SOUPS 78505 WITH SCORE 78661.752
AT ITER 1173 NEW BEST:: SOT 304982 SOS 156738 HAS SOPS 153818 HAS SOUS 79045 HAS SOUPS 78491 WITH SCORE 78647.738
AT ITER 1179 NEW BEST:: SOT 304922 SOS 156678 HAS SOPS 153758 HAS SOUS 78892 HAS SOUPS 78338 WITH SCORE 78494.678
AT ITER 1204 NEW BEST:: SOT 304910 SOS 156666 HAS SOPS 153746 HAS SOUS 78868 HAS SOUPS 78314 WITH SCORE 78470.666
AT ITER 1208 NEW BEST:: SOT 305169 SOS 156947 HAS SOPS 154027 HAS SOUS 77779 HAS SOUPS 77225 WITH SCORE 77381.947
AT ITER 1232 NEW BEST:: SOT 305169 SOS 156947 HAS SOPS 154027 HAS SOUS 77766 HAS SOUPS 77212 WITH SCORE 77368.947
AT ITER 1238 NEW BEST:: SOT 305146 SOS 156975 HAS SOPS 153611 HAS SOUS 77803 HAS SOUPS 77175 WITH SCORE 77331.975
AT ITER 1268 NEW BEST:: SOT 305097 SOS 156926 HAS SOPS 153562 HAS SOUS 77686 HAS SOUPS 77058 WITH SCORE 77214.926
AT ITER 1286 NEW BEST:: SOT 305059 SOS 156888 HAS SOPS 153521 HAS SOUS 77610 HAS SOUPS 76982 WITH SCORE 77138.888
AT ITER 1304 NEW BEST:: SOT 304977 SOS 156679 HAS SOPS 153312 HAS SOUS 77499 HAS SOUPS 76871 WITH SCORE 77027.679
AT ITER 1321 NEW BEST:: SOT 304977 SOS 156679 HAS SOPS 153312 HAS SOUS 77492 HAS SOUPS 76864 WITH SCORE 77020.679
AT ITER 1345 NEW BEST:: SOT 304990 SOS 156692 HAS SOPS 153325 HAS SOUS 77484 HAS SOUPS 76856 WITH SCORE 77012.692
AT ITER 1355 NEW BEST:: SOT 304990 SOS 156692 HAS SOPS 153325 HAS SOUS 77438 HAS SOUPS 76810 WITH SCORE 76966.692
AT ITER 1359 NEW BEST:: SOT 305038 SOS 156685 HAS SOPS 153318 HAS SOUS 77431 HAS SOUPS 76803 WITH SCORE 76959.685
AT ITER 1380 NEW BEST:: SOT 305037 SOS 156683 HAS SOPS 153316 HAS SOUS 77429 HAS SOUPS 76801 WITH SCORE 76957.683
AT ITER 1393 NEW BEST:: SOT 305119 SOS 156684 HAS SOPS 153317 HAS SOUS 77349 HAS SOUPS 76721 WITH SCORE 76877.684
AT ITER 1399 NEW BEST:: SOT 305042 SOS 156287 HAS SOPS 152920 HAS SOUS 77337 HAS SOUPS 76709 WITH SCORE 76865.287
AT ITER 1400 NEW BEST:: SOT 305036 SOS 156281 HAS SOPS 152914 HAS SOUS 77317 HAS SOUPS 76689 WITH SCORE 76845.281
AT ITER 1404 NEW BEST:: SOT 304997 SOS 156242 HAS SOPS 152875 HAS SOUS 77278 HAS SOUPS 76650 WITH SCORE 76806.242
AT ITER 1415 NEW BEST:: SOT 304975 SOS 156199 HAS SOPS 152832 HAS SOUS 77256 HAS SOUPS 76628 WITH SCORE 76784.199
AT ITER 1416 NEW BEST:: SOT 305757 SOS 156932 HAS SOPS 153565 HAS SOUS 76796 HAS SOUPS 76168 WITH SCORE 76324.932
AT ITER 1456 NEW BEST:: SOT 303935 SOS 154569 HAS SOPS 151202 HAS SOUS 76191 HAS SOUPS 75563 WITH SCORE 75717.569
AT ITER 1470 NEW BEST:: SOT 303935 SOS 154560 HAS SOPS 151193 HAS SOUS 76182 HAS SOUPS 75554 WITH SCORE 75708.56
AT ITER 1475 NEW BEST:: SOT 303910 SOS 154541 HAS SOPS 151174 HAS SOUS 76163 HAS SOUPS 75535 WITH SCORE 75689.541
AT ITER 1493 NEW BEST:: SOT 303902 SOS 154533 HAS SOPS 151166 HAS SOUS 76147 HAS SOUPS 75519 WITH SCORE 75673.533
AT ITER 1507 NEW BEST:: SOT 303889 SOS 154520 HAS SOPS 151153 HAS SOUS 76121 HAS SOUPS 75493 WITH SCORE 75647.52
AT ITER 1510 NEW BEST:: SOT 303873 SOS 154504 HAS SOPS 151129 HAS SOUS 76089 HAS SOUPS 75461 WITH SCORE 75615.504
AT ITER 1514 NEW BEST:: SOT 303903 SOS 154534 HAS SOPS 151159 HAS SOUS 76074 HAS SOUPS 75446 WITH SCORE 75600.534
AT ITER 1516 NEW BEST:: SOT 303909 SOS 154540 HAS SOPS 151165 HAS SOUS 76030 HAS SOUPS 75402 WITH SCORE 75556.54
AT ITER 1531 NEW BEST:: SOT 303890 SOS 154521 HAS SOPS 151146 HAS SOUS 75954 HAS SOUPS 75326 WITH SCORE 75480.521
AT ITER 1532 NEW BEST:: SOT 303819 SOS 154455 HAS SOPS 151080 HAS SOUS 75902 HAS SOUPS 75274 WITH SCORE 75428.455
AT ITER 1560 NEW BEST:: SOT 303815 SOS 154447 HAS SOPS 151072 HAS SOUS 75894 HAS SOUPS 75266 WITH SCORE 75420.447
AT ITER 1576 NEW BEST:: SOT 303785 SOS 154473 HAS SOPS 151098 HAS SOUS 75856 HAS SOUPS 75228 WITH SCORE 75382.473
AT ITER 1601 NEW BEST:: SOT 303775 SOS 154463 HAS SOPS 151088 HAS SOUS 75846 HAS SOUPS 75218 WITH SCORE 75372.463
AT ITER 1611 NEW BEST:: SOT 303775 SOS 154463 HAS SOPS 151088 HAS SOUS 75720 HAS SOUPS 75092 WITH SCORE 75246.463
AT ITER 1620 NEW BEST:: SOT 302883 SOS 153515 HAS SOPS 150084 HAS SOUS 75248 HAS SOUPS 74620 WITH SCORE 74773.515
AT ITER 1651 NEW BEST:: SOT 302901 SOS 153756 HAS SOPS 150325 HAS SOUS 75227 HAS SOUPS 74599 WITH SCORE 74752.756
AT ITER 1652 NEW BEST:: SOT 302907 SOS 153673 HAS SOPS 150242 HAS SOUS 75208 HAS SOUPS 74580 WITH SCORE 74733.673
AT ITER 1660 NEW BEST:: SOT 302863 SOS 153465 HAS SOPS 150034 HAS SOUS 75120 HAS SOUPS 74492 WITH SCORE 74645.465
AT ITER 1676 NEW BEST:: SOT 303073 SOS 153702 HAS SOPS 150271 HAS SOUS 75078 HAS SOUPS 74450 WITH SCORE 74603.702
AT ITER 1679 NEW BEST:: SOT 303073 SOS 153790 HAS SOPS 150359 HAS SOUS 75074 HAS SOUPS 74446 WITH SCORE 74599.79
AT ITER 1708 NEW BEST:: SOT 303070 SOS 153787 HAS SOPS 150356 HAS SOUS 75068 HAS SOUPS 74440 WITH SCORE 74593.787
AT ITER 1715 NEW BEST:: SOT 303042 SOS 153759 HAS SOPS 150328 HAS SOUS 75012 HAS SOUPS 74384 WITH SCORE 74537.759
AT ITER 1723 NEW BEST:: SOT 303066 SOS 153759 HAS SOPS 150328 HAS SOUS 74947 HAS SOUPS 74319 WITH SCORE 74472.759
AT ITER 1725 NEW BEST:: SOT 303035 SOS 153728 HAS SOPS 150297 HAS SOUS 74916 HAS SOUPS 74288 WITH SCORE 74441.728
AT ITER 1769 NEW BEST:: SOT 303145 SOS 153860 HAS SOPS 150429 HAS SOUS 74586 HAS SOUPS 73958 WITH SCORE 74111.86
AT ITER 1776 NEW BEST:: SOT 303145 SOS 153510 HAS SOPS 150079 HAS SOUS 74586 HAS SOUPS 73958 WITH SCORE 74111.51
AT ITER 1796 NEW BEST:: SOT 303139 SOS 153498 HAS SOPS 150067 HAS SOUS 74580 HAS SOUPS 73952 WITH SCORE 74105.498
AT ITER 1814 NEW BEST:: SOT 303110 SOS 151548 HAS SOPS 147910 HAS SOUS 74471 HAS SOUPS 73835 WITH SCORE 73986.548
AT ITER 1839 NEW BEST:: SOT 303024 SOS 151463 HAS SOPS 147825 HAS SOUS 74386 HAS SOUPS 73750 WITH SCORE 73901.463
AT ITER 1859 NEW BEST:: SOT 302890 SOS 150946 HAS SOPS 147308 HAS SOUS 74252 HAS SOUPS 73616 WITH SCORE 73766.946
AT ITER 1869 NEW BEST:: SOT 302885 SOS 150941 HAS SOPS 147303 HAS SOUS 74242 HAS SOUPS 73606 WITH SCORE 73756.941
AT ITER 1873 NEW BEST:: SOT 302881 SOS 150937 HAS SOPS 147295 HAS SOUS 74234 HAS SOUPS 73598 WITH SCORE 73748.937
AT ITER 1874 NEW BEST:: SOT 302879 SOS 150935 HAS SOPS 147293 HAS SOUS 74230 HAS SOUPS 73594 WITH SCORE 73744.935
AT ITER 1882 NEW BEST:: SOT 302881 SOS 150939 HAS SOPS 147297 HAS SOUS 74218 HAS SOUPS 73582 WITH SCORE 73732.939
AT ITER 1891 NEW BEST:: SOT 302862 SOS 150920 HAS SOPS 147278 HAS SOUS 74180 HAS SOUPS 73544 WITH SCORE 73694.92
AT ITER 1893 NEW BEST:: SOT 302847 SOS 150890 HAS SOPS 147248 HAS SOUS 74150 HAS SOUPS 73514 WITH SCORE 73664.89
AT ITER 1904 NEW BEST:: SOT 302784 SOS 150827 HAS SOPS 147185 HAS SOUS 74044 HAS SOUPS 73408 WITH SCORE 73558.827
AT ITER 1913 NEW BEST:: SOT 302769 SOS 150746 HAS SOPS 147104 HAS SOUS 73849 HAS SOUPS 73213 WITH SCORE 73363.746
AT ITER 1932 NEW BEST:: SOT 302639 SOS 149146 HAS SOPS 145504 HAS SOUS 73834 HAS SOUPS 73198 WITH SCORE 73347.146
AT ITER 1946 NEW BEST:: SOT 302521 SOS 149032 HAS SOPS 145383 HAS SOUS 73673 HAS SOUPS 73037 WITH SCORE 73186.032
AT ITER 2006 NEW BEST:: SOT 302520 SOS 149439 HAS SOPS 145668 HAS SOUS 73557 HAS SOUPS 72921 WITH SCORE 73070.439
AT ITER 2040 NEW BEST:: SOT 302460 SOS 149373 HAS SOPS 145602 HAS SOUS 73450 HAS SOUPS 72814 WITH SCORE 72963.373
AT ITER 2050 NEW BEST:: SOT 302412 SOS 149299 HAS SOPS 145528 HAS SOUS 73354 HAS SOUPS 72718 WITH SCORE 72867.299
AT ITER 2097 NEW BEST:: SOT 302148 SOS 148945 HAS SOPS 145174 HAS SOUS 73000 HAS SOUPS 72364 WITH SCORE 72512.945
AT ITER 2113 NEW BEST:: SOT 302138 SOS 148760 HAS SOPS 144989 HAS SOUS 72983 HAS SOUPS 72347 WITH SCORE 72495.76
AT ITER 2126 NEW BEST:: SOT 302077 SOS 148699 HAS SOPS 144928 HAS SOUS 72924 HAS SOUPS 72288 WITH SCORE 72436.699
AT ITER 2141 NEW BEST:: SOT 302035 SOS 148615 HAS SOPS 144844 HAS SOUS 72890 HAS SOUPS 72254 WITH SCORE 72402.615
AT ITER 2145 NEW BEST:: SOT 302035 SOS 148662 HAS SOPS 144891 HAS SOUS 72842 HAS SOUPS 72206 WITH SCORE 72354.662
AT ITER 2157 NEW BEST:: SOT 301929 SOS 148539 HAS SOPS 144768 HAS SOUS 72760 HAS SOUPS 72124 WITH SCORE 72272.539
AT ITER 2173 NEW BEST:: SOT 301902 SOS 148350 HAS SOPS 144579 HAS SOUS 72754 HAS SOUPS 72118 WITH SCORE 72266.35
AT ITER 2182 NEW BEST:: SOT 301899 SOS 148238 HAS SOPS 144467 HAS SOUS 72748 HAS SOUPS 72112 WITH SCORE 72260.238
AT ITER 2189 NEW BEST:: SOT 301869 SOS 148190 HAS SOPS 144419 HAS SOUS 72704 HAS SOUPS 72068 WITH SCORE 72216.19
AT ITER 2195 NEW BEST:: SOT 301869 SOS 148188 HAS SOPS 144417 HAS SOUS 72704 HAS SOUPS 72068 WITH SCORE 72216.188
AT ITER 2221 NEW BEST:: SOT 301779 SOS 148098 HAS SOPS 144327 HAS SOUS 72590 HAS SOUPS 71954 WITH SCORE 72102.098
AT ITER 2232 NEW BEST:: SOT 301789 SOS 148108 HAS SOPS 144303 HAS SOUS 72620 HAS SOUPS 71952 WITH SCORE 72100.108
AT ITER 2259 NEW BEST:: SOT 301696 SOS 148015 HAS SOPS 144210 HAS SOUS 72527 HAS SOUPS 71859 WITH SCORE 72007.015
AT ITER 2268 NEW BEST:: SOT 301674 SOS 147993 HAS SOPS 144188 HAS SOUS 72488 HAS SOUPS 71820 WITH SCORE 71967.993
AT ITER 2297 NEW BEST:: SOT 301494 SOS 147302 HAS SOPS 143497 HAS SOUS 72301 HAS SOUPS 71633 WITH SCORE 71780.302
AT ITER 2321 NEW BEST:: SOT 301489 SOS 147334 HAS SOPS 143529 HAS SOUS 72273 HAS SOUPS 71605 WITH SCORE 71752.334
AT ITER 2324 NEW BEST:: SOT 301551 SOS 147492 HAS SOPS 143687 HAS SOUS 72267 HAS SOUPS 71599 WITH SCORE 71746.492
AT ITER 2326 NEW BEST:: SOT 301466 SOS 147682 HAS SOPS 143938 HAS SOUS 72239 HAS SOUPS 71571 WITH SCORE 71718.682
AT ITER 2330 NEW BEST:: SOT 301432 SOS 147628 HAS SOPS 143884 HAS SOUS 71798 HAS SOUPS 71130 WITH SCORE 71277.628
AT ITER 2357 NEW BEST:: SOT 301402 SOS 147592 HAS SOPS 143848 HAS SOUS 71762 HAS SOUPS 71094 WITH SCORE 71241.592
AT ITER 2359 NEW BEST:: SOT 301396 SOS 147580 HAS SOPS 143836 HAS SOUS 71750 HAS SOUPS 71082 WITH SCORE 71229.58
AT ITER 2360 NEW BEST:: SOT 300973 SOS 146732 HAS SOPS 142988 HAS SOUS 71656 HAS SOUPS 70988 WITH SCORE 71134.732
AT ITER 2375 NEW BEST:: SOT 300948 SOS 146661 HAS SOPS 142917 HAS SOUS 71606 HAS SOUPS 70938 WITH SCORE 71084.661
AT ITER 2376 NEW BEST:: SOT 300675 SOS 146445 HAS SOPS 142701 HAS SOUS 71455 HAS SOUPS 70787 WITH SCORE 70933.445
AT ITER 2385 NEW BEST:: SOT 300675 SOS 146431 HAS SOPS 142687 HAS SOUS 71441 HAS SOUPS 70773 WITH SCORE 70919.431
AT ITER 2392 NEW BEST:: SOT 300641 SOS 146346 HAS SOPS 142602 HAS SOUS 71390 HAS SOUPS 70722 WITH SCORE 70868.346
AT ITER 2396 NEW BEST:: SOT 300641 SOS 146654 HAS SOPS 142910 HAS SOUS 71104 HAS SOUPS 70436 WITH SCORE 70582.654
AT ITER 2424 NEW BEST:: SOT 300641 SOS 146633 HAS SOPS 142889 HAS SOUS 71104 HAS SOUPS 70436 WITH SCORE 70582.633
AT ITER 2444 NEW BEST:: SOT 300641 SOS 149093 HAS SOPS 145349 HAS SOUS 71072 HAS SOUPS 70404 WITH SCORE 70553.093
AT ITER 2479 NEW BEST:: SOT 300641 SOS 148889 HAS SOPS 145145 HAS SOUS 71072 HAS SOUPS 70404 WITH SCORE 70552.889
AT ITER 2492 NEW BEST:: SOT 300587 SOS 148895 HAS SOPS 145151 HAS SOUS 70977 HAS SOUPS 70309 WITH SCORE 70457.895
AT ITER 2497 NEW BEST:: SOT 300472 SOS 148626 HAS SOPS 144882 HAS SOUS 70793 HAS SOUPS 70125 WITH SCORE 70273.626
AT ITER 2499 NEW BEST:: SOT 300430 SOS 147879 HAS SOPS 144135 HAS SOUS 70778 HAS SOUPS 70110 WITH SCORE 70257.879
AT ITER 2509 NEW BEST:: SOT 299545 SOS 146222 HAS SOPS 142478 HAS SOUS 70755 HAS SOUPS 70087 WITH SCORE 70233.222
AT ITER 2540 NEW BEST:: SOT 299520 SOS 146197 HAS SOPS 142453 HAS SOUS 70722 HAS SOUPS 70054 WITH SCORE 70200.197
AT ITER 2603 NEW BEST:: SOT 299520 SOS 146193 HAS SOPS 142449 HAS SOUS 70697 HAS SOUPS 70029 WITH SCORE 70175.193
AT ITER 2631 NEW BEST:: SOT 299520 SOS 145853 HAS SOPS 142109 HAS SOUS 70685 HAS SOUPS 70017 WITH SCORE 70162.853
AT ITER 2648 NEW BEST:: SOT 299243 SOS 146330 HAS SOPS 142586 HAS SOUS 70514 HAS SOUPS 69846 WITH SCORE 69992.33
AT ITER 2658 NEW BEST:: SOT 299240 SOS 146321 HAS SOPS 142577 HAS SOUS 70514 HAS SOUPS 69846 WITH SCORE 69992.321
AT ITER 2668 NEW BEST:: SOT 299145 SOS 146191 HAS SOPS 142447 HAS SOUS 70324 HAS SOUPS 69656 WITH SCORE 69802.191
AT ITER 2673 NEW BEST:: SOT 299083 SOS 146200 HAS SOPS 142456 HAS SOUS 70293 HAS SOUPS 69625 WITH SCORE 69771.2
AT ITER 2686 NEW BEST:: SOT 299063 SOS 146180 HAS SOPS 142436 HAS SOUS 70252 HAS SOUPS 69584 WITH SCORE 69730.18
AT ITER 2712 NEW BEST:: SOT 299047 SOS 146154 HAS SOPS 142410 HAS SOUS 70248 HAS SOUPS 69580 WITH SCORE 69726.154
AT ITER 2717 NEW BEST:: SOT 299038 SOS 146136 HAS SOPS 142392 HAS SOUS 70230 HAS SOUPS 69562 WITH SCORE 69708.136
AT ITER 2727 NEW BEST:: SOT 298933 SOS 146021 HAS SOPS 142277 HAS SOUS 70077 HAS SOUPS 69409 WITH SCORE 69555.021
AT ITER 2730 NEW BEST:: SOT 298902 SOS 145926 HAS SOPS 142182 HAS SOUS 70015 HAS SOUPS 69347 WITH SCORE 69492.926
AT ITER 2740 NEW BEST:: SOT 298803 SOS 145878 HAS SOPS 142134 HAS SOUS 69896 HAS SOUPS 69228 WITH SCORE 69373.878
AT ITER 2744 NEW BEST:: SOT 298711 SOS 145794 HAS SOPS 142193 HAS SOUS 69849 HAS SOUPS 69181 WITH SCORE 69326.794
AT ITER 2753 NEW BEST:: SOT 298639 SOS 145749 HAS SOPS 142148 HAS SOUS 69824 HAS SOUPS 69156 WITH SCORE 69301.749
AT ITER 2783 NEW BEST:: SOT 298591 SOS 145667 HAS SOPS 142066 HAS SOUS 69728 HAS SOUPS 69060 WITH SCORE 69205.667
AT ITER 2786 NEW BEST:: SOT 298474 SOS 145511 HAS SOPS 141910 HAS SOUS 69572 HAS SOUPS 68904 WITH SCORE 69049.511
AT ITER 2834 NEW BEST:: SOT 298582 SOS 145606 HAS SOPS 142005 HAS SOUS 69554 HAS SOUPS 68886 WITH SCORE 69031.606
AT ITER 2861 NEW BEST:: SOT 298569 SOS 145573 HAS SOPS 141972 HAS SOUS 69533 HAS SOUPS 68865 WITH SCORE 69010.573
AT ITER 2900 NEW BEST:: SOT 298521 SOS 145477 HAS SOPS 141876 HAS SOUS 69435 HAS SOUPS 68767 WITH SCORE 68912.477
AT ITER 2902 NEW BEST:: SOT 298362 SOS 145225 HAS SOPS 141624 HAS SOUS 69223 HAS SOUPS 68555 WITH SCORE 68700.225
AT ITER 2917 NEW BEST:: SOT 298344 SOS 145207 HAS SOPS 141606 HAS SOUS 69187 HAS SOUPS 68519 WITH SCORE 68664.207
AT ITER 2922 NEW BEST:: SOT 298334 SOS 145207 HAS SOPS 141606 HAS SOUS 69177 HAS SOUPS 68509 WITH SCORE 68654.207
AT ITER 2932 NEW BEST:: SOT 298316 SOS 145234 HAS SOPS 141633 HAS SOUS 69141 HAS SOUPS 68473 WITH SCORE 68618.234
AT ITER 2960 NEW BEST:: SOT 298307 SOS 145225 HAS SOPS 141624 HAS SOUS 69123 HAS SOUPS 68455 WITH SCORE 68600.225
AT ITER 2969 NEW BEST:: SOT 298254 SOS 145172 HAS SOPS 141571 HAS SOUS 69017 HAS SOUPS 68349 WITH SCORE 68494.172
AT ITER 2984 NEW BEST:: SOT 298109 SOS 145091 HAS SOPS 141490 HAS SOUS 69003 HAS SOUPS 68335 WITH SCORE 68480.091
AT ITER 3001 NEW BEST:: SOT 298109 SOS 145081 HAS SOPS 141480 HAS SOUS 68993 HAS SOUPS 68325 WITH SCORE 68470.081
AT ITER 3005 NEW BEST:: SOT 298073 SOS 145194 HAS SOPS 141562 HAS SOUS 68908 HAS SOUPS 68240 WITH SCORE 68385.194
AT ITER 3009 NEW BEST:: SOT 298028 SOS 145149 HAS SOPS 141517 HAS SOUS 68847 HAS SOUPS 68179 WITH SCORE 68324.149
AT ITER 3011 NEW BEST:: SOT 297900 SOS 145299 HAS SOPS 141747 HAS SOUS 68739 HAS SOUPS 68073 WITH SCORE 68218.299
AT ITER 3017 NEW BEST:: SOT 297899 SOS 145298 HAS SOPS 141746 HAS SOUS 68737 HAS SOUPS 68071 WITH SCORE 68216.298
AT ITER 3018 NEW BEST:: SOT 297824 SOS 145223 HAS SOPS 141671 HAS SOUS 68672 HAS SOUPS 68006 WITH SCORE 68151.223
AT ITER 3030 NEW BEST:: SOT 297701 SOS 145100 HAS SOPS 141548 HAS SOUS 68516 HAS SOUPS 67850 WITH SCORE 67995.1
AT ITER 3068 NEW BEST:: SOT 297685 SOS 145084 HAS SOPS 141532 HAS SOUS 68484 HAS SOUPS 67818 WITH SCORE 67963.084
AT ITER 3103 NEW BEST:: SOT 297685 SOS 145072 HAS SOPS 141520 HAS SOUS 68472 HAS SOUPS 67806 WITH SCORE 67951.072
AT ITER 3108 NEW BEST:: SOT 297071 SOS 144493 HAS SOPS 140941 HAS SOUS 67858 HAS SOUPS 67192 WITH SCORE 67336.493
AT ITER 3111 NEW BEST:: SOT 296875 SOS 144363 HAS SOPS 140811 HAS SOUS 67835 HAS SOUPS 67169 WITH SCORE 67313.363
AT ITER 3113 NEW BEST:: SOT 296872 SOS 144357 HAS SOPS 140805 HAS SOUS 67829 HAS SOUPS 67163 WITH SCORE 67307.357
AT ITER 3118 NEW BEST:: SOT 296799 SOS 144284 HAS SOPS 140732 HAS SOUS 67719 HAS SOUPS 67053 WITH SCORE 67197.284
AT ITER 3123 NEW BEST:: SOT 296790 SOS 144336 HAS SOPS 140784 HAS SOUS 67700 HAS SOUPS 67034 WITH SCORE 67178.336
AT ITER 3134 NEW BEST:: SOT 296755 SOS 144266 HAS SOPS 140714 HAS SOUS 67630 HAS SOUPS 66964 WITH SCORE 67108.266
AT ITER 3145 NEW BEST:: SOT 296725 SOS 144206 HAS SOPS 140654 HAS SOUS 67516 HAS SOUPS 66850 WITH SCORE 66994.206
AT ITER 3155 NEW BEST:: SOT 296634 SOS 143812 HAS SOPS 140260 HAS SOUS 67332 HAS SOUPS 66666 WITH SCORE 66809.812
AT ITER 3157 NEW BEST:: SOT 296645 SOS 143823 HAS SOPS 140259 HAS SOUS 67330 HAS SOUPS 66653 WITH SCORE 66796.823
AT ITER 3163 NEW BEST:: SOT 296645 SOS 143823 HAS SOPS 140259 HAS SOUS 67314 HAS SOUPS 66637 WITH SCORE 66780.823
AT ITER 3184 NEW BEST:: SOT 296631 SOS 143809 HAS SOPS 140245 HAS SOUS 67299 HAS SOUPS 66622 WITH SCORE 66765.809
AT ITER 3189 NEW BEST:: SOT 296661 SOS 143831 HAS SOPS 140267 HAS SOUS 67287 HAS SOUPS 66610 WITH SCORE 66753.831
AT ITER 3201 NEW BEST:: SOT 296574 SOS 143986 HAS SOPS 140258 HAS SOUS 67158 HAS SOUPS 66481 WITH SCORE 66624.986
AT ITER 3224 NEW BEST:: SOT 296564 SOS 143960 HAS SOPS 140232 HAS SOUS 67138 HAS SOUPS 66461 WITH SCORE 66604.96
AT ITER 3263 NEW BEST:: SOT 296565 SOS 143960 HAS SOPS 140232 HAS SOUS 67137 HAS SOUPS 66459 WITH SCORE 66602.96
AT ITER 3264 NEW BEST:: SOT 296469 SOS 143864 HAS SOPS 140136 HAS SOUS 67041 HAS SOUPS 66363 WITH SCORE 66506.864
AT ITER 3269 NEW BEST:: SOT 296430 SOS 143891 HAS SOPS 140097 HAS SOUS 66980 HAS SOUPS 66291 WITH SCORE 66434.891
AT ITER 3271 NEW BEST:: SOT 296431 SOS 143892 HAS SOPS 140098 HAS SOUS 66964 HAS SOUPS 66275 WITH SCORE 66418.892
AT ITER 3312 NEW BEST:: SOT 296367 SOS 143864 HAS SOPS 140070 HAS SOUS 66926 HAS SOUPS 66237 WITH SCORE 66380.864
AT ITER 3325 NEW BEST:: SOT 296325 SOS 143801 HAS SOPS 140007 HAS SOUS 66863 HAS SOUPS 66174 WITH SCORE 66317.801
AT ITER 3336 NEW BEST:: SOT 296286 SOS 143762 HAS SOPS 139968 HAS SOUS 66826 HAS SOUPS 66137 WITH SCORE 66280.762
AT ITER 3349 NEW BEST:: SOT 296250 SOS 143690 HAS SOPS 139896 HAS SOUS 66772 HAS SOUPS 66083 WITH SCORE 66226.69
AT ITER 3352 NEW BEST:: SOT 296211 SOS 143638 HAS SOPS 139844 HAS SOUS 66681 HAS SOUPS 65992 WITH SCORE 66135.638
AT ITER 3355 NEW BEST:: SOT 296092 SOS 143297 HAS SOPS 139503 HAS SOUS 66436 HAS SOUPS 65747 WITH SCORE 65890.297
AT ITER 3375 NEW BEST:: SOT 296092 SOS 143231 HAS SOPS 139437 HAS SOUS 66436 HAS SOUPS 65747 WITH SCORE 65890.231
AT ITER 3377 NEW BEST:: SOT 296092 SOS 143231 HAS SOPS 139437 HAS SOUS 66429 HAS SOUPS 65740 WITH SCORE 65883.231
AT ITER 3379 NEW BEST:: SOT 296092 SOS 142692 HAS SOPS 138898 HAS SOUS 66426 HAS SOUPS 65737 WITH SCORE 65879.692
AT ITER 3390 NEW BEST:: SOT 296092 SOS 142684 HAS SOPS 138890 HAS SOUS 66282 HAS SOUPS 65593 WITH SCORE 65735.684
AT ITER 3401 NEW BEST:: SOT 296719 SOS 143341 HAS SOPS 139547 HAS SOUS 66241 HAS SOUPS 65552 WITH SCORE 65695.341
AT ITER 3417 NEW BEST:: SOT 296678 SOS 143025 HAS SOPS 139231 HAS SOUS 66191 HAS SOUPS 65502 WITH SCORE 65645.025
AT ITER 3481 NEW BEST:: SOT 296653 SOS 142864 HAS SOPS 139070 HAS SOUS 66141 HAS SOUPS 65452 WITH SCORE 65594.864
AT ITER 3510 NEW BEST:: SOT 296601 SOS 142835 HAS SOPS 139041 HAS SOUS 66039 HAS SOUPS 65350 WITH SCORE 65492.835
AT ITER 3516 NEW BEST:: SOT 296598 SOS 142832 HAS SOPS 139038 HAS SOUS 66036 HAS SOUPS 65347 WITH SCORE 65489.832
AT ITER 3519 NEW BEST:: SOT 296551 SOS 142789 HAS SOPS 138995 HAS SOUS 66009 HAS SOUPS 65320 WITH SCORE 65462.789
AT ITER 3555 NEW BEST:: SOT 296562 SOS 142800 HAS SOPS 139006 HAS SOUS 65967 HAS SOUPS 65278 WITH SCORE 65420.8
AT ITER 3601 NEW BEST:: SOT 296555 SOS 142793 HAS SOPS 138999 HAS SOUS 65956 HAS SOUPS 65267 WITH SCORE 65409.793
AT ITER 3646 NEW BEST:: SOT 296555 SOS 140711 HAS SOPS 136917 HAS SOUS 65956 HAS SOUPS 65267 WITH SCORE 65407.711
AT ITER 3688 NEW BEST:: SOT 296532 SOS 140665 HAS SOPS 136871 HAS SOUS 65910 HAS SOUPS 65221 WITH SCORE 65361.665
AT ITER 3696 NEW BEST:: SOT 296526 SOS 140653 HAS SOPS 136859 HAS SOUS 65898 HAS SOUPS 65209 WITH SCORE 65349.653
AT ITER 3697 NEW BEST:: SOT 296525 SOS 140604 HAS SOPS 136494 HAS SOUS 65786 HAS SOUPS 64963 WITH SCORE 65103.604
AT ITER 3700 NEW BEST:: SOT 296516 SOS 140595 HAS SOPS 136485 HAS SOUS 65777 HAS SOUPS 64954 WITH SCORE 65094.595
AT ITER 3717 NEW BEST:: SOT 296515 SOS 140594 HAS SOPS 136484 HAS SOUS 65776 HAS SOUPS 64953 WITH SCORE 65093.594
AT ITER 3738 NEW BEST:: SOT 296496 SOS 140575 HAS SOPS 136465 HAS SOUS 65738 HAS SOUPS 64915 WITH SCORE 65055.575
AT ITER 3740 NEW BEST:: SOT 296392 SOS 140487 HAS SOPS 136377 HAS SOUS 65530 HAS SOUPS 64707 WITH SCORE 64847.487
AT ITER 3809 NEW BEST:: SOT 296341 SOS 140334 HAS SOPS 136224 HAS SOUS 65445 HAS SOUPS 64622 WITH SCORE 64762.334
AT ITER 3845 NEW BEST:: SOT 296329 SOS 140322 HAS SOPS 136212 HAS SOUS 65433 HAS SOUPS 64610 WITH SCORE 64750.322
AT ITER 3866 NEW BEST:: SOT 296352 SOS 140325 HAS SOPS 136215 HAS SOUS 65393 HAS SOUPS 64570 WITH SCORE 64710.325
AT ITER 3924 NEW BEST:: SOT 296299 SOS 140357 HAS SOPS 136247 HAS SOUS 65308 HAS SOUPS 64485 WITH SCORE 64625.357
AT ITER 3949 NEW BEST:: SOT 296262 SOS 140347 HAS SOPS 136237 HAS SOUS 65298 HAS SOUPS 64475 WITH SCORE 64615.347
AT ITER 3951 NEW BEST:: SOT 296016 SOS 139890 HAS SOPS 135780 HAS SOUS 65196 HAS SOUPS 64373 WITH SCORE 64512.89
AT ITER 3978 NEW BEST:: SOT 295989 SOS 139845 HAS SOPS 135735 HAS SOUS 65151 HAS SOUPS 64328 WITH SCORE 64467.845
AT ITER 3992 NEW BEST:: SOT 295982 SOS 139827 HAS SOPS 135717 HAS SOUS 65137 HAS SOUPS 64314 WITH SCORE 64453.827
AT ITER 3995 NEW BEST:: SOT 295982 SOS 138464 HAS SOPS 134354 HAS SOUS 65137 HAS SOUPS 64314 WITH SCORE 64452.464
AT ITER 4009 NEW BEST:: SOT 295982 SOS 138290 HAS SOPS 134180 HAS SOUS 64965 HAS SOUPS 64142 WITH SCORE 64280.29
AT ITER 4015 NEW BEST:: SOT 295975 SOS 138283 HAS SOPS 134173 HAS SOUS 64942 HAS SOUPS 64119 WITH SCORE 64257.283
AT ITER 4024 NEW BEST:: SOT 295967 SOS 138275 HAS SOPS 134161 HAS SOUS 64934 HAS SOUPS 64111 WITH SCORE 64249.275
AT ITER 4040 NEW BEST:: SOT 295959 SOS 138267 HAS SOPS 134145 HAS SOUS 64918 HAS SOUPS 64095 WITH SCORE 64233.267
AT ITER 4050 NEW BEST:: SOT 295959 SOS 138200 HAS SOPS 134078 HAS SOUS 64863 HAS SOUPS 64040 WITH SCORE 64178.2
AT ITER 4063 NEW BEST:: SOT 295969 SOS 138199 HAS SOPS 134077 HAS SOUS 64813 HAS SOUPS 63990 WITH SCORE 64128.199
AT ITER 4069 NEW BEST:: SOT 295921 SOS 138139 HAS SOPS 134017 HAS SOUS 64717 HAS SOUPS 63894 WITH SCORE 64032.139
AT ITER 4083 NEW BEST:: SOT 295894 SOS 138112 HAS SOPS 133990 HAS SOUS 64679 HAS SOUPS 63856 WITH SCORE 63994.112
AT ITER 4096 NEW BEST:: SOT 295894 SOS 138112 HAS SOPS 133990 HAS SOUS 64673 HAS SOUPS 63850 WITH SCORE 63988.112
AT ITER 4104 NEW BEST:: SOT 295870 SOS 138121 HAS SOPS 133999 HAS SOUS 64663 HAS SOUPS 63840 WITH SCORE 63978.121
AT ITER 4116 NEW BEST:: SOT 295703 SOS 137850 HAS SOPS 133728 HAS SOUS 64527 HAS SOUPS 63704 WITH SCORE 63841.85
AT ITER 4129 NEW BEST:: SOT 295703 SOS 137542 HAS SOPS 133420 HAS SOUS 64439 HAS SOUPS 63616 WITH SCORE 63753.542
AT ITER 4162 NEW BEST:: SOT 295703 SOS 137530 HAS SOPS 133408 HAS SOUS 64429 HAS SOUPS 63606 WITH SCORE 63743.53
AT ITER 4174 NEW BEST:: SOT 295690 SOS 137527 HAS SOPS 133405 HAS SOUS 64402 HAS SOUPS 63579 WITH SCORE 63716.527
AT ITER 4183 NEW BEST:: SOT 295690 SOS 137525 HAS SOPS 133403 HAS SOUS 64400 HAS SOUPS 63577 WITH SCORE 63714.525
AT ITER 4202 NEW BEST:: SOT 295642 SOS 137447 HAS SOPS 133325 HAS SOUS 64304 HAS SOUPS 63481 WITH SCORE 63618.447
AT ITER 4218 NEW BEST:: SOT 295632 SOS 137442 HAS SOPS 133320 HAS SOUS 64289 HAS SOUPS 63466 WITH SCORE 63603.442
AT ITER 4220 NEW BEST:: SOT 295632 SOS 137010 HAS SOPS 132888 HAS SOUS 64289 HAS SOUPS 63466 WITH SCORE 63603.01
AT ITER 4250 NEW BEST:: SOT 295398 SOS 136412 HAS SOPS 132290 HAS SOUS 63871 HAS SOUPS 63048 WITH SCORE 63184.412
AT ITER 4269 NEW BEST:: SOT 295352 SOS 136372 HAS SOPS 132250 HAS SOUS 63806 HAS SOUPS 62983 WITH SCORE 63119.372
AT ITER 4308 NEW BEST:: SOT 295309 SOS 136329 HAS SOPS 132207 HAS SOUS 63720 HAS SOUPS 62897 WITH SCORE 63033.329
AT ITER 4321 NEW BEST:: SOT 295253 SOS 136221 HAS SOPS 132099 HAS SOUS 63612 HAS SOUPS 62789 WITH SCORE 62925.221
AT ITER 4333 NEW BEST:: SOT 295253 SOS 136338 HAS SOPS 132216 HAS SOUS 63573 HAS SOUPS 62750 WITH SCORE 62886.338
AT ITER 4348 NEW BEST:: SOT 295249 SOS 136334 HAS SOPS 132212 HAS SOUS 63569 HAS SOUPS 62746 WITH SCORE 62882.334
AT ITER 4369 NEW BEST:: SOT 295245 SOS 136330 HAS SOPS 132208 HAS SOUS 63565 HAS SOUPS 62742 WITH SCORE 62878.33
AT ITER 4429 NEW BEST:: SOT 295245 SOS 136378 HAS SOPS 132256 HAS SOUS 63563 HAS SOUPS 62740 WITH SCORE 62876.378
AT ITER 4452 NEW BEST:: SOT 295238 SOS 136371 HAS SOPS 132249 HAS SOUS 63556 HAS SOUPS 62733 WITH SCORE 62869.371
AT ITER 4461 NEW BEST:: SOT 295227 SOS 136349 HAS SOPS 132227 HAS SOUS 63534 HAS SOUPS 62711 WITH SCORE 62847.349
AT ITER 4463 NEW BEST:: SOT 295227 SOS 136332 HAS SOPS 132210 HAS SOUS 63525 HAS SOUPS 62702 WITH SCORE 62838.332
AT ITER 4476 NEW BEST:: SOT 295230 SOS 136335 HAS SOPS 132213 HAS SOUS 63517 HAS SOUPS 62694 WITH SCORE 62830.335
AT ITER 4484 NEW BEST:: SOT 295222 SOS 136327 HAS SOPS 132205 HAS SOUS 63501 HAS SOUPS 62678 WITH SCORE 62814.327
AT ITER 4496 NEW BEST:: SOT 295256 SOS 136319 HAS SOPS 132197 HAS SOUS 63480 HAS SOUPS 62657 WITH SCORE 62793.319
AT ITER 4510 NEW BEST:: SOT 295262 SOS 136314 HAS SOPS 132192 HAS SOUS 63479 HAS SOUPS 62656 WITH SCORE 62792.314
AT ITER 4515 NEW BEST:: SOT 295142 SOS 136237 HAS SOPS 132115 HAS SOUS 63399 HAS SOUPS 62576 WITH SCORE 62712.237
AT ITER 4546 NEW BEST:: SOT 294910 SOS 136005 HAS SOPS 131883 HAS SOUS 63311 HAS SOUPS 62488 WITH SCORE 62624.005
AT ITER 4636 NEW BEST:: SOT 294910 SOS 136005 HAS SOPS 131883 HAS SOUS 63283 HAS SOUPS 62460 WITH SCORE 62596.005
AT ITER 4647 NEW BEST:: SOT 294905 SOS 136008 HAS SOPS 131886 HAS SOUS 63221 HAS SOUPS 62398 WITH SCORE 62534.008
AT ITER 4682 NEW BEST:: SOT 294571 SOS 135783 HAS SOPS 131661 HAS SOUS 63097 HAS SOUPS 62274 WITH SCORE 62409.783
AT ITER 4692 NEW BEST:: SOT 294465 SOS 135641 HAS SOPS 131479 HAS SOUS 62875 HAS SOUPS 62052 WITH SCORE 62187.641
AT ITER 4708 NEW BEST:: SOT 294425 SOS 135601 HAS SOPS 131439 HAS SOUS 62778 HAS SOUPS 61955 WITH SCORE 62090.601
AT ITER 4709 NEW BEST:: SOT 294418 SOS 135594 HAS SOPS 131432 HAS SOUS 62762 HAS SOUPS 61939 WITH SCORE 62074.594
AT ITER 4710 NEW BEST:: SOT 294412 SOS 135588 HAS SOPS 131426 HAS SOUS 62750 HAS SOUPS 61927 WITH SCORE 62062.588
AT ITER 4716 NEW BEST:: SOT 294380 SOS 135524 HAS SOPS 131362 HAS SOUS 62686 HAS SOUPS 61863 WITH SCORE 61998.524
AT ITER 4721 NEW BEST:: SOT 294270 SOS 135337 HAS SOPS 131175 HAS SOUS 62555 HAS SOUPS 61732 WITH SCORE 61867.337
AT ITER 4731 NEW BEST:: SOT 294267 SOS 135343 HAS SOPS 131181 HAS SOUS 62549 HAS SOUPS 61726 WITH SCORE 61861.343
AT ITER 4734 NEW BEST:: SOT 294211 SOS 135287 HAS SOPS 131125 HAS SOUS 62437 HAS SOUPS 61614 WITH SCORE 61749.287
AT ITER 4754 NEW BEST:: SOT 294211 SOS 135287 HAS SOPS 131125 HAS SOUS 62419 HAS SOUPS 61596 WITH SCORE 61731.287
AT ITER 4779 NEW BEST:: SOT 294208 SOS 135284 HAS SOPS 131122 HAS SOUS 62413 HAS SOUPS 61590 WITH SCORE 61725.284
AT ITER 4780 NEW BEST:: SOT 294175 SOS 135462 HAS SOPS 131300 HAS SOUS 62369 HAS SOUPS 61546 WITH SCORE 61681.462
AT ITER 4812 NEW BEST:: SOT 294141 SOS 135428 HAS SOPS 131266 HAS SOUS 62303 HAS SOUPS 61480 WITH SCORE 61615.428
AT ITER 4871 NEW BEST:: SOT 294081 SOS 135348 HAS SOPS 131186 HAS SOUS 62280 HAS SOUPS 61457 WITH SCORE 61592.348
AT ITER 4883 NEW BEST:: SOT 294022 SOS 135318 HAS SOPS 131156 HAS SOUS 62257 HAS SOUPS 61434 WITH SCORE 61569.318
AT ITER 4896 NEW BEST:: SOT 294006 SOS 135302 HAS SOPS 131140 HAS SOUS 62241 HAS SOUPS 61418 WITH SCORE 61553.302
AT ITER 4903 NEW BEST:: SOT 294006 SOS 135300 HAS SOPS 131138 HAS SOUS 62241 HAS SOUPS 61418 WITH SCORE 61553.3
AT ITER 4904 NEW BEST:: SOT 293990 SOS 135646 HAS SOPS 131484 HAS SOUS 62215 HAS SOUPS 61392 WITH SCORE 61527.646
AT ITER 5023 NEW BEST:: SOT 294013 SOS 135452 HAS SOPS 131290 HAS SOUS 62199 HAS SOUPS 61376 WITH SCORE 61511.452
AT ITER 5024 NEW BEST:: SOT 294163 SOS 135602 HAS SOPS 131440 HAS SOUS 61958 HAS SOUPS 61135 WITH SCORE 61270.602
AT ITER 5055 NEW BEST:: SOT 294079 SOS 135512 HAS SOPS 131350 HAS SOUS 61920 HAS SOUPS 61097 WITH SCORE 61232.512
AT ITER 5090 NEW BEST:: SOT 293994 SOS 135427 HAS SOPS 131265 HAS SOUS 61841 HAS SOUPS 61018 WITH SCORE 61153.427
AT ITER 5115 NEW BEST:: SOT 293990 SOS 135419 HAS SOPS 131257 HAS SOUS 61835 HAS SOUPS 61012 WITH SCORE 61147.419
AT ITER 5136 NEW BEST:: SOT 294043 SOS 135487 HAS SOPS 131325 HAS SOUS 61828 HAS SOUPS 61005 WITH SCORE 61140.487
AT ITER 5152 NEW BEST:: SOT 294013 SOS 135442 HAS SOPS 131280 HAS SOUS 61792 HAS SOUPS 60969 WITH SCORE 61104.442
AT ITER 5157 NEW BEST:: SOT 293912 SOS 135309 HAS SOPS 131147 HAS SOUS 61590 HAS SOUPS 60767 WITH SCORE 60902.309
AT ITER 5160 NEW BEST:: SOT 293622 SOS 135019 HAS SOPS 130857 HAS SOUS 61476 HAS SOUPS 60653 WITH SCORE 60788.019
AT ITER 5164 NEW BEST:: SOT 293614 SOS 135011 HAS SOPS 130849 HAS SOUS 61468 HAS SOUPS 60645 WITH SCORE 60780.011
AT ITER 5172 NEW BEST:: SOT 293554 SOS 134903 HAS SOPS 130741 HAS SOUS 61384 HAS SOUPS 60561 WITH SCORE 60695.903
AT ITER 5216 NEW BEST:: SOT 293529 SOS 134878 HAS SOPS 130687 HAS SOUS 61272 HAS SOUPS 60445 WITH SCORE 60579.878
AT ITER 5243 NEW BEST:: SOT 293505 SOS 134833 HAS SOPS 130642 HAS SOUS 61227 HAS SOUPS 60400 WITH SCORE 60534.833
AT ITER 5249 NEW BEST:: SOT 293481 SOS 134809 HAS SOPS 130618 HAS SOUS 61164 HAS SOUPS 60337 WITH SCORE 60471.809
AT ITER 5251 NEW BEST:: SOT 293469 SOS 134797 HAS SOPS 130606 HAS SOUS 61140 HAS SOUPS 60313 WITH SCORE 60447.797
AT ITER 5289 NEW BEST:: SOT 293466 SOS 134789 HAS SOPS 130594 HAS SOUS 61128 HAS SOUPS 60301 WITH SCORE 60435.789
AT ITER 5328 NEW BEST:: SOT 293447 SOS 134770 HAS SOPS 130575 HAS SOUS 61079 HAS SOUPS 60252 WITH SCORE 60386.77
AT ITER 5372 NEW BEST:: SOT 293286 SOS 134328 HAS SOPS 130133 HAS SOUS 60951 HAS SOUPS 60124 WITH SCORE 60258.328
AT ITER 5380 NEW BEST:: SOT 293286 SOS 134328 HAS SOPS 130133 HAS SOUS 60948 HAS SOUPS 60121 WITH SCORE 60255.328
AT ITER 5381 NEW BEST:: SOT 293271 SOS 134313 HAS SOPS 130118 HAS SOUS 60928 HAS SOUPS 60101 WITH SCORE 60235.313
AT ITER 5382 NEW BEST:: SOT 293139 SOS 133983 HAS SOPS 129788 HAS SOUS 60730 HAS SOUPS 59903 WITH SCORE 60036.983
AT ITER 5393 NEW BEST:: SOT 293139 SOS 133983 HAS SOPS 129788 HAS SOUS 60718 HAS SOUPS 59891 WITH SCORE 60024.983
AT ITER 5398 NEW BEST:: SOT 293094 SOS 133906 HAS SOPS 129711 HAS SOUS 60662 HAS SOUPS 59835 WITH SCORE 59968.906
AT ITER 5409 NEW BEST:: SOT 292981 SOS 133779 HAS SOPS 129584 HAS SOUS 60531 HAS SOUPS 59704 WITH SCORE 59837.779
AT ITER 5446 NEW BEST:: SOT 292994 SOS 133812 HAS SOPS 129617 HAS SOUS 60504 HAS SOUPS 59677 WITH SCORE 59810.812
AT ITER 5466 NEW BEST:: SOT 292941 SOS 133771 HAS SOPS 129576 HAS SOUS 60451 HAS SOUPS 59624 WITH SCORE 59757.771
AT ITER 5534 NEW BEST:: SOT 292941 SOS 133723 HAS SOPS 129528 HAS SOUS 60375 HAS SOUPS 59548 WITH SCORE 59681.723
AT ITER 5536 NEW BEST:: SOT 292932 SOS 133688 HAS SOPS 129493 HAS SOUS 60349 HAS SOUPS 59522 WITH SCORE 59655.688
AT ITER 5541 NEW BEST:: SOT 292910 SOS 133655 HAS SOPS 129460 HAS SOUS 60305 HAS SOUPS 59478 WITH SCORE 59611.655
AT ITER 5542 NEW BEST:: SOT 292737 SOS 133433 HAS SOPS 129238 HAS SOUS 60202 HAS SOUPS 59375 WITH SCORE 59508.433
AT ITER 5544 NEW BEST:: SOT 292737 SOS 133426 HAS SOPS 129231 HAS SOUS 60200 HAS SOUPS 59373 WITH SCORE 59506.426
AT ITER 5624 NEW BEST:: SOT 292731 SOS 133386 HAS SOPS 129191 HAS SOUS 60140 HAS SOUPS 59313 WITH SCORE 59446.386
AT ITER 5631 NEW BEST:: SOT 292665 SOS 133293 HAS SOPS 129098 HAS SOUS 60030 HAS SOUPS 59203 WITH SCORE 59336.293
AT ITER 5637 NEW BEST:: SOT 292659 SOS 133287 HAS SOPS 129092 HAS SOUS 60024 HAS SOUPS 59197 WITH SCORE 59330.287
AT ITER 5696 NEW BEST:: SOT 292672 SOS 133205 HAS SOPS 129010 HAS SOUS 59982 HAS SOUPS 59155 WITH SCORE 59288.205
AT ITER 5708 NEW BEST:: SOT 292613 SOS 133114 HAS SOPS 128919 HAS SOUS 59869 HAS SOUPS 59042 WITH SCORE 59175.114
AT ITER 5713 NEW BEST:: SOT 292609 SOS 133114 HAS SOPS 128919 HAS SOUS 59865 HAS SOUPS 59038 WITH SCORE 59171.114
AT ITER 5764 NEW BEST:: SOT 292693 SOS 133198 HAS SOPS 129003 HAS SOUS 59781 HAS SOUPS 58954 WITH SCORE 59087.198
AT ITER 5799 NEW BEST:: SOT 292620 SOS 133125 HAS SOPS 128930 HAS SOUS 59726 HAS SOUPS 58899 WITH SCORE 59032.125
AT ITER 5811 NEW BEST:: SOT 292595 SOS 133080 HAS SOPS 128885 HAS SOUS 59696 HAS SOUPS 58869 WITH SCORE 59002.08
AT ITER 5817 NEW BEST:: SOT 292538 SOS 133023 HAS SOPS 128828 HAS SOUS 59602 HAS SOUPS 58775 WITH SCORE 58908.023
AT ITER 5818 NEW BEST:: SOT 292537 SOS 133022 HAS SOPS 128827 HAS SOUS 59600 HAS SOUPS 58773 WITH SCORE 58906.022
AT ITER 5827 NEW BEST:: SOT 292537 SOS 133022 HAS SOPS 128827 HAS SOUS 59599 HAS SOUPS 58772 WITH SCORE 58905.022
AT ITER 5837 NEW BEST:: SOT 292520 SOS 132979 HAS SOPS 128784 HAS SOUS 59565 HAS SOUPS 58738 WITH SCORE 58870.979
AT ITER 5866 NEW BEST:: SOT 292518 SOS 132977 HAS SOPS 128782 HAS SOUS 59562 HAS SOUPS 58735 WITH SCORE 58867.977
AT ITER 5870 NEW BEST:: SOT 292549 SOS 132996 HAS SOPS 128801 HAS SOUS 59546 HAS SOUPS 58719 WITH SCORE 58851.996
AT ITER 5881 NEW BEST:: SOT 292535 SOS 132982 HAS SOPS 128787 HAS SOUS 59532 HAS SOUPS 58705 WITH SCORE 58837.982
AT ITER 5896 NEW BEST:: SOT 292522 SOS 132969 HAS SOPS 128774 HAS SOUS 59506 HAS SOUPS 58679 WITH SCORE 58811.969
AT ITER 5929 NEW BEST:: SOT 292489 SOS 132983 HAS SOPS 128788 HAS SOUS 59440 HAS SOUPS 58613 WITH SCORE 58745.983
AT ITER 5971 NEW BEST:: SOT 292473 SOS 132927 HAS SOPS 128756 HAS SOUS 59432 HAS SOUPS 58605 WITH SCORE 58737.927
AT ITER 5972 NEW BEST:: SOT 292467 SOS 132926 HAS SOPS 128755 HAS SOUS 59431 HAS SOUPS 58604 WITH SCORE 58736.926
AT ITER 6004 NEW BEST:: SOT 292467 SOS 132945 HAS SOPS 128766 HAS SOUS 59423 HAS SOUPS 58595 WITH SCORE 58727.945
AT ITER 6051 NEW BEST:: SOT 292462 SOS 132922 HAS SOPS 128743 HAS SOUS 59417 HAS SOUPS 58589 WITH SCORE 58721.922
AT ITER 6087 NEW BEST:: SOT 292450 SOS 132910 HAS SOPS 128731 HAS SOUS 59408 HAS SOUPS 58580 WITH SCORE 58712.91
AT ITER 6096 NEW BEST:: SOT 292057 SOS 132493 HAS SOPS 128314 HAS SOUS 59024 HAS SOUPS 58196 WITH SCORE 58328.493
AT ITER 6126 NEW BEST:: SOT 292042 SOS 132478 HAS SOPS 128288 HAS SOUS 58994 HAS SOUPS 58166 WITH SCORE 58298.478
AT ITER 6138 NEW BEST:: SOT 292017 SOS 132453 HAS SOPS 128263 HAS SOUS 58969 HAS SOUPS 58141 WITH SCORE 58273.453
AT ITER 6139 NEW BEST:: SOT 292034 SOS 132477 HAS SOPS 128287 HAS SOUS 58960 HAS SOUPS 58132 WITH SCORE 58264.477
AT ITER 6216 NEW BEST:: SOT 292026 SOS 132461 HAS SOPS 128271 HAS SOUS 58944 HAS SOUPS 58116 WITH SCORE 58248.461
AT ITER 6232 NEW BEST:: SOT 292014 SOS 132456 HAS SOPS 128266 HAS SOUS 58902 HAS SOUPS 58074 WITH SCORE 58206.456
AT ITER 6276 NEW BEST:: SOT 291987 SOS 132399 HAS SOPS 128209 HAS SOUS 58888 HAS SOUPS 58060 WITH SCORE 58192.399
AT ITER 6299 NEW BEST:: SOT 291987 SOS 132287 HAS SOPS 128097 HAS SOUS 58888 HAS SOUPS 58060 WITH SCORE 58192.287
AT ITER 6311 NEW BEST:: SOT 291993 SOS 132300 HAS SOPS 128110 HAS SOUS 58859 HAS SOUPS 58031 WITH SCORE 58163.3
AT ITER 6316 NEW BEST:: SOT 291927 SOS 132322 HAS SOPS 128132 HAS SOUS 58786 HAS SOUPS 57958 WITH SCORE 58090.322
AT ITER 6317 NEW BEST:: SOT 291949 SOS 132344 HAS SOPS 128154 HAS SOUS 58763 HAS SOUPS 57935 WITH SCORE 58067.344
AT ITER 6322 NEW BEST:: SOT 291943 SOS 132338 HAS SOPS 128148 HAS SOUS 58757 HAS SOUPS 57929 WITH SCORE 58061.338
AT ITER 6328 NEW BEST:: SOT 291951 SOS 132346 HAS SOPS 128156 HAS SOUS 58744 HAS SOUPS 57916 WITH SCORE 58048.346
AT ITER 6359 NEW BEST:: SOT 291839 SOS 132234 HAS SOPS 128044 HAS SOUS 58559 HAS SOUPS 57731 WITH SCORE 57863.234
AT ITER 6363 NEW BEST:: SOT 291839 SOS 132227 HAS SOPS 128037 HAS SOUS 58552 HAS SOUPS 57724 WITH SCORE 57856.227
AT ITER 6374 NEW BEST:: SOT 291709 SOS 132097 HAS SOPS 127907 HAS SOUS 58412 HAS SOUPS 57584 WITH SCORE 57716.097
AT ITER 6393 NEW BEST:: SOT 291697 SOS 132076 HAS SOPS 127886 HAS SOUS 58388 HAS SOUPS 57560 WITH SCORE 57692.076
AT ITER 6407 NEW BEST:: SOT 291697 SOS 131554 HAS SOPS 127364 HAS SOUS 58388 HAS SOUPS 57560 WITH SCORE 57691.554
AT ITER 6418 NEW BEST:: SOT 291694 SOS 131546 HAS SOPS 127356 HAS SOUS 58387 HAS SOUPS 57559 WITH SCORE 57690.546
AT ITER 6448 NEW BEST:: SOT 291686 SOS 131536 HAS SOPS 127346 HAS SOUS 58377 HAS SOUPS 57549 WITH SCORE 57680.536
AT ITER 6465 NEW BEST:: SOT 291621 SOS 131469 HAS SOPS 127279 HAS SOUS 58310 HAS SOUPS 57482 WITH SCORE 57613.469
AT ITER 6480 NEW BEST:: SOT 291578 SOS 131253 HAS SOPS 127064 HAS SOUS 58282 HAS SOUPS 57454 WITH SCORE 57585.253
AT ITER 6490 NEW BEST:: SOT 291584 SOS 131259 HAS SOPS 127070 HAS SOUS 58259 HAS SOUPS 57431 WITH SCORE 57562.259
AT ITER 6536 NEW BEST:: SOT 291483 SOS 131225 HAS SOPS 127036 HAS SOUS 58189 HAS SOUPS 57361 WITH SCORE 57492.225
AT ITER 6578 NEW BEST:: SOT 291482 SOS 131225 HAS SOPS 127036 HAS SOUS 58188 HAS SOUPS 57360 WITH SCORE 57491.225
AT ITER 6720 NEW BEST:: SOT 291476 SOS 131219 HAS SOPS 127030 HAS SOUS 58176 HAS SOUPS 57348 WITH SCORE 57479.219
AT ITER 6744 NEW BEST:: SOT 291442 SOS 131185 HAS SOPS 126996 HAS SOUS 58128 HAS SOUPS 57300 WITH SCORE 57431.185
AT ITER 6745 NEW BEST:: SOT 291428 SOS 130936 HAS SOPS 126747 HAS SOUS 58066 HAS SOUPS 57238 WITH SCORE 57368.936
AT ITER 6757 NEW BEST:: SOT 291428 SOS 130935 HAS SOPS 126746 HAS SOUS 58066 HAS SOUPS 57238 WITH SCORE 57368.935
AT ITER 6760 NEW BEST:: SOT 291334 SOS 130824 HAS SOPS 126635 HAS SOUS 57977 HAS SOUPS 57149 WITH SCORE 57279.824
AT ITER 6770 NEW BEST:: SOT 291334 SOS 130714 HAS SOPS 126525 HAS SOUS 57977 HAS SOUPS 57149 WITH SCORE 57279.714
AT ITER 6906 NEW BEST:: SOT 291293 SOS 130609 HAS SOPS 126420 HAS SOUS 57959 HAS SOUPS 57131 WITH SCORE 57261.609
AT ITER 6917 NEW BEST:: SOT 291269 SOS 130509 HAS SOPS 126320 HAS SOUS 57933 HAS SOUPS 57105 WITH SCORE 57235.509
AT ITER 6925 NEW BEST:: SOT 291290 SOS 130537 HAS SOPS 126348 HAS SOUS 57877 HAS SOUPS 57049 WITH SCORE 57179.537
AT ITER 6934 NEW BEST:: SOT 291272 SOS 130333 HAS SOPS 126189 HAS SOUS 57771 HAS SOUPS 56943 WITH SCORE 57073.333
AT ITER 6953 NEW BEST:: SOT 291271 SOS 130332 HAS SOPS 126188 HAS SOUS 57770 HAS SOUPS 56942 WITH SCORE 57072.332
AT ITER 7189 NEW BEST:: SOT 291244 SOS 130026 HAS SOPS 125882 HAS SOUS 57725 HAS SOUPS 56897 WITH SCORE 57027.026
AT ITER 7198 NEW BEST:: SOT 291204 SOS 129918 HAS SOPS 125774 HAS SOUS 57668 HAS SOUPS 56840 WITH SCORE 56969.918
AT ITER 7268 NEW BEST:: SOT 291196 SOS 129819 HAS SOPS 125675 HAS SOUS 57549 HAS SOUPS 56721 WITH SCORE 56850.819
AT ITER 7277 NEW BEST:: SOT 291196 SOS 129780 HAS SOPS 125636 HAS SOUS 57547 HAS SOUPS 56719 WITH SCORE 56848.78
AT ITER 7279 NEW BEST:: SOT 291173 SOS 129757 HAS SOPS 125613 HAS SOUS 57492 HAS SOUPS 56664 WITH SCORE 56793.757
AT ITER 7290 NEW BEST:: SOT 291110 SOS 129683 HAS SOPS 125539 HAS SOUS 57482 HAS SOUPS 56654 WITH SCORE 56783.683
AT ITER 7301 NEW BEST:: SOT 291104 SOS 129677 HAS SOPS 125533 HAS SOUS 57476 HAS SOUPS 56648 WITH SCORE 56777.677
AT ITER 7322 NEW BEST:: SOT 291104 SOS 129642 HAS SOPS 125540 HAS SOUS 57449 HAS SOUPS 56628 WITH SCORE 56757.642
AT ITER 7337 NEW BEST:: SOT 291086 SOS 129594 HAS SOPS 125492 HAS SOUS 57413 HAS SOUPS 56592 WITH SCORE 56721.594
AT ITER 7361 NEW BEST:: SOT 291086 SOS 129575 HAS SOPS 125473 HAS SOUS 57349 HAS SOUPS 56528 WITH SCORE 56657.575
AT ITER 7425 NEW BEST:: SOT 291083 SOS 129571 HAS SOPS 125469 HAS SOUS 57345 HAS SOUPS 56524 WITH SCORE 56653.571
AT ITER 7432 NEW BEST:: SOT 291096 SOS 129612 HAS SOPS 125510 HAS SOUS 57329 HAS SOUPS 56508 WITH SCORE 56637.612
AT ITER 7433 NEW BEST:: SOT 291083 SOS 129599 HAS SOPS 125484 HAS SOUS 57303 HAS SOUPS 56482 WITH SCORE 56611.599
AT ITER 7443 NEW BEST:: SOT 291072 SOS 129582 HAS SOPS 125467 HAS SOUS 57281 HAS SOUPS 56460 WITH SCORE 56589.582
AT ITER 7447 NEW BEST:: SOT 291060 SOS 129570 HAS SOPS 125455 HAS SOUS 57276 HAS SOUPS 56455 WITH SCORE 56584.57
AT ITER 7480 NEW BEST:: SOT 291030 SOS 129540 HAS SOPS 125425 HAS SOUS 57255 HAS SOUPS 56434 WITH SCORE 56563.54
AT ITER 7528 NEW BEST:: SOT 291018 SOS 129528 HAS SOPS 125413 HAS SOUS 57239 HAS SOUPS 56418 WITH SCORE 56547.528
AT ITER 7538 NEW BEST:: SOT 291013 SOS 129523 HAS SOPS 125408 HAS SOUS 57220 HAS SOUPS 56399 WITH SCORE 56528.523
AT ITER 7551 NEW BEST:: SOT 291010 SOS 129539 HAS SOPS 125427 HAS SOUS 57216 HAS SOUPS 56396 WITH SCORE 56525.539
AT ITER 7651 NEW BEST:: SOT 290998 SOS 129527 HAS SOPS 125415 HAS SOUS 57200 HAS SOUPS 56380 WITH SCORE 56509.527
AT ITER 7680 NEW BEST:: SOT 290947 SOS 129476 HAS SOPS 125364 HAS SOUS 57179 HAS SOUPS 56359 WITH SCORE 56488.476
AT ITER 7683 NEW BEST:: SOT 290947 SOS 129460 HAS SOPS 125348 HAS SOUS 57179 HAS SOUPS 56359 WITH SCORE 56488.46
AT ITER 7731 NEW BEST:: SOT 290947 SOS 129450 HAS SOPS 125338 HAS SOUS 57177 HAS SOUPS 56357 WITH SCORE 56486.45
AT ITER 7743 NEW BEST:: SOT 290934 SOS 129437 HAS SOPS 125327 HAS SOUS 57151 HAS SOUPS 56331 WITH SCORE 56460.437
AT ITER 7809 NEW BEST:: SOT 290929 SOS 129437 HAS SOPS 125322 HAS SOUS 57146 HAS SOUPS 56326 WITH SCORE 56455.437
AT ITER 7869 NEW BEST:: SOT 290927 SOS 129435 HAS SOPS 125320 HAS SOUS 57143 HAS SOUPS 56323 WITH SCORE 56452.435
AT ITER 7907 NEW BEST:: SOT 290927 SOS 129418 HAS SOPS 125303 HAS SOUS 57126 HAS SOUPS 56306 WITH SCORE 56435.418
AT ITER 7921 NEW BEST:: SOT 290914 SOS 129392 HAS SOPS 125303 HAS SOUS 57126 HAS SOUPS 56306 WITH SCORE 56435.392
AT ITER 8063 NEW BEST:: SOT 290901 SOS 129353 HAS SOPS 125264 HAS SOUS 57087 HAS SOUPS 56267 WITH SCORE 56396.353
AT ITER 8064 NEW BEST:: SOT 290850 SOS 129450 HAS SOPS 125392 HAS SOUS 57026 HAS SOUPS 56206 WITH SCORE 56335.45
AT ITER 8080 NEW BEST:: SOT 290832 SOS 129432 HAS SOPS 125374 HAS SOUS 56912 HAS SOUPS 56092 WITH SCORE 56221.432
AT ITER 8109 NEW BEST:: SOT 290746 SOS 129219 HAS SOPS 125161 HAS SOUS 56907 HAS SOUPS 56087 WITH SCORE 56216.219
AT ITER 8120 NEW BEST:: SOT 290745 SOS 129218 HAS SOPS 125160 HAS SOUS 56905 HAS SOUPS 56085 WITH SCORE 56214.218
AT ITER 8141 NEW BEST:: SOT 290769 SOS 129186 HAS SOPS 125128 HAS SOUS 56898 HAS SOUPS 56078 WITH SCORE 56207.186
AT ITER 8223 NEW BEST:: SOT 290764 SOS 129151 HAS SOPS 125093 HAS SOUS 56892 HAS SOUPS 56072 WITH SCORE 56201.151
AT ITER 8232 NEW BEST:: SOT 290563 SOS 128778 HAS SOPS 124720 HAS SOUS 56596 HAS SOUPS 55776 WITH SCORE 55904.778
AT ITER 8341 NEW BEST:: SOT 290529 SOS 128690 HAS SOPS 124632 HAS SOUS 56508 HAS SOUPS 55688 WITH SCORE 55816.69
AT ITER 8351 NEW BEST:: SOT 290515 SOS 128582 HAS SOPS 124524 HAS SOUS 56427 HAS SOUPS 55607 WITH SCORE 55735.582
AT ITER 8364 NEW BEST:: SOT 290488 SOS 128553 HAS SOPS 124495 HAS SOUS 56387 HAS SOUPS 55567 WITH SCORE 55695.553
AT ITER 8379 NEW BEST:: SOT 290483 SOS 128548 HAS SOPS 124493 HAS SOUS 56381 HAS SOUPS 55561 WITH SCORE 55689.548
AT ITER 8422 NEW BEST:: SOT 290471 SOS 128536 HAS SOPS 124481 HAS SOUS 56351 HAS SOUPS 55531 WITH SCORE 55659.536
AT ITER 8431 NEW BEST:: SOT 290452 SOS 128763 HAS SOPS 124708 HAS SOUS 56348 HAS SOUPS 55528 WITH SCORE 55656.763
AT ITER 8469 NEW BEST:: SOT 290462 SOS 128784 HAS SOPS 124729 HAS SOUS 56315 HAS SOUPS 55495 WITH SCORE 55623.784
AT ITER 8481 NEW BEST:: SOT 290383 SOS 128705 HAS SOPS 124650 HAS SOUS 56227 HAS SOUPS 55407 WITH SCORE 55535.705
AT ITER 8487 NEW BEST:: SOT 290367 SOS 128680 HAS SOPS 124625 HAS SOUS 56195 HAS SOUPS 55375 WITH SCORE 55503.68
AT ITER 8519 NEW BEST:: SOT 290398 SOS 128632 HAS SOPS 124577 HAS SOUS 56192 HAS SOUPS 55372 WITH SCORE 55500.632
AT ITER 8557 NEW BEST:: SOT 290397 SOS 128631 HAS SOPS 124576 HAS SOUS 56191 HAS SOUPS 55371 WITH SCORE 55499.631
AT ITER 8673 NEW BEST:: SOT 290364 SOS 128585 HAS SOPS 124530 HAS SOUS 56052 HAS SOUPS 55232 WITH SCORE 55360.585
AT ITER 8710 NEW BEST:: SOT 290334 SOS 128487 HAS SOPS 124432 HAS SOUS 55984 HAS SOUPS 55164 WITH SCORE 55292.487
AT ITER 8726 NEW BEST:: SOT 290315 SOS 128477 HAS SOPS 124422 HAS SOUS 55932 HAS SOUPS 55112 WITH SCORE 55240.477
AT ITER 8728 NEW BEST:: SOT 290315 SOS 128477 HAS SOPS 124422 HAS SOUS 55928 HAS SOUPS 55108 WITH SCORE 55236.477
AT ITER 8782 NEW BEST:: SOT 290363 SOS 128516 HAS SOPS 124461 HAS SOUS 55910 HAS SOUPS 55090 WITH SCORE 55218.516
AT ITER 8795 NEW BEST:: SOT 290346 SOS 128518 HAS SOPS 124463 HAS SOUS 55904 HAS SOUPS 55084 WITH SCORE 55212.518
AT ITER 8845 NEW BEST:: SOT 290290 SOS 128521 HAS SOPS 124466 HAS SOUS 55772 HAS SOUPS 54952 WITH SCORE 55080.521
AT ITER 8854 NEW BEST:: SOT 290256 SOS 128487 HAS SOPS 124432 HAS SOUS 55758 HAS SOUPS 54938 WITH SCORE 55066.487
AT ITER 8855 NEW BEST:: SOT 290221 SOS 128242 HAS SOPS 124187 HAS SOUS 55716 HAS SOUPS 54896 WITH SCORE 55024.242
AT ITER 8868 NEW BEST:: SOT 290185 SOS 128206 HAS SOPS 124151 HAS SOUS 55672 HAS SOUPS 54852 WITH SCORE 54980.206
AT ITER 8870 NEW BEST:: SOT 290176 SOS 128213 HAS SOPS 124158 HAS SOUS 55654 HAS SOUPS 54834 WITH SCORE 54962.213
AT ITER 8875 NEW BEST:: SOT 290084 SOS 128153 HAS SOPS 124098 HAS SOUS 55565 HAS SOUPS 54745 WITH SCORE 54873.153
AT ITER 8882 NEW BEST:: SOT 290079 SOS 128143 HAS SOPS 124088 HAS SOUS 55560 HAS SOUPS 54740 WITH SCORE 54868.143
AT ITER 8919 NEW BEST:: SOT 290057 SOS 128121 HAS SOPS 124066 HAS SOUS 55554 HAS SOUPS 54734 WITH SCORE 54862.121
AT ITER 8924 NEW BEST:: SOT 290057 SOS 127947 HAS SOPS 123892 HAS SOUS 55554 HAS SOUPS 54734 WITH SCORE 54861.947
AT ITER 9018 NEW BEST:: SOT 290057 SOS 127767 HAS SOPS 123712 HAS SOUS 55542 HAS SOUPS 54722 WITH SCORE 54849.767
AT ITER 9040 NEW BEST:: SOT 290057 SOS 127779 HAS SOPS 123724 HAS SOUS 55538 HAS SOUPS 54718 WITH SCORE 54845.779
AT ITER 9087 NEW BEST:: SOT 290039 SOS 127722 HAS SOPS 123667 HAS SOUS 55502 HAS SOUPS 54682 WITH SCORE 54809.722
AT ITER 9100 NEW BEST:: SOT 290039 SOS 127722 HAS SOPS 123667 HAS SOUS 55499 HAS SOUPS 54679 WITH SCORE 54806.722
AT ITER 9120 NEW BEST:: SOT 290038 SOS 127693 HAS SOPS 123638 HAS SOUS 55497 HAS SOUPS 54677 WITH SCORE 54804.693
AT ITER 9154 NEW BEST:: SOT 290035 SOS 127690 HAS SOPS 123635 HAS SOUS 55497 HAS SOUPS 54677 WITH SCORE 54804.69
AT ITER 9170 NEW BEST:: SOT 290015 SOS 127324 HAS SOPS 123269 HAS SOUS 55482 HAS SOUPS 54662 WITH SCORE 54789.324
AT ITER 9176 NEW BEST:: SOT 290054 SOS 128002 HAS SOPS 123947 HAS SOUS 55457 HAS SOUPS 54637 WITH SCORE 54765.002
AT ITER 9237 NEW BEST:: SOT 290016 SOS 127964 HAS SOPS 123909 HAS SOUS 55433 HAS SOUPS 54613 WITH SCORE 54740.964
AT ITER 9245 NEW BEST:: SOT 289959 SOS 127907 HAS SOPS 123852 HAS SOUS 55376 HAS SOUPS 54556 WITH SCORE 54683.907
AT ITER 9264 NEW BEST:: SOT 289912 SOS 127876 HAS SOPS 123821 HAS SOUS 55368 HAS SOUPS 54548 WITH SCORE 54675.876
AT ITER 9290 NEW BEST:: SOT 289854 SOS 127805 HAS SOPS 123750 HAS SOUS 55280 HAS SOUPS 54460 WITH SCORE 54587.805
AT ITER 9437 NEW BEST:: SOT 289932 SOS 127828 HAS SOPS 123773 HAS SOUS 55219 HAS SOUPS 54399 WITH SCORE 54526.828
AT ITER 9511 NEW BEST:: SOT 289932 SOS 127830 HAS SOPS 123775 HAS SOUS 55191 HAS SOUPS 54371 WITH SCORE 54498.83
AT ITER 9524 NEW BEST:: SOT 289653 SOS 127527 HAS SOPS 123472 HAS SOUS 54906 HAS SOUPS 54086 WITH SCORE 54213.527
AT ITER 9530 NEW BEST:: SOT 289636 SOS 127502 HAS SOPS 123447 HAS SOUS 54880 HAS SOUPS 54060 WITH SCORE 54187.502
AT ITER 9536 NEW BEST:: SOT 289636 SOS 127502 HAS SOPS 123447 HAS SOUS 54875 HAS SOUPS 54055 WITH SCORE 54182.502
AT ITER 9545 NEW BEST:: SOT 289533 SOS 127399 HAS SOPS 123344 HAS SOUS 54791 HAS SOUPS 53971 WITH SCORE 54098.399
AT ITER 9578 NEW BEST:: SOT 289437 SOS 127268 HAS SOPS 123213 HAS SOUS 54636 HAS SOUPS 53816 WITH SCORE 53943.268
AT ITER 9581 NEW BEST:: SOT 289458 SOS 127203 HAS SOPS 123148 HAS SOUS 54614 HAS SOUPS 53794 WITH SCORE 53921.203
AT ITER 9587 NEW BEST:: SOT 289410 SOS 127155 HAS SOPS 123100 HAS SOUS 54554 HAS SOUPS 53734 WITH SCORE 53861.155
AT ITER 9592 NEW BEST:: SOT 289440 SOS 127228 HAS SOPS 123173 HAS SOUS 54551 HAS SOUPS 53731 WITH SCORE 53858.228
AT ITER 9640 NEW BEST:: SOT 289422 SOS 127204 HAS SOPS 123149 HAS SOUS 54527 HAS SOUPS 53707 WITH SCORE 53834.204
AT ITER 9643 NEW BEST:: SOT 289350 SOS 127132 HAS SOPS 123077 HAS SOUS 54433 HAS SOUPS 53613 WITH SCORE 53740.132
AT ITER 9686 NEW BEST:: SOT 289341 SOS 127143 HAS SOPS 123088 HAS SOUS 54432 HAS SOUPS 53612 WITH SCORE 53739.143
AT ITER 9710 NEW BEST:: SOT 289341 SOS 126689 HAS SOPS 122634 HAS SOUS 54432 HAS SOUPS 53612 WITH SCORE 53738.689
AT ITER 9728 NEW BEST:: SOT 289313 SOS 126635 HAS SOPS 122580 HAS SOUS 54339 HAS SOUPS 53519 WITH SCORE 53645.635
AT ITER 9739 NEW BEST:: SOT 289279 SOS 126645 HAS SOPS 122590 HAS SOUS 54258 HAS SOUPS 53438 WITH SCORE 53564.645
AT ITER 9863 NEW BEST:: SOT 289279 SOS 126645 HAS SOPS 122590 HAS SOUS 54257 HAS SOUPS 53437 WITH SCORE 53563.645
AT ITER 9922 NEW BEST:: SOT 289242 SOS 126608 HAS SOPS 122553 HAS SOUS 54217 HAS SOUPS 53397 WITH SCORE 53523.608
AT ITER 9933 NEW BEST:: SOT 289242 SOS 126602 HAS SOPS 122547 HAS SOUS 54205 HAS SOUPS 53385 WITH SCORE 53511.602
AT ITER 9957 NEW BEST:: SOT 289237 SOS 126596 HAS SOPS 122541 HAS SOUS 54179 HAS SOUPS 53359 WITH SCORE 53485.596
AT ITER 9997 NEW BEST:: SOT 289265 SOS 126617 HAS SOPS 122562 HAS SOUS 54177 HAS SOUPS 53357 WITH SCORE 53483.617
AT ITER 9998 NEW BEST:: SOT 289265 SOS 126633 HAS SOPS 122578 HAS SOUS 54157 HAS SOUPS 53337 WITH SCORE 53463.633
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2477216 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16150028 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S02J06T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S02J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943000520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J06T06.tgz
mv PolyORBLF-PT-S02J06T06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;