Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 12K Feb 26 18:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 18:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 17:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 20:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 20:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 19:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 19:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K 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 1678695234285

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NeoElection-COL-8
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-13 08:13:58] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-13 08:13:58] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-13 08:13:58] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-13 08:13:59] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 08:14:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1315 ms
[2023-03-13 08:14:00] [INFO ] Detected 6 constant HL places corresponding to 5058 PT places.
[2023-03-13 08:14:00] [INFO ] Imported 18 HL places and 22 HL transitions for a total of 10062 PT places and 34578.0 transition bindings in 78 ms.
[2023-03-13 08:14:00] [INFO ] Unfolded HLPN to a Petri net with 10062 places and 19858 transitions 113083 arcs in 651 ms.
[2023-03-13 08:14:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 8547 places and 11026 transitions.
Reduce places removed 270 places and 2347 transitions.
[2023-03-13 08:14:01] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 1245 places, 6485 transitions and 36483 arcs took 181 ms.
Total runtime 3285 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (COL), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1245 places, 6485 transitions, 36483 arcs.
AT ITER 0 NEW BEST:: SOT 5638770 SOS 3242543 HAS SOPS 3238959 HAS SOUS 781484 HAS SOUPS 781079 WITH SCORE 784321.543
AT ITER 1 NEW BEST:: SOT 5638770 SOS 3242543 HAS SOPS 3238959 HAS SOUS 781282 HAS SOUPS 780877 WITH SCORE 784119.543
AT ITER 8 NEW BEST:: SOT 5638770 SOS 3242556 HAS SOPS 3238972 HAS SOUS 781269 HAS SOUPS 780864 WITH SCORE 784106.556
AT ITER 9 NEW BEST:: SOT 5638770 SOS 3242526 HAS SOPS 3238942 HAS SOUS 781101 HAS SOUPS 780696 WITH SCORE 783938.526
AT ITER 23 NEW BEST:: SOT 5638770 SOS 3242582 HAS SOPS 3238998 HAS SOUS 781045 HAS SOUPS 780640 WITH SCORE 783882.582
AT ITER 26 NEW BEST:: SOT 5638770 SOS 3241124 HAS SOPS 3237540 HAS SOUS 780700 HAS SOUPS 780295 WITH SCORE 783536.124
AT ITER 28 NEW BEST:: SOT 5638862 SOS 3241216 HAS SOPS 3237632 HAS SOUS 780643 HAS SOUPS 780238 WITH SCORE 783479.216
AT ITER 30 NEW BEST:: SOT 5632508 SOS 3265002 HAS SOPS 3261418 HAS SOUS 773848 HAS SOUPS 773443 WITH SCORE 776708.002
AT ITER 35 NEW BEST:: SOT 5631995 SOS 3260268 HAS SOPS 3256684 HAS SOUS 772350 HAS SOUPS 771945 WITH SCORE 775205.268
AT ITER 36 NEW BEST:: SOT 5631995 SOS 3260268 HAS SOPS 3256684 HAS SOUS 772340 HAS SOUPS 771935 WITH SCORE 775195.268
AT ITER 38 NEW BEST:: SOT 5631995 SOS 3258474 HAS SOPS 3254890 HAS SOUS 769995 HAS SOUPS 769590 WITH SCORE 772848.474
AT ITER 42 NEW BEST:: SOT 5631995 SOS 3259432 HAS SOPS 3255848 HAS SOUS 769583 HAS SOUPS 769178 WITH SCORE 772437.432
AT ITER 54 NEW BEST:: SOT 5626359 SOS 3260246 HAS SOPS 3256662 HAS SOUS 765163 HAS SOUPS 764758 WITH SCORE 768018.246
AT ITER 60 NEW BEST:: SOT 5628377 SOS 3268165 HAS SOPS 3264581 HAS SOUS 764410 HAS SOUPS 764005 WITH SCORE 767273.165
AT ITER 72 NEW BEST:: SOT 5628377 SOS 3267463 HAS SOPS 3263879 HAS SOUS 764410 HAS SOUPS 764005 WITH SCORE 767272.463
AT ITER 80 NEW BEST:: SOT 5628377 SOS 3265751 HAS SOPS 3262167 HAS SOUS 764156 HAS SOUPS 763751 WITH SCORE 767016.751
AT ITER 83 NEW BEST:: SOT 5628377 SOS 3264645 HAS SOPS 3261061 HAS SOUS 763949 HAS SOUPS 763544 WITH SCORE 766808.645
AT ITER 84 NEW BEST:: SOT 5628377 SOS 3263497 HAS SOPS 3259913 HAS SOUS 763724 HAS SOUPS 763319 WITH SCORE 766582.497
AT ITER 85 NEW BEST:: SOT 5628377 SOS 3262384 HAS SOPS 3258800 HAS SOUS 763724 HAS SOUPS 763319 WITH SCORE 766581.384
AT ITER 86 NEW BEST:: SOT 5629454 SOS 3262778 HAS SOPS 3259194 HAS SOUS 763049 HAS SOUPS 762644 WITH SCORE 765906.778
AT ITER 88 NEW BEST:: SOT 5629396 SOS 3262720 HAS SOPS 3259136 HAS SOUS 762991 HAS SOUPS 762586 WITH SCORE 765848.72
AT ITER 90 NEW BEST:: SOT 5629396 SOS 3260116 HAS SOPS 3256532 HAS SOUS 762286 HAS SOUPS 761881 WITH SCORE 765141.116
AT ITER 93 NEW BEST:: SOT 5629396 SOS 3258292 HAS SOPS 3254708 HAS SOUS 761797 HAS SOUPS 761392 WITH SCORE 764650.292
AT ITER 95 NEW BEST:: SOT 5630635 SOS 3257996 HAS SOPS 3254412 HAS SOUS 761714 HAS SOUPS 761309 WITH SCORE 764566.996
AT ITER 104 NEW BEST:: SOT 5630635 SOS 3257336 HAS SOPS 3253752 HAS SOUS 761552 HAS SOUPS 761147 WITH SCORE 764404.336
AT ITER 107 NEW BEST:: SOT 5630635 SOS 3255980 HAS SOPS 3252396 HAS SOUS 761002 HAS SOUPS 760597 WITH SCORE 763852.98
AT ITER 113 NEW BEST:: SOT 5630635 SOS 3218683 HAS SOPS 3215099 HAS SOUS 760471 HAS SOUPS 760066 WITH SCORE 763284.683
AT ITER 116 NEW BEST:: SOT 5630635 SOS 3215853 HAS SOPS 3212269 HAS SOUS 759445 HAS SOUPS 759040 WITH SCORE 762255.853
AT ITER 117 NEW BEST:: SOT 5631633 SOS 3214976 HAS SOPS 3211392 HAS SOUS 759128 HAS SOUPS 758723 WITH SCORE 761937.976
AT ITER 126 NEW BEST:: SOT 5632286 SOS 3214684 HAS SOPS 3211100 HAS SOUS 758702 HAS SOUPS 758297 WITH SCORE 761511.684
AT ITER 127 NEW BEST:: SOT 5631818 SOS 3210004 HAS SOPS 3206420 HAS SOUS 757766 HAS SOUPS 757361 WITH SCORE 760571.004
AT ITER 129 NEW BEST:: SOT 5631818 SOS 3208318 HAS SOPS 3204734 HAS SOUS 757007 HAS SOUPS 756602 WITH SCORE 759810.318
AT ITER 131 NEW BEST:: SOT 5631752 SOS 3208252 HAS SOPS 3204580 HAS SOUS 756958 HAS SOUPS 756514 WITH SCORE 759722.252
AT ITER 142 NEW BEST:: SOT 5630374 SOS 3206874 HAS SOPS 3203202 HAS SOUS 755580 HAS SOUPS 755136 WITH SCORE 758342.874
AT ITER 143 NEW BEST:: SOT 5630374 SOS 3166477 HAS SOPS 3162805 HAS SOUS 754863 HAS SOUPS 754419 WITH SCORE 757585.477
AT ITER 151 NEW BEST:: SOT 5631006 SOS 3166289 HAS SOPS 3162617 HAS SOUS 754780 HAS SOUPS 754336 WITH SCORE 757502.289
AT ITER 163 NEW BEST:: SOT 5630830 SOS 3183058 HAS SOPS 3179386 HAS SOUS 754611 HAS SOUPS 754167 WITH SCORE 757350.058
AT ITER 166 NEW BEST:: SOT 5630830 SOS 3182206 HAS SOPS 3178534 HAS SOUS 754327 HAS SOUPS 753883 WITH SCORE 757065.206
AT ITER 168 NEW BEST:: SOT 5630701 SOS 3179671 HAS SOPS 3175999 HAS SOUS 753267 HAS SOUPS 752823 WITH SCORE 756002.671
AT ITER 173 NEW BEST:: SOT 5630701 SOS 3178705 HAS SOPS 3175033 HAS SOUS 753267 HAS SOUPS 752823 WITH SCORE 756001.705
AT ITER 175 NEW BEST:: SOT 5631250 SOS 3179105 HAS SOPS 3174761 HAS SOUS 753400 HAS SOUPS 752536 WITH SCORE 755715.105
AT ITER 185 NEW BEST:: SOT 5631250 SOS 3177905 HAS SOPS 3173561 HAS SOUS 753021 HAS SOUPS 752157 WITH SCORE 755334.905
AT ITER 186 NEW BEST:: SOT 5631250 SOS 3177848 HAS SOPS 3173504 HAS SOUS 753021 HAS SOUPS 752157 WITH SCORE 755334.848
AT ITER 192 NEW BEST:: SOT 5632025 SOS 3177757 HAS SOPS 3173413 HAS SOUS 752976 HAS SOUPS 752112 WITH SCORE 755289.757
AT ITER 193 NEW BEST:: SOT 5632025 SOS 3174696 HAS SOPS 3170352 HAS SOUS 752269 HAS SOUPS 751405 WITH SCORE 754579.696
AT ITER 199 NEW BEST:: SOT 5632025 SOS 3172126 HAS SOPS 3167782 HAS SOUS 751246 HAS SOUPS 750382 WITH SCORE 753554.126
AT ITER 207 NEW BEST:: SOT 5622735 SOS 3191789 HAS SOPS 3187445 HAS SOUS 741143 HAS SOUPS 740279 WITH SCORE 743470.789
AT ITER 211 NEW BEST:: SOT 5622735 SOS 3281044 HAS SOPS 3276700 HAS SOUS 740826 HAS SOUPS 739962 WITH SCORE 743243.044
AT ITER 213 NEW BEST:: SOT 5622735 SOS 3278170 HAS SOPS 3273826 HAS SOUS 739601 HAS SOUPS 738737 WITH SCORE 742015.17
AT ITER 216 NEW BEST:: SOT 5622735 SOS 3275861 HAS SOPS 3271517 HAS SOUS 739010 HAS SOUPS 738146 WITH SCORE 741421.861
AT ITER 220 NEW BEST:: SOT 5622735 SOS 3275801 HAS SOPS 3271457 HAS SOUS 739010 HAS SOUPS 738146 WITH SCORE 741421.801
AT ITER 224 NEW BEST:: SOT 5628763 SOS 3242695 HAS SOPS 3238351 HAS SOUS 738704 HAS SOUPS 737840 WITH SCORE 741082.695
AT ITER 226 NEW BEST:: SOT 5628763 SOS 3240661 HAS SOPS 3236317 HAS SOUS 737843 HAS SOUPS 736979 WITH SCORE 740219.661
AT ITER 229 NEW BEST:: SOT 5623531 SOS 3276469 HAS SOPS 3272125 HAS SOUS 734291 HAS SOUPS 733427 WITH SCORE 736703.469
AT ITER 232 NEW BEST:: SOT 5623531 SOS 3276614 HAS SOPS 3272270 HAS SOUS 733317 HAS SOUPS 732453 WITH SCORE 735729.614
AT ITER 234 NEW BEST:: SOT 5623531 SOS 3276614 HAS SOPS 3272270 HAS SOUS 732755 HAS SOUPS 731891 WITH SCORE 735167.614
AT ITER 239 NEW BEST:: SOT 5623605 SOS 3276688 HAS SOPS 3272344 HAS SOUS 732619 HAS SOUPS 731755 WITH SCORE 735031.688
AT ITER 245 NEW BEST:: SOT 5623605 SOS 3273261 HAS SOPS 3268917 HAS SOUS 731660 HAS SOUPS 730796 WITH SCORE 734069.261
AT ITER 248 NEW BEST:: SOT 5623605 SOS 3272901 HAS SOPS 3268557 HAS SOUS 731600 HAS SOUPS 730736 WITH SCORE 734008.901
AT ITER 249 NEW BEST:: SOT 5623605 SOS 3270558 HAS SOPS 3266214 HAS SOUS 731148 HAS SOUPS 730284 WITH SCORE 733554.558
AT ITER 252 NEW BEST:: SOT 5623605 SOS 3270558 HAS SOPS 3266214 HAS SOUS 730830 HAS SOUPS 729966 WITH SCORE 733236.558
AT ITER 255 NEW BEST:: SOT 5623605 SOS 3269894 HAS SOPS 3265550 HAS SOUS 730830 HAS SOUPS 729966 WITH SCORE 733235.894
AT ITER 262 NEW BEST:: SOT 5623605 SOS 3268031 HAS SOPS 3263687 HAS SOUS 729797 HAS SOUPS 728933 WITH SCORE 732201.031
AT ITER 267 NEW BEST:: SOT 5623605 SOS 3268031 HAS SOPS 3263687 HAS SOUS 729427 HAS SOUPS 728563 WITH SCORE 731831.031
AT ITER 273 NEW BEST:: SOT 5623543 SOS 3267969 HAS SOPS 3263625 HAS SOUS 729351 HAS SOUPS 728487 WITH SCORE 731754.969
AT ITER 283 NEW BEST:: SOT 5625299 SOS 3273367 HAS SOPS 3269023 HAS SOUS 729209 HAS SOUPS 728345 WITH SCORE 731618.367
AT ITER 286 NEW BEST:: SOT 5625299 SOS 3273066 HAS SOPS 3268722 HAS SOUS 729209 HAS SOUPS 728345 WITH SCORE 731618.066
AT ITER 291 NEW BEST:: SOT 5625299 SOS 3272244 HAS SOPS 3267900 HAS SOUS 729023 HAS SOUPS 728159 WITH SCORE 731431.244
AT ITER 304 NEW BEST:: SOT 5625299 SOS 3272244 HAS SOPS 3267884 HAS SOUS 729023 HAS SOUPS 728143 WITH SCORE 731415.244
AT ITER 305 NEW BEST:: SOT 5625299 SOS 3270210 HAS SOPS 3265850 HAS SOUS 727424 HAS SOUPS 726544 WITH SCORE 729814.21
AT ITER 306 NEW BEST:: SOT 5625299 SOS 3267844 HAS SOPS 3263484 HAS SOUS 726460 HAS SOUPS 725580 WITH SCORE 728847.844
AT ITER 312 NEW BEST:: SOT 5625299 SOS 3245380 HAS SOPS 3241020 HAS SOUS 726460 HAS SOUPS 725580 WITH SCORE 728825.38
AT ITER 318 NEW BEST:: SOT 5625299 SOS 3245380 HAS SOPS 3241020 HAS SOUS 726226 HAS SOUPS 725346 WITH SCORE 728591.38
AT ITER 319 NEW BEST:: SOT 5625299 SOS 3244588 HAS SOPS 3240228 HAS SOUS 726094 HAS SOUPS 725214 WITH SCORE 728458.588
AT ITER 323 NEW BEST:: SOT 5625299 SOS 3242653 HAS SOPS 3238293 HAS SOUS 725658 HAS SOUPS 724778 WITH SCORE 728020.653
AT ITER 326 NEW BEST:: SOT 5625299 SOS 3242661 HAS SOPS 3238301 HAS SOUS 725650 HAS SOUPS 724770 WITH SCORE 728012.661
AT ITER 327 NEW BEST:: SOT 5625299 SOS 3242661 HAS SOPS 3238301 HAS SOUS 725593 HAS SOUPS 724713 WITH SCORE 727955.661
AT ITER 328 NEW BEST:: SOT 5625299 SOS 3240410 HAS SOPS 3236050 HAS SOUS 724682 HAS SOUPS 723802 WITH SCORE 727042.41
AT ITER 330 NEW BEST:: SOT 5625299 SOS 3239732 HAS SOPS 3235372 HAS SOUS 724459 HAS SOUPS 723579 WITH SCORE 726818.732
AT ITER 339 NEW BEST:: SOT 5626851 SOS 3239387 HAS SOPS 3235027 HAS SOUS 723912 HAS SOUPS 723032 WITH SCORE 726271.387
AT ITER 340 NEW BEST:: SOT 5626851 SOS 3239450 HAS SOPS 3235090 HAS SOUS 723849 HAS SOUPS 722969 WITH SCORE 726208.45
AT ITER 346 NEW BEST:: SOT 5626851 SOS 3239247 HAS SOPS 3234887 HAS SOUS 723849 HAS SOUPS 722969 WITH SCORE 726208.247
AT ITER 347 NEW BEST:: SOT 5626851 SOS 3239173 HAS SOPS 3234813 HAS SOUS 723849 HAS SOUPS 722969 WITH SCORE 726208.173
AT ITER 351 NEW BEST:: SOT 5626851 SOS 3238795 HAS SOPS 3234435 HAS SOUS 723786 HAS SOUPS 722906 WITH SCORE 726144.795
AT ITER 365 NEW BEST:: SOT 5627018 SOS 3238962 HAS SOPS 3234602 HAS SOUS 723729 HAS SOUPS 722849 WITH SCORE 726087.962
AT ITER 366 NEW BEST:: SOT 5627018 SOS 3238938 HAS SOPS 3234578 HAS SOUS 723647 HAS SOUPS 722767 WITH SCORE 726005.938
AT ITER 368 NEW BEST:: SOT 5627018 SOS 3238206 HAS SOPS 3233846 HAS SOUS 723281 HAS SOUPS 722401 WITH SCORE 725639.206
AT ITER 379 NEW BEST:: SOT 5627018 SOS 3238206 HAS SOPS 3233846 HAS SOUS 722541 HAS SOUPS 721661 WITH SCORE 724899.206
AT ITER 382 NEW BEST:: SOT 5627018 SOS 3237892 HAS SOPS 3233532 HAS SOUS 722529 HAS SOUPS 721649 WITH SCORE 724886.892
AT ITER 390 NEW BEST:: SOT 5627018 SOS 3238946 HAS SOPS 3234586 HAS SOUS 720894 HAS SOUPS 720014 WITH SCORE 723252.946
AT ITER 393 NEW BEST:: SOT 5626954 SOS 3239235 HAS SOPS 3234875 HAS SOUS 720702 HAS SOUPS 719822 WITH SCORE 723061.235
AT ITER 402 NEW BEST:: SOT 5626954 SOS 3240087 HAS SOPS 3235727 HAS SOUS 720560 HAS SOUPS 719680 WITH SCORE 722920.087
AT ITER 404 NEW BEST:: SOT 5626954 SOS 3237232 HAS SOPS 3232872 HAS SOUS 720065 HAS SOUPS 719185 WITH SCORE 722422.232
AT ITER 405 NEW BEST:: SOT 5626954 SOS 3236301 HAS SOPS 3231941 HAS SOUS 719927 HAS SOUPS 719047 WITH SCORE 722283.301
AT ITER 407 NEW BEST:: SOT 5626954 SOS 3235263 HAS SOPS 3230903 HAS SOUS 719754 HAS SOUPS 718874 WITH SCORE 722109.263
AT ITER 408 NEW BEST:: SOT 5626954 SOS 3234777 HAS SOPS 3230417 HAS SOUS 719700 HAS SOUPS 718820 WITH SCORE 722054.777
AT ITER 411 NEW BEST:: SOT 5626714 SOS 3233337 HAS SOPS 3228977 HAS SOUS 719460 HAS SOUPS 718580 WITH SCORE 721813.337
AT ITER 427 NEW BEST:: SOT 5626714 SOS 3231562 HAS SOPS 3227202 HAS SOUS 718851 HAS SOUPS 717971 WITH SCORE 721202.562
AT ITER 430 NEW BEST:: SOT 5626714 SOS 3231155 HAS SOPS 3226795 HAS SOUS 718780 HAS SOUPS 717900 WITH SCORE 721131.155
AT ITER 437 NEW BEST:: SOT 5626515 SOS 3267599 HAS SOPS 3263239 HAS SOUS 718502 HAS SOUPS 717622 WITH SCORE 720889.599
AT ITER 444 NEW BEST:: SOT 5626333 SOS 3410679 HAS SOPS 3406319 HAS SOUS 718300 HAS SOUPS 717420 WITH SCORE 720830.679
AT ITER 445 NEW BEST:: SOT 5626333 SOS 3406990 HAS SOPS 3402630 HAS SOUS 718300 HAS SOUPS 717420 WITH SCORE 720826.99
AT ITER 446 NEW BEST:: SOT 5626333 SOS 3406914 HAS SOPS 3402554 HAS SOUS 718148 HAS SOUPS 717268 WITH SCORE 720674.914
AT ITER 463 NEW BEST:: SOT 5626333 SOS 3407135 HAS SOPS 3402775 HAS SOUS 718020 HAS SOUPS 717140 WITH SCORE 720547.135
AT ITER 467 NEW BEST:: SOT 5626333 SOS 3402965 HAS SOPS 3398605 HAS SOUS 716973 HAS SOUPS 716093 WITH SCORE 719495.965
AT ITER 473 NEW BEST:: SOT 5626333 SOS 3402952 HAS SOPS 3398592 HAS SOUS 716960 HAS SOUPS 716080 WITH SCORE 719482.952
AT ITER 475 NEW BEST:: SOT 5625947 SOS 3402566 HAS SOPS 3398227 HAS SOUS 716943 HAS SOUPS 716063 WITH SCORE 719465.566
AT ITER 488 NEW BEST:: SOT 5625947 SOS 3402667 HAS SOPS 3398328 HAS SOUS 716741 HAS SOUPS 715861 WITH SCORE 719263.667
AT ITER 490 NEW BEST:: SOT 5625947 SOS 3401293 HAS SOPS 3396954 HAS SOUS 716427 HAS SOUPS 715547 WITH SCORE 718948.293
AT ITER 504 NEW BEST:: SOT 5625947 SOS 3401312 HAS SOPS 3396973 HAS SOUS 716408 HAS SOUPS 715528 WITH SCORE 718929.312
AT ITER 508 NEW BEST:: SOT 5625947 SOS 3402260 HAS SOPS 3397921 HAS SOUS 716325 HAS SOUPS 715445 WITH SCORE 718847.26
AT ITER 517 NEW BEST:: SOT 5625919 SOS 3402316 HAS SOPS 3397977 HAS SOUS 716269 HAS SOUPS 715389 WITH SCORE 718791.316
AT ITER 518 NEW BEST:: SOT 5625876 SOS 3399908 HAS SOPS 3395569 HAS SOUS 716183 HAS SOUPS 715303 WITH SCORE 718702.908
AT ITER 523 NEW BEST:: SOT 5625876 SOS 3400395 HAS SOPS 3396056 HAS SOUS 715851 HAS SOUPS 714971 WITH SCORE 718371.395
AT ITER 536 NEW BEST:: SOT 5625876 SOS 3400553 HAS SOPS 3396214 HAS SOUS 715693 HAS SOUPS 714813 WITH SCORE 718213.553
AT ITER 538 NEW BEST:: SOT 5627702 SOS 3400414 HAS SOPS 3396075 HAS SOUS 715123 HAS SOUPS 714243 WITH SCORE 717643.414
AT ITER 543 NEW BEST:: SOT 5627702 SOS 3399520 HAS SOPS 3395181 HAS SOUS 715123 HAS SOUPS 714243 WITH SCORE 717642.52
AT ITER 552 NEW BEST:: SOT 5627702 SOS 3399520 HAS SOPS 3395181 HAS SOUS 714365 HAS SOUPS 713485 WITH SCORE 716884.52
AT ITER 557 NEW BEST:: SOT 5629064 SOS 3401124 HAS SOPS 3396785 HAS SOUS 714220 HAS SOUPS 713340 WITH SCORE 716741.124
AT ITER 573 NEW BEST:: SOT 5628936 SOS 3400847 HAS SOPS 3395596 HAS SOUS 713281 HAS SOUPS 712127 WITH SCORE 715527.847
AT ITER 575 NEW BEST:: SOT 5628936 SOS 3365245 HAS SOPS 3359994 HAS SOUS 712709 HAS SOUPS 711555 WITH SCORE 714920.245
AT ITER 588 NEW BEST:: SOT 5628936 SOS 3358427 HAS SOPS 3353176 HAS SOUS 712713 HAS SOUPS 711559 WITH SCORE 714917.427
AT ITER 590 NEW BEST:: SOT 5628936 SOS 3358433 HAS SOPS 3353182 HAS SOUS 712252 HAS SOUPS 711098 WITH SCORE 714456.433
AT ITER 596 NEW BEST:: SOT 5628936 SOS 3357845 HAS SOPS 3352594 HAS SOUS 712252 HAS SOUPS 711098 WITH SCORE 714455.845
AT ITER 604 NEW BEST:: SOT 5628490 SOS 3354654 HAS SOPS 3349403 HAS SOUS 711291 HAS SOUPS 710137 WITH SCORE 713491.654
AT ITER 610 NEW BEST:: SOT 5628490 SOS 3354167 HAS SOPS 3348916 HAS SOUS 710804 HAS SOUPS 709650 WITH SCORE 713004.167
AT ITER 612 NEW BEST:: SOT 5628541 SOS 3202942 HAS SOPS 3197691 HAS SOUS 710315 HAS SOUPS 709161 WITH SCORE 712363.942
AT ITER 615 NEW BEST:: SOT 5626039 SOS 3200200 HAS SOPS 3194949 HAS SOUS 707707 HAS SOUPS 706553 WITH SCORE 709753.2
AT ITER 632 NEW BEST:: SOT 5626039 SOS 3196795 HAS SOPS 3191544 HAS SOUS 707004 HAS SOUPS 705850 WITH SCORE 709046.795
AT ITER 639 NEW BEST:: SOT 5626039 SOS 3198573 HAS SOPS 3193322 HAS SOUS 707000 HAS SOUPS 705846 WITH SCORE 709044.573
AT ITER 647 NEW BEST:: SOT 5626039 SOS 3198733 HAS SOPS 3193482 HAS SOUS 706667 HAS SOUPS 705513 WITH SCORE 708711.733
AT ITER 648 NEW BEST:: SOT 5626039 SOS 3198464 HAS SOPS 3193213 HAS SOUS 705755 HAS SOUPS 704601 WITH SCORE 707799.464
AT ITER 653 NEW BEST:: SOT 5626039 SOS 3197364 HAS SOPS 3192113 HAS SOUS 705735 HAS SOUPS 704581 WITH SCORE 707778.364
AT ITER 660 NEW BEST:: SOT 5627987 SOS 3196845 HAS SOPS 3191594 HAS SOUS 705528 HAS SOUPS 704374 WITH SCORE 707570.845
AT ITER 661 NEW BEST:: SOT 5627987 SOS 3196860 HAS SOPS 3191609 HAS SOUS 705513 HAS SOUPS 704359 WITH SCORE 707555.86
AT ITER 662 NEW BEST:: SOT 5627987 SOS 3196853 HAS SOPS 3191602 HAS SOUS 705506 HAS SOUPS 704352 WITH SCORE 707548.853
AT ITER 665 NEW BEST:: SOT 5627987 SOS 3195286 HAS SOPS 3190035 HAS SOUS 705328 HAS SOUPS 704174 WITH SCORE 707369.286
AT ITER 666 NEW BEST:: SOT 5627987 SOS 3192892 HAS SOPS 3187641 HAS SOUS 704648 HAS SOUPS 703494 WITH SCORE 706686.892
AT ITER 674 NEW BEST:: SOT 5627987 SOS 3192719 HAS SOPS 3187468 HAS SOUS 704648 HAS SOUPS 703494 WITH SCORE 706686.719
AT ITER 675 NEW BEST:: SOT 5627987 SOS 3192011 HAS SOPS 3186760 HAS SOUS 704464 HAS SOUPS 703310 WITH SCORE 706502.011
AT ITER 678 NEW BEST:: SOT 5627987 SOS 3191760 HAS SOPS 3186509 HAS SOUS 703570 HAS SOUPS 702416 WITH SCORE 705607.76
AT ITER 681 NEW BEST:: SOT 5627987 SOS 3177530 HAS SOPS 3172279 HAS SOUS 703570 HAS SOUPS 702416 WITH SCORE 705593.53
AT ITER 686 NEW BEST:: SOT 5627987 SOS 3179027 HAS SOPS 3173776 HAS SOUS 703069 HAS SOUPS 701915 WITH SCORE 705094.027
AT ITER 687 NEW BEST:: SOT 5627661 SOS 3178375 HAS SOPS 3173124 HAS SOUS 702417 HAS SOUPS 701263 WITH SCORE 704441.375
AT ITER 690 NEW BEST:: SOT 5620394 SOS 3205132 HAS SOPS 3199881 HAS SOUS 694633 HAS SOUPS 693479 WITH SCORE 696684.132
AT ITER 708 NEW BEST:: SOT 5620394 SOS 3204700 HAS SOPS 3199449 HAS SOUS 694561 HAS SOUPS 693407 WITH SCORE 696611.7
AT ITER 714 NEW BEST:: SOT 5620394 SOS 3202614 HAS SOPS 3197363 HAS SOUS 694263 HAS SOUPS 693109 WITH SCORE 696311.614
AT ITER 719 NEW BEST:: SOT 5620394 SOS 3201166 HAS SOPS 3195915 HAS SOUS 693802 HAS SOUPS 692648 WITH SCORE 695849.166
AT ITER 735 NEW BEST:: SOT 5620305 SOS 3199721 HAS SOPS 3194470 HAS SOUS 693459 HAS SOUPS 692305 WITH SCORE 695504.721
AT ITER 739 NEW BEST:: SOT 5620305 SOS 3199695 HAS SOPS 3194444 HAS SOUS 693433 HAS SOUPS 692279 WITH SCORE 695478.695
AT ITER 752 NEW BEST:: SOT 5620305 SOS 3199604 HAS SOPS 3194353 HAS SOUS 693407 HAS SOUPS 692253 WITH SCORE 695452.604
AT ITER 758 NEW BEST:: SOT 5618223 SOS 3196528 HAS SOPS 3191277 HAS SOUS 691276 HAS SOUPS 690122 WITH SCORE 693318.528
AT ITER 759 NEW BEST:: SOT 5618082 SOS 3194870 HAS SOPS 3189619 HAS SOUS 690146 HAS SOUPS 688992 WITH SCORE 692186.87
AT ITER 762 NEW BEST:: SOT 5618082 SOS 3193980 HAS SOPS 3188729 HAS SOUS 690146 HAS SOUPS 688992 WITH SCORE 692185.98
AT ITER 771 NEW BEST:: SOT 5618082 SOS 3193883 HAS SOPS 3188632 HAS SOUS 690146 HAS SOUPS 688992 WITH SCORE 692185.883
AT ITER 773 NEW BEST:: SOT 5617746 SOS 3191997 HAS SOPS 3186746 HAS SOUS 687753 HAS SOUPS 686599 WITH SCORE 689790.997
AT ITER 774 NEW BEST:: SOT 5617746 SOS 3192462 HAS SOPS 3187211 HAS SOUS 687184 HAS SOUPS 686030 WITH SCORE 689222.462
AT ITER 775 NEW BEST:: SOT 5617746 SOS 3158381 HAS SOPS 3153130 HAS SOUS 686583 HAS SOUPS 685429 WITH SCORE 688587.381
AT ITER 778 NEW BEST:: SOT 5617746 SOS 3158145 HAS SOPS 3152894 HAS SOUS 686524 HAS SOUPS 685370 WITH SCORE 688528.145
AT ITER 779 NEW BEST:: SOT 5617564 SOS 3192148 HAS SOPS 3186897 HAS SOUS 686364 HAS SOUPS 685210 WITH SCORE 688402.148
AT ITER 781 NEW BEST:: SOT 5618923 SOS 3192474 HAS SOPS 3187223 HAS SOUS 686148 HAS SOUPS 684994 WITH SCORE 688186.474
AT ITER 793 NEW BEST:: SOT 5618884 SOS 3192513 HAS SOPS 3187262 HAS SOUS 685914 HAS SOUPS 684760 WITH SCORE 687952.513
AT ITER 794 NEW BEST:: SOT 5618884 SOS 3192330 HAS SOPS 3187079 HAS SOUS 685853 HAS SOUPS 684699 WITH SCORE 687891.33
AT ITER 796 NEW BEST:: SOT 5618992 SOS 3192515 HAS SOPS 3187264 HAS SOUS 685393 HAS SOUPS 684239 WITH SCORE 687431.515
AT ITER 807 NEW BEST:: SOT 5618992 SOS 3192560 HAS SOPS 3187309 HAS SOUS 685244 HAS SOUPS 684090 WITH SCORE 687282.56
AT ITER 808 NEW BEST:: SOT 5619863 SOS 3193431 HAS SOPS 3188180 HAS SOUS 685190 HAS SOUPS 684036 WITH SCORE 687229.431
AT ITER 809 NEW BEST:: SOT 5619863 SOS 3191324 HAS SOPS 3186073 HAS SOUS 685190 HAS SOUPS 684036 WITH SCORE 687227.324
AT ITER 810 NEW BEST:: SOT 5619863 SOS 3191324 HAS SOPS 3186073 HAS SOUS 684197 HAS SOUPS 683043 WITH SCORE 686234.324
AT ITER 822 NEW BEST:: SOT 5619863 SOS 3189336 HAS SOPS 3184085 HAS SOUS 683727 HAS SOUPS 682573 WITH SCORE 685762.336
AT ITER 824 NEW BEST:: SOT 5619863 SOS 3188052 HAS SOPS 3182801 HAS SOUS 683513 HAS SOUPS 682359 WITH SCORE 685547.052
AT ITER 828 NEW BEST:: SOT 5619863 SOS 3188237 HAS SOPS 3182986 HAS SOUS 683328 HAS SOUPS 682174 WITH SCORE 685362.237
AT ITER 829 NEW BEST:: SOT 5619863 SOS 3188851 HAS SOPS 3183600 HAS SOUS 683326 HAS SOUPS 682172 WITH SCORE 685360.851
AT ITER 839 NEW BEST:: SOT 5619863 SOS 3189020 HAS SOPS 3183769 HAS SOUS 682988 HAS SOUPS 681834 WITH SCORE 685023.02
AT ITER 842 NEW BEST:: SOT 5619863 SOS 3189466 HAS SOPS 3184215 HAS SOUS 682765 HAS SOUPS 681611 WITH SCORE 684800.466
AT ITER 852 NEW BEST:: SOT 5619863 SOS 3189496 HAS SOPS 3184245 HAS SOUS 682705 HAS SOUPS 681551 WITH SCORE 684740.496
AT ITER 859 NEW BEST:: SOT 5621234 SOS 3189603 HAS SOPS 3184352 HAS SOUS 682653 HAS SOUPS 681499 WITH SCORE 684688.603
AT ITER 868 NEW BEST:: SOT 5617658 SOS 3198891 HAS SOPS 3193640 HAS SOUS 678717 HAS SOUPS 677563 WITH SCORE 680761.891
AT ITER 871 NEW BEST:: SOT 5617658 SOS 3198891 HAS SOPS 3193640 HAS SOUS 678660 HAS SOUPS 677506 WITH SCORE 680704.891
AT ITER 876 NEW BEST:: SOT 5617658 SOS 3199486 HAS SOPS 3194235 HAS SOUS 678575 HAS SOUPS 677421 WITH SCORE 680620.486
AT ITER 880 NEW BEST:: SOT 5617539 SOS 3198534 HAS SOPS 3193283 HAS SOUS 678218 HAS SOUPS 677064 WITH SCORE 680262.534
AT ITER 888 NEW BEST:: SOT 5618621 SOS 3197432 HAS SOPS 3192181 HAS SOUS 677448 HAS SOUPS 676294 WITH SCORE 679491.432
AT ITER 897 NEW BEST:: SOT 5619762 SOS 3197593 HAS SOPS 3192342 HAS SOUS 677369 HAS SOUPS 676215 WITH SCORE 679412.593
AT ITER 898 NEW BEST:: SOT 5619762 SOS 3197567 HAS SOPS 3192316 HAS SOUS 677317 HAS SOUPS 676163 WITH SCORE 679360.567
AT ITER 902 NEW BEST:: SOT 5619762 SOS 3197357 HAS SOPS 3192106 HAS SOUS 677235 HAS SOUPS 676081 WITH SCORE 679278.357
AT ITER 907 NEW BEST:: SOT 5622753 SOS 3198407 HAS SOPS 3193156 HAS SOUS 677183 HAS SOUPS 676029 WITH SCORE 679227.407
AT ITER 912 NEW BEST:: SOT 5622753 SOS 3196859 HAS SOPS 3191608 HAS SOUS 675673 HAS SOUPS 674519 WITH SCORE 677715.859
AT ITER 915 NEW BEST:: SOT 5622753 SOS 3197861 HAS SOPS 3192610 HAS SOUS 675554 HAS SOUPS 674400 WITH SCORE 677597.861
AT ITER 916 NEW BEST:: SOT 5622753 SOS 3198967 HAS SOPS 3193716 HAS SOUS 675396 HAS SOUPS 674242 WITH SCORE 677440.967
AT ITER 917 NEW BEST:: SOT 5622753 SOS 3198967 HAS SOPS 3193716 HAS SOUS 674454 HAS SOUPS 673300 WITH SCORE 676498.967
AT ITER 919 NEW BEST:: SOT 5622753 SOS 3198967 HAS SOPS 3193716 HAS SOUS 674220 HAS SOUPS 673066 WITH SCORE 676264.967
AT ITER 923 NEW BEST:: SOT 5622550 SOS 3227214 HAS SOPS 3221963 HAS SOUS 673676 HAS SOUPS 672522 WITH SCORE 675749.214
AT ITER 928 NEW BEST:: SOT 5622550 SOS 3227636 HAS SOPS 3222385 HAS SOUS 673465 HAS SOUPS 672311 WITH SCORE 675538.636
AT ITER 944 NEW BEST:: SOT 5622391 SOS 3227049 HAS SOPS 3221798 HAS SOUS 671810 HAS SOUPS 670656 WITH SCORE 673883.049
AT ITER 951 NEW BEST:: SOT 5622391 SOS 3226467 HAS SOPS 3221216 HAS SOUS 671713 HAS SOUPS 670559 WITH SCORE 673785.467
AT ITER 952 NEW BEST:: SOT 5622391 SOS 3225075 HAS SOPS 3219824 HAS SOUS 671481 HAS SOUPS 670327 WITH SCORE 673552.075
AT ITER 954 NEW BEST:: SOT 5622391 SOS 3225792 HAS SOPS 3220541 HAS SOUS 671453 HAS SOUPS 670299 WITH SCORE 673524.792
AT ITER 956 NEW BEST:: SOT 5622391 SOS 3205900 HAS SOPS 3200649 HAS SOUS 671453 HAS SOUPS 670299 WITH SCORE 673504.9
AT ITER 959 NEW BEST:: SOT 5622391 SOS 3205771 HAS SOPS 3200520 HAS SOUS 671453 HAS SOUPS 670299 WITH SCORE 673504.771
AT ITER 966 NEW BEST:: SOT 5622391 SOS 3203538 HAS SOPS 3198287 HAS SOUS 671453 HAS SOUPS 670299 WITH SCORE 673502.538
AT ITER 968 NEW BEST:: SOT 5622391 SOS 3203450 HAS SOPS 3198199 HAS SOUS 671453 HAS SOUPS 670299 WITH SCORE 673502.45
AT ITER 969 NEW BEST:: SOT 5622391 SOS 3201523 HAS SOPS 3196272 HAS SOUS 670275 HAS SOUPS 669121 WITH SCORE 672322.523
AT ITER 977 NEW BEST:: SOT 5622295 SOS 3201427 HAS SOPS 3196176 HAS SOUS 670154 HAS SOUPS 669000 WITH SCORE 672201.427
AT ITER 982 NEW BEST:: SOT 5622172 SOS 3201250 HAS SOPS 3195999 HAS SOUS 669879 HAS SOUPS 668725 WITH SCORE 671926.25
AT ITER 985 NEW BEST:: SOT 5622197 SOS 3201742 HAS SOPS 3196491 HAS SOUS 669610 HAS SOUPS 668456 WITH SCORE 671657.742
AT ITER 986 NEW BEST:: SOT 5621520 SOS 3201135 HAS SOPS 3195917 HAS SOUS 669227 HAS SOUPS 668073 WITH SCORE 671274.135
AT ITER 991 NEW BEST:: SOT 5621520 SOS 3201135 HAS SOPS 3195917 HAS SOUS 669222 HAS SOUPS 668068 WITH SCORE 671269.135
AT ITER 993 NEW BEST:: SOT 5621520 SOS 3202085 HAS SOPS 3196867 HAS SOUS 668660 HAS SOUPS 667506 WITH SCORE 670708.085
AT ITER 1009 NEW BEST:: SOT 5621520 SOS 3197352 HAS SOPS 3192134 HAS SOUS 668503 HAS SOUPS 667349 WITH SCORE 670546.352
AT ITER 1014 NEW BEST:: SOT 5621520 SOS 3197132 HAS SOPS 3191914 HAS SOUS 668327 HAS SOUPS 667173 WITH SCORE 670370.132
AT ITER 1025 NEW BEST:: SOT 5621520 SOS 3186245 HAS SOPS 3181027 HAS SOUS 668042 HAS SOUPS 666888 WITH SCORE 670074.245
AT ITER 1031 NEW BEST:: SOT 5621520 SOS 3183232 HAS SOPS 3178014 HAS SOUS 667758 HAS SOUPS 666604 WITH SCORE 669787.232
AT ITER 1033 NEW BEST:: SOT 5621520 SOS 3182258 HAS SOPS 3177040 HAS SOUS 667758 HAS SOUPS 666604 WITH SCORE 669786.258
AT ITER 1038 NEW BEST:: SOT 5621520 SOS 3179836 HAS SOPS 3174618 HAS SOUS 667214 HAS SOUPS 666060 WITH SCORE 669239.836
AT ITER 1048 NEW BEST:: SOT 5621520 SOS 3179764 HAS SOPS 3174546 HAS SOUS 667214 HAS SOUPS 666060 WITH SCORE 669239.764
AT ITER 1051 NEW BEST:: SOT 5621520 SOS 3180073 HAS SOPS 3174855 HAS SOUS 666869 HAS SOUPS 665715 WITH SCORE 668895.073
AT ITER 1067 NEW BEST:: SOT 5621495 SOS 3180840 HAS SOPS 3175622 HAS SOUS 666395 HAS SOUPS 665241 WITH SCORE 668421.84
AT ITER 1068 NEW BEST:: SOT 5621495 SOS 3180793 HAS SOPS 3175575 HAS SOUS 666395 HAS SOUPS 665241 WITH SCORE 668421.793
AT ITER 1072 NEW BEST:: SOT 5621743 SOS 3179541 HAS SOPS 3174323 HAS SOUS 665226 HAS SOUPS 664072 WITH SCORE 667251.541
AT ITER 1080 NEW BEST:: SOT 5621743 SOS 3179624 HAS SOPS 3174406 HAS SOUS 665060 HAS SOUPS 663906 WITH SCORE 667085.624
AT ITER 1093 NEW BEST:: SOT 5621743 SOS 3178058 HAS SOPS 3172840 HAS SOUS 665060 HAS SOUPS 663906 WITH SCORE 667084.058
AT ITER 1094 NEW BEST:: SOT 5621743 SOS 3178560 HAS SOPS 3173342 HAS SOUS 664507 HAS SOUPS 663353 WITH SCORE 666531.56
AT ITER 1095 NEW BEST:: SOT 5621743 SOS 3178560 HAS SOPS 3173342 HAS SOUS 664292 HAS SOUPS 663138 WITH SCORE 666316.56
AT ITER 1103 NEW BEST:: SOT 5621743 SOS 3176696 HAS SOPS 3171478 HAS SOUS 663814 HAS SOUPS 662660 WITH SCORE 665836.696
AT ITER 1112 NEW BEST:: SOT 5621743 SOS 3176696 HAS SOPS 3171478 HAS SOUS 663792 HAS SOUPS 662638 WITH SCORE 665814.696
AT ITER 1114 NEW BEST:: SOT 5621635 SOS 3176588 HAS SOPS 3171352 HAS SOUS 663792 HAS SOUPS 662638 WITH SCORE 665814.588
AT ITER 1146 NEW BEST:: SOT 5621635 SOS 3176156 HAS SOPS 3170920 HAS SOUS 663576 HAS SOUPS 662422 WITH SCORE 665598.156
AT ITER 1148 NEW BEST:: SOT 5621990 SOS 3175300 HAS SOPS 3170064 HAS SOUS 662109 HAS SOUPS 660955 WITH SCORE 664130.3
AT ITER 1149 NEW BEST:: SOT 5621990 SOS 3173981 HAS SOPS 3168745 HAS SOUS 661453 HAS SOUPS 660299 WITH SCORE 663472.981
AT ITER 1157 NEW BEST:: SOT 5621990 SOS 3173495 HAS SOPS 3168259 HAS SOUS 661453 HAS SOUPS 660299 WITH SCORE 663472.495
AT ITER 1167 NEW BEST:: SOT 5621990 SOS 3172514 HAS SOPS 3167278 HAS SOUS 661227 HAS SOUPS 660073 WITH SCORE 663245.514
AT ITER 1171 NEW BEST:: SOT 5621990 SOS 3169271 HAS SOPS 3164035 HAS SOUS 660805 HAS SOUPS 659651 WITH SCORE 662820.271
AT ITER 1193 NEW BEST:: SOT 5621990 SOS 3168263 HAS SOPS 3163027 HAS SOUS 660335 HAS SOUPS 659181 WITH SCORE 662349.263
AT ITER 1199 NEW BEST:: SOT 5621990 SOS 3166652 HAS SOPS 3161416 HAS SOUS 660156 HAS SOUPS 659002 WITH SCORE 662168.652
AT ITER 1207 NEW BEST:: SOT 5622173 SOS 3188884 HAS SOPS 3183648 HAS SOUS 659998 HAS SOUPS 658844 WITH SCORE 662032.884
AT ITER 1208 NEW BEST:: SOT 5622173 SOS 3188884 HAS SOPS 3183648 HAS SOUS 659936 HAS SOUPS 658782 WITH SCORE 661970.884
AT ITER 1215 NEW BEST:: SOT 5622173 SOS 3188002 HAS SOPS 3182766 HAS SOUS 659810 HAS SOUPS 658656 WITH SCORE 661844.002
AT ITER 1216 NEW BEST:: SOT 5621416 SOS 3187245 HAS SOPS 3182009 HAS SOUS 659053 HAS SOUPS 657899 WITH SCORE 661086.245
AT ITER 1219 NEW BEST:: SOT 5621416 SOS 3187317 HAS SOPS 3182081 HAS SOUS 658981 HAS SOUPS 657827 WITH SCORE 661014.317
AT ITER 1220 NEW BEST:: SOT 5621290 SOS 3187191 HAS SOPS 3181934 HAS SOUS 658959 HAS SOUPS 657805 WITH SCORE 660992.191
AT ITER 1230 NEW BEST:: SOT 5621290 SOS 3183951 HAS SOPS 3178694 HAS SOUS 658599 HAS SOUPS 657445 WITH SCORE 660628.951
AT ITER 1239 NEW BEST:: SOT 5621290 SOS 3184259 HAS SOPS 3179002 HAS SOUS 658555 HAS SOUPS 657401 WITH SCORE 660585.259
AT ITER 1240 NEW BEST:: SOT 5621290 SOS 3184259 HAS SOPS 3179002 HAS SOUS 658357 HAS SOUPS 657203 WITH SCORE 660387.259
AT ITER 1261 NEW BEST:: SOT 5621352 SOS 3184686 HAS SOPS 3179429 HAS SOUS 658230 HAS SOUPS 657076 WITH SCORE 660260.686
AT ITER 1270 NEW BEST:: SOT 5621352 SOS 3180451 HAS SOPS 3175194 HAS SOUS 658230 HAS SOUPS 657076 WITH SCORE 660256.451
AT ITER 1272 NEW BEST:: SOT 5621352 SOS 3178277 HAS SOPS 3173020 HAS SOUS 657954 HAS SOUPS 656800 WITH SCORE 659978.277
AT ITER 1284 NEW BEST:: SOT 5621352 SOS 3176572 HAS SOPS 3171315 HAS SOUS 657537 HAS SOUPS 656383 WITH SCORE 659559.572
AT ITER 1297 NEW BEST:: SOT 5621339 SOS 3174610 HAS SOPS 3169353 HAS SOUS 657375 HAS SOUPS 656221 WITH SCORE 659395.61
AT ITER 1298 NEW BEST:: SOT 5622033 SOS 3175155 HAS SOPS 3169184 HAS SOUS 657204 HAS SOUPS 656035 WITH SCORE 659210.155
AT ITER 1308 NEW BEST:: SOT 5622033 SOS 3174749 HAS SOPS 3168778 HAS SOUS 657088 HAS SOUPS 655919 WITH SCORE 659093.749
AT ITER 1316 NEW BEST:: SOT 5621892 SOS 3169836 HAS SOPS 3163865 HAS SOUS 656465 HAS SOUPS 655296 WITH SCORE 658465.836
AT ITER 1319 NEW BEST:: SOT 5622043 SOS 3166371 HAS SOPS 3160400 HAS SOUS 656184 HAS SOUPS 655015 WITH SCORE 658181.371
AT ITER 1323 NEW BEST:: SOT 5622043 SOS 3166371 HAS SOPS 3160400 HAS SOUS 655600 HAS SOUPS 654431 WITH SCORE 657597.371
AT ITER 1324 NEW BEST:: SOT 5622095 SOS 3168497 HAS SOPS 3162526 HAS SOUS 653906 HAS SOUPS 652737 WITH SCORE 655905.497
AT ITER 1328 NEW BEST:: SOT 5620436 SOS 3166838 HAS SOPS 3160867 HAS SOUS 652719 HAS SOUPS 651550 WITH SCORE 654716.838
AT ITER 1339 NEW BEST:: SOT 5620391 SOS 3166748 HAS SOPS 3160777 HAS SOUS 652629 HAS SOUPS 651460 WITH SCORE 654626.748
AT ITER 1344 NEW BEST:: SOT 5618983 SOS 3165628 HAS SOPS 3159657 HAS SOUS 652590 HAS SOUPS 651421 WITH SCORE 654586.628
AT ITER 1346 NEW BEST:: SOT 5618887 SOS 3165532 HAS SOPS 3159561 HAS SOUS 652443 HAS SOUPS 651274 WITH SCORE 654439.532
AT ITER 1347 NEW BEST:: SOT 5618887 SOS 3164614 HAS SOPS 3158643 HAS SOUS 652000 HAS SOUPS 650831 WITH SCORE 653995.614
AT ITER 1348 NEW BEST:: SOT 5618887 SOS 3163999 HAS SOPS 3158028 HAS SOUS 651660 HAS SOUPS 650491 WITH SCORE 653654.999
AT ITER 1359 NEW BEST:: SOT 5619874 SOS 3163721 HAS SOPS 3157750 HAS SOUS 651114 HAS SOUPS 649945 WITH SCORE 653108.721
AT ITER 1360 NEW BEST:: SOT 5619874 SOS 3163529 HAS SOPS 3157558 HAS SOUS 651114 HAS SOUPS 649945 WITH SCORE 653108.529
AT ITER 1373 NEW BEST:: SOT 5619874 SOS 3161255 HAS SOPS 3155284 HAS SOUS 650085 HAS SOUPS 648916 WITH SCORE 652077.255
AT ITER 1374 NEW BEST:: SOT 5619874 SOS 3161142 HAS SOPS 3155171 HAS SOUS 649972 HAS SOUPS 648803 WITH SCORE 651964.142
AT ITER 1381 NEW BEST:: SOT 5619874 SOS 3160408 HAS SOPS 3154437 HAS SOUS 649902 HAS SOUPS 648733 WITH SCORE 651893.408
AT ITER 1384 NEW BEST:: SOT 5619874 SOS 3160978 HAS SOPS 3155007 HAS SOUS 649889 HAS SOUPS 648720 WITH SCORE 651880.978
AT ITER 1392 NEW BEST:: SOT 5619466 SOS 3160570 HAS SOPS 3154146 HAS SOUS 649504 HAS SOUPS 648335 WITH SCORE 651495.57
AT ITER 1400 NEW BEST:: SOT 5619466 SOS 3161934 HAS SOPS 3155510 HAS SOUS 648178 HAS SOUPS 647009 WITH SCORE 650170.934
AT ITER 1402 NEW BEST:: SOT 5619466 SOS 3161082 HAS SOPS 3154658 HAS SOUS 648129 HAS SOUPS 646960 WITH SCORE 650121.082
AT ITER 1407 NEW BEST:: SOT 5619466 SOS 3158597 HAS SOPS 3152173 HAS SOUS 647606 HAS SOUPS 646437 WITH SCORE 649595.597
AT ITER 1408 NEW BEST:: SOT 5619399 SOS 3159119 HAS SOPS 3152695 HAS SOUS 647592 HAS SOUPS 646423 WITH SCORE 649582.119
AT ITER 1410 NEW BEST:: SOT 5619399 SOS 3158757 HAS SOPS 3152333 HAS SOUS 647054 HAS SOUPS 645885 WITH SCORE 649043.757
AT ITER 1414 NEW BEST:: SOT 5620462 SOS 3159479 HAS SOPS 3153055 HAS SOUS 645755 HAS SOUPS 644586 WITH SCORE 647745.479
AT ITER 1417 NEW BEST:: SOT 5620666 SOS 3159683 HAS SOPS 3153189 HAS SOUS 645451 HAS SOUPS 644259 WITH SCORE 647418.683
AT ITER 1418 NEW BEST:: SOT 5620666 SOS 3155743 HAS SOPS 3149249 HAS SOUS 645451 HAS SOUPS 644259 WITH SCORE 647414.743
AT ITER 1423 NEW BEST:: SOT 5620666 SOS 3153332 HAS SOPS 3146838 HAS SOUS 645341 HAS SOUPS 644149 WITH SCORE 647302.332
AT ITER 1438 NEW BEST:: SOT 5620666 SOS 3153319 HAS SOPS 3146825 HAS SOUS 645341 HAS SOUPS 644149 WITH SCORE 647302.319
AT ITER 1445 NEW BEST:: SOT 5620666 SOS 3154445 HAS SOPS 3147951 HAS SOUS 644443 HAS SOUPS 643251 WITH SCORE 646405.445
AT ITER 1454 NEW BEST:: SOT 5620666 SOS 3154136 HAS SOPS 3147642 HAS SOUS 644398 HAS SOUPS 643206 WITH SCORE 646360.136
AT ITER 1459 NEW BEST:: SOT 5620666 SOS 3153121 HAS SOPS 3146627 HAS SOUS 644398 HAS SOUPS 643206 WITH SCORE 646359.121
AT ITER 1471 NEW BEST:: SOT 5620666 SOS 3153121 HAS SOPS 3146627 HAS SOUS 644097 HAS SOUPS 642905 WITH SCORE 646058.121
AT ITER 1487 NEW BEST:: SOT 5620666 SOS 3153121 HAS SOPS 3146627 HAS SOUS 643838 HAS SOUPS 642646 WITH SCORE 645799.121
AT ITER 1490 NEW BEST:: SOT 5620666 SOS 3153121 HAS SOPS 3146627 HAS SOUS 643830 HAS SOUPS 642638 WITH SCORE 645791.121
AT ITER 1491 NEW BEST:: SOT 5620642 SOS 3152161 HAS SOPS 3145667 HAS SOUS 643494 HAS SOUPS 642302 WITH SCORE 645454.161
AT ITER 1501 NEW BEST:: SOT 5620642 SOS 3151136 HAS SOPS 3144642 HAS SOUS 643494 HAS SOUPS 642302 WITH SCORE 645453.136
AT ITER 1503 NEW BEST:: SOT 5620642 SOS 3149170 HAS SOPS 3142676 HAS SOUS 642502 HAS SOUPS 641310 WITH SCORE 644459.17
AT ITER 1508 NEW BEST:: SOT 5620446 SOS 3148974 HAS SOPS 3142480 HAS SOUS 642159 HAS SOUPS 640967 WITH SCORE 644115.974
AT ITER 1509 NEW BEST:: SOT 5620280 SOS 3153200 HAS SOPS 3146706 HAS SOUS 642029 HAS SOUPS 640837 WITH SCORE 643990.2
AT ITER 1531 NEW BEST:: SOT 5620280 SOS 3151119 HAS SOPS 3144625 HAS SOUS 641671 HAS SOUPS 640479 WITH SCORE 643630.119
AT ITER 1534 NEW BEST:: SOT 5620280 SOS 3151182 HAS SOPS 3144688 HAS SOUS 641653 HAS SOUPS 640461 WITH SCORE 643612.182
AT ITER 1540 NEW BEST:: SOT 5620280 SOS 3123076 HAS SOPS 3116582 HAS SOUS 640838 HAS SOUPS 639646 WITH SCORE 642769.076
AT ITER 1545 NEW BEST:: SOT 5621026 SOS 3122462 HAS SOPS 3115968 HAS SOUS 640072 HAS SOUPS 638880 WITH SCORE 642002.462
AT ITER 1550 NEW BEST:: SOT 5621026 SOS 3122098 HAS SOPS 3115604 HAS SOUS 640072 HAS SOUPS 638880 WITH SCORE 642002.098
AT ITER 1578 NEW BEST:: SOT 5621026 SOS 3121456 HAS SOPS 3114962 HAS SOUS 639811 HAS SOUPS 638619 WITH SCORE 641740.456
AT ITER 1581 NEW BEST:: SOT 5621026 SOS 3121456 HAS SOPS 3114962 HAS SOUS 639499 HAS SOUPS 638307 WITH SCORE 641428.456
AT ITER 1587 NEW BEST:: SOT 5620523 SOS 3120877 HAS SOPS 3113914 HAS SOUS 638884 HAS SOUPS 637692 WITH SCORE 640812.877
AT ITER 1591 NEW BEST:: SOT 5620503 SOS 3120857 HAS SOPS 3113894 HAS SOUS 638844 HAS SOUPS 637652 WITH SCORE 640772.857
AT ITER 1593 NEW BEST:: SOT 5621432 SOS 3118249 HAS SOPS 3111286 HAS SOUS 638612 HAS SOUPS 637420 WITH SCORE 640538.249
AT ITER 1598 NEW BEST:: SOT 5621432 SOS 3117195 HAS SOPS 3110232 HAS SOUS 637603 HAS SOUPS 636411 WITH SCORE 639528.195
AT ITER 1599 NEW BEST:: SOT 5621427 SOS 3117190 HAS SOPS 3110227 HAS SOUS 637598 HAS SOUPS 636406 WITH SCORE 639523.19
AT ITER 1600 NEW BEST:: SOT 5622611 SOS 3118374 HAS SOPS 3111411 HAS SOUS 637430 HAS SOUPS 636238 WITH SCORE 639356.374
AT ITER 1617 NEW BEST:: SOT 5622611 SOS 3118374 HAS SOPS 3111411 HAS SOUS 637158 HAS SOUPS 635966 WITH SCORE 639084.374
AT ITER 1620 NEW BEST:: SOT 5622611 SOS 3118590 HAS SOPS 3111627 HAS SOUS 637050 HAS SOUPS 635858 WITH SCORE 638976.59
AT ITER 1621 NEW BEST:: SOT 5624131 SOS 3120647 HAS SOPS 3113684 HAS SOUS 636899 HAS SOUPS 635707 WITH SCORE 638827.647
AT ITER 1622 NEW BEST:: SOT 5624131 SOS 3120647 HAS SOPS 3113684 HAS SOUS 636701 HAS SOUPS 635509 WITH SCORE 638629.647
AT ITER 1626 NEW BEST:: SOT 5624131 SOS 3120487 HAS SOPS 3113524 HAS SOUS 636701 HAS SOUPS 635509 WITH SCORE 638629.487
AT ITER 1631 NEW BEST:: SOT 5624336 SOS 3123217 HAS SOPS 3116254 HAS SOUS 635543 HAS SOUPS 634351 WITH SCORE 637474.217
AT ITER 1633 NEW BEST:: SOT 5624336 SOS 3135397 HAS SOPS 3128434 HAS SOUS 635430 HAS SOUPS 634238 WITH SCORE 637373.397
AT ITER 1634 NEW BEST:: SOT 5624336 SOS 3135599 HAS SOPS 3128636 HAS SOUS 635228 HAS SOUPS 634036 WITH SCORE 637171.599
AT ITER 1641 NEW BEST:: SOT 5624528 SOS 3134573 HAS SOPS 3127610 HAS SOUS 634672 HAS SOUPS 633480 WITH SCORE 636614.573
AT ITER 1645 NEW BEST:: SOT 5624507 SOS 3134552 HAS SOPS 3127589 HAS SOUS 634651 HAS SOUPS 633459 WITH SCORE 636593.552
AT ITER 1646 NEW BEST:: SOT 5624507 SOS 3134463 HAS SOPS 3127500 HAS SOUS 634651 HAS SOUPS 633459 WITH SCORE 636593.463
AT ITER 1650 NEW BEST:: SOT 5624455 SOS 3152430 HAS SOPS 3145467 HAS SOUS 634282 HAS SOUPS 633090 WITH SCORE 636242.43
AT ITER 1655 NEW BEST:: SOT 5625540 SOS 3152116 HAS SOPS 3145153 HAS SOUS 634058 HAS SOUPS 632866 WITH SCORE 636018.116
AT ITER 1657 NEW BEST:: SOT 5625540 SOS 3152116 HAS SOPS 3145153 HAS SOUS 633947 HAS SOUPS 632755 WITH SCORE 635907.116
AT ITER 1671 NEW BEST:: SOT 5625529 SOS 3150398 HAS SOPS 3143435 HAS SOUS 633772 HAS SOUPS 632580 WITH SCORE 635730.398
AT ITER 1674 NEW BEST:: SOT 5625049 SOS 3147542 HAS SOPS 3140579 HAS SOUS 632332 HAS SOUPS 631140 WITH SCORE 634287.542
AT ITER 1684 NEW BEST:: SOT 5626147 SOS 3147663 HAS SOPS 3140700 HAS SOUS 632276 HAS SOUPS 631084 WITH SCORE 634231.663
AT ITER 1690 NEW BEST:: SOT 5626314 SOS 3149317 HAS SOPS 3142354 HAS SOUS 631435 HAS SOUPS 630243 WITH SCORE 633392.317
AT ITER 1696 NEW BEST:: SOT 5626314 SOS 3127220 HAS SOPS 3120257 HAS SOUS 631435 HAS SOUPS 630243 WITH SCORE 633370.22
AT ITER 1699 NEW BEST:: SOT 5626314 SOS 3126266 HAS SOPS 3119303 HAS SOUS 631435 HAS SOUPS 630243 WITH SCORE 633369.266
AT ITER 1702 NEW BEST:: SOT 5626314 SOS 3124887 HAS SOPS 3117924 HAS SOUS 631091 HAS SOUPS 629899 WITH SCORE 633023.887
AT ITER 1716 NEW BEST:: SOT 5626314 SOS 3124887 HAS SOPS 3117924 HAS SOUS 631085 HAS SOUPS 629893 WITH SCORE 633017.887
AT ITER 1717 NEW BEST:: SOT 5626747 SOS 3125320 HAS SOPS 3118357 HAS SOUS 630944 HAS SOUPS 629752 WITH SCORE 632877.32
AT ITER 1722 NEW BEST:: SOT 5626747 SOS 3125570 HAS SOPS 3118607 HAS SOUS 630580 HAS SOUPS 629388 WITH SCORE 632513.57
AT ITER 1723 NEW BEST:: SOT 5626747 SOS 3125415 HAS SOPS 3118452 HAS SOUS 630386 HAS SOUPS 629194 WITH SCORE 632319.415
AT ITER 1728 NEW BEST:: SOT 5626747 SOS 3124887 HAS SOPS 3117924 HAS SOUS 630122 HAS SOUPS 628930 WITH SCORE 632054.887
AT ITER 1732 NEW BEST:: SOT 5626747 SOS 3127064 HAS SOPS 3120101 HAS SOUS 629889 HAS SOUPS 628697 WITH SCORE 631824.064
AT ITER 1737 NEW BEST:: SOT 5626716 SOS 3127033 HAS SOPS 3120070 HAS SOUS 629858 HAS SOUPS 628666 WITH SCORE 631793.033
AT ITER 1740 NEW BEST:: SOT 5628285 SOS 3126991 HAS SOPS 3120028 HAS SOUS 629789 HAS SOUPS 628597 WITH SCORE 631723.991
AT ITER 1746 NEW BEST:: SOT 5628285 SOS 3125919 HAS SOPS 3118956 HAS SOUS 629227 HAS SOUPS 628035 WITH SCORE 631160.919
AT ITER 1756 NEW BEST:: SOT 5628285 SOS 3125974 HAS SOPS 3119011 HAS SOUS 629172 HAS SOUPS 627980 WITH SCORE 631105.974
AT ITER 1758 NEW BEST:: SOT 5628285 SOS 3126013 HAS SOPS 3119050 HAS SOUS 629133 HAS SOUPS 627941 WITH SCORE 631067.013
AT ITER 1760 NEW BEST:: SOT 5628285 SOS 3125209 HAS SOPS 3118246 HAS SOUS 629133 HAS SOUPS 627941 WITH SCORE 631066.209
AT ITER 1773 NEW BEST:: SOT 5628285 SOS 3125209 HAS SOPS 3118246 HAS SOUS 629093 HAS SOUPS 627901 WITH SCORE 631026.209
AT ITER 1776 NEW BEST:: SOT 5628285 SOS 3124717 HAS SOPS 3117754 HAS SOUS 629093 HAS SOUPS 627901 WITH SCORE 631025.717
AT ITER 1777 NEW BEST:: SOT 5629149 SOS 3125613 HAS SOPS 3118650 HAS SOUS 628455 HAS SOUPS 627263 WITH SCORE 630388.613
AT ITER 1786 NEW BEST:: SOT 5629155 SOS 3125565 HAS SOPS 3118602 HAS SOUS 628455 HAS SOUPS 627263 WITH SCORE 630388.565
AT ITER 1791 NEW BEST:: SOT 5629155 SOS 3125530 HAS SOPS 3118567 HAS SOUS 628420 HAS SOUPS 627228 WITH SCORE 630353.53
AT ITER 1797 NEW BEST:: SOT 5629155 SOS 3124802 HAS SOPS 3117839 HAS SOUS 628238 HAS SOUPS 627046 WITH SCORE 630170.802
AT ITER 1798 NEW BEST:: SOT 5629155 SOS 3123404 HAS SOPS 3116441 HAS SOUS 627229 HAS SOUPS 626037 WITH SCORE 629160.404
AT ITER 1799 NEW BEST:: SOT 5630455 SOS 3122691 HAS SOPS 3115728 HAS SOUS 626873 HAS SOUPS 625681 WITH SCORE 628803.691
AT ITER 1803 NEW BEST:: SOT 5631750 SOS 3122651 HAS SOPS 3115688 HAS SOUS 626795 HAS SOUPS 625603 WITH SCORE 628725.651
AT ITER 1807 NEW BEST:: SOT 5631750 SOS 3122090 HAS SOPS 3115127 HAS SOUS 626732 HAS SOUPS 625540 WITH SCORE 628662.09
AT ITER 1811 NEW BEST:: SOT 5631862 SOS 3122202 HAS SOPS 3115239 HAS SOUS 626638 HAS SOUPS 625446 WITH SCORE 628568.202
AT ITER 1814 NEW BEST:: SOT 5631862 SOS 3121977 HAS SOPS 3115014 HAS SOUS 626413 HAS SOUPS 625221 WITH SCORE 628342.977
AT ITER 1815 NEW BEST:: SOT 5631862 SOS 3121518 HAS SOPS 3114555 HAS SOUS 626362 HAS SOUPS 625170 WITH SCORE 628291.518
AT ITER 1817 NEW BEST:: SOT 5631862 SOS 3121486 HAS SOPS 3114523 HAS SOUS 626029 HAS SOUPS 624837 WITH SCORE 627958.486
AT ITER 1829 NEW BEST:: SOT 5631862 SOS 3122980 HAS SOPS 3116017 HAS SOUS 625816 HAS SOUPS 624624 WITH SCORE 627746.98
AT ITER 1844 NEW BEST:: SOT 5631862 SOS 3124500 HAS SOPS 3117537 HAS SOUS 625814 HAS SOUPS 624622 WITH SCORE 627746.5
AT ITER 1852 NEW BEST:: SOT 5631862 SOS 3124204 HAS SOPS 3117241 HAS SOUS 625750 HAS SOUPS 624558 WITH SCORE 627682.204
AT ITER 1853 NEW BEST:: SOT 5632142 SOS 3126551 HAS SOPS 3119588 HAS SOUS 624614 HAS SOUPS 623422 WITH SCORE 626548.551
AT ITER 1856 NEW BEST:: SOT 5632142 SOS 3127799 HAS SOPS 3120836 HAS SOUS 624313 HAS SOUPS 623121 WITH SCORE 626248.799
AT ITER 1861 NEW BEST:: SOT 5632139 SOS 3127796 HAS SOPS 3120833 HAS SOUS 624301 HAS SOUPS 623109 WITH SCORE 626236.796
AT ITER 1869 NEW BEST:: SOT 5632139 SOS 3127749 HAS SOPS 3120786 HAS SOUS 624254 HAS SOUPS 623062 WITH SCORE 626189.749
AT ITER 1886 NEW BEST:: SOT 5632006 SOS 3126389 HAS SOPS 3119426 HAS SOUS 623566 HAS SOUPS 622374 WITH SCORE 625500.389
AT ITER 1888 NEW BEST:: SOT 5631861 SOS 3126485 HAS SOPS 3119522 HAS SOUS 622832 HAS SOUPS 621640 WITH SCORE 624766.485
AT ITER 1889 NEW BEST:: SOT 5631848 SOS 3125752 HAS SOPS 3118789 HAS SOUS 622819 HAS SOUPS 621627 WITH SCORE 624752.752
AT ITER 1900 NEW BEST:: SOT 5631896 SOS 3130626 HAS SOPS 3122703 HAS SOUS 622672 HAS SOUPS 621416 WITH SCORE 624546.626
AT ITER 1907 NEW BEST:: SOT 5631899 SOS 3130622 HAS SOPS 3122699 HAS SOUS 622668 HAS SOUPS 621412 WITH SCORE 624542.622
AT ITER 1913 NEW BEST:: SOT 5631899 SOS 3130436 HAS SOPS 3122513 HAS SOUS 622637 HAS SOUPS 621381 WITH SCORE 624511.436
AT ITER 1916 NEW BEST:: SOT 5631542 SOS 3128321 HAS SOPS 3120398 HAS SOUS 621401 HAS SOUPS 620145 WITH SCORE 623273.321
AT ITER 1919 NEW BEST:: SOT 5631542 SOS 3128288 HAS SOPS 3120365 HAS SOUS 621368 HAS SOUPS 620112 WITH SCORE 623240.288
AT ITER 1935 NEW BEST:: SOT 5631542 SOS 3099884 HAS SOPS 3091961 HAS SOUS 621368 HAS SOUPS 620112 WITH SCORE 623211.884
AT ITER 1943 NEW BEST:: SOT 5623023 SOS 3118924 HAS SOPS 3111001 HAS SOUS 620135 HAS SOUPS 618879 WITH SCORE 621997.924
AT ITER 1947 NEW BEST:: SOT 5622794 SOS 3117253 HAS SOPS 3109330 HAS SOUS 619639 HAS SOUPS 618383 WITH SCORE 621500.253
AT ITER 1948 NEW BEST:: SOT 5622857 SOS 3118433 HAS SOPS 3110510 HAS SOUS 619467 HAS SOUPS 618211 WITH SCORE 621329.433
AT ITER 1954 NEW BEST:: SOT 5622857 SOS 3084927 HAS SOPS 3077004 HAS SOUS 619467 HAS SOUPS 618211 WITH SCORE 621295.927
AT ITER 1956 NEW BEST:: SOT 5622857 SOS 3083482 HAS SOPS 3075559 HAS SOUS 618731 HAS SOUPS 617475 WITH SCORE 620558.482
AT ITER 1959 NEW BEST:: SOT 5622742 SOS 3111606 HAS SOPS 3103683 HAS SOUS 618447 HAS SOUPS 617191 WITH SCORE 620302.606
AT ITER 1964 NEW BEST:: SOT 5622742 SOS 3110528 HAS SOPS 3102605 HAS SOUS 618137 HAS SOUPS 616881 WITH SCORE 619991.528
AT ITER 1966 NEW BEST:: SOT 5622742 SOS 3109919 HAS SOPS 3101996 HAS SOUS 618047 HAS SOUPS 616791 WITH SCORE 619900.919
AT ITER 1972 NEW BEST:: SOT 5622346 SOS 3109523 HAS SOPS 3101618 HAS SOUS 618023 HAS SOUPS 616767 WITH SCORE 619876.523
AT ITER 1975 NEW BEST:: SOT 5620664 SOS 3123990 HAS SOPS 3116085 HAS SOUS 616126 HAS SOUPS 614870 WITH SCORE 617993.99
AT ITER 1977 NEW BEST:: SOT 5620664 SOS 3123051 HAS SOPS 3116229 HAS SOUS 615783 HAS SOUPS 614711 WITH SCORE 617834.051
AT ITER 1982 NEW BEST:: SOT 5620624 SOS 3123011 HAS SOPS 3116189 HAS SOUS 615710 HAS SOUPS 614671 WITH SCORE 617794.011
AT ITER 1983 NEW BEST:: SOT 5620624 SOS 3121686 HAS SOPS 3114864 HAS SOUS 615710 HAS SOUPS 614671 WITH SCORE 617792.686
AT ITER 1985 NEW BEST:: SOT 5620624 SOS 3121896 HAS SOPS 3115074 HAS SOUS 615675 HAS SOUPS 614636 WITH SCORE 617757.896
AT ITER 1989 NEW BEST:: SOT 5620473 SOS 3121460 HAS SOPS 3114638 HAS SOUS 614898 HAS SOUPS 613859 WITH SCORE 616980.46
AT ITER 1991 NEW BEST:: SOT 5620473 SOS 3121595 HAS SOPS 3114773 HAS SOUS 614763 HAS SOUPS 613724 WITH SCORE 616845.595
AT ITER 1992 NEW BEST:: SOT 5620473 SOS 3121455 HAS SOPS 3114633 HAS SOUS 614743 HAS SOUPS 613704 WITH SCORE 616825.455
AT ITER 1994 NEW BEST:: SOT 5620473 SOS 3120538 HAS SOPS 3113716 HAS SOUS 614678 HAS SOUPS 613639 WITH SCORE 616759.538
AT ITER 1997 NEW BEST:: SOT 5620473 SOS 3120215 HAS SOPS 3113393 HAS SOUS 614456 HAS SOUPS 613417 WITH SCORE 616537.215
AT ITER 2012 NEW BEST:: SOT 5620117 SOS 3119859 HAS SOPS 3113037 HAS SOUS 614100 HAS SOUPS 613061 WITH SCORE 616180.859
AT ITER 2021 NEW BEST:: SOT 5620117 SOS 3118231 HAS SOPS 3111409 HAS SOUS 613537 HAS SOUPS 612498 WITH SCORE 615616.231
AT ITER 2022 NEW BEST:: SOT 5620117 SOS 3108427 HAS SOPS 3101605 HAS SOUS 613487 HAS SOUPS 612448 WITH SCORE 615556.427
AT ITER 2030 NEW BEST:: SOT 5620066 SOS 3114492 HAS SOPS 3107670 HAS SOUS 613436 HAS SOUPS 612397 WITH SCORE 615511.492
AT ITER 2034 NEW BEST:: SOT 5619857 SOS 3113107 HAS SOPS 3106285 HAS SOUS 612203 HAS SOUPS 611164 WITH SCORE 614277.107
AT ITER 2037 NEW BEST:: SOT 5619478 SOS 3110108 HAS SOPS 3103286 HAS SOUS 611104 HAS SOUPS 610065 WITH SCORE 613175.108
AT ITER 2038 NEW BEST:: SOT 5619049 SOS 3107189 HAS SOPS 3100367 HAS SOUS 610603 HAS SOUPS 609564 WITH SCORE 612671.189
AT ITER 2050 NEW BEST:: SOT 5619049 SOS 3106916 HAS SOPS 3100094 HAS SOUS 610151 HAS SOUPS 609112 WITH SCORE 612218.916
AT ITER 2065 NEW BEST:: SOT 5619049 SOS 3106740 HAS SOPS 3099918 HAS SOUS 610107 HAS SOUPS 609068 WITH SCORE 612174.74
AT ITER 2076 NEW BEST:: SOT 5619049 SOS 3097677 HAS SOPS 3090855 HAS SOUS 610107 HAS SOUPS 609068 WITH SCORE 612165.677
AT ITER 2077 NEW BEST:: SOT 5619047 SOS 3096978 HAS SOPS 3090156 HAS SOUS 610036 HAS SOUPS 608997 WITH SCORE 612093.978
AT ITER 2081 NEW BEST:: SOT 5618767 SOS 3096698 HAS SOPS 3089876 HAS SOUS 609708 HAS SOUPS 608669 WITH SCORE 611765.698
AT ITER 2083 NEW BEST:: SOT 5618767 SOS 3095798 HAS SOPS 3088976 HAS SOUS 609558 HAS SOUPS 608519 WITH SCORE 611614.798
AT ITER 2093 NEW BEST:: SOT 5620258 SOS 3096047 HAS SOPS 3089225 HAS SOUS 609259 HAS SOUPS 608220 WITH SCORE 611316.047
AT ITER 2097 NEW BEST:: SOT 5622998 SOS 3097503 HAS SOPS 3090681 HAS SOUS 608754 HAS SOUPS 607715 WITH SCORE 610812.503
AT ITER 2099 NEW BEST:: SOT 5622998 SOS 3095610 HAS SOPS 3088788 HAS SOUS 608573 HAS SOUPS 607534 WITH SCORE 610629.61
AT ITER 2105 NEW BEST:: SOT 5622760 SOS 3095134 HAS SOPS 3088312 HAS SOUS 608267 HAS SOUPS 607228 WITH SCORE 610323.134
AT ITER 2116 NEW BEST:: SOT 5622760 SOS 3095134 HAS SOPS 3088312 HAS SOUS 608157 HAS SOUPS 607118 WITH SCORE 610213.134
AT ITER 2122 NEW BEST:: SOT 5624104 SOS 3096478 HAS SOPS 3089656 HAS SOUS 607630 HAS SOUPS 606591 WITH SCORE 609687.478
AT ITER 2124 NEW BEST:: SOT 5623721 SOS 3172275 HAS SOPS 3165453 HAS SOUS 607247 HAS SOUPS 606208 WITH SCORE 609380.275
AT ITER 2140 NEW BEST:: SOT 5623721 SOS 3172257 HAS SOPS 3165435 HAS SOUS 607247 HAS SOUPS 606208 WITH SCORE 609380.257
AT ITER 2141 NEW BEST:: SOT 5623896 SOS 3172432 HAS SOPS 3165535 HAS SOUS 606847 HAS SOUPS 605741 WITH SCORE 608913.432
AT ITER 2142 NEW BEST:: SOT 5623896 SOS 3172187 HAS SOPS 3165290 HAS SOUS 606505 HAS SOUPS 605399 WITH SCORE 608571.187
AT ITER 2154 NEW BEST:: SOT 5624255 SOS 3172507 HAS SOPS 3165267 HAS SOUS 606606 HAS SOUPS 605376 WITH SCORE 608548.507
AT ITER 2155 NEW BEST:: SOT 5624255 SOS 3171068 HAS SOPS 3163828 HAS SOUS 606301 HAS SOUPS 605071 WITH SCORE 608242.068
AT ITER 2173 NEW BEST:: SOT 5624187 SOS 3171000 HAS SOPS 3163760 HAS SOUS 606233 HAS SOUPS 605003 WITH SCORE 608174.0
AT ITER 2180 NEW BEST:: SOT 5624187 SOS 3191398 HAS SOPS 3184158 HAS SOUS 605912 HAS SOUPS 604682 WITH SCORE 607873.398
AT ITER 2181 NEW BEST:: SOT 5624031 SOS 3190061 HAS SOPS 3182821 HAS SOUS 605190 HAS SOUPS 603960 WITH SCORE 607150.061
AT ITER 2187 NEW BEST:: SOT 5623606 SOS 3210046 HAS SOPS 3202806 HAS SOUS 604634 HAS SOUPS 603404 WITH SCORE 606614.046
AT ITER 2197 NEW BEST:: SOT 5623794 SOS 3209689 HAS SOPS 3202449 HAS SOUS 603751 HAS SOUPS 602521 WITH SCORE 605730.689
AT ITER 2205 NEW BEST:: SOT 5623794 SOS 3208919 HAS SOPS 3201679 HAS SOUS 603646 HAS SOUPS 602416 WITH SCORE 605624.919
AT ITER 2214 NEW BEST:: SOT 5623794 SOS 3209147 HAS SOPS 3201907 HAS SOUS 603610 HAS SOUPS 602380 WITH SCORE 605589.147
AT ITER 2217 NEW BEST:: SOT 5623794 SOS 3207782 HAS SOPS 3200542 HAS SOUS 603610 HAS SOUPS 602380 WITH SCORE 605587.782
AT ITER 2222 NEW BEST:: SOT 5623794 SOS 3207455 HAS SOPS 3200215 HAS SOUS 602842 HAS SOUPS 601612 WITH SCORE 604819.455
AT ITER 2232 NEW BEST:: SOT 5624855 SOS 3214643 HAS SOPS 3207403 HAS SOUS 602578 HAS SOUPS 601348 WITH SCORE 604562.643
AT ITER 2237 NEW BEST:: SOT 5624956 SOS 3215140 HAS SOPS 3207900 HAS SOUS 602446 HAS SOUPS 601216 WITH SCORE 604431.14
AT ITER 2238 NEW BEST:: SOT 5624956 SOS 3213602 HAS SOPS 3206362 HAS SOUS 602446 HAS SOUPS 601216 WITH SCORE 604429.602
AT ITER 2243 NEW BEST:: SOT 5624956 SOS 3214156 HAS SOPS 3206916 HAS SOUS 602278 HAS SOUPS 601048 WITH SCORE 604262.156
AT ITER 2245 NEW BEST:: SOT 5624956 SOS 3214468 HAS SOPS 3207228 HAS SOUS 602122 HAS SOUPS 600892 WITH SCORE 604106.468
AT ITER 2252 NEW BEST:: SOT 5625222 SOS 3214734 HAS SOPS 3207494 HAS SOUS 602045 HAS SOUPS 600815 WITH SCORE 604029.734
AT ITER 2258 NEW BEST:: SOT 5625222 SOS 3215273 HAS SOPS 3208033 HAS SOUS 601968 HAS SOUPS 600738 WITH SCORE 603953.273
AT ITER 2269 NEW BEST:: SOT 5625222 SOS 3216399 HAS SOPS 3209159 HAS SOUS 601759 HAS SOUPS 600529 WITH SCORE 603745.399
AT ITER 2270 NEW BEST:: SOT 5625222 SOS 3216060 HAS SOPS 3208820 HAS SOUS 601576 HAS SOUPS 600346 WITH SCORE 603562.06
AT ITER 2272 NEW BEST:: SOT 5625222 SOS 3215318 HAS SOPS 3208078 HAS SOUS 601257 HAS SOUPS 600027 WITH SCORE 603242.318
AT ITER 2284 NEW BEST:: SOT 5625361 SOS 3216087 HAS SOPS 3208847 HAS SOUS 601192 HAS SOUPS 599962 WITH SCORE 603178.087
AT ITER 2290 NEW BEST:: SOT 5625361 SOS 3206420 HAS SOPS 3199180 HAS SOUS 600912 HAS SOUPS 599682 WITH SCORE 602888.42
AT ITER 2302 NEW BEST:: SOT 5625097 SOS 3206312 HAS SOPS 3199072 HAS SOUS 600586 HAS SOUPS 599356 WITH SCORE 602562.312
AT ITER 2303 NEW BEST:: SOT 5625097 SOS 3204842 HAS SOPS 3197602 HAS SOUS 599575 HAS SOUPS 598345 WITH SCORE 601549.842
AT ITER 2308 NEW BEST:: SOT 5625097 SOS 3207007 HAS SOPS 3199767 HAS SOUS 599300 HAS SOUPS 598070 WITH SCORE 601277.007
AT ITER 2309 NEW BEST:: SOT 5625097 SOS 3206991 HAS SOPS 3199751 HAS SOUS 599268 HAS SOUPS 598038 WITH SCORE 601244.991
AT ITER 2310 NEW BEST:: SOT 5625097 SOS 3203508 HAS SOPS 3196268 HAS SOUS 599268 HAS SOUPS 598038 WITH SCORE 601241.508
AT ITER 2311 NEW BEST:: SOT 5625097 SOS 3202881 HAS SOPS 3195641 HAS SOUS 599268 HAS SOUPS 598038 WITH SCORE 601240.881
AT ITER 2313 NEW BEST:: SOT 5625097 SOS 3202277 HAS SOPS 3195037 HAS SOUS 599164 HAS SOUPS 597934 WITH SCORE 601136.277
AT ITER 2323 NEW BEST:: SOT 5625124 SOS 3202047 HAS SOPS 3194807 HAS SOUS 598495 HAS SOUPS 597265 WITH SCORE 600467.047
AT ITER 2329 NEW BEST:: SOT 5626561 SOS 3203085 HAS SOPS 3195845 HAS SOUS 597975 HAS SOUPS 596745 WITH SCORE 599948.085
AT ITER 2330 NEW BEST:: SOT 5626561 SOS 3203571 HAS SOPS 3196331 HAS SOUS 597806 HAS SOUPS 596576 WITH SCORE 599779.571
AT ITER 2340 NEW BEST:: SOT 5626561 SOS 3203558 HAS SOPS 3196318 HAS SOUS 597686 HAS SOUPS 596456 WITH SCORE 599659.558
AT ITER 2343 NEW BEST:: SOT 5626561 SOS 3203660 HAS SOPS 3196420 HAS SOUS 597140 HAS SOUPS 595910 WITH SCORE 599113.66
AT ITER 2346 NEW BEST:: SOT 5626561 SOS 3203184 HAS SOPS 3195944 HAS SOUS 597140 HAS SOUPS 595910 WITH SCORE 599113.184
AT ITER 2347 NEW BEST:: SOT 5626561 SOS 3168232 HAS SOPS 3160992 HAS SOUS 597072 HAS SOUPS 595842 WITH SCORE 599010.232
AT ITER 2370 NEW BEST:: SOT 5626561 SOS 3153810 HAS SOPS 3146570 HAS SOUS 596816 HAS SOUPS 595586 WITH SCORE 598739.81
AT ITER 2375 NEW BEST:: SOT 5627172 SOS 3154421 HAS SOPS 3147110 HAS SOUS 596768 HAS SOUPS 595538 WITH SCORE 598692.421
AT ITER 2378 NEW BEST:: SOT 5627172 SOS 3154421 HAS SOPS 3147110 HAS SOUS 596708 HAS SOUPS 595478 WITH SCORE 598632.421
AT ITER 2385 NEW BEST:: SOT 5627172 SOS 3153868 HAS SOPS 3146557 HAS SOUS 596708 HAS SOUPS 595478 WITH SCORE 598631.868
AT ITER 2386 NEW BEST:: SOT 5627172 SOS 3153752 HAS SOPS 3146441 HAS SOUS 596708 HAS SOUPS 595478 WITH SCORE 598631.752
AT ITER 2387 NEW BEST:: SOT 5627172 SOS 3153704 HAS SOPS 3146393 HAS SOUS 596708 HAS SOUPS 595478 WITH SCORE 598631.704
AT ITER 2390 NEW BEST:: SOT 5627172 SOS 3154425 HAS SOPS 3147114 HAS SOUS 596630 HAS SOUPS 595400 WITH SCORE 598554.425
AT ITER 2391 NEW BEST:: SOT 5628479 SOS 3153905 HAS SOPS 3146594 HAS SOUS 596204 HAS SOUPS 594974 WITH SCORE 598127.905
AT ITER 2393 NEW BEST:: SOT 5628385 SOS 3155806 HAS SOPS 3148495 HAS SOUS 595594 HAS SOUPS 594364 WITH SCORE 597519.806
AT ITER 2399 NEW BEST:: SOT 5628053 SOS 3134226 HAS SOPS 3126915 HAS SOUS 594598 HAS SOUPS 593368 WITH SCORE 596502.226
AT ITER 2409 NEW BEST:: SOT 5628053 SOS 3134522 HAS SOPS 3127211 HAS SOUS 594561 HAS SOUPS 593331 WITH SCORE 596465.522
AT ITER 2419 NEW BEST:: SOT 5628156 SOS 3134290 HAS SOPS 3126979 HAS SOUS 594503 HAS SOUPS 593273 WITH SCORE 596407.29
AT ITER 2423 NEW BEST:: SOT 5628292 SOS 3146189 HAS SOPS 3138878 HAS SOUS 593867 HAS SOUPS 592637 WITH SCORE 595783.189
AT ITER 2425 NEW BEST:: SOT 5628292 SOS 3145943 HAS SOPS 3138632 HAS SOUS 593036 HAS SOUPS 591806 WITH SCORE 594951.943
AT ITER 2426 NEW BEST:: SOT 5628292 SOS 3145890 HAS SOPS 3138579 HAS SOUS 593036 HAS SOUPS 591806 WITH SCORE 594951.89
AT ITER 2428 NEW BEST:: SOT 5628292 SOS 3145722 HAS SOPS 3138411 HAS SOUS 593036 HAS SOUPS 591806 WITH SCORE 594951.722
AT ITER 2445 NEW BEST:: SOT 5628292 SOS 3145440 HAS SOPS 3138129 HAS SOUS 592989 HAS SOUPS 591759 WITH SCORE 594904.44
AT ITER 2452 NEW BEST:: SOT 5628292 SOS 3144991 HAS SOPS 3137680 HAS SOUS 592940 HAS SOUPS 591710 WITH SCORE 594854.991
AT ITER 2460 NEW BEST:: SOT 5628292 SOS 3143765 HAS SOPS 3136454 HAS SOUS 592711 HAS SOUPS 591481 WITH SCORE 594624.765
AT ITER 2462 NEW BEST:: SOT 5628260 SOS 3142929 HAS SOPS 3135618 HAS SOUS 592566 HAS SOUPS 591336 WITH SCORE 594478.929
AT ITER 2474 NEW BEST:: SOT 5628260 SOS 3142542 HAS SOPS 3135231 HAS SOUS 592437 HAS SOUPS 591207 WITH SCORE 594349.542
AT ITER 2475 NEW BEST:: SOT 5628331 SOS 3142613 HAS SOPS 3135302 HAS SOUS 591693 HAS SOUPS 590463 WITH SCORE 593605.613
AT ITER 2478 NEW BEST:: SOT 5628220 SOS 3143979 HAS SOPS 3136668 HAS SOUS 590520 HAS SOUPS 589290 WITH SCORE 592433.979
AT ITER 2479 NEW BEST:: SOT 5628220 SOS 3143999 HAS SOPS 3136688 HAS SOUS 590510 HAS SOUPS 589280 WITH SCORE 592423.999
AT ITER 2480 NEW BEST:: SOT 5628220 SOS 3143998 HAS SOPS 3136687 HAS SOUS 590509 HAS SOUPS 589279 WITH SCORE 592422.998
AT ITER 2481 NEW BEST:: SOT 5628220 SOS 3143571 HAS SOPS 3136260 HAS SOUS 589765 HAS SOUPS 588535 WITH SCORE 591678.571
AT ITER 2497 NEW BEST:: SOT 5628220 SOS 3143581 HAS SOPS 3136270 HAS SOUS 589641 HAS SOUPS 588411 WITH SCORE 591554.581
AT ITER 2504 NEW BEST:: SOT 5628498 SOS 3143859 HAS SOPS 3136548 HAS SOUS 589595 HAS SOUPS 588365 WITH SCORE 591508.859
AT ITER 2507 NEW BEST:: SOT 5628466 SOS 3143859 HAS SOPS 3136548 HAS SOUS 589371 HAS SOUPS 588141 WITH SCORE 591284.859
AT ITER 2520 NEW BEST:: SOT 5628466 SOS 3143623 HAS SOPS 3136312 HAS SOUS 589371 HAS SOUPS 588141 WITH SCORE 591284.623
AT ITER 2523 NEW BEST:: SOT 5628466 SOS 3141782 HAS SOPS 3134471 HAS SOUS 588983 HAS SOUPS 587753 WITH SCORE 590894.782
AT ITER 2537 NEW BEST:: SOT 5628286 SOS 3139489 HAS SOPS 3132178 HAS SOUS 588315 HAS SOUPS 587085 WITH SCORE 590224.489
AT ITER 2543 NEW BEST:: SOT 5628286 SOS 3127734 HAS SOPS 3120423 HAS SOUS 588315 HAS SOUPS 587085 WITH SCORE 590212.734
AT ITER 2546 NEW BEST:: SOT 5628286 SOS 3127248 HAS SOPS 3119937 HAS SOUS 588315 HAS SOUPS 587085 WITH SCORE 590212.248
AT ITER 2549 NEW BEST:: SOT 5628791 SOS 3127753 HAS SOPS 3120442 HAS SOUS 587963 HAS SOUPS 586733 WITH SCORE 589860.753
AT ITER 2551 NEW BEST:: SOT 5628854 SOS 3129278 HAS SOPS 3121967 HAS SOUS 587448 HAS SOUPS 586218 WITH SCORE 589347.278
AT ITER 2555 NEW BEST:: SOT 5628796 SOS 3129220 HAS SOPS 3121909 HAS SOUS 587388 HAS SOUPS 586158 WITH SCORE 589287.22
AT ITER 2556 NEW BEST:: SOT 5628796 SOS 3128786 HAS SOPS 3121475 HAS SOUS 586954 HAS SOUPS 585724 WITH SCORE 588852.786
AT ITER 2559 NEW BEST:: SOT 5628746 SOS 3128736 HAS SOPS 3121425 HAS SOUS 586854 HAS SOUPS 585624 WITH SCORE 588752.736
AT ITER 2567 NEW BEST:: SOT 5628779 SOS 3128769 HAS SOPS 3121458 HAS SOUS 586767 HAS SOUPS 585537 WITH SCORE 588665.769
AT ITER 2570 NEW BEST:: SOT 5628779 SOS 3127497 HAS SOPS 3120186 HAS SOUS 586110 HAS SOUPS 584880 WITH SCORE 588007.497
AT ITER 2582 NEW BEST:: SOT 5629171 SOS 3127889 HAS SOPS 3120578 HAS SOUS 585669 HAS SOUPS 584439 WITH SCORE 587566.889
AT ITER 2588 NEW BEST:: SOT 5629171 SOS 3127753 HAS SOPS 3120442 HAS SOUS 585635 HAS SOUPS 584405 WITH SCORE 587532.753
AT ITER 2595 NEW BEST:: SOT 5629171 SOS 3126680 HAS SOPS 3119369 HAS SOUS 585634 HAS SOUPS 584404 WITH SCORE 587530.68
AT ITER 2597 NEW BEST:: SOT 5629171 SOS 3125411 HAS SOPS 3118100 HAS SOUS 584547 HAS SOUPS 583317 WITH SCORE 586442.411
AT ITER 2602 NEW BEST:: SOT 5630152 SOS 3126392 HAS SOPS 3119081 HAS SOUS 584540 HAS SOUPS 583310 WITH SCORE 586436.392
AT ITER 2604 NEW BEST:: SOT 5629676 SOS 3126125 HAS SOPS 3119104 HAS SOUS 583769 HAS SOUPS 582759 WITH SCORE 585885.125
AT ITER 2606 NEW BEST:: SOT 5630005 SOS 3126454 HAS SOPS 3119433 HAS SOUS 583652 HAS SOUPS 582642 WITH SCORE 585768.454
AT ITER 2612 NEW BEST:: SOT 5629886 SOS 3128240 HAS SOPS 3121219 HAS SOUS 583391 HAS SOUPS 582381 WITH SCORE 585509.24
AT ITER 2615 NEW BEST:: SOT 5629886 SOS 3128089 HAS SOPS 3121068 HAS SOUS 583294 HAS SOUPS 582284 WITH SCORE 585412.089
AT ITER 2621 NEW BEST:: SOT 5629886 SOS 3127699 HAS SOPS 3120678 HAS SOUS 583294 HAS SOUPS 582284 WITH SCORE 585411.699
AT ITER 2625 NEW BEST:: SOT 5629886 SOS 3128447 HAS SOPS 3121426 HAS SOUS 583242 HAS SOUPS 582232 WITH SCORE 585360.447
AT ITER 2627 NEW BEST:: SOT 5629886 SOS 3126770 HAS SOPS 3119749 HAS SOUS 582671 HAS SOUPS 581661 WITH SCORE 584787.77
AT ITER 2630 NEW BEST:: SOT 5629886 SOS 3125154 HAS SOPS 3118133 HAS SOUS 582303 HAS SOUPS 581293 WITH SCORE 584418.154
AT ITER 2633 NEW BEST:: SOT 5629886 SOS 3125154 HAS SOPS 3118133 HAS SOUS 582255 HAS SOUPS 581245 WITH SCORE 584370.154
AT ITER 2634 NEW BEST:: SOT 5630070 SOS 3125761 HAS SOPS 3118740 HAS SOUS 581881 HAS SOUPS 580871 WITH SCORE 583996.761
AT ITER 2636 NEW BEST:: SOT 5630070 SOS 3125761 HAS SOPS 3118740 HAS SOUS 581864 HAS SOUPS 580854 WITH SCORE 583979.761
AT ITER 2640 NEW BEST:: SOT 5631982 SOS 3126623 HAS SOPS 3119602 HAS SOUS 581591 HAS SOUPS 580581 WITH SCORE 583707.623
AT ITER 2641 NEW BEST:: SOT 5631814 SOS 3128821 HAS SOPS 3121800 HAS SOUS 581149 HAS SOUPS 580139 WITH SCORE 583267.821
AT ITER 2642 NEW BEST:: SOT 5631814 SOS 3128809 HAS SOPS 3121788 HAS SOUS 581149 HAS SOUPS 580139 WITH SCORE 583267.809
AT ITER 2654 NEW BEST:: SOT 5631814 SOS 3102655 HAS SOPS 3095634 HAS SOUS 580787 HAS SOUPS 579777 WITH SCORE 582879.655
AT ITER 2655 NEW BEST:: SOT 5631754 SOS 3102295 HAS SOPS 3095274 HAS SOUS 580727 HAS SOUPS 579717 WITH SCORE 582819.295
AT ITER 2659 NEW BEST:: SOT 5631754 SOS 3102281 HAS SOPS 3095260 HAS SOUS 580713 HAS SOUPS 579703 WITH SCORE 582805.281
AT ITER 2666 NEW BEST:: SOT 5631611 SOS 3102138 HAS SOPS 3095117 HAS SOUS 580570 HAS SOUPS 579560 WITH SCORE 582662.138
AT ITER 2677 NEW BEST:: SOT 5631611 SOS 3095375 HAS SOPS 3088354 HAS SOUS 580449 HAS SOUPS 579439 WITH SCORE 582534.375
AT ITER 2685 NEW BEST:: SOT 5631611 SOS 3094282 HAS SOPS 3087261 HAS SOUS 580208 HAS SOUPS 579198 WITH SCORE 582292.282
AT ITER 2691 NEW BEST:: SOT 5631611 SOS 3092971 HAS SOPS 3085950 HAS SOUS 579845 HAS SOUPS 578835 WITH SCORE 581927.971
AT ITER 2694 NEW BEST:: SOT 5631485 SOS 3092845 HAS SOPS 3085824 HAS SOUS 579719 HAS SOUPS 578709 WITH SCORE 581801.845
AT ITER 2695 NEW BEST:: SOT 5632849 SOS 3093537 HAS SOPS 3086516 HAS SOUS 579714 HAS SOUPS 578704 WITH SCORE 581797.537
AT ITER 2706 NEW BEST:: SOT 5632849 SOS 3092706 HAS SOPS 3085685 HAS SOUS 579667 HAS SOUPS 578657 WITH SCORE 581749.706
AT ITER 2707 NEW BEST:: SOT 5632849 SOS 3092220 HAS SOPS 3085199 HAS SOUS 579505 HAS SOUPS 578495 WITH SCORE 581587.22
AT ITER 2711 NEW BEST:: SOT 5632849 SOS 3091477 HAS SOPS 3084456 HAS SOUS 579445 HAS SOUPS 578435 WITH SCORE 581526.477
AT ITER 2722 NEW BEST:: SOT 5632849 SOS 3090947 HAS SOPS 3083926 HAS SOUS 579335 HAS SOUPS 578325 WITH SCORE 581415.947
AT ITER 2723 NEW BEST:: SOT 5633113 SOS 3087633 HAS SOPS 3080612 HAS SOUS 579165 HAS SOUPS 578155 WITH SCORE 581242.633
AT ITER 2728 NEW BEST:: SOT 5633113 SOS 3088039 HAS SOPS 3081018 HAS SOUS 579017 HAS SOUPS 578007 WITH SCORE 581095.039
AT ITER 2733 NEW BEST:: SOT 5633001 SOS 3085868 HAS SOPS 3078847 HAS SOUS 578070 HAS SOUPS 577060 WITH SCORE 580145.868
AT ITER 2734 NEW BEST:: SOT 5632917 SOS 3085952 HAS SOPS 3078931 HAS SOUS 577986 HAS SOUPS 576976 WITH SCORE 580061.952
AT ITER 2738 NEW BEST:: SOT 5632917 SOS 3085705 HAS SOPS 3078684 HAS SOUS 577790 HAS SOUPS 576780 WITH SCORE 579865.705
AT ITER 2741 NEW BEST:: SOT 5633230 SOS 3086018 HAS SOPS 3078997 HAS SOUS 577611 HAS SOUPS 576601 WITH SCORE 579687.018
AT ITER 2743 NEW BEST:: SOT 5633215 SOS 3084908 HAS SOPS 3077887 HAS SOUS 577198 HAS SOUPS 576188 WITH SCORE 579272.908
AT ITER 2759 NEW BEST:: SOT 5633060 SOS 3083514 HAS SOPS 3076493 HAS SOUS 576655 HAS SOUPS 575645 WITH SCORE 578728.514
AT ITER 2762 NEW BEST:: SOT 5633060 SOS 3082662 HAS SOPS 3075641 HAS SOUS 576655 HAS SOUPS 575645 WITH SCORE 578727.662
AT ITER 2763 NEW BEST:: SOT 5632634 SOS 3082236 HAS SOPS 3075215 HAS SOUS 576229 HAS SOUPS 575219 WITH SCORE 578301.236
AT ITER 2765 NEW BEST:: SOT 5632634 SOS 3079923 HAS SOPS 3072902 HAS SOUS 575972 HAS SOUPS 574962 WITH SCORE 578041.923
AT ITER 2782 NEW BEST:: SOT 5633274 SOS 3080669 HAS SOPS 3073648 HAS SOUS 575758 HAS SOUPS 574748 WITH SCORE 577828.669
AT ITER 2785 NEW BEST:: SOT 5633274 SOS 3080089 HAS SOPS 3073068 HAS SOUS 575663 HAS SOUPS 574653 WITH SCORE 577733.089
AT ITER 2786 NEW BEST:: SOT 5633274 SOS 3081045 HAS SOPS 3074024 HAS SOUS 574673 HAS SOUPS 573663 WITH SCORE 576744.045
AT ITER 2787 NEW BEST:: SOT 5633274 SOS 3084959 HAS SOPS 3077938 HAS SOUS 574200 HAS SOUPS 573190 WITH SCORE 576274.959
AT ITER 2788 NEW BEST:: SOT 5633274 SOS 3084943 HAS SOPS 3077922 HAS SOUS 574184 HAS SOUPS 573174 WITH SCORE 576258.943
AT ITER 2792 NEW BEST:: SOT 5633473 SOS 3084762 HAS SOPS 3077741 HAS SOUS 574003 HAS SOUPS 572993 WITH SCORE 576077.762
AT ITER 2794 NEW BEST:: SOT 5633473 SOS 3070426 HAS SOPS 3063405 HAS SOUS 572717 HAS SOUPS 571707 WITH SCORE 574777.426
AT ITER 2798 NEW BEST:: SOT 5633473 SOS 3072627 HAS SOPS 3065606 HAS SOUS 572369 HAS SOUPS 571359 WITH SCORE 574431.627
AT ITER 2802 NEW BEST:: SOT 5633473 SOS 3072627 HAS SOPS 3065606 HAS SOUS 572351 HAS SOUPS 571341 WITH SCORE 574413.627
AT ITER 2839 NEW BEST:: SOT 5633473 SOS 3069466 HAS SOPS 3062445 HAS SOUS 572290 HAS SOUPS 571280 WITH SCORE 574349.466
AT ITER 2844 NEW BEST:: SOT 5633466 SOS 3069074 HAS SOPS 3062053 HAS SOUS 572276 HAS SOUPS 571266 WITH SCORE 574335.074
AT ITER 2847 NEW BEST:: SOT 5633466 SOS 3069417 HAS SOPS 3062396 HAS SOUS 572162 HAS SOUPS 571152 WITH SCORE 574221.417
AT ITER 2850 NEW BEST:: SOT 5633466 SOS 3068681 HAS SOPS 3061660 HAS SOUS 572162 HAS SOUPS 571152 WITH SCORE 574220.681
AT ITER 2858 NEW BEST:: SOT 5632659 SOS 3071655 HAS SOPS 3064634 HAS SOUS 571249 HAS SOUPS 570239 WITH SCORE 573310.655
AT ITER 2866 NEW BEST:: SOT 5632659 SOS 3070051 HAS SOPS 3063030 HAS SOUS 571127 HAS SOUPS 570117 WITH SCORE 573187.051
AT ITER 2877 NEW BEST:: SOT 5632659 SOS 3070041 HAS SOPS 3063020 HAS SOUS 571117 HAS SOUPS 570107 WITH SCORE 573177.041
AT ITER 2886 NEW BEST:: SOT 5632659 SOS 3069123 HAS SOPS 3062102 HAS SOUS 571015 HAS SOUPS 570005 WITH SCORE 573074.123
AT ITER 2891 NEW BEST:: SOT 5632659 SOS 3068325 HAS SOPS 3061304 HAS SOUS 570787 HAS SOUPS 569777 WITH SCORE 572845.325
AT ITER 2894 NEW BEST:: SOT 5632260 SOS 3067926 HAS SOPS 3060905 HAS SOUS 570715 HAS SOUPS 569705 WITH SCORE 572772.926
AT ITER 2897 NEW BEST:: SOT 5632260 SOS 3067926 HAS SOPS 3060905 HAS SOUS 570667 HAS SOUPS 569657 WITH SCORE 572724.926
AT ITER 2910 NEW BEST:: SOT 5632260 SOS 3067702 HAS SOPS 3060681 HAS SOUS 570667 HAS SOUPS 569657 WITH SCORE 572724.702
AT ITER 2919 NEW BEST:: SOT 5632260 SOS 3067702 HAS SOPS 3060681 HAS SOUS 570344 HAS SOUPS 569334 WITH SCORE 572401.702
AT ITER 2922 NEW BEST:: SOT 5632233 SOS 3067684 HAS SOPS 3060663 HAS SOUS 570308 HAS SOUPS 569298 WITH SCORE 572365.684
AT ITER 2926 NEW BEST:: SOT 5632233 SOS 3067038 HAS SOPS 3060017 HAS SOUS 570185 HAS SOUPS 569175 WITH SCORE 572242.038
AT ITER 2929 NEW BEST:: SOT 5632368 SOS 3067173 HAS SOPS 3060152 HAS SOUS 569767 HAS SOUPS 568757 WITH SCORE 571824.173
AT ITER 2930 NEW BEST:: SOT 5632368 SOS 3065698 HAS SOPS 3058677 HAS SOUS 569122 HAS SOUPS 568112 WITH SCORE 571177.698
AT ITER 2933 NEW BEST:: SOT 5632368 SOS 3065614 HAS SOPS 3058593 HAS SOUS 568917 HAS SOUPS 567907 WITH SCORE 570972.614
AT ITER 2940 NEW BEST:: SOT 5632256 SOS 3065502 HAS SOPS 3058481 HAS SOUS 568901 HAS SOUPS 567891 WITH SCORE 570956.502
AT ITER 2948 NEW BEST:: SOT 5632256 SOS 3067115 HAS SOPS 3060094 HAS SOUS 568814 HAS SOUPS 567804 WITH SCORE 570871.115
AT ITER 2949 NEW BEST:: SOT 5632212 SOS 3066763 HAS SOPS 3059742 HAS SOUS 568726 HAS SOUPS 567716 WITH SCORE 570782.763
AT ITER 2950 NEW BEST:: SOT 5632212 SOS 3066715 HAS SOPS 3059694 HAS SOUS 568678 HAS SOUPS 567668 WITH SCORE 570734.715
AT ITER 2956 NEW BEST:: SOT 5632212 SOS 3066705 HAS SOPS 3059684 HAS SOUS 568440 HAS SOUPS 567430 WITH SCORE 570496.705
AT ITER 2958 NEW BEST:: SOT 5632050 SOS 3066543 HAS SOPS 3059522 HAS SOUS 568278 HAS SOUPS 567268 WITH SCORE 570334.543
AT ITER 2967 NEW BEST:: SOT 5632050 SOS 3066543 HAS SOPS 3059522 HAS SOUS 568267 HAS SOUPS 567257 WITH SCORE 570323.543
AT ITER 2970 NEW BEST:: SOT 5632050 SOS 3067390 HAS SOPS 3060369 HAS SOUS 568146 HAS SOUPS 567136 WITH SCORE 570203.39
AT ITER 2985 NEW BEST:: SOT 5632050 SOS 3067342 HAS SOPS 3060321 HAS SOUS 568146 HAS SOUPS 567136 WITH SCORE 570203.342
AT ITER 2988 NEW BEST:: SOT 5632022 SOS 3067090 HAS SOPS 3060069 HAS SOUS 568062 HAS SOUPS 567052 WITH SCORE 570119.09
AT ITER 2990 NEW BEST:: SOT 5632022 SOS 3067090 HAS SOPS 3060069 HAS SOUS 568046 HAS SOUPS 567036 WITH SCORE 570103.09
AT ITER 3000 NEW BEST:: SOT 5632022 SOS 3066656 HAS SOPS 3059635 HAS SOUS 568046 HAS SOUPS 567036 WITH SCORE 570102.656
AT ITER 3014 NEW BEST:: SOT 5632154 SOS 3066788 HAS SOPS 3059767 HAS SOUS 567806 HAS SOUPS 566796 WITH SCORE 569862.788
AT ITER 3015 NEW BEST:: SOT 5630608 SOS 3065242 HAS SOPS 3058221 HAS SOUS 566517 HAS SOUPS 565507 WITH SCORE 568572.242
AT ITER 3017 NEW BEST:: SOT 5630608 SOS 3064751 HAS SOPS 3057730 HAS SOUS 566212 HAS SOUPS 565202 WITH SCORE 568266.751
AT ITER 3023 NEW BEST:: SOT 5630399 SOS 3064542 HAS SOPS 3057499 HAS SOUS 566192 HAS SOUPS 565182 WITH SCORE 568246.542
AT ITER 3025 NEW BEST:: SOT 5630399 SOS 3064528 HAS SOPS 3057485 HAS SOUS 566145 HAS SOUPS 565135 WITH SCORE 568199.528
AT ITER 3057 NEW BEST:: SOT 5630399 SOS 3062710 HAS SOPS 3055667 HAS SOUS 566055 HAS SOUPS 565045 WITH SCORE 568107.71
AT ITER 3062 NEW BEST:: SOT 5630399 SOS 3065468 HAS SOPS 3058425 HAS SOUS 565936 HAS SOUPS 564926 WITH SCORE 567991.468
AT ITER 3068 NEW BEST:: SOT 5630399 SOS 3042916 HAS SOPS 3035873 HAS SOUS 565642 HAS SOUPS 564632 WITH SCORE 567674.916
AT ITER 3075 NEW BEST:: SOT 5630178 SOS 3042275 HAS SOPS 3035232 HAS SOUS 564979 HAS SOUPS 563969 WITH SCORE 567011.275
AT ITER 3078 NEW BEST:: SOT 5630178 SOS 3041904 HAS SOPS 3034861 HAS SOUS 564979 HAS SOUPS 563969 WITH SCORE 567010.904
AT ITER 3086 NEW BEST:: SOT 5630178 SOS 3041904 HAS SOPS 3034861 HAS SOUS 564956 HAS SOUPS 563946 WITH SCORE 566987.904
AT ITER 3095 NEW BEST:: SOT 5630108 SOS 3041834 HAS SOPS 3034791 HAS SOUS 564881 HAS SOUPS 563871 WITH SCORE 566912.834
AT ITER 3105 NEW BEST:: SOT 5630108 SOS 3041841 HAS SOPS 3034798 HAS SOUS 564874 HAS SOUPS 563864 WITH SCORE 566905.841
AT ITER 3109 NEW BEST:: SOT 5630108 SOS 3041526 HAS SOPS 3034483 HAS SOUS 564874 HAS SOUPS 563864 WITH SCORE 566905.526
AT ITER 3137 NEW BEST:: SOT 5630108 SOS 3041686 HAS SOPS 3034643 HAS SOUS 564714 HAS SOUPS 563704 WITH SCORE 566745.686
AT ITER 3142 NEW BEST:: SOT 5630160 SOS 3041834 HAS SOPS 3034791 HAS SOUS 564660 HAS SOUPS 563650 WITH SCORE 566691.834
AT ITER 3146 NEW BEST:: SOT 5630160 SOS 3041889 HAS SOPS 3034846 HAS SOUS 564615 HAS SOUPS 563605 WITH SCORE 566646.889
AT ITER 3154 NEW BEST:: SOT 5630119 SOS 3041949 HAS SOPS 3034906 HAS SOUS 564544 HAS SOUPS 563534 WITH SCORE 566575.949
AT ITER 3161 NEW BEST:: SOT 5630031 SOS 3041850 HAS SOPS 3034807 HAS SOUS 564522 HAS SOUPS 563512 WITH SCORE 566553.85
AT ITER 3166 NEW BEST:: SOT 5630031 SOS 3030222 HAS SOPS 3023179 HAS SOUS 564318 HAS SOUPS 563308 WITH SCORE 566338.222
AT ITER 3175 NEW BEST:: SOT 5630031 SOS 3029056 HAS SOPS 3022013 HAS SOUS 563174 HAS SOUPS 562164 WITH SCORE 565193.056
AT ITER 3177 NEW BEST:: SOT 5630031 SOS 3011703 HAS SOPS 3004660 HAS SOUS 563174 HAS SOUPS 562164 WITH SCORE 565175.703
AT ITER 3178 NEW BEST:: SOT 5630031 SOS 3011703 HAS SOPS 3004648 HAS SOUS 563055 HAS SOUPS 562045 WITH SCORE 565056.703
AT ITER 3184 NEW BEST:: SOT 5630031 SOS 3010709 HAS SOPS 3003654 HAS SOUS 563055 HAS SOUPS 562045 WITH SCORE 565055.709
AT ITER 3198 NEW BEST:: SOT 5629859 SOS 3010769 HAS SOPS 3003714 HAS SOUS 562792 HAS SOUPS 561782 WITH SCORE 564792.769
AT ITER 3212 NEW BEST:: SOT 5617744 SOS 3309662 HAS SOPS 3309662 HAS SOUS 549571 HAS SOUPS 549571 WITH SCORE 552880.662
AT ITER 3218 NEW BEST:: SOT 5617801 SOS 3319969 HAS SOPS 3319969 HAS SOUS 549013 HAS SOUPS 549013 WITH SCORE 552332.969
AT ITER 3224 NEW BEST:: SOT 5617746 SOS 3319914 HAS SOPS 3319914 HAS SOUS 548958 HAS SOUPS 548958 WITH SCORE 552277.914
AT ITER 3269 NEW BEST:: SOT 5617735 SOS 3317376 HAS SOPS 3317376 HAS SOUS 548775 HAS SOUPS 548775 WITH SCORE 552092.376
AT ITER 3285 NEW BEST:: SOT 5617735 SOS 3315110 HAS SOPS 3315110 HAS SOUS 548744 HAS SOUPS 548744 WITH SCORE 552059.11
AT ITER 3286 NEW BEST:: SOT 5620943 SOS 3316680 HAS SOPS 3316680 HAS SOUS 548651 HAS SOUPS 548651 WITH SCORE 551967.68
AT ITER 3287 NEW BEST:: SOT 5620943 SOS 3316699 HAS SOPS 3316699 HAS SOUS 548410 HAS SOUPS 548410 WITH SCORE 551726.699
AT ITER 3292 NEW BEST:: SOT 5621210 SOS 3316686 HAS SOPS 3316686 HAS SOUS 548397 HAS SOUPS 548397 WITH SCORE 551713.686
AT ITER 3297 NEW BEST:: SOT 5621277 SOS 3316662 HAS SOPS 3316662 HAS SOUS 548282 HAS SOUPS 548282 WITH SCORE 551598.662
AT ITER 3299 NEW BEST:: SOT 5621277 SOS 3316644 HAS SOPS 3316644 HAS SOUS 548264 HAS SOUPS 548264 WITH SCORE 551580.644
AT ITER 3306 NEW BEST:: SOT 5621201 SOS 3316566 HAS SOPS 3316566 HAS SOUS 548186 HAS SOUPS 548186 WITH SCORE 551502.566
AT ITER 3315 NEW BEST:: SOT 5620924 SOS 3314361 HAS SOPS 3314361 HAS SOUS 547909 HAS SOUPS 547909 WITH SCORE 551223.361
AT ITER 3317 NEW BEST:: SOT 5620393 SOS 3463674 HAS SOPS 3463674 HAS SOUS 547642 HAS SOUPS 547642 WITH SCORE 551105.674
AT ITER 3324 NEW BEST:: SOT 5620337 SOS 3463618 HAS SOPS 3463618 HAS SOUS 547586 HAS SOUPS 547586 WITH SCORE 551049.618
AT ITER 3329 NEW BEST:: SOT 5621175 SOS 3460334 HAS SOPS 3460334 HAS SOUS 547529 HAS SOUPS 547529 WITH SCORE 550989.334
AT ITER 3330 NEW BEST:: SOT 5620085 SOS 3459009 HAS SOPS 3459009 HAS SOUS 547241 HAS SOUPS 547241 WITH SCORE 550700.009
AT ITER 3335 NEW BEST:: SOT 5620085 SOS 3459056 HAS SOPS 3459056 HAS SOUS 547176 HAS SOUPS 547176 WITH SCORE 550635.056
AT ITER 3340 NEW BEST:: SOT 5620085 SOS 3457816 HAS SOPS 3457816 HAS SOUS 547010 HAS SOUPS 547010 WITH SCORE 550467.816
AT ITER 3346 NEW BEST:: SOT 5613560 SOS 3562248 HAS SOPS 3562248 HAS SOUS 540746 HAS SOUPS 540746 WITH SCORE 544308.248
AT ITER 3350 NEW BEST:: SOT 5613560 SOS 3562248 HAS SOPS 3562248 HAS SOUS 540557 HAS SOUPS 540557 WITH SCORE 544119.248
AT ITER 3354 NEW BEST:: SOT 5613282 SOS 3560549 HAS SOPS 3560549 HAS SOUS 540290 HAS SOUPS 540290 WITH SCORE 543850.549
AT ITER 3356 NEW BEST:: SOT 5613000 SOS 3560339 HAS SOPS 3560339 HAS SOUS 539726 HAS SOUPS 539726 WITH SCORE 543286.339
AT ITER 3362 NEW BEST:: SOT 5612918 SOS 3560257 HAS SOPS 3560257 HAS SOUS 539710 HAS SOUPS 539710 WITH SCORE 543270.257
AT ITER 3364 NEW BEST:: SOT 5615548 SOS 3561627 HAS SOPS 3561627 HAS SOUS 539599 HAS SOUPS 539599 WITH SCORE 543160.627
AT ITER 3374 NEW BEST:: SOT 5615360 SOS 3561439 HAS SOPS 3561439 HAS SOUS 539183 HAS SOUPS 539183 WITH SCORE 542744.439
AT ITER 3376 NEW BEST:: SOT 5615360 SOS 3561711 HAS SOPS 3561711 HAS SOUS 538909 HAS SOUPS 538909 WITH SCORE 542470.711
AT ITER 3377 NEW BEST:: SOT 5615360 SOS 3561711 HAS SOPS 3561711 HAS SOUS 538890 HAS SOUPS 538890 WITH SCORE 542451.711
AT ITER 3395 NEW BEST:: SOT 5615360 SOS 3562821 HAS SOPS 3562821 HAS SOUS 538705 HAS SOUPS 538705 WITH SCORE 542267.821
AT ITER 3403 NEW BEST:: SOT 5615790 SOS 3563381 HAS SOPS 3563381 HAS SOUS 536930 HAS SOUPS 536930 WITH SCORE 540493.381
AT ITER 3411 NEW BEST:: SOT 5615790 SOS 3563622 HAS SOPS 3563622 HAS SOUS 536748 HAS SOUPS 536748 WITH SCORE 540311.622
AT ITER 3415 NEW BEST:: SOT 5615215 SOS 3563609 HAS SOPS 3563609 HAS SOUS 536075 HAS SOUPS 536075 WITH SCORE 539638.609
AT ITER 3416 NEW BEST:: SOT 5615215 SOS 3563924 HAS SOPS 3563924 HAS SOUS 536030 HAS SOUPS 536030 WITH SCORE 539593.924
AT ITER 3433 NEW BEST:: SOT 5615215 SOS 3563558 HAS SOPS 3563558 HAS SOUS 535119 HAS SOUPS 535119 WITH SCORE 538682.558
AT ITER 3437 NEW BEST:: SOT 5614870 SOS 3563213 HAS SOPS 3563213 HAS SOUS 534717 HAS SOUPS 534717 WITH SCORE 538280.213
AT ITER 3445 NEW BEST:: SOT 5614870 SOS 3563074 HAS SOPS 3563074 HAS SOUS 534578 HAS SOUPS 534578 WITH SCORE 538141.074
AT ITER 3458 NEW BEST:: SOT 5614870 SOS 3562563 HAS SOPS 3562563 HAS SOUS 534480 HAS SOUPS 534480 WITH SCORE 538042.563
AT ITER 3495 NEW BEST:: SOT 5614675 SOS 3561574 HAS SOPS 3561574 HAS SOUS 534266 HAS SOUPS 534266 WITH SCORE 537827.574
AT ITER 3501 NEW BEST:: SOT 5614675 SOS 3561358 HAS SOPS 3561358 HAS SOUS 534194 HAS SOUPS 534194 WITH SCORE 537755.358
AT ITER 3505 NEW BEST:: SOT 5614672 SOS 3561355 HAS SOPS 3561355 HAS SOUS 534186 HAS SOUPS 534186 WITH SCORE 537747.355
AT ITER 3514 NEW BEST:: SOT 5614672 SOS 3561355 HAS SOPS 3561355 HAS SOUS 533456 HAS SOUPS 533456 WITH SCORE 537017.355
AT ITER 3517 NEW BEST:: SOT 5614672 SOS 3561340 HAS SOPS 3561340 HAS SOUS 533441 HAS SOUPS 533441 WITH SCORE 537002.34
AT ITER 3519 NEW BEST:: SOT 5614301 SOS 3560953 HAS SOPS 3560953 HAS SOUS 533246 HAS SOUPS 533246 WITH SCORE 536806.953
AT ITER 3522 NEW BEST:: SOT 5614301 SOS 3560977 HAS SOPS 3560977 HAS SOUS 533208 HAS SOUPS 533208 WITH SCORE 536768.977
AT ITER 3528 NEW BEST:: SOT 5613507 SOS 3560183 HAS SOPS 3560183 HAS SOUS 533059 HAS SOUPS 533059 WITH SCORE 536619.183
AT ITER 3537 NEW BEST:: SOT 5611500 SOS 3559220 HAS SOPS 3559220 HAS SOUS 531757 HAS SOUPS 531757 WITH SCORE 535316.22
AT ITER 3539 NEW BEST:: SOT 5611500 SOS 3559323 HAS SOPS 3559323 HAS SOUS 531473 HAS SOUPS 531473 WITH SCORE 535032.323
AT ITER 3542 NEW BEST:: SOT 5612028 SOS 3559851 HAS SOPS 3559851 HAS SOUS 531052 HAS SOUPS 531052 WITH SCORE 534611.851
AT ITER 3549 NEW BEST:: SOT 5612028 SOS 3559851 HAS SOPS 3559851 HAS SOUS 530762 HAS SOUPS 530762 WITH SCORE 534321.851
AT ITER 3555 NEW BEST:: SOT 5612028 SOS 3559851 HAS SOPS 3559851 HAS SOUS 530372 HAS SOUPS 530372 WITH SCORE 533931.851
AT ITER 3558 NEW BEST:: SOT 5612028 SOS 3558080 HAS SOPS 3558080 HAS SOUS 529679 HAS SOUPS 529679 WITH SCORE 533237.08
AT ITER 3565 NEW BEST:: SOT 5612028 SOS 3543510 HAS SOPS 3543510 HAS SOUS 529679 HAS SOUPS 529679 WITH SCORE 533222.51
AT ITER 3566 NEW BEST:: SOT 5611902 SOS 3543384 HAS SOPS 3543384 HAS SOUS 529498 HAS SOUPS 529498 WITH SCORE 533041.384
AT ITER 3567 NEW BEST:: SOT 5611605 SOS 3543751 HAS SOPS 3543751 HAS SOUS 529409 HAS SOUPS 529409 WITH SCORE 532952.751
AT ITER 3585 NEW BEST:: SOT 5611563 SOS 3543709 HAS SOPS 3543709 HAS SOUS 529388 HAS SOUPS 529388 WITH SCORE 532931.709
AT ITER 3612 NEW BEST:: SOT 5613073 SOS 3545219 HAS SOPS 3545219 HAS SOUS 529045 HAS SOUPS 529045 WITH SCORE 532590.219
AT ITER 3636 NEW BEST:: SOT 5613073 SOS 3528176 HAS SOPS 3528176 HAS SOUS 529045 HAS SOUPS 529045 WITH SCORE 532573.176
AT ITER 3640 NEW BEST:: SOT 5613458 SOS 3528561 HAS SOPS 3528561 HAS SOUS 528926 HAS SOUPS 528926 WITH SCORE 532454.561
AT ITER 3645 NEW BEST:: SOT 5612897 SOS 3527954 HAS SOPS 3527954 HAS SOUS 528319 HAS SOUPS 528319 WITH SCORE 531846.954
AT ITER 3646 NEW BEST:: SOT 5612761 SOS 3526866 HAS SOPS 3526866 HAS SOUS 528047 HAS SOUPS 528047 WITH SCORE 531573.866
AT ITER 3655 NEW BEST:: SOT 5612761 SOS 3526718 HAS SOPS 3526718 HAS SOUS 527899 HAS SOUPS 527899 WITH SCORE 531425.718
AT ITER 3656 NEW BEST:: SOT 5612761 SOS 3526718 HAS SOPS 3526718 HAS SOUS 527831 HAS SOUPS 527831 WITH SCORE 531357.718
AT ITER 3661 NEW BEST:: SOT 5612761 SOS 3525533 HAS SOPS 3525533 HAS SOUS 527572 HAS SOUPS 527572 WITH SCORE 531097.533
AT ITER 3684 NEW BEST:: SOT 5612761 SOS 3528555 HAS SOPS 3528555 HAS SOUS 527350 HAS SOUPS 527350 WITH SCORE 530878.555
AT ITER 3698 NEW BEST:: SOT 5612761 SOS 3527190 HAS SOPS 3527190 HAS SOUS 527350 HAS SOUPS 527350 WITH SCORE 530877.19
AT ITER 3707 NEW BEST:: SOT 5612767 SOS 3527196 HAS SOPS 3527196 HAS SOUS 527315 HAS SOUPS 527315 WITH SCORE 530842.196
AT ITER 3708 NEW BEST:: SOT 5611874 SOS 3563040 HAS SOPS 3563040 HAS SOUS 526332 HAS SOUPS 526332 WITH SCORE 529895.04
AT ITER 3711 NEW BEST:: SOT 5611874 SOS 3561656 HAS SOPS 3561656 HAS SOUS 525789 HAS SOUPS 525789 WITH SCORE 529350.656
AT ITER 3715 NEW BEST:: SOT 5611889 SOS 3561536 HAS SOPS 3561536 HAS SOUS 525789 HAS SOUPS 525789 WITH SCORE 529350.536
AT ITER 3725 NEW BEST:: SOT 5611889 SOS 3560109 HAS SOPS 3560109 HAS SOUS 525490 HAS SOUPS 525490 WITH SCORE 529050.109
AT ITER 3730 NEW BEST:: SOT 5611889 SOS 3561845 HAS SOPS 3561845 HAS SOUS 525409 HAS SOUPS 525409 WITH SCORE 528970.845
AT ITER 3735 NEW BEST:: SOT 5611889 SOS 3561845 HAS SOPS 3561845 HAS SOUS 525226 HAS SOUPS 525226 WITH SCORE 528787.845
AT ITER 3747 NEW BEST:: SOT 5611889 SOS 3561845 HAS SOPS 3561845 HAS SOUS 525120 HAS SOUPS 525120 WITH SCORE 528681.845
AT ITER 3777 NEW BEST:: SOT 5611889 SOS 3562058 HAS SOPS 3562058 HAS SOUS 524895 HAS SOUPS 524895 WITH SCORE 528457.058
AT ITER 3783 NEW BEST:: SOT 5611889 SOS 3561680 HAS SOPS 3561680 HAS SOUS 524895 HAS SOUPS 524895 WITH SCORE 528456.68
AT ITER 3786 NEW BEST:: SOT 5611805 SOS 3561512 HAS SOPS 3561512 HAS SOUS 524805 HAS SOUPS 524805 WITH SCORE 528366.512
AT ITER 3795 NEW BEST:: SOT 5612560 SOS 3562748 HAS SOPS 3562748 HAS SOUS 524401 HAS SOUPS 524401 WITH SCORE 527963.748
AT ITER 3799 NEW BEST:: SOT 5612560 SOS 3564509 HAS SOPS 3564509 HAS SOUS 524305 HAS SOUPS 524305 WITH SCORE 527869.509
AT ITER 3818 NEW BEST:: SOT 5612989 SOS 3564938 HAS SOPS 3564938 HAS SOUS 523592 HAS SOUPS 523592 WITH SCORE 527156.938
AT ITER 3822 NEW BEST:: SOT 5612989 SOS 3563657 HAS SOPS 3563657 HAS SOUS 523457 HAS SOUPS 523457 WITH SCORE 527020.657
AT ITER 3827 NEW BEST:: SOT 5612955 SOS 3563561 HAS SOPS 3563561 HAS SOUS 523361 HAS SOUPS 523361 WITH SCORE 526924.561
AT ITER 3830 NEW BEST:: SOT 5612955 SOS 3563528 HAS SOPS 3563528 HAS SOUS 523328 HAS SOUPS 523328 WITH SCORE 526891.528
AT ITER 3833 NEW BEST:: SOT 5612946 SOS 3563519 HAS SOPS 3563519 HAS SOUS 523323 HAS SOUPS 523323 WITH SCORE 526886.519
AT ITER 3837 NEW BEST:: SOT 5612976 SOS 3563549 HAS SOPS 3563549 HAS SOUS 523229 HAS SOUPS 523229 WITH SCORE 526792.549
AT ITER 3843 NEW BEST:: SOT 5612976 SOS 3561335 HAS SOPS 3561335 HAS SOUS 522983 HAS SOUPS 522983 WITH SCORE 526544.335
AT ITER 3854 NEW BEST:: SOT 5613904 SOS 3562701 HAS SOPS 3562701 HAS SOUS 522775 HAS SOUPS 522775 WITH SCORE 526337.701
AT ITER 3858 NEW BEST:: SOT 5613904 SOS 3563067 HAS SOPS 3563067 HAS SOUS 522458 HAS SOUPS 522458 WITH SCORE 526021.067
AT ITER 3864 NEW BEST:: SOT 5613904 SOS 3563057 HAS SOPS 3563057 HAS SOUS 522448 HAS SOUPS 522448 WITH SCORE 526011.057
AT ITER 3880 NEW BEST:: SOT 5618032 SOS 3562775 HAS SOPS 3562775 HAS SOUS 521417 HAS SOUPS 521417 WITH SCORE 524979.775
AT ITER 3881 NEW BEST:: SOT 5618032 SOS 3562783 HAS SOPS 3562783 HAS SOUS 521383 HAS SOUPS 521383 WITH SCORE 524945.783
AT ITER 3887 NEW BEST:: SOT 5618111 SOS 3562040 HAS SOPS 3562040 HAS SOUS 521271 HAS SOUPS 521271 WITH SCORE 524833.04
AT ITER 3889 NEW BEST:: SOT 5618111 SOS 3562040 HAS SOPS 3562040 HAS SOUS 520605 HAS SOUPS 520605 WITH SCORE 524167.04
AT ITER 3893 NEW BEST:: SOT 5616581 SOS 3558766 HAS SOPS 3558766 HAS SOUS 519001 HAS SOUPS 519001 WITH SCORE 522559.766
AT ITER 3900 NEW BEST:: SOT 5616548 SOS 3562492 HAS SOPS 3562492 HAS SOUS 518904 HAS SOUPS 518904 WITH SCORE 522466.492
AT ITER 3914 NEW BEST:: SOT 5616323 SOS 3562267 HAS SOPS 3562267 HAS SOUS 518679 HAS SOUPS 518679 WITH SCORE 522241.267
AT ITER 3918 NEW BEST:: SOT 5616323 SOS 3562695 HAS SOPS 3562695 HAS SOUS 518501 HAS SOUPS 518501 WITH SCORE 522063.695
AT ITER 3928 NEW BEST:: SOT 5616323 SOS 3561911 HAS SOPS 3561911 HAS SOUS 518389 HAS SOUPS 518389 WITH SCORE 521950.911
AT ITER 3934 NEW BEST:: SOT 5615480 SOS 3560510 HAS SOPS 3560510 HAS SOUS 517040 HAS SOUPS 517040 WITH SCORE 520600.51
AT ITER 3937 NEW BEST:: SOT 5615480 SOS 3543099 HAS SOPS 3543099 HAS SOUS 517040 HAS SOUPS 517040 WITH SCORE 520583.099
AT ITER 3939 NEW BEST:: SOT 5615480 SOS 3543175 HAS SOPS 3543175 HAS SOUS 516915 HAS SOUPS 516915 WITH SCORE 520458.175
AT ITER 3940 NEW BEST:: SOT 5614904 SOS 3542599 HAS SOPS 3542599 HAS SOUS 516339 HAS SOUPS 516339 WITH SCORE 519881.599
AT ITER 3943 NEW BEST:: SOT 5614904 SOS 3549655 HAS SOPS 3549655 HAS SOUS 516115 HAS SOUPS 516115 WITH SCORE 519664.655
AT ITER 3964 NEW BEST:: SOT 5614904 SOS 3549359 HAS SOPS 3549359 HAS SOUS 516115 HAS SOUPS 516115 WITH SCORE 519664.359
AT ITER 3973 NEW BEST:: SOT 5614967 SOS 3549800 HAS SOPS 3549800 HAS SOUS 516064 HAS SOUPS 516064 WITH SCORE 519613.8
AT ITER 3983 NEW BEST:: SOT 5614967 SOS 3545908 HAS SOPS 3545908 HAS SOUS 516042 HAS SOUPS 516042 WITH SCORE 519587.908
AT ITER 3992 NEW BEST:: SOT 5615081 SOS 3545867 HAS SOPS 3545867 HAS SOUS 516001 HAS SOUPS 516001 WITH SCORE 519546.867
AT ITER 3993 NEW BEST:: SOT 5615081 SOS 3546366 HAS SOPS 3546366 HAS SOUS 515881 HAS SOUPS 515881 WITH SCORE 519427.366
AT ITER 3999 NEW BEST:: SOT 5615081 SOS 3544827 HAS SOPS 3544827 HAS SOUS 515710 HAS SOUPS 515710 WITH SCORE 519254.827
AT ITER 4003 NEW BEST:: SOT 5615081 SOS 3544809 HAS SOPS 3544809 HAS SOUS 515710 HAS SOUPS 515710 WITH SCORE 519254.809
AT ITER 4025 NEW BEST:: SOT 5613590 SOS 3543318 HAS SOPS 3543318 HAS SOUS 514950 HAS SOUPS 514950 WITH SCORE 518493.318
AT ITER 4028 NEW BEST:: SOT 5613590 SOS 3543017 HAS SOPS 3543017 HAS SOUS 514950 HAS SOUPS 514950 WITH SCORE 518493.017
AT ITER 4031 NEW BEST:: SOT 5613590 SOS 3541106 HAS SOPS 3541106 HAS SOUS 514950 HAS SOUPS 514950 WITH SCORE 518491.106
AT ITER 4033 NEW BEST:: SOT 5613590 SOS 3540826 HAS SOPS 3540826 HAS SOUS 514870 HAS SOUPS 514870 WITH SCORE 518410.826
AT ITER 4048 NEW BEST:: SOT 5614049 SOS 3541285 HAS SOPS 3541285 HAS SOUS 514839 HAS SOUPS 514839 WITH SCORE 518380.285
AT ITER 4055 NEW BEST:: SOT 5614049 SOS 3540005 HAS SOPS 3540005 HAS SOUS 514738 HAS SOUPS 514738 WITH SCORE 518278.005
AT ITER 4075 NEW BEST:: SOT 5614162 SOS 3539856 HAS SOPS 3539856 HAS SOUS 514720 HAS SOUPS 514720 WITH SCORE 518259.856
AT ITER 4076 NEW BEST:: SOT 5614162 SOS 3539766 HAS SOPS 3539766 HAS SOUS 514675 HAS SOUPS 514675 WITH SCORE 518214.766
AT ITER 4079 NEW BEST:: SOT 5614162 SOS 3539724 HAS SOPS 3539724 HAS SOUS 514669 HAS SOUPS 514669 WITH SCORE 518208.724
AT ITER 4083 NEW BEST:: SOT 5614494 SOS 3540056 HAS SOPS 3540056 HAS SOUS 514569 HAS SOUPS 514569 WITH SCORE 518109.056
AT ITER 4086 NEW BEST:: SOT 5614494 SOS 3539739 HAS SOPS 3539739 HAS SOUS 514418 HAS SOUPS 514418 WITH SCORE 517957.739
AT ITER 4116 NEW BEST:: SOT 5614288 SOS 3539327 HAS SOPS 3539327 HAS SOUS 513800 HAS SOUPS 513800 WITH SCORE 517339.327
AT ITER 4130 NEW BEST:: SOT 5614155 SOS 3539194 HAS SOPS 3539194 HAS SOUS 513686 HAS SOUPS 513686 WITH SCORE 517225.194
AT ITER 4131 NEW BEST:: SOT 5614155 SOS 3539165 HAS SOPS 3539165 HAS SOUS 513570 HAS SOUPS 513570 WITH SCORE 517109.165
AT ITER 4133 NEW BEST:: SOT 5614155 SOS 3539101 HAS SOPS 3539101 HAS SOUS 513506 HAS SOUPS 513506 WITH SCORE 517045.101
AT ITER 4140 NEW BEST:: SOT 5614186 SOS 3539132 HAS SOPS 3539132 HAS SOUS 513363 HAS SOUPS 513363 WITH SCORE 516902.132
AT ITER 4145 NEW BEST:: SOT 5614186 SOS 3539420 HAS SOPS 3539420 HAS SOUS 513219 HAS SOUPS 513219 WITH SCORE 516758.42
AT ITER 4169 NEW BEST:: SOT 5614896 SOS 3540130 HAS SOPS 3540130 HAS SOUS 513092 HAS SOUPS 513092 WITH SCORE 516632.13
AT ITER 4193 NEW BEST:: SOT 5614896 SOS 3540090 HAS SOPS 3540090 HAS SOUS 513052 HAS SOUPS 513052 WITH SCORE 516592.09
AT ITER 4194 NEW BEST:: SOT 5615604 SOS 3540798 HAS SOPS 3540798 HAS SOUS 513040 HAS SOUPS 513040 WITH SCORE 516580.798
AT ITER 4198 NEW BEST:: SOT 5615604 SOS 3540790 HAS SOPS 3540790 HAS SOUS 513036 HAS SOUPS 513036 WITH SCORE 516576.79
AT ITER 4199 NEW BEST:: SOT 5615604 SOS 3540696 HAS SOPS 3540696 HAS SOUS 513036 HAS SOUPS 513036 WITH SCORE 516576.696
AT ITER 4224 NEW BEST:: SOT 5615604 SOS 3540696 HAS SOPS 3540696 HAS SOUS 513008 HAS SOUPS 513008 WITH SCORE 516548.696
AT ITER 4239 NEW BEST:: SOT 5615285 SOS 3540377 HAS SOPS 3540377 HAS SOUS 512878 HAS SOUPS 512878 WITH SCORE 516418.377
AT ITER 4256 NEW BEST:: SOT 5615285 SOS 3540377 HAS SOPS 3540377 HAS SOUS 512558 HAS SOUPS 512558 WITH SCORE 516098.377
AT ITER 4266 NEW BEST:: SOT 5615285 SOS 3540270 HAS SOPS 3540270 HAS SOUS 512558 HAS SOUPS 512558 WITH SCORE 516098.27
AT ITER 4278 NEW BEST:: SOT 5615285 SOS 3540725 HAS SOPS 3540725 HAS SOUS 512351 HAS SOUPS 512351 WITH SCORE 515891.725
AT ITER 4301 NEW BEST:: SOT 5615976 SOS 3541416 HAS SOPS 3541416 HAS SOUS 512106 HAS SOUPS 512106 WITH SCORE 515647.416
AT ITER 4307 NEW BEST:: SOT 5616015 SOS 3541455 HAS SOPS 3541455 HAS SOUS 512099 HAS SOUPS 512099 WITH SCORE 515640.455
AT ITER 4314 NEW BEST:: SOT 5614727 SOS 3541473 HAS SOPS 3541473 HAS SOUS 511879 HAS SOUPS 511879 WITH SCORE 515420.473
AT ITER 4331 NEW BEST:: SOT 5614671 SOS 3541417 HAS SOPS 3541417 HAS SOUS 511823 HAS SOUPS 511823 WITH SCORE 515364.417
AT ITER 4332 NEW BEST:: SOT 5614662 SOS 3541345 HAS SOPS 3541345 HAS SOUS 511796 HAS SOUPS 511796 WITH SCORE 515337.345
AT ITER 4340 NEW BEST:: SOT 5614852 SOS 3541535 HAS SOPS 3541535 HAS SOUS 511758 HAS SOUPS 511758 WITH SCORE 515299.535
AT ITER 4345 NEW BEST:: SOT 5614985 SOS 3541668 HAS SOPS 3541668 HAS SOUS 511182 HAS SOUPS 511182 WITH SCORE 514723.668
AT ITER 4350 NEW BEST:: SOT 5614985 SOS 3541572 HAS SOPS 3541572 HAS SOUS 511170 HAS SOUPS 511170 WITH SCORE 514711.572
AT ITER 4352 NEW BEST:: SOT 5614985 SOS 3540700 HAS SOPS 3540700 HAS SOUS 511170 HAS SOUPS 511170 WITH SCORE 514710.7
AT ITER 4365 NEW BEST:: SOT 5615108 SOS 3540823 HAS SOPS 3540823 HAS SOUS 511147 HAS SOUPS 511147 WITH SCORE 514687.823
AT ITER 4366 NEW BEST:: SOT 5615108 SOS 3540797 HAS SOPS 3540797 HAS SOUS 511147 HAS SOUPS 511147 WITH SCORE 514687.797
AT ITER 4373 NEW BEST:: SOT 5615108 SOS 3540790 HAS SOPS 3540790 HAS SOUS 511147 HAS SOUPS 511147 WITH SCORE 514687.79
AT ITER 4382 NEW BEST:: SOT 5614975 SOS 3540657 HAS SOPS 3540657 HAS SOUS 511045 HAS SOUPS 511045 WITH SCORE 514585.657
AT ITER 4390 NEW BEST:: SOT 5616207 SOS 3540601 HAS SOPS 3540601 HAS SOUS 511006 HAS SOUPS 511006 WITH SCORE 514546.601
AT ITER 4391 NEW BEST:: SOT 5616207 SOS 3540565 HAS SOPS 3540565 HAS SOUS 511006 HAS SOUPS 511006 WITH SCORE 514546.565
AT ITER 4396 NEW BEST:: SOT 5616207 SOS 3540453 HAS SOPS 3540453 HAS SOUS 511006 HAS SOUPS 511006 WITH SCORE 514546.453
AT ITER 4397 NEW BEST:: SOT 5609582 SOS 3562594 HAS SOPS 3562594 HAS SOUS 510650 HAS SOUPS 510650 WITH SCORE 514212.594
AT ITER 4399 NEW BEST:: SOT 5609582 SOS 3562594 HAS SOPS 3562594 HAS SOUS 510584 HAS SOUPS 510584 WITH SCORE 514146.594
AT ITER 4406 NEW BEST:: SOT 5609582 SOS 3562594 HAS SOPS 3562594 HAS SOUS 510476 HAS SOUPS 510476 WITH SCORE 514038.594
AT ITER 4440 NEW BEST:: SOT 5609139 SOS 3562151 HAS SOPS 3562151 HAS SOUS 510033 HAS SOUPS 510033 WITH SCORE 513595.151
AT ITER 4461 NEW BEST:: SOT 5609107 SOS 3562375 HAS SOPS 3562375 HAS SOUS 510001 HAS SOUPS 510001 WITH SCORE 513563.375
AT ITER 4465 NEW BEST:: SOT 5609107 SOS 3562375 HAS SOPS 3562375 HAS SOUS 509994 HAS SOUPS 509994 WITH SCORE 513556.375
AT ITER 4466 NEW BEST:: SOT 5609107 SOS 3562348 HAS SOPS 3562348 HAS SOUS 509994 HAS SOUPS 509994 WITH SCORE 513556.348
AT ITER 4468 NEW BEST:: SOT 5609331 SOS 3562572 HAS SOPS 3562572 HAS SOUS 509880 HAS SOUPS 509880 WITH SCORE 513442.572
AT ITER 4475 NEW BEST:: SOT 5609099 SOS 3561710 HAS SOPS 3561710 HAS SOUS 509316 HAS SOUPS 509316 WITH SCORE 512877.71
AT ITER 4477 NEW BEST:: SOT 5609099 SOS 3561416 HAS SOPS 3561416 HAS SOUS 509274 HAS SOUPS 509274 WITH SCORE 512835.416
AT ITER 4479 NEW BEST:: SOT 5609099 SOS 3560529 HAS SOPS 3560529 HAS SOUS 509115 HAS SOUPS 509115 WITH SCORE 512675.529
AT ITER 4485 NEW BEST:: SOT 5609099 SOS 3562209 HAS SOPS 3562209 HAS SOUS 508875 HAS SOUPS 508875 WITH SCORE 512437.209
AT ITER 4500 NEW BEST:: SOT 5609099 SOS 3563546 HAS SOPS 3563546 HAS SOUS 508636 HAS SOUPS 508636 WITH SCORE 512199.546
AT ITER 4503 NEW BEST:: SOT 5609099 SOS 3562676 HAS SOPS 3562676 HAS SOUS 508491 HAS SOUPS 508491 WITH SCORE 512053.676
AT ITER 4507 NEW BEST:: SOT 5609099 SOS 3561638 HAS SOPS 3561638 HAS SOUS 508491 HAS SOUPS 508491 WITH SCORE 512052.638
AT ITER 4511 NEW BEST:: SOT 5609329 SOS 3492870 HAS SOPS 3492870 HAS SOUS 508261 HAS SOUPS 508261 WITH SCORE 511753.87
AT ITER 4536 NEW BEST:: SOT 5609329 SOS 3492779 HAS SOPS 3492779 HAS SOUS 508258 HAS SOUPS 508258 WITH SCORE 511750.779
AT ITER 4544 NEW BEST:: SOT 5609329 SOS 3480503 HAS SOPS 3480503 HAS SOUS 508258 HAS SOUPS 508258 WITH SCORE 511738.503
AT ITER 4553 NEW BEST:: SOT 5609329 SOS 3480503 HAS SOPS 3480503 HAS SOUS 507986 HAS SOUPS 507986 WITH SCORE 511466.503
AT ITER 4564 NEW BEST:: SOT 5609329 SOS 3480230 HAS SOPS 3480230 HAS SOUS 507986 HAS SOUPS 507986 WITH SCORE 511466.23
AT ITER 4571 NEW BEST:: SOT 5609329 SOS 3479243 HAS SOPS 3479243 HAS SOUS 507986 HAS SOUPS 507986 WITH SCORE 511465.243
AT ITER 4576 NEW BEST:: SOT 5609449 SOS 3479363 HAS SOPS 3479363 HAS SOUS 507938 HAS SOUPS 507938 WITH SCORE 511417.363
AT ITER 4583 NEW BEST:: SOT 5609449 SOS 3480771 HAS SOPS 3480771 HAS SOUS 507505 HAS SOUPS 507505 WITH SCORE 510985.771
AT ITER 4584 NEW BEST:: SOT 5611053 SOS 3482375 HAS SOPS 3482375 HAS SOUS 507286 HAS SOUPS 507286 WITH SCORE 510768.375
AT ITER 4600 NEW BEST:: SOT 5611041 SOS 3482363 HAS SOPS 3482363 HAS SOUS 507273 HAS SOUPS 507273 WITH SCORE 510755.363
AT ITER 4601 NEW BEST:: SOT 5610926 SOS 3482248 HAS SOPS 3482248 HAS SOUS 507117 HAS SOUPS 507117 WITH SCORE 510599.248
AT ITER 4610 NEW BEST:: SOT 5610872 SOS 3480406 HAS SOPS 3480406 HAS SOUS 506766 HAS SOUPS 506766 WITH SCORE 510246.406
AT ITER 4614 NEW BEST:: SOT 5610872 SOS 3479181 HAS SOPS 3479181 HAS SOUS 506766 HAS SOUPS 506766 WITH SCORE 510245.181
AT ITER 4633 NEW BEST:: SOT 5610620 SOS 3478929 HAS SOPS 3478929 HAS SOUS 506621 HAS SOUPS 506621 WITH SCORE 510099.929
AT ITER 4638 NEW BEST:: SOT 5610528 SOS 3515266 HAS SOPS 3515266 HAS SOUS 506437 HAS SOUPS 506437 WITH SCORE 509952.266
AT ITER 4639 NEW BEST:: SOT 5610528 SOS 3514736 HAS SOPS 3514736 HAS SOUS 506435 HAS SOUPS 506435 WITH SCORE 509949.736
AT ITER 4645 NEW BEST:: SOT 5610528 SOS 3514829 HAS SOPS 3514829 HAS SOUS 506430 HAS SOUPS 506430 WITH SCORE 509944.829
AT ITER 4651 NEW BEST:: SOT 5610528 SOS 3514829 HAS SOPS 3514829 HAS SOUS 506406 HAS SOUPS 506406 WITH SCORE 509920.829
AT ITER 4654 NEW BEST:: SOT 5610408 SOS 3514709 HAS SOPS 3514709 HAS SOUS 506391 HAS SOUPS 506391 WITH SCORE 509905.709
AT ITER 4658 NEW BEST:: SOT 5610190 SOS 3516073 HAS SOPS 3516073 HAS SOUS 506015 HAS SOUPS 506015 WITH SCORE 509531.073
AT ITER 4665 NEW BEST:: SOT 5610116 SOS 3515999 HAS SOPS 3515999 HAS SOUS 505941 HAS SOUPS 505941 WITH SCORE 509456.999
AT ITER 4684 NEW BEST:: SOT 5610116 SOS 3515391 HAS SOPS 3515391 HAS SOUS 505941 HAS SOUPS 505941 WITH SCORE 509456.391
AT ITER 4692 NEW BEST:: SOT 5610116 SOS 3515230 HAS SOPS 3515230 HAS SOUS 505895 HAS SOUPS 505895 WITH SCORE 509410.23
AT ITER 4704 NEW BEST:: SOT 5610116 SOS 3515283 HAS SOPS 3515283 HAS SOUS 505578 HAS SOUPS 505578 WITH SCORE 509093.283
AT ITER 4722 NEW BEST:: SOT 5611524 SOS 3516481 HAS SOPS 3516481 HAS SOUS 505337 HAS SOUPS 505337 WITH SCORE 508853.481
AT ITER 4733 NEW BEST:: SOT 5611525 SOS 3516473 HAS SOPS 3516473 HAS SOUS 505337 HAS SOUPS 505337 WITH SCORE 508853.473
AT ITER 4741 NEW BEST:: SOT 5611521 SOS 3514399 HAS SOPS 3514399 HAS SOUS 505329 HAS SOUPS 505329 WITH SCORE 508843.399
AT ITER 4746 NEW BEST:: SOT 5611521 SOS 3512887 HAS SOPS 3512887 HAS SOUS 505209 HAS SOUPS 505209 WITH SCORE 508721.887
AT ITER 4754 NEW BEST:: SOT 5611521 SOS 3512886 HAS SOPS 3512886 HAS SOUS 505208 HAS SOUPS 505208 WITH SCORE 508720.886
AT ITER 4761 NEW BEST:: SOT 5611521 SOS 3513229 HAS SOPS 3513229 HAS SOUS 505192 HAS SOUPS 505192 WITH SCORE 508705.229
AT ITER 4775 NEW BEST:: SOT 5611521 SOS 3513173 HAS SOPS 3513173 HAS SOUS 505184 HAS SOUPS 505184 WITH SCORE 508697.173
AT ITER 4781 NEW BEST:: SOT 5611521 SOS 3513159 HAS SOPS 3513159 HAS SOUS 505170 HAS SOUPS 505170 WITH SCORE 508683.159
AT ITER 4788 NEW BEST:: SOT 5611521 SOS 3509505 HAS SOPS 3509505 HAS SOUS 505112 HAS SOUPS 505112 WITH SCORE 508621.505
AT ITER 4797 NEW BEST:: SOT 5611418 SOS 3509402 HAS SOPS 3509402 HAS SOUS 505104 HAS SOUPS 505104 WITH SCORE 508613.402
AT ITER 4816 NEW BEST:: SOT 5611418 SOS 3509339 HAS SOPS 3509339 HAS SOUS 505104 HAS SOUPS 505104 WITH SCORE 508613.339
AT ITER 4824 NEW BEST:: SOT 5611082 SOS 3509003 HAS SOPS 3509003 HAS SOUS 505056 HAS SOUPS 505056 WITH SCORE 508565.003
AT ITER 4884 NEW BEST:: SOT 5611116 SOS 3509085 HAS SOPS 3509085 HAS SOUS 505050 HAS SOUPS 505050 WITH SCORE 508559.085
AT ITER 4889 NEW BEST:: SOT 5611116 SOS 3509099 HAS SOPS 3509099 HAS SOUS 505036 HAS SOUPS 505036 WITH SCORE 508545.099
AT ITER 4892 NEW BEST:: SOT 5611073 SOS 3509056 HAS SOPS 3509056 HAS SOUS 504993 HAS SOUPS 504993 WITH SCORE 508502.056
AT ITER 4896 NEW BEST:: SOT 5610987 SOS 3508970 HAS SOPS 3508970 HAS SOUS 504890 HAS SOUPS 504890 WITH SCORE 508398.97
AT ITER 4908 NEW BEST:: SOT 5610551 SOS 3508534 HAS SOPS 3508534 HAS SOUS 504454 HAS SOUPS 504454 WITH SCORE 507962.534
AT ITER 4917 NEW BEST:: SOT 5610551 SOS 3507700 HAS SOPS 3507700 HAS SOUS 504394 HAS SOUPS 504394 WITH SCORE 507901.7
AT ITER 4925 NEW BEST:: SOT 5610323 SOS 3506696 HAS SOPS 3506696 HAS SOUS 504125 HAS SOUPS 504125 WITH SCORE 507631.696
AT ITER 4927 NEW BEST:: SOT 5610286 SOS 3506351 HAS SOPS 3506351 HAS SOUS 503437 HAS SOUPS 503437 WITH SCORE 506943.351
AT ITER 4936 NEW BEST:: SOT 5610278 SOS 3506335 HAS SOPS 3506335 HAS SOUS 503421 HAS SOUPS 503421 WITH SCORE 506927.335
AT ITER 4952 NEW BEST:: SOT 5610259 SOS 3506316 HAS SOPS 3506316 HAS SOUS 503288 HAS SOUPS 503288 WITH SCORE 506794.316
AT ITER 4953 NEW BEST:: SOT 5610245 SOS 3506190 HAS SOPS 3506190 HAS SOUS 503288 HAS SOUPS 503288 WITH SCORE 506794.19
AT ITER 4963 NEW BEST:: SOT 5610239 SOS 3506184 HAS SOPS 3506184 HAS SOUS 503282 HAS SOUPS 503282 WITH SCORE 506788.184
AT ITER 4972 NEW BEST:: SOT 5610239 SOS 3506980 HAS SOPS 3506980 HAS SOUS 503269 HAS SOUPS 503269 WITH SCORE 506775.98
AT ITER 4979 NEW BEST:: SOT 5611837 SOS 3508578 HAS SOPS 3508578 HAS SOUS 503222 HAS SOUPS 503222 WITH SCORE 506730.578
AT ITER 4988 NEW BEST:: SOT 5611929 SOS 3505585 HAS SOPS 3505585 HAS SOUS 502383 HAS SOUPS 502383 WITH SCORE 505888.585
AT ITER 4993 NEW BEST:: SOT 5611929 SOS 3505677 HAS SOPS 3505677 HAS SOUS 502291 HAS SOUPS 502291 WITH SCORE 505796.677
AT ITER 4999 NEW BEST:: SOT 5611885 SOS 3505633 HAS SOPS 3505633 HAS SOUS 502203 HAS SOUPS 502203 WITH SCORE 505708.633
AT ITER 5011 NEW BEST:: SOT 5611931 SOS 3505265 HAS SOPS 3505265 HAS SOUS 502203 HAS SOUPS 502203 WITH SCORE 505708.265
AT ITER 5014 NEW BEST:: SOT 5611931 SOS 3505235 HAS SOPS 3505235 HAS SOUS 502193 HAS SOUPS 502193 WITH SCORE 505698.235
AT ITER 5015 NEW BEST:: SOT 5611931 SOS 3503884 HAS SOPS 3503884 HAS SOUS 502193 HAS SOUPS 502193 WITH SCORE 505696.884
AT ITER 5039 NEW BEST:: SOT 5610865 SOS 3503052 HAS SOPS 3503052 HAS SOUS 500950 HAS SOUPS 500950 WITH SCORE 504453.052
AT ITER 5048 NEW BEST:: SOT 5610865 SOS 3500152 HAS SOPS 3500152 HAS SOUS 500496 HAS SOUPS 500496 WITH SCORE 503996.152
AT ITER 5050 NEW BEST:: SOT 5610601 SOS 3499888 HAS SOPS 3499888 HAS SOUS 500397 HAS SOUPS 500397 WITH SCORE 503896.888
AT ITER 5063 NEW BEST:: SOT 5610601 SOS 3499881 HAS SOPS 3499881 HAS SOUS 500397 HAS SOUPS 500397 WITH SCORE 503896.881
AT ITER 5066 NEW BEST:: SOT 5610601 SOS 3499321 HAS SOPS 3499321 HAS SOUS 500397 HAS SOUPS 500397 WITH SCORE 503896.321
AT ITER 5077 NEW BEST:: SOT 5610511 SOS 3499321 HAS SOPS 3499321 HAS SOUS 500217 HAS SOUPS 500217 WITH SCORE 503716.321
AT ITER 5095 NEW BEST:: SOT 5610511 SOS 3499482 HAS SOPS 3499482 HAS SOUS 500031 HAS SOUPS 500031 WITH SCORE 503530.482
AT ITER 5097 NEW BEST:: SOT 5610390 SOS 3499361 HAS SOPS 3499361 HAS SOUS 499989 HAS SOUPS 499989 WITH SCORE 503488.361
AT ITER 5111 NEW BEST:: SOT 5610643 SOS 3499614 HAS SOPS 3499614 HAS SOUS 499444 HAS SOUPS 499444 WITH SCORE 502943.614
AT ITER 5113 NEW BEST:: SOT 5610723 SOS 3499694 HAS SOPS 3499694 HAS SOUS 499414 HAS SOUPS 499414 WITH SCORE 502913.694
AT ITER 5114 NEW BEST:: SOT 5610797 SOS 3499102 HAS SOPS 3499102 HAS SOUS 499414 HAS SOUPS 499414 WITH SCORE 502913.102
AT ITER 5131 NEW BEST:: SOT 5610797 SOS 3498961 HAS SOPS 3498961 HAS SOUS 499414 HAS SOUPS 499414 WITH SCORE 502912.961
AT ITER 5177 NEW BEST:: SOT 5610820 SOS 3498984 HAS SOPS 3498984 HAS SOUS 499339 HAS SOUPS 499339 WITH SCORE 502837.984
AT ITER 5184 NEW BEST:: SOT 5610820 SOS 3498984 HAS SOPS 3498984 HAS SOUS 499241 HAS SOUPS 499241 WITH SCORE 502739.984
AT ITER 5189 NEW BEST:: SOT 5613821 SOS 3501985 HAS SOPS 3501985 HAS SOUS 498855 HAS SOUPS 498855 WITH SCORE 502356.985
AT ITER 5201 NEW BEST:: SOT 5616712 SOS 3503945 HAS SOPS 3503945 HAS SOUS 498475 HAS SOUPS 498475 WITH SCORE 501978.945
AT ITER 5207 NEW BEST:: SOT 5616712 SOS 3503954 HAS SOPS 3503954 HAS SOUS 498466 HAS SOUPS 498466 WITH SCORE 501969.954
AT ITER 5210 NEW BEST:: SOT 5617618 SOS 3505149 HAS SOPS 3505149 HAS SOUS 498285 HAS SOUPS 498285 WITH SCORE 501790.149
AT ITER 5225 NEW BEST:: SOT 5617618 SOS 3491812 HAS SOPS 3491812 HAS SOUS 498229 HAS SOUPS 498229 WITH SCORE 501720.812
AT ITER 5247 NEW BEST:: SOT 5616949 SOS 3491864 HAS SOPS 3491864 HAS SOUS 497753 HAS SOUPS 497753 WITH SCORE 501244.864
AT ITER 5264 NEW BEST:: SOT 5616733 SOS 3491648 HAS SOPS 3491648 HAS SOUS 497722 HAS SOUPS 497722 WITH SCORE 501213.648
AT ITER 5267 NEW BEST:: SOT 5616733 SOS 3491633 HAS SOPS 3491633 HAS SOUS 497722 HAS SOUPS 497722 WITH SCORE 501213.633
AT ITER 5270 NEW BEST:: SOT 5616733 SOS 3491752 HAS SOPS 3491752 HAS SOUS 497696 HAS SOUPS 497696 WITH SCORE 501187.752
AT ITER 5286 NEW BEST:: SOT 5616733 SOS 3490457 HAS SOPS 3490457 HAS SOUS 497491 HAS SOUPS 497491 WITH SCORE 500981.457
AT ITER 5305 NEW BEST:: SOT 5616445 SOS 3490169 HAS SOPS 3490169 HAS SOUS 497419 HAS SOUPS 497419 WITH SCORE 500909.169
AT ITER 5311 NEW BEST:: SOT 5616445 SOS 3488713 HAS SOPS 3488713 HAS SOUS 497211 HAS SOUPS 497211 WITH SCORE 500699.713
AT ITER 5324 NEW BEST:: SOT 5616445 SOS 3488573 HAS SOPS 3488573 HAS SOUS 497191 HAS SOUPS 497191 WITH SCORE 500679.573
AT ITER 5332 NEW BEST:: SOT 5616412 SOS 3488453 HAS SOPS 3488453 HAS SOUS 497096 HAS SOUPS 497096 WITH SCORE 500584.453
AT ITER 5333 NEW BEST:: SOT 5616412 SOS 3488572 HAS SOPS 3488572 HAS SOUS 497038 HAS SOUPS 497038 WITH SCORE 500526.572
AT ITER 5340 NEW BEST:: SOT 5616412 SOS 3488446 HAS SOPS 3488446 HAS SOUS 497019 HAS SOUPS 497019 WITH SCORE 500507.446
AT ITER 5350 NEW BEST:: SOT 5616412 SOS 3488446 HAS SOPS 3488446 HAS SOUS 496950 HAS SOUPS 496950 WITH SCORE 500438.446
AT ITER 5353 NEW BEST:: SOT 5616374 SOS 3486275 HAS SOPS 3486275 HAS SOUS 496675 HAS SOUPS 496675 WITH SCORE 500161.275
AT ITER 5354 NEW BEST:: SOT 5616936 SOS 3486837 HAS SOPS 3486837 HAS SOUS 496427 HAS SOUPS 496427 WITH SCORE 499913.837
AT ITER 5360 NEW BEST:: SOT 5616936 SOS 3485983 HAS SOPS 3485983 HAS SOUS 496275 HAS SOUPS 496275 WITH SCORE 499760.983
AT ITER 5368 NEW BEST:: SOT 5617492 SOS 3489902 HAS SOPS 3489902 HAS SOUS 496232 HAS SOUPS 496232 WITH SCORE 499721.902
AT ITER 5391 NEW BEST:: SOT 5617444 SOS 3489822 HAS SOPS 3489822 HAS SOUS 496152 HAS SOUPS 496152 WITH SCORE 499641.822
AT ITER 5407 NEW BEST:: SOT 5617583 SOS 3489822 HAS SOPS 3489822 HAS SOUS 496126 HAS SOUPS 496126 WITH SCORE 499615.822
AT ITER 5446 NEW BEST:: SOT 5617583 SOS 3489129 HAS SOPS 3489129 HAS SOUS 495928 HAS SOUPS 495928 WITH SCORE 499417.129
AT ITER 5456 NEW BEST:: SOT 5617559 SOS 3489105 HAS SOPS 3489105 HAS SOUS 495918 HAS SOUPS 495918 WITH SCORE 499407.105
AT ITER 5458 NEW BEST:: SOT 5617559 SOS 3489931 HAS SOPS 3489931 HAS SOUS 495840 HAS SOUPS 495840 WITH SCORE 499329.931
AT ITER 5461 NEW BEST:: SOT 5617559 SOS 3489882 HAS SOPS 3489882 HAS SOUS 495642 HAS SOUPS 495642 WITH SCORE 499131.882
AT ITER 5462 NEW BEST:: SOT 5617637 SOS 3489006 HAS SOPS 3489006 HAS SOUS 495614 HAS SOUPS 495614 WITH SCORE 499103.006
AT ITER 5468 NEW BEST:: SOT 5617637 SOS 3487690 HAS SOPS 3487690 HAS SOUS 495048 HAS SOUPS 495048 WITH SCORE 498535.69
AT ITER 5470 NEW BEST:: SOT 5619310 SOS 3489363 HAS SOPS 3489363 HAS SOUS 494890 HAS SOUPS 494890 WITH SCORE 498379.363
AT ITER 5473 NEW BEST:: SOT 5619310 SOS 3488796 HAS SOPS 3488796 HAS SOUS 494890 HAS SOUPS 494890 WITH SCORE 498378.796
AT ITER 5481 NEW BEST:: SOT 5619293 SOS 3488155 HAS SOPS 3488155 HAS SOUS 494872 HAS SOUPS 494872 WITH SCORE 498360.155
AT ITER 5485 NEW BEST:: SOT 5619293 SOS 3487656 HAS SOPS 3487656 HAS SOUS 494872 HAS SOUPS 494872 WITH SCORE 498359.656
AT ITER 5486 NEW BEST:: SOT 5619293 SOS 3487467 HAS SOPS 3487467 HAS SOUS 494830 HAS SOUPS 494830 WITH SCORE 498317.467
AT ITER 5491 NEW BEST:: SOT 5622460 SOS 3490634 HAS SOPS 3490634 HAS SOUS 494574 HAS SOUPS 494574 WITH SCORE 498064.634
AT ITER 5495 NEW BEST:: SOT 5622460 SOS 3490703 HAS SOPS 3490703 HAS SOUS 494362 HAS SOUPS 494362 WITH SCORE 497852.703
AT ITER 5504 NEW BEST:: SOT 5622460 SOS 3490703 HAS SOPS 3490703 HAS SOUS 494342 HAS SOUPS 494342 WITH SCORE 497832.703
AT ITER 5516 NEW BEST:: SOT 5622460 SOS 3490703 HAS SOPS 3490703 HAS SOUS 494278 HAS SOUPS 494278 WITH SCORE 497768.703
AT ITER 5517 NEW BEST:: SOT 5622460 SOS 3490283 HAS SOPS 3490283 HAS SOUS 493725 HAS SOUPS 493725 WITH SCORE 497215.283
AT ITER 5520 NEW BEST:: SOT 5622460 SOS 3489731 HAS SOPS 3489731 HAS SOUS 493725 HAS SOUPS 493725 WITH SCORE 497214.731
AT ITER 5526 NEW BEST:: SOT 5622403 SOS 3489701 HAS SOPS 3489701 HAS SOUS 493695 HAS SOUPS 493695 WITH SCORE 497184.701
AT ITER 5528 NEW BEST:: SOT 5622403 SOS 3487888 HAS SOPS 3487888 HAS SOUS 493637 HAS SOUPS 493637 WITH SCORE 497124.888
AT ITER 5529 NEW BEST:: SOT 5623931 SOS 3490000 HAS SOPS 3490000 HAS SOUS 493428 HAS SOUPS 493428 WITH SCORE 496918.0
AT ITER 5532 NEW BEST:: SOT 5623924 SOS 3489272 HAS SOPS 3489272 HAS SOUS 493413 HAS SOUPS 493413 WITH SCORE 496902.272
AT ITER 5533 NEW BEST:: SOT 5623924 SOS 3490307 HAS SOPS 3490307 HAS SOUS 492763 HAS SOUPS 492763 WITH SCORE 496253.307
AT ITER 5540 NEW BEST:: SOT 5623481 SOS 3514174 HAS SOPS 3514174 HAS SOUS 492327 HAS SOUPS 492327 WITH SCORE 495841.174
AT ITER 5557 NEW BEST:: SOT 5623351 SOS 3514499 HAS SOPS 3514499 HAS SOUS 492067 HAS SOUPS 492067 WITH SCORE 495581.499
AT ITER 5563 NEW BEST:: SOT 5623469 SOS 3514617 HAS SOPS 3514617 HAS SOUS 492045 HAS SOUPS 492045 WITH SCORE 495559.617
AT ITER 5577 NEW BEST:: SOT 5623438 SOS 3514586 HAS SOPS 3514586 HAS SOUS 492018 HAS SOUPS 492018 WITH SCORE 495532.586
AT ITER 5587 NEW BEST:: SOT 5623438 SOS 3514515 HAS SOPS 3514515 HAS SOUS 491947 HAS SOUPS 491947 WITH SCORE 495461.515
AT ITER 5588 NEW BEST:: SOT 5623438 SOS 3514173 HAS SOPS 3514173 HAS SOUS 491947 HAS SOUPS 491947 WITH SCORE 495461.173
AT ITER 5601 NEW BEST:: SOT 5622892 SOS 3513627 HAS SOPS 3513627 HAS SOUS 491856 HAS SOUPS 491856 WITH SCORE 495369.627
AT ITER 5602 NEW BEST:: SOT 5622916 SOS 3512617 HAS SOPS 3512617 HAS SOUS 491728 HAS SOUPS 491728 WITH SCORE 495240.617
AT ITER 5613 NEW BEST:: SOT 5622916 SOS 3512581 HAS SOPS 3512581 HAS SOUS 491662 HAS SOUPS 491662 WITH SCORE 495174.581
AT ITER 5617 NEW BEST:: SOT 5622916 SOS 3514242 HAS SOPS 3514242 HAS SOUS 491503 HAS SOUPS 491503 WITH SCORE 495017.242
AT ITER 5623 NEW BEST:: SOT 5622889 SOS 3515116 HAS SOPS 3515116 HAS SOUS 491449 HAS SOUPS 491449 WITH SCORE 494964.116
AT ITER 5640 NEW BEST:: SOT 5622889 SOS 3515116 HAS SOPS 3515116 HAS SOUS 491424 HAS SOUPS 491424 WITH SCORE 494939.116
AT ITER 5662 NEW BEST:: SOT 5622889 SOS 3515116 HAS SOPS 3515116 HAS SOUS 491328 HAS SOUPS 491328 WITH SCORE 494843.116
AT ITER 5666 NEW BEST:: SOT 5622889 SOS 3516463 HAS SOPS 3516463 HAS SOUS 491241 HAS SOUPS 491241 WITH SCORE 494757.463
AT ITER 5667 NEW BEST:: SOT 5622889 SOS 3516332 HAS SOPS 3516332 HAS SOUS 491241 HAS SOUPS 491241 WITH SCORE 494757.332
AT ITER 5669 NEW BEST:: SOT 5622889 SOS 3516332 HAS SOPS 3516332 HAS SOUS 491236 HAS SOUPS 491236 WITH SCORE 494752.332
AT ITER 5671 NEW BEST:: SOT 5622889 SOS 3514305 HAS SOPS 3514305 HAS SOUS 491236 HAS SOUPS 491236 WITH SCORE 494750.305
AT ITER 5673 NEW BEST:: SOT 5622889 SOS 3513900 HAS SOPS 3513900 HAS SOUS 491146 HAS SOUPS 491146 WITH SCORE 494659.9
AT ITER 5674 NEW BEST:: SOT 5622761 SOS 3513772 HAS SOPS 3513772 HAS SOUS 490890 HAS SOUPS 490890 WITH SCORE 494403.772
AT ITER 5702 NEW BEST:: SOT 5623896 SOS 3514907 HAS SOPS 3514907 HAS SOUS 490340 HAS SOUPS 490340 WITH SCORE 493854.907
AT ITER 5727 NEW BEST:: SOT 5620074 SOS 3511085 HAS SOPS 3511085 HAS SOUS 486372 HAS SOUPS 486372 WITH SCORE 489883.085
AT ITER 5730 NEW BEST:: SOT 5621156 SOS 3512642 HAS SOPS 3512642 HAS SOUS 485691 HAS SOUPS 485691 WITH SCORE 489203.642
AT ITER 5742 NEW BEST:: SOT 5621156 SOS 3512012 HAS SOPS 3512012 HAS SOUS 485681 HAS SOUPS 485681 WITH SCORE 489193.012
AT ITER 5744 NEW BEST:: SOT 5621138 SOS 3511994 HAS SOPS 3511994 HAS SOUS 485637 HAS SOUPS 485637 WITH SCORE 489148.994
AT ITER 5751 NEW BEST:: SOT 5620562 SOS 3511418 HAS SOPS 3511418 HAS SOUS 485493 HAS SOUPS 485493 WITH SCORE 489004.418
AT ITER 5757 NEW BEST:: SOT 5622907 SOS 3513763 HAS SOPS 3513763 HAS SOUS 485458 HAS SOUPS 485458 WITH SCORE 488971.763
AT ITER 5766 NEW BEST:: SOT 5622907 SOS 3513476 HAS SOPS 3513476 HAS SOUS 485458 HAS SOUPS 485458 WITH SCORE 488971.476
AT ITER 5793 NEW BEST:: SOT 5622646 SOS 3513215 HAS SOPS 3513215 HAS SOUS 485399 HAS SOUPS 485399 WITH SCORE 488912.215
AT ITER 5794 NEW BEST:: SOT 5622622 SOS 3513183 HAS SOPS 3513183 HAS SOUS 485359 HAS SOUPS 485359 WITH SCORE 488872.183
AT ITER 5809 NEW BEST:: SOT 5622622 SOS 3513096 HAS SOPS 3513096 HAS SOUS 485272 HAS SOUPS 485272 WITH SCORE 488785.096
AT ITER 5815 NEW BEST:: SOT 5623044 SOS 3513518 HAS SOPS 3513518 HAS SOUS 485218 HAS SOUPS 485218 WITH SCORE 488731.518
AT ITER 5822 NEW BEST:: SOT 5623044 SOS 3513246 HAS SOPS 3513246 HAS SOUS 485210 HAS SOUPS 485210 WITH SCORE 488723.246
AT ITER 5851 NEW BEST:: SOT 5622795 SOS 3513183 HAS SOPS 3513183 HAS SOUS 485121 HAS SOUPS 485121 WITH SCORE 488634.183
AT ITER 5864 NEW BEST:: SOT 5620119 SOS 3512194 HAS SOPS 3512194 HAS SOUS 485090 HAS SOUPS 485090 WITH SCORE 488602.194
AT ITER 5874 NEW BEST:: SOT 5620119 SOS 3510857 HAS SOPS 3510857 HAS SOUS 485090 HAS SOUPS 485090 WITH SCORE 488600.857
AT ITER 5876 NEW BEST:: SOT 5620119 SOS 3510724 HAS SOPS 3510724 HAS SOUS 484888 HAS SOUPS 484888 WITH SCORE 488398.724
AT ITER 5888 NEW BEST:: SOT 5620119 SOS 3510386 HAS SOPS 3510386 HAS SOUS 484528 HAS SOUPS 484528 WITH SCORE 488038.386
AT ITER 5900 NEW BEST:: SOT 5619965 SOS 3510068 HAS SOPS 3510068 HAS SOUS 484374 HAS SOUPS 484374 WITH SCORE 487884.068
AT ITER 5905 NEW BEST:: SOT 5619965 SOS 3509999 HAS SOPS 3509999 HAS SOUS 484374 HAS SOUPS 484374 WITH SCORE 487883.999
AT ITER 5919 NEW BEST:: SOT 5619965 SOS 3508652 HAS SOPS 3508652 HAS SOUS 484273 HAS SOUPS 484273 WITH SCORE 487781.652
AT ITER 5964 NEW BEST:: SOT 5619977 SOS 3508572 HAS SOPS 3508572 HAS SOUS 484193 HAS SOUPS 484193 WITH SCORE 487701.572
AT ITER 5970 NEW BEST:: SOT 5619788 SOS 3507043 HAS SOPS 3507043 HAS SOUS 483872 HAS SOUPS 483872 WITH SCORE 487379.043
AT ITER 5984 NEW BEST:: SOT 5619788 SOS 3506923 HAS SOPS 3506923 HAS SOUS 483872 HAS SOUPS 483872 WITH SCORE 487378.923
AT ITER 5986 NEW BEST:: SOT 5619788 SOS 3507336 HAS SOPS 3507336 HAS SOUS 483813 HAS SOUPS 483813 WITH SCORE 487320.336
AT ITER 6007 NEW BEST:: SOT 5619788 SOS 3506461 HAS SOPS 3506461 HAS SOUS 483813 HAS SOUPS 483813 WITH SCORE 487319.461
AT ITER 6011 NEW BEST:: SOT 5619721 SOS 3524804 HAS SOPS 3524804 HAS SOUS 483679 HAS SOUPS 483679 WITH SCORE 487203.804
AT ITER 6013 NEW BEST:: SOT 5619679 SOS 3495584 HAS SOPS 3495584 HAS SOUS 483595 HAS SOUPS 483595 WITH SCORE 487090.584
AT ITER 6019 NEW BEST:: SOT 5619679 SOS 3495182 HAS SOPS 3495182 HAS SOUS 483537 HAS SOUPS 483537 WITH SCORE 487032.182
AT ITER 6045 NEW BEST:: SOT 5619679 SOS 3495116 HAS SOPS 3495116 HAS SOUS 483471 HAS SOUPS 483471 WITH SCORE 486966.116
AT ITER 6074 NEW BEST:: SOT 5620279 SOS 3495390 HAS SOPS 3495390 HAS SOUS 483238 HAS SOUPS 483238 WITH SCORE 486733.39
AT ITER 6077 NEW BEST:: SOT 5621280 SOS 3495914 HAS SOPS 3495914 HAS SOUS 482927 HAS SOUPS 482927 WITH SCORE 486422.914
AT ITER 6086 NEW BEST:: SOT 5621280 SOS 3494843 HAS SOPS 3494843 HAS SOUS 482927 HAS SOUPS 482927 WITH SCORE 486421.843
AT ITER 6089 NEW BEST:: SOT 5620948 SOS 3492821 HAS SOPS 3492821 HAS SOUS 482265 HAS SOUPS 482265 WITH SCORE 485757.821
AT ITER 6104 NEW BEST:: SOT 5620948 SOS 3492461 HAS SOPS 3492461 HAS SOUS 482085 HAS SOUPS 482085 WITH SCORE 485577.461
AT ITER 6108 NEW BEST:: SOT 5620763 SOS 3492115 HAS SOPS 3492115 HAS SOUS 481464 HAS SOUPS 481464 WITH SCORE 484956.115
AT ITER 6125 NEW BEST:: SOT 5620763 SOS 3491259 HAS SOPS 3491259 HAS SOUS 481379 HAS SOUPS 481379 WITH SCORE 484870.259
AT ITER 6126 NEW BEST:: SOT 5620580 SOS 3781213 HAS SOPS 3781213 HAS SOUS 481040 HAS SOUPS 481040 WITH SCORE 484821.213
AT ITER 6151 NEW BEST:: SOT 5620391 SOS 3781657 HAS SOPS 3781657 HAS SOUS 481019 HAS SOUPS 481019 WITH SCORE 484800.657
AT ITER 6155 NEW BEST:: SOT 5620678 SOS 3781944 HAS SOPS 3781944 HAS SOUS 480995 HAS SOUPS 480995 WITH SCORE 484776.944
AT ITER 6162 NEW BEST:: SOT 5620889 SOS 3782155 HAS SOPS 3782155 HAS SOUS 480925 HAS SOUPS 480925 WITH SCORE 484707.155
AT ITER 6188 NEW BEST:: SOT 5620889 SOS 3782071 HAS SOPS 3782071 HAS SOUS 480869 HAS SOUPS 480869 WITH SCORE 484651.071
AT ITER 6191 NEW BEST:: SOT 5620871 SOS 3782037 HAS SOPS 3782037 HAS SOUS 480833 HAS SOUPS 480833 WITH SCORE 484615.037
AT ITER 6241 NEW BEST:: SOT 5620823 SOS 3781989 HAS SOPS 3781989 HAS SOUS 480833 HAS SOUPS 480833 WITH SCORE 484614.989
AT ITER 6246 NEW BEST:: SOT 5619651 SOS 3890140 HAS SOPS 3890140 HAS SOUS 479607 HAS SOUPS 479607 WITH SCORE 483497.14
AT ITER 6250 NEW BEST:: SOT 5619651 SOS 3885495 HAS SOPS 3885495 HAS SOUS 479476 HAS SOUPS 479476 WITH SCORE 483361.495
AT ITER 6254 NEW BEST:: SOT 5619651 SOS 3885543 HAS SOPS 3885543 HAS SOUS 479468 HAS SOUPS 479468 WITH SCORE 483353.543
AT ITER 6256 NEW BEST:: SOT 5619061 SOS 3884953 HAS SOPS 3884953 HAS SOUS 479461 HAS SOUPS 479461 WITH SCORE 483345.953
AT ITER 6263 NEW BEST:: SOT 5619029 SOS 3884921 HAS SOPS 3884921 HAS SOUS 479453 HAS SOUPS 479453 WITH SCORE 483337.921
AT ITER 6264 NEW BEST:: SOT 5618932 SOS 3884824 HAS SOPS 3884824 HAS SOUS 479259 HAS SOUPS 479259 WITH SCORE 483143.824
AT ITER 6265 NEW BEST:: SOT 5618932 SOS 3884103 HAS SOPS 3884103 HAS SOUS 479259 HAS SOUPS 479259 WITH SCORE 483143.103
AT ITER 6266 NEW BEST:: SOT 5618932 SOS 3884075 HAS SOPS 3884075 HAS SOUS 479239 HAS SOUPS 479239 WITH SCORE 483123.075
AT ITER 6269 NEW BEST:: SOT 5618932 SOS 3879851 HAS SOPS 3879851 HAS SOUS 479239 HAS SOUPS 479239 WITH SCORE 483118.851
AT ITER 6273 NEW BEST:: SOT 5620288 SOS 3881207 HAS SOPS 3881207 HAS SOUS 478847 HAS SOUPS 478847 WITH SCORE 482728.207
AT ITER 6281 NEW BEST:: SOT 5620288 SOS 3881207 HAS SOPS 3881207 HAS SOUS 478594 HAS SOUPS 478594 WITH SCORE 482475.207
AT ITER 6283 NEW BEST:: SOT 5620288 SOS 3881036 HAS SOPS 3881036 HAS SOUS 478575 HAS SOUPS 478575 WITH SCORE 482456.036
AT ITER 6285 NEW BEST:: SOT 5620293 SOS 3881041 HAS SOPS 3881041 HAS SOUS 478555 HAS SOUPS 478555 WITH SCORE 482436.041
AT ITER 6316 NEW BEST:: SOT 5620193 SOS 3880941 HAS SOPS 3880941 HAS SOUS 478455 HAS SOUPS 478455 WITH SCORE 482335.941
AT ITER 6324 NEW BEST:: SOT 5620043 SOS 3880682 HAS SOPS 3880682 HAS SOUS 478417 HAS SOUPS 478417 WITH SCORE 482297.682
AT ITER 6328 NEW BEST:: SOT 5620043 SOS 3880682 HAS SOPS 3880682 HAS SOUS 478403 HAS SOUPS 478403 WITH SCORE 482283.682
AT ITER 6339 NEW BEST:: SOT 5619991 SOS 3880630 HAS SOPS 3880630 HAS SOUS 478305 HAS SOUPS 478305 WITH SCORE 482185.63
AT ITER 6343 NEW BEST:: SOT 5620018 SOS 3771745 HAS SOPS 3771745 HAS SOUS 478155 HAS SOUPS 478155 WITH SCORE 481926.745
AT ITER 6353 NEW BEST:: SOT 5620252 SOS 3771580 HAS SOPS 3771580 HAS SOUS 477603 HAS SOUPS 477603 WITH SCORE 481374.58
AT ITER 6355 NEW BEST:: SOT 5620252 SOS 3771580 HAS SOPS 3771580 HAS SOUS 477573 HAS SOUPS 477573 WITH SCORE 481344.58
AT ITER 6367 NEW BEST:: SOT 5620254 SOS 3771554 HAS SOPS 3771554 HAS SOUS 477368 HAS SOUPS 477368 WITH SCORE 481139.554
AT ITER 6376 NEW BEST:: SOT 5620333 SOS 3771633 HAS SOPS 3771633 HAS SOUS 477359 HAS SOUPS 477359 WITH SCORE 481130.633
AT ITER 6379 NEW BEST:: SOT 5620172 SOS 3771472 HAS SOPS 3771472 HAS SOUS 477303 HAS SOUPS 477303 WITH SCORE 481074.472
AT ITER 6386 NEW BEST:: SOT 5620172 SOS 3772411 HAS SOPS 3772411 HAS SOUS 477300 HAS SOUPS 477300 WITH SCORE 481072.411
AT ITER 6435 NEW BEST:: SOT 5619639 SOS 3772718 HAS SOPS 3772718 HAS SOUS 477125 HAS SOUPS 477125 WITH SCORE 480897.718
AT ITER 6447 NEW BEST:: SOT 5619639 SOS 3771772 HAS SOPS 3771772 HAS SOUS 477125 HAS SOUPS 477125 WITH SCORE 480896.772
AT ITER 6477 NEW BEST:: SOT 5619639 SOS 3771481 HAS SOPS 3771481 HAS SOUS 476952 HAS SOUPS 476952 WITH SCORE 480723.481
AT ITER 6480 NEW BEST:: SOT 5619609 SOS 3771451 HAS SOPS 3771451 HAS SOUS 476892 HAS SOUPS 476892 WITH SCORE 480663.451
AT ITER 6481 NEW BEST:: SOT 5619254 SOS 3771432 HAS SOPS 3771432 HAS SOUS 476537 HAS SOUPS 476537 WITH SCORE 480308.432
AT ITER 6485 NEW BEST:: SOT 5619254 SOS 3771432 HAS SOPS 3771432 HAS SOUS 476530 HAS SOUPS 476530 WITH SCORE 480301.432
AT ITER 6487 NEW BEST:: SOT 5619254 SOS 3771383 HAS SOPS 3771383 HAS SOUS 476370 HAS SOUPS 476370 WITH SCORE 480141.383
AT ITER 6504 NEW BEST:: SOT 5619254 SOS 3772216 HAS SOPS 3772216 HAS SOUS 476251 HAS SOUPS 476251 WITH SCORE 480023.216
AT ITER 6525 NEW BEST:: SOT 5619170 SOS 3772132 HAS SOPS 3772132 HAS SOUS 476251 HAS SOUPS 476251 WITH SCORE 480023.132
AT ITER 6528 NEW BEST:: SOT 5619170 SOS 3770460 HAS SOPS 3770460 HAS SOUS 475997 HAS SOUPS 475997 WITH SCORE 479767.46
AT ITER 6532 NEW BEST:: SOT 5619170 SOS 3770256 HAS SOPS 3770256 HAS SOUS 475963 HAS SOUPS 475963 WITH SCORE 479733.256
AT ITER 6567 NEW BEST:: SOT 5619170 SOS 3769878 HAS SOPS 3769878 HAS SOUS 475963 HAS SOUPS 475963 WITH SCORE 479732.878
AT ITER 6594 NEW BEST:: SOT 5619170 SOS 3766161 HAS SOPS 3766161 HAS SOUS 475845 HAS SOUPS 475845 WITH SCORE 479611.161
AT ITER 6597 NEW BEST:: SOT 5619170 SOS 3766000 HAS SOPS 3766000 HAS SOUS 475845 HAS SOUPS 475845 WITH SCORE 479611.0
AT ITER 6608 NEW BEST:: SOT 5619090 SOS 3765920 HAS SOPS 3765920 HAS SOUS 475630 HAS SOUPS 475630 WITH SCORE 479395.92
AT ITER 6614 NEW BEST:: SOT 5619090 SOS 3765920 HAS SOPS 3765920 HAS SOUS 475581 HAS SOUPS 475581 WITH SCORE 479346.92
AT ITER 6619 NEW BEST:: SOT 5619090 SOS 3765844 HAS SOPS 3765844 HAS SOUS 475581 HAS SOUPS 475581 WITH SCORE 479346.844
AT ITER 6654 NEW BEST:: SOT 5619090 SOS 3765857 HAS SOPS 3765857 HAS SOUS 475532 HAS SOUPS 475532 WITH SCORE 479297.857
AT ITER 6666 NEW BEST:: SOT 5618960 SOS 3765447 HAS SOPS 3765447 HAS SOUS 475402 HAS SOUPS 475402 WITH SCORE 479167.447
AT ITER 6679 NEW BEST:: SOT 5618960 SOS 3763872 HAS SOPS 3763872 HAS SOUS 474952 HAS SOUPS 474952 WITH SCORE 478715.872
AT ITER 6694 NEW BEST:: SOT 5618877 SOS 3763754 HAS SOPS 3763754 HAS SOUS 474703 HAS SOUPS 474703 WITH SCORE 478466.754
AT ITER 6697 NEW BEST:: SOT 5618988 SOS 3763734 HAS SOPS 3763734 HAS SOUS 474650 HAS SOUPS 474650 WITH SCORE 478413.734
AT ITER 6726 NEW BEST:: SOT 5618831 SOS 3762478 HAS SOPS 3762478 HAS SOUS 474336 HAS SOUPS 474336 WITH SCORE 478098.478
AT ITER 6733 NEW BEST:: SOT 5618759 SOS 3762406 HAS SOPS 3762406 HAS SOUS 474264 HAS SOUPS 474264 WITH SCORE 478026.406
AT ITER 6746 NEW BEST:: SOT 5618759 SOS 3762342 HAS SOPS 3762342 HAS SOUS 474264 HAS SOUPS 474264 WITH SCORE 478026.342
AT ITER 6762 NEW BEST:: SOT 5618759 SOS 3762316 HAS SOPS 3762316 HAS SOUS 474264 HAS SOUPS 474264 WITH SCORE 478026.316
AT ITER 6782 NEW BEST:: SOT 5617022 SOS 3917865 HAS SOPS 3917865 HAS SOUS 471909 HAS SOUPS 471909 WITH SCORE 475826.865
AT ITER 6807 NEW BEST:: SOT 5617022 SOS 3917758 HAS SOPS 3917758 HAS SOUS 471909 HAS SOUPS 471909 WITH SCORE 475826.758
AT ITER 6809 NEW BEST:: SOT 5617022 SOS 3917191 HAS SOPS 3917191 HAS SOUS 471747 HAS SOUPS 471747 WITH SCORE 475664.191
AT ITER 6811 NEW BEST:: SOT 5617022 SOS 3916849 HAS SOPS 3916849 HAS SOUS 471747 HAS SOUPS 471747 WITH SCORE 475663.849
AT ITER 6831 NEW BEST:: SOT 5616901 SOS 3916430 HAS SOPS 3916430 HAS SOUS 471450 HAS SOUPS 471450 WITH SCORE 475366.43
AT ITER 6840 NEW BEST:: SOT 5616877 SOS 3916503 HAS SOPS 3916503 HAS SOUS 471247 HAS SOUPS 471247 WITH SCORE 475163.503
AT ITER 6859 NEW BEST:: SOT 5616877 SOS 3916504 HAS SOPS 3916504 HAS SOUS 470910 HAS SOUPS 470910 WITH SCORE 474826.504
AT ITER 6873 NEW BEST:: SOT 5616975 SOS 3915720 HAS SOPS 3915720 HAS SOUS 470910 HAS SOUPS 470910 WITH SCORE 474825.72
AT ITER 6874 NEW BEST:: SOT 5617110 SOS 3915855 HAS SOPS 3915855 HAS SOUS 470856 HAS SOUPS 470856 WITH SCORE 474771.855
AT ITER 6882 NEW BEST:: SOT 5617110 SOS 3915855 HAS SOPS 3915855 HAS SOUS 470746 HAS SOUPS 470746 WITH SCORE 474661.855
AT ITER 6883 NEW BEST:: SOT 5617110 SOS 3916002 HAS SOPS 3916002 HAS SOUS 470635 HAS SOUPS 470635 WITH SCORE 474551.002
AT ITER 6884 NEW BEST:: SOT 5617110 SOS 3929421 HAS SOPS 3929421 HAS SOUS 470513 HAS SOUPS 470513 WITH SCORE 474442.421
AT ITER 6893 NEW BEST:: SOT 5617110 SOS 3928371 HAS SOPS 3928371 HAS SOUS 469988 HAS SOUPS 469988 WITH SCORE 473916.371
AT ITER 6903 NEW BEST:: SOT 5616907 SOS 3928168 HAS SOPS 3928168 HAS SOUS 469514 HAS SOUPS 469514 WITH SCORE 473442.168
AT ITER 6925 NEW BEST:: SOT 5616907 SOS 3931167 HAS SOPS 3931167 HAS SOUS 469492 HAS SOUPS 469492 WITH SCORE 473423.167
AT ITER 6934 NEW BEST:: SOT 5616907 SOS 3931167 HAS SOPS 3931167 HAS SOUS 469454 HAS SOUPS 469454 WITH SCORE 473385.167
AT ITER 6952 NEW BEST:: SOT 5616898 SOS 3931230 HAS SOPS 3931230 HAS SOUS 469445 HAS SOUPS 469445 WITH SCORE 473376.23
AT ITER 6964 NEW BEST:: SOT 5616898 SOS 3931230 HAS SOPS 3931230 HAS SOUS 469444 HAS SOUPS 469444 WITH SCORE 473375.23
AT ITER 6976 NEW BEST:: SOT 5616857 SOS 3934638 HAS SOPS 3934638 HAS SOUS 469321 HAS SOUPS 469321 WITH SCORE 473255.638
AT ITER 6979 NEW BEST:: SOT 5616857 SOS 3934318 HAS SOPS 3934318 HAS SOUS 469207 HAS SOUPS 469207 WITH SCORE 473141.318
AT ITER 6981 NEW BEST:: SOT 5616857 SOS 3934318 HAS SOPS 3934318 HAS SOUS 469144 HAS SOUPS 469144 WITH SCORE 473078.318
AT ITER 6984 NEW BEST:: SOT 5615669 SOS 3933130 HAS SOPS 3933130 HAS SOUS 468028 HAS SOUPS 468028 WITH SCORE 471961.13
AT ITER 7002 NEW BEST:: SOT 5615669 SOS 3933123 HAS SOPS 3933123 HAS SOUS 468028 HAS SOUPS 468028 WITH SCORE 471961.123
AT ITER 7020 NEW BEST:: SOT 5615669 SOS 3932979 HAS SOPS 3932979 HAS SOUS 467996 HAS SOUPS 467996 WITH SCORE 471928.979
AT ITER 7027 NEW BEST:: SOT 5615669 SOS 3932899 HAS SOPS 3932899 HAS SOUS 467841 HAS SOUPS 467841 WITH SCORE 471773.899
AT ITER 7041 NEW BEST:: SOT 5615421 SOS 3932651 HAS SOPS 3932651 HAS SOUS 467593 HAS SOUPS 467593 WITH SCORE 471525.651
AT ITER 7064 NEW BEST:: SOT 5615612 SOS 3931528 HAS SOPS 3931528 HAS SOUS 467593 HAS SOUPS 467593 WITH SCORE 471524.528
AT ITER 7094 NEW BEST:: SOT 5615559 SOS 3931475 HAS SOPS 3931475 HAS SOUS 467593 HAS SOUPS 467593 WITH SCORE 471524.475
AT ITER 7100 NEW BEST:: SOT 5615547 SOS 3931463 HAS SOPS 3931463 HAS SOUS 467581 HAS SOUPS 467581 WITH SCORE 471512.463
AT ITER 7109 NEW BEST:: SOT 5615735 SOS 3929968 HAS SOPS 3929968 HAS SOUS 467581 HAS SOUPS 467581 WITH SCORE 471510.968
AT ITER 7135 NEW BEST:: SOT 5615585 SOS 3929871 HAS SOPS 3929871 HAS SOUS 467264 HAS SOUPS 467264 WITH SCORE 471193.871
AT ITER 7142 NEW BEST:: SOT 5616229 SOS 3930515 HAS SOPS 3930515 HAS SOUS 466484 HAS SOUPS 466484 WITH SCORE 470414.515
AT ITER 7143 NEW BEST:: SOT 5616229 SOS 3930515 HAS SOPS 3930515 HAS SOUS 466405 HAS SOUPS 466405 WITH SCORE 470335.515
AT ITER 7169 NEW BEST:: SOT 5616259 SOS 3930275 HAS SOPS 3930275 HAS SOUS 466405 HAS SOUPS 466405 WITH SCORE 470335.275
AT ITER 7189 NEW BEST:: SOT 5616259 SOS 3930275 HAS SOPS 3930275 HAS SOUS 466400 HAS SOUPS 466400 WITH SCORE 470330.275
AT ITER 7212 NEW BEST:: SOT 5615386 SOS 3929402 HAS SOPS 3929402 HAS SOUS 466378 HAS SOUPS 466378 WITH SCORE 470307.402
AT ITER 7223 NEW BEST:: SOT 5615297 SOS 3929313 HAS SOPS 3929313 HAS SOUS 466166 HAS SOUPS 466166 WITH SCORE 470095.313
AT ITER 7242 NEW BEST:: SOT 5615219 SOS 3929235 HAS SOPS 3929235 HAS SOUS 466018 HAS SOUPS 466018 WITH SCORE 469947.235
AT ITER 7257 NEW BEST:: SOT 5615195 SOS 3928896 HAS SOPS 3928896 HAS SOUS 465964 HAS SOUPS 465964 WITH SCORE 469892.896
AT ITER 7267 NEW BEST:: SOT 5615134 SOS 3928835 HAS SOPS 3928835 HAS SOUS 465842 HAS SOUPS 465842 WITH SCORE 469770.835
AT ITER 7270 NEW BEST:: SOT 5615134 SOS 3930966 HAS SOPS 3930966 HAS SOUS 465764 HAS SOUPS 465764 WITH SCORE 469694.966
AT ITER 7302 NEW BEST:: SOT 5615033 SOS 3930865 HAS SOPS 3930865 HAS SOUS 465724 HAS SOUPS 465724 WITH SCORE 469654.865
AT ITER 7344 NEW BEST:: SOT 5615033 SOS 3930865 HAS SOPS 3930865 HAS SOUS 465718 HAS SOUPS 465718 WITH SCORE 469648.865
AT ITER 7347 NEW BEST:: SOT 5615026 SOS 3930858 HAS SOPS 3930858 HAS SOUS 465658 HAS SOUPS 465658 WITH SCORE 469588.858
AT ITER 7374 NEW BEST:: SOT 5615026 SOS 3930777 HAS SOPS 3930777 HAS SOUS 465577 HAS SOUPS 465577 WITH SCORE 469507.777
AT ITER 7392 NEW BEST:: SOT 5614932 SOS 3930683 HAS SOPS 3930683 HAS SOUS 465412 HAS SOUPS 465412 WITH SCORE 469342.683
AT ITER 7401 NEW BEST:: SOT 5614606 SOS 3930357 HAS SOPS 3930357 HAS SOUS 465117 HAS SOUPS 465117 WITH SCORE 469047.357
AT ITER 7403 NEW BEST:: SOT 5614471 SOS 3925285 HAS SOPS 3925285 HAS SOUS 464982 HAS SOUPS 464982 WITH SCORE 468907.285
AT ITER 7404 NEW BEST:: SOT 5614471 SOS 3925276 HAS SOPS 3925276 HAS SOUS 464981 HAS SOUPS 464981 WITH SCORE 468906.276
AT ITER 7406 NEW BEST:: SOT 5614471 SOS 3925275 HAS SOPS 3925275 HAS SOUS 464980 HAS SOUPS 464980 WITH SCORE 468905.275
AT ITER 7411 NEW BEST:: SOT 5614470 SOS 3925371 HAS SOPS 3925371 HAS SOUS 464978 HAS SOUPS 464978 WITH SCORE 468903.371
AT ITER 7418 NEW BEST:: SOT 5614470 SOS 3925538 HAS SOPS 3925538 HAS SOUS 464811 HAS SOUPS 464811 WITH SCORE 468736.538
AT ITER 7430 NEW BEST:: SOT 5614470 SOS 3925251 HAS SOPS 3925251 HAS SOUS 464711 HAS SOUPS 464711 WITH SCORE 468636.251
AT ITER 7434 NEW BEST:: SOT 5614369 SOS 3925172 HAS SOPS 3925172 HAS SOUS 464531 HAS SOUPS 464531 WITH SCORE 468456.172
AT ITER 7442 NEW BEST:: SOT 5614369 SOS 3925172 HAS SOPS 3925172 HAS SOUS 464099 HAS SOUPS 464099 WITH SCORE 468024.172
AT ITER 7453 NEW BEST:: SOT 5614369 SOS 3925099 HAS SOPS 3925099 HAS SOUS 464099 HAS SOUPS 464099 WITH SCORE 468024.099
AT ITER 7467 NEW BEST:: SOT 5615052 SOS 3925782 HAS SOPS 3925782 HAS SOUS 463929 HAS SOUPS 463929 WITH SCORE 467854.782
AT ITER 7493 NEW BEST:: SOT 5614990 SOS 3925720 HAS SOPS 3925720 HAS SOUS 463867 HAS SOUPS 463867 WITH SCORE 467792.72
AT ITER 7506 NEW BEST:: SOT 5614990 SOS 3925431 HAS SOPS 3925431 HAS SOUS 463818 HAS SOUPS 463818 WITH SCORE 467743.431
AT ITER 7507 NEW BEST:: SOT 5614959 SOS 3925400 HAS SOPS 3925400 HAS SOUS 463756 HAS SOUPS 463756 WITH SCORE 467681.4
AT ITER 7529 NEW BEST:: SOT 5614959 SOS 3925352 HAS SOPS 3925352 HAS SOUS 463708 HAS SOUPS 463708 WITH SCORE 467633.352
AT ITER 7536 NEW BEST:: SOT 5614876 SOS 3925269 HAS SOPS 3925269 HAS SOUS 463668 HAS SOUPS 463668 WITH SCORE 467593.269
AT ITER 7552 NEW BEST:: SOT 5614871 SOS 3925264 HAS SOPS 3925264 HAS SOUS 463658 HAS SOUPS 463658 WITH SCORE 467583.264
AT ITER 7567 NEW BEST:: SOT 5614871 SOS 3924726 HAS SOPS 3924726 HAS SOUS 463568 HAS SOUPS 463568 WITH SCORE 467492.726
AT ITER 7578 NEW BEST:: SOT 5614871 SOS 3924726 HAS SOPS 3924726 HAS SOUS 463566 HAS SOUPS 463566 WITH SCORE 467490.726
AT ITER 7584 NEW BEST:: SOT 5615506 SOS 3923947 HAS SOPS 3923947 HAS SOUS 463054 HAS SOUPS 463054 WITH SCORE 466977.947
AT ITER 7595 NEW BEST:: SOT 5615506 SOS 3922015 HAS SOPS 3922015 HAS SOUS 462832 HAS SOUPS 462832 WITH SCORE 466754.015
AT ITER 7610 NEW BEST:: SOT 5615433 SOS 3921174 HAS SOPS 3921174 HAS SOUS 462401 HAS SOUPS 462401 WITH SCORE 466322.174
AT ITER 7613 NEW BEST:: SOT 5615433 SOS 3920805 HAS SOPS 3920805 HAS SOUS 462194 HAS SOUPS 462194 WITH SCORE 466114.805
AT ITER 7618 NEW BEST:: SOT 5616348 SOS 3922005 HAS SOPS 3922005 HAS SOUS 462176 HAS SOUPS 462176 WITH SCORE 466098.005
AT ITER 7669 NEW BEST:: SOT 5616348 SOS 3922005 HAS SOPS 3922005 HAS SOUS 462056 HAS SOUPS 462056 WITH SCORE 465978.005
AT ITER 7674 NEW BEST:: SOT 5616348 SOS 3921039 HAS SOPS 3921039 HAS SOUS 462056 HAS SOUPS 462056 WITH SCORE 465977.039
AT ITER 7678 NEW BEST:: SOT 5616459 SOS 3921005 HAS SOPS 3921005 HAS SOUS 461922 HAS SOUPS 461922 WITH SCORE 465843.005
AT ITER 7684 NEW BEST:: SOT 5615531 SOS 3943033 HAS SOPS 3943033 HAS SOUS 460913 HAS SOUPS 460913 WITH SCORE 464856.033
AT ITER 7689 NEW BEST:: SOT 5615531 SOS 3942823 HAS SOPS 3942823 HAS SOUS 460219 HAS SOUPS 460219 WITH SCORE 464161.823
AT ITER 7693 NEW BEST:: SOT 5615430 SOS 3943137 HAS SOPS 3943137 HAS SOUS 460118 HAS SOUPS 460118 WITH SCORE 464061.137
AT ITER 7704 NEW BEST:: SOT 5615430 SOS 3941923 HAS SOPS 3941923 HAS SOUS 460073 HAS SOUPS 460073 WITH SCORE 464014.923
AT ITER 7733 NEW BEST:: SOT 5615409 SOS 3941902 HAS SOPS 3941902 HAS SOUS 460031 HAS SOUPS 460031 WITH SCORE 463972.902
AT ITER 7734 NEW BEST:: SOT 5615377 SOS 3941870 HAS SOPS 3941870 HAS SOUS 460023 HAS SOUPS 460023 WITH SCORE 463964.87
AT ITER 7752 NEW BEST:: SOT 5615377 SOS 3941861 HAS SOPS 3941861 HAS SOUS 460014 HAS SOUPS 460014 WITH SCORE 463955.861
AT ITER 7754 NEW BEST:: SOT 5614617 SOS 3941101 HAS SOPS 3941101 HAS SOUS 459916 HAS SOUPS 459916 WITH SCORE 463857.101
AT ITER 7760 NEW BEST:: SOT 5614617 SOS 3941101 HAS SOPS 3941101 HAS SOUS 459806 HAS SOUPS 459806 WITH SCORE 463747.101
AT ITER 7786 NEW BEST:: SOT 5614656 SOS 3941140 HAS SOPS 3941140 HAS SOUS 459760 HAS SOUPS 459760 WITH SCORE 463701.14
AT ITER 7790 NEW BEST:: SOT 5614656 SOS 3941203 HAS SOPS 3941203 HAS SOUS 459494 HAS SOUPS 459494 WITH SCORE 463435.203
AT ITER 7806 NEW BEST:: SOT 5614656 SOS 3941203 HAS SOPS 3941203 HAS SOUS 459385 HAS SOUPS 459385 WITH SCORE 463326.203
AT ITER 7807 NEW BEST:: SOT 5614656 SOS 3941203 HAS SOPS 3941203 HAS SOUS 459037 HAS SOUPS 459037 WITH SCORE 462978.203
AT ITER 7816 NEW BEST:: SOT 5614092 SOS 3940763 HAS SOPS 3940763 HAS SOUS 458169 HAS SOUPS 458169 WITH SCORE 462109.763
AT ITER 7829 NEW BEST:: SOT 5613243 SOS 4000176 HAS SOPS 4000176 HAS SOUS 457223 HAS SOUPS 457223 WITH SCORE 461223.176
AT ITER 7832 NEW BEST:: SOT 5613035 SOS 3999968 HAS SOPS 3999968 HAS SOUS 456824 HAS SOUPS 456824 WITH SCORE 460823.968
AT ITER 7884 NEW BEST:: SOT 5613255 SOS 4000188 HAS SOPS 4000188 HAS SOUS 456795 HAS SOUPS 456795 WITH SCORE 460795.188
AT ITER 7893 NEW BEST:: SOT 5613034 SOS 4001266 HAS SOPS 4001266 HAS SOUS 456616 HAS SOUPS 456616 WITH SCORE 460617.266
AT ITER 7914 NEW BEST:: SOT 5614037 SOS 4002269 HAS SOPS 4002269 HAS SOUS 456524 HAS SOUPS 456524 WITH SCORE 460526.269
AT ITER 7919 NEW BEST:: SOT 5614037 SOS 4001956 HAS SOPS 4001956 HAS SOUS 456524 HAS SOUPS 456524 WITH SCORE 460525.956
AT ITER 7936 NEW BEST:: SOT 5614037 SOS 4003556 HAS SOPS 4003556 HAS SOUS 456172 HAS SOUPS 456172 WITH SCORE 460175.556
AT ITER 7937 NEW BEST:: SOT 5613909 SOS 4005222 HAS SOPS 4005222 HAS SOUS 456116 HAS SOUPS 456116 WITH SCORE 460121.222
AT ITER 7941 NEW BEST:: SOT 5613909 SOS 4004676 HAS SOPS 4004676 HAS SOUS 456116 HAS SOUPS 456116 WITH SCORE 460120.676
AT ITER 7943 NEW BEST:: SOT 5613909 SOS 3991755 HAS SOPS 3991755 HAS SOUS 456116 HAS SOUPS 456116 WITH SCORE 460107.755
AT ITER 7981 NEW BEST:: SOT 5613909 SOS 3990760 HAS SOPS 3990760 HAS SOUS 455861 HAS SOUPS 455861 WITH SCORE 459851.76
AT ITER 7990 NEW BEST:: SOT 5613909 SOS 3990676 HAS SOPS 3990676 HAS SOUS 455861 HAS SOUPS 455861 WITH SCORE 459851.676
AT ITER 8015 NEW BEST:: SOT 5613909 SOS 3990676 HAS SOPS 3990676 HAS SOUS 455848 HAS SOUPS 455848 WITH SCORE 459838.676
AT ITER 8020 NEW BEST:: SOT 5614196 SOS 3990897 HAS SOPS 3990897 HAS SOUS 455561 HAS SOUPS 455561 WITH SCORE 459551.897
AT ITER 8030 NEW BEST:: SOT 5614196 SOS 3990897 HAS SOPS 3990897 HAS SOUS 455528 HAS SOUPS 455528 WITH SCORE 459518.897
AT ITER 8037 NEW BEST:: SOT 5614196 SOS 3990992 HAS SOPS 3990992 HAS SOUS 455516 HAS SOUPS 455516 WITH SCORE 459506.992
AT ITER 8057 NEW BEST:: SOT 5614196 SOS 3991011 HAS SOPS 3991011 HAS SOUS 455416 HAS SOUPS 455416 WITH SCORE 459407.011
AT ITER 8069 NEW BEST:: SOT 5614196 SOS 3990950 HAS SOPS 3990950 HAS SOUS 455294 HAS SOUPS 455294 WITH SCORE 459284.95
AT ITER 8075 NEW BEST:: SOT 5614154 SOS 3991202 HAS SOPS 3991202 HAS SOUS 455210 HAS SOUPS 455210 WITH SCORE 459201.202
AT ITER 8077 NEW BEST:: SOT 5614295 SOS 3991343 HAS SOPS 3991343 HAS SOUS 455069 HAS SOUPS 455069 WITH SCORE 459060.343
AT ITER 8103 NEW BEST:: SOT 5614359 SOS 3991186 HAS SOPS 3991186 HAS SOUS 454771 HAS SOUPS 454771 WITH SCORE 458762.186
AT ITER 8124 NEW BEST:: SOT 5614127 SOS 3990954 HAS SOPS 3990954 HAS SOUS 454575 HAS SOUPS 454575 WITH SCORE 458565.954
AT ITER 8154 NEW BEST:: SOT 5613983 SOS 3990757 HAS SOPS 3990757 HAS SOUS 454251 HAS SOUPS 454251 WITH SCORE 458241.757
AT ITER 8160 NEW BEST:: SOT 5613983 SOS 3972361 HAS SOPS 3972361 HAS SOUS 454251 HAS SOUPS 454251 WITH SCORE 458223.361
AT ITER 8164 NEW BEST:: SOT 5613983 SOS 3972361 HAS SOPS 3972361 HAS SOUS 454246 HAS SOUPS 454246 WITH SCORE 458218.361
AT ITER 8169 NEW BEST:: SOT 5613880 SOS 3971859 HAS SOPS 3971859 HAS SOUS 454143 HAS SOUPS 454143 WITH SCORE 458114.859
AT ITER 8190 NEW BEST:: SOT 5613688 SOS 3973151 HAS SOPS 3973151 HAS SOUS 453759 HAS SOUPS 453759 WITH SCORE 457732.151
AT ITER 8208 NEW BEST:: SOT 5613608 SOS 3973071 HAS SOPS 3973071 HAS SOUS 453679 HAS SOUPS 453679 WITH SCORE 457652.071
AT ITER 8223 NEW BEST:: SOT 5613596 SOS 3973059 HAS SOPS 3973059 HAS SOUS 453659 HAS SOUPS 453659 WITH SCORE 457632.059
AT ITER 8233 NEW BEST:: SOT 5613596 SOS 3973017 HAS SOPS 3973017 HAS SOUS 453659 HAS SOUPS 453659 WITH SCORE 457632.017
AT ITER 8244 NEW BEST:: SOT 5613596 SOS 3971575 HAS SOPS 3971575 HAS SOUS 453659 HAS SOUPS 453659 WITH SCORE 457630.575
AT ITER 8247 NEW BEST:: SOT 5613300 SOS 3971279 HAS SOPS 3971279 HAS SOUS 453585 HAS SOUPS 453585 WITH SCORE 457556.279
AT ITER 8256 NEW BEST:: SOT 5613184 SOS 3970282 HAS SOPS 3970282 HAS SOUS 453224 HAS SOUPS 453224 WITH SCORE 457194.282
AT ITER 8258 NEW BEST:: SOT 5613184 SOS 3969438 HAS SOPS 3969438 HAS SOUS 453224 HAS SOUPS 453224 WITH SCORE 457193.438
AT ITER 8264 NEW BEST:: SOT 5613379 SOS 3969378 HAS SOPS 3969378 HAS SOUS 453164 HAS SOUPS 453164 WITH SCORE 457133.378
AT ITER 8271 NEW BEST:: SOT 5613379 SOS 3969720 HAS SOPS 3969720 HAS SOUS 453126 HAS SOUPS 453126 WITH SCORE 457095.72
AT ITER 8318 NEW BEST:: SOT 5612611 SOS 3968952 HAS SOPS 3968952 HAS SOUS 452953 HAS SOUPS 452953 WITH SCORE 456921.952
AT ITER 8334 NEW BEST:: SOT 5612676 SOS 3969017 HAS SOPS 3969017 HAS SOUS 452938 HAS SOUPS 452938 WITH SCORE 456907.017
AT ITER 8350 NEW BEST:: SOT 5612676 SOS 3968979 HAS SOPS 3968979 HAS SOUS 452862 HAS SOUPS 452862 WITH SCORE 456830.979
AT ITER 8362 NEW BEST:: SOT 5612676 SOS 3968978 HAS SOPS 3968978 HAS SOUS 452861 HAS SOUPS 452861 WITH SCORE 456829.978
AT ITER 8368 NEW BEST:: SOT 5616004 SOS 3972306 HAS SOPS 3972306 HAS SOUS 452479 HAS SOUPS 452479 WITH SCORE 456451.306
AT ITER 8370 NEW BEST:: SOT 5616356 SOS 3973318 HAS SOPS 3973318 HAS SOUS 451750 HAS SOUPS 451750 WITH SCORE 455723.318
AT ITER 8387 NEW BEST:: SOT 5616356 SOS 3972904 HAS SOPS 3972904 HAS SOUS 451458 HAS SOUPS 451458 WITH SCORE 455430.904
AT ITER 8393 NEW BEST:: SOT 5616356 SOS 3972871 HAS SOPS 3972871 HAS SOUS 451458 HAS SOUPS 451458 WITH SCORE 455430.871
AT ITER 8398 NEW BEST:: SOT 5616356 SOS 3972927 HAS SOPS 3972927 HAS SOUS 451363 HAS SOUPS 451363 WITH SCORE 455335.927
AT ITER 8416 NEW BEST:: SOT 5616398 SOS 3972969 HAS SOPS 3972969 HAS SOUS 451321 HAS SOUPS 451321 WITH SCORE 455293.969
AT ITER 8419 NEW BEST:: SOT 5616398 SOS 3972909 HAS SOPS 3972909 HAS SOUS 451321 HAS SOUPS 451321 WITH SCORE 455293.909
AT ITER 8444 NEW BEST:: SOT 5616398 SOS 3972909 HAS SOPS 3972909 HAS SOUS 451158 HAS SOUPS 451158 WITH SCORE 455130.909
AT ITER 8477 NEW BEST:: SOT 5616398 SOS 3972900 HAS SOPS 3972900 HAS SOUS 451156 HAS SOUPS 451156 WITH SCORE 455128.9
AT ITER 8486 NEW BEST:: SOT 5616352 SOS 3972900 HAS SOPS 3972900 HAS SOUS 451110 HAS SOUPS 451110 WITH SCORE 455082.9
AT ITER 8492 NEW BEST:: SOT 5616198 SOS 3972746 HAS SOPS 3972746 HAS SOUS 450956 HAS SOUPS 450956 WITH SCORE 454928.746
AT ITER 8531 NEW BEST:: SOT 5616198 SOS 3972780 HAS SOPS 3972780 HAS SOUS 450922 HAS SOUPS 450922 WITH SCORE 454894.78
AT ITER 8542 NEW BEST:: SOT 5616198 SOS 3972573 HAS SOPS 3972573 HAS SOUS 450821 HAS SOUPS 450821 WITH SCORE 454793.573
AT ITER 8546 NEW BEST:: SOT 5616196 SOS 3971926 HAS SOPS 3971926 HAS SOUS 450817 HAS SOUPS 450817 WITH SCORE 454788.926
AT ITER 8551 NEW BEST:: SOT 5616196 SOS 3971926 HAS SOPS 3971926 HAS SOUS 450663 HAS SOUPS 450663 WITH SCORE 454634.926
AT ITER 8553 NEW BEST:: SOT 5616196 SOS 3971157 HAS SOPS 3971157 HAS SOUS 450662 HAS SOUPS 450662 WITH SCORE 454633.157
AT ITER 8562 NEW BEST:: SOT 5616196 SOS 3970793 HAS SOPS 3970793 HAS SOUS 450605 HAS SOUPS 450605 WITH SCORE 454575.793
AT ITER 8568 NEW BEST:: SOT 5616196 SOS 3970793 HAS SOPS 3970793 HAS SOUS 450374 HAS SOUPS 450374 WITH SCORE 454344.793
AT ITER 8573 NEW BEST:: SOT 5616196 SOS 3970802 HAS SOPS 3970802 HAS SOUS 450237 HAS SOUPS 450237 WITH SCORE 454207.802
AT ITER 8589 NEW BEST:: SOT 5616202 SOS 3970857 HAS SOPS 3970857 HAS SOUS 450200 HAS SOUPS 450200 WITH SCORE 454170.857
AT ITER 8613 NEW BEST:: SOT 5616070 SOS 3970725 HAS SOPS 3970725 HAS SOUS 450021 HAS SOUPS 450021 WITH SCORE 453991.725
AT ITER 8616 NEW BEST:: SOT 5616070 SOS 3970834 HAS SOPS 3970834 HAS SOUS 449610 HAS SOUPS 449610 WITH SCORE 453580.834
AT ITER 8638 NEW BEST:: SOT 5616104 SOS 3970868 HAS SOPS 3970868 HAS SOUS 449280 HAS SOUPS 449280 WITH SCORE 453250.868
AT ITER 8639 NEW BEST:: SOT 5616104 SOS 3970868 HAS SOPS 3970868 HAS SOUS 449279 HAS SOUPS 449279 WITH SCORE 453249.868
AT ITER 8648 NEW BEST:: SOT 5616104 SOS 3970798 HAS SOPS 3970798 HAS SOUS 449279 HAS SOUPS 449279 WITH SCORE 453249.798
AT ITER 8666 NEW BEST:: SOT 5616096 SOS 3970790 HAS SOPS 3970790 HAS SOUS 449263 HAS SOUPS 449263 WITH SCORE 453233.79
AT ITER 8670 NEW BEST:: SOT 5616009 SOS 3970703 HAS SOPS 3970703 HAS SOUS 449032 HAS SOUPS 449032 WITH SCORE 453002.703
AT ITER 8671 NEW BEST:: SOT 5616009 SOS 3970691 HAS SOPS 3970691 HAS SOUS 448884 HAS SOUPS 448884 WITH SCORE 452854.691
AT ITER 8693 NEW BEST:: SOT 5616208 SOS 3970694 HAS SOPS 3970694 HAS SOUS 448573 HAS SOUPS 448573 WITH SCORE 452543.694
AT ITER 8694 NEW BEST:: SOT 5615910 SOS 3970396 HAS SOPS 3970396 HAS SOUS 448384 HAS SOUPS 448384 WITH SCORE 452354.396
AT ITER 8702 NEW BEST:: SOT 5616146 SOS 3970632 HAS SOPS 3970632 HAS SOUS 448318 HAS SOUPS 448318 WITH SCORE 452288.632
AT ITER 8727 NEW BEST:: SOT 5615378 SOS 3969672 HAS SOPS 3969672 HAS SOUS 447358 HAS SOUPS 447358 WITH SCORE 451327.672
AT ITER 8728 NEW BEST:: SOT 5615179 SOS 3969473 HAS SOPS 3969473 HAS SOUS 447219 HAS SOUPS 447219 WITH SCORE 451188.473
AT ITER 8742 NEW BEST:: SOT 5615179 SOS 3969219 HAS SOPS 3969219 HAS SOUS 447160 HAS SOUPS 447160 WITH SCORE 451129.219
AT ITER 8747 NEW BEST:: SOT 5615179 SOS 3968901 HAS SOPS 3968901 HAS SOUS 447160 HAS SOUPS 447160 WITH SCORE 451128.901
AT ITER 8748 NEW BEST:: SOT 5615460 SOS 3969182 HAS SOPS 3969182 HAS SOUS 447155 HAS SOUPS 447155 WITH SCORE 451124.182
AT ITER 8780 NEW BEST:: SOT 5615513 SOS 3969080 HAS SOPS 3969080 HAS SOUS 447106 HAS SOUPS 447106 WITH SCORE 451075.08
AT ITER 8787 NEW BEST:: SOT 5615603 SOS 3968972 HAS SOPS 3968972 HAS SOUS 446998 HAS SOUPS 446998 WITH SCORE 450966.972
AT ITER 8791 NEW BEST:: SOT 5615603 SOS 3968991 HAS SOPS 3968991 HAS SOUS 446979 HAS SOUPS 446979 WITH SCORE 450947.991
AT ITER 8812 NEW BEST:: SOT 5615603 SOS 3968599 HAS SOPS 3968599 HAS SOUS 446979 HAS SOUPS 446979 WITH SCORE 450947.599
AT ITER 8826 NEW BEST:: SOT 5615586 SOS 3968582 HAS SOPS 3968582 HAS SOUS 446968 HAS SOUPS 446968 WITH SCORE 450936.582
AT ITER 8840 NEW BEST:: SOT 5615566 SOS 3968562 HAS SOPS 3968562 HAS SOUS 446898 HAS SOUPS 446898 WITH SCORE 450866.562
AT ITER 8848 NEW BEST:: SOT 5615566 SOS 3968072 HAS SOPS 3968072 HAS SOUS 446564 HAS SOUPS 446564 WITH SCORE 450532.072
AT ITER 8867 NEW BEST:: SOT 5615651 SOS 3968157 HAS SOPS 3968157 HAS SOUS 446452 HAS SOUPS 446452 WITH SCORE 450420.157
AT ITER 8878 NEW BEST:: SOT 5615637 SOS 3968143 HAS SOPS 3968143 HAS SOUS 446380 HAS SOUPS 446380 WITH SCORE 450348.143
AT ITER 8919 NEW BEST:: SOT 5615585 SOS 3968091 HAS SOPS 3968091 HAS SOUS 446328 HAS SOUPS 446328 WITH SCORE 450296.091
AT ITER 8960 NEW BEST:: SOT 5615585 SOS 3968043 HAS SOPS 3968043 HAS SOUS 446280 HAS SOUPS 446280 WITH SCORE 450248.043
AT ITER 8968 NEW BEST:: SOT 5615522 SOS 3967980 HAS SOPS 3967980 HAS SOUS 446280 HAS SOUPS 446280 WITH SCORE 450247.98
AT ITER 8978 NEW BEST:: SOT 5615414 SOS 3967872 HAS SOPS 3967872 HAS SOUS 446172 HAS SOUPS 446172 WITH SCORE 450139.872
AT ITER 8981 NEW BEST:: SOT 5616722 SOS 3969180 HAS SOPS 3969180 HAS SOUS 445892 HAS SOUPS 445892 WITH SCORE 449861.18
AT ITER 8988 NEW BEST:: SOT 5616727 SOS 3969185 HAS SOPS 3969185 HAS SOUS 445813 HAS SOUPS 445813 WITH SCORE 449782.185
AT ITER 8990 NEW BEST:: SOT 5616536 SOS 3968994 HAS SOPS 3968994 HAS SOUS 445773 HAS SOUPS 445773 WITH SCORE 449741.994
AT ITER 8995 NEW BEST:: SOT 5616536 SOS 3967827 HAS SOPS 3967827 HAS SOUS 445704 HAS SOUPS 445704 WITH SCORE 449671.827
AT ITER 8996 NEW BEST:: SOT 5616529 SOS 3967764 HAS SOPS 3967764 HAS SOUS 445683 HAS SOUPS 445683 WITH SCORE 449650.764
AT ITER 8997 NEW BEST:: SOT 5616529 SOS 3967754 HAS SOPS 3967754 HAS SOUS 445109 HAS SOUPS 445109 WITH SCORE 449076.754
AT ITER 9018 NEW BEST:: SOT 5615742 SOS 4006186 HAS SOPS 4006186 HAS SOUS 444403 HAS SOUPS 444403 WITH SCORE 448409.186
AT ITER 9023 NEW BEST:: SOT 5615742 SOS 4006186 HAS SOPS 4006186 HAS SOUS 444262 HAS SOUPS 444262 WITH SCORE 448268.186
AT ITER 9035 NEW BEST:: SOT 5615727 SOS 4006176 HAS SOPS 4006176 HAS SOUS 444252 HAS SOUPS 444252 WITH SCORE 448258.176
AT ITER 9037 NEW BEST:: SOT 5615727 SOS 4005786 HAS SOPS 4005786 HAS SOUS 444252 HAS SOUPS 444252 WITH SCORE 448257.786
AT ITER 9047 NEW BEST:: SOT 5615763 SOS 4005822 HAS SOPS 4005822 HAS SOUS 444216 HAS SOUPS 444216 WITH SCORE 448221.822
AT ITER 9053 NEW BEST:: SOT 5615687 SOS 4005746 HAS SOPS 4005746 HAS SOUS 444110 HAS SOUPS 444110 WITH SCORE 448115.746
AT ITER 9055 NEW BEST:: SOT 5615633 SOS 4005692 HAS SOPS 4005692 HAS SOUS 444065 HAS SOUPS 444065 WITH SCORE 448070.692
AT ITER 9077 NEW BEST:: SOT 5615633 SOS 3949252 HAS SOPS 3949252 HAS SOUS 443959 HAS SOUPS 443959 WITH SCORE 447908.252
AT ITER 9079 NEW BEST:: SOT 5615588 SOS 3949280 HAS SOPS 3949280 HAS SOUS 443914 HAS SOUPS 443914 WITH SCORE 447863.28
AT ITER 9084 NEW BEST:: SOT 5615588 SOS 3948896 HAS SOPS 3948896 HAS SOUS 443914 HAS SOUPS 443914 WITH SCORE 447862.896
AT ITER 9125 NEW BEST:: SOT 5615544 SOS 3948852 HAS SOPS 3948852 HAS SOUS 443695 HAS SOUPS 443695 WITH SCORE 447643.852
AT ITER 9133 NEW BEST:: SOT 5615002 SOS 3948310 HAS SOPS 3948310 HAS SOUS 443512 HAS SOUPS 443512 WITH SCORE 447460.31
AT ITER 9154 NEW BEST:: SOT 5614860 SOS 3948168 HAS SOPS 3948168 HAS SOUS 443441 HAS SOUPS 443441 WITH SCORE 447389.168
AT ITER 9173 NEW BEST:: SOT 5614841 SOS 3948128 HAS SOPS 3948128 HAS SOUS 443401 HAS SOUPS 443401 WITH SCORE 447349.128
AT ITER 9178 NEW BEST:: SOT 5614821 SOS 3948108 HAS SOPS 3948108 HAS SOUS 443368 HAS SOUPS 443368 WITH SCORE 447316.108
AT ITER 9180 NEW BEST:: SOT 5614821 SOS 3948114 HAS SOPS 3948114 HAS SOUS 443327 HAS SOUPS 443327 WITH SCORE 447275.114
AT ITER 9188 NEW BEST:: SOT 5614821 SOS 3947185 HAS SOPS 3947185 HAS SOUS 443214 HAS SOUPS 443214 WITH SCORE 447161.185
AT ITER 9193 NEW BEST:: SOT 5614821 SOS 3947147 HAS SOPS 3947147 HAS SOUS 443214 HAS SOUPS 443214 WITH SCORE 447161.147
AT ITER 9201 NEW BEST:: SOT 5614821 SOS 3947289 HAS SOPS 3947289 HAS SOUS 443184 HAS SOUPS 443184 WITH SCORE 447131.289
AT ITER 9207 NEW BEST:: SOT 5614821 SOS 3918203 HAS SOPS 3918203 HAS SOUS 443154 HAS SOUPS 443154 WITH SCORE 447072.203
AT ITER 9211 NEW BEST:: SOT 5614821 SOS 3917727 HAS SOPS 3917727 HAS SOUS 442992 HAS SOUPS 442992 WITH SCORE 446909.727
AT ITER 9214 NEW BEST:: SOT 5614818 SOS 3917727 HAS SOPS 3917727 HAS SOUS 442986 HAS SOUPS 442986 WITH SCORE 446903.727
AT ITER 9223 NEW BEST:: SOT 5614616 SOS 3917441 HAS SOPS 3917441 HAS SOUS 442683 HAS SOUPS 442683 WITH SCORE 446600.441
AT ITER 9281 NEW BEST:: SOT 5614616 SOS 3917441 HAS SOPS 3917441 HAS SOUS 442640 HAS SOUPS 442640 WITH SCORE 446557.441
AT ITER 9289 NEW BEST:: SOT 5614143 SOS 3916968 HAS SOPS 3916968 HAS SOUS 442587 HAS SOUPS 442587 WITH SCORE 446503.968
AT ITER 9299 NEW BEST:: SOT 5614143 SOS 3916968 HAS SOPS 3916968 HAS SOUS 442524 HAS SOUPS 442524 WITH SCORE 446440.968
AT ITER 9324 NEW BEST:: SOT 5614143 SOS 3916968 HAS SOPS 3916968 HAS SOUS 442514 HAS SOUPS 442514 WITH SCORE 446430.968
AT ITER 9335 NEW BEST:: SOT 5614143 SOS 3916968 HAS SOPS 3916968 HAS SOUS 442486 HAS SOUPS 442486 WITH SCORE 446402.968
AT ITER 9343 NEW BEST:: SOT 5614143 SOS 3917434 HAS SOPS 3917434 HAS SOUS 442430 HAS SOUPS 442430 WITH SCORE 446347.434
AT ITER 9380 NEW BEST:: SOT 5614143 SOS 3917434 HAS SOPS 3917434 HAS SOUS 442374 HAS SOUPS 442374 WITH SCORE 446291.434
AT ITER 9392 NEW BEST:: SOT 5614084 SOS 3917375 HAS SOPS 3917375 HAS SOUS 442315 HAS SOUPS 442315 WITH SCORE 446232.375
AT ITER 9409 NEW BEST:: SOT 5614030 SOS 3917321 HAS SOPS 3917321 HAS SOUS 442261 HAS SOUPS 442261 WITH SCORE 446178.321
AT ITER 9414 NEW BEST:: SOT 5614030 SOS 3916132 HAS SOPS 3916132 HAS SOUS 442261 HAS SOUPS 442261 WITH SCORE 446177.132
AT ITER 9445 NEW BEST:: SOT 5613808 SOS 3915910 HAS SOPS 3915910 HAS SOUS 442002 HAS SOUPS 442002 WITH SCORE 445917.91
AT ITER 9450 NEW BEST:: SOT 5613808 SOS 3915175 HAS SOPS 3915175 HAS SOUS 441897 HAS SOUPS 441897 WITH SCORE 445812.175
AT ITER 9459 NEW BEST:: SOT 5613743 SOS 3914365 HAS SOPS 3914365 HAS SOUS 441767 HAS SOUPS 441767 WITH SCORE 445681.365
AT ITER 9463 NEW BEST:: SOT 5613743 SOS 3914307 HAS SOPS 3914307 HAS SOUS 441709 HAS SOUPS 441709 WITH SCORE 445623.307
AT ITER 9480 NEW BEST:: SOT 5613743 SOS 3914307 HAS SOPS 3914307 HAS SOUS 441707 HAS SOUPS 441707 WITH SCORE 445621.307
AT ITER 9482 NEW BEST:: SOT 5613691 SOS 3914255 HAS SOPS 3914255 HAS SOUS 441662 HAS SOUPS 441662 WITH SCORE 445576.255
AT ITER 9492 NEW BEST:: SOT 5613629 SOS 3915352 HAS SOPS 3915352 HAS SOUS 441607 HAS SOUPS 441607 WITH SCORE 445522.352
AT ITER 9526 NEW BEST:: SOT 5614355 SOS 3916078 HAS SOPS 3916078 HAS SOUS 441503 HAS SOUPS 441503 WITH SCORE 445419.078
AT ITER 9564 NEW BEST:: SOT 5614250 SOS 3916078 HAS SOPS 3916078 HAS SOUS 441293 HAS SOUPS 441293 WITH SCORE 445209.078
AT ITER 9591 NEW BEST:: SOT 5614250 SOS 3915934 HAS SOPS 3915934 HAS SOUS 441293 HAS SOUPS 441293 WITH SCORE 445208.934
AT ITER 9641 NEW BEST:: SOT 5614211 SOS 3915934 HAS SOPS 3915934 HAS SOUS 441215 HAS SOUPS 441215 WITH SCORE 445130.934
AT ITER 9662 NEW BEST:: SOT 5614776 SOS 3916499 HAS SOPS 3916499 HAS SOUS 441080 HAS SOUPS 441080 WITH SCORE 444996.499
AT ITER 9690 NEW BEST:: SOT 5614776 SOS 3916499 HAS SOPS 3916499 HAS SOUS 440990 HAS SOUPS 440990 WITH SCORE 444906.499
AT ITER 9718 NEW BEST:: SOT 5614776 SOS 3915407 HAS SOPS 3915407 HAS SOUS 440990 HAS SOUPS 440990 WITH SCORE 444905.407
AT ITER 9741 NEW BEST:: SOT 5614776 SOS 3915407 HAS SOPS 3915407 HAS SOUS 440778 HAS SOUPS 440778 WITH SCORE 444693.407
AT ITER 9750 NEW BEST:: SOT 5614362 SOS 4067071 HAS SOPS 4067071 HAS SOUS 440457 HAS SOUPS 440457 WITH SCORE 444524.071
AT ITER 9754 NEW BEST:: SOT 5614356 SOS 4067065 HAS SOPS 4067065 HAS SOUS 440445 HAS SOUPS 440445 WITH SCORE 444512.065
AT ITER 9756 NEW BEST:: SOT 5614190 SOS 4067228 HAS SOPS 4067228 HAS SOUS 440419 HAS SOUPS 440419 WITH SCORE 444486.228
AT ITER 9795 NEW BEST:: SOT 5614004 SOS 4067042 HAS SOPS 4067042 HAS SOUS 440024 HAS SOUPS 440024 WITH SCORE 444091.042
AT ITER 9833 NEW BEST:: SOT 5613795 SOS 4066833 HAS SOPS 4066833 HAS SOUS 439979 HAS SOUPS 439979 WITH SCORE 444045.833
AT ITER 9839 NEW BEST:: SOT 5613747 SOS 4066785 HAS SOPS 4066785 HAS SOUS 439931 HAS SOUPS 439931 WITH SCORE 443997.785
AT ITER 9843 NEW BEST:: SOT 5613255 SOS 4066293 HAS SOPS 4066293 HAS SOUS 439722 HAS SOUPS 439722 WITH SCORE 443788.293
AT ITER 9879 NEW BEST:: SOT 5613255 SOS 4066239 HAS SOPS 4066239 HAS SOUS 439668 HAS SOUPS 439668 WITH SCORE 443734.239
AT ITER 9892 NEW BEST:: SOT 5613380 SOS 4065239 HAS SOPS 4065239 HAS SOUS 439668 HAS SOUPS 439668 WITH SCORE 443733.239
AT ITER 9915 NEW BEST:: SOT 5613380 SOS 4063986 HAS SOPS 4063986 HAS SOUS 439492 HAS SOUPS 439492 WITH SCORE 443555.986
AT ITER 9959 NEW BEST:: SOT 5613380 SOS 4064096 HAS SOPS 4064096 HAS SOUS 439486 HAS SOUPS 439486 WITH SCORE 443550.096
AT ITER 9960 NEW BEST:: SOT 5613380 SOS 4064096 HAS SOPS 4064096 HAS SOUS 439448 HAS SOUPS 439448 WITH SCORE 443512.096
AT ITER 9968 NEW BEST:: SOT 5613420 SOS 4064136 HAS SOPS 4064136 HAS SOUS 439439 HAS SOUPS 439439 WITH SCORE 443503.136
AT ITER 9985 NEW BEST:: SOT 5613610 SOS 4064326 HAS SOPS 4064326 HAS SOUS 439430 HAS SOUPS 439430 WITH SCORE 443494.326
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13506948 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16129456 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NeoElection-COL-8, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534200168"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-8.tgz
mv NeoElection-COL-8 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 ;