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

About the Execution of smart for CloudReconfiguration-PT-309

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.720 3600000.00 3600050.00 10.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-158902541700072.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-309, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541700072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 4.1K Mar 30 01:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 16:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K 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.1K 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 3.7K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 1589091752866

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 309
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 4443228 SOS 758806 HAS SOPS 758806 HAS SOUS 699828 HAS SOUPS 699828 WITH SCORE 700586.806
AT ITER 26 NEW BEST:: SOT 4443191 SOS 758769 HAS SOPS 758769 HAS SOUS 699791 HAS SOUPS 699791 WITH SCORE 700549.769
AT ITER 43 NEW BEST:: SOT 4443086 SOS 758559 HAS SOPS 758559 HAS SOUS 699581 HAS SOUPS 699581 WITH SCORE 700339.559
AT ITER 44 NEW BEST:: SOT 4443091 SOS 758175 HAS SOPS 758175 HAS SOUS 699389 HAS SOUPS 699389 WITH SCORE 700147.175
AT ITER 55 NEW BEST:: SOT 4443129 SOS 757893 HAS SOPS 757893 HAS SOUS 699144 HAS SOUPS 699144 WITH SCORE 699901.893
AT ITER 63 NEW BEST:: SOT 4441489 SOS 757169 HAS SOPS 757169 HAS SOUS 697512 HAS SOUPS 697512 WITH SCORE 698269.169
AT ITER 72 NEW BEST:: SOT 4441251 SOS 756455 HAS SOPS 756455 HAS SOUS 697036 HAS SOUPS 697036 WITH SCORE 697792.455
AT ITER 89 NEW BEST:: SOT 4441131 SOS 756335 HAS SOPS 756335 HAS SOUS 696916 HAS SOUPS 696916 WITH SCORE 697672.335
AT ITER 107 NEW BEST:: SOT 4440763 SOS 756155 HAS SOPS 756155 HAS SOUS 696735 HAS SOUPS 696735 WITH SCORE 697491.155
AT ITER 111 NEW BEST:: SOT 4440515 SOS 755659 HAS SOPS 755659 HAS SOUS 696487 HAS SOUPS 696487 WITH SCORE 697242.659
AT ITER 114 NEW BEST:: SOT 4440331 SOS 755669 HAS SOPS 755669 HAS SOUS 696303 HAS SOUPS 696303 WITH SCORE 697058.669
AT ITER 126 NEW BEST:: SOT 4440330 SOS 755673 HAS SOPS 755673 HAS SOUS 696301 HAS SOUPS 696301 WITH SCORE 697056.673
AT ITER 135 NEW BEST:: SOT 4440330 SOS 755578 HAS SOPS 755578 HAS SOUS 696298 HAS SOUPS 696298 WITH SCORE 697053.578
AT ITER 158 NEW BEST:: SOT 4440330 SOS 755578 HAS SOPS 755578 HAS SOUS 696210 HAS SOUPS 696210 WITH SCORE 696965.578
AT ITER 159 NEW BEST:: SOT 4440174 SOS 755344 HAS SOPS 755344 HAS SOUS 696053 HAS SOUPS 696053 WITH SCORE 696808.344
AT ITER 167 NEW BEST:: SOT 4440174 SOS 755059 HAS SOPS 755059 HAS SOUS 696052 HAS SOUPS 696052 WITH SCORE 696807.059
AT ITER 169 NEW BEST:: SOT 4440174 SOS 755059 HAS SOPS 755059 HAS SOUS 695878 HAS SOUPS 695878 WITH SCORE 696633.059
AT ITER 172 NEW BEST:: SOT 4440091 SOS 754893 HAS SOPS 754893 HAS SOUS 695712 HAS SOUPS 695712 WITH SCORE 696466.893
AT ITER 207 NEW BEST:: SOT 4439974 SOS 754872 HAS SOPS 754872 HAS SOUS 695691 HAS SOUPS 695691 WITH SCORE 696445.872
AT ITER 214 NEW BEST:: SOT 4436425 SOS 770887 HAS SOPS 770887 HAS SOUS 693678 HAS SOUPS 693678 WITH SCORE 694448.887
AT ITER 226 NEW BEST:: SOT 4436494 SOS 770781 HAS SOPS 770781 HAS SOUS 693572 HAS SOUPS 693572 WITH SCORE 694342.781
AT ITER 232 NEW BEST:: SOT 4436494 SOS 770781 HAS SOPS 770781 HAS SOUS 693243 HAS SOUPS 693243 WITH SCORE 694013.781
AT ITER 235 NEW BEST:: SOT 4436494 SOS 770701 HAS SOPS 770701 HAS SOUS 693163 HAS SOUPS 693163 WITH SCORE 693933.701
AT ITER 237 NEW BEST:: SOT 4436277 SOS 770745 HAS SOPS 770745 HAS SOUS 693034 HAS SOUPS 693034 WITH SCORE 693804.745
AT ITER 239 NEW BEST:: SOT 4436277 SOS 770442 HAS SOPS 770442 HAS SOUS 692731 HAS SOUPS 692731 WITH SCORE 693501.442
AT ITER 257 NEW BEST:: SOT 4436203 SOS 770373 HAS SOPS 770373 HAS SOUS 692581 HAS SOUPS 692581 WITH SCORE 693351.373
AT ITER 264 NEW BEST:: SOT 4436047 SOS 770217 HAS SOPS 770217 HAS SOUS 692425 HAS SOUPS 692425 WITH SCORE 693195.217
AT ITER 266 NEW BEST:: SOT 4435529 SOS 769619 HAS SOPS 769619 HAS SOUS 691827 HAS SOUPS 691827 WITH SCORE 692596.619
AT ITER 284 NEW BEST:: SOT 4435360 SOS 769281 HAS SOPS 769281 HAS SOUS 691489 HAS SOUPS 691489 WITH SCORE 692258.281
AT ITER 318 NEW BEST:: SOT 4435067 SOS 769001 HAS SOPS 769001 HAS SOUS 691201 HAS SOUPS 691201 WITH SCORE 691970.001
AT ITER 333 NEW BEST:: SOT 4435067 SOS 768802 HAS SOPS 768802 HAS SOUS 690926 HAS SOUPS 690926 WITH SCORE 691694.802
AT ITER 351 NEW BEST:: SOT 4435019 SOS 768706 HAS SOPS 768706 HAS SOUS 690387 HAS SOUPS 690387 WITH SCORE 691155.706
AT ITER 357 NEW BEST:: SOT 4434807 SOS 759858 HAS SOPS 759858 HAS SOUS 689963 HAS SOUPS 689963 WITH SCORE 690722.858
AT ITER 370 NEW BEST:: SOT 4434707 SOS 759758 HAS SOPS 759758 HAS SOUS 689863 HAS SOUPS 689863 WITH SCORE 690622.758
AT ITER 379 NEW BEST:: SOT 4434706 SOS 759756 HAS SOPS 759756 HAS SOUS 689861 HAS SOUPS 689861 WITH SCORE 690620.756
AT ITER 411 NEW BEST:: SOT 4434694 SOS 759221 HAS SOPS 759221 HAS SOUS 689533 HAS SOUPS 689533 WITH SCORE 690292.221
AT ITER 417 NEW BEST:: SOT 4434837 SOS 759090 HAS SOPS 759090 HAS SOUS 689495 HAS SOUPS 689495 WITH SCORE 690254.09
AT ITER 418 NEW BEST:: SOT 4432578 SOS 767130 HAS SOPS 767130 HAS SOUS 687534 HAS SOUPS 687534 WITH SCORE 688301.13
AT ITER 431 NEW BEST:: SOT 4432572 SOS 767536 HAS SOPS 767536 HAS SOUS 687522 HAS SOUPS 687522 WITH SCORE 688289.536
AT ITER 432 NEW BEST:: SOT 4432457 SOS 767643 HAS SOPS 767643 HAS SOUS 687516 HAS SOUPS 687516 WITH SCORE 688283.643
AT ITER 466 NEW BEST:: SOT 4427967 SOS 763353 HAS SOPS 763353 HAS SOUS 683418 HAS SOUPS 683418 WITH SCORE 684181.353
AT ITER 468 NEW BEST:: SOT 4427904 SOS 763227 HAS SOPS 763227 HAS SOUS 683292 HAS SOUPS 683292 WITH SCORE 684055.227
AT ITER 552 NEW BEST:: SOT 4427858 SOS 763135 HAS SOPS 763135 HAS SOUS 683182 HAS SOUPS 683182 WITH SCORE 683945.135
AT ITER 554 NEW BEST:: SOT 4427858 SOS 763105 HAS SOPS 763105 HAS SOUS 683181 HAS SOUPS 683181 WITH SCORE 683944.105
AT ITER 591 NEW BEST:: SOT 4427856 SOS 763101 HAS SOPS 763101 HAS SOUS 683179 HAS SOUPS 683179 WITH SCORE 683942.101
AT ITER 653 NEW BEST:: SOT 4427856 SOS 763070 HAS SOPS 763070 HAS SOUS 683178 HAS SOUPS 683178 WITH SCORE 683941.07
AT ITER 657 NEW BEST:: SOT 4427856 SOS 763070 HAS SOPS 763070 HAS SOUS 683150 HAS SOUPS 683150 WITH SCORE 683913.07
AT ITER 673 NEW BEST:: SOT 4427856 SOS 763070 HAS SOPS 763070 HAS SOUS 682838 HAS SOUPS 682838 WITH SCORE 683601.07
AT ITER 697 NEW BEST:: SOT 4427760 SOS 762974 HAS SOPS 762974 HAS SOUS 682742 HAS SOUPS 682742 WITH SCORE 683504.974
AT ITER 699 NEW BEST:: SOT 4427694 SOS 762842 HAS SOPS 762842 HAS SOUS 682499 HAS SOUPS 682499 WITH SCORE 683261.842
AT ITER 704 NEW BEST:: SOT 4427541 SOS 762536 HAS SOPS 762536 HAS SOUS 682346 HAS SOUPS 682346 WITH SCORE 683108.536
AT ITER 713 NEW BEST:: SOT 4427354 SOS 762162 HAS SOPS 762162 HAS SOUS 682076 HAS SOUPS 682076 WITH SCORE 682838.162
AT ITER 725 NEW BEST:: SOT 4427223 SOS 762031 HAS SOPS 762031 HAS SOUS 681944 HAS SOUPS 681944 WITH SCORE 682706.031
AT ITER 752 NEW BEST:: SOT 4427223 SOS 761763 HAS SOPS 761763 HAS SOUS 681944 HAS SOUPS 681944 WITH SCORE 682705.763
AT ITER 772 NEW BEST:: SOT 4427215 SOS 761747 HAS SOPS 761747 HAS SOUS 681928 HAS SOUPS 681928 WITH SCORE 682689.747
AT ITER 805 NEW BEST:: SOT 4427036 SOS 761590 HAS SOPS 761590 HAS SOUS 681757 HAS SOUPS 681757 WITH SCORE 682518.59
AT ITER 837 NEW BEST:: SOT 4426959 SOS 761436 HAS SOPS 761436 HAS SOUS 681680 HAS SOUPS 681680 WITH SCORE 682441.436
AT ITER 839 NEW BEST:: SOT 4426871 SOS 761524 HAS SOPS 761524 HAS SOUS 681379 HAS SOUPS 681379 WITH SCORE 682140.524
AT ITER 848 NEW BEST:: SOT 4426775 SOS 761332 HAS SOPS 761332 HAS SOUS 681187 HAS SOUPS 681187 WITH SCORE 681948.332
AT ITER 856 NEW BEST:: SOT 4426724 SOS 761281 HAS SOPS 761281 HAS SOUS 681136 HAS SOUPS 681136 WITH SCORE 681897.281
AT ITER 861 NEW BEST:: SOT 4426653 SOS 761139 HAS SOPS 761139 HAS SOUS 680917 HAS SOUPS 680917 WITH SCORE 681678.139
AT ITER 862 NEW BEST:: SOT 4426604 SOS 761041 HAS SOPS 761041 HAS SOUS 680868 HAS SOUPS 680868 WITH SCORE 681629.041
AT ITER 888 NEW BEST:: SOT 4426396 SOS 760625 HAS SOPS 760625 HAS SOUS 680486 HAS SOUPS 680486 WITH SCORE 681246.625
AT ITER 907 NEW BEST:: SOT 4426395 SOS 760623 HAS SOPS 760623 HAS SOUS 680484 HAS SOUPS 680484 WITH SCORE 681244.623
AT ITER 910 NEW BEST:: SOT 4426366 SOS 760565 HAS SOPS 760565 HAS SOUS 680294 HAS SOUPS 680294 WITH SCORE 681054.565
AT ITER 949 NEW BEST:: SOT 4426340 SOS 760565 HAS SOPS 760565 HAS SOUS 680283 HAS SOUPS 680283 WITH SCORE 681043.565
AT ITER 969 NEW BEST:: SOT 4426199 SOS 760437 HAS SOPS 760437 HAS SOUS 680155 HAS SOUPS 680155 WITH SCORE 680915.437
AT ITER 979 NEW BEST:: SOT 4426199 SOS 760087 HAS SOPS 760087 HAS SOUS 680155 HAS SOUPS 680155 WITH SCORE 680915.087
AT ITER 985 NEW BEST:: SOT 4426141 SOS 759971 HAS SOPS 759971 HAS SOUS 679829 HAS SOUPS 679829 WITH SCORE 680588.971
AT ITER 1015 NEW BEST:: SOT 4426110 SOS 759940 HAS SOPS 759940 HAS SOUS 679798 HAS SOUPS 679798 WITH SCORE 680557.94
AT ITER 1047 NEW BEST:: SOT 4426110 SOS 759836 HAS SOPS 759836 HAS SOUS 679798 HAS SOUPS 679798 WITH SCORE 680557.836
AT ITER 1053 NEW BEST:: SOT 4425954 SOS 759524 HAS SOPS 759524 HAS SOUS 679486 HAS SOUPS 679486 WITH SCORE 680245.524
AT ITER 1066 NEW BEST:: SOT 4425412 SOS 759488 HAS SOPS 759488 HAS SOUS 678993 HAS SOUPS 678993 WITH SCORE 679752.488
AT ITER 1067 NEW BEST:: SOT 4425355 SOS 759317 HAS SOPS 759317 HAS SOUS 678879 HAS SOUPS 678879 WITH SCORE 679638.317
AT ITER 1072 NEW BEST:: SOT 4424598 SOS 758686 HAS SOPS 758686 HAS SOUS 678247 HAS SOUPS 678247 WITH SCORE 679005.686
AT ITER 1077 NEW BEST:: SOT 4424524 SOS 758612 HAS SOPS 758612 HAS SOUS 678173 HAS SOUPS 678173 WITH SCORE 678931.612
AT ITER 1091 NEW BEST:: SOT 4424304 SOS 757794 HAS SOPS 757794 HAS SOUS 677575 HAS SOUPS 677575 WITH SCORE 678332.794
AT ITER 1111 NEW BEST:: SOT 4424314 SOS 757814 HAS SOPS 757814 HAS SOUS 677496 HAS SOUPS 677496 WITH SCORE 678253.814
AT ITER 1114 NEW BEST:: SOT 4424314 SOS 757731 HAS SOPS 757731 HAS SOUS 677496 HAS SOUPS 677496 WITH SCORE 678253.731
AT ITER 1116 NEW BEST:: SOT 4424177 SOS 758393 HAS SOPS 758393 HAS SOUS 677478 HAS SOUPS 677478 WITH SCORE 678236.393
AT ITER 1126 NEW BEST:: SOT 4423927 SOS 757613 HAS SOPS 757613 HAS SOUS 677227 HAS SOUPS 677227 WITH SCORE 677984.613
AT ITER 1127 NEW BEST:: SOT 4423688 SOS 757429 HAS SOPS 757429 HAS SOUS 677041 HAS SOUPS 677041 WITH SCORE 677798.429
AT ITER 1133 NEW BEST:: SOT 4423575 SOS 757381 HAS SOPS 757381 HAS SOUS 676928 HAS SOUPS 676928 WITH SCORE 677685.381
AT ITER 1135 NEW BEST:: SOT 4423503 SOS 757237 HAS SOPS 757237 HAS SOUS 676784 HAS SOUPS 676784 WITH SCORE 677541.237
AT ITER 1168 NEW BEST:: SOT 4423383 SOS 756997 HAS SOPS 756997 HAS SOUS 676544 HAS SOUPS 676544 WITH SCORE 677300.997
AT ITER 1176 NEW BEST:: SOT 4413263 SOS 762797 HAS SOPS 762797 HAS SOUS 667396 HAS SOUPS 667396 WITH SCORE 668158.797
AT ITER 1182 NEW BEST:: SOT 4413234 SOS 762739 HAS SOPS 762739 HAS SOUS 667367 HAS SOUPS 667367 WITH SCORE 668129.739
AT ITER 1188 NEW BEST:: SOT 4413185 SOS 762641 HAS SOPS 762641 HAS SOUS 667269 HAS SOUPS 667269 WITH SCORE 668031.641
AT ITER 1199 NEW BEST:: SOT 4413243 SOS 762757 HAS SOPS 762757 HAS SOUS 667088 HAS SOUPS 667088 WITH SCORE 667850.757
AT ITER 1225 NEW BEST:: SOT 4413240 SOS 762673 HAS SOPS 762673 HAS SOUS 667007 HAS SOUPS 667007 WITH SCORE 667769.673
AT ITER 1239 NEW BEST:: SOT 4411546 SOS 762134 HAS SOPS 762134 HAS SOUS 665493 HAS SOUPS 665493 WITH SCORE 666255.134
AT ITER 1248 NEW BEST:: SOT 4411352 SOS 761940 HAS SOPS 761940 HAS SOUS 665493 HAS SOUPS 665493 WITH SCORE 666254.94
AT ITER 1273 NEW BEST:: SOT 4411195 SOS 761783 HAS SOPS 761783 HAS SOUS 665335 HAS SOUPS 665335 WITH SCORE 666096.783
AT ITER 1275 NEW BEST:: SOT 4411195 SOS 761681 HAS SOPS 761681 HAS SOUS 665335 HAS SOUPS 665335 WITH SCORE 666096.681
AT ITER 1281 NEW BEST:: SOT 4411076 SOS 761648 HAS SOPS 761648 HAS SOUS 665216 HAS SOUPS 665216 WITH SCORE 665977.648
AT ITER 1284 NEW BEST:: SOT 4411076 SOS 761479 HAS SOPS 761479 HAS SOUS 665216 HAS SOUPS 665216 WITH SCORE 665977.479
AT ITER 1301 NEW BEST:: SOT 4410692 SOS 761065 HAS SOPS 761065 HAS SOUS 664707 HAS SOUPS 664707 WITH SCORE 665468.065
AT ITER 1313 NEW BEST:: SOT 4410636 SOS 760953 HAS SOPS 760953 HAS SOUS 664595 HAS SOUPS 664595 WITH SCORE 665355.953
AT ITER 1347 NEW BEST:: SOT 4410636 SOS 760953 HAS SOPS 760953 HAS SOUS 664474 HAS SOUPS 664474 WITH SCORE 665234.953
AT ITER 1399 NEW BEST:: SOT 4410499 SOS 760679 HAS SOPS 760679 HAS SOUS 664337 HAS SOUPS 664337 WITH SCORE 665097.679
AT ITER 1426 NEW BEST:: SOT 4410499 SOS 760649 HAS SOPS 760649 HAS SOUS 664336 HAS SOUPS 664336 WITH SCORE 665096.649
AT ITER 1439 NEW BEST:: SOT 4410319 SOS 760289 HAS SOPS 760289 HAS SOUS 663976 HAS SOUPS 663976 WITH SCORE 664736.289
AT ITER 1454 NEW BEST:: SOT 4410247 SOS 760145 HAS SOPS 760145 HAS SOUS 663832 HAS SOUPS 663832 WITH SCORE 664592.145
AT ITER 1460 NEW BEST:: SOT 4410185 SOS 760123 HAS SOPS 760123 HAS SOUS 663797 HAS SOUPS 663797 WITH SCORE 664557.123
AT ITER 1464 NEW BEST:: SOT 4410185 SOS 760024 HAS SOPS 760024 HAS SOUS 663698 HAS SOUPS 663698 WITH SCORE 664458.024
AT ITER 1493 NEW BEST:: SOT 4409864 SOS 760153 HAS SOPS 760153 HAS SOUS 663492 HAS SOUPS 663492 WITH SCORE 664252.153
AT ITER 1499 NEW BEST:: SOT 4408944 SOS 759938 HAS SOPS 759938 HAS SOUS 662712 HAS SOUPS 662712 WITH SCORE 663471.938
AT ITER 1509 NEW BEST:: SOT 4408864 SOS 759858 HAS SOPS 759858 HAS SOUS 662632 HAS SOUPS 662632 WITH SCORE 663391.858
AT ITER 1512 NEW BEST:: SOT 4408638 SOS 759843 HAS SOPS 759843 HAS SOUS 662277 HAS SOUPS 662277 WITH SCORE 663036.843
AT ITER 1514 NEW BEST:: SOT 4408501 SOS 759569 HAS SOPS 759569 HAS SOUS 662003 HAS SOUPS 662003 WITH SCORE 662762.569
AT ITER 1524 NEW BEST:: SOT 4408337 SOS 759241 HAS SOPS 759241 HAS SOUS 661675 HAS SOUPS 661675 WITH SCORE 662434.241
AT ITER 1533 NEW BEST:: SOT 4408276 SOS 758984 HAS SOPS 758984 HAS SOUS 661479 HAS SOUPS 661479 WITH SCORE 662237.984
AT ITER 1553 NEW BEST:: SOT 4408260 SOS 758952 HAS SOPS 758952 HAS SOUS 661447 HAS SOUPS 661447 WITH SCORE 662205.952
AT ITER 1626 NEW BEST:: SOT 4408259 SOS 758951 HAS SOPS 758951 HAS SOUS 661445 HAS SOUPS 661445 WITH SCORE 662203.951
AT ITER 1645 NEW BEST:: SOT 4406403 SOS 757211 HAS SOPS 757211 HAS SOUS 659705 HAS SOUPS 659705 WITH SCORE 660462.211
AT ITER 1655 NEW BEST:: SOT 4406402 SOS 757210 HAS SOPS 757210 HAS SOUS 659703 HAS SOUPS 659703 WITH SCORE 660460.21
AT ITER 1675 NEW BEST:: SOT 4406273 SOS 757167 HAS SOPS 757167 HAS SOUS 659617 HAS SOUPS 659617 WITH SCORE 660374.167
AT ITER 1688 NEW BEST:: SOT 4406269 SOS 757159 HAS SOPS 757159 HAS SOUS 659609 HAS SOUPS 659609 WITH SCORE 660366.159
AT ITER 1711 NEW BEST:: SOT 4406051 SOS 756941 HAS SOPS 756941 HAS SOUS 659391 HAS SOUPS 659391 WITH SCORE 660147.941
AT ITER 1738 NEW BEST:: SOT 4406051 SOS 756941 HAS SOPS 756941 HAS SOUS 659390 HAS SOUPS 659390 WITH SCORE 660146.941
AT ITER 1769 NEW BEST:: SOT 4406051 SOS 756471 HAS SOPS 756471 HAS SOUS 659389 HAS SOUPS 659389 WITH SCORE 660145.471
AT ITER 1787 NEW BEST:: SOT 4406050 SOS 756469 HAS SOPS 756469 HAS SOUS 659387 HAS SOUPS 659387 WITH SCORE 660143.469
AT ITER 1798 NEW BEST:: SOT 4405977 SOS 756323 HAS SOPS 756323 HAS SOUS 659241 HAS SOUPS 659241 WITH SCORE 659997.323
AT ITER 1828 NEW BEST:: SOT 4405798 SOS 755965 HAS SOPS 755965 HAS SOUS 658883 HAS SOUPS 658883 WITH SCORE 659638.965
AT ITER 1838 NEW BEST:: SOT 4405733 SOS 755835 HAS SOPS 755835 HAS SOUS 658753 HAS SOUPS 658753 WITH SCORE 659508.835
AT ITER 1850 NEW BEST:: SOT 4405749 SOS 755867 HAS SOPS 755867 HAS SOUS 658631 HAS SOUPS 658631 WITH SCORE 659386.867
AT ITER 1857 NEW BEST:: SOT 4405580 SOS 755529 HAS SOPS 755529 HAS SOUS 658293 HAS SOUPS 658293 WITH SCORE 659048.529
AT ITER 1883 NEW BEST:: SOT 4405399 SOS 755167 HAS SOPS 755167 HAS SOUS 657777 HAS SOUPS 657777 WITH SCORE 658532.167
AT ITER 1913 NEW BEST:: SOT 4405399 SOS 755034 HAS SOPS 755034 HAS SOUS 657777 HAS SOUPS 657777 WITH SCORE 658532.034
AT ITER 1974 NEW BEST:: SOT 4405177 SOS 755254 HAS SOPS 755254 HAS SOUS 657603 HAS SOUPS 657603 WITH SCORE 658358.254
AT ITER 1983 NEW BEST:: SOT 4404913 SOS 754858 HAS SOPS 754858 HAS SOUS 657233 HAS SOUPS 657233 WITH SCORE 657987.858
AT ITER 1986 NEW BEST:: SOT 4404084 SOS 756236 HAS SOPS 756236 HAS SOUS 657024 HAS SOUPS 657024 WITH SCORE 657780.236
AT ITER 2030 NEW BEST:: SOT 4404068 SOS 756278 HAS SOPS 756278 HAS SOUS 656946 HAS SOUPS 656946 WITH SCORE 657702.278
AT ITER 2031 NEW BEST:: SOT 4403729 SOS 755939 HAS SOPS 755939 HAS SOUS 656946 HAS SOUPS 656946 WITH SCORE 657701.939
AT ITER 2057 NEW BEST:: SOT 4403729 SOS 755631 HAS SOPS 755631 HAS SOUS 656946 HAS SOUPS 656946 WITH SCORE 657701.631
AT ITER 2090 NEW BEST:: SOT 4403728 SOS 755629 HAS SOPS 755629 HAS SOUS 656944 HAS SOUPS 656944 WITH SCORE 657699.629
AT ITER 2098 NEW BEST:: SOT 4403629 SOS 755431 HAS SOPS 755431 HAS SOUS 656746 HAS SOUPS 656746 WITH SCORE 657501.431
AT ITER 2121 NEW BEST:: SOT 4403629 SOS 755431 HAS SOPS 755431 HAS SOUS 656736 HAS SOUPS 656736 WITH SCORE 657491.431
AT ITER 2123 NEW BEST:: SOT 4398447 SOS 773070 HAS SOPS 773070 HAS SOUS 652316 HAS SOUPS 652316 WITH SCORE 653089.07
AT ITER 2158 NEW BEST:: SOT 4398226 SOS 772961 HAS SOPS 772961 HAS SOUS 652126 HAS SOUPS 652126 WITH SCORE 652898.961
AT ITER 2168 NEW BEST:: SOT 4398216 SOS 772931 HAS SOPS 772931 HAS SOUS 652111 HAS SOUPS 652111 WITH SCORE 652883.931
AT ITER 2186 NEW BEST:: SOT 4398107 SOS 772498 HAS SOPS 772498 HAS SOUS 651893 HAS SOUPS 651893 WITH SCORE 652665.498
AT ITER 2191 NEW BEST:: SOT 4397967 SOS 772539 HAS SOPS 772539 HAS SOUS 651843 HAS SOUPS 651843 WITH SCORE 652615.539
AT ITER 2193 NEW BEST:: SOT 4397806 SOS 772217 HAS SOPS 772217 HAS SOUS 651531 HAS SOUPS 651531 WITH SCORE 652303.217
AT ITER 2215 NEW BEST:: SOT 4397894 SOS 772043 HAS SOPS 772043 HAS SOUS 651371 HAS SOUPS 651371 WITH SCORE 652143.043
AT ITER 2223 NEW BEST:: SOT 4397893 SOS 772041 HAS SOPS 772041 HAS SOUS 651369 HAS SOUPS 651369 WITH SCORE 652141.041
AT ITER 2226 NEW BEST:: SOT 4397581 SOS 772047 HAS SOPS 772047 HAS SOUS 650784 HAS SOUPS 650784 WITH SCORE 651556.047
AT ITER 2249 NEW BEST:: SOT 4397580 SOS 772045 HAS SOPS 772045 HAS SOUS 650782 HAS SOUPS 650782 WITH SCORE 651554.045
AT ITER 2262 NEW BEST:: SOT 4397557 SOS 771728 HAS SOPS 771728 HAS SOUS 650560 HAS SOUPS 650560 WITH SCORE 651331.728
AT ITER 2266 NEW BEST:: SOT 4397557 SOS 771630 HAS SOPS 771630 HAS SOUS 650560 HAS SOUPS 650560 WITH SCORE 651331.63
AT ITER 2270 NEW BEST:: SOT 4397321 SOS 771442 HAS SOPS 771442 HAS SOUS 650372 HAS SOUPS 650372 WITH SCORE 651143.442
AT ITER 2288 NEW BEST:: SOT 4397156 SOS 771112 HAS SOPS 771112 HAS SOUS 649840 HAS SOUPS 649840 WITH SCORE 650611.112
AT ITER 2316 NEW BEST:: SOT 4396942 SOS 770931 HAS SOPS 770931 HAS SOUS 649626 HAS SOUPS 649626 WITH SCORE 650396.931
AT ITER 2319 NEW BEST:: SOT 4396941 SOS 770633 HAS SOPS 770633 HAS SOUS 649624 HAS SOUPS 649624 WITH SCORE 650394.633
AT ITER 2332 NEW BEST:: SOT 4396669 SOS 770361 HAS SOPS 770361 HAS SOUS 649352 HAS SOUPS 649352 WITH SCORE 650122.361
AT ITER 2338 NEW BEST:: SOT 4396657 SOS 770361 HAS SOPS 770361 HAS SOUS 649346 HAS SOUPS 649346 WITH SCORE 650116.361
AT ITER 2342 NEW BEST:: SOT 4396656 SOS 770359 HAS SOPS 770359 HAS SOUS 649344 HAS SOUPS 649344 WITH SCORE 650114.359
AT ITER 2348 NEW BEST:: SOT 4396655 SOS 770396 HAS SOPS 770396 HAS SOUS 649342 HAS SOUPS 649342 WITH SCORE 650112.396
AT ITER 2364 NEW BEST:: SOT 4396655 SOS 770396 HAS SOPS 770396 HAS SOUS 649328 HAS SOUPS 649328 WITH SCORE 650098.396
AT ITER 2369 NEW BEST:: SOT 4396654 SOS 770197 HAS SOPS 770197 HAS SOUS 649326 HAS SOUPS 649326 WITH SCORE 650096.197
AT ITER 2370 NEW BEST:: SOT 4396429 SOS 769501 HAS SOPS 769501 HAS SOUS 649101 HAS SOUPS 649101 WITH SCORE 649870.501
AT ITER 2371 NEW BEST:: SOT 4396307 SOS 769587 HAS SOPS 769587 HAS SOUS 649075 HAS SOUPS 649075 WITH SCORE 649844.587
AT ITER 2372 NEW BEST:: SOT 4396251 SOS 769110 HAS SOPS 769110 HAS SOUS 648654 HAS SOUPS 648654 WITH SCORE 649423.11
AT ITER 2373 NEW BEST:: SOT 4395826 SOS 768260 HAS SOPS 768260 HAS SOUS 647961 HAS SOUPS 647961 WITH SCORE 648729.26
AT ITER 2384 NEW BEST:: SOT 4395524 SOS 767656 HAS SOPS 767656 HAS SOUS 647357 HAS SOUPS 647357 WITH SCORE 648124.656
AT ITER 2389 NEW BEST:: SOT 4395629 SOS 767540 HAS SOPS 767540 HAS SOUS 647241 HAS SOUPS 647241 WITH SCORE 648008.54
AT ITER 2462 NEW BEST:: SOT 4395442 SOS 767762 HAS SOPS 767762 HAS SOUS 647192 HAS SOUPS 647192 WITH SCORE 647959.762
AT ITER 2468 NEW BEST:: SOT 4395215 SOS 767664 HAS SOPS 767664 HAS SOUS 646965 HAS SOUPS 646965 WITH SCORE 647732.664
AT ITER 2470 NEW BEST:: SOT 4395215 SOS 767482 HAS SOPS 767482 HAS SOUS 646965 HAS SOUPS 646965 WITH SCORE 647732.482
AT ITER 2476 NEW BEST:: SOT 4395174 SOS 767400 HAS SOPS 767400 HAS SOUS 646883 HAS SOUPS 646883 WITH SCORE 647650.4
AT ITER 2478 NEW BEST:: SOT 4394845 SOS 767264 HAS SOPS 767264 HAS SOUS 646446 HAS SOUPS 646446 WITH SCORE 647213.264
AT ITER 2481 NEW BEST:: SOT 4394828 SOS 767230 HAS SOPS 767230 HAS SOUS 646412 HAS SOUPS 646412 WITH SCORE 647179.23
AT ITER 2491 NEW BEST:: SOT 4394823 SOS 767220 HAS SOPS 767220 HAS SOUS 646407 HAS SOUPS 646407 WITH SCORE 647174.22
AT ITER 2495 NEW BEST:: SOT 4394553 SOS 766827 HAS SOPS 766827 HAS SOUS 645990 HAS SOUPS 645990 WITH SCORE 646756.827
AT ITER 2504 NEW BEST:: SOT 4394413 SOS 766547 HAS SOPS 766547 HAS SOUS 645850 HAS SOUPS 645850 WITH SCORE 646616.547
AT ITER 2513 NEW BEST:: SOT 4394265 SOS 765891 HAS SOPS 765891 HAS SOUS 645342 HAS SOUPS 645342 WITH SCORE 646107.891
AT ITER 2523 NEW BEST:: SOT 4394086 SOS 765533 HAS SOPS 765533 HAS SOUS 644969 HAS SOUPS 644969 WITH SCORE 645734.533
AT ITER 2528 NEW BEST:: SOT 4393841 SOS 765043 HAS SOPS 765043 HAS SOUS 644724 HAS SOUPS 644724 WITH SCORE 645489.043
AT ITER 2532 NEW BEST:: SOT 4393690 SOS 764741 HAS SOPS 764741 HAS SOUS 644422 HAS SOUPS 644422 WITH SCORE 645186.741
AT ITER 2533 NEW BEST:: SOT 4393747 SOS 764855 HAS SOPS 764855 HAS SOUS 644211 HAS SOUPS 644211 WITH SCORE 644975.855
AT ITER 2551 NEW BEST:: SOT 4393559 SOS 765893 HAS SOPS 765893 HAS SOUS 644023 HAS SOUPS 644023 WITH SCORE 644788.893
AT ITER 2561 NEW BEST:: SOT 4393559 SOS 765893 HAS SOPS 765893 HAS SOUS 643972 HAS SOUPS 643972 WITH SCORE 644737.893
AT ITER 2562 NEW BEST:: SOT 4393559 SOS 765893 HAS SOPS 765893 HAS SOUS 643929 HAS SOUPS 643929 WITH SCORE 644694.893
AT ITER 2589 NEW BEST:: SOT 4393432 SOS 765639 HAS SOPS 765639 HAS SOUS 643640 HAS SOUPS 643640 WITH SCORE 644405.639
AT ITER 2592 NEW BEST:: SOT 4393207 SOS 765189 HAS SOPS 765189 HAS SOUS 643190 HAS SOUPS 643190 WITH SCORE 643955.189
AT ITER 2603 NEW BEST:: SOT 4392977 SOS 764959 HAS SOPS 764959 HAS SOUS 642960 HAS SOUPS 642960 WITH SCORE 643724.959
AT ITER 2614 NEW BEST:: SOT 4392801 SOS 764607 HAS SOPS 764607 HAS SOUS 642869 HAS SOUPS 642869 WITH SCORE 643633.607
AT ITER 2618 NEW BEST:: SOT 4392770 SOS 763937 HAS SOPS 763937 HAS SOUS 642361 HAS SOUPS 642361 WITH SCORE 643124.937
AT ITER 2621 NEW BEST:: SOT 4392680 SOS 759011 HAS SOPS 759011 HAS SOUS 642158 HAS SOUPS 642158 WITH SCORE 642917.011
AT ITER 2634 NEW BEST:: SOT 4390648 SOS 758685 HAS SOPS 758685 HAS SOUS 640805 HAS SOUPS 640805 WITH SCORE 641563.685
AT ITER 2663 NEW BEST:: SOT 4390647 SOS 758683 HAS SOPS 758683 HAS SOUS 640803 HAS SOUPS 640803 WITH SCORE 641561.683
AT ITER 2696 NEW BEST:: SOT 4390591 SOS 758571 HAS SOPS 758571 HAS SOUS 640691 HAS SOUPS 640691 WITH SCORE 641449.571
AT ITER 2701 NEW BEST:: SOT 4390227 SOS 758627 HAS SOPS 758627 HAS SOUS 640498 HAS SOUPS 640498 WITH SCORE 641256.627
AT ITER 2706 NEW BEST:: SOT 4390087 SOS 758487 HAS SOPS 758487 HAS SOUS 640358 HAS SOUPS 640358 WITH SCORE 641116.487
AT ITER 2717 NEW BEST:: SOT 4389817 SOS 758217 HAS SOPS 758217 HAS SOUS 640096 HAS SOUPS 640096 WITH SCORE 640854.217
AT ITER 2727 NEW BEST:: SOT 4389524 SOS 757631 HAS SOPS 757631 HAS SOUS 639803 HAS SOUPS 639803 WITH SCORE 640560.631
AT ITER 2757 NEW BEST:: SOT 4389558 SOS 757699 HAS SOPS 757699 HAS SOUS 639667 HAS SOUPS 639667 WITH SCORE 640424.699
AT ITER 2770 NEW BEST:: SOT 4389558 SOS 757699 HAS SOPS 757699 HAS SOUS 639666 HAS SOUPS 639666 WITH SCORE 640423.699
AT ITER 2777 NEW BEST:: SOT 4389488 SOS 757559 HAS SOPS 757559 HAS SOUS 639526 HAS SOUPS 639526 WITH SCORE 640283.559
AT ITER 2778 NEW BEST:: SOT 4389408 SOS 757399 HAS SOPS 757399 HAS SOUS 639375 HAS SOUPS 639375 WITH SCORE 640132.399
AT ITER 2780 NEW BEST:: SOT 4389315 SOS 757120 HAS SOPS 757120 HAS SOUS 639189 HAS SOUPS 639189 WITH SCORE 639946.12
AT ITER 2805 NEW BEST:: SOT 4389297 SOS 757084 HAS SOPS 757084 HAS SOUS 639153 HAS SOUPS 639153 WITH SCORE 639910.084
AT ITER 2830 NEW BEST:: SOT 4389366 SOS 756949 HAS SOPS 756949 HAS SOUS 639018 HAS SOUPS 639018 WITH SCORE 639774.949
AT ITER 2859 NEW BEST:: SOT 4388876 SOS 756704 HAS SOPS 756704 HAS SOUS 638528 HAS SOUPS 638528 WITH SCORE 639284.704
AT ITER 2877 NEW BEST:: SOT 4388876 SOS 756743 HAS SOPS 756743 HAS SOUS 638489 HAS SOUPS 638489 WITH SCORE 639245.743
AT ITER 2882 NEW BEST:: SOT 4388852 SOS 756722 HAS SOPS 756722 HAS SOUS 638468 HAS SOUPS 638468 WITH SCORE 639224.722
AT ITER 2907 NEW BEST:: SOT 4388769 SOS 756556 HAS SOPS 756556 HAS SOUS 638302 HAS SOUPS 638302 WITH SCORE 639058.556
AT ITER 2916 NEW BEST:: SOT 4388769 SOS 756184 HAS SOPS 756184 HAS SOUS 638302 HAS SOUPS 638302 WITH SCORE 639058.184
AT ITER 2941 NEW BEST:: SOT 4388659 SOS 755964 HAS SOPS 755964 HAS SOUS 638082 HAS SOUPS 638082 WITH SCORE 638837.964
AT ITER 2942 NEW BEST:: SOT 4388659 SOS 755889 HAS SOPS 755889 HAS SOUS 638082 HAS SOUPS 638082 WITH SCORE 638837.889
AT ITER 2951 NEW BEST:: SOT 4388650 SOS 755471 HAS SOPS 755471 HAS SOUS 637935 HAS SOUPS 637935 WITH SCORE 638690.471
AT ITER 2954 NEW BEST:: SOT 4388629 SOS 755429 HAS SOPS 755429 HAS SOUS 637893 HAS SOUPS 637893 WITH SCORE 638648.429
AT ITER 2969 NEW BEST:: SOT 4388559 SOS 755359 HAS SOPS 755359 HAS SOUS 637823 HAS SOUPS 637823 WITH SCORE 638578.359
AT ITER 2975 NEW BEST:: SOT 4388601 SOS 755401 HAS SOPS 755401 HAS SOUS 637805 HAS SOUPS 637805 WITH SCORE 638560.401
AT ITER 2980 NEW BEST:: SOT 4388601 SOS 755284 HAS SOPS 755284 HAS SOUS 637688 HAS SOUPS 637688 WITH SCORE 638443.284
AT ITER 3003 NEW BEST:: SOT 4388595 SOS 755272 HAS SOPS 755272 HAS SOUS 637676 HAS SOUPS 637676 WITH SCORE 638431.272
AT ITER 3034 NEW BEST:: SOT 4388531 SOS 755144 HAS SOPS 755144 HAS SOUS 637548 HAS SOUPS 637548 WITH SCORE 638303.144
AT ITER 3051 NEW BEST:: SOT 4388477 SOS 755036 HAS SOPS 755036 HAS SOUS 637440 HAS SOUPS 637440 WITH SCORE 638195.036
AT ITER 3078 NEW BEST:: SOT 4388477 SOS 755036 HAS SOPS 755036 HAS SOUS 637439 HAS SOUPS 637439 WITH SCORE 638194.036
AT ITER 3081 NEW BEST:: SOT 4388430 SOS 754942 HAS SOPS 754942 HAS SOUS 637345 HAS SOUPS 637345 WITH SCORE 638099.942
AT ITER 3149 NEW BEST:: SOT 4388430 SOS 754873 HAS SOPS 754873 HAS SOUS 637345 HAS SOUPS 637345 WITH SCORE 638099.873
AT ITER 3165 NEW BEST:: SOT 4388238 SOS 754681 HAS SOPS 754681 HAS SOUS 637153 HAS SOUPS 637153 WITH SCORE 637907.681
AT ITER 3169 NEW BEST:: SOT 4388153 SOS 754511 HAS SOPS 754511 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637822.511
AT ITER 3205 NEW BEST:: SOT 4388143 SOS 754461 HAS SOPS 754461 HAS SOUS 637048 HAS SOUPS 637048 WITH SCORE 637802.461
AT ITER 3222 NEW BEST:: SOT 4388123 SOS 754441 HAS SOPS 754441 HAS SOUS 637028 HAS SOUPS 637028 WITH SCORE 637782.441
AT ITER 3225 NEW BEST:: SOT 4388145 SOS 754485 HAS SOPS 754485 HAS SOUS 636863 HAS SOUPS 636863 WITH SCORE 637617.485
AT ITER 3239 NEW BEST:: SOT 4379342 SOS 746143 HAS SOPS 746143 HAS SOUS 628492 HAS SOUPS 628492 WITH SCORE 629238.143
AT ITER 3248 NEW BEST:: SOT 4379184 SOS 745827 HAS SOPS 745827 HAS SOUS 628108 HAS SOUPS 628108 WITH SCORE 628853.827
AT ITER 3253 NEW BEST:: SOT 4379104 SOS 745941 HAS SOPS 745941 HAS SOUS 628028 HAS SOUPS 628028 WITH SCORE 628773.941
AT ITER 3262 NEW BEST:: SOT 4379103 SOS 745869 HAS SOPS 745869 HAS SOUS 628027 HAS SOUPS 628027 WITH SCORE 628772.869
AT ITER 3271 NEW BEST:: SOT 4379103 SOS 745869 HAS SOPS 745869 HAS SOUS 627891 HAS SOUPS 627891 WITH SCORE 628636.869
AT ITER 3296 NEW BEST:: SOT 4379033 SOS 745575 HAS SOPS 745575 HAS SOUS 627751 HAS SOUPS 627751 WITH SCORE 628496.575
AT ITER 3305 NEW BEST:: SOT 4378831 SOS 745171 HAS SOPS 745171 HAS SOUS 627347 HAS SOUPS 627347 WITH SCORE 628092.171
AT ITER 3311 NEW BEST:: SOT 4378658 SOS 744825 HAS SOPS 744825 HAS SOUS 627001 HAS SOUPS 627001 WITH SCORE 627745.825
AT ITER 3345 NEW BEST:: SOT 4378657 SOS 744823 HAS SOPS 744823 HAS SOUS 626999 HAS SOUPS 626999 WITH SCORE 627743.823
AT ITER 3353 NEW BEST:: SOT 4378470 SOS 744767 HAS SOPS 744767 HAS SOUS 626538 HAS SOUPS 626538 WITH SCORE 627282.767
AT ITER 3355 NEW BEST:: SOT 4378417 SOS 744608 HAS SOPS 744608 HAS SOUS 626432 HAS SOUPS 626432 WITH SCORE 627176.608
AT ITER 3373 NEW BEST:: SOT 4378318 SOS 744125 HAS SOPS 744125 HAS SOUS 626048 HAS SOUPS 626048 WITH SCORE 626792.125
AT ITER 3378 NEW BEST:: SOT 4378226 SOS 743941 HAS SOPS 743941 HAS SOUS 625988 HAS SOUPS 625988 WITH SCORE 626731.941
AT ITER 3383 NEW BEST:: SOT 4378214 SOS 743917 HAS SOPS 743917 HAS SOUS 625964 HAS SOUPS 625964 WITH SCORE 626707.917
AT ITER 3469 NEW BEST:: SOT 4378279 SOS 743855 HAS SOPS 743855 HAS SOUS 625933 HAS SOUPS 625933 WITH SCORE 626676.855
AT ITER 3479 NEW BEST:: SOT 4378171 SOS 743639 HAS SOPS 743639 HAS SOUS 625717 HAS SOUPS 625717 WITH SCORE 626460.639
AT ITER 3504 NEW BEST:: SOT 4378114 SOS 743582 HAS SOPS 743582 HAS SOUS 625660 HAS SOUPS 625660 WITH SCORE 626403.582
AT ITER 3538 NEW BEST:: SOT 4378162 SOS 743678 HAS SOPS 743678 HAS SOUS 625479 HAS SOUPS 625479 WITH SCORE 626222.678
AT ITER 3579 NEW BEST:: SOT 4378162 SOS 743515 HAS SOPS 743515 HAS SOUS 625479 HAS SOUPS 625479 WITH SCORE 626222.515
AT ITER 3614 NEW BEST:: SOT 4378102 SOS 743491 HAS SOPS 743491 HAS SOUS 625451 HAS SOUPS 625451 WITH SCORE 626194.491
AT ITER 3626 NEW BEST:: SOT 4378094 SOS 743467 HAS SOPS 743467 HAS SOUS 625443 HAS SOUPS 625443 WITH SCORE 626186.467
AT ITER 3641 NEW BEST:: SOT 4378094 SOS 743270 HAS SOPS 743270 HAS SOUS 625443 HAS SOUPS 625443 WITH SCORE 626186.27
AT ITER 3645 NEW BEST:: SOT 4378094 SOS 743246 HAS SOPS 743246 HAS SOUS 625441 HAS SOUPS 625441 WITH SCORE 626184.246
AT ITER 3694 NEW BEST:: SOT 4378093 SOS 743244 HAS SOPS 743244 HAS SOUS 625439 HAS SOUPS 625439 WITH SCORE 626182.244
AT ITER 3719 NEW BEST:: SOT 4377824 SOS 742706 HAS SOPS 742706 HAS SOUS 625170 HAS SOUPS 625170 WITH SCORE 625912.706
AT ITER 3720 NEW BEST:: SOT 4376948 SOS 742294 HAS SOPS 742294 HAS SOUS 624562 HAS SOUPS 624562 WITH SCORE 625304.294
AT ITER 3727 NEW BEST:: SOT 4377026 SOS 742238 HAS SOPS 742238 HAS SOUS 624534 HAS SOUPS 624534 WITH SCORE 625276.238
AT ITER 3729 NEW BEST:: SOT 4377007 SOS 741242 HAS SOPS 741242 HAS SOUS 624190 HAS SOUPS 624190 WITH SCORE 624931.242
AT ITER 3746 NEW BEST:: SOT 4376832 SOS 739934 HAS SOPS 739934 HAS SOUS 623536 HAS SOUPS 623536 WITH SCORE 624275.934
AT ITER 3750 NEW BEST:: SOT 4377208 SOS 740225 HAS SOPS 740225 HAS SOUS 623535 HAS SOUPS 623535 WITH SCORE 624275.225
AT ITER 3753 NEW BEST:: SOT 4377042 SOS 739893 HAS SOPS 739893 HAS SOUS 623497 HAS SOUPS 623497 WITH SCORE 624236.893
AT ITER 3787 NEW BEST:: SOT 4377022 SOS 739853 HAS SOPS 739853 HAS SOUS 623457 HAS SOUPS 623457 WITH SCORE 624196.853
AT ITER 3793 NEW BEST:: SOT 4376944 SOS 739951 HAS SOPS 739951 HAS SOUS 623442 HAS SOUPS 623442 WITH SCORE 624181.951
AT ITER 3817 NEW BEST:: SOT 4376943 SOS 739949 HAS SOPS 739949 HAS SOUS 623440 HAS SOUPS 623440 WITH SCORE 624179.949
AT ITER 3821 NEW BEST:: SOT 4376938 SOS 739939 HAS SOPS 739939 HAS SOUS 623427 HAS SOUPS 623427 WITH SCORE 624166.939
AT ITER 3830 NEW BEST:: SOT 4376750 SOS 739563 HAS SOPS 739563 HAS SOUS 623239 HAS SOUPS 623239 WITH SCORE 623978.563
AT ITER 3870 NEW BEST:: SOT 4376749 SOS 739561 HAS SOPS 739561 HAS SOUS 623237 HAS SOUPS 623237 WITH SCORE 623976.561
AT ITER 3956 NEW BEST:: SOT 4376627 SOS 739317 HAS SOPS 739317 HAS SOUS 623115 HAS SOUPS 623115 WITH SCORE 623854.317
AT ITER 4019 NEW BEST:: SOT 4376179 SOS 740425 HAS SOPS 740425 HAS SOUS 623056 HAS SOUPS 623056 WITH SCORE 623796.425
AT ITER 4049 NEW BEST:: SOT 4375931 SOS 740112 HAS SOPS 740112 HAS SOUS 622808 HAS SOUPS 622808 WITH SCORE 623548.112
AT ITER 4061 NEW BEST:: SOT 4376017 SOS 739874 HAS SOPS 739874 HAS SOUS 622651 HAS SOUPS 622651 WITH SCORE 623390.874
AT ITER 4065 NEW BEST:: SOT 4375943 SOS 739726 HAS SOPS 739726 HAS SOUS 622577 HAS SOUPS 622577 WITH SCORE 623316.726
AT ITER 4086 NEW BEST:: SOT 4375943 SOS 739449 HAS SOPS 739449 HAS SOUS 622300 HAS SOUPS 622300 WITH SCORE 623039.449
AT ITER 4089 NEW BEST:: SOT 4375917 SOS 739397 HAS SOPS 739397 HAS SOUS 622274 HAS SOUPS 622274 WITH SCORE 623013.397
AT ITER 4108 NEW BEST:: SOT 4375578 SOS 738719 HAS SOPS 738719 HAS SOUS 621935 HAS SOUPS 621935 WITH SCORE 622673.719
AT ITER 4110 NEW BEST:: SOT 4375474 SOS 738614 HAS SOPS 738614 HAS SOUS 621830 HAS SOUPS 621830 WITH SCORE 622568.614
AT ITER 4150 NEW BEST:: SOT 4375522 SOS 738566 HAS SOPS 738566 HAS SOUS 621829 HAS SOUPS 621829 WITH SCORE 622567.566
AT ITER 4161 NEW BEST:: SOT 4375394 SOS 738465 HAS SOPS 738465 HAS SOUS 621728 HAS SOUPS 621728 WITH SCORE 622466.465
AT ITER 4181 NEW BEST:: SOT 4375366 SOS 738226 HAS SOPS 738226 HAS SOUS 621672 HAS SOUPS 621672 WITH SCORE 622410.226
AT ITER 4193 NEW BEST:: SOT 4375110 SOS 737970 HAS SOPS 737970 HAS SOUS 621416 HAS SOUPS 621416 WITH SCORE 622153.97
AT ITER 4266 NEW BEST:: SOT 4374109 SOS 740560 HAS SOPS 740560 HAS SOUS 621399 HAS SOUPS 621399 WITH SCORE 622139.56
AT ITER 4299 NEW BEST:: SOT 4374095 SOS 740532 HAS SOPS 740532 HAS SOUS 621384 HAS SOUPS 621384 WITH SCORE 622124.532
AT ITER 4330 NEW BEST:: SOT 4373927 SOS 740196 HAS SOPS 740196 HAS SOUS 621216 HAS SOUPS 621216 WITH SCORE 621956.196
AT ITER 4342 NEW BEST:: SOT 4373926 SOS 740193 HAS SOPS 740193 HAS SOUS 621216 HAS SOUPS 621216 WITH SCORE 621956.193
AT ITER 4343 NEW BEST:: SOT 4373945 SOS 740231 HAS SOPS 740231 HAS SOUS 620987 HAS SOUPS 620987 WITH SCORE 621727.231
AT ITER 4349 NEW BEST:: SOT 4373945 SOS 740231 HAS SOPS 740231 HAS SOUS 620915 HAS SOUPS 620915 WITH SCORE 621655.231
AT ITER 4359 NEW BEST:: SOT 4373933 SOS 740219 HAS SOPS 740219 HAS SOUS 620903 HAS SOUPS 620903 WITH SCORE 621643.219
AT ITER 4373 NEW BEST:: SOT 4373852 SOS 740057 HAS SOPS 740057 HAS SOUS 620822 HAS SOUPS 620822 WITH SCORE 621562.057
AT ITER 4391 NEW BEST:: SOT 4373852 SOS 740026 HAS SOPS 740026 HAS SOUS 620791 HAS SOUPS 620791 WITH SCORE 621531.026
AT ITER 4406 NEW BEST:: SOT 4373852 SOS 740026 HAS SOPS 740026 HAS SOUS 620668 HAS SOUPS 620668 WITH SCORE 621408.026
AT ITER 4410 NEW BEST:: SOT 4373697 SOS 739716 HAS SOPS 739716 HAS SOUS 620434 HAS SOUPS 620434 WITH SCORE 621173.716
AT ITER 4439 NEW BEST:: SOT 4373692 SOS 739706 HAS SOPS 739706 HAS SOUS 620424 HAS SOUPS 620424 WITH SCORE 621163.706
AT ITER 4444 NEW BEST:: SOT 4373692 SOS 739546 HAS SOPS 739546 HAS SOUS 620344 HAS SOUPS 620344 WITH SCORE 621083.546
AT ITER 4452 NEW BEST:: SOT 4373692 SOS 739546 HAS SOPS 739546 HAS SOUS 620343 HAS SOUPS 620343 WITH SCORE 621082.546
AT ITER 4455 NEW BEST:: SOT 4373692 SOS 739482 HAS SOPS 739482 HAS SOUS 620279 HAS SOUPS 620279 WITH SCORE 621018.482
AT ITER 4543 NEW BEST:: SOT 4373508 SOS 739329 HAS SOPS 739329 HAS SOUS 620112 HAS SOUPS 620112 WITH SCORE 620851.329
AT ITER 4549 NEW BEST:: SOT 4373508 SOS 739329 HAS SOPS 739329 HAS SOUS 620035 HAS SOUPS 620035 WITH SCORE 620774.329
AT ITER 4551 NEW BEST:: SOT 4373479 SOS 739271 HAS SOPS 739271 HAS SOUS 620006 HAS SOUPS 620006 WITH SCORE 620745.271
AT ITER 4562 NEW BEST:: SOT 4373379 SOS 739171 HAS SOPS 739171 HAS SOUS 619906 HAS SOUPS 619906 WITH SCORE 620645.171
AT ITER 4569 NEW BEST:: SOT 4373369 SOS 739250 HAS SOPS 739250 HAS SOUS 619797 HAS SOUPS 619797 WITH SCORE 620536.25
AT ITER 4591 NEW BEST:: SOT 4373276 SOS 739157 HAS SOPS 739157 HAS SOUS 619704 HAS SOUPS 619704 WITH SCORE 620443.157
AT ITER 4597 NEW BEST:: SOT 4373247 SOS 739128 HAS SOPS 739128 HAS SOUS 619675 HAS SOUPS 619675 WITH SCORE 620414.128
AT ITER 4614 NEW BEST:: SOT 4373200 SOS 739034 HAS SOPS 739034 HAS SOUS 619581 HAS SOUPS 619581 WITH SCORE 620320.034
AT ITER 4635 NEW BEST:: SOT 4373013 SOS 738867 HAS SOPS 738867 HAS SOUS 619394 HAS SOUPS 619394 WITH SCORE 620132.867
AT ITER 4653 NEW BEST:: SOT 4372879 SOS 738985 HAS SOPS 738985 HAS SOUS 619347 HAS SOUPS 619347 WITH SCORE 620085.985
AT ITER 4666 NEW BEST:: SOT 4372879 SOS 738985 HAS SOPS 738985 HAS SOUS 619209 HAS SOUPS 619209 WITH SCORE 619947.985
AT ITER 4688 NEW BEST:: SOT 4372769 SOS 738655 HAS SOPS 738655 HAS SOUS 618989 HAS SOUPS 618989 WITH SCORE 619727.655
AT ITER 4713 NEW BEST:: SOT 4372722 SOS 738872 HAS SOPS 738872 HAS SOUS 618942 HAS SOUPS 618942 WITH SCORE 619680.872
AT ITER 4770 NEW BEST:: SOT 4372724 SOS 738876 HAS SOPS 738876 HAS SOUS 618929 HAS SOUPS 618929 WITH SCORE 619667.876
AT ITER 4789 NEW BEST:: SOT 4372724 SOS 738685 HAS SOPS 738685 HAS SOUS 618929 HAS SOUPS 618929 WITH SCORE 619667.685
AT ITER 4830 NEW BEST:: SOT 4372603 SOS 738564 HAS SOPS 738564 HAS SOUS 618687 HAS SOUPS 618687 WITH SCORE 619425.564
AT ITER 4843 NEW BEST:: SOT 4372674 SOS 738706 HAS SOPS 738706 HAS SOUS 618598 HAS SOUPS 618598 WITH SCORE 619336.706
AT ITER 4863 NEW BEST:: SOT 4372445 SOS 738477 HAS SOPS 738477 HAS SOUS 618369 HAS SOUPS 618369 WITH SCORE 619107.477
AT ITER 4889 NEW BEST:: SOT 4372356 SOS 738299 HAS SOPS 738299 HAS SOUS 618191 HAS SOUPS 618191 WITH SCORE 618929.299
AT ITER 4950 NEW BEST:: SOT 4372171 SOS 737929 HAS SOPS 737929 HAS SOUS 618006 HAS SOUPS 618006 WITH SCORE 618743.929
AT ITER 4961 NEW BEST:: SOT 4371880 SOS 737347 HAS SOPS 737347 HAS SOUS 617424 HAS SOUPS 617424 WITH SCORE 618161.347
AT ITER 4964 NEW BEST:: SOT 4371844 SOS 737347 HAS SOPS 737347 HAS SOUS 617406 HAS SOUPS 617406 WITH SCORE 618143.347
AT ITER 4966 NEW BEST:: SOT 4371799 SOS 737407 HAS SOPS 737407 HAS SOUS 617361 HAS SOUPS 617361 WITH SCORE 618098.407
AT ITER 4970 NEW BEST:: SOT 4371705 SOS 737045 HAS SOPS 737045 HAS SOUS 617173 HAS SOUPS 617173 WITH SCORE 617910.045
AT ITER 4991 NEW BEST:: SOT 4371606 SOS 736972 HAS SOPS 736972 HAS SOUS 616958 HAS SOUPS 616958 WITH SCORE 617694.972
AT ITER 5017 NEW BEST:: SOT 4371721 SOS 736956 HAS SOPS 736956 HAS SOUS 616942 HAS SOUPS 616942 WITH SCORE 617678.956
AT ITER 5042 NEW BEST:: SOT 4371751 SOS 736939 HAS SOPS 736939 HAS SOUS 616925 HAS SOUPS 616925 WITH SCORE 617661.939
AT ITER 5056 NEW BEST:: SOT 4371675 SOS 737351 HAS SOPS 737351 HAS SOUS 616919 HAS SOUPS 616919 WITH SCORE 617656.351
AT ITER 5092 NEW BEST:: SOT 4371785 SOS 737571 HAS SOPS 737571 HAS SOUS 616850 HAS SOUPS 616850 WITH SCORE 617587.571
AT ITER 5122 NEW BEST:: SOT 4371039 SOS 737543 HAS SOPS 737543 HAS SOUS 616419 HAS SOUPS 616419 WITH SCORE 617156.543
AT ITER 5125 NEW BEST:: SOT 4371041 SOS 737537 HAS SOPS 737537 HAS SOUS 616419 HAS SOUPS 616419 WITH SCORE 617156.537
AT ITER 5143 NEW BEST:: SOT 4371040 SOS 737452 HAS SOPS 737452 HAS SOUS 616335 HAS SOUPS 616335 WITH SCORE 617072.452
AT ITER 5146 NEW BEST:: SOT 4371040 SOS 737393 HAS SOPS 737393 HAS SOUS 616276 HAS SOUPS 616276 WITH SCORE 617013.393
AT ITER 5148 NEW BEST:: SOT 4370889 SOS 737061 HAS SOPS 737061 HAS SOUS 615974 HAS SOUPS 615974 WITH SCORE 616711.061
AT ITER 5157 NEW BEST:: SOT 4370834 SOS 737006 HAS SOPS 737006 HAS SOUS 615918 HAS SOUPS 615918 WITH SCORE 616655.006
AT ITER 5171 NEW BEST:: SOT 4370834 SOS 736797 HAS SOPS 736797 HAS SOUS 615702 HAS SOUPS 615702 WITH SCORE 616438.797
AT ITER 5174 NEW BEST:: SOT 4370809 SOS 736697 HAS SOPS 736697 HAS SOUS 615652 HAS SOUPS 615652 WITH SCORE 616388.697
AT ITER 5177 NEW BEST:: SOT 4370716 SOS 736573 HAS SOPS 736573 HAS SOUS 615528 HAS SOUPS 615528 WITH SCORE 616264.573
AT ITER 5189 NEW BEST:: SOT 4370687 SOS 736515 HAS SOPS 736515 HAS SOUS 615470 HAS SOUPS 615470 WITH SCORE 616206.515
AT ITER 5192 NEW BEST:: SOT 4370686 SOS 736513 HAS SOPS 736513 HAS SOUS 615468 HAS SOUPS 615468 WITH SCORE 616204.513
AT ITER 5203 NEW BEST:: SOT 4370932 SOS 736334 HAS SOPS 736334 HAS SOUS 615290 HAS SOUPS 615290 WITH SCORE 616026.334
AT ITER 5217 NEW BEST:: SOT 4370702 SOS 735874 HAS SOPS 735874 HAS SOUS 614636 HAS SOUPS 614636 WITH SCORE 615371.874
AT ITER 5277 NEW BEST:: SOT 4370570 SOS 735561 HAS SOPS 735561 HAS SOUS 614372 HAS SOUPS 614372 WITH SCORE 615107.561
AT ITER 5280 NEW BEST:: SOT 4370570 SOS 735403 HAS SOPS 735403 HAS SOUS 614372 HAS SOUPS 614372 WITH SCORE 615107.403
AT ITER 5294 NEW BEST:: SOT 4370791 SOS 735542 HAS SOPS 735542 HAS SOUS 614290 HAS SOUPS 614290 WITH SCORE 615025.542
AT ITER 5311 NEW BEST:: SOT 4370791 SOS 735523 HAS SOPS 735523 HAS SOUS 614290 HAS SOUPS 614290 WITH SCORE 615025.523
AT ITER 5326 NEW BEST:: SOT 4370791 SOS 735483 HAS SOPS 735483 HAS SOUS 614290 HAS SOUPS 614290 WITH SCORE 615025.483
AT ITER 5415 NEW BEST:: SOT 4370620 SOS 735141 HAS SOPS 735141 HAS SOUS 613948 HAS SOUPS 613948 WITH SCORE 614683.141
AT ITER 5417 NEW BEST:: SOT 4370597 SOS 735118 HAS SOPS 735118 HAS SOUS 613948 HAS SOUPS 613948 WITH SCORE 614683.118
AT ITER 5467 NEW BEST:: SOT 4370594 SOS 735128 HAS SOPS 735128 HAS SOUS 613945 HAS SOUPS 613945 WITH SCORE 614680.128
AT ITER 5472 NEW BEST:: SOT 4370587 SOS 735114 HAS SOPS 735114 HAS SOUS 613931 HAS SOUPS 613931 WITH SCORE 614666.114
AT ITER 5479 NEW BEST:: SOT 4370302 SOS 735145 HAS SOPS 735145 HAS SOUS 613793 HAS SOUPS 613793 WITH SCORE 614528.145
AT ITER 5504 NEW BEST:: SOT 4370170 SOS 734881 HAS SOPS 734881 HAS SOUS 613661 HAS SOUPS 613661 WITH SCORE 614395.881
AT ITER 5517 NEW BEST:: SOT 4370166 SOS 734877 HAS SOPS 734877 HAS SOUS 613657 HAS SOUPS 613657 WITH SCORE 614391.877
AT ITER 5520 NEW BEST:: SOT 4369942 SOS 734653 HAS SOPS 734653 HAS SOUS 613433 HAS SOUPS 613433 WITH SCORE 614167.653
AT ITER 5560 NEW BEST:: SOT 4369830 SOS 734429 HAS SOPS 734429 HAS SOUS 613321 HAS SOUPS 613321 WITH SCORE 614055.429
AT ITER 5576 NEW BEST:: SOT 4369644 SOS 734243 HAS SOPS 734243 HAS SOUS 613135 HAS SOUPS 613135 WITH SCORE 613869.243
AT ITER 5587 NEW BEST:: SOT 4369609 SOS 734208 HAS SOPS 734208 HAS SOUS 613100 HAS SOUPS 613100 WITH SCORE 613834.208
AT ITER 5602 NEW BEST:: SOT 4369543 SOS 734142 HAS SOPS 734142 HAS SOUS 613034 HAS SOUPS 613034 WITH SCORE 613768.142
AT ITER 5606 NEW BEST:: SOT 4369447 SOS 733950 HAS SOPS 733950 HAS SOUS 612842 HAS SOUPS 612842 WITH SCORE 613575.95
AT ITER 5608 NEW BEST:: SOT 4369389 SOS 733834 HAS SOPS 733834 HAS SOUS 612726 HAS SOUPS 612726 WITH SCORE 613459.834
AT ITER 5616 NEW BEST:: SOT 4369252 SOS 734352 HAS SOPS 734352 HAS SOUS 612656 HAS SOUPS 612656 WITH SCORE 613390.352
AT ITER 5626 NEW BEST:: SOT 4369216 SOS 734280 HAS SOPS 734280 HAS SOUS 612583 HAS SOUPS 612583 WITH SCORE 613317.28
AT ITER 5628 NEW BEST:: SOT 4368969 SOS 734035 HAS SOPS 734035 HAS SOUS 612089 HAS SOUPS 612089 WITH SCORE 612823.035
AT ITER 5645 NEW BEST:: SOT 4368968 SOS 734033 HAS SOPS 734033 HAS SOUS 612087 HAS SOUPS 612087 WITH SCORE 612821.033
AT ITER 5734 NEW BEST:: SOT 4368968 SOS 734033 HAS SOPS 734033 HAS SOUS 611948 HAS SOUPS 611948 WITH SCORE 612682.033
AT ITER 5735 NEW BEST:: SOT 4368924 SOS 733945 HAS SOPS 733945 HAS SOUS 611899 HAS SOUPS 611899 WITH SCORE 612632.945
AT ITER 5748 NEW BEST:: SOT 4368875 SOS 733934 HAS SOPS 733934 HAS SOUS 611850 HAS SOUPS 611850 WITH SCORE 612583.934
AT ITER 5774 NEW BEST:: SOT 4368728 SOS 733640 HAS SOPS 733640 HAS SOUS 611556 HAS SOUPS 611556 WITH SCORE 612289.64
AT ITER 5787 NEW BEST:: SOT 4368728 SOS 733499 HAS SOPS 733499 HAS SOUS 611415 HAS SOUPS 611415 WITH SCORE 612148.499
AT ITER 5800 NEW BEST:: SOT 4368652 SOS 733347 HAS SOPS 733347 HAS SOUS 611263 HAS SOUPS 611263 WITH SCORE 611996.347
AT ITER 5801 NEW BEST:: SOT 4368657 SOS 733193 HAS SOPS 733193 HAS SOUS 611109 HAS SOUPS 611109 WITH SCORE 611842.193
AT ITER 5811 NEW BEST:: SOT 4368305 SOS 732489 HAS SOPS 732489 HAS SOUS 610405 HAS SOUPS 610405 WITH SCORE 611137.489
AT ITER 5819 NEW BEST:: SOT 4368093 SOS 732336 HAS SOPS 732336 HAS SOUS 610252 HAS SOUPS 610252 WITH SCORE 610984.336
AT ITER 5821 NEW BEST:: SOT 4367902 SOS 732146 HAS SOPS 732146 HAS SOUS 610093 HAS SOUPS 610093 WITH SCORE 610825.146
AT ITER 5832 NEW BEST:: SOT 4367869 SOS 732113 HAS SOPS 732113 HAS SOUS 610060 HAS SOUPS 610060 WITH SCORE 610792.113
AT ITER 5853 NEW BEST:: SOT 4367869 SOS 732078 HAS SOPS 732078 HAS SOUS 610060 HAS SOUPS 610060 WITH SCORE 610792.078
AT ITER 5859 NEW BEST:: SOT 4367642 SOS 731857 HAS SOPS 731857 HAS SOUS 609588 HAS SOUPS 609588 WITH SCORE 610319.857
AT ITER 5882 NEW BEST:: SOT 4367472 SOS 731517 HAS SOPS 731517 HAS SOUS 609518 HAS SOUPS 609518 WITH SCORE 610249.517
AT ITER 5883 NEW BEST:: SOT 4367523 SOS 731790 HAS SOPS 731790 HAS SOUS 609449 HAS SOUPS 609449 WITH SCORE 610180.79
AT ITER 5899 NEW BEST:: SOT 4367477 SOS 731744 HAS SOPS 731744 HAS SOUS 609403 HAS SOUPS 609403 WITH SCORE 610134.744
AT ITER 5923 NEW BEST:: SOT 4367571 SOS 731932 HAS SOPS 731932 HAS SOUS 609330 HAS SOUPS 609330 WITH SCORE 610061.932
AT ITER 5941 NEW BEST:: SOT 4367038 SOS 731475 HAS SOPS 731475 HAS SOUS 608836 HAS SOUPS 608836 WITH SCORE 609567.475
AT ITER 5948 NEW BEST:: SOT 4367017 SOS 731433 HAS SOPS 731433 HAS SOUS 608815 HAS SOUPS 608815 WITH SCORE 609546.433
AT ITER 5957 NEW BEST:: SOT 4367009 SOS 731417 HAS SOPS 731417 HAS SOUS 608675 HAS SOUPS 608675 WITH SCORE 609406.417
AT ITER 5967 NEW BEST:: SOT 4367054 SOS 731403 HAS SOPS 731403 HAS SOUS 608661 HAS SOUPS 608661 WITH SCORE 609392.403
AT ITER 5976 NEW BEST:: SOT 4367053 SOS 731222 HAS SOPS 731222 HAS SOUS 608659 HAS SOUPS 608659 WITH SCORE 609390.222
AT ITER 5990 NEW BEST:: SOT 4366962 SOS 731040 HAS SOPS 731040 HAS SOUS 608568 HAS SOUPS 608568 WITH SCORE 609299.04
AT ITER 6002 NEW BEST:: SOT 4366879 SOS 730874 HAS SOPS 730874 HAS SOUS 608485 HAS SOUPS 608485 WITH SCORE 609215.874
AT ITER 6045 NEW BEST:: SOT 4366879 SOS 730874 HAS SOPS 730874 HAS SOUS 608276 HAS SOUPS 608276 WITH SCORE 609006.874
AT ITER 6050 NEW BEST:: SOT 4367194 SOS 730238 HAS SOPS 730238 HAS SOUS 608273 HAS SOUPS 608273 WITH SCORE 609003.238
AT ITER 6079 NEW BEST:: SOT 4367254 SOS 730118 HAS SOPS 730118 HAS SOUS 608213 HAS SOUPS 608213 WITH SCORE 608943.118
AT ITER 6083 NEW BEST:: SOT 4367250 SOS 729818 HAS SOPS 729818 HAS SOUS 608205 HAS SOUPS 608205 WITH SCORE 608934.818
AT ITER 6092 NEW BEST:: SOT 4367246 SOS 730136 HAS SOPS 730136 HAS SOUS 608136 HAS SOUPS 608136 WITH SCORE 608866.136
AT ITER 6114 NEW BEST:: SOT 4367238 SOS 730120 HAS SOPS 730120 HAS SOUS 608120 HAS SOUPS 608120 WITH SCORE 608850.12
AT ITER 6131 NEW BEST:: SOT 4367201 SOS 730046 HAS SOPS 730046 HAS SOUS 608083 HAS SOUPS 608083 WITH SCORE 608813.046
AT ITER 6133 NEW BEST:: SOT 4367058 SOS 729617 HAS SOPS 729617 HAS SOUS 607797 HAS SOUPS 607797 WITH SCORE 608526.617
AT ITER 6138 NEW BEST:: SOT 4367058 SOS 729551 HAS SOPS 729551 HAS SOUS 607797 HAS SOUPS 607797 WITH SCORE 608526.551
AT ITER 6195 NEW BEST:: SOT 4366757 SOS 729388 HAS SOPS 729388 HAS SOUS 607749 HAS SOUPS 607749 WITH SCORE 608478.388
AT ITER 6203 NEW BEST:: SOT 4366757 SOS 729386 HAS SOPS 729386 HAS SOUS 607747 HAS SOUPS 607747 WITH SCORE 608476.386
AT ITER 6256 NEW BEST:: SOT 4366532 SOS 728936 HAS SOPS 728936 HAS SOUS 607353 HAS SOUPS 607353 WITH SCORE 608081.936
AT ITER 6270 NEW BEST:: SOT 4366532 SOS 728735 HAS SOPS 728735 HAS SOUS 607353 HAS SOUPS 607353 WITH SCORE 608081.735
AT ITER 6298 NEW BEST:: SOT 4366392 SOS 728455 HAS SOPS 728455 HAS SOUS 607073 HAS SOUPS 607073 WITH SCORE 607801.455
AT ITER 6300 NEW BEST:: SOT 4366166 SOS 728229 HAS SOPS 728229 HAS SOUS 606847 HAS SOUPS 606847 WITH SCORE 607575.229
AT ITER 6331 NEW BEST:: SOT 4366144 SOS 728185 HAS SOPS 728185 HAS SOUS 606814 HAS SOUPS 606814 WITH SCORE 607542.185
AT ITER 6333 NEW BEST:: SOT 4365916 SOS 727729 HAS SOPS 727729 HAS SOUS 606358 HAS SOUPS 606358 WITH SCORE 607085.729
AT ITER 6338 NEW BEST:: SOT 4365690 SOS 727277 HAS SOPS 727277 HAS SOUS 605906 HAS SOUPS 605906 WITH SCORE 606633.277
AT ITER 6397 NEW BEST:: SOT 4365488 SOS 727043 HAS SOPS 727043 HAS SOUS 605672 HAS SOUPS 605672 WITH SCORE 606399.043
AT ITER 6464 NEW BEST:: SOT 4365402 SOS 727155 HAS SOPS 727155 HAS SOUS 605602 HAS SOUPS 605602 WITH SCORE 606329.155
AT ITER 6470 NEW BEST:: SOT 4365315 SOS 726981 HAS SOPS 726981 HAS SOUS 605510 HAS SOUPS 605510 WITH SCORE 606236.981
AT ITER 6504 NEW BEST:: SOT 4365242 SOS 726835 HAS SOPS 726835 HAS SOUS 605364 HAS SOUPS 605364 WITH SCORE 606090.835
AT ITER 6511 NEW BEST:: SOT 4365242 SOS 726835 HAS SOPS 726835 HAS SOUS 605109 HAS SOUPS 605109 WITH SCORE 605835.835
AT ITER 6526 NEW BEST:: SOT 4365068 SOS 726835 HAS SOPS 726835 HAS SOUS 604935 HAS SOUPS 604935 WITH SCORE 605661.835
AT ITER 6535 NEW BEST:: SOT 4365054 SOS 726807 HAS SOPS 726807 HAS SOUS 604907 HAS SOUPS 604907 WITH SCORE 605633.807
AT ITER 6557 NEW BEST:: SOT 4364933 SOS 726686 HAS SOPS 726686 HAS SOUS 604786 HAS SOUPS 604786 WITH SCORE 605512.686
AT ITER 6559 NEW BEST:: SOT 4364933 SOS 726535 HAS SOPS 726535 HAS SOUS 604786 HAS SOUPS 604786 WITH SCORE 605512.535
AT ITER 6564 NEW BEST:: SOT 4364868 SOS 726340 HAS SOPS 726340 HAS SOUS 604656 HAS SOUPS 604656 WITH SCORE 605382.34
AT ITER 6571 NEW BEST:: SOT 4364718 SOS 726040 HAS SOPS 726040 HAS SOUS 604594 HAS SOUPS 604594 WITH SCORE 605320.04
AT ITER 6616 NEW BEST:: SOT 4364696 SOS 725996 HAS SOPS 725996 HAS SOUS 604550 HAS SOUPS 604550 WITH SCORE 605275.996
AT ITER 6635 NEW BEST:: SOT 4364677 SOS 725958 HAS SOPS 725958 HAS SOUS 604512 HAS SOUPS 604512 WITH SCORE 605237.958
AT ITER 6678 NEW BEST:: SOT 4364585 SOS 725820 HAS SOPS 725820 HAS SOUS 604374 HAS SOUPS 604374 WITH SCORE 605099.82
AT ITER 6797 NEW BEST:: SOT 4364417 SOS 725484 HAS SOPS 725484 HAS SOUS 603910 HAS SOUPS 603910 WITH SCORE 604635.484
AT ITER 6820 NEW BEST:: SOT 4364442 SOS 724814 HAS SOPS 724814 HAS SOUS 603727 HAS SOUPS 603727 WITH SCORE 604451.814
AT ITER 6827 NEW BEST:: SOT 4364442 SOS 724806 HAS SOPS 724806 HAS SOUS 603727 HAS SOUPS 603727 WITH SCORE 604451.806
AT ITER 6858 NEW BEST:: SOT 4364442 SOS 724630 HAS SOPS 724630 HAS SOUS 603727 HAS SOUPS 603727 WITH SCORE 604451.63
AT ITER 6881 NEW BEST:: SOT 4364378 SOS 724502 HAS SOPS 724502 HAS SOUS 603599 HAS SOUPS 603599 WITH SCORE 604323.502
AT ITER 6936 NEW BEST:: SOT 4364245 SOS 724369 HAS SOPS 724369 HAS SOUS 603466 HAS SOUPS 603466 WITH SCORE 604190.369
AT ITER 6940 NEW BEST:: SOT 4363926 SOS 723914 HAS SOPS 723914 HAS SOUS 603194 HAS SOUPS 603194 WITH SCORE 603917.914
AT ITER 6948 NEW BEST:: SOT 4363550 SOS 723620 HAS SOPS 723620 HAS SOUS 602850 HAS SOUPS 602850 WITH SCORE 603573.62
AT ITER 6954 NEW BEST:: SOT 4363534 SOS 723588 HAS SOPS 723588 HAS SOUS 602834 HAS SOUPS 602834 WITH SCORE 603557.588
AT ITER 6956 NEW BEST:: SOT 4363583 SOS 723604 HAS SOPS 723604 HAS SOUS 602801 HAS SOUPS 602801 WITH SCORE 603524.604
AT ITER 7003 NEW BEST:: SOT 4363583 SOS 723507 HAS SOPS 723507 HAS SOUS 602704 HAS SOUPS 602704 WITH SCORE 603427.507
AT ITER 7006 NEW BEST:: SOT 4363583 SOS 723507 HAS SOPS 723507 HAS SOUS 602692 HAS SOUPS 602692 WITH SCORE 603415.507
AT ITER 7026 NEW BEST:: SOT 4363525 SOS 723449 HAS SOPS 723449 HAS SOUS 602691 HAS SOUPS 602691 WITH SCORE 603414.449
AT ITER 7032 NEW BEST:: SOT 4363333 SOS 723257 HAS SOPS 723257 HAS SOUS 602499 HAS SOUPS 602499 WITH SCORE 603222.257
AT ITER 7038 NEW BEST:: SOT 4363116 SOS 723171 HAS SOPS 723171 HAS SOUS 602379 HAS SOUPS 602379 WITH SCORE 603102.171
AT ITER 7064 NEW BEST:: SOT 4362986 SOS 722911 HAS SOPS 722911 HAS SOUS 602119 HAS SOUPS 602119 WITH SCORE 602841.911
AT ITER 7066 NEW BEST:: SOT 4362892 SOS 722723 HAS SOPS 722723 HAS SOUS 601645 HAS SOUPS 601645 WITH SCORE 602367.723
AT ITER 7069 NEW BEST:: SOT 4362884 SOS 722707 HAS SOPS 722707 HAS SOUS 601629 HAS SOUPS 601629 WITH SCORE 602351.707
AT ITER 7105 NEW BEST:: SOT 4362838 SOS 722615 HAS SOPS 722615 HAS SOUS 601583 HAS SOUPS 601583 WITH SCORE 602305.615
AT ITER 7108 NEW BEST:: SOT 4362804 SOS 722547 HAS SOPS 722547 HAS SOUS 601549 HAS SOUPS 601549 WITH SCORE 602271.547
AT ITER 7159 NEW BEST:: SOT 4362758 SOS 722455 HAS SOPS 722455 HAS SOUS 601503 HAS SOUPS 601503 WITH SCORE 602225.455
AT ITER 7192 NEW BEST:: SOT 4362758 SOS 722215 HAS SOPS 722215 HAS SOUS 601503 HAS SOUPS 601503 WITH SCORE 602225.215
AT ITER 7195 NEW BEST:: SOT 4362677 SOS 722053 HAS SOPS 722053 HAS SOUS 601341 HAS SOUPS 601341 WITH SCORE 602063.053
AT ITER 7198 NEW BEST:: SOT 4362658 SOS 722015 HAS SOPS 722015 HAS SOUS 601303 HAS SOUPS 601303 WITH SCORE 602025.015
AT ITER 7203 NEW BEST:: SOT 4362535 SOS 721979 HAS SOPS 721979 HAS SOUS 601267 HAS SOUPS 601267 WITH SCORE 601988.979
AT ITER 7227 NEW BEST:: SOT 4362483 SOS 721875 HAS SOPS 721875 HAS SOUS 601163 HAS SOUPS 601163 WITH SCORE 601884.875
AT ITER 7239 NEW BEST:: SOT 4362483 SOS 721703 HAS SOPS 721703 HAS SOUS 601163 HAS SOUPS 601163 WITH SCORE 601884.703
AT ITER 7280 NEW BEST:: SOT 4362436 SOS 721609 HAS SOPS 721609 HAS SOUS 601100 HAS SOUPS 601100 WITH SCORE 601821.609
AT ITER 7299 NEW BEST:: SOT 4362417 SOS 721557 HAS SOPS 721557 HAS SOUS 601048 HAS SOUPS 601048 WITH SCORE 601769.557
AT ITER 7300 NEW BEST:: SOT 4362410 SOS 721543 HAS SOPS 721543 HAS SOUS 601034 HAS SOUPS 601034 WITH SCORE 601755.543
AT ITER 7354 NEW BEST:: SOT 4362310 SOS 721343 HAS SOPS 721343 HAS SOUS 600934 HAS SOUPS 600934 WITH SCORE 601655.343
AT ITER 7364 NEW BEST:: SOT 4362104 SOS 720931 HAS SOPS 720931 HAS SOUS 600728 HAS SOUPS 600728 WITH SCORE 601448.931
AT ITER 7388 NEW BEST:: SOT 4362059 SOS 720841 HAS SOPS 720841 HAS SOUS 600663 HAS SOUPS 600663 WITH SCORE 601383.841
AT ITER 7435 NEW BEST:: SOT 4361913 SOS 720695 HAS SOPS 720695 HAS SOUS 600663 HAS SOUPS 600663 WITH SCORE 601383.695
AT ITER 7466 NEW BEST:: SOT 4361671 SOS 720211 HAS SOPS 720211 HAS SOUS 600538 HAS SOUPS 600538 WITH SCORE 601258.211
AT ITER 7501 NEW BEST:: SOT 4361640 SOS 720182 HAS SOPS 720182 HAS SOUS 600510 HAS SOUPS 600510 WITH SCORE 601230.182
AT ITER 7537 NEW BEST:: SOT 4361568 SOS 720038 HAS SOPS 720038 HAS SOUS 600371 HAS SOUPS 600371 WITH SCORE 601091.038
AT ITER 7557 NEW BEST:: SOT 4361568 SOS 720038 HAS SOPS 720038 HAS SOUS 600317 HAS SOUPS 600317 WITH SCORE 601037.038
AT ITER 7574 NEW BEST:: SOT 4361572 SOS 720046 HAS SOPS 720046 HAS SOUS 600264 HAS SOUPS 600264 WITH SCORE 600984.046
AT ITER 7616 NEW BEST:: SOT 4361528 SOS 720024 HAS SOPS 720024 HAS SOUS 600242 HAS SOUPS 600242 WITH SCORE 600962.024
AT ITER 7656 NEW BEST:: SOT 4361295 SOS 719907 HAS SOPS 719907 HAS SOUS 600066 HAS SOUPS 600066 WITH SCORE 600785.907
AT ITER 7665 NEW BEST:: SOT 4360618 SOS 720343 HAS SOPS 720343 HAS SOUS 599556 HAS SOUPS 599556 WITH SCORE 600276.343
AT ITER 7691 NEW BEST:: SOT 4360604 SOS 720329 HAS SOPS 720329 HAS SOUS 599542 HAS SOUPS 599542 WITH SCORE 600262.329
AT ITER 7702 NEW BEST:: SOT 4360352 SOS 720077 HAS SOPS 720077 HAS SOUS 599290 HAS SOUPS 599290 WITH SCORE 600010.077
AT ITER 7711 NEW BEST:: SOT 4360319 SOS 720011 HAS SOPS 720011 HAS SOUS 599224 HAS SOUPS 599224 WITH SCORE 599944.011
AT ITER 7716 NEW BEST:: SOT 4360136 SOS 719764 HAS SOPS 719764 HAS SOUS 599082 HAS SOUPS 599082 WITH SCORE 599801.764
AT ITER 7720 NEW BEST:: SOT 4360097 SOS 719647 HAS SOPS 719647 HAS SOUS 599004 HAS SOUPS 599004 WITH SCORE 599723.647
AT ITER 7809 NEW BEST:: SOT 4360079 SOS 719611 HAS SOPS 719611 HAS SOUS 598986 HAS SOUPS 598986 WITH SCORE 599705.611
AT ITER 7815 NEW BEST:: SOT 4359742 SOS 718937 HAS SOPS 718937 HAS SOUS 598649 HAS SOUPS 598649 WITH SCORE 599367.937
AT ITER 7828 NEW BEST:: SOT 4359740 SOS 718933 HAS SOPS 718933 HAS SOUS 598645 HAS SOUPS 598645 WITH SCORE 599363.933
AT ITER 7834 NEW BEST:: SOT 4359249 SOS 718579 HAS SOPS 718579 HAS SOUS 598286 HAS SOUPS 598286 WITH SCORE 599004.579
AT ITER 7847 NEW BEST:: SOT 4359188 SOS 717986 HAS SOPS 717986 HAS SOUS 598164 HAS SOUPS 598164 WITH SCORE 598881.986
AT ITER 7884 NEW BEST:: SOT 4359188 SOS 717986 HAS SOPS 717986 HAS SOUS 598163 HAS SOUPS 598163 WITH SCORE 598880.986
AT ITER 7886 NEW BEST:: SOT 4359132 SOS 717930 HAS SOPS 717930 HAS SOUS 598163 HAS SOUPS 598163 WITH SCORE 598880.93
AT ITER 7902 NEW BEST:: SOT 4359131 SOS 717928 HAS SOPS 717928 HAS SOUS 598161 HAS SOUPS 598161 WITH SCORE 598878.928
AT ITER 7910 NEW BEST:: SOT 4359104 SOS 717901 HAS SOPS 717901 HAS SOUS 598134 HAS SOUPS 598134 WITH SCORE 598851.901
AT ITER 7932 NEW BEST:: SOT 4359039 SOS 717771 HAS SOPS 717771 HAS SOUS 598004 HAS SOUPS 598004 WITH SCORE 598721.771
AT ITER 7934 NEW BEST:: SOT 4359039 SOS 717771 HAS SOPS 717771 HAS SOUS 597961 HAS SOUPS 597961 WITH SCORE 598678.771
AT ITER 7936 NEW BEST:: SOT 4358905 SOS 717911 HAS SOPS 717911 HAS SOUS 597928 HAS SOUPS 597928 WITH SCORE 598645.911
AT ITER 7962 NEW BEST:: SOT 4358879 SOS 717885 HAS SOPS 717885 HAS SOUS 597902 HAS SOUPS 597902 WITH SCORE 598619.885
AT ITER 7992 NEW BEST:: SOT 4358805 SOS 717737 HAS SOPS 717737 HAS SOUS 597754 HAS SOUPS 597754 WITH SCORE 598471.737
AT ITER 7996 NEW BEST:: SOT 4358778 SOS 717683 HAS SOPS 717683 HAS SOUS 597700 HAS SOUPS 597700 WITH SCORE 598417.683
AT ITER 8013 NEW BEST:: SOT 4358482 SOS 717683 HAS SOPS 717683 HAS SOUS 597552 HAS SOUPS 597552 WITH SCORE 598269.683
AT ITER 8027 NEW BEST:: SOT 4358296 SOS 717311 HAS SOPS 717311 HAS SOUS 597447 HAS SOUPS 597447 WITH SCORE 598164.311
AT ITER 8046 NEW BEST:: SOT 4358281 SOS 717281 HAS SOPS 717281 HAS SOUS 597417 HAS SOUPS 597417 WITH SCORE 598134.281
AT ITER 8125 NEW BEST:: SOT 4358154 SOS 717027 HAS SOPS 717027 HAS SOUS 597163 HAS SOUPS 597163 WITH SCORE 597880.027
AT ITER 8126 NEW BEST:: SOT 4358048 SOS 716815 HAS SOPS 716815 HAS SOUS 596951 HAS SOUPS 596951 WITH SCORE 597667.815
AT ITER 8180 NEW BEST:: SOT 4358203 SOS 717580 HAS SOPS 717580 HAS SOUS 596677 HAS SOUPS 596677 WITH SCORE 597394.58
AT ITER 8257 NEW BEST:: SOT 4357807 SOS 717283 HAS SOPS 717283 HAS SOUS 596380 HAS SOUPS 596380 WITH SCORE 597097.283
AT ITER 8281 NEW BEST:: SOT 4357641 SOS 716951 HAS SOPS 716951 HAS SOUS 596048 HAS SOUPS 596048 WITH SCORE 596764.951
AT ITER 8283 NEW BEST:: SOT 4357641 SOS 716901 HAS SOPS 716901 HAS SOUS 596048 HAS SOUPS 596048 WITH SCORE 596764.901
AT ITER 8320 NEW BEST:: SOT 4357567 SOS 716753 HAS SOPS 716753 HAS SOUS 595872 HAS SOUPS 595872 WITH SCORE 596588.753
AT ITER 8381 NEW BEST:: SOT 4357633 SOS 716517 HAS SOPS 716517 HAS SOUS 595636 HAS SOUPS 595636 WITH SCORE 596352.517
AT ITER 8389 NEW BEST:: SOT 4357590 SOS 716305 HAS SOPS 716305 HAS SOUS 595550 HAS SOUPS 595550 WITH SCORE 596266.305
AT ITER 8400 NEW BEST:: SOT 4357590 SOS 716099 HAS SOPS 716099 HAS SOUS 595447 HAS SOUPS 595447 WITH SCORE 596163.099
AT ITER 8413 NEW BEST:: SOT 4357590 SOS 715912 HAS SOPS 715912 HAS SOUS 595447 HAS SOUPS 595447 WITH SCORE 596162.912
AT ITER 8422 NEW BEST:: SOT 4357590 SOS 715908 HAS SOPS 715908 HAS SOUS 595430 HAS SOUPS 595430 WITH SCORE 596145.908
AT ITER 8426 NEW BEST:: SOT 4357589 SOS 715968 HAS SOPS 715968 HAS SOUS 595428 HAS SOUPS 595428 WITH SCORE 596143.968
AT ITER 8430 NEW BEST:: SOT 4357494 SOS 715778 HAS SOPS 715778 HAS SOUS 595333 HAS SOUPS 595333 WITH SCORE 596048.778
AT ITER 8436 NEW BEST:: SOT 4357494 SOS 715737 HAS SOPS 715737 HAS SOUS 595292 HAS SOUPS 595292 WITH SCORE 596007.737
AT ITER 8437 NEW BEST:: SOT 4357425 SOS 715599 HAS SOPS 715599 HAS SOUS 595154 HAS SOUPS 595154 WITH SCORE 595869.599
AT ITER 8443 NEW BEST:: SOT 4357317 SOS 715383 HAS SOPS 715383 HAS SOUS 594938 HAS SOUPS 594938 WITH SCORE 595653.383
AT ITER 8471 NEW BEST:: SOT 4357089 SOS 714927 HAS SOPS 714927 HAS SOUS 594704 HAS SOUPS 594704 WITH SCORE 595418.927
AT ITER 8506 NEW BEST:: SOT 4357186 SOS 715121 HAS SOPS 715121 HAS SOUS 594620 HAS SOUPS 594620 WITH SCORE 595335.121
AT ITER 8539 NEW BEST:: SOT 4357028 SOS 715121 HAS SOPS 715121 HAS SOUS 594541 HAS SOUPS 594541 WITH SCORE 595256.121
AT ITER 8544 NEW BEST:: SOT 4357028 SOS 715100 HAS SOPS 715100 HAS SOUS 594541 HAS SOUPS 594541 WITH SCORE 595256.1
AT ITER 8575 NEW BEST:: SOT 4356933 SOS 714910 HAS SOPS 714910 HAS SOUS 594459 HAS SOUPS 594459 WITH SCORE 595173.91
AT ITER 8583 NEW BEST:: SOT 4356841 SOS 714726 HAS SOPS 714726 HAS SOUS 594149 HAS SOUPS 594149 WITH SCORE 594863.726
AT ITER 8588 NEW BEST:: SOT 4356848 SOS 714677 HAS SOPS 714677 HAS SOUS 594100 HAS SOUPS 594100 WITH SCORE 594814.677
AT ITER 8610 NEW BEST:: SOT 4356690 SOS 713649 HAS SOPS 713649 HAS SOUS 593764 HAS SOUPS 593764 WITH SCORE 594477.649
AT ITER 8614 NEW BEST:: SOT 4356688 SOS 713645 HAS SOPS 713645 HAS SOUS 593760 HAS SOUPS 593760 WITH SCORE 594473.645
AT ITER 8651 NEW BEST:: SOT 4356686 SOS 713641 HAS SOPS 713641 HAS SOUS 593758 HAS SOUPS 593758 WITH SCORE 594471.641
AT ITER 8662 NEW BEST:: SOT 4356691 SOS 713629 HAS SOPS 713629 HAS SOUS 593747 HAS SOUPS 593747 WITH SCORE 594460.629
AT ITER 8676 NEW BEST:: SOT 4356290 SOS 713369 HAS SOPS 713369 HAS SOUS 593428 HAS SOUPS 593428 WITH SCORE 594141.369
AT ITER 8690 NEW BEST:: SOT 4356096 SOS 713423 HAS SOPS 713423 HAS SOUS 593385 HAS SOUPS 593385 WITH SCORE 594098.423
AT ITER 8705 NEW BEST:: SOT 4356068 SOS 712290 HAS SOPS 712290 HAS SOUS 593329 HAS SOUPS 593329 WITH SCORE 594041.29
AT ITER 8729 NEW BEST:: SOT 4356067 SOS 712288 HAS SOPS 712288 HAS SOUS 593327 HAS SOUPS 593327 WITH SCORE 594039.288
AT ITER 8818 NEW BEST:: SOT 4356067 SOS 712161 HAS SOPS 712161 HAS SOUS 593200 HAS SOUPS 593200 WITH SCORE 593912.161
AT ITER 8829 NEW BEST:: SOT 4355789 SOS 711953 HAS SOPS 711953 HAS SOUS 592945 HAS SOUPS 592945 WITH SCORE 593656.953
AT ITER 8841 NEW BEST:: SOT 4355626 SOS 711627 HAS SOPS 711627 HAS SOUS 592619 HAS SOUPS 592619 WITH SCORE 593330.627
AT ITER 8848 NEW BEST:: SOT 4355658 SOS 711343 HAS SOPS 711343 HAS SOUS 592337 HAS SOUPS 592337 WITH SCORE 593048.343
AT ITER 8900 NEW BEST:: SOT 4355638 SOS 711343 HAS SOPS 711343 HAS SOUS 592327 HAS SOUPS 592327 WITH SCORE 593038.343
AT ITER 8904 NEW BEST:: SOT 4355638 SOS 711309 HAS SOPS 711309 HAS SOUS 592310 HAS SOUPS 592310 WITH SCORE 593021.309
AT ITER 8923 NEW BEST:: SOT 4355492 SOS 710894 HAS SOPS 710894 HAS SOUS 591895 HAS SOUPS 591895 WITH SCORE 592605.894
AT ITER 8929 NEW BEST:: SOT 4355370 SOS 710650 HAS SOPS 710650 HAS SOUS 591651 HAS SOUPS 591651 WITH SCORE 592361.65
AT ITER 8952 NEW BEST:: SOT 4355173 SOS 710040 HAS SOPS 710040 HAS SOUS 591471 HAS SOUPS 591471 WITH SCORE 592181.04
AT ITER 8984 NEW BEST:: SOT 4355173 SOS 710040 HAS SOPS 710040 HAS SOUS 591443 HAS SOUPS 591443 WITH SCORE 592153.04
AT ITER 9002 NEW BEST:: SOT 4354767 SOS 709228 HAS SOPS 709228 HAS SOUS 590971 HAS SOUPS 590971 WITH SCORE 591680.228
AT ITER 9041 NEW BEST:: SOT 4354714 SOS 709187 HAS SOPS 709187 HAS SOUS 590930 HAS SOUPS 590930 WITH SCORE 591639.187
AT ITER 9058 NEW BEST:: SOT 4354719 SOS 709197 HAS SOPS 709197 HAS SOUS 590841 HAS SOUPS 590841 WITH SCORE 591550.197
AT ITER 9075 NEW BEST:: SOT 4353904 SOS 718613 HAS SOPS 718613 HAS SOUS 590289 HAS SOUPS 590289 WITH SCORE 591007.613
AT ITER 9093 NEW BEST:: SOT 4353781 SOS 718367 HAS SOPS 718367 HAS SOUS 590043 HAS SOUPS 590043 WITH SCORE 590761.367
AT ITER 9101 NEW BEST:: SOT 4353612 SOS 718261 HAS SOPS 718261 HAS SOUS 589884 HAS SOUPS 589884 WITH SCORE 590602.261
AT ITER 9104 NEW BEST:: SOT 4353540 SOS 718117 HAS SOPS 718117 HAS SOUS 589740 HAS SOUPS 589740 WITH SCORE 590458.117
AT ITER 9108 NEW BEST:: SOT 4353540 SOS 718224 HAS SOPS 718224 HAS SOUS 589739 HAS SOUPS 589739 WITH SCORE 590457.224
AT ITER 9112 NEW BEST:: SOT 4353382 SOS 718066 HAS SOPS 718066 HAS SOUS 589502 HAS SOUPS 589502 WITH SCORE 590220.066
AT ITER 9121 NEW BEST:: SOT 4353188 SOS 717678 HAS SOPS 717678 HAS SOUS 589114 HAS SOUPS 589114 WITH SCORE 589831.678
AT ITER 9122 NEW BEST:: SOT 4353144 SOS 717715 HAS SOPS 717715 HAS SOUS 589111 HAS SOUPS 589111 WITH SCORE 589828.715
AT ITER 9126 NEW BEST:: SOT 4353059 SOS 717545 HAS SOPS 717545 HAS SOUS 588941 HAS SOUPS 588941 WITH SCORE 589658.545
AT ITER 9136 NEW BEST:: SOT 4352694 SOS 717211 HAS SOPS 717211 HAS SOUS 588593 HAS SOUPS 588593 WITH SCORE 589310.211
AT ITER 9142 NEW BEST:: SOT 4352500 SOS 716823 HAS SOPS 716823 HAS SOUS 588205 HAS SOUPS 588205 WITH SCORE 588921.823
AT ITER 9173 NEW BEST:: SOT 4352460 SOS 716511 HAS SOPS 716511 HAS SOUS 588049 HAS SOUPS 588049 WITH SCORE 588765.511
AT ITER 9193 NEW BEST:: SOT 4352435 SOS 716461 HAS SOPS 716461 HAS SOUS 587887 HAS SOUPS 587887 WITH SCORE 588603.461
AT ITER 9195 NEW BEST:: SOT 4352369 SOS 716329 HAS SOPS 716329 HAS SOUS 587755 HAS SOUPS 587755 WITH SCORE 588471.329
AT ITER 9199 NEW BEST:: SOT 4351996 SOS 716183 HAS SOPS 716183 HAS SOUS 587541 HAS SOUPS 587541 WITH SCORE 588257.183
AT ITER 9204 NEW BEST:: SOT 4351987 SOS 716156 HAS SOPS 716156 HAS SOUS 587523 HAS SOUPS 587523 WITH SCORE 588239.156
AT ITER 9217 NEW BEST:: SOT 4351861 SOS 715904 HAS SOPS 715904 HAS SOUS 587271 HAS SOUPS 587271 WITH SCORE 587986.904
AT ITER 9245 NEW BEST:: SOT 4351638 SOS 715458 HAS SOPS 715458 HAS SOUS 587048 HAS SOUPS 587048 WITH SCORE 587763.458
AT ITER 9266 NEW BEST:: SOT 4351638 SOS 715458 HAS SOPS 715458 HAS SOUS 586855 HAS SOUPS 586855 WITH SCORE 587570.458
AT ITER 9295 NEW BEST:: SOT 4351653 SOS 715488 HAS SOPS 715488 HAS SOUS 586800 HAS SOUPS 586800 WITH SCORE 587515.488
AT ITER 9298 NEW BEST:: SOT 4351653 SOS 715488 HAS SOPS 715488 HAS SOUS 586794 HAS SOUPS 586794 WITH SCORE 587509.488
AT ITER 9324 NEW BEST:: SOT 4351638 SOS 715458 HAS SOPS 715458 HAS SOUS 586764 HAS SOUPS 586764 WITH SCORE 587479.458
AT ITER 9333 NEW BEST:: SOT 4351533 SOS 715248 HAS SOPS 715248 HAS SOUS 586764 HAS SOUPS 586764 WITH SCORE 587479.248
AT ITER 9423 NEW BEST:: SOT 4351385 SOS 714952 HAS SOPS 714952 HAS SOUS 586616 HAS SOUPS 586616 WITH SCORE 587330.952
AT ITER 9438 NEW BEST:: SOT 4351317 SOS 714662 HAS SOPS 714662 HAS SOUS 586394 HAS SOUPS 586394 WITH SCORE 587108.662
AT ITER 9440 NEW BEST:: SOT 4351317 SOS 714631 HAS SOPS 714631 HAS SOUS 586363 HAS SOUPS 586363 WITH SCORE 587077.631
AT ITER 9495 NEW BEST:: SOT 4351285 SOS 714567 HAS SOPS 714567 HAS SOUS 586299 HAS SOUPS 586299 WITH SCORE 587013.567
AT ITER 9497 NEW BEST:: SOT 4351285 SOS 714567 HAS SOPS 714567 HAS SOUS 586298 HAS SOUPS 586298 WITH SCORE 587012.567
AT ITER 9511 NEW BEST:: SOT 4349706 SOS 715091 HAS SOPS 715091 HAS SOUS 585245 HAS SOUPS 585245 WITH SCORE 585960.091
AT ITER 9553 NEW BEST:: SOT 4349706 SOS 715036 HAS SOPS 715036 HAS SOUS 585245 HAS SOUPS 585245 WITH SCORE 585960.036
AT ITER 9555 NEW BEST:: SOT 4349706 SOS 715036 HAS SOPS 715036 HAS SOUS 585244 HAS SOUPS 585244 WITH SCORE 585959.036
AT ITER 9566 NEW BEST:: SOT 4349387 SOS 714601 HAS SOPS 714601 HAS SOUS 584925 HAS SOUPS 584925 WITH SCORE 585639.601
AT ITER 9610 NEW BEST:: SOT 4349495 SOS 714817 HAS SOPS 714817 HAS SOUS 584903 HAS SOUPS 584903 WITH SCORE 585617.817
AT ITER 9646 NEW BEST:: SOT 4349495 SOS 714817 HAS SOPS 714817 HAS SOUS 584625 HAS SOUPS 584625 WITH SCORE 585339.817
AT ITER 9661 NEW BEST:: SOT 4349358 SOS 714439 HAS SOPS 714439 HAS SOUS 584351 HAS SOUPS 584351 WITH SCORE 585065.439
AT ITER 9669 NEW BEST:: SOT 4349198 SOS 714439 HAS SOPS 714439 HAS SOUS 584271 HAS SOUPS 584271 WITH SCORE 584985.439
AT ITER 9675 NEW BEST:: SOT 4349176 SOS 714395 HAS SOPS 714395 HAS SOUS 584165 HAS SOUPS 584165 WITH SCORE 584879.395
AT ITER 9702 NEW BEST:: SOT 4349162 SOS 714367 HAS SOPS 714367 HAS SOUS 584151 HAS SOUPS 584151 WITH SCORE 584865.367
AT ITER 9738 NEW BEST:: SOT 4349179 SOS 714316 HAS SOPS 714316 HAS SOUS 583883 HAS SOUPS 583883 WITH SCORE 584597.316
AT ITER 9755 NEW BEST:: SOT 4348746 SOS 714422 HAS SOPS 714422 HAS SOUS 583693 HAS SOUPS 583693 WITH SCORE 584407.422
AT ITER 9770 NEW BEST:: SOT 4348660 SOS 714250 HAS SOPS 714250 HAS SOUS 583521 HAS SOUPS 583521 WITH SCORE 584235.25
AT ITER 9771 NEW BEST:: SOT 4348593 SOS 714116 HAS SOPS 714116 HAS SOUS 583392 HAS SOUPS 583392 WITH SCORE 584106.116
AT ITER 9781 NEW BEST:: SOT 4348592 SOS 714114 HAS SOPS 714114 HAS SOUS 583390 HAS SOUPS 583390 WITH SCORE 584104.114
AT ITER 9793 NEW BEST:: SOT 4348437 SOS 713959 HAS SOPS 713959 HAS SOUS 583235 HAS SOUPS 583235 WITH SCORE 583948.959
AT ITER 9823 NEW BEST:: SOT 4348490 SOS 713891 HAS SOPS 713891 HAS SOUS 583167 HAS SOUPS 583167 WITH SCORE 583880.891
AT ITER 9843 NEW BEST:: SOT 4348490 SOS 713882 HAS SOPS 713882 HAS SOUS 583167 HAS SOUPS 583167 WITH SCORE 583880.882
AT ITER 9847 NEW BEST:: SOT 4348929 SOS 713810 HAS SOPS 713810 HAS SOUS 583095 HAS SOUPS 583095 WITH SCORE 583808.81
AT ITER 9857 NEW BEST:: SOT 4348924 SOS 713800 HAS SOPS 713800 HAS SOUS 583085 HAS SOUPS 583085 WITH SCORE 583798.8
AT ITER 9867 NEW BEST:: SOT 4348855 SOS 713662 HAS SOPS 713662 HAS SOUS 582947 HAS SOUPS 582947 WITH SCORE 583660.662
AT ITER 9873 NEW BEST:: SOT 4348807 SOS 713566 HAS SOPS 713566 HAS SOUS 582899 HAS SOUPS 582899 WITH SCORE 583612.566
AT ITER 9877 NEW BEST:: SOT 4348668 SOS 713288 HAS SOPS 713288 HAS SOUS 582636 HAS SOUPS 582636 WITH SCORE 583349.288
AT ITER 9887 NEW BEST:: SOT 4348662 SOS 713276 HAS SOPS 713276 HAS SOUS 582630 HAS SOUPS 582630 WITH SCORE 583343.276
AT ITER 9894 NEW BEST:: SOT 4348230 SOS 712912 HAS SOPS 712912 HAS SOUS 582202 HAS SOUPS 582202 WITH SCORE 582914.912
AT ITER 9917 NEW BEST:: SOT 4348214 SOS 712896 HAS SOPS 712896 HAS SOUS 582170 HAS SOUPS 582170 WITH SCORE 582882.896
AT ITER 9921 NEW BEST:: SOT 4347968 SOS 712650 HAS SOPS 712650 HAS SOUS 581924 HAS SOUPS 581924 WITH SCORE 582636.65
AT ITER 9923 NEW BEST:: SOT 4347916 SOS 712598 HAS SOPS 712598 HAS SOUS 581820 HAS SOUPS 581820 WITH SCORE 582532.598
AT ITER 9925 NEW BEST:: SOT 4347863 SOS 712492 HAS SOPS 712492 HAS SOUS 581658 HAS SOUPS 581658 WITH SCORE 582370.492

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

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