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-167814472000088.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-311, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.2K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 1678222492137

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-311
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 311
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4449288 SOS 709644 HAS SOPS 709644 HAS SOUS 687805 HAS SOUPS 687805 WITH SCORE 688514.644
AT ITER 3 NEW BEST:: SOT 4449139 SOS 709495 HAS SOPS 709495 HAS SOUS 687656 HAS SOUPS 687656 WITH SCORE 688365.495
AT ITER 11 NEW BEST:: SOT 4449079 SOS 709493 HAS SOPS 709493 HAS SOUS 687654 HAS SOUPS 687654 WITH SCORE 688363.493
AT ITER 28 NEW BEST:: SOT 4448870 SOS 709075 HAS SOPS 709075 HAS SOUS 687236 HAS SOUPS 687236 WITH SCORE 687945.075
AT ITER 95 NEW BEST:: SOT 4448783 SOS 708901 HAS SOPS 708901 HAS SOUS 686955 HAS SOUPS 686955 WITH SCORE 687663.901
AT ITER 125 NEW BEST:: SOT 4448790 SOS 708915 HAS SOPS 708915 HAS SOUS 686638 HAS SOUPS 686638 WITH SCORE 687346.915
AT ITER 150 NEW BEST:: SOT 4448790 SOS 708736 HAS SOPS 708736 HAS SOUS 686459 HAS SOUPS 686459 WITH SCORE 687167.736
AT ITER 183 NEW BEST:: SOT 4448754 SOS 708664 HAS SOPS 708664 HAS SOUS 686387 HAS SOUPS 686387 WITH SCORE 687095.664
AT ITER 199 NEW BEST:: SOT 4448811 SOS 708284 HAS SOPS 708284 HAS SOUS 686197 HAS SOUPS 686197 WITH SCORE 686905.284
AT ITER 220 NEW BEST:: SOT 4448614 SOS 707890 HAS SOPS 707890 HAS SOUS 685803 HAS SOUPS 685803 WITH SCORE 686510.89
AT ITER 227 NEW BEST:: SOT 4448293 SOS 707736 HAS SOPS 707736 HAS SOUS 685649 HAS SOUPS 685649 WITH SCORE 686356.736
AT ITER 252 NEW BEST:: SOT 4448301 SOS 707752 HAS SOPS 707752 HAS SOUS 685443 HAS SOUPS 685443 WITH SCORE 686150.752
AT ITER 272 NEW BEST:: SOT 4448102 SOS 707354 HAS SOPS 707354 HAS SOUS 684863 HAS SOUPS 684863 WITH SCORE 685570.354
AT ITER 309 NEW BEST:: SOT 4447862 SOS 706874 HAS SOPS 706874 HAS SOUS 684383 HAS SOUPS 684383 WITH SCORE 685089.874
AT ITER 318 NEW BEST:: SOT 4447763 SOS 706795 HAS SOPS 706795 HAS SOUS 684304 HAS SOUPS 684304 WITH SCORE 685010.795
AT ITER 343 NEW BEST:: SOT 4447670 SOS 706701 HAS SOPS 706701 HAS SOUS 684210 HAS SOUPS 684210 WITH SCORE 684916.701
AT ITER 368 NEW BEST:: SOT 4447606 SOS 706573 HAS SOPS 706573 HAS SOUS 683862 HAS SOUPS 683862 WITH SCORE 684568.573
AT ITER 385 NEW BEST:: SOT 4447605 SOS 706571 HAS SOPS 706571 HAS SOUS 683860 HAS SOUPS 683860 WITH SCORE 684566.571
AT ITER 396 NEW BEST:: SOT 4447427 SOS 706393 HAS SOPS 706393 HAS SOUS 683682 HAS SOUPS 683682 WITH SCORE 684388.393
AT ITER 405 NEW BEST:: SOT 4447467 SOS 706330 HAS SOPS 706330 HAS SOUS 683579 HAS SOUPS 683579 WITH SCORE 684285.33
AT ITER 439 NEW BEST:: SOT 4447345 SOS 706086 HAS SOPS 706086 HAS SOUS 683335 HAS SOUPS 683335 WITH SCORE 684041.086
AT ITER 441 NEW BEST:: SOT 4447108 SOS 705876 HAS SOPS 705876 HAS SOUS 683112 HAS SOUPS 683112 WITH SCORE 683817.876
AT ITER 443 NEW BEST:: SOT 4447077 SOS 705814 HAS SOPS 705814 HAS SOUS 682944 HAS SOUPS 682944 WITH SCORE 683649.814
AT ITER 451 NEW BEST:: SOT 4446973 SOS 705606 HAS SOPS 705606 HAS SOUS 682736 HAS SOUPS 682736 WITH SCORE 683441.606
AT ITER 453 NEW BEST:: SOT 4446209 SOS 704981 HAS SOPS 704981 HAS SOUS 682101 HAS SOUPS 682101 WITH SCORE 682805.981
AT ITER 491 NEW BEST:: SOT 4445824 SOS 705267 HAS SOPS 705267 HAS SOUS 681980 HAS SOUPS 681980 WITH SCORE 682685.267
AT ITER 535 NEW BEST:: SOT 4445518 SOS 704655 HAS SOPS 704655 HAS SOUS 681368 HAS SOUPS 681368 WITH SCORE 682072.655
AT ITER 550 NEW BEST:: SOT 4445517 SOS 704653 HAS SOPS 704653 HAS SOUS 681366 HAS SOUPS 681366 WITH SCORE 682070.653
AT ITER 603 NEW BEST:: SOT 4445361 SOS 704605 HAS SOPS 704605 HAS SOUS 681260 HAS SOUPS 681260 WITH SCORE 681964.605
AT ITER 618 NEW BEST:: SOT 4445240 SOS 704214 HAS SOPS 704214 HAS SOUS 680990 HAS SOUPS 680990 WITH SCORE 681694.214
AT ITER 627 NEW BEST:: SOT 4445075 SOS 703884 HAS SOPS 703884 HAS SOUS 680660 HAS SOUPS 680660 WITH SCORE 681363.884
AT ITER 630 NEW BEST:: SOT 4444863 SOS 704268 HAS SOPS 704268 HAS SOUS 680650 HAS SOUPS 680650 WITH SCORE 681354.268
AT ITER 633 NEW BEST:: SOT 4444850 SOS 703905 HAS SOPS 703905 HAS SOUS 680077 HAS SOUPS 680077 WITH SCORE 680780.905
AT ITER 646 NEW BEST:: SOT 4444581 SOS 703366 HAS SOPS 703366 HAS SOUS 679538 HAS SOUPS 679538 WITH SCORE 680241.366
AT ITER 677 NEW BEST:: SOT 4444335 SOS 702874 HAS SOPS 702874 HAS SOUS 679046 HAS SOUPS 679046 WITH SCORE 679748.874
AT ITER 687 NEW BEST:: SOT 4444064 SOS 702672 HAS SOPS 702672 HAS SOUS 678809 HAS SOUPS 678809 WITH SCORE 679511.672
AT ITER 692 NEW BEST:: SOT 4444074 SOS 702571 HAS SOPS 702571 HAS SOUS 678708 HAS SOUPS 678708 WITH SCORE 679410.571
AT ITER 718 NEW BEST:: SOT 4443902 SOS 702227 HAS SOPS 702227 HAS SOUS 678364 HAS SOUPS 678364 WITH SCORE 679066.227
AT ITER 777 NEW BEST:: SOT 4443821 SOS 702065 HAS SOPS 702065 HAS SOUS 678202 HAS SOUPS 678202 WITH SCORE 678904.065
AT ITER 836 NEW BEST:: SOT 4443796 SOS 702015 HAS SOPS 702015 HAS SOUS 678152 HAS SOUPS 678152 WITH SCORE 678854.015
AT ITER 852 NEW BEST:: SOT 4443572 SOS 702001 HAS SOPS 702001 HAS SOUS 678035 HAS SOUPS 678035 WITH SCORE 678737.001
AT ITER 893 NEW BEST:: SOT 4443429 SOS 701869 HAS SOPS 701869 HAS SOUS 677892 HAS SOUPS 677892 WITH SCORE 678593.869
AT ITER 919 NEW BEST:: SOT 4443415 SOS 701881 HAS SOPS 701881 HAS SOUS 677878 HAS SOUPS 677878 WITH SCORE 678579.881
AT ITER 925 NEW BEST:: SOT 4443379 SOS 701857 HAS SOPS 701857 HAS SOUS 677842 HAS SOUPS 677842 WITH SCORE 678543.857
AT ITER 949 NEW BEST:: SOT 4443015 SOS 701493 HAS SOPS 701493 HAS SOUS 677478 HAS SOUPS 677478 WITH SCORE 678179.493
AT ITER 958 NEW BEST:: SOT 4443087 SOS 701435 HAS SOPS 701435 HAS SOUS 677420 HAS SOUPS 677420 WITH SCORE 678121.435
AT ITER 962 NEW BEST:: SOT 4443087 SOS 701435 HAS SOPS 701435 HAS SOUS 677400 HAS SOUPS 677400 WITH SCORE 678101.435
AT ITER 970 NEW BEST:: SOT 4443169 SOS 701170 HAS SOPS 701170 HAS SOUS 677135 HAS SOUPS 677135 WITH SCORE 677836.17
AT ITER 989 NEW BEST:: SOT 4443169 SOS 701048 HAS SOPS 701048 HAS SOUS 677013 HAS SOUPS 677013 WITH SCORE 677714.048
AT ITER 1021 NEW BEST:: SOT 4443169 SOS 701047 HAS SOPS 701047 HAS SOUS 677012 HAS SOUPS 677012 WITH SCORE 677713.047
AT ITER 1043 NEW BEST:: SOT 4442960 SOS 700629 HAS SOPS 700629 HAS SOUS 676594 HAS SOUPS 676594 WITH SCORE 677294.629
AT ITER 1059 NEW BEST:: SOT 4442960 SOS 700545 HAS SOPS 700545 HAS SOUS 676538 HAS SOUPS 676538 WITH SCORE 677238.545
AT ITER 1086 NEW BEST:: SOT 4442874 SOS 700373 HAS SOPS 700373 HAS SOUS 676366 HAS SOUPS 676366 WITH SCORE 677066.373
AT ITER 1094 NEW BEST:: SOT 4442699 SOS 700216 HAS SOPS 700216 HAS SOUS 676209 HAS SOUPS 676209 WITH SCORE 676909.216
AT ITER 1120 NEW BEST:: SOT 4442496 SOS 700082 HAS SOPS 700082 HAS SOUS 676007 HAS SOUPS 676007 WITH SCORE 676707.082
AT ITER 1166 NEW BEST:: SOT 4442495 SOS 700080 HAS SOPS 700080 HAS SOUS 676005 HAS SOUPS 676005 WITH SCORE 676705.08
AT ITER 1206 NEW BEST:: SOT 4442327 SOS 700180 HAS SOPS 700180 HAS SOUS 675924 HAS SOUPS 675924 WITH SCORE 676624.18
AT ITER 1224 NEW BEST:: SOT 4442258 SOS 700192 HAS SOPS 700192 HAS SOUS 675895 HAS SOUPS 675895 WITH SCORE 676595.192
AT ITER 1244 NEW BEST:: SOT 4442226 SOS 700128 HAS SOPS 700128 HAS SOUS 675831 HAS SOUPS 675831 WITH SCORE 676531.128
AT ITER 1247 NEW BEST:: SOT 4442173 SOS 700022 HAS SOPS 700022 HAS SOUS 675702 HAS SOUPS 675702 WITH SCORE 676402.022
AT ITER 1266 NEW BEST:: SOT 4442172 SOS 700020 HAS SOPS 700020 HAS SOUS 675701 HAS SOUPS 675701 WITH SCORE 676401.02
AT ITER 1280 NEW BEST:: SOT 4442166 SOS 700008 HAS SOPS 700008 HAS SOUS 675689 HAS SOUPS 675689 WITH SCORE 676389.008
AT ITER 1303 NEW BEST:: SOT 4442049 SOS 699774 HAS SOPS 699774 HAS SOUS 675455 HAS SOUPS 675455 WITH SCORE 676154.774
AT ITER 1307 NEW BEST:: SOT 4442041 SOS 699782 HAS SOPS 699782 HAS SOUS 675446 HAS SOUPS 675446 WITH SCORE 676145.782
AT ITER 1343 NEW BEST:: SOT 4441850 SOS 699400 HAS SOPS 699400 HAS SOUS 675064 HAS SOUPS 675064 WITH SCORE 675763.4
AT ITER 1360 NEW BEST:: SOT 4441786 SOS 699272 HAS SOPS 699272 HAS SOUS 674936 HAS SOUPS 674936 WITH SCORE 675635.272
AT ITER 1369 NEW BEST:: SOT 4441742 SOS 699264 HAS SOPS 699264 HAS SOUS 674891 HAS SOUPS 674891 WITH SCORE 675590.264
AT ITER 1370 NEW BEST:: SOT 4441570 SOS 699119 HAS SOPS 699119 HAS SOUS 674728 HAS SOUPS 674728 WITH SCORE 675427.119
AT ITER 1371 NEW BEST:: SOT 4441537 SOS 699277 HAS SOPS 699277 HAS SOUS 674727 HAS SOUPS 674727 WITH SCORE 675426.277
AT ITER 1374 NEW BEST:: SOT 4441575 SOS 699971 HAS SOPS 699971 HAS SOUS 674681 HAS SOUPS 674681 WITH SCORE 675380.971
AT ITER 1387 NEW BEST:: SOT 4441716 SOS 699882 HAS SOPS 699882 HAS SOUS 674592 HAS SOUPS 674592 WITH SCORE 675291.882
AT ITER 1391 NEW BEST:: SOT 4441414 SOS 699278 HAS SOPS 699278 HAS SOUS 673988 HAS SOUPS 673988 WITH SCORE 674687.278
AT ITER 1407 NEW BEST:: SOT 4441405 SOS 699260 HAS SOPS 699260 HAS SOUS 673970 HAS SOUPS 673970 WITH SCORE 674669.26
AT ITER 1410 NEW BEST:: SOT 4440954 SOS 699883 HAS SOPS 699883 HAS SOUS 673813 HAS SOUPS 673813 WITH SCORE 674512.883
AT ITER 1436 NEW BEST:: SOT 4440864 SOS 699703 HAS SOPS 699703 HAS SOUS 673633 HAS SOUPS 673633 WITH SCORE 674332.703
AT ITER 1483 NEW BEST:: SOT 4440829 SOS 699633 HAS SOPS 699633 HAS SOUS 673563 HAS SOUPS 673563 WITH SCORE 674262.633
AT ITER 1491 NEW BEST:: SOT 4440829 SOS 699632 HAS SOPS 699632 HAS SOUS 673561 HAS SOUPS 673561 WITH SCORE 674260.632
AT ITER 1503 NEW BEST:: SOT 4440829 SOS 699632 HAS SOPS 699632 HAS SOUS 673326 HAS SOUPS 673326 WITH SCORE 674025.632
AT ITER 1515 NEW BEST:: SOT 4440828 SOS 699630 HAS SOPS 699630 HAS SOUS 673324 HAS SOUPS 673324 WITH SCORE 674023.63
AT ITER 1544 NEW BEST:: SOT 4440828 SOS 699630 HAS SOPS 699630 HAS SOUS 673323 HAS SOUPS 673323 WITH SCORE 674022.63
AT ITER 1554 NEW BEST:: SOT 4440698 SOS 699370 HAS SOPS 699370 HAS SOUS 673063 HAS SOUPS 673063 WITH SCORE 673762.37
AT ITER 1572 NEW BEST:: SOT 4440544 SOS 700080 HAS SOPS 700080 HAS SOUS 672955 HAS SOUPS 672955 WITH SCORE 673655.08
AT ITER 1591 NEW BEST:: SOT 4440319 SOS 699630 HAS SOPS 699630 HAS SOUS 672544 HAS SOUPS 672544 WITH SCORE 673243.63
AT ITER 1597 NEW BEST:: SOT 4440232 SOS 699806 HAS SOPS 699806 HAS SOUS 672433 HAS SOUPS 672433 WITH SCORE 673132.806
AT ITER 1628 NEW BEST:: SOT 4440119 SOS 699580 HAS SOPS 699580 HAS SOUS 672207 HAS SOUPS 672207 WITH SCORE 672906.58
AT ITER 1642 NEW BEST:: SOT 4439897 SOS 699277 HAS SOPS 699277 HAS SOUS 671844 HAS SOUPS 671844 WITH SCORE 672543.277
AT ITER 1669 NEW BEST:: SOT 4439897 SOS 699090 HAS SOPS 699090 HAS SOUS 671354 HAS SOUPS 671354 WITH SCORE 672053.09
AT ITER 1714 NEW BEST:: SOT 4439826 SOS 698948 HAS SOPS 698948 HAS SOUS 671212 HAS SOUPS 671212 WITH SCORE 671910.948
AT ITER 1761 NEW BEST:: SOT 4439592 SOS 698480 HAS SOPS 698480 HAS SOUS 670744 HAS SOUPS 670744 WITH SCORE 671442.48
AT ITER 1782 NEW BEST:: SOT 4439387 SOS 698484 HAS SOPS 698484 HAS SOUS 670537 HAS SOUPS 670537 WITH SCORE 671235.484
AT ITER 1793 NEW BEST:: SOT 4439367 SOS 698444 HAS SOPS 698444 HAS SOUS 670497 HAS SOUPS 670497 WITH SCORE 671195.444
AT ITER 1800 NEW BEST:: SOT 4439289 SOS 698365 HAS SOPS 698365 HAS SOUS 670418 HAS SOUPS 670418 WITH SCORE 671116.365
AT ITER 1814 NEW BEST:: SOT 4439237 SOS 698313 HAS SOPS 698313 HAS SOUS 670366 HAS SOUPS 670366 WITH SCORE 671064.313
AT ITER 1838 NEW BEST:: SOT 4439189 SOS 698217 HAS SOPS 698217 HAS SOUS 670270 HAS SOUPS 670270 WITH SCORE 670968.217
AT ITER 1858 NEW BEST:: SOT 4439189 SOS 698118 HAS SOPS 698118 HAS SOUS 670171 HAS SOUPS 670171 WITH SCORE 670869.118
AT ITER 1896 NEW BEST:: SOT 4439119 SOS 697908 HAS SOPS 697908 HAS SOUS 670031 HAS SOUPS 670031 WITH SCORE 670728.908
AT ITER 1897 NEW BEST:: SOT 4439030 SOS 697730 HAS SOPS 697730 HAS SOUS 669942 HAS SOUPS 669942 WITH SCORE 670639.73
AT ITER 1956 NEW BEST:: SOT 4438803 SOS 697276 HAS SOPS 697276 HAS SOUS 669488 HAS SOUPS 669488 WITH SCORE 670185.276
AT ITER 1975 NEW BEST:: SOT 4438691 SOS 697716 HAS SOPS 697716 HAS SOUS 669476 HAS SOUPS 669476 WITH SCORE 670173.716
AT ITER 1976 NEW BEST:: SOT 4438524 SOS 697382 HAS SOPS 697382 HAS SOUS 668957 HAS SOUPS 668957 WITH SCORE 669654.382
AT ITER 1996 NEW BEST:: SOT 4438394 SOS 697122 HAS SOPS 697122 HAS SOUS 668697 HAS SOUPS 668697 WITH SCORE 669394.122
AT ITER 2017 NEW BEST:: SOT 4438297 SOS 697044 HAS SOPS 697044 HAS SOUS 668619 HAS SOUPS 668619 WITH SCORE 669316.044
AT ITER 2018 NEW BEST:: SOT 4438427 SOS 697304 HAS SOPS 697304 HAS SOUS 668427 HAS SOUPS 668427 WITH SCORE 669124.304
AT ITER 2050 NEW BEST:: SOT 4438349 SOS 697340 HAS SOPS 697340 HAS SOUS 668349 HAS SOUPS 668349 WITH SCORE 669046.34
AT ITER 2053 NEW BEST:: SOT 4438303 SOS 697121 HAS SOPS 697121 HAS SOUS 668176 HAS SOUPS 668176 WITH SCORE 668873.121
AT ITER 2065 NEW BEST:: SOT 4438254 SOS 697133 HAS SOPS 697133 HAS SOUS 668066 HAS SOUPS 668066 WITH SCORE 668763.133
AT ITER 2107 NEW BEST:: SOT 4437731 SOS 696843 HAS SOPS 696843 HAS SOUS 667625 HAS SOUPS 667625 WITH SCORE 668321.843
AT ITER 2108 NEW BEST:: SOT 4437603 SOS 696733 HAS SOPS 696733 HAS SOUS 667515 HAS SOUPS 667515 WITH SCORE 668211.733
AT ITER 2119 NEW BEST:: SOT 4437602 SOS 696731 HAS SOPS 696731 HAS SOUS 667513 HAS SOUPS 667513 WITH SCORE 668209.731
AT ITER 2123 NEW BEST:: SOT 4437585 SOS 696697 HAS SOPS 696697 HAS SOUS 667479 HAS SOUPS 667479 WITH SCORE 668175.697
AT ITER 2143 NEW BEST:: SOT 4437549 SOS 696659 HAS SOPS 696659 HAS SOUS 667441 HAS SOUPS 667441 WITH SCORE 668137.659
AT ITER 2161 NEW BEST:: SOT 4437434 SOS 696429 HAS SOPS 696429 HAS SOUS 667211 HAS SOUPS 667211 WITH SCORE 667907.429
AT ITER 2205 NEW BEST:: SOT 4436786 SOS 695997 HAS SOPS 695997 HAS SOUS 666563 HAS SOUPS 666563 WITH SCORE 667258.997
AT ITER 2209 NEW BEST:: SOT 4436750 SOS 695925 HAS SOPS 695925 HAS SOUS 666458 HAS SOUPS 666458 WITH SCORE 667153.925
AT ITER 2220 NEW BEST:: SOT 4436825 SOS 695793 HAS SOPS 695793 HAS SOUS 666433 HAS SOUPS 666433 WITH SCORE 667128.793
AT ITER 2332 NEW BEST:: SOT 4436763 SOS 695669 HAS SOPS 695669 HAS SOUS 666309 HAS SOUPS 666309 WITH SCORE 667004.669
AT ITER 2390 NEW BEST:: SOT 4436763 SOS 695422 HAS SOPS 695422 HAS SOUS 666062 HAS SOUPS 666062 WITH SCORE 666757.422
AT ITER 2409 NEW BEST:: SOT 4436526 SOS 694948 HAS SOPS 694948 HAS SOUS 665588 HAS SOUPS 665588 WITH SCORE 666282.948
AT ITER 2433 NEW BEST:: SOT 4430635 SOS 698628 HAS SOPS 698628 HAS SOUS 660429 HAS SOUPS 660429 WITH SCORE 661127.628
AT ITER 2492 NEW BEST:: SOT 4430624 SOS 698606 HAS SOPS 698606 HAS SOUS 660407 HAS SOUPS 660407 WITH SCORE 661105.606
AT ITER 2493 NEW BEST:: SOT 4430623 SOS 698604 HAS SOPS 698604 HAS SOUS 660405 HAS SOUPS 660405 WITH SCORE 661103.604
AT ITER 2498 NEW BEST:: SOT 4430452 SOS 698262 HAS SOPS 698262 HAS SOUS 660063 HAS SOUPS 660063 WITH SCORE 660761.262
AT ITER 2500 NEW BEST:: SOT 4430358 SOS 698074 HAS SOPS 698074 HAS SOUS 659875 HAS SOUPS 659875 WITH SCORE 660573.074
AT ITER 2504 NEW BEST:: SOT 4430358 SOS 698074 HAS SOPS 698074 HAS SOUS 659873 HAS SOUPS 659873 WITH SCORE 660571.074
AT ITER 2518 NEW BEST:: SOT 4430277 SOS 697993 HAS SOPS 697993 HAS SOUS 659792 HAS SOUPS 659792 WITH SCORE 660489.993
AT ITER 2523 NEW BEST:: SOT 4430177 SOS 697793 HAS SOPS 697793 HAS SOUS 659592 HAS SOUPS 659592 WITH SCORE 660289.793
AT ITER 2549 NEW BEST:: SOT 4430157 SOS 697753 HAS SOPS 697753 HAS SOUS 659552 HAS SOUPS 659552 WITH SCORE 660249.753
AT ITER 2551 NEW BEST:: SOT 4429953 SOS 697345 HAS SOPS 697345 HAS SOUS 659144 HAS SOUPS 659144 WITH SCORE 659841.345
AT ITER 2571 NEW BEST:: SOT 4430030 SOS 697307 HAS SOPS 697307 HAS SOUS 659107 HAS SOUPS 659107 WITH SCORE 659804.307
AT ITER 2597 NEW BEST:: SOT 4429818 SOS 696883 HAS SOPS 696883 HAS SOUS 658683 HAS SOUPS 658683 WITH SCORE 659379.883
AT ITER 2622 NEW BEST:: SOT 4429436 SOS 696501 HAS SOPS 696501 HAS SOUS 658301 HAS SOUPS 658301 WITH SCORE 658997.501
AT ITER 2628 NEW BEST:: SOT 4429272 SOS 695632 HAS SOPS 695632 HAS SOUS 657784 HAS SOUPS 657784 WITH SCORE 658479.632
AT ITER 2637 NEW BEST:: SOT 4429270 SOS 695631 HAS SOPS 695631 HAS SOUS 657782 HAS SOUPS 657782 WITH SCORE 658477.631
AT ITER 2648 NEW BEST:: SOT 4429270 SOS 695631 HAS SOPS 695631 HAS SOUS 657534 HAS SOUPS 657534 WITH SCORE 658229.631
AT ITER 2657 NEW BEST:: SOT 4429269 SOS 695629 HAS SOPS 695629 HAS SOUS 657532 HAS SOUPS 657532 WITH SCORE 658227.629
AT ITER 2670 NEW BEST:: SOT 4429269 SOS 695629 HAS SOPS 695629 HAS SOUS 657516 HAS SOUPS 657516 WITH SCORE 658211.629
AT ITER 2689 NEW BEST:: SOT 4429275 SOS 695641 HAS SOPS 695641 HAS SOUS 657482 HAS SOUPS 657482 WITH SCORE 658177.641
AT ITER 2716 NEW BEST:: SOT 4429305 SOS 695701 HAS SOPS 695701 HAS SOUS 657432 HAS SOUPS 657432 WITH SCORE 658127.701
AT ITER 2772 NEW BEST:: SOT 4429305 SOS 695487 HAS SOPS 695487 HAS SOUS 657325 HAS SOUPS 657325 WITH SCORE 658020.487
AT ITER 2784 NEW BEST:: SOT 4429256 SOS 695389 HAS SOPS 695389 HAS SOUS 657227 HAS SOUPS 657227 WITH SCORE 657922.389
AT ITER 2823 NEW BEST:: SOT 4429431 SOS 695358 HAS SOPS 695358 HAS SOUS 657196 HAS SOUPS 657196 WITH SCORE 657891.358
AT ITER 2826 NEW BEST:: SOT 4429290 SOS 695076 HAS SOPS 695076 HAS SOUS 656984 HAS SOUPS 656984 WITH SCORE 657679.076
AT ITER 2832 NEW BEST:: SOT 4429268 SOS 695032 HAS SOPS 695032 HAS SOUS 656940 HAS SOUPS 656940 WITH SCORE 657635.032
AT ITER 2837 NEW BEST:: SOT 4429253 SOS 694830 HAS SOPS 694830 HAS SOUS 656787 HAS SOUPS 656787 WITH SCORE 657481.83
AT ITER 2843 NEW BEST:: SOT 4429209 SOS 694786 HAS SOPS 694786 HAS SOUS 656743 HAS SOUPS 656743 WITH SCORE 657437.786
AT ITER 2857 NEW BEST:: SOT 4428957 SOS 693937 HAS SOPS 693937 HAS SOUS 655728 HAS SOUPS 655728 WITH SCORE 656421.937
AT ITER 2876 NEW BEST:: SOT 4428916 SOS 693855 HAS SOPS 693855 HAS SOUS 655646 HAS SOUPS 655646 WITH SCORE 656339.855
AT ITER 2879 NEW BEST:: SOT 4428912 SOS 693847 HAS SOPS 693847 HAS SOUS 655431 HAS SOUPS 655431 WITH SCORE 656124.847
AT ITER 2880 NEW BEST:: SOT 4428384 SOS 693319 HAS SOPS 693319 HAS SOUS 654903 HAS SOUPS 654903 WITH SCORE 655596.319
AT ITER 2900 NEW BEST:: SOT 4428384 SOS 693319 HAS SOPS 693319 HAS SOUS 654819 HAS SOUPS 654819 WITH SCORE 655512.319
AT ITER 2937 NEW BEST:: SOT 4427917 SOS 692674 HAS SOPS 692674 HAS SOUS 654139 HAS SOUPS 654139 WITH SCORE 654831.674
AT ITER 2955 NEW BEST:: SOT 4427829 SOS 692932 HAS SOPS 692932 HAS SOUS 654039 HAS SOUPS 654039 WITH SCORE 654731.932
AT ITER 2974 NEW BEST:: SOT 4427590 SOS 692693 HAS SOPS 692693 HAS SOUS 653800 HAS SOUPS 653800 WITH SCORE 654492.693
AT ITER 3022 NEW BEST:: SOT 4427590 SOS 692619 HAS SOPS 692619 HAS SOUS 653726 HAS SOUPS 653726 WITH SCORE 654418.619
AT ITER 3024 NEW BEST:: SOT 4427590 SOS 692590 HAS SOPS 692590 HAS SOUS 653697 HAS SOUPS 653697 WITH SCORE 654389.59
AT ITER 3033 NEW BEST:: SOT 4427539 SOS 692488 HAS SOPS 692488 HAS SOUS 653595 HAS SOUPS 653595 WITH SCORE 654287.488
AT ITER 3043 NEW BEST:: SOT 4427479 SOS 692488 HAS SOPS 692488 HAS SOUS 653535 HAS SOUPS 653535 WITH SCORE 654227.488
AT ITER 3048 NEW BEST:: SOT 4427479 SOS 692444 HAS SOPS 692444 HAS SOUS 653535 HAS SOUPS 653535 WITH SCORE 654227.444
AT ITER 3075 NEW BEST:: SOT 4427301 SOS 692088 HAS SOPS 692088 HAS SOUS 653179 HAS SOUPS 653179 WITH SCORE 653871.088
AT ITER 3076 NEW BEST:: SOT 4427289 SOS 692064 HAS SOPS 692064 HAS SOUS 653106 HAS SOUPS 653106 WITH SCORE 653798.064
AT ITER 3077 NEW BEST:: SOT 4427289 SOS 692064 HAS SOPS 692064 HAS SOUS 653005 HAS SOUPS 653005 WITH SCORE 653697.064
AT ITER 3081 NEW BEST:: SOT 4427166 SOS 691691 HAS SOPS 691691 HAS SOUS 652755 HAS SOUPS 652755 WITH SCORE 653446.691
AT ITER 3142 NEW BEST:: SOT 4427062 SOS 691483 HAS SOPS 691483 HAS SOUS 652651 HAS SOUPS 652651 WITH SCORE 653342.483
AT ITER 3182 NEW BEST:: SOT 4427029 SOS 691417 HAS SOPS 691417 HAS SOUS 652626 HAS SOUPS 652626 WITH SCORE 653317.417
AT ITER 3183 NEW BEST:: SOT 4427029 SOS 691318 HAS SOPS 691318 HAS SOUS 652527 HAS SOUPS 652527 WITH SCORE 653218.318
AT ITER 3190 NEW BEST:: SOT 4426994 SOS 691248 HAS SOPS 691248 HAS SOUS 652457 HAS SOUPS 652457 WITH SCORE 653148.248
AT ITER 3203 NEW BEST:: SOT 4426878 SOS 691190 HAS SOPS 691190 HAS SOUS 652399 HAS SOUPS 652399 WITH SCORE 653090.19
AT ITER 3209 NEW BEST:: SOT 4426870 SOS 691174 HAS SOPS 691174 HAS SOUS 652383 HAS SOUPS 652383 WITH SCORE 653074.174
AT ITER 3272 NEW BEST:: SOT 4426736 SOS 690906 HAS SOPS 690906 HAS SOUS 652115 HAS SOUPS 652115 WITH SCORE 652805.906
AT ITER 3276 NEW BEST:: SOT 4426715 SOS 690864 HAS SOPS 690864 HAS SOUS 652094 HAS SOUPS 652094 WITH SCORE 652784.864
AT ITER 3277 NEW BEST:: SOT 4426715 SOS 690688 HAS SOPS 690688 HAS SOUS 652006 HAS SOUPS 652006 WITH SCORE 652696.688
AT ITER 3282 NEW BEST:: SOT 4426633 SOS 690524 HAS SOPS 690524 HAS SOUS 651917 HAS SOUPS 651917 WITH SCORE 652607.524
AT ITER 3323 NEW BEST:: SOT 4426588 SOS 690436 HAS SOPS 690436 HAS SOUS 651829 HAS SOUPS 651829 WITH SCORE 652519.436
AT ITER 3326 NEW BEST:: SOT 4426167 SOS 690100 HAS SOPS 690100 HAS SOUS 651240 HAS SOUPS 651240 WITH SCORE 651930.1
AT ITER 3333 NEW BEST:: SOT 4426065 SOS 689896 HAS SOPS 689896 HAS SOUS 651036 HAS SOUPS 651036 WITH SCORE 651725.896
AT ITER 3352 NEW BEST:: SOT 4426065 SOS 689884 HAS SOPS 689884 HAS SOUS 651036 HAS SOUPS 651036 WITH SCORE 651725.884
AT ITER 3424 NEW BEST:: SOT 4425971 SOS 690122 HAS SOPS 690122 HAS SOUS 650618 HAS SOUPS 650618 WITH SCORE 651308.122
AT ITER 3450 NEW BEST:: SOT 4425970 SOS 690120 HAS SOPS 690120 HAS SOUS 650616 HAS SOUPS 650616 WITH SCORE 651306.12
AT ITER 3452 NEW BEST:: SOT 4425748 SOS 690045 HAS SOPS 690045 HAS SOUS 650497 HAS SOUPS 650497 WITH SCORE 651187.045
AT ITER 3461 NEW BEST:: SOT 4425492 SOS 689789 HAS SOPS 689789 HAS SOUS 650241 HAS SOUPS 650241 WITH SCORE 650930.789
AT ITER 3472 NEW BEST:: SOT 4425492 SOS 689768 HAS SOPS 689768 HAS SOUS 650220 HAS SOUPS 650220 WITH SCORE 650909.768
AT ITER 3481 NEW BEST:: SOT 4425488 SOS 689760 HAS SOPS 689760 HAS SOUS 650069 HAS SOUPS 650069 WITH SCORE 650758.76
AT ITER 3511 NEW BEST:: SOT 4425373 SOS 689530 HAS SOPS 689530 HAS SOUS 649584 HAS SOUPS 649584 WITH SCORE 650273.53
AT ITER 3532 NEW BEST:: SOT 4425288 SOS 689445 HAS SOPS 689445 HAS SOUS 649584 HAS SOUPS 649584 WITH SCORE 650273.445
AT ITER 3569 NEW BEST:: SOT 4425288 SOS 689444 HAS SOPS 689444 HAS SOUS 649508 HAS SOUPS 649508 WITH SCORE 650197.444
AT ITER 3584 NEW BEST:: SOT 4424987 SOS 688506 HAS SOPS 688506 HAS SOUS 648906 HAS SOUPS 648906 WITH SCORE 649594.506
AT ITER 3636 NEW BEST:: SOT 4424896 SOS 688530 HAS SOPS 688530 HAS SOUS 648815 HAS SOUPS 648815 WITH SCORE 649503.53
AT ITER 3639 NEW BEST:: SOT 4424896 SOS 688436 HAS SOPS 688436 HAS SOUS 648815 HAS SOUPS 648815 WITH SCORE 649503.436
AT ITER 3659 NEW BEST:: SOT 4424680 SOS 688662 HAS SOPS 688662 HAS SOUS 648599 HAS SOUPS 648599 WITH SCORE 649287.662
AT ITER 3672 NEW BEST:: SOT 4424623 SOS 688605 HAS SOPS 688605 HAS SOUS 648542 HAS SOUPS 648542 WITH SCORE 649230.605
AT ITER 3679 NEW BEST:: SOT 4424520 SOS 688399 HAS SOPS 688399 HAS SOUS 648336 HAS SOUPS 648336 WITH SCORE 649024.399
AT ITER 3689 NEW BEST:: SOT 4424520 SOS 688399 HAS SOPS 688399 HAS SOUS 648335 HAS SOUPS 648335 WITH SCORE 649023.399
AT ITER 3704 NEW BEST:: SOT 4424305 SOS 688227 HAS SOPS 688227 HAS SOUS 648163 HAS SOUPS 648163 WITH SCORE 648851.227
AT ITER 3717 NEW BEST:: SOT 4424055 SOS 688063 HAS SOPS 688063 HAS SOUS 647799 HAS SOUPS 647799 WITH SCORE 648487.063
AT ITER 3733 NEW BEST:: SOT 4424024 SOS 688001 HAS SOPS 688001 HAS SOUS 647721 HAS SOUPS 647721 WITH SCORE 648409.001
AT ITER 3754 NEW BEST:: SOT 4423927 SOS 687807 HAS SOPS 687807 HAS SOUS 647624 HAS SOUPS 647624 WITH SCORE 648311.807
AT ITER 3760 NEW BEST:: SOT 4423927 SOS 687881 HAS SOPS 687881 HAS SOUS 647544 HAS SOUPS 647544 WITH SCORE 648231.881
AT ITER 3773 NEW BEST:: SOT 4423701 SOS 687877 HAS SOPS 687877 HAS SOUS 647478 HAS SOUPS 647478 WITH SCORE 648165.877
AT ITER 3783 NEW BEST:: SOT 4423701 SOS 687876 HAS SOPS 687876 HAS SOUS 647477 HAS SOUPS 647477 WITH SCORE 648164.876
AT ITER 3806 NEW BEST:: SOT 4423587 SOS 687648 HAS SOPS 687648 HAS SOUS 647249 HAS SOUPS 647249 WITH SCORE 647936.648
AT ITER 3850 NEW BEST:: SOT 4423586 SOS 687646 HAS SOPS 687646 HAS SOUS 647114 HAS SOUPS 647114 WITH SCORE 647801.646
AT ITER 3869 NEW BEST:: SOT 4423537 SOS 687623 HAS SOPS 687623 HAS SOUS 647090 HAS SOUPS 647090 WITH SCORE 647777.623
AT ITER 3883 NEW BEST:: SOT 4423382 SOS 687313 HAS SOPS 687313 HAS SOUS 646935 HAS SOUPS 646935 WITH SCORE 647622.313
AT ITER 3891 NEW BEST:: SOT 4423346 SOS 687259 HAS SOPS 687259 HAS SOUS 646881 HAS SOUPS 646881 WITH SCORE 647568.259
AT ITER 3893 NEW BEST:: SOT 4423012 SOS 686925 HAS SOPS 686925 HAS SOUS 646547 HAS SOUPS 646547 WITH SCORE 647233.925
AT ITER 3896 NEW BEST:: SOT 4423012 SOS 686924 HAS SOPS 686924 HAS SOUS 646546 HAS SOUPS 646546 WITH SCORE 647232.924
AT ITER 3940 NEW BEST:: SOT 4422932 SOS 686764 HAS SOPS 686764 HAS SOUS 646386 HAS SOUPS 646386 WITH SCORE 647072.764
AT ITER 3971 NEW BEST:: SOT 4422761 SOS 686593 HAS SOPS 686593 HAS SOUS 646215 HAS SOUPS 646215 WITH SCORE 646901.593
AT ITER 3974 NEW BEST:: SOT 4422488 SOS 686320 HAS SOPS 686320 HAS SOUS 645942 HAS SOUPS 645942 WITH SCORE 646628.32
AT ITER 3976 NEW BEST:: SOT 4422470 SOS 686284 HAS SOPS 686284 HAS SOUS 645906 HAS SOUPS 645906 WITH SCORE 646592.284
AT ITER 3979 NEW BEST:: SOT 4422365 SOS 686179 HAS SOPS 686179 HAS SOUS 645801 HAS SOUPS 645801 WITH SCORE 646487.179
AT ITER 4002 NEW BEST:: SOT 4422353 SOS 686155 HAS SOPS 686155 HAS SOUS 645777 HAS SOUPS 645777 WITH SCORE 646463.155
AT ITER 4004 NEW BEST:: SOT 4422336 SOS 686121 HAS SOPS 686121 HAS SOUS 645556 HAS SOUPS 645556 WITH SCORE 646242.121
AT ITER 4037 NEW BEST:: SOT 4422194 SOS 685979 HAS SOPS 685979 HAS SOUS 645414 HAS SOUPS 645414 WITH SCORE 646099.979
AT ITER 4038 NEW BEST:: SOT 4422080 SOS 685751 HAS SOPS 685751 HAS SOUS 645186 HAS SOUPS 645186 WITH SCORE 645871.751
AT ITER 4067 NEW BEST:: SOT 4421956 SOS 685503 HAS SOPS 685503 HAS SOUS 644884 HAS SOUPS 644884 WITH SCORE 645569.503
AT ITER 4089 NEW BEST:: SOT 4421955 SOS 685501 HAS SOPS 685501 HAS SOUS 644882 HAS SOUPS 644882 WITH SCORE 645567.501
AT ITER 4106 NEW BEST:: SOT 4421877 SOS 685481 HAS SOPS 685481 HAS SOUS 644862 HAS SOUPS 644862 WITH SCORE 645547.481
AT ITER 4113 NEW BEST:: SOT 4421822 SOS 685426 HAS SOPS 685426 HAS SOUS 644807 HAS SOUPS 644807 WITH SCORE 645492.426
AT ITER 4151 NEW BEST:: SOT 4421821 SOS 685424 HAS SOPS 685424 HAS SOUS 644805 HAS SOUPS 644805 WITH SCORE 645490.424
AT ITER 4154 NEW BEST:: SOT 4422023 SOS 685462 HAS SOPS 685462 HAS SOUS 644793 HAS SOUPS 644793 WITH SCORE 645478.462
AT ITER 4161 NEW BEST:: SOT 4422089 SOS 685149 HAS SOPS 685149 HAS SOUS 644698 HAS SOUPS 644698 WITH SCORE 645383.149
AT ITER 4172 NEW BEST:: SOT 4422044 SOS 685059 HAS SOPS 685059 HAS SOUS 644608 HAS SOUPS 644608 WITH SCORE 645293.059
AT ITER 4180 NEW BEST:: SOT 4422015 SOS 685001 HAS SOPS 685001 HAS SOUS 644550 HAS SOUPS 644550 WITH SCORE 645235.001
AT ITER 4181 NEW BEST:: SOT 4422015 SOS 685000 HAS SOPS 685000 HAS SOUS 644549 HAS SOUPS 644549 WITH SCORE 645234.0
AT ITER 4182 NEW BEST:: SOT 4420079 SOS 727118 HAS SOPS 727118 HAS SOUS 644495 HAS SOUPS 644495 WITH SCORE 645222.118
AT ITER 4265 NEW BEST:: SOT 4420079 SOS 727023 HAS SOPS 727023 HAS SOUS 644400 HAS SOUPS 644400 WITH SCORE 645127.023
AT ITER 4278 NEW BEST:: SOT 4419594 SOS 726557 HAS SOPS 726557 HAS SOUS 643916 HAS SOUPS 643916 WITH SCORE 644642.557
AT ITER 4279 NEW BEST:: SOT 4419241 SOS 726004 HAS SOPS 726004 HAS SOUS 643902 HAS SOUPS 643902 WITH SCORE 644628.004
AT ITER 4282 NEW BEST:: SOT 4419196 SOS 726053 HAS SOPS 726053 HAS SOUS 643857 HAS SOUPS 643857 WITH SCORE 644583.053
AT ITER 4288 NEW BEST:: SOT 4419118 SOS 725897 HAS SOPS 725897 HAS SOUS 643779 HAS SOUPS 643779 WITH SCORE 644504.897
AT ITER 4310 NEW BEST:: SOT 4418922 SOS 725865 HAS SOPS 725865 HAS SOUS 643648 HAS SOUPS 643648 WITH SCORE 644373.865
AT ITER 4313 NEW BEST:: SOT 4418782 SOS 725305 HAS SOPS 725305 HAS SOUS 643368 HAS SOUPS 643368 WITH SCORE 644093.305
AT ITER 4323 NEW BEST:: SOT 4418789 SOS 724861 HAS SOPS 724861 HAS SOUS 642920 HAS SOUPS 642920 WITH SCORE 643644.861
AT ITER 4331 NEW BEST:: SOT 4418713 SOS 724273 HAS SOPS 724273 HAS SOUS 642735 HAS SOUPS 642735 WITH SCORE 643459.273
AT ITER 4333 NEW BEST:: SOT 4418539 SOS 724149 HAS SOPS 724149 HAS SOUS 642430 HAS SOUPS 642430 WITH SCORE 643154.149
AT ITER 4337 NEW BEST:: SOT 4418431 SOS 724133 HAS SOPS 724133 HAS SOUS 642414 HAS SOUPS 642414 WITH SCORE 643138.133
AT ITER 4339 NEW BEST:: SOT 4418431 SOS 724133 HAS SOPS 724133 HAS SOUS 642394 HAS SOUPS 642394 WITH SCORE 643118.133
AT ITER 4378 NEW BEST:: SOT 4418310 SOS 723924 HAS SOPS 723924 HAS SOUS 642273 HAS SOUPS 642273 WITH SCORE 642996.924
AT ITER 4384 NEW BEST:: SOT 4418018 SOS 723911 HAS SOPS 723911 HAS SOUS 642122 HAS SOUPS 642122 WITH SCORE 642845.911
AT ITER 4389 NEW BEST:: SOT 4418135 SOS 723201 HAS SOPS 723201 HAS SOUS 642003 HAS SOUPS 642003 WITH SCORE 642726.201
AT ITER 4401 NEW BEST:: SOT 4417993 SOS 722917 HAS SOPS 722917 HAS SOUS 641861 HAS SOUPS 641861 WITH SCORE 642583.917
AT ITER 4410 NEW BEST:: SOT 4418012 SOS 722955 HAS SOPS 722955 HAS SOUS 641569 HAS SOUPS 641569 WITH SCORE 642291.955
AT ITER 4412 NEW BEST:: SOT 4418012 SOS 722955 HAS SOPS 722955 HAS SOUS 641454 HAS SOUPS 641454 WITH SCORE 642176.955
AT ITER 4419 NEW BEST:: SOT 4418012 SOS 722869 HAS SOPS 722869 HAS SOUS 641454 HAS SOUPS 641454 WITH SCORE 642176.869
AT ITER 4426 NEW BEST:: SOT 4417843 SOS 722594 HAS SOPS 722594 HAS SOUS 641010 HAS SOUPS 641010 WITH SCORE 641732.594
AT ITER 4474 NEW BEST:: SOT 4417841 SOS 722590 HAS SOPS 722590 HAS SOUS 641006 HAS SOUPS 641006 WITH SCORE 641728.59
AT ITER 4497 NEW BEST:: SOT 4417733 SOS 722482 HAS SOPS 722482 HAS SOUS 640898 HAS SOUPS 640898 WITH SCORE 641620.482
AT ITER 4506 NEW BEST:: SOT 4417719 SOS 722440 HAS SOPS 722440 HAS SOUS 640870 HAS SOUPS 640870 WITH SCORE 641592.44
AT ITER 4561 NEW BEST:: SOT 4417604 SOS 722210 HAS SOPS 722210 HAS SOUS 640640 HAS SOUPS 640640 WITH SCORE 641362.21
AT ITER 4564 NEW BEST:: SOT 4417603 SOS 722208 HAS SOPS 722208 HAS SOUS 640638 HAS SOUPS 640638 WITH SCORE 641360.208
AT ITER 4589 NEW BEST:: SOT 4417597 SOS 722244 HAS SOPS 722244 HAS SOUS 640632 HAS SOUPS 640632 WITH SCORE 641354.244
AT ITER 4608 NEW BEST:: SOT 4417454 SOS 722079 HAS SOPS 722079 HAS SOUS 640607 HAS SOUPS 640607 WITH SCORE 641329.079
AT ITER 4628 NEW BEST:: SOT 4417316 SOS 721803 HAS SOPS 721803 HAS SOUS 640124 HAS SOUPS 640124 WITH SCORE 640845.803
AT ITER 4639 NEW BEST:: SOT 4417282 SOS 721735 HAS SOPS 721735 HAS SOUS 640056 HAS SOUPS 640056 WITH SCORE 640777.735
AT ITER 4673 NEW BEST:: SOT 4417282 SOS 721735 HAS SOPS 721735 HAS SOUS 639977 HAS SOUPS 639977 WITH SCORE 640698.735
AT ITER 4692 NEW BEST:: SOT 4416880 SOS 721534 HAS SOPS 721534 HAS SOUS 639676 HAS SOUPS 639676 WITH SCORE 640397.534
AT ITER 4721 NEW BEST:: SOT 4416615 SOS 721004 HAS SOPS 721004 HAS SOUS 639411 HAS SOUPS 639411 WITH SCORE 640132.004
AT ITER 4723 NEW BEST:: SOT 4416570 SOS 720914 HAS SOPS 720914 HAS SOUS 639321 HAS SOUPS 639321 WITH SCORE 640041.914
AT ITER 4757 NEW BEST:: SOT 4416469 SOS 721082 HAS SOPS 721082 HAS SOUS 638944 HAS SOUPS 638944 WITH SCORE 639665.082
AT ITER 4786 NEW BEST:: SOT 4416009 SOS 728855 HAS SOPS 728855 HAS SOUS 638502 HAS SOUPS 638502 WITH SCORE 639230.855
AT ITER 4801 NEW BEST:: SOT 4416009 SOS 728855 HAS SOPS 728855 HAS SOUS 638500 HAS SOUPS 638500 WITH SCORE 639228.855
AT ITER 4802 NEW BEST:: SOT 4415777 SOS 728747 HAS SOPS 728747 HAS SOUS 638311 HAS SOUPS 638311 WITH SCORE 639039.747
AT ITER 4859 NEW BEST:: SOT 4415695 SOS 728434 HAS SOPS 728434 HAS SOUS 638139 HAS SOUPS 638139 WITH SCORE 638867.434
AT ITER 4871 NEW BEST:: SOT 4415593 SOS 728230 HAS SOPS 728230 HAS SOUS 637877 HAS SOUPS 637877 WITH SCORE 638605.23
AT ITER 4892 NEW BEST:: SOT 4415064 SOS 730241 HAS SOPS 730241 HAS SOUS 637771 HAS SOUPS 637771 WITH SCORE 638501.241
AT ITER 4899 NEW BEST:: SOT 4414893 SOS 729899 HAS SOPS 729899 HAS SOUS 637193 HAS SOUPS 637193 WITH SCORE 637922.899
AT ITER 4910 NEW BEST:: SOT 4414882 SOS 729877 HAS SOPS 729877 HAS SOUS 637182 HAS SOUPS 637182 WITH SCORE 637911.877
AT ITER 4917 NEW BEST:: SOT 4414787 SOS 728742 HAS SOPS 728742 HAS SOUS 636982 HAS SOUPS 636982 WITH SCORE 637710.742
AT ITER 4934 NEW BEST:: SOT 4414854 SOS 728622 HAS SOPS 728622 HAS SOUS 636862 HAS SOUPS 636862 WITH SCORE 637590.622
AT ITER 4937 NEW BEST:: SOT 4414813 SOS 728465 HAS SOPS 728465 HAS SOUS 636780 HAS SOUPS 636780 WITH SCORE 637508.465
AT ITER 4960 NEW BEST:: SOT 4414797 SOS 728433 HAS SOPS 728433 HAS SOUS 636748 HAS SOUPS 636748 WITH SCORE 637476.433
AT ITER 4991 NEW BEST:: SOT 4412131 SOS 730030 HAS SOPS 730030 HAS SOUS 634476 HAS SOUPS 634476 WITH SCORE 635206.03
AT ITER 5025 NEW BEST:: SOT 4411906 SOS 729580 HAS SOPS 729580 HAS SOUS 634026 HAS SOUPS 634026 WITH SCORE 634755.58
AT ITER 5069 NEW BEST:: SOT 4411811 SOS 729390 HAS SOPS 729390 HAS SOUS 633836 HAS SOUPS 633836 WITH SCORE 634565.39
AT ITER 5097 NEW BEST:: SOT 4411671 SOS 729460 HAS SOPS 729460 HAS SOUS 633766 HAS SOUPS 633766 WITH SCORE 634495.46
AT ITER 5135 NEW BEST:: SOT 4411672 SOS 729318 HAS SOPS 729318 HAS SOUS 633702 HAS SOUPS 633702 WITH SCORE 634431.318
AT ITER 5139 NEW BEST:: SOT 4411643 SOS 729260 HAS SOPS 729260 HAS SOUS 633673 HAS SOUPS 633673 WITH SCORE 634402.26
AT ITER 5145 NEW BEST:: SOT 4411611 SOS 730318 HAS SOPS 730318 HAS SOUS 633588 HAS SOUPS 633588 WITH SCORE 634318.318
AT ITER 5146 NEW BEST:: SOT 4411687 SOS 730381 HAS SOPS 730381 HAS SOUS 633525 HAS SOUPS 633525 WITH SCORE 634255.381
AT ITER 5148 NEW BEST:: SOT 4411687 SOS 730381 HAS SOPS 730381 HAS SOUS 633346 HAS SOUPS 633346 WITH SCORE 634076.381
AT ITER 5159 NEW BEST:: SOT 4411643 SOS 730293 HAS SOPS 730293 HAS SOUS 633258 HAS SOUPS 633258 WITH SCORE 633988.293
AT ITER 5168 NEW BEST:: SOT 4411453 SOS 730113 HAS SOPS 730113 HAS SOUS 633088 HAS SOUPS 633088 WITH SCORE 633818.113
AT ITER 5173 NEW BEST:: SOT 4411295 SOS 730034 HAS SOPS 730034 HAS SOUS 633009 HAS SOUPS 633009 WITH SCORE 633739.034
AT ITER 5264 NEW BEST:: SOT 4411288 SOS 730020 HAS SOPS 730020 HAS SOUS 632995 HAS SOUPS 632995 WITH SCORE 633725.02
AT ITER 5272 NEW BEST:: SOT 4411264 SOS 729972 HAS SOPS 729972 HAS SOUS 632947 HAS SOUPS 632947 WITH SCORE 633676.972
AT ITER 5280 NEW BEST:: SOT 4411025 SOS 729778 HAS SOPS 729778 HAS SOUS 632729 HAS SOUPS 632729 WITH SCORE 633458.778
AT ITER 5290 NEW BEST:: SOT 4411025 SOS 729778 HAS SOPS 729778 HAS SOUS 632604 HAS SOUPS 632604 WITH SCORE 633333.778
AT ITER 5297 NEW BEST:: SOT 4411025 SOS 729778 HAS SOPS 729778 HAS SOUS 632603 HAS SOUPS 632603 WITH SCORE 633332.778
AT ITER 5316 NEW BEST:: SOT 4410942 SOS 729612 HAS SOPS 729612 HAS SOUS 632354 HAS SOUPS 632354 WITH SCORE 633083.612
AT ITER 5323 NEW BEST:: SOT 4410750 SOS 729420 HAS SOPS 729420 HAS SOUS 632162 HAS SOUPS 632162 WITH SCORE 632891.42
AT ITER 5330 NEW BEST:: SOT 4410729 SOS 729167 HAS SOPS 729167 HAS SOUS 632047 HAS SOUPS 632047 WITH SCORE 632776.167
AT ITER 5332 NEW BEST:: SOT 4410727 SOS 729163 HAS SOPS 729163 HAS SOUS 632045 HAS SOUPS 632045 WITH SCORE 632774.163
AT ITER 5337 NEW BEST:: SOT 4410702 SOS 729163 HAS SOPS 729163 HAS SOUS 632020 HAS SOUPS 632020 WITH SCORE 632749.163
AT ITER 5368 NEW BEST:: SOT 4410691 SOS 729130 HAS SOPS 729130 HAS SOUS 632009 HAS SOUPS 632009 WITH SCORE 632738.13
AT ITER 5375 NEW BEST:: SOT 4410545 SOS 727968 HAS SOPS 727968 HAS SOUS 631862 HAS SOUPS 631862 WITH SCORE 632589.968
AT ITER 5387 NEW BEST:: SOT 4410410 SOS 727698 HAS SOPS 727698 HAS SOUS 631727 HAS SOUPS 631727 WITH SCORE 632454.698
AT ITER 5441 NEW BEST:: SOT 4410391 SOS 727660 HAS SOPS 727660 HAS SOUS 631705 HAS SOUPS 631705 WITH SCORE 632432.66
AT ITER 5471 NEW BEST:: SOT 4410390 SOS 727658 HAS SOPS 727658 HAS SOUS 631703 HAS SOUPS 631703 WITH SCORE 632430.658
AT ITER 5497 NEW BEST:: SOT 4410262 SOS 727402 HAS SOPS 727402 HAS SOUS 631682 HAS SOUPS 631682 WITH SCORE 632409.402
AT ITER 5509 NEW BEST:: SOT 4410219 SOS 727230 HAS SOPS 727230 HAS SOUS 631550 HAS SOUPS 631550 WITH SCORE 632277.23
AT ITER 5517 NEW BEST:: SOT 4409804 SOS 729039 HAS SOPS 729039 HAS SOUS 631432 HAS SOUPS 631432 WITH SCORE 632161.039
AT ITER 5525 NEW BEST:: SOT 4409674 SOS 728770 HAS SOPS 728770 HAS SOUS 631011 HAS SOUPS 631011 WITH SCORE 631739.77
AT ITER 5532 NEW BEST:: SOT 4409582 SOS 728678 HAS SOPS 728678 HAS SOUS 630919 HAS SOUPS 630919 WITH SCORE 631647.678
AT ITER 5599 NEW BEST:: SOT 4409449 SOS 728412 HAS SOPS 728412 HAS SOUS 630653 HAS SOUPS 630653 WITH SCORE 631381.412
AT ITER 5648 NEW BEST:: SOT 4409377 SOS 728316 HAS SOPS 728316 HAS SOUS 630557 HAS SOUPS 630557 WITH SCORE 631285.316
AT ITER 5657 NEW BEST:: SOT 4409376 SOS 728314 HAS SOPS 728314 HAS SOUS 630555 HAS SOUPS 630555 WITH SCORE 631283.314
AT ITER 5658 NEW BEST:: SOT 4409376 SOS 728314 HAS SOPS 728314 HAS SOUS 630498 HAS SOUPS 630498 WITH SCORE 631226.314
AT ITER 5684 NEW BEST:: SOT 4409363 SOS 728288 HAS SOPS 728288 HAS SOUS 630472 HAS SOUPS 630472 WITH SCORE 631200.288
AT ITER 5686 NEW BEST:: SOT 4409291 SOS 728144 HAS SOPS 728144 HAS SOUS 630294 HAS SOUPS 630294 WITH SCORE 631022.144
AT ITER 5727 NEW BEST:: SOT 4409291 SOS 728042 HAS SOPS 728042 HAS SOUS 630294 HAS SOUPS 630294 WITH SCORE 631022.042
AT ITER 5756 NEW BEST:: SOT 4409148 SOS 727906 HAS SOPS 727906 HAS SOUS 630121 HAS SOUPS 630121 WITH SCORE 630848.906
AT ITER 5772 NEW BEST:: SOT 4409117 SOS 727943 HAS SOPS 727943 HAS SOUS 630090 HAS SOUPS 630090 WITH SCORE 630817.943
AT ITER 5773 NEW BEST:: SOT 4409117 SOS 727836 HAS SOPS 727836 HAS SOUS 630089 HAS SOUPS 630089 WITH SCORE 630816.836
AT ITER 5780 NEW BEST:: SOT 4409116 SOS 727783 HAS SOPS 727783 HAS SOUS 630037 HAS SOUPS 630037 WITH SCORE 630764.783
AT ITER 5785 NEW BEST:: SOT 4409111 SOS 727773 HAS SOPS 727773 HAS SOUS 630027 HAS SOUPS 630027 WITH SCORE 630754.773
AT ITER 5794 NEW BEST:: SOT 4408832 SOS 727215 HAS SOPS 727215 HAS SOUS 629487 HAS SOUPS 629487 WITH SCORE 630214.215
AT ITER 5801 NEW BEST:: SOT 4408737 SOS 727120 HAS SOPS 727120 HAS SOUS 629392 HAS SOUPS 629392 WITH SCORE 630119.12
AT ITER 5805 NEW BEST:: SOT 4408593 SOS 726832 HAS SOPS 726832 HAS SOUS 629104 HAS SOUPS 629104 WITH SCORE 629830.832
AT ITER 5815 NEW BEST:: SOT 4408474 SOS 726882 HAS SOPS 726882 HAS SOUS 629026 HAS SOUPS 629026 WITH SCORE 629752.882
AT ITER 5816 NEW BEST:: SOT 4408244 SOS 726600 HAS SOPS 726600 HAS SOUS 628744 HAS SOUPS 628744 WITH SCORE 629470.6
AT ITER 5817 NEW BEST:: SOT 4407800 SOS 727524 HAS SOPS 727524 HAS SOUS 628433 HAS SOUPS 628433 WITH SCORE 629160.524
AT ITER 5820 NEW BEST:: SOT 4407662 SOS 727386 HAS SOPS 727386 HAS SOUS 628433 HAS SOUPS 628433 WITH SCORE 629160.386
AT ITER 5828 NEW BEST:: SOT 4407685 SOS 727432 HAS SOPS 727432 HAS SOUS 628265 HAS SOUPS 628265 WITH SCORE 628992.432
AT ITER 5849 NEW BEST:: SOT 4407677 SOS 727416 HAS SOPS 727416 HAS SOUS 628257 HAS SOUPS 628257 WITH SCORE 628984.416
AT ITER 5858 NEW BEST:: SOT 4407618 SOS 727298 HAS SOPS 727298 HAS SOUS 628139 HAS SOUPS 628139 WITH SCORE 628866.298
AT ITER 5909 NEW BEST:: SOT 4407504 SOS 727070 HAS SOPS 727070 HAS SOUS 628025 HAS SOUPS 628025 WITH SCORE 628752.07
AT ITER 5931 NEW BEST:: SOT 4407408 SOS 726974 HAS SOPS 726974 HAS SOUS 628025 HAS SOUPS 628025 WITH SCORE 628751.974
AT ITER 5934 NEW BEST:: SOT 4407371 SOS 726900 HAS SOPS 726900 HAS SOUS 627737 HAS SOUPS 627737 WITH SCORE 628463.9
AT ITER 5941 NEW BEST:: SOT 4407625 SOS 726948 HAS SOPS 726948 HAS SOUS 627710 HAS SOUPS 627710 WITH SCORE 628436.948
AT ITER 5978 NEW BEST:: SOT 4407439 SOS 726107 HAS SOPS 726107 HAS SOUS 627709 HAS SOUPS 627709 WITH SCORE 628435.107
AT ITER 5987 NEW BEST:: SOT 4407626 SOS 726481 HAS SOPS 726481 HAS SOUS 627417 HAS SOUPS 627417 WITH SCORE 628143.481
AT ITER 5996 NEW BEST:: SOT 4407537 SOS 726303 HAS SOPS 726303 HAS SOUS 627328 HAS SOUPS 627328 WITH SCORE 628054.303
AT ITER 6009 NEW BEST:: SOT 4407534 SOS 726297 HAS SOPS 726297 HAS SOUS 627322 HAS SOUPS 627322 WITH SCORE 628048.297
AT ITER 6022 NEW BEST:: SOT 4407296 SOS 725821 HAS SOPS 725821 HAS SOUS 626846 HAS SOUPS 626846 WITH SCORE 627571.821
AT ITER 6038 NEW BEST:: SOT 4407296 SOS 725821 HAS SOPS 725821 HAS SOUS 626817 HAS SOUPS 626817 WITH SCORE 627542.821
AT ITER 6044 NEW BEST:: SOT 4407296 SOS 725741 HAS SOPS 725741 HAS SOUS 626817 HAS SOUPS 626817 WITH SCORE 627542.741
AT ITER 6049 NEW BEST:: SOT 4407365 SOS 725637 HAS SOPS 725637 HAS SOUS 626728 HAS SOUPS 626728 WITH SCORE 627453.637
AT ITER 6077 NEW BEST:: SOT 4407322 SOS 725551 HAS SOPS 725551 HAS SOUS 626642 HAS SOUPS 626642 WITH SCORE 627367.551
AT ITER 6084 NEW BEST:: SOT 4407325 SOS 725504 HAS SOPS 725504 HAS SOUS 626595 HAS SOUPS 626595 WITH SCORE 627320.504
AT ITER 6092 NEW BEST:: SOT 4407241 SOS 725420 HAS SOPS 725420 HAS SOUS 626511 HAS SOUPS 626511 WITH SCORE 627236.42
AT ITER 6138 NEW BEST:: SOT 4407188 SOS 725314 HAS SOPS 725314 HAS SOUS 626405 HAS SOUPS 626405 WITH SCORE 627130.314
AT ITER 6145 NEW BEST:: SOT 4406481 SOS 728863 HAS SOPS 728863 HAS SOUS 626192 HAS SOUPS 626192 WITH SCORE 626920.863
AT ITER 6150 NEW BEST:: SOT 4406554 SOS 727441 HAS SOPS 727441 HAS SOUS 625883 HAS SOUPS 625883 WITH SCORE 626610.441
AT ITER 6153 NEW BEST:: SOT 4406554 SOS 727415 HAS SOPS 727415 HAS SOUS 625882 HAS SOUPS 625882 WITH SCORE 626609.415
AT ITER 6225 NEW BEST:: SOT 4406554 SOS 727415 HAS SOPS 727415 HAS SOUS 625881 HAS SOUPS 625881 WITH SCORE 626608.415
AT ITER 6240 NEW BEST:: SOT 4406521 SOS 727349 HAS SOPS 727349 HAS SOUS 625815 HAS SOUPS 625815 WITH SCORE 626542.349
AT ITER 6253 NEW BEST:: SOT 4406448 SOS 727203 HAS SOPS 727203 HAS SOUS 625669 HAS SOUPS 625669 WITH SCORE 626396.203
AT ITER 6318 NEW BEST:: SOT 4406404 SOS 726779 HAS SOPS 726779 HAS SOUS 625457 HAS SOUPS 625457 WITH SCORE 626183.779
AT ITER 6372 NEW BEST:: SOT 4406404 SOS 726764 HAS SOPS 726764 HAS SOUS 625442 HAS SOUPS 625442 WITH SCORE 626168.764
AT ITER 6378 NEW BEST:: SOT 4406403 SOS 726762 HAS SOPS 726762 HAS SOUS 625440 HAS SOUPS 625440 WITH SCORE 626166.762
AT ITER 6380 NEW BEST:: SOT 4406215 SOS 726386 HAS SOPS 726386 HAS SOUS 625367 HAS SOUPS 625367 WITH SCORE 626093.386
AT ITER 6398 NEW BEST:: SOT 4405880 SOS 725716 HAS SOPS 725716 HAS SOUS 625289 HAS SOUPS 625289 WITH SCORE 626014.716
AT ITER 6409 NEW BEST:: SOT 4405875 SOS 725351 HAS SOPS 725351 HAS SOUS 625092 HAS SOUPS 625092 WITH SCORE 625817.351
AT ITER 6447 NEW BEST:: SOT 4405586 SOS 725145 HAS SOPS 725145 HAS SOUS 624803 HAS SOUPS 624803 WITH SCORE 625528.145
AT ITER 6451 NEW BEST:: SOT 4405584 SOS 725153 HAS SOPS 725153 HAS SOUS 624800 HAS SOUPS 624800 WITH SCORE 625525.153
AT ITER 6455 NEW BEST:: SOT 4405582 SOS 725149 HAS SOPS 725149 HAS SOUS 624796 HAS SOUPS 624796 WITH SCORE 625521.149
AT ITER 6465 NEW BEST:: SOT 4405571 SOS 725127 HAS SOPS 725127 HAS SOUS 624774 HAS SOUPS 624774 WITH SCORE 625499.127
AT ITER 6474 NEW BEST:: SOT 4405571 SOS 725041 HAS SOPS 725041 HAS SOUS 624731 HAS SOUPS 624731 WITH SCORE 625456.041
AT ITER 6480 NEW BEST:: SOT 4405537 SOS 724973 HAS SOPS 724973 HAS SOUS 624606 HAS SOUPS 624606 WITH SCORE 625330.973
AT ITER 6483 NEW BEST:: SOT 4405633 SOS 725165 HAS SOPS 725165 HAS SOUS 624543 HAS SOUPS 624543 WITH SCORE 625268.165
AT ITER 6498 NEW BEST:: SOT 4405831 SOS 725250 HAS SOPS 725250 HAS SOUS 624430 HAS SOUPS 624430 WITH SCORE 625155.25
AT ITER 6507 NEW BEST:: SOT 4405589 SOS 725296 HAS SOPS 725296 HAS SOUS 624240 HAS SOUPS 624240 WITH SCORE 624965.296
AT ITER 6517 NEW BEST:: SOT 4405489 SOS 725456 HAS SOPS 725456 HAS SOUS 624230 HAS SOUPS 624230 WITH SCORE 624955.456
AT ITER 6518 NEW BEST:: SOT 4405489 SOS 725405 HAS SOPS 725405 HAS SOUS 624230 HAS SOUPS 624230 WITH SCORE 624955.405
AT ITER 6541 NEW BEST:: SOT 4405423 SOS 725273 HAS SOPS 725273 HAS SOUS 624098 HAS SOUPS 624098 WITH SCORE 624823.273
AT ITER 6562 NEW BEST:: SOT 4405389 SOS 725205 HAS SOPS 725205 HAS SOUS 624030 HAS SOUPS 624030 WITH SCORE 624755.205
AT ITER 6578 NEW BEST:: SOT 4405045 SOS 724517 HAS SOPS 724517 HAS SOUS 623534 HAS SOUPS 623534 WITH SCORE 624258.517
AT ITER 6591 NEW BEST:: SOT 4405045 SOS 724189 HAS SOPS 724189 HAS SOUS 623534 HAS SOUPS 623534 WITH SCORE 624258.189
AT ITER 6596 NEW BEST:: SOT 4404822 SOS 724066 HAS SOPS 724066 HAS SOUS 623411 HAS SOUPS 623411 WITH SCORE 624135.066
AT ITER 6621 NEW BEST:: SOT 4404774 SOS 723970 HAS SOPS 723970 HAS SOUS 623315 HAS SOUPS 623315 WITH SCORE 624038.97
AT ITER 6660 NEW BEST:: SOT 4404701 SOS 723970 HAS SOPS 723970 HAS SOUS 623242 HAS SOUPS 623242 WITH SCORE 623965.97
AT ITER 6661 NEW BEST:: SOT 4404864 SOS 724045 HAS SOPS 724045 HAS SOUS 623066 HAS SOUPS 623066 WITH SCORE 623790.045
AT ITER 6662 NEW BEST:: SOT 4404864 SOS 723916 HAS SOPS 723916 HAS SOUS 622937 HAS SOUPS 622937 WITH SCORE 623660.916
AT ITER 6665 NEW BEST:: SOT 4404737 SOS 723662 HAS SOPS 723662 HAS SOUS 622683 HAS SOUPS 622683 WITH SCORE 623406.662
AT ITER 6671 NEW BEST:: SOT 4404737 SOS 723662 HAS SOPS 723662 HAS SOUS 622660 HAS SOUPS 622660 WITH SCORE 623383.662
AT ITER 6691 NEW BEST:: SOT 4404726 SOS 723640 HAS SOPS 723640 HAS SOUS 622649 HAS SOUPS 622649 WITH SCORE 623372.64
AT ITER 6724 NEW BEST:: SOT 4404713 SOS 723627 HAS SOPS 723627 HAS SOUS 622584 HAS SOUPS 622584 WITH SCORE 623307.627
AT ITER 6749 NEW BEST:: SOT 4404490 SOS 723181 HAS SOPS 723181 HAS SOUS 622079 HAS SOUPS 622079 WITH SCORE 622802.181
AT ITER 6751 NEW BEST:: SOT 4404424 SOS 723148 HAS SOPS 723148 HAS SOUS 622013 HAS SOUPS 622013 WITH SCORE 622736.148
AT ITER 6758 NEW BEST:: SOT 4404349 SOS 723145 HAS SOPS 723145 HAS SOUS 621716 HAS SOUPS 621716 WITH SCORE 622439.145
AT ITER 6770 NEW BEST:: SOT 4404349 SOS 723145 HAS SOPS 723145 HAS SOUS 621700 HAS SOUPS 621700 WITH SCORE 622423.145
AT ITER 6812 NEW BEST:: SOT 4404328 SOS 723103 HAS SOPS 723103 HAS SOUS 621658 HAS SOUPS 621658 WITH SCORE 622381.103
AT ITER 6822 NEW BEST:: SOT 4404327 SOS 723101 HAS SOPS 723101 HAS SOUS 621656 HAS SOUPS 621656 WITH SCORE 622379.101
AT ITER 6836 NEW BEST:: SOT 4403476 SOS 722708 HAS SOPS 722708 HAS SOUS 621023 HAS SOUPS 621023 WITH SCORE 621745.708
AT ITER 6866 NEW BEST:: SOT 4403388 SOS 722532 HAS SOPS 722532 HAS SOUS 620847 HAS SOUPS 620847 WITH SCORE 621569.532
AT ITER 6884 NEW BEST:: SOT 4403170 SOS 722377 HAS SOPS 722377 HAS SOUS 620649 HAS SOUPS 620649 WITH SCORE 621371.377
AT ITER 6908 NEW BEST:: SOT 4403128 SOS 722293 HAS SOPS 722293 HAS SOUS 620565 HAS SOUPS 620565 WITH SCORE 621287.293
AT ITER 6948 NEW BEST:: SOT 4403217 SOS 722115 HAS SOPS 722115 HAS SOUS 620453 HAS SOUPS 620453 WITH SCORE 621175.115
AT ITER 6951 NEW BEST:: SOT 4402705 SOS 722591 HAS SOPS 722591 HAS SOUS 619992 HAS SOUPS 619992 WITH SCORE 620714.591
AT ITER 6960 NEW BEST:: SOT 4402407 SOS 722442 HAS SOPS 722442 HAS SOUS 619843 HAS SOUPS 619843 WITH SCORE 620565.442
AT ITER 6967 NEW BEST:: SOT 4402407 SOS 722320 HAS SOPS 722320 HAS SOUS 619721 HAS SOUPS 619721 WITH SCORE 620443.32
AT ITER 6973 NEW BEST:: SOT 4402379 SOS 722264 HAS SOPS 722264 HAS SOUS 619665 HAS SOUPS 619665 WITH SCORE 620387.264
AT ITER 6975 NEW BEST:: SOT 4402351 SOS 722208 HAS SOPS 722208 HAS SOUS 619609 HAS SOUPS 619609 WITH SCORE 620331.208
AT ITER 6979 NEW BEST:: SOT 4402046 SOS 722216 HAS SOPS 722216 HAS SOUS 619308 HAS SOUPS 619308 WITH SCORE 620030.216
AT ITER 6982 NEW BEST:: SOT 4401945 SOS 722014 HAS SOPS 722014 HAS SOUS 619106 HAS SOUPS 619106 WITH SCORE 619828.014
AT ITER 7001 NEW BEST:: SOT 4401883 SOS 721961 HAS SOPS 721961 HAS SOUS 619053 HAS SOUPS 619053 WITH SCORE 619774.961
AT ITER 7007 NEW BEST:: SOT 4400518 SOS 740975 HAS SOPS 740975 HAS SOUS 618629 HAS SOUPS 618629 WITH SCORE 619369.975
AT ITER 7012 NEW BEST:: SOT 4400500 SOS 740948 HAS SOPS 740948 HAS SOUS 618602 HAS SOUPS 618602 WITH SCORE 619342.948
AT ITER 7024 NEW BEST:: SOT 4400345 SOS 740854 HAS SOPS 740854 HAS SOUS 618447 HAS SOUPS 618447 WITH SCORE 619187.854
AT ITER 7059 NEW BEST:: SOT 4399843 SOS 739850 HAS SOPS 739850 HAS SOUS 618256 HAS SOUPS 618256 WITH SCORE 618995.85
AT ITER 7065 NEW BEST:: SOT 4399922 SOS 739692 HAS SOPS 739692 HAS SOUS 618256 HAS SOUPS 618256 WITH SCORE 618995.692
AT ITER 7075 NEW BEST:: SOT 4399861 SOS 741964 HAS SOPS 741964 HAS SOUS 618195 HAS SOUPS 618195 WITH SCORE 618936.964
AT ITER 7085 NEW BEST:: SOT 4399823 SOS 741826 HAS SOPS 741826 HAS SOUS 618181 HAS SOUPS 618181 WITH SCORE 618922.826
AT ITER 7115 NEW BEST:: SOT 4399761 SOS 741702 HAS SOPS 741702 HAS SOUS 618119 HAS SOUPS 618119 WITH SCORE 618860.702
AT ITER 7120 NEW BEST:: SOT 4399725 SOS 741630 HAS SOPS 741630 HAS SOUS 618091 HAS SOUPS 618091 WITH SCORE 618832.63
AT ITER 7131 NEW BEST:: SOT 4399266 SOS 741324 HAS SOPS 741324 HAS SOUS 617632 HAS SOUPS 617632 WITH SCORE 618373.324
AT ITER 7139 NEW BEST:: SOT 4399207 SOS 741206 HAS SOPS 741206 HAS SOUS 617514 HAS SOUPS 617514 WITH SCORE 618255.206
AT ITER 7150 NEW BEST:: SOT 4399207 SOS 741147 HAS SOPS 741147 HAS SOUS 617514 HAS SOUPS 617514 WITH SCORE 618255.147
AT ITER 7169 NEW BEST:: SOT 4399132 SOS 740997 HAS SOPS 740997 HAS SOUS 617336 HAS SOUPS 617336 WITH SCORE 618076.997
AT ITER 7180 NEW BEST:: SOT 4399131 SOS 740995 HAS SOPS 740995 HAS SOUS 617334 HAS SOUPS 617334 WITH SCORE 618074.995
AT ITER 7181 NEW BEST:: SOT 4399123 SOS 740979 HAS SOPS 740979 HAS SOUS 617318 HAS SOUPS 617318 WITH SCORE 618058.979
AT ITER 7186 NEW BEST:: SOT 4399085 SOS 740941 HAS SOPS 740941 HAS SOUS 617318 HAS SOUPS 617318 WITH SCORE 618058.941
AT ITER 7198 NEW BEST:: SOT 4399082 SOS 740935 HAS SOPS 740935 HAS SOUS 617312 HAS SOUPS 617312 WITH SCORE 618052.935
AT ITER 7203 NEW BEST:: SOT 4398560 SOS 741077 HAS SOPS 741077 HAS SOUS 617241 HAS SOUPS 617241 WITH SCORE 617982.077
AT ITER 7241 NEW BEST:: SOT 4398419 SOS 740795 HAS SOPS 740795 HAS SOUS 617100 HAS SOUPS 617100 WITH SCORE 617840.795
AT ITER 7250 NEW BEST:: SOT 4397964 SOS 740339 HAS SOPS 740339 HAS SOUS 616725 HAS SOUPS 616725 WITH SCORE 617465.339
AT ITER 7259 NEW BEST:: SOT 4397952 SOS 740315 HAS SOPS 740315 HAS SOUS 616713 HAS SOUPS 616713 WITH SCORE 617453.315
AT ITER 7271 NEW BEST:: SOT 4397771 SOS 740166 HAS SOPS 740166 HAS SOUS 616564 HAS SOUPS 616564 WITH SCORE 617304.166
AT ITER 7304 NEW BEST:: SOT 4397762 SOS 740020 HAS SOPS 740020 HAS SOUS 616546 HAS SOUPS 616546 WITH SCORE 617286.02
AT ITER 7318 NEW BEST:: SOT 4397754 SOS 740004 HAS SOPS 740004 HAS SOUS 616530 HAS SOUPS 616530 WITH SCORE 617270.004
AT ITER 7337 NEW BEST:: SOT 4397754 SOS 739925 HAS SOPS 739925 HAS SOUS 616530 HAS SOUPS 616530 WITH SCORE 617269.925
AT ITER 7341 NEW BEST:: SOT 4397802 SOS 740021 HAS SOPS 740021 HAS SOUS 616420 HAS SOUPS 616420 WITH SCORE 617160.021
AT ITER 7342 NEW BEST:: SOT 4397717 SOS 739851 HAS SOPS 739851 HAS SOUS 616250 HAS SOUPS 616250 WITH SCORE 616989.851
AT ITER 7350 NEW BEST:: SOT 4397717 SOS 739840 HAS SOPS 739840 HAS SOUS 616239 HAS SOUPS 616239 WITH SCORE 616978.84
AT ITER 7354 NEW BEST:: SOT 4397714 SOS 739822 HAS SOPS 739822 HAS SOUS 616213 HAS SOUPS 616213 WITH SCORE 616952.822
AT ITER 7355 NEW BEST:: SOT 4397501 SOS 739621 HAS SOPS 739621 HAS SOUS 615986 HAS SOUPS 615986 WITH SCORE 616725.621
AT ITER 7361 NEW BEST:: SOT 4397489 SOS 739597 HAS SOPS 739597 HAS SOUS 615961 HAS SOUPS 615961 WITH SCORE 616700.597
AT ITER 7364 NEW BEST:: SOT 4397489 SOS 739540 HAS SOPS 739540 HAS SOUS 615904 HAS SOUPS 615904 WITH SCORE 616643.54
AT ITER 7368 NEW BEST:: SOT 4397370 SOS 739302 HAS SOPS 739302 HAS SOUS 615666 HAS SOUPS 615666 WITH SCORE 616405.302
AT ITER 7408 NEW BEST:: SOT 4397344 SOS 739250 HAS SOPS 739250 HAS SOUS 615640 HAS SOUPS 615640 WITH SCORE 616379.25
AT ITER 7414 NEW BEST:: SOT 4397281 SOS 739124 HAS SOPS 739124 HAS SOUS 615577 HAS SOUPS 615577 WITH SCORE 616316.124
AT ITER 7460 NEW BEST:: SOT 4397429 SOS 738947 HAS SOPS 738947 HAS SOUS 615257 HAS SOUPS 615257 WITH SCORE 615995.947
AT ITER 7464 NEW BEST:: SOT 4397413 SOS 738931 HAS SOPS 738931 HAS SOUS 615241 HAS SOUPS 615241 WITH SCORE 615979.931
AT ITER 7485 NEW BEST:: SOT 4397385 SOS 739031 HAS SOPS 739031 HAS SOUS 615213 HAS SOUPS 615213 WITH SCORE 615952.031
AT ITER 7487 NEW BEST:: SOT 4397330 SOS 738921 HAS SOPS 738921 HAS SOUS 615016 HAS SOUPS 615016 WITH SCORE 615754.921
AT ITER 7513 NEW BEST:: SOT 4397320 SOS 738911 HAS SOPS 738911 HAS SOUS 615006 HAS SOUPS 615006 WITH SCORE 615744.911
AT ITER 7521 NEW BEST:: SOT 4397178 SOS 738769 HAS SOPS 738769 HAS SOUS 614864 HAS SOUPS 614864 WITH SCORE 615602.769
AT ITER 7541 NEW BEST:: SOT 4397178 SOS 738769 HAS SOPS 738769 HAS SOUS 614832 HAS SOUPS 614832 WITH SCORE 615570.769
AT ITER 7542 NEW BEST:: SOT 4396991 SOS 738854 HAS SOPS 738854 HAS SOUS 614754 HAS SOUPS 614754 WITH SCORE 615492.854
AT ITER 7564 NEW BEST:: SOT 4396755 SOS 738650 HAS SOPS 738650 HAS SOUS 614518 HAS SOUPS 614518 WITH SCORE 615256.65
AT ITER 7597 NEW BEST:: SOT 4396559 SOS 738643 HAS SOPS 738643 HAS SOUS 614372 HAS SOUPS 614372 WITH SCORE 615110.643
AT ITER 7664 NEW BEST:: SOT 4396559 SOS 738507 HAS SOPS 738507 HAS SOUS 614372 HAS SOUPS 614372 WITH SCORE 615110.507
AT ITER 7669 NEW BEST:: SOT 4395745 SOS 736879 HAS SOPS 736879 HAS SOUS 613036 HAS SOUPS 613036 WITH SCORE 613772.879
AT ITER 7681 NEW BEST:: SOT 4395273 SOS 735935 HAS SOPS 735935 HAS SOUS 612570 HAS SOUPS 612570 WITH SCORE 613305.935
AT ITER 7693 NEW BEST:: SOT 4395262 SOS 735784 HAS SOPS 735784 HAS SOUS 612548 HAS SOUPS 612548 WITH SCORE 613283.784
AT ITER 7695 NEW BEST:: SOT 4395228 SOS 735750 HAS SOPS 735750 HAS SOUS 612514 HAS SOUPS 612514 WITH SCORE 613249.75
AT ITER 7698 NEW BEST:: SOT 4395228 SOS 735749 HAS SOPS 735749 HAS SOUS 612480 HAS SOUPS 612480 WITH SCORE 613215.749
AT ITER 7733 NEW BEST:: SOT 4395228 SOS 735644 HAS SOPS 735644 HAS SOUS 612479 HAS SOUPS 612479 WITH SCORE 613214.644
AT ITER 7740 NEW BEST:: SOT 4395113 SOS 735529 HAS SOPS 735529 HAS SOUS 612364 HAS SOUPS 612364 WITH SCORE 613099.529
AT ITER 7743 NEW BEST:: SOT 4394952 SOS 735207 HAS SOPS 735207 HAS SOUS 612042 HAS SOUPS 612042 WITH SCORE 612777.207
AT ITER 7750 NEW BEST:: SOT 4394915 SOS 735133 HAS SOPS 735133 HAS SOUS 611968 HAS SOUPS 611968 WITH SCORE 612703.133
AT ITER 7768 NEW BEST:: SOT 4394671 SOS 735011 HAS SOPS 735011 HAS SOUS 611846 HAS SOUPS 611846 WITH SCORE 612581.011
AT ITER 7817 NEW BEST:: SOT 4394615 SOS 734955 HAS SOPS 734955 HAS SOUS 611790 HAS SOUPS 611790 WITH SCORE 612524.955
AT ITER 7852 NEW BEST:: SOT 4394615 SOS 734893 HAS SOPS 734893 HAS SOUS 611790 HAS SOUPS 611790 WITH SCORE 612524.893
AT ITER 7886 NEW BEST:: SOT 4394553 SOS 734831 HAS SOPS 734831 HAS SOUS 611748 HAS SOUPS 611748 WITH SCORE 612482.831
AT ITER 7953 NEW BEST:: SOT 4394517 SOS 734795 HAS SOPS 734795 HAS SOUS 611711 HAS SOUPS 611711 WITH SCORE 612445.795
AT ITER 7975 NEW BEST:: SOT 4394426 SOS 734613 HAS SOPS 734613 HAS SOUS 611620 HAS SOUPS 611620 WITH SCORE 612354.613
AT ITER 8007 NEW BEST:: SOT 4394627 SOS 732755 HAS SOPS 732755 HAS SOUS 611287 HAS SOUPS 611287 WITH SCORE 612019.755
AT ITER 8012 NEW BEST:: SOT 4394570 SOS 732641 HAS SOPS 732641 HAS SOUS 611026 HAS SOUPS 611026 WITH SCORE 611758.641
AT ITER 8031 NEW BEST:: SOT 4394544 SOS 732589 HAS SOPS 732589 HAS SOUS 611000 HAS SOUPS 611000 WITH SCORE 611732.589
AT ITER 8039 NEW BEST:: SOT 4394522 SOS 732567 HAS SOPS 732567 HAS SOUS 610978 HAS SOUPS 610978 WITH SCORE 611710.567
AT ITER 8054 NEW BEST:: SOT 4394464 SOS 732554 HAS SOPS 732554 HAS SOUS 610965 HAS SOUPS 610965 WITH SCORE 611697.554
AT ITER 8063 NEW BEST:: SOT 4394464 SOS 732289 HAS SOPS 732289 HAS SOUS 610435 HAS SOUPS 610435 WITH SCORE 611167.289
AT ITER 8074 NEW BEST:: SOT 4394442 SOS 732267 HAS SOPS 732267 HAS SOUS 610432 HAS SOUPS 610432 WITH SCORE 611164.267
AT ITER 8107 NEW BEST:: SOT 4394421 SOS 732225 HAS SOPS 732225 HAS SOUS 610390 HAS SOUPS 610390 WITH SCORE 611122.225
AT ITER 8229 NEW BEST:: SOT 4394322 SOS 732027 HAS SOPS 732027 HAS SOUS 610192 HAS SOUPS 610192 WITH SCORE 610924.027
AT ITER 8243 NEW BEST:: SOT 4394321 SOS 731943 HAS SOPS 731943 HAS SOUS 610190 HAS SOUPS 610190 WITH SCORE 610921.943
AT ITER 8292 NEW BEST:: SOT 4394286 SOS 731873 HAS SOPS 731873 HAS SOUS 610120 HAS SOUPS 610120 WITH SCORE 610851.873
AT ITER 8319 NEW BEST:: SOT 4394211 SOS 731798 HAS SOPS 731798 HAS SOUS 610045 HAS SOUPS 610045 WITH SCORE 610776.798
AT ITER 8325 NEW BEST:: SOT 4394211 SOS 731768 HAS SOPS 731768 HAS SOUS 610045 HAS SOUPS 610045 WITH SCORE 610776.768
AT ITER 8331 NEW BEST:: SOT 4394211 SOS 731733 HAS SOPS 731733 HAS SOUS 610010 HAS SOUPS 610010 WITH SCORE 610741.733
AT ITER 8344 NEW BEST:: SOT 4393945 SOS 731467 HAS SOPS 731467 HAS SOUS 609744 HAS SOUPS 609744 WITH SCORE 610475.467
AT ITER 8352 NEW BEST:: SOT 4393995 SOS 731389 HAS SOPS 731389 HAS SOUS 609666 HAS SOUPS 609666 WITH SCORE 610397.389
AT ITER 8359 NEW BEST:: SOT 4393954 SOS 731266 HAS SOPS 731266 HAS SOUS 609584 HAS SOUPS 609584 WITH SCORE 610315.266
AT ITER 8398 NEW BEST:: SOT 4393914 SOS 731246 HAS SOPS 731246 HAS SOUS 609564 HAS SOUPS 609564 WITH SCORE 610295.246
AT ITER 8406 NEW BEST:: SOT 4393914 SOS 731227 HAS SOPS 731227 HAS SOUS 609564 HAS SOUPS 609564 WITH SCORE 610295.227
AT ITER 8419 NEW BEST:: SOT 4393881 SOS 731161 HAS SOPS 731161 HAS SOUS 609530 HAS SOUPS 609530 WITH SCORE 610261.161
AT ITER 8439 NEW BEST:: SOT 4393861 SOS 731063 HAS SOPS 731063 HAS SOUS 609510 HAS SOUPS 609510 WITH SCORE 610241.063
AT ITER 8468 NEW BEST:: SOT 4393861 SOS 730996 HAS SOPS 730996 HAS SOUS 609363 HAS SOUPS 609363 WITH SCORE 610093.996
AT ITER 8483 NEW BEST:: SOT 4393596 SOS 731018 HAS SOPS 731018 HAS SOUS 609026 HAS SOUPS 609026 WITH SCORE 609757.018
AT ITER 8496 NEW BEST:: SOT 4393844 SOS 731271 HAS SOPS 731271 HAS SOUS 608963 HAS SOUPS 608963 WITH SCORE 609694.271
AT ITER 8527 NEW BEST:: SOT 4393816 SOS 731215 HAS SOPS 731215 HAS SOUS 608935 HAS SOUPS 608935 WITH SCORE 609666.215
AT ITER 8531 NEW BEST:: SOT 4393631 SOS 730660 HAS SOPS 730660 HAS SOUS 608565 HAS SOUPS 608565 WITH SCORE 609295.66
AT ITER 8538 NEW BEST:: SOT 4393630 SOS 730264 HAS SOPS 730264 HAS SOUS 608563 HAS SOUPS 608563 WITH SCORE 609293.264
AT ITER 8547 NEW BEST:: SOT 4393589 SOS 730230 HAS SOPS 730230 HAS SOUS 608529 HAS SOUPS 608529 WITH SCORE 609259.23
AT ITER 8589 NEW BEST:: SOT 4393449 SOS 730090 HAS SOPS 730090 HAS SOUS 608528 HAS SOUPS 608528 WITH SCORE 609258.09
AT ITER 8610 NEW BEST:: SOT 4393475 SOS 730142 HAS SOPS 730142 HAS SOUS 608491 HAS SOUPS 608491 WITH SCORE 609221.142
AT ITER 8618 NEW BEST:: SOT 4393241 SOS 729908 HAS SOPS 729908 HAS SOUS 608257 HAS SOUPS 608257 WITH SCORE 608986.908
AT ITER 8642 NEW BEST:: SOT 4393237 SOS 729925 HAS SOPS 729925 HAS SOUS 608253 HAS SOUPS 608253 WITH SCORE 608982.925
AT ITER 8687 NEW BEST:: SOT 4392764 SOS 729223 HAS SOPS 729223 HAS SOUS 607636 HAS SOUPS 607636 WITH SCORE 608365.223
AT ITER 8710 NEW BEST:: SOT 4392764 SOS 729217 HAS SOPS 729217 HAS SOUS 607630 HAS SOUPS 607630 WITH SCORE 608359.217
AT ITER 8736 NEW BEST:: SOT 4392717 SOS 729170 HAS SOPS 729170 HAS SOUS 607536 HAS SOUPS 607536 WITH SCORE 608265.17
AT ITER 8743 NEW BEST:: SOT 4392570 SOS 729023 HAS SOPS 729023 HAS SOUS 607389 HAS SOUPS 607389 WITH SCORE 608118.023
AT ITER 8752 NEW BEST:: SOT 4392534 SOS 728987 HAS SOPS 728987 HAS SOUS 607353 HAS SOUPS 607353 WITH SCORE 608081.987
AT ITER 8786 NEW BEST:: SOT 4392019 SOS 728228 HAS SOPS 728228 HAS SOUS 606594 HAS SOUPS 606594 WITH SCORE 607322.228
AT ITER 8825 NEW BEST:: SOT 4391681 SOS 728200 HAS SOPS 728200 HAS SOUS 606435 HAS SOUPS 606435 WITH SCORE 607163.2
AT ITER 8855 NEW BEST:: SOT 4391513 SOS 728032 HAS SOPS 728032 HAS SOUS 606267 HAS SOUPS 606267 WITH SCORE 606995.032
AT ITER 8865 NEW BEST:: SOT 4391527 SOS 727880 HAS SOPS 727880 HAS SOUS 606115 HAS SOUPS 606115 WITH SCORE 606842.88
AT ITER 8886 NEW BEST:: SOT 4391535 SOS 727874 HAS SOPS 727874 HAS SOUS 606113 HAS SOUPS 606113 WITH SCORE 606840.874
AT ITER 8898 NEW BEST:: SOT 4391462 SOS 727801 HAS SOPS 727801 HAS SOUS 606040 HAS SOUPS 606040 WITH SCORE 606767.801
AT ITER 8900 NEW BEST:: SOT 4391443 SOS 727763 HAS SOPS 727763 HAS SOUS 606021 HAS SOUPS 606021 WITH SCORE 606748.763
AT ITER 8919 NEW BEST:: SOT 4391175 SOS 727227 HAS SOPS 727227 HAS SOUS 605485 HAS SOUPS 605485 WITH SCORE 606212.227
AT ITER 8946 NEW BEST:: SOT 4391459 SOS 727444 HAS SOPS 727444 HAS SOUS 605462 HAS SOUPS 605462 WITH SCORE 606189.444
AT ITER 8948 NEW BEST:: SOT 4391459 SOS 727350 HAS SOPS 727350 HAS SOUS 605462 HAS SOUPS 605462 WITH SCORE 606189.35
AT ITER 8984 NEW BEST:: SOT 4391176 SOS 727640 HAS SOPS 727640 HAS SOUS 605179 HAS SOUPS 605179 WITH SCORE 605906.64
AT ITER 8993 NEW BEST:: SOT 4391301 SOS 727477 HAS SOPS 727477 HAS SOUS 605015 HAS SOUPS 605015 WITH SCORE 605742.477
AT ITER 9039 NEW BEST:: SOT 4391258 SOS 727391 HAS SOPS 727391 HAS SOUS 604888 HAS SOUPS 604888 WITH SCORE 605615.391
AT ITER 9082 NEW BEST:: SOT 4391134 SOS 727143 HAS SOPS 727143 HAS SOUS 604586 HAS SOUPS 604586 WITH SCORE 605313.143
AT ITER 9110 NEW BEST:: SOT 4391164 SOS 727172 HAS SOPS 727172 HAS SOUS 604585 HAS SOUPS 604585 WITH SCORE 605312.172
AT ITER 9138 NEW BEST:: SOT 4391123 SOS 727008 HAS SOPS 727008 HAS SOUS 604503 HAS SOUPS 604503 WITH SCORE 605230.008
AT ITER 9214 NEW BEST:: SOT 4391027 SOS 726701 HAS SOPS 726701 HAS SOUS 604311 HAS SOUPS 604311 WITH SCORE 605037.701
AT ITER 9224 NEW BEST:: SOT 4391025 SOS 726697 HAS SOPS 726697 HAS SOUS 604307 HAS SOUPS 604307 WITH SCORE 605033.697
AT ITER 9279 NEW BEST:: SOT 4391011 SOS 726956 HAS SOPS 726956 HAS SOUS 604279 HAS SOUPS 604279 WITH SCORE 605005.956
AT ITER 9334 NEW BEST:: SOT 4390844 SOS 727068 HAS SOPS 727068 HAS SOUS 604219 HAS SOUPS 604219 WITH SCORE 604946.068
AT ITER 9353 NEW BEST:: SOT 4390738 SOS 726962 HAS SOPS 726962 HAS SOUS 604113 HAS SOUPS 604113 WITH SCORE 604839.962
AT ITER 9379 NEW BEST:: SOT 4390459 SOS 726404 HAS SOPS 726404 HAS SOUS 603743 HAS SOUPS 603743 WITH SCORE 604469.404
AT ITER 9398 NEW BEST:: SOT 4390390 SOS 726266 HAS SOPS 726266 HAS SOUS 603715 HAS SOUPS 603715 WITH SCORE 604441.266
AT ITER 9418 NEW BEST:: SOT 4390462 SOS 726410 HAS SOPS 726410 HAS SOUS 603655 HAS SOUPS 603655 WITH SCORE 604381.41
AT ITER 9442 NEW BEST:: SOT 4390368 SOS 726222 HAS SOPS 726222 HAS SOUS 603467 HAS SOUPS 603467 WITH SCORE 604193.222
AT ITER 9452 NEW BEST:: SOT 4390302 SOS 726090 HAS SOPS 726090 HAS SOUS 603335 HAS SOUPS 603335 WITH SCORE 604061.09
AT ITER 9455 NEW BEST:: SOT 4390302 SOS 725786 HAS SOPS 725786 HAS SOUS 603335 HAS SOUPS 603335 WITH SCORE 604060.786
AT ITER 9466 NEW BEST:: SOT 4390301 SOS 725784 HAS SOPS 725784 HAS SOUS 603333 HAS SOUPS 603333 WITH SCORE 604058.784
AT ITER 9487 NEW BEST:: SOT 4390284 SOS 725750 HAS SOPS 725750 HAS SOUS 603316 HAS SOUPS 603316 WITH SCORE 604041.75
AT ITER 9496 NEW BEST:: SOT 4390250 SOS 725682 HAS SOPS 725682 HAS SOUS 603248 HAS SOUPS 603248 WITH SCORE 603973.682
AT ITER 9509 NEW BEST:: SOT 4390223 SOS 725628 HAS SOPS 725628 HAS SOUS 603194 HAS SOUPS 603194 WITH SCORE 603919.628
AT ITER 9516 NEW BEST:: SOT 4390169 SOS 725520 HAS SOPS 725520 HAS SOUS 603086 HAS SOUPS 603086 WITH SCORE 603811.52
AT ITER 9519 NEW BEST:: SOT 4390133 SOS 725412 HAS SOPS 725412 HAS SOUS 603014 HAS SOUPS 603014 WITH SCORE 603739.412
AT ITER 9523 NEW BEST:: SOT 4390117 SOS 725412 HAS SOPS 725412 HAS SOUS 603006 HAS SOUPS 603006 WITH SCORE 603731.412
AT ITER 9547 NEW BEST:: SOT 4390117 SOS 725380 HAS SOPS 725380 HAS SOUS 602974 HAS SOUPS 602974 WITH SCORE 603699.38
AT ITER 9560 NEW BEST:: SOT 4390080 SOS 725306 HAS SOPS 725306 HAS SOUS 602937 HAS SOUPS 602937 WITH SCORE 603662.306
AT ITER 9574 NEW BEST:: SOT 4390080 SOS 725275 HAS SOPS 725275 HAS SOUS 602937 HAS SOUPS 602937 WITH SCORE 603662.275
AT ITER 9601 NEW BEST:: SOT 4389982 SOS 725079 HAS SOPS 725079 HAS SOUS 602741 HAS SOUPS 602741 WITH SCORE 603466.079
AT ITER 9615 NEW BEST:: SOT 4390013 SOS 724811 HAS SOPS 724811 HAS SOUS 602714 HAS SOUPS 602714 WITH SCORE 603438.811
AT ITER 9617 NEW BEST:: SOT 4389920 SOS 724625 HAS SOPS 724625 HAS SOUS 602528 HAS SOUPS 602528 WITH SCORE 603252.625
AT ITER 9637 NEW BEST:: SOT 4389920 SOS 724600 HAS SOPS 724600 HAS SOUS 602523 HAS SOUPS 602523 WITH SCORE 603247.6
AT ITER 9654 NEW BEST:: SOT 4389151 SOS 723958 HAS SOPS 723958 HAS SOUS 602008 HAS SOUPS 602008 WITH SCORE 602731.958
AT ITER 9664 NEW BEST:: SOT 4388922 SOS 723500 HAS SOPS 723500 HAS SOUS 601550 HAS SOUPS 601550 WITH SCORE 602273.5
AT ITER 9668 NEW BEST:: SOT 4388864 SOS 723384 HAS SOPS 723384 HAS SOUS 601518 HAS SOUPS 601518 WITH SCORE 602241.384
AT ITER 9677 NEW BEST:: SOT 4388864 SOS 723384 HAS SOPS 723384 HAS SOUS 601515 HAS SOUPS 601515 WITH SCORE 602238.384
AT ITER 9678 NEW BEST:: SOT 4388713 SOS 723082 HAS SOPS 723082 HAS SOUS 601144 HAS SOUPS 601144 WITH SCORE 601867.082
AT ITER 9682 NEW BEST:: SOT 4388713 SOS 723018 HAS SOPS 723018 HAS SOUS 601144 HAS SOUPS 601144 WITH SCORE 601867.018
AT ITER 9690 NEW BEST:: SOT 4388752 SOS 722781 HAS SOPS 722781 HAS SOUS 601066 HAS SOUPS 601066 WITH SCORE 601788.781
AT ITER 9694 NEW BEST:: SOT 4388690 SOS 722657 HAS SOPS 722657 HAS SOUS 600942 HAS SOUPS 600942 WITH SCORE 601664.657
AT ITER 9697 NEW BEST:: SOT 4388358 SOS 721993 HAS SOPS 721993 HAS SOUS 600278 HAS SOUPS 600278 WITH SCORE 600999.993
AT ITER 9712 NEW BEST:: SOT 4388435 SOS 722147 HAS SOPS 722147 HAS SOUS 600191 HAS SOUPS 600191 WITH SCORE 600913.147
AT ITER 9722 NEW BEST:: SOT 4388286 SOS 721849 HAS SOPS 721849 HAS SOUS 600042 HAS SOUPS 600042 WITH SCORE 600763.849
AT ITER 9728 NEW BEST:: SOT 4387430 SOS 723210 HAS SOPS 723210 HAS SOUS 599590 HAS SOUPS 599590 WITH SCORE 600313.21
AT ITER 9755 NEW BEST:: SOT 4387430 SOS 723210 HAS SOPS 723210 HAS SOUS 599586 HAS SOUPS 599586 WITH SCORE 600309.21
AT ITER 9777 NEW BEST:: SOT 4387430 SOS 723210 HAS SOPS 723210 HAS SOUS 599549 HAS SOUPS 599549 WITH SCORE 600272.21
AT ITER 9794 NEW BEST:: SOT 4387430 SOS 723150 HAS SOPS 723150 HAS SOUS 599549 HAS SOUPS 599549 WITH SCORE 600272.15
AT ITER 9865 NEW BEST:: SOT 4387365 SOS 723020 HAS SOPS 723020 HAS SOUS 599419 HAS SOUPS 599419 WITH SCORE 600142.02
AT ITER 9889 NEW BEST:: SOT 4387132 SOS 722787 HAS SOPS 722787 HAS SOUS 599216 HAS SOUPS 599216 WITH SCORE 599938.787
AT ITER 9905 NEW BEST:: SOT 4387123 SOS 722674 HAS SOPS 722674 HAS SOUS 599112 HAS SOUPS 599112 WITH SCORE 599834.674
AT ITER 9927 NEW BEST:: SOT 4387027 SOS 722674 HAS SOPS 722674 HAS SOUS 599016 HAS SOUPS 599016 WITH SCORE 599738.674
AT ITER 9932 NEW BEST:: SOT 4387105 SOS 722654 HAS SOPS 722654 HAS SOUS 599009 HAS SOUPS 599009 WITH SCORE 599731.654
AT ITER 9947 NEW BEST:: SOT 4387098 SOS 722640 HAS SOPS 722640 HAS SOUS 598995 HAS SOUPS 598995 WITH SCORE 599717.64
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12160136 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152776 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-311"
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-311, 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-167814472000088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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