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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 11:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 11:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 11:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 25 11:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 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 1678218789710

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-303
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 303
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445607 SOS 744324 HAS SOPS 744324 HAS SOUS 686655 HAS SOUPS 686655 WITH SCORE 687399.324
AT ITER 1 NEW BEST:: SOT 4445460 SOS 744030 HAS SOPS 744030 HAS SOUS 686579 HAS SOUPS 686579 WITH SCORE 687323.03
AT ITER 2 NEW BEST:: SOT 4445460 SOS 743694 HAS SOPS 743694 HAS SOUS 686411 HAS SOUPS 686411 WITH SCORE 687154.694
AT ITER 3 NEW BEST:: SOT 4445372 SOS 743518 HAS SOPS 743518 HAS SOUS 686235 HAS SOUPS 686235 WITH SCORE 686978.518
AT ITER 7 NEW BEST:: SOT 4445035 SOS 743216 HAS SOPS 743216 HAS SOUS 685897 HAS SOUPS 685897 WITH SCORE 686640.216
AT ITER 24 NEW BEST:: SOT 4445035 SOS 743190 HAS SOPS 743190 HAS SOUS 685897 HAS SOUPS 685897 WITH SCORE 686640.19
AT ITER 61 NEW BEST:: SOT 4444726 SOS 742908 HAS SOPS 742908 HAS SOUS 685598 HAS SOUPS 685598 WITH SCORE 686340.908
AT ITER 99 NEW BEST:: SOT 4444477 SOS 742410 HAS SOPS 742410 HAS SOUS 685100 HAS SOUPS 685100 WITH SCORE 685842.41
AT ITER 134 NEW BEST:: SOT 4444475 SOS 742406 HAS SOPS 742406 HAS SOUS 685098 HAS SOUPS 685098 WITH SCORE 685840.406
AT ITER 160 NEW BEST:: SOT 4444441 SOS 742526 HAS SOPS 742526 HAS SOUS 685064 HAS SOUPS 685064 WITH SCORE 685806.526
AT ITER 188 NEW BEST:: SOT 4444346 SOS 742336 HAS SOPS 742336 HAS SOUS 684874 HAS SOUPS 684874 WITH SCORE 685616.336
AT ITER 210 NEW BEST:: SOT 4444262 SOS 742252 HAS SOPS 742252 HAS SOUS 684790 HAS SOUPS 684790 WITH SCORE 685532.252
AT ITER 218 NEW BEST:: SOT 4444157 SOS 742147 HAS SOPS 742147 HAS SOUS 684685 HAS SOUPS 684685 WITH SCORE 685427.147
AT ITER 301 NEW BEST:: SOT 4444019 SOS 742147 HAS SOPS 742147 HAS SOUS 684616 HAS SOUPS 684616 WITH SCORE 685358.147
AT ITER 302 NEW BEST:: SOT 4443909 SOS 741927 HAS SOPS 741927 HAS SOUS 684088 HAS SOUPS 684088 WITH SCORE 684829.927
AT ITER 306 NEW BEST:: SOT 4443909 SOS 741927 HAS SOPS 741927 HAS SOUS 684000 HAS SOUPS 684000 WITH SCORE 684741.927
AT ITER 309 NEW BEST:: SOT 4443896 SOS 741921 HAS SOPS 741921 HAS SOUS 683994 HAS SOUPS 683994 WITH SCORE 684735.921
AT ITER 337 NEW BEST:: SOT 4443617 SOS 741363 HAS SOPS 741363 HAS SOUS 683436 HAS SOUPS 683436 WITH SCORE 684177.363
AT ITER 369 NEW BEST:: SOT 4443408 SOS 741154 HAS SOPS 741154 HAS SOUS 683227 HAS SOUPS 683227 WITH SCORE 683968.154
AT ITER 372 NEW BEST:: SOT 4443281 SOS 740681 HAS SOPS 740681 HAS SOUS 682881 HAS SOUPS 682881 WITH SCORE 683621.681
AT ITER 390 NEW BEST:: SOT 4443035 SOS 740449 HAS SOPS 740449 HAS SOUS 682643 HAS SOUPS 682643 WITH SCORE 683383.449
AT ITER 399 NEW BEST:: SOT 4442943 SOS 740265 HAS SOPS 740265 HAS SOUS 682300 HAS SOUPS 682300 WITH SCORE 683040.265
AT ITER 428 NEW BEST:: SOT 4442943 SOS 740221 HAS SOPS 740221 HAS SOUS 682300 HAS SOUPS 682300 WITH SCORE 683040.221
AT ITER 433 NEW BEST:: SOT 4442683 SOS 740171 HAS SOPS 740171 HAS SOUS 682134 HAS SOUPS 682134 WITH SCORE 682874.171
AT ITER 449 NEW BEST:: SOT 4442694 SOS 739890 HAS SOPS 739890 HAS SOUS 681857 HAS SOUPS 681857 WITH SCORE 682596.89
AT ITER 474 NEW BEST:: SOT 4442694 SOS 739890 HAS SOPS 739890 HAS SOUS 681762 HAS SOUPS 681762 WITH SCORE 682501.89
AT ITER 475 NEW BEST:: SOT 4442694 SOS 739741 HAS SOPS 739741 HAS SOUS 681761 HAS SOUPS 681761 WITH SCORE 682500.741
AT ITER 503 NEW BEST:: SOT 4441161 SOS 761229 HAS SOPS 761229 HAS SOUS 681615 HAS SOUPS 681615 WITH SCORE 682376.229
AT ITER 507 NEW BEST:: SOT 4441144 SOS 761117 HAS SOPS 761117 HAS SOUS 681436 HAS SOUPS 681436 WITH SCORE 682197.117
AT ITER 515 NEW BEST:: SOT 4441026 SOS 760999 HAS SOPS 760999 HAS SOUS 681318 HAS SOUPS 681318 WITH SCORE 682078.999
AT ITER 516 NEW BEST:: SOT 4441022 SOS 760991 HAS SOPS 760991 HAS SOUS 681310 HAS SOUPS 681310 WITH SCORE 682070.991
AT ITER 526 NEW BEST:: SOT 4438619 SOS 795665 HAS SOPS 795665 HAS SOUS 680251 HAS SOUPS 680251 WITH SCORE 681046.665
AT ITER 600 NEW BEST:: SOT 4438659 SOS 795655 HAS SOPS 795655 HAS SOUS 680246 HAS SOUPS 680246 WITH SCORE 681041.655
AT ITER 614 NEW BEST:: SOT 4438680 SOS 795396 HAS SOPS 795396 HAS SOUS 680126 HAS SOUPS 680126 WITH SCORE 680921.396
AT ITER 620 NEW BEST:: SOT 4438735 SOS 795506 HAS SOPS 795506 HAS SOUS 680040 HAS SOUPS 680040 WITH SCORE 680835.506
AT ITER 634 NEW BEST:: SOT 4438609 SOS 790214 HAS SOPS 790214 HAS SOUS 679788 HAS SOUPS 679788 WITH SCORE 680578.214
AT ITER 672 NEW BEST:: SOT 4438443 SOS 789556 HAS SOPS 789556 HAS SOUS 679320 HAS SOUPS 679320 WITH SCORE 680109.556
AT ITER 700 NEW BEST:: SOT 4438417 SOS 789501 HAS SOPS 789501 HAS SOUS 679265 HAS SOUPS 679265 WITH SCORE 680054.501
AT ITER 712 NEW BEST:: SOT 4437428 SOS 788664 HAS SOPS 788664 HAS SOUS 678308 HAS SOUPS 678308 WITH SCORE 679096.664
AT ITER 730 NEW BEST:: SOT 4437532 SOS 788502 HAS SOPS 788502 HAS SOUS 678146 HAS SOUPS 678146 WITH SCORE 678934.502
AT ITER 733 NEW BEST:: SOT 4437460 SOS 788358 HAS SOPS 788358 HAS SOUS 677879 HAS SOUPS 677879 WITH SCORE 678667.358
AT ITER 747 NEW BEST:: SOT 4437457 SOS 788352 HAS SOPS 788352 HAS SOUS 677873 HAS SOUPS 677873 WITH SCORE 678661.352
AT ITER 760 NEW BEST:: SOT 4437232 SOS 787902 HAS SOPS 787902 HAS SOUS 677423 HAS SOUPS 677423 WITH SCORE 678210.902
AT ITER 775 NEW BEST:: SOT 4431099 SOS 796127 HAS SOPS 796127 HAS SOUS 672256 HAS SOUPS 672256 WITH SCORE 673052.127
AT ITER 781 NEW BEST:: SOT 4430996 SOS 795921 HAS SOPS 795921 HAS SOUS 672050 HAS SOUPS 672050 WITH SCORE 672845.921
AT ITER 782 NEW BEST:: SOT 4430916 SOS 795841 HAS SOPS 795841 HAS SOUS 671970 HAS SOUPS 671970 WITH SCORE 672765.841
AT ITER 784 NEW BEST:: SOT 4430915 SOS 795839 HAS SOPS 795839 HAS SOUS 671968 HAS SOUPS 671968 WITH SCORE 672763.839
AT ITER 824 NEW BEST:: SOT 4430915 SOS 795839 HAS SOPS 795839 HAS SOUS 671967 HAS SOUPS 671967 WITH SCORE 672762.839
AT ITER 831 NEW BEST:: SOT 4430881 SOS 795805 HAS SOPS 795805 HAS SOUS 671933 HAS SOUPS 671933 WITH SCORE 672728.805
AT ITER 843 NEW BEST:: SOT 4430794 SOS 795631 HAS SOPS 795631 HAS SOUS 671759 HAS SOUPS 671759 WITH SCORE 672554.631
AT ITER 888 NEW BEST:: SOT 4430598 SOS 795435 HAS SOPS 795435 HAS SOUS 671563 HAS SOUPS 671563 WITH SCORE 672358.435
AT ITER 909 NEW BEST:: SOT 4430597 SOS 795433 HAS SOPS 795433 HAS SOUS 671561 HAS SOUPS 671561 WITH SCORE 672356.433
AT ITER 955 NEW BEST:: SOT 4430543 SOS 795325 HAS SOPS 795325 HAS SOUS 671453 HAS SOUPS 671453 WITH SCORE 672248.325
AT ITER 983 NEW BEST:: SOT 4430454 SOS 795374 HAS SOPS 795374 HAS SOUS 671438 HAS SOUPS 671438 WITH SCORE 672233.374
AT ITER 1001 NEW BEST:: SOT 4430381 SOS 795228 HAS SOPS 795228 HAS SOUS 671438 HAS SOUPS 671438 WITH SCORE 672233.228
AT ITER 1008 NEW BEST:: SOT 4430255 SOS 794555 HAS SOPS 794555 HAS SOUS 671100 HAS SOUPS 671100 WITH SCORE 671894.555
AT ITER 1019 NEW BEST:: SOT 4430217 SOS 794517 HAS SOPS 794517 HAS SOUS 671100 HAS SOUPS 671100 WITH SCORE 671894.517
AT ITER 1036 NEW BEST:: SOT 4430216 SOS 794515 HAS SOPS 794515 HAS SOUS 671098 HAS SOUPS 671098 WITH SCORE 671892.515
AT ITER 1051 NEW BEST:: SOT 4429532 SOS 794059 HAS SOPS 794059 HAS SOUS 670642 HAS SOUPS 670642 WITH SCORE 671436.059
AT ITER 1099 NEW BEST:: SOT 4429532 SOS 794000 HAS SOPS 794000 HAS SOUS 670642 HAS SOUPS 670642 WITH SCORE 671436.0
AT ITER 1136 NEW BEST:: SOT 4429532 SOS 793815 HAS SOPS 793815 HAS SOUS 670641 HAS SOUPS 670641 WITH SCORE 671434.815
AT ITER 1159 NEW BEST:: SOT 4429378 SOS 793661 HAS SOPS 793661 HAS SOUS 670487 HAS SOUPS 670487 WITH SCORE 671280.661
AT ITER 1171 NEW BEST:: SOT 4429204 SOS 793023 HAS SOPS 793023 HAS SOUS 669890 HAS SOUPS 669890 WITH SCORE 670683.023
AT ITER 1189 NEW BEST:: SOT 4429013 SOS 792832 HAS SOPS 792832 HAS SOUS 669699 HAS SOUPS 669699 WITH SCORE 670491.832
AT ITER 1203 NEW BEST:: SOT 4428897 SOS 792832 HAS SOPS 792832 HAS SOUS 669583 HAS SOUPS 669583 WITH SCORE 670375.832
AT ITER 1212 NEW BEST:: SOT 4428896 SOS 792796 HAS SOPS 792796 HAS SOUS 669548 HAS SOUPS 669548 WITH SCORE 670340.796
AT ITER 1242 NEW BEST:: SOT 4428896 SOS 792747 HAS SOPS 792747 HAS SOUS 669547 HAS SOUPS 669547 WITH SCORE 670339.747
AT ITER 1243 NEW BEST:: SOT 4428753 SOS 792604 HAS SOPS 792604 HAS SOUS 669404 HAS SOUPS 669404 WITH SCORE 670196.604
AT ITER 1265 NEW BEST:: SOT 4428863 SOS 792305 HAS SOPS 792305 HAS SOUS 669341 HAS SOUPS 669341 WITH SCORE 670133.305
AT ITER 1268 NEW BEST:: SOT 4428863 SOS 792261 HAS SOPS 792261 HAS SOUS 669341 HAS SOUPS 669341 WITH SCORE 670133.261
AT ITER 1273 NEW BEST:: SOT 4428863 SOS 792261 HAS SOPS 792261 HAS SOUS 669102 HAS SOUPS 669102 WITH SCORE 669894.261
AT ITER 1279 NEW BEST:: SOT 4428842 SOS 792198 HAS SOPS 792198 HAS SOUS 669039 HAS SOUPS 669039 WITH SCORE 669831.198
AT ITER 1289 NEW BEST:: SOT 4428830 SOS 792198 HAS SOPS 792198 HAS SOUS 669027 HAS SOUPS 669027 WITH SCORE 669819.198
AT ITER 1301 NEW BEST:: SOT 4428708 SOS 792100 HAS SOPS 792100 HAS SOUS 668914 HAS SOUPS 668914 WITH SCORE 669706.1
AT ITER 1319 NEW BEST:: SOT 4428572 SOS 791828 HAS SOPS 791828 HAS SOUS 668460 HAS SOUPS 668460 WITH SCORE 669251.828
AT ITER 1337 NEW BEST:: SOT 4428601 SOS 791598 HAS SOPS 791598 HAS SOUS 668230 HAS SOUPS 668230 WITH SCORE 669021.598
AT ITER 1344 NEW BEST:: SOT 4428381 SOS 791158 HAS SOPS 791158 HAS SOUS 668086 HAS SOUPS 668086 WITH SCORE 668877.158
AT ITER 1357 NEW BEST:: SOT 4428381 SOS 791074 HAS SOPS 791074 HAS SOUS 668086 HAS SOUPS 668086 WITH SCORE 668877.074
AT ITER 1363 NEW BEST:: SOT 4428381 SOS 791074 HAS SOPS 791074 HAS SOUS 668084 HAS SOUPS 668084 WITH SCORE 668875.074
AT ITER 1406 NEW BEST:: SOT 4428270 SOS 790741 HAS SOPS 790741 HAS SOUS 667862 HAS SOUPS 667862 WITH SCORE 668652.741
AT ITER 1407 NEW BEST:: SOT 4428193 SOS 790587 HAS SOPS 790587 HAS SOUS 667708 HAS SOUPS 667708 WITH SCORE 668498.587
AT ITER 1439 NEW BEST:: SOT 4427986 SOS 790428 HAS SOPS 790428 HAS SOUS 667534 HAS SOUPS 667534 WITH SCORE 668324.428
AT ITER 1448 NEW BEST:: SOT 4427951 SOS 790393 HAS SOPS 790393 HAS SOUS 667499 HAS SOUPS 667499 WITH SCORE 668289.393
AT ITER 1494 NEW BEST:: SOT 4427894 SOS 790279 HAS SOPS 790279 HAS SOUS 667442 HAS SOUPS 667442 WITH SCORE 668232.279
AT ITER 1498 NEW BEST:: SOT 4427737 SOS 789751 HAS SOPS 789751 HAS SOUS 667096 HAS SOUPS 667096 WITH SCORE 667885.751
AT ITER 1500 NEW BEST:: SOT 4427640 SOS 789391 HAS SOPS 789391 HAS SOUS 666774 HAS SOUPS 666774 WITH SCORE 667563.391
AT ITER 1587 NEW BEST:: SOT 4427120 SOS 788948 HAS SOPS 788948 HAS SOUS 666331 HAS SOUPS 666331 WITH SCORE 667119.948
AT ITER 1589 NEW BEST:: SOT 4427125 SOS 788958 HAS SOPS 788958 HAS SOUS 666265 HAS SOUPS 666265 WITH SCORE 667053.958
AT ITER 1591 NEW BEST:: SOT 4426952 SOS 788612 HAS SOPS 788612 HAS SOUS 665919 HAS SOUPS 665919 WITH SCORE 666707.612
AT ITER 1618 NEW BEST:: SOT 4426791 SOS 788290 HAS SOPS 788290 HAS SOUS 665597 HAS SOUPS 665597 WITH SCORE 666385.29
AT ITER 1627 NEW BEST:: SOT 4426710 SOS 788236 HAS SOPS 788236 HAS SOUS 665516 HAS SOUPS 665516 WITH SCORE 666304.236
AT ITER 1633 NEW BEST:: SOT 4425930 SOS 787196 HAS SOPS 787196 HAS SOUS 664476 HAS SOUPS 664476 WITH SCORE 665263.196
AT ITER 1638 NEW BEST:: SOT 4425763 SOS 786573 HAS SOPS 786573 HAS SOUS 664142 HAS SOUPS 664142 WITH SCORE 664928.573
AT ITER 1674 NEW BEST:: SOT 4425663 SOS 786473 HAS SOPS 786473 HAS SOUS 664042 HAS SOUPS 664042 WITH SCORE 664828.473
AT ITER 1693 NEW BEST:: SOT 4425217 SOS 786649 HAS SOPS 786649 HAS SOUS 663715 HAS SOUPS 663715 WITH SCORE 664501.649
AT ITER 1697 NEW BEST:: SOT 4425219 SOS 786653 HAS SOPS 786653 HAS SOUS 663576 HAS SOUPS 663576 WITH SCORE 664362.653
AT ITER 1727 NEW BEST:: SOT 4425211 SOS 786637 HAS SOPS 786637 HAS SOUS 663560 HAS SOUPS 663560 WITH SCORE 664346.637
AT ITER 1738 NEW BEST:: SOT 4425211 SOS 786480 HAS SOPS 786480 HAS SOUS 663403 HAS SOUPS 663403 WITH SCORE 664189.48
AT ITER 1755 NEW BEST:: SOT 4425210 SOS 786173 HAS SOPS 786173 HAS SOUS 663401 HAS SOUPS 663401 WITH SCORE 664187.173
AT ITER 1801 NEW BEST:: SOT 4425088 SOS 786051 HAS SOPS 786051 HAS SOUS 663279 HAS SOUPS 663279 WITH SCORE 664065.051
AT ITER 1802 NEW BEST:: SOT 4425088 SOS 785894 HAS SOPS 785894 HAS SOUS 663122 HAS SOUPS 663122 WITH SCORE 663907.894
AT ITER 1823 NEW BEST:: SOT 4424788 SOS 785594 HAS SOPS 785594 HAS SOUS 662822 HAS SOUPS 662822 WITH SCORE 663607.594
AT ITER 1824 NEW BEST:: SOT 4424616 SOS 785422 HAS SOPS 785422 HAS SOUS 662822 HAS SOUPS 662822 WITH SCORE 663607.422
AT ITER 1830 NEW BEST:: SOT 4424548 SOS 785286 HAS SOPS 785286 HAS SOUS 662686 HAS SOUPS 662686 WITH SCORE 663471.286
AT ITER 1834 NEW BEST:: SOT 4423956 SOS 785750 HAS SOPS 785750 HAS SOUS 662320 HAS SOUPS 662320 WITH SCORE 663105.75
AT ITER 1917 NEW BEST:: SOT 4423799 SOS 785593 HAS SOPS 785593 HAS SOUS 662162 HAS SOUPS 662162 WITH SCORE 662947.593
AT ITER 1921 NEW BEST:: SOT 4423577 SOS 785445 HAS SOPS 785445 HAS SOUS 661940 HAS SOUPS 661940 WITH SCORE 662725.445
AT ITER 1960 NEW BEST:: SOT 4423518 SOS 785264 HAS SOPS 785264 HAS SOUS 661822 HAS SOUPS 661822 WITH SCORE 662607.264
AT ITER 1972 NEW BEST:: SOT 4423523 SOS 785274 HAS SOPS 785274 HAS SOUS 661601 HAS SOUPS 661601 WITH SCORE 662386.274
AT ITER 1974 NEW BEST:: SOT 4423459 SOS 785146 HAS SOPS 785146 HAS SOUS 661537 HAS SOUPS 661537 WITH SCORE 662322.146
AT ITER 1994 NEW BEST:: SOT 4422222 SOS 783909 HAS SOPS 783909 HAS SOUS 660431 HAS SOUPS 660431 WITH SCORE 661214.909
AT ITER 1998 NEW BEST:: SOT 4422121 SOS 783832 HAS SOPS 783832 HAS SOUS 660330 HAS SOUPS 660330 WITH SCORE 661113.832
AT ITER 2008 NEW BEST:: SOT 4422039 SOS 783750 HAS SOPS 783750 HAS SOUS 660248 HAS SOUPS 660248 WITH SCORE 661031.75
AT ITER 2017 NEW BEST:: SOT 4421944 SOS 783560 HAS SOPS 783560 HAS SOUS 660058 HAS SOUPS 660058 WITH SCORE 660841.56
AT ITER 2021 NEW BEST:: SOT 4421787 SOS 783246 HAS SOPS 783246 HAS SOUS 659901 HAS SOUPS 659901 WITH SCORE 660684.246
AT ITER 2034 NEW BEST:: SOT 4421633 SOS 783287 HAS SOPS 783287 HAS SOUS 659512 HAS SOUPS 659512 WITH SCORE 660295.287
AT ITER 2051 NEW BEST:: SOT 4421474 SOS 782969 HAS SOPS 782969 HAS SOUS 659194 HAS SOUPS 659194 WITH SCORE 659976.969
AT ITER 2056 NEW BEST:: SOT 4421637 SOS 782647 HAS SOPS 782647 HAS SOUS 659141 HAS SOUPS 659141 WITH SCORE 659923.647
AT ITER 2079 NEW BEST:: SOT 4421618 SOS 782590 HAS SOPS 782590 HAS SOUS 659103 HAS SOUPS 659103 WITH SCORE 659885.59
AT ITER 2092 NEW BEST:: SOT 4421570 SOS 782494 HAS SOPS 782494 HAS SOUS 659007 HAS SOUPS 659007 WITH SCORE 659789.494
AT ITER 2105 NEW BEST:: SOT 4421412 SOS 782336 HAS SOPS 782336 HAS SOUS 658849 HAS SOUPS 658849 WITH SCORE 659631.336
AT ITER 2129 NEW BEST:: SOT 4421208 SOS 781928 HAS SOPS 781928 HAS SOUS 658570 HAS SOUPS 658570 WITH SCORE 659351.928
AT ITER 2137 NEW BEST:: SOT 4421207 SOS 782135 HAS SOPS 782135 HAS SOUS 658568 HAS SOUPS 658568 WITH SCORE 659350.135
AT ITER 2139 NEW BEST:: SOT 4421031 SOS 782091 HAS SOPS 782091 HAS SOUS 658084 HAS SOUPS 658084 WITH SCORE 658866.091
AT ITER 2170 NEW BEST:: SOT 4420945 SOS 782005 HAS SOPS 782005 HAS SOUS 657998 HAS SOUPS 657998 WITH SCORE 658780.005
AT ITER 2175 NEW BEST:: SOT 4420550 SOS 781432 HAS SOPS 781432 HAS SOUS 657603 HAS SOUPS 657603 WITH SCORE 658384.432
AT ITER 2194 NEW BEST:: SOT 4420544 SOS 781420 HAS SOPS 781420 HAS SOUS 657591 HAS SOUPS 657591 WITH SCORE 658372.42
AT ITER 2198 NEW BEST:: SOT 4420444 SOS 781333 HAS SOPS 781333 HAS SOUS 657441 HAS SOUPS 657441 WITH SCORE 658222.333
AT ITER 2206 NEW BEST:: SOT 4420527 SOS 781377 HAS SOPS 781377 HAS SOUS 657402 HAS SOUPS 657402 WITH SCORE 658183.377
AT ITER 2208 NEW BEST:: SOT 4420037 SOS 781377 HAS SOPS 781377 HAS SOUS 657157 HAS SOUPS 657157 WITH SCORE 657938.377
AT ITER 2210 NEW BEST:: SOT 4419897 SOS 781097 HAS SOPS 781097 HAS SOUS 656877 HAS SOUPS 656877 WITH SCORE 657658.097
AT ITER 2217 NEW BEST:: SOT 4419406 SOS 780703 HAS SOPS 780703 HAS SOUS 656436 HAS SOUPS 656436 WITH SCORE 657216.703
AT ITER 2256 NEW BEST:: SOT 4419200 SOS 780497 HAS SOPS 780497 HAS SOUS 656230 HAS SOUPS 656230 WITH SCORE 657010.497
AT ITER 2307 NEW BEST:: SOT 4418661 SOS 780139 HAS SOPS 780139 HAS SOUS 655872 HAS SOUPS 655872 WITH SCORE 656652.139
AT ITER 2319 NEW BEST:: SOT 4418635 SOS 780087 HAS SOPS 780087 HAS SOUS 655846 HAS SOUPS 655846 WITH SCORE 656626.087
AT ITER 2328 NEW BEST:: SOT 4418476 SOS 779769 HAS SOPS 779769 HAS SOUS 655528 HAS SOUPS 655528 WITH SCORE 656307.769
AT ITER 2359 NEW BEST:: SOT 4418080 SOS 779373 HAS SOPS 779373 HAS SOUS 655132 HAS SOUPS 655132 WITH SCORE 655911.373
AT ITER 2363 NEW BEST:: SOT 4418080 SOS 779373 HAS SOPS 779373 HAS SOUS 655131 HAS SOUPS 655131 WITH SCORE 655910.373
AT ITER 2375 NEW BEST:: SOT 4418079 SOS 778980 HAS SOPS 778980 HAS SOUS 655129 HAS SOUPS 655129 WITH SCORE 655907.98
AT ITER 2388 NEW BEST:: SOT 4418289 SOS 778639 HAS SOPS 778639 HAS SOUS 654873 HAS SOUPS 654873 WITH SCORE 655651.639
AT ITER 2454 NEW BEST:: SOT 4418149 SOS 777841 HAS SOPS 777841 HAS SOUS 654593 HAS SOUPS 654593 WITH SCORE 655370.841
AT ITER 2500 NEW BEST:: SOT 4418148 SOS 777800 HAS SOPS 777800 HAS SOUS 654591 HAS SOUPS 654591 WITH SCORE 655368.8
AT ITER 2520 NEW BEST:: SOT 4418066 SOS 777636 HAS SOPS 777636 HAS SOUS 654427 HAS SOUPS 654427 WITH SCORE 655204.636
AT ITER 2532 NEW BEST:: SOT 4417861 SOS 777226 HAS SOPS 777226 HAS SOUS 653874 HAS SOUPS 653874 WITH SCORE 654651.226
AT ITER 2594 NEW BEST:: SOT 4417699 SOS 777527 HAS SOPS 777527 HAS SOUS 653837 HAS SOUPS 653837 WITH SCORE 654614.527
AT ITER 2598 NEW BEST:: SOT 4417411 SOS 777443 HAS SOPS 777443 HAS SOUS 653589 HAS SOUPS 653589 WITH SCORE 654366.443
AT ITER 2647 NEW BEST:: SOT 4417290 SOS 777201 HAS SOPS 777201 HAS SOUS 653347 HAS SOUPS 653347 WITH SCORE 654124.201
AT ITER 2656 NEW BEST:: SOT 4417162 SOS 777073 HAS SOPS 777073 HAS SOUS 653219 HAS SOUPS 653219 WITH SCORE 653996.073
AT ITER 2685 NEW BEST:: SOT 4417012 SOS 776923 HAS SOPS 776923 HAS SOUS 653069 HAS SOUPS 653069 WITH SCORE 653845.923
AT ITER 2690 NEW BEST:: SOT 4417012 SOS 776735 HAS SOPS 776735 HAS SOUS 653068 HAS SOUPS 653068 WITH SCORE 653844.735
AT ITER 2700 NEW BEST:: SOT 4417011 SOS 776392 HAS SOPS 776392 HAS SOUS 653066 HAS SOUPS 653066 WITH SCORE 653842.392
AT ITER 2709 NEW BEST:: SOT 4416944 SOS 776379 HAS SOPS 776379 HAS SOUS 653053 HAS SOUPS 653053 WITH SCORE 653829.379
AT ITER 2713 NEW BEST:: SOT 4416670 SOS 776105 HAS SOPS 776105 HAS SOUS 653003 HAS SOUPS 653003 WITH SCORE 653779.105
AT ITER 2727 NEW BEST:: SOT 4416340 SOS 775445 HAS SOPS 775445 HAS SOUS 652343 HAS SOUPS 652343 WITH SCORE 653118.445
AT ITER 2730 NEW BEST:: SOT 4416339 SOS 775443 HAS SOPS 775443 HAS SOUS 652341 HAS SOUPS 652341 WITH SCORE 653116.443
AT ITER 2744 NEW BEST:: SOT 4416339 SOS 775153 HAS SOPS 775153 HAS SOUS 652341 HAS SOUPS 652341 WITH SCORE 653116.153
AT ITER 2747 NEW BEST:: SOT 4416339 SOS 775336 HAS SOPS 775336 HAS SOUS 652158 HAS SOUPS 652158 WITH SCORE 652933.336
AT ITER 2761 NEW BEST:: SOT 4416317 SOS 775314 HAS SOPS 775314 HAS SOUS 652136 HAS SOUPS 652136 WITH SCORE 652911.314
AT ITER 2767 NEW BEST:: SOT 4416317 SOS 775221 HAS SOPS 775221 HAS SOUS 652043 HAS SOUPS 652043 WITH SCORE 652818.221
AT ITER 2861 NEW BEST:: SOT 4416128 SOS 775398 HAS SOPS 775398 HAS SOUS 651918 HAS SOUPS 651918 WITH SCORE 652693.398
AT ITER 2868 NEW BEST:: SOT 4416126 SOS 775484 HAS SOPS 775484 HAS SOUS 651915 HAS SOUPS 651915 WITH SCORE 652690.484
AT ITER 2890 NEW BEST:: SOT 4416221 SOS 775527 HAS SOPS 775527 HAS SOUS 651613 HAS SOUPS 651613 WITH SCORE 652388.527
AT ITER 2906 NEW BEST:: SOT 4416393 SOS 775871 HAS SOPS 775871 HAS SOUS 651541 HAS SOUPS 651541 WITH SCORE 652316.871
AT ITER 2975 NEW BEST:: SOT 4416223 SOS 775303 HAS SOPS 775303 HAS SOUS 651201 HAS SOUPS 651201 WITH SCORE 651976.303
AT ITER 2990 NEW BEST:: SOT 4415693 SOS 773284 HAS SOPS 773284 HAS SOUS 649925 HAS SOUPS 649925 WITH SCORE 650698.284
AT ITER 3033 NEW BEST:: SOT 4415300 SOS 772498 HAS SOPS 772498 HAS SOUS 649139 HAS SOUPS 649139 WITH SCORE 649911.498
AT ITER 3094 NEW BEST:: SOT 4415364 SOS 772498 HAS SOPS 772498 HAS SOUS 649075 HAS SOUPS 649075 WITH SCORE 649847.498
AT ITER 3096 NEW BEST:: SOT 4415234 SOS 772396 HAS SOPS 772396 HAS SOUS 648957 HAS SOUPS 648957 WITH SCORE 649729.396
AT ITER 3105 NEW BEST:: SOT 4415233 SOS 772330 HAS SOPS 772330 HAS SOUS 648892 HAS SOUPS 648892 WITH SCORE 649664.33
AT ITER 3128 NEW BEST:: SOT 4415231 SOS 772326 HAS SOPS 772326 HAS SOUS 648888 HAS SOUPS 648888 WITH SCORE 649660.326
AT ITER 3131 NEW BEST:: SOT 4415059 SOS 771982 HAS SOPS 771982 HAS SOUS 648544 HAS SOUPS 648544 WITH SCORE 649315.982
AT ITER 3161 NEW BEST:: SOT 4415061 SOS 771834 HAS SOPS 771834 HAS SOUS 648470 HAS SOUPS 648470 WITH SCORE 649241.834
AT ITER 3200 NEW BEST:: SOT 4414631 SOS 771404 HAS SOPS 771404 HAS SOUS 648040 HAS SOUPS 648040 WITH SCORE 648811.404
AT ITER 3231 NEW BEST:: SOT 4414358 SOS 770858 HAS SOPS 770858 HAS SOUS 647494 HAS SOUPS 647494 WITH SCORE 648264.858
AT ITER 3234 NEW BEST:: SOT 4413932 SOS 770492 HAS SOPS 770492 HAS SOUS 647099 HAS SOUPS 647099 WITH SCORE 647869.492
AT ITER 3246 NEW BEST:: SOT 4413840 SOS 770216 HAS SOPS 770216 HAS SOUS 646915 HAS SOUPS 646915 WITH SCORE 647685.216
AT ITER 3254 NEW BEST:: SOT 4413839 SOS 770214 HAS SOPS 770214 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647683.214
AT ITER 3278 NEW BEST:: SOT 4413839 SOS 770023 HAS SOPS 770023 HAS SOUS 646913 HAS SOUPS 646913 WITH SCORE 647683.023
AT ITER 3287 NEW BEST:: SOT 4413909 SOS 769836 HAS SOPS 769836 HAS SOUS 646726 HAS SOUPS 646726 WITH SCORE 647495.836
AT ITER 3304 NEW BEST:: SOT 4413980 SOS 769978 HAS SOPS 769978 HAS SOUS 646640 HAS SOUPS 646640 WITH SCORE 647409.978
AT ITER 3314 NEW BEST:: SOT 4414105 SOS 770228 HAS SOPS 770228 HAS SOUS 646483 HAS SOUPS 646483 WITH SCORE 647253.228
AT ITER 3328 NEW BEST:: SOT 4413779 SOS 769765 HAS SOPS 769765 HAS SOUS 645968 HAS SOUPS 645968 WITH SCORE 646737.765
AT ITER 3331 NEW BEST:: SOT 4413779 SOS 769733 HAS SOPS 769733 HAS SOUS 645968 HAS SOUPS 645968 WITH SCORE 646737.733
AT ITER 3345 NEW BEST:: SOT 4413739 SOS 769653 HAS SOPS 769653 HAS SOUS 645928 HAS SOUPS 645928 WITH SCORE 646697.653
AT ITER 3365 NEW BEST:: SOT 4413638 SOS 769552 HAS SOPS 769552 HAS SOUS 645827 HAS SOUPS 645827 WITH SCORE 646596.552
AT ITER 3366 NEW BEST:: SOT 4413487 SOS 769250 HAS SOPS 769250 HAS SOUS 645525 HAS SOUPS 645525 WITH SCORE 646294.25
AT ITER 3368 NEW BEST:: SOT 4413348 SOS 769083 HAS SOPS 769083 HAS SOUS 645302 HAS SOUPS 645302 WITH SCORE 646071.083
AT ITER 3387 NEW BEST:: SOT 4413234 SOS 768662 HAS SOPS 768662 HAS SOUS 645074 HAS SOUPS 645074 WITH SCORE 645842.662
AT ITER 3399 NEW BEST:: SOT 4413307 SOS 768394 HAS SOPS 768394 HAS SOUS 644744 HAS SOUPS 644744 WITH SCORE 645512.394
AT ITER 3413 NEW BEST:: SOT 4413160 SOS 768198 HAS SOPS 768198 HAS SOUS 644548 HAS SOUPS 644548 WITH SCORE 645316.198
AT ITER 3438 NEW BEST:: SOT 4413064 SOS 768102 HAS SOPS 768102 HAS SOUS 644452 HAS SOUPS 644452 WITH SCORE 645220.102
AT ITER 3452 NEW BEST:: SOT 4412945 SOS 767864 HAS SOPS 767864 HAS SOUS 644331 HAS SOUPS 644331 WITH SCORE 645098.864
AT ITER 3455 NEW BEST:: SOT 4413026 SOS 768371 HAS SOPS 768371 HAS SOUS 644189 HAS SOUPS 644189 WITH SCORE 644957.371
AT ITER 3457 NEW BEST:: SOT 4413026 SOS 768011 HAS SOPS 768011 HAS SOUS 644189 HAS SOUPS 644189 WITH SCORE 644957.011
AT ITER 3472 NEW BEST:: SOT 4413060 SOS 768079 HAS SOPS 768079 HAS SOUS 644014 HAS SOUPS 644014 WITH SCORE 644782.079
AT ITER 3483 NEW BEST:: SOT 4412994 SOS 768112 HAS SOPS 768112 HAS SOUS 643981 HAS SOUPS 643981 WITH SCORE 644749.112
AT ITER 3484 NEW BEST:: SOT 4412862 SOS 767848 HAS SOPS 767848 HAS SOUS 643464 HAS SOUPS 643464 WITH SCORE 644231.848
AT ITER 3509 NEW BEST:: SOT 4412862 SOS 767554 HAS SOPS 767554 HAS SOUS 643464 HAS SOUPS 643464 WITH SCORE 644231.554
AT ITER 3525 NEW BEST:: SOT 4412655 SOS 767347 HAS SOPS 767347 HAS SOUS 643464 HAS SOUPS 643464 WITH SCORE 644231.347
AT ITER 3530 NEW BEST:: SOT 4412655 SOS 767250 HAS SOPS 767250 HAS SOUS 643464 HAS SOUPS 643464 WITH SCORE 644231.25
AT ITER 3544 NEW BEST:: SOT 4412655 SOS 767250 HAS SOPS 767250 HAS SOUS 643463 HAS SOUPS 643463 WITH SCORE 644230.25
AT ITER 3552 NEW BEST:: SOT 4412572 SOS 767084 HAS SOPS 767084 HAS SOUS 643297 HAS SOUPS 643297 WITH SCORE 644064.084
AT ITER 3604 NEW BEST:: SOT 4412216 SOS 766728 HAS SOPS 766728 HAS SOUS 642941 HAS SOUPS 642941 WITH SCORE 643707.728
AT ITER 3607 NEW BEST:: SOT 4412202 SOS 766700 HAS SOPS 766700 HAS SOUS 642913 HAS SOUPS 642913 WITH SCORE 643679.7
AT ITER 3627 NEW BEST:: SOT 4412023 SOS 766521 HAS SOPS 766521 HAS SOUS 642892 HAS SOUPS 642892 WITH SCORE 643658.521
AT ITER 3641 NEW BEST:: SOT 4412023 SOS 766521 HAS SOPS 766521 HAS SOUS 642742 HAS SOUPS 642742 WITH SCORE 643508.521
AT ITER 3661 NEW BEST:: SOT 4411991 SOS 766457 HAS SOPS 766457 HAS SOUS 642678 HAS SOUPS 642678 WITH SCORE 643444.457
AT ITER 3694 NEW BEST:: SOT 4411720 SOS 765915 HAS SOPS 765915 HAS SOUS 642427 HAS SOUPS 642427 WITH SCORE 643192.915
AT ITER 3696 NEW BEST:: SOT 4411641 SOS 765847 HAS SOPS 765847 HAS SOUS 642350 HAS SOUPS 642350 WITH SCORE 643115.847
AT ITER 3748 NEW BEST:: SOT 4411666 SOS 765750 HAS SOPS 765750 HAS SOUS 642308 HAS SOUPS 642308 WITH SCORE 643073.75
AT ITER 3758 NEW BEST:: SOT 4411653 SOS 765724 HAS SOPS 765724 HAS SOUS 642282 HAS SOUPS 642282 WITH SCORE 643047.724
AT ITER 3776 NEW BEST:: SOT 4411379 SOS 765176 HAS SOPS 765176 HAS SOUS 641734 HAS SOUPS 641734 WITH SCORE 642499.176
AT ITER 3790 NEW BEST:: SOT 4411351 SOS 765120 HAS SOPS 765120 HAS SOUS 641678 HAS SOUPS 641678 WITH SCORE 642443.12
AT ITER 3801 NEW BEST:: SOT 4411398 SOS 764991 HAS SOPS 764991 HAS SOUS 641572 HAS SOUPS 641572 WITH SCORE 642336.991
AT ITER 3856 NEW BEST:: SOT 4411310 SOS 764727 HAS SOPS 764727 HAS SOUS 641443 HAS SOUPS 641443 WITH SCORE 642207.727
AT ITER 3891 NEW BEST:: SOT 4411310 SOS 764727 HAS SOPS 764727 HAS SOUS 641391 HAS SOUPS 641391 WITH SCORE 642155.727
AT ITER 3937 NEW BEST:: SOT 4410961 SOS 764268 HAS SOPS 764268 HAS SOUS 640829 HAS SOUPS 640829 WITH SCORE 641593.268
AT ITER 3939 NEW BEST:: SOT 4410886 SOS 764118 HAS SOPS 764118 HAS SOUS 640679 HAS SOUPS 640679 WITH SCORE 641443.118
AT ITER 3941 NEW BEST:: SOT 4410519 SOS 764679 HAS SOPS 764679 HAS SOUS 640442 HAS SOUPS 640442 WITH SCORE 641206.679
AT ITER 3946 NEW BEST:: SOT 4410518 SOS 764677 HAS SOPS 764677 HAS SOUS 640440 HAS SOUPS 640440 WITH SCORE 641204.677
AT ITER 3976 NEW BEST:: SOT 4410405 SOS 764451 HAS SOPS 764451 HAS SOUS 640326 HAS SOUPS 640326 WITH SCORE 641090.451
AT ITER 4008 NEW BEST:: SOT 4410459 SOS 763880 HAS SOPS 763880 HAS SOUS 639868 HAS SOUPS 639868 WITH SCORE 640631.88
AT ITER 4011 NEW BEST:: SOT 4410393 SOS 763814 HAS SOPS 763814 HAS SOUS 639802 HAS SOUPS 639802 WITH SCORE 640565.814
AT ITER 4042 NEW BEST:: SOT 4410379 SOS 763786 HAS SOPS 763786 HAS SOUS 639774 HAS SOUPS 639774 WITH SCORE 640537.786
AT ITER 4071 NEW BEST:: SOT 4409987 SOS 763198 HAS SOPS 763198 HAS SOUS 639186 HAS SOUPS 639186 WITH SCORE 639949.198
AT ITER 4077 NEW BEST:: SOT 4409987 SOS 763136 HAS SOPS 763136 HAS SOUS 639124 HAS SOUPS 639124 WITH SCORE 639887.136
AT ITER 4081 NEW BEST:: SOT 4409987 SOS 763136 HAS SOPS 763136 HAS SOUS 639064 HAS SOUPS 639064 WITH SCORE 639827.136
AT ITER 4082 NEW BEST:: SOT 4409987 SOS 762959 HAS SOPS 762959 HAS SOUS 639064 HAS SOUPS 639064 WITH SCORE 639826.959
AT ITER 4112 NEW BEST:: SOT 4409812 SOS 762609 HAS SOPS 762609 HAS SOUS 638714 HAS SOUPS 638714 WITH SCORE 639476.609
AT ITER 4122 NEW BEST:: SOT 4409573 SOS 762661 HAS SOPS 762661 HAS SOUS 638501 HAS SOUPS 638501 WITH SCORE 639263.661
AT ITER 4221 NEW BEST:: SOT 4409316 SOS 762511 HAS SOPS 762511 HAS SOUS 638267 HAS SOUPS 638267 WITH SCORE 639029.511
AT ITER 4251 NEW BEST:: SOT 4408655 SOS 763528 HAS SOPS 763528 HAS SOUS 638144 HAS SOUPS 638144 WITH SCORE 638907.528
AT ITER 4265 NEW BEST:: SOT 4408713 SOS 763417 HAS SOPS 763417 HAS SOUS 638033 HAS SOUPS 638033 WITH SCORE 638796.417
AT ITER 4270 NEW BEST:: SOT 4408713 SOS 763417 HAS SOPS 763417 HAS SOUS 637961 HAS SOUPS 637961 WITH SCORE 638724.417
AT ITER 4280 NEW BEST:: SOT 4408650 SOS 763291 HAS SOPS 763291 HAS SOUS 637835 HAS SOUPS 637835 WITH SCORE 638598.291
AT ITER 4305 NEW BEST:: SOT 4408645 SOS 763281 HAS SOPS 763281 HAS SOUS 637830 HAS SOUPS 637830 WITH SCORE 638593.281
AT ITER 4318 NEW BEST:: SOT 4408645 SOS 763144 HAS SOPS 763144 HAS SOUS 637830 HAS SOUPS 637830 WITH SCORE 638593.144
AT ITER 4321 NEW BEST:: SOT 4408331 SOS 762830 HAS SOPS 762830 HAS SOUS 637516 HAS SOUPS 637516 WITH SCORE 638278.83
AT ITER 4330 NEW BEST:: SOT 4408331 SOS 762749 HAS SOPS 762749 HAS SOUS 637516 HAS SOUPS 637516 WITH SCORE 638278.749
AT ITER 4333 NEW BEST:: SOT 4408331 SOS 762363 HAS SOPS 762363 HAS SOUS 637323 HAS SOUPS 637323 WITH SCORE 638085.363
AT ITER 4360 NEW BEST:: SOT 4408330 SOS 762246 HAS SOPS 762246 HAS SOUS 637321 HAS SOUPS 637321 WITH SCORE 638083.246
AT ITER 4371 NEW BEST:: SOT 4408330 SOS 762200 HAS SOPS 762200 HAS SOUS 637321 HAS SOUPS 637321 WITH SCORE 638083.2
AT ITER 4410 NEW BEST:: SOT 4408267 SOS 762074 HAS SOPS 762074 HAS SOUS 637195 HAS SOUPS 637195 WITH SCORE 637957.074
AT ITER 4429 NEW BEST:: SOT 4408296 SOS 762040 HAS SOPS 762040 HAS SOUS 637132 HAS SOUPS 637132 WITH SCORE 637894.04
AT ITER 4454 NEW BEST:: SOT 4408277 SOS 762002 HAS SOPS 762002 HAS SOUS 637094 HAS SOUPS 637094 WITH SCORE 637856.002
AT ITER 4471 NEW BEST:: SOT 4408246 SOS 761940 HAS SOPS 761940 HAS SOUS 637032 HAS SOUPS 637032 WITH SCORE 637793.94
AT ITER 4509 NEW BEST:: SOT 4408246 SOS 761841 HAS SOPS 761841 HAS SOUS 637031 HAS SOUPS 637031 WITH SCORE 637792.841
AT ITER 4521 NEW BEST:: SOT 4408243 SOS 761835 HAS SOPS 761835 HAS SOUS 637025 HAS SOUPS 637025 WITH SCORE 637786.835
AT ITER 4550 NEW BEST:: SOT 4408099 SOS 761835 HAS SOPS 761835 HAS SOUS 636953 HAS SOUPS 636953 WITH SCORE 637714.835
AT ITER 4559 NEW BEST:: SOT 4407989 SOS 761434 HAS SOPS 761434 HAS SOUS 636843 HAS SOUPS 636843 WITH SCORE 637604.434
AT ITER 4568 NEW BEST:: SOT 4407790 SOS 760775 HAS SOPS 760775 HAS SOUS 636269 HAS SOUPS 636269 WITH SCORE 637029.775
AT ITER 4622 NEW BEST:: SOT 4407685 SOS 760565 HAS SOPS 760565 HAS SOUS 636111 HAS SOUPS 636111 WITH SCORE 636871.565
AT ITER 4639 NEW BEST:: SOT 4407636 SOS 760467 HAS SOPS 760467 HAS SOUS 636062 HAS SOUPS 636062 WITH SCORE 636822.467
AT ITER 4668 NEW BEST:: SOT 4407520 SOS 760235 HAS SOPS 760235 HAS SOUS 635830 HAS SOUPS 635830 WITH SCORE 636590.235
AT ITER 4672 NEW BEST:: SOT 4407486 SOS 760201 HAS SOPS 760201 HAS SOUS 635796 HAS SOUPS 635796 WITH SCORE 636556.201
AT ITER 4676 NEW BEST:: SOT 4407486 SOS 760109 HAS SOPS 760109 HAS SOUS 635704 HAS SOUPS 635704 WITH SCORE 636464.109
AT ITER 4707 NEW BEST:: SOT 4407341 SOS 754086 HAS SOPS 754086 HAS SOUS 635414 HAS SOUPS 635414 WITH SCORE 636168.086
AT ITER 4740 NEW BEST:: SOT 4407341 SOS 753878 HAS SOPS 753878 HAS SOUS 635206 HAS SOUPS 635206 WITH SCORE 635959.878
AT ITER 4745 NEW BEST:: SOT 4407327 SOS 753850 HAS SOPS 753850 HAS SOUS 635178 HAS SOUPS 635178 WITH SCORE 635931.85
AT ITER 4773 NEW BEST:: SOT 4407189 SOS 753870 HAS SOPS 753870 HAS SOUS 635114 HAS SOUPS 635114 WITH SCORE 635867.87
AT ITER 4799 NEW BEST:: SOT 4406831 SOS 754873 HAS SOPS 754873 HAS SOUS 634965 HAS SOUPS 634965 WITH SCORE 635719.873
AT ITER 4802 NEW BEST:: SOT 4406233 SOS 754298 HAS SOPS 754298 HAS SOUS 634367 HAS SOUPS 634367 WITH SCORE 635121.298
AT ITER 4815 NEW BEST:: SOT 4406233 SOS 754183 HAS SOPS 754183 HAS SOUS 634252 HAS SOUPS 634252 WITH SCORE 635006.183
AT ITER 4862 NEW BEST:: SOT 4406119 SOS 754139 HAS SOPS 754139 HAS SOUS 634163 HAS SOUPS 634163 WITH SCORE 634917.139
AT ITER 4904 NEW BEST:: SOT 4406106 SOS 754113 HAS SOPS 754113 HAS SOUS 634137 HAS SOUPS 634137 WITH SCORE 634891.113
AT ITER 4930 NEW BEST:: SOT 4406105 SOS 753796 HAS SOPS 753796 HAS SOUS 634135 HAS SOUPS 634135 WITH SCORE 634888.796
AT ITER 4962 NEW BEST:: SOT 4405936 SOS 753633 HAS SOPS 753633 HAS SOUS 633966 HAS SOUPS 633966 WITH SCORE 634719.633
AT ITER 4968 NEW BEST:: SOT 4405532 SOS 753331 HAS SOPS 753331 HAS SOUS 633344 HAS SOUPS 633344 WITH SCORE 634097.331
AT ITER 4992 NEW BEST:: SOT 4405503 SOS 753273 HAS SOPS 753273 HAS SOUS 633286 HAS SOUPS 633286 WITH SCORE 634039.273
AT ITER 5017 NEW BEST:: SOT 4405325 SOS 753006 HAS SOPS 753006 HAS SOUS 633019 HAS SOUPS 633019 WITH SCORE 633772.006
AT ITER 5043 NEW BEST:: SOT 4404927 SOS 752652 HAS SOPS 752652 HAS SOUS 632625 HAS SOUPS 632625 WITH SCORE 633377.652
AT ITER 5049 NEW BEST:: SOT 4404926 SOS 752650 HAS SOPS 752650 HAS SOUS 632623 HAS SOUPS 632623 WITH SCORE 633375.65
AT ITER 5050 NEW BEST:: SOT 4404838 SOS 752474 HAS SOPS 752474 HAS SOUS 632235 HAS SOUPS 632235 WITH SCORE 632987.474
AT ITER 5064 NEW BEST:: SOT 4404838 SOS 752474 HAS SOPS 752474 HAS SOUS 632120 HAS SOUPS 632120 WITH SCORE 632872.474
AT ITER 5082 NEW BEST:: SOT 4404838 SOS 752278 HAS SOPS 752278 HAS SOUS 632120 HAS SOUPS 632120 WITH SCORE 632872.278
AT ITER 5087 NEW BEST:: SOT 4404837 SOS 752276 HAS SOPS 752276 HAS SOUS 632118 HAS SOUPS 632118 WITH SCORE 632870.276
AT ITER 5108 NEW BEST:: SOT 4404767 SOS 752136 HAS SOPS 752136 HAS SOUS 632011 HAS SOUPS 632011 WITH SCORE 632763.136
AT ITER 5117 NEW BEST:: SOT 4404924 SOS 752245 HAS SOPS 752245 HAS SOUS 631962 HAS SOUPS 631962 WITH SCORE 632714.245
AT ITER 5129 NEW BEST:: SOT 4404928 SOS 752253 HAS SOPS 752253 HAS SOUS 631952 HAS SOUPS 631952 WITH SCORE 632704.253
AT ITER 5147 NEW BEST:: SOT 4404468 SOS 751793 HAS SOPS 751793 HAS SOUS 631492 HAS SOUPS 631492 WITH SCORE 632243.793
AT ITER 5153 NEW BEST:: SOT 4404459 SOS 751775 HAS SOPS 751775 HAS SOUS 631474 HAS SOUPS 631474 WITH SCORE 632225.775
AT ITER 5166 NEW BEST:: SOT 4403326 SOS 778250 HAS SOPS 778250 HAS SOUS 631031 HAS SOUPS 631031 WITH SCORE 631809.25
AT ITER 5174 NEW BEST:: SOT 4403326 SOS 778250 HAS SOPS 778250 HAS SOUS 631024 HAS SOUPS 631024 WITH SCORE 631802.25
AT ITER 5188 NEW BEST:: SOT 4403325 SOS 777929 HAS SOPS 777929 HAS SOUS 630862 HAS SOUPS 630862 WITH SCORE 631639.929
AT ITER 5190 NEW BEST:: SOT 4403207 SOS 777558 HAS SOPS 777558 HAS SOUS 630626 HAS SOUPS 630626 WITH SCORE 631403.558
AT ITER 5213 NEW BEST:: SOT 4403137 SOS 777418 HAS SOPS 777418 HAS SOUS 630486 HAS SOUPS 630486 WITH SCORE 631263.418
AT ITER 5221 NEW BEST:: SOT 4402984 SOS 777112 HAS SOPS 777112 HAS SOUS 630180 HAS SOUPS 630180 WITH SCORE 630957.112
AT ITER 5263 NEW BEST:: SOT 4402755 SOS 776891 HAS SOPS 776891 HAS SOUS 629951 HAS SOUPS 629951 WITH SCORE 630727.891
AT ITER 5277 NEW BEST:: SOT 4402697 SOS 776775 HAS SOPS 776775 HAS SOUS 629835 HAS SOUPS 629835 WITH SCORE 630611.775
AT ITER 5287 NEW BEST:: SOT 4402697 SOS 776775 HAS SOPS 776775 HAS SOUS 629811 HAS SOUPS 629811 WITH SCORE 630587.775
AT ITER 5329 NEW BEST:: SOT 4402471 SOS 776594 HAS SOPS 776594 HAS SOUS 629607 HAS SOUPS 629607 WITH SCORE 630383.594
AT ITER 5340 NEW BEST:: SOT 4402603 SOS 776452 HAS SOPS 776452 HAS SOUS 629465 HAS SOUPS 629465 WITH SCORE 630241.452
AT ITER 5341 NEW BEST:: SOT 4402453 SOS 776152 HAS SOPS 776152 HAS SOUS 629240 HAS SOUPS 629240 WITH SCORE 630016.152
AT ITER 5369 NEW BEST:: SOT 4402396 SOS 776038 HAS SOPS 776038 HAS SOUS 629126 HAS SOUPS 629126 WITH SCORE 629902.038
AT ITER 5388 NEW BEST:: SOT 4402280 SOS 775690 HAS SOPS 775690 HAS SOUS 628894 HAS SOUPS 628894 WITH SCORE 629669.69
AT ITER 5402 NEW BEST:: SOT 4402135 SOS 775400 HAS SOPS 775400 HAS SOUS 628749 HAS SOUPS 628749 WITH SCORE 629524.4
AT ITER 5420 NEW BEST:: SOT 4402051 SOS 775344 HAS SOPS 775344 HAS SOUS 628693 HAS SOUPS 628693 WITH SCORE 629468.344
AT ITER 5455 NEW BEST:: SOT 4402047 SOS 775114 HAS SOPS 775114 HAS SOUS 628685 HAS SOUPS 628685 WITH SCORE 629460.114
AT ITER 5459 NEW BEST:: SOT 4401766 SOS 774850 HAS SOPS 774850 HAS SOUS 628414 HAS SOUPS 628414 WITH SCORE 629188.85
AT ITER 5460 NEW BEST:: SOT 4401766 SOS 774602 HAS SOPS 774602 HAS SOUS 628414 HAS SOUPS 628414 WITH SCORE 629188.602
AT ITER 5484 NEW BEST:: SOT 4401596 SOS 774262 HAS SOPS 774262 HAS SOUS 628079 HAS SOUPS 628079 WITH SCORE 628853.262
AT ITER 5502 NEW BEST:: SOT 4401595 SOS 774230 HAS SOPS 774230 HAS SOUS 628077 HAS SOUPS 628077 WITH SCORE 628851.23
AT ITER 5507 NEW BEST:: SOT 4401506 SOS 774141 HAS SOPS 774141 HAS SOUS 627988 HAS SOUPS 627988 WITH SCORE 628762.141
AT ITER 5511 NEW BEST:: SOT 4401506 SOS 774287 HAS SOPS 774287 HAS SOUS 627842 HAS SOUPS 627842 WITH SCORE 628616.287
AT ITER 5516 NEW BEST:: SOT 4401477 SOS 774229 HAS SOPS 774229 HAS SOUS 627784 HAS SOUPS 627784 WITH SCORE 628558.229
AT ITER 5534 NEW BEST:: SOT 4401390 SOS 774142 HAS SOPS 774142 HAS SOUS 627697 HAS SOUPS 627697 WITH SCORE 628471.142
AT ITER 5543 NEW BEST:: SOT 4401233 SOS 774012 HAS SOPS 774012 HAS SOUS 627550 HAS SOUPS 627550 WITH SCORE 628324.012
AT ITER 5558 NEW BEST:: SOT 4401092 SOS 773730 HAS SOPS 773730 HAS SOUS 627409 HAS SOUPS 627409 WITH SCORE 628182.73
AT ITER 5587 NEW BEST:: SOT 4401092 SOS 773559 HAS SOPS 773559 HAS SOUS 627409 HAS SOUPS 627409 WITH SCORE 628182.559
AT ITER 5598 NEW BEST:: SOT 4400911 SOS 773197 HAS SOPS 773197 HAS SOUS 627047 HAS SOUPS 627047 WITH SCORE 627820.197
AT ITER 5600 NEW BEST:: SOT 4400911 SOS 772926 HAS SOPS 772926 HAS SOUS 627047 HAS SOUPS 627047 WITH SCORE 627819.926
AT ITER 5615 NEW BEST:: SOT 4400746 SOS 772596 HAS SOPS 772596 HAS SOUS 626997 HAS SOUPS 626997 WITH SCORE 627769.596
AT ITER 5623 NEW BEST:: SOT 4400746 SOS 772506 HAS SOPS 772506 HAS SOUS 626997 HAS SOUPS 626997 WITH SCORE 627769.506
AT ITER 5636 NEW BEST:: SOT 4400673 SOS 772287 HAS SOPS 772287 HAS SOUS 626851 HAS SOUPS 626851 WITH SCORE 627623.287
AT ITER 5638 NEW BEST:: SOT 4400461 SOS 772287 HAS SOPS 772287 HAS SOUS 626768 HAS SOUPS 626768 WITH SCORE 627540.287
AT ITER 5654 NEW BEST:: SOT 4400446 SOS 772257 HAS SOPS 772257 HAS SOUS 626738 HAS SOUPS 626738 WITH SCORE 627510.257
AT ITER 5718 NEW BEST:: SOT 4400360 SOS 772085 HAS SOPS 772085 HAS SOUS 626652 HAS SOUPS 626652 WITH SCORE 627424.085
AT ITER 5724 NEW BEST:: SOT 4400342 SOS 772049 HAS SOPS 772049 HAS SOUS 626616 HAS SOUPS 626616 WITH SCORE 627388.049
AT ITER 5729 NEW BEST:: SOT 4400168 SOS 771701 HAS SOPS 771701 HAS SOUS 626111 HAS SOUPS 626111 WITH SCORE 626882.701
AT ITER 5761 NEW BEST:: SOT 4400168 SOS 771632 HAS SOPS 771632 HAS SOUS 626111 HAS SOUPS 626111 WITH SCORE 626882.632
AT ITER 5766 NEW BEST:: SOT 4400168 SOS 771612 HAS SOPS 771612 HAS SOUS 626111 HAS SOUPS 626111 WITH SCORE 626882.612
AT ITER 5772 NEW BEST:: SOT 4400147 SOS 771570 HAS SOPS 771570 HAS SOUS 626069 HAS SOUPS 626069 WITH SCORE 626840.57
AT ITER 5776 NEW BEST:: SOT 4400100 SOS 771476 HAS SOPS 771476 HAS SOUS 626022 HAS SOUPS 626022 WITH SCORE 626793.476
AT ITER 5790 NEW BEST:: SOT 4399834 SOS 771310 HAS SOPS 771310 HAS SOUS 625734 HAS SOUPS 625734 WITH SCORE 626505.31
AT ITER 5812 NEW BEST:: SOT 4399825 SOS 771926 HAS SOPS 771926 HAS SOUS 625567 HAS SOUPS 625567 WITH SCORE 626338.926
AT ITER 5845 NEW BEST:: SOT 4399567 SOS 771926 HAS SOPS 771926 HAS SOUS 625438 HAS SOUPS 625438 WITH SCORE 626209.926
AT ITER 5857 NEW BEST:: SOT 4399348 SOS 771488 HAS SOPS 771488 HAS SOUS 625219 HAS SOUPS 625219 WITH SCORE 625990.488
AT ITER 5878 NEW BEST:: SOT 4399181 SOS 771154 HAS SOPS 771154 HAS SOUS 624885 HAS SOUPS 624885 WITH SCORE 625656.154
AT ITER 5893 NEW BEST:: SOT 4399181 SOS 771154 HAS SOPS 771154 HAS SOUS 624884 HAS SOUPS 624884 WITH SCORE 625655.154
AT ITER 5914 NEW BEST:: SOT 4398994 SOS 770780 HAS SOPS 770780 HAS SOUS 624510 HAS SOUPS 624510 WITH SCORE 625280.78
AT ITER 5922 NEW BEST:: SOT 4398732 SOS 770077 HAS SOPS 770077 HAS SOUS 623721 HAS SOUPS 623721 WITH SCORE 624491.077
AT ITER 5926 NEW BEST:: SOT 4398643 SOS 769918 HAS SOPS 769918 HAS SOUS 623631 HAS SOUPS 623631 WITH SCORE 624400.918
AT ITER 5938 NEW BEST:: SOT 4398530 SOS 769579 HAS SOPS 769579 HAS SOUS 623405 HAS SOUPS 623405 WITH SCORE 624174.579
AT ITER 5951 NEW BEST:: SOT 4398522 SOS 769563 HAS SOPS 769563 HAS SOUS 623389 HAS SOUPS 623389 WITH SCORE 624158.563
AT ITER 5953 NEW BEST:: SOT 4398522 SOS 769529 HAS SOPS 769529 HAS SOUS 623355 HAS SOUPS 623355 WITH SCORE 624124.529
AT ITER 5968 NEW BEST:: SOT 4398516 SOS 769517 HAS SOPS 769517 HAS SOUS 623349 HAS SOUPS 623349 WITH SCORE 624118.517
AT ITER 6046 NEW BEST:: SOT 4398611 SOS 769529 HAS SOPS 769529 HAS SOUS 623218 HAS SOUPS 623218 WITH SCORE 623987.529
AT ITER 6065 NEW BEST:: SOT 4398525 SOS 769357 HAS SOPS 769357 HAS SOUS 623132 HAS SOUPS 623132 WITH SCORE 623901.357
AT ITER 6070 NEW BEST:: SOT 4398525 SOS 769119 HAS SOPS 769119 HAS SOUS 623132 HAS SOUPS 623132 WITH SCORE 623901.119
AT ITER 6093 NEW BEST:: SOT 4398430 SOS 769076 HAS SOPS 769076 HAS SOUS 623086 HAS SOUPS 623086 WITH SCORE 623855.076
AT ITER 6094 NEW BEST:: SOT 4398430 SOS 769039 HAS SOPS 769039 HAS SOUS 623086 HAS SOUPS 623086 WITH SCORE 623855.039
AT ITER 6097 NEW BEST:: SOT 4398371 SOS 768921 HAS SOPS 768921 HAS SOUS 623027 HAS SOUPS 623027 WITH SCORE 623795.921
AT ITER 6110 NEW BEST:: SOT 4398371 SOS 768921 HAS SOPS 768921 HAS SOUS 623024 HAS SOUPS 623024 WITH SCORE 623792.921
AT ITER 6122 NEW BEST:: SOT 4398077 SOS 768333 HAS SOPS 768333 HAS SOUS 622874 HAS SOUPS 622874 WITH SCORE 623642.333
AT ITER 6194 NEW BEST:: SOT 4398077 SOS 768286 HAS SOPS 768286 HAS SOUS 622827 HAS SOUPS 622827 WITH SCORE 623595.286
AT ITER 6197 NEW BEST:: SOT 4398102 SOS 768336 HAS SOPS 768336 HAS SOUS 622780 HAS SOUPS 622780 WITH SCORE 623548.336
AT ITER 6207 NEW BEST:: SOT 4397987 SOS 767937 HAS SOPS 767937 HAS SOUS 622550 HAS SOUPS 622550 WITH SCORE 623317.937
AT ITER 6210 NEW BEST:: SOT 4397887 SOS 767944 HAS SOPS 767944 HAS SOUS 622350 HAS SOUPS 622350 WITH SCORE 623117.944
AT ITER 6240 NEW BEST:: SOT 4397736 SOS 767642 HAS SOPS 767642 HAS SOUS 622199 HAS SOUPS 622199 WITH SCORE 622966.642
AT ITER 6264 NEW BEST:: SOT 4397531 SOS 767027 HAS SOPS 767027 HAS SOUS 621789 HAS SOUPS 621789 WITH SCORE 622556.027
AT ITER 6274 NEW BEST:: SOT 4397518 SOS 767001 HAS SOPS 767001 HAS SOUS 621776 HAS SOUPS 621776 WITH SCORE 622543.001
AT ITER 6283 NEW BEST:: SOT 4397252 SOS 766735 HAS SOPS 766735 HAS SOUS 621523 HAS SOUPS 621523 WITH SCORE 622289.735
AT ITER 6332 NEW BEST:: SOT 4397193 SOS 766676 HAS SOPS 766676 HAS SOUS 621464 HAS SOUPS 621464 WITH SCORE 622230.676
AT ITER 6335 NEW BEST:: SOT 4397183 SOS 766656 HAS SOPS 766656 HAS SOUS 621391 HAS SOUPS 621391 WITH SCORE 622157.656
AT ITER 6354 NEW BEST:: SOT 4396962 SOS 766119 HAS SOPS 766119 HAS SOUS 621265 HAS SOUPS 621265 WITH SCORE 622031.119
AT ITER 6362 NEW BEST:: SOT 4396962 SOS 766119 HAS SOPS 766119 HAS SOUS 621166 HAS SOUPS 621166 WITH SCORE 621932.119
AT ITER 6369 NEW BEST:: SOT 4396896 SOS 765987 HAS SOPS 765987 HAS SOUS 621100 HAS SOUPS 621100 WITH SCORE 621865.987
AT ITER 6378 NEW BEST:: SOT 4396554 SOS 765873 HAS SOPS 765873 HAS SOUS 620872 HAS SOUPS 620872 WITH SCORE 621637.873
AT ITER 6381 NEW BEST:: SOT 4396554 SOS 765873 HAS SOPS 765873 HAS SOUS 620850 HAS SOUPS 620850 WITH SCORE 621615.873
AT ITER 6390 NEW BEST:: SOT 4396168 SOS 765637 HAS SOPS 765637 HAS SOUS 620429 HAS SOUPS 620429 WITH SCORE 621194.637
AT ITER 6392 NEW BEST:: SOT 4396129 SOS 765559 HAS SOPS 765559 HAS SOUS 620317 HAS SOUPS 620317 WITH SCORE 621082.559
AT ITER 6422 NEW BEST:: SOT 4396116 SOS 765533 HAS SOPS 765533 HAS SOUS 620304 HAS SOUPS 620304 WITH SCORE 621069.533
AT ITER 6425 NEW BEST:: SOT 4396046 SOS 765079 HAS SOPS 765079 HAS SOUS 620164 HAS SOUPS 620164 WITH SCORE 620929.079
AT ITER 6436 NEW BEST:: SOT 4396038 SOS 765063 HAS SOPS 765063 HAS SOUS 620148 HAS SOUPS 620148 WITH SCORE 620913.063
AT ITER 6444 NEW BEST:: SOT 4395812 SOS 764855 HAS SOPS 764855 HAS SOUS 619971 HAS SOUPS 619971 WITH SCORE 620735.855
AT ITER 6465 NEW BEST:: SOT 4395853 SOS 764357 HAS SOPS 764357 HAS SOUS 619722 HAS SOUPS 619722 WITH SCORE 620486.357
AT ITER 6474 NEW BEST:: SOT 4395579 SOS 763809 HAS SOPS 763809 HAS SOUS 619174 HAS SOUPS 619174 WITH SCORE 619937.809
AT ITER 6485 NEW BEST:: SOT 4395543 SOS 763737 HAS SOPS 763737 HAS SOUS 619102 HAS SOUPS 619102 WITH SCORE 619865.737
AT ITER 6534 NEW BEST:: SOT 4395699 SOS 763684 HAS SOPS 763684 HAS SOUS 619059 HAS SOUPS 619059 WITH SCORE 619822.684
AT ITER 6540 NEW BEST:: SOT 4395644 SOS 763574 HAS SOPS 763574 HAS SOUS 618949 HAS SOUPS 618949 WITH SCORE 619712.574
AT ITER 6554 NEW BEST:: SOT 4395428 SOS 763142 HAS SOPS 763142 HAS SOUS 618556 HAS SOUPS 618556 WITH SCORE 619319.142
AT ITER 6562 NEW BEST:: SOT 4395310 SOS 762906 HAS SOPS 762906 HAS SOUS 618398 HAS SOUPS 618398 WITH SCORE 619160.906
AT ITER 6575 NEW BEST:: SOT 4395447 SOS 762322 HAS SOPS 762322 HAS SOUS 618241 HAS SOUPS 618241 WITH SCORE 619003.322
AT ITER 6579 NEW BEST:: SOT 4395427 SOS 762302 HAS SOPS 762302 HAS SOUS 618220 HAS SOUPS 618220 WITH SCORE 618982.302
AT ITER 6587 NEW BEST:: SOT 4395371 SOS 762190 HAS SOPS 762190 HAS SOUS 618209 HAS SOUPS 618209 WITH SCORE 618971.19
AT ITER 6646 NEW BEST:: SOT 4395260 SOS 762190 HAS SOPS 762190 HAS SOUS 618098 HAS SOUPS 618098 WITH SCORE 618860.19
AT ITER 6701 NEW BEST:: SOT 4395295 SOS 762260 HAS SOPS 762260 HAS SOUS 618033 HAS SOUPS 618033 WITH SCORE 618795.26
AT ITER 6705 NEW BEST:: SOT 4395126 SOS 762102 HAS SOPS 762102 HAS SOUS 617869 HAS SOUPS 617869 WITH SCORE 618631.102
AT ITER 6711 NEW BEST:: SOT 4395192 SOS 762234 HAS SOPS 762234 HAS SOUS 617822 HAS SOUPS 617822 WITH SCORE 618584.234
AT ITER 6716 NEW BEST:: SOT 4395121 SOS 762092 HAS SOPS 762092 HAS SOUS 617748 HAS SOUPS 617748 WITH SCORE 618510.092
AT ITER 6719 NEW BEST:: SOT 4395121 SOS 762064 HAS SOPS 762064 HAS SOUS 617720 HAS SOUPS 617720 WITH SCORE 618482.064
AT ITER 6752 NEW BEST:: SOT 4395056 SOS 761934 HAS SOPS 761934 HAS SOUS 617655 HAS SOUPS 617655 WITH SCORE 618416.934
AT ITER 6758 NEW BEST:: SOT 4395020 SOS 761898 HAS SOPS 761898 HAS SOUS 617619 HAS SOUPS 617619 WITH SCORE 618380.898
AT ITER 6866 NEW BEST:: SOT 4394802 SOS 761860 HAS SOPS 761860 HAS SOUS 617581 HAS SOUPS 617581 WITH SCORE 618342.86
AT ITER 6893 NEW BEST:: SOT 4394750 SOS 761756 HAS SOPS 761756 HAS SOUS 617425 HAS SOUPS 617425 WITH SCORE 618186.756
AT ITER 6917 NEW BEST:: SOT 4394185 SOS 760626 HAS SOPS 760626 HAS SOUS 616668 HAS SOUPS 616668 WITH SCORE 617428.626
AT ITER 6925 NEW BEST:: SOT 4394113 SOS 760530 HAS SOPS 760530 HAS SOUS 616572 HAS SOUPS 616572 WITH SCORE 617332.53
AT ITER 6926 NEW BEST:: SOT 4393908 SOS 760364 HAS SOPS 760364 HAS SOUS 616386 HAS SOUPS 616386 WITH SCORE 617146.364
AT ITER 6941 NEW BEST:: SOT 4393908 SOS 760364 HAS SOPS 760364 HAS SOUS 616377 HAS SOUPS 616377 WITH SCORE 617137.364
AT ITER 6953 NEW BEST:: SOT 4393552 SOS 759874 HAS SOPS 759874 HAS SOUS 616028 HAS SOUPS 616028 WITH SCORE 616787.874
AT ITER 6956 NEW BEST:: SOT 4393270 SOS 759457 HAS SOPS 759457 HAS SOUS 615599 HAS SOUPS 615599 WITH SCORE 616358.457
AT ITER 6998 NEW BEST:: SOT 4393242 SOS 759429 HAS SOPS 759429 HAS SOUS 615560 HAS SOUPS 615560 WITH SCORE 616319.429
AT ITER 7019 NEW BEST:: SOT 4392907 SOS 758759 HAS SOPS 758759 HAS SOUS 614890 HAS SOUPS 614890 WITH SCORE 615648.759
AT ITER 7022 NEW BEST:: SOT 4392647 SOS 758239 HAS SOPS 758239 HAS SOUS 614627 HAS SOUPS 614627 WITH SCORE 615385.239
AT ITER 7031 NEW BEST:: SOT 4392533 SOS 757415 HAS SOPS 757415 HAS SOUS 614370 HAS SOUPS 614370 WITH SCORE 615127.415
AT ITER 7049 NEW BEST:: SOT 4392529 SOS 757407 HAS SOPS 757407 HAS SOUS 614366 HAS SOUPS 614366 WITH SCORE 615123.407
AT ITER 7053 NEW BEST:: SOT 4392528 SOS 757405 HAS SOPS 757405 HAS SOUS 614364 HAS SOUPS 614364 WITH SCORE 615121.405
AT ITER 7057 NEW BEST:: SOT 4392528 SOS 757386 HAS SOPS 757386 HAS SOUS 614364 HAS SOUPS 614364 WITH SCORE 615121.386
AT ITER 7075 NEW BEST:: SOT 4392237 SOS 757100 HAS SOPS 757100 HAS SOUS 614078 HAS SOUPS 614078 WITH SCORE 614835.1
AT ITER 7087 NEW BEST:: SOT 4392215 SOS 757056 HAS SOPS 757056 HAS SOUS 614034 HAS SOUPS 614034 WITH SCORE 614791.056
AT ITER 7091 NEW BEST:: SOT 4392115 SOS 756691 HAS SOPS 756691 HAS SOUS 613769 HAS SOUPS 613769 WITH SCORE 614525.691
AT ITER 7094 NEW BEST:: SOT 4392127 SOS 756624 HAS SOPS 756624 HAS SOUS 613702 HAS SOUPS 613702 WITH SCORE 614458.624
AT ITER 7113 NEW BEST:: SOT 4392080 SOS 756530 HAS SOPS 756530 HAS SOUS 613608 HAS SOUPS 613608 WITH SCORE 614364.53
AT ITER 7123 NEW BEST:: SOT 4392064 SOS 756506 HAS SOPS 756506 HAS SOUS 613592 HAS SOUPS 613592 WITH SCORE 614348.506
AT ITER 7144 NEW BEST:: SOT 4391811 SOS 756370 HAS SOPS 756370 HAS SOUS 613333 HAS SOUPS 613333 WITH SCORE 614089.37
AT ITER 7148 NEW BEST:: SOT 4392384 SOS 756486 HAS SOPS 756486 HAS SOUS 613221 HAS SOUPS 613221 WITH SCORE 613977.486
AT ITER 7158 NEW BEST:: SOT 4392378 SOS 756219 HAS SOPS 756219 HAS SOUS 612933 HAS SOUPS 612933 WITH SCORE 613689.219
AT ITER 7213 NEW BEST:: SOT 4392354 SOS 756187 HAS SOPS 756187 HAS SOUS 612901 HAS SOUPS 612901 WITH SCORE 613657.187
AT ITER 7218 NEW BEST:: SOT 4392354 SOS 756159 HAS SOPS 756159 HAS SOUS 612901 HAS SOUPS 612901 WITH SCORE 613657.159
AT ITER 7220 NEW BEST:: SOT 4392143 SOS 756129 HAS SOPS 756129 HAS SOUS 612690 HAS SOUPS 612690 WITH SCORE 613446.129
AT ITER 7247 NEW BEST:: SOT 4392128 SOS 756011 HAS SOPS 756011 HAS SOUS 612587 HAS SOUPS 612587 WITH SCORE 613343.011
AT ITER 7253 NEW BEST:: SOT 4392037 SOS 755601 HAS SOPS 755601 HAS SOUS 612268 HAS SOUPS 612268 WITH SCORE 613023.601
AT ITER 7262 NEW BEST:: SOT 4391862 SOS 755496 HAS SOPS 755496 HAS SOUS 612128 HAS SOUPS 612128 WITH SCORE 612883.496
AT ITER 7267 NEW BEST:: SOT 4391808 SOS 755388 HAS SOPS 755388 HAS SOUS 612020 HAS SOUPS 612020 WITH SCORE 612775.388
AT ITER 7287 NEW BEST:: SOT 4392186 SOS 755838 HAS SOPS 755838 HAS SOUS 612011 HAS SOUPS 612011 WITH SCORE 612766.838
AT ITER 7289 NEW BEST:: SOT 4392096 SOS 755658 HAS SOPS 755658 HAS SOUS 611831 HAS SOUPS 611831 WITH SCORE 612586.658
AT ITER 7304 NEW BEST:: SOT 4392096 SOS 755658 HAS SOPS 755658 HAS SOUS 611757 HAS SOUPS 611757 WITH SCORE 612512.658
AT ITER 7307 NEW BEST:: SOT 4391976 SOS 755702 HAS SOPS 755702 HAS SOUS 611637 HAS SOUPS 611637 WITH SCORE 612392.702
AT ITER 7332 NEW BEST:: SOT 4391901 SOS 755552 HAS SOPS 755552 HAS SOUS 611562 HAS SOUPS 611562 WITH SCORE 612317.552
AT ITER 7333 NEW BEST:: SOT 4391852 SOS 755503 HAS SOPS 755503 HAS SOUS 611513 HAS SOUPS 611513 WITH SCORE 612268.503
AT ITER 7347 NEW BEST:: SOT 4391653 SOS 755083 HAS SOPS 755083 HAS SOUS 611336 HAS SOUPS 611336 WITH SCORE 612091.083
AT ITER 7376 NEW BEST:: SOT 4391695 SOS 754945 HAS SOPS 754945 HAS SOUS 611198 HAS SOUPS 611198 WITH SCORE 611952.945
AT ITER 7451 NEW BEST:: SOT 4391695 SOS 754771 HAS SOPS 754771 HAS SOUS 611198 HAS SOUPS 611198 WITH SCORE 611952.771
AT ITER 7500 NEW BEST:: SOT 4391655 SOS 754691 HAS SOPS 754691 HAS SOUS 611104 HAS SOUPS 611104 WITH SCORE 611858.691
AT ITER 7525 NEW BEST:: SOT 4391652 SOS 754685 HAS SOPS 754685 HAS SOUS 611101 HAS SOUPS 611101 WITH SCORE 611855.685
AT ITER 7541 NEW BEST:: SOT 4391506 SOS 754638 HAS SOPS 754638 HAS SOUS 610990 HAS SOUPS 610990 WITH SCORE 611744.638
AT ITER 7578 NEW BEST:: SOT 4390921 SOS 754248 HAS SOPS 754248 HAS SOUS 610410 HAS SOUPS 610410 WITH SCORE 611164.248
AT ITER 7601 NEW BEST:: SOT 4390920 SOS 754246 HAS SOPS 754246 HAS SOUS 610408 HAS SOUPS 610408 WITH SCORE 611162.246
AT ITER 7608 NEW BEST:: SOT 4390913 SOS 754121 HAS SOPS 754121 HAS SOUS 610401 HAS SOUPS 610401 WITH SCORE 611155.121
AT ITER 7614 NEW BEST:: SOT 4390905 SOS 754105 HAS SOPS 754105 HAS SOUS 610393 HAS SOUPS 610393 WITH SCORE 611147.105
AT ITER 7636 NEW BEST:: SOT 4390973 SOS 753984 HAS SOPS 753984 HAS SOUS 610350 HAS SOUPS 610350 WITH SCORE 611103.984
AT ITER 7658 NEW BEST:: SOT 4390534 SOS 753106 HAS SOPS 753106 HAS SOUS 610025 HAS SOUPS 610025 WITH SCORE 610778.106
AT ITER 7660 NEW BEST:: SOT 4390534 SOS 753106 HAS SOPS 753106 HAS SOUS 609946 HAS SOUPS 609946 WITH SCORE 610699.106
AT ITER 7698 NEW BEST:: SOT 4390112 SOS 752262 HAS SOPS 752262 HAS SOUS 609431 HAS SOUPS 609431 WITH SCORE 610183.262
AT ITER 7711 NEW BEST:: SOT 4390076 SOS 752190 HAS SOPS 752190 HAS SOUS 609395 HAS SOUPS 609395 WITH SCORE 610147.19
AT ITER 7724 NEW BEST:: SOT 4390076 SOS 752190 HAS SOPS 752190 HAS SOUS 609388 HAS SOUPS 609388 WITH SCORE 610140.19
AT ITER 7739 NEW BEST:: SOT 4389699 SOS 751436 HAS SOPS 751436 HAS SOUS 608811 HAS SOUPS 608811 WITH SCORE 609562.436
AT ITER 7744 NEW BEST:: SOT 4389513 SOS 751064 HAS SOPS 751064 HAS SOUS 608439 HAS SOUPS 608439 WITH SCORE 609190.064
AT ITER 7757 NEW BEST:: SOT 4389241 SOS 750802 HAS SOPS 750802 HAS SOUS 608031 HAS SOUPS 608031 WITH SCORE 608781.802
AT ITER 7779 NEW BEST:: SOT 4389219 SOS 750780 HAS SOPS 750780 HAS SOUS 608009 HAS SOUPS 608009 WITH SCORE 608759.78
AT ITER 7814 NEW BEST:: SOT 4389010 SOS 750571 HAS SOPS 750571 HAS SOUS 607800 HAS SOUPS 607800 WITH SCORE 608550.571
AT ITER 7822 NEW BEST:: SOT 4389010 SOS 750504 HAS SOPS 750504 HAS SOUS 607800 HAS SOUPS 607800 WITH SCORE 608550.504
AT ITER 7862 NEW BEST:: SOT 4389010 SOS 750504 HAS SOPS 750504 HAS SOUS 607790 HAS SOUPS 607790 WITH SCORE 608540.504
AT ITER 7865 NEW BEST:: SOT 4388123 SOS 749670 HAS SOPS 749670 HAS SOUS 606765 HAS SOUPS 606765 WITH SCORE 607514.67
AT ITER 7908 NEW BEST:: SOT 4388074 SOS 749572 HAS SOPS 749572 HAS SOUS 606726 HAS SOUPS 606726 WITH SCORE 607475.572
AT ITER 7932 NEW BEST:: SOT 4387994 SOS 749412 HAS SOPS 749412 HAS SOUS 606566 HAS SOUPS 606566 WITH SCORE 607315.412
AT ITER 7941 NEW BEST:: SOT 4387994 SOS 749364 HAS SOPS 749364 HAS SOUS 606518 HAS SOUPS 606518 WITH SCORE 607267.364
AT ITER 7947 NEW BEST:: SOT 4387909 SOS 749296 HAS SOPS 749296 HAS SOUS 606450 HAS SOUPS 606450 WITH SCORE 607199.296
AT ITER 7953 NEW BEST:: SOT 4387930 SOS 748965 HAS SOPS 748965 HAS SOUS 606355 HAS SOUPS 606355 WITH SCORE 607103.965
AT ITER 7958 NEW BEST:: SOT 4387727 SOS 748801 HAS SOPS 748801 HAS SOUS 606152 HAS SOUPS 606152 WITH SCORE 606900.801
AT ITER 7978 NEW BEST:: SOT 4387660 SOS 748667 HAS SOPS 748667 HAS SOUS 605879 HAS SOUPS 605879 WITH SCORE 606627.667
AT ITER 7984 NEW BEST:: SOT 4387655 SOS 748662 HAS SOPS 748662 HAS SOUS 605869 HAS SOUPS 605869 WITH SCORE 606617.662
AT ITER 8008 NEW BEST:: SOT 4387655 SOS 748637 HAS SOPS 748637 HAS SOUS 605844 HAS SOUPS 605844 WITH SCORE 606592.637
AT ITER 8023 NEW BEST:: SOT 4387571 SOS 748469 HAS SOPS 748469 HAS SOUS 605676 HAS SOUPS 605676 WITH SCORE 606424.469
AT ITER 8045 NEW BEST:: SOT 4387280 SOS 747887 HAS SOPS 747887 HAS SOUS 605094 HAS SOUPS 605094 WITH SCORE 605841.887
AT ITER 8055 NEW BEST:: SOT 4387315 SOS 747868 HAS SOPS 747868 HAS SOUS 605075 HAS SOUPS 605075 WITH SCORE 605822.868
AT ITER 8075 NEW BEST:: SOT 4387303 SOS 747844 HAS SOPS 747844 HAS SOUS 605074 HAS SOUPS 605074 WITH SCORE 605821.844
AT ITER 8076 NEW BEST:: SOT 4386883 SOS 746769 HAS SOPS 746769 HAS SOUS 604227 HAS SOUPS 604227 WITH SCORE 604973.769
AT ITER 8121 NEW BEST:: SOT 4386841 SOS 746685 HAS SOPS 746685 HAS SOUS 604143 HAS SOUPS 604143 WITH SCORE 604889.685
AT ITER 8157 NEW BEST:: SOT 4386840 SOS 746683 HAS SOPS 746683 HAS SOUS 604141 HAS SOUPS 604141 WITH SCORE 604887.683
AT ITER 8170 NEW BEST:: SOT 4386819 SOS 746662 HAS SOPS 746662 HAS SOUS 604099 HAS SOUPS 604099 WITH SCORE 604845.662
AT ITER 8200 NEW BEST:: SOT 4386792 SOS 746635 HAS SOPS 746635 HAS SOUS 604099 HAS SOUPS 604099 WITH SCORE 604845.635
AT ITER 8232 NEW BEST:: SOT 4386771 SOS 746065 HAS SOPS 746065 HAS SOUS 604057 HAS SOUPS 604057 WITH SCORE 604803.065
AT ITER 8234 NEW BEST:: SOT 4386771 SOS 746065 HAS SOPS 746065 HAS SOUS 604054 HAS SOUPS 604054 WITH SCORE 604800.065
AT ITER 8236 NEW BEST:: SOT 4386696 SOS 746123 HAS SOPS 746123 HAS SOUS 604037 HAS SOUPS 604037 WITH SCORE 604783.123
AT ITER 8266 NEW BEST:: SOT 4386696 SOS 746123 HAS SOPS 746123 HAS SOUS 603719 HAS SOUPS 603719 WITH SCORE 604465.123
AT ITER 8276 NEW BEST:: SOT 4386682 SOS 746095 HAS SOPS 746095 HAS SOUS 603691 HAS SOUPS 603691 WITH SCORE 604437.095
AT ITER 8286 NEW BEST:: SOT 4386717 SOS 746130 HAS SOPS 746130 HAS SOUS 603526 HAS SOUPS 603526 WITH SCORE 604272.13
AT ITER 8288 NEW BEST:: SOT 4386641 SOS 746084 HAS SOPS 746084 HAS SOUS 603450 HAS SOUPS 603450 WITH SCORE 604196.084
AT ITER 8310 NEW BEST:: SOT 4386625 SOS 746052 HAS SOPS 746052 HAS SOUS 603418 HAS SOUPS 603418 WITH SCORE 604164.052
AT ITER 8325 NEW BEST:: SOT 4386625 SOS 746052 HAS SOPS 746052 HAS SOUS 603052 HAS SOUPS 603052 WITH SCORE 603798.052
AT ITER 8356 NEW BEST:: SOT 4386889 SOS 745936 HAS SOPS 745936 HAS SOUS 602994 HAS SOUPS 602994 WITH SCORE 603739.936
AT ITER 8360 NEW BEST:: SOT 4386364 SOS 744886 HAS SOPS 744886 HAS SOUS 602982 HAS SOUPS 602982 WITH SCORE 603726.886
AT ITER 8366 NEW BEST:: SOT 4386381 SOS 744920 HAS SOPS 744920 HAS SOUS 602939 HAS SOUPS 602939 WITH SCORE 603683.92
AT ITER 8457 NEW BEST:: SOT 4386381 SOS 744830 HAS SOPS 744830 HAS SOUS 602939 HAS SOUPS 602939 WITH SCORE 603683.83
AT ITER 8459 NEW BEST:: SOT 4386248 SOS 744362 HAS SOPS 744362 HAS SOUS 602673 HAS SOUPS 602673 WITH SCORE 603417.362
AT ITER 8466 NEW BEST:: SOT 4386200 SOS 744338 HAS SOPS 744338 HAS SOUS 602649 HAS SOUPS 602649 WITH SCORE 603393.338
AT ITER 8472 NEW BEST:: SOT 4385861 SOS 743428 HAS SOPS 743428 HAS SOUS 601760 HAS SOUPS 601760 WITH SCORE 602503.428
AT ITER 8473 NEW BEST:: SOT 4385829 SOS 743364 HAS SOPS 743364 HAS SOUS 601728 HAS SOUPS 601728 WITH SCORE 602471.364
AT ITER 8474 NEW BEST:: SOT 4385757 SOS 743278 HAS SOPS 743278 HAS SOUS 601642 HAS SOUPS 601642 WITH SCORE 602385.278
AT ITER 8524 NEW BEST:: SOT 4385467 SOS 743241 HAS SOPS 743241 HAS SOUS 601533 HAS SOUPS 601533 WITH SCORE 602276.241
AT ITER 8526 NEW BEST:: SOT 4385288 SOS 743151 HAS SOPS 743151 HAS SOUS 601443 HAS SOUPS 601443 WITH SCORE 602186.151
AT ITER 8535 NEW BEST:: SOT 4385250 SOS 743075 HAS SOPS 743075 HAS SOUS 601367 HAS SOUPS 601367 WITH SCORE 602110.075
AT ITER 8543 NEW BEST:: SOT 4385204 SOS 742983 HAS SOPS 742983 HAS SOUS 601277 HAS SOUPS 601277 WITH SCORE 602019.983
AT ITER 8600 NEW BEST:: SOT 4384873 SOS 744325 HAS SOPS 744325 HAS SOUS 601168 HAS SOUPS 601168 WITH SCORE 601912.325
AT ITER 8603 NEW BEST:: SOT 4383576 SOS 743028 HAS SOPS 743028 HAS SOUS 599947 HAS SOUPS 599947 WITH SCORE 600690.028
AT ITER 8608 NEW BEST:: SOT 4383576 SOS 742955 HAS SOPS 742955 HAS SOUS 599874 HAS SOUPS 599874 WITH SCORE 600616.955
AT ITER 8611 NEW BEST:: SOT 4383574 SOS 742951 HAS SOPS 742951 HAS SOUS 599870 HAS SOUPS 599870 WITH SCORE 600612.951
AT ITER 8616 NEW BEST:: SOT 4383291 SOS 743007 HAS SOPS 743007 HAS SOUS 599587 HAS SOUPS 599587 WITH SCORE 600330.007
AT ITER 8619 NEW BEST:: SOT 4383006 SOS 742722 HAS SOPS 742722 HAS SOUS 599302 HAS SOUPS 599302 WITH SCORE 600044.722
AT ITER 8656 NEW BEST:: SOT 4382726 SOS 743120 HAS SOPS 743120 HAS SOUS 599268 HAS SOUPS 599268 WITH SCORE 600011.12
AT ITER 8657 NEW BEST:: SOT 4382658 SOS 742889 HAS SOPS 742889 HAS SOUS 599105 HAS SOUPS 599105 WITH SCORE 599847.889
AT ITER 8685 NEW BEST:: SOT 4382603 SOS 742622 HAS SOPS 742622 HAS SOUS 598893 HAS SOUPS 598893 WITH SCORE 599635.622
AT ITER 8688 NEW BEST:: SOT 4382325 SOS 742066 HAS SOPS 742066 HAS SOUS 598337 HAS SOUPS 598337 WITH SCORE 599079.066
AT ITER 8702 NEW BEST:: SOT 4382203 SOS 741822 HAS SOPS 741822 HAS SOUS 598093 HAS SOUPS 598093 WITH SCORE 598834.822
AT ITER 8719 NEW BEST:: SOT 4381807 SOS 741030 HAS SOPS 741030 HAS SOUS 597455 HAS SOUPS 597455 WITH SCORE 598196.03
AT ITER 8754 NEW BEST:: SOT 4381807 SOS 740690 HAS SOPS 740690 HAS SOUS 597115 HAS SOUPS 597115 WITH SCORE 597855.69
AT ITER 8790 NEW BEST:: SOT 4381670 SOS 740416 HAS SOPS 740416 HAS SOUS 596841 HAS SOUPS 596841 WITH SCORE 597581.416
AT ITER 8805 NEW BEST:: SOT 4381787 SOS 740370 HAS SOPS 740370 HAS SOUS 596818 HAS SOUPS 596818 WITH SCORE 597558.37
AT ITER 8814 NEW BEST:: SOT 4381753 SOS 740302 HAS SOPS 740302 HAS SOUS 596750 HAS SOUPS 596750 WITH SCORE 597490.302
AT ITER 8859 NEW BEST:: SOT 4381748 SOS 740292 HAS SOPS 740292 HAS SOUS 596740 HAS SOUPS 596740 WITH SCORE 597480.292
AT ITER 8863 NEW BEST:: SOT 4381747 SOS 740264 HAS SOPS 740264 HAS SOUS 596712 HAS SOUPS 596712 WITH SCORE 597452.264
AT ITER 8908 NEW BEST:: SOT 4381746 SOS 740272 HAS SOPS 740272 HAS SOUS 596711 HAS SOUPS 596711 WITH SCORE 597451.272
AT ITER 8924 NEW BEST:: SOT 4381547 SOS 739874 HAS SOPS 739874 HAS SOUS 596512 HAS SOUPS 596512 WITH SCORE 597251.874
AT ITER 8929 NEW BEST:: SOT 4381547 SOS 739702 HAS SOPS 739702 HAS SOUS 596512 HAS SOUPS 596512 WITH SCORE 597251.702
AT ITER 8947 NEW BEST:: SOT 4381292 SOS 739192 HAS SOPS 739192 HAS SOUS 596002 HAS SOUPS 596002 WITH SCORE 596741.192
AT ITER 8950 NEW BEST:: SOT 4381187 SOS 738982 HAS SOPS 738982 HAS SOUS 595890 HAS SOUPS 595890 WITH SCORE 596628.982
AT ITER 8978 NEW BEST:: SOT 4381176 SOS 738960 HAS SOPS 738960 HAS SOUS 595868 HAS SOUPS 595868 WITH SCORE 596606.96
AT ITER 8987 NEW BEST:: SOT 4381112 SOS 738896 HAS SOPS 738896 HAS SOUS 595804 HAS SOUPS 595804 WITH SCORE 596542.896
AT ITER 8992 NEW BEST:: SOT 4381102 SOS 738876 HAS SOPS 738876 HAS SOUS 595793 HAS SOUPS 595793 WITH SCORE 596531.876
AT ITER 9013 NEW BEST:: SOT 4380944 SOS 738760 HAS SOPS 738760 HAS SOUS 595676 HAS SOUPS 595676 WITH SCORE 596414.76
AT ITER 9028 NEW BEST:: SOT 4380891 SOS 738654 HAS SOPS 738654 HAS SOUS 595534 HAS SOUPS 595534 WITH SCORE 596272.654
AT ITER 9066 NEW BEST:: SOT 4380508 SOS 738092 HAS SOPS 738092 HAS SOUS 594972 HAS SOUPS 594972 WITH SCORE 595710.092
AT ITER 9074 NEW BEST:: SOT 4380507 SOS 738090 HAS SOPS 738090 HAS SOUS 594970 HAS SOUPS 594970 WITH SCORE 595708.09
AT ITER 9104 NEW BEST:: SOT 4380476 SOS 738152 HAS SOPS 738152 HAS SOUS 594957 HAS SOUPS 594957 WITH SCORE 595695.152
AT ITER 9177 NEW BEST:: SOT 4380437 SOS 737874 HAS SOPS 737874 HAS SOUS 594821 HAS SOUPS 594821 WITH SCORE 595558.874
AT ITER 9206 NEW BEST:: SOT 4380435 SOS 737870 HAS SOPS 737870 HAS SOUS 594817 HAS SOUPS 594817 WITH SCORE 595554.87
AT ITER 9268 NEW BEST:: SOT 4380418 SOS 737836 HAS SOPS 737836 HAS SOUS 594783 HAS SOUPS 594783 WITH SCORE 595520.836
AT ITER 9274 NEW BEST:: SOT 4380418 SOS 737836 HAS SOPS 737836 HAS SOUS 594777 HAS SOUPS 594777 WITH SCORE 595514.836
AT ITER 9329 NEW BEST:: SOT 4380258 SOS 737820 HAS SOPS 737820 HAS SOUS 594685 HAS SOUPS 594685 WITH SCORE 595422.82
AT ITER 9381 NEW BEST:: SOT 4380117 SOS 737679 HAS SOPS 737679 HAS SOUS 594544 HAS SOUPS 594544 WITH SCORE 595281.679
AT ITER 9441 NEW BEST:: SOT 4380116 SOS 737677 HAS SOPS 737677 HAS SOUS 594542 HAS SOUPS 594542 WITH SCORE 595279.677
AT ITER 9444 NEW BEST:: SOT 4380069 SOS 737583 HAS SOPS 737583 HAS SOUS 594448 HAS SOUPS 594448 WITH SCORE 595185.583
AT ITER 9449 NEW BEST:: SOT 4380011 SOS 737304 HAS SOPS 737304 HAS SOUS 594390 HAS SOUPS 594390 WITH SCORE 595127.304
AT ITER 9450 NEW BEST:: SOT 4380006 SOS 737294 HAS SOPS 737294 HAS SOUS 594385 HAS SOUPS 594385 WITH SCORE 595122.294
AT ITER 9464 NEW BEST:: SOT 4379859 SOS 737846 HAS SOPS 737846 HAS SOUS 594281 HAS SOUPS 594281 WITH SCORE 595018.846
AT ITER 9516 NEW BEST:: SOT 4380034 SOS 738196 HAS SOPS 738196 HAS SOUS 594164 HAS SOUPS 594164 WITH SCORE 594902.196
AT ITER 9564 NEW BEST:: SOT 4379746 SOS 737908 HAS SOPS 737908 HAS SOUS 594019 HAS SOUPS 594019 WITH SCORE 594756.908
AT ITER 9577 NEW BEST:: SOT 4379723 SOS 737862 HAS SOPS 737862 HAS SOUS 593996 HAS SOUPS 593996 WITH SCORE 594733.862
AT ITER 9589 NEW BEST:: SOT 4379532 SOS 737480 HAS SOPS 737480 HAS SOUS 593614 HAS SOUPS 593614 WITH SCORE 594351.48
AT ITER 9605 NEW BEST:: SOT 4379479 SOS 737260 HAS SOPS 737260 HAS SOUS 593508 HAS SOUPS 593508 WITH SCORE 594245.26
AT ITER 9642 NEW BEST:: SOT 4379491 SOS 737135 HAS SOPS 737135 HAS SOUS 593241 HAS SOUPS 593241 WITH SCORE 593978.135
AT ITER 9644 NEW BEST:: SOT 4379425 SOS 737279 HAS SOPS 737279 HAS SOUS 593175 HAS SOUPS 593175 WITH SCORE 593912.279
AT ITER 9669 NEW BEST:: SOT 4379410 SOS 737183 HAS SOPS 737183 HAS SOUS 593102 HAS SOUPS 593102 WITH SCORE 593839.183
AT ITER 9685 NEW BEST:: SOT 4379406 SOS 737175 HAS SOPS 737175 HAS SOUS 593023 HAS SOUPS 593023 WITH SCORE 593760.175
AT ITER 9687 NEW BEST:: SOT 4379427 SOS 737584 HAS SOPS 737584 HAS SOUS 592917 HAS SOUPS 592917 WITH SCORE 593654.584
AT ITER 9694 NEW BEST:: SOT 4378843 SOS 737438 HAS SOPS 737438 HAS SOUS 592479 HAS SOUPS 592479 WITH SCORE 593216.438
AT ITER 9717 NEW BEST:: SOT 4378881 SOS 737429 HAS SOPS 737429 HAS SOUS 592470 HAS SOUPS 592470 WITH SCORE 593207.429
AT ITER 9720 NEW BEST:: SOT 4378874 SOS 737415 HAS SOPS 737415 HAS SOUS 592463 HAS SOUPS 592463 WITH SCORE 593200.415
AT ITER 9770 NEW BEST:: SOT 4378762 SOS 737191 HAS SOPS 737191 HAS SOUS 592239 HAS SOUPS 592239 WITH SCORE 592976.191
AT ITER 9771 NEW BEST:: SOT 4378762 SOS 737191 HAS SOPS 737191 HAS SOUS 592021 HAS SOUPS 592021 WITH SCORE 592758.191
AT ITER 9778 NEW BEST:: SOT 4378828 SOS 737065 HAS SOPS 737065 HAS SOUS 591810 HAS SOUPS 591810 WITH SCORE 592547.065
AT ITER 9802 NEW BEST:: SOT 4378700 SOS 736809 HAS SOPS 736809 HAS SOUS 591559 HAS SOUPS 591559 WITH SCORE 592295.809
AT ITER 9852 NEW BEST:: SOT 4378659 SOS 736727 HAS SOPS 736727 HAS SOUS 591439 HAS SOUPS 591439 WITH SCORE 592175.727
AT ITER 9882 NEW BEST:: SOT 4378593 SOS 736595 HAS SOPS 736595 HAS SOUS 591400 HAS SOUPS 591400 WITH SCORE 592136.595
AT ITER 9925 NEW BEST:: SOT 4378630 SOS 736669 HAS SOPS 736669 HAS SOUS 591366 HAS SOUPS 591366 WITH SCORE 592102.669
AT ITER 9934 NEW BEST:: SOT 4378630 SOS 736554 HAS SOPS 736554 HAS SOUS 591336 HAS SOUPS 591336 WITH SCORE 592072.554
AT ITER 9948 NEW BEST:: SOT 4378596 SOS 736486 HAS SOPS 736486 HAS SOUS 591268 HAS SOUPS 591268 WITH SCORE 592004.486
AT ITER 9949 NEW BEST:: SOT 4378560 SOS 736339 HAS SOPS 736339 HAS SOUS 591167 HAS SOUPS 591167 WITH SCORE 591903.339
AT ITER 9986 NEW BEST:: SOT 4378401 SOS 736021 HAS SOPS 736021 HAS SOUS 591006 HAS SOUPS 591006 WITH SCORE 591742.021
AT ITER 9995 NEW BEST:: SOT 4378351 SOS 735961 HAS SOPS 735961 HAS SOUS 590941 HAS SOUPS 590941 WITH SCORE 591676.961
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12288164 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153776 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-303"
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-303, 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-167814471900024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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