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.r267-smll-167863542100624.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 smartxred
Input is Peterson-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863542100624
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.0M
-rw-r--r-- 1 mcc users 68K Feb 25 22:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 323K Feb 25 22:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 71K Feb 25 22:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 340K Feb 25 22:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 39K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 138K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 255K Feb 25 22:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 22:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 225K Feb 25 22:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 25 22:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 298K 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 1678945206881

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-4
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-16 05:40:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-16 05:40:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-16 05:40:10] [INFO ] Load time of PNML (sax parser for PT used): 191 ms
[2023-03-16 05:40:10] [INFO ] Transformed 480 places.
[2023-03-16 05:40:10] [INFO ] Transformed 690 transitions.
[2023-03-16 05:40:10] [INFO ] Found NUPN structural information;
[2023-03-16 05:40:10] [INFO ] Completing missing partition info from NUPN : creating a component with [IsEndLoop_0_3_4, IsEndLoop_1_3_4, TestAlone_3_1_4, TestAlone_2_2_4, TestIdentity_2_3_4, TestIdentity_4_0_4, AskForSection_0_3, AskForSection_0_2]
[2023-03-16 05:40:10] [INFO ] Parsed PT model containing 480 places and 690 transitions and 2120 arcs in 455 ms.
[2023-03-16 05:40:10] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 480 places, 690 transitions and 2120 arcs took 19 ms.
Total runtime 542 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 480 places, 690 transitions, 2120 arcs.
AT ITER 0 NEW BEST:: SOT 227761 SOS 94718 HAS SOPS 88268 HAS SOUS 89120 HAS SOUPS 85617 WITH SCORE 85711.718
AT ITER 6 NEW BEST:: SOT 227717 SOS 94487 HAS SOPS 88258 HAS SOUS 88995 HAS SOUPS 85536 WITH SCORE 85630.487
AT ITER 8 NEW BEST:: SOT 227538 SOS 94036 HAS SOPS 88252 HAS SOUS 88568 HAS SOUPS 85445 WITH SCORE 85539.036
AT ITER 10 NEW BEST:: SOT 227472 SOS 93786 HAS SOPS 88002 HAS SOUS 88436 HAS SOUPS 85313 WITH SCORE 85406.786
AT ITER 15 NEW BEST:: SOT 226870 SOS 93614 HAS SOPS 87832 HAS SOUS 88068 HAS SOUPS 84953 WITH SCORE 85046.614
AT ITER 18 NEW BEST:: SOT 226779 SOS 93432 HAS SOPS 87650 HAS SOUS 87886 HAS SOUPS 84771 WITH SCORE 84864.432
AT ITER 23 NEW BEST:: SOT 226386 SOS 93191 HAS SOPS 87591 HAS SOUS 87518 HAS SOUPS 84506 WITH SCORE 84599.191
AT ITER 26 NEW BEST:: SOT 226380 SOS 93179 HAS SOPS 87579 HAS SOUS 87506 HAS SOUPS 84494 WITH SCORE 84587.179
AT ITER 27 NEW BEST:: SOT 226319 SOS 93057 HAS SOPS 87457 HAS SOUS 87384 HAS SOUPS 84372 WITH SCORE 84465.057
AT ITER 29 NEW BEST:: SOT 226265 SOS 93003 HAS SOPS 87403 HAS SOUS 87330 HAS SOUPS 84318 WITH SCORE 84411.003
AT ITER 30 NEW BEST:: SOT 227125 SOS 93874 HAS SOPS 88601 HAS SOUS 86883 HAS SOUPS 84068 WITH SCORE 84161.874
AT ITER 34 NEW BEST:: SOT 227049 SOS 93736 HAS SOPS 88463 HAS SOUS 86775 HAS SOUPS 83960 WITH SCORE 84053.736
AT ITER 43 NEW BEST:: SOT 226933 SOS 93504 HAS SOPS 88231 HAS SOUS 86543 HAS SOUPS 83728 WITH SCORE 83821.504
AT ITER 46 NEW BEST:: SOT 226889 SOS 93390 HAS SOPS 88117 HAS SOUS 86499 HAS SOUPS 83684 WITH SCORE 83777.39
AT ITER 49 NEW BEST:: SOT 227102 SOS 93252 HAS SOPS 87792 HAS SOUS 86367 HAS SOUPS 83532 WITH SCORE 83625.252
AT ITER 50 NEW BEST:: SOT 227416 SOS 93658 HAS SOPS 87442 HAS SOUS 86335 HAS SOUPS 83347 WITH SCORE 83440.658
AT ITER 51 NEW BEST:: SOT 227317 SOS 93559 HAS SOPS 87343 HAS SOUS 86137 HAS SOUPS 83149 WITH SCORE 83242.559
AT ITER 60 NEW BEST:: SOT 227253 SOS 93431 HAS SOPS 87215 HAS SOUS 86009 HAS SOUPS 83021 WITH SCORE 83114.431
AT ITER 65 NEW BEST:: SOT 227209 SOS 93554 HAS SOPS 87300 HAS SOUS 85968 HAS SOUPS 82980 WITH SCORE 83073.554
AT ITER 69 NEW BEST:: SOT 226756 SOS 93067 HAS SOPS 86918 HAS SOUS 85538 HAS SOUPS 82550 WITH SCORE 82643.067
AT ITER 71 NEW BEST:: SOT 226735 SOS 93075 HAS SOPS 86901 HAS SOUS 85506 HAS SOUPS 82508 WITH SCORE 82601.075
AT ITER 76 NEW BEST:: SOT 227025 SOS 93246 HAS SOPS 86746 HAS SOUS 85357 HAS SOUPS 82336 WITH SCORE 82429.246
AT ITER 79 NEW BEST:: SOT 226916 SOS 93177 HAS SOPS 86637 HAS SOUS 85288 HAS SOUPS 82227 WITH SCORE 82320.177
AT ITER 80 NEW BEST:: SOT 226803 SOS 92951 HAS SOPS 86411 HAS SOUS 85062 HAS SOUPS 82001 WITH SCORE 82093.951
AT ITER 83 NEW BEST:: SOT 226803 SOS 92941 HAS SOPS 86401 HAS SOUS 85062 HAS SOUPS 82001 WITH SCORE 82093.941
AT ITER 84 NEW BEST:: SOT 226780 SOS 92895 HAS SOPS 86355 HAS SOUS 85016 HAS SOUPS 81955 WITH SCORE 82047.895
AT ITER 88 NEW BEST:: SOT 225377 SOS 91703 HAS SOPS 85310 HAS SOUS 83643 HAS SOUPS 80736 WITH SCORE 80827.703
AT ITER 91 NEW BEST:: SOT 225372 SOS 91698 HAS SOPS 85305 HAS SOUS 83638 HAS SOUPS 80731 WITH SCORE 80822.698
AT ITER 95 NEW BEST:: SOT 225084 SOS 91434 HAS SOPS 84993 HAS SOUS 83374 HAS SOUPS 80419 WITH SCORE 80510.434
AT ITER 97 NEW BEST:: SOT 225039 SOS 91299 HAS SOPS 84903 HAS SOUS 83239 HAS SOUPS 80329 WITH SCORE 80420.299
AT ITER 98 NEW BEST:: SOT 225029 SOS 91175 HAS SOPS 84941 HAS SOUS 83148 HAS SOUPS 80283 WITH SCORE 80374.175
AT ITER 109 NEW BEST:: SOT 224995 SOS 90983 HAS SOPS 84749 HAS SOUS 82956 HAS SOUPS 80091 WITH SCORE 80181.983
AT ITER 112 NEW BEST:: SOT 224960 SOS 90875 HAS SOPS 84641 HAS SOUS 82886 HAS SOUPS 80021 WITH SCORE 80111.875
AT ITER 135 NEW BEST:: SOT 224950 SOS 90865 HAS SOPS 84631 HAS SOUS 82876 HAS SOUPS 80011 WITH SCORE 80101.865
AT ITER 137 NEW BEST:: SOT 224921 SOS 90807 HAS SOPS 84573 HAS SOUS 82818 HAS SOUPS 79953 WITH SCORE 80043.807
AT ITER 141 NEW BEST:: SOT 224921 SOS 90784 HAS SOPS 84573 HAS SOUS 82795 HAS SOUPS 79953 WITH SCORE 80043.784
AT ITER 142 NEW BEST:: SOT 224920 SOS 90782 HAS SOPS 84571 HAS SOUS 82793 HAS SOUPS 79951 WITH SCORE 80041.782
AT ITER 143 NEW BEST:: SOT 224825 SOS 90659 HAS SOPS 84448 HAS SOUS 82670 HAS SOUPS 79828 WITH SCORE 79918.659
AT ITER 144 NEW BEST:: SOT 224760 SOS 90529 HAS SOPS 84318 HAS SOUS 82540 HAS SOUPS 79698 WITH SCORE 79788.529
AT ITER 147 NEW BEST:: SOT 224709 SOS 90118 HAS SOPS 83907 HAS SOUS 82475 HAS SOUPS 79633 WITH SCORE 79723.118
AT ITER 148 NEW BEST:: SOT 224709 SOS 90019 HAS SOPS 83808 HAS SOUS 82475 HAS SOUPS 79633 WITH SCORE 79723.019
AT ITER 154 NEW BEST:: SOT 224709 SOS 90019 HAS SOPS 83790 HAS SOUS 82457 HAS SOUPS 79615 WITH SCORE 79705.019
AT ITER 158 NEW BEST:: SOT 224678 SOS 89938 HAS SOPS 83709 HAS SOUS 82426 HAS SOUPS 79584 WITH SCORE 79673.938
AT ITER 163 NEW BEST:: SOT 224568 SOS 89718 HAS SOPS 83489 HAS SOUS 82206 HAS SOUPS 79364 WITH SCORE 79453.718
AT ITER 164 NEW BEST:: SOT 224568 SOS 89699 HAS SOPS 83470 HAS SOUS 82206 HAS SOUPS 79364 WITH SCORE 79453.699
AT ITER 166 NEW BEST:: SOT 224538 SOS 89639 HAS SOPS 83410 HAS SOUS 82146 HAS SOUPS 79304 WITH SCORE 79393.639
AT ITER 169 NEW BEST:: SOT 224290 SOS 89453 HAS SOPS 83255 HAS SOUS 81929 HAS SOUPS 79087 WITH SCORE 79176.453
AT ITER 172 NEW BEST:: SOT 224273 SOS 89419 HAS SOPS 83221 HAS SOUS 81895 HAS SOUPS 79053 WITH SCORE 79142.419
AT ITER 173 NEW BEST:: SOT 223496 SOS 89411 HAS SOPS 83481 HAS SOUS 81455 HAS SOUPS 78613 WITH SCORE 78702.411
AT ITER 179 NEW BEST:: SOT 223378 SOS 89099 HAS SOPS 83169 HAS SOUS 81219 HAS SOUPS 78377 WITH SCORE 78466.099
AT ITER 181 NEW BEST:: SOT 223318 SOS 88979 HAS SOPS 83049 HAS SOUS 81099 HAS SOUPS 78257 WITH SCORE 78345.979
AT ITER 203 NEW BEST:: SOT 223306 SOS 88955 HAS SOPS 83049 HAS SOUS 81074 HAS SOUPS 78244 WITH SCORE 78332.955
AT ITER 215 NEW BEST:: SOT 223295 SOS 88944 HAS SOPS 83038 HAS SOUS 81052 HAS SOUPS 78222 WITH SCORE 78310.944
AT ITER 216 NEW BEST:: SOT 222460 SOS 90734 HAS SOPS 82077 HAS SOUS 81326 HAS SOUPS 78141 WITH SCORE 78231.734
AT ITER 219 NEW BEST:: SOT 222334 SOS 90584 HAS SOPS 81933 HAS SOUS 81182 HAS SOUPS 77997 WITH SCORE 78087.584
AT ITER 225 NEW BEST:: SOT 222366 SOS 91183 HAS SOPS 82534 HAS SOUS 81145 HAS SOUPS 77960 WITH SCORE 78051.183
AT ITER 231 NEW BEST:: SOT 222306 SOS 90886 HAS SOPS 82237 HAS SOUS 81025 HAS SOUPS 77840 WITH SCORE 77930.886
AT ITER 236 NEW BEST:: SOT 222409 SOS 91020 HAS SOPS 82207 HAS SOUS 81003 HAS SOUPS 77818 WITH SCORE 77909.02
AT ITER 244 NEW BEST:: SOT 222393 SOS 90988 HAS SOPS 82175 HAS SOUS 80971 HAS SOUPS 77786 WITH SCORE 77876.988
AT ITER 247 NEW BEST:: SOT 222157 SOS 90893 HAS SOPS 82080 HAS SOUS 80726 HAS SOUPS 77541 WITH SCORE 77631.893
AT ITER 250 NEW BEST:: SOT 222079 SOS 90737 HAS SOPS 81924 HAS SOUS 80570 HAS SOUPS 77385 WITH SCORE 77475.737
AT ITER 251 NEW BEST:: SOT 220526 SOS 89719 HAS SOPS 81291 HAS SOUS 79630 HAS SOUPS 76532 WITH SCORE 76621.719
AT ITER 259 NEW BEST:: SOT 220368 SOS 89460 HAS SOPS 81032 HAS SOUS 79388 HAS SOUPS 76290 WITH SCORE 76379.46
AT ITER 263 NEW BEST:: SOT 220288 SOS 88903 HAS SOPS 80904 HAS SOUS 78870 HAS SOUPS 75864 WITH SCORE 75952.903
AT ITER 266 NEW BEST:: SOT 220360 SOS 88736 HAS SOPS 81037 HAS SOUS 78550 HAS SOUPS 75681 WITH SCORE 75769.736
AT ITER 276 NEW BEST:: SOT 220338 SOS 88692 HAS SOPS 80993 HAS SOUS 78506 HAS SOUPS 75637 WITH SCORE 75725.692
AT ITER 278 NEW BEST:: SOT 220338 SOS 88705 HAS SOPS 81006 HAS SOUS 78503 HAS SOUPS 75634 WITH SCORE 75722.705
AT ITER 279 NEW BEST:: SOT 220199 SOS 88406 HAS SOPS 80759 HAS SOUS 78256 HAS SOUPS 75387 WITH SCORE 75475.406
AT ITER 297 NEW BEST:: SOT 220085 SOS 88228 HAS SOPS 80581 HAS SOUS 78028 HAS SOUPS 75159 WITH SCORE 75247.228
AT ITER 298 NEW BEST:: SOT 220087 SOS 88139 HAS SOPS 80577 HAS SOUS 77828 HAS SOUPS 74986 WITH SCORE 75074.139
AT ITER 300 NEW BEST:: SOT 219877 SOS 87765 HAS SOPS 80203 HAS SOUS 77498 HAS SOUPS 74656 WITH SCORE 74743.765
AT ITER 301 NEW BEST:: SOT 219785 SOS 87713 HAS SOPS 80151 HAS SOUS 77446 HAS SOUPS 74604 WITH SCORE 74691.713
AT ITER 313 NEW BEST:: SOT 219777 SOS 87740 HAS SOPS 80178 HAS SOUS 77430 HAS SOUPS 74588 WITH SCORE 74675.74
AT ITER 317 NEW BEST:: SOT 219794 SOS 87757 HAS SOPS 80144 HAS SOUS 77428 HAS SOUPS 74571 WITH SCORE 74658.757
AT ITER 326 NEW BEST:: SOT 219204 SOS 87247 HAS SOPS 79763 HAS SOUS 76967 HAS SOUPS 74110 WITH SCORE 74197.247
AT ITER 327 NEW BEST:: SOT 219178 SOS 87221 HAS SOPS 79737 HAS SOUS 76941 HAS SOUPS 74084 WITH SCORE 74171.221
AT ITER 333 NEW BEST:: SOT 219110 SOS 86894 HAS SOPS 79601 HAS SOUS 76805 HAS SOUPS 73948 WITH SCORE 74034.894
AT ITER 340 NEW BEST:: SOT 219141 SOS 86797 HAS SOPS 79600 HAS SOUS 76484 HAS SOUPS 73659 WITH SCORE 73745.797
AT ITER 343 NEW BEST:: SOT 219077 SOS 86743 HAS SOPS 79546 HAS SOUS 76389 HAS SOUPS 73564 WITH SCORE 73650.743
AT ITER 344 NEW BEST:: SOT 219011 SOS 86611 HAS SOPS 79414 HAS SOUS 76257 HAS SOUPS 73432 WITH SCORE 73518.611
AT ITER 345 NEW BEST:: SOT 218638 SOS 86276 HAS SOPS 79003 HAS SOUS 75884 HAS SOUPS 73021 WITH SCORE 73107.276
AT ITER 350 NEW BEST:: SOT 217334 SOS 85516 HAS SOPS 77859 HAS SOUS 74929 HAS SOUPS 71521 WITH SCORE 71606.516
AT ITER 360 NEW BEST:: SOT 217317 SOS 85449 HAS SOPS 77792 HAS SOUS 74895 HAS SOUPS 71487 WITH SCORE 71572.449
AT ITER 363 NEW BEST:: SOT 217269 SOS 85353 HAS SOPS 77696 HAS SOUS 74799 HAS SOUPS 71391 WITH SCORE 71476.353
AT ITER 370 NEW BEST:: SOT 217262 SOS 85339 HAS SOPS 77682 HAS SOUS 74785 HAS SOUPS 71377 WITH SCORE 71462.339
AT ITER 371 NEW BEST:: SOT 217173 SOS 85161 HAS SOPS 77504 HAS SOUS 74607 HAS SOUPS 71199 WITH SCORE 71284.161
AT ITER 382 NEW BEST:: SOT 217112 SOS 84763 HAS SOPS 77106 HAS SOUS 74209 HAS SOUPS 70801 WITH SCORE 70885.763
AT ITER 383 NEW BEST:: SOT 216941 SOS 84611 HAS SOPS 76935 HAS SOUS 74038 HAS SOUPS 70611 WITH SCORE 70695.611
AT ITER 390 NEW BEST:: SOT 216855 SOS 84451 HAS SOPS 76769 HAS SOUS 73872 HAS SOUPS 70445 WITH SCORE 70529.451
AT ITER 391 NEW BEST:: SOT 216844 SOS 84440 HAS SOPS 76758 HAS SOUS 73861 HAS SOUPS 70434 WITH SCORE 70518.44
AT ITER 393 NEW BEST:: SOT 216842 SOS 84436 HAS SOPS 76754 HAS SOUS 73857 HAS SOUPS 70430 WITH SCORE 70514.436
AT ITER 405 NEW BEST:: SOT 216792 SOS 84336 HAS SOPS 76654 HAS SOUS 73757 HAS SOUPS 70330 WITH SCORE 70414.336
AT ITER 408 NEW BEST:: SOT 217320 SOS 84372 HAS SOPS 77229 HAS SOUS 72997 HAS SOUPS 69918 WITH SCORE 70002.372
AT ITER 416 NEW BEST:: SOT 217299 SOS 84330 HAS SOPS 77187 HAS SOUS 72955 HAS SOUPS 69876 WITH SCORE 69960.33
AT ITER 428 NEW BEST:: SOT 217265 SOS 84317 HAS SOPS 77174 HAS SOUS 72887 HAS SOUPS 69808 WITH SCORE 69892.317
AT ITER 430 NEW BEST:: SOT 217241 SOS 84269 HAS SOPS 77126 HAS SOUS 72839 HAS SOUPS 69760 WITH SCORE 69844.269
AT ITER 437 NEW BEST:: SOT 217224 SOS 84235 HAS SOPS 77092 HAS SOUS 72805 HAS SOUPS 69726 WITH SCORE 69810.235
AT ITER 445 NEW BEST:: SOT 217287 SOS 84221 HAS SOPS 77078 HAS SOUS 72791 HAS SOUPS 69712 WITH SCORE 69796.221
AT ITER 452 NEW BEST:: SOT 217197 SOS 84193 HAS SOPS 76988 HAS SOUS 72732 HAS SOUPS 69622 WITH SCORE 69706.193
AT ITER 462 NEW BEST:: SOT 217172 SOS 84159 HAS SOPS 76938 HAS SOUS 72698 HAS SOUPS 69572 WITH SCORE 69656.159
AT ITER 467 NEW BEST:: SOT 217037 SOS 83889 HAS SOPS 76668 HAS SOUS 72428 HAS SOUPS 69302 WITH SCORE 69385.889
AT ITER 470 NEW BEST:: SOT 217029 SOS 83873 HAS SOPS 76652 HAS SOUS 72420 HAS SOUPS 69294 WITH SCORE 69377.873
AT ITER 473 NEW BEST:: SOT 217011 SOS 83846 HAS SOPS 76616 HAS SOUS 72384 HAS SOUPS 69258 WITH SCORE 69341.846
AT ITER 475 NEW BEST:: SOT 216866 SOS 83612 HAS SOPS 76415 HAS SOUS 72183 HAS SOUPS 69057 WITH SCORE 69140.612
AT ITER 482 NEW BEST:: SOT 216815 SOS 83531 HAS SOPS 76334 HAS SOUS 72102 HAS SOUPS 68976 WITH SCORE 69059.531
AT ITER 485 NEW BEST:: SOT 216747 SOS 83237 HAS SOPS 76354 HAS SOUS 71962 HAS SOUPS 68859 WITH SCORE 68942.237
AT ITER 490 NEW BEST:: SOT 216706 SOS 83110 HAS SOPS 76261 HAS SOUS 71599 HAS SOUPS 68496 WITH SCORE 68579.11
AT ITER 491 NEW BEST:: SOT 216622 SOS 82098 HAS SOPS 75682 HAS SOUS 70853 HAS SOUPS 67856 WITH SCORE 67938.098
AT ITER 501 NEW BEST:: SOT 216571 SOS 81987 HAS SOPS 75571 HAS SOUS 70681 HAS SOUPS 67684 WITH SCORE 67765.987
AT ITER 507 NEW BEST:: SOT 216539 SOS 81923 HAS SOPS 75507 HAS SOUS 70617 HAS SOUPS 67620 WITH SCORE 67701.923
AT ITER 515 NEW BEST:: SOT 216414 SOS 81673 HAS SOPS 75257 HAS SOUS 70367 HAS SOUPS 67370 WITH SCORE 67451.673
AT ITER 519 NEW BEST:: SOT 216545 SOS 81576 HAS SOPS 74979 HAS SOUS 70313 HAS SOUPS 67316 WITH SCORE 67397.576
AT ITER 522 NEW BEST:: SOT 216545 SOS 81393 HAS SOPS 74796 HAS SOUS 70313 HAS SOUPS 67316 WITH SCORE 67397.393
AT ITER 525 NEW BEST:: SOT 216521 SOS 81377 HAS SOPS 74768 HAS SOUS 70313 HAS SOUPS 67312 WITH SCORE 67393.377
AT ITER 532 NEW BEST:: SOT 216521 SOS 81377 HAS SOPS 74768 HAS SOUS 70299 HAS SOUPS 67298 WITH SCORE 67379.377
AT ITER 534 NEW BEST:: SOT 216437 SOS 81263 HAS SOPS 74654 HAS SOUS 70185 HAS SOUPS 67184 WITH SCORE 67265.263
AT ITER 538 NEW BEST:: SOT 216237 SOS 81038 HAS SOPS 74389 HAS SOUS 69911 HAS SOUPS 66910 WITH SCORE 66991.038
AT ITER 539 NEW BEST:: SOT 216305 SOS 79551 HAS SOPS 74323 HAS SOUS 69121 HAS SOUPS 66271 WITH SCORE 66350.551
AT ITER 542 NEW BEST:: SOT 216292 SOS 79525 HAS SOPS 74297 HAS SOUS 69095 HAS SOUPS 66245 WITH SCORE 66324.525
AT ITER 560 NEW BEST:: SOT 215564 SOS 79071 HAS SOPS 73569 HAS SOUS 68943 HAS SOUPS 65961 WITH SCORE 66040.071
AT ITER 561 NEW BEST:: SOT 215572 SOS 79207 HAS SOPS 73728 HAS SOUS 68872 HAS SOUPS 65906 WITH SCORE 65985.207
AT ITER 562 NEW BEST:: SOT 215470 SOS 79054 HAS SOPS 73575 HAS SOUS 68719 HAS SOUPS 65753 WITH SCORE 65832.054
AT ITER 576 NEW BEST:: SOT 215470 SOS 79052 HAS SOPS 73573 HAS SOUS 68717 HAS SOUPS 65751 WITH SCORE 65830.052
AT ITER 588 NEW BEST:: SOT 215450 SOS 79012 HAS SOPS 73533 HAS SOUS 68677 HAS SOUPS 65711 WITH SCORE 65790.012
AT ITER 595 NEW BEST:: SOT 215427 SOS 78898 HAS SOPS 73396 HAS SOUS 68603 HAS SOUPS 65637 WITH SCORE 65715.898
AT ITER 597 NEW BEST:: SOT 215412 SOS 78868 HAS SOPS 73366 HAS SOUS 68573 HAS SOUPS 65607 WITH SCORE 65685.868
AT ITER 600 NEW BEST:: SOT 215307 SOS 78656 HAS SOPS 73154 HAS SOUS 68363 HAS SOUPS 65397 WITH SCORE 65475.656
AT ITER 605 NEW BEST:: SOT 215279 SOS 78600 HAS SOPS 73098 HAS SOUS 68307 HAS SOUPS 65341 WITH SCORE 65419.6
AT ITER 610 NEW BEST:: SOT 214878 SOS 78224 HAS SOPS 72676 HAS SOUS 68045 HAS SOUPS 65033 WITH SCORE 65111.224
AT ITER 614 NEW BEST:: SOT 214799 SOS 78034 HAS SOPS 72486 HAS SOUS 67900 HAS SOUPS 64888 WITH SCORE 64966.034
AT ITER 618 NEW BEST:: SOT 214767 SOS 78029 HAS SOPS 72486 HAS SOUS 67860 HAS SOUPS 64848 WITH SCORE 64926.029
AT ITER 620 NEW BEST:: SOT 214741 SOS 78004 HAS SOPS 72461 HAS SOUS 67759 HAS SOUPS 64747 WITH SCORE 64825.004
AT ITER 623 NEW BEST:: SOT 214733 SOS 77988 HAS SOPS 72445 HAS SOUS 67743 HAS SOUPS 64731 WITH SCORE 64808.988
AT ITER 630 NEW BEST:: SOT 214733 SOS 77942 HAS SOPS 72399 HAS SOUS 67743 HAS SOUPS 64731 WITH SCORE 64808.942
AT ITER 631 NEW BEST:: SOT 214733 SOS 77999 HAS SOPS 72346 HAS SOUS 67800 HAS SOUPS 64678 WITH SCORE 64755.999
AT ITER 635 NEW BEST:: SOT 214696 SOS 77925 HAS SOPS 72272 HAS SOUS 67726 HAS SOUPS 64604 WITH SCORE 64681.925
AT ITER 637 NEW BEST:: SOT 214696 SOS 77920 HAS SOPS 72267 HAS SOUS 67726 HAS SOUPS 64604 WITH SCORE 64681.92
AT ITER 644 NEW BEST:: SOT 214645 SOS 77818 HAS SOPS 72165 HAS SOUS 67624 HAS SOUPS 64502 WITH SCORE 64579.818
AT ITER 648 NEW BEST:: SOT 214645 SOS 77782 HAS SOPS 72101 HAS SOUS 67564 HAS SOUPS 64442 WITH SCORE 64519.782
AT ITER 650 NEW BEST:: SOT 214630 SOS 77752 HAS SOPS 72071 HAS SOUS 67534 HAS SOUPS 64412 WITH SCORE 64489.752
AT ITER 653 NEW BEST:: SOT 215001 SOS 77940 HAS SOPS 72540 HAS SOUS 67237 HAS SOUPS 64230 WITH SCORE 64307.94
AT ITER 655 NEW BEST:: SOT 214979 SOS 77904 HAS SOPS 72504 HAS SOUS 67215 HAS SOUPS 64208 WITH SCORE 64285.904
AT ITER 660 NEW BEST:: SOT 214985 SOS 77724 HAS SOPS 72258 HAS SOUS 67067 HAS SOUPS 64060 WITH SCORE 64137.724
AT ITER 665 NEW BEST:: SOT 214785 SOS 78030 HAS SOPS 72060 HAS SOUS 66954 HAS SOUPS 63866 WITH SCORE 63944.03
AT ITER 670 NEW BEST:: SOT 215167 SOS 78385 HAS SOPS 72559 HAS SOUS 66878 HAS SOUPS 63862 WITH SCORE 63940.385
AT ITER 676 NEW BEST:: SOT 213606 SOS 77577 HAS SOPS 71930 HAS SOUS 65651 HAS SOUPS 62654 WITH SCORE 62731.577
AT ITER 683 NEW BEST:: SOT 213580 SOS 77597 HAS SOPS 71950 HAS SOUS 65635 HAS SOUPS 62638 WITH SCORE 62715.597
AT ITER 687 NEW BEST:: SOT 213568 SOS 77573 HAS SOPS 71926 HAS SOUS 65611 HAS SOUPS 62614 WITH SCORE 62691.573
AT ITER 690 NEW BEST:: SOT 213568 SOS 77533 HAS SOPS 71886 HAS SOUS 65571 HAS SOUPS 62574 WITH SCORE 62651.533
AT ITER 704 NEW BEST:: SOT 213541 SOS 77456 HAS SOPS 71832 HAS SOUS 65517 HAS SOUPS 62520 WITH SCORE 62597.456
AT ITER 711 NEW BEST:: SOT 213694 SOS 77519 HAS SOPS 72016 HAS SOUS 65358 HAS SOUPS 62410 WITH SCORE 62487.519
AT ITER 712 NEW BEST:: SOT 213690 SOS 77488 HAS SOPS 71967 HAS SOUS 65340 HAS SOUPS 62388 WITH SCORE 62465.488
AT ITER 713 NEW BEST:: SOT 213680 SOS 77468 HAS SOPS 71947 HAS SOUS 65320 HAS SOUPS 62368 WITH SCORE 62445.468
AT ITER 714 NEW BEST:: SOT 213672 SOS 77452 HAS SOPS 71931 HAS SOUS 65304 HAS SOUPS 62352 WITH SCORE 62429.452
AT ITER 715 NEW BEST:: SOT 213672 SOS 77415 HAS SOPS 71931 HAS SOUS 65304 HAS SOUPS 62352 WITH SCORE 62429.415
AT ITER 719 NEW BEST:: SOT 213628 SOS 77327 HAS SOPS 71843 HAS SOUS 65216 HAS SOUPS 62264 WITH SCORE 62341.327
AT ITER 723 NEW BEST:: SOT 213598 SOS 77099 HAS SOPS 71615 HAS SOUS 64988 HAS SOUPS 62036 WITH SCORE 62113.099
AT ITER 730 NEW BEST:: SOT 213595 SOS 77093 HAS SOPS 71609 HAS SOUS 64982 HAS SOUPS 62030 WITH SCORE 62107.093
AT ITER 762 NEW BEST:: SOT 213483 SOS 76801 HAS SOPS 71317 HAS SOUS 64894 HAS SOUPS 61942 WITH SCORE 62018.801
AT ITER 774 NEW BEST:: SOT 213472 SOS 76779 HAS SOPS 71295 HAS SOUS 64872 HAS SOUPS 61920 WITH SCORE 61996.779
AT ITER 777 NEW BEST:: SOT 213445 SOS 76731 HAS SOPS 71247 HAS SOUS 64797 HAS SOUPS 61845 WITH SCORE 61921.731
AT ITER 781 NEW BEST:: SOT 213434 SOS 76799 HAS SOPS 71268 HAS SOUS 64818 HAS SOUPS 61829 WITH SCORE 61905.799
AT ITER 789 NEW BEST:: SOT 213405 SOS 76824 HAS SOPS 71239 HAS SOUS 64821 HAS SOUPS 61823 WITH SCORE 61899.824
AT ITER 790 NEW BEST:: SOT 213574 SOS 76675 HAS SOPS 70761 HAS SOUS 64637 HAS SOUPS 61639 WITH SCORE 61715.675
AT ITER 796 NEW BEST:: SOT 213568 SOS 76663 HAS SOPS 70749 HAS SOUS 64625 HAS SOUPS 61627 WITH SCORE 61703.663
AT ITER 800 NEW BEST:: SOT 213478 SOS 76286 HAS SOPS 70372 HAS SOUS 64445 HAS SOUPS 61447 WITH SCORE 61523.286
AT ITER 802 NEW BEST:: SOT 213414 SOS 76254 HAS SOPS 70372 HAS SOUS 64413 HAS SOUPS 61415 WITH SCORE 61491.254
AT ITER 804 NEW BEST:: SOT 213403 SOS 76243 HAS SOPS 70350 HAS SOUS 64402 HAS SOUPS 61393 WITH SCORE 61469.243
AT ITER 805 NEW BEST:: SOT 213331 SOS 76088 HAS SOPS 70195 HAS SOUS 64258 HAS SOUPS 61249 WITH SCORE 61325.088
AT ITER 810 NEW BEST:: SOT 213242 SOS 75879 HAS SOPS 69973 HAS SOUS 64134 HAS SOUPS 61125 WITH SCORE 61200.879
AT ITER 811 NEW BEST:: SOT 213279 SOS 75748 HAS SOPS 69667 HAS SOUS 63967 HAS SOUPS 60958 WITH SCORE 61033.748
AT ITER 813 NEW BEST:: SOT 213258 SOS 75706 HAS SOPS 69625 HAS SOUS 63925 HAS SOUPS 60916 WITH SCORE 60991.706
AT ITER 814 NEW BEST:: SOT 213172 SOS 75734 HAS SOPS 69583 HAS SOUS 63883 HAS SOUPS 60874 WITH SCORE 60949.734
AT ITER 817 NEW BEST:: SOT 213162 SOS 75688 HAS SOPS 69574 HAS SOUS 63864 HAS SOUPS 60855 WITH SCORE 60930.688
AT ITER 818 NEW BEST:: SOT 213271 SOS 75377 HAS SOPS 69152 HAS SOUS 63722 HAS SOUPS 60698 WITH SCORE 60773.377
AT ITER 827 NEW BEST:: SOT 213325 SOS 75119 HAS SOPS 69267 HAS SOUS 62809 HAS SOUPS 59919 WITH SCORE 59994.119
AT ITER 834 NEW BEST:: SOT 213211 SOS 74997 HAS SOPS 69132 HAS SOUS 62674 HAS SOUPS 59784 WITH SCORE 59858.997
AT ITER 836 NEW BEST:: SOT 213194 SOS 74963 HAS SOPS 69098 HAS SOUS 62640 HAS SOUPS 59750 WITH SCORE 59824.963
AT ITER 853 NEW BEST:: SOT 213194 SOS 74878 HAS SOPS 69013 HAS SOUS 62640 HAS SOUPS 59750 WITH SCORE 59824.878
AT ITER 869 NEW BEST:: SOT 213184 SOS 74868 HAS SOPS 69013 HAS SOUS 62640 HAS SOUPS 59750 WITH SCORE 59824.868
AT ITER 875 NEW BEST:: SOT 213149 SOS 74798 HAS SOPS 68943 HAS SOUS 62570 HAS SOUPS 59680 WITH SCORE 59754.798
AT ITER 883 NEW BEST:: SOT 213012 SOS 74713 HAS SOPS 68669 HAS SOUS 62470 HAS SOUPS 59406 WITH SCORE 59480.713
AT ITER 897 NEW BEST:: SOT 213046 SOS 74713 HAS SOPS 68601 HAS SOUS 62436 HAS SOUPS 59372 WITH SCORE 59446.713
AT ITER 900 NEW BEST:: SOT 213046 SOS 74711 HAS SOPS 68599 HAS SOUS 62436 HAS SOUPS 59372 WITH SCORE 59446.711
AT ITER 901 NEW BEST:: SOT 213040 SOS 74699 HAS SOPS 68587 HAS SOUS 62424 HAS SOUPS 59360 WITH SCORE 59434.699
AT ITER 904 NEW BEST:: SOT 212965 SOS 74630 HAS SOPS 68518 HAS SOUS 62274 HAS SOUPS 59210 WITH SCORE 59284.63
AT ITER 906 NEW BEST:: SOT 212931 SOS 74562 HAS SOPS 68450 HAS SOUS 62206 HAS SOUPS 59142 WITH SCORE 59216.562
AT ITER 910 NEW BEST:: SOT 212882 SOS 74553 HAS SOPS 68441 HAS SOUS 62197 HAS SOUPS 59133 WITH SCORE 59207.553
AT ITER 913 NEW BEST:: SOT 212893 SOS 74507 HAS SOPS 68376 HAS SOUS 62159 HAS SOUPS 59095 WITH SCORE 59169.507
AT ITER 919 NEW BEST:: SOT 212863 SOS 74543 HAS SOPS 68316 HAS SOUS 62099 HAS SOUPS 59035 WITH SCORE 59109.543
AT ITER 923 NEW BEST:: SOT 212760 SOS 74454 HAS SOPS 68158 HAS SOUS 62049 HAS SOUPS 58985 WITH SCORE 59059.454
AT ITER 925 NEW BEST:: SOT 212794 SOS 74435 HAS SOPS 68139 HAS SOUS 61988 HAS SOUPS 58924 WITH SCORE 58998.435
AT ITER 935 NEW BEST:: SOT 212770 SOS 74359 HAS SOPS 68063 HAS SOUS 61957 HAS SOUPS 58893 WITH SCORE 58967.359
AT ITER 948 NEW BEST:: SOT 212770 SOS 74353 HAS SOPS 68057 HAS SOUS 61957 HAS SOUPS 58893 WITH SCORE 58967.353
AT ITER 961 NEW BEST:: SOT 212786 SOS 74271 HAS SOPS 68039 HAS SOUS 61863 HAS SOUPS 58815 WITH SCORE 58889.271
AT ITER 964 NEW BEST:: SOT 212786 SOS 74161 HAS SOPS 67929 HAS SOUS 61766 HAS SOUPS 58718 WITH SCORE 58792.161
AT ITER 972 NEW BEST:: SOT 212780 SOS 74149 HAS SOPS 67917 HAS SOUS 61754 HAS SOUPS 58706 WITH SCORE 58780.149
AT ITER 985 NEW BEST:: SOT 212719 SOS 74012 HAS SOPS 67872 HAS SOUS 61696 HAS SOUPS 58648 WITH SCORE 58722.012
AT ITER 991 NEW BEST:: SOT 212669 SOS 73888 HAS SOPS 67812 HAS SOUS 61636 HAS SOUPS 58588 WITH SCORE 58661.888
AT ITER 993 NEW BEST:: SOT 212655 SOS 73846 HAS SOPS 67808 HAS SOUS 61594 HAS SOUPS 58584 WITH SCORE 58657.846
AT ITER 994 NEW BEST:: SOT 212528 SOS 73655 HAS SOPS 67594 HAS SOUS 61422 HAS SOUPS 58412 WITH SCORE 58485.655
AT ITER 999 NEW BEST:: SOT 212527 SOS 73653 HAS SOPS 67592 HAS SOUS 61420 HAS SOUPS 58410 WITH SCORE 58483.653
AT ITER 1000 NEW BEST:: SOT 211604 SOS 74275 HAS SOPS 67058 HAS SOUS 61458 HAS SOUPS 58239 WITH SCORE 58313.275
AT ITER 1005 NEW BEST:: SOT 211595 SOS 74266 HAS SOPS 67049 HAS SOUS 61440 HAS SOUPS 58221 WITH SCORE 58295.266
AT ITER 1006 NEW BEST:: SOT 211577 SOS 74230 HAS SOPS 67013 HAS SOUS 61404 HAS SOUPS 58185 WITH SCORE 58259.23
AT ITER 1009 NEW BEST:: SOT 211658 SOS 74394 HAS SOPS 67147 HAS SOUS 61371 HAS SOUPS 58152 WITH SCORE 58226.394
AT ITER 1017 NEW BEST:: SOT 211647 SOS 74326 HAS SOPS 67068 HAS SOUS 61325 HAS SOUPS 58106 WITH SCORE 58180.326
AT ITER 1018 NEW BEST:: SOT 211584 SOS 74200 HAS SOPS 66942 HAS SOUS 61199 HAS SOUPS 57980 WITH SCORE 58054.2
AT ITER 1023 NEW BEST:: SOT 211567 SOS 74166 HAS SOPS 66908 HAS SOUS 61165 HAS SOUPS 57946 WITH SCORE 58020.166
AT ITER 1033 NEW BEST:: SOT 211503 SOS 74197 HAS SOPS 66760 HAS SOUS 61020 HAS SOUPS 57798 WITH SCORE 57872.197
AT ITER 1036 NEW BEST:: SOT 211470 SOS 74152 HAS SOPS 66694 HAS SOUS 60975 HAS SOUPS 57732 WITH SCORE 57806.152
AT ITER 1053 NEW BEST:: SOT 211422 SOS 74056 HAS SOPS 66598 HAS SOUS 60879 HAS SOUPS 57636 WITH SCORE 57710.056
AT ITER 1056 NEW BEST:: SOT 211417 SOS 74046 HAS SOPS 66588 HAS SOUS 60869 HAS SOUPS 57626 WITH SCORE 57700.046
AT ITER 1086 NEW BEST:: SOT 211406 SOS 74024 HAS SOPS 66566 HAS SOUS 60847 HAS SOUPS 57604 WITH SCORE 57678.024
AT ITER 1093 NEW BEST:: SOT 211401 SOS 73954 HAS SOPS 66526 HAS SOUS 60832 HAS SOUPS 57594 WITH SCORE 57667.954
AT ITER 1097 NEW BEST:: SOT 211394 SOS 73906 HAS SOPS 66478 HAS SOUS 60784 HAS SOUPS 57546 WITH SCORE 57619.906
AT ITER 1100 NEW BEST:: SOT 211485 SOS 72516 HAS SOPS 65888 HAS SOUS 60393 HAS SOUPS 57314 WITH SCORE 57386.516
AT ITER 1101 NEW BEST:: SOT 211434 SOS 72414 HAS SOPS 65786 HAS SOUS 60291 HAS SOUPS 57212 WITH SCORE 57284.414
AT ITER 1103 NEW BEST:: SOT 211434 SOS 72348 HAS SOPS 65753 HAS SOUS 60291 HAS SOUPS 57212 WITH SCORE 57284.348
AT ITER 1117 NEW BEST:: SOT 211410 SOS 72300 HAS SOPS 65705 HAS SOUS 60267 HAS SOUPS 57164 WITH SCORE 57236.3
AT ITER 1132 NEW BEST:: SOT 211373 SOS 72278 HAS SOPS 65683 HAS SOUS 60193 HAS SOUPS 57090 WITH SCORE 57162.278
AT ITER 1142 NEW BEST:: SOT 211388 SOS 72132 HAS SOPS 65638 HAS SOUS 59999 HAS SOUPS 56923 WITH SCORE 56995.132
AT ITER 1147 NEW BEST:: SOT 211010 SOS 72217 HAS SOPS 65302 HAS SOUS 60038 HAS SOUPS 56876 WITH SCORE 56948.217
AT ITER 1152 NEW BEST:: SOT 211004 SOS 72205 HAS SOPS 65290 HAS SOUS 60026 HAS SOUPS 56864 WITH SCORE 56936.205
AT ITER 1155 NEW BEST:: SOT 209962 SOS 72079 HAS SOPS 64404 HAS SOUS 60157 HAS SOUPS 56803 WITH SCORE 56875.079
AT ITER 1169 NEW BEST:: SOT 209910 SOS 71887 HAS SOPS 64300 HAS SOUS 60053 HAS SOUPS 56699 WITH SCORE 56770.887
AT ITER 1187 NEW BEST:: SOT 209900 SOS 71867 HAS SOPS 64280 HAS SOUS 60033 HAS SOUPS 56679 WITH SCORE 56750.867
AT ITER 1194 NEW BEST:: SOT 209878 SOS 71823 HAS SOPS 64236 HAS SOUS 59989 HAS SOUPS 56635 WITH SCORE 56706.823
AT ITER 1205 NEW BEST:: SOT 209697 SOS 71461 HAS SOPS 63874 HAS SOUS 59627 HAS SOUPS 56273 WITH SCORE 56344.461
AT ITER 1216 NEW BEST:: SOT 209555 SOS 71195 HAS SOPS 63608 HAS SOUS 59386 HAS SOUPS 56032 WITH SCORE 56103.195
AT ITER 1222 NEW BEST:: SOT 209501 SOS 71141 HAS SOPS 63554 HAS SOUS 59335 HAS SOUPS 55981 WITH SCORE 56052.141
AT ITER 1231 NEW BEST:: SOT 209499 SOS 71139 HAS SOPS 63552 HAS SOUS 59333 HAS SOUPS 55979 WITH SCORE 56050.139
AT ITER 1232 NEW BEST:: SOT 209498 SOS 71137 HAS SOPS 63550 HAS SOUS 59331 HAS SOUPS 55977 WITH SCORE 56048.137
AT ITER 1243 NEW BEST:: SOT 209488 SOS 71107 HAS SOPS 63530 HAS SOUS 59311 HAS SOUPS 55957 WITH SCORE 56028.107
AT ITER 1251 NEW BEST:: SOT 209433 SOS 70972 HAS SOPS 63340 HAS SOUS 59121 HAS SOUPS 55767 WITH SCORE 55837.972
AT ITER 1274 NEW BEST:: SOT 209426 SOS 70979 HAS SOPS 63347 HAS SOUS 59107 HAS SOUPS 55753 WITH SCORE 55823.979
AT ITER 1275 NEW BEST:: SOT 209474 SOS 70460 HAS SOPS 62910 HAS SOUS 59063 HAS SOUPS 55709 WITH SCORE 55779.46
AT ITER 1286 NEW BEST:: SOT 209473 SOS 70459 HAS SOPS 62909 HAS SOUS 59062 HAS SOUPS 55708 WITH SCORE 55778.459
AT ITER 1289 NEW BEST:: SOT 209403 SOS 70286 HAS SOPS 62736 HAS SOUS 58945 HAS SOUPS 55591 WITH SCORE 55661.286
AT ITER 1301 NEW BEST:: SOT 209305 SOS 70090 HAS SOPS 62540 HAS SOUS 58749 HAS SOUPS 55395 WITH SCORE 55465.09
AT ITER 1304 NEW BEST:: SOT 209305 SOS 70066 HAS SOPS 62540 HAS SOUS 58749 HAS SOUPS 55395 WITH SCORE 55465.066
AT ITER 1310 NEW BEST:: SOT 209316 SOS 69652 HAS SOPS 62540 HAS SOUS 58648 HAS SOUPS 55355 WITH SCORE 55424.652
AT ITER 1315 NEW BEST:: SOT 209258 SOS 69507 HAS SOPS 62448 HAS SOUS 58556 HAS SOUPS 55263 WITH SCORE 55332.507
AT ITER 1319 NEW BEST:: SOT 209074 SOS 69313 HAS SOPS 62107 HAS SOUS 58338 HAS SOUPS 55045 WITH SCORE 55114.313
AT ITER 1320 NEW BEST:: SOT 209028 SOS 69536 HAS SOPS 62150 HAS SOUS 58376 HAS SOUPS 55042 WITH SCORE 55111.536
AT ITER 1333 NEW BEST:: SOT 208981 SOS 69442 HAS SOPS 62056 HAS SOUS 58282 HAS SOUPS 54948 WITH SCORE 55017.442
AT ITER 1345 NEW BEST:: SOT 208981 SOS 69451 HAS SOPS 62047 HAS SOUS 58273 HAS SOUPS 54939 WITH SCORE 55008.451
AT ITER 1353 NEW BEST:: SOT 208982 SOS 69462 HAS SOPS 62038 HAS SOUS 58284 HAS SOUPS 54930 WITH SCORE 54999.462
AT ITER 1361 NEW BEST:: SOT 208982 SOS 69451 HAS SOPS 62027 HAS SOUS 58284 HAS SOUPS 54930 WITH SCORE 54999.451
AT ITER 1364 NEW BEST:: SOT 208889 SOS 69385 HAS SOPS 62053 HAS SOUS 58176 HAS SOUPS 54822 WITH SCORE 54891.385
AT ITER 1369 NEW BEST:: SOT 208714 SOS 69663 HAS SOPS 62252 HAS SOUS 58065 HAS SOUPS 54711 WITH SCORE 54780.663
AT ITER 1380 NEW BEST:: SOT 208538 SOS 69441 HAS SOPS 62030 HAS SOUS 57919 HAS SOUPS 54565 WITH SCORE 54634.441
AT ITER 1382 NEW BEST:: SOT 208449 SOS 69263 HAS SOPS 61852 HAS SOUS 57741 HAS SOUPS 54387 WITH SCORE 54456.263
AT ITER 1384 NEW BEST:: SOT 208364 SOS 69165 HAS SOPS 61754 HAS SOUS 57643 HAS SOUPS 54289 WITH SCORE 54358.165
AT ITER 1389 NEW BEST:: SOT 208278 SOS 69059 HAS SOPS 61648 HAS SOUS 57485 HAS SOUPS 54131 WITH SCORE 54200.059
AT ITER 1394 NEW BEST:: SOT 208226 SOS 68955 HAS SOPS 61544 HAS SOUS 57381 HAS SOUPS 54027 WITH SCORE 54095.955
AT ITER 1402 NEW BEST:: SOT 208205 SOS 68913 HAS SOPS 61502 HAS SOUS 57339 HAS SOUPS 53985 WITH SCORE 54053.913
AT ITER 1408 NEW BEST:: SOT 208003 SOS 68536 HAS SOPS 61125 HAS SOUS 56976 HAS SOUPS 53622 WITH SCORE 53690.536
AT ITER 1416 NEW BEST:: SOT 208000 SOS 68530 HAS SOPS 61119 HAS SOUS 56970 HAS SOUPS 53616 WITH SCORE 53684.53
AT ITER 1422 NEW BEST:: SOT 207976 SOS 68482 HAS SOPS 61071 HAS SOUS 56922 HAS SOUPS 53568 WITH SCORE 53636.482
AT ITER 1426 NEW BEST:: SOT 208009 SOS 68497 HAS SOPS 61069 HAS SOUS 56920 HAS SOUPS 53566 WITH SCORE 53634.497
AT ITER 1430 NEW BEST:: SOT 207996 SOS 68529 HAS SOPS 61043 HAS SOUS 56894 HAS SOUPS 53540 WITH SCORE 53608.529
AT ITER 1448 NEW BEST:: SOT 207868 SOS 68466 HAS SOPS 61013 HAS SOUS 56791 HAS SOUPS 53437 WITH SCORE 53505.466
AT ITER 1452 NEW BEST:: SOT 207836 SOS 68463 HAS SOPS 61010 HAS SOUS 56724 HAS SOUPS 53370 WITH SCORE 53438.463
AT ITER 1461 NEW BEST:: SOT 207836 SOS 68460 HAS SOPS 61010 HAS SOUS 56724 HAS SOUPS 53370 WITH SCORE 53438.46
AT ITER 1463 NEW BEST:: SOT 207800 SOS 68388 HAS SOPS 60938 HAS SOUS 56652 HAS SOUPS 53298 WITH SCORE 53366.388
AT ITER 1473 NEW BEST:: SOT 207786 SOS 68332 HAS SOPS 60882 HAS SOUS 56599 HAS SOUPS 53245 WITH SCORE 53313.332
AT ITER 1481 NEW BEST:: SOT 207781 SOS 68322 HAS SOPS 60872 HAS SOUS 56589 HAS SOUPS 53235 WITH SCORE 53303.322
AT ITER 1482 NEW BEST:: SOT 207683 SOS 68143 HAS SOPS 60693 HAS SOUS 56410 HAS SOUPS 53056 WITH SCORE 53124.143
AT ITER 1486 NEW BEST:: SOT 207598 SOS 67928 HAS SOPS 60523 HAS SOUS 56240 HAS SOUPS 52886 WITH SCORE 52953.928
AT ITER 1516 NEW BEST:: SOT 207598 SOS 67687 HAS SOPS 60282 HAS SOUS 55999 HAS SOUPS 52645 WITH SCORE 52712.687
AT ITER 1528 NEW BEST:: SOT 207590 SOS 67671 HAS SOPS 60266 HAS SOUS 55983 HAS SOUPS 52629 WITH SCORE 52696.671
AT ITER 1529 NEW BEST:: SOT 207623 SOS 67650 HAS SOPS 60245 HAS SOUS 55969 HAS SOUPS 52615 WITH SCORE 52682.65
AT ITER 1533 NEW BEST:: SOT 207587 SOS 67647 HAS SOPS 60220 HAS SOUS 55939 HAS SOUPS 52585 WITH SCORE 52652.647
AT ITER 1534 NEW BEST:: SOT 207587 SOS 67611 HAS SOPS 60159 HAS SOUS 55914 HAS SOUPS 52560 WITH SCORE 52627.611
AT ITER 1547 NEW BEST:: SOT 207514 SOS 67576 HAS SOPS 60124 HAS SOUS 55846 HAS SOUPS 52492 WITH SCORE 52559.576
AT ITER 1552 NEW BEST:: SOT 207514 SOS 67571 HAS SOPS 60119 HAS SOUS 55841 HAS SOUPS 52487 WITH SCORE 52554.571
AT ITER 1558 NEW BEST:: SOT 207458 SOS 67459 HAS SOPS 60007 HAS SOUS 55729 HAS SOUPS 52375 WITH SCORE 52442.459
AT ITER 1561 NEW BEST:: SOT 207449 SOS 67434 HAS SOPS 59982 HAS SOUS 55704 HAS SOUPS 52350 WITH SCORE 52417.434
AT ITER 1563 NEW BEST:: SOT 207449 SOS 67303 HAS SOPS 59851 HAS SOUS 55704 HAS SOUPS 52350 WITH SCORE 52417.303
AT ITER 1568 NEW BEST:: SOT 207441 SOS 67301 HAS SOPS 59835 HAS SOUS 55688 HAS SOUPS 52334 WITH SCORE 52401.301
AT ITER 1586 NEW BEST:: SOT 207434 SOS 67287 HAS SOPS 59821 HAS SOUS 55674 HAS SOUPS 52320 WITH SCORE 52387.287
AT ITER 1587 NEW BEST:: SOT 207433 SOS 67287 HAS SOPS 59821 HAS SOUS 55673 HAS SOUPS 52319 WITH SCORE 52386.287
AT ITER 1588 NEW BEST:: SOT 207355 SOS 67131 HAS SOPS 59665 HAS SOUS 55517 HAS SOUPS 52163 WITH SCORE 52230.131
AT ITER 1589 NEW BEST:: SOT 207344 SOS 67372 HAS SOPS 60685 HAS SOUS 54713 HAS SOUPS 51574 WITH SCORE 51641.372
AT ITER 1604 NEW BEST:: SOT 207344 SOS 67365 HAS SOPS 60678 HAS SOUS 54713 HAS SOUPS 51574 WITH SCORE 51641.365
AT ITER 1635 NEW BEST:: SOT 207332 SOS 67341 HAS SOPS 60654 HAS SOUS 54689 HAS SOUPS 51550 WITH SCORE 51617.341
AT ITER 1639 NEW BEST:: SOT 207138 SOS 67955 HAS SOPS 61346 HAS SOUS 54673 HAS SOUPS 51534 WITH SCORE 51601.955
AT ITER 1656 NEW BEST:: SOT 207130 SOS 67947 HAS SOPS 61330 HAS SOUS 54665 HAS SOUPS 51518 WITH SCORE 51585.947
AT ITER 1658 NEW BEST:: SOT 207113 SOS 67908 HAS SOPS 61291 HAS SOUS 54626 HAS SOUPS 51479 WITH SCORE 51546.908
AT ITER 1663 NEW BEST:: SOT 207108 SOS 67898 HAS SOPS 61281 HAS SOUS 54616 HAS SOUPS 51469 WITH SCORE 51536.898
AT ITER 1664 NEW BEST:: SOT 208078 SOS 68302 HAS SOPS 62351 HAS SOUS 54208 HAS SOUPS 51359 WITH SCORE 51427.302
AT ITER 1673 NEW BEST:: SOT 208078 SOS 68302 HAS SOPS 62351 HAS SOUS 54126 HAS SOUPS 51277 WITH SCORE 51345.302
AT ITER 1685 NEW BEST:: SOT 208061 SOS 68268 HAS SOPS 62317 HAS SOUS 54092 HAS SOUPS 51243 WITH SCORE 51311.268
AT ITER 1701 NEW BEST:: SOT 208038 SOS 68222 HAS SOPS 62271 HAS SOUS 54046 HAS SOUPS 51197 WITH SCORE 51265.222
AT ITER 1703 NEW BEST:: SOT 208025 SOS 68208 HAS SOPS 62245 HAS SOUS 54020 HAS SOUPS 51171 WITH SCORE 51239.208
AT ITER 1711 NEW BEST:: SOT 208016 SOS 68190 HAS SOPS 62227 HAS SOUS 54002 HAS SOUPS 51153 WITH SCORE 51221.19
AT ITER 1714 NEW BEST:: SOT 208010 SOS 68183 HAS SOPS 62220 HAS SOUS 53990 HAS SOUPS 51141 WITH SCORE 51209.183
AT ITER 1732 NEW BEST:: SOT 208020 SOS 68159 HAS SOPS 62196 HAS SOUS 53966 HAS SOUPS 51117 WITH SCORE 51185.159
AT ITER 1735 NEW BEST:: SOT 208007 SOS 68098 HAS SOPS 62170 HAS SOUS 53905 HAS SOUPS 51091 WITH SCORE 51159.098
AT ITER 1736 NEW BEST:: SOT 208007 SOS 68093 HAS SOPS 62165 HAS SOUS 53905 HAS SOUPS 51091 WITH SCORE 51159.093
AT ITER 1740 NEW BEST:: SOT 208004 SOS 68094 HAS SOPS 62024 HAS SOUS 53764 HAS SOUPS 50950 WITH SCORE 51018.094
AT ITER 1745 NEW BEST:: SOT 207957 SOS 68000 HAS SOPS 61967 HAS SOUS 53707 HAS SOUPS 50893 WITH SCORE 50961.0
AT ITER 1755 NEW BEST:: SOT 207868 SOS 68009 HAS SOPS 61994 HAS SOUS 53687 HAS SOUPS 50852 WITH SCORE 50920.009
AT ITER 1764 NEW BEST:: SOT 208057 SOS 67930 HAS SOPS 62115 HAS SOUS 53599 HAS SOUPS 50804 WITH SCORE 50871.93
AT ITER 1770 NEW BEST:: SOT 208037 SOS 67890 HAS SOPS 62075 HAS SOUS 53559 HAS SOUPS 50764 WITH SCORE 50831.89
AT ITER 1777 NEW BEST:: SOT 208026 SOS 67868 HAS SOPS 62053 HAS SOUS 53540 HAS SOUPS 50745 WITH SCORE 50812.868
AT ITER 1785 NEW BEST:: SOT 208026 SOS 67856 HAS SOPS 62053 HAS SOUS 53540 HAS SOUPS 50745 WITH SCORE 50812.856
AT ITER 1787 NEW BEST:: SOT 207851 SOS 67646 HAS SOPS 61843 HAS SOUS 53330 HAS SOUPS 50535 WITH SCORE 50602.646
AT ITER 1834 NEW BEST:: SOT 207851 SOS 67595 HAS SOPS 61820 HAS SOUS 53099 HAS SOUPS 50328 WITH SCORE 50395.595
AT ITER 1839 NEW BEST:: SOT 207787 SOS 67467 HAS SOPS 61692 HAS SOUS 52971 HAS SOUPS 50200 WITH SCORE 50267.467
AT ITER 1849 NEW BEST:: SOT 207642 SOS 67032 HAS SOPS 61288 HAS SOUS 52823 HAS SOUPS 50052 WITH SCORE 50119.032
AT ITER 1850 NEW BEST:: SOT 207730 SOS 66952 HAS SOPS 61208 HAS SOUS 52743 HAS SOUPS 49972 WITH SCORE 50038.952
AT ITER 1859 NEW BEST:: SOT 207730 SOS 66935 HAS SOPS 61208 HAS SOUS 52743 HAS SOUPS 49972 WITH SCORE 50038.935
AT ITER 1868 NEW BEST:: SOT 207730 SOS 66919 HAS SOPS 61192 HAS SOUS 52727 HAS SOUPS 49956 WITH SCORE 50022.919
AT ITER 1869 NEW BEST:: SOT 207631 SOS 66703 HAS SOPS 60976 HAS SOUS 52574 HAS SOUPS 49803 WITH SCORE 49869.703
AT ITER 1870 NEW BEST:: SOT 207609 SOS 66569 HAS SOPS 60932 HAS SOUS 52530 HAS SOUPS 49759 WITH SCORE 49825.569
AT ITER 1877 NEW BEST:: SOT 207589 SOS 66509 HAS SOPS 60892 HAS SOUS 52490 HAS SOUPS 49719 WITH SCORE 49785.509
AT ITER 1885 NEW BEST:: SOT 207526 SOS 66280 HAS SOPS 60663 HAS SOUS 52364 HAS SOUPS 49593 WITH SCORE 49659.28
AT ITER 1898 NEW BEST:: SOT 207525 SOS 66279 HAS SOPS 60663 HAS SOUS 52363 HAS SOUPS 49592 WITH SCORE 49658.279
AT ITER 1902 NEW BEST:: SOT 207520 SOS 66269 HAS SOPS 60653 HAS SOUS 52353 HAS SOUPS 49582 WITH SCORE 49648.269
AT ITER 1908 NEW BEST:: SOT 207515 SOS 66264 HAS SOPS 60648 HAS SOUS 52348 HAS SOUPS 49577 WITH SCORE 49643.264
AT ITER 1919 NEW BEST:: SOT 207458 SOS 66150 HAS SOPS 60534 HAS SOUS 52234 HAS SOUPS 49463 WITH SCORE 49529.15
AT ITER 1921 NEW BEST:: SOT 207401 SOS 66098 HAS SOPS 60545 HAS SOUS 52196 HAS SOUPS 49425 WITH SCORE 49491.098
AT ITER 1925 NEW BEST:: SOT 207479 SOS 66168 HAS SOPS 60669 HAS SOUS 52075 HAS SOUPS 49338 WITH SCORE 49404.168
AT ITER 1961 NEW BEST:: SOT 207467 SOS 66150 HAS SOPS 60645 HAS SOUS 52063 HAS SOUPS 49320 WITH SCORE 49386.15
AT ITER 1969 NEW BEST:: SOT 207467 SOS 66148 HAS SOPS 60643 HAS SOUS 52063 HAS SOUPS 49320 WITH SCORE 49386.148
AT ITER 1987 NEW BEST:: SOT 207437 SOS 66232 HAS SOPS 60727 HAS SOUS 52075 HAS SOUPS 49296 WITH SCORE 49362.232
AT ITER 1994 NEW BEST:: SOT 207605 SOS 66301 HAS SOPS 60941 HAS SOUS 51950 HAS SOUPS 49229 WITH SCORE 49295.301
AT ITER 1996 NEW BEST:: SOT 207597 SOS 66277 HAS SOPS 60917 HAS SOUS 51934 HAS SOUPS 49213 WITH SCORE 49279.277
AT ITER 2020 NEW BEST:: SOT 207592 SOS 66272 HAS SOPS 60912 HAS SOUS 51929 HAS SOUPS 49208 WITH SCORE 49274.272
AT ITER 2027 NEW BEST:: SOT 207582 SOS 66252 HAS SOPS 60897 HAS SOUS 51914 HAS SOUPS 49193 WITH SCORE 49259.252
AT ITER 2029 NEW BEST:: SOT 207103 SOS 66573 HAS SOPS 60506 HAS SOUS 51830 HAS SOUPS 49003 WITH SCORE 49069.573
AT ITER 2047 NEW BEST:: SOT 207095 SOS 66557 HAS SOPS 60490 HAS SOUS 51814 HAS SOUPS 48987 WITH SCORE 49053.557
AT ITER 2064 NEW BEST:: SOT 207066 SOS 66499 HAS SOPS 60432 HAS SOUS 51756 HAS SOUPS 48929 WITH SCORE 48995.499
AT ITER 2067 NEW BEST:: SOT 207012 SOS 66391 HAS SOPS 60324 HAS SOUS 51648 HAS SOUPS 48821 WITH SCORE 48887.391
AT ITER 2096 NEW BEST:: SOT 206925 SOS 66234 HAS SOPS 60053 HAS SOUS 51458 HAS SOUPS 48626 WITH SCORE 48692.234
AT ITER 2101 NEW BEST:: SOT 206913 SOS 66210 HAS SOPS 60029 HAS SOUS 51434 HAS SOUPS 48602 WITH SCORE 48668.21
AT ITER 2108 NEW BEST:: SOT 206913 SOS 66098 HAS SOPS 59917 HAS SOUS 51434 HAS SOUPS 48602 WITH SCORE 48668.098
AT ITER 2111 NEW BEST:: SOT 206915 SOS 66143 HAS SOPS 59919 HAS SOUS 51360 HAS SOUPS 48528 WITH SCORE 48594.143
AT ITER 2112 NEW BEST:: SOT 206792 SOS 66165 HAS SOPS 60112 HAS SOUS 51343 HAS SOUPS 48511 WITH SCORE 48577.165
AT ITER 2118 NEW BEST:: SOT 206773 SOS 66127 HAS SOPS 60074 HAS SOUS 51305 HAS SOUPS 48473 WITH SCORE 48539.127
AT ITER 2132 NEW BEST:: SOT 206759 SOS 66099 HAS SOPS 60046 HAS SOUS 51277 HAS SOUPS 48445 WITH SCORE 48511.099
AT ITER 2148 NEW BEST:: SOT 206780 SOS 66137 HAS SOPS 60084 HAS SOUS 51234 HAS SOUPS 48402 WITH SCORE 48468.137
AT ITER 2170 NEW BEST:: SOT 206680 SOS 66037 HAS SOPS 59955 HAS SOUS 51134 HAS SOUPS 48273 WITH SCORE 48339.037
AT ITER 2187 NEW BEST:: SOT 206651 SOS 65979 HAS SOPS 59897 HAS SOUS 51126 HAS SOUPS 48265 WITH SCORE 48330.979
AT ITER 2189 NEW BEST:: SOT 206651 SOS 65927 HAS SOPS 59845 HAS SOUS 51118 HAS SOUPS 48257 WITH SCORE 48322.927
AT ITER 2218 NEW BEST:: SOT 206628 SOS 65881 HAS SOPS 59799 HAS SOUS 51072 HAS SOUPS 48211 WITH SCORE 48276.881
AT ITER 2226 NEW BEST:: SOT 206607 SOS 65845 HAS SOPS 59763 HAS SOUS 51022 HAS SOUPS 48161 WITH SCORE 48226.845
AT ITER 2233 NEW BEST:: SOT 206606 SOS 65844 HAS SOPS 59763 HAS SOUS 51021 HAS SOUPS 48161 WITH SCORE 48226.844
AT ITER 2252 NEW BEST:: SOT 206604 SOS 65840 HAS SOPS 59759 HAS SOUS 51017 HAS SOUPS 48157 WITH SCORE 48222.84
AT ITER 2258 NEW BEST:: SOT 206327 SOS 65743 HAS SOPS 59437 HAS SOUS 50771 HAS SOUPS 47866 WITH SCORE 47931.743
AT ITER 2263 NEW BEST:: SOT 206283 SOS 65669 HAS SOPS 59363 HAS SOUS 50691 HAS SOUPS 47786 WITH SCORE 47851.669
AT ITER 2270 NEW BEST:: SOT 206240 SOS 65608 HAS SOPS 59320 HAS SOUS 50648 HAS SOUPS 47743 WITH SCORE 47808.608
AT ITER 2273 NEW BEST:: SOT 206268 SOS 65413 HAS SOPS 59308 HAS SOUS 50596 HAS SOUPS 47711 WITH SCORE 47776.413
AT ITER 2278 NEW BEST:: SOT 206268 SOS 65353 HAS SOPS 59248 HAS SOUS 50536 HAS SOUPS 47651 WITH SCORE 47716.353
AT ITER 2279 NEW BEST:: SOT 206242 SOS 65264 HAS SOPS 59159 HAS SOUS 50484 HAS SOUPS 47599 WITH SCORE 47664.264
AT ITER 2280 NEW BEST:: SOT 206124 SOS 65088 HAS SOPS 59017 HAS SOUS 50342 HAS SOUPS 47457 WITH SCORE 47522.088
AT ITER 2303 NEW BEST:: SOT 206100 SOS 65064 HAS SOPS 58969 HAS SOUS 50318 HAS SOUPS 47409 WITH SCORE 47474.064
AT ITER 2305 NEW BEST:: SOT 206096 SOS 65056 HAS SOPS 58961 HAS SOUS 50310 HAS SOUPS 47401 WITH SCORE 47466.056
AT ITER 2309 NEW BEST:: SOT 206078 SOS 65020 HAS SOPS 58925 HAS SOUS 50274 HAS SOUPS 47365 WITH SCORE 47430.02
AT ITER 2320 NEW BEST:: SOT 206170 SOS 64963 HAS SOPS 58868 HAS SOUS 50217 HAS SOUPS 47308 WITH SCORE 47372.963
AT ITER 2333 NEW BEST:: SOT 206049 SOS 64938 HAS SOPS 58843 HAS SOUS 50193 HAS SOUPS 47284 WITH SCORE 47348.938
AT ITER 2346 NEW BEST:: SOT 206041 SOS 64903 HAS SOPS 58808 HAS SOUS 50139 HAS SOUPS 47230 WITH SCORE 47294.903
AT ITER 2352 NEW BEST:: SOT 206016 SOS 64852 HAS SOPS 58757 HAS SOUS 50088 HAS SOUPS 47179 WITH SCORE 47243.852
AT ITER 2384 NEW BEST:: SOT 205983 SOS 64815 HAS SOPS 58720 HAS SOUS 50051 HAS SOUPS 47142 WITH SCORE 47206.815
AT ITER 2407 NEW BEST:: SOT 205982 SOS 64811 HAS SOPS 58716 HAS SOUS 50051 HAS SOUPS 47142 WITH SCORE 47206.811
AT ITER 2422 NEW BEST:: SOT 205966 SOS 64779 HAS SOPS 58684 HAS SOUS 50019 HAS SOUPS 47110 WITH SCORE 47174.779
AT ITER 2423 NEW BEST:: SOT 205956 SOS 64787 HAS SOPS 58692 HAS SOUS 49999 HAS SOUPS 47090 WITH SCORE 47154.787
AT ITER 2429 NEW BEST:: SOT 205894 SOS 64748 HAS SOPS 58653 HAS SOUS 49960 HAS SOUPS 47051 WITH SCORE 47115.748
AT ITER 2444 NEW BEST:: SOT 205889 SOS 64738 HAS SOPS 58643 HAS SOUS 49950 HAS SOUPS 47041 WITH SCORE 47105.738
AT ITER 2465 NEW BEST:: SOT 205702 SOS 63905 HAS SOPS 57801 HAS SOUS 49567 HAS SOUPS 46658 WITH SCORE 46721.905
AT ITER 2469 NEW BEST:: SOT 205623 SOS 63929 HAS SOPS 57835 HAS SOUS 49419 HAS SOUPS 46510 WITH SCORE 46573.929
AT ITER 2470 NEW BEST:: SOT 205540 SOS 63763 HAS SOPS 57669 HAS SOUS 49253 HAS SOUPS 46344 WITH SCORE 46407.763
AT ITER 2493 NEW BEST:: SOT 205516 SOS 63735 HAS SOPS 57637 HAS SOUS 49229 HAS SOUPS 46316 WITH SCORE 46379.735
AT ITER 2513 NEW BEST:: SOT 205500 SOS 63703 HAS SOPS 57605 HAS SOUS 49197 HAS SOUPS 46284 WITH SCORE 46347.703
AT ITER 2534 NEW BEST:: SOT 205420 SOS 63705 HAS SOPS 57531 HAS SOUS 49032 HAS SOUPS 46119 WITH SCORE 46182.705
AT ITER 2535 NEW BEST:: SOT 205258 SOS 63409 HAS SOPS 57235 HAS SOUS 48775 HAS SOUPS 45862 WITH SCORE 45925.409
AT ITER 2544 NEW BEST:: SOT 205239 SOS 63371 HAS SOPS 57197 HAS SOUS 48737 HAS SOUPS 45824 WITH SCORE 45887.371
AT ITER 2546 NEW BEST:: SOT 205194 SOS 63317 HAS SOPS 57143 HAS SOUS 48683 HAS SOUPS 45770 WITH SCORE 45833.317
AT ITER 2555 NEW BEST:: SOT 205198 SOS 63321 HAS SOPS 57147 HAS SOUS 48657 HAS SOUPS 45744 WITH SCORE 45807.321
AT ITER 2557 NEW BEST:: SOT 205247 SOS 63431 HAS SOPS 57112 HAS SOUS 48622 HAS SOUPS 45709 WITH SCORE 45772.431
AT ITER 2558 NEW BEST:: SOT 205173 SOS 63283 HAS SOPS 56964 HAS SOUS 48474 HAS SOUPS 45561 WITH SCORE 45624.283
AT ITER 2561 NEW BEST:: SOT 205203 SOS 63064 HAS SOPS 56733 HAS SOUS 48332 HAS SOUPS 45419 WITH SCORE 45482.064
AT ITER 2583 NEW BEST:: SOT 205203 SOS 63048 HAS SOPS 56733 HAS SOUS 48332 HAS SOUPS 45419 WITH SCORE 45482.048
AT ITER 2619 NEW BEST:: SOT 204815 SOS 63625 HAS SOPS 56578 HAS SOUS 48294 HAS SOUPS 45242 WITH SCORE 45305.625
AT ITER 2621 NEW BEST:: SOT 204760 SOS 63481 HAS SOPS 56507 HAS SOUS 48055 HAS SOUPS 45149 WITH SCORE 45212.481
AT ITER 2625 NEW BEST:: SOT 204760 SOS 63439 HAS SOPS 56507 HAS SOUS 48051 HAS SOUPS 45149 WITH SCORE 45212.439
AT ITER 2646 NEW BEST:: SOT 204760 SOS 63414 HAS SOPS 56482 HAS SOUS 48029 HAS SOUPS 45127 WITH SCORE 45190.414
AT ITER 2652 NEW BEST:: SOT 204804 SOS 63301 HAS SOPS 56492 HAS SOUS 47846 HAS SOUPS 44984 WITH SCORE 45047.301
AT ITER 2656 NEW BEST:: SOT 204804 SOS 63177 HAS SOPS 56368 HAS SOUS 47846 HAS SOUPS 44984 WITH SCORE 45047.177
AT ITER 2684 NEW BEST:: SOT 204788 SOS 63153 HAS SOPS 56344 HAS SOUS 47822 HAS SOUPS 44960 WITH SCORE 45023.153
AT ITER 2715 NEW BEST:: SOT 204757 SOS 63122 HAS SOPS 56239 HAS SOUS 47791 HAS SOUPS 44929 WITH SCORE 44992.122
AT ITER 2719 NEW BEST:: SOT 204753 SOS 63114 HAS SOPS 56231 HAS SOUS 47783 HAS SOUPS 44921 WITH SCORE 44984.114
AT ITER 2722 NEW BEST:: SOT 204778 SOS 63029 HAS SOPS 56173 HAS SOUS 47430 HAS SOUPS 44580 WITH SCORE 44643.029
AT ITER 2735 NEW BEST:: SOT 204475 SOS 64417 HAS SOPS 55693 HAS SOUS 47537 HAS SOUPS 44464 WITH SCORE 44528.417
AT ITER 2757 NEW BEST:: SOT 204457 SOS 64381 HAS SOPS 55657 HAS SOUS 47501 HAS SOUPS 44428 WITH SCORE 44492.381
AT ITER 2768 NEW BEST:: SOT 204441 SOS 64349 HAS SOPS 55625 HAS SOUS 47469 HAS SOUPS 44396 WITH SCORE 44460.349
AT ITER 2774 NEW BEST:: SOT 204380 SOS 64321 HAS SOPS 55598 HAS SOUS 47441 HAS SOUPS 44369 WITH SCORE 44433.321
AT ITER 2802 NEW BEST:: SOT 204298 SOS 64239 HAS SOPS 55475 HAS SOUS 47321 HAS SOUPS 44246 WITH SCORE 44310.239
AT ITER 2803 NEW BEST:: SOT 204358 SOS 63954 HAS SOPS 54970 HAS SOUS 47266 HAS SOUPS 44050 WITH SCORE 44113.954
AT ITER 2807 NEW BEST:: SOT 204259 SOS 64227 HAS SOPS 55264 HAS SOUS 47206 HAS SOUPS 43990 WITH SCORE 44054.227
AT ITER 2808 NEW BEST:: SOT 204259 SOS 64212 HAS SOPS 55264 HAS SOUS 47206 HAS SOUPS 43990 WITH SCORE 44054.212
AT ITER 2811 NEW BEST:: SOT 204188 SOS 63249 HAS SOPS 55258 HAS SOUS 47001 HAS SOUPS 43870 WITH SCORE 43933.249
AT ITER 2820 NEW BEST:: SOT 204167 SOS 63207 HAS SOPS 55216 HAS SOUS 46959 HAS SOUPS 43828 WITH SCORE 43891.207
AT ITER 2823 NEW BEST:: SOT 204146 SOS 63189 HAS SOPS 55198 HAS SOUS 46941 HAS SOUPS 43810 WITH SCORE 43873.189
AT ITER 2824 NEW BEST:: SOT 204144 SOS 63159 HAS SOPS 55168 HAS SOUS 46911 HAS SOUPS 43780 WITH SCORE 43843.159
AT ITER 2839 NEW BEST:: SOT 204043 SOS 63407 HAS SOPS 55420 HAS SOUS 46855 HAS SOUPS 43724 WITH SCORE 43787.407
AT ITER 2847 NEW BEST:: SOT 204034 SOS 63398 HAS SOPS 55411 HAS SOUS 46837 HAS SOUPS 43706 WITH SCORE 43769.398
AT ITER 2852 NEW BEST:: SOT 204016 SOS 63398 HAS SOPS 55411 HAS SOUS 46819 HAS SOUPS 43688 WITH SCORE 43751.398
AT ITER 2860 NEW BEST:: SOT 203863 SOS 63321 HAS SOPS 55296 HAS SOUS 46741 HAS SOUPS 43591 WITH SCORE 43654.321
AT ITER 2865 NEW BEST:: SOT 203879 SOS 63194 HAS SOPS 55169 HAS SOUS 46722 HAS SOUPS 43572 WITH SCORE 43635.194
AT ITER 2868 NEW BEST:: SOT 203854 SOS 63170 HAS SOPS 55120 HAS SOUS 46697 HAS SOUPS 43547 WITH SCORE 43610.17
AT ITER 2874 NEW BEST:: SOT 203737 SOS 62998 HAS SOPS 54948 HAS SOUS 46525 HAS SOUPS 43375 WITH SCORE 43437.998
AT ITER 2898 NEW BEST:: SOT 203648 SOS 62816 HAS SOPS 54815 HAS SOUS 46392 HAS SOUPS 43242 WITH SCORE 43304.816
AT ITER 2936 NEW BEST:: SOT 203643 SOS 62806 HAS SOPS 54805 HAS SOUS 46382 HAS SOUPS 43232 WITH SCORE 43294.806
AT ITER 2938 NEW BEST:: SOT 203640 SOS 62828 HAS SOPS 54827 HAS SOUS 46379 HAS SOUPS 43229 WITH SCORE 43291.828
AT ITER 3014 NEW BEST:: SOT 203626 SOS 62808 HAS SOPS 54807 HAS SOUS 46359 HAS SOUPS 43209 WITH SCORE 43271.808
AT ITER 3065 NEW BEST:: SOT 203526 SOS 62691 HAS SOPS 54729 HAS SOUS 46216 HAS SOUPS 43066 WITH SCORE 43128.691
AT ITER 3070 NEW BEST:: SOT 203502 SOS 62643 HAS SOPS 54681 HAS SOUS 46168 HAS SOUPS 43018 WITH SCORE 43080.643
AT ITER 3074 NEW BEST:: SOT 203545 SOS 62634 HAS SOPS 54710 HAS SOUS 46080 HAS SOUPS 42949 WITH SCORE 43011.634
AT ITER 3075 NEW BEST:: SOT 203503 SOS 62550 HAS SOPS 54626 HAS SOUS 45996 HAS SOUPS 42865 WITH SCORE 42927.55
AT ITER 3080 NEW BEST:: SOT 203481 SOS 62506 HAS SOPS 54582 HAS SOUS 45952 HAS SOUPS 42821 WITH SCORE 42883.506
AT ITER 3083 NEW BEST:: SOT 203492 SOS 62508 HAS SOPS 54594 HAS SOUS 45929 HAS SOUPS 42798 WITH SCORE 42860.508
AT ITER 3084 NEW BEST:: SOT 203432 SOS 62448 HAS SOPS 54554 HAS SOUS 45879 HAS SOUPS 42758 WITH SCORE 42820.448
AT ITER 3094 NEW BEST:: SOT 203420 SOS 62424 HAS SOPS 54530 HAS SOUS 45855 HAS SOUPS 42734 WITH SCORE 42796.424
AT ITER 3110 NEW BEST:: SOT 203279 SOS 62261 HAS SOPS 54331 HAS SOUS 45877 HAS SOUPS 42720 WITH SCORE 42782.261
AT ITER 3114 NEW BEST:: SOT 203268 SOS 62239 HAS SOPS 54309 HAS SOUS 45855 HAS SOUPS 42698 WITH SCORE 42760.239
AT ITER 3129 NEW BEST:: SOT 203268 SOS 62248 HAS SOPS 54318 HAS SOUS 45817 HAS SOUPS 42660 WITH SCORE 42722.248
AT ITER 3133 NEW BEST:: SOT 203247 SOS 62229 HAS SOPS 54245 HAS SOUS 45744 HAS SOUPS 42587 WITH SCORE 42649.229
AT ITER 3166 NEW BEST:: SOT 203164 SOS 62110 HAS SOPS 54079 HAS SOUS 45626 HAS SOUPS 42469 WITH SCORE 42531.11
AT ITER 3170 NEW BEST:: SOT 203126 SOS 62104 HAS SOPS 54073 HAS SOUS 45618 HAS SOUPS 42461 WITH SCORE 42523.104
AT ITER 3171 NEW BEST:: SOT 203126 SOS 62088 HAS SOPS 54057 HAS SOUS 45618 HAS SOUPS 42461 WITH SCORE 42523.088
AT ITER 3173 NEW BEST:: SOT 203052 SOS 61929 HAS SOPS 53898 HAS SOUS 45459 HAS SOUPS 42302 WITH SCORE 42363.929
AT ITER 3175 NEW BEST:: SOT 203008 SOS 61841 HAS SOPS 53810 HAS SOUS 45377 HAS SOUPS 42220 WITH SCORE 42281.841
AT ITER 3185 NEW BEST:: SOT 202884 SOS 61746 HAS SOPS 53753 HAS SOUS 45258 HAS SOUPS 42101 WITH SCORE 42162.746
AT ITER 3187 NEW BEST:: SOT 202881 SOS 61740 HAS SOPS 53747 HAS SOUS 45252 HAS SOUPS 42095 WITH SCORE 42156.74
AT ITER 3191 NEW BEST:: SOT 202849 SOS 61676 HAS SOPS 53683 HAS SOUS 45188 HAS SOUPS 42031 WITH SCORE 42092.676
AT ITER 3195 NEW BEST:: SOT 202845 SOS 61670 HAS SOPS 53675 HAS SOUS 45180 HAS SOUPS 42023 WITH SCORE 42084.67
AT ITER 3225 NEW BEST:: SOT 202740 SOS 61854 HAS SOPS 53576 HAS SOUS 45163 HAS SOUPS 41967 WITH SCORE 42028.854
AT ITER 3245 NEW BEST:: SOT 202732 SOS 61853 HAS SOPS 53575 HAS SOUS 45163 HAS SOUPS 41967 WITH SCORE 42028.853
AT ITER 3250 NEW BEST:: SOT 202713 SOS 61690 HAS SOPS 53423 HAS SOUS 45134 HAS SOUPS 41938 WITH SCORE 41999.69
AT ITER 3266 NEW BEST:: SOT 202749 SOS 61548 HAS SOPS 53275 HAS SOUS 45110 HAS SOUPS 41914 WITH SCORE 41975.548
AT ITER 3281 NEW BEST:: SOT 202745 SOS 61429 HAS SOPS 53156 HAS SOUS 45106 HAS SOUPS 41910 WITH SCORE 41971.429
AT ITER 3307 NEW BEST:: SOT 202745 SOS 61419 HAS SOPS 53146 HAS SOUS 45096 HAS SOUPS 41900 WITH SCORE 41961.419
AT ITER 3308 NEW BEST:: SOT 202724 SOS 61318 HAS SOPS 53045 HAS SOUS 44995 HAS SOUPS 41799 WITH SCORE 41860.318
AT ITER 3314 NEW BEST:: SOT 202722 SOS 61314 HAS SOPS 53041 HAS SOUS 44991 HAS SOUPS 41795 WITH SCORE 41856.314
AT ITER 3339 NEW BEST:: SOT 202722 SOS 61307 HAS SOPS 53034 HAS SOUS 44991 HAS SOUPS 41795 WITH SCORE 41856.307
AT ITER 3350 NEW BEST:: SOT 202714 SOS 61271 HAS SOPS 52954 HAS SOUS 44911 HAS SOUPS 41715 WITH SCORE 41776.271
AT ITER 3363 NEW BEST:: SOT 202631 SOS 61068 HAS SOPS 52914 HAS SOUS 44871 HAS SOUPS 41675 WITH SCORE 41736.068
AT ITER 3373 NEW BEST:: SOT 202616 SOS 61007 HAS SOPS 52853 HAS SOUS 44810 HAS SOUPS 41614 WITH SCORE 41675.007
AT ITER 3384 NEW BEST:: SOT 202606 SOS 60957 HAS SOPS 52803 HAS SOUS 44780 HAS SOUPS 41584 WITH SCORE 41644.957
AT ITER 3400 NEW BEST:: SOT 202606 SOS 60921 HAS SOPS 52767 HAS SOUS 44780 HAS SOUPS 41584 WITH SCORE 41644.921
AT ITER 3410 NEW BEST:: SOT 202603 SOS 60915 HAS SOPS 52761 HAS SOUS 44774 HAS SOUPS 41578 WITH SCORE 41638.915
AT ITER 3415 NEW BEST:: SOT 202560 SOS 60907 HAS SOPS 52753 HAS SOUS 44711 HAS SOUPS 41515 WITH SCORE 41575.907
AT ITER 3416 NEW BEST:: SOT 202508 SOS 60806 HAS SOPS 52652 HAS SOUS 44662 HAS SOUPS 41466 WITH SCORE 41526.806
AT ITER 3444 NEW BEST:: SOT 202498 SOS 60809 HAS SOPS 52655 HAS SOUS 44642 HAS SOUPS 41446 WITH SCORE 41506.809
AT ITER 3448 NEW BEST:: SOT 202465 SOS 60743 HAS SOPS 52589 HAS SOUS 44576 HAS SOUPS 41380 WITH SCORE 41440.743
AT ITER 3450 NEW BEST:: SOT 202465 SOS 60719 HAS SOPS 52577 HAS SOUS 44576 HAS SOUPS 41380 WITH SCORE 41440.719
AT ITER 3454 NEW BEST:: SOT 202252 SOS 60768 HAS SOPS 52276 HAS SOUS 44334 HAS SOUPS 41079 WITH SCORE 41139.768
AT ITER 3473 NEW BEST:: SOT 202257 SOS 60723 HAS SOPS 52221 HAS SOUS 44319 HAS SOUPS 41064 WITH SCORE 41124.723
AT ITER 3498 NEW BEST:: SOT 202245 SOS 60719 HAS SOPS 52217 HAS SOUS 44315 HAS SOUPS 41060 WITH SCORE 41120.719
AT ITER 3515 NEW BEST:: SOT 202240 SOS 60709 HAS SOPS 52216 HAS SOUS 44314 HAS SOUPS 41059 WITH SCORE 41119.709
AT ITER 3528 NEW BEST:: SOT 202236 SOS 60701 HAS SOPS 52208 HAS SOUS 44306 HAS SOUPS 41051 WITH SCORE 41111.701
AT ITER 3549 NEW BEST:: SOT 202218 SOS 60665 HAS SOPS 52172 HAS SOUS 44270 HAS SOUPS 41015 WITH SCORE 41075.665
AT ITER 3552 NEW BEST:: SOT 202202 SOS 60649 HAS SOPS 52159 HAS SOUS 44257 HAS SOUPS 41002 WITH SCORE 41062.649
AT ITER 3602 NEW BEST:: SOT 202184 SOS 60613 HAS SOPS 52123 HAS SOUS 44221 HAS SOUPS 40966 WITH SCORE 41026.613
AT ITER 3617 NEW BEST:: SOT 202182 SOS 60609 HAS SOPS 52119 HAS SOUS 44219 HAS SOUPS 40964 WITH SCORE 41024.609
AT ITER 3618 NEW BEST:: SOT 202136 SOS 60491 HAS SOPS 52001 HAS SOUS 44142 HAS SOUPS 40887 WITH SCORE 40947.491
AT ITER 3624 NEW BEST:: SOT 201891 SOS 60325 HAS SOPS 51962 HAS SOUS 44061 HAS SOUPS 40808 WITH SCORE 40868.325
AT ITER 3635 NEW BEST:: SOT 201822 SOS 60269 HAS SOPS 51908 HAS SOUS 44004 HAS SOUPS 40753 WITH SCORE 40813.269
AT ITER 3639 NEW BEST:: SOT 201813 SOS 60240 HAS SOPS 51879 HAS SOUS 43975 HAS SOUPS 40724 WITH SCORE 40784.24
AT ITER 3641 NEW BEST:: SOT 201801 SOS 60216 HAS SOPS 51855 HAS SOUS 43951 HAS SOUPS 40700 WITH SCORE 40760.216
AT ITER 3644 NEW BEST:: SOT 201801 SOS 60164 HAS SOPS 51855 HAS SOUS 43951 HAS SOUPS 40700 WITH SCORE 40760.164
AT ITER 3666 NEW BEST:: SOT 201805 SOS 60193 HAS SOPS 51842 HAS SOUS 43938 HAS SOUPS 40687 WITH SCORE 40747.193
AT ITER 3677 NEW BEST:: SOT 201780 SOS 60379 HAS SOPS 52028 HAS SOUS 43921 HAS SOUPS 40670 WITH SCORE 40730.379
AT ITER 3708 NEW BEST:: SOT 201753 SOS 60325 HAS SOPS 51974 HAS SOUS 43867 HAS SOUPS 40616 WITH SCORE 40676.325
AT ITER 3710 NEW BEST:: SOT 201749 SOS 60317 HAS SOPS 51966 HAS SOUS 43859 HAS SOUPS 40608 WITH SCORE 40668.317
AT ITER 3719 NEW BEST:: SOT 201781 SOS 60269 HAS SOPS 51886 HAS SOUS 43799 HAS SOUPS 40548 WITH SCORE 40608.269
AT ITER 3727 NEW BEST:: SOT 201779 SOS 60242 HAS SOPS 51852 HAS SOUS 43785 HAS SOUPS 40534 WITH SCORE 40594.242
AT ITER 3746 NEW BEST:: SOT 201775 SOS 60174 HAS SOPS 51830 HAS SOUS 43749 HAS SOUPS 40509 WITH SCORE 40569.174
AT ITER 3755 NEW BEST:: SOT 201778 SOS 59583 HAS SOPS 51239 HAS SOUS 43737 HAS SOUPS 40497 WITH SCORE 40556.583
AT ITER 3764 NEW BEST:: SOT 201769 SOS 59575 HAS SOPS 51231 HAS SOUS 43729 HAS SOUPS 40489 WITH SCORE 40548.575
AT ITER 3788 NEW BEST:: SOT 201749 SOS 59535 HAS SOPS 51191 HAS SOUS 43689 HAS SOUPS 40449 WITH SCORE 40508.535
AT ITER 3813 NEW BEST:: SOT 201720 SOS 59477 HAS SOPS 51133 HAS SOUS 43631 HAS SOUPS 40391 WITH SCORE 40450.477
AT ITER 3819 NEW BEST:: SOT 201720 SOS 59490 HAS SOPS 51199 HAS SOUS 43628 HAS SOUPS 40388 WITH SCORE 40447.49
AT ITER 3822 NEW BEST:: SOT 201707 SOS 59534 HAS SOPS 51243 HAS SOUS 43602 HAS SOUPS 40362 WITH SCORE 40421.534
AT ITER 3836 NEW BEST:: SOT 201707 SOS 59534 HAS SOPS 51243 HAS SOUS 43599 HAS SOUPS 40359 WITH SCORE 40418.534
AT ITER 3838 NEW BEST:: SOT 201628 SOS 59439 HAS SOPS 51148 HAS SOUS 43504 HAS SOUPS 40264 WITH SCORE 40323.439
AT ITER 3847 NEW BEST:: SOT 201553 SOS 59336 HAS SOPS 51048 HAS SOUS 43467 HAS SOUPS 40227 WITH SCORE 40286.336
AT ITER 3853 NEW BEST:: SOT 201553 SOS 59164 HAS SOPS 50876 HAS SOUS 43467 HAS SOUPS 40227 WITH SCORE 40286.164
AT ITER 3856 NEW BEST:: SOT 201529 SOS 59111 HAS SOPS 50857 HAS SOUS 43448 HAS SOUPS 40208 WITH SCORE 40267.111
AT ITER 3862 NEW BEST:: SOT 201528 SOS 59109 HAS SOPS 50855 HAS SOUS 43446 HAS SOUPS 40206 WITH SCORE 40265.109
AT ITER 3868 NEW BEST:: SOT 201496 SOS 59061 HAS SOPS 50807 HAS SOUS 43398 HAS SOUPS 40158 WITH SCORE 40217.061
AT ITER 3913 NEW BEST:: SOT 201491 SOS 59051 HAS SOPS 50797 HAS SOUS 43388 HAS SOUPS 40148 WITH SCORE 40207.051
AT ITER 3948 NEW BEST:: SOT 201491 SOS 59051 HAS SOPS 50794 HAS SOUS 43388 HAS SOUPS 40145 WITH SCORE 40204.051
AT ITER 3950 NEW BEST:: SOT 201484 SOS 59037 HAS SOPS 50780 HAS SOUS 43374 HAS SOUPS 40131 WITH SCORE 40190.037
AT ITER 3987 NEW BEST:: SOT 201478 SOS 59025 HAS SOPS 50768 HAS SOUS 43362 HAS SOUPS 40119 WITH SCORE 40178.025
AT ITER 4009 NEW BEST:: SOT 201479 SOS 59009 HAS SOPS 50772 HAS SOUS 43354 HAS SOUPS 40115 WITH SCORE 40174.009
AT ITER 4022 NEW BEST:: SOT 201468 SOS 58987 HAS SOPS 50750 HAS SOUS 43332 HAS SOUPS 40093 WITH SCORE 40151.987
AT ITER 4025 NEW BEST:: SOT 201467 SOS 58985 HAS SOPS 50748 HAS SOUS 43330 HAS SOUPS 40091 WITH SCORE 40149.985
AT ITER 4042 NEW BEST:: SOT 201387 SOS 58810 HAS SOPS 50573 HAS SOUS 43155 HAS SOUPS 39916 WITH SCORE 39974.81
AT ITER 4071 NEW BEST:: SOT 201379 SOS 58803 HAS SOPS 50557 HAS SOUS 43139 HAS SOUPS 39900 WITH SCORE 39958.803
AT ITER 4077 NEW BEST:: SOT 201378 SOS 58801 HAS SOPS 50555 HAS SOUS 43137 HAS SOUPS 39898 WITH SCORE 39956.801
AT ITER 4084 NEW BEST:: SOT 201363 SOS 58769 HAS SOPS 50525 HAS SOUS 43107 HAS SOUPS 39868 WITH SCORE 39926.769
AT ITER 4098 NEW BEST:: SOT 201337 SOS 58776 HAS SOPS 50532 HAS SOUS 43040 HAS SOUPS 39801 WITH SCORE 39859.776
AT ITER 4101 NEW BEST:: SOT 201337 SOS 58701 HAS SOPS 50457 HAS SOUS 43040 HAS SOUPS 39801 WITH SCORE 39859.701
AT ITER 4128 NEW BEST:: SOT 201295 SOS 58657 HAS SOPS 50413 HAS SOUS 42996 HAS SOUPS 39757 WITH SCORE 39815.657
AT ITER 4140 NEW BEST:: SOT 201281 SOS 58641 HAS SOPS 50385 HAS SOUS 42980 HAS SOUPS 39729 WITH SCORE 39787.641
AT ITER 4150 NEW BEST:: SOT 201233 SOS 58545 HAS SOPS 50289 HAS SOUS 42884 HAS SOUPS 39633 WITH SCORE 39691.545
AT ITER 4186 NEW BEST:: SOT 201214 SOS 58507 HAS SOPS 50251 HAS SOUS 42846 HAS SOUPS 39595 WITH SCORE 39653.507
AT ITER 4208 NEW BEST:: SOT 201166 SOS 58216 HAS SOPS 49960 HAS SOUS 42799 HAS SOUPS 39548 WITH SCORE 39606.216
AT ITER 4215 NEW BEST:: SOT 201171 SOS 58196 HAS SOPS 49872 HAS SOUS 42711 HAS SOUPS 39460 WITH SCORE 39518.196
AT ITER 4226 NEW BEST:: SOT 201007 SOS 58216 HAS SOPS 49704 HAS SOUS 42585 HAS SOUPS 39296 WITH SCORE 39354.216
AT ITER 4229 NEW BEST:: SOT 200969 SOS 58140 HAS SOPS 49628 HAS SOUS 42509 HAS SOUPS 39220 WITH SCORE 39278.14
AT ITER 4239 NEW BEST:: SOT 200969 SOS 58064 HAS SOPS 49552 HAS SOUS 42509 HAS SOUPS 39220 WITH SCORE 39278.064
AT ITER 4247 NEW BEST:: SOT 200951 SOS 58028 HAS SOPS 49516 HAS SOUS 42473 HAS SOUPS 39184 WITH SCORE 39242.028
AT ITER 4330 NEW BEST:: SOT 200667 SOS 57897 HAS SOPS 49266 HAS SOUS 42448 HAS SOUPS 39097 WITH SCORE 39154.897
AT ITER 4346 NEW BEST:: SOT 200644 SOS 57895 HAS SOPS 49264 HAS SOUS 42446 HAS SOUPS 39095 WITH SCORE 39152.895
AT ITER 4348 NEW BEST:: SOT 200643 SOS 57893 HAS SOPS 49262 HAS SOUS 42444 HAS SOUPS 39093 WITH SCORE 39150.893
AT ITER 4395 NEW BEST:: SOT 200633 SOS 57880 HAS SOPS 49249 HAS SOUS 42431 HAS SOUPS 39080 WITH SCORE 39137.88
AT ITER 4425 NEW BEST:: SOT 200333 SOS 58089 HAS SOPS 48932 HAS SOUS 42448 HAS SOUPS 38980 WITH SCORE 39038.089
AT ITER 4450 NEW BEST:: SOT 200327 SOS 58083 HAS SOPS 48931 HAS SOUS 42443 HAS SOUPS 38979 WITH SCORE 39037.083
AT ITER 4452 NEW BEST:: SOT 200323 SOS 58070 HAS SOPS 48923 HAS SOUS 42435 HAS SOUPS 38971 WITH SCORE 39029.07
AT ITER 4459 NEW BEST:: SOT 200331 SOS 58066 HAS SOPS 48915 HAS SOUS 42427 HAS SOUPS 38963 WITH SCORE 39021.066
AT ITER 4485 NEW BEST:: SOT 200336 SOS 58050 HAS SOPS 48899 HAS SOUS 42411 HAS SOUPS 38947 WITH SCORE 39005.05
AT ITER 4512 NEW BEST:: SOT 200348 SOS 58056 HAS SOPS 48908 HAS SOUS 42396 HAS SOUPS 38935 WITH SCORE 38993.056
AT ITER 4522 NEW BEST:: SOT 200342 SOS 58038 HAS SOPS 48890 HAS SOUS 42390 HAS SOUPS 38929 WITH SCORE 38987.038
AT ITER 4538 NEW BEST:: SOT 200342 SOS 57992 HAS SOPS 48890 HAS SOUS 42390 HAS SOUPS 38929 WITH SCORE 38986.992
AT ITER 4553 NEW BEST:: SOT 200340 SOS 57988 HAS SOPS 48886 HAS SOUS 42386 HAS SOUPS 38925 WITH SCORE 38982.988
AT ITER 4573 NEW BEST:: SOT 200346 SOS 57991 HAS SOPS 48889 HAS SOUS 42368 HAS SOUPS 38907 WITH SCORE 38964.991
AT ITER 4580 NEW BEST:: SOT 200333 SOS 57978 HAS SOPS 48876 HAS SOUS 42355 HAS SOUPS 38894 WITH SCORE 38951.978
AT ITER 4598 NEW BEST:: SOT 200319 SOS 57950 HAS SOPS 48848 HAS SOUS 42327 HAS SOUPS 38866 WITH SCORE 38923.95
AT ITER 4602 NEW BEST:: SOT 200318 SOS 57924 HAS SOPS 48822 HAS SOUS 42301 HAS SOUPS 38840 WITH SCORE 38897.924
AT ITER 4616 NEW BEST:: SOT 200286 SOS 57901 HAS SOPS 48799 HAS SOUS 42278 HAS SOUPS 38817 WITH SCORE 38874.901
AT ITER 4655 NEW BEST:: SOT 200268 SOS 57883 HAS SOPS 48781 HAS SOUS 42260 HAS SOUPS 38799 WITH SCORE 38856.883
AT ITER 4656 NEW BEST:: SOT 200274 SOS 57619 HAS SOPS 48517 HAS SOUS 42203 HAS SOUPS 38742 WITH SCORE 38799.619
AT ITER 4663 NEW BEST:: SOT 200268 SOS 57612 HAS SOPS 48511 HAS SOUS 42192 HAS SOUPS 38731 WITH SCORE 38788.612
AT ITER 4684 NEW BEST:: SOT 200267 SOS 57610 HAS SOPS 48509 HAS SOUS 42190 HAS SOUPS 38729 WITH SCORE 38786.61
AT ITER 4691 NEW BEST:: SOT 200263 SOS 57602 HAS SOPS 48501 HAS SOUS 42182 HAS SOUPS 38721 WITH SCORE 38778.602
AT ITER 4729 NEW BEST:: SOT 200207 SOS 57652 HAS SOPS 48443 HAS SOUS 42146 HAS SOUPS 38673 WITH SCORE 38730.652
AT ITER 4739 NEW BEST:: SOT 200203 SOS 57639 HAS SOPS 48430 HAS SOUS 42145 HAS SOUPS 38672 WITH SCORE 38729.639
AT ITER 4751 NEW BEST:: SOT 200214 SOS 57484 HAS SOPS 48455 HAS SOUS 42061 HAS SOUPS 38612 WITH SCORE 38669.484
AT ITER 4821 NEW BEST:: SOT 200215 SOS 57485 HAS SOPS 48438 HAS SOUS 42044 HAS SOUPS 38595 WITH SCORE 38652.485
AT ITER 4831 NEW BEST:: SOT 200209 SOS 57395 HAS SOPS 48382 HAS SOUS 41940 HAS SOUPS 38505 WITH SCORE 38562.395
AT ITER 4834 NEW BEST:: SOT 200208 SOS 57392 HAS SOPS 48379 HAS SOUS 41938 HAS SOUPS 38503 WITH SCORE 38560.392
AT ITER 4838 NEW BEST:: SOT 200200 SOS 57376 HAS SOPS 48363 HAS SOUS 41922 HAS SOUPS 38487 WITH SCORE 38544.376
AT ITER 4844 NEW BEST:: SOT 200204 SOS 57381 HAS SOPS 48346 HAS SOUS 41905 HAS SOUPS 38470 WITH SCORE 38527.381
AT ITER 4849 NEW BEST:: SOT 200196 SOS 57373 HAS SOPS 48338 HAS SOUS 41889 HAS SOUPS 38454 WITH SCORE 38511.373
AT ITER 4860 NEW BEST:: SOT 200185 SOS 57547 HAS SOPS 48512 HAS SOUS 41872 HAS SOUPS 38437 WITH SCORE 38494.547
AT ITER 4866 NEW BEST:: SOT 200172 SOS 57534 HAS SOPS 48499 HAS SOUS 41859 HAS SOUPS 38424 WITH SCORE 38481.534
AT ITER 4905 NEW BEST:: SOT 200163 SOS 57477 HAS SOPS 48467 HAS SOUS 41856 HAS SOUPS 38421 WITH SCORE 38478.477
AT ITER 4906 NEW BEST:: SOT 200153 SOS 57467 HAS SOPS 48457 HAS SOUS 41846 HAS SOUPS 38411 WITH SCORE 38468.467
AT ITER 4919 NEW BEST:: SOT 200133 SOS 57427 HAS SOPS 48417 HAS SOUS 41806 HAS SOUPS 38371 WITH SCORE 38428.427
AT ITER 4922 NEW BEST:: SOT 200130 SOS 57421 HAS SOPS 48411 HAS SOUS 41800 HAS SOUPS 38365 WITH SCORE 38422.421
AT ITER 4953 NEW BEST:: SOT 200128 SOS 57415 HAS SOPS 48407 HAS SOUS 41796 HAS SOUPS 38361 WITH SCORE 38418.415
AT ITER 4977 NEW BEST:: SOT 200122 SOS 57403 HAS SOPS 48395 HAS SOUS 41784 HAS SOUPS 38349 WITH SCORE 38406.403
AT ITER 4987 NEW BEST:: SOT 200116 SOS 57391 HAS SOPS 48383 HAS SOUS 41772 HAS SOUPS 38337 WITH SCORE 38394.391
AT ITER 5004 NEW BEST:: SOT 200107 SOS 57365 HAS SOPS 48365 HAS SOUS 41737 HAS SOUPS 38302 WITH SCORE 38359.365
AT ITER 5018 NEW BEST:: SOT 200104 SOS 57359 HAS SOPS 48359 HAS SOUS 41731 HAS SOUPS 38296 WITH SCORE 38353.359
AT ITER 5029 NEW BEST:: SOT 200089 SOS 57346 HAS SOPS 48346 HAS SOUS 41701 HAS SOUPS 38266 WITH SCORE 38323.346
AT ITER 5039 NEW BEST:: SOT 199962 SOS 57158 HAS SOPS 48156 HAS SOUS 41531 HAS SOUPS 38096 WITH SCORE 38153.158
AT ITER 5055 NEW BEST:: SOT 199943 SOS 57119 HAS SOPS 48117 HAS SOUS 41493 HAS SOUPS 38058 WITH SCORE 38115.119
AT ITER 5063 NEW BEST:: SOT 199921 SOS 57089 HAS SOPS 48095 HAS SOUS 41471 HAS SOUPS 38036 WITH SCORE 38093.089
AT ITER 5065 NEW BEST:: SOT 199920 SOS 57080 HAS SOPS 48085 HAS SOUS 41468 HAS SOUPS 38033 WITH SCORE 38090.08
AT ITER 5072 NEW BEST:: SOT 199856 SOS 57016 HAS SOPS 48069 HAS SOUS 41404 HAS SOUPS 38017 WITH SCORE 38074.016
AT ITER 5073 NEW BEST:: SOT 199838 SOS 56962 HAS SOPS 48033 HAS SOUS 41368 HAS SOUPS 37981 WITH SCORE 38037.962
AT ITER 5083 NEW BEST:: SOT 199848 SOS 56972 HAS SOPS 48053 HAS SOUS 41329 HAS SOUPS 37942 WITH SCORE 37998.972
AT ITER 5091 NEW BEST:: SOT 199848 SOS 56972 HAS SOPS 48038 HAS SOUS 41314 HAS SOUPS 37927 WITH SCORE 37983.972
AT ITER 5106 NEW BEST:: SOT 199837 SOS 56919 HAS SOPS 47985 HAS SOUS 41292 HAS SOUPS 37905 WITH SCORE 37961.919
AT ITER 5117 NEW BEST:: SOT 199837 SOS 56467 HAS SOPS 47533 HAS SOUS 41292 HAS SOUPS 37905 WITH SCORE 37961.467
AT ITER 5118 NEW BEST:: SOT 199830 SOS 56462 HAS SOPS 47528 HAS SOUS 41278 HAS SOUPS 37891 WITH SCORE 37947.462
AT ITER 5121 NEW BEST:: SOT 199800 SOS 56432 HAS SOPS 47498 HAS SOUS 41248 HAS SOUPS 37861 WITH SCORE 37917.432
AT ITER 5122 NEW BEST:: SOT 199790 SOS 56422 HAS SOPS 47488 HAS SOUS 41238 HAS SOUPS 37851 WITH SCORE 37907.422
AT ITER 5126 NEW BEST:: SOT 199732 SOS 56347 HAS SOPS 47415 HAS SOUS 41122 HAS SOUPS 37735 WITH SCORE 37791.347
AT ITER 5137 NEW BEST:: SOT 199697 SOS 56277 HAS SOPS 47345 HAS SOUS 41052 HAS SOUPS 37665 WITH SCORE 37721.277
AT ITER 5148 NEW BEST:: SOT 199694 SOS 56271 HAS SOPS 47339 HAS SOUS 41046 HAS SOUPS 37659 WITH SCORE 37715.271
AT ITER 5155 NEW BEST:: SOT 199685 SOS 56289 HAS SOPS 47357 HAS SOUS 41028 HAS SOUPS 37641 WITH SCORE 37697.289
AT ITER 5165 NEW BEST:: SOT 199690 SOS 56279 HAS SOPS 47337 HAS SOUS 41018 HAS SOUPS 37631 WITH SCORE 37687.279
AT ITER 5166 NEW BEST:: SOT 199683 SOS 56265 HAS SOPS 47331 HAS SOUS 41012 HAS SOUPS 37625 WITH SCORE 37681.265
AT ITER 5170 NEW BEST:: SOT 199744 SOS 55998 HAS SOPS 47051 HAS SOUS 40991 HAS SOUPS 37604 WITH SCORE 37659.998
AT ITER 5248 NEW BEST:: SOT 199754 SOS 56008 HAS SOPS 47061 HAS SOUS 40990 HAS SOUPS 37603 WITH SCORE 37659.008
AT ITER 5264 NEW BEST:: SOT 199901 SOS 55735 HAS SOPS 46715 HAS SOUS 40980 HAS SOUPS 37593 WITH SCORE 37648.735
AT ITER 5278 NEW BEST:: SOT 199891 SOS 55723 HAS SOPS 46703 HAS SOUS 40964 HAS SOUPS 37577 WITH SCORE 37632.723
AT ITER 5300 NEW BEST:: SOT 199713 SOS 55554 HAS SOPS 46635 HAS SOUS 40848 HAS SOUPS 37509 WITH SCORE 37564.554
AT ITER 5371 NEW BEST:: SOT 199554 SOS 55694 HAS SOPS 46852 HAS SOUS 40831 HAS SOUPS 37500 WITH SCORE 37555.694
AT ITER 5393 NEW BEST:: SOT 199554 SOS 55677 HAS SOPS 46833 HAS SOUS 40829 HAS SOUPS 37498 WITH SCORE 37553.677
AT ITER 5421 NEW BEST:: SOT 199524 SOS 55607 HAS SOPS 46763 HAS SOUS 40779 HAS SOUPS 37448 WITH SCORE 37503.607
AT ITER 5445 NEW BEST:: SOT 199483 SOS 55566 HAS SOPS 46722 HAS SOUS 40738 HAS SOUPS 37407 WITH SCORE 37462.566
AT ITER 5463 NEW BEST:: SOT 199462 SOS 55524 HAS SOPS 46680 HAS SOUS 40696 HAS SOUPS 37365 WITH SCORE 37420.524
AT ITER 5484 NEW BEST:: SOT 199458 SOS 55520 HAS SOPS 46676 HAS SOUS 40692 HAS SOUPS 37361 WITH SCORE 37416.52
AT ITER 5504 NEW BEST:: SOT 199440 SOS 55490 HAS SOPS 46649 HAS SOUS 40665 HAS SOUPS 37334 WITH SCORE 37389.49
AT ITER 5506 NEW BEST:: SOT 199410 SOS 55707 HAS SOPS 46866 HAS SOUS 40605 HAS SOUPS 37274 WITH SCORE 37329.707
AT ITER 5559 NEW BEST:: SOT 199490 SOS 55649 HAS SOPS 46894 HAS SOUS 40531 HAS SOUPS 37232 WITH SCORE 37287.649
AT ITER 5576 NEW BEST:: SOT 199460 SOS 55577 HAS SOPS 46822 HAS SOUS 40513 HAS SOUPS 37214 WITH SCORE 37269.577
AT ITER 5604 NEW BEST:: SOT 199460 SOS 55570 HAS SOPS 46814 HAS SOUS 40505 HAS SOUPS 37206 WITH SCORE 37261.57
AT ITER 5646 NEW BEST:: SOT 199458 SOS 55568 HAS SOPS 46812 HAS SOUS 40498 HAS SOUPS 37199 WITH SCORE 37254.568
AT ITER 5647 NEW BEST:: SOT 199436 SOS 55563 HAS SOPS 46787 HAS SOUS 40482 HAS SOUPS 37174 WITH SCORE 37229.563
AT ITER 5650 NEW BEST:: SOT 199389 SOS 55475 HAS SOPS 46734 HAS SOUS 40429 HAS SOUPS 37121 WITH SCORE 37176.475
AT ITER 5683 NEW BEST:: SOT 199388 SOS 55474 HAS SOPS 46733 HAS SOUS 40427 HAS SOUPS 37119 WITH SCORE 37174.474
AT ITER 5684 NEW BEST:: SOT 199345 SOS 55402 HAS SOPS 46679 HAS SOUS 40373 HAS SOUPS 37065 WITH SCORE 37120.402
AT ITER 5705 NEW BEST:: SOT 199334 SOS 55456 HAS SOPS 46636 HAS SOUS 40348 HAS SOUPS 37040 WITH SCORE 37095.456
AT ITER 5706 NEW BEST:: SOT 199334 SOS 55419 HAS SOPS 46579 HAS SOUS 40301 HAS SOUPS 36993 WITH SCORE 37048.419
AT ITER 5714 NEW BEST:: SOT 199331 SOS 55413 HAS SOPS 46573 HAS SOUS 40277 HAS SOUPS 36969 WITH SCORE 37024.413
AT ITER 5723 NEW BEST:: SOT 199312 SOS 55368 HAS SOPS 46528 HAS SOUS 40232 HAS SOUPS 36924 WITH SCORE 36979.368
AT ITER 5744 NEW BEST:: SOT 199307 SOS 55358 HAS SOPS 46518 HAS SOUS 40222 HAS SOUPS 36914 WITH SCORE 36969.358
AT ITER 5746 NEW BEST:: SOT 199302 SOS 55348 HAS SOPS 46508 HAS SOUS 40212 HAS SOUPS 36904 WITH SCORE 36959.348
AT ITER 5767 NEW BEST:: SOT 199303 SOS 55098 HAS SOPS 46222 HAS SOUS 40104 HAS SOUPS 36796 WITH SCORE 36851.098
AT ITER 5800 NEW BEST:: SOT 199303 SOS 55096 HAS SOPS 46220 HAS SOUS 40104 HAS SOUPS 36796 WITH SCORE 36851.096
AT ITER 5831 NEW BEST:: SOT 199261 SOS 55008 HAS SOPS 46132 HAS SOUS 40046 HAS SOUPS 36738 WITH SCORE 36793.008
AT ITER 5909 NEW BEST:: SOT 199258 SOS 54803 HAS SOPS 45927 HAS SOUS 40041 HAS SOUPS 36733 WITH SCORE 36787.803
AT ITER 5928 NEW BEST:: SOT 199206 SOS 54667 HAS SOPS 45776 HAS SOUS 40004 HAS SOUPS 36679 WITH SCORE 36733.667
AT ITER 5929 NEW BEST:: SOT 199184 SOS 54566 HAS SOPS 45732 HAS SOUS 39960 HAS SOUPS 36635 WITH SCORE 36689.566
AT ITER 5993 NEW BEST:: SOT 199118 SOS 54510 HAS SOPS 45696 HAS SOUS 39944 HAS SOUPS 36619 WITH SCORE 36673.51
AT ITER 6003 NEW BEST:: SOT 199097 SOS 54503 HAS SOPS 45689 HAS SOUS 39937 HAS SOUPS 36612 WITH SCORE 36666.503
AT ITER 6013 NEW BEST:: SOT 199072 SOS 54478 HAS SOPS 45672 HAS SOUS 39912 HAS SOUPS 36595 WITH SCORE 36649.478
AT ITER 6062 NEW BEST:: SOT 198802 SOS 54707 HAS SOPS 45402 HAS SOUS 39981 HAS SOUPS 36579 WITH SCORE 36633.707
AT ITER 6068 NEW BEST:: SOT 198793 SOS 54689 HAS SOPS 45384 HAS SOUS 39963 HAS SOUPS 36561 WITH SCORE 36615.689
AT ITER 6069 NEW BEST:: SOT 198767 SOS 54637 HAS SOPS 45332 HAS SOUS 39937 HAS SOUPS 36535 WITH SCORE 36589.637
AT ITER 6086 NEW BEST:: SOT 198767 SOS 54622 HAS SOPS 45317 HAS SOUS 39937 HAS SOUPS 36535 WITH SCORE 36589.622
AT ITER 6118 NEW BEST:: SOT 198763 SOS 54616 HAS SOPS 45311 HAS SOUS 39931 HAS SOUPS 36529 WITH SCORE 36583.616
AT ITER 6141 NEW BEST:: SOT 198746 SOS 54582 HAS SOPS 45277 HAS SOUS 39897 HAS SOUPS 36495 WITH SCORE 36549.582
AT ITER 6186 NEW BEST:: SOT 198732 SOS 54554 HAS SOPS 45249 HAS SOUS 39869 HAS SOUPS 36467 WITH SCORE 36521.554
AT ITER 6209 NEW BEST:: SOT 198710 SOS 54471 HAS SOPS 45166 HAS SOUS 39844 HAS SOUPS 36442 WITH SCORE 36496.471
AT ITER 6224 NEW BEST:: SOT 198708 SOS 54477 HAS SOPS 45162 HAS SOUS 39842 HAS SOUPS 36438 WITH SCORE 36492.477
AT ITER 6244 NEW BEST:: SOT 198714 SOS 54478 HAS SOPS 45147 HAS SOUS 39843 HAS SOUPS 36423 WITH SCORE 36477.478
AT ITER 6248 NEW BEST:: SOT 198713 SOS 54476 HAS SOPS 45145 HAS SOUS 39841 HAS SOUPS 36421 WITH SCORE 36475.476
AT ITER 6313 NEW BEST:: SOT 198713 SOS 54460 HAS SOPS 45145 HAS SOUS 39817 HAS SOUPS 36401 WITH SCORE 36455.46
AT ITER 6357 NEW BEST:: SOT 198694 SOS 54422 HAS SOPS 45107 HAS SOUS 39779 HAS SOUPS 36363 WITH SCORE 36417.422
AT ITER 6380 NEW BEST:: SOT 198694 SOS 54408 HAS SOPS 45093 HAS SOUS 39779 HAS SOUPS 36363 WITH SCORE 36417.408
AT ITER 6384 NEW BEST:: SOT 198694 SOS 54405 HAS SOPS 45093 HAS SOUS 39779 HAS SOUPS 36363 WITH SCORE 36417.405
AT ITER 6413 NEW BEST:: SOT 198686 SOS 54389 HAS SOPS 45077 HAS SOUS 39763 HAS SOUPS 36347 WITH SCORE 36401.389
AT ITER 6414 NEW BEST:: SOT 198676 SOS 54369 HAS SOPS 45057 HAS SOUS 39743 HAS SOUPS 36327 WITH SCORE 36381.369
AT ITER 6421 NEW BEST:: SOT 198678 SOS 54348 HAS SOPS 45036 HAS SOUS 39709 HAS SOUPS 36293 WITH SCORE 36347.348
AT ITER 6472 NEW BEST:: SOT 198665 SOS 54322 HAS SOPS 45010 HAS SOUS 39683 HAS SOUPS 36267 WITH SCORE 36321.322
AT ITER 6493 NEW BEST:: SOT 198639 SOS 54296 HAS SOPS 44958 HAS SOUS 39631 HAS SOUPS 36215 WITH SCORE 36269.296
AT ITER 6496 NEW BEST:: SOT 198638 SOS 54330 HAS SOPS 44992 HAS SOUS 39630 HAS SOUPS 36214 WITH SCORE 36268.33
AT ITER 6510 NEW BEST:: SOT 198566 SOS 54231 HAS SOPS 44973 HAS SOUS 39531 HAS SOUPS 36195 WITH SCORE 36249.231
AT ITER 6529 NEW BEST:: SOT 198527 SOS 54217 HAS SOPS 44895 HAS SOUS 39453 HAS SOUPS 36117 WITH SCORE 36171.217
AT ITER 6540 NEW BEST:: SOT 198522 SOS 54196 HAS SOPS 44874 HAS SOUS 39443 HAS SOUPS 36107 WITH SCORE 36161.196
AT ITER 6566 NEW BEST:: SOT 198505 SOS 54179 HAS SOPS 44857 HAS SOUS 39426 HAS SOUPS 36090 WITH SCORE 36144.179
AT ITER 6572 NEW BEST:: SOT 198529 SOS 54115 HAS SOPS 44778 HAS SOUS 39385 HAS SOUPS 36049 WITH SCORE 36103.115
AT ITER 6573 NEW BEST:: SOT 198529 SOS 54105 HAS SOPS 44768 HAS SOUS 39385 HAS SOUPS 36049 WITH SCORE 36103.105
AT ITER 6580 NEW BEST:: SOT 198595 SOS 53791 HAS SOPS 44808 HAS SOUS 39181 HAS SOUPS 35900 WITH SCORE 35953.791
AT ITER 6599 NEW BEST:: SOT 198599 SOS 53727 HAS SOPS 44736 HAS SOUS 39177 HAS SOUPS 35896 WITH SCORE 35949.727
AT ITER 6630 NEW BEST:: SOT 198596 SOS 53721 HAS SOPS 44730 HAS SOUS 39171 HAS SOUPS 35890 WITH SCORE 35943.721
AT ITER 6643 NEW BEST:: SOT 198576 SOS 53715 HAS SOPS 44716 HAS SOUS 39165 HAS SOUPS 35872 WITH SCORE 35925.715
AT ITER 6673 NEW BEST:: SOT 198556 SOS 53595 HAS SOPS 44596 HAS SOUS 39125 HAS SOUPS 35832 WITH SCORE 35885.595
AT ITER 6707 NEW BEST:: SOT 198534 SOS 53551 HAS SOPS 44563 HAS SOUS 39092 HAS SOUPS 35799 WITH SCORE 35852.551
AT ITER 6711 NEW BEST:: SOT 198531 SOS 53545 HAS SOPS 44557 HAS SOUS 39086 HAS SOUPS 35793 WITH SCORE 35846.545
AT ITER 6715 NEW BEST:: SOT 198527 SOS 53537 HAS SOPS 44549 HAS SOUS 39078 HAS SOUPS 35785 WITH SCORE 35838.537
AT ITER 6735 NEW BEST:: SOT 198533 SOS 53598 HAS SOPS 44491 HAS SOUS 39020 HAS SOUPS 35727 WITH SCORE 35780.598
AT ITER 6802 NEW BEST:: SOT 198501 SOS 53486 HAS SOPS 44427 HAS SOUS 38908 HAS SOUPS 35663 WITH SCORE 35716.486
AT ITER 6809 NEW BEST:: SOT 198501 SOS 53444 HAS SOPS 44427 HAS SOUS 38908 HAS SOUPS 35663 WITH SCORE 35716.444
AT ITER 6844 NEW BEST:: SOT 198498 SOS 53438 HAS SOPS 44421 HAS SOUS 38902 HAS SOUPS 35657 WITH SCORE 35710.438
AT ITER 6862 NEW BEST:: SOT 198502 SOS 53446 HAS SOPS 44395 HAS SOUS 38881 HAS SOUPS 35636 WITH SCORE 35689.446
AT ITER 6864 NEW BEST:: SOT 198487 SOS 53433 HAS SOPS 44365 HAS SOUS 38851 HAS SOUPS 35606 WITH SCORE 35659.433
AT ITER 6867 NEW BEST:: SOT 198475 SOS 53409 HAS SOPS 44341 HAS SOUS 38827 HAS SOUPS 35582 WITH SCORE 35635.409
AT ITER 6875 NEW BEST:: SOT 198470 SOS 53399 HAS SOPS 44331 HAS SOUS 38817 HAS SOUPS 35572 WITH SCORE 35625.399
AT ITER 6878 NEW BEST:: SOT 198459 SOS 53318 HAS SOPS 44250 HAS SOUS 38811 HAS SOUPS 35566 WITH SCORE 35619.318
AT ITER 6927 NEW BEST:: SOT 198457 SOS 53318 HAS SOPS 44250 HAS SOUS 38808 HAS SOUPS 35563 WITH SCORE 35616.318
AT ITER 6940 NEW BEST:: SOT 198473 SOS 53220 HAS SOPS 44138 HAS SOUS 38804 HAS SOUPS 35559 WITH SCORE 35612.22
AT ITER 6980 NEW BEST:: SOT 198467 SOS 53191 HAS SOPS 44109 HAS SOUS 38792 HAS SOUPS 35547 WITH SCORE 35600.191
AT ITER 6992 NEW BEST:: SOT 198427 SOS 53311 HAS SOPS 44229 HAS SOUS 38712 HAS SOUPS 35467 WITH SCORE 35520.311
AT ITER 7000 NEW BEST:: SOT 198424 SOS 53305 HAS SOPS 44223 HAS SOUS 38706 HAS SOUPS 35461 WITH SCORE 35514.305
AT ITER 7039 NEW BEST:: SOT 198436 SOS 53285 HAS SOPS 44199 HAS SOUS 38699 HAS SOUPS 35454 WITH SCORE 35507.285
AT ITER 7043 NEW BEST:: SOT 198436 SOS 53283 HAS SOPS 44197 HAS SOUS 38699 HAS SOUPS 35454 WITH SCORE 35507.283
AT ITER 7046 NEW BEST:: SOT 198429 SOS 53296 HAS SOPS 44156 HAS SOUS 38658 HAS SOUPS 35413 WITH SCORE 35466.296
AT ITER 7059 NEW BEST:: SOT 198426 SOS 53290 HAS SOPS 44150 HAS SOUS 38652 HAS SOUPS 35407 WITH SCORE 35460.29
AT ITER 7076 NEW BEST:: SOT 198382 SOS 53434 HAS SOPS 44294 HAS SOUS 38647 HAS SOUPS 35402 WITH SCORE 35455.434
AT ITER 7090 NEW BEST:: SOT 198377 SOS 53424 HAS SOPS 44284 HAS SOUS 38637 HAS SOUPS 35392 WITH SCORE 35445.424
AT ITER 7092 NEW BEST:: SOT 198375 SOS 53429 HAS SOPS 44289 HAS SOUS 38633 HAS SOUPS 35388 WITH SCORE 35441.429
AT ITER 7160 NEW BEST:: SOT 198359 SOS 53436 HAS SOPS 44253 HAS SOUS 38557 HAS SOUPS 35312 WITH SCORE 35365.436
AT ITER 7167 NEW BEST:: SOT 198331 SOS 53377 HAS SOPS 44197 HAS SOUS 38501 HAS SOUPS 35256 WITH SCORE 35309.377
AT ITER 7168 NEW BEST:: SOT 198328 SOS 53368 HAS SOPS 44188 HAS SOUS 38492 HAS SOUPS 35247 WITH SCORE 35300.368
AT ITER 7211 NEW BEST:: SOT 198258 SOS 53389 HAS SOPS 44133 HAS SOUS 38454 HAS SOUPS 35192 WITH SCORE 35245.389
AT ITER 7252 NEW BEST:: SOT 198241 SOS 53372 HAS SOPS 44133 HAS SOUS 38454 HAS SOUPS 35192 WITH SCORE 35245.372
AT ITER 7262 NEW BEST:: SOT 198241 SOS 53474 HAS SOPS 44196 HAS SOUS 38433 HAS SOUPS 35171 WITH SCORE 35224.474
AT ITER 7302 NEW BEST:: SOT 198237 SOS 53495 HAS SOPS 44188 HAS SOUS 38454 HAS SOUPS 35163 WITH SCORE 35216.495
AT ITER 7342 NEW BEST:: SOT 198217 SOS 53455 HAS SOPS 44148 HAS SOUS 38414 HAS SOUPS 35123 WITH SCORE 35176.455
AT ITER 7359 NEW BEST:: SOT 198210 SOS 53441 HAS SOPS 44134 HAS SOUS 38400 HAS SOUPS 35109 WITH SCORE 35162.441
AT ITER 7407 NEW BEST:: SOT 198206 SOS 53438 HAS SOPS 44131 HAS SOUS 38397 HAS SOUPS 35106 WITH SCORE 35159.438
AT ITER 7413 NEW BEST:: SOT 198267 SOS 53471 HAS SOPS 44178 HAS SOUS 38313 HAS SOUPS 35036 WITH SCORE 35089.471
AT ITER 7417 NEW BEST:: SOT 198260 SOS 53492 HAS SOPS 44199 HAS SOUS 38299 HAS SOUPS 35022 WITH SCORE 35075.492
AT ITER 7473 NEW BEST:: SOT 198249 SOS 53470 HAS SOPS 44177 HAS SOUS 38277 HAS SOUPS 35000 WITH SCORE 35053.47
AT ITER 7492 NEW BEST:: SOT 198241 SOS 53414 HAS SOPS 44089 HAS SOUS 38189 HAS SOUPS 34912 WITH SCORE 34965.414
AT ITER 7493 NEW BEST:: SOT 198249 SOS 53395 HAS SOPS 44121 HAS SOUS 38170 HAS SOUPS 34893 WITH SCORE 34946.395
AT ITER 7516 NEW BEST:: SOT 198222 SOS 53317 HAS SOPS 44010 HAS SOUS 38083 HAS SOUPS 34806 WITH SCORE 34859.317
AT ITER 7565 NEW BEST:: SOT 198222 SOS 53304 HAS SOPS 43997 HAS SOUS 38076 HAS SOUPS 34799 WITH SCORE 34852.304
AT ITER 7587 NEW BEST:: SOT 198212 SOS 53164 HAS SOPS 43857 HAS SOUS 38056 HAS SOUPS 34779 WITH SCORE 34832.164
AT ITER 7607 NEW BEST:: SOT 198184 SOS 53144 HAS SOPS 43837 HAS SOUS 38050 HAS SOUPS 34773 WITH SCORE 34826.144
AT ITER 7610 NEW BEST:: SOT 198183 SOS 53264 HAS SOPS 43957 HAS SOUS 38021 HAS SOUPS 34744 WITH SCORE 34797.264
AT ITER 7629 NEW BEST:: SOT 198187 SOS 53334 HAS SOPS 44077 HAS SOUS 37967 HAS SOUPS 34702 WITH SCORE 34755.334
AT ITER 7661 NEW BEST:: SOT 198171 SOS 53302 HAS SOPS 44045 HAS SOUS 37935 HAS SOUPS 34670 WITH SCORE 34723.302
AT ITER 7773 NEW BEST:: SOT 198166 SOS 53292 HAS SOPS 44035 HAS SOUS 37925 HAS SOUPS 34660 WITH SCORE 34713.292
AT ITER 7778 NEW BEST:: SOT 198222 SOS 53169 HAS SOPS 43912 HAS SOUS 37802 HAS SOUPS 34537 WITH SCORE 34590.169
AT ITER 7810 NEW BEST:: SOT 198221 SOS 53167 HAS SOPS 43910 HAS SOUS 37800 HAS SOUPS 34535 WITH SCORE 34588.167
AT ITER 7859 NEW BEST:: SOT 198159 SOS 53059 HAS SOPS 43832 HAS SOUS 37722 HAS SOUPS 34457 WITH SCORE 34510.059
AT ITER 7885 NEW BEST:: SOT 198153 SOS 53047 HAS SOPS 43823 HAS SOUS 37713 HAS SOUPS 34448 WITH SCORE 34501.047
AT ITER 7903 NEW BEST:: SOT 198144 SOS 53029 HAS SOPS 43805 HAS SOUS 37695 HAS SOUPS 34430 WITH SCORE 34483.029
AT ITER 7919 NEW BEST:: SOT 198138 SOS 52469 HAS SOPS 43245 HAS SOUS 37683 HAS SOUPS 34418 WITH SCORE 34470.469
AT ITER 7924 NEW BEST:: SOT 198130 SOS 52465 HAS SOPS 43229 HAS SOUS 37655 HAS SOUPS 34390 WITH SCORE 34442.465
AT ITER 7948 NEW BEST:: SOT 198130 SOS 52433 HAS SOPS 43197 HAS SOUS 37655 HAS SOUPS 34390 WITH SCORE 34442.433
AT ITER 7954 NEW BEST:: SOT 198121 SOS 52415 HAS SOPS 43179 HAS SOUS 37637 HAS SOUPS 34372 WITH SCORE 34424.415
AT ITER 7959 NEW BEST:: SOT 198119 SOS 52411 HAS SOPS 43175 HAS SOUS 37633 HAS SOUPS 34368 WITH SCORE 34420.411
AT ITER 7974 NEW BEST:: SOT 198118 SOS 52409 HAS SOPS 43173 HAS SOUS 37631 HAS SOUPS 34366 WITH SCORE 34418.409
AT ITER 7984 NEW BEST:: SOT 198079 SOS 52324 HAS SOPS 43095 HAS SOUS 37592 HAS SOUPS 34327 WITH SCORE 34379.324
AT ITER 7999 NEW BEST:: SOT 198040 SOS 52285 HAS SOPS 43056 HAS SOUS 37553 HAS SOUPS 34288 WITH SCORE 34340.285
AT ITER 8001 NEW BEST:: SOT 198015 SOS 52241 HAS SOPS 43019 HAS SOUS 37516 HAS SOUPS 34251 WITH SCORE 34303.241
AT ITER 8010 NEW BEST:: SOT 198011 SOS 52237 HAS SOPS 43015 HAS SOUS 37512 HAS SOUPS 34247 WITH SCORE 34299.237
AT ITER 8012 NEW BEST:: SOT 198011 SOS 52234 HAS SOPS 43012 HAS SOUS 37509 HAS SOUPS 34244 WITH SCORE 34296.234
AT ITER 8028 NEW BEST:: SOT 198005 SOS 52228 HAS SOPS 43006 HAS SOUS 37503 HAS SOUPS 34238 WITH SCORE 34290.228
AT ITER 8055 NEW BEST:: SOT 198004 SOS 52226 HAS SOPS 43004 HAS SOUS 37501 HAS SOUPS 34236 WITH SCORE 34288.226
AT ITER 8061 NEW BEST:: SOT 198004 SOS 52226 HAS SOPS 43004 HAS SOUS 37495 HAS SOUPS 34230 WITH SCORE 34282.226
AT ITER 8064 NEW BEST:: SOT 197995 SOS 52191 HAS SOPS 42986 HAS SOUS 37477 HAS SOUPS 34212 WITH SCORE 34264.191
AT ITER 8072 NEW BEST:: SOT 197999 SOS 52240 HAS SOPS 43035 HAS SOUS 37460 HAS SOUPS 34195 WITH SCORE 34247.24
AT ITER 8107 NEW BEST:: SOT 197988 SOS 52218 HAS SOPS 43013 HAS SOUS 37438 HAS SOUPS 34173 WITH SCORE 34225.218
AT ITER 8120 NEW BEST:: SOT 197985 SOS 52187 HAS SOPS 42982 HAS SOUS 37432 HAS SOUPS 34167 WITH SCORE 34219.187
AT ITER 8126 NEW BEST:: SOT 197963 SOS 52171 HAS SOPS 42966 HAS SOUS 37416 HAS SOUPS 34151 WITH SCORE 34203.171
AT ITER 8159 NEW BEST:: SOT 197898 SOS 52248 HAS SOPS 42936 HAS SOUS 37293 HAS SOUPS 34028 WITH SCORE 34080.248
AT ITER 8175 NEW BEST:: SOT 197882 SOS 52243 HAS SOPS 42931 HAS SOUS 37288 HAS SOUPS 34023 WITH SCORE 34075.243
AT ITER 8210 NEW BEST:: SOT 197882 SOS 52243 HAS SOPS 42922 HAS SOUS 37279 HAS SOUPS 34014 WITH SCORE 34066.243
AT ITER 8216 NEW BEST:: SOT 197884 SOS 52236 HAS SOPS 42923 HAS SOUS 37278 HAS SOUPS 34014 WITH SCORE 34066.236
AT ITER 8233 NEW BEST:: SOT 197883 SOS 52234 HAS SOPS 42921 HAS SOUS 37276 HAS SOUPS 34012 WITH SCORE 34064.234
AT ITER 8260 NEW BEST:: SOT 197879 SOS 52226 HAS SOPS 42913 HAS SOUS 37268 HAS SOUPS 34004 WITH SCORE 34056.226
AT ITER 8270 NEW BEST:: SOT 197873 SOS 52214 HAS SOPS 42901 HAS SOUS 37256 HAS SOUPS 33992 WITH SCORE 34044.214
AT ITER 8300 NEW BEST:: SOT 197856 SOS 52180 HAS SOPS 42867 HAS SOUS 37222 HAS SOUPS 33958 WITH SCORE 34010.18
AT ITER 8349 NEW BEST:: SOT 197885 SOS 52081 HAS SOPS 42752 HAS SOUS 37216 HAS SOUPS 33952 WITH SCORE 34004.081
AT ITER 8363 NEW BEST:: SOT 197885 SOS 52081 HAS SOPS 42742 HAS SOUS 37206 HAS SOUPS 33942 WITH SCORE 33994.081
AT ITER 8419 NEW BEST:: SOT 197885 SOS 52081 HAS SOPS 42725 HAS SOUS 37189 HAS SOUPS 33925 WITH SCORE 33977.081
AT ITER 8423 NEW BEST:: SOT 197866 SOS 52003 HAS SOPS 42647 HAS SOUS 37151 HAS SOUPS 33887 WITH SCORE 33939.003
AT ITER 8429 NEW BEST:: SOT 197766 SOS 51803 HAS SOPS 42564 HAS SOUS 37068 HAS SOUPS 33804 WITH SCORE 33855.803
AT ITER 8525 NEW BEST:: SOT 197757 SOS 51785 HAS SOPS 42546 HAS SOUS 37050 HAS SOUPS 33786 WITH SCORE 33837.785
AT ITER 8543 NEW BEST:: SOT 197746 SOS 51763 HAS SOPS 42535 HAS SOUS 37039 HAS SOUPS 33775 WITH SCORE 33826.763
AT ITER 8568 NEW BEST:: SOT 197725 SOS 51717 HAS SOPS 42476 HAS SOUS 37039 HAS SOUPS 33775 WITH SCORE 33826.717
AT ITER 8630 NEW BEST:: SOT 197724 SOS 51634 HAS SOPS 42393 HAS SOUS 37037 HAS SOUPS 33773 WITH SCORE 33824.634
AT ITER 8640 NEW BEST:: SOT 197657 SOS 51514 HAS SOPS 42355 HAS SOUS 36999 HAS SOUPS 33735 WITH SCORE 33786.514
AT ITER 8645 NEW BEST:: SOT 197653 SOS 51538 HAS SOPS 42347 HAS SOUS 36991 HAS SOUPS 33727 WITH SCORE 33778.538
AT ITER 8663 NEW BEST:: SOT 197654 SOS 51533 HAS SOPS 42342 HAS SOUS 36986 HAS SOUPS 33722 WITH SCORE 33773.533
AT ITER 8716 NEW BEST:: SOT 197654 SOS 51531 HAS SOPS 42340 HAS SOUS 36986 HAS SOUPS 33722 WITH SCORE 33773.531
AT ITER 8730 NEW BEST:: SOT 197650 SOS 51527 HAS SOPS 42336 HAS SOUS 36978 HAS SOUPS 33714 WITH SCORE 33765.527
AT ITER 8794 NEW BEST:: SOT 197644 SOS 51515 HAS SOPS 42324 HAS SOUS 36966 HAS SOUPS 33702 WITH SCORE 33753.515
AT ITER 8801 NEW BEST:: SOT 197631 SOS 51489 HAS SOPS 42298 HAS SOUS 36940 HAS SOUPS 33676 WITH SCORE 33727.489
AT ITER 8813 NEW BEST:: SOT 197626 SOS 51554 HAS SOPS 42348 HAS SOUS 36930 HAS SOUPS 33666 WITH SCORE 33717.554
AT ITER 8849 NEW BEST:: SOT 197626 SOS 51618 HAS SOPS 42312 HAS SOUS 36880 HAS SOUPS 33616 WITH SCORE 33667.618
AT ITER 8906 NEW BEST:: SOT 197587 SOS 51510 HAS SOPS 42197 HAS SOUS 36859 HAS SOUPS 33595 WITH SCORE 33646.51
AT ITER 8920 NEW BEST:: SOT 197583 SOS 51502 HAS SOPS 42189 HAS SOUS 36851 HAS SOUPS 33587 WITH SCORE 33638.502
AT ITER 8953 NEW BEST:: SOT 197541 SOS 51459 HAS SOPS 42146 HAS SOUS 36832 HAS SOUPS 33568 WITH SCORE 33619.459
AT ITER 8999 NEW BEST:: SOT 197442 SOS 51371 HAS SOPS 42069 HAS SOUS 36744 HAS SOUPS 33491 WITH SCORE 33542.371
AT ITER 9002 NEW BEST:: SOT 197384 SOS 51270 HAS SOPS 41968 HAS SOUS 36643 HAS SOUPS 33390 WITH SCORE 33441.27
AT ITER 9023 NEW BEST:: SOT 197378 SOS 51317 HAS SOPS 41972 HAS SOUS 36620 HAS SOUPS 33367 WITH SCORE 33418.317
AT ITER 9058 NEW BEST:: SOT 197378 SOS 51317 HAS SOPS 41956 HAS SOUS 36604 HAS SOUPS 33351 WITH SCORE 33402.317
AT ITER 9144 NEW BEST:: SOT 197360 SOS 51281 HAS SOPS 41920 HAS SOUS 36568 HAS SOUPS 33315 WITH SCORE 33366.281
AT ITER 9167 NEW BEST:: SOT 197360 SOS 51279 HAS SOPS 41918 HAS SOUS 36568 HAS SOUPS 33315 WITH SCORE 33366.279
AT ITER 9180 NEW BEST:: SOT 197378 SOS 51229 HAS SOPS 41925 HAS SOUS 36553 HAS SOUPS 33311 WITH SCORE 33362.229
AT ITER 9230 NEW BEST:: SOT 197378 SOS 51229 HAS SOPS 41919 HAS SOUS 36547 HAS SOUPS 33305 WITH SCORE 33356.229
AT ITER 9240 NEW BEST:: SOT 197358 SOS 51189 HAS SOPS 41879 HAS SOUS 36507 HAS SOUPS 33265 WITH SCORE 33316.189
AT ITER 9249 NEW BEST:: SOT 197355 SOS 51283 HAS SOPS 41933 HAS SOUS 36500 HAS SOUPS 33258 WITH SCORE 33309.283
AT ITER 9269 NEW BEST:: SOT 197353 SOS 51532 HAS SOPS 41931 HAS SOUS 36523 HAS SOUPS 33256 WITH SCORE 33307.532
AT ITER 9287 NEW BEST:: SOT 197257 SOS 51482 HAS SOPS 41881 HAS SOUS 36476 HAS SOUPS 33209 WITH SCORE 33260.482
AT ITER 9335 NEW BEST:: SOT 197296 SOS 51583 HAS SOPS 41873 HAS SOUS 36468 HAS SOUPS 33201 WITH SCORE 33252.583
AT ITER 9343 NEW BEST:: SOT 197225 SOS 51523 HAS SOPS 41783 HAS SOUS 36378 HAS SOUPS 33100 WITH SCORE 33151.523
AT ITER 9352 NEW BEST:: SOT 197195 SOS 51521 HAS SOPS 41781 HAS SOUS 36368 HAS SOUPS 33090 WITH SCORE 33141.521
AT ITER 9355 NEW BEST:: SOT 197197 SOS 51430 HAS SOPS 41690 HAS SOUS 36362 HAS SOUPS 33084 WITH SCORE 33135.43
AT ITER 9365 NEW BEST:: SOT 197197 SOS 51416 HAS SOPS 41676 HAS SOUS 36362 HAS SOUPS 33084 WITH SCORE 33135.416
AT ITER 9396 NEW BEST:: SOT 197188 SOS 51321 HAS SOPS 41581 HAS SOUS 36344 HAS SOUPS 33066 WITH SCORE 33117.321
AT ITER 9417 NEW BEST:: SOT 197187 SOS 51319 HAS SOPS 41579 HAS SOUS 36342 HAS SOUPS 33064 WITH SCORE 33115.319
AT ITER 9446 NEW BEST:: SOT 197102 SOS 51201 HAS SOPS 41493 HAS SOUS 36256 HAS SOUPS 32978 WITH SCORE 33029.201
AT ITER 9452 NEW BEST:: SOT 197074 SOS 51173 HAS SOPS 41465 HAS SOUS 36228 HAS SOUPS 32950 WITH SCORE 33001.173
AT ITER 9482 NEW BEST:: SOT 197045 SOS 51187 HAS SOPS 41407 HAS SOUS 36170 HAS SOUPS 32892 WITH SCORE 32943.187
AT ITER 9525 NEW BEST:: SOT 197043 SOS 51185 HAS SOPS 41405 HAS SOUS 36168 HAS SOUPS 32890 WITH SCORE 32941.185
AT ITER 9527 NEW BEST:: SOT 197042 SOS 51183 HAS SOPS 41403 HAS SOUS 36166 HAS SOUPS 32888 WITH SCORE 32939.183
AT ITER 9560 NEW BEST:: SOT 197032 SOS 51136 HAS SOPS 41406 HAS SOUS 36165 HAS SOUPS 32887 WITH SCORE 32938.136
AT ITER 9561 NEW BEST:: SOT 197025 SOS 51122 HAS SOPS 41392 HAS SOUS 36151 HAS SOUPS 32873 WITH SCORE 32924.122
AT ITER 9621 NEW BEST:: SOT 197025 SOS 51118 HAS SOPS 41392 HAS SOUS 36151 HAS SOUPS 32873 WITH SCORE 32924.118
AT ITER 9624 NEW BEST:: SOT 197082 SOS 51116 HAS SOPS 41390 HAS SOUS 36149 HAS SOUPS 32871 WITH SCORE 32922.116
AT ITER 9625 NEW BEST:: SOT 197054 SOS 51088 HAS SOPS 41334 HAS SOUS 36093 HAS SOUPS 32815 WITH SCORE 32866.088
AT ITER 9631 NEW BEST:: SOT 197040 SOS 51074 HAS SOPS 41320 HAS SOUS 36079 HAS SOUPS 32801 WITH SCORE 32852.074
AT ITER 9652 NEW BEST:: SOT 197031 SOS 51056 HAS SOPS 41302 HAS SOUS 36061 HAS SOUPS 32783 WITH SCORE 32834.056
AT ITER 9684 NEW BEST:: SOT 197030 SOS 51054 HAS SOPS 41301 HAS SOUS 36060 HAS SOUPS 32782 WITH SCORE 32833.054
AT ITER 9709 NEW BEST:: SOT 197023 SOS 51047 HAS SOPS 41294 HAS SOUS 36053 HAS SOUPS 32775 WITH SCORE 32826.047
AT ITER 9735 NEW BEST:: SOT 196970 SOS 51121 HAS SOPS 41231 HAS SOUS 36071 HAS SOUPS 32769 WITH SCORE 32820.121
AT ITER 9768 NEW BEST:: SOT 196970 SOS 51003 HAS SOPS 41231 HAS SOUS 36071 HAS SOUPS 32769 WITH SCORE 32820.003
AT ITER 9823 NEW BEST:: SOT 197020 SOS 50439 HAS SOPS 40662 HAS SOUS 36059 HAS SOUPS 32757 WITH SCORE 32807.439
AT ITER 9826 NEW BEST:: SOT 197016 SOS 50842 HAS SOPS 40610 HAS SOUS 36090 HAS SOUPS 32743 WITH SCORE 32793.842
AT ITER 9834 NEW BEST:: SOT 196951 SOS 50817 HAS SOPS 40601 HAS SOUS 36053 HAS SOUPS 32706 WITH SCORE 32756.817
AT ITER 9841 NEW BEST:: SOT 196949 SOS 50953 HAS SOPS 40737 HAS SOUS 36051 HAS SOUPS 32704 WITH SCORE 32754.953
AT ITER 9858 NEW BEST:: SOT 196949 SOS 50953 HAS SOPS 40737 HAS SOUS 36049 HAS SOUPS 32702 WITH SCORE 32752.953
AT ITER 9859 NEW BEST:: SOT 196934 SOS 50917 HAS SOPS 40732 HAS SOUS 36044 HAS SOUPS 32697 WITH SCORE 32747.917
AT ITER 9915 NEW BEST:: SOT 196932 SOS 50913 HAS SOPS 40728 HAS SOUS 36040 HAS SOUPS 32693 WITH SCORE 32743.913
AT ITER 9986 NEW BEST:: SOT 196926 SOS 50915 HAS SOPS 40730 HAS SOUS 36034 HAS SOUPS 32687 WITH SCORE 32737.915
AT ITER 9992 NEW BEST:: SOT 196923 SOS 50902 HAS SOPS 40717 HAS SOUS 36021 HAS SOUPS 32674 WITH SCORE 32724.902
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6860896 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16119652 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="Peterson-PT-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is Peterson-PT-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863542100624"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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