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.r163-tall-167838848000560.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 FlexibleBarrier-PT-18a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848000560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 13:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 265K Mar 5 18:22 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 1678454618506

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=FlexibleBarrier-PT-18a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 18a
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: 219 places, 886 transitions, 4355 arcs.
AT ITER 0 NEW BEST:: SOT 171612 SOS 147997 HAS SOPS 147997 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83234.997
AT ITER 2 NEW BEST:: SOT 171662 SOS 147947 HAS SOPS 147947 HAS SOUS 83037 HAS SOUPS 83037 WITH SCORE 83184.947
AT ITER 3 NEW BEST:: SOT 170980 SOS 147396 HAS SOPS 147396 HAS SOUS 82890 HAS SOUPS 82890 WITH SCORE 83037.396
AT ITER 6 NEW BEST:: SOT 170779 SOS 147195 HAS SOPS 147195 HAS SOUS 82781 HAS SOUPS 82781 WITH SCORE 82928.195
AT ITER 7 NEW BEST:: SOT 170829 SOS 147109 HAS SOPS 147109 HAS SOUS 82707 HAS SOUPS 82707 WITH SCORE 82854.109
AT ITER 10 NEW BEST:: SOT 170812 SOS 146942 HAS SOPS 146942 HAS SOUS 80418 HAS SOUPS 80418 WITH SCORE 80564.942
AT ITER 12 NEW BEST:: SOT 170895 SOS 146266 HAS SOPS 146266 HAS SOUS 77514 HAS SOUPS 77514 WITH SCORE 77660.266
AT ITER 13 NEW BEST:: SOT 170994 SOS 145711 HAS SOPS 145711 HAS SOUS 74046 HAS SOUPS 74046 WITH SCORE 74191.711
AT ITER 16 NEW BEST:: SOT 171153 SOS 143855 HAS SOPS 143855 HAS SOUS 69654 HAS SOUPS 69654 WITH SCORE 69797.855
AT ITER 19 NEW BEST:: SOT 171236 SOS 142468 HAS SOPS 142468 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67248.468
AT ITER 22 NEW BEST:: SOT 170644 SOS 141817 HAS SOPS 141808 HAS SOUS 66749 HAS SOUPS 66740 WITH SCORE 66881.817
AT ITER 23 NEW BEST:: SOT 170262 SOS 141435 HAS SOPS 141426 HAS SOUS 66501 HAS SOUPS 66492 WITH SCORE 66633.435
AT ITER 24 NEW BEST:: SOT 170293 SOS 141496 HAS SOPS 141487 HAS SOUS 66498 HAS SOUPS 66489 WITH SCORE 66630.496
AT ITER 25 NEW BEST:: SOT 170278 SOS 141008 HAS SOPS 140999 HAS SOUS 66232 HAS SOUPS 66223 WITH SCORE 66364.008
AT ITER 26 NEW BEST:: SOT 170270 SOS 140856 HAS SOPS 140847 HAS SOUS 66092 HAS SOUPS 66083 WITH SCORE 66223.856
AT ITER 27 NEW BEST:: SOT 170269 SOS 140853 HAS SOPS 140844 HAS SOUS 66092 HAS SOUPS 66083 WITH SCORE 66223.853
AT ITER 29 NEW BEST:: SOT 170302 SOS 139770 HAS SOPS 139761 HAS SOUS 64834 HAS SOUPS 64825 WITH SCORE 64964.77
AT ITER 30 NEW BEST:: SOT 170301 SOS 139768 HAS SOPS 139759 HAS SOUS 64834 HAS SOUPS 64825 WITH SCORE 64964.768
AT ITER 31 NEW BEST:: SOT 170292 SOS 139750 HAS SOPS 139741 HAS SOUS 64834 HAS SOUPS 64825 WITH SCORE 64964.75
AT ITER 33 NEW BEST:: SOT 169540 SOS 138998 HAS SOPS 138989 HAS SOUS 64399 HAS SOUPS 64390 WITH SCORE 64528.998
AT ITER 34 NEW BEST:: SOT 169076 SOS 137130 HAS SOPS 137121 HAS SOUS 61630 HAS SOUPS 61621 WITH SCORE 61758.13
AT ITER 35 NEW BEST:: SOT 169106 SOS 136560 HAS SOPS 136551 HAS SOUS 60970 HAS SOUPS 60961 WITH SCORE 61097.56
AT ITER 39 NEW BEST:: SOT 169105 SOS 136559 HAS SOPS 136550 HAS SOUS 60970 HAS SOUPS 60961 WITH SCORE 61097.559
AT ITER 40 NEW BEST:: SOT 169099 SOS 136526 HAS SOPS 136517 HAS SOUS 60970 HAS SOUPS 60961 WITH SCORE 61097.526
AT ITER 43 NEW BEST:: SOT 169212 SOS 136425 HAS SOPS 136416 HAS SOUS 60803 HAS SOUPS 60794 WITH SCORE 60930.425
AT ITER 44 NEW BEST:: SOT 169325 SOS 136384 HAS SOPS 136375 HAS SOUS 60791 HAS SOUPS 60782 WITH SCORE 60918.384
AT ITER 45 NEW BEST:: SOT 169128 SOS 136187 HAS SOPS 136178 HAS SOUS 60675 HAS SOUPS 60666 WITH SCORE 60802.187
AT ITER 47 NEW BEST:: SOT 169141 SOS 136213 HAS SOPS 136204 HAS SOUS 60668 HAS SOUPS 60659 WITH SCORE 60795.213
AT ITER 49 NEW BEST:: SOT 168834 SOS 135924 HAS SOPS 135915 HAS SOUS 60646 HAS SOUPS 60637 WITH SCORE 60772.924
AT ITER 50 NEW BEST:: SOT 168923 SOS 135835 HAS SOPS 135826 HAS SOUS 60557 HAS SOUPS 60548 WITH SCORE 60683.835
AT ITER 52 NEW BEST:: SOT 168981 SOS 135777 HAS SOPS 135768 HAS SOUS 60499 HAS SOUPS 60490 WITH SCORE 60625.777
AT ITER 60 NEW BEST:: SOT 168981 SOS 135635 HAS SOPS 135626 HAS SOUS 60428 HAS SOUPS 60419 WITH SCORE 60554.635
AT ITER 61 NEW BEST:: SOT 168846 SOS 135376 HAS SOPS 135367 HAS SOUS 60201 HAS SOUPS 60192 WITH SCORE 60327.376
AT ITER 62 NEW BEST:: SOT 168845 SOS 135264 HAS SOPS 135255 HAS SOUS 60201 HAS SOUPS 60192 WITH SCORE 60327.264
AT ITER 66 NEW BEST:: SOT 168263 SOS 134680 HAS SOPS 134671 HAS SOUS 60008 HAS SOUPS 59999 WITH SCORE 60133.68
AT ITER 67 NEW BEST:: SOT 168204 SOS 132477 HAS SOPS 132468 HAS SOUS 58690 HAS SOUPS 58681 WITH SCORE 58813.477
AT ITER 68 NEW BEST:: SOT 168214 SOS 132327 HAS SOPS 132318 HAS SOUS 58349 HAS SOUPS 58340 WITH SCORE 58472.327
AT ITER 70 NEW BEST:: SOT 168126 SOS 132089 HAS SOPS 132080 HAS SOUS 58115 HAS SOUPS 58106 WITH SCORE 58238.089
AT ITER 76 NEW BEST:: SOT 168100 SOS 132037 HAS SOPS 132028 HAS SOUS 58085 HAS SOUPS 58076 WITH SCORE 58208.037
AT ITER 77 NEW BEST:: SOT 168229 SOS 128581 HAS SOPS 128572 HAS SOUS 54762 HAS SOUPS 54753 WITH SCORE 54881.581
AT ITER 79 NEW BEST:: SOT 168322 SOS 128573 HAS SOPS 128564 HAS SOUS 54753 HAS SOUPS 54744 WITH SCORE 54872.573
AT ITER 83 NEW BEST:: SOT 167556 SOS 127579 HAS SOPS 127570 HAS SOUS 54333 HAS SOUPS 54324 WITH SCORE 54451.579
AT ITER 87 NEW BEST:: SOT 167550 SOS 127657 HAS SOPS 127648 HAS SOUS 54330 HAS SOUPS 54321 WITH SCORE 54448.657
AT ITER 89 NEW BEST:: SOT 167540 SOS 127637 HAS SOPS 127628 HAS SOUS 54315 HAS SOUPS 54306 WITH SCORE 54433.637
AT ITER 94 NEW BEST:: SOT 167539 SOS 127635 HAS SOPS 127626 HAS SOUS 54314 HAS SOUPS 54305 WITH SCORE 54432.635
AT ITER 97 NEW BEST:: SOT 167482 SOS 127238 HAS SOPS 127229 HAS SOUS 54118 HAS SOUPS 54109 WITH SCORE 54236.238
AT ITER 107 NEW BEST:: SOT 167695 SOS 122895 HAS SOPS 122886 HAS SOUS 50741 HAS SOUPS 50732 WITH SCORE 50854.895
AT ITER 114 NEW BEST:: SOT 167693 SOS 122891 HAS SOPS 122882 HAS SOUS 50739 HAS SOUPS 50730 WITH SCORE 50852.891
AT ITER 119 NEW BEST:: SOT 163270 SOS 119845 HAS SOPS 118245 HAS SOUS 46294 HAS SOUPS 46176 WITH SCORE 46295.845
AT ITER 122 NEW BEST:: SOT 163138 SOS 119373 HAS SOPS 117773 HAS SOUS 46044 HAS SOUPS 45926 WITH SCORE 46045.373
AT ITER 124 NEW BEST:: SOT 163138 SOS 119329 HAS SOPS 117685 HAS SOUS 45953 HAS SOUPS 45835 WITH SCORE 45954.329
AT ITER 130 NEW BEST:: SOT 163135 SOS 119410 HAS SOPS 117766 HAS SOUS 45950 HAS SOUPS 45832 WITH SCORE 45951.41
AT ITER 134 NEW BEST:: SOT 163136 SOS 117119 HAS SOPS 115475 HAS SOUS 45057 HAS SOUPS 44939 WITH SCORE 45056.119
AT ITER 135 NEW BEST:: SOT 163135 SOS 117116 HAS SOPS 115471 HAS SOUS 45056 HAS SOUPS 44938 WITH SCORE 45055.116
AT ITER 137 NEW BEST:: SOT 163037 SOS 117117 HAS SOPS 115521 HAS SOUS 44987 HAS SOUPS 44869 WITH SCORE 44986.117
AT ITER 140 NEW BEST:: SOT 163037 SOS 117117 HAS SOPS 115521 HAS SOUS 44962 HAS SOUPS 44844 WITH SCORE 44961.117
AT ITER 145 NEW BEST:: SOT 162882 SOS 116962 HAS SOPS 115366 HAS SOUS 44883 HAS SOUPS 44765 WITH SCORE 44881.962
AT ITER 146 NEW BEST:: SOT 163082 SOS 117099 HAS SOPS 115497 HAS SOUS 44530 HAS SOUPS 44409 WITH SCORE 44526.099
AT ITER 151 NEW BEST:: SOT 163111 SOS 117093 HAS SOPS 115425 HAS SOUS 44448 HAS SOUPS 44327 WITH SCORE 44444.093
AT ITER 152 NEW BEST:: SOT 163084 SOS 117042 HAS SOPS 115375 HAS SOUS 44390 HAS SOUPS 44269 WITH SCORE 44386.042
AT ITER 158 NEW BEST:: SOT 163082 SOS 117039 HAS SOPS 115371 HAS SOUS 44387 HAS SOUPS 44266 WITH SCORE 44383.039
AT ITER 159 NEW BEST:: SOT 163144 SOS 116938 HAS SOPS 115327 HAS SOUS 44224 HAS SOUPS 44103 WITH SCORE 44219.938
AT ITER 163 NEW BEST:: SOT 163009 SOS 116452 HAS SOPS 114928 HAS SOUS 43994 HAS SOUPS 43873 WITH SCORE 43989.452
AT ITER 164 NEW BEST:: SOT 163083 SOS 112529 HAS SOPS 111055 HAS SOUS 42445 HAS SOUPS 42324 WITH SCORE 42436.529
AT ITER 171 NEW BEST:: SOT 163062 SOS 112290 HAS SOPS 110879 HAS SOUS 42439 HAS SOUPS 42318 WITH SCORE 42430.29
AT ITER 174 NEW BEST:: SOT 163002 SOS 112196 HAS SOPS 110725 HAS SOUS 42287 HAS SOUPS 42166 WITH SCORE 42278.196
AT ITER 176 NEW BEST:: SOT 162933 SOS 112058 HAS SOPS 110587 HAS SOUS 42175 HAS SOUPS 42054 WITH SCORE 42166.058
AT ITER 177 NEW BEST:: SOT 162933 SOS 112041 HAS SOPS 110511 HAS SOUS 42099 HAS SOUPS 41978 WITH SCORE 42090.041
AT ITER 180 NEW BEST:: SOT 162555 SOS 109877 HAS SOPS 108331 HAS SOUS 39264 HAS SOUPS 39142 WITH SCORE 39251.877
AT ITER 184 NEW BEST:: SOT 162567 SOS 109846 HAS SOPS 108260 HAS SOUS 39193 HAS SOUPS 39071 WITH SCORE 39180.846
AT ITER 187 NEW BEST:: SOT 162505 SOS 109722 HAS SOPS 108074 HAS SOUS 39007 HAS SOUPS 38885 WITH SCORE 38994.722
AT ITER 189 NEW BEST:: SOT 162464 SOS 109665 HAS SOPS 108050 HAS SOUS 38983 HAS SOUPS 38861 WITH SCORE 38970.665
AT ITER 190 NEW BEST:: SOT 162375 SOS 109569 HAS SOPS 107954 HAS SOUS 38921 HAS SOUPS 38799 WITH SCORE 38908.569
AT ITER 192 NEW BEST:: SOT 162367 SOS 109553 HAS SOPS 107938 HAS SOUS 38913 HAS SOUPS 38791 WITH SCORE 38900.553
AT ITER 193 NEW BEST:: SOT 162074 SOS 110173 HAS SOPS 107624 HAS SOUS 38664 HAS SOUPS 38521 WITH SCORE 38631.173
AT ITER 195 NEW BEST:: SOT 161912 SOS 104054 HAS SOPS 101522 HAS SOUS 35874 HAS SOUPS 35731 WITH SCORE 35835.054
AT ITER 199 NEW BEST:: SOT 161888 SOS 104030 HAS SOPS 101474 HAS SOUS 35826 HAS SOUPS 35683 WITH SCORE 35787.03
AT ITER 206 NEW BEST:: SOT 161884 SOS 102292 HAS SOPS 99776 HAS SOUS 35312 HAS SOUPS 35169 WITH SCORE 35271.292
AT ITER 208 NEW BEST:: SOT 161940 SOS 102055 HAS SOPS 99539 HAS SOUS 35291 HAS SOUPS 35148 WITH SCORE 35250.055
AT ITER 212 NEW BEST:: SOT 161857 SOS 101889 HAS SOPS 99373 HAS SOUS 35260 HAS SOUPS 35117 WITH SCORE 35218.889
AT ITER 214 NEW BEST:: SOT 161647 SOS 105042 HAS SOPS 98255 HAS SOUS 34955 HAS SOUPS 34748 WITH SCORE 34853.042
AT ITER 215 NEW BEST:: SOT 161643 SOS 105057 HAS SOPS 98269 HAS SOUS 34949 HAS SOUPS 34742 WITH SCORE 34847.057
AT ITER 216 NEW BEST:: SOT 161582 SOS 104992 HAS SOPS 98147 HAS SOUS 34879 HAS SOUPS 34672 WITH SCORE 34776.992
AT ITER 218 NEW BEST:: SOT 160798 SOS 104228 HAS SOPS 97383 HAS SOUS 34521 HAS SOUPS 34314 WITH SCORE 34418.228
AT ITER 222 NEW BEST:: SOT 160865 SOS 104295 HAS SOPS 97383 HAS SOUS 34510 HAS SOUPS 34303 WITH SCORE 34407.295
AT ITER 223 NEW BEST:: SOT 160864 SOS 104293 HAS SOPS 97381 HAS SOUS 34508 HAS SOUPS 34301 WITH SCORE 34405.293
AT ITER 224 NEW BEST:: SOT 160927 SOS 104440 HAS SOPS 97573 HAS SOUS 34484 HAS SOUPS 34277 WITH SCORE 34381.44
AT ITER 233 NEW BEST:: SOT 161024 SOS 104578 HAS SOPS 97633 HAS SOUS 34481 HAS SOUPS 34274 WITH SCORE 34378.578
AT ITER 234 NEW BEST:: SOT 161020 SOS 104571 HAS SOPS 97625 HAS SOUS 34475 HAS SOUPS 34268 WITH SCORE 34372.571
AT ITER 235 NEW BEST:: SOT 161073 SOS 102647 HAS SOPS 95836 HAS SOUS 34101 HAS SOUPS 33894 WITH SCORE 33996.647
AT ITER 241 NEW BEST:: SOT 161224 SOS 101333 HAS SOPS 94597 HAS SOUS 34017 HAS SOUPS 33810 WITH SCORE 33911.333
AT ITER 248 NEW BEST:: SOT 161186 SOS 101297 HAS SOPS 94521 HAS SOUS 33926 HAS SOUPS 33719 WITH SCORE 33820.297
AT ITER 250 NEW BEST:: SOT 161173 SOS 101271 HAS SOPS 94508 HAS SOUS 33926 HAS SOUPS 33719 WITH SCORE 33820.271
AT ITER 253 NEW BEST:: SOT 161027 SOS 100963 HAS SOPS 94121 HAS SOUS 33634 HAS SOUPS 33427 WITH SCORE 33527.963
AT ITER 254 NEW BEST:: SOT 160963 SOS 97750 HAS SOPS 90915 HAS SOUS 32685 HAS SOUPS 32478 WITH SCORE 32575.75
AT ITER 259 NEW BEST:: SOT 160988 SOS 97783 HAS SOPS 90876 HAS SOUS 32646 HAS SOUPS 32439 WITH SCORE 32536.783
AT ITER 262 NEW BEST:: SOT 160981 SOS 97748 HAS SOPS 90841 HAS SOUS 32625 HAS SOUPS 32418 WITH SCORE 32515.748
AT ITER 265 NEW BEST:: SOT 153665 SOS 122569 HAS SOPS 83394 HAS SOUS 30420 HAS SOUPS 30046 WITH SCORE 30168.569
AT ITER 270 NEW BEST:: SOT 153682 SOS 122530 HAS SOPS 82943 HAS SOUS 29440 HAS SOUPS 29066 WITH SCORE 29188.53
AT ITER 271 NEW BEST:: SOT 153656 SOS 122518 HAS SOPS 82891 HAS SOUS 29362 HAS SOUPS 28988 WITH SCORE 29110.518
AT ITER 273 NEW BEST:: SOT 153650 SOS 122428 HAS SOPS 82816 HAS SOUS 29319 HAS SOUPS 28945 WITH SCORE 29067.428
AT ITER 279 NEW BEST:: SOT 153626 SOS 122361 HAS SOPS 82768 HAS SOUS 29261 HAS SOUPS 28887 WITH SCORE 29009.361
AT ITER 280 NEW BEST:: SOT 153533 SOS 122313 HAS SOPS 82675 HAS SOUS 29213 HAS SOUPS 28839 WITH SCORE 28961.313
AT ITER 281 NEW BEST:: SOT 153202 SOS 121911 HAS SOPS 82273 HAS SOUS 28941 HAS SOUPS 28567 WITH SCORE 28688.911
AT ITER 283 NEW BEST:: SOT 153284 SOS 121993 HAS SOPS 81482 HAS SOUS 28086 HAS SOUPS 27712 WITH SCORE 27833.993
AT ITER 285 NEW BEST:: SOT 151175 SOS 119855 HAS SOPS 77738 HAS SOUS 25179 HAS SOUPS 24804 WITH SCORE 24923.855
AT ITER 291 NEW BEST:: SOT 151150 SOS 119796 HAS SOPS 77664 HAS SOUS 25115 HAS SOUPS 24740 WITH SCORE 24859.796
AT ITER 297 NEW BEST:: SOT 151148 SOS 119792 HAS SOPS 77659 HAS SOUS 25110 HAS SOUPS 24735 WITH SCORE 24854.792
AT ITER 303 NEW BEST:: SOT 151164 SOS 119114 HAS SOPS 75675 HAS SOUS 24828 HAS SOUPS 24453 WITH SCORE 24572.114
AT ITER 307 NEW BEST:: SOT 151164 SOS 119110 HAS SOPS 75673 HAS SOUS 24828 HAS SOUPS 24453 WITH SCORE 24572.11
AT ITER 313 NEW BEST:: SOT 151130 SOS 119042 HAS SOPS 75586 HAS SOUS 24756 HAS SOUPS 24381 WITH SCORE 24500.042
AT ITER 314 NEW BEST:: SOT 151130 SOS 119030 HAS SOPS 75580 HAS SOUS 24756 HAS SOUPS 24381 WITH SCORE 24500.03
AT ITER 316 NEW BEST:: SOT 151116 SOS 119024 HAS SOPS 75563 HAS SOUS 24731 HAS SOUPS 24356 WITH SCORE 24475.024
AT ITER 319 NEW BEST:: SOT 150824 SOS 118656 HAS SOPS 73853 HAS SOUS 24260 HAS SOUPS 23885 WITH SCORE 24003.656
AT ITER 323 NEW BEST:: SOT 150784 SOS 118705 HAS SOPS 73880 HAS SOUS 24228 HAS SOUPS 23853 WITH SCORE 23971.705
AT ITER 325 NEW BEST:: SOT 150608 SOS 118529 HAS SOPS 73704 HAS SOUS 24140 HAS SOUPS 23765 WITH SCORE 23883.529
AT ITER 334 NEW BEST:: SOT 150601 SOS 118522 HAS SOPS 73690 HAS SOUS 24126 HAS SOUPS 23751 WITH SCORE 23869.522
AT ITER 335 NEW BEST:: SOT 150629 SOS 118514 HAS SOPS 73695 HAS SOUS 24103 HAS SOUPS 23728 WITH SCORE 23846.514
AT ITER 340 NEW BEST:: SOT 150636 SOS 118520 HAS SOPS 73700 HAS SOUS 24100 HAS SOUPS 23725 WITH SCORE 23843.52
AT ITER 341 NEW BEST:: SOT 150671 SOS 118525 HAS SOPS 73704 HAS SOUS 24069 HAS SOUPS 23694 WITH SCORE 23812.525
AT ITER 352 NEW BEST:: SOT 150656 SOS 118495 HAS SOPS 73674 HAS SOUS 24053 HAS SOUPS 23678 WITH SCORE 23796.495
AT ITER 358 NEW BEST:: SOT 150590 SOS 118558 HAS SOPS 73639 HAS SOUS 23959 HAS SOUPS 23584 WITH SCORE 23702.558
AT ITER 367 NEW BEST:: SOT 148358 SOS 116321 HAS SOPS 71379 HAS SOUS 22832 HAS SOUPS 22457 WITH SCORE 22573.321
AT ITER 369 NEW BEST:: SOT 148293 SOS 116142 HAS SOPS 71192 HAS SOUS 22702 HAS SOUPS 22327 WITH SCORE 22443.142
AT ITER 373 NEW BEST:: SOT 148272 SOS 116065 HAS SOPS 71094 HAS SOUS 22604 HAS SOUPS 22229 WITH SCORE 22345.065
AT ITER 374 NEW BEST:: SOT 148263 SOS 116055 HAS SOPS 71076 HAS SOUS 22586 HAS SOUPS 22211 WITH SCORE 22327.055
AT ITER 377 NEW BEST:: SOT 148263 SOS 116045 HAS SOPS 71066 HAS SOUS 22586 HAS SOUPS 22211 WITH SCORE 22327.045
AT ITER 381 NEW BEST:: SOT 148224 SOS 115725 HAS SOPS 70790 HAS SOUS 22393 HAS SOUPS 22018 WITH SCORE 22133.725
AT ITER 383 NEW BEST:: SOT 148216 SOS 115709 HAS SOPS 70698 HAS SOUS 22273 HAS SOUPS 21898 WITH SCORE 22013.709
AT ITER 386 NEW BEST:: SOT 149047 SOS 116366 HAS SOPS 68890 HAS SOUS 22261 HAS SOUPS 21886 WITH SCORE 22002.366
AT ITER 400 NEW BEST:: SOT 149045 SOS 116365 HAS SOPS 68888 HAS SOUS 22258 HAS SOUPS 21883 WITH SCORE 21999.365
AT ITER 401 NEW BEST:: SOT 147709 SOS 114997 HAS SOPS 69422 HAS SOUS 21934 HAS SOUPS 21559 WITH SCORE 21673.997
AT ITER 404 NEW BEST:: SOT 147795 SOS 115027 HAS SOPS 69495 HAS SOUS 21890 HAS SOUPS 21515 WITH SCORE 21630.027
AT ITER 413 NEW BEST:: SOT 147780 SOS 114901 HAS SOPS 69465 HAS SOUS 21884 HAS SOUPS 21509 WITH SCORE 21623.901
AT ITER 415 NEW BEST:: SOT 147793 SOS 114927 HAS SOPS 68833 HAS SOUS 21771 HAS SOUPS 21396 WITH SCORE 21510.927
AT ITER 417 NEW BEST:: SOT 147766 SOS 114900 HAS SOPS 68779 HAS SOUS 21717 HAS SOUPS 21342 WITH SCORE 21456.9
AT ITER 421 NEW BEST:: SOT 147766 SOS 114899 HAS SOPS 68778 HAS SOUS 21717 HAS SOUPS 21342 WITH SCORE 21456.899
AT ITER 422 NEW BEST:: SOT 147066 SOS 114229 HAS SOPS 69572 HAS SOUS 21693 HAS SOUPS 21318 WITH SCORE 21432.229
AT ITER 427 NEW BEST:: SOT 147221 SOS 114098 HAS SOPS 69262 HAS SOUS 21496 HAS SOUPS 21121 WITH SCORE 21235.098
AT ITER 429 NEW BEST:: SOT 147205 SOS 114082 HAS SOPS 69240 HAS SOUS 21480 HAS SOUPS 21099 WITH SCORE 21213.082
AT ITER 430 NEW BEST:: SOT 147195 SOS 114080 HAS SOPS 69228 HAS SOUS 21475 HAS SOUPS 21094 WITH SCORE 21208.08
AT ITER 438 NEW BEST:: SOT 147195 SOS 114109 HAS SOPS 69228 HAS SOUS 21474 HAS SOUPS 21093 WITH SCORE 21207.109
AT ITER 439 NEW BEST:: SOT 147204 SOS 114063 HAS SOPS 69191 HAS SOUS 21437 HAS SOUPS 21056 WITH SCORE 21170.063
AT ITER 445 NEW BEST:: SOT 147111 SOS 113828 HAS SOPS 68907 HAS SOUS 21197 HAS SOUPS 20816 WITH SCORE 20929.828
AT ITER 446 NEW BEST:: SOT 147099 SOS 113835 HAS SOPS 68902 HAS SOUS 21192 HAS SOUPS 20811 WITH SCORE 20924.835
AT ITER 447 NEW BEST:: SOT 147094 SOS 113740 HAS SOPS 68807 HAS SOUS 21102 HAS SOUPS 20721 WITH SCORE 20834.74
AT ITER 457 NEW BEST:: SOT 146164 SOS 112938 HAS SOPS 68005 HAS SOUS 20871 HAS SOUPS 20490 WITH SCORE 20602.938
AT ITER 465 NEW BEST:: SOT 146153 SOS 112834 HAS SOPS 67920 HAS SOUS 20820 HAS SOUPS 20439 WITH SCORE 20551.834
AT ITER 471 NEW BEST:: SOT 146103 SOS 112784 HAS SOPS 67845 HAS SOUS 20795 HAS SOUPS 20414 WITH SCORE 20526.784
AT ITER 473 NEW BEST:: SOT 146081 SOS 112622 HAS SOPS 67695 HAS SOUS 20732 HAS SOUPS 20351 WITH SCORE 20463.622
AT ITER 505 NEW BEST:: SOT 145768 SOS 112318 HAS SOPS 67384 HAS SOUS 20576 HAS SOUPS 20195 WITH SCORE 20307.318
AT ITER 508 NEW BEST:: SOT 145781 SOS 112327 HAS SOPS 67393 HAS SOUS 20573 HAS SOUPS 20192 WITH SCORE 20304.327
AT ITER 522 NEW BEST:: SOT 145777 SOS 112259 HAS SOPS 67321 HAS SOUS 20501 HAS SOUPS 20120 WITH SCORE 20232.259
AT ITER 531 NEW BEST:: SOT 145751 SOS 112274 HAS SOPS 67295 HAS SOUS 20449 HAS SOUPS 20068 WITH SCORE 20180.274
AT ITER 536 NEW BEST:: SOT 145728 SOS 112262 HAS SOPS 67271 HAS SOUS 20436 HAS SOUPS 20055 WITH SCORE 20167.262
AT ITER 543 NEW BEST:: SOT 145673 SOS 112208 HAS SOPS 67161 HAS SOUS 20371 HAS SOUPS 19990 WITH SCORE 20102.208
AT ITER 546 NEW BEST:: SOT 145672 SOS 112207 HAS SOPS 67159 HAS SOUS 20369 HAS SOUPS 19988 WITH SCORE 20100.207
AT ITER 550 NEW BEST:: SOT 145468 SOS 112003 HAS SOPS 66951 HAS SOUS 20259 HAS SOUPS 19878 WITH SCORE 19990.003
AT ITER 554 NEW BEST:: SOT 145464 SOS 112032 HAS SOPS 66962 HAS SOUS 20255 HAS SOUPS 19874 WITH SCORE 19986.032
AT ITER 556 NEW BEST:: SOT 145453 SOS 112002 HAS SOPS 66060 HAS SOUS 19618 HAS SOUPS 19237 WITH SCORE 19349.002
AT ITER 559 NEW BEST:: SOT 145421 SOS 111948 HAS SOPS 65996 HAS SOUS 19556 HAS SOUPS 19175 WITH SCORE 19286.948
AT ITER 562 NEW BEST:: SOT 145100 SOS 111673 HAS SOPS 66362 HAS SOUS 19515 HAS SOUPS 19134 WITH SCORE 19245.673
AT ITER 565 NEW BEST:: SOT 145108 SOS 111681 HAS SOPS 66370 HAS SOUS 19507 HAS SOUPS 19126 WITH SCORE 19237.681
AT ITER 568 NEW BEST:: SOT 146384 SOS 113036 HAS SOPS 64922 HAS SOUS 19414 HAS SOUPS 19033 WITH SCORE 19146.036
AT ITER 569 NEW BEST:: SOT 146224 SOS 112931 HAS SOPS 64699 HAS SOUS 19259 HAS SOUPS 18878 WITH SCORE 18990.931
AT ITER 578 NEW BEST:: SOT 146188 SOS 112865 HAS SOPS 64627 HAS SOUS 19217 HAS SOUPS 18836 WITH SCORE 18948.865
AT ITER 586 NEW BEST:: SOT 146188 SOS 112845 HAS SOPS 64617 HAS SOUS 19217 HAS SOUPS 18836 WITH SCORE 18948.845
AT ITER 588 NEW BEST:: SOT 145284 SOS 111954 HAS SOPS 64099 HAS SOUS 19043 HAS SOUPS 18662 WITH SCORE 18773.954
AT ITER 598 NEW BEST:: SOT 145216 SOS 111869 HAS SOPS 63963 HAS SOUS 18871 HAS SOUPS 18490 WITH SCORE 18601.869
AT ITER 601 NEW BEST:: SOT 145214 SOS 111861 HAS SOPS 63959 HAS SOUS 18868 HAS SOUPS 18487 WITH SCORE 18598.861
AT ITER 604 NEW BEST:: SOT 145239 SOS 111869 HAS SOPS 64009 HAS SOUS 18838 HAS SOUPS 18457 WITH SCORE 18568.869
AT ITER 621 NEW BEST:: SOT 145223 SOS 111875 HAS SOPS 63977 HAS SOUS 18803 HAS SOUPS 18422 WITH SCORE 18533.875
AT ITER 628 NEW BEST:: SOT 144639 SOS 111272 HAS SOPS 63384 HAS SOUS 18576 HAS SOUPS 18189 WITH SCORE 18300.272
AT ITER 641 NEW BEST:: SOT 144638 SOS 111270 HAS SOPS 63382 HAS SOUS 18575 HAS SOUPS 18188 WITH SCORE 18299.27
AT ITER 651 NEW BEST:: SOT 144632 SOS 111261 HAS SOPS 63370 HAS SOUS 18563 HAS SOUPS 18176 WITH SCORE 18287.261
AT ITER 655 NEW BEST:: SOT 144604 SOS 111233 HAS SOPS 63346 HAS SOUS 18539 HAS SOUPS 18152 WITH SCORE 18263.233
AT ITER 656 NEW BEST:: SOT 144583 SOS 111198 HAS SOPS 63304 HAS SOUS 18511 HAS SOUPS 18124 WITH SCORE 18235.198
AT ITER 659 NEW BEST:: SOT 144545 SOS 111122 HAS SOPS 63228 HAS SOUS 18435 HAS SOUPS 18048 WITH SCORE 18159.122
AT ITER 664 NEW BEST:: SOT 144558 SOS 111134 HAS SOPS 62504 HAS SOUS 18327 HAS SOUPS 17940 WITH SCORE 18051.134
AT ITER 669 NEW BEST:: SOT 144504 SOS 111080 HAS SOPS 62396 HAS SOUS 18255 HAS SOUPS 17868 WITH SCORE 17979.08
AT ITER 670 NEW BEST:: SOT 144439 SOS 110950 HAS SOPS 62266 HAS SOUS 18190 HAS SOUPS 17803 WITH SCORE 17913.95
AT ITER 673 NEW BEST:: SOT 144421 SOS 110817 HAS SOPS 62158 HAS SOUS 18125 HAS SOUPS 17738 WITH SCORE 17848.817
AT ITER 681 NEW BEST:: SOT 144187 SOS 110664 HAS SOPS 62005 HAS SOUS 17987 HAS SOUPS 17600 WITH SCORE 17710.664
AT ITER 683 NEW BEST:: SOT 144186 SOS 110663 HAS SOPS 62003 HAS SOUS 17985 HAS SOUPS 17598 WITH SCORE 17708.663
AT ITER 692 NEW BEST:: SOT 144199 SOS 110676 HAS SOPS 62013 HAS SOUS 17979 HAS SOUPS 17592 WITH SCORE 17702.676
AT ITER 693 NEW BEST:: SOT 144156 SOS 110643 HAS SOPS 61927 HAS SOUS 17893 HAS SOUPS 17506 WITH SCORE 17616.643
AT ITER 697 NEW BEST:: SOT 144154 SOS 110639 HAS SOPS 61895 HAS SOUS 17833 HAS SOUPS 17446 WITH SCORE 17556.639
AT ITER 699 NEW BEST:: SOT 144121 SOS 110605 HAS SOPS 61829 HAS SOUS 17799 HAS SOUPS 17412 WITH SCORE 17522.605
AT ITER 708 NEW BEST:: SOT 144114 SOS 110571 HAS SOPS 61815 HAS SOUS 17785 HAS SOUPS 17398 WITH SCORE 17508.571
AT ITER 717 NEW BEST:: SOT 144113 SOS 110574 HAS SOPS 61815 HAS SOUS 17783 HAS SOUPS 17396 WITH SCORE 17506.574
AT ITER 720 NEW BEST:: SOT 144043 SOS 110426 HAS SOPS 61583 HAS SOUS 17546 HAS SOUPS 17159 WITH SCORE 17269.426
AT ITER 729 NEW BEST:: SOT 144077 SOS 110456 HAS SOPS 61617 HAS SOUS 17516 HAS SOUPS 17129 WITH SCORE 17239.456
AT ITER 730 NEW BEST:: SOT 144068 SOS 110554 HAS SOPS 61658 HAS SOUS 17499 HAS SOUPS 17112 WITH SCORE 17222.554
AT ITER 742 NEW BEST:: SOT 144137 SOS 110510 HAS SOPS 61626 HAS SOUS 17448 HAS SOUPS 17061 WITH SCORE 17171.51
AT ITER 748 NEW BEST:: SOT 144137 SOS 110416 HAS SOPS 61576 HAS SOUS 17448 HAS SOUPS 17061 WITH SCORE 17171.416
AT ITER 764 NEW BEST:: SOT 144125 SOS 110416 HAS SOPS 61564 HAS SOUS 17443 HAS SOUPS 17056 WITH SCORE 17166.416
AT ITER 775 NEW BEST:: SOT 144334 SOS 110634 HAS SOPS 60902 HAS SOUS 17321 HAS SOUPS 16934 WITH SCORE 17044.634
AT ITER 785 NEW BEST:: SOT 144270 SOS 110570 HAS SOPS 60837 HAS SOUS 17286 HAS SOUPS 16899 WITH SCORE 17009.57
AT ITER 815 NEW BEST:: SOT 144261 SOS 110568 HAS SOPS 60819 HAS SOUS 17261 HAS SOUPS 16874 WITH SCORE 16984.568
AT ITER 829 NEW BEST:: SOT 144180 SOS 110406 HAS SOPS 60657 HAS SOUS 17180 HAS SOUPS 16793 WITH SCORE 16903.406
AT ITER 838 NEW BEST:: SOT 144115 SOS 110340 HAS SOPS 60597 HAS SOUS 17172 HAS SOUPS 16785 WITH SCORE 16895.34
AT ITER 868 NEW BEST:: SOT 144115 SOS 110340 HAS SOPS 60597 HAS SOUS 17162 HAS SOUPS 16775 WITH SCORE 16885.34
AT ITER 872 NEW BEST:: SOT 144138 SOS 109549 HAS SOPS 58705 HAS SOUS 17063 HAS SOUPS 16676 WITH SCORE 16785.549
AT ITER 874 NEW BEST:: SOT 144128 SOS 109529 HAS SOPS 58680 HAS SOUS 17043 HAS SOUPS 16656 WITH SCORE 16765.529
AT ITER 877 NEW BEST:: SOT 144101 SOS 109502 HAS SOPS 58626 HAS SOUS 16989 HAS SOUPS 16602 WITH SCORE 16711.502
AT ITER 880 NEW BEST:: SOT 144047 SOS 109448 HAS SOPS 58572 HAS SOUS 16935 HAS SOUPS 16548 WITH SCORE 16657.448
AT ITER 881 NEW BEST:: SOT 144041 SOS 109429 HAS SOPS 58555 HAS SOUS 16921 HAS SOUPS 16536 WITH SCORE 16645.429
AT ITER 891 NEW BEST:: SOT 144056 SOS 109410 HAS SOPS 58547 HAS SOUS 16913 HAS SOUPS 16528 WITH SCORE 16637.41
AT ITER 893 NEW BEST:: SOT 144056 SOS 109398 HAS SOPS 58091 HAS SOUS 16721 HAS SOUPS 16336 WITH SCORE 16445.398
AT ITER 896 NEW BEST:: SOT 144065 SOS 109407 HAS SOPS 57695 HAS SOUS 16631 HAS SOUPS 16246 WITH SCORE 16355.407
AT ITER 906 NEW BEST:: SOT 144065 SOS 109377 HAS SOPS 57665 HAS SOUS 16631 HAS SOUPS 16246 WITH SCORE 16355.377
AT ITER 910 NEW BEST:: SOT 144063 SOS 109376 HAS SOPS 57664 HAS SOUS 16630 HAS SOUPS 16245 WITH SCORE 16354.376
AT ITER 916 NEW BEST:: SOT 144016 SOS 109334 HAS SOPS 57570 HAS SOUS 16587 HAS SOUPS 16202 WITH SCORE 16311.334
AT ITER 923 NEW BEST:: SOT 144005 SOS 109324 HAS SOPS 57555 HAS SOUS 16573 HAS SOUPS 16188 WITH SCORE 16297.324
AT ITER 931 NEW BEST:: SOT 143953 SOS 109158 HAS SOPS 57451 HAS SOUS 16513 HAS SOUPS 16128 WITH SCORE 16237.158
AT ITER 934 NEW BEST:: SOT 143916 SOS 109157 HAS SOPS 57416 HAS SOUS 16493 HAS SOUPS 16108 WITH SCORE 16217.157
AT ITER 935 NEW BEST:: SOT 143859 SOS 109117 HAS SOPS 57392 HAS SOUS 16482 HAS SOUPS 16097 WITH SCORE 16206.117
AT ITER 939 NEW BEST:: SOT 143855 SOS 109113 HAS SOPS 57384 HAS SOUS 16476 HAS SOUPS 16091 WITH SCORE 16200.113
AT ITER 942 NEW BEST:: SOT 143822 SOS 109062 HAS SOPS 57318 HAS SOUS 16410 HAS SOUPS 16025 WITH SCORE 16134.062
AT ITER 963 NEW BEST:: SOT 143748 SOS 108988 HAS SOPS 57209 HAS SOUS 16311 HAS SOUPS 15926 WITH SCORE 16034.988
AT ITER 973 NEW BEST:: SOT 143709 SOS 108897 HAS SOPS 57131 HAS SOUS 16275 HAS SOUPS 15890 WITH SCORE 15998.897
AT ITER 990 NEW BEST:: SOT 143739 SOS 108927 HAS SOPS 57129 HAS SOUS 16273 HAS SOUPS 15888 WITH SCORE 15996.927
AT ITER 996 NEW BEST:: SOT 143746 SOS 108958 HAS SOPS 57143 HAS SOUS 16263 HAS SOUPS 15878 WITH SCORE 15986.958
AT ITER 1007 NEW BEST:: SOT 143685 SOS 108897 HAS SOPS 57121 HAS SOUS 16241 HAS SOUPS 15856 WITH SCORE 15964.897
AT ITER 1009 NEW BEST:: SOT 143669 SOS 108808 HAS SOPS 57040 HAS SOUS 16184 HAS SOUPS 15799 WITH SCORE 15907.808
AT ITER 1023 NEW BEST:: SOT 143560 SOS 108878 HAS SOPS 57000 HAS SOUS 16158 HAS SOUPS 15773 WITH SCORE 15881.878
AT ITER 1024 NEW BEST:: SOT 143557 SOS 108875 HAS SOPS 56997 HAS SOUS 16155 HAS SOUPS 15770 WITH SCORE 15878.875
AT ITER 1027 NEW BEST:: SOT 143550 SOS 108861 HAS SOPS 56983 HAS SOUS 16145 HAS SOUPS 15760 WITH SCORE 15868.861
AT ITER 1040 NEW BEST:: SOT 143572 SOS 108857 HAS SOPS 56994 HAS SOUS 16135 HAS SOUPS 15750 WITH SCORE 15858.857
AT ITER 1060 NEW BEST:: SOT 143553 SOS 108727 HAS SOPS 56890 HAS SOUS 16076 HAS SOUPS 15691 WITH SCORE 15799.727
AT ITER 1062 NEW BEST:: SOT 143553 SOS 108727 HAS SOPS 56710 HAS SOUS 15956 HAS SOUPS 15571 WITH SCORE 15679.727
AT ITER 1063 NEW BEST:: SOT 143528 SOS 108709 HAS SOPS 56676 HAS SOUS 15938 HAS SOUPS 15553 WITH SCORE 15661.709
AT ITER 1087 NEW BEST:: SOT 143498 SOS 108694 HAS SOPS 56631 HAS SOUS 15893 HAS SOUPS 15508 WITH SCORE 15616.694
AT ITER 1116 NEW BEST:: SOT 143382 SOS 108563 HAS SOPS 57261 HAS SOUS 15888 HAS SOUPS 15503 WITH SCORE 15611.563
AT ITER 1127 NEW BEST:: SOT 143379 SOS 108561 HAS SOPS 57257 HAS SOUS 15886 HAS SOUPS 15499 WITH SCORE 15607.561
AT ITER 1135 NEW BEST:: SOT 143369 SOS 108053 HAS SOPS 57253 HAS SOUS 15880 HAS SOUPS 15499 WITH SCORE 15607.053
AT ITER 1141 NEW BEST:: SOT 143369 SOS 108024 HAS SOPS 57253 HAS SOUS 15880 HAS SOUPS 15499 WITH SCORE 15607.024
AT ITER 1149 NEW BEST:: SOT 143360 SOS 107942 HAS SOPS 57235 HAS SOUS 15862 HAS SOUPS 15481 WITH SCORE 15588.942
AT ITER 1155 NEW BEST:: SOT 143334 SOS 107903 HAS SOPS 57183 HAS SOUS 15810 HAS SOUPS 15429 WITH SCORE 15536.903
AT ITER 1158 NEW BEST:: SOT 143328 SOS 107903 HAS SOPS 57177 HAS SOUS 15804 HAS SOUPS 15423 WITH SCORE 15530.903
AT ITER 1190 NEW BEST:: SOT 143259 SOS 107906 HAS SOPS 57110 HAS SOUS 15730 HAS SOUPS 15349 WITH SCORE 15456.906
AT ITER 1205 NEW BEST:: SOT 143259 SOS 107904 HAS SOPS 57108 HAS SOUS 15730 HAS SOUPS 15349 WITH SCORE 15456.904
AT ITER 1208 NEW BEST:: SOT 143254 SOS 107899 HAS SOPS 57103 HAS SOUS 15730 HAS SOUPS 15349 WITH SCORE 15456.899
AT ITER 1226 NEW BEST:: SOT 143254 SOS 107904 HAS SOPS 57103 HAS SOUS 15715 HAS SOUPS 15334 WITH SCORE 15441.904
AT ITER 1236 NEW BEST:: SOT 143166 SOS 107851 HAS SOPS 57007 HAS SOUS 15636 HAS SOUPS 15255 WITH SCORE 15362.851
AT ITER 1255 NEW BEST:: SOT 143168 SOS 107867 HAS SOPS 57011 HAS SOUS 15624 HAS SOUPS 15243 WITH SCORE 15350.867
AT ITER 1270 NEW BEST:: SOT 143141 SOS 107843 HAS SOPS 56957 HAS SOUS 15596 HAS SOUPS 15215 WITH SCORE 15322.843
AT ITER 1284 NEW BEST:: SOT 143150 SOS 107808 HAS SOPS 56909 HAS SOUS 15545 HAS SOUPS 15164 WITH SCORE 15271.808
AT ITER 1302 NEW BEST:: SOT 143120 SOS 107779 HAS SOPS 56849 HAS SOUS 15462 HAS SOUPS 15081 WITH SCORE 15188.779
AT ITER 1329 NEW BEST:: SOT 143114 SOS 107770 HAS SOPS 56837 HAS SOUS 15434 HAS SOUPS 15053 WITH SCORE 15160.77
AT ITER 1334 NEW BEST:: SOT 143124 SOS 107768 HAS SOPS 56835 HAS SOUS 15422 HAS SOUPS 15041 WITH SCORE 15148.768
AT ITER 1357 NEW BEST:: SOT 143125 SOS 107767 HAS SOPS 56835 HAS SOUS 15422 HAS SOUPS 15041 WITH SCORE 15148.767
AT ITER 1360 NEW BEST:: SOT 143142 SOS 107800 HAS SOPS 56869 HAS SOUS 15383 HAS SOUPS 15002 WITH SCORE 15109.8
AT ITER 1362 NEW BEST:: SOT 143111 SOS 107758 HAS SOPS 56785 HAS SOUS 15337 HAS SOUPS 14956 WITH SCORE 15063.758
AT ITER 1367 NEW BEST:: SOT 143088 SOS 107748 HAS SOPS 56762 HAS SOUS 15324 HAS SOUPS 14943 WITH SCORE 15050.748
AT ITER 1379 NEW BEST:: SOT 143097 SOS 107757 HAS SOPS 56242 HAS SOUS 15305 HAS SOUPS 14924 WITH SCORE 15031.757
AT ITER 1385 NEW BEST:: SOT 142955 SOS 107634 HAS SOPS 56347 HAS SOUS 15284 HAS SOUPS 14903 WITH SCORE 15010.634
AT ITER 1403 NEW BEST:: SOT 142957 SOS 107628 HAS SOPS 56351 HAS SOUS 15284 HAS SOUPS 14903 WITH SCORE 15010.628
AT ITER 1414 NEW BEST:: SOT 142932 SOS 107617 HAS SOPS 56322 HAS SOUS 15252 HAS SOUPS 14874 WITH SCORE 14981.617
AT ITER 1419 NEW BEST:: SOT 142932 SOS 107590 HAS SOPS 56302 HAS SOUS 15239 HAS SOUPS 14861 WITH SCORE 14968.59
AT ITER 1427 NEW BEST:: SOT 142930 SOS 107577 HAS SOPS 56288 HAS SOUS 15226 HAS SOUPS 14848 WITH SCORE 14955.577
AT ITER 1444 NEW BEST:: SOT 142922 SOS 107557 HAS SOPS 56268 HAS SOUS 15210 HAS SOUPS 14832 WITH SCORE 14939.557
AT ITER 1449 NEW BEST:: SOT 142883 SOS 107504 HAS SOPS 56226 HAS SOUS 15168 HAS SOUPS 14790 WITH SCORE 14897.504
AT ITER 1462 NEW BEST:: SOT 142875 SOS 107480 HAS SOPS 56202 HAS SOUS 15152 HAS SOUPS 14774 WITH SCORE 14881.48
AT ITER 1466 NEW BEST:: SOT 142866 SOS 107465 HAS SOPS 56014 HAS SOUS 15120 HAS SOUPS 14742 WITH SCORE 14849.465
AT ITER 1473 NEW BEST:: SOT 142830 SOS 107427 HAS SOPS 55974 HAS SOUS 15096 HAS SOUPS 14718 WITH SCORE 14825.427
AT ITER 1475 NEW BEST:: SOT 142841 SOS 107412 HAS SOPS 55933 HAS SOUS 15055 HAS SOUPS 14677 WITH SCORE 14784.412
AT ITER 1483 NEW BEST:: SOT 142842 SOS 107426 HAS SOPS 55935 HAS SOUS 15044 HAS SOUPS 14666 WITH SCORE 14773.426
AT ITER 1488 NEW BEST:: SOT 142757 SOS 107363 HAS SOPS 55878 HAS SOUS 15032 HAS SOUPS 14655 WITH SCORE 14762.363
AT ITER 1504 NEW BEST:: SOT 142452 SOS 107069 HAS SOPS 55618 HAS SOUS 14985 HAS SOUPS 14608 WITH SCORE 14715.069
AT ITER 1509 NEW BEST:: SOT 142430 SOS 107051 HAS SOPS 55600 HAS SOUS 14967 HAS SOUPS 14590 WITH SCORE 14697.051
AT ITER 1517 NEW BEST:: SOT 142422 SOS 107035 HAS SOPS 55584 HAS SOUS 14959 HAS SOUPS 14582 WITH SCORE 14689.035
AT ITER 1518 NEW BEST:: SOT 142418 SOS 107023 HAS SOPS 55572 HAS SOUS 14955 HAS SOUPS 14578 WITH SCORE 14685.023
AT ITER 1529 NEW BEST:: SOT 142416 SOS 107021 HAS SOPS 55570 HAS SOUS 14953 HAS SOUPS 14576 WITH SCORE 14683.021
AT ITER 1536 NEW BEST:: SOT 142435 SOS 107024 HAS SOPS 55575 HAS SOUS 14925 HAS SOUPS 14548 WITH SCORE 14655.024
AT ITER 1569 NEW BEST:: SOT 142435 SOS 106990 HAS SOPS 55541 HAS SOUS 14908 HAS SOUPS 14531 WITH SCORE 14637.99
AT ITER 1578 NEW BEST:: SOT 142430 SOS 106975 HAS SOPS 55531 HAS SOUS 14903 HAS SOUPS 14526 WITH SCORE 14632.975
AT ITER 1585 NEW BEST:: SOT 142481 SOS 107064 HAS SOPS 55533 HAS SOUS 14879 HAS SOUPS 14502 WITH SCORE 14609.064
AT ITER 1593 NEW BEST:: SOT 142479 SOS 107064 HAS SOPS 55531 HAS SOUS 14877 HAS SOUPS 14500 WITH SCORE 14607.064
AT ITER 1594 NEW BEST:: SOT 142452 SOS 107042 HAS SOPS 55513 HAS SOUS 14875 HAS SOUPS 14498 WITH SCORE 14605.042
AT ITER 1596 NEW BEST:: SOT 142446 SOS 107033 HAS SOPS 55501 HAS SOUS 14869 HAS SOUPS 14492 WITH SCORE 14599.033
AT ITER 1608 NEW BEST:: SOT 142440 SOS 107027 HAS SOPS 55495 HAS SOUS 14863 HAS SOUPS 14486 WITH SCORE 14593.027
AT ITER 1620 NEW BEST:: SOT 142432 SOS 107029 HAS SOPS 55479 HAS SOUS 14844 HAS SOUPS 14467 WITH SCORE 14574.029
AT ITER 1623 NEW BEST:: SOT 142408 SOS 106981 HAS SOPS 55431 HAS SOUS 14844 HAS SOUPS 14467 WITH SCORE 14573.981
AT ITER 1631 NEW BEST:: SOT 142392 SOS 106965 HAS SOPS 55408 HAS SOUS 14839 HAS SOUPS 14462 WITH SCORE 14568.965
AT ITER 1638 NEW BEST:: SOT 142393 SOS 106964 HAS SOPS 55407 HAS SOUS 14838 HAS SOUPS 14461 WITH SCORE 14567.964
AT ITER 1646 NEW BEST:: SOT 142420 SOS 106977 HAS SOPS 54576 HAS SOUS 14358 HAS SOUPS 13981 WITH SCORE 14087.977
AT ITER 1648 NEW BEST:: SOT 142420 SOS 106972 HAS SOPS 54571 HAS SOUS 14353 HAS SOUPS 13976 WITH SCORE 14082.972
AT ITER 1680 NEW BEST:: SOT 142418 SOS 106993 HAS SOPS 54579 HAS SOUS 14351 HAS SOUPS 13974 WITH SCORE 14080.993
AT ITER 1692 NEW BEST:: SOT 142418 SOS 106989 HAS SOPS 54575 HAS SOUS 14347 HAS SOUPS 13970 WITH SCORE 14076.989
AT ITER 1708 NEW BEST:: SOT 142418 SOS 106980 HAS SOPS 54566 HAS SOUS 14347 HAS SOUPS 13970 WITH SCORE 14076.98
AT ITER 1713 NEW BEST:: SOT 142394 SOS 106902 HAS SOPS 54469 HAS SOUS 14255 HAS SOUPS 13878 WITH SCORE 13984.902
AT ITER 1714 NEW BEST:: SOT 142362 SOS 106869 HAS SOPS 54405 HAS SOUS 14214 HAS SOUPS 13837 WITH SCORE 13943.869
AT ITER 1729 NEW BEST:: SOT 142380 SOS 106900 HAS SOPS 54441 HAS SOUS 14162 HAS SOUPS 13785 WITH SCORE 13891.9
AT ITER 1743 NEW BEST:: SOT 141787 SOS 106310 HAS SOPS 53937 HAS SOUS 13924 HAS SOUPS 13547 WITH SCORE 13653.31
AT ITER 1763 NEW BEST:: SOT 141787 SOS 106359 HAS SOPS 53937 HAS SOUS 13899 HAS SOUPS 13522 WITH SCORE 13628.359
AT ITER 1768 NEW BEST:: SOT 141785 SOS 106266 HAS SOPS 53882 HAS SOUS 13895 HAS SOUPS 13518 WITH SCORE 13624.266
AT ITER 1785 NEW BEST:: SOT 141772 SOS 106284 HAS SOPS 53917 HAS SOUS 13892 HAS SOUPS 13515 WITH SCORE 13621.284
AT ITER 1791 NEW BEST:: SOT 141784 SOS 106308 HAS SOPS 53941 HAS SOUS 13880 HAS SOUPS 13503 WITH SCORE 13609.308
AT ITER 1796 NEW BEST:: SOT 141739 SOS 106228 HAS SOPS 53851 HAS SOUS 13822 HAS SOUPS 13445 WITH SCORE 13551.228
AT ITER 1798 NEW BEST:: SOT 141757 SOS 106210 HAS SOPS 53851 HAS SOUS 13822 HAS SOUPS 13445 WITH SCORE 13551.21
AT ITER 1807 NEW BEST:: SOT 141765 SOS 106226 HAS SOPS 53867 HAS SOUS 13814 HAS SOUPS 13437 WITH SCORE 13543.226
AT ITER 1808 NEW BEST:: SOT 141732 SOS 106248 HAS SOPS 53835 HAS SOUS 13761 HAS SOUPS 13384 WITH SCORE 13490.248
AT ITER 1817 NEW BEST:: SOT 141722 SOS 106203 HAS SOPS 53787 HAS SOUS 13700 HAS SOUPS 13323 WITH SCORE 13429.203
AT ITER 1826 NEW BEST:: SOT 141719 SOS 106197 HAS SOPS 53781 HAS SOUS 13697 HAS SOUPS 13320 WITH SCORE 13426.197
AT ITER 1833 NEW BEST:: SOT 141702 SOS 106146 HAS SOPS 53730 HAS SOUS 13663 HAS SOUPS 13286 WITH SCORE 13392.146
AT ITER 1835 NEW BEST:: SOT 141716 SOS 106159 HAS SOPS 53715 HAS SOUS 13648 HAS SOUPS 13271 WITH SCORE 13377.159
AT ITER 1839 NEW BEST:: SOT 141715 SOS 106157 HAS SOPS 53712 HAS SOUS 13645 HAS SOUPS 13268 WITH SCORE 13374.157
AT ITER 1856 NEW BEST:: SOT 141679 SOS 106075 HAS SOPS 53613 HAS SOUS 13557 HAS SOUPS 13180 WITH SCORE 13286.075
AT ITER 1900 NEW BEST:: SOT 141666 SOS 106036 HAS SOPS 53574 HAS SOUS 13531 HAS SOUPS 13154 WITH SCORE 13260.036
AT ITER 1905 NEW BEST:: SOT 141663 SOS 106025 HAS SOPS 53564 HAS SOUS 13521 HAS SOUPS 13144 WITH SCORE 13250.025
AT ITER 1923 NEW BEST:: SOT 141663 SOS 105870 HAS SOPS 53422 HAS SOUS 13463 HAS SOUPS 13086 WITH SCORE 13191.87
AT ITER 1928 NEW BEST:: SOT 141658 SOS 105856 HAS SOPS 53404 HAS SOUS 13449 HAS SOUPS 13072 WITH SCORE 13177.856
AT ITER 1946 NEW BEST:: SOT 141637 SOS 105835 HAS SOPS 53383 HAS SOUS 13428 HAS SOUPS 13051 WITH SCORE 13156.835
AT ITER 1953 NEW BEST:: SOT 141654 SOS 105852 HAS SOPS 53397 HAS SOUS 13422 HAS SOUPS 13045 WITH SCORE 13150.852
AT ITER 1955 NEW BEST:: SOT 141647 SOS 105845 HAS SOPS 53383 HAS SOUS 13408 HAS SOUPS 13031 WITH SCORE 13136.845
AT ITER 1974 NEW BEST:: SOT 141647 SOS 105845 HAS SOPS 53383 HAS SOUS 13403 HAS SOUPS 13026 WITH SCORE 13131.845
AT ITER 1991 NEW BEST:: SOT 141639 SOS 105833 HAS SOPS 53367 HAS SOUS 13395 HAS SOUPS 13018 WITH SCORE 13123.833
AT ITER 2024 NEW BEST:: SOT 141571 SOS 105765 HAS SOPS 53266 HAS SOUS 13294 HAS SOUPS 12917 WITH SCORE 13022.765
AT ITER 2031 NEW BEST:: SOT 141566 SOS 105760 HAS SOPS 53256 HAS SOUS 13289 HAS SOUPS 12907 WITH SCORE 13012.76
AT ITER 2039 NEW BEST:: SOT 141518 SOS 105743 HAS SOPS 53206 HAS SOUS 13243 HAS SOUPS 12861 WITH SCORE 12966.743
AT ITER 2067 NEW BEST:: SOT 141505 SOS 105661 HAS SOPS 53126 HAS SOUS 13183 HAS SOUPS 12801 WITH SCORE 12906.661
AT ITER 2077 NEW BEST:: SOT 141457 SOS 105576 HAS SOPS 53096 HAS SOUS 13174 HAS SOUPS 12792 WITH SCORE 12897.576
AT ITER 2091 NEW BEST:: SOT 141451 SOS 105528 HAS SOPS 53084 HAS SOUS 13165 HAS SOUPS 12783 WITH SCORE 12888.528
AT ITER 2096 NEW BEST:: SOT 141419 SOS 105464 HAS SOPS 53020 HAS SOUS 13124 HAS SOUPS 12742 WITH SCORE 12847.464
AT ITER 2116 NEW BEST:: SOT 141407 SOS 105452 HAS SOPS 53005 HAS SOUS 13109 HAS SOUPS 12727 WITH SCORE 12832.452
AT ITER 2122 NEW BEST:: SOT 141418 SOS 105449 HAS SOPS 52988 HAS SOUS 13076 HAS SOUPS 12694 WITH SCORE 12799.449
AT ITER 2123 NEW BEST:: SOT 141409 SOS 105422 HAS SOPS 52961 HAS SOUS 13058 HAS SOUPS 12676 WITH SCORE 12781.422
AT ITER 2135 NEW BEST:: SOT 141519 SOS 105546 HAS SOPS 52917 HAS SOUS 12886 HAS SOUPS 12504 WITH SCORE 12609.546
AT ITER 2140 NEW BEST:: SOT 141491 SOS 105490 HAS SOPS 52861 HAS SOUS 12799 HAS SOUPS 12417 WITH SCORE 12522.49
AT ITER 2144 NEW BEST:: SOT 141506 SOS 105505 HAS SOPS 52872 HAS SOUS 12791 HAS SOUPS 12409 WITH SCORE 12514.505
AT ITER 2162 NEW BEST:: SOT 141504 SOS 105502 HAS SOPS 52868 HAS SOUS 12787 HAS SOUPS 12405 WITH SCORE 12510.502
AT ITER 2179 NEW BEST:: SOT 141497 SOS 105484 HAS SOPS 52843 HAS SOUS 12762 HAS SOUPS 12380 WITH SCORE 12485.484
AT ITER 2184 NEW BEST:: SOT 141491 SOS 105486 HAS SOPS 52839 HAS SOUS 12758 HAS SOUPS 12376 WITH SCORE 12481.486
AT ITER 2200 NEW BEST:: SOT 141427 SOS 105424 HAS SOPS 52777 HAS SOUS 12728 HAS SOUPS 12346 WITH SCORE 12451.424
AT ITER 2203 NEW BEST:: SOT 141410 SOS 105355 HAS SOPS 52743 HAS SOUS 12669 HAS SOUPS 12287 WITH SCORE 12392.355
AT ITER 2207 NEW BEST:: SOT 141399 SOS 105352 HAS SOPS 52729 HAS SOUS 12655 HAS SOUPS 12273 WITH SCORE 12378.352
AT ITER 2211 NEW BEST:: SOT 141450 SOS 105349 HAS SOPS 52778 HAS SOUS 12653 HAS SOUPS 12271 WITH SCORE 12376.349
AT ITER 2212 NEW BEST:: SOT 141453 SOS 105343 HAS SOPS 52784 HAS SOUS 12646 HAS SOUPS 12264 WITH SCORE 12369.343
AT ITER 2227 NEW BEST:: SOT 141449 SOS 105339 HAS SOPS 52776 HAS SOUS 12638 HAS SOUPS 12256 WITH SCORE 12361.339
AT ITER 2232 NEW BEST:: SOT 141447 SOS 105335 HAS SOPS 52772 HAS SOUS 12638 HAS SOUPS 12256 WITH SCORE 12361.335
AT ITER 2238 NEW BEST:: SOT 141445 SOS 105331 HAS SOPS 52768 HAS SOUS 12634 HAS SOUPS 12252 WITH SCORE 12357.331
AT ITER 2256 NEW BEST:: SOT 141433 SOS 105307 HAS SOPS 52744 HAS SOUS 12605 HAS SOUPS 12223 WITH SCORE 12328.307
AT ITER 2262 NEW BEST:: SOT 141410 SOS 105264 HAS SOPS 52684 HAS SOUS 12569 HAS SOUPS 12187 WITH SCORE 12292.264
AT ITER 2274 NEW BEST:: SOT 141320 SOS 105132 HAS SOPS 52504 HAS SOUS 12425 HAS SOUPS 12043 WITH SCORE 12148.132
AT ITER 2277 NEW BEST:: SOT 141302 SOS 105114 HAS SOPS 52468 HAS SOUS 12389 HAS SOUPS 12007 WITH SCORE 12112.114
AT ITER 2285 NEW BEST:: SOT 141253 SOS 105083 HAS SOPS 52444 HAS SOUS 12389 HAS SOUPS 12007 WITH SCORE 12112.083
AT ITER 2289 NEW BEST:: SOT 141250 SOS 105073 HAS SOPS 52438 HAS SOUS 12383 HAS SOUPS 12001 WITH SCORE 12106.073
AT ITER 2325 NEW BEST:: SOT 141251 SOS 105066 HAS SOPS 52432 HAS SOUS 12377 HAS SOUPS 11995 WITH SCORE 12100.066
AT ITER 2329 NEW BEST:: SOT 141203 SOS 105031 HAS SOPS 52397 HAS SOUS 12338 HAS SOUPS 11956 WITH SCORE 12061.031
AT ITER 2342 NEW BEST:: SOT 141207 SOS 105033 HAS SOPS 52405 HAS SOUS 12336 HAS SOUPS 11954 WITH SCORE 12059.033
AT ITER 2355 NEW BEST:: SOT 141187 SOS 104993 HAS SOPS 52365 HAS SOUS 12306 HAS SOUPS 11924 WITH SCORE 12028.993
AT ITER 2357 NEW BEST:: SOT 141207 SOS 104980 HAS SOPS 52344 HAS SOUS 12263 HAS SOUPS 11881 WITH SCORE 11985.98
AT ITER 2382 NEW BEST:: SOT 141201 SOS 104906 HAS SOPS 52332 HAS SOUS 12251 HAS SOUPS 11869 WITH SCORE 11973.906
AT ITER 2385 NEW BEST:: SOT 141176 SOS 104833 HAS SOPS 52258 HAS SOUS 12183 HAS SOUPS 11801 WITH SCORE 11905.833
AT ITER 2387 NEW BEST:: SOT 141172 SOS 104832 HAS SOPS 52250 HAS SOUS 12180 HAS SOUPS 11798 WITH SCORE 11902.832
AT ITER 2389 NEW BEST:: SOT 141170 SOS 104831 HAS SOPS 52248 HAS SOUS 12179 HAS SOUPS 11797 WITH SCORE 11901.831
AT ITER 2415 NEW BEST:: SOT 141168 SOS 104853 HAS SOPS 52263 HAS SOUS 12177 HAS SOUPS 11795 WITH SCORE 11899.853
AT ITER 2420 NEW BEST:: SOT 141142 SOS 104827 HAS SOPS 52211 HAS SOUS 12125 HAS SOUPS 11743 WITH SCORE 11847.827
AT ITER 2428 NEW BEST:: SOT 141137 SOS 104809 HAS SOPS 52193 HAS SOUS 12112 HAS SOUPS 11730 WITH SCORE 11834.809
AT ITER 2433 NEW BEST:: SOT 141137 SOS 104798 HAS SOPS 52182 HAS SOUS 12101 HAS SOUPS 11719 WITH SCORE 11823.798
AT ITER 2438 NEW BEST:: SOT 141131 SOS 104783 HAS SOPS 52170 HAS SOUS 12098 HAS SOUPS 11716 WITH SCORE 11820.783
AT ITER 2481 NEW BEST:: SOT 141117 SOS 104769 HAS SOPS 52156 HAS SOUS 12084 HAS SOUPS 11702 WITH SCORE 11806.769
AT ITER 2492 NEW BEST:: SOT 141169 SOS 104802 HAS SOPS 52190 HAS SOUS 12067 HAS SOUPS 11685 WITH SCORE 11789.802
AT ITER 2533 NEW BEST:: SOT 141129 SOS 104717 HAS SOPS 52110 HAS SOUS 12049 HAS SOUPS 11667 WITH SCORE 11771.717
AT ITER 2535 NEW BEST:: SOT 141105 SOS 104681 HAS SOPS 52062 HAS SOUS 12013 HAS SOUPS 11631 WITH SCORE 11735.681
AT ITER 2536 NEW BEST:: SOT 141096 SOS 104669 HAS SOPS 52047 HAS SOUS 11998 HAS SOUPS 11616 WITH SCORE 11720.669
AT ITER 2554 NEW BEST:: SOT 141077 SOS 104624 HAS SOPS 51986 HAS SOUS 11947 HAS SOUPS 11565 WITH SCORE 11669.624
AT ITER 2560 NEW BEST:: SOT 141079 SOS 104618 HAS SOPS 51980 HAS SOUS 11947 HAS SOUPS 11565 WITH SCORE 11669.618
AT ITER 2562 NEW BEST:: SOT 141078 SOS 104628 HAS SOPS 51978 HAS SOUS 11945 HAS SOUPS 11563 WITH SCORE 11667.628
AT ITER 2564 NEW BEST:: SOT 141048 SOS 104593 HAS SOPS 51912 HAS SOUS 11890 HAS SOUPS 11508 WITH SCORE 11612.593
AT ITER 2575 NEW BEST:: SOT 141069 SOS 104582 HAS SOPS 51912 HAS SOUS 11887 HAS SOUPS 11505 WITH SCORE 11609.582
AT ITER 2614 NEW BEST:: SOT 141066 SOS 104579 HAS SOPS 51906 HAS SOUS 11881 HAS SOUPS 11499 WITH SCORE 11603.579
AT ITER 2667 NEW BEST:: SOT 141059 SOS 104572 HAS SOPS 51892 HAS SOUS 11867 HAS SOUPS 11485 WITH SCORE 11589.572
AT ITER 2702 NEW BEST:: SOT 141059 SOS 104565 HAS SOPS 51892 HAS SOUS 11867 HAS SOUPS 11485 WITH SCORE 11589.565
AT ITER 2709 NEW BEST:: SOT 141057 SOS 104561 HAS SOPS 51888 HAS SOUS 11864 HAS SOUPS 11482 WITH SCORE 11586.561
AT ITER 2756 NEW BEST:: SOT 141015 SOS 104519 HAS SOPS 51804 HAS SOUS 11804 HAS SOUPS 11422 WITH SCORE 11526.519
AT ITER 2765 NEW BEST:: SOT 140999 SOS 104503 HAS SOPS 51780 HAS SOUS 11784 HAS SOUPS 11402 WITH SCORE 11506.503
AT ITER 2795 NEW BEST:: SOT 140995 SOS 104521 HAS SOPS 51787 HAS SOUS 11769 HAS SOUPS 11387 WITH SCORE 11491.521
AT ITER 2800 NEW BEST:: SOT 140961 SOS 104487 HAS SOPS 51751 HAS SOUS 11749 HAS SOUPS 11367 WITH SCORE 11471.487
AT ITER 2806 NEW BEST:: SOT 140961 SOS 104477 HAS SOPS 51746 HAS SOUS 11749 HAS SOUPS 11367 WITH SCORE 11471.477
AT ITER 2809 NEW BEST:: SOT 140802 SOS 104315 HAS SOPS 51612 HAS SOUS 11721 HAS SOUPS 11339 WITH SCORE 11443.315
AT ITER 2818 NEW BEST:: SOT 140799 SOS 104296 HAS SOPS 51598 HAS SOUS 11715 HAS SOUPS 11333 WITH SCORE 11437.296
AT ITER 2819 NEW BEST:: SOT 140799 SOS 104296 HAS SOPS 51597 HAS SOUS 11714 HAS SOUPS 11332 WITH SCORE 11436.296
AT ITER 2832 NEW BEST:: SOT 140799 SOS 104267 HAS SOPS 51597 HAS SOUS 11714 HAS SOUPS 11332 WITH SCORE 11436.267
AT ITER 2842 NEW BEST:: SOT 140769 SOS 104189 HAS SOPS 51514 HAS SOUS 11654 HAS SOUPS 11272 WITH SCORE 11376.189
AT ITER 2855 NEW BEST:: SOT 140763 SOS 104180 HAS SOPS 51502 HAS SOUS 11648 HAS SOUPS 11266 WITH SCORE 11370.18
AT ITER 2860 NEW BEST:: SOT 140753 SOS 104132 HAS SOPS 51458 HAS SOUS 11604 HAS SOUPS 11222 WITH SCORE 11326.132
AT ITER 2881 NEW BEST:: SOT 140753 SOS 104129 HAS SOPS 51455 HAS SOUS 11601 HAS SOUPS 11219 WITH SCORE 11323.129
AT ITER 2896 NEW BEST:: SOT 140745 SOS 104117 HAS SOPS 51439 HAS SOUS 11589 HAS SOUPS 11207 WITH SCORE 11311.117
AT ITER 2903 NEW BEST:: SOT 140737 SOS 104075 HAS SOPS 51406 HAS SOUS 11573 HAS SOUPS 11191 WITH SCORE 11295.075
AT ITER 2914 NEW BEST:: SOT 140708 SOS 104024 HAS SOPS 51348 HAS SOUS 11540 HAS SOUPS 11158 WITH SCORE 11262.024
AT ITER 2921 NEW BEST:: SOT 140486 SOS 103818 HAS SOPS 51346 HAS SOUS 11537 HAS SOUPS 11155 WITH SCORE 11258.818
AT ITER 2937 NEW BEST:: SOT 140488 SOS 103830 HAS SOPS 51350 HAS SOUS 11531 HAS SOUPS 11149 WITH SCORE 11252.83
AT ITER 2944 NEW BEST:: SOT 140450 SOS 103807 HAS SOPS 51325 HAS SOUS 11513 HAS SOUPS 11131 WITH SCORE 11234.807
AT ITER 2956 NEW BEST:: SOT 140449 SOS 103806 HAS SOPS 51323 HAS SOUS 11511 HAS SOUPS 11129 WITH SCORE 11232.806
AT ITER 2971 NEW BEST:: SOT 140174 SOS 103532 HAS SOPS 51050 HAS SOUS 11378 HAS SOUPS 10996 WITH SCORE 11099.532
AT ITER 2996 NEW BEST:: SOT 140187 SOS 103531 HAS SOPS 51049 HAS SOUS 11377 HAS SOUPS 10995 WITH SCORE 11098.531
AT ITER 3023 NEW BEST:: SOT 140187 SOS 103527 HAS SOPS 51049 HAS SOUS 11377 HAS SOUPS 10995 WITH SCORE 11098.527
AT ITER 3031 NEW BEST:: SOT 140181 SOS 103524 HAS SOPS 51040 HAS SOUS 11371 HAS SOUPS 10989 WITH SCORE 11092.524
AT ITER 3057 NEW BEST:: SOT 140233 SOS 103574 HAS SOPS 51057 HAS SOUS 11348 HAS SOUPS 10966 WITH SCORE 11069.574
AT ITER 3067 NEW BEST:: SOT 140230 SOS 103574 HAS SOPS 51054 HAS SOUS 11345 HAS SOUPS 10963 WITH SCORE 11066.574
AT ITER 3086 NEW BEST:: SOT 140230 SOS 103574 HAS SOPS 51051 HAS SOUS 11342 HAS SOUPS 10960 WITH SCORE 11063.574
AT ITER 3096 NEW BEST:: SOT 140175 SOS 103521 HAS SOPS 50999 HAS SOUS 11303 HAS SOUPS 10921 WITH SCORE 11024.521
AT ITER 3107 NEW BEST:: SOT 140168 SOS 103507 HAS SOPS 50985 HAS SOUS 11296 HAS SOUPS 10914 WITH SCORE 11017.507
AT ITER 3112 NEW BEST:: SOT 140157 SOS 103517 HAS SOPS 50987 HAS SOUS 11294 HAS SOUPS 10912 WITH SCORE 11015.517
AT ITER 3118 NEW BEST:: SOT 140138 SOS 103432 HAS SOPS 50949 HAS SOUS 11259 HAS SOUPS 10877 WITH SCORE 10980.432
AT ITER 3197 NEW BEST:: SOT 140118 SOS 103412 HAS SOPS 50909 HAS SOUS 11219 HAS SOUPS 10837 WITH SCORE 10940.412
AT ITER 3255 NEW BEST:: SOT 140103 SOS 103386 HAS SOPS 50899 HAS SOUS 11209 HAS SOUPS 10827 WITH SCORE 10930.386
AT ITER 3275 NEW BEST:: SOT 140099 SOS 103428 HAS SOPS 50891 HAS SOUS 11201 HAS SOUPS 10819 WITH SCORE 10922.428
AT ITER 3277 NEW BEST:: SOT 140088 SOS 103408 HAS SOPS 50869 HAS SOUS 11189 HAS SOUPS 10807 WITH SCORE 10910.408
AT ITER 3317 NEW BEST:: SOT 140074 SOS 103375 HAS SOPS 50832 HAS SOUS 11156 HAS SOUPS 10774 WITH SCORE 10877.375
AT ITER 3326 NEW BEST:: SOT 140056 SOS 103348 HAS SOPS 50796 HAS SOUS 11129 HAS SOUPS 10747 WITH SCORE 10850.348
AT ITER 3346 NEW BEST:: SOT 140040 SOS 106578 HAS SOPS 50762 HAS SOUS 11107 HAS SOUPS 10719 WITH SCORE 10825.578
AT ITER 3350 NEW BEST:: SOT 140055 SOS 106575 HAS SOPS 50759 HAS SOUS 11089 HAS SOUPS 10701 WITH SCORE 10807.575
AT ITER 3353 NEW BEST:: SOT 140050 SOS 106556 HAS SOPS 50735 HAS SOUS 11079 HAS SOUPS 10691 WITH SCORE 10797.556
AT ITER 3354 NEW BEST:: SOT 140009 SOS 106474 HAS SOPS 50653 HAS SOUS 11038 HAS SOUPS 10650 WITH SCORE 10756.474
AT ITER 3355 NEW BEST:: SOT 140012 SOS 106463 HAS SOPS 50640 HAS SOUS 11024 HAS SOUPS 10636 WITH SCORE 10742.463
AT ITER 3413 NEW BEST:: SOT 140009 SOS 106489 HAS SOPS 50634 HAS SOUS 11018 HAS SOUPS 10630 WITH SCORE 10736.489
AT ITER 3446 NEW BEST:: SOT 139958 SOS 106438 HAS SOPS 50553 HAS SOUS 10937 HAS SOUPS 10549 WITH SCORE 10655.438
AT ITER 3479 NEW BEST:: SOT 139941 SOS 106362 HAS SOPS 50475 HAS SOUS 10874 HAS SOUPS 10486 WITH SCORE 10592.362
AT ITER 3490 NEW BEST:: SOT 139925 SOS 106365 HAS SOPS 50443 HAS SOUS 10823 HAS SOUPS 10435 WITH SCORE 10541.365
AT ITER 3492 NEW BEST:: SOT 139923 SOS 106363 HAS SOPS 50441 HAS SOUS 10823 HAS SOUPS 10435 WITH SCORE 10541.363
AT ITER 3493 NEW BEST:: SOT 139951 SOS 106364 HAS SOPS 50444 HAS SOUS 10816 HAS SOUPS 10428 WITH SCORE 10534.364
AT ITER 3496 NEW BEST:: SOT 139951 SOS 106362 HAS SOPS 50442 HAS SOUS 10814 HAS SOUPS 10426 WITH SCORE 10532.362
AT ITER 3562 NEW BEST:: SOT 139963 SOS 106360 HAS SOPS 50439 HAS SOUS 10807 HAS SOUPS 10419 WITH SCORE 10525.36
AT ITER 3567 NEW BEST:: SOT 139962 SOS 106358 HAS SOPS 50437 HAS SOUS 10805 HAS SOUPS 10417 WITH SCORE 10523.358
AT ITER 3573 NEW BEST:: SOT 139962 SOS 106355 HAS SOPS 50437 HAS SOUS 10802 HAS SOUPS 10414 WITH SCORE 10520.355
AT ITER 3576 NEW BEST:: SOT 139959 SOS 106336 HAS SOPS 50431 HAS SOUS 10790 HAS SOUPS 10402 WITH SCORE 10508.336
AT ITER 3585 NEW BEST:: SOT 139963 SOS 106309 HAS SOPS 50410 HAS SOUS 10785 HAS SOUPS 10397 WITH SCORE 10503.309
AT ITER 3593 NEW BEST:: SOT 139954 SOS 106300 HAS SOPS 50392 HAS SOUS 10767 HAS SOUPS 10379 WITH SCORE 10485.3
AT ITER 3629 NEW BEST:: SOT 139958 SOS 106304 HAS SOPS 50200 HAS SOUS 10735 HAS SOUPS 10347 WITH SCORE 10453.304
AT ITER 3671 NEW BEST:: SOT 140159 SOS 106506 HAS SOPS 50200 HAS SOUS 10721 HAS SOUPS 10333 WITH SCORE 10439.506
AT ITER 3679 NEW BEST:: SOT 140159 SOS 106505 HAS SOPS 50197 HAS SOUS 10716 HAS SOUPS 10328 WITH SCORE 10434.505
AT ITER 3694 NEW BEST:: SOT 140156 SOS 106499 HAS SOPS 50177 HAS SOUS 10683 HAS SOUPS 10295 WITH SCORE 10401.499
AT ITER 3696 NEW BEST:: SOT 140146 SOS 106479 HAS SOPS 50114 HAS SOUS 10620 HAS SOUPS 10232 WITH SCORE 10338.479
AT ITER 3719 NEW BEST:: SOT 140146 SOS 106473 HAS SOPS 50111 HAS SOUS 10620 HAS SOUPS 10232 WITH SCORE 10338.473
AT ITER 3738 NEW BEST:: SOT 140146 SOS 106483 HAS SOPS 50111 HAS SOUS 10610 HAS SOUPS 10222 WITH SCORE 10328.483
AT ITER 3770 NEW BEST:: SOT 140271 SOS 106612 HAS SOPS 50050 HAS SOUS 10603 HAS SOUPS 10215 WITH SCORE 10321.612
AT ITER 3796 NEW BEST:: SOT 140260 SOS 106601 HAS SOPS 50039 HAS SOUS 10592 HAS SOUPS 10204 WITH SCORE 10310.601
AT ITER 3818 NEW BEST:: SOT 140260 SOS 106597 HAS SOPS 50039 HAS SOUS 10592 HAS SOUPS 10204 WITH SCORE 10310.597
AT ITER 3851 NEW BEST:: SOT 140245 SOS 106580 HAS SOPS 50032 HAS SOUS 10585 HAS SOUPS 10197 WITH SCORE 10303.58
AT ITER 3863 NEW BEST:: SOT 140245 SOS 106579 HAS SOPS 50031 HAS SOUS 10584 HAS SOUPS 10196 WITH SCORE 10302.579
AT ITER 3880 NEW BEST:: SOT 140247 SOS 106577 HAS SOPS 50035 HAS SOUS 10557 HAS SOUPS 10169 WITH SCORE 10275.577
AT ITER 3887 NEW BEST:: SOT 140247 SOS 106575 HAS SOPS 50035 HAS SOUS 10557 HAS SOUPS 10169 WITH SCORE 10275.575
AT ITER 3893 NEW BEST:: SOT 140241 SOS 106577 HAS SOPS 50023 HAS SOUS 10545 HAS SOUPS 10157 WITH SCORE 10263.577
AT ITER 3903 NEW BEST:: SOT 140230 SOS 106555 HAS SOPS 50001 HAS SOUS 10544 HAS SOUPS 10156 WITH SCORE 10262.555
AT ITER 3932 NEW BEST:: SOT 140212 SOS 106530 HAS SOPS 49965 HAS SOUS 10530 HAS SOUPS 10142 WITH SCORE 10248.53
AT ITER 3945 NEW BEST:: SOT 140195 SOS 106496 HAS SOPS 49914 HAS SOUS 10496 HAS SOUPS 10108 WITH SCORE 10214.496
AT ITER 3946 NEW BEST:: SOT 140212 SOS 106463 HAS SOPS 49898 HAS SOUS 10480 HAS SOUPS 10092 WITH SCORE 10198.463
AT ITER 3953 NEW BEST:: SOT 140200 SOS 106441 HAS SOPS 49874 HAS SOUS 10464 HAS SOUPS 10076 WITH SCORE 10182.441
AT ITER 3966 NEW BEST:: SOT 140187 SOS 106420 HAS SOPS 49848 HAS SOUS 10441 HAS SOUPS 10053 WITH SCORE 10159.42
AT ITER 3988 NEW BEST:: SOT 140183 SOS 106414 HAS SOPS 49840 HAS SOUS 10438 HAS SOUPS 10050 WITH SCORE 10156.414
AT ITER 3999 NEW BEST:: SOT 140177 SOS 106394 HAS SOPS 49820 HAS SOUS 10431 HAS SOUPS 10043 WITH SCORE 10149.394
AT ITER 4030 NEW BEST:: SOT 140176 SOS 106380 HAS SOPS 49799 HAS SOUS 10413 HAS SOUPS 10025 WITH SCORE 10131.38
AT ITER 4042 NEW BEST:: SOT 140178 SOS 106380 HAS SOPS 49701 HAS SOUS 10395 HAS SOUPS 10007 WITH SCORE 10113.38
AT ITER 4044 NEW BEST:: SOT 140168 SOS 106350 HAS SOPS 49661 HAS SOUS 10366 HAS SOUPS 9978 WITH SCORE 10084.35
AT ITER 4046 NEW BEST:: SOT 140168 SOS 106352 HAS SOPS 49661 HAS SOUS 10364 HAS SOUPS 9976 WITH SCORE 10082.352
AT ITER 4056 NEW BEST:: SOT 140158 SOS 106342 HAS SOPS 49641 HAS SOUS 10354 HAS SOUPS 9966 WITH SCORE 10072.342
AT ITER 4075 NEW BEST:: SOT 140150 SOS 106323 HAS SOPS 49625 HAS SOUS 10342 HAS SOUPS 9954 WITH SCORE 10060.323
AT ITER 4084 NEW BEST:: SOT 140145 SOS 106323 HAS SOPS 49620 HAS SOUS 10337 HAS SOUPS 9949 WITH SCORE 10055.323
AT ITER 4086 NEW BEST:: SOT 140115 SOS 106285 HAS SOPS 49560 HAS SOUS 10273 HAS SOUPS 9885 WITH SCORE 9991.285
AT ITER 4093 NEW BEST:: SOT 139969 SOS 106152 HAS SOPS 49420 HAS SOUS 10208 HAS SOUPS 9814 WITH SCORE 9920.152
AT ITER 4100 NEW BEST:: SOT 139972 SOS 106157 HAS SOPS 49426 HAS SOUS 10193 HAS SOUPS 9799 WITH SCORE 9905.157
AT ITER 4115 NEW BEST:: SOT 139958 SOS 106127 HAS SOPS 49398 HAS SOUS 10165 HAS SOUPS 9771 WITH SCORE 9877.127
AT ITER 4163 NEW BEST:: SOT 139958 SOS 106123 HAS SOPS 49396 HAS SOUS 10165 HAS SOUPS 9771 WITH SCORE 9877.123
AT ITER 4170 NEW BEST:: SOT 139954 SOS 106128 HAS SOPS 49397 HAS SOUS 10159 HAS SOUPS 9765 WITH SCORE 9871.128
AT ITER 4208 NEW BEST:: SOT 140034 SOS 106193 HAS SOPS 49231 HAS SOUS 10139 HAS SOUPS 9745 WITH SCORE 9851.193
AT ITER 4291 NEW BEST:: SOT 140035 SOS 106190 HAS SOPS 49229 HAS SOUS 10137 HAS SOUPS 9743 WITH SCORE 9849.19
AT ITER 4318 NEW BEST:: SOT 140015 SOS 106162 HAS SOPS 49189 HAS SOUS 10097 HAS SOUPS 9703 WITH SCORE 9809.162
AT ITER 4332 NEW BEST:: SOT 140001 SOS 106152 HAS SOPS 49161 HAS SOUS 10070 HAS SOUPS 9676 WITH SCORE 9782.152
AT ITER 4367 NEW BEST:: SOT 139996 SOS 106145 HAS SOPS 49154 HAS SOUS 10063 HAS SOUPS 9669 WITH SCORE 9775.145
AT ITER 4389 NEW BEST:: SOT 139977 SOS 106102 HAS SOPS 49091 HAS SOUS 9989 HAS SOUPS 9595 WITH SCORE 9701.102
AT ITER 4398 NEW BEST:: SOT 139938 SOS 106047 HAS SOPS 49033 HAS SOUS 9942 HAS SOUPS 9548 WITH SCORE 9654.047
AT ITER 4414 NEW BEST:: SOT 139927 SOS 106025 HAS SOPS 48989 HAS SOUS 9898 HAS SOUPS 9504 WITH SCORE 9610.025
AT ITER 4437 NEW BEST:: SOT 139919 SOS 105987 HAS SOPS 48952 HAS SOUS 9861 HAS SOUPS 9467 WITH SCORE 9572.987
AT ITER 4465 NEW BEST:: SOT 139911 SOS 106738 HAS SOPS 48934 HAS SOUS 9859 HAS SOUPS 9456 WITH SCORE 9562.738
AT ITER 4466 NEW BEST:: SOT 139912 SOS 106705 HAS SOPS 48913 HAS SOUS 9847 HAS SOUPS 9444 WITH SCORE 9550.705
AT ITER 4471 NEW BEST:: SOT 139900 SOS 106681 HAS SOPS 48889 HAS SOUS 9835 HAS SOUPS 9432 WITH SCORE 9538.681
AT ITER 4505 NEW BEST:: SOT 139894 SOS 106675 HAS SOPS 48880 HAS SOUS 9826 HAS SOUPS 9423 WITH SCORE 9529.675
AT ITER 4546 NEW BEST:: SOT 139691 SOS 106467 HAS SOPS 48791 HAS SOUS 9791 HAS SOUPS 9388 WITH SCORE 9494.467
AT ITER 4587 NEW BEST:: SOT 139686 SOS 106462 HAS SOPS 48781 HAS SOUS 9781 HAS SOUPS 9378 WITH SCORE 9484.462
AT ITER 4588 NEW BEST:: SOT 139686 SOS 106449 HAS SOPS 48781 HAS SOUS 9779 HAS SOUPS 9376 WITH SCORE 9482.449
AT ITER 4590 NEW BEST:: SOT 139686 SOS 106447 HAS SOPS 48780 HAS SOUS 9779 HAS SOUPS 9376 WITH SCORE 9482.447
AT ITER 4628 NEW BEST:: SOT 139684 SOS 106510 HAS SOPS 48776 HAS SOUS 9775 HAS SOUPS 9372 WITH SCORE 9478.51
AT ITER 4657 NEW BEST:: SOT 139682 SOS 106506 HAS SOPS 48772 HAS SOUS 9772 HAS SOUPS 9369 WITH SCORE 9475.506
AT ITER 4661 NEW BEST:: SOT 139670 SOS 106494 HAS SOPS 48755 HAS SOUS 9755 HAS SOUPS 9352 WITH SCORE 9458.494
AT ITER 4677 NEW BEST:: SOT 139664 SOS 106486 HAS SOPS 48743 HAS SOUS 9743 HAS SOUPS 9340 WITH SCORE 9446.486
AT ITER 4745 NEW BEST:: SOT 139650 SOS 106462 HAS SOPS 48715 HAS SOUS 9725 HAS SOUPS 9322 WITH SCORE 9428.462
AT ITER 4750 NEW BEST:: SOT 139653 SOS 106491 HAS SOPS 48745 HAS SOUS 9724 HAS SOUPS 9321 WITH SCORE 9427.491
AT ITER 4780 NEW BEST:: SOT 139652 SOS 106490 HAS SOPS 48743 HAS SOUS 9722 HAS SOUPS 9319 WITH SCORE 9425.49
AT ITER 4823 NEW BEST:: SOT 139652 SOS 106490 HAS SOPS 48705 HAS SOUS 9681 HAS SOUPS 9278 WITH SCORE 9384.49
AT ITER 4844 NEW BEST:: SOT 139642 SOS 106466 HAS SOPS 48678 HAS SOUS 9661 HAS SOUPS 9258 WITH SCORE 9364.466
AT ITER 4854 NEW BEST:: SOT 139624 SOS 106437 HAS SOPS 48682 HAS SOUS 9659 HAS SOUPS 9256 WITH SCORE 9362.437
AT ITER 4868 NEW BEST:: SOT 139611 SOS 106409 HAS SOPS 48650 HAS SOUS 9642 HAS SOUPS 9239 WITH SCORE 9345.409
AT ITER 4892 NEW BEST:: SOT 139609 SOS 106391 HAS SOPS 48640 HAS SOUS 9639 HAS SOUPS 9236 WITH SCORE 9342.391
AT ITER 4904 NEW BEST:: SOT 139609 SOS 106385 HAS SOPS 48634 HAS SOUS 9633 HAS SOUPS 9230 WITH SCORE 9336.385
AT ITER 4907 NEW BEST:: SOT 139609 SOS 106375 HAS SOPS 48634 HAS SOUS 9633 HAS SOUPS 9230 WITH SCORE 9336.375
AT ITER 4914 NEW BEST:: SOT 139609 SOS 106372 HAS SOPS 48634 HAS SOUS 9633 HAS SOUPS 9230 WITH SCORE 9336.372
AT ITER 4921 NEW BEST:: SOT 139601 SOS 106359 HAS SOPS 48618 HAS SOUS 9622 HAS SOUPS 9219 WITH SCORE 9325.359
AT ITER 4970 NEW BEST:: SOT 139740 SOS 106497 HAS SOPS 48236 HAS SOUS 9618 HAS SOUPS 9215 WITH SCORE 9321.497
AT ITER 5031 NEW BEST:: SOT 139721 SOS 106476 HAS SOPS 48198 HAS SOUS 9587 HAS SOUPS 9184 WITH SCORE 9290.476
AT ITER 5054 NEW BEST:: SOT 139724 SOS 106465 HAS SOPS 48192 HAS SOUS 9585 HAS SOUPS 9182 WITH SCORE 9288.465
AT ITER 5076 NEW BEST:: SOT 139724 SOS 106457 HAS SOPS 48184 HAS SOUS 9577 HAS SOUPS 9174 WITH SCORE 9280.457
AT ITER 5097 NEW BEST:: SOT 139724 SOS 106451 HAS SOPS 48181 HAS SOUS 9577 HAS SOUPS 9174 WITH SCORE 9280.451
AT ITER 5165 NEW BEST:: SOT 139533 SOS 106261 HAS SOPS 48121 HAS SOUS 9535 HAS SOUPS 9132 WITH SCORE 9238.261
AT ITER 5215 NEW BEST:: SOT 139541 SOS 106249 HAS SOPS 48107 HAS SOUS 9519 HAS SOUPS 9116 WITH SCORE 9222.249
AT ITER 5231 NEW BEST:: SOT 139512 SOS 106254 HAS SOPS 48107 HAS SOUS 9513 HAS SOUPS 9110 WITH SCORE 9216.254
AT ITER 5236 NEW BEST:: SOT 139496 SOS 106230 HAS SOPS 48075 HAS SOUS 9489 HAS SOUPS 9086 WITH SCORE 9192.23
AT ITER 5247 NEW BEST:: SOT 139483 SOS 106217 HAS SOPS 48062 HAS SOUS 9476 HAS SOUPS 9073 WITH SCORE 9179.217
AT ITER 5252 NEW BEST:: SOT 139480 SOS 106211 HAS SOPS 48056 HAS SOUS 9476 HAS SOUPS 9073 WITH SCORE 9179.211
AT ITER 5272 NEW BEST:: SOT 139482 SOS 106223 HAS SOPS 48060 HAS SOUS 9461 HAS SOUPS 9058 WITH SCORE 9164.223
AT ITER 5281 NEW BEST:: SOT 139470 SOS 106211 HAS SOPS 48048 HAS SOUS 9449 HAS SOUPS 9046 WITH SCORE 9152.211
AT ITER 5284 NEW BEST:: SOT 139456 SOS 106183 HAS SOPS 48020 HAS SOUS 9421 HAS SOUPS 9018 WITH SCORE 9124.183
AT ITER 5285 NEW BEST:: SOT 139452 SOS 106173 HAS SOPS 48012 HAS SOUS 9413 HAS SOUPS 9010 WITH SCORE 9116.173
AT ITER 5330 NEW BEST:: SOT 139448 SOS 106169 HAS SOPS 48004 HAS SOUS 9409 HAS SOUPS 9006 WITH SCORE 9112.169
AT ITER 5339 NEW BEST:: SOT 139420 SOS 106156 HAS SOPS 47963 HAS SOUS 9377 HAS SOUPS 8974 WITH SCORE 9080.156
AT ITER 5378 NEW BEST:: SOT 139413 SOS 106154 HAS SOPS 47964 HAS SOUS 9366 HAS SOUPS 8963 WITH SCORE 9069.154
AT ITER 5380 NEW BEST:: SOT 139464 SOS 106207 HAS SOPS 47490 HAS SOUS 9334 HAS SOUPS 8931 WITH SCORE 9037.207
AT ITER 5456 NEW BEST:: SOT 139457 SOS 106176 HAS SOPS 47462 HAS SOUS 9312 HAS SOUPS 8909 WITH SCORE 9015.176
AT ITER 5459 NEW BEST:: SOT 139453 SOS 106172 HAS SOPS 47462 HAS SOUS 9312 HAS SOUPS 8909 WITH SCORE 9015.172
AT ITER 5478 NEW BEST:: SOT 139452 SOS 106174 HAS SOPS 47464 HAS SOUS 9311 HAS SOUPS 8908 WITH SCORE 9014.174
AT ITER 5517 NEW BEST:: SOT 139439 SOS 106161 HAS SOPS 47438 HAS SOUS 9285 HAS SOUPS 8882 WITH SCORE 8988.161
AT ITER 5581 NEW BEST:: SOT 139439 SOS 106156 HAS SOPS 47433 HAS SOUS 9285 HAS SOUPS 8882 WITH SCORE 8988.156
AT ITER 5608 NEW BEST:: SOT 139441 SOS 106158 HAS SOPS 47430 HAS SOUS 9282 HAS SOUPS 8879 WITH SCORE 8985.158
AT ITER 5610 NEW BEST:: SOT 139435 SOS 106152 HAS SOPS 47418 HAS SOUS 9270 HAS SOUPS 8867 WITH SCORE 8973.152
AT ITER 5653 NEW BEST:: SOT 139435 SOS 106152 HAS SOPS 47356 HAS SOUS 9266 HAS SOUPS 8863 WITH SCORE 8969.152
AT ITER 5657 NEW BEST:: SOT 139433 SOS 106148 HAS SOPS 47350 HAS SOUS 9260 HAS SOUPS 8857 WITH SCORE 8963.148
AT ITER 5692 NEW BEST:: SOT 139433 SOS 106124 HAS SOPS 47338 HAS SOUS 9260 HAS SOUPS 8857 WITH SCORE 8963.124
AT ITER 5694 NEW BEST:: SOT 139445 SOS 106133 HAS SOPS 47352 HAS SOUS 9257 HAS SOUPS 8854 WITH SCORE 8960.133
AT ITER 5717 NEW BEST:: SOT 139440 SOS 106128 HAS SOPS 47347 HAS SOUS 9257 HAS SOUPS 8854 WITH SCORE 8960.128
AT ITER 5751 NEW BEST:: SOT 139459 SOS 105119 HAS SOPS 46367 HAS SOUS 9258 HAS SOUPS 8855 WITH SCORE 8960.119
AT ITER 5858 NEW BEST:: SOT 139457 SOS 105115 HAS SOPS 46363 HAS SOUS 9256 HAS SOUPS 8853 WITH SCORE 8958.115
AT ITER 5859 NEW BEST:: SOT 139458 SOS 105104 HAS SOPS 46358 HAS SOUS 9256 HAS SOUPS 8853 WITH SCORE 8958.104
AT ITER 5892 NEW BEST:: SOT 139435 SOS 105076 HAS SOPS 46312 HAS SOUS 9231 HAS SOUPS 8828 WITH SCORE 8933.076
AT ITER 5900 NEW BEST:: SOT 139440 SOS 105069 HAS SOPS 46310 HAS SOUS 9229 HAS SOUPS 8826 WITH SCORE 8931.069
AT ITER 5953 NEW BEST:: SOT 139432 SOS 105054 HAS SOPS 46294 HAS SOUS 9225 HAS SOUPS 8822 WITH SCORE 8927.054
AT ITER 5974 NEW BEST:: SOT 139411 SOS 105033 HAS SOPS 46259 HAS SOUS 9197 HAS SOUPS 8794 WITH SCORE 8899.033
AT ITER 5975 NEW BEST:: SOT 139407 SOS 105034 HAS SOPS 46256 HAS SOUS 9194 HAS SOUPS 8791 WITH SCORE 8896.034
AT ITER 5988 NEW BEST:: SOT 139416 SOS 105052 HAS SOPS 46249 HAS SOUS 9182 HAS SOUPS 8779 WITH SCORE 8884.052
AT ITER 6008 NEW BEST:: SOT 139414 SOS 105000 HAS SOPS 46245 HAS SOUS 9178 HAS SOUPS 8775 WITH SCORE 8880.0
AT ITER 6035 NEW BEST:: SOT 139412 SOS 104998 HAS SOPS 46242 HAS SOUS 9175 HAS SOUPS 8772 WITH SCORE 8876.998
AT ITER 6068 NEW BEST:: SOT 139409 SOS 104995 HAS SOPS 46235 HAS SOUS 9168 HAS SOUPS 8765 WITH SCORE 8869.995
AT ITER 6129 NEW BEST:: SOT 139411 SOS 104992 HAS SOPS 46234 HAS SOUS 9167 HAS SOUPS 8764 WITH SCORE 8868.992
AT ITER 6145 NEW BEST:: SOT 139408 SOS 104989 HAS SOPS 46230 HAS SOUS 9163 HAS SOUPS 8760 WITH SCORE 8864.989
AT ITER 6218 NEW BEST:: SOT 139405 SOS 104983 HAS SOPS 46224 HAS SOUS 9157 HAS SOUPS 8754 WITH SCORE 8858.983
AT ITER 6255 NEW BEST:: SOT 139395 SOS 104949 HAS SOPS 46180 HAS SOUS 9125 HAS SOUPS 8722 WITH SCORE 8826.949
AT ITER 6261 NEW BEST:: SOT 139391 SOS 104934 HAS SOPS 46172 HAS SOUS 9121 HAS SOUPS 8718 WITH SCORE 8822.934
AT ITER 6293 NEW BEST:: SOT 139389 SOS 104932 HAS SOPS 46170 HAS SOUS 9119 HAS SOUPS 8716 WITH SCORE 8820.932
AT ITER 6314 NEW BEST:: SOT 139388 SOS 104930 HAS SOPS 46168 HAS SOUS 9117 HAS SOUPS 8714 WITH SCORE 8818.93
AT ITER 6319 NEW BEST:: SOT 139386 SOS 104926 HAS SOPS 46164 HAS SOUS 9117 HAS SOUPS 8714 WITH SCORE 8818.926
AT ITER 6389 NEW BEST:: SOT 139389 SOS 104929 HAS SOPS 46053 HAS SOUS 9069 HAS SOUPS 8666 WITH SCORE 8770.929
AT ITER 6401 NEW BEST:: SOT 139387 SOS 104923 HAS SOPS 46047 HAS SOUS 9063 HAS SOUPS 8660 WITH SCORE 8764.923
AT ITER 6424 NEW BEST:: SOT 139363 SOS 104899 HAS SOPS 46023 HAS SOUS 9051 HAS SOUPS 8648 WITH SCORE 8752.899
AT ITER 6443 NEW BEST:: SOT 139350 SOS 104902 HAS SOPS 46011 HAS SOUS 9037 HAS SOUPS 8634 WITH SCORE 8738.902
AT ITER 6450 NEW BEST:: SOT 139354 SOS 104902 HAS SOPS 45923 HAS SOUS 8947 HAS SOUPS 8544 WITH SCORE 8648.902
AT ITER 6493 NEW BEST:: SOT 139354 SOS 104898 HAS SOPS 45923 HAS SOUS 8947 HAS SOUPS 8544 WITH SCORE 8648.898
AT ITER 6532 NEW BEST:: SOT 139360 SOS 104890 HAS SOPS 45922 HAS SOUS 8944 HAS SOUPS 8541 WITH SCORE 8645.89
AT ITER 6570 NEW BEST:: SOT 139358 SOS 104918 HAS SOPS 45933 HAS SOUS 8940 HAS SOUPS 8537 WITH SCORE 8641.918
AT ITER 6580 NEW BEST:: SOT 139357 SOS 104921 HAS SOPS 45931 HAS SOUS 8938 HAS SOUPS 8535 WITH SCORE 8639.921
AT ITER 6605 NEW BEST:: SOT 139354 SOS 104874 HAS SOPS 45903 HAS SOUS 8932 HAS SOUPS 8529 WITH SCORE 8633.874
AT ITER 6714 NEW BEST:: SOT 139354 SOS 104874 HAS SOPS 45902 HAS SOUS 8931 HAS SOUPS 8528 WITH SCORE 8632.874
AT ITER 6778 NEW BEST:: SOT 139328 SOS 104848 HAS SOPS 45884 HAS SOUS 8913 HAS SOUPS 8510 WITH SCORE 8614.848
AT ITER 6807 NEW BEST:: SOT 139326 SOS 104842 HAS SOPS 45876 HAS SOUS 8905 HAS SOUPS 8502 WITH SCORE 8606.842
AT ITER 6834 NEW BEST:: SOT 139316 SOS 106997 HAS SOPS 45592 HAS SOUS 8892 HAS SOUPS 8485 WITH SCORE 8591.997
AT ITER 6858 NEW BEST:: SOT 139326 SOS 106988 HAS SOPS 45586 HAS SOUS 8886 HAS SOUPS 8479 WITH SCORE 8585.988
AT ITER 6870 NEW BEST:: SOT 139323 SOS 106982 HAS SOPS 45577 HAS SOUS 8877 HAS SOUPS 8470 WITH SCORE 8576.982
AT ITER 6879 NEW BEST:: SOT 139330 SOS 106977 HAS SOPS 45562 HAS SOUS 8857 HAS SOUPS 8450 WITH SCORE 8556.977
AT ITER 6891 NEW BEST:: SOT 139308 SOS 106943 HAS SOPS 45518 HAS SOUS 8813 HAS SOUPS 8406 WITH SCORE 8512.943
AT ITER 6922 NEW BEST:: SOT 139309 SOS 106935 HAS SOPS 45512 HAS SOUS 8810 HAS SOUPS 8403 WITH SCORE 8509.935
AT ITER 6941 NEW BEST:: SOT 139308 SOS 106934 HAS SOPS 45510 HAS SOUS 8809 HAS SOUPS 8402 WITH SCORE 8508.934
AT ITER 6948 NEW BEST:: SOT 139299 SOS 106907 HAS SOPS 45483 HAS SOUS 8791 HAS SOUPS 8384 WITH SCORE 8490.907
AT ITER 6973 NEW BEST:: SOT 139292 SOS 106893 HAS SOPS 45469 HAS SOUS 8777 HAS SOUPS 8370 WITH SCORE 8476.893
AT ITER 7004 NEW BEST:: SOT 139290 SOS 106887 HAS SOPS 45463 HAS SOUS 8771 HAS SOUPS 8364 WITH SCORE 8470.887
AT ITER 7005 NEW BEST:: SOT 139292 SOS 106890 HAS SOPS 45456 HAS SOUS 8764 HAS SOUPS 8357 WITH SCORE 8463.89
AT ITER 7033 NEW BEST:: SOT 139294 SOS 106881 HAS SOPS 45448 HAS SOUS 8759 HAS SOUPS 8352 WITH SCORE 8458.881
AT ITER 7035 NEW BEST:: SOT 139289 SOS 106876 HAS SOPS 45443 HAS SOUS 8754 HAS SOUPS 8347 WITH SCORE 8453.876
AT ITER 7039 NEW BEST:: SOT 139286 SOS 106861 HAS SOPS 45437 HAS SOUS 8748 HAS SOUPS 8341 WITH SCORE 8447.861
AT ITER 7048 NEW BEST:: SOT 139285 SOS 106858 HAS SOPS 45434 HAS SOUS 8746 HAS SOUPS 8339 WITH SCORE 8445.858
AT ITER 7061 NEW BEST:: SOT 139285 SOS 106858 HAS SOPS 45412 HAS SOUS 8721 HAS SOUPS 8314 WITH SCORE 8420.858
AT ITER 7076 NEW BEST:: SOT 139285 SOS 106852 HAS SOPS 45400 HAS SOUS 8709 HAS SOUPS 8302 WITH SCORE 8408.852
AT ITER 7123 NEW BEST:: SOT 139154 SOS 106718 HAS SOPS 45292 HAS SOUS 8672 HAS SOUPS 8265 WITH SCORE 8371.718
AT ITER 7132 NEW BEST:: SOT 139150 SOS 106712 HAS SOPS 45287 HAS SOUS 8667 HAS SOUPS 8260 WITH SCORE 8366.712
AT ITER 7153 NEW BEST:: SOT 139160 SOS 106712 HAS SOPS 45290 HAS SOUS 8662 HAS SOUPS 8255 WITH SCORE 8361.712
AT ITER 7297 NEW BEST:: SOT 139132 SOS 106696 HAS SOPS 45271 HAS SOUS 8645 HAS SOUPS 8238 WITH SCORE 8344.696
AT ITER 7304 NEW BEST:: SOT 139134 SOS 106695 HAS SOPS 45270 HAS SOUS 8644 HAS SOUPS 8237 WITH SCORE 8343.695
AT ITER 7343 NEW BEST:: SOT 139135 SOS 106272 HAS SOPS 45275 HAS SOUS 8639 HAS SOUPS 8237 WITH SCORE 8343.272
AT ITER 7397 NEW BEST:: SOT 139135 SOS 106266 HAS SOPS 45269 HAS SOUS 8637 HAS SOUPS 8235 WITH SCORE 8341.266
AT ITER 7444 NEW BEST:: SOT 139133 SOS 106264 HAS SOPS 45268 HAS SOUS 8636 HAS SOUPS 8234 WITH SCORE 8340.264
AT ITER 7484 NEW BEST:: SOT 139133 SOS 106243 HAS SOPS 45268 HAS SOUS 8636 HAS SOUPS 8234 WITH SCORE 8340.243
AT ITER 7494 NEW BEST:: SOT 139129 SOS 106246 HAS SOPS 45260 HAS SOUS 8633 HAS SOUPS 8231 WITH SCORE 8337.246
AT ITER 7579 NEW BEST:: SOT 139127 SOS 106244 HAS SOPS 45256 HAS SOUS 8631 HAS SOUPS 8229 WITH SCORE 8335.244
AT ITER 7624 NEW BEST:: SOT 139116 SOS 106246 HAS SOPS 45247 HAS SOUS 8622 HAS SOUPS 8220 WITH SCORE 8326.246
AT ITER 7664 NEW BEST:: SOT 139116 SOS 106226 HAS SOPS 45233 HAS SOUS 8620 HAS SOUPS 8218 WITH SCORE 8324.226
AT ITER 7694 NEW BEST:: SOT 139113 SOS 106226 HAS SOPS 45232 HAS SOUS 8615 HAS SOUPS 8213 WITH SCORE 8319.226
AT ITER 7730 NEW BEST:: SOT 139106 SOS 106227 HAS SOPS 45218 HAS SOUS 8601 HAS SOUPS 8199 WITH SCORE 8305.227
AT ITER 7762 NEW BEST:: SOT 139096 SOS 106209 HAS SOPS 45198 HAS SOUS 8589 HAS SOUPS 8187 WITH SCORE 8293.209
AT ITER 7800 NEW BEST:: SOT 139097 SOS 106209 HAS SOPS 45193 HAS SOUS 8578 HAS SOUPS 8176 WITH SCORE 8282.209
AT ITER 7863 NEW BEST:: SOT 139095 SOS 106207 HAS SOPS 45189 HAS SOUS 8569 HAS SOUPS 8167 WITH SCORE 8273.207
AT ITER 7892 NEW BEST:: SOT 139100 SOS 106186 HAS SOPS 45180 HAS SOUS 8555 HAS SOUPS 8153 WITH SCORE 8259.186
AT ITER 7905 NEW BEST:: SOT 139103 SOS 106174 HAS SOPS 45162 HAS SOUS 8537 HAS SOUPS 8135 WITH SCORE 8241.174
AT ITER 7930 NEW BEST:: SOT 139091 SOS 106162 HAS SOPS 45138 HAS SOUS 8525 HAS SOUPS 8123 WITH SCORE 8229.162
AT ITER 7975 NEW BEST:: SOT 139090 SOS 106160 HAS SOPS 45135 HAS SOUS 8523 HAS SOUPS 8121 WITH SCORE 8227.16
AT ITER 7976 NEW BEST:: SOT 139085 SOS 106145 HAS SOPS 45115 HAS SOUS 8508 HAS SOUPS 8106 WITH SCORE 8212.145
AT ITER 8015 NEW BEST:: SOT 139072 SOS 106136 HAS SOPS 45111 HAS SOUS 8504 HAS SOUPS 8102 WITH SCORE 8208.136
AT ITER 8025 NEW BEST:: SOT 139071 SOS 106135 HAS SOPS 45109 HAS SOUS 8502 HAS SOUPS 8100 WITH SCORE 8206.135
AT ITER 8064 NEW BEST:: SOT 139069 SOS 106133 HAS SOPS 45105 HAS SOUS 8496 HAS SOUPS 8094 WITH SCORE 8200.133
AT ITER 8149 NEW BEST:: SOT 139037 SOS 106102 HAS SOPS 45075 HAS SOUS 8484 HAS SOUPS 8082 WITH SCORE 8188.102
AT ITER 8214 NEW BEST:: SOT 139029 SOS 106094 HAS SOPS 45064 HAS SOUS 8473 HAS SOUPS 8071 WITH SCORE 8177.094
AT ITER 8243 NEW BEST:: SOT 139028 SOS 106093 HAS SOPS 45062 HAS SOUS 8470 HAS SOUPS 8068 WITH SCORE 8174.093
AT ITER 8248 NEW BEST:: SOT 139020 SOS 106093 HAS SOPS 45057 HAS SOUS 8464 HAS SOUPS 8062 WITH SCORE 8168.093
AT ITER 8276 NEW BEST:: SOT 139064 SOS 106126 HAS SOPS 45079 HAS SOUS 8453 HAS SOUPS 8051 WITH SCORE 8157.126
AT ITER 8363 NEW BEST:: SOT 139062 SOS 106125 HAS SOPS 45078 HAS SOUS 8448 HAS SOUPS 8046 WITH SCORE 8152.125
AT ITER 8430 NEW BEST:: SOT 139058 SOS 106125 HAS SOPS 45074 HAS SOUS 8444 HAS SOUPS 8042 WITH SCORE 8148.125
AT ITER 8509 NEW BEST:: SOT 139052 SOS 106108 HAS SOPS 45062 HAS SOUS 8441 HAS SOUPS 8039 WITH SCORE 8145.108
AT ITER 8526 NEW BEST:: SOT 139037 SOS 106085 HAS SOPS 45040 HAS SOUS 8419 HAS SOUPS 8017 WITH SCORE 8123.085
AT ITER 8602 NEW BEST:: SOT 139037 SOS 106095 HAS SOPS 45040 HAS SOUS 8413 HAS SOUPS 8011 WITH SCORE 8117.095
AT ITER 8615 NEW BEST:: SOT 139038 SOS 106097 HAS SOPS 45042 HAS SOUS 8412 HAS SOUPS 8010 WITH SCORE 8116.097
AT ITER 8619 NEW BEST:: SOT 139040 SOS 106099 HAS SOPS 45046 HAS SOUS 8403 HAS SOUPS 8001 WITH SCORE 8107.099
AT ITER 8632 NEW BEST:: SOT 139034 SOS 106081 HAS SOPS 45034 HAS SOUS 8388 HAS SOUPS 7986 WITH SCORE 8092.081
AT ITER 8635 NEW BEST:: SOT 139019 SOS 106086 HAS SOPS 45027 HAS SOUS 8380 HAS SOUPS 7978 WITH SCORE 8084.086
AT ITER 8729 NEW BEST:: SOT 139019 SOS 106085 HAS SOPS 45026 HAS SOUS 8380 HAS SOUPS 7978 WITH SCORE 8084.085
AT ITER 8799 NEW BEST:: SOT 139019 SOS 106075 HAS SOPS 45016 HAS SOUS 8370 HAS SOUPS 7968 WITH SCORE 8074.075
AT ITER 8883 NEW BEST:: SOT 139017 SOS 106072 HAS SOPS 45012 HAS SOUS 8367 HAS SOUPS 7965 WITH SCORE 8071.072
AT ITER 8920 NEW BEST:: SOT 139012 SOS 106064 HAS SOPS 45002 HAS SOUS 8357 HAS SOUPS 7955 WITH SCORE 8061.064
AT ITER 8942 NEW BEST:: SOT 138992 SOS 106036 HAS SOPS 44971 HAS SOUS 8335 HAS SOUPS 7933 WITH SCORE 8039.036
AT ITER 8948 NEW BEST:: SOT 138972 SOS 106004 HAS SOPS 44931 HAS SOUS 8306 HAS SOUPS 7904 WITH SCORE 8010.004
AT ITER 8949 NEW BEST:: SOT 138961 SOS 105998 HAS SOPS 44909 HAS SOUS 8284 HAS SOUPS 7882 WITH SCORE 7987.998
AT ITER 8963 NEW BEST:: SOT 138928 SOS 105960 HAS SOPS 44869 HAS SOUS 8270 HAS SOUPS 7868 WITH SCORE 7973.96
AT ITER 8987 NEW BEST:: SOT 138918 SOS 105940 HAS SOPS 44840 HAS SOUS 8242 HAS SOUPS 7840 WITH SCORE 7945.94
AT ITER 9106 NEW BEST:: SOT 138922 SOS 105933 HAS SOPS 44837 HAS SOUS 8239 HAS SOUPS 7837 WITH SCORE 7942.933
AT ITER 9205 NEW BEST:: SOT 138918 SOS 105931 HAS SOPS 44829 HAS SOUS 8235 HAS SOUPS 7833 WITH SCORE 7938.931
AT ITER 9215 NEW BEST:: SOT 138919 SOS 105925 HAS SOPS 44826 HAS SOUS 8231 HAS SOUPS 7829 WITH SCORE 7934.925
AT ITER 9254 NEW BEST:: SOT 138921 SOS 105923 HAS SOPS 44822 HAS SOUS 8227 HAS SOUPS 7825 WITH SCORE 7930.923
AT ITER 9321 NEW BEST:: SOT 138921 SOS 105920 HAS SOPS 44819 HAS SOUS 8224 HAS SOUPS 7822 WITH SCORE 7927.92
AT ITER 9376 NEW BEST:: SOT 138921 SOS 105913 HAS SOPS 44810 HAS SOUS 8220 HAS SOUPS 7818 WITH SCORE 7923.913
AT ITER 9398 NEW BEST:: SOT 138918 SOS 105906 HAS SOPS 44804 HAS SOUS 8218 HAS SOUPS 7816 WITH SCORE 7921.906
AT ITER 9432 NEW BEST:: SOT 138917 SOS 105905 HAS SOPS 44802 HAS SOUS 8217 HAS SOUPS 7815 WITH SCORE 7920.905
AT ITER 9520 NEW BEST:: SOT 138912 SOS 105900 HAS SOPS 44792 HAS SOUS 8217 HAS SOUPS 7815 WITH SCORE 7920.9
AT ITER 9536 NEW BEST:: SOT 138912 SOS 105893 HAS SOPS 44778 HAS SOUS 8203 HAS SOUPS 7801 WITH SCORE 7906.893
AT ITER 9593 NEW BEST:: SOT 138917 SOS 105903 HAS SOPS 44788 HAS SOUS 8197 HAS SOUPS 7795 WITH SCORE 7900.903
AT ITER 9624 NEW BEST:: SOT 138915 SOS 105892 HAS SOPS 44784 HAS SOUS 8195 HAS SOUPS 7793 WITH SCORE 7898.892
AT ITER 9645 NEW BEST:: SOT 138913 SOS 105884 HAS SOPS 44776 HAS SOUS 8191 HAS SOUPS 7789 WITH SCORE 7894.884
AT ITER 9709 NEW BEST:: SOT 138861 SOS 105831 HAS SOPS 44770 HAS SOUS 8169 HAS SOUPS 7767 WITH SCORE 7872.831
AT ITER 9728 NEW BEST:: SOT 138861 SOS 105832 HAS SOPS 44766 HAS SOUS 8166 HAS SOUPS 7764 WITH SCORE 7869.832
AT ITER 9751 NEW BEST:: SOT 138853 SOS 105818 HAS SOPS 44750 HAS SOUS 8152 HAS SOUPS 7750 WITH SCORE 7855.818
AT ITER 9800 NEW BEST:: SOT 138847 SOS 105815 HAS SOPS 44743 HAS SOUS 8145 HAS SOUPS 7743 WITH SCORE 7848.815
AT ITER 9805 NEW BEST:: SOT 138843 SOS 109467 HAS SOPS 44733 HAS SOUS 8139 HAS SOUPS 7731 WITH SCORE 7840.467
AT ITER 9806 NEW BEST:: SOT 138841 SOS 109465 HAS SOPS 44731 HAS SOUS 8137 HAS SOUPS 7729 WITH SCORE 7838.465
AT ITER 9883 NEW BEST:: SOT 138841 SOS 109465 HAS SOPS 44728 HAS SOUS 8134 HAS SOUPS 7726 WITH SCORE 7835.465
AT ITER 9943 NEW BEST:: SOT 138841 SOS 109463 HAS SOPS 44728 HAS SOUS 8134 HAS SOUPS 7726 WITH SCORE 7835.463
AT ITER 9997 NEW BEST:: SOT 138831 SOS 109463 HAS SOPS 44720 HAS SOUS 8128 HAS SOUPS 7720 WITH SCORE 7829.463
STATE_SPACE STATES 26623333280885243905 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 787976711410645204993 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678454849229

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

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="FlexibleBarrier-PT-18a"
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 FlexibleBarrier-PT-18a, 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 r163-tall-167838848000560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a 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 ;