Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.8K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:50 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:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:48 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 11:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:48 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:48 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 661K 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 1678229791619

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=CloudReconfiguration-PT-320
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 320
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: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458525 SOS 744630 HAS SOPS 744630 HAS SOUS 686894 HAS SOUPS 686894 WITH SCORE 687638.63
AT ITER 9 NEW BEST:: SOT 4457781 SOS 743898 HAS SOPS 743898 HAS SOUS 686162 HAS SOUPS 686162 WITH SCORE 686905.898
AT ITER 23 NEW BEST:: SOT 4457780 SOS 743896 HAS SOPS 743896 HAS SOUS 686160 HAS SOUPS 686160 WITH SCORE 686903.896
AT ITER 29 NEW BEST:: SOT 4457758 SOS 743852 HAS SOPS 743852 HAS SOUS 686116 HAS SOUPS 686116 WITH SCORE 686859.852
AT ITER 38 NEW BEST:: SOT 4457605 SOS 743699 HAS SOPS 743699 HAS SOUS 685963 HAS SOUPS 685963 WITH SCORE 686706.699
AT ITER 40 NEW BEST:: SOT 4457534 SOS 743557 HAS SOPS 743557 HAS SOUS 685821 HAS SOUPS 685821 WITH SCORE 686564.557
AT ITER 41 NEW BEST:: SOT 4457435 SOS 743459 HAS SOPS 743459 HAS SOUS 685622 HAS SOUPS 685622 WITH SCORE 686365.459
AT ITER 48 NEW BEST:: SOT 4457260 SOS 743109 HAS SOPS 743109 HAS SOUS 685447 HAS SOUPS 685447 WITH SCORE 686190.109
AT ITER 52 NEW BEST:: SOT 4457198 SOS 742985 HAS SOPS 742985 HAS SOUS 685323 HAS SOUPS 685323 WITH SCORE 686065.985
AT ITER 54 NEW BEST:: SOT 4457198 SOS 742985 HAS SOPS 742985 HAS SOUS 685322 HAS SOUPS 685322 WITH SCORE 686064.985
AT ITER 65 NEW BEST:: SOT 4457198 SOS 742650 HAS SOPS 742650 HAS SOUS 685321 HAS SOUPS 685321 WITH SCORE 686063.65
AT ITER 71 NEW BEST:: SOT 4457098 SOS 742065 HAS SOPS 742065 HAS SOUS 684915 HAS SOUPS 684915 WITH SCORE 685657.065
AT ITER 93 NEW BEST:: SOT 4457012 SOS 741893 HAS SOPS 741893 HAS SOUS 684743 HAS SOUPS 684743 WITH SCORE 685484.893
AT ITER 114 NEW BEST:: SOT 4457122 SOS 742113 HAS SOPS 742113 HAS SOUS 684708 HAS SOUPS 684708 WITH SCORE 685450.113
AT ITER 130 NEW BEST:: SOT 4457078 SOS 742069 HAS SOPS 742069 HAS SOUS 684664 HAS SOUPS 684664 WITH SCORE 685406.069
AT ITER 139 NEW BEST:: SOT 4456950 SOS 741813 HAS SOPS 741813 HAS SOUS 684514 HAS SOUPS 684514 WITH SCORE 685255.813
AT ITER 147 NEW BEST:: SOT 4456844 SOS 741308 HAS SOPS 741308 HAS SOUS 684301 HAS SOUPS 684301 WITH SCORE 685042.308
AT ITER 149 NEW BEST:: SOT 4456843 SOS 741306 HAS SOPS 741306 HAS SOUS 684299 HAS SOUPS 684299 WITH SCORE 685040.306
AT ITER 154 NEW BEST:: SOT 4456842 SOS 741304 HAS SOPS 741304 HAS SOUS 684297 HAS SOUPS 684297 WITH SCORE 685038.304
AT ITER 161 NEW BEST:: SOT 4456723 SOS 740947 HAS SOPS 740947 HAS SOUS 684059 HAS SOUPS 684059 WITH SCORE 684799.947
AT ITER 163 NEW BEST:: SOT 4456723 SOS 740743 HAS SOPS 740743 HAS SOUS 683855 HAS SOUPS 683855 WITH SCORE 684595.743
AT ITER 174 NEW BEST:: SOT 4456885 SOS 741067 HAS SOPS 741067 HAS SOUS 683643 HAS SOUPS 683643 WITH SCORE 684384.067
AT ITER 192 NEW BEST:: SOT 4456749 SOS 740931 HAS SOPS 740931 HAS SOUS 683641 HAS SOUPS 683641 WITH SCORE 684381.931
AT ITER 206 NEW BEST:: SOT 4456506 SOS 740296 HAS SOPS 740296 HAS SOUS 683154 HAS SOUPS 683154 WITH SCORE 683894.296
AT ITER 215 NEW BEST:: SOT 4456506 SOS 740296 HAS SOPS 740296 HAS SOUS 683086 HAS SOUPS 683086 WITH SCORE 683826.296
AT ITER 219 NEW BEST:: SOT 4456421 SOS 740126 HAS SOPS 740126 HAS SOUS 682916 HAS SOUPS 682916 WITH SCORE 683656.126
AT ITER 220 NEW BEST:: SOT 4456393 SOS 740098 HAS SOPS 740098 HAS SOUS 682888 HAS SOUPS 682888 WITH SCORE 683628.098
AT ITER 222 NEW BEST:: SOT 4456393 SOS 739751 HAS SOPS 739751 HAS SOUS 682887 HAS SOUPS 682887 WITH SCORE 683626.751
AT ITER 234 NEW BEST:: SOT 4455799 SOS 740152 HAS SOPS 740152 HAS SOUS 682462 HAS SOUPS 682462 WITH SCORE 683202.152
AT ITER 248 NEW BEST:: SOT 4455749 SOS 740102 HAS SOPS 740102 HAS SOUS 682412 HAS SOUPS 682412 WITH SCORE 683152.102
AT ITER 296 NEW BEST:: SOT 4455378 SOS 739576 HAS SOPS 739576 HAS SOUS 681825 HAS SOUPS 681825 WITH SCORE 682564.576
AT ITER 309 NEW BEST:: SOT 4455411 SOS 739642 HAS SOPS 739642 HAS SOUS 681705 HAS SOUPS 681705 WITH SCORE 682444.642
AT ITER 317 NEW BEST:: SOT 4455305 SOS 739430 HAS SOPS 739430 HAS SOUS 681629 HAS SOUPS 681629 WITH SCORE 682368.43
AT ITER 323 NEW BEST:: SOT 4455223 SOS 739404 HAS SOPS 739404 HAS SOUS 681547 HAS SOUPS 681547 WITH SCORE 682286.404
AT ITER 337 NEW BEST:: SOT 4455223 SOS 739404 HAS SOPS 739404 HAS SOUS 681546 HAS SOUPS 681546 WITH SCORE 682285.404
AT ITER 381 NEW BEST:: SOT 4455374 SOS 738863 HAS SOPS 738863 HAS SOUS 681289 HAS SOUPS 681289 WITH SCORE 682027.863
AT ITER 383 NEW BEST:: SOT 4455078 SOS 738755 HAS SOPS 738755 HAS SOUS 681090 HAS SOUPS 681090 WITH SCORE 681828.755
AT ITER 403 NEW BEST:: SOT 4451525 SOS 764661 HAS SOPS 764661 HAS SOUS 678459 HAS SOUPS 678459 WITH SCORE 679223.661
AT ITER 410 NEW BEST:: SOT 4451262 SOS 764135 HAS SOPS 764135 HAS SOUS 677933 HAS SOUPS 677933 WITH SCORE 678697.135
AT ITER 414 NEW BEST:: SOT 4451252 SOS 764125 HAS SOPS 764125 HAS SOUS 677931 HAS SOUPS 677931 WITH SCORE 678695.125
AT ITER 437 NEW BEST:: SOT 4450984 SOS 763589 HAS SOPS 763589 HAS SOUS 677211 HAS SOUPS 677211 WITH SCORE 677974.589
AT ITER 441 NEW BEST:: SOT 4450984 SOS 763421 HAS SOPS 763421 HAS SOUS 677127 HAS SOUPS 677127 WITH SCORE 677890.421
AT ITER 471 NEW BEST:: SOT 4450834 SOS 763121 HAS SOPS 763121 HAS SOUS 676827 HAS SOUPS 676827 WITH SCORE 677590.121
AT ITER 488 NEW BEST:: SOT 4450578 SOS 762865 HAS SOPS 762865 HAS SOUS 676571 HAS SOUPS 676571 WITH SCORE 677333.865
AT ITER 493 NEW BEST:: SOT 4450571 SOS 762851 HAS SOPS 762851 HAS SOUS 676557 HAS SOUPS 676557 WITH SCORE 677319.851
AT ITER 494 NEW BEST:: SOT 4450571 SOS 762475 HAS SOPS 762475 HAS SOUS 676368 HAS SOUPS 676368 WITH SCORE 677130.475
AT ITER 532 NEW BEST:: SOT 4450673 SOS 762378 HAS SOPS 762378 HAS SOUS 676193 HAS SOUPS 676193 WITH SCORE 676955.378
AT ITER 548 NEW BEST:: SOT 4450521 SOS 762074 HAS SOPS 762074 HAS SOUS 675889 HAS SOUPS 675889 WITH SCORE 676651.074
AT ITER 553 NEW BEST:: SOT 4450374 SOS 761928 HAS SOPS 761928 HAS SOUS 675743 HAS SOUPS 675743 WITH SCORE 676504.928
AT ITER 559 NEW BEST:: SOT 4450374 SOS 761928 HAS SOPS 761928 HAS SOUS 675661 HAS SOUPS 675661 WITH SCORE 676422.928
AT ITER 561 NEW BEST:: SOT 4450332 SOS 761844 HAS SOPS 761844 HAS SOUS 675577 HAS SOUPS 675577 WITH SCORE 676338.844
AT ITER 569 NEW BEST:: SOT 4450151 SOS 762418 HAS SOPS 762418 HAS SOUS 675542 HAS SOUPS 675542 WITH SCORE 676304.418
AT ITER 585 NEW BEST:: SOT 4444281 SOS 756894 HAS SOPS 756894 HAS SOUS 669820 HAS SOUPS 669820 WITH SCORE 670576.894
AT ITER 614 NEW BEST:: SOT 4443936 SOS 757227 HAS SOPS 757227 HAS SOUS 669808 HAS SOUPS 669808 WITH SCORE 670565.227
AT ITER 626 NEW BEST:: SOT 4443830 SOS 757015 HAS SOPS 757015 HAS SOUS 669447 HAS SOUPS 669447 WITH SCORE 670204.015
AT ITER 629 NEW BEST:: SOT 4443291 SOS 757033 HAS SOPS 757033 HAS SOUS 669182 HAS SOUPS 669182 WITH SCORE 669939.033
AT ITER 632 NEW BEST:: SOT 4443175 SOS 756929 HAS SOPS 756929 HAS SOUS 669066 HAS SOUPS 669066 WITH SCORE 669822.929
AT ITER 641 NEW BEST:: SOT 4443090 SOS 757013 HAS SOPS 757013 HAS SOUS 668896 HAS SOUPS 668896 WITH SCORE 669653.013
AT ITER 648 NEW BEST:: SOT 4442854 SOS 756812 HAS SOPS 756812 HAS SOUS 668496 HAS SOUPS 668496 WITH SCORE 669252.812
AT ITER 649 NEW BEST:: SOT 4442595 SOS 756553 HAS SOPS 756553 HAS SOUS 668237 HAS SOUPS 668237 WITH SCORE 668993.553
AT ITER 653 NEW BEST:: SOT 4442686 SOS 756735 HAS SOPS 756735 HAS SOUS 667718 HAS SOUPS 667718 WITH SCORE 668474.735
AT ITER 668 NEW BEST:: SOT 4442166 SOS 756891 HAS SOPS 756891 HAS SOUS 667573 HAS SOUPS 667573 WITH SCORE 668329.891
AT ITER 671 NEW BEST:: SOT 4442166 SOS 756800 HAS SOPS 756800 HAS SOUS 667482 HAS SOUPS 667482 WITH SCORE 668238.8
AT ITER 672 NEW BEST:: SOT 4442300 SOS 756188 HAS SOPS 756188 HAS SOUS 667186 HAS SOUPS 667186 WITH SCORE 667942.188
AT ITER 678 NEW BEST:: SOT 4442300 SOS 756188 HAS SOPS 756188 HAS SOUS 667185 HAS SOUPS 667185 WITH SCORE 667941.188
AT ITER 722 NEW BEST:: SOT 4442300 SOS 755977 HAS SOPS 755977 HAS SOUS 667031 HAS SOUPS 667031 WITH SCORE 667786.977
AT ITER 724 NEW BEST:: SOT 4442299 SOS 755975 HAS SOPS 755975 HAS SOUS 667029 HAS SOUPS 667029 WITH SCORE 667784.975
AT ITER 731 NEW BEST:: SOT 4442097 SOS 755363 HAS SOPS 755363 HAS SOUS 666625 HAS SOUPS 666625 WITH SCORE 667380.363
AT ITER 735 NEW BEST:: SOT 4442051 SOS 755558 HAS SOPS 755558 HAS SOUS 666561 HAS SOUPS 666561 WITH SCORE 667316.558
AT ITER 753 NEW BEST:: SOT 4442069 SOS 755594 HAS SOPS 755594 HAS SOUS 666461 HAS SOUPS 666461 WITH SCORE 667216.594
AT ITER 769 NEW BEST:: SOT 4441922 SOS 755790 HAS SOPS 755790 HAS SOUS 666412 HAS SOUPS 666412 WITH SCORE 667167.79
AT ITER 859 NEW BEST:: SOT 4441856 SOS 755843 HAS SOPS 755843 HAS SOUS 666280 HAS SOUPS 666280 WITH SCORE 667035.843
AT ITER 906 NEW BEST:: SOT 4441776 SOS 756104 HAS SOPS 756104 HAS SOUS 666024 HAS SOUPS 666024 WITH SCORE 666780.104
AT ITER 938 NEW BEST:: SOT 4441732 SOS 756100 HAS SOPS 756100 HAS SOUS 665896 HAS SOUPS 665896 WITH SCORE 666652.1
AT ITER 946 NEW BEST:: SOT 4441611 SOS 755979 HAS SOPS 755979 HAS SOUS 665775 HAS SOUPS 665775 WITH SCORE 666530.979
AT ITER 960 NEW BEST:: SOT 4441316 SOS 755913 HAS SOPS 755913 HAS SOUS 665480 HAS SOUPS 665480 WITH SCORE 666235.913
AT ITER 993 NEW BEST:: SOT 4441267 SOS 756184 HAS SOPS 756184 HAS SOUS 665431 HAS SOUPS 665431 WITH SCORE 666187.184
AT ITER 1002 NEW BEST:: SOT 4441013 SOS 755935 HAS SOPS 755935 HAS SOUS 665182 HAS SOUPS 665182 WITH SCORE 665937.935
AT ITER 1039 NEW BEST:: SOT 4440996 SOS 755901 HAS SOPS 755901 HAS SOUS 665148 HAS SOUPS 665148 WITH SCORE 665903.901
AT ITER 1104 NEW BEST:: SOT 4440983 SOS 755875 HAS SOPS 755875 HAS SOUS 665122 HAS SOUPS 665122 WITH SCORE 665877.875
AT ITER 1115 NEW BEST:: SOT 4440981 SOS 755871 HAS SOPS 755871 HAS SOUS 665118 HAS SOUPS 665118 WITH SCORE 665873.871
AT ITER 1118 NEW BEST:: SOT 4440902 SOS 755713 HAS SOPS 755713 HAS SOUS 664960 HAS SOUPS 664960 WITH SCORE 665715.713
AT ITER 1124 NEW BEST:: SOT 4440611 SOS 755492 HAS SOPS 755492 HAS SOUS 664718 HAS SOUPS 664718 WITH SCORE 665473.492
AT ITER 1135 NEW BEST:: SOT 4440567 SOS 755404 HAS SOPS 755404 HAS SOUS 664674 HAS SOUPS 664674 WITH SCORE 665429.404
AT ITER 1161 NEW BEST:: SOT 4440566 SOS 755402 HAS SOPS 755402 HAS SOUS 664672 HAS SOUPS 664672 WITH SCORE 665427.402
AT ITER 1207 NEW BEST:: SOT 4440468 SOS 755206 HAS SOPS 755206 HAS SOUS 664476 HAS SOUPS 664476 WITH SCORE 665231.206
AT ITER 1208 NEW BEST:: SOT 4440421 SOS 755112 HAS SOPS 755112 HAS SOUS 664382 HAS SOUPS 664382 WITH SCORE 665137.112
AT ITER 1213 NEW BEST:: SOT 4440402 SOS 755309 HAS SOPS 755309 HAS SOUS 664363 HAS SOUPS 664363 WITH SCORE 665118.309
AT ITER 1237 NEW BEST:: SOT 4440315 SOS 755135 HAS SOPS 755135 HAS SOUS 664337 HAS SOUPS 664337 WITH SCORE 665092.135
AT ITER 1276 NEW BEST:: SOT 4440190 SOS 755079 HAS SOPS 755079 HAS SOUS 664212 HAS SOUPS 664212 WITH SCORE 664967.079
AT ITER 1284 NEW BEST:: SOT 4440147 SOS 754993 HAS SOPS 754993 HAS SOUS 664126 HAS SOUPS 664126 WITH SCORE 664880.993
AT ITER 1287 NEW BEST:: SOT 4440310 SOS 754671 HAS SOPS 754671 HAS SOUS 664073 HAS SOUPS 664073 WITH SCORE 664827.671
AT ITER 1313 NEW BEST:: SOT 4440310 SOS 754454 HAS SOPS 754454 HAS SOUS 663856 HAS SOUPS 663856 WITH SCORE 664610.454
AT ITER 1314 NEW BEST:: SOT 4440086 SOS 754006 HAS SOPS 754006 HAS SOUS 663408 HAS SOUPS 663408 WITH SCORE 664162.006
AT ITER 1338 NEW BEST:: SOT 4439693 SOS 753220 HAS SOPS 753220 HAS SOUS 662622 HAS SOUPS 662622 WITH SCORE 663375.22
AT ITER 1384 NEW BEST:: SOT 4439335 SOS 754432 HAS SOPS 754432 HAS SOUS 662424 HAS SOUPS 662424 WITH SCORE 663178.432
AT ITER 1394 NEW BEST:: SOT 4439410 SOS 754300 HAS SOPS 754300 HAS SOUS 662292 HAS SOUPS 662292 WITH SCORE 663046.3
AT ITER 1397 NEW BEST:: SOT 4439410 SOS 754188 HAS SOPS 754188 HAS SOUS 662291 HAS SOUPS 662291 WITH SCORE 663045.188
AT ITER 1414 NEW BEST:: SOT 4439462 SOS 753996 HAS SOPS 753996 HAS SOUS 662108 HAS SOUPS 662108 WITH SCORE 662861.996
AT ITER 1416 NEW BEST:: SOT 4439750 SOS 754205 HAS SOPS 754205 HAS SOUS 662082 HAS SOUPS 662082 WITH SCORE 662836.205
AT ITER 1421 NEW BEST:: SOT 4439869 SOS 753897 HAS SOPS 753897 HAS SOUS 661964 HAS SOUPS 661964 WITH SCORE 662717.897
AT ITER 1425 NEW BEST:: SOT 4437836 SOS 778091 HAS SOPS 778091 HAS SOUS 661720 HAS SOUPS 661720 WITH SCORE 662498.091
AT ITER 1435 NEW BEST:: SOT 4437045 SOS 777641 HAS SOPS 777641 HAS SOUS 661212 HAS SOUPS 661212 WITH SCORE 661989.641
AT ITER 1438 NEW BEST:: SOT 4436933 SOS 777529 HAS SOPS 777529 HAS SOUS 661100 HAS SOUPS 661100 WITH SCORE 661877.529
AT ITER 1443 NEW BEST:: SOT 4436203 SOS 777301 HAS SOPS 777301 HAS SOUS 660678 HAS SOUPS 660678 WITH SCORE 661455.301
AT ITER 1451 NEW BEST:: SOT 4436079 SOS 777053 HAS SOPS 777053 HAS SOUS 660430 HAS SOUPS 660430 WITH SCORE 661207.053
AT ITER 1479 NEW BEST:: SOT 4435814 SOS 776523 HAS SOPS 776523 HAS SOUS 660018 HAS SOUPS 660018 WITH SCORE 660794.523
AT ITER 1492 NEW BEST:: SOT 4435835 SOS 776565 HAS SOPS 776565 HAS SOUS 659845 HAS SOUPS 659845 WITH SCORE 660621.565
AT ITER 1553 NEW BEST:: SOT 4436070 SOS 776733 HAS SOPS 776733 HAS SOUS 659750 HAS SOUPS 659750 WITH SCORE 660526.733
AT ITER 1563 NEW BEST:: SOT 4436070 SOS 776483 HAS SOPS 776483 HAS SOUS 659750 HAS SOUPS 659750 WITH SCORE 660526.483
AT ITER 1565 NEW BEST:: SOT 4435947 SOS 776428 HAS SOPS 776428 HAS SOUS 659634 HAS SOUPS 659634 WITH SCORE 660410.428
AT ITER 1588 NEW BEST:: SOT 4435947 SOS 776093 HAS SOPS 776093 HAS SOUS 659634 HAS SOUPS 659634 WITH SCORE 660410.093
AT ITER 1617 NEW BEST:: SOT 4435938 SOS 776075 HAS SOPS 776075 HAS SOUS 659624 HAS SOUPS 659624 WITH SCORE 660400.075
AT ITER 1663 NEW BEST:: SOT 4435859 SOS 775917 HAS SOPS 775917 HAS SOUS 659545 HAS SOUPS 659545 WITH SCORE 660320.917
AT ITER 1666 NEW BEST:: SOT 4435859 SOS 775690 HAS SOPS 775690 HAS SOUS 659544 HAS SOUPS 659544 WITH SCORE 660319.69
AT ITER 1673 NEW BEST:: SOT 4435717 SOS 775828 HAS SOPS 775828 HAS SOUS 659497 HAS SOUPS 659497 WITH SCORE 660272.828
AT ITER 1685 NEW BEST:: SOT 4435660 SOS 775751 HAS SOPS 775751 HAS SOUS 659368 HAS SOUPS 659368 WITH SCORE 660143.751
AT ITER 1729 NEW BEST:: SOT 4435660 SOS 775688 HAS SOPS 775688 HAS SOUS 659366 HAS SOUPS 659366 WITH SCORE 660141.688
AT ITER 1735 NEW BEST:: SOT 4435226 SOS 775272 HAS SOPS 775272 HAS SOUS 658931 HAS SOUPS 658931 WITH SCORE 659706.272
AT ITER 1746 NEW BEST:: SOT 4435115 SOS 775161 HAS SOPS 775161 HAS SOUS 658743 HAS SOUPS 658743 WITH SCORE 659518.161
AT ITER 1758 NEW BEST:: SOT 4435022 SOS 774975 HAS SOPS 774975 HAS SOUS 658567 HAS SOUPS 658567 WITH SCORE 659341.975
AT ITER 1784 NEW BEST:: SOT 4434894 SOS 774719 HAS SOPS 774719 HAS SOUS 658311 HAS SOUPS 658311 WITH SCORE 659085.719
AT ITER 1823 NEW BEST:: SOT 4434248 SOS 798387 HAS SOPS 798387 HAS SOUS 657770 HAS SOUPS 657770 WITH SCORE 658568.387
AT ITER 1828 NEW BEST:: SOT 4434143 SOS 798177 HAS SOPS 798177 HAS SOUS 657396 HAS SOUPS 657396 WITH SCORE 658194.177
AT ITER 1838 NEW BEST:: SOT 4434143 SOS 798122 HAS SOPS 798122 HAS SOUS 657341 HAS SOUPS 657341 WITH SCORE 658139.122
AT ITER 1842 NEW BEST:: SOT 4433879 SOS 797594 HAS SOPS 797594 HAS SOUS 656813 HAS SOUPS 656813 WITH SCORE 657610.594
AT ITER 1870 NEW BEST:: SOT 4433664 SOS 797398 HAS SOPS 797398 HAS SOUS 656607 HAS SOUPS 656607 WITH SCORE 657404.398
AT ITER 1872 NEW BEST:: SOT 4433663 SOS 797396 HAS SOPS 797396 HAS SOUS 656605 HAS SOUPS 656605 WITH SCORE 657402.396
AT ITER 1882 NEW BEST:: SOT 4433622 SOS 797314 HAS SOPS 797314 HAS SOUS 656523 HAS SOUPS 656523 WITH SCORE 657320.314
AT ITER 1888 NEW BEST:: SOT 4433651 SOS 797181 HAS SOPS 797181 HAS SOUS 656270 HAS SOUPS 656270 WITH SCORE 657067.181
AT ITER 1894 NEW BEST:: SOT 4433650 SOS 797179 HAS SOPS 797179 HAS SOUS 656268 HAS SOUPS 656268 WITH SCORE 657065.179
AT ITER 1911 NEW BEST:: SOT 4433402 SOS 796993 HAS SOPS 796993 HAS SOUS 656082 HAS SOUPS 656082 WITH SCORE 656878.993
AT ITER 1926 NEW BEST:: SOT 4433012 SOS 796805 HAS SOPS 796805 HAS SOUS 655894 HAS SOUPS 655894 WITH SCORE 656690.805
AT ITER 1949 NEW BEST:: SOT 4433012 SOS 796782 HAS SOPS 796782 HAS SOUS 655894 HAS SOUPS 655894 WITH SCORE 656690.782
AT ITER 1984 NEW BEST:: SOT 4432818 SOS 796394 HAS SOPS 796394 HAS SOUS 655603 HAS SOUPS 655603 WITH SCORE 656399.394
AT ITER 2017 NEW BEST:: SOT 4432554 SOS 795866 HAS SOPS 795866 HAS SOUS 655444 HAS SOUPS 655444 WITH SCORE 656239.866
AT ITER 2021 NEW BEST:: SOT 4432493 SOS 795744 HAS SOPS 795744 HAS SOUS 655322 HAS SOUPS 655322 WITH SCORE 656117.744
AT ITER 2031 NEW BEST:: SOT 4432495 SOS 795552 HAS SOPS 795552 HAS SOUS 655167 HAS SOUPS 655167 WITH SCORE 655962.552
AT ITER 2032 NEW BEST:: SOT 4432495 SOS 795510 HAS SOPS 795510 HAS SOUS 655167 HAS SOUPS 655167 WITH SCORE 655962.51
AT ITER 2036 NEW BEST:: SOT 4432495 SOS 795421 HAS SOPS 795421 HAS SOUS 654989 HAS SOUPS 654989 WITH SCORE 655784.421
AT ITER 2070 NEW BEST:: SOT 4432131 SOS 795057 HAS SOPS 795057 HAS SOUS 654625 HAS SOUPS 654625 WITH SCORE 655420.057
AT ITER 2090 NEW BEST:: SOT 4432131 SOS 794941 HAS SOPS 794941 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 655416.941
AT ITER 2111 NEW BEST:: SOT 4432131 SOS 794857 HAS SOPS 794857 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 655416.857
AT ITER 2117 NEW BEST:: SOT 4432131 SOS 794851 HAS SOPS 794851 HAS SOUS 654622 HAS SOUPS 654622 WITH SCORE 655416.851
AT ITER 2166 NEW BEST:: SOT 4432028 SOS 794748 HAS SOPS 794748 HAS SOUS 654519 HAS SOUPS 654519 WITH SCORE 655313.748
AT ITER 2168 NEW BEST:: SOT 4431969 SOS 794630 HAS SOPS 794630 HAS SOUS 654401 HAS SOUPS 654401 WITH SCORE 655195.63
AT ITER 2185 NEW BEST:: SOT 4431769 SOS 793465 HAS SOPS 793465 HAS SOUS 653817 HAS SOUPS 653817 WITH SCORE 654610.465
AT ITER 2209 NEW BEST:: SOT 4431723 SOS 793373 HAS SOPS 793373 HAS SOUS 653725 HAS SOUPS 653725 WITH SCORE 654518.373
AT ITER 2215 NEW BEST:: SOT 4431242 SOS 793341 HAS SOPS 793341 HAS SOUS 653434 HAS SOUPS 653434 WITH SCORE 654227.341
AT ITER 2245 NEW BEST:: SOT 4431361 SOS 793349 HAS SOPS 793349 HAS SOUS 653323 HAS SOUPS 653323 WITH SCORE 654116.349
AT ITER 2294 NEW BEST:: SOT 4431360 SOS 793347 HAS SOPS 793347 HAS SOUS 653321 HAS SOUPS 653321 WITH SCORE 654114.347
AT ITER 2309 NEW BEST:: SOT 4431359 SOS 793345 HAS SOPS 793345 HAS SOUS 653319 HAS SOUPS 653319 WITH SCORE 654112.345
AT ITER 2311 NEW BEST:: SOT 4431258 SOS 793143 HAS SOPS 793143 HAS SOUS 653117 HAS SOUPS 653117 WITH SCORE 653910.143
AT ITER 2326 NEW BEST:: SOT 4431001 SOS 792410 HAS SOPS 792410 HAS SOUS 652603 HAS SOUPS 652603 WITH SCORE 653395.41
AT ITER 2337 NEW BEST:: SOT 4430998 SOS 792404 HAS SOPS 792404 HAS SOUS 652600 HAS SOUPS 652600 WITH SCORE 653392.404
AT ITER 2372 NEW BEST:: SOT 4430997 SOS 792319 HAS SOPS 792319 HAS SOUS 652598 HAS SOUPS 652598 WITH SCORE 653390.319
AT ITER 2377 NEW BEST:: SOT 4430966 SOS 790986 HAS SOPS 790986 HAS SOUS 652536 HAS SOUPS 652536 WITH SCORE 653326.986
AT ITER 2408 NEW BEST:: SOT 4430903 SOS 790860 HAS SOPS 790860 HAS SOUS 652473 HAS SOUPS 652473 WITH SCORE 653263.86
AT ITER 2414 NEW BEST:: SOT 4430334 SOS 790083 HAS SOPS 790083 HAS SOUS 651696 HAS SOUPS 651696 WITH SCORE 652486.083
AT ITER 2478 NEW BEST:: SOT 4430334 SOS 789743 HAS SOPS 789743 HAS SOUS 651526 HAS SOUPS 651526 WITH SCORE 652315.743
AT ITER 2489 NEW BEST:: SOT 4430160 SOS 789598 HAS SOPS 789598 HAS SOUS 651352 HAS SOUPS 651352 WITH SCORE 652141.598
AT ITER 2505 NEW BEST:: SOT 4430211 SOS 789521 HAS SOPS 789521 HAS SOUS 651275 HAS SOUPS 651275 WITH SCORE 652064.521
AT ITER 2508 NEW BEST:: SOT 4430167 SOS 789433 HAS SOPS 789433 HAS SOUS 651186 HAS SOUPS 651186 WITH SCORE 651975.433
AT ITER 2516 NEW BEST:: SOT 4429952 SOS 789394 HAS SOPS 789394 HAS SOUS 650971 HAS SOUPS 650971 WITH SCORE 651760.394
AT ITER 2521 NEW BEST:: SOT 4430023 SOS 789536 HAS SOPS 789536 HAS SOUS 650887 HAS SOUPS 650887 WITH SCORE 651676.536
AT ITER 2538 NEW BEST:: SOT 4429976 SOS 789442 HAS SOPS 789442 HAS SOUS 650793 HAS SOUPS 650793 WITH SCORE 651582.442
AT ITER 2606 NEW BEST:: SOT 4429944 SOS 789378 HAS SOPS 789378 HAS SOUS 650729 HAS SOUPS 650729 WITH SCORE 651518.378
AT ITER 2645 NEW BEST:: SOT 4430026 SOS 789542 HAS SOPS 789542 HAS SOUS 650684 HAS SOUPS 650684 WITH SCORE 651473.542
AT ITER 2651 NEW BEST:: SOT 4429991 SOS 791308 HAS SOPS 791308 HAS SOUS 650649 HAS SOUPS 650649 WITH SCORE 651440.308
AT ITER 2684 NEW BEST:: SOT 4429939 SOS 791498 HAS SOPS 791498 HAS SOUS 650545 HAS SOUPS 650545 WITH SCORE 651336.498
AT ITER 2734 NEW BEST:: SOT 4429939 SOS 791498 HAS SOPS 791498 HAS SOUS 650361 HAS SOUPS 650361 WITH SCORE 651152.498
AT ITER 2754 NEW BEST:: SOT 4429527 SOS 791086 HAS SOPS 791086 HAS SOUS 649949 HAS SOUPS 649949 WITH SCORE 650740.086
AT ITER 2760 NEW BEST:: SOT 4429056 SOS 790505 HAS SOPS 790505 HAS SOUS 649478 HAS SOUPS 649478 WITH SCORE 650268.505
AT ITER 2787 NEW BEST:: SOT 4428621 SOS 790133 HAS SOPS 790133 HAS SOUS 649043 HAS SOUPS 649043 WITH SCORE 649833.133
AT ITER 2810 NEW BEST:: SOT 4428570 SOS 790031 HAS SOPS 790031 HAS SOUS 648992 HAS SOUPS 648992 WITH SCORE 649782.031
AT ITER 2815 NEW BEST:: SOT 4428284 SOS 790829 HAS SOPS 790829 HAS SOUS 648821 HAS SOUPS 648821 WITH SCORE 649611.829
AT ITER 2818 NEW BEST:: SOT 4428216 SOS 790761 HAS SOPS 790761 HAS SOUS 648753 HAS SOUPS 648753 WITH SCORE 649543.761
AT ITER 2824 NEW BEST:: SOT 4428092 SOS 790389 HAS SOPS 790389 HAS SOUS 648505 HAS SOUPS 648505 WITH SCORE 649295.389
AT ITER 2827 NEW BEST:: SOT 4427898 SOS 789613 HAS SOPS 789613 HAS SOUS 648117 HAS SOUPS 648117 WITH SCORE 648906.613
AT ITER 2844 NEW BEST:: SOT 4427897 SOS 789955 HAS SOPS 789955 HAS SOUS 648050 HAS SOUPS 648050 WITH SCORE 648839.955
AT ITER 2879 NEW BEST:: SOT 4427796 SOS 789701 HAS SOPS 789701 HAS SOUS 647751 HAS SOUPS 647751 WITH SCORE 648540.701
AT ITER 2894 NEW BEST:: SOT 4427596 SOS 789301 HAS SOPS 789301 HAS SOUS 647706 HAS SOUPS 647706 WITH SCORE 648495.301
AT ITER 2923 NEW BEST:: SOT 4427582 SOS 789273 HAS SOPS 789273 HAS SOUS 647678 HAS SOUPS 647678 WITH SCORE 648467.273
AT ITER 2945 NEW BEST:: SOT 4427582 SOS 789273 HAS SOPS 789273 HAS SOUS 647677 HAS SOUPS 647677 WITH SCORE 648466.273
AT ITER 2948 NEW BEST:: SOT 4427582 SOS 789235 HAS SOPS 789235 HAS SOUS 647658 HAS SOUPS 647658 WITH SCORE 648447.235
AT ITER 2958 NEW BEST:: SOT 4427563 SOS 789197 HAS SOPS 789197 HAS SOUS 647620 HAS SOUPS 647620 WITH SCORE 648409.197
AT ITER 2982 NEW BEST:: SOT 4427562 SOS 789195 HAS SOPS 789195 HAS SOUS 647618 HAS SOUPS 647618 WITH SCORE 648407.195
AT ITER 3011 NEW BEST:: SOT 4427487 SOS 789120 HAS SOPS 789120 HAS SOUS 647543 HAS SOUPS 647543 WITH SCORE 648332.12
AT ITER 3022 NEW BEST:: SOT 4427439 SOS 789024 HAS SOPS 789024 HAS SOUS 647447 HAS SOUPS 647447 WITH SCORE 648236.024
AT ITER 3036 NEW BEST:: SOT 4427384 SOS 788914 HAS SOPS 788914 HAS SOUS 647337 HAS SOUPS 647337 WITH SCORE 648125.914
AT ITER 3041 NEW BEST:: SOT 4427373 SOS 788892 HAS SOPS 788892 HAS SOUS 647315 HAS SOUPS 647315 WITH SCORE 648103.892
AT ITER 3045 NEW BEST:: SOT 4427371 SOS 788888 HAS SOPS 788888 HAS SOUS 647311 HAS SOUPS 647311 WITH SCORE 648099.888
AT ITER 3053 NEW BEST:: SOT 4427217 SOS 788580 HAS SOPS 788580 HAS SOUS 646852 HAS SOUPS 646852 WITH SCORE 647640.58
AT ITER 3070 NEW BEST:: SOT 4427205 SOS 788556 HAS SOPS 788556 HAS SOUS 646828 HAS SOUPS 646828 WITH SCORE 647616.556
AT ITER 3071 NEW BEST:: SOT 4427203 SOS 788552 HAS SOPS 788552 HAS SOUS 646817 HAS SOUPS 646817 WITH SCORE 647605.552
AT ITER 3080 NEW BEST:: SOT 4427118 SOS 788382 HAS SOPS 788382 HAS SOUS 646732 HAS SOUPS 646732 WITH SCORE 647520.382
AT ITER 3111 NEW BEST:: SOT 4426739 SOS 787871 HAS SOPS 787871 HAS SOUS 646195 HAS SOUPS 646195 WITH SCORE 646982.871
AT ITER 3139 NEW BEST:: SOT 4426593 SOS 787579 HAS SOPS 787579 HAS SOUS 645903 HAS SOUPS 645903 WITH SCORE 646690.579
AT ITER 3172 NEW BEST:: SOT 4426353 SOS 787099 HAS SOPS 787099 HAS SOUS 645794 HAS SOUPS 645794 WITH SCORE 646581.099
AT ITER 3197 NEW BEST:: SOT 4426306 SOS 787005 HAS SOPS 787005 HAS SOUS 645700 HAS SOUPS 645700 WITH SCORE 646487.005
AT ITER 3199 NEW BEST:: SOT 4426202 SOS 786797 HAS SOPS 786797 HAS SOUS 645596 HAS SOUPS 645596 WITH SCORE 646382.797
AT ITER 3212 NEW BEST:: SOT 4426190 SOS 786779 HAS SOPS 786779 HAS SOUS 645584 HAS SOUPS 645584 WITH SCORE 646370.779
AT ITER 3220 NEW BEST:: SOT 4426138 SOS 805179 HAS SOPS 805179 HAS SOUS 645532 HAS SOUPS 645532 WITH SCORE 646337.179
AT ITER 3226 NEW BEST:: SOT 4426118 SOS 805139 HAS SOPS 805139 HAS SOUS 645492 HAS SOUPS 645492 WITH SCORE 646297.139
AT ITER 3231 NEW BEST:: SOT 4426118 SOS 805139 HAS SOPS 805139 HAS SOUS 645438 HAS SOUPS 645438 WITH SCORE 646243.139
AT ITER 3242 NEW BEST:: SOT 4426067 SOS 805037 HAS SOPS 805037 HAS SOUS 645387 HAS SOUPS 645387 WITH SCORE 646192.037
AT ITER 3243 NEW BEST:: SOT 4425989 SOS 804785 HAS SOPS 804785 HAS SOUS 645213 HAS SOUPS 645213 WITH SCORE 646017.785
AT ITER 3253 NEW BEST:: SOT 4425895 SOS 804704 HAS SOPS 804704 HAS SOUS 645119 HAS SOUPS 645119 WITH SCORE 645923.704
AT ITER 3264 NEW BEST:: SOT 4425872 SOS 804681 HAS SOPS 804681 HAS SOUS 645073 HAS SOUPS 645073 WITH SCORE 645877.681
AT ITER 3291 NEW BEST:: SOT 4425676 SOS 804485 HAS SOPS 804485 HAS SOUS 644877 HAS SOUPS 644877 WITH SCORE 645681.485
AT ITER 3296 NEW BEST:: SOT 4425606 SOS 804485 HAS SOPS 804485 HAS SOUS 644807 HAS SOUPS 644807 WITH SCORE 645611.485
AT ITER 3328 NEW BEST:: SOT 4425434 SOS 784077 HAS SOPS 784077 HAS SOUS 644410 HAS SOUPS 644410 WITH SCORE 645194.077
AT ITER 3331 NEW BEST:: SOT 4425433 SOS 784075 HAS SOPS 784075 HAS SOUS 644408 HAS SOUPS 644408 WITH SCORE 645192.075
AT ITER 3359 NEW BEST:: SOT 4424950 SOS 783813 HAS SOPS 783813 HAS SOUS 644047 HAS SOUPS 644047 WITH SCORE 644830.813
AT ITER 3366 NEW BEST:: SOT 4425072 SOS 784057 HAS SOPS 784057 HAS SOUS 643983 HAS SOUPS 643983 WITH SCORE 644767.057
AT ITER 3392 NEW BEST:: SOT 4425017 SOS 784059 HAS SOPS 784059 HAS SOUS 643928 HAS SOUPS 643928 WITH SCORE 644712.059
AT ITER 3407 NEW BEST:: SOT 4425115 SOS 783811 HAS SOPS 783811 HAS SOUS 643907 HAS SOUPS 643907 WITH SCORE 644690.811
AT ITER 3424 NEW BEST:: SOT 4425044 SOS 783669 HAS SOPS 783669 HAS SOUS 643836 HAS SOUPS 643836 WITH SCORE 644619.669
AT ITER 3436 NEW BEST:: SOT 4425039 SOS 783694 HAS SOPS 783694 HAS SOUS 643831 HAS SOUPS 643831 WITH SCORE 644614.694
AT ITER 3497 NEW BEST:: SOT 4424918 SOS 783313 HAS SOPS 783313 HAS SOUS 643710 HAS SOUPS 643710 WITH SCORE 644493.313
AT ITER 3498 NEW BEST:: SOT 4424918 SOS 783313 HAS SOPS 783313 HAS SOUS 643709 HAS SOUPS 643709 WITH SCORE 644492.313
AT ITER 3502 NEW BEST:: SOT 4423915 SOS 782419 HAS SOPS 782419 HAS SOUS 642458 HAS SOUPS 642458 WITH SCORE 643240.419
AT ITER 3547 NEW BEST:: SOT 4423723 SOS 782663 HAS SOPS 782663 HAS SOUS 642300 HAS SOUPS 642300 WITH SCORE 643082.663
AT ITER 3557 NEW BEST:: SOT 4423706 SOS 782496 HAS SOPS 782496 HAS SOUS 642266 HAS SOUPS 642266 WITH SCORE 643048.496
AT ITER 3570 NEW BEST:: SOT 4423644 SOS 782496 HAS SOPS 782496 HAS SOUS 642191 HAS SOUPS 642191 WITH SCORE 642973.496
AT ITER 3586 NEW BEST:: SOT 4423374 SOS 782226 HAS SOPS 782226 HAS SOUS 641921 HAS SOUPS 641921 WITH SCORE 642703.226
AT ITER 3591 NEW BEST:: SOT 4423374 SOS 782136 HAS SOPS 782136 HAS SOUS 641831 HAS SOUPS 641831 WITH SCORE 642613.136
AT ITER 3601 NEW BEST:: SOT 4423368 SOS 782124 HAS SOPS 782124 HAS SOUS 641825 HAS SOUPS 641825 WITH SCORE 642607.124
AT ITER 3622 NEW BEST:: SOT 4423368 SOS 781793 HAS SOPS 781793 HAS SOUS 641825 HAS SOUPS 641825 WITH SCORE 642606.793
AT ITER 3642 NEW BEST:: SOT 4423185 SOS 781427 HAS SOPS 781427 HAS SOUS 641642 HAS SOUPS 641642 WITH SCORE 642423.427
AT ITER 3647 NEW BEST:: SOT 4423184 SOS 781425 HAS SOPS 781425 HAS SOUS 641640 HAS SOUPS 641640 WITH SCORE 642421.425
AT ITER 3661 NEW BEST:: SOT 4421632 SOS 780498 HAS SOPS 780498 HAS SOUS 640486 HAS SOUPS 640486 WITH SCORE 641266.498
AT ITER 3668 NEW BEST:: SOT 4421614 SOS 780462 HAS SOPS 780462 HAS SOUS 640478 HAS SOUPS 640478 WITH SCORE 641258.462
AT ITER 3683 NEW BEST:: SOT 4421614 SOS 780386 HAS SOPS 780386 HAS SOUS 640402 HAS SOUPS 640402 WITH SCORE 641182.386
AT ITER 3692 NEW BEST:: SOT 4421631 SOS 780177 HAS SOPS 780177 HAS SOUS 640201 HAS SOUPS 640201 WITH SCORE 640981.177
AT ITER 3704 NEW BEST:: SOT 4421603 SOS 780163 HAS SOPS 780163 HAS SOUS 640187 HAS SOUPS 640187 WITH SCORE 640967.163
AT ITER 3729 NEW BEST:: SOT 4421599 SOS 780155 HAS SOPS 780155 HAS SOUS 640183 HAS SOUPS 640183 WITH SCORE 640963.155
AT ITER 3750 NEW BEST:: SOT 4421492 SOS 779941 HAS SOPS 779941 HAS SOUS 639969 HAS SOUPS 639969 WITH SCORE 640748.941
AT ITER 3754 NEW BEST:: SOT 4420986 SOS 778929 HAS SOPS 778929 HAS SOUS 639210 HAS SOUPS 639210 WITH SCORE 639988.929
AT ITER 3765 NEW BEST:: SOT 4420948 SOS 778853 HAS SOPS 778853 HAS SOUS 639188 HAS SOUPS 639188 WITH SCORE 639966.853
AT ITER 3769 NEW BEST:: SOT 4420923 SOS 778803 HAS SOPS 778803 HAS SOUS 639138 HAS SOUPS 639138 WITH SCORE 639916.803
AT ITER 3779 NEW BEST:: SOT 4420923 SOS 778803 HAS SOPS 778803 HAS SOUS 639007 HAS SOUPS 639007 WITH SCORE 639785.803
AT ITER 3794 NEW BEST:: SOT 4420912 SOS 778792 HAS SOPS 778792 HAS SOUS 638985 HAS SOUPS 638985 WITH SCORE 639763.792
AT ITER 3807 NEW BEST:: SOT 4420830 SOS 778735 HAS SOPS 778735 HAS SOUS 638821 HAS SOUPS 638821 WITH SCORE 639599.735
AT ITER 3814 NEW BEST:: SOT 4420764 SOS 778511 HAS SOPS 778511 HAS SOUS 638755 HAS SOUPS 638755 WITH SCORE 639533.511
AT ITER 3869 NEW BEST:: SOT 4420750 SOS 778522 HAS SOPS 778522 HAS SOUS 638727 HAS SOUPS 638727 WITH SCORE 639505.522
AT ITER 3872 NEW BEST:: SOT 4420732 SOS 778486 HAS SOPS 778486 HAS SOUS 638691 HAS SOUPS 638691 WITH SCORE 639469.486
AT ITER 3876 NEW BEST:: SOT 4420712 SOS 778466 HAS SOPS 778466 HAS SOUS 638671 HAS SOUPS 638671 WITH SCORE 639449.466
AT ITER 3882 NEW BEST:: SOT 4420712 SOS 778466 HAS SOPS 778466 HAS SOUS 638669 HAS SOUPS 638669 WITH SCORE 639447.466
AT ITER 3883 NEW BEST:: SOT 4420723 SOS 778488 HAS SOPS 778488 HAS SOUS 638402 HAS SOUPS 638402 WITH SCORE 639180.488
AT ITER 3907 NEW BEST:: SOT 4420722 SOS 778486 HAS SOPS 778486 HAS SOUS 638400 HAS SOUPS 638400 WITH SCORE 639178.486
AT ITER 3920 NEW BEST:: SOT 4420581 SOS 778204 HAS SOPS 778204 HAS SOUS 638277 HAS SOUPS 638277 WITH SCORE 639055.204
AT ITER 3938 NEW BEST:: SOT 4420573 SOS 778188 HAS SOPS 778188 HAS SOUS 638269 HAS SOUPS 638269 WITH SCORE 639047.188
AT ITER 3959 NEW BEST:: SOT 4420255 SOS 777552 HAS SOPS 777552 HAS SOUS 637602 HAS SOUPS 637602 WITH SCORE 638379.552
AT ITER 3969 NEW BEST:: SOT 4420238 SOS 777518 HAS SOPS 777518 HAS SOUS 637568 HAS SOUPS 637568 WITH SCORE 638345.518
AT ITER 3999 NEW BEST:: SOT 4420243 SOS 777321 HAS SOPS 777321 HAS SOUS 637371 HAS SOUPS 637371 WITH SCORE 638148.321
AT ITER 4013 NEW BEST:: SOT 4420299 SOS 777063 HAS SOPS 777063 HAS SOUS 637113 HAS SOUPS 637113 WITH SCORE 637890.063
AT ITER 4019 NEW BEST:: SOT 4420299 SOS 777063 HAS SOPS 777063 HAS SOUS 637104 HAS SOUPS 637104 WITH SCORE 637881.063
AT ITER 4025 NEW BEST:: SOT 4420209 SOS 776973 HAS SOPS 776973 HAS SOUS 637103 HAS SOUPS 637103 WITH SCORE 637879.973
AT ITER 4078 NEW BEST:: SOT 4420168 SOS 776931 HAS SOPS 776931 HAS SOUS 637062 HAS SOUPS 637062 WITH SCORE 637838.931
AT ITER 4092 NEW BEST:: SOT 4420699 SOS 777191 HAS SOPS 777191 HAS SOUS 637043 HAS SOUPS 637043 WITH SCORE 637820.191
AT ITER 4120 NEW BEST:: SOT 4420699 SOS 777191 HAS SOPS 777191 HAS SOUS 636950 HAS SOUPS 636950 WITH SCORE 637727.191
AT ITER 4123 NEW BEST:: SOT 4420463 SOS 776719 HAS SOPS 776719 HAS SOUS 636478 HAS SOUPS 636478 WITH SCORE 637254.719
AT ITER 4140 NEW BEST:: SOT 4420385 SOS 776563 HAS SOPS 776563 HAS SOUS 636322 HAS SOUPS 636322 WITH SCORE 637098.563
AT ITER 4145 NEW BEST:: SOT 4420385 SOS 776290 HAS SOPS 776290 HAS SOUS 636049 HAS SOUPS 636049 WITH SCORE 636825.29
AT ITER 4153 NEW BEST:: SOT 4420330 SOS 776180 HAS SOPS 776180 HAS SOUS 635939 HAS SOUPS 635939 WITH SCORE 636715.18
AT ITER 4164 NEW BEST:: SOT 4420330 SOS 776180 HAS SOPS 776180 HAS SOUS 635831 HAS SOUPS 635831 WITH SCORE 636607.18
AT ITER 4220 NEW BEST:: SOT 4419904 SOS 776020 HAS SOPS 776020 HAS SOUS 635541 HAS SOUPS 635541 WITH SCORE 636317.02
AT ITER 4230 NEW BEST:: SOT 4419903 SOS 776018 HAS SOPS 776018 HAS SOUS 635539 HAS SOUPS 635539 WITH SCORE 636315.018
AT ITER 4244 NEW BEST:: SOT 4419875 SOS 775962 HAS SOPS 775962 HAS SOUS 635511 HAS SOUPS 635511 WITH SCORE 636286.962
AT ITER 4252 NEW BEST:: SOT 4419733 SOS 775891 HAS SOPS 775891 HAS SOUS 635440 HAS SOUPS 635440 WITH SCORE 636215.891
AT ITER 4264 NEW BEST:: SOT 4419664 SOS 775753 HAS SOPS 775753 HAS SOUS 635440 HAS SOUPS 635440 WITH SCORE 636215.753
AT ITER 4315 NEW BEST:: SOT 4419856 SOS 775727 HAS SOPS 775727 HAS SOUS 635427 HAS SOUPS 635427 WITH SCORE 636202.727
AT ITER 4367 NEW BEST:: SOT 4419855 SOS 775725 HAS SOPS 775725 HAS SOUS 635425 HAS SOUPS 635425 WITH SCORE 636200.725
AT ITER 4385 NEW BEST:: SOT 4419242 SOS 775011 HAS SOPS 775011 HAS SOUS 634915 HAS SOUPS 634915 WITH SCORE 635690.011
AT ITER 4398 NEW BEST:: SOT 4419224 SOS 774918 HAS SOPS 774918 HAS SOUS 634897 HAS SOUPS 634897 WITH SCORE 635671.918
AT ITER 4428 NEW BEST:: SOT 4418790 SOS 776874 HAS SOPS 776874 HAS SOUS 634566 HAS SOUPS 634566 WITH SCORE 635342.874
AT ITER 4432 NEW BEST:: SOT 4418662 SOS 776618 HAS SOPS 776618 HAS SOUS 634310 HAS SOUPS 634310 WITH SCORE 635086.618
AT ITER 4439 NEW BEST:: SOT 4418153 SOS 776038 HAS SOPS 776038 HAS SOUS 633730 HAS SOUPS 633730 WITH SCORE 634506.038
AT ITER 4447 NEW BEST:: SOT 4417963 SOS 775907 HAS SOPS 775907 HAS SOUS 633575 HAS SOUPS 633575 WITH SCORE 634350.907
AT ITER 4516 NEW BEST:: SOT 4417963 SOS 775850 HAS SOPS 775850 HAS SOUS 633575 HAS SOUPS 633575 WITH SCORE 634350.85
AT ITER 4522 NEW BEST:: SOT 4417616 SOS 775156 HAS SOPS 775156 HAS SOUS 632881 HAS SOUPS 632881 WITH SCORE 633656.156
AT ITER 4524 NEW BEST:: SOT 4417862 SOS 775020 HAS SOPS 775020 HAS SOUS 632813 HAS SOUPS 632813 WITH SCORE 633588.02
AT ITER 4535 NEW BEST:: SOT 4417609 SOS 774514 HAS SOPS 774514 HAS SOUS 632560 HAS SOUPS 632560 WITH SCORE 633334.514
AT ITER 4580 NEW BEST:: SOT 4417606 SOS 774498 HAS SOPS 774498 HAS SOUS 632547 HAS SOUPS 632547 WITH SCORE 633321.498
AT ITER 4584 NEW BEST:: SOT 4417599 SOS 774484 HAS SOPS 774484 HAS SOUS 632391 HAS SOUPS 632391 WITH SCORE 633165.484
AT ITER 4593 NEW BEST:: SOT 4417598 SOS 774463 HAS SOPS 774463 HAS SOUS 632388 HAS SOUPS 632388 WITH SCORE 633162.463
AT ITER 4601 NEW BEST:: SOT 4417598 SOS 774442 HAS SOPS 774442 HAS SOUS 632388 HAS SOUPS 632388 WITH SCORE 633162.442
AT ITER 4611 NEW BEST:: SOT 4417452 SOS 774330 HAS SOPS 774330 HAS SOUS 632276 HAS SOUPS 632276 WITH SCORE 633050.33
AT ITER 4612 NEW BEST:: SOT 4417426 SOS 774278 HAS SOPS 774278 HAS SOUS 632237 HAS SOUPS 632237 WITH SCORE 633011.278
AT ITER 4645 NEW BEST:: SOT 4417388 SOS 774164 HAS SOPS 774164 HAS SOUS 632123 HAS SOUPS 632123 WITH SCORE 632897.164
AT ITER 4651 NEW BEST:: SOT 4417388 SOS 774121 HAS SOPS 774121 HAS SOUS 632123 HAS SOUPS 632123 WITH SCORE 632897.121
AT ITER 4653 NEW BEST:: SOT 4417236 SOS 773817 HAS SOPS 773817 HAS SOUS 631983 HAS SOUPS 631983 WITH SCORE 632756.817
AT ITER 4664 NEW BEST:: SOT 4417332 SOS 773721 HAS SOPS 773721 HAS SOUS 631983 HAS SOUPS 631983 WITH SCORE 632756.721
AT ITER 4725 NEW BEST:: SOT 4417060 SOS 773449 HAS SOPS 773449 HAS SOUS 631711 HAS SOUPS 631711 WITH SCORE 632484.449
AT ITER 4745 NEW BEST:: SOT 4417051 SOS 773431 HAS SOPS 773431 HAS SOUS 631711 HAS SOUPS 631711 WITH SCORE 632484.431
AT ITER 4748 NEW BEST:: SOT 4416781 SOS 772891 HAS SOPS 772891 HAS SOUS 631171 HAS SOUPS 631171 WITH SCORE 631943.891
AT ITER 4797 NEW BEST:: SOT 4416617 SOS 772563 HAS SOPS 772563 HAS SOUS 630843 HAS SOUPS 630843 WITH SCORE 631615.563
AT ITER 4805 NEW BEST:: SOT 4416701 SOS 772418 HAS SOPS 772418 HAS SOUS 630614 HAS SOUPS 630614 WITH SCORE 631386.418
AT ITER 4807 NEW BEST:: SOT 4416678 SOS 772395 HAS SOPS 772395 HAS SOUS 630568 HAS SOUPS 630568 WITH SCORE 631340.395
AT ITER 4816 NEW BEST:: SOT 4416678 SOS 772359 HAS SOPS 772359 HAS SOUS 630568 HAS SOUPS 630568 WITH SCORE 631340.359
AT ITER 4817 NEW BEST:: SOT 4416330 SOS 772011 HAS SOPS 772011 HAS SOUS 630220 HAS SOUPS 630220 WITH SCORE 630992.011
AT ITER 4856 NEW BEST:: SOT 4416329 SOS 772009 HAS SOPS 772009 HAS SOUS 630218 HAS SOUPS 630218 WITH SCORE 630990.009
AT ITER 4859 NEW BEST:: SOT 4416328 SOS 771576 HAS SOPS 771576 HAS SOUS 630216 HAS SOUPS 630216 WITH SCORE 630987.576
AT ITER 4874 NEW BEST:: SOT 4415812 SOS 771060 HAS SOPS 771060 HAS SOUS 629442 HAS SOUPS 629442 WITH SCORE 630213.06
AT ITER 4888 NEW BEST:: SOT 4415812 SOS 771001 HAS SOPS 771001 HAS SOUS 629383 HAS SOUPS 629383 WITH SCORE 630154.001
AT ITER 4924 NEW BEST:: SOT 4415731 SOS 770758 HAS SOPS 770758 HAS SOUS 629221 HAS SOUPS 629221 WITH SCORE 629991.758
AT ITER 4933 NEW BEST:: SOT 4415525 SOS 770346 HAS SOPS 770346 HAS SOUS 629015 HAS SOUPS 629015 WITH SCORE 629785.346
AT ITER 4955 NEW BEST:: SOT 4415346 SOS 770346 HAS SOPS 770346 HAS SOUS 628836 HAS SOUPS 628836 WITH SCORE 629606.346
AT ITER 4959 NEW BEST:: SOT 4415254 SOS 770162 HAS SOPS 770162 HAS SOUS 628429 HAS SOUPS 628429 WITH SCORE 629199.162
AT ITER 4962 NEW BEST:: SOT 4415197 SOS 770048 HAS SOPS 770048 HAS SOUS 628315 HAS SOUPS 628315 WITH SCORE 629085.048
AT ITER 4968 NEW BEST:: SOT 4415197 SOS 769914 HAS SOPS 769914 HAS SOUS 628181 HAS SOUPS 628181 WITH SCORE 628950.914
AT ITER 5001 NEW BEST:: SOT 4415073 SOS 769790 HAS SOPS 769790 HAS SOUS 627933 HAS SOUPS 627933 WITH SCORE 628702.79
AT ITER 5003 NEW BEST:: SOT 4415073 SOS 769593 HAS SOPS 769593 HAS SOUS 627933 HAS SOUPS 627933 WITH SCORE 628702.593
AT ITER 5012 NEW BEST:: SOT 4415167 SOS 769483 HAS SOPS 769483 HAS SOUS 627922 HAS SOUPS 627922 WITH SCORE 628691.483
AT ITER 5030 NEW BEST:: SOT 4415077 SOS 769303 HAS SOPS 769303 HAS SOUS 627832 HAS SOUPS 627832 WITH SCORE 628601.303
AT ITER 5032 NEW BEST:: SOT 4415032 SOS 769213 HAS SOPS 769213 HAS SOUS 627787 HAS SOUPS 627787 WITH SCORE 628556.213
AT ITER 5042 NEW BEST:: SOT 4414950 SOS 769131 HAS SOPS 769131 HAS SOUS 627705 HAS SOUPS 627705 WITH SCORE 628474.131
AT ITER 5049 NEW BEST:: SOT 4414660 SOS 768794 HAS SOPS 768794 HAS SOUS 627228 HAS SOUPS 627228 WITH SCORE 627996.794
AT ITER 5058 NEW BEST:: SOT 4414574 SOS 768710 HAS SOPS 768710 HAS SOUS 627142 HAS SOUPS 627142 WITH SCORE 627910.71
AT ITER 5065 NEW BEST:: SOT 4414541 SOS 768644 HAS SOPS 768644 HAS SOUS 626964 HAS SOUPS 626964 WITH SCORE 627732.644
AT ITER 5080 NEW BEST:: SOT 4414512 SOS 768586 HAS SOPS 768586 HAS SOUS 626935 HAS SOUPS 626935 WITH SCORE 627703.586
AT ITER 5081 NEW BEST:: SOT 4414485 SOS 768532 HAS SOPS 768532 HAS SOUS 626904 HAS SOUPS 626904 WITH SCORE 627672.532
AT ITER 5086 NEW BEST:: SOT 4414471 SOS 768504 HAS SOPS 768504 HAS SOUS 626876 HAS SOUPS 626876 WITH SCORE 627644.504
AT ITER 5094 NEW BEST:: SOT 4414445 SOS 768452 HAS SOPS 768452 HAS SOUS 626784 HAS SOUPS 626784 WITH SCORE 627552.452
AT ITER 5102 NEW BEST:: SOT 4414208 SOS 768003 HAS SOPS 768003 HAS SOUS 626605 HAS SOUPS 626605 WITH SCORE 627373.003
AT ITER 5105 NEW BEST:: SOT 4414378 SOS 768275 HAS SOPS 768275 HAS SOUS 626549 HAS SOUPS 626549 WITH SCORE 627317.275
AT ITER 5109 NEW BEST:: SOT 4414378 SOS 768021 HAS SOPS 768021 HAS SOUS 626549 HAS SOUPS 626549 WITH SCORE 627317.021
AT ITER 5112 NEW BEST:: SOT 4414330 SOS 767925 HAS SOPS 767925 HAS SOUS 626453 HAS SOUPS 626453 WITH SCORE 627220.925
AT ITER 5114 NEW BEST:: SOT 4414330 SOS 767659 HAS SOPS 767659 HAS SOUS 626187 HAS SOUPS 626187 WITH SCORE 626954.659
AT ITER 5119 NEW BEST:: SOT 4414026 SOS 767487 HAS SOPS 767487 HAS SOUS 625928 HAS SOUPS 625928 WITH SCORE 626695.487
AT ITER 5134 NEW BEST:: SOT 4413978 SOS 768471 HAS SOPS 768471 HAS SOUS 625904 HAS SOUPS 625904 WITH SCORE 626672.471
AT ITER 5141 NEW BEST:: SOT 4413977 SOS 768469 HAS SOPS 768469 HAS SOUS 625902 HAS SOUPS 625902 WITH SCORE 626670.469
AT ITER 5186 NEW BEST:: SOT 4413977 SOS 768469 HAS SOPS 768469 HAS SOUS 625900 HAS SOUPS 625900 WITH SCORE 626668.469
AT ITER 5198 NEW BEST:: SOT 4414170 SOS 768317 HAS SOPS 768317 HAS SOUS 625748 HAS SOUPS 625748 WITH SCORE 626516.317
AT ITER 5203 NEW BEST:: SOT 4414087 SOS 768081 HAS SOPS 768081 HAS SOUS 625429 HAS SOUPS 625429 WITH SCORE 626197.081
AT ITER 5208 NEW BEST:: SOT 4414137 SOS 768181 HAS SOPS 768181 HAS SOUS 625331 HAS SOUPS 625331 WITH SCORE 626099.181
AT ITER 5213 NEW BEST:: SOT 4414137 SOS 768181 HAS SOPS 768181 HAS SOUS 625309 HAS SOUPS 625309 WITH SCORE 626077.181
AT ITER 5222 NEW BEST:: SOT 4414114 SOS 768135 HAS SOPS 768135 HAS SOUS 625286 HAS SOUPS 625286 WITH SCORE 626054.135
AT ITER 5226 NEW BEST:: SOT 4414114 SOS 768135 HAS SOPS 768135 HAS SOUS 625048 HAS SOUPS 625048 WITH SCORE 625816.135
AT ITER 5228 NEW BEST:: SOT 4414077 SOS 768061 HAS SOPS 768061 HAS SOUS 624974 HAS SOUPS 624974 WITH SCORE 625742.061
AT ITER 5258 NEW BEST:: SOT 4414033 SOS 767973 HAS SOPS 767973 HAS SOUS 624871 HAS SOUPS 624871 WITH SCORE 625638.973
AT ITER 5274 NEW BEST:: SOT 4414060 SOS 767689 HAS SOPS 767689 HAS SOUS 624600 HAS SOUPS 624600 WITH SCORE 625367.689
AT ITER 5323 NEW BEST:: SOT 4414060 SOS 767648 HAS SOPS 767648 HAS SOUS 624559 HAS SOUPS 624559 WITH SCORE 625326.648
AT ITER 5328 NEW BEST:: SOT 4414060 SOS 767443 HAS SOPS 767443 HAS SOUS 624559 HAS SOUPS 624559 WITH SCORE 625326.443
AT ITER 5339 NEW BEST:: SOT 4414009 SOS 767392 HAS SOPS 767392 HAS SOUS 624508 HAS SOUPS 624508 WITH SCORE 625275.392
AT ITER 5341 NEW BEST:: SOT 4414009 SOS 767358 HAS SOPS 767358 HAS SOUS 624474 HAS SOUPS 624474 WITH SCORE 625241.358
AT ITER 5345 NEW BEST:: SOT 4413804 SOS 766948 HAS SOPS 766948 HAS SOUS 624064 HAS SOUPS 624064 WITH SCORE 624830.948
AT ITER 5346 NEW BEST:: SOT 4413651 SOS 766438 HAS SOPS 766438 HAS SOUS 623758 HAS SOUPS 623758 WITH SCORE 624524.438
AT ITER 5369 NEW BEST:: SOT 4413650 SOS 766436 HAS SOPS 766436 HAS SOUS 623756 HAS SOUPS 623756 WITH SCORE 624522.436
AT ITER 5375 NEW BEST:: SOT 4413481 SOS 766098 HAS SOPS 766098 HAS SOUS 623587 HAS SOUPS 623587 WITH SCORE 624353.098
AT ITER 5376 NEW BEST:: SOT 4413220 SOS 765837 HAS SOPS 765837 HAS SOUS 623551 HAS SOUPS 623551 WITH SCORE 624316.837
AT ITER 5377 NEW BEST:: SOT 4413173 SOS 765743 HAS SOPS 765743 HAS SOUS 623507 HAS SOUPS 623507 WITH SCORE 624272.743
AT ITER 5421 NEW BEST:: SOT 4413390 SOS 765733 HAS SOPS 765733 HAS SOUS 623502 HAS SOUPS 623502 WITH SCORE 624267.733
AT ITER 5443 NEW BEST:: SOT 4413275 SOS 765701 HAS SOPS 765701 HAS SOUS 623387 HAS SOUPS 623387 WITH SCORE 624152.701
AT ITER 5461 NEW BEST:: SOT 4413598 SOS 765071 HAS SOPS 765071 HAS SOUS 623211 HAS SOUPS 623211 WITH SCORE 623976.071
AT ITER 5464 NEW BEST:: SOT 4413581 SOS 765037 HAS SOPS 765037 HAS SOUS 623194 HAS SOUPS 623194 WITH SCORE 623959.037
AT ITER 5479 NEW BEST:: SOT 4413785 SOS 765194 HAS SOPS 765194 HAS SOUS 623192 HAS SOUPS 623192 WITH SCORE 623957.194
AT ITER 5489 NEW BEST:: SOT 4413406 SOS 749395 HAS SOPS 749395 HAS SOUS 622434 HAS SOUPS 622434 WITH SCORE 623183.395
AT ITER 5507 NEW BEST:: SOT 4413331 SOS 749245 HAS SOPS 749245 HAS SOUS 622359 HAS SOUPS 622359 WITH SCORE 623108.245
AT ITER 5529 NEW BEST:: SOT 4413331 SOS 749207 HAS SOPS 749207 HAS SOUS 622357 HAS SOUPS 622357 WITH SCORE 623106.207
AT ITER 5583 NEW BEST:: SOT 4413312 SOS 749169 HAS SOPS 749169 HAS SOUS 622338 HAS SOUPS 622338 WITH SCORE 623087.169
AT ITER 5588 NEW BEST:: SOT 4413291 SOS 749127 HAS SOPS 749127 HAS SOUS 622296 HAS SOUPS 622296 WITH SCORE 623045.127
AT ITER 5599 NEW BEST:: SOT 4413291 SOS 749127 HAS SOPS 749127 HAS SOUS 622295 HAS SOUPS 622295 WITH SCORE 623044.127
AT ITER 5653 NEW BEST:: SOT 4413291 SOS 749127 HAS SOPS 749127 HAS SOUS 622233 HAS SOUPS 622233 WITH SCORE 622982.127
AT ITER 5656 NEW BEST:: SOT 4413291 SOS 749054 HAS SOPS 749054 HAS SOUS 622233 HAS SOUPS 622233 WITH SCORE 622982.054
AT ITER 5667 NEW BEST:: SOT 4413285 SOS 749001 HAS SOPS 749001 HAS SOUS 622186 HAS SOUPS 622186 WITH SCORE 622935.001
AT ITER 5703 NEW BEST:: SOT 4412500 SOS 748546 HAS SOPS 748546 HAS SOUS 621401 HAS SOUPS 621401 WITH SCORE 622149.546
AT ITER 5704 NEW BEST:: SOT 4412259 SOS 748022 HAS SOPS 748022 HAS SOUS 620943 HAS SOUPS 620943 WITH SCORE 621691.022
AT ITER 5709 NEW BEST:: SOT 4412188 SOS 747880 HAS SOPS 747880 HAS SOUS 620872 HAS SOUPS 620872 WITH SCORE 621619.88
AT ITER 5730 NEW BEST:: SOT 4412026 SOS 747556 HAS SOPS 747556 HAS SOUS 620548 HAS SOUPS 620548 WITH SCORE 621295.556
AT ITER 5766 NEW BEST:: SOT 4411923 SOS 747350 HAS SOPS 747350 HAS SOUS 620342 HAS SOUPS 620342 WITH SCORE 621089.35
AT ITER 5800 NEW BEST:: SOT 4411861 SOS 747226 HAS SOPS 747226 HAS SOUS 620260 HAS SOUPS 620260 WITH SCORE 621007.226
AT ITER 5812 NEW BEST:: SOT 4411700 SOS 746904 HAS SOPS 746904 HAS SOUS 619938 HAS SOUPS 619938 WITH SCORE 620684.904
AT ITER 5822 NEW BEST:: SOT 4411342 SOS 746546 HAS SOPS 746546 HAS SOUS 619580 HAS SOUPS 619580 WITH SCORE 620326.546
AT ITER 5825 NEW BEST:: SOT 4411048 SOS 745958 HAS SOPS 745958 HAS SOUS 619284 HAS SOUPS 619284 WITH SCORE 620029.958
AT ITER 5832 NEW BEST:: SOT 4411048 SOS 745958 HAS SOPS 745958 HAS SOUS 619280 HAS SOUPS 619280 WITH SCORE 620025.958
AT ITER 5841 NEW BEST:: SOT 4410917 SOS 745796 HAS SOPS 745796 HAS SOUS 619099 HAS SOUPS 619099 WITH SCORE 619844.796
AT ITER 5859 NEW BEST:: SOT 4410888 SOS 745498 HAS SOPS 745498 HAS SOUS 618813 HAS SOUPS 618813 WITH SCORE 619558.498
AT ITER 5897 NEW BEST:: SOT 4410675 SOS 744829 HAS SOPS 744829 HAS SOUS 618316 HAS SOUPS 618316 WITH SCORE 619060.829
AT ITER 5899 NEW BEST:: SOT 4409693 SOS 744395 HAS SOPS 744395 HAS SOUS 617404 HAS SOUPS 617404 WITH SCORE 618148.395
AT ITER 5914 NEW BEST:: SOT 4409603 SOS 744310 HAS SOPS 744310 HAS SOUS 617317 HAS SOUPS 617317 WITH SCORE 618061.31
AT ITER 5952 NEW BEST:: SOT 4409603 SOS 744226 HAS SOPS 744226 HAS SOUS 617233 HAS SOUPS 617233 WITH SCORE 617977.226
AT ITER 5963 NEW BEST:: SOT 4409530 SOS 744224 HAS SOPS 744224 HAS SOUS 617159 HAS SOUPS 617159 WITH SCORE 617903.224
AT ITER 5974 NEW BEST:: SOT 4409517 SOS 744198 HAS SOPS 744198 HAS SOUS 617146 HAS SOUPS 617146 WITH SCORE 617890.198
AT ITER 5988 NEW BEST:: SOT 4409432 SOS 744028 HAS SOPS 744028 HAS SOUS 616976 HAS SOUPS 616976 WITH SCORE 617720.028
AT ITER 5990 NEW BEST:: SOT 4409432 SOS 743979 HAS SOPS 743979 HAS SOUS 616976 HAS SOUPS 616976 WITH SCORE 617719.979
AT ITER 5991 NEW BEST:: SOT 4409112 SOS 743339 HAS SOPS 743339 HAS SOUS 616336 HAS SOUPS 616336 WITH SCORE 617079.339
AT ITER 6013 NEW BEST:: SOT 4409111 SOS 743304 HAS SOPS 743304 HAS SOUS 616313 HAS SOUPS 616313 WITH SCORE 617056.304
AT ITER 6054 NEW BEST:: SOT 4409177 SOS 743116 HAS SOPS 743116 HAS SOUS 616299 HAS SOUPS 616299 WITH SCORE 617042.116
AT ITER 6080 NEW BEST:: SOT 4409095 SOS 742858 HAS SOPS 742858 HAS SOUS 616135 HAS SOUPS 616135 WITH SCORE 616877.858
AT ITER 6173 NEW BEST:: SOT 4409582 SOS 742774 HAS SOPS 742774 HAS SOUS 616128 HAS SOUPS 616128 WITH SCORE 616870.774
AT ITER 6176 NEW BEST:: SOT 4409419 SOS 741862 HAS SOPS 741862 HAS SOUS 615491 HAS SOUPS 615491 WITH SCORE 616232.862
AT ITER 6180 NEW BEST:: SOT 4409326 SOS 741676 HAS SOPS 741676 HAS SOUS 615395 HAS SOUPS 615395 WITH SCORE 616136.676
AT ITER 6182 NEW BEST:: SOT 4409037 SOS 742184 HAS SOPS 742184 HAS SOUS 615294 HAS SOUPS 615294 WITH SCORE 616036.184
AT ITER 6188 NEW BEST:: SOT 4408542 SOS 741854 HAS SOPS 741854 HAS SOUS 614799 HAS SOUPS 614799 WITH SCORE 615540.854
AT ITER 6218 NEW BEST:: SOT 4408046 SOS 741482 HAS SOPS 741482 HAS SOUS 614427 HAS SOUPS 614427 WITH SCORE 615168.482
AT ITER 6237 NEW BEST:: SOT 4407936 SOS 741262 HAS SOPS 741262 HAS SOUS 614207 HAS SOUPS 614207 WITH SCORE 614948.262
AT ITER 6241 NEW BEST:: SOT 4407798 SOS 741278 HAS SOPS 741278 HAS SOUS 614075 HAS SOUPS 614075 WITH SCORE 614816.278
AT ITER 6277 NEW BEST:: SOT 4407797 SOS 741276 HAS SOPS 741276 HAS SOUS 614074 HAS SOUPS 614074 WITH SCORE 614815.276
AT ITER 6294 NEW BEST:: SOT 4407864 SOS 741410 HAS SOPS 741410 HAS SOUS 613999 HAS SOUPS 613999 WITH SCORE 614740.41
AT ITER 6300 NEW BEST:: SOT 4407898 SOS 741478 HAS SOPS 741478 HAS SOUS 613996 HAS SOUPS 613996 WITH SCORE 614737.478
AT ITER 6308 NEW BEST:: SOT 4407895 SOS 741472 HAS SOPS 741472 HAS SOUS 613990 HAS SOUPS 613990 WITH SCORE 614731.472
AT ITER 6344 NEW BEST:: SOT 4407708 SOS 741098 HAS SOPS 741098 HAS SOUS 613851 HAS SOUPS 613851 WITH SCORE 614592.098
AT ITER 6411 NEW BEST:: SOT 4407708 SOS 741090 HAS SOPS 741090 HAS SOUS 613851 HAS SOUPS 613851 WITH SCORE 614592.09
AT ITER 6418 NEW BEST:: SOT 4407619 SOS 741025 HAS SOPS 741025 HAS SOUS 613762 HAS SOUPS 613762 WITH SCORE 614503.025
AT ITER 6429 NEW BEST:: SOT 4407563 SOS 740913 HAS SOPS 740913 HAS SOUS 613650 HAS SOUPS 613650 WITH SCORE 614390.913
AT ITER 6440 NEW BEST:: SOT 4407635 SOS 740634 HAS SOPS 740634 HAS SOUS 613442 HAS SOUPS 613442 WITH SCORE 614182.634
AT ITER 6444 NEW BEST:: SOT 4407281 SOS 739356 HAS SOPS 739356 HAS SOUS 613303 HAS SOUPS 613303 WITH SCORE 614042.356
AT ITER 6459 NEW BEST:: SOT 4407280 SOS 739386 HAS SOPS 739386 HAS SOUS 613302 HAS SOUPS 613302 WITH SCORE 614041.386
AT ITER 6460 NEW BEST:: SOT 4407062 SOS 739059 HAS SOPS 739059 HAS SOUS 612975 HAS SOUPS 612975 WITH SCORE 613714.059
AT ITER 6482 NEW BEST:: SOT 4406978 SOS 738891 HAS SOPS 738891 HAS SOUS 612807 HAS SOUPS 612807 WITH SCORE 613545.891
AT ITER 6486 NEW BEST:: SOT 4406930 SOS 738795 HAS SOPS 738795 HAS SOUS 612711 HAS SOUPS 612711 WITH SCORE 613449.795
AT ITER 6497 NEW BEST:: SOT 4406905 SOS 738745 HAS SOPS 738745 HAS SOUS 612661 HAS SOUPS 612661 WITH SCORE 613399.745
AT ITER 6502 NEW BEST:: SOT 4406898 SOS 738749 HAS SOPS 738749 HAS SOUS 612651 HAS SOUPS 612651 WITH SCORE 613389.749
AT ITER 6519 NEW BEST:: SOT 4406880 SOS 738713 HAS SOPS 738713 HAS SOUS 612547 HAS SOUPS 612547 WITH SCORE 613285.713
AT ITER 6540 NEW BEST:: SOT 4406775 SOS 738586 HAS SOPS 738586 HAS SOUS 612359 HAS SOUPS 612359 WITH SCORE 613097.586
AT ITER 6562 NEW BEST:: SOT 4406754 SOS 738565 HAS SOPS 738565 HAS SOUS 612317 HAS SOUPS 612317 WITH SCORE 613055.565
AT ITER 6582 NEW BEST:: SOT 4406543 SOS 738522 HAS SOPS 738522 HAS SOUS 612106 HAS SOUPS 612106 WITH SCORE 612844.522
AT ITER 6601 NEW BEST:: SOT 4406527 SOS 738490 HAS SOPS 738490 HAS SOUS 612074 HAS SOUPS 612074 WITH SCORE 612812.49
AT ITER 6619 NEW BEST:: SOT 4406523 SOS 738482 HAS SOPS 738482 HAS SOUS 612070 HAS SOUPS 612070 WITH SCORE 612808.482
AT ITER 6634 NEW BEST:: SOT 4406523 SOS 738346 HAS SOPS 738346 HAS SOUS 612070 HAS SOUPS 612070 WITH SCORE 612808.346
AT ITER 6694 NEW BEST:: SOT 4406381 SOS 738204 HAS SOPS 738204 HAS SOUS 611928 HAS SOUPS 611928 WITH SCORE 612666.204
AT ITER 6695 NEW BEST:: SOT 4404141 SOS 747822 HAS SOPS 747822 HAS SOUS 610760 HAS SOUPS 610760 WITH SCORE 611507.822
AT ITER 6709 NEW BEST:: SOT 4404141 SOS 747805 HAS SOPS 747805 HAS SOUS 610743 HAS SOUPS 610743 WITH SCORE 611490.805
AT ITER 6730 NEW BEST:: SOT 4404119 SOS 747783 HAS SOPS 747783 HAS SOUS 610743 HAS SOUPS 610743 WITH SCORE 611490.783
AT ITER 6734 NEW BEST:: SOT 4403929 SOS 747403 HAS SOPS 747403 HAS SOUS 610363 HAS SOUPS 610363 WITH SCORE 611110.403
AT ITER 6739 NEW BEST:: SOT 4403617 SOS 746779 HAS SOPS 746779 HAS SOUS 609878 HAS SOUPS 609878 WITH SCORE 610624.779
AT ITER 6784 NEW BEST:: SOT 4403587 SOS 746719 HAS SOPS 746719 HAS SOUS 609848 HAS SOUPS 609848 WITH SCORE 610594.719
AT ITER 6830 NEW BEST:: SOT 4403442 SOS 746270 HAS SOPS 746270 HAS SOUS 609544 HAS SOUPS 609544 WITH SCORE 610290.27
AT ITER 6865 NEW BEST:: SOT 4403434 SOS 746254 HAS SOPS 746254 HAS SOUS 609528 HAS SOUPS 609528 WITH SCORE 610274.254
AT ITER 6871 NEW BEST:: SOT 4403433 SOS 746252 HAS SOPS 746252 HAS SOUS 609526 HAS SOUPS 609526 WITH SCORE 610272.252
AT ITER 6880 NEW BEST:: SOT 4403306 SOS 745998 HAS SOPS 745998 HAS SOUS 609272 HAS SOUPS 609272 WITH SCORE 610017.998
AT ITER 6889 NEW BEST:: SOT 4403306 SOS 745749 HAS SOPS 745749 HAS SOUS 609272 HAS SOUPS 609272 WITH SCORE 610017.749
AT ITER 6941 NEW BEST:: SOT 4403219 SOS 745575 HAS SOPS 745575 HAS SOUS 609185 HAS SOUPS 609185 WITH SCORE 609930.575
AT ITER 6955 NEW BEST:: SOT 4403181 SOS 745499 HAS SOPS 745499 HAS SOUS 609109 HAS SOUPS 609109 WITH SCORE 609854.499
AT ITER 7007 NEW BEST:: SOT 4402894 SOS 744925 HAS SOPS 744925 HAS SOUS 608535 HAS SOUPS 608535 WITH SCORE 609279.925
AT ITER 7022 NEW BEST:: SOT 4402760 SOS 744905 HAS SOPS 744905 HAS SOUS 608420 HAS SOUPS 608420 WITH SCORE 609164.905
AT ITER 7044 NEW BEST:: SOT 4402884 SOS 744763 HAS SOPS 744763 HAS SOUS 608408 HAS SOUPS 608408 WITH SCORE 609152.763
AT ITER 7057 NEW BEST:: SOT 4402772 SOS 744539 HAS SOPS 744539 HAS SOUS 608184 HAS SOUPS 608184 WITH SCORE 608928.539
AT ITER 7062 NEW BEST:: SOT 4402529 SOS 744296 HAS SOPS 744296 HAS SOUS 607977 HAS SOUPS 607977 WITH SCORE 608721.296
AT ITER 7065 NEW BEST:: SOT 4402506 SOS 744273 HAS SOPS 744273 HAS SOUS 607954 HAS SOUPS 607954 WITH SCORE 608698.273
AT ITER 7068 NEW BEST:: SOT 4402366 SOS 743993 HAS SOPS 743993 HAS SOUS 607814 HAS SOUPS 607814 WITH SCORE 608557.993
AT ITER 7140 NEW BEST:: SOT 4402366 SOS 743827 HAS SOPS 743827 HAS SOUS 607814 HAS SOUPS 607814 WITH SCORE 608557.827
AT ITER 7150 NEW BEST:: SOT 4402366 SOS 743744 HAS SOPS 743744 HAS SOUS 607731 HAS SOUPS 607731 WITH SCORE 608474.744
AT ITER 7151 NEW BEST:: SOT 4402296 SOS 743604 HAS SOPS 743604 HAS SOUS 607591 HAS SOUPS 607591 WITH SCORE 608334.604
AT ITER 7183 NEW BEST:: SOT 4402260 SOS 743532 HAS SOPS 743532 HAS SOUS 607519 HAS SOUPS 607519 WITH SCORE 608262.532
AT ITER 7194 NEW BEST:: SOT 4402203 SOS 743418 HAS SOPS 743418 HAS SOUS 607405 HAS SOUPS 607405 WITH SCORE 608148.418
AT ITER 7207 NEW BEST:: SOT 4402091 SOS 742775 HAS SOPS 742775 HAS SOUS 606945 HAS SOUPS 606945 WITH SCORE 607687.775
AT ITER 7244 NEW BEST:: SOT 4402161 SOS 742915 HAS SOPS 742915 HAS SOUS 606887 HAS SOUPS 606887 WITH SCORE 607629.915
AT ITER 7245 NEW BEST:: SOT 4402484 SOS 734423 HAS SOPS 734423 HAS SOUS 606781 HAS SOUPS 606781 WITH SCORE 607515.423
AT ITER 7276 NEW BEST:: SOT 4402451 SOS 734747 HAS SOPS 734747 HAS SOUS 606750 HAS SOUPS 606750 WITH SCORE 607484.747
AT ITER 7295 NEW BEST:: SOT 4402542 SOS 734485 HAS SOPS 734485 HAS SOUS 606709 HAS SOUPS 606709 WITH SCORE 607443.485
AT ITER 7298 NEW BEST:: SOT 4402542 SOS 734485 HAS SOPS 734485 HAS SOUS 606699 HAS SOUPS 606699 WITH SCORE 607433.485
AT ITER 7329 NEW BEST:: SOT 4402494 SOS 734389 HAS SOPS 734389 HAS SOUS 606603 HAS SOUPS 606603 WITH SCORE 607337.389
AT ITER 7346 NEW BEST:: SOT 4402420 SOS 734241 HAS SOPS 734241 HAS SOUS 606455 HAS SOUPS 606455 WITH SCORE 607189.241
AT ITER 7351 NEW BEST:: SOT 4402317 SOS 734035 HAS SOPS 734035 HAS SOUS 606249 HAS SOUPS 606249 WITH SCORE 606983.035
AT ITER 7356 NEW BEST:: SOT 4402133 SOS 733667 HAS SOPS 733667 HAS SOUS 606019 HAS SOUPS 606019 WITH SCORE 606752.667
AT ITER 7364 NEW BEST:: SOT 4402074 SOS 733608 HAS SOPS 733608 HAS SOUS 605960 HAS SOUPS 605960 WITH SCORE 606693.608
AT ITER 7366 NEW BEST:: SOT 4402074 SOS 733576 HAS SOPS 733576 HAS SOUS 605928 HAS SOUPS 605928 WITH SCORE 606661.576
AT ITER 7369 NEW BEST:: SOT 4401958 SOS 733344 HAS SOPS 733344 HAS SOUS 605910 HAS SOUPS 605910 WITH SCORE 606643.344
AT ITER 7375 NEW BEST:: SOT 4401692 SOS 733150 HAS SOPS 733150 HAS SOUS 605690 HAS SOUPS 605690 WITH SCORE 606423.15
AT ITER 7385 NEW BEST:: SOT 4401691 SOS 733148 HAS SOPS 733148 HAS SOUS 605688 HAS SOUPS 605688 WITH SCORE 606421.148
AT ITER 7394 NEW BEST:: SOT 4401396 SOS 732836 HAS SOPS 732836 HAS SOUS 605254 HAS SOUPS 605254 WITH SCORE 605986.836
AT ITER 7400 NEW BEST:: SOT 4401383 SOS 732810 HAS SOPS 732810 HAS SOUS 605240 HAS SOUPS 605240 WITH SCORE 605972.81
AT ITER 7410 NEW BEST:: SOT 4401287 SOS 732746 HAS SOPS 732746 HAS SOUS 605176 HAS SOUPS 605176 WITH SCORE 605908.746
AT ITER 7416 NEW BEST:: SOT 4401221 SOS 732680 HAS SOPS 732680 HAS SOUS 605110 HAS SOUPS 605110 WITH SCORE 605842.68
AT ITER 7420 NEW BEST:: SOT 4401228 SOS 732584 HAS SOPS 732584 HAS SOUS 605007 HAS SOUPS 605007 WITH SCORE 605739.584
AT ITER 7425 NEW BEST:: SOT 4401228 SOS 732421 HAS SOPS 732421 HAS SOUS 604844 HAS SOUPS 604844 WITH SCORE 605576.421
AT ITER 7482 NEW BEST:: SOT 4401030 SOS 732025 HAS SOPS 732025 HAS SOUS 604646 HAS SOUPS 604646 WITH SCORE 605378.025
AT ITER 7489 NEW BEST:: SOT 4401006 SOS 731977 HAS SOPS 731977 HAS SOUS 604598 HAS SOUPS 604598 WITH SCORE 605329.977
AT ITER 7535 NEW BEST:: SOT 4400924 SOS 731813 HAS SOPS 731813 HAS SOUS 604434 HAS SOUPS 604434 WITH SCORE 605165.813
AT ITER 7547 NEW BEST:: SOT 4400923 SOS 731791 HAS SOPS 731791 HAS SOUS 604411 HAS SOUPS 604411 WITH SCORE 605142.791
AT ITER 7555 NEW BEST:: SOT 4400670 SOS 731645 HAS SOPS 731645 HAS SOUS 604196 HAS SOUPS 604196 WITH SCORE 604927.645
AT ITER 7593 NEW BEST:: SOT 4400489 SOS 731283 HAS SOPS 731283 HAS SOUS 603834 HAS SOUPS 603834 WITH SCORE 604565.283
AT ITER 7599 NEW BEST:: SOT 4400480 SOS 731265 HAS SOPS 731265 HAS SOUS 603816 HAS SOUPS 603816 WITH SCORE 604547.265
AT ITER 7602 NEW BEST:: SOT 4400281 SOS 731492 HAS SOPS 731492 HAS SOUS 603617 HAS SOUPS 603617 WITH SCORE 604348.492
AT ITER 7611 NEW BEST:: SOT 4400255 SOS 731440 HAS SOPS 731440 HAS SOUS 603565 HAS SOUPS 603565 WITH SCORE 604296.44
AT ITER 7627 NEW BEST:: SOT 4400255 SOS 731243 HAS SOPS 731243 HAS SOUS 603565 HAS SOUPS 603565 WITH SCORE 604296.243
AT ITER 7634 NEW BEST:: SOT 4400139 SOS 731011 HAS SOPS 731011 HAS SOUS 603333 HAS SOUPS 603333 WITH SCORE 604064.011
AT ITER 7660 NEW BEST:: SOT 4400103 SOS 730975 HAS SOPS 730975 HAS SOUS 603279 HAS SOUPS 603279 WITH SCORE 604009.975
AT ITER 7667 NEW BEST:: SOT 4400003 SOS 731062 HAS SOPS 731062 HAS SOUS 603132 HAS SOUPS 603132 WITH SCORE 603863.062
AT ITER 7708 NEW BEST:: SOT 4400002 SOS 731123 HAS SOPS 731123 HAS SOUS 603130 HAS SOUPS 603130 WITH SCORE 603861.123
AT ITER 7727 NEW BEST:: SOT 4399994 SOS 731107 HAS SOPS 731107 HAS SOUS 603122 HAS SOUPS 603122 WITH SCORE 603853.107
AT ITER 7732 NEW BEST:: SOT 4399989 SOS 731097 HAS SOPS 731097 HAS SOUS 603112 HAS SOUPS 603112 WITH SCORE 603843.097
AT ITER 7750 NEW BEST:: SOT 4399912 SOS 730943 HAS SOPS 730943 HAS SOUS 602958 HAS SOUPS 602958 WITH SCORE 603688.943
AT ITER 7760 NEW BEST:: SOT 4399777 SOS 731061 HAS SOPS 731061 HAS SOUS 602909 HAS SOUPS 602909 WITH SCORE 603640.061
AT ITER 7776 NEW BEST:: SOT 4399808 SOS 731091 HAS SOPS 731091 HAS SOUS 602907 HAS SOUPS 602907 WITH SCORE 603638.091
AT ITER 7816 NEW BEST:: SOT 4399812 SOS 730980 HAS SOPS 730980 HAS SOUS 602796 HAS SOUPS 602796 WITH SCORE 603526.98
AT ITER 7839 NEW BEST:: SOT 4399811 SOS 731152 HAS SOPS 731152 HAS SOUS 602795 HAS SOUPS 602795 WITH SCORE 603526.152
AT ITER 7855 NEW BEST:: SOT 4399754 SOS 731038 HAS SOPS 731038 HAS SOUS 602681 HAS SOUPS 602681 WITH SCORE 603412.038
AT ITER 7871 NEW BEST:: SOT 4399623 SOS 730776 HAS SOPS 730776 HAS SOUS 602550 HAS SOUPS 602550 WITH SCORE 603280.776
AT ITER 7878 NEW BEST:: SOT 4399570 SOS 730670 HAS SOPS 730670 HAS SOUS 602475 HAS SOUPS 602475 WITH SCORE 603205.67
AT ITER 7916 NEW BEST:: SOT 4398722 SOS 731256 HAS SOPS 731256 HAS SOUS 602270 HAS SOUPS 602270 WITH SCORE 603001.256
AT ITER 7945 NEW BEST:: SOT 4398501 SOS 730732 HAS SOPS 730732 HAS SOUS 601824 HAS SOUPS 601824 WITH SCORE 602554.732
AT ITER 8020 NEW BEST:: SOT 4398501 SOS 730514 HAS SOPS 730514 HAS SOUS 601824 HAS SOUPS 601824 WITH SCORE 602554.514
AT ITER 8048 NEW BEST:: SOT 4398501 SOS 730514 HAS SOPS 730514 HAS SOUS 601755 HAS SOUPS 601755 WITH SCORE 602485.514
AT ITER 8072 NEW BEST:: SOT 4398499 SOS 730510 HAS SOPS 730510 HAS SOUS 601753 HAS SOUPS 601753 WITH SCORE 602483.51
AT ITER 8081 NEW BEST:: SOT 4398468 SOS 730132 HAS SOPS 730132 HAS SOUS 601691 HAS SOUPS 601691 WITH SCORE 602421.132
AT ITER 8118 NEW BEST:: SOT 4398344 SOS 729884 HAS SOPS 729884 HAS SOUS 601443 HAS SOUPS 601443 WITH SCORE 602172.884
AT ITER 8141 NEW BEST:: SOT 4398344 SOS 729884 HAS SOPS 729884 HAS SOUS 601334 HAS SOUPS 601334 WITH SCORE 602063.884
AT ITER 8241 NEW BEST:: SOT 4398237 SOS 729670 HAS SOPS 729670 HAS SOUS 600995 HAS SOUPS 600995 WITH SCORE 601724.67
AT ITER 8266 NEW BEST:: SOT 4398236 SOS 729668 HAS SOPS 729668 HAS SOUS 600993 HAS SOUPS 600993 WITH SCORE 601722.668
AT ITER 8316 NEW BEST:: SOT 4397947 SOS 728773 HAS SOPS 728773 HAS SOUS 600415 HAS SOUPS 600415 WITH SCORE 601143.773
AT ITER 8357 NEW BEST:: SOT 4397947 SOS 728711 HAS SOPS 728711 HAS SOUS 600415 HAS SOUPS 600415 WITH SCORE 601143.711
AT ITER 8364 NEW BEST:: SOT 4397673 SOS 728163 HAS SOPS 728163 HAS SOUS 600206 HAS SOUPS 600206 WITH SCORE 600934.163
AT ITER 8373 NEW BEST:: SOT 4397645 SOS 728043 HAS SOPS 728043 HAS SOUS 600146 HAS SOUPS 600146 WITH SCORE 600874.043
AT ITER 8377 NEW BEST:: SOT 4397612 SOS 727977 HAS SOPS 727977 HAS SOUS 600080 HAS SOUPS 600080 WITH SCORE 600807.977
AT ITER 8383 NEW BEST:: SOT 4397208 SOS 727169 HAS SOPS 727169 HAS SOUS 599272 HAS SOUPS 599272 WITH SCORE 599999.169
AT ITER 8387 NEW BEST:: SOT 4396780 SOS 726519 HAS SOPS 726519 HAS SOUS 598763 HAS SOUPS 598763 WITH SCORE 599489.519
AT ITER 8413 NEW BEST:: SOT 4396701 SOS 726361 HAS SOPS 726361 HAS SOUS 598605 HAS SOUPS 598605 WITH SCORE 599331.361
AT ITER 8428 NEW BEST:: SOT 4396829 SOS 726617 HAS SOPS 726617 HAS SOUS 598458 HAS SOUPS 598458 WITH SCORE 599184.617
AT ITER 8445 NEW BEST:: SOT 4396764 SOS 726487 HAS SOPS 726487 HAS SOUS 598328 HAS SOUPS 598328 WITH SCORE 599054.487
AT ITER 8468 NEW BEST:: SOT 4396603 SOS 725974 HAS SOPS 725974 HAS SOUS 598006 HAS SOUPS 598006 WITH SCORE 598731.974
AT ITER 8521 NEW BEST:: SOT 4396697 SOS 726036 HAS SOPS 726036 HAS SOUS 597974 HAS SOUPS 597974 WITH SCORE 598700.036
AT ITER 8565 NEW BEST:: SOT 4396683 SOS 726022 HAS SOPS 726022 HAS SOUS 597960 HAS SOUPS 597960 WITH SCORE 598686.022
AT ITER 8643 NEW BEST:: SOT 4396599 SOS 725730 HAS SOPS 725730 HAS SOUS 597876 HAS SOUPS 597876 WITH SCORE 598601.73
AT ITER 8644 NEW BEST:: SOT 4396691 SOS 725914 HAS SOPS 725914 HAS SOUS 597866 HAS SOUPS 597866 WITH SCORE 598591.914
AT ITER 8649 NEW BEST:: SOT 4396634 SOS 725800 HAS SOPS 725800 HAS SOUS 597752 HAS SOUPS 597752 WITH SCORE 598477.8
AT ITER 8659 NEW BEST:: SOT 4396409 SOS 725620 HAS SOPS 725620 HAS SOUS 597685 HAS SOUPS 597685 WITH SCORE 598410.62
AT ITER 8670 NEW BEST:: SOT 4396425 SOS 725537 HAS SOPS 725537 HAS SOUS 597602 HAS SOUPS 597602 WITH SCORE 598327.537
AT ITER 8689 NEW BEST:: SOT 4396418 SOS 725523 HAS SOPS 725523 HAS SOUS 597588 HAS SOUPS 597588 WITH SCORE 598313.523
AT ITER 8698 NEW BEST:: SOT 4396610 SOS 725907 HAS SOPS 725907 HAS SOUS 597539 HAS SOUPS 597539 WITH SCORE 598264.907
AT ITER 8741 NEW BEST:: SOT 4396589 SOS 725929 HAS SOPS 725929 HAS SOUS 597530 HAS SOUPS 597530 WITH SCORE 598255.929
AT ITER 8760 NEW BEST:: SOT 4396490 SOS 725768 HAS SOPS 725768 HAS SOUS 597369 HAS SOUPS 597369 WITH SCORE 598094.768
AT ITER 8790 NEW BEST:: SOT 4396490 SOS 725656 HAS SOPS 725656 HAS SOUS 597369 HAS SOUPS 597369 WITH SCORE 598094.656
AT ITER 8821 NEW BEST:: SOT 4396483 SOS 725649 HAS SOPS 725649 HAS SOUS 597362 HAS SOUPS 597362 WITH SCORE 598087.649
AT ITER 8827 NEW BEST:: SOT 4396455 SOS 725621 HAS SOPS 725621 HAS SOUS 597334 HAS SOUPS 597334 WITH SCORE 598059.621
AT ITER 8840 NEW BEST:: SOT 4396541 SOS 725793 HAS SOPS 725793 HAS SOUS 597218 HAS SOUPS 597218 WITH SCORE 597943.793
AT ITER 8890 NEW BEST:: SOT 4396577 SOS 725718 HAS SOPS 725718 HAS SOUS 597128 HAS SOUPS 597128 WITH SCORE 597853.718
AT ITER 8902 NEW BEST:: SOT 4396093 SOS 724750 HAS SOPS 724750 HAS SOUS 596402 HAS SOUPS 596402 WITH SCORE 597126.75
AT ITER 8968 NEW BEST:: SOT 4396020 SOS 724604 HAS SOPS 724604 HAS SOUS 596326 HAS SOUPS 596326 WITH SCORE 597050.604
AT ITER 9026 NEW BEST:: SOT 4396018 SOS 724600 HAS SOPS 724600 HAS SOUS 596324 HAS SOUPS 596324 WITH SCORE 597048.6
AT ITER 9032 NEW BEST:: SOT 4395928 SOS 724510 HAS SOPS 724510 HAS SOUS 596234 HAS SOUPS 596234 WITH SCORE 596958.51
AT ITER 9062 NEW BEST:: SOT 4395941 SOS 724536 HAS SOPS 724536 HAS SOUS 596226 HAS SOUPS 596226 WITH SCORE 596950.536
AT ITER 9070 NEW BEST:: SOT 4395940 SOS 724534 HAS SOPS 724534 HAS SOUS 596225 HAS SOUPS 596225 WITH SCORE 596949.534
AT ITER 9081 NEW BEST:: SOT 4395939 SOS 724219 HAS SOPS 724219 HAS SOUS 596223 HAS SOUPS 596223 WITH SCORE 596947.219
AT ITER 9093 NEW BEST:: SOT 4395939 SOS 724027 HAS SOPS 724027 HAS SOUS 596031 HAS SOUPS 596031 WITH SCORE 596755.027
AT ITER 9096 NEW BEST:: SOT 4396033 SOS 723641 HAS SOPS 723641 HAS SOUS 595932 HAS SOUPS 595932 WITH SCORE 596655.641
AT ITER 9097 NEW BEST:: SOT 4395777 SOS 723129 HAS SOPS 723129 HAS SOUS 595882 HAS SOUPS 595882 WITH SCORE 596605.129
AT ITER 9099 NEW BEST:: SOT 4395777 SOS 723059 HAS SOPS 723059 HAS SOUS 595882 HAS SOUPS 595882 WITH SCORE 596605.059
AT ITER 9107 NEW BEST:: SOT 4395776 SOS 723057 HAS SOPS 723057 HAS SOUS 595880 HAS SOUPS 595880 WITH SCORE 596603.057
AT ITER 9135 NEW BEST:: SOT 4395748 SOS 723043 HAS SOPS 723043 HAS SOUS 595866 HAS SOUPS 595866 WITH SCORE 596589.043
AT ITER 9197 NEW BEST:: SOT 4395535 SOS 722617 HAS SOPS 722617 HAS SOUS 595373 HAS SOUPS 595373 WITH SCORE 596095.617
AT ITER 9231 NEW BEST:: SOT 4395434 SOS 722516 HAS SOPS 722516 HAS SOUS 595272 HAS SOUPS 595272 WITH SCORE 595994.516
AT ITER 9299 NEW BEST:: SOT 4395301 SOS 722393 HAS SOPS 722393 HAS SOUS 595175 HAS SOUPS 595175 WITH SCORE 595897.393
AT ITER 9302 NEW BEST:: SOT 4395164 SOS 722119 HAS SOPS 722119 HAS SOUS 594860 HAS SOUPS 594860 WITH SCORE 595582.119
AT ITER 9307 NEW BEST:: SOT 4395004 SOS 722115 HAS SOPS 722115 HAS SOUS 594722 HAS SOUPS 594722 WITH SCORE 595444.115
AT ITER 9349 NEW BEST:: SOT 4394911 SOS 721929 HAS SOPS 721929 HAS SOUS 594629 HAS SOUPS 594629 WITH SCORE 595350.929
AT ITER 9366 NEW BEST:: SOT 4394801 SOS 721880 HAS SOPS 721880 HAS SOUS 594519 HAS SOUPS 594519 WITH SCORE 595240.88
AT ITER 9393 NEW BEST:: SOT 4394801 SOS 721880 HAS SOPS 721880 HAS SOUS 594495 HAS SOUPS 594495 WITH SCORE 595216.88
AT ITER 9438 NEW BEST:: SOT 4394755 SOS 721788 HAS SOPS 721788 HAS SOUS 594493 HAS SOUPS 594493 WITH SCORE 595214.788
AT ITER 9441 NEW BEST:: SOT 4394562 SOS 721614 HAS SOPS 721614 HAS SOUS 594319 HAS SOUPS 594319 WITH SCORE 595040.614
AT ITER 9448 NEW BEST:: SOT 4394550 SOS 721602 HAS SOPS 721602 HAS SOUS 594307 HAS SOUPS 594307 WITH SCORE 595028.602
AT ITER 9455 NEW BEST:: SOT 4394550 SOS 721562 HAS SOPS 721562 HAS SOUS 594283 HAS SOUPS 594283 WITH SCORE 595004.562
AT ITER 9520 NEW BEST:: SOT 4394546 SOS 721554 HAS SOPS 721554 HAS SOUS 594275 HAS SOUPS 594275 WITH SCORE 594996.554
AT ITER 9605 NEW BEST:: SOT 4394504 SOS 721443 HAS SOPS 721443 HAS SOUS 594233 HAS SOUPS 594233 WITH SCORE 594954.443
AT ITER 9620 NEW BEST:: SOT 4394504 SOS 721443 HAS SOPS 721443 HAS SOUS 594211 HAS SOUPS 594211 WITH SCORE 594932.443
AT ITER 9622 NEW BEST:: SOT 4394503 SOS 721183 HAS SOPS 721183 HAS SOUS 594209 HAS SOUPS 594209 WITH SCORE 594930.183
AT ITER 9624 NEW BEST:: SOT 4394503 SOS 721172 HAS SOPS 721172 HAS SOUS 594198 HAS SOUPS 594198 WITH SCORE 594919.172
AT ITER 9628 NEW BEST:: SOT 4394503 SOS 720906 HAS SOPS 720906 HAS SOUS 594198 HAS SOUPS 594198 WITH SCORE 594918.906
AT ITER 9643 NEW BEST:: SOT 4394282 SOS 720740 HAS SOPS 720740 HAS SOUS 594032 HAS SOUPS 594032 WITH SCORE 594752.74
AT ITER 9650 NEW BEST:: SOT 4394429 SOS 720593 HAS SOPS 720593 HAS SOUS 594031 HAS SOUPS 594031 WITH SCORE 594751.593
AT ITER 9681 NEW BEST:: SOT 4394411 SOS 720557 HAS SOPS 720557 HAS SOUS 593995 HAS SOUPS 593995 WITH SCORE 594715.557
AT ITER 9690 NEW BEST:: SOT 4394373 SOS 720481 HAS SOPS 720481 HAS SOUS 593957 HAS SOUPS 593957 WITH SCORE 594677.481
AT ITER 9700 NEW BEST:: SOT 4394406 SOS 720477 HAS SOPS 720477 HAS SOUS 593955 HAS SOUPS 593955 WITH SCORE 594675.477
AT ITER 9718 NEW BEST:: SOT 4394406 SOS 720315 HAS SOPS 720315 HAS SOUS 593798 HAS SOUPS 593798 WITH SCORE 594518.315
AT ITER 9733 NEW BEST:: SOT 4394406 SOS 720315 HAS SOPS 720315 HAS SOUS 593731 HAS SOUPS 593731 WITH SCORE 594451.315
AT ITER 9745 NEW BEST:: SOT 4394345 SOS 720193 HAS SOPS 720193 HAS SOUS 593609 HAS SOUPS 593609 WITH SCORE 594329.193
AT ITER 9767 NEW BEST:: SOT 4394345 SOS 719948 HAS SOPS 719948 HAS SOUS 593609 HAS SOUPS 593609 WITH SCORE 594328.948
AT ITER 9772 NEW BEST:: SOT 4394216 SOS 719690 HAS SOPS 719690 HAS SOUS 593549 HAS SOUPS 593549 WITH SCORE 594268.69
AT ITER 9842 NEW BEST:: SOT 4394159 SOS 719576 HAS SOPS 719576 HAS SOUS 593435 HAS SOUPS 593435 WITH SCORE 594154.576
AT ITER 9868 NEW BEST:: SOT 4394098 SOS 719454 HAS SOPS 719454 HAS SOUS 593416 HAS SOUPS 593416 WITH SCORE 594135.454
AT ITER 9900 NEW BEST:: SOT 4394098 SOS 719230 HAS SOPS 719230 HAS SOUS 593304 HAS SOUPS 593304 WITH SCORE 594023.23
AT ITER 9912 NEW BEST:: SOT 4394144 SOS 719169 HAS SOPS 719169 HAS SOUS 593237 HAS SOUPS 593237 WITH SCORE 593956.169
AT ITER 9915 NEW BEST:: SOT 4393895 SOS 718671 HAS SOPS 718671 HAS SOUS 592949 HAS SOUPS 592949 WITH SCORE 593667.671
AT ITER 9920 NEW BEST:: SOT 4393588 SOS 718749 HAS SOPS 718749 HAS SOUS 592642 HAS SOUPS 592642 WITH SCORE 593360.749
AT ITER 9929 NEW BEST:: SOT 4393579 SOS 718731 HAS SOPS 718731 HAS SOUS 592624 HAS SOUPS 592624 WITH SCORE 593342.731
AT ITER 9939 NEW BEST:: SOT 4393474 SOS 718521 HAS SOPS 718521 HAS SOUS 592414 HAS SOUPS 592414 WITH SCORE 593132.521
AT ITER 9965 NEW BEST:: SOT 4393268 SOS 718109 HAS SOPS 718109 HAS SOUS 592002 HAS SOUPS 592002 WITH SCORE 592720.109
AT ITER 9970 NEW BEST:: SOT 4393556 SOS 717477 HAS SOPS 717477 HAS SOUS 591998 HAS SOUPS 591998 WITH SCORE 592715.477
AT ITER 9975 NEW BEST:: SOT 4393362 SOS 717973 HAS SOPS 717973 HAS SOUS 591983 HAS SOUPS 591983 WITH SCORE 592700.973
AT ITER 9986 NEW BEST:: SOT 4393178 SOS 717605 HAS SOPS 717605 HAS SOUS 591615 HAS SOUPS 591615 WITH SCORE 592332.605
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12263080 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154668 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="CloudReconfiguration-PT-320"
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 CloudReconfiguration-PT-320, 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 r099-tall-167814472000160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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