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-158902541700104.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-313, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 3.0K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.5K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K 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.4K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K 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 1589095464268

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 313
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 744561 HAS SOPS 744561 HAS SOUS 686887 HAS SOUPS 686887 WITH SCORE 687631.561
AT ITER 26 NEW BEST:: SOT 4448364 SOS 744250 HAS SOPS 744250 HAS SOUS 686580 HAS SOUPS 686580 WITH SCORE 687324.25
AT ITER 30 NEW BEST:: SOT 4447809 SOS 743694 HAS SOPS 743694 HAS SOUS 686024 HAS SOUPS 686024 WITH SCORE 686767.694
AT ITER 56 NEW BEST:: SOT 4447809 SOS 743694 HAS SOPS 743694 HAS SOUS 685918 HAS SOUPS 685918 WITH SCORE 686661.694
AT ITER 67 NEW BEST:: SOT 4447752 SOS 743688 HAS SOPS 743688 HAS SOUS 685912 HAS SOUPS 685912 WITH SCORE 686655.688
AT ITER 77 NEW BEST:: SOT 4447315 SOS 744364 HAS SOPS 744364 HAS SOUS 685783 HAS SOUPS 685783 WITH SCORE 686527.364
AT ITER 86 NEW BEST:: SOT 4447148 SOS 744976 HAS SOPS 744976 HAS SOUS 685756 HAS SOUPS 685756 WITH SCORE 686500.976
AT ITER 97 NEW BEST:: SOT 4447063 SOS 744721 HAS SOPS 744721 HAS SOUS 685586 HAS SOUPS 685586 WITH SCORE 686330.721
AT ITER 110 NEW BEST:: SOT 4446941 SOS 744477 HAS SOPS 744477 HAS SOUS 685342 HAS SOUPS 685342 WITH SCORE 686086.477
AT ITER 129 NEW BEST:: SOT 4446941 SOS 744349 HAS SOPS 744349 HAS SOUS 685341 HAS SOUPS 685341 WITH SCORE 686085.349
AT ITER 187 NEW BEST:: SOT 4446296 SOS 744459 HAS SOPS 744459 HAS SOUS 685046 HAS SOUPS 685046 WITH SCORE 685790.459
AT ITER 227 NEW BEST:: SOT 4446089 SOS 744307 HAS SOPS 744307 HAS SOUS 684839 HAS SOUPS 684839 WITH SCORE 685583.307
AT ITER 228 NEW BEST:: SOT 4446089 SOS 744307 HAS SOPS 744307 HAS SOUS 684838 HAS SOUPS 684838 WITH SCORE 685582.307
AT ITER 234 NEW BEST:: SOT 4442553 SOS 742901 HAS SOPS 742901 HAS SOUS 681782 HAS SOUPS 681782 WITH SCORE 682524.901
AT ITER 300 NEW BEST:: SOT 4442553 SOS 742901 HAS SOPS 742901 HAS SOUS 681781 HAS SOUPS 681781 WITH SCORE 682523.901
AT ITER 335 NEW BEST:: SOT 4442541 SOS 742877 HAS SOPS 742877 HAS SOUS 681757 HAS SOUPS 681757 WITH SCORE 682499.877
AT ITER 347 NEW BEST:: SOT 4442541 SOS 742877 HAS SOPS 742877 HAS SOUS 681694 HAS SOUPS 681694 WITH SCORE 682436.877
AT ITER 348 NEW BEST:: SOT 4442503 SOS 742839 HAS SOPS 742839 HAS SOUS 681618 HAS SOUPS 681618 WITH SCORE 682360.839
AT ITER 349 NEW BEST:: SOT 4442473 SOS 742779 HAS SOPS 742779 HAS SOUS 681558 HAS SOUPS 681558 WITH SCORE 682300.779
AT ITER 350 NEW BEST:: SOT 4442473 SOS 742779 HAS SOPS 742779 HAS SOUS 681420 HAS SOUPS 681420 WITH SCORE 682162.779
AT ITER 362 NEW BEST:: SOT 4442463 SOS 742539 HAS SOPS 742539 HAS SOUS 681190 HAS SOUPS 681190 WITH SCORE 681932.539
AT ITER 381 NEW BEST:: SOT 4442328 SOS 742035 HAS SOPS 742035 HAS SOUS 680745 HAS SOUPS 680745 WITH SCORE 681487.035
AT ITER 386 NEW BEST:: SOT 4442328 SOS 741894 HAS SOPS 741894 HAS SOUS 680604 HAS SOUPS 680604 WITH SCORE 681345.894
AT ITER 396 NEW BEST:: SOT 4442403 SOS 742044 HAS SOPS 742044 HAS SOUS 680443 HAS SOUPS 680443 WITH SCORE 681185.044
AT ITER 397 NEW BEST:: SOT 4442414 SOS 742066 HAS SOPS 742066 HAS SOUS 680420 HAS SOUPS 680420 WITH SCORE 681162.066
AT ITER 403 NEW BEST:: SOT 4442414 SOS 742066 HAS SOPS 742066 HAS SOUS 680381 HAS SOUPS 680381 WITH SCORE 681123.066
AT ITER 443 NEW BEST:: SOT 4440761 SOS 762350 HAS SOPS 762350 HAS SOUS 680058 HAS SOUPS 680058 WITH SCORE 680820.35
AT ITER 451 NEW BEST:: SOT 4440509 SOS 762182 HAS SOPS 762182 HAS SOUS 679806 HAS SOUPS 679806 WITH SCORE 680568.182
AT ITER 461 NEW BEST:: SOT 4440358 SOS 761880 HAS SOPS 761880 HAS SOUS 679548 HAS SOUPS 679548 WITH SCORE 680309.88
AT ITER 473 NEW BEST:: SOT 4440358 SOS 761811 HAS SOPS 761811 HAS SOUS 679479 HAS SOUPS 679479 WITH SCORE 680240.811
AT ITER 519 NEW BEST:: SOT 4440174 SOS 761725 HAS SOPS 761725 HAS SOUS 679328 HAS SOUPS 679328 WITH SCORE 680089.725
AT ITER 525 NEW BEST:: SOT 4440105 SOS 761711 HAS SOPS 761711 HAS SOUS 679299 HAS SOUPS 679299 WITH SCORE 680060.711
AT ITER 533 NEW BEST:: SOT 4440105 SOS 761503 HAS SOPS 761503 HAS SOUS 679299 HAS SOUPS 679299 WITH SCORE 680060.503
AT ITER 575 NEW BEST:: SOT 4439984 SOS 761261 HAS SOPS 761261 HAS SOUS 679057 HAS SOUPS 679057 WITH SCORE 679818.261
AT ITER 609 NEW BEST:: SOT 4439734 SOS 761011 HAS SOPS 761011 HAS SOUS 678807 HAS SOUPS 678807 WITH SCORE 679568.011
AT ITER 628 NEW BEST:: SOT 4439662 SOS 760541 HAS SOPS 760541 HAS SOUS 678396 HAS SOUPS 678396 WITH SCORE 679156.541
AT ITER 634 NEW BEST:: SOT 4439528 SOS 760273 HAS SOPS 760273 HAS SOUS 678128 HAS SOUPS 678128 WITH SCORE 678888.273
AT ITER 681 NEW BEST:: SOT 4433098 SOS 766503 HAS SOPS 766503 HAS SOUS 672391 HAS SOUPS 672391 WITH SCORE 673157.503
AT ITER 687 NEW BEST:: SOT 4433098 SOS 766197 HAS SOPS 766197 HAS SOUS 672391 HAS SOUPS 672391 WITH SCORE 673157.197
AT ITER 697 NEW BEST:: SOT 4432373 SOS 765287 HAS SOPS 765287 HAS SOUS 671418 HAS SOUPS 671418 WITH SCORE 672183.287
AT ITER 705 NEW BEST:: SOT 4432255 SOS 765051 HAS SOPS 765051 HAS SOUS 671168 HAS SOUPS 671168 WITH SCORE 671933.051
AT ITER 717 NEW BEST:: SOT 4432416 SOS 765029 HAS SOPS 765029 HAS SOUS 671155 HAS SOUPS 671155 WITH SCORE 671920.029
AT ITER 728 NEW BEST:: SOT 4432416 SOS 764984 HAS SOPS 764984 HAS SOUS 671155 HAS SOUPS 671155 WITH SCORE 671919.984
AT ITER 734 NEW BEST:: SOT 4432329 SOS 765356 HAS SOPS 765356 HAS SOUS 671148 HAS SOUPS 671148 WITH SCORE 671913.356
AT ITER 775 NEW BEST:: SOT 4432071 SOS 765184 HAS SOPS 765184 HAS SOUS 670890 HAS SOUPS 670890 WITH SCORE 671655.184
AT ITER 788 NEW BEST:: SOT 4432012 SOS 765066 HAS SOPS 765066 HAS SOUS 670772 HAS SOUPS 670772 WITH SCORE 671537.066
AT ITER 800 NEW BEST:: SOT 4431957 SOS 764956 HAS SOPS 764956 HAS SOUS 670717 HAS SOUPS 670717 WITH SCORE 671481.956
AT ITER 804 NEW BEST:: SOT 4431895 SOS 764928 HAS SOPS 764928 HAS SOUS 670689 HAS SOUPS 670689 WITH SCORE 671453.928
AT ITER 807 NEW BEST:: SOT 4431895 SOS 764928 HAS SOPS 764928 HAS SOUS 670686 HAS SOUPS 670686 WITH SCORE 671450.928
AT ITER 836 NEW BEST:: SOT 4431657 SOS 764452 HAS SOPS 764452 HAS SOUS 670210 HAS SOUPS 670210 WITH SCORE 670974.452
AT ITER 859 NEW BEST:: SOT 4431657 SOS 764199 HAS SOPS 764199 HAS SOUS 670210 HAS SOUPS 670210 WITH SCORE 670974.199
AT ITER 864 NEW BEST:: SOT 4431535 SOS 763955 HAS SOPS 763955 HAS SOUS 670027 HAS SOUPS 670027 WITH SCORE 670790.955
AT ITER 867 NEW BEST:: SOT 4431535 SOS 763880 HAS SOPS 763880 HAS SOUS 670027 HAS SOUPS 670027 WITH SCORE 670790.88
AT ITER 943 NEW BEST:: SOT 4431597 SOS 763806 HAS SOPS 763806 HAS SOUS 669953 HAS SOUPS 669953 WITH SCORE 670716.806
AT ITER 966 NEW BEST:: SOT 4431306 SOS 763719 HAS SOPS 763719 HAS SOUS 669592 HAS SOUPS 669592 WITH SCORE 670355.719
AT ITER 972 NEW BEST:: SOT 4431305 SOS 763717 HAS SOPS 763717 HAS SOUS 669590 HAS SOUPS 669590 WITH SCORE 670353.717
AT ITER 981 NEW BEST:: SOT 4430968 SOS 763043 HAS SOPS 763043 HAS SOUS 668916 HAS SOUPS 668916 WITH SCORE 669679.043
AT ITER 1031 NEW BEST:: SOT 4430828 SOS 762903 HAS SOPS 762903 HAS SOUS 668776 HAS SOUPS 668776 WITH SCORE 669538.903
AT ITER 1032 NEW BEST:: SOT 4430151 SOS 761908 HAS SOPS 761908 HAS SOUS 667740 HAS SOUPS 667740 WITH SCORE 668501.908
AT ITER 1038 NEW BEST:: SOT 4430088 SOS 761858 HAS SOPS 761858 HAS SOUS 667690 HAS SOUPS 667690 WITH SCORE 668451.858
AT ITER 1043 NEW BEST:: SOT 4430118 SOS 761302 HAS SOPS 761302 HAS SOUS 667412 HAS SOUPS 667412 WITH SCORE 668173.302
AT ITER 1065 NEW BEST:: SOT 4430194 SOS 761454 HAS SOPS 761454 HAS SOUS 667311 HAS SOUPS 667311 WITH SCORE 668072.454
AT ITER 1096 NEW BEST:: SOT 4430194 SOS 761132 HAS SOPS 761132 HAS SOUS 667311 HAS SOUPS 667311 WITH SCORE 668072.132
AT ITER 1113 NEW BEST:: SOT 4430194 SOS 760990 HAS SOPS 760990 HAS SOUS 667311 HAS SOUPS 667311 WITH SCORE 668071.99
AT ITER 1122 NEW BEST:: SOT 4429368 SOS 760164 HAS SOPS 760164 HAS SOUS 666485 HAS SOUPS 666485 WITH SCORE 667245.164
AT ITER 1134 NEW BEST:: SOT 4429297 SOS 759773 HAS SOPS 759773 HAS SOUS 666343 HAS SOUPS 666343 WITH SCORE 667102.773
AT ITER 1152 NEW BEST:: SOT 4428937 SOS 759462 HAS SOPS 759462 HAS SOUS 665748 HAS SOUPS 665748 WITH SCORE 666507.462
AT ITER 1153 NEW BEST:: SOT 4428867 SOS 759322 HAS SOPS 759322 HAS SOUS 665608 HAS SOUPS 665608 WITH SCORE 666367.322
AT ITER 1156 NEW BEST:: SOT 4428866 SOS 759320 HAS SOPS 759320 HAS SOUS 665606 HAS SOUPS 665606 WITH SCORE 666365.32
AT ITER 1178 NEW BEST:: SOT 4428865 SOS 758961 HAS SOPS 758961 HAS SOUS 665604 HAS SOUPS 665604 WITH SCORE 666362.961
AT ITER 1203 NEW BEST:: SOT 4428858 SOS 759079 HAS SOPS 759079 HAS SOUS 665597 HAS SOUPS 665597 WITH SCORE 666356.079
AT ITER 1210 NEW BEST:: SOT 4428881 SOS 758693 HAS SOPS 758693 HAS SOUS 665321 HAS SOUPS 665321 WITH SCORE 666079.693
AT ITER 1211 NEW BEST:: SOT 4428726 SOS 758497 HAS SOPS 758497 HAS SOUS 665052 HAS SOUPS 665052 WITH SCORE 665810.497
AT ITER 1213 NEW BEST:: SOT 4428726 SOS 758347 HAS SOPS 758347 HAS SOUS 664977 HAS SOUPS 664977 WITH SCORE 665735.347
AT ITER 1228 NEW BEST:: SOT 4428720 SOS 758335 HAS SOPS 758335 HAS SOUS 664971 HAS SOUPS 664971 WITH SCORE 665729.335
AT ITER 1274 NEW BEST:: SOT 4428760 SOS 757920 HAS SOPS 757920 HAS SOUS 664774 HAS SOUPS 664774 WITH SCORE 665531.92
AT ITER 1287 NEW BEST:: SOT 4428751 SOS 757902 HAS SOPS 757902 HAS SOUS 664756 HAS SOUPS 664756 WITH SCORE 665513.902
AT ITER 1291 NEW BEST:: SOT 4428658 SOS 757716 HAS SOPS 757716 HAS SOUS 664708 HAS SOUPS 664708 WITH SCORE 665465.716
AT ITER 1300 NEW BEST:: SOT 4427158 SOS 757591 HAS SOPS 757591 HAS SOUS 663629 HAS SOUPS 663629 WITH SCORE 664386.591
AT ITER 1304 NEW BEST:: SOT 4427269 SOS 757813 HAS SOPS 757813 HAS SOUS 663374 HAS SOUPS 663374 WITH SCORE 664131.813
AT ITER 1312 NEW BEST:: SOT 4427233 SOS 757741 HAS SOPS 757741 HAS SOUS 663302 HAS SOUPS 663302 WITH SCORE 664059.741
AT ITER 1331 NEW BEST:: SOT 4427166 SOS 757642 HAS SOPS 757642 HAS SOUS 663200 HAS SOUPS 663200 WITH SCORE 663957.642
AT ITER 1342 NEW BEST:: SOT 4427012 SOS 757334 HAS SOPS 757334 HAS SOUS 662735 HAS SOUPS 662735 WITH SCORE 663492.334
AT ITER 1344 NEW BEST:: SOT 4426838 SOS 757318 HAS SOPS 757318 HAS SOUS 662561 HAS SOUPS 662561 WITH SCORE 663318.318
AT ITER 1355 NEW BEST:: SOT 4426808 SOS 757318 HAS SOPS 757318 HAS SOUS 662548 HAS SOUPS 662548 WITH SCORE 663305.318
AT ITER 1366 NEW BEST:: SOT 4426883 SOS 757468 HAS SOPS 757468 HAS SOUS 662369 HAS SOUPS 662369 WITH SCORE 663126.468
AT ITER 1370 NEW BEST:: SOT 4426883 SOS 757468 HAS SOPS 757468 HAS SOUS 662323 HAS SOUPS 662323 WITH SCORE 663080.468
AT ITER 1378 NEW BEST:: SOT 4426408 SOS 756993 HAS SOPS 756993 HAS SOUS 661848 HAS SOUPS 661848 WITH SCORE 662604.993
AT ITER 1383 NEW BEST:: SOT 4426408 SOS 756924 HAS SOPS 756924 HAS SOUS 661848 HAS SOUPS 661848 WITH SCORE 662604.924
AT ITER 1403 NEW BEST:: SOT 4426378 SOS 756864 HAS SOPS 756864 HAS SOUS 661788 HAS SOUPS 661788 WITH SCORE 662544.864
AT ITER 1408 NEW BEST:: SOT 4426372 SOS 756852 HAS SOPS 756852 HAS SOUS 661776 HAS SOUPS 661776 WITH SCORE 662532.852
AT ITER 1412 NEW BEST:: SOT 4426230 SOS 756639 HAS SOPS 756639 HAS SOUS 661563 HAS SOUPS 661563 WITH SCORE 662319.639
AT ITER 1419 NEW BEST:: SOT 4426181 SOS 756541 HAS SOPS 756541 HAS SOUS 661465 HAS SOUPS 661465 WITH SCORE 662221.541
AT ITER 1438 NEW BEST:: SOT 4426005 SOS 756189 HAS SOPS 756189 HAS SOUS 661338 HAS SOUPS 661338 WITH SCORE 662094.189
AT ITER 1443 NEW BEST:: SOT 4425983 SOS 756145 HAS SOPS 756145 HAS SOUS 661316 HAS SOUPS 661316 WITH SCORE 662072.145
AT ITER 1455 NEW BEST:: SOT 4426038 SOS 756002 HAS SOPS 756002 HAS SOUS 661173 HAS SOUPS 661173 WITH SCORE 661929.002
AT ITER 1456 NEW BEST:: SOT 4426120 SOS 755696 HAS SOPS 755696 HAS SOUS 660867 HAS SOUPS 660867 WITH SCORE 661622.696
AT ITER 1470 NEW BEST:: SOT 4426015 SOS 755486 HAS SOPS 755486 HAS SOUS 660524 HAS SOUPS 660524 WITH SCORE 661279.486
AT ITER 1482 NEW BEST:: SOT 4425805 SOS 755066 HAS SOPS 755066 HAS SOUS 660104 HAS SOUPS 660104 WITH SCORE 660859.066
AT ITER 1484 NEW BEST:: SOT 4425805 SOS 755066 HAS SOPS 755066 HAS SOUS 660035 HAS SOUPS 660035 WITH SCORE 660790.066
AT ITER 1490 NEW BEST:: SOT 4425914 SOS 754976 HAS SOPS 754976 HAS SOUS 659951 HAS SOUPS 659951 WITH SCORE 660705.976
AT ITER 1503 NEW BEST:: SOT 4425131 SOS 754574 HAS SOPS 754574 HAS SOUS 659459 HAS SOUPS 659459 WITH SCORE 660213.574
AT ITER 1545 NEW BEST:: SOT 4425121 SOS 754554 HAS SOPS 754554 HAS SOUS 659439 HAS SOUPS 659439 WITH SCORE 660193.554
AT ITER 1573 NEW BEST:: SOT 4425118 SOS 754548 HAS SOPS 754548 HAS SOUS 659436 HAS SOUPS 659436 WITH SCORE 660190.548
AT ITER 1640 NEW BEST:: SOT 4424176 SOS 754114 HAS SOPS 754114 HAS SOUS 658817 HAS SOUPS 658817 WITH SCORE 659571.114
AT ITER 1660 NEW BEST:: SOT 4424150 SOS 754062 HAS SOPS 754062 HAS SOUS 658791 HAS SOUPS 658791 WITH SCORE 659545.062
AT ITER 1674 NEW BEST:: SOT 4424189 SOS 754140 HAS SOPS 754140 HAS SOUS 658601 HAS SOUPS 658601 WITH SCORE 659355.14
AT ITER 1691 NEW BEST:: SOT 4424189 SOS 753927 HAS SOPS 753927 HAS SOUS 658600 HAS SOUPS 658600 WITH SCORE 659353.927
AT ITER 1704 NEW BEST:: SOT 4424009 SOS 753312 HAS SOPS 753312 HAS SOUS 658165 HAS SOUPS 658165 WITH SCORE 658918.312
AT ITER 1809 NEW BEST:: SOT 4422972 SOS 754745 HAS SOPS 754745 HAS SOUS 657886 HAS SOUPS 657886 WITH SCORE 658640.745
AT ITER 1840 NEW BEST:: SOT 4422675 SOS 754517 HAS SOPS 754517 HAS SOUS 657658 HAS SOUPS 657658 WITH SCORE 658412.517
AT ITER 1858 NEW BEST:: SOT 4422675 SOS 754470 HAS SOPS 754470 HAS SOUS 657658 HAS SOUPS 657658 WITH SCORE 658412.47
AT ITER 1878 NEW BEST:: SOT 4422504 SOS 754460 HAS SOPS 754460 HAS SOUS 657486 HAS SOUPS 657486 WITH SCORE 658240.46
AT ITER 1898 NEW BEST:: SOT 4422500 SOS 754452 HAS SOPS 754452 HAS SOUS 657478 HAS SOUPS 657478 WITH SCORE 658232.452
AT ITER 1903 NEW BEST:: SOT 4422499 SOS 754215 HAS SOPS 754215 HAS SOUS 657476 HAS SOUPS 657476 WITH SCORE 658230.215
AT ITER 1923 NEW BEST:: SOT 4422499 SOS 754101 HAS SOPS 754101 HAS SOUS 657476 HAS SOUPS 657476 WITH SCORE 658230.101
AT ITER 1960 NEW BEST:: SOT 4422499 SOS 754065 HAS SOPS 754065 HAS SOUS 657464 HAS SOUPS 657464 WITH SCORE 658218.065
AT ITER 1971 NEW BEST:: SOT 4422412 SOS 753978 HAS SOPS 753978 HAS SOUS 657377 HAS SOUPS 657377 WITH SCORE 658130.978
AT ITER 2000 NEW BEST:: SOT 4422412 SOS 753825 HAS SOPS 753825 HAS SOUS 657376 HAS SOUPS 657376 WITH SCORE 658129.825
AT ITER 2028 NEW BEST:: SOT 4420352 SOS 796157 HAS SOPS 796157 HAS SOUS 657121 HAS SOUPS 657121 WITH SCORE 657917.157
AT ITER 2105 NEW BEST:: SOT 4420351 SOS 796156 HAS SOPS 796156 HAS SOUS 657119 HAS SOUPS 657119 WITH SCORE 657915.156
AT ITER 2106 NEW BEST:: SOT 4420297 SOS 796048 HAS SOPS 796048 HAS SOUS 657011 HAS SOUPS 657011 WITH SCORE 657807.048
AT ITER 2111 NEW BEST:: SOT 4420047 SOS 795548 HAS SOPS 795548 HAS SOUS 656763 HAS SOUPS 656763 WITH SCORE 657558.548
AT ITER 2112 NEW BEST:: SOT 4420063 SOS 795580 HAS SOPS 795580 HAS SOUS 656557 HAS SOUPS 656557 WITH SCORE 657352.58
AT ITER 2123 NEW BEST:: SOT 4420062 SOS 795509 HAS SOPS 795509 HAS SOUS 656555 HAS SOUPS 656555 WITH SCORE 657350.509
AT ITER 2140 NEW BEST:: SOT 4420184 SOS 795405 HAS SOPS 795405 HAS SOUS 656544 HAS SOUPS 656544 WITH SCORE 657339.405
AT ITER 2152 NEW BEST:: SOT 4419978 SOS 795199 HAS SOPS 795199 HAS SOUS 656338 HAS SOUPS 656338 WITH SCORE 657133.199
AT ITER 2153 NEW BEST:: SOT 4419978 SOS 795199 HAS SOPS 795199 HAS SOUS 656241 HAS SOUPS 656241 WITH SCORE 657036.199
AT ITER 2154 NEW BEST:: SOT 4419948 SOS 795169 HAS SOPS 795169 HAS SOUS 656211 HAS SOUPS 656211 WITH SCORE 657006.169
AT ITER 2187 NEW BEST:: SOT 4419784 SOS 795981 HAS SOPS 795981 HAS SOUS 655733 HAS SOUPS 655733 WITH SCORE 656528.981
AT ITER 2209 NEW BEST:: SOT 4419693 SOS 795916 HAS SOPS 795916 HAS SOUS 655668 HAS SOUPS 655668 WITH SCORE 656463.916
AT ITER 2227 NEW BEST:: SOT 4419692 SOS 795881 HAS SOPS 795881 HAS SOUS 655667 HAS SOUPS 655667 WITH SCORE 656462.881
AT ITER 2238 NEW BEST:: SOT 4419537 SOS 795357 HAS SOPS 795357 HAS SOUS 655200 HAS SOUPS 655200 WITH SCORE 655995.357
AT ITER 2258 NEW BEST:: SOT 4419220 SOS 795045 HAS SOPS 795045 HAS SOUS 654883 HAS SOUPS 654883 WITH SCORE 655678.045
AT ITER 2296 NEW BEST:: SOT 4419167 SOS 794939 HAS SOPS 794939 HAS SOUS 654777 HAS SOUPS 654777 WITH SCORE 655571.939
AT ITER 2318 NEW BEST:: SOT 4419050 SOS 794833 HAS SOPS 794833 HAS SOUS 654666 HAS SOUPS 654666 WITH SCORE 655460.833
AT ITER 2332 NEW BEST:: SOT 4418897 SOS 794728 HAS SOPS 794728 HAS SOUS 654513 HAS SOUPS 654513 WITH SCORE 655307.728
AT ITER 2341 NEW BEST:: SOT 4418422 SOS 794426 HAS SOPS 794426 HAS SOUS 654046 HAS SOUPS 654046 WITH SCORE 654840.426
AT ITER 2347 NEW BEST:: SOT 4417636 SOS 793408 HAS SOPS 793408 HAS SOUS 652993 HAS SOUPS 652993 WITH SCORE 653786.408
AT ITER 2370 NEW BEST:: SOT 4417636 SOS 792937 HAS SOPS 792937 HAS SOUS 652993 HAS SOUPS 652993 WITH SCORE 653785.937
AT ITER 2372 NEW BEST:: SOT 4417538 SOS 792601 HAS SOPS 792601 HAS SOUS 652781 HAS SOUPS 652781 WITH SCORE 653573.601
AT ITER 2387 NEW BEST:: SOT 4417375 SOS 792224 HAS SOPS 792224 HAS SOUS 652298 HAS SOUPS 652298 WITH SCORE 653090.224
AT ITER 2400 NEW BEST:: SOT 4417337 SOS 792148 HAS SOPS 792148 HAS SOUS 652222 HAS SOUPS 652222 WITH SCORE 653014.148
AT ITER 2419 NEW BEST:: SOT 4417279 SOS 792112 HAS SOPS 792112 HAS SOUS 652180 HAS SOUPS 652180 WITH SCORE 652972.112
AT ITER 2483 NEW BEST:: SOT 4417486 SOS 791716 HAS SOPS 791716 HAS SOUS 652117 HAS SOUPS 652117 WITH SCORE 652908.716
AT ITER 2496 NEW BEST:: SOT 4417415 SOS 791716 HAS SOPS 791716 HAS SOUS 652046 HAS SOUPS 652046 WITH SCORE 652837.716
AT ITER 2509 NEW BEST:: SOT 4417451 SOS 790992 HAS SOPS 790992 HAS SOUS 651883 HAS SOUPS 651883 WITH SCORE 652673.992
AT ITER 2582 NEW BEST:: SOT 4417265 SOS 790620 HAS SOPS 790620 HAS SOUS 651697 HAS SOUPS 651697 WITH SCORE 652487.62
AT ITER 2613 NEW BEST:: SOT 4417033 SOS 790388 HAS SOPS 790388 HAS SOUS 651465 HAS SOUPS 651465 WITH SCORE 652255.388
AT ITER 2632 NEW BEST:: SOT 4416982 SOS 788582 HAS SOPS 788582 HAS SOUS 651282 HAS SOUPS 651282 WITH SCORE 652070.582
AT ITER 2642 NEW BEST:: SOT 4417023 SOS 788664 HAS SOPS 788664 HAS SOUS 651220 HAS SOUPS 651220 WITH SCORE 652008.664
AT ITER 2649 NEW BEST:: SOT 4416807 SOS 788232 HAS SOPS 788232 HAS SOUS 650975 HAS SOUPS 650975 WITH SCORE 651763.232
AT ITER 2669 NEW BEST:: SOT 4416807 SOS 788093 HAS SOPS 788093 HAS SOUS 650836 HAS SOUPS 650836 WITH SCORE 651624.093
AT ITER 2709 NEW BEST:: SOT 4416806 SOS 788091 HAS SOPS 788091 HAS SOUS 650834 HAS SOUPS 650834 WITH SCORE 651622.091
AT ITER 2736 NEW BEST:: SOT 4416735 SOS 788053 HAS SOPS 788053 HAS SOUS 650763 HAS SOUPS 650763 WITH SCORE 651551.053
AT ITER 2739 NEW BEST:: SOT 4416749 SOS 787629 HAS SOPS 787629 HAS SOUS 650453 HAS SOUPS 650453 WITH SCORE 651240.629
AT ITER 2743 NEW BEST:: SOT 4416338 SOS 787218 HAS SOPS 787218 HAS SOUS 650020 HAS SOUPS 650020 WITH SCORE 650807.218
AT ITER 2745 NEW BEST:: SOT 4416338 SOS 787001 HAS SOPS 787001 HAS SOUS 649808 HAS SOUPS 649808 WITH SCORE 650595.001
AT ITER 2756 NEW BEST:: SOT 4416291 SOS 787265 HAS SOPS 787265 HAS SOUS 649761 HAS SOUPS 649761 WITH SCORE 650548.265
AT ITER 2767 NEW BEST:: SOT 4416141 SOS 786965 HAS SOPS 786965 HAS SOUS 649461 HAS SOUPS 649461 WITH SCORE 650247.965
AT ITER 2799 NEW BEST:: SOT 4415876 SOS 786435 HAS SOPS 786435 HAS SOUS 648931 HAS SOUPS 648931 WITH SCORE 649717.435
AT ITER 2808 NEW BEST:: SOT 4415787 SOS 786257 HAS SOPS 786257 HAS SOUS 648753 HAS SOUPS 648753 WITH SCORE 649539.257
AT ITER 2814 NEW BEST:: SOT 4415780 SOS 786243 HAS SOPS 786243 HAS SOUS 648715 HAS SOUPS 648715 WITH SCORE 649501.243
AT ITER 2817 NEW BEST:: SOT 4415608 SOS 785899 HAS SOPS 785899 HAS SOUS 648371 HAS SOUPS 648371 WITH SCORE 649156.899
AT ITER 2818 NEW BEST:: SOT 4415608 SOS 785899 HAS SOPS 785899 HAS SOUS 648370 HAS SOUPS 648370 WITH SCORE 649155.899
AT ITER 2826 NEW BEST:: SOT 4415345 SOS 785903 HAS SOPS 785903 HAS SOUS 648154 HAS SOUPS 648154 WITH SCORE 648939.903
AT ITER 2861 NEW BEST:: SOT 4415338 SOS 785889 HAS SOPS 785889 HAS SOUS 648147 HAS SOUPS 648147 WITH SCORE 648932.889
AT ITER 2874 NEW BEST:: SOT 4415345 SOS 785896 HAS SOPS 785896 HAS SOUS 648046 HAS SOUPS 648046 WITH SCORE 648831.896
AT ITER 2889 NEW BEST:: SOT 4415344 SOS 785894 HAS SOPS 785894 HAS SOUS 648044 HAS SOUPS 648044 WITH SCORE 648829.894
AT ITER 2894 NEW BEST:: SOT 4415333 SOS 785521 HAS SOPS 785521 HAS SOUS 647915 HAS SOUPS 647915 WITH SCORE 648700.521
AT ITER 2910 NEW BEST:: SOT 4415139 SOS 785133 HAS SOPS 785133 HAS SOUS 647527 HAS SOUPS 647527 WITH SCORE 648312.133
AT ITER 2913 NEW BEST:: SOT 4414924 SOS 784962 HAS SOPS 784962 HAS SOUS 647337 HAS SOUPS 647337 WITH SCORE 648121.962
AT ITER 2918 NEW BEST:: SOT 4414734 SOS 784772 HAS SOPS 784772 HAS SOUS 647147 HAS SOUPS 647147 WITH SCORE 647931.772
AT ITER 2934 NEW BEST:: SOT 4414478 SOS 784260 HAS SOPS 784260 HAS SOUS 646635 HAS SOUPS 646635 WITH SCORE 647419.26
AT ITER 2946 NEW BEST:: SOT 4414236 SOS 783776 HAS SOPS 783776 HAS SOUS 646423 HAS SOUPS 646423 WITH SCORE 647206.776
AT ITER 2958 NEW BEST:: SOT 4413843 SOS 782990 HAS SOPS 782990 HAS SOUS 646030 HAS SOUPS 646030 WITH SCORE 646812.99
AT ITER 2966 NEW BEST:: SOT 4413692 SOS 782508 HAS SOPS 782508 HAS SOUS 645584 HAS SOUPS 645584 WITH SCORE 646366.508
AT ITER 2971 NEW BEST:: SOT 4413692 SOS 782456 HAS SOPS 782456 HAS SOUS 645532 HAS SOUPS 645532 WITH SCORE 646314.456
AT ITER 2976 NEW BEST:: SOT 4413692 SOS 782392 HAS SOPS 782392 HAS SOUS 645532 HAS SOUPS 645532 WITH SCORE 646314.392
AT ITER 2986 NEW BEST:: SOT 4413664 SOS 782336 HAS SOPS 782336 HAS SOUS 645532 HAS SOUPS 645532 WITH SCORE 646314.336
AT ITER 2998 NEW BEST:: SOT 4413650 SOS 782308 HAS SOPS 782308 HAS SOUS 645504 HAS SOUPS 645504 WITH SCORE 646286.308
AT ITER 3015 NEW BEST:: SOT 4413650 SOS 782221 HAS SOPS 782221 HAS SOUS 645504 HAS SOUPS 645504 WITH SCORE 646286.221
AT ITER 3041 NEW BEST:: SOT 4413649 SOS 782088 HAS SOPS 782088 HAS SOUS 645436 HAS SOUPS 645436 WITH SCORE 646218.088
AT ITER 3062 NEW BEST:: SOT 4413648 SOS 781533 HAS SOPS 781533 HAS SOUS 645157 HAS SOUPS 645157 WITH SCORE 645938.533
AT ITER 3073 NEW BEST:: SOT 4413675 SOS 781303 HAS SOPS 781303 HAS SOUS 645042 HAS SOUPS 645042 WITH SCORE 645823.303
AT ITER 3081 NEW BEST:: SOT 4413675 SOS 781152 HAS SOPS 781152 HAS SOUS 644891 HAS SOUPS 644891 WITH SCORE 645672.152
AT ITER 3101 NEW BEST:: SOT 4413572 SOS 780946 HAS SOPS 780946 HAS SOUS 644788 HAS SOUPS 644788 WITH SCORE 645568.946
AT ITER 3128 NEW BEST:: SOT 4413572 SOS 780944 HAS SOPS 780944 HAS SOUS 644786 HAS SOUPS 644786 WITH SCORE 645566.944
AT ITER 3134 NEW BEST:: SOT 4413524 SOS 780848 HAS SOPS 780848 HAS SOUS 644690 HAS SOUPS 644690 WITH SCORE 645470.848
AT ITER 3144 NEW BEST:: SOT 4413478 SOS 780756 HAS SOPS 780756 HAS SOUS 644644 HAS SOUPS 644644 WITH SCORE 645424.756
AT ITER 3151 NEW BEST:: SOT 4413477 SOS 780754 HAS SOPS 780754 HAS SOUS 644642 HAS SOUPS 644642 WITH SCORE 645422.754
AT ITER 3179 NEW BEST:: SOT 4413497 SOS 780742 HAS SOPS 780742 HAS SOUS 644610 HAS SOUPS 644610 WITH SCORE 645390.742
AT ITER 3195 NEW BEST:: SOT 4413407 SOS 780562 HAS SOPS 780562 HAS SOUS 644430 HAS SOUPS 644430 WITH SCORE 645210.562
AT ITER 3196 NEW BEST:: SOT 4413424 SOS 780276 HAS SOPS 780276 HAS SOUS 644337 HAS SOUPS 644337 WITH SCORE 645117.276
AT ITER 3209 NEW BEST:: SOT 4413266 SOS 780276 HAS SOPS 780276 HAS SOUS 644179 HAS SOUPS 644179 WITH SCORE 644959.276
AT ITER 3228 NEW BEST:: SOT 4413178 SOS 780100 HAS SOPS 780100 HAS SOUS 644091 HAS SOUPS 644091 WITH SCORE 644871.1
AT ITER 3241 NEW BEST:: SOT 4412997 SOS 779919 HAS SOPS 779919 HAS SOUS 643910 HAS SOUPS 643910 WITH SCORE 644689.919
AT ITER 3242 NEW BEST:: SOT 4412980 SOS 779885 HAS SOPS 779885 HAS SOUS 643893 HAS SOUPS 643893 WITH SCORE 644672.885
AT ITER 3267 NEW BEST:: SOT 4412716 SOS 779357 HAS SOPS 779357 HAS SOUS 643629 HAS SOUPS 643629 WITH SCORE 644408.357
AT ITER 3306 NEW BEST:: SOT 4412709 SOS 779343 HAS SOPS 779343 HAS SOUS 643622 HAS SOUPS 643622 WITH SCORE 644401.343
AT ITER 3324 NEW BEST:: SOT 4411556 SOS 780180 HAS SOPS 780180 HAS SOUS 642673 HAS SOUPS 642673 WITH SCORE 643453.18
AT ITER 3326 NEW BEST:: SOT 4411556 SOS 780059 HAS SOPS 780059 HAS SOUS 642552 HAS SOUPS 642552 WITH SCORE 643332.059
AT ITER 3372 NEW BEST:: SOT 4411556 SOS 779954 HAS SOPS 779954 HAS SOUS 642447 HAS SOUPS 642447 WITH SCORE 643226.954
AT ITER 3401 NEW BEST:: SOT 4411438 SOS 779718 HAS SOPS 779718 HAS SOUS 642329 HAS SOUPS 642329 WITH SCORE 643108.718
AT ITER 3430 NEW BEST:: SOT 4411437 SOS 779711 HAS SOPS 779711 HAS SOUS 642327 HAS SOUPS 642327 WITH SCORE 643106.711
AT ITER 3433 NEW BEST:: SOT 4411251 SOS 779588 HAS SOPS 779588 HAS SOUS 642204 HAS SOUPS 642204 WITH SCORE 642983.588
AT ITER 3452 NEW BEST:: SOT 4411093 SOS 779436 HAS SOPS 779436 HAS SOUS 642049 HAS SOUPS 642049 WITH SCORE 642828.436
AT ITER 3460 NEW BEST:: SOT 4410880 SOS 779010 HAS SOPS 779010 HAS SOUS 641928 HAS SOUPS 641928 WITH SCORE 642707.01
AT ITER 3486 NEW BEST:: SOT 4410353 SOS 753680 HAS SOPS 753680 HAS SOUS 641400 HAS SOUPS 641400 WITH SCORE 642153.68
AT ITER 3499 NEW BEST:: SOT 4410340 SOS 753654 HAS SOPS 753654 HAS SOUS 641379 HAS SOUPS 641379 WITH SCORE 642132.654
AT ITER 3505 NEW BEST:: SOT 4410309 SOS 753678 HAS SOPS 753678 HAS SOUS 641317 HAS SOUPS 641317 WITH SCORE 642070.678
AT ITER 3541 NEW BEST:: SOT 4410263 SOS 753586 HAS SOPS 753586 HAS SOUS 641225 HAS SOUPS 641225 WITH SCORE 641978.586
AT ITER 3550 NEW BEST:: SOT 4410262 SOS 753584 HAS SOPS 753584 HAS SOUS 641223 HAS SOUPS 641223 WITH SCORE 641976.584
AT ITER 3557 NEW BEST:: SOT 4410174 SOS 753496 HAS SOPS 753496 HAS SOUS 641135 HAS SOUPS 641135 WITH SCORE 641888.496
AT ITER 3560 NEW BEST:: SOT 4410009 SOS 753166 HAS SOPS 753166 HAS SOUS 640805 HAS SOUPS 640805 WITH SCORE 641558.166
AT ITER 3563 NEW BEST:: SOT 4409901 SOS 753322 HAS SOPS 753322 HAS SOUS 640697 HAS SOUPS 640697 WITH SCORE 641450.322
AT ITER 3564 NEW BEST:: SOT 4408623 SOS 767357 HAS SOPS 767357 HAS SOUS 640208 HAS SOUPS 640208 WITH SCORE 640975.357
AT ITER 3579 NEW BEST:: SOT 4408503 SOS 767357 HAS SOPS 767357 HAS SOUS 640088 HAS SOUPS 640088 WITH SCORE 640855.357
AT ITER 3598 NEW BEST:: SOT 4408364 SOS 767079 HAS SOPS 767079 HAS SOUS 639949 HAS SOUPS 639949 WITH SCORE 640716.079
AT ITER 3614 NEW BEST:: SOT 4408294 SOS 766939 HAS SOPS 766939 HAS SOUS 639809 HAS SOUPS 639809 WITH SCORE 640575.939
AT ITER 3619 NEW BEST:: SOT 4408179 SOS 766594 HAS SOPS 766594 HAS SOUS 639579 HAS SOUPS 639579 WITH SCORE 640345.594
AT ITER 3654 NEW BEST:: SOT 4408050 SOS 766336 HAS SOPS 766336 HAS SOUS 639321 HAS SOUPS 639321 WITH SCORE 640087.336
AT ITER 3688 NEW BEST:: SOT 4408022 SOS 766308 HAS SOPS 766308 HAS SOUS 639293 HAS SOUPS 639293 WITH SCORE 640059.308
AT ITER 3723 NEW BEST:: SOT 4407829 SOS 766272 HAS SOPS 766272 HAS SOUS 638986 HAS SOUPS 638986 WITH SCORE 639752.272
AT ITER 3756 NEW BEST:: SOT 4407904 SOS 766700 HAS SOPS 766700 HAS SOUS 638859 HAS SOUPS 638859 WITH SCORE 639625.7
AT ITER 3774 NEW BEST:: SOT 4407904 SOS 766700 HAS SOPS 766700 HAS SOUS 638652 HAS SOUPS 638652 WITH SCORE 639418.7
AT ITER 3791 NEW BEST:: SOT 4407798 SOS 766735 HAS SOPS 766735 HAS SOUS 638541 HAS SOUPS 638541 WITH SCORE 639307.735
AT ITER 3807 NEW BEST:: SOT 4407710 SOS 766559 HAS SOPS 766559 HAS SOUS 638453 HAS SOUPS 638453 WITH SCORE 639219.559
AT ITER 3840 NEW BEST:: SOT 4407710 SOS 766400 HAS SOPS 766400 HAS SOUS 638294 HAS SOUPS 638294 WITH SCORE 639060.4
AT ITER 3860 NEW BEST:: SOT 4407709 SOS 766398 HAS SOPS 766398 HAS SOUS 638292 HAS SOUPS 638292 WITH SCORE 639058.398
AT ITER 3861 NEW BEST:: SOT 4407709 SOS 766349 HAS SOPS 766349 HAS SOUS 638292 HAS SOUPS 638292 WITH SCORE 639058.349
AT ITER 3892 NEW BEST:: SOT 4407553 SOS 766193 HAS SOPS 766193 HAS SOUS 638290 HAS SOUPS 638290 WITH SCORE 639056.193
AT ITER 3911 NEW BEST:: SOT 4406928 SOS 764943 HAS SOPS 764943 HAS SOUS 637405 HAS SOUPS 637405 WITH SCORE 638169.943
AT ITER 3918 NEW BEST:: SOT 4406983 SOS 764926 HAS SOPS 764926 HAS SOUS 637388 HAS SOUPS 637388 WITH SCORE 638152.926
AT ITER 3925 NEW BEST:: SOT 4406712 SOS 764384 HAS SOPS 764384 HAS SOUS 636846 HAS SOUPS 636846 WITH SCORE 637610.384
AT ITER 3928 NEW BEST:: SOT 4406712 SOS 764384 HAS SOPS 764384 HAS SOUS 636693 HAS SOUPS 636693 WITH SCORE 637457.384
AT ITER 3950 NEW BEST:: SOT 4406589 SOS 764138 HAS SOPS 764138 HAS SOUS 636447 HAS SOUPS 636447 WITH SCORE 637211.138
AT ITER 3957 NEW BEST:: SOT 4406346 SOS 764001 HAS SOPS 764001 HAS SOUS 636269 HAS SOUPS 636269 WITH SCORE 637033.001
AT ITER 3960 NEW BEST:: SOT 4406340 SOS 763989 HAS SOPS 763989 HAS SOUS 636257 HAS SOUPS 636257 WITH SCORE 637020.989
AT ITER 3975 NEW BEST:: SOT 4406339 SOS 763986 HAS SOPS 763986 HAS SOUS 636255 HAS SOUPS 636255 WITH SCORE 637018.986
AT ITER 3985 NEW BEST:: SOT 4406339 SOS 763911 HAS SOPS 763911 HAS SOUS 636254 HAS SOUPS 636254 WITH SCORE 637017.911
AT ITER 4056 NEW BEST:: SOT 4406339 SOS 763776 HAS SOPS 763776 HAS SOUS 636254 HAS SOUPS 636254 WITH SCORE 637017.776
AT ITER 4057 NEW BEST:: SOT 4406068 SOS 763505 HAS SOPS 763505 HAS SOUS 635983 HAS SOUPS 635983 WITH SCORE 636746.505
AT ITER 4077 NEW BEST:: SOT 4406022 SOS 763254 HAS SOPS 763254 HAS SOUS 635891 HAS SOUPS 635891 WITH SCORE 636654.254
AT ITER 4090 NEW BEST:: SOT 4405946 SOS 763102 HAS SOPS 763102 HAS SOUS 635739 HAS SOUPS 635739 WITH SCORE 636502.102
AT ITER 4121 NEW BEST:: SOT 4405906 SOS 763022 HAS SOPS 763022 HAS SOUS 635659 HAS SOUPS 635659 WITH SCORE 636422.022
AT ITER 4122 NEW BEST:: SOT 4405602 SOS 762718 HAS SOPS 762718 HAS SOUS 635355 HAS SOUPS 635355 WITH SCORE 636117.718
AT ITER 4188 NEW BEST:: SOT 4405519 SOS 762552 HAS SOPS 762552 HAS SOUS 635189 HAS SOUPS 635189 WITH SCORE 635951.552
AT ITER 4203 NEW BEST:: SOT 4405519 SOS 762320 HAS SOPS 762320 HAS SOUS 634957 HAS SOUPS 634957 WITH SCORE 635719.32
AT ITER 4206 NEW BEST:: SOT 4405425 SOS 761886 HAS SOPS 761886 HAS SOUS 634630 HAS SOUPS 634630 WITH SCORE 635391.886
AT ITER 4215 NEW BEST:: SOT 4405209 SOS 761454 HAS SOPS 761454 HAS SOUS 634198 HAS SOUPS 634198 WITH SCORE 634959.454
AT ITER 4222 NEW BEST:: SOT 4405132 SOS 761300 HAS SOPS 761300 HAS SOUS 634071 HAS SOUPS 634071 WITH SCORE 634832.3
AT ITER 4238 NEW BEST:: SOT 4404907 SOS 761180 HAS SOPS 761180 HAS SOUS 633951 HAS SOUPS 633951 WITH SCORE 634712.18
AT ITER 4242 NEW BEST:: SOT 4404873 SOS 761112 HAS SOPS 761112 HAS SOUS 633883 HAS SOUPS 633883 WITH SCORE 634644.112
AT ITER 4371 NEW BEST:: SOT 4404873 SOS 760994 HAS SOPS 760994 HAS SOUS 633765 HAS SOUPS 633765 WITH SCORE 634525.994
AT ITER 4429 NEW BEST:: SOT 4404520 SOS 760716 HAS SOPS 760716 HAS SOUS 633438 HAS SOUPS 633438 WITH SCORE 634198.716
AT ITER 4454 NEW BEST:: SOT 4404520 SOS 760630 HAS SOPS 760630 HAS SOUS 633352 HAS SOUPS 633352 WITH SCORE 634112.63
AT ITER 4461 NEW BEST:: SOT 4404371 SOS 760624 HAS SOPS 760624 HAS SOUS 633203 HAS SOUPS 633203 WITH SCORE 633963.624
AT ITER 4470 NEW BEST:: SOT 4404279 SOS 760440 HAS SOPS 760440 HAS SOUS 633111 HAS SOUPS 633111 WITH SCORE 633871.44
AT ITER 4478 NEW BEST:: SOT 4404218 SOS 760096 HAS SOPS 760096 HAS SOUS 632821 HAS SOUPS 632821 WITH SCORE 633581.096
AT ITER 4503 NEW BEST:: SOT 4404195 SOS 760050 HAS SOPS 760050 HAS SOUS 632775 HAS SOUPS 632775 WITH SCORE 633535.05
AT ITER 4529 NEW BEST:: SOT 4404171 SOS 760050 HAS SOPS 760050 HAS SOUS 632751 HAS SOUPS 632751 WITH SCORE 633511.05
AT ITER 4568 NEW BEST:: SOT 4404158 SOS 760024 HAS SOPS 760024 HAS SOUS 632738 HAS SOUPS 632738 WITH SCORE 633498.024
AT ITER 4571 NEW BEST:: SOT 4404121 SOS 759950 HAS SOPS 759950 HAS SOUS 632664 HAS SOUPS 632664 WITH SCORE 633423.95
AT ITER 4599 NEW BEST:: SOT 4404091 SOS 759890 HAS SOPS 759890 HAS SOUS 632604 HAS SOUPS 632604 WITH SCORE 633363.89
AT ITER 4624 NEW BEST:: SOT 4404046 SOS 759800 HAS SOPS 759800 HAS SOUS 632514 HAS SOUPS 632514 WITH SCORE 633273.8
AT ITER 4629 NEW BEST:: SOT 4403979 SOS 759666 HAS SOPS 759666 HAS SOUS 632254 HAS SOUPS 632254 WITH SCORE 633013.666
AT ITER 4635 NEW BEST:: SOT 4403804 SOS 759316 HAS SOPS 759316 HAS SOUS 631904 HAS SOUPS 631904 WITH SCORE 632663.316
AT ITER 4641 NEW BEST:: SOT 4403759 SOS 759226 HAS SOPS 759226 HAS SOUS 631760 HAS SOUPS 631760 WITH SCORE 632519.226
AT ITER 4660 NEW BEST:: SOT 4403597 SOS 759102 HAS SOPS 759102 HAS SOUS 631635 HAS SOUPS 631635 WITH SCORE 632394.102
AT ITER 4676 NEW BEST:: SOT 4403587 SOS 759096 HAS SOPS 759096 HAS SOUS 631625 HAS SOUPS 631625 WITH SCORE 632384.096
AT ITER 4690 NEW BEST:: SOT 4403587 SOS 759096 HAS SOPS 759096 HAS SOUS 631624 HAS SOUPS 631624 WITH SCORE 632383.096
AT ITER 4699 NEW BEST:: SOT 4403373 SOS 758891 HAS SOPS 758891 HAS SOUS 631419 HAS SOUPS 631419 WITH SCORE 632177.891
AT ITER 4702 NEW BEST:: SOT 4403372 SOS 758889 HAS SOPS 758889 HAS SOUS 631417 HAS SOUPS 631417 WITH SCORE 632175.889
AT ITER 4706 NEW BEST:: SOT 4403170 SOS 758036 HAS SOPS 758036 HAS SOUS 630950 HAS SOUPS 630950 WITH SCORE 631708.036
AT ITER 4711 NEW BEST:: SOT 4402982 SOS 757848 HAS SOPS 757848 HAS SOUS 630856 HAS SOUPS 630856 WITH SCORE 631613.848
AT ITER 4714 NEW BEST:: SOT 4402784 SOS 757452 HAS SOPS 757452 HAS SOUS 630460 HAS SOUPS 630460 WITH SCORE 631217.452
AT ITER 4721 NEW BEST:: SOT 4402784 SOS 757361 HAS SOPS 757361 HAS SOUS 630422 HAS SOUPS 630422 WITH SCORE 631179.361
AT ITER 4734 NEW BEST:: SOT 4402784 SOS 757071 HAS SOPS 757071 HAS SOUS 630422 HAS SOUPS 630422 WITH SCORE 631179.071
AT ITER 4763 NEW BEST:: SOT 4402589 SOS 756929 HAS SOPS 756929 HAS SOUS 630254 HAS SOUPS 630254 WITH SCORE 631010.929
AT ITER 4800 NEW BEST:: SOT 4402413 SOS 756577 HAS SOPS 756577 HAS SOUS 629902 HAS SOUPS 629902 WITH SCORE 630658.577
AT ITER 4829 NEW BEST:: SOT 4402413 SOS 756415 HAS SOPS 756415 HAS SOUS 629902 HAS SOUPS 629902 WITH SCORE 630658.415
AT ITER 4830 NEW BEST:: SOT 4402359 SOS 756334 HAS SOPS 756334 HAS SOUS 629821 HAS SOUPS 629821 WITH SCORE 630577.334
AT ITER 4855 NEW BEST:: SOT 4402181 SOS 755978 HAS SOPS 755978 HAS SOUS 629501 HAS SOUPS 629501 WITH SCORE 630256.978
AT ITER 4860 NEW BEST:: SOT 4402128 SOS 755872 HAS SOPS 755872 HAS SOUS 629395 HAS SOUPS 629395 WITH SCORE 630150.872
AT ITER 4863 NEW BEST:: SOT 4402110 SOS 755836 HAS SOPS 755836 HAS SOUS 629359 HAS SOUPS 629359 WITH SCORE 630114.836
AT ITER 4866 NEW BEST:: SOT 4402110 SOS 755804 HAS SOPS 755804 HAS SOUS 629327 HAS SOUPS 629327 WITH SCORE 630082.804
AT ITER 4879 NEW BEST:: SOT 4402067 SOS 755718 HAS SOPS 755718 HAS SOUS 629241 HAS SOUPS 629241 WITH SCORE 629996.718
AT ITER 4885 NEW BEST:: SOT 4402166 SOS 755681 HAS SOPS 755681 HAS SOUS 629204 HAS SOUPS 629204 WITH SCORE 629959.681
AT ITER 4902 NEW BEST:: SOT 4402081 SOS 755511 HAS SOPS 755511 HAS SOUS 629034 HAS SOUPS 629034 WITH SCORE 629789.511
AT ITER 4923 NEW BEST:: SOT 4401489 SOS 755177 HAS SOPS 755177 HAS SOUS 628614 HAS SOUPS 628614 WITH SCORE 629369.177
AT ITER 4957 NEW BEST:: SOT 4401468 SOS 755135 HAS SOPS 755135 HAS SOUS 628590 HAS SOUPS 628590 WITH SCORE 629345.135
AT ITER 4985 NEW BEST:: SOT 4401434 SOS 755067 HAS SOPS 755067 HAS SOUS 628522 HAS SOUPS 628522 WITH SCORE 629277.067
AT ITER 4997 NEW BEST:: SOT 4401418 SOS 755035 HAS SOPS 755035 HAS SOUS 628490 HAS SOUPS 628490 WITH SCORE 629245.035
AT ITER 5030 NEW BEST:: SOT 4401214 SOS 754627 HAS SOPS 754627 HAS SOUS 628467 HAS SOUPS 628467 WITH SCORE 629221.627
AT ITER 5034 NEW BEST:: SOT 4401054 SOS 754307 HAS SOPS 754307 HAS SOUS 628308 HAS SOUPS 628308 WITH SCORE 629062.307
AT ITER 5059 NEW BEST:: SOT 4401053 SOS 754263 HAS SOPS 754263 HAS SOUS 628306 HAS SOUPS 628306 WITH SCORE 629060.263
AT ITER 5066 NEW BEST:: SOT 4401025 SOS 754251 HAS SOPS 754251 HAS SOUS 628265 HAS SOUPS 628265 WITH SCORE 629019.251
AT ITER 5072 NEW BEST:: SOT 4400618 SOS 754089 HAS SOPS 754089 HAS SOUS 627983 HAS SOUPS 627983 WITH SCORE 628737.089
AT ITER 5084 NEW BEST:: SOT 4400610 SOS 754073 HAS SOPS 754073 HAS SOUS 627975 HAS SOUPS 627975 WITH SCORE 628729.073
AT ITER 5127 NEW BEST:: SOT 4400609 SOS 754071 HAS SOPS 754071 HAS SOUS 627973 HAS SOUPS 627973 WITH SCORE 628727.071
AT ITER 5136 NEW BEST:: SOT 4400609 SOS 754071 HAS SOPS 754071 HAS SOUS 627887 HAS SOUPS 627887 WITH SCORE 628641.071
AT ITER 5169 NEW BEST:: SOT 4400639 SOS 754131 HAS SOPS 754131 HAS SOUS 627858 HAS SOUPS 627858 WITH SCORE 628612.131
AT ITER 5190 NEW BEST:: SOT 4400639 SOS 754125 HAS SOPS 754125 HAS SOUS 627852 HAS SOUPS 627852 WITH SCORE 628606.125
AT ITER 5222 NEW BEST:: SOT 4400650 SOS 754115 HAS SOPS 754115 HAS SOUS 627847 HAS SOUPS 627847 WITH SCORE 628601.115
AT ITER 5239 NEW BEST:: SOT 4400588 SOS 754207 HAS SOPS 754207 HAS SOUS 627785 HAS SOUPS 627785 WITH SCORE 628539.207
AT ITER 5250 NEW BEST:: SOT 4400339 SOS 753709 HAS SOPS 753709 HAS SOUS 627287 HAS SOUPS 627287 WITH SCORE 628040.709
AT ITER 5269 NEW BEST:: SOT 4400063 SOS 753433 HAS SOPS 753433 HAS SOUS 627011 HAS SOUPS 627011 WITH SCORE 627764.433
AT ITER 5279 NEW BEST:: SOT 4399914 SOS 753135 HAS SOPS 753135 HAS SOUS 626713 HAS SOUPS 626713 WITH SCORE 627466.135
AT ITER 5311 NEW BEST:: SOT 4400058 SOS 745511 HAS SOPS 745511 HAS SOUS 626673 HAS SOUPS 626673 WITH SCORE 627418.511
AT ITER 5321 NEW BEST:: SOT 4400016 SOS 745540 HAS SOPS 745540 HAS SOUS 626609 HAS SOUPS 626609 WITH SCORE 627354.54
AT ITER 5324 NEW BEST:: SOT 4400012 SOS 745532 HAS SOPS 745532 HAS SOUS 626605 HAS SOUPS 626605 WITH SCORE 627350.532
AT ITER 5363 NEW BEST:: SOT 4400012 SOS 745240 HAS SOPS 745240 HAS SOUS 626459 HAS SOUPS 626459 WITH SCORE 627204.24
AT ITER 5384 NEW BEST:: SOT 4400012 SOS 744924 HAS SOPS 744924 HAS SOUS 626459 HAS SOUPS 626459 WITH SCORE 627203.924
AT ITER 5399 NEW BEST:: SOT 4399992 SOS 744587 HAS SOPS 744587 HAS SOUS 626419 HAS SOUPS 626419 WITH SCORE 627163.587
AT ITER 5413 NEW BEST:: SOT 4399936 SOS 744475 HAS SOPS 744475 HAS SOUS 626307 HAS SOUPS 626307 WITH SCORE 627051.475
AT ITER 5424 NEW BEST:: SOT 4399723 SOS 743968 HAS SOPS 743968 HAS SOUS 625763 HAS SOUPS 625763 WITH SCORE 626506.968
AT ITER 5425 NEW BEST:: SOT 4399588 SOS 743698 HAS SOPS 743698 HAS SOUS 625493 HAS SOUPS 625493 WITH SCORE 626236.698
AT ITER 5451 NEW BEST:: SOT 4399425 SOS 743523 HAS SOPS 743523 HAS SOUS 625285 HAS SOUPS 625285 WITH SCORE 626028.523
AT ITER 5508 NEW BEST:: SOT 4399424 SOS 743521 HAS SOPS 743521 HAS SOUS 625280 HAS SOUPS 625280 WITH SCORE 626023.521
AT ITER 5523 NEW BEST:: SOT 4399227 SOS 743127 HAS SOPS 743127 HAS SOUS 625260 HAS SOUPS 625260 WITH SCORE 626003.127
AT ITER 5531 NEW BEST:: SOT 4399226 SOS 743099 HAS SOPS 743099 HAS SOUS 625249 HAS SOUPS 625249 WITH SCORE 625992.099
AT ITER 5554 NEW BEST:: SOT 4399149 SOS 742945 HAS SOPS 742945 HAS SOUS 625180 HAS SOUPS 625180 WITH SCORE 625922.945
AT ITER 5560 NEW BEST:: SOT 4399437 SOS 741358 HAS SOPS 741358 HAS SOUS 625159 HAS SOUPS 625159 WITH SCORE 625900.358
AT ITER 5562 NEW BEST:: SOT 4399248 SOS 741169 HAS SOPS 741169 HAS SOUS 625135 HAS SOUPS 625135 WITH SCORE 625876.169
AT ITER 5592 NEW BEST:: SOT 4398979 SOS 741171 HAS SOPS 741171 HAS SOUS 625001 HAS SOUPS 625001 WITH SCORE 625742.171
AT ITER 5612 NEW BEST:: SOT 4398977 SOS 741167 HAS SOPS 741167 HAS SOUS 624997 HAS SOUPS 624997 WITH SCORE 625738.167
AT ITER 5615 NEW BEST:: SOT 4398755 SOS 740945 HAS SOPS 740945 HAS SOUS 624775 HAS SOUPS 624775 WITH SCORE 625515.945
AT ITER 5624 NEW BEST:: SOT 4398614 SOS 740925 HAS SOPS 740925 HAS SOUS 624755 HAS SOUPS 624755 WITH SCORE 625495.925
AT ITER 5629 NEW BEST:: SOT 4398592 SOS 728641 HAS SOPS 728641 HAS SOUS 624731 HAS SOUPS 624731 WITH SCORE 625459.641
AT ITER 5647 NEW BEST:: SOT 4398436 SOS 728329 HAS SOPS 728329 HAS SOUS 624460 HAS SOUPS 624460 WITH SCORE 625188.329
AT ITER 5655 NEW BEST:: SOT 4398309 SOS 728238 HAS SOPS 728238 HAS SOUS 624333 HAS SOUPS 624333 WITH SCORE 625061.238
AT ITER 5670 NEW BEST:: SOT 4398309 SOS 728076 HAS SOPS 728076 HAS SOUS 624333 HAS SOUPS 624333 WITH SCORE 625061.076
AT ITER 5695 NEW BEST:: SOT 4398358 SOS 728093 HAS SOPS 728093 HAS SOUS 624301 HAS SOUPS 624301 WITH SCORE 625029.093
AT ITER 5700 NEW BEST:: SOT 4398207 SOS 727628 HAS SOPS 727628 HAS SOUS 623999 HAS SOUPS 623999 WITH SCORE 624726.628
AT ITER 5708 NEW BEST:: SOT 4398206 SOS 727626 HAS SOPS 727626 HAS SOUS 623997 HAS SOUPS 623997 WITH SCORE 624724.626
AT ITER 5710 NEW BEST:: SOT 4398209 SOS 727508 HAS SOPS 727508 HAS SOUS 623969 HAS SOUPS 623969 WITH SCORE 624696.508
AT ITER 5713 NEW BEST:: SOT 4397938 SOS 726966 HAS SOPS 726966 HAS SOUS 623427 HAS SOUPS 623427 WITH SCORE 624153.966
AT ITER 5779 NEW BEST:: SOT 4397938 SOS 726891 HAS SOPS 726891 HAS SOUS 623427 HAS SOUPS 623427 WITH SCORE 624153.891
AT ITER 5812 NEW BEST:: SOT 4397926 SOS 726385 HAS SOPS 726385 HAS SOUS 623217 HAS SOUPS 623217 WITH SCORE 623943.385
AT ITER 5847 NEW BEST:: SOT 4397926 SOS 726385 HAS SOPS 726385 HAS SOUS 623197 HAS SOUPS 623197 WITH SCORE 623923.385
AT ITER 5880 NEW BEST:: SOT 4397926 SOS 726335 HAS SOPS 726335 HAS SOUS 623147 HAS SOUPS 623147 WITH SCORE 623873.335
AT ITER 5909 NEW BEST:: SOT 4397872 SOS 726054 HAS SOPS 726054 HAS SOUS 622920 HAS SOUPS 622920 WITH SCORE 623646.054
AT ITER 5940 NEW BEST:: SOT 4397764 SOS 726010 HAS SOPS 726010 HAS SOUS 622780 HAS SOUPS 622780 WITH SCORE 623506.01
AT ITER 5969 NEW BEST:: SOT 4397825 SOS 726132 HAS SOPS 726132 HAS SOUS 622768 HAS SOUPS 622768 WITH SCORE 623494.132
AT ITER 5992 NEW BEST:: SOT 4397670 SOS 725822 HAS SOPS 725822 HAS SOUS 622613 HAS SOUPS 622613 WITH SCORE 623338.822
AT ITER 6000 NEW BEST:: SOT 4397060 SOS 725028 HAS SOPS 725028 HAS SOUS 621803 HAS SOUPS 621803 WITH SCORE 622528.028
AT ITER 6032 NEW BEST:: SOT 4397031 SOS 724780 HAS SOPS 724780 HAS SOUS 621679 HAS SOUPS 621679 WITH SCORE 622403.78
AT ITER 6118 NEW BEST:: SOT 4397017 SOS 724752 HAS SOPS 724752 HAS SOUS 621672 HAS SOUPS 621672 WITH SCORE 622396.752
AT ITER 6130 NEW BEST:: SOT 4396941 SOS 724744 HAS SOPS 724744 HAS SOUS 621628 HAS SOUPS 621628 WITH SCORE 622352.744
AT ITER 6145 NEW BEST:: SOT 4397004 SOS 724696 HAS SOPS 724696 HAS SOUS 621580 HAS SOUPS 621580 WITH SCORE 622304.696
AT ITER 6173 NEW BEST:: SOT 4396819 SOS 724326 HAS SOPS 724326 HAS SOUS 621210 HAS SOUPS 621210 WITH SCORE 621934.326
AT ITER 6207 NEW BEST:: SOT 4396699 SOS 724086 HAS SOPS 724086 HAS SOUS 621198 HAS SOUPS 621198 WITH SCORE 621922.086
AT ITER 6224 NEW BEST:: SOT 4396367 SOS 723422 HAS SOPS 723422 HAS SOUS 620534 HAS SOUPS 620534 WITH SCORE 621257.422
AT ITER 6254 NEW BEST:: SOT 4396323 SOS 723400 HAS SOPS 723400 HAS SOUS 620512 HAS SOUPS 620512 WITH SCORE 621235.4
AT ITER 6272 NEW BEST:: SOT 4396224 SOS 723121 HAS SOPS 723121 HAS SOUS 620274 HAS SOUPS 620274 WITH SCORE 620997.121
AT ITER 6299 NEW BEST:: SOT 4396197 SOS 722730 HAS SOPS 722730 HAS SOUS 619931 HAS SOUPS 619931 WITH SCORE 620653.73
AT ITER 6312 NEW BEST:: SOT 4396077 SOS 722418 HAS SOPS 722418 HAS SOUS 619619 HAS SOUPS 619619 WITH SCORE 620341.418
AT ITER 6333 NEW BEST:: SOT 4396072 SOS 722408 HAS SOPS 722408 HAS SOUS 619614 HAS SOUPS 619614 WITH SCORE 620336.408
AT ITER 6335 NEW BEST:: SOT 4396007 SOS 722343 HAS SOPS 722343 HAS SOUS 619549 HAS SOUPS 619549 WITH SCORE 620271.343
AT ITER 6344 NEW BEST:: SOT 4395974 SOS 722277 HAS SOPS 722277 HAS SOUS 619516 HAS SOUPS 619516 WITH SCORE 620238.277
AT ITER 6350 NEW BEST:: SOT 4395952 SOS 722255 HAS SOPS 722255 HAS SOUS 619516 HAS SOUPS 619516 WITH SCORE 620238.255
AT ITER 6358 NEW BEST:: SOT 4395950 SOS 722251 HAS SOPS 722251 HAS SOUS 619514 HAS SOUPS 619514 WITH SCORE 620236.251
AT ITER 6366 NEW BEST:: SOT 4395598 SOS 722057 HAS SOPS 722057 HAS SOUS 619077 HAS SOUPS 619077 WITH SCORE 619799.057
AT ITER 6379 NEW BEST:: SOT 4395603 SOS 721742 HAS SOPS 721742 HAS SOUS 618885 HAS SOUPS 618885 WITH SCORE 619606.742
AT ITER 6412 NEW BEST:: SOT 4395466 SOS 721673 HAS SOPS 721673 HAS SOUS 618789 HAS SOUPS 618789 WITH SCORE 619510.673
AT ITER 6418 NEW BEST:: SOT 4395019 SOS 721024 HAS SOPS 721024 HAS SOUS 618123 HAS SOUPS 618123 WITH SCORE 618844.024
AT ITER 6427 NEW BEST:: SOT 4394992 SOS 720970 HAS SOPS 720970 HAS SOUS 618123 HAS SOUPS 618123 WITH SCORE 618843.97
AT ITER 6454 NEW BEST:: SOT 4394730 SOS 720473 HAS SOPS 720473 HAS SOUS 617834 HAS SOUPS 617834 WITH SCORE 618554.473
AT ITER 6461 NEW BEST:: SOT 4394722 SOS 720457 HAS SOPS 720457 HAS SOUS 617825 HAS SOUPS 617825 WITH SCORE 618545.457
AT ITER 6463 NEW BEST:: SOT 4394721 SOS 720390 HAS SOPS 720390 HAS SOUS 617823 HAS SOUPS 617823 WITH SCORE 618543.39
AT ITER 6471 NEW BEST:: SOT 4394647 SOS 720316 HAS SOPS 720316 HAS SOUS 617809 HAS SOUPS 617809 WITH SCORE 618529.316
AT ITER 6509 NEW BEST:: SOT 4394585 SOS 720192 HAS SOPS 720192 HAS SOUS 617685 HAS SOUPS 617685 WITH SCORE 618405.192
AT ITER 6512 NEW BEST:: SOT 4394604 SOS 719518 HAS SOPS 719518 HAS SOUS 617615 HAS SOUPS 617615 WITH SCORE 618334.518
AT ITER 6536 NEW BEST:: SOT 4394613 SOS 719389 HAS SOPS 719389 HAS SOUS 617575 HAS SOUPS 617575 WITH SCORE 618294.389
AT ITER 6538 NEW BEST:: SOT 4394613 SOS 719381 HAS SOPS 719381 HAS SOUS 617567 HAS SOUPS 617567 WITH SCORE 618286.381
AT ITER 6541 NEW BEST:: SOT 4394430 SOS 719432 HAS SOPS 719432 HAS SOUS 617433 HAS SOUPS 617433 WITH SCORE 618152.432
AT ITER 6561 NEW BEST:: SOT 4394427 SOS 719426 HAS SOPS 719426 HAS SOUS 617427 HAS SOUPS 617427 WITH SCORE 618146.426
AT ITER 6573 NEW BEST:: SOT 4394355 SOS 719282 HAS SOPS 719282 HAS SOUS 617283 HAS SOUPS 617283 WITH SCORE 618002.282
AT ITER 6602 NEW BEST:: SOT 4394355 SOS 719110 HAS SOPS 719110 HAS SOUS 617197 HAS SOUPS 617197 WITH SCORE 617916.11
AT ITER 6633 NEW BEST:: SOT 4394326 SOS 719052 HAS SOPS 719052 HAS SOUS 617174 HAS SOUPS 617174 WITH SCORE 617893.052
AT ITER 6663 NEW BEST:: SOT 4394334 SOS 719068 HAS SOPS 719068 HAS SOUS 617170 HAS SOUPS 617170 WITH SCORE 617889.068
AT ITER 6690 NEW BEST:: SOT 4394303 SOS 719006 HAS SOPS 719006 HAS SOUS 617108 HAS SOUPS 617108 WITH SCORE 617827.006
AT ITER 6698 NEW BEST:: SOT 4394105 SOS 718808 HAS SOPS 718808 HAS SOUS 616910 HAS SOUPS 616910 WITH SCORE 617628.808
AT ITER 6711 NEW BEST:: SOT 4394122 SOS 718842 HAS SOPS 718842 HAS SOUS 616786 HAS SOUPS 616786 WITH SCORE 617504.842
AT ITER 6731 NEW BEST:: SOT 4393913 SOS 718424 HAS SOPS 718424 HAS SOUS 616731 HAS SOUPS 616731 WITH SCORE 617449.424
AT ITER 6734 NEW BEST:: SOT 4393998 SOS 717974 HAS SOPS 717974 HAS SOUS 616471 HAS SOUPS 616471 WITH SCORE 617188.974
AT ITER 6746 NEW BEST:: SOT 4393997 SOS 717972 HAS SOPS 717972 HAS SOUS 616469 HAS SOUPS 616469 WITH SCORE 617186.972
AT ITER 6761 NEW BEST:: SOT 4393926 SOS 717658 HAS SOPS 717658 HAS SOUS 615725 HAS SOUPS 615725 WITH SCORE 616442.658
AT ITER 6780 NEW BEST:: SOT 4393483 SOS 717076 HAS SOPS 717076 HAS SOUS 615143 HAS SOUPS 615143 WITH SCORE 615860.076
AT ITER 6808 NEW BEST:: SOT 4393482 SOS 717074 HAS SOPS 717074 HAS SOUS 615142 HAS SOUPS 615142 WITH SCORE 615859.074
AT ITER 6865 NEW BEST:: SOT 4393303 SOS 716899 HAS SOPS 716899 HAS SOUS 614876 HAS SOUPS 614876 WITH SCORE 615592.899
AT ITER 6895 NEW BEST:: SOT 4393134 SOS 716537 HAS SOPS 716537 HAS SOUS 614706 HAS SOUPS 614706 WITH SCORE 615422.537
AT ITER 6931 NEW BEST:: SOT 4393107 SOS 716510 HAS SOPS 716510 HAS SOUS 614706 HAS SOUPS 614706 WITH SCORE 615422.51
AT ITER 6989 NEW BEST:: SOT 4393107 SOS 716432 HAS SOPS 716432 HAS SOUS 614667 HAS SOUPS 614667 WITH SCORE 615383.432
AT ITER 7021 NEW BEST:: SOT 4393107 SOS 716351 HAS SOPS 716351 HAS SOUS 614586 HAS SOUPS 614586 WITH SCORE 615302.351
AT ITER 7050 NEW BEST:: SOT 4392999 SOS 716272 HAS SOPS 716272 HAS SOUS 614478 HAS SOUPS 614478 WITH SCORE 615194.272
AT ITER 7139 NEW BEST:: SOT 4392562 SOS 715818 HAS SOPS 715818 HAS SOUS 614024 HAS SOUPS 614024 WITH SCORE 614739.818
AT ITER 7158 NEW BEST:: SOT 4392562 SOS 715818 HAS SOPS 715818 HAS SOUS 614017 HAS SOUPS 614017 WITH SCORE 614732.818
AT ITER 7165 NEW BEST:: SOT 4392562 SOS 715799 HAS SOPS 715799 HAS SOUS 614017 HAS SOUPS 614017 WITH SCORE 614732.799
AT ITER 7270 NEW BEST:: SOT 4392535 SOS 715853 HAS SOPS 715853 HAS SOUS 613964 HAS SOUPS 613964 WITH SCORE 614679.853
AT ITER 7273 NEW BEST:: SOT 4392506 SOS 715795 HAS SOPS 715795 HAS SOUS 613906 HAS SOUPS 613906 WITH SCORE 614621.795
AT ITER 7295 NEW BEST:: SOT 4392506 SOS 715629 HAS SOPS 715629 HAS SOUS 613740 HAS SOUPS 613740 WITH SCORE 614455.629
AT ITER 7302 NEW BEST:: SOT 4392508 SOS 715602 HAS SOPS 715602 HAS SOUS 613714 HAS SOUPS 613714 WITH SCORE 614429.602
AT ITER 7304 NEW BEST:: SOT 4392075 SOS 715476 HAS SOPS 715476 HAS SOUS 613281 HAS SOUPS 613281 WITH SCORE 613996.476
AT ITER 7315 NEW BEST:: SOT 4391862 SOS 715050 HAS SOPS 715050 HAS SOUS 613031 HAS SOUPS 613031 WITH SCORE 613746.05
AT ITER 7335 NEW BEST:: SOT 4391514 SOS 714354 HAS SOPS 714354 HAS SOUS 613031 HAS SOUPS 613031 WITH SCORE 613745.354
AT ITER 7343 NEW BEST:: SOT 4391513 SOS 714067 HAS SOPS 714067 HAS SOUS 612786 HAS SOUPS 612786 WITH SCORE 613500.067
AT ITER 7344 NEW BEST:: SOT 4391365 SOS 713597 HAS SOPS 713597 HAS SOUS 612290 HAS SOUPS 612290 WITH SCORE 613003.597
AT ITER 7356 NEW BEST:: SOT 4391295 SOS 713527 HAS SOPS 713527 HAS SOUS 612220 HAS SOUPS 612220 WITH SCORE 612933.527
AT ITER 7359 NEW BEST:: SOT 4391245 SOS 713427 HAS SOPS 713427 HAS SOUS 612170 HAS SOUPS 612170 WITH SCORE 612883.427
AT ITER 7400 NEW BEST:: SOT 4390970 SOS 713152 HAS SOPS 713152 HAS SOUS 612036 HAS SOUPS 612036 WITH SCORE 612749.152
AT ITER 7414 NEW BEST:: SOT 4390714 SOS 712640 HAS SOPS 712640 HAS SOUS 611524 HAS SOUPS 611524 WITH SCORE 612236.64
AT ITER 7461 NEW BEST:: SOT 4390576 SOS 712364 HAS SOPS 712364 HAS SOUS 611386 HAS SOUPS 611386 WITH SCORE 612098.364
AT ITER 7477 NEW BEST:: SOT 4390077 SOS 712728 HAS SOPS 712728 HAS SOUS 611315 HAS SOUPS 611315 WITH SCORE 612027.728
AT ITER 7484 NEW BEST:: SOT 4390041 SOS 712699 HAS SOPS 712699 HAS SOUS 611240 HAS SOUPS 611240 WITH SCORE 611952.699
AT ITER 7485 NEW BEST:: SOT 4389645 SOS 712303 HAS SOPS 712303 HAS SOUS 610844 HAS SOUPS 610844 WITH SCORE 611556.303
AT ITER 7497 NEW BEST:: SOT 4389537 SOS 712286 HAS SOPS 712286 HAS SOUS 610628 HAS SOUPS 610628 WITH SCORE 611340.286
AT ITER 7498 NEW BEST:: SOT 4389417 SOS 712046 HAS SOPS 712046 HAS SOUS 610388 HAS SOUPS 610388 WITH SCORE 611100.046
AT ITER 7507 NEW BEST:: SOT 4389355 SOS 711922 HAS SOPS 711922 HAS SOUS 610326 HAS SOUPS 610326 WITH SCORE 611037.922
AT ITER 7533 NEW BEST:: SOT 4389101 SOS 711414 HAS SOPS 711414 HAS SOUS 609957 HAS SOUPS 609957 WITH SCORE 610668.414
AT ITER 7534 NEW BEST:: SOT 4389088 SOS 711388 HAS SOPS 711388 HAS SOUS 609931 HAS SOUPS 609931 WITH SCORE 610642.388
AT ITER 7583 NEW BEST:: SOT 4388980 SOS 711320 HAS SOPS 711320 HAS SOUS 609863 HAS SOUPS 609863 WITH SCORE 610574.32
AT ITER 7674 NEW BEST:: SOT 4388857 SOS 711074 HAS SOPS 711074 HAS SOUS 609740 HAS SOUPS 609740 WITH SCORE 610451.074
AT ITER 7685 NEW BEST:: SOT 4388723 SOS 711338 HAS SOPS 711338 HAS SOUS 609571 HAS SOUPS 609571 WITH SCORE 610282.338
AT ITER 7686 NEW BEST:: SOT 4388648 SOS 711256 HAS SOPS 711256 HAS SOUS 609428 HAS SOUPS 609428 WITH SCORE 610139.256
AT ITER 7706 NEW BEST:: SOT 4388458 SOS 710876 HAS SOPS 710876 HAS SOUS 609400 HAS SOUPS 609400 WITH SCORE 610110.876
AT ITER 7710 NEW BEST:: SOT 4388254 SOS 710468 HAS SOPS 710468 HAS SOUS 609113 HAS SOUPS 609113 WITH SCORE 609823.468
AT ITER 7776 NEW BEST:: SOT 4388187 SOS 710334 HAS SOPS 710334 HAS SOUS 609046 HAS SOUPS 609046 WITH SCORE 609756.334
AT ITER 7796 NEW BEST:: SOT 4388132 SOS 710279 HAS SOPS 710279 HAS SOUS 608991 HAS SOUPS 608991 WITH SCORE 609701.279
AT ITER 7802 NEW BEST:: SOT 4388121 SOS 710257 HAS SOPS 710257 HAS SOUS 608976 HAS SOUPS 608976 WITH SCORE 609686.257
AT ITER 7818 NEW BEST:: SOT 4388073 SOS 709947 HAS SOPS 709947 HAS SOUS 608880 HAS SOUPS 608880 WITH SCORE 609589.947
AT ITER 7832 NEW BEST:: SOT 4388046 SOS 709893 HAS SOPS 709893 HAS SOUS 608853 HAS SOUPS 608853 WITH SCORE 609562.893
AT ITER 7869 NEW BEST:: SOT 4387970 SOS 709741 HAS SOPS 709741 HAS SOUS 608701 HAS SOUPS 608701 WITH SCORE 609410.741
AT ITER 7902 NEW BEST:: SOT 4387963 SOS 709720 HAS SOPS 709720 HAS SOUS 608701 HAS SOUPS 608701 WITH SCORE 609410.72
AT ITER 7935 NEW BEST:: SOT 4387963 SOS 709568 HAS SOPS 709568 HAS SOUS 608549 HAS SOUPS 608549 WITH SCORE 609258.568
AT ITER 7986 NEW BEST:: SOT 4387899 SOS 709440 HAS SOPS 709440 HAS SOUS 608421 HAS SOUPS 608421 WITH SCORE 609130.44
AT ITER 8081 NEW BEST:: SOT 4387787 SOS 709216 HAS SOPS 709216 HAS SOUS 608316 HAS SOUPS 608316 WITH SCORE 609025.216
AT ITER 8084 NEW BEST:: SOT 4387718 SOS 709147 HAS SOPS 709147 HAS SOUS 608247 HAS SOUPS 608247 WITH SCORE 608956.147
AT ITER 8097 NEW BEST:: SOT 4387753 SOS 709217 HAS SOPS 709217 HAS SOUS 608052 HAS SOUPS 608052 WITH SCORE 608761.217
AT ITER 8115 NEW BEST:: SOT 4387753 SOS 709167 HAS SOPS 709167 HAS SOUS 608052 HAS SOUPS 608052 WITH SCORE 608761.167
AT ITER 8122 NEW BEST:: SOT 4387753 SOS 709018 HAS SOPS 709018 HAS SOUS 607903 HAS SOUPS 607903 WITH SCORE 608612.018
AT ITER 8142 NEW BEST:: SOT 4387657 SOS 708826 HAS SOPS 708826 HAS SOUS 607711 HAS SOUPS 607711 WITH SCORE 608419.826
AT ITER 8153 NEW BEST:: SOT 4387637 SOS 708786 HAS SOPS 708786 HAS SOUS 607671 HAS SOUPS 607671 WITH SCORE 608379.786
AT ITER 8160 NEW BEST:: SOT 4387630 SOS 708772 HAS SOPS 708772 HAS SOUS 607664 HAS SOUPS 607664 WITH SCORE 608372.772
AT ITER 8174 NEW BEST:: SOT 4387609 SOS 708709 HAS SOPS 708709 HAS SOUS 607601 HAS SOUPS 607601 WITH SCORE 608309.709
AT ITER 8193 NEW BEST:: SOT 4387605 SOS 708704 HAS SOPS 708704 HAS SOUS 607596 HAS SOUPS 607596 WITH SCORE 608304.704
AT ITER 8246 NEW BEST:: SOT 4387339 SOS 708438 HAS SOPS 708438 HAS SOUS 607596 HAS SOUPS 607596 WITH SCORE 608304.438
AT ITER 8258 NEW BEST:: SOT 4387332 SOS 708144 HAS SOPS 708144 HAS SOUS 607582 HAS SOUPS 607582 WITH SCORE 608290.144
AT ITER 8260 NEW BEST:: SOT 4387060 SOS 707872 HAS SOPS 707872 HAS SOUS 607310 HAS SOUPS 607310 WITH SCORE 608017.872
AT ITER 8264 NEW BEST:: SOT 4386711 SOS 707902 HAS SOPS 707902 HAS SOUS 607065 HAS SOUPS 607065 WITH SCORE 607772.902
AT ITER 8269 NEW BEST:: SOT 4386598 SOS 707898 HAS SOPS 707898 HAS SOUS 607026 HAS SOUPS 607026 WITH SCORE 607733.898
AT ITER 8279 NEW BEST:: SOT 4386510 SOS 707722 HAS SOPS 707722 HAS SOUS 607017 HAS SOUPS 607017 WITH SCORE 607724.722
AT ITER 8284 NEW BEST:: SOT 4386388 SOS 707622 HAS SOPS 707622 HAS SOUS 606913 HAS SOUPS 606913 WITH SCORE 607620.622
AT ITER 8293 NEW BEST:: SOT 4386480 SOS 707806 HAS SOPS 707806 HAS SOUS 606827 HAS SOUPS 606827 WITH SCORE 607534.806
AT ITER 8306 NEW BEST:: SOT 4386479 SOS 707780 HAS SOPS 707780 HAS SOUS 606800 HAS SOUPS 606800 WITH SCORE 607507.78
AT ITER 8407 NEW BEST:: SOT 4386305 SOS 707734 HAS SOPS 707734 HAS SOUS 606644 HAS SOUPS 606644 WITH SCORE 607351.734
AT ITER 8441 NEW BEST:: SOT 4386272 SOS 707494 HAS SOPS 707494 HAS SOUS 606404 HAS SOUPS 606404 WITH SCORE 607111.494
AT ITER 8467 NEW BEST:: SOT 4386327 SOS 707467 HAS SOPS 707467 HAS SOUS 606322 HAS SOUPS 606322 WITH SCORE 607029.467
AT ITER 8473 NEW BEST:: SOT 4386127 SOS 707412 HAS SOPS 707412 HAS SOUS 606174 HAS SOUPS 606174 WITH SCORE 606881.412
AT ITER 8485 NEW BEST:: SOT 4385885 SOS 707843 HAS SOPS 707843 HAS SOUS 606071 HAS SOUPS 606071 WITH SCORE 606778.843
AT ITER 8500 NEW BEST:: SOT 4385884 SOS 707841 HAS SOPS 707841 HAS SOUS 606069 HAS SOUPS 606069 WITH SCORE 606776.841
AT ITER 8531 NEW BEST:: SOT 4385656 SOS 707500 HAS SOPS 707500 HAS SOUS 605726 HAS SOUPS 605726 WITH SCORE 606433.5
AT ITER 8578 NEW BEST:: SOT 4385409 SOS 707006 HAS SOPS 707006 HAS SOUS 605232 HAS SOUPS 605232 WITH SCORE 605939.006
AT ITER 8592 NEW BEST:: SOT 4385380 SOS 707119 HAS SOPS 707119 HAS SOUS 605032 HAS SOUPS 605032 WITH SCORE 605739.119
AT ITER 8611 NEW BEST:: SOT 4385366 SOS 707077 HAS SOPS 707077 HAS SOUS 604990 HAS SOUPS 604990 WITH SCORE 605697.077
AT ITER 8644 NEW BEST:: SOT 4385261 SOS 706867 HAS SOPS 706867 HAS SOUS 604780 HAS SOUPS 604780 WITH SCORE 605486.867
AT ITER 8653 NEW BEST:: SOT 4385104 SOS 706553 HAS SOPS 706553 HAS SOUS 604466 HAS SOUPS 604466 WITH SCORE 605172.553
AT ITER 8663 NEW BEST:: SOT 4385228 SOS 706522 HAS SOPS 706522 HAS SOUS 604434 HAS SOUPS 604434 WITH SCORE 605140.522
AT ITER 8676 NEW BEST:: SOT 4385252 SOS 706157 HAS SOPS 706157 HAS SOUS 604216 HAS SOUPS 604216 WITH SCORE 604922.157
AT ITER 8758 NEW BEST:: SOT 4385245 SOS 706143 HAS SOPS 706143 HAS SOUS 604209 HAS SOUPS 604209 WITH SCORE 604915.143
AT ITER 8770 NEW BEST:: SOT 4385197 SOS 706047 HAS SOPS 706047 HAS SOUS 604113 HAS SOUPS 604113 WITH SCORE 604819.047
AT ITER 8773 NEW BEST:: SOT 4385161 SOS 706047 HAS SOPS 706047 HAS SOUS 604095 HAS SOUPS 604095 WITH SCORE 604801.047
AT ITER 8774 NEW BEST:: SOT 4385045 SOS 705815 HAS SOPS 705815 HAS SOUS 603863 HAS SOUPS 603863 WITH SCORE 604568.815
AT ITER 8836 NEW BEST:: SOT 4385045 SOS 705838 HAS SOPS 705838 HAS SOUS 603840 HAS SOUPS 603840 WITH SCORE 604545.838
AT ITER 8838 NEW BEST:: SOT 4384887 SOS 705347 HAS SOPS 705347 HAS SOUS 603682 HAS SOUPS 603682 WITH SCORE 604387.347
AT ITER 8854 NEW BEST:: SOT 4384609 SOS 705069 HAS SOPS 705069 HAS SOUS 603404 HAS SOUPS 603404 WITH SCORE 604109.069
AT ITER 9003 NEW BEST:: SOT 4384489 SOS 704829 HAS SOPS 704829 HAS SOUS 603284 HAS SOUPS 603284 WITH SCORE 603988.829
AT ITER 9031 NEW BEST:: SOT 4384379 SOS 704609 HAS SOPS 704609 HAS SOUS 603064 HAS SOUPS 603064 WITH SCORE 603768.609
AT ITER 9055 NEW BEST:: SOT 4384404 SOS 704453 HAS SOPS 704453 HAS SOUS 603037 HAS SOUPS 603037 WITH SCORE 603741.453
AT ITER 9117 NEW BEST:: SOT 4384404 SOS 704343 HAS SOPS 704343 HAS SOUS 602982 HAS SOUPS 602982 WITH SCORE 603686.343
AT ITER 9166 NEW BEST:: SOT 4383739 SOS 704701 HAS SOPS 704701 HAS SOUS 602470 HAS SOUPS 602470 WITH SCORE 603174.701
AT ITER 9178 NEW BEST:: SOT 4383882 SOS 704615 HAS SOPS 704615 HAS SOUS 602232 HAS SOUPS 602232 WITH SCORE 602936.615
AT ITER 9185 NEW BEST:: SOT 4383812 SOS 704545 HAS SOPS 704545 HAS SOUS 602162 HAS SOUPS 602162 WITH SCORE 602866.545
AT ITER 9193 NEW BEST:: SOT 4383718 SOS 704545 HAS SOPS 704545 HAS SOUS 602115 HAS SOUPS 602115 WITH SCORE 602819.545
AT ITER 9201 NEW BEST:: SOT 4383713 SOS 704540 HAS SOPS 704540 HAS SOUS 602110 HAS SOUPS 602110 WITH SCORE 602814.54
AT ITER 9263 NEW BEST:: SOT 4383581 SOS 704276 HAS SOPS 704276 HAS SOUS 601846 HAS SOUPS 601846 WITH SCORE 602550.276
AT ITER 9308 NEW BEST:: SOT 4383531 SOS 704176 HAS SOPS 704176 HAS SOUS 601746 HAS SOUPS 601746 WITH SCORE 602450.176
AT ITER 9309 NEW BEST:: SOT 4383631 SOS 704457 HAS SOPS 704457 HAS SOUS 601614 HAS SOUPS 601614 WITH SCORE 602318.457
AT ITER 9324 NEW BEST:: SOT 4383928 SOS 703376 HAS SOPS 703376 HAS SOUS 601457 HAS SOUPS 601457 WITH SCORE 602160.376
AT ITER 9326 NEW BEST:: SOT 4383912 SOS 703344 HAS SOPS 703344 HAS SOUS 601425 HAS SOUPS 601425 WITH SCORE 602128.344
AT ITER 9336 NEW BEST:: SOT 4383703 SOS 702926 HAS SOPS 702926 HAS SOUS 601216 HAS SOUPS 601216 WITH SCORE 601918.926
AT ITER 9373 NEW BEST:: SOT 4383633 SOS 702915 HAS SOPS 702915 HAS SOUS 601113 HAS SOUPS 601113 WITH SCORE 601815.915
AT ITER 9411 NEW BEST:: SOT 4383633 SOS 702915 HAS SOPS 702915 HAS SOUS 601110 HAS SOUPS 601110 WITH SCORE 601812.915
AT ITER 9421 NEW BEST:: SOT 4383600 SOS 702882 HAS SOPS 702882 HAS SOUS 601077 HAS SOUPS 601077 WITH SCORE 601779.882
AT ITER 9432 NEW BEST:: SOT 4383487 SOS 702940 HAS SOPS 702940 HAS SOUS 600992 HAS SOUPS 600992 WITH SCORE 601694.94
AT ITER 9484 NEW BEST:: SOT 4383569 SOS 703104 HAS SOPS 703104 HAS SOUS 600884 HAS SOUPS 600884 WITH SCORE 601587.104
AT ITER 9498 NEW BEST:: SOT 4383602 SOS 702950 HAS SOPS 702950 HAS SOUS 600873 HAS SOUPS 600873 WITH SCORE 601575.95
AT ITER 9528 NEW BEST:: SOT 4383590 SOS 702942 HAS SOPS 702942 HAS SOUS 600865 HAS SOUPS 600865 WITH SCORE 601567.942
AT ITER 9564 NEW BEST:: SOT 4383590 SOS 703180 HAS SOPS 703180 HAS SOUS 600627 HAS SOUPS 600627 WITH SCORE 601330.18
AT ITER 9565 NEW BEST:: SOT 4383590 SOS 702932 HAS SOPS 702932 HAS SOUS 600503 HAS SOUPS 600503 WITH SCORE 601205.932
AT ITER 9567 NEW BEST:: SOT 4383172 SOS 702932 HAS SOPS 702932 HAS SOUS 600294 HAS SOUPS 600294 WITH SCORE 600996.932
AT ITER 9570 NEW BEST:: SOT 4383143 SOS 702874 HAS SOPS 702874 HAS SOUS 600236 HAS SOUPS 600236 WITH SCORE 600938.874
AT ITER 9575 NEW BEST:: SOT 4383116 SOS 702820 HAS SOPS 702820 HAS SOUS 600093 HAS SOUPS 600093 WITH SCORE 600795.82
AT ITER 9613 NEW BEST:: SOT 4383116 SOS 702631 HAS SOPS 702631 HAS SOUS 600093 HAS SOUPS 600093 WITH SCORE 600795.631
AT ITER 9630 NEW BEST:: SOT 4383116 SOS 702416 HAS SOPS 702416 HAS SOUS 599994 HAS SOUPS 599994 WITH SCORE 600696.416
AT ITER 9658 NEW BEST:: SOT 4383087 SOS 702358 HAS SOPS 702358 HAS SOUS 599936 HAS SOUPS 599936 WITH SCORE 600638.358
AT ITER 9688 NEW BEST:: SOT 4383086 SOS 702356 HAS SOPS 702356 HAS SOUS 599934 HAS SOUPS 599934 WITH SCORE 600636.356
AT ITER 9716 NEW BEST:: SOT 4383025 SOS 701910 HAS SOPS 701910 HAS SOUS 599908 HAS SOUPS 599908 WITH SCORE 600609.91
AT ITER 9744 NEW BEST:: SOT 4383025 SOS 701890 HAS SOPS 701890 HAS SOUS 599888 HAS SOUPS 599888 WITH SCORE 600589.89
AT ITER 9765 NEW BEST:: SOT 4383033 SOS 701906 HAS SOPS 701906 HAS SOUS 599789 HAS SOUPS 599789 WITH SCORE 600490.906
AT ITER 9786 NEW BEST:: SOT 4382930 SOS 701494 HAS SOPS 701494 HAS SOUS 599583 HAS SOUPS 599583 WITH SCORE 600284.494
AT ITER 9799 NEW BEST:: SOT 4382876 SOS 701386 HAS SOPS 701386 HAS SOUS 599466 HAS SOUPS 599466 WITH SCORE 600167.386
AT ITER 9842 NEW BEST:: SOT 4382876 SOS 701331 HAS SOPS 701331 HAS SOUS 599455 HAS SOUPS 599455 WITH SCORE 600156.331
AT ITER 9852 NEW BEST:: SOT 4382876 SOS 701291 HAS SOPS 701291 HAS SOUS 599455 HAS SOUPS 599455 WITH SCORE 600156.291
AT ITER 9858 NEW BEST:: SOT 4382780 SOS 701099 HAS SOPS 701099 HAS SOUS 599359 HAS SOUPS 599359 WITH SCORE 600060.099
AT ITER 9883 NEW BEST:: SOT 4382747 SOS 700973 HAS SOPS 700973 HAS SOUS 599266 HAS SOUPS 599266 WITH SCORE 599966.973
AT ITER 9888 NEW BEST:: SOT 4382746 SOS 700971 HAS SOPS 700971 HAS SOUS 599264 HAS SOUPS 599264 WITH SCORE 599964.971
AT ITER 9917 NEW BEST:: SOT 4382746 SOS 700968 HAS SOPS 700968 HAS SOUS 599264 HAS SOUPS 599264 WITH SCORE 599964.968
AT ITER 9941 NEW BEST:: SOT 4382618 SOS 700840 HAS SOPS 700840 HAS SOUS 599136 HAS SOUPS 599136 WITH SCORE 599836.84
AT ITER 9947 NEW BEST:: SOT 4382552 SOS 700708 HAS SOPS 700708 HAS SOUS 599070 HAS SOUPS 599070 WITH SCORE 599770.708
AT ITER 9967 NEW BEST:: SOT 4382552 SOS 700634 HAS SOPS 700634 HAS SOUS 599033 HAS SOUPS 599033 WITH SCORE 599733.634
AT ITER 9974 NEW BEST:: SOT 4382334 SOS 702858 HAS SOPS 702858 HAS SOUS 599028 HAS SOUPS 599028 WITH SCORE 599730.858
AT ITER 9985 NEW BEST:: SOT 4382236 SOS 702662 HAS SOPS 702662 HAS SOUS 598881 HAS SOUPS 598881 WITH SCORE 599583.662
AT ITER 9991 NEW BEST:: SOT 4382211 SOS 702612 HAS SOPS 702612 HAS SOUS 598831 HAS SOUPS 598831 WITH SCORE 599533.612
AT ITER 9997 NEW BEST:: SOT 4382081 SOS 702547 HAS SOPS 702547 HAS SOUS 598766 HAS SOUPS 598766 WITH SCORE 599468.547

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-313"
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-313, 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-158902541700104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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