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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 820K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K 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.2K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.5K 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 1589088034174

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

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697225 HAS SOUPS 697225 WITH SCORE 697980.786
AT ITER 12 NEW BEST:: SOT 4439073 SOS 755786 HAS SOPS 755786 HAS SOUS 697189 HAS SOUPS 697189 WITH SCORE 697944.786
AT ITER 16 NEW BEST:: SOT 4438883 SOS 755786 HAS SOPS 755786 HAS SOUS 697094 HAS SOUPS 697094 WITH SCORE 697849.786
AT ITER 31 NEW BEST:: SOT 4438820 SOS 755744 HAS SOPS 755744 HAS SOUS 697031 HAS SOUPS 697031 WITH SCORE 697786.744
AT ITER 32 NEW BEST:: SOT 4438819 SOS 755742 HAS SOPS 755742 HAS SOUS 697029 HAS SOUPS 697029 WITH SCORE 697784.742
AT ITER 77 NEW BEST:: SOT 4438819 SOS 755650 HAS SOPS 755650 HAS SOUS 697029 HAS SOUPS 697029 WITH SCORE 697784.65
AT ITER 94 NEW BEST:: SOT 4438859 SOS 755222 HAS SOPS 755222 HAS SOUS 696917 HAS SOUPS 696917 WITH SCORE 697672.222
AT ITER 104 NEW BEST:: SOT 4438859 SOS 755106 HAS SOPS 755106 HAS SOUS 696917 HAS SOUPS 696917 WITH SCORE 697672.106
AT ITER 123 NEW BEST:: SOT 4438522 SOS 754638 HAS SOPS 754638 HAS SOUS 696374 HAS SOUPS 696374 WITH SCORE 697128.638
AT ITER 144 NEW BEST:: SOT 4436168 SOS 752540 HAS SOPS 752540 HAS SOUS 694068 HAS SOUPS 694068 WITH SCORE 694820.54
AT ITER 157 NEW BEST:: SOT 4436105 SOS 752414 HAS SOPS 752414 HAS SOUS 693942 HAS SOUPS 693942 WITH SCORE 694694.414
AT ITER 178 NEW BEST:: SOT 4436105 SOS 752069 HAS SOPS 752069 HAS SOUS 693942 HAS SOUPS 693942 WITH SCORE 694694.069
AT ITER 191 NEW BEST:: SOT 4435971 SOS 752234 HAS SOPS 752234 HAS SOUS 693807 HAS SOUPS 693807 WITH SCORE 694559.234
AT ITER 192 NEW BEST:: SOT 4435849 SOS 751990 HAS SOPS 751990 HAS SOUS 693481 HAS SOUPS 693481 WITH SCORE 694232.99
AT ITER 199 NEW BEST:: SOT 4429465 SOS 817168 HAS SOPS 817168 HAS SOUS 691145 HAS SOUPS 691145 WITH SCORE 691962.168
AT ITER 223 NEW BEST:: SOT 4429323 SOS 817026 HAS SOPS 817026 HAS SOUS 691003 HAS SOUPS 691003 WITH SCORE 691820.026
AT ITER 238 NEW BEST:: SOT 4429323 SOS 816939 HAS SOPS 816939 HAS SOUS 690871 HAS SOUPS 690871 WITH SCORE 691687.939
AT ITER 250 NEW BEST:: SOT 4429310 SOS 816913 HAS SOPS 816913 HAS SOUS 690858 HAS SOUPS 690858 WITH SCORE 691674.913
AT ITER 265 NEW BEST:: SOT 4429202 SOS 816845 HAS SOPS 816845 HAS SOUS 690750 HAS SOUPS 690750 WITH SCORE 691566.845
AT ITER 319 NEW BEST:: SOT 4429019 SOS 816479 HAS SOPS 816479 HAS SOUS 690567 HAS SOUPS 690567 WITH SCORE 691383.479
AT ITER 323 NEW BEST:: SOT 4428779 SOS 816239 HAS SOPS 816239 HAS SOUS 690327 HAS SOUPS 690327 WITH SCORE 691143.239
AT ITER 328 NEW BEST:: SOT 4428679 SOS 816162 HAS SOPS 816162 HAS SOUS 690250 HAS SOUPS 690250 WITH SCORE 691066.162
AT ITER 330 NEW BEST:: SOT 4428557 SOS 816040 HAS SOPS 816040 HAS SOUS 690128 HAS SOUPS 690128 WITH SCORE 690944.04
AT ITER 356 NEW BEST:: SOT 4428551 SOS 816028 HAS SOPS 816028 HAS SOUS 689950 HAS SOUPS 689950 WITH SCORE 690766.028
AT ITER 372 NEW BEST:: SOT 4424017 SOS 815354 HAS SOPS 815354 HAS SOUS 686088 HAS SOUPS 686088 WITH SCORE 686903.354
AT ITER 377 NEW BEST:: SOT 4424017 SOS 815298 HAS SOPS 815298 HAS SOUS 686032 HAS SOUPS 686032 WITH SCORE 686847.298
AT ITER 379 NEW BEST:: SOT 4423978 SOS 814945 HAS SOPS 814945 HAS SOUS 685718 HAS SOUPS 685718 WITH SCORE 686532.945
AT ITER 397 NEW BEST:: SOT 4423724 SOS 814755 HAS SOPS 814755 HAS SOUS 685567 HAS SOUPS 685567 WITH SCORE 686381.755
AT ITER 398 NEW BEST:: SOT 4423354 SOS 814385 HAS SOPS 814385 HAS SOUS 685197 HAS SOUPS 685197 WITH SCORE 686011.385
AT ITER 447 NEW BEST:: SOT 4423257 SOS 814350 HAS SOPS 814350 HAS SOUS 685100 HAS SOUPS 685100 WITH SCORE 685914.35
AT ITER 451 NEW BEST:: SOT 4423186 SOS 814208 HAS SOPS 814208 HAS SOUS 684958 HAS SOUPS 684958 WITH SCORE 685772.208
AT ITER 496 NEW BEST:: SOT 4423133 SOS 814173 HAS SOPS 814173 HAS SOUS 684905 HAS SOUPS 684905 WITH SCORE 685719.173
AT ITER 546 NEW BEST:: SOT 4423267 SOS 813655 HAS SOPS 813655 HAS SOUS 684741 HAS SOUPS 684741 WITH SCORE 685554.655
AT ITER 547 NEW BEST:: SOT 4423085 SOS 813291 HAS SOPS 813291 HAS SOUS 684377 HAS SOUPS 684377 WITH SCORE 685190.291
AT ITER 558 NEW BEST:: SOT 4423084 SOS 813280 HAS SOPS 813280 HAS SOUS 684375 HAS SOUPS 684375 WITH SCORE 685188.28
AT ITER 577 NEW BEST:: SOT 4423156 SOS 813081 HAS SOPS 813081 HAS SOUS 684195 HAS SOUPS 684195 WITH SCORE 685008.081
AT ITER 596 NEW BEST:: SOT 4423155 SOS 813079 HAS SOPS 813079 HAS SOUS 684193 HAS SOUPS 684193 WITH SCORE 685006.079
AT ITER 600 NEW BEST:: SOT 4423059 SOS 812887 HAS SOPS 812887 HAS SOUS 683965 HAS SOUPS 683965 WITH SCORE 684777.887
AT ITER 627 NEW BEST:: SOT 4423003 SOS 812775 HAS SOPS 812775 HAS SOUS 683853 HAS SOUPS 683853 WITH SCORE 684665.775
AT ITER 637 NEW BEST:: SOT 4423003 SOS 812553 HAS SOPS 812553 HAS SOUS 683853 HAS SOUPS 683853 WITH SCORE 684665.553
AT ITER 688 NEW BEST:: SOT 4422924 SOS 812395 HAS SOPS 812395 HAS SOUS 683695 HAS SOUPS 683695 WITH SCORE 684507.395
AT ITER 703 NEW BEST:: SOT 4422920 SOS 812397 HAS SOPS 812397 HAS SOUS 683691 HAS SOUPS 683691 WITH SCORE 684503.397
AT ITER 734 NEW BEST:: SOT 4422927 SOS 812386 HAS SOPS 812386 HAS SOUS 683686 HAS SOUPS 683686 WITH SCORE 684498.386
AT ITER 740 NEW BEST:: SOT 4422923 SOS 812378 HAS SOPS 812378 HAS SOUS 683678 HAS SOUPS 683678 WITH SCORE 684490.378
AT ITER 745 NEW BEST:: SOT 4422842 SOS 812297 HAS SOPS 812297 HAS SOUS 683597 HAS SOUPS 683597 WITH SCORE 684409.297
AT ITER 783 NEW BEST:: SOT 4422779 SOS 811888 HAS SOPS 811888 HAS SOUS 683251 HAS SOUPS 683251 WITH SCORE 684062.888
AT ITER 784 NEW BEST:: SOT 4422368 SOS 811374 HAS SOPS 811374 HAS SOUS 682599 HAS SOUPS 682599 WITH SCORE 683410.374
AT ITER 857 NEW BEST:: SOT 4422486 SOS 811610 HAS SOPS 811610 HAS SOUS 682332 HAS SOUPS 682332 WITH SCORE 683143.61
AT ITER 861 NEW BEST:: SOT 4422486 SOS 811470 HAS SOPS 811470 HAS SOUS 682262 HAS SOUPS 682262 WITH SCORE 683073.47
AT ITER 868 NEW BEST:: SOT 4422372 SOS 811385 HAS SOPS 811385 HAS SOUS 682167 HAS SOUPS 682167 WITH SCORE 682978.385
AT ITER 876 NEW BEST:: SOT 4422147 SOS 810935 HAS SOPS 810935 HAS SOUS 681717 HAS SOUPS 681717 WITH SCORE 682527.935
AT ITER 909 NEW BEST:: SOT 4422131 SOS 810874 HAS SOPS 810874 HAS SOUS 681685 HAS SOUPS 681685 WITH SCORE 682495.874
AT ITER 935 NEW BEST:: SOT 4422131 SOS 810779 HAS SOPS 810779 HAS SOUS 681685 HAS SOUPS 681685 WITH SCORE 682495.779
AT ITER 978 NEW BEST:: SOT 4422131 SOS 810779 HAS SOPS 810779 HAS SOUS 681662 HAS SOUPS 681662 WITH SCORE 682472.779
AT ITER 979 NEW BEST:: SOT 4422203 SOS 810923 HAS SOPS 810923 HAS SOUS 681564 HAS SOUPS 681564 WITH SCORE 682374.923
AT ITER 984 NEW BEST:: SOT 4422203 SOS 810686 HAS SOPS 810686 HAS SOUS 681564 HAS SOUPS 681564 WITH SCORE 682374.686
AT ITER 1002 NEW BEST:: SOT 4421933 SOS 810755 HAS SOPS 810755 HAS SOUS 681231 HAS SOUPS 681231 WITH SCORE 682041.755
AT ITER 1011 NEW BEST:: SOT 4421933 SOS 810693 HAS SOPS 810693 HAS SOUS 681169 HAS SOUPS 681169 WITH SCORE 681979.693
AT ITER 1018 NEW BEST:: SOT 4421870 SOS 810648 HAS SOPS 810648 HAS SOUS 681116 HAS SOUPS 681116 WITH SCORE 681926.648
AT ITER 1024 NEW BEST:: SOT 4421864 SOS 810880 HAS SOPS 810880 HAS SOUS 681104 HAS SOUPS 681104 WITH SCORE 681914.88
AT ITER 1055 NEW BEST:: SOT 4421864 SOS 810873 HAS SOPS 810873 HAS SOUS 681104 HAS SOUPS 681104 WITH SCORE 681914.873
AT ITER 1063 NEW BEST:: SOT 4421846 SOS 810855 HAS SOPS 810855 HAS SOUS 681086 HAS SOUPS 681086 WITH SCORE 681896.855
AT ITER 1095 NEW BEST:: SOT 4417077 SOS 845501 HAS SOPS 845501 HAS SOUS 677595 HAS SOUPS 677595 WITH SCORE 678440.501
AT ITER 1112 NEW BEST:: SOT 4417077 SOS 845501 HAS SOPS 845501 HAS SOUS 677485 HAS SOUPS 677485 WITH SCORE 678330.501
AT ITER 1117 NEW BEST:: SOT 4417077 SOS 845478 HAS SOPS 845478 HAS SOUS 677462 HAS SOUPS 677462 WITH SCORE 678307.478
AT ITER 1162 NEW BEST:: SOT 4416809 SOS 845210 HAS SOPS 845210 HAS SOUS 677194 HAS SOUPS 677194 WITH SCORE 678039.21
AT ITER 1188 NEW BEST:: SOT 4416762 SOS 844787 HAS SOPS 844787 HAS SOUS 676956 HAS SOUPS 676956 WITH SCORE 677800.787
AT ITER 1204 NEW BEST:: SOT 4411930 SOS 887554 HAS SOPS 887554 HAS SOUS 674972 HAS SOUPS 674972 WITH SCORE 675859.554
AT ITER 1209 NEW BEST:: SOT 4411953 SOS 887298 HAS SOPS 887298 HAS SOUS 674693 HAS SOUPS 674693 WITH SCORE 675580.298
AT ITER 1245 NEW BEST:: SOT 4411953 SOS 887298 HAS SOPS 887298 HAS SOUS 674648 HAS SOUPS 674648 WITH SCORE 675535.298
AT ITER 1256 NEW BEST:: SOT 4411859 SOS 887110 HAS SOPS 887110 HAS SOUS 674554 HAS SOUPS 674554 WITH SCORE 675441.11
AT ITER 1260 NEW BEST:: SOT 4411533 SOS 886458 HAS SOPS 886458 HAS SOUS 673902 HAS SOUPS 673902 WITH SCORE 674788.458
AT ITER 1273 NEW BEST:: SOT 4411533 SOS 886458 HAS SOPS 886458 HAS SOUS 673791 HAS SOUPS 673791 WITH SCORE 674677.458
AT ITER 1311 NEW BEST:: SOT 4411408 SOS 886208 HAS SOPS 886208 HAS SOUS 673541 HAS SOUPS 673541 WITH SCORE 674427.208
AT ITER 1321 NEW BEST:: SOT 4411407 SOS 885916 HAS SOPS 885916 HAS SOUS 673539 HAS SOUPS 673539 WITH SCORE 674424.916
AT ITER 1337 NEW BEST:: SOT 4411276 SOS 885824 HAS SOPS 885824 HAS SOUS 673447 HAS SOUPS 673447 WITH SCORE 674332.824
AT ITER 1344 NEW BEST:: SOT 4411049 SOS 885370 HAS SOPS 885370 HAS SOUS 673220 HAS SOUPS 673220 WITH SCORE 674105.37
AT ITER 1366 NEW BEST:: SOT 4411049 SOS 885359 HAS SOPS 885359 HAS SOUS 673220 HAS SOUPS 673220 WITH SCORE 674105.359
AT ITER 1381 NEW BEST:: SOT 4411001 SOS 885263 HAS SOPS 885263 HAS SOUS 673109 HAS SOUPS 673109 WITH SCORE 673994.263
AT ITER 1392 NEW BEST:: SOT 4411000 SOS 885262 HAS SOPS 885262 HAS SOUS 673107 HAS SOUPS 673107 WITH SCORE 673992.262
AT ITER 1422 NEW BEST:: SOT 4411000 SOS 885262 HAS SOPS 885262 HAS SOUS 672926 HAS SOUPS 672926 WITH SCORE 673811.262
AT ITER 1443 NEW BEST:: SOT 4410880 SOS 885022 HAS SOPS 885022 HAS SOUS 672686 HAS SOUPS 672686 WITH SCORE 673571.022
AT ITER 1445 NEW BEST:: SOT 4410713 SOS 884814 HAS SOPS 884814 HAS SOUS 672478 HAS SOUPS 672478 WITH SCORE 673362.814
AT ITER 1451 NEW BEST:: SOT 4410665 SOS 884647 HAS SOPS 884647 HAS SOUS 672382 HAS SOUPS 672382 WITH SCORE 673266.647
AT ITER 1455 NEW BEST:: SOT 4410599 SOS 884559 HAS SOPS 884559 HAS SOUS 672294 HAS SOUPS 672294 WITH SCORE 673178.559
AT ITER 1474 NEW BEST:: SOT 4410599 SOS 884522 HAS SOPS 884522 HAS SOUS 672294 HAS SOUPS 672294 WITH SCORE 673178.522
AT ITER 1475 NEW BEST:: SOT 4408938 SOS 885178 HAS SOPS 885178 HAS SOUS 671278 HAS SOUPS 671278 WITH SCORE 672163.178
AT ITER 1495 NEW BEST:: SOT 4408788 SOS 885237 HAS SOPS 885237 HAS SOUS 671219 HAS SOUPS 671219 WITH SCORE 672104.237
AT ITER 1498 NEW BEST:: SOT 4408787 SOS 884880 HAS SOPS 884880 HAS SOUS 671217 HAS SOUPS 671217 WITH SCORE 672101.88
AT ITER 1505 NEW BEST:: SOT 4408787 SOS 884849 HAS SOPS 884849 HAS SOUS 671217 HAS SOUPS 671217 WITH SCORE 672101.849
AT ITER 1529 NEW BEST:: SOT 4408703 SOS 884438 HAS SOPS 884438 HAS SOUS 670928 HAS SOUPS 670928 WITH SCORE 671812.438
AT ITER 1554 NEW BEST:: SOT 4408697 SOS 884432 HAS SOPS 884432 HAS SOUS 670922 HAS SOUPS 670922 WITH SCORE 671806.432
AT ITER 1571 NEW BEST:: SOT 4408179 SOS 883396 HAS SOPS 883396 HAS SOUS 669886 HAS SOUPS 669886 WITH SCORE 670769.396
AT ITER 1629 NEW BEST:: SOT 4408128 SOS 882919 HAS SOPS 882919 HAS SOUS 669590 HAS SOUPS 669590 WITH SCORE 670472.919
AT ITER 1653 NEW BEST:: SOT 4397125 SOS 888096 HAS SOPS 888096 HAS SOUS 659161 HAS SOUPS 659161 WITH SCORE 660049.096
AT ITER 1673 NEW BEST:: SOT 4397125 SOS 888096 HAS SOPS 888096 HAS SOUS 659007 HAS SOUPS 659007 WITH SCORE 659895.096
AT ITER 1747 NEW BEST:: SOT 4397124 SOS 888095 HAS SOPS 888095 HAS SOUS 659005 HAS SOUPS 659005 WITH SCORE 659893.095
AT ITER 1788 NEW BEST:: SOT 4397123 SOS 887861 HAS SOPS 887861 HAS SOUS 659003 HAS SOUPS 659003 WITH SCORE 659890.861
AT ITER 1797 NEW BEST:: SOT 4397123 SOS 887861 HAS SOPS 887861 HAS SOUS 658970 HAS SOUPS 658970 WITH SCORE 659857.861
AT ITER 1812 NEW BEST:: SOT 4397123 SOS 887803 HAS SOPS 887803 HAS SOUS 658969 HAS SOUPS 658969 WITH SCORE 659856.803
AT ITER 1825 NEW BEST:: SOT 4396943 SOS 887691 HAS SOPS 887691 HAS SOUS 658736 HAS SOUPS 658736 WITH SCORE 659623.691
AT ITER 1833 NEW BEST:: SOT 4396943 SOS 887691 HAS SOPS 887691 HAS SOUS 658505 HAS SOUPS 658505 WITH SCORE 659392.691
AT ITER 1862 NEW BEST:: SOT 4396725 SOS 887473 HAS SOPS 887473 HAS SOUS 658287 HAS SOUPS 658287 WITH SCORE 659174.473
AT ITER 1863 NEW BEST:: SOT 4396684 SOS 887432 HAS SOPS 887432 HAS SOUS 658205 HAS SOUPS 658205 WITH SCORE 659092.432
AT ITER 1871 NEW BEST:: SOT 4396308 SOS 886680 HAS SOPS 886680 HAS SOUS 657574 HAS SOUPS 657574 WITH SCORE 658460.68
AT ITER 1888 NEW BEST:: SOT 4396051 SOS 886166 HAS SOPS 886166 HAS SOUS 657490 HAS SOUPS 657490 WITH SCORE 658376.166
AT ITER 1899 NEW BEST:: SOT 4396051 SOS 886166 HAS SOPS 886166 HAS SOUS 657391 HAS SOUPS 657391 WITH SCORE 658277.166
AT ITER 1925 NEW BEST:: SOT 4395897 SOS 886787 HAS SOPS 886787 HAS SOUS 657323 HAS SOUPS 657323 WITH SCORE 658209.787
AT ITER 1983 NEW BEST:: SOT 4395756 SOS 886505 HAS SOPS 886505 HAS SOUS 657032 HAS SOUPS 657032 WITH SCORE 657918.505
AT ITER 1985 NEW BEST:: SOT 4395729 SOS 886487 HAS SOPS 886487 HAS SOUS 657014 HAS SOUPS 657014 WITH SCORE 657900.487
AT ITER 1992 NEW BEST:: SOT 4395707 SOS 886443 HAS SOPS 886443 HAS SOUS 657009 HAS SOUPS 657009 WITH SCORE 657895.443
AT ITER 1996 NEW BEST:: SOT 4395628 SOS 886285 HAS SOPS 886285 HAS SOUS 657009 HAS SOUPS 657009 WITH SCORE 657895.285
AT ITER 2003 NEW BEST:: SOT 4395285 SOS 891149 HAS SOPS 891149 HAS SOUS 656856 HAS SOUPS 656856 WITH SCORE 657747.149
AT ITER 2004 NEW BEST:: SOT 4395194 SOS 890967 HAS SOPS 890967 HAS SOUS 656765 HAS SOUPS 656765 WITH SCORE 657655.967
AT ITER 2043 NEW BEST:: SOT 4395090 SOS 890759 HAS SOPS 890759 HAS SOUS 656557 HAS SOUPS 656557 WITH SCORE 657447.759
AT ITER 2065 NEW BEST:: SOT 4393939 SOS 891166 HAS SOPS 891166 HAS SOUS 655566 HAS SOUPS 655566 WITH SCORE 656457.166
AT ITER 2091 NEW BEST:: SOT 4393936 SOS 891160 HAS SOPS 891160 HAS SOUS 655523 HAS SOUPS 655523 WITH SCORE 656414.16
AT ITER 2093 NEW BEST:: SOT 4393936 SOS 891160 HAS SOPS 891160 HAS SOUS 655368 HAS SOUPS 655368 WITH SCORE 656259.16
AT ITER 2110 NEW BEST:: SOT 4393608 SOS 891160 HAS SOPS 891160 HAS SOUS 655204 HAS SOUPS 655204 WITH SCORE 656095.16
AT ITER 2120 NEW BEST:: SOT 4393497 SOS 891049 HAS SOPS 891049 HAS SOUS 655093 HAS SOUPS 655093 WITH SCORE 655984.049
AT ITER 2125 NEW BEST:: SOT 4393793 SOS 891303 HAS SOPS 891303 HAS SOUS 655051 HAS SOUPS 655051 WITH SCORE 655942.303
AT ITER 2148 NEW BEST:: SOT 4393472 SOS 890982 HAS SOPS 890982 HAS SOUS 654730 HAS SOUPS 654730 WITH SCORE 655620.982
AT ITER 2155 NEW BEST:: SOT 4393360 SOS 890758 HAS SOPS 890758 HAS SOUS 654506 HAS SOUPS 654506 WITH SCORE 655396.758
AT ITER 2163 NEW BEST:: SOT 4393357 SOS 890752 HAS SOPS 890752 HAS SOUS 654500 HAS SOUPS 654500 WITH SCORE 655390.752
AT ITER 2171 NEW BEST:: SOT 4393357 SOS 890384 HAS SOPS 890384 HAS SOUS 654500 HAS SOUPS 654500 WITH SCORE 655390.384
AT ITER 2198 NEW BEST:: SOT 4393305 SOS 890280 HAS SOPS 890280 HAS SOUS 654396 HAS SOUPS 654396 WITH SCORE 655286.28
AT ITER 2209 NEW BEST:: SOT 4393290 SOS 890250 HAS SOPS 890250 HAS SOUS 654295 HAS SOUPS 654295 WITH SCORE 655185.25
AT ITER 2220 NEW BEST:: SOT 4392921 SOS 889995 HAS SOPS 889995 HAS SOUS 653865 HAS SOUPS 653865 WITH SCORE 654754.995
AT ITER 2279 NEW BEST:: SOT 4392573 SOS 865499 HAS SOPS 865499 HAS SOUS 653169 HAS SOUPS 653169 WITH SCORE 654034.499
AT ITER 2288 NEW BEST:: SOT 4392572 SOS 865488 HAS SOPS 865488 HAS SOUS 653167 HAS SOUPS 653167 WITH SCORE 654032.488
AT ITER 2307 NEW BEST:: SOT 4392572 SOS 865210 HAS SOPS 865210 HAS SOUS 653167 HAS SOUPS 653167 WITH SCORE 654032.21
AT ITER 2336 NEW BEST:: SOT 4392557 SOS 865100 HAS SOPS 865100 HAS SOUS 653072 HAS SOUPS 653072 WITH SCORE 653937.1
AT ITER 2353 NEW BEST:: SOT 4392443 SOS 864872 HAS SOPS 864872 HAS SOUS 652844 HAS SOUPS 652844 WITH SCORE 653708.872
AT ITER 2366 NEW BEST:: SOT 4392523 SOS 864723 HAS SOPS 864723 HAS SOUS 652770 HAS SOUPS 652770 WITH SCORE 653634.723
AT ITER 2367 NEW BEST:: SOT 4392522 SOS 864630 HAS SOPS 864630 HAS SOUS 652676 HAS SOUPS 652676 WITH SCORE 653540.63
AT ITER 2372 NEW BEST:: SOT 4392360 SOS 864306 HAS SOPS 864306 HAS SOUS 652352 HAS SOUPS 652352 WITH SCORE 653216.306
AT ITER 2374 NEW BEST:: SOT 4392360 SOS 864280 HAS SOPS 864280 HAS SOUS 652352 HAS SOUPS 652352 WITH SCORE 653216.28
AT ITER 2383 NEW BEST:: SOT 4392211 SOS 863982 HAS SOPS 863982 HAS SOUS 652054 HAS SOUPS 652054 WITH SCORE 652917.982
AT ITER 2387 NEW BEST:: SOT 4392199 SOS 863966 HAS SOPS 863966 HAS SOUS 652038 HAS SOUPS 652038 WITH SCORE 652901.966
AT ITER 2413 NEW BEST:: SOT 4392059 SOS 863686 HAS SOPS 863686 HAS SOUS 651758 HAS SOUPS 651758 WITH SCORE 652621.686
AT ITER 2415 NEW BEST:: SOT 4392058 SOS 863684 HAS SOPS 863684 HAS SOUS 651756 HAS SOUPS 651756 WITH SCORE 652619.684
AT ITER 2549 NEW BEST:: SOT 4392057 SOS 863682 HAS SOPS 863682 HAS SOUS 651754 HAS SOUPS 651754 WITH SCORE 652617.682
AT ITER 2565 NEW BEST:: SOT 4391809 SOS 863186 HAS SOPS 863186 HAS SOUS 651258 HAS SOUPS 651258 WITH SCORE 652121.186
AT ITER 2566 NEW BEST:: SOT 4391646 SOS 863088 HAS SOPS 863088 HAS SOUS 651111 HAS SOUPS 651111 WITH SCORE 651974.088
AT ITER 2587 NEW BEST:: SOT 4391396 SOS 862891 HAS SOPS 862891 HAS SOUS 650861 HAS SOUPS 650861 WITH SCORE 651723.891
AT ITER 2591 NEW BEST:: SOT 4391108 SOS 862315 HAS SOPS 862315 HAS SOUS 650706 HAS SOUPS 650706 WITH SCORE 651568.315
AT ITER 2594 NEW BEST:: SOT 4391108 SOS 862193 HAS SOPS 862193 HAS SOUS 650706 HAS SOUPS 650706 WITH SCORE 651568.193
AT ITER 2600 NEW BEST:: SOT 4391108 SOS 862076 HAS SOPS 862076 HAS SOUS 650706 HAS SOUPS 650706 WITH SCORE 651568.076
AT ITER 2611 NEW BEST:: SOT 4391050 SOS 861960 HAS SOPS 861960 HAS SOUS 650590 HAS SOUPS 650590 WITH SCORE 651451.96
AT ITER 2636 NEW BEST:: SOT 4390816 SOS 860911 HAS SOPS 860911 HAS SOUS 650356 HAS SOUPS 650356 WITH SCORE 651216.911
AT ITER 2649 NEW BEST:: SOT 4389793 SOS 861075 HAS SOPS 861075 HAS SOUS 649697 HAS SOUPS 649697 WITH SCORE 650558.075
AT ITER 2665 NEW BEST:: SOT 4389531 SOS 860921 HAS SOPS 860921 HAS SOUS 649543 HAS SOUPS 649543 WITH SCORE 650403.921
AT ITER 2679 NEW BEST:: SOT 4389264 SOS 860387 HAS SOPS 860387 HAS SOUS 649009 HAS SOUPS 649009 WITH SCORE 649869.387
AT ITER 2702 NEW BEST:: SOT 4389143 SOS 860145 HAS SOPS 860145 HAS SOUS 648767 HAS SOUPS 648767 WITH SCORE 649627.145
AT ITER 2727 NEW BEST:: SOT 4389218 SOS 860295 HAS SOPS 860295 HAS SOUS 648670 HAS SOUPS 648670 WITH SCORE 649530.295
AT ITER 2729 NEW BEST:: SOT 4389218 SOS 860295 HAS SOPS 860295 HAS SOUS 648667 HAS SOUPS 648667 WITH SCORE 649527.295
AT ITER 2750 NEW BEST:: SOT 4389202 SOS 860299 HAS SOPS 860299 HAS SOUS 648653 HAS SOUPS 648653 WITH SCORE 649513.299
AT ITER 2755 NEW BEST:: SOT 4389352 SOS 860171 HAS SOPS 860171 HAS SOUS 648525 HAS SOUPS 648525 WITH SCORE 649385.171
AT ITER 2759 NEW BEST:: SOT 4389215 SOS 859897 HAS SOPS 859897 HAS SOUS 648251 HAS SOUPS 648251 WITH SCORE 649110.897
AT ITER 2791 NEW BEST:: SOT 4388929 SOS 859611 HAS SOPS 859611 HAS SOUS 647965 HAS SOUPS 647965 WITH SCORE 648824.611
AT ITER 2833 NEW BEST:: SOT 4388928 SOS 859609 HAS SOPS 859609 HAS SOUS 647963 HAS SOUPS 647963 WITH SCORE 648822.609
AT ITER 2854 NEW BEST:: SOT 4388490 SOS 860001 HAS SOPS 860001 HAS SOUS 647842 HAS SOUPS 647842 WITH SCORE 648702.001
AT ITER 2860 NEW BEST:: SOT 4388473 SOS 859967 HAS SOPS 859967 HAS SOUS 647824 HAS SOUPS 647824 WITH SCORE 648683.967
AT ITER 2862 NEW BEST:: SOT 4388334 SOS 859841 HAS SOPS 859841 HAS SOUS 647689 HAS SOUPS 647689 WITH SCORE 648548.841
AT ITER 2877 NEW BEST:: SOT 4388009 SOS 859191 HAS SOPS 859191 HAS SOUS 647329 HAS SOUPS 647329 WITH SCORE 648188.191
AT ITER 2886 NEW BEST:: SOT 4388009 SOS 859094 HAS SOPS 859094 HAS SOUS 647232 HAS SOUPS 647232 WITH SCORE 648091.094
AT ITER 2887 NEW BEST:: SOT 4387986 SOS 859048 HAS SOPS 859048 HAS SOUS 647186 HAS SOUPS 647186 WITH SCORE 648045.048
AT ITER 2895 NEW BEST:: SOT 4388047 SOS 858926 HAS SOPS 858926 HAS SOUS 647186 HAS SOUPS 647186 WITH SCORE 648044.926
AT ITER 2896 NEW BEST:: SOT 4387934 SOS 858700 HAS SOPS 858700 HAS SOUS 646960 HAS SOUPS 646960 WITH SCORE 647818.7
AT ITER 2905 NEW BEST:: SOT 4387960 SOS 858752 HAS SOPS 858752 HAS SOUS 646741 HAS SOUPS 646741 WITH SCORE 647599.752
AT ITER 2928 NEW BEST:: SOT 4387909 SOS 858576 HAS SOPS 858576 HAS SOUS 646616 HAS SOUPS 646616 WITH SCORE 647474.576
AT ITER 2930 NEW BEST:: SOT 4387771 SOS 858300 HAS SOPS 858300 HAS SOUS 646407 HAS SOUPS 646407 WITH SCORE 647265.3
AT ITER 2933 NEW BEST:: SOT 4387763 SOS 858284 HAS SOPS 858284 HAS SOUS 646399 HAS SOUPS 646399 WITH SCORE 647257.284
AT ITER 2944 NEW BEST:: SOT 4387751 SOS 858260 HAS SOPS 858260 HAS SOUS 646375 HAS SOUPS 646375 WITH SCORE 647233.26
AT ITER 2945 NEW BEST:: SOT 4387711 SOS 858221 HAS SOPS 858221 HAS SOUS 646335 HAS SOUPS 646335 WITH SCORE 647193.221
AT ITER 2952 NEW BEST:: SOT 4387711 SOS 858221 HAS SOPS 858221 HAS SOUS 646308 HAS SOUPS 646308 WITH SCORE 647166.221
AT ITER 2979 NEW BEST:: SOT 4387204 SOS 857769 HAS SOPS 857769 HAS SOUS 645821 HAS SOUPS 645821 WITH SCORE 646678.769
AT ITER 2987 NEW BEST:: SOT 4386838 SOS 857525 HAS SOPS 857525 HAS SOUS 645455 HAS SOUPS 645455 WITH SCORE 646312.525
AT ITER 3011 NEW BEST:: SOT 4386838 SOS 857525 HAS SOPS 857525 HAS SOUS 645427 HAS SOUPS 645427 WITH SCORE 646284.525
AT ITER 3013 NEW BEST:: SOT 4386565 SOS 856979 HAS SOPS 856979 HAS SOUS 644881 HAS SOUPS 644881 WITH SCORE 645737.979
AT ITER 3021 NEW BEST:: SOT 4386565 SOS 856976 HAS SOPS 856976 HAS SOUS 644878 HAS SOUPS 644878 WITH SCORE 645734.976
AT ITER 3030 NEW BEST:: SOT 4386564 SOS 856975 HAS SOPS 856975 HAS SOUS 644876 HAS SOUPS 644876 WITH SCORE 645732.975
AT ITER 3032 NEW BEST:: SOT 4386676 SOS 856954 HAS SOPS 856954 HAS SOUS 644856 HAS SOUPS 644856 WITH SCORE 645712.954
AT ITER 3069 NEW BEST:: SOT 4386356 SOS 855929 HAS SOPS 855929 HAS SOUS 644194 HAS SOUPS 644194 WITH SCORE 645049.929
AT ITER 3102 NEW BEST:: SOT 4386308 SOS 855833 HAS SOPS 855833 HAS SOUS 644146 HAS SOUPS 644146 WITH SCORE 645001.833
AT ITER 3107 NEW BEST:: SOT 4385816 SOS 854849 HAS SOPS 854849 HAS SOUS 642778 HAS SOUPS 642778 WITH SCORE 643632.849
AT ITER 3113 NEW BEST:: SOT 4385025 SOS 854058 HAS SOPS 854058 HAS SOUS 641987 HAS SOUPS 641987 WITH SCORE 642841.058
AT ITER 3141 NEW BEST:: SOT 4385075 SOS 854158 HAS SOPS 854158 HAS SOUS 641773 HAS SOUPS 641773 WITH SCORE 642627.158
AT ITER 3150 NEW BEST:: SOT 4385075 SOS 854019 HAS SOPS 854019 HAS SOUS 641634 HAS SOUPS 641634 WITH SCORE 642488.019
AT ITER 3192 NEW BEST:: SOT 4385069 SOS 854007 HAS SOPS 854007 HAS SOUS 641628 HAS SOUPS 641628 WITH SCORE 642482.007
AT ITER 3220 NEW BEST:: SOT 4385043 SOS 852915 HAS SOPS 852915 HAS SOUS 641576 HAS SOUPS 641576 WITH SCORE 642428.915
AT ITER 3268 NEW BEST:: SOT 4385023 SOS 852875 HAS SOPS 852875 HAS SOUS 641556 HAS SOUPS 641556 WITH SCORE 642408.875
AT ITER 3275 NEW BEST:: SOT 4384967 SOS 852169 HAS SOPS 852169 HAS SOUS 641057 HAS SOUPS 641057 WITH SCORE 641909.169
AT ITER 3291 NEW BEST:: SOT 4384958 SOS 852142 HAS SOPS 852142 HAS SOUS 641039 HAS SOUPS 641039 WITH SCORE 641891.142
AT ITER 3299 NEW BEST:: SOT 4384866 SOS 851958 HAS SOPS 851958 HAS SOUS 640946 HAS SOUPS 640946 WITH SCORE 641797.958
AT ITER 3326 NEW BEST:: SOT 4382742 SOS 863536 HAS SOPS 863536 HAS SOUS 639388 HAS SOUPS 639388 WITH SCORE 640251.536
AT ITER 3334 NEW BEST:: SOT 4382718 SOS 863488 HAS SOPS 863488 HAS SOUS 639107 HAS SOUPS 639107 WITH SCORE 639970.488
AT ITER 3372 NEW BEST:: SOT 4382439 SOS 862651 HAS SOPS 862651 HAS SOUS 638549 HAS SOUPS 638549 WITH SCORE 639411.651
AT ITER 3434 NEW BEST:: SOT 4382124 SOS 862331 HAS SOPS 862331 HAS SOUS 638229 HAS SOUPS 638229 WITH SCORE 639091.331
AT ITER 3442 NEW BEST:: SOT 4382154 SOS 862391 HAS SOPS 862391 HAS SOUS 638193 HAS SOUPS 638193 WITH SCORE 639055.391
AT ITER 3443 NEW BEST:: SOT 4381914 SOS 862031 HAS SOPS 862031 HAS SOUS 637833 HAS SOUPS 637833 WITH SCORE 638695.031
AT ITER 3462 NEW BEST:: SOT 4381667 SOS 862031 HAS SOPS 862031 HAS SOUS 637586 HAS SOUPS 637586 WITH SCORE 638448.031
AT ITER 3475 NEW BEST:: SOT 4381666 SOS 862029 HAS SOPS 862029 HAS SOUS 637584 HAS SOUPS 637584 WITH SCORE 638446.029
AT ITER 3477 NEW BEST:: SOT 4381666 SOS 861942 HAS SOPS 861942 HAS SOUS 637497 HAS SOUPS 637497 WITH SCORE 638358.942
AT ITER 3479 NEW BEST:: SOT 4381433 SOS 861476 HAS SOPS 861476 HAS SOUS 637031 HAS SOUPS 637031 WITH SCORE 637892.476
AT ITER 3483 NEW BEST:: SOT 4381274 SOS 860634 HAS SOPS 860634 HAS SOUS 636492 HAS SOUPS 636492 WITH SCORE 637352.634
AT ITER 3502 NEW BEST:: SOT 4381233 SOS 860615 HAS SOPS 860615 HAS SOUS 636410 HAS SOUPS 636410 WITH SCORE 637270.615
AT ITER 3505 NEW BEST:: SOT 4381232 SOS 860613 HAS SOPS 860613 HAS SOUS 636408 HAS SOUPS 636408 WITH SCORE 637268.613
AT ITER 3556 NEW BEST:: SOT 4380894 SOS 859937 HAS SOPS 859937 HAS SOUS 636008 HAS SOUPS 636008 WITH SCORE 636867.937
AT ITER 3567 NEW BEST:: SOT 4380860 SOS 859903 HAS SOPS 859903 HAS SOUS 635974 HAS SOUPS 635974 WITH SCORE 636833.903
AT ITER 3589 NEW BEST:: SOT 4380790 SOS 859763 HAS SOPS 859763 HAS SOUS 635834 HAS SOUPS 635834 WITH SCORE 636693.763
AT ITER 3607 NEW BEST:: SOT 4380790 SOS 859750 HAS SOPS 859750 HAS SOUS 635834 HAS SOUPS 635834 WITH SCORE 636693.75
AT ITER 3620 NEW BEST:: SOT 4380790 SOS 859750 HAS SOPS 859750 HAS SOUS 635820 HAS SOUPS 635820 WITH SCORE 636679.75
AT ITER 3633 NEW BEST:: SOT 4380509 SOS 859188 HAS SOPS 859188 HAS SOUS 635258 HAS SOUPS 635258 WITH SCORE 636117.188
AT ITER 3662 NEW BEST:: SOT 4380509 SOS 859116 HAS SOPS 859116 HAS SOUS 635186 HAS SOUPS 635186 WITH SCORE 636045.116
AT ITER 3668 NEW BEST:: SOT 4380485 SOS 859068 HAS SOPS 859068 HAS SOUS 635162 HAS SOUPS 635162 WITH SCORE 636021.068
AT ITER 3727 NEW BEST:: SOT 4380326 SOS 858909 HAS SOPS 858909 HAS SOUS 635003 HAS SOUPS 635003 WITH SCORE 635861.909
AT ITER 3736 NEW BEST:: SOT 4380185 SOS 858721 HAS SOPS 858721 HAS SOUS 634815 HAS SOUPS 634815 WITH SCORE 635673.721
AT ITER 3740 NEW BEST:: SOT 4379957 SOS 858493 HAS SOPS 858493 HAS SOUS 634587 HAS SOUPS 634587 WITH SCORE 635445.493
AT ITER 3742 NEW BEST:: SOT 4379954 SOS 858487 HAS SOPS 858487 HAS SOUS 634584 HAS SOUPS 634584 WITH SCORE 635442.487
AT ITER 3750 NEW BEST:: SOT 4379920 SOS 858419 HAS SOPS 858419 HAS SOUS 633912 HAS SOUPS 633912 WITH SCORE 634770.419
AT ITER 3752 NEW BEST:: SOT 4379519 SOS 857933 HAS SOPS 857933 HAS SOUS 633441 HAS SOUPS 633441 WITH SCORE 634298.933
AT ITER 3761 NEW BEST:: SOT 4379519 SOS 796199 HAS SOPS 796199 HAS SOUS 633441 HAS SOUPS 633441 WITH SCORE 634237.199
AT ITER 3776 NEW BEST:: SOT 4379431 SOS 795870 HAS SOPS 795870 HAS SOUS 633220 HAS SOUPS 633220 WITH SCORE 634015.87
AT ITER 3779 NEW BEST:: SOT 4379414 SOS 795836 HAS SOPS 795836 HAS SOUS 633105 HAS SOUPS 633105 WITH SCORE 633900.836
AT ITER 3781 NEW BEST:: SOT 4379414 SOS 795328 HAS SOPS 795328 HAS SOUS 633105 HAS SOUPS 633105 WITH SCORE 633900.328
AT ITER 3782 NEW BEST:: SOT 4379401 SOS 795302 HAS SOPS 795302 HAS SOUS 632950 HAS SOUPS 632950 WITH SCORE 633745.302
AT ITER 3799 NEW BEST:: SOT 4379207 SOS 794914 HAS SOPS 794914 HAS SOUS 632562 HAS SOUPS 632562 WITH SCORE 633356.914
AT ITER 3811 NEW BEST:: SOT 4379207 SOS 794907 HAS SOPS 794907 HAS SOUS 632555 HAS SOUPS 632555 WITH SCORE 633349.907
AT ITER 3820 NEW BEST:: SOT 4379452 SOS 795397 HAS SOPS 795397 HAS SOUS 632502 HAS SOUPS 632502 WITH SCORE 633297.397
AT ITER 3848 NEW BEST:: SOT 4379452 SOS 795209 HAS SOPS 795209 HAS SOUS 632502 HAS SOUPS 632502 WITH SCORE 633297.209
AT ITER 3865 NEW BEST:: SOT 4379430 SOS 795283 HAS SOPS 795283 HAS SOUS 632480 HAS SOUPS 632480 WITH SCORE 633275.283
AT ITER 3877 NEW BEST:: SOT 4379432 SOS 795130 HAS SOPS 795130 HAS SOUS 632327 HAS SOUPS 632327 WITH SCORE 633122.13
AT ITER 3881 NEW BEST:: SOT 4378423 SOS 797063 HAS SOPS 797063 HAS SOUS 631803 HAS SOUPS 631803 WITH SCORE 632600.063
AT ITER 3910 NEW BEST:: SOT 4378406 SOS 797029 HAS SOPS 797029 HAS SOUS 631769 HAS SOUPS 631769 WITH SCORE 632566.029
AT ITER 3911 NEW BEST:: SOT 4378405 SOS 797027 HAS SOPS 797027 HAS SOUS 631767 HAS SOUPS 631767 WITH SCORE 632564.027
AT ITER 3914 NEW BEST:: SOT 4378405 SOS 796823 HAS SOPS 796823 HAS SOUS 631563 HAS SOUPS 631563 WITH SCORE 632359.823
AT ITER 3949 NEW BEST:: SOT 4378372 SOS 796757 HAS SOPS 796757 HAS SOUS 631497 HAS SOUPS 631497 WITH SCORE 632293.757
AT ITER 3965 NEW BEST:: SOT 4378311 SOS 796575 HAS SOPS 796575 HAS SOUS 631376 HAS SOUPS 631376 WITH SCORE 632172.575
AT ITER 4006 NEW BEST:: SOT 4378311 SOS 796340 HAS SOPS 796340 HAS SOUS 631376 HAS SOUPS 631376 WITH SCORE 632172.34
AT ITER 4035 NEW BEST:: SOT 4378311 SOS 796144 HAS SOPS 796144 HAS SOUS 631325 HAS SOUPS 631325 WITH SCORE 632121.144
AT ITER 4036 NEW BEST:: SOT 4378278 SOS 795728 HAS SOPS 795728 HAS SOUS 631259 HAS SOUPS 631259 WITH SCORE 632054.728
AT ITER 4046 NEW BEST:: SOT 4378278 SOS 795674 HAS SOPS 795674 HAS SOUS 631205 HAS SOUPS 631205 WITH SCORE 632000.674
AT ITER 4052 NEW BEST:: SOT 4378298 SOS 795667 HAS SOPS 795667 HAS SOUS 631199 HAS SOUPS 631199 WITH SCORE 631994.667
AT ITER 4067 NEW BEST:: SOT 4378328 SOS 795697 HAS SOPS 795697 HAS SOUS 631197 HAS SOUPS 631197 WITH SCORE 631992.697
AT ITER 4081 NEW BEST:: SOT 4378328 SOS 795486 HAS SOPS 795486 HAS SOUS 631197 HAS SOUPS 631197 WITH SCORE 631992.486
AT ITER 4121 NEW BEST:: SOT 4378328 SOS 794940 HAS SOPS 794940 HAS SOUS 630924 HAS SOUPS 630924 WITH SCORE 631718.94
AT ITER 4139 NEW BEST:: SOT 4378327 SOS 794938 HAS SOPS 794938 HAS SOUS 630922 HAS SOUPS 630922 WITH SCORE 631716.938
AT ITER 4142 NEW BEST:: SOT 4378233 SOS 794844 HAS SOPS 794844 HAS SOUS 630781 HAS SOUPS 630781 WITH SCORE 631575.844
AT ITER 4151 NEW BEST:: SOT 4378004 SOS 794790 HAS SOPS 794790 HAS SOUS 630612 HAS SOUPS 630612 WITH SCORE 631406.79
AT ITER 4152 NEW BEST:: SOT 4377983 SOS 794748 HAS SOPS 794748 HAS SOUS 630570 HAS SOUPS 630570 WITH SCORE 631364.748
AT ITER 4156 NEW BEST:: SOT 4377766 SOS 794604 HAS SOPS 794604 HAS SOUS 630426 HAS SOUPS 630426 WITH SCORE 631220.604
AT ITER 4164 NEW BEST:: SOT 4377765 SOS 794602 HAS SOPS 794602 HAS SOUS 630424 HAS SOUPS 630424 WITH SCORE 631218.602
AT ITER 4172 NEW BEST:: SOT 4377485 SOS 794536 HAS SOPS 794536 HAS SOUS 630280 HAS SOUPS 630280 WITH SCORE 631074.536
AT ITER 4198 NEW BEST:: SOT 4377308 SOS 794182 HAS SOPS 794182 HAS SOUS 629926 HAS SOUPS 629926 WITH SCORE 630720.182
AT ITER 4263 NEW BEST:: SOT 4377228 SOS 794102 HAS SOPS 794102 HAS SOUS 629844 HAS SOUPS 629844 WITH SCORE 630638.102
AT ITER 4266 NEW BEST:: SOT 4377047 SOS 793740 HAS SOPS 793740 HAS SOUS 629663 HAS SOUPS 629663 WITH SCORE 630456.74
AT ITER 4269 NEW BEST:: SOT 4377045 SOS 793921 HAS SOPS 793921 HAS SOUS 629661 HAS SOUPS 629661 WITH SCORE 630454.921
AT ITER 4270 NEW BEST:: SOT 4376690 SOS 794012 HAS SOPS 794012 HAS SOUS 629407 HAS SOUPS 629407 WITH SCORE 630201.012
AT ITER 4278 NEW BEST:: SOT 4376512 SOS 793656 HAS SOPS 793656 HAS SOUS 629229 HAS SOUPS 629229 WITH SCORE 630022.656
AT ITER 4287 NEW BEST:: SOT 4376375 SOS 793382 HAS SOPS 793382 HAS SOUS 628955 HAS SOUPS 628955 WITH SCORE 629748.382
AT ITER 4298 NEW BEST:: SOT 4376323 SOS 793330 HAS SOPS 793330 HAS SOUS 628903 HAS SOUPS 628903 WITH SCORE 629696.33
AT ITER 4317 NEW BEST:: SOT 4376099 SOS 793106 HAS SOPS 793106 HAS SOUS 628679 HAS SOUPS 628679 WITH SCORE 629472.106
AT ITER 4356 NEW BEST:: SOT 4375994 SOS 792896 HAS SOPS 792896 HAS SOUS 628469 HAS SOUPS 628469 WITH SCORE 629261.896
AT ITER 4359 NEW BEST:: SOT 4375993 SOS 792744 HAS SOPS 792744 HAS SOUS 628467 HAS SOUPS 628467 WITH SCORE 629259.744
AT ITER 4360 NEW BEST:: SOT 4375755 SOS 792268 HAS SOPS 792268 HAS SOUS 627991 HAS SOUPS 627991 WITH SCORE 628783.268
AT ITER 4362 NEW BEST:: SOT 4375755 SOS 792268 HAS SOPS 792268 HAS SOUS 627927 HAS SOUPS 627927 WITH SCORE 628719.268
AT ITER 4371 NEW BEST:: SOT 4375522 SOS 792145 HAS SOPS 792145 HAS SOUS 627743 HAS SOUPS 627743 WITH SCORE 628535.145
AT ITER 4372 NEW BEST:: SOT 4375211 SOS 791523 HAS SOPS 791523 HAS SOUS 627186 HAS SOUPS 627186 WITH SCORE 627977.523
AT ITER 4396 NEW BEST:: SOT 4375363 SOS 791454 HAS SOPS 791454 HAS SOUS 627117 HAS SOUPS 627117 WITH SCORE 627908.454
AT ITER 4407 NEW BEST:: SOT 4375363 SOS 791437 HAS SOPS 791437 HAS SOUS 627117 HAS SOUPS 627117 WITH SCORE 627908.437
AT ITER 4427 NEW BEST:: SOT 4375328 SOS 791367 HAS SOPS 791367 HAS SOUS 627047 HAS SOUPS 627047 WITH SCORE 627838.367
AT ITER 4436 NEW BEST:: SOT 4375299 SOS 791021 HAS SOPS 791021 HAS SOUS 626730 HAS SOUPS 626730 WITH SCORE 627521.021
AT ITER 4438 NEW BEST:: SOT 4375252 SOS 790927 HAS SOPS 790927 HAS SOUS 626683 HAS SOUPS 626683 WITH SCORE 627473.927
AT ITER 4465 NEW BEST:: SOT 4375310 SOS 790528 HAS SOPS 790528 HAS SOUS 626595 HAS SOUPS 626595 WITH SCORE 627385.528
AT ITER 4493 NEW BEST:: SOT 4375248 SOS 790404 HAS SOPS 790404 HAS SOUS 626471 HAS SOUPS 626471 WITH SCORE 627261.404
AT ITER 4499 NEW BEST:: SOT 4375173 SOS 790254 HAS SOPS 790254 HAS SOUS 626321 HAS SOUPS 626321 WITH SCORE 627111.254
AT ITER 4508 NEW BEST:: SOT 4374836 SOS 790096 HAS SOPS 790096 HAS SOUS 626113 HAS SOUPS 626113 WITH SCORE 626903.096
AT ITER 4521 NEW BEST:: SOT 4374823 SOS 790070 HAS SOPS 790070 HAS SOUS 626087 HAS SOUPS 626087 WITH SCORE 626877.07
AT ITER 4538 NEW BEST:: SOT 4374883 SOS 790190 HAS SOPS 790190 HAS SOUS 626024 HAS SOUPS 626024 WITH SCORE 626814.19
AT ITER 4542 NEW BEST:: SOT 4374977 SOS 790367 HAS SOPS 790367 HAS SOUS 625730 HAS SOUPS 625730 WITH SCORE 626520.367
AT ITER 4546 NEW BEST:: SOT 4374976 SOS 790264 HAS SOPS 790264 HAS SOUS 625729 HAS SOUPS 625729 WITH SCORE 626519.264
AT ITER 4564 NEW BEST:: SOT 4374976 SOS 790264 HAS SOPS 790264 HAS SOUS 625700 HAS SOUPS 625700 WITH SCORE 626490.264
AT ITER 4627 NEW BEST:: SOT 4375033 SOS 777392 HAS SOPS 777392 HAS SOUS 625504 HAS SOUPS 625504 WITH SCORE 626281.392
AT ITER 4642 NEW BEST:: SOT 4374890 SOS 777230 HAS SOPS 777230 HAS SOUS 625342 HAS SOUPS 625342 WITH SCORE 626119.23
AT ITER 4660 NEW BEST:: SOT 4374745 SOS 776940 HAS SOPS 776940 HAS SOUS 625052 HAS SOUPS 625052 WITH SCORE 625828.94
AT ITER 4664 NEW BEST:: SOT 4374635 SOS 776720 HAS SOPS 776720 HAS SOUS 624736 HAS SOUPS 624736 WITH SCORE 625512.72
AT ITER 4703 NEW BEST:: SOT 4374564 SOS 776578 HAS SOPS 776578 HAS SOUS 624594 HAS SOUPS 624594 WITH SCORE 625370.578
AT ITER 4713 NEW BEST:: SOT 4374187 SOS 776398 HAS SOPS 776398 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625280.398
AT ITER 4726 NEW BEST:: SOT 4374187 SOS 776298 HAS SOPS 776298 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625280.298
AT ITER 4727 NEW BEST:: SOT 4374186 SOS 776296 HAS SOPS 776296 HAS SOUS 624502 HAS SOUPS 624502 WITH SCORE 625278.296
AT ITER 4750 NEW BEST:: SOT 4374214 SOS 776703 HAS SOPS 776703 HAS SOUS 624458 HAS SOUPS 624458 WITH SCORE 625234.703
AT ITER 4796 NEW BEST:: SOT 4374175 SOS 776690 HAS SOPS 776690 HAS SOUS 624419 HAS SOUPS 624419 WITH SCORE 625195.69
AT ITER 4833 NEW BEST:: SOT 4374251 SOS 776428 HAS SOPS 776428 HAS SOUS 624288 HAS SOUPS 624288 WITH SCORE 625064.428
AT ITER 4836 NEW BEST:: SOT 4373961 SOS 776138 HAS SOPS 776138 HAS SOUS 624058 HAS SOUPS 624058 WITH SCORE 624834.138
AT ITER 4862 NEW BEST:: SOT 4373637 SOS 775490 HAS SOPS 775490 HAS SOUS 623773 HAS SOUPS 623773 WITH SCORE 624548.49
AT ITER 4873 NEW BEST:: SOT 4373143 SOS 774900 HAS SOPS 774900 HAS SOUS 623183 HAS SOUPS 623183 WITH SCORE 623957.9
AT ITER 4907 NEW BEST:: SOT 4373143 SOS 774888 HAS SOPS 774888 HAS SOUS 623183 HAS SOUPS 623183 WITH SCORE 623957.888
AT ITER 4920 NEW BEST:: SOT 4373228 SOS 774753 HAS SOPS 774753 HAS SOUS 623162 HAS SOUPS 623162 WITH SCORE 623936.753
AT ITER 4962 NEW BEST:: SOT 4373227 SOS 774634 HAS SOPS 774634 HAS SOUS 623160 HAS SOUPS 623160 WITH SCORE 623934.634
AT ITER 4994 NEW BEST:: SOT 4373311 SOS 774514 HAS SOPS 774514 HAS SOUS 623148 HAS SOUPS 623148 WITH SCORE 623922.514
AT ITER 5049 NEW BEST:: SOT 4373202 SOS 774296 HAS SOPS 774296 HAS SOUS 622930 HAS SOUPS 622930 WITH SCORE 623704.296
AT ITER 5053 NEW BEST:: SOT 4373160 SOS 774257 HAS SOPS 774257 HAS SOUS 622889 HAS SOUPS 622889 WITH SCORE 623663.257
AT ITER 5067 NEW BEST:: SOT 4373074 SOS 774085 HAS SOPS 774085 HAS SOUS 622830 HAS SOUPS 622830 WITH SCORE 623604.085
AT ITER 5085 NEW BEST:: SOT 4372845 SOS 774027 HAS SOPS 774027 HAS SOUS 622707 HAS SOUPS 622707 WITH SCORE 623481.027
AT ITER 5117 NEW BEST:: SOT 4372845 SOS 773947 HAS SOPS 773947 HAS SOUS 622627 HAS SOUPS 622627 WITH SCORE 623400.947
AT ITER 5141 NEW BEST:: SOT 4372844 SOS 773801 HAS SOPS 773801 HAS SOUS 622480 HAS SOUPS 622480 WITH SCORE 623253.801
AT ITER 5151 NEW BEST:: SOT 4372813 SOS 773739 HAS SOPS 773739 HAS SOUS 622418 HAS SOUPS 622418 WITH SCORE 623191.739
AT ITER 5170 NEW BEST:: SOT 4372825 SOS 773763 HAS SOPS 773763 HAS SOUS 622266 HAS SOUPS 622266 WITH SCORE 623039.763
AT ITER 5176 NEW BEST:: SOT 4372733 SOS 773744 HAS SOPS 773744 HAS SOUS 622209 HAS SOUPS 622209 WITH SCORE 622982.744
AT ITER 5271 NEW BEST:: SOT 4372641 SOS 773560 HAS SOPS 773560 HAS SOUS 622007 HAS SOUPS 622007 WITH SCORE 622780.56
AT ITER 5288 NEW BEST:: SOT 4372426 SOS 773345 HAS SOPS 773345 HAS SOUS 621792 HAS SOUPS 621792 WITH SCORE 622565.345
AT ITER 5292 NEW BEST:: SOT 4372467 SOS 773304 HAS SOPS 773304 HAS SOUS 621792 HAS SOUPS 621792 WITH SCORE 622565.304
AT ITER 5304 NEW BEST:: SOT 4372337 SOS 772322 HAS SOPS 772322 HAS SOUS 621744 HAS SOUPS 621744 WITH SCORE 622516.322
AT ITER 5323 NEW BEST:: SOT 4372312 SOS 772272 HAS SOPS 772272 HAS SOUS 621694 HAS SOUPS 621694 WITH SCORE 622466.272
AT ITER 5349 NEW BEST:: SOT 4372311 SOS 772271 HAS SOPS 772271 HAS SOUS 621692 HAS SOUPS 621692 WITH SCORE 622464.271
AT ITER 5356 NEW BEST:: SOT 4372152 SOS 771953 HAS SOPS 771953 HAS SOUS 621374 HAS SOUPS 621374 WITH SCORE 622145.953
AT ITER 5362 NEW BEST:: SOT 4372062 SOS 771773 HAS SOPS 771773 HAS SOUS 620637 HAS SOUPS 620637 WITH SCORE 621408.773
AT ITER 5373 NEW BEST:: SOT 4372062 SOS 771773 HAS SOPS 771773 HAS SOUS 620612 HAS SOUPS 620612 WITH SCORE 621383.773
AT ITER 5376 NEW BEST:: SOT 4371810 SOS 771269 HAS SOPS 771269 HAS SOUS 620440 HAS SOUPS 620440 WITH SCORE 621211.269
AT ITER 5383 NEW BEST:: SOT 4371810 SOS 771208 HAS SOPS 771208 HAS SOUS 620379 HAS SOUPS 620379 WITH SCORE 621150.208
AT ITER 5392 NEW BEST:: SOT 4371728 SOS 770909 HAS SOPS 770909 HAS SOUS 620215 HAS SOUPS 620215 WITH SCORE 620985.909
AT ITER 5398 NEW BEST:: SOT 4371720 SOS 770817 HAS SOPS 770817 HAS SOUS 620199 HAS SOUPS 620199 WITH SCORE 620969.817
AT ITER 5407 NEW BEST:: SOT 4371703 SOS 770783 HAS SOPS 770783 HAS SOUS 620165 HAS SOUPS 620165 WITH SCORE 620935.783
AT ITER 5409 NEW BEST:: SOT 4371557 SOS 770637 HAS SOPS 770637 HAS SOUS 620019 HAS SOUPS 620019 WITH SCORE 620789.637
AT ITER 5457 NEW BEST:: SOT 4371557 SOS 770362 HAS SOPS 770362 HAS SOUS 620019 HAS SOUPS 620019 WITH SCORE 620789.362
AT ITER 5468 NEW BEST:: SOT 4371393 SOS 770034 HAS SOPS 770034 HAS SOUS 619773 HAS SOUPS 619773 WITH SCORE 620543.034
AT ITER 5483 NEW BEST:: SOT 4371382 SOS 769934 HAS SOPS 769934 HAS SOUS 619684 HAS SOUPS 619684 WITH SCORE 620453.934
AT ITER 5485 NEW BEST:: SOT 4371331 SOS 769832 HAS SOPS 769832 HAS SOUS 619582 HAS SOUPS 619582 WITH SCORE 620351.832
AT ITER 5518 NEW BEST:: SOT 4371197 SOS 769564 HAS SOPS 769564 HAS SOUS 619446 HAS SOUPS 619446 WITH SCORE 620215.564
AT ITER 5533 NEW BEST:: SOT 4371196 SOS 769562 HAS SOPS 769562 HAS SOUS 619444 HAS SOUPS 619444 WITH SCORE 620213.562
AT ITER 5558 NEW BEST:: SOT 4371178 SOS 769526 HAS SOPS 769526 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 620177.526
AT ITER 5595 NEW BEST:: SOT 4371213 SOS 769516 HAS SOPS 769516 HAS SOUS 619403 HAS SOUPS 619403 WITH SCORE 620172.516
AT ITER 5626 NEW BEST:: SOT 4371184 SOS 769429 HAS SOPS 769429 HAS SOUS 619316 HAS SOUPS 619316 WITH SCORE 620085.429
AT ITER 5696 NEW BEST:: SOT 4371149 SOS 768063 HAS SOPS 768063 HAS SOUS 619281 HAS SOUPS 619281 WITH SCORE 620049.063
AT ITER 5722 NEW BEST:: SOT 4371108 SOS 767981 HAS SOPS 767981 HAS SOUS 618926 HAS SOUPS 618926 WITH SCORE 619693.981
AT ITER 5724 NEW BEST:: SOT 4371464 SOS 767580 HAS SOPS 767580 HAS SOUS 618726 HAS SOUPS 618726 WITH SCORE 619493.58
AT ITER 5736 NEW BEST:: SOT 4371458 SOS 767568 HAS SOPS 767568 HAS SOUS 618714 HAS SOUPS 618714 WITH SCORE 619481.568
AT ITER 5738 NEW BEST:: SOT 4371458 SOS 767530 HAS SOPS 767530 HAS SOUS 618714 HAS SOUPS 618714 WITH SCORE 619481.53
AT ITER 5768 NEW BEST:: SOT 4371322 SOS 767077 HAS SOPS 767077 HAS SOUS 618442 HAS SOUPS 618442 WITH SCORE 619209.077
AT ITER 5807 NEW BEST:: SOT 4369554 SOS 766516 HAS SOPS 766516 HAS SOUS 616978 HAS SOUPS 616978 WITH SCORE 617744.516
AT ITER 5823 NEW BEST:: SOT 4369554 SOS 766383 HAS SOPS 766383 HAS SOUS 616978 HAS SOUPS 616978 WITH SCORE 617744.383
AT ITER 5828 NEW BEST:: SOT 4369370 SOS 766383 HAS SOPS 766383 HAS SOUS 616886 HAS SOUPS 616886 WITH SCORE 617652.383
AT ITER 5881 NEW BEST:: SOT 4369432 SOS 766104 HAS SOPS 766104 HAS SOUS 616572 HAS SOUPS 616572 WITH SCORE 617338.104
AT ITER 5910 NEW BEST:: SOT 4369249 SOS 766137 HAS SOPS 766137 HAS SOUS 616514 HAS SOUPS 616514 WITH SCORE 617280.137
AT ITER 5912 NEW BEST:: SOT 4369163 SOS 766134 HAS SOPS 766134 HAS SOUS 616357 HAS SOUPS 616357 WITH SCORE 617123.134
AT ITER 5916 NEW BEST:: SOT 4369163 SOS 766134 HAS SOPS 766134 HAS SOUS 616276 HAS SOUPS 616276 WITH SCORE 617042.134
AT ITER 5954 NEW BEST:: SOT 4369155 SOS 766118 HAS SOPS 766118 HAS SOUS 616260 HAS SOUPS 616260 WITH SCORE 617026.118
AT ITER 5970 NEW BEST:: SOT 4369029 SOS 765741 HAS SOPS 765741 HAS SOUS 615981 HAS SOUPS 615981 WITH SCORE 616746.741
AT ITER 5980 NEW BEST:: SOT 4368972 SOS 765627 HAS SOPS 765627 HAS SOUS 615867 HAS SOUPS 615867 WITH SCORE 616632.627
AT ITER 6027 NEW BEST:: SOT 4369018 SOS 765494 HAS SOPS 765494 HAS SOUS 615734 HAS SOUPS 615734 WITH SCORE 616499.494
AT ITER 6028 NEW BEST:: SOT 4368958 SOS 765467 HAS SOPS 765467 HAS SOUS 615706 HAS SOUPS 615706 WITH SCORE 616471.467
AT ITER 6030 NEW BEST:: SOT 4368760 SOS 765071 HAS SOPS 765071 HAS SOUS 615310 HAS SOUPS 615310 WITH SCORE 616075.071
AT ITER 6045 NEW BEST:: SOT 4368760 SOS 765071 HAS SOPS 765071 HAS SOUS 615209 HAS SOUPS 615209 WITH SCORE 615974.071
AT ITER 6048 NEW BEST:: SOT 4368758 SOS 765069 HAS SOPS 765069 HAS SOUS 615207 HAS SOUPS 615207 WITH SCORE 615972.069
AT ITER 6049 NEW BEST:: SOT 4368734 SOS 765021 HAS SOPS 765021 HAS SOUS 615159 HAS SOUPS 615159 WITH SCORE 615924.021
AT ITER 6065 NEW BEST:: SOT 4368845 SOS 765243 HAS SOPS 765243 HAS SOUS 614994 HAS SOUPS 614994 WITH SCORE 615759.243
AT ITER 6066 NEW BEST:: SOT 4368757 SOS 765067 HAS SOPS 765067 HAS SOUS 614818 HAS SOUPS 614818 WITH SCORE 615583.067
AT ITER 6098 NEW BEST:: SOT 4368757 SOS 764821 HAS SOPS 764821 HAS SOUS 614818 HAS SOUPS 614818 WITH SCORE 615582.821
AT ITER 6106 NEW BEST:: SOT 4368718 SOS 764704 HAS SOPS 764704 HAS SOUS 614777 HAS SOUPS 614777 WITH SCORE 615541.704
AT ITER 6108 NEW BEST:: SOT 4368708 SOS 764694 HAS SOPS 764694 HAS SOUS 614757 HAS SOUPS 614757 WITH SCORE 615521.694
AT ITER 6109 NEW BEST:: SOT 4368708 SOS 764694 HAS SOPS 764694 HAS SOUS 614666 HAS SOUPS 614666 WITH SCORE 615430.694
AT ITER 6148 NEW BEST:: SOT 4368672 SOS 764646 HAS SOPS 764646 HAS SOUS 614618 HAS SOUPS 614618 WITH SCORE 615382.646
AT ITER 6161 NEW BEST:: SOT 4368630 SOS 764646 HAS SOPS 764646 HAS SOUS 614576 HAS SOUPS 614576 WITH SCORE 615340.646
AT ITER 6209 NEW BEST:: SOT 4368615 SOS 764616 HAS SOPS 764616 HAS SOUS 614561 HAS SOUPS 614561 WITH SCORE 615325.616
AT ITER 6237 NEW BEST:: SOT 4368503 SOS 764448 HAS SOPS 764448 HAS SOUS 614393 HAS SOUPS 614393 WITH SCORE 615157.448
AT ITER 6245 NEW BEST:: SOT 4368485 SOS 764271 HAS SOPS 764271 HAS SOUS 614280 HAS SOUPS 614280 WITH SCORE 615044.271
AT ITER 6324 NEW BEST:: SOT 4368485 SOS 764253 HAS SOPS 764253 HAS SOUS 614280 HAS SOUPS 614280 WITH SCORE 615044.253
AT ITER 6336 NEW BEST:: SOT 4368463 SOS 764209 HAS SOPS 764209 HAS SOUS 614133 HAS SOUPS 614133 WITH SCORE 614897.209
AT ITER 6356 NEW BEST:: SOT 4368463 SOS 764194 HAS SOPS 764194 HAS SOUS 614133 HAS SOUPS 614133 WITH SCORE 614897.194
AT ITER 6437 NEW BEST:: SOT 4368453 SOS 764174 HAS SOPS 764174 HAS SOUS 614113 HAS SOUPS 614113 WITH SCORE 614877.174
AT ITER 6485 NEW BEST:: SOT 4368453 SOS 763716 HAS SOPS 763716 HAS SOUS 613884 HAS SOUPS 613884 WITH SCORE 614647.716
AT ITER 6507 NEW BEST:: SOT 4368450 SOS 763710 HAS SOPS 763710 HAS SOUS 613851 HAS SOUPS 613851 WITH SCORE 614614.71
AT ITER 6511 NEW BEST:: SOT 4368765 SOS 763847 HAS SOPS 763847 HAS SOUS 613656 HAS SOUPS 613656 WITH SCORE 614419.847
AT ITER 6520 NEW BEST:: SOT 4368757 SOS 764022 HAS SOPS 764022 HAS SOUS 613655 HAS SOUPS 613655 WITH SCORE 614419.022
AT ITER 6525 NEW BEST:: SOT 4368666 SOS 763840 HAS SOPS 763840 HAS SOUS 613473 HAS SOUPS 613473 WITH SCORE 614236.84
AT ITER 6540 NEW BEST:: SOT 4368757 SOS 763675 HAS SOPS 763675 HAS SOUS 613456 HAS SOUPS 613456 WITH SCORE 614219.675
AT ITER 6553 NEW BEST:: SOT 4368721 SOS 763603 HAS SOPS 763603 HAS SOUS 613384 HAS SOUPS 613384 WITH SCORE 614147.603
AT ITER 6575 NEW BEST:: SOT 4368600 SOS 763505 HAS SOPS 763505 HAS SOUS 613263 HAS SOUPS 613263 WITH SCORE 614026.505
AT ITER 6584 NEW BEST:: SOT 4368527 SOS 763541 HAS SOPS 763541 HAS SOUS 613254 HAS SOUPS 613254 WITH SCORE 614017.541
AT ITER 6601 NEW BEST:: SOT 4368473 SOS 763433 HAS SOPS 763433 HAS SOUS 613146 HAS SOUPS 613146 WITH SCORE 613909.433
AT ITER 6622 NEW BEST:: SOT 4368406 SOS 763299 HAS SOPS 763299 HAS SOUS 612829 HAS SOUPS 612829 WITH SCORE 613592.299
AT ITER 6654 NEW BEST:: SOT 4368428 SOS 763343 HAS SOPS 763343 HAS SOUS 612808 HAS SOUPS 612808 WITH SCORE 613571.343
AT ITER 6679 NEW BEST:: SOT 4368404 SOS 763295 HAS SOPS 763295 HAS SOUS 612760 HAS SOUPS 612760 WITH SCORE 613523.295
AT ITER 6705 NEW BEST:: SOT 4368290 SOS 763067 HAS SOPS 763067 HAS SOUS 612604 HAS SOUPS 612604 WITH SCORE 613367.067
AT ITER 6718 NEW BEST:: SOT 4368290 SOS 763008 HAS SOPS 763008 HAS SOUS 612545 HAS SOUPS 612545 WITH SCORE 613308.008
AT ITER 6743 NEW BEST:: SOT 4368245 SOS 762918 HAS SOPS 762918 HAS SOUS 612295 HAS SOUPS 612295 WITH SCORE 613057.918
AT ITER 6757 NEW BEST:: SOT 4368245 SOS 762858 HAS SOPS 762858 HAS SOUS 612235 HAS SOUPS 612235 WITH SCORE 612997.858
AT ITER 6814 NEW BEST:: SOT 4368014 SOS 762857 HAS SOPS 762857 HAS SOUS 612128 HAS SOUPS 612128 WITH SCORE 612890.857
AT ITER 6827 NEW BEST:: SOT 4367946 SOS 762968 HAS SOPS 762968 HAS SOUS 612101 HAS SOUPS 612101 WITH SCORE 612863.968
AT ITER 6837 NEW BEST:: SOT 4367722 SOS 762968 HAS SOPS 762968 HAS SOUS 611989 HAS SOUPS 611989 WITH SCORE 612751.968
AT ITER 6850 NEW BEST:: SOT 4367596 SOS 763032 HAS SOPS 763032 HAS SOUS 611863 HAS SOUPS 611863 WITH SCORE 612626.032
AT ITER 6865 NEW BEST:: SOT 4367722 SOS 763158 HAS SOPS 763158 HAS SOUS 611861 HAS SOUPS 611861 WITH SCORE 612624.158
AT ITER 6893 NEW BEST:: SOT 4367640 SOS 762994 HAS SOPS 762994 HAS SOUS 611697 HAS SOUPS 611697 WITH SCORE 612459.994
AT ITER 6895 NEW BEST:: SOT 4367640 SOS 762870 HAS SOPS 762870 HAS SOUS 611697 HAS SOUPS 611697 WITH SCORE 612459.87
AT ITER 6901 NEW BEST:: SOT 4367636 SOS 763155 HAS SOPS 763155 HAS SOUS 611693 HAS SOUPS 611693 WITH SCORE 612456.155
AT ITER 6908 NEW BEST:: SOT 4367603 SOS 763089 HAS SOPS 763089 HAS SOUS 611627 HAS SOUPS 611627 WITH SCORE 612390.089
AT ITER 7011 NEW BEST:: SOT 4367603 SOS 762806 HAS SOPS 762806 HAS SOUS 611344 HAS SOUPS 611344 WITH SCORE 612106.806
AT ITER 7027 NEW BEST:: SOT 4367600 SOS 762788 HAS SOPS 762788 HAS SOUS 611338 HAS SOUPS 611338 WITH SCORE 612100.788
AT ITER 7067 NEW BEST:: SOT 4367568 SOS 762908 HAS SOPS 762908 HAS SOUS 611306 HAS SOUPS 611306 WITH SCORE 612068.908
AT ITER 7069 NEW BEST:: SOT 4367289 SOS 762730 HAS SOPS 762730 HAS SOUS 611078 HAS SOUPS 611078 WITH SCORE 611840.73
AT ITER 7104 NEW BEST:: SOT 4367258 SOS 762668 HAS SOPS 762668 HAS SOUS 611016 HAS SOUPS 611016 WITH SCORE 611778.668
AT ITER 7108 NEW BEST:: SOT 4367175 SOS 762502 HAS SOPS 762502 HAS SOUS 610850 HAS SOUPS 610850 WITH SCORE 611612.502
AT ITER 7141 NEW BEST:: SOT 4367049 SOS 762250 HAS SOPS 762250 HAS SOUS 610723 HAS SOUPS 610723 WITH SCORE 611485.25
AT ITER 7148 NEW BEST:: SOT 4366995 SOS 762142 HAS SOPS 762142 HAS SOUS 610615 HAS SOUPS 610615 WITH SCORE 611377.142
AT ITER 7157 NEW BEST:: SOT 4366994 SOS 762062 HAS SOPS 762062 HAS SOUS 610613 HAS SOUPS 610613 WITH SCORE 611375.062
AT ITER 7175 NEW BEST:: SOT 4367050 SOS 762174 HAS SOPS 762174 HAS SOUS 610563 HAS SOUPS 610563 WITH SCORE 611325.174
AT ITER 7239 NEW BEST:: SOT 4367042 SOS 762158 HAS SOPS 762158 HAS SOUS 610547 HAS SOUPS 610547 WITH SCORE 611309.158
AT ITER 7298 NEW BEST:: SOT 4366776 SOS 761360 HAS SOPS 761360 HAS SOUS 610015 HAS SOUPS 610015 WITH SCORE 610776.36
AT ITER 7315 NEW BEST:: SOT 4366574 SOS 760956 HAS SOPS 760956 HAS SOUS 609611 HAS SOUPS 609611 WITH SCORE 610371.956
AT ITER 7335 NEW BEST:: SOT 4366424 SOS 760806 HAS SOPS 760806 HAS SOUS 609461 HAS SOUPS 609461 WITH SCORE 610221.806
AT ITER 7345 NEW BEST:: SOT 4366378 SOS 760819 HAS SOPS 760819 HAS SOUS 609430 HAS SOUPS 609430 WITH SCORE 610190.819
AT ITER 7353 NEW BEST:: SOT 4366148 SOS 760359 HAS SOPS 760359 HAS SOUS 608970 HAS SOUPS 608970 WITH SCORE 609730.359
AT ITER 7357 NEW BEST:: SOT 4365980 SOS 760023 HAS SOPS 760023 HAS SOUS 608634 HAS SOUPS 608634 WITH SCORE 609394.023
AT ITER 7367 NEW BEST:: SOT 4365953 SOS 759969 HAS SOPS 759969 HAS SOUS 608580 HAS SOUPS 608580 WITH SCORE 609339.969
AT ITER 7377 NEW BEST:: SOT 4365701 SOS 759465 HAS SOPS 759465 HAS SOUS 608076 HAS SOUPS 608076 WITH SCORE 608835.465
AT ITER 7432 NEW BEST:: SOT 4365464 SOS 759771 HAS SOPS 759771 HAS SOUS 607839 HAS SOUPS 607839 WITH SCORE 608598.771
AT ITER 7433 NEW BEST:: SOT 4365038 SOS 758919 HAS SOPS 758919 HAS SOUS 606987 HAS SOUPS 606987 WITH SCORE 607745.919
AT ITER 7444 NEW BEST:: SOT 4365037 SOS 758917 HAS SOPS 758917 HAS SOUS 606985 HAS SOUPS 606985 WITH SCORE 607743.917
AT ITER 7447 NEW BEST:: SOT 4364942 SOS 758822 HAS SOPS 758822 HAS SOUS 606795 HAS SOUPS 606795 WITH SCORE 607553.822
AT ITER 7463 NEW BEST:: SOT 4364934 SOS 758806 HAS SOPS 758806 HAS SOUS 606779 HAS SOUPS 606779 WITH SCORE 607537.806
AT ITER 7481 NEW BEST:: SOT 4364931 SOS 758800 HAS SOPS 758800 HAS SOUS 606773 HAS SOUPS 606773 WITH SCORE 607531.8
AT ITER 7498 NEW BEST:: SOT 4364961 SOS 758860 HAS SOPS 758860 HAS SOUS 606756 HAS SOUPS 606756 WITH SCORE 607514.86
AT ITER 7517 NEW BEST:: SOT 4364834 SOS 758606 HAS SOPS 758606 HAS SOUS 606649 HAS SOUPS 606649 WITH SCORE 607407.606
AT ITER 7522 NEW BEST:: SOT 4364734 SOS 758406 HAS SOPS 758406 HAS SOUS 606457 HAS SOUPS 606457 WITH SCORE 607215.406
AT ITER 7541 NEW BEST:: SOT 4364680 SOS 758298 HAS SOPS 758298 HAS SOUS 606349 HAS SOUPS 606349 WITH SCORE 607107.298
AT ITER 7560 NEW BEST:: SOT 4364505 SOS 757948 HAS SOPS 757948 HAS SOUS 606174 HAS SOUPS 606174 WITH SCORE 606931.948
AT ITER 7599 NEW BEST:: SOT 4364345 SOS 758076 HAS SOPS 758076 HAS SOUS 606024 HAS SOUPS 606024 WITH SCORE 606782.076
AT ITER 7619 NEW BEST:: SOT 4364276 SOS 757938 HAS SOPS 757938 HAS SOUS 605875 HAS SOUPS 605875 WITH SCORE 606632.938
AT ITER 7622 NEW BEST:: SOT 4364148 SOS 757682 HAS SOPS 757682 HAS SOUS 605429 HAS SOUPS 605429 WITH SCORE 606186.682
AT ITER 7645 NEW BEST:: SOT 4364075 SOS 757536 HAS SOPS 757536 HAS SOUS 605356 HAS SOUPS 605356 WITH SCORE 606113.536
AT ITER 7650 NEW BEST:: SOT 4364281 SOS 756760 HAS SOPS 756760 HAS SOUS 605265 HAS SOUPS 605265 WITH SCORE 606021.76
AT ITER 7655 NEW BEST:: SOT 4364280 SOS 756481 HAS SOPS 756481 HAS SOUS 605263 HAS SOUPS 605263 WITH SCORE 606019.481
AT ITER 7656 NEW BEST:: SOT 4364074 SOS 756587 HAS SOPS 756587 HAS SOUS 605166 HAS SOUPS 605166 WITH SCORE 605922.587
AT ITER 7671 NEW BEST:: SOT 4364073 SOS 756585 HAS SOPS 756585 HAS SOUS 605164 HAS SOUPS 605164 WITH SCORE 605920.585
AT ITER 7689 NEW BEST:: SOT 4364062 SOS 756563 HAS SOPS 756563 HAS SOUS 605142 HAS SOUPS 605142 WITH SCORE 605898.563
AT ITER 7709 NEW BEST:: SOT 4363998 SOS 756435 HAS SOPS 756435 HAS SOUS 605014 HAS SOUPS 605014 WITH SCORE 605770.435
AT ITER 7722 NEW BEST:: SOT 4363865 SOS 756169 HAS SOPS 756169 HAS SOUS 604748 HAS SOUPS 604748 WITH SCORE 605504.169
AT ITER 7723 NEW BEST:: SOT 4363844 SOS 756127 HAS SOPS 756127 HAS SOUS 604746 HAS SOUPS 604746 WITH SCORE 605502.127
AT ITER 7753 NEW BEST:: SOT 4363844 SOS 755514 HAS SOPS 755514 HAS SOUS 604746 HAS SOUPS 604746 WITH SCORE 605501.514
AT ITER 7783 NEW BEST:: SOT 4363844 SOS 755200 HAS SOPS 755200 HAS SOUS 604746 HAS SOUPS 604746 WITH SCORE 605501.2
AT ITER 7818 NEW BEST:: SOT 4363818 SOS 755148 HAS SOPS 755148 HAS SOUS 604720 HAS SOUPS 604720 WITH SCORE 605475.148
AT ITER 7882 NEW BEST:: SOT 4363645 SOS 754802 HAS SOPS 754802 HAS SOUS 604335 HAS SOUPS 604335 WITH SCORE 605089.802
AT ITER 7894 NEW BEST:: SOT 4363543 SOS 754425 HAS SOPS 754425 HAS SOUS 604060 HAS SOUPS 604060 WITH SCORE 604814.425
AT ITER 7906 NEW BEST:: SOT 4363527 SOS 754409 HAS SOPS 754409 HAS SOUS 604036 HAS SOUPS 604036 WITH SCORE 604790.409
AT ITER 7917 NEW BEST:: SOT 4363450 SOS 754332 HAS SOPS 754332 HAS SOUS 603882 HAS SOUPS 603882 WITH SCORE 604636.332
AT ITER 7943 NEW BEST:: SOT 4363450 SOS 754207 HAS SOPS 754207 HAS SOUS 603882 HAS SOUPS 603882 WITH SCORE 604636.207
AT ITER 7962 NEW BEST:: SOT 4363392 SOS 754091 HAS SOPS 754091 HAS SOUS 603766 HAS SOUPS 603766 WITH SCORE 604520.091
AT ITER 7967 NEW BEST:: SOT 4363392 SOS 753903 HAS SOPS 753903 HAS SOUS 603766 HAS SOUPS 603766 WITH SCORE 604519.903
AT ITER 8007 NEW BEST:: SOT 4363129 SOS 753377 HAS SOPS 753377 HAS SOUS 603656 HAS SOUPS 603656 WITH SCORE 604409.377
AT ITER 8033 NEW BEST:: SOT 4362922 SOS 752963 HAS SOPS 752963 HAS SOUS 603580 HAS SOUPS 603580 WITH SCORE 604332.963
AT ITER 8047 NEW BEST:: SOT 4362806 SOS 752887 HAS SOPS 752887 HAS SOUS 603465 HAS SOUPS 603465 WITH SCORE 604217.887
AT ITER 8073 NEW BEST:: SOT 4362806 SOS 752941 HAS SOPS 752941 HAS SOUS 603414 HAS SOUPS 603414 WITH SCORE 604166.941
AT ITER 8101 NEW BEST:: SOT 4362806 SOS 752896 HAS SOPS 752896 HAS SOUS 603414 HAS SOUPS 603414 WITH SCORE 604166.896
AT ITER 8103 NEW BEST:: SOT 4362580 SOS 752587 HAS SOPS 752587 HAS SOUS 603105 HAS SOUPS 603105 WITH SCORE 603857.587
AT ITER 8120 NEW BEST:: SOT 4362551 SOS 752529 HAS SOPS 752529 HAS SOUS 602877 HAS SOUPS 602877 WITH SCORE 603629.529
AT ITER 8241 NEW BEST:: SOT 4362473 SOS 752373 HAS SOPS 752373 HAS SOUS 602799 HAS SOUPS 602799 WITH SCORE 603551.373
AT ITER 8246 NEW BEST:: SOT 4362463 SOS 752353 HAS SOPS 752353 HAS SOUS 602779 HAS SOUPS 602779 WITH SCORE 603531.353
AT ITER 8256 NEW BEST:: SOT 4362416 SOS 752259 HAS SOPS 752259 HAS SOUS 602732 HAS SOUPS 602732 WITH SCORE 603484.259
AT ITER 8342 NEW BEST:: SOT 4362320 SOS 751917 HAS SOPS 751917 HAS SOUS 602290 HAS SOUPS 602290 WITH SCORE 603041.917
AT ITER 8344 NEW BEST:: SOT 4362501 SOS 751787 HAS SOPS 751787 HAS SOUS 602225 HAS SOUPS 602225 WITH SCORE 602976.787
AT ITER 8412 NEW BEST:: SOT 4362501 SOS 751787 HAS SOPS 751787 HAS SOUS 602218 HAS SOUPS 602218 WITH SCORE 602969.787
AT ITER 8444 NEW BEST:: SOT 4362529 SOS 751843 HAS SOPS 751843 HAS SOUS 602171 HAS SOUPS 602171 WITH SCORE 602922.843
AT ITER 8461 NEW BEST:: SOT 4362529 SOS 751732 HAS SOPS 751732 HAS SOUS 602171 HAS SOUPS 602171 WITH SCORE 602922.732
AT ITER 8467 NEW BEST:: SOT 4362393 SOS 751732 HAS SOPS 751732 HAS SOUS 602035 HAS SOUPS 602035 WITH SCORE 602786.732
AT ITER 8469 NEW BEST:: SOT 4362281 SOS 751504 HAS SOPS 751504 HAS SOUS 601919 HAS SOUPS 601919 WITH SCORE 602670.504
AT ITER 8473 NEW BEST:: SOT 4362281 SOS 751504 HAS SOPS 751504 HAS SOUS 601795 HAS SOUPS 601795 WITH SCORE 602546.504
AT ITER 8515 NEW BEST:: SOT 4362203 SOS 751348 HAS SOPS 751348 HAS SOUS 601639 HAS SOUPS 601639 WITH SCORE 602390.348
AT ITER 8549 NEW BEST:: SOT 4362201 SOS 751344 HAS SOPS 751344 HAS SOUS 601635 HAS SOUPS 601635 WITH SCORE 602386.344
AT ITER 8577 NEW BEST:: SOT 4362058 SOS 751247 HAS SOPS 751247 HAS SOUS 601498 HAS SOUPS 601498 WITH SCORE 602249.247
AT ITER 8582 NEW BEST:: SOT 4361472 SOS 751530 HAS SOPS 751530 HAS SOUS 601235 HAS SOUPS 601235 WITH SCORE 601986.53
AT ITER 8590 NEW BEST:: SOT 4361133 SOS 750852 HAS SOPS 750852 HAS SOUS 600896 HAS SOUPS 600896 WITH SCORE 601646.852
AT ITER 8607 NEW BEST:: SOT 4360865 SOS 750584 HAS SOPS 750584 HAS SOUS 600628 HAS SOUPS 600628 WITH SCORE 601378.584
AT ITER 8632 NEW BEST:: SOT 4360898 SOS 750218 HAS SOPS 750218 HAS SOUS 600445 HAS SOUPS 600445 WITH SCORE 601195.218
AT ITER 8639 NEW BEST:: SOT 4360843 SOS 750053 HAS SOPS 750053 HAS SOUS 600335 HAS SOUPS 600335 WITH SCORE 601085.053
AT ITER 8644 NEW BEST:: SOT 4360809 SOS 749985 HAS SOPS 749985 HAS SOUS 600267 HAS SOUPS 600267 WITH SCORE 601016.985
AT ITER 8661 NEW BEST:: SOT 4360761 SOS 749937 HAS SOPS 749937 HAS SOUS 600219 HAS SOUPS 600219 WITH SCORE 600968.937
AT ITER 8697 NEW BEST:: SOT 4360734 SOS 749883 HAS SOPS 749883 HAS SOUS 600219 HAS SOUPS 600219 WITH SCORE 600968.883
AT ITER 8711 NEW BEST:: SOT 4360514 SOS 749663 HAS SOPS 749663 HAS SOUS 599999 HAS SOUPS 599999 WITH SCORE 600748.663
AT ITER 8730 NEW BEST:: SOT 4360471 SOS 749577 HAS SOPS 749577 HAS SOUS 599719 HAS SOUPS 599719 WITH SCORE 600468.577
AT ITER 8735 NEW BEST:: SOT 4360477 SOS 749560 HAS SOPS 749560 HAS SOUS 599702 HAS SOUPS 599702 WITH SCORE 600451.56
AT ITER 8749 NEW BEST:: SOT 4360477 SOS 749543 HAS SOPS 749543 HAS SOUS 599702 HAS SOUPS 599702 WITH SCORE 600451.543
AT ITER 8759 NEW BEST:: SOT 4360448 SOS 749485 HAS SOPS 749485 HAS SOUS 599644 HAS SOUPS 599644 WITH SCORE 600393.485
AT ITER 8770 NEW BEST:: SOT 4360448 SOS 749485 HAS SOPS 749485 HAS SOUS 599634 HAS SOUPS 599634 WITH SCORE 600383.485
AT ITER 8813 NEW BEST:: SOT 4360441 SOS 749478 HAS SOPS 749478 HAS SOUS 599627 HAS SOUPS 599627 WITH SCORE 600376.478
AT ITER 8863 NEW BEST:: SOT 4360283 SOS 749162 HAS SOPS 749162 HAS SOUS 599311 HAS SOUPS 599311 WITH SCORE 600060.162
AT ITER 8882 NEW BEST:: SOT 4360046 SOS 748994 HAS SOPS 748994 HAS SOUS 599040 HAS SOUPS 599040 WITH SCORE 599788.994
AT ITER 8895 NEW BEST:: SOT 4359759 SOS 748882 HAS SOPS 748882 HAS SOUS 598928 HAS SOUPS 598928 WITH SCORE 599676.882
AT ITER 8902 NEW BEST:: SOT 4359759 SOS 748705 HAS SOPS 748705 HAS SOUS 598928 HAS SOUPS 598928 WITH SCORE 599676.705
AT ITER 8908 NEW BEST:: SOT 4359224 SOS 749419 HAS SOPS 749419 HAS SOUS 598393 HAS SOUPS 598393 WITH SCORE 599142.419
AT ITER 8920 NEW BEST:: SOT 4359307 SOS 749379 HAS SOPS 749379 HAS SOUS 598373 HAS SOUPS 598373 WITH SCORE 599122.379
AT ITER 8928 NEW BEST:: SOT 4359250 SOS 749265 HAS SOPS 749265 HAS SOUS 598208 HAS SOUPS 598208 WITH SCORE 598957.265
AT ITER 8937 NEW BEST:: SOT 4359242 SOS 749249 HAS SOPS 749249 HAS SOUS 598200 HAS SOUPS 598200 WITH SCORE 598949.249
AT ITER 8952 NEW BEST:: SOT 4359227 SOS 749236 HAS SOPS 749236 HAS SOUS 598187 HAS SOUPS 598187 WITH SCORE 598936.236
AT ITER 8954 NEW BEST:: SOT 4359029 SOS 748840 HAS SOPS 748840 HAS SOUS 597791 HAS SOUPS 597791 WITH SCORE 598539.84
AT ITER 8959 NEW BEST:: SOT 4358805 SOS 748392 HAS SOPS 748392 HAS SOUS 597567 HAS SOUPS 597567 WITH SCORE 598315.392
AT ITER 8982 NEW BEST:: SOT 4358805 SOS 748125 HAS SOPS 748125 HAS SOUS 597567 HAS SOUPS 597567 WITH SCORE 598315.125
AT ITER 9005 NEW BEST:: SOT 4358788 SOS 748133 HAS SOPS 748133 HAS SOUS 597552 HAS SOUPS 597552 WITH SCORE 598300.133
AT ITER 9006 NEW BEST:: SOT 4358786 SOS 748129 HAS SOPS 748129 HAS SOUS 597550 HAS SOUPS 597550 WITH SCORE 598298.129
AT ITER 9020 NEW BEST:: SOT 4358664 SOS 747885 HAS SOPS 747885 HAS SOUS 597234 HAS SOUPS 597234 WITH SCORE 597981.885
AT ITER 9039 NEW BEST:: SOT 4358663 SOS 747779 HAS SOPS 747779 HAS SOUS 597232 HAS SOUPS 597232 WITH SCORE 597979.779
AT ITER 9066 NEW BEST:: SOT 4358299 SOS 747968 HAS SOPS 747968 HAS SOUS 596868 HAS SOUPS 596868 WITH SCORE 597615.968
AT ITER 9069 NEW BEST:: SOT 4358335 SOS 747809 HAS SOPS 747809 HAS SOUS 596709 HAS SOUPS 596709 WITH SCORE 597456.809
AT ITER 9078 NEW BEST:: SOT 4357978 SOS 747452 HAS SOPS 747452 HAS SOUS 596206 HAS SOUPS 596206 WITH SCORE 596953.452
AT ITER 9086 NEW BEST:: SOT 4357978 SOS 747431 HAS SOPS 747431 HAS SOUS 596185 HAS SOUPS 596185 WITH SCORE 596932.431
AT ITER 9090 NEW BEST:: SOT 4357977 SOS 747429 HAS SOPS 747429 HAS SOUS 596183 HAS SOUPS 596183 WITH SCORE 596930.429
AT ITER 9121 NEW BEST:: SOT 4357977 SOS 747373 HAS SOPS 747373 HAS SOUS 596127 HAS SOUPS 596127 WITH SCORE 596874.373
AT ITER 9180 NEW BEST:: SOT 4357987 SOS 747393 HAS SOPS 747393 HAS SOUS 595999 HAS SOUPS 595999 WITH SCORE 596746.393
AT ITER 9184 NEW BEST:: SOT 4357947 SOS 747313 HAS SOPS 747313 HAS SOUS 595919 HAS SOUPS 595919 WITH SCORE 596666.313
AT ITER 9217 NEW BEST:: SOT 4357893 SOS 747205 HAS SOPS 747205 HAS SOUS 595811 HAS SOUPS 595811 WITH SCORE 596558.205
AT ITER 9218 NEW BEST:: SOT 4357887 SOS 747193 HAS SOPS 747193 HAS SOUS 595799 HAS SOUPS 595799 WITH SCORE 596546.193
AT ITER 9219 NEW BEST:: SOT 4357860 SOS 747139 HAS SOPS 747139 HAS SOUS 595772 HAS SOUPS 595772 WITH SCORE 596519.139
AT ITER 9239 NEW BEST:: SOT 4357860 SOS 747139 HAS SOPS 747139 HAS SOUS 595762 HAS SOUPS 595762 WITH SCORE 596509.139
AT ITER 9263 NEW BEST:: SOT 4357813 SOS 747045 HAS SOPS 747045 HAS SOUS 595668 HAS SOUPS 595668 WITH SCORE 596415.045
AT ITER 9267 NEW BEST:: SOT 4357717 SOS 746949 HAS SOPS 746949 HAS SOUS 595477 HAS SOUPS 595477 WITH SCORE 596223.949
AT ITER 9271 NEW BEST:: SOT 4357673 SOS 746861 HAS SOPS 746861 HAS SOUS 595389 HAS SOUPS 595389 WITH SCORE 596135.861
AT ITER 9287 NEW BEST:: SOT 4357512 SOS 746539 HAS SOPS 746539 HAS SOUS 595243 HAS SOUPS 595243 WITH SCORE 595989.539
AT ITER 9296 NEW BEST:: SOT 4357472 SOS 746499 HAS SOPS 746499 HAS SOUS 595203 HAS SOUPS 595203 WITH SCORE 595949.499
AT ITER 9298 NEW BEST:: SOT 4357470 SOS 746497 HAS SOPS 746497 HAS SOUS 595203 HAS SOUPS 595203 WITH SCORE 595949.497
AT ITER 9322 NEW BEST:: SOT 4357434 SOS 746478 HAS SOPS 746478 HAS SOUS 595184 HAS SOUPS 595184 WITH SCORE 595930.478
AT ITER 9326 NEW BEST:: SOT 4357514 SOS 746187 HAS SOPS 746187 HAS SOUS 594958 HAS SOUPS 594958 WITH SCORE 595704.187
AT ITER 9328 NEW BEST:: SOT 4357260 SOS 745679 HAS SOPS 745679 HAS SOUS 594809 HAS SOUPS 594809 WITH SCORE 595554.679
AT ITER 9329 NEW BEST:: SOT 4357372 SOS 745369 HAS SOPS 745369 HAS SOUS 594732 HAS SOUPS 594732 WITH SCORE 595477.369
AT ITER 9333 NEW BEST:: SOT 4357372 SOS 745369 HAS SOPS 745369 HAS SOUS 594706 HAS SOUPS 594706 WITH SCORE 595451.369
AT ITER 9342 NEW BEST:: SOT 4357116 SOS 745113 HAS SOPS 745113 HAS SOUS 594450 HAS SOUPS 594450 WITH SCORE 595195.113
AT ITER 9345 NEW BEST:: SOT 4356901 SOS 744683 HAS SOPS 744683 HAS SOUS 594101 HAS SOUPS 594101 WITH SCORE 594845.683
AT ITER 9361 NEW BEST:: SOT 4356901 SOS 744672 HAS SOPS 744672 HAS SOUS 594090 HAS SOUPS 594090 WITH SCORE 594834.672
AT ITER 9366 NEW BEST:: SOT 4356901 SOS 744604 HAS SOPS 744604 HAS SOUS 594022 HAS SOUPS 594022 WITH SCORE 594766.604
AT ITER 9401 NEW BEST:: SOT 4356901 SOS 744280 HAS SOPS 744280 HAS SOUS 593860 HAS SOUPS 593860 WITH SCORE 594604.28
AT ITER 9447 NEW BEST:: SOT 4356901 SOS 744280 HAS SOPS 744280 HAS SOUS 593786 HAS SOUPS 593786 WITH SCORE 594530.28
AT ITER 9478 NEW BEST:: SOT 4356683 SOS 743844 HAS SOPS 743844 HAS SOUS 593350 HAS SOUPS 593350 WITH SCORE 594093.844
AT ITER 9487 NEW BEST:: SOT 4356684 SOS 743740 HAS SOPS 743740 HAS SOUS 593347 HAS SOUPS 593347 WITH SCORE 594090.74
AT ITER 9494 NEW BEST:: SOT 4356576 SOS 743524 HAS SOPS 743524 HAS SOUS 593239 HAS SOUPS 593239 WITH SCORE 593982.524
AT ITER 9520 NEW BEST:: SOT 4356576 SOS 743402 HAS SOPS 743402 HAS SOUS 593239 HAS SOUPS 593239 WITH SCORE 593982.402
AT ITER 9543 NEW BEST:: SOT 4356534 SOS 743361 HAS SOPS 743361 HAS SOUS 593197 HAS SOUPS 593197 WITH SCORE 593940.361
AT ITER 9627 NEW BEST:: SOT 4356464 SOS 742631 HAS SOPS 742631 HAS SOUS 592805 HAS SOUPS 592805 WITH SCORE 593547.631
AT ITER 9651 NEW BEST:: SOT 4356464 SOS 742333 HAS SOPS 742333 HAS SOUS 592656 HAS SOUPS 592656 WITH SCORE 593398.333
AT ITER 9656 NEW BEST:: SOT 4356464 SOS 742265 HAS SOPS 742265 HAS SOUS 592627 HAS SOUPS 592627 WITH SCORE 593369.265
AT ITER 9691 NEW BEST:: SOT 4356464 SOS 742250 HAS SOPS 742250 HAS SOUS 592612 HAS SOUPS 592612 WITH SCORE 593354.25
AT ITER 9696 NEW BEST:: SOT 4356437 SOS 742196 HAS SOPS 742196 HAS SOUS 592558 HAS SOUPS 592558 WITH SCORE 593300.196
AT ITER 9765 NEW BEST:: SOT 4356429 SOS 742180 HAS SOPS 742180 HAS SOUS 592542 HAS SOUPS 592542 WITH SCORE 593284.18
AT ITER 9819 NEW BEST:: SOT 4356426 SOS 742174 HAS SOPS 742174 HAS SOUS 592536 HAS SOUPS 592536 WITH SCORE 593278.174
AT ITER 9849 NEW BEST:: SOT 4356425 SOS 742111 HAS SOPS 742111 HAS SOUS 592534 HAS SOUPS 592534 WITH SCORE 593276.111
AT ITER 9882 NEW BEST:: SOT 4356422 SOS 742105 HAS SOPS 742105 HAS SOUS 592528 HAS SOUPS 592528 WITH SCORE 593270.105
AT ITER 9886 NEW BEST:: SOT 4356406 SOS 742073 HAS SOPS 742073 HAS SOUS 592496 HAS SOUPS 592496 WITH SCORE 593238.073
AT ITER 9887 NEW BEST:: SOT 4356293 SOS 741734 HAS SOPS 741734 HAS SOUS 592295 HAS SOUPS 592295 WITH SCORE 593036.734
AT ITER 9888 NEW BEST:: SOT 4356293 SOS 741594 HAS SOPS 741594 HAS SOUS 592295 HAS SOUPS 592295 WITH SCORE 593036.594
AT ITER 9895 NEW BEST:: SOT 4356293 SOS 741539 HAS SOPS 741539 HAS SOUS 592295 HAS SOUPS 592295 WITH SCORE 593036.539
AT ITER 9914 NEW BEST:: SOT 4356285 SOS 741523 HAS SOPS 741523 HAS SOUS 592279 HAS SOUPS 592279 WITH SCORE 593020.523
AT ITER 9927 NEW BEST:: SOT 4356285 SOS 740681 HAS SOPS 740681 HAS SOUS 591951 HAS SOUPS 591951 WITH SCORE 592691.681
AT ITER 9937 NEW BEST:: SOT 4355737 SOS 740041 HAS SOPS 740041 HAS SOUS 591175 HAS SOUPS 591175 WITH SCORE 591915.041
AT ITER 9945 NEW BEST:: SOT 4355720 SOS 740138 HAS SOPS 740138 HAS SOUS 591158 HAS SOUPS 591158 WITH SCORE 591898.138
AT ITER 9959 NEW BEST:: SOT 4355720 SOS 740012 HAS SOPS 740012 HAS SOUS 591158 HAS SOUPS 591158 WITH SCORE 591898.012
AT ITER 9969 NEW BEST:: SOT 4355441 SOS 739454 HAS SOPS 739454 HAS SOUS 590791 HAS SOUPS 590791 WITH SCORE 591530.454
AT ITER 9970 NEW BEST:: SOT 4355441 SOS 739346 HAS SOPS 739346 HAS SOUS 590683 HAS SOUPS 590683 WITH SCORE 591422.346
AT ITER 9973 NEW BEST:: SOT 4355441 SOS 739346 HAS SOPS 739346 HAS SOUS 590640 HAS SOUPS 590640 WITH SCORE 591379.346

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

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