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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 113K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678218827787

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-306
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 306
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 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686820 HAS SOUPS 686820 WITH SCORE 687564.489
AT ITER 53 NEW BEST:: SOT 4445605 SOS 744418 HAS SOPS 744418 HAS SOUS 686749 HAS SOUPS 686749 WITH SCORE 687493.418
AT ITER 55 NEW BEST:: SOT 4445824 SOS 744856 HAS SOPS 744856 HAS SOUS 686693 HAS SOUPS 686693 WITH SCORE 687437.856
AT ITER 63 NEW BEST:: SOT 4445697 SOS 744378 HAS SOPS 744378 HAS SOUS 686342 HAS SOUPS 686342 WITH SCORE 687086.378
AT ITER 98 NEW BEST:: SOT 4445662 SOS 744638 HAS SOPS 744638 HAS SOUS 686327 HAS SOUPS 686327 WITH SCORE 687071.638
AT ITER 106 NEW BEST:: SOT 4445659 SOS 744632 HAS SOPS 744632 HAS SOUS 686321 HAS SOUPS 686321 WITH SCORE 687065.632
AT ITER 108 NEW BEST:: SOT 4445559 SOS 744432 HAS SOPS 744432 HAS SOUS 686121 HAS SOUPS 686121 WITH SCORE 686865.432
AT ITER 120 NEW BEST:: SOT 4445326 SOS 743966 HAS SOPS 743966 HAS SOUS 685655 HAS SOUPS 685655 WITH SCORE 686398.966
AT ITER 124 NEW BEST:: SOT 4445225 SOS 743873 HAS SOPS 743873 HAS SOUS 685554 HAS SOUPS 685554 WITH SCORE 686297.873
AT ITER 153 NEW BEST:: SOT 4445225 SOS 743873 HAS SOPS 743873 HAS SOUS 685522 HAS SOUPS 685522 WITH SCORE 686265.873
AT ITER 166 NEW BEST:: SOT 4444249 SOS 743272 HAS SOPS 743272 HAS SOUS 684616 HAS SOUPS 684616 WITH SCORE 685359.272
AT ITER 189 NEW BEST:: SOT 4444088 SOS 743328 HAS SOPS 743328 HAS SOUS 684542 HAS SOUPS 684542 WITH SCORE 685285.328
AT ITER 223 NEW BEST:: SOT 4443840 SOS 743080 HAS SOPS 743080 HAS SOUS 684294 HAS SOUPS 684294 WITH SCORE 685037.08
AT ITER 257 NEW BEST:: SOT 4443762 SOS 742924 HAS SOPS 742924 HAS SOUS 684138 HAS SOUPS 684138 WITH SCORE 684880.924
AT ITER 299 NEW BEST:: SOT 4443762 SOS 742715 HAS SOPS 742715 HAS SOUS 684138 HAS SOUPS 684138 WITH SCORE 684880.715
AT ITER 306 NEW BEST:: SOT 4443762 SOS 742569 HAS SOPS 742569 HAS SOUS 684138 HAS SOUPS 684138 WITH SCORE 684880.569
AT ITER 321 NEW BEST:: SOT 4443691 SOS 742427 HAS SOPS 742427 HAS SOUS 683996 HAS SOUPS 683996 WITH SCORE 684738.427
AT ITER 328 NEW BEST:: SOT 4443577 SOS 742199 HAS SOPS 742199 HAS SOUS 683768 HAS SOUPS 683768 WITH SCORE 684510.199
AT ITER 369 NEW BEST:: SOT 4443330 SOS 741705 HAS SOPS 741705 HAS SOUS 683274 HAS SOUPS 683274 WITH SCORE 684015.705
AT ITER 378 NEW BEST:: SOT 4443329 SOS 741703 HAS SOPS 741703 HAS SOUS 683273 HAS SOUPS 683273 WITH SCORE 684014.703
AT ITER 392 NEW BEST:: SOT 4443270 SOS 741682 HAS SOPS 741682 HAS SOUS 683249 HAS SOUPS 683249 WITH SCORE 683990.682
AT ITER 393 NEW BEST:: SOT 4443272 SOS 741644 HAS SOPS 741644 HAS SOUS 683211 HAS SOUPS 683211 WITH SCORE 683952.644
AT ITER 420 NEW BEST:: SOT 4443149 SOS 741561 HAS SOPS 741561 HAS SOUS 683088 HAS SOUPS 683088 WITH SCORE 683829.561
AT ITER 422 NEW BEST:: SOT 4443236 SOS 741735 HAS SOPS 741735 HAS SOUS 682954 HAS SOUPS 682954 WITH SCORE 683695.735
AT ITER 434 NEW BEST:: SOT 4443025 SOS 741313 HAS SOPS 741313 HAS SOUS 682532 HAS SOUPS 682532 WITH SCORE 683273.313
AT ITER 450 NEW BEST:: SOT 4442770 SOS 741228 HAS SOPS 741228 HAS SOUS 682277 HAS SOUPS 682277 WITH SCORE 683018.228
AT ITER 453 NEW BEST:: SOT 4442770 SOS 741228 HAS SOPS 741228 HAS SOUS 682236 HAS SOUPS 682236 WITH SCORE 682977.228
AT ITER 468 NEW BEST:: SOT 4442436 SOS 740955 HAS SOPS 740955 HAS SOUS 681900 HAS SOUPS 681900 WITH SCORE 682640.955
AT ITER 487 NEW BEST:: SOT 4442436 SOS 740673 HAS SOPS 740673 HAS SOUS 681759 HAS SOUPS 681759 WITH SCORE 682499.673
AT ITER 561 NEW BEST:: SOT 4439704 SOS 760283 HAS SOPS 760283 HAS SOUS 680147 HAS SOUPS 680147 WITH SCORE 680907.283
AT ITER 589 NEW BEST:: SOT 4439598 SOS 759965 HAS SOPS 759965 HAS SOUS 679935 HAS SOUPS 679935 WITH SCORE 680694.965
AT ITER 598 NEW BEST:: SOT 4439361 SOS 761067 HAS SOPS 761067 HAS SOUS 679635 HAS SOUPS 679635 WITH SCORE 680396.067
AT ITER 610 NEW BEST:: SOT 4439260 SOS 760865 HAS SOPS 760865 HAS SOUS 679534 HAS SOUPS 679534 WITH SCORE 680294.865
AT ITER 699 NEW BEST:: SOT 4439252 SOS 760849 HAS SOPS 760849 HAS SOUS 679526 HAS SOUPS 679526 WITH SCORE 680286.849
AT ITER 704 NEW BEST:: SOT 4438999 SOS 760343 HAS SOPS 760343 HAS SOUS 679020 HAS SOUPS 679020 WITH SCORE 679780.343
AT ITER 713 NEW BEST:: SOT 4438930 SOS 760205 HAS SOPS 760205 HAS SOUS 678812 HAS SOUPS 678812 WITH SCORE 679572.205
AT ITER 717 NEW BEST:: SOT 4438954 SOS 760253 HAS SOPS 760253 HAS SOUS 678748 HAS SOUPS 678748 WITH SCORE 679508.253
AT ITER 752 NEW BEST:: SOT 4438747 SOS 760046 HAS SOPS 760046 HAS SOUS 678720 HAS SOUPS 678720 WITH SCORE 679480.046
AT ITER 756 NEW BEST:: SOT 4438522 SOS 759836 HAS SOPS 759836 HAS SOUS 678495 HAS SOUPS 678495 WITH SCORE 679254.836
AT ITER 764 NEW BEST:: SOT 4438301 SOS 759615 HAS SOPS 759615 HAS SOUS 678274 HAS SOUPS 678274 WITH SCORE 679033.615
AT ITER 768 NEW BEST:: SOT 4438255 SOS 759523 HAS SOPS 759523 HAS SOUS 678182 HAS SOUPS 678182 WITH SCORE 678941.523
AT ITER 788 NEW BEST:: SOT 4438308 SOS 759629 HAS SOPS 759629 HAS SOUS 678154 HAS SOUPS 678154 WITH SCORE 678913.629
AT ITER 811 NEW BEST:: SOT 4438277 SOS 759748 HAS SOPS 759748 HAS SOUS 678021 HAS SOUPS 678021 WITH SCORE 678780.748
AT ITER 812 NEW BEST:: SOT 4438098 SOS 759390 HAS SOPS 759390 HAS SOUS 677663 HAS SOUPS 677663 WITH SCORE 678422.39
AT ITER 846 NEW BEST:: SOT 4437807 SOS 759099 HAS SOPS 759099 HAS SOUS 677372 HAS SOUPS 677372 WITH SCORE 678131.099
AT ITER 861 NEW BEST:: SOT 4437633 SOS 758476 HAS SOPS 758476 HAS SOUS 676790 HAS SOUPS 676790 WITH SCORE 677548.476
AT ITER 873 NEW BEST:: SOT 4437534 SOS 758377 HAS SOPS 758377 HAS SOUS 676691 HAS SOUPS 676691 WITH SCORE 677449.377
AT ITER 893 NEW BEST:: SOT 4437293 SOS 757895 HAS SOPS 757895 HAS SOUS 676235 HAS SOUPS 676235 WITH SCORE 676992.895
AT ITER 912 NEW BEST:: SOT 4437293 SOS 757784 HAS SOPS 757784 HAS SOUS 676235 HAS SOUPS 676235 WITH SCORE 676992.784
AT ITER 942 NEW BEST:: SOT 4437293 SOS 757784 HAS SOPS 757784 HAS SOUS 676119 HAS SOUPS 676119 WITH SCORE 676876.784
AT ITER 945 NEW BEST:: SOT 4437293 SOS 757784 HAS SOPS 757784 HAS SOUS 676060 HAS SOUPS 676060 WITH SCORE 676817.784
AT ITER 991 NEW BEST:: SOT 4437122 SOS 757613 HAS SOPS 757613 HAS SOUS 676060 HAS SOUPS 676060 WITH SCORE 676817.613
AT ITER 998 NEW BEST:: SOT 4437122 SOS 757341 HAS SOPS 757341 HAS SOUS 675788 HAS SOUPS 675788 WITH SCORE 676545.341
AT ITER 1009 NEW BEST:: SOT 4436948 SOS 757167 HAS SOPS 757167 HAS SOUS 675556 HAS SOUPS 675556 WITH SCORE 676313.167
AT ITER 1010 NEW BEST:: SOT 4436947 SOS 757165 HAS SOPS 757165 HAS SOUS 675554 HAS SOUPS 675554 WITH SCORE 676311.165
AT ITER 1026 NEW BEST:: SOT 4435832 SOS 757917 HAS SOPS 757917 HAS SOUS 674507 HAS SOUPS 674507 WITH SCORE 675264.917
AT ITER 1032 NEW BEST:: SOT 4435832 SOS 757917 HAS SOPS 757917 HAS SOUS 674506 HAS SOUPS 674506 WITH SCORE 675263.917
AT ITER 1067 NEW BEST:: SOT 4436145 SOS 758197 HAS SOPS 758197 HAS SOUS 674473 HAS SOUPS 674473 WITH SCORE 675231.197
AT ITER 1073 NEW BEST:: SOT 4436088 SOS 758083 HAS SOPS 758083 HAS SOUS 674359 HAS SOUPS 674359 WITH SCORE 675117.083
AT ITER 1075 NEW BEST:: SOT 4435757 SOS 757947 HAS SOPS 757947 HAS SOUS 673905 HAS SOUPS 673905 WITH SCORE 674662.947
AT ITER 1096 NEW BEST:: SOT 4435308 SOS 758541 HAS SOPS 758541 HAS SOUS 673549 HAS SOUPS 673549 WITH SCORE 674307.541
AT ITER 1097 NEW BEST:: SOT 4435279 SOS 758483 HAS SOPS 758483 HAS SOUS 673520 HAS SOUPS 673520 WITH SCORE 674278.483
AT ITER 1124 NEW BEST:: SOT 4435279 SOS 758170 HAS SOPS 758170 HAS SOUS 673520 HAS SOUPS 673520 WITH SCORE 674278.17
AT ITER 1144 NEW BEST:: SOT 4434012 SOS 759003 HAS SOPS 759003 HAS SOUS 672725 HAS SOUPS 672725 WITH SCORE 673484.003
AT ITER 1148 NEW BEST:: SOT 4434010 SOS 758999 HAS SOPS 758999 HAS SOUS 672721 HAS SOUPS 672721 WITH SCORE 673479.999
AT ITER 1153 NEW BEST:: SOT 4433867 SOS 759443 HAS SOPS 759443 HAS SOUS 672681 HAS SOUPS 672681 WITH SCORE 673440.443
AT ITER 1155 NEW BEST:: SOT 4433620 SOS 759195 HAS SOPS 759195 HAS SOUS 672433 HAS SOUPS 672433 WITH SCORE 673192.195
AT ITER 1174 NEW BEST:: SOT 4433620 SOS 759057 HAS SOPS 759057 HAS SOUS 672295 HAS SOUPS 672295 WITH SCORE 673054.057
AT ITER 1201 NEW BEST:: SOT 4433485 SOS 759771 HAS SOPS 759771 HAS SOUS 672160 HAS SOUPS 672160 WITH SCORE 672919.771
AT ITER 1228 NEW BEST:: SOT 4433426 SOS 759653 HAS SOPS 759653 HAS SOUS 672101 HAS SOUPS 672101 WITH SCORE 672860.653
AT ITER 1232 NEW BEST:: SOT 4433348 SOS 759497 HAS SOPS 759497 HAS SOUS 671945 HAS SOUPS 671945 WITH SCORE 672704.497
AT ITER 1268 NEW BEST:: SOT 4433075 SOS 758951 HAS SOPS 758951 HAS SOUS 671399 HAS SOUPS 671399 WITH SCORE 672157.951
AT ITER 1269 NEW BEST:: SOT 4432830 SOS 758883 HAS SOPS 758883 HAS SOUS 671216 HAS SOUPS 671216 WITH SCORE 671974.883
AT ITER 1275 NEW BEST:: SOT 4432830 SOS 758507 HAS SOPS 758507 HAS SOUS 671216 HAS SOUPS 671216 WITH SCORE 671974.507
AT ITER 1304 NEW BEST:: SOT 4432632 SOS 757795 HAS SOPS 757795 HAS SOUS 670702 HAS SOUPS 670702 WITH SCORE 671459.795
AT ITER 1307 NEW BEST:: SOT 4432347 SOS 757735 HAS SOPS 757735 HAS SOUS 670493 HAS SOUPS 670493 WITH SCORE 671250.735
AT ITER 1333 NEW BEST:: SOT 4432244 SOS 757707 HAS SOPS 757707 HAS SOUS 670390 HAS SOUPS 670390 WITH SCORE 671147.707
AT ITER 1346 NEW BEST:: SOT 4431744 SOS 757207 HAS SOPS 757207 HAS SOUS 669890 HAS SOUPS 669890 WITH SCORE 670647.207
AT ITER 1347 NEW BEST:: SOT 4431674 SOS 757067 HAS SOPS 757067 HAS SOUS 669750 HAS SOUPS 669750 WITH SCORE 670507.067
AT ITER 1366 NEW BEST:: SOT 4431644 SOS 757007 HAS SOPS 757007 HAS SOUS 669746 HAS SOUPS 669746 WITH SCORE 670503.007
AT ITER 1385 NEW BEST:: SOT 4431217 SOS 756659 HAS SOPS 756659 HAS SOUS 669319 HAS SOUPS 669319 WITH SCORE 670075.659
AT ITER 1396 NEW BEST:: SOT 4431206 SOS 756637 HAS SOPS 756637 HAS SOUS 669297 HAS SOUPS 669297 WITH SCORE 670053.637
AT ITER 1405 NEW BEST:: SOT 4431055 SOS 756785 HAS SOPS 756785 HAS SOUS 669287 HAS SOUPS 669287 WITH SCORE 670043.785
AT ITER 1411 NEW BEST:: SOT 4430693 SOS 756061 HAS SOPS 756061 HAS SOUS 668700 HAS SOUPS 668700 WITH SCORE 669456.061
AT ITER 1416 NEW BEST:: SOT 4430571 SOS 755817 HAS SOPS 755817 HAS SOUS 668456 HAS SOUPS 668456 WITH SCORE 669211.817
AT ITER 1438 NEW BEST:: SOT 4430571 SOS 755780 HAS SOPS 755780 HAS SOUS 668419 HAS SOUPS 668419 WITH SCORE 669174.78
AT ITER 1486 NEW BEST:: SOT 4430571 SOS 720778 HAS SOPS 720778 HAS SOUS 668418 HAS SOUPS 668418 WITH SCORE 669138.778
AT ITER 1544 NEW BEST:: SOT 4430505 SOS 720645 HAS SOPS 720645 HAS SOUS 668285 HAS SOUPS 668285 WITH SCORE 669005.645
AT ITER 1554 NEW BEST:: SOT 4430658 SOS 720499 HAS SOPS 720499 HAS SOUS 668253 HAS SOUPS 668253 WITH SCORE 668973.499
AT ITER 1575 NEW BEST:: SOT 4430731 SOS 720645 HAS SOPS 720645 HAS SOUS 668067 HAS SOUPS 668067 WITH SCORE 668787.645
AT ITER 1612 NEW BEST:: SOT 4430667 SOS 720517 HAS SOPS 720517 HAS SOUS 668002 HAS SOUPS 668002 WITH SCORE 668722.517
AT ITER 1614 NEW BEST:: SOT 4430023 SOS 721261 HAS SOPS 721261 HAS SOUS 667966 HAS SOUPS 667966 WITH SCORE 668687.261
AT ITER 1643 NEW BEST:: SOT 4430023 SOS 721119 HAS SOPS 721119 HAS SOUS 667965 HAS SOUPS 667965 WITH SCORE 668686.119
AT ITER 1669 NEW BEST:: SOT 4430089 SOS 721251 HAS SOPS 721251 HAS SOUS 667963 HAS SOUPS 667963 WITH SCORE 668684.251
AT ITER 1676 NEW BEST:: SOT 4429970 SOS 721013 HAS SOPS 721013 HAS SOUS 667725 HAS SOUPS 667725 WITH SCORE 668446.013
AT ITER 1684 NEW BEST:: SOT 4429969 SOS 721011 HAS SOPS 721011 HAS SOUS 667723 HAS SOUPS 667723 WITH SCORE 668444.011
AT ITER 1706 NEW BEST:: SOT 4429969 SOS 721011 HAS SOPS 721011 HAS SOUS 667706 HAS SOUPS 667706 WITH SCORE 668427.011
AT ITER 1708 NEW BEST:: SOT 4429527 SOS 720815 HAS SOPS 720815 HAS SOUS 667034 HAS SOUPS 667034 WITH SCORE 667754.815
AT ITER 1712 NEW BEST:: SOT 4429526 SOS 720813 HAS SOPS 720813 HAS SOUS 667032 HAS SOUPS 667032 WITH SCORE 667752.813
AT ITER 1753 NEW BEST:: SOT 4429459 SOS 720679 HAS SOPS 720679 HAS SOUS 666898 HAS SOUPS 666898 WITH SCORE 667618.679
AT ITER 1756 NEW BEST:: SOT 4429459 SOS 720631 HAS SOPS 720631 HAS SOUS 666898 HAS SOUPS 666898 WITH SCORE 667618.631
AT ITER 1771 NEW BEST:: SOT 4429115 SOS 720287 HAS SOPS 720287 HAS SOUS 666554 HAS SOUPS 666554 WITH SCORE 667274.287
AT ITER 1790 NEW BEST:: SOT 4428609 SOS 720337 HAS SOPS 720337 HAS SOUS 666243 HAS SOUPS 666243 WITH SCORE 666963.337
AT ITER 1792 NEW BEST:: SOT 4428315 SOS 720141 HAS SOPS 720141 HAS SOUS 666047 HAS SOUPS 666047 WITH SCORE 666767.141
AT ITER 1816 NEW BEST:: SOT 4428146 SOS 719993 HAS SOPS 719993 HAS SOUS 665893 HAS SOUPS 665893 WITH SCORE 666612.993
AT ITER 1832 NEW BEST:: SOT 4428145 SOS 719991 HAS SOPS 719991 HAS SOUS 665891 HAS SOUPS 665891 WITH SCORE 666610.991
AT ITER 1851 NEW BEST:: SOT 4428068 SOS 719837 HAS SOPS 719837 HAS SOUS 665736 HAS SOUPS 665736 WITH SCORE 666455.837
AT ITER 1865 NEW BEST:: SOT 4428052 SOS 719805 HAS SOPS 719805 HAS SOUS 665704 HAS SOUPS 665704 WITH SCORE 666423.805
AT ITER 1920 NEW BEST:: SOT 4428033 SOS 719767 HAS SOPS 719767 HAS SOUS 665685 HAS SOUPS 665685 WITH SCORE 666404.767
AT ITER 1925 NEW BEST:: SOT 4428098 SOS 719897 HAS SOPS 719897 HAS SOUS 665602 HAS SOUPS 665602 WITH SCORE 666321.897
AT ITER 1938 NEW BEST:: SOT 4428146 SOS 719993 HAS SOPS 719993 HAS SOUS 665579 HAS SOUPS 665579 WITH SCORE 666298.993
AT ITER 1942 NEW BEST:: SOT 4428057 SOS 719815 HAS SOPS 719815 HAS SOUS 665401 HAS SOUPS 665401 WITH SCORE 666120.815
AT ITER 1964 NEW BEST:: SOT 4428006 SOS 720077 HAS SOPS 720077 HAS SOUS 665249 HAS SOUPS 665249 WITH SCORE 665969.077
AT ITER 1965 NEW BEST:: SOT 4428006 SOS 720077 HAS SOPS 720077 HAS SOUS 665244 HAS SOUPS 665244 WITH SCORE 665964.077
AT ITER 2000 NEW BEST:: SOT 4427975 SOS 720119 HAS SOPS 720119 HAS SOUS 665213 HAS SOUPS 665213 WITH SCORE 665933.119
AT ITER 2060 NEW BEST:: SOT 4427854 SOS 719877 HAS SOPS 719877 HAS SOUS 665092 HAS SOUPS 665092 WITH SCORE 665811.877
AT ITER 2063 NEW BEST:: SOT 4427909 SOS 719987 HAS SOPS 719987 HAS SOUS 665047 HAS SOUPS 665047 WITH SCORE 665766.987
AT ITER 2075 NEW BEST:: SOT 4427962 SOS 719764 HAS SOPS 719764 HAS SOUS 664798 HAS SOUPS 664798 WITH SCORE 665517.764
AT ITER 2076 NEW BEST:: SOT 4427711 SOS 719743 HAS SOPS 719743 HAS SOUS 664635 HAS SOUPS 664635 WITH SCORE 665354.743
AT ITER 2119 NEW BEST:: SOT 4427437 SOS 719310 HAS SOPS 719310 HAS SOUS 664562 HAS SOUPS 664562 WITH SCORE 665281.31
AT ITER 2136 NEW BEST:: SOT 4427437 SOS 719235 HAS SOPS 719235 HAS SOUS 664487 HAS SOUPS 664487 WITH SCORE 665206.235
AT ITER 2143 NEW BEST:: SOT 4427392 SOS 719190 HAS SOPS 719190 HAS SOUS 664442 HAS SOUPS 664442 WITH SCORE 665161.19
AT ITER 2149 NEW BEST:: SOT 4427392 SOS 719189 HAS SOPS 719189 HAS SOUS 664441 HAS SOUPS 664441 WITH SCORE 665160.189
AT ITER 2162 NEW BEST:: SOT 4427323 SOS 719051 HAS SOPS 719051 HAS SOUS 664303 HAS SOUPS 664303 WITH SCORE 665022.051
AT ITER 2170 NEW BEST:: SOT 4427227 SOS 718971 HAS SOPS 718971 HAS SOUS 664216 HAS SOUPS 664216 WITH SCORE 664934.971
AT ITER 2190 NEW BEST:: SOT 4427227 SOS 718914 HAS SOPS 718914 HAS SOUS 664159 HAS SOUPS 664159 WITH SCORE 664877.914
AT ITER 2214 NEW BEST:: SOT 4427227 SOS 718913 HAS SOPS 718913 HAS SOUS 664158 HAS SOUPS 664158 WITH SCORE 664876.913
AT ITER 2233 NEW BEST:: SOT 4427227 SOS 718677 HAS SOPS 718677 HAS SOUS 663922 HAS SOUPS 663922 WITH SCORE 664640.677
AT ITER 2236 NEW BEST:: SOT 4427227 SOS 718625 HAS SOPS 718625 HAS SOUS 663870 HAS SOUPS 663870 WITH SCORE 664588.625
AT ITER 2240 NEW BEST:: SOT 4427074 SOS 718319 HAS SOPS 718319 HAS SOUS 663564 HAS SOUPS 663564 WITH SCORE 664282.319
AT ITER 2244 NEW BEST:: SOT 4427007 SOS 718185 HAS SOPS 718185 HAS SOUS 663430 HAS SOUPS 663430 WITH SCORE 664148.185
AT ITER 2255 NEW BEST:: SOT 4426853 SOS 718038 HAS SOPS 718038 HAS SOUS 663289 HAS SOUPS 663289 WITH SCORE 664007.038
AT ITER 2286 NEW BEST:: SOT 4426523 SOS 717791 HAS SOPS 717791 HAS SOUS 662976 HAS SOUPS 662976 WITH SCORE 663693.791
AT ITER 2291 NEW BEST:: SOT 4426410 SOS 717678 HAS SOPS 717678 HAS SOUS 662863 HAS SOUPS 662863 WITH SCORE 663580.678
AT ITER 2324 NEW BEST:: SOT 4426410 SOS 717647 HAS SOPS 717647 HAS SOUS 662832 HAS SOUPS 662832 WITH SCORE 663549.647
AT ITER 2357 NEW BEST:: SOT 4426472 SOS 717631 HAS SOPS 717631 HAS SOUS 662816 HAS SOUPS 662816 WITH SCORE 663533.631
AT ITER 2360 NEW BEST:: SOT 4426472 SOS 717541 HAS SOPS 717541 HAS SOUS 662726 HAS SOUPS 662726 WITH SCORE 663443.541
AT ITER 2366 NEW BEST:: SOT 4426258 SOS 717380 HAS SOPS 717380 HAS SOUS 662512 HAS SOUPS 662512 WITH SCORE 663229.38
AT ITER 2520 NEW BEST:: SOT 4426082 SOS 717028 HAS SOPS 717028 HAS SOUS 662336 HAS SOUPS 662336 WITH SCORE 663053.028
AT ITER 2561 NEW BEST:: SOT 4426111 SOS 716999 HAS SOPS 716999 HAS SOUS 662307 HAS SOUPS 662307 WITH SCORE 663023.999
AT ITER 2581 NEW BEST:: SOT 4426111 SOS 716891 HAS SOPS 716891 HAS SOUS 662199 HAS SOUPS 662199 WITH SCORE 662915.891
AT ITER 2582 NEW BEST:: SOT 4426111 SOS 716981 HAS SOPS 716981 HAS SOUS 662109 HAS SOUPS 662109 WITH SCORE 662825.981
AT ITER 2599 NEW BEST:: SOT 4425982 SOS 716916 HAS SOPS 716916 HAS SOUS 662009 HAS SOUPS 662009 WITH SCORE 662725.916
AT ITER 2622 NEW BEST:: SOT 4425479 SOS 716600 HAS SOPS 716600 HAS SOUS 661693 HAS SOUPS 661693 WITH SCORE 662409.6
AT ITER 2651 NEW BEST:: SOT 4425231 SOS 716104 HAS SOPS 716104 HAS SOUS 661542 HAS SOUPS 661542 WITH SCORE 662258.104
AT ITER 2679 NEW BEST:: SOT 4425116 SOS 715874 HAS SOPS 715874 HAS SOUS 661427 HAS SOUPS 661427 WITH SCORE 662142.874
AT ITER 2680 NEW BEST:: SOT 4425041 SOS 715724 HAS SOPS 715724 HAS SOUS 661352 HAS SOUPS 661352 WITH SCORE 662067.724
AT ITER 2685 NEW BEST:: SOT 4424999 SOS 715682 HAS SOPS 715682 HAS SOUS 661310 HAS SOUPS 661310 WITH SCORE 662025.682
AT ITER 2687 NEW BEST:: SOT 4424850 SOS 715614 HAS SOPS 715614 HAS SOUS 661242 HAS SOUPS 661242 WITH SCORE 661957.614
AT ITER 2734 NEW BEST:: SOT 4424580 SOS 715252 HAS SOPS 715252 HAS SOUS 661000 HAS SOUPS 661000 WITH SCORE 661715.252
AT ITER 2754 NEW BEST:: SOT 4424580 SOS 715252 HAS SOPS 715252 HAS SOUS 660998 HAS SOUPS 660998 WITH SCORE 661713.252
AT ITER 2764 NEW BEST:: SOT 4424526 SOS 715198 HAS SOPS 715198 HAS SOUS 660944 HAS SOUPS 660944 WITH SCORE 661659.198
AT ITER 2782 NEW BEST:: SOT 4424373 SOS 715045 HAS SOPS 715045 HAS SOUS 660791 HAS SOUPS 660791 WITH SCORE 661506.045
AT ITER 2805 NEW BEST:: SOT 4424373 SOS 715044 HAS SOPS 715044 HAS SOUS 660790 HAS SOUPS 660790 WITH SCORE 661505.044
AT ITER 2810 NEW BEST:: SOT 4424373 SOS 715043 HAS SOPS 715043 HAS SOUS 660789 HAS SOUPS 660789 WITH SCORE 661504.043
AT ITER 2812 NEW BEST:: SOT 4424424 SOS 714976 HAS SOPS 714976 HAS SOUS 660671 HAS SOUPS 660671 WITH SCORE 661385.976
AT ITER 2823 NEW BEST:: SOT 4424298 SOS 714759 HAS SOPS 714759 HAS SOUS 660665 HAS SOUPS 660665 WITH SCORE 661379.759
AT ITER 2844 NEW BEST:: SOT 4424064 SOS 714291 HAS SOPS 714291 HAS SOUS 660212 HAS SOUPS 660212 WITH SCORE 660926.291
AT ITER 2882 NEW BEST:: SOT 4423845 SOS 714093 HAS SOPS 714093 HAS SOUS 660014 HAS SOUPS 660014 WITH SCORE 660728.093
AT ITER 2889 NEW BEST:: SOT 4421102 SOS 765679 HAS SOPS 765679 HAS SOUS 659593 HAS SOUPS 659593 WITH SCORE 660358.679
AT ITER 2908 NEW BEST:: SOT 4421011 SOS 765587 HAS SOPS 765587 HAS SOUS 659501 HAS SOUPS 659501 WITH SCORE 660266.587
AT ITER 2960 NEW BEST:: SOT 4420844 SOS 767012 HAS SOPS 767012 HAS SOUS 659431 HAS SOUPS 659431 WITH SCORE 660198.012
AT ITER 2977 NEW BEST:: SOT 4420681 SOS 767050 HAS SOPS 767050 HAS SOUS 659373 HAS SOUPS 659373 WITH SCORE 660140.05
AT ITER 2982 NEW BEST:: SOT 4420512 SOS 766712 HAS SOPS 766712 HAS SOUS 659086 HAS SOUPS 659086 WITH SCORE 659852.712
AT ITER 2997 NEW BEST:: SOT 4420505 SOS 766698 HAS SOPS 766698 HAS SOUS 659072 HAS SOUPS 659072 WITH SCORE 659838.698
AT ITER 3072 NEW BEST:: SOT 4420455 SOS 766598 HAS SOPS 766598 HAS SOUS 658997 HAS SOUPS 658997 WITH SCORE 659763.598
AT ITER 3074 NEW BEST:: SOT 4420436 SOS 766929 HAS SOPS 766929 HAS SOUS 658977 HAS SOUPS 658977 WITH SCORE 659743.929
AT ITER 3085 NEW BEST:: SOT 4420364 SOS 766784 HAS SOPS 766784 HAS SOUS 658535 HAS SOUPS 658535 WITH SCORE 659301.784
AT ITER 3092 NEW BEST:: SOT 4420244 SOS 766664 HAS SOPS 766664 HAS SOUS 658415 HAS SOUPS 658415 WITH SCORE 659181.664
AT ITER 3130 NEW BEST:: SOT 4420244 SOS 766555 HAS SOPS 766555 HAS SOUS 658306 HAS SOUPS 658306 WITH SCORE 659072.555
AT ITER 3159 NEW BEST:: SOT 4420156 SOS 766731 HAS SOPS 766731 HAS SOUS 658218 HAS SOUPS 658218 WITH SCORE 658984.731
AT ITER 3160 NEW BEST:: SOT 4420037 SOS 766188 HAS SOPS 766188 HAS SOUS 657794 HAS SOUPS 657794 WITH SCORE 658560.188
AT ITER 3176 NEW BEST:: SOT 4419825 SOS 766095 HAS SOPS 766095 HAS SOUS 657701 HAS SOUPS 657701 WITH SCORE 658467.095
AT ITER 3198 NEW BEST:: SOT 4419825 SOS 766043 HAS SOPS 766043 HAS SOUS 657649 HAS SOUPS 657649 WITH SCORE 658415.043
AT ITER 3218 NEW BEST:: SOT 4419825 SOS 766043 HAS SOPS 766043 HAS SOUS 657631 HAS SOUPS 657631 WITH SCORE 658397.043
AT ITER 3241 NEW BEST:: SOT 4419542 SOS 765477 HAS SOPS 765477 HAS SOUS 657185 HAS SOUPS 657185 WITH SCORE 657950.477
AT ITER 3253 NEW BEST:: SOT 4419547 SOS 765443 HAS SOPS 765443 HAS SOUS 657168 HAS SOUPS 657168 WITH SCORE 657933.443
AT ITER 3332 NEW BEST:: SOT 4419520 SOS 765441 HAS SOPS 765441 HAS SOUS 657102 HAS SOUPS 657102 WITH SCORE 657867.441
AT ITER 3368 NEW BEST:: SOT 4419401 SOS 765203 HAS SOPS 765203 HAS SOUS 657003 HAS SOUPS 657003 WITH SCORE 657768.203
AT ITER 3391 NEW BEST:: SOT 4419432 SOS 765265 HAS SOPS 765265 HAS SOUS 656870 HAS SOUPS 656870 WITH SCORE 657635.265
AT ITER 3407 NEW BEST:: SOT 4419394 SOS 765208 HAS SOPS 765208 HAS SOUS 656832 HAS SOUPS 656832 WITH SCORE 657597.208
AT ITER 3421 NEW BEST:: SOT 4419312 SOS 765044 HAS SOPS 765044 HAS SOUS 656750 HAS SOUPS 656750 WITH SCORE 657515.044
AT ITER 3461 NEW BEST:: SOT 4419068 SOS 764556 HAS SOPS 764556 HAS SOUS 656434 HAS SOUPS 656434 WITH SCORE 657198.556
AT ITER 3531 NEW BEST:: SOT 4418896 SOS 764574 HAS SOPS 764574 HAS SOUS 656327 HAS SOUPS 656327 WITH SCORE 657091.574
AT ITER 3635 NEW BEST:: SOT 4418820 SOS 764412 HAS SOPS 764412 HAS SOUS 656241 HAS SOUPS 656241 WITH SCORE 657005.412
AT ITER 3658 NEW BEST:: SOT 4418804 SOS 764380 HAS SOPS 764380 HAS SOUS 656209 HAS SOUPS 656209 WITH SCORE 656973.38
AT ITER 3667 NEW BEST:: SOT 4418350 SOS 764210 HAS SOPS 764210 HAS SOUS 655914 HAS SOUPS 655914 WITH SCORE 656678.21
AT ITER 3700 NEW BEST:: SOT 4418288 SOS 764086 HAS SOPS 764086 HAS SOUS 655790 HAS SOUPS 655790 WITH SCORE 656554.086
AT ITER 3707 NEW BEST:: SOT 4418288 SOS 764086 HAS SOPS 764086 HAS SOUS 655671 HAS SOUPS 655671 WITH SCORE 656435.086
AT ITER 3714 NEW BEST:: SOT 4418287 SOS 764084 HAS SOPS 764084 HAS SOUS 655669 HAS SOUPS 655669 WITH SCORE 656433.084
AT ITER 3731 NEW BEST:: SOT 4418122 SOS 763754 HAS SOPS 763754 HAS SOUS 655339 HAS SOUPS 655339 WITH SCORE 656102.754
AT ITER 3764 NEW BEST:: SOT 4417949 SOS 763235 HAS SOPS 763235 HAS SOUS 654993 HAS SOUPS 654993 WITH SCORE 655756.235
AT ITER 3774 NEW BEST:: SOT 4417865 SOS 763067 HAS SOPS 763067 HAS SOUS 654825 HAS SOUPS 654825 WITH SCORE 655588.067
AT ITER 3796 NEW BEST:: SOT 4417569 SOS 762844 HAS SOPS 762844 HAS SOUS 654602 HAS SOUPS 654602 WITH SCORE 655364.844
AT ITER 3816 NEW BEST:: SOT 4417502 SOS 762777 HAS SOPS 762777 HAS SOUS 654468 HAS SOUPS 654468 WITH SCORE 655230.777
AT ITER 3897 NEW BEST:: SOT 4417439 SOS 762775 HAS SOPS 762775 HAS SOUS 654466 HAS SOUPS 654466 WITH SCORE 655228.775
AT ITER 3911 NEW BEST:: SOT 4417439 SOS 762755 HAS SOPS 762755 HAS SOUS 654446 HAS SOUPS 654446 WITH SCORE 655208.755
AT ITER 3920 NEW BEST:: SOT 4417439 SOS 762672 HAS SOPS 762672 HAS SOUS 654446 HAS SOUPS 654446 WITH SCORE 655208.672
AT ITER 3922 NEW BEST:: SOT 4417439 SOS 762645 HAS SOPS 762645 HAS SOUS 654419 HAS SOUPS 654419 WITH SCORE 655181.645
AT ITER 3924 NEW BEST:: SOT 4417438 SOS 762643 HAS SOPS 762643 HAS SOUS 654417 HAS SOUPS 654417 WITH SCORE 655179.643
AT ITER 3929 NEW BEST:: SOT 4417307 SOS 762574 HAS SOPS 762574 HAS SOUS 654331 HAS SOUPS 654331 WITH SCORE 655093.574
AT ITER 3956 NEW BEST:: SOT 4416917 SOS 762168 HAS SOPS 762168 HAS SOUS 653808 HAS SOUPS 653808 WITH SCORE 654570.168
AT ITER 3958 NEW BEST:: SOT 4416743 SOS 761994 HAS SOPS 761994 HAS SOUS 653634 HAS SOUPS 653634 WITH SCORE 654395.994
AT ITER 3978 NEW BEST:: SOT 4416717 SOS 761942 HAS SOPS 761942 HAS SOUS 653582 HAS SOUPS 653582 WITH SCORE 654343.942
AT ITER 3983 NEW BEST:: SOT 4416717 SOS 761907 HAS SOPS 761907 HAS SOUS 653547 HAS SOUPS 653547 WITH SCORE 654308.907
AT ITER 4011 NEW BEST:: SOT 4416720 SOS 761795 HAS SOPS 761795 HAS SOUS 653435 HAS SOUPS 653435 WITH SCORE 654196.795
AT ITER 4013 NEW BEST:: SOT 4416642 SOS 761717 HAS SOPS 761717 HAS SOUS 653357 HAS SOUPS 653357 WITH SCORE 654118.717
AT ITER 4014 NEW BEST:: SOT 4416642 SOS 761630 HAS SOPS 761630 HAS SOUS 653270 HAS SOUPS 653270 WITH SCORE 654031.63
AT ITER 4087 NEW BEST:: SOT 4416882 SOS 762059 HAS SOPS 762059 HAS SOUS 653232 HAS SOUPS 653232 WITH SCORE 653994.059
AT ITER 4093 NEW BEST:: SOT 4416767 SOS 761944 HAS SOPS 761944 HAS SOUS 653117 HAS SOUPS 653117 WITH SCORE 653878.944
AT ITER 4134 NEW BEST:: SOT 4416767 SOS 761944 HAS SOPS 761944 HAS SOUS 653109 HAS SOUPS 653109 WITH SCORE 653870.944
AT ITER 4140 NEW BEST:: SOT 4416756 SOS 761708 HAS SOPS 761708 HAS SOUS 653087 HAS SOUPS 653087 WITH SCORE 653848.708
AT ITER 4154 NEW BEST:: SOT 4416814 SOS 761824 HAS SOPS 761824 HAS SOUS 653065 HAS SOUPS 653065 WITH SCORE 653826.824
AT ITER 4174 NEW BEST:: SOT 4416810 SOS 761816 HAS SOPS 761816 HAS SOUS 653061 HAS SOUPS 653061 WITH SCORE 653822.816
AT ITER 4175 NEW BEST:: SOT 4416347 SOS 762026 HAS SOPS 762026 HAS SOUS 652822 HAS SOUPS 652822 WITH SCORE 653584.026
AT ITER 4195 NEW BEST:: SOT 4416337 SOS 762006 HAS SOPS 762006 HAS SOUS 652799 HAS SOUPS 652799 WITH SCORE 653561.006
AT ITER 4200 NEW BEST:: SOT 4416201 SOS 761917 HAS SOPS 761917 HAS SOUS 652518 HAS SOUPS 652518 WITH SCORE 653279.917
AT ITER 4202 NEW BEST:: SOT 4416197 SOS 761909 HAS SOPS 761909 HAS SOUS 652510 HAS SOUPS 652510 WITH SCORE 653271.909
AT ITER 4218 NEW BEST:: SOT 4416195 SOS 761907 HAS SOPS 761907 HAS SOUS 652508 HAS SOUPS 652508 WITH SCORE 653269.907
AT ITER 4222 NEW BEST:: SOT 4415960 SOS 761743 HAS SOPS 761743 HAS SOUS 652308 HAS SOUPS 652308 WITH SCORE 653069.743
AT ITER 4240 NEW BEST:: SOT 4415963 SOS 761749 HAS SOPS 761749 HAS SOUS 652274 HAS SOUPS 652274 WITH SCORE 653035.749
AT ITER 4273 NEW BEST:: SOT 4415866 SOS 761555 HAS SOPS 761555 HAS SOUS 651864 HAS SOUPS 651864 WITH SCORE 652625.555
AT ITER 4325 NEW BEST:: SOT 4415778 SOS 761467 HAS SOPS 761467 HAS SOUS 651864 HAS SOUPS 651864 WITH SCORE 652625.467
AT ITER 4330 NEW BEST:: SOT 4415762 SOS 761435 HAS SOPS 761435 HAS SOUS 651832 HAS SOUPS 651832 WITH SCORE 652593.435
AT ITER 4350 NEW BEST:: SOT 4415639 SOS 761297 HAS SOPS 761297 HAS SOUS 651694 HAS SOUPS 651694 WITH SCORE 652455.297
AT ITER 4363 NEW BEST:: SOT 4415637 SOS 761293 HAS SOPS 761293 HAS SOUS 651690 HAS SOUPS 651690 WITH SCORE 652451.293
AT ITER 4420 NEW BEST:: SOT 4415637 SOS 761008 HAS SOPS 761008 HAS SOUS 651405 HAS SOUPS 651405 WITH SCORE 652166.008
AT ITER 4430 NEW BEST:: SOT 4415574 SOS 760882 HAS SOPS 760882 HAS SOUS 651342 HAS SOUPS 651342 WITH SCORE 652102.882
AT ITER 4441 NEW BEST:: SOT 4415532 SOS 760725 HAS SOPS 760725 HAS SOUS 651258 HAS SOUPS 651258 WITH SCORE 652018.725
AT ITER 4443 NEW BEST:: SOT 4415532 SOS 760725 HAS SOPS 760725 HAS SOUS 651257 HAS SOUPS 651257 WITH SCORE 652017.725
AT ITER 4447 NEW BEST:: SOT 4415521 SOS 760703 HAS SOPS 760703 HAS SOUS 651235 HAS SOUPS 651235 WITH SCORE 651995.703
AT ITER 4450 NEW BEST:: SOT 4415480 SOS 760621 HAS SOPS 760621 HAS SOUS 651153 HAS SOUPS 651153 WITH SCORE 651913.621
AT ITER 4458 NEW BEST:: SOT 4415619 SOS 760073 HAS SOPS 760073 HAS SOUS 650921 HAS SOUPS 650921 WITH SCORE 651681.073
AT ITER 4461 NEW BEST:: SOT 4415576 SOS 759810 HAS SOPS 759810 HAS SOUS 650816 HAS SOUPS 650816 WITH SCORE 651575.81
AT ITER 4466 NEW BEST:: SOT 4415459 SOS 759437 HAS SOPS 759437 HAS SOUS 650582 HAS SOUPS 650582 WITH SCORE 651341.437
AT ITER 4492 NEW BEST:: SOT 4415323 SOS 759165 HAS SOPS 759165 HAS SOUS 650446 HAS SOUPS 650446 WITH SCORE 651205.165
AT ITER 4498 NEW BEST:: SOT 4415311 SOS 759141 HAS SOPS 759141 HAS SOUS 650434 HAS SOUPS 650434 WITH SCORE 651193.141
AT ITER 4499 NEW BEST:: SOT 4415250 SOS 759019 HAS SOPS 759019 HAS SOUS 650312 HAS SOUPS 650312 WITH SCORE 651071.019
AT ITER 4511 NEW BEST:: SOT 4415201 SOS 758921 HAS SOPS 758921 HAS SOUS 650263 HAS SOUPS 650263 WITH SCORE 651021.921
AT ITER 4531 NEW BEST:: SOT 4415128 SOS 758699 HAS SOPS 758699 HAS SOUS 650114 HAS SOUPS 650114 WITH SCORE 650872.699
AT ITER 4548 NEW BEST:: SOT 4415128 SOS 758699 HAS SOPS 758699 HAS SOUS 649935 HAS SOUPS 649935 WITH SCORE 650693.699
AT ITER 4615 NEW BEST:: SOT 4415128 SOS 758698 HAS SOPS 758698 HAS SOUS 649934 HAS SOUPS 649934 WITH SCORE 650692.698
AT ITER 4682 NEW BEST:: SOT 4414919 SOS 758280 HAS SOPS 758280 HAS SOUS 649341 HAS SOUPS 649341 WITH SCORE 650099.28
AT ITER 4685 NEW BEST:: SOT 4414796 SOS 758220 HAS SOPS 758220 HAS SOUS 649244 HAS SOUPS 649244 WITH SCORE 650002.22
AT ITER 4698 NEW BEST:: SOT 4414260 SOS 758856 HAS SOPS 758856 HAS SOUS 649122 HAS SOUPS 649122 WITH SCORE 649880.856
AT ITER 4719 NEW BEST:: SOT 4414203 SOS 758742 HAS SOPS 758742 HAS SOUS 649065 HAS SOUPS 649065 WITH SCORE 649823.742
AT ITER 4724 NEW BEST:: SOT 4414699 SOS 758662 HAS SOPS 758662 HAS SOUS 649025 HAS SOUPS 649025 WITH SCORE 649783.662
AT ITER 4728 NEW BEST:: SOT 4414836 SOS 758936 HAS SOPS 758936 HAS SOUS 648816 HAS SOUPS 648816 WITH SCORE 649574.936
AT ITER 4747 NEW BEST:: SOT 4414791 SOS 758562 HAS SOPS 758562 HAS SOUS 648487 HAS SOUPS 648487 WITH SCORE 649245.562
AT ITER 4769 NEW BEST:: SOT 4414703 SOS 758386 HAS SOPS 758386 HAS SOUS 648311 HAS SOUPS 648311 WITH SCORE 649069.386
AT ITER 4816 NEW BEST:: SOT 4414686 SOS 758352 HAS SOPS 758352 HAS SOUS 648277 HAS SOUPS 648277 WITH SCORE 649035.352
AT ITER 4836 NEW BEST:: SOT 4414686 SOS 758175 HAS SOPS 758175 HAS SOUS 648100 HAS SOUPS 648100 WITH SCORE 648858.175
AT ITER 4848 NEW BEST:: SOT 4414685 SOS 758173 HAS SOPS 758173 HAS SOUS 648098 HAS SOUPS 648098 WITH SCORE 648856.173
AT ITER 4858 NEW BEST:: SOT 4414685 SOS 758144 HAS SOPS 758144 HAS SOUS 648098 HAS SOUPS 648098 WITH SCORE 648856.144
AT ITER 4893 NEW BEST:: SOT 4414631 SOS 758036 HAS SOPS 758036 HAS SOUS 648032 HAS SOUPS 648032 WITH SCORE 648790.036
AT ITER 4911 NEW BEST:: SOT 4415000 SOS 758218 HAS SOPS 758218 HAS SOUS 647936 HAS SOUPS 647936 WITH SCORE 648694.218
AT ITER 4922 NEW BEST:: SOT 4414945 SOS 758108 HAS SOPS 758108 HAS SOUS 647826 HAS SOUPS 647826 WITH SCORE 648584.108
AT ITER 4927 NEW BEST:: SOT 4414630 SOS 758210 HAS SOPS 758210 HAS SOUS 647511 HAS SOUPS 647511 WITH SCORE 648269.21
AT ITER 4953 NEW BEST:: SOT 4414374 SOS 746946 HAS SOPS 746946 HAS SOUS 646999 HAS SOUPS 646999 WITH SCORE 647745.946
AT ITER 4966 NEW BEST:: SOT 4414122 SOS 746442 HAS SOPS 746442 HAS SOUS 646561 HAS SOUPS 646561 WITH SCORE 647307.442
AT ITER 4980 NEW BEST:: SOT 4414010 SOS 746218 HAS SOPS 746218 HAS SOUS 646337 HAS SOUPS 646337 WITH SCORE 647083.218
AT ITER 4984 NEW BEST:: SOT 4413993 SOS 746184 HAS SOPS 746184 HAS SOUS 646319 HAS SOUPS 646319 WITH SCORE 647065.184
AT ITER 5016 NEW BEST:: SOT 4413951 SOS 746100 HAS SOPS 746100 HAS SOUS 646288 HAS SOUPS 646288 WITH SCORE 647034.1
AT ITER 5030 NEW BEST:: SOT 4413951 SOS 746100 HAS SOPS 746100 HAS SOUS 646282 HAS SOUPS 646282 WITH SCORE 647028.1
AT ITER 5034 NEW BEST:: SOT 4413957 SOS 746006 HAS SOPS 746006 HAS SOUS 646182 HAS SOUPS 646182 WITH SCORE 646928.006
AT ITER 5055 NEW BEST:: SOT 4413842 SOS 746236 HAS SOPS 746236 HAS SOUS 646173 HAS SOUPS 646173 WITH SCORE 646919.236
AT ITER 5070 NEW BEST:: SOT 4413842 SOS 746235 HAS SOPS 746235 HAS SOUS 646172 HAS SOUPS 646172 WITH SCORE 646918.235
AT ITER 5075 NEW BEST:: SOT 4413833 SOS 746217 HAS SOPS 746217 HAS SOUS 646120 HAS SOUPS 646120 WITH SCORE 646866.217
AT ITER 5100 NEW BEST:: SOT 4413833 SOS 746208 HAS SOPS 746208 HAS SOUS 645886 HAS SOUPS 645886 WITH SCORE 646632.208
AT ITER 5154 NEW BEST:: SOT 4413834 SOS 746210 HAS SOPS 746210 HAS SOUS 645482 HAS SOUPS 645482 WITH SCORE 646228.21
AT ITER 5164 NEW BEST:: SOT 4413820 SOS 746196 HAS SOPS 746196 HAS SOUS 645468 HAS SOUPS 645468 WITH SCORE 646214.196
AT ITER 5169 NEW BEST:: SOT 4413820 SOS 746196 HAS SOPS 746196 HAS SOUS 645376 HAS SOUPS 645376 WITH SCORE 646122.196
AT ITER 5173 NEW BEST:: SOT 4413820 SOS 746179 HAS SOPS 746179 HAS SOUS 645359 HAS SOUPS 645359 WITH SCORE 646105.179
AT ITER 5201 NEW BEST:: SOT 4413696 SOS 746161 HAS SOPS 746161 HAS SOUS 645272 HAS SOUPS 645272 WITH SCORE 646018.161
AT ITER 5212 NEW BEST:: SOT 4413696 SOS 746038 HAS SOPS 746038 HAS SOUS 645149 HAS SOUPS 645149 WITH SCORE 645895.038
AT ITER 5221 NEW BEST:: SOT 4413538 SOS 745720 HAS SOPS 745720 HAS SOUS 644763 HAS SOUPS 644763 WITH SCORE 645508.72
AT ITER 5240 NEW BEST:: SOT 4413538 SOS 745720 HAS SOPS 745720 HAS SOUS 644385 HAS SOUPS 644385 WITH SCORE 645130.72
AT ITER 5247 NEW BEST:: SOT 4413364 SOS 745372 HAS SOPS 745372 HAS SOUS 644037 HAS SOUPS 644037 WITH SCORE 644782.372
AT ITER 5255 NEW BEST:: SOT 4413312 SOS 745268 HAS SOPS 745268 HAS SOUS 644033 HAS SOUPS 644033 WITH SCORE 644778.268
AT ITER 5257 NEW BEST:: SOT 4413215 SOS 745074 HAS SOPS 745074 HAS SOUS 643839 HAS SOUPS 643839 WITH SCORE 644584.074
AT ITER 5259 NEW BEST:: SOT 4412692 SOS 744439 HAS SOPS 744439 HAS SOUS 643192 HAS SOUPS 643192 WITH SCORE 643936.439
AT ITER 5263 NEW BEST:: SOT 4412302 SOS 744179 HAS SOPS 744179 HAS SOUS 642802 HAS SOUPS 642802 WITH SCORE 643546.179
AT ITER 5318 NEW BEST:: SOT 4412138 SOS 743562 HAS SOPS 743562 HAS SOUS 642474 HAS SOUPS 642474 WITH SCORE 643217.562
AT ITER 5328 NEW BEST:: SOT 4412222 SOS 743432 HAS SOPS 743432 HAS SOUS 642344 HAS SOUPS 642344 WITH SCORE 643087.432
AT ITER 5351 NEW BEST:: SOT 4412055 SOS 743372 HAS SOPS 743372 HAS SOUS 642249 HAS SOUPS 642249 WITH SCORE 642992.372
AT ITER 5352 NEW BEST:: SOT 4411202 SOS 753323 HAS SOPS 753323 HAS SOUS 641947 HAS SOUPS 641947 WITH SCORE 642700.323
AT ITER 5410 NEW BEST:: SOT 4411114 SOS 753483 HAS SOPS 753483 HAS SOUS 641939 HAS SOUPS 641939 WITH SCORE 642692.483
AT ITER 5421 NEW BEST:: SOT 4410995 SOS 753245 HAS SOPS 753245 HAS SOUS 641701 HAS SOUPS 641701 WITH SCORE 642454.245
AT ITER 5424 NEW BEST:: SOT 4410747 SOS 753297 HAS SOPS 753297 HAS SOUS 641363 HAS SOUPS 641363 WITH SCORE 642116.297
AT ITER 5431 NEW BEST:: SOT 4410621 SOS 752746 HAS SOPS 752746 HAS SOUS 641111 HAS SOUPS 641111 WITH SCORE 641863.746
AT ITER 5456 NEW BEST:: SOT 4410458 SOS 752420 HAS SOPS 752420 HAS SOUS 640948 HAS SOUPS 640948 WITH SCORE 641700.42
AT ITER 5528 NEW BEST:: SOT 4410112 SOS 752562 HAS SOPS 752562 HAS SOUS 640618 HAS SOUPS 640618 WITH SCORE 641370.562
AT ITER 5551 NEW BEST:: SOT 4409892 SOS 752122 HAS SOPS 752122 HAS SOUS 640391 HAS SOUPS 640391 WITH SCORE 641143.122
AT ITER 5565 NEW BEST:: SOT 4409442 SOS 751994 HAS SOPS 751994 HAS SOUS 639976 HAS SOUPS 639976 WITH SCORE 640727.994
AT ITER 5597 NEW BEST:: SOT 4409401 SOS 751953 HAS SOPS 751953 HAS SOUS 639935 HAS SOUPS 639935 WITH SCORE 640686.953
AT ITER 5605 NEW BEST:: SOT 4409077 SOS 751731 HAS SOPS 751731 HAS SOUS 639516 HAS SOUPS 639516 WITH SCORE 640267.731
AT ITER 5611 NEW BEST:: SOT 4409156 SOS 751571 HAS SOPS 751571 HAS SOUS 639515 HAS SOUPS 639515 WITH SCORE 640266.571
AT ITER 5638 NEW BEST:: SOT 4409116 SOS 751440 HAS SOPS 751440 HAS SOUS 639424 HAS SOUPS 639424 WITH SCORE 640175.44
AT ITER 5676 NEW BEST:: SOT 4409116 SOS 751501 HAS SOPS 751501 HAS SOUS 639221 HAS SOUPS 639221 WITH SCORE 639972.501
AT ITER 5714 NEW BEST:: SOT 4409116 SOS 751501 HAS SOPS 751501 HAS SOUS 639213 HAS SOUPS 639213 WITH SCORE 639964.501
AT ITER 5718 NEW BEST:: SOT 4408552 SOS 750911 HAS SOPS 750911 HAS SOUS 638525 HAS SOUPS 638525 WITH SCORE 639275.911
AT ITER 5751 NEW BEST:: SOT 4408430 SOS 750789 HAS SOPS 750789 HAS SOUS 638489 HAS SOUPS 638489 WITH SCORE 639239.789
AT ITER 5764 NEW BEST:: SOT 4408405 SOS 750763 HAS SOPS 750763 HAS SOUS 638463 HAS SOUPS 638463 WITH SCORE 639213.763
AT ITER 5777 NEW BEST:: SOT 4408261 SOS 750475 HAS SOPS 750475 HAS SOUS 638175 HAS SOUPS 638175 WITH SCORE 638925.475
AT ITER 5790 NEW BEST:: SOT 4408259 SOS 750471 HAS SOPS 750471 HAS SOUS 638171 HAS SOUPS 638171 WITH SCORE 638921.471
AT ITER 5881 NEW BEST:: SOT 4408298 SOS 750549 HAS SOPS 750549 HAS SOUS 638087 HAS SOUPS 638087 WITH SCORE 638837.549
AT ITER 5886 NEW BEST:: SOT 4408152 SOS 750403 HAS SOPS 750403 HAS SOUS 637941 HAS SOUPS 637941 WITH SCORE 638691.403
AT ITER 5887 NEW BEST:: SOT 4408129 SOS 750357 HAS SOPS 750357 HAS SOUS 637895 HAS SOUPS 637895 WITH SCORE 638645.357
AT ITER 5902 NEW BEST:: SOT 4408129 SOS 750357 HAS SOPS 750357 HAS SOUS 637737 HAS SOUPS 637737 WITH SCORE 638487.357
AT ITER 5954 NEW BEST:: SOT 4408129 SOS 750278 HAS SOPS 750278 HAS SOUS 637736 HAS SOUPS 637736 WITH SCORE 638486.278
AT ITER 5981 NEW BEST:: SOT 4407971 SOS 749962 HAS SOPS 749962 HAS SOUS 637578 HAS SOUPS 637578 WITH SCORE 638327.962
AT ITER 5997 NEW BEST:: SOT 4407711 SOS 749962 HAS SOPS 749962 HAS SOUS 637318 HAS SOUPS 637318 WITH SCORE 638067.962
AT ITER 6000 NEW BEST:: SOT 4407633 SOS 749845 HAS SOPS 749845 HAS SOUS 637240 HAS SOUPS 637240 WITH SCORE 637989.845
AT ITER 6007 NEW BEST:: SOT 4407477 SOS 749533 HAS SOPS 749533 HAS SOUS 637142 HAS SOUPS 637142 WITH SCORE 637891.533
AT ITER 6015 NEW BEST:: SOT 4407476 SOS 749531 HAS SOPS 749531 HAS SOUS 637140 HAS SOUPS 637140 WITH SCORE 637889.531
AT ITER 6042 NEW BEST:: SOT 4407476 SOS 749477 HAS SOPS 749477 HAS SOUS 637137 HAS SOUPS 637137 WITH SCORE 637886.477
AT ITER 6057 NEW BEST:: SOT 4407427 SOS 749054 HAS SOPS 749054 HAS SOUS 637039 HAS SOUPS 637039 WITH SCORE 637788.054
AT ITER 6087 NEW BEST:: SOT 4407084 SOS 749144 HAS SOPS 749144 HAS SOUS 636696 HAS SOUPS 636696 WITH SCORE 637445.144
AT ITER 6111 NEW BEST:: SOT 4407084 SOS 749088 HAS SOPS 749088 HAS SOUS 636640 HAS SOUPS 636640 WITH SCORE 637389.088
AT ITER 6119 NEW BEST:: SOT 4406861 SOS 748419 HAS SOPS 748419 HAS SOUS 636194 HAS SOUPS 636194 WITH SCORE 636942.419
AT ITER 6126 NEW BEST:: SOT 4406307 SOS 749536 HAS SOPS 749536 HAS SOUS 636122 HAS SOUPS 636122 WITH SCORE 636871.536
AT ITER 6168 NEW BEST:: SOT 4406081 SOS 749084 HAS SOPS 749084 HAS SOUS 635894 HAS SOUPS 635894 WITH SCORE 636643.084
AT ITER 6172 NEW BEST:: SOT 4406072 SOS 749066 HAS SOPS 749066 HAS SOUS 635885 HAS SOUPS 635885 WITH SCORE 636634.066
AT ITER 6176 NEW BEST:: SOT 4406044 SOS 749010 HAS SOPS 749010 HAS SOUS 635829 HAS SOUPS 635829 WITH SCORE 636578.01
AT ITER 6193 NEW BEST:: SOT 4405936 SOS 748794 HAS SOPS 748794 HAS SOUS 635613 HAS SOUPS 635613 WITH SCORE 636361.794
AT ITER 6202 NEW BEST:: SOT 4405936 SOS 748794 HAS SOPS 748794 HAS SOUS 635611 HAS SOUPS 635611 WITH SCORE 636359.794
AT ITER 6222 NEW BEST:: SOT 4405873 SOS 748668 HAS SOPS 748668 HAS SOUS 635485 HAS SOUPS 635485 WITH SCORE 636233.668
AT ITER 6227 NEW BEST:: SOT 4405597 SOS 748116 HAS SOPS 748116 HAS SOUS 635274 HAS SOUPS 635274 WITH SCORE 636022.116
AT ITER 6325 NEW BEST:: SOT 4405493 SOS 748012 HAS SOPS 748012 HAS SOUS 635170 HAS SOUPS 635170 WITH SCORE 635918.012
AT ITER 6334 NEW BEST:: SOT 4405418 SOS 747862 HAS SOPS 747862 HAS SOUS 635095 HAS SOUPS 635095 WITH SCORE 635842.862
AT ITER 6340 NEW BEST:: SOT 4404902 SOS 747346 HAS SOPS 747346 HAS SOUS 634579 HAS SOUPS 634579 WITH SCORE 635326.346
AT ITER 6363 NEW BEST:: SOT 4404845 SOS 747232 HAS SOPS 747232 HAS SOUS 634452 HAS SOUPS 634452 WITH SCORE 635199.232
AT ITER 6394 NEW BEST:: SOT 4404804 SOS 747150 HAS SOPS 747150 HAS SOUS 634388 HAS SOUPS 634388 WITH SCORE 635135.15
AT ITER 6426 NEW BEST:: SOT 4404832 SOS 747118 HAS SOPS 747118 HAS SOUS 634362 HAS SOUPS 634362 WITH SCORE 635109.118
AT ITER 6431 NEW BEST:: SOT 4404865 SOS 746628 HAS SOPS 746628 HAS SOUS 634022 HAS SOUPS 634022 WITH SCORE 634768.628
AT ITER 6446 NEW BEST:: SOT 4405043 SOS 746984 HAS SOPS 746984 HAS SOUS 633880 HAS SOUPS 633880 WITH SCORE 634626.984
AT ITER 6448 NEW BEST:: SOT 4404840 SOS 746578 HAS SOPS 746578 HAS SOUS 633590 HAS SOUPS 633590 WITH SCORE 634336.578
AT ITER 6480 NEW BEST:: SOT 4404814 SOS 746526 HAS SOPS 746526 HAS SOUS 633564 HAS SOUPS 633564 WITH SCORE 634310.526
AT ITER 6481 NEW BEST:: SOT 4404673 SOS 746526 HAS SOPS 746526 HAS SOUS 633423 HAS SOUPS 633423 WITH SCORE 634169.526
AT ITER 6494 NEW BEST:: SOT 4404568 SOS 746761 HAS SOPS 746761 HAS SOUS 633396 HAS SOUPS 633396 WITH SCORE 634142.761
AT ITER 6504 NEW BEST:: SOT 4404377 SOS 746379 HAS SOPS 746379 HAS SOUS 633205 HAS SOUPS 633205 WITH SCORE 633951.379
AT ITER 6512 NEW BEST:: SOT 4404242 SOS 746109 HAS SOPS 746109 HAS SOUS 632816 HAS SOUPS 632816 WITH SCORE 633562.109
AT ITER 6520 NEW BEST:: SOT 4404109 SOS 745843 HAS SOPS 745843 HAS SOUS 632583 HAS SOUPS 632583 WITH SCORE 633328.843
AT ITER 6528 NEW BEST:: SOT 4404106 SOS 745837 HAS SOPS 745837 HAS SOUS 632577 HAS SOUPS 632577 WITH SCORE 633322.837
AT ITER 6530 NEW BEST:: SOT 4403944 SOS 746017 HAS SOPS 746017 HAS SOUS 632278 HAS SOUPS 632278 WITH SCORE 633024.017
AT ITER 6570 NEW BEST:: SOT 4403758 SOS 745831 HAS SOPS 745831 HAS SOUS 631906 HAS SOUPS 631906 WITH SCORE 632651.831
AT ITER 6574 NEW BEST:: SOT 4403678 SOS 745671 HAS SOPS 745671 HAS SOUS 631826 HAS SOUPS 631826 WITH SCORE 632571.671
AT ITER 6576 NEW BEST:: SOT 4403672 SOS 745665 HAS SOPS 745665 HAS SOUS 631820 HAS SOUPS 631820 WITH SCORE 632565.665
AT ITER 6581 NEW BEST:: SOT 4403632 SOS 745605 HAS SOPS 745605 HAS SOUS 631770 HAS SOUPS 631770 WITH SCORE 632515.605
AT ITER 6610 NEW BEST:: SOT 4403632 SOS 745767 HAS SOPS 745767 HAS SOUS 631705 HAS SOUPS 631705 WITH SCORE 632450.767
AT ITER 6618 NEW BEST:: SOT 4403227 SOS 745319 HAS SOPS 745319 HAS SOUS 631232 HAS SOUPS 631232 WITH SCORE 631977.319
AT ITER 6631 NEW BEST:: SOT 4403174 SOS 745213 HAS SOPS 745213 HAS SOUS 631053 HAS SOUPS 631053 WITH SCORE 631798.213
AT ITER 6652 NEW BEST:: SOT 4402994 SOS 745553 HAS SOPS 745553 HAS SOUS 631052 HAS SOUPS 631052 WITH SCORE 631797.553
AT ITER 6658 NEW BEST:: SOT 4402840 SOS 745594 HAS SOPS 745594 HAS SOUS 631037 HAS SOUPS 631037 WITH SCORE 631782.594
AT ITER 6665 NEW BEST:: SOT 4403110 SOS 745769 HAS SOPS 745769 HAS SOUS 631025 HAS SOUPS 631025 WITH SCORE 631770.769
AT ITER 6679 NEW BEST:: SOT 4402769 SOS 745087 HAS SOPS 745087 HAS SOUS 630343 HAS SOUPS 630343 WITH SCORE 631088.087
AT ITER 6693 NEW BEST:: SOT 4402838 SOS 744832 HAS SOPS 744832 HAS SOUS 630124 HAS SOUPS 630124 WITH SCORE 630868.832
AT ITER 6704 NEW BEST:: SOT 4402838 SOS 744728 HAS SOPS 744728 HAS SOUS 630020 HAS SOUPS 630020 WITH SCORE 630764.728
AT ITER 6709 NEW BEST:: SOT 4402815 SOS 744794 HAS SOPS 744794 HAS SOUS 629994 HAS SOUPS 629994 WITH SCORE 630738.794
AT ITER 6750 NEW BEST:: SOT 4402814 SOS 744792 HAS SOPS 744792 HAS SOUS 629965 HAS SOUPS 629965 WITH SCORE 630709.792
AT ITER 6833 NEW BEST:: SOT 4402814 SOS 744614 HAS SOPS 744614 HAS SOUS 629876 HAS SOUPS 629876 WITH SCORE 630620.614
AT ITER 6883 NEW BEST:: SOT 4402805 SOS 744672 HAS SOPS 744672 HAS SOUS 629862 HAS SOUPS 629862 WITH SCORE 630606.672
AT ITER 6913 NEW BEST:: SOT 4402805 SOS 744672 HAS SOPS 744672 HAS SOUS 629705 HAS SOUPS 629705 WITH SCORE 630449.672
AT ITER 6924 NEW BEST:: SOT 4402772 SOS 744606 HAS SOPS 744606 HAS SOUS 629672 HAS SOUPS 629672 WITH SCORE 630416.606
AT ITER 6927 NEW BEST:: SOT 4402713 SOS 744488 HAS SOPS 744488 HAS SOUS 629554 HAS SOUPS 629554 WITH SCORE 630298.488
AT ITER 6940 NEW BEST:: SOT 4402940 SOS 744563 HAS SOPS 744563 HAS SOUS 629447 HAS SOUPS 629447 WITH SCORE 630191.563
AT ITER 6974 NEW BEST:: SOT 4402866 SOS 744658 HAS SOPS 744658 HAS SOUS 629305 HAS SOUPS 629305 WITH SCORE 630049.658
AT ITER 6981 NEW BEST:: SOT 4402866 SOS 744666 HAS SOPS 744666 HAS SOUS 629301 HAS SOUPS 629301 WITH SCORE 630045.666
AT ITER 6991 NEW BEST:: SOT 4402843 SOS 744620 HAS SOPS 744620 HAS SOUS 629255 HAS SOUPS 629255 WITH SCORE 629999.62
AT ITER 6993 NEW BEST:: SOT 4402842 SOS 744618 HAS SOPS 744618 HAS SOUS 629253 HAS SOUPS 629253 WITH SCORE 629997.618
AT ITER 7011 NEW BEST:: SOT 4402792 SOS 744418 HAS SOPS 744418 HAS SOUS 629153 HAS SOUPS 629153 WITH SCORE 629897.418
AT ITER 7062 NEW BEST:: SOT 4402623 SOS 744080 HAS SOPS 744080 HAS SOUS 628851 HAS SOUPS 628851 WITH SCORE 629595.08
AT ITER 7065 NEW BEST:: SOT 4402479 SOS 744114 HAS SOPS 744114 HAS SOUS 628702 HAS SOUPS 628702 WITH SCORE 629446.114
AT ITER 7078 NEW BEST:: SOT 4402143 SOS 745090 HAS SOPS 745090 HAS SOUS 628634 HAS SOUPS 628634 WITH SCORE 629379.09
AT ITER 7089 NEW BEST:: SOT 4402074 SOS 744952 HAS SOPS 744952 HAS SOUS 628496 HAS SOUPS 628496 WITH SCORE 629240.952
AT ITER 7135 NEW BEST:: SOT 4401891 SOS 744789 HAS SOPS 744789 HAS SOUS 628313 HAS SOUPS 628313 WITH SCORE 629057.789
AT ITER 7161 NEW BEST:: SOT 4401797 SOS 745239 HAS SOPS 745239 HAS SOUS 628016 HAS SOUPS 628016 WITH SCORE 628761.239
AT ITER 7180 NEW BEST:: SOT 4401779 SOS 745203 HAS SOPS 745203 HAS SOUS 627998 HAS SOUPS 627998 WITH SCORE 628743.203
AT ITER 7182 NEW BEST:: SOT 4401755 SOS 745179 HAS SOPS 745179 HAS SOUS 627998 HAS SOUPS 627998 WITH SCORE 628743.179
AT ITER 7187 NEW BEST:: SOT 4401648 SOS 744965 HAS SOPS 744965 HAS SOUS 627891 HAS SOUPS 627891 WITH SCORE 628635.965
AT ITER 7205 NEW BEST:: SOT 4401623 SOS 744915 HAS SOPS 744915 HAS SOUS 627866 HAS SOUPS 627866 WITH SCORE 628610.915
AT ITER 7222 NEW BEST:: SOT 4401623 SOS 744915 HAS SOPS 744915 HAS SOUS 627712 HAS SOUPS 627712 WITH SCORE 628456.915
AT ITER 7234 NEW BEST:: SOT 4401331 SOS 744885 HAS SOPS 744885 HAS SOUS 627697 HAS SOUPS 627697 WITH SCORE 628441.885
AT ITER 7236 NEW BEST:: SOT 4401253 SOS 744729 HAS SOPS 744729 HAS SOUS 627541 HAS SOUPS 627541 WITH SCORE 628285.729
AT ITER 7237 NEW BEST:: SOT 4401311 SOS 744508 HAS SOPS 744508 HAS SOUS 627320 HAS SOUPS 627320 WITH SCORE 628064.508
AT ITER 7252 NEW BEST:: SOT 4401294 SOS 744474 HAS SOPS 744474 HAS SOUS 627286 HAS SOUPS 627286 WITH SCORE 628030.474
AT ITER 7266 NEW BEST:: SOT 4401333 SOS 744333 HAS SOPS 744333 HAS SOUS 627218 HAS SOUPS 627218 WITH SCORE 627962.333
AT ITER 7275 NEW BEST:: SOT 4401333 SOS 744317 HAS SOPS 744317 HAS SOUS 627202 HAS SOUPS 627202 WITH SCORE 627946.317
AT ITER 7288 NEW BEST:: SOT 4401186 SOS 744023 HAS SOPS 744023 HAS SOUS 626908 HAS SOUPS 626908 WITH SCORE 627652.023
AT ITER 7334 NEW BEST:: SOT 4400538 SOS 743420 HAS SOPS 743420 HAS SOUS 626278 HAS SOUPS 626278 WITH SCORE 627021.42
AT ITER 7367 NEW BEST:: SOT 4400637 SOS 743271 HAS SOPS 743271 HAS SOUS 626203 HAS SOUPS 626203 WITH SCORE 626946.271
AT ITER 7398 NEW BEST:: SOT 4400595 SOS 743343 HAS SOPS 743343 HAS SOUS 626200 HAS SOUPS 626200 WITH SCORE 626943.343
AT ITER 7444 NEW BEST:: SOT 4400663 SOS 743479 HAS SOPS 743479 HAS SOUS 626111 HAS SOUPS 626111 WITH SCORE 626854.479
AT ITER 7472 NEW BEST:: SOT 4400663 SOS 743473 HAS SOPS 743473 HAS SOUS 626105 HAS SOUPS 626105 WITH SCORE 626848.473
AT ITER 7499 NEW BEST:: SOT 4400674 SOS 725369 HAS SOPS 725369 HAS SOUS 626116 HAS SOUPS 626116 WITH SCORE 626841.369
AT ITER 7501 NEW BEST:: SOT 4400622 SOS 725265 HAS SOPS 725265 HAS SOUS 626012 HAS SOUPS 626012 WITH SCORE 626737.265
AT ITER 7504 NEW BEST:: SOT 4400552 SOS 725125 HAS SOPS 725125 HAS SOUS 625872 HAS SOUPS 625872 WITH SCORE 626597.125
AT ITER 7518 NEW BEST:: SOT 4399914 SOS 724569 HAS SOPS 724569 HAS SOUS 625316 HAS SOUPS 625316 WITH SCORE 626040.569
AT ITER 7529 NEW BEST:: SOT 4399887 SOS 724515 HAS SOPS 724515 HAS SOUS 625289 HAS SOUPS 625289 WITH SCORE 626013.515
AT ITER 7558 NEW BEST:: SOT 4399662 SOS 724065 HAS SOPS 724065 HAS SOUS 625044 HAS SOUPS 625044 WITH SCORE 625768.065
AT ITER 7561 NEW BEST:: SOT 4399648 SOS 724037 HAS SOPS 724037 HAS SOUS 625016 HAS SOUPS 625016 WITH SCORE 625740.037
AT ITER 7563 NEW BEST:: SOT 4399621 SOS 723983 HAS SOPS 723983 HAS SOUS 624962 HAS SOUPS 624962 WITH SCORE 625685.983
AT ITER 7565 NEW BEST:: SOT 4399419 SOS 723964 HAS SOPS 723964 HAS SOUS 624826 HAS SOUPS 624826 WITH SCORE 625549.964
AT ITER 7566 NEW BEST:: SOT 4399308 SOS 723742 HAS SOPS 723742 HAS SOUS 624604 HAS SOUPS 624604 WITH SCORE 625327.742
AT ITER 7575 NEW BEST:: SOT 4399355 SOS 723666 HAS SOPS 723666 HAS SOUS 624507 HAS SOUPS 624507 WITH SCORE 625230.666
AT ITER 7623 NEW BEST:: SOT 4399283 SOS 723522 HAS SOPS 723522 HAS SOUS 624480 HAS SOUPS 624480 WITH SCORE 625203.522
AT ITER 7644 NEW BEST:: SOT 4399069 SOS 723308 HAS SOPS 723308 HAS SOUS 624266 HAS SOUPS 624266 WITH SCORE 624989.308
AT ITER 7688 NEW BEST:: SOT 4399069 SOS 723307 HAS SOPS 723307 HAS SOUS 624265 HAS SOUPS 624265 WITH SCORE 624988.307
AT ITER 7700 NEW BEST:: SOT 4398846 SOS 723589 HAS SOPS 723589 HAS SOUS 624146 HAS SOUPS 624146 WITH SCORE 624869.589
AT ITER 7704 NEW BEST:: SOT 4398779 SOS 723455 HAS SOPS 723455 HAS SOUS 624012 HAS SOUPS 624012 WITH SCORE 624735.455
AT ITER 7726 NEW BEST:: SOT 4398699 SOS 723295 HAS SOPS 723295 HAS SOUS 623808 HAS SOUPS 623808 WITH SCORE 624531.295
AT ITER 7756 NEW BEST:: SOT 4398472 SOS 724002 HAS SOPS 724002 HAS SOUS 623665 HAS SOUPS 623665 WITH SCORE 624389.002
AT ITER 7778 NEW BEST:: SOT 4398472 SOS 724002 HAS SOPS 724002 HAS SOUS 623664 HAS SOUPS 623664 WITH SCORE 624388.002
AT ITER 7779 NEW BEST:: SOT 4398472 SOS 723752 HAS SOPS 723752 HAS SOUS 623613 HAS SOUPS 623613 WITH SCORE 624336.752
AT ITER 7826 NEW BEST:: SOT 4398324 SOS 723456 HAS SOPS 723456 HAS SOUS 623404 HAS SOUPS 623404 WITH SCORE 624127.456
AT ITER 7909 NEW BEST:: SOT 4398324 SOS 723440 HAS SOPS 723440 HAS SOUS 623388 HAS SOUPS 623388 WITH SCORE 624111.44
AT ITER 7947 NEW BEST:: SOT 4398254 SOS 723022 HAS SOPS 723022 HAS SOUS 623179 HAS SOUPS 623179 WITH SCORE 623902.022
AT ITER 7959 NEW BEST:: SOT 4398141 SOS 722909 HAS SOPS 722909 HAS SOUS 623179 HAS SOUPS 623179 WITH SCORE 623901.909
AT ITER 8010 NEW BEST:: SOT 4398141 SOS 722909 HAS SOPS 722909 HAS SOUS 623157 HAS SOUPS 623157 WITH SCORE 623879.909
AT ITER 8056 NEW BEST:: SOT 4398102 SOS 722870 HAS SOPS 722870 HAS SOUS 623118 HAS SOUPS 623118 WITH SCORE 623840.87
AT ITER 8076 NEW BEST:: SOT 4397745 SOS 722156 HAS SOPS 722156 HAS SOUS 622921 HAS SOUPS 622921 WITH SCORE 623643.156
AT ITER 8078 NEW BEST:: SOT 4397710 SOS 722086 HAS SOPS 722086 HAS SOUS 622884 HAS SOUPS 622884 WITH SCORE 623606.086
AT ITER 8102 NEW BEST:: SOT 4397864 SOS 721148 HAS SOPS 721148 HAS SOUS 622662 HAS SOUPS 622662 WITH SCORE 623383.148
AT ITER 8103 NEW BEST:: SOT 4397864 SOS 721148 HAS SOPS 721148 HAS SOUS 622397 HAS SOUPS 622397 WITH SCORE 623118.148
AT ITER 8145 NEW BEST:: SOT 4398111 SOS 721011 HAS SOPS 721011 HAS SOUS 622260 HAS SOUPS 622260 WITH SCORE 622981.011
AT ITER 8168 NEW BEST:: SOT 4397801 SOS 721075 HAS SOPS 721075 HAS SOUS 621956 HAS SOUPS 621956 WITH SCORE 622677.075
AT ITER 8175 NEW BEST:: SOT 4397759 SOS 720854 HAS SOPS 720854 HAS SOUS 621850 HAS SOUPS 621850 WITH SCORE 622570.854
AT ITER 8184 NEW BEST:: SOT 4397747 SOS 720830 HAS SOPS 720830 HAS SOUS 621838 HAS SOUPS 621838 WITH SCORE 622558.83
AT ITER 8193 NEW BEST:: SOT 4397676 SOS 720688 HAS SOPS 720688 HAS SOUS 621696 HAS SOUPS 621696 WITH SCORE 622416.688
AT ITER 8196 NEW BEST:: SOT 4397676 SOS 720688 HAS SOPS 720688 HAS SOUS 621524 HAS SOUPS 621524 WITH SCORE 622244.688
AT ITER 8211 NEW BEST:: SOT 4397606 SOS 720548 HAS SOPS 720548 HAS SOUS 621384 HAS SOUPS 621384 WITH SCORE 622104.548
AT ITER 8217 NEW BEST:: SOT 4397606 SOS 720523 HAS SOPS 720523 HAS SOUS 621359 HAS SOUPS 621359 WITH SCORE 622079.523
AT ITER 8245 NEW BEST:: SOT 4397513 SOS 719685 HAS SOPS 719685 HAS SOUS 621172 HAS SOUPS 621172 WITH SCORE 621891.685
AT ITER 8252 NEW BEST:: SOT 4397466 SOS 719591 HAS SOPS 719591 HAS SOUS 621078 HAS SOUPS 621078 WITH SCORE 621797.591
AT ITER 8262 NEW BEST:: SOT 4397466 SOS 719523 HAS SOPS 719523 HAS SOUS 621010 HAS SOUPS 621010 WITH SCORE 621729.523
AT ITER 8268 NEW BEST:: SOT 4397630 SOS 719512 HAS SOPS 719512 HAS SOUS 620919 HAS SOUPS 620919 WITH SCORE 621638.512
AT ITER 8304 NEW BEST:: SOT 4397551 SOS 719570 HAS SOPS 719570 HAS SOUS 620823 HAS SOUPS 620823 WITH SCORE 621542.57
AT ITER 8367 NEW BEST:: SOT 4397539 SOS 719546 HAS SOPS 719546 HAS SOUS 620799 HAS SOUPS 620799 WITH SCORE 621518.546
AT ITER 8370 NEW BEST:: SOT 4397394 SOS 719256 HAS SOPS 719256 HAS SOUS 620799 HAS SOUPS 620799 WITH SCORE 621518.256
AT ITER 8427 NEW BEST:: SOT 4397182 SOS 719044 HAS SOPS 719044 HAS SOUS 620587 HAS SOUPS 620587 WITH SCORE 621306.044
AT ITER 8492 NEW BEST:: SOT 4397151 SOS 718982 HAS SOPS 718982 HAS SOUS 620525 HAS SOUPS 620525 WITH SCORE 621243.982
AT ITER 8515 NEW BEST:: SOT 4397115 SOS 718910 HAS SOPS 718910 HAS SOUS 620453 HAS SOUPS 620453 WITH SCORE 621171.91
AT ITER 8531 NEW BEST:: SOT 4397115 SOS 718888 HAS SOPS 718888 HAS SOUS 620431 HAS SOUPS 620431 WITH SCORE 621149.888
AT ITER 8534 NEW BEST:: SOT 4396926 SOS 718294 HAS SOPS 718294 HAS SOUS 620160 HAS SOUPS 620160 WITH SCORE 620878.294
AT ITER 8581 NEW BEST:: SOT 4396887 SOS 718216 HAS SOPS 718216 HAS SOUS 620082 HAS SOUPS 620082 WITH SCORE 620800.216
AT ITER 8584 NEW BEST:: SOT 4396800 SOS 718129 HAS SOPS 718129 HAS SOUS 619995 HAS SOUPS 619995 WITH SCORE 620713.129
AT ITER 8590 NEW BEST:: SOT 4396800 SOS 718069 HAS SOPS 718069 HAS SOUS 619995 HAS SOUPS 619995 WITH SCORE 620713.069
AT ITER 8637 NEW BEST:: SOT 4396800 SOS 718069 HAS SOPS 718069 HAS SOUS 619988 HAS SOUPS 619988 WITH SCORE 620706.069
AT ITER 8645 NEW BEST:: SOT 4396800 SOS 717937 HAS SOPS 717937 HAS SOUS 619988 HAS SOUPS 619988 WITH SCORE 620705.937
AT ITER 8646 NEW BEST:: SOT 4396751 SOS 717839 HAS SOPS 717839 HAS SOUS 619890 HAS SOUPS 619890 WITH SCORE 620607.839
AT ITER 8660 NEW BEST:: SOT 4396703 SOS 717791 HAS SOPS 717791 HAS SOUS 619842 HAS SOUPS 619842 WITH SCORE 620559.791
AT ITER 8677 NEW BEST:: SOT 4396660 SOS 717705 HAS SOPS 717705 HAS SOUS 619756 HAS SOUPS 619756 WITH SCORE 620473.705
AT ITER 8694 NEW BEST:: SOT 4396422 SOS 717467 HAS SOPS 717467 HAS SOUS 619518 HAS SOUPS 619518 WITH SCORE 620235.467
AT ITER 8704 NEW BEST:: SOT 4396537 SOS 717391 HAS SOPS 717391 HAS SOUS 619442 HAS SOUPS 619442 WITH SCORE 620159.391
AT ITER 8709 NEW BEST:: SOT 4396478 SOS 717272 HAS SOPS 717272 HAS SOUS 619323 HAS SOUPS 619323 WITH SCORE 620040.272
AT ITER 8710 NEW BEST:: SOT 4396478 SOS 717156 HAS SOPS 717156 HAS SOUS 619323 HAS SOUPS 619323 WITH SCORE 620040.156
AT ITER 8712 NEW BEST:: SOT 4396463 SOS 717126 HAS SOPS 717126 HAS SOUS 619293 HAS SOUPS 619293 WITH SCORE 620010.126
AT ITER 8723 NEW BEST:: SOT 4396434 SOS 717068 HAS SOPS 717068 HAS SOUS 619235 HAS SOUPS 619235 WITH SCORE 619952.068
AT ITER 8751 NEW BEST:: SOT 4396358 SOS 716916 HAS SOPS 716916 HAS SOUS 619234 HAS SOUPS 619234 WITH SCORE 619950.916
AT ITER 8765 NEW BEST:: SOT 4396313 SOS 716870 HAS SOPS 716870 HAS SOUS 619188 HAS SOUPS 619188 WITH SCORE 619904.87
AT ITER 8768 NEW BEST:: SOT 4396313 SOS 716937 HAS SOPS 716937 HAS SOUS 619185 HAS SOUPS 619185 WITH SCORE 619901.937
AT ITER 8781 NEW BEST:: SOT 4395940 SOS 716191 HAS SOPS 716191 HAS SOUS 619176 HAS SOUPS 619176 WITH SCORE 619892.191
AT ITER 8796 NEW BEST:: SOT 4395894 SOS 716145 HAS SOPS 716145 HAS SOUS 619084 HAS SOUPS 619084 WITH SCORE 619800.145
AT ITER 8798 NEW BEST:: SOT 4395948 SOS 716253 HAS SOPS 716253 HAS SOUS 619010 HAS SOUPS 619010 WITH SCORE 619726.253
AT ITER 8802 NEW BEST:: SOT 4395822 SOS 716001 HAS SOPS 716001 HAS SOUS 618884 HAS SOUPS 618884 WITH SCORE 619600.001
AT ITER 8826 NEW BEST:: SOT 4395812 SOS 715981 HAS SOPS 715981 HAS SOUS 618864 HAS SOUPS 618864 WITH SCORE 619579.981
AT ITER 8852 NEW BEST:: SOT 4395634 SOS 715625 HAS SOPS 715625 HAS SOUS 618508 HAS SOUPS 618508 WITH SCORE 619223.625
AT ITER 8854 NEW BEST:: SOT 4395542 SOS 715441 HAS SOPS 715441 HAS SOUS 618416 HAS SOUPS 618416 WITH SCORE 619131.441
AT ITER 8917 NEW BEST:: SOT 4395542 SOS 715441 HAS SOPS 715441 HAS SOUS 618409 HAS SOUPS 618409 WITH SCORE 619124.441
AT ITER 8918 NEW BEST:: SOT 4395541 SOS 715439 HAS SOPS 715439 HAS SOUS 618407 HAS SOUPS 618407 WITH SCORE 619122.439
AT ITER 8925 NEW BEST:: SOT 4395541 SOS 715400 HAS SOPS 715400 HAS SOUS 618329 HAS SOUPS 618329 WITH SCORE 619044.4
AT ITER 8926 NEW BEST:: SOT 4395537 SOS 715392 HAS SOPS 715392 HAS SOUS 618321 HAS SOUPS 618321 WITH SCORE 619036.392
AT ITER 8931 NEW BEST:: SOT 4395388 SOS 715094 HAS SOPS 715094 HAS SOUS 618023 HAS SOUPS 618023 WITH SCORE 618738.094
AT ITER 8932 NEW BEST:: SOT 4395388 SOS 715094 HAS SOPS 715094 HAS SOUS 618022 HAS SOUPS 618022 WITH SCORE 618737.094
AT ITER 8973 NEW BEST:: SOT 4395388 SOS 715146 HAS SOPS 715146 HAS SOUS 618010 HAS SOUPS 618010 WITH SCORE 618725.146
AT ITER 8981 NEW BEST:: SOT 4395376 SOS 715134 HAS SOPS 715134 HAS SOUS 617998 HAS SOUPS 617998 WITH SCORE 618713.134
AT ITER 8995 NEW BEST:: SOT 4395294 SOS 714683 HAS SOPS 714683 HAS SOUS 617629 HAS SOUPS 617629 WITH SCORE 618343.683
AT ITER 8996 NEW BEST:: SOT 4395288 SOS 714671 HAS SOPS 714671 HAS SOUS 617617 HAS SOUPS 617617 WITH SCORE 618331.671
AT ITER 8999 NEW BEST:: SOT 4395054 SOS 714203 HAS SOPS 714203 HAS SOUS 617149 HAS SOUPS 617149 WITH SCORE 617863.203
AT ITER 9024 NEW BEST:: SOT 4394911 SOS 714144 HAS SOPS 714144 HAS SOUS 617029 HAS SOUPS 617029 WITH SCORE 617743.144
AT ITER 9025 NEW BEST:: SOT 4394882 SOS 714086 HAS SOPS 714086 HAS SOUS 616971 HAS SOUPS 616971 WITH SCORE 617685.086
AT ITER 9077 NEW BEST:: SOT 4394789 SOS 713900 HAS SOPS 713900 HAS SOUS 616785 HAS SOUPS 616785 WITH SCORE 617498.9
AT ITER 9080 NEW BEST:: SOT 4394603 SOS 713528 HAS SOPS 713528 HAS SOUS 616413 HAS SOUPS 616413 WITH SCORE 617126.528
AT ITER 9086 NEW BEST:: SOT 4394683 SOS 713444 HAS SOPS 713444 HAS SOUS 616409 HAS SOUPS 616409 WITH SCORE 617122.444
AT ITER 9109 NEW BEST:: SOT 4394647 SOS 713372 HAS SOPS 713372 HAS SOUS 616239 HAS SOUPS 616239 WITH SCORE 616952.372
AT ITER 9127 NEW BEST:: SOT 4394647 SOS 713258 HAS SOPS 713258 HAS SOUS 616125 HAS SOUPS 616125 WITH SCORE 616838.258
AT ITER 9136 NEW BEST:: SOT 4394693 SOS 713037 HAS SOPS 713037 HAS SOUS 615904 HAS SOUPS 615904 WITH SCORE 616617.037
AT ITER 9139 NEW BEST:: SOT 4394691 SOS 713031 HAS SOPS 713031 HAS SOUS 615898 HAS SOUPS 615898 WITH SCORE 616611.031
AT ITER 9152 NEW BEST:: SOT 4394350 SOS 712533 HAS SOPS 712533 HAS SOUS 615888 HAS SOUPS 615888 WITH SCORE 616600.533
AT ITER 9159 NEW BEST:: SOT 4394052 SOS 712223 HAS SOPS 712223 HAS SOUS 615474 HAS SOUPS 615474 WITH SCORE 616186.223
AT ITER 9178 NEW BEST:: SOT 4393601 SOS 712229 HAS SOPS 712229 HAS SOUS 615250 HAS SOUPS 615250 WITH SCORE 615962.229
AT ITER 9193 NEW BEST:: SOT 4393481 SOS 711989 HAS SOPS 711989 HAS SOUS 615084 HAS SOUPS 615084 WITH SCORE 615795.989
AT ITER 9203 NEW BEST:: SOT 4393481 SOS 711985 HAS SOPS 711985 HAS SOUS 615080 HAS SOUPS 615080 WITH SCORE 615791.985
AT ITER 9230 NEW BEST:: SOT 4393419 SOS 711861 HAS SOPS 711861 HAS SOUS 614956 HAS SOUPS 614956 WITH SCORE 615667.861
AT ITER 9256 NEW BEST:: SOT 4393399 SOS 711821 HAS SOPS 711821 HAS SOUS 614916 HAS SOUPS 614916 WITH SCORE 615627.821
AT ITER 9258 NEW BEST:: SOT 4393236 SOS 711537 HAS SOPS 711537 HAS SOUS 614845 HAS SOUPS 614845 WITH SCORE 615556.537
AT ITER 9322 NEW BEST:: SOT 4393236 SOS 711458 HAS SOPS 711458 HAS SOUS 614766 HAS SOUPS 614766 WITH SCORE 615477.458
AT ITER 9363 NEW BEST:: SOT 4393052 SOS 711090 HAS SOPS 711090 HAS SOUS 614582 HAS SOUPS 614582 WITH SCORE 615293.09
AT ITER 9429 NEW BEST:: SOT 4393098 SOS 711182 HAS SOPS 711182 HAS SOUS 614553 HAS SOUPS 614553 WITH SCORE 615264.182
AT ITER 9441 NEW BEST:: SOT 4393071 SOS 711128 HAS SOPS 711128 HAS SOUS 614499 HAS SOUPS 614499 WITH SCORE 615210.128
AT ITER 9448 NEW BEST:: SOT 4392801 SOS 710588 HAS SOPS 710588 HAS SOUS 614256 HAS SOUPS 614256 WITH SCORE 614966.588
AT ITER 9465 NEW BEST:: SOT 4392749 SOS 710612 HAS SOPS 710612 HAS SOUS 614152 HAS SOUPS 614152 WITH SCORE 614862.612
AT ITER 9475 NEW BEST:: SOT 4392748 SOS 710610 HAS SOPS 710610 HAS SOUS 614151 HAS SOUPS 614151 WITH SCORE 614861.61
AT ITER 9492 NEW BEST:: SOT 4392599 SOS 710608 HAS SOPS 710608 HAS SOUS 614109 HAS SOUPS 614109 WITH SCORE 614819.608
AT ITER 9501 NEW BEST:: SOT 4392599 SOS 710607 HAS SOPS 710607 HAS SOUS 614108 HAS SOUPS 614108 WITH SCORE 614818.607
AT ITER 9512 NEW BEST:: SOT 4392598 SOS 710605 HAS SOPS 710605 HAS SOUS 614106 HAS SOUPS 614106 WITH SCORE 614816.605
AT ITER 9519 NEW BEST:: SOT 4392465 SOS 710339 HAS SOPS 710339 HAS SOUS 613840 HAS SOUPS 613840 WITH SCORE 614550.339
AT ITER 9548 NEW BEST:: SOT 4392377 SOS 710163 HAS SOPS 710163 HAS SOUS 613752 HAS SOUPS 613752 WITH SCORE 614462.163
AT ITER 9573 NEW BEST:: SOT 4392129 SOS 710067 HAS SOPS 710067 HAS SOUS 613523 HAS SOUPS 613523 WITH SCORE 614233.067
AT ITER 9605 NEW BEST:: SOT 4392090 SOS 710143 HAS SOPS 710143 HAS SOUS 613480 HAS SOUPS 613480 WITH SCORE 614190.143
AT ITER 9622 NEW BEST:: SOT 4391873 SOS 709709 HAS SOPS 709709 HAS SOUS 613263 HAS SOUPS 613263 WITH SCORE 613972.709
AT ITER 9642 NEW BEST:: SOT 4391873 SOS 709333 HAS SOPS 709333 HAS SOUS 613194 HAS SOUPS 613194 WITH SCORE 613903.333
AT ITER 9646 NEW BEST:: SOT 4391873 SOS 709141 HAS SOPS 709141 HAS SOUS 613002 HAS SOUPS 613002 WITH SCORE 613711.141
AT ITER 9657 NEW BEST:: SOT 4391855 SOS 709123 HAS SOPS 709123 HAS SOUS 612984 HAS SOUPS 612984 WITH SCORE 613693.123
AT ITER 9676 NEW BEST:: SOT 4391825 SOS 709063 HAS SOPS 709063 HAS SOUS 612924 HAS SOUPS 612924 WITH SCORE 613633.063
AT ITER 9728 NEW BEST:: SOT 4391803 SOS 709019 HAS SOPS 709019 HAS SOUS 612880 HAS SOUPS 612880 WITH SCORE 613589.019
AT ITER 9736 NEW BEST:: SOT 4391557 SOS 708773 HAS SOPS 708773 HAS SOUS 612663 HAS SOUPS 612663 WITH SCORE 613371.773
AT ITER 9759 NEW BEST:: SOT 4391522 SOS 708703 HAS SOPS 708703 HAS SOUS 612593 HAS SOUPS 612593 WITH SCORE 613301.703
AT ITER 9763 NEW BEST:: SOT 4391502 SOS 708663 HAS SOPS 708663 HAS SOUS 612553 HAS SOUPS 612553 WITH SCORE 613261.663
AT ITER 9777 NEW BEST:: SOT 4391469 SOS 708564 HAS SOPS 708564 HAS SOUS 612487 HAS SOUPS 612487 WITH SCORE 613195.564
AT ITER 9839 NEW BEST:: SOT 4391413 SOS 708452 HAS SOPS 708452 HAS SOUS 612431 HAS SOUPS 612431 WITH SCORE 613139.452
AT ITER 9858 NEW BEST:: SOT 4391270 SOS 708166 HAS SOPS 708166 HAS SOUS 612288 HAS SOUPS 612288 WITH SCORE 612996.166
AT ITER 9872 NEW BEST:: SOT 4391270 SOS 707992 HAS SOPS 707992 HAS SOUS 612181 HAS SOUPS 612181 WITH SCORE 612888.992
AT ITER 9873 NEW BEST:: SOT 4391194 SOS 707916 HAS SOPS 707916 HAS SOUS 612105 HAS SOUPS 612105 WITH SCORE 612812.916
AT ITER 9879 NEW BEST:: SOT 4390995 SOS 707319 HAS SOPS 707319 HAS SOUS 611512 HAS SOUPS 611512 WITH SCORE 612219.319
AT ITER 9880 NEW BEST:: SOT 4390871 SOS 707129 HAS SOPS 707129 HAS SOUS 611388 HAS SOUPS 611388 WITH SCORE 612095.129
AT ITER 9904 NEW BEST:: SOT 4390682 SOS 706978 HAS SOPS 706978 HAS SOUS 611245 HAS SOUPS 611245 WITH SCORE 611951.978
AT ITER 9912 NEW BEST:: SOT 4390642 SOS 706898 HAS SOPS 706898 HAS SOUS 611205 HAS SOUPS 611205 WITH SCORE 611911.898
AT ITER 9931 NEW BEST:: SOT 4390642 SOS 706876 HAS SOPS 706876 HAS SOUS 611183 HAS SOUPS 611183 WITH SCORE 611889.876
AT ITER 9933 NEW BEST:: SOT 4390596 SOS 706784 HAS SOPS 706784 HAS SOUS 611091 HAS SOUPS 611091 WITH SCORE 611797.784
AT ITER 9952 NEW BEST:: SOT 4390531 SOS 706294 HAS SOPS 706294 HAS SOUS 610949 HAS SOUPS 610949 WITH SCORE 611655.294
AT ITER 9953 NEW BEST:: SOT 4390511 SOS 706294 HAS SOPS 706294 HAS SOUS 610909 HAS SOUPS 610909 WITH SCORE 611615.294
AT ITER 9998 NEW BEST:: SOT 4390467 SOS 706206 HAS SOPS 706206 HAS SOUS 610821 HAS SOUPS 610821 WITH SCORE 611527.206
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 13141552 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16154868 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-306"
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-306, 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-167814471900048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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