Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r419-tajo-167905973600328.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldRVt-PT-050A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r419-tajo-167905973600328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 6.6K Feb 25 23:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 23:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 23:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 23:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 00:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 00:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 00:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 00:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 136K 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 1679088642127

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=ShieldRVt-PT-050A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 050A
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: 403 places, 403 transitions, 1706 arcs.
AT ITER 0 NEW BEST:: SOT 127357 SOS 93163 HAS SOPS 93163 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87414.163
AT ITER 1 NEW BEST:: SOT 127258 SOS 93023 HAS SOPS 93023 HAS SOUS 87181 HAS SOUPS 87181 WITH SCORE 87274.023
AT ITER 3 NEW BEST:: SOT 127144 SOS 92859 HAS SOPS 92859 HAS SOUS 86935 HAS SOUPS 86935 WITH SCORE 87027.859
AT ITER 6 NEW BEST:: SOT 126997 SOS 92565 HAS SOPS 92565 HAS SOUS 86522 HAS SOUPS 86522 WITH SCORE 86614.565
AT ITER 7 NEW BEST:: SOT 126805 SOS 92224 HAS SOPS 92224 HAS SOUS 86235 HAS SOUPS 86235 WITH SCORE 86327.224
AT ITER 8 NEW BEST:: SOT 126446 SOS 91678 HAS SOPS 91678 HAS SOUS 85566 HAS SOUPS 85566 WITH SCORE 85657.678
AT ITER 9 NEW BEST:: SOT 126000 SOS 91066 HAS SOPS 91066 HAS SOUS 84824 HAS SOUPS 84824 WITH SCORE 84915.066
AT ITER 11 NEW BEST:: SOT 125804 SOS 90732 HAS SOPS 90732 HAS SOUS 84640 HAS SOUPS 84640 WITH SCORE 84730.732
AT ITER 12 NEW BEST:: SOT 125680 SOS 90487 HAS SOPS 90487 HAS SOUS 84275 HAS SOUPS 84275 WITH SCORE 84365.487
AT ITER 15 NEW BEST:: SOT 125629 SOS 90324 HAS SOPS 90324 HAS SOUS 84165 HAS SOUPS 84165 WITH SCORE 84255.324
AT ITER 16 NEW BEST:: SOT 125239 SOS 89760 HAS SOPS 89760 HAS SOUS 83457 HAS SOUPS 83457 WITH SCORE 83546.76
AT ITER 20 NEW BEST:: SOT 125106 SOS 89446 HAS SOPS 89446 HAS SOUS 83168 HAS SOUPS 83168 WITH SCORE 83257.446
AT ITER 21 NEW BEST:: SOT 125086 SOS 89413 HAS SOPS 89413 HAS SOUS 83135 HAS SOUPS 83135 WITH SCORE 83224.413
AT ITER 23 NEW BEST:: SOT 125052 SOS 89379 HAS SOPS 89379 HAS SOUS 83045 HAS SOUPS 83045 WITH SCORE 83134.379
AT ITER 27 NEW BEST:: SOT 124927 SOS 89154 HAS SOPS 89154 HAS SOUS 82853 HAS SOUPS 82853 WITH SCORE 82942.154
AT ITER 28 NEW BEST:: SOT 124726 SOS 88734 HAS SOPS 88734 HAS SOUS 82648 HAS SOUPS 82648 WITH SCORE 82736.734
AT ITER 29 NEW BEST:: SOT 124700 SOS 88679 HAS SOPS 88679 HAS SOUS 82329 HAS SOUPS 82329 WITH SCORE 82417.679
AT ITER 30 NEW BEST:: SOT 124544 SOS 88367 HAS SOPS 88367 HAS SOUS 81899 HAS SOUPS 81899 WITH SCORE 81987.367
AT ITER 31 NEW BEST:: SOT 124385 SOS 88052 HAS SOPS 88052 HAS SOUS 81584 HAS SOUPS 81584 WITH SCORE 81672.052
AT ITER 34 NEW BEST:: SOT 124332 SOS 88062 HAS SOPS 88062 HAS SOUS 81569 HAS SOUPS 81569 WITH SCORE 81657.062
AT ITER 36 NEW BEST:: SOT 124329 SOS 88059 HAS SOPS 88059 HAS SOUS 81566 HAS SOUPS 81566 WITH SCORE 81654.059
AT ITER 38 NEW BEST:: SOT 124130 SOS 87548 HAS SOPS 87548 HAS SOUS 81165 HAS SOUPS 81165 WITH SCORE 81252.548
AT ITER 40 NEW BEST:: SOT 124055 SOS 87399 HAS SOPS 87399 HAS SOUS 80942 HAS SOUPS 80942 WITH SCORE 81029.399
AT ITER 42 NEW BEST:: SOT 123999 SOS 87290 HAS SOPS 87290 HAS SOUS 80833 HAS SOUPS 80833 WITH SCORE 80920.29
AT ITER 44 NEW BEST:: SOT 123920 SOS 87132 HAS SOPS 87132 HAS SOUS 80597 HAS SOUPS 80597 WITH SCORE 80684.132
AT ITER 46 NEW BEST:: SOT 123920 SOS 86888 HAS SOPS 86888 HAS SOUS 80593 HAS SOUPS 80593 WITH SCORE 80679.888
AT ITER 47 NEW BEST:: SOT 123762 SOS 86481 HAS SOPS 86481 HAS SOUS 80369 HAS SOUPS 80369 WITH SCORE 80455.481
AT ITER 49 NEW BEST:: SOT 123605 SOS 86224 HAS SOPS 86224 HAS SOUS 80112 HAS SOUPS 80112 WITH SCORE 80198.224
AT ITER 56 NEW BEST:: SOT 123567 SOS 86024 HAS SOPS 86024 HAS SOUS 79962 HAS SOUPS 79962 WITH SCORE 80048.024
AT ITER 58 NEW BEST:: SOT 123560 SOS 86017 HAS SOPS 86017 HAS SOUS 79955 HAS SOUPS 79955 WITH SCORE 80041.017
AT ITER 59 NEW BEST:: SOT 123547 SOS 85973 HAS SOPS 85973 HAS SOUS 79911 HAS SOUPS 79911 WITH SCORE 79996.973
AT ITER 61 NEW BEST:: SOT 123477 SOS 85839 HAS SOPS 85839 HAS SOUS 79797 HAS SOUPS 79797 WITH SCORE 79882.839
AT ITER 62 NEW BEST:: SOT 123341 SOS 85620 HAS SOPS 85620 HAS SOUS 79526 HAS SOUPS 79526 WITH SCORE 79611.62
AT ITER 71 NEW BEST:: SOT 123338 SOS 85617 HAS SOPS 85617 HAS SOUS 79523 HAS SOUPS 79523 WITH SCORE 79608.617
AT ITER 73 NEW BEST:: SOT 123285 SOS 85564 HAS SOPS 85564 HAS SOUS 79470 HAS SOUPS 79470 WITH SCORE 79555.564
AT ITER 74 NEW BEST:: SOT 123224 SOS 85442 HAS SOPS 85442 HAS SOUS 79348 HAS SOUPS 79348 WITH SCORE 79433.442
AT ITER 75 NEW BEST:: SOT 123160 SOS 85317 HAS SOPS 85317 HAS SOUS 79162 HAS SOUPS 79162 WITH SCORE 79247.317
AT ITER 76 NEW BEST:: SOT 122726 SOS 84704 HAS SOPS 84704 HAS SOUS 78432 HAS SOUPS 78432 WITH SCORE 78516.704
AT ITER 77 NEW BEST:: SOT 122564 SOS 84381 HAS SOPS 84381 HAS SOUS 78109 HAS SOUPS 78109 WITH SCORE 78193.381
AT ITER 78 NEW BEST:: SOT 122385 SOS 84022 HAS SOPS 84022 HAS SOUS 77747 HAS SOUPS 77747 WITH SCORE 77831.022
AT ITER 86 NEW BEST:: SOT 122114 SOS 83568 HAS SOPS 83568 HAS SOUS 77211 HAS SOUPS 77211 WITH SCORE 77294.568
AT ITER 93 NEW BEST:: SOT 121992 SOS 83446 HAS SOPS 83446 HAS SOUS 77080 HAS SOUPS 77080 WITH SCORE 77163.446
AT ITER 94 NEW BEST:: SOT 121860 SOS 83271 HAS SOPS 83271 HAS SOUS 76905 HAS SOUPS 76905 WITH SCORE 76988.271
AT ITER 95 NEW BEST:: SOT 121694 SOS 83013 HAS SOPS 83013 HAS SOUS 76759 HAS SOUPS 76759 WITH SCORE 76842.013
AT ITER 96 NEW BEST:: SOT 121400 SOS 82525 HAS SOPS 82525 HAS SOUS 76360 HAS SOUPS 76360 WITH SCORE 76442.525
AT ITER 98 NEW BEST:: SOT 121206 SOS 82144 HAS SOPS 82144 HAS SOUS 75968 HAS SOUPS 75968 WITH SCORE 76050.144
AT ITER 99 NEW BEST:: SOT 120996 SOS 81785 HAS SOPS 81785 HAS SOUS 75610 HAS SOUPS 75610 WITH SCORE 75691.785
AT ITER 100 NEW BEST:: SOT 120839 SOS 81359 HAS SOPS 81359 HAS SOUS 75158 HAS SOUPS 75158 WITH SCORE 75239.359
AT ITER 104 NEW BEST:: SOT 120601 SOS 80968 HAS SOPS 80968 HAS SOUS 74813 HAS SOUPS 74813 WITH SCORE 74893.968
AT ITER 106 NEW BEST:: SOT 120546 SOS 80862 HAS SOPS 80862 HAS SOUS 74707 HAS SOUPS 74707 WITH SCORE 74787.862
AT ITER 110 NEW BEST:: SOT 120513 SOS 80821 HAS SOPS 80821 HAS SOUS 74578 HAS SOUPS 74578 WITH SCORE 74658.821
AT ITER 111 NEW BEST:: SOT 120348 SOS 80594 HAS SOPS 80594 HAS SOUS 74368 HAS SOUPS 74368 WITH SCORE 74448.594
AT ITER 112 NEW BEST:: SOT 120310 SOS 80556 HAS SOPS 80556 HAS SOUS 74330 HAS SOUPS 74330 WITH SCORE 74410.556
AT ITER 113 NEW BEST:: SOT 120156 SOS 80249 HAS SOPS 80249 HAS SOUS 73961 HAS SOUPS 73961 WITH SCORE 74041.249
AT ITER 115 NEW BEST:: SOT 119893 SOS 79785 HAS SOPS 79785 HAS SOUS 73333 HAS SOUPS 73333 WITH SCORE 73412.785
AT ITER 116 NEW BEST:: SOT 119613 SOS 79305 HAS SOPS 79305 HAS SOUS 72716 HAS SOUPS 72716 WITH SCORE 72795.305
AT ITER 117 NEW BEST:: SOT 119528 SOS 79138 HAS SOPS 79138 HAS SOUS 72549 HAS SOUPS 72549 WITH SCORE 72628.138
AT ITER 118 NEW BEST:: SOT 119332 SOS 78548 HAS SOPS 78548 HAS SOUS 72287 HAS SOUPS 72287 WITH SCORE 72365.548
AT ITER 119 NEW BEST:: SOT 119254 SOS 78486 HAS SOPS 78486 HAS SOUS 72258 HAS SOUPS 72258 WITH SCORE 72336.486
AT ITER 121 NEW BEST:: SOT 119202 SOS 78383 HAS SOPS 78383 HAS SOUS 72231 HAS SOUPS 72231 WITH SCORE 72309.383
AT ITER 123 NEW BEST:: SOT 119132 SOS 78199 HAS SOPS 78199 HAS SOUS 72177 HAS SOUPS 72177 WITH SCORE 72255.199
AT ITER 125 NEW BEST:: SOT 119132 SOS 78434 HAS SOPS 78434 HAS SOUS 72174 HAS SOUPS 72174 WITH SCORE 72252.434
AT ITER 126 NEW BEST:: SOT 119046 SOS 78315 HAS SOPS 78315 HAS SOUS 71826 HAS SOUPS 71826 WITH SCORE 71904.315
AT ITER 129 NEW BEST:: SOT 118893 SOS 77962 HAS SOPS 77962 HAS SOUS 71390 HAS SOUPS 71390 WITH SCORE 71467.962
AT ITER 131 NEW BEST:: SOT 118700 SOS 77489 HAS SOPS 77489 HAS SOUS 70917 HAS SOUPS 70917 WITH SCORE 70994.489
AT ITER 134 NEW BEST:: SOT 118754 SOS 77562 HAS SOPS 77562 HAS SOUS 70906 HAS SOUPS 70906 WITH SCORE 70983.562
AT ITER 135 NEW BEST:: SOT 118568 SOS 77143 HAS SOPS 77143 HAS SOUS 70451 HAS SOUPS 70451 WITH SCORE 70528.143
AT ITER 138 NEW BEST:: SOT 118192 SOS 76535 HAS SOPS 76535 HAS SOUS 69810 HAS SOUPS 69810 WITH SCORE 69886.535
AT ITER 140 NEW BEST:: SOT 118079 SOS 76312 HAS SOPS 76312 HAS SOUS 69583 HAS SOUPS 69583 WITH SCORE 69659.312
AT ITER 143 NEW BEST:: SOT 118012 SOS 76162 HAS SOPS 76162 HAS SOUS 69446 HAS SOUPS 69446 WITH SCORE 69522.162
AT ITER 144 NEW BEST:: SOT 118090 SOS 76240 HAS SOPS 76240 HAS SOUS 69444 HAS SOUPS 69444 WITH SCORE 69520.24
AT ITER 146 NEW BEST:: SOT 117997 SOS 76054 HAS SOPS 76054 HAS SOUS 69258 HAS SOUPS 69258 WITH SCORE 69334.054
AT ITER 157 NEW BEST:: SOT 117997 SOS 76053 HAS SOPS 76053 HAS SOUS 69256 HAS SOUPS 69256 WITH SCORE 69332.053
AT ITER 158 NEW BEST:: SOT 117882 SOS 75824 HAS SOPS 75824 HAS SOUS 69027 HAS SOUPS 69027 WITH SCORE 69102.824
AT ITER 160 NEW BEST:: SOT 117878 SOS 75820 HAS SOPS 75820 HAS SOUS 69023 HAS SOUPS 69023 WITH SCORE 69098.82
AT ITER 165 NEW BEST:: SOT 118015 SOS 75893 HAS SOPS 75893 HAS SOUS 69002 HAS SOUPS 69002 WITH SCORE 69077.893
AT ITER 168 NEW BEST:: SOT 117951 SOS 75797 HAS SOPS 75797 HAS SOUS 68906 HAS SOUPS 68906 WITH SCORE 68981.797
AT ITER 170 NEW BEST:: SOT 117887 SOS 75713 HAS SOPS 75713 HAS SOUS 68823 HAS SOUPS 68823 WITH SCORE 68898.713
AT ITER 172 NEW BEST:: SOT 117863 SOS 75689 HAS SOPS 75689 HAS SOUS 68799 HAS SOUPS 68799 WITH SCORE 68874.689
AT ITER 173 NEW BEST:: SOT 117752 SOS 75469 HAS SOPS 75469 HAS SOUS 68579 HAS SOUPS 68579 WITH SCORE 68654.469
AT ITER 176 NEW BEST:: SOT 117707 SOS 75357 HAS SOPS 75357 HAS SOUS 68557 HAS SOUPS 68557 WITH SCORE 68632.357
AT ITER 177 NEW BEST:: SOT 117566 SOS 75216 HAS SOPS 75216 HAS SOUS 68416 HAS SOUPS 68416 WITH SCORE 68491.216
AT ITER 186 NEW BEST:: SOT 117497 SOS 75053 HAS SOPS 75053 HAS SOUS 68253 HAS SOUPS 68253 WITH SCORE 68328.053
AT ITER 188 NEW BEST:: SOT 117462 SOS 74930 HAS SOPS 74930 HAS SOUS 68196 HAS SOUPS 68196 WITH SCORE 68270.93
AT ITER 189 NEW BEST:: SOT 117416 SOS 74939 HAS SOPS 74939 HAS SOUS 68143 HAS SOUPS 68143 WITH SCORE 68217.939
AT ITER 191 NEW BEST:: SOT 117410 SOS 74933 HAS SOPS 74933 HAS SOUS 68137 HAS SOUPS 68137 WITH SCORE 68211.933
AT ITER 195 NEW BEST:: SOT 117364 SOS 74795 HAS SOPS 74795 HAS SOUS 68045 HAS SOUPS 68045 WITH SCORE 68119.795
AT ITER 197 NEW BEST:: SOT 117418 SOS 74866 HAS SOPS 74866 HAS SOUS 68043 HAS SOUPS 68043 WITH SCORE 68117.866
AT ITER 199 NEW BEST:: SOT 117345 SOS 74948 HAS SOPS 74948 HAS SOUS 67925 HAS SOUPS 67925 WITH SCORE 67999.948
AT ITER 202 NEW BEST:: SOT 117295 SOS 74898 HAS SOPS 74898 HAS SOUS 67875 HAS SOUPS 67875 WITH SCORE 67949.898
AT ITER 203 NEW BEST:: SOT 117093 SOS 74456 HAS SOPS 74456 HAS SOUS 67447 HAS SOUPS 67447 WITH SCORE 67521.456
AT ITER 208 NEW BEST:: SOT 117093 SOS 74308 HAS SOPS 74308 HAS SOUS 67442 HAS SOUPS 67442 WITH SCORE 67516.308
AT ITER 222 NEW BEST:: SOT 116755 SOS 73692 HAS SOPS 73692 HAS SOUS 66835 HAS SOUPS 66835 WITH SCORE 66908.692
AT ITER 227 NEW BEST:: SOT 116751 SOS 73700 HAS SOPS 73700 HAS SOUS 66818 HAS SOUPS 66818 WITH SCORE 66891.7
AT ITER 232 NEW BEST:: SOT 116513 SOS 73319 HAS SOPS 73319 HAS SOUS 66521 HAS SOUPS 66521 WITH SCORE 66594.319
AT ITER 235 NEW BEST:: SOT 116513 SOS 73132 HAS SOPS 73132 HAS SOUS 66521 HAS SOUPS 66521 WITH SCORE 66594.132
AT ITER 241 NEW BEST:: SOT 116415 SOS 72985 HAS SOPS 72985 HAS SOUS 66325 HAS SOUPS 66325 WITH SCORE 66397.985
AT ITER 243 NEW BEST:: SOT 116209 SOS 72470 HAS SOPS 72470 HAS SOUS 65731 HAS SOUPS 65731 WITH SCORE 65803.47
AT ITER 245 NEW BEST:: SOT 116121 SOS 72293 HAS SOPS 72293 HAS SOUS 65630 HAS SOUPS 65630 WITH SCORE 65702.293
AT ITER 246 NEW BEST:: SOT 115920 SOS 71846 HAS SOPS 71846 HAS SOUS 65509 HAS SOUPS 65509 WITH SCORE 65580.846
AT ITER 252 NEW BEST:: SOT 115715 SOS 71442 HAS SOPS 71442 HAS SOUS 65105 HAS SOUPS 65105 WITH SCORE 65176.442
AT ITER 261 NEW BEST:: SOT 115714 SOS 71439 HAS SOPS 71439 HAS SOUS 65102 HAS SOUPS 65102 WITH SCORE 65173.439
AT ITER 265 NEW BEST:: SOT 115743 SOS 71468 HAS SOPS 71468 HAS SOUS 65030 HAS SOUPS 65030 WITH SCORE 65101.468
AT ITER 271 NEW BEST:: SOT 115628 SOS 71389 HAS SOPS 71389 HAS SOUS 64882 HAS SOUPS 64882 WITH SCORE 64953.389
AT ITER 273 NEW BEST:: SOT 115608 SOS 71331 HAS SOPS 71331 HAS SOUS 64843 HAS SOUPS 64843 WITH SCORE 64914.331
AT ITER 278 NEW BEST:: SOT 115608 SOS 71331 HAS SOPS 71331 HAS SOUS 64829 HAS SOUPS 64829 WITH SCORE 64900.331
AT ITER 280 NEW BEST:: SOT 115608 SOS 71330 HAS SOPS 71330 HAS SOUS 64788 HAS SOUPS 64788 WITH SCORE 64859.33
AT ITER 281 NEW BEST:: SOT 115567 SOS 71248 HAS SOPS 71248 HAS SOUS 64699 HAS SOUPS 64699 WITH SCORE 64770.248
AT ITER 283 NEW BEST:: SOT 115543 SOS 71225 HAS SOPS 71225 HAS SOUS 64697 HAS SOUPS 64697 WITH SCORE 64768.225
AT ITER 289 NEW BEST:: SOT 115543 SOS 71212 HAS SOPS 71212 HAS SOUS 64695 HAS SOUPS 64695 WITH SCORE 64766.212
AT ITER 291 NEW BEST:: SOT 115481 SOS 71150 HAS SOPS 71150 HAS SOUS 64633 HAS SOUPS 64633 WITH SCORE 64704.15
AT ITER 293 NEW BEST:: SOT 115422 SOS 71055 HAS SOPS 71055 HAS SOUS 64628 HAS SOUPS 64628 WITH SCORE 64699.055
AT ITER 295 NEW BEST:: SOT 115344 SOS 70847 HAS SOPS 70847 HAS SOUS 64420 HAS SOUPS 64420 WITH SCORE 64490.847
AT ITER 296 NEW BEST:: SOT 115344 SOS 70847 HAS SOPS 70847 HAS SOUS 64418 HAS SOUPS 64418 WITH SCORE 64488.847
AT ITER 309 NEW BEST:: SOT 115340 SOS 70805 HAS SOPS 70805 HAS SOUS 64376 HAS SOUPS 64376 WITH SCORE 64446.805
AT ITER 310 NEW BEST:: SOT 115334 SOS 70799 HAS SOPS 70799 HAS SOUS 64370 HAS SOUPS 64370 WITH SCORE 64440.799
AT ITER 311 NEW BEST:: SOT 115324 SOS 70784 HAS SOPS 70784 HAS SOUS 64355 HAS SOUPS 64355 WITH SCORE 64425.784
AT ITER 317 NEW BEST:: SOT 115322 SOS 70777 HAS SOPS 70777 HAS SOUS 64348 HAS SOUPS 64348 WITH SCORE 64418.777
AT ITER 319 NEW BEST:: SOT 115301 SOS 70749 HAS SOPS 70749 HAS SOUS 64320 HAS SOUPS 64320 WITH SCORE 64390.749
AT ITER 321 NEW BEST:: SOT 115213 SOS 70485 HAS SOPS 70485 HAS SOUS 64126 HAS SOUPS 64126 WITH SCORE 64196.485
AT ITER 323 NEW BEST:: SOT 114845 SOS 69864 HAS SOPS 69864 HAS SOUS 63533 HAS SOUPS 63533 WITH SCORE 63602.864
AT ITER 329 NEW BEST:: SOT 114673 SOS 69556 HAS SOPS 69556 HAS SOUS 63201 HAS SOUPS 63201 WITH SCORE 63270.556
AT ITER 332 NEW BEST:: SOT 114661 SOS 69508 HAS SOPS 69508 HAS SOUS 63167 HAS SOUPS 63167 WITH SCORE 63236.508
AT ITER 334 NEW BEST:: SOT 114583 SOS 69400 HAS SOPS 69400 HAS SOUS 63059 HAS SOUPS 63059 WITH SCORE 63128.4
AT ITER 336 NEW BEST:: SOT 114583 SOS 69424 HAS SOPS 69424 HAS SOUS 63053 HAS SOUPS 63053 WITH SCORE 63122.424
AT ITER 344 NEW BEST:: SOT 114559 SOS 69402 HAS SOPS 69402 HAS SOUS 63033 HAS SOUPS 63033 WITH SCORE 63102.402
AT ITER 348 NEW BEST:: SOT 114559 SOS 69430 HAS SOPS 69430 HAS SOUS 63030 HAS SOUPS 63030 WITH SCORE 63099.43
AT ITER 349 NEW BEST:: SOT 114556 SOS 69427 HAS SOPS 69427 HAS SOUS 63027 HAS SOUPS 63027 WITH SCORE 63096.427
AT ITER 352 NEW BEST:: SOT 114301 SOS 68930 HAS SOPS 68930 HAS SOUS 62608 HAS SOUPS 62608 WITH SCORE 62676.93
AT ITER 353 NEW BEST:: SOT 114220 SOS 68786 HAS SOPS 68786 HAS SOUS 62454 HAS SOUPS 62454 WITH SCORE 62522.786
AT ITER 359 NEW BEST:: SOT 114209 SOS 68787 HAS SOPS 68787 HAS SOUS 62385 HAS SOUPS 62385 WITH SCORE 62453.787
AT ITER 360 NEW BEST:: SOT 114209 SOS 68721 HAS SOPS 68721 HAS SOUS 62385 HAS SOUPS 62385 WITH SCORE 62453.721
AT ITER 362 NEW BEST:: SOT 114154 SOS 68556 HAS SOPS 68556 HAS SOUS 62220 HAS SOUPS 62220 WITH SCORE 62288.556
AT ITER 367 NEW BEST:: SOT 114117 SOS 68373 HAS SOPS 68373 HAS SOUS 62151 HAS SOUPS 62151 WITH SCORE 62219.373
AT ITER 370 NEW BEST:: SOT 114186 SOS 68329 HAS SOPS 68329 HAS SOUS 61984 HAS SOUPS 61984 WITH SCORE 62052.329
AT ITER 374 NEW BEST:: SOT 114166 SOS 68295 HAS SOPS 68295 HAS SOUS 61950 HAS SOUPS 61950 WITH SCORE 62018.295
AT ITER 375 NEW BEST:: SOT 114152 SOS 68281 HAS SOPS 68281 HAS SOUS 61950 HAS SOUPS 61950 WITH SCORE 62018.281
AT ITER 378 NEW BEST:: SOT 114100 SOS 68242 HAS SOPS 68242 HAS SOUS 61776 HAS SOUPS 61776 WITH SCORE 61844.242
AT ITER 382 NEW BEST:: SOT 113872 SOS 67538 HAS SOPS 67538 HAS SOUS 61295 HAS SOUPS 61295 WITH SCORE 61362.538
AT ITER 383 NEW BEST:: SOT 113746 SOS 67400 HAS SOPS 67400 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61259.4
AT ITER 385 NEW BEST:: SOT 113746 SOS 67392 HAS SOPS 67392 HAS SOUS 61192 HAS SOUPS 61192 WITH SCORE 61259.392
AT ITER 389 NEW BEST:: SOT 113763 SOS 67426 HAS SOPS 67426 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61244.426
AT ITER 393 NEW BEST:: SOT 113560 SOS 66800 HAS SOPS 66800 HAS SOUS 60655 HAS SOUPS 60655 WITH SCORE 60721.8
AT ITER 397 NEW BEST:: SOT 113546 SOS 66772 HAS SOPS 66772 HAS SOUS 60634 HAS SOUPS 60634 WITH SCORE 60700.772
AT ITER 399 NEW BEST:: SOT 113544 SOS 66770 HAS SOPS 66770 HAS SOUS 60632 HAS SOUPS 60632 WITH SCORE 60698.77
AT ITER 401 NEW BEST:: SOT 113531 SOS 66729 HAS SOPS 66729 HAS SOUS 60615 HAS SOUPS 60615 WITH SCORE 60681.729
AT ITER 405 NEW BEST:: SOT 113492 SOS 66573 HAS SOPS 66573 HAS SOUS 60498 HAS SOUPS 60498 WITH SCORE 60564.573
AT ITER 406 NEW BEST:: SOT 113492 SOS 66563 HAS SOPS 66563 HAS SOUS 60498 HAS SOUPS 60498 WITH SCORE 60564.563
AT ITER 407 NEW BEST:: SOT 113457 SOS 66665 HAS SOPS 66665 HAS SOUS 60386 HAS SOUPS 60386 WITH SCORE 60452.665
AT ITER 408 NEW BEST:: SOT 113422 SOS 66270 HAS SOPS 66270 HAS SOUS 60168 HAS SOUPS 60168 WITH SCORE 60234.27
AT ITER 409 NEW BEST:: SOT 113472 SOS 66272 HAS SOPS 66272 HAS SOUS 60100 HAS SOUPS 60100 WITH SCORE 60166.272
AT ITER 412 NEW BEST:: SOT 113439 SOS 66107 HAS SOPS 66107 HAS SOUS 60034 HAS SOUPS 60034 WITH SCORE 60100.107
AT ITER 417 NEW BEST:: SOT 113420 SOS 66088 HAS SOPS 66088 HAS SOUS 59998 HAS SOUPS 59998 WITH SCORE 60064.088
AT ITER 418 NEW BEST:: SOT 113354 SOS 66031 HAS SOPS 66031 HAS SOUS 59946 HAS SOUPS 59946 WITH SCORE 60012.031
AT ITER 421 NEW BEST:: SOT 113348 SOS 66021 HAS SOPS 66021 HAS SOUS 59936 HAS SOUPS 59936 WITH SCORE 60002.021
AT ITER 426 NEW BEST:: SOT 113357 SOS 66033 HAS SOPS 66033 HAS SOUS 59919 HAS SOUPS 59919 WITH SCORE 59985.033
AT ITER 432 NEW BEST:: SOT 113324 SOS 65933 HAS SOPS 65933 HAS SOUS 59885 HAS SOUPS 59885 WITH SCORE 59950.933
AT ITER 438 NEW BEST:: SOT 113228 SOS 65809 HAS SOPS 65809 HAS SOUS 59761 HAS SOUPS 59761 WITH SCORE 59826.809
AT ITER 442 NEW BEST:: SOT 113206 SOS 65930 HAS SOPS 65930 HAS SOUS 59640 HAS SOUPS 59640 WITH SCORE 59705.93
AT ITER 445 NEW BEST:: SOT 113057 SOS 65700 HAS SOPS 65700 HAS SOUS 59468 HAS SOUPS 59468 WITH SCORE 59533.7
AT ITER 447 NEW BEST:: SOT 113002 SOS 65714 HAS SOPS 65714 HAS SOUS 59460 HAS SOUPS 59460 WITH SCORE 59525.714
AT ITER 454 NEW BEST:: SOT 113002 SOS 65688 HAS SOPS 65688 HAS SOUS 59460 HAS SOUPS 59460 WITH SCORE 59525.688
AT ITER 456 NEW BEST:: SOT 113027 SOS 65772 HAS SOPS 65772 HAS SOUS 59455 HAS SOUPS 59455 WITH SCORE 59520.772
AT ITER 457 NEW BEST:: SOT 113015 SOS 65705 HAS SOPS 65705 HAS SOUS 59455 HAS SOUPS 59455 WITH SCORE 59520.705
AT ITER 458 NEW BEST:: SOT 113008 SOS 65656 HAS SOPS 65656 HAS SOUS 59359 HAS SOUPS 59359 WITH SCORE 59424.656
AT ITER 463 NEW BEST:: SOT 113008 SOS 65778 HAS SOPS 65778 HAS SOUS 59327 HAS SOUPS 59327 WITH SCORE 59392.778
AT ITER 470 NEW BEST:: SOT 112957 SOS 65805 HAS SOPS 65805 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59290.805
AT ITER 472 NEW BEST:: SOT 112906 SOS 65555 HAS SOPS 65555 HAS SOUS 59061 HAS SOUPS 59061 WITH SCORE 59126.555
AT ITER 484 NEW BEST:: SOT 112840 SOS 65469 HAS SOPS 65469 HAS SOUS 59004 HAS SOUPS 59004 WITH SCORE 59069.469
AT ITER 494 NEW BEST:: SOT 112567 SOS 65080 HAS SOPS 65080 HAS SOUS 58755 HAS SOUPS 58755 WITH SCORE 58820.08
AT ITER 495 NEW BEST:: SOT 112564 SOS 65068 HAS SOPS 65068 HAS SOUS 58746 HAS SOUPS 58746 WITH SCORE 58811.068
AT ITER 497 NEW BEST:: SOT 112564 SOS 65018 HAS SOPS 65018 HAS SOUS 58689 HAS SOUPS 58689 WITH SCORE 58754.018
AT ITER 498 NEW BEST:: SOT 112340 SOS 64642 HAS SOPS 64642 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58398.642
AT ITER 499 NEW BEST:: SOT 112196 SOS 64393 HAS SOPS 64393 HAS SOUS 58087 HAS SOUPS 58087 WITH SCORE 58151.393
AT ITER 503 NEW BEST:: SOT 112193 SOS 64381 HAS SOPS 64381 HAS SOUS 58075 HAS SOUPS 58075 WITH SCORE 58139.381
AT ITER 504 NEW BEST:: SOT 112189 SOS 64369 HAS SOPS 64369 HAS SOUS 58068 HAS SOUPS 58068 WITH SCORE 58132.369
AT ITER 506 NEW BEST:: SOT 112066 SOS 64205 HAS SOPS 64205 HAS SOUS 57904 HAS SOUPS 57904 WITH SCORE 57968.205
AT ITER 511 NEW BEST:: SOT 112037 SOS 64120 HAS SOPS 64120 HAS SOUS 57819 HAS SOUPS 57819 WITH SCORE 57883.12
AT ITER 513 NEW BEST:: SOT 112009 SOS 64036 HAS SOPS 64036 HAS SOUS 57735 HAS SOUPS 57735 WITH SCORE 57799.036
AT ITER 516 NEW BEST:: SOT 111853 SOS 63880 HAS SOPS 63880 HAS SOUS 57592 HAS SOUPS 57592 WITH SCORE 57655.88
AT ITER 517 NEW BEST:: SOT 111633 SOS 63517 HAS SOPS 63517 HAS SOUS 57201 HAS SOUPS 57201 WITH SCORE 57264.517
AT ITER 518 NEW BEST:: SOT 111630 SOS 63514 HAS SOPS 63514 HAS SOUS 57092 HAS SOUPS 57092 WITH SCORE 57155.514
AT ITER 522 NEW BEST:: SOT 111504 SOS 63465 HAS SOPS 63465 HAS SOUS 56859 HAS SOUPS 56859 WITH SCORE 56922.465
AT ITER 525 NEW BEST:: SOT 111373 SOS 63320 HAS SOPS 63320 HAS SOUS 56714 HAS SOUPS 56714 WITH SCORE 56777.32
AT ITER 527 NEW BEST:: SOT 111367 SOS 63177 HAS SOPS 63177 HAS SOUS 56540 HAS SOUPS 56540 WITH SCORE 56603.177
AT ITER 530 NEW BEST:: SOT 111161 SOS 62659 HAS SOPS 62659 HAS SOUS 56223 HAS SOUPS 56223 WITH SCORE 56285.659
AT ITER 532 NEW BEST:: SOT 111156 SOS 62649 HAS SOPS 62649 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56275.649
AT ITER 537 NEW BEST:: SOT 111158 SOS 62652 HAS SOPS 62652 HAS SOUS 56054 HAS SOUPS 56054 WITH SCORE 56116.652
AT ITER 540 NEW BEST:: SOT 111158 SOS 62743 HAS SOPS 62743 HAS SOUS 56029 HAS SOUPS 56029 WITH SCORE 56091.743
AT ITER 543 NEW BEST:: SOT 111158 SOS 62743 HAS SOPS 62743 HAS SOUS 56012 HAS SOUPS 56012 WITH SCORE 56074.743
AT ITER 548 NEW BEST:: SOT 111158 SOS 62743 HAS SOPS 62743 HAS SOUS 56001 HAS SOUPS 56001 WITH SCORE 56063.743
AT ITER 552 NEW BEST:: SOT 111158 SOS 62735 HAS SOPS 62735 HAS SOUS 55844 HAS SOUPS 55844 WITH SCORE 55906.735
AT ITER 558 NEW BEST:: SOT 111158 SOS 62590 HAS SOPS 62590 HAS SOUS 55742 HAS SOUPS 55742 WITH SCORE 55804.59
AT ITER 563 NEW BEST:: SOT 111138 SOS 62554 HAS SOPS 62554 HAS SOUS 55702 HAS SOUPS 55702 WITH SCORE 55764.554
AT ITER 571 NEW BEST:: SOT 111106 SOS 62319 HAS SOPS 62319 HAS SOUS 55666 HAS SOUPS 55666 WITH SCORE 55728.319
AT ITER 575 NEW BEST:: SOT 111040 SOS 62253 HAS SOPS 62253 HAS SOUS 55600 HAS SOUPS 55600 WITH SCORE 55662.253
AT ITER 581 NEW BEST:: SOT 111013 SOS 62194 HAS SOPS 62194 HAS SOUS 55520 HAS SOUPS 55520 WITH SCORE 55582.194
AT ITER 582 NEW BEST:: SOT 110929 SOS 62025 HAS SOPS 62025 HAS SOUS 55351 HAS SOUPS 55351 WITH SCORE 55413.025
AT ITER 583 NEW BEST:: SOT 110929 SOS 62029 HAS SOPS 62029 HAS SOUS 55347 HAS SOUPS 55347 WITH SCORE 55409.029
AT ITER 587 NEW BEST:: SOT 110926 SOS 62024 HAS SOPS 62024 HAS SOUS 55343 HAS SOUPS 55343 WITH SCORE 55405.024
AT ITER 589 NEW BEST:: SOT 110844 SOS 61777 HAS SOPS 61777 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55314.777
AT ITER 596 NEW BEST:: SOT 110804 SOS 61717 HAS SOPS 61717 HAS SOUS 55118 HAS SOUPS 55118 WITH SCORE 55179.717
AT ITER 613 NEW BEST:: SOT 110333 SOS 60958 HAS SOPS 60958 HAS SOUS 54352 HAS SOUPS 54352 WITH SCORE 54412.958
AT ITER 632 NEW BEST:: SOT 110291 SOS 60888 HAS SOPS 60888 HAS SOUS 54273 HAS SOUPS 54273 WITH SCORE 54333.888
AT ITER 641 NEW BEST:: SOT 110291 SOS 60888 HAS SOPS 60888 HAS SOUS 54271 HAS SOUPS 54271 WITH SCORE 54331.888
AT ITER 642 NEW BEST:: SOT 110291 SOS 60936 HAS SOPS 60936 HAS SOUS 54247 HAS SOUPS 54247 WITH SCORE 54307.936
AT ITER 655 NEW BEST:: SOT 110291 SOS 60859 HAS SOPS 60859 HAS SOUS 54135 HAS SOUPS 54135 WITH SCORE 54195.859
AT ITER 667 NEW BEST:: SOT 110291 SOS 60858 HAS SOPS 60858 HAS SOUS 54134 HAS SOUPS 54134 WITH SCORE 54194.858
AT ITER 668 NEW BEST:: SOT 110280 SOS 60825 HAS SOPS 60825 HAS SOUS 54087 HAS SOUPS 54087 WITH SCORE 54147.825
AT ITER 669 NEW BEST:: SOT 109988 SOS 60086 HAS SOPS 60086 HAS SOUS 53330 HAS SOUPS 53330 WITH SCORE 53390.086
AT ITER 671 NEW BEST:: SOT 109988 SOS 60111 HAS SOPS 60111 HAS SOUS 53309 HAS SOUPS 53309 WITH SCORE 53369.111
AT ITER 675 NEW BEST:: SOT 109988 SOS 60081 HAS SOPS 60081 HAS SOUS 53279 HAS SOUPS 53279 WITH SCORE 53339.081
AT ITER 681 NEW BEST:: SOT 109987 SOS 60043 HAS SOPS 60043 HAS SOUS 53204 HAS SOUPS 53204 WITH SCORE 53264.043
AT ITER 685 NEW BEST:: SOT 109965 SOS 60019 HAS SOPS 60019 HAS SOUS 53180 HAS SOUPS 53180 WITH SCORE 53240.019
AT ITER 687 NEW BEST:: SOT 109845 SOS 59591 HAS SOPS 59591 HAS SOUS 52773 HAS SOUPS 52773 WITH SCORE 52832.591
AT ITER 690 NEW BEST:: SOT 109821 SOS 59543 HAS SOPS 59543 HAS SOUS 52738 HAS SOUPS 52738 WITH SCORE 52797.543
AT ITER 691 NEW BEST:: SOT 109713 SOS 59333 HAS SOPS 59333 HAS SOUS 52506 HAS SOUPS 52506 WITH SCORE 52565.333
AT ITER 693 NEW BEST:: SOT 109561 SOS 59029 HAS SOPS 59029 HAS SOUS 52202 HAS SOUPS 52202 WITH SCORE 52261.029
AT ITER 694 NEW BEST:: SOT 109524 SOS 58922 HAS SOPS 58922 HAS SOUS 52186 HAS SOUPS 52186 WITH SCORE 52244.922
AT ITER 696 NEW BEST:: SOT 109303 SOS 58615 HAS SOPS 58615 HAS SOUS 51879 HAS SOUPS 51879 WITH SCORE 51937.615
AT ITER 705 NEW BEST:: SOT 109303 SOS 58516 HAS SOPS 58516 HAS SOUS 51759 HAS SOUPS 51759 WITH SCORE 51817.516
AT ITER 707 NEW BEST:: SOT 109228 SOS 58394 HAS SOPS 58394 HAS SOUS 51637 HAS SOUPS 51637 WITH SCORE 51695.394
AT ITER 716 NEW BEST:: SOT 108985 SOS 57850 HAS SOPS 57850 HAS SOUS 51088 HAS SOUPS 51088 WITH SCORE 51145.85
AT ITER 720 NEW BEST:: SOT 108985 SOS 57849 HAS SOPS 57849 HAS SOUS 51087 HAS SOUPS 51087 WITH SCORE 51144.849
AT ITER 722 NEW BEST:: SOT 108979 SOS 57814 HAS SOPS 57814 HAS SOUS 51056 HAS SOUPS 51056 WITH SCORE 51113.814
AT ITER 724 NEW BEST:: SOT 108979 SOS 57668 HAS SOPS 57668 HAS SOUS 50983 HAS SOUPS 50983 WITH SCORE 51040.668
AT ITER 729 NEW BEST:: SOT 108952 SOS 57641 HAS SOPS 57641 HAS SOUS 50956 HAS SOUPS 50956 WITH SCORE 51013.641
AT ITER 730 NEW BEST:: SOT 108612 SOS 57157 HAS SOPS 57157 HAS SOUS 50452 HAS SOUPS 50452 WITH SCORE 50509.157
AT ITER 735 NEW BEST:: SOT 108612 SOS 57146 HAS SOPS 57146 HAS SOUS 50430 HAS SOUPS 50430 WITH SCORE 50487.146
AT ITER 736 NEW BEST:: SOT 108600 SOS 57074 HAS SOPS 57074 HAS SOUS 50353 HAS SOUPS 50353 WITH SCORE 50410.074
AT ITER 743 NEW BEST:: SOT 108426 SOS 56851 HAS SOPS 56851 HAS SOUS 50261 HAS SOUPS 50261 WITH SCORE 50317.851
AT ITER 746 NEW BEST:: SOT 108407 SOS 56793 HAS SOPS 56793 HAS SOUS 50200 HAS SOUPS 50200 WITH SCORE 50256.793
AT ITER 748 NEW BEST:: SOT 108378 SOS 56706 HAS SOPS 56706 HAS SOUS 50143 HAS SOUPS 50143 WITH SCORE 50199.706
AT ITER 751 NEW BEST:: SOT 108291 SOS 56555 HAS SOPS 56555 HAS SOUS 49999 HAS SOUPS 49999 WITH SCORE 50055.555
AT ITER 752 NEW BEST:: SOT 108291 SOS 56555 HAS SOPS 56555 HAS SOUS 49982 HAS SOUPS 49982 WITH SCORE 50038.555
AT ITER 754 NEW BEST:: SOT 108245 SOS 56509 HAS SOPS 56509 HAS SOUS 49936 HAS SOUPS 49936 WITH SCORE 49992.509
AT ITER 755 NEW BEST:: SOT 108187 SOS 56451 HAS SOPS 56451 HAS SOUS 49878 HAS SOUPS 49878 WITH SCORE 49934.451
AT ITER 756 NEW BEST:: SOT 108230 SOS 56329 HAS SOPS 56329 HAS SOUS 49774 HAS SOUPS 49774 WITH SCORE 49830.329
AT ITER 760 NEW BEST:: SOT 108089 SOS 56173 HAS SOPS 56173 HAS SOUS 49618 HAS SOUPS 49618 WITH SCORE 49674.173
AT ITER 762 NEW BEST:: SOT 108078 SOS 56140 HAS SOPS 56140 HAS SOUS 49585 HAS SOUPS 49585 WITH SCORE 49641.14
AT ITER 765 NEW BEST:: SOT 107981 SOS 55846 HAS SOPS 55846 HAS SOUS 49331 HAS SOUPS 49331 WITH SCORE 49386.846
AT ITER 770 NEW BEST:: SOT 107941 SOS 55773 HAS SOPS 55773 HAS SOUS 49272 HAS SOUPS 49272 WITH SCORE 49327.773
AT ITER 773 NEW BEST:: SOT 107848 SOS 55636 HAS SOPS 55636 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49196.636
AT ITER 784 NEW BEST:: SOT 107846 SOS 55607 HAS SOPS 55607 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49196.607
AT ITER 786 NEW BEST:: SOT 107679 SOS 55410 HAS SOPS 55410 HAS SOUS 48944 HAS SOUPS 48944 WITH SCORE 48999.41
AT ITER 787 NEW BEST:: SOT 107706 SOS 55406 HAS SOPS 55406 HAS SOUS 48940 HAS SOUPS 48940 WITH SCORE 48995.406
AT ITER 813 NEW BEST:: SOT 107706 SOS 55296 HAS SOPS 55296 HAS SOUS 48902 HAS SOUPS 48902 WITH SCORE 48957.296
AT ITER 814 NEW BEST:: SOT 107657 SOS 55247 HAS SOPS 55247 HAS SOUS 48853 HAS SOUPS 48853 WITH SCORE 48908.247
AT ITER 826 NEW BEST:: SOT 107565 SOS 55083 HAS SOPS 55083 HAS SOUS 48701 HAS SOUPS 48701 WITH SCORE 48756.083
AT ITER 837 NEW BEST:: SOT 107518 SOS 54944 HAS SOPS 54944 HAS SOUS 48655 HAS SOUPS 48655 WITH SCORE 48709.944
AT ITER 844 NEW BEST:: SOT 107512 SOS 54901 HAS SOPS 54901 HAS SOUS 48588 HAS SOUPS 48588 WITH SCORE 48642.901
AT ITER 847 NEW BEST:: SOT 107498 SOS 54887 HAS SOPS 54887 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48628.887
AT ITER 849 NEW BEST:: SOT 107437 SOS 54893 HAS SOPS 54893 HAS SOUS 48424 HAS SOUPS 48424 WITH SCORE 48478.893
AT ITER 855 NEW BEST:: SOT 107437 SOS 54872 HAS SOPS 54872 HAS SOUS 48424 HAS SOUPS 48424 WITH SCORE 48478.872
AT ITER 861 NEW BEST:: SOT 107400 SOS 54791 HAS SOPS 54791 HAS SOUS 48343 HAS SOUPS 48343 WITH SCORE 48397.791
AT ITER 865 NEW BEST:: SOT 107449 SOS 54738 HAS SOPS 54738 HAS SOUS 48297 HAS SOUPS 48297 WITH SCORE 48351.738
AT ITER 875 NEW BEST:: SOT 107392 SOS 54486 HAS SOPS 54486 HAS SOUS 48242 HAS SOUPS 48242 WITH SCORE 48296.486
AT ITER 895 NEW BEST:: SOT 107392 SOS 54486 HAS SOPS 54486 HAS SOUS 48210 HAS SOUPS 48210 WITH SCORE 48264.486
AT ITER 935 NEW BEST:: SOT 107295 SOS 54339 HAS SOPS 54339 HAS SOUS 48133 HAS SOUPS 48133 WITH SCORE 48187.339
AT ITER 937 NEW BEST:: SOT 107295 SOS 54338 HAS SOPS 54338 HAS SOUS 48133 HAS SOUPS 48133 WITH SCORE 48187.338
AT ITER 940 NEW BEST:: SOT 107261 SOS 54301 HAS SOPS 54301 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48150.301
AT ITER 942 NEW BEST:: SOT 107151 SOS 54159 HAS SOPS 54159 HAS SOUS 47849 HAS SOUPS 47849 WITH SCORE 47903.159
AT ITER 951 NEW BEST:: SOT 107083 SOS 54013 HAS SOPS 54013 HAS SOUS 47703 HAS SOUPS 47703 WITH SCORE 47757.013
AT ITER 955 NEW BEST:: SOT 107083 SOS 53749 HAS SOPS 53749 HAS SOUS 47585 HAS SOUPS 47585 WITH SCORE 47638.749
AT ITER 970 NEW BEST:: SOT 107073 SOS 53602 HAS SOPS 53602 HAS SOUS 47438 HAS SOUPS 47438 WITH SCORE 47491.602
AT ITER 971 NEW BEST:: SOT 107073 SOS 53631 HAS SOPS 53631 HAS SOUS 47428 HAS SOUPS 47428 WITH SCORE 47481.631
AT ITER 972 NEW BEST:: SOT 107056 SOS 53614 HAS SOPS 53614 HAS SOUS 47411 HAS SOUPS 47411 WITH SCORE 47464.614
AT ITER 981 NEW BEST:: SOT 107056 SOS 53501 HAS SOPS 53501 HAS SOUS 47364 HAS SOUPS 47364 WITH SCORE 47417.501
AT ITER 986 NEW BEST:: SOT 106971 SOS 53320 HAS SOPS 53320 HAS SOUS 47193 HAS SOUPS 47193 WITH SCORE 47246.32
AT ITER 988 NEW BEST:: SOT 106946 SOS 53284 HAS SOPS 53284 HAS SOUS 47146 HAS SOUPS 47146 WITH SCORE 47199.284
AT ITER 991 NEW BEST:: SOT 106929 SOS 53247 HAS SOPS 53247 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47187.247
AT ITER 1004 NEW BEST:: SOT 106887 SOS 53184 HAS SOPS 53184 HAS SOUS 47071 HAS SOUPS 47071 WITH SCORE 47124.184
AT ITER 1009 NEW BEST:: SOT 106887 SOS 53184 HAS SOPS 53184 HAS SOUS 47027 HAS SOUPS 47027 WITH SCORE 47080.184
AT ITER 1015 NEW BEST:: SOT 106879 SOS 53255 HAS SOPS 53255 HAS SOUS 46968 HAS SOUPS 46968 WITH SCORE 47021.255
AT ITER 1021 NEW BEST:: SOT 106785 SOS 53087 HAS SOPS 53087 HAS SOUS 46828 HAS SOUPS 46828 WITH SCORE 46881.087
AT ITER 1023 NEW BEST:: SOT 106744 SOS 52976 HAS SOPS 52976 HAS SOUS 46776 HAS SOUPS 46776 WITH SCORE 46828.976
AT ITER 1032 NEW BEST:: SOT 106725 SOS 52883 HAS SOPS 52883 HAS SOUS 46736 HAS SOUPS 46736 WITH SCORE 46788.883
AT ITER 1041 NEW BEST:: SOT 106644 SOS 52775 HAS SOPS 52775 HAS SOUS 46628 HAS SOUPS 46628 WITH SCORE 46680.775
AT ITER 1055 NEW BEST:: SOT 106644 SOS 52623 HAS SOPS 52623 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46604.623
AT ITER 1064 NEW BEST:: SOT 106641 SOS 52614 HAS SOPS 52614 HAS SOUS 46543 HAS SOUPS 46543 WITH SCORE 46595.614
AT ITER 1066 NEW BEST:: SOT 106641 SOS 52718 HAS SOPS 52718 HAS SOUS 46510 HAS SOUPS 46510 WITH SCORE 46562.718
AT ITER 1068 NEW BEST:: SOT 106561 SOS 52589 HAS SOPS 52589 HAS SOUS 46418 HAS SOUPS 46418 WITH SCORE 46470.589
AT ITER 1073 NEW BEST:: SOT 106523 SOS 52481 HAS SOPS 52481 HAS SOUS 46292 HAS SOUPS 46292 WITH SCORE 46344.481
AT ITER 1076 NEW BEST:: SOT 106505 SOS 52460 HAS SOPS 52460 HAS SOUS 46271 HAS SOUPS 46271 WITH SCORE 46323.46
AT ITER 1078 NEW BEST:: SOT 106461 SOS 52456 HAS SOPS 52456 HAS SOUS 46202 HAS SOUPS 46202 WITH SCORE 46254.456
AT ITER 1088 NEW BEST:: SOT 106461 SOS 52456 HAS SOPS 52456 HAS SOUS 46199 HAS SOUPS 46199 WITH SCORE 46251.456
AT ITER 1095 NEW BEST:: SOT 106431 SOS 52426 HAS SOPS 52426 HAS SOUS 46169 HAS SOUPS 46169 WITH SCORE 46221.426
AT ITER 1101 NEW BEST:: SOT 106431 SOS 52376 HAS SOPS 52376 HAS SOUS 46169 HAS SOUPS 46169 WITH SCORE 46221.376
AT ITER 1108 NEW BEST:: SOT 106315 SOS 52139 HAS SOPS 52139 HAS SOUS 46053 HAS SOUPS 46053 WITH SCORE 46105.139
AT ITER 1113 NEW BEST:: SOT 106315 SOS 52136 HAS SOPS 52136 HAS SOUS 46053 HAS SOUPS 46053 WITH SCORE 46105.136
AT ITER 1129 NEW BEST:: SOT 106273 SOS 52020 HAS SOPS 52020 HAS SOUS 45933 HAS SOUPS 45933 WITH SCORE 45985.02
AT ITER 1131 NEW BEST:: SOT 106243 SOS 51990 HAS SOPS 51990 HAS SOUS 45883 HAS SOUPS 45883 WITH SCORE 45934.99
AT ITER 1133 NEW BEST:: SOT 106076 SOS 51645 HAS SOPS 51645 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45687.645
AT ITER 1135 NEW BEST:: SOT 106007 SOS 51245 HAS SOPS 51245 HAS SOUS 45452 HAS SOUPS 45452 WITH SCORE 45503.245
AT ITER 1138 NEW BEST:: SOT 105956 SOS 51089 HAS SOPS 51089 HAS SOUS 45444 HAS SOUPS 45444 WITH SCORE 45495.089
AT ITER 1142 NEW BEST:: SOT 105956 SOS 51089 HAS SOPS 51089 HAS SOUS 45435 HAS SOUPS 45435 WITH SCORE 45486.089
AT ITER 1154 NEW BEST:: SOT 105715 SOS 50675 HAS SOPS 50675 HAS SOUS 45058 HAS SOUPS 45058 WITH SCORE 45108.675
AT ITER 1155 NEW BEST:: SOT 105705 SOS 50665 HAS SOPS 50665 HAS SOUS 45048 HAS SOUPS 45048 WITH SCORE 45098.665
AT ITER 1169 NEW BEST:: SOT 105700 SOS 50617 HAS SOPS 50617 HAS SOUS 45000 HAS SOUPS 45000 WITH SCORE 45050.617
AT ITER 1170 NEW BEST:: SOT 105297 SOS 49832 HAS SOPS 49832 HAS SOUS 44345 HAS SOUPS 44345 WITH SCORE 44394.832
AT ITER 1179 NEW BEST:: SOT 105299 SOS 49806 HAS SOPS 49806 HAS SOUS 44340 HAS SOUPS 44340 WITH SCORE 44389.806
AT ITER 1208 NEW BEST:: SOT 105273 SOS 49771 HAS SOPS 49771 HAS SOUS 44296 HAS SOUPS 44296 WITH SCORE 44345.771
AT ITER 1219 NEW BEST:: SOT 105225 SOS 49703 HAS SOPS 49703 HAS SOUS 44228 HAS SOUPS 44228 WITH SCORE 44277.703
AT ITER 1222 NEW BEST:: SOT 105218 SOS 49696 HAS SOPS 49696 HAS SOUS 44221 HAS SOUPS 44221 WITH SCORE 44270.696
AT ITER 1223 NEW BEST:: SOT 105215 SOS 49692 HAS SOPS 49692 HAS SOUS 44218 HAS SOUPS 44218 WITH SCORE 44267.692
AT ITER 1237 NEW BEST:: SOT 105215 SOS 49692 HAS SOPS 49692 HAS SOUS 44216 HAS SOUPS 44216 WITH SCORE 44265.692
AT ITER 1238 NEW BEST:: SOT 105182 SOS 49627 HAS SOPS 49627 HAS SOUS 44150 HAS SOUPS 44150 WITH SCORE 44199.627
AT ITER 1248 NEW BEST:: SOT 105179 SOS 49618 HAS SOPS 49618 HAS SOUS 44141 HAS SOUPS 44141 WITH SCORE 44190.618
AT ITER 1256 NEW BEST:: SOT 105060 SOS 49439 HAS SOPS 49439 HAS SOUS 43982 HAS SOUPS 43982 WITH SCORE 44031.439
AT ITER 1263 NEW BEST:: SOT 105041 SOS 49277 HAS SOPS 49277 HAS SOUS 43939 HAS SOUPS 43939 WITH SCORE 43988.277
AT ITER 1265 NEW BEST:: SOT 105018 SOS 49255 HAS SOPS 49255 HAS SOUS 43917 HAS SOUPS 43917 WITH SCORE 43966.255
AT ITER 1269 NEW BEST:: SOT 105019 SOS 49232 HAS SOPS 49232 HAS SOUS 43888 HAS SOUPS 43888 WITH SCORE 43937.232
AT ITER 1270 NEW BEST:: SOT 104975 SOS 49188 HAS SOPS 49188 HAS SOUS 43844 HAS SOUPS 43844 WITH SCORE 43893.188
AT ITER 1275 NEW BEST:: SOT 104975 SOS 49125 HAS SOPS 49125 HAS SOUS 43823 HAS SOUPS 43823 WITH SCORE 43872.125
AT ITER 1278 NEW BEST:: SOT 104951 SOS 49102 HAS SOPS 49102 HAS SOUS 43800 HAS SOUPS 43800 WITH SCORE 43849.102
AT ITER 1283 NEW BEST:: SOT 104857 SOS 49008 HAS SOPS 49008 HAS SOUS 43706 HAS SOUPS 43706 WITH SCORE 43755.008
AT ITER 1288 NEW BEST:: SOT 104857 SOS 48786 HAS SOPS 48786 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43721.786
AT ITER 1302 NEW BEST:: SOT 104614 SOS 48487 HAS SOPS 48487 HAS SOUS 43405 HAS SOUPS 43405 WITH SCORE 43453.487
AT ITER 1306 NEW BEST:: SOT 104589 SOS 48453 HAS SOPS 48453 HAS SOUS 43371 HAS SOUPS 43371 WITH SCORE 43419.453
AT ITER 1309 NEW BEST:: SOT 104358 SOS 48090 HAS SOPS 48090 HAS SOUS 43107 HAS SOUPS 43107 WITH SCORE 43155.09
AT ITER 1334 NEW BEST:: SOT 104305 SOS 48003 HAS SOPS 48003 HAS SOUS 43020 HAS SOUPS 43020 WITH SCORE 43068.003
AT ITER 1338 NEW BEST:: SOT 104290 SOS 47983 HAS SOPS 47983 HAS SOUS 43000 HAS SOUPS 43000 WITH SCORE 43047.983
AT ITER 1344 NEW BEST:: SOT 104261 SOS 47925 HAS SOPS 47925 HAS SOUS 42988 HAS SOUPS 42988 WITH SCORE 43035.925
AT ITER 1356 NEW BEST:: SOT 104231 SOS 47745 HAS SOPS 47745 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42907.745
AT ITER 1361 NEW BEST:: SOT 104209 SOS 47650 HAS SOPS 47650 HAS SOUS 42778 HAS SOUPS 42778 WITH SCORE 42825.65
AT ITER 1367 NEW BEST:: SOT 104151 SOS 47592 HAS SOPS 47592 HAS SOUS 42720 HAS SOUPS 42720 WITH SCORE 42767.592
AT ITER 1368 NEW BEST:: SOT 104135 SOS 47564 HAS SOPS 47564 HAS SOUS 42681 HAS SOUPS 42681 WITH SCORE 42728.564
AT ITER 1370 NEW BEST:: SOT 104132 SOS 47559 HAS SOPS 47559 HAS SOUS 42677 HAS SOUPS 42677 WITH SCORE 42724.559
AT ITER 1436 NEW BEST:: SOT 104132 SOS 47649 HAS SOPS 47649 HAS SOUS 42670 HAS SOUPS 42670 WITH SCORE 42717.649
AT ITER 1437 NEW BEST:: SOT 104056 SOS 47535 HAS SOPS 47535 HAS SOUS 42556 HAS SOUPS 42556 WITH SCORE 42603.535
AT ITER 1446 NEW BEST:: SOT 103916 SOS 47320 HAS SOPS 47320 HAS SOUS 42341 HAS SOUPS 42341 WITH SCORE 42388.32
AT ITER 1447 NEW BEST:: SOT 103905 SOS 47282 HAS SOPS 47282 HAS SOUS 42309 HAS SOUPS 42309 WITH SCORE 42356.282
AT ITER 1461 NEW BEST:: SOT 103905 SOS 47282 HAS SOPS 47282 HAS SOUS 42280 HAS SOUPS 42280 WITH SCORE 42327.282
AT ITER 1465 NEW BEST:: SOT 103905 SOS 47284 HAS SOPS 47284 HAS SOUS 42263 HAS SOUPS 42263 WITH SCORE 42310.284
AT ITER 1466 NEW BEST:: SOT 103784 SOS 47071 HAS SOPS 47071 HAS SOUS 42155 HAS SOUPS 42155 WITH SCORE 42202.071
AT ITER 1474 NEW BEST:: SOT 103784 SOS 47064 HAS SOPS 47064 HAS SOUS 42155 HAS SOUPS 42155 WITH SCORE 42202.064
AT ITER 1477 NEW BEST:: SOT 103811 SOS 46895 HAS SOPS 46895 HAS SOUS 41976 HAS SOUPS 41976 WITH SCORE 42022.895
AT ITER 1481 NEW BEST:: SOT 103805 SOS 46877 HAS SOPS 46877 HAS SOUS 41946 HAS SOUPS 41946 WITH SCORE 41992.877
AT ITER 1483 NEW BEST:: SOT 103812 SOS 46912 HAS SOPS 46912 HAS SOUS 41871 HAS SOUPS 41871 WITH SCORE 41917.912
AT ITER 1487 NEW BEST:: SOT 103700 SOS 46749 HAS SOPS 46749 HAS SOUS 41737 HAS SOUPS 41737 WITH SCORE 41783.749
AT ITER 1489 NEW BEST:: SOT 103678 SOS 46714 HAS SOPS 46714 HAS SOUS 41702 HAS SOUPS 41702 WITH SCORE 41748.714
AT ITER 1491 NEW BEST:: SOT 103675 SOS 46710 HAS SOPS 46710 HAS SOUS 41698 HAS SOUPS 41698 WITH SCORE 41744.71
AT ITER 1497 NEW BEST:: SOT 103652 SOS 46637 HAS SOPS 46637 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41688.637
AT ITER 1504 NEW BEST:: SOT 103648 SOS 46633 HAS SOPS 46633 HAS SOUS 41638 HAS SOUPS 41638 WITH SCORE 41684.633
AT ITER 1510 NEW BEST:: SOT 103645 SOS 46630 HAS SOPS 46630 HAS SOUS 41635 HAS SOUPS 41635 WITH SCORE 41681.63
AT ITER 1513 NEW BEST:: SOT 103095 SOS 45517 HAS SOPS 45517 HAS SOUS 40556 HAS SOUPS 40556 WITH SCORE 40601.517
AT ITER 1514 NEW BEST:: SOT 103095 SOS 45512 HAS SOPS 45512 HAS SOUS 40546 HAS SOUPS 40546 WITH SCORE 40591.512
AT ITER 1537 NEW BEST:: SOT 102975 SOS 45303 HAS SOPS 45303 HAS SOUS 40337 HAS SOUPS 40337 WITH SCORE 40382.303
AT ITER 1541 NEW BEST:: SOT 102973 SOS 45300 HAS SOPS 45300 HAS SOUS 40334 HAS SOUPS 40334 WITH SCORE 40379.3
AT ITER 1549 NEW BEST:: SOT 102891 SOS 45177 HAS SOPS 45177 HAS SOUS 40260 HAS SOUPS 40260 WITH SCORE 40305.177
AT ITER 1552 NEW BEST:: SOT 102868 SOS 45154 HAS SOPS 45154 HAS SOUS 40237 HAS SOUPS 40237 WITH SCORE 40282.154
AT ITER 1555 NEW BEST:: SOT 102868 SOS 45154 HAS SOPS 45154 HAS SOUS 40235 HAS SOUPS 40235 WITH SCORE 40280.154
AT ITER 1563 NEW BEST:: SOT 102857 SOS 45132 HAS SOPS 45132 HAS SOUS 40213 HAS SOUPS 40213 WITH SCORE 40258.132
AT ITER 1564 NEW BEST:: SOT 102763 SOS 45081 HAS SOPS 45081 HAS SOUS 40182 HAS SOUPS 40182 WITH SCORE 40227.081
AT ITER 1571 NEW BEST:: SOT 102660 SOS 44959 HAS SOPS 44959 HAS SOUS 40114 HAS SOUPS 40114 WITH SCORE 40158.959
AT ITER 1573 NEW BEST:: SOT 102652 SOS 44951 HAS SOPS 44951 HAS SOUS 40106 HAS SOUPS 40106 WITH SCORE 40150.951
AT ITER 1575 NEW BEST:: SOT 102601 SOS 44912 HAS SOPS 44912 HAS SOUS 40059 HAS SOUPS 40059 WITH SCORE 40103.912
AT ITER 1579 NEW BEST:: SOT 102585 SOS 44871 HAS SOPS 44871 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40074.871
AT ITER 1597 NEW BEST:: SOT 102565 SOS 44768 HAS SOPS 44768 HAS SOUS 40026 HAS SOUPS 40026 WITH SCORE 40070.768
AT ITER 1613 NEW BEST:: SOT 102560 SOS 44763 HAS SOPS 44763 HAS SOUS 40026 HAS SOUPS 40026 WITH SCORE 40070.763
AT ITER 1619 NEW BEST:: SOT 102548 SOS 44704 HAS SOPS 44704 HAS SOUS 39972 HAS SOUPS 39972 WITH SCORE 40016.704
AT ITER 1622 NEW BEST:: SOT 102526 SOS 44667 HAS SOPS 44667 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 39958.667
AT ITER 1640 NEW BEST:: SOT 102525 SOS 44665 HAS SOPS 44665 HAS SOUS 39912 HAS SOUPS 39912 WITH SCORE 39956.665
AT ITER 1641 NEW BEST:: SOT 102517 SOS 44625 HAS SOPS 44625 HAS SOUS 39896 HAS SOUPS 39896 WITH SCORE 39940.625
AT ITER 1657 NEW BEST:: SOT 102499 SOS 44571 HAS SOPS 44571 HAS SOUS 39844 HAS SOUPS 39844 WITH SCORE 39888.571
AT ITER 1659 NEW BEST:: SOT 102451 SOS 44495 HAS SOPS 44495 HAS SOUS 39768 HAS SOUPS 39768 WITH SCORE 39812.495
AT ITER 1669 NEW BEST:: SOT 102447 SOS 44489 HAS SOPS 44489 HAS SOUS 39762 HAS SOUPS 39762 WITH SCORE 39806.489
AT ITER 1670 NEW BEST:: SOT 102365 SOS 44093 HAS SOPS 44093 HAS SOUS 39443 HAS SOUPS 39443 WITH SCORE 39487.093
AT ITER 1678 NEW BEST:: SOT 102365 SOS 44027 HAS SOPS 44027 HAS SOUS 39443 HAS SOUPS 39443 WITH SCORE 39487.027
AT ITER 1699 NEW BEST:: SOT 102329 SOS 43991 HAS SOPS 43991 HAS SOUS 39407 HAS SOUPS 39407 WITH SCORE 39450.991
AT ITER 1708 NEW BEST:: SOT 102257 SOS 43916 HAS SOPS 43916 HAS SOUS 39324 HAS SOUPS 39324 WITH SCORE 39367.916
AT ITER 1710 NEW BEST:: SOT 102190 SOS 43819 HAS SOPS 43819 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39272.819
AT ITER 1711 NEW BEST:: SOT 101926 SOS 43467 HAS SOPS 43467 HAS SOUS 38877 HAS SOUPS 38877 WITH SCORE 38920.467
AT ITER 1728 NEW BEST:: SOT 101926 SOS 43296 HAS SOPS 43296 HAS SOUS 38852 HAS SOUPS 38852 WITH SCORE 38895.296
AT ITER 1730 NEW BEST:: SOT 101811 SOS 43042 HAS SOPS 43042 HAS SOUS 38718 HAS SOUPS 38718 WITH SCORE 38761.042
AT ITER 1733 NEW BEST:: SOT 101828 SOS 43315 HAS SOPS 43315 HAS SOUS 38714 HAS SOUPS 38714 WITH SCORE 38757.315
AT ITER 1754 NEW BEST:: SOT 101817 SOS 43316 HAS SOPS 43316 HAS SOUS 38703 HAS SOUPS 38703 WITH SCORE 38746.316
AT ITER 1757 NEW BEST:: SOT 101837 SOS 43356 HAS SOPS 43356 HAS SOUS 38689 HAS SOUPS 38689 WITH SCORE 38732.356
AT ITER 1767 NEW BEST:: SOT 101810 SOS 43302 HAS SOPS 43302 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38678.302
AT ITER 1775 NEW BEST:: SOT 101810 SOS 43297 HAS SOPS 43297 HAS SOUS 38630 HAS SOUPS 38630 WITH SCORE 38673.297
AT ITER 1787 NEW BEST:: SOT 101799 SOS 43286 HAS SOPS 43286 HAS SOUS 38619 HAS SOUPS 38619 WITH SCORE 38662.286
AT ITER 1793 NEW BEST:: SOT 101782 SOS 43254 HAS SOPS 43254 HAS SOUS 38541 HAS SOUPS 38541 WITH SCORE 38584.254
AT ITER 1797 NEW BEST:: SOT 101804 SOS 43374 HAS SOPS 43374 HAS SOUS 38430 HAS SOUPS 38430 WITH SCORE 38473.374
AT ITER 1799 NEW BEST:: SOT 101778 SOS 43244 HAS SOPS 43244 HAS SOUS 38327 HAS SOUPS 38327 WITH SCORE 38370.244
AT ITER 1812 NEW BEST:: SOT 101765 SOS 43137 HAS SOPS 43137 HAS SOUS 38189 HAS SOUPS 38189 WITH SCORE 38232.137
AT ITER 1815 NEW BEST:: SOT 101801 SOS 43175 HAS SOPS 43175 HAS SOUS 38166 HAS SOUPS 38166 WITH SCORE 38209.175
AT ITER 1818 NEW BEST:: SOT 101742 SOS 43140 HAS SOPS 43140 HAS SOUS 38150 HAS SOUPS 38150 WITH SCORE 38193.14
AT ITER 1823 NEW BEST:: SOT 101726 SOS 43124 HAS SOPS 43124 HAS SOUS 38111 HAS SOUPS 38111 WITH SCORE 38154.124
AT ITER 1824 NEW BEST:: SOT 101722 SOS 43097 HAS SOPS 43097 HAS SOUS 38089 HAS SOUPS 38089 WITH SCORE 38132.097
AT ITER 1828 NEW BEST:: SOT 101709 SOS 43089 HAS SOPS 43089 HAS SOUS 38081 HAS SOUPS 38081 WITH SCORE 38124.089
AT ITER 1873 NEW BEST:: SOT 101698 SOS 43109 HAS SOPS 43109 HAS SOUS 38019 HAS SOUPS 38019 WITH SCORE 38062.109
AT ITER 1876 NEW BEST:: SOT 101692 SOS 43097 HAS SOPS 43097 HAS SOUS 38007 HAS SOUPS 38007 WITH SCORE 38050.097
AT ITER 1888 NEW BEST:: SOT 101640 SOS 42993 HAS SOPS 42993 HAS SOUS 37936 HAS SOUPS 37936 WITH SCORE 37978.993
AT ITER 1898 NEW BEST:: SOT 101592 SOS 42753 HAS SOPS 42753 HAS SOUS 37800 HAS SOUPS 37800 WITH SCORE 37842.753
AT ITER 1900 NEW BEST:: SOT 101487 SOS 42658 HAS SOPS 42658 HAS SOUS 37727 HAS SOUPS 37727 WITH SCORE 37769.658
AT ITER 1903 NEW BEST:: SOT 101448 SOS 42540 HAS SOPS 42540 HAS SOUS 37674 HAS SOUPS 37674 WITH SCORE 37716.54
AT ITER 1907 NEW BEST:: SOT 101448 SOS 42541 HAS SOPS 42541 HAS SOUS 37673 HAS SOUPS 37673 WITH SCORE 37715.541
AT ITER 1908 NEW BEST:: SOT 101429 SOS 42495 HAS SOPS 42495 HAS SOUS 37626 HAS SOUPS 37626 WITH SCORE 37668.495
AT ITER 1911 NEW BEST:: SOT 101409 SOS 42455 HAS SOPS 42455 HAS SOUS 37586 HAS SOUPS 37586 WITH SCORE 37628.455
AT ITER 1912 NEW BEST:: SOT 101154 SOS 41770 HAS SOPS 41770 HAS SOUS 37065 HAS SOUPS 37065 WITH SCORE 37106.77
AT ITER 1913 NEW BEST:: SOT 101154 SOS 41764 HAS SOPS 41764 HAS SOUS 37059 HAS SOUPS 37059 WITH SCORE 37100.764
AT ITER 1919 NEW BEST:: SOT 101067 SOS 41632 HAS SOPS 41632 HAS SOUS 36958 HAS SOUPS 36958 WITH SCORE 36999.632
AT ITER 1924 NEW BEST:: SOT 101067 SOS 41654 HAS SOPS 41654 HAS SOUS 36926 HAS SOUPS 36926 WITH SCORE 36967.654
AT ITER 1939 NEW BEST:: SOT 101047 SOS 41628 HAS SOPS 41628 HAS SOUS 36895 HAS SOUPS 36895 WITH SCORE 36936.628
AT ITER 1946 NEW BEST:: SOT 100937 SOS 41287 HAS SOPS 41287 HAS SOUS 36708 HAS SOUPS 36708 WITH SCORE 36749.287
AT ITER 1962 NEW BEST:: SOT 100932 SOS 41277 HAS SOPS 41277 HAS SOUS 36698 HAS SOUPS 36698 WITH SCORE 36739.277
AT ITER 1974 NEW BEST:: SOT 100932 SOS 41254 HAS SOPS 41254 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36722.254
AT ITER 1988 NEW BEST:: SOT 100836 SOS 41103 HAS SOPS 41103 HAS SOUS 36516 HAS SOUPS 36516 WITH SCORE 36557.103
AT ITER 2000 NEW BEST:: SOT 100780 SOS 41086 HAS SOPS 41086 HAS SOUS 36499 HAS SOUPS 36499 WITH SCORE 36540.086
AT ITER 2003 NEW BEST:: SOT 100780 SOS 41114 HAS SOPS 41114 HAS SOUS 36481 HAS SOUPS 36481 WITH SCORE 36522.114
AT ITER 2012 NEW BEST:: SOT 100778 SOS 41111 HAS SOPS 41111 HAS SOUS 36478 HAS SOUPS 36478 WITH SCORE 36519.111
AT ITER 2015 NEW BEST:: SOT 100778 SOS 41075 HAS SOPS 41075 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36486.075
AT ITER 2033 NEW BEST:: SOT 100777 SOS 41120 HAS SOPS 41120 HAS SOUS 36444 HAS SOUPS 36444 WITH SCORE 36485.12
AT ITER 2039 NEW BEST:: SOT 100777 SOS 41050 HAS SOPS 41050 HAS SOUS 36376 HAS SOUPS 36376 WITH SCORE 36417.05
AT ITER 2051 NEW BEST:: SOT 100751 SOS 41015 HAS SOPS 41015 HAS SOUS 36343 HAS SOUPS 36343 WITH SCORE 36384.015
AT ITER 2056 NEW BEST:: SOT 100713 SOS 40958 HAS SOPS 40958 HAS SOUS 36272 HAS SOUPS 36272 WITH SCORE 36312.958
AT ITER 2059 NEW BEST:: SOT 100682 SOS 40916 HAS SOPS 40916 HAS SOUS 36230 HAS SOUPS 36230 WITH SCORE 36270.916
AT ITER 2065 NEW BEST:: SOT 100678 SOS 40911 HAS SOPS 40911 HAS SOUS 36225 HAS SOUPS 36225 WITH SCORE 36265.911
AT ITER 2072 NEW BEST:: SOT 100657 SOS 40883 HAS SOPS 40883 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36244.883
AT ITER 2080 NEW BEST:: SOT 100646 SOS 40872 HAS SOPS 40872 HAS SOUS 36193 HAS SOUPS 36193 WITH SCORE 36233.872
AT ITER 2082 NEW BEST:: SOT 100641 SOS 40785 HAS SOPS 40785 HAS SOUS 36171 HAS SOUPS 36171 WITH SCORE 36211.785
AT ITER 2091 NEW BEST:: SOT 100641 SOS 40772 HAS SOPS 40772 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36205.772
AT ITER 2099 NEW BEST:: SOT 100637 SOS 40766 HAS SOPS 40766 HAS SOUS 36159 HAS SOUPS 36159 WITH SCORE 36199.766
AT ITER 2113 NEW BEST:: SOT 100632 SOS 40761 HAS SOPS 40761 HAS SOUS 36154 HAS SOUPS 36154 WITH SCORE 36194.761
AT ITER 2124 NEW BEST:: SOT 100602 SOS 40739 HAS SOPS 40739 HAS SOUS 36094 HAS SOUPS 36094 WITH SCORE 36134.739
AT ITER 2129 NEW BEST:: SOT 100562 SOS 40679 HAS SOPS 40679 HAS SOUS 36052 HAS SOUPS 36052 WITH SCORE 36092.679
AT ITER 2136 NEW BEST:: SOT 100511 SOS 40603 HAS SOPS 40603 HAS SOUS 35974 HAS SOUPS 35974 WITH SCORE 36014.603
AT ITER 2141 NEW BEST:: SOT 100511 SOS 40621 HAS SOPS 40621 HAS SOUS 35856 HAS SOUPS 35856 WITH SCORE 35896.621
AT ITER 2149 NEW BEST:: SOT 100511 SOS 40621 HAS SOPS 40621 HAS SOUS 35843 HAS SOUPS 35843 WITH SCORE 35883.621
AT ITER 2157 NEW BEST:: SOT 100513 SOS 40629 HAS SOPS 40629 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35860.629
AT ITER 2159 NEW BEST:: SOT 100289 SOS 40331 HAS SOPS 40331 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35574.331
AT ITER 2176 NEW BEST:: SOT 100289 SOS 40310 HAS SOPS 40310 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35574.31
AT ITER 2183 NEW BEST:: SOT 100289 SOS 40310 HAS SOPS 40310 HAS SOUS 35517 HAS SOUPS 35517 WITH SCORE 35557.31
AT ITER 2191 NEW BEST:: SOT 100285 SOS 40365 HAS SOPS 40365 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35545.365
AT ITER 2195 NEW BEST:: SOT 100285 SOS 40355 HAS SOPS 40355 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35545.355
AT ITER 2197 NEW BEST:: SOT 100281 SOS 40345 HAS SOPS 40345 HAS SOUS 35499 HAS SOUPS 35499 WITH SCORE 35539.345
AT ITER 2198 NEW BEST:: SOT 100281 SOS 40293 HAS SOPS 40293 HAS SOUS 35473 HAS SOUPS 35473 WITH SCORE 35513.293
AT ITER 2199 NEW BEST:: SOT 100217 SOS 40249 HAS SOPS 40249 HAS SOUS 35419 HAS SOUPS 35419 WITH SCORE 35459.249
AT ITER 2200 NEW BEST:: SOT 100153 SOS 40153 HAS SOPS 40153 HAS SOUS 35323 HAS SOUPS 35323 WITH SCORE 35363.153
AT ITER 2202 NEW BEST:: SOT 100151 SOS 40106 HAS SOPS 40106 HAS SOUS 35289 HAS SOUPS 35289 WITH SCORE 35329.106
AT ITER 2209 NEW BEST:: SOT 100120 SOS 40010 HAS SOPS 40010 HAS SOUS 35193 HAS SOUPS 35193 WITH SCORE 35233.01
AT ITER 2221 NEW BEST:: SOT 99980 SOS 39917 HAS SOPS 39917 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35105.917
AT ITER 2227 NEW BEST:: SOT 99980 SOS 39899 HAS SOPS 39899 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35105.899
AT ITER 2230 NEW BEST:: SOT 99980 SOS 39916 HAS SOPS 39916 HAS SOUS 35049 HAS SOUPS 35049 WITH SCORE 35088.916
AT ITER 2232 NEW BEST:: SOT 99918 SOS 39779 HAS SOPS 39779 HAS SOUS 34975 HAS SOUPS 34975 WITH SCORE 35014.779
AT ITER 2235 NEW BEST:: SOT 99904 SOS 39751 HAS SOPS 39751 HAS SOUS 34961 HAS SOUPS 34961 WITH SCORE 35000.751
AT ITER 2247 NEW BEST:: SOT 99898 SOS 39745 HAS SOPS 39745 HAS SOUS 34955 HAS SOUPS 34955 WITH SCORE 34994.745
AT ITER 2253 NEW BEST:: SOT 99898 SOS 39688 HAS SOPS 39688 HAS SOUS 34955 HAS SOUPS 34955 WITH SCORE 34994.688
AT ITER 2264 NEW BEST:: SOT 99860 SOS 39637 HAS SOPS 39637 HAS SOUS 34918 HAS SOUPS 34918 WITH SCORE 34957.637
AT ITER 2269 NEW BEST:: SOT 99860 SOS 39636 HAS SOPS 39636 HAS SOUS 34918 HAS SOUPS 34918 WITH SCORE 34957.636
AT ITER 2272 NEW BEST:: SOT 99821 SOS 39580 HAS SOPS 39580 HAS SOUS 34862 HAS SOUPS 34862 WITH SCORE 34901.58
AT ITER 2273 NEW BEST:: SOT 99788 SOS 39535 HAS SOPS 39535 HAS SOUS 34817 HAS SOUPS 34817 WITH SCORE 34856.535
AT ITER 2284 NEW BEST:: SOT 99776 SOS 39523 HAS SOPS 39523 HAS SOUS 34805 HAS SOUPS 34805 WITH SCORE 34844.523
AT ITER 2285 NEW BEST:: SOT 99682 SOS 39429 HAS SOPS 39429 HAS SOUS 34669 HAS SOUPS 34669 WITH SCORE 34708.429
AT ITER 2286 NEW BEST:: SOT 99646 SOS 39320 HAS SOPS 39320 HAS SOUS 34559 HAS SOUPS 34559 WITH SCORE 34598.32
AT ITER 2314 NEW BEST:: SOT 99647 SOS 39289 HAS SOPS 39289 HAS SOUS 34499 HAS SOUPS 34499 WITH SCORE 34538.289
AT ITER 2315 NEW BEST:: SOT 99633 SOS 39272 HAS SOPS 39272 HAS SOUS 34484 HAS SOUPS 34484 WITH SCORE 34523.272
AT ITER 2317 NEW BEST:: SOT 99618 SOS 39257 HAS SOPS 39257 HAS SOUS 34455 HAS SOUPS 34455 WITH SCORE 34494.257
AT ITER 2319 NEW BEST:: SOT 99607 SOS 39224 HAS SOPS 39224 HAS SOUS 34433 HAS SOUPS 34433 WITH SCORE 34472.224
AT ITER 2320 NEW BEST:: SOT 99567 SOS 39088 HAS SOPS 39088 HAS SOUS 34403 HAS SOUPS 34403 WITH SCORE 34442.088
AT ITER 2321 NEW BEST:: SOT 99588 SOS 39097 HAS SOPS 39097 HAS SOUS 34388 HAS SOUPS 34388 WITH SCORE 34427.097
AT ITER 2329 NEW BEST:: SOT 99588 SOS 39066 HAS SOPS 39066 HAS SOUS 34372 HAS SOUPS 34372 WITH SCORE 34411.066
AT ITER 2334 NEW BEST:: SOT 99553 SOS 39031 HAS SOPS 39031 HAS SOUS 34303 HAS SOUPS 34303 WITH SCORE 34342.031
AT ITER 2341 NEW BEST:: SOT 99551 SOS 38968 HAS SOPS 38968 HAS SOUS 34299 HAS SOUPS 34299 WITH SCORE 34337.968
AT ITER 2371 NEW BEST:: SOT 99545 SOS 38962 HAS SOPS 38962 HAS SOUS 34293 HAS SOUPS 34293 WITH SCORE 34331.962
AT ITER 2374 NEW BEST:: SOT 99545 SOS 38922 HAS SOPS 38922 HAS SOUS 34255 HAS SOUPS 34255 WITH SCORE 34293.922
AT ITER 2385 NEW BEST:: SOT 99527 SOS 38868 HAS SOPS 38868 HAS SOUS 34206 HAS SOUPS 34206 WITH SCORE 34244.868
AT ITER 2404 NEW BEST:: SOT 99526 SOS 38869 HAS SOPS 38869 HAS SOUS 34142 HAS SOUPS 34142 WITH SCORE 34180.869
AT ITER 2410 NEW BEST:: SOT 99514 SOS 38820 HAS SOPS 38820 HAS SOUS 34124 HAS SOUPS 34124 WITH SCORE 34162.82
AT ITER 2415 NEW BEST:: SOT 99514 SOS 38792 HAS SOPS 38792 HAS SOUS 34110 HAS SOUPS 34110 WITH SCORE 34148.792
AT ITER 2424 NEW BEST:: SOT 99507 SOS 38757 HAS SOPS 38757 HAS SOUS 34096 HAS SOUPS 34096 WITH SCORE 34134.757
AT ITER 2443 NEW BEST:: SOT 99507 SOS 38783 HAS SOPS 38783 HAS SOUS 34083 HAS SOUPS 34083 WITH SCORE 34121.783
AT ITER 2447 NEW BEST:: SOT 99501 SOS 38774 HAS SOPS 38774 HAS SOUS 34071 HAS SOUPS 34071 WITH SCORE 34109.774
AT ITER 2451 NEW BEST:: SOT 99491 SOS 38750 HAS SOPS 38750 HAS SOUS 34048 HAS SOUPS 34048 WITH SCORE 34086.75
AT ITER 2459 NEW BEST:: SOT 99475 SOS 38771 HAS SOPS 38771 HAS SOUS 33981 HAS SOUPS 33981 WITH SCORE 34019.771
AT ITER 2465 NEW BEST:: SOT 99474 SOS 38768 HAS SOPS 38768 HAS SOUS 33980 HAS SOUPS 33980 WITH SCORE 34018.768
AT ITER 2468 NEW BEST:: SOT 99464 SOS 38758 HAS SOPS 38758 HAS SOUS 33970 HAS SOUPS 33970 WITH SCORE 34008.758
AT ITER 2488 NEW BEST:: SOT 99460 SOS 38752 HAS SOPS 38752 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34002.752
AT ITER 2492 NEW BEST:: SOT 99460 SOS 38752 HAS SOPS 38752 HAS SOUS 33949 HAS SOUPS 33949 WITH SCORE 33987.752
AT ITER 2507 NEW BEST:: SOT 99428 SOS 38705 HAS SOPS 38705 HAS SOUS 33902 HAS SOUPS 33902 WITH SCORE 33940.705
AT ITER 2521 NEW BEST:: SOT 99413 SOS 38682 HAS SOPS 38682 HAS SOUS 33879 HAS SOUPS 33879 WITH SCORE 33917.682
AT ITER 2539 NEW BEST:: SOT 99406 SOS 38675 HAS SOPS 38675 HAS SOUS 33849 HAS SOUPS 33849 WITH SCORE 33887.675
AT ITER 2540 NEW BEST:: SOT 99404 SOS 38673 HAS SOPS 38673 HAS SOUS 33845 HAS SOUPS 33845 WITH SCORE 33883.673
AT ITER 2567 NEW BEST:: SOT 99391 SOS 38608 HAS SOPS 38608 HAS SOUS 33819 HAS SOUPS 33819 WITH SCORE 33857.608
AT ITER 2584 NEW BEST:: SOT 99365 SOS 38582 HAS SOPS 38582 HAS SOUS 33793 HAS SOUPS 33793 WITH SCORE 33831.582
AT ITER 2585 NEW BEST:: SOT 99355 SOS 38567 HAS SOPS 38567 HAS SOUS 33768 HAS SOUPS 33768 WITH SCORE 33806.567
AT ITER 2586 NEW BEST:: SOT 99342 SOS 38521 HAS SOPS 38521 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33775.521
AT ITER 2591 NEW BEST:: SOT 99315 SOS 38488 HAS SOPS 38488 HAS SOUS 33698 HAS SOUPS 33698 WITH SCORE 33736.488
AT ITER 2605 NEW BEST:: SOT 99275 SOS 38369 HAS SOPS 38369 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33709.369
AT ITER 2616 NEW BEST:: SOT 99141 SOS 38159 HAS SOPS 38159 HAS SOUS 33436 HAS SOUPS 33436 WITH SCORE 33474.159
AT ITER 2623 NEW BEST:: SOT 99137 SOS 38113 HAS SOPS 38113 HAS SOUS 33429 HAS SOUPS 33429 WITH SCORE 33467.113
AT ITER 2624 NEW BEST:: SOT 99118 SOS 38037 HAS SOPS 38037 HAS SOUS 33398 HAS SOUPS 33398 WITH SCORE 33436.037
AT ITER 2629 NEW BEST:: SOT 99157 SOS 37974 HAS SOPS 37974 HAS SOUS 33372 HAS SOUPS 33372 WITH SCORE 33409.974
AT ITER 2643 NEW BEST:: SOT 99139 SOS 37947 HAS SOPS 37947 HAS SOUS 33345 HAS SOUPS 33345 WITH SCORE 33382.947
AT ITER 2650 NEW BEST:: SOT 99061 SOS 37830 HAS SOPS 37830 HAS SOUS 33228 HAS SOUPS 33228 WITH SCORE 33265.83
AT ITER 2665 NEW BEST:: SOT 99030 SOS 37820 HAS SOPS 37820 HAS SOUS 33219 HAS SOUPS 33219 WITH SCORE 33256.82
AT ITER 2668 NEW BEST:: SOT 99026 SOS 37801 HAS SOPS 37801 HAS SOUS 33170 HAS SOUPS 33170 WITH SCORE 33207.801
AT ITER 2678 NEW BEST:: SOT 99015 SOS 37768 HAS SOPS 37768 HAS SOUS 33136 HAS SOUPS 33136 WITH SCORE 33173.768
AT ITER 2688 NEW BEST:: SOT 99015 SOS 37768 HAS SOPS 37768 HAS SOUS 33109 HAS SOUPS 33109 WITH SCORE 33146.768
AT ITER 2727 NEW BEST:: SOT 99011 SOS 37762 HAS SOPS 37762 HAS SOUS 33103 HAS SOUPS 33103 WITH SCORE 33140.762
AT ITER 2734 NEW BEST:: SOT 98988 SOS 37739 HAS SOPS 37739 HAS SOUS 33080 HAS SOUPS 33080 WITH SCORE 33117.739
AT ITER 2740 NEW BEST:: SOT 98973 SOS 37724 HAS SOPS 37724 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33087.724
AT ITER 2741 NEW BEST:: SOT 98882 SOS 37633 HAS SOPS 37633 HAS SOUS 33013 HAS SOUPS 33013 WITH SCORE 33050.633
AT ITER 2746 NEW BEST:: SOT 98766 SOS 37562 HAS SOPS 37562 HAS SOUS 32942 HAS SOUPS 32942 WITH SCORE 32979.562
AT ITER 2748 NEW BEST:: SOT 98706 SOS 37450 HAS SOPS 37450 HAS SOUS 32836 HAS SOUPS 32836 WITH SCORE 32873.45
AT ITER 2751 NEW BEST:: SOT 98706 SOS 37450 HAS SOPS 37450 HAS SOUS 32831 HAS SOUPS 32831 WITH SCORE 32868.45
AT ITER 2758 NEW BEST:: SOT 98622 SOS 37324 HAS SOPS 37324 HAS SOUS 32726 HAS SOUPS 32726 WITH SCORE 32763.324
AT ITER 2769 NEW BEST:: SOT 98569 SOS 37278 HAS SOPS 37278 HAS SOUS 32680 HAS SOUPS 32680 WITH SCORE 32717.278
AT ITER 2770 NEW BEST:: SOT 98569 SOS 37309 HAS SOPS 37309 HAS SOUS 32649 HAS SOUPS 32649 WITH SCORE 32686.309
AT ITER 2780 NEW BEST:: SOT 98568 SOS 37312 HAS SOPS 37312 HAS SOUS 32639 HAS SOUPS 32639 WITH SCORE 32676.312
AT ITER 2782 NEW BEST:: SOT 98572 SOS 37462 HAS SOPS 37462 HAS SOUS 32630 HAS SOUPS 32630 WITH SCORE 32667.462
AT ITER 2804 NEW BEST:: SOT 98560 SOS 37450 HAS SOPS 37450 HAS SOUS 32618 HAS SOUPS 32618 WITH SCORE 32655.45
AT ITER 2811 NEW BEST:: SOT 98560 SOS 37419 HAS SOPS 37419 HAS SOUS 32605 HAS SOUPS 32605 WITH SCORE 32642.419
AT ITER 2819 NEW BEST:: SOT 98555 SOS 37399 HAS SOPS 37399 HAS SOUS 32590 HAS SOUPS 32590 WITH SCORE 32627.399
AT ITER 2841 NEW BEST:: SOT 98527 SOS 37376 HAS SOPS 37376 HAS SOUS 32567 HAS SOUPS 32567 WITH SCORE 32604.376
AT ITER 2844 NEW BEST:: SOT 98527 SOS 37304 HAS SOPS 37304 HAS SOUS 32504 HAS SOUPS 32504 WITH SCORE 32541.304
AT ITER 2863 NEW BEST:: SOT 98503 SOS 37272 HAS SOPS 37272 HAS SOUS 32472 HAS SOUPS 32472 WITH SCORE 32509.272
AT ITER 2876 NEW BEST:: SOT 98447 SOS 37320 HAS SOPS 37320 HAS SOUS 32390 HAS SOUPS 32390 WITH SCORE 32427.32
AT ITER 2904 NEW BEST:: SOT 98390 SOS 37243 HAS SOPS 37243 HAS SOUS 32311 HAS SOUPS 32311 WITH SCORE 32348.243
AT ITER 2905 NEW BEST:: SOT 98390 SOS 37218 HAS SOPS 37218 HAS SOUS 32265 HAS SOUPS 32265 WITH SCORE 32302.218
AT ITER 2912 NEW BEST:: SOT 98288 SOS 37031 HAS SOPS 37031 HAS SOUS 32112 HAS SOUPS 32112 WITH SCORE 32149.031
AT ITER 2914 NEW BEST:: SOT 98251 SOS 36846 HAS SOPS 36846 HAS SOUS 31992 HAS SOUPS 31992 WITH SCORE 32028.846
AT ITER 2928 NEW BEST:: SOT 98244 SOS 36839 HAS SOPS 36839 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32021.839
AT ITER 2930 NEW BEST:: SOT 98244 SOS 36839 HAS SOPS 36839 HAS SOUS 31972 HAS SOUPS 31972 WITH SCORE 32008.839
AT ITER 2934 NEW BEST:: SOT 98236 SOS 36824 HAS SOPS 36824 HAS SOUS 31960 HAS SOUPS 31960 WITH SCORE 31996.824
AT ITER 2935 NEW BEST:: SOT 98227 SOS 36812 HAS SOPS 36812 HAS SOUS 31948 HAS SOUPS 31948 WITH SCORE 31984.812
AT ITER 2987 NEW BEST:: SOT 98227 SOS 36812 HAS SOPS 36812 HAS SOUS 31918 HAS SOUPS 31918 WITH SCORE 31954.812
AT ITER 2993 NEW BEST:: SOT 98221 SOS 36750 HAS SOPS 36750 HAS SOUS 31912 HAS SOUPS 31912 WITH SCORE 31948.75
AT ITER 3012 NEW BEST:: SOT 98169 SOS 36610 HAS SOPS 36610 HAS SOUS 31830 HAS SOUPS 31830 WITH SCORE 31866.61
AT ITER 3025 NEW BEST:: SOT 98146 SOS 36404 HAS SOPS 36404 HAS SOUS 31776 HAS SOUPS 31776 WITH SCORE 31812.404
AT ITER 3057 NEW BEST:: SOT 98120 SOS 36352 HAS SOPS 36352 HAS SOUS 31730 HAS SOUPS 31730 WITH SCORE 31766.352
AT ITER 3061 NEW BEST:: SOT 98134 SOS 36366 HAS SOPS 36366 HAS SOUS 31723 HAS SOUPS 31723 WITH SCORE 31759.366
AT ITER 3065 NEW BEST:: SOT 98091 SOS 36323 HAS SOPS 36323 HAS SOUS 31680 HAS SOUPS 31680 WITH SCORE 31716.323
AT ITER 3066 NEW BEST:: SOT 98077 SOS 36253 HAS SOPS 36253 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31688.253
AT ITER 3090 NEW BEST:: SOT 98077 SOS 36253 HAS SOPS 36253 HAS SOUS 31643 HAS SOUPS 31643 WITH SCORE 31679.253
AT ITER 3112 NEW BEST:: SOT 98045 SOS 36223 HAS SOPS 36223 HAS SOUS 31621 HAS SOUPS 31621 WITH SCORE 31657.223
AT ITER 3117 NEW BEST:: SOT 98045 SOS 36195 HAS SOPS 36195 HAS SOUS 31621 HAS SOUPS 31621 WITH SCORE 31657.195
AT ITER 3134 NEW BEST:: SOT 97918 SOS 35958 HAS SOPS 35958 HAS SOUS 31403 HAS SOUPS 31403 WITH SCORE 31438.958
AT ITER 3136 NEW BEST:: SOT 97864 SOS 35886 HAS SOPS 35886 HAS SOUS 31331 HAS SOUPS 31331 WITH SCORE 31366.886
AT ITER 3137 NEW BEST:: SOT 97803 SOS 35807 HAS SOPS 35807 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31287.807
AT ITER 3140 NEW BEST:: SOT 97783 SOS 35766 HAS SOPS 35766 HAS SOUS 31224 HAS SOUPS 31224 WITH SCORE 31259.766
AT ITER 3151 NEW BEST:: SOT 97778 SOS 35761 HAS SOPS 35761 HAS SOUS 31214 HAS SOUPS 31214 WITH SCORE 31249.761
AT ITER 3160 NEW BEST:: SOT 97766 SOS 35742 HAS SOPS 35742 HAS SOUS 31195 HAS SOUPS 31195 WITH SCORE 31230.742
AT ITER 3214 NEW BEST:: SOT 97747 SOS 35666 HAS SOPS 35666 HAS SOUS 31157 HAS SOUPS 31157 WITH SCORE 31192.666
AT ITER 3223 NEW BEST:: SOT 97749 SOS 35665 HAS SOPS 35665 HAS SOUS 31155 HAS SOUPS 31155 WITH SCORE 31190.665
AT ITER 3235 NEW BEST:: SOT 97741 SOS 35655 HAS SOPS 35655 HAS SOUS 31145 HAS SOUPS 31145 WITH SCORE 31180.655
AT ITER 3244 NEW BEST:: SOT 97719 SOS 35577 HAS SOPS 35577 HAS SOUS 31094 HAS SOUPS 31094 WITH SCORE 31129.577
AT ITER 3257 NEW BEST:: SOT 97707 SOS 35529 HAS SOPS 35529 HAS SOUS 31070 HAS SOUPS 31070 WITH SCORE 31105.529
AT ITER 3258 NEW BEST:: SOT 97707 SOS 35529 HAS SOPS 35529 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31097.529
AT ITER 3287 NEW BEST:: SOT 97702 SOS 35524 HAS SOPS 35524 HAS SOUS 31058 HAS SOUPS 31058 WITH SCORE 31093.524
AT ITER 3317 NEW BEST:: SOT 97712 SOS 35553 HAS SOPS 35553 HAS SOUS 31038 HAS SOUPS 31038 WITH SCORE 31073.553
AT ITER 3341 NEW BEST:: SOT 97712 SOS 35448 HAS SOPS 35448 HAS SOUS 31030 HAS SOUPS 31030 WITH SCORE 31065.448
AT ITER 3343 NEW BEST:: SOT 97694 SOS 35425 HAS SOPS 35425 HAS SOUS 31020 HAS SOUPS 31020 WITH SCORE 31055.425
AT ITER 3375 NEW BEST:: SOT 97613 SOS 35260 HAS SOPS 35260 HAS SOUS 30939 HAS SOUPS 30939 WITH SCORE 30974.26
AT ITER 3382 NEW BEST:: SOT 97594 SOS 35241 HAS SOPS 35241 HAS SOUS 30920 HAS SOUPS 30920 WITH SCORE 30955.241
AT ITER 3394 NEW BEST:: SOT 97594 SOS 35212 HAS SOPS 35212 HAS SOUS 30848 HAS SOUPS 30848 WITH SCORE 30883.212
AT ITER 3405 NEW BEST:: SOT 97576 SOS 35176 HAS SOPS 35176 HAS SOUS 30818 HAS SOUPS 30818 WITH SCORE 30853.176
AT ITER 3408 NEW BEST:: SOT 97582 SOS 35292 HAS SOPS 35292 HAS SOUS 30808 HAS SOUPS 30808 WITH SCORE 30843.292
AT ITER 3413 NEW BEST:: SOT 97542 SOS 35178 HAS SOPS 35178 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30750.178
AT ITER 3418 NEW BEST:: SOT 97517 SOS 35017 HAS SOPS 35017 HAS SOUS 30664 HAS SOUPS 30664 WITH SCORE 30699.017
AT ITER 3436 NEW BEST:: SOT 97517 SOS 35017 HAS SOPS 35017 HAS SOUS 30646 HAS SOUPS 30646 WITH SCORE 30681.017
AT ITER 3438 NEW BEST:: SOT 97517 SOS 35025 HAS SOPS 35025 HAS SOUS 30641 HAS SOUPS 30641 WITH SCORE 30676.025
AT ITER 3462 NEW BEST:: SOT 97452 SOS 34922 HAS SOPS 34922 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30571.922
AT ITER 3464 NEW BEST:: SOT 97449 SOS 34901 HAS SOPS 34901 HAS SOUS 30522 HAS SOUPS 30522 WITH SCORE 30556.901
AT ITER 3466 NEW BEST:: SOT 97419 SOS 34855 HAS SOPS 34855 HAS SOUS 30476 HAS SOUPS 30476 WITH SCORE 30510.855
AT ITER 3467 NEW BEST:: SOT 97344 SOS 34629 HAS SOPS 34629 HAS SOUS 30394 HAS SOUPS 30394 WITH SCORE 30428.629
AT ITER 3468 NEW BEST:: SOT 97331 SOS 34612 HAS SOPS 34612 HAS SOUS 30335 HAS SOUPS 30335 WITH SCORE 30369.612
AT ITER 3481 NEW BEST:: SOT 97302 SOS 34499 HAS SOPS 34499 HAS SOUS 30277 HAS SOUPS 30277 WITH SCORE 30311.499
AT ITER 3548 NEW BEST:: SOT 97302 SOS 34493 HAS SOPS 34493 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30292.493
AT ITER 3595 NEW BEST:: SOT 97224 SOS 34193 HAS SOPS 34193 HAS SOUS 30057 HAS SOUPS 30057 WITH SCORE 30091.193
AT ITER 3616 NEW BEST:: SOT 97220 SOS 34181 HAS SOPS 34181 HAS SOUS 30049 HAS SOUPS 30049 WITH SCORE 30083.181
AT ITER 3627 NEW BEST:: SOT 97199 SOS 34160 HAS SOPS 34160 HAS SOUS 30016 HAS SOUPS 30016 WITH SCORE 30050.16
AT ITER 3655 NEW BEST:: SOT 97192 SOS 34141 HAS SOPS 34141 HAS SOUS 29975 HAS SOUPS 29975 WITH SCORE 30009.141
AT ITER 3689 NEW BEST:: SOT 97170 SOS 34031 HAS SOPS 34031 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29921.031
AT ITER 3692 NEW BEST:: SOT 97123 SOS 33926 HAS SOPS 33926 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29852.926
AT ITER 3695 NEW BEST:: SOT 97123 SOS 33922 HAS SOPS 33922 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29852.922
AT ITER 3697 NEW BEST:: SOT 97108 SOS 33907 HAS SOPS 33907 HAS SOUS 29804 HAS SOUPS 29804 WITH SCORE 29837.907
AT ITER 3703 NEW BEST:: SOT 97100 SOS 33898 HAS SOPS 33898 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29834.898
AT ITER 3716 NEW BEST:: SOT 97070 SOS 33868 HAS SOPS 33868 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29788.868
AT ITER 3733 NEW BEST:: SOT 97049 SOS 33839 HAS SOPS 33839 HAS SOUS 29708 HAS SOUPS 29708 WITH SCORE 29741.839
AT ITER 3735 NEW BEST:: SOT 97049 SOS 33825 HAS SOPS 33825 HAS SOUS 29694 HAS SOUPS 29694 WITH SCORE 29727.825
AT ITER 3780 NEW BEST:: SOT 97044 SOS 33792 HAS SOPS 33792 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29721.792
AT ITER 3790 NEW BEST:: SOT 97047 SOS 33775 HAS SOPS 33775 HAS SOUS 29684 HAS SOUPS 29684 WITH SCORE 29717.775
AT ITER 3818 NEW BEST:: SOT 97035 SOS 33751 HAS SOPS 33751 HAS SOUS 29672 HAS SOUPS 29672 WITH SCORE 29705.751
AT ITER 3838 NEW BEST:: SOT 97032 SOS 33742 HAS SOPS 33742 HAS SOUS 29663 HAS SOUPS 29663 WITH SCORE 29696.742
AT ITER 3844 NEW BEST:: SOT 97032 SOS 33721 HAS SOPS 33721 HAS SOUS 29663 HAS SOUPS 29663 WITH SCORE 29696.721
AT ITER 3854 NEW BEST:: SOT 97023 SOS 33655 HAS SOPS 33655 HAS SOUS 29595 HAS SOUPS 29595 WITH SCORE 29628.655
AT ITER 3876 NEW BEST:: SOT 97010 SOS 33653 HAS SOPS 33653 HAS SOUS 29577 HAS SOUPS 29577 WITH SCORE 29610.653
AT ITER 3909 NEW BEST:: SOT 96924 SOS 33479 HAS SOPS 33479 HAS SOUS 29447 HAS SOUPS 29447 WITH SCORE 29480.479
AT ITER 3915 NEW BEST:: SOT 96877 SOS 33446 HAS SOPS 33446 HAS SOUS 29409 HAS SOUPS 29409 WITH SCORE 29442.446
AT ITER 3920 NEW BEST:: SOT 96865 SOS 33393 HAS SOPS 33393 HAS SOUS 29375 HAS SOUPS 29375 WITH SCORE 29408.393
AT ITER 3924 NEW BEST:: SOT 96731 SOS 33183 HAS SOPS 33183 HAS SOUS 29157 HAS SOUPS 29157 WITH SCORE 29190.183
AT ITER 3933 NEW BEST:: SOT 96689 SOS 33087 HAS SOPS 33087 HAS SOUS 29063 HAS SOUPS 29063 WITH SCORE 29096.087
AT ITER 3962 NEW BEST:: SOT 96683 SOS 33063 HAS SOPS 33063 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29084.063
AT ITER 3968 NEW BEST:: SOT 96683 SOS 33055 HAS SOPS 33055 HAS SOUS 29051 HAS SOUPS 29051 WITH SCORE 29084.055
AT ITER 4020 NEW BEST:: SOT 96674 SOS 33032 HAS SOPS 33032 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29059.032
AT ITER 4024 NEW BEST:: SOT 96651 SOS 32963 HAS SOPS 32963 HAS SOUS 29003 HAS SOUPS 29003 WITH SCORE 29035.963
AT ITER 4080 NEW BEST:: SOT 96651 SOS 33007 HAS SOPS 33007 HAS SOUS 28995 HAS SOUPS 28995 WITH SCORE 29028.007
AT ITER 4106 NEW BEST:: SOT 96645 SOS 32989 HAS SOPS 32989 HAS SOUS 28983 HAS SOUPS 28983 WITH SCORE 29015.989
AT ITER 4107 NEW BEST:: SOT 96623 SOS 32969 HAS SOPS 32969 HAS SOUS 28963 HAS SOUPS 28963 WITH SCORE 28995.969
AT ITER 4114 NEW BEST:: SOT 96620 SOS 32958 HAS SOPS 32958 HAS SOUS 28959 HAS SOUPS 28959 WITH SCORE 28991.958
AT ITER 4123 NEW BEST:: SOT 96616 SOS 32952 HAS SOPS 32952 HAS SOUS 28951 HAS SOUPS 28951 WITH SCORE 28983.952
AT ITER 4127 NEW BEST:: SOT 96539 SOS 32761 HAS SOPS 32761 HAS SOUS 28828 HAS SOUPS 28828 WITH SCORE 28860.761
AT ITER 4136 NEW BEST:: SOT 96535 SOS 32751 HAS SOPS 32751 HAS SOUS 28816 HAS SOUPS 28816 WITH SCORE 28848.751
AT ITER 4156 NEW BEST:: SOT 96533 SOS 32749 HAS SOPS 32749 HAS SOUS 28814 HAS SOUPS 28814 WITH SCORE 28846.749
AT ITER 4159 NEW BEST:: SOT 96533 SOS 32737 HAS SOPS 32737 HAS SOUS 28802 HAS SOUPS 28802 WITH SCORE 28834.737
AT ITER 4165 NEW BEST:: SOT 96463 SOS 32611 HAS SOPS 32611 HAS SOUS 28657 HAS SOUPS 28657 WITH SCORE 28689.611
AT ITER 4169 NEW BEST:: SOT 96463 SOS 32605 HAS SOPS 32605 HAS SOUS 28654 HAS SOUPS 28654 WITH SCORE 28686.605
AT ITER 4176 NEW BEST:: SOT 96463 SOS 32605 HAS SOPS 32605 HAS SOUS 28642 HAS SOUPS 28642 WITH SCORE 28674.605
AT ITER 4181 NEW BEST:: SOT 96511 SOS 32632 HAS SOPS 32632 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28672.632
AT ITER 4183 NEW BEST:: SOT 96511 SOS 32613 HAS SOPS 32613 HAS SOUS 28640 HAS SOUPS 28640 WITH SCORE 28672.613
AT ITER 4188 NEW BEST:: SOT 96491 SOS 32588 HAS SOPS 32588 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28647.588
AT ITER 4193 NEW BEST:: SOT 96491 SOS 32572 HAS SOPS 32572 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28647.572
AT ITER 4197 NEW BEST:: SOT 96481 SOS 32562 HAS SOPS 32562 HAS SOUS 28574 HAS SOUPS 28574 WITH SCORE 28606.562
AT ITER 4211 NEW BEST:: SOT 96454 SOS 32535 HAS SOPS 32535 HAS SOUS 28547 HAS SOUPS 28547 WITH SCORE 28579.535
AT ITER 4228 NEW BEST:: SOT 96472 SOS 32559 HAS SOPS 32559 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28565.559
AT ITER 4241 NEW BEST:: SOT 96428 SOS 32427 HAS SOPS 32427 HAS SOUS 28445 HAS SOUPS 28445 WITH SCORE 28477.427
AT ITER 4263 NEW BEST:: SOT 96361 SOS 32292 HAS SOPS 32292 HAS SOUS 28365 HAS SOUPS 28365 WITH SCORE 28397.292
AT ITER 4265 NEW BEST:: SOT 96292 SOS 32115 HAS SOPS 32115 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28261.115
AT ITER 4277 NEW BEST:: SOT 96291 SOS 32112 HAS SOPS 32112 HAS SOUS 28228 HAS SOUPS 28228 WITH SCORE 28260.112
AT ITER 4314 NEW BEST:: SOT 96272 SOS 32036 HAS SOPS 32036 HAS SOUS 28190 HAS SOUPS 28190 WITH SCORE 28222.036
AT ITER 4316 NEW BEST:: SOT 96261 SOS 32026 HAS SOPS 32026 HAS SOUS 28187 HAS SOUPS 28187 WITH SCORE 28219.026
AT ITER 4317 NEW BEST:: SOT 96227 SOS 31974 HAS SOPS 31974 HAS SOUS 28173 HAS SOUPS 28173 WITH SCORE 28204.974
AT ITER 4322 NEW BEST:: SOT 96225 SOS 31968 HAS SOPS 31968 HAS SOUS 28173 HAS SOUPS 28173 WITH SCORE 28204.968
AT ITER 4337 NEW BEST:: SOT 96247 SOS 31886 HAS SOPS 31886 HAS SOUS 28151 HAS SOUPS 28151 WITH SCORE 28182.886
AT ITER 4397 NEW BEST:: SOT 96247 SOS 31884 HAS SOPS 31884 HAS SOUS 28150 HAS SOUPS 28150 WITH SCORE 28181.884
AT ITER 4412 NEW BEST:: SOT 96240 SOS 31863 HAS SOPS 31863 HAS SOUS 28114 HAS SOUPS 28114 WITH SCORE 28145.863
AT ITER 4446 NEW BEST:: SOT 96230 SOS 31827 HAS SOPS 31827 HAS SOUS 28092 HAS SOUPS 28092 WITH SCORE 28123.827
AT ITER 4491 NEW BEST:: SOT 96182 SOS 31684 HAS SOPS 31684 HAS SOUS 27949 HAS SOUPS 27949 WITH SCORE 27980.684
AT ITER 4532 NEW BEST:: SOT 96171 SOS 31629 HAS SOPS 31629 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27939.629
AT ITER 4553 NEW BEST:: SOT 96168 SOS 31620 HAS SOPS 31620 HAS SOUS 27902 HAS SOUPS 27902 WITH SCORE 27933.62
AT ITER 4558 NEW BEST:: SOT 96128 SOS 31551 HAS SOPS 31551 HAS SOUS 27815 HAS SOUPS 27815 WITH SCORE 27846.551
AT ITER 4578 NEW BEST:: SOT 96132 SOS 31563 HAS SOPS 31563 HAS SOUS 27809 HAS SOUPS 27809 WITH SCORE 27840.563
AT ITER 4587 NEW BEST:: SOT 96112 SOS 31533 HAS SOPS 31533 HAS SOUS 27782 HAS SOUPS 27782 WITH SCORE 27813.533
AT ITER 4614 NEW BEST:: SOT 96099 SOS 31492 HAS SOPS 31492 HAS SOUS 27769 HAS SOUPS 27769 WITH SCORE 27800.492
AT ITER 4627 NEW BEST:: SOT 96099 SOS 31444 HAS SOPS 31444 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27785.444
AT ITER 4641 NEW BEST:: SOT 96061 SOS 31395 HAS SOPS 31395 HAS SOUS 27747 HAS SOUPS 27747 WITH SCORE 27778.395
AT ITER 4648 NEW BEST:: SOT 95993 SOS 31257 HAS SOPS 31257 HAS SOUS 27630 HAS SOUPS 27630 WITH SCORE 27661.257
AT ITER 4658 NEW BEST:: SOT 96005 SOS 31233 HAS SOPS 31233 HAS SOUS 27596 HAS SOUPS 27596 WITH SCORE 27627.233
AT ITER 4669 NEW BEST:: SOT 96017 SOS 31273 HAS SOPS 31273 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27622.273
AT ITER 4705 NEW BEST:: SOT 96017 SOS 31277 HAS SOPS 31277 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27613.277
AT ITER 4720 NEW BEST:: SOT 96017 SOS 31251 HAS SOPS 31251 HAS SOUS 27582 HAS SOUPS 27582 WITH SCORE 27613.251
AT ITER 4736 NEW BEST:: SOT 95981 SOS 31194 HAS SOPS 31194 HAS SOUS 27512 HAS SOUPS 27512 WITH SCORE 27543.194
AT ITER 4741 NEW BEST:: SOT 95970 SOS 31208 HAS SOPS 31208 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27539.208
AT ITER 4767 NEW BEST:: SOT 95959 SOS 31155 HAS SOPS 31155 HAS SOUS 27483 HAS SOUPS 27483 WITH SCORE 27514.155
AT ITER 4810 NEW BEST:: SOT 95911 SOS 31075 HAS SOPS 31075 HAS SOUS 27410 HAS SOUPS 27410 WITH SCORE 27441.075
AT ITER 4811 NEW BEST:: SOT 95879 SOS 31023 HAS SOPS 31023 HAS SOUS 27349 HAS SOUPS 27349 WITH SCORE 27380.023
AT ITER 4812 NEW BEST:: SOT 95877 SOS 31048 HAS SOPS 31048 HAS SOUS 27347 HAS SOUPS 27347 WITH SCORE 27378.048
AT ITER 4819 NEW BEST:: SOT 95856 SOS 31020 HAS SOPS 31020 HAS SOUS 27312 HAS SOUPS 27312 WITH SCORE 27343.02
AT ITER 4824 NEW BEST:: SOT 95808 SOS 30926 HAS SOPS 30926 HAS SOUS 27244 HAS SOUPS 27244 WITH SCORE 27274.926
AT ITER 4829 NEW BEST:: SOT 95796 SOS 30886 HAS SOPS 30886 HAS SOUS 27232 HAS SOUPS 27232 WITH SCORE 27262.886
AT ITER 4981 NEW BEST:: SOT 95785 SOS 30847 HAS SOPS 30847 HAS SOUS 27190 HAS SOUPS 27190 WITH SCORE 27220.847
AT ITER 5005 NEW BEST:: SOT 95751 SOS 30783 HAS SOPS 30783 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27134.783
AT ITER 5007 NEW BEST:: SOT 95744 SOS 30770 HAS SOPS 30770 HAS SOUS 27091 HAS SOUPS 27091 WITH SCORE 27121.77
AT ITER 5025 NEW BEST:: SOT 95726 SOS 30734 HAS SOPS 30734 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27091.734
AT ITER 5034 NEW BEST:: SOT 95726 SOS 30706 HAS SOPS 30706 HAS SOUS 27038 HAS SOUPS 27038 WITH SCORE 27068.706
AT ITER 5052 NEW BEST:: SOT 95696 SOS 30666 HAS SOPS 30666 HAS SOUS 27013 HAS SOUPS 27013 WITH SCORE 27043.666
AT ITER 5056 NEW BEST:: SOT 95686 SOS 30656 HAS SOPS 30656 HAS SOUS 27003 HAS SOUPS 27003 WITH SCORE 27033.656
AT ITER 5071 NEW BEST:: SOT 95667 SOS 30637 HAS SOPS 30637 HAS SOUS 26984 HAS SOUPS 26984 WITH SCORE 27014.637
AT ITER 5078 NEW BEST:: SOT 95659 SOS 30621 HAS SOPS 30621 HAS SOUS 26968 HAS SOUPS 26968 WITH SCORE 26998.621
AT ITER 5097 NEW BEST:: SOT 95632 SOS 30562 HAS SOPS 30562 HAS SOUS 26904 HAS SOUPS 26904 WITH SCORE 26934.562
AT ITER 5102 NEW BEST:: SOT 95621 SOS 30549 HAS SOPS 30549 HAS SOUS 26889 HAS SOUPS 26889 WITH SCORE 26919.549
AT ITER 5119 NEW BEST:: SOT 95622 SOS 30552 HAS SOPS 30552 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26899.552
AT ITER 5135 NEW BEST:: SOT 95616 SOS 30544 HAS SOPS 30544 HAS SOUS 26861 HAS SOUPS 26861 WITH SCORE 26891.544
AT ITER 5160 NEW BEST:: SOT 95615 SOS 30542 HAS SOPS 30542 HAS SOUS 26859 HAS SOUPS 26859 WITH SCORE 26889.542
AT ITER 5205 NEW BEST:: SOT 95622 SOS 30531 HAS SOPS 30531 HAS SOUS 26834 HAS SOUPS 26834 WITH SCORE 26864.531
AT ITER 5212 NEW BEST:: SOT 95608 SOS 30525 HAS SOPS 30525 HAS SOUS 26833 HAS SOUPS 26833 WITH SCORE 26863.525
AT ITER 5215 NEW BEST:: SOT 95594 SOS 30479 HAS SOPS 30479 HAS SOUS 26819 HAS SOUPS 26819 WITH SCORE 26849.479
AT ITER 5236 NEW BEST:: SOT 95590 SOS 30473 HAS SOPS 30473 HAS SOUS 26808 HAS SOUPS 26808 WITH SCORE 26838.473
AT ITER 5256 NEW BEST:: SOT 95574 SOS 30471 HAS SOPS 30471 HAS SOUS 26791 HAS SOUPS 26791 WITH SCORE 26821.471
AT ITER 5259 NEW BEST:: SOT 95571 SOS 30467 HAS SOPS 30467 HAS SOUS 26789 HAS SOUPS 26789 WITH SCORE 26819.467
AT ITER 5336 NEW BEST:: SOT 95515 SOS 30383 HAS SOPS 30383 HAS SOUS 26727 HAS SOUPS 26727 WITH SCORE 26757.383
AT ITER 5393 NEW BEST:: SOT 95377 SOS 30199 HAS SOPS 30199 HAS SOUS 26534 HAS SOUPS 26534 WITH SCORE 26564.199
AT ITER 5397 NEW BEST:: SOT 95377 SOS 30197 HAS SOPS 30197 HAS SOUS 26534 HAS SOUPS 26534 WITH SCORE 26564.197
AT ITER 5406 NEW BEST:: SOT 95377 SOS 30205 HAS SOPS 30205 HAS SOUS 26526 HAS SOUPS 26526 WITH SCORE 26556.205
AT ITER 5418 NEW BEST:: SOT 95346 SOS 30160 HAS SOPS 30160 HAS SOUS 26469 HAS SOUPS 26469 WITH SCORE 26499.16
AT ITER 5421 NEW BEST:: SOT 95335 SOS 30149 HAS SOPS 30149 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26477.149
AT ITER 5451 NEW BEST:: SOT 95287 SOS 30101 HAS SOPS 30101 HAS SOUS 26426 HAS SOUPS 26426 WITH SCORE 26456.101
AT ITER 5458 NEW BEST:: SOT 95278 SOS 30090 HAS SOPS 30090 HAS SOUS 26423 HAS SOUPS 26423 WITH SCORE 26453.09
AT ITER 5469 NEW BEST:: SOT 95261 SOS 30039 HAS SOPS 30039 HAS SOUS 26389 HAS SOUPS 26389 WITH SCORE 26419.039
AT ITER 5482 NEW BEST:: SOT 95257 SOS 30019 HAS SOPS 30019 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26407.019
AT ITER 5489 NEW BEST:: SOT 95242 SOS 29959 HAS SOPS 29959 HAS SOUS 26347 HAS SOUPS 26347 WITH SCORE 26376.959
AT ITER 5515 NEW BEST:: SOT 95185 SOS 29864 HAS SOPS 29864 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26300.864
AT ITER 5523 NEW BEST:: SOT 95182 SOS 29855 HAS SOPS 29855 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26294.855
AT ITER 5556 NEW BEST:: SOT 95157 SOS 29818 HAS SOPS 29818 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26257.818
AT ITER 5560 NEW BEST:: SOT 95154 SOS 29814 HAS SOPS 29814 HAS SOUS 26224 HAS SOUPS 26224 WITH SCORE 26253.814
AT ITER 5575 NEW BEST:: SOT 95149 SOS 29790 HAS SOPS 29790 HAS SOUS 26200 HAS SOUPS 26200 WITH SCORE 26229.79
AT ITER 5583 NEW BEST:: SOT 95149 SOS 29785 HAS SOPS 29785 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26224.785
AT ITER 5603 NEW BEST:: SOT 95148 SOS 29780 HAS SOPS 29780 HAS SOUS 26193 HAS SOUPS 26193 WITH SCORE 26222.78
AT ITER 5610 NEW BEST:: SOT 95167 SOS 29740 HAS SOPS 29740 HAS SOUS 26179 HAS SOUPS 26179 WITH SCORE 26208.74
AT ITER 5646 NEW BEST:: SOT 95163 SOS 29734 HAS SOPS 29734 HAS SOUS 26175 HAS SOUPS 26175 WITH SCORE 26204.734
AT ITER 5652 NEW BEST:: SOT 95152 SOS 29705 HAS SOPS 29705 HAS SOUS 26153 HAS SOUPS 26153 WITH SCORE 26182.705
AT ITER 5654 NEW BEST:: SOT 95045 SOS 29502 HAS SOPS 29502 HAS SOUS 25948 HAS SOUPS 25948 WITH SCORE 25977.502
AT ITER 5680 NEW BEST:: SOT 95045 SOS 29496 HAS SOPS 29496 HAS SOUS 25948 HAS SOUPS 25948 WITH SCORE 25977.496
AT ITER 5710 NEW BEST:: SOT 95039 SOS 29498 HAS SOPS 29498 HAS SOUS 25947 HAS SOUPS 25947 WITH SCORE 25976.498
AT ITER 5727 NEW BEST:: SOT 95039 SOS 29498 HAS SOPS 29498 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25975.498
AT ITER 5731 NEW BEST:: SOT 95038 SOS 29494 HAS SOPS 29494 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25975.494
AT ITER 5740 NEW BEST:: SOT 95028 SOS 29464 HAS SOPS 29464 HAS SOUS 25926 HAS SOUPS 25926 WITH SCORE 25955.464
AT ITER 5753 NEW BEST:: SOT 95049 SOS 29440 HAS SOPS 29440 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25916.44
AT ITER 5778 NEW BEST:: SOT 95029 SOS 29415 HAS SOPS 29415 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25891.415
AT ITER 5798 NEW BEST:: SOT 95029 SOS 29369 HAS SOPS 29369 HAS SOUS 25847 HAS SOUPS 25847 WITH SCORE 25876.369
AT ITER 5818 NEW BEST:: SOT 95029 SOS 29363 HAS SOPS 29363 HAS SOUS 25844 HAS SOUPS 25844 WITH SCORE 25873.363
AT ITER 5868 NEW BEST:: SOT 95029 SOS 29361 HAS SOPS 29361 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25872.361
AT ITER 5880 NEW BEST:: SOT 95017 SOS 29349 HAS SOPS 29349 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25872.349
AT ITER 5891 NEW BEST:: SOT 94989 SOS 29266 HAS SOPS 29266 HAS SOUS 25810 HAS SOUPS 25810 WITH SCORE 25839.266
AT ITER 5903 NEW BEST:: SOT 94943 SOS 29189 HAS SOPS 29189 HAS SOUS 25736 HAS SOUPS 25736 WITH SCORE 25765.189
AT ITER 5917 NEW BEST:: SOT 94932 SOS 29178 HAS SOPS 29178 HAS SOUS 25725 HAS SOUPS 25725 WITH SCORE 25754.178
AT ITER 5919 NEW BEST:: SOT 94942 SOS 29205 HAS SOPS 29205 HAS SOUS 25724 HAS SOUPS 25724 WITH SCORE 25753.205
AT ITER 5938 NEW BEST:: SOT 94935 SOS 29216 HAS SOPS 29216 HAS SOUS 25717 HAS SOUPS 25717 WITH SCORE 25746.216
AT ITER 5941 NEW BEST:: SOT 94915 SOS 29176 HAS SOPS 29176 HAS SOUS 25698 HAS SOUPS 25698 WITH SCORE 25727.176
AT ITER 5982 NEW BEST:: SOT 94905 SOS 29165 HAS SOPS 29165 HAS SOUS 25687 HAS SOUPS 25687 WITH SCORE 25716.165
AT ITER 6038 NEW BEST:: SOT 94874 SOS 29134 HAS SOPS 29134 HAS SOUS 25682 HAS SOUPS 25682 WITH SCORE 25711.134
AT ITER 6056 NEW BEST:: SOT 94870 SOS 29118 HAS SOPS 29118 HAS SOUS 25652 HAS SOUPS 25652 WITH SCORE 25681.118
AT ITER 6063 NEW BEST:: SOT 94882 SOS 29130 HAS SOPS 29130 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 25680.13
AT ITER 6115 NEW BEST:: SOT 94882 SOS 29122 HAS SOPS 29122 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 25680.122
AT ITER 6130 NEW BEST:: SOT 94880 SOS 29120 HAS SOPS 29120 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25678.12
AT ITER 6148 NEW BEST:: SOT 94877 SOS 29111 HAS SOPS 29111 HAS SOUS 25645 HAS SOUPS 25645 WITH SCORE 25674.111
AT ITER 6150 NEW BEST:: SOT 94853 SOS 29079 HAS SOPS 29079 HAS SOUS 25613 HAS SOUPS 25613 WITH SCORE 25642.079
AT ITER 6153 NEW BEST:: SOT 94840 SOS 29061 HAS SOPS 29061 HAS SOUS 25606 HAS SOUPS 25606 WITH SCORE 25635.061
AT ITER 6161 NEW BEST:: SOT 94840 SOS 29039 HAS SOPS 29039 HAS SOUS 25592 HAS SOUPS 25592 WITH SCORE 25621.039
AT ITER 6185 NEW BEST:: SOT 94822 SOS 28997 HAS SOPS 28997 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25590.997
AT ITER 6191 NEW BEST:: SOT 94810 SOS 28949 HAS SOPS 28949 HAS SOUS 25551 HAS SOUPS 25551 WITH SCORE 25579.949
AT ITER 6197 NEW BEST:: SOT 94801 SOS 28938 HAS SOPS 28938 HAS SOUS 25540 HAS SOUPS 25540 WITH SCORE 25568.938
AT ITER 6199 NEW BEST:: SOT 94799 SOS 28935 HAS SOPS 28935 HAS SOUS 25537 HAS SOUPS 25537 WITH SCORE 25565.935
AT ITER 6205 NEW BEST:: SOT 94786 SOS 28903 HAS SOPS 28903 HAS SOUS 25493 HAS SOUPS 25493 WITH SCORE 25521.903
AT ITER 6245 NEW BEST:: SOT 94719 SOS 28790 HAS SOPS 28790 HAS SOUS 25419 HAS SOUPS 25419 WITH SCORE 25447.79
AT ITER 6246 NEW BEST:: SOT 94701 SOS 28726 HAS SOPS 28726 HAS SOUS 25388 HAS SOUPS 25388 WITH SCORE 25416.726
AT ITER 6260 NEW BEST:: SOT 94698 SOS 28717 HAS SOPS 28717 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25410.717
AT ITER 6273 NEW BEST:: SOT 94705 SOS 28692 HAS SOPS 28692 HAS SOUS 25362 HAS SOUPS 25362 WITH SCORE 25390.692
AT ITER 6279 NEW BEST:: SOT 94696 SOS 28701 HAS SOPS 28701 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25373.701
AT ITER 6332 NEW BEST:: SOT 94695 SOS 28699 HAS SOPS 28699 HAS SOUS 25343 HAS SOUPS 25343 WITH SCORE 25371.699
AT ITER 6383 NEW BEST:: SOT 94657 SOS 28651 HAS SOPS 28651 HAS SOUS 25295 HAS SOUPS 25295 WITH SCORE 25323.651
AT ITER 6441 NEW BEST:: SOT 94638 SOS 28607 HAS SOPS 28607 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25305.607
AT ITER 6449 NEW BEST:: SOT 94627 SOS 28596 HAS SOPS 28596 HAS SOUS 25266 HAS SOUPS 25266 WITH SCORE 25294.596
AT ITER 6471 NEW BEST:: SOT 94627 SOS 28586 HAS SOPS 28586 HAS SOUS 25265 HAS SOUPS 25265 WITH SCORE 25293.586
AT ITER 6480 NEW BEST:: SOT 94627 SOS 28584 HAS SOPS 28584 HAS SOUS 25265 HAS SOUPS 25265 WITH SCORE 25293.584
AT ITER 6491 NEW BEST:: SOT 94604 SOS 28539 HAS SOPS 28539 HAS SOUS 25220 HAS SOUPS 25220 WITH SCORE 25248.539
AT ITER 6498 NEW BEST:: SOT 94603 SOS 28537 HAS SOPS 28537 HAS SOUS 25219 HAS SOUPS 25219 WITH SCORE 25247.537
AT ITER 6584 NEW BEST:: SOT 94556 SOS 28418 HAS SOPS 28418 HAS SOUS 25115 HAS SOUPS 25115 WITH SCORE 25143.418
AT ITER 6631 NEW BEST:: SOT 94541 SOS 28408 HAS SOPS 28408 HAS SOUS 25108 HAS SOUPS 25108 WITH SCORE 25136.408
AT ITER 6636 NEW BEST:: SOT 94541 SOS 28420 HAS SOPS 28420 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25129.42
AT ITER 6653 NEW BEST:: SOT 94535 SOS 28412 HAS SOPS 28412 HAS SOUS 25090 HAS SOUPS 25090 WITH SCORE 25118.412
AT ITER 6659 NEW BEST:: SOT 94533 SOS 28392 HAS SOPS 28392 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25114.392
AT ITER 6661 NEW BEST:: SOT 94519 SOS 28366 HAS SOPS 28366 HAS SOUS 25060 HAS SOUPS 25060 WITH SCORE 25088.366
AT ITER 6670 NEW BEST:: SOT 94505 SOS 28341 HAS SOPS 28341 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25048.341
AT ITER 6700 NEW BEST:: SOT 94503 SOS 28333 HAS SOPS 28333 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25042.333
AT ITER 6720 NEW BEST:: SOT 94503 SOS 28332 HAS SOPS 28332 HAS SOUS 25014 HAS SOUPS 25014 WITH SCORE 25042.332
AT ITER 6724 NEW BEST:: SOT 94503 SOS 28324 HAS SOPS 28324 HAS SOUS 25006 HAS SOUPS 25006 WITH SCORE 25034.324
AT ITER 6726 NEW BEST:: SOT 94482 SOS 28261 HAS SOPS 28261 HAS SOUS 24985 HAS SOUPS 24985 WITH SCORE 25013.261
AT ITER 6753 NEW BEST:: SOT 94486 SOS 28247 HAS SOPS 28247 HAS SOUS 24976 HAS SOUPS 24976 WITH SCORE 25004.247
AT ITER 6754 NEW BEST:: SOT 94484 SOS 28245 HAS SOPS 28245 HAS SOUS 24974 HAS SOUPS 24974 WITH SCORE 25002.245
AT ITER 6785 NEW BEST:: SOT 94483 SOS 28254 HAS SOPS 28254 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 24998.254
AT ITER 6809 NEW BEST:: SOT 94452 SOS 28222 HAS SOPS 28222 HAS SOUS 24907 HAS SOUPS 24907 WITH SCORE 24935.222
AT ITER 6828 NEW BEST:: SOT 94446 SOS 28214 HAS SOPS 28214 HAS SOUS 24899 HAS SOUPS 24899 WITH SCORE 24927.214
AT ITER 6916 NEW BEST:: SOT 94426 SOS 28172 HAS SOPS 28172 HAS SOUS 24879 HAS SOUPS 24879 WITH SCORE 24907.172
AT ITER 6958 NEW BEST:: SOT 94387 SOS 28120 HAS SOPS 28120 HAS SOUS 24827 HAS SOUPS 24827 WITH SCORE 24855.12
AT ITER 7020 NEW BEST:: SOT 94387 SOS 28120 HAS SOPS 28120 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24846.12
AT ITER 7021 NEW BEST:: SOT 94368 SOS 28079 HAS SOPS 28079 HAS SOUS 24796 HAS SOUPS 24796 WITH SCORE 24824.079
AT ITER 7026 NEW BEST:: SOT 94368 SOS 28074 HAS SOPS 28074 HAS SOUS 24796 HAS SOUPS 24796 WITH SCORE 24824.074
AT ITER 7036 NEW BEST:: SOT 94368 SOS 28038 HAS SOPS 28038 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24806.038
AT ITER 7045 NEW BEST:: SOT 94348 SOS 28010 HAS SOPS 28010 HAS SOUS 24760 HAS SOUPS 24760 WITH SCORE 24788.01
AT ITER 7074 NEW BEST:: SOT 94365 SOS 28033 HAS SOPS 28033 HAS SOUS 24745 HAS SOUPS 24745 WITH SCORE 24773.033
AT ITER 7119 NEW BEST:: SOT 94365 SOS 28033 HAS SOPS 28033 HAS SOUS 24737 HAS SOUPS 24737 WITH SCORE 24765.033
AT ITER 7127 NEW BEST:: SOT 94363 SOS 28023 HAS SOPS 28023 HAS SOUS 24732 HAS SOUPS 24732 WITH SCORE 24760.023
AT ITER 7181 NEW BEST:: SOT 94366 SOS 28017 HAS SOPS 28017 HAS SOUS 24728 HAS SOUPS 24728 WITH SCORE 24756.017
AT ITER 7238 NEW BEST:: SOT 94371 SOS 27934 HAS SOPS 27934 HAS SOUS 24701 HAS SOUPS 24701 WITH SCORE 24728.934
AT ITER 7286 NEW BEST:: SOT 94371 SOS 27926 HAS SOPS 27926 HAS SOUS 24697 HAS SOUPS 24697 WITH SCORE 24724.926
AT ITER 7293 NEW BEST:: SOT 94367 SOS 27920 HAS SOPS 27920 HAS SOUS 24691 HAS SOUPS 24691 WITH SCORE 24718.92
AT ITER 7296 NEW BEST:: SOT 94366 SOS 27913 HAS SOPS 27913 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24713.913
AT ITER 7329 NEW BEST:: SOT 94366 SOS 27913 HAS SOPS 27913 HAS SOUS 24683 HAS SOUPS 24683 WITH SCORE 24710.913
AT ITER 7330 NEW BEST:: SOT 94342 SOS 27873 HAS SOPS 27873 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24678.873
AT ITER 7455 NEW BEST:: SOT 94342 SOS 27873 HAS SOPS 27873 HAS SOUS 24641 HAS SOUPS 24641 WITH SCORE 24668.873
AT ITER 7491 NEW BEST:: SOT 94302 SOS 27827 HAS SOPS 27827 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 24624.827
AT ITER 7493 NEW BEST:: SOT 94302 SOS 27814 HAS SOPS 27814 HAS SOUS 24595 HAS SOUPS 24595 WITH SCORE 24622.814
AT ITER 7509 NEW BEST:: SOT 94292 SOS 27774 HAS SOPS 27774 HAS SOUS 24565 HAS SOUPS 24565 WITH SCORE 24592.774
AT ITER 7518 NEW BEST:: SOT 94233 SOS 27696 HAS SOPS 27696 HAS SOUS 24487 HAS SOUPS 24487 WITH SCORE 24514.696
AT ITER 7615 NEW BEST:: SOT 94236 SOS 27694 HAS SOPS 27694 HAS SOUS 24476 HAS SOUPS 24476 WITH SCORE 24503.694
AT ITER 7634 NEW BEST:: SOT 94236 SOS 27672 HAS SOPS 27672 HAS SOUS 24447 HAS SOUPS 24447 WITH SCORE 24474.672
AT ITER 7635 NEW BEST:: SOT 94220 SOS 27650 HAS SOPS 27650 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24442.65
AT ITER 7701 NEW BEST:: SOT 94196 SOS 27653 HAS SOPS 27653 HAS SOUS 24409 HAS SOUPS 24409 WITH SCORE 24436.653
AT ITER 7718 NEW BEST:: SOT 94172 SOS 27622 HAS SOPS 27622 HAS SOUS 24376 HAS SOUPS 24376 WITH SCORE 24403.622
AT ITER 7753 NEW BEST:: SOT 94166 SOS 27612 HAS SOPS 27612 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24397.612
AT ITER 7781 NEW BEST:: SOT 94166 SOS 27604 HAS SOPS 27604 HAS SOUS 24370 HAS SOUPS 24370 WITH SCORE 24397.604
AT ITER 7800 NEW BEST:: SOT 94151 SOS 27595 HAS SOPS 27595 HAS SOUS 24361 HAS SOUPS 24361 WITH SCORE 24388.595
AT ITER 7814 NEW BEST:: SOT 94133 SOS 27568 HAS SOPS 27568 HAS SOUS 24344 HAS SOUPS 24344 WITH SCORE 24371.568
AT ITER 7884 NEW BEST:: SOT 94113 SOS 27468 HAS SOPS 27468 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24311.468
AT ITER 7893 NEW BEST:: SOT 94092 SOS 27457 HAS SOPS 27457 HAS SOUS 24260 HAS SOUPS 24260 WITH SCORE 24287.457
AT ITER 7908 NEW BEST:: SOT 94071 SOS 27420 HAS SOPS 27420 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24259.42
AT ITER 7914 NEW BEST:: SOT 94069 SOS 27430 HAS SOPS 27430 HAS SOUS 24214 HAS SOUPS 24214 WITH SCORE 24241.43
AT ITER 7964 NEW BEST:: SOT 94040 SOS 27372 HAS SOPS 27372 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24188.372
AT ITER 7996 NEW BEST:: SOT 94040 SOS 27367 HAS SOPS 27367 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24188.367
AT ITER 7997 NEW BEST:: SOT 94040 SOS 27367 HAS SOPS 27367 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24186.367
AT ITER 8005 NEW BEST:: SOT 94031 SOS 27340 HAS SOPS 27340 HAS SOUS 24150 HAS SOUPS 24150 WITH SCORE 24177.34
AT ITER 8030 NEW BEST:: SOT 94016 SOS 27320 HAS SOPS 27320 HAS SOUS 24133 HAS SOUPS 24133 WITH SCORE 24160.32
AT ITER 8041 NEW BEST:: SOT 94007 SOS 27289 HAS SOPS 27289 HAS SOUS 24102 HAS SOUPS 24102 WITH SCORE 24129.289
AT ITER 8081 NEW BEST:: SOT 93989 SOS 27265 HAS SOPS 27265 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24105.265
AT ITER 8104 NEW BEST:: SOT 93971 SOS 27247 HAS SOPS 27247 HAS SOUS 24051 HAS SOUPS 24051 WITH SCORE 24078.247
AT ITER 8217 NEW BEST:: SOT 93968 SOS 27243 HAS SOPS 27243 HAS SOUS 24047 HAS SOUPS 24047 WITH SCORE 24074.243
AT ITER 8238 NEW BEST:: SOT 93962 SOS 27235 HAS SOPS 27235 HAS SOUS 24039 HAS SOUPS 24039 WITH SCORE 24066.235
AT ITER 8276 NEW BEST:: SOT 93962 SOS 27189 HAS SOPS 27189 HAS SOUS 24039 HAS SOUPS 24039 WITH SCORE 24066.189
AT ITER 8291 NEW BEST:: SOT 93959 SOS 27180 HAS SOPS 27180 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24057.18
AT ITER 8334 NEW BEST:: SOT 93951 SOS 27160 HAS SOPS 27160 HAS SOUS 24014 HAS SOUPS 24014 WITH SCORE 24041.16
AT ITER 8342 NEW BEST:: SOT 93922 SOS 27118 HAS SOPS 27118 HAS SOUS 23972 HAS SOUPS 23972 WITH SCORE 23999.118
AT ITER 8344 NEW BEST:: SOT 93922 SOS 27076 HAS SOPS 27076 HAS SOUS 23958 HAS SOUPS 23958 WITH SCORE 23985.076
AT ITER 8346 NEW BEST:: SOT 93884 SOS 26981 HAS SOPS 26981 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23927.981
AT ITER 8431 NEW BEST:: SOT 93821 SOS 26892 HAS SOPS 26892 HAS SOUS 23812 HAS SOUPS 23812 WITH SCORE 23838.892
AT ITER 8556 NEW BEST:: SOT 93815 SOS 26883 HAS SOPS 26883 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23826.883
AT ITER 8567 NEW BEST:: SOT 93835 SOS 26883 HAS SOPS 26883 HAS SOUS 23786 HAS SOUPS 23786 WITH SCORE 23812.883
AT ITER 8570 NEW BEST:: SOT 93831 SOS 26836 HAS SOPS 26836 HAS SOUS 23760 HAS SOUPS 23760 WITH SCORE 23786.836
AT ITER 8598 NEW BEST:: SOT 93790 SOS 26795 HAS SOPS 26795 HAS SOUS 23760 HAS SOUPS 23760 WITH SCORE 23786.795
AT ITER 8626 NEW BEST:: SOT 93784 SOS 26789 HAS SOPS 26789 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23780.789
AT ITER 8674 NEW BEST:: SOT 93754 SOS 26726 HAS SOPS 26726 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23709.726
AT ITER 8704 NEW BEST:: SOT 93751 SOS 26723 HAS SOPS 26723 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23694.723
AT ITER 8711 NEW BEST:: SOT 93752 SOS 26726 HAS SOPS 26726 HAS SOUS 23664 HAS SOUPS 23664 WITH SCORE 23690.726
AT ITER 8763 NEW BEST:: SOT 93762 SOS 26723 HAS SOPS 26723 HAS SOUS 23662 HAS SOUPS 23662 WITH SCORE 23688.723
AT ITER 8770 NEW BEST:: SOT 93700 SOS 26669 HAS SOPS 26669 HAS SOUS 23600 HAS SOUPS 23600 WITH SCORE 23626.669
AT ITER 8777 NEW BEST:: SOT 93684 SOS 26653 HAS SOPS 26653 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23610.653
AT ITER 8815 NEW BEST:: SOT 93710 SOS 26670 HAS SOPS 26670 HAS SOUS 23572 HAS SOUPS 23572 WITH SCORE 23598.67
AT ITER 8817 NEW BEST:: SOT 93702 SOS 26658 HAS SOPS 26658 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23588.658
AT ITER 8829 NEW BEST:: SOT 93698 SOS 26658 HAS SOPS 26658 HAS SOUS 23558 HAS SOUPS 23558 WITH SCORE 23584.658
AT ITER 8879 NEW BEST:: SOT 93697 SOS 26652 HAS SOPS 26652 HAS SOUS 23544 HAS SOUPS 23544 WITH SCORE 23570.652
AT ITER 8919 NEW BEST:: SOT 93670 SOS 26607 HAS SOPS 26607 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23545.607
AT ITER 8984 NEW BEST:: SOT 93666 SOS 26599 HAS SOPS 26599 HAS SOUS 23511 HAS SOUPS 23511 WITH SCORE 23537.599
AT ITER 8995 NEW BEST:: SOT 93645 SOS 26578 HAS SOPS 26578 HAS SOUS 23483 HAS SOUPS 23483 WITH SCORE 23509.578
AT ITER 9001 NEW BEST:: SOT 93645 SOS 26578 HAS SOPS 26578 HAS SOUS 23479 HAS SOUPS 23479 WITH SCORE 23505.578
AT ITER 9139 NEW BEST:: SOT 93636 SOS 26566 HAS SOPS 26566 HAS SOUS 23467 HAS SOUPS 23467 WITH SCORE 23493.566
AT ITER 9152 NEW BEST:: SOT 93599 SOS 26503 HAS SOPS 26503 HAS SOUS 23414 HAS SOUPS 23414 WITH SCORE 23440.503
AT ITER 9169 NEW BEST:: SOT 93583 SOS 26499 HAS SOPS 26499 HAS SOUS 23400 HAS SOUPS 23400 WITH SCORE 23426.499
AT ITER 9178 NEW BEST:: SOT 93551 SOS 26443 HAS SOPS 26443 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23388.443
AT ITER 9232 NEW BEST:: SOT 93573 SOS 26465 HAS SOPS 26465 HAS SOUS 23352 HAS SOUPS 23352 WITH SCORE 23378.465
AT ITER 9236 NEW BEST:: SOT 93565 SOS 26449 HAS SOPS 26449 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23361.449
AT ITER 9237 NEW BEST:: SOT 93560 SOS 26444 HAS SOPS 26444 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23354.444
AT ITER 9264 NEW BEST:: SOT 93560 SOS 26442 HAS SOPS 26442 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23354.442
AT ITER 9265 NEW BEST:: SOT 93560 SOS 26442 HAS SOPS 26442 HAS SOUS 23326 HAS SOUPS 23326 WITH SCORE 23352.442
AT ITER 9272 NEW BEST:: SOT 93529 SOS 26402 HAS SOPS 26402 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23327.402
AT ITER 9284 NEW BEST:: SOT 93523 SOS 26388 HAS SOPS 26388 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23318.388
AT ITER 9436 NEW BEST:: SOT 93514 SOS 26369 HAS SOPS 26369 HAS SOUS 23283 HAS SOUPS 23283 WITH SCORE 23309.369
AT ITER 9446 NEW BEST:: SOT 93495 SOS 26350 HAS SOPS 26350 HAS SOUS 23254 HAS SOUPS 23254 WITH SCORE 23280.35
AT ITER 9472 NEW BEST:: SOT 93482 SOS 26352 HAS SOPS 26352 HAS SOUS 23238 HAS SOUPS 23238 WITH SCORE 23264.352
AT ITER 9474 NEW BEST:: SOT 93480 SOS 26344 HAS SOPS 26344 HAS SOUS 23232 HAS SOUPS 23232 WITH SCORE 23258.344
AT ITER 9487 NEW BEST:: SOT 93478 SOS 26340 HAS SOPS 26340 HAS SOUS 23228 HAS SOUPS 23228 WITH SCORE 23254.34
AT ITER 9488 NEW BEST:: SOT 93459 SOS 26319 HAS SOPS 26319 HAS SOUS 23203 HAS SOUPS 23203 WITH SCORE 23229.319
AT ITER 9552 NEW BEST:: SOT 93459 SOS 26271 HAS SOPS 26271 HAS SOUS 23187 HAS SOUPS 23187 WITH SCORE 23213.271
AT ITER 9614 NEW BEST:: SOT 93432 SOS 26259 HAS SOPS 26259 HAS SOUS 23130 HAS SOUPS 23130 WITH SCORE 23156.259
AT ITER 9643 NEW BEST:: SOT 93422 SOS 26229 HAS SOPS 26229 HAS SOUS 23110 HAS SOUPS 23110 WITH SCORE 23136.229
AT ITER 9647 NEW BEST:: SOT 93420 SOS 26223 HAS SOPS 26223 HAS SOUS 23102 HAS SOUPS 23102 WITH SCORE 23128.223
AT ITER 9689 NEW BEST:: SOT 93371 SOS 26135 HAS SOPS 26135 HAS SOUS 23031 HAS SOUPS 23031 WITH SCORE 23057.135
AT ITER 9695 NEW BEST:: SOT 93364 SOS 26114 HAS SOPS 26114 HAS SOUS 23019 HAS SOUPS 23019 WITH SCORE 23045.114
AT ITER 9719 NEW BEST:: SOT 93300 SOS 25986 HAS SOPS 25986 HAS SOUS 22953 HAS SOUPS 22953 WITH SCORE 22978.986
AT ITER 9786 NEW BEST:: SOT 93309 SOS 25969 HAS SOPS 25969 HAS SOUS 22946 HAS SOUPS 22946 WITH SCORE 22971.969
AT ITER 9823 NEW BEST:: SOT 93283 SOS 25904 HAS SOPS 25904 HAS SOUS 22899 HAS SOUPS 22899 WITH SCORE 22924.904
AT ITER 9906 NEW BEST:: SOT 93274 SOS 25726 HAS SOPS 25726 HAS SOUS 22885 HAS SOUPS 22885 WITH SCORE 22910.726
AT ITER 9928 NEW BEST:: SOT 93251 SOS 25703 HAS SOPS 25703 HAS SOUS 22862 HAS SOUPS 22862 WITH SCORE 22887.703
AT ITER 9933 NEW BEST:: SOT 93251 SOS 25690 HAS SOPS 25690 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22876.69
AT ITER 9964 NEW BEST:: SOT 93257 SOS 25699 HAS SOPS 25699 HAS SOUS 22847 HAS SOUPS 22847 WITH SCORE 22872.699
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 737060 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16154300 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="ShieldRVt-PT-050A"
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 ShieldRVt-PT-050A, 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 r419-tajo-167905973600328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-050A.tgz
mv ShieldRVt-PT-050A 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 ;