fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r048-ebro-158902541600040
Last Updated
Jun 28, 2020

About the Execution of smart for CloudReconfiguration-PT-305

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15764.930 3600000.00 3600071.00 0.00 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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.7K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K 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 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K 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 1589088056165

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 305
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 6 NEW BEST:: SOT 4443296 SOS 758988 HAS SOPS 758988 HAS SOUS 699874 HAS SOUPS 699874 WITH SCORE 700632.988
AT ITER 7 NEW BEST:: SOT 4443287 SOS 758970 HAS SOPS 758970 HAS SOUS 699865 HAS SOUPS 699865 WITH SCORE 700623.97
AT ITER 45 NEW BEST:: SOT 4443206 SOS 758727 HAS SOPS 758727 HAS SOUS 699703 HAS SOUPS 699703 WITH SCORE 700461.727
AT ITER 46 NEW BEST:: SOT 4443206 SOS 758669 HAS SOPS 758669 HAS SOUS 699703 HAS SOUPS 699703 WITH SCORE 700461.669
AT ITER 58 NEW BEST:: SOT 4443322 SOS 758651 HAS SOPS 758651 HAS SOUS 699685 HAS SOUPS 699685 WITH SCORE 700443.651
AT ITER 70 NEW BEST:: SOT 4443429 SOS 758465 HAS SOPS 758465 HAS SOUS 699645 HAS SOUPS 699645 WITH SCORE 700403.465
AT ITER 81 NEW BEST:: SOT 4443141 SOS 757889 HAS SOPS 757889 HAS SOUS 699069 HAS SOUPS 699069 WITH SCORE 699826.889
AT ITER 83 NEW BEST:: SOT 4442946 SOS 757802 HAS SOPS 757802 HAS SOUS 698679 HAS SOUPS 698679 WITH SCORE 699436.802
AT ITER 93 NEW BEST:: SOT 4442804 SOS 757518 HAS SOPS 757518 HAS SOUS 698395 HAS SOUPS 698395 WITH SCORE 699152.518
AT ITER 113 NEW BEST:: SOT 4442804 SOS 757518 HAS SOPS 757518 HAS SOUS 698223 HAS SOUPS 698223 WITH SCORE 698980.518
AT ITER 136 NEW BEST:: SOT 4442804 SOS 757367 HAS SOPS 757367 HAS SOUS 698223 HAS SOUPS 698223 WITH SCORE 698980.367
AT ITER 140 NEW BEST:: SOT 4442804 SOS 757037 HAS SOPS 757037 HAS SOUS 698222 HAS SOUPS 698222 WITH SCORE 698979.037
AT ITER 149 NEW BEST:: SOT 4442804 SOS 756253 HAS SOPS 756253 HAS SOUS 697830 HAS SOUPS 697830 WITH SCORE 698586.253
AT ITER 157 NEW BEST:: SOT 4442804 SOS 756199 HAS SOPS 756199 HAS SOUS 697830 HAS SOUPS 697830 WITH SCORE 698586.199
AT ITER 168 NEW BEST:: SOT 4442804 SOS 756199 HAS SOPS 756199 HAS SOUS 697827 HAS SOUPS 697827 WITH SCORE 698583.199
AT ITER 184 NEW BEST:: SOT 4442796 SOS 756191 HAS SOPS 756191 HAS SOUS 697819 HAS SOUPS 697819 WITH SCORE 698575.191
AT ITER 202 NEW BEST:: SOT 4442599 SOS 756061 HAS SOPS 756061 HAS SOUS 697622 HAS SOUPS 697622 WITH SCORE 698378.061
AT ITER 204 NEW BEST:: SOT 4442599 SOS 756061 HAS SOPS 756061 HAS SOUS 697590 HAS SOUPS 697590 WITH SCORE 698346.061
AT ITER 207 NEW BEST:: SOT 4442599 SOS 755888 HAS SOPS 755888 HAS SOUS 697417 HAS SOUPS 697417 WITH SCORE 698172.888
AT ITER 208 NEW BEST:: SOT 4442435 SOS 755724 HAS SOPS 755724 HAS SOUS 697253 HAS SOUPS 697253 WITH SCORE 698008.724
AT ITER 216 NEW BEST:: SOT 4442435 SOS 755724 HAS SOPS 755724 HAS SOUS 697172 HAS SOUPS 697172 WITH SCORE 697927.724
AT ITER 234 NEW BEST:: SOT 4432310 SOS 781338 HAS SOPS 781338 HAS SOUS 688643 HAS SOUPS 688643 WITH SCORE 689424.338
AT ITER 241 NEW BEST:: SOT 4431821 SOS 780360 HAS SOPS 780360 HAS SOUS 687910 HAS SOUPS 687910 WITH SCORE 688690.36
AT ITER 254 NEW BEST:: SOT 4431820 SOS 780358 HAS SOPS 780358 HAS SOUS 687908 HAS SOUPS 687908 WITH SCORE 688688.358
AT ITER 261 NEW BEST:: SOT 4431711 SOS 780249 HAS SOPS 780249 HAS SOUS 687799 HAS SOUPS 687799 WITH SCORE 688579.249
AT ITER 269 NEW BEST:: SOT 4431679 SOS 780249 HAS SOPS 780249 HAS SOUS 687783 HAS SOUPS 687783 WITH SCORE 688563.249
AT ITER 284 NEW BEST:: SOT 4431679 SOS 779977 HAS SOPS 779977 HAS SOUS 687782 HAS SOUPS 687782 WITH SCORE 688561.977
AT ITER 325 NEW BEST:: SOT 4431595 SOS 779921 HAS SOPS 779921 HAS SOUS 687726 HAS SOUPS 687726 WITH SCORE 688505.921
AT ITER 392 NEW BEST:: SOT 4431574 SOS 780296 HAS SOPS 780296 HAS SOUS 687724 HAS SOUPS 687724 WITH SCORE 688504.296
AT ITER 403 NEW BEST:: SOT 4426736 SOS 808830 HAS SOPS 808830 HAS SOUS 684617 HAS SOUPS 684617 WITH SCORE 685425.83
AT ITER 407 NEW BEST:: SOT 4426674 SOS 808788 HAS SOPS 808788 HAS SOUS 684556 HAS SOUPS 684556 WITH SCORE 685364.788
AT ITER 456 NEW BEST:: SOT 4426496 SOS 808432 HAS SOPS 808432 HAS SOUS 684200 HAS SOUPS 684200 WITH SCORE 685008.432
AT ITER 475 NEW BEST:: SOT 4426493 SOS 808426 HAS SOPS 808426 HAS SOUS 684194 HAS SOUPS 684194 WITH SCORE 685002.426
AT ITER 481 NEW BEST:: SOT 4426416 SOS 808272 HAS SOPS 808272 HAS SOUS 684117 HAS SOUPS 684117 WITH SCORE 684925.272
AT ITER 483 NEW BEST:: SOT 4426368 SOS 808176 HAS SOPS 808176 HAS SOUS 684069 HAS SOUPS 684069 WITH SCORE 684877.176
AT ITER 527 NEW BEST:: SOT 4426367 SOS 808016 HAS SOPS 808016 HAS SOUS 684067 HAS SOUPS 684067 WITH SCORE 684875.016
AT ITER 540 NEW BEST:: SOT 4426378 SOS 807987 HAS SOPS 807987 HAS SOUS 684044 HAS SOUPS 684044 WITH SCORE 684851.987
AT ITER 553 NEW BEST:: SOT 4426377 SOS 807985 HAS SOPS 807985 HAS SOUS 684042 HAS SOUPS 684042 WITH SCORE 684849.985
AT ITER 569 NEW BEST:: SOT 4426377 SOS 807557 HAS SOPS 807557 HAS SOUS 683640 HAS SOUPS 683640 WITH SCORE 684447.557
AT ITER 578 NEW BEST:: SOT 4426386 SOS 807190 HAS SOPS 807190 HAS SOUS 683338 HAS SOUPS 683338 WITH SCORE 684145.19
AT ITER 590 NEW BEST:: SOT 4426234 SOS 807159 HAS SOPS 807159 HAS SOUS 683283 HAS SOUPS 683283 WITH SCORE 684090.159
AT ITER 591 NEW BEST:: SOT 4425987 SOS 806665 HAS SOPS 806665 HAS SOUS 682789 HAS SOUPS 682789 WITH SCORE 683595.665
AT ITER 597 NEW BEST:: SOT 4426020 SOS 806520 HAS SOPS 806520 HAS SOUS 682644 HAS SOUPS 682644 WITH SCORE 683450.52
AT ITER 631 NEW BEST:: SOT 4426020 SOS 806279 HAS SOPS 806279 HAS SOUS 682644 HAS SOUPS 682644 WITH SCORE 683450.279
AT ITER 649 NEW BEST:: SOT 4426020 SOS 806279 HAS SOPS 806279 HAS SOUS 682480 HAS SOUPS 682480 WITH SCORE 683286.279
AT ITER 685 NEW BEST:: SOT 4426020 SOS 806201 HAS SOPS 806201 HAS SOUS 682402 HAS SOUPS 682402 WITH SCORE 683208.201
AT ITER 692 NEW BEST:: SOT 4425956 SOS 806073 HAS SOPS 806073 HAS SOUS 682070 HAS SOUPS 682070 WITH SCORE 682876.073
AT ITER 758 NEW BEST:: SOT 4425751 SOS 805868 HAS SOPS 805868 HAS SOUS 681865 HAS SOUPS 681865 WITH SCORE 682670.868
AT ITER 775 NEW BEST:: SOT 4424981 SOS 805098 HAS SOPS 805098 HAS SOUS 681095 HAS SOUPS 681095 WITH SCORE 681900.098
AT ITER 802 NEW BEST:: SOT 4425552 SOS 804886 HAS SOPS 804886 HAS SOUS 680989 HAS SOUPS 680989 WITH SCORE 681793.886
AT ITER 836 NEW BEST:: SOT 4425500 SOS 804782 HAS SOPS 804782 HAS SOUS 680667 HAS SOUPS 680667 WITH SCORE 681471.782
AT ITER 840 NEW BEST:: SOT 4425123 SOS 804722 HAS SOPS 804722 HAS SOUS 680428 HAS SOUPS 680428 WITH SCORE 681232.722
AT ITER 855 NEW BEST:: SOT 4425001 SOS 804478 HAS SOPS 804478 HAS SOUS 680184 HAS SOUPS 680184 WITH SCORE 680988.478
AT ITER 866 NEW BEST:: SOT 4425001 SOS 804193 HAS SOPS 804193 HAS SOUS 680183 HAS SOUPS 680183 WITH SCORE 680987.193
AT ITER 893 NEW BEST:: SOT 4425001 SOS 803840 HAS SOPS 803840 HAS SOUS 680183 HAS SOUPS 680183 WITH SCORE 680986.84
AT ITER 895 NEW BEST:: SOT 4424889 SOS 803786 HAS SOPS 803786 HAS SOUS 680071 HAS SOUPS 680071 WITH SCORE 680874.786
AT ITER 917 NEW BEST:: SOT 4423607 SOS 807060 HAS SOPS 807060 HAS SOUS 679635 HAS SOUPS 679635 WITH SCORE 680442.06
AT ITER 929 NEW BEST:: SOT 4423607 SOS 806544 HAS SOPS 806544 HAS SOUS 679377 HAS SOUPS 679377 WITH SCORE 680183.544
AT ITER 936 NEW BEST:: SOT 4422942 SOS 805664 HAS SOPS 805664 HAS SOUS 678487 HAS SOUPS 678487 WITH SCORE 679292.664
AT ITER 953 NEW BEST:: SOT 4422872 SOS 805524 HAS SOPS 805524 HAS SOUS 678347 HAS SOUPS 678347 WITH SCORE 679152.524
AT ITER 955 NEW BEST:: SOT 4422819 SOS 805418 HAS SOPS 805418 HAS SOUS 678241 HAS SOUPS 678241 WITH SCORE 679046.418
AT ITER 976 NEW BEST:: SOT 4422811 SOS 805402 HAS SOPS 805402 HAS SOUS 678233 HAS SOUPS 678233 WITH SCORE 679038.402
AT ITER 978 NEW BEST:: SOT 4422561 SOS 805064 HAS SOPS 805064 HAS SOUS 677841 HAS SOUPS 677841 WITH SCORE 678646.064
AT ITER 994 NEW BEST:: SOT 4422357 SOS 792096 HAS SOPS 792096 HAS SOUS 677539 HAS SOUPS 677539 WITH SCORE 678331.096
AT ITER 999 NEW BEST:: SOT 4422061 SOS 791909 HAS SOPS 791909 HAS SOUS 677137 HAS SOUPS 677137 WITH SCORE 677928.909
AT ITER 1015 NEW BEST:: SOT 4420705 SOS 792813 HAS SOPS 792813 HAS SOUS 676313 HAS SOUPS 676313 WITH SCORE 677105.813
AT ITER 1038 NEW BEST:: SOT 4420705 SOS 792510 HAS SOPS 792510 HAS SOUS 675992 HAS SOUPS 675992 WITH SCORE 676784.51
AT ITER 1062 NEW BEST:: SOT 4420660 SOS 792375 HAS SOPS 792375 HAS SOUS 675902 HAS SOUPS 675902 WITH SCORE 676694.375
AT ITER 1076 NEW BEST:: SOT 4420660 SOS 792195 HAS SOPS 792195 HAS SOUS 675657 HAS SOUPS 675657 WITH SCORE 676449.195
AT ITER 1082 NEW BEST:: SOT 4420660 SOS 792195 HAS SOPS 792195 HAS SOUS 675536 HAS SOUPS 675536 WITH SCORE 676328.195
AT ITER 1100 NEW BEST:: SOT 4420660 SOS 792195 HAS SOPS 792195 HAS SOUS 675493 HAS SOUPS 675493 WITH SCORE 676285.195
AT ITER 1101 NEW BEST:: SOT 4420593 SOS 792167 HAS SOPS 792167 HAS SOUS 675446 HAS SOUPS 675446 WITH SCORE 676238.167
AT ITER 1106 NEW BEST:: SOT 4420546 SOS 792073 HAS SOPS 792073 HAS SOUS 675352 HAS SOUPS 675352 WITH SCORE 676144.073
AT ITER 1107 NEW BEST:: SOT 4420545 SOS 792071 HAS SOPS 792071 HAS SOUS 675350 HAS SOUPS 675350 WITH SCORE 676142.071
AT ITER 1110 NEW BEST:: SOT 4420441 SOS 791967 HAS SOPS 791967 HAS SOUS 675238 HAS SOUPS 675238 WITH SCORE 676029.967
AT ITER 1122 NEW BEST:: SOT 4420334 SOS 791753 HAS SOPS 791753 HAS SOUS 675024 HAS SOUPS 675024 WITH SCORE 675815.753
AT ITER 1161 NEW BEST:: SOT 4420333 SOS 791710 HAS SOPS 791710 HAS SOUS 675022 HAS SOUPS 675022 WITH SCORE 675813.71
AT ITER 1163 NEW BEST:: SOT 4420127 SOS 791504 HAS SOPS 791504 HAS SOUS 674816 HAS SOUPS 674816 WITH SCORE 675607.504
AT ITER 1167 NEW BEST:: SOT 4420127 SOS 791429 HAS SOPS 791429 HAS SOUS 674816 HAS SOUPS 674816 WITH SCORE 675607.429
AT ITER 1181 NEW BEST:: SOT 4420127 SOS 790859 HAS SOPS 790859 HAS SOUS 674816 HAS SOUPS 674816 WITH SCORE 675606.859
AT ITER 1193 NEW BEST:: SOT 4420061 SOS 790769 HAS SOPS 790769 HAS SOUS 674708 HAS SOUPS 674708 WITH SCORE 675498.769
AT ITER 1222 NEW BEST:: SOT 4418136 SOS 791322 HAS SOPS 791322 HAS SOUS 673198 HAS SOUPS 673198 WITH SCORE 673989.322
AT ITER 1224 NEW BEST:: SOT 4418136 SOS 791220 HAS SOPS 791220 HAS SOUS 673198 HAS SOUPS 673198 WITH SCORE 673989.22
AT ITER 1300 NEW BEST:: SOT 4417802 SOS 790918 HAS SOPS 790918 HAS SOUS 672881 HAS SOUPS 672881 WITH SCORE 673671.918
AT ITER 1309 NEW BEST:: SOT 4417406 SOS 790522 HAS SOPS 790522 HAS SOUS 672485 HAS SOUPS 672485 WITH SCORE 673275.522
AT ITER 1314 NEW BEST:: SOT 4417405 SOS 790520 HAS SOPS 790520 HAS SOUS 672483 HAS SOUPS 672483 WITH SCORE 673273.52
AT ITER 1319 NEW BEST:: SOT 4417100 SOS 789910 HAS SOPS 789910 HAS SOUS 671873 HAS SOUPS 671873 WITH SCORE 672662.91
AT ITER 1330 NEW BEST:: SOT 4417386 SOS 786611 HAS SOPS 786611 HAS SOUS 671831 HAS SOUPS 671831 WITH SCORE 672617.611
AT ITER 1349 NEW BEST:: SOT 4417386 SOS 786583 HAS SOPS 786583 HAS SOUS 671818 HAS SOUPS 671818 WITH SCORE 672604.583
AT ITER 1365 NEW BEST:: SOT 4417386 SOS 786127 HAS SOPS 786127 HAS SOUS 671817 HAS SOUPS 671817 WITH SCORE 672603.127
AT ITER 1380 NEW BEST:: SOT 4417386 SOS 786127 HAS SOPS 786127 HAS SOUS 671613 HAS SOUPS 671613 WITH SCORE 672399.127
AT ITER 1393 NEW BEST:: SOT 4417228 SOS 785993 HAS SOPS 785993 HAS SOUS 671465 HAS SOUPS 671465 WITH SCORE 672250.993
AT ITER 1414 NEW BEST:: SOT 4417293 SOS 785384 HAS SOPS 785384 HAS SOUS 671078 HAS SOUPS 671078 WITH SCORE 671863.384
AT ITER 1424 NEW BEST:: SOT 4417268 SOS 785384 HAS SOPS 785384 HAS SOUS 671053 HAS SOUPS 671053 WITH SCORE 671838.384
AT ITER 1483 NEW BEST:: SOT 4417160 SOS 785447 HAS SOPS 785447 HAS SOUS 671031 HAS SOUPS 671031 WITH SCORE 671816.447
AT ITER 1496 NEW BEST:: SOT 4417501 SOS 785438 HAS SOPS 785438 HAS SOUS 671022 HAS SOUPS 671022 WITH SCORE 671807.438
AT ITER 1535 NEW BEST:: SOT 4417413 SOS 785380 HAS SOPS 785380 HAS SOUS 670948 HAS SOUPS 670948 WITH SCORE 671733.38
AT ITER 1542 NEW BEST:: SOT 4417115 SOS 784784 HAS SOPS 784784 HAS SOUS 670352 HAS SOUPS 670352 WITH SCORE 671136.784
AT ITER 1548 NEW BEST:: SOT 4417115 SOS 784769 HAS SOPS 784769 HAS SOUS 670352 HAS SOUPS 670352 WITH SCORE 671136.769
AT ITER 1559 NEW BEST:: SOT 4417115 SOS 784544 HAS SOPS 784544 HAS SOUS 670127 HAS SOUPS 670127 WITH SCORE 670911.544
AT ITER 1585 NEW BEST:: SOT 4416846 SOS 783652 HAS SOPS 783652 HAS SOUS 669546 HAS SOUPS 669546 WITH SCORE 670329.652
AT ITER 1607 NEW BEST:: SOT 4416806 SOS 783532 HAS SOPS 783532 HAS SOUS 669466 HAS SOUPS 669466 WITH SCORE 670249.532
AT ITER 1611 NEW BEST:: SOT 4416904 SOS 783425 HAS SOPS 783425 HAS SOUS 669423 HAS SOUPS 669423 WITH SCORE 670206.425
AT ITER 1614 NEW BEST:: SOT 4416619 SOS 782855 HAS SOPS 782855 HAS SOUS 668853 HAS SOUPS 668853 WITH SCORE 669635.855
AT ITER 1620 NEW BEST:: SOT 4415759 SOS 782703 HAS SOPS 782703 HAS SOUS 668592 HAS SOUPS 668592 WITH SCORE 669374.703
AT ITER 1621 NEW BEST:: SOT 4415758 SOS 782701 HAS SOPS 782701 HAS SOUS 668590 HAS SOUPS 668590 WITH SCORE 669372.701
AT ITER 1632 NEW BEST:: SOT 4415758 SOS 782253 HAS SOPS 782253 HAS SOUS 668590 HAS SOUPS 668590 WITH SCORE 669372.253
AT ITER 1675 NEW BEST:: SOT 4415753 SOS 782248 HAS SOPS 782248 HAS SOUS 668585 HAS SOUPS 668585 WITH SCORE 669367.248
AT ITER 1689 NEW BEST:: SOT 4415753 SOS 781834 HAS SOPS 781834 HAS SOUS 668585 HAS SOUPS 668585 WITH SCORE 669366.834
AT ITER 1694 NEW BEST:: SOT 4415561 SOS 781450 HAS SOPS 781450 HAS SOUS 668201 HAS SOUPS 668201 WITH SCORE 668982.45
AT ITER 1715 NEW BEST:: SOT 4415226 SOS 782887 HAS SOPS 782887 HAS SOUS 668117 HAS SOUPS 668117 WITH SCORE 668899.887
AT ITER 1743 NEW BEST:: SOT 4415225 SOS 782885 HAS SOPS 782885 HAS SOUS 668115 HAS SOUPS 668115 WITH SCORE 668897.885
AT ITER 1794 NEW BEST:: SOT 4415115 SOS 782741 HAS SOPS 782741 HAS SOUS 667949 HAS SOUPS 667949 WITH SCORE 668731.741
AT ITER 1796 NEW BEST:: SOT 4415115 SOS 782741 HAS SOPS 782741 HAS SOUS 667785 HAS SOUPS 667785 WITH SCORE 668567.741
AT ITER 1856 NEW BEST:: SOT 4414887 SOS 782629 HAS SOPS 782629 HAS SOUS 667673 HAS SOUPS 667673 WITH SCORE 668455.629
AT ITER 1857 NEW BEST:: SOT 4414344 SOS 783255 HAS SOPS 783255 HAS SOUS 667392 HAS SOUPS 667392 WITH SCORE 668175.255
AT ITER 1887 NEW BEST:: SOT 4413640 SOS 782831 HAS SOPS 782831 HAS SOUS 666781 HAS SOUPS 666781 WITH SCORE 667563.831
AT ITER 1923 NEW BEST:: SOT 4413372 SOS 782601 HAS SOPS 782601 HAS SOUS 666551 HAS SOUPS 666551 WITH SCORE 667333.601
AT ITER 1928 NEW BEST:: SOT 4412576 SOS 782045 HAS SOPS 782045 HAS SOUS 665776 HAS SOUPS 665776 WITH SCORE 666558.045
AT ITER 1929 NEW BEST:: SOT 4412439 SOS 781771 HAS SOPS 781771 HAS SOUS 665639 HAS SOUPS 665639 WITH SCORE 666420.771
AT ITER 1932 NEW BEST:: SOT 4412136 SOS 781165 HAS SOPS 781165 HAS SOUS 665033 HAS SOUPS 665033 WITH SCORE 665814.165
AT ITER 1933 NEW BEST:: SOT 4412107 SOS 781136 HAS SOPS 781136 HAS SOUS 665004 HAS SOUPS 665004 WITH SCORE 665785.136
AT ITER 1949 NEW BEST:: SOT 4412320 SOS 781562 HAS SOPS 781562 HAS SOUS 664956 HAS SOUPS 664956 WITH SCORE 665737.562
AT ITER 1958 NEW BEST:: SOT 4412319 SOS 781560 HAS SOPS 781560 HAS SOUS 664955 HAS SOUPS 664955 WITH SCORE 665736.56
AT ITER 1964 NEW BEST:: SOT 4412167 SOS 781256 HAS SOPS 781256 HAS SOUS 664651 HAS SOUPS 664651 WITH SCORE 665432.256
AT ITER 1966 NEW BEST:: SOT 4412166 SOS 781254 HAS SOPS 781254 HAS SOUS 664649 HAS SOUPS 664649 WITH SCORE 665430.254
AT ITER 1994 NEW BEST:: SOT 4412166 SOS 781254 HAS SOPS 781254 HAS SOUS 664506 HAS SOUPS 664506 WITH SCORE 665287.254
AT ITER 1996 NEW BEST:: SOT 4403547 SOS 799361 HAS SOPS 799361 HAS SOUS 657539 HAS SOUPS 657539 WITH SCORE 658338.361
AT ITER 2007 NEW BEST:: SOT 4403436 SOS 799139 HAS SOPS 799139 HAS SOUS 657408 HAS SOUPS 657408 WITH SCORE 658207.139
AT ITER 2037 NEW BEST:: SOT 4403153 SOS 798857 HAS SOPS 798857 HAS SOUS 657377 HAS SOUPS 657377 WITH SCORE 658175.857
AT ITER 2053 NEW BEST:: SOT 4403153 SOS 798857 HAS SOPS 798857 HAS SOUS 657376 HAS SOUPS 657376 WITH SCORE 658174.857
AT ITER 2101 NEW BEST:: SOT 4403153 SOS 798583 HAS SOPS 798583 HAS SOUS 657376 HAS SOUPS 657376 WITH SCORE 658174.583
AT ITER 2105 NEW BEST:: SOT 4403153 SOS 798583 HAS SOPS 798583 HAS SOUS 657144 HAS SOUPS 657144 WITH SCORE 657942.583
AT ITER 2108 NEW BEST:: SOT 4403153 SOS 798338 HAS SOPS 798338 HAS SOUS 657144 HAS SOUPS 657144 WITH SCORE 657942.338
AT ITER 2127 NEW BEST:: SOT 4403149 SOS 798330 HAS SOPS 798330 HAS SOUS 657136 HAS SOUPS 657136 WITH SCORE 657934.33
AT ITER 2163 NEW BEST:: SOT 4403064 SOS 798160 HAS SOPS 798160 HAS SOUS 657051 HAS SOUPS 657051 WITH SCORE 657849.16
AT ITER 2174 NEW BEST:: SOT 4402932 SOS 797896 HAS SOPS 797896 HAS SOUS 656686 HAS SOUPS 656686 WITH SCORE 657483.896
AT ITER 2185 NEW BEST:: SOT 4402818 SOS 798058 HAS SOPS 798058 HAS SOUS 656676 HAS SOUPS 656676 WITH SCORE 657474.058
AT ITER 2221 NEW BEST:: SOT 4402888 SOS 798198 HAS SOPS 798198 HAS SOUS 656620 HAS SOUPS 656620 WITH SCORE 657418.198
AT ITER 2224 NEW BEST:: SOT 4402836 SOS 798042 HAS SOPS 798042 HAS SOUS 656516 HAS SOUPS 656516 WITH SCORE 657314.042
AT ITER 2229 NEW BEST:: SOT 4402836 SOS 798042 HAS SOPS 798042 HAS SOUS 656387 HAS SOUPS 656387 WITH SCORE 657185.042
AT ITER 2255 NEW BEST:: SOT 4402779 SOS 797985 HAS SOPS 797985 HAS SOUS 656330 HAS SOUPS 656330 WITH SCORE 657127.985
AT ITER 2263 NEW BEST:: SOT 4402779 SOS 797870 HAS SOPS 797870 HAS SOUS 656330 HAS SOUPS 656330 WITH SCORE 657127.87
AT ITER 2270 NEW BEST:: SOT 4402763 SOS 797866 HAS SOPS 797866 HAS SOUS 656292 HAS SOUPS 656292 WITH SCORE 657089.866
AT ITER 2275 NEW BEST:: SOT 4402557 SOS 797454 HAS SOPS 797454 HAS SOUS 655880 HAS SOUPS 655880 WITH SCORE 656677.454
AT ITER 2289 NEW BEST:: SOT 4402441 SOS 796963 HAS SOPS 796963 HAS SOUS 655801 HAS SOUPS 655801 WITH SCORE 656597.963
AT ITER 2318 NEW BEST:: SOT 4402441 SOS 796841 HAS SOPS 796841 HAS SOUS 655800 HAS SOUPS 655800 WITH SCORE 656596.841
AT ITER 2337 NEW BEST:: SOT 4396297 SOS 792594 HAS SOPS 792594 HAS SOUS 650020 HAS SOUPS 650020 WITH SCORE 650812.594
AT ITER 2341 NEW BEST:: SOT 4396297 SOS 792532 HAS SOPS 792532 HAS SOUS 649958 HAS SOUPS 649958 WITH SCORE 650750.532
AT ITER 2357 NEW BEST:: SOT 4396013 SOS 791964 HAS SOPS 791964 HAS SOUS 649451 HAS SOUPS 649451 WITH SCORE 650242.964
AT ITER 2375 NEW BEST:: SOT 4395899 SOS 791736 HAS SOPS 791736 HAS SOUS 649329 HAS SOUPS 649329 WITH SCORE 650120.736
AT ITER 2393 NEW BEST:: SOT 4395479 SOS 790896 HAS SOPS 790896 HAS SOUS 648975 HAS SOUPS 648975 WITH SCORE 649765.896
AT ITER 2413 NEW BEST:: SOT 4395394 SOS 790622 HAS SOPS 790622 HAS SOUS 648786 HAS SOUPS 648786 WITH SCORE 649576.622
AT ITER 2424 NEW BEST:: SOT 4395394 SOS 790446 HAS SOPS 790446 HAS SOUS 648786 HAS SOUPS 648786 WITH SCORE 649576.446
AT ITER 2482 NEW BEST:: SOT 4395227 SOS 790112 HAS SOPS 790112 HAS SOUS 648619 HAS SOUPS 648619 WITH SCORE 649409.112
AT ITER 2497 NEW BEST:: SOT 4395102 SOS 789862 HAS SOPS 789862 HAS SOUS 648368 HAS SOUPS 648368 WITH SCORE 649157.862
AT ITER 2503 NEW BEST:: SOT 4394910 SOS 759156 HAS SOPS 759156 HAS SOUS 648176 HAS SOUPS 648176 WITH SCORE 648935.156
AT ITER 2525 NEW BEST:: SOT 4395154 SOS 759260 HAS SOPS 759260 HAS SOUS 648003 HAS SOUPS 648003 WITH SCORE 648762.26
AT ITER 2531 NEW BEST:: SOT 4395082 SOS 759116 HAS SOPS 759116 HAS SOUS 647884 HAS SOUPS 647884 WITH SCORE 648643.116
AT ITER 2532 NEW BEST:: SOT 4395082 SOS 759105 HAS SOPS 759105 HAS SOUS 647883 HAS SOUPS 647883 WITH SCORE 648642.105
AT ITER 2562 NEW BEST:: SOT 4395023 SOS 758987 HAS SOPS 758987 HAS SOUS 647856 HAS SOUPS 647856 WITH SCORE 648614.987
AT ITER 2609 NEW BEST:: SOT 4394996 SOS 758933 HAS SOPS 758933 HAS SOUS 647802 HAS SOUPS 647802 WITH SCORE 648560.933
AT ITER 2617 NEW BEST:: SOT 4394996 SOS 758751 HAS SOPS 758751 HAS SOUS 647620 HAS SOUPS 647620 WITH SCORE 648378.751
AT ITER 2639 NEW BEST:: SOT 4394996 SOS 758695 HAS SOPS 758695 HAS SOUS 647564 HAS SOUPS 647564 WITH SCORE 648322.695
AT ITER 2653 NEW BEST:: SOT 4395066 SOS 758835 HAS SOPS 758835 HAS SOUS 647455 HAS SOUPS 647455 WITH SCORE 648213.835
AT ITER 2657 NEW BEST:: SOT 4394823 SOS 758349 HAS SOPS 758349 HAS SOUS 646950 HAS SOUPS 646950 WITH SCORE 647708.349
AT ITER 2660 NEW BEST:: SOT 4394600 SOS 757903 HAS SOPS 757903 HAS SOUS 646785 HAS SOUPS 646785 WITH SCORE 647542.903
AT ITER 2676 NEW BEST:: SOT 4394600 SOS 757858 HAS SOPS 757858 HAS SOUS 646695 HAS SOUPS 646695 WITH SCORE 647452.858
AT ITER 2697 NEW BEST:: SOT 4394529 SOS 757819 HAS SOPS 757819 HAS SOUS 646553 HAS SOUPS 646553 WITH SCORE 647310.819
AT ITER 2730 NEW BEST:: SOT 4394454 SOS 757719 HAS SOPS 757719 HAS SOUS 646453 HAS SOUPS 646453 WITH SCORE 647210.719
AT ITER 2754 NEW BEST:: SOT 4394340 SOS 757491 HAS SOPS 757491 HAS SOUS 646225 HAS SOUPS 646225 WITH SCORE 646982.491
AT ITER 2783 NEW BEST:: SOT 4394259 SOS 757248 HAS SOPS 757248 HAS SOUS 646063 HAS SOUPS 646063 WITH SCORE 646820.248
AT ITER 2811 NEW BEST:: SOT 4393945 SOS 757424 HAS SOPS 757424 HAS SOUS 645787 HAS SOUPS 645787 WITH SCORE 646544.424
AT ITER 2826 NEW BEST:: SOT 4393945 SOS 757424 HAS SOPS 757424 HAS SOUS 645713 HAS SOUPS 645713 WITH SCORE 646470.424
AT ITER 2834 NEW BEST:: SOT 4393944 SOS 757370 HAS SOPS 757370 HAS SOUS 645711 HAS SOUPS 645711 WITH SCORE 646468.37
AT ITER 2840 NEW BEST:: SOT 4394102 SOS 757686 HAS SOPS 757686 HAS SOUS 645646 HAS SOUPS 645646 WITH SCORE 646403.686
AT ITER 2845 NEW BEST:: SOT 4393997 SOS 757476 HAS SOPS 757476 HAS SOUS 645436 HAS SOUPS 645436 WITH SCORE 646193.476
AT ITER 2863 NEW BEST:: SOT 4393997 SOS 757476 HAS SOPS 757476 HAS SOUS 645395 HAS SOUPS 645395 WITH SCORE 646152.476
AT ITER 2865 NEW BEST:: SOT 4393764 SOS 757010 HAS SOPS 757010 HAS SOUS 645162 HAS SOUPS 645162 WITH SCORE 645919.01
AT ITER 2876 NEW BEST:: SOT 4393572 SOS 756626 HAS SOPS 756626 HAS SOUS 645010 HAS SOUPS 645010 WITH SCORE 645766.626
AT ITER 2881 NEW BEST:: SOT 4393539 SOS 756859 HAS SOPS 756859 HAS SOUS 645005 HAS SOUPS 645005 WITH SCORE 645761.859
AT ITER 2882 NEW BEST:: SOT 4393539 SOS 756762 HAS SOPS 756762 HAS SOUS 645005 HAS SOUPS 645005 WITH SCORE 645761.762
AT ITER 2885 NEW BEST:: SOT 4393538 SOS 756760 HAS SOPS 756760 HAS SOUS 645003 HAS SOUPS 645003 WITH SCORE 645759.76
AT ITER 2904 NEW BEST:: SOT 4393538 SOS 756724 HAS SOPS 756724 HAS SOUS 644967 HAS SOUPS 644967 WITH SCORE 645723.724
AT ITER 2906 NEW BEST:: SOT 4393110 SOS 756166 HAS SOPS 756166 HAS SOUS 644390 HAS SOUPS 644390 WITH SCORE 645146.166
AT ITER 2915 NEW BEST:: SOT 4393109 SOS 756164 HAS SOPS 756164 HAS SOUS 644388 HAS SOUPS 644388 WITH SCORE 645144.164
AT ITER 2943 NEW BEST:: SOT 4393109 SOS 756054 HAS SOPS 756054 HAS SOUS 644388 HAS SOUPS 644388 WITH SCORE 645144.054
AT ITER 2951 NEW BEST:: SOT 4393046 SOS 755928 HAS SOPS 755928 HAS SOUS 644325 HAS SOUPS 644325 WITH SCORE 645080.928
AT ITER 2974 NEW BEST:: SOT 4391684 SOS 754793 HAS SOPS 754793 HAS SOUS 643188 HAS SOUPS 643188 WITH SCORE 643942.793
AT ITER 2975 NEW BEST:: SOT 4391722 SOS 754762 HAS SOPS 754762 HAS SOUS 643157 HAS SOUPS 643157 WITH SCORE 643911.762
AT ITER 2976 NEW BEST:: SOT 4391496 SOS 754510 HAS SOPS 754510 HAS SOUS 642762 HAS SOUPS 642762 WITH SCORE 643516.51
AT ITER 2990 NEW BEST:: SOT 4391296 SOS 754310 HAS SOPS 754310 HAS SOUS 642562 HAS SOUPS 642562 WITH SCORE 643316.31
AT ITER 2998 NEW BEST:: SOT 4391041 SOS 754145 HAS SOPS 754145 HAS SOUS 642527 HAS SOUPS 642527 WITH SCORE 643281.145
AT ITER 3019 NEW BEST:: SOT 4390964 SOS 753991 HAS SOPS 753991 HAS SOUS 642373 HAS SOUPS 642373 WITH SCORE 643126.991
AT ITER 3050 NEW BEST:: SOT 4390963 SOS 753989 HAS SOPS 753989 HAS SOUS 642371 HAS SOUPS 642371 WITH SCORE 643124.989
AT ITER 3051 NEW BEST:: SOT 4390957 SOS 753977 HAS SOPS 753977 HAS SOUS 642362 HAS SOUPS 642362 WITH SCORE 643115.977
AT ITER 3052 NEW BEST:: SOT 4390941 SOS 753961 HAS SOPS 753961 HAS SOUS 642330 HAS SOUPS 642330 WITH SCORE 643083.961
AT ITER 3074 NEW BEST:: SOT 4390661 SOS 753702 HAS SOPS 753702 HAS SOUS 642060 HAS SOUPS 642060 WITH SCORE 642813.702
AT ITER 3084 NEW BEST:: SOT 4390462 SOS 753520 HAS SOPS 753520 HAS SOUS 641874 HAS SOUPS 641874 WITH SCORE 642627.52
AT ITER 3092 NEW BEST:: SOT 4390455 SOS 753506 HAS SOPS 753506 HAS SOUS 641860 HAS SOUPS 641860 WITH SCORE 642613.506
AT ITER 3093 NEW BEST:: SOT 4390455 SOS 753506 HAS SOPS 753506 HAS SOUS 641720 HAS SOUPS 641720 WITH SCORE 642473.506
AT ITER 3095 NEW BEST:: SOT 4390454 SOS 753436 HAS SOPS 753436 HAS SOUS 641651 HAS SOUPS 641651 WITH SCORE 642404.436
AT ITER 3098 NEW BEST:: SOT 4390489 SOS 753252 HAS SOPS 753252 HAS SOUS 641467 HAS SOUPS 641467 WITH SCORE 642220.252
AT ITER 3121 NEW BEST:: SOT 4390375 SOS 753252 HAS SOPS 753252 HAS SOUS 641410 HAS SOUPS 641410 WITH SCORE 642163.252
AT ITER 3136 NEW BEST:: SOT 4390344 SOS 753283 HAS SOPS 753283 HAS SOUS 641379 HAS SOUPS 641379 WITH SCORE 642132.283
AT ITER 3138 NEW BEST:: SOT 4390115 SOS 753095 HAS SOPS 753095 HAS SOUS 641191 HAS SOUPS 641191 WITH SCORE 641944.095
AT ITER 3144 NEW BEST:: SOT 4390199 SOS 753263 HAS SOPS 753263 HAS SOUS 641047 HAS SOUPS 641047 WITH SCORE 641800.263
AT ITER 3149 NEW BEST:: SOT 4390208 SOS 753035 HAS SOPS 753035 HAS SOUS 640934 HAS SOUPS 640934 WITH SCORE 641687.035
AT ITER 3161 NEW BEST:: SOT 4390208 SOS 753035 HAS SOPS 753035 HAS SOUS 640862 HAS SOUPS 640862 WITH SCORE 641615.035
AT ITER 3168 NEW BEST:: SOT 4390208 SOS 752688 HAS SOPS 752688 HAS SOUS 640861 HAS SOUPS 640861 WITH SCORE 641613.688
AT ITER 3225 NEW BEST:: SOT 4389942 SOS 752156 HAS SOPS 752156 HAS SOUS 640682 HAS SOUPS 640682 WITH SCORE 641434.156
AT ITER 3234 NEW BEST:: SOT 4389942 SOS 752156 HAS SOPS 752156 HAS SOUS 640628 HAS SOUPS 640628 WITH SCORE 641380.156
AT ITER 3271 NEW BEST:: SOT 4389983 SOS 751796 HAS SOPS 751796 HAS SOUS 640524 HAS SOUPS 640524 WITH SCORE 641275.796
AT ITER 3306 NEW BEST:: SOT 4389949 SOS 751772 HAS SOPS 751772 HAS SOUS 640490 HAS SOUPS 640490 WITH SCORE 641241.772
AT ITER 3308 NEW BEST:: SOT 4389954 SOS 751734 HAS SOPS 751734 HAS SOUS 640452 HAS SOUPS 640452 WITH SCORE 641203.734
AT ITER 3340 NEW BEST:: SOT 4389943 SOS 751712 HAS SOPS 751712 HAS SOUS 640441 HAS SOUPS 640441 WITH SCORE 641192.712
AT ITER 3391 NEW BEST:: SOT 4389942 SOS 751710 HAS SOPS 751710 HAS SOUS 640439 HAS SOUPS 640439 WITH SCORE 641190.71
AT ITER 3412 NEW BEST:: SOT 4389726 SOS 751278 HAS SOPS 751278 HAS SOUS 640223 HAS SOUPS 640223 WITH SCORE 640974.278
AT ITER 3414 NEW BEST:: SOT 4389637 SOS 751304 HAS SOPS 751304 HAS SOUS 640160 HAS SOUPS 640160 WITH SCORE 640911.304
AT ITER 3425 NEW BEST:: SOT 4389782 SOS 751594 HAS SOPS 751594 HAS SOUS 640126 HAS SOUPS 640126 WITH SCORE 640877.594
AT ITER 3454 NEW BEST:: SOT 4389644 SOS 751644 HAS SOPS 751644 HAS SOUS 640067 HAS SOUPS 640067 WITH SCORE 640818.644
AT ITER 3461 NEW BEST:: SOT 4389369 SOS 751369 HAS SOPS 751369 HAS SOUS 639827 HAS SOUPS 639827 WITH SCORE 640578.369
AT ITER 3467 NEW BEST:: SOT 4389330 SOS 751291 HAS SOPS 751291 HAS SOUS 639790 HAS SOUPS 639790 WITH SCORE 640541.291
AT ITER 3474 NEW BEST:: SOT 4389123 SOS 750877 HAS SOPS 750877 HAS SOUS 639376 HAS SOUPS 639376 WITH SCORE 640126.877
AT ITER 3484 NEW BEST:: SOT 4389067 SOS 750765 HAS SOPS 750765 HAS SOUS 639264 HAS SOUPS 639264 WITH SCORE 640014.765
AT ITER 3520 NEW BEST:: SOT 4388942 SOS 750105 HAS SOPS 750105 HAS SOUS 638729 HAS SOUPS 638729 WITH SCORE 639479.105
AT ITER 3537 NEW BEST:: SOT 4388889 SOS 749999 HAS SOPS 749999 HAS SOUS 638623 HAS SOUPS 638623 WITH SCORE 639372.999
AT ITER 3545 NEW BEST:: SOT 4388867 SOS 749955 HAS SOPS 749955 HAS SOUS 638579 HAS SOUPS 638579 WITH SCORE 639328.955
AT ITER 3613 NEW BEST:: SOT 4388715 SOS 749793 HAS SOPS 749793 HAS SOUS 638285 HAS SOUPS 638285 WITH SCORE 639034.793
AT ITER 3638 NEW BEST:: SOT 4388715 SOS 749793 HAS SOPS 749793 HAS SOUS 638108 HAS SOUPS 638108 WITH SCORE 638857.793
AT ITER 3682 NEW BEST:: SOT 4388715 SOS 749793 HAS SOPS 749793 HAS SOUS 638107 HAS SOUPS 638107 WITH SCORE 638856.793
AT ITER 3698 NEW BEST:: SOT 4388683 SOS 749729 HAS SOPS 749729 HAS SOUS 638075 HAS SOUPS 638075 WITH SCORE 638824.729
AT ITER 3733 NEW BEST:: SOT 4388683 SOS 749729 HAS SOPS 749729 HAS SOUS 637922 HAS SOUPS 637922 WITH SCORE 638671.729
AT ITER 3737 NEW BEST:: SOT 4388803 SOS 749969 HAS SOPS 749969 HAS SOUS 637765 HAS SOUPS 637765 WITH SCORE 638514.969
AT ITER 3759 NEW BEST:: SOT 4388730 SOS 749823 HAS SOPS 749823 HAS SOUS 637573 HAS SOUPS 637573 WITH SCORE 638322.823
AT ITER 3768 NEW BEST:: SOT 4388274 SOS 749253 HAS SOPS 749253 HAS SOUS 637003 HAS SOUPS 637003 WITH SCORE 637752.253
AT ITER 3786 NEW BEST:: SOT 4388274 SOS 748897 HAS SOPS 748897 HAS SOUS 637002 HAS SOUPS 637002 WITH SCORE 637750.897
AT ITER 3796 NEW BEST:: SOT 4388063 SOS 748734 HAS SOPS 748734 HAS SOUS 636839 HAS SOUPS 636839 WITH SCORE 637587.734
AT ITER 3809 NEW BEST:: SOT 4388010 SOS 723102 HAS SOPS 723102 HAS SOUS 636508 HAS SOUPS 636508 WITH SCORE 637231.102
AT ITER 3848 NEW BEST:: SOT 4387990 SOS 723062 HAS SOPS 723062 HAS SOUS 636488 HAS SOUPS 636488 WITH SCORE 637211.062
AT ITER 3849 NEW BEST:: SOT 4387848 SOS 723068 HAS SOPS 723068 HAS SOUS 636346 HAS SOUPS 636346 WITH SCORE 637069.068
AT ITER 3870 NEW BEST:: SOT 4387771 SOS 722914 HAS SOPS 722914 HAS SOUS 636269 HAS SOUPS 636269 WITH SCORE 636991.914
AT ITER 3878 NEW BEST:: SOT 4387582 SOS 722733 HAS SOPS 722733 HAS SOUS 636080 HAS SOUPS 636080 WITH SCORE 636802.733
AT ITER 3885 NEW BEST:: SOT 4387582 SOS 722733 HAS SOPS 722733 HAS SOUS 635891 HAS SOUPS 635891 WITH SCORE 636613.733
AT ITER 3920 NEW BEST:: SOT 4387470 SOS 722453 HAS SOPS 722453 HAS SOUS 635723 HAS SOUPS 635723 WITH SCORE 636445.453
AT ITER 3943 NEW BEST:: SOT 4387323 SOS 722326 HAS SOPS 722326 HAS SOUS 635461 HAS SOUPS 635461 WITH SCORE 636183.326
AT ITER 3949 NEW BEST:: SOT 4387323 SOS 722326 HAS SOPS 722326 HAS SOUS 635349 HAS SOUPS 635349 WITH SCORE 636071.326
AT ITER 3957 NEW BEST:: SOT 4387309 SOS 722420 HAS SOPS 722420 HAS SOUS 635273 HAS SOUPS 635273 WITH SCORE 635995.42
AT ITER 3996 NEW BEST:: SOT 4387225 SOS 722336 HAS SOPS 722336 HAS SOUS 635189 HAS SOUPS 635189 WITH SCORE 635911.336
AT ITER 4014 NEW BEST:: SOT 4387165 SOS 722444 HAS SOPS 722444 HAS SOUS 635183 HAS SOUPS 635183 WITH SCORE 635905.444
AT ITER 4018 NEW BEST:: SOT 4387164 SOS 722425 HAS SOPS 722425 HAS SOUS 635181 HAS SOUPS 635181 WITH SCORE 635903.425
AT ITER 4023 NEW BEST:: SOT 4386928 SOS 722071 HAS SOPS 722071 HAS SOUS 634945 HAS SOUPS 634945 WITH SCORE 635667.071
AT ITER 4024 NEW BEST:: SOT 4386769 SOS 722023 HAS SOPS 722023 HAS SOUS 634897 HAS SOUPS 634897 WITH SCORE 635619.023
AT ITER 4054 NEW BEST:: SOT 4386700 SOS 721885 HAS SOPS 721885 HAS SOUS 634759 HAS SOUPS 634759 WITH SCORE 635480.885
AT ITER 4058 NEW BEST:: SOT 4386732 SOS 721584 HAS SOPS 721584 HAS SOUS 634534 HAS SOUPS 634534 WITH SCORE 635255.584
AT ITER 4062 NEW BEST:: SOT 4386576 SOS 721581 HAS SOPS 721581 HAS SOUS 634378 HAS SOUPS 634378 WITH SCORE 635099.581
AT ITER 4078 NEW BEST:: SOT 4386398 SOS 721683 HAS SOPS 721683 HAS SOUS 634321 HAS SOUPS 634321 WITH SCORE 635042.683
AT ITER 4150 NEW BEST:: SOT 4386099 SOS 721635 HAS SOPS 721635 HAS SOUS 634273 HAS SOUPS 634273 WITH SCORE 634994.635
AT ITER 4167 NEW BEST:: SOT 4385864 SOS 721425 HAS SOPS 721425 HAS SOUS 634051 HAS SOUPS 634051 WITH SCORE 634772.425
AT ITER 4248 NEW BEST:: SOT 4385827 SOS 721351 HAS SOPS 721351 HAS SOUS 633977 HAS SOUPS 633977 WITH SCORE 634698.351
AT ITER 4279 NEW BEST:: SOT 4385825 SOS 721347 HAS SOPS 721347 HAS SOUS 633973 HAS SOUPS 633973 WITH SCORE 634694.347
AT ITER 4289 NEW BEST:: SOT 4385499 SOS 720695 HAS SOPS 720695 HAS SOUS 633321 HAS SOUPS 633321 WITH SCORE 634041.695
AT ITER 4292 NEW BEST:: SOT 4385390 SOS 720605 HAS SOPS 720605 HAS SOUS 633136 HAS SOUPS 633136 WITH SCORE 633856.605
AT ITER 4293 NEW BEST:: SOT 4385371 SOS 720815 HAS SOPS 720815 HAS SOUS 633104 HAS SOUPS 633104 WITH SCORE 633824.815
AT ITER 4319 NEW BEST:: SOT 4385117 SOS 720456 HAS SOPS 720456 HAS SOUS 632701 HAS SOUPS 632701 WITH SCORE 633421.456
AT ITER 4336 NEW BEST:: SOT 4385117 SOS 720188 HAS SOPS 720188 HAS SOUS 632567 HAS SOUPS 632567 WITH SCORE 633287.188
AT ITER 4357 NEW BEST:: SOT 4385216 SOS 719908 HAS SOPS 719908 HAS SOUS 632538 HAS SOUPS 632538 WITH SCORE 633257.908
AT ITER 4362 NEW BEST:: SOT 4385000 SOS 719692 HAS SOPS 719692 HAS SOUS 632296 HAS SOUPS 632296 WITH SCORE 633015.692
AT ITER 4403 NEW BEST:: SOT 4384998 SOS 719636 HAS SOPS 719636 HAS SOUS 632242 HAS SOUPS 632242 WITH SCORE 632961.636
AT ITER 4457 NEW BEST:: SOT 4384785 SOS 719210 HAS SOPS 719210 HAS SOUS 632072 HAS SOUPS 632072 WITH SCORE 632791.21
AT ITER 4460 NEW BEST:: SOT 4384711 SOS 719341 HAS SOPS 719341 HAS SOUS 632052 HAS SOUPS 632052 WITH SCORE 632771.341
AT ITER 4469 NEW BEST:: SOT 4384600 SOS 719193 HAS SOPS 719193 HAS SOUS 631904 HAS SOUPS 631904 WITH SCORE 632623.193
AT ITER 4490 NEW BEST:: SOT 4384158 SOS 717867 HAS SOPS 717867 HAS SOUS 631903 HAS SOUPS 631903 WITH SCORE 632620.867
AT ITER 4546 NEW BEST:: SOT 4384039 SOS 717629 HAS SOPS 717629 HAS SOUS 631784 HAS SOUPS 631784 WITH SCORE 632501.629
AT ITER 4547 NEW BEST:: SOT 4383799 SOS 717149 HAS SOPS 717149 HAS SOUS 631208 HAS SOUPS 631208 WITH SCORE 631925.149
AT ITER 4551 NEW BEST:: SOT 4383466 SOS 716869 HAS SOPS 716869 HAS SOUS 630611 HAS SOUPS 630611 WITH SCORE 631327.869
AT ITER 4562 NEW BEST:: SOT 4383259 SOS 717107 HAS SOPS 717107 HAS SOUS 630548 HAS SOUPS 630548 WITH SCORE 631265.107
AT ITER 4570 NEW BEST:: SOT 4383302 SOS 716805 HAS SOPS 716805 HAS SOUS 630510 HAS SOUPS 630510 WITH SCORE 631226.805
AT ITER 4571 NEW BEST:: SOT 4383298 SOS 716797 HAS SOPS 716797 HAS SOUS 630502 HAS SOUPS 630502 WITH SCORE 631218.797
AT ITER 4575 NEW BEST:: SOT 4383383 SOS 716243 HAS SOPS 716243 HAS SOUS 630363 HAS SOUPS 630363 WITH SCORE 631079.243
AT ITER 4632 NEW BEST:: SOT 4383112 SOS 715701 HAS SOPS 715701 HAS SOUS 630180 HAS SOUPS 630180 WITH SCORE 630895.701
AT ITER 4633 NEW BEST:: SOT 4382978 SOS 715433 HAS SOPS 715433 HAS SOUS 629912 HAS SOUPS 629912 WITH SCORE 630627.433
AT ITER 4658 NEW BEST:: SOT 4382743 SOS 714963 HAS SOPS 714963 HAS SOUS 629677 HAS SOUPS 629677 WITH SCORE 630391.963
AT ITER 4679 NEW BEST:: SOT 4382352 SOS 714927 HAS SOPS 714927 HAS SOUS 629641 HAS SOUPS 629641 WITH SCORE 630355.927
AT ITER 4701 NEW BEST:: SOT 4382274 SOS 714918 HAS SOPS 714918 HAS SOUS 629563 HAS SOUPS 629563 WITH SCORE 630277.918
AT ITER 4715 NEW BEST:: SOT 4382274 SOS 714918 HAS SOPS 714918 HAS SOUS 629408 HAS SOUPS 629408 WITH SCORE 630122.918
AT ITER 4726 NEW BEST:: SOT 4382311 SOS 715411 HAS SOPS 715411 HAS SOUS 629348 HAS SOUPS 629348 WITH SCORE 630063.411
AT ITER 4732 NEW BEST:: SOT 4382290 SOS 715348 HAS SOPS 715348 HAS SOUS 629285 HAS SOUPS 629285 WITH SCORE 630000.348
AT ITER 4745 NEW BEST:: SOT 4382375 SOS 714986 HAS SOPS 714986 HAS SOUS 629146 HAS SOUPS 629146 WITH SCORE 629860.986
AT ITER 4793 NEW BEST:: SOT 4382116 SOS 714468 HAS SOPS 714468 HAS SOUS 628826 HAS SOUPS 628826 WITH SCORE 629540.468
AT ITER 4831 NEW BEST:: SOT 4382128 SOS 714272 HAS SOPS 714272 HAS SOUS 628630 HAS SOUPS 628630 WITH SCORE 629344.272
AT ITER 4910 NEW BEST:: SOT 4382070 SOS 714156 HAS SOPS 714156 HAS SOUS 628244 HAS SOUPS 628244 WITH SCORE 628958.156
AT ITER 4949 NEW BEST:: SOT 4382068 SOS 714154 HAS SOPS 714154 HAS SOUS 628243 HAS SOUPS 628243 WITH SCORE 628957.154
AT ITER 4961 NEW BEST:: SOT 4381998 SOS 714014 HAS SOPS 714014 HAS SOUS 628103 HAS SOUPS 628103 WITH SCORE 628817.014
AT ITER 4970 NEW BEST:: SOT 4381949 SOS 714017 HAS SOPS 714017 HAS SOUS 628054 HAS SOUPS 628054 WITH SCORE 628768.017
AT ITER 4977 NEW BEST:: SOT 4381687 SOS 713746 HAS SOPS 713746 HAS SOUS 627705 HAS SOUPS 627705 WITH SCORE 628418.746
AT ITER 4980 NEW BEST:: SOT 4381711 SOS 713794 HAS SOPS 713794 HAS SOUS 627584 HAS SOUPS 627584 WITH SCORE 628297.794
AT ITER 4991 NEW BEST:: SOT 4381639 SOS 713650 HAS SOPS 713650 HAS SOUS 627440 HAS SOUPS 627440 WITH SCORE 628153.65
AT ITER 5003 NEW BEST:: SOT 4381347 SOS 713066 HAS SOPS 713066 HAS SOUS 626856 HAS SOUPS 626856 WITH SCORE 627569.066
AT ITER 5036 NEW BEST:: SOT 4381453 SOS 713278 HAS SOPS 713278 HAS SOUS 626718 HAS SOUPS 626718 WITH SCORE 627431.278
AT ITER 5037 NEW BEST:: SOT 4381325 SOS 713086 HAS SOPS 713086 HAS SOUS 626526 HAS SOUPS 626526 WITH SCORE 627239.086
AT ITER 5038 NEW BEST:: SOT 4381270 SOS 712976 HAS SOPS 712976 HAS SOUS 626416 HAS SOUPS 626416 WITH SCORE 627128.976
AT ITER 5042 NEW BEST:: SOT 4381175 SOS 712597 HAS SOPS 712597 HAS SOUS 626226 HAS SOUPS 626226 WITH SCORE 626938.597
AT ITER 5076 NEW BEST:: SOT 4381174 SOS 712515 HAS SOPS 712515 HAS SOUS 626224 HAS SOUPS 626224 WITH SCORE 626936.515
AT ITER 5087 NEW BEST:: SOT 4381119 SOS 712405 HAS SOPS 712405 HAS SOUS 626117 HAS SOUPS 626117 WITH SCORE 626829.405
AT ITER 5133 NEW BEST:: SOT 4380836 SOS 712122 HAS SOPS 712122 HAS SOUS 625745 HAS SOUPS 625745 WITH SCORE 626457.122
AT ITER 5157 NEW BEST:: SOT 4380836 SOS 712114 HAS SOPS 712114 HAS SOUS 625737 HAS SOUPS 625737 WITH SCORE 626449.114
AT ITER 5169 NEW BEST:: SOT 4380833 SOS 712108 HAS SOPS 712108 HAS SOUS 625734 HAS SOUPS 625734 WITH SCORE 626446.108
AT ITER 5172 NEW BEST:: SOT 4380704 SOS 711850 HAS SOPS 711850 HAS SOUS 625476 HAS SOUPS 625476 WITH SCORE 626187.85
AT ITER 5237 NEW BEST:: SOT 4380615 SOS 711585 HAS SOPS 711585 HAS SOUS 625298 HAS SOUPS 625298 WITH SCORE 626009.585
AT ITER 5259 NEW BEST:: SOT 4380631 SOS 711617 HAS SOPS 711617 HAS SOUS 625189 HAS SOUPS 625189 WITH SCORE 625900.617
AT ITER 5325 NEW BEST:: SOT 4380621 SOS 711597 HAS SOPS 711597 HAS SOUS 625169 HAS SOUPS 625169 WITH SCORE 625880.597
AT ITER 5345 NEW BEST:: SOT 4379993 SOS 711856 HAS SOPS 711856 HAS SOUS 624998 HAS SOUPS 624998 WITH SCORE 625709.856
AT ITER 5361 NEW BEST:: SOT 4379924 SOS 711718 HAS SOPS 711718 HAS SOUS 624877 HAS SOUPS 624877 WITH SCORE 625588.718
AT ITER 5378 NEW BEST:: SOT 4379655 SOS 711180 HAS SOPS 711180 HAS SOUS 624725 HAS SOUPS 624725 WITH SCORE 625436.18
AT ITER 5380 NEW BEST:: SOT 4379613 SOS 711138 HAS SOPS 711138 HAS SOUS 624683 HAS SOUPS 624683 WITH SCORE 625394.138
AT ITER 5456 NEW BEST:: SOT 4379350 SOS 710612 HAS SOPS 710612 HAS SOUS 624157 HAS SOUPS 624157 WITH SCORE 624867.612
AT ITER 5462 NEW BEST:: SOT 4379082 SOS 709808 HAS SOPS 709808 HAS SOUS 623621 HAS SOUPS 623621 WITH SCORE 624330.808
AT ITER 5489 NEW BEST:: SOT 4379048 SOS 709774 HAS SOPS 709774 HAS SOUS 623528 HAS SOUPS 623528 WITH SCORE 624237.774
AT ITER 5496 NEW BEST:: SOT 4379048 SOS 709774 HAS SOPS 709774 HAS SOUS 623477 HAS SOUPS 623477 WITH SCORE 624186.774
AT ITER 5499 NEW BEST:: SOT 4378975 SOS 709509 HAS SOPS 709509 HAS SOUS 623285 HAS SOUPS 623285 WITH SCORE 623994.509
AT ITER 5504 NEW BEST:: SOT 4378750 SOS 709059 HAS SOPS 709059 HAS SOUS 623034 HAS SOUPS 623034 WITH SCORE 623743.059
AT ITER 5508 NEW BEST:: SOT 4378705 SOS 708969 HAS SOPS 708969 HAS SOUS 622972 HAS SOUPS 622972 WITH SCORE 623680.969
AT ITER 5520 NEW BEST:: SOT 4378636 SOS 708529 HAS SOPS 708529 HAS SOUS 622601 HAS SOUPS 622601 WITH SCORE 623309.529
AT ITER 5526 NEW BEST:: SOT 4378568 SOS 708393 HAS SOPS 708393 HAS SOUS 622465 HAS SOUPS 622465 WITH SCORE 623173.393
AT ITER 5536 NEW BEST:: SOT 4378567 SOS 708391 HAS SOPS 708391 HAS SOUS 622463 HAS SOUPS 622463 WITH SCORE 623171.391
AT ITER 5541 NEW BEST:: SOT 4378567 SOS 708395 HAS SOPS 708395 HAS SOUS 622460 HAS SOUPS 622460 WITH SCORE 623168.395
AT ITER 5569 NEW BEST:: SOT 4378567 SOS 708297 HAS SOPS 708297 HAS SOUS 622362 HAS SOUPS 622362 WITH SCORE 623070.297
AT ITER 5581 NEW BEST:: SOT 4378507 SOS 708177 HAS SOPS 708177 HAS SOUS 622302 HAS SOUPS 622302 WITH SCORE 623010.177
AT ITER 5603 NEW BEST:: SOT 4378507 SOS 708164 HAS SOPS 708164 HAS SOUS 622289 HAS SOUPS 622289 WITH SCORE 622997.164
AT ITER 5605 NEW BEST:: SOT 4378507 SOS 708164 HAS SOPS 708164 HAS SOUS 622213 HAS SOUPS 622213 WITH SCORE 622921.164
AT ITER 5620 NEW BEST:: SOT 4378165 SOS 708050 HAS SOPS 708050 HAS SOUS 621985 HAS SOUPS 621985 WITH SCORE 622693.05
AT ITER 5629 NEW BEST:: SOT 4378162 SOS 708613 HAS SOPS 708613 HAS SOUS 621982 HAS SOUPS 621982 WITH SCORE 622690.613
AT ITER 5667 NEW BEST:: SOT 4378191 SOS 708231 HAS SOPS 708231 HAS SOUS 621791 HAS SOUPS 621791 WITH SCORE 622499.231
AT ITER 5697 NEW BEST:: SOT 4378350 SOS 708218 HAS SOPS 708218 HAS SOUS 621778 HAS SOUPS 621778 WITH SCORE 622486.218
AT ITER 5707 NEW BEST:: SOT 4378150 SOS 707818 HAS SOPS 707818 HAS SOUS 621301 HAS SOUPS 621301 WITH SCORE 622008.818
AT ITER 5713 NEW BEST:: SOT 4378069 SOS 707656 HAS SOPS 707656 HAS SOUS 621139 HAS SOUPS 621139 WITH SCORE 621846.656
AT ITER 5714 NEW BEST:: SOT 4377755 SOS 707185 HAS SOPS 707185 HAS SOUS 620668 HAS SOUPS 620668 WITH SCORE 621375.185
AT ITER 5760 NEW BEST:: SOT 4375610 SOS 713185 HAS SOPS 713185 HAS SOUS 618768 HAS SOUPS 618768 WITH SCORE 619481.185
AT ITER 5769 NEW BEST:: SOT 4375122 SOS 712722 HAS SOPS 712722 HAS SOUS 618305 HAS SOUPS 618305 WITH SCORE 619017.722
AT ITER 5770 NEW BEST:: SOT 4375028 SOS 712346 HAS SOPS 712346 HAS SOUS 618117 HAS SOUPS 618117 WITH SCORE 618829.346
AT ITER 5794 NEW BEST:: SOT 4374991 SOS 712272 HAS SOPS 712272 HAS SOUS 618043 HAS SOUPS 618043 WITH SCORE 618755.272
AT ITER 5810 NEW BEST:: SOT 4374971 SOS 712193 HAS SOPS 712193 HAS SOUS 618003 HAS SOUPS 618003 WITH SCORE 618715.193
AT ITER 5831 NEW BEST:: SOT 4374952 SOS 712155 HAS SOPS 712155 HAS SOUS 617965 HAS SOUPS 617965 WITH SCORE 618677.155
AT ITER 5852 NEW BEST:: SOT 4374896 SOS 712225 HAS SOPS 712225 HAS SOUS 617922 HAS SOUPS 617922 WITH SCORE 618634.225
AT ITER 5854 NEW BEST:: SOT 4374896 SOS 712225 HAS SOPS 712225 HAS SOUS 617856 HAS SOUPS 617856 WITH SCORE 618568.225
AT ITER 5922 NEW BEST:: SOT 4374742 SOS 711917 HAS SOPS 711917 HAS SOUS 617548 HAS SOUPS 617548 WITH SCORE 618259.917
AT ITER 5938 NEW BEST:: SOT 4374735 SOS 711903 HAS SOPS 711903 HAS SOUS 617526 HAS SOUPS 617526 WITH SCORE 618237.903
AT ITER 5974 NEW BEST:: SOT 4374655 SOS 711824 HAS SOPS 711824 HAS SOUS 617447 HAS SOUPS 617447 WITH SCORE 618158.824
AT ITER 5999 NEW BEST:: SOT 4374650 SOS 711814 HAS SOPS 711814 HAS SOUS 617437 HAS SOUPS 617437 WITH SCORE 618148.814
AT ITER 6002 NEW BEST:: SOT 4374650 SOS 711760 HAS SOPS 711760 HAS SOUS 617437 HAS SOUPS 617437 WITH SCORE 618148.76
AT ITER 6006 NEW BEST:: SOT 4374382 SOS 711224 HAS SOPS 711224 HAS SOUS 617172 HAS SOUPS 617172 WITH SCORE 617883.224
AT ITER 6011 NEW BEST:: SOT 4374293 SOS 711046 HAS SOPS 711046 HAS SOUS 616846 HAS SOUPS 616846 WITH SCORE 617557.046
AT ITER 6016 NEW BEST:: SOT 4374298 SOS 710900 HAS SOPS 710900 HAS SOUS 616700 HAS SOUPS 616700 WITH SCORE 617410.9
AT ITER 6081 NEW BEST:: SOT 4374097 SOS 710715 HAS SOPS 710715 HAS SOUS 616515 HAS SOUPS 616515 WITH SCORE 617225.715
AT ITER 6085 NEW BEST:: SOT 4373975 SOS 710744 HAS SOPS 710744 HAS SOUS 616469 HAS SOUPS 616469 WITH SCORE 617179.744
AT ITER 6106 NEW BEST:: SOT 4373954 SOS 710702 HAS SOPS 710702 HAS SOUS 616367 HAS SOUPS 616367 WITH SCORE 617077.702
AT ITER 6110 NEW BEST:: SOT 4373948 SOS 710639 HAS SOPS 710639 HAS SOUS 616333 HAS SOUPS 616333 WITH SCORE 617043.639
AT ITER 6111 NEW BEST:: SOT 4373607 SOS 710175 HAS SOPS 710175 HAS SOUS 615774 HAS SOUPS 615774 WITH SCORE 616484.175
AT ITER 6156 NEW BEST:: SOT 4373696 SOS 710085 HAS SOPS 710085 HAS SOUS 615684 HAS SOUPS 615684 WITH SCORE 616394.085
AT ITER 6181 NEW BEST:: SOT 4373695 SOS 709840 HAS SOPS 709840 HAS SOUS 615439 HAS SOUPS 615439 WITH SCORE 616148.84
AT ITER 6209 NEW BEST:: SOT 4373686 SOS 709822 HAS SOPS 709822 HAS SOUS 615430 HAS SOUPS 615430 WITH SCORE 616139.822
AT ITER 6211 NEW BEST:: SOT 4373041 SOS 711234 HAS SOPS 711234 HAS SOUS 615223 HAS SOUPS 615223 WITH SCORE 615934.234
AT ITER 6222 NEW BEST:: SOT 4372963 SOS 711078 HAS SOPS 711078 HAS SOUS 615145 HAS SOUPS 615145 WITH SCORE 615856.078
AT ITER 6223 NEW BEST:: SOT 4372793 SOS 710738 HAS SOPS 710738 HAS SOUS 615029 HAS SOUPS 615029 WITH SCORE 615739.738
AT ITER 6234 NEW BEST:: SOT 4372609 SOS 710590 HAS SOPS 710590 HAS SOUS 614875 HAS SOUPS 614875 WITH SCORE 615585.59
AT ITER 6236 NEW BEST:: SOT 4372609 SOS 710590 HAS SOPS 710590 HAS SOUS 614583 HAS SOUPS 614583 WITH SCORE 615293.59
AT ITER 6239 NEW BEST:: SOT 4372347 SOS 709804 HAS SOPS 709804 HAS SOUS 614059 HAS SOUPS 614059 WITH SCORE 614768.804
AT ITER 6260 NEW BEST:: SOT 4371917 SOS 709374 HAS SOPS 709374 HAS SOUS 613629 HAS SOUPS 613629 WITH SCORE 614338.374
AT ITER 6263 NEW BEST:: SOT 4371871 SOS 709328 HAS SOPS 709328 HAS SOUS 613537 HAS SOUPS 613537 WITH SCORE 614246.328
AT ITER 6268 NEW BEST:: SOT 4371259 SOS 708969 HAS SOPS 708969 HAS SOUS 613005 HAS SOUPS 613005 WITH SCORE 613713.969
AT ITER 6284 NEW BEST:: SOT 4372017 SOS 708688 HAS SOPS 708688 HAS SOUS 612993 HAS SOUPS 612993 WITH SCORE 613701.688
AT ITER 6351 NEW BEST:: SOT 4372017 SOS 708688 HAS SOPS 708688 HAS SOUS 612992 HAS SOUPS 612992 WITH SCORE 613700.688
AT ITER 6381 NEW BEST:: SOT 4371603 SOS 708360 HAS SOPS 708360 HAS SOUS 612522 HAS SOUPS 612522 WITH SCORE 613230.36
AT ITER 6389 NEW BEST:: SOT 4371597 SOS 708342 HAS SOPS 708342 HAS SOUS 612510 HAS SOUPS 612510 WITH SCORE 613218.342
AT ITER 6450 NEW BEST:: SOT 4371573 SOS 708270 HAS SOPS 708270 HAS SOUS 612438 HAS SOUPS 612438 WITH SCORE 613146.27
AT ITER 6495 NEW BEST:: SOT 4371561 SOS 708246 HAS SOPS 708246 HAS SOUS 612414 HAS SOUPS 612414 WITH SCORE 613122.246
AT ITER 6512 NEW BEST:: SOT 4371470 SOS 708174 HAS SOPS 708174 HAS SOUS 612342 HAS SOUPS 612342 WITH SCORE 613050.174
AT ITER 6522 NEW BEST:: SOT 4371422 SOS 708078 HAS SOPS 708078 HAS SOUS 612246 HAS SOUPS 612246 WITH SCORE 612954.078
AT ITER 6528 NEW BEST:: SOT 4371386 SOS 707970 HAS SOPS 707970 HAS SOUS 612174 HAS SOUPS 612174 WITH SCORE 612881.97
AT ITER 6536 NEW BEST:: SOT 4371316 SOS 707711 HAS SOPS 707711 HAS SOUS 612034 HAS SOUPS 612034 WITH SCORE 612741.711
AT ITER 6539 NEW BEST:: SOT 4371308 SOS 707695 HAS SOPS 707695 HAS SOUS 612026 HAS SOUPS 612026 WITH SCORE 612733.695
AT ITER 6546 NEW BEST:: SOT 4371256 SOS 707591 HAS SOPS 707591 HAS SOUS 611922 HAS SOUPS 611922 WITH SCORE 612629.591
AT ITER 6554 NEW BEST:: SOT 4371210 SOS 707499 HAS SOPS 707499 HAS SOUS 611876 HAS SOUPS 611876 WITH SCORE 612583.499
AT ITER 6603 NEW BEST:: SOT 4371075 SOS 707483 HAS SOPS 707483 HAS SOUS 611724 HAS SOUPS 611724 WITH SCORE 612431.483
AT ITER 6628 NEW BEST:: SOT 4370996 SOS 707325 HAS SOPS 707325 HAS SOUS 611566 HAS SOUPS 611566 WITH SCORE 612273.325
AT ITER 6637 NEW BEST:: SOT 4370971 SOS 707275 HAS SOPS 707275 HAS SOUS 611516 HAS SOUPS 611516 WITH SCORE 612223.275
AT ITER 6648 NEW BEST:: SOT 4370599 SOS 706903 HAS SOPS 706903 HAS SOUS 611144 HAS SOUPS 611144 WITH SCORE 611850.903
AT ITER 6650 NEW BEST:: SOT 4370575 SOS 706855 HAS SOPS 706855 HAS SOUS 611097 HAS SOUPS 611097 WITH SCORE 611803.855
AT ITER 6658 NEW BEST:: SOT 4370575 SOS 706855 HAS SOPS 706855 HAS SOUS 610947 HAS SOUPS 610947 WITH SCORE 611653.855
AT ITER 6662 NEW BEST:: SOT 4370526 SOS 706757 HAS SOPS 706757 HAS SOUS 610849 HAS SOUPS 610849 WITH SCORE 611555.757
AT ITER 6681 NEW BEST:: SOT 4370526 SOS 706743 HAS SOPS 706743 HAS SOUS 610849 HAS SOUPS 610849 WITH SCORE 611555.743
AT ITER 6689 NEW BEST:: SOT 4370525 SOS 706512 HAS SOPS 706512 HAS SOUS 610550 HAS SOUPS 610550 WITH SCORE 611256.512
AT ITER 6719 NEW BEST:: SOT 4370483 SOS 706486 HAS SOPS 706486 HAS SOUS 610518 HAS SOUPS 610518 WITH SCORE 611224.486
AT ITER 6761 NEW BEST:: SOT 4370413 SOS 706416 HAS SOPS 706416 HAS SOUS 610448 HAS SOUPS 610448 WITH SCORE 611154.416
AT ITER 6765 NEW BEST:: SOT 4370408 SOS 706401 HAS SOPS 706401 HAS SOUS 610438 HAS SOUPS 610438 WITH SCORE 611144.401
AT ITER 6793 NEW BEST:: SOT 4370439 SOS 706226 HAS SOPS 706226 HAS SOUS 610263 HAS SOUPS 610263 WITH SCORE 610969.226
AT ITER 6801 NEW BEST:: SOT 4370759 SOS 706374 HAS SOPS 706374 HAS SOUS 610091 HAS SOUPS 610091 WITH SCORE 610797.374
AT ITER 6858 NEW BEST:: SOT 4370476 SOS 706091 HAS SOPS 706091 HAS SOUS 609808 HAS SOUPS 609808 WITH SCORE 610514.091
AT ITER 6885 NEW BEST:: SOT 4370273 SOS 705685 HAS SOPS 705685 HAS SOUS 609402 HAS SOUPS 609402 WITH SCORE 610107.685
AT ITER 6886 NEW BEST:: SOT 4370089 SOS 705501 HAS SOPS 705501 HAS SOUS 609218 HAS SOUPS 609218 WITH SCORE 609923.501
AT ITER 6887 NEW BEST:: SOT 4370128 SOS 705331 HAS SOPS 705331 HAS SOUS 609194 HAS SOUPS 609194 WITH SCORE 609899.331
AT ITER 6888 NEW BEST:: SOT 4370128 SOS 705004 HAS SOPS 705004 HAS SOUS 609193 HAS SOUPS 609193 WITH SCORE 609898.004
AT ITER 6891 NEW BEST:: SOT 4365595 SOS 700714 HAS SOPS 700714 HAS SOUS 605210 HAS SOUPS 605210 WITH SCORE 605910.714
AT ITER 6898 NEW BEST:: SOT 4365575 SOS 700646 HAS SOPS 700646 HAS SOUS 605170 HAS SOUPS 605170 WITH SCORE 605870.646
AT ITER 6925 NEW BEST:: SOT 4365575 SOS 700646 HAS SOPS 700646 HAS SOUS 605150 HAS SOUPS 605150 WITH SCORE 605850.646
AT ITER 7013 NEW BEST:: SOT 4365526 SOS 700548 HAS SOPS 700548 HAS SOUS 605052 HAS SOUPS 605052 WITH SCORE 605752.548
AT ITER 7021 NEW BEST:: SOT 4365526 SOS 700548 HAS SOPS 700548 HAS SOUS 605046 HAS SOUPS 605046 WITH SCORE 605746.548
AT ITER 7213 NEW BEST:: SOT 4365233 SOS 699962 HAS SOPS 699962 HAS SOUS 604753 HAS SOUPS 604753 WITH SCORE 605452.962
AT ITER 7251 NEW BEST:: SOT 4365329 SOS 699850 HAS SOPS 699850 HAS SOUS 604697 HAS SOUPS 604697 WITH SCORE 605396.85
AT ITER 7304 NEW BEST:: SOT 4365150 SOS 699657 HAS SOPS 699657 HAS SOUS 604504 HAS SOUPS 604504 WITH SCORE 605203.657
AT ITER 7309 NEW BEST:: SOT 4365150 SOS 699609 HAS SOPS 699609 HAS SOUS 604456 HAS SOUPS 604456 WITH SCORE 605155.609
AT ITER 7341 NEW BEST:: SOT 4364999 SOS 699458 HAS SOPS 699458 HAS SOUS 604345 HAS SOUPS 604345 WITH SCORE 605044.458
AT ITER 7385 NEW BEST:: SOT 4364961 SOS 699382 HAS SOPS 699382 HAS SOUS 604269 HAS SOUPS 604269 WITH SCORE 604968.382
AT ITER 7393 NEW BEST:: SOT 4364961 SOS 699300 HAS SOPS 699300 HAS SOUS 604269 HAS SOUPS 604269 WITH SCORE 604968.3
AT ITER 7398 NEW BEST:: SOT 4364811 SOS 699189 HAS SOPS 699189 HAS SOUS 604097 HAS SOUPS 604097 WITH SCORE 604796.189
AT ITER 7400 NEW BEST:: SOT 4364792 SOS 699151 HAS SOPS 699151 HAS SOUS 604059 HAS SOUPS 604059 WITH SCORE 604758.151
AT ITER 7418 NEW BEST:: SOT 4364295 SOS 699135 HAS SOPS 699135 HAS SOUS 603817 HAS SOUPS 603817 WITH SCORE 604516.135
AT ITER 7426 NEW BEST:: SOT 4364055 SOS 698917 HAS SOPS 698917 HAS SOUS 603577 HAS SOUPS 603577 WITH SCORE 604275.917
AT ITER 7477 NEW BEST:: SOT 4362850 SOS 700035 HAS SOPS 700035 HAS SOUS 602961 HAS SOUPS 602961 WITH SCORE 603661.035
AT ITER 7486 NEW BEST:: SOT 4362690 SOS 699715 HAS SOPS 699715 HAS SOUS 602531 HAS SOUPS 602531 WITH SCORE 603230.715
AT ITER 7494 NEW BEST:: SOT 4362732 SOS 699417 HAS SOPS 699417 HAS SOUS 602317 HAS SOUPS 602317 WITH SCORE 603016.417
AT ITER 7498 NEW BEST:: SOT 4362634 SOS 699110 HAS SOPS 699110 HAS SOUS 602121 HAS SOUPS 602121 WITH SCORE 602820.11
AT ITER 7524 NEW BEST:: SOT 4362552 SOS 699021 HAS SOPS 699021 HAS SOUS 602039 HAS SOUPS 602039 WITH SCORE 602738.021
AT ITER 7539 NEW BEST:: SOT 4362613 SOS 698877 HAS SOPS 698877 HAS SOUS 601895 HAS SOUPS 601895 WITH SCORE 602593.877
AT ITER 7540 NEW BEST:: SOT 4362335 SOS 698877 HAS SOPS 698877 HAS SOUS 601756 HAS SOUPS 601756 WITH SCORE 602454.877
AT ITER 7544 NEW BEST:: SOT 4362335 SOS 698873 HAS SOPS 698873 HAS SOUS 601752 HAS SOUPS 601752 WITH SCORE 602450.873
AT ITER 7546 NEW BEST:: SOT 4362296 SOS 698795 HAS SOPS 698795 HAS SOUS 601674 HAS SOUPS 601674 WITH SCORE 602372.795
AT ITER 7577 NEW BEST:: SOT 4361916 SOS 698035 HAS SOPS 698035 HAS SOUS 601052 HAS SOUPS 601052 WITH SCORE 601750.035
AT ITER 7587 NEW BEST:: SOT 4361916 SOS 697890 HAS SOPS 697890 HAS SOUS 601052 HAS SOUPS 601052 WITH SCORE 601749.89
AT ITER 7589 NEW BEST:: SOT 4361805 SOS 698009 HAS SOPS 698009 HAS SOUS 600976 HAS SOUPS 600976 WITH SCORE 601674.009
AT ITER 7598 NEW BEST:: SOT 4361796 SOS 697991 HAS SOPS 697991 HAS SOUS 600958 HAS SOUPS 600958 WITH SCORE 601655.991
AT ITER 7627 NEW BEST:: SOT 4361793 SOS 697985 HAS SOPS 697985 HAS SOUS 600910 HAS SOUPS 600910 WITH SCORE 601607.985
AT ITER 7639 NEW BEST:: SOT 4361793 SOS 697985 HAS SOPS 697985 HAS SOUS 600881 HAS SOUPS 600881 WITH SCORE 601578.985
AT ITER 7643 NEW BEST:: SOT 4361713 SOS 697825 HAS SOPS 697825 HAS SOUS 600721 HAS SOUPS 600721 WITH SCORE 601418.825
AT ITER 7650 NEW BEST:: SOT 4361354 SOS 697537 HAS SOPS 697537 HAS SOUS 600387 HAS SOUPS 600387 WITH SCORE 601084.537
AT ITER 7674 NEW BEST:: SOT 4361354 SOS 697537 HAS SOPS 697537 HAS SOUS 600256 HAS SOUPS 600256 WITH SCORE 600953.537
AT ITER 7704 NEW BEST:: SOT 4361329 SOS 697487 HAS SOPS 697487 HAS SOUS 600206 HAS SOUPS 600206 WITH SCORE 600903.487
AT ITER 7715 NEW BEST:: SOT 4361694 SOS 697585 HAS SOPS 697585 HAS SOUS 600137 HAS SOUPS 600137 WITH SCORE 600834.585
AT ITER 7743 NEW BEST:: SOT 4361670 SOS 697537 HAS SOPS 697537 HAS SOUS 600089 HAS SOUPS 600089 WITH SCORE 600786.537
AT ITER 7747 NEW BEST:: SOT 4361413 SOS 697331 HAS SOPS 697331 HAS SOUS 600076 HAS SOUPS 600076 WITH SCORE 600773.331
AT ITER 7764 NEW BEST:: SOT 4361413 SOS 697310 HAS SOPS 697310 HAS SOUS 600076 HAS SOUPS 600076 WITH SCORE 600773.31
AT ITER 7772 NEW BEST:: SOT 4361365 SOS 697214 HAS SOPS 697214 HAS SOUS 599980 HAS SOUPS 599980 WITH SCORE 600677.214
AT ITER 7786 NEW BEST:: SOT 4361364 SOS 697212 HAS SOPS 697212 HAS SOUS 599978 HAS SOUPS 599978 WITH SCORE 600675.212
AT ITER 7846 NEW BEST:: SOT 4361322 SOS 697128 HAS SOPS 697128 HAS SOUS 599894 HAS SOUPS 599894 WITH SCORE 600591.128
AT ITER 7855 NEW BEST:: SOT 4360755 SOS 697086 HAS SOPS 697086 HAS SOUS 599539 HAS SOUPS 599539 WITH SCORE 600236.086
AT ITER 7863 NEW BEST:: SOT 4360606 SOS 697288 HAS SOPS 697288 HAS SOUS 599527 HAS SOUPS 599527 WITH SCORE 600224.288
AT ITER 7884 NEW BEST:: SOT 4360836 SOS 697122 HAS SOPS 697122 HAS SOUS 599444 HAS SOUPS 599444 WITH SCORE 600141.122
AT ITER 7890 NEW BEST:: SOT 4360835 SOS 697120 HAS SOPS 697120 HAS SOUS 599442 HAS SOUPS 599442 WITH SCORE 600139.12
AT ITER 7921 NEW BEST:: SOT 4360795 SOS 697002 HAS SOPS 697002 HAS SOUS 599362 HAS SOUPS 599362 WITH SCORE 600059.002
AT ITER 7925 NEW BEST:: SOT 4360774 SOS 696981 HAS SOPS 696981 HAS SOUS 599341 HAS SOUPS 599341 WITH SCORE 600037.981
AT ITER 7935 NEW BEST:: SOT 4360774 SOS 696768 HAS SOPS 696768 HAS SOUS 599341 HAS SOUPS 599341 WITH SCORE 600037.768
AT ITER 7998 NEW BEST:: SOT 4360436 SOS 696530 HAS SOPS 696530 HAS SOUS 599034 HAS SOUPS 599034 WITH SCORE 599730.53
AT ITER 8035 NEW BEST:: SOT 4360436 SOS 696480 HAS SOPS 696480 HAS SOUS 599034 HAS SOUPS 599034 WITH SCORE 599730.48
AT ITER 8045 NEW BEST:: SOT 4360436 SOS 696480 HAS SOPS 696480 HAS SOUS 599033 HAS SOUPS 599033 WITH SCORE 599729.48
AT ITER 8094 NEW BEST:: SOT 4360432 SOS 696472 HAS SOPS 696472 HAS SOUS 599025 HAS SOUPS 599025 WITH SCORE 599721.472
AT ITER 8102 NEW BEST:: SOT 4360556 SOS 696288 HAS SOPS 696288 HAS SOUS 598827 HAS SOUPS 598827 WITH SCORE 599523.288
AT ITER 8103 NEW BEST:: SOT 4360457 SOS 696252 HAS SOPS 696252 HAS SOUS 598728 HAS SOUPS 598728 WITH SCORE 599424.252
AT ITER 8105 NEW BEST:: SOT 4360424 SOS 696065 HAS SOPS 696065 HAS SOUS 598591 HAS SOUPS 598591 WITH SCORE 599287.065
AT ITER 8113 NEW BEST:: SOT 4360424 SOS 695758 HAS SOPS 695758 HAS SOUS 598474 HAS SOUPS 598474 WITH SCORE 599169.758
AT ITER 8193 NEW BEST:: SOT 4360408 SOS 695726 HAS SOPS 695726 HAS SOUS 598457 HAS SOUPS 598457 WITH SCORE 599152.726
AT ITER 8199 NEW BEST:: SOT 4360564 SOS 696038 HAS SOPS 696038 HAS SOUS 598432 HAS SOUPS 598432 WITH SCORE 599128.038
AT ITER 8207 NEW BEST:: SOT 4360549 SOS 695968 HAS SOPS 695968 HAS SOUS 598280 HAS SOUPS 598280 WITH SCORE 598975.968
AT ITER 8220 NEW BEST:: SOT 4360345 SOS 695560 HAS SOPS 695560 HAS SOUS 598076 HAS SOUPS 598076 WITH SCORE 598771.56
AT ITER 8227 NEW BEST:: SOT 4360303 SOS 695518 HAS SOPS 695518 HAS SOUS 598034 HAS SOUPS 598034 WITH SCORE 598729.518
AT ITER 8250 NEW BEST:: SOT 4360179 SOS 695394 HAS SOPS 695394 HAS SOUS 597910 HAS SOUPS 597910 WITH SCORE 598605.394
AT ITER 8259 NEW BEST:: SOT 4360179 SOS 695221 HAS SOPS 695221 HAS SOUS 597737 HAS SOUPS 597737 WITH SCORE 598432.221
AT ITER 8261 NEW BEST:: SOT 4360057 SOS 694977 HAS SOPS 694977 HAS SOUS 597493 HAS SOUPS 597493 WITH SCORE 598187.977
AT ITER 8265 NEW BEST:: SOT 4360072 SOS 694693 HAS SOPS 694693 HAS SOUS 597233 HAS SOUPS 597233 WITH SCORE 597927.693
AT ITER 8324 NEW BEST:: SOT 4360072 SOS 694381 HAS SOPS 694381 HAS SOUS 597233 HAS SOUPS 597233 WITH SCORE 597927.381
AT ITER 8329 NEW BEST:: SOT 4360108 SOS 694348 HAS SOPS 694348 HAS SOUS 597218 HAS SOUPS 597218 WITH SCORE 597912.348
AT ITER 8349 NEW BEST:: SOT 4360105 SOS 694342 HAS SOPS 694342 HAS SOUS 597212 HAS SOUPS 597212 WITH SCORE 597906.342
AT ITER 8358 NEW BEST:: SOT 4360087 SOS 694306 HAS SOPS 694306 HAS SOUS 597176 HAS SOUPS 597176 WITH SCORE 597870.306
AT ITER 8368 NEW BEST:: SOT 4360040 SOS 694212 HAS SOPS 694212 HAS SOUS 597082 HAS SOUPS 597082 WITH SCORE 597776.212
AT ITER 8377 NEW BEST:: SOT 4360040 SOS 694212 HAS SOPS 694212 HAS SOUS 596995 HAS SOUPS 596995 WITH SCORE 597689.212
AT ITER 8434 NEW BEST:: SOT 4359924 SOS 693980 HAS SOPS 693980 HAS SOUS 596763 HAS SOUPS 596763 WITH SCORE 597456.98
AT ITER 8445 NEW BEST:: SOT 4359924 SOS 693942 HAS SOPS 693942 HAS SOUS 596725 HAS SOUPS 596725 WITH SCORE 597418.942
AT ITER 8485 NEW BEST:: SOT 4359876 SOS 693646 HAS SOPS 693646 HAS SOUS 596477 HAS SOUPS 596477 WITH SCORE 597170.646
AT ITER 8506 NEW BEST:: SOT 4359713 SOS 693320 HAS SOPS 693320 HAS SOUS 596276 HAS SOUPS 596276 WITH SCORE 596969.32
AT ITER 8540 NEW BEST:: SOT 4359710 SOS 693321 HAS SOPS 693321 HAS SOUS 596273 HAS SOUPS 596273 WITH SCORE 596966.321
AT ITER 8554 NEW BEST:: SOT 4359710 SOS 693286 HAS SOPS 693286 HAS SOUS 596238 HAS SOUPS 596238 WITH SCORE 596931.286
AT ITER 8578 NEW BEST:: SOT 4359552 SOS 692868 HAS SOPS 692868 HAS SOUS 595825 HAS SOUPS 595825 WITH SCORE 596517.868
AT ITER 8609 NEW BEST:: SOT 4359552 SOS 692868 HAS SOPS 692868 HAS SOUS 595816 HAS SOUPS 595816 WITH SCORE 596508.868
AT ITER 8625 NEW BEST:: SOT 4359413 SOS 692729 HAS SOPS 692729 HAS SOUS 595538 HAS SOUPS 595538 WITH SCORE 596230.729
AT ITER 8640 NEW BEST:: SOT 4359195 SOS 692511 HAS SOPS 692511 HAS SOUS 595320 HAS SOUPS 595320 WITH SCORE 596012.511
AT ITER 8642 NEW BEST:: SOT 4359195 SOS 692454 HAS SOPS 692454 HAS SOUS 595320 HAS SOUPS 595320 WITH SCORE 596012.454
AT ITER 8643 NEW BEST:: SOT 4359269 SOS 692447 HAS SOPS 692447 HAS SOUS 595314 HAS SOUPS 595314 WITH SCORE 596006.447
AT ITER 8656 NEW BEST:: SOT 4359269 SOS 692420 HAS SOPS 692420 HAS SOUS 595287 HAS SOUPS 595287 WITH SCORE 595979.42
AT ITER 8666 NEW BEST:: SOT 4359076 SOS 692034 HAS SOPS 692034 HAS SOUS 595094 HAS SOUPS 595094 WITH SCORE 595786.034
AT ITER 8676 NEW BEST:: SOT 4358824 SOS 692295 HAS SOPS 692295 HAS SOUS 594842 HAS SOUPS 594842 WITH SCORE 595534.295
AT ITER 8683 NEW BEST:: SOT 4358824 SOS 692295 HAS SOPS 692295 HAS SOUS 594832 HAS SOUPS 594832 WITH SCORE 595524.295
AT ITER 8684 NEW BEST:: SOT 4358882 SOS 692411 HAS SOPS 692411 HAS SOUS 594746 HAS SOUPS 594746 WITH SCORE 595438.411
AT ITER 8688 NEW BEST:: SOT 4358869 SOS 692372 HAS SOPS 692372 HAS SOUS 594733 HAS SOUPS 594733 WITH SCORE 595425.372
AT ITER 8738 NEW BEST:: SOT 4358625 SOS 692042 HAS SOPS 692042 HAS SOUS 594521 HAS SOUPS 594521 WITH SCORE 595213.042
AT ITER 8739 NEW BEST:: SOT 4358629 SOS 691969 HAS SOPS 691969 HAS SOUS 594448 HAS SOUPS 594448 WITH SCORE 595139.969
AT ITER 8740 NEW BEST:: SOT 4358486 SOS 691683 HAS SOPS 691683 HAS SOUS 594121 HAS SOUPS 594121 WITH SCORE 594812.683
AT ITER 8747 NEW BEST:: SOT 4358428 SOS 691625 HAS SOPS 691625 HAS SOUS 594063 HAS SOUPS 594063 WITH SCORE 594754.625
AT ITER 8756 NEW BEST:: SOT 4358428 SOS 691513 HAS SOPS 691513 HAS SOUS 593951 HAS SOUPS 593951 WITH SCORE 594642.513
AT ITER 8769 NEW BEST:: SOT 4358310 SOS 691011 HAS SOPS 691011 HAS SOUS 593715 HAS SOUPS 593715 WITH SCORE 594406.011
AT ITER 8796 NEW BEST:: SOT 4358245 SOS 690751 HAS SOPS 690751 HAS SOUS 593585 HAS SOUPS 593585 WITH SCORE 594275.751
AT ITER 8828 NEW BEST:: SOT 4358192 SOS 690645 HAS SOPS 690645 HAS SOUS 593532 HAS SOUPS 593532 WITH SCORE 594222.645
AT ITER 8852 NEW BEST:: SOT 4358105 SOS 690471 HAS SOPS 690471 HAS SOUS 593358 HAS SOUPS 593358 WITH SCORE 594048.471
AT ITER 8931 NEW BEST:: SOT 4358095 SOS 690451 HAS SOPS 690451 HAS SOUS 593344 HAS SOUPS 593344 WITH SCORE 594034.451
AT ITER 8970 NEW BEST:: SOT 4358121 SOS 689789 HAS SOPS 689789 HAS SOUS 593317 HAS SOUPS 593317 WITH SCORE 594006.789
AT ITER 9039 NEW BEST:: SOT 4358121 SOS 689789 HAS SOPS 689789 HAS SOUS 593155 HAS SOUPS 593155 WITH SCORE 593844.789
AT ITER 9081 NEW BEST:: SOT 4358093 SOS 689761 HAS SOPS 689761 HAS SOUS 593127 HAS SOUPS 593127 WITH SCORE 593816.761
AT ITER 9083 NEW BEST:: SOT 4357921 SOS 689589 HAS SOPS 689589 HAS SOUS 592955 HAS SOUPS 592955 WITH SCORE 593644.589
AT ITER 9109 NEW BEST:: SOT 4357668 SOS 689336 HAS SOPS 689336 HAS SOUS 592955 HAS SOUPS 592955 WITH SCORE 593644.336
AT ITER 9145 NEW BEST:: SOT 4357639 SOS 689278 HAS SOPS 689278 HAS SOUS 592897 HAS SOUPS 592897 WITH SCORE 593586.278
AT ITER 9163 NEW BEST:: SOT 4357712 SOS 689217 HAS SOPS 689217 HAS SOUS 592836 HAS SOUPS 592836 WITH SCORE 593525.217
AT ITER 9178 NEW BEST:: SOT 4357709 SOS 689211 HAS SOPS 689211 HAS SOUS 592830 HAS SOUPS 592830 WITH SCORE 593519.211
AT ITER 9189 NEW BEST:: SOT 4357704 SOS 689201 HAS SOPS 689201 HAS SOUS 592821 HAS SOUPS 592821 WITH SCORE 593510.201
AT ITER 9198 NEW BEST:: SOT 4357703 SOS 689200 HAS SOPS 689200 HAS SOUS 592819 HAS SOUPS 592819 WITH SCORE 593508.2
AT ITER 9206 NEW BEST:: SOT 4357483 SOS 688407 HAS SOPS 688407 HAS SOUS 592275 HAS SOUPS 592275 WITH SCORE 592963.407
AT ITER 9215 NEW BEST:: SOT 4357458 SOS 688357 HAS SOPS 688357 HAS SOUS 592225 HAS SOUPS 592225 WITH SCORE 592913.357
AT ITER 9235 NEW BEST:: SOT 4357478 SOS 688397 HAS SOPS 688397 HAS SOUS 592151 HAS SOUPS 592151 WITH SCORE 592839.397
AT ITER 9250 NEW BEST:: SOT 4357477 SOS 688246 HAS SOPS 688246 HAS SOUS 592074 HAS SOUPS 592074 WITH SCORE 592762.246
AT ITER 9264 NEW BEST:: SOT 4357463 SOS 688218 HAS SOPS 688218 HAS SOUS 592059 HAS SOUPS 592059 WITH SCORE 592747.218
AT ITER 9287 NEW BEST:: SOT 4357395 SOS 688082 HAS SOPS 688082 HAS SOUS 591856 HAS SOUPS 591856 WITH SCORE 592544.082
AT ITER 9288 NEW BEST:: SOT 4357354 SOS 687604 HAS SOPS 687604 HAS SOUS 591617 HAS SOUPS 591617 WITH SCORE 592304.604
AT ITER 9296 NEW BEST:: SOT 4356955 SOS 687205 HAS SOPS 687205 HAS SOUS 591218 HAS SOUPS 591218 WITH SCORE 591905.205
AT ITER 9319 NEW BEST:: SOT 4356955 SOS 687049 HAS SOPS 687049 HAS SOUS 591062 HAS SOUPS 591062 WITH SCORE 591749.049
AT ITER 9351 NEW BEST:: SOT 4356887 SOS 687033 HAS SOPS 687033 HAS SOUS 591006 HAS SOUPS 591006 WITH SCORE 591693.033
AT ITER 9354 NEW BEST:: SOT 4356504 SOS 687251 HAS SOPS 687251 HAS SOUS 591000 HAS SOUPS 591000 WITH SCORE 591687.251
AT ITER 9358 NEW BEST:: SOT 4356254 SOS 687851 HAS SOPS 687851 HAS SOUS 590891 HAS SOUPS 590891 WITH SCORE 591578.851
AT ITER 9389 NEW BEST:: SOT 4355986 SOS 688155 HAS SOPS 688155 HAS SOUS 590623 HAS SOUPS 590623 WITH SCORE 591311.155
AT ITER 9401 NEW BEST:: SOT 4355882 SOS 688217 HAS SOPS 688217 HAS SOUS 590550 HAS SOUPS 590550 WITH SCORE 591238.217
AT ITER 9408 NEW BEST:: SOT 4355882 SOS 688144 HAS SOPS 688144 HAS SOUS 590550 HAS SOUPS 590550 WITH SCORE 591238.144
AT ITER 9427 NEW BEST:: SOT 4355786 SOS 687952 HAS SOPS 687952 HAS SOUS 590490 HAS SOUPS 590490 WITH SCORE 591177.952
AT ITER 9487 NEW BEST:: SOT 4355567 SOS 687514 HAS SOPS 687514 HAS SOUS 590052 HAS SOUPS 590052 WITH SCORE 590739.514
AT ITER 9501 NEW BEST:: SOT 4355566 SOS 687512 HAS SOPS 687512 HAS SOUS 590050 HAS SOUPS 590050 WITH SCORE 590737.512
AT ITER 9521 NEW BEST:: SOT 4355565 SOS 687509 HAS SOPS 687509 HAS SOUS 590048 HAS SOUPS 590048 WITH SCORE 590735.509
AT ITER 9526 NEW BEST:: SOT 4355550 SOS 687466 HAS SOPS 687466 HAS SOUS 590018 HAS SOUPS 590018 WITH SCORE 590705.466
AT ITER 9566 NEW BEST:: SOT 4355443 SOS 687359 HAS SOPS 687359 HAS SOUS 589911 HAS SOUPS 589911 WITH SCORE 590598.359
AT ITER 9604 NEW BEST:: SOT 4355443 SOS 687283 HAS SOPS 687283 HAS SOUS 589835 HAS SOUPS 589835 WITH SCORE 590522.283
AT ITER 9636 NEW BEST:: SOT 4355442 SOS 687282 HAS SOPS 687282 HAS SOUS 589833 HAS SOUPS 589833 WITH SCORE 590520.282
AT ITER 9683 NEW BEST:: SOT 4355373 SOS 687144 HAS SOPS 687144 HAS SOUS 589764 HAS SOUPS 589764 WITH SCORE 590451.144
AT ITER 9700 NEW BEST:: SOT 4355269 SOS 686936 HAS SOPS 686936 HAS SOUS 589556 HAS SOUPS 589556 WITH SCORE 590242.936
AT ITER 9708 NEW BEST:: SOT 4355193 SOS 686990 HAS SOPS 686990 HAS SOUS 589404 HAS SOUPS 589404 WITH SCORE 590090.99
AT ITER 9712 NEW BEST:: SOT 4355116 SOS 686702 HAS SOPS 686702 HAS SOUS 589250 HAS SOUPS 589250 WITH SCORE 589936.702
AT ITER 9727 NEW BEST:: SOT 4355399 SOS 687268 HAS SOPS 687268 HAS SOUS 589184 HAS SOUPS 589184 WITH SCORE 589871.268
AT ITER 9747 NEW BEST:: SOT 4355353 SOS 687130 HAS SOPS 687130 HAS SOUS 589092 HAS SOUPS 589092 WITH SCORE 589779.13
AT ITER 9763 NEW BEST:: SOT 4355239 SOS 686902 HAS SOPS 686902 HAS SOUS 588864 HAS SOUPS 588864 WITH SCORE 589550.902
AT ITER 9795 NEW BEST:: SOT 4355226 SOS 686876 HAS SOPS 686876 HAS SOUS 588838 HAS SOUPS 588838 WITH SCORE 589524.876
AT ITER 9797 NEW BEST:: SOT 4355212 SOS 686873 HAS SOPS 686873 HAS SOUS 588835 HAS SOUPS 588835 WITH SCORE 589521.873
AT ITER 9808 NEW BEST:: SOT 4354853 SOS 686155 HAS SOPS 686155 HAS SOUS 588474 HAS SOUPS 588474 WITH SCORE 589160.155
AT ITER 9824 NEW BEST:: SOT 4354867 SOS 686183 HAS SOPS 686183 HAS SOUS 588417 HAS SOUPS 588417 WITH SCORE 589103.183
AT ITER 9836 NEW BEST:: SOT 4354958 SOS 686207 HAS SOPS 686207 HAS SOUS 588350 HAS SOUPS 588350 WITH SCORE 589036.207
AT ITER 9931 NEW BEST:: SOT 4355066 SOS 685729 HAS SOPS 685729 HAS SOUS 588293 HAS SOUPS 588293 WITH SCORE 588978.729
AT ITER 9948 NEW BEST:: SOT 4354901 SOS 685399 HAS SOPS 685399 HAS SOUS 587963 HAS SOUPS 587963 WITH SCORE 588648.399
AT ITER 9965 NEW BEST:: SOT 4354665 SOS 684827 HAS SOPS 684827 HAS SOUS 587391 HAS SOUPS 587391 WITH SCORE 588075.827
AT ITER 9971 NEW BEST:: SOT 4354662 SOS 684821 HAS SOPS 684821 HAS SOUS 587368 HAS SOUPS 587368 WITH SCORE 588052.821
AT ITER 9977 NEW BEST:: SOT 4354436 SOS 684369 HAS SOPS 684369 HAS SOUS 587014 HAS SOUPS 587014 WITH SCORE 587698.369
AT ITER 9997 NEW BEST:: SOT 4354361 SOS 684219 HAS SOPS 684219 HAS SOUS 586864 HAS SOUPS 586864 WITH SCORE 587548.219

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

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