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

About the Execution of smart for CloudReconfiguration-PT-301

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

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600008.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-301, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 28 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 28 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 27 08:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K 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 1589088015292

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

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439016 SOS 755663 HAS SOPS 755663 HAS SOUS 697101 HAS SOUPS 697101 WITH SCORE 697856.663
AT ITER 32 NEW BEST:: SOT 4436003 SOS 791354 HAS SOPS 791354 HAS SOUS 696404 HAS SOUPS 696404 WITH SCORE 697195.354
AT ITER 37 NEW BEST:: SOT 4436003 SOS 791354 HAS SOPS 791354 HAS SOUS 696147 HAS SOUPS 696147 WITH SCORE 696938.354
AT ITER 41 NEW BEST:: SOT 4434717 SOS 793290 HAS SOPS 793290 HAS SOUS 695665 HAS SOUPS 695665 WITH SCORE 696458.29
AT ITER 46 NEW BEST:: SOT 4434599 SOS 793054 HAS SOPS 793054 HAS SOUS 695429 HAS SOUPS 695429 WITH SCORE 696222.054
AT ITER 50 NEW BEST:: SOT 4434579 SOS 793014 HAS SOPS 793014 HAS SOUS 695389 HAS SOUPS 695389 WITH SCORE 696182.014
AT ITER 55 NEW BEST:: SOT 4434413 SOS 792872 HAS SOPS 792872 HAS SOUS 695223 HAS SOUPS 695223 WITH SCORE 696015.872
AT ITER 60 NEW BEST:: SOT 4434413 SOS 792790 HAS SOPS 792790 HAS SOUS 695079 HAS SOUPS 695079 WITH SCORE 695871.79
AT ITER 127 NEW BEST:: SOT 4434028 SOS 792405 HAS SOPS 792405 HAS SOUS 694617 HAS SOUPS 694617 WITH SCORE 695409.405
AT ITER 131 NEW BEST:: SOT 4427317 SOS 794478 HAS SOPS 794478 HAS SOUS 687981 HAS SOUPS 687981 WITH SCORE 688775.478
AT ITER 132 NEW BEST:: SOT 4427257 SOS 794358 HAS SOPS 794358 HAS SOUS 687861 HAS SOUPS 687861 WITH SCORE 688655.358
AT ITER 133 NEW BEST:: SOT 4426973 SOS 794358 HAS SOPS 794358 HAS SOUS 687719 HAS SOUPS 687719 WITH SCORE 688513.358
AT ITER 155 NEW BEST:: SOT 4426907 SOS 794226 HAS SOPS 794226 HAS SOUS 687587 HAS SOUPS 687587 WITH SCORE 688381.226
AT ITER 170 NEW BEST:: SOT 4426755 SOS 793922 HAS SOPS 793922 HAS SOUS 687283 HAS SOUPS 687283 WITH SCORE 688076.922
AT ITER 193 NEW BEST:: SOT 4426755 SOS 793725 HAS SOPS 793725 HAS SOUS 687086 HAS SOUPS 687086 WITH SCORE 687879.725
AT ITER 202 NEW BEST:: SOT 4426755 SOS 793646 HAS SOPS 793646 HAS SOUS 687086 HAS SOUPS 687086 WITH SCORE 687879.646
AT ITER 211 NEW BEST:: SOT 4426429 SOS 793157 HAS SOPS 793157 HAS SOUS 686597 HAS SOUPS 686597 WITH SCORE 687390.157
AT ITER 225 NEW BEST:: SOT 4426239 SOS 793157 HAS SOPS 793157 HAS SOUS 686502 HAS SOUPS 686502 WITH SCORE 687295.157
AT ITER 258 NEW BEST:: SOT 4426114 SOS 792907 HAS SOPS 792907 HAS SOUS 686252 HAS SOUPS 686252 WITH SCORE 687044.907
AT ITER 276 NEW BEST:: SOT 4426149 SOS 792977 HAS SOPS 792977 HAS SOUS 685996 HAS SOUPS 685996 WITH SCORE 686788.977
AT ITER 306 NEW BEST:: SOT 4426149 SOS 792977 HAS SOPS 792977 HAS SOUS 685909 HAS SOUPS 685909 WITH SCORE 686701.977
AT ITER 315 NEW BEST:: SOT 4425879 SOS 792707 HAS SOPS 792707 HAS SOUS 685639 HAS SOUPS 685639 WITH SCORE 686431.707
AT ITER 351 NEW BEST:: SOT 4425878 SOS 792326 HAS SOPS 792326 HAS SOUS 685637 HAS SOUPS 685637 WITH SCORE 686429.326
AT ITER 356 NEW BEST:: SOT 4425691 SOS 792408 HAS SOPS 792408 HAS SOUS 685450 HAS SOUPS 685450 WITH SCORE 686242.408
AT ITER 362 NEW BEST:: SOT 4425567 SOS 792293 HAS SOPS 792293 HAS SOUS 685335 HAS SOUPS 685335 WITH SCORE 686127.293
AT ITER 378 NEW BEST:: SOT 4425567 SOS 792099 HAS SOPS 792099 HAS SOUS 685335 HAS SOUPS 685335 WITH SCORE 686127.099
AT ITER 382 NEW BEST:: SOT 4425566 SOS 792097 HAS SOPS 792097 HAS SOUS 685333 HAS SOUPS 685333 WITH SCORE 686125.097
AT ITER 386 NEW BEST:: SOT 4425566 SOS 791936 HAS SOPS 791936 HAS SOUS 685332 HAS SOUPS 685332 WITH SCORE 686123.936
AT ITER 399 NEW BEST:: SOT 4425631 SOS 791893 HAS SOPS 791893 HAS SOUS 685238 HAS SOUPS 685238 WITH SCORE 686029.893
AT ITER 419 NEW BEST:: SOT 4416711 SOS 820333 HAS SOPS 820333 HAS SOUS 677130 HAS SOUPS 677130 WITH SCORE 677950.333
AT ITER 449 NEW BEST:: SOT 4416669 SOS 820297 HAS SOPS 820297 HAS SOUS 677088 HAS SOUPS 677088 WITH SCORE 677908.297
AT ITER 466 NEW BEST:: SOT 4416169 SOS 819584 HAS SOPS 819584 HAS SOUS 676301 HAS SOUPS 676301 WITH SCORE 677120.584
AT ITER 480 NEW BEST:: SOT 4416088 SOS 819422 HAS SOPS 819422 HAS SOUS 676139 HAS SOUPS 676139 WITH SCORE 676958.422
AT ITER 501 NEW BEST:: SOT 4416099 SOS 819444 HAS SOPS 819444 HAS SOUS 676111 HAS SOUPS 676111 WITH SCORE 676930.444
AT ITER 528 NEW BEST:: SOT 4415807 SOS 819208 HAS SOPS 819208 HAS SOUS 675818 HAS SOUPS 675818 WITH SCORE 676637.208
AT ITER 543 NEW BEST:: SOT 4415679 SOS 818952 HAS SOPS 818952 HAS SOUS 675521 HAS SOUPS 675521 WITH SCORE 676339.952
AT ITER 581 NEW BEST:: SOT 4415679 SOS 818824 HAS SOPS 818824 HAS SOUS 675393 HAS SOUPS 675393 WITH SCORE 676211.824
AT ITER 582 NEW BEST:: SOT 4415483 SOS 818530 HAS SOPS 818530 HAS SOUS 675099 HAS SOUPS 675099 WITH SCORE 675917.53
AT ITER 584 NEW BEST:: SOT 4415482 SOS 818528 HAS SOPS 818528 HAS SOUS 675097 HAS SOUPS 675097 WITH SCORE 675915.528
AT ITER 635 NEW BEST:: SOT 4415238 SOS 818284 HAS SOPS 818284 HAS SOUS 674853 HAS SOUPS 674853 WITH SCORE 675671.284
AT ITER 637 NEW BEST:: SOT 4415164 SOS 818342 HAS SOPS 818342 HAS SOUS 674817 HAS SOUPS 674817 WITH SCORE 675635.342
AT ITER 653 NEW BEST:: SOT 4415118 SOS 818398 HAS SOPS 818398 HAS SOUS 674770 HAS SOUPS 674770 WITH SCORE 675588.398
AT ITER 656 NEW BEST:: SOT 4415114 SOS 818390 HAS SOPS 818390 HAS SOUS 674762 HAS SOUPS 674762 WITH SCORE 675580.39
AT ITER 699 NEW BEST:: SOT 4415121 SOS 818404 HAS SOPS 818404 HAS SOUS 674484 HAS SOUPS 674484 WITH SCORE 675302.404
AT ITER 730 NEW BEST:: SOT 4415029 SOS 818312 HAS SOPS 818312 HAS SOUS 674392 HAS SOUPS 674392 WITH SCORE 675210.312
AT ITER 735 NEW BEST:: SOT 4414718 SOS 818147 HAS SOPS 818147 HAS SOUS 674165 HAS SOUPS 674165 WITH SCORE 674983.147
AT ITER 738 NEW BEST:: SOT 4414718 SOS 818136 HAS SOPS 818136 HAS SOUS 674165 HAS SOUPS 674165 WITH SCORE 674983.136
AT ITER 752 NEW BEST:: SOT 4414718 SOS 818136 HAS SOPS 818136 HAS SOUS 674119 HAS SOUPS 674119 WITH SCORE 674937.136
AT ITER 764 NEW BEST:: SOT 4410610 SOS 866788 HAS SOPS 866788 HAS SOUS 671790 HAS SOUPS 671790 WITH SCORE 672656.788
AT ITER 774 NEW BEST:: SOT 4410383 SOS 866334 HAS SOPS 866334 HAS SOUS 671569 HAS SOUPS 671569 WITH SCORE 672435.334
AT ITER 781 NEW BEST:: SOT 4410382 SOS 865910 HAS SOPS 865910 HAS SOUS 671568 HAS SOUPS 671568 WITH SCORE 672433.91
AT ITER 784 NEW BEST:: SOT 4410381 SOS 865908 HAS SOPS 865908 HAS SOUS 671566 HAS SOUPS 671566 WITH SCORE 672431.908
AT ITER 789 NEW BEST:: SOT 4410405 SOS 865670 HAS SOPS 865670 HAS SOUS 671304 HAS SOUPS 671304 WITH SCORE 672169.67
AT ITER 793 NEW BEST:: SOT 4410286 SOS 865551 HAS SOPS 865551 HAS SOUS 671185 HAS SOUPS 671185 WITH SCORE 672050.551
AT ITER 814 NEW BEST:: SOT 4409977 SOS 864933 HAS SOPS 864933 HAS SOUS 670582 HAS SOUPS 670582 WITH SCORE 671446.933
AT ITER 822 NEW BEST:: SOT 4409583 SOS 864525 HAS SOPS 864525 HAS SOUS 670174 HAS SOUPS 670174 WITH SCORE 671038.525
AT ITER 859 NEW BEST:: SOT 4409582 SOS 864504 HAS SOPS 864504 HAS SOUS 670171 HAS SOUPS 670171 WITH SCORE 671035.504
AT ITER 868 NEW BEST:: SOT 4409761 SOS 864862 HAS SOPS 864862 HAS SOUS 670093 HAS SOUPS 670093 WITH SCORE 670957.862
AT ITER 874 NEW BEST:: SOT 4409522 SOS 864384 HAS SOPS 864384 HAS SOUS 670093 HAS SOUPS 670093 WITH SCORE 670957.384
AT ITER 941 NEW BEST:: SOT 4409490 SOS 864320 HAS SOPS 864320 HAS SOUS 670004 HAS SOUPS 670004 WITH SCORE 670868.32
AT ITER 948 NEW BEST:: SOT 4409283 SOS 863906 HAS SOPS 863906 HAS SOUS 669590 HAS SOUPS 669590 WITH SCORE 670453.906
AT ITER 950 NEW BEST:: SOT 4409278 SOS 863896 HAS SOPS 863896 HAS SOUS 669554 HAS SOUPS 669554 WITH SCORE 670417.896
AT ITER 963 NEW BEST:: SOT 4409241 SOS 863859 HAS SOPS 863859 HAS SOUS 669517 HAS SOUPS 669517 WITH SCORE 670380.859
AT ITER 979 NEW BEST:: SOT 4409268 SOS 863913 HAS SOPS 863913 HAS SOUS 669300 HAS SOUPS 669300 WITH SCORE 670163.913
AT ITER 980 NEW BEST:: SOT 4409422 SOS 864221 HAS SOPS 864221 HAS SOUS 669287 HAS SOUPS 669287 WITH SCORE 670151.221
AT ITER 994 NEW BEST:: SOT 4409671 SOS 864719 HAS SOPS 864719 HAS SOUS 669094 HAS SOUPS 669094 WITH SCORE 669958.719
AT ITER 1006 NEW BEST:: SOT 4409671 SOS 864719 HAS SOPS 864719 HAS SOUS 668853 HAS SOUPS 668853 WITH SCORE 669717.719
AT ITER 1017 NEW BEST:: SOT 4409153 SOS 863683 HAS SOPS 863683 HAS SOUS 668404 HAS SOUPS 668404 WITH SCORE 669267.683
AT ITER 1045 NEW BEST:: SOT 4409113 SOS 863603 HAS SOPS 863603 HAS SOUS 668324 HAS SOUPS 668324 WITH SCORE 669187.603
AT ITER 1113 NEW BEST:: SOT 4409112 SOS 863601 HAS SOPS 863601 HAS SOUS 668322 HAS SOUPS 668322 WITH SCORE 669185.601
AT ITER 1118 NEW BEST:: SOT 4409029 SOS 863379 HAS SOPS 863379 HAS SOUS 668100 HAS SOUPS 668100 WITH SCORE 668963.379
AT ITER 1124 NEW BEST:: SOT 4409028 SOS 863377 HAS SOPS 863377 HAS SOUS 668098 HAS SOUPS 668098 WITH SCORE 668961.377
AT ITER 1128 NEW BEST:: SOT 4409028 SOS 863167 HAS SOPS 863167 HAS SOUS 667888 HAS SOUPS 667888 WITH SCORE 668751.167
AT ITER 1158 NEW BEST:: SOT 4408726 SOS 862563 HAS SOPS 862563 HAS SOUS 667284 HAS SOUPS 667284 WITH SCORE 668146.563
AT ITER 1169 NEW BEST:: SOT 4408652 SOS 862336 HAS SOPS 862336 HAS SOUS 667131 HAS SOUPS 667131 WITH SCORE 667993.336
AT ITER 1204 NEW BEST:: SOT 4408404 SOS 862088 HAS SOPS 862088 HAS SOUS 666883 HAS SOUPS 666883 WITH SCORE 667745.088
AT ITER 1206 NEW BEST:: SOT 4408332 SOS 861872 HAS SOPS 861872 HAS SOUS 666739 HAS SOUPS 666739 WITH SCORE 667600.872
AT ITER 1224 NEW BEST:: SOT 4408331 SOS 861663 HAS SOPS 861663 HAS SOUS 666737 HAS SOUPS 666737 WITH SCORE 667598.663
AT ITER 1229 NEW BEST:: SOT 4408323 SOS 861663 HAS SOPS 861663 HAS SOUS 666729 HAS SOUPS 666729 WITH SCORE 667590.663
AT ITER 1240 NEW BEST:: SOT 4408291 SOS 861631 HAS SOPS 861631 HAS SOUS 666697 HAS SOUPS 666697 WITH SCORE 667558.631
AT ITER 1264 NEW BEST:: SOT 4408288 SOS 861505 HAS SOPS 861505 HAS SOUS 666691 HAS SOUPS 666691 WITH SCORE 667552.505
AT ITER 1268 NEW BEST:: SOT 4408249 SOS 861284 HAS SOPS 861284 HAS SOUS 666509 HAS SOUPS 666509 WITH SCORE 667370.284
AT ITER 1275 NEW BEST:: SOT 4408248 SOS 861282 HAS SOPS 861282 HAS SOUS 666507 HAS SOUPS 666507 WITH SCORE 667368.282
AT ITER 1320 NEW BEST:: SOT 4408248 SOS 861282 HAS SOPS 861282 HAS SOUS 666415 HAS SOUPS 666415 WITH SCORE 667276.282
AT ITER 1332 NEW BEST:: SOT 4408184 SOS 861218 HAS SOPS 861218 HAS SOUS 666414 HAS SOUPS 666414 WITH SCORE 667275.218
AT ITER 1365 NEW BEST:: SOT 4406387 SOS 860487 HAS SOPS 860487 HAS SOUS 664805 HAS SOUPS 664805 WITH SCORE 665665.487
AT ITER 1378 NEW BEST:: SOT 4406501 SOS 860132 HAS SOPS 860132 HAS SOUS 664734 HAS SOUPS 664734 WITH SCORE 665594.132
AT ITER 1381 NEW BEST:: SOT 4406407 SOS 859944 HAS SOPS 859944 HAS SOUS 664640 HAS SOUPS 664640 WITH SCORE 665499.944
AT ITER 1402 NEW BEST:: SOT 4406213 SOS 859556 HAS SOPS 859556 HAS SOUS 664446 HAS SOUPS 664446 WITH SCORE 665305.556
AT ITER 1442 NEW BEST:: SOT 4406199 SOS 859528 HAS SOPS 859528 HAS SOUS 664356 HAS SOUPS 664356 WITH SCORE 665215.528
AT ITER 1481 NEW BEST:: SOT 4406199 SOS 859414 HAS SOPS 859414 HAS SOUS 664242 HAS SOUPS 664242 WITH SCORE 665101.414
AT ITER 1485 NEW BEST:: SOT 4406279 SOS 859431 HAS SOPS 859431 HAS SOUS 664179 HAS SOUPS 664179 WITH SCORE 665038.431
AT ITER 1579 NEW BEST:: SOT 4406020 SOS 858913 HAS SOPS 858913 HAS SOUS 663920 HAS SOUPS 663920 WITH SCORE 664778.913
AT ITER 1584 NEW BEST:: SOT 4405995 SOS 858863 HAS SOPS 858863 HAS SOUS 663870 HAS SOUPS 663870 WITH SCORE 664728.863
AT ITER 1634 NEW BEST:: SOT 4406083 SOS 858513 HAS SOPS 858513 HAS SOUS 663695 HAS SOUPS 663695 WITH SCORE 664553.513
AT ITER 1690 NEW BEST:: SOT 4405907 SOS 858513 HAS SOPS 858513 HAS SOUS 663607 HAS SOUPS 663607 WITH SCORE 664465.513
AT ITER 1702 NEW BEST:: SOT 4405907 SOS 858513 HAS SOPS 858513 HAS SOUS 663438 HAS SOUPS 663438 WITH SCORE 664296.513
AT ITER 1719 NEW BEST:: SOT 4405907 SOS 858205 HAS SOPS 858205 HAS SOUS 663284 HAS SOUPS 663284 WITH SCORE 664142.205
AT ITER 1730 NEW BEST:: SOT 4405906 SOS 858020 HAS SOPS 858020 HAS SOUS 663282 HAS SOUPS 663282 WITH SCORE 664140.02
AT ITER 1736 NEW BEST:: SOT 4405778 SOS 857764 HAS SOPS 857764 HAS SOUS 663026 HAS SOUPS 663026 WITH SCORE 663883.764
AT ITER 1751 NEW BEST:: SOT 4405730 SOS 857668 HAS SOPS 857668 HAS SOUS 662930 HAS SOUPS 662930 WITH SCORE 663787.668
AT ITER 1760 NEW BEST:: SOT 4405523 SOS 857461 HAS SOPS 857461 HAS SOUS 662516 HAS SOUPS 662516 WITH SCORE 663373.461
AT ITER 1766 NEW BEST:: SOT 4405523 SOS 857092 HAS SOPS 857092 HAS SOUS 662147 HAS SOUPS 662147 WITH SCORE 663004.092
AT ITER 1790 NEW BEST:: SOT 4405483 SOS 857012 HAS SOPS 857012 HAS SOUS 662124 HAS SOUPS 662124 WITH SCORE 662981.012
AT ITER 1803 NEW BEST:: SOT 4405483 SOS 856931 HAS SOPS 856931 HAS SOUS 662124 HAS SOUPS 662124 WITH SCORE 662980.931
AT ITER 1829 NEW BEST:: SOT 4405192 SOS 856640 HAS SOPS 856640 HAS SOUS 662124 HAS SOUPS 662124 WITH SCORE 662980.64
AT ITER 1880 NEW BEST:: SOT 4405191 SOS 856611 HAS SOPS 856611 HAS SOUS 662121 HAS SOUPS 662121 WITH SCORE 662977.611
AT ITER 1891 NEW BEST:: SOT 4404986 SOS 856853 HAS SOPS 856853 HAS SOUS 661859 HAS SOUPS 661859 WITH SCORE 662715.853
AT ITER 1925 NEW BEST:: SOT 4404775 SOS 856545 HAS SOPS 856545 HAS SOUS 661591 HAS SOUPS 661591 WITH SCORE 662447.545
AT ITER 1956 NEW BEST:: SOT 4404706 SOS 856407 HAS SOPS 856407 HAS SOUS 661453 HAS SOUPS 661453 WITH SCORE 662309.407
AT ITER 1960 NEW BEST:: SOT 4404671 SOS 856337 HAS SOPS 856337 HAS SOUS 661383 HAS SOUPS 661383 WITH SCORE 662239.337
AT ITER 1966 NEW BEST:: SOT 4404671 SOS 856203 HAS SOPS 856203 HAS SOUS 661383 HAS SOUPS 661383 WITH SCORE 662239.203
AT ITER 1984 NEW BEST:: SOT 4404671 SOS 856203 HAS SOPS 856203 HAS SOUS 661332 HAS SOUPS 661332 WITH SCORE 662188.203
AT ITER 2008 NEW BEST:: SOT 4404636 SOS 856168 HAS SOPS 856168 HAS SOUS 661297 HAS SOUPS 661297 WITH SCORE 662153.168
AT ITER 2022 NEW BEST:: SOT 4404487 SOS 856040 HAS SOPS 856040 HAS SOUS 661158 HAS SOUPS 661158 WITH SCORE 662014.04
AT ITER 2059 NEW BEST:: SOT 4404255 SOS 855576 HAS SOPS 855576 HAS SOUS 661127 HAS SOUPS 661127 WITH SCORE 661982.576
AT ITER 2068 NEW BEST:: SOT 4403985 SOS 855036 HAS SOPS 855036 HAS SOUS 660871 HAS SOUPS 660871 WITH SCORE 661726.036
AT ITER 2072 NEW BEST:: SOT 4403984 SOS 855034 HAS SOPS 855034 HAS SOUS 660869 HAS SOUPS 660869 WITH SCORE 661724.034
AT ITER 2077 NEW BEST:: SOT 4403754 SOS 854915 HAS SOPS 854915 HAS SOUS 660695 HAS SOUPS 660695 WITH SCORE 661549.915
AT ITER 2095 NEW BEST:: SOT 4403754 SOS 854849 HAS SOPS 854849 HAS SOUS 660629 HAS SOUPS 660629 WITH SCORE 661483.849
AT ITER 2103 NEW BEST:: SOT 4403754 SOS 854849 HAS SOPS 854849 HAS SOUS 660536 HAS SOUPS 660536 WITH SCORE 661390.849
AT ITER 2163 NEW BEST:: SOT 4403485 SOS 854311 HAS SOPS 854311 HAS SOUS 660417 HAS SOUPS 660417 WITH SCORE 661271.311
AT ITER 2172 NEW BEST:: SOT 4403261 SOS 853863 HAS SOPS 853863 HAS SOUS 660193 HAS SOUPS 660193 WITH SCORE 661046.863
AT ITER 2204 NEW BEST:: SOT 4403201 SOS 853743 HAS SOPS 853743 HAS SOUS 660133 HAS SOUPS 660133 WITH SCORE 660986.743
AT ITER 2209 NEW BEST:: SOT 4403130 SOS 853601 HAS SOPS 853601 HAS SOUS 659991 HAS SOUPS 659991 WITH SCORE 660844.601
AT ITER 2251 NEW BEST:: SOT 4397853 SOS 911453 HAS SOPS 911453 HAS SOUS 658098 HAS SOUPS 658098 WITH SCORE 659009.453
AT ITER 2275 NEW BEST:: SOT 4397847 SOS 911041 HAS SOPS 911041 HAS SOUS 657892 HAS SOUPS 657892 WITH SCORE 658803.041
AT ITER 2284 NEW BEST:: SOT 4397803 SOS 911038 HAS SOPS 911038 HAS SOUS 657869 HAS SOUPS 657869 WITH SCORE 658780.038
AT ITER 2287 NEW BEST:: SOT 4397747 SOS 910818 HAS SOPS 910818 HAS SOUS 657705 HAS SOUPS 657705 WITH SCORE 658615.818
AT ITER 2319 NEW BEST:: SOT 4397559 SOS 910442 HAS SOPS 910442 HAS SOUS 657329 HAS SOUPS 657329 WITH SCORE 658239.442
AT ITER 2339 NEW BEST:: SOT 4397350 SOS 910233 HAS SOPS 910233 HAS SOUS 657120 HAS SOUPS 657120 WITH SCORE 658030.233
AT ITER 2348 NEW BEST:: SOT 4397314 SOS 910161 HAS SOPS 910161 HAS SOUS 657048 HAS SOUPS 657048 WITH SCORE 657958.161
AT ITER 2350 NEW BEST:: SOT 4397276 SOS 910085 HAS SOPS 910085 HAS SOUS 656915 HAS SOUPS 656915 WITH SCORE 657825.085
AT ITER 2397 NEW BEST:: SOT 4397276 SOS 910085 HAS SOPS 910085 HAS SOUS 656572 HAS SOUPS 656572 WITH SCORE 657482.085
AT ITER 2440 NEW BEST:: SOT 4397142 SOS 909951 HAS SOPS 909951 HAS SOUS 656571 HAS SOUPS 656571 WITH SCORE 657480.951
AT ITER 2445 NEW BEST:: SOT 4397061 SOS 909897 HAS SOPS 909897 HAS SOUS 656517 HAS SOUPS 656517 WITH SCORE 657426.897
AT ITER 2452 NEW BEST:: SOT 4396970 SOS 909806 HAS SOPS 909806 HAS SOUS 656426 HAS SOUPS 656426 WITH SCORE 657335.806
AT ITER 2467 NEW BEST:: SOT 4397175 SOS 910216 HAS SOPS 910216 HAS SOUS 656384 HAS SOUPS 656384 WITH SCORE 657294.216
AT ITER 2504 NEW BEST:: SOT 4397175 SOS 910180 HAS SOPS 910180 HAS SOUS 656348 HAS SOUPS 656348 WITH SCORE 657258.18
AT ITER 2505 NEW BEST:: SOT 4396952 SOS 910226 HAS SOPS 910226 HAS SOUS 656299 HAS SOUPS 656299 WITH SCORE 657209.226
AT ITER 2519 NEW BEST:: SOT 4396831 SOS 910060 HAS SOPS 910060 HAS SOUS 656133 HAS SOUPS 656133 WITH SCORE 657043.06
AT ITER 2536 NEW BEST:: SOT 4395582 SOS 910425 HAS SOPS 910425 HAS SOUS 655294 HAS SOUPS 655294 WITH SCORE 656204.425
AT ITER 2541 NEW BEST:: SOT 4395468 SOS 910197 HAS SOPS 910197 HAS SOUS 655066 HAS SOUPS 655066 WITH SCORE 655976.197
AT ITER 2547 NEW BEST:: SOT 4395468 SOS 910197 HAS SOPS 910197 HAS SOUS 655065 HAS SOUPS 655065 WITH SCORE 655975.197
AT ITER 2556 NEW BEST:: SOT 4395433 SOS 910127 HAS SOPS 910127 HAS SOUS 655057 HAS SOUPS 655057 WITH SCORE 655967.127
AT ITER 2568 NEW BEST:: SOT 4395433 SOS 910127 HAS SOPS 910127 HAS SOUS 655026 HAS SOUPS 655026 WITH SCORE 655936.127
AT ITER 2583 NEW BEST:: SOT 4395359 SOS 910053 HAS SOPS 910053 HAS SOUS 654952 HAS SOUPS 654952 WITH SCORE 655862.053
AT ITER 2588 NEW BEST:: SOT 4394742 SOS 909413 HAS SOPS 909413 HAS SOUS 654335 HAS SOUPS 654335 WITH SCORE 655244.413
AT ITER 2592 NEW BEST:: SOT 4394344 SOS 909347 HAS SOPS 909347 HAS SOUS 654083 HAS SOUPS 654083 WITH SCORE 654992.347
AT ITER 2604 NEW BEST:: SOT 4394344 SOS 908916 HAS SOPS 908916 HAS SOUS 654083 HAS SOUPS 654083 WITH SCORE 654991.916
AT ITER 2625 NEW BEST:: SOT 4394316 SOS 908860 HAS SOPS 908860 HAS SOUS 654027 HAS SOUPS 654027 WITH SCORE 654935.86
AT ITER 2633 NEW BEST:: SOT 4394255 SOS 908860 HAS SOPS 908860 HAS SOUS 653966 HAS SOUPS 653966 WITH SCORE 654874.86
AT ITER 2643 NEW BEST:: SOT 4394255 SOS 908860 HAS SOPS 908860 HAS SOUS 653815 HAS SOUPS 653815 WITH SCORE 654723.86
AT ITER 2650 NEW BEST:: SOT 4394080 SOS 908510 HAS SOPS 908510 HAS SOUS 653676 HAS SOUPS 653676 WITH SCORE 654584.51
AT ITER 2656 NEW BEST:: SOT 4393766 SOS 908808 HAS SOPS 908808 HAS SOUS 653382 HAS SOUPS 653382 WITH SCORE 654290.808
AT ITER 2687 NEW BEST:: SOT 4393631 SOS 908538 HAS SOPS 908538 HAS SOUS 653112 HAS SOUPS 653112 WITH SCORE 654020.538
AT ITER 2707 NEW BEST:: SOT 4393560 SOS 908495 HAS SOPS 908495 HAS SOUS 653041 HAS SOUPS 653041 WITH SCORE 653949.495
AT ITER 2710 NEW BEST:: SOT 4393272 SOS 908207 HAS SOPS 908207 HAS SOUS 652753 HAS SOUPS 652753 WITH SCORE 653661.207
AT ITER 2711 NEW BEST:: SOT 4392581 SOS 906825 HAS SOPS 906825 HAS SOUS 652464 HAS SOUPS 652464 WITH SCORE 653370.825
AT ITER 2713 NEW BEST:: SOT 4392526 SOS 906660 HAS SOPS 906660 HAS SOUS 652354 HAS SOUPS 652354 WITH SCORE 653260.66
AT ITER 2763 NEW BEST:: SOT 4392430 SOS 906468 HAS SOPS 906468 HAS SOUS 652162 HAS SOUPS 652162 WITH SCORE 653068.468
AT ITER 2773 NEW BEST:: SOT 4392117 SOS 906120 HAS SOPS 906120 HAS SOUS 651790 HAS SOUPS 651790 WITH SCORE 652696.12
AT ITER 2777 NEW BEST:: SOT 4391938 SOS 905762 HAS SOPS 905762 HAS SOUS 651611 HAS SOUPS 651611 WITH SCORE 652516.762
AT ITER 2796 NEW BEST:: SOT 4391912 SOS 905710 HAS SOPS 905710 HAS SOUS 651559 HAS SOUPS 651559 WITH SCORE 652464.71
AT ITER 2797 NEW BEST:: SOT 4391822 SOS 905620 HAS SOPS 905620 HAS SOUS 651469 HAS SOUPS 651469 WITH SCORE 652374.62
AT ITER 2803 NEW BEST:: SOT 4391446 SOS 907108 HAS SOPS 907108 HAS SOUS 651353 HAS SOUPS 651353 WITH SCORE 652260.108
AT ITER 2839 NEW BEST:: SOT 4391446 SOS 906878 HAS SOPS 906878 HAS SOUS 651353 HAS SOUPS 651353 WITH SCORE 652259.878
AT ITER 2845 NEW BEST:: SOT 4389878 SOS 910938 HAS SOPS 910938 HAS SOUS 651134 HAS SOUPS 651134 WITH SCORE 652044.938
AT ITER 2855 NEW BEST:: SOT 4389878 SOS 910938 HAS SOPS 910938 HAS SOUS 651129 HAS SOUPS 651129 WITH SCORE 652039.938
AT ITER 2858 NEW BEST:: SOT 4389708 SOS 910598 HAS SOPS 910598 HAS SOUS 650707 HAS SOUPS 650707 WITH SCORE 651617.598
AT ITER 2895 NEW BEST:: SOT 4389693 SOS 910568 HAS SOPS 910568 HAS SOUS 650677 HAS SOUPS 650677 WITH SCORE 651587.568
AT ITER 2918 NEW BEST:: SOT 4390043 SOS 909868 HAS SOPS 909868 HAS SOUS 650327 HAS SOUPS 650327 WITH SCORE 651236.868
AT ITER 2935 NEW BEST:: SOT 4390043 SOS 909868 HAS SOPS 909868 HAS SOUS 650107 HAS SOUPS 650107 WITH SCORE 651016.868
AT ITER 2972 NEW BEST:: SOT 4390042 SOS 909867 HAS SOPS 909867 HAS SOUS 650105 HAS SOUPS 650105 WITH SCORE 651014.867
AT ITER 2973 NEW BEST:: SOT 4390005 SOS 911060 HAS SOPS 911060 HAS SOUS 650068 HAS SOUPS 650068 WITH SCORE 650979.06
AT ITER 2994 NEW BEST:: SOT 4389842 SOS 910897 HAS SOPS 910897 HAS SOUS 649905 HAS SOUPS 649905 WITH SCORE 650815.897
AT ITER 2996 NEW BEST:: SOT 4389648 SOS 892223 HAS SOPS 892223 HAS SOUS 649282 HAS SOUPS 649282 WITH SCORE 650174.223
AT ITER 3020 NEW BEST:: SOT 4389581 SOS 892089 HAS SOPS 892089 HAS SOUS 649148 HAS SOUPS 649148 WITH SCORE 650040.089
AT ITER 3034 NEW BEST:: SOT 4389569 SOS 892102 HAS SOPS 892102 HAS SOUS 649124 HAS SOUPS 649124 WITH SCORE 650016.102
AT ITER 3046 NEW BEST:: SOT 4389546 SOS 892056 HAS SOPS 892056 HAS SOUS 649121 HAS SOUPS 649121 WITH SCORE 650013.056
AT ITER 3057 NEW BEST:: SOT 4389544 SOS 891980 HAS SOPS 891980 HAS SOUS 649117 HAS SOUPS 649117 WITH SCORE 650008.98
AT ITER 3124 NEW BEST:: SOT 4389261 SOS 891414 HAS SOPS 891414 HAS SOUS 648551 HAS SOUPS 648551 WITH SCORE 649442.414
AT ITER 3138 NEW BEST:: SOT 4389261 SOS 891389 HAS SOPS 891389 HAS SOUS 648532 HAS SOUPS 648532 WITH SCORE 649423.389
AT ITER 3144 NEW BEST:: SOT 4389254 SOS 891375 HAS SOPS 891375 HAS SOUS 648523 HAS SOUPS 648523 WITH SCORE 649414.375
AT ITER 3150 NEW BEST:: SOT 4389173 SOS 891311 HAS SOPS 891311 HAS SOUS 648452 HAS SOUPS 648452 WITH SCORE 649343.311
AT ITER 3172 NEW BEST:: SOT 4389082 SOS 890548 HAS SOPS 890548 HAS SOUS 648152 HAS SOUPS 648152 WITH SCORE 649042.548
AT ITER 3181 NEW BEST:: SOT 4388842 SOS 890068 HAS SOPS 890068 HAS SOUS 647432 HAS SOUPS 647432 WITH SCORE 648322.068
AT ITER 3204 NEW BEST:: SOT 4388912 SOS 889307 HAS SOPS 889307 HAS SOUS 647259 HAS SOUPS 647259 WITH SCORE 648148.307
AT ITER 3220 NEW BEST:: SOT 4388912 SOS 889307 HAS SOPS 889307 HAS SOUS 647033 HAS SOUPS 647033 WITH SCORE 647922.307
AT ITER 3223 NEW BEST:: SOT 4388900 SOS 889295 HAS SOPS 889295 HAS SOUS 647021 HAS SOUPS 647021 WITH SCORE 647910.295
AT ITER 3271 NEW BEST:: SOT 4388900 SOS 889295 HAS SOPS 889295 HAS SOUS 646949 HAS SOUPS 646949 WITH SCORE 647838.295
AT ITER 3299 NEW BEST:: SOT 4388733 SOS 888961 HAS SOPS 888961 HAS SOUS 646615 HAS SOUPS 646615 WITH SCORE 647503.961
AT ITER 3320 NEW BEST:: SOT 4388088 SOS 888203 HAS SOPS 888203 HAS SOUS 645333 HAS SOUPS 645333 WITH SCORE 646221.203
AT ITER 3357 NEW BEST:: SOT 4388087 SOS 888201 HAS SOPS 888201 HAS SOUS 645331 HAS SOUPS 645331 WITH SCORE 646219.201
AT ITER 3371 NEW BEST:: SOT 4388140 SOS 888456 HAS SOPS 888456 HAS SOUS 645288 HAS SOUPS 645288 WITH SCORE 646176.456
AT ITER 3429 NEW BEST:: SOT 4388063 SOS 865540 HAS SOPS 865540 HAS SOUS 645211 HAS SOUPS 645211 WITH SCORE 646076.54
AT ITER 3451 NEW BEST:: SOT 4387854 SOS 865122 HAS SOPS 865122 HAS SOUS 644793 HAS SOUPS 644793 WITH SCORE 645658.122
AT ITER 3473 NEW BEST:: SOT 4387497 SOS 864689 HAS SOPS 864689 HAS SOUS 644359 HAS SOUPS 644359 WITH SCORE 645223.689
AT ITER 3482 NEW BEST:: SOT 4387497 SOS 864689 HAS SOPS 864689 HAS SOUS 644276 HAS SOUPS 644276 WITH SCORE 645140.689
AT ITER 3501 NEW BEST:: SOT 4387408 SOS 864164 HAS SOPS 864164 HAS SOUS 643846 HAS SOUPS 643846 WITH SCORE 644710.164
AT ITER 3508 NEW BEST:: SOT 4387245 SOS 863838 HAS SOPS 863838 HAS SOUS 643683 HAS SOUPS 643683 WITH SCORE 644546.838
AT ITER 3515 NEW BEST:: SOT 4386529 SOS 864090 HAS SOPS 864090 HAS SOUS 643465 HAS SOUPS 643465 WITH SCORE 644329.09
AT ITER 3521 NEW BEST:: SOT 4386508 SOS 864048 HAS SOPS 864048 HAS SOUS 643443 HAS SOUPS 643443 WITH SCORE 644307.048
AT ITER 3525 NEW BEST:: SOT 4386291 SOS 863614 HAS SOPS 863614 HAS SOUS 643226 HAS SOUPS 643226 WITH SCORE 644089.614
AT ITER 3538 NEW BEST:: SOT 4386279 SOS 863590 HAS SOPS 863590 HAS SOUS 643078 HAS SOUPS 643078 WITH SCORE 643941.59
AT ITER 3542 NEW BEST:: SOT 4386205 SOS 863442 HAS SOPS 863442 HAS SOUS 642930 HAS SOUPS 642930 WITH SCORE 643793.442
AT ITER 3556 NEW BEST:: SOT 4386205 SOS 863049 HAS SOPS 863049 HAS SOUS 642537 HAS SOUPS 642537 WITH SCORE 643400.049
AT ITER 3560 NEW BEST:: SOT 4386205 SOS 863049 HAS SOPS 863049 HAS SOUS 642409 HAS SOUPS 642409 WITH SCORE 643272.049
AT ITER 3631 NEW BEST:: SOT 4386161 SOS 862961 HAS SOPS 862961 HAS SOUS 642321 HAS SOUPS 642321 WITH SCORE 643183.961
AT ITER 3636 NEW BEST:: SOT 4386107 SOS 862853 HAS SOPS 862853 HAS SOUS 642283 HAS SOUPS 642283 WITH SCORE 643145.853
AT ITER 3670 NEW BEST:: SOT 4386107 SOS 862807 HAS SOPS 862807 HAS SOUS 642283 HAS SOUPS 642283 WITH SCORE 643145.807
AT ITER 3682 NEW BEST:: SOT 4385906 SOS 862405 HAS SOPS 862405 HAS SOUS 642082 HAS SOUPS 642082 WITH SCORE 642944.405
AT ITER 3687 NEW BEST:: SOT 4385178 SOS 863209 HAS SOPS 863209 HAS SOUS 641662 HAS SOUPS 641662 WITH SCORE 642525.209
AT ITER 3693 NEW BEST:: SOT 4385050 SOS 863081 HAS SOPS 863081 HAS SOUS 641534 HAS SOUPS 641534 WITH SCORE 642397.081
AT ITER 3697 NEW BEST:: SOT 4385131 SOS 862947 HAS SOPS 862947 HAS SOUS 641483 HAS SOUPS 641483 WITH SCORE 642345.947
AT ITER 3700 NEW BEST:: SOT 4385304 SOS 862405 HAS SOPS 862405 HAS SOUS 641434 HAS SOUPS 641434 WITH SCORE 642296.405
AT ITER 3705 NEW BEST:: SOT 4385110 SOS 862017 HAS SOPS 862017 HAS SOUS 641046 HAS SOUPS 641046 WITH SCORE 641908.017
AT ITER 3718 NEW BEST:: SOT 4385115 SOS 861805 HAS SOPS 861805 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641833.805
AT ITER 3735 NEW BEST:: SOT 4385380 SOS 862335 HAS SOPS 862335 HAS SOUS 640764 HAS SOUPS 640764 WITH SCORE 641626.335
AT ITER 3760 NEW BEST:: SOT 4385143 SOS 861861 HAS SOPS 861861 HAS SOUS 640290 HAS SOUPS 640290 WITH SCORE 641151.861
AT ITER 3772 NEW BEST:: SOT 4384988 SOS 861551 HAS SOPS 861551 HAS SOUS 639980 HAS SOUPS 639980 WITH SCORE 640841.551
AT ITER 3777 NEW BEST:: SOT 4384972 SOS 861519 HAS SOPS 861519 HAS SOUS 639948 HAS SOUPS 639948 WITH SCORE 640809.519
AT ITER 3785 NEW BEST:: SOT 4384950 SOS 861475 HAS SOPS 861475 HAS SOUS 639926 HAS SOUPS 639926 WITH SCORE 640787.475
AT ITER 3809 NEW BEST:: SOT 4384950 SOS 861146 HAS SOPS 861146 HAS SOUS 639926 HAS SOUPS 639926 WITH SCORE 640787.146
AT ITER 3815 NEW BEST:: SOT 4384949 SOS 861144 HAS SOPS 861144 HAS SOUS 639924 HAS SOUPS 639924 WITH SCORE 640785.144
AT ITER 3819 NEW BEST:: SOT 4384751 SOS 860962 HAS SOPS 860962 HAS SOUS 639661 HAS SOUPS 639661 WITH SCORE 640521.962
AT ITER 3842 NEW BEST:: SOT 4384751 SOS 860764 HAS SOPS 860764 HAS SOUS 639661 HAS SOUPS 639661 WITH SCORE 640521.764
AT ITER 3844 NEW BEST:: SOT 4382377 SOS 892094 HAS SOPS 892094 HAS SOUS 637679 HAS SOUPS 637679 WITH SCORE 638571.094
AT ITER 3857 NEW BEST:: SOT 4382007 SOS 892278 HAS SOPS 892278 HAS SOUS 637540 HAS SOUPS 637540 WITH SCORE 638432.278
AT ITER 3877 NEW BEST:: SOT 4381841 SOS 891274 HAS SOPS 891274 HAS SOUS 637207 HAS SOUPS 637207 WITH SCORE 638098.274
AT ITER 3885 NEW BEST:: SOT 4381752 SOS 891185 HAS SOPS 891185 HAS SOUS 637029 HAS SOUPS 637029 WITH SCORE 637920.185
AT ITER 3896 NEW BEST:: SOT 4381751 SOS 891183 HAS SOPS 891183 HAS SOUS 637027 HAS SOUPS 637027 WITH SCORE 637918.183
AT ITER 3897 NEW BEST:: SOT 4381622 SOS 890925 HAS SOPS 890925 HAS SOUS 636769 HAS SOUPS 636769 WITH SCORE 637659.925
AT ITER 3902 NEW BEST:: SOT 4381364 SOS 871447 HAS SOPS 871447 HAS SOUS 636427 HAS SOUPS 636427 WITH SCORE 637298.447
AT ITER 3917 NEW BEST:: SOT 4381319 SOS 871402 HAS SOPS 871402 HAS SOUS 636382 HAS SOUPS 636382 WITH SCORE 637253.402
AT ITER 3960 NEW BEST:: SOT 4381205 SOS 871174 HAS SOPS 871174 HAS SOUS 636266 HAS SOUPS 636266 WITH SCORE 637137.174
AT ITER 3979 NEW BEST:: SOT 4381205 SOS 871174 HAS SOPS 871174 HAS SOUS 636101 HAS SOUPS 636101 WITH SCORE 636972.174
AT ITER 3995 NEW BEST:: SOT 4381024 SOS 870453 HAS SOPS 870453 HAS SOUS 635739 HAS SOUPS 635739 WITH SCORE 636609.453
AT ITER 4002 NEW BEST:: SOT 4380969 SOS 870343 HAS SOPS 870343 HAS SOUS 635684 HAS SOUPS 635684 WITH SCORE 636554.343
AT ITER 4005 NEW BEST:: SOT 4380969 SOS 870208 HAS SOPS 870208 HAS SOUS 635684 HAS SOUPS 635684 WITH SCORE 636554.208
AT ITER 4045 NEW BEST:: SOT 4380969 SOS 870141 HAS SOPS 870141 HAS SOUS 635684 HAS SOUPS 635684 WITH SCORE 636554.141
AT ITER 4059 NEW BEST:: SOT 4380969 SOS 869893 HAS SOPS 869893 HAS SOUS 635684 HAS SOUPS 635684 WITH SCORE 636553.893
AT ITER 4063 NEW BEST:: SOT 4380962 SOS 869886 HAS SOPS 869886 HAS SOUS 635677 HAS SOUPS 635677 WITH SCORE 636546.886
AT ITER 4067 NEW BEST:: SOT 4380783 SOS 869903 HAS SOPS 869903 HAS SOUS 635319 HAS SOUPS 635319 WITH SCORE 636188.903
AT ITER 4072 NEW BEST:: SOT 4380926 SOS 869857 HAS SOPS 869857 HAS SOUS 635296 HAS SOUPS 635296 WITH SCORE 636165.857
AT ITER 4079 NEW BEST:: SOT 4380876 SOS 869807 HAS SOPS 869807 HAS SOUS 635296 HAS SOUPS 635296 WITH SCORE 636165.807
AT ITER 4101 NEW BEST:: SOT 4380831 SOS 869717 HAS SOPS 869717 HAS SOUS 635206 HAS SOUPS 635206 WITH SCORE 636075.717
AT ITER 4114 NEW BEST:: SOT 4380745 SOS 869545 HAS SOPS 869545 HAS SOUS 634649 HAS SOUPS 634649 WITH SCORE 635518.545
AT ITER 4147 NEW BEST:: SOT 4380607 SOS 869200 HAS SOPS 869200 HAS SOUS 634442 HAS SOUPS 634442 WITH SCORE 635311.2
AT ITER 4154 NEW BEST:: SOT 4380593 SOS 869186 HAS SOPS 869186 HAS SOUS 634428 HAS SOUPS 634428 WITH SCORE 635297.186
AT ITER 4177 NEW BEST:: SOT 4380301 SOS 868894 HAS SOPS 868894 HAS SOUS 634136 HAS SOUPS 634136 WITH SCORE 635004.894
AT ITER 4178 NEW BEST:: SOT 4380136 SOS 868872 HAS SOPS 868872 HAS SOUS 634048 HAS SOUPS 634048 WITH SCORE 634916.872
AT ITER 4185 NEW BEST:: SOT 4380136 SOS 868706 HAS SOPS 868706 HAS SOUS 634048 HAS SOUPS 634048 WITH SCORE 634916.706
AT ITER 4199 NEW BEST:: SOT 4380136 SOS 868567 HAS SOPS 868567 HAS SOUS 634048 HAS SOUPS 634048 WITH SCORE 634916.567
AT ITER 4209 NEW BEST:: SOT 4380136 SOS 868567 HAS SOPS 868567 HAS SOUS 633957 HAS SOUPS 633957 WITH SCORE 634825.567
AT ITER 4217 NEW BEST:: SOT 4380004 SOS 868435 HAS SOPS 868435 HAS SOUS 633891 HAS SOUPS 633891 WITH SCORE 634759.435
AT ITER 4223 NEW BEST:: SOT 4379800 SOS 868257 HAS SOPS 868257 HAS SOUS 633713 HAS SOUPS 633713 WITH SCORE 634581.257
AT ITER 4232 NEW BEST:: SOT 4379643 SOS 868465 HAS SOPS 868465 HAS SOUS 633651 HAS SOUPS 633651 WITH SCORE 634519.465
AT ITER 4291 NEW BEST:: SOT 4379549 SOS 868277 HAS SOPS 868277 HAS SOUS 633463 HAS SOUPS 633463 WITH SCORE 634331.277
AT ITER 4322 NEW BEST:: SOT 4379543 SOS 868271 HAS SOPS 868271 HAS SOUS 633451 HAS SOUPS 633451 WITH SCORE 634319.271
AT ITER 4331 NEW BEST:: SOT 4379299 SOS 867033 HAS SOPS 867033 HAS SOUS 632896 HAS SOUPS 632896 WITH SCORE 633763.033
AT ITER 4395 NEW BEST:: SOT 4379299 SOS 867033 HAS SOPS 867033 HAS SOUS 632891 HAS SOUPS 632891 WITH SCORE 633758.033
AT ITER 4418 NEW BEST:: SOT 4379274 SOS 866983 HAS SOPS 866983 HAS SOUS 632841 HAS SOUPS 632841 WITH SCORE 633707.983
AT ITER 4431 NEW BEST:: SOT 4379122 SOS 866917 HAS SOPS 866917 HAS SOUS 632689 HAS SOUPS 632689 WITH SCORE 633555.917
AT ITER 4482 NEW BEST:: SOT 4379007 SOS 866069 HAS SOPS 866069 HAS SOUS 632574 HAS SOUPS 632574 WITH SCORE 633440.069
AT ITER 4514 NEW BEST:: SOT 4379007 SOS 865719 HAS SOPS 865719 HAS SOUS 632399 HAS SOUPS 632399 WITH SCORE 633264.719
AT ITER 4516 NEW BEST:: SOT 4378551 SOS 856289 HAS SOPS 856289 HAS SOUS 631707 HAS SOUPS 631707 WITH SCORE 632563.289
AT ITER 4542 NEW BEST:: SOT 4378531 SOS 856249 HAS SOPS 856249 HAS SOUS 631687 HAS SOUPS 631687 WITH SCORE 632543.249
AT ITER 4563 NEW BEST:: SOT 4378530 SOS 856247 HAS SOPS 856247 HAS SOUS 631686 HAS SOUPS 631686 WITH SCORE 632542.247
AT ITER 4613 NEW BEST:: SOT 4378313 SOS 855813 HAS SOPS 855813 HAS SOUS 631469 HAS SOUPS 631469 WITH SCORE 632324.813
AT ITER 4642 NEW BEST:: SOT 4378313 SOS 855299 HAS SOPS 855299 HAS SOUS 631469 HAS SOUPS 631469 WITH SCORE 632324.299
AT ITER 4665 NEW BEST:: SOT 4377954 SOS 854940 HAS SOPS 854940 HAS SOUS 631110 HAS SOUPS 631110 WITH SCORE 631964.94
AT ITER 4689 NEW BEST:: SOT 4378023 SOS 854652 HAS SOPS 854652 HAS SOUS 631035 HAS SOUPS 631035 WITH SCORE 631889.652
AT ITER 4713 NEW BEST:: SOT 4378196 SOS 854640 HAS SOPS 854640 HAS SOUS 631023 HAS SOUPS 631023 WITH SCORE 631877.64
AT ITER 4715 NEW BEST:: SOT 4378144 SOS 854536 HAS SOPS 854536 HAS SOUS 630919 HAS SOUPS 630919 WITH SCORE 631773.536
AT ITER 4723 NEW BEST:: SOT 4378144 SOS 854267 HAS SOPS 854267 HAS SOUS 630650 HAS SOUPS 630650 WITH SCORE 631504.267
AT ITER 4733 NEW BEST:: SOT 4377831 SOS 853641 HAS SOPS 853641 HAS SOUS 629949 HAS SOUPS 629949 WITH SCORE 630802.641
AT ITER 4735 NEW BEST:: SOT 4377850 SOS 853679 HAS SOPS 853679 HAS SOUS 629899 HAS SOUPS 629899 WITH SCORE 630752.679
AT ITER 4740 NEW BEST:: SOT 4377776 SOS 853531 HAS SOPS 853531 HAS SOUS 629751 HAS SOUPS 629751 WITH SCORE 630604.531
AT ITER 4828 NEW BEST:: SOT 4377717 SOS 853413 HAS SOPS 853413 HAS SOUS 629696 HAS SOUPS 629696 WITH SCORE 630549.413
AT ITER 4842 NEW BEST:: SOT 4377647 SOS 853273 HAS SOPS 853273 HAS SOUS 629626 HAS SOUPS 629626 WITH SCORE 630479.273
AT ITER 4880 NEW BEST:: SOT 4377646 SOS 853222 HAS SOPS 853222 HAS SOUS 629624 HAS SOUPS 629624 WITH SCORE 630477.222
AT ITER 4903 NEW BEST:: SOT 4377626 SOS 853182 HAS SOPS 853182 HAS SOUS 629604 HAS SOUPS 629604 WITH SCORE 630457.182
AT ITER 4916 NEW BEST:: SOT 4377236 SOS 852402 HAS SOPS 852402 HAS SOUS 629061 HAS SOUPS 629061 WITH SCORE 629913.402
AT ITER 4922 NEW BEST:: SOT 4377338 SOS 852374 HAS SOPS 852374 HAS SOUS 629034 HAS SOUPS 629034 WITH SCORE 629886.374
AT ITER 4934 NEW BEST:: SOT 4377220 SOS 852138 HAS SOPS 852138 HAS SOUS 628918 HAS SOUPS 628918 WITH SCORE 629770.138
AT ITER 4947 NEW BEST:: SOT 4377220 SOS 852138 HAS SOPS 852138 HAS SOUS 628917 HAS SOUPS 628917 WITH SCORE 629769.138
AT ITER 4956 NEW BEST:: SOT 4377006 SOS 851710 HAS SOPS 851710 HAS SOUS 628489 HAS SOUPS 628489 WITH SCORE 629340.71
AT ITER 5004 NEW BEST:: SOT 4377006 SOS 851710 HAS SOPS 851710 HAS SOUS 628417 HAS SOUPS 628417 WITH SCORE 629268.71
AT ITER 5025 NEW BEST:: SOT 4377006 SOS 851710 HAS SOPS 851710 HAS SOUS 628302 HAS SOUPS 628302 WITH SCORE 629153.71
AT ITER 5055 NEW BEST:: SOT 4376987 SOS 851672 HAS SOPS 851672 HAS SOUS 628264 HAS SOUPS 628264 WITH SCORE 629115.672
AT ITER 5128 NEW BEST:: SOT 4376962 SOS 851647 HAS SOPS 851647 HAS SOUS 628239 HAS SOUPS 628239 WITH SCORE 629090.647
AT ITER 5129 NEW BEST:: SOT 4376789 SOS 851301 HAS SOPS 851301 HAS SOUS 628066 HAS SOUPS 628066 WITH SCORE 628917.301
AT ITER 5147 NEW BEST:: SOT 4376578 SOS 850333 HAS SOPS 850333 HAS SOUS 627644 HAS SOUPS 627644 WITH SCORE 628494.333
AT ITER 5148 NEW BEST:: SOT 4376412 SOS 850525 HAS SOPS 850525 HAS SOUS 627478 HAS SOUPS 627478 WITH SCORE 628328.525
AT ITER 5212 NEW BEST:: SOT 4375920 SOS 849541 HAS SOPS 849541 HAS SOUS 626827 HAS SOUPS 626827 WITH SCORE 627676.541
AT ITER 5217 NEW BEST:: SOT 4375920 SOS 849521 HAS SOPS 849521 HAS SOUS 626807 HAS SOUPS 626807 WITH SCORE 627656.521
AT ITER 5234 NEW BEST:: SOT 4375881 SOS 849443 HAS SOPS 849443 HAS SOUS 626729 HAS SOUPS 626729 WITH SCORE 627578.443
AT ITER 5247 NEW BEST:: SOT 4375646 SOS 848973 HAS SOPS 848973 HAS SOUS 626667 HAS SOUPS 626667 WITH SCORE 627515.973
AT ITER 5286 NEW BEST:: SOT 4375311 SOS 848715 HAS SOPS 848715 HAS SOUS 626341 HAS SOUPS 626341 WITH SCORE 627189.715
AT ITER 5295 NEW BEST:: SOT 4374916 SOS 847925 HAS SOPS 847925 HAS SOUS 626247 HAS SOUPS 626247 WITH SCORE 627094.925
AT ITER 5325 NEW BEST:: SOT 4374885 SOS 847863 HAS SOPS 847863 HAS SOUS 626185 HAS SOUPS 626185 WITH SCORE 627032.863
AT ITER 5331 NEW BEST:: SOT 4374723 SOS 847701 HAS SOPS 847701 HAS SOUS 626023 HAS SOUPS 626023 WITH SCORE 626870.701
AT ITER 5343 NEW BEST:: SOT 4374483 SOS 847461 HAS SOPS 847461 HAS SOUS 625783 HAS SOUPS 625783 WITH SCORE 626630.461
AT ITER 5396 NEW BEST:: SOT 4374310 SOS 847695 HAS SOPS 847695 HAS SOUS 625659 HAS SOUPS 625659 WITH SCORE 626506.695
AT ITER 5492 NEW BEST:: SOT 4374390 SOS 847855 HAS SOPS 847855 HAS SOUS 625655 HAS SOUPS 625655 WITH SCORE 626502.855
AT ITER 5503 NEW BEST:: SOT 4374377 SOS 847829 HAS SOPS 847829 HAS SOUS 625629 HAS SOUPS 625629 WITH SCORE 626476.829
AT ITER 5509 NEW BEST:: SOT 4373995 SOS 843915 HAS SOPS 843915 HAS SOUS 625131 HAS SOUPS 625131 WITH SCORE 625974.915
AT ITER 5528 NEW BEST:: SOT 4373885 SOS 843527 HAS SOPS 843527 HAS SOUS 625080 HAS SOUPS 625080 WITH SCORE 625923.527
AT ITER 5539 NEW BEST:: SOT 4373582 SOS 842921 HAS SOPS 842921 HAS SOUS 624474 HAS SOUPS 624474 WITH SCORE 625316.921
AT ITER 5549 NEW BEST:: SOT 4373324 SOS 842920 HAS SOPS 842920 HAS SOUS 624472 HAS SOUPS 624472 WITH SCORE 625314.92
AT ITER 5556 NEW BEST:: SOT 4373144 SOS 842560 HAS SOPS 842560 HAS SOUS 624112 HAS SOUPS 624112 WITH SCORE 624954.56
AT ITER 5584 NEW BEST:: SOT 4373141 SOS 842554 HAS SOPS 842554 HAS SOUS 624106 HAS SOUPS 624106 WITH SCORE 624948.554
AT ITER 5593 NEW BEST:: SOT 4373141 SOS 842382 HAS SOPS 842382 HAS SOUS 624106 HAS SOUPS 624106 WITH SCORE 624948.382
AT ITER 5605 NEW BEST:: SOT 4371600 SOS 845670 HAS SOPS 845670 HAS SOUS 623716 HAS SOUPS 623716 WITH SCORE 624561.67
AT ITER 5631 NEW BEST:: SOT 4371600 SOS 845670 HAS SOPS 845670 HAS SOUS 623687 HAS SOUPS 623687 WITH SCORE 624532.67
AT ITER 5667 NEW BEST:: SOT 4371570 SOS 845883 HAS SOPS 845883 HAS SOUS 623627 HAS SOUPS 623627 WITH SCORE 624472.883
AT ITER 5674 NEW BEST:: SOT 4371456 SOS 845655 HAS SOPS 845655 HAS SOUS 623408 HAS SOUPS 623408 WITH SCORE 624253.655
AT ITER 5685 NEW BEST:: SOT 4371144 SOS 832388 HAS SOPS 832388 HAS SOUS 622696 HAS SOUPS 622696 WITH SCORE 623528.388
AT ITER 5693 NEW BEST:: SOT 4371119 SOS 832488 HAS SOPS 832488 HAS SOUS 622671 HAS SOUPS 622671 WITH SCORE 623503.488
AT ITER 5696 NEW BEST:: SOT 4371048 SOS 832346 HAS SOPS 832346 HAS SOUS 622369 HAS SOUPS 622369 WITH SCORE 623201.346
AT ITER 5708 NEW BEST:: SOT 4371031 SOS 832165 HAS SOPS 832165 HAS SOUS 622175 HAS SOUPS 622175 WITH SCORE 623007.165
AT ITER 5727 NEW BEST:: SOT 4370730 SOS 831287 HAS SOPS 831287 HAS SOUS 621910 HAS SOUPS 621910 WITH SCORE 622741.287
AT ITER 5736 NEW BEST:: SOT 4370192 SOS 830211 HAS SOPS 830211 HAS SOUS 620988 HAS SOUPS 620988 WITH SCORE 621818.211
AT ITER 5747 NEW BEST:: SOT 4370143 SOS 830113 HAS SOPS 830113 HAS SOUS 620890 HAS SOUPS 620890 WITH SCORE 621720.113
AT ITER 5749 NEW BEST:: SOT 4370096 SOS 829858 HAS SOPS 829858 HAS SOUS 620731 HAS SOUPS 620731 WITH SCORE 621560.858
AT ITER 5769 NEW BEST:: SOT 4369971 SOS 829733 HAS SOPS 829733 HAS SOUS 620606 HAS SOUPS 620606 WITH SCORE 621435.733
AT ITER 5776 NEW BEST:: SOT 4369813 SOS 829417 HAS SOPS 829417 HAS SOUS 620272 HAS SOUPS 620272 WITH SCORE 621101.417
AT ITER 5788 NEW BEST:: SOT 4369239 SOS 828269 HAS SOPS 828269 HAS SOUS 620234 HAS SOUPS 620234 WITH SCORE 621062.269
AT ITER 5789 NEW BEST:: SOT 4368786 SOS 828771 HAS SOPS 828771 HAS SOUS 620183 HAS SOUPS 620183 WITH SCORE 621011.771
AT ITER 5807 NEW BEST:: SOT 4368582 SOS 828363 HAS SOPS 828363 HAS SOUS 619775 HAS SOUPS 619775 WITH SCORE 620603.363
AT ITER 5818 NEW BEST:: SOT 4368436 SOS 828071 HAS SOPS 828071 HAS SOUS 619483 HAS SOUPS 619483 WITH SCORE 620311.071
AT ITER 5843 NEW BEST:: SOT 4368397 SOS 827954 HAS SOPS 827954 HAS SOUS 619405 HAS SOUPS 619405 WITH SCORE 620232.954
AT ITER 5876 NEW BEST:: SOT 4368218 SOS 827397 HAS SOPS 827397 HAS SOUS 618858 HAS SOUPS 618858 WITH SCORE 619685.397
AT ITER 5904 NEW BEST:: SOT 4367758 SOS 826477 HAS SOPS 826477 HAS SOUS 618396 HAS SOUPS 618396 WITH SCORE 619222.477
AT ITER 5929 NEW BEST:: SOT 4367702 SOS 826420 HAS SOPS 826420 HAS SOUS 618339 HAS SOUPS 618339 WITH SCORE 619165.42
AT ITER 5958 NEW BEST:: SOT 4367670 SOS 826356 HAS SOPS 826356 HAS SOUS 618275 HAS SOUPS 618275 WITH SCORE 619101.356
AT ITER 5967 NEW BEST:: SOT 4367625 SOS 826266 HAS SOPS 826266 HAS SOUS 618185 HAS SOUPS 618185 WITH SCORE 619011.266
AT ITER 5975 NEW BEST:: SOT 4367539 SOS 826094 HAS SOPS 826094 HAS SOUS 618099 HAS SOUPS 618099 WITH SCORE 618925.094
AT ITER 5978 NEW BEST:: SOT 4367239 SOS 822577 HAS SOPS 822577 HAS SOUS 617562 HAS SOUPS 617562 WITH SCORE 618384.577
AT ITER 5985 NEW BEST:: SOT 4367161 SOS 822421 HAS SOPS 822421 HAS SOUS 617406 HAS SOUPS 617406 WITH SCORE 618228.421
AT ITER 6013 NEW BEST:: SOT 4366932 SOS 821963 HAS SOPS 821963 HAS SOUS 617177 HAS SOUPS 617177 WITH SCORE 617998.963
AT ITER 6017 NEW BEST:: SOT 4366773 SOS 821645 HAS SOPS 821645 HAS SOUS 616859 HAS SOUPS 616859 WITH SCORE 617680.645
AT ITER 6136 NEW BEST:: SOT 4366735 SOS 821493 HAS SOPS 821493 HAS SOUS 616783 HAS SOUPS 616783 WITH SCORE 617604.493
AT ITER 6157 NEW BEST:: SOT 4366734 SOS 821491 HAS SOPS 821491 HAS SOUS 616781 HAS SOUPS 616781 WITH SCORE 617602.491
AT ITER 6165 NEW BEST:: SOT 4366734 SOS 821431 HAS SOPS 821431 HAS SOUS 616721 HAS SOUPS 616721 WITH SCORE 617542.431
AT ITER 6171 NEW BEST:: SOT 4366448 SOS 821127 HAS SOPS 821127 HAS SOUS 616417 HAS SOUPS 616417 WITH SCORE 617238.127
AT ITER 6178 NEW BEST:: SOT 4366448 SOS 821127 HAS SOPS 821127 HAS SOUS 616414 HAS SOUPS 616414 WITH SCORE 617235.127
AT ITER 6211 NEW BEST:: SOT 4366436 SOS 821119 HAS SOPS 821119 HAS SOUS 616406 HAS SOUPS 616406 WITH SCORE 617227.119
AT ITER 6219 NEW BEST:: SOT 4366267 SOS 821221 HAS SOPS 821221 HAS SOUS 616237 HAS SOUPS 616237 WITH SCORE 617058.221
AT ITER 6299 NEW BEST:: SOT 4366239 SOS 821193 HAS SOPS 821193 HAS SOUS 616209 HAS SOUPS 616209 WITH SCORE 617030.193
AT ITER 6303 NEW BEST:: SOT 4365377 SOS 820694 HAS SOPS 820694 HAS SOUS 615291 HAS SOUPS 615291 WITH SCORE 616111.694
AT ITER 6394 NEW BEST:: SOT 4365113 SOS 820472 HAS SOPS 820472 HAS SOUS 614763 HAS SOUPS 614763 WITH SCORE 615583.472
AT ITER 6425 NEW BEST:: SOT 4364994 SOS 820353 HAS SOPS 820353 HAS SOUS 614525 HAS SOUPS 614525 WITH SCORE 615345.353
AT ITER 6466 NEW BEST:: SOT 4364989 SOS 820202 HAS SOPS 820202 HAS SOUS 614514 HAS SOUPS 614514 WITH SCORE 615334.202
AT ITER 6483 NEW BEST:: SOT 4364842 SOS 819908 HAS SOPS 819908 HAS SOUS 614219 HAS SOUPS 614219 WITH SCORE 615038.908
AT ITER 6487 NEW BEST:: SOT 4364773 SOS 819844 HAS SOPS 819844 HAS SOUS 614076 HAS SOUPS 614076 WITH SCORE 614895.844
AT ITER 6503 NEW BEST:: SOT 4364703 SOS 819704 HAS SOPS 819704 HAS SOUS 614006 HAS SOUPS 614006 WITH SCORE 614825.704
AT ITER 6537 NEW BEST:: SOT 4364767 SOS 819832 HAS SOPS 819832 HAS SOUS 613950 HAS SOUPS 613950 WITH SCORE 614769.832
AT ITER 6545 NEW BEST:: SOT 4364606 SOS 819932 HAS SOPS 819932 HAS SOUS 613808 HAS SOUPS 613808 WITH SCORE 614627.932
AT ITER 6586 NEW BEST:: SOT 4364606 SOS 819894 HAS SOPS 819894 HAS SOUS 613770 HAS SOUPS 613770 WITH SCORE 614589.894
AT ITER 6588 NEW BEST:: SOT 4364698 SOS 820078 HAS SOPS 820078 HAS SOUS 613627 HAS SOUPS 613627 WITH SCORE 614447.078
AT ITER 6597 NEW BEST:: SOT 4364697 SOS 820076 HAS SOPS 820076 HAS SOUS 613625 HAS SOUPS 613625 WITH SCORE 614445.076
AT ITER 6599 NEW BEST:: SOT 4364697 SOS 820064 HAS SOPS 820064 HAS SOUS 613625 HAS SOUPS 613625 WITH SCORE 614445.064
AT ITER 6612 NEW BEST:: SOT 4364635 SOS 819940 HAS SOPS 819940 HAS SOUS 613501 HAS SOUPS 613501 WITH SCORE 614320.94
AT ITER 6613 NEW BEST:: SOT 4364542 SOS 819661 HAS SOPS 819661 HAS SOUS 613315 HAS SOUPS 613315 WITH SCORE 614134.661
AT ITER 6619 NEW BEST:: SOT 4364541 SOS 819659 HAS SOPS 819659 HAS SOUS 613313 HAS SOUPS 613313 WITH SCORE 614132.659
AT ITER 6643 NEW BEST:: SOT 4364504 SOS 819585 HAS SOPS 819585 HAS SOUS 613239 HAS SOUPS 613239 WITH SCORE 614058.585
AT ITER 6653 NEW BEST:: SOT 4364448 SOS 819571 HAS SOPS 819571 HAS SOUS 613225 HAS SOUPS 613225 WITH SCORE 614044.571
AT ITER 6699 NEW BEST:: SOT 4364466 SOS 819561 HAS SOPS 819561 HAS SOUS 613220 HAS SOUPS 613220 WITH SCORE 614039.561
AT ITER 6729 NEW BEST:: SOT 4364544 SOS 819717 HAS SOPS 819717 HAS SOUS 612998 HAS SOUPS 612998 WITH SCORE 613817.717
AT ITER 6736 NEW BEST:: SOT 4363747 SOS 818123 HAS SOPS 818123 HAS SOUS 612363 HAS SOUPS 612363 WITH SCORE 613181.123
AT ITER 6744 NEW BEST:: SOT 4363542 SOS 817713 HAS SOPS 817713 HAS SOUS 612158 HAS SOUPS 612158 WITH SCORE 612975.713
AT ITER 6753 NEW BEST:: SOT 4363542 SOS 817541 HAS SOPS 817541 HAS SOUS 612158 HAS SOUPS 612158 WITH SCORE 612975.541
AT ITER 6792 NEW BEST:: SOT 4363381 SOS 817219 HAS SOPS 817219 HAS SOUS 611997 HAS SOUPS 611997 WITH SCORE 612814.219
AT ITER 6793 NEW BEST:: SOT 4363353 SOS 816925 HAS SOPS 816925 HAS SOUS 611968 HAS SOUPS 611968 WITH SCORE 612784.925
AT ITER 6796 NEW BEST:: SOT 4363270 SOS 816919 HAS SOPS 816919 HAS SOUS 611885 HAS SOUPS 611885 WITH SCORE 612701.919
AT ITER 6798 NEW BEST:: SOT 4363270 SOS 816919 HAS SOPS 816919 HAS SOUS 611836 HAS SOUPS 611836 WITH SCORE 612652.919
AT ITER 6826 NEW BEST:: SOT 4363251 SOS 816914 HAS SOPS 816914 HAS SOUS 611817 HAS SOUPS 611817 WITH SCORE 612633.914
AT ITER 6854 NEW BEST:: SOT 4363251 SOS 816914 HAS SOPS 816914 HAS SOUS 611797 HAS SOUPS 611797 WITH SCORE 612613.914
AT ITER 6859 NEW BEST:: SOT 4362609 SOS 815630 HAS SOPS 815630 HAS SOUS 611155 HAS SOUPS 611155 WITH SCORE 611970.63
AT ITER 6903 NEW BEST:: SOT 4362656 SOS 815724 HAS SOPS 815724 HAS SOUS 610997 HAS SOUPS 610997 WITH SCORE 611812.724
AT ITER 6924 NEW BEST:: SOT 4362656 SOS 815724 HAS SOPS 815724 HAS SOUS 610980 HAS SOUPS 610980 WITH SCORE 611795.724
AT ITER 6968 NEW BEST:: SOT 4362655 SOS 815722 HAS SOPS 815722 HAS SOUS 610978 HAS SOUPS 610978 WITH SCORE 611793.722
AT ITER 6970 NEW BEST:: SOT 4362655 SOS 815722 HAS SOPS 815722 HAS SOUS 610969 HAS SOUPS 610969 WITH SCORE 611784.722
AT ITER 6983 NEW BEST:: SOT 4362655 SOS 815477 HAS SOPS 815477 HAS SOUS 610969 HAS SOUPS 610969 WITH SCORE 611784.477
AT ITER 7040 NEW BEST:: SOT 4362655 SOS 815305 HAS SOPS 815305 HAS SOUS 610797 HAS SOUPS 610797 WITH SCORE 611612.305
AT ITER 7054 NEW BEST:: SOT 4361969 SOS 815019 HAS SOPS 815019 HAS SOUS 610511 HAS SOUPS 610511 WITH SCORE 611326.019
AT ITER 7082 NEW BEST:: SOT 4361858 SOS 814965 HAS SOPS 814965 HAS SOUS 610417 HAS SOUPS 610417 WITH SCORE 611231.965
AT ITER 7089 NEW BEST:: SOT 4361858 SOS 814921 HAS SOPS 814921 HAS SOUS 610373 HAS SOUPS 610373 WITH SCORE 611187.921
AT ITER 7126 NEW BEST:: SOT 4361780 SOS 814765 HAS SOPS 814765 HAS SOUS 610217 HAS SOUPS 610217 WITH SCORE 611031.765
AT ITER 7187 NEW BEST:: SOT 4361780 SOS 814765 HAS SOPS 814765 HAS SOUS 610006 HAS SOUPS 610006 WITH SCORE 610820.765
AT ITER 7207 NEW BEST:: SOT 4361778 SOS 814761 HAS SOPS 814761 HAS SOUS 609921 HAS SOUPS 609921 WITH SCORE 610735.761
AT ITER 7245 NEW BEST:: SOT 4361749 SOS 814749 HAS SOPS 814749 HAS SOUS 609880 HAS SOUPS 609880 WITH SCORE 610694.749
AT ITER 7264 NEW BEST:: SOT 4361659 SOS 814659 HAS SOPS 814659 HAS SOUS 609790 HAS SOUPS 609790 WITH SCORE 610604.659
AT ITER 7310 NEW BEST:: SOT 4361607 SOS 814555 HAS SOPS 814555 HAS SOUS 609686 HAS SOUPS 609686 WITH SCORE 610500.555
AT ITER 7367 NEW BEST:: SOT 4361464 SOS 814819 HAS SOPS 814819 HAS SOUS 609672 HAS SOUPS 609672 WITH SCORE 610486.819
AT ITER 7371 NEW BEST:: SOT 4361421 SOS 809977 HAS SOPS 809977 HAS SOUS 609513 HAS SOUPS 609513 WITH SCORE 610322.977
AT ITER 7389 NEW BEST:: SOT 4361085 SOS 810113 HAS SOPS 810113 HAS SOUS 609379 HAS SOUPS 609379 WITH SCORE 610189.113
AT ITER 7405 NEW BEST:: SOT 4361140 SOS 810223 HAS SOPS 810223 HAS SOUS 609360 HAS SOUPS 609360 WITH SCORE 610170.223
AT ITER 7409 NEW BEST:: SOT 4360998 SOS 809870 HAS SOPS 809870 HAS SOUS 609009 HAS SOUPS 609009 WITH SCORE 609818.87
AT ITER 7412 NEW BEST:: SOT 4360972 SOS 809792 HAS SOPS 809792 HAS SOUS 608931 HAS SOUPS 608931 WITH SCORE 609740.792
AT ITER 7477 NEW BEST:: SOT 4360971 SOS 809791 HAS SOPS 809791 HAS SOUS 608929 HAS SOUPS 608929 WITH SCORE 609738.791
AT ITER 7489 NEW BEST:: SOT 4360894 SOS 809637 HAS SOPS 809637 HAS SOUS 608775 HAS SOUPS 608775 WITH SCORE 609584.637
AT ITER 7505 NEW BEST:: SOT 4360894 SOS 809411 HAS SOPS 809411 HAS SOUS 608775 HAS SOUPS 608775 WITH SCORE 609584.411
AT ITER 7522 NEW BEST:: SOT 4360782 SOS 809299 HAS SOPS 809299 HAS SOUS 608770 HAS SOUPS 608770 WITH SCORE 609579.299
AT ITER 7543 NEW BEST:: SOT 4360759 SOS 809303 HAS SOPS 809303 HAS SOUS 608754 HAS SOUPS 608754 WITH SCORE 609563.303
AT ITER 7554 NEW BEST:: SOT 4360499 SOS 808783 HAS SOPS 808783 HAS SOUS 608541 HAS SOUPS 608541 WITH SCORE 609349.783
AT ITER 7559 NEW BEST:: SOT 4360499 SOS 808673 HAS SOPS 808673 HAS SOUS 608431 HAS SOUPS 608431 WITH SCORE 609239.673
AT ITER 7564 NEW BEST:: SOT 4360350 SOS 808845 HAS SOPS 808845 HAS SOUS 608354 HAS SOUPS 608354 WITH SCORE 609162.845
AT ITER 7575 NEW BEST:: SOT 4360252 SOS 808752 HAS SOPS 808752 HAS SOUS 608261 HAS SOUPS 608261 WITH SCORE 609069.752
AT ITER 7591 NEW BEST:: SOT 4360185 SOS 808618 HAS SOPS 808618 HAS SOUS 608194 HAS SOUPS 608194 WITH SCORE 609002.618
AT ITER 7599 NEW BEST:: SOT 4360094 SOS 808636 HAS SOPS 808636 HAS SOUS 608112 HAS SOUPS 608112 WITH SCORE 608920.636
AT ITER 7602 NEW BEST:: SOT 4359837 SOS 808122 HAS SOPS 808122 HAS SOUS 607533 HAS SOUPS 607533 WITH SCORE 608341.122
AT ITER 7635 NEW BEST:: SOT 4359837 SOS 808052 HAS SOPS 808052 HAS SOUS 607533 HAS SOUPS 607533 WITH SCORE 608341.052
AT ITER 7693 NEW BEST:: SOT 4359747 SOS 807872 HAS SOPS 807872 HAS SOUS 607227 HAS SOUPS 607227 WITH SCORE 608034.872
AT ITER 7719 NEW BEST:: SOT 4359409 SOS 807196 HAS SOPS 807196 HAS SOUS 606992 HAS SOUPS 606992 WITH SCORE 607799.196
AT ITER 7735 NEW BEST:: SOT 4359314 SOS 807006 HAS SOPS 807006 HAS SOUS 606897 HAS SOUPS 606897 WITH SCORE 607704.006
AT ITER 7777 NEW BEST:: SOT 4359155 SOS 806688 HAS SOPS 806688 HAS SOUS 606432 HAS SOUPS 606432 WITH SCORE 607238.688
AT ITER 7782 NEW BEST:: SOT 4359155 SOS 806551 HAS SOPS 806551 HAS SOUS 606432 HAS SOUPS 606432 WITH SCORE 607238.551
AT ITER 7801 NEW BEST:: SOT 4359007 SOS 806255 HAS SOPS 806255 HAS SOUS 606136 HAS SOUPS 606136 WITH SCORE 606942.255
AT ITER 7818 NEW BEST:: SOT 4358994 SOS 806229 HAS SOPS 806229 HAS SOUS 606110 HAS SOUPS 606110 WITH SCORE 606916.229
AT ITER 7821 NEW BEST:: SOT 4359048 SOS 806337 HAS SOPS 806337 HAS SOUS 605875 HAS SOUPS 605875 WITH SCORE 606681.337
AT ITER 7827 NEW BEST:: SOT 4359037 SOS 806326 HAS SOPS 806326 HAS SOUS 605853 HAS SOUPS 605853 WITH SCORE 606659.326
AT ITER 7864 NEW BEST:: SOT 4358920 SOS 806092 HAS SOPS 806092 HAS SOUS 605619 HAS SOUPS 605619 WITH SCORE 606425.092
AT ITER 7867 NEW BEST:: SOT 4359026 SOS 806068 HAS SOPS 806068 HAS SOUS 605585 HAS SOUPS 605585 WITH SCORE 606391.068
AT ITER 7875 NEW BEST:: SOT 4358998 SOS 806040 HAS SOPS 806040 HAS SOUS 605529 HAS SOUPS 605529 WITH SCORE 606335.04
AT ITER 7882 NEW BEST:: SOT 4358988 SOS 806020 HAS SOPS 806020 HAS SOUS 605509 HAS SOUPS 605509 WITH SCORE 606315.02
AT ITER 7886 NEW BEST:: SOT 4358987 SOS 806018 HAS SOPS 806018 HAS SOUS 605507 HAS SOUPS 605507 WITH SCORE 606313.018
AT ITER 7888 NEW BEST:: SOT 4358987 SOS 806018 HAS SOPS 806018 HAS SOUS 605384 HAS SOUPS 605384 WITH SCORE 606190.018
AT ITER 7890 NEW BEST:: SOT 4358987 SOS 806018 HAS SOPS 806018 HAS SOUS 605383 HAS SOUPS 605383 WITH SCORE 606189.018
AT ITER 7905 NEW BEST:: SOT 4358987 SOS 805482 HAS SOPS 805482 HAS SOUS 605115 HAS SOUPS 605115 WITH SCORE 605920.482
AT ITER 7916 NEW BEST:: SOT 4358892 SOS 805292 HAS SOPS 805292 HAS SOUS 605020 HAS SOUPS 605020 WITH SCORE 605825.292
AT ITER 7962 NEW BEST:: SOT 4358862 SOS 805355 HAS SOPS 805355 HAS SOUS 604927 HAS SOUPS 604927 WITH SCORE 605732.355
AT ITER 7975 NEW BEST:: SOT 4358593 SOS 804817 HAS SOPS 804817 HAS SOUS 604731 HAS SOUPS 604731 WITH SCORE 605535.817
AT ITER 8011 NEW BEST:: SOT 4358554 SOS 804813 HAS SOPS 804813 HAS SOUS 604727 HAS SOUPS 604727 WITH SCORE 605531.813
AT ITER 8018 NEW BEST:: SOT 4358522 SOS 804749 HAS SOPS 804749 HAS SOUS 604663 HAS SOUPS 604663 WITH SCORE 605467.749
AT ITER 8023 NEW BEST:: SOT 4358462 SOS 804674 HAS SOPS 804674 HAS SOUS 604588 HAS SOUPS 604588 WITH SCORE 605392.674
AT ITER 8026 NEW BEST:: SOT 4358364 SOS 804478 HAS SOPS 804478 HAS SOUS 604392 HAS SOUPS 604392 WITH SCORE 605196.478
AT ITER 8030 NEW BEST:: SOT 4358293 SOS 804478 HAS SOPS 804478 HAS SOUS 604321 HAS SOUPS 604321 WITH SCORE 605125.478
AT ITER 8036 NEW BEST:: SOT 4358251 SOS 804394 HAS SOPS 804394 HAS SOUS 604237 HAS SOUPS 604237 WITH SCORE 605041.394
AT ITER 8043 NEW BEST:: SOT 4357755 SOS 803769 HAS SOPS 803769 HAS SOUS 603562 HAS SOUPS 603562 WITH SCORE 604365.769
AT ITER 8045 NEW BEST:: SOT 4357678 SOS 803498 HAS SOPS 803498 HAS SOUS 603485 HAS SOUPS 603485 WITH SCORE 604288.498
AT ITER 8065 NEW BEST:: SOT 4357781 SOS 803305 HAS SOPS 803305 HAS SOUS 603313 HAS SOUPS 603313 WITH SCORE 604116.305
AT ITER 8075 NEW BEST:: SOT 4357693 SOS 803129 HAS SOPS 803129 HAS SOUS 603229 HAS SOUPS 603229 WITH SCORE 604032.129
AT ITER 8078 NEW BEST:: SOT 4357764 SOS 803003 HAS SOPS 803003 HAS SOUS 603014 HAS SOUPS 603014 WITH SCORE 603817.003
AT ITER 8085 NEW BEST:: SOT 4357732 SOS 802939 HAS SOPS 802939 HAS SOUS 602953 HAS SOUPS 602953 WITH SCORE 603755.939
AT ITER 8111 NEW BEST:: SOT 4357732 SOS 802705 HAS SOPS 802705 HAS SOUS 602875 HAS SOUPS 602875 WITH SCORE 603677.705
AT ITER 8116 NEW BEST:: SOT 4357712 SOS 802685 HAS SOPS 802685 HAS SOUS 602855 HAS SOUPS 602855 WITH SCORE 603657.685
AT ITER 8134 NEW BEST:: SOT 4357694 SOS 802565 HAS SOPS 802565 HAS SOUS 602819 HAS SOUPS 602819 WITH SCORE 603621.565
AT ITER 8174 NEW BEST:: SOT 4357632 SOS 802441 HAS SOPS 802441 HAS SOUS 602711 HAS SOUPS 602711 WITH SCORE 603513.441
AT ITER 8184 NEW BEST:: SOT 4357576 SOS 802329 HAS SOPS 802329 HAS SOUS 602655 HAS SOUPS 602655 WITH SCORE 603457.329
AT ITER 8187 NEW BEST:: SOT 4357295 SOS 801767 HAS SOPS 801767 HAS SOUS 602093 HAS SOUPS 602093 WITH SCORE 602894.767
AT ITER 8211 NEW BEST:: SOT 4357210 SOS 801512 HAS SOPS 801512 HAS SOUS 601923 HAS SOUPS 601923 WITH SCORE 602724.512
AT ITER 8224 NEW BEST:: SOT 4356432 SOS 800748 HAS SOPS 800748 HAS SOUS 601148 HAS SOUPS 601148 WITH SCORE 601948.748
AT ITER 8267 NEW BEST:: SOT 4356431 SOS 800746 HAS SOPS 800746 HAS SOUS 601146 HAS SOUPS 601146 WITH SCORE 601946.746
AT ITER 8268 NEW BEST:: SOT 4356292 SOS 799908 HAS SOPS 799908 HAS SOUS 600868 HAS SOUPS 600868 WITH SCORE 601667.908
AT ITER 8291 NEW BEST:: SOT 4355963 SOS 799645 HAS SOPS 799645 HAS SOUS 600582 HAS SOUPS 600582 WITH SCORE 601381.645
AT ITER 8296 NEW BEST:: SOT 4355994 SOS 799548 HAS SOPS 799548 HAS SOUS 600528 HAS SOUPS 600528 WITH SCORE 601327.548
AT ITER 8318 NEW BEST:: SOT 4355592 SOS 798744 HAS SOPS 798744 HAS SOUS 599905 HAS SOUPS 599905 WITH SCORE 600703.744
AT ITER 8322 NEW BEST:: SOT 4355591 SOS 798726 HAS SOPS 798726 HAS SOUS 599903 HAS SOUPS 599903 WITH SCORE 600701.726
AT ITER 8344 NEW BEST:: SOT 4355604 SOS 798722 HAS SOPS 798722 HAS SOUS 599899 HAS SOUPS 599899 WITH SCORE 600697.722
AT ITER 8393 NEW BEST:: SOT 4355446 SOS 798406 HAS SOPS 798406 HAS SOUS 599741 HAS SOUPS 599741 WITH SCORE 600539.406
AT ITER 8396 NEW BEST:: SOT 4355398 SOS 798406 HAS SOPS 798406 HAS SOUS 599693 HAS SOUPS 599693 WITH SCORE 600491.406
AT ITER 8414 NEW BEST:: SOT 4355295 SOS 798286 HAS SOPS 798286 HAS SOUS 599573 HAS SOUPS 599573 WITH SCORE 600371.286
AT ITER 8428 NEW BEST:: SOT 4355281 SOS 798111 HAS SOPS 798111 HAS SOUS 599559 HAS SOUPS 599559 WITH SCORE 600357.111
AT ITER 8433 NEW BEST:: SOT 4355165 SOS 797879 HAS SOPS 797879 HAS SOUS 599327 HAS SOUPS 599327 WITH SCORE 600124.879
AT ITER 8451 NEW BEST:: SOT 4355166 SOS 797766 HAS SOPS 797766 HAS SOUS 599224 HAS SOUPS 599224 WITH SCORE 600021.766
AT ITER 8520 NEW BEST:: SOT 4355072 SOS 797578 HAS SOPS 797578 HAS SOUS 599036 HAS SOUPS 599036 WITH SCORE 599833.578
AT ITER 8565 NEW BEST:: SOT 4354899 SOS 797405 HAS SOPS 797405 HAS SOUS 598863 HAS SOUPS 598863 WITH SCORE 599660.405
AT ITER 8573 NEW BEST:: SOT 4354884 SOS 797375 HAS SOPS 797375 HAS SOUS 598848 HAS SOUPS 598848 WITH SCORE 599645.375
AT ITER 8584 NEW BEST:: SOT 4354883 SOS 797374 HAS SOPS 797374 HAS SOUS 598846 HAS SOUPS 598846 WITH SCORE 599643.374
AT ITER 8592 NEW BEST:: SOT 4354361 SOS 797500 HAS SOPS 797500 HAS SOUS 598608 HAS SOUPS 598608 WITH SCORE 599405.5
AT ITER 8593 NEW BEST:: SOT 4354166 SOS 797410 HAS SOPS 797410 HAS SOUS 598466 HAS SOUPS 598466 WITH SCORE 599263.41
AT ITER 8615 NEW BEST:: SOT 4354165 SOS 797408 HAS SOPS 797408 HAS SOUS 598464 HAS SOUPS 598464 WITH SCORE 599261.408
AT ITER 8621 NEW BEST:: SOT 4354093 SOS 797120 HAS SOPS 797120 HAS SOUS 598320 HAS SOUPS 598320 WITH SCORE 599117.12
AT ITER 8636 NEW BEST:: SOT 4353818 SOS 795873 HAS SOPS 795873 HAS SOUS 598261 HAS SOUPS 598261 WITH SCORE 599056.873
AT ITER 8652 NEW BEST:: SOT 4353796 SOS 795829 HAS SOPS 795829 HAS SOUS 598217 HAS SOUPS 598217 WITH SCORE 599012.829
AT ITER 8669 NEW BEST:: SOT 4353796 SOS 795565 HAS SOPS 795565 HAS SOUS 598217 HAS SOUPS 598217 WITH SCORE 599012.565
AT ITER 8692 NEW BEST:: SOT 4353635 SOS 796006 HAS SOPS 796006 HAS SOUS 598165 HAS SOUPS 598165 WITH SCORE 598961.006
AT ITER 8696 NEW BEST:: SOT 4353601 SOS 795904 HAS SOPS 795904 HAS SOUS 598097 HAS SOUPS 598097 WITH SCORE 598892.904
AT ITER 8732 NEW BEST:: SOT 4353601 SOS 795904 HAS SOPS 795904 HAS SOUS 598073 HAS SOUPS 598073 WITH SCORE 598868.904
AT ITER 8734 NEW BEST:: SOT 4353601 SOS 795904 HAS SOPS 795904 HAS SOUS 597945 HAS SOUPS 597945 WITH SCORE 598740.904
AT ITER 8742 NEW BEST:: SOT 4353346 SOS 795776 HAS SOPS 795776 HAS SOUS 597734 HAS SOUPS 597734 WITH SCORE 598529.776
AT ITER 8748 NEW BEST:: SOT 4353311 SOS 795706 HAS SOPS 795706 HAS SOUS 597699 HAS SOUPS 597699 WITH SCORE 598494.706
AT ITER 8765 NEW BEST:: SOT 4353350 SOS 795691 HAS SOPS 795691 HAS SOUS 597606 HAS SOUPS 597606 WITH SCORE 598401.691
AT ITER 8797 NEW BEST:: SOT 4353349 SOS 795689 HAS SOPS 795689 HAS SOUS 597604 HAS SOUPS 597604 WITH SCORE 598399.689
AT ITER 8819 NEW BEST:: SOT 4353188 SOS 795763 HAS SOPS 795763 HAS SOUS 597542 HAS SOUPS 597542 WITH SCORE 598337.763
AT ITER 8858 NEW BEST:: SOT 4353117 SOS 795621 HAS SOPS 795621 HAS SOUS 597434 HAS SOUPS 597434 WITH SCORE 598229.621
AT ITER 8867 NEW BEST:: SOT 4353051 SOS 795489 HAS SOPS 795489 HAS SOUS 597018 HAS SOUPS 597018 WITH SCORE 597813.489
AT ITER 8893 NEW BEST:: SOT 4353164 SOS 795260 HAS SOPS 795260 HAS SOUS 596876 HAS SOUPS 596876 WITH SCORE 597671.26
AT ITER 8906 NEW BEST:: SOT 4353164 SOS 795148 HAS SOPS 795148 HAS SOUS 596820 HAS SOUPS 596820 WITH SCORE 597615.148
AT ITER 8907 NEW BEST:: SOT 4353136 SOS 795092 HAS SOPS 795092 HAS SOUS 596788 HAS SOUPS 596788 WITH SCORE 597583.092
AT ITER 8919 NEW BEST:: SOT 4353119 SOS 795041 HAS SOPS 795041 HAS SOUS 596737 HAS SOUPS 596737 WITH SCORE 597532.041
AT ITER 8922 NEW BEST:: SOT 4353028 SOS 794859 HAS SOPS 794859 HAS SOUS 596486 HAS SOUPS 596486 WITH SCORE 597280.859
AT ITER 8932 NEW BEST:: SOT 4353049 SOS 794901 HAS SOPS 794901 HAS SOUS 596285 HAS SOUPS 596285 WITH SCORE 597079.901
AT ITER 8938 NEW BEST:: SOT 4353049 SOS 794829 HAS SOPS 794829 HAS SOUS 596108 HAS SOUPS 596108 WITH SCORE 596902.829
AT ITER 8943 NEW BEST:: SOT 4353049 SOS 794791 HAS SOPS 794791 HAS SOUS 596108 HAS SOUPS 596108 WITH SCORE 596902.791
AT ITER 8980 NEW BEST:: SOT 4352602 SOS 794407 HAS SOPS 794407 HAS SOUS 595678 HAS SOUPS 595678 WITH SCORE 596472.407
AT ITER 9014 NEW BEST:: SOT 4352601 SOS 794405 HAS SOPS 794405 HAS SOUS 595676 HAS SOUPS 595676 WITH SCORE 596470.405
AT ITER 9035 NEW BEST:: SOT 4352274 SOS 798041 HAS SOPS 798041 HAS SOUS 595535 HAS SOUPS 595535 WITH SCORE 596333.041
AT ITER 9052 NEW BEST:: SOT 4352273 SOS 798039 HAS SOPS 798039 HAS SOUS 595533 HAS SOUPS 595533 WITH SCORE 596331.039
AT ITER 9087 NEW BEST:: SOT 4352273 SOS 797953 HAS SOPS 797953 HAS SOUS 595533 HAS SOUPS 595533 WITH SCORE 596330.953
AT ITER 9138 NEW BEST:: SOT 4352245 SOS 797797 HAS SOPS 797797 HAS SOUS 595455 HAS SOUPS 595455 WITH SCORE 596252.797
AT ITER 9155 NEW BEST:: SOT 4352266 SOS 797482 HAS SOPS 797482 HAS SOUS 595293 HAS SOUPS 595293 WITH SCORE 596090.482
AT ITER 9186 NEW BEST:: SOT 4352172 SOS 796922 HAS SOPS 796922 HAS SOUS 594884 HAS SOUPS 594884 WITH SCORE 595680.922
AT ITER 9187 NEW BEST:: SOT 4352023 SOS 796754 HAS SOPS 796754 HAS SOUS 594716 HAS SOUPS 594716 WITH SCORE 595512.754
AT ITER 9211 NEW BEST:: SOT 4352022 SOS 796752 HAS SOPS 796752 HAS SOUS 594714 HAS SOUPS 594714 WITH SCORE 595510.752
AT ITER 9215 NEW BEST:: SOT 4351935 SOS 796750 HAS SOPS 796750 HAS SOUS 594627 HAS SOUPS 594627 WITH SCORE 595423.75
AT ITER 9248 NEW BEST:: SOT 4351829 SOS 796724 HAS SOPS 796724 HAS SOUS 594601 HAS SOUPS 594601 WITH SCORE 595397.724
AT ITER 9251 NEW BEST:: SOT 4351599 SOS 796034 HAS SOPS 796034 HAS SOUS 594141 HAS SOUPS 594141 WITH SCORE 594937.034
AT ITER 9270 NEW BEST:: SOT 4351598 SOS 796032 HAS SOPS 796032 HAS SOUS 594139 HAS SOUPS 594139 WITH SCORE 594935.032
AT ITER 9287 NEW BEST:: SOT 4351391 SOS 795898 HAS SOPS 795898 HAS SOUS 593932 HAS SOUPS 593932 WITH SCORE 594727.898
AT ITER 9336 NEW BEST:: SOT 4351391 SOS 795832 HAS SOPS 795832 HAS SOUS 593932 HAS SOUPS 593932 WITH SCORE 594727.832
AT ITER 9375 NEW BEST:: SOT 4351318 SOS 795686 HAS SOPS 795686 HAS SOUS 593786 HAS SOUPS 593786 WITH SCORE 594581.686
AT ITER 9386 NEW BEST:: SOT 4351230 SOS 795510 HAS SOPS 795510 HAS SOUS 593610 HAS SOUPS 593610 WITH SCORE 594405.51
AT ITER 9397 NEW BEST:: SOT 4351334 SOS 795718 HAS SOPS 795718 HAS SOUS 593587 HAS SOUPS 593587 WITH SCORE 594382.718
AT ITER 9446 NEW BEST:: SOT 4351223 SOS 795720 HAS SOPS 795720 HAS SOUS 593571 HAS SOUPS 593571 WITH SCORE 594366.72
AT ITER 9455 NEW BEST:: SOT 4351197 SOS 795556 HAS SOPS 795556 HAS SOUS 593408 HAS SOUPS 593408 WITH SCORE 594203.556
AT ITER 9472 NEW BEST:: SOT 4351171 SOS 795279 HAS SOPS 795279 HAS SOUS 593337 HAS SOUPS 593337 WITH SCORE 594132.279
AT ITER 9477 NEW BEST:: SOT 4350983 SOS 794903 HAS SOPS 794903 HAS SOUS 593161 HAS SOUPS 593161 WITH SCORE 593955.903
AT ITER 9483 NEW BEST:: SOT 4350956 SOS 794669 HAS SOPS 794669 HAS SOUS 593107 HAS SOUPS 593107 WITH SCORE 593901.669
AT ITER 9486 NEW BEST:: SOT 4350921 SOS 794763 HAS SOPS 794763 HAS SOUS 593071 HAS SOUPS 593071 WITH SCORE 593865.763
AT ITER 9499 NEW BEST:: SOT 4350570 SOS 793710 HAS SOPS 793710 HAS SOUS 592369 HAS SOUPS 592369 WITH SCORE 593162.71
AT ITER 9519 NEW BEST:: SOT 4350286 SOS 793142 HAS SOPS 793142 HAS SOUS 591801 HAS SOUPS 591801 WITH SCORE 592594.142
AT ITER 9562 NEW BEST:: SOT 4350286 SOS 793142 HAS SOPS 793142 HAS SOUS 591719 HAS SOUPS 591719 WITH SCORE 592512.142
AT ITER 9605 NEW BEST:: SOT 4349917 SOS 792404 HAS SOPS 792404 HAS SOUS 591350 HAS SOUPS 591350 WITH SCORE 592142.404
AT ITER 9627 NEW BEST:: SOT 4349825 SOS 792346 HAS SOPS 792346 HAS SOUS 591272 HAS SOUPS 591272 WITH SCORE 592064.346
AT ITER 9675 NEW BEST:: SOT 4349786 SOS 792731 HAS SOPS 792731 HAS SOUS 591258 HAS SOUPS 591258 WITH SCORE 592050.731
AT ITER 9703 NEW BEST:: SOT 4349420 SOS 792365 HAS SOPS 792365 HAS SOUS 590892 HAS SOUPS 590892 WITH SCORE 591684.365
AT ITER 9762 NEW BEST:: SOT 4349400 SOS 792325 HAS SOPS 792325 HAS SOUS 590852 HAS SOUPS 590852 WITH SCORE 591644.325
AT ITER 9765 NEW BEST:: SOT 4349385 SOS 792295 HAS SOPS 792295 HAS SOUS 590822 HAS SOUPS 590822 WITH SCORE 591614.295
AT ITER 9776 NEW BEST:: SOT 4349209 SOS 792119 HAS SOPS 792119 HAS SOUS 590585 HAS SOUPS 590585 WITH SCORE 591377.119
AT ITER 9803 NEW BEST:: SOT 4349223 SOS 792147 HAS SOPS 792147 HAS SOUS 590520 HAS SOUPS 590520 WITH SCORE 591312.147
AT ITER 9809 NEW BEST:: SOT 4349154 SOS 791926 HAS SOPS 791926 HAS SOUS 590368 HAS SOUPS 590368 WITH SCORE 591159.926
AT ITER 9810 NEW BEST:: SOT 4349154 SOS 791834 HAS SOPS 791834 HAS SOUS 590368 HAS SOUPS 590368 WITH SCORE 591159.834
AT ITER 9811 NEW BEST:: SOT 4348956 SOS 791618 HAS SOPS 791618 HAS SOUS 590201 HAS SOUPS 590201 WITH SCORE 590992.618
AT ITER 9816 NEW BEST:: SOT 4348791 SOS 791288 HAS SOPS 791288 HAS SOUS 590036 HAS SOUPS 590036 WITH SCORE 590827.288
AT ITER 9822 NEW BEST:: SOT 4348766 SOS 791211 HAS SOPS 791211 HAS SOUS 589986 HAS SOUPS 589986 WITH SCORE 590777.211
AT ITER 9825 NEW BEST:: SOT 4348766 SOS 791186 HAS SOPS 791186 HAS SOUS 589986 HAS SOUPS 589986 WITH SCORE 590777.186
AT ITER 9882 NEW BEST:: SOT 4348765 SOS 791184 HAS SOPS 791184 HAS SOUS 589919 HAS SOUPS 589919 WITH SCORE 590710.184
AT ITER 9893 NEW BEST:: SOT 4348498 SOS 790650 HAS SOPS 790650 HAS SOUS 589394 HAS SOUPS 589394 WITH SCORE 590184.65
AT ITER 9897 NEW BEST:: SOT 4348380 SOS 790414 HAS SOPS 790414 HAS SOUS 589158 HAS SOUPS 589158 WITH SCORE 589948.414
AT ITER 9898 NEW BEST:: SOT 4348069 SOS 790036 HAS SOPS 790036 HAS SOUS 588780 HAS SOUPS 588780 WITH SCORE 589570.036
AT ITER 9953 NEW BEST:: SOT 4348056 SOS 790023 HAS SOPS 790023 HAS SOUS 588767 HAS SOUPS 588767 WITH SCORE 589557.023
AT ITER 9972 NEW BEST:: SOT 4348207 SOS 790325 HAS SOPS 790325 HAS SOUS 588746 HAS SOUPS 588746 WITH SCORE 589536.325

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

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