fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538900507
Last Updated
Jun 28, 2020

About the Execution of smart for ViralEpidemic-PT-S03D1C1A06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.880 3600000.00 3586030.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 '/data/fko/mcc2020-input.r224-oct2-159033538900507.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S03D1C1A06, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900507
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.8M
-rw-r--r-- 1 mcc users 4.3K May 14 04:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 04:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 22:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 22:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.5K May 13 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 13 11:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 11:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 5.6M May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590473536817

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A06
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 5466 places, 7651 transitions, 17488 arcs.
AT ITER 0 NEW BEST:: SOT 28815366 SOS 15531247 HAS SOPS 15531247 HAS SOUS 6011783 HAS SOUPS 6011783 WITH SCORE 6027314.247
AT ITER 3 NEW BEST:: SOT 28812652 SOS 15525817 HAS SOPS 15525817 HAS SOUS 6011779 HAS SOUPS 6011779 WITH SCORE 6027304.817
AT ITER 4 NEW BEST:: SOT 28808544 SOS 15517601 HAS SOPS 15517601 HAS SOUS 6011779 HAS SOUPS 6011779 WITH SCORE 6027296.601
AT ITER 15 NEW BEST:: SOT 28805994 SOS 15512499 HAS SOPS 15512499 HAS SOUS 6011775 HAS SOUPS 6011775 WITH SCORE 6027287.499
AT ITER 45 NEW BEST:: SOT 28804176 SOS 15508861 HAS SOPS 15508861 HAS SOUS 6011771 HAS SOUPS 6011771 WITH SCORE 6027279.861
AT ITER 46 NEW BEST:: SOT 28800910 SOS 15502327 HAS SOPS 15502327 HAS SOUS 6011767 HAS SOUPS 6011767 WITH SCORE 6027269.327
AT ITER 57 NEW BEST:: SOT 28797930 SOS 15496366 HAS SOPS 15496366 HAS SOUS 6011766 HAS SOUPS 6011766 WITH SCORE 6027262.366
AT ITER 67 NEW BEST:: SOT 28796026 SOS 15492557 HAS SOPS 15492557 HAS SOUS 6011765 HAS SOUPS 6011765 WITH SCORE 6027257.557
AT ITER 70 NEW BEST:: SOT 28795746 SOS 15491997 HAS SOPS 15491997 HAS SOUS 6011765 HAS SOUPS 6011765 WITH SCORE 6027256.997
AT ITER 77 NEW BEST:: SOT 28788692 SOS 15480442 HAS SOPS 15480442 HAS SOUS 6010296 HAS SOUPS 6010296 WITH SCORE 6025776.442
AT ITER 79 NEW BEST:: SOT 28786558 SOS 15476173 HAS SOPS 15476173 HAS SOUS 6010295 HAS SOUPS 6010295 WITH SCORE 6025771.173
AT ITER 86 NEW BEST:: SOT 28783062 SOS 15469180 HAS SOPS 15469180 HAS SOUS 6010294 HAS SOUPS 6010294 WITH SCORE 6025763.18
AT ITER 90 NEW BEST:: SOT 28780774 SOS 15464604 HAS SOPS 15464604 HAS SOUS 6010294 HAS SOUPS 6010294 WITH SCORE 6025758.604
AT ITER 104 NEW BEST:: SOT 28777806 SOS 15458668 HAS SOPS 15458668 HAS SOUS 6010294 HAS SOUPS 6010294 WITH SCORE 6025752.668
AT ITER 105 NEW BEST:: SOT 28773076 SOS 15449206 HAS SOPS 15449206 HAS SOUS 6010290 HAS SOUPS 6010290 WITH SCORE 6025739.206
AT ITER 110 NEW BEST:: SOT 28770912 SOS 15444877 HAS SOPS 15444877 HAS SOUS 6010289 HAS SOUPS 6010289 WITH SCORE 6025733.877
AT ITER 113 NEW BEST:: SOT 28766222 SOS 15435495 HAS SOPS 15435495 HAS SOUS 6010285 HAS SOUPS 6010285 WITH SCORE 6025720.495
AT ITER 118 NEW BEST:: SOT 28761988 SOS 15427025 HAS SOPS 15427025 HAS SOUS 6010281 HAS SOUPS 6010281 WITH SCORE 6025708.025
AT ITER 120 NEW BEST:: SOT 28759560 SOS 15422168 HAS SOPS 15422168 HAS SOUS 6010280 HAS SOUPS 6010280 WITH SCORE 6025702.168
AT ITER 121 NEW BEST:: SOT 28755730 SOS 15414508 HAS SOPS 15414508 HAS SOUS 6010280 HAS SOUPS 6010280 WITH SCORE 6025694.508
AT ITER 132 NEW BEST:: SOT 28753738 SOS 15410524 HAS SOPS 15410524 HAS SOUS 6010280 HAS SOUPS 6010280 WITH SCORE 6025690.524
AT ITER 138 NEW BEST:: SOT 28751696 SOS 15406438 HAS SOPS 15406438 HAS SOUS 6010276 HAS SOUPS 6010276 WITH SCORE 6025682.438
AT ITER 145 NEW BEST:: SOT 28750838 SOS 15404720 HAS SOPS 15404720 HAS SOUS 6010272 HAS SOUPS 6010272 WITH SCORE 6025676.72
AT ITER 152 NEW BEST:: SOT 28746296 SOS 15395636 HAS SOPS 15395636 HAS SOUS 6010272 HAS SOUPS 6010272 WITH SCORE 6025667.636
AT ITER 154 NEW BEST:: SOT 28744446 SOS 15391936 HAS SOPS 15391936 HAS SOUS 6010272 HAS SOUPS 6010272 WITH SCORE 6025663.936
AT ITER 165 NEW BEST:: SOT 28741268 SOS 15385580 HAS SOPS 15385580 HAS SOUS 6010272 HAS SOUPS 6010272 WITH SCORE 6025657.58
AT ITER 167 NEW BEST:: SOT 28741046 SOS 15385136 HAS SOPS 15385136 HAS SOUS 6010272 HAS SOUPS 6010272 WITH SCORE 6025657.136
AT ITER 172 NEW BEST:: SOT 28734191 SOS 15374878 HAS SOPS 15374878 HAS SOUS 6009949 HAS SOUPS 6009949 WITH SCORE 6025323.878
AT ITER 178 NEW BEST:: SOT 28730637 SOS 15367768 HAS SOPS 15367768 HAS SOUS 6009945 HAS SOUPS 6009945 WITH SCORE 6025312.768
AT ITER 183 NEW BEST:: SOT 28729901 SOS 15365928 HAS SOPS 15365928 HAS SOUS 6009577 HAS SOUPS 6009577 WITH SCORE 6024942.928
AT ITER 187 NEW BEST:: SOT 28728621 SOS 15363368 HAS SOPS 15363368 HAS SOUS 6009577 HAS SOUPS 6009577 WITH SCORE 6024940.368
AT ITER 189 NEW BEST:: SOT 28724247 SOS 15354619 HAS SOPS 15354619 HAS SOUS 6009576 HAS SOUPS 6009576 WITH SCORE 6024930.619
AT ITER 193 NEW BEST:: SOT 28720397 SOS 15346918 HAS SOPS 15346918 HAS SOUS 6009575 HAS SOUPS 6009575 WITH SCORE 6024921.918
AT ITER 202 NEW BEST:: SOT 28718389 SOS 15342902 HAS SOPS 15342902 HAS SOUS 6009575 HAS SOUPS 6009575 WITH SCORE 6024917.902
AT ITER 207 NEW BEST:: SOT 28718261 SOS 15342645 HAS SOPS 15342645 HAS SOUS 6009574 HAS SOUPS 6009574 WITH SCORE 6024916.645
AT ITER 209 NEW BEST:: SOT 28716345 SOS 15338811 HAS SOPS 15338811 HAS SOUS 6009570 HAS SOUPS 6009570 WITH SCORE 6024908.811
AT ITER 220 NEW BEST:: SOT 28713329 SOS 15332779 HAS SOPS 15332779 HAS SOUS 6009570 HAS SOUPS 6009570 WITH SCORE 6024902.779
AT ITER 228 NEW BEST:: SOT 28711725 SOS 15329570 HAS SOPS 15329570 HAS SOUS 6009569 HAS SOUPS 6009569 WITH SCORE 6024898.57
AT ITER 229 NEW BEST:: SOT 28708487 SOS 15323094 HAS SOPS 15323094 HAS SOUS 6009569 HAS SOUPS 6009569 WITH SCORE 6024892.094
AT ITER 231 NEW BEST:: SOT 28701771 SOS 15311146 HAS SOPS 15311146 HAS SOUS 6008079 HAS SOUPS 6008079 WITH SCORE 6023390.146
AT ITER 232 NEW BEST:: SOT 28698753 SOS 15305109 HAS SOPS 15305109 HAS SOUS 6008078 HAS SOUPS 6008078 WITH SCORE 6023383.109
AT ITER 250 NEW BEST:: SOT 28694611 SOS 15296825 HAS SOPS 15296825 HAS SOUS 6008078 HAS SOUPS 6008078 WITH SCORE 6023374.825
AT ITER 253 NEW BEST:: SOT 28694611 SOS 15296823 HAS SOPS 15296823 HAS SOUS 6008074 HAS SOUPS 6008074 WITH SCORE 6023370.823
AT ITER 258 NEW BEST:: SOT 28687776 SOS 15285713 HAS SOPS 15285713 HAS SOUS 6007216 HAS SOUPS 6007216 WITH SCORE 6022501.713
AT ITER 261 NEW BEST:: SOT 28684570 SOS 15279299 HAS SOPS 15279299 HAS SOUS 6007212 HAS SOUPS 6007212 WITH SCORE 6022491.299
AT ITER 264 NEW BEST:: SOT 28680324 SOS 15270806 HAS SOPS 15270806 HAS SOUS 6007211 HAS SOUPS 6007211 WITH SCORE 6022481.806
AT ITER 265 NEW BEST:: SOT 28678272 SOS 15266701 HAS SOPS 15266701 HAS SOUS 6007210 HAS SOUPS 6007210 WITH SCORE 6022476.701
AT ITER 266 NEW BEST:: SOT 28674940 SOS 15260037 HAS SOPS 15260037 HAS SOUS 6007210 HAS SOUPS 6007210 WITH SCORE 6022470.037
AT ITER 267 NEW BEST:: SOT 28674138 SOS 15258431 HAS SOPS 15258431 HAS SOUS 6007206 HAS SOUPS 6007206 WITH SCORE 6022464.431
AT ITER 275 NEW BEST:: SOT 28668994 SOS 15248142 HAS SOPS 15248142 HAS SOUS 6007205 HAS SOUPS 6007205 WITH SCORE 6022453.142
AT ITER 279 NEW BEST:: SOT 28664342 SOS 15238837 HAS SOPS 15238837 HAS SOUS 6007204 HAS SOUPS 6007204 WITH SCORE 6022442.837
AT ITER 288 NEW BEST:: SOT 28662316 SOS 15234785 HAS SOPS 15234785 HAS SOUS 6007204 HAS SOUPS 6007204 WITH SCORE 6022438.785
AT ITER 289 NEW BEST:: SOT 28658330 SOS 15226813 HAS SOPS 15226813 HAS SOUS 6007204 HAS SOUPS 6007204 WITH SCORE 6022430.813
AT ITER 290 NEW BEST:: SOT 28653422 SOS 15216997 HAS SOPS 15216997 HAS SOUS 6007204 HAS SOUPS 6007204 WITH SCORE 6022420.997
AT ITER 295 NEW BEST:: SOT 28649898 SOS 15209947 HAS SOPS 15209947 HAS SOUS 6007200 HAS SOUPS 6007200 WITH SCORE 6022409.947
AT ITER 304 NEW BEST:: SOT 28645548 SOS 15201246 HAS SOPS 15201246 HAS SOUS 6007199 HAS SOUPS 6007199 WITH SCORE 6022400.246
AT ITER 308 NEW BEST:: SOT 28642976 SOS 15196102 HAS SOPS 15196102 HAS SOUS 6007199 HAS SOUPS 6007199 WITH SCORE 6022395.102
AT ITER 311 NEW BEST:: SOT 28638564 SOS 15187276 HAS SOPS 15187276 HAS SOUS 6007195 HAS SOUPS 6007195 WITH SCORE 6022382.276
AT ITER 333 NEW BEST:: SOT 28634540 SOS 15179227 HAS SOPS 15179227 HAS SOUS 6007194 HAS SOUPS 6007194 WITH SCORE 6022373.227
AT ITER 343 NEW BEST:: SOT 28631916 SOS 15173977 HAS SOPS 15173977 HAS SOUS 6007190 HAS SOUPS 6007190 WITH SCORE 6022363.977
AT ITER 346 NEW BEST:: SOT 28629726 SOS 15169595 HAS SOPS 15169595 HAS SOUS 6007186 HAS SOUPS 6007186 WITH SCORE 6022355.595
AT ITER 348 NEW BEST:: SOT 28629311 SOS 15168765 HAS SOPS 15168765 HAS SOUS 6007186 HAS SOUPS 6007186 WITH SCORE 6022354.765
AT ITER 349 NEW BEST:: SOT 28627215 SOS 15164571 HAS SOPS 15164571 HAS SOUS 6007182 HAS SOUPS 6007182 WITH SCORE 6022346.571
AT ITER 361 NEW BEST:: SOT 28626853 SOS 15163847 HAS SOPS 15163847 HAS SOUS 6007182 HAS SOUPS 6007182 WITH SCORE 6022345.847
AT ITER 363 NEW BEST:: SOT 28624685 SOS 15159510 HAS SOPS 15159510 HAS SOUS 6007181 HAS SOUPS 6007181 WITH SCORE 6022340.51
AT ITER 375 NEW BEST:: SOT 28620289 SOS 15148520 HAS SOPS 15148520 HAS SOUS 6004981 HAS SOUPS 6004981 WITH SCORE 6020129.52
AT ITER 380 NEW BEST:: SOT 28616309 SOS 15140559 HAS SOPS 15140559 HAS SOUS 6004980 HAS SOUPS 6004980 WITH SCORE 6020120.559
AT ITER 383 NEW BEST:: SOT 28613083 SOS 15134107 HAS SOPS 15134107 HAS SOUS 6004980 HAS SOUPS 6004980 WITH SCORE 6020114.107
AT ITER 390 NEW BEST:: SOT 28611429 SOS 15130798 HAS SOPS 15130798 HAS SOUS 6004979 HAS SOUPS 6004979 WITH SCORE 6020109.798
AT ITER 392 NEW BEST:: SOT 28608033 SOS 15122012 HAS SOPS 15122012 HAS SOUS 6004960 HAS SOUPS 6004960 WITH SCORE 6020082.012
AT ITER 393 NEW BEST:: SOT 28606405 SOS 15118755 HAS SOPS 15118755 HAS SOUS 6004959 HAS SOUPS 6004959 WITH SCORE 6020077.755
AT ITER 394 NEW BEST:: SOT 28605287 SOS 15116519 HAS SOPS 15116519 HAS SOUS 6004959 HAS SOUPS 6004959 WITH SCORE 6020075.519
AT ITER 408 NEW BEST:: SOT 28604705 SOS 15115571 HAS SOPS 15115571 HAS SOUS 6004810 HAS SOUPS 6004810 WITH SCORE 6019925.571
AT ITER 425 NEW BEST:: SOT 28604231 SOS 15114623 HAS SOPS 15114623 HAS SOUS 6004810 HAS SOUPS 6004810 WITH SCORE 6019924.623
AT ITER 427 NEW BEST:: SOT 28601989 SOS 15109018 HAS SOPS 15109018 HAS SOUS 6003687 HAS SOUPS 6003687 WITH SCORE 6018796.018
AT ITER 435 NEW BEST:: SOT 28598289 SOS 15101618 HAS SOPS 15101618 HAS SOUS 6003687 HAS SOUPS 6003687 WITH SCORE 6018788.618
AT ITER 438 NEW BEST:: SOT 28595797 SOS 15096633 HAS SOPS 15096633 HAS SOUS 6003686 HAS SOUPS 6003686 WITH SCORE 6018782.633
AT ITER 442 NEW BEST:: SOT 28592409 SOS 15089855 HAS SOPS 15089855 HAS SOUS 6003682 HAS SOUPS 6003682 WITH SCORE 6018771.855
AT ITER 449 NEW BEST:: SOT 28588174 SOS 15079771 HAS SOPS 15079771 HAS SOUS 6002671 HAS SOUPS 6002671 WITH SCORE 6017750.771
AT ITER 452 NEW BEST:: SOT 28585922 SOS 15075267 HAS SOPS 15075267 HAS SOUS 6002671 HAS SOUPS 6002671 WITH SCORE 6017746.267
AT ITER 453 NEW BEST:: SOT 28583548 SOS 15070518 HAS SOPS 15070518 HAS SOUS 6002670 HAS SOUPS 6002670 WITH SCORE 6017740.518
AT ITER 460 NEW BEST:: SOT 28579306 SOS 15062034 HAS SOPS 15062034 HAS SOUS 6002670 HAS SOUPS 6002670 WITH SCORE 6017732.034
AT ITER 470 NEW BEST:: SOT 28574125 SOS 15049476 HAS SOPS 15049476 HAS SOUS 6001159 HAS SOUPS 6001159 WITH SCORE 6016208.476
AT ITER 471 NEW BEST:: SOT 28569725 SOS 15040676 HAS SOPS 15040676 HAS SOUS 6001159 HAS SOUPS 6001159 WITH SCORE 6016199.676
AT ITER 473 NEW BEST:: SOT 28565733 SOS 15032690 HAS SOPS 15032690 HAS SOUS 6001155 HAS SOUPS 6001155 WITH SCORE 6016187.69
AT ITER 475 NEW BEST:: SOT 28561919 SOS 15025062 HAS SOPS 15025062 HAS SOUS 6001155 HAS SOUPS 6001155 WITH SCORE 6016180.062
AT ITER 478 NEW BEST:: SOT 28555321 SOS 15013044 HAS SOPS 15013044 HAS SOUS 5999977 HAS SOUPS 5999977 WITH SCORE 6014990.044
AT ITER 486 NEW BEST:: SOT 28550492 SOS 15001877 HAS SOPS 15001877 HAS SOUS 5998953 HAS SOUPS 5998953 WITH SCORE 6013954.877
AT ITER 487 NEW BEST:: SOT 28549212 SOS 14999315 HAS SOPS 14999315 HAS SOUS 5998949 HAS SOUPS 5998949 WITH SCORE 6013948.315
AT ITER 489 NEW BEST:: SOT 28547136 SOS 14995162 HAS SOPS 14995162 HAS SOUS 5998948 HAS SOUPS 5998948 WITH SCORE 6013943.162
AT ITER 495 NEW BEST:: SOT 28543412 SOS 14987714 HAS SOPS 14987714 HAS SOUS 5998948 HAS SOUPS 5998948 WITH SCORE 6013935.714
AT ITER 501 NEW BEST:: SOT 28538858 SOS 14978604 HAS SOPS 14978604 HAS SOUS 5998944 HAS SOUPS 5998944 WITH SCORE 6013922.604
AT ITER 515 NEW BEST:: SOT 28536548 SOS 14973983 HAS SOPS 14973983 HAS SOUS 5998943 HAS SOUPS 5998943 WITH SCORE 6013916.983
AT ITER 518 NEW BEST:: SOT 28536492 SOS 14973869 HAS SOPS 14973869 HAS SOUS 5998939 HAS SOUPS 5998939 WITH SCORE 6013912.869
AT ITER 521 NEW BEST:: SOT 28532228 SOS 14965340 HAS SOPS 14965340 HAS SOUS 5998938 HAS SOUPS 5998938 WITH SCORE 6013903.34
AT ITER 524 NEW BEST:: SOT 28528602 SOS 14958088 HAS SOPS 14958088 HAS SOUS 5998938 HAS SOUPS 5998938 WITH SCORE 6013896.088
AT ITER 534 NEW BEST:: SOT 28523866 SOS 14948616 HAS SOPS 14948616 HAS SOUS 5998938 HAS SOUPS 5998938 WITH SCORE 6013886.616
AT ITER 537 NEW BEST:: SOT 28523866 SOS 14948614 HAS SOPS 14948614 HAS SOUS 5998934 HAS SOUPS 5998934 WITH SCORE 6013882.614
AT ITER 546 NEW BEST:: SOT 28522610 SOS 14946100 HAS SOPS 14946100 HAS SOUS 5998930 HAS SOUPS 5998930 WITH SCORE 6013876.1
AT ITER 547 NEW BEST:: SOT 28520194 SOS 14941268 HAS SOPS 14941268 HAS SOUS 5998930 HAS SOUPS 5998930 WITH SCORE 6013871.268
AT ITER 552 NEW BEST:: SOT 28518774 SOS 14938427 HAS SOPS 14938427 HAS SOUS 5998929 HAS SOUPS 5998929 WITH SCORE 6013867.427
AT ITER 554 NEW BEST:: SOT 28514636 SOS 14930150 HAS SOPS 14930150 HAS SOUS 5998928 HAS SOUPS 5998928 WITH SCORE 6013858.15
AT ITER 557 NEW BEST:: SOT 28512638 SOS 14926153 HAS SOPS 14926153 HAS SOUS 5998927 HAS SOUPS 5998927 WITH SCORE 6013853.153
AT ITER 558 NEW BEST:: SOT 28508698 SOS 14918272 HAS SOPS 14918272 HAS SOUS 5998926 HAS SOUPS 5998926 WITH SCORE 6013844.272
AT ITER 569 NEW BEST:: SOT 28506544 SOS 14912964 HAS SOPS 14912964 HAS SOUS 5997922 HAS SOUPS 5997922 WITH SCORE 6012834.964
AT ITER 572 NEW BEST:: SOT 28503182 SOS 14906240 HAS SOPS 14906240 HAS SOUS 5997922 HAS SOUPS 5997922 WITH SCORE 6012828.24
AT ITER 578 NEW BEST:: SOT 28500732 SOS 14901339 HAS SOPS 14901339 HAS SOUS 5997921 HAS SOUPS 5997921 WITH SCORE 6012822.339
AT ITER 581 NEW BEST:: SOT 28495942 SOS 14891757 HAS SOPS 14891757 HAS SOUS 5997917 HAS SOUPS 5997917 WITH SCORE 6012808.757
AT ITER 586 NEW BEST:: SOT 28492276 SOS 14884424 HAS SOPS 14884424 HAS SOUS 5997916 HAS SOUPS 5997916 WITH SCORE 6012800.424
AT ITER 589 NEW BEST:: SOT 28489738 SOS 14879348 HAS SOPS 14879348 HAS SOUS 5997916 HAS SOUPS 5997916 WITH SCORE 6012795.348
AT ITER 605 NEW BEST:: SOT 28487360 SOS 14873565 HAS SOPS 14873565 HAS SOUS 5996885 HAS SOUPS 5996885 WITH SCORE 6011758.565
AT ITER 612 NEW BEST:: SOT 28486518 SOS 14871880 HAS SOPS 14871880 HAS SOUS 5996884 HAS SOUPS 5996884 WITH SCORE 6011755.88
AT ITER 614 NEW BEST:: SOT 28482699 SOS 14865842 HAS SOPS 14865842 HAS SOUS 5996265 HAS SOUPS 5996265 WITH SCORE 6011130.842
AT ITER 617 NEW BEST:: SOT 28481081 SOS 14862604 HAS SOPS 14862604 HAS SOUS 5996261 HAS SOUPS 5996261 WITH SCORE 6011123.604
AT ITER 624 NEW BEST:: SOT 28476104 SOS 14850307 HAS SOPS 14850307 HAS SOUS 5994095 HAS SOUPS 5994095 WITH SCORE 6008945.307
AT ITER 632 NEW BEST:: SOT 28472924 SOS 14843947 HAS SOPS 14843947 HAS SOUS 5994095 HAS SOUPS 5994095 WITH SCORE 6008938.947
AT ITER 639 NEW BEST:: SOT 28470971 SOS 14840692 HAS SOPS 14840692 HAS SOUS 5993444 HAS SOUPS 5993444 WITH SCORE 6008284.692
AT ITER 640 NEW BEST:: SOT 28467903 SOS 14834556 HAS SOPS 14834556 HAS SOUS 5993444 HAS SOUPS 5993444 WITH SCORE 6008278.556
AT ITER 645 NEW BEST:: SOT 28465111 SOS 14827699 HAS SOPS 14827699 HAS SOUS 5992171 HAS SOUPS 5992171 WITH SCORE 6006998.699
AT ITER 649 NEW BEST:: SOT 28464714 SOS 14827059 HAS SOPS 14827059 HAS SOUS 5992082 HAS SOUPS 5992082 WITH SCORE 6006909.059
AT ITER 666 NEW BEST:: SOT 28461644 SOS 14820919 HAS SOPS 14820919 HAS SOUS 5992082 HAS SOUPS 5992082 WITH SCORE 6006902.919
AT ITER 669 NEW BEST:: SOT 28461242 SOS 14820114 HAS SOPS 14820114 HAS SOUS 5992081 HAS SOUPS 5992081 WITH SCORE 6006901.114
AT ITER 672 NEW BEST:: SOT 28458734 SOS 14815098 HAS SOPS 14815098 HAS SOUS 5992081 HAS SOUPS 5992081 WITH SCORE 6006896.098
AT ITER 674 NEW BEST:: SOT 28455892 SOS 14809412 HAS SOPS 14809412 HAS SOUS 5992077 HAS SOUPS 5992077 WITH SCORE 6006886.412
AT ITER 677 NEW BEST:: SOT 28455880 SOS 14809388 HAS SOPS 14809388 HAS SOUS 5992077 HAS SOUPS 5992077 WITH SCORE 6006886.388
AT ITER 691 NEW BEST:: SOT 28453950 SOS 14804563 HAS SOPS 14804563 HAS SOUS 5991818 HAS SOUPS 5991818 WITH SCORE 6006622.563
AT ITER 692 NEW BEST:: SOT 28450530 SOS 14796133 HAS SOPS 14796133 HAS SOUS 5990851 HAS SOUPS 5990851 WITH SCORE 6005647.133
AT ITER 707 NEW BEST:: SOT 28448472 SOS 14792017 HAS SOPS 14792017 HAS SOUS 5990851 HAS SOUPS 5990851 WITH SCORE 6005643.017
AT ITER 717 NEW BEST:: SOT 28447248 SOS 14789567 HAS SOPS 14789567 HAS SOUS 5990847 HAS SOUPS 5990847 WITH SCORE 6005636.567
AT ITER 719 NEW BEST:: SOT 28446932 SOS 14788933 HAS SOPS 14788933 HAS SOUS 5990843 HAS SOUPS 5990843 WITH SCORE 6005631.933
AT ITER 731 NEW BEST:: SOT 28443754 SOS 14782576 HAS SOPS 14782576 HAS SOUS 5990842 HAS SOUPS 5990842 WITH SCORE 6005624.576
AT ITER 733 NEW BEST:: SOT 28436851 SOS 14771310 HAS SOPS 14771310 HAS SOUS 5989750 HAS SOUPS 5989750 WITH SCORE 6004521.31
AT ITER 737 NEW BEST:: SOT 28435151 SOS 14767910 HAS SOPS 14767910 HAS SOUS 5989750 HAS SOUPS 5989750 WITH SCORE 6004517.91
AT ITER 746 NEW BEST:: SOT 28431353 SOS 14760314 HAS SOPS 14760314 HAS SOUS 5989750 HAS SOUPS 5989750 WITH SCORE 6004510.314
AT ITER 756 NEW BEST:: SOT 28427157 SOS 14751921 HAS SOPS 14751921 HAS SOUS 5989749 HAS SOUPS 5989749 WITH SCORE 6004500.921
AT ITER 764 NEW BEST:: SOT 28425653 SOS 14748913 HAS SOPS 14748913 HAS SOUS 5989749 HAS SOUPS 5989749 WITH SCORE 6004497.913
AT ITER 781 NEW BEST:: SOT 28424269 SOS 14746145 HAS SOPS 14746145 HAS SOUS 5989749 HAS SOUPS 5989749 WITH SCORE 6004495.145
AT ITER 784 NEW BEST:: SOT 28421563 SOS 14740731 HAS SOPS 14740731 HAS SOUS 5989745 HAS SOUPS 5989745 WITH SCORE 6004485.731
AT ITER 788 NEW BEST:: SOT 28419467 SOS 14736539 HAS SOPS 14736539 HAS SOUS 5989745 HAS SOUPS 5989745 WITH SCORE 6004481.539
AT ITER 791 NEW BEST:: SOT 28416877 SOS 14730291 HAS SOPS 14730291 HAS SOUS 5988673 HAS SOUPS 5988673 WITH SCORE 6003403.291
AT ITER 793 NEW BEST:: SOT 28414379 SOS 14725294 HAS SOPS 14725294 HAS SOUS 5988672 HAS SOUPS 5988672 WITH SCORE 6003397.294
AT ITER 802 NEW BEST:: SOT 28409681 SOS 14715897 HAS SOPS 14715897 HAS SOUS 5988671 HAS SOUPS 5988671 WITH SCORE 6003386.897
AT ITER 804 NEW BEST:: SOT 28405111 SOS 14706756 HAS SOPS 14706756 HAS SOUS 5988670 HAS SOUPS 5988670 WITH SCORE 6003376.756
AT ITER 810 NEW BEST:: SOT 28401405 SOS 14699344 HAS SOPS 14699344 HAS SOUS 5988670 HAS SOUPS 5988670 WITH SCORE 6003369.344
AT ITER 813 NEW BEST:: SOT 28398343 SOS 14693220 HAS SOPS 14693220 HAS SOUS 5988670 HAS SOUPS 5988670 WITH SCORE 6003363.22
AT ITER 823 NEW BEST:: SOT 28393855 SOS 14684243 HAS SOPS 14684243 HAS SOUS 5988669 HAS SOUPS 5988669 WITH SCORE 6003353.243
AT ITER 834 NEW BEST:: SOT 28391249 SOS 14679030 HAS SOPS 14679030 HAS SOUS 5988668 HAS SOUPS 5988668 WITH SCORE 6003347.03
AT ITER 840 NEW BEST:: SOT 28387737 SOS 14672006 HAS SOPS 14672006 HAS SOUS 5988668 HAS SOUPS 5988668 WITH SCORE 6003340.006
AT ITER 861 NEW BEST:: SOT 28384909 SOS 14666348 HAS SOPS 14666348 HAS SOUS 5988664 HAS SOUPS 5988664 WITH SCORE 6003330.348
AT ITER 871 NEW BEST:: SOT 28380431 SOS 14657390 HAS SOPS 14657390 HAS SOUS 5988660 HAS SOUPS 5988660 WITH SCORE 6003317.39
AT ITER 876 NEW BEST:: SOT 28377337 SOS 14651202 HAS SOPS 14651202 HAS SOUS 5988660 HAS SOUPS 5988660 WITH SCORE 6003311.202
AT ITER 878 NEW BEST:: SOT 28372497 SOS 14641522 HAS SOPS 14641522 HAS SOUS 5988660 HAS SOUPS 5988660 WITH SCORE 6003301.522
AT ITER 887 NEW BEST:: SOT 28370297 SOS 14637120 HAS SOPS 14637120 HAS SOUS 5988656 HAS SOUPS 5988656 WITH SCORE 6003293.12
AT ITER 895 NEW BEST:: SOT 28368441 SOS 14633407 HAS SOPS 14633407 HAS SOUS 5988655 HAS SOUPS 5988655 WITH SCORE 6003288.407
AT ITER 901 NEW BEST:: SOT 28367503 SOS 14631530 HAS SOPS 14631530 HAS SOUS 5988654 HAS SOUPS 5988654 WITH SCORE 6003285.53
AT ITER 947 NEW BEST:: SOT 28364581 SOS 14625686 HAS SOPS 14625686 HAS SOUS 5988654 HAS SOUPS 5988654 WITH SCORE 6003279.686
AT ITER 949 NEW BEST:: SOT 28360751 SOS 14618024 HAS SOPS 14618024 HAS SOUS 5988650 HAS SOUPS 5988650 WITH SCORE 6003268.024
AT ITER 956 NEW BEST:: SOT 28355533 SOS 14607586 HAS SOPS 14607586 HAS SOUS 5988646 HAS SOUPS 5988646 WITH SCORE 6003253.586
AT ITER 962 NEW BEST:: SOT 28350829 SOS 14598177 HAS SOPS 14598177 HAS SOUS 5988645 HAS SOUPS 5988645 WITH SCORE 6003243.177
AT ITER 963 NEW BEST:: SOT 28347713 SOS 14591943 HAS SOPS 14591943 HAS SOUS 5988641 HAS SOUPS 5988641 WITH SCORE 6003232.943
AT ITER 968 NEW BEST:: SOT 28345265 SOS 14587046 HAS SOPS 14587046 HAS SOUS 5988640 HAS SOUPS 5988640 WITH SCORE 6003227.046
AT ITER 969 NEW BEST:: SOT 28341077 SOS 14578668 HAS SOPS 14578668 HAS SOUS 5988636 HAS SOUPS 5988636 WITH SCORE 6003214.668
AT ITER 987 NEW BEST:: SOT 28336053 SOS 14568620 HAS SOPS 14568620 HAS SOUS 5988636 HAS SOUPS 5988636 WITH SCORE 6003204.62
AT ITER 993 NEW BEST:: SOT 28334021 SOS 14564554 HAS SOPS 14564554 HAS SOUS 5988632 HAS SOUPS 5988632 WITH SCORE 6003196.554
AT ITER 995 NEW BEST:: SOT 28333469 SOS 14563633 HAS SOPS 14563633 HAS SOUS 5988447 HAS SOUPS 5988447 WITH SCORE 6003010.633
AT ITER 1045 NEW BEST:: SOT 28331045 SOS 14558785 HAS SOPS 14558785 HAS SOUS 5988447 HAS SOUPS 5988447 WITH SCORE 6003005.785
AT ITER 1046 NEW BEST:: SOT 28331045 SOS 14557957 HAS SOPS 14557957 HAS SOUS 5987615 HAS SOUPS 5987615 WITH SCORE 6002172.957
AT ITER 1052 NEW BEST:: SOT 28326805 SOS 14547561 HAS SOPS 14547561 HAS SOUS 5986049 HAS SOUPS 5986049 WITH SCORE 6000596.561
AT ITER 1071 NEW BEST:: SOT 28326375 SOS 14546701 HAS SOPS 14546701 HAS SOUS 5986049 HAS SOUPS 5986049 WITH SCORE 6000595.701
AT ITER 1073 NEW BEST:: SOT 28323532 SOS 14540593 HAS SOPS 14540593 HAS SOUS 5985717 HAS SOUPS 5985717 WITH SCORE 6000257.593
AT ITER 1076 NEW BEST:: SOT 28321818 SOS 14537165 HAS SOPS 14537165 HAS SOUS 5985717 HAS SOUPS 5985717 WITH SCORE 6000254.165
AT ITER 1084 NEW BEST:: SOT 28319736 SOS 14533000 HAS SOPS 14533000 HAS SOUS 5985716 HAS SOUPS 5985716 WITH SCORE 6000249.0
AT ITER 1088 NEW BEST:: SOT 28316998 SOS 14526883 HAS SOPS 14526883 HAS SOUS 5985075 HAS SOUPS 5985075 WITH SCORE 5999601.883
AT ITER 1091 NEW BEST:: SOT 28312554 SOS 14517993 HAS SOPS 14517993 HAS SOUS 5985071 HAS SOUPS 5985071 WITH SCORE 5999588.993
AT ITER 1097 NEW BEST:: SOT 28305590 SOS 14505616 HAS SOPS 14505616 HAS SOUS 5983709 HAS SOUPS 5983709 WITH SCORE 5998214.616
AT ITER 1106 NEW BEST:: SOT 28300752 SOS 14495940 HAS SOPS 14495940 HAS SOUS 5983709 HAS SOUPS 5983709 WITH SCORE 5998204.94
AT ITER 1113 NEW BEST:: SOT 28300267 SOS 14494970 HAS SOPS 14494970 HAS SOUS 5983224 HAS SOUPS 5983224 WITH SCORE 5997718.97
AT ITER 1117 NEW BEST:: SOT 28298013 SOS 14490462 HAS SOPS 14490462 HAS SOUS 5983224 HAS SOUPS 5983224 WITH SCORE 5997714.462
AT ITER 1127 NEW BEST:: SOT 28297092 SOS 14487901 HAS SOPS 14487901 HAS SOUS 5983022 HAS SOUPS 5983022 WITH SCORE 5997509.901
AT ITER 1131 NEW BEST:: SOT 28293648 SOS 14481012 HAS SOPS 14481012 HAS SOUS 5983021 HAS SOUPS 5983021 WITH SCORE 5997502.012
AT ITER 1135 NEW BEST:: SOT 28293648 SOS 14481010 HAS SOPS 14481010 HAS SOUS 5983017 HAS SOUPS 5983017 WITH SCORE 5997498.01
AT ITER 1148 NEW BEST:: SOT 28290944 SOS 14474503 HAS SOPS 14474503 HAS SOUS 5982006 HAS SOUPS 5982006 WITH SCORE 5996480.503
AT ITER 1168 NEW BEST:: SOT 28288780 SOS 14470175 HAS SOPS 14470175 HAS SOUS 5982006 HAS SOUPS 5982006 WITH SCORE 5996476.175
AT ITER 1174 NEW BEST:: SOT 28285924 SOS 14464461 HAS SOPS 14464461 HAS SOUS 5982002 HAS SOUPS 5982002 WITH SCORE 5996466.461
AT ITER 1175 NEW BEST:: SOT 28283098 SOS 14457680 HAS SOPS 14457680 HAS SOUS 5980871 HAS SOUPS 5980871 WITH SCORE 5995328.68
AT ITER 1187 NEW BEST:: SOT 28283031 SOS 14457546 HAS SOPS 14457546 HAS SOUS 5980871 HAS SOUPS 5980871 WITH SCORE 5995328.546
AT ITER 1194 NEW BEST:: SOT 28279142 SOS 14448582 HAS SOPS 14448582 HAS SOUS 5980220 HAS SOUPS 5980220 WITH SCORE 5994668.582
AT ITER 1204 NEW BEST:: SOT 28276800 SOS 14443896 HAS SOPS 14443896 HAS SOUS 5980216 HAS SOUPS 5980216 WITH SCORE 5994659.896
AT ITER 1210 NEW BEST:: SOT 28274712 SOS 14439718 HAS SOPS 14439718 HAS SOUS 5980212 HAS SOUPS 5980212 WITH SCORE 5994651.718
AT ITER 1229 NEW BEST:: SOT 28272924 SOS 14436142 HAS SOPS 14436142 HAS SOUS 5980212 HAS SOUPS 5980212 WITH SCORE 5994648.142
AT ITER 1235 NEW BEST:: SOT 28269086 SOS 14427383 HAS SOPS 14427383 HAS SOUS 5979601 HAS SOUPS 5979601 WITH SCORE 5994028.383
AT ITER 1238 NEW BEST:: SOT 28266978 SOS 14422152 HAS SOPS 14422152 HAS SOUS 5978584 HAS SOUPS 5978584 WITH SCORE 5993006.152
AT ITER 1260 NEW BEST:: SOT 28261411 SOS 14413669 HAS SOPS 14413669 HAS SOUS 5978140 HAS SOUPS 5978140 WITH SCORE 5992553.669
AT ITER 1273 NEW BEST:: SOT 28259371 SOS 14409589 HAS SOPS 14409589 HAS SOUS 5978140 HAS SOUPS 5978140 WITH SCORE 5992549.589
AT ITER 1280 NEW BEST:: SOT 28259371 SOS 14409588 HAS SOPS 14409588 HAS SOUS 5978135 HAS SOUPS 5978135 WITH SCORE 5992544.588
AT ITER 1305 NEW BEST:: SOT 28256743 SOS 14403186 HAS SOPS 14403186 HAS SOUS 5976987 HAS SOUPS 5976987 WITH SCORE 5991390.186
AT ITER 1312 NEW BEST:: SOT 28253568 SOS 14395789 HAS SOPS 14395789 HAS SOUS 5976473 HAS SOUPS 5976473 WITH SCORE 5990868.789
AT ITER 1314 NEW BEST:: SOT 28252824 SOS 14394301 HAS SOPS 14394301 HAS SOUS 5976473 HAS SOUPS 5976473 WITH SCORE 5990867.301
AT ITER 1320 NEW BEST:: SOT 28248604 SOS 14385860 HAS SOPS 14385860 HAS SOUS 5976472 HAS SOUPS 5976472 WITH SCORE 5990857.86
AT ITER 1325 NEW BEST:: SOT 28247912 SOS 14384476 HAS SOPS 14384476 HAS SOUS 5976472 HAS SOUPS 5976472 WITH SCORE 5990856.476
AT ITER 1335 NEW BEST:: SOT 28241654 SOS 14373155 HAS SOPS 14373155 HAS SOUS 5975418 HAS SOUPS 5975418 WITH SCORE 5989791.155
AT ITER 1343 NEW BEST:: SOT 28238574 SOS 14366994 HAS SOPS 14366994 HAS SOUS 5975417 HAS SOUPS 5975417 WITH SCORE 5989783.994
AT ITER 1368 NEW BEST:: SOT 28236677 SOS 14365451 HAS SOPS 14365451 HAS SOUS 5974578 HAS SOUPS 5974578 WITH SCORE 5988943.451
AT ITER 1375 NEW BEST:: SOT 28232379 SOS 14356853 HAS SOPS 14356853 HAS SOUS 5974574 HAS SOUPS 5974574 WITH SCORE 5988930.853
AT ITER 1377 NEW BEST:: SOT 28229229 SOS 14350551 HAS SOPS 14350551 HAS SOUS 5974570 HAS SOUPS 5974570 WITH SCORE 5988920.551
AT ITER 1378 NEW BEST:: SOT 28225053 SOS 14342199 HAS SOPS 14342199 HAS SOUS 5974570 HAS SOUPS 5974570 WITH SCORE 5988912.199
AT ITER 1384 NEW BEST:: SOT 28221861 SOS 14335815 HAS SOPS 14335815 HAS SOUS 5974570 HAS SOUPS 5974570 WITH SCORE 5988905.815
AT ITER 1391 NEW BEST:: SOT 28217941 SOS 14327974 HAS SOPS 14327974 HAS SOUS 5974569 HAS SOUPS 5974569 WITH SCORE 5988896.974
AT ITER 1392 NEW BEST:: SOT 28217081 SOS 14326253 HAS SOPS 14326253 HAS SOUS 5974568 HAS SOUPS 5974568 WITH SCORE 5988894.253
AT ITER 1407 NEW BEST:: SOT 28216099 SOS 14324289 HAS SOPS 14324289 HAS SOUS 5974568 HAS SOUPS 5974568 WITH SCORE 5988892.289
AT ITER 1409 NEW BEST:: SOT 28214839 SOS 14321768 HAS SOPS 14321768 HAS SOUS 5974567 HAS SOUPS 5974567 WITH SCORE 5988888.768
AT ITER 1410 NEW BEST:: SOT 28211169 SOS 14312593 HAS SOPS 14312593 HAS SOUS 5972732 HAS SOUPS 5972732 WITH SCORE 5987044.593
AT ITER 1422 NEW BEST:: SOT 28210397 SOS 14311049 HAS SOPS 14311049 HAS SOUS 5972732 HAS SOUPS 5972732 WITH SCORE 5987043.049
AT ITER 1434 NEW BEST:: SOT 28206803 SOS 14302405 HAS SOPS 14302405 HAS SOUS 5971132 HAS SOUPS 5971132 WITH SCORE 5985434.405
AT ITER 1446 NEW BEST:: SOT 28205547 SOS 14299892 HAS SOPS 14299892 HAS SOUS 5971131 HAS SOUPS 5971131 WITH SCORE 5985430.892
AT ITER 1449 NEW BEST:: SOT 28201327 SOS 14291451 HAS SOPS 14291451 HAS SOUS 5971130 HAS SOUPS 5971130 WITH SCORE 5985421.451
AT ITER 1461 NEW BEST:: SOT 28200233 SOS 14289263 HAS SOPS 14289263 HAS SOUS 5971130 HAS SOUPS 5971130 WITH SCORE 5985419.263
AT ITER 1470 NEW BEST:: SOT 28196283 SOS 14281361 HAS SOPS 14281361 HAS SOUS 5971126 HAS SOUPS 5971126 WITH SCORE 5985407.361
AT ITER 1479 NEW BEST:: SOT 28191736 SOS 14270840 HAS SOPS 14270840 HAS SOUS 5970555 HAS SOUPS 5970555 WITH SCORE 5984825.84
AT ITER 1503 NEW BEST:: SOT 28189700 SOS 14265953 HAS SOPS 14265953 HAS SOUS 5969736 HAS SOUPS 5969736 WITH SCORE 5984001.953
AT ITER 1507 NEW BEST:: SOT 28183019 SOS 14252589 HAS SOPS 14252589 HAS SOUS 5966312 HAS SOUPS 5966312 WITH SCORE 5980564.589
AT ITER 1510 NEW BEST:: SOT 28180587 SOS 14247723 HAS SOPS 14247723 HAS SOUS 5966308 HAS SOUPS 5966308 WITH SCORE 5980555.723
AT ITER 1514 NEW BEST:: SOT 28177251 SOS 14239825 HAS SOPS 14239825 HAS SOUS 5965078 HAS SOUPS 5965078 WITH SCORE 5979317.825
AT ITER 1519 NEW BEST:: SOT 28173365 SOS 14232053 HAS SOPS 14232053 HAS SOUS 5965078 HAS SOUPS 5965078 WITH SCORE 5979310.053
AT ITER 1523 NEW BEST:: SOT 28169724 SOS 14222217 HAS SOPS 14222217 HAS SOUS 5962978 HAS SOUPS 5962978 WITH SCORE 5977200.217
AT ITER 1526 NEW BEST:: SOT 28167576 SOS 14216847 HAS SOPS 14216847 HAS SOUS 5959756 HAS SOUPS 5959756 WITH SCORE 5973972.847
AT ITER 1527 NEW BEST:: SOT 28163886 SOS 14209465 HAS SOPS 14209465 HAS SOUS 5959752 HAS SOUPS 5959752 WITH SCORE 5973961.465
AT ITER 1533 NEW BEST:: SOT 28162932 SOS 14207556 HAS SOPS 14207556 HAS SOUS 5959751 HAS SOUPS 5959751 WITH SCORE 5973958.556
AT ITER 1553 NEW BEST:: SOT 28159872 SOS 14201435 HAS SOPS 14201435 HAS SOUS 5959750 HAS SOUPS 5959750 WITH SCORE 5973951.435
AT ITER 1555 NEW BEST:: SOT 28158538 SOS 14198765 HAS SOPS 14198765 HAS SOUS 5959746 HAS SOUPS 5959746 WITH SCORE 5973944.765
AT ITER 1556 NEW BEST:: SOT 28156708 SOS 14195105 HAS SOPS 14195105 HAS SOUS 5959746 HAS SOUPS 5959746 WITH SCORE 5973941.105
AT ITER 1557 NEW BEST:: SOT 28155690 SOS 14193067 HAS SOPS 14193067 HAS SOUS 5959742 HAS SOUPS 5959742 WITH SCORE 5973935.067
AT ITER 1558 NEW BEST:: SOT 28153414 SOS 14188514 HAS SOPS 14188514 HAS SOUS 5959741 HAS SOUPS 5959741 WITH SCORE 5973929.514
AT ITER 1564 NEW BEST:: SOT 28149766 SOS 14181218 HAS SOPS 14181218 HAS SOUS 5959741 HAS SOUPS 5959741 WITH SCORE 5973922.218
AT ITER 1566 NEW BEST:: SOT 28143357 SOS 14169619 HAS SOPS 14169619 HAS SOUS 5958675 HAS SOUPS 5958675 WITH SCORE 5972844.619
AT ITER 1598 NEW BEST:: SOT 28142927 SOS 14169188 HAS SOPS 14169188 HAS SOUS 5958240 HAS SOUPS 5958240 WITH SCORE 5972409.188
AT ITER 1599 NEW BEST:: SOT 28141891 SOS 14167115 HAS SOPS 14167115 HAS SOUS 5958239 HAS SOUPS 5958239 WITH SCORE 5972406.115
AT ITER 1606 NEW BEST:: SOT 28137279 SOS 14155689 HAS SOPS 14155689 HAS SOUS 5956035 HAS SOUPS 5956035 WITH SCORE 5970190.689
AT ITER 1612 NEW BEST:: SOT 28135855 SOS 14152841 HAS SOPS 14152841 HAS SOUS 5956035 HAS SOUPS 5956035 WITH SCORE 5970187.841
AT ITER 1618 NEW BEST:: SOT 28135855 SOS 14152840 HAS SOPS 14152840 HAS SOUS 5956034 HAS SOUPS 5956034 WITH SCORE 5970186.84
AT ITER 1624 NEW BEST:: SOT 28132283 SOS 14145694 HAS SOPS 14145694 HAS SOUS 5956030 HAS SOUPS 5956030 WITH SCORE 5970175.694
AT ITER 1625 NEW BEST:: SOT 28127470 SOS 14133763 HAS SOPS 14133763 HAS SOUS 5951871 HAS SOUPS 5951871 WITH SCORE 5966004.763
AT ITER 1639 NEW BEST:: SOT 28120961 SOS 14121511 HAS SOPS 14121511 HAS SOUS 5951206 HAS SOUPS 5951206 WITH SCORE 5965327.511
AT ITER 1643 NEW BEST:: SOT 28116095 SOS 14113401 HAS SOPS 14113401 HAS SOUS 5949584 HAS SOUPS 5949584 WITH SCORE 5963697.401
AT ITER 1646 NEW BEST:: SOT 28114525 SOS 14109489 HAS SOPS 14109489 HAS SOUS 5949044 HAS SOUPS 5949044 WITH SCORE 5963153.489
AT ITER 1655 NEW BEST:: SOT 28113393 SOS 14107223 HAS SOPS 14107223 HAS SOUS 5949040 HAS SOUPS 5949040 WITH SCORE 5963147.223
AT ITER 1696 NEW BEST:: SOT 28110139 SOS 14100715 HAS SOPS 14100715 HAS SOUS 5949040 HAS SOUPS 5949040 WITH SCORE 5963140.715
AT ITER 1698 NEW BEST:: SOT 28107687 SOS 14095810 HAS SOPS 14095810 HAS SOUS 5949039 HAS SOUPS 5949039 WITH SCORE 5963134.81
AT ITER 1707 NEW BEST:: SOT 28106351 SOS 14092509 HAS SOPS 14092509 HAS SOUS 5948406 HAS SOUPS 5948406 WITH SCORE 5962498.509
AT ITER 1709 NEW BEST:: SOT 28106337 SOS 14092481 HAS SOPS 14092481 HAS SOUS 5948405 HAS SOUPS 5948405 WITH SCORE 5962497.481
AT ITER 1714 NEW BEST:: SOT 28102265 SOS 14084336 HAS SOPS 14084336 HAS SOUS 5948404 HAS SOUPS 5948404 WITH SCORE 5962488.336
AT ITER 1723 NEW BEST:: SOT 28098753 SOS 14075738 HAS SOPS 14075738 HAS SOUS 5946828 HAS SOUPS 5946828 WITH SCORE 5960903.738
AT ITER 1725 NEW BEST:: SOT 28098251 SOS 14074733 HAS SOPS 14074733 HAS SOUS 5946827 HAS SOUPS 5946827 WITH SCORE 5960901.733
AT ITER 1731 NEW BEST:: SOT 28096007 SOS 14070244 HAS SOPS 14070244 HAS SOUS 5946826 HAS SOUPS 5946826 WITH SCORE 5960896.244
AT ITER 1747 NEW BEST:: SOT 28092189 SOS 14062608 HAS SOPS 14062608 HAS SOUS 5946826 HAS SOUPS 5946826 WITH SCORE 5960888.608
AT ITER 1750 NEW BEST:: SOT 28089217 SOS 14056663 HAS SOPS 14056663 HAS SOUS 5946825 HAS SOUPS 5946825 WITH SCORE 5960881.663
AT ITER 1766 NEW BEST:: SOT 28087661 SOS 14053488 HAS SOPS 14053488 HAS SOUS 5946762 HAS SOUPS 5946762 WITH SCORE 5960815.488
AT ITER 1779 NEW BEST:: SOT 28084503 SOS 14047171 HAS SOPS 14047171 HAS SOUS 5946761 HAS SOUPS 5946761 WITH SCORE 5960808.171
AT ITER 1798 NEW BEST:: SOT 28082009 SOS 14042183 HAS SOPS 14042183 HAS SOUS 5946761 HAS SOUPS 5946761 WITH SCORE 5960803.183
AT ITER 1801 NEW BEST:: SOT 28078151 SOS 14034467 HAS SOPS 14034467 HAS SOUS 5946761 HAS SOUPS 5946761 WITH SCORE 5960795.467
AT ITER 1807 NEW BEST:: SOT 28074549 SOS 14027263 HAS SOPS 14027263 HAS SOUS 5946761 HAS SOUPS 5946761 WITH SCORE 5960788.263
AT ITER 1812 NEW BEST:: SOT 28072353 SOS 14023740 HAS SOPS 14023740 HAS SOUS 5946441 HAS SOUPS 5946441 WITH SCORE 5960464.74
AT ITER 1818 NEW BEST:: SOT 28070511 SOS 14020056 HAS SOPS 14020056 HAS SOUS 5946441 HAS SOUPS 5946441 WITH SCORE 5960461.056
AT ITER 1825 NEW BEST:: SOT 28067115 SOS 14013263 HAS SOPS 14013263 HAS SOUS 5946440 HAS SOUPS 5946440 WITH SCORE 5960453.263
AT ITER 1832 NEW BEST:: SOT 28066451 SOS 14011935 HAS SOPS 14011935 HAS SOUS 5946440 HAS SOUPS 5946440 WITH SCORE 5960451.935
AT ITER 1834 NEW BEST:: SOT 28062253 SOS 14003539 HAS SOPS 14003539 HAS SOUS 5946440 HAS SOUPS 5946440 WITH SCORE 5960443.539
AT ITER 1841 NEW BEST:: SOT 28060631 SOS 13999484 HAS SOPS 13999484 HAS SOUS 5945627 HAS SOUPS 5945627 WITH SCORE 5959626.484
AT ITER 1843 NEW BEST:: SOT 28060631 SOS 13997949 HAS SOPS 13997949 HAS SOUS 5944092 HAS SOUPS 5944092 WITH SCORE 5958089.949
AT ITER 1855 NEW BEST:: SOT 28057384 SOS 13990548 HAS SOPS 13990548 HAS SOUS 5943858 HAS SOUPS 5943858 WITH SCORE 5957848.548
AT ITER 1861 NEW BEST:: SOT 28054014 SOS 13983808 HAS SOPS 13983808 HAS SOUS 5943858 HAS SOUPS 5943858 WITH SCORE 5957841.808
AT ITER 1865 NEW BEST:: SOT 28053618 SOS 13983014 HAS SOPS 13983014 HAS SOUS 5943854 HAS SOUPS 5943854 WITH SCORE 5957837.014
AT ITER 1866 NEW BEST:: SOT 28053482 SOS 13982740 HAS SOPS 13982740 HAS SOUS 5943850 HAS SOUPS 5943850 WITH SCORE 5957832.74
AT ITER 1867 NEW BEST:: SOT 28051346 SOS 13978466 HAS SOPS 13978466 HAS SOUS 5943846 HAS SOUPS 5943846 WITH SCORE 5957824.466
AT ITER 1872 NEW BEST:: SOT 28048850 SOS 13973473 HAS SOPS 13973473 HAS SOUS 5943845 HAS SOUPS 5943845 WITH SCORE 5957818.473
AT ITER 1873 NEW BEST:: SOT 28047174 SOS 13970121 HAS SOPS 13970121 HAS SOUS 5943845 HAS SOUPS 5943845 WITH SCORE 5957815.121
AT ITER 1877 NEW BEST:: SOT 28043312 SOS 13962397 HAS SOPS 13962397 HAS SOUS 5943845 HAS SOUPS 5943845 WITH SCORE 5957807.397
AT ITER 1881 NEW BEST:: SOT 28039822 SOS 13953672 HAS SOPS 13953672 HAS SOUS 5942100 HAS SOUPS 5942100 WITH SCORE 5956053.672
AT ITER 1882 NEW BEST:: SOT 28037642 SOS 13948222 HAS SOPS 13948222 HAS SOUS 5941006 HAS SOUPS 5941006 WITH SCORE 5954954.222
AT ITER 1883 NEW BEST:: SOT 28034105 SOS 13939612 HAS SOPS 13939612 HAS SOUS 5939759 HAS SOUPS 5939759 WITH SCORE 5953698.612
AT ITER 1886 NEW BEST:: SOT 28029397 SOS 13930195 HAS SOPS 13930195 HAS SOUS 5939758 HAS SOUPS 5939758 WITH SCORE 5953688.195
AT ITER 1906 NEW BEST:: SOT 28027379 SOS 13926157 HAS SOPS 13926157 HAS SOUS 5939754 HAS SOUPS 5939754 WITH SCORE 5953680.157
AT ITER 1908 NEW BEST:: SOT 28026213 SOS 13923824 HAS SOPS 13923824 HAS SOUS 5939753 HAS SOUPS 5939753 WITH SCORE 5953676.824
AT ITER 1928 NEW BEST:: SOT 28023917 SOS 13919231 HAS SOPS 13919231 HAS SOUS 5939752 HAS SOUPS 5939752 WITH SCORE 5953671.231
AT ITER 1930 NEW BEST:: SOT 28023505 SOS 13918406 HAS SOPS 13918406 HAS SOUS 5939751 HAS SOUPS 5939751 WITH SCORE 5953669.406
AT ITER 1935 NEW BEST:: SOT 28018917 SOS 13909230 HAS SOPS 13909230 HAS SOUS 5939751 HAS SOUPS 5939751 WITH SCORE 5953660.23
AT ITER 1961 NEW BEST:: SOT 28017897 SOS 13907190 HAS SOPS 13907190 HAS SOUS 5939045 HAS SOUPS 5939045 WITH SCORE 5952952.19
AT ITER 1964 NEW BEST:: SOT 28014761 SOS 13900918 HAS SOPS 13900918 HAS SOUS 5939045 HAS SOUPS 5939045 WITH SCORE 5952945.918
AT ITER 1981 NEW BEST:: SOT 28014872 SOS 13899471 HAS SOPS 13899471 HAS SOUS 5938883 HAS SOUPS 5938883 WITH SCORE 5952782.471
AT ITER 1991 NEW BEST:: SOT 28011974 SOS 13893675 HAS SOPS 13893675 HAS SOUS 5938883 HAS SOUPS 5938883 WITH SCORE 5952776.675
AT ITER 1994 NEW BEST:: SOT 28011056 SOS 13891839 HAS SOPS 13891839 HAS SOUS 5938883 HAS SOUPS 5938883 WITH SCORE 5952774.839
AT ITER 2002 NEW BEST:: SOT 28007298 SOS 13884322 HAS SOPS 13884322 HAS SOUS 5938882 HAS SOUPS 5938882 WITH SCORE 5952766.322
AT ITER 2014 NEW BEST:: SOT 28004422 SOS 13877132 HAS SOPS 13877132 HAS SOUS 5937444 HAS SOUPS 5937444 WITH SCORE 5951321.132
AT ITER 2023 NEW BEST:: SOT 28002834 SOS 13873954 HAS SOPS 13873954 HAS SOUS 5937440 HAS SOUPS 5937440 WITH SCORE 5951313.954
AT ITER 2028 NEW BEST:: SOT 28002834 SOS 13873952 HAS SOPS 13873952 HAS SOUS 5937436 HAS SOUPS 5937436 WITH SCORE 5951309.952
AT ITER 2032 NEW BEST:: SOT 28002424 SOS 13873132 HAS SOPS 13873132 HAS SOUS 5937436 HAS SOUPS 5937436 WITH SCORE 5951309.132
AT ITER 2054 NEW BEST:: SOT 28002666 SOS 13873616 HAS SOPS 13873616 HAS SOUS 5937194 HAS SOUPS 5937194 WITH SCORE 5951067.616
AT ITER 2070 NEW BEST:: SOT 28001624 SOS 13870710 HAS SOPS 13870710 HAS SOUS 5936974 HAS SOUPS 5936974 WITH SCORE 5950844.71
AT ITER 2077 NEW BEST:: SOT 28001116 SOS 13869694 HAS SOPS 13869694 HAS SOUS 5936974 HAS SOUPS 5936974 WITH SCORE 5950843.694
AT ITER 2092 NEW BEST:: SOT 27996539 SOS 13862161 HAS SOPS 13862161 HAS SOUS 5935816 HAS SOUPS 5935816 WITH SCORE 5949678.161
AT ITER 2103 NEW BEST:: SOT 27996399 SOS 13861881 HAS SOPS 13861881 HAS SOUS 5935816 HAS SOUPS 5935816 WITH SCORE 5949677.881
AT ITER 2110 NEW BEST:: SOT 27995685 SOS 13860452 HAS SOPS 13860452 HAS SOUS 5935815 HAS SOUPS 5935815 WITH SCORE 5949675.452
AT ITER 2120 NEW BEST:: SOT 27994451 SOS 13857982 HAS SOPS 13857982 HAS SOUS 5935811 HAS SOUPS 5935811 WITH SCORE 5949668.982
AT ITER 2148 NEW BEST:: SOT 27991645 SOS 13852369 HAS SOPS 13852369 HAS SOUS 5935810 HAS SOUPS 5935810 WITH SCORE 5949662.369
AT ITER 2158 NEW BEST:: SOT 27990836 SOS 13850224 HAS SOPS 13850224 HAS SOUS 5935614 HAS SOUPS 5935614 WITH SCORE 5949464.224
AT ITER 2178 NEW BEST:: SOT 27987164 SOS 13842880 HAS SOPS 13842880 HAS SOUS 5935614 HAS SOUPS 5935614 WITH SCORE 5949456.88
AT ITER 2183 NEW BEST:: SOT 27984608 SOS 13837766 HAS SOPS 13837766 HAS SOUS 5935610 HAS SOUPS 5935610 WITH SCORE 5949447.766
AT ITER 2185 NEW BEST:: SOT 27981192 SOS 13830933 HAS SOPS 13830933 HAS SOUS 5935609 HAS SOUPS 5935609 WITH SCORE 5949439.933
AT ITER 2188 NEW BEST:: SOT 27979898 SOS 13828345 HAS SOPS 13828345 HAS SOUS 5935609 HAS SOUPS 5935609 WITH SCORE 5949437.345
AT ITER 2221 NEW BEST:: SOT 27979042 SOS 13826948 HAS SOPS 13826948 HAS SOUS 5935385 HAS SOUPS 5935385 WITH SCORE 5949211.948
AT ITER 2227 NEW BEST:: SOT 27978014 SOS 13824890 HAS SOPS 13824890 HAS SOUS 5935381 HAS SOUPS 5935381 WITH SCORE 5949205.89
AT ITER 2228 NEW BEST:: SOT 27975044 SOS 13818948 HAS SOPS 13818948 HAS SOUS 5935377 HAS SOUPS 5935377 WITH SCORE 5949195.948
AT ITER 2230 NEW BEST:: SOT 27974515 SOS 13818082 HAS SOPS 13818082 HAS SOUS 5935232 HAS SOUPS 5935232 WITH SCORE 5949050.082
AT ITER 2250 NEW BEST:: SOT 27970251 SOS 13807422 HAS SOPS 13807422 HAS SOUS 5933096 HAS SOUPS 5933096 WITH SCORE 5946903.422
AT ITER 2255 NEW BEST:: SOT 27968657 SOS 13804232 HAS SOPS 13804232 HAS SOUS 5933092 HAS SOUPS 5933092 WITH SCORE 5946896.232
AT ITER 2261 NEW BEST:: SOT 27968657 SOS 13804232 HAS SOPS 13804232 HAS SOUS 5933090 HAS SOUPS 5933090 WITH SCORE 5946894.232
AT ITER 2263 NEW BEST:: SOT 27966017 SOS 13798025 HAS SOPS 13798025 HAS SOUS 5932161 HAS SOUPS 5932161 WITH SCORE 5945959.025
AT ITER 2265 NEW BEST:: SOT 27963347 SOS 13792683 HAS SOPS 13792683 HAS SOUS 5932157 HAS SOUPS 5932157 WITH SCORE 5945949.683
AT ITER 2275 NEW BEST:: SOT 27960065 SOS 13786118 HAS SOPS 13786118 HAS SOUS 5932156 HAS SOUPS 5932156 WITH SCORE 5945942.118
AT ITER 2278 NEW BEST:: SOT 27955084 SOS 13773913 HAS SOPS 13773913 HAS SOUS 5931378 HAS SOUPS 5931378 WITH SCORE 5945151.913
AT ITER 2281 NEW BEST:: SOT 27954274 SOS 13772291 HAS SOPS 13772291 HAS SOUS 5931374 HAS SOUPS 5931374 WITH SCORE 5945146.291
AT ITER 2327 NEW BEST:: SOT 27954274 SOS 13772086 HAS SOPS 13772086 HAS SOUS 5931169 HAS SOUPS 5931169 WITH SCORE 5944941.086
AT ITER 2335 NEW BEST:: SOT 27952084 SOS 13767705 HAS SOPS 13767705 HAS SOUS 5931168 HAS SOUPS 5931168 WITH SCORE 5944935.705
AT ITER 2336 NEW BEST:: SOT 27950582 SOS 13764699 HAS SOPS 13764699 HAS SOUS 5931164 HAS SOUPS 5931164 WITH SCORE 5944928.699
AT ITER 2356 NEW BEST:: SOT 27947640 SOS 13758122 HAS SOPS 13758122 HAS SOUS 5930849 HAS SOUPS 5930849 WITH SCORE 5944607.122
AT ITER 2376 NEW BEST:: SOT 27944334 SOS 13751508 HAS SOPS 13751508 HAS SOUS 5930845 HAS SOUPS 5930845 WITH SCORE 5944596.508
AT ITER 2377 NEW BEST:: SOT 27938163 SOS 13741879 HAS SOPS 13741879 HAS SOUS 5929924 HAS SOUPS 5929924 WITH SCORE 5943665.879
AT ITER 2380 NEW BEST:: SOT 27937879 SOS 13741311 HAS SOPS 13741311 HAS SOUS 5929924 HAS SOUPS 5929924 WITH SCORE 5943665.311
AT ITER 2384 NEW BEST:: SOT 27934247 SOS 13734047 HAS SOPS 13734047 HAS SOUS 5929924 HAS SOUPS 5929924 WITH SCORE 5943658.047
AT ITER 2390 NEW BEST:: SOT 27930289 SOS 13726129 HAS SOPS 13726129 HAS SOUS 5929920 HAS SOUPS 5929920 WITH SCORE 5943646.129
AT ITER 2396 NEW BEST:: SOT 27927053 SOS 13718659 HAS SOPS 13718659 HAS SOUS 5929378 HAS SOUPS 5929378 WITH SCORE 5943096.659
AT ITER 2404 NEW BEST:: SOT 27926981 SOS 13718248 HAS SOPS 13718248 HAS SOUS 5929039 HAS SOUPS 5929039 WITH SCORE 5942757.248
AT ITER 2406 NEW BEST:: SOT 27924495 SOS 13713276 HAS SOPS 13713276 HAS SOUS 5929039 HAS SOUPS 5929039 WITH SCORE 5942752.276
AT ITER 2424 NEW BEST:: SOT 27923885 SOS 13710689 HAS SOPS 13710689 HAS SOUS 5928606 HAS SOUPS 5928606 WITH SCORE 5942316.689
AT ITER 2426 NEW BEST:: SOT 27919528 SOS 13699571 HAS SOPS 13699571 HAS SOUS 5923801 HAS SOUPS 5923801 WITH SCORE 5937500.571
AT ITER 2444 NEW BEST:: SOT 27919528 SOS 13699569 HAS SOPS 13699569 HAS SOUS 5923797 HAS SOUPS 5923797 WITH SCORE 5937496.569
AT ITER 2450 NEW BEST:: SOT 27917292 SOS 13695096 HAS SOPS 13695096 HAS SOUS 5923796 HAS SOUPS 5923796 WITH SCORE 5937491.096
AT ITER 2464 NEW BEST:: SOT 27914770 SOS 13689033 HAS SOPS 13689033 HAS SOUS 5922777 HAS SOUPS 5922777 WITH SCORE 5936466.033
AT ITER 2477 NEW BEST:: SOT 27908669 SOS 13676666 HAS SOPS 13676666 HAS SOUS 5920703 HAS SOUPS 5920703 WITH SCORE 5934379.666
AT ITER 2480 NEW BEST:: SOT 27905773 SOS 13669426 HAS SOPS 13669426 HAS SOUS 5919255 HAS SOUPS 5919255 WITH SCORE 5932924.426
AT ITER 2486 NEW BEST:: SOT 27901613 SOS 13659485 HAS SOPS 13659485 HAS SOUS 5918018 HAS SOUPS 5918018 WITH SCORE 5931677.485
AT ITER 2489 NEW BEST:: SOT 27900755 SOS 13657767 HAS SOPS 13657767 HAS SOUS 5918014 HAS SOUPS 5918014 WITH SCORE 5931671.767
AT ITER 2520 NEW BEST:: SOT 27897759 SOS 13650972 HAS SOPS 13650972 HAS SOUS 5917211 HAS SOUPS 5917211 WITH SCORE 5930861.972
AT ITER 2529 NEW BEST:: SOT 27897919 SOS 13651292 HAS SOPS 13651292 HAS SOUS 5917051 HAS SOUPS 5917051 WITH SCORE 5930702.292
AT ITER 2535 NEW BEST:: SOT 27896431 SOS 13648316 HAS SOPS 13648316 HAS SOUS 5917051 HAS SOUPS 5917051 WITH SCORE 5930699.316
AT ITER 2536 NEW BEST:: SOT 27894121 SOS 13643694 HAS SOPS 13643694 HAS SOUS 5917047 HAS SOUPS 5917047 WITH SCORE 5930690.694
AT ITER 2538 NEW BEST:: SOT 27892366 SOS 13638562 HAS SOPS 13638562 HAS SOUS 5916912 HAS SOUPS 5916912 WITH SCORE 5930550.562
AT ITER 2565 NEW BEST:: SOT 27892250 SOS 13638330 HAS SOPS 13638330 HAS SOUS 5916912 HAS SOUPS 5916912 WITH SCORE 5930550.33
AT ITER 2567 NEW BEST:: SOT 27888594 SOS 13631016 HAS SOPS 13631016 HAS SOUS 5916908 HAS SOUPS 5916908 WITH SCORE 5930539.016
AT ITER 2571 NEW BEST:: SOT 27886039 SOS 13624658 HAS SOPS 13624658 HAS SOUS 5915656 HAS SOUPS 5915656 WITH SCORE 5929280.658
AT ITER 2575 NEW BEST:: SOT 27886039 SOS 13622748 HAS SOPS 13622748 HAS SOUS 5914362 HAS SOUPS 5914362 WITH SCORE 5927984.748
AT ITER 2580 NEW BEST:: SOT 27883165 SOS 13615957 HAS SOPS 13615957 HAS SOUS 5913317 HAS SOUPS 5913317 WITH SCORE 5926932.957
AT ITER 2585 NEW BEST:: SOT 27882616 SOS 13615040 HAS SOPS 13615040 HAS SOUS 5913130 HAS SOUPS 5913130 WITH SCORE 5926745.04
AT ITER 2589 NEW BEST:: SOT 27878948 SOS 13607703 HAS SOPS 13607703 HAS SOUS 5913129 HAS SOUPS 5913129 WITH SCORE 5926736.703
AT ITER 2596 NEW BEST:: SOT 27877062 SOS 13603929 HAS SOPS 13603929 HAS SOUS 5913125 HAS SOUPS 5913125 WITH SCORE 5926728.929
AT ITER 2640 NEW BEST:: SOT 27873594 SOS 13596993 HAS SOPS 13596993 HAS SOUS 5913125 HAS SOUPS 5913125 WITH SCORE 5926721.993
AT ITER 2686 NEW BEST:: SOT 27867466 SOS 13587391 HAS SOPS 13587391 HAS SOUS 5912219 HAS SOUPS 5912219 WITH SCORE 5925806.391
AT ITER 2688 NEW BEST:: SOT 27864000 SOS 13580459 HAS SOPS 13580459 HAS SOUS 5912219 HAS SOUPS 5912219 WITH SCORE 5925799.459
AT ITER 2696 NEW BEST:: SOT 27862821 SOS 13577511 HAS SOPS 13577511 HAS SOUS 5911630 HAS SOUPS 5911630 WITH SCORE 5925207.511
AT ITER 2711 NEW BEST:: SOT 27863124 SOS 13578334 HAS SOPS 13578334 HAS SOUS 5911544 HAS SOUPS 5911544 WITH SCORE 5925122.334
AT ITER 2722 NEW BEST:: SOT 27860624 SOS 13572084 HAS SOPS 13572084 HAS SOUS 5910294 HAS SOUPS 5910294 WITH SCORE 5923866.084
AT ITER 2737 NEW BEST:: SOT 27857906 SOS 13566648 HAS SOPS 13566648 HAS SOUS 5910294 HAS SOUPS 5910294 WITH SCORE 5923860.648
AT ITER 2750 NEW BEST:: SOT 27852940 SOS 13556714 HAS SOPS 13556714 HAS SOUS 5910290 HAS SOUPS 5910290 WITH SCORE 5923846.714
AT ITER 2755 NEW BEST:: SOT 27848876 SOS 13546554 HAS SOPS 13546554 HAS SOUS 5908258 HAS SOUPS 5908258 WITH SCORE 5921804.554
AT ITER 2775 NEW BEST:: SOT 27845910 SOS 13540621 HAS SOPS 13540621 HAS SOUS 5908257 HAS SOUPS 5908257 WITH SCORE 5921797.621
AT ITER 2783 NEW BEST:: SOT 27843004 SOS 13534808 HAS SOPS 13534808 HAS SOUS 5908256 HAS SOUPS 5908256 WITH SCORE 5921790.808
AT ITER 2786 NEW BEST:: SOT 27842332 SOS 13533464 HAS SOPS 13533464 HAS SOUS 5908256 HAS SOUPS 5908256 WITH SCORE 5921789.464
AT ITER 2789 NEW BEST:: SOT 27839838 SOS 13528476 HAS SOPS 13528476 HAS SOUS 5908256 HAS SOUPS 5908256 WITH SCORE 5921784.476
AT ITER 2794 NEW BEST:: SOT 27838250 SOS 13524506 HAS SOPS 13524506 HAS SOUS 5907460 HAS SOUPS 5907460 WITH SCORE 5920984.506
AT ITER 2805 NEW BEST:: SOT 27834864 SOS 13517732 HAS SOPS 13517732 HAS SOUS 5907456 HAS SOUPS 5907456 WITH SCORE 5920973.732
AT ITER 2809 NEW BEST:: SOT 27834769 SOS 13517447 HAS SOPS 13517447 HAS SOUS 5907456 HAS SOUPS 5907456 WITH SCORE 5920973.447
AT ITER 2817 NEW BEST:: SOT 27829968 SOS 13506409 HAS SOPS 13506409 HAS SOUS 5904412 HAS SOUPS 5904412 WITH SCORE 5917918.409
AT ITER 2818 NEW BEST:: SOT 27828960 SOS 13503893 HAS SOPS 13503893 HAS SOUS 5903912 HAS SOUPS 5903912 WITH SCORE 5917415.893
AT ITER 2826 NEW BEST:: SOT 27828668 SOS 13503309 HAS SOPS 13503309 HAS SOUS 5903912 HAS SOUPS 5903912 WITH SCORE 5917415.309
AT ITER 2847 NEW BEST:: SOT 27824840 SOS 13495652 HAS SOPS 13495652 HAS SOUS 5903911 HAS SOUPS 5903911 WITH SCORE 5917406.652
AT ITER 2863 NEW BEST:: SOT 27821351 SOS 13487666 HAS SOPS 13487666 HAS SOUS 5903238 HAS SOUPS 5903238 WITH SCORE 5916725.666
AT ITER 2866 NEW BEST:: SOT 27819571 SOS 13484106 HAS SOPS 13484106 HAS SOUS 5903238 HAS SOUPS 5903238 WITH SCORE 5916722.106
AT ITER 2872 NEW BEST:: SOT 27817023 SOS 13479009 HAS SOPS 13479009 HAS SOUS 5903237 HAS SOUPS 5903237 WITH SCORE 5916716.009
AT ITER 2888 NEW BEST:: SOT 27817023 SOS 13478744 HAS SOPS 13478744 HAS SOUS 5902442 HAS SOUPS 5902442 WITH SCORE 5915920.744
AT ITER 2889 NEW BEST:: SOT 27813519 SOS 13470245 HAS SOPS 13470245 HAS SOUS 5900947 HAS SOUPS 5900947 WITH SCORE 5914417.245
AT ITER 2907 NEW BEST:: SOT 27813009 SOS 13468970 HAS SOPS 13468970 HAS SOUS 5900692 HAS SOUPS 5900692 WITH SCORE 5914160.97
AT ITER 2915 NEW BEST:: SOT 27810529 SOS 13462748 HAS SOPS 13462748 HAS SOUS 5897774 HAS SOUPS 5897774 WITH SCORE 5911236.748
AT ITER 2928 NEW BEST:: SOT 27808381 SOS 13458451 HAS SOPS 13458451 HAS SOUS 5897773 HAS SOUPS 5897773 WITH SCORE 5911231.451
AT ITER 2945 NEW BEST:: SOT 27804773 SOS 13451234 HAS SOPS 13451234 HAS SOUS 5897772 HAS SOUPS 5897772 WITH SCORE 5911223.234
AT ITER 2970 NEW BEST:: SOT 27804773 SOS 13449354 HAS SOPS 13449354 HAS SOUS 5895888 HAS SOUPS 5895888 WITH SCORE 5909337.354
AT ITER 2973 NEW BEST:: SOT 27804773 SOS 13448363 HAS SOPS 13448363 HAS SOUS 5892915 HAS SOUPS 5892915 WITH SCORE 5906363.363
AT ITER 2977 NEW BEST:: SOT 27801959 SOS 13442735 HAS SOPS 13442735 HAS SOUS 5892915 HAS SOUPS 5892915 WITH SCORE 5906357.735
AT ITER 2981 NEW BEST:: SOT 27801487 SOS 13441791 HAS SOPS 13441791 HAS SOUS 5892915 HAS SOUPS 5892915 WITH SCORE 5906356.791
AT ITER 3004 NEW BEST:: SOT 27800031 SOS 13438235 HAS SOPS 13438235 HAS SOUS 5892271 HAS SOUPS 5892271 WITH SCORE 5905709.235
AT ITER 3007 NEW BEST:: SOT 27796359 SOS 13430891 HAS SOPS 13430891 HAS SOUS 5892271 HAS SOUPS 5892271 WITH SCORE 5905701.891
AT ITER 3008 NEW BEST:: SOT 27796359 SOS 13430262 HAS SOPS 13430262 HAS SOUS 5891642 HAS SOUPS 5891642 WITH SCORE 5905072.262
AT ITER 3009 NEW BEST:: SOT 27796311 SOS 13430166 HAS SOPS 13430166 HAS SOUS 5891594 HAS SOUPS 5891594 WITH SCORE 5905024.166
AT ITER 3015 NEW BEST:: SOT 27793149 SOS 13423840 HAS SOPS 13423840 HAS SOUS 5891590 HAS SOUPS 5891590 WITH SCORE 5905013.84
AT ITER 3034 NEW BEST:: SOT 27788331 SOS 13411908 HAS SOPS 13411908 HAS SOUS 5889292 HAS SOUPS 5889292 WITH SCORE 5902703.908
AT ITER 3035 NEW BEST:: SOT 27788331 SOS 13410456 HAS SOPS 13410456 HAS SOUS 5887840 HAS SOUPS 5887840 WITH SCORE 5901250.456
AT ITER 3040 NEW BEST:: SOT 27788331 SOS 13410454 HAS SOPS 13410454 HAS SOUS 5887836 HAS SOUPS 5887836 WITH SCORE 5901246.454
AT ITER 3072 NEW BEST:: SOT 27787602 SOS 13409239 HAS SOPS 13409239 HAS SOUS 5887593 HAS SOUPS 5887593 WITH SCORE 5901002.239
AT ITER 3077 NEW BEST:: SOT 27784354 SOS 13402741 HAS SOPS 13402741 HAS SOUS 5887589 HAS SOUPS 5887589 WITH SCORE 5900991.741
AT ITER 3078 NEW BEST:: SOT 27783190 SOS 13400053 HAS SOPS 13400053 HAS SOUS 5887229 HAS SOUPS 5887229 WITH SCORE 5900629.053
AT ITER 3094 NEW BEST:: SOT 27783276 SOS 13400225 HAS SOPS 13400225 HAS SOUS 5887143 HAS SOUPS 5887143 WITH SCORE 5900543.225
AT ITER 3095 NEW BEST:: SOT 27780308 SOS 13392925 HAS SOPS 13392925 HAS SOUS 5886517 HAS SOUPS 5886517 WITH SCORE 5899909.925
AT ITER 3106 NEW BEST:: SOT 27781801 SOS 13396155 HAS SOPS 13396155 HAS SOUS 5885975 HAS SOUPS 5885975 WITH SCORE 5899371.155
AT ITER 3115 NEW BEST:: SOT 27779037 SOS 13389381 HAS SOPS 13389381 HAS SOUS 5882173 HAS SOUPS 5882173 WITH SCORE 5895562.381
AT ITER 3121 NEW BEST:: SOT 27773160 SOS 13375496 HAS SOPS 13375496 HAS SOUS 5876519 HAS SOUPS 5876519 WITH SCORE 5889894.496
AT ITER 3131 NEW BEST:: SOT 27771970 SOS 13376265 HAS SOPS 13376265 HAS SOUS 5876436 HAS SOUPS 5876436 WITH SCORE 5889812.265
AT ITER 3136 NEW BEST:: SOT 27769710 SOS 13370344 HAS SOPS 13370344 HAS SOUS 5874605 HAS SOUPS 5874605 WITH SCORE 5887975.344
AT ITER 3137 NEW BEST:: SOT 27765758 SOS 13362440 HAS SOPS 13362440 HAS SOUS 5874605 HAS SOUPS 5874605 WITH SCORE 5887967.44
AT ITER 3140 NEW BEST:: SOT 27760988 SOS 13352900 HAS SOPS 13352900 HAS SOUS 5874605 HAS SOUPS 5874605 WITH SCORE 5887957.9
AT ITER 3184 NEW BEST:: SOT 27759253 SOS 13348448 HAS SOPS 13348448 HAS SOUS 5873678 HAS SOUPS 5873678 WITH SCORE 5887026.448
AT ITER 3205 NEW BEST:: SOT 27756801 SOS 13343543 HAS SOPS 13343543 HAS SOUS 5873677 HAS SOUPS 5873677 WITH SCORE 5887020.543
AT ITER 3208 NEW BEST:: SOT 27756801 SOS 13343387 HAS SOPS 13343387 HAS SOUS 5873521 HAS SOUPS 5873521 WITH SCORE 5886864.387
AT ITER 3212 NEW BEST:: SOT 27756189 SOS 13342163 HAS SOPS 13342163 HAS SOUS 5872909 HAS SOUPS 5872909 WITH SCORE 5886251.163
AT ITER 3219 NEW BEST:: SOT 27755385 SOS 13340153 HAS SOPS 13340153 HAS SOUS 5872507 HAS SOUPS 5872507 WITH SCORE 5885847.153
AT ITER 3221 NEW BEST:: SOT 27751453 SOS 13332288 HAS SOPS 13332288 HAS SOUS 5872506 HAS SOUPS 5872506 WITH SCORE 5885838.288
AT ITER 3246 NEW BEST:: SOT 27749261 SOS 13327902 HAS SOPS 13327902 HAS SOUS 5872502 HAS SOUPS 5872502 WITH SCORE 5885829.902
AT ITER 3250 NEW BEST:: SOT 27746521 SOS 13322421 HAS SOPS 13322421 HAS SOUS 5872501 HAS SOUPS 5872501 WITH SCORE 5885823.421
AT ITER 3258 NEW BEST:: SOT 27745283 SOS 13318857 HAS SOPS 13318857 HAS SOUS 5872347 HAS SOUPS 5872347 WITH SCORE 5885665.857
AT ITER 3261 NEW BEST:: SOT 27744692 SOS 13317891 HAS SOPS 13317891 HAS SOUS 5872188 HAS SOUPS 5872188 WITH SCORE 5885505.891
AT ITER 3276 NEW BEST:: SOT 27740452 SOS 13309411 HAS SOPS 13309411 HAS SOUS 5872188 HAS SOUPS 5872188 WITH SCORE 5885497.411
AT ITER 3286 NEW BEST:: SOT 27740416 SOS 13309339 HAS SOPS 13309339 HAS SOUS 5872188 HAS SOUPS 5872188 WITH SCORE 5885497.339
AT ITER 3309 NEW BEST:: SOT 27740416 SOS 13308598 HAS SOPS 13308598 HAS SOUS 5871445 HAS SOUPS 5871445 WITH SCORE 5884753.598
AT ITER 3319 NEW BEST:: SOT 27738768 SOS 13304478 HAS SOPS 13304478 HAS SOUS 5870621 HAS SOUPS 5870621 WITH SCORE 5883925.478
AT ITER 3333 NEW BEST:: SOT 27738529 SOS 13304000 HAS SOPS 13304000 HAS SOUS 5870621 HAS SOUPS 5870621 WITH SCORE 5883925.0
AT ITER 3337 NEW BEST:: SOT 27734487 SOS 13295916 HAS SOPS 13295916 HAS SOUS 5870621 HAS SOUPS 5870621 WITH SCORE 5883916.916
AT ITER 3339 NEW BEST:: SOT 27732775 SOS 13292492 HAS SOPS 13292492 HAS SOUS 5870621 HAS SOUPS 5870621 WITH SCORE 5883913.492
AT ITER 3340 NEW BEST:: SOT 27732775 SOS 13292490 HAS SOPS 13292490 HAS SOUS 5870617 HAS SOUPS 5870617 WITH SCORE 5883909.49
AT ITER 3343 NEW BEST:: SOT 27730013 SOS 13286964 HAS SOPS 13286964 HAS SOUS 5870613 HAS SOUPS 5870613 WITH SCORE 5883899.964
AT ITER 3357 NEW BEST:: SOT 27727897 SOS 13282730 HAS SOPS 13282730 HAS SOUS 5870609 HAS SOUPS 5870609 WITH SCORE 5883891.73
AT ITER 3366 NEW BEST:: SOT 27725035 SOS 13277959 HAS SOPS 13277959 HAS SOUS 5869654 HAS SOUPS 5869654 WITH SCORE 5882931.959
AT ITER 3372 NEW BEST:: SOT 27721804 SOS 13272572 HAS SOPS 13272572 HAS SOUS 5868573 HAS SOUPS 5868573 WITH SCORE 5881845.572
AT ITER 3375 NEW BEST:: SOT 27720948 SOS 13270860 HAS SOPS 13270860 HAS SOUS 5868573 HAS SOUPS 5868573 WITH SCORE 5881843.86
AT ITER 3405 NEW BEST:: SOT 27718806 SOS 13266574 HAS SOPS 13266574 HAS SOUS 5868569 HAS SOUPS 5868569 WITH SCORE 5881835.574
AT ITER 3427 NEW BEST:: SOT 27718502 SOS 13265966 HAS SOPS 13265966 HAS SOUS 5868569 HAS SOUPS 5868569 WITH SCORE 5881834.966
AT ITER 3429 NEW BEST:: SOT 27715638 SOS 13260237 HAS SOPS 13260237 HAS SOUS 5868568 HAS SOUPS 5868568 WITH SCORE 5881828.237
AT ITER 3437 NEW BEST:: SOT 27717889 SOS 13262752 HAS SOPS 13262752 HAS SOUS 5867877 HAS SOUPS 5867877 WITH SCORE 5881139.752
AT ITER 3441 NEW BEST:: SOT 27715951 SOS 13258876 HAS SOPS 13258876 HAS SOUS 5867877 HAS SOUPS 5867877 WITH SCORE 5881135.876
AT ITER 3446 NEW BEST:: SOT 27712181 SOS 13251334 HAS SOPS 13251334 HAS SOUS 5867873 HAS SOUPS 5867873 WITH SCORE 5881124.334
AT ITER 3475 NEW BEST:: SOT 27708873 SOS 13244718 HAS SOPS 13244718 HAS SOUS 5867873 HAS SOUPS 5867873 WITH SCORE 5881117.718
AT ITER 3497 NEW BEST:: SOT 27708375 SOS 13243473 HAS SOPS 13243473 HAS SOUS 5867624 HAS SOUPS 5867624 WITH SCORE 5880867.473
AT ITER 3508 NEW BEST:: SOT 27707341 SOS 13241203 HAS SOPS 13241203 HAS SOUS 5867418 HAS SOUPS 5867418 WITH SCORE 5880659.203
AT ITER 3534 NEW BEST:: SOT 27706043 SOS 13237958 HAS SOPS 13237958 HAS SOUS 5865471 HAS SOUPS 5865471 WITH SCORE 5878708.958
AT ITER 3541 NEW BEST:: SOT 27704188 SOS 13232562 HAS SOPS 13232562 HAS SOUS 5863407 HAS SOUPS 5863407 WITH SCORE 5876639.562
AT ITER 3542 NEW BEST:: SOT 27700800 SOS 13225785 HAS SOPS 13225785 HAS SOUS 5863406 HAS SOUPS 5863406 WITH SCORE 5876631.785
AT ITER 3546 NEW BEST:: SOT 27700800 SOS 13225785 HAS SOPS 13225785 HAS SOUS 5863402 HAS SOUPS 5863402 WITH SCORE 5876627.785
AT ITER 3549 NEW BEST:: SOT 27698918 SOS 13222021 HAS SOPS 13222021 HAS SOUS 5863402 HAS SOUPS 5863402 WITH SCORE 5876624.021
AT ITER 3565 NEW BEST:: SOT 27695828 SOS 13215841 HAS SOPS 13215841 HAS SOUS 5863402 HAS SOUPS 5863402 WITH SCORE 5876617.841
AT ITER 3577 NEW BEST:: SOT 27692338 SOS 13208861 HAS SOPS 13208861 HAS SOUS 5863402 HAS SOUPS 5863402 WITH SCORE 5876610.861
AT ITER 3589 NEW BEST:: SOT 27689352 SOS 13200977 HAS SOPS 13200977 HAS SOUS 5860412 HAS SOUPS 5860412 WITH SCORE 5873612.977
AT ITER 3595 NEW BEST:: SOT 27686460 SOS 13193756 HAS SOPS 13193756 HAS SOUS 5858471 HAS SOUPS 5858471 WITH SCORE 5871664.756
AT ITER 3603 NEW BEST:: SOT 27683226 SOS 13186649 HAS SOPS 13186649 HAS SOUS 5858224 HAS SOUPS 5858224 WITH SCORE 5871410.649
AT ITER 3605 NEW BEST:: SOT 27683226 SOS 13186648 HAS SOPS 13186648 HAS SOUS 5858223 HAS SOUPS 5858223 WITH SCORE 5871409.648
AT ITER 3634 NEW BEST:: SOT 27678714 SOS 13175368 HAS SOPS 13175368 HAS SOUS 5855967 HAS SOUPS 5855967 WITH SCORE 5869142.368
AT ITER 3635 NEW BEST:: SOT 27674531 SOS 13165956 HAS SOPS 13165956 HAS SOUS 5854985 HAS SOUPS 5854985 WITH SCORE 5868150.956
AT ITER 3644 NEW BEST:: SOT 27674531 SOS 13165955 HAS SOPS 13165955 HAS SOUS 5854980 HAS SOUPS 5854980 WITH SCORE 5868145.955
AT ITER 3651 NEW BEST:: SOT 27671304 SOS 13158197 HAS SOPS 13158197 HAS SOUS 5854161 HAS SOUPS 5854161 WITH SCORE 5867319.197
AT ITER 3652 NEW BEST:: SOT 27669701 SOS 13153156 HAS SOPS 13153156 HAS SOUS 5853389 HAS SOUPS 5853389 WITH SCORE 5866542.156
AT ITER 3661 NEW BEST:: SOT 27666425 SOS 13144750 HAS SOPS 13144750 HAS SOUS 5852665 HAS SOUPS 5852665 WITH SCORE 5865809.75
AT ITER 3671 NEW BEST:: SOT 27664263 SOS 13139400 HAS SOPS 13139400 HAS SOUS 5850377 HAS SOUPS 5850377 WITH SCORE 5863516.4
AT ITER 3699 NEW BEST:: SOT 27664366 SOS 13139606 HAS SOPS 13139606 HAS SOUS 5850274 HAS SOUPS 5850274 WITH SCORE 5863413.606
AT ITER 3700 NEW BEST:: SOT 27664366 SOS 13139238 HAS SOPS 13139238 HAS SOUS 5849906 HAS SOUPS 5849906 WITH SCORE 5863045.238
AT ITER 3717 NEW BEST:: SOT 27662814 SOS 13135358 HAS SOPS 13135358 HAS SOUS 5849130 HAS SOUPS 5849130 WITH SCORE 5862265.358
AT ITER 3720 NEW BEST:: SOT 27657079 SOS 13126441 HAS SOPS 13126441 HAS SOUS 5848506 HAS SOUPS 5848506 WITH SCORE 5861632.441
AT ITER 3726 NEW BEST:: SOT 27653603 SOS 13118425 HAS SOPS 13118425 HAS SOUS 5847442 HAS SOUPS 5847442 WITH SCORE 5860560.425
AT ITER 3727 NEW BEST:: SOT 27651345 SOS 13113129 HAS SOPS 13113129 HAS SOUS 5846532 HAS SOUPS 5846532 WITH SCORE 5859645.129
AT ITER 3730 NEW BEST:: SOT 27644450 SOS 13101692 HAS SOPS 13101692 HAS SOUS 5844515 HAS SOUPS 5844515 WITH SCORE 5857616.692
AT ITER 3732 NEW BEST:: SOT 27644218 SOS 13101099 HAS SOPS 13101099 HAS SOUS 5844150 HAS SOUPS 5844150 WITH SCORE 5857251.099
AT ITER 3733 NEW BEST:: SOT 27642114 SOS 13095839 HAS SOPS 13095839 HAS SOUS 5843098 HAS SOUPS 5843098 WITH SCORE 5856193.839
AT ITER 3752 NEW BEST:: SOT 27636663 SOS 13083790 HAS SOPS 13083790 HAS SOUS 5842664 HAS SOUPS 5842664 WITH SCORE 5855747.79
AT ITER 3760 NEW BEST:: SOT 27633537 SOS 13076315 HAS SOPS 13076315 HAS SOUS 5841597 HAS SOUPS 5841597 WITH SCORE 5854673.315
AT ITER 3763 NEW BEST:: SOT 27633537 SOS 13076314 HAS SOPS 13076314 HAS SOUS 5841596 HAS SOUPS 5841596 WITH SCORE 5854672.314
AT ITER 3765 NEW BEST:: SOT 27630744 SOS 13071778 HAS SOPS 13071778 HAS SOUS 5841023 HAS SOUPS 5841023 WITH SCORE 5854094.778
AT ITER 3767 NEW BEST:: SOT 27628000 SOS 13064918 HAS SOPS 13064918 HAS SOUS 5839649 HAS SOUPS 5839649 WITH SCORE 5852713.918
AT ITER 3771 NEW BEST:: SOT 27624164 SOS 13055328 HAS SOPS 13055328 HAS SOUS 5837729 HAS SOUPS 5837729 WITH SCORE 5850784.328
AT ITER 3780 NEW BEST:: SOT 27623620 SOS 13054445 HAS SOPS 13054445 HAS SOUS 5837596 HAS SOUPS 5837596 WITH SCORE 5850650.445
AT ITER 3786 NEW BEST:: SOT 27622484 SOS 13052173 HAS SOPS 13052173 HAS SOUS 5837596 HAS SOUPS 5837596 WITH SCORE 5850648.173
AT ITER 3790 NEW BEST:: SOT 27621184 SOS 13049572 HAS SOPS 13049572 HAS SOUS 5837595 HAS SOUPS 5837595 WITH SCORE 5850644.572
AT ITER 3793 NEW BEST:: SOT 27621106 SOS 13049416 HAS SOPS 13049416 HAS SOUS 5837492 HAS SOUPS 5837492 WITH SCORE 5850541.416
AT ITER 3795 NEW BEST:: SOT 27620322 SOS 13047848 HAS SOPS 13047848 HAS SOUS 5837492 HAS SOUPS 5837492 WITH SCORE 5850539.848
AT ITER 3832 NEW BEST:: SOT 27619804 SOS 13046811 HAS SOPS 13046811 HAS SOUS 5837491 HAS SOUPS 5837491 WITH SCORE 5850537.811
AT ITER 3837 NEW BEST:: SOT 27616506 SOS 13040215 HAS SOPS 13040215 HAS SOUS 5837491 HAS SOUPS 5837491 WITH SCORE 5850531.215
AT ITER 3858 NEW BEST:: SOT 27616506 SOS 13039905 HAS SOPS 13039905 HAS SOUS 5837181 HAS SOUPS 5837181 WITH SCORE 5850220.905
AT ITER 3862 NEW BEST:: SOT 27614694 SOS 13035375 HAS SOPS 13035375 HAS SOUS 5834463 HAS SOUPS 5834463 WITH SCORE 5847498.375
AT ITER 3864 NEW BEST:: SOT 27611625 SOS 13028524 HAS SOPS 13028524 HAS SOUS 5833889 HAS SOUPS 5833889 WITH SCORE 5846917.524
AT ITER 3867 NEW BEST:: SOT 27611171 SOS 13027389 HAS SOPS 13027389 HAS SOUS 5833208 HAS SOUPS 5833208 WITH SCORE 5846235.389
AT ITER 3881 NEW BEST:: SOT 27611171 SOS 13027389 HAS SOPS 13027389 HAS SOUS 5833206 HAS SOUPS 5833206 WITH SCORE 5846233.389
AT ITER 3884 NEW BEST:: SOT 27613570 SOS 13030779 HAS SOPS 13030779 HAS SOUS 5832785 HAS SOUPS 5832785 WITH SCORE 5845815.779
AT ITER 3892 NEW BEST:: SOT 27612871 SOS 13028955 HAS SOPS 13028955 HAS SOUS 5832512 HAS SOUPS 5832512 WITH SCORE 5845540.955
AT ITER 3902 NEW BEST:: SOT 27608489 SOS 13018386 HAS SOPS 13018386 HAS SOUS 5830703 HAS SOUPS 5830703 WITH SCORE 5843721.386
AT ITER 3907 NEW BEST:: SOT 27608211 SOS 13017828 HAS SOPS 13017828 HAS SOUS 5830699 HAS SOUPS 5830699 WITH SCORE 5843716.828
AT ITER 3909 NEW BEST:: SOT 27605367 SOS 13010718 HAS SOPS 13010718 HAS SOUS 5829275 HAS SOUPS 5829275 WITH SCORE 5842285.718
AT ITER 3914 NEW BEST:: SOT 27601837 SOS 13003042 HAS SOPS 13003042 HAS SOUS 5829043 HAS SOUPS 5829043 WITH SCORE 5842046.042
AT ITER 3919 NEW BEST:: SOT 27603404 SOS 13006176 HAS SOPS 13006176 HAS SOUS 5828000 HAS SOUPS 5828000 WITH SCORE 5841006.176
AT ITER 3942 NEW BEST:: SOT 27599850 SOS 12998062 HAS SOPS 12998062 HAS SOUS 5827330 HAS SOUPS 5827330 WITH SCORE 5840328.062
AT ITER 3952 NEW BEST:: SOT 27598298 SOS 12994958 HAS SOPS 12994958 HAS SOUS 5827330 HAS SOUPS 5827330 WITH SCORE 5840324.958
AT ITER 3955 NEW BEST:: SOT 27597134 SOS 12992048 HAS SOPS 12992048 HAS SOUS 5826746 HAS SOUPS 5826746 WITH SCORE 5839738.048
AT ITER 3957 NEW BEST:: SOT 27594119 SOS 12987022 HAS SOPS 12987022 HAS SOUS 5825740 HAS SOUPS 5825740 WITH SCORE 5838727.022
AT ITER 3979 NEW BEST:: SOT 27590548 SOS 12978520 HAS SOPS 12978520 HAS SOUS 5824959 HAS SOUPS 5824959 WITH SCORE 5837937.52
AT ITER 3996 NEW BEST:: SOT 27590372 SOS 12978166 HAS SOPS 12978166 HAS SOUS 5824955 HAS SOUPS 5824955 WITH SCORE 5837933.166
AT ITER 3998 NEW BEST:: SOT 27589336 SOS 12976094 HAS SOPS 12976094 HAS SOUS 5824955 HAS SOUPS 5824955 WITH SCORE 5837931.094
AT ITER 4001 NEW BEST:: SOT 27588036 SOS 12973492 HAS SOPS 12973492 HAS SOUS 5824951 HAS SOUPS 5824951 WITH SCORE 5837924.492
AT ITER 4015 NEW BEST:: SOT 27587147 SOS 12970854 HAS SOPS 12970854 HAS SOUS 5823228 HAS SOUPS 5823228 WITH SCORE 5836198.854
AT ITER 4021 NEW BEST:: SOT 27584203 SOS 12964964 HAS SOPS 12964964 HAS SOUS 5823224 HAS SOUPS 5823224 WITH SCORE 5836188.964
AT ITER 4023 NEW BEST:: SOT 27583285 SOS 12963089 HAS SOPS 12963089 HAS SOUS 5823185 HAS SOUPS 5823185 WITH SCORE 5836148.089
AT ITER 4074 NEW BEST:: SOT 27581641 SOS 12959801 HAS SOPS 12959801 HAS SOUS 5823185 HAS SOUPS 5823185 WITH SCORE 5836144.801
AT ITER 4082 NEW BEST:: SOT 27578929 SOS 12954376 HAS SOPS 12954376 HAS SOUS 5823184 HAS SOUPS 5823184 WITH SCORE 5836138.376
AT ITER 4091 NEW BEST:: SOT 27576345 SOS 12949207 HAS SOPS 12949207 HAS SOUS 5823183 HAS SOUPS 5823183 WITH SCORE 5836132.207
AT ITER 4102 NEW BEST:: SOT 27576133 SOS 12948782 HAS SOPS 12948782 HAS SOUS 5823182 HAS SOUPS 5823182 WITH SCORE 5836130.782
AT ITER 4109 NEW BEST:: SOT 27575231 SOS 12946976 HAS SOPS 12946976 HAS SOUS 5823178 HAS SOUPS 5823178 WITH SCORE 5836124.976
AT ITER 4112 NEW BEST:: SOT 27573950 SOS 12944905 HAS SOPS 12944905 HAS SOUS 5822879 HAS SOUPS 5822879 WITH SCORE 5835823.905
AT ITER 4117 NEW BEST:: SOT 27569532 SOS 12936069 HAS SOPS 12936069 HAS SOUS 5822879 HAS SOUPS 5822879 WITH SCORE 5835815.069
AT ITER 4118 NEW BEST:: SOT 27562771 SOS 12924863 HAS SOPS 12924863 HAS SOUS 5820951 HAS SOUPS 5820951 WITH SCORE 5833875.863
AT ITER 4132 NEW BEST:: SOT 27558871 SOS 12917061 HAS SOPS 12917061 HAS SOUS 5820947 HAS SOUPS 5820947 WITH SCORE 5833864.061
AT ITER 4149 NEW BEST:: SOT 27556665 SOS 12911568 HAS SOPS 12911568 HAS SOUS 5819866 HAS SOUPS 5819866 WITH SCORE 5832777.568
AT ITER 4156 NEW BEST:: SOT 27554454 SOS 12908092 HAS SOPS 12908092 HAS SOUS 5819757 HAS SOUPS 5819757 WITH SCORE 5832665.092
AT ITER 4172 NEW BEST:: SOT 27553710 SOS 12906604 HAS SOPS 12906604 HAS SOUS 5819757 HAS SOUPS 5819757 WITH SCORE 5832663.604
AT ITER 4174 NEW BEST:: SOT 27552644 SOS 12903939 HAS SOPS 12903939 HAS SOUS 5819224 HAS SOUPS 5819224 WITH SCORE 5832127.939
AT ITER 4183 NEW BEST:: SOT 27549440 SOS 12898599 HAS SOPS 12898599 HAS SOUS 5818156 HAS SOUPS 5818156 WITH SCORE 5831054.599
AT ITER 4185 NEW BEST:: SOT 27548104 SOS 12895927 HAS SOPS 12895927 HAS SOUS 5818156 HAS SOUPS 5818156 WITH SCORE 5831051.927
AT ITER 4186 NEW BEST:: SOT 27543930 SOS 12887579 HAS SOPS 12887579 HAS SOUS 5818156 HAS SOUPS 5818156 WITH SCORE 5831043.579
AT ITER 4187 NEW BEST:: SOT 27540888 SOS 12882508 HAS SOPS 12882508 HAS SOUS 5817141 HAS SOUPS 5817141 WITH SCORE 5830023.508
AT ITER 4197 NEW BEST:: SOT 27538396 SOS 12877522 HAS SOPS 12877522 HAS SOUS 5817137 HAS SOUPS 5817137 WITH SCORE 5830014.522
AT ITER 4214 NEW BEST:: SOT 27535873 SOS 12871143 HAS SOPS 12871143 HAS SOUS 5816347 HAS SOUPS 5816347 WITH SCORE 5829218.143
AT ITER 4217 NEW BEST:: SOT 27534819 SOS 12868557 HAS SOPS 12868557 HAS SOUS 5816189 HAS SOUPS 5816189 WITH SCORE 5829057.557
AT ITER 4235 NEW BEST:: SOT 27534819 SOS 12868555 HAS SOPS 12868555 HAS SOUS 5816185 HAS SOUPS 5816185 WITH SCORE 5829053.555
AT ITER 4239 NEW BEST:: SOT 27534621 SOS 12868244 HAS SOPS 12868244 HAS SOUS 5816163 HAS SOUPS 5816163 WITH SCORE 5829031.244
AT ITER 4250 NEW BEST:: SOT 27534443 SOS 12867710 HAS SOPS 12867710 HAS SOUS 5816163 HAS SOUPS 5816163 WITH SCORE 5829030.71
AT ITER 4251 NEW BEST:: SOT 27533019 SOS 12864861 HAS SOPS 12864861 HAS SOUS 5816162 HAS SOUPS 5816162 WITH SCORE 5829026.861
AT ITER 4273 NEW BEST:: SOT 27529747 SOS 12858315 HAS SOPS 12858315 HAS SOUS 5816158 HAS SOUPS 5816158 WITH SCORE 5829016.315
AT ITER 4276 NEW BEST:: SOT 27528322 SOS 12855940 HAS SOPS 12855940 HAS SOUS 5815683 HAS SOUPS 5815683 WITH SCORE 5828538.94
AT ITER 4277 NEW BEST:: SOT 27528306 SOS 12855908 HAS SOPS 12855908 HAS SOUS 5815683 HAS SOUPS 5815683 WITH SCORE 5828538.908
AT ITER 4281 NEW BEST:: SOT 27527848 SOS 12854992 HAS SOPS 12854992 HAS SOUS 5815683 HAS SOUPS 5815683 WITH SCORE 5828537.992
AT ITER 4290 NEW BEST:: SOT 27527026 SOS 12853622 HAS SOPS 12853622 HAS SOUS 5815409 HAS SOUPS 5815409 WITH SCORE 5828262.622
AT ITER 4303 NEW BEST:: SOT 27525846 SOS 12851262 HAS SOPS 12851262 HAS SOUS 5815409 HAS SOUPS 5815409 WITH SCORE 5828260.262
AT ITER 4305 NEW BEST:: SOT 27521284 SOS 12842137 HAS SOPS 12842137 HAS SOUS 5815408 HAS SOUPS 5815408 WITH SCORE 5828250.137
AT ITER 4309 NEW BEST:: SOT 27521022 SOS 12841351 HAS SOPS 12841351 HAS SOUS 5815408 HAS SOUPS 5815408 WITH SCORE 5828249.351
AT ITER 4325 NEW BEST:: SOT 27520106 SOS 12839519 HAS SOPS 12839519 HAS SOUS 5815408 HAS SOUPS 5815408 WITH SCORE 5828247.519
AT ITER 4340 NEW BEST:: SOT 27519280 SOS 12837867 HAS SOPS 12837867 HAS SOUS 5815408 HAS SOUPS 5815408 WITH SCORE 5828245.867
AT ITER 4342 NEW BEST:: SOT 27519660 SOS 12837691 HAS SOPS 12837691 HAS SOUS 5814836 HAS SOUPS 5814836 WITH SCORE 5827673.691
AT ITER 4355 NEW BEST:: SOT 27515208 SOS 12827418 HAS SOPS 12827418 HAS SOUS 5813957 HAS SOUPS 5813957 WITH SCORE 5826784.418
AT ITER 4368 NEW BEST:: SOT 27512938 SOS 12822876 HAS SOPS 12822876 HAS SOUS 5813953 HAS SOUPS 5813953 WITH SCORE 5826775.876
AT ITER 4371 NEW BEST:: SOT 27506846 SOS 12811654 HAS SOPS 12811654 HAS SOUS 5812985 HAS SOUPS 5812985 WITH SCORE 5825796.654
AT ITER 4416 NEW BEST:: SOT 27506138 SOS 12809884 HAS SOPS 12809884 HAS SOUS 5812631 HAS SOUPS 5812631 WITH SCORE 5825440.884
AT ITER 4423 NEW BEST:: SOT 27502170 SOS 12801948 HAS SOPS 12801948 HAS SOUS 5812631 HAS SOUPS 5812631 WITH SCORE 5825432.948
AT ITER 4432 NEW BEST:: SOT 27501884 SOS 12801233 HAS SOPS 12801233 HAS SOUS 5812488 HAS SOUPS 5812488 WITH SCORE 5825289.233
AT ITER 4434 NEW BEST:: SOT 27500686 SOS 12798835 HAS SOPS 12798835 HAS SOUS 5812484 HAS SOUPS 5812484 WITH SCORE 5825282.835
AT ITER 4453 NEW BEST:: SOT 27498390 SOS 12794242 HAS SOPS 12794242 HAS SOUS 5812483 HAS SOUPS 5812483 WITH SCORE 5825277.242
AT ITER 4455 NEW BEST:: SOT 27498390 SOS 12794078 HAS SOPS 12794078 HAS SOUS 5812315 HAS SOUPS 5812315 WITH SCORE 5825109.078
AT ITER 4465 NEW BEST:: SOT 27498390 SOS 12794025 HAS SOPS 12794025 HAS SOUS 5810758 HAS SOUPS 5810758 WITH SCORE 5823552.025
AT ITER 4469 NEW BEST:: SOT 27497126 SOS 12790955 HAS SOPS 12790955 HAS SOUS 5810208 HAS SOUPS 5810208 WITH SCORE 5822998.955
AT ITER 4477 NEW BEST:: SOT 27495070 SOS 12786843 HAS SOPS 12786843 HAS SOUS 5810208 HAS SOUPS 5810208 WITH SCORE 5822994.843
AT ITER 4483 NEW BEST:: SOT 27490880 SOS 12778463 HAS SOPS 12778463 HAS SOUS 5810208 HAS SOUPS 5810208 WITH SCORE 5822986.463
AT ITER 4485 NEW BEST:: SOT 27483784 SOS 12766922 HAS SOPS 12766922 HAS SOUS 5809011 HAS SOUPS 5809011 WITH SCORE 5821777.922
AT ITER 4495 NEW BEST:: SOT 27482395 SOS 12761955 HAS SOPS 12761955 HAS SOUS 5806547 HAS SOUPS 5806547 WITH SCORE 5819308.955
AT ITER 4510 NEW BEST:: SOT 27481911 SOS 12760985 HAS SOPS 12760985 HAS SOUS 5806543 HAS SOUPS 5806543 WITH SCORE 5819303.985
AT ITER 4511 NEW BEST:: SOT 27480900 SOS 12758963 HAS SOPS 12758963 HAS SOUS 5806544 HAS SOUPS 5806544 WITH SCORE 5819302.963
AT ITER 4517 NEW BEST:: SOT 27477242 SOS 12751645 HAS SOPS 12751645 HAS SOUS 5806540 HAS SOUPS 5806540 WITH SCORE 5819291.645
AT ITER 4523 NEW BEST:: SOT 27473465 SOS 12743489 HAS SOPS 12743489 HAS SOUS 5806310 HAS SOUPS 5806310 WITH SCORE 5819053.489
AT ITER 4534 NEW BEST:: SOT 27469405 SOS 12733778 HAS SOPS 12733778 HAS SOUS 5804719 HAS SOUPS 5804719 WITH SCORE 5817452.778
AT ITER 4536 NEW BEST:: SOT 27469231 SOS 12733430 HAS SOPS 12733430 HAS SOUS 5804719 HAS SOUPS 5804719 WITH SCORE 5817452.43
AT ITER 4540 NEW BEST:: SOT 27469161 SOS 12733288 HAS SOPS 12733288 HAS SOUS 5804715 HAS SOUPS 5804715 WITH SCORE 5817448.288
AT ITER 4564 NEW BEST:: SOT 27465058 SOS 12724229 HAS SOPS 12724229 HAS SOUS 5804574 HAS SOUPS 5804574 WITH SCORE 5817298.229
AT ITER 4572 NEW BEST:: SOT 27466426 SOS 12726965 HAS SOPS 12726965 HAS SOUS 5804188 HAS SOUPS 5804188 WITH SCORE 5816914.965
AT ITER 4592 NEW BEST:: SOT 27465220 SOS 12724469 HAS SOPS 12724469 HAS SOUS 5804104 HAS SOUPS 5804104 WITH SCORE 5816828.469
AT ITER 4600 NEW BEST:: SOT 27460106 SOS 12714241 HAS SOPS 12714241 HAS SOUS 5804104 HAS SOUPS 5804104 WITH SCORE 5816818.241
AT ITER 4605 NEW BEST:: SOT 27452949 SOS 12701976 HAS SOPS 12701976 HAS SOUS 5802269 HAS SOUPS 5802269 WITH SCORE 5814970.976
AT ITER 4606 NEW BEST:: SOT 27452975 SOS 12702038 HAS SOPS 12702038 HAS SOUS 5802253 HAS SOUPS 5802253 WITH SCORE 5814955.038
AT ITER 4631 NEW BEST:: SOT 27450139 SOS 12696366 HAS SOPS 12696366 HAS SOUS 5802253 HAS SOUPS 5802253 WITH SCORE 5814949.366
AT ITER 4638 NEW BEST:: SOT 27447153 SOS 12690393 HAS SOPS 12690393 HAS SOUS 5802252 HAS SOUPS 5802252 WITH SCORE 5814942.393
AT ITER 4675 NEW BEST:: SOT 27445238 SOS 12686170 HAS SOPS 12686170 HAS SOUS 5802158 HAS SOUPS 5802158 WITH SCORE 5814844.17
AT ITER 4678 NEW BEST:: SOT 27445199 SOS 12686092 HAS SOPS 12686092 HAS SOUS 5802119 HAS SOUPS 5802119 WITH SCORE 5814805.092
AT ITER 4689 NEW BEST:: SOT 27443937 SOS 12682937 HAS SOPS 12682937 HAS SOUS 5801488 HAS SOUPS 5801488 WITH SCORE 5814170.937
AT ITER 4692 NEW BEST:: SOT 27443635 SOS 12682333 HAS SOPS 12682333 HAS SOUS 5801186 HAS SOUPS 5801186 WITH SCORE 5813868.333
AT ITER 4696 NEW BEST:: SOT 27442101 SOS 12678878 HAS SOPS 12678878 HAS SOUS 5800799 HAS SOUPS 5800799 WITH SCORE 5813477.878
AT ITER 4709 NEW BEST:: SOT 27440027 SOS 12673693 HAS SOPS 12673693 HAS SOUS 5799762 HAS SOUPS 5799762 WITH SCORE 5812435.693
AT ITER 4717 NEW BEST:: SOT 27436699 SOS 12666306 HAS SOPS 12666306 HAS SOUS 5799369 HAS SOUPS 5799369 WITH SCORE 5812035.306
AT ITER 4721 NEW BEST:: SOT 27435773 SOS 12664452 HAS SOPS 12664452 HAS SOUS 5799365 HAS SOUPS 5799365 WITH SCORE 5812029.452
AT ITER 4727 NEW BEST:: SOT 27435335 SOS 12663576 HAS SOPS 12663576 HAS SOUS 5799365 HAS SOUPS 5799365 WITH SCORE 5812028.576
AT ITER 4734 NEW BEST:: SOT 27430520 SOS 12652131 HAS SOPS 12652131 HAS SOUS 5798089 HAS SOUPS 5798089 WITH SCORE 5810741.131
AT ITER 4758 NEW BEST:: SOT 27430168 SOS 12650677 HAS SOPS 12650677 HAS SOUS 5797946 HAS SOUPS 5797946 WITH SCORE 5810596.677
AT ITER 4765 NEW BEST:: SOT 27429868 SOS 12650076 HAS SOPS 12650076 HAS SOUS 5797945 HAS SOUPS 5797945 WITH SCORE 5810595.076
AT ITER 4767 NEW BEST:: SOT 27429766 SOS 12649872 HAS SOPS 12649872 HAS SOUS 5797843 HAS SOUPS 5797843 WITH SCORE 5810492.872
AT ITER 4778 NEW BEST:: SOT 27425200 SOS 12640740 HAS SOPS 12640740 HAS SOUS 5797843 HAS SOUPS 5797843 WITH SCORE 5810483.74
AT ITER 4781 NEW BEST:: SOT 27424384 SOS 12639073 HAS SOPS 12639073 HAS SOUS 5797808 HAS SOUPS 5797808 WITH SCORE 5810447.073
AT ITER 4795 NEW BEST:: SOT 27422760 SOS 12635447 HAS SOPS 12635447 HAS SOUS 5797426 HAS SOUPS 5797426 WITH SCORE 5810061.447
AT ITER 4822 NEW BEST:: SOT 27421084 SOS 12629687 HAS SOPS 12629687 HAS SOUS 5795781 HAS SOUPS 5795781 WITH SCORE 5808410.687
AT ITER 4833 NEW BEST:: SOT 27419520 SOS 12626559 HAS SOPS 12626559 HAS SOUS 5795781 HAS SOUPS 5795781 WITH SCORE 5808407.559
AT ITER 4837 NEW BEST:: SOT 27417841 SOS 12624029 HAS SOPS 12624029 HAS SOUS 5795773 HAS SOUPS 5795773 WITH SCORE 5808397.029
AT ITER 4849 NEW BEST:: SOT 27413891 SOS 12616127 HAS SOPS 12616127 HAS SOUS 5795769 HAS SOUPS 5795769 WITH SCORE 5808385.127
AT ITER 4860 NEW BEST:: SOT 27413732 SOS 12615967 HAS SOPS 12615967 HAS SOUS 5795605 HAS SOUPS 5795605 WITH SCORE 5808220.967
AT ITER 4866 NEW BEST:: SOT 27413702 SOS 12615907 HAS SOPS 12615907 HAS SOUS 5795605 HAS SOUPS 5795605 WITH SCORE 5808220.907
AT ITER 4871 NEW BEST:: SOT 27410976 SOS 12610454 HAS SOPS 12610454 HAS SOUS 5795604 HAS SOUPS 5795604 WITH SCORE 5808214.454
AT ITER 4875 NEW BEST:: SOT 27407932 SOS 12603808 HAS SOPS 12603808 HAS SOUS 5794884 HAS SOUPS 5794884 WITH SCORE 5807487.808
AT ITER 4891 NEW BEST:: SOT 27407415 SOS 12601808 HAS SOPS 12601808 HAS SOUS 5793918 HAS SOUPS 5793918 WITH SCORE 5806519.808
AT ITER 4922 NEW BEST:: SOT 27404661 SOS 12597217 HAS SOPS 12597217 HAS SOUS 5792999 HAS SOUPS 5792999 WITH SCORE 5805596.217
AT ITER 4926 NEW BEST:: SOT 27404661 SOS 12597020 HAS SOPS 12597020 HAS SOUS 5792802 HAS SOUPS 5792802 WITH SCORE 5805399.02
AT ITER 4930 NEW BEST:: SOT 27400158 SOS 12587641 HAS SOPS 12587641 HAS SOUS 5792438 HAS SOUPS 5792438 WITH SCORE 5805025.641
AT ITER 4931 NEW BEST:: SOT 27400034 SOS 12587393 HAS SOPS 12587393 HAS SOUS 5792314 HAS SOUPS 5792314 WITH SCORE 5804901.393
AT ITER 4937 NEW BEST:: SOT 27396430 SOS 12580183 HAS SOPS 12580183 HAS SOUS 5792310 HAS SOUPS 5792310 WITH SCORE 5804890.183
AT ITER 4954 NEW BEST:: SOT 27393007 SOS 12571627 HAS SOPS 12571627 HAS SOUS 5790596 HAS SOUPS 5790596 WITH SCORE 5803167.627
AT ITER 4994 NEW BEST:: SOT 27389985 SOS 12564084 HAS SOPS 12564084 HAS SOUS 5787489 HAS SOUPS 5787489 WITH SCORE 5800053.084
AT ITER 4998 NEW BEST:: SOT 27389985 SOS 12564083 HAS SOPS 12564083 HAS SOUS 5787488 HAS SOUPS 5787488 WITH SCORE 5800052.083
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-00 (EF((! potential( (tk(P2499)) <= (tk(P4154)) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-01 (EG( ( (AG( potential( ( 1 ) <= (tk(P1842)) ))) | ( potential( (tk(P3576)) <= (tk(P3494)) ) & potential( ( 2 ) <= (tk(P4484)) ) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-02 (EG( potential( (tk(P3707)) <= (tk(P3769)) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-03 ( (AU( ( potential( (tk(P896)) <= (tk(P2641)) ) | potential( ( 2 ) <= (tk(P5338)) ) ),( potential( ( 2 ) <= (tk(P1459)) ) & potential( (tk(P2597)) <= (tk(P2620)) ) ) )) | (! potential( ( 1 ) <= (tk(P1721)) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-04 (AU( potential( (tk(P71)) <= (tk(P589)) ),( (! potential( (tk(P5453)) <= (tk(P3162)) )) | (! potential( ( 1 ) <= (tk(P2927)) )) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-05 (AF((AU( potential( ( 3 ) <= (tk(P3883)) ),potential( ( 3 ) <= (tk(P4785)) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-06 (EU( ( (! potential( ( 3 ) <= (tk(P4533)) )) & ( potential( (tk(P309)) <= (tk(P1617)) ) | potential( (tk(P2284)) <= (tk(P2888)) ) ) ),( ( potential( ( 1 ) <= (tk(P1017)) ) | potential( ( 1 ) <= (tk(P1391)) ) ) & potential( ( 2 ) <= (tk(P5289)) ) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-07 ( ( potential( ( 2 ) <= (tk(P4329)) ) & potential( (tk(P4692)) <= (tk(P3125)) ) ) | (EX( (EF(potential( ( 3 ) <= (tk(P4758)) ))))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-08 (EG( (EF((! potential( (tk(P4755)) <= (tk(P2605)) ))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-09 (! (AF(potential( ( 2 ) <= (tk(P1595)) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-10 (EU( potential( (tk(P2576)) <= (tk(P4209)) ),potential( ( 1 ) <= (tk(P3258)) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-11 ( (! (AX( (! potential( (tk(P1971)) <= (tk(P1096)) ))))) | (EF(( ( potential( (tk(P2232)) <= (tk(P2069)) ) | potential( (tk(P929)) <= (tk(P924)) ) ) & potential( (tk(P1919)) <= (tk(P5378)) ) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-12 ( (AF((EX( potential( ( 2 ) <= (tk(P5278)) ))))) & ( ( ( ( potential( ( 2 ) <= (tk(P5376)) ) | potential( ( 3 ) <= (tk(P4560)) ) ) | (! potential( ( 3 ) <= (tk(P571)) )) ) | (AF(potential( ( 1 ) <= (tk(P4063)) ))) ) | ( potential( ( 3 ) <= (tk(P1985)) ) & ( ( potential( (tk(P4123)) <= (tk(P1143)) ) & potential( ( 3 ) <= (tk(P2814)) ) ) | ( potential( (tk(P3980)) <= (tk(P4187)) ) & potential( (tk(P3635)) <= (tk(P3406)) ) ) ) ) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-13 (AX( (AF(( potential( ( 3 ) <= (tk(P2869)) ) & potential( ( 3 ) <= (tk(P3401)) ) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-14 ( (EU( ( potential( (tk(P4177)) <= (tk(P2862)) ) & potential( (tk(P5052)) <= (tk(P1794)) ) ),potential( (tk(P4250)) <= (tk(P1483)) ) )) | potential( (tk(P4689)) <= (tk(P3946)) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLCardinality-15 ( (EG( (AX( potential( ( 3 ) <= (tk(P2851)) ))))) | (! (EF((! potential( (tk(P1318)) <= (tk(P2223)) ))))) )

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="ViralEpidemic-PT-S03D1C1A06"
export BK_EXAMINATION="CTLCardinality"
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 ViralEpidemic-PT-S03D1C1A06, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538900507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ViralEpidemic-PT-S03D1C1A06.tgz
mv ViralEpidemic-PT-S03D1C1A06 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;