fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r123-tajo-158961354900544
Last Updated
Jun 28, 2020

About the Execution of smart for PolyORBLF-PT-S06J06T06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.550 3600000.00 3599990.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 8.8K Apr 12 05:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 12 05:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 33K Apr 11 05:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 119K Apr 11 05:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 45K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 10 12:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 214K Apr 9 18:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 685K Apr 9 18:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.7K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 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 1589646205052

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 700 places, 10740 transitions, 89778 arcs.
AT ITER 0 NEW BEST:: SOT 4938061 SOS 2871192 HAS SOPS 2858779 HAS SOUS 526712 HAS SOUPS 526044 WITH SCORE 528915.192
AT ITER 9 NEW BEST:: SOT 4938031 SOS 2871162 HAS SOPS 2858809 HAS SOUS 526706 HAS SOUPS 526038 WITH SCORE 528909.162
AT ITER 29 NEW BEST:: SOT 4938010 SOS 2871141 HAS SOPS 2858788 HAS SOUS 526685 HAS SOUPS 526017 WITH SCORE 528888.141
AT ITER 31 NEW BEST:: SOT 4645627 SOS 2578758 HAS SOPS 2566405 HAS SOUS 488507 HAS SOUPS 487839 WITH SCORE 490417.758
AT ITER 40 NEW BEST:: SOT 4645583 SOS 2578670 HAS SOPS 2566317 HAS SOUS 488407 HAS SOUPS 487739 WITH SCORE 490317.67
AT ITER 49 NEW BEST:: SOT 4645575 SOS 2578662 HAS SOPS 2566305 HAS SOUS 488406 HAS SOUPS 487735 WITH SCORE 490313.662
AT ITER 50 NEW BEST:: SOT 4645109 SOS 2578231 HAS SOPS 2565874 HAS SOUS 487864 HAS SOUPS 487193 WITH SCORE 489771.231
AT ITER 61 NEW BEST:: SOT 4644380 SOS 2577640 HAS SOPS 2565283 HAS SOUS 487231 HAS SOUPS 486560 WITH SCORE 489137.64
AT ITER 71 NEW BEST:: SOT 4644346 SOS 2577572 HAS SOPS 2565215 HAS SOUS 487181 HAS SOUPS 486510 WITH SCORE 489087.572
AT ITER 78 NEW BEST:: SOT 4644163 SOS 2577523 HAS SOPS 2565160 HAS SOUS 487116 HAS SOUPS 486441 WITH SCORE 489018.523
AT ITER 88 NEW BEST:: SOT 4644031 SOS 2577261 HAS SOPS 2564898 HAS SOUS 486877 HAS SOUPS 486202 WITH SCORE 488779.261
AT ITER 99 NEW BEST:: SOT 4643458 SOS 2576735 HAS SOPS 2564372 HAS SOUS 486670 HAS SOUPS 485995 WITH SCORE 488571.735
AT ITER 125 NEW BEST:: SOT 4632761 SOS 2575666 HAS SOPS 2570908 HAS SOUS 477928 HAS SOUPS 477426 WITH SCORE 480001.666
AT ITER 136 NEW BEST:: SOT 4604203 SOS 2547080 HAS SOPS 2542580 HAS SOUS 471606 HAS SOUPS 471147 WITH SCORE 473694.08
AT ITER 138 NEW BEST:: SOT 4603282 SOS 2546288 HAS SOPS 2541788 HAS SOUS 470785 HAS SOUPS 470326 WITH SCORE 472872.288
AT ITER 147 NEW BEST:: SOT 4603282 SOS 2546976 HAS SOPS 2542476 HAS SOUS 470588 HAS SOUPS 470129 WITH SCORE 472675.976
AT ITER 153 NEW BEST:: SOT 4603051 SOS 2546540 HAS SOPS 2542040 HAS SOUS 470298 HAS SOUPS 469839 WITH SCORE 472385.54
AT ITER 157 NEW BEST:: SOT 4414581 SOS 2423613 HAS SOPS 2419113 HAS SOUS 444934 HAS SOUPS 444475 WITH SCORE 446898.613
AT ITER 176 NEW BEST:: SOT 4414259 SOS 2423291 HAS SOPS 2418791 HAS SOUS 444566 HAS SOUPS 444107 WITH SCORE 446530.291
AT ITER 186 NEW BEST:: SOT 4413864 SOS 2422591 HAS SOPS 2418091 HAS SOUS 443908 HAS SOUPS 443449 WITH SCORE 445871.591
AT ITER 191 NEW BEST:: SOT 4413864 SOS 2422587 HAS SOPS 2418087 HAS SOUS 443904 HAS SOUPS 443445 WITH SCORE 445867.587
AT ITER 192 NEW BEST:: SOT 4413940 SOS 2423029 HAS SOPS 2418529 HAS SOUS 443841 HAS SOUPS 443382 WITH SCORE 445805.029
AT ITER 195 NEW BEST:: SOT 4383109 SOS 2401433 HAS SOPS 2396933 HAS SOUS 443844 HAS SOUPS 443385 WITH SCORE 445786.433
AT ITER 203 NEW BEST:: SOT 4383051 SOS 2401622 HAS SOPS 2397135 HAS SOUS 443837 HAS SOUPS 443378 WITH SCORE 445779.622
AT ITER 206 NEW BEST:: SOT 4382483 SOS 2401141 HAS SOPS 2396654 HAS SOUS 443257 HAS SOUPS 442798 WITH SCORE 445199.141
AT ITER 214 NEW BEST:: SOT 4381638 SOS 2400401 HAS SOPS 2395914 HAS SOUS 442517 HAS SOUPS 442058 WITH SCORE 444458.401
AT ITER 227 NEW BEST:: SOT 4259335 SOS 2278218 HAS SOPS 2273731 HAS SOUS 423206 HAS SOUPS 422747 WITH SCORE 425025.218
AT ITER 236 NEW BEST:: SOT 4259793 SOS 2277275 HAS SOPS 2267388 HAS SOUS 423728 HAS SOUPS 422369 WITH SCORE 424646.275
AT ITER 241 NEW BEST:: SOT 4259744 SOS 2276978 HAS SOPS 2267091 HAS SOUS 423630 HAS SOUPS 422271 WITH SCORE 424547.978
AT ITER 246 NEW BEST:: SOT 4259181 SOS 2276063 HAS SOPS 2266176 HAS SOUS 423006 HAS SOUPS 421647 WITH SCORE 423923.063
AT ITER 248 NEW BEST:: SOT 4259159 SOS 2276019 HAS SOPS 2266132 HAS SOUS 422779 HAS SOUPS 421420 WITH SCORE 423696.019
AT ITER 249 NEW BEST:: SOT 4259132 SOS 2276011 HAS SOPS 2266124 HAS SOUS 422771 HAS SOUPS 421412 WITH SCORE 423688.011
AT ITER 253 NEW BEST:: SOT 4259233 SOS 2276174 HAS SOPS 2266287 HAS SOUS 422580 HAS SOUPS 421221 WITH SCORE 423497.174
AT ITER 260 NEW BEST:: SOT 4259368 SOS 2276309 HAS SOPS 2266477 HAS SOUS 422555 HAS SOUPS 421196 WITH SCORE 423472.309
AT ITER 263 NEW BEST:: SOT 4259119 SOS 2276033 HAS SOPS 2266201 HAS SOUS 422314 HAS SOUPS 420955 WITH SCORE 423231.033
AT ITER 289 NEW BEST:: SOT 4258213 SOS 2275377 HAS SOPS 2265545 HAS SOUS 422232 HAS SOUPS 420873 WITH SCORE 423148.377
AT ITER 306 NEW BEST:: SOT 4258272 SOS 2275536 HAS SOPS 2265704 HAS SOUS 421817 HAS SOUPS 420458 WITH SCORE 422733.536
AT ITER 323 NEW BEST:: SOT 4257880 SOS 2275200 HAS SOPS 2265368 HAS SOUS 421103 HAS SOUPS 419744 WITH SCORE 422019.2
AT ITER 332 NEW BEST:: SOT 4257272 SOS 2274341 HAS SOPS 2264509 HAS SOUS 420418 HAS SOUPS 419059 WITH SCORE 421333.341
AT ITER 347 NEW BEST:: SOT 4257122 SOS 2274157 HAS SOPS 2264392 HAS SOUS 420297 HAS SOUPS 418938 WITH SCORE 421212.157
AT ITER 348 NEW BEST:: SOT 4256856 SOS 2273853 HAS SOPS 2264088 HAS SOUS 419993 HAS SOUPS 418634 WITH SCORE 420907.853
AT ITER 361 NEW BEST:: SOT 4256163 SOS 2273287 HAS SOPS 2263522 HAS SOUS 419385 HAS SOUPS 418026 WITH SCORE 420299.287
AT ITER 376 NEW BEST:: SOT 4256108 SOS 2273232 HAS SOPS 2263467 HAS SOUS 419360 HAS SOUPS 418001 WITH SCORE 420274.232
AT ITER 379 NEW BEST:: SOT 4255889 SOS 2272920 HAS SOPS 2263152 HAS SOUS 419064 HAS SOUPS 417705 WITH SCORE 419977.92
AT ITER 397 NEW BEST:: SOT 4255848 SOS 2268162 HAS SOPS 2258394 HAS SOUS 416401 HAS SOUPS 415042 WITH SCORE 417310.162
AT ITER 402 NEW BEST:: SOT 4255735 SOS 2267971 HAS SOPS 2258203 HAS SOUS 415872 HAS SOUPS 414513 WITH SCORE 416780.971
AT ITER 411 NEW BEST:: SOT 4255677 SOS 2267926 HAS SOPS 2258158 HAS SOUS 415536 HAS SOUPS 414177 WITH SCORE 416444.926
AT ITER 414 NEW BEST:: SOT 4255318 SOS 2267614 HAS SOPS 2257846 HAS SOUS 415368 HAS SOUPS 414009 WITH SCORE 416276.614
AT ITER 418 NEW BEST:: SOT 4254934 SOS 2267294 HAS SOPS 2257526 HAS SOUS 414600 HAS SOUPS 413241 WITH SCORE 415508.294
AT ITER 424 NEW BEST:: SOT 4254214 SOS 2266706 HAS SOPS 2256938 HAS SOUS 413970 HAS SOUPS 412611 WITH SCORE 414877.706
AT ITER 427 NEW BEST:: SOT 4254175 SOS 2266631 HAS SOPS 2256863 HAS SOUS 413745 HAS SOUPS 412386 WITH SCORE 414652.631
AT ITER 437 NEW BEST:: SOT 4254146 SOS 2266602 HAS SOPS 2256834 HAS SOUS 413716 HAS SOUPS 412357 WITH SCORE 414623.602
AT ITER 441 NEW BEST:: SOT 4254216 SOS 2266784 HAS SOPS 2257016 HAS SOUS 413664 HAS SOUPS 412305 WITH SCORE 414571.784
AT ITER 442 NEW BEST:: SOT 4254066 SOS 2266465 HAS SOPS 2256697 HAS SOUS 412850 HAS SOUPS 411491 WITH SCORE 413757.465
AT ITER 446 NEW BEST:: SOT 4253856 SOS 2266237 HAS SOPS 2256469 HAS SOUS 412638 HAS SOUPS 411279 WITH SCORE 413545.237
AT ITER 469 NEW BEST:: SOT 4253850 SOS 2256901 HAS SOPS 2247133 HAS SOUS 412638 HAS SOUPS 411279 WITH SCORE 413535.901
AT ITER 476 NEW BEST:: SOT 4253812 SOS 2257157 HAS SOPS 2247362 HAS SOUS 412502 HAS SOUPS 411143 WITH SCORE 413400.157
AT ITER 477 NEW BEST:: SOT 4253812 SOS 2257157 HAS SOPS 2247362 HAS SOUS 412356 HAS SOUPS 410997 WITH SCORE 413254.157
AT ITER 478 NEW BEST:: SOT 4252907 SOS 2256479 HAS SOPS 2246684 HAS SOUS 412083 HAS SOUPS 410724 WITH SCORE 412980.479
AT ITER 481 NEW BEST:: SOT 4250792 SOS 2254192 HAS SOPS 2244397 HAS SOUS 410286 HAS SOUPS 408927 WITH SCORE 411181.192
AT ITER 490 NEW BEST:: SOT 4250792 SOS 2253544 HAS SOPS 2243749 HAS SOUS 410286 HAS SOUPS 408927 WITH SCORE 411180.544
AT ITER 491 NEW BEST:: SOT 4250712 SOS 2253624 HAS SOPS 2243829 HAS SOUS 409349 HAS SOUPS 407990 WITH SCORE 410243.624
AT ITER 492 NEW BEST:: SOT 4250194 SOS 2253167 HAS SOPS 2243372 HAS SOUS 408828 HAS SOUPS 407469 WITH SCORE 409722.167
AT ITER 495 NEW BEST:: SOT 4249609 SOS 2252687 HAS SOPS 2242892 HAS SOUS 408087 HAS SOUPS 406728 WITH SCORE 408980.687
AT ITER 500 NEW BEST:: SOT 4247260 SOS 2250554 HAS SOPS 2240759 HAS SOUS 407475 HAS SOUPS 406116 WITH SCORE 408366.554
AT ITER 511 NEW BEST:: SOT 4247175 SOS 2250469 HAS SOPS 2240504 HAS SOUS 407390 HAS SOUPS 405861 WITH SCORE 408111.469
AT ITER 524 NEW BEST:: SOT 4247143 SOS 2250277 HAS SOPS 2240312 HAS SOUS 407390 HAS SOUPS 405861 WITH SCORE 408111.277
AT ITER 528 NEW BEST:: SOT 4246969 SOS 2250118 HAS SOPS 2240153 HAS SOUS 407250 HAS SOUPS 405721 WITH SCORE 407971.118
AT ITER 554 NEW BEST:: SOT 4246288 SOS 2249514 HAS SOPS 2239549 HAS SOUS 406509 HAS SOUPS 404980 WITH SCORE 407229.514
AT ITER 561 NEW BEST:: SOT 4246399 SOS 2249591 HAS SOPS 2239626 HAS SOUS 403484 HAS SOUPS 401955 WITH SCORE 404204.591
AT ITER 568 NEW BEST:: SOT 4245790 SOS 2249108 HAS SOPS 2239143 HAS SOUS 402943 HAS SOUPS 401414 WITH SCORE 403663.108
AT ITER 571 NEW BEST:: SOT 4214420 SOS 2384209 HAS SOPS 2374244 HAS SOUS 400150 HAS SOUPS 398621 WITH SCORE 401005.209
AT ITER 580 NEW BEST:: SOT 4213825 SOS 2383783 HAS SOPS 2373818 HAS SOUS 399668 HAS SOUPS 398139 WITH SCORE 400522.783
AT ITER 601 NEW BEST:: SOT 4213694 SOS 2383652 HAS SOPS 2373687 HAS SOUS 399461 HAS SOUPS 397932 WITH SCORE 400315.652
AT ITER 633 NEW BEST:: SOT 4213514 SOS 2383472 HAS SOPS 2373507 HAS SOUS 399281 HAS SOUPS 397752 WITH SCORE 400135.472
AT ITER 638 NEW BEST:: SOT 4212907 SOS 2382928 HAS SOPS 2372963 HAS SOUS 398678 HAS SOUPS 397149 WITH SCORE 399531.928
AT ITER 646 NEW BEST:: SOT 4212497 SOS 2382569 HAS SOPS 2372604 HAS SOUS 398332 HAS SOUPS 396803 WITH SCORE 399185.569
AT ITER 648 NEW BEST:: SOT 4212342 SOS 2382414 HAS SOPS 2372449 HAS SOUS 398177 HAS SOUPS 396648 WITH SCORE 399030.414
AT ITER 650 NEW BEST:: SOT 4212344 SOS 2382416 HAS SOPS 2372487 HAS SOUS 398113 HAS SOUPS 396584 WITH SCORE 398966.416
AT ITER 658 NEW BEST:: SOT 4212344 SOS 2382839 HAS SOPS 2372910 HAS SOUS 397316 HAS SOUPS 395787 WITH SCORE 398169.839
AT ITER 661 NEW BEST:: SOT 4212344 SOS 2395271 HAS SOPS 2385342 HAS SOUS 397276 HAS SOUPS 395747 WITH SCORE 398142.271
AT ITER 665 NEW BEST:: SOT 4212289 SOS 2395210 HAS SOPS 2385281 HAS SOUS 397166 HAS SOUPS 395637 WITH SCORE 398032.21
AT ITER 668 NEW BEST:: SOT 4211747 SOS 2395883 HAS SOPS 2385954 HAS SOUS 397059 HAS SOUPS 395530 WITH SCORE 397925.883
AT ITER 670 NEW BEST:: SOT 4211741 SOS 2395875 HAS SOPS 2385946 HAS SOUS 397051 HAS SOUPS 395522 WITH SCORE 397917.875
AT ITER 683 NEW BEST:: SOT 4211655 SOS 2395789 HAS SOPS 2385860 HAS SOUS 396943 HAS SOUPS 395414 WITH SCORE 397809.789
AT ITER 686 NEW BEST:: SOT 4032872 SOS 2217051 HAS SOPS 2207056 HAS SOUS 377519 HAS SOUPS 375979 WITH SCORE 378196.051
AT ITER 688 NEW BEST:: SOT 4032647 SOS 2216643 HAS SOPS 2206735 HAS SOUS 377355 HAS SOUPS 375815 WITH SCORE 378031.643
AT ITER 689 NEW BEST:: SOT 4032617 SOS 2216530 HAS SOPS 2206619 HAS SOUS 377295 HAS SOUPS 375755 WITH SCORE 377971.53
AT ITER 696 NEW BEST:: SOT 4032585 SOS 2216424 HAS SOPS 2206513 HAS SOUS 377263 HAS SOUPS 375723 WITH SCORE 377939.424
AT ITER 698 NEW BEST:: SOT 4032032 SOS 2215995 HAS SOPS 2206084 HAS SOUS 376370 HAS SOUPS 374830 WITH SCORE 377045.995
AT ITER 707 NEW BEST:: SOT 4032020 SOS 2215983 HAS SOPS 2206072 HAS SOUS 376358 HAS SOUPS 374818 WITH SCORE 377033.983
AT ITER 714 NEW BEST:: SOT 4031865 SOS 2215757 HAS SOPS 2205846 HAS SOUS 376132 HAS SOUPS 374592 WITH SCORE 376807.757
AT ITER 725 NEW BEST:: SOT 3999613 SOS 2183466 HAS SOPS 2173555 HAS SOUS 372205 HAS SOUPS 370665 WITH SCORE 372848.466
AT ITER 728 NEW BEST:: SOT 3999613 SOS 2183926 HAS SOPS 2174015 HAS SOUS 372138 HAS SOUPS 370598 WITH SCORE 372781.926
AT ITER 740 NEW BEST:: SOT 3999511 SOS 2183802 HAS SOPS 2173891 HAS SOUS 372037 HAS SOUPS 370497 WITH SCORE 372680.802
AT ITER 741 NEW BEST:: SOT 3999403 SOS 2183640 HAS SOPS 2173729 HAS SOUS 371875 HAS SOUPS 370335 WITH SCORE 372518.64
AT ITER 749 NEW BEST:: SOT 3999370 SOS 2183607 HAS SOPS 2173696 HAS SOUS 371809 HAS SOUPS 370269 WITH SCORE 372452.607
AT ITER 753 NEW BEST:: SOT 3999412 SOS 2183533 HAS SOPS 2173622 HAS SOUS 371760 HAS SOUPS 370220 WITH SCORE 372403.533
AT ITER 754 NEW BEST:: SOT 3999145 SOS 2183248 HAS SOPS 2173337 HAS SOUS 371510 HAS SOUPS 369970 WITH SCORE 372153.248
AT ITER 755 NEW BEST:: SOT 3999067 SOS 2183146 HAS SOPS 2173235 HAS SOUS 371479 HAS SOUPS 369939 WITH SCORE 372122.146
AT ITER 762 NEW BEST:: SOT 3999067 SOS 2183276 HAS SOPS 2173365 HAS SOUS 371021 HAS SOUPS 369481 WITH SCORE 371664.276
AT ITER 765 NEW BEST:: SOT 3828539 SOS 2207356 HAS SOPS 2197445 HAS SOUS 351070 HAS SOUPS 349530 WITH SCORE 351737.356
AT ITER 778 NEW BEST:: SOT 3828397 SOS 2207174 HAS SOPS 2197263 HAS SOUS 350052 HAS SOUPS 348512 WITH SCORE 350719.174
AT ITER 781 NEW BEST:: SOT 3828279 SOS 2207056 HAS SOPS 2197145 HAS SOUS 349975 HAS SOUPS 348435 WITH SCORE 350642.056
AT ITER 784 NEW BEST:: SOT 3828147 SOS 2206858 HAS SOPS 2196947 HAS SOUS 349777 HAS SOUPS 348237 WITH SCORE 350443.858
AT ITER 785 NEW BEST:: SOT 3827777 SOS 2206613 HAS SOPS 2196702 HAS SOUS 349237 HAS SOUPS 347697 WITH SCORE 349903.613
AT ITER 793 NEW BEST:: SOT 3827362 SOS 2206326 HAS SOPS 2196415 HAS SOUS 349019 HAS SOUPS 347479 WITH SCORE 349685.326
AT ITER 808 NEW BEST:: SOT 3827350 SOS 2206314 HAS SOPS 2196403 HAS SOUS 349007 HAS SOUPS 347467 WITH SCORE 349673.314
AT ITER 815 NEW BEST:: SOT 3826969 SOS 2204542 HAS SOPS 2194631 HAS SOUS 348557 HAS SOUPS 347017 WITH SCORE 349221.542
AT ITER 834 NEW BEST:: SOT 3814286 SOS 2191817 HAS SOPS 2181906 HAS SOUS 348470 HAS SOUPS 346930 WITH SCORE 349121.817
AT ITER 839 NEW BEST:: SOT 3813756 SOS 2191523 HAS SOPS 2181612 HAS SOUS 348199 HAS SOUPS 346659 WITH SCORE 348850.523
AT ITER 847 NEW BEST:: SOT 3813774 SOS 2191607 HAS SOPS 2181696 HAS SOUS 348169 HAS SOUPS 346629 WITH SCORE 348820.607
AT ITER 850 NEW BEST:: SOT 3813602 SOS 2191435 HAS SOPS 2181524 HAS SOUS 347954 HAS SOUPS 346414 WITH SCORE 348605.435
AT ITER 851 NEW BEST:: SOT 3812915 SOS 2190748 HAS SOPS 2180837 HAS SOUS 347264 HAS SOUPS 345724 WITH SCORE 347914.748
AT ITER 872 NEW BEST:: SOT 3812983 SOS 2191074 HAS SOPS 2181163 HAS SOUS 347015 HAS SOUPS 345475 WITH SCORE 347666.074
AT ITER 887 NEW BEST:: SOT 3812973 SOS 2191180 HAS SOPS 2181341 HAS SOUS 346453 HAS SOUPS 344913 WITH SCORE 347104.18
AT ITER 893 NEW BEST:: SOT 3812598 SOS 2190805 HAS SOPS 2180966 HAS SOUS 346078 HAS SOUPS 344538 WITH SCORE 346728.805
AT ITER 894 NEW BEST:: SOT 3812549 SOS 2190682 HAS SOPS 2180843 HAS SOUS 345980 HAS SOUPS 344440 WITH SCORE 346630.682
AT ITER 897 NEW BEST:: SOT 3812537 SOS 2190672 HAS SOPS 2180833 HAS SOUS 345970 HAS SOUPS 344430 WITH SCORE 346620.672
AT ITER 898 NEW BEST:: SOT 3812537 SOS 2190676 HAS SOPS 2180837 HAS SOUS 345950 HAS SOUPS 344410 WITH SCORE 346600.676
AT ITER 900 NEW BEST:: SOT 3812544 SOS 2190683 HAS SOPS 2180808 HAS SOUS 345953 HAS SOUPS 344391 WITH SCORE 346581.683
AT ITER 918 NEW BEST:: SOT 3812534 SOS 2190673 HAS SOPS 2180798 HAS SOUS 345933 HAS SOUPS 344371 WITH SCORE 346561.673
AT ITER 929 NEW BEST:: SOT 3812487 SOS 2190626 HAS SOPS 2180722 HAS SOUS 345857 HAS SOUPS 344295 WITH SCORE 346485.626
AT ITER 945 NEW BEST:: SOT 3792236 SOS 2170362 HAS SOPS 2160458 HAS SOUS 345620 HAS SOUPS 344058 WITH SCORE 346228.362
AT ITER 998 NEW BEST:: SOT 3791907 SOS 2170033 HAS SOPS 2160129 HAS SOUS 345289 HAS SOUPS 343727 WITH SCORE 345897.033
AT ITER 1004 NEW BEST:: SOT 3792260 SOS 2163292 HAS SOPS 2148878 HAS SOUS 345284 HAS SOUPS 343595 WITH SCORE 345758.292
AT ITER 1010 NEW BEST:: SOT 3792019 SOS 2163021 HAS SOPS 2148607 HAS SOUS 345179 HAS SOUPS 343490 WITH SCORE 345653.021
AT ITER 1025 NEW BEST:: SOT 3792009 SOS 2163011 HAS SOPS 2148597 HAS SOUS 345132 HAS SOUPS 343443 WITH SCORE 345606.011
AT ITER 1043 NEW BEST:: SOT 3791969 SOS 2162971 HAS SOPS 2148584 HAS SOUS 345090 HAS SOUPS 343401 WITH SCORE 345563.971
AT ITER 1057 NEW BEST:: SOT 3791909 SOS 2162887 HAS SOPS 2148500 HAS SOUS 344974 HAS SOUPS 343285 WITH SCORE 345447.887
AT ITER 1063 NEW BEST:: SOT 3791852 SOS 2162687 HAS SOPS 2148300 HAS SOUS 344916 HAS SOUPS 343227 WITH SCORE 345389.687
AT ITER 1080 NEW BEST:: SOT 3791507 SOS 2162379 HAS SOPS 2147992 HAS SOUS 343618 HAS SOUPS 341929 WITH SCORE 344091.379
AT ITER 1081 NEW BEST:: SOT 3790902 SOS 2161530 HAS SOPS 2147143 HAS SOUS 343095 HAS SOUPS 341406 WITH SCORE 343567.53
AT ITER 1084 NEW BEST:: SOT 3790774 SOS 2159306 HAS SOPS 2144919 HAS SOUS 343001 HAS SOUPS 341312 WITH SCORE 343471.306
AT ITER 1086 NEW BEST:: SOT 3790272 SOS 2158792 HAS SOPS 2144405 HAS SOUS 342673 HAS SOUPS 340984 WITH SCORE 343142.792
AT ITER 1093 NEW BEST:: SOT 3760192 SOS 2128712 HAS SOPS 2114325 HAS SOUS 340256 HAS SOUPS 338567 WITH SCORE 340695.712
AT ITER 1096 NEW BEST:: SOT 3760180 SOS 2128564 HAS SOPS 2114177 HAS SOUS 340142 HAS SOUPS 338453 WITH SCORE 340581.564
AT ITER 1100 NEW BEST:: SOT 3760165 SOS 2128534 HAS SOPS 2114177 HAS SOUS 340109 HAS SOUPS 338420 WITH SCORE 340548.534
AT ITER 1101 NEW BEST:: SOT 3760115 SOS 2128484 HAS SOPS 2114127 HAS SOUS 340056 HAS SOUPS 338367 WITH SCORE 340495.484
AT ITER 1115 NEW BEST:: SOT 3760111 SOS 2128480 HAS SOPS 2114123 HAS SOUS 340052 HAS SOUPS 338363 WITH SCORE 340491.48
AT ITER 1128 NEW BEST:: SOT 3759931 SOS 2128330 HAS SOPS 2113973 HAS SOUS 339902 HAS SOUPS 338213 WITH SCORE 340341.33
AT ITER 1146 NEW BEST:: SOT 3759931 SOS 2128286 HAS SOPS 2113929 HAS SOUS 339901 HAS SOUPS 338212 WITH SCORE 340340.286
AT ITER 1162 NEW BEST:: SOT 3759816 SOS 2128152 HAS SOPS 2113946 HAS SOUS 339717 HAS SOUPS 338028 WITH SCORE 340156.152
AT ITER 1178 NEW BEST:: SOT 3527976 SOS 1896672 HAS SOPS 1882106 HAS SOUS 314937 HAS SOUPS 313188 WITH SCORE 315084.672
AT ITER 1184 NEW BEST:: SOT 3527730 SOS 1896426 HAS SOPS 1881860 HAS SOUS 314691 HAS SOUPS 312942 WITH SCORE 314838.426
AT ITER 1199 NEW BEST:: SOT 3527409 SOS 1896239 HAS SOPS 1881673 HAS SOUS 314326 HAS SOUPS 312577 WITH SCORE 314473.239
AT ITER 1205 NEW BEST:: SOT 3527401 SOS 1896231 HAS SOPS 1881665 HAS SOUS 314306 HAS SOUPS 312557 WITH SCORE 314453.231
AT ITER 1241 NEW BEST:: SOT 3523205 SOS 1892544 HAS SOPS 1877321 HAS SOUS 310110 HAS SOUPS 308213 WITH SCORE 310105.544
AT ITER 1247 NEW BEST:: SOT 3522800 SOS 1892090 HAS SOPS 1876867 HAS SOUS 309551 HAS SOUPS 307654 WITH SCORE 309546.09
AT ITER 1251 NEW BEST:: SOT 3522792 SOS 1892082 HAS SOPS 1876859 HAS SOUS 309543 HAS SOUPS 307646 WITH SCORE 309538.082
AT ITER 1257 NEW BEST:: SOT 3522831 SOS 1892121 HAS SOPS 1876862 HAS SOUS 309479 HAS SOUPS 307582 WITH SCORE 309474.121
AT ITER 1259 NEW BEST:: SOT 3522843 SOS 1892098 HAS SOPS 1876839 HAS SOUS 309406 HAS SOUPS 307509 WITH SCORE 309401.098
AT ITER 1286 NEW BEST:: SOT 3522705 SOS 1891981 HAS SOPS 1876722 HAS SOUS 309389 HAS SOUPS 307492 WITH SCORE 309383.981
AT ITER 1317 NEW BEST:: SOT 3522252 SOS 1891528 HAS SOPS 1876269 HAS SOUS 308996 HAS SOUPS 307099 WITH SCORE 308990.528
AT ITER 1321 NEW BEST:: SOT 3522255 SOS 1891765 HAS SOPS 1876506 HAS SOUS 308917 HAS SOUPS 307020 WITH SCORE 308911.765
AT ITER 1324 NEW BEST:: SOT 3522195 SOS 1891705 HAS SOPS 1876446 HAS SOUS 308829 HAS SOUPS 306932 WITH SCORE 308823.705
AT ITER 1325 NEW BEST:: SOT 3522187 SOS 1891697 HAS SOPS 1876438 HAS SOUS 308813 HAS SOUPS 306916 WITH SCORE 308807.697
AT ITER 1326 NEW BEST:: SOT 3521484 SOS 1891366 HAS SOPS 1876107 HAS SOUS 308617 HAS SOUPS 306720 WITH SCORE 308611.366
AT ITER 1337 NEW BEST:: SOT 3521465 SOS 1891347 HAS SOPS 1876095 HAS SOUS 308576 HAS SOUPS 306679 WITH SCORE 308570.347
AT ITER 1355 NEW BEST:: SOT 3521444 SOS 1891326 HAS SOPS 1876053 HAS SOUS 308544 HAS SOUPS 306637 WITH SCORE 308528.326
AT ITER 1371 NEW BEST:: SOT 3521405 SOS 1891287 HAS SOPS 1875992 HAS SOUS 308483 HAS SOUPS 306576 WITH SCORE 308467.287
AT ITER 1380 NEW BEST:: SOT 3521404 SOS 1891286 HAS SOPS 1875991 HAS SOUS 308482 HAS SOUPS 306575 WITH SCORE 308466.286
AT ITER 1384 NEW BEST:: SOT 3521423 SOS 1891350 HAS SOPS 1876203 HAS SOUS 308041 HAS SOUPS 306134 WITH SCORE 308025.35
AT ITER 1385 NEW BEST:: SOT 3521972 SOS 1892628 HAS SOPS 1877481 HAS SOUS 307869 HAS SOUPS 305962 WITH SCORE 307854.628
AT ITER 1404 NEW BEST:: SOT 3521966 SOS 1892739 HAS SOPS 1877592 HAS SOUS 307863 HAS SOUPS 305956 WITH SCORE 307848.739
AT ITER 1420 NEW BEST:: SOT 3521890 SOS 1892663 HAS SOPS 1877516 HAS SOUS 307835 HAS SOUPS 305928 WITH SCORE 307820.663
AT ITER 1424 NEW BEST:: SOT 3521911 SOS 1892744 HAS SOPS 1877577 HAS SOUS 307812 HAS SOUPS 305905 WITH SCORE 307797.744
AT ITER 1425 NEW BEST:: SOT 3521927 SOS 1892854 HAS SOPS 1877687 HAS SOUS 307804 HAS SOUPS 305897 WITH SCORE 307789.854
AT ITER 1451 NEW BEST:: SOT 3521903 SOS 1892732 HAS SOPS 1877565 HAS SOUS 307719 HAS SOUPS 305812 WITH SCORE 307704.732
AT ITER 1452 NEW BEST:: SOT 3521876 SOS 1892678 HAS SOPS 1877511 HAS SOUS 307665 HAS SOUPS 305758 WITH SCORE 307650.678
AT ITER 1454 NEW BEST:: SOT 3522844 SOS 1894117 HAS SOPS 1878950 HAS SOUS 307468 HAS SOUPS 305561 WITH SCORE 307455.117
AT ITER 1455 NEW BEST:: SOT 3523032 SOS 1894329 HAS SOPS 1879078 HAS SOUS 307466 HAS SOUPS 305559 WITH SCORE 307453.329
AT ITER 1459 NEW BEST:: SOT 3522767 SOS 1894184 HAS SOPS 1878933 HAS SOUS 307175 HAS SOUPS 305268 WITH SCORE 307162.184
AT ITER 1466 NEW BEST:: SOT 3522771 SOS 1903946 HAS SOPS 1887960 HAS SOUS 306534 HAS SOUPS 304514 WITH SCORE 306417.946
AT ITER 1471 NEW BEST:: SOT 3522559 SOS 1904272 HAS SOPS 1888353 HAS SOUS 306395 HAS SOUPS 304375 WITH SCORE 306279.272
AT ITER 1488 NEW BEST:: SOT 3522545 SOS 1904258 HAS SOPS 1888339 HAS SOUS 306381 HAS SOUPS 304361 WITH SCORE 306265.258
AT ITER 1492 NEW BEST:: SOT 3522545 SOS 1904268 HAS SOPS 1888349 HAS SOUS 305936 HAS SOUPS 303916 WITH SCORE 305820.268
AT ITER 1499 NEW BEST:: SOT 3522431 SOS 1904114 HAS SOPS 1888195 HAS SOUS 305782 HAS SOUPS 303762 WITH SCORE 305666.114
AT ITER 1500 NEW BEST:: SOT 3521982 SOS 1817731 HAS SOPS 1801812 HAS SOUS 305460 HAS SOUPS 303440 WITH SCORE 305257.731
AT ITER 1506 NEW BEST:: SOT 3523093 SOS 1819011 HAS SOPS 1803092 HAS SOUS 305314 HAS SOUPS 303294 WITH SCORE 305113.011
AT ITER 1520 NEW BEST:: SOT 3523509 SOS 1819456 HAS SOPS 1803537 HAS SOUS 304955 HAS SOUPS 302935 WITH SCORE 304754.456
AT ITER 1529 NEW BEST:: SOT 3523370 SOS 1819317 HAS SOPS 1803398 HAS SOUS 304787 HAS SOUPS 302767 WITH SCORE 304586.317
AT ITER 1534 NEW BEST:: SOT 3457970 SOS 1753995 HAS SOPS 1738076 HAS SOUS 294923 HAS SOUPS 292903 WITH SCORE 294656.995
AT ITER 1546 NEW BEST:: SOT 3457763 SOS 1753789 HAS SOPS 1737870 HAS SOUS 294706 HAS SOUPS 292686 WITH SCORE 294439.789
AT ITER 1583 NEW BEST:: SOT 3457315 SOS 1753341 HAS SOPS 1737422 HAS SOUS 294010 HAS SOUPS 291990 WITH SCORE 293743.341
AT ITER 1588 NEW BEST:: SOT 3457297 SOS 1753323 HAS SOPS 1737386 HAS SOUS 293974 HAS SOUPS 291954 WITH SCORE 293707.323
AT ITER 1594 NEW BEST:: SOT 3457277 SOS 1753303 HAS SOPS 1737366 HAS SOUS 293937 HAS SOUPS 291917 WITH SCORE 293670.303
AT ITER 1602 NEW BEST:: SOT 3457218 SOS 1753244 HAS SOPS 1737307 HAS SOUS 293906 HAS SOUPS 291886 WITH SCORE 293639.244
AT ITER 1606 NEW BEST:: SOT 3457165 SOS 1752972 HAS SOPS 1737035 HAS SOUS 293838 HAS SOUPS 291818 WITH SCORE 293570.972
AT ITER 1615 NEW BEST:: SOT 3457075 SOS 1752792 HAS SOPS 1736855 HAS SOUS 293658 HAS SOUPS 291638 WITH SCORE 293390.792
AT ITER 1617 NEW BEST:: SOT 3457040 SOS 1752708 HAS SOPS 1736771 HAS SOUS 293377 HAS SOUPS 291357 WITH SCORE 293109.708
AT ITER 1622 NEW BEST:: SOT 3460410 SOS 1749174 HAS SOPS 1733237 HAS SOUS 293267 HAS SOUPS 291247 WITH SCORE 292996.174
AT ITER 1629 NEW BEST:: SOT 3460042 SOS 1748815 HAS SOPS 1732878 HAS SOUS 293058 HAS SOUPS 291038 WITH SCORE 292786.815
AT ITER 1637 NEW BEST:: SOT 3459970 SOS 1749157 HAS SOPS 1733089 HAS SOUS 293000 HAS SOUPS 290980 WITH SCORE 292729.157
AT ITER 1639 NEW BEST:: SOT 3459512 SOS 1748672 HAS SOPS 1732604 HAS SOUS 292579 HAS SOUPS 290559 WITH SCORE 292307.672
AT ITER 1645 NEW BEST:: SOT 3459385 SOS 1748552 HAS SOPS 1732484 HAS SOUS 292044 HAS SOUPS 290024 WITH SCORE 291772.552
AT ITER 1693 NEW BEST:: SOT 3459344 SOS 1748471 HAS SOPS 1732473 HAS SOUS 291957 HAS SOUPS 289937 WITH SCORE 291685.471
AT ITER 1695 NEW BEST:: SOT 3459344 SOS 1747275 HAS SOPS 1731373 HAS SOUS 288612 HAS SOUPS 286608 WITH SCORE 288355.275
AT ITER 1706 NEW BEST:: SOT 3459299 SOS 1747230 HAS SOPS 1731328 HAS SOUS 288522 HAS SOUPS 286518 WITH SCORE 288265.23
AT ITER 1718 NEW BEST:: SOT 3459276 SOS 1747024 HAS SOPS 1731227 HAS SOUS 288446 HAS SOUPS 286442 WITH SCORE 288189.024
AT ITER 1722 NEW BEST:: SOT 3459246 SOS 1746968 HAS SOPS 1731171 HAS SOUS 287844 HAS SOUPS 285840 WITH SCORE 287586.968
AT ITER 1748 NEW BEST:: SOT 3247380 SOS 1535666 HAS SOPS 1519305 HAS SOUS 265074 HAS SOUPS 262976 WITH SCORE 264511.666
AT ITER 1761 NEW BEST:: SOT 3247374 SOS 1535689 HAS SOPS 1519328 HAS SOUS 265062 HAS SOUPS 262964 WITH SCORE 264499.689
AT ITER 1765 NEW BEST:: SOT 3247374 SOS 1535615 HAS SOPS 1519254 HAS SOUS 265062 HAS SOUPS 262964 WITH SCORE 264499.615
AT ITER 1767 NEW BEST:: SOT 3247395 SOS 1535644 HAS SOPS 1519283 HAS SOUS 265050 HAS SOUPS 262952 WITH SCORE 264487.644
AT ITER 1769 NEW BEST:: SOT 3247381 SOS 1535630 HAS SOPS 1519255 HAS SOUS 265022 HAS SOUPS 262924 WITH SCORE 264459.63
AT ITER 1771 NEW BEST:: SOT 3246419 SOS 1534766 HAS SOPS 1518391 HAS SOUS 264764 HAS SOUPS 262666 WITH SCORE 264200.766
AT ITER 1778 NEW BEST:: SOT 3246412 SOS 1534759 HAS SOPS 1518384 HAS SOUS 264668 HAS SOUPS 262570 WITH SCORE 264104.759
AT ITER 1779 NEW BEST:: SOT 3246371 SOS 1534677 HAS SOPS 1518302 HAS SOUS 264586 HAS SOUPS 262488 WITH SCORE 264022.677
AT ITER 1791 NEW BEST:: SOT 3246326 SOS 1534632 HAS SOPS 1518257 HAS SOUS 264541 HAS SOUPS 262443 WITH SCORE 263977.632
AT ITER 1799 NEW BEST:: SOT 3246326 SOS 1534596 HAS SOPS 1518221 HAS SOUS 264505 HAS SOUPS 262407 WITH SCORE 263941.596
AT ITER 1800 NEW BEST:: SOT 3246391 SOS 1534661 HAS SOPS 1518250 HAS SOUS 264493 HAS SOUPS 262395 WITH SCORE 263929.661
AT ITER 1808 NEW BEST:: SOT 3246289 SOS 1534469 HAS SOPS 1518058 HAS SOUS 264373 HAS SOUPS 262275 WITH SCORE 263809.469
AT ITER 1810 NEW BEST:: SOT 3245939 SOS 1534119 HAS SOPS 1517708 HAS SOUS 263822 HAS SOUPS 261724 WITH SCORE 263258.119
AT ITER 1823 NEW BEST:: SOT 3245847 SOS 1534027 HAS SOPS 1517616 HAS SOUS 263719 HAS SOUPS 261621 WITH SCORE 263155.027
AT ITER 1825 NEW BEST:: SOT 3245460 SOS 1533350 HAS SOPS 1516939 HAS SOUS 263145 HAS SOUPS 261047 WITH SCORE 262580.35
AT ITER 1831 NEW BEST:: SOT 3245304 SOS 1533194 HAS SOPS 1516783 HAS SOUS 262953 HAS SOUPS 260855 WITH SCORE 262388.194
AT ITER 1848 NEW BEST:: SOT 3245299 SOS 1533189 HAS SOPS 1516778 HAS SOUS 262927 HAS SOUPS 260829 WITH SCORE 262362.189
AT ITER 1875 NEW BEST:: SOT 3245134 SOS 1533083 HAS SOPS 1516672 HAS SOUS 262836 HAS SOUPS 260738 WITH SCORE 262271.083
AT ITER 1882 NEW BEST:: SOT 3245047 SOS 1533036 HAS SOPS 1516625 HAS SOUS 262787 HAS SOUPS 260689 WITH SCORE 262222.036
AT ITER 1925 NEW BEST:: SOT 3244900 SOS 1532574 HAS SOPS 1516163 HAS SOUS 262671 HAS SOUPS 260573 WITH SCORE 262105.574
AT ITER 1933 NEW BEST:: SOT 3244902 SOS 1532574 HAS SOPS 1516163 HAS SOUS 262643 HAS SOUPS 260545 WITH SCORE 262077.574
AT ITER 1948 NEW BEST:: SOT 3244477 SOS 1531669 HAS SOPS 1515258 HAS SOUS 262091 HAS SOUPS 259993 WITH SCORE 261524.669
AT ITER 1970 NEW BEST:: SOT 3191179 SOS 1478371 HAS SOPS 1461960 HAS SOUS 256175 HAS SOUPS 254077 WITH SCORE 255555.371
AT ITER 1972 NEW BEST:: SOT 3191119 SOS 1478251 HAS SOPS 1461840 HAS SOUS 256055 HAS SOUPS 253957 WITH SCORE 255435.251
AT ITER 1978 NEW BEST:: SOT 3191101 SOS 1478215 HAS SOPS 1461804 HAS SOUS 256019 HAS SOUPS 253921 WITH SCORE 255399.215
AT ITER 1979 NEW BEST:: SOT 3191101 SOS 1478291 HAS SOPS 1461839 HAS SOUS 256013 HAS SOUPS 253915 WITH SCORE 255393.291
AT ITER 2006 NEW BEST:: SOT 3190950 SOS 1478047 HAS SOPS 1461664 HAS SOUS 255953 HAS SOUPS 253855 WITH SCORE 255333.047
AT ITER 2018 NEW BEST:: SOT 3190920 SOS 1478152 HAS SOPS 1461769 HAS SOUS 255893 HAS SOUPS 253795 WITH SCORE 255273.152
AT ITER 2019 NEW BEST:: SOT 3190917 SOS 1478147 HAS SOPS 1461764 HAS SOUS 255888 HAS SOUPS 253790 WITH SCORE 255268.147
AT ITER 2031 NEW BEST:: SOT 3190818 SOS 1478049 HAS SOPS 1461666 HAS SOUS 255789 HAS SOUPS 253691 WITH SCORE 255169.049
AT ITER 2032 NEW BEST:: SOT 3190820 SOS 1478049 HAS SOPS 1461666 HAS SOUS 255785 HAS SOUPS 253687 WITH SCORE 255165.049
AT ITER 2056 NEW BEST:: SOT 3190814 SOS 1478091 HAS SOPS 1461708 HAS SOUS 255773 HAS SOUPS 253675 WITH SCORE 255153.091
AT ITER 2060 NEW BEST:: SOT 3190234 SOS 1476992 HAS SOPS 1460609 HAS SOUS 254581 HAS SOUPS 252483 WITH SCORE 253959.992
AT ITER 2061 NEW BEST:: SOT 3190211 SOS 1476969 HAS SOPS 1460586 HAS SOUS 254535 HAS SOUPS 252437 WITH SCORE 253913.969
AT ITER 2072 NEW BEST:: SOT 3190174 SOS 1476943 HAS SOPS 1460560 HAS SOUS 254505 HAS SOUPS 252407 WITH SCORE 253883.943
AT ITER 2092 NEW BEST:: SOT 3189908 SOS 1476807 HAS SOPS 1460424 HAS SOUS 254498 HAS SOUPS 252400 WITH SCORE 253876.807
AT ITER 2141 NEW BEST:: SOT 3189879 SOS 1476748 HAS SOPS 1460386 HAS SOUS 254481 HAS SOUPS 252383 WITH SCORE 253859.748
AT ITER 2142 NEW BEST:: SOT 3189921 SOS 1476846 HAS SOPS 1460484 HAS SOUS 253865 HAS SOUPS 251767 WITH SCORE 253243.846
AT ITER 2166 NEW BEST:: SOT 3189758 SOS 1476683 HAS SOPS 1460321 HAS SOUS 253709 HAS SOUPS 251611 WITH SCORE 253087.683
AT ITER 2182 NEW BEST:: SOT 3189303 SOS 1475715 HAS SOPS 1459353 HAS SOUS 253339 HAS SOUPS 251241 WITH SCORE 252716.715
AT ITER 2183 NEW BEST:: SOT 3189305 SOS 1475745 HAS SOPS 1459383 HAS SOUS 253247 HAS SOUPS 251149 WITH SCORE 252624.745
AT ITER 2187 NEW BEST:: SOT 3189156 SOS 1475566 HAS SOPS 1459204 HAS SOUS 253133 HAS SOUPS 251035 WITH SCORE 252510.566
AT ITER 2206 NEW BEST:: SOT 3189156 SOS 1475566 HAS SOPS 1459204 HAS SOUS 253127 HAS SOUPS 251029 WITH SCORE 252504.566
AT ITER 2208 NEW BEST:: SOT 3246114 SOS 1531979 HAS SOPS 1515923 HAS SOUS 251088 HAS SOUPS 249041 WITH SCORE 250572.979
AT ITER 2232 NEW BEST:: SOT 3246066 SOS 1531907 HAS SOPS 1515851 HAS SOUS 250992 HAS SOUPS 248945 WITH SCORE 250476.907
AT ITER 2233 NEW BEST:: SOT 3246028 SOS 1531962 HAS SOPS 1515906 HAS SOUS 250986 HAS SOUPS 248939 WITH SCORE 250470.962
AT ITER 2255 NEW BEST:: SOT 3246012 SOS 1531946 HAS SOPS 1515890 HAS SOUS 250952 HAS SOUPS 248905 WITH SCORE 250436.946
AT ITER 2264 NEW BEST:: SOT 3245733 SOS 1531667 HAS SOPS 1515611 HAS SOUS 250409 HAS SOUPS 248362 WITH SCORE 249893.667
AT ITER 2267 NEW BEST:: SOT 3245729 SOS 1531663 HAS SOPS 1515607 HAS SOUS 250405 HAS SOUPS 248358 WITH SCORE 249889.663
AT ITER 2303 NEW BEST:: SOT 3245773 SOS 1531671 HAS SOPS 1515659 HAS SOUS 250379 HAS SOUPS 248332 WITH SCORE 249863.671
AT ITER 2304 NEW BEST:: SOT 3245933 SOS 1611085 HAS SOPS 1595073 HAS SOUS 249890 HAS SOUPS 247843 WITH SCORE 249454.085
AT ITER 2310 NEW BEST:: SOT 3245932 SOS 1611084 HAS SOPS 1595071 HAS SOUS 249888 HAS SOUPS 247841 WITH SCORE 249452.084
AT ITER 2326 NEW BEST:: SOT 3245710 SOS 1610983 HAS SOPS 1594970 HAS SOUS 249850 HAS SOUPS 247803 WITH SCORE 249413.983
AT ITER 2327 NEW BEST:: SOT 3244740 SOS 1610285 HAS SOPS 1594272 HAS SOUS 249201 HAS SOUPS 247154 WITH SCORE 248764.285
AT ITER 2343 NEW BEST:: SOT 3244704 SOS 1610249 HAS SOPS 1594200 HAS SOUS 249055 HAS SOUPS 247008 WITH SCORE 248618.249
AT ITER 2345 NEW BEST:: SOT 3244692 SOS 1610231 HAS SOPS 1594182 HAS SOUS 249037 HAS SOUPS 246990 WITH SCORE 248600.231
AT ITER 2346 NEW BEST:: SOT 3244587 SOS 1610021 HAS SOPS 1593972 HAS SOUS 248827 HAS SOUPS 246780 WITH SCORE 248390.021
AT ITER 2349 NEW BEST:: SOT 3244553 SOS 1609987 HAS SOPS 1593938 HAS SOUS 248793 HAS SOUPS 246746 WITH SCORE 248355.987
AT ITER 2357 NEW BEST:: SOT 3244456 SOS 1609890 HAS SOPS 1593841 HAS SOUS 248705 HAS SOUPS 246658 WITH SCORE 248267.89
AT ITER 2377 NEW BEST:: SOT 3244448 SOS 1609852 HAS SOPS 1593803 HAS SOUS 248689 HAS SOUPS 246642 WITH SCORE 248251.852
AT ITER 2381 NEW BEST:: SOT 3244442 SOS 1609851 HAS SOPS 1593802 HAS SOUS 248688 HAS SOUPS 246641 WITH SCORE 248250.851
AT ITER 2389 NEW BEST:: SOT 3244322 SOS 1609701 HAS SOPS 1593652 HAS SOUS 248538 HAS SOUPS 246491 WITH SCORE 248100.701
AT ITER 2404 NEW BEST:: SOT 3244173 SOS 1609552 HAS SOPS 1593503 HAS SOUS 248347 HAS SOUPS 246300 WITH SCORE 247909.552
AT ITER 2415 NEW BEST:: SOT 3243882 SOS 1609254 HAS SOPS 1593205 HAS SOUS 248036 HAS SOUPS 245989 WITH SCORE 247598.254
AT ITER 2442 NEW BEST:: SOT 3243844 SOS 1608617 HAS SOPS 1592568 HAS SOUS 247992 HAS SOUPS 245945 WITH SCORE 247553.617
AT ITER 2445 NEW BEST:: SOT 3243843 SOS 1608615 HAS SOPS 1592566 HAS SOUS 247990 HAS SOUPS 245943 WITH SCORE 247551.615
AT ITER 2448 NEW BEST:: SOT 3243834 SOS 1608606 HAS SOPS 1592548 HAS SOUS 247972 HAS SOUPS 245925 WITH SCORE 247533.606
AT ITER 2449 NEW BEST:: SOT 3243633 SOS 1608539 HAS SOPS 1592481 HAS SOUS 247530 HAS SOUPS 245483 WITH SCORE 247091.539
AT ITER 2450 NEW BEST:: SOT 3243269 SOS 1608271 HAS SOPS 1592213 HAS SOUS 247248 HAS SOUPS 245201 WITH SCORE 246809.271
AT ITER 2461 NEW BEST:: SOT 3243263 SOS 1608265 HAS SOPS 1592207 HAS SOUS 247242 HAS SOUPS 245195 WITH SCORE 246803.265
AT ITER 2468 NEW BEST:: SOT 3243263 SOS 1608265 HAS SOPS 1592207 HAS SOUS 247130 HAS SOUPS 245083 WITH SCORE 246691.265
AT ITER 2472 NEW BEST:: SOT 3243099 SOS 1608151 HAS SOPS 1592133 HAS SOUS 246913 HAS SOUPS 244866 WITH SCORE 246474.151
AT ITER 2489 NEW BEST:: SOT 3243090 SOS 1608142 HAS SOPS 1592124 HAS SOUS 246901 HAS SOUPS 244854 WITH SCORE 246462.142
AT ITER 2500 NEW BEST:: SOT 3242835 SOS 1607887 HAS SOPS 1591869 HAS SOUS 246646 HAS SOUPS 244599 WITH SCORE 246206.887
AT ITER 2508 NEW BEST:: SOT 3242776 SOS 1607779 HAS SOPS 1591744 HAS SOUS 246547 HAS SOUPS 244500 WITH SCORE 246107.779
AT ITER 2541 NEW BEST:: SOT 3242411 SOS 1607463 HAS SOPS 1591428 HAS SOUS 246174 HAS SOUPS 244127 WITH SCORE 245734.463
AT ITER 2574 NEW BEST:: SOT 3241884 SOS 1606842 HAS SOPS 1590807 HAS SOUS 245388 HAS SOUPS 243341 WITH SCORE 244947.842
AT ITER 2577 NEW BEST:: SOT 3241897 SOS 1606855 HAS SOPS 1590820 HAS SOUS 245104 HAS SOUPS 243057 WITH SCORE 244663.855
AT ITER 2579 NEW BEST:: SOT 3241710 SOS 1606815 HAS SOPS 1590781 HAS SOUS 245032 HAS SOUPS 242985 WITH SCORE 244591.815
AT ITER 2580 NEW BEST:: SOT 3241766 SOS 1606852 HAS SOPS 1590818 HAS SOUS 244951 HAS SOUPS 242904 WITH SCORE 244510.852
AT ITER 2589 NEW BEST:: SOT 3241756 SOS 1606837 HAS SOPS 1590803 HAS SOUS 244936 HAS SOUPS 242889 WITH SCORE 244495.837
AT ITER 2600 NEW BEST:: SOT 3241399 SOS 1606501 HAS SOPS 1590467 HAS SOUS 244600 HAS SOUPS 242553 WITH SCORE 244159.501
AT ITER 2630 NEW BEST:: SOT 3241399 SOS 1606477 HAS SOPS 1590443 HAS SOUS 244576 HAS SOUPS 242529 WITH SCORE 244135.477
AT ITER 2636 NEW BEST:: SOT 3241190 SOS 1606299 HAS SOPS 1590265 HAS SOUS 244264 HAS SOUPS 242217 WITH SCORE 243823.299
AT ITER 2650 NEW BEST:: SOT 3241101 SOS 1605664 HAS SOPS 1589630 HAS SOUS 244045 HAS SOUPS 241998 WITH SCORE 243603.664
AT ITER 2655 NEW BEST:: SOT 3240788 SOS 1605422 HAS SOPS 1589388 HAS SOUS 243947 HAS SOUPS 241900 WITH SCORE 243505.422
AT ITER 2669 NEW BEST:: SOT 3240726 SOS 1605360 HAS SOPS 1589326 HAS SOUS 243885 HAS SOUPS 241838 WITH SCORE 243443.36
AT ITER 2670 NEW BEST:: SOT 3240751 SOS 1605457 HAS SOPS 1589423 HAS SOUS 243845 HAS SOUPS 241798 WITH SCORE 243403.457
AT ITER 2687 NEW BEST:: SOT 3240620 SOS 1605363 HAS SOPS 1589469 HAS SOUS 243819 HAS SOUPS 241772 WITH SCORE 243377.363
AT ITER 2691 NEW BEST:: SOT 3210944 SOS 1856921 HAS SOPS 1841027 HAS SOUS 241716 HAS SOUPS 239669 WITH SCORE 241525.921
AT ITER 2701 NEW BEST:: SOT 3210944 SOS 1856916 HAS SOPS 1841022 HAS SOUS 241686 HAS SOUPS 239639 WITH SCORE 241495.916
AT ITER 2709 NEW BEST:: SOT 3210967 SOS 1856939 HAS SOPS 1841045 HAS SOUS 241558 HAS SOUPS 239511 WITH SCORE 241367.939
AT ITER 2710 NEW BEST:: SOT 3152408 SOS 1859076 HAS SOPS 1843182 HAS SOUS 240300 HAS SOUPS 238253 WITH SCORE 240112.076
AT ITER 2718 NEW BEST:: SOT 3152424 SOS 1859069 HAS SOPS 1843150 HAS SOUS 240294 HAS SOUPS 238247 WITH SCORE 240106.069
AT ITER 2745 NEW BEST:: SOT 3152226 SOS 1858476 HAS SOPS 1842557 HAS SOUS 240024 HAS SOUPS 237977 WITH SCORE 239835.476
AT ITER 2748 NEW BEST:: SOT 3151990 SOS 1858278 HAS SOPS 1842359 HAS SOUS 239821 HAS SOUPS 237774 WITH SCORE 239632.278
AT ITER 2776 NEW BEST:: SOT 3151946 SOS 1858234 HAS SOPS 1842315 HAS SOUS 239733 HAS SOUPS 237686 WITH SCORE 239544.234
AT ITER 2817 NEW BEST:: SOT 3151959 SOS 1858276 HAS SOPS 1842357 HAS SOUS 239651 HAS SOUPS 237604 WITH SCORE 239462.276
AT ITER 2820 NEW BEST:: SOT 3151885 SOS 1858143 HAS SOPS 1842224 HAS SOUS 239503 HAS SOUPS 237456 WITH SCORE 239314.143
AT ITER 2842 NEW BEST:: SOT 3151816 SOS 1858074 HAS SOPS 1842155 HAS SOUS 239459 HAS SOUPS 237412 WITH SCORE 239270.074
AT ITER 2851 NEW BEST:: SOT 3151554 SOS 1857812 HAS SOPS 1841893 HAS SOUS 239348 HAS SOUPS 237301 WITH SCORE 239158.812
AT ITER 2876 NEW BEST:: SOT 3123664 SOS 1829922 HAS SOPS 1814003 HAS SOUS 237867 HAS SOUPS 235820 WITH SCORE 237649.922
AT ITER 2885 NEW BEST:: SOT 3123682 SOS 1829914 HAS SOPS 1813995 HAS SOUS 237836 HAS SOUPS 235789 WITH SCORE 237618.914
AT ITER 2888 NEW BEST:: SOT 3123680 SOS 1829912 HAS SOPS 1813993 HAS SOUS 237834 HAS SOUPS 235787 WITH SCORE 237616.912
AT ITER 2895 NEW BEST:: SOT 3123679 SOS 1829994 HAS SOPS 1814075 HAS SOUS 237832 HAS SOUPS 235785 WITH SCORE 237614.994
AT ITER 2902 NEW BEST:: SOT 3123427 SOS 1829739 HAS SOPS 1813820 HAS SOUS 237748 HAS SOUPS 235701 WITH SCORE 237530.739
AT ITER 2936 NEW BEST:: SOT 3123043 SOS 1829342 HAS SOPS 1813423 HAS SOUS 237568 HAS SOUPS 235521 WITH SCORE 237350.342
AT ITER 2972 NEW BEST:: SOT 3122969 SOS 1829268 HAS SOPS 1813349 HAS SOUS 237494 HAS SOUPS 235447 WITH SCORE 237276.268
AT ITER 2991 NEW BEST:: SOT 3122969 SOS 1829268 HAS SOPS 1813349 HAS SOUS 237486 HAS SOUPS 235439 WITH SCORE 237268.268
AT ITER 2996 NEW BEST:: SOT 3122759 SOS 1828249 HAS SOPS 1812330 HAS SOUS 237337 HAS SOUPS 235290 WITH SCORE 237118.249
AT ITER 2999 NEW BEST:: SOT 3122759 SOS 1828017 HAS SOPS 1812098 HAS SOUS 237320 HAS SOUPS 235273 WITH SCORE 237101.017
AT ITER 3003 NEW BEST:: SOT 3122624 SOS 1827854 HAS SOPS 1811935 HAS SOUS 237013 HAS SOUPS 234966 WITH SCORE 236793.854
AT ITER 3009 NEW BEST:: SOT 3135106 SOS 1840181 HAS SOPS 1824406 HAS SOUS 235541 HAS SOUPS 233518 WITH SCORE 235358.181
AT ITER 3015 NEW BEST:: SOT 3134987 SOS 1840049 HAS SOPS 1824274 HAS SOUS 235500 HAS SOUPS 233477 WITH SCORE 235317.049
AT ITER 3024 NEW BEST:: SOT 3134965 SOS 1840027 HAS SOPS 1824230 HAS SOUS 235456 HAS SOUPS 233433 WITH SCORE 235273.027
AT ITER 3050 NEW BEST:: SOT 3134961 SOS 1840021 HAS SOPS 1824224 HAS SOUS 235452 HAS SOUPS 233429 WITH SCORE 235269.021
AT ITER 3058 NEW BEST:: SOT 3134933 SOS 1839965 HAS SOPS 1824168 HAS SOUS 235396 HAS SOUPS 233373 WITH SCORE 235212.965
AT ITER 3062 NEW BEST:: SOT 3134825 SOS 1839857 HAS SOPS 1824060 HAS SOUS 235321 HAS SOUPS 233298 WITH SCORE 235137.857
AT ITER 3066 NEW BEST:: SOT 3134815 SOS 1839847 HAS SOPS 1824050 HAS SOUS 235311 HAS SOUPS 233288 WITH SCORE 235127.847
AT ITER 3094 NEW BEST:: SOT 3134789 SOS 1839821 HAS SOPS 1824024 HAS SOUS 235285 HAS SOUPS 233262 WITH SCORE 235101.821
AT ITER 3103 NEW BEST:: SOT 3135346 SOS 1840234 HAS SOPS 1824437 HAS SOUS 234734 HAS SOUPS 232711 WITH SCORE 234551.234
AT ITER 3117 NEW BEST:: SOT 3135343 SOS 1840207 HAS SOPS 1824410 HAS SOUS 234727 HAS SOUPS 232704 WITH SCORE 234544.207
AT ITER 3132 NEW BEST:: SOT 3135407 SOS 1840499 HAS SOPS 1824702 HAS SOUS 234709 HAS SOUPS 232686 WITH SCORE 234526.499
AT ITER 3142 NEW BEST:: SOT 3135275 SOS 1840438 HAS SOPS 1824790 HAS SOUS 234704 HAS SOUPS 232681 WITH SCORE 234521.438
AT ITER 3161 NEW BEST:: SOT 3135470 SOS 1840668 HAS SOPS 1825200 HAS SOUS 234485 HAS SOUPS 232462 WITH SCORE 234302.668
AT ITER 3163 NEW BEST:: SOT 3135451 SOS 1840649 HAS SOPS 1825203 HAS SOUS 234465 HAS SOUPS 232442 WITH SCORE 234282.649
AT ITER 3171 NEW BEST:: SOT 3135423 SOS 1840621 HAS SOPS 1825153 HAS SOUS 234393 HAS SOUPS 232370 WITH SCORE 234210.621
AT ITER 3172 NEW BEST:: SOT 3136625 SOS 1842861 HAS SOPS 1827393 HAS SOUS 232383 HAS SOUPS 230360 WITH SCORE 232202.861
AT ITER 3176 NEW BEST:: SOT 3136456 SOS 1842814 HAS SOPS 1827341 HAS SOUS 232356 HAS SOUPS 230333 WITH SCORE 232175.814
AT ITER 3178 NEW BEST:: SOT 3136487 SOS 1842845 HAS SOPS 1827336 HAS SOUS 232284 HAS SOUPS 230261 WITH SCORE 232103.845
AT ITER 3211 NEW BEST:: SOT 3136487 SOS 1842941 HAS SOPS 1827432 HAS SOUS 232276 HAS SOUPS 230253 WITH SCORE 232095.941
AT ITER 3221 NEW BEST:: SOT 3136074 SOS 1842528 HAS SOPS 1827019 HAS SOUS 231822 HAS SOUPS 229799 WITH SCORE 231641.528
AT ITER 3236 NEW BEST:: SOT 3135870 SOS 1842324 HAS SOPS 1826815 HAS SOUS 231299 HAS SOUPS 229276 WITH SCORE 231118.324
AT ITER 3244 NEW BEST:: SOT 3135864 SOS 1842318 HAS SOPS 1826809 HAS SOUS 231289 HAS SOUPS 229266 WITH SCORE 231108.318
AT ITER 3276 NEW BEST:: SOT 3135864 SOS 1842318 HAS SOPS 1826805 HAS SOUS 231286 HAS SOUPS 229263 WITH SCORE 231105.318
AT ITER 3280 NEW BEST:: SOT 3135857 SOS 1842254 HAS SOPS 1826621 HAS SOUS 231035 HAS SOUPS 229012 WITH SCORE 230854.254
AT ITER 3284 NEW BEST:: SOT 3135798 SOS 1842195 HAS SOPS 1826562 HAS SOUS 230999 HAS SOUPS 228976 WITH SCORE 230818.195
AT ITER 3311 NEW BEST:: SOT 3135386 SOS 1597313 HAS SOPS 1581680 HAS SOUS 230887 HAS SOUPS 228864 WITH SCORE 230461.313
AT ITER 3315 NEW BEST:: SOT 3135394 SOS 1597321 HAS SOPS 1581688 HAS SOUS 230839 HAS SOUPS 228816 WITH SCORE 230413.321
AT ITER 3328 NEW BEST:: SOT 3135467 SOS 1597394 HAS SOPS 1581815 HAS SOUS 230779 HAS SOUPS 228756 WITH SCORE 230353.394
AT ITER 3335 NEW BEST:: SOT 3135452 SOS 1597367 HAS SOPS 1581788 HAS SOUS 230757 HAS SOUPS 228734 WITH SCORE 230331.367
AT ITER 3363 NEW BEST:: SOT 3135200 SOS 1597048 HAS SOPS 1581469 HAS SOUS 230438 HAS SOUPS 228415 WITH SCORE 230012.048
AT ITER 3367 NEW BEST:: SOT 3135170 SOS 1597003 HAS SOPS 1581424 HAS SOUS 230348 HAS SOUPS 228325 WITH SCORE 229922.003
AT ITER 3390 NEW BEST:: SOT 3135088 SOS 1596921 HAS SOPS 1581342 HAS SOUS 230184 HAS SOUPS 228161 WITH SCORE 229757.921
AT ITER 3407 NEW BEST:: SOT 3136371 SOS 1598381 HAS SOPS 1582802 HAS SOUS 229671 HAS SOUPS 227648 WITH SCORE 229246.381
AT ITER 3412 NEW BEST:: SOT 3098979 SOS 1560941 HAS SOPS 1545362 HAS SOUS 225351 HAS SOUPS 223328 WITH SCORE 224888.941
AT ITER 3425 NEW BEST:: SOT 3098975 SOS 1560937 HAS SOPS 1545358 HAS SOUS 225343 HAS SOUPS 223320 WITH SCORE 224880.937
AT ITER 3429 NEW BEST:: SOT 3098842 SOS 1560804 HAS SOPS 1545225 HAS SOUS 225151 HAS SOUPS 223128 WITH SCORE 224688.804
AT ITER 3451 NEW BEST:: SOT 3120899 SOS 1522077 HAS SOPS 1506498 HAS SOUS 223713 HAS SOUPS 221690 WITH SCORE 223212.077
AT ITER 3455 NEW BEST:: SOT 3120899 SOS 1521916 HAS SOPS 1506337 HAS SOUS 223552 HAS SOUPS 221529 WITH SCORE 223050.916
AT ITER 3468 NEW BEST:: SOT 3120787 SOS 1521804 HAS SOPS 1506278 HAS SOUS 223487 HAS SOUPS 221464 WITH SCORE 222985.804
AT ITER 3488 NEW BEST:: SOT 3120775 SOS 1521780 HAS SOPS 1506254 HAS SOUS 223463 HAS SOUPS 221440 WITH SCORE 222961.78
AT ITER 3511 NEW BEST:: SOT 3120616 SOS 1462949 HAS SOPS 1447423 HAS SOUS 222991 HAS SOUPS 220968 WITH SCORE 222430.949
AT ITER 3552 NEW BEST:: SOT 3120404 SOS 1462737 HAS SOPS 1447211 HAS SOUS 222807 HAS SOUPS 220784 WITH SCORE 222246.737
AT ITER 3577 NEW BEST:: SOT 3120379 SOS 1462712 HAS SOPS 1447161 HAS SOUS 222757 HAS SOUPS 220734 WITH SCORE 222196.712
AT ITER 3582 NEW BEST:: SOT 3120249 SOS 1462613 HAS SOPS 1447062 HAS SOUS 222536 HAS SOUPS 220513 WITH SCORE 221975.613
AT ITER 3596 NEW BEST:: SOT 3120089 SOS 1462473 HAS SOPS 1446922 HAS SOUS 222409 HAS SOUPS 220386 WITH SCORE 221848.473
AT ITER 3606 NEW BEST:: SOT 3120089 SOS 1462473 HAS SOPS 1446922 HAS SOUS 222382 HAS SOUPS 220359 WITH SCORE 221821.473
AT ITER 3619 NEW BEST:: SOT 3120089 SOS 1234799 HAS SOPS 1219248 HAS SOUS 222382 HAS SOUPS 220359 WITH SCORE 221593.799
AT ITER 3626 NEW BEST:: SOT 3120000 SOS 1234754 HAS SOPS 1219203 HAS SOUS 222361 HAS SOUPS 220338 WITH SCORE 221572.754
AT ITER 3630 NEW BEST:: SOT 3120066 SOS 1234820 HAS SOPS 1219206 HAS SOUS 222349 HAS SOUPS 220326 WITH SCORE 221560.82
AT ITER 3641 NEW BEST:: SOT 3119640 SOS 1234580 HAS SOPS 1218966 HAS SOUS 222172 HAS SOUPS 220149 WITH SCORE 221383.58
AT ITER 3663 NEW BEST:: SOT 3119703 SOS 1234546 HAS SOPS 1218930 HAS SOUS 222169 HAS SOUPS 220146 WITH SCORE 221380.546
AT ITER 3672 NEW BEST:: SOT 3119497 SOS 1234322 HAS SOPS 1218706 HAS SOUS 221867 HAS SOUPS 219844 WITH SCORE 221078.322
AT ITER 3687 NEW BEST:: SOT 3119182 SOS 1233992 HAS SOPS 1218376 HAS SOUS 221537 HAS SOUPS 219514 WITH SCORE 220747.992
AT ITER 3691 NEW BEST:: SOT 3119182 SOS 1232912 HAS SOPS 1217296 HAS SOUS 221535 HAS SOUPS 219512 WITH SCORE 220744.912
AT ITER 3699 NEW BEST:: SOT 3119343 SOS 1233043 HAS SOPS 1217427 HAS SOUS 221364 HAS SOUPS 219341 WITH SCORE 220574.043
AT ITER 3706 NEW BEST:: SOT 3119126 SOS 1232740 HAS SOPS 1217124 HAS SOUS 221145 HAS SOUPS 219122 WITH SCORE 220354.74
AT ITER 3710 NEW BEST:: SOT 3118975 SOS 1232357 HAS SOPS 1216741 HAS SOUS 220866 HAS SOUPS 218843 WITH SCORE 220075.357
AT ITER 3713 NEW BEST:: SOT 3118989 SOS 1232434 HAS SOPS 1216802 HAS SOUS 220893 HAS SOUPS 218836 WITH SCORE 220068.434
AT ITER 3716 NEW BEST:: SOT 3118914 SOS 1232263 HAS SOPS 1216586 HAS SOUS 220722 HAS SOUPS 218665 WITH SCORE 219897.263
AT ITER 3717 NEW BEST:: SOT 3118894 SOS 1232243 HAS SOPS 1216576 HAS SOUS 220712 HAS SOUPS 218655 WITH SCORE 219887.243
AT ITER 3753 NEW BEST:: SOT 3118887 SOS 1232250 HAS SOPS 1216583 HAS SOUS 220698 HAS SOUPS 218641 WITH SCORE 219873.25
AT ITER 3769 NEW BEST:: SOT 3118872 SOS 1232235 HAS SOPS 1216553 HAS SOUS 220668 HAS SOUPS 218611 WITH SCORE 219843.235
AT ITER 3771 NEW BEST:: SOT 3118853 SOS 1232216 HAS SOPS 1216534 HAS SOUS 220481 HAS SOUPS 218424 WITH SCORE 219656.216
AT ITER 3772 NEW BEST:: SOT 3118431 SOS 1206252 HAS SOPS 1190570 HAS SOUS 219272 HAS SOUPS 217215 WITH SCORE 218421.252
AT ITER 3798 NEW BEST:: SOT 3118300 SOS 1205634 HAS SOPS 1189988 HAS SOUS 218956 HAS SOUPS 216899 WITH SCORE 218104.634
AT ITER 3803 NEW BEST:: SOT 3118272 SOS 1205414 HAS SOPS 1189768 HAS SOUS 218900 HAS SOUPS 216843 WITH SCORE 218048.414
AT ITER 3804 NEW BEST:: SOT 3117759 SOS 1204897 HAS SOPS 1189251 HAS SOUS 218485 HAS SOUPS 216428 WITH SCORE 217632.897
AT ITER 3818 NEW BEST:: SOT 3119423 SOS 1206585 HAS SOPS 1190939 HAS SOUS 216835 HAS SOUPS 214778 WITH SCORE 215984.585
AT ITER 3821 NEW BEST:: SOT 3119260 SOS 1206424 HAS SOPS 1190778 HAS SOUS 216610 HAS SOUPS 214553 WITH SCORE 215759.424
AT ITER 3831 NEW BEST:: SOT 3119103 SOS 1206026 HAS SOPS 1190380 HAS SOUS 216253 HAS SOUPS 214196 WITH SCORE 215402.026
AT ITER 3833 NEW BEST:: SOT 3118579 SOS 1205644 HAS SOPS 1189998 HAS SOUS 215672 HAS SOUPS 213615 WITH SCORE 214820.644
AT ITER 3835 NEW BEST:: SOT 3118579 SOS 1205592 HAS SOPS 1189946 HAS SOUS 215672 HAS SOUPS 213615 WITH SCORE 214820.592
AT ITER 3844 NEW BEST:: SOT 3118576 SOS 1204815 HAS SOPS 1189169 HAS SOUS 215661 HAS SOUPS 213604 WITH SCORE 214808.815
AT ITER 3857 NEW BEST:: SOT 3118444 SOS 1204751 HAS SOPS 1189105 HAS SOUS 215513 HAS SOUPS 213456 WITH SCORE 214660.751
AT ITER 3867 NEW BEST:: SOT 3118459 SOS 1226260 HAS SOPS 1210614 HAS SOUS 214775 HAS SOUPS 212718 WITH SCORE 213944.26
AT ITER 3953 NEW BEST:: SOT 3118436 SOS 1226237 HAS SOPS 1210591 HAS SOUS 214744 HAS SOUPS 212687 WITH SCORE 213913.237
AT ITER 3954 NEW BEST:: SOT 3118433 SOS 1226234 HAS SOPS 1210588 HAS SOUS 214741 HAS SOUPS 212684 WITH SCORE 213910.234
AT ITER 3955 NEW BEST:: SOT 3118433 SOS 1226203 HAS SOPS 1210557 HAS SOUS 214714 HAS SOUPS 212657 WITH SCORE 213883.203
AT ITER 4002 NEW BEST:: SOT 3117939 SOS 1225976 HAS SOPS 1210330 HAS SOUS 214512 HAS SOUPS 212455 WITH SCORE 213680.976
AT ITER 4017 NEW BEST:: SOT 3117915 SOS 1225952 HAS SOPS 1210306 HAS SOUS 214488 HAS SOUPS 212431 WITH SCORE 213656.952
AT ITER 4019 NEW BEST:: SOT 3117915 SOS 1225982 HAS SOPS 1210336 HAS SOUS 214478 HAS SOUPS 212421 WITH SCORE 213646.982
AT ITER 4020 NEW BEST:: SOT 3117831 SOS 1225943 HAS SOPS 1210297 HAS SOUS 214475 HAS SOUPS 212418 WITH SCORE 213643.943
AT ITER 4038 NEW BEST:: SOT 3117797 SOS 1225908 HAS SOPS 1210262 HAS SOUS 214302 HAS SOUPS 212245 WITH SCORE 213470.908
AT ITER 4048 NEW BEST:: SOT 3117601 SOS 1225712 HAS SOPS 1210066 HAS SOUS 213901 HAS SOUPS 211844 WITH SCORE 213069.712
AT ITER 4060 NEW BEST:: SOT 3117599 SOS 1225710 HAS SOPS 1210064 HAS SOUS 213899 HAS SOUPS 211842 WITH SCORE 213067.71
AT ITER 4097 NEW BEST:: SOT 3117599 SOS 1225710 HAS SOPS 1210064 HAS SOUS 213889 HAS SOUPS 211832 WITH SCORE 213057.71
AT ITER 4117 NEW BEST:: SOT 3117590 SOS 1225701 HAS SOPS 1210055 HAS SOUS 213853 HAS SOUPS 211796 WITH SCORE 213021.701
AT ITER 4119 NEW BEST:: SOT 3114484 SOS 1222595 HAS SOPS 1206949 HAS SOUS 213411 HAS SOUPS 211354 WITH SCORE 212576.595
AT ITER 4133 NEW BEST:: SOT 3121293 SOS 1229481 HAS SOPS 1213835 HAS SOUS 210296 HAS SOUPS 208239 WITH SCORE 209468.481
AT ITER 4140 NEW BEST:: SOT 3121213 SOS 1229544 HAS SOPS 1213898 HAS SOUS 209980 HAS SOUPS 207923 WITH SCORE 209152.544
AT ITER 4144 NEW BEST:: SOT 3120860 SOS 1229264 HAS SOPS 1213618 HAS SOUS 209881 HAS SOUPS 207824 WITH SCORE 209053.264
AT ITER 4164 NEW BEST:: SOT 3120857 SOS 1229256 HAS SOPS 1213610 HAS SOUS 209875 HAS SOUPS 207818 WITH SCORE 209047.256
AT ITER 4167 NEW BEST:: SOT 3120808 SOS 1229207 HAS SOPS 1213561 HAS SOUS 209803 HAS SOUPS 207746 WITH SCORE 208975.207
AT ITER 4177 NEW BEST:: SOT 3118527 SOS 1226781 HAS SOPS 1211135 HAS SOUS 209346 HAS SOUPS 207289 WITH SCORE 208515.781
AT ITER 4238 NEW BEST:: SOT 3118563 SOS 1226817 HAS SOPS 1211235 HAS SOUS 209300 HAS SOUPS 207243 WITH SCORE 208469.817
AT ITER 4259 NEW BEST:: SOT 3118545 SOS 1226799 HAS SOPS 1211217 HAS SOUS 209246 HAS SOUPS 207189 WITH SCORE 208415.799
AT ITER 4266 NEW BEST:: SOT 3118535 SOS 1226789 HAS SOPS 1211207 HAS SOUS 209236 HAS SOUPS 207179 WITH SCORE 208405.789
AT ITER 4287 NEW BEST:: SOT 3118535 SOS 1226725 HAS SOPS 1211143 HAS SOUS 209236 HAS SOUPS 207179 WITH SCORE 208405.725
AT ITER 4288 NEW BEST:: SOT 3118715 SOS 1226920 HAS SOPS 1211338 HAS SOUS 209112 HAS SOUPS 207055 WITH SCORE 208281.92
AT ITER 4289 NEW BEST:: SOT 3118640 SOS 1226845 HAS SOPS 1211263 HAS SOUS 209037 HAS SOUPS 206980 WITH SCORE 208206.845
AT ITER 4309 NEW BEST:: SOT 3118626 SOS 1226831 HAS SOPS 1211201 HAS SOUS 208919 HAS SOUPS 206862 WITH SCORE 208088.831
AT ITER 4313 NEW BEST:: SOT 3118574 SOS 1226817 HAS SOPS 1211187 HAS SOUS 208498 HAS SOUPS 206441 WITH SCORE 207667.817
AT ITER 4325 NEW BEST:: SOT 3118580 SOS 1226826 HAS SOPS 1211196 HAS SOUS 208495 HAS SOUPS 206438 WITH SCORE 207664.826
AT ITER 4326 NEW BEST:: SOT 3118589 SOS 1226776 HAS SOPS 1211086 HAS SOUS 208462 HAS SOUPS 206408 WITH SCORE 207634.776
AT ITER 4330 NEW BEST:: SOT 3118576 SOS 1226774 HAS SOPS 1211084 HAS SOUS 208438 HAS SOUPS 206384 WITH SCORE 207610.774
AT ITER 4332 NEW BEST:: SOT 3118551 SOS 1227405 HAS SOPS 1211715 HAS SOUS 208391 HAS SOUPS 206337 WITH SCORE 207564.405
AT ITER 4344 NEW BEST:: SOT 3118473 SOS 1227333 HAS SOPS 1211643 HAS SOUS 208256 HAS SOUPS 206202 WITH SCORE 207429.333
AT ITER 4363 NEW BEST:: SOT 3118461 SOS 1227321 HAS SOPS 1211614 HAS SOUS 208258 HAS SOUPS 206188 WITH SCORE 207415.321
AT ITER 4400 NEW BEST:: SOT 3117359 SOS 1226219 HAS SOPS 1210512 HAS SOUS 208177 HAS SOUPS 206107 WITH SCORE 207333.219
AT ITER 4403 NEW BEST:: SOT 3117384 SOS 1226486 HAS SOPS 1210779 HAS SOUS 207985 HAS SOUPS 205915 WITH SCORE 207141.486
AT ITER 4404 NEW BEST:: SOT 3117244 SOS 1226368 HAS SOPS 1210661 HAS SOUS 207647 HAS SOUPS 205577 WITH SCORE 206803.368
AT ITER 4439 NEW BEST:: SOT 3117254 SOS 1226359 HAS SOPS 1210690 HAS SOUS 207610 HAS SOUPS 205540 WITH SCORE 206766.359
AT ITER 4453 NEW BEST:: SOT 3117110 SOS 1226215 HAS SOPS 1210546 HAS SOUS 207466 HAS SOUPS 205396 WITH SCORE 206622.215
AT ITER 4478 NEW BEST:: SOT 3117040 SOS 1166057 HAS SOPS 1150388 HAS SOUS 207466 HAS SOUPS 205396 WITH SCORE 206562.057
AT ITER 4480 NEW BEST:: SOT 3117047 SOS 1166085 HAS SOPS 1150416 HAS SOUS 207327 HAS SOUPS 205257 WITH SCORE 206423.085
AT ITER 4496 NEW BEST:: SOT 3116770 SOS 1165808 HAS SOPS 1150139 HAS SOUS 207083 HAS SOUPS 205013 WITH SCORE 206178.808
AT ITER 4503 NEW BEST:: SOT 3116857 SOS 1165858 HAS SOPS 1150131 HAS SOUS 207000 HAS SOUPS 204930 WITH SCORE 206095.858
AT ITER 4510 NEW BEST:: SOT 3116853 SOS 1165854 HAS SOPS 1150003 HAS SOUS 206911 HAS SOUPS 204787 WITH SCORE 205952.854
AT ITER 4513 NEW BEST:: SOT 3116839 SOS 1165851 HAS SOPS 1150000 HAS SOUS 206827 HAS SOUPS 204703 WITH SCORE 205868.851
AT ITER 4521 NEW BEST:: SOT 3116839 SOS 1165851 HAS SOPS 1150000 HAS SOUS 206715 HAS SOUPS 204591 WITH SCORE 205756.851
AT ITER 4523 NEW BEST:: SOT 3116795 SOS 1165807 HAS SOPS 1149956 HAS SOUS 206649 HAS SOUPS 204525 WITH SCORE 205690.807
AT ITER 4531 NEW BEST:: SOT 3116783 SOS 1165795 HAS SOPS 1149944 HAS SOUS 206625 HAS SOUPS 204501 WITH SCORE 205666.795
AT ITER 4537 NEW BEST:: SOT 3116742 SOS 1165724 HAS SOPS 1149892 HAS SOUS 206603 HAS SOUPS 204479 WITH SCORE 205644.724
AT ITER 4557 NEW BEST:: SOT 3116731 SOS 1165713 HAS SOPS 1149881 HAS SOUS 206241 HAS SOUPS 204117 WITH SCORE 205282.713
AT ITER 4564 NEW BEST:: SOT 3116184 SOS 1164581 HAS SOPS 1148749 HAS SOUS 205499 HAS SOUPS 203375 WITH SCORE 204539.581
AT ITER 4570 NEW BEST:: SOT 3116184 SOS 1164973 HAS SOPS 1149141 HAS SOUS 205449 HAS SOUPS 203325 WITH SCORE 204489.973
AT ITER 4577 NEW BEST:: SOT 3116176 SOS 1164965 HAS SOPS 1149125 HAS SOUS 205433 HAS SOUPS 203309 WITH SCORE 204473.965
AT ITER 4582 NEW BEST:: SOT 3115932 SOS 1164721 HAS SOPS 1148881 HAS SOUS 205096 HAS SOUPS 202972 WITH SCORE 204136.721
AT ITER 4588 NEW BEST:: SOT 3115878 SOS 1164685 HAS SOPS 1148845 HAS SOUS 205060 HAS SOUPS 202936 WITH SCORE 204100.685
AT ITER 4638 NEW BEST:: SOT 3115794 SOS 1164751 HAS SOPS 1148911 HAS SOUS 204892 HAS SOUPS 202768 WITH SCORE 203932.751
AT ITER 4646 NEW BEST:: SOT 3115356 SOS 1164313 HAS SOPS 1148473 HAS SOUS 204838 HAS SOUPS 202714 WITH SCORE 203878.313
AT ITER 4648 NEW BEST:: SOT 3114880 SOS 1163593 HAS SOPS 1147753 HAS SOUS 204301 HAS SOUPS 202177 WITH SCORE 203340.593
AT ITER 4649 NEW BEST:: SOT 3114888 SOS 1163601 HAS SOPS 1147761 HAS SOUS 204029 HAS SOUPS 201905 WITH SCORE 203068.601
AT ITER 4661 NEW BEST:: SOT 3114879 SOS 1163592 HAS SOPS 1147752 HAS SOUS 204020 HAS SOUPS 201896 WITH SCORE 203059.592
AT ITER 4671 NEW BEST:: SOT 3114861 SOS 1163574 HAS SOPS 1147734 HAS SOUS 203919 HAS SOUPS 201795 WITH SCORE 202958.574
AT ITER 4687 NEW BEST:: SOT 3114742 SOS 1163578 HAS SOPS 1147738 HAS SOUS 203884 HAS SOUPS 201760 WITH SCORE 202923.578
AT ITER 4695 NEW BEST:: SOT 3114380 SOS 1163223 HAS SOPS 1147383 HAS SOUS 203199 HAS SOUPS 201075 WITH SCORE 202238.223
AT ITER 4700 NEW BEST:: SOT 3114419 SOS 1163137 HAS SOPS 1147297 HAS SOUS 203150 HAS SOUPS 201026 WITH SCORE 202189.137
AT ITER 4724 NEW BEST:: SOT 3078159 SOS 1132901 HAS SOPS 1117061 HAS SOUS 199723 HAS SOUPS 197599 WITH SCORE 198731.901
AT ITER 4750 NEW BEST:: SOT 3077933 SOS 1132675 HAS SOPS 1116835 HAS SOUS 199511 HAS SOUPS 197387 WITH SCORE 198519.675
AT ITER 4763 NEW BEST:: SOT 3077996 SOS 1132738 HAS SOPS 1116898 HAS SOUS 199459 HAS SOUPS 197335 WITH SCORE 198467.738
AT ITER 4774 NEW BEST:: SOT 3077996 SOS 1132727 HAS SOPS 1116887 HAS SOUS 199459 HAS SOUPS 197335 WITH SCORE 198467.727
AT ITER 4808 NEW BEST:: SOT 3077978 SOS 1132709 HAS SOPS 1116869 HAS SOUS 199357 HAS SOUPS 197233 WITH SCORE 198365.709
AT ITER 4833 NEW BEST:: SOT 3077706 SOS 1132369 HAS SOPS 1116529 HAS SOUS 199017 HAS SOUPS 196893 WITH SCORE 198025.369
AT ITER 4837 NEW BEST:: SOT 3067294 SOS 1121957 HAS SOPS 1106117 HAS SOUS 197727 HAS SOUPS 195603 WITH SCORE 196724.957
AT ITER 4878 NEW BEST:: SOT 3067362 SOS 1122190 HAS SOPS 1106350 HAS SOUS 197722 HAS SOUPS 195598 WITH SCORE 196720.19
AT ITER 4883 NEW BEST:: SOT 3067396 SOS 1121883 HAS SOPS 1106043 HAS SOUS 197359 HAS SOUPS 195235 WITH SCORE 196356.883
AT ITER 4887 NEW BEST:: SOT 3067374 SOS 1121861 HAS SOPS 1106021 HAS SOUS 197311 HAS SOUPS 195187 WITH SCORE 196308.861
AT ITER 4907 NEW BEST:: SOT 3067309 SOS 1121796 HAS SOPS 1105956 HAS SOUS 197235 HAS SOUPS 195111 WITH SCORE 196232.796
AT ITER 4947 NEW BEST:: SOT 3067494 SOS 1122092 HAS SOPS 1106252 HAS SOUS 195922 HAS SOUPS 193798 WITH SCORE 194920.092
AT ITER 4967 NEW BEST:: SOT 3067340 SOS 1121938 HAS SOPS 1106069 HAS SOUS 195765 HAS SOUPS 193641 WITH SCORE 194762.938
AT ITER 5007 NEW BEST:: SOT 3066444 SOS 1115116 HAS SOPS 1099925 HAS SOUS 194628 HAS SOUPS 192617 WITH SCORE 193732.116
AT ITER 5022 NEW BEST:: SOT 3066444 SOS 1115113 HAS SOPS 1099922 HAS SOUS 194625 HAS SOUPS 192614 WITH SCORE 193729.113
AT ITER 5037 NEW BEST:: SOT 3066278 SOS 1114875 HAS SOPS 1099684 HAS SOUS 194361 HAS SOUPS 192350 WITH SCORE 193464.875
AT ITER 5053 NEW BEST:: SOT 3066224 SOS 1114821 HAS SOPS 1099630 HAS SOUS 194357 HAS SOUPS 192346 WITH SCORE 193460.821
AT ITER 5063 NEW BEST:: SOT 3066213 SOS 1114810 HAS SOPS 1099619 HAS SOUS 194346 HAS SOUPS 192335 WITH SCORE 193449.81
AT ITER 5070 NEW BEST:: SOT 3066206 SOS 1114803 HAS SOPS 1099612 HAS SOUS 194343 HAS SOUPS 192332 WITH SCORE 193446.803
AT ITER 5081 NEW BEST:: SOT 3066085 SOS 1079124 HAS SOPS 1063933 HAS SOUS 193852 HAS SOUPS 191841 WITH SCORE 192920.124
AT ITER 5087 NEW BEST:: SOT 3065870 SOS 1078960 HAS SOPS 1063769 HAS SOUS 193605 HAS SOUPS 191594 WITH SCORE 192672.96
AT ITER 5119 NEW BEST:: SOT 3065852 SOS 1078942 HAS SOPS 1063751 HAS SOUS 193573 HAS SOUPS 191562 WITH SCORE 192640.942
AT ITER 5133 NEW BEST:: SOT 3065786 SOS 1078980 HAS SOPS 1063789 HAS SOUS 193356 HAS SOUPS 191345 WITH SCORE 192423.98
AT ITER 5134 NEW BEST:: SOT 3065774 SOS 1078968 HAS SOPS 1063777 HAS SOUS 193332 HAS SOUPS 191321 WITH SCORE 192399.968
AT ITER 5144 NEW BEST:: SOT 3065497 SOS 1078691 HAS SOPS 1063500 HAS SOUS 192758 HAS SOUPS 190747 WITH SCORE 191825.691
AT ITER 5157 NEW BEST:: SOT 3065413 SOS 1078629 HAS SOPS 1063438 HAS SOUS 192688 HAS SOUPS 190677 WITH SCORE 191755.629
AT ITER 5163 NEW BEST:: SOT 3065393 SOS 1078599 HAS SOPS 1063408 HAS SOUS 192658 HAS SOUPS 190647 WITH SCORE 191725.599
AT ITER 5166 NEW BEST:: SOT 3065367 SOS 1078573 HAS SOPS 1063367 HAS SOUS 192576 HAS SOUPS 190565 WITH SCORE 191643.573
AT ITER 5178 NEW BEST:: SOT 3065301 SOS 1078405 HAS SOPS 1063199 HAS SOUS 192561 HAS SOUPS 190550 WITH SCORE 191628.405
AT ITER 5204 NEW BEST:: SOT 3065244 SOS 1078063 HAS SOPS 1062857 HAS SOUS 192504 HAS SOUPS 190493 WITH SCORE 191571.063
AT ITER 5222 NEW BEST:: SOT 3065254 SOS 1078073 HAS SOPS 1062866 HAS SOUS 192502 HAS SOUPS 190491 WITH SCORE 191569.073
AT ITER 5231 NEW BEST:: SOT 3065230 SOS 1078022 HAS SOPS 1062829 HAS SOUS 192496 HAS SOUPS 190485 WITH SCORE 191563.022
AT ITER 5243 NEW BEST:: SOT 3065120 SOS 1077729 HAS SOPS 1062536 HAS SOUS 192496 HAS SOUPS 190485 WITH SCORE 191562.729
AT ITER 5246 NEW BEST:: SOT 3065113 SOS 1077684 HAS SOPS 1062491 HAS SOUS 192489 HAS SOUPS 190478 WITH SCORE 191555.684
AT ITER 5294 NEW BEST:: SOT 3065176 SOS 1077822 HAS SOPS 1062629 HAS SOUS 192379 HAS SOUPS 190368 WITH SCORE 191445.822
AT ITER 5329 NEW BEST:: SOT 3065176 SOS 1077810 HAS SOPS 1062617 HAS SOUS 192379 HAS SOUPS 190368 WITH SCORE 191445.81
AT ITER 5333 NEW BEST:: SOT 3065354 SOS 1077988 HAS SOPS 1062762 HAS SOUS 192108 HAS SOUPS 190097 WITH SCORE 191174.988
AT ITER 5339 NEW BEST:: SOT 3065297 SOS 1077931 HAS SOPS 1062705 HAS SOUS 192101 HAS SOUPS 190090 WITH SCORE 191167.931
AT ITER 5368 NEW BEST:: SOT 3064928 SOS 1077426 HAS SOPS 1062200 HAS SOUS 191703 HAS SOUPS 189692 WITH SCORE 190769.426
AT ITER 5389 NEW BEST:: SOT 3064786 SOS 1077284 HAS SOPS 1062058 HAS SOUS 191566 HAS SOUPS 189555 WITH SCORE 190632.284
AT ITER 5421 NEW BEST:: SOT 3064794 SOS 1077292 HAS SOPS 1062054 HAS SOUS 191558 HAS SOUPS 189547 WITH SCORE 190624.292
AT ITER 5426 NEW BEST:: SOT 3064838 SOS 1077380 HAS SOPS 1062142 HAS SOUS 191206 HAS SOUPS 189195 WITH SCORE 190272.38
AT ITER 5437 NEW BEST:: SOT 3072580 SOS 1085166 HAS SOPS 1069928 HAS SOUS 189695 HAS SOUPS 187684 WITH SCORE 188769.166
AT ITER 5462 NEW BEST:: SOT 3072476 SOS 1085062 HAS SOPS 1069824 HAS SOUS 189591 HAS SOUPS 187580 WITH SCORE 188665.062
AT ITER 5491 NEW BEST:: SOT 3072470 SOS 1085056 HAS SOPS 1069818 HAS SOUS 189585 HAS SOUPS 187574 WITH SCORE 188659.056
AT ITER 5492 NEW BEST:: SOT 3072473 SOS 1085059 HAS SOPS 1069781 HAS SOUS 189551 HAS SOUPS 187540 WITH SCORE 188625.059
AT ITER 5493 NEW BEST:: SOT 3072413 SOS 1084999 HAS SOPS 1069721 HAS SOUS 189428 HAS SOUPS 187417 WITH SCORE 188501.999
AT ITER 5504 NEW BEST:: SOT 3072408 SOS 1084994 HAS SOPS 1069716 HAS SOUS 189418 HAS SOUPS 187407 WITH SCORE 188491.994
AT ITER 5509 NEW BEST:: SOT 3072454 SOS 1085586 HAS SOPS 1070330 HAS SOUS 189353 HAS SOUPS 187342 WITH SCORE 188427.586
AT ITER 5552 NEW BEST:: SOT 3072428 SOS 1085540 HAS SOPS 1070284 HAS SOUS 189304 HAS SOUPS 187293 WITH SCORE 188378.54
AT ITER 5590 NEW BEST:: SOT 3072412 SOS 1085458 HAS SOPS 1070134 HAS SOUS 189129 HAS SOUPS 187118 WITH SCORE 188203.458
AT ITER 5591 NEW BEST:: SOT 3072342 SOS 1080834 HAS SOPS 1065595 HAS SOUS 188921 HAS SOUPS 186910 WITH SCORE 187990.834
AT ITER 5623 NEW BEST:: SOT 3072342 SOS 1080831 HAS SOPS 1065592 HAS SOUS 188921 HAS SOUPS 186910 WITH SCORE 187990.831
AT ITER 5626 NEW BEST:: SOT 3072342 SOS 1080754 HAS SOPS 1065515 HAS SOUS 188916 HAS SOUPS 186905 WITH SCORE 187985.754
AT ITER 5666 NEW BEST:: SOT 3072342 SOS 1080684 HAS SOPS 1065445 HAS SOUS 188912 HAS SOUPS 186901 WITH SCORE 187981.684
AT ITER 5680 NEW BEST:: SOT 3072322 SOS 1080654 HAS SOPS 1065415 HAS SOUS 188872 HAS SOUPS 186861 WITH SCORE 187941.654
AT ITER 5682 NEW BEST:: SOT 3072313 SOS 1080624 HAS SOPS 1065394 HAS SOUS 188854 HAS SOUPS 186843 WITH SCORE 187923.624
AT ITER 5699 NEW BEST:: SOT 3072331 SOS 1080667 HAS SOPS 1065437 HAS SOUS 188797 HAS SOUPS 186786 WITH SCORE 187866.667
AT ITER 5707 NEW BEST:: SOT 3072311 SOS 1080647 HAS SOPS 1065417 HAS SOUS 188787 HAS SOUPS 186776 WITH SCORE 187856.647
AT ITER 5732 NEW BEST:: SOT 3072308 SOS 1080644 HAS SOPS 1065400 HAS SOUS 188770 HAS SOUPS 186759 WITH SCORE 187839.644
AT ITER 5759 NEW BEST:: SOT 3072287 SOS 1080623 HAS SOPS 1065379 HAS SOUS 188560 HAS SOUPS 186549 WITH SCORE 187629.623
AT ITER 5820 NEW BEST:: SOT 3077945 SOS 1086081 HAS SOPS 1070837 HAS SOUS 188367 HAS SOUPS 186356 WITH SCORE 187442.081
AT ITER 5834 NEW BEST:: SOT 3077842 SOS 1085978 HAS SOPS 1070734 HAS SOUS 188233 HAS SOUPS 186222 WITH SCORE 187307.978
AT ITER 5836 NEW BEST:: SOT 3077511 SOS 1085643 HAS SOPS 1070399 HAS SOUS 188069 HAS SOUPS 186058 WITH SCORE 187143.643
AT ITER 5863 NEW BEST:: SOT 3077471 SOS 1085603 HAS SOPS 1070359 HAS SOUS 188001 HAS SOUPS 185990 WITH SCORE 187075.603
AT ITER 5873 NEW BEST:: SOT 3077421 SOS 1085553 HAS SOPS 1070309 HAS SOUS 187976 HAS SOUPS 185965 WITH SCORE 187050.553
AT ITER 5908 NEW BEST:: SOT 3077168 SOS 1085243 HAS SOPS 1069999 HAS SOUS 187666 HAS SOUPS 185655 WITH SCORE 186740.243
AT ITER 5914 NEW BEST:: SOT 3077034 SOS 1085090 HAS SOPS 1069846 HAS SOUS 187471 HAS SOUPS 185460 WITH SCORE 186545.09
AT ITER 5944 NEW BEST:: SOT 3076557 SOS 1084655 HAS SOPS 1069411 HAS SOUS 187180 HAS SOUPS 185169 WITH SCORE 186253.655
AT ITER 5947 NEW BEST:: SOT 3076471 SOS 1084617 HAS SOPS 1069373 HAS SOUS 187088 HAS SOUPS 185077 WITH SCORE 186161.617
AT ITER 5964 NEW BEST:: SOT 3076266 SOS 1084352 HAS SOPS 1069108 HAS SOUS 186882 HAS SOUPS 184871 WITH SCORE 185955.352
AT ITER 5978 NEW BEST:: SOT 3091489 SOS 1099575 HAS SOPS 1084331 HAS SOUS 186485 HAS SOUPS 184474 WITH SCORE 185573.575
AT ITER 5980 NEW BEST:: SOT 3091582 SOS 1099670 HAS SOPS 1084426 HAS SOUS 186469 HAS SOUPS 184458 WITH SCORE 185557.67
AT ITER 5989 NEW BEST:: SOT 3091635 SOS 1099724 HAS SOPS 1084480 HAS SOUS 186263 HAS SOUPS 184252 WITH SCORE 185351.724
AT ITER 5996 NEW BEST:: SOT 3091635 SOS 1099714 HAS SOPS 1084470 HAS SOUS 186263 HAS SOUPS 184252 WITH SCORE 185351.714
AT ITER 5997 NEW BEST:: SOT 3091600 SOS 1099580 HAS SOPS 1084336 HAS SOUS 186193 HAS SOUPS 184182 WITH SCORE 185281.58
AT ITER 6015 NEW BEST:: SOT 3091573 SOS 1099553 HAS SOPS 1084309 HAS SOUS 186139 HAS SOUPS 184128 WITH SCORE 185227.553
AT ITER 6017 NEW BEST:: SOT 3091566 SOS 1099492 HAS SOPS 1084248 HAS SOUS 185780 HAS SOUPS 183769 WITH SCORE 184868.492
AT ITER 6082 NEW BEST:: SOT 3091519 SOS 1099257 HAS SOPS 1084060 HAS SOUS 185780 HAS SOUPS 183769 WITH SCORE 184868.257
AT ITER 6083 NEW BEST:: SOT 3091515 SOS 1099253 HAS SOPS 1084056 HAS SOUS 185776 HAS SOUPS 183765 WITH SCORE 184864.253
AT ITER 6100 NEW BEST:: SOT 3091510 SOS 1099248 HAS SOPS 1084037 HAS SOUS 185728 HAS SOUPS 183717 WITH SCORE 184816.248
AT ITER 6108 NEW BEST:: SOT 3091495 SOS 1099353 HAS SOPS 1084142 HAS SOUS 185698 HAS SOUPS 183687 WITH SCORE 184786.353
AT ITER 6124 NEW BEST:: SOT 3091476 SOS 1099260 HAS SOPS 1084117 HAS SOUS 185595 HAS SOUPS 183584 WITH SCORE 184683.26
AT ITER 6127 NEW BEST:: SOT 3091527 SOS 1099319 HAS SOPS 1084176 HAS SOUS 185458 HAS SOUPS 183447 WITH SCORE 184546.319
AT ITER 6139 NEW BEST:: SOT 3091511 SOS 1099303 HAS SOPS 1084150 HAS SOUS 185426 HAS SOUPS 183415 WITH SCORE 184514.303
AT ITER 6142 NEW BEST:: SOT 3091479 SOS 1099271 HAS SOPS 1084128 HAS SOUS 185423 HAS SOUPS 183412 WITH SCORE 184511.271
AT ITER 6165 NEW BEST:: SOT 3091361 SOS 1096347 HAS SOPS 1081204 HAS SOUS 185269 HAS SOUPS 183258 WITH SCORE 184354.347
AT ITER 6178 NEW BEST:: SOT 3091271 SOS 1096167 HAS SOPS 1081024 HAS SOUS 185089 HAS SOUPS 183078 WITH SCORE 184174.167
AT ITER 6189 NEW BEST:: SOT 3091131 SOS 1096027 HAS SOPS 1080884 HAS SOUS 184860 HAS SOUPS 182849 WITH SCORE 183945.027
AT ITER 6192 NEW BEST:: SOT 3091122 SOS 1096015 HAS SOPS 1080872 HAS SOUS 184848 HAS SOUPS 182837 WITH SCORE 183933.015
AT ITER 6195 NEW BEST:: SOT 3091094 SOS 1095863 HAS SOPS 1080720 HAS SOUS 184792 HAS SOUPS 182781 WITH SCORE 183876.863
AT ITER 6199 NEW BEST:: SOT 3091319 SOS 1096052 HAS SOPS 1080909 HAS SOUS 184603 HAS SOUPS 182592 WITH SCORE 183688.052
AT ITER 6203 NEW BEST:: SOT 3091332 SOS 1096065 HAS SOPS 1081030 HAS SOUS 184544 HAS SOUPS 182533 WITH SCORE 183629.065
AT ITER 6228 NEW BEST:: SOT 3091332 SOS 1096034 HAS SOPS 1080999 HAS SOUS 184513 HAS SOUPS 182502 WITH SCORE 183598.034
AT ITER 6229 NEW BEST:: SOT 3091286 SOS 1095942 HAS SOPS 1080907 HAS SOUS 184421 HAS SOUPS 182410 WITH SCORE 183505.942
AT ITER 6244 NEW BEST:: SOT 3091311 SOS 1095967 HAS SOPS 1080922 HAS SOUS 184415 HAS SOUPS 182404 WITH SCORE 183499.967
AT ITER 6246 NEW BEST:: SOT 3091288 SOS 1095791 HAS SOPS 1080746 HAS SOUS 184353 HAS SOUPS 182342 WITH SCORE 183437.791
AT ITER 6351 NEW BEST:: SOT 3091309 SOS 1095848 HAS SOPS 1080803 HAS SOUS 184350 HAS SOUPS 182339 WITH SCORE 183434.848
AT ITER 6365 NEW BEST:: SOT 3091286 SOS 1095825 HAS SOPS 1080780 HAS SOUS 184291 HAS SOUPS 182280 WITH SCORE 183375.825
AT ITER 6373 NEW BEST:: SOT 3091299 SOS 1095853 HAS SOPS 1080825 HAS SOUS 184285 HAS SOUPS 182274 WITH SCORE 183369.853
AT ITER 6375 NEW BEST:: SOT 3081236 SOS 1085790 HAS SOPS 1070762 HAS SOUS 183204 HAS SOUPS 181193 WITH SCORE 182278.79
AT ITER 6388 NEW BEST:: SOT 3081223 SOS 1085766 HAS SOPS 1070738 HAS SOUS 183200 HAS SOUPS 181189 WITH SCORE 182274.766
AT ITER 6397 NEW BEST:: SOT 3081223 SOS 1085347 HAS SOPS 1070319 HAS SOUS 183175 HAS SOUPS 181164 WITH SCORE 182249.347
AT ITER 6401 NEW BEST:: SOT 3081254 SOS 1085378 HAS SOPS 1070350 HAS SOUS 183095 HAS SOUPS 181084 WITH SCORE 182169.378
AT ITER 6415 NEW BEST:: SOT 3081205 SOS 1085139 HAS SOPS 1070242 HAS SOUS 182997 HAS SOUPS 180986 WITH SCORE 182071.139
AT ITER 6430 NEW BEST:: SOT 3081077 SOS 1085089 HAS SOPS 1070192 HAS SOUS 182984 HAS SOUPS 180973 WITH SCORE 182058.089
AT ITER 6447 NEW BEST:: SOT 3081095 SOS 1085091 HAS SOPS 1070210 HAS SOUS 182956 HAS SOUPS 180945 WITH SCORE 182030.091
AT ITER 6450 NEW BEST:: SOT 3081094 SOS 1085090 HAS SOPS 1070209 HAS SOUS 182954 HAS SOUPS 180943 WITH SCORE 182028.09
AT ITER 6453 NEW BEST:: SOT 3081091 SOS 1085087 HAS SOPS 1070231 HAS SOUS 182948 HAS SOUPS 180937 WITH SCORE 182022.087
AT ITER 6470 NEW BEST:: SOT 3081082 SOS 1084400 HAS SOPS 1069562 HAS SOUS 182732 HAS SOUPS 180724 WITH SCORE 181808.4
AT ITER 6476 NEW BEST:: SOT 3081082 SOS 1084661 HAS SOPS 1069823 HAS SOUS 182584 HAS SOUPS 180576 WITH SCORE 181660.661
AT ITER 6491 NEW BEST:: SOT 3081074 SOS 1084661 HAS SOPS 1069823 HAS SOUS 182576 HAS SOUPS 180568 WITH SCORE 181652.661
AT ITER 6531 NEW BEST:: SOT 3081002 SOS 1084589 HAS SOPS 1069751 HAS SOUS 182432 HAS SOUPS 180424 WITH SCORE 181508.589
AT ITER 6548 NEW BEST:: SOT 3081001 SOS 1084588 HAS SOPS 1069750 HAS SOUS 182425 HAS SOUPS 180417 WITH SCORE 181501.588
AT ITER 6557 NEW BEST:: SOT 3080991 SOS 1084583 HAS SOPS 1069745 HAS SOUS 182420 HAS SOUPS 180412 WITH SCORE 181496.583
AT ITER 6558 NEW BEST:: SOT 3080972 SOS 1084560 HAS SOPS 1069707 HAS SOUS 182406 HAS SOUPS 180398 WITH SCORE 181482.56
AT ITER 6570 NEW BEST:: SOT 3080885 SOS 1084473 HAS SOPS 1069620 HAS SOUS 182290 HAS SOUPS 180282 WITH SCORE 181366.473
AT ITER 6582 NEW BEST:: SOT 3080848 SOS 1084417 HAS SOPS 1069564 HAS SOUS 182216 HAS SOUPS 180208 WITH SCORE 181292.417
AT ITER 6598 NEW BEST:: SOT 3080826 SOS 1084380 HAS SOPS 1069527 HAS SOUS 182184 HAS SOUPS 180176 WITH SCORE 181260.38
AT ITER 6624 NEW BEST:: SOT 3080787 SOS 1084389 HAS SOPS 1069536 HAS SOUS 182049 HAS SOUPS 180041 WITH SCORE 181125.389
AT ITER 6625 NEW BEST:: SOT 3080698 SOS 1084322 HAS SOPS 1069469 HAS SOUS 181955 HAS SOUPS 179947 WITH SCORE 181031.322
AT ITER 6632 NEW BEST:: SOT 3080714 SOS 1084715 HAS SOPS 1069862 HAS SOUS 181935 HAS SOUPS 179927 WITH SCORE 181011.715
AT ITER 6638 NEW BEST:: SOT 3080661 SOS 1084677 HAS SOPS 1069824 HAS SOUS 181862 HAS SOUPS 179854 WITH SCORE 180938.677
AT ITER 6645 NEW BEST:: SOT 3080768 SOS 1084784 HAS SOPS 1069906 HAS SOUS 181856 HAS SOUPS 179848 WITH SCORE 180932.784
AT ITER 6652 NEW BEST:: SOT 3080598 SOS 1083902 HAS SOPS 1069024 HAS SOUS 181514 HAS SOUPS 179506 WITH SCORE 180589.902
AT ITER 6668 NEW BEST:: SOT 3080483 SOS 1083819 HAS SOPS 1068941 HAS SOUS 181281 HAS SOUPS 179273 WITH SCORE 180356.819
AT ITER 6670 NEW BEST:: SOT 3080483 SOS 1083819 HAS SOPS 1068941 HAS SOUS 181271 HAS SOUPS 179263 WITH SCORE 180346.819
AT ITER 6671 NEW BEST:: SOT 3080415 SOS 1083751 HAS SOPS 1068873 HAS SOUS 181237 HAS SOUPS 179229 WITH SCORE 180312.751
AT ITER 6681 NEW BEST:: SOT 3080377 SOS 1083713 HAS SOPS 1068835 HAS SOUS 181160 HAS SOUPS 179152 WITH SCORE 180235.713
AT ITER 6731 NEW BEST:: SOT 3080159 SOS 1083558 HAS SOPS 1068680 HAS SOUS 181005 HAS SOUPS 178997 WITH SCORE 180080.558
AT ITER 6758 NEW BEST:: SOT 3079621 SOS 1082926 HAS SOPS 1068048 HAS SOUS 180271 HAS SOUPS 178263 WITH SCORE 179345.926
AT ITER 6760 NEW BEST:: SOT 3079600 SOS 1087234 HAS SOPS 1072356 HAS SOUS 180234 HAS SOUPS 178226 WITH SCORE 179313.234
AT ITER 6763 NEW BEST:: SOT 3079662 SOS 1087584 HAS SOPS 1072706 HAS SOUS 180221 HAS SOUPS 178213 WITH SCORE 179300.584
AT ITER 6784 NEW BEST:: SOT 3079605 SOS 1087568 HAS SOPS 1072681 HAS SOUS 180160 HAS SOUPS 178152 WITH SCORE 179239.568
AT ITER 6839 NEW BEST:: SOT 3079600 SOS 1087563 HAS SOPS 1072676 HAS SOUS 180150 HAS SOUPS 178142 WITH SCORE 179229.563
AT ITER 6868 NEW BEST:: SOT 3079725 SOS 1087675 HAS SOPS 1072756 HAS SOUS 180127 HAS SOUPS 178119 WITH SCORE 179206.675
AT ITER 6888 NEW BEST:: SOT 3079726 SOS 1087594 HAS SOPS 1072675 HAS SOUS 180083 HAS SOUPS 178075 WITH SCORE 179162.594
AT ITER 6913 NEW BEST:: SOT 3079756 SOS 1087696 HAS SOPS 1072777 HAS SOUS 179927 HAS SOUPS 177919 WITH SCORE 179006.696
AT ITER 6919 NEW BEST:: SOT 3079694 SOS 1087634 HAS SOPS 1072715 HAS SOUS 179905 HAS SOUPS 177897 WITH SCORE 178984.634
AT ITER 6951 NEW BEST:: SOT 3057166 SOS 1064848 HAS SOPS 1049929 HAS SOUS 177548 HAS SOUPS 175540 WITH SCORE 176604.848
AT ITER 6954 NEW BEST:: SOT 3056941 SOS 1064623 HAS SOPS 1049704 HAS SOUS 177518 HAS SOUPS 175510 WITH SCORE 176574.623
AT ITER 6972 NEW BEST:: SOT 3056977 SOS 1064114 HAS SOPS 1049307 HAS SOUS 177363 HAS SOUPS 175355 WITH SCORE 176419.114
AT ITER 6997 NEW BEST:: SOT 3056990 SOS 1064127 HAS SOPS 1049320 HAS SOUS 177334 HAS SOUPS 175326 WITH SCORE 176390.127
AT ITER 7004 NEW BEST:: SOT 3056980 SOS 1064117 HAS SOPS 1049219 HAS SOUS 177316 HAS SOUPS 175308 WITH SCORE 176372.117
AT ITER 7006 NEW BEST:: SOT 3056481 SOS 1082250 HAS SOPS 1067352 HAS SOUS 177292 HAS SOUPS 175284 WITH SCORE 176366.25
AT ITER 7008 NEW BEST:: SOT 3056481 SOS 1082294 HAS SOPS 1067396 HAS SOUS 177281 HAS SOUPS 175273 WITH SCORE 176355.294
AT ITER 7035 NEW BEST:: SOT 3056492 SOS 1082305 HAS SOPS 1067407 HAS SOUS 177241 HAS SOUPS 175233 WITH SCORE 176315.305
AT ITER 7210 NEW BEST:: SOT 3056549 SOS 1082332 HAS SOPS 1067434 HAS SOUS 177223 HAS SOUPS 175215 WITH SCORE 176297.332
AT ITER 7221 NEW BEST:: SOT 3056549 SOS 1080712 HAS SOPS 1065814 HAS SOUS 177223 HAS SOUPS 175215 WITH SCORE 176295.712
AT ITER 7252 NEW BEST:: SOT 3056476 SOS 1080639 HAS SOPS 1065741 HAS SOUS 177036 HAS SOUPS 175028 WITH SCORE 176108.639
AT ITER 7263 NEW BEST:: SOT 3056437 SOS 1080561 HAS SOPS 1065663 HAS SOUS 176959 HAS SOUPS 174951 WITH SCORE 176031.561
AT ITER 7267 NEW BEST:: SOT 3056338 SOS 1080365 HAS SOPS 1065467 HAS SOUS 176955 HAS SOUPS 174947 WITH SCORE 176027.365
AT ITER 7268 NEW BEST:: SOT 3056204 SOS 1074032 HAS SOPS 1059134 HAS SOUS 176915 HAS SOUPS 174907 WITH SCORE 175981.032
AT ITER 7269 NEW BEST:: SOT 3056145 SOS 1071993 HAS SOPS 1057095 HAS SOUS 176895 HAS SOUPS 174887 WITH SCORE 175958.993
AT ITER 7345 NEW BEST:: SOT 3056079 SOS 1071927 HAS SOPS 1057021 HAS SOUS 176838 HAS SOUPS 174830 WITH SCORE 175901.927
AT ITER 7356 NEW BEST:: SOT 3055747 SOS 1071595 HAS SOPS 1056689 HAS SOUS 176506 HAS SOUPS 174498 WITH SCORE 175569.595
AT ITER 7358 NEW BEST:: SOT 3055747 SOS 1071595 HAS SOPS 1056689 HAS SOUS 176504 HAS SOUPS 174496 WITH SCORE 175567.595
AT ITER 7361 NEW BEST:: SOT 3055753 SOS 1071552 HAS SOPS 1056646 HAS SOUS 176424 HAS SOUPS 174416 WITH SCORE 175487.552
AT ITER 7383 NEW BEST:: SOT 3055753 SOS 1071549 HAS SOPS 1056643 HAS SOUS 176423 HAS SOUPS 174415 WITH SCORE 175486.549
AT ITER 7421 NEW BEST:: SOT 3055719 SOS 1071982 HAS SOPS 1057076 HAS SOUS 176329 HAS SOUPS 174321 WITH SCORE 175392.982
AT ITER 7433 NEW BEST:: SOT 3055716 SOS 1071979 HAS SOPS 1057073 HAS SOUS 176326 HAS SOUPS 174318 WITH SCORE 175389.979
AT ITER 7444 NEW BEST:: SOT 3055716 SOS 1071201 HAS SOPS 1056295 HAS SOUS 176326 HAS SOUPS 174318 WITH SCORE 175389.201
AT ITER 7468 NEW BEST:: SOT 3055604 SOS 1071054 HAS SOPS 1056148 HAS SOUS 176277 HAS SOUPS 174269 WITH SCORE 175340.054
AT ITER 7487 NEW BEST:: SOT 3055575 SOS 1071025 HAS SOPS 1056105 HAS SOUS 176219 HAS SOUPS 174211 WITH SCORE 175282.025
AT ITER 7516 NEW BEST:: SOT 3055559 SOS 1070987 HAS SOPS 1056067 HAS SOUS 176187 HAS SOUPS 174179 WITH SCORE 175249.987
AT ITER 7531 NEW BEST:: SOT 3055550 SOS 1070978 HAS SOPS 1056049 HAS SOUS 176134 HAS SOUPS 174126 WITH SCORE 175196.978
AT ITER 7537 NEW BEST:: SOT 3055504 SOS 1070932 HAS SOPS 1056003 HAS SOUS 176111 HAS SOUPS 174103 WITH SCORE 175173.932
AT ITER 7564 NEW BEST:: SOT 3054790 SOS 1070337 HAS SOPS 1055408 HAS SOUS 175612 HAS SOUPS 173604 WITH SCORE 174674.337
AT ITER 7587 NEW BEST:: SOT 3054720 SOS 1070267 HAS SOPS 1055338 HAS SOUS 175509 HAS SOUPS 173501 WITH SCORE 174571.267
AT ITER 7609 NEW BEST:: SOT 3055727 SOS 1064464 HAS SOPS 1049535 HAS SOUS 175330 HAS SOUPS 173322 WITH SCORE 174386.464
AT ITER 7677 NEW BEST:: SOT 3055595 SOS 1064332 HAS SOPS 1049357 HAS SOUS 175110 HAS SOUPS 173102 WITH SCORE 174166.332
AT ITER 7682 NEW BEST:: SOT 3055486 SOS 1064223 HAS SOPS 1049202 HAS SOUS 174961 HAS SOUPS 172953 WITH SCORE 174017.223
AT ITER 7689 NEW BEST:: SOT 3055486 SOS 1064310 HAS SOPS 1049289 HAS SOUS 174951 HAS SOUPS 172943 WITH SCORE 174007.31
AT ITER 7692 NEW BEST:: SOT 3055464 SOS 1064255 HAS SOPS 1049234 HAS SOUS 174896 HAS SOUPS 172888 WITH SCORE 173952.255
AT ITER 7709 NEW BEST:: SOT 3055462 SOS 1064169 HAS SOPS 1049148 HAS SOUS 174880 HAS SOUPS 172872 WITH SCORE 173936.169
AT ITER 7712 NEW BEST:: SOT 3055483 SOS 1064190 HAS SOPS 1049121 HAS SOUS 174827 HAS SOUPS 172819 WITH SCORE 173883.19
AT ITER 7723 NEW BEST:: SOT 3047533 SOS 1056240 HAS SOPS 1041171 HAS SOUS 174419 HAS SOUPS 172411 WITH SCORE 173467.24
AT ITER 7735 NEW BEST:: SOT 3047501 SOS 1054308 HAS SOPS 1039239 HAS SOUS 174394 HAS SOUPS 172386 WITH SCORE 173440.308
AT ITER 7736 NEW BEST:: SOT 3047614 SOS 1054421 HAS SOPS 1039324 HAS SOUS 174368 HAS SOUPS 172362 WITH SCORE 173416.421
AT ITER 7774 NEW BEST:: SOT 3047579 SOS 1054376 HAS SOPS 1039279 HAS SOUS 174322 HAS SOUPS 172316 WITH SCORE 173370.376
AT ITER 7781 NEW BEST:: SOT 3047579 SOS 1054177 HAS SOPS 1039080 HAS SOUS 174322 HAS SOUPS 172316 WITH SCORE 173370.177
AT ITER 7801 NEW BEST:: SOT 3047585 SOS 1054183 HAS SOPS 1039086 HAS SOUS 174314 HAS SOUPS 172308 WITH SCORE 173362.183
AT ITER 7804 NEW BEST:: SOT 3047700 SOS 1054285 HAS SOPS 1039116 HAS SOUS 174227 HAS SOUPS 172221 WITH SCORE 173275.285
AT ITER 7846 NEW BEST:: SOT 3047649 SOS 1054252 HAS SOPS 1039083 HAS SOUS 174134 HAS SOUPS 172128 WITH SCORE 173182.252
AT ITER 7854 NEW BEST:: SOT 3047632 SOS 1058463 HAS SOPS 1043294 HAS SOUS 173715 HAS SOUPS 171709 WITH SCORE 172767.463
AT ITER 7858 NEW BEST:: SOT 3047602 SOS 1058433 HAS SOPS 1043264 HAS SOUS 173685 HAS SOUPS 171679 WITH SCORE 172737.433
AT ITER 7861 NEW BEST:: SOT 3047686 SOS 1058523 HAS SOPS 1042706 HAS SOUS 173775 HAS SOUPS 171661 WITH SCORE 172719.523
AT ITER 7865 NEW BEST:: SOT 3047490 SOS 1058708 HAS SOPS 1043058 HAS SOUS 173646 HAS SOUPS 171532 WITH SCORE 172590.708
AT ITER 7870 NEW BEST:: SOT 3047436 SOS 1058654 HAS SOPS 1043004 HAS SOUS 173574 HAS SOUPS 171460 WITH SCORE 172518.654
AT ITER 7880 NEW BEST:: SOT 3047468 SOS 1058718 HAS SOPS 1043068 HAS SOUS 173526 HAS SOUPS 171412 WITH SCORE 172470.718
AT ITER 7882 NEW BEST:: SOT 3047466 SOS 1058716 HAS SOPS 1043057 HAS SOUS 173446 HAS SOUPS 171332 WITH SCORE 172390.716
AT ITER 7901 NEW BEST:: SOT 3047433 SOS 1058683 HAS SOPS 1043024 HAS SOUS 173394 HAS SOUPS 171280 WITH SCORE 172338.683
AT ITER 7905 NEW BEST:: SOT 3047280 SOS 1058184 HAS SOPS 1042525 HAS SOUS 173320 HAS SOUPS 171206 WITH SCORE 172264.184
AT ITER 7915 NEW BEST:: SOT 3047272 SOS 1058184 HAS SOPS 1042525 HAS SOUS 173304 HAS SOUPS 171190 WITH SCORE 172248.184
AT ITER 7955 NEW BEST:: SOT 3056370 SOS 1067036 HAS SOPS 1051623 HAS SOUS 172764 HAS SOUPS 170691 WITH SCORE 171758.036
AT ITER 7961 NEW BEST:: SOT 3056373 SOS 1067163 HAS SOPS 1051750 HAS SOUS 172708 HAS SOUPS 170635 WITH SCORE 171702.163
AT ITER 7966 NEW BEST:: SOT 3056380 SOS 1067170 HAS SOPS 1051757 HAS SOUS 172705 HAS SOUPS 170632 WITH SCORE 171699.17
AT ITER 7995 NEW BEST:: SOT 3056372 SOS 1067162 HAS SOPS 1051751 HAS SOUS 172669 HAS SOUPS 170596 WITH SCORE 171663.162
AT ITER 8008 NEW BEST:: SOT 3056364 SOS 1067156 HAS SOPS 1051745 HAS SOUS 172657 HAS SOUPS 170584 WITH SCORE 171651.156
AT ITER 8028 NEW BEST:: SOT 3056363 SOS 1067157 HAS SOPS 1051746 HAS SOUS 172656 HAS SOUPS 170583 WITH SCORE 171650.157
AT ITER 8036 NEW BEST:: SOT 3056303 SOS 1067097 HAS SOPS 1051686 HAS SOUS 172536 HAS SOUPS 170463 WITH SCORE 171530.097
AT ITER 8043 NEW BEST:: SOT 3056252 SOS 1067046 HAS SOPS 1051635 HAS SOUS 172524 HAS SOUPS 170451 WITH SCORE 171518.046
AT ITER 8055 NEW BEST:: SOT 3056252 SOS 1067010 HAS SOPS 1051599 HAS SOUS 172524 HAS SOUPS 170451 WITH SCORE 171518.01
AT ITER 8058 NEW BEST:: SOT 3055596 SOS 1067340 HAS SOPS 1054880 HAS SOUS 172027 HAS SOUPS 170060 WITH SCORE 171127.34
AT ITER 8063 NEW BEST:: SOT 3055588 SOS 1067332 HAS SOPS 1054872 HAS SOUS 172013 HAS SOUPS 170046 WITH SCORE 171113.332
AT ITER 8095 NEW BEST:: SOT 3055302 SOS 1067003 HAS SOPS 1054543 HAS SOUS 171770 HAS SOUPS 169803 WITH SCORE 170870.003
AT ITER 8098 NEW BEST:: SOT 3055245 SOS 1066465 HAS SOPS 1054005 HAS SOUS 171766 HAS SOUPS 169799 WITH SCORE 170865.465
AT ITER 8110 NEW BEST:: SOT 3055242 SOS 1066462 HAS SOPS 1054002 HAS SOUS 171757 HAS SOUPS 169790 WITH SCORE 170856.462
AT ITER 8138 NEW BEST:: SOT 3055106 SOS 1066343 HAS SOPS 1053883 HAS SOUS 171659 HAS SOUPS 169692 WITH SCORE 170758.343
AT ITER 8148 NEW BEST:: SOT 3055053 SOS 1066258 HAS SOPS 1053798 HAS SOUS 171636 HAS SOUPS 169669 WITH SCORE 170735.258
AT ITER 8195 NEW BEST:: SOT 3054988 SOS 1066093 HAS SOPS 1053651 HAS SOUS 171627 HAS SOUPS 169660 WITH SCORE 170726.093
AT ITER 8197 NEW BEST:: SOT 3054978 SOS 1066061 HAS SOPS 1053619 HAS SOUS 171607 HAS SOUPS 169640 WITH SCORE 170706.061
AT ITER 8200 NEW BEST:: SOT 3055028 SOS 1066351 HAS SOPS 1053856 HAS SOUS 171591 HAS SOUPS 169624 WITH SCORE 170690.351
AT ITER 8229 NEW BEST:: SOT 3055027 SOS 1066410 HAS SOPS 1053915 HAS SOUS 171576 HAS SOUPS 169609 WITH SCORE 170675.41
AT ITER 8252 NEW BEST:: SOT 3055003 SOS 1066386 HAS SOPS 1053893 HAS SOUS 171548 HAS SOUPS 169581 WITH SCORE 170647.386
AT ITER 8280 NEW BEST:: SOT 3054996 SOS 1066386 HAS SOPS 1053893 HAS SOUS 171541 HAS SOUPS 169574 WITH SCORE 170640.386
AT ITER 8287 NEW BEST:: SOT 3054952 SOS 1066342 HAS SOPS 1053849 HAS SOUS 171497 HAS SOUPS 169530 WITH SCORE 170596.342
AT ITER 8292 NEW BEST:: SOT 3055897 SOS 1064555 HAS SOPS 1052062 HAS SOUS 169387 HAS SOUPS 167420 WITH SCORE 168484.555
AT ITER 8306 NEW BEST:: SOT 3055942 SOS 1064467 HAS SOPS 1051935 HAS SOUS 169344 HAS SOUPS 167377 WITH SCORE 168441.467
AT ITER 8310 NEW BEST:: SOT 3055942 SOS 1064463 HAS SOPS 1051931 HAS SOUS 169344 HAS SOUPS 167377 WITH SCORE 168441.463
AT ITER 8311 NEW BEST:: SOT 3055911 SOS 1064384 HAS SOPS 1051852 HAS SOUS 169308 HAS SOUPS 167341 WITH SCORE 168405.384
AT ITER 8314 NEW BEST:: SOT 3055911 SOS 1064324 HAS SOPS 1051792 HAS SOUS 169299 HAS SOUPS 167332 WITH SCORE 168396.324
AT ITER 8334 NEW BEST:: SOT 3055857 SOS 1064275 HAS SOPS 1051743 HAS SOUS 169279 HAS SOUPS 167312 WITH SCORE 168376.275
AT ITER 8359 NEW BEST:: SOT 3055857 SOS 1064227 HAS SOPS 1051695 HAS SOUS 169273 HAS SOUPS 167306 WITH SCORE 168370.227
AT ITER 8360 NEW BEST:: SOT 3016471 SOS 1026089 HAS SOPS 1013557 HAS SOUS 168456 HAS SOUPS 166489 WITH SCORE 167515.089
AT ITER 8375 NEW BEST:: SOT 3016406 SOS 1025959 HAS SOPS 1013427 HAS SOUS 168326 HAS SOUPS 166359 WITH SCORE 167384.959
AT ITER 8382 NEW BEST:: SOT 3016403 SOS 1025960 HAS SOPS 1013428 HAS SOUS 168320 HAS SOUPS 166353 WITH SCORE 167378.96
AT ITER 8401 NEW BEST:: SOT 3016373 SOS 1025929 HAS SOPS 1013397 HAS SOUS 168271 HAS SOUPS 166304 WITH SCORE 167329.929
AT ITER 8411 NEW BEST:: SOT 3016525 SOS 1025959 HAS SOPS 1013243 HAS SOUS 168258 HAS SOUPS 166260 WITH SCORE 167285.959
AT ITER 8435 NEW BEST:: SOT 3016461 SOS 1025895 HAS SOPS 1013179 HAS SOUS 168146 HAS SOUPS 166148 WITH SCORE 167173.895
AT ITER 8440 NEW BEST:: SOT 3016448 SOS 1025840 HAS SOPS 1013124 HAS SOUS 168141 HAS SOUPS 166143 WITH SCORE 167168.84
AT ITER 8495 NEW BEST:: SOT 3016343 SOS 1025735 HAS SOPS 1013019 HAS SOUS 168075 HAS SOUPS 166077 WITH SCORE 167102.735
AT ITER 8531 NEW BEST:: SOT 3016343 SOS 1025725 HAS SOPS 1013009 HAS SOUS 168075 HAS SOUPS 166077 WITH SCORE 167102.725
AT ITER 8543 NEW BEST:: SOT 3016348 SOS 1025617 HAS SOPS 1012901 HAS SOUS 167940 HAS SOUPS 165942 WITH SCORE 166967.617
AT ITER 8547 NEW BEST:: SOT 3016337 SOS 1025608 HAS SOPS 1012892 HAS SOUS 167924 HAS SOUPS 165926 WITH SCORE 166951.608
AT ITER 8561 NEW BEST:: SOT 3016379 SOS 1025629 HAS SOPS 1012913 HAS SOUS 167910 HAS SOUPS 165912 WITH SCORE 166937.629
AT ITER 8570 NEW BEST:: SOT 3016373 SOS 1025632 HAS SOPS 1012916 HAS SOUS 167891 HAS SOUPS 165893 WITH SCORE 166918.632
AT ITER 8584 NEW BEST:: SOT 3016333 SOS 1025592 HAS SOPS 1012876 HAS SOUS 167851 HAS SOUPS 165853 WITH SCORE 166878.592
AT ITER 8626 NEW BEST:: SOT 3016317 SOS 1014872 HAS SOPS 1002156 HAS SOUS 167819 HAS SOUPS 165821 WITH SCORE 166835.872
AT ITER 8631 NEW BEST:: SOT 3016115 SOS 1014670 HAS SOPS 1001954 HAS SOUS 167567 HAS SOUPS 165569 WITH SCORE 166583.67
AT ITER 8660 NEW BEST:: SOT 3015899 SOS 1014392 HAS SOPS 1001676 HAS SOUS 167530 HAS SOUPS 165532 WITH SCORE 166546.392
AT ITER 8669 NEW BEST:: SOT 3015865 SOS 1014358 HAS SOPS 1001642 HAS SOUS 167434 HAS SOUPS 165436 WITH SCORE 166450.358
AT ITER 8679 NEW BEST:: SOT 3015861 SOS 1014354 HAS SOPS 1001638 HAS SOUS 167429 HAS SOUPS 165431 WITH SCORE 166445.354
AT ITER 8711 NEW BEST:: SOT 3015691 SOS 1014181 HAS SOPS 1001457 HAS SOUS 167265 HAS SOUPS 165267 WITH SCORE 166281.181
AT ITER 8783 NEW BEST:: SOT 3015691 SOS 1014159 HAS SOPS 1001435 HAS SOUS 167241 HAS SOUPS 165243 WITH SCORE 166257.159
AT ITER 8802 NEW BEST:: SOT 3015637 SOS 1014105 HAS SOPS 1001381 HAS SOUS 167187 HAS SOUPS 165189 WITH SCORE 166203.105
AT ITER 8832 NEW BEST:: SOT 3015525 SOS 1013993 HAS SOPS 1001269 HAS SOUS 167075 HAS SOUPS 165077 WITH SCORE 166090.993
AT ITER 8839 NEW BEST:: SOT 3015552 SOS 1014126 HAS SOPS 1001402 HAS SOUS 167073 HAS SOUPS 165075 WITH SCORE 166089.126
AT ITER 8860 NEW BEST:: SOT 3015507 SOS 1014081 HAS SOPS 1001357 HAS SOUS 167056 HAS SOUPS 165058 WITH SCORE 166072.081
AT ITER 8865 NEW BEST:: SOT 3015456 SOS 1014030 HAS SOPS 1001306 HAS SOUS 167024 HAS SOUPS 165026 WITH SCORE 166040.03
AT ITER 8885 NEW BEST:: SOT 3015456 SOS 1013250 HAS SOPS 1000526 HAS SOUS 167022 HAS SOUPS 165024 WITH SCORE 166037.25
AT ITER 8901 NEW BEST:: SOT 3015556 SOS 1013350 HAS SOPS 1000548 HAS SOUS 166988 HAS SOUPS 164990 WITH SCORE 166003.35
AT ITER 8909 NEW BEST:: SOT 3015071 SOS 1013064 HAS SOPS 1000262 HAS SOUS 166729 HAS SOUPS 164731 WITH SCORE 165744.064
AT ITER 8911 NEW BEST:: SOT 3015061 SOS 1013054 HAS SOPS 1000252 HAS SOUS 166719 HAS SOUPS 164721 WITH SCORE 165734.054
AT ITER 8939 NEW BEST:: SOT 3015039 SOS 1013032 HAS SOPS 1000230 HAS SOUS 166675 HAS SOUPS 164677 WITH SCORE 165690.032
AT ITER 8955 NEW BEST:: SOT 3015039 SOS 1013032 HAS SOPS 1000230 HAS SOUS 166672 HAS SOUPS 164674 WITH SCORE 165687.032
AT ITER 8991 NEW BEST:: SOT 3014933 SOS 1012902 HAS SOPS 1000100 HAS SOUS 166509 HAS SOUPS 164511 WITH SCORE 165523.902
AT ITER 8997 NEW BEST:: SOT 3020430 SOS 1018459 HAS SOPS 1005657 HAS SOUS 165596 HAS SOUPS 163598 WITH SCORE 164616.459
AT ITER 9002 NEW BEST:: SOT 3020427 SOS 1018456 HAS SOPS 1005654 HAS SOUS 165590 HAS SOUPS 163592 WITH SCORE 164610.456
AT ITER 9024 NEW BEST:: SOT 3020547 SOS 1018576 HAS SOPS 1005774 HAS SOUS 165589 HAS SOUPS 163591 WITH SCORE 164609.576
AT ITER 9079 NEW BEST:: SOT 3021135 SOS 1019204 HAS SOPS 1006402 HAS SOUS 164511 HAS SOUPS 162513 WITH SCORE 163532.204
AT ITER 9134 NEW BEST:: SOT 3021111 SOS 1019182 HAS SOPS 1006380 HAS SOUS 164475 HAS SOUPS 162477 WITH SCORE 163496.182
AT ITER 9187 NEW BEST:: SOT 3020984 SOS 1018739 HAS SOPS 1005937 HAS SOUS 164221 HAS SOUPS 162223 WITH SCORE 163241.739
AT ITER 9200 NEW BEST:: SOT 3020893 SOS 1018648 HAS SOPS 1005926 HAS SOUS 164008 HAS SOUPS 162010 WITH SCORE 163028.648
AT ITER 9222 NEW BEST:: SOT 3020889 SOS 1018326 HAS SOPS 1005604 HAS SOUS 163940 HAS SOUPS 161942 WITH SCORE 162960.326
AT ITER 9230 NEW BEST:: SOT 3020889 SOS 1018308 HAS SOPS 1005586 HAS SOUS 163922 HAS SOUPS 161924 WITH SCORE 162942.308
AT ITER 9245 NEW BEST:: SOT 3020859 SOS 1018284 HAS SOPS 1005562 HAS SOUS 163886 HAS SOUPS 161888 WITH SCORE 162906.284
AT ITER 9281 NEW BEST:: SOT 3020826 SOS 1018251 HAS SOPS 1005529 HAS SOUS 163832 HAS SOUPS 161834 WITH SCORE 162852.251
AT ITER 9323 NEW BEST:: SOT 3005793 SOS 1003171 HAS SOPS 990449 HAS SOUS 163410 HAS SOUPS 161412 WITH SCORE 162415.171
AT ITER 9334 NEW BEST:: SOT 3005761 SOS 1003077 HAS SOPS 990342 HAS SOUS 163334 HAS SOUPS 161336 WITH SCORE 162339.077
AT ITER 9342 NEW BEST:: SOT 3005764 SOS 1003080 HAS SOPS 990347 HAS SOUS 163332 HAS SOUPS 161334 WITH SCORE 162337.08
AT ITER 9347 NEW BEST:: SOT 3005764 SOS 1003085 HAS SOPS 990347 HAS SOUS 163327 HAS SOUPS 161329 WITH SCORE 162332.085
AT ITER 9364 NEW BEST:: SOT 3005731 SOS 1003152 HAS SOPS 990414 HAS SOUS 163253 HAS SOUPS 161255 WITH SCORE 162258.152
AT ITER 9377 NEW BEST:: SOT 3005710 SOS 1003068 HAS SOPS 990330 HAS SOUS 163253 HAS SOUPS 161255 WITH SCORE 162258.068
AT ITER 9409 NEW BEST:: SOT 3005721 SOS 1003111 HAS SOPS 990373 HAS SOUS 163028 HAS SOUPS 161030 WITH SCORE 162033.111
AT ITER 9431 NEW BEST:: SOT 3005731 SOS 999183 HAS SOPS 986445 HAS SOUS 162921 HAS SOUPS 160923 WITH SCORE 161922.183
AT ITER 9440 NEW BEST:: SOT 3005571 SOS 999023 HAS SOPS 986285 HAS SOUS 162715 HAS SOUPS 160717 WITH SCORE 161716.023
AT ITER 9473 NEW BEST:: SOT 3007934 SOS 1001428 HAS SOPS 988690 HAS SOUS 162408 HAS SOUPS 160410 WITH SCORE 161411.428
AT ITER 9503 NEW BEST:: SOT 3007739 SOS 1000563 HAS SOPS 987825 HAS SOUS 162402 HAS SOUPS 160404 WITH SCORE 161404.563
AT ITER 9533 NEW BEST:: SOT 3007783 SOS 1000561 HAS SOPS 987823 HAS SOUS 162351 HAS SOUPS 160353 WITH SCORE 161353.561
AT ITER 9541 NEW BEST:: SOT 3007783 SOS 1000548 HAS SOPS 987810 HAS SOUS 162351 HAS SOUPS 160353 WITH SCORE 161353.548
AT ITER 9556 NEW BEST:: SOT 3007881 SOS 1000534 HAS SOPS 987796 HAS SOUS 162240 HAS SOUPS 160242 WITH SCORE 161242.534
AT ITER 9602 NEW BEST:: SOT 3007881 SOS 1000501 HAS SOPS 987762 HAS SOUS 162231 HAS SOUPS 160233 WITH SCORE 161233.501
AT ITER 9629 NEW BEST:: SOT 3007707 SOS 1000327 HAS SOPS 987588 HAS SOUS 162069 HAS SOUPS 160071 WITH SCORE 161071.327
AT ITER 9649 NEW BEST:: SOT 3007704 SOS 1000313 HAS SOPS 987574 HAS SOUS 162032 HAS SOUPS 160034 WITH SCORE 161034.313
AT ITER 9652 NEW BEST:: SOT 3007623 SOS 987620 HAS SOPS 974881 HAS SOUS 161597 HAS SOUPS 159599 WITH SCORE 160586.62
AT ITER 9661 NEW BEST:: SOT 3007447 SOS 987478 HAS SOPS 974739 HAS SOUS 161421 HAS SOUPS 159423 WITH SCORE 160410.478
AT ITER 9684 NEW BEST:: SOT 3007357 SOS 987403 HAS SOPS 974664 HAS SOUS 161346 HAS SOUPS 159348 WITH SCORE 160335.403
AT ITER 9697 NEW BEST:: SOT 3007357 SOS 987401 HAS SOPS 974662 HAS SOUS 161346 HAS SOUPS 159348 WITH SCORE 160335.401
AT ITER 9702 NEW BEST:: SOT 2982582 SOS 962614 HAS SOPS 949875 HAS SOUS 158696 HAS SOUPS 156698 WITH SCORE 157660.614
AT ITER 9710 NEW BEST:: SOT 2982080 SOS 961506 HAS SOPS 948767 HAS SOUS 158443 HAS SOUPS 156445 WITH SCORE 157406.506
AT ITER 9738 NEW BEST:: SOT 2982081 SOS 958839 HAS SOPS 946100 HAS SOUS 158441 HAS SOUPS 156443 WITH SCORE 157401.839
AT ITER 9744 NEW BEST:: SOT 2981882 SOS 958218 HAS SOPS 945479 HAS SOUS 158407 HAS SOUPS 156409 WITH SCORE 157367.218
AT ITER 9755 NEW BEST:: SOT 2981949 SOS 958310 HAS SOPS 945571 HAS SOUS 158116 HAS SOUPS 156118 WITH SCORE 157076.31
AT ITER 9760 NEW BEST:: SOT 2981941 SOS 958199 HAS SOPS 945460 HAS SOUS 158116 HAS SOUPS 156118 WITH SCORE 157076.199
AT ITER 9816 NEW BEST:: SOT 2981932 SOS 958190 HAS SOPS 945451 HAS SOUS 158098 HAS SOUPS 156100 WITH SCORE 157058.19
AT ITER 9829 NEW BEST:: SOT 2981822 SOS 958069 HAS SOPS 945330 HAS SOUS 158058 HAS SOUPS 156060 WITH SCORE 157018.069
AT ITER 9832 NEW BEST:: SOT 2981740 SOS 957987 HAS SOPS 945248 HAS SOUS 157913 HAS SOUPS 155915 WITH SCORE 156872.987
AT ITER 9836 NEW BEST:: SOT 2981386 SOS 957719 HAS SOPS 944980 HAS SOUS 157435 HAS SOUPS 155437 WITH SCORE 156394.719
AT ITER 9856 NEW BEST:: SOT 2981375 SOS 957708 HAS SOPS 944969 HAS SOUS 157403 HAS SOUPS 155405 WITH SCORE 156362.708
AT ITER 9892 NEW BEST:: SOT 2981309 SOS 957652 HAS SOPS 944913 HAS SOUS 157331 HAS SOUPS 155333 WITH SCORE 156290.652
AT ITER 9916 NEW BEST:: SOT 2981315 SOS 957666 HAS SOPS 944927 HAS SOUS 157182 HAS SOUPS 155184 WITH SCORE 156141.666
AT ITER 9932 NEW BEST:: SOT 2981266 SOS 957731 HAS SOPS 944878 HAS SOUS 157117 HAS SOUPS 155100 WITH SCORE 156057.731
AT ITER 9961 NEW BEST:: SOT 2981256 SOS 957716 HAS SOPS 944863 HAS SOUS 157097 HAS SOUPS 155080 WITH SCORE 156037.716
AT ITER 9974 NEW BEST:: SOT 2981228 SOS 957684 HAS SOPS 944831 HAS SOUS 157069 HAS SOUPS 155052 WITH SCORE 156009.684
AT ITER 9975 NEW BEST:: SOT 2981202 SOS 957849 HAS SOPS 944996 HAS SOUS 157017 HAS SOUPS 155000 WITH SCORE 155957.849

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J06T06"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T06, 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 r123-tajo-158961354900544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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