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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 26 08:13 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 1589091734999

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 308
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 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 25 NEW BEST:: SOT 4443100 SOS 758596 HAS SOPS 758596 HAS SOUS 699618 HAS SOUPS 699618 WITH SCORE 700376.596
AT ITER 40 NEW BEST:: SOT 4443100 SOS 758523 HAS SOPS 758523 HAS SOUS 699618 HAS SOUPS 699618 WITH SCORE 700376.523
AT ITER 65 NEW BEST:: SOT 4443226 SOS 758513 HAS SOPS 758513 HAS SOUS 699608 HAS SOUPS 699608 WITH SCORE 700366.513
AT ITER 77 NEW BEST:: SOT 4443065 SOS 758463 HAS SOPS 758463 HAS SOUS 699531 HAS SOUPS 699531 WITH SCORE 700289.463
AT ITER 88 NEW BEST:: SOT 4441183 SOS 761335 HAS SOPS 761335 HAS SOUS 697804 HAS SOUPS 697804 WITH SCORE 698565.335
AT ITER 115 NEW BEST:: SOT 4440869 SOS 761182 HAS SOPS 761182 HAS SOUS 697651 HAS SOUPS 697651 WITH SCORE 698412.182
AT ITER 116 NEW BEST:: SOT 4440817 SOS 761143 HAS SOPS 761143 HAS SOUS 697612 HAS SOUPS 697612 WITH SCORE 698373.143
AT ITER 123 NEW BEST:: SOT 4439037 SOS 760146 HAS SOPS 760146 HAS SOUS 696234 HAS SOUPS 696234 WITH SCORE 696994.146
AT ITER 124 NEW BEST:: SOT 4439231 SOS 760127 HAS SOPS 760127 HAS SOUS 696119 HAS SOUPS 696119 WITH SCORE 696879.127
AT ITER 126 NEW BEST:: SOT 4439220 SOS 760105 HAS SOPS 760105 HAS SOUS 696108 HAS SOUPS 696108 WITH SCORE 696868.105
AT ITER 139 NEW BEST:: SOT 4439157 SOS 759979 HAS SOPS 759979 HAS SOUS 695982 HAS SOUPS 695982 WITH SCORE 696741.979
AT ITER 144 NEW BEST:: SOT 4439083 SOS 759905 HAS SOPS 759905 HAS SOUS 695908 HAS SOUPS 695908 WITH SCORE 696667.905
AT ITER 181 NEW BEST:: SOT 4439038 SOS 759945 HAS SOPS 759945 HAS SOUS 695733 HAS SOUPS 695733 WITH SCORE 696492.945
AT ITER 192 NEW BEST:: SOT 4438875 SOS 759889 HAS SOPS 759889 HAS SOUS 695624 HAS SOUPS 695624 WITH SCORE 696383.889
AT ITER 193 NEW BEST:: SOT 4438813 SOS 759928 HAS SOPS 759928 HAS SOUS 695562 HAS SOUPS 695562 WITH SCORE 696321.928
AT ITER 211 NEW BEST:: SOT 4438539 SOS 759380 HAS SOPS 759380 HAS SOUS 695288 HAS SOUPS 695288 WITH SCORE 696047.38
AT ITER 310 NEW BEST:: SOT 4438510 SOS 759322 HAS SOPS 759322 HAS SOUS 695259 HAS SOUPS 695259 WITH SCORE 696018.322
AT ITER 340 NEW BEST:: SOT 4438557 SOS 759274 HAS SOPS 759274 HAS SOUS 695211 HAS SOUPS 695211 WITH SCORE 695970.274
AT ITER 348 NEW BEST:: SOT 4438557 SOS 759274 HAS SOPS 759274 HAS SOUS 695017 HAS SOUPS 695017 WITH SCORE 695776.274
AT ITER 349 NEW BEST:: SOT 4438269 SOS 758698 HAS SOPS 758698 HAS SOUS 694441 HAS SOUPS 694441 WITH SCORE 695199.698
AT ITER 358 NEW BEST:: SOT 4438230 SOS 753704 HAS SOPS 753704 HAS SOUS 694402 HAS SOUPS 694402 WITH SCORE 695155.704
AT ITER 361 NEW BEST:: SOT 4438215 SOS 753689 HAS SOPS 753689 HAS SOUS 694387 HAS SOUPS 694387 WITH SCORE 695140.689
AT ITER 382 NEW BEST:: SOT 4438044 SOS 753518 HAS SOPS 753518 HAS SOUS 694216 HAS SOUPS 694216 WITH SCORE 694969.518
AT ITER 383 NEW BEST:: SOT 4438044 SOS 753328 HAS SOPS 753328 HAS SOUS 693922 HAS SOUPS 693922 WITH SCORE 694675.328
AT ITER 401 NEW BEST:: SOT 4437828 SOS 752896 HAS SOPS 752896 HAS SOUS 693706 HAS SOUPS 693706 WITH SCORE 694458.896
AT ITER 409 NEW BEST:: SOT 4437257 SOS 752586 HAS SOPS 752586 HAS SOUS 693109 HAS SOUPS 693109 WITH SCORE 693861.586
AT ITER 420 NEW BEST:: SOT 4437138 SOS 752621 HAS SOPS 752621 HAS SOUS 693023 HAS SOUPS 693023 WITH SCORE 693775.621
AT ITER 430 NEW BEST:: SOT 4437081 SOS 752507 HAS SOPS 752507 HAS SOUS 692909 HAS SOUPS 692909 WITH SCORE 693661.507
AT ITER 466 NEW BEST:: SOT 4436679 SOS 752023 HAS SOPS 752023 HAS SOUS 692402 HAS SOUPS 692402 WITH SCORE 693154.023
AT ITER 476 NEW BEST:: SOT 4436480 SOS 752038 HAS SOPS 752038 HAS SOUS 692241 HAS SOUPS 692241 WITH SCORE 692993.038
AT ITER 500 NEW BEST:: SOT 4436479 SOS 752036 HAS SOPS 752036 HAS SOUS 692239 HAS SOUPS 692239 WITH SCORE 692991.036
AT ITER 514 NEW BEST:: SOT 4436277 SOS 751884 HAS SOPS 751884 HAS SOUS 692037 HAS SOUPS 692037 WITH SCORE 692788.884
AT ITER 544 NEW BEST:: SOT 4436209 SOS 751748 HAS SOPS 751748 HAS SOUS 691901 HAS SOUPS 691901 WITH SCORE 692652.748
AT ITER 604 NEW BEST:: SOT 4436209 SOS 751603 HAS SOPS 751603 HAS SOUS 691756 HAS SOUPS 691756 WITH SCORE 692507.603
AT ITER 617 NEW BEST:: SOT 4436209 SOS 751603 HAS SOPS 751603 HAS SOUS 691739 HAS SOUPS 691739 WITH SCORE 692490.603
AT ITER 620 NEW BEST:: SOT 4436209 SOS 751337 HAS SOPS 751337 HAS SOUS 691606 HAS SOUPS 691606 WITH SCORE 692357.337
AT ITER 625 NEW BEST:: SOT 4436203 SOS 751325 HAS SOPS 751325 HAS SOUS 691594 HAS SOUPS 691594 WITH SCORE 692345.325
AT ITER 628 NEW BEST:: SOT 4436183 SOS 751311 HAS SOPS 751311 HAS SOUS 691580 HAS SOUPS 691580 WITH SCORE 692331.311
AT ITER 634 NEW BEST:: SOT 4436182 SOS 751309 HAS SOPS 751309 HAS SOUS 691578 HAS SOUPS 691578 WITH SCORE 692329.309
AT ITER 640 NEW BEST:: SOT 4436149 SOS 751243 HAS SOPS 751243 HAS SOUS 691512 HAS SOUPS 691512 WITH SCORE 692263.243
AT ITER 644 NEW BEST:: SOT 4435976 SOS 750897 HAS SOPS 750897 HAS SOUS 691166 HAS SOUPS 691166 WITH SCORE 691916.897
AT ITER 684 NEW BEST:: SOT 4435824 SOS 750745 HAS SOPS 750745 HAS SOUS 691014 HAS SOUPS 691014 WITH SCORE 691764.745
AT ITER 688 NEW BEST:: SOT 4435814 SOS 750725 HAS SOPS 750725 HAS SOUS 690994 HAS SOUPS 690994 WITH SCORE 691744.725
AT ITER 689 NEW BEST:: SOT 4435733 SOS 750563 HAS SOPS 750563 HAS SOUS 690913 HAS SOUPS 690913 WITH SCORE 691663.563
AT ITER 703 NEW BEST:: SOT 4435549 SOS 750195 HAS SOPS 750195 HAS SOUS 690545 HAS SOUPS 690545 WITH SCORE 691295.195
AT ITER 704 NEW BEST:: SOT 4435488 SOS 750073 HAS SOPS 750073 HAS SOUS 690484 HAS SOUPS 690484 WITH SCORE 691234.073
AT ITER 757 NEW BEST:: SOT 4435354 SOS 749805 HAS SOPS 749805 HAS SOUS 690216 HAS SOUPS 690216 WITH SCORE 690965.805
AT ITER 796 NEW BEST:: SOT 4435326 SOS 749749 HAS SOPS 749749 HAS SOUS 689585 HAS SOUPS 689585 WITH SCORE 690334.749
AT ITER 830 NEW BEST:: SOT 4435326 SOS 749596 HAS SOPS 749596 HAS SOUS 689432 HAS SOUPS 689432 WITH SCORE 690181.596
AT ITER 837 NEW BEST:: SOT 4435326 SOS 749323 HAS SOPS 749323 HAS SOUS 689432 HAS SOUPS 689432 WITH SCORE 690181.323
AT ITER 880 NEW BEST:: SOT 4435435 SOS 749541 HAS SOPS 749541 HAS SOUS 689333 HAS SOUPS 689333 WITH SCORE 690082.541
AT ITER 890 NEW BEST:: SOT 4435434 SOS 749539 HAS SOPS 749539 HAS SOUS 689331 HAS SOUPS 689331 WITH SCORE 690080.539
AT ITER 896 NEW BEST:: SOT 4435712 SOS 749572 HAS SOPS 749572 HAS SOUS 689183 HAS SOUPS 689183 WITH SCORE 689932.572
AT ITER 897 NEW BEST:: SOT 4435320 SOS 749180 HAS SOPS 749180 HAS SOUS 688791 HAS SOUPS 688791 WITH SCORE 689540.18
AT ITER 903 NEW BEST:: SOT 4435164 SOS 748868 HAS SOPS 748868 HAS SOUS 688424 HAS SOUPS 688424 WITH SCORE 689172.868
AT ITER 928 NEW BEST:: SOT 4435281 SOS 749102 HAS SOPS 749102 HAS SOUS 688304 HAS SOUPS 688304 WITH SCORE 689053.102
AT ITER 975 NEW BEST:: SOT 4435110 SOS 748760 HAS SOPS 748760 HAS SOUS 687962 HAS SOUPS 687962 WITH SCORE 688710.76
AT ITER 990 NEW BEST:: SOT 4435110 SOS 748760 HAS SOPS 748760 HAS SOUS 687716 HAS SOUPS 687716 WITH SCORE 688464.76
AT ITER 992 NEW BEST:: SOT 4435109 SOS 748758 HAS SOPS 748758 HAS SOUS 687714 HAS SOUPS 687714 WITH SCORE 688462.758
AT ITER 1002 NEW BEST:: SOT 4435088 SOS 748716 HAS SOPS 748716 HAS SOUS 687672 HAS SOUPS 687672 WITH SCORE 688420.716
AT ITER 1003 NEW BEST:: SOT 4435077 SOS 748694 HAS SOPS 748694 HAS SOUS 687650 HAS SOUPS 687650 WITH SCORE 688398.694
AT ITER 1015 NEW BEST:: SOT 4435023 SOS 748532 HAS SOPS 748532 HAS SOUS 687596 HAS SOUPS 687596 WITH SCORE 688344.532
AT ITER 1019 NEW BEST:: SOT 4434994 SOS 748097 HAS SOPS 748097 HAS SOUS 687207 HAS SOUPS 687207 WITH SCORE 687955.097
AT ITER 1050 NEW BEST:: SOT 4434994 SOS 748030 HAS SOPS 748030 HAS SOUS 687206 HAS SOUPS 687206 WITH SCORE 687954.03
AT ITER 1072 NEW BEST:: SOT 4434941 SOS 748002 HAS SOPS 748002 HAS SOUS 687100 HAS SOUPS 687100 WITH SCORE 687848.002
AT ITER 1096 NEW BEST:: SOT 4434765 SOS 747650 HAS SOPS 747650 HAS SOUS 686748 HAS SOUPS 686748 WITH SCORE 687495.65
AT ITER 1123 NEW BEST:: SOT 4434484 SOS 747988 HAS SOPS 747988 HAS SOUS 686692 HAS SOUPS 686692 WITH SCORE 687439.988
AT ITER 1129 NEW BEST:: SOT 4434204 SOS 747428 HAS SOPS 747428 HAS SOUS 686132 HAS SOUPS 686132 WITH SCORE 686879.428
AT ITER 1161 NEW BEST:: SOT 4430321 SOS 812574 HAS SOPS 812574 HAS SOUS 685848 HAS SOUPS 685848 WITH SCORE 686660.574
AT ITER 1169 NEW BEST:: SOT 4430321 SOS 812532 HAS SOPS 812532 HAS SOUS 685847 HAS SOUPS 685847 WITH SCORE 686659.532
AT ITER 1227 NEW BEST:: SOT 4430242 SOS 812606 HAS SOPS 812606 HAS SOUS 685768 HAS SOUPS 685768 WITH SCORE 686580.606
AT ITER 1241 NEW BEST:: SOT 4430176 SOS 812550 HAS SOPS 812550 HAS SOUS 685636 HAS SOUPS 685636 WITH SCORE 686448.55
AT ITER 1245 NEW BEST:: SOT 4430093 SOS 812300 HAS SOPS 812300 HAS SOUS 685469 HAS SOUPS 685469 WITH SCORE 686281.3
AT ITER 1247 NEW BEST:: SOT 4430092 SOS 812298 HAS SOPS 812298 HAS SOUS 685467 HAS SOUPS 685467 WITH SCORE 686279.298
AT ITER 1254 NEW BEST:: SOT 4429858 SOS 812064 HAS SOPS 812064 HAS SOUS 685233 HAS SOUPS 685233 WITH SCORE 686045.064
AT ITER 1264 NEW BEST:: SOT 4429822 SOS 811729 HAS SOPS 811729 HAS SOUS 684992 HAS SOUPS 684992 WITH SCORE 685803.729
AT ITER 1285 NEW BEST:: SOT 4429463 SOS 811219 HAS SOPS 811219 HAS SOUS 684482 HAS SOUPS 684482 WITH SCORE 685293.219
AT ITER 1287 NEW BEST:: SOT 4429463 SOS 811219 HAS SOPS 811219 HAS SOUS 684479 HAS SOUPS 684479 WITH SCORE 685290.219
AT ITER 1300 NEW BEST:: SOT 4429321 SOS 810935 HAS SOPS 810935 HAS SOUS 684337 HAS SOUPS 684337 WITH SCORE 685147.935
AT ITER 1301 NEW BEST:: SOT 4429176 SOS 810921 HAS SOPS 810921 HAS SOUS 683996 HAS SOUPS 683996 WITH SCORE 684806.921
AT ITER 1306 NEW BEST:: SOT 4429176 SOS 810666 HAS SOPS 810666 HAS SOUS 683995 HAS SOUPS 683995 WITH SCORE 684805.666
AT ITER 1312 NEW BEST:: SOT 4429175 SOS 810664 HAS SOPS 810664 HAS SOUS 683993 HAS SOUPS 683993 WITH SCORE 684803.664
AT ITER 1313 NEW BEST:: SOT 4429399 SOS 811112 HAS SOPS 811112 HAS SOUS 683977 HAS SOUPS 683977 WITH SCORE 684788.112
AT ITER 1344 NEW BEST:: SOT 4429304 SOS 810657 HAS SOPS 810657 HAS SOUS 683617 HAS SOUPS 683617 WITH SCORE 684427.657
AT ITER 1358 NEW BEST:: SOT 4429480 SOS 811009 HAS SOPS 811009 HAS SOUS 683612 HAS SOUPS 683612 WITH SCORE 684423.009
AT ITER 1359 NEW BEST:: SOT 4429224 SOS 810497 HAS SOPS 810497 HAS SOUS 683100 HAS SOUPS 683100 WITH SCORE 683910.497
AT ITER 1363 NEW BEST:: SOT 4429262 SOS 810573 HAS SOPS 810573 HAS SOUS 683092 HAS SOUPS 683092 WITH SCORE 683902.573
AT ITER 1390 NEW BEST:: SOT 4429216 SOS 810435 HAS SOPS 810435 HAS SOUS 683000 HAS SOUPS 683000 WITH SCORE 683810.435
AT ITER 1424 NEW BEST:: SOT 4429269 SOS 810541 HAS SOPS 810541 HAS SOUS 682884 HAS SOUPS 682884 WITH SCORE 683694.541
AT ITER 1438 NEW BEST:: SOT 4428866 SOS 810205 HAS SOPS 810205 HAS SOUS 682547 HAS SOUPS 682547 WITH SCORE 683357.205
AT ITER 1465 NEW BEST:: SOT 4428866 SOS 810205 HAS SOPS 810205 HAS SOUS 682477 HAS SOUPS 682477 WITH SCORE 683287.205
AT ITER 1494 NEW BEST:: SOT 4428592 SOS 790897 HAS SOPS 790897 HAS SOUS 681929 HAS SOUPS 681929 WITH SCORE 682719.897
AT ITER 1498 NEW BEST:: SOT 4428592 SOS 790767 HAS SOPS 790767 HAS SOUS 681929 HAS SOUPS 681929 WITH SCORE 682719.767
AT ITER 1573 NEW BEST:: SOT 4428182 SOS 790152 HAS SOPS 790152 HAS SOUS 681314 HAS SOUPS 681314 WITH SCORE 682104.152
AT ITER 1578 NEW BEST:: SOT 4428178 SOS 790144 HAS SOPS 790144 HAS SOUS 681306 HAS SOUPS 681306 WITH SCORE 682096.144
AT ITER 1582 NEW BEST:: SOT 4427857 SOS 789719 HAS SOPS 789719 HAS SOUS 680768 HAS SOUPS 680768 WITH SCORE 681557.719
AT ITER 1585 NEW BEST:: SOT 4427845 SOS 789716 HAS SOPS 789716 HAS SOUS 680765 HAS SOUPS 680765 WITH SCORE 681554.716
AT ITER 1606 NEW BEST:: SOT 4427697 SOS 789420 HAS SOPS 789420 HAS SOUS 680469 HAS SOUPS 680469 WITH SCORE 681258.42
AT ITER 1670 NEW BEST:: SOT 4427697 SOS 789335 HAS SOPS 789335 HAS SOUS 680469 HAS SOUPS 680469 WITH SCORE 681258.335
AT ITER 1682 NEW BEST:: SOT 4427611 SOS 788505 HAS SOPS 788505 HAS SOUS 680237 HAS SOUPS 680237 WITH SCORE 681025.505
AT ITER 1715 NEW BEST:: SOT 4427592 SOS 788467 HAS SOPS 788467 HAS SOUS 680199 HAS SOUPS 680199 WITH SCORE 680987.467
AT ITER 1728 NEW BEST:: SOT 4427483 SOS 788249 HAS SOPS 788249 HAS SOUS 680024 HAS SOUPS 680024 WITH SCORE 680812.249
AT ITER 1731 NEW BEST:: SOT 4422905 SOS 791857 HAS SOPS 791857 HAS SOUS 675707 HAS SOUPS 675707 WITH SCORE 676498.857
AT ITER 1732 NEW BEST:: SOT 4422668 SOS 791619 HAS SOPS 791619 HAS SOUS 675469 HAS SOUPS 675469 WITH SCORE 676260.619
AT ITER 1758 NEW BEST:: SOT 4422667 SOS 791617 HAS SOPS 791617 HAS SOUS 675467 HAS SOUPS 675467 WITH SCORE 676258.617
AT ITER 1772 NEW BEST:: SOT 4422402 SOS 792017 HAS SOPS 792017 HAS SOUS 675135 HAS SOUPS 675135 WITH SCORE 675927.017
AT ITER 1781 NEW BEST:: SOT 4422012 SOS 792273 HAS SOPS 792273 HAS SOUS 674964 HAS SOUPS 674964 WITH SCORE 675756.273
AT ITER 1807 NEW BEST:: SOT 4421719 SOS 791993 HAS SOPS 791993 HAS SOUS 674676 HAS SOUPS 674676 WITH SCORE 675467.993
AT ITER 1826 NEW BEST:: SOT 4421718 SOS 792047 HAS SOPS 792047 HAS SOUS 674674 HAS SOUPS 674674 WITH SCORE 675466.047
AT ITER 1846 NEW BEST:: SOT 4419789 SOS 792333 HAS SOPS 792333 HAS SOUS 673559 HAS SOUPS 673559 WITH SCORE 674351.333
AT ITER 1849 NEW BEST:: SOT 4419788 SOS 792331 HAS SOPS 792331 HAS SOUS 673557 HAS SOUPS 673557 WITH SCORE 674349.331
AT ITER 1856 NEW BEST:: SOT 4419911 SOS 792577 HAS SOPS 792577 HAS SOUS 673479 HAS SOUPS 673479 WITH SCORE 674271.577
AT ITER 1882 NEW BEST:: SOT 4411148 SOS 789587 HAS SOPS 789587 HAS SOUS 665055 HAS SOUPS 665055 WITH SCORE 665844.587
AT ITER 1926 NEW BEST:: SOT 4410972 SOS 789235 HAS SOPS 789235 HAS SOUS 664703 HAS SOUPS 664703 WITH SCORE 665492.235
AT ITER 1927 NEW BEST:: SOT 4410911 SOS 789235 HAS SOPS 789235 HAS SOUS 664642 HAS SOUPS 664642 WITH SCORE 665431.235
AT ITER 1930 NEW BEST:: SOT 4410910 SOS 789117 HAS SOPS 789117 HAS SOUS 664640 HAS SOUPS 664640 WITH SCORE 665429.117
AT ITER 1932 NEW BEST:: SOT 4410584 SOS 788971 HAS SOPS 788971 HAS SOUS 664379 HAS SOUPS 664379 WITH SCORE 665167.971
AT ITER 1993 NEW BEST:: SOT 4410483 SOS 788668 HAS SOPS 788668 HAS SOUS 664177 HAS SOUPS 664177 WITH SCORE 664965.668
AT ITER 2019 NEW BEST:: SOT 4410406 SOS 788860 HAS SOPS 788860 HAS SOUS 664099 HAS SOUPS 664099 WITH SCORE 664887.86
AT ITER 2029 NEW BEST:: SOT 4410251 SOS 789300 HAS SOPS 789300 HAS SOUS 664094 HAS SOUPS 664094 WITH SCORE 664883.3
AT ITER 2041 NEW BEST:: SOT 4410141 SOS 789080 HAS SOPS 789080 HAS SOUS 664069 HAS SOUPS 664069 WITH SCORE 664858.08
AT ITER 2046 NEW BEST:: SOT 4410141 SOS 789080 HAS SOPS 789080 HAS SOUS 664002 HAS SOUPS 664002 WITH SCORE 664791.08
AT ITER 2067 NEW BEST:: SOT 4409898 SOS 788756 HAS SOPS 788756 HAS SOUS 663678 HAS SOUPS 663678 WITH SCORE 664466.756
AT ITER 2095 NEW BEST:: SOT 4409430 SOS 788288 HAS SOPS 788288 HAS SOUS 663210 HAS SOUPS 663210 WITH SCORE 663998.288
AT ITER 2097 NEW BEST:: SOT 4409129 SOS 787686 HAS SOPS 787686 HAS SOUS 662608 HAS SOUPS 662608 WITH SCORE 663395.686
AT ITER 2137 NEW BEST:: SOT 4408522 SOS 787312 HAS SOPS 787312 HAS SOUS 662001 HAS SOUPS 662001 WITH SCORE 662788.312
AT ITER 2145 NEW BEST:: SOT 4407988 SOS 787208 HAS SOPS 787208 HAS SOUS 661602 HAS SOUPS 661602 WITH SCORE 662389.208
AT ITER 2154 NEW BEST:: SOT 4407867 SOS 786699 HAS SOPS 786699 HAS SOUS 661214 HAS SOUPS 661214 WITH SCORE 662000.699
AT ITER 2158 NEW BEST:: SOT 4407867 SOS 786433 HAS SOPS 786433 HAS SOUS 661214 HAS SOUPS 661214 WITH SCORE 662000.433
AT ITER 2165 NEW BEST:: SOT 4407781 SOS 786441 HAS SOPS 786441 HAS SOUS 661173 HAS SOUPS 661173 WITH SCORE 661959.441
AT ITER 2191 NEW BEST:: SOT 4407742 SOS 786363 HAS SOPS 786363 HAS SOUS 661095 HAS SOUPS 661095 WITH SCORE 661881.363
AT ITER 2200 NEW BEST:: SOT 4407699 SOS 786277 HAS SOPS 786277 HAS SOUS 661009 HAS SOUPS 661009 WITH SCORE 661795.277
AT ITER 2214 NEW BEST:: SOT 4407698 SOS 786168 HAS SOPS 786168 HAS SOUS 661007 HAS SOUPS 661007 WITH SCORE 661793.168
AT ITER 2256 NEW BEST:: SOT 4407698 SOS 786077 HAS SOPS 786077 HAS SOUS 661007 HAS SOUPS 661007 WITH SCORE 661793.077
AT ITER 2287 NEW BEST:: SOT 4407339 SOS 785359 HAS SOPS 785359 HAS SOUS 660289 HAS SOUPS 660289 WITH SCORE 661074.359
AT ITER 2305 NEW BEST:: SOT 4407204 SOS 785089 HAS SOPS 785089 HAS SOUS 660019 HAS SOUPS 660019 WITH SCORE 660804.089
AT ITER 2319 NEW BEST:: SOT 4407204 SOS 785065 HAS SOPS 785065 HAS SOUS 660019 HAS SOUPS 660019 WITH SCORE 660804.065
AT ITER 2330 NEW BEST:: SOT 4407232 SOS 785121 HAS SOPS 785121 HAS SOUS 659900 HAS SOUPS 659900 WITH SCORE 660685.121
AT ITER 2338 NEW BEST:: SOT 4407106 SOS 784869 HAS SOPS 784869 HAS SOUS 659648 HAS SOUPS 659648 WITH SCORE 660432.869
AT ITER 2433 NEW BEST:: SOT 4406901 SOS 785074 HAS SOPS 785074 HAS SOUS 659443 HAS SOUPS 659443 WITH SCORE 660228.074
AT ITER 2484 NEW BEST:: SOT 4406761 SOS 785072 HAS SOPS 785072 HAS SOUS 659441 HAS SOUPS 659441 WITH SCORE 660226.072
AT ITER 2506 NEW BEST:: SOT 4406533 SOS 784616 HAS SOPS 784616 HAS SOUS 658985 HAS SOUPS 658985 WITH SCORE 659769.616
AT ITER 2535 NEW BEST:: SOT 4406209 SOS 783968 HAS SOPS 783968 HAS SOUS 658008 HAS SOUPS 658008 WITH SCORE 658791.968
AT ITER 2638 NEW BEST:: SOT 4405876 SOS 783942 HAS SOPS 783942 HAS SOUS 657569 HAS SOUPS 657569 WITH SCORE 658352.942
AT ITER 2667 NEW BEST:: SOT 4405902 SOS 783457 HAS SOPS 783457 HAS SOUS 657304 HAS SOUPS 657304 WITH SCORE 658087.457
AT ITER 2683 NEW BEST:: SOT 4405902 SOS 783457 HAS SOPS 783457 HAS SOUS 657303 HAS SOUPS 657303 WITH SCORE 658086.457
AT ITER 2687 NEW BEST:: SOT 4405902 SOS 783316 HAS SOPS 783316 HAS SOUS 657303 HAS SOUPS 657303 WITH SCORE 658086.316
AT ITER 2720 NEW BEST:: SOT 4395845 SOS 804026 HAS SOPS 804026 HAS SOUS 648747 HAS SOUPS 648747 WITH SCORE 649551.026
AT ITER 2730 NEW BEST:: SOT 4395538 SOS 803412 HAS SOPS 803412 HAS SOUS 648348 HAS SOUPS 648348 WITH SCORE 649151.412
AT ITER 2738 NEW BEST:: SOT 4395547 SOS 803430 HAS SOPS 803430 HAS SOUS 648344 HAS SOUPS 648344 WITH SCORE 649147.43
AT ITER 2739 NEW BEST:: SOT 4395482 SOS 803054 HAS SOPS 803054 HAS SOUS 648033 HAS SOUPS 648033 WITH SCORE 648836.054
AT ITER 2744 NEW BEST:: SOT 4395683 SOS 803456 HAS SOPS 803456 HAS SOUS 647979 HAS SOUPS 647979 WITH SCORE 648782.456
AT ITER 2750 NEW BEST:: SOT 4395658 SOS 803406 HAS SOPS 803406 HAS SOUS 647954 HAS SOUPS 647954 WITH SCORE 648757.406
AT ITER 2751 NEW BEST:: SOT 4395654 SOS 803406 HAS SOPS 803406 HAS SOUS 647952 HAS SOUPS 647952 WITH SCORE 648755.406
AT ITER 2761 NEW BEST:: SOT 4395488 SOS 803074 HAS SOPS 803074 HAS SOUS 647860 HAS SOUPS 647860 WITH SCORE 648663.074
AT ITER 2768 NEW BEST:: SOT 4395473 SOS 803065 HAS SOPS 803065 HAS SOUS 647851 HAS SOUPS 647851 WITH SCORE 648654.065
AT ITER 2790 NEW BEST:: SOT 4395420 SOS 802959 HAS SOPS 802959 HAS SOUS 647803 HAS SOUPS 647803 WITH SCORE 648605.959
AT ITER 2800 NEW BEST:: SOT 4395301 SOS 803174 HAS SOPS 803174 HAS SOUS 647776 HAS SOUPS 647776 WITH SCORE 648579.174
AT ITER 2815 NEW BEST:: SOT 4395219 SOS 803092 HAS SOPS 803092 HAS SOUS 647694 HAS SOUPS 647694 WITH SCORE 648497.092
AT ITER 2836 NEW BEST:: SOT 4395135 SOS 803068 HAS SOPS 803068 HAS SOUS 647670 HAS SOUPS 647670 WITH SCORE 648473.068
AT ITER 2866 NEW BEST:: SOT 4394989 SOS 802603 HAS SOPS 802603 HAS SOUS 647351 HAS SOUPS 647351 WITH SCORE 648153.603
AT ITER 2869 NEW BEST:: SOT 4394912 SOS 802529 HAS SOPS 802529 HAS SOUS 647277 HAS SOUPS 647277 WITH SCORE 648079.529
AT ITER 2871 NEW BEST:: SOT 4394911 SOS 802527 HAS SOPS 802527 HAS SOUS 647275 HAS SOUPS 647275 WITH SCORE 648077.527
AT ITER 2900 NEW BEST:: SOT 4394603 SOS 801911 HAS SOPS 801911 HAS SOUS 646659 HAS SOUPS 646659 WITH SCORE 647460.911
AT ITER 2906 NEW BEST:: SOT 4394465 SOS 802796 HAS SOPS 802796 HAS SOUS 646641 HAS SOUPS 646641 WITH SCORE 647443.796
AT ITER 2908 NEW BEST:: SOT 4394477 SOS 802820 HAS SOPS 802820 HAS SOUS 646454 HAS SOUPS 646454 WITH SCORE 647256.82
AT ITER 2914 NEW BEST:: SOT 4394239 SOS 802510 HAS SOPS 802510 HAS SOUS 646309 HAS SOUPS 646309 WITH SCORE 647111.51
AT ITER 2919 NEW BEST:: SOT 4393940 SOS 802458 HAS SOPS 802458 HAS SOUS 645821 HAS SOUPS 645821 WITH SCORE 646623.458
AT ITER 2927 NEW BEST:: SOT 4393839 SOS 802256 HAS SOPS 802256 HAS SOUS 645619 HAS SOUPS 645619 WITH SCORE 646421.256
AT ITER 2974 NEW BEST:: SOT 4393817 SOS 802212 HAS SOPS 802212 HAS SOUS 645596 HAS SOUPS 645596 WITH SCORE 646398.212
AT ITER 3054 NEW BEST:: SOT 4393817 SOS 802212 HAS SOPS 802212 HAS SOUS 645292 HAS SOUPS 645292 WITH SCORE 646094.212
AT ITER 3083 NEW BEST:: SOT 4393772 SOS 802122 HAS SOPS 802122 HAS SOUS 645202 HAS SOUPS 645202 WITH SCORE 646004.122
AT ITER 3087 NEW BEST:: SOT 4393693 SOS 801964 HAS SOPS 801964 HAS SOUS 645044 HAS SOUPS 645044 WITH SCORE 645845.964
AT ITER 3093 NEW BEST:: SOT 4393693 SOS 801110 HAS SOPS 801110 HAS SOUS 644922 HAS SOUPS 644922 WITH SCORE 645723.11
AT ITER 3103 NEW BEST:: SOT 4393609 SOS 801026 HAS SOPS 801026 HAS SOUS 644837 HAS SOUPS 644837 WITH SCORE 645638.026
AT ITER 3109 NEW BEST:: SOT 4393532 SOS 800970 HAS SOPS 800970 HAS SOUS 644781 HAS SOUPS 644781 WITH SCORE 645581.97
AT ITER 3110 NEW BEST:: SOT 4393446 SOS 801534 HAS SOPS 801534 HAS SOUS 644770 HAS SOUPS 644770 WITH SCORE 645571.534
AT ITER 3111 NEW BEST:: SOT 4393486 SOS 801461 HAS SOPS 801461 HAS SOUS 644752 HAS SOUPS 644752 WITH SCORE 645553.461
AT ITER 3137 NEW BEST:: SOT 4393176 SOS 800841 HAS SOPS 800841 HAS SOUS 644320 HAS SOUPS 644320 WITH SCORE 645120.841
AT ITER 3139 NEW BEST:: SOT 4392981 SOS 800451 HAS SOPS 800451 HAS SOUS 643930 HAS SOUPS 643930 WITH SCORE 644730.451
AT ITER 3154 NEW BEST:: SOT 4392776 SOS 800041 HAS SOPS 800041 HAS SOUS 643520 HAS SOUPS 643520 WITH SCORE 644320.041
AT ITER 3155 NEW BEST:: SOT 4392464 SOS 799417 HAS SOPS 799417 HAS SOUS 643402 HAS SOUPS 643402 WITH SCORE 644201.417
AT ITER 3156 NEW BEST:: SOT 4392311 SOS 799399 HAS SOPS 799399 HAS SOUS 643312 HAS SOUPS 643312 WITH SCORE 644111.399
AT ITER 3197 NEW BEST:: SOT 4392246 SOS 799269 HAS SOPS 799269 HAS SOUS 643106 HAS SOUPS 643106 WITH SCORE 643905.269
AT ITER 3198 NEW BEST:: SOT 4392238 SOS 799253 HAS SOPS 799253 HAS SOUS 643090 HAS SOUPS 643090 WITH SCORE 643889.253
AT ITER 3210 NEW BEST:: SOT 4392233 SOS 799248 HAS SOPS 799248 HAS SOUS 643085 HAS SOUPS 643085 WITH SCORE 643884.248
AT ITER 3226 NEW BEST:: SOT 4392232 SOS 799247 HAS SOPS 799247 HAS SOUS 643083 HAS SOUPS 643083 WITH SCORE 643882.247
AT ITER 3230 NEW BEST:: SOT 4391956 SOS 798695 HAS SOPS 798695 HAS SOUS 642901 HAS SOUPS 642901 WITH SCORE 643699.695
AT ITER 3259 NEW BEST:: SOT 4391895 SOS 798893 HAS SOPS 798893 HAS SOUS 642840 HAS SOUPS 642840 WITH SCORE 643638.893
AT ITER 3260 NEW BEST:: SOT 4391895 SOS 798530 HAS SOPS 798530 HAS SOUS 642840 HAS SOUPS 642840 WITH SCORE 643638.53
AT ITER 3282 NEW BEST:: SOT 4391322 SOS 798179 HAS SOPS 798179 HAS SOUS 642447 HAS SOUPS 642447 WITH SCORE 643245.179
AT ITER 3292 NEW BEST:: SOT 4391322 SOS 798179 HAS SOPS 798179 HAS SOUS 642446 HAS SOUPS 642446 WITH SCORE 643244.179
AT ITER 3322 NEW BEST:: SOT 4391321 SOS 797996 HAS SOPS 797996 HAS SOUS 642444 HAS SOUPS 642444 WITH SCORE 643241.996
AT ITER 3324 NEW BEST:: SOT 4391144 SOS 797770 HAS SOPS 797770 HAS SOUS 642139 HAS SOUPS 642139 WITH SCORE 642936.77
AT ITER 3350 NEW BEST:: SOT 4391320 SOS 797154 HAS SOPS 797154 HAS SOUS 641962 HAS SOUPS 641962 WITH SCORE 642759.154
AT ITER 3362 NEW BEST:: SOT 4390803 SOS 796882 HAS SOPS 796882 HAS SOUS 641555 HAS SOUPS 641555 WITH SCORE 642351.882
AT ITER 3412 NEW BEST:: SOT 4390894 SOS 797064 HAS SOPS 797064 HAS SOUS 641552 HAS SOUPS 641552 WITH SCORE 642349.064
AT ITER 3431 NEW BEST:: SOT 4390894 SOS 797057 HAS SOPS 797057 HAS SOUS 641552 HAS SOUPS 641552 WITH SCORE 642349.057
AT ITER 3432 NEW BEST:: SOT 4390797 SOS 796863 HAS SOPS 796863 HAS SOUS 641358 HAS SOUPS 641358 WITH SCORE 642154.863
AT ITER 3483 NEW BEST:: SOT 4390792 SOS 796853 HAS SOPS 796853 HAS SOUS 641348 HAS SOUPS 641348 WITH SCORE 642144.853
AT ITER 3485 NEW BEST:: SOT 4390292 SOS 796853 HAS SOPS 796853 HAS SOUS 641098 HAS SOUPS 641098 WITH SCORE 641894.853
AT ITER 3498 NEW BEST:: SOT 4390292 SOS 796697 HAS SOPS 796697 HAS SOUS 641098 HAS SOUPS 641098 WITH SCORE 641894.697
AT ITER 3512 NEW BEST:: SOT 4390108 SOS 796329 HAS SOPS 796329 HAS SOUS 640730 HAS SOUPS 640730 WITH SCORE 641526.329
AT ITER 3523 NEW BEST:: SOT 4390108 SOS 796117 HAS SOPS 796117 HAS SOUS 640730 HAS SOUPS 640730 WITH SCORE 641526.117
AT ITER 3533 NEW BEST:: SOT 4389645 SOS 795191 HAS SOPS 795191 HAS SOUS 640609 HAS SOUPS 640609 WITH SCORE 641404.191
AT ITER 3555 NEW BEST:: SOT 4388924 SOS 794470 HAS SOPS 794470 HAS SOUS 639888 HAS SOUPS 639888 WITH SCORE 640682.47
AT ITER 3567 NEW BEST:: SOT 4388891 SOS 794404 HAS SOPS 794404 HAS SOUS 639822 HAS SOUPS 639822 WITH SCORE 640616.404
AT ITER 3594 NEW BEST:: SOT 4388433 SOS 794028 HAS SOPS 794028 HAS SOUS 639392 HAS SOUPS 639392 WITH SCORE 640186.028
AT ITER 3598 NEW BEST:: SOT 4388433 SOS 794028 HAS SOPS 794028 HAS SOUS 639391 HAS SOUPS 639391 WITH SCORE 640185.028
AT ITER 3602 NEW BEST:: SOT 4388433 SOS 794002 HAS SOPS 794002 HAS SOUS 639391 HAS SOUPS 639391 WITH SCORE 640185.002
AT ITER 3615 NEW BEST:: SOT 4388399 SOS 793934 HAS SOPS 793934 HAS SOUS 639323 HAS SOUPS 639323 WITH SCORE 640116.934
AT ITER 3616 NEW BEST:: SOT 4388395 SOS 793926 HAS SOPS 793926 HAS SOUS 639314 HAS SOUPS 639314 WITH SCORE 640107.926
AT ITER 3621 NEW BEST:: SOT 4388395 SOS 793909 HAS SOPS 793909 HAS SOUS 639314 HAS SOUPS 639314 WITH SCORE 640107.909
AT ITER 3747 NEW BEST:: SOT 4388407 SOS 793933 HAS SOPS 793933 HAS SOUS 639220 HAS SOUPS 639220 WITH SCORE 640013.933
AT ITER 3751 NEW BEST:: SOT 4388405 SOS 793928 HAS SOPS 793928 HAS SOUS 639217 HAS SOUPS 639217 WITH SCORE 640010.928
AT ITER 3766 NEW BEST:: SOT 4388450 SOS 794018 HAS SOPS 794018 HAS SOUS 639107 HAS SOUPS 639107 WITH SCORE 639901.018
AT ITER 3773 NEW BEST:: SOT 4388447 SOS 794012 HAS SOPS 794012 HAS SOUS 639101 HAS SOUPS 639101 WITH SCORE 639895.012
AT ITER 3778 NEW BEST:: SOT 4387433 SOS 795269 HAS SOPS 795269 HAS SOUS 638573 HAS SOUPS 638573 WITH SCORE 639368.269
AT ITER 3792 NEW BEST:: SOT 4387326 SOS 795167 HAS SOPS 795167 HAS SOUS 638471 HAS SOUPS 638471 WITH SCORE 639266.167
AT ITER 3795 NEW BEST:: SOT 4387125 SOS 794765 HAS SOPS 794765 HAS SOUS 638069 HAS SOUPS 638069 WITH SCORE 638863.765
AT ITER 3799 NEW BEST:: SOT 4387125 SOS 794765 HAS SOPS 794765 HAS SOUS 638029 HAS SOUPS 638029 WITH SCORE 638823.765
AT ITER 3801 NEW BEST:: SOT 4387040 SOS 794273 HAS SOPS 794273 HAS SOUS 637859 HAS SOUPS 637859 WITH SCORE 638653.273
AT ITER 3803 NEW BEST:: SOT 4387040 SOS 794273 HAS SOPS 794273 HAS SOUS 637845 HAS SOUPS 637845 WITH SCORE 638639.273
AT ITER 3806 NEW BEST:: SOT 4386990 SOS 794200 HAS SOPS 794200 HAS SOUS 637770 HAS SOUPS 637770 WITH SCORE 638564.2
AT ITER 3811 NEW BEST:: SOT 4387073 SOS 794063 HAS SOPS 794063 HAS SOUS 637716 HAS SOUPS 637716 WITH SCORE 638510.063
AT ITER 3815 NEW BEST:: SOT 4387073 SOS 794063 HAS SOPS 794063 HAS SOUS 637385 HAS SOUPS 637385 WITH SCORE 638179.063
AT ITER 3818 NEW BEST:: SOT 4386999 SOS 793915 HAS SOPS 793915 HAS SOUS 637237 HAS SOUPS 637237 WITH SCORE 638030.915
AT ITER 3827 NEW BEST:: SOT 4386999 SOS 793915 HAS SOPS 793915 HAS SOUS 637038 HAS SOUPS 637038 WITH SCORE 637831.915
AT ITER 3849 NEW BEST:: SOT 4387005 SOS 793628 HAS SOPS 793628 HAS SOUS 636751 HAS SOUPS 636751 WITH SCORE 637544.628
AT ITER 3856 NEW BEST:: SOT 4386933 SOS 793556 HAS SOPS 793556 HAS SOUS 636679 HAS SOUPS 636679 WITH SCORE 637472.556
AT ITER 3904 NEW BEST:: SOT 4386833 SOS 793356 HAS SOPS 793356 HAS SOUS 636479 HAS SOUPS 636479 WITH SCORE 637272.356
AT ITER 3927 NEW BEST:: SOT 4386753 SOS 793330 HAS SOPS 793330 HAS SOUS 636399 HAS SOUPS 636399 WITH SCORE 637192.33
AT ITER 3936 NEW BEST:: SOT 4386120 SOS 803093 HAS SOPS 803093 HAS SOUS 636035 HAS SOUPS 636035 WITH SCORE 636838.093
AT ITER 3946 NEW BEST:: SOT 4385856 SOS 802697 HAS SOPS 802697 HAS SOUS 635639 HAS SOUPS 635639 WITH SCORE 636441.697
AT ITER 3949 NEW BEST:: SOT 4385855 SOS 802357 HAS SOPS 802357 HAS SOUS 635637 HAS SOUPS 635637 WITH SCORE 636439.357
AT ITER 3951 NEW BEST:: SOT 4385855 SOS 802357 HAS SOPS 802357 HAS SOUS 635426 HAS SOUPS 635426 WITH SCORE 636228.357
AT ITER 3961 NEW BEST:: SOT 4385816 SOS 802084 HAS SOPS 802084 HAS SOUS 635192 HAS SOUPS 635192 WITH SCORE 635994.084
AT ITER 3981 NEW BEST:: SOT 4385592 SOS 801905 HAS SOPS 801905 HAS SOUS 634968 HAS SOUPS 634968 WITH SCORE 635769.905
AT ITER 3995 NEW BEST:: SOT 4385523 SOS 801767 HAS SOPS 801767 HAS SOUS 634899 HAS SOUPS 634899 WITH SCORE 635700.767
AT ITER 4007 NEW BEST:: SOT 4385489 SOS 801699 HAS SOPS 801699 HAS SOUS 634831 HAS SOUPS 634831 WITH SCORE 635632.699
AT ITER 4042 NEW BEST:: SOT 4385313 SOS 801347 HAS SOPS 801347 HAS SOUS 634479 HAS SOUPS 634479 WITH SCORE 635280.347
AT ITER 4065 NEW BEST:: SOT 4385313 SOS 801203 HAS SOPS 801203 HAS SOUS 634479 HAS SOUPS 634479 WITH SCORE 635280.203
AT ITER 4079 NEW BEST:: SOT 4385239 SOS 801055 HAS SOPS 801055 HAS SOUS 634331 HAS SOUPS 634331 WITH SCORE 635132.055
AT ITER 4117 NEW BEST:: SOT 4385238 SOS 800791 HAS SOPS 800791 HAS SOUS 634329 HAS SOUPS 634329 WITH SCORE 635129.791
AT ITER 4130 NEW BEST:: SOT 4384915 SOS 800589 HAS SOPS 800589 HAS SOUS 634068 HAS SOUPS 634068 WITH SCORE 634868.589
AT ITER 4152 NEW BEST:: SOT 4384757 SOS 800657 HAS SOPS 800657 HAS SOUS 634006 HAS SOUPS 634006 WITH SCORE 634806.657
AT ITER 4154 NEW BEST:: SOT 4384756 SOS 800590 HAS SOPS 800590 HAS SOUS 634004 HAS SOUPS 634004 WITH SCORE 634804.59
AT ITER 4174 NEW BEST:: SOT 4384538 SOS 800154 HAS SOPS 800154 HAS SOUS 633568 HAS SOUPS 633568 WITH SCORE 634368.154
AT ITER 4178 NEW BEST:: SOT 4384484 SOS 800046 HAS SOPS 800046 HAS SOUS 633514 HAS SOUPS 633514 WITH SCORE 634314.046
AT ITER 4208 NEW BEST:: SOT 4384484 SOS 800031 HAS SOPS 800031 HAS SOUS 633514 HAS SOUPS 633514 WITH SCORE 634314.031
AT ITER 4212 NEW BEST:: SOT 4384391 SOS 799940 HAS SOPS 799940 HAS SOUS 633328 HAS SOUPS 633328 WITH SCORE 634127.94
AT ITER 4269 NEW BEST:: SOT 4384256 SOS 800112 HAS SOPS 800112 HAS SOUS 633309 HAS SOUPS 633309 WITH SCORE 634109.112
AT ITER 4305 NEW BEST:: SOT 4384256 SOS 800104 HAS SOPS 800104 HAS SOUS 633309 HAS SOUPS 633309 WITH SCORE 634109.104
AT ITER 4327 NEW BEST:: SOT 4383980 SOS 799985 HAS SOPS 799985 HAS SOUS 633190 HAS SOUPS 633190 WITH SCORE 633989.985
AT ITER 4357 NEW BEST:: SOT 4383957 SOS 799974 HAS SOPS 799974 HAS SOUS 633179 HAS SOUPS 633179 WITH SCORE 633978.974
AT ITER 4358 NEW BEST:: SOT 4383461 SOS 799354 HAS SOPS 799354 HAS SOUS 632559 HAS SOUPS 632559 WITH SCORE 633358.354
AT ITER 4403 NEW BEST:: SOT 4383460 SOS 799352 HAS SOPS 799352 HAS SOUS 632557 HAS SOUPS 632557 WITH SCORE 633356.352
AT ITER 4508 NEW BEST:: SOT 4383376 SOS 799184 HAS SOPS 799184 HAS SOUS 632470 HAS SOUPS 632470 WITH SCORE 633269.184
AT ITER 4521 NEW BEST:: SOT 4383308 SOS 798949 HAS SOPS 798949 HAS SOUS 632288 HAS SOUPS 632288 WITH SCORE 633086.949
AT ITER 4634 NEW BEST:: SOT 4383308 SOS 798949 HAS SOPS 798949 HAS SOUS 632191 HAS SOUPS 632191 WITH SCORE 632989.949
AT ITER 4677 NEW BEST:: SOT 4383308 SOS 798913 HAS SOPS 798913 HAS SOUS 632155 HAS SOUPS 632155 WITH SCORE 632953.913
AT ITER 4707 NEW BEST:: SOT 4383228 SOS 798753 HAS SOPS 798753 HAS SOUS 631849 HAS SOUPS 631849 WITH SCORE 632647.753
AT ITER 4739 NEW BEST:: SOT 4383222 SOS 798741 HAS SOPS 798741 HAS SOUS 631837 HAS SOUPS 631837 WITH SCORE 632635.741
AT ITER 4754 NEW BEST:: SOT 4383128 SOS 798647 HAS SOPS 798647 HAS SOUS 631696 HAS SOUPS 631696 WITH SCORE 632494.647
AT ITER 4788 NEW BEST:: SOT 4383044 SOS 798479 HAS SOPS 798479 HAS SOUS 631528 HAS SOUPS 631528 WITH SCORE 632326.479
AT ITER 4822 NEW BEST:: SOT 4383042 SOS 798223 HAS SOPS 798223 HAS SOUS 631407 HAS SOUPS 631407 WITH SCORE 632205.223
AT ITER 4831 NEW BEST:: SOT 4383061 SOS 798242 HAS SOPS 798242 HAS SOUS 631352 HAS SOUPS 631352 WITH SCORE 632150.242
AT ITER 4832 NEW BEST:: SOT 4383041 SOS 798070 HAS SOPS 798070 HAS SOUS 631180 HAS SOUPS 631180 WITH SCORE 631978.07
AT ITER 4838 NEW BEST:: SOT 4382691 SOS 797697 HAS SOPS 797697 HAS SOUS 630751 HAS SOUPS 630751 WITH SCORE 631548.697
AT ITER 4857 NEW BEST:: SOT 4382407 SOS 797413 HAS SOPS 797413 HAS SOUS 630467 HAS SOUPS 630467 WITH SCORE 631264.413
AT ITER 4875 NEW BEST:: SOT 4382407 SOS 797407 HAS SOPS 797407 HAS SOUS 630466 HAS SOUPS 630466 WITH SCORE 631263.407
AT ITER 4897 NEW BEST:: SOT 4382248 SOS 797089 HAS SOPS 797089 HAS SOUS 630148 HAS SOUPS 630148 WITH SCORE 630945.089
AT ITER 4902 NEW BEST:: SOT 4382217 SOS 797058 HAS SOPS 797058 HAS SOUS 630117 HAS SOUPS 630117 WITH SCORE 630914.058
AT ITER 4925 NEW BEST:: SOT 4382100 SOS 796824 HAS SOPS 796824 HAS SOUS 629883 HAS SOUPS 629883 WITH SCORE 630679.824
AT ITER 4939 NEW BEST:: SOT 4382100 SOS 796824 HAS SOPS 796824 HAS SOUS 629535 HAS SOUPS 629535 WITH SCORE 630331.824
AT ITER 4953 NEW BEST:: SOT 4382100 SOS 796750 HAS SOPS 796750 HAS SOUS 629535 HAS SOUPS 629535 WITH SCORE 630331.75
AT ITER 4963 NEW BEST:: SOT 4382044 SOS 796638 HAS SOPS 796638 HAS SOUS 629423 HAS SOUPS 629423 WITH SCORE 630219.638
AT ITER 4981 NEW BEST:: SOT 4381979 SOS 796364 HAS SOPS 796364 HAS SOUS 629293 HAS SOUPS 629293 WITH SCORE 630089.364
AT ITER 4987 NEW BEST:: SOT 4381788 SOS 796666 HAS SOPS 796666 HAS SOUS 629177 HAS SOUPS 629177 WITH SCORE 629973.666
AT ITER 5003 NEW BEST:: SOT 4381788 SOS 796409 HAS SOPS 796409 HAS SOUS 629177 HAS SOUPS 629177 WITH SCORE 629973.409
AT ITER 5009 NEW BEST:: SOT 4381570 SOS 796246 HAS SOPS 796246 HAS SOUS 628975 HAS SOUPS 628975 WITH SCORE 629771.246
AT ITER 5043 NEW BEST:: SOT 4381366 SOS 795838 HAS SOPS 795838 HAS SOUS 628498 HAS SOUPS 628498 WITH SCORE 629293.838
AT ITER 5045 NEW BEST:: SOT 4381416 SOS 795938 HAS SOPS 795938 HAS SOUS 628437 HAS SOUPS 628437 WITH SCORE 629232.938
AT ITER 5047 NEW BEST:: SOT 4381275 SOS 795656 HAS SOPS 795656 HAS SOUS 628011 HAS SOUPS 628011 WITH SCORE 628806.656
AT ITER 5079 NEW BEST:: SOT 4381250 SOS 795631 HAS SOPS 795631 HAS SOUS 627986 HAS SOUPS 627986 WITH SCORE 628781.631
AT ITER 5095 NEW BEST:: SOT 4381245 SOS 795621 HAS SOPS 795621 HAS SOUS 627976 HAS SOUPS 627976 WITH SCORE 628771.621
AT ITER 5120 NEW BEST:: SOT 4381228 SOS 795587 HAS SOPS 795587 HAS SOUS 627959 HAS SOUPS 627959 WITH SCORE 628754.587
AT ITER 5140 NEW BEST:: SOT 4380917 SOS 794965 HAS SOPS 794965 HAS SOUS 627337 HAS SOUPS 627337 WITH SCORE 628131.965
AT ITER 5151 NEW BEST:: SOT 4380758 SOS 794806 HAS SOPS 794806 HAS SOUS 627336 HAS SOUPS 627336 WITH SCORE 628130.806
AT ITER 5188 NEW BEST:: SOT 4380577 SOS 794444 HAS SOPS 794444 HAS SOUS 626974 HAS SOUPS 626974 WITH SCORE 627768.444
AT ITER 5190 NEW BEST:: SOT 4380555 SOS 794400 HAS SOPS 794400 HAS SOUS 626862 HAS SOUPS 626862 WITH SCORE 627656.4
AT ITER 5206 NEW BEST:: SOT 4380900 SOS 794607 HAS SOPS 794607 HAS SOUS 626720 HAS SOUPS 626720 WITH SCORE 627514.607
AT ITER 5209 NEW BEST:: SOT 4380753 SOS 794313 HAS SOPS 794313 HAS SOUS 626660 HAS SOUPS 626660 WITH SCORE 627454.313
AT ITER 5268 NEW BEST:: SOT 4380643 SOS 794093 HAS SOPS 794093 HAS SOUS 626212 HAS SOUPS 626212 WITH SCORE 627006.093
AT ITER 5280 NEW BEST:: SOT 4380643 SOS 793824 HAS SOPS 793824 HAS SOUS 626212 HAS SOUPS 626212 WITH SCORE 627005.824
AT ITER 5289 NEW BEST:: SOT 4380476 SOS 793490 HAS SOPS 793490 HAS SOUS 626044 HAS SOUPS 626044 WITH SCORE 626837.49
AT ITER 5300 NEW BEST:: SOT 4380442 SOS 793388 HAS SOPS 793388 HAS SOUS 625976 HAS SOUPS 625976 WITH SCORE 626769.388
AT ITER 5310 NEW BEST:: SOT 4380417 SOS 793338 HAS SOPS 793338 HAS SOUS 625926 HAS SOUPS 625926 WITH SCORE 626719.338
AT ITER 5312 NEW BEST:: SOT 4380416 SOS 793069 HAS SOPS 793069 HAS SOUS 625924 HAS SOUPS 625924 WITH SCORE 626717.069
AT ITER 5320 NEW BEST:: SOT 4380413 SOS 793063 HAS SOPS 793063 HAS SOUS 625921 HAS SOUPS 625921 WITH SCORE 626714.063
AT ITER 5324 NEW BEST:: SOT 4379962 SOS 792839 HAS SOPS 792839 HAS SOUS 625697 HAS SOUPS 625697 WITH SCORE 626489.839
AT ITER 5333 NEW BEST:: SOT 4379698 SOS 792575 HAS SOPS 792575 HAS SOUS 625433 HAS SOUPS 625433 WITH SCORE 626225.575
AT ITER 5384 NEW BEST:: SOT 4379633 SOS 792727 HAS SOPS 792727 HAS SOUS 625369 HAS SOUPS 625369 WITH SCORE 626161.727
AT ITER 5392 NEW BEST:: SOT 4379532 SOS 792525 HAS SOPS 792525 HAS SOUS 625268 HAS SOUPS 625268 WITH SCORE 626060.525
AT ITER 5433 NEW BEST:: SOT 4379440 SOS 792341 HAS SOPS 792341 HAS SOUS 625176 HAS SOUPS 625176 WITH SCORE 625968.341
AT ITER 5455 NEW BEST:: SOT 4379385 SOS 792231 HAS SOPS 792231 HAS SOUS 625123 HAS SOUPS 625123 WITH SCORE 625915.231
AT ITER 5462 NEW BEST:: SOT 4379436 SOS 792333 HAS SOPS 792333 HAS SOUS 625083 HAS SOUPS 625083 WITH SCORE 625875.333
AT ITER 5479 NEW BEST:: SOT 4379495 SOS 792451 HAS SOPS 792451 HAS SOUS 625023 HAS SOUPS 625023 WITH SCORE 625815.451
AT ITER 5480 NEW BEST:: SOT 4379435 SOS 792175 HAS SOPS 792175 HAS SOUS 624953 HAS SOUPS 624953 WITH SCORE 625745.175
AT ITER 5486 NEW BEST:: SOT 4379446 SOS 792111 HAS SOPS 792111 HAS SOUS 624889 HAS SOUPS 624889 WITH SCORE 625681.111
AT ITER 5497 NEW BEST:: SOT 4379442 SOS 792107 HAS SOPS 792107 HAS SOUS 624881 HAS SOUPS 624881 WITH SCORE 625673.107
AT ITER 5534 NEW BEST:: SOT 4379442 SOS 792107 HAS SOPS 792107 HAS SOUS 624794 HAS SOUPS 624794 WITH SCORE 625586.107
AT ITER 5542 NEW BEST:: SOT 4377722 SOS 791552 HAS SOPS 791552 HAS SOUS 623465 HAS SOUPS 623465 WITH SCORE 624256.552
AT ITER 5545 NEW BEST:: SOT 4377692 SOS 791537 HAS SOPS 791537 HAS SOUS 623435 HAS SOUPS 623435 WITH SCORE 624226.537
AT ITER 5548 NEW BEST:: SOT 4377692 SOS 791448 HAS SOPS 791448 HAS SOUS 623435 HAS SOUPS 623435 WITH SCORE 624226.448
AT ITER 5552 NEW BEST:: SOT 4377646 SOS 791356 HAS SOPS 791356 HAS SOUS 623343 HAS SOUPS 623343 WITH SCORE 624134.356
AT ITER 5597 NEW BEST:: SOT 4377596 SOS 791256 HAS SOPS 791256 HAS SOUS 623293 HAS SOUPS 623293 WITH SCORE 624084.256
AT ITER 5611 NEW BEST:: SOT 4377542 SOS 791148 HAS SOPS 791148 HAS SOUS 623185 HAS SOUPS 623185 WITH SCORE 623976.148
AT ITER 5636 NEW BEST:: SOT 4377304 SOS 791148 HAS SOPS 791148 HAS SOUS 623066 HAS SOUPS 623066 WITH SCORE 623857.148
AT ITER 5644 NEW BEST:: SOT 4377247 SOS 791091 HAS SOPS 791091 HAS SOUS 623066 HAS SOUPS 623066 WITH SCORE 623857.091
AT ITER 5655 NEW BEST:: SOT 4376973 SOS 790817 HAS SOPS 790817 HAS SOUS 622792 HAS SOUPS 622792 WITH SCORE 623582.817
AT ITER 5674 NEW BEST:: SOT 4376972 SOS 790621 HAS SOPS 790621 HAS SOUS 622725 HAS SOUPS 622725 WITH SCORE 623515.621
AT ITER 5677 NEW BEST:: SOT 4376986 SOS 790649 HAS SOPS 790649 HAS SOUS 622560 HAS SOUPS 622560 WITH SCORE 623350.649
AT ITER 5701 NEW BEST:: SOT 4376717 SOS 790111 HAS SOPS 790111 HAS SOUS 622291 HAS SOUPS 622291 WITH SCORE 623081.111
AT ITER 5722 NEW BEST:: SOT 4376618 SOS 790012 HAS SOPS 790012 HAS SOUS 622192 HAS SOUPS 622192 WITH SCORE 622982.012
AT ITER 5791 NEW BEST:: SOT 4376699 SOS 789841 HAS SOPS 789841 HAS SOUS 622021 HAS SOUPS 622021 WITH SCORE 622810.841
AT ITER 5821 NEW BEST:: SOT 4376640 SOS 789664 HAS SOPS 789664 HAS SOUS 621961 HAS SOUPS 621961 WITH SCORE 622750.664
AT ITER 5823 NEW BEST:: SOT 4376547 SOS 789056 HAS SOPS 789056 HAS SOUS 621657 HAS SOUPS 621657 WITH SCORE 622446.056
AT ITER 5833 NEW BEST:: SOT 4376598 SOS 789026 HAS SOPS 789026 HAS SOUS 621638 HAS SOUPS 621638 WITH SCORE 622427.026
AT ITER 5838 NEW BEST:: SOT 4376782 SOS 789394 HAS SOPS 789394 HAS SOUS 621582 HAS SOUPS 621582 WITH SCORE 622371.394
AT ITER 5843 NEW BEST:: SOT 4376375 SOS 789195 HAS SOPS 789195 HAS SOUS 621175 HAS SOUPS 621175 WITH SCORE 621964.195
AT ITER 5848 NEW BEST:: SOT 4376430 SOS 789305 HAS SOPS 789305 HAS SOUS 620986 HAS SOUPS 620986 WITH SCORE 621775.305
AT ITER 5853 NEW BEST:: SOT 4376343 SOS 789411 HAS SOPS 789411 HAS SOUS 620965 HAS SOUPS 620965 WITH SCORE 621754.411
AT ITER 5884 NEW BEST:: SOT 4376343 SOS 789398 HAS SOPS 789398 HAS SOUS 620952 HAS SOUPS 620952 WITH SCORE 621741.398
AT ITER 5916 NEW BEST:: SOT 4376215 SOS 789250 HAS SOPS 789250 HAS SOUS 620795 HAS SOUPS 620795 WITH SCORE 621584.25
AT ITER 5932 NEW BEST:: SOT 4376057 SOS 788934 HAS SOPS 788934 HAS SOUS 620479 HAS SOUPS 620479 WITH SCORE 621267.934
AT ITER 5934 NEW BEST:: SOT 4375538 SOS 787896 HAS SOPS 787896 HAS SOUS 620059 HAS SOUPS 620059 WITH SCORE 620846.896
AT ITER 5937 NEW BEST:: SOT 4375493 SOS 787806 HAS SOPS 787806 HAS SOUS 619969 HAS SOUPS 619969 WITH SCORE 620756.806
AT ITER 5953 NEW BEST:: SOT 4375475 SOS 787771 HAS SOPS 787771 HAS SOUS 619933 HAS SOUPS 619933 WITH SCORE 620720.771
AT ITER 5964 NEW BEST:: SOT 4375094 SOS 787944 HAS SOPS 787944 HAS SOUS 619514 HAS SOUPS 619514 WITH SCORE 620301.944
AT ITER 5967 NEW BEST:: SOT 4375076 SOS 787908 HAS SOPS 787908 HAS SOUS 619478 HAS SOUPS 619478 WITH SCORE 620265.908
AT ITER 6011 NEW BEST:: SOT 4375108 SOS 787756 HAS SOPS 787756 HAS SOUS 619326 HAS SOUPS 619326 WITH SCORE 620113.756
AT ITER 6028 NEW BEST:: SOT 4375108 SOS 787756 HAS SOPS 787756 HAS SOUS 619265 HAS SOUPS 619265 WITH SCORE 620052.756
AT ITER 6048 NEW BEST:: SOT 4375005 SOS 787550 HAS SOPS 787550 HAS SOUS 619162 HAS SOUPS 619162 WITH SCORE 619949.55
AT ITER 6068 NEW BEST:: SOT 4375005 SOS 787495 HAS SOPS 787495 HAS SOUS 619107 HAS SOUPS 619107 WITH SCORE 619894.495
AT ITER 6079 NEW BEST:: SOT 4375005 SOS 787470 HAS SOPS 787470 HAS SOUS 619107 HAS SOUPS 619107 WITH SCORE 619894.47
AT ITER 6093 NEW BEST:: SOT 4374991 SOS 787442 HAS SOPS 787442 HAS SOUS 619079 HAS SOUPS 619079 WITH SCORE 619866.442
AT ITER 6095 NEW BEST:: SOT 4374965 SOS 787123 HAS SOPS 787123 HAS SOUS 618971 HAS SOUPS 618971 WITH SCORE 619758.123
AT ITER 6119 NEW BEST:: SOT 4374839 SOS 786871 HAS SOPS 786871 HAS SOUS 618845 HAS SOUPS 618845 WITH SCORE 619631.871
AT ITER 6135 NEW BEST:: SOT 4374800 SOS 787063 HAS SOPS 787063 HAS SOUS 618841 HAS SOUPS 618841 WITH SCORE 619628.063
AT ITER 6165 NEW BEST:: SOT 4374800 SOS 787063 HAS SOPS 787063 HAS SOUS 618840 HAS SOUPS 618840 WITH SCORE 619627.063
AT ITER 6172 NEW BEST:: SOT 4374776 SOS 787015 HAS SOPS 787015 HAS SOUS 618816 HAS SOUPS 618816 WITH SCORE 619603.015
AT ITER 6190 NEW BEST:: SOT 4374623 SOS 786709 HAS SOPS 786709 HAS SOUS 618663 HAS SOUPS 618663 WITH SCORE 619449.709
AT ITER 6199 NEW BEST:: SOT 4374459 SOS 786381 HAS SOPS 786381 HAS SOUS 618566 HAS SOUPS 618566 WITH SCORE 619352.381
AT ITER 6228 NEW BEST:: SOT 4374330 SOS 786123 HAS SOPS 786123 HAS SOUS 618479 HAS SOUPS 618479 WITH SCORE 619265.123
AT ITER 6232 NEW BEST:: SOT 4374177 SOS 785817 HAS SOPS 785817 HAS SOUS 618173 HAS SOUPS 618173 WITH SCORE 618958.817
AT ITER 6259 NEW BEST:: SOT 4373990 SOS 785691 HAS SOPS 785691 HAS SOUS 617986 HAS SOUPS 617986 WITH SCORE 618771.691
AT ITER 6291 NEW BEST:: SOT 4373765 SOS 785241 HAS SOPS 785241 HAS SOUS 617761 HAS SOUPS 617761 WITH SCORE 618546.241
AT ITER 6309 NEW BEST:: SOT 4373825 SOS 785227 HAS SOPS 785227 HAS SOUS 617687 HAS SOUPS 617687 WITH SCORE 618472.227
AT ITER 6326 NEW BEST:: SOT 4373816 SOS 785209 HAS SOPS 785209 HAS SOUS 617669 HAS SOUPS 617669 WITH SCORE 618454.209
AT ITER 6347 NEW BEST:: SOT 4373623 SOS 785015 HAS SOPS 785015 HAS SOUS 617475 HAS SOUPS 617475 WITH SCORE 618260.015
AT ITER 6408 NEW BEST:: SOT 4373623 SOS 785014 HAS SOPS 785014 HAS SOUS 617474 HAS SOUPS 617474 WITH SCORE 618259.014
AT ITER 6415 NEW BEST:: SOT 4373589 SOS 784946 HAS SOPS 784946 HAS SOUS 617423 HAS SOUPS 617423 WITH SCORE 618207.946
AT ITER 6419 NEW BEST:: SOT 4373588 SOS 784944 HAS SOPS 784944 HAS SOUS 617421 HAS SOUPS 617421 WITH SCORE 618205.944
AT ITER 6426 NEW BEST:: SOT 4373585 SOS 784938 HAS SOPS 784938 HAS SOUS 617380 HAS SOUPS 617380 WITH SCORE 618164.938
AT ITER 6437 NEW BEST:: SOT 4369412 SOS 828630 HAS SOPS 828630 HAS SOUS 615165 HAS SOUPS 615165 WITH SCORE 615993.63
AT ITER 6440 NEW BEST:: SOT 4369293 SOS 827970 HAS SOPS 827970 HAS SOUS 615017 HAS SOUPS 615017 WITH SCORE 615844.97
AT ITER 6442 NEW BEST:: SOT 4369293 SOS 827672 HAS SOPS 827672 HAS SOUS 615017 HAS SOUPS 615017 WITH SCORE 615844.672
AT ITER 6444 NEW BEST:: SOT 4369212 SOS 827510 HAS SOPS 827510 HAS SOUS 614759 HAS SOUPS 614759 WITH SCORE 615586.51
AT ITER 6460 NEW BEST:: SOT 4369073 SOS 827461 HAS SOPS 827461 HAS SOUS 614620 HAS SOUPS 614620 WITH SCORE 615447.461
AT ITER 6472 NEW BEST:: SOT 4368980 SOS 826997 HAS SOPS 826997 HAS SOUS 614434 HAS SOUPS 614434 WITH SCORE 615260.997
AT ITER 6486 NEW BEST:: SOT 4368888 SOS 826813 HAS SOPS 826813 HAS SOUS 614342 HAS SOUPS 614342 WITH SCORE 615168.813
AT ITER 6497 NEW BEST:: SOT 4368888 SOS 826372 HAS SOPS 826372 HAS SOUS 613901 HAS SOUPS 613901 WITH SCORE 614727.372
AT ITER 6514 NEW BEST:: SOT 4368850 SOS 826296 HAS SOPS 826296 HAS SOUS 613825 HAS SOUPS 613825 WITH SCORE 614651.296
AT ITER 6523 NEW BEST:: SOT 4369000 SOS 825464 HAS SOPS 825464 HAS SOUS 613480 HAS SOUPS 613480 WITH SCORE 614305.464
AT ITER 6551 NEW BEST:: SOT 4368937 SOS 825338 HAS SOPS 825338 HAS SOUS 613344 HAS SOUPS 613344 WITH SCORE 614169.338
AT ITER 6579 NEW BEST:: SOT 4368935 SOS 825334 HAS SOPS 825334 HAS SOUS 613309 HAS SOUPS 613309 WITH SCORE 614134.334
AT ITER 6601 NEW BEST:: SOT 4368773 SOS 825010 HAS SOPS 825010 HAS SOUS 612985 HAS SOUPS 612985 WITH SCORE 613810.01
AT ITER 6608 NEW BEST:: SOT 4368738 SOS 824940 HAS SOPS 824940 HAS SOUS 612945 HAS SOUPS 612945 WITH SCORE 613769.94
AT ITER 6612 NEW BEST:: SOT 4368645 SOS 824754 HAS SOPS 824754 HAS SOUS 612771 HAS SOUPS 612771 WITH SCORE 613595.754
AT ITER 6613 NEW BEST:: SOT 4368645 SOS 824675 HAS SOPS 824675 HAS SOUS 612771 HAS SOUPS 612771 WITH SCORE 613595.675
AT ITER 6618 NEW BEST:: SOT 4368531 SOS 824447 HAS SOPS 824447 HAS SOUS 612543 HAS SOUPS 612543 WITH SCORE 613367.447
AT ITER 6623 NEW BEST:: SOT 4368133 SOS 823651 HAS SOPS 823651 HAS SOUS 612543 HAS SOUPS 612543 WITH SCORE 613366.651
AT ITER 6677 NEW BEST:: SOT 4366898 SOS 823370 HAS SOPS 823370 HAS SOUS 611583 HAS SOUPS 611583 WITH SCORE 612406.37
AT ITER 6689 NEW BEST:: SOT 4366803 SOS 823180 HAS SOPS 823180 HAS SOUS 611393 HAS SOUPS 611393 WITH SCORE 612216.18
AT ITER 6713 NEW BEST:: SOT 4366855 SOS 823093 HAS SOPS 823093 HAS SOUS 611348 HAS SOUPS 611348 WITH SCORE 612171.093
AT ITER 6769 NEW BEST:: SOT 4366848 SOS 822991 HAS SOPS 822991 HAS SOUS 611297 HAS SOUPS 611297 WITH SCORE 612119.991
AT ITER 6780 NEW BEST:: SOT 4366777 SOS 822849 HAS SOPS 822849 HAS SOUS 611155 HAS SOUPS 611155 WITH SCORE 611977.849
AT ITER 6790 NEW BEST:: SOT 4366411 SOS 823461 HAS SOPS 823461 HAS SOUS 611016 HAS SOUPS 611016 WITH SCORE 611839.461
AT ITER 6792 NEW BEST:: SOT 4366291 SOS 823341 HAS SOPS 823341 HAS SOUS 610896 HAS SOUPS 610896 WITH SCORE 611719.341
AT ITER 6795 NEW BEST:: SOT 4365922 SOS 786903 HAS SOPS 786903 HAS SOUS 609786 HAS SOUPS 609786 WITH SCORE 610572.903
AT ITER 6801 NEW BEST:: SOT 4365853 SOS 786765 HAS SOPS 786765 HAS SOUS 609763 HAS SOUPS 609763 WITH SCORE 610549.765
AT ITER 6847 NEW BEST:: SOT 4365746 SOS 786731 HAS SOPS 786731 HAS SOUS 609476 HAS SOUPS 609476 WITH SCORE 610262.731
AT ITER 6891 NEW BEST:: SOT 4365738 SOS 786723 HAS SOPS 786723 HAS SOUS 609468 HAS SOUPS 609468 WITH SCORE 610254.723
AT ITER 6913 NEW BEST:: SOT 4365822 SOS 786891 HAS SOPS 786891 HAS SOUS 609339 HAS SOUPS 609339 WITH SCORE 610125.891
AT ITER 6938 NEW BEST:: SOT 4365766 SOS 786599 HAS SOPS 786599 HAS SOUS 609227 HAS SOUPS 609227 WITH SCORE 610013.599
AT ITER 6966 NEW BEST:: SOT 4365725 SOS 786310 HAS SOPS 786310 HAS SOUS 609145 HAS SOUPS 609145 WITH SCORE 609931.31
AT ITER 6998 NEW BEST:: SOT 4365377 SOS 787064 HAS SOPS 787064 HAS SOUS 609025 HAS SOUPS 609025 WITH SCORE 609812.064
AT ITER 7014 NEW BEST:: SOT 4365462 SOS 781228 HAS SOPS 781228 HAS SOUS 608967 HAS SOUPS 608967 WITH SCORE 609748.228
AT ITER 7023 NEW BEST:: SOT 4365462 SOS 781095 HAS SOPS 781095 HAS SOUS 608834 HAS SOUPS 608834 WITH SCORE 609615.095
AT ITER 7036 NEW BEST:: SOT 4365361 SOS 780893 HAS SOPS 780893 HAS SOUS 608733 HAS SOUPS 608733 WITH SCORE 609513.893
AT ITER 7086 NEW BEST:: SOT 4365325 SOS 780726 HAS SOPS 780726 HAS SOUS 608630 HAS SOUPS 608630 WITH SCORE 609410.726
AT ITER 7093 NEW BEST:: SOT 4365219 SOS 780514 HAS SOPS 780514 HAS SOUS 608418 HAS SOUPS 608418 WITH SCORE 609198.514
AT ITER 7100 NEW BEST:: SOT 4365200 SOS 780476 HAS SOPS 780476 HAS SOUS 608330 HAS SOUPS 608330 WITH SCORE 609110.476
AT ITER 7112 NEW BEST:: SOT 4365182 SOS 780440 HAS SOPS 780440 HAS SOUS 608294 HAS SOUPS 608294 WITH SCORE 609074.44
AT ITER 7119 NEW BEST:: SOT 4365182 SOS 780440 HAS SOPS 780440 HAS SOUS 608138 HAS SOUPS 608138 WITH SCORE 608918.44
AT ITER 7138 NEW BEST:: SOT 4365003 SOS 780082 HAS SOPS 780082 HAS SOUS 607780 HAS SOUPS 607780 WITH SCORE 608560.082
AT ITER 7141 NEW BEST:: SOT 4364899 SOS 779874 HAS SOPS 779874 HAS SOUS 607572 HAS SOUPS 607572 WITH SCORE 608351.874
AT ITER 7156 NEW BEST:: SOT 4364687 SOS 779585 HAS SOPS 779585 HAS SOUS 607255 HAS SOUPS 607255 WITH SCORE 608034.585
AT ITER 7226 NEW BEST:: SOT 4364685 SOS 779581 HAS SOPS 779581 HAS SOUS 607251 HAS SOUPS 607251 WITH SCORE 608030.581
AT ITER 7240 NEW BEST:: SOT 4364409 SOS 780271 HAS SOPS 780271 HAS SOUS 607113 HAS SOUPS 607113 WITH SCORE 607893.271
AT ITER 7281 NEW BEST:: SOT 4364397 SOS 780259 HAS SOPS 780259 HAS SOUS 607101 HAS SOUPS 607101 WITH SCORE 607881.259
AT ITER 7315 NEW BEST:: SOT 4364754 SOS 779957 HAS SOPS 779957 HAS SOUS 606991 HAS SOUPS 606991 WITH SCORE 607770.957
AT ITER 7343 NEW BEST:: SOT 4364847 SOS 779888 HAS SOPS 779888 HAS SOUS 606924 HAS SOUPS 606924 WITH SCORE 607703.888
AT ITER 7350 NEW BEST:: SOT 4364604 SOS 779402 HAS SOPS 779402 HAS SOUS 606686 HAS SOUPS 606686 WITH SCORE 607465.402
AT ITER 7394 NEW BEST:: SOT 4364533 SOS 779380 HAS SOPS 779380 HAS SOUS 606664 HAS SOUPS 606664 WITH SCORE 607443.38
AT ITER 7395 NEW BEST:: SOT 4364481 SOS 779276 HAS SOPS 779276 HAS SOUS 606457 HAS SOUPS 606457 WITH SCORE 607236.276
AT ITER 7409 NEW BEST:: SOT 4364210 SOS 779570 HAS SOPS 779570 HAS SOUS 606395 HAS SOUPS 606395 WITH SCORE 607174.57
AT ITER 7410 NEW BEST:: SOT 4364173 SOS 779365 HAS SOPS 779365 HAS SOUS 606190 HAS SOUPS 606190 WITH SCORE 606969.365
AT ITER 7425 NEW BEST:: SOT 4364215 SOS 779343 HAS SOPS 779343 HAS SOUS 606169 HAS SOUPS 606169 WITH SCORE 606948.343
AT ITER 7426 NEW BEST:: SOT 4364149 SOS 779211 HAS SOPS 779211 HAS SOUS 606097 HAS SOUPS 606097 WITH SCORE 606876.211
AT ITER 7458 NEW BEST:: SOT 4364135 SOS 779183 HAS SOPS 779183 HAS SOUS 606083 HAS SOUPS 606083 WITH SCORE 606862.183
AT ITER 7467 NEW BEST:: SOT 4364050 SOS 779013 HAS SOPS 779013 HAS SOUS 605998 HAS SOUPS 605998 WITH SCORE 606777.013
AT ITER 7474 NEW BEST:: SOT 4363992 SOS 778897 HAS SOPS 778897 HAS SOUS 605882 HAS SOUPS 605882 WITH SCORE 606660.897
AT ITER 7475 NEW BEST:: SOT 4363709 SOS 778623 HAS SOPS 778623 HAS SOUS 605608 HAS SOUPS 605608 WITH SCORE 606386.623
AT ITER 7501 NEW BEST:: SOT 4363699 SOS 778525 HAS SOPS 778525 HAS SOUS 605520 HAS SOUPS 605520 WITH SCORE 606298.525
AT ITER 7508 NEW BEST:: SOT 4363570 SOS 778267 HAS SOPS 778267 HAS SOUS 605391 HAS SOUPS 605391 WITH SCORE 606169.267
AT ITER 7516 NEW BEST:: SOT 4363550 SOS 778227 HAS SOPS 778227 HAS SOUS 605303 HAS SOUPS 605303 WITH SCORE 606081.227
AT ITER 7524 NEW BEST:: SOT 4363513 SOS 778153 HAS SOPS 778153 HAS SOUS 605229 HAS SOUPS 605229 WITH SCORE 606007.153
AT ITER 7538 NEW BEST:: SOT 4363491 SOS 770479 HAS SOPS 770479 HAS SOUS 605185 HAS SOUPS 605185 WITH SCORE 605955.479
AT ITER 7561 NEW BEST:: SOT 4363491 SOS 770445 HAS SOPS 770445 HAS SOUS 605185 HAS SOUPS 605185 WITH SCORE 605955.445
AT ITER 7567 NEW BEST:: SOT 4363428 SOS 770319 HAS SOPS 770319 HAS SOUS 605059 HAS SOUPS 605059 WITH SCORE 605829.319
AT ITER 7600 NEW BEST:: SOT 4363428 SOS 770319 HAS SOPS 770319 HAS SOUS 604996 HAS SOUPS 604996 WITH SCORE 605766.319
AT ITER 7635 NEW BEST:: SOT 4363375 SOS 770213 HAS SOPS 770213 HAS SOUS 604958 HAS SOUPS 604958 WITH SCORE 605728.213
AT ITER 7656 NEW BEST:: SOT 4363353 SOS 770169 HAS SOPS 770169 HAS SOUS 604914 HAS SOUPS 604914 WITH SCORE 605684.169
AT ITER 7667 NEW BEST:: SOT 4362317 SOS 770197 HAS SOPS 770197 HAS SOUS 604178 HAS SOUPS 604178 WITH SCORE 604948.197
AT ITER 7696 NEW BEST:: SOT 4362275 SOS 770056 HAS SOPS 770056 HAS SOUS 604094 HAS SOUPS 604094 WITH SCORE 604864.056
AT ITER 7702 NEW BEST:: SOT 4362275 SOS 769764 HAS SOPS 769764 HAS SOUS 604094 HAS SOUPS 604094 WITH SCORE 604863.764
AT ITER 7708 NEW BEST:: SOT 4362333 SOS 769699 HAS SOPS 769699 HAS SOUS 604029 HAS SOUPS 604029 WITH SCORE 604798.699
AT ITER 7767 NEW BEST:: SOT 4361735 SOS 769378 HAS SOPS 769378 HAS SOUS 603303 HAS SOUPS 603303 WITH SCORE 604072.378
AT ITER 7777 NEW BEST:: SOT 4361686 SOS 769280 HAS SOPS 769280 HAS SOUS 603205 HAS SOUPS 603205 WITH SCORE 603974.28
AT ITER 7788 NEW BEST:: SOT 4361519 SOS 769222 HAS SOPS 769222 HAS SOUS 603038 HAS SOUPS 603038 WITH SCORE 603807.222
AT ITER 7809 NEW BEST:: SOT 4361272 SOS 768481 HAS SOPS 768481 HAS SOUS 602544 HAS SOUPS 602544 WITH SCORE 603312.481
AT ITER 7810 NEW BEST:: SOT 4361254 SOS 768231 HAS SOPS 768231 HAS SOUS 602332 HAS SOUPS 602332 WITH SCORE 603100.231
AT ITER 7811 NEW BEST:: SOT 4361254 SOS 768115 HAS SOPS 768115 HAS SOUS 602100 HAS SOUPS 602100 WITH SCORE 602868.115
AT ITER 7867 NEW BEST:: SOT 4361050 SOS 767503 HAS SOPS 767503 HAS SOUS 601896 HAS SOUPS 601896 WITH SCORE 602663.503
AT ITER 7886 NEW BEST:: SOT 4360926 SOS 767565 HAS SOPS 767565 HAS SOUS 601892 HAS SOUPS 601892 WITH SCORE 602659.565
AT ITER 7940 NEW BEST:: SOT 4360809 SOS 767655 HAS SOPS 767655 HAS SOUS 601775 HAS SOUPS 601775 WITH SCORE 602542.655
AT ITER 7959 NEW BEST:: SOT 4360809 SOS 767655 HAS SOPS 767655 HAS SOUS 601763 HAS SOUPS 601763 WITH SCORE 602530.655
AT ITER 7985 NEW BEST:: SOT 4360738 SOS 766773 HAS SOPS 766773 HAS SOUS 601659 HAS SOUPS 601659 WITH SCORE 602425.773
AT ITER 7991 NEW BEST:: SOT 4360775 SOS 766847 HAS SOPS 766847 HAS SOUS 601468 HAS SOUPS 601468 WITH SCORE 602234.847
AT ITER 7999 NEW BEST:: SOT 4360729 SOS 766755 HAS SOPS 766755 HAS SOUS 601376 HAS SOUPS 601376 WITH SCORE 602142.755
AT ITER 8004 NEW BEST:: SOT 4360663 SOS 766689 HAS SOPS 766689 HAS SOUS 601327 HAS SOUPS 601327 WITH SCORE 602093.689
AT ITER 8011 NEW BEST:: SOT 4360663 SOS 766676 HAS SOPS 766676 HAS SOUS 601314 HAS SOUPS 601314 WITH SCORE 602080.676
AT ITER 8026 NEW BEST:: SOT 4360663 SOS 766664 HAS SOPS 766664 HAS SOUS 601314 HAS SOUPS 601314 WITH SCORE 602080.664
AT ITER 8082 NEW BEST:: SOT 4360643 SOS 766624 HAS SOPS 766624 HAS SOUS 601294 HAS SOUPS 601294 WITH SCORE 602060.624
AT ITER 8105 NEW BEST:: SOT 4360640 SOS 766134 HAS SOPS 766134 HAS SOUS 600811 HAS SOUPS 600811 WITH SCORE 601577.134
AT ITER 8107 NEW BEST:: SOT 4360640 SOS 766008 HAS SOPS 766008 HAS SOUS 600685 HAS SOUPS 600685 WITH SCORE 601451.008
AT ITER 8117 NEW BEST:: SOT 4360640 SOS 765944 HAS SOPS 765944 HAS SOUS 600621 HAS SOUPS 600621 WITH SCORE 601386.944
AT ITER 8125 NEW BEST:: SOT 4360614 SOS 765892 HAS SOPS 765892 HAS SOUS 600569 HAS SOUPS 600569 WITH SCORE 601334.892
AT ITER 8128 NEW BEST:: SOT 4360613 SOS 765875 HAS SOPS 765875 HAS SOUS 600567 HAS SOUPS 600567 WITH SCORE 601332.875
AT ITER 8138 NEW BEST:: SOT 4360606 SOS 765861 HAS SOPS 765861 HAS SOUS 600553 HAS SOUPS 600553 WITH SCORE 601318.861
AT ITER 8139 NEW BEST:: SOT 4360605 SOS 765859 HAS SOPS 765859 HAS SOUS 600551 HAS SOUPS 600551 WITH SCORE 601316.859
AT ITER 8160 NEW BEST:: SOT 4360568 SOS 765785 HAS SOPS 765785 HAS SOUS 600477 HAS SOUPS 600477 WITH SCORE 601242.785
AT ITER 8163 NEW BEST:: SOT 4360567 SOS 765783 HAS SOPS 765783 HAS SOUS 600475 HAS SOUPS 600475 WITH SCORE 601240.783
AT ITER 8171 NEW BEST:: SOT 4360434 SOS 765517 HAS SOPS 765517 HAS SOUS 600248 HAS SOUPS 600248 WITH SCORE 601013.517
AT ITER 8225 NEW BEST:: SOT 4360433 SOS 765422 HAS SOPS 765422 HAS SOUS 600154 HAS SOUPS 600154 WITH SCORE 600919.422
AT ITER 8299 NEW BEST:: SOT 4360247 SOS 765236 HAS SOPS 765236 HAS SOUS 599968 HAS SOUPS 599968 WITH SCORE 600733.236
AT ITER 8316 NEW BEST:: SOT 4360246 SOS 765234 HAS SOPS 765234 HAS SOUS 599966 HAS SOUPS 599966 WITH SCORE 600731.234
AT ITER 8341 NEW BEST:: SOT 4360190 SOS 765122 HAS SOPS 765122 HAS SOUS 599852 HAS SOUPS 599852 WITH SCORE 600617.122
AT ITER 8357 NEW BEST:: SOT 4360318 SOS 765378 HAS SOPS 765378 HAS SOUS 599810 HAS SOUPS 599810 WITH SCORE 600575.378
AT ITER 8371 NEW BEST:: SOT 4360198 SOS 765138 HAS SOPS 765138 HAS SOUS 599570 HAS SOUPS 599570 WITH SCORE 600335.138
AT ITER 8383 NEW BEST:: SOT 4360194 SOS 765130 HAS SOPS 765130 HAS SOUS 599566 HAS SOUPS 599566 WITH SCORE 600331.13
AT ITER 8387 NEW BEST:: SOT 4360012 SOS 764584 HAS SOPS 764584 HAS SOUS 599202 HAS SOUPS 599202 WITH SCORE 599966.584
AT ITER 8434 NEW BEST:: SOT 4359856 SOS 764428 HAS SOPS 764428 HAS SOUS 599046 HAS SOUPS 599046 WITH SCORE 599810.428
AT ITER 8440 NEW BEST:: SOT 4359855 SOS 764426 HAS SOPS 764426 HAS SOUS 599044 HAS SOUPS 599044 WITH SCORE 599808.426
AT ITER 8481 NEW BEST:: SOT 4359810 SOS 764336 HAS SOPS 764336 HAS SOUS 598954 HAS SOUPS 598954 WITH SCORE 599718.336
AT ITER 8482 NEW BEST:: SOT 4359611 SOS 738378 HAS SOPS 738378 HAS SOUS 598556 HAS SOUPS 598556 WITH SCORE 599294.378
AT ITER 8499 NEW BEST:: SOT 4359675 SOS 738506 HAS SOPS 738506 HAS SOUS 598417 HAS SOUPS 598417 WITH SCORE 599155.506
AT ITER 8503 NEW BEST:: SOT 4359675 SOS 738475 HAS SOPS 738475 HAS SOUS 598386 HAS SOUPS 598386 WITH SCORE 599124.475
AT ITER 8508 NEW BEST:: SOT 4359558 SOS 738703 HAS SOPS 738703 HAS SOUS 598370 HAS SOUPS 598370 WITH SCORE 599108.703
AT ITER 8519 NEW BEST:: SOT 4359122 SOS 739784 HAS SOPS 739784 HAS SOUS 598368 HAS SOUPS 598368 WITH SCORE 599107.784
AT ITER 8559 NEW BEST:: SOT 4359107 SOS 739784 HAS SOPS 739784 HAS SOUS 598353 HAS SOUPS 598353 WITH SCORE 599092.784
AT ITER 8574 NEW BEST:: SOT 4358910 SOS 738717 HAS SOPS 738717 HAS SOUS 597797 HAS SOUPS 597797 WITH SCORE 598535.717
AT ITER 8618 NEW BEST:: SOT 4358909 SOS 738408 HAS SOPS 738408 HAS SOUS 597795 HAS SOUPS 597795 WITH SCORE 598533.408
AT ITER 8649 NEW BEST:: SOT 4359028 SOS 738646 HAS SOPS 738646 HAS SOUS 597620 HAS SOUPS 597620 WITH SCORE 598358.646
AT ITER 8655 NEW BEST:: SOT 4358720 SOS 738030 HAS SOPS 738030 HAS SOUS 597004 HAS SOUPS 597004 WITH SCORE 597742.03
AT ITER 8663 NEW BEST:: SOT 4358175 SOS 739000 HAS SOPS 739000 HAS SOUS 596871 HAS SOUPS 596871 WITH SCORE 597610.0
AT ITER 8701 NEW BEST:: SOT 4357987 SOS 738871 HAS SOPS 738871 HAS SOUS 596495 HAS SOUPS 596495 WITH SCORE 597233.871
AT ITER 8718 NEW BEST:: SOT 4357881 SOS 738659 HAS SOPS 738659 HAS SOUS 596221 HAS SOUPS 596221 WITH SCORE 596959.659
AT ITER 8723 NEW BEST:: SOT 4357838 SOS 738616 HAS SOPS 738616 HAS SOUS 596178 HAS SOUPS 596178 WITH SCORE 596916.616
AT ITER 8727 NEW BEST:: SOT 4357776 SOS 738492 HAS SOPS 738492 HAS SOUS 596116 HAS SOUPS 596116 WITH SCORE 596854.492
AT ITER 8742 NEW BEST:: SOT 4357734 SOS 738408 HAS SOPS 738408 HAS SOUS 596032 HAS SOUPS 596032 WITH SCORE 596770.408
AT ITER 8768 NEW BEST:: SOT 4357734 SOS 738391 HAS SOPS 738391 HAS SOUS 596032 HAS SOUPS 596032 WITH SCORE 596770.391
AT ITER 8821 NEW BEST:: SOT 4357681 SOS 738232 HAS SOPS 738232 HAS SOUS 595926 HAS SOUPS 595926 WITH SCORE 596664.232
AT ITER 8852 NEW BEST:: SOT 4357653 SOS 738176 HAS SOPS 738176 HAS SOUS 595870 HAS SOUPS 595870 WITH SCORE 596608.176
AT ITER 8914 NEW BEST:: SOT 4357653 SOS 738118 HAS SOPS 738118 HAS SOUS 595853 HAS SOUPS 595853 WITH SCORE 596591.118
AT ITER 8919 NEW BEST:: SOT 4357720 SOS 738252 HAS SOPS 738252 HAS SOUS 595694 HAS SOUPS 595694 WITH SCORE 596432.252
AT ITER 8986 NEW BEST:: SOT 4356860 SOS 739889 HAS SOPS 739889 HAS SOUS 595225 HAS SOUPS 595225 WITH SCORE 595964.889
AT ITER 9002 NEW BEST:: SOT 4356860 SOS 739655 HAS SOPS 739655 HAS SOUS 595108 HAS SOUPS 595108 WITH SCORE 595847.655
AT ITER 9011 NEW BEST:: SOT 4357030 SOS 739442 HAS SOPS 739442 HAS SOUS 595086 HAS SOUPS 595086 WITH SCORE 595825.442
AT ITER 9023 NEW BEST:: SOT 4357102 SOS 739262 HAS SOPS 739262 HAS SOUS 595086 HAS SOUPS 595086 WITH SCORE 595825.262
AT ITER 9030 NEW BEST:: SOT 4357067 SOS 739192 HAS SOPS 739192 HAS SOUS 595051 HAS SOUPS 595051 WITH SCORE 595790.192
AT ITER 9040 NEW BEST:: SOT 4357244 SOS 738968 HAS SOPS 738968 HAS SOUS 594939 HAS SOUPS 594939 WITH SCORE 595677.968
AT ITER 9055 NEW BEST:: SOT 4357107 SOS 738430 HAS SOPS 738430 HAS SOUS 594704 HAS SOUPS 594704 WITH SCORE 595442.43
AT ITER 9056 NEW BEST:: SOT 4356974 SOS 738492 HAS SOPS 738492 HAS SOUS 594571 HAS SOUPS 594571 WITH SCORE 595309.492
AT ITER 9085 NEW BEST:: SOT 4356770 SOS 738084 HAS SOPS 738084 HAS SOUS 594536 HAS SOUPS 594536 WITH SCORE 595274.084
AT ITER 9120 NEW BEST:: SOT 4356711 SOS 737966 HAS SOPS 737966 HAS SOUS 594396 HAS SOUPS 594396 WITH SCORE 595133.966
AT ITER 9128 NEW BEST:: SOT 4356629 SOS 737802 HAS SOPS 737802 HAS SOUS 594232 HAS SOUPS 594232 WITH SCORE 594969.802
AT ITER 9174 NEW BEST:: SOT 4356619 SOS 737791 HAS SOPS 737791 HAS SOUS 594231 HAS SOUPS 594231 WITH SCORE 594968.791
AT ITER 9185 NEW BEST:: SOT 4356652 SOS 737711 HAS SOPS 737711 HAS SOUS 594224 HAS SOUPS 594224 WITH SCORE 594961.711
AT ITER 9209 NEW BEST:: SOT 4356644 SOS 737712 HAS SOPS 737712 HAS SOUS 594216 HAS SOUPS 594216 WITH SCORE 594953.712
AT ITER 9234 NEW BEST:: SOT 4356644 SOS 737416 HAS SOPS 737416 HAS SOUS 594216 HAS SOUPS 594216 WITH SCORE 594953.416
AT ITER 9239 NEW BEST:: SOT 4356684 SOS 737660 HAS SOPS 737660 HAS SOUS 594204 HAS SOUPS 594204 WITH SCORE 594941.66
AT ITER 9247 NEW BEST:: SOT 4356637 SOS 737610 HAS SOPS 737610 HAS SOUS 594156 HAS SOUPS 594156 WITH SCORE 594893.61
AT ITER 9280 NEW BEST:: SOT 4356518 SOS 737372 HAS SOPS 737372 HAS SOUS 594037 HAS SOUPS 594037 WITH SCORE 594774.372
AT ITER 9289 NEW BEST:: SOT 4356429 SOS 737194 HAS SOPS 737194 HAS SOUS 593948 HAS SOUPS 593948 WITH SCORE 594685.194
AT ITER 9290 NEW BEST:: SOT 4356330 SOS 737095 HAS SOPS 737095 HAS SOUS 593849 HAS SOUPS 593849 WITH SCORE 594586.095
AT ITER 9305 NEW BEST:: SOT 4356306 SOS 737047 HAS SOPS 737047 HAS SOUS 593801 HAS SOUPS 593801 WITH SCORE 594538.047
AT ITER 9317 NEW BEST:: SOT 4356305 SOS 737045 HAS SOPS 737045 HAS SOUS 593799 HAS SOUPS 593799 WITH SCORE 594536.045
AT ITER 9382 NEW BEST:: SOT 4356288 SOS 737011 HAS SOPS 737011 HAS SOUS 593765 HAS SOUPS 593765 WITH SCORE 594502.011
AT ITER 9402 NEW BEST:: SOT 4356249 SOS 736933 HAS SOPS 736933 HAS SOUS 593687 HAS SOUPS 593687 WITH SCORE 594423.933
AT ITER 9425 NEW BEST:: SOT 4355992 SOS 736419 HAS SOPS 736419 HAS SOUS 593173 HAS SOUPS 593173 WITH SCORE 593909.419
AT ITER 9426 NEW BEST:: SOT 4355931 SOS 735793 HAS SOPS 735793 HAS SOUS 592752 HAS SOUPS 592752 WITH SCORE 593487.793
AT ITER 9461 NEW BEST:: SOT 4355710 SOS 735618 HAS SOPS 735618 HAS SOUS 592537 HAS SOUPS 592537 WITH SCORE 593272.618
AT ITER 9493 NEW BEST:: SOT 4355639 SOS 735476 HAS SOPS 735476 HAS SOUS 592343 HAS SOUPS 592343 WITH SCORE 593078.476
AT ITER 9510 NEW BEST:: SOT 4355505 SOS 735476 HAS SOPS 735476 HAS SOUS 592276 HAS SOUPS 592276 WITH SCORE 593011.476
AT ITER 9539 NEW BEST:: SOT 4355500 SOS 735466 HAS SOPS 735466 HAS SOUS 592055 HAS SOUPS 592055 WITH SCORE 592790.466
AT ITER 9615 NEW BEST:: SOT 4355393 SOS 735252 HAS SOPS 735252 HAS SOUS 591841 HAS SOUPS 591841 WITH SCORE 592576.252
AT ITER 9645 NEW BEST:: SOT 4355393 SOS 735177 HAS SOPS 735177 HAS SOUS 591841 HAS SOUPS 591841 WITH SCORE 592576.177
AT ITER 9656 NEW BEST:: SOT 4355335 SOS 735061 HAS SOPS 735061 HAS SOUS 591725 HAS SOUPS 591725 WITH SCORE 592460.061
AT ITER 9710 NEW BEST:: SOT 4355271 SOS 734933 HAS SOPS 734933 HAS SOUS 591597 HAS SOUPS 591597 WITH SCORE 592331.933
AT ITER 9761 NEW BEST:: SOT 4355271 SOS 734861 HAS SOPS 734861 HAS SOUS 591561 HAS SOUPS 591561 WITH SCORE 592295.861
AT ITER 9777 NEW BEST:: SOT 4355260 SOS 734839 HAS SOPS 734839 HAS SOUS 591539 HAS SOUPS 591539 WITH SCORE 592273.839
AT ITER 9779 NEW BEST:: SOT 4354823 SOS 733965 HAS SOPS 733965 HAS SOUS 591102 HAS SOUPS 591102 WITH SCORE 591835.965
AT ITER 9788 NEW BEST:: SOT 4354593 SOS 733505 HAS SOPS 733505 HAS SOUS 590872 HAS SOUPS 590872 WITH SCORE 591605.505
AT ITER 9792 NEW BEST:: SOT 4354534 SOS 733387 HAS SOPS 733387 HAS SOUS 590696 HAS SOUPS 590696 WITH SCORE 591429.387
AT ITER 9810 NEW BEST:: SOT 4354533 SOS 733385 HAS SOPS 733385 HAS SOUS 590694 HAS SOUPS 590694 WITH SCORE 591427.385
AT ITER 9850 NEW BEST:: SOT 4354533 SOS 733367 HAS SOPS 733367 HAS SOUS 590691 HAS SOUPS 590691 WITH SCORE 591424.367
AT ITER 9865 NEW BEST:: SOT 4353888 SOS 732987 HAS SOPS 732987 HAS SOUS 590228 HAS SOUPS 590228 WITH SCORE 590960.987
AT ITER 9866 NEW BEST:: SOT 4353798 SOS 732807 HAS SOPS 732807 HAS SOUS 590048 HAS SOUPS 590048 WITH SCORE 590780.807
AT ITER 9876 NEW BEST:: SOT 4353766 SOS 732775 HAS SOPS 732775 HAS SOUS 590016 HAS SOUPS 590016 WITH SCORE 590748.775
AT ITER 9915 NEW BEST:: SOT 4353682 SOS 732607 HAS SOPS 732607 HAS SOUS 589932 HAS SOUPS 589932 WITH SCORE 590664.607
AT ITER 9939 NEW BEST:: SOT 4353607 SOS 732582 HAS SOPS 732582 HAS SOUS 589882 HAS SOUPS 589882 WITH SCORE 590614.582
AT ITER 9945 NEW BEST:: SOT 4353301 SOS 733741 HAS SOPS 733741 HAS SOUS 589829 HAS SOUPS 589829 WITH SCORE 590562.741
AT ITER 9948 NEW BEST:: SOT 4353272 SOS 733683 HAS SOPS 733683 HAS SOUS 589800 HAS SOUPS 589800 WITH SCORE 590533.683
AT ITER 9963 NEW BEST:: SOT 4353208 SOS 733555 HAS SOPS 733555 HAS SOUS 589736 HAS SOUPS 589736 WITH SCORE 590469.555
AT ITER 9964 NEW BEST:: SOT 4353207 SOS 733483 HAS SOPS 733483 HAS SOUS 589734 HAS SOUPS 589734 WITH SCORE 590467.483
AT ITER 9981 NEW BEST:: SOT 4353195 SOS 733459 HAS SOPS 733459 HAS SOUS 589722 HAS SOUPS 589722 WITH SCORE 590455.459
AT ITER 9983 NEW BEST:: SOT 4353178 SOS 733425 HAS SOPS 733425 HAS SOUS 589688 HAS SOUPS 589688 WITH SCORE 590421.425
AT ITER 9988 NEW BEST:: SOT 4353013 SOS 733095 HAS SOPS 733095 HAS SOUS 589358 HAS SOUPS 589358 WITH SCORE 590091.095
AT ITER 9994 NEW BEST:: SOT 4353151 SOS 732785 HAS SOPS 732785 HAS SOUS 589341 HAS SOUPS 589341 WITH SCORE 590073.785

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

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