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

About the Execution of smart for CloudReconfiguration-PT-317

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 836K
-rw-r--r-- 1 mcc users 4.0K Mar 30 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K 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 4.0K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 08:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 661K 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 1589099168872

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

Filename model.pnml
Petri model created: 2587 places, 3099 transitions, 6479 arcs.
AT ITER 0 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686904 HAS SOUPS 686904 WITH SCORE 687648.619
AT ITER 3 NEW BEST:: SOT 4458557 SOS 744619 HAS SOPS 744619 HAS SOUS 686903 HAS SOUPS 686903 WITH SCORE 687647.619
AT ITER 42 NEW BEST:: SOT 4458557 SOS 744612 HAS SOPS 744612 HAS SOUS 686902 HAS SOUPS 686902 WITH SCORE 687646.612
AT ITER 45 NEW BEST:: SOT 4458606 SOS 744399 HAS SOPS 744399 HAS SOUS 686689 HAS SOUPS 686689 WITH SCORE 687433.399
AT ITER 131 NEW BEST:: SOT 4458352 SOS 744145 HAS SOPS 744145 HAS SOUS 686435 HAS SOUPS 686435 WITH SCORE 687179.145
AT ITER 184 NEW BEST:: SOT 4458193 SOS 743827 HAS SOPS 743827 HAS SOUS 686117 HAS SOUPS 686117 WITH SCORE 686860.827
AT ITER 185 NEW BEST:: SOT 4458127 SOS 743519 HAS SOPS 743519 HAS SOUS 685818 HAS SOUPS 685818 WITH SCORE 686561.519
AT ITER 188 NEW BEST:: SOT 4458035 SOS 743335 HAS SOPS 743335 HAS SOUS 685634 HAS SOUPS 685634 WITH SCORE 686377.335
AT ITER 205 NEW BEST:: SOT 4452637 SOS 774497 HAS SOPS 774497 HAS SOUS 681750 HAS SOUPS 681750 WITH SCORE 682524.497
AT ITER 209 NEW BEST:: SOT 4452594 SOS 774411 HAS SOPS 774411 HAS SOUS 681384 HAS SOUPS 681384 WITH SCORE 682158.411
AT ITER 212 NEW BEST:: SOT 4452507 SOS 774237 HAS SOPS 774237 HAS SOUS 681210 HAS SOUPS 681210 WITH SCORE 681984.237
AT ITER 213 NEW BEST:: SOT 4452526 SOS 774220 HAS SOPS 774220 HAS SOUS 681193 HAS SOUPS 681193 WITH SCORE 681967.22
AT ITER 230 NEW BEST:: SOT 4452526 SOS 773989 HAS SOPS 773989 HAS SOUS 681193 HAS SOUPS 681193 WITH SCORE 681966.989
AT ITER 235 NEW BEST:: SOT 4451935 SOS 774944 HAS SOPS 774944 HAS SOUS 681114 HAS SOUPS 681114 WITH SCORE 681888.944
AT ITER 239 NEW BEST:: SOT 4451829 SOS 774732 HAS SOPS 774732 HAS SOUS 680902 HAS SOUPS 680902 WITH SCORE 681676.732
AT ITER 243 NEW BEST:: SOT 4451775 SOS 774660 HAS SOPS 774660 HAS SOUS 680830 HAS SOUPS 680830 WITH SCORE 681604.66
AT ITER 248 NEW BEST:: SOT 4451766 SOS 774269 HAS SOPS 774269 HAS SOUS 680483 HAS SOUPS 680483 WITH SCORE 681257.269
AT ITER 265 NEW BEST:: SOT 4451503 SOS 773743 HAS SOPS 773743 HAS SOUS 679957 HAS SOUPS 679957 WITH SCORE 680730.743
AT ITER 271 NEW BEST:: SOT 4451550 SOS 773572 HAS SOPS 773572 HAS SOUS 679916 HAS SOUPS 679916 WITH SCORE 680689.572
AT ITER 275 NEW BEST:: SOT 4451290 SOS 773052 HAS SOPS 773052 HAS SOUS 679337 HAS SOUPS 679337 WITH SCORE 680110.052
AT ITER 289 NEW BEST:: SOT 4451297 SOS 772948 HAS SOPS 772948 HAS SOUS 679238 HAS SOUPS 679238 WITH SCORE 680010.948
AT ITER 323 NEW BEST:: SOT 4451296 SOS 772911 HAS SOPS 772911 HAS SOUS 679202 HAS SOUPS 679202 WITH SCORE 679974.911
AT ITER 328 NEW BEST:: SOT 4451191 SOS 772701 HAS SOPS 772701 HAS SOUS 678722 HAS SOUPS 678722 WITH SCORE 679494.701
AT ITER 356 NEW BEST:: SOT 4451121 SOS 772631 HAS SOPS 772631 HAS SOUS 678652 HAS SOUPS 678652 WITH SCORE 679424.631
AT ITER 366 NEW BEST:: SOT 4451121 SOS 772331 HAS SOPS 772331 HAS SOUS 678502 HAS SOUPS 678502 WITH SCORE 679274.331
AT ITER 384 NEW BEST:: SOT 4450939 SOS 772331 HAS SOPS 772331 HAS SOUS 678411 HAS SOUPS 678411 WITH SCORE 679183.331
AT ITER 407 NEW BEST:: SOT 4450939 SOS 772222 HAS SOPS 772222 HAS SOUS 678302 HAS SOUPS 678302 WITH SCORE 679074.222
AT ITER 409 NEW BEST:: SOT 4450869 SOS 772082 HAS SOPS 772082 HAS SOUS 678162 HAS SOUPS 678162 WITH SCORE 678934.082
AT ITER 410 NEW BEST:: SOT 4450759 SOS 771862 HAS SOPS 771862 HAS SOUS 677942 HAS SOUPS 677942 WITH SCORE 678713.862
AT ITER 463 NEW BEST:: SOT 4450386 SOS 771488 HAS SOPS 771488 HAS SOUS 677568 HAS SOUPS 677568 WITH SCORE 678339.488
AT ITER 491 NEW BEST:: SOT 4450336 SOS 771388 HAS SOPS 771388 HAS SOUS 677468 HAS SOUPS 677468 WITH SCORE 678239.388
AT ITER 498 NEW BEST:: SOT 4450310 SOS 771336 HAS SOPS 771336 HAS SOUS 677416 HAS SOUPS 677416 WITH SCORE 678187.336
AT ITER 527 NEW BEST:: SOT 4450140 SOS 770996 HAS SOPS 770996 HAS SOUS 677076 HAS SOUPS 677076 WITH SCORE 677846.996
AT ITER 549 NEW BEST:: SOT 4450053 SOS 770909 HAS SOPS 770909 HAS SOUS 676989 HAS SOUPS 676989 WITH SCORE 677759.909
AT ITER 561 NEW BEST:: SOT 4449787 SOS 771185 HAS SOPS 771185 HAS SOUS 676723 HAS SOUPS 676723 WITH SCORE 677494.185
AT ITER 599 NEW BEST:: SOT 4449534 SOS 771001 HAS SOPS 771001 HAS SOUS 676469 HAS SOUPS 676469 WITH SCORE 677240.001
AT ITER 608 NEW BEST:: SOT 4449437 SOS 770419 HAS SOPS 770419 HAS SOUS 676275 HAS SOUPS 676275 WITH SCORE 677045.419
AT ITER 621 NEW BEST:: SOT 4449079 SOS 770683 HAS SOPS 770683 HAS SOUS 676014 HAS SOUPS 676014 WITH SCORE 676784.683
AT ITER 665 NEW BEST:: SOT 4448953 SOS 770431 HAS SOPS 770431 HAS SOUS 675703 HAS SOUPS 675703 WITH SCORE 676473.431
AT ITER 667 NEW BEST:: SOT 4448823 SOS 770431 HAS SOPS 770431 HAS SOUS 675638 HAS SOUPS 675638 WITH SCORE 676408.431
AT ITER 668 NEW BEST:: SOT 4448630 SOS 770238 HAS SOPS 770238 HAS SOUS 675445 HAS SOUPS 675445 WITH SCORE 676215.238
AT ITER 669 NEW BEST:: SOT 4448019 SOS 769628 HAS SOPS 769628 HAS SOUS 674834 HAS SOUPS 674834 WITH SCORE 675603.628
AT ITER 679 NEW BEST:: SOT 4447880 SOS 769080 HAS SOPS 769080 HAS SOUS 674556 HAS SOUPS 674556 WITH SCORE 675325.08
AT ITER 693 NEW BEST:: SOT 4447868 SOS 769056 HAS SOPS 769056 HAS SOUS 674484 HAS SOUPS 674484 WITH SCORE 675253.056
AT ITER 708 NEW BEST:: SOT 4447550 SOS 768844 HAS SOPS 768844 HAS SOUS 674166 HAS SOUPS 674166 WITH SCORE 674934.844
AT ITER 715 NEW BEST:: SOT 4447749 SOS 768371 HAS SOPS 768371 HAS SOUS 674135 HAS SOUPS 674135 WITH SCORE 674903.371
AT ITER 719 NEW BEST:: SOT 4447251 SOS 767873 HAS SOPS 767873 HAS SOUS 673637 HAS SOUPS 673637 WITH SCORE 674404.873
AT ITER 756 NEW BEST:: SOT 4447173 SOS 767717 HAS SOPS 767717 HAS SOUS 673481 HAS SOUPS 673481 WITH SCORE 674248.717
AT ITER 763 NEW BEST:: SOT 4447093 SOS 767650 HAS SOPS 767650 HAS SOUS 673401 HAS SOUPS 673401 WITH SCORE 674168.65
AT ITER 778 NEW BEST:: SOT 4446917 SOS 767712 HAS SOPS 767712 HAS SOUS 673306 HAS SOUPS 673306 WITH SCORE 674073.712
AT ITER 780 NEW BEST:: SOT 4446916 SOS 767710 HAS SOPS 767710 HAS SOUS 673305 HAS SOUPS 673305 WITH SCORE 674072.71
AT ITER 819 NEW BEST:: SOT 4446708 SOS 767502 HAS SOPS 767502 HAS SOUS 673097 HAS SOUPS 673097 WITH SCORE 673864.502
AT ITER 835 NEW BEST:: SOT 4446708 SOS 767191 HAS SOPS 767191 HAS SOUS 673097 HAS SOUPS 673097 WITH SCORE 673864.191
AT ITER 876 NEW BEST:: SOT 4446877 SOS 766670 HAS SOPS 766670 HAS SOUS 672965 HAS SOUPS 672965 WITH SCORE 673731.67
AT ITER 881 NEW BEST:: SOT 4446877 SOS 766708 HAS SOPS 766708 HAS SOUS 672927 HAS SOUPS 672927 WITH SCORE 673693.708
AT ITER 926 NEW BEST:: SOT 4446876 SOS 766706 HAS SOPS 766706 HAS SOUS 672925 HAS SOUPS 672925 WITH SCORE 673691.706
AT ITER 943 NEW BEST:: SOT 4446971 SOS 766619 HAS SOPS 766619 HAS SOUS 672849 HAS SOUPS 672849 WITH SCORE 673615.619
AT ITER 962 NEW BEST:: SOT 4446707 SOS 766091 HAS SOPS 766091 HAS SOUS 672123 HAS SOUPS 672123 WITH SCORE 672889.091
AT ITER 966 NEW BEST:: SOT 4446697 SOS 766071 HAS SOPS 766071 HAS SOUS 672103 HAS SOUPS 672103 WITH SCORE 672869.071
AT ITER 1037 NEW BEST:: SOT 4446306 SOS 765695 HAS SOPS 765695 HAS SOUS 671711 HAS SOUPS 671711 WITH SCORE 672476.695
AT ITER 1045 NEW BEST:: SOT 4446010 SOS 765411 HAS SOPS 765411 HAS SOUS 671424 HAS SOUPS 671424 WITH SCORE 672189.411
AT ITER 1083 NEW BEST:: SOT 4445033 SOS 764148 HAS SOPS 764148 HAS SOUS 670550 HAS SOUPS 670550 WITH SCORE 671314.148
AT ITER 1090 NEW BEST:: SOT 4445033 SOS 763726 HAS SOPS 763726 HAS SOUS 670550 HAS SOUPS 670550 WITH SCORE 671313.726
AT ITER 1096 NEW BEST:: SOT 4444763 SOS 763456 HAS SOPS 763456 HAS SOUS 670280 HAS SOUPS 670280 WITH SCORE 671043.456
AT ITER 1113 NEW BEST:: SOT 4444996 SOS 763274 HAS SOPS 763274 HAS SOUS 670189 HAS SOUPS 670189 WITH SCORE 670952.274
AT ITER 1118 NEW BEST:: SOT 4444995 SOS 763047 HAS SOPS 763047 HAS SOUS 670187 HAS SOUPS 670187 WITH SCORE 670950.047
AT ITER 1134 NEW BEST:: SOT 4444973 SOS 763003 HAS SOPS 763003 HAS SOUS 670187 HAS SOUPS 670187 WITH SCORE 670950.003
AT ITER 1156 NEW BEST:: SOT 4444829 SOS 762715 HAS SOPS 762715 HAS SOUS 669899 HAS SOUPS 669899 WITH SCORE 670661.715
AT ITER 1162 NEW BEST:: SOT 4444722 SOS 762501 HAS SOPS 762501 HAS SOUS 669685 HAS SOUPS 669685 WITH SCORE 670447.501
AT ITER 1164 NEW BEST:: SOT 4444415 SOS 762495 HAS SOPS 762495 HAS SOUS 669546 HAS SOUPS 669546 WITH SCORE 670308.495
AT ITER 1186 NEW BEST:: SOT 4444415 SOS 762495 HAS SOPS 762495 HAS SOUS 669359 HAS SOUPS 669359 WITH SCORE 670121.495
AT ITER 1192 NEW BEST:: SOT 4444305 SOS 762275 HAS SOPS 762275 HAS SOUS 669139 HAS SOUPS 669139 WITH SCORE 669901.275
AT ITER 1205 NEW BEST:: SOT 4444305 SOS 762275 HAS SOPS 762275 HAS SOUS 669138 HAS SOUPS 669138 WITH SCORE 669900.275
AT ITER 1209 NEW BEST:: SOT 4444243 SOS 762151 HAS SOPS 762151 HAS SOUS 669014 HAS SOUPS 669014 WITH SCORE 669776.151
AT ITER 1220 NEW BEST:: SOT 4444192 SOS 762049 HAS SOPS 762049 HAS SOUS 668848 HAS SOUPS 668848 WITH SCORE 669610.049
AT ITER 1221 NEW BEST:: SOT 4444192 SOS 761896 HAS SOPS 761896 HAS SOUS 668847 HAS SOUPS 668847 WITH SCORE 669608.896
AT ITER 1241 NEW BEST:: SOT 4444192 SOS 761667 HAS SOPS 761667 HAS SOUS 668847 HAS SOUPS 668847 WITH SCORE 669608.667
AT ITER 1253 NEW BEST:: SOT 4444073 SOS 761612 HAS SOPS 761612 HAS SOUS 668728 HAS SOUPS 668728 WITH SCORE 669489.612
AT ITER 1298 NEW BEST:: SOT 4444137 SOS 761397 HAS SOPS 761397 HAS SOUS 668423 HAS SOUPS 668423 WITH SCORE 669184.397
AT ITER 1302 NEW BEST:: SOT 4444120 SOS 761296 HAS SOPS 761296 HAS SOUS 668334 HAS SOUPS 668334 WITH SCORE 669095.296
AT ITER 1311 NEW BEST:: SOT 4444145 SOS 761281 HAS SOPS 761281 HAS SOUS 668319 HAS SOUPS 668319 WITH SCORE 669080.281
AT ITER 1374 NEW BEST:: SOT 4443863 SOS 761010 HAS SOPS 761010 HAS SOUS 667744 HAS SOUPS 667744 WITH SCORE 668505.01
AT ITER 1384 NEW BEST:: SOT 4443635 SOS 760501 HAS SOPS 760501 HAS SOUS 667235 HAS SOUPS 667235 WITH SCORE 667995.501
AT ITER 1397 NEW BEST:: SOT 4443635 SOS 760501 HAS SOPS 760501 HAS SOUS 667222 HAS SOUPS 667222 WITH SCORE 667982.501
AT ITER 1403 NEW BEST:: SOT 4443714 SOS 760659 HAS SOPS 760659 HAS SOUS 667218 HAS SOUPS 667218 WITH SCORE 667978.659
AT ITER 1424 NEW BEST:: SOT 4442542 SOS 759619 HAS SOPS 759619 HAS SOUS 666269 HAS SOUPS 666269 WITH SCORE 667028.619
AT ITER 1439 NEW BEST:: SOT 4442499 SOS 759740 HAS SOPS 759740 HAS SOUS 666225 HAS SOUPS 666225 WITH SCORE 666984.74
AT ITER 1452 NEW BEST:: SOT 4442460 SOS 759521 HAS SOPS 759521 HAS SOUS 666045 HAS SOUPS 666045 WITH SCORE 666804.521
AT ITER 1455 NEW BEST:: SOT 4442429 SOS 759520 HAS SOPS 759520 HAS SOUS 666044 HAS SOUPS 666044 WITH SCORE 666803.52
AT ITER 1470 NEW BEST:: SOT 4442259 SOS 759802 HAS SOPS 759802 HAS SOUS 666023 HAS SOUPS 666023 WITH SCORE 666782.802
AT ITER 1489 NEW BEST:: SOT 4441936 SOS 759156 HAS SOPS 759156 HAS SOUS 665377 HAS SOUPS 665377 WITH SCORE 666136.156
AT ITER 1496 NEW BEST:: SOT 4441846 SOS 759066 HAS SOPS 759066 HAS SOUS 665287 HAS SOUPS 665287 WITH SCORE 666046.066
AT ITER 1518 NEW BEST:: SOT 4441755 SOS 758884 HAS SOPS 758884 HAS SOUS 665270 HAS SOUPS 665270 WITH SCORE 666028.884
AT ITER 1539 NEW BEST:: SOT 4441753 SOS 758880 HAS SOPS 758880 HAS SOUS 665266 HAS SOUPS 665266 WITH SCORE 666024.88
AT ITER 1560 NEW BEST:: SOT 4441752 SOS 758878 HAS SOPS 758878 HAS SOUS 665264 HAS SOUPS 665264 WITH SCORE 666022.878
AT ITER 1573 NEW BEST:: SOT 4441307 SOS 758395 HAS SOPS 758395 HAS SOUS 664600 HAS SOUPS 664600 WITH SCORE 665358.395
AT ITER 1583 NEW BEST:: SOT 4441167 SOS 758115 HAS SOPS 758115 HAS SOUS 664320 HAS SOUPS 664320 WITH SCORE 665078.115
AT ITER 1586 NEW BEST:: SOT 4441166 SOS 758113 HAS SOPS 758113 HAS SOUS 664318 HAS SOUPS 664318 WITH SCORE 665076.113
AT ITER 1608 NEW BEST:: SOT 4441166 SOS 758096 HAS SOPS 758096 HAS SOUS 664301 HAS SOUPS 664301 WITH SCORE 665059.096
AT ITER 1633 NEW BEST:: SOT 4441120 SOS 757859 HAS SOPS 757859 HAS SOUS 664110 HAS SOUPS 664110 WITH SCORE 664867.859
AT ITER 1651 NEW BEST:: SOT 4441049 SOS 757717 HAS SOPS 757717 HAS SOUS 663968 HAS SOUPS 663968 WITH SCORE 664725.717
AT ITER 1659 NEW BEST:: SOT 4441049 SOS 757717 HAS SOPS 757717 HAS SOUS 663952 HAS SOUPS 663952 WITH SCORE 664709.717
AT ITER 1676 NEW BEST:: SOT 4440869 SOS 757357 HAS SOPS 757357 HAS SOUS 663400 HAS SOUPS 663400 WITH SCORE 664157.357
AT ITER 1688 NEW BEST:: SOT 4440648 SOS 757164 HAS SOPS 757164 HAS SOUS 662958 HAS SOUPS 662958 WITH SCORE 663715.164
AT ITER 1737 NEW BEST:: SOT 4440477 SOS 756822 HAS SOPS 756822 HAS SOUS 662616 HAS SOUPS 662616 WITH SCORE 663372.822
AT ITER 1742 NEW BEST:: SOT 4440281 SOS 756626 HAS SOPS 756626 HAS SOUS 662420 HAS SOUPS 662420 WITH SCORE 663176.626
AT ITER 1762 NEW BEST:: SOT 4440178 SOS 756420 HAS SOPS 756420 HAS SOUS 662214 HAS SOUPS 662214 WITH SCORE 662970.42
AT ITER 1768 NEW BEST:: SOT 4439933 SOS 755930 HAS SOPS 755930 HAS SOUS 661724 HAS SOUPS 661724 WITH SCORE 662479.93
AT ITER 1769 NEW BEST:: SOT 4439885 SOS 755834 HAS SOPS 755834 HAS SOUS 661554 HAS SOUPS 661554 WITH SCORE 662309.834
AT ITER 1778 NEW BEST:: SOT 4439841 SOS 755570 HAS SOPS 755570 HAS SOUS 661466 HAS SOUPS 661466 WITH SCORE 662221.57
AT ITER 1798 NEW BEST:: SOT 4439774 SOS 755503 HAS SOPS 755503 HAS SOUS 661399 HAS SOUPS 661399 WITH SCORE 662154.503
AT ITER 1811 NEW BEST:: SOT 4439698 SOS 755351 HAS SOPS 755351 HAS SOUS 661323 HAS SOUPS 661323 WITH SCORE 662078.351
AT ITER 1815 NEW BEST:: SOT 4439686 SOS 755327 HAS SOPS 755327 HAS SOUS 661299 HAS SOUPS 661299 WITH SCORE 662054.327
AT ITER 1818 NEW BEST:: SOT 4439647 SOS 755275 HAS SOPS 755275 HAS SOUS 661247 HAS SOUPS 661247 WITH SCORE 662002.275
AT ITER 1826 NEW BEST:: SOT 4439517 SOS 754612 HAS SOPS 754612 HAS SOUS 660774 HAS SOUPS 660774 WITH SCORE 661528.612
AT ITER 1827 NEW BEST:: SOT 4439463 SOS 754504 HAS SOPS 754504 HAS SOUS 660666 HAS SOUPS 660666 WITH SCORE 661420.504
AT ITER 1828 NEW BEST:: SOT 4439463 SOS 754504 HAS SOPS 754504 HAS SOUS 660449 HAS SOUPS 660449 WITH SCORE 661203.504
AT ITER 1830 NEW BEST:: SOT 4439056 SOS 754290 HAS SOPS 754290 HAS SOUS 660162 HAS SOUPS 660162 WITH SCORE 660916.29
AT ITER 1831 NEW BEST:: SOT 4438986 SOS 754220 HAS SOPS 754220 HAS SOUS 660092 HAS SOUPS 660092 WITH SCORE 660846.22
AT ITER 1840 NEW BEST:: SOT 4438986 SOS 754000 HAS SOPS 754000 HAS SOUS 660092 HAS SOUPS 660092 WITH SCORE 660846.0
AT ITER 1849 NEW BEST:: SOT 4438938 SOS 753904 HAS SOPS 753904 HAS SOUS 660044 HAS SOUPS 660044 WITH SCORE 660797.904
AT ITER 1884 NEW BEST:: SOT 4438650 SOS 754352 HAS SOPS 754352 HAS SOUS 659657 HAS SOUPS 659657 WITH SCORE 660411.352
AT ITER 1927 NEW BEST:: SOT 4438583 SOS 754218 HAS SOPS 754218 HAS SOUS 659523 HAS SOUPS 659523 WITH SCORE 660277.218
AT ITER 1957 NEW BEST:: SOT 4438583 SOS 753871 HAS SOPS 753871 HAS SOUS 659522 HAS SOUPS 659522 WITH SCORE 660275.871
AT ITER 2003 NEW BEST:: SOT 4438220 SOS 754045 HAS SOPS 754045 HAS SOUS 659166 HAS SOUPS 659166 WITH SCORE 659920.045
AT ITER 2004 NEW BEST:: SOT 4438220 SOS 753847 HAS SOPS 753847 HAS SOUS 659166 HAS SOUPS 659166 WITH SCORE 659919.847
AT ITER 2015 NEW BEST:: SOT 4438186 SOS 753813 HAS SOPS 753813 HAS SOUS 659132 HAS SOUPS 659132 WITH SCORE 659885.813
AT ITER 2065 NEW BEST:: SOT 4437815 SOS 753771 HAS SOPS 753771 HAS SOUS 658933 HAS SOUPS 658933 WITH SCORE 659686.771
AT ITER 2097 NEW BEST:: SOT 4437901 SOS 753720 HAS SOPS 753720 HAS SOUS 658646 HAS SOUPS 658646 WITH SCORE 659399.72
AT ITER 2107 NEW BEST:: SOT 4437908 SOS 754028 HAS SOPS 754028 HAS SOUS 658412 HAS SOUPS 658412 WITH SCORE 659166.028
AT ITER 2124 NEW BEST:: SOT 4437908 SOS 754028 HAS SOPS 754028 HAS SOUS 658251 HAS SOUPS 658251 WITH SCORE 659005.028
AT ITER 2125 NEW BEST:: SOT 4437669 SOS 753550 HAS SOPS 753550 HAS SOUS 657773 HAS SOUPS 657773 WITH SCORE 658526.55
AT ITER 2130 NEW BEST:: SOT 4437623 SOS 753458 HAS SOPS 753458 HAS SOUS 657681 HAS SOUPS 657681 WITH SCORE 658434.458
AT ITER 2133 NEW BEST:: SOT 4437579 SOS 753418 HAS SOPS 753418 HAS SOUS 657637 HAS SOUPS 657637 WITH SCORE 658390.418
AT ITER 2151 NEW BEST:: SOT 4437573 SOS 753406 HAS SOPS 753406 HAS SOUS 657625 HAS SOUPS 657625 WITH SCORE 658378.406
AT ITER 2185 NEW BEST:: SOT 4437506 SOS 753339 HAS SOPS 753339 HAS SOUS 657558 HAS SOUPS 657558 WITH SCORE 658311.339
AT ITER 2189 NEW BEST:: SOT 4437398 SOS 753015 HAS SOPS 753015 HAS SOUS 657342 HAS SOUPS 657342 WITH SCORE 658095.015
AT ITER 2208 NEW BEST:: SOT 4437314 SOS 753064 HAS SOPS 753064 HAS SOUS 657240 HAS SOUPS 657240 WITH SCORE 657993.064
AT ITER 2213 NEW BEST:: SOT 4437280 SOS 752996 HAS SOPS 752996 HAS SOUS 657172 HAS SOUPS 657172 WITH SCORE 657924.996
AT ITER 2276 NEW BEST:: SOT 4437279 SOS 752994 HAS SOPS 752994 HAS SOUS 657170 HAS SOUPS 657170 WITH SCORE 657922.994
AT ITER 2279 NEW BEST:: SOT 4437237 SOS 752965 HAS SOPS 752965 HAS SOUS 657128 HAS SOUPS 657128 WITH SCORE 657880.965
AT ITER 2288 NEW BEST:: SOT 4436950 SOS 753815 HAS SOPS 753815 HAS SOUS 656983 HAS SOUPS 656983 WITH SCORE 657736.815
AT ITER 2309 NEW BEST:: SOT 4436610 SOS 753611 HAS SOPS 753611 HAS SOUS 656711 HAS SOUPS 656711 WITH SCORE 657464.611
AT ITER 2340 NEW BEST:: SOT 4436610 SOS 753557 HAS SOPS 753557 HAS SOUS 656711 HAS SOUPS 656711 WITH SCORE 657464.557
AT ITER 2357 NEW BEST:: SOT 4436557 SOS 753451 HAS SOPS 753451 HAS SOUS 656605 HAS SOUPS 656605 WITH SCORE 657358.451
AT ITER 2363 NEW BEST:: SOT 4436557 SOS 753443 HAS SOPS 753443 HAS SOUS 656597 HAS SOUPS 656597 WITH SCORE 657350.443
AT ITER 2365 NEW BEST:: SOT 4436473 SOS 753458 HAS SOPS 753458 HAS SOUS 656547 HAS SOUPS 656547 WITH SCORE 657300.458
AT ITER 2366 NEW BEST:: SOT 4436473 SOS 753434 HAS SOPS 753434 HAS SOUS 656547 HAS SOUPS 656547 WITH SCORE 657300.434
AT ITER 2369 NEW BEST:: SOT 4436472 SOS 753432 HAS SOPS 753432 HAS SOUS 656545 HAS SOUPS 656545 WITH SCORE 657298.432
AT ITER 2375 NEW BEST:: SOT 4436472 SOS 753432 HAS SOPS 753432 HAS SOUS 656323 HAS SOUPS 656323 WITH SCORE 657076.432
AT ITER 2380 NEW BEST:: SOT 4436611 SOS 753529 HAS SOPS 753529 HAS SOUS 656091 HAS SOUPS 656091 WITH SCORE 656844.529
AT ITER 2381 NEW BEST:: SOT 4436433 SOS 753173 HAS SOPS 753173 HAS SOUS 655735 HAS SOUPS 655735 WITH SCORE 656488.173
AT ITER 2384 NEW BEST:: SOT 4436345 SOS 752572 HAS SOPS 752572 HAS SOUS 655356 HAS SOUPS 655356 WITH SCORE 656108.572
AT ITER 2425 NEW BEST:: SOT 4436064 SOS 752010 HAS SOPS 752010 HAS SOUS 654794 HAS SOUPS 654794 WITH SCORE 655546.01
AT ITER 2438 NEW BEST:: SOT 4435731 SOS 751556 HAS SOPS 751556 HAS SOUS 654281 HAS SOUPS 654281 WITH SCORE 655032.556
AT ITER 2456 NEW BEST:: SOT 4435731 SOS 751135 HAS SOPS 751135 HAS SOUS 654281 HAS SOUPS 654281 WITH SCORE 655032.135
AT ITER 2496 NEW BEST:: SOT 4435280 SOS 750233 HAS SOPS 750233 HAS SOUS 653989 HAS SOUPS 653989 WITH SCORE 654739.233
AT ITER 2498 NEW BEST:: SOT 4435191 SOS 750055 HAS SOPS 750055 HAS SOUS 653811 HAS SOUPS 653811 WITH SCORE 654561.055
AT ITER 2514 NEW BEST:: SOT 4435184 SOS 750040 HAS SOPS 750040 HAS SOUS 653796 HAS SOUPS 653796 WITH SCORE 654546.04
AT ITER 2525 NEW BEST:: SOT 4435128 SOS 749928 HAS SOPS 749928 HAS SOUS 653684 HAS SOUPS 653684 WITH SCORE 654433.928
AT ITER 2580 NEW BEST:: SOT 4434959 SOS 749590 HAS SOPS 749590 HAS SOUS 653493 HAS SOUPS 653493 WITH SCORE 654242.59
AT ITER 2586 NEW BEST:: SOT 4434865 SOS 749496 HAS SOPS 749496 HAS SOUS 653399 HAS SOUPS 653399 WITH SCORE 654148.496
AT ITER 2596 NEW BEST:: SOT 4434507 SOS 749138 HAS SOPS 749138 HAS SOUS 653041 HAS SOUPS 653041 WITH SCORE 653790.138
AT ITER 2600 NEW BEST:: SOT 4434241 SOS 748606 HAS SOPS 748606 HAS SOUS 652509 HAS SOUPS 652509 WITH SCORE 653257.606
AT ITER 2608 NEW BEST:: SOT 4434241 SOS 748370 HAS SOPS 748370 HAS SOUS 652509 HAS SOUPS 652509 WITH SCORE 653257.37
AT ITER 2633 NEW BEST:: SOT 4434093 SOS 748074 HAS SOPS 748074 HAS SOUS 652213 HAS SOUPS 652213 WITH SCORE 652961.074
AT ITER 2667 NEW BEST:: SOT 4434379 SOS 748283 HAS SOPS 748283 HAS SOUS 652136 HAS SOUPS 652136 WITH SCORE 652884.283
AT ITER 2679 NEW BEST:: SOT 4434308 SOS 748250 HAS SOPS 748250 HAS SOUS 652065 HAS SOUPS 652065 WITH SCORE 652813.25
AT ITER 2687 NEW BEST:: SOT 4434258 SOS 748200 HAS SOPS 748200 HAS SOUS 652015 HAS SOUPS 652015 WITH SCORE 652763.2
AT ITER 2701 NEW BEST:: SOT 4434325 SOS 747992 HAS SOPS 747992 HAS SOUS 651807 HAS SOUPS 651807 WITH SCORE 652554.992
AT ITER 2702 NEW BEST:: SOT 4434325 SOS 747992 HAS SOPS 747992 HAS SOUS 651752 HAS SOUPS 651752 WITH SCORE 652499.992
AT ITER 2729 NEW BEST:: SOT 4434291 SOS 747924 HAS SOPS 747924 HAS SOUS 651701 HAS SOUPS 651701 WITH SCORE 652448.924
AT ITER 2731 NEW BEST:: SOT 4434291 SOS 747924 HAS SOPS 747924 HAS SOUS 651699 HAS SOUPS 651699 WITH SCORE 652446.924
AT ITER 2755 NEW BEST:: SOT 4434112 SOS 747566 HAS SOPS 747566 HAS SOUS 651520 HAS SOUPS 651520 WITH SCORE 652267.566
AT ITER 2772 NEW BEST:: SOT 4433905 SOS 747359 HAS SOPS 747359 HAS SOUS 651312 HAS SOUPS 651312 WITH SCORE 652059.359
AT ITER 2812 NEW BEST:: SOT 4433844 SOS 747298 HAS SOPS 747298 HAS SOUS 651251 HAS SOUPS 651251 WITH SCORE 651998.298
AT ITER 2821 NEW BEST:: SOT 4433822 SOS 747254 HAS SOPS 747254 HAS SOUS 651207 HAS SOUPS 651207 WITH SCORE 651954.254
AT ITER 2827 NEW BEST:: SOT 4433688 SOS 747120 HAS SOPS 747120 HAS SOUS 651073 HAS SOUPS 651073 WITH SCORE 651820.12
AT ITER 2832 NEW BEST:: SOT 4433668 SOS 747080 HAS SOPS 747080 HAS SOUS 651033 HAS SOUPS 651033 WITH SCORE 651780.08
AT ITER 2845 NEW BEST:: SOT 4433510 SOS 746945 HAS SOPS 746945 HAS SOUS 650898 HAS SOUPS 650898 WITH SCORE 651644.945
AT ITER 2867 NEW BEST:: SOT 4433510 SOS 746930 HAS SOPS 746930 HAS SOUS 650883 HAS SOUPS 650883 WITH SCORE 651629.93
AT ITER 2886 NEW BEST:: SOT 4433416 SOS 746742 HAS SOPS 746742 HAS SOUS 650789 HAS SOUPS 650789 WITH SCORE 651535.742
AT ITER 2912 NEW BEST:: SOT 4433275 SOS 746460 HAS SOPS 746460 HAS SOUS 650654 HAS SOUPS 650654 WITH SCORE 651400.46
AT ITER 2927 NEW BEST:: SOT 4433113 SOS 746298 HAS SOPS 746298 HAS SOUS 650575 HAS SOUPS 650575 WITH SCORE 651321.298
AT ITER 2936 NEW BEST:: SOT 4432687 SOS 745053 HAS SOPS 745053 HAS SOUS 649517 HAS SOUPS 649517 WITH SCORE 650262.053
AT ITER 2959 NEW BEST:: SOT 4432507 SOS 744792 HAS SOPS 744792 HAS SOUS 649256 HAS SOUPS 649256 WITH SCORE 650000.792
AT ITER 2966 NEW BEST:: SOT 4432507 SOS 744718 HAS SOPS 744718 HAS SOUS 649256 HAS SOUPS 649256 WITH SCORE 650000.718
AT ITER 2996 NEW BEST:: SOT 4432491 SOS 744686 HAS SOPS 744686 HAS SOUS 649224 HAS SOUPS 649224 WITH SCORE 649968.686
AT ITER 3005 NEW BEST:: SOT 4432215 SOS 744410 HAS SOPS 744410 HAS SOUS 648948 HAS SOUPS 648948 WITH SCORE 649692.41
AT ITER 3012 NEW BEST:: SOT 4432214 SOS 744408 HAS SOPS 744408 HAS SOUS 648946 HAS SOUPS 648946 WITH SCORE 649690.408
AT ITER 3013 NEW BEST:: SOT 4432214 SOS 744350 HAS SOPS 744350 HAS SOUS 648888 HAS SOUPS 648888 WITH SCORE 649632.35
AT ITER 3028 NEW BEST:: SOT 4432214 SOS 744209 HAS SOPS 744209 HAS SOUS 648747 HAS SOUPS 648747 WITH SCORE 649491.209
AT ITER 3057 NEW BEST:: SOT 4432129 SOS 744039 HAS SOPS 744039 HAS SOUS 648662 HAS SOUPS 648662 WITH SCORE 649406.039
AT ITER 3134 NEW BEST:: SOT 4432180 SOS 744116 HAS SOPS 744116 HAS SOUS 648562 HAS SOUPS 648562 WITH SCORE 649306.116
AT ITER 3150 NEW BEST:: SOT 4432170 SOS 744096 HAS SOPS 744096 HAS SOUS 648542 HAS SOUPS 648542 WITH SCORE 649286.096
AT ITER 3177 NEW BEST:: SOT 4432093 SOS 743942 HAS SOPS 743942 HAS SOUS 648327 HAS SOUPS 648327 WITH SCORE 649070.942
AT ITER 3181 NEW BEST:: SOT 4432080 SOS 743929 HAS SOPS 743929 HAS SOUS 648301 HAS SOUPS 648301 WITH SCORE 649044.929
AT ITER 3191 NEW BEST:: SOT 4431990 SOS 743749 HAS SOPS 743749 HAS SOUS 648121 HAS SOUPS 648121 WITH SCORE 648864.749
AT ITER 3192 NEW BEST:: SOT 4431929 SOS 743688 HAS SOPS 743688 HAS SOUS 648060 HAS SOUPS 648060 WITH SCORE 648803.688
AT ITER 3195 NEW BEST:: SOT 4431881 SOS 743640 HAS SOPS 743640 HAS SOUS 648012 HAS SOUPS 648012 WITH SCORE 648755.64
AT ITER 3201 NEW BEST:: SOT 4431905 SOS 743688 HAS SOPS 743688 HAS SOUS 647985 HAS SOUPS 647985 WITH SCORE 648728.688
AT ITER 3208 NEW BEST:: SOT 4431889 SOS 743285 HAS SOPS 743285 HAS SOUS 647953 HAS SOUPS 647953 WITH SCORE 648696.285
AT ITER 3255 NEW BEST:: SOT 4431883 SOS 743273 HAS SOPS 743273 HAS SOUS 647941 HAS SOUPS 647941 WITH SCORE 648684.273
AT ITER 3282 NEW BEST:: SOT 4431642 SOS 743907 HAS SOPS 743907 HAS SOUS 647894 HAS SOUPS 647894 WITH SCORE 648637.907
AT ITER 3320 NEW BEST:: SOT 4431489 SOS 743601 HAS SOPS 743601 HAS SOUS 647588 HAS SOUPS 647588 WITH SCORE 648331.601
AT ITER 3345 NEW BEST:: SOT 4431191 SOS 743368 HAS SOPS 743368 HAS SOUS 647355 HAS SOUPS 647355 WITH SCORE 648098.368
AT ITER 3352 NEW BEST:: SOT 4431191 SOS 743250 HAS SOPS 743250 HAS SOUS 647355 HAS SOUPS 647355 WITH SCORE 648098.25
AT ITER 3360 NEW BEST:: SOT 4431118 SOS 743104 HAS SOPS 743104 HAS SOUS 647209 HAS SOUPS 647209 WITH SCORE 647952.104
AT ITER 3369 NEW BEST:: SOT 4431075 SOS 743018 HAS SOPS 743018 HAS SOUS 647123 HAS SOUPS 647123 WITH SCORE 647866.018
AT ITER 3371 NEW BEST:: SOT 4430952 SOS 742985 HAS SOPS 742985 HAS SOUS 647000 HAS SOUPS 647000 WITH SCORE 647742.985
AT ITER 3399 NEW BEST:: SOT 4431006 SOS 742764 HAS SOPS 742764 HAS SOUS 646758 HAS SOUPS 646758 WITH SCORE 647500.764
AT ITER 3408 NEW BEST:: SOT 4431006 SOS 742603 HAS SOPS 742603 HAS SOUS 646758 HAS SOUPS 646758 WITH SCORE 647500.603
AT ITER 3460 NEW BEST:: SOT 4431006 SOS 742318 HAS SOPS 742318 HAS SOUS 646758 HAS SOUPS 646758 WITH SCORE 647500.318
AT ITER 3475 NEW BEST:: SOT 4430880 SOS 742066 HAS SOPS 742066 HAS SOUS 646632 HAS SOUPS 646632 WITH SCORE 647374.066
AT ITER 3488 NEW BEST:: SOT 4430880 SOS 741893 HAS SOPS 741893 HAS SOUS 646631 HAS SOUPS 646631 WITH SCORE 647372.893
AT ITER 3501 NEW BEST:: SOT 4430787 SOS 741707 HAS SOPS 741707 HAS SOUS 646445 HAS SOUPS 646445 WITH SCORE 647186.707
AT ITER 3526 NEW BEST:: SOT 4430718 SOS 741569 HAS SOPS 741569 HAS SOUS 646307 HAS SOUPS 646307 WITH SCORE 647048.569
AT ITER 3545 NEW BEST:: SOT 4430713 SOS 741559 HAS SOPS 741559 HAS SOUS 646297 HAS SOUPS 646297 WITH SCORE 647038.559
AT ITER 3546 NEW BEST:: SOT 4430795 SOS 783803 HAS SOPS 783803 HAS SOUS 646107 HAS SOUPS 646107 WITH SCORE 646890.803
AT ITER 3560 NEW BEST:: SOT 4430780 SOS 783875 HAS SOPS 783875 HAS SOUS 646077 HAS SOUPS 646077 WITH SCORE 646860.875
AT ITER 3571 NEW BEST:: SOT 4430629 SOS 783573 HAS SOPS 783573 HAS SOUS 645992 HAS SOUPS 645992 WITH SCORE 646775.573
AT ITER 3576 NEW BEST:: SOT 4430547 SOS 783491 HAS SOPS 783491 HAS SOUS 645910 HAS SOUPS 645910 WITH SCORE 646693.491
AT ITER 3590 NEW BEST:: SOT 4430547 SOS 783459 HAS SOPS 783459 HAS SOUS 645878 HAS SOUPS 645878 WITH SCORE 646661.459
AT ITER 3607 NEW BEST:: SOT 4430197 SOS 783319 HAS SOPS 783319 HAS SOUS 645609 HAS SOUPS 645609 WITH SCORE 646392.319
AT ITER 3610 NEW BEST:: SOT 4430125 SOS 783275 HAS SOPS 783275 HAS SOUS 645566 HAS SOUPS 645566 WITH SCORE 646349.275
AT ITER 3614 NEW BEST:: SOT 4429930 SOS 783139 HAS SOPS 783139 HAS SOUS 645401 HAS SOUPS 645401 WITH SCORE 646184.139
AT ITER 3636 NEW BEST:: SOT 4429930 SOS 783113 HAS SOPS 783113 HAS SOUS 645375 HAS SOUPS 645375 WITH SCORE 646158.113
AT ITER 3641 NEW BEST:: SOT 4429680 SOS 783184 HAS SOPS 783184 HAS SOUS 645341 HAS SOUPS 645341 WITH SCORE 646124.184
AT ITER 3663 NEW BEST:: SOT 4429677 SOS 783178 HAS SOPS 783178 HAS SOUS 645335 HAS SOUPS 645335 WITH SCORE 646118.178
AT ITER 3676 NEW BEST:: SOT 4429600 SOS 782870 HAS SOPS 782870 HAS SOUS 645181 HAS SOUPS 645181 WITH SCORE 645963.87
AT ITER 3678 NEW BEST:: SOT 4426382 SOS 779823 HAS SOPS 779823 HAS SOUS 642662 HAS SOUPS 642662 WITH SCORE 643441.823
AT ITER 3681 NEW BEST:: SOT 4426085 SOS 779593 HAS SOPS 779593 HAS SOUS 642417 HAS SOUPS 642417 WITH SCORE 643196.593
AT ITER 3688 NEW BEST:: SOT 4426085 SOS 779593 HAS SOPS 779593 HAS SOUS 642394 HAS SOUPS 642394 WITH SCORE 643173.593
AT ITER 3746 NEW BEST:: SOT 4425927 SOS 778947 HAS SOPS 778947 HAS SOUS 642078 HAS SOUPS 642078 WITH SCORE 642856.947
AT ITER 3751 NEW BEST:: SOT 4425795 SOS 778815 HAS SOPS 778815 HAS SOUS 641814 HAS SOUPS 641814 WITH SCORE 642592.815
AT ITER 3760 NEW BEST:: SOT 4424948 SOS 778352 HAS SOPS 778352 HAS SOUS 641293 HAS SOUPS 641293 WITH SCORE 642071.352
AT ITER 3775 NEW BEST:: SOT 4424800 SOS 778056 HAS SOPS 778056 HAS SOUS 641235 HAS SOUPS 641235 WITH SCORE 642013.056
AT ITER 3816 NEW BEST:: SOT 4424651 SOS 777758 HAS SOPS 777758 HAS SOUS 641207 HAS SOUPS 641207 WITH SCORE 641984.758
AT ITER 3825 NEW BEST:: SOT 4424699 SOS 777601 HAS SOPS 777601 HAS SOUS 641050 HAS SOUPS 641050 WITH SCORE 641827.601
AT ITER 3833 NEW BEST:: SOT 4424660 SOS 777613 HAS SOPS 777613 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641749.613
AT ITER 3853 NEW BEST:: SOT 4424660 SOS 777472 HAS SOPS 777472 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641749.472
AT ITER 3860 NEW BEST:: SOT 4424660 SOS 777464 HAS SOPS 777464 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641749.464
AT ITER 3864 NEW BEST:: SOT 4424659 SOS 777462 HAS SOPS 777462 HAS SOUS 640970 HAS SOUPS 640970 WITH SCORE 641747.462
AT ITER 3875 NEW BEST:: SOT 4424530 SOS 777204 HAS SOPS 777204 HAS SOUS 640712 HAS SOUPS 640712 WITH SCORE 641489.204
AT ITER 3893 NEW BEST:: SOT 4424342 SOS 777016 HAS SOPS 777016 HAS SOUS 640524 HAS SOUPS 640524 WITH SCORE 641301.016
AT ITER 3898 NEW BEST:: SOT 4424260 SOS 777014 HAS SOPS 777014 HAS SOUS 640441 HAS SOUPS 640441 WITH SCORE 641218.014
AT ITER 3927 NEW BEST:: SOT 4424218 SOS 776989 HAS SOPS 776989 HAS SOUS 640399 HAS SOUPS 640399 WITH SCORE 641175.989
AT ITER 3942 NEW BEST:: SOT 4424187 SOS 776967 HAS SOPS 776967 HAS SOUS 640373 HAS SOUPS 640373 WITH SCORE 641149.967
AT ITER 3955 NEW BEST:: SOT 4423983 SOS 775702 HAS SOPS 775702 HAS SOUS 639846 HAS SOUPS 639846 WITH SCORE 640621.702
AT ITER 3957 NEW BEST:: SOT 4423820 SOS 775376 HAS SOPS 775376 HAS SOUS 639784 HAS SOUPS 639784 WITH SCORE 640559.376
AT ITER 3968 NEW BEST:: SOT 4423700 SOS 775216 HAS SOPS 775216 HAS SOUS 639624 HAS SOUPS 639624 WITH SCORE 640399.216
AT ITER 3976 NEW BEST:: SOT 4423667 SOS 774575 HAS SOPS 774575 HAS SOUS 639283 HAS SOUPS 639283 WITH SCORE 640057.575
AT ITER 3980 NEW BEST:: SOT 4423646 SOS 774190 HAS SOPS 774190 HAS SOUS 639241 HAS SOUPS 639241 WITH SCORE 640015.19
AT ITER 3983 NEW BEST:: SOT 4424195 SOS 774102 HAS SOPS 774102 HAS SOUS 639153 HAS SOUPS 639153 WITH SCORE 639927.102
AT ITER 4028 NEW BEST:: SOT 4424231 SOS 774174 HAS SOPS 774174 HAS SOUS 639108 HAS SOUPS 639108 WITH SCORE 639882.174
AT ITER 4041 NEW BEST:: SOT 4423955 SOS 773965 HAS SOPS 773965 HAS SOUS 638863 HAS SOUPS 638863 WITH SCORE 639636.965
AT ITER 4059 NEW BEST:: SOT 4423978 SOS 773585 HAS SOPS 773585 HAS SOUS 638673 HAS SOUPS 638673 WITH SCORE 639446.585
AT ITER 4075 NEW BEST:: SOT 4423833 SOS 773218 HAS SOPS 773218 HAS SOUS 637964 HAS SOUPS 637964 WITH SCORE 638737.218
AT ITER 4092 NEW BEST:: SOT 4423749 SOS 773050 HAS SOPS 773050 HAS SOUS 637796 HAS SOUPS 637796 WITH SCORE 638569.05
AT ITER 4175 NEW BEST:: SOT 4423677 SOS 773253 HAS SOPS 773253 HAS SOUS 637543 HAS SOUPS 637543 WITH SCORE 638316.253
AT ITER 4183 NEW BEST:: SOT 4423666 SOS 773242 HAS SOPS 773242 HAS SOUS 637521 HAS SOUPS 637521 WITH SCORE 638294.242
AT ITER 4228 NEW BEST:: SOT 4423154 SOS 773854 HAS SOPS 773854 HAS SOUS 637351 HAS SOUPS 637351 WITH SCORE 638124.854
AT ITER 4230 NEW BEST:: SOT 4423116 SOS 773778 HAS SOPS 773778 HAS SOUS 637275 HAS SOUPS 637275 WITH SCORE 638048.778
AT ITER 4232 NEW BEST:: SOT 4423068 SOS 773742 HAS SOPS 773742 HAS SOUS 637239 HAS SOUPS 637239 WITH SCORE 638012.742
AT ITER 4239 NEW BEST:: SOT 4422697 SOS 773000 HAS SOPS 773000 HAS SOUS 636495 HAS SOUPS 636495 WITH SCORE 637268.0
AT ITER 4259 NEW BEST:: SOT 4422748 SOS 772782 HAS SOPS 772782 HAS SOUS 636277 HAS SOUPS 636277 WITH SCORE 637049.782
AT ITER 4273 NEW BEST:: SOT 4422720 SOS 772726 HAS SOPS 772726 HAS SOUS 636249 HAS SOUPS 636249 WITH SCORE 637021.726
AT ITER 4297 NEW BEST:: SOT 4422646 SOS 772578 HAS SOPS 772578 HAS SOUS 636137 HAS SOUPS 636137 WITH SCORE 636909.578
AT ITER 4323 NEW BEST:: SOT 4422494 SOS 771861 HAS SOPS 771861 HAS SOUS 635833 HAS SOUPS 635833 WITH SCORE 636604.861
AT ITER 4334 NEW BEST:: SOT 4422494 SOS 771753 HAS SOPS 771753 HAS SOUS 635833 HAS SOUPS 635833 WITH SCORE 636604.753
AT ITER 4336 NEW BEST:: SOT 4422232 SOS 770966 HAS SOPS 770966 HAS SOUS 635309 HAS SOUPS 635309 WITH SCORE 636079.966
AT ITER 4345 NEW BEST:: SOT 4422232 SOS 770934 HAS SOPS 770934 HAS SOUS 635277 HAS SOUPS 635277 WITH SCORE 636047.934
AT ITER 4351 NEW BEST:: SOT 4422083 SOS 771208 HAS SOPS 771208 HAS SOUS 635274 HAS SOUPS 635274 WITH SCORE 636045.208
AT ITER 4362 NEW BEST:: SOT 4421603 SOS 771596 HAS SOPS 771596 HAS SOUS 635016 HAS SOUPS 635016 WITH SCORE 635787.596
AT ITER 4365 NEW BEST:: SOT 4421602 SOS 771595 HAS SOPS 771595 HAS SOUS 635014 HAS SOUPS 635014 WITH SCORE 635785.595
AT ITER 4398 NEW BEST:: SOT 4421285 SOS 771479 HAS SOPS 771479 HAS SOUS 634898 HAS SOUPS 634898 WITH SCORE 635669.479
AT ITER 4417 NEW BEST:: SOT 4421054 SOS 771298 HAS SOPS 771298 HAS SOUS 634697 HAS SOUPS 634697 WITH SCORE 635468.298
AT ITER 4426 NEW BEST:: SOT 4421110 SOS 771064 HAS SOPS 771064 HAS SOUS 634066 HAS SOUPS 634066 WITH SCORE 634837.064
AT ITER 4437 NEW BEST:: SOT 4421177 SOS 771198 HAS SOPS 771198 HAS SOUS 634053 HAS SOUPS 634053 WITH SCORE 634824.198
AT ITER 4441 NEW BEST:: SOT 4420901 SOS 770922 HAS SOPS 770922 HAS SOUS 633777 HAS SOUPS 633777 WITH SCORE 634547.922
AT ITER 4446 NEW BEST:: SOT 4420754 SOS 770775 HAS SOPS 770775 HAS SOUS 633630 HAS SOUPS 633630 WITH SCORE 634400.775
AT ITER 4481 NEW BEST:: SOT 4420723 SOS 770713 HAS SOPS 770713 HAS SOUS 633568 HAS SOUPS 633568 WITH SCORE 634338.713
AT ITER 4483 NEW BEST:: SOT 4420412 SOS 770557 HAS SOPS 770557 HAS SOUS 633412 HAS SOUPS 633412 WITH SCORE 634182.557
AT ITER 4485 NEW BEST:: SOT 4420411 SOS 770555 HAS SOPS 770555 HAS SOUS 633410 HAS SOUPS 633410 WITH SCORE 634180.555
AT ITER 4517 NEW BEST:: SOT 4420340 SOS 770296 HAS SOPS 770296 HAS SOUS 633220 HAS SOUPS 633220 WITH SCORE 633990.296
AT ITER 4543 NEW BEST:: SOT 4420306 SOS 770262 HAS SOPS 770262 HAS SOUS 633186 HAS SOUPS 633186 WITH SCORE 633956.262
AT ITER 4545 NEW BEST:: SOT 4420276 SOS 770202 HAS SOPS 770202 HAS SOUS 633126 HAS SOUPS 633126 WITH SCORE 633896.202
AT ITER 4552 NEW BEST:: SOT 4419821 SOS 739259 HAS SOPS 739259 HAS SOUS 632716 HAS SOUPS 632716 WITH SCORE 633455.259
AT ITER 4561 NEW BEST:: SOT 4419783 SOS 739183 HAS SOPS 739183 HAS SOUS 632692 HAS SOUPS 632692 WITH SCORE 633431.183
AT ITER 4576 NEW BEST:: SOT 4419905 SOS 739427 HAS SOPS 739427 HAS SOUS 632558 HAS SOUPS 632558 WITH SCORE 633297.427
AT ITER 4615 NEW BEST:: SOT 4419905 SOS 739378 HAS SOPS 739378 HAS SOUS 632555 HAS SOUPS 632555 WITH SCORE 633294.378
AT ITER 4678 NEW BEST:: SOT 4419311 SOS 738190 HAS SOPS 738190 HAS SOUS 631953 HAS SOUPS 631953 WITH SCORE 632691.19
AT ITER 4694 NEW BEST:: SOT 4419269 SOS 738148 HAS SOPS 738148 HAS SOUS 631911 HAS SOUPS 631911 WITH SCORE 632649.148
AT ITER 4709 NEW BEST:: SOT 4417473 SOS 744132 HAS SOPS 744132 HAS SOUS 630343 HAS SOUPS 630343 WITH SCORE 631087.132
AT ITER 4719 NEW BEST:: SOT 4417473 SOS 744110 HAS SOPS 744110 HAS SOUS 630343 HAS SOUPS 630343 WITH SCORE 631087.11
AT ITER 4738 NEW BEST:: SOT 4416748 SOS 743845 HAS SOPS 743845 HAS SOUS 629618 HAS SOUPS 629618 WITH SCORE 630361.845
AT ITER 4740 NEW BEST:: SOT 4416563 SOS 743697 HAS SOPS 743697 HAS SOUS 629470 HAS SOUPS 629470 WITH SCORE 630213.697
AT ITER 4745 NEW BEST:: SOT 4416481 SOS 743745 HAS SOPS 743745 HAS SOUS 629388 HAS SOUPS 629388 WITH SCORE 630131.745
AT ITER 4777 NEW BEST:: SOT 4416314 SOS 743976 HAS SOPS 743976 HAS SOUS 629342 HAS SOUPS 629342 WITH SCORE 630085.976
AT ITER 4788 NEW BEST:: SOT 4416346 SOS 744040 HAS SOPS 744040 HAS SOUS 629219 HAS SOUPS 629219 WITH SCORE 629963.04
AT ITER 4809 NEW BEST:: SOT 4416338 SOS 744024 HAS SOPS 744024 HAS SOUS 629203 HAS SOUPS 629203 WITH SCORE 629947.024
AT ITER 4824 NEW BEST:: SOT 4416234 SOS 743816 HAS SOPS 743816 HAS SOUS 628995 HAS SOUPS 628995 WITH SCORE 629738.816
AT ITER 4829 NEW BEST:: SOT 4415874 SOS 744716 HAS SOPS 744716 HAS SOUS 628847 HAS SOUPS 628847 WITH SCORE 629591.716
AT ITER 4836 NEW BEST:: SOT 4415874 SOS 744678 HAS SOPS 744678 HAS SOUS 628847 HAS SOUPS 628847 WITH SCORE 629591.678
AT ITER 4857 NEW BEST:: SOT 4415612 SOS 744021 HAS SOPS 744021 HAS SOUS 628818 HAS SOUPS 628818 WITH SCORE 629562.021
AT ITER 4871 NEW BEST:: SOT 4415527 SOS 743851 HAS SOPS 743851 HAS SOUS 628447 HAS SOUPS 628447 WITH SCORE 629190.851
AT ITER 4901 NEW BEST:: SOT 4415527 SOS 743851 HAS SOPS 743851 HAS SOUS 628357 HAS SOUPS 628357 WITH SCORE 629100.851
AT ITER 4903 NEW BEST:: SOT 4415428 SOS 743653 HAS SOPS 743653 HAS SOUS 628159 HAS SOUPS 628159 WITH SCORE 628902.653
AT ITER 4917 NEW BEST:: SOT 4415251 SOS 743299 HAS SOPS 743299 HAS SOUS 628097 HAS SOUPS 628097 WITH SCORE 628840.299
AT ITER 4920 NEW BEST:: SOT 4415159 SOS 743115 HAS SOPS 743115 HAS SOUS 628002 HAS SOUPS 628002 WITH SCORE 628745.115
AT ITER 4921 NEW BEST:: SOT 4415150 SOS 743097 HAS SOPS 743097 HAS SOUS 627993 HAS SOUPS 627993 WITH SCORE 628736.097
AT ITER 4924 NEW BEST:: SOT 4415064 SOS 743011 HAS SOPS 743011 HAS SOUS 627907 HAS SOUPS 627907 WITH SCORE 628650.011
AT ITER 4942 NEW BEST:: SOT 4414957 SOS 742797 HAS SOPS 742797 HAS SOUS 627906 HAS SOUPS 627906 WITH SCORE 628648.797
AT ITER 4956 NEW BEST:: SOT 4414957 SOS 742797 HAS SOPS 742797 HAS SOUS 627905 HAS SOUPS 627905 WITH SCORE 628647.797
AT ITER 4963 NEW BEST:: SOT 4414879 SOS 742719 HAS SOPS 742719 HAS SOUS 627827 HAS SOUPS 627827 WITH SCORE 628569.719
AT ITER 4964 NEW BEST:: SOT 4414663 SOS 742662 HAS SOPS 742662 HAS SOUS 627770 HAS SOUPS 627770 WITH SCORE 628512.662
AT ITER 4973 NEW BEST:: SOT 4414656 SOS 742648 HAS SOPS 742648 HAS SOUS 627756 HAS SOUPS 627756 WITH SCORE 628498.648
AT ITER 5014 NEW BEST:: SOT 4414548 SOS 742552 HAS SOPS 742552 HAS SOUS 627660 HAS SOUPS 627660 WITH SCORE 628402.552
AT ITER 5019 NEW BEST:: SOT 4414547 SOS 742550 HAS SOPS 742550 HAS SOUS 627658 HAS SOUPS 627658 WITH SCORE 628400.55
AT ITER 5028 NEW BEST:: SOT 4414505 SOS 742466 HAS SOPS 742466 HAS SOUS 627562 HAS SOUPS 627562 WITH SCORE 628304.466
AT ITER 5032 NEW BEST:: SOT 4414435 SOS 742396 HAS SOPS 742396 HAS SOUS 627492 HAS SOUPS 627492 WITH SCORE 628234.396
AT ITER 5076 NEW BEST:: SOT 4414134 SOS 741794 HAS SOPS 741794 HAS SOUS 626890 HAS SOUPS 626890 WITH SCORE 627631.794
AT ITER 5180 NEW BEST:: SOT 4412800 SOS 742091 HAS SOPS 742091 HAS SOUS 626022 HAS SOUPS 626022 WITH SCORE 626764.091
AT ITER 5188 NEW BEST:: SOT 4412710 SOS 742001 HAS SOPS 742001 HAS SOUS 625932 HAS SOUPS 625932 WITH SCORE 626674.001
AT ITER 5194 NEW BEST:: SOT 4412678 SOS 741937 HAS SOPS 741937 HAS SOUS 625868 HAS SOUPS 625868 WITH SCORE 626609.937
AT ITER 5218 NEW BEST:: SOT 4412557 SOS 741931 HAS SOPS 741931 HAS SOUS 625764 HAS SOUPS 625764 WITH SCORE 626505.931
AT ITER 5221 NEW BEST:: SOT 4412556 SOS 741693 HAS SOPS 741693 HAS SOUS 625762 HAS SOUPS 625762 WITH SCORE 626503.693
AT ITER 5254 NEW BEST:: SOT 4412279 SOS 741139 HAS SOPS 741139 HAS SOUS 625485 HAS SOUPS 625485 WITH SCORE 626226.139
AT ITER 5284 NEW BEST:: SOT 4411995 SOS 741103 HAS SOPS 741103 HAS SOUS 625316 HAS SOUPS 625316 WITH SCORE 626057.103
AT ITER 5299 NEW BEST:: SOT 4411930 SOS 740736 HAS SOPS 740736 HAS SOUS 624938 HAS SOUPS 624938 WITH SCORE 625678.736
AT ITER 5377 NEW BEST:: SOT 4411865 SOS 740606 HAS SOPS 740606 HAS SOUS 624790 HAS SOUPS 624790 WITH SCORE 625530.606
AT ITER 5403 NEW BEST:: SOT 4411802 SOS 740606 HAS SOPS 740606 HAS SOUS 624727 HAS SOUPS 624727 WITH SCORE 625467.606
AT ITER 5406 NEW BEST:: SOT 4411894 SOS 740790 HAS SOPS 740790 HAS SOUS 624635 HAS SOUPS 624635 WITH SCORE 625375.79
AT ITER 5414 NEW BEST:: SOT 4411681 SOS 740577 HAS SOPS 740577 HAS SOUS 624351 HAS SOUPS 624351 WITH SCORE 625091.577
AT ITER 5420 NEW BEST:: SOT 4411640 SOS 740495 HAS SOPS 740495 HAS SOUS 624310 HAS SOUPS 624310 WITH SCORE 625050.495
AT ITER 5437 NEW BEST:: SOT 4411591 SOS 740397 HAS SOPS 740397 HAS SOUS 624212 HAS SOUPS 624212 WITH SCORE 624952.397
AT ITER 5462 NEW BEST:: SOT 4411574 SOS 740363 HAS SOPS 740363 HAS SOUS 624178 HAS SOUPS 624178 WITH SCORE 624918.363
AT ITER 5463 NEW BEST:: SOT 4411574 SOS 740252 HAS SOPS 740252 HAS SOUS 624178 HAS SOUPS 624178 WITH SCORE 624918.252
AT ITER 5478 NEW BEST:: SOT 4411341 SOS 740180 HAS SOPS 740180 HAS SOUS 624013 HAS SOUPS 624013 WITH SCORE 624753.18
AT ITER 5486 NEW BEST:: SOT 4411096 SOS 740513 HAS SOPS 740513 HAS SOUS 623888 HAS SOUPS 623888 WITH SCORE 624628.513
AT ITER 5497 NEW BEST:: SOT 4411143 SOS 740495 HAS SOPS 740495 HAS SOUS 623870 HAS SOUPS 623870 WITH SCORE 624610.495
AT ITER 5511 NEW BEST:: SOT 4411080 SOS 740283 HAS SOPS 740283 HAS SOUS 623744 HAS SOUPS 623744 WITH SCORE 624484.283
AT ITER 5550 NEW BEST:: SOT 4410518 SOS 740089 HAS SOPS 740089 HAS SOUS 623325 HAS SOUPS 623325 WITH SCORE 624065.089
AT ITER 5595 NEW BEST:: SOT 4410518 SOS 740089 HAS SOPS 740089 HAS SOUS 623304 HAS SOUPS 623304 WITH SCORE 624044.089
AT ITER 5597 NEW BEST:: SOT 4410300 SOS 739653 HAS SOPS 739653 HAS SOUS 623086 HAS SOUPS 623086 WITH SCORE 623825.653
AT ITER 5600 NEW BEST:: SOT 4410300 SOS 739575 HAS SOPS 739575 HAS SOUS 623086 HAS SOUPS 623086 WITH SCORE 623825.575
AT ITER 5603 NEW BEST:: SOT 4410299 SOS 739573 HAS SOPS 739573 HAS SOUS 623074 HAS SOUPS 623074 WITH SCORE 623813.573
AT ITER 5607 NEW BEST:: SOT 4410346 SOS 739667 HAS SOPS 739667 HAS SOUS 623050 HAS SOUPS 623050 WITH SCORE 623789.667
AT ITER 5618 NEW BEST:: SOT 4410261 SOS 739283 HAS SOPS 739283 HAS SOUS 622812 HAS SOUPS 622812 WITH SCORE 623551.283
AT ITER 5622 NEW BEST:: SOT 4410221 SOS 739203 HAS SOPS 739203 HAS SOUS 622732 HAS SOUPS 622732 WITH SCORE 623471.203
AT ITER 5636 NEW BEST:: SOT 4410237 SOS 739235 HAS SOPS 739235 HAS SOUS 622557 HAS SOUPS 622557 WITH SCORE 623296.235
AT ITER 5652 NEW BEST:: SOT 4410278 SOS 739165 HAS SOPS 739165 HAS SOUS 622487 HAS SOUPS 622487 WITH SCORE 623226.165
AT ITER 5676 NEW BEST:: SOT 4410276 SOS 739161 HAS SOPS 739161 HAS SOUS 622483 HAS SOUPS 622483 WITH SCORE 623222.161
AT ITER 5682 NEW BEST:: SOT 4410190 SOS 738989 HAS SOPS 738989 HAS SOUS 622225 HAS SOUPS 622225 WITH SCORE 622963.989
AT ITER 5718 NEW BEST:: SOT 4410092 SOS 738793 HAS SOPS 738793 HAS SOUS 622127 HAS SOUPS 622127 WITH SCORE 622865.793
AT ITER 5720 NEW BEST:: SOT 4410088 SOS 738785 HAS SOPS 738785 HAS SOUS 622119 HAS SOUPS 622119 WITH SCORE 622857.785
AT ITER 5728 NEW BEST:: SOT 4409972 SOS 738553 HAS SOPS 738553 HAS SOUS 622003 HAS SOUPS 622003 WITH SCORE 622741.553
AT ITER 5730 NEW BEST:: SOT 4409688 SOS 737985 HAS SOPS 737985 HAS SOUS 621719 HAS SOUPS 621719 WITH SCORE 622456.985
AT ITER 5733 NEW BEST:: SOT 4409593 SOS 738263 HAS SOPS 738263 HAS SOUS 621656 HAS SOUPS 621656 WITH SCORE 622394.263
AT ITER 5735 NEW BEST:: SOT 4409534 SOS 738040 HAS SOPS 738040 HAS SOUS 621492 HAS SOUPS 621492 WITH SCORE 622230.04
AT ITER 5752 NEW BEST:: SOT 4409523 SOS 738018 HAS SOPS 738018 HAS SOUS 621470 HAS SOUPS 621470 WITH SCORE 622208.018
AT ITER 5763 NEW BEST:: SOT 4409545 SOS 737850 HAS SOPS 737850 HAS SOUS 621337 HAS SOUPS 621337 WITH SCORE 622074.85
AT ITER 5792 NEW BEST:: SOT 4409545 SOS 737549 HAS SOPS 737549 HAS SOUS 621337 HAS SOUPS 621337 WITH SCORE 622074.549
AT ITER 5793 NEW BEST:: SOT 4409538 SOS 736765 HAS SOPS 736765 HAS SOUS 621110 HAS SOUPS 621110 WITH SCORE 621846.765
AT ITER 5795 NEW BEST:: SOT 4409476 SOS 736579 HAS SOPS 736579 HAS SOUS 621048 HAS SOUPS 621048 WITH SCORE 621784.579
AT ITER 5813 NEW BEST:: SOT 4409331 SOS 736037 HAS SOPS 736037 HAS SOUS 620583 HAS SOUPS 620583 WITH SCORE 621319.037
AT ITER 5860 NEW BEST:: SOT 4409327 SOS 736029 HAS SOPS 736029 HAS SOUS 620575 HAS SOUPS 620575 WITH SCORE 621311.029
AT ITER 5879 NEW BEST:: SOT 4409373 SOS 735337 HAS SOPS 735337 HAS SOUS 620479 HAS SOUPS 620479 WITH SCORE 621214.337
AT ITER 5880 NEW BEST:: SOT 4409362 SOS 735304 HAS SOPS 735304 HAS SOUS 620446 HAS SOUPS 620446 WITH SCORE 621181.304
AT ITER 5895 NEW BEST:: SOT 4409339 SOS 735235 HAS SOPS 735235 HAS SOUS 620400 HAS SOUPS 620400 WITH SCORE 621135.235
AT ITER 5896 NEW BEST:: SOT 4409339 SOS 735232 HAS SOPS 735232 HAS SOUS 620400 HAS SOUPS 620400 WITH SCORE 621135.232
AT ITER 5901 NEW BEST:: SOT 4408913 SOS 734658 HAS SOPS 734658 HAS SOUS 619726 HAS SOUPS 619726 WITH SCORE 620460.658
AT ITER 5904 NEW BEST:: SOT 4408912 SOS 734612 HAS SOPS 734612 HAS SOUS 619679 HAS SOUPS 619679 WITH SCORE 620413.612
AT ITER 5936 NEW BEST:: SOT 4408716 SOS 734220 HAS SOPS 734220 HAS SOUS 619287 HAS SOUPS 619287 WITH SCORE 620021.22
AT ITER 5937 NEW BEST:: SOT 4408716 SOS 733954 HAS SOPS 733954 HAS SOUS 619021 HAS SOUPS 619021 WITH SCORE 619754.954
AT ITER 5961 NEW BEST:: SOT 4408659 SOS 733840 HAS SOPS 733840 HAS SOUS 618936 HAS SOUPS 618936 WITH SCORE 619669.84
AT ITER 6000 NEW BEST:: SOT 4408875 SOS 733772 HAS SOPS 733772 HAS SOUS 618902 HAS SOUPS 618902 WITH SCORE 619635.772
AT ITER 6013 NEW BEST:: SOT 4408875 SOS 733772 HAS SOPS 733772 HAS SOUS 618901 HAS SOUPS 618901 WITH SCORE 619634.772
AT ITER 6035 NEW BEST:: SOT 4408631 SOS 733284 HAS SOPS 733284 HAS SOUS 618413 HAS SOUPS 618413 WITH SCORE 619146.284
AT ITER 6083 NEW BEST:: SOT 4408631 SOS 733284 HAS SOPS 733284 HAS SOUS 618327 HAS SOUPS 618327 WITH SCORE 619060.284
AT ITER 6085 NEW BEST:: SOT 4408530 SOS 733183 HAS SOPS 733183 HAS SOUS 618284 HAS SOUPS 618284 WITH SCORE 619017.183
AT ITER 6120 NEW BEST:: SOT 4408485 SOS 733093 HAS SOPS 733093 HAS SOUS 618060 HAS SOUPS 618060 WITH SCORE 618793.093
AT ITER 6137 NEW BEST:: SOT 4408477 SOS 733077 HAS SOPS 733077 HAS SOUS 618044 HAS SOUPS 618044 WITH SCORE 618777.077
AT ITER 6145 NEW BEST:: SOT 4408440 SOS 733040 HAS SOPS 733040 HAS SOUS 617970 HAS SOUPS 617970 WITH SCORE 618703.04
AT ITER 6159 NEW BEST:: SOT 4408275 SOS 732926 HAS SOPS 732926 HAS SOUS 617805 HAS SOUPS 617805 WITH SCORE 618537.926
AT ITER 6163 NEW BEST:: SOT 4408275 SOS 732893 HAS SOPS 732893 HAS SOUS 617772 HAS SOUPS 617772 WITH SCORE 618504.893
AT ITER 6184 NEW BEST:: SOT 4408004 SOS 732641 HAS SOPS 732641 HAS SOUS 617520 HAS SOUPS 617520 WITH SCORE 618252.641
AT ITER 6193 NEW BEST:: SOT 4407881 SOS 732376 HAS SOPS 732376 HAS SOUS 617274 HAS SOUPS 617274 WITH SCORE 618006.376
AT ITER 6230 NEW BEST:: SOT 4407857 SOS 732328 HAS SOPS 732328 HAS SOUS 617146 HAS SOUPS 617146 WITH SCORE 617878.328
AT ITER 6247 NEW BEST:: SOT 4407857 SOS 732328 HAS SOPS 732328 HAS SOUS 617145 HAS SOUPS 617145 WITH SCORE 617877.328
AT ITER 6259 NEW BEST:: SOT 4407796 SOS 732050 HAS SOPS 732050 HAS SOUS 617005 HAS SOUPS 617005 WITH SCORE 617737.05
AT ITER 6308 NEW BEST:: SOT 4407795 SOS 731995 HAS SOPS 731995 HAS SOUS 617003 HAS SOUPS 617003 WITH SCORE 617734.995
AT ITER 6310 NEW BEST:: SOT 4407641 SOS 732205 HAS SOPS 732205 HAS SOUS 616923 HAS SOUPS 616923 WITH SCORE 617655.205
AT ITER 6343 NEW BEST:: SOT 4407534 SOS 731991 HAS SOPS 731991 HAS SOUS 616709 HAS SOUPS 616709 WITH SCORE 617440.991
AT ITER 6374 NEW BEST:: SOT 4407523 SOS 731969 HAS SOPS 731969 HAS SOUS 616698 HAS SOUPS 616698 WITH SCORE 617429.969
AT ITER 6384 NEW BEST:: SOT 4407522 SOS 731967 HAS SOPS 731967 HAS SOUS 616696 HAS SOUPS 616696 WITH SCORE 617427.967
AT ITER 6443 NEW BEST:: SOT 4407226 SOS 732475 HAS SOPS 732475 HAS SOUS 616610 HAS SOUPS 616610 WITH SCORE 617342.475
AT ITER 6478 NEW BEST:: SOT 4406592 SOS 734711 HAS SOPS 734711 HAS SOUS 616552 HAS SOUPS 616552 WITH SCORE 617286.711
AT ITER 6510 NEW BEST:: SOT 4406582 SOS 734790 HAS SOPS 734790 HAS SOUS 616542 HAS SOUPS 616542 WITH SCORE 617276.79
AT ITER 6567 NEW BEST:: SOT 4406478 SOS 734582 HAS SOPS 734582 HAS SOUS 616334 HAS SOUPS 616334 WITH SCORE 617068.582
AT ITER 6576 NEW BEST:: SOT 4406378 SOS 734293 HAS SOPS 734293 HAS SOUS 616134 HAS SOUPS 616134 WITH SCORE 616868.293
AT ITER 6612 NEW BEST:: SOT 4406374 SOS 734285 HAS SOPS 734285 HAS SOUS 616129 HAS SOUPS 616129 WITH SCORE 616863.285
AT ITER 6644 NEW BEST:: SOT 4406318 SOS 734173 HAS SOPS 734173 HAS SOUS 616123 HAS SOUPS 616123 WITH SCORE 616857.173
AT ITER 6648 NEW BEST:: SOT 4406219 SOS 734253 HAS SOPS 734253 HAS SOUS 616114 HAS SOUPS 616114 WITH SCORE 616848.253
AT ITER 6653 NEW BEST:: SOT 4406108 SOS 734031 HAS SOPS 734031 HAS SOUS 616003 HAS SOUPS 616003 WITH SCORE 616737.031
AT ITER 6659 NEW BEST:: SOT 4406007 SOS 733829 HAS SOPS 733829 HAS SOUS 615801 HAS SOUPS 615801 WITH SCORE 616534.829
AT ITER 6661 NEW BEST:: SOT 4406007 SOS 733809 HAS SOPS 733809 HAS SOUS 615781 HAS SOUPS 615781 WITH SCORE 616514.809
AT ITER 6668 NEW BEST:: SOT 4405978 SOS 733780 HAS SOPS 733780 HAS SOUS 615752 HAS SOUPS 615752 WITH SCORE 616485.78
AT ITER 6697 NEW BEST:: SOT 4405924 SOS 733699 HAS SOPS 733699 HAS SOUS 615671 HAS SOUPS 615671 WITH SCORE 616404.699
AT ITER 6732 NEW BEST:: SOT 4405923 SOS 733635 HAS SOPS 733635 HAS SOUS 615669 HAS SOUPS 615669 WITH SCORE 616402.635
AT ITER 6735 NEW BEST:: SOT 4405467 SOS 733511 HAS SOPS 733511 HAS SOUS 615229 HAS SOUPS 615229 WITH SCORE 615962.511
AT ITER 6736 NEW BEST:: SOT 4405362 SOS 732797 HAS SOPS 732797 HAS SOUS 614690 HAS SOUPS 614690 WITH SCORE 615422.797
AT ITER 6738 NEW BEST:: SOT 4405304 SOS 732768 HAS SOPS 732768 HAS SOUS 614661 HAS SOUPS 614661 WITH SCORE 615393.768
AT ITER 6747 NEW BEST:: SOT 4405128 SOS 732680 HAS SOPS 732680 HAS SOUS 614485 HAS SOUPS 614485 WITH SCORE 615217.68
AT ITER 6766 NEW BEST:: SOT 4405122 SOS 732668 HAS SOPS 732668 HAS SOUS 614473 HAS SOUPS 614473 WITH SCORE 615205.668
AT ITER 6767 NEW BEST:: SOT 4405122 SOS 732536 HAS SOPS 732536 HAS SOUS 614473 HAS SOUPS 614473 WITH SCORE 615205.536
AT ITER 6799 NEW BEST:: SOT 4404716 SOS 731724 HAS SOPS 731724 HAS SOUS 614194 HAS SOUPS 614194 WITH SCORE 614925.724
AT ITER 6809 NEW BEST:: SOT 4404761 SOS 731933 HAS SOPS 731933 HAS SOUS 614165 HAS SOUPS 614165 WITH SCORE 614896.933
AT ITER 6824 NEW BEST:: SOT 4404761 SOS 731757 HAS SOPS 731757 HAS SOUS 614165 HAS SOUPS 614165 WITH SCORE 614896.757
AT ITER 6838 NEW BEST:: SOT 4404622 SOS 731757 HAS SOPS 731757 HAS SOUS 614026 HAS SOUPS 614026 WITH SCORE 614757.757
AT ITER 6864 NEW BEST:: SOT 4404622 SOS 731712 HAS SOPS 731712 HAS SOUS 613981 HAS SOUPS 613981 WITH SCORE 614712.712
AT ITER 6865 NEW BEST:: SOT 4404595 SOS 731658 HAS SOPS 731658 HAS SOUS 613978 HAS SOUPS 613978 WITH SCORE 614709.658
AT ITER 6870 NEW BEST:: SOT 4403975 SOS 730108 HAS SOPS 730108 HAS SOUS 613048 HAS SOUPS 613048 WITH SCORE 613778.108
AT ITER 6880 NEW BEST:: SOT 4403825 SOS 730108 HAS SOPS 730108 HAS SOUS 612973 HAS SOUPS 612973 WITH SCORE 613703.108
AT ITER 6886 NEW BEST:: SOT 4403678 SOS 729814 HAS SOPS 729814 HAS SOUS 612679 HAS SOUPS 612679 WITH SCORE 613408.814
AT ITER 6911 NEW BEST:: SOT 4403653 SOS 729764 HAS SOPS 729764 HAS SOUS 612629 HAS SOUPS 612629 WITH SCORE 613358.764
AT ITER 6984 NEW BEST:: SOT 4403493 SOS 729444 HAS SOPS 729444 HAS SOUS 612309 HAS SOUPS 612309 WITH SCORE 613038.444
AT ITER 7042 NEW BEST:: SOT 4403363 SOS 729184 HAS SOPS 729184 HAS SOUS 612049 HAS SOUPS 612049 WITH SCORE 612778.184
AT ITER 7097 NEW BEST:: SOT 4403226 SOS 729047 HAS SOPS 729047 HAS SOUS 612049 HAS SOUPS 612049 WITH SCORE 612778.047
AT ITER 7113 NEW BEST:: SOT 4403185 SOS 728965 HAS SOPS 728965 HAS SOUS 611967 HAS SOUPS 611967 WITH SCORE 612695.965
AT ITER 7120 NEW BEST:: SOT 4403206 SOS 728583 HAS SOPS 728583 HAS SOUS 611694 HAS SOUPS 611694 WITH SCORE 612422.583
AT ITER 7182 NEW BEST:: SOT 4403205 SOS 728581 HAS SOPS 728581 HAS SOUS 611631 HAS SOUPS 611631 WITH SCORE 612359.581
AT ITER 7192 NEW BEST:: SOT 4403149 SOS 728469 HAS SOPS 728469 HAS SOUS 611575 HAS SOUPS 611575 WITH SCORE 612303.469
AT ITER 7194 NEW BEST:: SOT 4403136 SOS 728443 HAS SOPS 728443 HAS SOUS 611549 HAS SOUPS 611549 WITH SCORE 612277.443
AT ITER 7215 NEW BEST:: SOT 4403136 SOS 728053 HAS SOPS 728053 HAS SOUS 611549 HAS SOUPS 611549 WITH SCORE 612277.053
AT ITER 7216 NEW BEST:: SOT 4402961 SOS 727487 HAS SOPS 727487 HAS SOUS 611524 HAS SOUPS 611524 WITH SCORE 612251.487
AT ITER 7218 NEW BEST:: SOT 4402722 SOS 726947 HAS SOPS 726947 HAS SOUS 610941 HAS SOUPS 610941 WITH SCORE 611667.947
AT ITER 7221 NEW BEST:: SOT 4402494 SOS 726643 HAS SOPS 726643 HAS SOUS 610637 HAS SOUPS 610637 WITH SCORE 611363.643
AT ITER 7238 NEW BEST:: SOT 4402365 SOS 726514 HAS SOPS 726514 HAS SOUS 610379 HAS SOUPS 610379 WITH SCORE 611105.514
AT ITER 7275 NEW BEST:: SOT 4402309 SOS 726469 HAS SOPS 726469 HAS SOUS 610334 HAS SOUPS 610334 WITH SCORE 611060.469
AT ITER 7299 NEW BEST:: SOT 4402211 SOS 726273 HAS SOPS 726273 HAS SOUS 610236 HAS SOUPS 610236 WITH SCORE 610962.273
AT ITER 7301 NEW BEST:: SOT 4401764 SOS 726251 HAS SOPS 726251 HAS SOUS 609933 HAS SOUPS 609933 WITH SCORE 610659.251
AT ITER 7324 NEW BEST:: SOT 4401651 SOS 726025 HAS SOPS 726025 HAS SOUS 609895 HAS SOUPS 609895 WITH SCORE 610621.025
AT ITER 7338 NEW BEST:: SOT 4401542 SOS 725765 HAS SOPS 725765 HAS SOUS 609677 HAS SOUPS 609677 WITH SCORE 610402.765
AT ITER 7388 NEW BEST:: SOT 4401540 SOS 725761 HAS SOPS 725761 HAS SOUS 609673 HAS SOUPS 609673 WITH SCORE 610398.761
AT ITER 7401 NEW BEST:: SOT 4401468 SOS 725962 HAS SOPS 725962 HAS SOUS 609529 HAS SOUPS 609529 WITH SCORE 610254.962
AT ITER 7446 NEW BEST:: SOT 4401668 SOS 725986 HAS SOPS 725986 HAS SOUS 609353 HAS SOUPS 609353 WITH SCORE 610078.986
AT ITER 7457 NEW BEST:: SOT 4401655 SOS 725947 HAS SOPS 725947 HAS SOUS 609314 HAS SOUPS 609314 WITH SCORE 610039.947
AT ITER 7472 NEW BEST:: SOT 4401630 SOS 725897 HAS SOPS 725897 HAS SOUS 609264 HAS SOUPS 609264 WITH SCORE 609989.897
AT ITER 7483 NEW BEST:: SOT 4401355 SOS 725681 HAS SOPS 725681 HAS SOUS 609018 HAS SOUPS 609018 WITH SCORE 609743.681
AT ITER 7513 NEW BEST:: SOT 4401314 SOS 725558 HAS SOPS 725558 HAS SOUS 608936 HAS SOUPS 608936 WITH SCORE 609661.558
AT ITER 7542 NEW BEST:: SOT 4401146 SOS 725222 HAS SOPS 725222 HAS SOUS 608515 HAS SOUPS 608515 WITH SCORE 609240.222
AT ITER 7557 NEW BEST:: SOT 4401118 SOS 725166 HAS SOPS 725166 HAS SOUS 608217 HAS SOUPS 608217 WITH SCORE 608942.166
AT ITER 7558 NEW BEST:: SOT 4401118 SOS 725050 HAS SOPS 725050 HAS SOUS 608217 HAS SOUPS 608217 WITH SCORE 608942.05
AT ITER 7562 NEW BEST:: SOT 4401044 SOS 724976 HAS SOPS 724976 HAS SOUS 608143 HAS SOUPS 608143 WITH SCORE 608867.976
AT ITER 7588 NEW BEST:: SOT 4401033 SOS 724954 HAS SOPS 724954 HAS SOUS 608131 HAS SOUPS 608131 WITH SCORE 608855.954
AT ITER 7601 NEW BEST:: SOT 4401032 SOS 724952 HAS SOPS 724952 HAS SOUS 608129 HAS SOUPS 608129 WITH SCORE 608853.952
AT ITER 7605 NEW BEST:: SOT 4401159 SOS 725206 HAS SOPS 725206 HAS SOUS 608114 HAS SOUPS 608114 WITH SCORE 608839.206
AT ITER 7620 NEW BEST:: SOT 4401159 SOS 725176 HAS SOPS 725176 HAS SOUS 608114 HAS SOUPS 608114 WITH SCORE 608839.176
AT ITER 7634 NEW BEST:: SOT 4401069 SOS 725102 HAS SOPS 725102 HAS SOUS 607918 HAS SOUPS 607918 WITH SCORE 608643.102
AT ITER 7663 NEW BEST:: SOT 4401036 SOS 725036 HAS SOPS 725036 HAS SOUS 607873 HAS SOUPS 607873 WITH SCORE 608598.036
AT ITER 7672 NEW BEST:: SOT 4401036 SOS 724702 HAS SOPS 724702 HAS SOUS 607873 HAS SOUPS 607873 WITH SCORE 608597.702
AT ITER 7695 NEW BEST:: SOT 4400945 SOS 724520 HAS SOPS 724520 HAS SOUS 607691 HAS SOUPS 607691 WITH SCORE 608415.52
AT ITER 7709 NEW BEST:: SOT 4401156 SOS 724942 HAS SOPS 724942 HAS SOUS 607618 HAS SOUPS 607618 WITH SCORE 608342.942
AT ITER 7738 NEW BEST:: SOT 4401161 SOS 725257 HAS SOPS 725257 HAS SOUS 607523 HAS SOUPS 607523 WITH SCORE 608248.257
AT ITER 7740 NEW BEST:: SOT 4401065 SOS 725161 HAS SOPS 725161 HAS SOUS 607427 HAS SOUPS 607427 WITH SCORE 608152.161
AT ITER 7749 NEW BEST:: SOT 4401051 SOS 725133 HAS SOPS 725133 HAS SOUS 607399 HAS SOUPS 607399 WITH SCORE 608124.133
AT ITER 7763 NEW BEST:: SOT 4400961 SOS 724953 HAS SOPS 724953 HAS SOUS 607313 HAS SOUPS 607313 WITH SCORE 608037.953
AT ITER 7766 NEW BEST:: SOT 4400891 SOS 724682 HAS SOPS 724682 HAS SOUS 607112 HAS SOUPS 607112 WITH SCORE 607836.682
AT ITER 7769 NEW BEST:: SOT 4400891 SOS 724487 HAS SOPS 724487 HAS SOUS 607112 HAS SOUPS 607112 WITH SCORE 607836.487
AT ITER 7770 NEW BEST:: SOT 4400571 SOS 724167 HAS SOPS 724167 HAS SOUS 607112 HAS SOUPS 607112 WITH SCORE 607836.167
AT ITER 7784 NEW BEST:: SOT 4400571 SOS 724058 HAS SOPS 724058 HAS SOUS 607112 HAS SOUPS 607112 WITH SCORE 607836.058
AT ITER 7814 NEW BEST:: SOT 4400561 SOS 724033 HAS SOPS 724033 HAS SOUS 607097 HAS SOUPS 607097 WITH SCORE 607821.033
AT ITER 7884 NEW BEST:: SOT 4400432 SOS 723727 HAS SOPS 723727 HAS SOUS 606488 HAS SOUPS 606488 WITH SCORE 607211.727
AT ITER 7895 NEW BEST:: SOT 4400428 SOS 723719 HAS SOPS 723719 HAS SOUS 606484 HAS SOUPS 606484 WITH SCORE 607207.719
AT ITER 7907 NEW BEST:: SOT 4400514 SOS 723891 HAS SOPS 723891 HAS SOUS 606455 HAS SOUPS 606455 WITH SCORE 607178.891
AT ITER 7909 NEW BEST:: SOT 4400458 SOS 723872 HAS SOPS 723872 HAS SOUS 606419 HAS SOUPS 606419 WITH SCORE 607142.872
AT ITER 7932 NEW BEST:: SOT 4400457 SOS 723870 HAS SOPS 723870 HAS SOUS 606417 HAS SOUPS 606417 WITH SCORE 607140.87
AT ITER 7967 NEW BEST:: SOT 4400278 SOS 723241 HAS SOPS 723241 HAS SOUS 606047 HAS SOUPS 606047 WITH SCORE 606770.241
AT ITER 7974 NEW BEST:: SOT 4399045 SOS 725704 HAS SOPS 725704 HAS SOUS 605482 HAS SOUPS 605482 WITH SCORE 606207.704
AT ITER 7983 NEW BEST:: SOT 4399019 SOS 725354 HAS SOPS 725354 HAS SOUS 605327 HAS SOUPS 605327 WITH SCORE 606052.354
AT ITER 8007 NEW BEST:: SOT 4398795 SOS 725138 HAS SOPS 725138 HAS SOUS 605109 HAS SOUPS 605109 WITH SCORE 605834.138
AT ITER 8008 NEW BEST:: SOT 4398573 SOS 724953 HAS SOPS 724953 HAS SOUS 604887 HAS SOUPS 604887 WITH SCORE 605611.953
AT ITER 8013 NEW BEST:: SOT 4398472 SOS 724751 HAS SOPS 724751 HAS SOUS 604685 HAS SOUPS 604685 WITH SCORE 605409.751
AT ITER 8048 NEW BEST:: SOT 4398350 SOS 724212 HAS SOPS 724212 HAS SOUS 604441 HAS SOUPS 604441 WITH SCORE 605165.212
AT ITER 8051 NEW BEST:: SOT 4398346 SOS 724204 HAS SOPS 724204 HAS SOUS 604437 HAS SOUPS 604437 WITH SCORE 605161.204
AT ITER 8099 NEW BEST:: SOT 4398346 SOS 724185 HAS SOPS 724185 HAS SOUS 604437 HAS SOUPS 604437 WITH SCORE 605161.185
AT ITER 8121 NEW BEST:: SOT 4398247 SOS 723987 HAS SOPS 723987 HAS SOUS 604338 HAS SOUPS 604338 WITH SCORE 605061.987
AT ITER 8136 NEW BEST:: SOT 4398246 SOS 723985 HAS SOPS 723985 HAS SOUS 604336 HAS SOUPS 604336 WITH SCORE 605059.985
AT ITER 8233 NEW BEST:: SOT 4398218 SOS 723929 HAS SOPS 723929 HAS SOUS 604172 HAS SOUPS 604172 WITH SCORE 604895.929
AT ITER 8246 NEW BEST:: SOT 4398055 SOS 723603 HAS SOPS 723603 HAS SOUS 603951 HAS SOUPS 603951 WITH SCORE 604674.603
AT ITER 8254 NEW BEST:: SOT 4397854 SOS 723002 HAS SOPS 723002 HAS SOUS 603549 HAS SOUPS 603549 WITH SCORE 604272.002
AT ITER 8258 NEW BEST:: SOT 4397854 SOS 722986 HAS SOPS 722986 HAS SOUS 603533 HAS SOUPS 603533 WITH SCORE 604255.986
AT ITER 8279 NEW BEST:: SOT 4397690 SOS 722658 HAS SOPS 722658 HAS SOUS 602967 HAS SOUPS 602967 WITH SCORE 603689.658
AT ITER 8306 NEW BEST:: SOT 4397649 SOS 722576 HAS SOPS 722576 HAS SOUS 602885 HAS SOUPS 602885 WITH SCORE 603607.576
AT ITER 8321 NEW BEST:: SOT 4397646 SOS 722570 HAS SOPS 722570 HAS SOUS 602882 HAS SOUPS 602882 WITH SCORE 603604.57
AT ITER 8355 NEW BEST:: SOT 4397513 SOS 722304 HAS SOPS 722304 HAS SOUS 602616 HAS SOUPS 602616 WITH SCORE 603338.304
AT ITER 8423 NEW BEST:: SOT 4397482 SOS 722242 HAS SOPS 722242 HAS SOUS 602554 HAS SOUPS 602554 WITH SCORE 603276.242
AT ITER 8430 NEW BEST:: SOT 4397271 SOS 722100 HAS SOPS 722100 HAS SOUS 602343 HAS SOUPS 602343 WITH SCORE 603065.1
AT ITER 8441 NEW BEST:: SOT 4397271 SOS 721897 HAS SOPS 721897 HAS SOUS 602343 HAS SOUPS 602343 WITH SCORE 603064.897
AT ITER 8449 NEW BEST:: SOT 4397257 SOS 721876 HAS SOPS 721876 HAS SOUS 602322 HAS SOUPS 602322 WITH SCORE 603043.876
AT ITER 8464 NEW BEST:: SOT 4397234 SOS 721870 HAS SOPS 721870 HAS SOUS 602306 HAS SOUPS 602306 WITH SCORE 603027.87
AT ITER 8479 NEW BEST:: SOT 4397126 SOS 721426 HAS SOPS 721426 HAS SOUS 601983 HAS SOUPS 601983 WITH SCORE 602704.426
AT ITER 8480 NEW BEST:: SOT 4396995 SOS 721164 HAS SOPS 721164 HAS SOUS 601721 HAS SOUPS 601721 WITH SCORE 602442.164
AT ITER 8544 NEW BEST:: SOT 4396994 SOS 721162 HAS SOPS 721162 HAS SOUS 601719 HAS SOUPS 601719 WITH SCORE 602440.162
AT ITER 8554 NEW BEST:: SOT 4396958 SOS 721138 HAS SOPS 721138 HAS SOUS 601683 HAS SOUPS 601683 WITH SCORE 602404.138
AT ITER 8580 NEW BEST:: SOT 4396856 SOS 720934 HAS SOPS 720934 HAS SOUS 601363 HAS SOUPS 601363 WITH SCORE 602083.934
AT ITER 8594 NEW BEST:: SOT 4396784 SOS 721046 HAS SOPS 721046 HAS SOUS 601355 HAS SOUPS 601355 WITH SCORE 602076.046
AT ITER 8595 NEW BEST:: SOT 4396657 SOS 720665 HAS SOPS 720665 HAS SOUS 601101 HAS SOUPS 601101 WITH SCORE 601821.665
AT ITER 8614 NEW BEST:: SOT 4396625 SOS 720601 HAS SOPS 720601 HAS SOUS 601069 HAS SOUPS 601069 WITH SCORE 601789.601
AT ITER 8615 NEW BEST:: SOT 4396624 SOS 720559 HAS SOPS 720559 HAS SOUS 601067 HAS SOUPS 601067 WITH SCORE 601787.559
AT ITER 8620 NEW BEST:: SOT 4396624 SOS 720532 HAS SOPS 720532 HAS SOUS 601040 HAS SOUPS 601040 WITH SCORE 601760.532
AT ITER 8625 NEW BEST:: SOT 4396755 SOS 720318 HAS SOPS 720318 HAS SOUS 600961 HAS SOUPS 600961 WITH SCORE 601681.318
AT ITER 8692 NEW BEST:: SOT 4396672 SOS 720364 HAS SOPS 720364 HAS SOUS 600931 HAS SOUPS 600931 WITH SCORE 601651.364
AT ITER 8713 NEW BEST:: SOT 4396408 SOS 720123 HAS SOPS 720123 HAS SOUS 600929 HAS SOUPS 600929 WITH SCORE 601649.123
AT ITER 8724 NEW BEST:: SOT 4396356 SOS 720275 HAS SOPS 720275 HAS SOUS 600904 HAS SOUPS 600904 WITH SCORE 601624.275
AT ITER 8787 NEW BEST:: SOT 4396532 SOS 719683 HAS SOPS 719683 HAS SOUS 600844 HAS SOUPS 600844 WITH SCORE 601563.683
AT ITER 8792 NEW BEST:: SOT 4396532 SOS 719603 HAS SOPS 719603 HAS SOUS 600804 HAS SOUPS 600804 WITH SCORE 601523.603
AT ITER 8819 NEW BEST:: SOT 4396510 SOS 719559 HAS SOPS 719559 HAS SOUS 600760 HAS SOUPS 600760 WITH SCORE 601479.559
AT ITER 8906 NEW BEST:: SOT 4396459 SOS 719457 HAS SOPS 719457 HAS SOUS 600651 HAS SOUPS 600651 WITH SCORE 601370.457
AT ITER 8960 NEW BEST:: SOT 4396442 SOS 719423 HAS SOPS 719423 HAS SOUS 600617 HAS SOUPS 600617 WITH SCORE 601336.423
AT ITER 8964 NEW BEST:: SOT 4396384 SOS 719367 HAS SOPS 719367 HAS SOUS 600561 HAS SOUPS 600561 WITH SCORE 601280.367
AT ITER 8966 NEW BEST:: SOT 4396351 SOS 719301 HAS SOPS 719301 HAS SOUS 600495 HAS SOUPS 600495 WITH SCORE 601214.301
AT ITER 8969 NEW BEST:: SOT 4396213 SOS 719280 HAS SOPS 719280 HAS SOUS 600341 HAS SOUPS 600341 WITH SCORE 601060.28
AT ITER 8974 NEW BEST:: SOT 4396148 SOS 719150 HAS SOPS 719150 HAS SOUS 600276 HAS SOUPS 600276 WITH SCORE 600995.15
AT ITER 8989 NEW BEST:: SOT 4396132 SOS 719118 HAS SOPS 719118 HAS SOUS 600244 HAS SOUPS 600244 WITH SCORE 600963.118
AT ITER 9001 NEW BEST:: SOT 4396132 SOS 718729 HAS SOPS 718729 HAS SOUS 600244 HAS SOUPS 600244 WITH SCORE 600962.729
AT ITER 9073 NEW BEST:: SOT 4395907 SOS 718279 HAS SOPS 718279 HAS SOUS 599983 HAS SOUPS 599983 WITH SCORE 600701.279
AT ITER 9080 NEW BEST:: SOT 4395977 SOS 718003 HAS SOPS 718003 HAS SOUS 599818 HAS SOUPS 599818 WITH SCORE 600536.003
AT ITER 9107 NEW BEST:: SOT 4395760 SOS 717762 HAS SOPS 717762 HAS SOUS 599769 HAS SOUPS 599769 WITH SCORE 600486.762
AT ITER 9114 NEW BEST:: SOT 4395648 SOS 717918 HAS SOPS 717918 HAS SOUS 599680 HAS SOUPS 599680 WITH SCORE 600397.918
AT ITER 9162 NEW BEST:: SOT 4395584 SOS 717790 HAS SOPS 717790 HAS SOUS 599552 HAS SOUPS 599552 WITH SCORE 600269.79
AT ITER 9174 NEW BEST:: SOT 4395682 SOS 717534 HAS SOPS 717534 HAS SOUS 599522 HAS SOUPS 599522 WITH SCORE 600239.534
AT ITER 9186 NEW BEST:: SOT 4395626 SOS 717422 HAS SOPS 717422 HAS SOUS 599466 HAS SOUPS 599466 WITH SCORE 600183.422
AT ITER 9222 NEW BEST:: SOT 4395550 SOS 717270 HAS SOPS 717270 HAS SOUS 599314 HAS SOUPS 599314 WITH SCORE 600031.27
AT ITER 9232 NEW BEST:: SOT 4395136 SOS 716793 HAS SOPS 716793 HAS SOUS 598818 HAS SOUPS 598818 WITH SCORE 599534.793
AT ITER 9241 NEW BEST:: SOT 4394837 SOS 716195 HAS SOPS 716195 HAS SOUS 598220 HAS SOUPS 598220 WITH SCORE 598936.195
AT ITER 9245 NEW BEST:: SOT 4394993 SOS 716507 HAS SOPS 716507 HAS SOUS 598027 HAS SOUPS 598027 WITH SCORE 598743.507
AT ITER 9265 NEW BEST:: SOT 4394993 SOS 716275 HAS SOPS 716275 HAS SOUS 597911 HAS SOUPS 597911 WITH SCORE 598627.275
AT ITER 9279 NEW BEST:: SOT 4395085 SOS 716173 HAS SOPS 716173 HAS SOUS 597717 HAS SOUPS 597717 WITH SCORE 598433.173
AT ITER 9290 NEW BEST:: SOT 4395063 SOS 716150 HAS SOPS 716150 HAS SOUS 597694 HAS SOUPS 597694 WITH SCORE 598410.15
AT ITER 9312 NEW BEST:: SOT 4394941 SOS 715906 HAS SOPS 715906 HAS SOUS 597572 HAS SOUPS 597572 WITH SCORE 598287.906
AT ITER 9317 NEW BEST:: SOT 4394941 SOS 715654 HAS SOPS 715654 HAS SOUS 597572 HAS SOUPS 597572 WITH SCORE 598287.654
AT ITER 9331 NEW BEST:: SOT 4395051 SOS 715874 HAS SOPS 715874 HAS SOUS 597360 HAS SOUPS 597360 WITH SCORE 598075.874
AT ITER 9339 NEW BEST:: SOT 4392685 SOS 750538 HAS SOPS 750538 HAS SOUS 596345 HAS SOUPS 596345 WITH SCORE 597095.538
AT ITER 9342 NEW BEST:: SOT 4392429 SOS 750026 HAS SOPS 750026 HAS SOUS 595833 HAS SOUPS 595833 WITH SCORE 596583.026
AT ITER 9391 NEW BEST:: SOT 4392423 SOS 750014 HAS SOPS 750014 HAS SOUS 595821 HAS SOUPS 595821 WITH SCORE 596571.014
AT ITER 9396 NEW BEST:: SOT 4392422 SOS 750046 HAS SOPS 750046 HAS SOUS 595819 HAS SOUPS 595819 WITH SCORE 596569.046
AT ITER 9412 NEW BEST:: SOT 4392138 SOS 749478 HAS SOPS 749478 HAS SOUS 595663 HAS SOUPS 595663 WITH SCORE 596412.478
AT ITER 9418 NEW BEST:: SOT 4392008 SOS 749143 HAS SOPS 749143 HAS SOUS 595615 HAS SOUPS 595615 WITH SCORE 596364.143
AT ITER 9429 NEW BEST:: SOT 4391999 SOS 749125 HAS SOPS 749125 HAS SOUS 595606 HAS SOUPS 595606 WITH SCORE 596355.125
AT ITER 9430 NEW BEST:: SOT 4391996 SOS 749119 HAS SOPS 749119 HAS SOUS 595603 HAS SOUPS 595603 WITH SCORE 596352.119
AT ITER 9458 NEW BEST:: SOT 4391996 SOS 749119 HAS SOPS 749119 HAS SOUS 595598 HAS SOUPS 595598 WITH SCORE 596347.119
AT ITER 9476 NEW BEST:: SOT 4391903 SOS 748933 HAS SOPS 748933 HAS SOUS 595428 HAS SOUPS 595428 WITH SCORE 596176.933
AT ITER 9485 NEW BEST:: SOT 4391902 SOS 748834 HAS SOPS 748834 HAS SOUS 595330 HAS SOUPS 595330 WITH SCORE 596078.834
AT ITER 9499 NEW BEST:: SOT 4391812 SOS 748834 HAS SOPS 748834 HAS SOUS 595240 HAS SOUPS 595240 WITH SCORE 595988.834
AT ITER 9558 NEW BEST:: SOT 4391812 SOS 748834 HAS SOPS 748834 HAS SOUS 594908 HAS SOUPS 594908 WITH SCORE 595656.834
AT ITER 9561 NEW BEST:: SOT 4391776 SOS 748822 HAS SOPS 748822 HAS SOUS 594872 HAS SOUPS 594872 WITH SCORE 595620.822
AT ITER 9587 NEW BEST:: SOT 4391776 SOS 748797 HAS SOPS 748797 HAS SOUS 594847 HAS SOUPS 594847 WITH SCORE 595595.797
AT ITER 9613 NEW BEST:: SOT 4391653 SOS 748239 HAS SOPS 748239 HAS SOUS 594544 HAS SOUPS 594544 WITH SCORE 595292.239
AT ITER 9643 NEW BEST:: SOT 4391413 SOS 747624 HAS SOPS 747624 HAS SOUS 594469 HAS SOUPS 594469 WITH SCORE 595216.624
AT ITER 9682 NEW BEST:: SOT 4391404 SOS 747606 HAS SOPS 747606 HAS SOUS 594451 HAS SOUPS 594451 WITH SCORE 595198.606
AT ITER 9684 NEW BEST:: SOT 4391403 SOS 747604 HAS SOPS 747604 HAS SOUS 594450 HAS SOUPS 594450 WITH SCORE 595197.604
AT ITER 9688 NEW BEST:: SOT 4391403 SOS 747604 HAS SOPS 747604 HAS SOUS 594358 HAS SOUPS 594358 WITH SCORE 595105.604
AT ITER 9693 NEW BEST:: SOT 4391387 SOS 747572 HAS SOPS 747572 HAS SOUS 594326 HAS SOUPS 594326 WITH SCORE 595073.572
AT ITER 9738 NEW BEST:: SOT 4391268 SOS 747334 HAS SOPS 747334 HAS SOUS 594214 HAS SOUPS 594214 WITH SCORE 594961.334
AT ITER 9768 NEW BEST:: SOT 4391375 SOS 747296 HAS SOPS 747296 HAS SOUS 594195 HAS SOUPS 594195 WITH SCORE 594942.296
AT ITER 9775 NEW BEST:: SOT 4391311 SOS 747168 HAS SOPS 747168 HAS SOUS 594057 HAS SOUPS 594057 WITH SCORE 594804.168
AT ITER 9791 NEW BEST:: SOT 4391073 SOS 746930 HAS SOPS 746930 HAS SOUS 593819 HAS SOUPS 593819 WITH SCORE 594565.93
AT ITER 9818 NEW BEST:: SOT 4391047 SOS 746904 HAS SOPS 746904 HAS SOUS 593793 HAS SOUPS 593793 WITH SCORE 594539.904
AT ITER 9823 NEW BEST:: SOT 4390972 SOS 746754 HAS SOPS 746754 HAS SOUS 593643 HAS SOUPS 593643 WITH SCORE 594389.754
AT ITER 9831 NEW BEST:: SOT 4390879 SOS 746802 HAS SOPS 746802 HAS SOUS 593632 HAS SOUPS 593632 WITH SCORE 594378.802
AT ITER 9839 NEW BEST:: SOT 4390862 SOS 746768 HAS SOPS 746768 HAS SOUS 593598 HAS SOUPS 593598 WITH SCORE 594344.768
AT ITER 9875 NEW BEST:: SOT 4390811 SOS 746666 HAS SOPS 746666 HAS SOUS 593496 HAS SOUPS 593496 WITH SCORE 594242.666
AT ITER 9876 NEW BEST:: SOT 4390811 SOS 746567 HAS SOPS 746567 HAS SOUS 593496 HAS SOUPS 593496 WITH SCORE 594242.567
AT ITER 9877 NEW BEST:: SOT 4390734 SOS 746413 HAS SOPS 746413 HAS SOUS 593484 HAS SOUPS 593484 WITH SCORE 594230.413
AT ITER 9930 NEW BEST:: SOT 4390991 SOS 746035 HAS SOPS 746035 HAS SOUS 593295 HAS SOUPS 593295 WITH SCORE 594041.035
AT ITER 9960 NEW BEST:: SOT 4390975 SOS 746003 HAS SOPS 746003 HAS SOUS 593263 HAS SOUPS 593263 WITH SCORE 594009.003
AT ITER 9967 NEW BEST:: SOT 4390541 SOS 746061 HAS SOPS 746061 HAS SOUS 593037 HAS SOUPS 593037 WITH SCORE 593783.061
AT ITER 9983 NEW BEST:: SOT 4390389 SOS 746011 HAS SOPS 746011 HAS SOUS 592987 HAS SOUPS 592987 WITH SCORE 593733.011

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

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