Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 824K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589095471303

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

Filename model.pnml
Petri model created: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4448374 SOS 744558 HAS SOPS 744558 HAS SOUS 686884 HAS SOUPS 686884 WITH SCORE 687628.558
AT ITER 5 NEW BEST:: SOT 4448372 SOS 744554 HAS SOPS 744554 HAS SOUS 686880 HAS SOUPS 686880 WITH SCORE 687624.554
AT ITER 12 NEW BEST:: SOT 4448220 SOS 744250 HAS SOPS 744250 HAS SOUS 686576 HAS SOUPS 686576 WITH SCORE 687320.25
AT ITER 28 NEW BEST:: SOT 4448220 SOS 744097 HAS SOPS 744097 HAS SOUS 686575 HAS SOUPS 686575 WITH SCORE 687319.097
AT ITER 51 NEW BEST:: SOT 4448020 SOS 743897 HAS SOPS 743897 HAS SOUS 686375 HAS SOUPS 686375 WITH SCORE 687118.897
AT ITER 52 NEW BEST:: SOT 4447877 SOS 743754 HAS SOPS 743754 HAS SOUS 686232 HAS SOUPS 686232 WITH SCORE 686975.754
AT ITER 73 NEW BEST:: SOT 4447723 SOS 743830 HAS SOPS 743830 HAS SOUS 686225 HAS SOUPS 686225 WITH SCORE 686968.83
AT ITER 108 NEW BEST:: SOT 4446199 SOS 757288 HAS SOPS 757288 HAS SOUS 685091 HAS SOUPS 685091 WITH SCORE 685848.288
AT ITER 123 NEW BEST:: SOT 4445593 SOS 756884 HAS SOPS 756884 HAS SOUS 684687 HAS SOUPS 684687 WITH SCORE 685443.884
AT ITER 129 NEW BEST:: SOT 4445493 SOS 756759 HAS SOPS 756759 HAS SOUS 684562 HAS SOUPS 684562 WITH SCORE 685318.759
AT ITER 145 NEW BEST:: SOT 4445414 SOS 756601 HAS SOPS 756601 HAS SOUS 684404 HAS SOUPS 684404 WITH SCORE 685160.601
AT ITER 152 NEW BEST:: SOT 4445280 SOS 756333 HAS SOPS 756333 HAS SOUS 684136 HAS SOUPS 684136 WITH SCORE 684892.333
AT ITER 159 NEW BEST:: SOT 4445062 SOS 756226 HAS SOPS 756226 HAS SOUS 683686 HAS SOUPS 683686 WITH SCORE 684442.226
AT ITER 168 NEW BEST:: SOT 4444939 SOS 755980 HAS SOPS 755980 HAS SOUS 683440 HAS SOUPS 683440 WITH SCORE 684195.98
AT ITER 206 NEW BEST:: SOT 4444826 SOS 756258 HAS SOPS 756258 HAS SOUS 683396 HAS SOUPS 683396 WITH SCORE 684152.258
AT ITER 220 NEW BEST:: SOT 4444826 SOS 756149 HAS SOPS 756149 HAS SOUS 683396 HAS SOUPS 683396 WITH SCORE 684152.149
AT ITER 227 NEW BEST:: SOT 4444728 SOS 756160 HAS SOPS 756160 HAS SOUS 683353 HAS SOUPS 683353 WITH SCORE 684109.16
AT ITER 235 NEW BEST:: SOT 4444727 SOS 756158 HAS SOPS 756158 HAS SOUS 683351 HAS SOUPS 683351 WITH SCORE 684107.158
AT ITER 237 NEW BEST:: SOT 4444493 SOS 755924 HAS SOPS 755924 HAS SOUS 683117 HAS SOUPS 683117 WITH SCORE 683872.924
AT ITER 242 NEW BEST:: SOT 4444265 SOS 755620 HAS SOPS 755620 HAS SOUS 682813 HAS SOUPS 682813 WITH SCORE 683568.62
AT ITER 246 NEW BEST:: SOT 4444045 SOS 755504 HAS SOPS 755504 HAS SOUS 682697 HAS SOUPS 682697 WITH SCORE 683452.504
AT ITER 254 NEW BEST:: SOT 4444022 SOS 755458 HAS SOPS 755458 HAS SOUS 682685 HAS SOUPS 682685 WITH SCORE 683440.458
AT ITER 268 NEW BEST:: SOT 4443880 SOS 754829 HAS SOPS 754829 HAS SOUS 682235 HAS SOUPS 682235 WITH SCORE 682989.829
AT ITER 279 NEW BEST:: SOT 4443880 SOS 754685 HAS SOPS 754685 HAS SOUS 682235 HAS SOUPS 682235 WITH SCORE 682989.685
AT ITER 319 NEW BEST:: SOT 4443842 SOS 754323 HAS SOPS 754323 HAS SOUS 682000 HAS SOUPS 682000 WITH SCORE 682754.323
AT ITER 338 NEW BEST:: SOT 4443812 SOS 754293 HAS SOPS 754293 HAS SOUS 681999 HAS SOUPS 681999 WITH SCORE 682753.293
AT ITER 362 NEW BEST:: SOT 4443599 SOS 753867 HAS SOPS 753867 HAS SOUS 681330 HAS SOUPS 681330 WITH SCORE 682083.867
AT ITER 376 NEW BEST:: SOT 4443383 SOS 753435 HAS SOPS 753435 HAS SOUS 681114 HAS SOUPS 681114 WITH SCORE 681867.435
AT ITER 381 NEW BEST:: SOT 4443377 SOS 753423 HAS SOPS 753423 HAS SOUS 681102 HAS SOUPS 681102 WITH SCORE 681855.423
AT ITER 407 NEW BEST:: SOT 4443363 SOS 753395 HAS SOPS 753395 HAS SOUS 681074 HAS SOUPS 681074 WITH SCORE 681827.395
AT ITER 424 NEW BEST:: SOT 4443362 SOS 753393 HAS SOPS 753393 HAS SOUS 681072 HAS SOUPS 681072 WITH SCORE 681825.393
AT ITER 433 NEW BEST:: SOT 4443362 SOS 753147 HAS SOPS 753147 HAS SOUS 681072 HAS SOUPS 681072 WITH SCORE 681825.147
AT ITER 460 NEW BEST:: SOT 4443298 SOS 753135 HAS SOPS 753135 HAS SOUS 681008 HAS SOUPS 681008 WITH SCORE 681761.135
AT ITER 468 NEW BEST:: SOT 4443230 SOS 752999 HAS SOPS 752999 HAS SOUS 680872 HAS SOUPS 680872 WITH SCORE 681624.999
AT ITER 491 NEW BEST:: SOT 4443184 SOS 752986 HAS SOPS 752986 HAS SOUS 680848 HAS SOUPS 680848 WITH SCORE 681600.986
AT ITER 504 NEW BEST:: SOT 4443007 SOS 752802 HAS SOPS 752802 HAS SOUS 680617 HAS SOUPS 680617 WITH SCORE 681369.802
AT ITER 514 NEW BEST:: SOT 4443007 SOS 752759 HAS SOPS 752759 HAS SOUS 680617 HAS SOUPS 680617 WITH SCORE 681369.759
AT ITER 540 NEW BEST:: SOT 4442788 SOS 752747 HAS SOPS 752747 HAS SOUS 680234 HAS SOUPS 680234 WITH SCORE 680986.747
AT ITER 556 NEW BEST:: SOT 4442534 SOS 752497 HAS SOPS 752497 HAS SOUS 679984 HAS SOUPS 679984 WITH SCORE 680736.497
AT ITER 577 NEW BEST:: SOT 4442534 SOS 752497 HAS SOPS 752497 HAS SOUS 679970 HAS SOUPS 679970 WITH SCORE 680722.497
AT ITER 599 NEW BEST:: SOT 4442462 SOS 752448 HAS SOPS 752448 HAS SOUS 679921 HAS SOUPS 679921 WITH SCORE 680673.448
AT ITER 601 NEW BEST:: SOT 4442345 SOS 752448 HAS SOPS 752448 HAS SOUS 679804 HAS SOUPS 679804 WITH SCORE 680556.448
AT ITER 611 NEW BEST:: SOT 4442345 SOS 752251 HAS SOPS 752251 HAS SOUS 679803 HAS SOUPS 679803 WITH SCORE 680555.251
AT ITER 635 NEW BEST:: SOT 4442345 SOS 752014 HAS SOPS 752014 HAS SOUS 679803 HAS SOUPS 679803 WITH SCORE 680555.014
AT ITER 650 NEW BEST:: SOT 4442133 SOS 751590 HAS SOPS 751590 HAS SOUS 679379 HAS SOUPS 679379 WITH SCORE 680130.59
AT ITER 652 NEW BEST:: SOT 4441996 SOS 751316 HAS SOPS 751316 HAS SOUS 679378 HAS SOUPS 679378 WITH SCORE 680129.316
AT ITER 655 NEW BEST:: SOT 4442352 SOS 751002 HAS SOPS 751002 HAS SOUS 679342 HAS SOUPS 679342 WITH SCORE 680093.002
AT ITER 661 NEW BEST:: SOT 4442248 SOS 750794 HAS SOPS 750794 HAS SOUS 679134 HAS SOUPS 679134 WITH SCORE 679884.794
AT ITER 672 NEW BEST:: SOT 4442030 SOS 750894 HAS SOPS 750894 HAS SOUS 679063 HAS SOUPS 679063 WITH SCORE 679813.894
AT ITER 677 NEW BEST:: SOT 4442030 SOS 750608 HAS SOPS 750608 HAS SOUS 678777 HAS SOUPS 678777 WITH SCORE 679527.608
AT ITER 683 NEW BEST:: SOT 4441744 SOS 750036 HAS SOPS 750036 HAS SOUS 678205 HAS SOUPS 678205 WITH SCORE 678955.036
AT ITER 701 NEW BEST:: SOT 4441836 SOS 749850 HAS SOPS 749850 HAS SOUS 678071 HAS SOUPS 678071 WITH SCORE 678820.85
AT ITER 711 NEW BEST:: SOT 4441912 SOS 749668 HAS SOPS 749668 HAS SOUS 677889 HAS SOUPS 677889 WITH SCORE 678638.668
AT ITER 715 NEW BEST:: SOT 4441828 SOS 749500 HAS SOPS 749500 HAS SOUS 677721 HAS SOUPS 677721 WITH SCORE 678470.5
AT ITER 740 NEW BEST:: SOT 4441827 SOS 749498 HAS SOPS 749498 HAS SOUS 677719 HAS SOUPS 677719 WITH SCORE 678468.498
AT ITER 776 NEW BEST:: SOT 4441534 SOS 749494 HAS SOPS 749494 HAS SOUS 677717 HAS SOUPS 677717 WITH SCORE 678466.494
AT ITER 780 NEW BEST:: SOT 4441327 SOS 749080 HAS SOPS 749080 HAS SOUS 677303 HAS SOUPS 677303 WITH SCORE 678052.08
AT ITER 789 NEW BEST:: SOT 4441260 SOS 748946 HAS SOPS 748946 HAS SOUS 677169 HAS SOUPS 677169 WITH SCORE 677917.946
AT ITER 837 NEW BEST:: SOT 4441152 SOS 748730 HAS SOPS 748730 HAS SOUS 677059 HAS SOUPS 677059 WITH SCORE 677807.73
AT ITER 839 NEW BEST:: SOT 4441152 SOS 748498 HAS SOPS 748498 HAS SOUS 677059 HAS SOUPS 677059 WITH SCORE 677807.498
AT ITER 878 NEW BEST:: SOT 4440917 SOS 748263 HAS SOPS 748263 HAS SOUS 676824 HAS SOUPS 676824 WITH SCORE 677572.263
AT ITER 986 NEW BEST:: SOT 4440755 SOS 747939 HAS SOPS 747939 HAS SOUS 676342 HAS SOUPS 676342 WITH SCORE 677089.939
AT ITER 992 NEW BEST:: SOT 4440686 SOS 747801 HAS SOPS 747801 HAS SOUS 676271 HAS SOUPS 676271 WITH SCORE 677018.801
AT ITER 995 NEW BEST:: SOT 4440686 SOS 747801 HAS SOPS 747801 HAS SOUS 676270 HAS SOUPS 676270 WITH SCORE 677017.801
AT ITER 996 NEW BEST:: SOT 4440564 SOS 747786 HAS SOPS 747786 HAS SOUS 676058 HAS SOUPS 676058 WITH SCORE 676805.786
AT ITER 1076 NEW BEST:: SOT 4440564 SOS 747679 HAS SOPS 747679 HAS SOUS 676057 HAS SOUPS 676057 WITH SCORE 676804.679
AT ITER 1093 NEW BEST:: SOT 4440432 SOS 747787 HAS SOPS 747787 HAS SOUS 675841 HAS SOUPS 675841 WITH SCORE 676588.787
AT ITER 1107 NEW BEST:: SOT 4440376 SOS 748039 HAS SOPS 748039 HAS SOUS 675679 HAS SOUPS 675679 WITH SCORE 676427.039
AT ITER 1118 NEW BEST:: SOT 4440376 SOS 742664 HAS SOPS 742664 HAS SOUS 675679 HAS SOUPS 675679 WITH SCORE 676421.664
AT ITER 1129 NEW BEST:: SOT 4440549 SOS 742538 HAS SOPS 742538 HAS SOUS 675605 HAS SOUPS 675605 WITH SCORE 676347.538
AT ITER 1133 NEW BEST:: SOT 4440549 SOS 742345 HAS SOPS 742345 HAS SOUS 675412 HAS SOUPS 675412 WITH SCORE 676154.345
AT ITER 1153 NEW BEST:: SOT 4440187 SOS 741621 HAS SOPS 741621 HAS SOUS 674688 HAS SOUPS 674688 WITH SCORE 675429.621
AT ITER 1164 NEW BEST:: SOT 4440201 SOS 741525 HAS SOPS 741525 HAS SOUS 674561 HAS SOUPS 674561 WITH SCORE 675302.525
AT ITER 1172 NEW BEST:: SOT 4439326 SOS 740787 HAS SOPS 740787 HAS SOUS 673570 HAS SOUPS 673570 WITH SCORE 674310.787
AT ITER 1186 NEW BEST:: SOT 4439471 SOS 740481 HAS SOPS 740481 HAS SOUS 673562 HAS SOUPS 673562 WITH SCORE 674302.481
AT ITER 1192 NEW BEST:: SOT 4439267 SOS 740073 HAS SOPS 740073 HAS SOUS 673133 HAS SOUPS 673133 WITH SCORE 673873.073
AT ITER 1217 NEW BEST:: SOT 4439608 SOS 739991 HAS SOPS 739991 HAS SOUS 673114 HAS SOUPS 673114 WITH SCORE 673853.991
AT ITER 1276 NEW BEST:: SOT 4439482 SOS 739865 HAS SOPS 739865 HAS SOUS 672988 HAS SOUPS 672988 WITH SCORE 673727.865
AT ITER 1284 NEW BEST:: SOT 4439460 SOS 739821 HAS SOPS 739821 HAS SOUS 672944 HAS SOUPS 672944 WITH SCORE 673683.821
AT ITER 1321 NEW BEST:: SOT 4439219 SOS 739803 HAS SOPS 739803 HAS SOUS 672702 HAS SOUPS 672702 WITH SCORE 673441.803
AT ITER 1331 NEW BEST:: SOT 4439218 SOS 739801 HAS SOPS 739801 HAS SOUS 672700 HAS SOUPS 672700 WITH SCORE 673439.801
AT ITER 1333 NEW BEST:: SOT 4439002 SOS 739651 HAS SOPS 739651 HAS SOUS 672484 HAS SOUPS 672484 WITH SCORE 673223.651
AT ITER 1342 NEW BEST:: SOT 4439002 SOS 739542 HAS SOPS 739542 HAS SOUS 672375 HAS SOUPS 672375 WITH SCORE 673114.542
AT ITER 1366 NEW BEST:: SOT 4439020 SOS 739239 HAS SOPS 739239 HAS SOUS 672073 HAS SOUPS 672073 WITH SCORE 672812.239
AT ITER 1372 NEW BEST:: SOT 4438850 SOS 739069 HAS SOPS 739069 HAS SOUS 671903 HAS SOUPS 671903 WITH SCORE 672642.069
AT ITER 1403 NEW BEST:: SOT 4438955 SOS 739279 HAS SOPS 739279 HAS SOUS 671697 HAS SOUPS 671697 WITH SCORE 672436.279
AT ITER 1415 NEW BEST:: SOT 4438955 SOS 739147 HAS SOPS 739147 HAS SOUS 671697 HAS SOUPS 671697 WITH SCORE 672436.147
AT ITER 1419 NEW BEST:: SOT 4438957 SOS 739176 HAS SOPS 739176 HAS SOUS 671696 HAS SOUPS 671696 WITH SCORE 672435.176
AT ITER 1426 NEW BEST:: SOT 4436659 SOS 745276 HAS SOPS 745276 HAS SOUS 669962 HAS SOUPS 669962 WITH SCORE 670707.276
AT ITER 1432 NEW BEST:: SOT 4436659 SOS 745494 HAS SOPS 745494 HAS SOUS 669887 HAS SOUPS 669887 WITH SCORE 670632.494
AT ITER 1434 NEW BEST:: SOT 4436636 SOS 745448 HAS SOPS 745448 HAS SOUS 669864 HAS SOUPS 669864 WITH SCORE 670609.448
AT ITER 1454 NEW BEST:: SOT 4436540 SOS 745373 HAS SOPS 745373 HAS SOUS 669775 HAS SOUPS 669775 WITH SCORE 670520.373
AT ITER 1472 NEW BEST:: SOT 4436519 SOS 745331 HAS SOPS 745331 HAS SOUS 669733 HAS SOUPS 669733 WITH SCORE 670478.331
AT ITER 1475 NEW BEST:: SOT 4436256 SOS 744805 HAS SOPS 744805 HAS SOUS 669207 HAS SOUPS 669207 WITH SCORE 669951.805
AT ITER 1476 NEW BEST:: SOT 4436309 SOS 744911 HAS SOPS 744911 HAS SOUS 669190 HAS SOUPS 669190 WITH SCORE 669934.911
AT ITER 1496 NEW BEST:: SOT 4436236 SOS 744973 HAS SOPS 744973 HAS SOUS 669164 HAS SOUPS 669164 WITH SCORE 669908.973
AT ITER 1517 NEW BEST:: SOT 4436239 SOS 744923 HAS SOPS 744923 HAS SOUS 669114 HAS SOUPS 669114 WITH SCORE 669858.923
AT ITER 1520 NEW BEST:: SOT 4436065 SOS 744184 HAS SOPS 744184 HAS SOUS 668549 HAS SOUPS 668549 WITH SCORE 669293.184
AT ITER 1521 NEW BEST:: SOT 4436065 SOS 744184 HAS SOPS 744184 HAS SOUS 668306 HAS SOUPS 668306 WITH SCORE 669050.184
AT ITER 1538 NEW BEST:: SOT 4435684 SOS 743676 HAS SOPS 743676 HAS SOUS 667798 HAS SOUPS 667798 WITH SCORE 668541.676
AT ITER 1542 NEW BEST:: SOT 4435684 SOS 743650 HAS SOPS 743650 HAS SOUS 667798 HAS SOUPS 667798 WITH SCORE 668541.65
AT ITER 1559 NEW BEST:: SOT 4435684 SOS 743630 HAS SOPS 743630 HAS SOUS 667798 HAS SOUPS 667798 WITH SCORE 668541.63
AT ITER 1573 NEW BEST:: SOT 4435657 SOS 743576 HAS SOPS 743576 HAS SOUS 667771 HAS SOUPS 667771 WITH SCORE 668514.576
AT ITER 1580 NEW BEST:: SOT 4435593 SOS 743448 HAS SOPS 743448 HAS SOUS 667326 HAS SOUPS 667326 WITH SCORE 668069.448
AT ITER 1601 NEW BEST:: SOT 4435552 SOS 743006 HAS SOPS 743006 HAS SOUS 667183 HAS SOUPS 667183 WITH SCORE 667926.006
AT ITER 1602 NEW BEST:: SOT 4435371 SOS 742794 HAS SOPS 742794 HAS SOUS 666927 HAS SOUPS 666927 WITH SCORE 667669.794
AT ITER 1609 NEW BEST:: SOT 4435318 SOS 742629 HAS SOPS 742629 HAS SOUS 666815 HAS SOUPS 666815 WITH SCORE 667557.629
AT ITER 1613 NEW BEST:: SOT 4435318 SOS 742578 HAS SOPS 742578 HAS SOUS 666764 HAS SOUPS 666764 WITH SCORE 667506.578
AT ITER 1615 NEW BEST:: SOT 4435317 SOS 742576 HAS SOPS 742576 HAS SOUS 666762 HAS SOUPS 666762 WITH SCORE 667504.576
AT ITER 1618 NEW BEST:: SOT 4435179 SOS 742438 HAS SOPS 742438 HAS SOUS 666624 HAS SOUPS 666624 WITH SCORE 667366.438
AT ITER 1643 NEW BEST:: SOT 4434801 SOS 742060 HAS SOPS 742060 HAS SOUS 666246 HAS SOUPS 666246 WITH SCORE 666988.06
AT ITER 1655 NEW BEST:: SOT 4434762 SOS 742021 HAS SOPS 742021 HAS SOUS 666207 HAS SOUPS 666207 WITH SCORE 666949.021
AT ITER 1664 NEW BEST:: SOT 4434595 SOS 741886 HAS SOPS 741886 HAS SOUS 666066 HAS SOUPS 666066 WITH SCORE 666807.886
AT ITER 1666 NEW BEST:: SOT 4434504 SOS 741704 HAS SOPS 741704 HAS SOUS 665982 HAS SOUPS 665982 WITH SCORE 666723.704
AT ITER 1739 NEW BEST:: SOT 4434368 SOS 741656 HAS SOPS 741656 HAS SOUS 665934 HAS SOUPS 665934 WITH SCORE 666675.656
AT ITER 1745 NEW BEST:: SOT 4434495 SOS 741518 HAS SOPS 741518 HAS SOUS 665404 HAS SOUPS 665404 WITH SCORE 666145.518
AT ITER 1767 NEW BEST:: SOT 4434307 SOS 741142 HAS SOPS 741142 HAS SOUS 665403 HAS SOUPS 665403 WITH SCORE 666144.142
AT ITER 1771 NEW BEST:: SOT 4434292 SOS 741112 HAS SOPS 741112 HAS SOUS 665373 HAS SOUPS 665373 WITH SCORE 666114.112
AT ITER 1775 NEW BEST:: SOT 4434292 SOS 741009 HAS SOPS 741009 HAS SOUS 665270 HAS SOUPS 665270 WITH SCORE 666011.009
AT ITER 1812 NEW BEST:: SOT 4434209 SOS 740843 HAS SOPS 740843 HAS SOUS 665104 HAS SOUPS 665104 WITH SCORE 665844.843
AT ITER 1817 NEW BEST:: SOT 4433974 SOS 740659 HAS SOPS 740659 HAS SOUS 664920 HAS SOUPS 664920 WITH SCORE 665660.659
AT ITER 1828 NEW BEST:: SOT 4434024 SOS 740945 HAS SOPS 740945 HAS SOUS 664875 HAS SOUPS 664875 WITH SCORE 665615.945
AT ITER 1830 NEW BEST:: SOT 4434024 SOS 740945 HAS SOPS 740945 HAS SOUS 664809 HAS SOUPS 664809 WITH SCORE 665549.945
AT ITER 1844 NEW BEST:: SOT 4433856 SOS 740777 HAS SOPS 740777 HAS SOUS 664754 HAS SOUPS 664754 WITH SCORE 665494.777
AT ITER 1847 NEW BEST:: SOT 4433673 SOS 740411 HAS SOPS 740411 HAS SOUS 664570 HAS SOUPS 664570 WITH SCORE 665310.411
AT ITER 1926 NEW BEST:: SOT 4433555 SOS 740585 HAS SOPS 740585 HAS SOUS 664517 HAS SOUPS 664517 WITH SCORE 665257.585
AT ITER 1944 NEW BEST:: SOT 4433547 SOS 740461 HAS SOPS 740461 HAS SOUS 664455 HAS SOUPS 664455 WITH SCORE 665195.461
AT ITER 1959 NEW BEST:: SOT 4433531 SOS 740429 HAS SOPS 740429 HAS SOUS 664453 HAS SOUPS 664453 WITH SCORE 665193.429
AT ITER 1993 NEW BEST:: SOT 4433700 SOS 740105 HAS SOPS 740105 HAS SOUS 664250 HAS SOUPS 664250 WITH SCORE 664990.105
AT ITER 1995 NEW BEST:: SOT 4433699 SOS 740103 HAS SOPS 740103 HAS SOUS 664248 HAS SOUPS 664248 WITH SCORE 664988.103
AT ITER 1999 NEW BEST:: SOT 4433585 SOS 739875 HAS SOPS 739875 HAS SOUS 664020 HAS SOUPS 664020 WITH SCORE 664759.875
AT ITER 2023 NEW BEST:: SOT 4433557 SOS 739847 HAS SOPS 739847 HAS SOUS 664019 HAS SOUPS 664019 WITH SCORE 664758.847
AT ITER 2043 NEW BEST:: SOT 4433532 SOS 739797 HAS SOPS 739797 HAS SOUS 664010 HAS SOUPS 664010 WITH SCORE 664749.797
AT ITER 2078 NEW BEST:: SOT 4433389 SOS 740229 HAS SOPS 740229 HAS SOUS 663964 HAS SOUPS 663964 WITH SCORE 664704.229
AT ITER 2084 NEW BEST:: SOT 4433399 SOS 740249 HAS SOPS 740249 HAS SOUS 663854 HAS SOUPS 663854 WITH SCORE 664594.249
AT ITER 2092 NEW BEST:: SOT 4433360 SOS 740171 HAS SOPS 740171 HAS SOUS 663815 HAS SOUPS 663815 WITH SCORE 664555.171
AT ITER 2106 NEW BEST:: SOT 4433078 SOS 739607 HAS SOPS 739607 HAS SOUS 663591 HAS SOUPS 663591 WITH SCORE 664330.607
AT ITER 2115 NEW BEST:: SOT 4433008 SOS 739467 HAS SOPS 739467 HAS SOUS 663451 HAS SOUPS 663451 WITH SCORE 664190.467
AT ITER 2118 NEW BEST:: SOT 4432990 SOS 739431 HAS SOPS 739431 HAS SOUS 663432 HAS SOUPS 663432 WITH SCORE 664171.431
AT ITER 2136 NEW BEST:: SOT 4432725 SOS 738901 HAS SOPS 738901 HAS SOUS 662902 HAS SOUPS 662902 WITH SCORE 663640.901
AT ITER 2171 NEW BEST:: SOT 4432495 SOS 738671 HAS SOPS 738671 HAS SOUS 662672 HAS SOUPS 662672 WITH SCORE 663410.671
AT ITER 2308 NEW BEST:: SOT 4432350 SOS 738415 HAS SOPS 738415 HAS SOUS 662382 HAS SOUPS 662382 WITH SCORE 663120.415
AT ITER 2323 NEW BEST:: SOT 4432245 SOS 738001 HAS SOPS 738001 HAS SOUS 662172 HAS SOUPS 662172 WITH SCORE 662910.001
AT ITER 2336 NEW BEST:: SOT 4432160 SOS 737917 HAS SOPS 737917 HAS SOUS 662088 HAS SOUPS 662088 WITH SCORE 662825.917
AT ITER 2373 NEW BEST:: SOT 4431759 SOS 737334 HAS SOPS 737334 HAS SOUS 661505 HAS SOUPS 661505 WITH SCORE 662242.334
AT ITER 2425 NEW BEST:: SOT 4431652 SOS 737249 HAS SOPS 737249 HAS SOUS 661420 HAS SOUPS 661420 WITH SCORE 662157.249
AT ITER 2429 NEW BEST:: SOT 4431693 SOS 737142 HAS SOPS 737142 HAS SOUS 661284 HAS SOUPS 661284 WITH SCORE 662021.142
AT ITER 2438 NEW BEST:: SOT 4431693 SOS 737142 HAS SOPS 737142 HAS SOUS 661158 HAS SOUPS 661158 WITH SCORE 661895.142
AT ITER 2459 NEW BEST:: SOT 4431690 SOS 737136 HAS SOPS 737136 HAS SOUS 661155 HAS SOUPS 661155 WITH SCORE 661892.136
AT ITER 2462 NEW BEST:: SOT 4431690 SOS 737077 HAS SOPS 737077 HAS SOUS 661096 HAS SOUPS 661096 WITH SCORE 661833.077
AT ITER 2463 NEW BEST:: SOT 4431689 SOS 737075 HAS SOPS 737075 HAS SOUS 661094 HAS SOUPS 661094 WITH SCORE 661831.075
AT ITER 2466 NEW BEST:: SOT 4431279 SOS 736466 HAS SOPS 736466 HAS SOUS 660480 HAS SOUPS 660480 WITH SCORE 661216.466
AT ITER 2474 NEW BEST:: SOT 4431278 SOS 736464 HAS SOPS 736464 HAS SOUS 660478 HAS SOUPS 660478 WITH SCORE 661214.464
AT ITER 2478 NEW BEST:: SOT 4431276 SOS 736460 HAS SOPS 736460 HAS SOUS 660476 HAS SOUPS 660476 WITH SCORE 661212.46
AT ITER 2499 NEW BEST:: SOT 4431276 SOS 736460 HAS SOPS 736460 HAS SOUS 660347 HAS SOUPS 660347 WITH SCORE 661083.46
AT ITER 2505 NEW BEST:: SOT 4431028 SOS 736238 HAS SOPS 736238 HAS SOUS 660110 HAS SOUPS 660110 WITH SCORE 660846.238
AT ITER 2516 NEW BEST:: SOT 4431028 SOS 735982 HAS SOPS 735982 HAS SOUS 660110 HAS SOUPS 660110 WITH SCORE 660845.982
AT ITER 2540 NEW BEST:: SOT 4430985 SOS 735896 HAS SOPS 735896 HAS SOUS 660024 HAS SOUPS 660024 WITH SCORE 660759.896
AT ITER 2630 NEW BEST:: SOT 4430989 SOS 735496 HAS SOPS 735496 HAS SOUS 659778 HAS SOUPS 659778 WITH SCORE 660513.496
AT ITER 2631 NEW BEST:: SOT 4430928 SOS 735440 HAS SOPS 735440 HAS SOUS 659717 HAS SOUPS 659717 WITH SCORE 660452.44
AT ITER 2649 NEW BEST:: SOT 4430864 SOS 735312 HAS SOPS 735312 HAS SOUS 659589 HAS SOUPS 659589 WITH SCORE 660324.312
AT ITER 2655 NEW BEST:: SOT 4430835 SOS 735254 HAS SOPS 735254 HAS SOUS 659531 HAS SOUPS 659531 WITH SCORE 660266.254
AT ITER 2656 NEW BEST:: SOT 4430835 SOS 735239 HAS SOPS 735239 HAS SOUS 659531 HAS SOUPS 659531 WITH SCORE 660266.239
AT ITER 2678 NEW BEST:: SOT 4430835 SOS 735175 HAS SOPS 735175 HAS SOUS 659467 HAS SOUPS 659467 WITH SCORE 660202.175
AT ITER 2691 NEW BEST:: SOT 4430824 SOS 735153 HAS SOPS 735153 HAS SOUS 659445 HAS SOUPS 659445 WITH SCORE 660180.153
AT ITER 2709 NEW BEST:: SOT 4430626 SOS 734757 HAS SOPS 734757 HAS SOUS 659273 HAS SOUPS 659273 WITH SCORE 660007.757
AT ITER 2710 NEW BEST:: SOT 4430578 SOS 734661 HAS SOPS 734661 HAS SOUS 659272 HAS SOUPS 659272 WITH SCORE 660006.661
AT ITER 2719 NEW BEST:: SOT 4430319 SOS 734529 HAS SOPS 734529 HAS SOUS 659140 HAS SOUPS 659140 WITH SCORE 659874.529
AT ITER 2723 NEW BEST:: SOT 4430316 SOS 734523 HAS SOPS 734523 HAS SOUS 659134 HAS SOUPS 659134 WITH SCORE 659868.523
AT ITER 2732 NEW BEST:: SOT 4430026 SOS 734233 HAS SOPS 734233 HAS SOUS 658844 HAS SOUPS 658844 WITH SCORE 659578.233
AT ITER 2755 NEW BEST:: SOT 4430025 SOS 734231 HAS SOPS 734231 HAS SOUS 658842 HAS SOUPS 658842 WITH SCORE 659576.231
AT ITER 2785 NEW BEST:: SOT 4430024 SOS 734229 HAS SOPS 734229 HAS SOUS 658840 HAS SOUPS 658840 WITH SCORE 659574.229
AT ITER 2841 NEW BEST:: SOT 4429914 SOS 733622 HAS SOPS 733622 HAS SOUS 658620 HAS SOUPS 658620 WITH SCORE 659353.622
AT ITER 2869 NEW BEST:: SOT 4429914 SOS 733622 HAS SOPS 733622 HAS SOUS 658619 HAS SOUPS 658619 WITH SCORE 659352.622
AT ITER 2879 NEW BEST:: SOT 4429914 SOS 733622 HAS SOPS 733622 HAS SOUS 658564 HAS SOUPS 658564 WITH SCORE 659297.622
AT ITER 2900 NEW BEST:: SOT 4429861 SOS 733609 HAS SOPS 733609 HAS SOUS 658495 HAS SOUPS 658495 WITH SCORE 659228.609
AT ITER 2906 NEW BEST:: SOT 4429861 SOS 733609 HAS SOPS 733609 HAS SOUS 658378 HAS SOUPS 658378 WITH SCORE 659111.609
AT ITER 2950 NEW BEST:: SOT 4429746 SOS 733379 HAS SOPS 733379 HAS SOUS 658011 HAS SOUPS 658011 WITH SCORE 658744.379
AT ITER 2952 NEW BEST:: SOT 4429352 SOS 733019 HAS SOPS 733019 HAS SOUS 657544 HAS SOUPS 657544 WITH SCORE 658277.019
AT ITER 2969 NEW BEST:: SOT 4429259 SOS 733019 HAS SOPS 733019 HAS SOUS 657451 HAS SOUPS 657451 WITH SCORE 658184.019
AT ITER 3026 NEW BEST:: SOT 4429131 SOS 732763 HAS SOPS 732763 HAS SOUS 657195 HAS SOUPS 657195 WITH SCORE 657927.763
AT ITER 3036 NEW BEST:: SOT 4428988 SOS 732101 HAS SOPS 732101 HAS SOUS 656909 HAS SOUPS 656909 WITH SCORE 657641.101
AT ITER 3046 NEW BEST:: SOT 4429008 SOS 732141 HAS SOPS 732141 HAS SOUS 656764 HAS SOUPS 656764 WITH SCORE 657496.141
AT ITER 3053 NEW BEST:: SOT 4428982 SOS 732139 HAS SOPS 732139 HAS SOUS 656762 HAS SOUPS 656762 WITH SCORE 657494.139
AT ITER 3056 NEW BEST:: SOT 4429036 SOS 732133 HAS SOPS 732133 HAS SOUS 656642 HAS SOUPS 656642 WITH SCORE 657374.133
AT ITER 3096 NEW BEST:: SOT 4428652 SOS 731749 HAS SOPS 731749 HAS SOUS 656258 HAS SOUPS 656258 WITH SCORE 656989.749
AT ITER 3111 NEW BEST:: SOT 4428616 SOS 731770 HAS SOPS 731770 HAS SOUS 656251 HAS SOUPS 656251 WITH SCORE 656982.77
AT ITER 3119 NEW BEST:: SOT 4428614 SOS 731766 HAS SOPS 731766 HAS SOUS 656206 HAS SOUPS 656206 WITH SCORE 656937.766
AT ITER 3159 NEW BEST:: SOT 4428586 SOS 731710 HAS SOPS 731710 HAS SOUS 656150 HAS SOUPS 656150 WITH SCORE 656881.71
AT ITER 3170 NEW BEST:: SOT 4428451 SOS 731631 HAS SOPS 731631 HAS SOUS 656144 HAS SOUPS 656144 WITH SCORE 656875.631
AT ITER 3203 NEW BEST:: SOT 4428296 SOS 731502 HAS SOPS 731502 HAS SOUS 656015 HAS SOUPS 656015 WITH SCORE 656746.502
AT ITER 3231 NEW BEST:: SOT 4428157 SOS 731368 HAS SOPS 731368 HAS SOUS 655876 HAS SOUPS 655876 WITH SCORE 656607.368
AT ITER 3242 NEW BEST:: SOT 4428157 SOS 731300 HAS SOPS 731300 HAS SOUS 655876 HAS SOUPS 655876 WITH SCORE 656607.3
AT ITER 3251 NEW BEST:: SOT 4428079 SOS 731066 HAS SOPS 731066 HAS SOUS 655720 HAS SOUPS 655720 WITH SCORE 656451.066
AT ITER 3252 NEW BEST:: SOT 4428048 SOS 731004 HAS SOPS 731004 HAS SOUS 655658 HAS SOUPS 655658 WITH SCORE 656389.004
AT ITER 3270 NEW BEST:: SOT 4427930 SOS 730650 HAS SOPS 730650 HAS SOUS 655422 HAS SOUPS 655422 WITH SCORE 656152.65
AT ITER 3274 NEW BEST:: SOT 4428000 SOS 723510 HAS SOPS 723510 HAS SOUS 655284 HAS SOUPS 655284 WITH SCORE 656007.51
AT ITER 3291 NEW BEST:: SOT 4427996 SOS 723506 HAS SOPS 723506 HAS SOUS 655284 HAS SOUPS 655284 WITH SCORE 656007.506
AT ITER 3292 NEW BEST:: SOT 4427989 SOS 723492 HAS SOPS 723492 HAS SOUS 655276 HAS SOUPS 655276 WITH SCORE 655999.492
AT ITER 3312 NEW BEST:: SOT 4427827 SOS 723168 HAS SOPS 723168 HAS SOUS 655114 HAS SOUPS 655114 WITH SCORE 655837.168
AT ITER 3335 NEW BEST:: SOT 4428087 SOS 723240 HAS SOPS 723240 HAS SOUS 654978 HAS SOUPS 654978 WITH SCORE 655701.24
AT ITER 3336 NEW BEST:: SOT 4428128 SOS 723322 HAS SOPS 723322 HAS SOUS 654827 HAS SOUPS 654827 WITH SCORE 655550.322
AT ITER 3341 NEW BEST:: SOT 4427410 SOS 722872 HAS SOPS 722872 HAS SOUS 654201 HAS SOUPS 654201 WITH SCORE 654923.872
AT ITER 3361 NEW BEST:: SOT 4427410 SOS 722730 HAS SOPS 722730 HAS SOUS 654035 HAS SOUPS 654035 WITH SCORE 654757.73
AT ITER 3395 NEW BEST:: SOT 4427503 SOS 723194 HAS SOPS 723194 HAS SOUS 653971 HAS SOUPS 653971 WITH SCORE 654694.194
AT ITER 3402 NEW BEST:: SOT 4427503 SOS 723034 HAS SOPS 723034 HAS SOUS 653891 HAS SOUPS 653891 WITH SCORE 654614.034
AT ITER 3426 NEW BEST:: SOT 4427503 SOS 723034 HAS SOPS 723034 HAS SOUS 653687 HAS SOUPS 653687 WITH SCORE 654410.034
AT ITER 3456 NEW BEST:: SOT 4427414 SOS 723015 HAS SOPS 723015 HAS SOUS 653439 HAS SOUPS 653439 WITH SCORE 654162.015
AT ITER 3462 NEW BEST:: SOT 4427336 SOS 723183 HAS SOPS 723183 HAS SOUS 653361 HAS SOUPS 653361 WITH SCORE 654084.183
AT ITER 3472 NEW BEST:: SOT 4427243 SOS 723183 HAS SOPS 723183 HAS SOUS 653264 HAS SOUPS 653264 WITH SCORE 653987.183
AT ITER 3474 NEW BEST:: SOT 4427166 SOS 723029 HAS SOPS 723029 HAS SOUS 653110 HAS SOUPS 653110 WITH SCORE 653833.029
AT ITER 3511 NEW BEST:: SOT 4426905 SOS 722750 HAS SOPS 722750 HAS SOUS 653074 HAS SOUPS 653074 WITH SCORE 653796.75
AT ITER 3524 NEW BEST:: SOT 4426805 SOS 722550 HAS SOPS 722550 HAS SOUS 652874 HAS SOUPS 652874 WITH SCORE 653596.55
AT ITER 3545 NEW BEST:: SOT 4426400 SOS 722034 HAS SOPS 722034 HAS SOUS 652358 HAS SOUPS 652358 WITH SCORE 653080.034
AT ITER 3579 NEW BEST:: SOT 4426158 SOS 721360 HAS SOPS 721360 HAS SOUS 651874 HAS SOUPS 651874 WITH SCORE 652595.36
AT ITER 3623 NEW BEST:: SOT 4426070 SOS 721296 HAS SOPS 721296 HAS SOUS 651788 HAS SOUPS 651788 WITH SCORE 652509.296
AT ITER 3663 NEW BEST:: SOT 4426067 SOS 721290 HAS SOPS 721290 HAS SOUS 651785 HAS SOUPS 651785 WITH SCORE 652506.29
AT ITER 3701 NEW BEST:: SOT 4425976 SOS 721108 HAS SOPS 721108 HAS SOUS 651694 HAS SOUPS 651694 WITH SCORE 652415.108
AT ITER 3728 NEW BEST:: SOT 4425977 SOS 720998 HAS SOPS 720998 HAS SOUS 651584 HAS SOUPS 651584 WITH SCORE 652304.998
AT ITER 3775 NEW BEST:: SOT 4425741 SOS 720762 HAS SOPS 720762 HAS SOUS 651348 HAS SOUPS 651348 WITH SCORE 652068.762
AT ITER 3815 NEW BEST:: SOT 4425308 SOS 720350 HAS SOPS 720350 HAS SOUS 650921 HAS SOUPS 650921 WITH SCORE 651641.35
AT ITER 3830 NEW BEST:: SOT 4425326 SOS 720030 HAS SOPS 720030 HAS SOUS 650779 HAS SOUPS 650779 WITH SCORE 651499.03
AT ITER 3837 NEW BEST:: SOT 4421261 SOS 716246 HAS SOPS 716246 HAS SOUS 646819 HAS SOUPS 646819 WITH SCORE 647535.246
AT ITER 3839 NEW BEST:: SOT 4421231 SOS 716186 HAS SOPS 716186 HAS SOUS 646759 HAS SOUPS 646759 WITH SCORE 647475.186
AT ITER 3881 NEW BEST:: SOT 4420938 SOS 715912 HAS SOPS 715912 HAS SOUS 646466 HAS SOUPS 646466 WITH SCORE 647181.912
AT ITER 3905 NEW BEST:: SOT 4420779 SOS 715594 HAS SOPS 715594 HAS SOUS 646148 HAS SOUPS 646148 WITH SCORE 646863.594
AT ITER 3906 NEW BEST:: SOT 4420850 SOS 715736 HAS SOPS 715736 HAS SOUS 645974 HAS SOUPS 645974 WITH SCORE 646689.736
AT ITER 3930 NEW BEST:: SOT 4420850 SOS 715717 HAS SOPS 715717 HAS SOUS 645955 HAS SOUPS 645955 WITH SCORE 646670.717
AT ITER 3943 NEW BEST:: SOT 4420850 SOS 715717 HAS SOPS 715717 HAS SOUS 645935 HAS SOUPS 645935 WITH SCORE 646650.717
AT ITER 3952 NEW BEST:: SOT 4420578 SOS 715445 HAS SOPS 715445 HAS SOUS 645663 HAS SOUPS 645663 WITH SCORE 646378.445
AT ITER 3963 NEW BEST:: SOT 4420396 SOS 715231 HAS SOPS 715231 HAS SOUS 645449 HAS SOUPS 645449 WITH SCORE 646164.231
AT ITER 3969 NEW BEST:: SOT 4420325 SOS 715322 HAS SOPS 715322 HAS SOUS 645377 HAS SOUPS 645377 WITH SCORE 646092.322
AT ITER 3974 NEW BEST:: SOT 4420187 SOS 715046 HAS SOPS 715046 HAS SOUS 645101 HAS SOUPS 645101 WITH SCORE 645816.046
AT ITER 3990 NEW BEST:: SOT 4420187 SOS 714868 HAS SOPS 714868 HAS SOUS 645012 HAS SOUPS 645012 WITH SCORE 645726.868
AT ITER 4002 NEW BEST:: SOT 4420095 SOS 714684 HAS SOPS 714684 HAS SOUS 644920 HAS SOUPS 644920 WITH SCORE 645634.684
AT ITER 4010 NEW BEST:: SOT 4420095 SOS 714645 HAS SOPS 714645 HAS SOUS 644881 HAS SOUPS 644881 WITH SCORE 645595.645
AT ITER 4021 NEW BEST:: SOT 4420095 SOS 714487 HAS SOPS 714487 HAS SOUS 644723 HAS SOUPS 644723 WITH SCORE 645437.487
AT ITER 4035 NEW BEST:: SOT 4418027 SOS 719122 HAS SOPS 719122 HAS SOUS 643070 HAS SOUPS 643070 WITH SCORE 643789.122
AT ITER 4040 NEW BEST:: SOT 4417980 SOS 719123 HAS SOPS 719123 HAS SOUS 643023 HAS SOUPS 643023 WITH SCORE 643742.123
AT ITER 4045 NEW BEST:: SOT 4417593 SOS 718736 HAS SOPS 718736 HAS SOUS 642636 HAS SOUPS 642636 WITH SCORE 643354.736
AT ITER 4065 NEW BEST:: SOT 4417297 SOS 718465 HAS SOPS 718465 HAS SOUS 642365 HAS SOUPS 642365 WITH SCORE 643083.465
AT ITER 4067 NEW BEST:: SOT 4417534 SOS 718939 HAS SOPS 718939 HAS SOUS 642202 HAS SOUPS 642202 WITH SCORE 642920.939
AT ITER 4078 NEW BEST:: SOT 4417380 SOS 718631 HAS SOPS 718631 HAS SOUS 641903 HAS SOUPS 641903 WITH SCORE 642621.631
AT ITER 4085 NEW BEST:: SOT 4417344 SOS 718594 HAS SOPS 718594 HAS SOUS 641866 HAS SOUPS 641866 WITH SCORE 642584.594
AT ITER 4086 NEW BEST:: SOT 4417221 SOS 718518 HAS SOPS 718518 HAS SOUS 641772 HAS SOUPS 641772 WITH SCORE 642490.518
AT ITER 4098 NEW BEST:: SOT 4416888 SOS 718361 HAS SOPS 718361 HAS SOUS 641500 HAS SOUPS 641500 WITH SCORE 642218.361
AT ITER 4112 NEW BEST:: SOT 4416888 SOS 718235 HAS SOPS 718235 HAS SOUS 641500 HAS SOUPS 641500 WITH SCORE 642218.235
AT ITER 4136 NEW BEST:: SOT 4416691 SOS 718158 HAS SOPS 718158 HAS SOUS 641365 HAS SOUPS 641365 WITH SCORE 642083.158
AT ITER 4158 NEW BEST:: SOT 4413462 SOS 724192 HAS SOPS 724192 HAS SOUS 638434 HAS SOUPS 638434 WITH SCORE 639158.192
AT ITER 4159 NEW BEST:: SOT 4413462 SOS 724192 HAS SOPS 724192 HAS SOUS 638274 HAS SOUPS 638274 WITH SCORE 638998.192
AT ITER 4165 NEW BEST:: SOT 4413315 SOS 723627 HAS SOPS 723627 HAS SOUS 637980 HAS SOUPS 637980 WITH SCORE 638703.627
AT ITER 4173 NEW BEST:: SOT 4413127 SOS 723251 HAS SOPS 723251 HAS SOUS 637604 HAS SOUPS 637604 WITH SCORE 638327.251
AT ITER 4182 NEW BEST:: SOT 4412631 SOS 722755 HAS SOPS 722755 HAS SOUS 637108 HAS SOUPS 637108 WITH SCORE 637830.755
AT ITER 4193 NEW BEST:: SOT 4412387 SOS 722511 HAS SOPS 722511 HAS SOUS 636864 HAS SOUPS 636864 WITH SCORE 637586.511
AT ITER 4218 NEW BEST:: SOT 4412425 SOS 722278 HAS SOPS 722278 HAS SOUS 636745 HAS SOUPS 636745 WITH SCORE 637467.278
AT ITER 4239 NEW BEST:: SOT 4412424 SOS 722276 HAS SOPS 722276 HAS SOUS 636743 HAS SOUPS 636743 WITH SCORE 637465.276
AT ITER 4246 NEW BEST:: SOT 4412352 SOS 722204 HAS SOPS 722204 HAS SOUS 636671 HAS SOUPS 636671 WITH SCORE 637393.204
AT ITER 4251 NEW BEST:: SOT 4412545 SOS 722204 HAS SOPS 722204 HAS SOUS 636670 HAS SOUPS 636670 WITH SCORE 637392.204
AT ITER 4255 NEW BEST:: SOT 4412590 SOS 722294 HAS SOPS 722294 HAS SOUS 636623 HAS SOUPS 636623 WITH SCORE 637345.294
AT ITER 4286 NEW BEST:: SOT 4412508 SOS 722219 HAS SOPS 722219 HAS SOUS 636541 HAS SOUPS 636541 WITH SCORE 637263.219
AT ITER 4293 NEW BEST:: SOT 4412508 SOS 721780 HAS SOPS 721780 HAS SOUS 636102 HAS SOUPS 636102 WITH SCORE 636823.78
AT ITER 4299 NEW BEST:: SOT 4412508 SOS 721589 HAS SOPS 721589 HAS SOUS 635911 HAS SOUPS 635911 WITH SCORE 636632.589
AT ITER 4307 NEW BEST:: SOT 4412508 SOS 721488 HAS SOPS 721488 HAS SOUS 635911 HAS SOUPS 635911 WITH SCORE 636632.488
AT ITER 4396 NEW BEST:: SOT 4412456 SOS 720953 HAS SOPS 720953 HAS SOUS 635428 HAS SOUPS 635428 WITH SCORE 636148.953
AT ITER 4398 NEW BEST:: SOT 4412363 SOS 720857 HAS SOPS 720857 HAS SOUS 635245 HAS SOUPS 635245 WITH SCORE 635965.857
AT ITER 4399 NEW BEST:: SOT 4411872 SOS 721315 HAS SOPS 721315 HAS SOUS 634809 HAS SOUPS 634809 WITH SCORE 635530.315
AT ITER 4419 NEW BEST:: SOT 4411828 SOS 721227 HAS SOPS 721227 HAS SOUS 634764 HAS SOUPS 634764 WITH SCORE 635485.227
AT ITER 4437 NEW BEST:: SOT 4411750 SOS 721011 HAS SOPS 721011 HAS SOUS 634608 HAS SOUPS 634608 WITH SCORE 635329.011
AT ITER 4441 NEW BEST:: SOT 4411759 SOS 720456 HAS SOPS 720456 HAS SOUS 634256 HAS SOUPS 634256 WITH SCORE 634976.456
AT ITER 4480 NEW BEST:: SOT 4411577 SOS 720092 HAS SOPS 720092 HAS SOUS 634074 HAS SOUPS 634074 WITH SCORE 634794.092
AT ITER 4488 NEW BEST:: SOT 4411507 SOS 719952 HAS SOPS 719952 HAS SOUS 633934 HAS SOUPS 633934 WITH SCORE 634653.952
AT ITER 4499 NEW BEST:: SOT 4411366 SOS 719670 HAS SOPS 719670 HAS SOUS 633793 HAS SOUPS 633793 WITH SCORE 634512.67
AT ITER 4533 NEW BEST:: SOT 4411133 SOS 719204 HAS SOPS 719204 HAS SOUS 633327 HAS SOUPS 633327 WITH SCORE 634046.204
AT ITER 4553 NEW BEST:: SOT 4410885 SOS 718956 HAS SOPS 718956 HAS SOUS 633079 HAS SOUPS 633079 WITH SCORE 633797.956
AT ITER 4572 NEW BEST:: SOT 4410639 SOS 718464 HAS SOPS 718464 HAS SOUS 632833 HAS SOUPS 632833 WITH SCORE 633551.464
AT ITER 4594 NEW BEST:: SOT 4410588 SOS 718175 HAS SOPS 718175 HAS SOUS 632731 HAS SOUPS 632731 WITH SCORE 633449.175
AT ITER 4641 NEW BEST:: SOT 4410588 SOS 717896 HAS SOPS 717896 HAS SOUS 632731 HAS SOUPS 632731 WITH SCORE 633448.896
AT ITER 4661 NEW BEST:: SOT 4410639 SOS 717868 HAS SOPS 717868 HAS SOUS 632703 HAS SOUPS 632703 WITH SCORE 633420.868
AT ITER 4725 NEW BEST:: SOT 4410502 SOS 717594 HAS SOPS 717594 HAS SOUS 632429 HAS SOUPS 632429 WITH SCORE 633146.594
AT ITER 4738 NEW BEST:: SOT 4410442 SOS 717396 HAS SOPS 717396 HAS SOUS 632266 HAS SOUPS 632266 WITH SCORE 632983.396
AT ITER 4741 NEW BEST:: SOT 4410340 SOS 717300 HAS SOPS 717300 HAS SOUS 632170 HAS SOUPS 632170 WITH SCORE 632887.3
AT ITER 4767 NEW BEST:: SOT 4410178 SOS 716839 HAS SOPS 716839 HAS SOUS 631945 HAS SOUPS 631945 WITH SCORE 632661.839
AT ITER 4780 NEW BEST:: SOT 4410167 SOS 716817 HAS SOPS 716817 HAS SOUS 631923 HAS SOUPS 631923 WITH SCORE 632639.817
AT ITER 4800 NEW BEST:: SOT 4410167 SOS 716664 HAS SOPS 716664 HAS SOUS 631923 HAS SOUPS 631923 WITH SCORE 632639.664
AT ITER 4819 NEW BEST:: SOT 4410110 SOS 716550 HAS SOPS 716550 HAS SOUS 631809 HAS SOUPS 631809 WITH SCORE 632525.55
AT ITER 4821 NEW BEST:: SOT 4409804 SOS 716396 HAS SOPS 716396 HAS SOUS 631626 HAS SOUPS 631626 WITH SCORE 632342.396
AT ITER 4842 NEW BEST:: SOT 4409768 SOS 716324 HAS SOPS 716324 HAS SOUS 631620 HAS SOUPS 631620 WITH SCORE 632336.324
AT ITER 4872 NEW BEST:: SOT 4409775 SOS 716338 HAS SOPS 716338 HAS SOUS 631564 HAS SOUPS 631564 WITH SCORE 632280.338
AT ITER 4894 NEW BEST:: SOT 4409645 SOS 716078 HAS SOPS 716078 HAS SOUS 631362 HAS SOUPS 631362 WITH SCORE 632078.078
AT ITER 4943 NEW BEST:: SOT 4409543 SOS 715949 HAS SOPS 715949 HAS SOUS 631233 HAS SOUPS 631233 WITH SCORE 631948.949
AT ITER 4963 NEW BEST:: SOT 4409524 SOS 716103 HAS SOPS 716103 HAS SOUS 631214 HAS SOUPS 631214 WITH SCORE 631930.103
AT ITER 4972 NEW BEST:: SOT 4409492 SOS 716039 HAS SOPS 716039 HAS SOUS 631182 HAS SOUPS 631182 WITH SCORE 631898.039
AT ITER 4979 NEW BEST:: SOT 4409492 SOS 716017 HAS SOPS 716017 HAS SOUS 631160 HAS SOUPS 631160 WITH SCORE 631876.017
AT ITER 4992 NEW BEST:: SOT 4409217 SOS 715467 HAS SOPS 715467 HAS SOUS 630706 HAS SOUPS 630706 WITH SCORE 631421.467
AT ITER 4994 NEW BEST:: SOT 4409217 SOS 715218 HAS SOPS 715218 HAS SOUS 630706 HAS SOUPS 630706 WITH SCORE 631421.218
AT ITER 5020 NEW BEST:: SOT 4409019 SOS 715020 HAS SOPS 715020 HAS SOUS 630507 HAS SOUPS 630507 WITH SCORE 631222.02
AT ITER 5025 NEW BEST:: SOT 4409019 SOS 714891 HAS SOPS 714891 HAS SOUS 630507 HAS SOUPS 630507 WITH SCORE 631221.891
AT ITER 5026 NEW BEST:: SOT 4408967 SOS 714891 HAS SOPS 714891 HAS SOUS 630469 HAS SOUPS 630469 WITH SCORE 631183.891
AT ITER 5056 NEW BEST:: SOT 4408961 SOS 714879 HAS SOPS 714879 HAS SOUS 630463 HAS SOUPS 630463 WITH SCORE 631177.879
AT ITER 5098 NEW BEST:: SOT 4408730 SOS 714681 HAS SOPS 714681 HAS SOUS 630177 HAS SOUPS 630177 WITH SCORE 630891.681
AT ITER 5102 NEW BEST:: SOT 4408708 SOS 714722 HAS SOPS 714722 HAS SOUS 630155 HAS SOUPS 630155 WITH SCORE 630869.722
AT ITER 5128 NEW BEST:: SOT 4408508 SOS 714874 HAS SOPS 714874 HAS SOUS 630139 HAS SOUPS 630139 WITH SCORE 630853.874
AT ITER 5147 NEW BEST:: SOT 4408053 SOS 714720 HAS SOPS 714720 HAS SOUS 629860 HAS SOUPS 629860 WITH SCORE 630574.72
AT ITER 5157 NEW BEST:: SOT 4407975 SOS 714564 HAS SOPS 714564 HAS SOUS 629704 HAS SOUPS 629704 WITH SCORE 630418.564
AT ITER 5162 NEW BEST:: SOT 4408106 SOS 714826 HAS SOPS 714826 HAS SOUS 629696 HAS SOUPS 629696 WITH SCORE 630410.826
AT ITER 5168 NEW BEST:: SOT 4408106 SOS 714519 HAS SOPS 714519 HAS SOUS 629469 HAS SOUPS 629469 WITH SCORE 630183.519
AT ITER 5173 NEW BEST:: SOT 4408101 SOS 714509 HAS SOPS 714509 HAS SOUS 629459 HAS SOUPS 629459 WITH SCORE 630173.509
AT ITER 5175 NEW BEST:: SOT 4407913 SOS 714533 HAS SOPS 714533 HAS SOUS 629271 HAS SOUPS 629271 WITH SCORE 629985.533
AT ITER 5182 NEW BEST:: SOT 4407890 SOS 714487 HAS SOPS 714487 HAS SOUS 629248 HAS SOUPS 629248 WITH SCORE 629962.487
AT ITER 5189 NEW BEST:: SOT 4405624 SOS 712358 HAS SOPS 712358 HAS SOUS 627256 HAS SOUPS 627256 WITH SCORE 627968.358
AT ITER 5192 NEW BEST:: SOT 4405621 SOS 712352 HAS SOPS 712352 HAS SOUS 627250 HAS SOUPS 627250 WITH SCORE 627962.352
AT ITER 5195 NEW BEST:: SOT 4405612 SOS 712346 HAS SOPS 712346 HAS SOUS 627241 HAS SOUPS 627241 WITH SCORE 627953.346
AT ITER 5206 NEW BEST:: SOT 4405570 SOS 712304 HAS SOPS 712304 HAS SOUS 627199 HAS SOUPS 627199 WITH SCORE 627911.304
AT ITER 5248 NEW BEST:: SOT 4405569 SOS 712198 HAS SOPS 712198 HAS SOUS 627197 HAS SOUPS 627197 WITH SCORE 627909.198
AT ITER 5253 NEW BEST:: SOT 4405335 SOS 711730 HAS SOPS 711730 HAS SOUS 626729 HAS SOUPS 626729 WITH SCORE 627440.73
AT ITER 5268 NEW BEST:: SOT 4405315 SOS 711670 HAS SOPS 711670 HAS SOUS 626689 HAS SOUPS 626689 WITH SCORE 627400.67
AT ITER 5279 NEW BEST:: SOT 4404941 SOS 711670 HAS SOPS 711670 HAS SOUS 626502 HAS SOUPS 626502 WITH SCORE 627213.67
AT ITER 5304 NEW BEST:: SOT 4404858 SOS 711504 HAS SOPS 711504 HAS SOUS 626336 HAS SOUPS 626336 WITH SCORE 627047.504
AT ITER 5310 NEW BEST:: SOT 4404598 SOS 710865 HAS SOPS 710865 HAS SOUS 625659 HAS SOUPS 625659 WITH SCORE 626369.865
AT ITER 5323 NEW BEST:: SOT 4404322 SOS 710589 HAS SOPS 710589 HAS SOUS 625582 HAS SOUPS 625582 WITH SCORE 626292.589
AT ITER 5337 NEW BEST:: SOT 4404223 SOS 710391 HAS SOPS 710391 HAS SOUS 625365 HAS SOUPS 625365 WITH SCORE 626075.391
AT ITER 5382 NEW BEST:: SOT 4404127 SOS 710199 HAS SOPS 710199 HAS SOUS 625359 HAS SOUPS 625359 WITH SCORE 626069.199
AT ITER 5386 NEW BEST:: SOT 4404035 SOS 710015 HAS SOPS 710015 HAS SOUS 625342 HAS SOUPS 625342 WITH SCORE 626052.015
AT ITER 5412 NEW BEST:: SOT 4404106 SOS 710157 HAS SOPS 710157 HAS SOUS 625181 HAS SOUPS 625181 WITH SCORE 625891.157
AT ITER 5432 NEW BEST:: SOT 4403750 SOS 710235 HAS SOPS 710235 HAS SOUS 624983 HAS SOUPS 624983 WITH SCORE 625693.235
AT ITER 5520 NEW BEST:: SOT 4403726 SOS 710187 HAS SOPS 710187 HAS SOUS 624959 HAS SOUPS 624959 WITH SCORE 625669.187
AT ITER 5531 NEW BEST:: SOT 4403534 SOS 711009 HAS SOPS 711009 HAS SOUS 624805 HAS SOUPS 624805 WITH SCORE 625516.009
AT ITER 5544 NEW BEST:: SOT 4403534 SOS 711009 HAS SOPS 711009 HAS SOUS 624759 HAS SOUPS 624759 WITH SCORE 625470.009
AT ITER 5554 NEW BEST:: SOT 4403516 SOS 710973 HAS SOPS 710973 HAS SOUS 624723 HAS SOUPS 624723 WITH SCORE 625433.973
AT ITER 5555 NEW BEST:: SOT 4403010 SOS 709961 HAS SOPS 709961 HAS SOUS 623893 HAS SOUPS 623893 WITH SCORE 624602.961
AT ITER 5558 NEW BEST:: SOT 4403022 SOS 709912 HAS SOPS 709912 HAS SOUS 623886 HAS SOUPS 623886 WITH SCORE 624595.912
AT ITER 5572 NEW BEST:: SOT 4402999 SOS 709896 HAS SOPS 709896 HAS SOUS 623869 HAS SOUPS 623869 WITH SCORE 624578.896
AT ITER 5578 NEW BEST:: SOT 4402950 SOS 709847 HAS SOPS 709847 HAS SOUS 623820 HAS SOUPS 623820 WITH SCORE 624529.847
AT ITER 5593 NEW BEST:: SOT 4402425 SOS 709497 HAS SOPS 709497 HAS SOUS 623295 HAS SOUPS 623295 WITH SCORE 624004.497
AT ITER 5601 NEW BEST:: SOT 4402173 SOS 709511 HAS SOPS 709511 HAS SOUS 623105 HAS SOUPS 623105 WITH SCORE 623814.511
AT ITER 5630 NEW BEST:: SOT 4402030 SOS 709513 HAS SOPS 709513 HAS SOUS 623035 HAS SOUPS 623035 WITH SCORE 623744.513
AT ITER 5712 NEW BEST:: SOT 4401915 SOS 709283 HAS SOPS 709283 HAS SOUS 622920 HAS SOUPS 622920 WITH SCORE 623629.283
AT ITER 5740 NEW BEST:: SOT 4401914 SOS 709281 HAS SOPS 709281 HAS SOUS 622918 HAS SOUPS 622918 WITH SCORE 623627.281
AT ITER 5754 NEW BEST:: SOT 4401281 SOS 709767 HAS SOPS 709767 HAS SOUS 622723 HAS SOUPS 622723 WITH SCORE 623432.767
AT ITER 5757 NEW BEST:: SOT 4401085 SOS 709195 HAS SOPS 709195 HAS SOUS 622331 HAS SOUPS 622331 WITH SCORE 623040.195
AT ITER 5824 NEW BEST:: SOT 4400989 SOS 709003 HAS SOPS 709003 HAS SOUS 622235 HAS SOUPS 622235 WITH SCORE 622944.003
AT ITER 5832 NEW BEST:: SOT 4400940 SOS 708744 HAS SOPS 708744 HAS SOUS 622025 HAS SOUPS 622025 WITH SCORE 622733.744
AT ITER 5842 NEW BEST:: SOT 4400802 SOS 708245 HAS SOPS 708245 HAS SOUS 621749 HAS SOUPS 621749 WITH SCORE 622457.245
AT ITER 5860 NEW BEST:: SOT 4400597 SOS 710300 HAS SOPS 710300 HAS SOUS 621670 HAS SOUPS 621670 WITH SCORE 622380.3
AT ITER 5867 NEW BEST:: SOT 4400383 SOS 709872 HAS SOPS 709872 HAS SOUS 621242 HAS SOUPS 621242 WITH SCORE 621951.872
AT ITER 5893 NEW BEST:: SOT 4400238 SOS 709706 HAS SOPS 709706 HAS SOUS 621076 HAS SOUPS 621076 WITH SCORE 621785.706
AT ITER 5915 NEW BEST:: SOT 4400238 SOS 709706 HAS SOPS 709706 HAS SOUS 620924 HAS SOUPS 620924 WITH SCORE 621633.706
AT ITER 5964 NEW BEST:: SOT 4399972 SOS 709120 HAS SOPS 709120 HAS SOUS 620712 HAS SOUPS 620712 WITH SCORE 621421.12
AT ITER 5975 NEW BEST:: SOT 4399962 SOS 709100 HAS SOPS 709100 HAS SOUS 620702 HAS SOUPS 620702 WITH SCORE 621411.1
AT ITER 5981 NEW BEST:: SOT 4399962 SOS 709022 HAS SOPS 709022 HAS SOUS 620663 HAS SOUPS 620663 WITH SCORE 621372.022
AT ITER 5996 NEW BEST:: SOT 4399905 SOS 708908 HAS SOPS 708908 HAS SOUS 620563 HAS SOUPS 620563 WITH SCORE 621271.908
AT ITER 6023 NEW BEST:: SOT 4399905 SOS 708753 HAS SOPS 708753 HAS SOUS 620562 HAS SOUPS 620562 WITH SCORE 621270.753
AT ITER 6026 NEW BEST:: SOT 4399380 SOS 708397 HAS SOPS 708397 HAS SOUS 620152 HAS SOUPS 620152 WITH SCORE 620860.397
AT ITER 6031 NEW BEST:: SOT 4399365 SOS 708367 HAS SOPS 708367 HAS SOUS 620137 HAS SOUPS 620137 WITH SCORE 620845.367
AT ITER 6073 NEW BEST:: SOT 4399220 SOS 708077 HAS SOPS 708077 HAS SOUS 619847 HAS SOUPS 619847 WITH SCORE 620555.077
AT ITER 6085 NEW BEST:: SOT 4399103 SOS 707843 HAS SOPS 707843 HAS SOUS 619644 HAS SOUPS 619644 WITH SCORE 620351.843
AT ITER 6087 NEW BEST:: SOT 4399251 SOS 707947 HAS SOPS 707947 HAS SOUS 619643 HAS SOUPS 619643 WITH SCORE 620350.947
AT ITER 6106 NEW BEST:: SOT 4399202 SOS 707849 HAS SOPS 707849 HAS SOUS 619594 HAS SOUPS 619594 WITH SCORE 620301.849
AT ITER 6119 NEW BEST:: SOT 4399190 SOS 707825 HAS SOPS 707825 HAS SOUS 619582 HAS SOUPS 619582 WITH SCORE 620289.825
AT ITER 6123 NEW BEST:: SOT 4399190 SOS 707736 HAS SOPS 707736 HAS SOUS 619582 HAS SOUPS 619582 WITH SCORE 620289.736
AT ITER 6132 NEW BEST:: SOT 4399211 SOS 707694 HAS SOPS 707694 HAS SOUS 619582 HAS SOUPS 619582 WITH SCORE 620289.694
AT ITER 6150 NEW BEST:: SOT 4399143 SOS 707558 HAS SOPS 707558 HAS SOUS 619446 HAS SOUPS 619446 WITH SCORE 620153.558
AT ITER 6156 NEW BEST:: SOT 4399143 SOS 707229 HAS SOPS 707229 HAS SOUS 619446 HAS SOUPS 619446 WITH SCORE 620153.229
AT ITER 6181 NEW BEST:: SOT 4399230 SOS 707403 HAS SOPS 707403 HAS SOUS 619072 HAS SOUPS 619072 WITH SCORE 619779.403
AT ITER 6213 NEW BEST:: SOT 4398937 SOS 711327 HAS SOPS 711327 HAS SOUS 618889 HAS SOUPS 618889 WITH SCORE 619600.327
AT ITER 6229 NEW BEST:: SOT 4398530 SOS 711336 HAS SOPS 711336 HAS SOUS 618806 HAS SOUPS 618806 WITH SCORE 619517.336
AT ITER 6277 NEW BEST:: SOT 4398268 SOS 710812 HAS SOPS 710812 HAS SOUS 618188 HAS SOUPS 618188 WITH SCORE 618898.812
AT ITER 6285 NEW BEST:: SOT 4398050 SOS 710826 HAS SOPS 710826 HAS SOUS 618001 HAS SOUPS 618001 WITH SCORE 618711.826
AT ITER 6326 NEW BEST:: SOT 4397924 SOS 710574 HAS SOPS 710574 HAS SOUS 617749 HAS SOUPS 617749 WITH SCORE 618459.574
AT ITER 6350 NEW BEST:: SOT 4397698 SOS 710416 HAS SOPS 710416 HAS SOUS 617591 HAS SOUPS 617591 WITH SCORE 618301.416
AT ITER 6362 NEW BEST:: SOT 4397586 SOS 710363 HAS SOPS 710363 HAS SOUS 617437 HAS SOUPS 617437 WITH SCORE 618147.363
AT ITER 6379 NEW BEST:: SOT 4397586 SOS 710121 HAS SOPS 710121 HAS SOUS 617437 HAS SOUPS 617437 WITH SCORE 618147.121
AT ITER 6394 NEW BEST:: SOT 4397499 SOS 709650 HAS SOPS 709650 HAS SOUS 617263 HAS SOUPS 617263 WITH SCORE 617972.65
AT ITER 6400 NEW BEST:: SOT 4397176 SOS 710592 HAS SOPS 710592 HAS SOUS 617196 HAS SOUPS 617196 WITH SCORE 617906.592
AT ITER 6402 NEW BEST:: SOT 4396599 SOS 710304 HAS SOPS 710304 HAS SOUS 616721 HAS SOUPS 616721 WITH SCORE 617431.304
AT ITER 6410 NEW BEST:: SOT 4396483 SOS 710072 HAS SOPS 710072 HAS SOUS 616605 HAS SOUPS 616605 WITH SCORE 617315.072
AT ITER 6438 NEW BEST:: SOT 4396483 SOS 710072 HAS SOPS 710072 HAS SOUS 616604 HAS SOUPS 616604 WITH SCORE 617314.072
AT ITER 6444 NEW BEST:: SOT 4396406 SOS 710142 HAS SOPS 710142 HAS SOUS 616515 HAS SOUPS 616515 WITH SCORE 617225.142
AT ITER 6455 NEW BEST:: SOT 4396353 SOS 710036 HAS SOPS 710036 HAS SOUS 616409 HAS SOUPS 616409 WITH SCORE 617119.036
AT ITER 6483 NEW BEST:: SOT 4395762 SOS 709804 HAS SOPS 709804 HAS SOUS 615854 HAS SOUPS 615854 WITH SCORE 616563.804
AT ITER 6485 NEW BEST:: SOT 4395865 SOS 709750 HAS SOPS 709750 HAS SOUS 615800 HAS SOUPS 615800 WITH SCORE 616509.75
AT ITER 6490 NEW BEST:: SOT 4395837 SOS 709694 HAS SOPS 709694 HAS SOUS 615744 HAS SOUPS 615744 WITH SCORE 616453.694
AT ITER 6510 NEW BEST:: SOT 4395834 SOS 709688 HAS SOPS 709688 HAS SOUS 615659 HAS SOUPS 615659 WITH SCORE 616368.688
AT ITER 6540 NEW BEST:: SOT 4395837 SOS 709217 HAS SOPS 709217 HAS SOUS 615185 HAS SOUPS 615185 WITH SCORE 615894.217
AT ITER 6545 NEW BEST:: SOT 4395815 SOS 708975 HAS SOPS 708975 HAS SOUS 615141 HAS SOUPS 615141 WITH SCORE 615849.975
AT ITER 6570 NEW BEST:: SOT 4395755 SOS 708855 HAS SOPS 708855 HAS SOUS 615021 HAS SOUPS 615021 WITH SCORE 615729.855
AT ITER 6572 NEW BEST:: SOT 4395596 SOS 708537 HAS SOPS 708537 HAS SOUS 614703 HAS SOUPS 614703 WITH SCORE 615411.537
AT ITER 6598 NEW BEST:: SOT 4395540 SOS 708262 HAS SOPS 708262 HAS SOUS 614484 HAS SOUPS 614484 WITH SCORE 615192.262
AT ITER 6603 NEW BEST:: SOT 4395730 SOS 708074 HAS SOPS 708074 HAS SOUS 614296 HAS SOUPS 614296 WITH SCORE 615004.074
AT ITER 6642 NEW BEST:: SOT 4395383 SOS 707033 HAS SOPS 707033 HAS SOUS 613761 HAS SOUPS 613761 WITH SCORE 614468.033
AT ITER 6678 NEW BEST:: SOT 4395005 SOS 706535 HAS SOPS 706535 HAS SOUS 613310 HAS SOUPS 613310 WITH SCORE 614016.535
AT ITER 6690 NEW BEST:: SOT 4394981 SOS 706487 HAS SOPS 706487 HAS SOUS 613286 HAS SOUPS 613286 WITH SCORE 613992.487
AT ITER 6703 NEW BEST:: SOT 4394948 SOS 706388 HAS SOPS 706388 HAS SOUS 613220 HAS SOUPS 613220 WITH SCORE 613926.388
AT ITER 6706 NEW BEST:: SOT 4394714 SOS 706648 HAS SOPS 706648 HAS SOUS 613153 HAS SOUPS 613153 WITH SCORE 613859.648
AT ITER 6722 NEW BEST:: SOT 4394699 SOS 706618 HAS SOPS 706618 HAS SOUS 613123 HAS SOUPS 613123 WITH SCORE 613829.618
AT ITER 6724 NEW BEST:: SOT 4394698 SOS 706757 HAS SOPS 706757 HAS SOUS 613121 HAS SOUPS 613121 WITH SCORE 613827.757
AT ITER 6726 NEW BEST:: SOT 4394794 SOS 706483 HAS SOPS 706483 HAS SOUS 612830 HAS SOUPS 612830 WITH SCORE 613536.483
AT ITER 6748 NEW BEST:: SOT 4394782 SOS 706577 HAS SOPS 706577 HAS SOUS 612786 HAS SOUPS 612786 WITH SCORE 613492.577
AT ITER 6755 NEW BEST:: SOT 4394782 SOS 706577 HAS SOPS 706577 HAS SOUS 612782 HAS SOUPS 612782 WITH SCORE 613488.577
AT ITER 6770 NEW BEST:: SOT 4394728 SOS 706469 HAS SOPS 706469 HAS SOUS 612728 HAS SOUPS 612728 WITH SCORE 613434.469
AT ITER 6796 NEW BEST:: SOT 4394728 SOS 706458 HAS SOPS 706458 HAS SOUS 612717 HAS SOUPS 612717 WITH SCORE 613423.458
AT ITER 6805 NEW BEST:: SOT 4394600 SOS 706330 HAS SOPS 706330 HAS SOUS 612589 HAS SOUPS 612589 WITH SCORE 613295.33
AT ITER 6875 NEW BEST:: SOT 4394600 SOS 706330 HAS SOPS 706330 HAS SOUS 612572 HAS SOUPS 612572 WITH SCORE 613278.33
AT ITER 6905 NEW BEST:: SOT 4394570 SOS 706270 HAS SOPS 706270 HAS SOUS 612542 HAS SOUPS 612542 WITH SCORE 613248.27
AT ITER 6932 NEW BEST:: SOT 4394678 SOS 706240 HAS SOPS 706240 HAS SOUS 612527 HAS SOUPS 612527 WITH SCORE 613233.24
AT ITER 6941 NEW BEST:: SOT 4394657 SOS 706198 HAS SOPS 706198 HAS SOUS 612485 HAS SOUPS 612485 WITH SCORE 613191.198
AT ITER 6943 NEW BEST:: SOT 4394388 SOS 705929 HAS SOPS 705929 HAS SOUS 612319 HAS SOUPS 612319 WITH SCORE 613024.929
AT ITER 6944 NEW BEST:: SOT 4394388 SOS 705872 HAS SOPS 705872 HAS SOUS 612262 HAS SOUPS 612262 WITH SCORE 612967.872
AT ITER 6975 NEW BEST:: SOT 4394292 SOS 705680 HAS SOPS 705680 HAS SOUS 612070 HAS SOUPS 612070 WITH SCORE 612775.68
AT ITER 6976 NEW BEST:: SOT 4394291 SOS 705678 HAS SOPS 705678 HAS SOUS 612068 HAS SOUPS 612068 WITH SCORE 612773.678
AT ITER 7014 NEW BEST:: SOT 4394273 SOS 705642 HAS SOPS 705642 HAS SOUS 612032 HAS SOUPS 612032 WITH SCORE 612737.642
AT ITER 7018 NEW BEST:: SOT 4394090 SOS 705276 HAS SOPS 705276 HAS SOUS 611666 HAS SOUPS 611666 WITH SCORE 612371.276
AT ITER 7059 NEW BEST:: SOT 4393985 SOS 705066 HAS SOPS 705066 HAS SOUS 611456 HAS SOUPS 611456 WITH SCORE 612161.066
AT ITER 7064 NEW BEST:: SOT 4394145 SOS 705386 HAS SOPS 705386 HAS SOUS 611198 HAS SOUPS 611198 WITH SCORE 611903.386
AT ITER 7114 NEW BEST:: SOT 4393941 SOS 705182 HAS SOPS 705182 HAS SOUS 610994 HAS SOUPS 610994 WITH SCORE 611699.182
AT ITER 7137 NEW BEST:: SOT 4393934 SOS 705168 HAS SOPS 705168 HAS SOUS 610980 HAS SOUPS 610980 WITH SCORE 611685.168
AT ITER 7143 NEW BEST:: SOT 4393774 SOS 705008 HAS SOPS 705008 HAS SOUS 610820 HAS SOUPS 610820 WITH SCORE 611525.008
AT ITER 7147 NEW BEST:: SOT 4393739 SOS 704938 HAS SOPS 704938 HAS SOUS 610729 HAS SOUPS 610729 WITH SCORE 611433.938
AT ITER 7148 NEW BEST:: SOT 4393739 SOS 704938 HAS SOPS 704938 HAS SOUS 610726 HAS SOUPS 610726 WITH SCORE 611430.938
AT ITER 7157 NEW BEST:: SOT 4393853 SOS 704470 HAS SOPS 704470 HAS SOUS 610335 HAS SOUPS 610335 WITH SCORE 611039.47
AT ITER 7163 NEW BEST:: SOT 4393852 SOS 704682 HAS SOPS 704682 HAS SOUS 610333 HAS SOUPS 610333 WITH SCORE 611037.682
AT ITER 7180 NEW BEST:: SOT 4393975 SOS 704694 HAS SOPS 704694 HAS SOUS 610261 HAS SOUPS 610261 WITH SCORE 610965.694
AT ITER 7196 NEW BEST:: SOT 4393954 SOS 704652 HAS SOPS 704652 HAS SOUS 610219 HAS SOUPS 610219 WITH SCORE 610923.652
AT ITER 7221 NEW BEST:: SOT 4393954 SOS 704652 HAS SOPS 704652 HAS SOUS 610218 HAS SOUPS 610218 WITH SCORE 610922.652
AT ITER 7224 NEW BEST:: SOT 4393954 SOS 704513 HAS SOPS 704513 HAS SOUS 610218 HAS SOUPS 610218 WITH SCORE 610922.513
AT ITER 7276 NEW BEST:: SOT 4393954 SOS 704513 HAS SOPS 704513 HAS SOUS 610036 HAS SOUPS 610036 WITH SCORE 610740.513
AT ITER 7294 NEW BEST:: SOT 4394086 SOS 704409 HAS SOPS 704409 HAS SOUS 609959 HAS SOUPS 609959 WITH SCORE 610663.409
AT ITER 7304 NEW BEST:: SOT 4394041 SOS 704319 HAS SOPS 704319 HAS SOUS 609869 HAS SOUPS 609869 WITH SCORE 610573.319
AT ITER 7334 NEW BEST:: SOT 4393852 SOS 704211 HAS SOPS 704211 HAS SOUS 609697 HAS SOUPS 609697 WITH SCORE 610401.211
AT ITER 7335 NEW BEST:: SOT 4393828 SOS 704163 HAS SOPS 704163 HAS SOUS 609649 HAS SOUPS 609649 WITH SCORE 610353.163
AT ITER 7359 NEW BEST:: SOT 4393948 SOS 704595 HAS SOPS 704595 HAS SOUS 609527 HAS SOUPS 609527 WITH SCORE 610231.595
AT ITER 7382 NEW BEST:: SOT 4393948 SOS 704595 HAS SOPS 704595 HAS SOUS 609524 HAS SOUPS 609524 WITH SCORE 610228.595
AT ITER 7391 NEW BEST:: SOT 4393947 SOS 704593 HAS SOPS 704593 HAS SOUS 609522 HAS SOUPS 609522 WITH SCORE 610226.593
AT ITER 7399 NEW BEST:: SOT 4393947 SOS 704563 HAS SOPS 704563 HAS SOUS 609522 HAS SOUPS 609522 WITH SCORE 610226.563
AT ITER 7420 NEW BEST:: SOT 4393924 SOS 704426 HAS SOPS 704426 HAS SOUS 609476 HAS SOUPS 609476 WITH SCORE 610180.426
AT ITER 7466 NEW BEST:: SOT 4393825 SOS 704327 HAS SOPS 704327 HAS SOUS 609377 HAS SOUPS 609377 WITH SCORE 610081.327
AT ITER 7468 NEW BEST:: SOT 4393800 SOS 704277 HAS SOPS 704277 HAS SOUS 609360 HAS SOUPS 609360 WITH SCORE 610064.277
AT ITER 7477 NEW BEST:: SOT 4393743 SOS 703876 HAS SOPS 703876 HAS SOUS 609131 HAS SOUPS 609131 WITH SCORE 609834.876
AT ITER 7524 NEW BEST:: SOT 4393898 SOS 703608 HAS SOPS 703608 HAS SOUS 609053 HAS SOUPS 609053 WITH SCORE 609756.608
AT ITER 7532 NEW BEST:: SOT 4393865 SOS 703542 HAS SOPS 703542 HAS SOUS 608987 HAS SOUPS 608987 WITH SCORE 609690.542
AT ITER 7533 NEW BEST:: SOT 4393822 SOS 703456 HAS SOPS 703456 HAS SOUS 608901 HAS SOUPS 608901 WITH SCORE 609604.456
AT ITER 7534 NEW BEST:: SOT 4393696 SOS 703370 HAS SOPS 703370 HAS SOUS 608815 HAS SOUPS 608815 WITH SCORE 609518.37
AT ITER 7544 NEW BEST:: SOT 4393601 SOS 703275 HAS SOPS 703275 HAS SOUS 608720 HAS SOUPS 608720 WITH SCORE 609423.275
AT ITER 7554 NEW BEST:: SOT 4393532 SOS 696135 HAS SOPS 696135 HAS SOUS 608651 HAS SOUPS 608651 WITH SCORE 609347.135
AT ITER 7560 NEW BEST:: SOT 4393512 SOS 696095 HAS SOPS 696095 HAS SOUS 608611 HAS SOUPS 608611 WITH SCORE 609307.095
AT ITER 7599 NEW BEST:: SOT 4393416 SOS 695903 HAS SOPS 695903 HAS SOUS 608515 HAS SOUPS 608515 WITH SCORE 609210.903
AT ITER 7618 NEW BEST:: SOT 4393361 SOS 695793 HAS SOPS 695793 HAS SOUS 608297 HAS SOUPS 608297 WITH SCORE 608992.793
AT ITER 7690 NEW BEST:: SOT 4393277 SOS 695541 HAS SOPS 695541 HAS SOUS 608213 HAS SOUPS 608213 WITH SCORE 608908.541
AT ITER 7703 NEW BEST:: SOT 4393182 SOS 695447 HAS SOPS 695447 HAS SOUS 608119 HAS SOUPS 608119 WITH SCORE 608814.447
AT ITER 7724 NEW BEST:: SOT 4393182 SOS 695367 HAS SOPS 695367 HAS SOUS 608039 HAS SOUPS 608039 WITH SCORE 608734.367
AT ITER 7726 NEW BEST:: SOT 4393177 SOS 695362 HAS SOPS 695362 HAS SOUS 608039 HAS SOUPS 608039 WITH SCORE 608734.362
AT ITER 7747 NEW BEST:: SOT 4393149 SOS 695118 HAS SOPS 695118 HAS SOUS 607917 HAS SOUPS 607917 WITH SCORE 608612.118
AT ITER 7776 NEW BEST:: SOT 4393077 SOS 694974 HAS SOPS 694974 HAS SOUS 607773 HAS SOUPS 607773 WITH SCORE 608467.974
AT ITER 7802 NEW BEST:: SOT 4393031 SOS 695112 HAS SOPS 695112 HAS SOUS 607727 HAS SOUPS 607727 WITH SCORE 608422.112
AT ITER 7818 NEW BEST:: SOT 4392991 SOS 695032 HAS SOPS 695032 HAS SOUS 607647 HAS SOUPS 607647 WITH SCORE 608342.032
AT ITER 7849 NEW BEST:: SOT 4392991 SOS 695031 HAS SOPS 695031 HAS SOUS 607647 HAS SOUPS 607647 WITH SCORE 608342.031
AT ITER 7851 NEW BEST:: SOT 4392989 SOS 695029 HAS SOPS 695029 HAS SOUS 607643 HAS SOUPS 607643 WITH SCORE 608338.029
AT ITER 7875 NEW BEST:: SOT 4392934 SOS 695009 HAS SOPS 695009 HAS SOUS 607588 HAS SOUPS 607588 WITH SCORE 608283.009
AT ITER 7882 NEW BEST:: SOT 4392797 SOS 694940 HAS SOPS 694940 HAS SOUS 607480 HAS SOUPS 607480 WITH SCORE 608174.94
AT ITER 7922 NEW BEST:: SOT 4392872 SOS 695090 HAS SOPS 695090 HAS SOUS 607438 HAS SOUPS 607438 WITH SCORE 608133.09
AT ITER 7923 NEW BEST:: SOT 4392812 SOS 694862 HAS SOPS 694862 HAS SOUS 607236 HAS SOUPS 607236 WITH SCORE 607930.862
AT ITER 7979 NEW BEST:: SOT 4392789 SOS 694816 HAS SOPS 694816 HAS SOUS 607190 HAS SOUPS 607190 WITH SCORE 607884.816
AT ITER 8032 NEW BEST:: SOT 4392789 SOS 694667 HAS SOPS 694667 HAS SOUS 607190 HAS SOUPS 607190 WITH SCORE 607884.667
AT ITER 8040 NEW BEST:: SOT 4392624 SOS 694529 HAS SOPS 694529 HAS SOUS 607032 HAS SOUPS 607032 WITH SCORE 607726.529
AT ITER 8070 NEW BEST:: SOT 4392560 SOS 694401 HAS SOPS 694401 HAS SOUS 606904 HAS SOUPS 606904 WITH SCORE 607598.401
AT ITER 8083 NEW BEST:: SOT 4392495 SOS 694271 HAS SOPS 694271 HAS SOUS 606839 HAS SOUPS 606839 WITH SCORE 607533.271
AT ITER 8124 NEW BEST:: SOT 4392550 SOS 694381 HAS SOPS 694381 HAS SOUS 606706 HAS SOUPS 606706 WITH SCORE 607400.381
AT ITER 8136 NEW BEST:: SOT 4392438 SOS 694157 HAS SOPS 694157 HAS SOUS 606482 HAS SOUPS 606482 WITH SCORE 607176.157
AT ITER 8156 NEW BEST:: SOT 4392438 SOS 693974 HAS SOPS 693974 HAS SOUS 606482 HAS SOUPS 606482 WITH SCORE 607175.974
AT ITER 8195 NEW BEST:: SOT 4392069 SOS 693886 HAS SOPS 693886 HAS SOUS 606243 HAS SOUPS 606243 WITH SCORE 606936.886
AT ITER 8227 NEW BEST:: SOT 4392069 SOS 693609 HAS SOPS 693609 HAS SOUS 606243 HAS SOUPS 606243 WITH SCORE 606936.609
AT ITER 8285 NEW BEST:: SOT 4391902 SOS 693275 HAS SOPS 693275 HAS SOUS 606076 HAS SOUPS 606076 WITH SCORE 606769.275
AT ITER 8287 NEW BEST:: SOT 4391852 SOS 693175 HAS SOPS 693175 HAS SOUS 605976 HAS SOUPS 605976 WITH SCORE 606669.175
AT ITER 8321 NEW BEST:: SOT 4391817 SOS 693105 HAS SOPS 693105 HAS SOUS 605906 HAS SOUPS 605906 WITH SCORE 606599.105
AT ITER 8325 NEW BEST:: SOT 4391617 SOS 692705 HAS SOPS 692705 HAS SOUS 605706 HAS SOUPS 605706 WITH SCORE 606398.705
AT ITER 8344 NEW BEST:: SOT 4391617 SOS 692705 HAS SOPS 692705 HAS SOUS 605630 HAS SOUPS 605630 WITH SCORE 606322.705
AT ITER 8357 NEW BEST:: SOT 4391481 SOS 692647 HAS SOPS 692647 HAS SOUS 605572 HAS SOUPS 605572 WITH SCORE 606264.647
AT ITER 8396 NEW BEST:: SOT 4391472 SOS 692629 HAS SOPS 692629 HAS SOUS 605508 HAS SOUPS 605508 WITH SCORE 606200.629
AT ITER 8426 NEW BEST:: SOT 4391472 SOS 692629 HAS SOPS 692629 HAS SOUS 605506 HAS SOUPS 605506 WITH SCORE 606198.629
AT ITER 8438 NEW BEST:: SOT 4391054 SOS 692222 HAS SOPS 692222 HAS SOUS 605093 HAS SOUPS 605093 WITH SCORE 605785.222
AT ITER 8440 NEW BEST:: SOT 4390978 SOS 692070 HAS SOPS 692070 HAS SOUS 604941 HAS SOUPS 604941 WITH SCORE 605633.07
AT ITER 8458 NEW BEST:: SOT 4390867 SOS 691959 HAS SOPS 691959 HAS SOUS 604789 HAS SOUPS 604789 WITH SCORE 605480.959
AT ITER 8467 NEW BEST:: SOT 4390975 SOS 692026 HAS SOPS 692026 HAS SOUS 604665 HAS SOUPS 604665 WITH SCORE 605357.026
AT ITER 8485 NEW BEST:: SOT 4390886 SOS 692150 HAS SOPS 692150 HAS SOUS 604618 HAS SOUPS 604618 WITH SCORE 605310.15
AT ITER 8498 NEW BEST:: SOT 4390801 SOS 691980 HAS SOPS 691980 HAS SOUS 604448 HAS SOUPS 604448 WITH SCORE 605139.98
AT ITER 8549 NEW BEST:: SOT 4390794 SOS 691966 HAS SOPS 691966 HAS SOUS 604439 HAS SOUPS 604439 WITH SCORE 605130.966
AT ITER 8551 NEW BEST:: SOT 4390649 SOS 692035 HAS SOPS 692035 HAS SOUS 604428 HAS SOUPS 604428 WITH SCORE 605120.035
AT ITER 8559 NEW BEST:: SOT 4390423 SOS 691583 HAS SOPS 691583 HAS SOUS 603976 HAS SOUPS 603976 WITH SCORE 604667.583
AT ITER 8564 NEW BEST:: SOT 4390414 SOS 691565 HAS SOPS 691565 HAS SOUS 603967 HAS SOUPS 603967 WITH SCORE 604658.565
AT ITER 8565 NEW BEST:: SOT 4390313 SOS 691363 HAS SOPS 691363 HAS SOUS 603765 HAS SOUPS 603765 WITH SCORE 604456.363
AT ITER 8570 NEW BEST:: SOT 4390301 SOS 691339 HAS SOPS 691339 HAS SOUS 603741 HAS SOUPS 603741 WITH SCORE 604432.339
AT ITER 8588 NEW BEST:: SOT 4390281 SOS 691320 HAS SOPS 691320 HAS SOUS 603721 HAS SOUPS 603721 WITH SCORE 604412.32
AT ITER 8636 NEW BEST:: SOT 4390303 SOS 691226 HAS SOPS 691226 HAS SOUS 603627 HAS SOUPS 603627 WITH SCORE 604318.226
AT ITER 8692 NEW BEST:: SOT 4390371 SOS 691133 HAS SOPS 691133 HAS SOUS 603598 HAS SOUPS 603598 WITH SCORE 604289.133
AT ITER 8712 NEW BEST:: SOT 4390584 SOS 691113 HAS SOPS 691113 HAS SOUS 603274 HAS SOUPS 603274 WITH SCORE 603965.113
AT ITER 8724 NEW BEST:: SOT 4390296 SOS 691593 HAS SOPS 691593 HAS SOUS 603202 HAS SOUPS 603202 WITH SCORE 603893.593
AT ITER 8742 NEW BEST:: SOT 4390296 SOS 691397 HAS SOPS 691397 HAS SOUS 603104 HAS SOUPS 603104 WITH SCORE 603795.397
AT ITER 8763 NEW BEST:: SOT 4390258 SOS 691340 HAS SOPS 691340 HAS SOUS 603066 HAS SOUPS 603066 WITH SCORE 603757.34
AT ITER 8785 NEW BEST:: SOT 4390258 SOS 691278 HAS SOPS 691278 HAS SOUS 603004 HAS SOUPS 603004 WITH SCORE 603695.278
AT ITER 8800 NEW BEST:: SOT 4390258 SOS 691174 HAS SOPS 691174 HAS SOUS 603004 HAS SOUPS 603004 WITH SCORE 603695.174
AT ITER 8821 NEW BEST:: SOT 4390175 SOS 690915 HAS SOPS 690915 HAS SOUS 602619 HAS SOUPS 602619 WITH SCORE 603309.915
AT ITER 8822 NEW BEST:: SOT 4390175 SOS 690804 HAS SOPS 690804 HAS SOUS 602619 HAS SOUPS 602619 WITH SCORE 603309.804
AT ITER 8836 NEW BEST:: SOT 4390142 SOS 690774 HAS SOPS 690774 HAS SOUS 602588 HAS SOUPS 602588 WITH SCORE 603278.774
AT ITER 8894 NEW BEST:: SOT 4390114 SOS 690718 HAS SOPS 690718 HAS SOUS 602532 HAS SOUPS 602532 WITH SCORE 603222.718
AT ITER 8909 NEW BEST:: SOT 4390112 SOS 690714 HAS SOPS 690714 HAS SOUS 602528 HAS SOUPS 602528 WITH SCORE 603218.714
AT ITER 8912 NEW BEST:: SOT 4390032 SOS 690554 HAS SOPS 690554 HAS SOUS 602368 HAS SOUPS 602368 WITH SCORE 603058.554
AT ITER 8923 NEW BEST:: SOT 4389790 SOS 690070 HAS SOPS 690070 HAS SOUS 601884 HAS SOUPS 601884 WITH SCORE 602574.07
AT ITER 8930 NEW BEST:: SOT 4389688 SOS 689866 HAS SOPS 689866 HAS SOUS 601217 HAS SOUPS 601217 WITH SCORE 601906.866
AT ITER 8937 NEW BEST:: SOT 4389317 SOS 690096 HAS SOPS 690096 HAS SOUS 600958 HAS SOUPS 600958 WITH SCORE 601648.096
AT ITER 8944 NEW BEST:: SOT 4389315 SOS 690092 HAS SOPS 690092 HAS SOUS 600954 HAS SOUPS 600954 WITH SCORE 601644.092
AT ITER 8947 NEW BEST:: SOT 4389284 SOS 690030 HAS SOPS 690030 HAS SOUS 600923 HAS SOUPS 600923 WITH SCORE 601613.03
AT ITER 8976 NEW BEST:: SOT 4387930 SOS 688877 HAS SOPS 688877 HAS SOUS 599970 HAS SOUPS 599970 WITH SCORE 600658.877
AT ITER 8994 NEW BEST:: SOT 4387900 SOS 688817 HAS SOPS 688817 HAS SOUS 599940 HAS SOUPS 599940 WITH SCORE 600628.817
AT ITER 9020 NEW BEST:: SOT 4387899 SOS 688815 HAS SOPS 688815 HAS SOUS 599938 HAS SOUPS 599938 WITH SCORE 600626.815
AT ITER 9048 NEW BEST:: SOT 4387820 SOS 688657 HAS SOPS 688657 HAS SOUS 599859 HAS SOUPS 599859 WITH SCORE 600547.657
AT ITER 9067 NEW BEST:: SOT 4387746 SOS 688864 HAS SOPS 688864 HAS SOUS 599785 HAS SOUPS 599785 WITH SCORE 600473.864
AT ITER 9099 NEW BEST:: SOT 4387729 SOS 688830 HAS SOPS 688830 HAS SOUS 599768 HAS SOUPS 599768 WITH SCORE 600456.83
AT ITER 9111 NEW BEST:: SOT 4387723 SOS 687870 HAS SOPS 687870 HAS SOUS 599756 HAS SOUPS 599756 WITH SCORE 600443.87
AT ITER 9112 NEW BEST:: SOT 4387647 SOS 687718 HAS SOPS 687718 HAS SOUS 599604 HAS SOUPS 599604 WITH SCORE 600291.718
AT ITER 9120 NEW BEST:: SOT 4387776 SOS 687976 HAS SOPS 687976 HAS SOUS 599597 HAS SOUPS 599597 WITH SCORE 600284.976
AT ITER 9134 NEW BEST:: SOT 4387733 SOS 687933 HAS SOPS 687933 HAS SOUS 599554 HAS SOUPS 599554 WITH SCORE 600241.933
AT ITER 9171 NEW BEST:: SOT 4387578 SOS 687623 HAS SOPS 687623 HAS SOUS 599444 HAS SOUPS 599444 WITH SCORE 600131.623
AT ITER 9234 NEW BEST:: SOT 4387536 SOS 687539 HAS SOPS 687539 HAS SOUS 599417 HAS SOUPS 599417 WITH SCORE 600104.539
AT ITER 9243 NEW BEST:: SOT 4387455 SOS 687377 HAS SOPS 687377 HAS SOUS 599255 HAS SOUPS 599255 WITH SCORE 599942.377
AT ITER 9248 NEW BEST:: SOT 4387455 SOS 687222 HAS SOPS 687222 HAS SOUS 599255 HAS SOUPS 599255 WITH SCORE 599942.222
AT ITER 9257 NEW BEST:: SOT 4387413 SOS 687138 HAS SOPS 687138 HAS SOUS 599171 HAS SOUPS 599171 WITH SCORE 599858.138
AT ITER 9265 NEW BEST:: SOT 4387366 SOS 687091 HAS SOPS 687091 HAS SOUS 599124 HAS SOUPS 599124 WITH SCORE 599811.091
AT ITER 9309 NEW BEST:: SOT 4387350 SOS 687168 HAS SOPS 687168 HAS SOUS 599108 HAS SOUPS 599108 WITH SCORE 599795.168
AT ITER 9315 NEW BEST:: SOT 4387321 SOS 687139 HAS SOPS 687139 HAS SOUS 599079 HAS SOUPS 599079 WITH SCORE 599766.139
AT ITER 9324 NEW BEST:: SOT 4387287 SOS 687071 HAS SOPS 687071 HAS SOUS 599043 HAS SOUPS 599043 WITH SCORE 599730.071
AT ITER 9332 NEW BEST:: SOT 4387222 SOS 686876 HAS SOPS 686876 HAS SOUS 598913 HAS SOUPS 598913 WITH SCORE 599599.876
AT ITER 9336 NEW BEST:: SOT 4387221 SOS 686874 HAS SOPS 686874 HAS SOUS 598911 HAS SOUPS 598911 WITH SCORE 599597.874
AT ITER 9351 NEW BEST:: SOT 4387018 SOS 687253 HAS SOPS 687253 HAS SOUS 598865 HAS SOUPS 598865 WITH SCORE 599552.253
AT ITER 9419 NEW BEST:: SOT 4387012 SOS 687247 HAS SOPS 687247 HAS SOUS 598859 HAS SOUPS 598859 WITH SCORE 599546.247
AT ITER 9432 NEW BEST:: SOT 4386993 SOS 687190 HAS SOPS 687190 HAS SOUS 598821 HAS SOUPS 598821 WITH SCORE 599508.19
AT ITER 9440 NEW BEST:: SOT 4386838 SOS 686880 HAS SOPS 686880 HAS SOUS 598510 HAS SOUPS 598510 WITH SCORE 599196.88
AT ITER 9459 NEW BEST:: SOT 4386219 SOS 686276 HAS SOPS 686276 HAS SOUS 597891 HAS SOUPS 597891 WITH SCORE 598577.276
AT ITER 9535 NEW BEST:: SOT 4386226 SOS 686097 HAS SOPS 686097 HAS SOUS 597551 HAS SOUPS 597551 WITH SCORE 598237.097
AT ITER 9540 NEW BEST:: SOT 4386159 SOS 685963 HAS SOPS 685963 HAS SOUS 597417 HAS SOUPS 597417 WITH SCORE 598102.963
AT ITER 9548 NEW BEST:: SOT 4386032 SOS 686004 HAS SOPS 686004 HAS SOUS 597297 HAS SOUPS 597297 WITH SCORE 597983.004
AT ITER 9585 NEW BEST:: SOT 4386027 SOS 685994 HAS SOPS 685994 HAS SOUS 597287 HAS SOUPS 597287 WITH SCORE 597972.994
AT ITER 9614 NEW BEST:: SOT 4386027 SOS 686027 HAS SOPS 686027 HAS SOUS 597254 HAS SOUPS 597254 WITH SCORE 597940.027
AT ITER 9674 NEW BEST:: SOT 4386012 SOS 685851 HAS SOPS 685851 HAS SOUS 597224 HAS SOUPS 597224 WITH SCORE 597909.851
AT ITER 9698 NEW BEST:: SOT 4386039 SOS 685842 HAS SOPS 685842 HAS SOUS 597215 HAS SOUPS 597215 WITH SCORE 597900.842
AT ITER 9720 NEW BEST:: SOT 4386012 SOS 685788 HAS SOPS 685788 HAS SOUS 597188 HAS SOUPS 597188 WITH SCORE 597873.788
AT ITER 9734 NEW BEST:: SOT 4386000 SOS 685745 HAS SOPS 685745 HAS SOUS 597176 HAS SOUPS 597176 WITH SCORE 597861.745
AT ITER 9759 NEW BEST:: SOT 4385907 SOS 685589 HAS SOPS 685589 HAS SOUS 596990 HAS SOUPS 596990 WITH SCORE 597675.589
AT ITER 9797 NEW BEST:: SOT 4385824 SOS 685507 HAS SOPS 685507 HAS SOUS 596907 HAS SOUPS 596907 WITH SCORE 597592.507
AT ITER 9821 NEW BEST:: SOT 4385813 SOS 685485 HAS SOPS 685485 HAS SOUS 596885 HAS SOUPS 596885 WITH SCORE 597570.485
AT ITER 9855 NEW BEST:: SOT 4385672 SOS 685062 HAS SOPS 685062 HAS SOUS 596603 HAS SOUPS 596603 WITH SCORE 597288.062
AT ITER 9858 NEW BEST:: SOT 4385640 SOS 684998 HAS SOPS 684998 HAS SOUS 596404 HAS SOUPS 596404 WITH SCORE 597088.998
AT ITER 9886 NEW BEST:: SOT 4385637 SOS 684992 HAS SOPS 684992 HAS SOUS 596393 HAS SOUPS 596393 WITH SCORE 597077.992
AT ITER 9921 NEW BEST:: SOT 4385671 SOS 684854 HAS SOPS 684854 HAS SOUS 596376 HAS SOUPS 596376 WITH SCORE 597060.854
AT ITER 9928 NEW BEST:: SOT 4385634 SOS 684780 HAS SOPS 684780 HAS SOUS 596302 HAS SOUPS 596302 WITH SCORE 596986.78
AT ITER 9955 NEW BEST:: SOT 4385589 SOS 684690 HAS SOPS 684690 HAS SOUS 596212 HAS SOUPS 596212 WITH SCORE 596896.69
AT ITER 9956 NEW BEST:: SOT 4385601 SOS 684714 HAS SOPS 684714 HAS SOUS 596109 HAS SOUPS 596109 WITH SCORE 596793.714
AT ITER 9986 NEW BEST:: SOT 4385527 SOS 684488 HAS SOPS 684488 HAS SOUS 595961 HAS SOUPS 595961 WITH SCORE 596645.488
AT ITER 9999 NEW BEST:: SOT 4385462 SOS 684423 HAS SOPS 684423 HAS SOUS 595896 HAS SOUPS 595896 WITH SCORE 596580.423

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-314, 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 r048-ebro-158902541700112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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