Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200576.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 336K
-rw-r--r-- 1 mcc users 4.0K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 159K 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 1590869264744

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

Filename model.pnml
Petri model created: 638 places, 578 transitions, 1694 arcs.
AT ITER 0 NEW BEST:: SOT 234356 SOS 90427 HAS SOPS 90427 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86800.427
AT ITER 13 NEW BEST:: SOT 234356 SOS 90396 HAS SOPS 90396 HAS SOUS 86679 HAS SOUPS 86679 WITH SCORE 86769.396
AT ITER 32 NEW BEST:: SOT 234231 SOS 90220 HAS SOPS 90220 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86593.22
AT ITER 52 NEW BEST:: SOT 234045 SOS 90078 HAS SOPS 90078 HAS SOUS 86361 HAS SOUPS 86361 WITH SCORE 86451.078
AT ITER 63 NEW BEST:: SOT 230994 SOS 89126 HAS SOPS 89126 HAS SOUS 83804 HAS SOUPS 83804 WITH SCORE 83893.126
AT ITER 70 NEW BEST:: SOT 230994 SOS 89054 HAS SOPS 89054 HAS SOUS 83732 HAS SOUPS 83732 WITH SCORE 83821.054
AT ITER 76 NEW BEST:: SOT 230911 SOS 88956 HAS SOPS 88956 HAS SOUS 83634 HAS SOUPS 83634 WITH SCORE 83722.956
AT ITER 77 NEW BEST:: SOT 230878 SOS 88954 HAS SOPS 88954 HAS SOUS 83632 HAS SOUPS 83632 WITH SCORE 83720.954
AT ITER 78 NEW BEST:: SOT 230691 SOS 88835 HAS SOPS 88835 HAS SOUS 83513 HAS SOUPS 83513 WITH SCORE 83601.835
AT ITER 83 NEW BEST:: SOT 230776 SOS 88611 HAS SOPS 88611 HAS SOUS 83403 HAS SOUPS 83403 WITH SCORE 83491.611
AT ITER 99 NEW BEST:: SOT 230776 SOS 88594 HAS SOPS 88594 HAS SOUS 83386 HAS SOUPS 83386 WITH SCORE 83474.594
AT ITER 112 NEW BEST:: SOT 230776 SOS 88594 HAS SOPS 88594 HAS SOUS 83384 HAS SOUPS 83384 WITH SCORE 83472.594
AT ITER 117 NEW BEST:: SOT 230776 SOS 88558 HAS SOPS 88558 HAS SOUS 83348 HAS SOUPS 83348 WITH SCORE 83436.558
AT ITER 118 NEW BEST:: SOT 230775 SOS 88557 HAS SOPS 88557 HAS SOUS 83347 HAS SOUPS 83347 WITH SCORE 83435.557
AT ITER 125 NEW BEST:: SOT 230703 SOS 88564 HAS SOPS 88564 HAS SOUS 83340 HAS SOUPS 83340 WITH SCORE 83428.564
AT ITER 126 NEW BEST:: SOT 230703 SOS 88454 HAS SOPS 88454 HAS SOUS 83230 HAS SOUPS 83230 WITH SCORE 83318.454
AT ITER 168 NEW BEST:: SOT 230498 SOS 88156 HAS SOPS 88156 HAS SOUS 82953 HAS SOUPS 82953 WITH SCORE 83041.156
AT ITER 179 NEW BEST:: SOT 230487 SOS 88145 HAS SOPS 88145 HAS SOUS 82942 HAS SOUPS 82942 WITH SCORE 83030.145
AT ITER 180 NEW BEST:: SOT 230487 SOS 88144 HAS SOPS 88144 HAS SOUS 82940 HAS SOUPS 82940 WITH SCORE 83028.144
AT ITER 181 NEW BEST:: SOT 230332 SOS 87933 HAS SOPS 87933 HAS SOUS 82729 HAS SOUPS 82729 WITH SCORE 82816.933
AT ITER 189 NEW BEST:: SOT 230318 SOS 87919 HAS SOPS 87919 HAS SOUS 82715 HAS SOUPS 82715 WITH SCORE 82802.919
AT ITER 191 NEW BEST:: SOT 230243 SOS 87802 HAS SOPS 87802 HAS SOUS 82663 HAS SOUPS 82663 WITH SCORE 82750.802
AT ITER 198 NEW BEST:: SOT 230242 SOS 87589 HAS SOPS 87589 HAS SOUS 82450 HAS SOUPS 82450 WITH SCORE 82537.589
AT ITER 199 NEW BEST:: SOT 230242 SOS 87589 HAS SOPS 87589 HAS SOUS 82447 HAS SOUPS 82447 WITH SCORE 82534.589
AT ITER 200 NEW BEST:: SOT 230247 SOS 87509 HAS SOPS 87509 HAS SOUS 82366 HAS SOUPS 82366 WITH SCORE 82453.509
AT ITER 201 NEW BEST:: SOT 230247 SOS 87471 HAS SOPS 87471 HAS SOUS 82328 HAS SOUPS 82328 WITH SCORE 82415.471
AT ITER 208 NEW BEST:: SOT 230242 SOS 87461 HAS SOPS 87461 HAS SOUS 82318 HAS SOUPS 82318 WITH SCORE 82405.461
AT ITER 214 NEW BEST:: SOT 230193 SOS 87369 HAS SOPS 87369 HAS SOUS 82226 HAS SOUPS 82226 WITH SCORE 82313.369
AT ITER 217 NEW BEST:: SOT 230193 SOS 87332 HAS SOPS 87332 HAS SOUS 82129 HAS SOUPS 82129 WITH SCORE 82216.332
AT ITER 231 NEW BEST:: SOT 230175 SOS 87331 HAS SOPS 87331 HAS SOUS 82128 HAS SOUPS 82128 WITH SCORE 82215.331
AT ITER 235 NEW BEST:: SOT 230076 SOS 87211 HAS SOPS 87211 HAS SOUS 82008 HAS SOUPS 82008 WITH SCORE 82095.211
AT ITER 237 NEW BEST:: SOT 229931 SOS 87015 HAS SOPS 87015 HAS SOUS 81812 HAS SOUPS 81812 WITH SCORE 81899.015
AT ITER 240 NEW BEST:: SOT 229794 SOS 86846 HAS SOPS 86846 HAS SOUS 81643 HAS SOUPS 81643 WITH SCORE 81729.846
AT ITER 255 NEW BEST:: SOT 229668 SOS 86638 HAS SOPS 86638 HAS SOUS 81435 HAS SOUPS 81435 WITH SCORE 81521.638
AT ITER 257 NEW BEST:: SOT 229646 SOS 86616 HAS SOPS 86616 HAS SOUS 81413 HAS SOUPS 81413 WITH SCORE 81499.616
AT ITER 282 NEW BEST:: SOT 229707 SOS 86486 HAS SOPS 86486 HAS SOUS 81279 HAS SOUPS 81279 WITH SCORE 81365.486
AT ITER 283 NEW BEST:: SOT 229656 SOS 86384 HAS SOPS 86384 HAS SOUS 81177 HAS SOUPS 81177 WITH SCORE 81263.384
AT ITER 291 NEW BEST:: SOT 229578 SOS 86348 HAS SOPS 86348 HAS SOUS 81141 HAS SOUPS 81141 WITH SCORE 81227.348
AT ITER 303 NEW BEST:: SOT 229532 SOS 86256 HAS SOPS 86256 HAS SOUS 81095 HAS SOUPS 81095 WITH SCORE 81181.256
AT ITER 305 NEW BEST:: SOT 229537 SOS 86255 HAS SOPS 86255 HAS SOUS 81094 HAS SOUPS 81094 WITH SCORE 81180.255
AT ITER 315 NEW BEST:: SOT 229563 SOS 86130 HAS SOPS 86130 HAS SOUS 80969 HAS SOUPS 80969 WITH SCORE 81055.13
AT ITER 324 NEW BEST:: SOT 229562 SOS 86128 HAS SOPS 86128 HAS SOUS 80967 HAS SOUPS 80967 WITH SCORE 81053.128
AT ITER 328 NEW BEST:: SOT 229623 SOS 86188 HAS SOPS 86188 HAS SOUS 80965 HAS SOUPS 80965 WITH SCORE 81051.188
AT ITER 330 NEW BEST:: SOT 229570 SOS 86082 HAS SOPS 86082 HAS SOUS 80859 HAS SOUPS 80859 WITH SCORE 80945.082
AT ITER 332 NEW BEST:: SOT 229403 SOS 85815 HAS SOPS 85815 HAS SOUS 80592 HAS SOUPS 80592 WITH SCORE 80677.815
AT ITER 347 NEW BEST:: SOT 229385 SOS 85797 HAS SOPS 85797 HAS SOUS 80592 HAS SOUPS 80592 WITH SCORE 80677.797
AT ITER 348 NEW BEST:: SOT 229353 SOS 85701 HAS SOPS 85701 HAS SOUS 80528 HAS SOUPS 80528 WITH SCORE 80613.701
AT ITER 357 NEW BEST:: SOT 229353 SOS 85674 HAS SOPS 85674 HAS SOUS 80513 HAS SOUPS 80513 WITH SCORE 80598.674
AT ITER 359 NEW BEST:: SOT 229207 SOS 85628 HAS SOPS 85628 HAS SOUS 80413 HAS SOUPS 80413 WITH SCORE 80498.628
AT ITER 366 NEW BEST:: SOT 228828 SOS 85096 HAS SOPS 85096 HAS SOUS 79881 HAS SOUPS 79881 WITH SCORE 79966.096
AT ITER 367 NEW BEST:: SOT 228828 SOS 85071 HAS SOPS 85071 HAS SOUS 79856 HAS SOUPS 79856 WITH SCORE 79941.071
AT ITER 380 NEW BEST:: SOT 228824 SOS 85063 HAS SOPS 85063 HAS SOUS 79848 HAS SOUPS 79848 WITH SCORE 79933.063
AT ITER 397 NEW BEST:: SOT 228824 SOS 85052 HAS SOPS 85052 HAS SOUS 79837 HAS SOUPS 79837 WITH SCORE 79922.052
AT ITER 398 NEW BEST:: SOT 228824 SOS 85033 HAS SOPS 85033 HAS SOUS 79818 HAS SOUPS 79818 WITH SCORE 79903.033
AT ITER 401 NEW BEST:: SOT 228824 SOS 84925 HAS SOPS 84925 HAS SOUS 79803 HAS SOUPS 79803 WITH SCORE 79887.925
AT ITER 407 NEW BEST:: SOT 228922 SOS 84942 HAS SOPS 84942 HAS SOUS 79782 HAS SOUPS 79782 WITH SCORE 79866.942
AT ITER 417 NEW BEST:: SOT 228877 SOS 84853 HAS SOPS 84853 HAS SOUS 79694 HAS SOUPS 79694 WITH SCORE 79778.853
AT ITER 421 NEW BEST:: SOT 228828 SOS 84765 HAS SOPS 84765 HAS SOUS 79606 HAS SOUPS 79606 WITH SCORE 79690.765
AT ITER 422 NEW BEST:: SOT 228828 SOS 84717 HAS SOPS 84717 HAS SOUS 79606 HAS SOUPS 79606 WITH SCORE 79690.717
AT ITER 426 NEW BEST:: SOT 228729 SOS 84624 HAS SOPS 84624 HAS SOUS 79512 HAS SOUPS 79512 WITH SCORE 79596.624
AT ITER 432 NEW BEST:: SOT 228665 SOS 84559 HAS SOPS 84559 HAS SOUS 79511 HAS SOUPS 79511 WITH SCORE 79595.559
AT ITER 448 NEW BEST:: SOT 228669 SOS 84546 HAS SOPS 84546 HAS SOUS 79498 HAS SOUPS 79498 WITH SCORE 79582.546
AT ITER 455 NEW BEST:: SOT 228771 SOS 84545 HAS SOPS 84545 HAS SOUS 79497 HAS SOUPS 79497 WITH SCORE 79581.545
AT ITER 464 NEW BEST:: SOT 228678 SOS 84628 HAS SOPS 84628 HAS SOUS 79434 HAS SOUPS 79434 WITH SCORE 79518.628
AT ITER 475 NEW BEST:: SOT 228678 SOS 84449 HAS SOPS 84449 HAS SOUS 79255 HAS SOUPS 79255 WITH SCORE 79339.449
AT ITER 476 NEW BEST:: SOT 228678 SOS 84442 HAS SOPS 84442 HAS SOUS 79245 HAS SOUPS 79245 WITH SCORE 79329.442
AT ITER 487 NEW BEST:: SOT 228718 SOS 84336 HAS SOPS 84336 HAS SOUS 79139 HAS SOUPS 79139 WITH SCORE 79223.336
AT ITER 490 NEW BEST:: SOT 228589 SOS 84254 HAS SOPS 84254 HAS SOUS 79120 HAS SOUPS 79120 WITH SCORE 79204.254
AT ITER 491 NEW BEST:: SOT 228589 SOS 84184 HAS SOPS 84184 HAS SOUS 79050 HAS SOUPS 79050 WITH SCORE 79134.184
AT ITER 500 NEW BEST:: SOT 228589 SOS 83994 HAS SOPS 83994 HAS SOUS 78980 HAS SOUPS 78980 WITH SCORE 79063.994
AT ITER 516 NEW BEST:: SOT 228390 SOS 83864 HAS SOPS 83864 HAS SOUS 78850 HAS SOUPS 78850 WITH SCORE 78933.864
AT ITER 521 NEW BEST:: SOT 228414 SOS 83493 HAS SOPS 83493 HAS SOUS 78675 HAS SOUPS 78675 WITH SCORE 78758.493
AT ITER 533 NEW BEST:: SOT 228406 SOS 83469 HAS SOPS 83469 HAS SOUS 78651 HAS SOUPS 78651 WITH SCORE 78734.469
AT ITER 540 NEW BEST:: SOT 228212 SOS 83183 HAS SOPS 83183 HAS SOUS 78365 HAS SOUPS 78365 WITH SCORE 78448.183
AT ITER 559 NEW BEST:: SOT 228235 SOS 83169 HAS SOPS 83169 HAS SOUS 78351 HAS SOUPS 78351 WITH SCORE 78434.169
AT ITER 572 NEW BEST:: SOT 227900 SOS 82933 HAS SOPS 82933 HAS SOUS 78087 HAS SOUPS 78087 WITH SCORE 78169.933
AT ITER 583 NEW BEST:: SOT 227877 SOS 82911 HAS SOPS 82911 HAS SOUS 78065 HAS SOUPS 78065 WITH SCORE 78147.911
AT ITER 586 NEW BEST:: SOT 227925 SOS 82765 HAS SOPS 82765 HAS SOUS 77725 HAS SOUPS 77725 WITH SCORE 77807.765
AT ITER 601 NEW BEST:: SOT 227925 SOS 82765 HAS SOPS 82765 HAS SOUS 77557 HAS SOUPS 77557 WITH SCORE 77639.765
AT ITER 605 NEW BEST:: SOT 227821 SOS 82609 HAS SOPS 82609 HAS SOUS 77401 HAS SOUPS 77401 WITH SCORE 77483.609
AT ITER 625 NEW BEST:: SOT 227821 SOS 82377 HAS SOPS 82377 HAS SOUS 77377 HAS SOUPS 77377 WITH SCORE 77459.377
AT ITER 629 NEW BEST:: SOT 227633 SOS 82201 HAS SOPS 82201 HAS SOUS 77201 HAS SOUPS 77201 WITH SCORE 77283.201
AT ITER 631 NEW BEST:: SOT 227633 SOS 82074 HAS SOPS 82074 HAS SOUS 77074 HAS SOUPS 77074 WITH SCORE 77156.074
AT ITER 658 NEW BEST:: SOT 227577 SOS 81906 HAS SOPS 81906 HAS SOUS 76906 HAS SOUPS 76906 WITH SCORE 76987.906
AT ITER 665 NEW BEST:: SOT 227646 SOS 81873 HAS SOPS 81873 HAS SOUS 76873 HAS SOUPS 76873 WITH SCORE 76954.873
AT ITER 670 NEW BEST:: SOT 226337 SOS 80554 HAS SOPS 80554 HAS SOUS 75554 HAS SOUPS 75554 WITH SCORE 75634.554
AT ITER 676 NEW BEST:: SOT 226267 SOS 80417 HAS SOPS 80417 HAS SOUS 75417 HAS SOUPS 75417 WITH SCORE 75497.417
AT ITER 686 NEW BEST:: SOT 226265 SOS 80464 HAS SOPS 80464 HAS SOUS 75415 HAS SOUPS 75415 WITH SCORE 75495.464
AT ITER 694 NEW BEST:: SOT 226257 SOS 80448 HAS SOPS 80448 HAS SOUS 75399 HAS SOUPS 75399 WITH SCORE 75479.448
AT ITER 718 NEW BEST:: SOT 226256 SOS 80446 HAS SOPS 80446 HAS SOUS 75397 HAS SOUPS 75397 WITH SCORE 75477.446
AT ITER 720 NEW BEST:: SOT 226256 SOS 80374 HAS SOPS 80374 HAS SOUS 75325 HAS SOUPS 75325 WITH SCORE 75405.374
AT ITER 723 NEW BEST:: SOT 226256 SOS 80357 HAS SOPS 80357 HAS SOUS 75308 HAS SOUPS 75308 WITH SCORE 75388.357
AT ITER 728 NEW BEST:: SOT 226184 SOS 80357 HAS SOPS 80357 HAS SOUS 75307 HAS SOUPS 75307 WITH SCORE 75387.357
AT ITER 729 NEW BEST:: SOT 225978 SOS 80076 HAS SOPS 80076 HAS SOUS 75026 HAS SOUPS 75026 WITH SCORE 75106.076
AT ITER 731 NEW BEST:: SOT 225978 SOS 80051 HAS SOPS 80051 HAS SOUS 75001 HAS SOUPS 75001 WITH SCORE 75081.051
AT ITER 735 NEW BEST:: SOT 225977 SOS 80049 HAS SOPS 80049 HAS SOUS 74999 HAS SOUPS 74999 WITH SCORE 75079.049
AT ITER 736 NEW BEST:: SOT 225977 SOS 79901 HAS SOPS 79901 HAS SOUS 74851 HAS SOUPS 74851 WITH SCORE 74930.901
AT ITER 738 NEW BEST:: SOT 225976 SOS 79899 HAS SOPS 79899 HAS SOUS 74849 HAS SOUPS 74849 WITH SCORE 74928.899
AT ITER 740 NEW BEST:: SOT 225915 SOS 79837 HAS SOPS 79837 HAS SOUS 74787 HAS SOUPS 74787 WITH SCORE 74866.837
AT ITER 746 NEW BEST:: SOT 225577 SOS 79423 HAS SOPS 79423 HAS SOUS 74373 HAS SOUPS 74373 WITH SCORE 74452.423
AT ITER 753 NEW BEST:: SOT 219481 SOS 95178 HAS SOPS 95178 HAS SOUS 69217 HAS SOUPS 69217 WITH SCORE 69312.178
AT ITER 756 NEW BEST:: SOT 219480 SOS 95176 HAS SOPS 95176 HAS SOUS 69215 HAS SOUPS 69215 WITH SCORE 69310.176
AT ITER 765 NEW BEST:: SOT 219480 SOS 95119 HAS SOPS 95119 HAS SOUS 69205 HAS SOUPS 69205 WITH SCORE 69300.119
AT ITER 769 NEW BEST:: SOT 219356 SOS 94871 HAS SOPS 94871 HAS SOUS 69081 HAS SOUPS 69081 WITH SCORE 69175.871
AT ITER 786 NEW BEST:: SOT 219355 SOS 94869 HAS SOPS 94869 HAS SOUS 69079 HAS SOUPS 69079 WITH SCORE 69173.869
AT ITER 789 NEW BEST:: SOT 219350 SOS 94864 HAS SOPS 94864 HAS SOUS 69074 HAS SOUPS 69074 WITH SCORE 69168.864
AT ITER 795 NEW BEST:: SOT 219319 SOS 94929 HAS SOPS 94929 HAS SOUS 69064 HAS SOUPS 69064 WITH SCORE 69158.929
AT ITER 797 NEW BEST:: SOT 219275 SOS 94747 HAS SOPS 94747 HAS SOUS 69023 HAS SOUPS 69023 WITH SCORE 69117.747
AT ITER 799 NEW BEST:: SOT 219248 SOS 94691 HAS SOPS 94691 HAS SOUS 68967 HAS SOUPS 68967 WITH SCORE 69061.691
AT ITER 802 NEW BEST:: SOT 219248 SOS 94635 HAS SOPS 94635 HAS SOUS 68911 HAS SOUPS 68911 WITH SCORE 69005.635
AT ITER 827 NEW BEST:: SOT 219231 SOS 94618 HAS SOPS 94618 HAS SOUS 68911 HAS SOUPS 68911 WITH SCORE 69005.618
AT ITER 829 NEW BEST:: SOT 219036 SOS 94396 HAS SOPS 94396 HAS SOUS 68878 HAS SOUPS 68878 WITH SCORE 68972.396
AT ITER 832 NEW BEST:: SOT 218951 SOS 94482 HAS SOPS 94482 HAS SOUS 68827 HAS SOUPS 68827 WITH SCORE 68921.482
AT ITER 833 NEW BEST:: SOT 218892 SOS 94375 HAS SOPS 94375 HAS SOUS 68792 HAS SOUPS 68792 WITH SCORE 68886.375
AT ITER 834 NEW BEST:: SOT 218658 SOS 93861 HAS SOPS 93861 HAS SOUS 68574 HAS SOUPS 68574 WITH SCORE 68667.861
AT ITER 840 NEW BEST:: SOT 218692 SOS 93895 HAS SOPS 93895 HAS SOUS 68550 HAS SOUPS 68550 WITH SCORE 68643.895
AT ITER 844 NEW BEST:: SOT 218692 SOS 93934 HAS SOPS 93934 HAS SOUS 68548 HAS SOUPS 68548 WITH SCORE 68641.934
AT ITER 846 NEW BEST:: SOT 218556 SOS 93775 HAS SOPS 93775 HAS SOUS 68502 HAS SOUPS 68502 WITH SCORE 68595.775
AT ITER 853 NEW BEST:: SOT 218554 SOS 93773 HAS SOPS 93773 HAS SOUS 68498 HAS SOUPS 68498 WITH SCORE 68591.773
AT ITER 854 NEW BEST:: SOT 218490 SOS 88989 HAS SOPS 88989 HAS SOUS 68428 HAS SOUPS 68428 WITH SCORE 68516.989
AT ITER 858 NEW BEST:: SOT 218392 SOS 88790 HAS SOPS 88790 HAS SOUS 68305 HAS SOUPS 68305 WITH SCORE 68393.79
AT ITER 862 NEW BEST:: SOT 218224 SOS 88630 HAS SOPS 88630 HAS SOUS 68145 HAS SOUPS 68145 WITH SCORE 68233.63
AT ITER 866 NEW BEST:: SOT 218256 SOS 88689 HAS SOPS 88689 HAS SOUS 68119 HAS SOUPS 68119 WITH SCORE 68207.689
AT ITER 881 NEW BEST:: SOT 218340 SOS 88942 HAS SOPS 88942 HAS SOUS 68079 HAS SOUPS 68079 WITH SCORE 68167.942
AT ITER 887 NEW BEST:: SOT 218325 SOS 88912 HAS SOPS 88912 HAS SOUS 68049 HAS SOUPS 68049 WITH SCORE 68137.912
AT ITER 890 NEW BEST:: SOT 218332 SOS 88874 HAS SOPS 88874 HAS SOUS 68011 HAS SOUPS 68011 WITH SCORE 68099.874
AT ITER 907 NEW BEST:: SOT 218171 SOS 88552 HAS SOPS 88552 HAS SOUS 67826 HAS SOUPS 67826 WITH SCORE 67914.552
AT ITER 920 NEW BEST:: SOT 218111 SOS 88462 HAS SOPS 88462 HAS SOUS 67766 HAS SOUPS 67766 WITH SCORE 67854.462
AT ITER 921 NEW BEST:: SOT 217907 SOS 88235 HAS SOPS 88235 HAS SOUS 67726 HAS SOUPS 67726 WITH SCORE 67814.235
AT ITER 924 NEW BEST:: SOT 217836 SOS 88129 HAS SOPS 88129 HAS SOUS 67620 HAS SOUPS 67620 WITH SCORE 67708.129
AT ITER 926 NEW BEST:: SOT 217788 SOS 88081 HAS SOPS 88081 HAS SOUS 67572 HAS SOUPS 67572 WITH SCORE 67660.081
AT ITER 945 NEW BEST:: SOT 217633 SOS 87855 HAS SOPS 87855 HAS SOUS 67529 HAS SOUPS 67529 WITH SCORE 67616.855
AT ITER 950 NEW BEST:: SOT 217877 SOS 87810 HAS SOPS 87810 HAS SOUS 67484 HAS SOUPS 67484 WITH SCORE 67571.81
AT ITER 955 NEW BEST:: SOT 217876 SOS 87808 HAS SOPS 87808 HAS SOUS 67482 HAS SOUPS 67482 WITH SCORE 67569.808
AT ITER 960 NEW BEST:: SOT 217856 SOS 87788 HAS SOPS 87788 HAS SOUS 67474 HAS SOUPS 67474 WITH SCORE 67561.788
AT ITER 966 NEW BEST:: SOT 217856 SOS 87776 HAS SOPS 87776 HAS SOUS 67471 HAS SOUPS 67471 WITH SCORE 67558.776
AT ITER 976 NEW BEST:: SOT 217851 SOS 87771 HAS SOPS 87771 HAS SOUS 67466 HAS SOUPS 67466 WITH SCORE 67553.771
AT ITER 978 NEW BEST:: SOT 217851 SOS 87769 HAS SOPS 87769 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67551.769
AT ITER 1006 NEW BEST:: SOT 217732 SOS 87771 HAS SOPS 87771 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67549.771
AT ITER 1010 NEW BEST:: SOT 217545 SOS 87426 HAS SOPS 87426 HAS SOUS 67220 HAS SOUPS 67220 WITH SCORE 67307.426
AT ITER 1014 NEW BEST:: SOT 217608 SOS 87360 HAS SOPS 87360 HAS SOUS 67036 HAS SOUPS 67036 WITH SCORE 67123.36
AT ITER 1020 NEW BEST:: SOT 217488 SOS 87240 HAS SOPS 87240 HAS SOUS 66916 HAS SOUPS 66916 WITH SCORE 67003.24
AT ITER 1041 NEW BEST:: SOT 217572 SOS 87234 HAS SOPS 87234 HAS SOUS 66780 HAS SOUPS 66780 WITH SCORE 66867.234
AT ITER 1042 NEW BEST:: SOT 217542 SOS 87204 HAS SOPS 87204 HAS SOUS 66780 HAS SOUPS 66780 WITH SCORE 66867.204
AT ITER 1045 NEW BEST:: SOT 217351 SOS 86923 HAS SOPS 86923 HAS SOUS 66543 HAS SOUPS 66543 WITH SCORE 66629.923
AT ITER 1046 NEW BEST:: SOT 217298 SOS 86856 HAS SOPS 86856 HAS SOUS 66515 HAS SOUPS 66515 WITH SCORE 66601.856
AT ITER 1050 NEW BEST:: SOT 217265 SOS 86759 HAS SOPS 86759 HAS SOUS 66450 HAS SOUPS 66450 WITH SCORE 66536.759
AT ITER 1059 NEW BEST:: SOT 217253 SOS 86735 HAS SOPS 86735 HAS SOUS 66426 HAS SOUPS 66426 WITH SCORE 66512.735
AT ITER 1062 NEW BEST:: SOT 217249 SOS 86727 HAS SOPS 86727 HAS SOUS 66380 HAS SOUPS 66380 WITH SCORE 66466.727
AT ITER 1064 NEW BEST:: SOT 217158 SOS 86635 HAS SOPS 86635 HAS SOUS 66288 HAS SOUPS 66288 WITH SCORE 66374.635
AT ITER 1067 NEW BEST:: SOT 217149 SOS 87144 HAS SOPS 87144 HAS SOUS 66279 HAS SOUPS 66279 WITH SCORE 66366.144
AT ITER 1069 NEW BEST:: SOT 217056 SOS 87001 HAS SOPS 87001 HAS SOUS 66193 HAS SOUPS 66193 WITH SCORE 66280.001
AT ITER 1071 NEW BEST:: SOT 216979 SOS 86808 HAS SOPS 86808 HAS SOUS 66132 HAS SOUPS 66132 WITH SCORE 66218.808
AT ITER 1094 NEW BEST:: SOT 216956 SOS 86791 HAS SOPS 86791 HAS SOUS 66115 HAS SOUPS 66115 WITH SCORE 66201.791
AT ITER 1098 NEW BEST:: SOT 216609 SOS 86966 HAS SOPS 86966 HAS SOUS 65819 HAS SOUPS 65819 WITH SCORE 65905.966
AT ITER 1102 NEW BEST:: SOT 216670 SOS 87027 HAS SOPS 87027 HAS SOUS 65791 HAS SOUPS 65791 WITH SCORE 65878.027
AT ITER 1103 NEW BEST:: SOT 216684 SOS 87011 HAS SOPS 87011 HAS SOUS 65775 HAS SOUPS 65775 WITH SCORE 65862.011
AT ITER 1104 NEW BEST:: SOT 216684 SOS 87011 HAS SOPS 87011 HAS SOUS 65733 HAS SOUPS 65733 WITH SCORE 65820.011
AT ITER 1110 NEW BEST:: SOT 216650 SOS 86977 HAS SOPS 86977 HAS SOUS 65699 HAS SOUPS 65699 WITH SCORE 65785.977
AT ITER 1111 NEW BEST:: SOT 216638 SOS 86965 HAS SOPS 86965 HAS SOUS 65687 HAS SOUPS 65687 WITH SCORE 65773.965
AT ITER 1115 NEW BEST:: SOT 216575 SOS 86839 HAS SOPS 86839 HAS SOUS 65561 HAS SOUPS 65561 WITH SCORE 65647.839
AT ITER 1116 NEW BEST:: SOT 216574 SOS 86837 HAS SOPS 86837 HAS SOUS 65559 HAS SOUPS 65559 WITH SCORE 65645.837
AT ITER 1118 NEW BEST:: SOT 216574 SOS 86759 HAS SOPS 86759 HAS SOUS 65481 HAS SOUPS 65481 WITH SCORE 65567.759
AT ITER 1139 NEW BEST:: SOT 216478 SOS 86615 HAS SOPS 86615 HAS SOUS 65337 HAS SOUPS 65337 WITH SCORE 65423.615
AT ITER 1144 NEW BEST:: SOT 216540 SOS 86556 HAS SOPS 86556 HAS SOUS 65278 HAS SOUPS 65278 WITH SCORE 65364.556
AT ITER 1146 NEW BEST:: SOT 216543 SOS 86562 HAS SOPS 86562 HAS SOUS 65264 HAS SOUPS 65264 WITH SCORE 65350.562
AT ITER 1158 NEW BEST:: SOT 216643 SOS 86511 HAS SOPS 86511 HAS SOUS 65213 HAS SOUPS 65213 WITH SCORE 65299.511
AT ITER 1160 NEW BEST:: SOT 216645 SOS 86451 HAS SOPS 86451 HAS SOUS 65187 HAS SOUPS 65187 WITH SCORE 65273.451
AT ITER 1168 NEW BEST:: SOT 216696 SOS 86443 HAS SOPS 86443 HAS SOUS 65179 HAS SOUPS 65179 WITH SCORE 65265.443
AT ITER 1188 NEW BEST:: SOT 216889 SOS 86636 HAS SOPS 86636 HAS SOUS 65178 HAS SOUPS 65178 WITH SCORE 65264.636
AT ITER 1192 NEW BEST:: SOT 216888 SOS 86634 HAS SOPS 86634 HAS SOUS 65176 HAS SOUPS 65176 WITH SCORE 65262.634
AT ITER 1204 NEW BEST:: SOT 216850 SOS 86558 HAS SOPS 86558 HAS SOUS 65100 HAS SOUPS 65100 WITH SCORE 65186.558
AT ITER 1207 NEW BEST:: SOT 216242 SOS 85947 HAS SOPS 85947 HAS SOUS 64489 HAS SOUPS 64489 WITH SCORE 64574.947
AT ITER 1210 NEW BEST:: SOT 216187 SOS 85919 HAS SOPS 85919 HAS SOUS 64461 HAS SOUPS 64461 WITH SCORE 64546.919
AT ITER 1215 NEW BEST:: SOT 216187 SOS 85919 HAS SOPS 85919 HAS SOUS 64457 HAS SOUPS 64457 WITH SCORE 64542.919
AT ITER 1218 NEW BEST:: SOT 215999 SOS 85687 HAS SOPS 85687 HAS SOUS 64369 HAS SOUPS 64369 WITH SCORE 64454.687
AT ITER 1220 NEW BEST:: SOT 215741 SOS 85171 HAS SOPS 85171 HAS SOUS 64038 HAS SOUPS 64038 WITH SCORE 64123.171
AT ITER 1224 NEW BEST:: SOT 215730 SOS 85149 HAS SOPS 85149 HAS SOUS 64016 HAS SOUPS 64016 WITH SCORE 64101.149
AT ITER 1237 NEW BEST:: SOT 215722 SOS 85141 HAS SOPS 85141 HAS SOUS 64008 HAS SOUPS 64008 WITH SCORE 64093.141
AT ITER 1244 NEW BEST:: SOT 215692 SOS 85096 HAS SOPS 85096 HAS SOUS 63978 HAS SOUPS 63978 WITH SCORE 64063.096
AT ITER 1249 NEW BEST:: SOT 215571 SOS 85035 HAS SOPS 85035 HAS SOUS 63917 HAS SOUPS 63917 WITH SCORE 64002.035
AT ITER 1264 NEW BEST:: SOT 215521 SOS 85048 HAS SOPS 85048 HAS SOUS 63846 HAS SOUPS 63846 WITH SCORE 63931.048
AT ITER 1271 NEW BEST:: SOT 215514 SOS 85034 HAS SOPS 85034 HAS SOUS 63832 HAS SOUPS 63832 WITH SCORE 63917.034
AT ITER 1289 NEW BEST:: SOT 215466 SOS 84921 HAS SOPS 84921 HAS SOUS 63719 HAS SOUPS 63719 WITH SCORE 63803.921
AT ITER 1296 NEW BEST:: SOT 215463 SOS 84918 HAS SOPS 84918 HAS SOUS 63716 HAS SOUPS 63716 WITH SCORE 63800.918
AT ITER 1297 NEW BEST:: SOT 215463 SOS 84831 HAS SOPS 84831 HAS SOUS 63629 HAS SOUPS 63629 WITH SCORE 63713.831
AT ITER 1323 NEW BEST:: SOT 215463 SOS 84831 HAS SOPS 84831 HAS SOUS 63607 HAS SOUPS 63607 WITH SCORE 63691.831
AT ITER 1325 NEW BEST:: SOT 215318 SOS 84688 HAS SOPS 84688 HAS SOUS 63464 HAS SOUPS 63464 WITH SCORE 63548.688
AT ITER 1332 NEW BEST:: SOT 215178 SOS 84288 HAS SOPS 84288 HAS SOUS 63064 HAS SOUPS 63064 WITH SCORE 63148.288
AT ITER 1339 NEW BEST:: SOT 215162 SOS 84280 HAS SOPS 84280 HAS SOUS 63056 HAS SOUPS 63056 WITH SCORE 63140.28
AT ITER 1354 NEW BEST:: SOT 215090 SOS 84177 HAS SOPS 84177 HAS SOUS 62953 HAS SOUPS 62953 WITH SCORE 63037.177
AT ITER 1357 NEW BEST:: SOT 214970 SOS 84057 HAS SOPS 84057 HAS SOUS 62833 HAS SOUPS 62833 WITH SCORE 62917.057
AT ITER 1364 NEW BEST:: SOT 214845 SOS 83807 HAS SOPS 83807 HAS SOUS 62583 HAS SOUPS 62583 WITH SCORE 62666.807
AT ITER 1365 NEW BEST:: SOT 214762 SOS 83724 HAS SOPS 83724 HAS SOUS 62500 HAS SOUPS 62500 WITH SCORE 62583.724
AT ITER 1368 NEW BEST:: SOT 214578 SOS 83540 HAS SOPS 83540 HAS SOUS 62316 HAS SOUPS 62316 WITH SCORE 62399.54
AT ITER 1373 NEW BEST:: SOT 214578 SOS 83575 HAS SOPS 83575 HAS SOUS 62310 HAS SOUPS 62310 WITH SCORE 62393.575
AT ITER 1375 NEW BEST:: SOT 214611 SOS 83530 HAS SOPS 83530 HAS SOUS 62265 HAS SOUPS 62265 WITH SCORE 62348.53
AT ITER 1377 NEW BEST:: SOT 212045 SOS 81040 HAS SOPS 81040 HAS SOUS 59884 HAS SOUPS 59884 WITH SCORE 59965.04
AT ITER 1379 NEW BEST:: SOT 211780 SOS 80780 HAS SOPS 80780 HAS SOUS 59624 HAS SOUPS 59624 WITH SCORE 59704.78
AT ITER 1382 NEW BEST:: SOT 211780 SOS 80708 HAS SOPS 80708 HAS SOUS 59552 HAS SOUPS 59552 WITH SCORE 59632.708
AT ITER 1416 NEW BEST:: SOT 211688 SOS 81755 HAS SOPS 81755 HAS SOUS 59337 HAS SOUPS 59337 WITH SCORE 59418.755
AT ITER 1417 NEW BEST:: SOT 211688 SOS 81755 HAS SOPS 81755 HAS SOUS 59336 HAS SOUPS 59336 WITH SCORE 59417.755
AT ITER 1422 NEW BEST:: SOT 211630 SOS 81634 HAS SOPS 81634 HAS SOUS 59317 HAS SOUPS 59317 WITH SCORE 59398.634
AT ITER 1444 NEW BEST:: SOT 211602 SOS 81578 HAS SOPS 81578 HAS SOUS 59289 HAS SOUPS 59289 WITH SCORE 59370.578
AT ITER 1463 NEW BEST:: SOT 211495 SOS 81553 HAS SOPS 81553 HAS SOUS 59264 HAS SOUPS 59264 WITH SCORE 59345.553
AT ITER 1467 NEW BEST:: SOT 211594 SOS 81532 HAS SOPS 81532 HAS SOUS 59193 HAS SOUPS 59193 WITH SCORE 59274.532
AT ITER 1468 NEW BEST:: SOT 211562 SOS 81468 HAS SOPS 81468 HAS SOUS 59143 HAS SOUPS 59143 WITH SCORE 59224.468
AT ITER 1469 NEW BEST:: SOT 211562 SOS 81468 HAS SOPS 81468 HAS SOUS 59076 HAS SOUPS 59076 WITH SCORE 59157.468
AT ITER 1487 NEW BEST:: SOT 211562 SOS 81468 HAS SOPS 81468 HAS SOUS 58975 HAS SOUPS 58975 WITH SCORE 59056.468
AT ITER 1494 NEW BEST:: SOT 211564 SOS 81464 HAS SOPS 81464 HAS SOUS 58932 HAS SOUPS 58932 WITH SCORE 59013.464
AT ITER 1498 NEW BEST:: SOT 211532 SOS 80920 HAS SOPS 80920 HAS SOUS 58868 HAS SOUPS 58868 WITH SCORE 58948.92
AT ITER 1501 NEW BEST:: SOT 211395 SOS 81096 HAS SOPS 81096 HAS SOUS 58775 HAS SOUPS 58775 WITH SCORE 58856.096
AT ITER 1507 NEW BEST:: SOT 211370 SOS 81084 HAS SOPS 81084 HAS SOUS 58763 HAS SOUPS 58763 WITH SCORE 58844.084
AT ITER 1511 NEW BEST:: SOT 211276 SOS 80875 HAS SOPS 80875 HAS SOUS 58554 HAS SOUPS 58554 WITH SCORE 58634.875
AT ITER 1521 NEW BEST:: SOT 211254 SOS 80853 HAS SOPS 80853 HAS SOUS 58532 HAS SOUPS 58532 WITH SCORE 58612.853
AT ITER 1539 NEW BEST:: SOT 211250 SOS 80845 HAS SOPS 80845 HAS SOUS 58524 HAS SOUPS 58524 WITH SCORE 58604.845
AT ITER 1559 NEW BEST:: SOT 211174 SOS 80731 HAS SOPS 80731 HAS SOUS 58410 HAS SOUPS 58410 WITH SCORE 58490.731
AT ITER 1560 NEW BEST:: SOT 211149 SOS 80706 HAS SOPS 80706 HAS SOUS 58385 HAS SOUPS 58385 WITH SCORE 58465.706
AT ITER 1562 NEW BEST:: SOT 210995 SOS 80552 HAS SOPS 80552 HAS SOUS 58385 HAS SOUPS 58385 WITH SCORE 58465.552
AT ITER 1567 NEW BEST:: SOT 210976 SOS 80533 HAS SOPS 80533 HAS SOUS 58385 HAS SOUPS 58385 WITH SCORE 58465.533
AT ITER 1569 NEW BEST:: SOT 210920 SOS 80419 HAS SOPS 80419 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58351.419
AT ITER 1584 NEW BEST:: SOT 210938 SOS 80343 HAS SOPS 80343 HAS SOUS 58195 HAS SOUPS 58195 WITH SCORE 58275.343
AT ITER 1600 NEW BEST:: SOT 210938 SOS 80339 HAS SOPS 80339 HAS SOUS 58191 HAS SOUPS 58191 WITH SCORE 58271.339
AT ITER 1606 NEW BEST:: SOT 210696 SOS 80012 HAS SOPS 80012 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58057.012
AT ITER 1627 NEW BEST:: SOT 210696 SOS 79862 HAS SOPS 79862 HAS SOUS 57977 HAS SOUPS 57977 WITH SCORE 58056.862
AT ITER 1647 NEW BEST:: SOT 210543 SOS 79653 HAS SOPS 79653 HAS SOUS 57963 HAS SOUPS 57963 WITH SCORE 58042.653
AT ITER 1658 NEW BEST:: SOT 210552 SOS 79662 HAS SOPS 79662 HAS SOUS 57915 HAS SOUPS 57915 WITH SCORE 57994.662
AT ITER 1659 NEW BEST:: SOT 210675 SOS 79657 HAS SOPS 79657 HAS SOUS 57911 HAS SOUPS 57911 WITH SCORE 57990.657
AT ITER 1668 NEW BEST:: SOT 210758 SOS 79816 HAS SOPS 79816 HAS SOUS 57865 HAS SOUPS 57865 WITH SCORE 57944.816
AT ITER 1678 NEW BEST:: SOT 210754 SOS 79812 HAS SOPS 79812 HAS SOUS 57861 HAS SOUPS 57861 WITH SCORE 57940.812
AT ITER 1681 NEW BEST:: SOT 210699 SOS 79702 HAS SOPS 79702 HAS SOUS 57820 HAS SOUPS 57820 WITH SCORE 57899.702
AT ITER 1685 NEW BEST:: SOT 210696 SOS 79696 HAS SOPS 79696 HAS SOUS 57814 HAS SOUPS 57814 WITH SCORE 57893.696
AT ITER 1686 NEW BEST:: SOT 210965 SOS 79906 HAS SOPS 79906 HAS SOUS 57808 HAS SOUPS 57808 WITH SCORE 57887.906
AT ITER 1700 NEW BEST:: SOT 210796 SOS 79577 HAS SOPS 79577 HAS SOUS 57479 HAS SOUPS 57479 WITH SCORE 57558.577
AT ITER 1710 NEW BEST:: SOT 210523 SOS 79304 HAS SOPS 79304 HAS SOUS 57333 HAS SOUPS 57333 WITH SCORE 57412.304
AT ITER 1720 NEW BEST:: SOT 210523 SOS 79286 HAS SOPS 79286 HAS SOUS 57332 HAS SOUPS 57332 WITH SCORE 57411.286
AT ITER 1752 NEW BEST:: SOT 210365 SOS 79128 HAS SOPS 79128 HAS SOUS 57253 HAS SOUPS 57253 WITH SCORE 57332.128
AT ITER 1753 NEW BEST:: SOT 210357 SOS 79112 HAS SOPS 79112 HAS SOUS 57237 HAS SOUPS 57237 WITH SCORE 57316.112
AT ITER 1754 NEW BEST:: SOT 210423 SOS 79030 HAS SOPS 79030 HAS SOUS 57155 HAS SOUPS 57155 WITH SCORE 57234.03
AT ITER 1775 NEW BEST:: SOT 210367 SOS 78918 HAS SOPS 78918 HAS SOUS 57043 HAS SOUPS 57043 WITH SCORE 57121.918
AT ITER 1783 NEW BEST:: SOT 210367 SOS 78918 HAS SOPS 78918 HAS SOUS 57038 HAS SOUPS 57038 WITH SCORE 57116.918
AT ITER 1787 NEW BEST:: SOT 210312 SOS 78858 HAS SOPS 78858 HAS SOUS 56978 HAS SOUPS 56978 WITH SCORE 57056.858
AT ITER 1793 NEW BEST:: SOT 210262 SOS 78787 HAS SOPS 78787 HAS SOUS 56936 HAS SOUPS 56936 WITH SCORE 57014.787
AT ITER 1816 NEW BEST:: SOT 210247 SOS 78772 HAS SOPS 78772 HAS SOUS 56921 HAS SOUPS 56921 WITH SCORE 56999.772
AT ITER 1822 NEW BEST:: SOT 210247 SOS 78687 HAS SOPS 78687 HAS SOUS 56751 HAS SOUPS 56751 WITH SCORE 56829.687
AT ITER 1857 NEW BEST:: SOT 210229 SOS 78602 HAS SOPS 78602 HAS SOUS 56666 HAS SOUPS 56666 WITH SCORE 56744.602
AT ITER 1860 NEW BEST:: SOT 210211 SOS 78549 HAS SOPS 78549 HAS SOUS 56613 HAS SOUPS 56613 WITH SCORE 56691.549
AT ITER 1863 NEW BEST:: SOT 210132 SOS 78325 HAS SOPS 78325 HAS SOUS 56389 HAS SOUPS 56389 WITH SCORE 56467.325
AT ITER 1867 NEW BEST:: SOT 209882 SOS 77895 HAS SOPS 77895 HAS SOUS 56107 HAS SOUPS 56107 WITH SCORE 56184.895
AT ITER 1874 NEW BEST:: SOT 209878 SOS 77887 HAS SOPS 77887 HAS SOUS 56099 HAS SOUPS 56099 WITH SCORE 56176.887
AT ITER 1902 NEW BEST:: SOT 209789 SOS 77620 HAS SOPS 77620 HAS SOUS 55990 HAS SOUPS 55990 WITH SCORE 56067.62
AT ITER 1911 NEW BEST:: SOT 209613 SOS 77357 HAS SOPS 77357 HAS SOUS 55821 HAS SOUPS 55821 WITH SCORE 55898.357
AT ITER 1932 NEW BEST:: SOT 209515 SOS 77259 HAS SOPS 77259 HAS SOUS 55723 HAS SOUPS 55723 WITH SCORE 55800.259
AT ITER 1933 NEW BEST:: SOT 209364 SOS 77108 HAS SOPS 77108 HAS SOUS 55723 HAS SOUPS 55723 WITH SCORE 55800.108
AT ITER 1940 NEW BEST:: SOT 209380 SOS 77104 HAS SOPS 77104 HAS SOUS 55721 HAS SOUPS 55721 WITH SCORE 55798.104
AT ITER 1942 NEW BEST:: SOT 209195 SOS 76734 HAS SOPS 76734 HAS SOUS 55351 HAS SOUPS 55351 WITH SCORE 55427.734
AT ITER 1944 NEW BEST:: SOT 209172 SOS 76711 HAS SOPS 76711 HAS SOUS 55328 HAS SOUPS 55328 WITH SCORE 55404.711
AT ITER 1950 NEW BEST:: SOT 209229 SOS 76181 HAS SOPS 76181 HAS SOUS 55009 HAS SOUPS 55009 WITH SCORE 55085.181
AT ITER 1964 NEW BEST:: SOT 209221 SOS 76165 HAS SOPS 76165 HAS SOUS 54993 HAS SOUPS 54993 WITH SCORE 55069.165
AT ITER 1971 NEW BEST:: SOT 209203 SOS 76147 HAS SOPS 76147 HAS SOUS 54969 HAS SOUPS 54969 WITH SCORE 55045.147
AT ITER 1972 NEW BEST:: SOT 209012 SOS 75879 HAS SOPS 75879 HAS SOUS 54892 HAS SOUPS 54892 WITH SCORE 54967.879
AT ITER 1977 NEW BEST:: SOT 208991 SOS 75837 HAS SOPS 75837 HAS SOUS 54850 HAS SOUPS 54850 WITH SCORE 54925.837
AT ITER 1990 NEW BEST:: SOT 208945 SOS 75781 HAS SOPS 75781 HAS SOUS 54794 HAS SOUPS 54794 WITH SCORE 54869.781
AT ITER 1992 NEW BEST:: SOT 208924 SOS 75469 HAS SOPS 75469 HAS SOUS 54793 HAS SOUPS 54793 WITH SCORE 54868.469
AT ITER 2002 NEW BEST:: SOT 208924 SOS 75454 HAS SOPS 75454 HAS SOUS 54778 HAS SOUPS 54778 WITH SCORE 54853.454
AT ITER 2030 NEW BEST:: SOT 208869 SOS 75392 HAS SOPS 75392 HAS SOUS 54770 HAS SOUPS 54770 WITH SCORE 54845.392
AT ITER 2033 NEW BEST:: SOT 208850 SOS 75354 HAS SOPS 75354 HAS SOUS 54732 HAS SOUPS 54732 WITH SCORE 54807.354
AT ITER 2055 NEW BEST:: SOT 208884 SOS 75328 HAS SOPS 75328 HAS SOUS 54573 HAS SOUPS 54573 WITH SCORE 54648.328
AT ITER 2056 NEW BEST:: SOT 208796 SOS 75152 HAS SOPS 75152 HAS SOUS 54441 HAS SOUPS 54441 WITH SCORE 54516.152
AT ITER 2057 NEW BEST:: SOT 208872 SOS 75152 HAS SOPS 75152 HAS SOUS 54365 HAS SOUPS 54365 WITH SCORE 54440.152
AT ITER 2078 NEW BEST:: SOT 208800 SOS 75080 HAS SOPS 75080 HAS SOUS 54221 HAS SOUPS 54221 WITH SCORE 54296.08
AT ITER 2084 NEW BEST:: SOT 208701 SOS 74765 HAS SOPS 74765 HAS SOUS 53906 HAS SOUPS 53906 WITH SCORE 53980.765
AT ITER 2095 NEW BEST:: SOT 208668 SOS 74699 HAS SOPS 74699 HAS SOUS 53840 HAS SOUPS 53840 WITH SCORE 53914.699
AT ITER 2120 NEW BEST:: SOT 208693 SOS 74624 HAS SOPS 74624 HAS SOUS 53768 HAS SOUPS 53768 WITH SCORE 53842.624
AT ITER 2123 NEW BEST:: SOT 208693 SOS 74600 HAS SOPS 74600 HAS SOUS 53744 HAS SOUPS 53744 WITH SCORE 53818.6
AT ITER 2130 NEW BEST:: SOT 208682 SOS 74589 HAS SOPS 74589 HAS SOUS 53729 HAS SOUPS 53729 WITH SCORE 53803.589
AT ITER 2132 NEW BEST:: SOT 208660 SOS 74545 HAS SOPS 74545 HAS SOUS 53685 HAS SOUPS 53685 WITH SCORE 53759.545
AT ITER 2133 NEW BEST:: SOT 208657 SOS 74511 HAS SOPS 74511 HAS SOUS 53665 HAS SOUPS 53665 WITH SCORE 53739.511
AT ITER 2152 NEW BEST:: SOT 208559 SOS 74165 HAS SOPS 74165 HAS SOUS 53537 HAS SOUPS 53537 WITH SCORE 53611.165
AT ITER 2178 NEW BEST:: SOT 208575 SOS 74181 HAS SOPS 74181 HAS SOUS 53533 HAS SOUPS 53533 WITH SCORE 53607.181
AT ITER 2206 NEW BEST:: SOT 208546 SOS 74152 HAS SOPS 74152 HAS SOUS 53528 HAS SOUPS 53528 WITH SCORE 53602.152
AT ITER 2207 NEW BEST:: SOT 208484 SOS 74081 HAS SOPS 74081 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53531.081
AT ITER 2209 NEW BEST:: SOT 208448 SOS 74045 HAS SOPS 74045 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53531.045
AT ITER 2221 NEW BEST:: SOT 208441 SOS 74038 HAS SOPS 74038 HAS SOUS 53450 HAS SOUPS 53450 WITH SCORE 53524.038
AT ITER 2223 NEW BEST:: SOT 208387 SOS 73792 HAS SOPS 73792 HAS SOUS 53258 HAS SOUPS 53258 WITH SCORE 53331.792
AT ITER 2225 NEW BEST:: SOT 208398 SOS 73761 HAS SOPS 73761 HAS SOUS 53227 HAS SOUPS 53227 WITH SCORE 53300.761
AT ITER 2233 NEW BEST:: SOT 208389 SOS 73743 HAS SOPS 73743 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53282.743
AT ITER 2238 NEW BEST:: SOT 208414 SOS 73739 HAS SOPS 73739 HAS SOUS 53205 HAS SOUPS 53205 WITH SCORE 53278.739
AT ITER 2239 NEW BEST:: SOT 208511 SOS 73777 HAS SOPS 73777 HAS SOUS 53146 HAS SOUPS 53146 WITH SCORE 53219.777
AT ITER 2241 NEW BEST:: SOT 208447 SOS 73713 HAS SOPS 73713 HAS SOUS 53082 HAS SOUPS 53082 WITH SCORE 53155.713
AT ITER 2242 NEW BEST:: SOT 208376 SOS 73446 HAS SOPS 73446 HAS SOUS 52907 HAS SOUPS 52907 WITH SCORE 52980.446
AT ITER 2248 NEW BEST:: SOT 208381 SOS 73451 HAS SOPS 73451 HAS SOUS 52905 HAS SOUPS 52905 WITH SCORE 52978.451
AT ITER 2277 NEW BEST:: SOT 208381 SOS 73403 HAS SOPS 73403 HAS SOUS 52857 HAS SOUPS 52857 WITH SCORE 52930.403
AT ITER 2319 NEW BEST:: SOT 208401 SOS 73423 HAS SOPS 73423 HAS SOUS 52856 HAS SOUPS 52856 WITH SCORE 52929.423
AT ITER 2322 NEW BEST:: SOT 208372 SOS 73357 HAS SOPS 73357 HAS SOUS 52790 HAS SOUPS 52790 WITH SCORE 52863.357
AT ITER 2326 NEW BEST:: SOT 208350 SOS 73324 HAS SOPS 73324 HAS SOUS 52757 HAS SOUPS 52757 WITH SCORE 52830.324
AT ITER 2337 NEW BEST:: SOT 208400 SOS 73314 HAS SOPS 73314 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52820.314
AT ITER 2367 NEW BEST:: SOT 208282 SOS 73196 HAS SOPS 73196 HAS SOUS 52629 HAS SOUPS 52629 WITH SCORE 52702.196
AT ITER 2369 NEW BEST:: SOT 208216 SOS 73178 HAS SOPS 73178 HAS SOUS 52577 HAS SOUPS 52577 WITH SCORE 52650.178
AT ITER 2382 NEW BEST:: SOT 208211 SOS 73173 HAS SOPS 73173 HAS SOUS 52572 HAS SOUPS 52572 WITH SCORE 52645.173
AT ITER 2387 NEW BEST:: SOT 208241 SOS 73190 HAS SOPS 73190 HAS SOUS 52568 HAS SOUPS 52568 WITH SCORE 52641.19
AT ITER 2388 NEW BEST:: SOT 208268 SOS 73171 HAS SOPS 73171 HAS SOUS 52549 HAS SOUPS 52549 WITH SCORE 52622.171
AT ITER 2391 NEW BEST:: SOT 208169 SOS 72973 HAS SOPS 72973 HAS SOUS 52351 HAS SOUPS 52351 WITH SCORE 52423.973
AT ITER 2393 NEW BEST:: SOT 208146 SOS 72950 HAS SOPS 72950 HAS SOUS 52328 HAS SOUPS 52328 WITH SCORE 52400.95
AT ITER 2398 NEW BEST:: SOT 208089 SOS 72893 HAS SOPS 72893 HAS SOUS 52273 HAS SOUPS 52273 WITH SCORE 52345.893
AT ITER 2399 NEW BEST:: SOT 208036 SOS 72787 HAS SOPS 72787 HAS SOUS 52167 HAS SOUPS 52167 WITH SCORE 52239.787
AT ITER 2428 NEW BEST:: SOT 208036 SOS 72172 HAS SOPS 72172 HAS SOUS 52051 HAS SOUPS 52051 WITH SCORE 52123.172
AT ITER 2434 NEW BEST:: SOT 208016 SOS 72151 HAS SOPS 72151 HAS SOUS 52030 HAS SOUPS 52030 WITH SCORE 52102.151
AT ITER 2438 NEW BEST:: SOT 207972 SOS 72019 HAS SOPS 72019 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52067.019
AT ITER 2452 NEW BEST:: SOT 208000 SOS 72047 HAS SOPS 72047 HAS SOUS 51994 HAS SOUPS 51994 WITH SCORE 52066.047
AT ITER 2463 NEW BEST:: SOT 207942 SOS 71905 HAS SOPS 71905 HAS SOUS 51852 HAS SOUPS 51852 WITH SCORE 51923.905
AT ITER 2492 NEW BEST:: SOT 207939 SOS 71899 HAS SOPS 71899 HAS SOUS 51846 HAS SOUPS 51846 WITH SCORE 51917.899
AT ITER 2493 NEW BEST:: SOT 207844 SOS 71709 HAS SOPS 71709 HAS SOUS 51656 HAS SOUPS 51656 WITH SCORE 51727.709
AT ITER 2497 NEW BEST:: SOT 208038 SOS 71903 HAS SOPS 71903 HAS SOUS 51637 HAS SOUPS 51637 WITH SCORE 51708.903
AT ITER 2511 NEW BEST:: SOT 208030 SOS 71887 HAS SOPS 71887 HAS SOUS 51621 HAS SOUPS 51621 WITH SCORE 51692.887
AT ITER 2519 NEW BEST:: SOT 207971 SOS 71915 HAS SOPS 71915 HAS SOUS 51594 HAS SOUPS 51594 WITH SCORE 51665.915
AT ITER 2534 NEW BEST:: SOT 207910 SOS 71854 HAS SOPS 71854 HAS SOUS 51520 HAS SOUPS 51520 WITH SCORE 51591.854
AT ITER 2575 NEW BEST:: SOT 207902 SOS 71846 HAS SOPS 71846 HAS SOUS 51512 HAS SOUPS 51512 WITH SCORE 51583.846
AT ITER 2586 NEW BEST:: SOT 208025 SOS 71842 HAS SOPS 71842 HAS SOUS 51508 HAS SOUPS 51508 WITH SCORE 51579.842
AT ITER 2616 NEW BEST:: SOT 208016 SOS 71833 HAS SOPS 71833 HAS SOUS 51499 HAS SOUPS 51499 WITH SCORE 51570.833
AT ITER 2633 NEW BEST:: SOT 208006 SOS 71823 HAS SOPS 71823 HAS SOUS 51489 HAS SOUPS 51489 WITH SCORE 51560.823
AT ITER 2635 NEW BEST:: SOT 208004 SOS 71821 HAS SOPS 71821 HAS SOUS 51487 HAS SOUPS 51487 WITH SCORE 51558.821
AT ITER 2646 NEW BEST:: SOT 208006 SOS 71818 HAS SOPS 71818 HAS SOUS 51484 HAS SOUPS 51484 WITH SCORE 51555.818
AT ITER 2659 NEW BEST:: SOT 207987 SOS 71732 HAS SOPS 71732 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51469.732
AT ITER 2702 NEW BEST:: SOT 207953 SOS 71664 HAS SOPS 71664 HAS SOUS 51357 HAS SOUPS 51357 WITH SCORE 51428.664
AT ITER 2708 NEW BEST:: SOT 207827 SOS 71752 HAS SOPS 71752 HAS SOUS 51266 HAS SOUPS 51266 WITH SCORE 51337.752
AT ITER 2711 NEW BEST:: SOT 207678 SOS 71562 HAS SOPS 71562 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51245.562
AT ITER 2721 NEW BEST:: SOT 207477 SOS 71361 HAS SOPS 71361 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51245.361
AT ITER 2734 NEW BEST:: SOT 207475 SOS 71357 HAS SOPS 71357 HAS SOUS 51170 HAS SOUPS 51170 WITH SCORE 51241.357
AT ITER 2740 NEW BEST:: SOT 207507 SOS 71394 HAS SOPS 71394 HAS SOUS 51104 HAS SOUPS 51104 WITH SCORE 51175.394
AT ITER 2747 NEW BEST:: SOT 207566 SOS 71420 HAS SOPS 71420 HAS SOUS 51012 HAS SOUPS 51012 WITH SCORE 51083.42
AT ITER 2759 NEW BEST:: SOT 207559 SOS 71402 HAS SOPS 71402 HAS SOUS 51003 HAS SOUPS 51003 WITH SCORE 51074.402
AT ITER 2771 NEW BEST:: SOT 207615 SOS 71413 HAS SOPS 71413 HAS SOUS 50913 HAS SOUPS 50913 WITH SCORE 50984.413
AT ITER 2776 NEW BEST:: SOT 207551 SOS 71349 HAS SOPS 71349 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50920.349
AT ITER 2779 NEW BEST:: SOT 207529 SOS 71305 HAS SOPS 71305 HAS SOUS 50805 HAS SOUPS 50805 WITH SCORE 50876.305
AT ITER 2789 NEW BEST:: SOT 207485 SOS 71217 HAS SOPS 71217 HAS SOUS 50717 HAS SOUPS 50717 WITH SCORE 50788.217
AT ITER 2799 NEW BEST:: SOT 207480 SOS 71207 HAS SOPS 71207 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50778.207
AT ITER 2800 NEW BEST:: SOT 207473 SOS 71200 HAS SOPS 71200 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50778.2
AT ITER 2812 NEW BEST:: SOT 207399 SOS 71199 HAS SOPS 71199 HAS SOUS 50703 HAS SOUPS 50703 WITH SCORE 50774.199
AT ITER 2864 NEW BEST:: SOT 207587 SOS 71040 HAS SOPS 71040 HAS SOUS 50566 HAS SOUPS 50566 WITH SCORE 50637.04
AT ITER 2915 NEW BEST:: SOT 207618 SOS 71103 HAS SOPS 71103 HAS SOUS 50540 HAS SOUPS 50540 WITH SCORE 50611.103
AT ITER 2940 NEW BEST:: SOT 207579 SOS 71049 HAS SOPS 71049 HAS SOUS 50486 HAS SOUPS 50486 WITH SCORE 50557.049
AT ITER 2951 NEW BEST:: SOT 207354 SOS 70749 HAS SOPS 70749 HAS SOUS 50186 HAS SOUPS 50186 WITH SCORE 50256.749
AT ITER 2971 NEW BEST:: SOT 207342 SOS 70737 HAS SOPS 70737 HAS SOUS 50174 HAS SOUPS 50174 WITH SCORE 50244.737
AT ITER 2977 NEW BEST:: SOT 207328 SOS 70732 HAS SOPS 70732 HAS SOUS 50169 HAS SOUPS 50169 WITH SCORE 50239.732
AT ITER 2979 NEW BEST:: SOT 207252 SOS 70649 HAS SOPS 70649 HAS SOUS 50105 HAS SOUPS 50105 WITH SCORE 50175.649
AT ITER 3000 NEW BEST:: SOT 207236 SOS 70602 HAS SOPS 70602 HAS SOUS 50027 HAS SOUPS 50027 WITH SCORE 50097.602
AT ITER 3005 NEW BEST:: SOT 207224 SOS 70504 HAS SOPS 70504 HAS SOUS 50015 HAS SOUPS 50015 WITH SCORE 50085.504
AT ITER 3006 NEW BEST:: SOT 207224 SOS 70504 HAS SOPS 70504 HAS SOUS 49982 HAS SOUPS 49982 WITH SCORE 50052.504
AT ITER 3022 NEW BEST:: SOT 207180 SOS 70414 HAS SOPS 70414 HAS SOUS 49892 HAS SOUPS 49892 WITH SCORE 49962.414
AT ITER 3050 NEW BEST:: SOT 207135 SOS 70331 HAS SOPS 70331 HAS SOUS 49855 HAS SOUPS 49855 WITH SCORE 49925.331
AT ITER 3051 NEW BEST:: SOT 207073 SOS 70260 HAS SOPS 70260 HAS SOUS 49837 HAS SOUPS 49837 WITH SCORE 49907.26
AT ITER 3112 NEW BEST:: SOT 207057 SOS 70228 HAS SOPS 70228 HAS SOUS 49821 HAS SOUPS 49821 WITH SCORE 49891.228
AT ITER 3136 NEW BEST:: SOT 206985 SOS 70155 HAS SOPS 70155 HAS SOUS 49748 HAS SOUPS 49748 WITH SCORE 49818.155
AT ITER 3165 NEW BEST:: SOT 206937 SOS 70059 HAS SOPS 70059 HAS SOUS 49652 HAS SOUPS 49652 WITH SCORE 49722.059
AT ITER 3184 NEW BEST:: SOT 206918 SOS 70040 HAS SOPS 70040 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49703.04
AT ITER 3187 NEW BEST:: SOT 206702 SOS 69608 HAS SOPS 69608 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49326.608
AT ITER 3202 NEW BEST:: SOT 206658 SOS 69564 HAS SOPS 69564 HAS SOUS 49250 HAS SOUPS 49250 WITH SCORE 49319.564
AT ITER 3217 NEW BEST:: SOT 206548 SOS 69454 HAS SOPS 69454 HAS SOUS 49195 HAS SOUPS 49195 WITH SCORE 49264.454
AT ITER 3224 NEW BEST:: SOT 206532 SOS 69461 HAS SOPS 69461 HAS SOUS 49178 HAS SOUPS 49178 WITH SCORE 49247.461
AT ITER 3228 NEW BEST:: SOT 206494 SOS 68567 HAS SOPS 68567 HAS SOUS 49142 HAS SOUPS 49142 WITH SCORE 49210.567
AT ITER 3239 NEW BEST:: SOT 206487 SOS 68560 HAS SOPS 68560 HAS SOUS 49135 HAS SOUPS 49135 WITH SCORE 49203.56
AT ITER 3240 NEW BEST:: SOT 206481 SOS 68542 HAS SOPS 68542 HAS SOUS 49117 HAS SOUPS 49117 WITH SCORE 49185.542
AT ITER 3241 NEW BEST:: SOT 206345 SOS 68405 HAS SOPS 68405 HAS SOUS 49115 HAS SOUPS 49115 WITH SCORE 49183.405
AT ITER 3246 NEW BEST:: SOT 206268 SOS 68332 HAS SOPS 68332 HAS SOUS 49041 HAS SOUPS 49041 WITH SCORE 49109.332
AT ITER 3265 NEW BEST:: SOT 206242 SOS 68293 HAS SOPS 68293 HAS SOUS 49002 HAS SOUPS 49002 WITH SCORE 49070.293
AT ITER 3285 NEW BEST:: SOT 206223 SOS 68255 HAS SOPS 68255 HAS SOUS 48983 HAS SOUPS 48983 WITH SCORE 49051.255
AT ITER 3311 NEW BEST:: SOT 206258 SOS 68221 HAS SOPS 68221 HAS SOUS 48949 HAS SOUPS 48949 WITH SCORE 49017.221
AT ITER 3354 NEW BEST:: SOT 206197 SOS 68099 HAS SOPS 68099 HAS SOUS 48827 HAS SOUPS 48827 WITH SCORE 48895.099
AT ITER 3357 NEW BEST:: SOT 206193 SOS 68080 HAS SOPS 68080 HAS SOUS 48808 HAS SOUPS 48808 WITH SCORE 48876.08
AT ITER 3363 NEW BEST:: SOT 206144 SOS 67982 HAS SOPS 67982 HAS SOUS 48710 HAS SOUPS 48710 WITH SCORE 48777.982
AT ITER 3381 NEW BEST:: SOT 206123 SOS 67940 HAS SOPS 67940 HAS SOUS 48668 HAS SOUPS 48668 WITH SCORE 48735.94
AT ITER 3395 NEW BEST:: SOT 206121 SOS 67907 HAS SOPS 67907 HAS SOUS 48635 HAS SOUPS 48635 WITH SCORE 48702.907
AT ITER 3407 NEW BEST:: SOT 206112 SOS 67889 HAS SOPS 67889 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48684.889
AT ITER 3422 NEW BEST:: SOT 205982 SOS 67778 HAS SOPS 67778 HAS SOUS 48502 HAS SOUPS 48502 WITH SCORE 48569.778
AT ITER 3431 NEW BEST:: SOT 206224 SOS 67662 HAS SOPS 67662 HAS SOUS 48386 HAS SOUPS 48386 WITH SCORE 48453.662
AT ITER 3435 NEW BEST:: SOT 206249 SOS 67535 HAS SOPS 67535 HAS SOUS 48363 HAS SOUPS 48363 WITH SCORE 48430.535
AT ITER 3459 NEW BEST:: SOT 206249 SOS 67531 HAS SOPS 67531 HAS SOUS 48363 HAS SOUPS 48363 WITH SCORE 48430.531
AT ITER 3483 NEW BEST:: SOT 206254 SOS 67491 HAS SOPS 67491 HAS SOUS 48323 HAS SOUPS 48323 WITH SCORE 48390.491
AT ITER 3485 NEW BEST:: SOT 206248 SOS 67282 HAS SOPS 67282 HAS SOUS 48114 HAS SOUPS 48114 WITH SCORE 48181.282
AT ITER 3521 NEW BEST:: SOT 206248 SOS 67278 HAS SOPS 67278 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48173.278
AT ITER 3525 NEW BEST:: SOT 206230 SOS 67247 HAS SOPS 67247 HAS SOUS 48075 HAS SOUPS 48075 WITH SCORE 48142.247
AT ITER 3556 NEW BEST:: SOT 206226 SOS 67245 HAS SOPS 67245 HAS SOUS 48071 HAS SOUPS 48071 WITH SCORE 48138.245
AT ITER 3567 NEW BEST:: SOT 206220 SOS 67234 HAS SOPS 67234 HAS SOUS 48059 HAS SOUPS 48059 WITH SCORE 48126.234
AT ITER 3584 NEW BEST:: SOT 206145 SOS 67216 HAS SOPS 67216 HAS SOUS 48041 HAS SOUPS 48041 WITH SCORE 48108.216
AT ITER 3587 NEW BEST:: SOT 206127 SOS 67186 HAS SOPS 67186 HAS SOUS 48011 HAS SOUPS 48011 WITH SCORE 48078.186
AT ITER 3619 NEW BEST:: SOT 206159 SOS 67093 HAS SOPS 67093 HAS SOUS 48010 HAS SOUPS 48010 WITH SCORE 48077.093
AT ITER 3636 NEW BEST:: SOT 206159 SOS 67041 HAS SOPS 67041 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48025.041
AT ITER 3641 NEW BEST:: SOT 206101 SOS 66983 HAS SOPS 66983 HAS SOUS 47900 HAS SOUPS 47900 WITH SCORE 47966.983
AT ITER 3649 NEW BEST:: SOT 206098 SOS 66980 HAS SOPS 66980 HAS SOUS 47894 HAS SOUPS 47894 WITH SCORE 47960.98
AT ITER 3674 NEW BEST:: SOT 206034 SOS 66831 HAS SOPS 66831 HAS SOUS 47745 HAS SOUPS 47745 WITH SCORE 47811.831
AT ITER 3685 NEW BEST:: SOT 206033 SOS 66829 HAS SOPS 66829 HAS SOUS 47744 HAS SOUPS 47744 WITH SCORE 47810.829
AT ITER 3686 NEW BEST:: SOT 205999 SOS 66795 HAS SOPS 66795 HAS SOUS 47704 HAS SOUPS 47704 WITH SCORE 47770.795
AT ITER 3728 NEW BEST:: SOT 205989 SOS 66785 HAS SOPS 66785 HAS SOUS 47694 HAS SOUPS 47694 WITH SCORE 47760.785
AT ITER 3738 NEW BEST:: SOT 205999 SOS 66764 HAS SOPS 66764 HAS SOUS 47673 HAS SOUPS 47673 WITH SCORE 47739.764
AT ITER 3755 NEW BEST:: SOT 206037 SOS 66782 HAS SOPS 66782 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47719.782
AT ITER 3791 NEW BEST:: SOT 206025 SOS 66758 HAS SOPS 66758 HAS SOUS 47645 HAS SOUPS 47645 WITH SCORE 47711.758
AT ITER 3810 NEW BEST:: SOT 206017 SOS 66742 HAS SOPS 66742 HAS SOUS 47629 HAS SOUPS 47629 WITH SCORE 47695.742
AT ITER 3817 NEW BEST:: SOT 206126 SOS 62721 HAS SOPS 62721 HAS SOUS 47608 HAS SOUPS 47608 WITH SCORE 47670.721
AT ITER 3846 NEW BEST:: SOT 206073 SOS 62668 HAS SOPS 62668 HAS SOUS 47555 HAS SOUPS 47555 WITH SCORE 47617.668
AT ITER 3875 NEW BEST:: SOT 206041 SOS 62604 HAS SOPS 62604 HAS SOUS 47491 HAS SOUPS 47491 WITH SCORE 47553.604
AT ITER 3916 NEW BEST:: SOT 206003 SOS 62566 HAS SOPS 62566 HAS SOUS 47445 HAS SOUPS 47445 WITH SCORE 47507.566
AT ITER 3937 NEW BEST:: SOT 206003 SOS 62518 HAS SOPS 62518 HAS SOUS 47397 HAS SOUPS 47397 WITH SCORE 47459.518
AT ITER 3970 NEW BEST:: SOT 205932 SOS 62381 HAS SOPS 62381 HAS SOUS 47220 HAS SOUPS 47220 WITH SCORE 47282.381
AT ITER 3973 NEW BEST:: SOT 205921 SOS 62359 HAS SOPS 62359 HAS SOUS 47198 HAS SOUPS 47198 WITH SCORE 47260.359
AT ITER 4011 NEW BEST:: SOT 205903 SOS 62347 HAS SOPS 62347 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47248.347
AT ITER 4035 NEW BEST:: SOT 205895 SOS 62331 HAS SOPS 62331 HAS SOUS 47162 HAS SOUPS 47162 WITH SCORE 47224.331
AT ITER 4087 NEW BEST:: SOT 205868 SOS 62247 HAS SOPS 62247 HAS SOUS 47078 HAS SOUPS 47078 WITH SCORE 47140.247
AT ITER 4122 NEW BEST:: SOT 205831 SOS 62212 HAS SOPS 62212 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47105.212
AT ITER 4125 NEW BEST:: SOT 205810 SOS 62191 HAS SOPS 62191 HAS SOUS 47022 HAS SOUPS 47022 WITH SCORE 47084.191
AT ITER 4139 NEW BEST:: SOT 205801 SOS 62182 HAS SOPS 62182 HAS SOUS 47013 HAS SOUPS 47013 WITH SCORE 47075.182
AT ITER 4140 NEW BEST:: SOT 205788 SOS 62156 HAS SOPS 62156 HAS SOUS 46987 HAS SOUPS 46987 WITH SCORE 47049.156
AT ITER 4141 NEW BEST:: SOT 205745 SOS 62113 HAS SOPS 62113 HAS SOUS 46987 HAS SOUPS 46987 WITH SCORE 47049.113
AT ITER 4147 NEW BEST:: SOT 205744 SOS 62112 HAS SOPS 62112 HAS SOUS 46987 HAS SOUPS 46987 WITH SCORE 47049.112
AT ITER 4190 NEW BEST:: SOT 205726 SOS 62076 HAS SOPS 62076 HAS SOUS 46951 HAS SOUPS 46951 WITH SCORE 47013.076
AT ITER 4239 NEW BEST:: SOT 205490 SOS 61840 HAS SOPS 61840 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 46974.84
AT ITER 4246 NEW BEST:: SOT 205357 SOS 61707 HAS SOPS 61707 HAS SOUS 46872 HAS SOUPS 46872 WITH SCORE 46933.707
AT ITER 4263 NEW BEST:: SOT 205299 SOS 61618 HAS SOPS 61618 HAS SOUS 46783 HAS SOUPS 46783 WITH SCORE 46844.618
AT ITER 4286 NEW BEST:: SOT 205299 SOS 61602 HAS SOPS 61602 HAS SOUS 46767 HAS SOUPS 46767 WITH SCORE 46828.602
AT ITER 4288 NEW BEST:: SOT 205299 SOS 62019 HAS SOPS 62019 HAS SOUS 46718 HAS SOUPS 46718 WITH SCORE 46780.019
AT ITER 4300 NEW BEST:: SOT 205232 SOS 61886 HAS SOPS 61886 HAS SOUS 46574 HAS SOUPS 46574 WITH SCORE 46635.886
AT ITER 4365 NEW BEST:: SOT 205221 SOS 61864 HAS SOPS 61864 HAS SOUS 46552 HAS SOUPS 46552 WITH SCORE 46613.864
AT ITER 4374 NEW BEST:: SOT 205221 SOS 61861 HAS SOPS 61861 HAS SOUS 46549 HAS SOUPS 46549 WITH SCORE 46610.861
AT ITER 4379 NEW BEST:: SOT 205220 SOS 61860 HAS SOPS 61860 HAS SOUS 46548 HAS SOUPS 46548 WITH SCORE 46609.86
AT ITER 4391 NEW BEST:: SOT 205212 SOS 61851 HAS SOPS 61851 HAS SOUS 46546 HAS SOUPS 46546 WITH SCORE 46607.851
AT ITER 4398 NEW BEST:: SOT 205212 SOS 61827 HAS SOPS 61827 HAS SOUS 46522 HAS SOUPS 46522 WITH SCORE 46583.827
AT ITER 4402 NEW BEST:: SOT 205212 SOS 61827 HAS SOPS 61827 HAS SOUS 46503 HAS SOUPS 46503 WITH SCORE 46564.827
AT ITER 4414 NEW BEST:: SOT 205193 SOS 61828 HAS SOPS 61828 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46537.828
AT ITER 4433 NEW BEST:: SOT 205190 SOS 61812 HAS SOPS 61812 HAS SOUS 46471 HAS SOUPS 46471 WITH SCORE 46532.812
AT ITER 4436 NEW BEST:: SOT 205181 SOS 61794 HAS SOPS 61794 HAS SOUS 46453 HAS SOUPS 46453 WITH SCORE 46514.794
AT ITER 4447 NEW BEST:: SOT 205118 SOS 61687 HAS SOPS 61687 HAS SOUS 46346 HAS SOUPS 46346 WITH SCORE 46407.687
AT ITER 4463 NEW BEST:: SOT 205106 SOS 61663 HAS SOPS 61663 HAS SOUS 46322 HAS SOUPS 46322 WITH SCORE 46383.663
AT ITER 4481 NEW BEST:: SOT 205108 SOS 61632 HAS SOPS 61632 HAS SOUS 46291 HAS SOUPS 46291 WITH SCORE 46352.632
AT ITER 4519 NEW BEST:: SOT 205107 SOS 61630 HAS SOPS 61630 HAS SOUS 46289 HAS SOUPS 46289 WITH SCORE 46350.63
AT ITER 4528 NEW BEST:: SOT 205096 SOS 61608 HAS SOPS 61608 HAS SOUS 46283 HAS SOUPS 46283 WITH SCORE 46344.608
AT ITER 4541 NEW BEST:: SOT 205104 SOS 61555 HAS SOPS 61555 HAS SOUS 46230 HAS SOUPS 46230 WITH SCORE 46291.555
AT ITER 4542 NEW BEST:: SOT 205019 SOS 61385 HAS SOPS 61385 HAS SOUS 46145 HAS SOUPS 46145 WITH SCORE 46206.385
AT ITER 4547 NEW BEST:: SOT 205005 SOS 61343 HAS SOPS 61343 HAS SOUS 46103 HAS SOUPS 46103 WITH SCORE 46164.343
AT ITER 4574 NEW BEST:: SOT 204972 SOS 61313 HAS SOPS 61313 HAS SOUS 46073 HAS SOUPS 46073 WITH SCORE 46134.313
AT ITER 4591 NEW BEST:: SOT 204972 SOS 61297 HAS SOPS 61297 HAS SOUS 46057 HAS SOUPS 46057 WITH SCORE 46118.297
AT ITER 4595 NEW BEST:: SOT 204941 SOS 61268 HAS SOPS 61268 HAS SOUS 46028 HAS SOUPS 46028 WITH SCORE 46089.268
AT ITER 4604 NEW BEST:: SOT 204920 SOS 61247 HAS SOPS 61247 HAS SOUS 46007 HAS SOUPS 46007 WITH SCORE 46068.247
AT ITER 4606 NEW BEST:: SOT 204908 SOS 61229 HAS SOPS 61229 HAS SOUS 45989 HAS SOUPS 45989 WITH SCORE 46050.229
AT ITER 4667 NEW BEST:: SOT 204987 SOS 61188 HAS SOPS 61188 HAS SOUS 45948 HAS SOUPS 45948 WITH SCORE 46009.188
AT ITER 4674 NEW BEST:: SOT 204987 SOS 61160 HAS SOPS 61160 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45981.16
AT ITER 4678 NEW BEST:: SOT 205197 SOS 61140 HAS SOPS 61140 HAS SOUS 45900 HAS SOUPS 45900 WITH SCORE 45961.14
AT ITER 4682 NEW BEST:: SOT 205076 SOS 61180 HAS SOPS 61180 HAS SOUS 45756 HAS SOUPS 45756 WITH SCORE 45817.18
AT ITER 4691 NEW BEST:: SOT 205108 SOS 61181 HAS SOPS 61181 HAS SOUS 45754 HAS SOUPS 45754 WITH SCORE 45815.181
AT ITER 4720 NEW BEST:: SOT 204711 SOS 60922 HAS SOPS 60922 HAS SOUS 45354 HAS SOUPS 45354 WITH SCORE 45414.922
AT ITER 4740 NEW BEST:: SOT 204691 SOS 60902 HAS SOPS 60902 HAS SOUS 45344 HAS SOUPS 45344 WITH SCORE 45404.902
AT ITER 4747 NEW BEST:: SOT 204689 SOS 60900 HAS SOPS 60900 HAS SOUS 45342 HAS SOUPS 45342 WITH SCORE 45402.9
AT ITER 4758 NEW BEST:: SOT 204673 SOS 60884 HAS SOPS 60884 HAS SOUS 45334 HAS SOUPS 45334 WITH SCORE 45394.884
AT ITER 4799 NEW BEST:: SOT 204543 SOS 60817 HAS SOPS 60817 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45282.817
AT ITER 4807 NEW BEST:: SOT 204567 SOS 60825 HAS SOPS 60825 HAS SOUS 45199 HAS SOUPS 45199 WITH SCORE 45259.825
AT ITER 4823 NEW BEST:: SOT 204567 SOS 60813 HAS SOPS 60813 HAS SOUS 45187 HAS SOUPS 45187 WITH SCORE 45247.813
AT ITER 4827 NEW BEST:: SOT 204545 SOS 60802 HAS SOPS 60802 HAS SOUS 45165 HAS SOUPS 45165 WITH SCORE 45225.802
AT ITER 4849 NEW BEST:: SOT 204543 SOS 60800 HAS SOPS 60800 HAS SOUS 45163 HAS SOUPS 45163 WITH SCORE 45223.8
AT ITER 4854 NEW BEST:: SOT 204529 SOS 60786 HAS SOPS 60786 HAS SOUS 45149 HAS SOUPS 45149 WITH SCORE 45209.786
AT ITER 4857 NEW BEST:: SOT 204527 SOS 60782 HAS SOPS 60782 HAS SOUS 45145 HAS SOUPS 45145 WITH SCORE 45205.782
AT ITER 4927 NEW BEST:: SOT 204527 SOS 60779 HAS SOPS 60779 HAS SOUS 45142 HAS SOUPS 45142 WITH SCORE 45202.779
AT ITER 4933 NEW BEST:: SOT 204504 SOS 60595 HAS SOPS 60595 HAS SOUS 45082 HAS SOUPS 45082 WITH SCORE 45142.595
AT ITER 4998 NEW BEST:: SOT 204691 SOS 60710 HAS SOPS 60710 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45099.71
AT ITER 5053 NEW BEST:: SOT 204692 SOS 60739 HAS SOPS 60739 HAS SOUS 45015 HAS SOUPS 45015 WITH SCORE 45075.739
AT ITER 5060 NEW BEST:: SOT 204673 SOS 60639 HAS SOPS 60639 HAS SOUS 44915 HAS SOUPS 44915 WITH SCORE 44975.639
AT ITER 5114 NEW BEST:: SOT 204634 SOS 60560 HAS SOPS 60560 HAS SOUS 44863 HAS SOUPS 44863 WITH SCORE 44923.56
AT ITER 5120 NEW BEST:: SOT 204634 SOS 60558 HAS SOPS 60558 HAS SOUS 44861 HAS SOUPS 44861 WITH SCORE 44921.558
AT ITER 5141 NEW BEST:: SOT 204626 SOS 60550 HAS SOPS 60550 HAS SOUS 44857 HAS SOUPS 44857 WITH SCORE 44917.55
AT ITER 5143 NEW BEST:: SOT 204566 SOS 60457 HAS SOPS 60457 HAS SOUS 44764 HAS SOUPS 44764 WITH SCORE 44824.457
AT ITER 5152 NEW BEST:: SOT 204573 SOS 60425 HAS SOPS 60425 HAS SOUS 44732 HAS SOUPS 44732 WITH SCORE 44792.425
AT ITER 5157 NEW BEST:: SOT 204546 SOS 60398 HAS SOPS 60398 HAS SOUS 44705 HAS SOUPS 44705 WITH SCORE 44765.398
AT ITER 5159 NEW BEST:: SOT 204508 SOS 60319 HAS SOPS 60319 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44755.319
AT ITER 5172 NEW BEST:: SOT 204548 SOS 60246 HAS SOPS 60246 HAS SOUS 44677 HAS SOUPS 44677 WITH SCORE 44737.246
AT ITER 5174 NEW BEST:: SOT 204429 SOS 60127 HAS SOPS 60127 HAS SOUS 44677 HAS SOUPS 44677 WITH SCORE 44737.127
AT ITER 5180 NEW BEST:: SOT 204429 SOS 60127 HAS SOPS 60127 HAS SOUS 44642 HAS SOUPS 44642 WITH SCORE 44702.127
AT ITER 5191 NEW BEST:: SOT 204429 SOS 60123 HAS SOPS 60123 HAS SOUS 44638 HAS SOUPS 44638 WITH SCORE 44698.123
AT ITER 5283 NEW BEST:: SOT 204363 SOS 60057 HAS SOPS 60057 HAS SOUS 44594 HAS SOUPS 44594 WITH SCORE 44654.057
AT ITER 5314 NEW BEST:: SOT 204300 SOS 59989 HAS SOPS 59989 HAS SOUS 44526 HAS SOUPS 44526 WITH SCORE 44585.989
AT ITER 5370 NEW BEST:: SOT 204294 SOS 59942 HAS SOPS 59942 HAS SOUS 44514 HAS SOUPS 44514 WITH SCORE 44573.942
AT ITER 5372 NEW BEST:: SOT 204275 SOS 59904 HAS SOPS 59904 HAS SOUS 44495 HAS SOUPS 44495 WITH SCORE 44554.904
AT ITER 5373 NEW BEST:: SOT 204279 SOS 59902 HAS SOPS 59902 HAS SOUS 44462 HAS SOUPS 44462 WITH SCORE 44521.902
AT ITER 5375 NEW BEST:: SOT 204282 SOS 59901 HAS SOPS 59901 HAS SOUS 44461 HAS SOUPS 44461 WITH SCORE 44520.901
AT ITER 5380 NEW BEST:: SOT 204274 SOS 59885 HAS SOPS 59885 HAS SOUS 44453 HAS SOUPS 44453 WITH SCORE 44512.885
AT ITER 5381 NEW BEST:: SOT 204347 SOS 59955 HAS SOPS 59955 HAS SOUS 44447 HAS SOUPS 44447 WITH SCORE 44506.955
AT ITER 5392 NEW BEST:: SOT 204327 SOS 59935 HAS SOPS 59935 HAS SOUS 44427 HAS SOUPS 44427 WITH SCORE 44486.935
AT ITER 5409 NEW BEST:: SOT 204299 SOS 59929 HAS SOPS 59929 HAS SOUS 44421 HAS SOUPS 44421 WITH SCORE 44480.929
AT ITER 5423 NEW BEST:: SOT 204270 SOS 59893 HAS SOPS 59893 HAS SOUS 44408 HAS SOUPS 44408 WITH SCORE 44467.893
AT ITER 5428 NEW BEST:: SOT 204253 SOS 59876 HAS SOPS 59876 HAS SOUS 44391 HAS SOUPS 44391 WITH SCORE 44450.876
AT ITER 5445 NEW BEST:: SOT 204237 SOS 59844 HAS SOPS 59844 HAS SOUS 44339 HAS SOUPS 44339 WITH SCORE 44398.844
AT ITER 5464 NEW BEST:: SOT 203872 SOS 59251 HAS SOPS 59251 HAS SOUS 44050 HAS SOUPS 44050 WITH SCORE 44109.251
AT ITER 5494 NEW BEST:: SOT 203871 SOS 59251 HAS SOPS 59251 HAS SOUS 44046 HAS SOUPS 44046 WITH SCORE 44105.251
AT ITER 5535 NEW BEST:: SOT 203829 SOS 59184 HAS SOPS 59184 HAS SOUS 44018 HAS SOUPS 44018 WITH SCORE 44077.184
AT ITER 5578 NEW BEST:: SOT 203799 SOS 59151 HAS SOPS 59151 HAS SOUS 43985 HAS SOUPS 43985 WITH SCORE 44044.151
AT ITER 5586 NEW BEST:: SOT 203820 SOS 59170 HAS SOPS 59170 HAS SOUS 43981 HAS SOUPS 43981 WITH SCORE 44040.17
AT ITER 5601 NEW BEST:: SOT 203650 SOS 58957 HAS SOPS 58957 HAS SOUS 43943 HAS SOUPS 43943 WITH SCORE 44001.957
AT ITER 5617 NEW BEST:: SOT 203650 SOS 58935 HAS SOPS 58935 HAS SOUS 43928 HAS SOUPS 43928 WITH SCORE 43986.935
AT ITER 5620 NEW BEST:: SOT 203646 SOS 58888 HAS SOPS 58888 HAS SOUS 43881 HAS SOUPS 43881 WITH SCORE 43939.888
AT ITER 5623 NEW BEST:: SOT 203644 SOS 58884 HAS SOPS 58884 HAS SOUS 43877 HAS SOUPS 43877 WITH SCORE 43935.884
AT ITER 5627 NEW BEST:: SOT 203643 SOS 58883 HAS SOPS 58883 HAS SOUS 43876 HAS SOUPS 43876 WITH SCORE 43934.883
AT ITER 5635 NEW BEST:: SOT 203623 SOS 58812 HAS SOPS 58812 HAS SOUS 43828 HAS SOUPS 43828 WITH SCORE 43886.812
AT ITER 5646 NEW BEST:: SOT 203567 SOS 58757 HAS SOPS 58757 HAS SOUS 43773 HAS SOUPS 43773 WITH SCORE 43831.757
AT ITER 5654 NEW BEST:: SOT 203578 SOS 58784 HAS SOPS 58784 HAS SOUS 43760 HAS SOUPS 43760 WITH SCORE 43818.784
AT ITER 5668 NEW BEST:: SOT 203578 SOS 58783 HAS SOPS 58783 HAS SOUS 43759 HAS SOUPS 43759 WITH SCORE 43817.783
AT ITER 5669 NEW BEST:: SOT 203574 SOS 58755 HAS SOPS 58755 HAS SOUS 43731 HAS SOUPS 43731 WITH SCORE 43789.755
AT ITER 5691 NEW BEST:: SOT 203569 SOS 58734 HAS SOPS 58734 HAS SOUS 43726 HAS SOUPS 43726 WITH SCORE 43784.734
AT ITER 5700 NEW BEST:: SOT 203560 SOS 58725 HAS SOPS 58725 HAS SOUS 43717 HAS SOUPS 43717 WITH SCORE 43775.725
AT ITER 5749 NEW BEST:: SOT 203503 SOS 58668 HAS SOPS 58668 HAS SOUS 43660 HAS SOUPS 43660 WITH SCORE 43718.668
AT ITER 5777 NEW BEST:: SOT 203460 SOS 58651 HAS SOPS 58651 HAS SOUS 43643 HAS SOUPS 43643 WITH SCORE 43701.651
AT ITER 5779 NEW BEST:: SOT 203434 SOS 58625 HAS SOPS 58625 HAS SOUS 43643 HAS SOUPS 43643 WITH SCORE 43701.625
AT ITER 5784 NEW BEST:: SOT 203435 SOS 58585 HAS SOPS 58585 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43661.585
AT ITER 5791 NEW BEST:: SOT 203412 SOS 58544 HAS SOPS 58544 HAS SOUS 43571 HAS SOUPS 43571 WITH SCORE 43629.544
AT ITER 5821 NEW BEST:: SOT 203321 SOS 58530 HAS SOPS 58530 HAS SOUS 43557 HAS SOUPS 43557 WITH SCORE 43615.53
AT ITER 5842 NEW BEST:: SOT 203331 SOS 58523 HAS SOPS 58523 HAS SOUS 43550 HAS SOUPS 43550 WITH SCORE 43608.523
AT ITER 5849 NEW BEST:: SOT 203315 SOS 58523 HAS SOPS 58523 HAS SOUS 43546 HAS SOUPS 43546 WITH SCORE 43604.523
AT ITER 5862 NEW BEST:: SOT 203290 SOS 58473 HAS SOPS 58473 HAS SOUS 43522 HAS SOUPS 43522 WITH SCORE 43580.473
AT ITER 5892 NEW BEST:: SOT 203226 SOS 58434 HAS SOPS 58434 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43527.434
AT ITER 5906 NEW BEST:: SOT 203227 SOS 58414 HAS SOPS 58414 HAS SOUS 43469 HAS SOUPS 43469 WITH SCORE 43527.414
AT ITER 5916 NEW BEST:: SOT 203225 SOS 58410 HAS SOPS 58410 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43523.41
AT ITER 5920 NEW BEST:: SOT 203199 SOS 58392 HAS SOPS 58392 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43505.392
AT ITER 5921 NEW BEST:: SOT 203197 SOS 58390 HAS SOPS 58390 HAS SOUS 43421 HAS SOUPS 43421 WITH SCORE 43479.39
AT ITER 5929 NEW BEST:: SOT 203193 SOS 58389 HAS SOPS 58389 HAS SOUS 43420 HAS SOUPS 43420 WITH SCORE 43478.389
AT ITER 5957 NEW BEST:: SOT 203205 SOS 58396 HAS SOPS 58396 HAS SOUS 43415 HAS SOUPS 43415 WITH SCORE 43473.396
AT ITER 5974 NEW BEST:: SOT 203142 SOS 58396 HAS SOPS 58396 HAS SOUS 43414 HAS SOUPS 43414 WITH SCORE 43472.396
AT ITER 5978 NEW BEST:: SOT 203134 SOS 58388 HAS SOPS 58388 HAS SOUS 43406 HAS SOUPS 43406 WITH SCORE 43464.388
AT ITER 5984 NEW BEST:: SOT 203134 SOS 58380 HAS SOPS 58380 HAS SOUS 43398 HAS SOUPS 43398 WITH SCORE 43456.38
AT ITER 6037 NEW BEST:: SOT 203126 SOS 58364 HAS SOPS 58364 HAS SOUS 43382 HAS SOUPS 43382 WITH SCORE 43440.364
AT ITER 6068 NEW BEST:: SOT 203054 SOS 58256 HAS SOPS 58256 HAS SOUS 43302 HAS SOUPS 43302 WITH SCORE 43360.256
AT ITER 6173 NEW BEST:: SOT 203059 SOS 58240 HAS SOPS 58240 HAS SOUS 43286 HAS SOUPS 43286 WITH SCORE 43344.24
AT ITER 6174 NEW BEST:: SOT 203056 SOS 58234 HAS SOPS 58234 HAS SOUS 43283 HAS SOUPS 43283 WITH SCORE 43341.234
AT ITER 6181 NEW BEST:: SOT 203056 SOS 58234 HAS SOPS 58234 HAS SOUS 43266 HAS SOUPS 43266 WITH SCORE 43324.234
AT ITER 6202 NEW BEST:: SOT 203056 SOS 58135 HAS SOPS 58135 HAS SOUS 43238 HAS SOUPS 43238 WITH SCORE 43296.135
AT ITER 6206 NEW BEST:: SOT 203055 SOS 58133 HAS SOPS 58133 HAS SOUS 43236 HAS SOUPS 43236 WITH SCORE 43294.133
AT ITER 6230 NEW BEST:: SOT 203055 SOS 58133 HAS SOPS 58133 HAS SOUS 43234 HAS SOUPS 43234 WITH SCORE 43292.133
AT ITER 6237 NEW BEST:: SOT 203055 SOS 58115 HAS SOPS 58115 HAS SOUS 43225 HAS SOUPS 43225 WITH SCORE 43283.115
AT ITER 6276 NEW BEST:: SOT 203041 SOS 58087 HAS SOPS 58087 HAS SOUS 43215 HAS SOUPS 43215 WITH SCORE 43273.087
AT ITER 6353 NEW BEST:: SOT 202929 SOS 60700 HAS SOPS 60700 HAS SOUS 43156 HAS SOUPS 43156 WITH SCORE 43216.7
AT ITER 6375 NEW BEST:: SOT 202935 SOS 60814 HAS SOPS 60814 HAS SOUS 43149 HAS SOUPS 43149 WITH SCORE 43209.814
AT ITER 6396 NEW BEST:: SOT 202861 SOS 60712 HAS SOPS 60712 HAS SOUS 43084 HAS SOUPS 43084 WITH SCORE 43144.712
AT ITER 6397 NEW BEST:: SOT 202812 SOS 60668 HAS SOPS 60668 HAS SOUS 43035 HAS SOUPS 43035 WITH SCORE 43095.668
AT ITER 6408 NEW BEST:: SOT 202854 SOS 60638 HAS SOPS 60638 HAS SOUS 43005 HAS SOUPS 43005 WITH SCORE 43065.638
AT ITER 6424 NEW BEST:: SOT 202854 SOS 60632 HAS SOPS 60632 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43059.632
AT ITER 6458 NEW BEST:: SOT 202853 SOS 60625 HAS SOPS 60625 HAS SOUS 42992 HAS SOUPS 42992 WITH SCORE 43052.625
AT ITER 6502 NEW BEST:: SOT 202796 SOS 60511 HAS SOPS 60511 HAS SOUS 42878 HAS SOUPS 42878 WITH SCORE 42938.511
AT ITER 6530 NEW BEST:: SOT 202773 SOS 60472 HAS SOPS 60472 HAS SOUS 42839 HAS SOUPS 42839 WITH SCORE 42899.472
AT ITER 6554 NEW BEST:: SOT 202797 SOS 60451 HAS SOPS 60451 HAS SOUS 42818 HAS SOUPS 42818 WITH SCORE 42878.451
AT ITER 6583 NEW BEST:: SOT 202767 SOS 60421 HAS SOPS 60421 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42848.421
AT ITER 6608 NEW BEST:: SOT 202705 SOS 60328 HAS SOPS 60328 HAS SOUS 42726 HAS SOUPS 42726 WITH SCORE 42786.328
AT ITER 6633 NEW BEST:: SOT 202732 SOS 60132 HAS SOPS 60132 HAS SOUS 42530 HAS SOUPS 42530 WITH SCORE 42590.132
AT ITER 6665 NEW BEST:: SOT 202728 SOS 60124 HAS SOPS 60124 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42582.124
AT ITER 6682 NEW BEST:: SOT 202610 SOS 60006 HAS SOPS 60006 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42582.006
AT ITER 6691 NEW BEST:: SOT 202595 SOS 59976 HAS SOPS 59976 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42551.976
AT ITER 6719 NEW BEST:: SOT 202586 SOS 59958 HAS SOPS 59958 HAS SOUS 42444 HAS SOUPS 42444 WITH SCORE 42503.958
AT ITER 6750 NEW BEST:: SOT 202593 SOS 59943 HAS SOPS 59943 HAS SOUS 42429 HAS SOUPS 42429 WITH SCORE 42488.943
AT ITER 6759 NEW BEST:: SOT 202593 SOS 59942 HAS SOPS 59942 HAS SOUS 42428 HAS SOUPS 42428 WITH SCORE 42487.942
AT ITER 6768 NEW BEST:: SOT 202572 SOS 59905 HAS SOPS 59905 HAS SOUS 42391 HAS SOUPS 42391 WITH SCORE 42450.905
AT ITER 6794 NEW BEST:: SOT 202572 SOS 59891 HAS SOPS 59891 HAS SOUS 42363 HAS SOUPS 42363 WITH SCORE 42422.891
AT ITER 6802 NEW BEST:: SOT 202557 SOS 59861 HAS SOPS 59861 HAS SOUS 42333 HAS SOUPS 42333 WITH SCORE 42392.861
AT ITER 6814 NEW BEST:: SOT 202549 SOS 59853 HAS SOPS 59853 HAS SOUS 42325 HAS SOUPS 42325 WITH SCORE 42384.853
AT ITER 6845 NEW BEST:: SOT 202528 SOS 59832 HAS SOPS 59832 HAS SOUS 42304 HAS SOUPS 42304 WITH SCORE 42363.832
AT ITER 6866 NEW BEST:: SOT 202463 SOS 59767 HAS SOPS 59767 HAS SOUS 42295 HAS SOUPS 42295 WITH SCORE 42354.767
AT ITER 6926 NEW BEST:: SOT 202351 SOS 59683 HAS SOPS 59683 HAS SOUS 42211 HAS SOUPS 42211 WITH SCORE 42270.683
AT ITER 6942 NEW BEST:: SOT 202351 SOS 59674 HAS SOPS 59674 HAS SOUS 42202 HAS SOUPS 42202 WITH SCORE 42261.674
AT ITER 6986 NEW BEST:: SOT 202349 SOS 59672 HAS SOPS 59672 HAS SOUS 42200 HAS SOUPS 42200 WITH SCORE 42259.672
AT ITER 6991 NEW BEST:: SOT 202336 SOS 59646 HAS SOPS 59646 HAS SOUS 42187 HAS SOUPS 42187 WITH SCORE 42246.646
AT ITER 7004 NEW BEST:: SOT 202335 SOS 59644 HAS SOPS 59644 HAS SOUS 42186 HAS SOUPS 42186 WITH SCORE 42245.644
AT ITER 7018 NEW BEST:: SOT 202304 SOS 59525 HAS SOPS 59525 HAS SOUS 42067 HAS SOUPS 42067 WITH SCORE 42126.525
AT ITER 7065 NEW BEST:: SOT 202308 SOS 59511 HAS SOPS 59511 HAS SOUS 42053 HAS SOUPS 42053 WITH SCORE 42112.511
AT ITER 7123 NEW BEST:: SOT 202307 SOS 59509 HAS SOPS 59509 HAS SOUS 42051 HAS SOUPS 42051 WITH SCORE 42110.509
AT ITER 7138 NEW BEST:: SOT 202260 SOS 59412 HAS SOPS 59412 HAS SOUS 41954 HAS SOUPS 41954 WITH SCORE 42013.412
AT ITER 7148 NEW BEST:: SOT 202173 SOS 59135 HAS SOPS 59135 HAS SOUS 41789 HAS SOUPS 41789 WITH SCORE 41848.135
AT ITER 7162 NEW BEST:: SOT 202164 SOS 59132 HAS SOPS 59132 HAS SOUS 41717 HAS SOUPS 41717 WITH SCORE 41776.132
AT ITER 7186 NEW BEST:: SOT 202150 SOS 59127 HAS SOPS 59127 HAS SOUS 41712 HAS SOUPS 41712 WITH SCORE 41771.127
AT ITER 7199 NEW BEST:: SOT 202107 SOS 59086 HAS SOPS 59086 HAS SOUS 41671 HAS SOUPS 41671 WITH SCORE 41730.086
AT ITER 7224 NEW BEST:: SOT 202135 SOS 59137 HAS SOPS 59137 HAS SOUS 41655 HAS SOUPS 41655 WITH SCORE 41714.137
AT ITER 7262 NEW BEST:: SOT 202097 SOS 59099 HAS SOPS 59099 HAS SOUS 41650 HAS SOUPS 41650 WITH SCORE 41709.099
AT ITER 7273 NEW BEST:: SOT 202077 SOS 59071 HAS SOPS 59071 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41681.071
AT ITER 7287 NEW BEST:: SOT 202057 SOS 59051 HAS SOPS 59051 HAS SOUS 41622 HAS SOUPS 41622 WITH SCORE 41681.051
AT ITER 7332 NEW BEST:: SOT 201889 SOS 59066 HAS SOPS 59066 HAS SOUS 41616 HAS SOUPS 41616 WITH SCORE 41675.066
AT ITER 7349 NEW BEST:: SOT 201856 SOS 58970 HAS SOPS 58970 HAS SOUS 41571 HAS SOUPS 41571 WITH SCORE 41629.97
AT ITER 7383 NEW BEST:: SOT 201873 SOS 58972 HAS SOPS 58972 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41614.972
AT ITER 7384 NEW BEST:: SOT 201870 SOS 58970 HAS SOPS 58970 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41612.97
AT ITER 7426 NEW BEST:: SOT 201870 SOS 58955 HAS SOPS 58955 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41612.955
AT ITER 7497 NEW BEST:: SOT 201852 SOS 58929 HAS SOPS 58929 HAS SOUS 41526 HAS SOUPS 41526 WITH SCORE 41584.929
AT ITER 7501 NEW BEST:: SOT 201816 SOS 58893 HAS SOPS 58893 HAS SOUS 41508 HAS SOUPS 41508 WITH SCORE 41566.893
AT ITER 7537 NEW BEST:: SOT 201813 SOS 58890 HAS SOPS 58890 HAS SOUS 41505 HAS SOUPS 41505 WITH SCORE 41563.89
AT ITER 7552 NEW BEST:: SOT 201741 SOS 58734 HAS SOPS 58734 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41474.734
AT ITER 7555 NEW BEST:: SOT 201725 SOS 58649 HAS SOPS 58649 HAS SOUS 41331 HAS SOUPS 41331 WITH SCORE 41389.649
AT ITER 7563 NEW BEST:: SOT 201717 SOS 58637 HAS SOPS 58637 HAS SOUS 41323 HAS SOUPS 41323 WITH SCORE 41381.637
AT ITER 7584 NEW BEST:: SOT 201714 SOS 58634 HAS SOPS 58634 HAS SOUS 41320 HAS SOUPS 41320 WITH SCORE 41378.634
AT ITER 7589 NEW BEST:: SOT 201710 SOS 58617 HAS SOPS 58617 HAS SOUS 41303 HAS SOUPS 41303 WITH SCORE 41361.617
AT ITER 7613 NEW BEST:: SOT 201701 SOS 58599 HAS SOPS 58599 HAS SOUS 41285 HAS SOUPS 41285 WITH SCORE 41343.599
AT ITER 7617 NEW BEST:: SOT 201701 SOS 58564 HAS SOPS 58564 HAS SOUS 41215 HAS SOUPS 41215 WITH SCORE 41273.564
AT ITER 7618 NEW BEST:: SOT 201703 SOS 58551 HAS SOPS 58551 HAS SOUS 41202 HAS SOUPS 41202 WITH SCORE 41260.551
AT ITER 7643 NEW BEST:: SOT 201701 SOS 58549 HAS SOPS 58549 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41258.549
AT ITER 7682 NEW BEST:: SOT 201701 SOS 58543 HAS SOPS 58543 HAS SOUS 41194 HAS SOUPS 41194 WITH SCORE 41252.543
AT ITER 7685 NEW BEST:: SOT 201696 SOS 58550 HAS SOPS 58550 HAS SOUS 41184 HAS SOUPS 41184 WITH SCORE 41242.55
AT ITER 7700 NEW BEST:: SOT 201694 SOS 58546 HAS SOPS 58546 HAS SOUS 41180 HAS SOUPS 41180 WITH SCORE 41238.546
AT ITER 7802 NEW BEST:: SOT 201694 SOS 58546 HAS SOPS 58546 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41237.546
AT ITER 7837 NEW BEST:: SOT 201690 SOS 58543 HAS SOPS 58543 HAS SOUS 41176 HAS SOUPS 41176 WITH SCORE 41234.543
AT ITER 7846 NEW BEST:: SOT 201675 SOS 58513 HAS SOPS 58513 HAS SOUS 41139 HAS SOUPS 41139 WITH SCORE 41197.513
AT ITER 7881 NEW BEST:: SOT 201671 SOS 58450 HAS SOPS 58450 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41172.45
AT ITER 7893 NEW BEST:: SOT 201657 SOS 58436 HAS SOPS 58436 HAS SOUS 41114 HAS SOUPS 41114 WITH SCORE 41172.436
AT ITER 7908 NEW BEST:: SOT 201592 SOS 58378 HAS SOPS 58378 HAS SOUS 41056 HAS SOUPS 41056 WITH SCORE 41114.378
AT ITER 7981 NEW BEST:: SOT 201620 SOS 58250 HAS SOPS 58250 HAS SOUS 41005 HAS SOUPS 41005 WITH SCORE 41063.25
AT ITER 7992 NEW BEST:: SOT 201612 SOS 58234 HAS SOPS 58234 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41047.234
AT ITER 7997 NEW BEST:: SOT 201610 SOS 58230 HAS SOPS 58230 HAS SOUS 40983 HAS SOUPS 40983 WITH SCORE 41041.23
AT ITER 8037 NEW BEST:: SOT 201609 SOS 58228 HAS SOPS 58228 HAS SOUS 40981 HAS SOUPS 40981 WITH SCORE 41039.228
AT ITER 8047 NEW BEST:: SOT 201593 SOS 58213 HAS SOPS 58213 HAS SOUS 40966 HAS SOUPS 40966 WITH SCORE 41024.213
AT ITER 8135 NEW BEST:: SOT 201593 SOS 58067 HAS SOPS 58067 HAS SOUS 40937 HAS SOUPS 40937 WITH SCORE 40995.067
AT ITER 8145 NEW BEST:: SOT 201586 SOS 58053 HAS SOPS 58053 HAS SOUS 40900 HAS SOUPS 40900 WITH SCORE 40958.053
AT ITER 8163 NEW BEST:: SOT 201573 SOS 58049 HAS SOPS 58049 HAS SOUS 40892 HAS SOUPS 40892 WITH SCORE 40950.049
AT ITER 8171 NEW BEST:: SOT 201570 SOS 58043 HAS SOPS 58043 HAS SOUS 40879 HAS SOUPS 40879 WITH SCORE 40937.043
AT ITER 8211 NEW BEST:: SOT 201544 SOS 58034 HAS SOPS 58034 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40928.034
AT ITER 8245 NEW BEST:: SOT 201520 SOS 58010 HAS SOPS 58010 HAS SOUS 40860 HAS SOUPS 40860 WITH SCORE 40918.01
AT ITER 8262 NEW BEST:: SOT 201519 SOS 58009 HAS SOPS 58009 HAS SOUS 40859 HAS SOUPS 40859 WITH SCORE 40917.009
AT ITER 8289 NEW BEST:: SOT 201519 SOS 58005 HAS SOPS 58005 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40913.005
AT ITER 8303 NEW BEST:: SOT 201487 SOS 57964 HAS SOPS 57964 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40871.964
AT ITER 8318 NEW BEST:: SOT 201487 SOS 57915 HAS SOPS 57915 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40871.915
AT ITER 8320 NEW BEST:: SOT 201486 SOS 57914 HAS SOPS 57914 HAS SOUS 40813 HAS SOUPS 40813 WITH SCORE 40870.914
AT ITER 8324 NEW BEST:: SOT 201486 SOS 57914 HAS SOPS 57914 HAS SOUS 40806 HAS SOUPS 40806 WITH SCORE 40863.914
AT ITER 8326 NEW BEST:: SOT 201505 SOS 57910 HAS SOPS 57910 HAS SOUS 40802 HAS SOUPS 40802 WITH SCORE 40859.91
AT ITER 8337 NEW BEST:: SOT 201391 SOS 57779 HAS SOPS 57779 HAS SOUS 40723 HAS SOUPS 40723 WITH SCORE 40780.779
AT ITER 8385 NEW BEST:: SOT 201231 SOS 57459 HAS SOPS 57459 HAS SOUS 40648 HAS SOUPS 40648 WITH SCORE 40705.459
AT ITER 8387 NEW BEST:: SOT 201200 SOS 57298 HAS SOPS 57298 HAS SOUS 40586 HAS SOUPS 40586 WITH SCORE 40643.298
AT ITER 8407 NEW BEST:: SOT 201200 SOS 57284 HAS SOPS 57284 HAS SOUS 40572 HAS SOUPS 40572 WITH SCORE 40629.284
AT ITER 8410 NEW BEST:: SOT 201185 SOS 57254 HAS SOPS 57254 HAS SOUS 40542 HAS SOUPS 40542 WITH SCORE 40599.254
AT ITER 8421 NEW BEST:: SOT 201182 SOS 57239 HAS SOPS 57239 HAS SOUS 40527 HAS SOUPS 40527 WITH SCORE 40584.239
AT ITER 8449 NEW BEST:: SOT 201159 SOS 57206 HAS SOPS 57206 HAS SOUS 40494 HAS SOUPS 40494 WITH SCORE 40551.206
AT ITER 8485 NEW BEST:: SOT 201223 SOS 57242 HAS SOPS 57242 HAS SOUS 40488 HAS SOUPS 40488 WITH SCORE 40545.242
AT ITER 8540 NEW BEST:: SOT 201238 SOS 57243 HAS SOPS 57243 HAS SOUS 40460 HAS SOUPS 40460 WITH SCORE 40517.243
AT ITER 8562 NEW BEST:: SOT 201237 SOS 57242 HAS SOPS 57242 HAS SOUS 40460 HAS SOUPS 40460 WITH SCORE 40517.242
AT ITER 8568 NEW BEST:: SOT 201150 SOS 57068 HAS SOPS 57068 HAS SOUS 40451 HAS SOUPS 40451 WITH SCORE 40508.068
AT ITER 8584 NEW BEST:: SOT 201094 SOS 57012 HAS SOPS 57012 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40475.012
AT ITER 8655 NEW BEST:: SOT 201081 SOS 56986 HAS SOPS 56986 HAS SOUS 40392 HAS SOUPS 40392 WITH SCORE 40448.986
AT ITER 8662 NEW BEST:: SOT 201036 SOS 56926 HAS SOPS 56926 HAS SOUS 40332 HAS SOUPS 40332 WITH SCORE 40388.926
AT ITER 8668 NEW BEST:: SOT 200971 SOS 56834 HAS SOPS 56834 HAS SOUS 40252 HAS SOUPS 40252 WITH SCORE 40308.834
AT ITER 8670 NEW BEST:: SOT 200985 SOS 56821 HAS SOPS 56821 HAS SOUS 40239 HAS SOUPS 40239 WITH SCORE 40295.821
AT ITER 8679 NEW BEST:: SOT 200985 SOS 56818 HAS SOPS 56818 HAS SOUS 40239 HAS SOUPS 40239 WITH SCORE 40295.818
AT ITER 8680 NEW BEST:: SOT 200985 SOS 56806 HAS SOPS 56806 HAS SOUS 40227 HAS SOUPS 40227 WITH SCORE 40283.806
AT ITER 8685 NEW BEST:: SOT 200984 SOS 56804 HAS SOPS 56804 HAS SOUS 40226 HAS SOUPS 40226 WITH SCORE 40282.804
AT ITER 8691 NEW BEST:: SOT 200983 SOS 56802 HAS SOPS 56802 HAS SOUS 40224 HAS SOUPS 40224 WITH SCORE 40280.802
AT ITER 8707 NEW BEST:: SOT 200973 SOS 56790 HAS SOPS 56790 HAS SOUS 40220 HAS SOUPS 40220 WITH SCORE 40276.79
AT ITER 8713 NEW BEST:: SOT 200973 SOS 56789 HAS SOPS 56789 HAS SOUS 40219 HAS SOUPS 40219 WITH SCORE 40275.789
AT ITER 8731 NEW BEST:: SOT 200921 SOS 56729 HAS SOPS 56729 HAS SOUS 40159 HAS SOUPS 40159 WITH SCORE 40215.729
AT ITER 8813 NEW BEST:: SOT 200902 SOS 56691 HAS SOPS 56691 HAS SOUS 40154 HAS SOUPS 40154 WITH SCORE 40210.691
AT ITER 8818 NEW BEST:: SOT 200902 SOS 56641 HAS SOPS 56641 HAS SOUS 40154 HAS SOUPS 40154 WITH SCORE 40210.641
AT ITER 8856 NEW BEST:: SOT 200867 SOS 56611 HAS SOPS 56611 HAS SOUS 40124 HAS SOUPS 40124 WITH SCORE 40180.611
AT ITER 8866 NEW BEST:: SOT 200867 SOS 56603 HAS SOPS 56603 HAS SOUS 40116 HAS SOUPS 40116 WITH SCORE 40172.603
AT ITER 8872 NEW BEST:: SOT 200831 SOS 56549 HAS SOPS 56549 HAS SOUS 40062 HAS SOUPS 40062 WITH SCORE 40118.549
AT ITER 8948 NEW BEST:: SOT 200831 SOS 56537 HAS SOPS 56537 HAS SOUS 40057 HAS SOUPS 40057 WITH SCORE 40113.537
AT ITER 8952 NEW BEST:: SOT 200830 SOS 56535 HAS SOPS 56535 HAS SOUS 40055 HAS SOUPS 40055 WITH SCORE 40111.535
AT ITER 9122 NEW BEST:: SOT 200822 SOS 56527 HAS SOPS 56527 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40107.527
AT ITER 9232 NEW BEST:: SOT 200822 SOS 56512 HAS SOPS 56512 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40092.512
AT ITER 9309 NEW BEST:: SOT 200779 SOS 56433 HAS SOPS 56433 HAS SOUS 39957 HAS SOUPS 39957 WITH SCORE 40013.433
AT ITER 9310 NEW BEST:: SOT 200779 SOS 56397 HAS SOPS 56397 HAS SOUS 39921 HAS SOUPS 39921 WITH SCORE 39977.397
AT ITER 9313 NEW BEST:: SOT 200785 SOS 56385 HAS SOPS 56385 HAS SOUS 39914 HAS SOUPS 39914 WITH SCORE 39970.385
AT ITER 9417 NEW BEST:: SOT 200784 SOS 56383 HAS SOPS 56383 HAS SOUS 39907 HAS SOUPS 39907 WITH SCORE 39963.383
AT ITER 9437 NEW BEST:: SOT 200768 SOS 56339 HAS SOPS 56339 HAS SOUS 39863 HAS SOUPS 39863 WITH SCORE 39919.339
AT ITER 9450 NEW BEST:: SOT 200912 SOS 56331 HAS SOPS 56331 HAS SOUS 39855 HAS SOUPS 39855 WITH SCORE 39911.331
AT ITER 9513 NEW BEST:: SOT 200912 SOS 56322 HAS SOPS 56322 HAS SOUS 39855 HAS SOUPS 39855 WITH SCORE 39911.322
AT ITER 9515 NEW BEST:: SOT 200915 SOS 56305 HAS SOPS 56305 HAS SOUS 39838 HAS SOUPS 39838 WITH SCORE 39894.305
AT ITER 9551 NEW BEST:: SOT 200914 SOS 56299 HAS SOPS 56299 HAS SOUS 39836 HAS SOUPS 39836 WITH SCORE 39892.299
AT ITER 9591 NEW BEST:: SOT 200909 SOS 56294 HAS SOPS 56294 HAS SOUS 39831 HAS SOUPS 39831 WITH SCORE 39887.294
AT ITER 9633 NEW BEST:: SOT 200889 SOS 56274 HAS SOPS 56274 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39867.274
AT ITER 9661 NEW BEST:: SOT 200874 SOS 56193 HAS SOPS 56193 HAS SOUS 39798 HAS SOUPS 39798 WITH SCORE 39854.193
AT ITER 9672 NEW BEST:: SOT 200874 SOS 56121 HAS SOPS 56121 HAS SOUS 39798 HAS SOUPS 39798 WITH SCORE 39854.121
AT ITER 9676 NEW BEST:: SOT 200845 SOS 56053 HAS SOPS 56053 HAS SOUS 39730 HAS SOUPS 39730 WITH SCORE 39786.053
AT ITER 9693 NEW BEST:: SOT 200845 SOS 56053 HAS SOPS 56053 HAS SOUS 39723 HAS SOUPS 39723 WITH SCORE 39779.053
AT ITER 9716 NEW BEST:: SOT 200866 SOS 56074 HAS SOPS 56074 HAS SOUS 39692 HAS SOUPS 39692 WITH SCORE 39748.074
AT ITER 9718 NEW BEST:: SOT 200834 SOS 56042 HAS SOPS 56042 HAS SOUS 39692 HAS SOUPS 39692 WITH SCORE 39748.042
AT ITER 9751 NEW BEST:: SOT 200817 SOS 56025 HAS SOPS 56025 HAS SOUS 39675 HAS SOUPS 39675 WITH SCORE 39731.025
AT ITER 9755 NEW BEST:: SOT 200798 SOS 56020 HAS SOPS 56020 HAS SOUS 39670 HAS SOUPS 39670 WITH SCORE 39726.02
AT ITER 9785 NEW BEST:: SOT 200798 SOS 56018 HAS SOPS 56018 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39724.018
AT ITER 9818 NEW BEST:: SOT 200788 SOS 55976 HAS SOPS 55976 HAS SOUS 39626 HAS SOUPS 39626 WITH SCORE 39681.976
AT ITER 9840 NEW BEST:: SOT 200774 SOS 55962 HAS SOPS 55962 HAS SOUS 39612 HAS SOUPS 39612 WITH SCORE 39667.962
AT ITER 9886 NEW BEST:: SOT 200770 SOS 55914 HAS SOPS 55914 HAS SOUS 39567 HAS SOUPS 39567 WITH SCORE 39622.914
AT ITER 9918 NEW BEST:: SOT 200751 SOS 55895 HAS SOPS 55895 HAS SOUS 39548 HAS SOUPS 39548 WITH SCORE 39603.895
AT ITER 9963 NEW BEST:: SOT 200726 SOS 55844 HAS SOPS 55844 HAS SOUS 39497 HAS SOUPS 39497 WITH SCORE 39552.844

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="BusinessProcesses-PT-16"
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 BusinessProcesses-PT-16, 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 r018-oct2-158897680200576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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