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-158897680100552.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-13, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100552
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 02:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 22:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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.2K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:43 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 17K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 148K 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 1590869256977

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

Filename model.pnml
Petri model created: 593 places, 536 transitions, 1582 arcs.
AT ITER 0 NEW BEST:: SOT 201828 SOS 77215 HAS SOPS 77215 HAS SOUS 74724 HAS SOUPS 74724 WITH SCORE 74801.215
AT ITER 13 NEW BEST:: SOT 201815 SOS 77189 HAS SOPS 77189 HAS SOUS 74698 HAS SOUPS 74698 WITH SCORE 74775.189
AT ITER 14 NEW BEST:: SOT 201850 SOS 77223 HAS SOPS 77223 HAS SOUS 74696 HAS SOUPS 74696 WITH SCORE 74773.223
AT ITER 32 NEW BEST:: SOT 201742 SOS 77250 HAS SOPS 77250 HAS SOUS 74680 HAS SOUPS 74680 WITH SCORE 74757.25
AT ITER 33 NEW BEST:: SOT 201741 SOS 77248 HAS SOPS 77248 HAS SOUS 74678 HAS SOUPS 74678 WITH SCORE 74755.248
AT ITER 34 NEW BEST:: SOT 198801 SOS 75557 HAS SOPS 75557 HAS SOUS 71965 HAS SOUPS 71965 WITH SCORE 72040.557
AT ITER 39 NEW BEST:: SOT 198899 SOS 75649 HAS SOPS 75649 HAS SOUS 71892 HAS SOUPS 71892 WITH SCORE 71967.649
AT ITER 43 NEW BEST:: SOT 198898 SOS 75599 HAS SOPS 75599 HAS SOUS 71842 HAS SOUPS 71842 WITH SCORE 71917.599
AT ITER 48 NEW BEST:: SOT 198731 SOS 75432 HAS SOPS 75432 HAS SOUS 71675 HAS SOUPS 71675 WITH SCORE 71750.432
AT ITER 49 NEW BEST:: SOT 198680 SOS 75486 HAS SOPS 75486 HAS SOUS 71625 HAS SOUPS 71625 WITH SCORE 71700.486
AT ITER 59 NEW BEST:: SOT 198608 SOS 75414 HAS SOPS 75414 HAS SOUS 71553 HAS SOUPS 71553 WITH SCORE 71628.414
AT ITER 64 NEW BEST:: SOT 198499 SOS 75343 HAS SOPS 75343 HAS SOUS 71404 HAS SOUPS 71404 WITH SCORE 71479.343
AT ITER 85 NEW BEST:: SOT 198502 SOS 75182 HAS SOPS 75182 HAS SOUS 71243 HAS SOUPS 71243 WITH SCORE 71318.182
AT ITER 87 NEW BEST:: SOT 198819 SOS 75411 HAS SOPS 75411 HAS SOUS 71181 HAS SOUPS 71181 WITH SCORE 71256.411
AT ITER 92 NEW BEST:: SOT 198641 SOS 76140 HAS SOPS 76140 HAS SOUS 71159 HAS SOUPS 71159 WITH SCORE 71235.14
AT ITER 119 NEW BEST:: SOT 198664 SOS 75887 HAS SOPS 75887 HAS SOUS 70906 HAS SOUPS 70906 WITH SCORE 70981.887
AT ITER 125 NEW BEST:: SOT 198748 SOS 75682 HAS SOPS 75682 HAS SOUS 70806 HAS SOUPS 70806 WITH SCORE 70881.682
AT ITER 131 NEW BEST:: SOT 198747 SOS 75680 HAS SOPS 75680 HAS SOUS 70804 HAS SOUPS 70804 WITH SCORE 70879.68
AT ITER 137 NEW BEST:: SOT 196594 SOS 73565 HAS SOPS 73565 HAS SOUS 68689 HAS SOUPS 68689 WITH SCORE 68762.565
AT ITER 140 NEW BEST:: SOT 196592 SOS 73561 HAS SOPS 73561 HAS SOUS 68685 HAS SOUPS 68685 WITH SCORE 68758.561
AT ITER 141 NEW BEST:: SOT 196545 SOS 73507 HAS SOPS 73507 HAS SOUS 68631 HAS SOUPS 68631 WITH SCORE 68704.507
AT ITER 162 NEW BEST:: SOT 196462 SOS 73424 HAS SOPS 73424 HAS SOUS 68548 HAS SOUPS 68548 WITH SCORE 68621.424
AT ITER 172 NEW BEST:: SOT 196445 SOS 73422 HAS SOPS 73422 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68620.422
AT ITER 178 NEW BEST:: SOT 196445 SOS 73390 HAS SOPS 73390 HAS SOUS 68515 HAS SOUPS 68515 WITH SCORE 68588.39
AT ITER 179 NEW BEST:: SOT 196445 SOS 73333 HAS SOPS 73333 HAS SOUS 68458 HAS SOUPS 68458 WITH SCORE 68531.333
AT ITER 218 NEW BEST:: SOT 196445 SOS 73317 HAS SOPS 73317 HAS SOUS 68442 HAS SOUPS 68442 WITH SCORE 68515.317
AT ITER 221 NEW BEST:: SOT 196275 SOS 73155 HAS SOPS 73155 HAS SOUS 68327 HAS SOUPS 68327 WITH SCORE 68400.155
AT ITER 229 NEW BEST:: SOT 196275 SOS 72997 HAS SOPS 72997 HAS SOUS 68169 HAS SOUPS 68169 WITH SCORE 68241.997
AT ITER 230 NEW BEST:: SOT 196275 SOS 72843 HAS SOPS 72843 HAS SOUS 68051 HAS SOUPS 68051 WITH SCORE 68123.843
AT ITER 239 NEW BEST:: SOT 196334 SOS 72822 HAS SOPS 72822 HAS SOUS 68030 HAS SOUPS 68030 WITH SCORE 68102.822
AT ITER 242 NEW BEST:: SOT 196334 SOS 72802 HAS SOPS 72802 HAS SOUS 68028 HAS SOUPS 68028 WITH SCORE 68100.802
AT ITER 245 NEW BEST:: SOT 196334 SOS 72768 HAS SOPS 72768 HAS SOUS 67994 HAS SOUPS 67994 WITH SCORE 68066.768
AT ITER 248 NEW BEST:: SOT 196292 SOS 72820 HAS SOPS 72820 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68024.82
AT ITER 249 NEW BEST:: SOT 196366 SOS 72881 HAS SOPS 72881 HAS SOUS 67750 HAS SOUPS 67750 WITH SCORE 67822.881
AT ITER 263 NEW BEST:: SOT 196365 SOS 72879 HAS SOPS 72879 HAS SOUS 67748 HAS SOUPS 67748 WITH SCORE 67820.879
AT ITER 264 NEW BEST:: SOT 196357 SOS 72863 HAS SOPS 72863 HAS SOUS 67732 HAS SOUPS 67732 WITH SCORE 67804.863
AT ITER 266 NEW BEST:: SOT 196357 SOS 72792 HAS SOPS 72792 HAS SOUS 67661 HAS SOUPS 67661 WITH SCORE 67733.792
AT ITER 279 NEW BEST:: SOT 196356 SOS 72791 HAS SOPS 72791 HAS SOUS 67660 HAS SOUPS 67660 WITH SCORE 67732.791
AT ITER 288 NEW BEST:: SOT 196356 SOS 72792 HAS SOPS 72792 HAS SOUS 67657 HAS SOUPS 67657 WITH SCORE 67729.792
AT ITER 289 NEW BEST:: SOT 196384 SOS 72723 HAS SOPS 72723 HAS SOUS 67588 HAS SOUPS 67588 WITH SCORE 67660.723
AT ITER 304 NEW BEST:: SOT 196261 SOS 72716 HAS SOPS 72716 HAS SOUS 67581 HAS SOUPS 67581 WITH SCORE 67653.716
AT ITER 308 NEW BEST:: SOT 195983 SOS 72438 HAS SOPS 72438 HAS SOUS 67426 HAS SOUPS 67426 WITH SCORE 67498.438
AT ITER 319 NEW BEST:: SOT 195925 SOS 72380 HAS SOPS 72380 HAS SOUS 67368 HAS SOUPS 67368 WITH SCORE 67440.38
AT ITER 323 NEW BEST:: SOT 195840 SOS 72210 HAS SOPS 72210 HAS SOUS 67283 HAS SOUPS 67283 WITH SCORE 67355.21
AT ITER 330 NEW BEST:: SOT 195670 SOS 71966 HAS SOPS 71966 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 67195.966
AT ITER 344 NEW BEST:: SOT 195613 SOS 71861 HAS SOPS 71861 HAS SOUS 67019 HAS SOUPS 67019 WITH SCORE 67090.861
AT ITER 345 NEW BEST:: SOT 195590 SOS 71827 HAS SOPS 71827 HAS SOUS 66985 HAS SOUPS 66985 WITH SCORE 67056.827
AT ITER 352 NEW BEST:: SOT 195581 SOS 71809 HAS SOPS 71809 HAS SOUS 66967 HAS SOUPS 66967 WITH SCORE 67038.809
AT ITER 363 NEW BEST:: SOT 195335 SOS 71490 HAS SOPS 71490 HAS SOUS 66826 HAS SOUPS 66826 WITH SCORE 66897.49
AT ITER 370 NEW BEST:: SOT 195296 SOS 71487 HAS SOPS 71487 HAS SOUS 66823 HAS SOUPS 66823 WITH SCORE 66894.487
AT ITER 375 NEW BEST:: SOT 195288 SOS 71470 HAS SOPS 71470 HAS SOUS 66806 HAS SOUPS 66806 WITH SCORE 66877.47
AT ITER 385 NEW BEST:: SOT 195276 SOS 71446 HAS SOPS 71446 HAS SOUS 66782 HAS SOUPS 66782 WITH SCORE 66853.446
AT ITER 389 NEW BEST:: SOT 195182 SOS 71578 HAS SOPS 71578 HAS SOUS 66741 HAS SOUPS 66741 WITH SCORE 66812.578
AT ITER 391 NEW BEST:: SOT 195181 SOS 71576 HAS SOPS 71576 HAS SOUS 66739 HAS SOUPS 66739 WITH SCORE 66810.576
AT ITER 397 NEW BEST:: SOT 195039 SOS 71381 HAS SOPS 71381 HAS SOUS 66544 HAS SOUPS 66544 WITH SCORE 66615.381
AT ITER 410 NEW BEST:: SOT 195012 SOS 71354 HAS SOPS 71354 HAS SOUS 66517 HAS SOUPS 66517 WITH SCORE 66588.354
AT ITER 416 NEW BEST:: SOT 195125 SOS 71351 HAS SOPS 71351 HAS SOUS 66514 HAS SOUPS 66514 WITH SCORE 66585.351
AT ITER 422 NEW BEST:: SOT 195034 SOS 71364 HAS SOPS 71364 HAS SOUS 66469 HAS SOUPS 66469 WITH SCORE 66540.364
AT ITER 448 NEW BEST:: SOT 195049 SOS 71307 HAS SOPS 71307 HAS SOUS 66377 HAS SOUPS 66377 WITH SCORE 66448.307
AT ITER 450 NEW BEST:: SOT 195026 SOS 71261 HAS SOPS 71261 HAS SOUS 66354 HAS SOUPS 66354 WITH SCORE 66425.261
AT ITER 456 NEW BEST:: SOT 194982 SOS 72035 HAS SOPS 72035 HAS SOUS 66324 HAS SOUPS 66324 WITH SCORE 66396.035
AT ITER 473 NEW BEST:: SOT 194946 SOS 71963 HAS SOPS 71963 HAS SOUS 66252 HAS SOUPS 66252 WITH SCORE 66323.963
AT ITER 478 NEW BEST:: SOT 195059 SOS 71993 HAS SOPS 71993 HAS SOUS 66139 HAS SOUPS 66139 WITH SCORE 66210.993
AT ITER 481 NEW BEST:: SOT 194951 SOS 71919 HAS SOPS 71919 HAS SOUS 66065 HAS SOUPS 66065 WITH SCORE 66136.919
AT ITER 491 NEW BEST:: SOT 194947 SOS 71852 HAS SOPS 71852 HAS SOUS 65998 HAS SOUPS 65998 WITH SCORE 66069.852
AT ITER 512 NEW BEST:: SOT 194947 SOS 71852 HAS SOPS 71852 HAS SOUS 65996 HAS SOUPS 65996 WITH SCORE 66067.852
AT ITER 515 NEW BEST:: SOT 194961 SOS 71625 HAS SOPS 71625 HAS SOUS 65769 HAS SOUPS 65769 WITH SCORE 65840.625
AT ITER 516 NEW BEST:: SOT 194821 SOS 71336 HAS SOPS 71336 HAS SOUS 65598 HAS SOUPS 65598 WITH SCORE 65669.336
AT ITER 518 NEW BEST:: SOT 194816 SOS 71331 HAS SOPS 71331 HAS SOUS 65593 HAS SOUPS 65593 WITH SCORE 65664.331
AT ITER 521 NEW BEST:: SOT 194794 SOS 71315 HAS SOPS 71315 HAS SOUS 65577 HAS SOUPS 65577 WITH SCORE 65648.315
AT ITER 522 NEW BEST:: SOT 194794 SOS 71314 HAS SOPS 71314 HAS SOUS 65576 HAS SOUPS 65576 WITH SCORE 65647.314
AT ITER 528 NEW BEST:: SOT 194582 SOS 70968 HAS SOPS 70968 HAS SOUS 65230 HAS SOUPS 65230 WITH SCORE 65300.968
AT ITER 529 NEW BEST:: SOT 194582 SOS 70898 HAS SOPS 70898 HAS SOUS 65123 HAS SOUPS 65123 WITH SCORE 65193.898
AT ITER 548 NEW BEST:: SOT 194420 SOS 70676 HAS SOPS 70676 HAS SOUS 64901 HAS SOUPS 64901 WITH SCORE 64971.676
AT ITER 648 NEW BEST:: SOT 194420 SOS 70495 HAS SOPS 70495 HAS SOUS 64671 HAS SOUPS 64671 WITH SCORE 64741.495
AT ITER 654 NEW BEST:: SOT 194417 SOS 70489 HAS SOPS 70489 HAS SOUS 64667 HAS SOUPS 64667 WITH SCORE 64737.489
AT ITER 655 NEW BEST:: SOT 194413 SOS 70264 HAS SOPS 70264 HAS SOUS 64442 HAS SOUPS 64442 WITH SCORE 64512.264
AT ITER 665 NEW BEST:: SOT 194413 SOS 70242 HAS SOPS 70242 HAS SOUS 64420 HAS SOUPS 64420 WITH SCORE 64490.242
AT ITER 669 NEW BEST:: SOT 194382 SOS 70180 HAS SOPS 70180 HAS SOUS 64358 HAS SOUPS 64358 WITH SCORE 64428.18
AT ITER 674 NEW BEST:: SOT 194308 SOS 70195 HAS SOPS 70195 HAS SOUS 64282 HAS SOUPS 64282 WITH SCORE 64352.195
AT ITER 685 NEW BEST:: SOT 194308 SOS 70175 HAS SOPS 70175 HAS SOUS 64262 HAS SOUPS 64262 WITH SCORE 64332.175
AT ITER 690 NEW BEST:: SOT 194283 SOS 70125 HAS SOPS 70125 HAS SOUS 64237 HAS SOUPS 64237 WITH SCORE 64307.125
AT ITER 694 NEW BEST:: SOT 194342 SOS 70006 HAS SOPS 70006 HAS SOUS 64118 HAS SOUPS 64118 WITH SCORE 64188.006
AT ITER 702 NEW BEST:: SOT 194342 SOS 69932 HAS SOPS 69932 HAS SOUS 64044 HAS SOUPS 64044 WITH SCORE 64113.932
AT ITER 728 NEW BEST:: SOT 194290 SOS 69932 HAS SOPS 69932 HAS SOUS 64043 HAS SOUPS 64043 WITH SCORE 64112.932
AT ITER 731 NEW BEST:: SOT 194331 SOS 69829 HAS SOPS 69829 HAS SOUS 63881 HAS SOUPS 63881 WITH SCORE 63950.829
AT ITER 732 NEW BEST:: SOT 194331 SOS 69751 HAS SOPS 69751 HAS SOUS 63803 HAS SOUPS 63803 WITH SCORE 63872.751
AT ITER 739 NEW BEST:: SOT 194328 SOS 69746 HAS SOPS 69746 HAS SOUS 63798 HAS SOUPS 63798 WITH SCORE 63867.746
AT ITER 752 NEW BEST:: SOT 194328 SOS 69604 HAS SOPS 69604 HAS SOUS 63656 HAS SOUPS 63656 WITH SCORE 63725.604
AT ITER 765 NEW BEST:: SOT 194259 SOS 69487 HAS SOPS 69487 HAS SOUS 63539 HAS SOUPS 63539 WITH SCORE 63608.487
AT ITER 773 NEW BEST:: SOT 194218 SOS 69405 HAS SOPS 69405 HAS SOUS 63457 HAS SOUPS 63457 WITH SCORE 63526.405
AT ITER 781 NEW BEST:: SOT 194191 SOS 69351 HAS SOPS 69351 HAS SOUS 63438 HAS SOUPS 63438 WITH SCORE 63507.351
AT ITER 782 NEW BEST:: SOT 194191 SOS 69327 HAS SOPS 69327 HAS SOUS 63414 HAS SOUPS 63414 WITH SCORE 63483.327
AT ITER 787 NEW BEST:: SOT 194186 SOS 69312 HAS SOPS 69312 HAS SOUS 63399 HAS SOUPS 63399 WITH SCORE 63468.312
AT ITER 790 NEW BEST:: SOT 194229 SOS 69312 HAS SOPS 69312 HAS SOUS 63356 HAS SOUPS 63356 WITH SCORE 63425.312
AT ITER 791 NEW BEST:: SOT 194185 SOS 69267 HAS SOPS 69267 HAS SOUS 63311 HAS SOUPS 63311 WITH SCORE 63380.267
AT ITER 807 NEW BEST:: SOT 194023 SOS 69187 HAS SOPS 69187 HAS SOUS 63231 HAS SOUPS 63231 WITH SCORE 63300.187
AT ITER 818 NEW BEST:: SOT 193845 SOS 68837 HAS SOPS 68837 HAS SOUS 62881 HAS SOUPS 62881 WITH SCORE 62949.837
AT ITER 831 NEW BEST:: SOT 193844 SOS 68835 HAS SOPS 68835 HAS SOUS 62879 HAS SOUPS 62879 WITH SCORE 62947.835
AT ITER 843 NEW BEST:: SOT 193666 SOS 68706 HAS SOPS 68706 HAS SOUS 62750 HAS SOUPS 62750 WITH SCORE 62818.706
AT ITER 849 NEW BEST:: SOT 193823 SOS 68659 HAS SOPS 68659 HAS SOUS 62703 HAS SOUPS 62703 WITH SCORE 62771.659
AT ITER 850 NEW BEST:: SOT 193818 SOS 68649 HAS SOPS 68649 HAS SOUS 62693 HAS SOUPS 62693 WITH SCORE 62761.649
AT ITER 856 NEW BEST:: SOT 193788 SOS 68139 HAS SOPS 68139 HAS SOUS 62633 HAS SOUPS 62633 WITH SCORE 62701.139
AT ITER 872 NEW BEST:: SOT 193788 SOS 68067 HAS SOPS 68067 HAS SOUS 62561 HAS SOUPS 62561 WITH SCORE 62629.067
AT ITER 880 NEW BEST:: SOT 193992 SOS 68058 HAS SOPS 68058 HAS SOUS 62552 HAS SOUPS 62552 WITH SCORE 62620.058
AT ITER 889 NEW BEST:: SOT 193977 SOS 68027 HAS SOPS 68027 HAS SOUS 62521 HAS SOUPS 62521 WITH SCORE 62589.027
AT ITER 895 NEW BEST:: SOT 193929 SOS 67979 HAS SOPS 67979 HAS SOUS 62472 HAS SOUPS 62472 WITH SCORE 62539.979
AT ITER 907 NEW BEST:: SOT 193829 SOS 67885 HAS SOPS 67885 HAS SOUS 62374 HAS SOUPS 62374 WITH SCORE 62441.885
AT ITER 915 NEW BEST:: SOT 193765 SOS 67789 HAS SOPS 67789 HAS SOUS 62278 HAS SOUPS 62278 WITH SCORE 62345.789
AT ITER 924 NEW BEST:: SOT 193728 SOS 67807 HAS SOPS 67807 HAS SOUS 62229 HAS SOUPS 62229 WITH SCORE 62296.807
AT ITER 930 NEW BEST:: SOT 193774 SOS 67806 HAS SOPS 67806 HAS SOUS 62228 HAS SOUPS 62228 WITH SCORE 62295.806
AT ITER 931 NEW BEST:: SOT 193756 SOS 67770 HAS SOPS 67770 HAS SOUS 62192 HAS SOUPS 62192 WITH SCORE 62259.77
AT ITER 935 NEW BEST:: SOT 193792 SOS 67636 HAS SOPS 67636 HAS SOUS 62058 HAS SOUPS 62058 WITH SCORE 62125.636
AT ITER 952 NEW BEST:: SOT 193787 SOS 67626 HAS SOPS 67626 HAS SOUS 62048 HAS SOUPS 62048 WITH SCORE 62115.626
AT ITER 954 NEW BEST:: SOT 193742 SOS 67536 HAS SOPS 67536 HAS SOUS 61958 HAS SOUPS 61958 WITH SCORE 62025.536
AT ITER 962 NEW BEST:: SOT 190309 SOS 65210 HAS SOPS 65210 HAS SOUS 58631 HAS SOUPS 58631 WITH SCORE 58696.21
AT ITER 963 NEW BEST:: SOT 190251 SOS 65152 HAS SOPS 65152 HAS SOUS 58602 HAS SOUPS 58602 WITH SCORE 58667.152
AT ITER 972 NEW BEST:: SOT 190063 SOS 65013 HAS SOPS 65013 HAS SOUS 58517 HAS SOUPS 58517 WITH SCORE 58582.013
AT ITER 977 NEW BEST:: SOT 190063 SOS 64917 HAS SOPS 64917 HAS SOUS 58421 HAS SOUPS 58421 WITH SCORE 58485.917
AT ITER 979 NEW BEST:: SOT 190054 SOS 64899 HAS SOPS 64899 HAS SOUS 58414 HAS SOUPS 58414 WITH SCORE 58478.899
AT ITER 980 NEW BEST:: SOT 190020 SOS 64820 HAS SOPS 64820 HAS SOUS 58335 HAS SOUPS 58335 WITH SCORE 58399.82
AT ITER 991 NEW BEST:: SOT 190019 SOS 64819 HAS SOPS 64819 HAS SOUS 58334 HAS SOUPS 58334 WITH SCORE 58398.819
AT ITER 1005 NEW BEST:: SOT 189955 SOS 64762 HAS SOPS 64762 HAS SOUS 58277 HAS SOUPS 58277 WITH SCORE 58341.762
AT ITER 1006 NEW BEST:: SOT 189801 SOS 64700 HAS SOPS 64700 HAS SOUS 58215 HAS SOUPS 58215 WITH SCORE 58279.7
AT ITER 1012 NEW BEST:: SOT 189753 SOS 64652 HAS SOPS 64652 HAS SOUS 58215 HAS SOUPS 58215 WITH SCORE 58279.652
AT ITER 1015 NEW BEST:: SOT 189753 SOS 64652 HAS SOPS 64652 HAS SOUS 58212 HAS SOUPS 58212 WITH SCORE 58276.652
AT ITER 1029 NEW BEST:: SOT 189699 SOS 64604 HAS SOPS 64604 HAS SOUS 58164 HAS SOUPS 58164 WITH SCORE 58228.604
AT ITER 1041 NEW BEST:: SOT 189694 SOS 64599 HAS SOPS 64599 HAS SOUS 58159 HAS SOUPS 58159 WITH SCORE 58223.599
AT ITER 1048 NEW BEST:: SOT 189676 SOS 64545 HAS SOPS 64545 HAS SOUS 58105 HAS SOUPS 58105 WITH SCORE 58169.545
AT ITER 1067 NEW BEST:: SOT 189579 SOS 64454 HAS SOPS 64454 HAS SOUS 58013 HAS SOUPS 58013 WITH SCORE 58077.454
AT ITER 1075 NEW BEST:: SOT 189422 SOS 64296 HAS SOPS 64296 HAS SOUS 57957 HAS SOUPS 57957 WITH SCORE 58021.296
AT ITER 1085 NEW BEST:: SOT 189354 SOS 64091 HAS SOPS 64091 HAS SOUS 57752 HAS SOUPS 57752 WITH SCORE 57816.091
AT ITER 1100 NEW BEST:: SOT 189296 SOS 64033 HAS SOPS 64033 HAS SOUS 57694 HAS SOUPS 57694 WITH SCORE 57758.033
AT ITER 1115 NEW BEST:: SOT 189294 SOS 64026 HAS SOPS 64026 HAS SOUS 57687 HAS SOUPS 57687 WITH SCORE 57751.026
AT ITER 1116 NEW BEST:: SOT 189297 SOS 63993 HAS SOPS 63993 HAS SOUS 57615 HAS SOUPS 57615 WITH SCORE 57678.993
AT ITER 1141 NEW BEST:: SOT 189238 SOS 63874 HAS SOPS 63874 HAS SOUS 57600 HAS SOUPS 57600 WITH SCORE 57663.874
AT ITER 1173 NEW BEST:: SOT 189218 SOS 63854 HAS SOPS 63854 HAS SOUS 57600 HAS SOUPS 57600 WITH SCORE 57663.854
AT ITER 1174 NEW BEST:: SOT 189025 SOS 63684 HAS SOPS 63684 HAS SOUS 57446 HAS SOUPS 57446 WITH SCORE 57509.684
AT ITER 1182 NEW BEST:: SOT 188920 SOS 63471 HAS SOPS 63471 HAS SOUS 57391 HAS SOUPS 57391 WITH SCORE 57454.471
AT ITER 1184 NEW BEST:: SOT 188911 SOS 63261 HAS SOPS 63261 HAS SOUS 57370 HAS SOUPS 57370 WITH SCORE 57433.261
AT ITER 1186 NEW BEST:: SOT 188908 SOS 63258 HAS SOPS 63258 HAS SOUS 57367 HAS SOUPS 57367 WITH SCORE 57430.258
AT ITER 1192 NEW BEST:: SOT 188949 SOS 63299 HAS SOPS 63299 HAS SOUS 57358 HAS SOUPS 57358 WITH SCORE 57421.299
AT ITER 1199 NEW BEST:: SOT 188948 SOS 63297 HAS SOPS 63297 HAS SOUS 57356 HAS SOUPS 57356 WITH SCORE 57419.297
AT ITER 1205 NEW BEST:: SOT 188989 SOS 63362 HAS SOPS 63362 HAS SOUS 57207 HAS SOUPS 57207 WITH SCORE 57270.362
AT ITER 1208 NEW BEST:: SOT 188989 SOS 63274 HAS SOPS 63274 HAS SOUS 57164 HAS SOUPS 57164 WITH SCORE 57227.274
AT ITER 1217 NEW BEST:: SOT 188810 SOS 63068 HAS SOPS 63068 HAS SOUS 56958 HAS SOUPS 56958 WITH SCORE 57021.068
AT ITER 1220 NEW BEST:: SOT 188809 SOS 63066 HAS SOPS 63066 HAS SOUS 56956 HAS SOUPS 56956 WITH SCORE 57019.066
AT ITER 1224 NEW BEST:: SOT 188761 SOS 62970 HAS SOPS 62970 HAS SOUS 56860 HAS SOUPS 56860 WITH SCORE 56922.97
AT ITER 1226 NEW BEST:: SOT 188756 SOS 62942 HAS SOPS 62942 HAS SOUS 56832 HAS SOUPS 56832 WITH SCORE 56894.942
AT ITER 1227 NEW BEST:: SOT 188511 SOS 62870 HAS SOPS 62870 HAS SOUS 56760 HAS SOUPS 56760 WITH SCORE 56822.87
AT ITER 1236 NEW BEST:: SOT 188541 SOS 62856 HAS SOPS 62856 HAS SOUS 56746 HAS SOUPS 56746 WITH SCORE 56808.856
AT ITER 1239 NEW BEST:: SOT 188459 SOS 62516 HAS SOPS 62516 HAS SOUS 56597 HAS SOUPS 56597 WITH SCORE 56659.516
AT ITER 1242 NEW BEST:: SOT 188449 SOS 62388 HAS SOPS 62388 HAS SOUS 56469 HAS SOUPS 56469 WITH SCORE 56531.388
AT ITER 1249 NEW BEST:: SOT 188498 SOS 62277 HAS SOPS 62277 HAS SOUS 56452 HAS SOUPS 56452 WITH SCORE 56514.277
AT ITER 1255 NEW BEST:: SOT 188460 SOS 62239 HAS SOPS 62239 HAS SOUS 56414 HAS SOUPS 56414 WITH SCORE 56476.239
AT ITER 1275 NEW BEST:: SOT 188458 SOS 62235 HAS SOPS 62235 HAS SOUS 56410 HAS SOUPS 56410 WITH SCORE 56472.235
AT ITER 1283 NEW BEST:: SOT 188548 SOS 62321 HAS SOPS 62321 HAS SOUS 56406 HAS SOUPS 56406 WITH SCORE 56468.321
AT ITER 1285 NEW BEST:: SOT 188494 SOS 62285 HAS SOPS 62285 HAS SOUS 56370 HAS SOUPS 56370 WITH SCORE 56432.285
AT ITER 1292 NEW BEST:: SOT 188479 SOS 62255 HAS SOPS 62255 HAS SOUS 56340 HAS SOUPS 56340 WITH SCORE 56402.255
AT ITER 1319 NEW BEST:: SOT 188464 SOS 62240 HAS SOPS 62240 HAS SOUS 56325 HAS SOUPS 56325 WITH SCORE 56387.24
AT ITER 1323 NEW BEST:: SOT 188416 SOS 62174 HAS SOPS 62174 HAS SOUS 56259 HAS SOUPS 56259 WITH SCORE 56321.174
AT ITER 1324 NEW BEST:: SOT 188407 SOS 62164 HAS SOPS 62164 HAS SOUS 56257 HAS SOUPS 56257 WITH SCORE 56319.164
AT ITER 1338 NEW BEST:: SOT 188407 SOS 62144 HAS SOPS 62144 HAS SOUS 56237 HAS SOUPS 56237 WITH SCORE 56299.144
AT ITER 1354 NEW BEST:: SOT 188352 SOS 62034 HAS SOPS 62034 HAS SOUS 56127 HAS SOUPS 56127 WITH SCORE 56189.034
AT ITER 1383 NEW BEST:: SOT 188325 SOS 62007 HAS SOPS 62007 HAS SOUS 56100 HAS SOUPS 56100 WITH SCORE 56162.007
AT ITER 1390 NEW BEST:: SOT 188324 SOS 61913 HAS SOPS 61913 HAS SOUS 56006 HAS SOUPS 56006 WITH SCORE 56067.913
AT ITER 1407 NEW BEST:: SOT 188313 SOS 61906 HAS SOPS 61906 HAS SOUS 55999 HAS SOUPS 55999 WITH SCORE 56060.906
AT ITER 1416 NEW BEST:: SOT 188309 SOS 61901 HAS SOPS 61901 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56058.901
AT ITER 1424 NEW BEST:: SOT 188306 SOS 62231 HAS SOPS 62231 HAS SOUS 55994 HAS SOUPS 55994 WITH SCORE 56056.231
AT ITER 1436 NEW BEST:: SOT 188306 SOS 62168 HAS SOPS 62168 HAS SOUS 55931 HAS SOUPS 55931 WITH SCORE 55993.168
AT ITER 1475 NEW BEST:: SOT 188254 SOS 62041 HAS SOPS 62041 HAS SOUS 55804 HAS SOUPS 55804 WITH SCORE 55866.041
AT ITER 1486 NEW BEST:: SOT 188306 SOS 61977 HAS SOPS 61977 HAS SOUS 55800 HAS SOUPS 55800 WITH SCORE 55861.977
AT ITER 1494 NEW BEST:: SOT 188306 SOS 61956 HAS SOPS 61956 HAS SOUS 55779 HAS SOUPS 55779 WITH SCORE 55840.956
AT ITER 1500 NEW BEST:: SOT 188306 SOS 61915 HAS SOPS 61915 HAS SOUS 55738 HAS SOUPS 55738 WITH SCORE 55799.915
AT ITER 1520 NEW BEST:: SOT 188284 SOS 61893 HAS SOPS 61893 HAS SOUS 55716 HAS SOUPS 55716 WITH SCORE 55777.893
AT ITER 1527 NEW BEST:: SOT 188022 SOS 61525 HAS SOPS 61525 HAS SOUS 55454 HAS SOUPS 55454 WITH SCORE 55515.525
AT ITER 1532 NEW BEST:: SOT 188016 SOS 61427 HAS SOPS 61427 HAS SOUS 55363 HAS SOUPS 55363 WITH SCORE 55424.427
AT ITER 1533 NEW BEST:: SOT 188007 SOS 61409 HAS SOPS 61409 HAS SOUS 55345 HAS SOUPS 55345 WITH SCORE 55406.409
AT ITER 1534 NEW BEST:: SOT 187860 SOS 61202 HAS SOPS 61202 HAS SOUS 55138 HAS SOUPS 55138 WITH SCORE 55199.202
AT ITER 1545 NEW BEST:: SOT 187816 SOS 61114 HAS SOPS 61114 HAS SOUS 55050 HAS SOUPS 55050 WITH SCORE 55111.114
AT ITER 1556 NEW BEST:: SOT 187796 SOS 61094 HAS SOPS 61094 HAS SOUS 55050 HAS SOUPS 55050 WITH SCORE 55111.094
AT ITER 1561 NEW BEST:: SOT 187726 SOS 60833 HAS SOPS 60833 HAS SOUS 54738 HAS SOUPS 54738 WITH SCORE 54798.833
AT ITER 1562 NEW BEST:: SOT 187673 SOS 60619 HAS SOPS 60619 HAS SOUS 54524 HAS SOUPS 54524 WITH SCORE 54584.619
AT ITER 1568 NEW BEST:: SOT 187673 SOS 60419 HAS SOPS 60419 HAS SOUS 54324 HAS SOUPS 54324 WITH SCORE 54384.419
AT ITER 1579 NEW BEST:: SOT 187636 SOS 60382 HAS SOPS 60382 HAS SOUS 54287 HAS SOUPS 54287 WITH SCORE 54347.382
AT ITER 1599 NEW BEST:: SOT 185604 SOS 58223 HAS SOPS 58223 HAS SOUS 52128 HAS SOUPS 52128 WITH SCORE 52186.223
AT ITER 1600 NEW BEST:: SOT 185604 SOS 58219 HAS SOPS 58219 HAS SOUS 52127 HAS SOUPS 52127 WITH SCORE 52185.219
AT ITER 1617 NEW BEST:: SOT 185546 SOS 58149 HAS SOPS 58149 HAS SOUS 52057 HAS SOUPS 52057 WITH SCORE 52115.149
AT ITER 1622 NEW BEST:: SOT 185552 SOS 58149 HAS SOPS 58149 HAS SOUS 52051 HAS SOUPS 52051 WITH SCORE 52109.149
AT ITER 1648 NEW BEST:: SOT 185361 SOS 57934 HAS SOPS 57934 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52060.934
AT ITER 1665 NEW BEST:: SOT 185361 SOS 57929 HAS SOPS 57929 HAS SOUS 51998 HAS SOUPS 51998 WITH SCORE 52055.929
AT ITER 1666 NEW BEST:: SOT 185393 SOS 57960 HAS SOPS 57960 HAS SOUS 51997 HAS SOUPS 51997 WITH SCORE 52054.96
AT ITER 1667 NEW BEST:: SOT 185060 SOS 57810 HAS SOPS 57810 HAS SOUS 51937 HAS SOUPS 51937 WITH SCORE 51994.81
AT ITER 1669 NEW BEST:: SOT 184993 SOS 57676 HAS SOPS 57676 HAS SOUS 51870 HAS SOUPS 51870 WITH SCORE 51927.676
AT ITER 1671 NEW BEST:: SOT 185077 SOS 57748 HAS SOPS 57748 HAS SOUS 51839 HAS SOUPS 51839 WITH SCORE 51896.748
AT ITER 1679 NEW BEST:: SOT 185076 SOS 57747 HAS SOPS 57747 HAS SOUS 51838 HAS SOUPS 51838 WITH SCORE 51895.747
AT ITER 1688 NEW BEST:: SOT 185066 SOS 57727 HAS SOPS 57727 HAS SOUS 51818 HAS SOUPS 51818 WITH SCORE 51875.727
AT ITER 1715 NEW BEST:: SOT 185186 SOS 57835 HAS SOPS 57835 HAS SOUS 51806 HAS SOUPS 51806 WITH SCORE 51863.835
AT ITER 1716 NEW BEST:: SOT 185186 SOS 57814 HAS SOPS 57814 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51817.814
AT ITER 1721 NEW BEST:: SOT 185206 SOS 57734 HAS SOPS 57734 HAS SOUS 51660 HAS SOUPS 51660 WITH SCORE 51717.734
AT ITER 1742 NEW BEST:: SOT 185206 SOS 57733 HAS SOPS 57733 HAS SOUS 51659 HAS SOUPS 51659 WITH SCORE 51716.733
AT ITER 1764 NEW BEST:: SOT 185205 SOS 57726 HAS SOPS 57726 HAS SOUS 51657 HAS SOUPS 51657 WITH SCORE 51714.726
AT ITER 1766 NEW BEST:: SOT 185229 SOS 57774 HAS SOPS 57774 HAS SOUS 51651 HAS SOUPS 51651 WITH SCORE 51708.774
AT ITER 1783 NEW BEST:: SOT 185205 SOS 57655 HAS SOPS 57655 HAS SOUS 51532 HAS SOUPS 51532 WITH SCORE 51589.655
AT ITER 1807 NEW BEST:: SOT 183834 SOS 80906 HAS SOPS 80906 HAS SOUS 51008 HAS SOUPS 51008 WITH SCORE 51088.906
AT ITER 1821 NEW BEST:: SOT 183834 SOS 80906 HAS SOPS 80906 HAS SOUS 50935 HAS SOUPS 50935 WITH SCORE 51015.906
AT ITER 1826 NEW BEST:: SOT 183754 SOS 80746 HAS SOPS 80746 HAS SOUS 50882 HAS SOUPS 50882 WITH SCORE 50962.746
AT ITER 1828 NEW BEST:: SOT 183824 SOS 80825 HAS SOPS 80825 HAS SOUS 50877 HAS SOUPS 50877 WITH SCORE 50957.825
AT ITER 1829 NEW BEST:: SOT 181749 SOS 80680 HAS SOPS 80680 HAS SOUS 49194 HAS SOUPS 49194 WITH SCORE 49274.68
AT ITER 1838 NEW BEST:: SOT 181749 SOS 80669 HAS SOPS 80669 HAS SOUS 49183 HAS SOUPS 49183 WITH SCORE 49263.669
AT ITER 1844 NEW BEST:: SOT 181751 SOS 80671 HAS SOPS 80671 HAS SOUS 49177 HAS SOUPS 49177 WITH SCORE 49257.671
AT ITER 1853 NEW BEST:: SOT 181741 SOS 80661 HAS SOPS 80661 HAS SOUS 49167 HAS SOUPS 49167 WITH SCORE 49247.661
AT ITER 1856 NEW BEST:: SOT 181689 SOS 80609 HAS SOPS 80609 HAS SOUS 49115 HAS SOUPS 49115 WITH SCORE 49195.609
AT ITER 1875 NEW BEST:: SOT 181605 SOS 80488 HAS SOPS 80488 HAS SOUS 49071 HAS SOUPS 49071 WITH SCORE 49151.488
AT ITER 1878 NEW BEST:: SOT 181597 SOS 80472 HAS SOPS 80472 HAS SOUS 49055 HAS SOUPS 49055 WITH SCORE 49135.472
AT ITER 1890 NEW BEST:: SOT 181598 SOS 80369 HAS SOPS 80369 HAS SOUS 48995 HAS SOUPS 48995 WITH SCORE 49075.369
AT ITER 1915 NEW BEST:: SOT 181484 SOS 80234 HAS SOPS 80234 HAS SOUS 48994 HAS SOUPS 48994 WITH SCORE 49074.234
AT ITER 1943 NEW BEST:: SOT 181482 SOS 80232 HAS SOPS 80232 HAS SOUS 48994 HAS SOUPS 48994 WITH SCORE 49074.232
AT ITER 1953 NEW BEST:: SOT 181621 SOS 80350 HAS SOPS 80350 HAS SOUS 48952 HAS SOUPS 48952 WITH SCORE 49032.35
AT ITER 1960 NEW BEST:: SOT 181576 SOS 80260 HAS SOPS 80260 HAS SOUS 48952 HAS SOUPS 48952 WITH SCORE 49032.26
AT ITER 1961 NEW BEST:: SOT 181604 SOS 80119 HAS SOPS 80119 HAS SOUS 48811 HAS SOUPS 48811 WITH SCORE 48891.119
AT ITER 1974 NEW BEST:: SOT 181403 SOS 79717 HAS SOPS 79717 HAS SOUS 48141 HAS SOUPS 48141 WITH SCORE 48220.717
AT ITER 1998 NEW BEST:: SOT 181402 SOS 79716 HAS SOPS 79716 HAS SOUS 48140 HAS SOUPS 48140 WITH SCORE 48219.716
AT ITER 2004 NEW BEST:: SOT 181373 SOS 79687 HAS SOPS 79687 HAS SOUS 48111 HAS SOUPS 48111 WITH SCORE 48190.687
AT ITER 2015 NEW BEST:: SOT 181111 SOS 79071 HAS SOPS 79071 HAS SOUS 47743 HAS SOUPS 47743 WITH SCORE 47822.071
AT ITER 2047 NEW BEST:: SOT 181098 SOS 78938 HAS SOPS 78938 HAS SOUS 47610 HAS SOUPS 47610 WITH SCORE 47688.938
AT ITER 2054 NEW BEST:: SOT 181098 SOS 78938 HAS SOPS 78938 HAS SOUS 47607 HAS SOUPS 47607 WITH SCORE 47685.938
AT ITER 2056 NEW BEST:: SOT 181093 SOS 78928 HAS SOPS 78928 HAS SOUS 47597 HAS SOUPS 47597 WITH SCORE 47675.928
AT ITER 2061 NEW BEST:: SOT 181074 SOS 78909 HAS SOPS 78909 HAS SOUS 47578 HAS SOUPS 47578 WITH SCORE 47656.909
AT ITER 2065 NEW BEST:: SOT 181089 SOS 78895 HAS SOPS 78895 HAS SOUS 47564 HAS SOUPS 47564 WITH SCORE 47642.895
AT ITER 2070 NEW BEST:: SOT 180817 SOS 78623 HAS SOPS 78623 HAS SOUS 47292 HAS SOUPS 47292 WITH SCORE 47370.623
AT ITER 2081 NEW BEST:: SOT 180796 SOS 78005 HAS SOPS 78005 HAS SOUS 47235 HAS SOUPS 47235 WITH SCORE 47313.005
AT ITER 2088 NEW BEST:: SOT 180796 SOS 77969 HAS SOPS 77969 HAS SOUS 47235 HAS SOUPS 47235 WITH SCORE 47312.969
AT ITER 2091 NEW BEST:: SOT 180782 SOS 77948 HAS SOPS 77948 HAS SOUS 47221 HAS SOUPS 47221 WITH SCORE 47298.948
AT ITER 2092 NEW BEST:: SOT 180705 SOS 77753 HAS SOPS 77753 HAS SOUS 47104 HAS SOUPS 47104 WITH SCORE 47181.753
AT ITER 2110 NEW BEST:: SOT 180525 SOS 77527 HAS SOPS 77527 HAS SOUS 47012 HAS SOUPS 47012 WITH SCORE 47089.527
AT ITER 2117 NEW BEST:: SOT 180310 SOS 77376 HAS SOPS 77376 HAS SOUS 46967 HAS SOUPS 46967 WITH SCORE 47044.376
AT ITER 2127 NEW BEST:: SOT 180235 SOS 77301 HAS SOPS 77301 HAS SOUS 46967 HAS SOUPS 46967 WITH SCORE 47044.301
AT ITER 2158 NEW BEST:: SOT 180196 SOS 77254 HAS SOPS 77254 HAS SOUS 46920 HAS SOUPS 46920 WITH SCORE 46997.254
AT ITER 2164 NEW BEST:: SOT 180176 SOS 77247 HAS SOPS 77247 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 46990.247
AT ITER 2167 NEW BEST:: SOT 180156 SOS 77226 HAS SOPS 77226 HAS SOUS 46911 HAS SOUPS 46911 WITH SCORE 46988.226
AT ITER 2177 NEW BEST:: SOT 180113 SOS 77143 HAS SOPS 77143 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46835.143
AT ITER 2180 NEW BEST:: SOT 180113 SOS 77137 HAS SOPS 77137 HAS SOUS 46752 HAS SOUPS 46752 WITH SCORE 46829.137
AT ITER 2192 NEW BEST:: SOT 180133 SOS 77102 HAS SOPS 77102 HAS SOUS 46691 HAS SOUPS 46691 WITH SCORE 46768.102
AT ITER 2195 NEW BEST:: SOT 180157 SOS 77093 HAS SOPS 77093 HAS SOUS 46682 HAS SOUPS 46682 WITH SCORE 46759.093
AT ITER 2212 NEW BEST:: SOT 180178 SOS 77071 HAS SOPS 77071 HAS SOUS 46660 HAS SOUPS 46660 WITH SCORE 46737.071
AT ITER 2217 NEW BEST:: SOT 180178 SOS 77071 HAS SOPS 77071 HAS SOUS 46619 HAS SOUPS 46619 WITH SCORE 46696.071
AT ITER 2220 NEW BEST:: SOT 180159 SOS 77053 HAS SOPS 77053 HAS SOUS 46601 HAS SOUPS 46601 WITH SCORE 46678.053
AT ITER 2233 NEW BEST:: SOT 180148 SOS 76958 HAS SOPS 76958 HAS SOUS 46453 HAS SOUPS 46453 WITH SCORE 46529.958
AT ITER 2247 NEW BEST:: SOT 179870 SOS 76672 HAS SOPS 76672 HAS SOUS 46444 HAS SOUPS 46444 WITH SCORE 46520.672
AT ITER 2248 NEW BEST:: SOT 179865 SOS 76594 HAS SOPS 76594 HAS SOUS 46366 HAS SOUPS 46366 WITH SCORE 46442.594
AT ITER 2255 NEW BEST:: SOT 179900 SOS 76608 HAS SOPS 76608 HAS SOUS 46345 HAS SOUPS 46345 WITH SCORE 46421.608
AT ITER 2293 NEW BEST:: SOT 179900 SOS 76587 HAS SOPS 76587 HAS SOUS 46326 HAS SOUPS 46326 WITH SCORE 46402.587
AT ITER 2314 NEW BEST:: SOT 179889 SOS 76576 HAS SOPS 76576 HAS SOUS 46315 HAS SOUPS 46315 WITH SCORE 46391.576
AT ITER 2325 NEW BEST:: SOT 179900 SOS 76574 HAS SOPS 76574 HAS SOUS 46313 HAS SOUPS 46313 WITH SCORE 46389.574
AT ITER 2328 NEW BEST:: SOT 179858 SOS 76515 HAS SOPS 76515 HAS SOUS 46279 HAS SOUPS 46279 WITH SCORE 46355.515
AT ITER 2334 NEW BEST:: SOT 179356 SOS 77038 HAS SOPS 77038 HAS SOUS 45948 HAS SOUPS 45948 WITH SCORE 46025.038
AT ITER 2342 NEW BEST:: SOT 179355 SOS 77036 HAS SOPS 77036 HAS SOUS 45947 HAS SOUPS 45947 WITH SCORE 46024.036
AT ITER 2357 NEW BEST:: SOT 179355 SOS 76962 HAS SOPS 76962 HAS SOUS 45932 HAS SOUPS 45932 WITH SCORE 46008.962
AT ITER 2358 NEW BEST:: SOT 179352 SOS 76960 HAS SOPS 76960 HAS SOUS 45929 HAS SOUPS 45929 WITH SCORE 46005.96
AT ITER 2361 NEW BEST:: SOT 179264 SOS 76706 HAS SOPS 76706 HAS SOUS 45855 HAS SOUPS 45855 WITH SCORE 45931.706
AT ITER 2366 NEW BEST:: SOT 179246 SOS 76670 HAS SOPS 76670 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45895.67
AT ITER 2370 NEW BEST:: SOT 179211 SOS 76635 HAS SOPS 76635 HAS SOUS 45819 HAS SOUPS 45819 WITH SCORE 45895.635
AT ITER 2394 NEW BEST:: SOT 179199 SOS 76623 HAS SOPS 76623 HAS SOUS 45818 HAS SOUPS 45818 WITH SCORE 45894.623
AT ITER 2395 NEW BEST:: SOT 179161 SOS 76585 HAS SOPS 76585 HAS SOUS 45818 HAS SOUPS 45818 WITH SCORE 45894.585
AT ITER 2396 NEW BEST:: SOT 179149 SOS 76585 HAS SOPS 76585 HAS SOUS 45775 HAS SOUPS 45775 WITH SCORE 45851.585
AT ITER 2397 NEW BEST:: SOT 179210 SOS 76584 HAS SOPS 76584 HAS SOUS 45713 HAS SOUPS 45713 WITH SCORE 45789.584
AT ITER 2411 NEW BEST:: SOT 179202 SOS 76525 HAS SOPS 76525 HAS SOUS 45654 HAS SOUPS 45654 WITH SCORE 45730.525
AT ITER 2418 NEW BEST:: SOT 179250 SOS 76468 HAS SOPS 76468 HAS SOUS 45597 HAS SOUPS 45597 WITH SCORE 45673.468
AT ITER 2419 NEW BEST:: SOT 179250 SOS 76453 HAS SOPS 76453 HAS SOUS 45582 HAS SOUPS 45582 WITH SCORE 45658.453
AT ITER 2430 NEW BEST:: SOT 179100 SOS 76293 HAS SOPS 76293 HAS SOUS 45562 HAS SOUPS 45562 WITH SCORE 45638.293
AT ITER 2461 NEW BEST:: SOT 179100 SOS 65227 HAS SOPS 65227 HAS SOUS 45562 HAS SOUPS 45562 WITH SCORE 45627.227
AT ITER 2511 NEW BEST:: SOT 179067 SOS 65161 HAS SOPS 65161 HAS SOUS 45496 HAS SOUPS 45496 WITH SCORE 45561.161
AT ITER 2559 NEW BEST:: SOT 179060 SOS 65145 HAS SOPS 65145 HAS SOUS 45480 HAS SOUPS 45480 WITH SCORE 45545.145
AT ITER 2582 NEW BEST:: SOT 179054 SOS 65139 HAS SOPS 65139 HAS SOUS 45474 HAS SOUPS 45474 WITH SCORE 45539.139
AT ITER 2589 NEW BEST:: SOT 178998 SOS 65027 HAS SOPS 65027 HAS SOUS 45362 HAS SOUPS 45362 WITH SCORE 45427.027
AT ITER 2593 NEW BEST:: SOT 178917 SOS 64977 HAS SOPS 64977 HAS SOUS 45312 HAS SOUPS 45312 WITH SCORE 45376.977
AT ITER 2600 NEW BEST:: SOT 178878 SOS 64899 HAS SOPS 64899 HAS SOUS 45273 HAS SOUPS 45273 WITH SCORE 45337.899
AT ITER 2613 NEW BEST:: SOT 178877 SOS 64892 HAS SOPS 64892 HAS SOUS 45267 HAS SOUPS 45267 WITH SCORE 45331.892
AT ITER 2618 NEW BEST:: SOT 178875 SOS 64890 HAS SOPS 64890 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45329.89
AT ITER 2633 NEW BEST:: SOT 178859 SOS 64892 HAS SOPS 64892 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45328.892
AT ITER 2634 NEW BEST:: SOT 178821 SOS 64141 HAS SOPS 64141 HAS SOUS 45188 HAS SOUPS 45188 WITH SCORE 45252.141
AT ITER 2646 NEW BEST:: SOT 178817 SOS 63971 HAS SOPS 63971 HAS SOUS 45118 HAS SOUPS 45118 WITH SCORE 45181.971
AT ITER 2649 NEW BEST:: SOT 178764 SOS 63865 HAS SOPS 63865 HAS SOUS 45012 HAS SOUPS 45012 WITH SCORE 45075.865
AT ITER 2684 NEW BEST:: SOT 178757 SOS 63865 HAS SOPS 63865 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45068.865
AT ITER 2709 NEW BEST:: SOT 178957 SOS 64035 HAS SOPS 64035 HAS SOUS 44945 HAS SOUPS 44945 WITH SCORE 45009.035
AT ITER 2718 NEW BEST:: SOT 178948 SOS 64017 HAS SOPS 64017 HAS SOUS 44905 HAS SOUPS 44905 WITH SCORE 44969.017
AT ITER 2719 NEW BEST:: SOT 178960 SOS 64007 HAS SOPS 64007 HAS SOUS 44895 HAS SOUPS 44895 WITH SCORE 44959.007
AT ITER 2720 NEW BEST:: SOT 178961 SOS 63987 HAS SOPS 63987 HAS SOUS 44884 HAS SOUPS 44884 WITH SCORE 44947.987
AT ITER 2750 NEW BEST:: SOT 178892 SOS 63900 HAS SOPS 63900 HAS SOUS 44797 HAS SOUPS 44797 WITH SCORE 44860.9
AT ITER 2752 NEW BEST:: SOT 178667 SOS 63675 HAS SOPS 63675 HAS SOUS 44735 HAS SOUPS 44735 WITH SCORE 44798.675
AT ITER 2757 NEW BEST:: SOT 178645 SOS 63638 HAS SOPS 63638 HAS SOUS 44698 HAS SOUPS 44698 WITH SCORE 44761.638
AT ITER 2766 NEW BEST:: SOT 178634 SOS 63634 HAS SOPS 63634 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44757.634
AT ITER 2767 NEW BEST:: SOT 178590 SOS 63556 HAS SOPS 63556 HAS SOUS 44636 HAS SOUPS 44636 WITH SCORE 44699.556
AT ITER 2769 NEW BEST:: SOT 178731 SOS 63580 HAS SOPS 63580 HAS SOUS 44522 HAS SOUPS 44522 WITH SCORE 44585.58
AT ITER 2770 NEW BEST:: SOT 178665 SOS 63481 HAS SOPS 63481 HAS SOUS 44456 HAS SOUPS 44456 WITH SCORE 44519.481
AT ITER 2776 NEW BEST:: SOT 178665 SOS 63474 HAS SOPS 63474 HAS SOUS 44456 HAS SOUPS 44456 WITH SCORE 44519.474
AT ITER 2782 NEW BEST:: SOT 178645 SOS 63453 HAS SOPS 63453 HAS SOUS 44435 HAS SOUPS 44435 WITH SCORE 44498.453
AT ITER 2804 NEW BEST:: SOT 178504 SOS 63212 HAS SOPS 63212 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44257.212
AT ITER 2814 NEW BEST:: SOT 178504 SOS 63200 HAS SOPS 63200 HAS SOUS 44182 HAS SOUPS 44182 WITH SCORE 44245.2
AT ITER 2818 NEW BEST:: SOT 178576 SOS 63287 HAS SOPS 63287 HAS SOUS 44070 HAS SOUPS 44070 WITH SCORE 44133.287
AT ITER 2819 NEW BEST:: SOT 178574 SOS 63284 HAS SOPS 63284 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44130.284
AT ITER 2825 NEW BEST:: SOT 178572 SOS 63280 HAS SOPS 63280 HAS SOUS 44065 HAS SOUPS 44065 WITH SCORE 44128.28
AT ITER 2843 NEW BEST:: SOT 178565 SOS 63218 HAS SOPS 63218 HAS SOUS 44003 HAS SOUPS 44003 WITH SCORE 44066.218
AT ITER 2844 NEW BEST:: SOT 178564 SOS 63213 HAS SOPS 63213 HAS SOUS 43998 HAS SOUPS 43998 WITH SCORE 44061.213
AT ITER 2845 NEW BEST:: SOT 178564 SOS 63195 HAS SOPS 63195 HAS SOUS 43980 HAS SOUPS 43980 WITH SCORE 44043.195
AT ITER 2863 NEW BEST:: SOT 178610 SOS 57497 HAS SOPS 57497 HAS SOUS 43901 HAS SOUPS 43901 WITH SCORE 43958.497
AT ITER 2871 NEW BEST:: SOT 178610 SOS 57494 HAS SOPS 57494 HAS SOUS 43898 HAS SOUPS 43898 WITH SCORE 43955.494
AT ITER 2884 NEW BEST:: SOT 178608 SOS 57459 HAS SOPS 57459 HAS SOUS 43894 HAS SOUPS 43894 WITH SCORE 43951.459
AT ITER 2886 NEW BEST:: SOT 178608 SOS 57456 HAS SOPS 57456 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43948.456
AT ITER 2930 NEW BEST:: SOT 178557 SOS 57303 HAS SOPS 57303 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43795.303
AT ITER 2939 NEW BEST:: SOT 178477 SOS 57152 HAS SOPS 57152 HAS SOUS 43591 HAS SOUPS 43591 WITH SCORE 43648.152
AT ITER 2948 NEW BEST:: SOT 178457 SOS 57108 HAS SOPS 57108 HAS SOUS 43553 HAS SOUPS 43553 WITH SCORE 43610.108
AT ITER 2950 NEW BEST:: SOT 178502 SOS 57153 HAS SOPS 57153 HAS SOUS 43525 HAS SOUPS 43525 WITH SCORE 43582.153
AT ITER 2952 NEW BEST:: SOT 178502 SOS 57119 HAS SOPS 57119 HAS SOUS 43491 HAS SOUPS 43491 WITH SCORE 43548.119
AT ITER 2955 NEW BEST:: SOT 178537 SOS 57142 HAS SOPS 57142 HAS SOUS 43467 HAS SOUPS 43467 WITH SCORE 43524.142
AT ITER 2958 NEW BEST:: SOT 178520 SOS 57122 HAS SOPS 57122 HAS SOUS 43461 HAS SOUPS 43461 WITH SCORE 43518.122
AT ITER 2966 NEW BEST:: SOT 178486 SOS 57079 HAS SOPS 57079 HAS SOUS 43443 HAS SOUPS 43443 WITH SCORE 43500.079
AT ITER 2973 NEW BEST:: SOT 178470 SOS 57063 HAS SOPS 57063 HAS SOUS 43427 HAS SOUPS 43427 WITH SCORE 43484.063
AT ITER 2983 NEW BEST:: SOT 178456 SOS 57035 HAS SOPS 57035 HAS SOUS 43399 HAS SOUPS 43399 WITH SCORE 43456.035
AT ITER 2989 NEW BEST:: SOT 178364 SOS 56943 HAS SOPS 56943 HAS SOUS 43307 HAS SOUPS 43307 WITH SCORE 43363.943
AT ITER 2990 NEW BEST:: SOT 178318 SOS 56661 HAS SOPS 56661 HAS SOUS 43025 HAS SOUPS 43025 WITH SCORE 43081.661
AT ITER 3003 NEW BEST:: SOT 178324 SOS 56530 HAS SOPS 56530 HAS SOUS 42894 HAS SOUPS 42894 WITH SCORE 42950.53
AT ITER 3005 NEW BEST:: SOT 178324 SOS 56487 HAS SOPS 56487 HAS SOUS 42851 HAS SOUPS 42851 WITH SCORE 42907.487
AT ITER 3045 NEW BEST:: SOT 178330 SOS 56475 HAS SOPS 56475 HAS SOUS 42833 HAS SOUPS 42833 WITH SCORE 42889.475
AT ITER 3052 NEW BEST:: SOT 178289 SOS 56437 HAS SOPS 56437 HAS SOUS 42830 HAS SOUPS 42830 WITH SCORE 42886.437
AT ITER 3054 NEW BEST:: SOT 178241 SOS 56341 HAS SOPS 56341 HAS SOUS 42653 HAS SOUPS 42653 WITH SCORE 42709.341
AT ITER 3064 NEW BEST:: SOT 178240 SOS 56339 HAS SOPS 56339 HAS SOUS 42651 HAS SOUPS 42651 WITH SCORE 42707.339
AT ITER 3088 NEW BEST:: SOT 178214 SOS 56287 HAS SOPS 56287 HAS SOUS 42625 HAS SOUPS 42625 WITH SCORE 42681.287
AT ITER 3095 NEW BEST:: SOT 178200 SOS 56259 HAS SOPS 56259 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42642.259
AT ITER 3110 NEW BEST:: SOT 178159 SOS 56218 HAS SOPS 56218 HAS SOUS 42545 HAS SOUPS 42545 WITH SCORE 42601.218
AT ITER 3111 NEW BEST:: SOT 178159 SOS 56218 HAS SOPS 56218 HAS SOUS 42508 HAS SOUPS 42508 WITH SCORE 42564.218
AT ITER 3118 NEW BEST:: SOT 178165 SOS 56156 HAS SOPS 56156 HAS SOUS 42446 HAS SOUPS 42446 WITH SCORE 42502.156
AT ITER 3130 NEW BEST:: SOT 178148 SOS 56122 HAS SOPS 56122 HAS SOUS 42429 HAS SOUPS 42429 WITH SCORE 42485.122
AT ITER 3132 NEW BEST:: SOT 178075 SOS 55903 HAS SOPS 55903 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42405.903
AT ITER 3133 NEW BEST:: SOT 178030 SOS 55855 HAS SOPS 55855 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42357.855
AT ITER 3135 NEW BEST:: SOT 177993 SOS 55818 HAS SOPS 55818 HAS SOUS 42302 HAS SOUPS 42302 WITH SCORE 42357.818
AT ITER 3165 NEW BEST:: SOT 177993 SOS 55818 HAS SOPS 55818 HAS SOUS 42288 HAS SOUPS 42288 WITH SCORE 42343.818
AT ITER 3182 NEW BEST:: SOT 177896 SOS 55417 HAS SOPS 55417 HAS SOUS 42152 HAS SOUPS 42152 WITH SCORE 42207.417
AT ITER 3198 NEW BEST:: SOT 177885 SOS 55380 HAS SOPS 55380 HAS SOUS 42115 HAS SOUPS 42115 WITH SCORE 42170.38
AT ITER 3216 NEW BEST:: SOT 177885 SOS 54849 HAS SOPS 54849 HAS SOUS 42094 HAS SOUPS 42094 WITH SCORE 42148.849
AT ITER 3217 NEW BEST:: SOT 177824 SOS 54796 HAS SOPS 54796 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42043.796
AT ITER 3229 NEW BEST:: SOT 177820 SOS 54792 HAS SOPS 54792 HAS SOUS 41985 HAS SOUPS 41985 WITH SCORE 42039.792
AT ITER 3239 NEW BEST:: SOT 177820 SOS 54792 HAS SOPS 54792 HAS SOUS 41978 HAS SOUPS 41978 WITH SCORE 42032.792
AT ITER 3243 NEW BEST:: SOT 177839 SOS 54788 HAS SOPS 54788 HAS SOUS 41974 HAS SOUPS 41974 WITH SCORE 42028.788
AT ITER 3282 NEW BEST:: SOT 177839 SOS 54777 HAS SOPS 54777 HAS SOUS 41963 HAS SOUPS 41963 WITH SCORE 42017.777
AT ITER 3295 NEW BEST:: SOT 177839 SOS 54772 HAS SOPS 54772 HAS SOUS 41958 HAS SOUPS 41958 WITH SCORE 42012.772
AT ITER 3302 NEW BEST:: SOT 177821 SOS 54748 HAS SOPS 54748 HAS SOUS 41942 HAS SOUPS 41942 WITH SCORE 41996.748
AT ITER 3305 NEW BEST:: SOT 177817 SOS 54740 HAS SOPS 54740 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 41988.74
AT ITER 3319 NEW BEST:: SOT 177767 SOS 54737 HAS SOPS 54737 HAS SOUS 41931 HAS SOUPS 41931 WITH SCORE 41985.737
AT ITER 3351 NEW BEST:: SOT 177753 SOS 54723 HAS SOPS 54723 HAS SOUS 41917 HAS SOUPS 41917 WITH SCORE 41971.723
AT ITER 3386 NEW BEST:: SOT 177712 SOS 54523 HAS SOPS 54523 HAS SOUS 41908 HAS SOUPS 41908 WITH SCORE 41962.523
AT ITER 3390 NEW BEST:: SOT 177712 SOS 54520 HAS SOPS 54520 HAS SOUS 41905 HAS SOUPS 41905 WITH SCORE 41959.52
AT ITER 3411 NEW BEST:: SOT 177697 SOS 54563 HAS SOPS 54563 HAS SOUS 41893 HAS SOUPS 41893 WITH SCORE 41947.563
AT ITER 3412 NEW BEST:: SOT 177683 SOS 54542 HAS SOPS 54542 HAS SOUS 41872 HAS SOUPS 41872 WITH SCORE 41926.542
AT ITER 3442 NEW BEST:: SOT 177701 SOS 54538 HAS SOPS 54538 HAS SOUS 41868 HAS SOUPS 41868 WITH SCORE 41922.538
AT ITER 3449 NEW BEST:: SOT 177703 SOS 54535 HAS SOPS 54535 HAS SOUS 41858 HAS SOUPS 41858 WITH SCORE 41912.535
AT ITER 3465 NEW BEST:: SOT 177480 SOS 54213 HAS SOPS 54213 HAS SOUS 41660 HAS SOUPS 41660 WITH SCORE 41714.213
AT ITER 3475 NEW BEST:: SOT 177480 SOS 54211 HAS SOPS 54211 HAS SOUS 41658 HAS SOUPS 41658 WITH SCORE 41712.211
AT ITER 3488 NEW BEST:: SOT 177468 SOS 54199 HAS SOPS 54199 HAS SOUS 41658 HAS SOUPS 41658 WITH SCORE 41712.199
AT ITER 3490 NEW BEST:: SOT 177468 SOS 54192 HAS SOPS 54192 HAS SOUS 41651 HAS SOUPS 41651 WITH SCORE 41705.192
AT ITER 3494 NEW BEST:: SOT 177417 SOS 54153 HAS SOPS 54153 HAS SOUS 41612 HAS SOUPS 41612 WITH SCORE 41666.153
AT ITER 3540 NEW BEST:: SOT 177371 SOS 54107 HAS SOPS 54107 HAS SOUS 41566 HAS SOUPS 41566 WITH SCORE 41620.107
AT ITER 3551 NEW BEST:: SOT 177304 SOS 54040 HAS SOPS 54040 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41553.04
AT ITER 3590 NEW BEST:: SOT 177291 SOS 54014 HAS SOPS 54014 HAS SOUS 41473 HAS SOUPS 41473 WITH SCORE 41527.014
AT ITER 3600 NEW BEST:: SOT 177281 SOS 53994 HAS SOPS 53994 HAS SOUS 41453 HAS SOUPS 41453 WITH SCORE 41506.994
AT ITER 3608 NEW BEST:: SOT 177284 SOS 53960 HAS SOPS 53960 HAS SOUS 41416 HAS SOUPS 41416 WITH SCORE 41469.96
AT ITER 3614 NEW BEST:: SOT 177331 SOS 54022 HAS SOPS 54022 HAS SOUS 41340 HAS SOUPS 41340 WITH SCORE 41394.022
AT ITER 3626 NEW BEST:: SOT 177324 SOS 54015 HAS SOPS 54015 HAS SOUS 41340 HAS SOUPS 41340 WITH SCORE 41394.015
AT ITER 3635 NEW BEST:: SOT 177323 SOS 54013 HAS SOPS 54013 HAS SOUS 41338 HAS SOUPS 41338 WITH SCORE 41392.013
AT ITER 3641 NEW BEST:: SOT 177323 SOS 54011 HAS SOPS 54011 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41390.011
AT ITER 3649 NEW BEST:: SOT 177321 SOS 54009 HAS SOPS 54009 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41388.009
AT ITER 3658 NEW BEST:: SOT 177292 SOS 53999 HAS SOPS 53999 HAS SOUS 41324 HAS SOUPS 41324 WITH SCORE 41377.999
AT ITER 3680 NEW BEST:: SOT 177189 SOS 54161 HAS SOPS 54161 HAS SOUS 41253 HAS SOUPS 41253 WITH SCORE 41307.161
AT ITER 3722 NEW BEST:: SOT 177189 SOS 54148 HAS SOPS 54148 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41294.148
AT ITER 3724 NEW BEST:: SOT 177175 SOS 54117 HAS SOPS 54117 HAS SOUS 41209 HAS SOUPS 41209 WITH SCORE 41263.117
AT ITER 3735 NEW BEST:: SOT 177139 SOS 54023 HAS SOPS 54023 HAS SOUS 41125 HAS SOUPS 41125 WITH SCORE 41179.023
AT ITER 3766 NEW BEST:: SOT 177137 SOS 54019 HAS SOPS 54019 HAS SOUS 41121 HAS SOUPS 41121 WITH SCORE 41175.019
AT ITER 3768 NEW BEST:: SOT 177114 SOS 53969 HAS SOPS 53969 HAS SOUS 41071 HAS SOUPS 41071 WITH SCORE 41124.969
AT ITER 3780 NEW BEST:: SOT 177104 SOS 53968 HAS SOPS 53968 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41123.968
AT ITER 3781 NEW BEST:: SOT 177078 SOS 53997 HAS SOPS 53997 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41031.997
AT ITER 3798 NEW BEST:: SOT 177078 SOS 53987 HAS SOPS 53987 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41031.987
AT ITER 3820 NEW BEST:: SOT 177068 SOS 53977 HAS SOPS 53977 HAS SOUS 40978 HAS SOUPS 40978 WITH SCORE 41031.977
AT ITER 3830 NEW BEST:: SOT 177027 SOS 53900 HAS SOPS 53900 HAS SOUS 40920 HAS SOUPS 40920 WITH SCORE 40973.9
AT ITER 3835 NEW BEST:: SOT 177011 SOS 53868 HAS SOPS 53868 HAS SOUS 40888 HAS SOUPS 40888 WITH SCORE 40941.868
AT ITER 3859 NEW BEST:: SOT 177011 SOS 53850 HAS SOPS 53850 HAS SOUS 40870 HAS SOUPS 40870 WITH SCORE 40923.85
AT ITER 3861 NEW BEST:: SOT 177015 SOS 53821 HAS SOPS 53821 HAS SOUS 40805 HAS SOUPS 40805 WITH SCORE 40858.821
AT ITER 3868 NEW BEST:: SOT 176990 SOS 53789 HAS SOPS 53789 HAS SOUS 40773 HAS SOUPS 40773 WITH SCORE 40826.789
AT ITER 3892 NEW BEST:: SOT 176990 SOS 53786 HAS SOPS 53786 HAS SOUS 40767 HAS SOUPS 40767 WITH SCORE 40820.786
AT ITER 3906 NEW BEST:: SOT 177050 SOS 53622 HAS SOPS 53622 HAS SOUS 40757 HAS SOUPS 40757 WITH SCORE 40810.622
AT ITER 3943 NEW BEST:: SOT 177050 SOS 53616 HAS SOPS 53616 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40804.616
AT ITER 3952 NEW BEST:: SOT 177003 SOS 53569 HAS SOPS 53569 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40766.569
AT ITER 3958 NEW BEST:: SOT 177003 SOS 53270 HAS SOPS 53270 HAS SOUS 40592 HAS SOUPS 40592 WITH SCORE 40645.27
AT ITER 3960 NEW BEST:: SOT 177069 SOS 53333 HAS SOPS 53333 HAS SOUS 40575 HAS SOUPS 40575 WITH SCORE 40628.333
AT ITER 3963 NEW BEST:: SOT 177091 SOS 53319 HAS SOPS 53319 HAS SOUS 40561 HAS SOUPS 40561 WITH SCORE 40614.319
AT ITER 3987 NEW BEST:: SOT 177086 SOS 53314 HAS SOPS 53314 HAS SOUS 40556 HAS SOUPS 40556 WITH SCORE 40609.314
AT ITER 3988 NEW BEST:: SOT 177085 SOS 53311 HAS SOPS 53311 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40606.311
AT ITER 3998 NEW BEST:: SOT 177084 SOS 53310 HAS SOPS 53310 HAS SOUS 40552 HAS SOUPS 40552 WITH SCORE 40605.31
AT ITER 4009 NEW BEST:: SOT 176996 SOS 53153 HAS SOPS 53153 HAS SOUS 40469 HAS SOUPS 40469 WITH SCORE 40522.153
AT ITER 4024 NEW BEST:: SOT 176991 SOS 53066 HAS SOPS 53066 HAS SOUS 40382 HAS SOUPS 40382 WITH SCORE 40435.066
AT ITER 4041 NEW BEST:: SOT 176982 SOS 53048 HAS SOPS 53048 HAS SOUS 40364 HAS SOUPS 40364 WITH SCORE 40417.048
AT ITER 4069 NEW BEST:: SOT 176966 SOS 53048 HAS SOPS 53048 HAS SOUS 40356 HAS SOUPS 40356 WITH SCORE 40409.048
AT ITER 4086 NEW BEST:: SOT 177130 SOS 52584 HAS SOPS 52584 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40395.584
AT ITER 4145 NEW BEST:: SOT 176984 SOS 52318 HAS SOPS 52318 HAS SOUS 40267 HAS SOUPS 40267 WITH SCORE 40319.318
AT ITER 4147 NEW BEST:: SOT 176996 SOS 52317 HAS SOPS 52317 HAS SOUS 40254 HAS SOUPS 40254 WITH SCORE 40306.317
AT ITER 4169 NEW BEST:: SOT 176977 SOS 52279 HAS SOPS 52279 HAS SOUS 40226 HAS SOUPS 40226 WITH SCORE 40278.279
AT ITER 4195 NEW BEST:: SOT 176932 SOS 52189 HAS SOPS 52189 HAS SOUS 40112 HAS SOUPS 40112 WITH SCORE 40164.189
AT ITER 4200 NEW BEST:: SOT 176925 SOS 52182 HAS SOPS 52182 HAS SOUS 40106 HAS SOUPS 40106 WITH SCORE 40158.182
AT ITER 4219 NEW BEST:: SOT 176925 SOS 52182 HAS SOPS 52182 HAS SOUS 40045 HAS SOUPS 40045 WITH SCORE 40097.182
AT ITER 4230 NEW BEST:: SOT 176892 SOS 52116 HAS SOPS 52116 HAS SOUS 39979 HAS SOUPS 39979 WITH SCORE 40031.116
AT ITER 4238 NEW BEST:: SOT 176738 SOS 51885 HAS SOPS 51885 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39876.885
AT ITER 4249 NEW BEST:: SOT 176731 SOS 51871 HAS SOPS 51871 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39862.871
AT ITER 4265 NEW BEST:: SOT 176731 SOS 51867 HAS SOPS 51867 HAS SOUS 39807 HAS SOUPS 39807 WITH SCORE 39858.867
AT ITER 4282 NEW BEST:: SOT 176731 SOS 51857 HAS SOPS 51857 HAS SOUS 39782 HAS SOUPS 39782 WITH SCORE 39833.857
AT ITER 4286 NEW BEST:: SOT 176717 SOS 51836 HAS SOPS 51836 HAS SOUS 39768 HAS SOUPS 39768 WITH SCORE 39819.836
AT ITER 4303 NEW BEST:: SOT 176599 SOS 51659 HAS SOPS 51659 HAS SOUS 39633 HAS SOUPS 39633 WITH SCORE 39684.659
AT ITER 4331 NEW BEST:: SOT 176527 SOS 51587 HAS SOPS 51587 HAS SOUS 39561 HAS SOUPS 39561 WITH SCORE 39612.587
AT ITER 4349 NEW BEST:: SOT 176542 SOS 51561 HAS SOPS 51561 HAS SOUS 39470 HAS SOUPS 39470 WITH SCORE 39521.561
AT ITER 4375 NEW BEST:: SOT 176541 SOS 51559 HAS SOPS 51559 HAS SOUS 39468 HAS SOUPS 39468 WITH SCORE 39519.559
AT ITER 4377 NEW BEST:: SOT 176547 SOS 51571 HAS SOPS 51571 HAS SOUS 39446 HAS SOUPS 39446 WITH SCORE 39497.571
AT ITER 4401 NEW BEST:: SOT 176532 SOS 51541 HAS SOPS 51541 HAS SOUS 39431 HAS SOUPS 39431 WITH SCORE 39482.541
AT ITER 4403 NEW BEST:: SOT 176532 SOS 51513 HAS SOPS 51513 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39454.513
AT ITER 4411 NEW BEST:: SOT 176514 SOS 51443 HAS SOPS 51443 HAS SOUS 39361 HAS SOUPS 39361 WITH SCORE 39412.443
AT ITER 4420 NEW BEST:: SOT 176511 SOS 51437 HAS SOPS 51437 HAS SOUS 39355 HAS SOUPS 39355 WITH SCORE 39406.437
AT ITER 4426 NEW BEST:: SOT 176279 SOS 56203 HAS SOPS 56203 HAS SOUS 39208 HAS SOUPS 39208 WITH SCORE 39264.203
AT ITER 4427 NEW BEST:: SOT 176201 SOS 56034 HAS SOPS 56034 HAS SOUS 39039 HAS SOUPS 39039 WITH SCORE 39095.034
AT ITER 4447 NEW BEST:: SOT 176191 SOS 56008 HAS SOPS 56008 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39069.008
AT ITER 4451 NEW BEST:: SOT 176015 SOS 55972 HAS SOPS 55972 HAS SOUS 38940 HAS SOUPS 38940 WITH SCORE 38995.972
AT ITER 4453 NEW BEST:: SOT 176004 SOS 55950 HAS SOPS 55950 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38930.95
AT ITER 4481 NEW BEST:: SOT 176004 SOS 55950 HAS SOPS 55950 HAS SOUS 38866 HAS SOUPS 38866 WITH SCORE 38921.95
AT ITER 4508 NEW BEST:: SOT 175972 SOS 55918 HAS SOPS 55918 HAS SOUS 38866 HAS SOUPS 38866 WITH SCORE 38921.918
AT ITER 4514 NEW BEST:: SOT 175969 SOS 55912 HAS SOPS 55912 HAS SOUS 38860 HAS SOUPS 38860 WITH SCORE 38915.912
AT ITER 4524 NEW BEST:: SOT 175892 SOS 55843 HAS SOPS 55843 HAS SOUS 38791 HAS SOUPS 38791 WITH SCORE 38846.843
AT ITER 4542 NEW BEST:: SOT 175861 SOS 55834 HAS SOPS 55834 HAS SOUS 38782 HAS SOUPS 38782 WITH SCORE 38837.834
AT ITER 4581 NEW BEST:: SOT 175764 SOS 55771 HAS SOPS 55771 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38774.771
AT ITER 4602 NEW BEST:: SOT 175752 SOS 55759 HAS SOPS 55759 HAS SOUS 38707 HAS SOUPS 38707 WITH SCORE 38762.759
AT ITER 4621 NEW BEST:: SOT 175790 SOS 55694 HAS SOPS 55694 HAS SOUS 38698 HAS SOUPS 38698 WITH SCORE 38753.694
AT ITER 4631 NEW BEST:: SOT 175798 SOS 55668 HAS SOPS 55668 HAS SOUS 38672 HAS SOUPS 38672 WITH SCORE 38727.668
AT ITER 4664 NEW BEST:: SOT 175796 SOS 55666 HAS SOPS 55666 HAS SOUS 38670 HAS SOUPS 38670 WITH SCORE 38725.666
AT ITER 4694 NEW BEST:: SOT 175761 SOS 55635 HAS SOPS 55635 HAS SOUS 38639 HAS SOUPS 38639 WITH SCORE 38694.635
AT ITER 4705 NEW BEST:: SOT 175768 SOS 55596 HAS SOPS 55596 HAS SOUS 38634 HAS SOUPS 38634 WITH SCORE 38689.596
AT ITER 4729 NEW BEST:: SOT 175766 SOS 55594 HAS SOPS 55594 HAS SOUS 38632 HAS SOUPS 38632 WITH SCORE 38687.594
AT ITER 4739 NEW BEST:: SOT 175766 SOS 55581 HAS SOPS 55581 HAS SOUS 38632 HAS SOUPS 38632 WITH SCORE 38687.581
AT ITER 4741 NEW BEST:: SOT 175815 SOS 55472 HAS SOPS 55472 HAS SOUS 38593 HAS SOUPS 38593 WITH SCORE 38648.472
AT ITER 4759 NEW BEST:: SOT 175842 SOS 55464 HAS SOPS 55464 HAS SOUS 38585 HAS SOUPS 38585 WITH SCORE 38640.464
AT ITER 4774 NEW BEST:: SOT 175842 SOS 55449 HAS SOPS 55449 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38637.449
AT ITER 4803 NEW BEST:: SOT 175865 SOS 55382 HAS SOPS 55382 HAS SOUS 38515 HAS SOUPS 38515 WITH SCORE 38570.382
AT ITER 4840 NEW BEST:: SOT 175868 SOS 55388 HAS SOPS 55388 HAS SOUS 38487 HAS SOUPS 38487 WITH SCORE 38542.388
AT ITER 4843 NEW BEST:: SOT 175590 SOS 55066 HAS SOPS 55066 HAS SOUS 38304 HAS SOUPS 38304 WITH SCORE 38359.066
AT ITER 4853 NEW BEST:: SOT 175536 SOS 55044 HAS SOPS 55044 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38337.044
AT ITER 4862 NEW BEST:: SOT 175515 SOS 55002 HAS SOPS 55002 HAS SOUS 38234 HAS SOUPS 38234 WITH SCORE 38289.002
AT ITER 4915 NEW BEST:: SOT 175517 SOS 54989 HAS SOPS 54989 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38275.989
AT ITER 4944 NEW BEST:: SOT 175490 SOS 54938 HAS SOPS 54938 HAS SOUS 38170 HAS SOUPS 38170 WITH SCORE 38224.938
AT ITER 4965 NEW BEST:: SOT 175751 SOS 55104 HAS SOPS 55104 HAS SOUS 38102 HAS SOUPS 38102 WITH SCORE 38157.104
AT ITER 4984 NEW BEST:: SOT 175864 SOS 55102 HAS SOPS 55102 HAS SOUS 38100 HAS SOUPS 38100 WITH SCORE 38155.102
AT ITER 5015 NEW BEST:: SOT 175866 SOS 55106 HAS SOPS 55106 HAS SOUS 38072 HAS SOUPS 38072 WITH SCORE 38127.106
AT ITER 5035 NEW BEST:: SOT 175866 SOS 55052 HAS SOPS 55052 HAS SOUS 38045 HAS SOUPS 38045 WITH SCORE 38100.052
AT ITER 5065 NEW BEST:: SOT 175765 SOS 54992 HAS SOPS 54992 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38027.992
AT ITER 5070 NEW BEST:: SOT 175753 SOS 54980 HAS SOPS 54980 HAS SOUS 37961 HAS SOUPS 37961 WITH SCORE 38015.98
AT ITER 5100 NEW BEST:: SOT 175753 SOS 54961 HAS SOPS 54961 HAS SOUS 37942 HAS SOUPS 37942 WITH SCORE 37996.961
AT ITER 5103 NEW BEST:: SOT 175734 SOS 54857 HAS SOPS 54857 HAS SOUS 37923 HAS SOUPS 37923 WITH SCORE 37977.857
AT ITER 5104 NEW BEST:: SOT 175869 SOS 54824 HAS SOPS 54824 HAS SOUS 37890 HAS SOUPS 37890 WITH SCORE 37944.824
AT ITER 5134 NEW BEST:: SOT 175869 SOS 54824 HAS SOPS 54824 HAS SOUS 37888 HAS SOUPS 37888 WITH SCORE 37942.824
AT ITER 5139 NEW BEST:: SOT 175869 SOS 54810 HAS SOPS 54810 HAS SOUS 37874 HAS SOUPS 37874 WITH SCORE 37928.81
AT ITER 5145 NEW BEST:: SOT 175858 SOS 54799 HAS SOPS 54799 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37917.799
AT ITER 5162 NEW BEST:: SOT 175710 SOS 54651 HAS SOPS 54651 HAS SOUS 37678 HAS SOUPS 37678 WITH SCORE 37732.651
AT ITER 5177 NEW BEST:: SOT 175710 SOS 54645 HAS SOPS 54645 HAS SOUS 37672 HAS SOUPS 37672 WITH SCORE 37726.645
AT ITER 5181 NEW BEST:: SOT 175687 SOS 54622 HAS SOPS 54622 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37703.622
AT ITER 5221 NEW BEST:: SOT 175684 SOS 54616 HAS SOPS 54616 HAS SOUS 37643 HAS SOUPS 37643 WITH SCORE 37697.616
AT ITER 5232 NEW BEST:: SOT 175684 SOS 54616 HAS SOPS 54616 HAS SOUS 37636 HAS SOUPS 37636 WITH SCORE 37690.616
AT ITER 5260 NEW BEST:: SOT 175669 SOS 54586 HAS SOPS 54586 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37660.586
AT ITER 5272 NEW BEST:: SOT 175657 SOS 54574 HAS SOPS 54574 HAS SOUS 37606 HAS SOUPS 37606 WITH SCORE 37660.574
AT ITER 5312 NEW BEST:: SOT 175618 SOS 54535 HAS SOPS 54535 HAS SOUS 37567 HAS SOUPS 37567 WITH SCORE 37621.535
AT ITER 5324 NEW BEST:: SOT 175579 SOS 54522 HAS SOPS 54522 HAS SOUS 37566 HAS SOUPS 37566 WITH SCORE 37620.522
AT ITER 5338 NEW BEST:: SOT 175575 SOS 54492 HAS SOPS 54492 HAS SOUS 37536 HAS SOUPS 37536 WITH SCORE 37590.492
AT ITER 5349 NEW BEST:: SOT 175575 SOS 54464 HAS SOPS 54464 HAS SOUS 37508 HAS SOUPS 37508 WITH SCORE 37562.464
AT ITER 5379 NEW BEST:: SOT 175537 SOS 54426 HAS SOPS 54426 HAS SOUS 37470 HAS SOUPS 37470 WITH SCORE 37524.426
AT ITER 5398 NEW BEST:: SOT 175544 SOS 54380 HAS SOPS 54380 HAS SOUS 37424 HAS SOUPS 37424 WITH SCORE 37478.38
AT ITER 5425 NEW BEST:: SOT 175544 SOS 54263 HAS SOPS 54263 HAS SOUS 37338 HAS SOUPS 37338 WITH SCORE 37392.263
AT ITER 5427 NEW BEST:: SOT 175547 SOS 54269 HAS SOPS 54269 HAS SOUS 37332 HAS SOUPS 37332 WITH SCORE 37386.269
AT ITER 5437 NEW BEST:: SOT 175507 SOS 54250 HAS SOPS 54250 HAS SOUS 37313 HAS SOUPS 37313 WITH SCORE 37367.25
AT ITER 5439 NEW BEST:: SOT 175497 SOS 54235 HAS SOPS 54235 HAS SOUS 37293 HAS SOUPS 37293 WITH SCORE 37347.235
AT ITER 5457 NEW BEST:: SOT 175494 SOS 54232 HAS SOPS 54232 HAS SOUS 37290 HAS SOUPS 37290 WITH SCORE 37344.232
AT ITER 5469 NEW BEST:: SOT 175450 SOS 54187 HAS SOPS 54187 HAS SOUS 37262 HAS SOUPS 37262 WITH SCORE 37316.187
AT ITER 5495 NEW BEST:: SOT 175410 SOS 54107 HAS SOPS 54107 HAS SOUS 37215 HAS SOUPS 37215 WITH SCORE 37269.107
AT ITER 5513 NEW BEST:: SOT 175343 SOS 53973 HAS SOPS 53973 HAS SOUS 37081 HAS SOUPS 37081 WITH SCORE 37134.973
AT ITER 5533 NEW BEST:: SOT 175286 SOS 53916 HAS SOPS 53916 HAS SOUS 37081 HAS SOUPS 37081 WITH SCORE 37134.916
AT ITER 5555 NEW BEST:: SOT 175292 SOS 53938 HAS SOPS 53938 HAS SOUS 37077 HAS SOUPS 37077 WITH SCORE 37130.938
AT ITER 5559 NEW BEST:: SOT 175284 SOS 53942 HAS SOPS 53942 HAS SOUS 37069 HAS SOUPS 37069 WITH SCORE 37122.942
AT ITER 5595 NEW BEST:: SOT 175276 SOS 53901 HAS SOPS 53901 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37081.901
AT ITER 5607 NEW BEST:: SOT 175361 SOS 53749 HAS SOPS 53749 HAS SOUS 36910 HAS SOUPS 36910 WITH SCORE 36963.749
AT ITER 5648 NEW BEST:: SOT 175357 SOS 53741 HAS SOPS 53741 HAS SOUS 36902 HAS SOUPS 36902 WITH SCORE 36955.741
AT ITER 5655 NEW BEST:: SOT 175309 SOS 53675 HAS SOPS 53675 HAS SOUS 36854 HAS SOUPS 36854 WITH SCORE 36907.675
AT ITER 5676 NEW BEST:: SOT 175297 SOS 53596 HAS SOPS 53596 HAS SOUS 36787 HAS SOUPS 36787 WITH SCORE 36840.596
AT ITER 5688 NEW BEST:: SOT 175278 SOS 53813 HAS SOPS 53813 HAS SOUS 36779 HAS SOUPS 36779 WITH SCORE 36832.813
AT ITER 5740 NEW BEST:: SOT 175234 SOS 53755 HAS SOPS 53755 HAS SOUS 36751 HAS SOUPS 36751 WITH SCORE 36804.755
AT ITER 5745 NEW BEST:: SOT 175232 SOS 53751 HAS SOPS 53751 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36800.751
AT ITER 5834 NEW BEST:: SOT 175224 SOS 53685 HAS SOPS 53685 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36734.685
AT ITER 5883 NEW BEST:: SOT 175179 SOS 53662 HAS SOPS 53662 HAS SOUS 36658 HAS SOUPS 36658 WITH SCORE 36711.662
AT ITER 5885 NEW BEST:: SOT 175084 SOS 53580 HAS SOPS 53580 HAS SOUS 36630 HAS SOUPS 36630 WITH SCORE 36683.58
AT ITER 5886 NEW BEST:: SOT 175089 SOS 53573 HAS SOPS 53573 HAS SOUS 36606 HAS SOUPS 36606 WITH SCORE 36659.573
AT ITER 5892 NEW BEST:: SOT 175080 SOS 53564 HAS SOPS 53564 HAS SOUS 36597 HAS SOUPS 36597 WITH SCORE 36650.564
AT ITER 5904 NEW BEST:: SOT 175085 SOS 53530 HAS SOPS 53530 HAS SOUS 36592 HAS SOUPS 36592 WITH SCORE 36645.53
AT ITER 5910 NEW BEST:: SOT 175055 SOS 53523 HAS SOPS 53523 HAS SOUS 36585 HAS SOUPS 36585 WITH SCORE 36638.523
AT ITER 5921 NEW BEST:: SOT 175060 SOS 53458 HAS SOPS 53458 HAS SOUS 36538 HAS SOUPS 36538 WITH SCORE 36591.458
AT ITER 5935 NEW BEST:: SOT 175059 SOS 53456 HAS SOPS 53456 HAS SOUS 36536 HAS SOUPS 36536 WITH SCORE 36589.456
AT ITER 5954 NEW BEST:: SOT 175035 SOS 53455 HAS SOPS 53455 HAS SOUS 36516 HAS SOUPS 36516 WITH SCORE 36569.455
AT ITER 5959 NEW BEST:: SOT 175017 SOS 53437 HAS SOPS 53437 HAS SOUS 36498 HAS SOUPS 36498 WITH SCORE 36551.437
AT ITER 5983 NEW BEST:: SOT 174981 SOS 53430 HAS SOPS 53430 HAS SOUS 36461 HAS SOUPS 36461 WITH SCORE 36514.43
AT ITER 6005 NEW BEST:: SOT 174910 SOS 53328 HAS SOPS 53328 HAS SOUS 36359 HAS SOUPS 36359 WITH SCORE 36412.328
AT ITER 6010 NEW BEST:: SOT 174897 SOS 53294 HAS SOPS 53294 HAS SOUS 36325 HAS SOUPS 36325 WITH SCORE 36378.294
AT ITER 6022 NEW BEST:: SOT 174913 SOS 53309 HAS SOPS 53309 HAS SOUS 36323 HAS SOUPS 36323 WITH SCORE 36376.309
AT ITER 6033 NEW BEST:: SOT 174614 SOS 52866 HAS SOPS 52866 HAS SOUS 36035 HAS SOUPS 36035 WITH SCORE 36087.866
AT ITER 6080 NEW BEST:: SOT 174568 SOS 52795 HAS SOPS 52795 HAS SOUS 35989 HAS SOUPS 35989 WITH SCORE 36041.795
AT ITER 6093 NEW BEST:: SOT 174568 SOS 52788 HAS SOPS 52788 HAS SOUS 35975 HAS SOUPS 35975 WITH SCORE 36027.788
AT ITER 6095 NEW BEST:: SOT 174599 SOS 52818 HAS SOPS 52818 HAS SOUS 35974 HAS SOUPS 35974 WITH SCORE 36026.818
AT ITER 6100 NEW BEST:: SOT 174616 SOS 52818 HAS SOPS 52818 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 36009.818
AT ITER 6125 NEW BEST:: SOT 174604 SOS 52806 HAS SOPS 52806 HAS SOUS 35957 HAS SOUPS 35957 WITH SCORE 36009.806
AT ITER 6141 NEW BEST:: SOT 174585 SOS 52782 HAS SOPS 52782 HAS SOUS 35933 HAS SOUPS 35933 WITH SCORE 35985.782
AT ITER 6166 NEW BEST:: SOT 174585 SOS 52779 HAS SOPS 52779 HAS SOUS 35930 HAS SOUPS 35930 WITH SCORE 35982.779
AT ITER 6174 NEW BEST:: SOT 174585 SOS 52766 HAS SOPS 52766 HAS SOUS 35917 HAS SOUPS 35917 WITH SCORE 35969.766
AT ITER 6217 NEW BEST:: SOT 174594 SOS 52773 HAS SOPS 52773 HAS SOUS 35913 HAS SOUPS 35913 WITH SCORE 35965.773
AT ITER 6247 NEW BEST:: SOT 174592 SOS 52769 HAS SOPS 52769 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35961.769
AT ITER 6268 NEW BEST:: SOT 174598 SOS 52755 HAS SOPS 52755 HAS SOUS 35895 HAS SOUPS 35895 WITH SCORE 35947.755
AT ITER 6311 NEW BEST:: SOT 174583 SOS 52740 HAS SOPS 52740 HAS SOUS 35865 HAS SOUPS 35865 WITH SCORE 35917.74
AT ITER 6317 NEW BEST:: SOT 174595 SOS 52752 HAS SOPS 52752 HAS SOUS 35837 HAS SOUPS 35837 WITH SCORE 35889.752
AT ITER 6318 NEW BEST:: SOT 174595 SOS 52728 HAS SOPS 52728 HAS SOUS 35831 HAS SOUPS 35831 WITH SCORE 35883.728
AT ITER 6403 NEW BEST:: SOT 174588 SOS 52716 HAS SOPS 52716 HAS SOUS 35819 HAS SOUPS 35819 WITH SCORE 35871.716
AT ITER 6456 NEW BEST:: SOT 174588 SOS 52716 HAS SOPS 52716 HAS SOUS 35816 HAS SOUPS 35816 WITH SCORE 35868.716
AT ITER 6501 NEW BEST:: SOT 174470 SOS 52495 HAS SOPS 52495 HAS SOUS 35617 HAS SOUPS 35617 WITH SCORE 35669.495
AT ITER 6535 NEW BEST:: SOT 174463 SOS 52480 HAS SOPS 52480 HAS SOUS 35572 HAS SOUPS 35572 WITH SCORE 35624.48
AT ITER 6574 NEW BEST:: SOT 174435 SOS 52432 HAS SOPS 52432 HAS SOUS 35524 HAS SOUPS 35524 WITH SCORE 35576.432
AT ITER 6585 NEW BEST:: SOT 174421 SOS 52404 HAS SOPS 52404 HAS SOUS 35511 HAS SOUPS 35511 WITH SCORE 35563.404
AT ITER 6603 NEW BEST:: SOT 174411 SOS 52380 HAS SOPS 52380 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35539.38
AT ITER 6614 NEW BEST:: SOT 174385 SOS 52354 HAS SOPS 52354 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35539.354
AT ITER 6622 NEW BEST:: SOT 174403 SOS 52333 HAS SOPS 52333 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35518.333
AT ITER 6626 NEW BEST:: SOT 174479 SOS 52229 HAS SOPS 52229 HAS SOUS 35446 HAS SOUPS 35446 WITH SCORE 35498.229
AT ITER 6635 NEW BEST:: SOT 174112 SOS 52101 HAS SOPS 52101 HAS SOUS 35323 HAS SOUPS 35323 WITH SCORE 35375.101
AT ITER 6646 NEW BEST:: SOT 174112 SOS 52101 HAS SOPS 52101 HAS SOUS 35313 HAS SOUPS 35313 WITH SCORE 35365.101
AT ITER 6651 NEW BEST:: SOT 174041 SOS 52064 HAS SOPS 52064 HAS SOUS 35276 HAS SOUPS 35276 WITH SCORE 35328.064
AT ITER 6677 NEW BEST:: SOT 174044 SOS 52035 HAS SOPS 52035 HAS SOUS 35246 HAS SOUPS 35246 WITH SCORE 35298.035
AT ITER 6685 NEW BEST:: SOT 174052 SOS 52051 HAS SOPS 52051 HAS SOUS 35232 HAS SOUPS 35232 WITH SCORE 35284.051
AT ITER 6698 NEW BEST:: SOT 174040 SOS 52038 HAS SOPS 52038 HAS SOUS 35219 HAS SOUPS 35219 WITH SCORE 35271.038
AT ITER 6724 NEW BEST:: SOT 173996 SOS 52228 HAS SOPS 52228 HAS SOUS 35216 HAS SOUPS 35216 WITH SCORE 35268.228
AT ITER 6763 NEW BEST:: SOT 173985 SOS 52217 HAS SOPS 52217 HAS SOUS 35205 HAS SOUPS 35205 WITH SCORE 35257.217
AT ITER 6886 NEW BEST:: SOT 173996 SOS 52199 HAS SOPS 52199 HAS SOUS 35187 HAS SOUPS 35187 WITH SCORE 35239.199
AT ITER 6897 NEW BEST:: SOT 173983 SOS 52186 HAS SOPS 52186 HAS SOUS 35187 HAS SOUPS 35187 WITH SCORE 35239.186
AT ITER 6901 NEW BEST:: SOT 173972 SOS 52175 HAS SOPS 52175 HAS SOUS 35176 HAS SOUPS 35176 WITH SCORE 35228.175
AT ITER 6944 NEW BEST:: SOT 173910 SOS 52144 HAS SOPS 52144 HAS SOUS 35145 HAS SOUPS 35145 WITH SCORE 35197.144
AT ITER 6948 NEW BEST:: SOT 173894 SOS 52141 HAS SOPS 52141 HAS SOUS 35142 HAS SOUPS 35142 WITH SCORE 35194.141
AT ITER 6963 NEW BEST:: SOT 173870 SOS 52121 HAS SOPS 52121 HAS SOUS 35136 HAS SOUPS 35136 WITH SCORE 35188.121
AT ITER 7004 NEW BEST:: SOT 173860 SOS 52101 HAS SOPS 52101 HAS SOUS 35116 HAS SOUPS 35116 WITH SCORE 35168.101
AT ITER 7020 NEW BEST:: SOT 173905 SOS 52134 HAS SOPS 52134 HAS SOUS 35092 HAS SOUPS 35092 WITH SCORE 35144.134
AT ITER 7044 NEW BEST:: SOT 173905 SOS 52120 HAS SOPS 52120 HAS SOUS 35078 HAS SOUPS 35078 WITH SCORE 35130.12
AT ITER 7066 NEW BEST:: SOT 173909 SOS 52112 HAS SOPS 52112 HAS SOUS 35070 HAS SOUPS 35070 WITH SCORE 35122.112
AT ITER 7082 NEW BEST:: SOT 173909 SOS 52104 HAS SOPS 52104 HAS SOUS 35066 HAS SOUPS 35066 WITH SCORE 35118.104
AT ITER 7101 NEW BEST:: SOT 173905 SOS 52100 HAS SOPS 52100 HAS SOUS 35064 HAS SOUPS 35064 WITH SCORE 35116.1
AT ITER 7136 NEW BEST:: SOT 173907 SOS 52104 HAS SOPS 52104 HAS SOUS 35047 HAS SOUPS 35047 WITH SCORE 35099.104
AT ITER 7152 NEW BEST:: SOT 173875 SOS 52075 HAS SOPS 52075 HAS SOUS 35043 HAS SOUPS 35043 WITH SCORE 35095.075
AT ITER 7179 NEW BEST:: SOT 173875 SOS 52043 HAS SOPS 52043 HAS SOUS 35011 HAS SOUPS 35011 WITH SCORE 35063.043
AT ITER 7183 NEW BEST:: SOT 173803 SOS 52017 HAS SOPS 52017 HAS SOUS 34985 HAS SOUPS 34985 WITH SCORE 35037.017
AT ITER 7200 NEW BEST:: SOT 173803 SOS 51971 HAS SOPS 51971 HAS SOUS 34962 HAS SOUPS 34962 WITH SCORE 35013.971
AT ITER 7202 NEW BEST:: SOT 173802 SOS 51969 HAS SOPS 51969 HAS SOUS 34960 HAS SOUPS 34960 WITH SCORE 35011.969
AT ITER 7258 NEW BEST:: SOT 173764 SOS 51926 HAS SOPS 51926 HAS SOUS 34932 HAS SOUPS 34932 WITH SCORE 34983.926
AT ITER 7282 NEW BEST:: SOT 173729 SOS 51892 HAS SOPS 51892 HAS SOUS 34910 HAS SOUPS 34910 WITH SCORE 34961.892
AT ITER 7318 NEW BEST:: SOT 173722 SOS 51885 HAS SOPS 51885 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34954.885
AT ITER 7322 NEW BEST:: SOT 173722 SOS 51814 HAS SOPS 51814 HAS SOUS 34898 HAS SOUPS 34898 WITH SCORE 34949.814
AT ITER 7324 NEW BEST:: SOT 173713 SOS 51805 HAS SOPS 51805 HAS SOUS 34889 HAS SOUPS 34889 WITH SCORE 34940.805
AT ITER 7392 NEW BEST:: SOT 173706 SOS 51793 HAS SOPS 51793 HAS SOUS 34877 HAS SOUPS 34877 WITH SCORE 34928.793
AT ITER 7410 NEW BEST:: SOT 173714 SOS 52223 HAS SOPS 52223 HAS SOUS 34872 HAS SOUPS 34872 WITH SCORE 34924.223
AT ITER 7411 NEW BEST:: SOT 173659 SOS 52095 HAS SOPS 52095 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34884.095
AT ITER 7438 NEW BEST:: SOT 173652 SOS 52088 HAS SOPS 52088 HAS SOUS 34825 HAS SOUPS 34825 WITH SCORE 34877.088
AT ITER 7463 NEW BEST:: SOT 173642 SOS 52068 HAS SOPS 52068 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34867.068
AT ITER 7549 NEW BEST:: SOT 173641 SOS 52066 HAS SOPS 52066 HAS SOUS 34813 HAS SOUPS 34813 WITH SCORE 34865.066
AT ITER 7588 NEW BEST:: SOT 173689 SOS 52023 HAS SOPS 52023 HAS SOUS 34770 HAS SOUPS 34770 WITH SCORE 34822.023
AT ITER 7634 NEW BEST:: SOT 173698 SOS 52017 HAS SOPS 52017 HAS SOUS 34764 HAS SOUPS 34764 WITH SCORE 34816.017
AT ITER 7779 NEW BEST:: SOT 173701 SOS 51997 HAS SOPS 51997 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34795.997
AT ITER 7818 NEW BEST:: SOT 173681 SOS 51957 HAS SOPS 51957 HAS SOUS 34718 HAS SOUPS 34718 WITH SCORE 34769.957
AT ITER 7866 NEW BEST:: SOT 173679 SOS 51955 HAS SOPS 51955 HAS SOUS 34716 HAS SOUPS 34716 WITH SCORE 34767.955
AT ITER 7903 NEW BEST:: SOT 173648 SOS 51892 HAS SOPS 51892 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34704.892
AT ITER 7949 NEW BEST:: SOT 173642 SOS 51883 HAS SOPS 51883 HAS SOUS 34647 HAS SOUPS 34647 WITH SCORE 34698.883
AT ITER 7977 NEW BEST:: SOT 173631 SOS 51872 HAS SOPS 51872 HAS SOUS 34636 HAS SOUPS 34636 WITH SCORE 34687.872
AT ITER 7997 NEW BEST:: SOT 173307 SOS 51548 HAS SOPS 51548 HAS SOUS 34474 HAS SOUPS 34474 WITH SCORE 34525.548
AT ITER 8015 NEW BEST:: SOT 173311 SOS 51556 HAS SOPS 51556 HAS SOUS 34473 HAS SOUPS 34473 WITH SCORE 34524.556
AT ITER 8052 NEW BEST:: SOT 173291 SOS 51536 HAS SOPS 51536 HAS SOUS 34456 HAS SOUPS 34456 WITH SCORE 34507.536
AT ITER 8085 NEW BEST:: SOT 173291 SOS 51536 HAS SOPS 51536 HAS SOUS 34454 HAS SOUPS 34454 WITH SCORE 34505.536
AT ITER 8087 NEW BEST:: SOT 173282 SOS 51527 HAS SOPS 51527 HAS SOUS 34445 HAS SOUPS 34445 WITH SCORE 34496.527
AT ITER 8099 NEW BEST:: SOT 173280 SOS 51523 HAS SOPS 51523 HAS SOUS 34441 HAS SOUPS 34441 WITH SCORE 34492.523
AT ITER 8161 NEW BEST:: SOT 173280 SOS 51509 HAS SOPS 51509 HAS SOUS 34413 HAS SOUPS 34413 WITH SCORE 34464.509
AT ITER 8176 NEW BEST:: SOT 173233 SOS 50530 HAS SOPS 50530 HAS SOUS 34319 HAS SOUPS 34319 WITH SCORE 34369.53
AT ITER 8178 NEW BEST:: SOT 173204 SOS 50521 HAS SOPS 50521 HAS SOUS 34310 HAS SOUPS 34310 WITH SCORE 34360.521
AT ITER 8191 NEW BEST:: SOT 173157 SOS 50637 HAS SOPS 50637 HAS SOUS 34305 HAS SOUPS 34305 WITH SCORE 34355.637
AT ITER 8215 NEW BEST:: SOT 173156 SOS 50634 HAS SOPS 50634 HAS SOUS 34302 HAS SOUPS 34302 WITH SCORE 34352.634
AT ITER 8233 NEW BEST:: SOT 173148 SOS 50624 HAS SOPS 50624 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34342.624
AT ITER 8282 NEW BEST:: SOT 173144 SOS 50620 HAS SOPS 50620 HAS SOUS 34292 HAS SOUPS 34292 WITH SCORE 34342.62
AT ITER 8334 NEW BEST:: SOT 173114 SOS 50590 HAS SOPS 50590 HAS SOUS 34262 HAS SOUPS 34262 WITH SCORE 34312.59
AT ITER 8342 NEW BEST:: SOT 173111 SOS 50587 HAS SOPS 50587 HAS SOUS 34259 HAS SOUPS 34259 WITH SCORE 34309.587
AT ITER 8348 NEW BEST:: SOT 173081 SOS 50539 HAS SOPS 50539 HAS SOUS 34211 HAS SOUPS 34211 WITH SCORE 34261.539
AT ITER 8493 NEW BEST:: SOT 173024 SOS 50531 HAS SOPS 50531 HAS SOUS 34188 HAS SOUPS 34188 WITH SCORE 34238.531
AT ITER 8497 NEW BEST:: SOT 173024 SOS 50530 HAS SOPS 50530 HAS SOUS 34187 HAS SOUPS 34187 WITH SCORE 34237.53
AT ITER 8557 NEW BEST:: SOT 173024 SOS 50527 HAS SOPS 50527 HAS SOUS 34185 HAS SOUPS 34185 WITH SCORE 34235.527
AT ITER 8560 NEW BEST:: SOT 172575 SOS 50078 HAS SOPS 50078 HAS SOUS 34018 HAS SOUPS 34018 WITH SCORE 34068.078
AT ITER 8562 NEW BEST:: SOT 172574 SOS 50066 HAS SOPS 50066 HAS SOUS 34001 HAS SOUPS 34001 WITH SCORE 34051.066
AT ITER 8613 NEW BEST:: SOT 172566 SOS 50058 HAS SOPS 50058 HAS SOUS 34001 HAS SOUPS 34001 WITH SCORE 34051.058
AT ITER 8660 NEW BEST:: SOT 172549 SOS 50033 HAS SOPS 50033 HAS SOUS 33982 HAS SOUPS 33982 WITH SCORE 34032.033
AT ITER 8713 NEW BEST:: SOT 172562 SOS 50017 HAS SOPS 50017 HAS SOUS 33972 HAS SOUPS 33972 WITH SCORE 34022.017
AT ITER 8807 NEW BEST:: SOT 172581 SOS 49998 HAS SOPS 49998 HAS SOUS 33972 HAS SOUPS 33972 WITH SCORE 34021.998
AT ITER 8811 NEW BEST:: SOT 172546 SOS 49914 HAS SOPS 49914 HAS SOUS 33888 HAS SOUPS 33888 WITH SCORE 33937.914
AT ITER 8837 NEW BEST:: SOT 172544 SOS 49912 HAS SOPS 49912 HAS SOUS 33886 HAS SOUPS 33886 WITH SCORE 33935.912
AT ITER 8859 NEW BEST:: SOT 172544 SOS 49897 HAS SOPS 49897 HAS SOUS 33871 HAS SOUPS 33871 WITH SCORE 33920.897
AT ITER 8860 NEW BEST:: SOT 172540 SOS 49889 HAS SOPS 49889 HAS SOUS 33863 HAS SOUPS 33863 WITH SCORE 33912.889
AT ITER 8878 NEW BEST:: SOT 172540 SOS 49875 HAS SOPS 49875 HAS SOUS 33849 HAS SOUPS 33849 WITH SCORE 33898.875
AT ITER 8901 NEW BEST:: SOT 172525 SOS 49865 HAS SOPS 49865 HAS SOUS 33839 HAS SOUPS 33839 WITH SCORE 33888.865
AT ITER 8926 NEW BEST:: SOT 172511 SOS 49837 HAS SOPS 49837 HAS SOUS 33811 HAS SOUPS 33811 WITH SCORE 33860.837
AT ITER 8959 NEW BEST:: SOT 172493 SOS 49794 HAS SOPS 49794 HAS SOUS 33768 HAS SOUPS 33768 WITH SCORE 33817.794
AT ITER 8972 NEW BEST:: SOT 172464 SOS 49608 HAS SOPS 49608 HAS SOUS 33696 HAS SOUPS 33696 WITH SCORE 33745.608
AT ITER 8978 NEW BEST:: SOT 172465 SOS 49602 HAS SOPS 49602 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33739.602
AT ITER 9014 NEW BEST:: SOT 172338 SOS 49452 HAS SOPS 49452 HAS SOUS 33644 HAS SOUPS 33644 WITH SCORE 33693.452
AT ITER 9081 NEW BEST:: SOT 172345 SOS 49466 HAS SOPS 49466 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33664.466
AT ITER 9088 NEW BEST:: SOT 172345 SOS 49441 HAS SOPS 49441 HAS SOUS 33590 HAS SOUPS 33590 WITH SCORE 33639.441
AT ITER 9105 NEW BEST:: SOT 172342 SOS 49390 HAS SOPS 49390 HAS SOUS 33584 HAS SOUPS 33584 WITH SCORE 33633.39
AT ITER 9116 NEW BEST:: SOT 172316 SOS 49336 HAS SOPS 49336 HAS SOUS 33570 HAS SOUPS 33570 WITH SCORE 33619.336
AT ITER 9138 NEW BEST:: SOT 172304 SOS 49315 HAS SOPS 49315 HAS SOUS 33549 HAS SOUPS 33549 WITH SCORE 33598.315
AT ITER 9143 NEW BEST:: SOT 172357 SOS 49151 HAS SOPS 49151 HAS SOUS 33522 HAS SOUPS 33522 WITH SCORE 33571.151
AT ITER 9168 NEW BEST:: SOT 172340 SOS 49125 HAS SOPS 49125 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33545.125
AT ITER 9169 NEW BEST:: SOT 172328 SOS 49113 HAS SOPS 49113 HAS SOUS 33484 HAS SOUPS 33484 WITH SCORE 33533.113
AT ITER 9241 NEW BEST:: SOT 172311 SOS 49080 HAS SOPS 49080 HAS SOUS 33451 HAS SOUPS 33451 WITH SCORE 33500.08
AT ITER 9267 NEW BEST:: SOT 172311 SOS 49079 HAS SOPS 49079 HAS SOUS 33450 HAS SOUPS 33450 WITH SCORE 33499.079
AT ITER 9286 NEW BEST:: SOT 172251 SOS 48959 HAS SOPS 48959 HAS SOUS 33429 HAS SOUPS 33429 WITH SCORE 33477.959
AT ITER 9299 NEW BEST:: SOT 172256 SOS 48952 HAS SOPS 48952 HAS SOUS 33422 HAS SOUPS 33422 WITH SCORE 33470.952
AT ITER 9304 NEW BEST:: SOT 172246 SOS 48782 HAS SOPS 48782 HAS SOUS 33402 HAS SOUPS 33402 WITH SCORE 33450.782
AT ITER 9346 NEW BEST:: SOT 172241 SOS 48784 HAS SOPS 48784 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33440.784
AT ITER 9354 NEW BEST:: SOT 172222 SOS 48765 HAS SOPS 48765 HAS SOUS 33392 HAS SOUPS 33392 WITH SCORE 33440.765
AT ITER 9385 NEW BEST:: SOT 172222 SOS 48803 HAS SOPS 48803 HAS SOUS 33391 HAS SOUPS 33391 WITH SCORE 33439.803
AT ITER 9434 NEW BEST:: SOT 172222 SOS 48766 HAS SOPS 48766 HAS SOUS 33354 HAS SOUPS 33354 WITH SCORE 33402.766
AT ITER 9466 NEW BEST:: SOT 172189 SOS 48733 HAS SOPS 48733 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33369.733
AT ITER 9517 NEW BEST:: SOT 172183 SOS 48727 HAS SOPS 48727 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33363.727
AT ITER 9558 NEW BEST:: SOT 172141 SOS 48712 HAS SOPS 48712 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33348.712
AT ITER 9595 NEW BEST:: SOT 172141 SOS 48695 HAS SOPS 48695 HAS SOUS 33283 HAS SOUPS 33283 WITH SCORE 33331.695
AT ITER 9618 NEW BEST:: SOT 172105 SOS 48845 HAS SOPS 48845 HAS SOUS 33244 HAS SOUPS 33244 WITH SCORE 33292.845
AT ITER 9668 NEW BEST:: SOT 172067 SOS 48778 HAS SOPS 48778 HAS SOUS 33226 HAS SOUPS 33226 WITH SCORE 33274.778
AT ITER 9722 NEW BEST:: SOT 172061 SOS 48772 HAS SOPS 48772 HAS SOUS 33223 HAS SOUPS 33223 WITH SCORE 33271.772
AT ITER 9730 NEW BEST:: SOT 172055 SOS 48760 HAS SOPS 48760 HAS SOUS 33211 HAS SOUPS 33211 WITH SCORE 33259.76
AT ITER 9773 NEW BEST:: SOT 172052 SOS 48754 HAS SOPS 48754 HAS SOUS 33205 HAS SOUPS 33205 WITH SCORE 33253.754
AT ITER 9783 NEW BEST:: SOT 172052 SOS 48754 HAS SOPS 48754 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33233.754
AT ITER 9784 NEW BEST:: SOT 171997 SOS 48777 HAS SOPS 48777 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33187.777
AT ITER 9822 NEW BEST:: SOT 171888 SOS 48695 HAS SOPS 48695 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33098.695
AT ITER 9855 NEW BEST:: SOT 171907 SOS 48675 HAS SOPS 48675 HAS SOUS 33050 HAS SOUPS 33050 WITH SCORE 33098.675
AT ITER 9895 NEW BEST:: SOT 171907 SOS 48675 HAS SOPS 48675 HAS SOUS 33022 HAS SOUPS 33022 WITH SCORE 33070.675
AT ITER 9900 NEW BEST:: SOT 171891 SOS 48659 HAS SOPS 48659 HAS SOUS 33006 HAS SOUPS 33006 WITH SCORE 33054.659
AT ITER 9957 NEW BEST:: SOT 171886 SOS 48637 HAS SOPS 48637 HAS SOUS 32984 HAS SOUPS 32984 WITH SCORE 33032.637
AT ITER 9981 NEW BEST:: SOT 171828 SOS 48590 HAS SOPS 48590 HAS SOUS 32927 HAS SOUPS 32927 WITH SCORE 32975.59

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-13"
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-13, 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-158897680100552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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