Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 15:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 14:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 107K 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 1678771538210

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=Parking-PT-416
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 416
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: 305 places, 433 transitions, 1289 arcs.
AT ITER 0 NEW BEST:: SOT 79497 SOS 56645 HAS SOPS 56645 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37584.645
AT ITER 1 NEW BEST:: SOT 79497 SOS 56310 HAS SOPS 56310 HAS SOUS 37316 HAS SOUPS 37316 WITH SCORE 37372.31
AT ITER 2 NEW BEST:: SOT 79353 SOS 56286 HAS SOPS 56175 HAS SOUS 37292 HAS SOUPS 37181 WITH SCORE 37237.286
AT ITER 4 NEW BEST:: SOT 79353 SOS 56285 HAS SOPS 56174 HAS SOUS 37291 HAS SOUPS 37180 WITH SCORE 37236.285
AT ITER 5 NEW BEST:: SOT 79323 SOS 56255 HAS SOPS 56144 HAS SOUS 37264 HAS SOUPS 37153 WITH SCORE 37209.255
AT ITER 6 NEW BEST:: SOT 79323 SOS 55990 HAS SOPS 55879 HAS SOUS 37246 HAS SOUPS 37135 WITH SCORE 37190.99
AT ITER 8 NEW BEST:: SOT 79323 SOS 55818 HAS SOPS 55707 HAS SOUS 37190 HAS SOUPS 37079 WITH SCORE 37134.818
AT ITER 12 NEW BEST:: SOT 79323 SOS 54142 HAS SOPS 54031 HAS SOUS 36952 HAS SOUPS 36841 WITH SCORE 36895.142
AT ITER 14 NEW BEST:: SOT 79231 SOS 54020 HAS SOPS 53909 HAS SOUS 36830 HAS SOUPS 36719 WITH SCORE 36773.02
AT ITER 15 NEW BEST:: SOT 78905 SOS 53809 HAS SOPS 53595 HAS SOUS 36738 HAS SOUPS 36524 WITH SCORE 36577.809
AT ITER 22 NEW BEST:: SOT 78905 SOS 53536 HAS SOPS 53322 HAS SOUS 36568 HAS SOUPS 36354 WITH SCORE 36407.536
AT ITER 27 NEW BEST:: SOT 78877 SOS 53508 HAS SOPS 53293 HAS SOUS 36540 HAS SOUPS 36325 WITH SCORE 36378.508
AT ITER 28 NEW BEST:: SOT 78374 SOS 52801 HAS SOPS 52471 HAS SOUS 36118 HAS SOUPS 35788 WITH SCORE 35840.801
AT ITER 29 NEW BEST:: SOT 78134 SOS 52560 HAS SOPS 52230 HAS SOUS 35949 HAS SOUPS 35619 WITH SCORE 35671.56
AT ITER 30 NEW BEST:: SOT 78134 SOS 52321 HAS SOPS 51991 HAS SOUS 35885 HAS SOUPS 35555 WITH SCORE 35607.321
AT ITER 32 NEW BEST:: SOT 78134 SOS 52206 HAS SOPS 51876 HAS SOUS 35815 HAS SOUPS 35485 WITH SCORE 35537.206
AT ITER 35 NEW BEST:: SOT 78134 SOS 51673 HAS SOPS 51343 HAS SOUS 35815 HAS SOUPS 35485 WITH SCORE 35536.673
AT ITER 38 NEW BEST:: SOT 78056 SOS 51319 HAS SOPS 50989 HAS SOUS 35789 HAS SOUPS 35459 WITH SCORE 35510.319
AT ITER 43 NEW BEST:: SOT 78056 SOS 51253 HAS SOPS 50923 HAS SOUS 35767 HAS SOUPS 35437 WITH SCORE 35488.253
AT ITER 48 NEW BEST:: SOT 77953 SOS 51150 HAS SOPS 50820 HAS SOUS 35661 HAS SOUPS 35331 WITH SCORE 35382.15
AT ITER 49 NEW BEST:: SOT 77662 SOS 50897 HAS SOPS 50528 HAS SOUS 35506 HAS SOUPS 35137 WITH SCORE 35187.897
AT ITER 50 NEW BEST:: SOT 77426 SOS 50643 HAS SOPS 50255 HAS SOUS 35289 HAS SOUPS 34901 WITH SCORE 34951.643
AT ITER 51 NEW BEST:: SOT 77426 SOS 50643 HAS SOPS 50255 HAS SOUS 35282 HAS SOUPS 34894 WITH SCORE 34944.643
AT ITER 52 NEW BEST:: SOT 76923 SOS 50121 HAS SOPS 49752 HAS SOUS 34924 HAS SOUPS 34555 WITH SCORE 34605.121
AT ITER 58 NEW BEST:: SOT 76923 SOS 49978 HAS SOPS 49609 HAS SOUS 34841 HAS SOUPS 34472 WITH SCORE 34521.978
AT ITER 59 NEW BEST:: SOT 76663 SOS 49764 HAS SOPS 49349 HAS SOUS 34741 HAS SOUPS 34326 WITH SCORE 34375.764
AT ITER 61 NEW BEST:: SOT 76479 SOS 49579 HAS SOPS 49164 HAS SOUS 34619 HAS SOUPS 34204 WITH SCORE 34253.579
AT ITER 62 NEW BEST:: SOT 76246 SOS 49346 HAS SOPS 48930 HAS SOUS 34444 HAS SOUPS 34028 WITH SCORE 34077.346
AT ITER 73 NEW BEST:: SOT 76116 SOS 49216 HAS SOPS 48800 HAS SOUS 34314 HAS SOUPS 33898 WITH SCORE 33947.216
AT ITER 76 NEW BEST:: SOT 76109 SOS 49195 HAS SOPS 48779 HAS SOUS 34293 HAS SOUPS 33877 WITH SCORE 33926.195
AT ITER 77 NEW BEST:: SOT 75754 SOS 48847 HAS SOPS 48431 HAS SOUS 34021 HAS SOUPS 33605 WITH SCORE 33653.847
AT ITER 79 NEW BEST:: SOT 75754 SOS 48630 HAS SOPS 48214 HAS SOUS 33982 HAS SOUPS 33566 WITH SCORE 33614.63
AT ITER 81 NEW BEST:: SOT 75555 SOS 48431 HAS SOPS 48015 HAS SOUS 33832 HAS SOUPS 33416 WITH SCORE 33464.431
AT ITER 88 NEW BEST:: SOT 75555 SOS 48215 HAS SOPS 47799 HAS SOUS 33688 HAS SOUPS 33272 WITH SCORE 33320.215
AT ITER 89 NEW BEST:: SOT 75059 SOS 47719 HAS SOPS 47303 HAS SOUS 33292 HAS SOUPS 32876 WITH SCORE 32923.719
AT ITER 90 NEW BEST:: SOT 75059 SOS 47656 HAS SOPS 47240 HAS SOUS 33271 HAS SOUPS 32855 WITH SCORE 32902.656
AT ITER 100 NEW BEST:: SOT 75059 SOS 47580 HAS SOPS 47164 HAS SOUS 33261 HAS SOUPS 32845 WITH SCORE 32892.58
AT ITER 101 NEW BEST:: SOT 75108 SOS 47295 HAS SOPS 46879 HAS SOUS 33133 HAS SOUPS 32717 WITH SCORE 32764.295
AT ITER 102 NEW BEST:: SOT 74825 SOS 47012 HAS SOPS 46596 HAS SOUS 32955 HAS SOUPS 32539 WITH SCORE 32586.012
AT ITER 103 NEW BEST:: SOT 74791 SOS 46978 HAS SOPS 46562 HAS SOUS 32921 HAS SOUPS 32505 WITH SCORE 32551.978
AT ITER 105 NEW BEST:: SOT 74790 SOS 46977 HAS SOPS 46561 HAS SOUS 32920 HAS SOUPS 32504 WITH SCORE 32550.977
AT ITER 106 NEW BEST:: SOT 74714 SOS 46900 HAS SOPS 46484 HAS SOUS 32843 HAS SOUPS 32427 WITH SCORE 32473.9
AT ITER 109 NEW BEST:: SOT 74403 SOS 46589 HAS SOPS 46173 HAS SOUS 32649 HAS SOUPS 32233 WITH SCORE 32279.589
AT ITER 112 NEW BEST:: SOT 74023 SOS 46209 HAS SOPS 45793 HAS SOUS 32354 HAS SOUPS 31938 WITH SCORE 31984.209
AT ITER 114 NEW BEST:: SOT 74023 SOS 46167 HAS SOPS 45751 HAS SOUS 32354 HAS SOUPS 31938 WITH SCORE 31984.167
AT ITER 115 NEW BEST:: SOT 73976 SOS 46120 HAS SOPS 45704 HAS SOUS 32307 HAS SOUPS 31891 WITH SCORE 31937.12
AT ITER 116 NEW BEST:: SOT 73976 SOS 46175 HAS SOPS 45759 HAS SOUS 32289 HAS SOUPS 31873 WITH SCORE 31919.175
AT ITER 117 NEW BEST:: SOT 73976 SOS 46138 HAS SOPS 45722 HAS SOUS 32289 HAS SOUPS 31873 WITH SCORE 31919.138
AT ITER 120 NEW BEST:: SOT 73728 SOS 45825 HAS SOPS 45334 HAS SOUS 32079 HAS SOUPS 31588 WITH SCORE 31633.825
AT ITER 122 NEW BEST:: SOT 73716 SOS 45813 HAS SOPS 45322 HAS SOUS 32067 HAS SOUPS 31576 WITH SCORE 31621.813
AT ITER 123 NEW BEST:: SOT 73082 SOS 45456 HAS SOPS 44827 HAS SOUS 31754 HAS SOUPS 31125 WITH SCORE 31170.456
AT ITER 125 NEW BEST:: SOT 73096 SOS 45491 HAS SOPS 44862 HAS SOUS 31702 HAS SOUPS 31073 WITH SCORE 31118.491
AT ITER 133 NEW BEST:: SOT 72656 SOS 44828 HAS SOPS 44082 HAS SOUS 31345 HAS SOUPS 30599 WITH SCORE 30643.828
AT ITER 145 NEW BEST:: SOT 72496 SOS 44677 HAS SOPS 43852 HAS SOUS 31180 HAS SOUPS 30355 WITH SCORE 30399.677
AT ITER 147 NEW BEST:: SOT 72496 SOS 44627 HAS SOPS 43802 HAS SOUS 31180 HAS SOUPS 30355 WITH SCORE 30399.627
AT ITER 149 NEW BEST:: SOT 72186 SOS 44328 HAS SOPS 43492 HAS SOUS 30956 HAS SOUPS 30120 WITH SCORE 30164.328
AT ITER 155 NEW BEST:: SOT 71964 SOS 43996 HAS SOPS 43160 HAS SOUS 30734 HAS SOUPS 29898 WITH SCORE 29941.996
AT ITER 157 NEW BEST:: SOT 71452 SOS 43484 HAS SOPS 42648 HAS SOUS 30382 HAS SOUPS 29546 WITH SCORE 29589.484
AT ITER 158 NEW BEST:: SOT 70413 SOS 42257 HAS SOPS 41402 HAS SOUS 29727 HAS SOUPS 28881 WITH SCORE 28923.257
AT ITER 159 NEW BEST:: SOT 70413 SOS 42042 HAS SOPS 41288 HAS SOUS 29613 HAS SOUPS 28868 WITH SCORE 28910.042
AT ITER 176 NEW BEST:: SOT 70200 SOS 41667 HAS SOPS 40913 HAS SOUS 29374 HAS SOUPS 28629 WITH SCORE 28670.667
AT ITER 177 NEW BEST:: SOT 70199 SOS 41665 HAS SOPS 40911 HAS SOUS 29372 HAS SOUPS 28627 WITH SCORE 28668.665
AT ITER 178 NEW BEST:: SOT 70133 SOS 41571 HAS SOPS 40817 HAS SOUS 29313 HAS SOUPS 28568 WITH SCORE 28609.571
AT ITER 180 NEW BEST:: SOT 70047 SOS 41484 HAS SOPS 40733 HAS SOUS 29226 HAS SOUPS 28484 WITH SCORE 28525.484
AT ITER 181 NEW BEST:: SOT 69996 SOS 41433 HAS SOPS 40682 HAS SOUS 29175 HAS SOUPS 28433 WITH SCORE 28474.433
AT ITER 184 NEW BEST:: SOT 69996 SOS 41053 HAS SOPS 40302 HAS SOUS 28936 HAS SOUPS 28194 WITH SCORE 28235.053
AT ITER 189 NEW BEST:: SOT 69948 SOS 41071 HAS SOPS 40320 HAS SOUS 28925 HAS SOUPS 28183 WITH SCORE 28224.071
AT ITER 191 NEW BEST:: SOT 69947 SOS 41115 HAS SOPS 40319 HAS SOUS 28969 HAS SOUPS 28182 WITH SCORE 28223.115
AT ITER 192 NEW BEST:: SOT 69822 SOS 40989 HAS SOPS 40193 HAS SOUS 28903 HAS SOUPS 28116 WITH SCORE 28156.989
AT ITER 193 NEW BEST:: SOT 69822 SOS 40739 HAS SOPS 39943 HAS SOUS 28778 HAS SOUPS 27991 WITH SCORE 28031.739
AT ITER 194 NEW BEST:: SOT 70013 SOS 40958 HAS SOPS 40159 HAS SOUS 28771 HAS SOUPS 27981 WITH SCORE 28021.958
AT ITER 195 NEW BEST:: SOT 69980 SOS 40916 HAS SOPS 40117 HAS SOUS 28735 HAS SOUPS 27945 WITH SCORE 27985.916
AT ITER 198 NEW BEST:: SOT 69954 SOS 40749 HAS SOPS 39950 HAS SOUS 28665 HAS SOUPS 27875 WITH SCORE 27915.749
AT ITER 199 NEW BEST:: SOT 69929 SOS 40727 HAS SOPS 39925 HAS SOUS 28657 HAS SOUPS 27864 WITH SCORE 27904.727
AT ITER 200 NEW BEST:: SOT 69907 SOS 40741 HAS SOPS 39903 HAS SOUS 28658 HAS SOUPS 27829 WITH SCORE 27869.741
AT ITER 202 NEW BEST:: SOT 69906 SOS 40550 HAS SOPS 39712 HAS SOUS 28574 HAS SOUPS 27745 WITH SCORE 27785.55
AT ITER 204 NEW BEST:: SOT 69821 SOS 40569 HAS SOPS 39678 HAS SOUS 28563 HAS SOUPS 27681 WITH SCORE 27721.569
AT ITER 206 NEW BEST:: SOT 69772 SOS 39958 HAS SOPS 39067 HAS SOUS 28189 HAS SOUPS 27307 WITH SCORE 27346.958
AT ITER 211 NEW BEST:: SOT 69772 SOS 39811 HAS SOPS 38920 HAS SOUS 28143 HAS SOUPS 27261 WITH SCORE 27300.811
AT ITER 214 NEW BEST:: SOT 69606 SOS 39667 HAS SOPS 38776 HAS SOUS 28047 HAS SOUPS 27165 WITH SCORE 27204.667
AT ITER 223 NEW BEST:: SOT 69529 SOS 39555 HAS SOPS 38638 HAS SOUS 27956 HAS SOUPS 27048 WITH SCORE 27087.555
AT ITER 224 NEW BEST:: SOT 69511 SOS 39537 HAS SOPS 38602 HAS SOUS 27853 HAS SOUPS 26927 WITH SCORE 26966.537
AT ITER 228 NEW BEST:: SOT 69329 SOS 39355 HAS SOPS 38420 HAS SOUS 27728 HAS SOUPS 26802 WITH SCORE 26841.355
AT ITER 230 NEW BEST:: SOT 69158 SOS 39218 HAS SOPS 38283 HAS SOUS 27631 HAS SOUPS 26705 WITH SCORE 26744.218
AT ITER 232 NEW BEST:: SOT 69129 SOS 39160 HAS SOPS 38225 HAS SOUS 27602 HAS SOUPS 26676 WITH SCORE 26715.16
AT ITER 236 NEW BEST:: SOT 69113 SOS 39144 HAS SOPS 38209 HAS SOUS 27586 HAS SOUPS 26660 WITH SCORE 26699.144
AT ITER 241 NEW BEST:: SOT 69020 SOS 39102 HAS SOPS 38146 HAS SOUS 27514 HAS SOUPS 26567 WITH SCORE 26606.102
AT ITER 247 NEW BEST:: SOT 68985 SOS 38670 HAS SOPS 37714 HAS SOUS 27247 HAS SOUPS 26300 WITH SCORE 26338.67
AT ITER 253 NEW BEST:: SOT 69009 SOS 38718 HAS SOPS 37762 HAS SOUS 27244 HAS SOUPS 26297 WITH SCORE 26335.718
AT ITER 255 NEW BEST:: SOT 69009 SOS 38370 HAS SOPS 37414 HAS SOUS 27230 HAS SOUPS 26283 WITH SCORE 26321.37
AT ITER 257 NEW BEST:: SOT 68915 SOS 38305 HAS SOPS 37349 HAS SOUS 27073 HAS SOUPS 26126 WITH SCORE 26164.305
AT ITER 269 NEW BEST:: SOT 68461 SOS 36822 HAS SOPS 35866 HAS SOUS 26696 HAS SOUPS 25749 WITH SCORE 25785.822
AT ITER 285 NEW BEST:: SOT 68461 SOS 36797 HAS SOPS 35816 HAS SOUS 26681 HAS SOUPS 25709 WITH SCORE 25745.797
AT ITER 286 NEW BEST:: SOT 68535 SOS 36849 HAS SOPS 35868 HAS SOUS 26637 HAS SOUPS 25665 WITH SCORE 25701.849
AT ITER 295 NEW BEST:: SOT 68493 SOS 36807 HAS SOPS 35826 HAS SOUS 26595 HAS SOUPS 25623 WITH SCORE 25659.807
AT ITER 296 NEW BEST:: SOT 68411 SOS 36841 HAS SOPS 35841 HAS SOUS 26611 HAS SOUPS 25620 WITH SCORE 25656.841
AT ITER 304 NEW BEST:: SOT 68201 SOS 36631 HAS SOPS 35631 HAS SOUS 26476 HAS SOUPS 25485 WITH SCORE 25521.631
AT ITER 306 NEW BEST:: SOT 67893 SOS 36296 HAS SOPS 35273 HAS SOUS 26225 HAS SOUPS 25211 WITH SCORE 25247.296
AT ITER 311 NEW BEST:: SOT 67873 SOS 36284 HAS SOPS 35141 HAS SOUS 26195 HAS SOUPS 25061 WITH SCORE 25097.284
AT ITER 320 NEW BEST:: SOT 67726 SOS 36116 HAS SOPS 34891 HAS SOUS 26148 HAS SOUPS 24932 WITH SCORE 24968.116
AT ITER 321 NEW BEST:: SOT 67708 SOS 36098 HAS SOPS 34873 HAS SOUS 26130 HAS SOUPS 24914 WITH SCORE 24950.098
AT ITER 322 NEW BEST:: SOT 67651 SOS 36098 HAS SOPS 34816 HAS SOUS 26130 HAS SOUPS 24857 WITH SCORE 24893.098
AT ITER 327 NEW BEST:: SOT 67613 SOS 36166 HAS SOPS 34884 HAS SOUS 26107 HAS SOUPS 24834 WITH SCORE 24870.166
AT ITER 328 NEW BEST:: SOT 67675 SOS 36136 HAS SOPS 34840 HAS SOUS 26077 HAS SOUPS 24790 WITH SCORE 24826.136
AT ITER 329 NEW BEST:: SOT 67668 SOS 36199 HAS SOPS 34756 HAS SOUS 26192 HAS SOUPS 24758 WITH SCORE 24794.199
AT ITER 330 NEW BEST:: SOT 67660 SOS 36191 HAS SOPS 34748 HAS SOUS 26184 HAS SOUPS 24750 WITH SCORE 24786.191
AT ITER 342 NEW BEST:: SOT 67029 SOS 36260 HAS SOPS 34634 HAS SOUS 26030 HAS SOUPS 24451 WITH SCORE 24487.26
AT ITER 350 NEW BEST:: SOT 67045 SOS 36221 HAS SOPS 34595 HAS SOUS 25925 HAS SOUPS 24346 WITH SCORE 24382.221
AT ITER 351 NEW BEST:: SOT 67045 SOS 36221 HAS SOPS 34583 HAS SOUS 25925 HAS SOUPS 24334 WITH SCORE 24370.221
AT ITER 355 NEW BEST:: SOT 67026 SOS 36202 HAS SOPS 34517 HAS SOUS 25953 HAS SOUPS 24315 WITH SCORE 24351.202
AT ITER 360 NEW BEST:: SOT 67026 SOS 36201 HAS SOPS 34516 HAS SOUS 25953 HAS SOUPS 24315 WITH SCORE 24351.201
AT ITER 363 NEW BEST:: SOT 66928 SOS 36103 HAS SOPS 34418 HAS SOUS 25914 HAS SOUPS 24276 WITH SCORE 24312.103
AT ITER 370 NEW BEST:: SOT 67019 SOS 35849 HAS SOPS 34175 HAS SOUS 25776 HAS SOUPS 24149 WITH SCORE 24184.849
AT ITER 371 NEW BEST:: SOT 67115 SOS 35871 HAS SOPS 34197 HAS SOUS 25702 HAS SOUPS 24075 WITH SCORE 24110.871
AT ITER 372 NEW BEST:: SOT 67093 SOS 35805 HAS SOPS 34131 HAS SOUS 25680 HAS SOUPS 24053 WITH SCORE 24088.805
AT ITER 386 NEW BEST:: SOT 67093 SOS 35918 HAS SOPS 34244 HAS SOUS 25650 HAS SOUPS 24023 WITH SCORE 24058.918
AT ITER 395 NEW BEST:: SOT 67013 SOS 35885 HAS SOPS 34211 HAS SOUS 25640 HAS SOUPS 24013 WITH SCORE 24048.885
AT ITER 398 NEW BEST:: SOT 66803 SOS 35716 HAS SOPS 33939 HAS SOUS 25526 HAS SOUPS 23796 WITH SCORE 23831.716
AT ITER 404 NEW BEST:: SOT 66347 SOS 35223 HAS SOPS 33446 HAS SOUS 25185 HAS SOUPS 23455 WITH SCORE 23490.223
AT ITER 405 NEW BEST:: SOT 66324 SOS 35164 HAS SOPS 33399 HAS SOUS 25138 HAS SOUPS 23420 WITH SCORE 23455.164
AT ITER 408 NEW BEST:: SOT 66303 SOS 35122 HAS SOPS 33336 HAS SOUS 25096 HAS SOUPS 23357 WITH SCORE 23392.122
AT ITER 409 NEW BEST:: SOT 66315 SOS 34735 HAS SOPS 32967 HAS SOUS 24964 HAS SOUPS 23243 WITH SCORE 23277.735
AT ITER 410 NEW BEST:: SOT 65444 SOS 33554 HAS SOPS 31786 HAS SOUS 24451 HAS SOUPS 22730 WITH SCORE 22763.554
AT ITER 412 NEW BEST:: SOT 65407 SOS 33517 HAS SOPS 31749 HAS SOUS 24427 HAS SOUPS 22706 WITH SCORE 22739.517
AT ITER 414 NEW BEST:: SOT 65380 SOS 33481 HAS SOPS 31713 HAS SOUS 24400 HAS SOUPS 22679 WITH SCORE 22712.481
AT ITER 415 NEW BEST:: SOT 65275 SOS 33376 HAS SOPS 31608 HAS SOUS 24295 HAS SOUPS 22574 WITH SCORE 22607.376
AT ITER 423 NEW BEST:: SOT 65259 SOS 33360 HAS SOPS 31592 HAS SOUS 24287 HAS SOUPS 22566 WITH SCORE 22599.36
AT ITER 427 NEW BEST:: SOT 65194 SOS 33295 HAS SOPS 31538 HAS SOUS 24260 HAS SOUPS 22550 WITH SCORE 22583.295
AT ITER 462 NEW BEST:: SOT 65188 SOS 33289 HAS SOPS 31532 HAS SOUS 24254 HAS SOUPS 22544 WITH SCORE 22577.289
AT ITER 464 NEW BEST:: SOT 64094 SOS 32140 HAS SOPS 30383 HAS SOUS 23500 HAS SOUPS 21790 WITH SCORE 21822.14
AT ITER 465 NEW BEST:: SOT 64104 SOS 32059 HAS SOPS 30302 HAS SOUS 23462 HAS SOUPS 21752 WITH SCORE 21784.059
AT ITER 467 NEW BEST:: SOT 63268 SOS 31761 HAS SOPS 29852 HAS SOUS 23313 HAS SOUPS 21451 WITH SCORE 21482.761
AT ITER 468 NEW BEST:: SOT 63130 SOS 31497 HAS SOPS 29503 HAS SOUS 23275 HAS SOUPS 21328 WITH SCORE 21359.497
AT ITER 480 NEW BEST:: SOT 63144 SOS 31509 HAS SOPS 29515 HAS SOUS 23273 HAS SOUPS 21326 WITH SCORE 21357.509
AT ITER 482 NEW BEST:: SOT 63129 SOS 31494 HAS SOPS 29500 HAS SOUS 23258 HAS SOUPS 21311 WITH SCORE 21342.494
AT ITER 485 NEW BEST:: SOT 63093 SOS 31421 HAS SOPS 29427 HAS SOUS 23256 HAS SOUPS 21309 WITH SCORE 21340.421
AT ITER 490 NEW BEST:: SOT 63142 SOS 31360 HAS SOPS 29366 HAS SOUS 23222 HAS SOUPS 21275 WITH SCORE 21306.36
AT ITER 492 NEW BEST:: SOT 63142 SOS 31350 HAS SOPS 29356 HAS SOUS 23222 HAS SOUPS 21275 WITH SCORE 21306.35
AT ITER 500 NEW BEST:: SOT 63127 SOS 31334 HAS SOPS 29340 HAS SOUS 23206 HAS SOUPS 21259 WITH SCORE 21290.334
AT ITER 510 NEW BEST:: SOT 62975 SOS 31131 HAS SOPS 29137 HAS SOUS 23128 HAS SOUPS 21181 WITH SCORE 21212.131
AT ITER 522 NEW BEST:: SOT 62969 SOS 31162 HAS SOPS 29120 HAS SOUS 23083 HAS SOUPS 21088 WITH SCORE 21119.162
AT ITER 533 NEW BEST:: SOT 62969 SOS 31162 HAS SOPS 29105 HAS SOUS 23088 HAS SOUPS 21078 WITH SCORE 21109.162
AT ITER 540 NEW BEST:: SOT 63668 SOS 31680 HAS SOPS 29633 HAS SOUS 23075 HAS SOUPS 21066 WITH SCORE 21097.68
AT ITER 546 NEW BEST:: SOT 63658 SOS 31670 HAS SOPS 29623 HAS SOUS 23065 HAS SOUPS 21056 WITH SCORE 21087.67
AT ITER 559 NEW BEST:: SOT 63658 SOS 31677 HAS SOPS 29623 HAS SOUS 23065 HAS SOUPS 21049 WITH SCORE 21080.677
AT ITER 564 NEW BEST:: SOT 63658 SOS 31657 HAS SOPS 29603 HAS SOUS 23065 HAS SOUPS 21049 WITH SCORE 21080.657
AT ITER 572 NEW BEST:: SOT 63658 SOS 31637 HAS SOPS 29583 HAS SOUS 23058 HAS SOUPS 21042 WITH SCORE 21073.637
AT ITER 574 NEW BEST:: SOT 63629 SOS 31512 HAS SOPS 29458 HAS SOUS 22983 HAS SOUPS 20967 WITH SCORE 20998.512
AT ITER 587 NEW BEST:: SOT 63632 SOS 31510 HAS SOPS 29456 HAS SOUS 22981 HAS SOUPS 20965 WITH SCORE 20996.51
AT ITER 597 NEW BEST:: SOT 63536 SOS 31413 HAS SOPS 29359 HAS SOUS 22916 HAS SOUPS 20900 WITH SCORE 20931.413
AT ITER 600 NEW BEST:: SOT 63507 SOS 31400 HAS SOPS 29346 HAS SOUS 22903 HAS SOUPS 20887 WITH SCORE 20918.4
AT ITER 609 NEW BEST:: SOT 63507 SOS 31399 HAS SOPS 29345 HAS SOUS 22902 HAS SOUPS 20886 WITH SCORE 20917.399
AT ITER 612 NEW BEST:: SOT 63470 SOS 31250 HAS SOPS 29196 HAS SOUS 22867 HAS SOUPS 20851 WITH SCORE 20882.25
AT ITER 618 NEW BEST:: SOT 63453 SOS 31189 HAS SOPS 29196 HAS SOUS 22806 HAS SOUPS 20851 WITH SCORE 20882.189
AT ITER 625 NEW BEST:: SOT 63471 SOS 31189 HAS SOPS 29197 HAS SOUS 22802 HAS SOUPS 20848 WITH SCORE 20879.189
AT ITER 627 NEW BEST:: SOT 63453 SOS 31173 HAS SOPS 29181 HAS SOUS 22786 HAS SOUPS 20832 WITH SCORE 20863.173
AT ITER 631 NEW BEST:: SOT 63401 SOS 31076 HAS SOPS 29084 HAS SOUS 22751 HAS SOUPS 20797 WITH SCORE 20828.076
AT ITER 635 NEW BEST:: SOT 63353 SOS 31004 HAS SOPS 29012 HAS SOUS 22679 HAS SOUPS 20725 WITH SCORE 20756.004
AT ITER 647 NEW BEST:: SOT 63357 SOS 30982 HAS SOPS 28990 HAS SOUS 22634 HAS SOUPS 20680 WITH SCORE 20710.982
AT ITER 648 NEW BEST:: SOT 63357 SOS 30909 HAS SOPS 28931 HAS SOUS 22620 HAS SOUPS 20673 WITH SCORE 20703.909
AT ITER 649 NEW BEST:: SOT 63301 SOS 30879 HAS SOPS 28900 HAS SOUS 22611 HAS SOUPS 20663 WITH SCORE 20693.879
AT ITER 655 NEW BEST:: SOT 63234 SOS 30812 HAS SOPS 28766 HAS SOUS 22612 HAS SOUPS 20597 WITH SCORE 20627.812
AT ITER 662 NEW BEST:: SOT 63189 SOS 30752 HAS SOPS 28706 HAS SOUS 22574 HAS SOUPS 20559 WITH SCORE 20589.752
AT ITER 676 NEW BEST:: SOT 63099 SOS 30572 HAS SOPS 28526 HAS SOUS 22528 HAS SOUPS 20513 WITH SCORE 20543.572
AT ITER 693 NEW BEST:: SOT 63095 SOS 30568 HAS SOPS 28524 HAS SOUS 22526 HAS SOUPS 20513 WITH SCORE 20543.568
AT ITER 710 NEW BEST:: SOT 63088 SOS 30549 HAS SOPS 28505 HAS SOUS 22519 HAS SOUPS 20506 WITH SCORE 20536.549
AT ITER 721 NEW BEST:: SOT 62968 SOS 30385 HAS SOPS 28341 HAS SOUS 22396 HAS SOUPS 20383 WITH SCORE 20413.385
AT ITER 725 NEW BEST:: SOT 62959 SOS 30376 HAS SOPS 28332 HAS SOUS 22390 HAS SOUPS 20377 WITH SCORE 20407.376
AT ITER 728 NEW BEST:: SOT 62946 SOS 30363 HAS SOPS 28260 HAS SOUS 22377 HAS SOUPS 20305 WITH SCORE 20335.363
AT ITER 729 NEW BEST:: SOT 62928 SOS 30345 HAS SOPS 28168 HAS SOUS 22359 HAS SOUPS 20213 WITH SCORE 20243.345
AT ITER 731 NEW BEST:: SOT 62788 SOS 30193 HAS SOPS 28016 HAS SOUS 22291 HAS SOUPS 20145 WITH SCORE 20175.193
AT ITER 749 NEW BEST:: SOT 62695 SOS 30100 HAS SOPS 27923 HAS SOUS 22117 HAS SOUPS 19971 WITH SCORE 20001.1
AT ITER 759 NEW BEST:: SOT 62552 SOS 29957 HAS SOPS 27780 HAS SOUS 22050 HAS SOUPS 19904 WITH SCORE 19933.957
AT ITER 765 NEW BEST:: SOT 62516 SOS 29921 HAS SOPS 27838 HAS SOUS 21884 HAS SOUPS 19832 WITH SCORE 19861.921
AT ITER 766 NEW BEST:: SOT 62475 SOS 29880 HAS SOPS 27796 HAS SOUS 21883 HAS SOUPS 19830 WITH SCORE 19859.88
AT ITER 775 NEW BEST:: SOT 62462 SOS 29854 HAS SOPS 27770 HAS SOUS 21857 HAS SOUPS 19804 WITH SCORE 19833.854
AT ITER 781 NEW BEST:: SOT 62380 SOS 29772 HAS SOPS 27688 HAS SOUS 21816 HAS SOUPS 19763 WITH SCORE 19792.772
AT ITER 785 NEW BEST:: SOT 62479 SOS 29713 HAS SOPS 27629 HAS SOUS 21757 HAS SOUPS 19704 WITH SCORE 19733.713
AT ITER 793 NEW BEST:: SOT 62479 SOS 29547 HAS SOPS 27543 HAS SOUS 21677 HAS SOUPS 19704 WITH SCORE 19733.547
AT ITER 795 NEW BEST:: SOT 62479 SOS 29513 HAS SOPS 27509 HAS SOUS 21660 HAS SOUPS 19687 WITH SCORE 19716.513
AT ITER 799 NEW BEST:: SOT 62545 SOS 29419 HAS SOPS 27415 HAS SOUS 21660 HAS SOUPS 19687 WITH SCORE 19716.419
AT ITER 806 NEW BEST:: SOT 62545 SOS 29640 HAS SOPS 27418 HAS SOUS 21769 HAS SOUPS 19578 WITH SCORE 19607.64
AT ITER 819 NEW BEST:: SOT 62515 SOS 29608 HAS SOPS 27386 HAS SOUS 21767 HAS SOUPS 19576 WITH SCORE 19605.608
AT ITER 820 NEW BEST:: SOT 62473 SOS 29568 HAS SOPS 27311 HAS SOUS 21762 HAS SOUPS 19536 WITH SCORE 19565.568
AT ITER 848 NEW BEST:: SOT 62475 SOS 29204 HAS SOPS 26947 HAS SOUS 21605 HAS SOUPS 19379 WITH SCORE 19408.204
AT ITER 850 NEW BEST:: SOT 62421 SOS 29101 HAS SOPS 26888 HAS SOUS 21502 HAS SOUPS 19320 WITH SCORE 19349.101
AT ITER 853 NEW BEST:: SOT 62421 SOS 29088 HAS SOPS 26875 HAS SOUS 21489 HAS SOUPS 19307 WITH SCORE 19336.088
AT ITER 861 NEW BEST:: SOT 62385 SOS 29185 HAS SOPS 26932 HAS SOUS 21522 HAS SOUPS 19300 WITH SCORE 19329.185
AT ITER 876 NEW BEST:: SOT 62167 SOS 28824 HAS SOPS 26743 HAS SOUS 21237 HAS SOUPS 19156 WITH SCORE 19184.824
AT ITER 889 NEW BEST:: SOT 62150 SOS 28790 HAS SOPS 26709 HAS SOUS 21220 HAS SOUPS 19139 WITH SCORE 19167.79
AT ITER 890 NEW BEST:: SOT 62150 SOS 28762 HAS SOPS 26681 HAS SOUS 21197 HAS SOUPS 19116 WITH SCORE 19144.762
AT ITER 908 NEW BEST:: SOT 62142 SOS 28637 HAS SOPS 26613 HAS SOUS 21129 HAS SOUPS 19105 WITH SCORE 19133.637
AT ITER 913 NEW BEST:: SOT 62110 SOS 28651 HAS SOPS 26588 HAS SOUS 21136 HAS SOUPS 19073 WITH SCORE 19101.651
AT ITER 918 NEW BEST:: SOT 62110 SOS 28614 HAS SOPS 26551 HAS SOUS 21099 HAS SOUPS 19036 WITH SCORE 19064.614
AT ITER 924 NEW BEST:: SOT 62096 SOS 28579 HAS SOPS 26503 HAS SOUS 21091 HAS SOUPS 19015 WITH SCORE 19043.579
AT ITER 930 NEW BEST:: SOT 62096 SOS 28578 HAS SOPS 26502 HAS SOUS 21089 HAS SOUPS 19013 WITH SCORE 19041.578
AT ITER 951 NEW BEST:: SOT 61994 SOS 28469 HAS SOPS 26393 HAS SOUS 21031 HAS SOUPS 18955 WITH SCORE 18983.469
AT ITER 955 NEW BEST:: SOT 62024 SOS 28305 HAS SOPS 26229 HAS SOUS 20980 HAS SOUPS 18904 WITH SCORE 18932.305
AT ITER 960 NEW BEST:: SOT 61976 SOS 28313 HAS SOPS 26237 HAS SOUS 20960 HAS SOUPS 18884 WITH SCORE 18912.313
AT ITER 970 NEW BEST:: SOT 61998 SOS 28356 HAS SOPS 26258 HAS SOUS 20980 HAS SOUPS 18882 WITH SCORE 18910.356
AT ITER 994 NEW BEST:: SOT 61862 SOS 28468 HAS SOPS 26310 HAS SOUS 21017 HAS SOUPS 18859 WITH SCORE 18887.468
AT ITER 999 NEW BEST:: SOT 61878 SOS 28452 HAS SOPS 26294 HAS SOUS 21017 HAS SOUPS 18859 WITH SCORE 18887.452
AT ITER 1006 NEW BEST:: SOT 61906 SOS 27592 HAS SOPS 25434 HAS SOUS 20885 HAS SOUPS 18727 WITH SCORE 18754.592
AT ITER 1013 NEW BEST:: SOT 61949 SOS 27723 HAS SOPS 25400 HAS SOUS 21046 HAS SOUPS 18723 WITH SCORE 18750.723
AT ITER 1014 NEW BEST:: SOT 61934 SOS 27708 HAS SOPS 25385 HAS SOUS 21031 HAS SOUPS 18708 WITH SCORE 18735.708
AT ITER 1015 NEW BEST:: SOT 61889 SOS 27659 HAS SOPS 25336 HAS SOUS 20997 HAS SOUPS 18674 WITH SCORE 18701.659
AT ITER 1018 NEW BEST:: SOT 61889 SOS 27658 HAS SOPS 25335 HAS SOUS 20997 HAS SOUPS 18674 WITH SCORE 18701.658
AT ITER 1026 NEW BEST:: SOT 61886 SOS 27649 HAS SOPS 25326 HAS SOUS 20991 HAS SOUPS 18668 WITH SCORE 18695.649
AT ITER 1031 NEW BEST:: SOT 61886 SOS 27610 HAS SOPS 25300 HAS SOUS 20978 HAS SOUPS 18668 WITH SCORE 18695.61
AT ITER 1032 NEW BEST:: SOT 61917 SOS 27594 HAS SOPS 25284 HAS SOUS 20962 HAS SOUPS 18652 WITH SCORE 18679.594
AT ITER 1035 NEW BEST:: SOT 61895 SOS 27528 HAS SOPS 25218 HAS SOUS 20940 HAS SOUPS 18630 WITH SCORE 18657.528
AT ITER 1037 NEW BEST:: SOT 61875 SOS 27508 HAS SOPS 25198 HAS SOUS 20938 HAS SOUPS 18628 WITH SCORE 18655.508
AT ITER 1039 NEW BEST:: SOT 61854 SOS 27486 HAS SOPS 25197 HAS SOUS 20916 HAS SOUPS 18627 WITH SCORE 18654.486
AT ITER 1047 NEW BEST:: SOT 61623 SOS 27234 HAS SOPS 24966 HAS SOUS 20874 HAS SOUPS 18606 WITH SCORE 18633.234
AT ITER 1048 NEW BEST:: SOT 61473 SOS 26875 HAS SOPS 24607 HAS SOUS 20643 HAS SOUPS 18375 WITH SCORE 18401.875
AT ITER 1050 NEW BEST:: SOT 61464 SOS 26822 HAS SOPS 24554 HAS SOUS 20590 HAS SOUPS 18322 WITH SCORE 18348.822
AT ITER 1077 NEW BEST:: SOT 61368 SOS 26726 HAS SOPS 24452 HAS SOUS 20584 HAS SOUPS 18310 WITH SCORE 18336.726
AT ITER 1088 NEW BEST:: SOT 61328 SOS 26645 HAS SOPS 24371 HAS SOUS 20543 HAS SOUPS 18269 WITH SCORE 18295.645
AT ITER 1094 NEW BEST:: SOT 61280 SOS 26540 HAS SOPS 24266 HAS SOUS 20495 HAS SOUPS 18221 WITH SCORE 18247.54
AT ITER 1099 NEW BEST:: SOT 61262 SOS 26485 HAS SOPS 24211 HAS SOUS 20491 HAS SOUPS 18217 WITH SCORE 18243.485
AT ITER 1115 NEW BEST:: SOT 61069 SOS 26292 HAS SOPS 24018 HAS SOUS 20277 HAS SOUPS 18003 WITH SCORE 18029.292
AT ITER 1120 NEW BEST:: SOT 60997 SOS 26220 HAS SOPS 23874 HAS SOUS 20277 HAS SOUPS 17931 WITH SCORE 17957.22
AT ITER 1123 NEW BEST:: SOT 60976 SOS 26084 HAS SOPS 23738 HAS SOUS 20239 HAS SOUPS 17893 WITH SCORE 17919.084
AT ITER 1150 NEW BEST:: SOT 60958 SOS 26066 HAS SOPS 23720 HAS SOUS 20236 HAS SOUPS 17890 WITH SCORE 17916.066
AT ITER 1156 NEW BEST:: SOT 60977 SOS 26073 HAS SOPS 23727 HAS SOUS 20223 HAS SOUPS 17877 WITH SCORE 17903.073
AT ITER 1159 NEW BEST:: SOT 60911 SOS 25931 HAS SOPS 23585 HAS SOUS 20211 HAS SOUPS 17865 WITH SCORE 17890.931
AT ITER 1167 NEW BEST:: SOT 60892 SOS 25899 HAS SOPS 23553 HAS SOUS 20198 HAS SOUPS 17852 WITH SCORE 17877.899
AT ITER 1168 NEW BEST:: SOT 60865 SOS 25872 HAS SOPS 23526 HAS SOUS 20171 HAS SOUPS 17825 WITH SCORE 17850.872
AT ITER 1181 NEW BEST:: SOT 60861 SOS 25871 HAS SOPS 23525 HAS SOUS 20168 HAS SOUPS 17822 WITH SCORE 17847.871
AT ITER 1191 NEW BEST:: SOT 60913 SOS 25923 HAS SOPS 23524 HAS SOUS 20194 HAS SOUPS 17795 WITH SCORE 17820.923
AT ITER 1194 NEW BEST:: SOT 60912 SOS 25888 HAS SOPS 23489 HAS SOUS 20189 HAS SOUPS 17790 WITH SCORE 17815.888
AT ITER 1205 NEW BEST:: SOT 60912 SOS 25820 HAS SOPS 23421 HAS SOUS 20121 HAS SOUPS 17722 WITH SCORE 17747.82
AT ITER 1225 NEW BEST:: SOT 60897 SOS 25802 HAS SOPS 23403 HAS SOUS 20103 HAS SOUPS 17704 WITH SCORE 17729.802
AT ITER 1229 NEW BEST:: SOT 60869 SOS 25774 HAS SOPS 23375 HAS SOUS 20089 HAS SOUPS 17690 WITH SCORE 17715.774
AT ITER 1235 NEW BEST:: SOT 60863 SOS 25768 HAS SOPS 23369 HAS SOUS 20083 HAS SOUPS 17684 WITH SCORE 17709.768
AT ITER 1236 NEW BEST:: SOT 60803 SOS 25680 HAS SOPS 23281 HAS SOUS 19977 HAS SOUPS 17578 WITH SCORE 17603.68
AT ITER 1261 NEW BEST:: SOT 60757 SOS 25661 HAS SOPS 23239 HAS SOUS 19958 HAS SOUPS 17536 WITH SCORE 17561.661
AT ITER 1265 NEW BEST:: SOT 60697 SOS 25593 HAS SOPS 23171 HAS SOUS 19892 HAS SOUPS 17470 WITH SCORE 17495.593
AT ITER 1292 NEW BEST:: SOT 60698 SOS 25795 HAS SOPS 23241 HAS SOUS 20011 HAS SOUPS 17457 WITH SCORE 17482.795
AT ITER 1294 NEW BEST:: SOT 60698 SOS 25795 HAS SOPS 23241 HAS SOUS 20002 HAS SOUPS 17448 WITH SCORE 17473.795
AT ITER 1303 NEW BEST:: SOT 60655 SOS 25752 HAS SOPS 23182 HAS SOUS 19986 HAS SOUPS 17416 WITH SCORE 17441.752
AT ITER 1324 NEW BEST:: SOT 60631 SOS 25728 HAS SOPS 23155 HAS SOUS 19962 HAS SOUPS 17389 WITH SCORE 17414.728
AT ITER 1327 NEW BEST:: SOT 60630 SOS 25726 HAS SOPS 23153 HAS SOUS 19961 HAS SOUPS 17388 WITH SCORE 17413.726
AT ITER 1337 NEW BEST:: SOT 60441 SOS 25503 HAS SOPS 22930 HAS SOUS 19795 HAS SOUPS 17222 WITH SCORE 17247.503
AT ITER 1361 NEW BEST:: SOT 60440 SOS 25452 HAS SOPS 22879 HAS SOUS 19767 HAS SOUPS 17194 WITH SCORE 17219.452
AT ITER 1365 NEW BEST:: SOT 60440 SOS 25446 HAS SOPS 22873 HAS SOUS 19764 HAS SOUPS 17191 WITH SCORE 17216.446
AT ITER 1395 NEW BEST:: SOT 60403 SOS 25372 HAS SOPS 22799 HAS SOUS 19700 HAS SOUPS 17127 WITH SCORE 17152.372
AT ITER 1396 NEW BEST:: SOT 60403 SOS 25332 HAS SOPS 22759 HAS SOUS 19696 HAS SOUPS 17123 WITH SCORE 17148.332
AT ITER 1398 NEW BEST:: SOT 60355 SOS 25284 HAS SOPS 22735 HAS SOUS 19648 HAS SOUPS 17099 WITH SCORE 17124.284
AT ITER 1415 NEW BEST:: SOT 60230 SOS 25374 HAS SOPS 22825 HAS SOUS 19629 HAS SOUPS 17080 WITH SCORE 17105.374
AT ITER 1432 NEW BEST:: SOT 60229 SOS 25373 HAS SOPS 22823 HAS SOUS 19629 HAS SOUPS 17079 WITH SCORE 17104.373
AT ITER 1436 NEW BEST:: SOT 60221 SOS 25348 HAS SOPS 22798 HAS SOUS 19612 HAS SOUPS 17062 WITH SCORE 17087.348
AT ITER 1446 NEW BEST:: SOT 60215 SOS 25348 HAS SOPS 22792 HAS SOUS 19606 HAS SOUPS 17050 WITH SCORE 17075.348
AT ITER 1450 NEW BEST:: SOT 60197 SOS 25330 HAS SOPS 22774 HAS SOUS 19537 HAS SOUPS 16981 WITH SCORE 17006.33
AT ITER 1453 NEW BEST:: SOT 60113 SOS 25318 HAS SOPS 22762 HAS SOUS 19517 HAS SOUPS 16961 WITH SCORE 16986.318
AT ITER 1455 NEW BEST:: SOT 60110 SOS 25313 HAS SOPS 22757 HAS SOUS 19514 HAS SOUPS 16958 WITH SCORE 16983.313
AT ITER 1460 NEW BEST:: SOT 60098 SOS 25259 HAS SOPS 22715 HAS SOUS 19472 HAS SOUPS 16928 WITH SCORE 16953.259
AT ITER 1462 NEW BEST:: SOT 60062 SOS 25187 HAS SOPS 22643 HAS SOUS 19436 HAS SOUPS 16892 WITH SCORE 16917.187
AT ITER 1472 NEW BEST:: SOT 60061 SOS 25186 HAS SOPS 22642 HAS SOUS 19433 HAS SOUPS 16889 WITH SCORE 16914.186
AT ITER 1473 NEW BEST:: SOT 60017 SOS 25142 HAS SOPS 22598 HAS SOUS 19401 HAS SOUPS 16857 WITH SCORE 16882.142
AT ITER 1479 NEW BEST:: SOT 60144 SOS 25269 HAS SOPS 22656 HAS SOUS 19459 HAS SOUPS 16846 WITH SCORE 16871.269
AT ITER 1491 NEW BEST:: SOT 60098 SOS 25204 HAS SOPS 22591 HAS SOUS 19417 HAS SOUPS 16804 WITH SCORE 16829.204
AT ITER 1506 NEW BEST:: SOT 60089 SOS 25195 HAS SOPS 22582 HAS SOUS 19408 HAS SOUPS 16795 WITH SCORE 16820.195
AT ITER 1510 NEW BEST:: SOT 60089 SOS 25191 HAS SOPS 22578 HAS SOUS 19404 HAS SOUPS 16791 WITH SCORE 16816.191
AT ITER 1516 NEW BEST:: SOT 59993 SOS 25095 HAS SOPS 22482 HAS SOUS 19308 HAS SOUPS 16695 WITH SCORE 16720.095
AT ITER 1549 NEW BEST:: SOT 59980 SOS 25047 HAS SOPS 22434 HAS SOUS 19270 HAS SOUPS 16657 WITH SCORE 16682.047
AT ITER 1558 NEW BEST:: SOT 59973 SOS 25040 HAS SOPS 22427 HAS SOUS 19263 HAS SOUPS 16650 WITH SCORE 16675.04
AT ITER 1562 NEW BEST:: SOT 59967 SOS 25011 HAS SOPS 22415 HAS SOUS 19234 HAS SOUPS 16638 WITH SCORE 16663.011
AT ITER 1580 NEW BEST:: SOT 59913 SOS 24942 HAS SOPS 22346 HAS SOUS 19171 HAS SOUPS 16575 WITH SCORE 16599.942
AT ITER 1586 NEW BEST:: SOT 59897 SOS 24926 HAS SOPS 22336 HAS SOUS 19133 HAS SOUPS 16543 WITH SCORE 16567.926
AT ITER 1595 NEW BEST:: SOT 59881 SOS 24822 HAS SOPS 22232 HAS SOUS 19117 HAS SOUPS 16527 WITH SCORE 16551.822
AT ITER 1643 NEW BEST:: SOT 59880 SOS 24821 HAS SOPS 22218 HAS SOUS 19116 HAS SOUPS 16513 WITH SCORE 16537.821
AT ITER 1647 NEW BEST:: SOT 59851 SOS 24784 HAS SOPS 22181 HAS SOUS 19087 HAS SOUPS 16484 WITH SCORE 16508.784
AT ITER 1659 NEW BEST:: SOT 59782 SOS 24590 HAS SOPS 21956 HAS SOUS 19049 HAS SOUPS 16415 WITH SCORE 16439.59
AT ITER 1669 NEW BEST:: SOT 59701 SOS 24509 HAS SOPS 21875 HAS SOUS 19012 HAS SOUPS 16378 WITH SCORE 16402.509
AT ITER 1682 NEW BEST:: SOT 59652 SOS 24495 HAS SOPS 21861 HAS SOUS 19006 HAS SOUPS 16372 WITH SCORE 16396.495
AT ITER 1689 NEW BEST:: SOT 59651 SOS 24482 HAS SOPS 21845 HAS SOUS 19003 HAS SOUPS 16366 WITH SCORE 16390.482
AT ITER 1699 NEW BEST:: SOT 59666 SOS 24467 HAS SOPS 21830 HAS SOUS 19003 HAS SOUPS 16366 WITH SCORE 16390.467
AT ITER 1700 NEW BEST:: SOT 59520 SOS 24286 HAS SOPS 21649 HAS SOUS 18930 HAS SOUPS 16293 WITH SCORE 16317.286
AT ITER 1780 NEW BEST:: SOT 59513 SOS 24279 HAS SOPS 21642 HAS SOUS 18929 HAS SOUPS 16292 WITH SCORE 16316.279
AT ITER 1781 NEW BEST:: SOT 59531 SOS 24265 HAS SOPS 21628 HAS SOUS 18914 HAS SOUPS 16277 WITH SCORE 16301.265
AT ITER 1817 NEW BEST:: SOT 59516 SOS 24250 HAS SOPS 21613 HAS SOUS 18899 HAS SOUPS 16262 WITH SCORE 16286.25
AT ITER 1821 NEW BEST:: SOT 59492 SOS 24214 HAS SOPS 21577 HAS SOUS 18875 HAS SOUPS 16238 WITH SCORE 16262.214
AT ITER 1824 NEW BEST:: SOT 59496 SOS 24200 HAS SOPS 21571 HAS SOUS 18865 HAS SOUPS 16236 WITH SCORE 16260.2
AT ITER 1829 NEW BEST:: SOT 59496 SOS 24174 HAS SOPS 21571 HAS SOUS 18839 HAS SOUPS 16236 WITH SCORE 16260.174
AT ITER 1833 NEW BEST:: SOT 59496 SOS 24114 HAS SOPS 21511 HAS SOUS 18827 HAS SOUPS 16224 WITH SCORE 16248.114
AT ITER 1834 NEW BEST:: SOT 59520 SOS 24138 HAS SOPS 21405 HAS SOUS 18950 HAS SOUPS 16217 WITH SCORE 16241.138
AT ITER 1837 NEW BEST:: SOT 59487 SOS 24099 HAS SOPS 21366 HAS SOUS 18915 HAS SOUPS 16182 WITH SCORE 16206.099
AT ITER 1842 NEW BEST:: SOT 60137 SOS 24803 HAS SOPS 22026 HAS SOUS 18862 HAS SOUPS 16094 WITH SCORE 16118.803
AT ITER 1844 NEW BEST:: SOT 60141 SOS 24774 HAS SOPS 21997 HAS SOUS 18837 HAS SOUPS 16069 WITH SCORE 16093.774
AT ITER 1874 NEW BEST:: SOT 60115 SOS 24748 HAS SOPS 21971 HAS SOUS 18811 HAS SOUPS 16043 WITH SCORE 16067.748
AT ITER 1876 NEW BEST:: SOT 60085 SOS 24718 HAS SOPS 21911 HAS SOUS 18781 HAS SOUPS 15983 WITH SCORE 16007.718
AT ITER 1881 NEW BEST:: SOT 60031 SOS 24674 HAS SOPS 21867 HAS SOUS 18750 HAS SOUPS 15952 WITH SCORE 15976.674
AT ITER 1882 NEW BEST:: SOT 60020 SOS 24618 HAS SOPS 21811 HAS SOUS 18694 HAS SOUPS 15896 WITH SCORE 15920.618
AT ITER 1887 NEW BEST:: SOT 60046 SOS 24517 HAS SOPS 21710 HAS SOUS 18653 HAS SOUPS 15855 WITH SCORE 15879.517
AT ITER 1891 NEW BEST:: SOT 60041 SOS 24317 HAS SOPS 21528 HAS SOUS 18573 HAS SOUPS 15793 WITH SCORE 15817.317
AT ITER 1893 NEW BEST:: SOT 60041 SOS 24317 HAS SOPS 21485 HAS SOUS 18573 HAS SOUPS 15750 WITH SCORE 15774.317
AT ITER 1898 NEW BEST:: SOT 59889 SOS 24165 HAS SOPS 21333 HAS SOUS 18421 HAS SOUPS 15598 WITH SCORE 15622.165
AT ITER 1913 NEW BEST:: SOT 59874 SOS 24114 HAS SOPS 21282 HAS SOUS 18388 HAS SOUPS 15565 WITH SCORE 15589.114
AT ITER 1914 NEW BEST:: SOT 59880 SOS 24132 HAS SOPS 21300 HAS SOUS 18372 HAS SOUPS 15549 WITH SCORE 15573.132
AT ITER 1949 NEW BEST:: SOT 59878 SOS 24131 HAS SOPS 21298 HAS SOUS 18372 HAS SOUPS 15548 WITH SCORE 15572.131
AT ITER 1954 NEW BEST:: SOT 59878 SOS 24100 HAS SOPS 21288 HAS SOUS 18341 HAS SOUPS 15538 WITH SCORE 15562.1
AT ITER 1970 NEW BEST:: SOT 59883 SOS 24108 HAS SOPS 21296 HAS SOUS 18320 HAS SOUPS 15517 WITH SCORE 15541.108
AT ITER 1979 NEW BEST:: SOT 59864 SOS 24089 HAS SOPS 21296 HAS SOUS 18301 HAS SOUPS 15517 WITH SCORE 15541.089
AT ITER 1981 NEW BEST:: SOT 59847 SOS 24075 HAS SOPS 21282 HAS SOUS 18264 HAS SOUPS 15480 WITH SCORE 15504.075
AT ITER 1997 NEW BEST:: SOT 59844 SOS 24072 HAS SOPS 21279 HAS SOUS 18261 HAS SOUPS 15477 WITH SCORE 15501.072
AT ITER 1998 NEW BEST:: SOT 59673 SOS 23895 HAS SOPS 21084 HAS SOUS 18162 HAS SOUPS 15360 WITH SCORE 15383.895
AT ITER 2017 NEW BEST:: SOT 59658 SOS 23790 HAS SOPS 20979 HAS SOUS 18127 HAS SOUPS 15325 WITH SCORE 15348.79
AT ITER 2022 NEW BEST:: SOT 59668 SOS 23800 HAS SOPS 20972 HAS SOUS 18120 HAS SOUPS 15301 WITH SCORE 15324.8
AT ITER 2028 NEW BEST:: SOT 59607 SOS 23739 HAS SOPS 20850 HAS SOUS 18059 HAS SOUPS 15179 WITH SCORE 15202.739
AT ITER 2050 NEW BEST:: SOT 59621 SOS 23699 HAS SOPS 20813 HAS SOUS 18036 HAS SOUPS 15159 WITH SCORE 15182.699
AT ITER 2071 NEW BEST:: SOT 59619 SOS 23697 HAS SOPS 20766 HAS SOUS 18077 HAS SOUPS 15155 WITH SCORE 15178.697
AT ITER 2079 NEW BEST:: SOT 59574 SOS 23667 HAS SOPS 20731 HAS SOUS 18062 HAS SOUPS 15135 WITH SCORE 15158.667
AT ITER 2085 NEW BEST:: SOT 59574 SOS 23661 HAS SOPS 20725 HAS SOUS 18062 HAS SOUPS 15135 WITH SCORE 15158.661
AT ITER 2104 NEW BEST:: SOT 59563 SOS 23535 HAS SOPS 20668 HAS SOUS 17982 HAS SOUPS 15124 WITH SCORE 15147.535
AT ITER 2111 NEW BEST:: SOT 59515 SOS 23465 HAS SOPS 20598 HAS SOUS 17970 HAS SOUPS 15112 WITH SCORE 15135.465
AT ITER 2112 NEW BEST:: SOT 59505 SOS 23460 HAS SOPS 20593 HAS SOUS 17965 HAS SOUPS 15107 WITH SCORE 15130.46
AT ITER 2141 NEW BEST:: SOT 59449 SOS 23369 HAS SOPS 20513 HAS SOUS 17890 HAS SOUPS 15043 WITH SCORE 15066.369
AT ITER 2142 NEW BEST:: SOT 59435 SOS 23347 HAS SOPS 20491 HAS SOUS 17876 HAS SOUPS 15029 WITH SCORE 15052.347
AT ITER 2149 NEW BEST:: SOT 59408 SOS 23342 HAS SOPS 20486 HAS SOUS 17871 HAS SOUPS 15024 WITH SCORE 15047.342
AT ITER 2150 NEW BEST:: SOT 59393 SOS 23297 HAS SOPS 20441 HAS SOUS 17848 HAS SOUPS 15001 WITH SCORE 15024.297
AT ITER 2159 NEW BEST:: SOT 59319 SOS 23223 HAS SOPS 20367 HAS SOUS 17822 HAS SOUPS 14975 WITH SCORE 14998.223
AT ITER 2165 NEW BEST:: SOT 59319 SOS 23187 HAS SOPS 20331 HAS SOUS 17822 HAS SOUPS 14975 WITH SCORE 14998.187
AT ITER 2166 NEW BEST:: SOT 59319 SOS 23160 HAS SOPS 20304 HAS SOUS 17822 HAS SOUPS 14975 WITH SCORE 14998.16
AT ITER 2184 NEW BEST:: SOT 59322 SOS 23160 HAS SOPS 20304 HAS SOUS 17819 HAS SOUPS 14972 WITH SCORE 14995.16
AT ITER 2194 NEW BEST:: SOT 59370 SOS 23177 HAS SOPS 20352 HAS SOUS 17776 HAS SOUPS 14960 WITH SCORE 14983.177
AT ITER 2197 NEW BEST:: SOT 59369 SOS 23196 HAS SOPS 20371 HAS SOUS 17766 HAS SOUPS 14950 WITH SCORE 14973.196
AT ITER 2199 NEW BEST:: SOT 59391 SOS 23198 HAS SOPS 20373 HAS SOUS 17744 HAS SOUPS 14928 WITH SCORE 14951.198
AT ITER 2211 NEW BEST:: SOT 59400 SOS 23114 HAS SOPS 20289 HAS SOUS 17724 HAS SOUPS 14908 WITH SCORE 14931.114
AT ITER 2230 NEW BEST:: SOT 59403 SOS 23124 HAS SOPS 20288 HAS SOUS 17734 HAS SOUPS 14907 WITH SCORE 14930.124
AT ITER 2239 NEW BEST:: SOT 59426 SOS 23097 HAS SOPS 20261 HAS SOUS 17707 HAS SOUPS 14880 WITH SCORE 14903.097
AT ITER 2260 NEW BEST:: SOT 59422 SOS 23093 HAS SOPS 20257 HAS SOUS 17703 HAS SOUPS 14876 WITH SCORE 14899.093
AT ITER 2263 NEW BEST:: SOT 59413 SOS 23040 HAS SOPS 20209 HAS SOUS 17695 HAS SOUPS 14873 WITH SCORE 14896.04
AT ITER 2269 NEW BEST:: SOT 59418 SOS 23055 HAS SOPS 20224 HAS SOUS 17609 HAS SOUPS 14787 WITH SCORE 14810.055
AT ITER 2297 NEW BEST:: SOT 59418 SOS 23032 HAS SOPS 20201 HAS SOUS 17607 HAS SOUPS 14785 WITH SCORE 14808.032
AT ITER 2329 NEW BEST:: SOT 59407 SOS 23016 HAS SOPS 20187 HAS SOUS 17604 HAS SOUPS 14783 WITH SCORE 14806.016
AT ITER 2333 NEW BEST:: SOT 59405 SOS 23014 HAS SOPS 20185 HAS SOUS 17600 HAS SOUPS 14779 WITH SCORE 14802.014
AT ITER 2335 NEW BEST:: SOT 59375 SOS 22978 HAS SOPS 20149 HAS SOUS 17594 HAS SOUPS 14773 WITH SCORE 14795.978
AT ITER 2345 NEW BEST:: SOT 59448 SOS 23017 HAS SOPS 20188 HAS SOUS 17584 HAS SOUPS 14763 WITH SCORE 14786.017
AT ITER 2348 NEW BEST:: SOT 59358 SOS 23053 HAS SOPS 20181 HAS SOUS 17592 HAS SOUPS 14747 WITH SCORE 14770.053
AT ITER 2404 NEW BEST:: SOT 59367 SOS 23052 HAS SOPS 20179 HAS SOUS 17591 HAS SOUPS 14745 WITH SCORE 14768.052
AT ITER 2426 NEW BEST:: SOT 59356 SOS 23041 HAS SOPS 20168 HAS SOUS 17580 HAS SOUPS 14734 WITH SCORE 14757.041
AT ITER 2442 NEW BEST:: SOT 59356 SOS 23032 HAS SOPS 20159 HAS SOUS 17571 HAS SOUPS 14725 WITH SCORE 14748.032
AT ITER 2459 NEW BEST:: SOT 59348 SOS 23000 HAS SOPS 20127 HAS SOUS 17559 HAS SOUPS 14713 WITH SCORE 14736.0
AT ITER 2467 NEW BEST:: SOT 59318 SOS 22970 HAS SOPS 20112 HAS SOUS 17529 HAS SOUPS 14698 WITH SCORE 14720.97
AT ITER 2474 NEW BEST:: SOT 59290 SOS 22923 HAS SOPS 20065 HAS SOUS 17510 HAS SOUPS 14679 WITH SCORE 14701.923
AT ITER 2482 NEW BEST:: SOT 59288 SOS 22918 HAS SOPS 20062 HAS SOUS 17507 HAS SOUPS 14678 WITH SCORE 14700.918
AT ITER 2499 NEW BEST:: SOT 59293 SOS 22870 HAS SOPS 20014 HAS SOUS 17476 HAS SOUPS 14647 WITH SCORE 14669.87
AT ITER 2518 NEW BEST:: SOT 59294 SOS 22871 HAS SOPS 20009 HAS SOUS 17477 HAS SOUPS 14642 WITH SCORE 14664.871
AT ITER 2578 NEW BEST:: SOT 59292 SOS 22867 HAS SOPS 20005 HAS SOUS 17475 HAS SOUPS 14640 WITH SCORE 14662.867
AT ITER 2605 NEW BEST:: SOT 59283 SOS 22852 HAS SOPS 19990 HAS SOUS 17466 HAS SOUPS 14631 WITH SCORE 14653.852
AT ITER 2613 NEW BEST:: SOT 59231 SOS 22791 HAS SOPS 19929 HAS SOUS 17414 HAS SOUPS 14579 WITH SCORE 14601.791
AT ITER 2623 NEW BEST:: SOT 58997 SOS 22583 HAS SOPS 19721 HAS SOUS 17414 HAS SOUPS 14579 WITH SCORE 14601.583
AT ITER 2668 NEW BEST:: SOT 58879 SOS 22455 HAS SOPS 19654 HAS SOUS 17347 HAS SOUPS 14573 WITH SCORE 14595.455
AT ITER 2675 NEW BEST:: SOT 58876 SOS 22450 HAS SOPS 19649 HAS SOUS 17342 HAS SOUPS 14568 WITH SCORE 14590.45
AT ITER 2685 NEW BEST:: SOT 58836 SOS 22410 HAS SOPS 19589 HAS SOUS 17310 HAS SOUPS 14516 WITH SCORE 14538.41
AT ITER 2702 NEW BEST:: SOT 58836 SOS 22397 HAS SOPS 19576 HAS SOUS 17297 HAS SOUPS 14503 WITH SCORE 14525.397
AT ITER 2720 NEW BEST:: SOT 58832 SOS 22381 HAS SOPS 19564 HAS SOUS 17285 HAS SOUPS 14495 WITH SCORE 14517.381
AT ITER 2732 NEW BEST:: SOT 58832 SOS 22348 HAS SOPS 19531 HAS SOUS 17250 HAS SOUPS 14460 WITH SCORE 14482.348
AT ITER 2738 NEW BEST:: SOT 58796 SOS 22077 HAS SOPS 19260 HAS SOUS 17178 HAS SOUPS 14388 WITH SCORE 14410.077
AT ITER 2751 NEW BEST:: SOT 58793 SOS 22053 HAS SOPS 19236 HAS SOUS 17169 HAS SOUPS 14379 WITH SCORE 14401.053
AT ITER 2756 NEW BEST:: SOT 58785 SOS 21997 HAS SOPS 19180 HAS SOUS 17124 HAS SOUPS 14334 WITH SCORE 14355.997
AT ITER 2759 NEW BEST:: SOT 58778 SOS 21972 HAS SOPS 19155 HAS SOUS 17117 HAS SOUPS 14327 WITH SCORE 14348.972
AT ITER 2760 NEW BEST:: SOT 58685 SOS 21996 HAS SOPS 19083 HAS SOUS 17093 HAS SOUPS 14207 WITH SCORE 14228.996
AT ITER 2776 NEW BEST:: SOT 58686 SOS 22009 HAS SOPS 19096 HAS SOUS 17087 HAS SOUPS 14201 WITH SCORE 14223.009
AT ITER 2797 NEW BEST:: SOT 58640 SOS 21933 HAS SOPS 18981 HAS SOUS 17057 HAS SOUPS 14132 WITH SCORE 14153.933
AT ITER 2805 NEW BEST:: SOT 58596 SOS 21923 HAS SOPS 18971 HAS SOUS 17051 HAS SOUPS 14126 WITH SCORE 14147.923
AT ITER 2806 NEW BEST:: SOT 58534 SOS 21805 HAS SOPS 18853 HAS SOUS 16989 HAS SOUPS 14064 WITH SCORE 14085.805
AT ITER 2821 NEW BEST:: SOT 58541 SOS 21803 HAS SOPS 18851 HAS SOUS 16987 HAS SOUPS 14062 WITH SCORE 14083.803
AT ITER 2837 NEW BEST:: SOT 58621 SOS 21869 HAS SOPS 18911 HAS SOUS 16982 HAS SOUPS 14051 WITH SCORE 14072.869
AT ITER 2849 NEW BEST:: SOT 58614 SOS 21855 HAS SOPS 18897 HAS SOUS 16972 HAS SOUPS 14041 WITH SCORE 14062.855
AT ITER 2859 NEW BEST:: SOT 58628 SOS 21869 HAS SOPS 18891 HAS SOUS 16980 HAS SOUPS 14029 WITH SCORE 14050.869
AT ITER 2867 NEW BEST:: SOT 58622 SOS 21868 HAS SOPS 18890 HAS SOUS 16979 HAS SOUPS 14028 WITH SCORE 14049.868
AT ITER 2877 NEW BEST:: SOT 58593 SOS 21839 HAS SOPS 18861 HAS SOUS 16961 HAS SOUPS 14010 WITH SCORE 14031.839
AT ITER 2882 NEW BEST:: SOT 58589 SOS 21829 HAS SOPS 18853 HAS SOUS 16955 HAS SOUPS 14006 WITH SCORE 14027.829
AT ITER 2905 NEW BEST:: SOT 58553 SOS 21714 HAS SOPS 18773 HAS SOUS 16876 HAS SOUPS 13962 WITH SCORE 13983.714
AT ITER 2907 NEW BEST:: SOT 58558 SOS 21709 HAS SOPS 18768 HAS SOUS 16866 HAS SOUPS 13952 WITH SCORE 13973.709
AT ITER 2953 NEW BEST:: SOT 58554 SOS 21704 HAS SOPS 18763 HAS SOUS 16860 HAS SOUPS 13946 WITH SCORE 13967.704
AT ITER 2956 NEW BEST:: SOT 58178 SOS 21320 HAS SOPS 18333 HAS SOUS 16898 HAS SOUPS 13938 WITH SCORE 13959.32
AT ITER 2957 NEW BEST:: SOT 58178 SOS 21313 HAS SOPS 18333 HAS SOUS 16891 HAS SOUPS 13938 WITH SCORE 13959.313
AT ITER 2966 NEW BEST:: SOT 58113 SOS 21404 HAS SOPS 18312 HAS SOUS 16987 HAS SOUPS 13922 WITH SCORE 13943.404
AT ITER 2967 NEW BEST:: SOT 58094 SOS 21375 HAS SOPS 18283 HAS SOUS 16977 HAS SOUPS 13912 WITH SCORE 13933.375
AT ITER 2968 NEW BEST:: SOT 58098 SOS 21345 HAS SOPS 18279 HAS SOUS 16943 HAS SOUPS 13904 WITH SCORE 13925.345
AT ITER 2976 NEW BEST:: SOT 58198 SOS 21424 HAS SOPS 18358 HAS SOUS 16926 HAS SOUPS 13887 WITH SCORE 13908.424
AT ITER 2990 NEW BEST:: SOT 58194 SOS 21420 HAS SOPS 18354 HAS SOUS 16924 HAS SOUPS 13885 WITH SCORE 13906.42
AT ITER 2992 NEW BEST:: SOT 58191 SOS 21383 HAS SOPS 18342 HAS SOUS 16896 HAS SOUPS 13882 WITH SCORE 13903.383
AT ITER 3010 NEW BEST:: SOT 58184 SOS 21370 HAS SOPS 18329 HAS SOUS 16883 HAS SOUPS 13869 WITH SCORE 13890.37
AT ITER 3012 NEW BEST:: SOT 58182 SOS 21372 HAS SOPS 18317 HAS SOUS 16888 HAS SOUPS 13860 WITH SCORE 13881.372
AT ITER 3015 NEW BEST:: SOT 58197 SOS 21366 HAS SOPS 18311 HAS SOUS 16861 HAS SOUPS 13833 WITH SCORE 13854.366
AT ITER 3026 NEW BEST:: SOT 58192 SOS 21361 HAS SOPS 18306 HAS SOUS 16856 HAS SOUPS 13828 WITH SCORE 13849.361
AT ITER 3052 NEW BEST:: SOT 58159 SOS 21361 HAS SOPS 18303 HAS SOUS 16839 HAS SOUPS 13808 WITH SCORE 13829.361
AT ITER 3055 NEW BEST:: SOT 58115 SOS 21319 HAS SOPS 18259 HAS SOUS 16797 HAS SOUPS 13764 WITH SCORE 13785.319
AT ITER 3063 NEW BEST:: SOT 58173 SOS 21377 HAS SOPS 18317 HAS SOUS 16790 HAS SOUPS 13757 WITH SCORE 13778.377
AT ITER 3076 NEW BEST:: SOT 58002 SOS 21206 HAS SOPS 18146 HAS SOUS 16790 HAS SOUPS 13757 WITH SCORE 13778.206
AT ITER 3077 NEW BEST:: SOT 57978 SOS 21202 HAS SOPS 18142 HAS SOUS 16761 HAS SOUPS 13728 WITH SCORE 13749.202
AT ITER 3091 NEW BEST:: SOT 58006 SOS 21198 HAS SOPS 18138 HAS SOUS 16757 HAS SOUPS 13724 WITH SCORE 13745.198
AT ITER 3099 NEW BEST:: SOT 58006 SOS 21163 HAS SOPS 18103 HAS SOUS 16721 HAS SOUPS 13688 WITH SCORE 13709.163
AT ITER 3110 NEW BEST:: SOT 57977 SOS 21120 HAS SOPS 18060 HAS SOUS 16701 HAS SOUPS 13668 WITH SCORE 13689.12
AT ITER 3118 NEW BEST:: SOT 57968 SOS 21093 HAS SOPS 18033 HAS SOUS 16683 HAS SOUPS 13650 WITH SCORE 13671.093
AT ITER 3163 NEW BEST:: SOT 57946 SOS 21071 HAS SOPS 18011 HAS SOUS 16661 HAS SOUPS 13628 WITH SCORE 13649.071
AT ITER 3178 NEW BEST:: SOT 57938 SOS 21061 HAS SOPS 17956 HAS SOUS 16655 HAS SOUPS 13609 WITH SCORE 13630.061
AT ITER 3180 NEW BEST:: SOT 57940 SOS 21061 HAS SOPS 17958 HAS SOUS 16651 HAS SOUPS 13607 WITH SCORE 13628.061
AT ITER 3183 NEW BEST:: SOT 57940 SOS 21059 HAS SOPS 17956 HAS SOUS 16647 HAS SOUPS 13603 WITH SCORE 13624.059
AT ITER 3202 NEW BEST:: SOT 57886 SOS 20996 HAS SOPS 17893 HAS SOUS 16611 HAS SOUPS 13567 WITH SCORE 13587.996
AT ITER 3206 NEW BEST:: SOT 57873 SOS 21003 HAS SOPS 17880 HAS SOUS 16618 HAS SOUPS 13554 WITH SCORE 13575.003
AT ITER 3208 NEW BEST:: SOT 57890 SOS 21013 HAS SOPS 17890 HAS SOUS 16611 HAS SOUPS 13547 WITH SCORE 13568.013
AT ITER 3215 NEW BEST:: SOT 57878 SOS 21001 HAS SOPS 17856 HAS SOUS 16609 HAS SOUPS 13523 WITH SCORE 13544.001
AT ITER 3247 NEW BEST:: SOT 57874 SOS 20993 HAS SOPS 17848 HAS SOUS 16563 HAS SOUPS 13477 WITH SCORE 13497.993
AT ITER 3254 NEW BEST:: SOT 57883 SOS 20995 HAS SOPS 17850 HAS SOUS 16558 HAS SOUPS 13472 WITH SCORE 13492.995
AT ITER 3282 NEW BEST:: SOT 57882 SOS 21000 HAS SOPS 17850 HAS SOUS 16562 HAS SOUPS 13471 WITH SCORE 13492.0
AT ITER 3294 NEW BEST:: SOT 57886 SOS 21004 HAS SOPS 17854 HAS SOUS 16554 HAS SOUPS 13463 WITH SCORE 13484.004
AT ITER 3297 NEW BEST:: SOT 57884 SOS 21002 HAS SOPS 17852 HAS SOUS 16554 HAS SOUPS 13463 WITH SCORE 13484.002
AT ITER 3302 NEW BEST:: SOT 57882 SOS 21000 HAS SOPS 17848 HAS SOUS 16552 HAS SOUPS 13459 WITH SCORE 13480.0
AT ITER 3310 NEW BEST:: SOT 57870 SOS 20924 HAS SOPS 17788 HAS SOUS 16503 HAS SOUPS 13426 WITH SCORE 13446.924
AT ITER 3326 NEW BEST:: SOT 57880 SOS 20912 HAS SOPS 17776 HAS SOUS 16501 HAS SOUPS 13424 WITH SCORE 13444.912
AT ITER 3338 NEW BEST:: SOT 57804 SOS 20871 HAS SOPS 17698 HAS SOUS 16462 HAS SOUPS 13348 WITH SCORE 13368.871
AT ITER 3346 NEW BEST:: SOT 57794 SOS 20851 HAS SOPS 17678 HAS SOUS 16452 HAS SOUPS 13338 WITH SCORE 13358.851
AT ITER 3373 NEW BEST:: SOT 57790 SOS 20847 HAS SOPS 17670 HAS SOUS 16452 HAS SOUPS 13334 WITH SCORE 13354.847
AT ITER 3387 NEW BEST:: SOT 57799 SOS 20547 HAS SOPS 17434 HAS SOUS 16380 HAS SOUPS 13326 WITH SCORE 13346.547
AT ITER 3393 NEW BEST:: SOT 57798 SOS 20544 HAS SOPS 17431 HAS SOUS 16379 HAS SOUPS 13325 WITH SCORE 13345.544
AT ITER 3399 NEW BEST:: SOT 57797 SOS 20544 HAS SOPS 17430 HAS SOUS 16379 HAS SOUPS 13324 WITH SCORE 13344.544
AT ITER 3440 NEW BEST:: SOT 57795 SOS 20542 HAS SOPS 17426 HAS SOUS 16377 HAS SOUPS 13320 WITH SCORE 13340.542
AT ITER 3449 NEW BEST:: SOT 57795 SOS 20509 HAS SOPS 17393 HAS SOUS 16371 HAS SOUPS 13314 WITH SCORE 13334.509
AT ITER 3457 NEW BEST:: SOT 57793 SOS 20506 HAS SOPS 17390 HAS SOUS 16369 HAS SOUPS 13312 WITH SCORE 13332.506
AT ITER 3460 NEW BEST:: SOT 57793 SOS 20496 HAS SOPS 17380 HAS SOUS 16369 HAS SOUPS 13312 WITH SCORE 13332.496
AT ITER 3469 NEW BEST:: SOT 57793 SOS 20496 HAS SOPS 17380 HAS SOUS 16350 HAS SOUPS 13293 WITH SCORE 13313.496
AT ITER 3487 NEW BEST:: SOT 57793 SOS 20483 HAS SOPS 17367 HAS SOUS 16337 HAS SOUPS 13280 WITH SCORE 13300.483
AT ITER 3499 NEW BEST:: SOT 57760 SOS 20402 HAS SOPS 17286 HAS SOUS 16331 HAS SOUPS 13274 WITH SCORE 13294.402
AT ITER 3503 NEW BEST:: SOT 57765 SOS 20397 HAS SOPS 17281 HAS SOUS 16331 HAS SOUPS 13274 WITH SCORE 13294.397
AT ITER 3525 NEW BEST:: SOT 57841 SOS 20379 HAS SOPS 17263 HAS SOUS 16317 HAS SOUPS 13260 WITH SCORE 13280.379
AT ITER 3534 NEW BEST:: SOT 57825 SOS 20347 HAS SOPS 17241 HAS SOUS 16301 HAS SOUPS 13254 WITH SCORE 13274.347
AT ITER 3538 NEW BEST:: SOT 57825 SOS 20332 HAS SOPS 17241 HAS SOUS 16286 HAS SOUPS 13254 WITH SCORE 13274.332
AT ITER 3607 NEW BEST:: SOT 57804 SOS 20311 HAS SOPS 17241 HAS SOUS 16265 HAS SOUPS 13254 WITH SCORE 13274.311
AT ITER 3608 NEW BEST:: SOT 57797 SOS 20297 HAS SOPS 17227 HAS SOUS 16258 HAS SOUPS 13247 WITH SCORE 13267.297
AT ITER 3697 NEW BEST:: SOT 57773 SOS 20268 HAS SOPS 17222 HAS SOUS 16229 HAS SOUPS 13242 WITH SCORE 13262.268
AT ITER 3754 NEW BEST:: SOT 57785 SOS 20274 HAS SOPS 17228 HAS SOUS 16217 HAS SOUPS 13230 WITH SCORE 13250.274
AT ITER 3770 NEW BEST:: SOT 57758 SOS 20368 HAS SOPS 17322 HAS SOUS 16208 HAS SOUPS 13221 WITH SCORE 13241.368
AT ITER 3809 NEW BEST:: SOT 57758 SOS 20368 HAS SOPS 17303 HAS SOUS 16208 HAS SOUPS 13202 WITH SCORE 13222.368
AT ITER 3846 NEW BEST:: SOT 57758 SOS 20362 HAS SOPS 17301 HAS SOUS 16206 HAS SOUPS 13202 WITH SCORE 13222.362
AT ITER 3870 NEW BEST:: SOT 57752 SOS 20356 HAS SOPS 17295 HAS SOUS 16200 HAS SOUPS 13196 WITH SCORE 13216.356
AT ITER 3984 NEW BEST:: SOT 57741 SOS 20344 HAS SOPS 17283 HAS SOUS 16199 HAS SOUPS 13195 WITH SCORE 13215.344
AT ITER 3995 NEW BEST:: SOT 57745 SOS 20354 HAS SOPS 17293 HAS SOUS 16197 HAS SOUPS 13193 WITH SCORE 13213.354
AT ITER 4020 NEW BEST:: SOT 57761 SOS 20262 HAS SOPS 17201 HAS SOUS 16194 HAS SOUPS 13190 WITH SCORE 13210.262
AT ITER 4021 NEW BEST:: SOT 57768 SOS 20235 HAS SOPS 17207 HAS SOUS 16160 HAS SOUPS 13189 WITH SCORE 13209.235
AT ITER 4047 NEW BEST:: SOT 57754 SOS 20221 HAS SOPS 17193 HAS SOUS 16146 HAS SOUPS 13175 WITH SCORE 13195.221
AT ITER 4059 NEW BEST:: SOT 57731 SOS 20204 HAS SOPS 17162 HAS SOUS 16145 HAS SOUPS 13167 WITH SCORE 13187.204
AT ITER 4063 NEW BEST:: SOT 57731 SOS 20204 HAS SOPS 17162 HAS SOUS 16141 HAS SOUPS 13163 WITH SCORE 13183.204
AT ITER 4066 NEW BEST:: SOT 57782 SOS 20255 HAS SOPS 17213 HAS SOUS 16128 HAS SOUPS 13150 WITH SCORE 13170.255
AT ITER 4078 NEW BEST:: SOT 57780 SOS 20252 HAS SOPS 17210 HAS SOUS 16127 HAS SOUPS 13149 WITH SCORE 13169.252
AT ITER 4099 NEW BEST:: SOT 57790 SOS 20239 HAS SOPS 17197 HAS SOUS 16110 HAS SOUPS 13132 WITH SCORE 13152.239
AT ITER 4125 NEW BEST:: SOT 57765 SOS 20214 HAS SOPS 17152 HAS SOUS 16085 HAS SOUPS 13087 WITH SCORE 13107.214
AT ITER 4162 NEW BEST:: SOT 57758 SOS 20207 HAS SOPS 17148 HAS SOUS 16078 HAS SOUPS 13083 WITH SCORE 13103.207
AT ITER 4164 NEW BEST:: SOT 57675 SOS 20141 HAS SOPS 17065 HAS SOUS 16104 HAS SOUPS 13066 WITH SCORE 13086.141
AT ITER 4174 NEW BEST:: SOT 57665 SOS 20121 HAS SOPS 17045 HAS SOUS 16094 HAS SOUPS 13056 WITH SCORE 13076.121
AT ITER 4176 NEW BEST:: SOT 57661 SOS 20117 HAS SOPS 17041 HAS SOUS 16086 HAS SOUPS 13048 WITH SCORE 13068.117
AT ITER 4193 NEW BEST:: SOT 57649 SOS 20119 HAS SOPS 17035 HAS SOUS 16084 HAS SOUPS 13038 WITH SCORE 13058.119
AT ITER 4242 NEW BEST:: SOT 57665 SOS 20085 HAS SOPS 17004 HAS SOUS 16074 HAS SOUPS 13031 WITH SCORE 13051.085
AT ITER 4252 NEW BEST:: SOT 57620 SOS 20053 HAS SOPS 16972 HAS SOUS 16042 HAS SOUPS 12999 WITH SCORE 13019.053
AT ITER 4291 NEW BEST:: SOT 57598 SOS 20046 HAS SOPS 16965 HAS SOUS 16036 HAS SOUPS 12993 WITH SCORE 13013.046
AT ITER 4316 NEW BEST:: SOT 57605 SOS 20021 HAS SOPS 16940 HAS SOUS 16036 HAS SOUPS 12993 WITH SCORE 13013.021
AT ITER 4331 NEW BEST:: SOT 57596 SOS 20012 HAS SOPS 16922 HAS SOUS 16027 HAS SOUPS 12975 WITH SCORE 12995.012
AT ITER 4354 NEW BEST:: SOT 57596 SOS 20004 HAS SOPS 16914 HAS SOUS 16027 HAS SOUPS 12975 WITH SCORE 12995.004
AT ITER 4360 NEW BEST:: SOT 57589 SOS 19990 HAS SOPS 16900 HAS SOUS 16020 HAS SOUPS 12968 WITH SCORE 12987.99
AT ITER 4378 NEW BEST:: SOT 57595 SOS 19989 HAS SOPS 16899 HAS SOUS 16013 HAS SOUPS 12961 WITH SCORE 12980.989
AT ITER 4398 NEW BEST:: SOT 57595 SOS 19982 HAS SOPS 16892 HAS SOUS 16013 HAS SOUPS 12961 WITH SCORE 12980.982
AT ITER 4426 NEW BEST:: SOT 57595 SOS 19979 HAS SOPS 16889 HAS SOUS 16013 HAS SOUPS 12961 WITH SCORE 12980.979
AT ITER 4431 NEW BEST:: SOT 57588 SOS 19972 HAS SOPS 16876 HAS SOUS 16012 HAS SOUPS 12954 WITH SCORE 12973.972
AT ITER 4444 NEW BEST:: SOT 57585 SOS 19966 HAS SOPS 16870 HAS SOUS 16009 HAS SOUPS 12951 WITH SCORE 12970.966
AT ITER 4458 NEW BEST:: SOT 57563 SOS 19961 HAS SOPS 16858 HAS SOUS 16008 HAS SOUPS 12943 WITH SCORE 12962.961
AT ITER 4469 NEW BEST:: SOT 57543 SOS 19949 HAS SOPS 16846 HAS SOUS 15996 HAS SOUPS 12931 WITH SCORE 12950.949
AT ITER 4472 NEW BEST:: SOT 57539 SOS 19941 HAS SOPS 16838 HAS SOUS 15992 HAS SOUPS 12927 WITH SCORE 12946.941
AT ITER 4477 NEW BEST:: SOT 57541 SOS 19940 HAS SOPS 16837 HAS SOUS 15991 HAS SOUPS 12926 WITH SCORE 12945.94
AT ITER 4525 NEW BEST:: SOT 57541 SOS 19940 HAS SOPS 16837 HAS SOUS 15985 HAS SOUPS 12920 WITH SCORE 12939.94
AT ITER 4529 NEW BEST:: SOT 57541 SOS 19930 HAS SOPS 16827 HAS SOUS 15984 HAS SOUPS 12919 WITH SCORE 12938.93
AT ITER 4536 NEW BEST:: SOT 57745 SOS 20168 HAS SOPS 17059 HAS SOUS 15980 HAS SOUPS 12915 WITH SCORE 12935.168
AT ITER 4538 NEW BEST:: SOT 57752 SOS 20169 HAS SOPS 17060 HAS SOUS 15968 HAS SOUPS 12903 WITH SCORE 12923.169
AT ITER 4543 NEW BEST:: SOT 57752 SOS 20232 HAS SOPS 17123 HAS SOUS 15956 HAS SOUPS 12891 WITH SCORE 12911.232
AT ITER 4553 NEW BEST:: SOT 57735 SOS 20141 HAS SOPS 17088 HAS SOUS 15883 HAS SOUPS 12874 WITH SCORE 12894.141
AT ITER 4589 NEW BEST:: SOT 57742 SOS 20155 HAS SOPS 17088 HAS SOUS 15876 HAS SOUPS 12860 WITH SCORE 12880.155
AT ITER 4591 NEW BEST:: SOT 57728 SOS 20132 HAS SOPS 17065 HAS SOUS 15842 HAS SOUPS 12826 WITH SCORE 12846.132
AT ITER 4599 NEW BEST:: SOT 57728 SOS 20118 HAS SOPS 17051 HAS SOUS 15833 HAS SOUPS 12817 WITH SCORE 12837.118
AT ITER 4623 NEW BEST:: SOT 57728 SOS 20107 HAS SOPS 17040 HAS SOUS 15827 HAS SOUPS 12811 WITH SCORE 12831.107
AT ITER 4643 NEW BEST:: SOT 57710 SOS 20050 HAS SOPS 16983 HAS SOUS 15808 HAS SOUPS 12792 WITH SCORE 12812.05
AT ITER 4696 NEW BEST:: SOT 57778 SOS 20127 HAS SOPS 17060 HAS SOUS 15792 HAS SOUPS 12776 WITH SCORE 12796.127
AT ITER 4703 NEW BEST:: SOT 57778 SOS 20310 HAS SOPS 17155 HAS SOUS 15879 HAS SOUPS 12775 WITH SCORE 12795.31
AT ITER 4750 NEW BEST:: SOT 57756 SOS 20296 HAS SOPS 17141 HAS SOUS 15875 HAS SOUPS 12771 WITH SCORE 12791.296
AT ITER 4752 NEW BEST:: SOT 57748 SOS 20288 HAS SOPS 17133 HAS SOUS 15871 HAS SOUPS 12767 WITH SCORE 12787.288
AT ITER 4756 NEW BEST:: SOT 57675 SOS 20234 HAS SOPS 17079 HAS SOUS 15842 HAS SOUPS 12738 WITH SCORE 12758.234
AT ITER 4777 NEW BEST:: SOT 57672 SOS 20231 HAS SOPS 17044 HAS SOUS 15868 HAS SOUPS 12732 WITH SCORE 12752.231
AT ITER 4818 NEW BEST:: SOT 57645 SOS 20216 HAS SOPS 17029 HAS SOUS 15856 HAS SOUPS 12720 WITH SCORE 12740.216
AT ITER 4826 NEW BEST:: SOT 57644 SOS 20214 HAS SOPS 17027 HAS SOUS 15855 HAS SOUPS 12719 WITH SCORE 12739.214
AT ITER 4868 NEW BEST:: SOT 57620 SOS 20138 HAS SOPS 16951 HAS SOUS 15834 HAS SOUPS 12698 WITH SCORE 12718.138
AT ITER 4875 NEW BEST:: SOT 57621 SOS 20137 HAS SOPS 16950 HAS SOUS 15832 HAS SOUPS 12696 WITH SCORE 12716.137
AT ITER 4883 NEW BEST:: SOT 57623 SOS 20125 HAS SOPS 16938 HAS SOUS 15818 HAS SOUPS 12682 WITH SCORE 12702.125
AT ITER 4902 NEW BEST:: SOT 57615 SOS 20117 HAS SOPS 16903 HAS SOUS 15832 HAS SOUPS 12669 WITH SCORE 12689.117
AT ITER 4908 NEW BEST:: SOT 57601 SOS 20089 HAS SOPS 16875 HAS SOUS 15818 HAS SOUPS 12655 WITH SCORE 12675.089
AT ITER 4913 NEW BEST:: SOT 57604 SOS 20064 HAS SOPS 16850 HAS SOUS 15814 HAS SOUPS 12651 WITH SCORE 12671.064
AT ITER 4921 NEW BEST:: SOT 57580 SOS 20039 HAS SOPS 16802 HAS SOUS 15813 HAS SOUPS 12627 WITH SCORE 12647.039
AT ITER 4924 NEW BEST:: SOT 57584 SOS 20035 HAS SOPS 16802 HAS SOUS 15809 HAS SOUPS 12627 WITH SCORE 12647.035
AT ITER 4929 NEW BEST:: SOT 57590 SOS 20009 HAS SOPS 16776 HAS SOUS 15783 HAS SOUPS 12601 WITH SCORE 12621.009
AT ITER 4938 NEW BEST:: SOT 57566 SOS 20005 HAS SOPS 16772 HAS SOUS 15779 HAS SOUPS 12597 WITH SCORE 12617.005
AT ITER 4961 NEW BEST:: SOT 57543 SOS 19999 HAS SOPS 16759 HAS SOUS 15763 HAS SOUPS 12574 WITH SCORE 12593.999
AT ITER 4965 NEW BEST:: SOT 57523 SOS 19921 HAS SOPS 16681 HAS SOUS 15723 HAS SOUPS 12534 WITH SCORE 12553.921
AT ITER 4975 NEW BEST:: SOT 57522 SOS 19717 HAS SOPS 16477 HAS SOUS 15680 HAS SOUPS 12491 WITH SCORE 12510.717
AT ITER 5016 NEW BEST:: SOT 57521 SOS 19714 HAS SOPS 16474 HAS SOUS 15678 HAS SOUPS 12489 WITH SCORE 12508.714
AT ITER 5048 NEW BEST:: SOT 57458 SOS 19588 HAS SOPS 16348 HAS SOUS 15671 HAS SOUPS 12482 WITH SCORE 12501.588
AT ITER 5058 NEW BEST:: SOT 57455 SOS 19585 HAS SOPS 16345 HAS SOUS 15668 HAS SOUPS 12479 WITH SCORE 12498.585
AT ITER 5066 NEW BEST:: SOT 57550 SOS 19645 HAS SOPS 16405 HAS SOUS 15633 HAS SOUPS 12444 WITH SCORE 12463.645
AT ITER 5074 NEW BEST:: SOT 57519 SOS 19614 HAS SOPS 16405 HAS SOUS 15602 HAS SOUPS 12444 WITH SCORE 12463.614
AT ITER 5088 NEW BEST:: SOT 57549 SOS 19707 HAS SOPS 16460 HAS SOUS 15613 HAS SOUPS 12436 WITH SCORE 12455.707
AT ITER 5090 NEW BEST:: SOT 57549 SOS 19695 HAS SOPS 16460 HAS SOUS 15601 HAS SOUPS 12436 WITH SCORE 12455.695
AT ITER 5106 NEW BEST:: SOT 57545 SOS 19687 HAS SOPS 16452 HAS SOUS 15597 HAS SOUPS 12432 WITH SCORE 12451.687
AT ITER 5107 NEW BEST:: SOT 57528 SOS 19670 HAS SOPS 16435 HAS SOUS 15597 HAS SOUPS 12432 WITH SCORE 12451.67
AT ITER 5126 NEW BEST:: SOT 57505 SOS 19647 HAS SOPS 16389 HAS SOUS 15602 HAS SOUPS 12414 WITH SCORE 12433.647
AT ITER 5155 NEW BEST:: SOT 57505 SOS 19561 HAS SOPS 16303 HAS SOUS 15601 HAS SOUPS 12413 WITH SCORE 12432.561
AT ITER 5157 NEW BEST:: SOT 57483 SOS 19509 HAS SOPS 16251 HAS SOUS 15584 HAS SOUPS 12396 WITH SCORE 12415.509
AT ITER 5163 NEW BEST:: SOT 57482 SOS 19509 HAS SOPS 16250 HAS SOUS 15584 HAS SOUPS 12395 WITH SCORE 12414.509
AT ITER 5215 NEW BEST:: SOT 59599 SOS 21248 HAS SOPS 17989 HAS SOUS 15567 HAS SOUPS 12378 WITH SCORE 12399.248
AT ITER 5217 NEW BEST:: SOT 59599 SOS 21231 HAS SOPS 17972 HAS SOUS 15564 HAS SOUPS 12375 WITH SCORE 12396.231
AT ITER 5248 NEW BEST:: SOT 59569 SOS 21115 HAS SOPS 17856 HAS SOUS 15504 HAS SOUPS 12315 WITH SCORE 12336.115
AT ITER 5264 NEW BEST:: SOT 59589 SOS 21059 HAS SOPS 17800 HAS SOUS 15469 HAS SOUPS 12280 WITH SCORE 12301.059
AT ITER 5270 NEW BEST:: SOT 59621 SOS 21080 HAS SOPS 17821 HAS SOUS 15451 HAS SOUPS 12262 WITH SCORE 12283.08
AT ITER 5271 NEW BEST:: SOT 59587 SOS 21081 HAS SOPS 17822 HAS SOUS 15435 HAS SOUPS 12246 WITH SCORE 12267.081
AT ITER 5290 NEW BEST:: SOT 59531 SOS 20236 HAS SOPS 16977 HAS SOUS 15417 HAS SOUPS 12228 WITH SCORE 12248.236
AT ITER 5310 NEW BEST:: SOT 59501 SOS 20182 HAS SOPS 16923 HAS SOUS 15363 HAS SOUPS 12174 WITH SCORE 12194.182
AT ITER 5320 NEW BEST:: SOT 59487 SOS 20126 HAS SOPS 16867 HAS SOUS 15350 HAS SOUPS 12161 WITH SCORE 12181.126
AT ITER 5332 NEW BEST:: SOT 59619 SOS 20238 HAS SOPS 16979 HAS SOUS 15344 HAS SOUPS 12155 WITH SCORE 12175.238
AT ITER 5373 NEW BEST:: SOT 59608 SOS 20216 HAS SOPS 16957 HAS SOUS 15333 HAS SOUPS 12144 WITH SCORE 12164.216
AT ITER 5452 NEW BEST:: SOT 59608 SOS 20186 HAS SOPS 16933 HAS SOUS 15327 HAS SOUPS 12144 WITH SCORE 12164.186
AT ITER 5478 NEW BEST:: SOT 59596 SOS 20177 HAS SOPS 16924 HAS SOUS 15322 HAS SOUPS 12139 WITH SCORE 12159.177
AT ITER 5502 NEW BEST:: SOT 59592 SOS 20172 HAS SOPS 16919 HAS SOUS 15317 HAS SOUPS 12134 WITH SCORE 12154.172
AT ITER 5551 NEW BEST:: SOT 59592 SOS 20165 HAS SOPS 16912 HAS SOUS 15310 HAS SOUPS 12127 WITH SCORE 12147.165
AT ITER 5572 NEW BEST:: SOT 59590 SOS 20153 HAS SOPS 16904 HAS SOUS 15302 HAS SOUPS 12121 WITH SCORE 12141.153
AT ITER 5617 NEW BEST:: SOT 59564 SOS 20136 HAS SOPS 16871 HAS SOUS 15295 HAS SOUPS 12098 WITH SCORE 12118.136
AT ITER 5625 NEW BEST:: SOT 59597 SOS 20212 HAS SOPS 16933 HAS SOUS 15299 HAS SOUPS 12088 WITH SCORE 12108.212
AT ITER 5658 NEW BEST:: SOT 59643 SOS 20258 HAS SOPS 16979 HAS SOUS 15276 HAS SOUPS 12065 WITH SCORE 12085.258
AT ITER 5666 NEW BEST:: SOT 59628 SOS 20228 HAS SOPS 16949 HAS SOUS 15261 HAS SOUPS 12050 WITH SCORE 12070.228
AT ITER 5672 NEW BEST:: SOT 59608 SOS 20208 HAS SOPS 16929 HAS SOUS 15241 HAS SOUPS 12030 WITH SCORE 12050.208
AT ITER 5679 NEW BEST:: SOT 59582 SOS 20188 HAS SOPS 16909 HAS SOUS 15234 HAS SOUPS 12023 WITH SCORE 12043.188
AT ITER 5722 NEW BEST:: SOT 59562 SOS 20108 HAS SOPS 16829 HAS SOUS 15220 HAS SOUPS 12009 WITH SCORE 12029.108
AT ITER 5746 NEW BEST:: SOT 59556 SOS 20102 HAS SOPS 16823 HAS SOUS 15208 HAS SOUPS 11997 WITH SCORE 12017.102
AT ITER 5749 NEW BEST:: SOT 59524 SOS 20069 HAS SOPS 16789 HAS SOUS 15204 HAS SOUPS 11993 WITH SCORE 12013.069
AT ITER 5769 NEW BEST:: SOT 59463 SOS 19398 HAS SOPS 16118 HAS SOUS 15143 HAS SOUPS 11932 WITH SCORE 11951.398
AT ITER 5784 NEW BEST:: SOT 59461 SOS 19399 HAS SOPS 16119 HAS SOUS 15142 HAS SOUPS 11931 WITH SCORE 11950.399
AT ITER 5811 NEW BEST:: SOT 59456 SOS 19369 HAS SOPS 16089 HAS SOUS 15136 HAS SOUPS 11925 WITH SCORE 11944.369
AT ITER 5826 NEW BEST:: SOT 59412 SOS 19325 HAS SOPS 16045 HAS SOUS 15118 HAS SOUPS 11907 WITH SCORE 11926.325
AT ITER 5845 NEW BEST:: SOT 59307 SOS 19302 HAS SOPS 15925 HAS SOUS 15101 HAS SOUPS 11793 WITH SCORE 11812.302
AT ITER 5862 NEW BEST:: SOT 59299 SOS 19233 HAS SOPS 15856 HAS SOUS 15088 HAS SOUPS 11780 WITH SCORE 11799.233
AT ITER 5893 NEW BEST:: SOT 59299 SOS 19226 HAS SOPS 15849 HAS SOUS 15081 HAS SOUPS 11773 WITH SCORE 11792.226
AT ITER 5919 NEW BEST:: SOT 59271 SOS 19198 HAS SOPS 15821 HAS SOUS 15060 HAS SOUPS 11752 WITH SCORE 11771.198
AT ITER 5939 NEW BEST:: SOT 59259 SOS 19186 HAS SOPS 15809 HAS SOUS 15060 HAS SOUPS 11752 WITH SCORE 11771.186
AT ITER 5966 NEW BEST:: SOT 59259 SOS 19183 HAS SOPS 15806 HAS SOUS 15059 HAS SOUPS 11751 WITH SCORE 11770.183
AT ITER 6013 NEW BEST:: SOT 59248 SOS 19172 HAS SOPS 15803 HAS SOUS 15034 HAS SOUPS 11734 WITH SCORE 11753.172
AT ITER 6025 NEW BEST:: SOT 59266 SOS 19190 HAS SOPS 15821 HAS SOUS 15025 HAS SOUPS 11725 WITH SCORE 11744.19
AT ITER 6092 NEW BEST:: SOT 59252 SOS 19182 HAS SOPS 15813 HAS SOUS 15023 HAS SOUPS 11723 WITH SCORE 11742.182
AT ITER 6115 NEW BEST:: SOT 59252 SOS 19156 HAS SOPS 15787 HAS SOUS 15023 HAS SOUPS 11723 WITH SCORE 11742.156
AT ITER 6116 NEW BEST:: SOT 59247 SOS 19131 HAS SOPS 15767 HAS SOUS 15008 HAS SOUPS 11713 WITH SCORE 11732.131
AT ITER 6126 NEW BEST:: SOT 59252 SOS 19161 HAS SOPS 15792 HAS SOUS 15003 HAS SOUPS 11708 WITH SCORE 11727.161
AT ITER 6180 NEW BEST:: SOT 59240 SOS 19138 HAS SOPS 15774 HAS SOUS 14992 HAS SOUPS 11702 WITH SCORE 11721.138
AT ITER 6217 NEW BEST:: SOT 59236 SOS 19134 HAS SOPS 15766 HAS SOUS 14988 HAS SOUPS 11694 WITH SCORE 11713.134
AT ITER 6233 NEW BEST:: SOT 59236 SOS 19126 HAS SOPS 15758 HAS SOUS 14988 HAS SOUPS 11694 WITH SCORE 11713.126
AT ITER 6258 NEW BEST:: SOT 59224 SOS 19087 HAS SOPS 15719 HAS SOUS 14949 HAS SOUPS 11655 WITH SCORE 11674.087
AT ITER 6294 NEW BEST:: SOT 59221 SOS 19081 HAS SOPS 15716 HAS SOUS 14943 HAS SOUPS 11652 WITH SCORE 11671.081
AT ITER 6335 NEW BEST:: SOT 59215 SOS 19078 HAS SOPS 15713 HAS SOUS 14943 HAS SOUPS 11652 WITH SCORE 11671.078
AT ITER 6396 NEW BEST:: SOT 59205 SOS 19064 HAS SOPS 15699 HAS SOUS 14929 HAS SOUPS 11638 WITH SCORE 11657.064
AT ITER 6402 NEW BEST:: SOT 59210 SOS 19069 HAS SOPS 15696 HAS SOUS 14934 HAS SOUPS 11635 WITH SCORE 11654.069
AT ITER 6413 NEW BEST:: SOT 59210 SOS 19069 HAS SOPS 15691 HAS SOUS 14934 HAS SOUPS 11630 WITH SCORE 11649.069
AT ITER 6453 NEW BEST:: SOT 59205 SOS 19054 HAS SOPS 15676 HAS SOUS 14924 HAS SOUPS 11620 WITH SCORE 11639.054
AT ITER 6469 NEW BEST:: SOT 59204 SOS 19055 HAS SOPS 15675 HAS SOUS 14925 HAS SOUPS 11619 WITH SCORE 11638.055
AT ITER 6470 NEW BEST:: SOT 59198 SOS 19043 HAS SOPS 15663 HAS SOUS 14919 HAS SOUPS 11613 WITH SCORE 11632.043
AT ITER 6475 NEW BEST:: SOT 59193 SOS 19038 HAS SOPS 15653 HAS SOUS 14914 HAS SOUPS 11603 WITH SCORE 11622.038
AT ITER 6589 NEW BEST:: SOT 59221 SOS 19119 HAS SOPS 15734 HAS SOUS 14911 HAS SOUPS 11600 WITH SCORE 11619.119
AT ITER 6600 NEW BEST:: SOT 59218 SOS 19116 HAS SOPS 15731 HAS SOUS 14908 HAS SOUPS 11597 WITH SCORE 11616.116
AT ITER 6615 NEW BEST:: SOT 59224 SOS 19048 HAS SOPS 15663 HAS SOUS 14894 HAS SOUPS 11583 WITH SCORE 11602.048
AT ITER 6627 NEW BEST:: SOT 59272 SOS 19100 HAS SOPS 15673 HAS SOUS 14903 HAS SOUPS 11550 WITH SCORE 11569.1
AT ITER 6636 NEW BEST:: SOT 59264 SOS 19084 HAS SOPS 15657 HAS SOUS 14895 HAS SOUPS 11542 WITH SCORE 11561.084
AT ITER 6641 NEW BEST:: SOT 59264 SOS 19045 HAS SOPS 15618 HAS SOUS 14875 HAS SOUPS 11522 WITH SCORE 11541.045
AT ITER 6689 NEW BEST:: SOT 59263 SOS 19043 HAS SOPS 15616 HAS SOUS 14873 HAS SOUPS 11520 WITH SCORE 11539.043
AT ITER 6715 NEW BEST:: SOT 59262 SOS 19042 HAS SOPS 15615 HAS SOUS 14873 HAS SOUPS 11520 WITH SCORE 11539.042
AT ITER 6716 NEW BEST:: SOT 59260 SOS 18984 HAS SOPS 15535 HAS SOUS 14877 HAS SOUPS 11502 WITH SCORE 11520.984
AT ITER 6719 NEW BEST:: SOT 59258 SOS 18979 HAS SOPS 15531 HAS SOUS 14874 HAS SOUPS 11500 WITH SCORE 11518.979
AT ITER 6816 NEW BEST:: SOT 59268 SOS 18933 HAS SOPS 15484 HAS SOUS 14830 HAS SOUPS 11455 WITH SCORE 11473.933
AT ITER 6822 NEW BEST:: SOT 59266 SOS 18929 HAS SOPS 15480 HAS SOUS 14826 HAS SOUPS 11451 WITH SCORE 11469.929
AT ITER 6833 NEW BEST:: SOT 59263 SOS 18917 HAS SOPS 15471 HAS SOUS 14817 HAS SOUPS 11445 WITH SCORE 11463.917
AT ITER 6842 NEW BEST:: SOT 59239 SOS 18869 HAS SOPS 15423 HAS SOUS 14793 HAS SOUPS 11421 WITH SCORE 11439.869
AT ITER 6858 NEW BEST:: SOT 59229 SOS 18900 HAS SOPS 15454 HAS SOUS 14783 HAS SOUPS 11411 WITH SCORE 11429.9
AT ITER 6870 NEW BEST:: SOT 59201 SOS 18872 HAS SOPS 15412 HAS SOUS 14769 HAS SOUPS 11383 WITH SCORE 11401.872
AT ITER 6896 NEW BEST:: SOT 59199 SOS 18870 HAS SOPS 15410 HAS SOUS 14769 HAS SOUPS 11383 WITH SCORE 11401.87
AT ITER 6995 NEW BEST:: SOT 59173 SOS 18929 HAS SOPS 15469 HAS SOUS 14756 HAS SOUPS 11370 WITH SCORE 11388.929
AT ITER 6997 NEW BEST:: SOT 59155 SOS 18911 HAS SOPS 15451 HAS SOUS 14738 HAS SOUPS 11352 WITH SCORE 11370.911
AT ITER 7063 NEW BEST:: SOT 59155 SOS 18471 HAS SOPS 15011 HAS SOUS 14738 HAS SOUPS 11352 WITH SCORE 11370.471
AT ITER 7168 NEW BEST:: SOT 59155 SOS 18454 HAS SOPS 14994 HAS SOUS 14721 HAS SOUPS 11335 WITH SCORE 11353.454
AT ITER 7203 NEW BEST:: SOT 59132 SOS 18408 HAS SOPS 14948 HAS SOUS 14698 HAS SOUPS 11312 WITH SCORE 11330.408
AT ITER 7218 NEW BEST:: SOT 59102 SOS 18413 HAS SOPS 14953 HAS SOUS 14672 HAS SOUPS 11286 WITH SCORE 11304.413
AT ITER 7243 NEW BEST:: SOT 59066 SOS 18338 HAS SOPS 14896 HAS SOUS 14624 HAS SOUPS 11254 WITH SCORE 11272.338
AT ITER 7335 NEW BEST:: SOT 59063 SOS 18335 HAS SOPS 14890 HAS SOUS 14624 HAS SOUPS 11251 WITH SCORE 11269.335
AT ITER 7353 NEW BEST:: SOT 59047 SOS 18311 HAS SOPS 14858 HAS SOUS 14616 HAS SOUPS 11235 WITH SCORE 11253.311
AT ITER 7384 NEW BEST:: SOT 58759 SOS 18041 HAS SOPS 14576 HAS SOUS 14621 HAS SOUPS 11228 WITH SCORE 11246.041
AT ITER 7407 NEW BEST:: SOT 58806 SOS 17853 HAS SOPS 14435 HAS SOUS 14574 HAS SOUPS 11228 WITH SCORE 11245.853
AT ITER 7431 NEW BEST:: SOT 58793 SOS 17840 HAS SOPS 14422 HAS SOUS 14561 HAS SOUPS 11215 WITH SCORE 11232.84
AT ITER 7473 NEW BEST:: SOT 58794 SOS 17841 HAS SOPS 14423 HAS SOUS 14558 HAS SOUPS 11212 WITH SCORE 11229.841
AT ITER 7480 NEW BEST:: SOT 58750 SOS 17705 HAS SOPS 14287 HAS SOUS 14488 HAS SOUPS 11142 WITH SCORE 11159.705
AT ITER 7505 NEW BEST:: SOT 58749 SOS 17704 HAS SOPS 14286 HAS SOUS 14488 HAS SOUPS 11142 WITH SCORE 11159.704
AT ITER 7555 NEW BEST:: SOT 58748 SOS 17703 HAS SOPS 14286 HAS SOUS 14487 HAS SOUPS 11142 WITH SCORE 11159.703
AT ITER 7567 NEW BEST:: SOT 58992 SOS 17855 HAS SOPS 14450 HAS SOUS 14467 HAS SOUPS 11134 WITH SCORE 11151.855
AT ITER 7599 NEW BEST:: SOT 58986 SOS 17845 HAS SOPS 14440 HAS SOUS 14463 HAS SOUPS 11130 WITH SCORE 11147.845
AT ITER 7605 NEW BEST:: SOT 58982 SOS 17844 HAS SOPS 14436 HAS SOUS 14462 HAS SOUPS 11126 WITH SCORE 11143.844
AT ITER 7614 NEW BEST:: SOT 58987 SOS 17768 HAS SOPS 14368 HAS SOUS 14452 HAS SOUPS 11123 WITH SCORE 11140.768
AT ITER 7658 NEW BEST:: SOT 58988 SOS 17769 HAS SOPS 14368 HAS SOUS 14451 HAS SOUPS 11121 WITH SCORE 11138.769
AT ITER 7758 NEW BEST:: SOT 58952 SOS 17761 HAS SOPS 14360 HAS SOUS 14443 HAS SOUPS 11113 WITH SCORE 11130.761
AT ITER 7798 NEW BEST:: SOT 58953 SOS 17758 HAS SOPS 14357 HAS SOUS 14443 HAS SOUPS 11113 WITH SCORE 11130.758
AT ITER 7848 NEW BEST:: SOT 58950 SOS 17704 HAS SOPS 14303 HAS SOUS 14406 HAS SOUPS 11076 WITH SCORE 11093.704
AT ITER 7861 NEW BEST:: SOT 58950 SOS 17704 HAS SOPS 14289 HAS SOUS 14412 HAS SOUPS 11068 WITH SCORE 11085.704
AT ITER 7879 NEW BEST:: SOT 58950 SOS 17699 HAS SOPS 14289 HAS SOUS 14407 HAS SOUPS 11068 WITH SCORE 11085.699
AT ITER 7880 NEW BEST:: SOT 58951 SOS 17696 HAS SOPS 14286 HAS SOUS 14403 HAS SOUPS 11064 WITH SCORE 11081.696
AT ITER 7932 NEW BEST:: SOT 58947 SOS 17675 HAS SOPS 14265 HAS SOUS 14382 HAS SOUPS 11043 WITH SCORE 11060.675
AT ITER 7982 NEW BEST:: SOT 58947 SOS 17675 HAS SOPS 14248 HAS SOUS 14382 HAS SOUPS 11026 WITH SCORE 11043.675
AT ITER 7996 NEW BEST:: SOT 58956 SOS 17664 HAS SOPS 14237 HAS SOUS 14377 HAS SOUPS 11021 WITH SCORE 11038.664
AT ITER 8063 NEW BEST:: SOT 58956 SOS 17663 HAS SOPS 14237 HAS SOUS 14376 HAS SOUPS 11021 WITH SCORE 11038.663
AT ITER 8071 NEW BEST:: SOT 58971 SOS 17661 HAS SOPS 14235 HAS SOUS 14375 HAS SOUPS 11020 WITH SCORE 11037.661
AT ITER 8073 NEW BEST:: SOT 58971 SOS 17646 HAS SOPS 14220 HAS SOUS 14375 HAS SOUPS 11020 WITH SCORE 11037.646
AT ITER 8126 NEW BEST:: SOT 58971 SOS 17646 HAS SOPS 14220 HAS SOUS 14372 HAS SOUPS 11017 WITH SCORE 11034.646
AT ITER 8127 NEW BEST:: SOT 58971 SOS 17624 HAS SOPS 14198 HAS SOUS 14350 HAS SOUPS 10995 WITH SCORE 11012.624
AT ITER 8192 NEW BEST:: SOT 58967 SOS 17626 HAS SOPS 14200 HAS SOUS 14340 HAS SOUPS 10985 WITH SCORE 11002.626
AT ITER 8219 NEW BEST:: SOT 58961 SOS 17383 HAS SOPS 13957 HAS SOUS 14318 HAS SOUPS 10963 WITH SCORE 10980.383
AT ITER 8242 NEW BEST:: SOT 58959 SOS 17387 HAS SOPS 13956 HAS SOUS 14319 HAS SOUPS 10959 WITH SCORE 10976.387
AT ITER 8271 NEW BEST:: SOT 58959 SOS 17385 HAS SOPS 13954 HAS SOUS 14317 HAS SOUPS 10957 WITH SCORE 10974.385
AT ITER 8280 NEW BEST:: SOT 58961 SOS 17382 HAS SOPS 13953 HAS SOUS 14314 HAS SOUPS 10956 WITH SCORE 10973.382
AT ITER 8305 NEW BEST:: SOT 58957 SOS 17323 HAS SOPS 13894 HAS SOUS 14310 HAS SOUPS 10952 WITH SCORE 10969.323
AT ITER 8315 NEW BEST:: SOT 58965 SOS 17299 HAS SOPS 13870 HAS SOUS 14310 HAS SOUPS 10952 WITH SCORE 10969.299
AT ITER 8332 NEW BEST:: SOT 58965 SOS 17304 HAS SOPS 13855 HAS SOUS 14315 HAS SOUPS 10937 WITH SCORE 10954.304
AT ITER 8347 NEW BEST:: SOT 58969 SOS 17310 HAS SOPS 13861 HAS SOUS 14313 HAS SOUPS 10935 WITH SCORE 10952.31
AT ITER 8360 NEW BEST:: SOT 58963 SOS 17298 HAS SOPS 13849 HAS SOUS 14301 HAS SOUPS 10923 WITH SCORE 10940.298
AT ITER 8449 NEW BEST:: SOT 58953 SOS 17288 HAS SOPS 13841 HAS SOUS 14299 HAS SOUPS 10921 WITH SCORE 10938.288
AT ITER 8483 NEW BEST:: SOT 58953 SOS 17243 HAS SOPS 13796 HAS SOUS 14299 HAS SOUPS 10921 WITH SCORE 10938.243
AT ITER 8512 NEW BEST:: SOT 58743 SOS 17054 HAS SOPS 13607 HAS SOUS 14299 HAS SOUPS 10921 WITH SCORE 10938.054
AT ITER 8562 NEW BEST:: SOT 58761 SOS 16982 HAS SOPS 13535 HAS SOUS 14290 HAS SOUPS 10912 WITH SCORE 10928.982
AT ITER 8625 NEW BEST:: SOT 58745 SOS 16970 HAS SOPS 13523 HAS SOUS 14284 HAS SOUPS 10906 WITH SCORE 10922.97
AT ITER 8639 NEW BEST:: SOT 58745 SOS 16975 HAS SOPS 13495 HAS SOUS 14313 HAS SOUPS 10902 WITH SCORE 10918.975
AT ITER 8655 NEW BEST:: SOT 58716 SOS 16904 HAS SOPS 13424 HAS SOUS 14252 HAS SOUPS 10841 WITH SCORE 10857.904
AT ITER 8660 NEW BEST:: SOT 58716 SOS 16898 HAS SOPS 13418 HAS SOUS 14246 HAS SOUPS 10835 WITH SCORE 10851.898
AT ITER 8671 NEW BEST:: SOT 58706 SOS 16888 HAS SOPS 13408 HAS SOUS 14241 HAS SOUPS 10830 WITH SCORE 10846.888
AT ITER 8674 NEW BEST:: SOT 58694 SOS 16892 HAS SOPS 13412 HAS SOUS 14221 HAS SOUPS 10810 WITH SCORE 10826.892
AT ITER 8727 NEW BEST:: SOT 58670 SOS 16867 HAS SOPS 13396 HAS SOUS 14220 HAS SOUPS 10809 WITH SCORE 10825.867
AT ITER 8763 NEW BEST:: SOT 58668 SOS 16865 HAS SOPS 13366 HAS SOUS 14244 HAS SOUPS 10805 WITH SCORE 10821.865
AT ITER 8794 NEW BEST:: SOT 58719 SOS 16895 HAS SOPS 13395 HAS SOUS 14222 HAS SOUPS 10783 WITH SCORE 10799.895
AT ITER 8886 NEW BEST:: SOT 58701 SOS 16906 HAS SOPS 13420 HAS SOUS 14195 HAS SOUPS 10770 WITH SCORE 10786.906
AT ITER 8999 NEW BEST:: SOT 58701 SOS 16902 HAS SOPS 13420 HAS SOUS 14191 HAS SOUPS 10770 WITH SCORE 10786.902
AT ITER 9042 NEW BEST:: SOT 58701 SOS 16895 HAS SOPS 13420 HAS SOUS 14184 HAS SOUPS 10770 WITH SCORE 10786.895
AT ITER 9132 NEW BEST:: SOT 58751 SOS 16935 HAS SOPS 13460 HAS SOUS 14179 HAS SOUPS 10765 WITH SCORE 10781.935
AT ITER 9221 NEW BEST:: SOT 58748 SOS 16929 HAS SOPS 13457 HAS SOUS 14176 HAS SOUPS 10765 WITH SCORE 10781.929
AT ITER 9232 NEW BEST:: SOT 58747 SOS 16933 HAS SOPS 13455 HAS SOUS 14180 HAS SOUPS 10763 WITH SCORE 10779.933
AT ITER 9271 NEW BEST:: SOT 58735 SOS 16903 HAS SOPS 13419 HAS SOUS 14168 HAS SOUPS 10745 WITH SCORE 10761.903
AT ITER 9303 NEW BEST:: SOT 58736 SOS 16903 HAS SOPS 13419 HAS SOUS 14167 HAS SOUPS 10744 WITH SCORE 10760.903
AT ITER 9322 NEW BEST:: SOT 58712 SOS 16902 HAS SOPS 13418 HAS SOUS 14166 HAS SOUPS 10743 WITH SCORE 10759.902
AT ITER 9345 NEW BEST:: SOT 58712 SOS 16905 HAS SOPS 13420 HAS SOUS 14166 HAS SOUPS 10742 WITH SCORE 10758.905
AT ITER 9410 NEW BEST:: SOT 58706 SOS 16901 HAS SOPS 13414 HAS SOUS 14164 HAS SOUPS 10738 WITH SCORE 10754.901
AT ITER 9487 NEW BEST:: SOT 58670 SOS 16898 HAS SOPS 13411 HAS SOUS 14161 HAS SOUPS 10735 WITH SCORE 10751.898
AT ITER 9495 NEW BEST:: SOT 58663 SOS 16851 HAS SOPS 13364 HAS SOUS 14147 HAS SOUPS 10721 WITH SCORE 10737.851
AT ITER 9504 NEW BEST:: SOT 58659 SOS 16843 HAS SOPS 13356 HAS SOUS 14143 HAS SOUPS 10717 WITH SCORE 10733.843
AT ITER 9680 NEW BEST:: SOT 58659 SOS 16831 HAS SOPS 13356 HAS SOUS 14131 HAS SOUPS 10717 WITH SCORE 10733.831
AT ITER 9696 NEW BEST:: SOT 58659 SOS 16807 HAS SOPS 13356 HAS SOUS 14107 HAS SOUPS 10717 WITH SCORE 10733.807
AT ITER 9808 NEW BEST:: SOT 58747 SOS 16884 HAS SOPS 13433 HAS SOUS 14094 HAS SOUPS 10704 WITH SCORE 10720.884
AT ITER 9821 NEW BEST:: SOT 58746 SOS 16883 HAS SOPS 13436 HAS SOUS 14089 HAS SOUPS 10703 WITH SCORE 10719.883
AT ITER 9835 NEW BEST:: SOT 58746 SOS 16853 HAS SOPS 13406 HAS SOUS 14089 HAS SOUPS 10703 WITH SCORE 10719.853
AT ITER 9849 NEW BEST:: SOT 58749 SOS 16850 HAS SOPS 13405 HAS SOUS 14087 HAS SOUPS 10703 WITH SCORE 10719.85
STATE_SPACE STATES 8440470781232316153857 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 72 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 458294751337722247380993 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678772055017

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Parking-PT-416"
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 Parking-PT-416, 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 r259-smll-167863534500432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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