Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 192K Feb 25 16:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 156K Mar 5 18:22 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 1678470399197

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-14
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 14
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 624 places, 564 transitions, 1657 arcs.
AT ITER 0 NEW BEST:: SOT 223547 SOS 85893 HAS SOPS 85893 HAS SOUS 83009 HAS SOUPS 83009 WITH SCORE 83094.893
AT ITER 6 NEW BEST:: SOT 223504 SOS 85933 HAS SOPS 85933 HAS SOUS 83007 HAS SOUPS 83007 WITH SCORE 83092.933
AT ITER 11 NEW BEST:: SOT 223504 SOS 85932 HAS SOPS 85932 HAS SOUS 83006 HAS SOUPS 83006 WITH SCORE 83091.932
AT ITER 22 NEW BEST:: SOT 223504 SOS 85872 HAS SOPS 85872 HAS SOUS 82946 HAS SOUPS 82946 WITH SCORE 83031.872
AT ITER 23 NEW BEST:: SOT 223330 SOS 85609 HAS SOPS 85609 HAS SOUS 82683 HAS SOUPS 82683 WITH SCORE 82768.609
AT ITER 28 NEW BEST:: SOT 223330 SOS 85459 HAS SOPS 85459 HAS SOUS 82533 HAS SOUPS 82533 WITH SCORE 82618.459
AT ITER 33 NEW BEST:: SOT 223170 SOS 85299 HAS SOPS 85299 HAS SOUS 82373 HAS SOUPS 82373 WITH SCORE 82458.299
AT ITER 36 NEW BEST:: SOT 223170 SOS 85291 HAS SOPS 85291 HAS SOUS 82365 HAS SOUPS 82365 WITH SCORE 82450.291
AT ITER 55 NEW BEST:: SOT 222978 SOS 85030 HAS SOPS 85030 HAS SOUS 82104 HAS SOUPS 82104 WITH SCORE 82189.03
AT ITER 107 NEW BEST:: SOT 223012 SOS 84884 HAS SOPS 84884 HAS SOUS 81958 HAS SOUPS 81958 WITH SCORE 82042.884
AT ITER 114 NEW BEST:: SOT 223012 SOS 84859 HAS SOPS 84859 HAS SOUS 81933 HAS SOUPS 81933 WITH SCORE 82017.859
AT ITER 121 NEW BEST:: SOT 222830 SOS 84666 HAS SOPS 84666 HAS SOUS 81740 HAS SOUPS 81740 WITH SCORE 81824.666
AT ITER 132 NEW BEST:: SOT 222812 SOS 84646 HAS SOPS 84646 HAS SOUS 81738 HAS SOUPS 81738 WITH SCORE 81822.646
AT ITER 147 NEW BEST:: SOT 222611 SOS 84447 HAS SOPS 84447 HAS SOUS 81539 HAS SOUPS 81539 WITH SCORE 81623.447
AT ITER 152 NEW BEST:: SOT 222588 SOS 84401 HAS SOPS 84401 HAS SOUS 81493 HAS SOUPS 81493 WITH SCORE 81577.401
AT ITER 154 NEW BEST:: SOT 222588 SOS 84373 HAS SOPS 84373 HAS SOUS 81465 HAS SOUPS 81465 WITH SCORE 81549.373
AT ITER 156 NEW BEST:: SOT 222435 SOS 84170 HAS SOPS 84170 HAS SOUS 81262 HAS SOUPS 81262 WITH SCORE 81346.17
AT ITER 158 NEW BEST:: SOT 222434 SOS 84081 HAS SOPS 84081 HAS SOUS 81173 HAS SOUPS 81173 WITH SCORE 81257.081
AT ITER 160 NEW BEST:: SOT 222434 SOS 84081 HAS SOPS 84081 HAS SOUS 81171 HAS SOUPS 81171 WITH SCORE 81255.081
AT ITER 167 NEW BEST:: SOT 222404 SOS 84051 HAS SOPS 84051 HAS SOUS 81141 HAS SOUPS 81141 WITH SCORE 81225.051
AT ITER 185 NEW BEST:: SOT 222290 SOS 84083 HAS SOPS 84083 HAS SOUS 81124 HAS SOUPS 81124 WITH SCORE 81208.083
AT ITER 191 NEW BEST:: SOT 222289 SOS 84081 HAS SOPS 84081 HAS SOUS 81122 HAS SOUPS 81122 WITH SCORE 81206.081
AT ITER 198 NEW BEST:: SOT 222288 SOS 84079 HAS SOPS 84079 HAS SOUS 81120 HAS SOUPS 81120 WITH SCORE 81204.079
AT ITER 202 NEW BEST:: SOT 222287 SOS 83961 HAS SOPS 83961 HAS SOUS 81002 HAS SOUPS 81002 WITH SCORE 81085.961
AT ITER 206 NEW BEST:: SOT 222287 SOS 83922 HAS SOPS 83922 HAS SOUS 80963 HAS SOUPS 80963 WITH SCORE 81046.922
AT ITER 208 NEW BEST:: SOT 222286 SOS 83920 HAS SOPS 83920 HAS SOUS 80961 HAS SOUPS 80961 WITH SCORE 81044.92
AT ITER 222 NEW BEST:: SOT 222286 SOS 83862 HAS SOPS 83862 HAS SOUS 80903 HAS SOUPS 80903 WITH SCORE 80986.862
AT ITER 229 NEW BEST:: SOT 222086 SOS 83556 HAS SOPS 83556 HAS SOUS 80683 HAS SOUPS 80683 WITH SCORE 80766.556
AT ITER 251 NEW BEST:: SOT 222086 SOS 83493 HAS SOPS 83493 HAS SOUS 80620 HAS SOUPS 80620 WITH SCORE 80703.493
AT ITER 267 NEW BEST:: SOT 216405 SOS 82966 HAS SOPS 82966 HAS SOUS 75264 HAS SOUPS 75264 WITH SCORE 75346.966
AT ITER 276 NEW BEST:: SOT 216364 SOS 82884 HAS SOPS 82884 HAS SOUS 75223 HAS SOUPS 75223 WITH SCORE 75305.884
AT ITER 277 NEW BEST:: SOT 216364 SOS 82835 HAS SOPS 82835 HAS SOUS 75174 HAS SOUPS 75174 WITH SCORE 75256.835
AT ITER 285 NEW BEST:: SOT 216364 SOS 82570 HAS SOPS 82570 HAS SOUS 74909 HAS SOUPS 74909 WITH SCORE 74991.57
AT ITER 292 NEW BEST:: SOT 216384 SOS 82396 HAS SOPS 82396 HAS SOUS 74774 HAS SOUPS 74774 WITH SCORE 74856.396
AT ITER 305 NEW BEST:: SOT 216377 SOS 82253 HAS SOPS 82253 HAS SOUS 74702 HAS SOUPS 74702 WITH SCORE 74784.253
AT ITER 307 NEW BEST:: SOT 216176 SOS 81852 HAS SOPS 81852 HAS SOUS 74301 HAS SOUPS 74301 WITH SCORE 74382.852
AT ITER 330 NEW BEST:: SOT 213175 SOS 81148 HAS SOPS 81148 HAS SOUS 71814 HAS SOUPS 71814 WITH SCORE 71895.148
AT ITER 333 NEW BEST:: SOT 213175 SOS 81168 HAS SOPS 81168 HAS SOUS 71806 HAS SOUPS 71806 WITH SCORE 71887.168
AT ITER 335 NEW BEST:: SOT 213171 SOS 81134 HAS SOPS 81134 HAS SOUS 71772 HAS SOUPS 71772 WITH SCORE 71853.134
AT ITER 337 NEW BEST:: SOT 213178 SOS 81099 HAS SOPS 81099 HAS SOUS 71737 HAS SOUPS 71737 WITH SCORE 71818.099
AT ITER 345 NEW BEST:: SOT 213224 SOS 81143 HAS SOPS 81143 HAS SOUS 71733 HAS SOUPS 71733 WITH SCORE 71814.143
AT ITER 352 NEW BEST:: SOT 213159 SOS 81078 HAS SOPS 81078 HAS SOUS 71668 HAS SOUPS 71668 WITH SCORE 71749.078
AT ITER 353 NEW BEST:: SOT 213075 SOS 80885 HAS SOPS 80885 HAS SOUS 71511 HAS SOUPS 71511 WITH SCORE 71591.885
AT ITER 358 NEW BEST:: SOT 213082 SOS 80705 HAS SOPS 80705 HAS SOUS 71331 HAS SOUPS 71331 WITH SCORE 71411.705
AT ITER 376 NEW BEST:: SOT 213049 SOS 80636 HAS SOPS 80636 HAS SOUS 71262 HAS SOUPS 71262 WITH SCORE 71342.636
AT ITER 382 NEW BEST:: SOT 211084 SOS 78655 HAS SOPS 78655 HAS SOUS 69297 HAS SOUPS 69297 WITH SCORE 69375.655
AT ITER 403 NEW BEST:: SOT 211132 SOS 78697 HAS SOPS 78697 HAS SOUS 69199 HAS SOUPS 69199 WITH SCORE 69277.697
AT ITER 410 NEW BEST:: SOT 211040 SOS 78513 HAS SOPS 78513 HAS SOUS 69050 HAS SOUPS 69050 WITH SCORE 69128.513
AT ITER 417 NEW BEST:: SOT 211026 SOS 78497 HAS SOPS 78497 HAS SOUS 69034 HAS SOUPS 69034 WITH SCORE 69112.497
AT ITER 419 NEW BEST:: SOT 210993 SOS 78328 HAS SOPS 78328 HAS SOUS 68928 HAS SOUPS 68928 WITH SCORE 69006.328
AT ITER 420 NEW BEST:: SOT 210906 SOS 78240 HAS SOPS 78240 HAS SOUS 68840 HAS SOUPS 68840 WITH SCORE 68918.24
AT ITER 426 NEW BEST:: SOT 210906 SOS 78140 HAS SOPS 78140 HAS SOUS 68740 HAS SOUPS 68740 WITH SCORE 68818.14
AT ITER 432 NEW BEST:: SOT 210831 SOS 78015 HAS SOPS 78015 HAS SOUS 68690 HAS SOUPS 68690 WITH SCORE 68768.015
AT ITER 441 NEW BEST:: SOT 210830 SOS 78014 HAS SOPS 78014 HAS SOUS 68689 HAS SOUPS 68689 WITH SCORE 68767.014
AT ITER 443 NEW BEST:: SOT 210700 SOS 77927 HAS SOPS 77927 HAS SOUS 68684 HAS SOUPS 68684 WITH SCORE 68761.927
AT ITER 451 NEW BEST:: SOT 210635 SOS 77862 HAS SOPS 77862 HAS SOUS 68619 HAS SOUPS 68619 WITH SCORE 68696.862
AT ITER 484 NEW BEST:: SOT 210587 SOS 77766 HAS SOPS 77766 HAS SOUS 68523 HAS SOUPS 68523 WITH SCORE 68600.766
AT ITER 488 NEW BEST:: SOT 210526 SOS 77705 HAS SOPS 77705 HAS SOUS 68523 HAS SOUPS 68523 WITH SCORE 68600.705
AT ITER 506 NEW BEST:: SOT 210525 SOS 77703 HAS SOPS 77703 HAS SOUS 68521 HAS SOUPS 68521 WITH SCORE 68598.703
AT ITER 507 NEW BEST:: SOT 210490 SOS 77668 HAS SOPS 77668 HAS SOUS 68486 HAS SOUPS 68486 WITH SCORE 68563.668
AT ITER 509 NEW BEST:: SOT 210518 SOS 77551 HAS SOPS 77551 HAS SOUS 68404 HAS SOUPS 68404 WITH SCORE 68481.551
AT ITER 525 NEW BEST:: SOT 210284 SOS 77328 HAS SOPS 77328 HAS SOUS 68261 HAS SOUPS 68261 WITH SCORE 68338.328
AT ITER 526 NEW BEST:: SOT 210273 SOS 77317 HAS SOPS 77317 HAS SOUS 68250 HAS SOUPS 68250 WITH SCORE 68327.317
AT ITER 530 NEW BEST:: SOT 210242 SOS 77113 HAS SOPS 77113 HAS SOUS 68075 HAS SOUPS 68075 WITH SCORE 68152.113
AT ITER 532 NEW BEST:: SOT 210239 SOS 76902 HAS SOPS 76902 HAS SOUS 67765 HAS SOUPS 67765 WITH SCORE 67841.902
AT ITER 535 NEW BEST:: SOT 210127 SOS 76809 HAS SOPS 76809 HAS SOUS 67672 HAS SOUPS 67672 WITH SCORE 67748.809
AT ITER 536 NEW BEST:: SOT 209981 SOS 76663 HAS SOPS 76663 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67665.663
AT ITER 540 NEW BEST:: SOT 209902 SOS 76584 HAS SOPS 76584 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67665.584
AT ITER 545 NEW BEST:: SOT 209902 SOS 76567 HAS SOPS 76567 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67665.567
AT ITER 555 NEW BEST:: SOT 209902 SOS 76567 HAS SOPS 76567 HAS SOUS 67588 HAS SOUPS 67588 WITH SCORE 67664.567
AT ITER 556 NEW BEST:: SOT 209959 SOS 76624 HAS SOPS 76624 HAS SOUS 67552 HAS SOUPS 67552 WITH SCORE 67628.624
AT ITER 579 NEW BEST:: SOT 209959 SOS 76590 HAS SOPS 76590 HAS SOUS 67518 HAS SOUPS 67518 WITH SCORE 67594.59
AT ITER 649 NEW BEST:: SOT 209890 SOS 76452 HAS SOPS 76452 HAS SOUS 67380 HAS SOUPS 67380 WITH SCORE 67456.452
AT ITER 653 NEW BEST:: SOT 209657 SOS 76104 HAS SOPS 76104 HAS SOUS 67147 HAS SOUPS 67147 WITH SCORE 67223.104
AT ITER 656 NEW BEST:: SOT 209656 SOS 76102 HAS SOPS 76102 HAS SOUS 67145 HAS SOUPS 67145 WITH SCORE 67221.102
AT ITER 678 NEW BEST:: SOT 209655 SOS 76100 HAS SOPS 76100 HAS SOUS 67143 HAS SOUPS 67143 WITH SCORE 67219.1
AT ITER 682 NEW BEST:: SOT 209627 SOS 76071 HAS SOPS 76071 HAS SOUS 67141 HAS SOUPS 67141 WITH SCORE 67217.071
AT ITER 685 NEW BEST:: SOT 209627 SOS 76044 HAS SOPS 76044 HAS SOUS 67114 HAS SOUPS 67114 WITH SCORE 67190.044
AT ITER 698 NEW BEST:: SOT 209505 SOS 75800 HAS SOPS 75800 HAS SOUS 66870 HAS SOUPS 66870 WITH SCORE 66945.8
AT ITER 710 NEW BEST:: SOT 209516 SOS 75775 HAS SOPS 75775 HAS SOUS 66845 HAS SOUPS 66845 WITH SCORE 66920.775
AT ITER 714 NEW BEST:: SOT 209516 SOS 75775 HAS SOPS 75775 HAS SOUS 66844 HAS SOUPS 66844 WITH SCORE 66919.775
AT ITER 721 NEW BEST:: SOT 209515 SOS 75549 HAS SOPS 75549 HAS SOUS 66618 HAS SOUPS 66618 WITH SCORE 66693.549
AT ITER 728 NEW BEST:: SOT 209553 SOS 74956 HAS SOPS 74956 HAS SOUS 66025 HAS SOUPS 66025 WITH SCORE 66099.956
AT ITER 734 NEW BEST:: SOT 208450 SOS 74381 HAS SOPS 74381 HAS SOUS 64955 HAS SOUPS 64955 WITH SCORE 65029.381
AT ITER 749 NEW BEST:: SOT 208475 SOS 74411 HAS SOPS 74411 HAS SOUS 64947 HAS SOUPS 64947 WITH SCORE 65021.411
AT ITER 752 NEW BEST:: SOT 206330 SOS 72398 HAS SOPS 72398 HAS SOUS 62949 HAS SOUPS 62949 WITH SCORE 63021.398
AT ITER 762 NEW BEST:: SOT 206282 SOS 70862 HAS SOPS 70862 HAS SOUS 62853 HAS SOUPS 62853 WITH SCORE 62923.862
AT ITER 768 NEW BEST:: SOT 206141 SOS 70652 HAS SOPS 70652 HAS SOUS 62661 HAS SOUPS 62661 WITH SCORE 62731.652
AT ITER 778 NEW BEST:: SOT 206248 SOS 70442 HAS SOPS 70442 HAS SOUS 62451 HAS SOUPS 62451 WITH SCORE 62521.442
AT ITER 780 NEW BEST:: SOT 206181 SOS 70375 HAS SOPS 70375 HAS SOUS 62384 HAS SOUPS 62384 WITH SCORE 62454.375
AT ITER 782 NEW BEST:: SOT 206113 SOS 70365 HAS SOPS 70365 HAS SOUS 62374 HAS SOUPS 62374 WITH SCORE 62444.365
AT ITER 784 NEW BEST:: SOT 206100 SOS 70352 HAS SOPS 70352 HAS SOUS 62361 HAS SOUPS 62361 WITH SCORE 62431.352
AT ITER 787 NEW BEST:: SOT 205934 SOS 70277 HAS SOPS 70277 HAS SOUS 62286 HAS SOUPS 62286 WITH SCORE 62356.277
AT ITER 794 NEW BEST:: SOT 205912 SOS 70245 HAS SOPS 70245 HAS SOUS 62278 HAS SOUPS 62278 WITH SCORE 62348.245
AT ITER 796 NEW BEST:: SOT 205931 SOS 70283 HAS SOPS 70283 HAS SOUS 62230 HAS SOUPS 62230 WITH SCORE 62300.283
AT ITER 797 NEW BEST:: SOT 205901 SOS 70223 HAS SOPS 70223 HAS SOUS 62170 HAS SOUPS 62170 WITH SCORE 62240.223
AT ITER 800 NEW BEST:: SOT 205728 SOS 69978 HAS SOPS 69978 HAS SOUS 61925 HAS SOUPS 61925 WITH SCORE 61994.978
AT ITER 804 NEW BEST:: SOT 205663 SOS 69779 HAS SOPS 69779 HAS SOUS 61919 HAS SOUPS 61919 WITH SCORE 61988.779
AT ITER 816 NEW BEST:: SOT 205575 SOS 69620 HAS SOPS 69620 HAS SOUS 61760 HAS SOUPS 61760 WITH SCORE 61829.62
AT ITER 822 NEW BEST:: SOT 205808 SOS 69595 HAS SOPS 69595 HAS SOUS 61723 HAS SOUPS 61723 WITH SCORE 61792.595
AT ITER 824 NEW BEST:: SOT 205730 SOS 69487 HAS SOPS 69487 HAS SOUS 61655 HAS SOUPS 61655 WITH SCORE 61724.487
AT ITER 827 NEW BEST:: SOT 205692 SOS 69427 HAS SOPS 69427 HAS SOUS 61631 HAS SOUPS 61631 WITH SCORE 61700.427
AT ITER 835 NEW BEST:: SOT 205571 SOS 69306 HAS SOPS 69306 HAS SOUS 61510 HAS SOUPS 61510 WITH SCORE 61579.306
AT ITER 840 NEW BEST:: SOT 205588 SOS 69232 HAS SOPS 69232 HAS SOUS 61466 HAS SOUPS 61466 WITH SCORE 61535.232
AT ITER 841 NEW BEST:: SOT 205478 SOS 69117 HAS SOPS 69117 HAS SOUS 61333 HAS SOUPS 61333 WITH SCORE 61402.117
AT ITER 842 NEW BEST:: SOT 205467 SOS 69106 HAS SOPS 69106 HAS SOUS 61322 HAS SOUPS 61322 WITH SCORE 61391.106
AT ITER 844 NEW BEST:: SOT 205519 SOS 69123 HAS SOPS 69123 HAS SOUS 61252 HAS SOUPS 61252 WITH SCORE 61321.123
AT ITER 852 NEW BEST:: SOT 205499 SOS 69103 HAS SOPS 69103 HAS SOUS 61252 HAS SOUPS 61252 WITH SCORE 61321.103
AT ITER 859 NEW BEST:: SOT 205499 SOS 69103 HAS SOPS 69103 HAS SOUS 61120 HAS SOUPS 61120 WITH SCORE 61189.103
AT ITER 864 NEW BEST:: SOT 205499 SOS 69102 HAS SOPS 69102 HAS SOUS 61119 HAS SOUPS 61119 WITH SCORE 61188.102
AT ITER 874 NEW BEST:: SOT 205585 SOS 69143 HAS SOPS 69143 HAS SOUS 61006 HAS SOUPS 61006 WITH SCORE 61075.143
AT ITER 882 NEW BEST:: SOT 205585 SOS 69141 HAS SOPS 69141 HAS SOUS 61004 HAS SOUPS 61004 WITH SCORE 61073.141
AT ITER 894 NEW BEST:: SOT 205502 SOS 69032 HAS SOPS 69032 HAS SOUS 60895 HAS SOUPS 60895 WITH SCORE 60964.032
AT ITER 896 NEW BEST:: SOT 205412 SOS 68886 HAS SOPS 68886 HAS SOUS 60845 HAS SOUPS 60845 WITH SCORE 60913.886
AT ITER 906 NEW BEST:: SOT 205412 SOS 68912 HAS SOPS 68912 HAS SOUS 60841 HAS SOUPS 60841 WITH SCORE 60909.912
AT ITER 910 NEW BEST:: SOT 205411 SOS 68910 HAS SOPS 68910 HAS SOUS 60839 HAS SOUPS 60839 WITH SCORE 60907.91
AT ITER 924 NEW BEST:: SOT 205382 SOS 68881 HAS SOPS 68881 HAS SOUS 60810 HAS SOUPS 60810 WITH SCORE 60878.881
AT ITER 929 NEW BEST:: SOT 205372 SOS 68861 HAS SOPS 68861 HAS SOUS 60790 HAS SOUPS 60790 WITH SCORE 60858.861
AT ITER 933 NEW BEST:: SOT 205435 SOS 68924 HAS SOPS 68924 HAS SOUS 60745 HAS SOUPS 60745 WITH SCORE 60813.924
AT ITER 952 NEW BEST:: SOT 205435 SOS 68901 HAS SOPS 68901 HAS SOUS 60722 HAS SOUPS 60722 WITH SCORE 60790.901
AT ITER 954 NEW BEST:: SOT 205358 SOS 68732 HAS SOPS 68732 HAS SOUS 60585 HAS SOUPS 60585 WITH SCORE 60653.732
AT ITER 956 NEW BEST:: SOT 205416 SOS 68492 HAS SOPS 68492 HAS SOUS 60345 HAS SOUPS 60345 WITH SCORE 60413.492
AT ITER 958 NEW BEST:: SOT 205505 SOS 68391 HAS SOPS 68391 HAS SOUS 60244 HAS SOUPS 60244 WITH SCORE 60312.391
AT ITER 985 NEW BEST:: SOT 205515 SOS 68380 HAS SOPS 68380 HAS SOUS 60202 HAS SOUPS 60202 WITH SCORE 60270.38
AT ITER 990 NEW BEST:: SOT 205521 SOS 68246 HAS SOPS 68246 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60223.246
AT ITER 995 NEW BEST:: SOT 205542 SOS 68267 HAS SOPS 68267 HAS SOUS 60102 HAS SOUPS 60102 WITH SCORE 60170.267
AT ITER 996 NEW BEST:: SOT 205520 SOS 68302 HAS SOPS 68302 HAS SOUS 60067 HAS SOUPS 60067 WITH SCORE 60135.302
AT ITER 998 NEW BEST:: SOT 205503 SOS 68268 HAS SOPS 68268 HAS SOUS 59987 HAS SOUPS 59987 WITH SCORE 60055.268
AT ITER 999 NEW BEST:: SOT 205338 SOS 67981 HAS SOPS 67981 HAS SOUS 59700 HAS SOUPS 59700 WITH SCORE 59767.981
AT ITER 1003 NEW BEST:: SOT 205278 SOS 67891 HAS SOPS 67891 HAS SOUS 59640 HAS SOUPS 59640 WITH SCORE 59707.891
AT ITER 1012 NEW BEST:: SOT 205278 SOS 67817 HAS SOPS 67817 HAS SOUS 59566 HAS SOUPS 59566 WITH SCORE 59633.817
AT ITER 1022 NEW BEST:: SOT 205277 SOS 67815 HAS SOPS 67815 HAS SOUS 59564 HAS SOUPS 59564 WITH SCORE 59631.815
AT ITER 1024 NEW BEST:: SOT 205293 SOS 67815 HAS SOPS 67815 HAS SOUS 59548 HAS SOUPS 59548 WITH SCORE 59615.815
AT ITER 1025 NEW BEST:: SOT 205293 SOS 67815 HAS SOPS 67815 HAS SOUS 59523 HAS SOUPS 59523 WITH SCORE 59590.815
AT ITER 1027 NEW BEST:: SOT 205230 SOS 67781 HAS SOPS 67781 HAS SOUS 59489 HAS SOUPS 59489 WITH SCORE 59556.781
AT ITER 1028 NEW BEST:: SOT 205230 SOS 67779 HAS SOPS 67779 HAS SOUS 59487 HAS SOUPS 59487 WITH SCORE 59554.779
AT ITER 1043 NEW BEST:: SOT 205230 SOS 67777 HAS SOPS 67777 HAS SOUS 59485 HAS SOUPS 59485 WITH SCORE 59552.777
AT ITER 1049 NEW BEST:: SOT 205230 SOS 67709 HAS SOPS 67709 HAS SOUS 59485 HAS SOUPS 59485 WITH SCORE 59552.709
AT ITER 1066 NEW BEST:: SOT 204360 SOS 66807 HAS SOPS 66807 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58649.807
AT ITER 1071 NEW BEST:: SOT 204264 SOS 66732 HAS SOPS 66732 HAS SOUS 58508 HAS SOUPS 58508 WITH SCORE 58574.732
AT ITER 1073 NEW BEST:: SOT 204104 SOS 66542 HAS SOPS 66542 HAS SOUS 58318 HAS SOUPS 58318 WITH SCORE 58384.542
AT ITER 1074 NEW BEST:: SOT 204021 SOS 66376 HAS SOPS 66376 HAS SOUS 58242 HAS SOUPS 58242 WITH SCORE 58308.376
AT ITER 1091 NEW BEST:: SOT 203986 SOS 66306 HAS SOPS 66306 HAS SOUS 58172 HAS SOUPS 58172 WITH SCORE 58238.306
AT ITER 1104 NEW BEST:: SOT 204028 SOS 66231 HAS SOPS 66231 HAS SOUS 58097 HAS SOUPS 58097 WITH SCORE 58163.231
AT ITER 1118 NEW BEST:: SOT 204049 SOS 66230 HAS SOPS 66230 HAS SOUS 58096 HAS SOUPS 58096 WITH SCORE 58162.23
AT ITER 1124 NEW BEST:: SOT 204048 SOS 66228 HAS SOPS 66228 HAS SOUS 58094 HAS SOUPS 58094 WITH SCORE 58160.228
AT ITER 1150 NEW BEST:: SOT 204043 SOS 66218 HAS SOPS 66218 HAS SOUS 58084 HAS SOUPS 58084 WITH SCORE 58150.218
AT ITER 1154 NEW BEST:: SOT 204042 SOS 66216 HAS SOPS 66216 HAS SOUS 58082 HAS SOUPS 58082 WITH SCORE 58148.216
AT ITER 1164 NEW BEST:: SOT 204066 SOS 66209 HAS SOPS 66209 HAS SOUS 58075 HAS SOUPS 58075 WITH SCORE 58141.209
AT ITER 1167 NEW BEST:: SOT 204012 SOS 66101 HAS SOPS 66101 HAS SOUS 57994 HAS SOUPS 57994 WITH SCORE 58060.101
AT ITER 1169 NEW BEST:: SOT 204006 SOS 66089 HAS SOPS 66089 HAS SOUS 57988 HAS SOUPS 57988 WITH SCORE 58054.089
AT ITER 1170 NEW BEST:: SOT 203634 SOS 65862 HAS SOPS 65862 HAS SOUS 57897 HAS SOUPS 57897 WITH SCORE 57962.862
AT ITER 1171 NEW BEST:: SOT 203425 SOS 65277 HAS SOPS 65277 HAS SOUS 57500 HAS SOUPS 57500 WITH SCORE 57565.277
AT ITER 1179 NEW BEST:: SOT 203392 SOS 65211 HAS SOPS 65211 HAS SOUS 57434 HAS SOUPS 57434 WITH SCORE 57499.211
AT ITER 1180 NEW BEST:: SOT 203249 SOS 65005 HAS SOPS 65005 HAS SOUS 57228 HAS SOUPS 57228 WITH SCORE 57293.005
AT ITER 1182 NEW BEST:: SOT 203248 SOS 65003 HAS SOPS 65003 HAS SOUS 57226 HAS SOUPS 57226 WITH SCORE 57291.003
AT ITER 1183 NEW BEST:: SOT 203102 SOS 64729 HAS SOPS 64729 HAS SOUS 56952 HAS SOUPS 56952 WITH SCORE 57016.729
AT ITER 1195 NEW BEST:: SOT 202884 SOS 64642 HAS SOPS 64642 HAS SOUS 56931 HAS SOUPS 56931 WITH SCORE 56995.642
AT ITER 1196 NEW BEST:: SOT 202791 SOS 64456 HAS SOPS 64456 HAS SOUS 56807 HAS SOUPS 56807 WITH SCORE 56871.456
AT ITER 1228 NEW BEST:: SOT 202764 SOS 64402 HAS SOPS 64402 HAS SOUS 56753 HAS SOUPS 56753 WITH SCORE 56817.402
AT ITER 1238 NEW BEST:: SOT 202745 SOS 64364 HAS SOPS 64364 HAS SOUS 56715 HAS SOUPS 56715 WITH SCORE 56779.364
AT ITER 1254 NEW BEST:: SOT 202725 SOS 64324 HAS SOPS 64324 HAS SOUS 56675 HAS SOUPS 56675 WITH SCORE 56739.324
AT ITER 1257 NEW BEST:: SOT 202748 SOS 64370 HAS SOPS 64370 HAS SOUS 56620 HAS SOUPS 56620 WITH SCORE 56684.37
AT ITER 1265 NEW BEST:: SOT 202749 SOS 64353 HAS SOPS 64353 HAS SOUS 56605 HAS SOUPS 56605 WITH SCORE 56669.353
AT ITER 1271 NEW BEST:: SOT 202749 SOS 64335 HAS SOPS 64335 HAS SOUS 56587 HAS SOUPS 56587 WITH SCORE 56651.335
AT ITER 1278 NEW BEST:: SOT 202749 SOS 64333 HAS SOPS 64333 HAS SOUS 56585 HAS SOUPS 56585 WITH SCORE 56649.333
AT ITER 1279 NEW BEST:: SOT 202742 SOS 64330 HAS SOPS 64330 HAS SOUS 56582 HAS SOUPS 56582 WITH SCORE 56646.33
AT ITER 1280 NEW BEST:: SOT 202735 SOS 64323 HAS SOPS 64323 HAS SOUS 56575 HAS SOUPS 56575 WITH SCORE 56639.323
AT ITER 1282 NEW BEST:: SOT 202879 SOS 64230 HAS SOPS 64230 HAS SOUS 56482 HAS SOUPS 56482 WITH SCORE 56546.23
AT ITER 1289 NEW BEST:: SOT 202863 SOS 64165 HAS SOPS 64165 HAS SOUS 56356 HAS SOUPS 56356 WITH SCORE 56420.165
AT ITER 1293 NEW BEST:: SOT 202863 SOS 64061 HAS SOPS 64061 HAS SOUS 56327 HAS SOUPS 56327 WITH SCORE 56391.061
AT ITER 1297 NEW BEST:: SOT 202838 SOS 64036 HAS SOPS 64036 HAS SOUS 56302 HAS SOUPS 56302 WITH SCORE 56366.036
AT ITER 1309 NEW BEST:: SOT 202835 SOS 64031 HAS SOPS 64031 HAS SOUS 56297 HAS SOUPS 56297 WITH SCORE 56361.031
AT ITER 1320 NEW BEST:: SOT 202448 SOS 63507 HAS SOPS 63507 HAS SOUS 55911 HAS SOUPS 55911 WITH SCORE 55974.507
AT ITER 1324 NEW BEST:: SOT 202463 SOS 63502 HAS SOPS 63502 HAS SOUS 55906 HAS SOUPS 55906 WITH SCORE 55969.502
AT ITER 1348 NEW BEST:: SOT 202486 SOS 63480 HAS SOPS 63480 HAS SOUS 55848 HAS SOUPS 55848 WITH SCORE 55911.48
AT ITER 1382 NEW BEST:: SOT 202421 SOS 63419 HAS SOPS 63419 HAS SOUS 55787 HAS SOUPS 55787 WITH SCORE 55850.419
AT ITER 1389 NEW BEST:: SOT 202347 SOS 63271 HAS SOPS 63271 HAS SOUS 55713 HAS SOUPS 55713 WITH SCORE 55776.271
AT ITER 1432 NEW BEST:: SOT 202351 SOS 63254 HAS SOPS 63254 HAS SOUS 55692 HAS SOUPS 55692 WITH SCORE 55755.254
AT ITER 1433 NEW BEST:: SOT 202351 SOS 63189 HAS SOPS 63189 HAS SOUS 55562 HAS SOUPS 55562 WITH SCORE 55625.189
AT ITER 1452 NEW BEST:: SOT 202213 SOS 62653 HAS SOPS 62653 HAS SOUS 55237 HAS SOUPS 55237 WITH SCORE 55299.653
AT ITER 1464 NEW BEST:: SOT 202213 SOS 62644 HAS SOPS 62644 HAS SOUS 55228 HAS SOUPS 55228 WITH SCORE 55290.644
AT ITER 1505 NEW BEST:: SOT 202213 SOS 62601 HAS SOPS 62601 HAS SOUS 55185 HAS SOUPS 55185 WITH SCORE 55247.601
AT ITER 1511 NEW BEST:: SOT 202204 SOS 62592 HAS SOPS 62592 HAS SOUS 55176 HAS SOUPS 55176 WITH SCORE 55238.592
AT ITER 1516 NEW BEST:: SOT 202212 SOS 62579 HAS SOPS 62579 HAS SOUS 55163 HAS SOUPS 55163 WITH SCORE 55225.579
AT ITER 1529 NEW BEST:: SOT 202212 SOS 62577 HAS SOPS 62577 HAS SOUS 55161 HAS SOUPS 55161 WITH SCORE 55223.577
AT ITER 1537 NEW BEST:: SOT 202196 SOS 62560 HAS SOPS 62560 HAS SOUS 55144 HAS SOUPS 55144 WITH SCORE 55206.56
AT ITER 1545 NEW BEST:: SOT 202066 SOS 62363 HAS SOPS 62363 HAS SOUS 54957 HAS SOUPS 54957 WITH SCORE 55019.363
AT ITER 1548 NEW BEST:: SOT 202059 SOS 62356 HAS SOPS 62356 HAS SOUS 54950 HAS SOUPS 54950 WITH SCORE 55012.356
AT ITER 1583 NEW BEST:: SOT 201945 SOS 62242 HAS SOPS 62242 HAS SOUS 54950 HAS SOUPS 54950 WITH SCORE 55012.242
AT ITER 1585 NEW BEST:: SOT 201893 SOS 62114 HAS SOPS 62114 HAS SOUS 54874 HAS SOUPS 54874 WITH SCORE 54936.114
AT ITER 1615 NEW BEST:: SOT 201861 SOS 62050 HAS SOPS 62050 HAS SOUS 54810 HAS SOUPS 54810 WITH SCORE 54872.05
AT ITER 1616 NEW BEST:: SOT 201777 SOS 61982 HAS SOPS 61982 HAS SOUS 54742 HAS SOUPS 54742 WITH SCORE 54803.982
AT ITER 1633 NEW BEST:: SOT 201740 SOS 61937 HAS SOPS 61937 HAS SOUS 54697 HAS SOUPS 54697 WITH SCORE 54758.937
AT ITER 1688 NEW BEST:: SOT 201740 SOS 61890 HAS SOPS 61890 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54711.89
AT ITER 1706 NEW BEST:: SOT 201171 SOS 67152 HAS SOPS 67152 HAS SOUS 54268 HAS SOUPS 54268 WITH SCORE 54335.152
AT ITER 1728 NEW BEST:: SOT 201154 SOS 67118 HAS SOPS 67118 HAS SOUS 54234 HAS SOUPS 54234 WITH SCORE 54301.118
AT ITER 1755 NEW BEST:: SOT 201192 SOS 67151 HAS SOPS 67151 HAS SOUS 54150 HAS SOUPS 54150 WITH SCORE 54217.151
AT ITER 1762 NEW BEST:: SOT 201192 SOS 67151 HAS SOPS 67151 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54191.151
AT ITER 1771 NEW BEST:: SOT 201177 SOS 67121 HAS SOPS 67121 HAS SOUS 54094 HAS SOUPS 54094 WITH SCORE 54161.121
AT ITER 1778 NEW BEST:: SOT 201067 SOS 66952 HAS SOPS 66952 HAS SOUS 53925 HAS SOUPS 53925 WITH SCORE 53991.952
AT ITER 1785 NEW BEST:: SOT 201118 SOS 66943 HAS SOPS 66943 HAS SOUS 53916 HAS SOUPS 53916 WITH SCORE 53982.943
AT ITER 1798 NEW BEST:: SOT 201118 SOS 66943 HAS SOPS 66943 HAS SOUS 53873 HAS SOUPS 53873 WITH SCORE 53939.943
AT ITER 1826 NEW BEST:: SOT 201062 SOS 66880 HAS SOPS 66880 HAS SOUS 53810 HAS SOUPS 53810 WITH SCORE 53876.88
AT ITER 1831 NEW BEST:: SOT 201038 SOS 66807 HAS SOPS 66807 HAS SOUS 53737 HAS SOUPS 53737 WITH SCORE 53803.807
AT ITER 1843 NEW BEST:: SOT 200956 SOS 66752 HAS SOPS 66752 HAS SOUS 53682 HAS SOUPS 53682 WITH SCORE 53748.752
AT ITER 1850 NEW BEST:: SOT 200948 SOS 66728 HAS SOPS 66728 HAS SOUS 53658 HAS SOUPS 53658 WITH SCORE 53724.728
AT ITER 1856 NEW BEST:: SOT 201084 SOS 66714 HAS SOPS 66714 HAS SOUS 53644 HAS SOUPS 53644 WITH SCORE 53710.714
AT ITER 1859 NEW BEST:: SOT 201127 SOS 66632 HAS SOPS 66632 HAS SOUS 53588 HAS SOUPS 53588 WITH SCORE 53654.632
AT ITER 1886 NEW BEST:: SOT 200733 SOS 66254 HAS SOPS 66254 HAS SOUS 53399 HAS SOUPS 53399 WITH SCORE 53465.254
AT ITER 1889 NEW BEST:: SOT 200620 SOS 66028 HAS SOPS 66028 HAS SOUS 53253 HAS SOUPS 53253 WITH SCORE 53319.028
AT ITER 1898 NEW BEST:: SOT 200576 SOS 65984 HAS SOPS 65984 HAS SOUS 53253 HAS SOUPS 53253 WITH SCORE 53318.984
AT ITER 1905 NEW BEST:: SOT 200551 SOS 65934 HAS SOPS 65934 HAS SOUS 53228 HAS SOUPS 53228 WITH SCORE 53293.934
AT ITER 1912 NEW BEST:: SOT 200542 SOS 65925 HAS SOPS 65925 HAS SOUS 53219 HAS SOUPS 53219 WITH SCORE 53284.925
AT ITER 1939 NEW BEST:: SOT 200571 SOS 65966 HAS SOPS 65966 HAS SOUS 53150 HAS SOUPS 53150 WITH SCORE 53215.966
AT ITER 1942 NEW BEST:: SOT 200519 SOS 65914 HAS SOPS 65914 HAS SOUS 53150 HAS SOUPS 53150 WITH SCORE 53215.914
AT ITER 1964 NEW BEST:: SOT 200456 SOS 65775 HAS SOPS 65775 HAS SOUS 53011 HAS SOUPS 53011 WITH SCORE 53076.775
AT ITER 1967 NEW BEST:: SOT 200398 SOS 65729 HAS SOPS 65729 HAS SOUS 52967 HAS SOUPS 52967 WITH SCORE 53032.729
AT ITER 1978 NEW BEST:: SOT 200377 SOS 65705 HAS SOPS 65705 HAS SOUS 52939 HAS SOUPS 52939 WITH SCORE 53004.705
AT ITER 2013 NEW BEST:: SOT 200354 SOS 65659 HAS SOPS 65659 HAS SOUS 52893 HAS SOUPS 52893 WITH SCORE 52958.659
AT ITER 2016 NEW BEST:: SOT 200313 SOS 65618 HAS SOPS 65618 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52917.618
AT ITER 2023 NEW BEST:: SOT 200313 SOS 65616 HAS SOPS 65616 HAS SOUS 52850 HAS SOUPS 52850 WITH SCORE 52915.616
AT ITER 2025 NEW BEST:: SOT 200283 SOS 65586 HAS SOPS 65586 HAS SOUS 52846 HAS SOUPS 52846 WITH SCORE 52911.586
AT ITER 2032 NEW BEST:: SOT 200259 SOS 65562 HAS SOPS 65562 HAS SOUS 52846 HAS SOUPS 52846 WITH SCORE 52911.562
AT ITER 2040 NEW BEST:: SOT 200143 SOS 65317 HAS SOPS 65317 HAS SOUS 52601 HAS SOUPS 52601 WITH SCORE 52666.317
AT ITER 2052 NEW BEST:: SOT 200000 SOS 65208 HAS SOPS 65208 HAS SOUS 52492 HAS SOUPS 52492 WITH SCORE 52557.208
AT ITER 2071 NEW BEST:: SOT 199918 SOS 65044 HAS SOPS 65044 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52395.044
AT ITER 2076 NEW BEST:: SOT 200068 SOS 65054 HAS SOPS 65054 HAS SOUS 52244 HAS SOUPS 52244 WITH SCORE 52309.054
AT ITER 2081 NEW BEST:: SOT 200002 SOS 65092 HAS SOPS 65092 HAS SOUS 52098 HAS SOUPS 52098 WITH SCORE 52163.092
AT ITER 2101 NEW BEST:: SOT 199982 SOS 65076 HAS SOPS 65076 HAS SOUS 52097 HAS SOUPS 52097 WITH SCORE 52162.076
AT ITER 2110 NEW BEST:: SOT 200002 SOS 65058 HAS SOPS 65058 HAS SOUS 52021 HAS SOUPS 52021 WITH SCORE 52086.058
AT ITER 2117 NEW BEST:: SOT 199938 SOS 65019 HAS SOPS 65019 HAS SOUS 51957 HAS SOUPS 51957 WITH SCORE 52022.019
AT ITER 2132 NEW BEST:: SOT 199929 SOS 65001 HAS SOPS 65001 HAS SOUS 51953 HAS SOUPS 51953 WITH SCORE 52018.001
AT ITER 2135 NEW BEST:: SOT 199984 SOS 64987 HAS SOPS 64987 HAS SOUS 51939 HAS SOUPS 51939 WITH SCORE 52003.987
AT ITER 2179 NEW BEST:: SOT 199873 SOS 64765 HAS SOPS 64765 HAS SOUS 51800 HAS SOUPS 51800 WITH SCORE 51864.765
AT ITER 2205 NEW BEST:: SOT 199900 SOS 64636 HAS SOPS 64636 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51836.636
AT ITER 2206 NEW BEST:: SOT 199851 SOS 64592 HAS SOPS 64592 HAS SOUS 51721 HAS SOUPS 51721 WITH SCORE 51785.592
AT ITER 2211 NEW BEST:: SOT 199862 SOS 64614 HAS SOPS 64614 HAS SOUS 51719 HAS SOUPS 51719 WITH SCORE 51783.614
AT ITER 2218 NEW BEST:: SOT 199862 SOS 64609 HAS SOPS 64609 HAS SOUS 51714 HAS SOUPS 51714 WITH SCORE 51778.609
AT ITER 2227 NEW BEST:: SOT 199937 SOS 64626 HAS SOPS 64626 HAS SOUS 51656 HAS SOUPS 51656 WITH SCORE 51720.626
AT ITER 2239 NEW BEST:: SOT 199910 SOS 64599 HAS SOPS 64599 HAS SOUS 51656 HAS SOUPS 51656 WITH SCORE 51720.599
AT ITER 2263 NEW BEST:: SOT 199908 SOS 64586 HAS SOPS 64586 HAS SOUS 51643 HAS SOUPS 51643 WITH SCORE 51707.586
AT ITER 2265 NEW BEST:: SOT 199894 SOS 64538 HAS SOPS 64538 HAS SOUS 51561 HAS SOUPS 51561 WITH SCORE 51625.538
AT ITER 2276 NEW BEST:: SOT 199891 SOS 64532 HAS SOPS 64532 HAS SOUS 51558 HAS SOUPS 51558 WITH SCORE 51622.532
AT ITER 2287 NEW BEST:: SOT 199678 SOS 65900 HAS SOPS 65900 HAS SOUS 51550 HAS SOUPS 51550 WITH SCORE 51615.9
AT ITER 2295 NEW BEST:: SOT 199672 SOS 65793 HAS SOPS 65793 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51508.793
AT ITER 2317 NEW BEST:: SOT 199668 SOS 65787 HAS SOPS 65787 HAS SOUS 51441 HAS SOUPS 51441 WITH SCORE 51506.787
AT ITER 2339 NEW BEST:: SOT 199667 SOS 65784 HAS SOPS 65784 HAS SOUS 51438 HAS SOUPS 51438 WITH SCORE 51503.784
AT ITER 2354 NEW BEST:: SOT 199636 SOS 65691 HAS SOPS 65691 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51463.691
AT ITER 2357 NEW BEST:: SOT 199627 SOS 65642 HAS SOPS 65642 HAS SOUS 51389 HAS SOUPS 51389 WITH SCORE 51454.642
AT ITER 2389 NEW BEST:: SOT 199616 SOS 65620 HAS SOPS 65620 HAS SOUS 51356 HAS SOUPS 51356 WITH SCORE 51421.62
AT ITER 2401 NEW BEST:: SOT 199616 SOS 65572 HAS SOPS 65572 HAS SOUS 51308 HAS SOUPS 51308 WITH SCORE 51373.572
AT ITER 2436 NEW BEST:: SOT 199555 SOS 65513 HAS SOPS 65513 HAS SOUS 51254 HAS SOUPS 51254 WITH SCORE 51319.513
AT ITER 2451 NEW BEST:: SOT 199554 SOS 65500 HAS SOPS 65500 HAS SOUS 51241 HAS SOUPS 51241 WITH SCORE 51306.5
AT ITER 2458 NEW BEST:: SOT 199554 SOS 65500 HAS SOPS 65500 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51282.5
AT ITER 2491 NEW BEST:: SOT 199492 SOS 65394 HAS SOPS 65394 HAS SOUS 51111 HAS SOUPS 51111 WITH SCORE 51176.394
AT ITER 2501 NEW BEST:: SOT 199603 SOS 65380 HAS SOPS 65380 HAS SOUS 51097 HAS SOUPS 51097 WITH SCORE 51162.38
AT ITER 2510 NEW BEST:: SOT 199603 SOS 65356 HAS SOPS 65356 HAS SOUS 51073 HAS SOUPS 51073 WITH SCORE 51138.356
AT ITER 2546 NEW BEST:: SOT 199586 SOS 65339 HAS SOPS 65339 HAS SOUS 51056 HAS SOUPS 51056 WITH SCORE 51121.339
AT ITER 2556 NEW BEST:: SOT 199555 SOS 65277 HAS SOPS 65277 HAS SOUS 50973 HAS SOUPS 50973 WITH SCORE 51038.277
AT ITER 2566 NEW BEST:: SOT 199581 SOS 65255 HAS SOPS 65255 HAS SOUS 50951 HAS SOUPS 50951 WITH SCORE 51016.255
AT ITER 2571 NEW BEST:: SOT 199555 SOS 65202 HAS SOPS 65202 HAS SOUS 50898 HAS SOUPS 50898 WITH SCORE 50963.202
AT ITER 2595 NEW BEST:: SOT 199550 SOS 65192 HAS SOPS 65192 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50953.192
AT ITER 2611 NEW BEST:: SOT 199550 SOS 65157 HAS SOPS 65157 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50918.157
AT ITER 2615 NEW BEST:: SOT 199416 SOS 65023 HAS SOPS 65023 HAS SOUS 50746 HAS SOUPS 50746 WITH SCORE 50811.023
AT ITER 2621 NEW BEST:: SOT 199331 SOS 64936 HAS SOPS 64936 HAS SOUS 50742 HAS SOUPS 50742 WITH SCORE 50806.936
AT ITER 2646 NEW BEST:: SOT 199321 SOS 64926 HAS SOPS 64926 HAS SOUS 50742 HAS SOUPS 50742 WITH SCORE 50806.926
AT ITER 2671 NEW BEST:: SOT 199342 SOS 64840 HAS SOPS 64840 HAS SOUS 50656 HAS SOUPS 50656 WITH SCORE 50720.84
AT ITER 2682 NEW BEST:: SOT 199342 SOS 64789 HAS SOPS 64789 HAS SOUS 50639 HAS SOUPS 50639 WITH SCORE 50703.789
AT ITER 2685 NEW BEST:: SOT 199341 SOS 64787 HAS SOPS 64787 HAS SOUS 50637 HAS SOUPS 50637 WITH SCORE 50701.787
AT ITER 2691 NEW BEST:: SOT 199247 SOS 64693 HAS SOPS 64693 HAS SOUS 50637 HAS SOUPS 50637 WITH SCORE 50701.693
AT ITER 2699 NEW BEST:: SOT 199229 SOS 64675 HAS SOPS 64675 HAS SOUS 50619 HAS SOUPS 50619 WITH SCORE 50683.675
AT ITER 2710 NEW BEST:: SOT 199220 SOS 64568 HAS SOPS 64568 HAS SOUS 50553 HAS SOUPS 50553 WITH SCORE 50617.568
AT ITER 2730 NEW BEST:: SOT 199219 SOS 64566 HAS SOPS 64566 HAS SOUS 50551 HAS SOUPS 50551 WITH SCORE 50615.566
AT ITER 2747 NEW BEST:: SOT 199209 SOS 64556 HAS SOPS 64556 HAS SOUS 50529 HAS SOUPS 50529 WITH SCORE 50593.556
AT ITER 2753 NEW BEST:: SOT 199204 SOS 64551 HAS SOPS 64551 HAS SOUS 50519 HAS SOUPS 50519 WITH SCORE 50583.551
AT ITER 2759 NEW BEST:: SOT 199197 SOS 64537 HAS SOPS 64537 HAS SOUS 50505 HAS SOUPS 50505 WITH SCORE 50569.537
AT ITER 2777 NEW BEST:: SOT 199197 SOS 64452 HAS SOPS 64452 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50484.452
AT ITER 2792 NEW BEST:: SOT 198957 SOS 64821 HAS SOPS 64821 HAS SOUS 50356 HAS SOUPS 50356 WITH SCORE 50420.821
AT ITER 2804 NEW BEST:: SOT 198776 SOS 64554 HAS SOPS 64554 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50153.554
AT ITER 2814 NEW BEST:: SOT 198776 SOS 64522 HAS SOPS 64522 HAS SOUS 50089 HAS SOUPS 50089 WITH SCORE 50153.522
AT ITER 2823 NEW BEST:: SOT 198776 SOS 64401 HAS SOPS 64401 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50152.401
AT ITER 2831 NEW BEST:: SOT 198738 SOS 64325 HAS SOPS 64325 HAS SOUS 50040 HAS SOUPS 50040 WITH SCORE 50104.325
AT ITER 2835 NEW BEST:: SOT 198672 SOS 64052 HAS SOPS 64052 HAS SOUS 49767 HAS SOUPS 49767 WITH SCORE 49831.052
AT ITER 2861 NEW BEST:: SOT 198731 SOS 64091 HAS SOPS 64091 HAS SOUS 49727 HAS SOUPS 49727 WITH SCORE 49791.091
AT ITER 2867 NEW BEST:: SOT 198751 SOS 64058 HAS SOPS 64058 HAS SOUS 49694 HAS SOUPS 49694 WITH SCORE 49758.058
AT ITER 2876 NEW BEST:: SOT 198731 SOS 64028 HAS SOPS 64028 HAS SOUS 49674 HAS SOUPS 49674 WITH SCORE 49738.028
AT ITER 2892 NEW BEST:: SOT 198731 SOS 64013 HAS SOPS 64013 HAS SOUS 49674 HAS SOUPS 49674 WITH SCORE 49738.013
AT ITER 2894 NEW BEST:: SOT 198728 SOS 63972 HAS SOPS 63972 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49696.972
AT ITER 2902 NEW BEST:: SOT 198686 SOS 63888 HAS SOPS 63888 HAS SOUS 49549 HAS SOUPS 49549 WITH SCORE 49612.888
AT ITER 2904 NEW BEST:: SOT 198665 SOS 63487 HAS SOPS 63487 HAS SOUS 49507 HAS SOUPS 49507 WITH SCORE 49570.487
AT ITER 2909 NEW BEST:: SOT 198663 SOS 63485 HAS SOPS 63485 HAS SOUS 49505 HAS SOUPS 49505 WITH SCORE 49568.485
AT ITER 2914 NEW BEST:: SOT 198663 SOS 63447 HAS SOPS 63447 HAS SOUS 49405 HAS SOUPS 49405 WITH SCORE 49468.447
AT ITER 2919 NEW BEST:: SOT 198617 SOS 63300 HAS SOPS 63300 HAS SOUS 49304 HAS SOUPS 49304 WITH SCORE 49367.3
AT ITER 2924 NEW BEST:: SOT 198605 SOS 63284 HAS SOPS 63284 HAS SOUS 49288 HAS SOUPS 49288 WITH SCORE 49351.284
AT ITER 2930 NEW BEST:: SOT 198571 SOS 63233 HAS SOPS 63233 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49317.233
AT ITER 2951 NEW BEST:: SOT 198534 SOS 63159 HAS SOPS 63159 HAS SOUS 49227 HAS SOUPS 49227 WITH SCORE 49290.159
AT ITER 2953 NEW BEST:: SOT 198447 SOS 63102 HAS SOPS 63102 HAS SOUS 49136 HAS SOUPS 49136 WITH SCORE 49199.102
AT ITER 2977 NEW BEST:: SOT 198433 SOS 63027 HAS SOPS 63027 HAS SOUS 49061 HAS SOUPS 49061 WITH SCORE 49124.027
AT ITER 2979 NEW BEST:: SOT 198411 SOS 63019 HAS SOPS 63019 HAS SOUS 49053 HAS SOUPS 49053 WITH SCORE 49116.019
AT ITER 3007 NEW BEST:: SOT 198482 SOS 63050 HAS SOPS 63050 HAS SOUS 48892 HAS SOUPS 48892 WITH SCORE 48955.05
AT ITER 3039 NEW BEST:: SOT 198460 SOS 63023 HAS SOPS 63023 HAS SOUS 48864 HAS SOUPS 48864 WITH SCORE 48927.023
AT ITER 3046 NEW BEST:: SOT 198441 SOS 62989 HAS SOPS 62989 HAS SOUS 48830 HAS SOUPS 48830 WITH SCORE 48892.989
AT ITER 3050 NEW BEST:: SOT 198441 SOS 62983 HAS SOPS 62983 HAS SOUS 48827 HAS SOUPS 48827 WITH SCORE 48889.983
AT ITER 3058 NEW BEST:: SOT 198354 SOS 62809 HAS SOPS 62809 HAS SOUS 48667 HAS SOUPS 48667 WITH SCORE 48729.809
AT ITER 3074 NEW BEST:: SOT 198365 SOS 62820 HAS SOPS 62820 HAS SOUS 48645 HAS SOUPS 48645 WITH SCORE 48707.82
AT ITER 3084 NEW BEST:: SOT 198310 SOS 64391 HAS SOPS 64391 HAS SOUS 48590 HAS SOUPS 48590 WITH SCORE 48654.391
AT ITER 3091 NEW BEST:: SOT 198310 SOS 64391 HAS SOPS 64391 HAS SOUS 48576 HAS SOUPS 48576 WITH SCORE 48640.391
AT ITER 3102 NEW BEST:: SOT 198334 SOS 64388 HAS SOPS 64388 HAS SOUS 48573 HAS SOUPS 48573 WITH SCORE 48637.388
AT ITER 3112 NEW BEST:: SOT 198334 SOS 64372 HAS SOPS 64372 HAS SOUS 48557 HAS SOUPS 48557 WITH SCORE 48621.372
AT ITER 3136 NEW BEST:: SOT 198292 SOS 64321 HAS SOPS 64321 HAS SOUS 48515 HAS SOUPS 48515 WITH SCORE 48579.321
AT ITER 3174 NEW BEST:: SOT 198290 SOS 64317 HAS SOPS 64317 HAS SOUS 48511 HAS SOUPS 48511 WITH SCORE 48575.317
AT ITER 3183 NEW BEST:: SOT 198260 SOS 64257 HAS SOPS 64257 HAS SOUS 48427 HAS SOUPS 48427 WITH SCORE 48491.257
AT ITER 3215 NEW BEST:: SOT 198239 SOS 64236 HAS SOPS 64236 HAS SOUS 48406 HAS SOUPS 48406 WITH SCORE 48470.236
AT ITER 3225 NEW BEST:: SOT 198231 SOS 64011 HAS SOPS 64011 HAS SOUS 48287 HAS SOUPS 48287 WITH SCORE 48351.011
AT ITER 3231 NEW BEST:: SOT 198228 SOS 63975 HAS SOPS 63975 HAS SOUS 48251 HAS SOUPS 48251 WITH SCORE 48314.975
AT ITER 3256 NEW BEST:: SOT 198240 SOS 63999 HAS SOPS 63999 HAS SOUS 48239 HAS SOUPS 48239 WITH SCORE 48302.999
AT ITER 3266 NEW BEST:: SOT 198216 SOS 63987 HAS SOPS 63987 HAS SOUS 48227 HAS SOUPS 48227 WITH SCORE 48290.987
AT ITER 3269 NEW BEST:: SOT 198219 SOS 63990 HAS SOPS 63990 HAS SOUS 48152 HAS SOUPS 48152 WITH SCORE 48215.99
AT ITER 3270 NEW BEST:: SOT 198226 SOS 63945 HAS SOPS 63945 HAS SOUS 48048 HAS SOUPS 48048 WITH SCORE 48111.945
AT ITER 3289 NEW BEST:: SOT 198203 SOS 63922 HAS SOPS 63922 HAS SOUS 48025 HAS SOUPS 48025 WITH SCORE 48088.922
AT ITER 3293 NEW BEST:: SOT 198189 SOS 63988 HAS SOPS 63988 HAS SOUS 48017 HAS SOUPS 48017 WITH SCORE 48080.988
AT ITER 3301 NEW BEST:: SOT 198171 SOS 63970 HAS SOPS 63970 HAS SOUS 47999 HAS SOUPS 47999 WITH SCORE 48062.97
AT ITER 3314 NEW BEST:: SOT 198149 SOS 63926 HAS SOPS 63926 HAS SOUS 47955 HAS SOUPS 47955 WITH SCORE 48018.926
AT ITER 3315 NEW BEST:: SOT 197911 SOS 63684 HAS SOPS 63684 HAS SOUS 47947 HAS SOUPS 47947 WITH SCORE 48010.684
AT ITER 3316 NEW BEST:: SOT 197814 SOS 63585 HAS SOPS 63585 HAS SOUS 47848 HAS SOUPS 47848 WITH SCORE 47911.585
AT ITER 3328 NEW BEST:: SOT 197790 SOS 63554 HAS SOPS 63554 HAS SOUS 47817 HAS SOUPS 47817 WITH SCORE 47880.554
AT ITER 3341 NEW BEST:: SOT 197771 SOS 63516 HAS SOPS 63516 HAS SOUS 47802 HAS SOUPS 47802 WITH SCORE 47865.516
AT ITER 3346 NEW BEST:: SOT 197747 SOS 63492 HAS SOPS 63492 HAS SOUS 47778 HAS SOUPS 47778 WITH SCORE 47841.492
AT ITER 3347 NEW BEST:: SOT 197734 SOS 63466 HAS SOPS 63466 HAS SOUS 47765 HAS SOUPS 47765 WITH SCORE 47828.466
AT ITER 3362 NEW BEST:: SOT 197668 SOS 63334 HAS SOPS 63334 HAS SOUS 47633 HAS SOUPS 47633 WITH SCORE 47696.334
AT ITER 3372 NEW BEST:: SOT 197615 SOS 63228 HAS SOPS 63228 HAS SOUS 47538 HAS SOUPS 47538 WITH SCORE 47601.228
AT ITER 3373 NEW BEST:: SOT 197613 SOS 63007 HAS SOPS 63007 HAS SOUS 47519 HAS SOUPS 47519 WITH SCORE 47582.007
AT ITER 3375 NEW BEST:: SOT 197602 SOS 62985 HAS SOPS 62985 HAS SOUS 47497 HAS SOUPS 47497 WITH SCORE 47559.985
AT ITER 3387 NEW BEST:: SOT 197590 SOS 62961 HAS SOPS 62961 HAS SOUS 47473 HAS SOUPS 47473 WITH SCORE 47535.961
AT ITER 3388 NEW BEST:: SOT 197565 SOS 62871 HAS SOPS 62871 HAS SOUS 47448 HAS SOUPS 47448 WITH SCORE 47510.871
AT ITER 3394 NEW BEST:: SOT 197530 SOS 62829 HAS SOPS 62829 HAS SOUS 47406 HAS SOUPS 47406 WITH SCORE 47468.829
AT ITER 3398 NEW BEST:: SOT 197400 SOS 62699 HAS SOPS 62699 HAS SOUS 47315 HAS SOUPS 47315 WITH SCORE 47377.699
AT ITER 3416 NEW BEST:: SOT 197400 SOS 62699 HAS SOPS 62699 HAS SOUS 47303 HAS SOUPS 47303 WITH SCORE 47365.699
AT ITER 3437 NEW BEST:: SOT 197334 SOS 62695 HAS SOPS 62695 HAS SOUS 47299 HAS SOUPS 47299 WITH SCORE 47361.695
AT ITER 3441 NEW BEST:: SOT 197204 SOS 62532 HAS SOPS 62532 HAS SOUS 47233 HAS SOUPS 47233 WITH SCORE 47295.532
AT ITER 3443 NEW BEST:: SOT 197204 SOS 62473 HAS SOPS 62473 HAS SOUS 47174 HAS SOUPS 47174 WITH SCORE 47236.473
AT ITER 3495 NEW BEST:: SOT 197129 SOS 62398 HAS SOPS 62398 HAS SOUS 47174 HAS SOUPS 47174 WITH SCORE 47236.398
AT ITER 3505 NEW BEST:: SOT 197141 SOS 62384 HAS SOPS 62384 HAS SOUS 47168 HAS SOUPS 47168 WITH SCORE 47230.384
AT ITER 3517 NEW BEST:: SOT 197124 SOS 62350 HAS SOPS 62350 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47196.35
AT ITER 3529 NEW BEST:: SOT 197124 SOS 62319 HAS SOPS 62319 HAS SOUS 47134 HAS SOUPS 47134 WITH SCORE 47196.319
AT ITER 3533 NEW BEST:: SOT 197138 SOS 62296 HAS SOPS 62296 HAS SOUS 47104 HAS SOUPS 47104 WITH SCORE 47166.296
AT ITER 3536 NEW BEST:: SOT 197108 SOS 62185 HAS SOPS 62185 HAS SOUS 47062 HAS SOUPS 47062 WITH SCORE 47124.185
AT ITER 3542 NEW BEST:: SOT 197077 SOS 62071 HAS SOPS 62071 HAS SOUS 46948 HAS SOUPS 46948 WITH SCORE 47010.071
AT ITER 3558 NEW BEST:: SOT 197115 SOS 62043 HAS SOPS 62043 HAS SOUS 46920 HAS SOUPS 46920 WITH SCORE 46982.043
AT ITER 3568 NEW BEST:: SOT 197105 SOS 61960 HAS SOPS 61960 HAS SOUS 46870 HAS SOUPS 46870 WITH SCORE 46931.96
AT ITER 3572 NEW BEST:: SOT 197113 SOS 61952 HAS SOPS 61952 HAS SOUS 46862 HAS SOUPS 46862 WITH SCORE 46923.952
AT ITER 3578 NEW BEST:: SOT 197108 SOS 61947 HAS SOPS 61947 HAS SOUS 46857 HAS SOUPS 46857 WITH SCORE 46918.947
AT ITER 3581 NEW BEST:: SOT 197055 SOS 61721 HAS SOPS 61721 HAS SOUS 46680 HAS SOUPS 46680 WITH SCORE 46741.721
AT ITER 3608 NEW BEST:: SOT 197049 SOS 61607 HAS SOPS 61607 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46627.607
AT ITER 3626 NEW BEST:: SOT 197049 SOS 61517 HAS SOPS 61517 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46627.517
AT ITER 3630 NEW BEST:: SOT 197071 SOS 61472 HAS SOPS 61472 HAS SOUS 46521 HAS SOUPS 46521 WITH SCORE 46582.472
AT ITER 3639 NEW BEST:: SOT 197110 SOS 61427 HAS SOPS 61427 HAS SOUS 46440 HAS SOUPS 46440 WITH SCORE 46501.427
AT ITER 3668 NEW BEST:: SOT 197109 SOS 61425 HAS SOPS 61425 HAS SOUS 46438 HAS SOUPS 46438 WITH SCORE 46499.425
AT ITER 3671 NEW BEST:: SOT 197174 SOS 61472 HAS SOPS 61472 HAS SOUS 46417 HAS SOUPS 46417 WITH SCORE 46478.472
AT ITER 3677 NEW BEST:: SOT 197090 SOS 61388 HAS SOPS 61388 HAS SOUS 46335 HAS SOUPS 46335 WITH SCORE 46396.388
AT ITER 3690 NEW BEST:: SOT 196780 SOS 61059 HAS SOPS 61059 HAS SOUS 46294 HAS SOUPS 46294 WITH SCORE 46355.059
AT ITER 3714 NEW BEST:: SOT 196778 SOS 60966 HAS SOPS 60966 HAS SOUS 46291 HAS SOUPS 46291 WITH SCORE 46351.966
AT ITER 3750 NEW BEST:: SOT 196710 SOS 60935 HAS SOPS 60935 HAS SOUS 46240 HAS SOUPS 46240 WITH SCORE 46300.935
AT ITER 3758 NEW BEST:: SOT 196710 SOS 60926 HAS SOPS 60926 HAS SOUS 46231 HAS SOUPS 46231 WITH SCORE 46291.926
AT ITER 3762 NEW BEST:: SOT 196683 SOS 60829 HAS SOPS 60829 HAS SOUS 46134 HAS SOUPS 46134 WITH SCORE 46194.829
AT ITER 3774 NEW BEST:: SOT 196685 SOS 60750 HAS SOPS 60750 HAS SOUS 46055 HAS SOUPS 46055 WITH SCORE 46115.75
AT ITER 3805 NEW BEST:: SOT 196608 SOS 60695 HAS SOPS 60695 HAS SOUS 46000 HAS SOUPS 46000 WITH SCORE 46060.695
AT ITER 3813 NEW BEST:: SOT 196584 SOS 60671 HAS SOPS 60671 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46036.671
AT ITER 3814 NEW BEST:: SOT 196584 SOS 60621 HAS SOPS 60621 HAS SOUS 45946 HAS SOUPS 45946 WITH SCORE 46006.621
AT ITER 3818 NEW BEST:: SOT 196542 SOS 60537 HAS SOPS 60537 HAS SOUS 45919 HAS SOUPS 45919 WITH SCORE 45979.537
AT ITER 3825 NEW BEST:: SOT 196540 SOS 60533 HAS SOPS 60533 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45975.533
AT ITER 3882 NEW BEST:: SOT 196540 SOS 60533 HAS SOPS 60533 HAS SOUS 45877 HAS SOUPS 45877 WITH SCORE 45937.533
AT ITER 3890 NEW BEST:: SOT 196544 SOS 60512 HAS SOPS 60512 HAS SOUS 45856 HAS SOUPS 45856 WITH SCORE 45916.512
AT ITER 3911 NEW BEST:: SOT 196503 SOS 60430 HAS SOPS 60430 HAS SOUS 45815 HAS SOUPS 45815 WITH SCORE 45875.43
AT ITER 3925 NEW BEST:: SOT 196516 SOS 60444 HAS SOPS 60444 HAS SOUS 45787 HAS SOUPS 45787 WITH SCORE 45847.444
AT ITER 3926 NEW BEST:: SOT 196514 SOS 60442 HAS SOPS 60442 HAS SOUS 45785 HAS SOUPS 45785 WITH SCORE 45845.442
AT ITER 3927 NEW BEST:: SOT 196495 SOS 60433 HAS SOPS 60433 HAS SOUS 45776 HAS SOUPS 45776 WITH SCORE 45836.433
AT ITER 3928 NEW BEST:: SOT 196589 SOS 60412 HAS SOPS 60412 HAS SOUS 45755 HAS SOUPS 45755 WITH SCORE 45815.412
AT ITER 3935 NEW BEST:: SOT 196585 SOS 60404 HAS SOPS 60404 HAS SOUS 45747 HAS SOUPS 45747 WITH SCORE 45807.404
AT ITER 3971 NEW BEST:: SOT 196559 SOS 60352 HAS SOPS 60352 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45777.352
AT ITER 3978 NEW BEST:: SOT 196585 SOS 60349 HAS SOPS 60349 HAS SOUS 45714 HAS SOUPS 45714 WITH SCORE 45774.349
AT ITER 3983 NEW BEST:: SOT 196583 SOS 60345 HAS SOPS 60345 HAS SOUS 45710 HAS SOUPS 45710 WITH SCORE 45770.345
AT ITER 4002 NEW BEST:: SOT 196565 SOS 60324 HAS SOPS 60324 HAS SOUS 45689 HAS SOUPS 45689 WITH SCORE 45749.324
AT ITER 4010 NEW BEST:: SOT 196578 SOS 59857 HAS SOPS 59857 HAS SOUS 45686 HAS SOUPS 45686 WITH SCORE 45745.857
AT ITER 4015 NEW BEST:: SOT 196578 SOS 59803 HAS SOPS 59803 HAS SOUS 45647 HAS SOUPS 45647 WITH SCORE 45706.803
AT ITER 4018 NEW BEST:: SOT 196578 SOS 59789 HAS SOPS 59789 HAS SOUS 45633 HAS SOUPS 45633 WITH SCORE 45692.789
AT ITER 4032 NEW BEST:: SOT 196576 SOS 59755 HAS SOPS 59755 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45688.755
AT ITER 4040 NEW BEST:: SOT 196545 SOS 59662 HAS SOPS 59662 HAS SOUS 45567 HAS SOUPS 45567 WITH SCORE 45626.662
AT ITER 4043 NEW BEST:: SOT 196492 SOS 59590 HAS SOPS 59590 HAS SOUS 45481 HAS SOUPS 45481 WITH SCORE 45540.59
AT ITER 4074 NEW BEST:: SOT 196402 SOS 59500 HAS SOPS 59500 HAS SOUS 45391 HAS SOUPS 45391 WITH SCORE 45450.5
AT ITER 4076 NEW BEST:: SOT 196395 SOS 59493 HAS SOPS 59493 HAS SOUS 45384 HAS SOUPS 45384 WITH SCORE 45443.493
AT ITER 4091 NEW BEST:: SOT 196343 SOS 59371 HAS SOPS 59371 HAS SOUS 45262 HAS SOUPS 45262 WITH SCORE 45321.371
AT ITER 4098 NEW BEST:: SOT 196291 SOS 59267 HAS SOPS 59267 HAS SOUS 45237 HAS SOUPS 45237 WITH SCORE 45296.267
AT ITER 4104 NEW BEST:: SOT 196263 SOS 59232 HAS SOPS 59232 HAS SOUS 45202 HAS SOUPS 45202 WITH SCORE 45261.232
AT ITER 4110 NEW BEST:: SOT 196175 SOS 59143 HAS SOPS 59143 HAS SOUS 45113 HAS SOUPS 45113 WITH SCORE 45172.143
AT ITER 4114 NEW BEST:: SOT 196156 SOS 59099 HAS SOPS 59099 HAS SOUS 45069 HAS SOUPS 45069 WITH SCORE 45128.099
AT ITER 4133 NEW BEST:: SOT 196153 SOS 59086 HAS SOPS 59086 HAS SOUS 45063 HAS SOUPS 45063 WITH SCORE 45122.086
AT ITER 4184 NEW BEST:: SOT 195892 SOS 58795 HAS SOPS 58795 HAS SOUS 45018 HAS SOUPS 45018 WITH SCORE 45076.795
AT ITER 4186 NEW BEST:: SOT 195960 SOS 58808 HAS SOPS 58808 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45064.808
AT ITER 4268 NEW BEST:: SOT 195924 SOS 58754 HAS SOPS 58754 HAS SOUS 44952 HAS SOUPS 44952 WITH SCORE 45010.754
AT ITER 4314 NEW BEST:: SOT 195860 SOS 58690 HAS SOPS 58690 HAS SOUS 44888 HAS SOUPS 44888 WITH SCORE 44946.69
AT ITER 4322 NEW BEST:: SOT 195819 SOS 58608 HAS SOPS 58608 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44905.608
AT ITER 4338 NEW BEST:: SOT 195816 SOS 58605 HAS SOPS 58605 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44902.605
AT ITER 4384 NEW BEST:: SOT 195736 SOS 58525 HAS SOPS 58525 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44902.525
AT ITER 4413 NEW BEST:: SOT 195726 SOS 58505 HAS SOPS 58505 HAS SOUS 44834 HAS SOUPS 44834 WITH SCORE 44892.505
AT ITER 4426 NEW BEST:: SOT 195698 SOS 58348 HAS SOPS 58348 HAS SOUS 44767 HAS SOUPS 44767 WITH SCORE 44825.348
AT ITER 4438 NEW BEST:: SOT 195776 SOS 58552 HAS SOPS 58552 HAS SOUS 44718 HAS SOUPS 44718 WITH SCORE 44776.552
AT ITER 4439 NEW BEST:: SOT 195773 SOS 58444 HAS SOPS 58444 HAS SOUS 44715 HAS SOUPS 44715 WITH SCORE 44773.444
AT ITER 4441 NEW BEST:: SOT 195740 SOS 58411 HAS SOPS 58411 HAS SOUS 44715 HAS SOUPS 44715 WITH SCORE 44773.411
AT ITER 4444 NEW BEST:: SOT 195700 SOS 58331 HAS SOPS 58331 HAS SOUS 44635 HAS SOUPS 44635 WITH SCORE 44693.331
AT ITER 4450 NEW BEST:: SOT 195700 SOS 58151 HAS SOPS 58151 HAS SOUS 44635 HAS SOUPS 44635 WITH SCORE 44693.151
AT ITER 4465 NEW BEST:: SOT 195687 SOS 58125 HAS SOPS 58125 HAS SOUS 44611 HAS SOUPS 44611 WITH SCORE 44669.125
AT ITER 4470 NEW BEST:: SOT 195662 SOS 57979 HAS SOPS 57979 HAS SOUS 44545 HAS SOUPS 44545 WITH SCORE 44602.979
AT ITER 4477 NEW BEST:: SOT 195559 SOS 57859 HAS SOPS 57859 HAS SOUS 44425 HAS SOUPS 44425 WITH SCORE 44482.859
AT ITER 4484 NEW BEST:: SOT 195485 SOS 57711 HAS SOPS 57711 HAS SOUS 44281 HAS SOUPS 44281 WITH SCORE 44338.711
AT ITER 4493 NEW BEST:: SOT 195352 SOS 57773 HAS SOPS 57773 HAS SOUS 44097 HAS SOUPS 44097 WITH SCORE 44154.773
AT ITER 4495 NEW BEST:: SOT 195352 SOS 57762 HAS SOPS 57762 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44143.762
AT ITER 4506 NEW BEST:: SOT 195352 SOS 57757 HAS SOPS 57757 HAS SOUS 44081 HAS SOUPS 44081 WITH SCORE 44138.757
AT ITER 4516 NEW BEST:: SOT 195266 SOS 57663 HAS SOPS 57663 HAS SOUS 44065 HAS SOUPS 44065 WITH SCORE 44122.663
AT ITER 4525 NEW BEST:: SOT 195266 SOS 57650 HAS SOPS 57650 HAS SOUS 44052 HAS SOUPS 44052 WITH SCORE 44109.65
AT ITER 4531 NEW BEST:: SOT 195266 SOS 57626 HAS SOPS 57626 HAS SOUS 44028 HAS SOUPS 44028 WITH SCORE 44085.626
AT ITER 4551 NEW BEST:: SOT 195192 SOS 57552 HAS SOPS 57552 HAS SOUS 43954 HAS SOUPS 43954 WITH SCORE 44011.552
AT ITER 4576 NEW BEST:: SOT 195298 SOS 57543 HAS SOPS 57543 HAS SOUS 43945 HAS SOUPS 43945 WITH SCORE 44002.543
AT ITER 4643 NEW BEST:: SOT 195290 SOS 57441 HAS SOPS 57441 HAS SOUS 43843 HAS SOUPS 43843 WITH SCORE 43900.441
AT ITER 4654 NEW BEST:: SOT 195224 SOS 57339 HAS SOPS 57339 HAS SOUS 43774 HAS SOUPS 43774 WITH SCORE 43831.339
AT ITER 4673 NEW BEST:: SOT 195222 SOS 57364 HAS SOPS 57364 HAS SOUS 43772 HAS SOUPS 43772 WITH SCORE 43829.364
AT ITER 4691 NEW BEST:: SOT 195222 SOS 57339 HAS SOPS 57339 HAS SOUS 43747 HAS SOUPS 43747 WITH SCORE 43804.339
AT ITER 4697 NEW BEST:: SOT 195215 SOS 57315 HAS SOPS 57315 HAS SOUS 43716 HAS SOUPS 43716 WITH SCORE 43773.315
AT ITER 4700 NEW BEST:: SOT 195215 SOS 57296 HAS SOPS 57296 HAS SOUS 43697 HAS SOUPS 43697 WITH SCORE 43754.296
AT ITER 4734 NEW BEST:: SOT 195211 SOS 57288 HAS SOPS 57288 HAS SOUS 43689 HAS SOUPS 43689 WITH SCORE 43746.288
AT ITER 4763 NEW BEST:: SOT 195202 SOS 57270 HAS SOPS 57270 HAS SOUS 43680 HAS SOUPS 43680 WITH SCORE 43737.27
AT ITER 4805 NEW BEST:: SOT 195202 SOS 57270 HAS SOPS 57270 HAS SOUS 43671 HAS SOUPS 43671 WITH SCORE 43728.27
AT ITER 4824 NEW BEST:: SOT 195157 SOS 57180 HAS SOPS 57180 HAS SOUS 43581 HAS SOUPS 43581 WITH SCORE 43638.18
AT ITER 4835 NEW BEST:: SOT 194966 SOS 56989 HAS SOPS 56989 HAS SOUS 43390 HAS SOUPS 43390 WITH SCORE 43446.989
AT ITER 4853 NEW BEST:: SOT 194933 SOS 56956 HAS SOPS 56956 HAS SOUS 43357 HAS SOUPS 43357 WITH SCORE 43413.956
AT ITER 4856 NEW BEST:: SOT 194909 SOS 56932 HAS SOPS 56932 HAS SOUS 43333 HAS SOUPS 43333 WITH SCORE 43389.932
AT ITER 4861 NEW BEST:: SOT 194901 SOS 56916 HAS SOPS 56916 HAS SOUS 43317 HAS SOUPS 43317 WITH SCORE 43373.916
AT ITER 4870 NEW BEST:: SOT 194874 SOS 56862 HAS SOPS 56862 HAS SOUS 43263 HAS SOUPS 43263 WITH SCORE 43319.862
AT ITER 4891 NEW BEST:: SOT 194753 SOS 56741 HAS SOPS 56741 HAS SOUS 43142 HAS SOUPS 43142 WITH SCORE 43198.741
AT ITER 4906 NEW BEST:: SOT 194727 SOS 56689 HAS SOPS 56689 HAS SOUS 43122 HAS SOUPS 43122 WITH SCORE 43178.689
AT ITER 4910 NEW BEST:: SOT 194683 SOS 56645 HAS SOPS 56645 HAS SOUS 43078 HAS SOUPS 43078 WITH SCORE 43134.645
AT ITER 4933 NEW BEST:: SOT 194700 SOS 56640 HAS SOPS 56640 HAS SOUS 43073 HAS SOUPS 43073 WITH SCORE 43129.64
AT ITER 4955 NEW BEST:: SOT 194699 SOS 56639 HAS SOPS 56639 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43128.639
AT ITER 4966 NEW BEST:: SOT 194651 SOS 56589 HAS SOPS 56589 HAS SOUS 43068 HAS SOUPS 43068 WITH SCORE 43124.589
AT ITER 5001 NEW BEST:: SOT 194581 SOS 56468 HAS SOPS 56468 HAS SOUS 42998 HAS SOUPS 42998 WITH SCORE 43054.468
AT ITER 5010 NEW BEST:: SOT 194580 SOS 56467 HAS SOPS 56467 HAS SOUS 42974 HAS SOUPS 42974 WITH SCORE 43030.467
AT ITER 5049 NEW BEST:: SOT 194560 SOS 56443 HAS SOPS 56443 HAS SOUS 42950 HAS SOUPS 42950 WITH SCORE 43006.443
AT ITER 5059 NEW BEST:: SOT 194556 SOS 56435 HAS SOPS 56435 HAS SOUS 42942 HAS SOUPS 42942 WITH SCORE 42998.435
AT ITER 5076 NEW BEST:: SOT 194261 SOS 56251 HAS SOPS 56251 HAS SOUS 42758 HAS SOUPS 42758 WITH SCORE 42814.251
AT ITER 5086 NEW BEST:: SOT 194247 SOS 56247 HAS SOPS 56247 HAS SOUS 42754 HAS SOUPS 42754 WITH SCORE 42810.247
AT ITER 5115 NEW BEST:: SOT 194084 SOS 56125 HAS SOPS 56125 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42743.125
AT ITER 5128 NEW BEST:: SOT 194131 SOS 56152 HAS SOPS 56152 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42730.152
AT ITER 5130 NEW BEST:: SOT 194062 SOS 56009 HAS SOPS 56009 HAS SOUS 42531 HAS SOUPS 42531 WITH SCORE 42587.009
AT ITER 5171 NEW BEST:: SOT 194033 SOS 55951 HAS SOPS 55951 HAS SOUS 42473 HAS SOUPS 42473 WITH SCORE 42528.951
AT ITER 5192 NEW BEST:: SOT 194033 SOS 56502 HAS SOPS 56502 HAS SOUS 42449 HAS SOUPS 42449 WITH SCORE 42505.502
AT ITER 5196 NEW BEST:: SOT 194052 SOS 56482 HAS SOPS 56482 HAS SOUS 42449 HAS SOUPS 42449 WITH SCORE 42505.482
AT ITER 5207 NEW BEST:: SOT 194023 SOS 56439 HAS SOPS 56439 HAS SOUS 42406 HAS SOUPS 42406 WITH SCORE 42462.439
AT ITER 5221 NEW BEST:: SOT 194015 SOS 55973 HAS SOPS 55973 HAS SOUS 42390 HAS SOUPS 42390 WITH SCORE 42445.973
AT ITER 5263 NEW BEST:: SOT 193807 SOS 55729 HAS SOPS 55729 HAS SOUS 42318 HAS SOUPS 42318 WITH SCORE 42373.729
AT ITER 5288 NEW BEST:: SOT 193754 SOS 55623 HAS SOPS 55623 HAS SOUS 42265 HAS SOUPS 42265 WITH SCORE 42320.623
AT ITER 5289 NEW BEST:: SOT 193737 SOS 55589 HAS SOPS 55589 HAS SOUS 42248 HAS SOUPS 42248 WITH SCORE 42303.589
AT ITER 5300 NEW BEST:: SOT 193757 SOS 55629 HAS SOPS 55629 HAS SOUS 42240 HAS SOUPS 42240 WITH SCORE 42295.629
AT ITER 5306 NEW BEST:: SOT 193702 SOS 55519 HAS SOPS 55519 HAS SOUS 42185 HAS SOUPS 42185 WITH SCORE 42240.519
AT ITER 5334 NEW BEST:: SOT 193700 SOS 55517 HAS SOPS 55517 HAS SOUS 42185 HAS SOUPS 42185 WITH SCORE 42240.517
AT ITER 5356 NEW BEST:: SOT 193744 SOS 55398 HAS SOPS 55398 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42121.398
AT ITER 5360 NEW BEST:: SOT 193732 SOS 55362 HAS SOPS 55362 HAS SOUS 42030 HAS SOUPS 42030 WITH SCORE 42085.362
AT ITER 5375 NEW BEST:: SOT 193663 SOS 55224 HAS SOPS 55224 HAS SOUS 41892 HAS SOUPS 41892 WITH SCORE 41947.224
AT ITER 5392 NEW BEST:: SOT 193489 SOS 55180 HAS SOPS 55180 HAS SOUS 41848 HAS SOUPS 41848 WITH SCORE 41903.18
AT ITER 5454 NEW BEST:: SOT 193489 SOS 54696 HAS SOPS 54696 HAS SOUS 41846 HAS SOUPS 41846 WITH SCORE 41900.696
AT ITER 5458 NEW BEST:: SOT 193454 SOS 54661 HAS SOPS 54661 HAS SOUS 41811 HAS SOUPS 41811 WITH SCORE 41865.661
AT ITER 5461 NEW BEST:: SOT 193454 SOS 54636 HAS SOPS 54636 HAS SOUS 41761 HAS SOUPS 41761 WITH SCORE 41815.636
AT ITER 5478 NEW BEST:: SOT 193454 SOS 54625 HAS SOPS 54625 HAS SOUS 41750 HAS SOUPS 41750 WITH SCORE 41804.625
AT ITER 5496 NEW BEST:: SOT 193522 SOS 54597 HAS SOPS 54597 HAS SOUS 41722 HAS SOUPS 41722 WITH SCORE 41776.597
AT ITER 5503 NEW BEST:: SOT 193517 SOS 54587 HAS SOPS 54587 HAS SOUS 41712 HAS SOUPS 41712 WITH SCORE 41766.587
AT ITER 5505 NEW BEST:: SOT 193582 SOS 54557 HAS SOPS 54557 HAS SOUS 41682 HAS SOUPS 41682 WITH SCORE 41736.557
AT ITER 5511 NEW BEST:: SOT 193585 SOS 54530 HAS SOPS 54530 HAS SOUS 41655 HAS SOUPS 41655 WITH SCORE 41709.53
AT ITER 5512 NEW BEST:: SOT 193523 SOS 54406 HAS SOPS 54406 HAS SOUS 41531 HAS SOUPS 41531 WITH SCORE 41585.406
AT ITER 5569 NEW BEST:: SOT 193435 SOS 54225 HAS SOPS 54225 HAS SOUS 41355 HAS SOUPS 41355 WITH SCORE 41409.225
AT ITER 5594 NEW BEST:: SOT 193356 SOS 56655 HAS SOPS 56655 HAS SOUS 41319 HAS SOUPS 41319 WITH SCORE 41375.655
AT ITER 5602 NEW BEST:: SOT 193376 SOS 56648 HAS SOPS 56648 HAS SOUS 41312 HAS SOUPS 41312 WITH SCORE 41368.648
AT ITER 5629 NEW BEST:: SOT 193371 SOS 56638 HAS SOPS 56638 HAS SOUS 41285 HAS SOUPS 41285 WITH SCORE 41341.638
AT ITER 5657 NEW BEST:: SOT 193351 SOS 56607 HAS SOPS 56607 HAS SOUS 41254 HAS SOUPS 41254 WITH SCORE 41310.607
AT ITER 5659 NEW BEST:: SOT 193351 SOS 56601 HAS SOPS 56601 HAS SOUS 41254 HAS SOUPS 41254 WITH SCORE 41310.601
AT ITER 5672 NEW BEST:: SOT 193351 SOS 56575 HAS SOPS 56575 HAS SOUS 41201 HAS SOUPS 41201 WITH SCORE 41257.575
AT ITER 5707 NEW BEST:: SOT 193347 SOS 56571 HAS SOPS 56571 HAS SOUS 41197 HAS SOUPS 41197 WITH SCORE 41253.571
AT ITER 5743 NEW BEST:: SOT 193311 SOS 56543 HAS SOPS 56543 HAS SOUS 41169 HAS SOUPS 41169 WITH SCORE 41225.543
AT ITER 5755 NEW BEST:: SOT 193311 SOS 56539 HAS SOPS 56539 HAS SOUS 41165 HAS SOUPS 41165 WITH SCORE 41221.539
AT ITER 5761 NEW BEST:: SOT 193311 SOS 56524 HAS SOPS 56524 HAS SOUS 41150 HAS SOUPS 41150 WITH SCORE 41206.524
AT ITER 5764 NEW BEST:: SOT 193317 SOS 56521 HAS SOPS 56521 HAS SOUS 41148 HAS SOUPS 41148 WITH SCORE 41204.521
AT ITER 5773 NEW BEST:: SOT 193372 SOS 56576 HAS SOPS 56576 HAS SOUS 41135 HAS SOUPS 41135 WITH SCORE 41191.576
AT ITER 5789 NEW BEST:: SOT 193322 SOS 56526 HAS SOPS 56526 HAS SOUS 41123 HAS SOUPS 41123 WITH SCORE 41179.526
AT ITER 5824 NEW BEST:: SOT 193311 SOS 56513 HAS SOPS 56513 HAS SOUS 41121 HAS SOUPS 41121 WITH SCORE 41177.513
AT ITER 5841 NEW BEST:: SOT 193286 SOS 56463 HAS SOPS 56463 HAS SOUS 41046 HAS SOUPS 41046 WITH SCORE 41102.463
AT ITER 5844 NEW BEST:: SOT 193278 SOS 56455 HAS SOPS 56455 HAS SOUS 41038 HAS SOUPS 41038 WITH SCORE 41094.455
AT ITER 5857 NEW BEST:: SOT 193278 SOS 56451 HAS SOPS 56451 HAS SOUS 41034 HAS SOUPS 41034 WITH SCORE 41090.451
AT ITER 5870 NEW BEST:: SOT 193221 SOS 56402 HAS SOPS 56402 HAS SOUS 40985 HAS SOUPS 40985 WITH SCORE 41041.402
AT ITER 5924 NEW BEST:: SOT 193223 SOS 56399 HAS SOPS 56399 HAS SOUS 40981 HAS SOUPS 40981 WITH SCORE 41037.399
AT ITER 5988 NEW BEST:: SOT 193223 SOS 56438 HAS SOPS 56438 HAS SOUS 40972 HAS SOUPS 40972 WITH SCORE 41028.438
AT ITER 5991 NEW BEST:: SOT 193205 SOS 56466 HAS SOPS 56466 HAS SOUS 40950 HAS SOUPS 40950 WITH SCORE 41006.466
AT ITER 6005 NEW BEST:: SOT 193107 SOS 56427 HAS SOPS 56427 HAS SOUS 40911 HAS SOUPS 40911 WITH SCORE 40967.427
AT ITER 6018 NEW BEST:: SOT 193039 SOS 56291 HAS SOPS 56291 HAS SOUS 40775 HAS SOUPS 40775 WITH SCORE 40831.291
AT ITER 6040 NEW BEST:: SOT 192980 SOS 56173 HAS SOPS 56173 HAS SOUS 40657 HAS SOUPS 40657 WITH SCORE 40713.173
AT ITER 6046 NEW BEST:: SOT 192986 SOS 56172 HAS SOPS 56172 HAS SOUS 40656 HAS SOUPS 40656 WITH SCORE 40712.172
AT ITER 6079 NEW BEST:: SOT 192986 SOS 56108 HAS SOPS 56108 HAS SOUS 40592 HAS SOUPS 40592 WITH SCORE 40648.108
AT ITER 6080 NEW BEST:: SOT 192986 SOS 56050 HAS SOPS 56050 HAS SOUS 40592 HAS SOUPS 40592 WITH SCORE 40648.05
AT ITER 6109 NEW BEST:: SOT 192986 SOS 56026 HAS SOPS 56026 HAS SOUS 40564 HAS SOUPS 40564 WITH SCORE 40620.026
AT ITER 6124 NEW BEST:: SOT 192986 SOS 55959 HAS SOPS 55959 HAS SOUS 40430 HAS SOUPS 40430 WITH SCORE 40485.959
AT ITER 6143 NEW BEST:: SOT 192986 SOS 55851 HAS SOPS 55851 HAS SOUS 40421 HAS SOUPS 40421 WITH SCORE 40476.851
AT ITER 6164 NEW BEST:: SOT 192986 SOS 55851 HAS SOPS 55851 HAS SOUS 40383 HAS SOUPS 40383 WITH SCORE 40438.851
AT ITER 6212 NEW BEST:: SOT 192922 SOS 55810 HAS SOPS 55810 HAS SOUS 40342 HAS SOUPS 40342 WITH SCORE 40397.81
AT ITER 6224 NEW BEST:: SOT 192871 SOS 55753 HAS SOPS 55753 HAS SOUS 40330 HAS SOUPS 40330 WITH SCORE 40385.753
AT ITER 6233 NEW BEST:: SOT 192839 SOS 55689 HAS SOPS 55689 HAS SOUS 40289 HAS SOUPS 40289 WITH SCORE 40344.689
AT ITER 6247 NEW BEST:: SOT 192784 SOS 55575 HAS SOPS 55575 HAS SOUS 40230 HAS SOUPS 40230 WITH SCORE 40285.575
AT ITER 6267 NEW BEST:: SOT 192684 SOS 55475 HAS SOPS 55475 HAS SOUS 40130 HAS SOUPS 40130 WITH SCORE 40185.475
AT ITER 6283 NEW BEST:: SOT 192709 SOS 55440 HAS SOPS 55440 HAS SOUS 40095 HAS SOUPS 40095 WITH SCORE 40150.44
AT ITER 6297 NEW BEST:: SOT 192697 SOS 55416 HAS SOPS 55416 HAS SOUS 40071 HAS SOUPS 40071 WITH SCORE 40126.416
AT ITER 6304 NEW BEST:: SOT 192697 SOS 55416 HAS SOPS 55416 HAS SOUS 40052 HAS SOUPS 40052 WITH SCORE 40107.416
AT ITER 6306 NEW BEST:: SOT 192644 SOS 55369 HAS SOPS 55369 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40047.369
AT ITER 6351 NEW BEST:: SOT 192614 SOS 55446 HAS SOPS 55446 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40040.446
AT ITER 6357 NEW BEST:: SOT 192441 SOS 55334 HAS SOPS 55334 HAS SOUS 39922 HAS SOUPS 39922 WITH SCORE 39977.334
AT ITER 6396 NEW BEST:: SOT 192441 SOS 55308 HAS SOPS 55308 HAS SOUS 39896 HAS SOUPS 39896 WITH SCORE 39951.308
AT ITER 6397 NEW BEST:: SOT 192427 SOS 55294 HAS SOPS 55294 HAS SOUS 39888 HAS SOUPS 39888 WITH SCORE 39943.294
AT ITER 6428 NEW BEST:: SOT 192427 SOS 55289 HAS SOPS 55289 HAS SOUS 39883 HAS SOUPS 39883 WITH SCORE 39938.289
AT ITER 6434 NEW BEST:: SOT 192424 SOS 55283 HAS SOPS 55283 HAS SOUS 39877 HAS SOUPS 39877 WITH SCORE 39932.283
AT ITER 6438 NEW BEST:: SOT 192416 SOS 55267 HAS SOPS 55267 HAS SOUS 39861 HAS SOUPS 39861 WITH SCORE 39916.267
AT ITER 6441 NEW BEST:: SOT 192380 SOS 55266 HAS SOPS 55266 HAS SOUS 39860 HAS SOUPS 39860 WITH SCORE 39915.266
AT ITER 6473 NEW BEST:: SOT 192376 SOS 55258 HAS SOPS 55258 HAS SOUS 39852 HAS SOUPS 39852 WITH SCORE 39907.258
AT ITER 6481 NEW BEST:: SOT 192376 SOS 55245 HAS SOPS 55245 HAS SOUS 39839 HAS SOUPS 39839 WITH SCORE 39894.245
AT ITER 6495 NEW BEST:: SOT 192359 SOS 55211 HAS SOPS 55211 HAS SOUS 39805 HAS SOUPS 39805 WITH SCORE 39860.211
AT ITER 6531 NEW BEST:: SOT 192346 SOS 55188 HAS SOPS 55188 HAS SOUS 39782 HAS SOUPS 39782 WITH SCORE 39837.188
AT ITER 6533 NEW BEST:: SOT 192342 SOS 55186 HAS SOPS 55186 HAS SOUS 39780 HAS SOUPS 39780 WITH SCORE 39835.186
AT ITER 6593 NEW BEST:: SOT 192336 SOS 55174 HAS SOPS 55174 HAS SOUS 39719 HAS SOUPS 39719 WITH SCORE 39774.174
AT ITER 6609 NEW BEST:: SOT 192339 SOS 55135 HAS SOPS 55135 HAS SOUS 39716 HAS SOUPS 39716 WITH SCORE 39771.135
AT ITER 6617 NEW BEST:: SOT 192351 SOS 55120 HAS SOPS 55120 HAS SOUS 39701 HAS SOUPS 39701 WITH SCORE 39756.12
AT ITER 6620 NEW BEST:: SOT 192354 SOS 55175 HAS SOPS 55175 HAS SOUS 39664 HAS SOUPS 39664 WITH SCORE 39719.175
AT ITER 6640 NEW BEST:: SOT 192334 SOS 55155 HAS SOPS 55155 HAS SOUS 39644 HAS SOUPS 39644 WITH SCORE 39699.155
AT ITER 6672 NEW BEST:: SOT 192334 SOS 55132 HAS SOPS 55132 HAS SOUS 39621 HAS SOUPS 39621 WITH SCORE 39676.132
AT ITER 6677 NEW BEST:: SOT 192304 SOS 55072 HAS SOPS 55072 HAS SOUS 39576 HAS SOUPS 39576 WITH SCORE 39631.072
AT ITER 6684 NEW BEST:: SOT 192196 SOS 54856 HAS SOPS 54856 HAS SOUS 39360 HAS SOUPS 39360 WITH SCORE 39414.856
AT ITER 6779 NEW BEST:: SOT 192184 SOS 54832 HAS SOPS 54832 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39390.832
AT ITER 6801 NEW BEST:: SOT 192184 SOS 54821 HAS SOPS 54821 HAS SOUS 39316 HAS SOUPS 39316 WITH SCORE 39370.821
AT ITER 6824 NEW BEST:: SOT 192169 SOS 54722 HAS SOPS 54722 HAS SOUS 39217 HAS SOUPS 39217 WITH SCORE 39271.722
AT ITER 6825 NEW BEST:: SOT 192125 SOS 54715 HAS SOPS 54715 HAS SOUS 39210 HAS SOUPS 39210 WITH SCORE 39264.715
AT ITER 6841 NEW BEST:: SOT 192074 SOS 54569 HAS SOPS 54569 HAS SOUS 39126 HAS SOUPS 39126 WITH SCORE 39180.569
AT ITER 6874 NEW BEST:: SOT 192067 SOS 54537 HAS SOPS 54537 HAS SOUS 39109 HAS SOUPS 39109 WITH SCORE 39163.537
AT ITER 6888 NEW BEST:: SOT 191987 SOS 54417 HAS SOPS 54417 HAS SOUS 38989 HAS SOUPS 38989 WITH SCORE 39043.417
AT ITER 6904 NEW BEST:: SOT 191986 SOS 54415 HAS SOPS 54415 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39041.415
AT ITER 6915 NEW BEST:: SOT 191980 SOS 54405 HAS SOPS 54405 HAS SOUS 38981 HAS SOUPS 38981 WITH SCORE 39035.405
AT ITER 6932 NEW BEST:: SOT 191980 SOS 54402 HAS SOPS 54402 HAS SOUS 38974 HAS SOUPS 38974 WITH SCORE 39028.402
AT ITER 6968 NEW BEST:: SOT 191954 SOS 54363 HAS SOPS 54363 HAS SOUS 38948 HAS SOUPS 38948 WITH SCORE 39002.363
AT ITER 6969 NEW BEST:: SOT 191937 SOS 54312 HAS SOPS 54312 HAS SOUS 38897 HAS SOUPS 38897 WITH SCORE 38951.312
AT ITER 6972 NEW BEST:: SOT 191936 SOS 54310 HAS SOPS 54310 HAS SOUS 38895 HAS SOUPS 38895 WITH SCORE 38949.31
AT ITER 6980 NEW BEST:: SOT 191936 SOS 54310 HAS SOPS 54310 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38932.31
AT ITER 6992 NEW BEST:: SOT 191919 SOS 54259 HAS SOPS 54259 HAS SOUS 38827 HAS SOUPS 38827 WITH SCORE 38881.259
AT ITER 6996 NEW BEST:: SOT 191926 SOS 54254 HAS SOPS 54254 HAS SOUS 38822 HAS SOUPS 38822 WITH SCORE 38876.254
AT ITER 6997 NEW BEST:: SOT 191922 SOS 54250 HAS SOPS 54250 HAS SOUS 38818 HAS SOUPS 38818 WITH SCORE 38872.25
AT ITER 7009 NEW BEST:: SOT 191913 SOS 54241 HAS SOPS 54241 HAS SOUS 38809 HAS SOUPS 38809 WITH SCORE 38863.241
AT ITER 7041 NEW BEST:: SOT 191904 SOS 54223 HAS SOPS 54223 HAS SOUS 38806 HAS SOUPS 38806 WITH SCORE 38860.223
AT ITER 7045 NEW BEST:: SOT 191902 SOS 54221 HAS SOPS 54221 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38858.221
AT ITER 7059 NEW BEST:: SOT 191895 SOS 54214 HAS SOPS 54214 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38858.214
AT ITER 7086 NEW BEST:: SOT 191881 SOS 54213 HAS SOPS 54213 HAS SOUS 38803 HAS SOUPS 38803 WITH SCORE 38857.213
AT ITER 7091 NEW BEST:: SOT 191879 SOS 54199 HAS SOPS 54199 HAS SOUS 38794 HAS SOUPS 38794 WITH SCORE 38848.199
AT ITER 7092 NEW BEST:: SOT 191821 SOS 54144 HAS SOPS 54144 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38840.144
AT ITER 7129 NEW BEST:: SOT 191810 SOS 54133 HAS SOPS 54133 HAS SOUS 38786 HAS SOUPS 38786 WITH SCORE 38840.133
AT ITER 7193 NEW BEST:: SOT 191798 SOS 54132 HAS SOPS 54132 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38839.132
AT ITER 7203 NEW BEST:: SOT 191706 SOS 54048 HAS SOPS 54048 HAS SOUS 38701 HAS SOUPS 38701 WITH SCORE 38755.048
AT ITER 7220 NEW BEST:: SOT 191607 SOS 53947 HAS SOPS 53947 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38748.947
AT ITER 7224 NEW BEST:: SOT 191607 SOS 53937 HAS SOPS 53937 HAS SOUS 38685 HAS SOUPS 38685 WITH SCORE 38738.937
AT ITER 7230 NEW BEST:: SOT 191592 SOS 53907 HAS SOPS 53907 HAS SOUS 38655 HAS SOUPS 38655 WITH SCORE 38708.907
AT ITER 7235 NEW BEST:: SOT 191592 SOS 53894 HAS SOPS 53894 HAS SOUS 38641 HAS SOUPS 38641 WITH SCORE 38694.894
AT ITER 7255 NEW BEST:: SOT 191592 SOS 53857 HAS SOPS 53857 HAS SOUS 38584 HAS SOUPS 38584 WITH SCORE 38637.857
AT ITER 7270 NEW BEST:: SOT 191592 SOS 53822 HAS SOPS 53822 HAS SOUS 38571 HAS SOUPS 38571 WITH SCORE 38624.822
AT ITER 7282 NEW BEST:: SOT 191586 SOS 53816 HAS SOPS 53816 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38620.816
AT ITER 7328 NEW BEST:: SOT 191572 SOS 53802 HAS SOPS 53802 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38620.802
AT ITER 7379 NEW BEST:: SOT 191469 SOS 53661 HAS SOPS 53661 HAS SOUS 38491 HAS SOUPS 38491 WITH SCORE 38544.661
AT ITER 7405 NEW BEST:: SOT 191469 SOS 53661 HAS SOPS 53661 HAS SOUS 38482 HAS SOUPS 38482 WITH SCORE 38535.661
AT ITER 7428 NEW BEST:: SOT 191456 SOS 53635 HAS SOPS 53635 HAS SOUS 38456 HAS SOUPS 38456 WITH SCORE 38509.635
AT ITER 7479 NEW BEST:: SOT 191454 SOS 53631 HAS SOPS 53631 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38505.631
AT ITER 7482 NEW BEST:: SOT 191458 SOS 53639 HAS SOPS 53639 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38494.639
AT ITER 7485 NEW BEST:: SOT 191456 SOS 53635 HAS SOPS 53635 HAS SOUS 38421 HAS SOUPS 38421 WITH SCORE 38474.635
AT ITER 7495 NEW BEST:: SOT 191478 SOS 53626 HAS SOPS 53626 HAS SOUS 38412 HAS SOUPS 38412 WITH SCORE 38465.626
AT ITER 7514 NEW BEST:: SOT 191477 SOS 53624 HAS SOPS 53624 HAS SOUS 38410 HAS SOUPS 38410 WITH SCORE 38463.624
AT ITER 7520 NEW BEST:: SOT 191454 SOS 53562 HAS SOPS 53562 HAS SOUS 38348 HAS SOUPS 38348 WITH SCORE 38401.562
AT ITER 7521 NEW BEST:: SOT 191500 SOS 53584 HAS SOPS 53584 HAS SOUS 38335 HAS SOUPS 38335 WITH SCORE 38388.584
AT ITER 7538 NEW BEST:: SOT 191430 SOS 53514 HAS SOPS 53514 HAS SOUS 38265 HAS SOUPS 38265 WITH SCORE 38318.514
AT ITER 7643 NEW BEST:: SOT 191370 SOS 53454 HAS SOPS 53454 HAS SOUS 38180 HAS SOUPS 38180 WITH SCORE 38233.454
AT ITER 7659 NEW BEST:: SOT 191406 SOS 53454 HAS SOPS 53454 HAS SOUS 38149 HAS SOUPS 38149 WITH SCORE 38202.454
AT ITER 7666 NEW BEST:: SOT 191387 SOS 53397 HAS SOPS 53397 HAS SOUS 38092 HAS SOUPS 38092 WITH SCORE 38145.397
AT ITER 7669 NEW BEST:: SOT 191389 SOS 53379 HAS SOPS 53379 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38127.379
AT ITER 7700 NEW BEST:: SOT 191369 SOS 53371 HAS SOPS 53371 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38119.371
AT ITER 7775 NEW BEST:: SOT 191369 SOS 53351 HAS SOPS 53351 HAS SOUS 38066 HAS SOUPS 38066 WITH SCORE 38119.351
AT ITER 7781 NEW BEST:: SOT 191370 SOS 53353 HAS SOPS 53353 HAS SOUS 38052 HAS SOUPS 38052 WITH SCORE 38105.353
AT ITER 7820 NEW BEST:: SOT 191353 SOS 53319 HAS SOPS 53319 HAS SOUS 38018 HAS SOUPS 38018 WITH SCORE 38071.319
AT ITER 7888 NEW BEST:: SOT 191325 SOS 53312 HAS SOPS 53312 HAS SOUS 38011 HAS SOUPS 38011 WITH SCORE 38064.312
AT ITER 7891 NEW BEST:: SOT 191325 SOS 53312 HAS SOPS 53312 HAS SOUS 38010 HAS SOUPS 38010 WITH SCORE 38063.312
AT ITER 7914 NEW BEST:: SOT 191283 SOS 53238 HAS SOPS 53238 HAS SOUS 37946 HAS SOUPS 37946 WITH SCORE 37999.238
AT ITER 7933 NEW BEST:: SOT 191267 SOS 53206 HAS SOPS 53206 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 37967.206
AT ITER 7949 NEW BEST:: SOT 191238 SOS 53178 HAS SOPS 53178 HAS SOUS 37904 HAS SOUPS 37904 WITH SCORE 37957.178
AT ITER 7955 NEW BEST:: SOT 191223 SOS 53148 HAS SOPS 53148 HAS SOUS 37874 HAS SOUPS 37874 WITH SCORE 37927.148
AT ITER 7990 NEW BEST:: SOT 191217 SOS 53136 HAS SOPS 53136 HAS SOUS 37868 HAS SOUPS 37868 WITH SCORE 37921.136
AT ITER 8019 NEW BEST:: SOT 191209 SOS 53131 HAS SOPS 53131 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37916.131
AT ITER 8023 NEW BEST:: SOT 191200 SOS 53122 HAS SOPS 53122 HAS SOUS 37854 HAS SOUPS 37854 WITH SCORE 37907.122
AT ITER 8128 NEW BEST:: SOT 191192 SOS 53084 HAS SOPS 53084 HAS SOUS 37816 HAS SOUPS 37816 WITH SCORE 37869.084
AT ITER 8139 NEW BEST:: SOT 191188 SOS 53076 HAS SOPS 53076 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37859.076
AT ITER 8145 NEW BEST:: SOT 191150 SOS 53000 HAS SOPS 53000 HAS SOUS 37768 HAS SOUPS 37768 WITH SCORE 37821.0
AT ITER 8183 NEW BEST:: SOT 191145 SOS 52995 HAS SOPS 52995 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37815.995
AT ITER 8196 NEW BEST:: SOT 191106 SOS 52956 HAS SOPS 52956 HAS SOUS 37716 HAS SOUPS 37716 WITH SCORE 37768.956
AT ITER 8232 NEW BEST:: SOT 191047 SOS 52875 HAS SOPS 52875 HAS SOUS 37695 HAS SOUPS 37695 WITH SCORE 37747.875
AT ITER 8265 NEW BEST:: SOT 190984 SOS 52783 HAS SOPS 52783 HAS SOUS 37603 HAS SOUPS 37603 WITH SCORE 37655.783
AT ITER 8282 NEW BEST:: SOT 190984 SOS 52783 HAS SOPS 52783 HAS SOUS 37570 HAS SOUPS 37570 WITH SCORE 37622.783
AT ITER 8293 NEW BEST:: SOT 190952 SOS 52727 HAS SOPS 52727 HAS SOUS 37538 HAS SOUPS 37538 WITH SCORE 37590.727
AT ITER 8342 NEW BEST:: SOT 190955 SOS 52730 HAS SOPS 52730 HAS SOUS 37537 HAS SOUPS 37537 WITH SCORE 37589.73
AT ITER 8383 NEW BEST:: SOT 190949 SOS 52913 HAS SOPS 52913 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37586.913
AT ITER 8407 NEW BEST:: SOT 190979 SOS 52868 HAS SOPS 52868 HAS SOUS 37489 HAS SOUPS 37489 WITH SCORE 37541.868
AT ITER 8421 NEW BEST:: SOT 190973 SOS 52856 HAS SOPS 52856 HAS SOUS 37477 HAS SOUPS 37477 WITH SCORE 37529.856
AT ITER 8427 NEW BEST:: SOT 190950 SOS 52810 HAS SOPS 52810 HAS SOUS 37431 HAS SOUPS 37431 WITH SCORE 37483.81
AT ITER 8437 NEW BEST:: SOT 190956 SOS 52822 HAS SOPS 52822 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37458.822
AT ITER 8469 NEW BEST:: SOT 190953 SOS 52819 HAS SOPS 52819 HAS SOUS 37403 HAS SOUPS 37403 WITH SCORE 37455.819
AT ITER 8495 NEW BEST:: SOT 190929 SOS 52785 HAS SOPS 52785 HAS SOUS 37369 HAS SOUPS 37369 WITH SCORE 37421.785
AT ITER 8499 NEW BEST:: SOT 190929 SOS 52773 HAS SOPS 52773 HAS SOUS 37369 HAS SOUPS 37369 WITH SCORE 37421.773
AT ITER 8502 NEW BEST:: SOT 190888 SOS 52729 HAS SOPS 52729 HAS SOUS 37325 HAS SOUPS 37325 WITH SCORE 37377.729
AT ITER 8518 NEW BEST:: SOT 190888 SOS 52728 HAS SOPS 52728 HAS SOUS 37324 HAS SOUPS 37324 WITH SCORE 37376.728
AT ITER 8585 NEW BEST:: SOT 190864 SOS 52696 HAS SOPS 52696 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37336.696
AT ITER 8597 NEW BEST:: SOT 190832 SOS 52683 HAS SOPS 52683 HAS SOUS 37271 HAS SOUPS 37271 WITH SCORE 37323.683
AT ITER 8612 NEW BEST:: SOT 190819 SOS 52670 HAS SOPS 52670 HAS SOUS 37258 HAS SOUPS 37258 WITH SCORE 37310.67
AT ITER 8636 NEW BEST:: SOT 190805 SOS 52662 HAS SOPS 52662 HAS SOUS 37242 HAS SOUPS 37242 WITH SCORE 37294.662
AT ITER 8661 NEW BEST:: SOT 190796 SOS 52653 HAS SOPS 52653 HAS SOUS 37233 HAS SOUPS 37233 WITH SCORE 37285.653
AT ITER 8696 NEW BEST:: SOT 190818 SOS 52648 HAS SOPS 52648 HAS SOUS 37179 HAS SOUPS 37179 WITH SCORE 37231.648
AT ITER 8748 NEW BEST:: SOT 190809 SOS 52609 HAS SOPS 52609 HAS SOUS 37140 HAS SOUPS 37140 WITH SCORE 37192.609
AT ITER 8762 NEW BEST:: SOT 190810 SOS 52569 HAS SOPS 52569 HAS SOUS 37134 HAS SOUPS 37134 WITH SCORE 37186.569
AT ITER 8828 NEW BEST:: SOT 190809 SOS 52568 HAS SOPS 52568 HAS SOUS 37133 HAS SOUPS 37133 WITH SCORE 37185.568
AT ITER 8897 NEW BEST:: SOT 190806 SOS 52564 HAS SOPS 52564 HAS SOUS 37129 HAS SOUPS 37129 WITH SCORE 37181.564
AT ITER 8913 NEW BEST:: SOT 190805 SOS 52563 HAS SOPS 52563 HAS SOUS 37128 HAS SOUPS 37128 WITH SCORE 37180.563
AT ITER 8924 NEW BEST:: SOT 190777 SOS 52507 HAS SOPS 52507 HAS SOUS 37072 HAS SOUPS 37072 WITH SCORE 37124.507
AT ITER 8952 NEW BEST:: SOT 190782 SOS 52502 HAS SOPS 52502 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37119.502
AT ITER 8965 NEW BEST:: SOT 190782 SOS 52482 HAS SOPS 52482 HAS SOUS 37055 HAS SOUPS 37055 WITH SCORE 37107.482
AT ITER 9031 NEW BEST:: SOT 190771 SOS 52471 HAS SOPS 52471 HAS SOUS 37044 HAS SOUPS 37044 WITH SCORE 37096.471
AT ITER 9058 NEW BEST:: SOT 190771 SOS 52471 HAS SOPS 52471 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37095.471
AT ITER 9092 NEW BEST:: SOT 190755 SOS 52450 HAS SOPS 52450 HAS SOUS 37022 HAS SOUPS 37022 WITH SCORE 37074.45
AT ITER 9094 NEW BEST:: SOT 190737 SOS 52466 HAS SOPS 52466 HAS SOUS 37021 HAS SOUPS 37021 WITH SCORE 37073.466
AT ITER 9114 NEW BEST:: SOT 190737 SOS 52460 HAS SOPS 52460 HAS SOUS 37015 HAS SOUPS 37015 WITH SCORE 37067.46
AT ITER 9136 NEW BEST:: SOT 190733 SOS 52452 HAS SOPS 52452 HAS SOUS 37007 HAS SOUPS 37007 WITH SCORE 37059.452
AT ITER 9142 NEW BEST:: SOT 190719 SOS 52430 HAS SOPS 52430 HAS SOUS 36999 HAS SOUPS 36999 WITH SCORE 37051.43
AT ITER 9216 NEW BEST:: SOT 190676 SOS 52370 HAS SOPS 52370 HAS SOUS 36939 HAS SOUPS 36939 WITH SCORE 36991.37
AT ITER 9233 NEW BEST:: SOT 190665 SOS 52319 HAS SOPS 52319 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 36960.319
AT ITER 9263 NEW BEST:: SOT 190638 SOS 52306 HAS SOPS 52306 HAS SOUS 36881 HAS SOUPS 36881 WITH SCORE 36933.306
AT ITER 9337 NEW BEST:: SOT 190632 SOS 52294 HAS SOPS 52294 HAS SOUS 36875 HAS SOUPS 36875 WITH SCORE 36927.294
AT ITER 9349 NEW BEST:: SOT 190627 SOS 52284 HAS SOPS 52284 HAS SOUS 36870 HAS SOUPS 36870 WITH SCORE 36922.284
AT ITER 9382 NEW BEST:: SOT 190627 SOS 52280 HAS SOPS 52280 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36918.28
AT ITER 9385 NEW BEST:: SOT 190627 SOS 52270 HAS SOPS 52270 HAS SOUS 36856 HAS SOUPS 36856 WITH SCORE 36908.27
AT ITER 9397 NEW BEST:: SOT 190627 SOS 52259 HAS SOPS 52259 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36897.259
AT ITER 9438 NEW BEST:: SOT 190613 SOS 52231 HAS SOPS 52231 HAS SOUS 36817 HAS SOUPS 36817 WITH SCORE 36869.231
AT ITER 9451 NEW BEST:: SOT 190614 SOS 52227 HAS SOPS 52227 HAS SOUS 36813 HAS SOUPS 36813 WITH SCORE 36865.227
AT ITER 9485 NEW BEST:: SOT 190610 SOS 52243 HAS SOPS 52243 HAS SOUS 36805 HAS SOUPS 36805 WITH SCORE 36857.243
AT ITER 9499 NEW BEST:: SOT 190585 SOS 52193 HAS SOPS 52193 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36807.193
AT ITER 9529 NEW BEST:: SOT 190585 SOS 52089 HAS SOPS 52089 HAS SOUS 36746 HAS SOUPS 36746 WITH SCORE 36798.089
AT ITER 9575 NEW BEST:: SOT 190524 SOS 52028 HAS SOPS 52028 HAS SOUS 36744 HAS SOUPS 36744 WITH SCORE 36796.028
AT ITER 9609 NEW BEST:: SOT 190524 SOS 52015 HAS SOPS 52015 HAS SOUS 36731 HAS SOUPS 36731 WITH SCORE 36783.015
AT ITER 9660 NEW BEST:: SOT 190520 SOS 52012 HAS SOPS 52012 HAS SOUS 36728 HAS SOUPS 36728 WITH SCORE 36780.012
AT ITER 9661 NEW BEST:: SOT 190533 SOS 52038 HAS SOPS 52038 HAS SOUS 36703 HAS SOUPS 36703 WITH SCORE 36755.038
AT ITER 9706 NEW BEST:: SOT 190543 SOS 52058 HAS SOPS 52058 HAS SOUS 36701 HAS SOUPS 36701 WITH SCORE 36753.058
AT ITER 9739 NEW BEST:: SOT 190538 SOS 52053 HAS SOPS 52053 HAS SOUS 36696 HAS SOUPS 36696 WITH SCORE 36748.053
AT ITER 9790 NEW BEST:: SOT 190524 SOS 51995 HAS SOPS 51995 HAS SOUS 36660 HAS SOUPS 36660 WITH SCORE 36711.995
AT ITER 9792 NEW BEST:: SOT 190524 SOS 51993 HAS SOPS 51993 HAS SOUS 36658 HAS SOUPS 36658 WITH SCORE 36709.993
AT ITER 9812 NEW BEST:: SOT 190502 SOS 51942 HAS SOPS 51942 HAS SOUS 36607 HAS SOUPS 36607 WITH SCORE 36658.942
AT ITER 9909 NEW BEST:: SOT 190446 SOS 51830 HAS SOPS 51830 HAS SOUS 36551 HAS SOUPS 36551 WITH SCORE 36602.83
AT ITER 9925 NEW BEST:: SOT 190439 SOS 51816 HAS SOPS 51816 HAS SOUS 36537 HAS SOUPS 36537 WITH SCORE 36588.816
AT ITER 9930 NEW BEST:: SOT 190432 SOS 51809 HAS SOPS 51809 HAS SOUS 36530 HAS SOUPS 36530 WITH SCORE 36581.809
AT ITER 9931 NEW BEST:: SOT 190428 SOS 51805 HAS SOPS 51805 HAS SOUS 36526 HAS SOUPS 36526 WITH SCORE 36577.805
AT ITER 9932 NEW BEST:: SOT 190428 SOS 51793 HAS SOPS 51793 HAS SOUS 36514 HAS SOUPS 36514 WITH SCORE 36565.793
AT ITER 9962 NEW BEST:: SOT 190416 SOS 51764 HAS SOPS 51764 HAS SOUS 36485 HAS SOUPS 36485 WITH SCORE 36536.764
AT ITER 9978 NEW BEST:: SOT 190414 SOS 51762 HAS SOPS 51762 HAS SOUS 36483 HAS SOUPS 36483 WITH SCORE 36534.762
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 8801036 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16153992 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-14, 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 r035-tajo-167813688400560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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