fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538900508
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.730 3600000.00 3597030.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-159033538900508.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900508
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A06-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590473532030

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A06
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 4 NEW BEST:: SOT 28814472 SOS 15529457 HAS SOPS 15529457 HAS SOUS 6011779 HAS SOUPS 6011779 WITH SCORE 6027308.457
AT ITER 8 NEW BEST:: SOT 28810366 SOS 15521243 HAS SOPS 15521243 HAS SOUS 6011775 HAS SOUPS 6011775 WITH SCORE 6027296.243
AT ITER 17 NEW BEST:: SOT 28807320 SOS 15515150 HAS SOPS 15515150 HAS SOUS 6011774 HAS SOUPS 6011774 WITH SCORE 6027289.15
AT ITER 23 NEW BEST:: SOT 28803464 SOS 15507436 HAS SOPS 15507436 HAS SOUS 6011770 HAS SOUPS 6011770 WITH SCORE 6027277.436
AT ITER 27 NEW BEST:: SOT 28802796 SOS 15506099 HAS SOPS 15506099 HAS SOUS 6011769 HAS SOUPS 6011769 WITH SCORE 6027275.099
AT ITER 31 NEW BEST:: SOT 28798784 SOS 15498073 HAS SOPS 15498073 HAS SOUS 6011765 HAS SOUPS 6011765 WITH SCORE 6027263.073
AT ITER 32 NEW BEST:: SOT 28795458 SOS 15491421 HAS SOPS 15491421 HAS SOUS 6011765 HAS SOUPS 6011765 WITH SCORE 6027256.421
AT ITER 44 NEW BEST:: SOT 28788623 SOS 15480531 HAS SOPS 15480531 HAS SOUS 6010865 HAS SOUPS 6010865 WITH SCORE 6026345.531
AT ITER 50 NEW BEST:: SOT 28784079 SOS 15471442 HAS SOPS 15471442 HAS SOUS 6010864 HAS SOUPS 6010864 WITH SCORE 6026335.442
AT ITER 55 NEW BEST:: SOT 28782233 SOS 15467749 HAS SOPS 15467749 HAS SOUS 6010863 HAS SOUPS 6010863 WITH SCORE 6026330.749
AT ITER 56 NEW BEST:: SOT 28778219 SOS 15459719 HAS SOPS 15459719 HAS SOUS 6010859 HAS SOUPS 6010859 WITH SCORE 6026318.719
AT ITER 59 NEW BEST:: SOT 28775483 SOS 15454247 HAS SOPS 15454247 HAS SOUS 6010859 HAS SOUPS 6010859 WITH SCORE 6026313.247
AT ITER 63 NEW BEST:: SOT 28772267 SOS 15447815 HAS SOPS 15447815 HAS SOUS 6010859 HAS SOUPS 6010859 WITH SCORE 6026306.815
AT ITER 69 NEW BEST:: SOT 28770807 SOS 15444894 HAS SOPS 15444894 HAS SOUS 6010858 HAS SOUPS 6010858 WITH SCORE 6026302.894
AT ITER 73 NEW BEST:: SOT 28769275 SOS 15441828 HAS SOPS 15441828 HAS SOUS 6010854 HAS SOUPS 6010854 WITH SCORE 6026295.828
AT ITER 80 NEW BEST:: SOT 28766827 SOS 15436932 HAS SOPS 15436932 HAS SOUS 6010854 HAS SOUPS 6010854 WITH SCORE 6026290.932
AT ITER 85 NEW BEST:: SOT 28763127 SOS 15429530 HAS SOPS 15429530 HAS SOUS 6010850 HAS SOUPS 6010850 WITH SCORE 6026279.53
AT ITER 97 NEW BEST:: SOT 28759881 SOS 15423038 HAS SOPS 15423038 HAS SOUS 6010850 HAS SOUPS 6010850 WITH SCORE 6026273.038
AT ITER 100 NEW BEST:: SOT 28756343 SOS 15415961 HAS SOPS 15415961 HAS SOUS 6010849 HAS SOUPS 6010849 WITH SCORE 6026264.961
AT ITER 106 NEW BEST:: SOT 28752699 SOS 15408673 HAS SOPS 15408673 HAS SOUS 6010849 HAS SOUPS 6010849 WITH SCORE 6026257.673
AT ITER 110 NEW BEST:: SOT 28752699 SOS 15408671 HAS SOPS 15408671 HAS SOUS 6010845 HAS SOUPS 6010845 WITH SCORE 6026253.671
AT ITER 116 NEW BEST:: SOT 28749743 SOS 15402759 HAS SOPS 15402759 HAS SOUS 6010845 HAS SOUPS 6010845 WITH SCORE 6026247.759
AT ITER 131 NEW BEST:: SOT 28747225 SOS 15397721 HAS SOPS 15397721 HAS SOUS 6010841 HAS SOUPS 6010841 WITH SCORE 6026238.721
AT ITER 158 NEW BEST:: SOT 28746351 SOS 15395972 HAS SOPS 15395972 HAS SOUS 6010840 HAS SOUPS 6010840 WITH SCORE 6026235.972
AT ITER 174 NEW BEST:: SOT 28743533 SOS 15390335 HAS SOPS 15390335 HAS SOUS 6010839 HAS SOUPS 6010839 WITH SCORE 6026229.335
AT ITER 189 NEW BEST:: SOT 28741899 SOS 15387065 HAS SOPS 15387065 HAS SOUS 6010835 HAS SOUPS 6010835 WITH SCORE 6026222.065
AT ITER 196 NEW BEST:: SOT 28737927 SOS 15379119 HAS SOPS 15379119 HAS SOUS 6010831 HAS SOUPS 6010831 WITH SCORE 6026210.119
AT ITER 197 NEW BEST:: SOT 28735583 SOS 15374429 HAS SOPS 15374429 HAS SOUS 6010827 HAS SOUPS 6010827 WITH SCORE 6026201.429
AT ITER 198 NEW BEST:: SOT 28732388 SOS 15366669 HAS SOPS 15366669 HAS SOUS 6009696 HAS SOUPS 6009696 WITH SCORE 6025062.669
AT ITER 234 NEW BEST:: SOT 28729538 SOS 15360968 HAS SOPS 15360968 HAS SOUS 6009695 HAS SOUPS 6009695 WITH SCORE 6025055.968
AT ITER 243 NEW BEST:: SOT 28727120 SOS 15356132 HAS SOPS 15356132 HAS SOUS 6009695 HAS SOUPS 6009695 WITH SCORE 6025051.132
AT ITER 246 NEW BEST:: SOT 28723538 SOS 15348967 HAS SOPS 15348967 HAS SOUS 6009694 HAS SOUPS 6009694 WITH SCORE 6025042.967
AT ITER 250 NEW BEST:: SOT 28720202 SOS 15342294 HAS SOPS 15342294 HAS SOUS 6009693 HAS SOUPS 6009693 WITH SCORE 6025035.294
AT ITER 251 NEW BEST:: SOT 28717472 SOS 15336833 HAS SOPS 15336833 HAS SOUS 6009692 HAS SOUPS 6009692 WITH SCORE 6025028.833
AT ITER 256 NEW BEST:: SOT 28717210 SOS 15336307 HAS SOPS 15336307 HAS SOUS 6009688 HAS SOUPS 6009688 WITH SCORE 6025024.307
AT ITER 267 NEW BEST:: SOT 28717177 SOS 15336250 HAS SOPS 15336250 HAS SOUS 6009673 HAS SOUPS 6009673 WITH SCORE 6025009.25
AT ITER 279 NEW BEST:: SOT 28713847 SOS 15329589 HAS SOPS 15329589 HAS SOUS 6009672 HAS SOUPS 6009672 WITH SCORE 6025001.589
AT ITER 281 NEW BEST:: SOT 28712159 SOS 15326213 HAS SOPS 15326213 HAS SOUS 6009672 HAS SOUPS 6009672 WITH SCORE 6024998.213
AT ITER 285 NEW BEST:: SOT 28710065 SOS 15321210 HAS SOPS 15321210 HAS SOUS 6008857 HAS SOUPS 6008857 WITH SCORE 6024178.21
AT ITER 293 NEW BEST:: SOT 28706963 SOS 15315005 HAS SOPS 15315005 HAS SOUS 6008856 HAS SOUPS 6008856 WITH SCORE 6024171.005
AT ITER 311 NEW BEST:: SOT 28706465 SOS 15314009 HAS SOPS 15314009 HAS SOUS 6008856 HAS SOUPS 6008856 WITH SCORE 6024170.009
AT ITER 321 NEW BEST:: SOT 28700160 SOS 15304186 HAS SOPS 15304186 HAS SOUS 6008626 HAS SOUPS 6008626 WITH SCORE 6023930.186
AT ITER 329 NEW BEST:: SOT 28696208 SOS 15296281 HAS SOPS 15296281 HAS SOUS 6008625 HAS SOUPS 6008625 WITH SCORE 6023921.281
AT ITER 333 NEW BEST:: SOT 28695032 SOS 15293928 HAS SOPS 15293928 HAS SOUS 6008624 HAS SOUPS 6008624 WITH SCORE 6023917.928
AT ITER 338 NEW BEST:: SOT 28690728 SOS 15285320 HAS SOPS 15285320 HAS SOUS 6008624 HAS SOUPS 6008624 WITH SCORE 6023909.32
AT ITER 345 NEW BEST:: SOT 28686760 SOS 15277382 HAS SOPS 15277382 HAS SOUS 6008620 HAS SOUPS 6008620 WITH SCORE 6023897.382
AT ITER 353 NEW BEST:: SOT 28684568 SOS 15272998 HAS SOPS 15272998 HAS SOUS 6008620 HAS SOUPS 6008620 WITH SCORE 6023892.998
AT ITER 359 NEW BEST:: SOT 28677501 SOS 15261426 HAS SOPS 15261426 HAS SOUS 6007152 HAS SOUPS 6007152 WITH SCORE 6022413.426
AT ITER 360 NEW BEST:: SOT 28673657 SOS 15253736 HAS SOPS 15253736 HAS SOUS 6007148 HAS SOUPS 6007148 WITH SCORE 6022401.736
AT ITER 362 NEW BEST:: SOT 28669479 SOS 15245379 HAS SOPS 15245379 HAS SOUS 6007147 HAS SOUPS 6007147 WITH SCORE 6022392.379
AT ITER 379 NEW BEST:: SOT 28667879 SOS 15242178 HAS SOPS 15242178 HAS SOUS 6007146 HAS SOUPS 6007146 WITH SCORE 6022388.178
AT ITER 381 NEW BEST:: SOT 28663923 SOS 15234264 HAS SOPS 15234264 HAS SOUS 6007142 HAS SOUPS 6007142 WITH SCORE 6022376.264
AT ITER 391 NEW BEST:: SOT 28663689 SOS 15233796 HAS SOPS 15233796 HAS SOUS 6007142 HAS SOUPS 6007142 WITH SCORE 6022375.796
AT ITER 401 NEW BEST:: SOT 28662747 SOS 15231911 HAS SOPS 15231911 HAS SOUS 6007141 HAS SOUPS 6007141 WITH SCORE 6022372.911
AT ITER 403 NEW BEST:: SOT 28659829 SOS 15226073 HAS SOPS 15226073 HAS SOUS 6007137 HAS SOUPS 6007137 WITH SCORE 6022363.073
AT ITER 426 NEW BEST:: SOT 28655681 SOS 15217776 HAS SOPS 15217776 HAS SOUS 6007136 HAS SOUPS 6007136 WITH SCORE 6022353.776
AT ITER 431 NEW BEST:: SOT 28652213 SOS 15210839 HAS SOPS 15210839 HAS SOUS 6007135 HAS SOUPS 6007135 WITH SCORE 6022345.839
AT ITER 434 NEW BEST:: SOT 28648157 SOS 15202725 HAS SOPS 15202725 HAS SOUS 6007131 HAS SOUPS 6007131 WITH SCORE 6022333.725
AT ITER 439 NEW BEST:: SOT 28643813 SOS 15194037 HAS SOPS 15194037 HAS SOUS 6007131 HAS SOUPS 6007131 WITH SCORE 6022325.037
AT ITER 445 NEW BEST:: SOT 28641263 SOS 15188937 HAS SOPS 15188937 HAS SOUS 6007131 HAS SOUPS 6007131 WITH SCORE 6022319.937
AT ITER 452 NEW BEST:: SOT 28639937 SOS 15186285 HAS SOPS 15186285 HAS SOUS 6007131 HAS SOUPS 6007131 WITH SCORE 6022317.285
AT ITER 454 NEW BEST:: SOT 28638553 SOS 15183516 HAS SOPS 15183516 HAS SOUS 6007130 HAS SOUPS 6007130 WITH SCORE 6022313.516
AT ITER 460 NEW BEST:: SOT 28636101 SOS 15178612 HAS SOPS 15178612 HAS SOUS 6007130 HAS SOUPS 6007130 WITH SCORE 6022308.612
AT ITER 461 NEW BEST:: SOT 28631843 SOS 15168455 HAS SOPS 15168455 HAS SOUS 6006121 HAS SOUPS 6006121 WITH SCORE 6021289.455
AT ITER 462 NEW BEST:: SOT 28629395 SOS 15162335 HAS SOPS 15162335 HAS SOUS 6004893 HAS SOUPS 6004893 WITH SCORE 6020055.335
AT ITER 467 NEW BEST:: SOT 28622286 SOS 15150641 HAS SOPS 15150641 HAS SOUS 6003149 HAS SOUPS 6003149 WITH SCORE 6018299.641
AT ITER 469 NEW BEST:: SOT 28619028 SOS 15144124 HAS SOPS 15144124 HAS SOUS 6003148 HAS SOUPS 6003148 WITH SCORE 6018292.124
AT ITER 478 NEW BEST:: SOT 28617072 SOS 15139234 HAS SOPS 15139234 HAS SOUS 6002168 HAS SOUPS 6002168 WITH SCORE 6017307.234
AT ITER 510 NEW BEST:: SOT 28612936 SOS 15130961 HAS SOPS 15130961 HAS SOUS 6002167 HAS SOUPS 6002167 WITH SCORE 6017297.961
AT ITER 525 NEW BEST:: SOT 28607960 SOS 15119083 HAS SOPS 15119083 HAS SOUS 6000241 HAS SOUPS 6000241 WITH SCORE 6015360.083
AT ITER 528 NEW BEST:: SOT 28604628 SOS 15112419 HAS SOPS 15112419 HAS SOUS 6000241 HAS SOUPS 6000241 WITH SCORE 6015353.419
AT ITER 531 NEW BEST:: SOT 28604408 SOS 15111978 HAS SOPS 15111978 HAS SOUS 6000240 HAS SOUPS 6000240 WITH SCORE 6015351.978
AT ITER 538 NEW BEST:: SOT 28599922 SOS 15103006 HAS SOPS 15103006 HAS SOUS 6000240 HAS SOUPS 6000240 WITH SCORE 6015343.006
AT ITER 539 NEW BEST:: SOT 28593780 SOS 15092598 HAS SOPS 15092598 HAS SOUS 6000112 HAS SOUPS 6000112 WITH SCORE 6015204.598
AT ITER 543 NEW BEST:: SOT 28593414 SOS 15091866 HAS SOPS 15091866 HAS SOUS 6000112 HAS SOUPS 6000112 WITH SCORE 6015203.866
AT ITER 551 NEW BEST:: SOT 28592280 SOS 15089597 HAS SOPS 15089597 HAS SOUS 6000111 HAS SOUPS 6000111 WITH SCORE 6015200.597
AT ITER 555 NEW BEST:: SOT 28591440 SOS 15087915 HAS SOPS 15087915 HAS SOUS 6000107 HAS SOUPS 6000107 WITH SCORE 6015194.915
AT ITER 556 NEW BEST:: SOT 28587004 SOS 15079043 HAS SOPS 15079043 HAS SOUS 6000107 HAS SOUPS 6000107 WITH SCORE 6015186.043
AT ITER 580 NEW BEST:: SOT 28584748 SOS 15074529 HAS SOPS 15074529 HAS SOUS 6000103 HAS SOUPS 6000103 WITH SCORE 6015177.529
AT ITER 593 NEW BEST:: SOT 28581952 SOS 15068935 HAS SOPS 15068935 HAS SOUS 6000099 HAS SOUPS 6000099 WITH SCORE 6015167.935
AT ITER 625 NEW BEST:: SOT 28579608 SOS 15064247 HAS SOPS 15064247 HAS SOUS 6000099 HAS SOUPS 6000099 WITH SCORE 6015163.247
AT ITER 631 NEW BEST:: SOT 28575456 SOS 15055942 HAS SOPS 15055942 HAS SOUS 6000098 HAS SOUPS 6000098 WITH SCORE 6015153.942
AT ITER 632 NEW BEST:: SOT 28571782 SOS 15048593 HAS SOPS 15048593 HAS SOUS 6000097 HAS SOUPS 6000097 WITH SCORE 6015145.593
AT ITER 634 NEW BEST:: SOT 28569100 SOS 15043228 HAS SOPS 15043228 HAS SOUS 6000096 HAS SOUPS 6000096 WITH SCORE 6015139.228
AT ITER 640 NEW BEST:: SOT 28564536 SOS 15034099 HAS SOPS 15034099 HAS SOUS 6000095 HAS SOUPS 6000095 WITH SCORE 6015129.099
AT ITER 643 NEW BEST:: SOT 28560908 SOS 15026842 HAS SOPS 15026842 HAS SOUS 6000094 HAS SOUPS 6000094 WITH SCORE 6015120.842
AT ITER 648 NEW BEST:: SOT 28556514 SOS 15018052 HAS SOPS 15018052 HAS SOUS 6000090 HAS SOUPS 6000090 WITH SCORE 6015108.052
AT ITER 655 NEW BEST:: SOT 28555898 SOS 15016819 HAS SOPS 15016819 HAS SOUS 6000089 HAS SOUPS 6000089 WITH SCORE 6015105.819
AT ITER 657 NEW BEST:: SOT 28553350 SOS 15011723 HAS SOPS 15011723 HAS SOUS 6000089 HAS SOUPS 6000089 WITH SCORE 6015100.723
AT ITER 658 NEW BEST:: SOT 28550286 SOS 15005594 HAS SOPS 15005594 HAS SOUS 6000088 HAS SOUPS 6000088 WITH SCORE 6015093.594
AT ITER 665 NEW BEST:: SOT 28549492 SOS 15004004 HAS SOPS 15004004 HAS SOUS 6000084 HAS SOUPS 6000084 WITH SCORE 6015088.004
AT ITER 666 NEW BEST:: SOT 28546470 SOS 14997958 HAS SOPS 14997958 HAS SOUS 6000080 HAS SOUPS 6000080 WITH SCORE 6015077.958
AT ITER 680 NEW BEST:: SOT 28545406 SOS 14995829 HAS SOPS 14995829 HAS SOUS 6000079 HAS SOUPS 6000079 WITH SCORE 6015074.829
AT ITER 699 NEW BEST:: SOT 28538803 SOS 14985214 HAS SOPS 14985214 HAS SOUS 5999840 HAS SOUPS 5999840 WITH SCORE 6014825.214
AT ITER 707 NEW BEST:: SOT 28536707 SOS 14981021 HAS SOPS 14981021 HAS SOUS 5999839 HAS SOUPS 5999839 WITH SCORE 6014820.021
AT ITER 709 NEW BEST:: SOT 28534141 SOS 14975888 HAS SOPS 14975888 HAS SOUS 5999838 HAS SOUPS 5999838 WITH SCORE 6014813.888
AT ITER 715 NEW BEST:: SOT 28530319 SOS 14968244 HAS SOPS 14968244 HAS SOUS 5999838 HAS SOUPS 5999838 WITH SCORE 6014806.244
AT ITER 725 NEW BEST:: SOT 28528225 SOS 14964056 HAS SOPS 14964056 HAS SOUS 5999838 HAS SOUPS 5999838 WITH SCORE 6014802.056
AT ITER 726 NEW BEST:: SOT 28523724 SOS 14953069 HAS SOPS 14953069 HAS SOUS 5998292 HAS SOUPS 5998292 WITH SCORE 6013245.069
AT ITER 728 NEW BEST:: SOT 28520944 SOS 14947509 HAS SOPS 14947509 HAS SOUS 5998292 HAS SOUPS 5998292 WITH SCORE 6013239.509
AT ITER 733 NEW BEST:: SOT 28518420 SOS 14942459 HAS SOPS 14942459 HAS SOUS 5998288 HAS SOUPS 5998288 WITH SCORE 6013230.459
AT ITER 760 NEW BEST:: SOT 28516032 SOS 14937683 HAS SOPS 14937683 HAS SOUS 5998288 HAS SOUPS 5998288 WITH SCORE 6013225.683
AT ITER 763 NEW BEST:: SOT 28513094 SOS 14931806 HAS SOPS 14931806 HAS SOUS 5998287 HAS SOUPS 5998287 WITH SCORE 6013218.806
AT ITER 770 NEW BEST:: SOT 28506303 SOS 14920894 HAS SOPS 14920894 HAS SOUS 5998067 HAS SOUPS 5998067 WITH SCORE 6012987.894
AT ITER 775 NEW BEST:: SOT 28504287 SOS 14916861 HAS SOPS 14916861 HAS SOUS 5998066 HAS SOUPS 5998066 WITH SCORE 6012982.861
AT ITER 779 NEW BEST:: SOT 28502513 SOS 14913312 HAS SOPS 14913312 HAS SOUS 5998065 HAS SOUPS 5998065 WITH SCORE 6012978.312
AT ITER 783 NEW BEST:: SOT 28502513 SOS 14913311 HAS SOPS 14913311 HAS SOUS 5998064 HAS SOUPS 5998064 WITH SCORE 6012977.311
AT ITER 788 NEW BEST:: SOT 28500035 SOS 14908354 HAS SOPS 14908354 HAS SOUS 5998063 HAS SOUPS 5998063 WITH SCORE 6012971.354
AT ITER 791 NEW BEST:: SOT 28498807 SOS 14905896 HAS SOPS 14905896 HAS SOUS 5998059 HAS SOUPS 5998059 WITH SCORE 6012964.896
AT ITER 797 NEW BEST:: SOT 28496131 SOS 14900542 HAS SOPS 14900542 HAS SOUS 5998055 HAS SOUPS 5998055 WITH SCORE 6012955.542
AT ITER 798 NEW BEST:: SOT 28493115 SOS 14894509 HAS SOPS 14894509 HAS SOUS 5998054 HAS SOUPS 5998054 WITH SCORE 6012948.509
AT ITER 802 NEW BEST:: SOT 28489231 SOS 14886741 HAS SOPS 14886741 HAS SOUS 5998054 HAS SOUPS 5998054 WITH SCORE 6012940.741
AT ITER 808 NEW BEST:: SOT 28484755 SOS 14877789 HAS SOPS 14877789 HAS SOUS 5998054 HAS SOUPS 5998054 WITH SCORE 6012931.789
AT ITER 812 NEW BEST:: SOT 28481399 SOS 14871075 HAS SOPS 14871075 HAS SOUS 5998050 HAS SOUPS 5998050 WITH SCORE 6012921.075
AT ITER 814 NEW BEST:: SOT 28478877 SOS 14866029 HAS SOPS 14866029 HAS SOUS 5998046 HAS SOUPS 5998046 WITH SCORE 6012912.029
AT ITER 826 NEW BEST:: SOT 28477797 SOS 14863868 HAS SOPS 14863868 HAS SOUS 5998045 HAS SOUPS 5998045 WITH SCORE 6012908.868
AT ITER 836 NEW BEST:: SOT 28472795 SOS 14853862 HAS SOPS 14853862 HAS SOUS 5998041 HAS SOUPS 5998041 WITH SCORE 6012894.862
AT ITER 839 NEW BEST:: SOT 28467875 SOS 14844020 HAS SOPS 14844020 HAS SOUS 5998037 HAS SOUPS 5998037 WITH SCORE 6012881.02
AT ITER 845 NEW BEST:: SOT 28465635 SOS 14839539 HAS SOPS 14839539 HAS SOUS 5998036 HAS SOUPS 5998036 WITH SCORE 6012875.539
AT ITER 847 NEW BEST:: SOT 28463149 SOS 14834566 HAS SOPS 14834566 HAS SOUS 5998035 HAS SOUPS 5998035 WITH SCORE 6012869.566
AT ITER 848 NEW BEST:: SOT 28459635 SOS 14826774 HAS SOPS 14826774 HAS SOUS 5997707 HAS SOUPS 5997707 WITH SCORE 6012533.774
AT ITER 854 NEW BEST:: SOT 28454483 SOS 14814230 HAS SOPS 14814230 HAS SOUS 5995465 HAS SOUPS 5995465 WITH SCORE 6010279.23
AT ITER 860 NEW BEST:: SOT 28453172 SOS 14812043 HAS SOPS 14812043 HAS SOUS 5995024 HAS SOUPS 5995024 WITH SCORE 6009836.043
AT ITER 872 NEW BEST:: SOT 28446167 SOS 14800881 HAS SOPS 14800881 HAS SOUS 5994882 HAS SOUPS 5994882 WITH SCORE 6009682.881
AT ITER 877 NEW BEST:: SOT 28443194 SOS 14793991 HAS SOPS 14793991 HAS SOUS 5994506 HAS SOUPS 5994506 WITH SCORE 6009299.991
AT ITER 897 NEW BEST:: SOT 28439180 SOS 14784836 HAS SOPS 14784836 HAS SOUS 5993763 HAS SOUPS 5993763 WITH SCORE 6008547.836
AT ITER 901 NEW BEST:: SOT 28436410 SOS 14779294 HAS SOPS 14779294 HAS SOUS 5993759 HAS SOUPS 5993759 WITH SCORE 6008538.294
AT ITER 903 NEW BEST:: SOT 28434058 SOS 14774589 HAS SOPS 14774589 HAS SOUS 5993758 HAS SOUPS 5993758 WITH SCORE 6008532.589
AT ITER 907 NEW BEST:: SOT 28433394 SOS 14773260 HAS SOPS 14773260 HAS SOUS 5993757 HAS SOUPS 5993757 WITH SCORE 6008530.26
AT ITER 911 NEW BEST:: SOT 28427795 SOS 14760087 HAS SOPS 14760087 HAS SOUS 5992495 HAS SOUPS 5992495 WITH SCORE 6007255.087
AT ITER 924 NEW BEST:: SOT 28425435 SOS 14755365 HAS SOPS 14755365 HAS SOUS 5992491 HAS SOUPS 5992491 WITH SCORE 6007246.365
AT ITER 935 NEW BEST:: SOT 28425435 SOS 14755314 HAS SOPS 14755314 HAS SOUS 5992440 HAS SOUPS 5992440 WITH SCORE 6007195.314
AT ITER 938 NEW BEST:: SOT 28422631 SOS 14749706 HAS SOPS 14749706 HAS SOUS 5992440 HAS SOUPS 5992440 WITH SCORE 6007189.706
AT ITER 942 NEW BEST:: SOT 28417756 SOS 14741926 HAS SOPS 14741926 HAS SOUS 5992377 HAS SOUPS 5992377 WITH SCORE 6007118.926
AT ITER 951 NEW BEST:: SOT 28417756 SOS 14741925 HAS SOPS 14741925 HAS SOUS 5992376 HAS SOUPS 5992376 WITH SCORE 6007117.925
AT ITER 962 NEW BEST:: SOT 28417172 SOS 14740757 HAS SOPS 14740757 HAS SOUS 5992376 HAS SOUPS 5992376 WITH SCORE 6007116.757
AT ITER 963 NEW BEST:: SOT 28414220 SOS 14734852 HAS SOPS 14734852 HAS SOUS 5992375 HAS SOUPS 5992375 WITH SCORE 6007109.852
AT ITER 967 NEW BEST:: SOT 28411403 SOS 14728022 HAS SOPS 14728022 HAS SOUS 5991396 HAS SOUPS 5991396 WITH SCORE 6006124.022
AT ITER 973 NEW BEST:: SOT 28407949 SOS 14721113 HAS SOPS 14721113 HAS SOUS 5991395 HAS SOUPS 5991395 WITH SCORE 6006116.113
AT ITER 980 NEW BEST:: SOT 28404775 SOS 14714763 HAS SOPS 14714763 HAS SOUS 5991391 HAS SOUPS 5991391 WITH SCORE 6006105.763
AT ITER 983 NEW BEST:: SOT 28404583 SOS 14714378 HAS SOPS 14714378 HAS SOUS 5991390 HAS SOUPS 5991390 WITH SCORE 6006104.378
AT ITER 990 NEW BEST:: SOT 28402695 SOS 14710601 HAS SOPS 14710601 HAS SOUS 5991389 HAS SOUPS 5991389 WITH SCORE 6006099.601
AT ITER 991 NEW BEST:: SOT 28397815 SOS 14700839 HAS SOPS 14700839 HAS SOUS 5991385 HAS SOUPS 5991385 WITH SCORE 6006085.839
AT ITER 994 NEW BEST:: SOT 28393341 SOS 14691889 HAS SOPS 14691889 HAS SOUS 5991381 HAS SOUPS 5991381 WITH SCORE 6006072.889
AT ITER 996 NEW BEST:: SOT 28390507 SOS 14686221 HAS SOPS 14686221 HAS SOUS 5991381 HAS SOUPS 5991381 WITH SCORE 6006067.221
AT ITER 999 NEW BEST:: SOT 28387959 SOS 14681125 HAS SOPS 14681125 HAS SOUS 5991381 HAS SOUPS 5991381 WITH SCORE 6006062.125
AT ITER 1001 NEW BEST:: SOT 28383795 SOS 14672796 HAS SOPS 14672796 HAS SOUS 5991380 HAS SOUPS 5991380 WITH SCORE 6006052.796
AT ITER 1014 NEW BEST:: SOT 28380873 SOS 14666952 HAS SOPS 14666952 HAS SOUS 5991380 HAS SOUPS 5991380 WITH SCORE 6006046.952
AT ITER 1020 NEW BEST:: SOT 28378601 SOS 14661272 HAS SOPS 14661272 HAS SOUS 5990242 HAS SOUPS 5990242 WITH SCORE 6004903.272
AT ITER 1024 NEW BEST:: SOT 28373397 SOS 14650863 HAS SOPS 14650863 HAS SOUS 5990241 HAS SOUPS 5990241 WITH SCORE 6004891.863
AT ITER 1026 NEW BEST:: SOT 28368231 SOS 14640531 HAS SOPS 14640531 HAS SOUS 5990241 HAS SOUPS 5990241 WITH SCORE 6004881.531
AT ITER 1033 NEW BEST:: SOT 28364781 SOS 14633629 HAS SOPS 14633629 HAS SOUS 5990237 HAS SOUPS 5990237 WITH SCORE 6004870.629
AT ITER 1042 NEW BEST:: SOT 28361129 SOS 14626324 HAS SOPS 14626324 HAS SOUS 5990236 HAS SOUPS 5990236 WITH SCORE 6004862.324
AT ITER 1055 NEW BEST:: SOT 28354674 SOS 14616040 HAS SOPS 14616040 HAS SOUS 5990019 HAS SOUPS 5990019 WITH SCORE 6004635.04
AT ITER 1058 NEW BEST:: SOT 28352984 SOS 14612660 HAS SOPS 14612660 HAS SOUS 5990019 HAS SOUPS 5990019 WITH SCORE 6004631.66
AT ITER 1059 NEW BEST:: SOT 28349902 SOS 14606496 HAS SOPS 14606496 HAS SOUS 5990019 HAS SOUPS 5990019 WITH SCORE 6004625.496
AT ITER 1060 NEW BEST:: SOT 28344205 SOS 14595232 HAS SOPS 14595232 HAS SOUS 5987988 HAS SOUPS 5987988 WITH SCORE 6002583.232
AT ITER 1064 NEW BEST:: SOT 28344205 SOS 14595231 HAS SOPS 14595231 HAS SOUS 5987987 HAS SOUPS 5987987 WITH SCORE 6002582.231
AT ITER 1067 NEW BEST:: SOT 28343367 SOS 14593553 HAS SOPS 14593553 HAS SOUS 5987983 HAS SOUPS 5987983 WITH SCORE 6002576.553
AT ITER 1072 NEW BEST:: SOT 28340317 SOS 14585928 HAS SOPS 14585928 HAS SOUS 5986454 HAS SOUPS 5986454 WITH SCORE 6001039.928
AT ITER 1073 NEW BEST:: SOT 28337579 SOS 14580450 HAS SOPS 14580450 HAS SOUS 5986450 HAS SOUPS 5986450 WITH SCORE 6001030.45
AT ITER 1074 NEW BEST:: SOT 28336307 SOS 14577906 HAS SOPS 14577906 HAS SOUS 5986450 HAS SOUPS 5986450 WITH SCORE 6001027.906
AT ITER 1077 NEW BEST:: SOT 28334259 SOS 14573810 HAS SOPS 14573810 HAS SOUS 5986450 HAS SOUPS 5986450 WITH SCORE 6001023.81
AT ITER 1100 NEW BEST:: SOT 28333413 SOS 14572117 HAS SOPS 14572117 HAS SOUS 5986449 HAS SOUPS 5986449 WITH SCORE 6001021.117
AT ITER 1105 NEW BEST:: SOT 28331441 SOS 14568172 HAS SOPS 14568172 HAS SOUS 5986448 HAS SOUPS 5986448 WITH SCORE 6001016.172
AT ITER 1106 NEW BEST:: SOT 28326685 SOS 14558660 HAS SOPS 14558660 HAS SOUS 5986448 HAS SOUPS 5986448 WITH SCORE 6001006.66
AT ITER 1109 NEW BEST:: SOT 28324109 SOS 14552586 HAS SOPS 14552586 HAS SOUS 5985588 HAS SOUPS 5985588 WITH SCORE 6000140.586
AT ITER 1114 NEW BEST:: SOT 28322235 SOS 14548837 HAS SOPS 14548837 HAS SOUS 5985587 HAS SOUPS 5985587 WITH SCORE 6000135.837
AT ITER 1116 NEW BEST:: SOT 28315666 SOS 14534897 HAS SOPS 14534897 HAS SOUS 5981955 HAS SOUPS 5981955 WITH SCORE 5996489.897
AT ITER 1118 NEW BEST:: SOT 28315114 SOS 14533793 HAS SOPS 14533793 HAS SOUS 5981955 HAS SOUPS 5981955 WITH SCORE 5996488.793
AT ITER 1123 NEW BEST:: SOT 28315006 SOS 14533577 HAS SOPS 14533577 HAS SOUS 5981955 HAS SOUPS 5981955 WITH SCORE 5996488.577
AT ITER 1124 NEW BEST:: SOT 28315006 SOS 14533431 HAS SOPS 14533431 HAS SOUS 5981805 HAS SOUPS 5981805 WITH SCORE 5996338.431
AT ITER 1133 NEW BEST:: SOT 28312393 SOS 14527912 HAS SOPS 14527912 HAS SOUS 5981673 HAS SOUPS 5981673 WITH SCORE 5996200.912
AT ITER 1138 NEW BEST:: SOT 28309303 SOS 14521731 HAS SOPS 14521731 HAS SOUS 5981672 HAS SOUPS 5981672 WITH SCORE 5996193.731
AT ITER 1154 NEW BEST:: SOT 28308209 SOS 14518996 HAS SOPS 14518996 HAS SOUS 5981125 HAS SOUPS 5981125 WITH SCORE 5995643.996
AT ITER 1172 NEW BEST:: SOT 28306113 SOS 14514802 HAS SOPS 14514802 HAS SOUS 5981121 HAS SOUPS 5981121 WITH SCORE 5995635.802
AT ITER 1176 NEW BEST:: SOT 28301781 SOS 14504911 HAS SOPS 14504911 HAS SOUS 5980314 HAS SOUPS 5980314 WITH SCORE 5994818.911
AT ITER 1181 NEW BEST:: SOT 28299957 SOS 14500351 HAS SOPS 14500351 HAS SOUS 5979402 HAS SOUPS 5979402 WITH SCORE 5993902.351
AT ITER 1188 NEW BEST:: SOT 28298051 SOS 14496539 HAS SOPS 14496539 HAS SOUS 5979402 HAS SOUPS 5979402 WITH SCORE 5993898.539
AT ITER 1192 NEW BEST:: SOT 28298051 SOS 14495901 HAS SOPS 14495901 HAS SOUS 5978762 HAS SOUPS 5978762 WITH SCORE 5993257.901
AT ITER 1204 NEW BEST:: SOT 28295403 SOS 14490604 HAS SOPS 14490604 HAS SOUS 5978761 HAS SOUPS 5978761 WITH SCORE 5993251.604
AT ITER 1208 NEW BEST:: SOT 28294035 SOS 14488322 HAS SOPS 14488322 HAS SOUS 5978301 HAS SOUPS 5978301 WITH SCORE 5992789.322
AT ITER 1217 NEW BEST:: SOT 28293847 SOS 14487852 HAS SOPS 14487852 HAS SOUS 5978019 HAS SOUPS 5978019 WITH SCORE 5992506.852
AT ITER 1230 NEW BEST:: SOT 28291867 SOS 14483890 HAS SOPS 14483890 HAS SOUS 5978015 HAS SOUPS 5978015 WITH SCORE 5992498.89
AT ITER 1239 NEW BEST:: SOT 28290857 SOS 14481870 HAS SOPS 14481870 HAS SOUS 5978015 HAS SOUPS 5978015 WITH SCORE 5992496.87
AT ITER 1246 NEW BEST:: SOT 28284212 SOS 14471009 HAS SOPS 14471009 HAS SOUS 5976882 HAS SOUPS 5976882 WITH SCORE 5991353.009
AT ITER 1247 NEW BEST:: SOT 28281306 SOS 14465196 HAS SOPS 14465196 HAS SOUS 5976881 HAS SOUPS 5976881 WITH SCORE 5991346.196
AT ITER 1249 NEW BEST:: SOT 28277920 SOS 14457140 HAS SOPS 14457140 HAS SOUS 5975595 HAS SOUPS 5975595 WITH SCORE 5990052.14
AT ITER 1261 NEW BEST:: SOT 28275930 SOS 14453160 HAS SOPS 14453160 HAS SOUS 5975595 HAS SOUPS 5975595 WITH SCORE 5990048.16
AT ITER 1266 NEW BEST:: SOT 28275098 SOS 14451496 HAS SOPS 14451496 HAS SOUS 5975595 HAS SOUPS 5975595 WITH SCORE 5990046.496
AT ITER 1277 NEW BEST:: SOT 28271544 SOS 14442696 HAS SOPS 14442696 HAS SOUS 5971337 HAS SOUPS 5971337 WITH SCORE 5985779.696
AT ITER 1305 NEW BEST:: SOT 28269532 SOS 14438671 HAS SOPS 14438671 HAS SOUS 5971336 HAS SOUPS 5971336 WITH SCORE 5985774.671
AT ITER 1307 NEW BEST:: SOT 28269344 SOS 14438295 HAS SOPS 14438295 HAS SOUS 5971336 HAS SOUPS 5971336 WITH SCORE 5985774.295
AT ITER 1310 NEW BEST:: SOT 28269344 SOS 14438294 HAS SOPS 14438294 HAS SOUS 5971335 HAS SOUPS 5971335 WITH SCORE 5985773.294
AT ITER 1335 NEW BEST:: SOT 28267170 SOS 14433946 HAS SOPS 14433946 HAS SOUS 5971335 HAS SOUPS 5971335 WITH SCORE 5985768.946
AT ITER 1364 NEW BEST:: SOT 28264774 SOS 14429154 HAS SOPS 14429154 HAS SOUS 5971335 HAS SOUPS 5971335 WITH SCORE 5985764.154
AT ITER 1372 NEW BEST:: SOT 28263558 SOS 14426720 HAS SOPS 14426720 HAS SOUS 5971331 HAS SOUPS 5971331 WITH SCORE 5985757.72
AT ITER 1374 NEW BEST:: SOT 28260098 SOS 14419799 HAS SOPS 14419799 HAS SOUS 5971330 HAS SOUPS 5971330 WITH SCORE 5985749.799
AT ITER 1375 NEW BEST:: SOT 28258696 SOS 14416995 HAS SOPS 14416995 HAS SOUS 5971330 HAS SOUPS 5971330 WITH SCORE 5985746.995
AT ITER 1376 NEW BEST:: SOT 28257048 SOS 14413699 HAS SOPS 14413699 HAS SOUS 5971330 HAS SOUPS 5971330 WITH SCORE 5985743.699
AT ITER 1397 NEW BEST:: SOT 28254920 SOS 14409443 HAS SOPS 14409443 HAS SOUS 5971330 HAS SOUPS 5971330 WITH SCORE 5985739.443
AT ITER 1404 NEW BEST:: SOT 28250934 SOS 14401469 HAS SOPS 14401469 HAS SOUS 5971326 HAS SOUPS 5971326 WITH SCORE 5985727.469
AT ITER 1413 NEW BEST:: SOT 28250744 SOS 14400499 HAS SOPS 14400499 HAS SOUS 5970736 HAS SOUPS 5970736 WITH SCORE 5985136.499
AT ITER 1415 NEW BEST:: SOT 28244436 SOS 14389255 HAS SOPS 14389255 HAS SOUS 5969733 HAS SOUPS 5969733 WITH SCORE 5984122.255
AT ITER 1425 NEW BEST:: SOT 28242328 SOS 14385037 HAS SOPS 14385037 HAS SOUS 5969729 HAS SOUPS 5969729 WITH SCORE 5984114.037
AT ITER 1436 NEW BEST:: SOT 28238632 SOS 14377643 HAS SOPS 14377643 HAS SOUS 5969725 HAS SOUPS 5969725 WITH SCORE 5984102.643
AT ITER 1441 NEW BEST:: SOT 28236150 SOS 14372678 HAS SOPS 14372678 HAS SOUS 5969724 HAS SOUPS 5969724 WITH SCORE 5984096.678
AT ITER 1446 NEW BEST:: SOT 28234068 SOS 14368512 HAS SOPS 14368512 HAS SOUS 5969720 HAS SOUPS 5969720 WITH SCORE 5984088.512
AT ITER 1466 NEW BEST:: SOT 28233678 SOS 14367537 HAS SOPS 14367537 HAS SOUS 5969521 HAS SOUPS 5969521 WITH SCORE 5983888.537
AT ITER 1473 NEW BEST:: SOT 28233212 SOS 14366557 HAS SOPS 14366557 HAS SOUS 5969469 HAS SOUPS 5969469 WITH SCORE 5983835.557
AT ITER 1474 NEW BEST:: SOT 28233211 SOS 14365933 HAS SOPS 14365933 HAS SOUS 5969077 HAS SOUPS 5969077 WITH SCORE 5983442.933
AT ITER 1483 NEW BEST:: SOT 28228896 SOS 14356521 HAS SOPS 14356521 HAS SOUS 5968291 HAS SOUPS 5968291 WITH SCORE 5982647.521
AT ITER 1490 NEW BEST:: SOT 28224846 SOS 14348419 HAS SOPS 14348419 HAS SOUS 5968287 HAS SOUPS 5968287 WITH SCORE 5982635.419
AT ITER 1499 NEW BEST:: SOT 28220490 SOS 14339705 HAS SOPS 14339705 HAS SOUS 5968283 HAS SOUPS 5968283 WITH SCORE 5982622.705
AT ITER 1519 NEW BEST:: SOT 28217728 SOS 14334179 HAS SOPS 14334179 HAS SOUS 5968279 HAS SOUPS 5968279 WITH SCORE 5982613.179
AT ITER 1531 NEW BEST:: SOT 28217728 SOS 14334177 HAS SOPS 14334177 HAS SOUS 5968275 HAS SOUPS 5968275 WITH SCORE 5982609.177
AT ITER 1568 NEW BEST:: SOT 28213382 SOS 14325484 HAS SOPS 14325484 HAS SOUS 5968274 HAS SOUPS 5968274 WITH SCORE 5982599.484
AT ITER 1598 NEW BEST:: SOT 28211833 SOS 14321117 HAS SOPS 14321117 HAS SOUS 5967992 HAS SOUPS 5967992 WITH SCORE 5982313.117
AT ITER 1603 NEW BEST:: SOT 28210753 SOS 14318956 HAS SOPS 14318956 HAS SOUS 5967991 HAS SOUPS 5967991 WITH SCORE 5982309.956
AT ITER 1607 NEW BEST:: SOT 28208819 SOS 14314934 HAS SOPS 14314934 HAS SOUS 5967837 HAS SOUPS 5967837 WITH SCORE 5982151.934
AT ITER 1608 NEW BEST:: SOT 28208819 SOS 14314932 HAS SOPS 14314932 HAS SOUS 5967833 HAS SOUPS 5967833 WITH SCORE 5982147.932
AT ITER 1619 NEW BEST:: SOT 28204229 SOS 14305751 HAS SOPS 14305751 HAS SOUS 5967832 HAS SOUPS 5967832 WITH SCORE 5982137.751
AT ITER 1620 NEW BEST:: SOT 28202627 SOS 14302546 HAS SOPS 14302546 HAS SOUS 5967831 HAS SOUPS 5967831 WITH SCORE 5982133.546
AT ITER 1624 NEW BEST:: SOT 28199505 SOS 14296302 HAS SOPS 14296302 HAS SOUS 5967831 HAS SOUPS 5967831 WITH SCORE 5982127.302
AT ITER 1631 NEW BEST:: SOT 28196443 SOS 14290177 HAS SOPS 14290177 HAS SOUS 5967830 HAS SOUPS 5967830 WITH SCORE 5982120.177
AT ITER 1638 NEW BEST:: SOT 28189365 SOS 14278047 HAS SOPS 14278047 HAS SOUS 5965887 HAS SOUPS 5965887 WITH SCORE 5980165.047
AT ITER 1639 NEW BEST:: SOT 28186649 SOS 14271589 HAS SOPS 14271589 HAS SOUS 5965045 HAS SOUPS 5965045 WITH SCORE 5979316.589
AT ITER 1641 NEW BEST:: SOT 28184342 SOS 14267744 HAS SOPS 14267744 HAS SOUS 5964276 HAS SOUPS 5964276 WITH SCORE 5978543.744
AT ITER 1643 NEW BEST:: SOT 28183353 SOS 14265766 HAS SOPS 14265766 HAS SOUS 5963287 HAS SOUPS 5963287 WITH SCORE 5977552.766
AT ITER 1645 NEW BEST:: SOT 28180579 SOS 14260218 HAS SOPS 14260218 HAS SOUS 5963287 HAS SOUPS 5963287 WITH SCORE 5977547.218
AT ITER 1654 NEW BEST:: SOT 28179303 SOS 14257028 HAS SOPS 14257028 HAS SOUS 5962649 HAS SOUPS 5962649 WITH SCORE 5976906.028
AT ITER 1655 NEW BEST:: SOT 28175075 SOS 14248572 HAS SOPS 14248572 HAS SOUS 5962649 HAS SOUPS 5962649 WITH SCORE 5976897.572
AT ITER 1664 NEW BEST:: SOT 28171303 SOS 14239574 HAS SOPS 14239574 HAS SOUS 5961789 HAS SOUPS 5961789 WITH SCORE 5976028.574
AT ITER 1667 NEW BEST:: SOT 28170113 SOS 14238012 HAS SOPS 14238012 HAS SOUS 5960598 HAS SOUPS 5960598 WITH SCORE 5974836.012
AT ITER 1670 NEW BEST:: SOT 28167686 SOS 14233967 HAS SOPS 14233967 HAS SOUS 5959789 HAS SOUPS 5959789 WITH SCORE 5974022.967
AT ITER 1672 NEW BEST:: SOT 28165090 SOS 14228773 HAS SOPS 14228773 HAS SOUS 5959785 HAS SOUPS 5959785 WITH SCORE 5974013.773
AT ITER 1679 NEW BEST:: SOT 28164022 SOS 14226636 HAS SOPS 14226636 HAS SOUS 5959784 HAS SOUPS 5959784 WITH SCORE 5974010.636
AT ITER 1696 NEW BEST:: SOT 28160850 SOS 14220291 HAS SOPS 14220291 HAS SOUS 5959783 HAS SOUPS 5959783 WITH SCORE 5974003.291
AT ITER 1702 NEW BEST:: SOT 28160070 SOS 14218730 HAS SOPS 14218730 HAS SOUS 5959782 HAS SOUPS 5959782 WITH SCORE 5974000.73
AT ITER 1705 NEW BEST:: SOT 28157582 SOS 14213754 HAS SOPS 14213754 HAS SOUS 5959782 HAS SOUPS 5959782 WITH SCORE 5973995.754
AT ITER 1706 NEW BEST:: SOT 28154460 SOS 14207508 HAS SOPS 14207508 HAS SOUS 5959778 HAS SOUPS 5959778 WITH SCORE 5973985.508
AT ITER 1707 NEW BEST:: SOT 28152122 SOS 14201663 HAS SOPS 14201663 HAS SOUS 5958605 HAS SOUPS 5958605 WITH SCORE 5972806.663
AT ITER 1736 NEW BEST:: SOT 28151878 SOS 14201173 HAS SOPS 14201173 HAS SOUS 5958601 HAS SOUPS 5958601 WITH SCORE 5972802.173
AT ITER 1737 NEW BEST:: SOT 28151878 SOS 14201172 HAS SOPS 14201172 HAS SOUS 5958600 HAS SOUPS 5958600 WITH SCORE 5972801.172
AT ITER 1748 NEW BEST:: SOT 28149836 SOS 14196067 HAS SOPS 14196067 HAS SOUS 5957575 HAS SOUPS 5957575 WITH SCORE 5971771.067
AT ITER 1753 NEW BEST:: SOT 28147566 SOS 14190702 HAS SOPS 14190702 HAS SOUS 5956750 HAS SOUPS 5956750 WITH SCORE 5970940.702
AT ITER 1763 NEW BEST:: SOT 28145662 SOS 14185942 HAS SOPS 14185942 HAS SOUS 5955798 HAS SOUPS 5955798 WITH SCORE 5969983.942
AT ITER 1769 NEW BEST:: SOT 28142201 SOS 14176945 HAS SOPS 14176945 HAS SOUS 5955447 HAS SOUPS 5955447 WITH SCORE 5969623.945
AT ITER 1775 NEW BEST:: SOT 28139599 SOS 14171739 HAS SOPS 14171739 HAS SOUS 5955443 HAS SOUPS 5955443 WITH SCORE 5969614.739
AT ITER 1780 NEW BEST:: SOT 28134708 SOS 14159804 HAS SOPS 14159804 HAS SOUS 5953841 HAS SOUPS 5953841 WITH SCORE 5968000.804
AT ITER 1789 NEW BEST:: SOT 28134708 SOS 14159176 HAS SOPS 14159176 HAS SOUS 5953523 HAS SOUPS 5953523 WITH SCORE 5967682.176
AT ITER 1796 NEW BEST:: SOT 28132160 SOS 14154078 HAS SOPS 14154078 HAS SOUS 5953519 HAS SOUPS 5953519 WITH SCORE 5967673.078
AT ITER 1818 NEW BEST:: SOT 28131192 SOS 14152142 HAS SOPS 14152142 HAS SOUS 5953519 HAS SOUPS 5953519 WITH SCORE 5967671.142
AT ITER 1821 NEW BEST:: SOT 28130616 SOS 14151180 HAS SOPS 14151180 HAS SOUS 5953323 HAS SOUPS 5953323 WITH SCORE 5967474.18
AT ITER 1834 NEW BEST:: SOT 28130248 SOS 14150443 HAS SOPS 14150443 HAS SOUS 5953322 HAS SOUPS 5953322 WITH SCORE 5967472.443
AT ITER 1839 NEW BEST:: SOT 28126322 SOS 14142591 HAS SOPS 14142591 HAS SOUS 5953322 HAS SOUPS 5953322 WITH SCORE 5967464.591
AT ITER 1841 NEW BEST:: SOT 28125592 SOS 14141002 HAS SOPS 14141002 HAS SOUS 5953193 HAS SOUPS 5953193 WITH SCORE 5967334.002
AT ITER 1871 NEW BEST:: SOT 28123256 SOS 14136329 HAS SOPS 14136329 HAS SOUS 5953192 HAS SOUPS 5953192 WITH SCORE 5967328.329
AT ITER 1883 NEW BEST:: SOT 28121464 SOS 14132743 HAS SOPS 14132743 HAS SOUS 5953188 HAS SOUPS 5953188 WITH SCORE 5967320.743
AT ITER 1886 NEW BEST:: SOT 28117099 SOS 14125767 HAS SOPS 14125767 HAS SOUS 5952631 HAS SOUPS 5952631 WITH SCORE 5966756.767
AT ITER 1893 NEW BEST:: SOT 28116115 SOS 14123798 HAS SOPS 14123798 HAS SOUS 5952630 HAS SOUPS 5952630 WITH SCORE 5966753.798
AT ITER 1896 NEW BEST:: SOT 28113943 SOS 14119325 HAS SOPS 14119325 HAS SOUS 5952501 HAS SOUPS 5952501 WITH SCORE 5966620.325
AT ITER 1909 NEW BEST:: SOT 28113453 SOS 14118345 HAS SOPS 14118345 HAS SOUS 5952501 HAS SOUPS 5952501 WITH SCORE 5966619.345
AT ITER 1911 NEW BEST:: SOT 28112877 SOS 14116905 HAS SOPS 14116905 HAS SOUS 5952213 HAS SOUPS 5952213 WITH SCORE 5966329.905
AT ITER 1928 NEW BEST:: SOT 28110685 SOS 14112521 HAS SOPS 14112521 HAS SOUS 5952213 HAS SOUPS 5952213 WITH SCORE 5966325.521
AT ITER 1942 NEW BEST:: SOT 28107337 SOS 14105825 HAS SOPS 14105825 HAS SOUS 5952213 HAS SOUPS 5952213 WITH SCORE 5966318.825
AT ITER 1944 NEW BEST:: SOT 28105879 SOS 14102907 HAS SOPS 14102907 HAS SOUS 5952209 HAS SOUPS 5952209 WITH SCORE 5966311.907
AT ITER 1954 NEW BEST:: SOT 28101829 SOS 14094806 HAS SOPS 14094806 HAS SOUS 5952208 HAS SOUPS 5952208 WITH SCORE 5966302.806
AT ITER 1964 NEW BEST:: SOT 28099273 SOS 14089692 HAS SOPS 14089692 HAS SOUS 5952204 HAS SOUPS 5952204 WITH SCORE 5966293.692
AT ITER 1967 NEW BEST:: SOT 28098843 SOS 14088831 HAS SOPS 14088831 HAS SOUS 5952203 HAS SOUPS 5952203 WITH SCORE 5966291.831
AT ITER 1973 NEW BEST:: SOT 28094332 SOS 14081981 HAS SOPS 14081981 HAS SOUS 5952036 HAS SOUPS 5952036 WITH SCORE 5966117.981
AT ITER 1974 NEW BEST:: SOT 28087667 SOS 14070798 HAS SOPS 14070798 HAS SOUS 5950777 HAS SOUPS 5950777 WITH SCORE 5964847.798
AT ITER 1989 NEW BEST:: SOT 28081463 SOS 14060890 HAS SOPS 14060890 HAS SOUS 5950414 HAS SOUPS 5950414 WITH SCORE 5964474.89
AT ITER 1991 NEW BEST:: SOT 28078987 SOS 14055936 HAS SOPS 14055936 HAS SOUS 5950410 HAS SOUPS 5950410 WITH SCORE 5964465.936
AT ITER 2013 NEW BEST:: SOT 28078089 SOS 14054140 HAS SOPS 14054140 HAS SOUS 5950410 HAS SOUPS 5950410 WITH SCORE 5964464.14
AT ITER 2019 NEW BEST:: SOT 28073939 SOS 14043765 HAS SOPS 14043765 HAS SOUS 5948333 HAS SOUPS 5948333 WITH SCORE 5962376.765
AT ITER 2021 NEW BEST:: SOT 28071437 SOS 14038761 HAS SOPS 14038761 HAS SOUS 5948333 HAS SOUPS 5948333 WITH SCORE 5962371.761
AT ITER 2041 NEW BEST:: SOT 28069061 SOS 14034009 HAS SOPS 14034009 HAS SOUS 5948333 HAS SOUPS 5948333 WITH SCORE 5962367.009
AT ITER 2046 NEW BEST:: SOT 28064198 SOS 14026387 HAS SOPS 14026387 HAS SOUS 5948328 HAS SOUPS 5948328 WITH SCORE 5962354.387
AT ITER 2051 NEW BEST:: SOT 28061766 SOS 14021523 HAS SOPS 14021523 HAS SOUS 5948328 HAS SOUPS 5948328 WITH SCORE 5962349.523
AT ITER 2060 NEW BEST:: SOT 28059312 SOS 14016613 HAS SOPS 14016613 HAS SOUS 5948324 HAS SOUPS 5948324 WITH SCORE 5962340.613
AT ITER 2062 NEW BEST:: SOT 28057680 SOS 14013347 HAS SOPS 14013347 HAS SOUS 5948320 HAS SOUPS 5948320 WITH SCORE 5962333.347
AT ITER 2086 NEW BEST:: SOT 28055398 SOS 14008782 HAS SOPS 14008782 HAS SOUS 5948319 HAS SOUPS 5948319 WITH SCORE 5962327.782
AT ITER 2090 NEW BEST:: SOT 28050804 SOS 13999593 HAS SOPS 13999593 HAS SOUS 5948318 HAS SOUPS 5948318 WITH SCORE 5962317.593
AT ITER 2109 NEW BEST:: SOT 28047390 SOS 13992764 HAS SOPS 13992764 HAS SOUS 5948317 HAS SOUPS 5948317 WITH SCORE 5962309.764
AT ITER 2121 NEW BEST:: SOT 28043506 SOS 13984875 HAS SOPS 13984875 HAS SOUS 5948310 HAS SOUPS 5948310 WITH SCORE 5962294.875
AT ITER 2145 NEW BEST:: SOT 28043506 SOS 13984873 HAS SOPS 13984873 HAS SOUS 5948306 HAS SOUPS 5948306 WITH SCORE 5962290.873
AT ITER 2147 NEW BEST:: SOT 28040760 SOS 13978985 HAS SOPS 13978985 HAS SOUS 5947908 HAS SOUPS 5947908 WITH SCORE 5961886.985
AT ITER 2152 NEW BEST:: SOT 28036096 SOS 13969656 HAS SOPS 13969656 HAS SOUS 5947907 HAS SOUPS 5947907 WITH SCORE 5961876.656
AT ITER 2157 NEW BEST:: SOT 28033374 SOS 13964093 HAS SOPS 13964093 HAS SOUS 5947554 HAS SOUPS 5947554 WITH SCORE 5961518.093
AT ITER 2169 NEW BEST:: SOT 28028217 SOS 13951989 HAS SOPS 13951989 HAS SOUS 5946347 HAS SOUPS 5946347 WITH SCORE 5960298.989
AT ITER 2170 NEW BEST:: SOT 28025700 SOS 13947985 HAS SOPS 13947985 HAS SOUS 5946080 HAS SOUPS 5946080 WITH SCORE 5960027.985
AT ITER 2191 NEW BEST:: SOT 28022888 SOS 13942361 HAS SOPS 13942361 HAS SOUS 5946080 HAS SOUPS 5946080 WITH SCORE 5960022.361
AT ITER 2192 NEW BEST:: SOT 28020668 SOS 13937921 HAS SOPS 13937921 HAS SOUS 5946080 HAS SOUPS 5946080 WITH SCORE 5960017.921
AT ITER 2202 NEW BEST:: SOT 28016828 SOS 13930239 HAS SOPS 13930239 HAS SOUS 5946076 HAS SOUPS 5946076 WITH SCORE 5960006.239
AT ITER 2215 NEW BEST:: SOT 28014976 SOS 13926113 HAS SOPS 13926113 HAS SOUS 5945654 HAS SOUPS 5945654 WITH SCORE 5959580.113
AT ITER 2223 NEW BEST:: SOT 28014697 SOS 13925648 HAS SOPS 13925648 HAS SOUS 5945561 HAS SOUPS 5945561 WITH SCORE 5959486.648
AT ITER 2225 NEW BEST:: SOT 28012892 SOS 13921628 HAS SOPS 13921628 HAS SOUS 5945233 HAS SOUPS 5945233 WITH SCORE 5959154.628
AT ITER 2232 NEW BEST:: SOT 28010388 SOS 13916619 HAS SOPS 13916619 HAS SOUS 5945232 HAS SOUPS 5945232 WITH SCORE 5959148.619
AT ITER 2236 NEW BEST:: SOT 28009788 SOS 13915419 HAS SOPS 13915419 HAS SOUS 5945232 HAS SOUPS 5945232 WITH SCORE 5959147.419
AT ITER 2242 NEW BEST:: SOT 28007892 SOS 13911625 HAS SOPS 13911625 HAS SOUS 5945228 HAS SOUPS 5945228 WITH SCORE 5959139.625
AT ITER 2253 NEW BEST:: SOT 28007892 SOS 13911624 HAS SOPS 13911624 HAS SOUS 5945227 HAS SOUPS 5945227 WITH SCORE 5959138.624
AT ITER 2256 NEW BEST:: SOT 28005366 SOS 13905587 HAS SOPS 13905587 HAS SOUS 5944242 HAS SOUPS 5944242 WITH SCORE 5958147.587
AT ITER 2257 NEW BEST:: SOT 28003486 SOS 13901239 HAS SOPS 13901239 HAS SOUS 5943654 HAS SOUPS 5943654 WITH SCORE 5957555.239
AT ITER 2268 NEW BEST:: SOT 28000080 SOS 13892724 HAS SOPS 13892724 HAS SOUS 5941711 HAS SOUPS 5941711 WITH SCORE 5955603.724
AT ITER 2269 NEW BEST:: SOT 27997564 SOS 13886518 HAS SOPS 13886518 HAS SOUS 5941699 HAS SOUPS 5941699 WITH SCORE 5955585.518
AT ITER 2285 NEW BEST:: SOT 27993774 SOS 13877775 HAS SOPS 13877775 HAS SOUS 5940536 HAS SOUPS 5940536 WITH SCORE 5954413.775
AT ITER 2295 NEW BEST:: SOT 27991864 SOS 13873517 HAS SOPS 13873517 HAS SOUS 5940448 HAS SOUPS 5940448 WITH SCORE 5954321.517
AT ITER 2311 NEW BEST:: SOT 27988950 SOS 13866407 HAS SOPS 13866407 HAS SOUS 5937570 HAS SOUPS 5937570 WITH SCORE 5951436.407
AT ITER 2314 NEW BEST:: SOT 27987762 SOS 13864031 HAS SOPS 13864031 HAS SOUS 5937570 HAS SOUPS 5937570 WITH SCORE 5951434.031
AT ITER 2325 NEW BEST:: SOT 27984084 SOS 13856674 HAS SOPS 13856674 HAS SOUS 5937569 HAS SOUPS 5937569 WITH SCORE 5951425.674
AT ITER 2330 NEW BEST:: SOT 27981142 SOS 13850455 HAS SOPS 13850455 HAS SOUS 5937542 HAS SOUPS 5937542 WITH SCORE 5951392.455
AT ITER 2344 NEW BEST:: SOT 27980692 SOS 13849330 HAS SOPS 13849330 HAS SOUS 5937317 HAS SOUPS 5937317 WITH SCORE 5951166.33
AT ITER 2348 NEW BEST:: SOT 27976706 SOS 13841357 HAS SOPS 13841357 HAS SOUS 5937316 HAS SOUPS 5937316 WITH SCORE 5951157.357
AT ITER 2358 NEW BEST:: SOT 27969764 SOS 13830270 HAS SOPS 13830270 HAS SOUS 5937163 HAS SOUPS 5937163 WITH SCORE 5950993.27
AT ITER 2359 NEW BEST:: SOT 27967590 SOS 13825921 HAS SOPS 13825921 HAS SOUS 5937162 HAS SOUPS 5937162 WITH SCORE 5950987.921
AT ITER 2363 NEW BEST:: SOT 27966316 SOS 13823371 HAS SOPS 13823371 HAS SOUS 5937158 HAS SOUPS 5937158 WITH SCORE 5950981.371
AT ITER 2366 NEW BEST:: SOT 27960775 SOS 13812139 HAS SOPS 13812139 HAS SOUS 5936058 HAS SOUPS 5936058 WITH SCORE 5949870.139
AT ITER 2368 NEW BEST:: SOT 27957167 SOS 13804923 HAS SOPS 13804923 HAS SOUS 5936058 HAS SOUPS 5936058 WITH SCORE 5949862.923
AT ITER 2372 NEW BEST:: SOT 27956209 SOS 13802528 HAS SOPS 13802528 HAS SOUS 5935575 HAS SOUPS 5935575 WITH SCORE 5949377.528
AT ITER 2395 NEW BEST:: SOT 27953685 SOS 13797480 HAS SOPS 13797480 HAS SOUS 5935575 HAS SOUPS 5935575 WITH SCORE 5949372.48
AT ITER 2398 NEW BEST:: SOT 27952329 SOS 13794332 HAS SOPS 13794332 HAS SOUS 5935139 HAS SOUPS 5935139 WITH SCORE 5948933.332
AT ITER 2400 NEW BEST:: SOT 27945235 SOS 13780461 HAS SOPS 13780461 HAS SOUS 5932046 HAS SOUPS 5932046 WITH SCORE 5945826.461
AT ITER 2408 NEW BEST:: SOT 27943367 SOS 13776596 HAS SOPS 13776596 HAS SOUS 5931913 HAS SOUPS 5931913 WITH SCORE 5945689.596
AT ITER 2424 NEW BEST:: SOT 27943123 SOS 13776108 HAS SOPS 13776108 HAS SOUS 5931913 HAS SOUPS 5931913 WITH SCORE 5945689.108
AT ITER 2436 NEW BEST:: SOT 27943123 SOS 13776107 HAS SOPS 13776107 HAS SOUS 5931912 HAS SOUPS 5931912 WITH SCORE 5945688.107
AT ITER 2440 NEW BEST:: SOT 27941785 SOS 13772762 HAS SOPS 13772762 HAS SOUS 5931243 HAS SOUPS 5931243 WITH SCORE 5945015.762
AT ITER 2452 NEW BEST:: SOT 27940515 SOS 13770222 HAS SOPS 13770222 HAS SOUS 5931243 HAS SOUPS 5931243 WITH SCORE 5945013.222
AT ITER 2459 NEW BEST:: SOT 27935067 SOS 13761293 HAS SOPS 13761293 HAS SOUS 5929729 HAS SOUPS 5929729 WITH SCORE 5943490.293
AT ITER 2463 NEW BEST:: SOT 27932803 SOS 13756764 HAS SOPS 13756764 HAS SOUS 5929728 HAS SOUPS 5929728 WITH SCORE 5943484.764
AT ITER 2477 NEW BEST:: SOT 27926530 SOS 13746014 HAS SOPS 13746014 HAS SOUS 5929124 HAS SOUPS 5929124 WITH SCORE 5942870.014
AT ITER 2492 NEW BEST:: SOT 27922190 SOS 13737332 HAS SOPS 13737332 HAS SOUS 5929120 HAS SOUPS 5929120 WITH SCORE 5942857.332
AT ITER 2493 NEW BEST:: SOT 27920291 SOS 13732287 HAS SOPS 13732287 HAS SOUS 5928524 HAS SOUPS 5928524 WITH SCORE 5942256.287
AT ITER 2496 NEW BEST:: SOT 27915652 SOS 13724150 HAS SOPS 13724150 HAS SOUS 5927383 HAS SOUPS 5927383 WITH SCORE 5941107.15
AT ITER 2513 NEW BEST:: SOT 27913764 SOS 13720374 HAS SOPS 13720374 HAS SOUS 5927383 HAS SOUPS 5927383 WITH SCORE 5941103.374
AT ITER 2520 NEW BEST:: SOT 27910958 SOS 13714433 HAS SOPS 13714433 HAS SOUS 5927054 HAS SOUPS 5927054 WITH SCORE 5940768.433
AT ITER 2527 NEW BEST:: SOT 27910958 SOS 13714377 HAS SOPS 13714377 HAS SOUS 5926998 HAS SOUPS 5926998 WITH SCORE 5940712.377
AT ITER 2533 NEW BEST:: SOT 27910958 SOS 13714377 HAS SOPS 13714377 HAS SOUS 5926996 HAS SOUPS 5926996 WITH SCORE 5940710.377
AT ITER 2536 NEW BEST:: SOT 27909222 SOS 13710420 HAS SOPS 13710420 HAS SOUS 5926963 HAS SOUPS 5926963 WITH SCORE 5940673.42
AT ITER 2553 NEW BEST:: SOT 27908208 SOS 13708392 HAS SOPS 13708392 HAS SOUS 5926963 HAS SOUPS 5926963 WITH SCORE 5940671.392
AT ITER 2565 NEW BEST:: SOT 27906324 SOS 13704034 HAS SOPS 13704034 HAS SOUS 5926373 HAS SOUPS 5926373 WITH SCORE 5940077.034
AT ITER 2584 NEW BEST:: SOT 27903950 SOS 13699284 HAS SOPS 13699284 HAS SOUS 5926369 HAS SOUPS 5926369 WITH SCORE 5940068.284
AT ITER 2586 NEW BEST:: SOT 27903948 SOS 13698504 HAS SOPS 13698504 HAS SOUS 5925585 HAS SOUPS 5925585 WITH SCORE 5939283.504
AT ITER 2615 NEW BEST:: SOT 27903032 SOS 13696214 HAS SOPS 13696214 HAS SOUS 5925127 HAS SOUPS 5925127 WITH SCORE 5938823.214
AT ITER 2627 NEW BEST:: SOT 27899062 SOS 13688272 HAS SOPS 13688272 HAS SOUS 5925123 HAS SOUPS 5925123 WITH SCORE 5938811.272
AT ITER 2638 NEW BEST:: SOT 27896312 SOS 13682770 HAS SOPS 13682770 HAS SOUS 5925119 HAS SOUPS 5925119 WITH SCORE 5938801.77
AT ITER 2642 NEW BEST:: SOT 27894626 SOS 13679397 HAS SOPS 13679397 HAS SOUS 5925118 HAS SOUPS 5925118 WITH SCORE 5938797.397
AT ITER 2651 NEW BEST:: SOT 27894154 SOS 13678451 HAS SOPS 13678451 HAS SOUS 5925114 HAS SOUPS 5925114 WITH SCORE 5938792.451
AT ITER 2667 NEW BEST:: SOT 27892100 SOS 13674342 HAS SOPS 13674342 HAS SOUS 5925113 HAS SOUPS 5925113 WITH SCORE 5938787.342
AT ITER 2668 NEW BEST:: SOT 27890604 SOS 13670602 HAS SOPS 13670602 HAS SOUS 5924365 HAS SOUPS 5924365 WITH SCORE 5938035.602
AT ITER 2698 NEW BEST:: SOT 27890230 SOS 13669854 HAS SOPS 13669854 HAS SOUS 5924365 HAS SOUPS 5924365 WITH SCORE 5938034.854
AT ITER 2701 NEW BEST:: SOT 27888742 SOS 13666134 HAS SOPS 13666134 HAS SOUS 5923033 HAS SOUPS 5923033 WITH SCORE 5936699.134
AT ITER 2707 NEW BEST:: SOT 27886104 SOS 13659631 HAS SOPS 13659631 HAS SOUS 5921806 HAS SOUPS 5921806 WITH SCORE 5935465.631
AT ITER 2709 NEW BEST:: SOT 27884968 SOS 13657359 HAS SOPS 13657359 HAS SOUS 5921806 HAS SOUPS 5921806 WITH SCORE 5935463.359
AT ITER 2712 NEW BEST:: SOT 27883500 SOS 13653328 HAS SOPS 13653328 HAS SOUS 5921593 HAS SOUPS 5921593 WITH SCORE 5935246.328
AT ITER 2717 NEW BEST:: SOT 27880500 SOS 13647328 HAS SOPS 13647328 HAS SOUS 5921593 HAS SOUPS 5921593 WITH SCORE 5935240.328
AT ITER 2719 NEW BEST:: SOT 27873441 SOS 13636044 HAS SOPS 13636044 HAS SOUS 5921233 HAS SOUPS 5921233 WITH SCORE 5934869.044
AT ITER 2725 NEW BEST:: SOT 27871467 SOS 13631109 HAS SOPS 13631109 HAS SOUS 5920244 HAS SOUPS 5920244 WITH SCORE 5933875.109
AT ITER 2726 NEW BEST:: SOT 27868961 SOS 13624478 HAS SOPS 13624478 HAS SOUS 5919355 HAS SOUPS 5919355 WITH SCORE 5932979.478
AT ITER 2747 NEW BEST:: SOT 27865393 SOS 13617342 HAS SOPS 13617342 HAS SOUS 5919355 HAS SOUPS 5919355 WITH SCORE 5932972.342
AT ITER 2749 NEW BEST:: SOT 27863093 SOS 13612741 HAS SOPS 13612741 HAS SOUS 5919354 HAS SOUPS 5919354 WITH SCORE 5932966.741
AT ITER 2773 NEW BEST:: SOT 27861153 SOS 13608860 HAS SOPS 13608860 HAS SOUS 5919353 HAS SOUPS 5919353 WITH SCORE 5932961.86
AT ITER 2790 NEW BEST:: SOT 27859701 SOS 13605954 HAS SOPS 13605954 HAS SOUS 5919349 HAS SOUPS 5919349 WITH SCORE 5932954.954
AT ITER 2800 NEW BEST:: SOT 27854408 SOS 13593285 HAS SOPS 13593285 HAS SOUS 5917909 HAS SOUPS 5917909 WITH SCORE 5931502.285
AT ITER 2812 NEW BEST:: SOT 27853582 SOS 13591631 HAS SOPS 13591631 HAS SOUS 5917905 HAS SOUPS 5917905 WITH SCORE 5931496.631
AT ITER 2813 NEW BEST:: SOT 27850786 SOS 13585103 HAS SOPS 13585103 HAS SOUS 5917698 HAS SOUPS 5917698 WITH SCORE 5931283.103
AT ITER 2844 NEW BEST:: SOT 27845731 SOS 13572970 HAS SOPS 13572970 HAS SOUS 5916594 HAS SOUPS 5916594 WITH SCORE 5930166.97
AT ITER 2857 NEW BEST:: SOT 27843839 SOS 13569091 HAS SOPS 13569091 HAS SOUS 5916499 HAS SOUPS 5916499 WITH SCORE 5930068.091
AT ITER 2878 NEW BEST:: SOT 27843839 SOS 13567977 HAS SOPS 13567977 HAS SOUS 5913157 HAS SOUPS 5913157 WITH SCORE 5926724.977
AT ITER 2879 NEW BEST:: SOT 27842947 SOS 13565747 HAS SOPS 13565747 HAS SOUS 5911863 HAS SOUPS 5911863 WITH SCORE 5925428.747
AT ITER 2894 NEW BEST:: SOT 27839179 SOS 13556327 HAS SOPS 13556327 HAS SOUS 5909977 HAS SOUPS 5909977 WITH SCORE 5923533.327
AT ITER 2895 NEW BEST:: SOT 27836577 SOS 13551123 HAS SOPS 13551123 HAS SOUS 5909977 HAS SOUPS 5909977 WITH SCORE 5923528.123
AT ITER 2897 NEW BEST:: SOT 27836069 SOS 13549856 HAS SOPS 13549856 HAS SOUS 5909718 HAS SOUPS 5909718 WITH SCORE 5923267.856
AT ITER 2903 NEW BEST:: SOT 27832393 SOS 13540666 HAS SOPS 13540666 HAS SOUS 5904204 HAS SOUPS 5904204 WITH SCORE 5917744.666
AT ITER 2904 NEW BEST:: SOT 27830855 SOS 13536821 HAS SOPS 13536821 HAS SOUS 5903435 HAS SOUPS 5903435 WITH SCORE 5916971.821
AT ITER 2932 NEW BEST:: SOT 27830023 SOS 13535155 HAS SOPS 13535155 HAS SOUS 5903431 HAS SOUPS 5903431 WITH SCORE 5916966.155
AT ITER 2933 NEW BEST:: SOT 27828005 SOS 13531119 HAS SOPS 13531119 HAS SOUS 5903431 HAS SOUPS 5903431 WITH SCORE 5916962.119
AT ITER 2935 NEW BEST:: SOT 27827273 SOS 13529655 HAS SOPS 13529655 HAS SOUS 5903431 HAS SOUPS 5903431 WITH SCORE 5916960.655
AT ITER 2936 NEW BEST:: SOT 27827273 SOS 13529124 HAS SOPS 13529124 HAS SOUS 5902900 HAS SOUPS 5902900 WITH SCORE 5916429.124
AT ITER 2938 NEW BEST:: SOT 27827273 SOS 13528884 HAS SOPS 13528884 HAS SOUS 5902660 HAS SOUPS 5902660 WITH SCORE 5916188.884
AT ITER 2941 NEW BEST:: SOT 27822845 SOS 13520028 HAS SOPS 13520028 HAS SOUS 5902660 HAS SOUPS 5902660 WITH SCORE 5916180.028
AT ITER 2942 NEW BEST:: SOT 27822845 SOS 13519855 HAS SOPS 13519855 HAS SOUS 5902487 HAS SOUPS 5902487 WITH SCORE 5916006.855
AT ITER 2943 NEW BEST:: SOT 27821593 SOS 13517349 HAS SOPS 13517349 HAS SOUS 5902483 HAS SOUPS 5902483 WITH SCORE 5916000.349
AT ITER 2944 NEW BEST:: SOT 27816939 SOS 13506815 HAS SOPS 13506815 HAS SOUS 5901955 HAS SOUPS 5901955 WITH SCORE 5915461.815
AT ITER 2948 NEW BEST:: SOT 27815811 SOS 13504557 HAS SOPS 13504557 HAS SOUS 5901951 HAS SOUPS 5901951 WITH SCORE 5915455.557
AT ITER 2960 NEW BEST:: SOT 27813675 SOS 13499813 HAS SOPS 13499813 HAS SOUS 5901475 HAS SOUPS 5901475 WITH SCORE 5914974.813
AT ITER 2970 NEW BEST:: SOT 27808930 SOS 13488402 HAS SOPS 13488402 HAS SOUS 5900037 HAS SOUPS 5900037 WITH SCORE 5913525.402
AT ITER 2983 NEW BEST:: SOT 27802581 SOS 13476734 HAS SOPS 13476734 HAS SOUS 5899511 HAS SOUPS 5899511 WITH SCORE 5912987.734
AT ITER 2991 NEW BEST:: SOT 27800974 SOS 13473518 HAS SOPS 13473518 HAS SOUS 5899507 HAS SOUPS 5899507 WITH SCORE 5912980.518
AT ITER 2995 NEW BEST:: SOT 27796514 SOS 13464598 HAS SOPS 13464598 HAS SOUS 5899507 HAS SOUPS 5899507 WITH SCORE 5912971.598
AT ITER 3000 NEW BEST:: SOT 27795748 SOS 13461557 HAS SOPS 13461557 HAS SOUS 5898455 HAS SOUPS 5898455 WITH SCORE 5911916.557
AT ITER 3025 NEW BEST:: SOT 27795748 SOS 13460680 HAS SOPS 13460680 HAS SOUS 5897792 HAS SOUPS 5897792 WITH SCORE 5911252.68
AT ITER 3039 NEW BEST:: SOT 27793974 SOS 13457130 HAS SOPS 13457130 HAS SOUS 5897788 HAS SOUPS 5897788 WITH SCORE 5911245.13
AT ITER 3048 NEW BEST:: SOT 27793042 SOS 13453814 HAS SOPS 13453814 HAS SOUS 5897758 HAS SOUPS 5897758 WITH SCORE 5911211.814
AT ITER 3049 NEW BEST:: SOT 27790261 SOS 13449400 HAS SOPS 13449400 HAS SOUS 5897495 HAS SOUPS 5897495 WITH SCORE 5910944.4
AT ITER 3056 NEW BEST:: SOT 27789655 SOS 13447885 HAS SOPS 13447885 HAS SOUS 5897192 HAS SOUPS 5897192 WITH SCORE 5910639.885
AT ITER 3058 NEW BEST:: SOT 27787949 SOS 13443936 HAS SOPS 13443936 HAS SOUS 5896655 HAS SOUPS 5896655 WITH SCORE 5910098.936
AT ITER 3069 NEW BEST:: SOT 27783451 SOS 13434939 HAS SOPS 13434939 HAS SOUS 5896654 HAS SOUPS 5896654 WITH SCORE 5910088.939
AT ITER 3071 NEW BEST:: SOT 27781571 SOS 13431179 HAS SOPS 13431179 HAS SOUS 5896654 HAS SOUPS 5896654 WITH SCORE 5910085.179
AT ITER 3073 NEW BEST:: SOT 27781753 SOS 13431543 HAS SOPS 13431543 HAS SOUS 5896472 HAS SOUPS 5896472 WITH SCORE 5909903.543
AT ITER 3074 NEW BEST:: SOT 27779157 SOS 13425958 HAS SOPS 13425958 HAS SOUS 5896079 HAS SOUPS 5896079 WITH SCORE 5909504.958
AT ITER 3080 NEW BEST:: SOT 27778686 SOS 13425238 HAS SOPS 13425238 HAS SOUS 5896052 HAS SOUPS 5896052 WITH SCORE 5909477.238
AT ITER 3081 NEW BEST:: SOT 27778246 SOS 13424358 HAS SOPS 13424358 HAS SOUS 5896052 HAS SOUPS 5896052 WITH SCORE 5909476.358
AT ITER 3085 NEW BEST:: SOT 27776352 SOS 13419651 HAS SOPS 13419651 HAS SOUS 5895133 HAS SOUPS 5895133 WITH SCORE 5908552.651
AT ITER 3120 NEW BEST:: SOT 27775514 SOS 13417556 HAS SOPS 13417556 HAS SOUS 5894712 HAS SOUPS 5894712 WITH SCORE 5908129.556
AT ITER 3123 NEW BEST:: SOT 27774614 SOS 13415314 HAS SOPS 13415314 HAS SOUS 5894270 HAS SOUPS 5894270 WITH SCORE 5907685.314
AT ITER 3125 NEW BEST:: SOT 27771024 SOS 13408133 HAS SOPS 13408133 HAS SOUS 5894269 HAS SOUPS 5894269 WITH SCORE 5907677.133
AT ITER 3141 NEW BEST:: SOT 27766669 SOS 13400546 HAS SOPS 13400546 HAS SOUS 5893203 HAS SOUPS 5893203 WITH SCORE 5906603.546
AT ITER 3144 NEW BEST:: SOT 27766669 SOS 13400387 HAS SOPS 13400387 HAS SOUS 5893044 HAS SOUPS 5893044 WITH SCORE 5906444.387
AT ITER 3149 NEW BEST:: SOT 27762357 SOS 13391763 HAS SOPS 13391763 HAS SOUS 5893044 HAS SOUPS 5893044 WITH SCORE 5906435.763
AT ITER 3158 NEW BEST:: SOT 27760049 SOS 13387147 HAS SOPS 13387147 HAS SOUS 5893044 HAS SOUPS 5893044 WITH SCORE 5906431.147
AT ITER 3163 NEW BEST:: SOT 27760049 SOS 13387147 HAS SOPS 13387147 HAS SOUS 5893042 HAS SOUPS 5893042 WITH SCORE 5906429.147
AT ITER 3167 NEW BEST:: SOT 27756619 SOS 13380286 HAS SOPS 13380286 HAS SOUS 5893041 HAS SOUPS 5893041 WITH SCORE 5906421.286
AT ITER 3169 NEW BEST:: SOT 27753741 SOS 13374530 HAS SOPS 13374530 HAS SOUS 5893041 HAS SOUPS 5893041 WITH SCORE 5906415.53
AT ITER 3182 NEW BEST:: SOT 27750273 SOS 13367594 HAS SOPS 13367594 HAS SOUS 5893041 HAS SOUPS 5893041 WITH SCORE 5906408.594
AT ITER 3197 NEW BEST:: SOT 27749748 SOS 13366258 HAS SOPS 13366258 HAS SOUS 5892802 HAS SOUPS 5892802 WITH SCORE 5906168.258
AT ITER 3198 NEW BEST:: SOT 27748802 SOS 13364364 HAS SOPS 13364364 HAS SOUS 5892798 HAS SOUPS 5892798 WITH SCORE 5906162.364
AT ITER 3209 NEW BEST:: SOT 27748843 SOS 13364446 HAS SOPS 13364446 HAS SOUS 5892789 HAS SOUPS 5892789 WITH SCORE 5906153.446
AT ITER 3218 NEW BEST:: SOT 27748843 SOS 13364445 HAS SOPS 13364445 HAS SOUS 5892788 HAS SOUPS 5892788 WITH SCORE 5906152.445
AT ITER 3245 NEW BEST:: SOT 27746529 SOS 13359815 HAS SOPS 13359815 HAS SOUS 5892784 HAS SOUPS 5892784 WITH SCORE 5906143.815
AT ITER 3258 NEW BEST:: SOT 27743667 SOS 13353584 HAS SOPS 13353584 HAS SOUS 5892703 HAS SOUPS 5892703 WITH SCORE 5906056.584
AT ITER 3260 NEW BEST:: SOT 27743423 SOS 13353096 HAS SOPS 13353096 HAS SOUS 5892459 HAS SOUPS 5892459 WITH SCORE 5905812.096
AT ITER 3277 NEW BEST:: SOT 27740855 SOS 13347958 HAS SOPS 13347958 HAS SOUS 5892455 HAS SOUPS 5892455 WITH SCORE 5905802.958
AT ITER 3281 NEW BEST:: SOT 27740082 SOS 13345988 HAS SOPS 13345988 HAS SOUS 5892128 HAS SOUPS 5892128 WITH SCORE 5905473.988
AT ITER 3285 NEW BEST:: SOT 27738052 SOS 13341926 HAS SOPS 13341926 HAS SOUS 5892124 HAS SOUPS 5892124 WITH SCORE 5905465.926
AT ITER 3294 NEW BEST:: SOT 27737482 SOS 13340786 HAS SOPS 13340786 HAS SOUS 5892124 HAS SOUPS 5892124 WITH SCORE 5905464.786
AT ITER 3295 NEW BEST:: SOT 27736136 SOS 13338093 HAS SOPS 13338093 HAS SOUS 5892123 HAS SOUPS 5892123 WITH SCORE 5905461.093
AT ITER 3304 NEW BEST:: SOT 27733220 SOS 13331816 HAS SOPS 13331816 HAS SOUS 5891678 HAS SOUPS 5891678 WITH SCORE 5905009.816
AT ITER 3309 NEW BEST:: SOT 27730294 SOS 13325159 HAS SOPS 13325159 HAS SOUS 5891267 HAS SOUPS 5891267 WITH SCORE 5904592.159
AT ITER 3339 NEW BEST:: SOT 27728042 SOS 13320654 HAS SOPS 13320654 HAS SOUS 5891266 HAS SOUPS 5891266 WITH SCORE 5904586.654
AT ITER 3366 NEW BEST:: SOT 27723494 SOS 13311557 HAS SOPS 13311557 HAS SOUS 5891265 HAS SOUPS 5891265 WITH SCORE 5904576.557
AT ITER 3367 NEW BEST:: SOT 27722514 SOS 13309107 HAS SOPS 13309107 HAS SOUS 5890775 HAS SOUPS 5890775 WITH SCORE 5904084.107
AT ITER 3375 NEW BEST:: SOT 27722514 SOS 13309041 HAS SOPS 13309041 HAS SOUS 5890705 HAS SOUPS 5890705 WITH SCORE 5904014.041
AT ITER 3385 NEW BEST:: SOT 27721512 SOS 13307037 HAS SOPS 13307037 HAS SOUS 5890705 HAS SOUPS 5890705 WITH SCORE 5904012.037
AT ITER 3389 NEW BEST:: SOT 27719916 SOS 13304375 HAS SOPS 13304375 HAS SOUS 5890169 HAS SOUPS 5890169 WITH SCORE 5903473.375
AT ITER 3406 NEW BEST:: SOT 27719540 SOS 13303719 HAS SOPS 13303719 HAS SOUS 5889887 HAS SOUPS 5889887 WITH SCORE 5903190.719
AT ITER 3410 NEW BEST:: SOT 27716034 SOS 13296707 HAS SOPS 13296707 HAS SOUS 5889887 HAS SOUPS 5889887 WITH SCORE 5903183.707
AT ITER 3427 NEW BEST:: SOT 27711773 SOS 13286012 HAS SOPS 13286012 HAS SOUS 5889846 HAS SOUPS 5889846 WITH SCORE 5903132.012
AT ITER 3428 NEW BEST:: SOT 27708967 SOS 13278997 HAS SOPS 13278997 HAS SOUS 5888441 HAS SOUPS 5888441 WITH SCORE 5901719.997
AT ITER 3450 NEW BEST:: SOT 27706893 SOS 13274848 HAS SOPS 13274848 HAS SOUS 5888440 HAS SOUPS 5888440 WITH SCORE 5901714.848
AT ITER 3454 NEW BEST:: SOT 27705219 SOS 13271500 HAS SOPS 13271500 HAS SOUS 5888440 HAS SOUPS 5888440 WITH SCORE 5901711.5
AT ITER 3457 NEW BEST:: SOT 27705167 SOS 13271394 HAS SOPS 13271394 HAS SOUS 5888436 HAS SOUPS 5888436 WITH SCORE 5901707.394
AT ITER 3459 NEW BEST:: SOT 27704359 SOS 13269776 HAS SOPS 13269776 HAS SOUS 5888432 HAS SOUPS 5888432 WITH SCORE 5901701.776
AT ITER 3465 NEW BEST:: SOT 27701961 SOS 13264978 HAS SOPS 13264978 HAS SOUS 5888428 HAS SOUPS 5888428 WITH SCORE 5901692.978
AT ITER 3476 NEW BEST:: SOT 27699987 SOS 13261030 HAS SOPS 13261030 HAS SOUS 5888428 HAS SOUPS 5888428 WITH SCORE 5901689.03
AT ITER 3479 NEW BEST:: SOT 27699763 SOS 13260470 HAS SOPS 13260470 HAS SOUS 5888314 HAS SOUPS 5888314 WITH SCORE 5901574.47
AT ITER 3487 NEW BEST:: SOT 27694628 SOS 13248446 HAS SOPS 13248446 HAS SOUS 5888302 HAS SOUPS 5888302 WITH SCORE 5901550.446
AT ITER 3490 NEW BEST:: SOT 27694495 SOS 13248180 HAS SOPS 13248180 HAS SOUS 5888246 HAS SOUPS 5888246 WITH SCORE 5901494.18
AT ITER 3498 NEW BEST:: SOT 27687694 SOS 13235925 HAS SOPS 13235925 HAS SOUS 5887523 HAS SOUPS 5887523 WITH SCORE 5900758.925
AT ITER 3504 NEW BEST:: SOT 27684458 SOS 13229453 HAS SOPS 13229453 HAS SOUS 5887523 HAS SOUPS 5887523 WITH SCORE 5900752.453
AT ITER 3526 NEW BEST:: SOT 27677781 SOS 13218769 HAS SOPS 13218769 HAS SOUS 5887386 HAS SOUPS 5887386 WITH SCORE 5900604.769
AT ITER 3527 NEW BEST:: SOT 27673627 SOS 13210459 HAS SOPS 13210459 HAS SOUS 5887382 HAS SOUPS 5887382 WITH SCORE 5900592.459
AT ITER 3528 NEW BEST:: SOT 27672839 SOS 13208489 HAS SOPS 13208489 HAS SOUS 5886988 HAS SOUPS 5886988 WITH SCORE 5900196.489
AT ITER 3529 NEW BEST:: SOT 27673926 SOS 13210941 HAS SOPS 13210941 HAS SOUS 5886825 HAS SOUPS 5886825 WITH SCORE 5900035.941
AT ITER 3544 NEW BEST:: SOT 27673909 SOS 13210907 HAS SOPS 13210907 HAS SOUS 5886825 HAS SOUPS 5886825 WITH SCORE 5900035.907
AT ITER 3550 NEW BEST:: SOT 27673123 SOS 13208942 HAS SOPS 13208942 HAS SOUS 5885766 HAS SOUPS 5885766 WITH SCORE 5898974.942
AT ITER 3553 NEW BEST:: SOT 27670535 SOS 13202635 HAS SOPS 13202635 HAS SOUS 5884635 HAS SOUPS 5884635 WITH SCORE 5897837.635
AT ITER 3563 NEW BEST:: SOT 27670004 SOS 13201573 HAS SOPS 13201573 HAS SOUS 5884104 HAS SOUPS 5884104 WITH SCORE 5897305.573
AT ITER 3565 NEW BEST:: SOT 27665852 SOS 13193269 HAS SOPS 13193269 HAS SOUS 5884104 HAS SOUPS 5884104 WITH SCORE 5897297.269
AT ITER 3570 NEW BEST:: SOT 27661940 SOS 13183489 HAS SOPS 13183489 HAS SOUS 5882148 HAS SOUPS 5882148 WITH SCORE 5895331.489
AT ITER 3573 NEW BEST:: SOT 27657580 SOS 13174767 HAS SOPS 13174767 HAS SOUS 5882144 HAS SOUPS 5882144 WITH SCORE 5895318.767
AT ITER 3582 NEW BEST:: SOT 27654154 SOS 13166202 HAS SOPS 13166202 HAS SOUS 5877005 HAS SOUPS 5877005 WITH SCORE 5890171.202
AT ITER 3587 NEW BEST:: SOT 27649838 SOS 13155723 HAS SOPS 13155723 HAS SOUS 5875156 HAS SOUPS 5875156 WITH SCORE 5888311.723
AT ITER 3598 NEW BEST:: SOT 27643204 SOS 13144632 HAS SOPS 13144632 HAS SOUS 5872977 HAS SOUPS 5872977 WITH SCORE 5886121.632
AT ITER 3601 NEW BEST:: SOT 27640544 SOS 13139310 HAS SOPS 13139310 HAS SOUS 5872973 HAS SOUPS 5872973 WITH SCORE 5886112.31
AT ITER 3605 NEW BEST:: SOT 27640544 SOS 13139308 HAS SOPS 13139308 HAS SOUS 5872969 HAS SOUPS 5872969 WITH SCORE 5886108.308
AT ITER 3619 NEW BEST:: SOT 27639198 SOS 13135943 HAS SOPS 13135943 HAS SOUS 5872296 HAS SOUPS 5872296 WITH SCORE 5885431.943
AT ITER 3649 NEW BEST:: SOT 27637912 SOS 13133371 HAS SOPS 13133371 HAS SOUS 5871010 HAS SOUPS 5871010 WITH SCORE 5884143.371
AT ITER 3656 NEW BEST:: SOT 27636427 SOS 13130958 HAS SOPS 13130958 HAS SOUS 5870702 HAS SOUPS 5870702 WITH SCORE 5883832.958
AT ITER 3658 NEW BEST:: SOT 27636427 SOS 13130956 HAS SOPS 13130956 HAS SOUS 5870698 HAS SOUPS 5870698 WITH SCORE 5883828.956
AT ITER 3668 NEW BEST:: SOT 27633375 SOS 13124851 HAS SOPS 13124851 HAS SOUS 5870697 HAS SOUPS 5870697 WITH SCORE 5883821.851
AT ITER 3681 NEW BEST:: SOT 27632545 SOS 13123191 HAS SOPS 13123191 HAS SOUS 5870697 HAS SOUPS 5870697 WITH SCORE 5883820.191
AT ITER 3684 NEW BEST:: SOT 27629683 SOS 13117467 HAS SOPS 13117467 HAS SOUS 5870697 HAS SOUPS 5870697 WITH SCORE 5883814.467
AT ITER 3693 NEW BEST:: SOT 27626587 SOS 13110098 HAS SOPS 13110098 HAS SOUS 5870548 HAS SOUPS 5870548 WITH SCORE 5883658.098
AT ITER 3694 NEW BEST:: SOT 27625319 SOS 13107561 HAS SOPS 13107561 HAS SOUS 5870547 HAS SOUPS 5870547 WITH SCORE 5883654.561
AT ITER 3704 NEW BEST:: SOT 27625319 SOS 13107251 HAS SOPS 13107251 HAS SOUS 5869617 HAS SOUPS 5869617 WITH SCORE 5882724.251
AT ITER 3708 NEW BEST:: SOT 27622081 SOS 13100046 HAS SOPS 13100046 HAS SOUS 5869150 HAS SOUPS 5869150 WITH SCORE 5882250.046
AT ITER 3714 NEW BEST:: SOT 27621637 SOS 13098936 HAS SOPS 13098936 HAS SOUS 5868924 HAS SOUPS 5868924 WITH SCORE 5882022.936
AT ITER 3718 NEW BEST:: SOT 27620695 SOS 13097052 HAS SOPS 13097052 HAS SOUS 5868924 HAS SOUPS 5868924 WITH SCORE 5882021.052
AT ITER 3734 NEW BEST:: SOT 27620535 SOS 13096237 HAS SOPS 13096237 HAS SOUS 5868269 HAS SOUPS 5868269 WITH SCORE 5881365.237
AT ITER 3747 NEW BEST:: SOT 27617303 SOS 13088533 HAS SOPS 13088533 HAS SOUS 5867223 HAS SOUPS 5867223 WITH SCORE 5880311.533
AT ITER 3753 NEW BEST:: SOT 27616893 SOS 13086461 HAS SOPS 13086461 HAS SOUS 5865980 HAS SOUPS 5865980 WITH SCORE 5879066.461
AT ITER 3765 NEW BEST:: SOT 27613993 SOS 13080659 HAS SOPS 13080659 HAS SOUS 5865976 HAS SOUPS 5865976 WITH SCORE 5879056.659
AT ITER 3774 NEW BEST:: SOT 27611151 SOS 13074974 HAS SOPS 13074974 HAS SOUS 5865975 HAS SOUPS 5865975 WITH SCORE 5879049.974
AT ITER 3775 NEW BEST:: SOT 27606973 SOS 13064634 HAS SOPS 13064634 HAS SOUS 5862187 HAS SOUPS 5862187 WITH SCORE 5875251.634
AT ITER 3784 NEW BEST:: SOT 27605225 SOS 13061136 HAS SOPS 13061136 HAS SOUS 5862183 HAS SOUPS 5862183 WITH SCORE 5875244.136
AT ITER 3804 NEW BEST:: SOT 27601841 SOS 13054366 HAS SOPS 13054366 HAS SOUS 5862179 HAS SOUPS 5862179 WITH SCORE 5875233.366
AT ITER 3814 NEW BEST:: SOT 27599919 SOS 13049586 HAS SOPS 13049586 HAS SOUS 5861243 HAS SOUPS 5861243 WITH SCORE 5874292.586
AT ITER 3821 NEW BEST:: SOT 27595685 SOS 13041118 HAS SOPS 13041118 HAS SOUS 5861243 HAS SOUPS 5861243 WITH SCORE 5874284.118
AT ITER 3826 NEW BEST:: SOT 27593255 SOS 13035043 HAS SOPS 13035043 HAS SOUS 5857598 HAS SOUPS 5857598 WITH SCORE 5870633.043
AT ITER 3836 NEW BEST:: SOT 27592751 SOS 13034035 HAS SOPS 13034035 HAS SOUS 5856927 HAS SOUPS 5856927 WITH SCORE 5869961.035
AT ITER 3856 NEW BEST:: SOT 27592574 SOS 13033681 HAS SOPS 13033681 HAS SOUS 5856750 HAS SOUPS 5856750 WITH SCORE 5869783.681
AT ITER 3859 NEW BEST:: SOT 27592480 SOS 13033493 HAS SOPS 13033493 HAS SOUS 5856656 HAS SOUPS 5856656 WITH SCORE 5869689.493
AT ITER 3884 NEW BEST:: SOT 27591166 SOS 13032178 HAS SOPS 13032178 HAS SOUS 5855337 HAS SOUPS 5855337 WITH SCORE 5868369.178
AT ITER 3888 NEW BEST:: SOT 27588330 SOS 13025138 HAS SOPS 13025138 HAS SOUS 5853967 HAS SOUPS 5853967 WITH SCORE 5866992.138
AT ITER 3896 NEW BEST:: SOT 27585828 SOS 13018861 HAS SOPS 13018861 HAS SOUS 5853132 HAS SOUPS 5853132 WITH SCORE 5866150.861
AT ITER 3921 NEW BEST:: SOT 27585032 SOS 13017269 HAS SOPS 13017269 HAS SOUS 5853132 HAS SOUPS 5853132 WITH SCORE 5866149.269
AT ITER 3923 NEW BEST:: SOT 27583019 SOS 13012131 HAS SOPS 13012131 HAS SOUS 5852355 HAS SOUPS 5852355 WITH SCORE 5865367.131
AT ITER 3937 NEW BEST:: SOT 27582949 SOS 13011991 HAS SOPS 13011991 HAS SOUS 5852355 HAS SOUPS 5852355 WITH SCORE 5865366.991
AT ITER 3945 NEW BEST:: SOT 27582117 SOS 13010325 HAS SOPS 13010325 HAS SOUS 5852351 HAS SOUPS 5852351 WITH SCORE 5865361.325
AT ITER 3947 NEW BEST:: SOT 27580725 SOS 13007541 HAS SOPS 13007541 HAS SOUS 5852351 HAS SOUPS 5852351 WITH SCORE 5865358.541
AT ITER 3948 NEW BEST:: SOT 27578241 SOS 13002573 HAS SOPS 13002573 HAS SOUS 5852351 HAS SOUPS 5852351 WITH SCORE 5865353.573
AT ITER 3957 NEW BEST:: SOT 27574212 SOS 12994826 HAS SOPS 12994826 HAS SOUS 5849974 HAS SOUPS 5849974 WITH SCORE 5862968.826
AT ITER 3964 NEW BEST:: SOT 27571120 SOS 12987321 HAS SOPS 12987321 HAS SOUS 5847379 HAS SOUPS 5847379 WITH SCORE 5860366.321
AT ITER 3981 NEW BEST:: SOT 27568788 SOS 12980828 HAS SOPS 12980828 HAS SOUS 5846872 HAS SOUPS 5846872 WITH SCORE 5859852.828
AT ITER 3998 NEW BEST:: SOT 27565919 SOS 12974549 HAS SOPS 12974549 HAS SOUS 5846698 HAS SOUPS 5846698 WITH SCORE 5859672.549
AT ITER 4003 NEW BEST:: SOT 27563463 SOS 12969635 HAS SOPS 12969635 HAS SOUS 5846694 HAS SOUPS 5846694 WITH SCORE 5859663.635
AT ITER 4004 NEW BEST:: SOT 27563920 SOS 12970612 HAS SOPS 12970612 HAS SOUS 5846300 HAS SOUPS 5846300 WITH SCORE 5859270.612
AT ITER 4010 NEW BEST:: SOT 27562346 SOS 12967463 HAS SOPS 12967463 HAS SOUS 5846299 HAS SOUPS 5846299 WITH SCORE 5859266.463
AT ITER 4017 NEW BEST:: SOT 27558437 SOS 12958552 HAS SOPS 12958552 HAS SOUS 5846299 HAS SOUPS 5846299 WITH SCORE 5859257.552
AT ITER 4036 NEW BEST:: SOT 27556849 SOS 12954962 HAS SOPS 12954962 HAS SOUS 5845885 HAS SOUPS 5845885 WITH SCORE 5858839.962
AT ITER 4041 NEW BEST:: SOT 27550093 SOS 12943421 HAS SOPS 12943421 HAS SOUS 5845140 HAS SOUPS 5845140 WITH SCORE 5858083.421
AT ITER 4043 NEW BEST:: SOT 27548613 SOS 12940623 HAS SOPS 12940623 HAS SOUS 5844710 HAS SOUPS 5844710 WITH SCORE 5857650.623
AT ITER 4044 NEW BEST:: SOT 27546507 SOS 12936410 HAS SOPS 12936410 HAS SOUS 5844709 HAS SOUPS 5844709 WITH SCORE 5857645.41
AT ITER 4045 NEW BEST:: SOT 27543099 SOS 12928043 HAS SOPS 12928043 HAS SOUS 5843158 HAS SOUPS 5843158 WITH SCORE 5856086.043
AT ITER 4050 NEW BEST:: SOT 27542161 SOS 12925698 HAS SOPS 12925698 HAS SOUS 5841751 HAS SOUPS 5841751 WITH SCORE 5854676.698
AT ITER 4052 NEW BEST:: SOT 27540089 SOS 12921552 HAS SOPS 12921552 HAS SOUS 5841747 HAS SOUPS 5841747 WITH SCORE 5854668.552
AT ITER 4073 NEW BEST:: SOT 27540088 SOS 12921008 HAS SOPS 12921008 HAS SOUS 5841742 HAS SOUPS 5841742 WITH SCORE 5854663.008
AT ITER 4076 NEW BEST:: SOT 27539851 SOS 12920612 HAS SOPS 12920612 HAS SOUS 5841662 HAS SOUPS 5841662 WITH SCORE 5854582.612
AT ITER 4085 NEW BEST:: SOT 27538708 SOS 12918326 HAS SOPS 12918326 HAS SOUS 5840139 HAS SOUPS 5840139 WITH SCORE 5853057.326
AT ITER 4092 NEW BEST:: SOT 27535313 SOS 12910259 HAS SOPS 12910259 HAS SOUS 5839137 HAS SOUPS 5839137 WITH SCORE 5852047.259
AT ITER 4094 NEW BEST:: SOT 27531881 SOS 12902170 HAS SOPS 12902170 HAS SOUS 5837912 HAS SOUPS 5837912 WITH SCORE 5850814.17
AT ITER 4097 NEW BEST:: SOT 27531817 SOS 12902040 HAS SOPS 12902040 HAS SOUS 5837908 HAS SOUPS 5837908 WITH SCORE 5850810.04
AT ITER 4100 NEW BEST:: SOT 27531245 SOS 12900896 HAS SOPS 12900896 HAS SOUS 5837908 HAS SOUPS 5837908 WITH SCORE 5850808.896
AT ITER 4111 NEW BEST:: SOT 27529893 SOS 12897516 HAS SOPS 12897516 HAS SOUS 5837232 HAS SOUPS 5837232 WITH SCORE 5850129.516
AT ITER 4123 NEW BEST:: SOT 27526667 SOS 12890038 HAS SOPS 12890038 HAS SOUS 5836206 HAS SOUPS 5836206 WITH SCORE 5849096.038
AT ITER 4124 NEW BEST:: SOT 27523607 SOS 12881742 HAS SOPS 12881742 HAS SOUS 5834924 HAS SOUPS 5834924 WITH SCORE 5847805.742
AT ITER 4132 NEW BEST:: SOT 27520676 SOS 12875332 HAS SOPS 12875332 HAS SOUS 5834544 HAS SOUPS 5834544 WITH SCORE 5847419.332
AT ITER 4139 NEW BEST:: SOT 27519364 SOS 12872706 HAS SOPS 12872706 HAS SOUS 5834540 HAS SOUPS 5834540 WITH SCORE 5847412.706
AT ITER 4145 NEW BEST:: SOT 27515394 SOS 12862939 HAS SOPS 12862939 HAS SOUS 5832709 HAS SOUPS 5832709 WITH SCORE 5845571.939
AT ITER 4164 NEW BEST:: SOT 27514338 SOS 12860135 HAS SOPS 12860135 HAS SOUS 5832389 HAS SOUPS 5832389 WITH SCORE 5845249.135
AT ITER 4168 NEW BEST:: SOT 27511108 SOS 12853673 HAS SOPS 12853673 HAS SOUS 5832385 HAS SOUPS 5832385 WITH SCORE 5845238.673
AT ITER 4179 NEW BEST:: SOT 27506466 SOS 12842698 HAS SOPS 12842698 HAS SOUS 5830692 HAS SOUPS 5830692 WITH SCORE 5843534.698
AT ITER 4181 NEW BEST:: SOT 27506344 SOS 12842454 HAS SOPS 12842454 HAS SOUS 5830570 HAS SOUPS 5830570 WITH SCORE 5843412.454
AT ITER 4182 NEW BEST:: SOT 27506344 SOS 12842061 HAS SOPS 12842061 HAS SOUS 5830257 HAS SOUPS 5830257 WITH SCORE 5843099.061
AT ITER 4209 NEW BEST:: SOT 27504164 SOS 12836384 HAS SOPS 12836384 HAS SOUS 5827233 HAS SOUPS 5827233 WITH SCORE 5840069.384
AT ITER 4210 NEW BEST:: SOT 27500508 SOS 12827336 HAS SOPS 12827336 HAS SOUS 5825495 HAS SOUPS 5825495 WITH SCORE 5838322.336
AT ITER 4216 NEW BEST:: SOT 27500170 SOS 12826521 HAS SOPS 12826521 HAS SOUS 5825356 HAS SOUPS 5825356 WITH SCORE 5838182.521
AT ITER 4217 NEW BEST:: SOT 27496654 SOS 12817731 HAS SOPS 12817731 HAS SOUS 5823598 HAS SOUPS 5823598 WITH SCORE 5836415.731
AT ITER 4225 NEW BEST:: SOT 27494350 SOS 12813123 HAS SOPS 12813123 HAS SOUS 5823598 HAS SOUPS 5823598 WITH SCORE 5836411.123
AT ITER 4243 NEW BEST:: SOT 27493562 SOS 12811546 HAS SOPS 12811546 HAS SOUS 5823597 HAS SOUPS 5823597 WITH SCORE 5836408.546
AT ITER 4248 NEW BEST:: SOT 27492324 SOS 12809070 HAS SOPS 12809070 HAS SOUS 5823597 HAS SOUPS 5823597 WITH SCORE 5836406.07
AT ITER 4259 NEW BEST:: SOT 27492324 SOS 12809070 HAS SOPS 12809070 HAS SOUS 5821345 HAS SOUPS 5821345 WITH SCORE 5834154.07
AT ITER 4260 NEW BEST:: SOT 27491362 SOS 12806665 HAS SOPS 12806665 HAS SOUS 5819902 HAS SOUPS 5819902 WITH SCORE 5832708.665
AT ITER 4276 NEW BEST:: SOT 27491361 SOS 12806658 HAS SOPS 12806658 HAS SOUS 5819893 HAS SOUPS 5819893 WITH SCORE 5832699.658
AT ITER 4280 NEW BEST:: SOT 27491157 SOS 12806250 HAS SOPS 12806250 HAS SOUS 5819893 HAS SOUPS 5819893 WITH SCORE 5832699.25
AT ITER 4284 NEW BEST:: SOT 27488666 SOS 12799904 HAS SOPS 12799904 HAS SOUS 5818808 HAS SOUPS 5818808 WITH SCORE 5831607.904
AT ITER 4289 NEW BEST:: SOT 27486874 SOS 12795475 HAS SOPS 12795475 HAS SOUS 5817963 HAS SOUPS 5817963 WITH SCORE 5830758.475
AT ITER 4292 NEW BEST:: SOT 27485746 SOS 12792655 HAS SOPS 12792655 HAS SOUS 5817399 HAS SOUPS 5817399 WITH SCORE 5830191.655
AT ITER 4294 NEW BEST:: SOT 27483432 SOS 12786870 HAS SOPS 12786870 HAS SOUS 5816240 HAS SOUPS 5816240 WITH SCORE 5829026.87
AT ITER 4296 NEW BEST:: SOT 27480371 SOS 12779971 HAS SOPS 12779971 HAS SOUS 5815874 HAS SOUPS 5815874 WITH SCORE 5828653.971
AT ITER 4312 NEW BEST:: SOT 27480087 SOS 12779403 HAS SOPS 12779403 HAS SOUS 5815874 HAS SOUPS 5815874 WITH SCORE 5828653.403
AT ITER 4321 NEW BEST:: SOT 27480079 SOS 12779379 HAS SOPS 12779379 HAS SOUS 5815874 HAS SOUPS 5815874 WITH SCORE 5828653.379
AT ITER 4323 NEW BEST:: SOT 27480008 SOS 12779237 HAS SOPS 12779237 HAS SOUS 5815874 HAS SOUPS 5815874 WITH SCORE 5828653.237
AT ITER 4324 NEW BEST:: SOT 27478370 SOS 12775961 HAS SOPS 12775961 HAS SOUS 5815874 HAS SOUPS 5815874 WITH SCORE 5828649.961
AT ITER 4355 NEW BEST:: SOT 27474060 SOS 12767339 HAS SOPS 12767339 HAS SOUS 5815870 HAS SOUPS 5815870 WITH SCORE 5828637.339
AT ITER 4375 NEW BEST:: SOT 27470390 SOS 12758164 HAS SOPS 12758164 HAS SOUS 5813073 HAS SOUPS 5813073 WITH SCORE 5825831.164
AT ITER 4380 NEW BEST:: SOT 27470262 SOS 12757908 HAS SOPS 12757908 HAS SOUS 5813073 HAS SOUPS 5813073 WITH SCORE 5825830.908
AT ITER 4385 NEW BEST:: SOT 27468506 SOS 12754084 HAS SOPS 12754084 HAS SOUS 5812141 HAS SOUPS 5812141 WITH SCORE 5824895.084
AT ITER 4396 NEW BEST:: SOT 27465903 SOS 12747975 HAS SOPS 12747975 HAS SOUS 5810877 HAS SOUPS 5810877 WITH SCORE 5823624.975
AT ITER 4403 NEW BEST:: SOT 27463095 SOS 12742358 HAS SOPS 12742358 HAS SOUS 5810876 HAS SOUPS 5810876 WITH SCORE 5823618.358
AT ITER 4406 NEW BEST:: SOT 27460982 SOS 12740533 HAS SOPS 12740533 HAS SOUS 5809361 HAS SOUPS 5809361 WITH SCORE 5822101.533
AT ITER 4417 NEW BEST:: SOT 27458595 SOS 12734672 HAS SOPS 12734672 HAS SOUS 5808975 HAS SOUPS 5808975 WITH SCORE 5821709.672
AT ITER 4433 NEW BEST:: SOT 27457464 SOS 12731684 HAS SOPS 12731684 HAS SOUS 5808570 HAS SOUPS 5808570 WITH SCORE 5821301.684
AT ITER 4444 NEW BEST:: SOT 27452955 SOS 12721651 HAS SOPS 12721651 HAS SOUS 5808437 HAS SOUPS 5808437 WITH SCORE 5821158.651
AT ITER 4446 NEW BEST:: SOT 27447156 SOS 12710382 HAS SOPS 12710382 HAS SOUS 5805267 HAS SOUPS 5805267 WITH SCORE 5817977.382
AT ITER 4449 NEW BEST:: SOT 27443172 SOS 12702413 HAS SOPS 12702413 HAS SOUS 5805266 HAS SOUPS 5805266 WITH SCORE 5817968.413
AT ITER 4463 NEW BEST:: SOT 27442826 SOS 12701770 HAS SOPS 12701770 HAS SOUS 5804756 HAS SOUPS 5804756 WITH SCORE 5817457.77
AT ITER 4466 NEW BEST:: SOT 27441406 SOS 12698929 HAS SOPS 12698929 HAS SOUS 5804755 HAS SOUPS 5804755 WITH SCORE 5817453.929
AT ITER 4475 NEW BEST:: SOT 27438842 SOS 12692519 HAS SOPS 12692519 HAS SOUS 5801017 HAS SOUPS 5801017 WITH SCORE 5813709.519
AT ITER 4486 NEW BEST:: SOT 27438842 SOS 12691518 HAS SOPS 12691518 HAS SOUS 5800528 HAS SOUPS 5800528 WITH SCORE 5813219.518
AT ITER 4493 NEW BEST:: SOT 27437710 SOS 12689252 HAS SOPS 12689252 HAS SOUS 5800524 HAS SOUPS 5800524 WITH SCORE 5813213.252
AT ITER 4494 NEW BEST:: SOT 27434680 SOS 12683083 HAS SOPS 12683083 HAS SOUS 5800415 HAS SOUPS 5800415 WITH SCORE 5813098.083
AT ITER 4502 NEW BEST:: SOT 27429638 SOS 12670277 HAS SOPS 12670277 HAS SOUS 5794085 HAS SOUPS 5794085 WITH SCORE 5806755.277
AT ITER 4515 NEW BEST:: SOT 27429638 SOS 12669458 HAS SOPS 12669458 HAS SOUS 5793266 HAS SOUPS 5793266 WITH SCORE 5805935.458
AT ITER 4557 NEW BEST:: SOT 27429167 SOS 12668238 HAS SOPS 12668238 HAS SOUS 5793073 HAS SOUPS 5793073 WITH SCORE 5805741.238
AT ITER 4561 NEW BEST:: SOT 27427649 SOS 12666896 HAS SOPS 12666896 HAS SOUS 5792703 HAS SOUPS 5792703 WITH SCORE 5805369.896
AT ITER 4576 NEW BEST:: SOT 27422231 SOS 12658597 HAS SOPS 12658597 HAS SOUS 5792363 HAS SOUPS 5792363 WITH SCORE 5805021.597
AT ITER 4580 NEW BEST:: SOT 27422231 SOS 12658595 HAS SOPS 12658595 HAS SOUS 5792359 HAS SOUPS 5792359 WITH SCORE 5805017.595
AT ITER 4600 NEW BEST:: SOT 27420433 SOS 12654999 HAS SOPS 12654999 HAS SOUS 5792359 HAS SOUPS 5792359 WITH SCORE 5805013.999
AT ITER 4601 NEW BEST:: SOT 27420061 SOS 12654069 HAS SOPS 12654069 HAS SOUS 5792171 HAS SOUPS 5792171 WITH SCORE 5804825.069
AT ITER 4613 NEW BEST:: SOT 27415747 SOS 12642569 HAS SOPS 12642569 HAS SOUS 5787877 HAS SOUPS 5787877 WITH SCORE 5800519.569
AT ITER 4619 NEW BEST:: SOT 27415747 SOS 12642567 HAS SOPS 12642567 HAS SOUS 5787873 HAS SOUPS 5787873 WITH SCORE 5800515.567
AT ITER 4624 NEW BEST:: SOT 27414983 SOS 12641039 HAS SOPS 12641039 HAS SOUS 5787873 HAS SOUPS 5787873 WITH SCORE 5800514.039
AT ITER 4645 NEW BEST:: SOT 27414095 SOS 12639263 HAS SOPS 12639263 HAS SOUS 5787873 HAS SOUPS 5787873 WITH SCORE 5800512.263
AT ITER 4646 NEW BEST:: SOT 27414035 SOS 12639143 HAS SOPS 12639143 HAS SOUS 5787873 HAS SOUPS 5787873 WITH SCORE 5800512.143
AT ITER 4648 NEW BEST:: SOT 27410088 SOS 12629541 HAS SOPS 12629541 HAS SOUS 5787374 HAS SOUPS 5787374 WITH SCORE 5800003.541
AT ITER 4649 NEW BEST:: SOT 27410088 SOS 12629356 HAS SOPS 12629356 HAS SOUS 5787189 HAS SOUPS 5787189 WITH SCORE 5799818.356
AT ITER 4657 NEW BEST:: SOT 27409331 SOS 12628599 HAS SOPS 12628599 HAS SOUS 5786432 HAS SOUPS 5786432 WITH SCORE 5799060.599
AT ITER 4665 NEW BEST:: SOT 27410600 SOS 12626923 HAS SOPS 12626923 HAS SOUS 5784754 HAS SOUPS 5784754 WITH SCORE 5797380.923
AT ITER 4669 NEW BEST:: SOT 27410551 SOS 12626825 HAS SOPS 12626825 HAS SOUS 5784754 HAS SOUPS 5784754 WITH SCORE 5797380.825
AT ITER 4677 NEW BEST:: SOT 27408989 SOS 12622857 HAS SOPS 12622857 HAS SOUS 5784280 HAS SOUPS 5784280 WITH SCORE 5796902.857
AT ITER 4683 NEW BEST:: SOT 27408199 SOS 12621004 HAS SOPS 12621004 HAS SOUS 5784167 HAS SOUPS 5784167 WITH SCORE 5796788.004
AT ITER 4689 NEW BEST:: SOT 27408199 SOS 12621003 HAS SOPS 12621003 HAS SOUS 5784162 HAS SOUPS 5784162 WITH SCORE 5796783.003
AT ITER 4690 NEW BEST:: SOT 27408199 SOS 12619849 HAS SOPS 12619849 HAS SOUS 5783262 HAS SOUPS 5783262 WITH SCORE 5795881.849
AT ITER 4706 NEW BEST:: SOT 27405031 SOS 12613511 HAS SOPS 12613511 HAS SOUS 5783258 HAS SOUPS 5783258 WITH SCORE 5795871.511
AT ITER 4707 NEW BEST:: SOT 27400389 SOS 12606166 HAS SOPS 12606166 HAS SOUS 5783006 HAS SOUPS 5783006 WITH SCORE 5795612.166
AT ITER 4713 NEW BEST:: SOT 27396718 SOS 12597927 HAS SOPS 12597927 HAS SOUS 5780906 HAS SOUPS 5780906 WITH SCORE 5793503.927
AT ITER 4729 NEW BEST:: SOT 27395880 SOS 12595832 HAS SOPS 12595832 HAS SOUS 5780487 HAS SOUPS 5780487 WITH SCORE 5793082.832
AT ITER 4734 NEW BEST:: SOT 27393940 SOS 12590982 HAS SOPS 12590982 HAS SOUS 5779517 HAS SOUPS 5779517 WITH SCORE 5792107.982
AT ITER 4748 NEW BEST:: SOT 27392016 SOS 12584627 HAS SOPS 12584627 HAS SOUS 5777284 HAS SOUPS 5777284 WITH SCORE 5789868.627
AT ITER 4760 NEW BEST:: SOT 27389734 SOS 12579591 HAS SOPS 12579591 HAS SOUS 5776812 HAS SOUPS 5776812 WITH SCORE 5789391.591
AT ITER 4770 NEW BEST:: SOT 27384264 SOS 12568112 HAS SOPS 12568112 HAS SOUS 5776534 HAS SOUPS 5776534 WITH SCORE 5789102.112
AT ITER 4781 NEW BEST:: SOT 27384350 SOS 12568284 HAS SOPS 12568284 HAS SOUS 5776380 HAS SOUPS 5776380 WITH SCORE 5788948.284
AT ITER 4791 NEW BEST:: SOT 27378704 SOS 12558871 HAS SOPS 12558871 HAS SOUS 5775762 HAS SOUPS 5775762 WITH SCORE 5788320.871
AT ITER 4795 NEW BEST:: SOT 27378704 SOS 12558870 HAS SOPS 12558870 HAS SOUS 5775757 HAS SOUPS 5775757 WITH SCORE 5788315.87
AT ITER 4801 NEW BEST:: SOT 27374466 SOS 12548960 HAS SOPS 12548960 HAS SOUS 5774533 HAS SOUPS 5774533 WITH SCORE 5787081.96
AT ITER 4822 NEW BEST:: SOT 27370860 SOS 12539945 HAS SOPS 12539945 HAS SOUS 5771748 HAS SOUPS 5771748 WITH SCORE 5784287.945
AT ITER 4827 NEW BEST:: SOT 27369897 SOS 12538019 HAS SOPS 12538019 HAS SOUS 5770464 HAS SOUPS 5770464 WITH SCORE 5783002.019
AT ITER 4857 NEW BEST:: SOT 27365679 SOS 12529582 HAS SOPS 12529582 HAS SOUS 5770463 HAS SOUPS 5770463 WITH SCORE 5782992.582
AT ITER 4865 NEW BEST:: SOT 27363415 SOS 12525053 HAS SOPS 12525053 HAS SOUS 5770462 HAS SOUPS 5770462 WITH SCORE 5782987.053
AT ITER 4873 NEW BEST:: SOT 27360464 SOS 12518586 HAS SOPS 12518586 HAS SOUS 5770014 HAS SOUPS 5770014 WITH SCORE 5782532.586
AT ITER 4877 NEW BEST:: SOT 27360464 SOS 12517430 HAS SOPS 12517430 HAS SOUS 5768856 HAS SOUPS 5768856 WITH SCORE 5781373.43
AT ITER 4882 NEW BEST:: SOT 27357680 SOS 12510809 HAS SOPS 12510809 HAS SOUS 5767801 HAS SOUPS 5767801 WITH SCORE 5780311.809
AT ITER 4904 NEW BEST:: SOT 27352642 SOS 12498893 HAS SOPS 12498893 HAS SOUS 5766625 HAS SOUPS 5766625 WITH SCORE 5779123.893
AT ITER 4906 NEW BEST:: SOT 27351280 SOS 12496914 HAS SOPS 12496914 HAS SOUS 5766426 HAS SOUPS 5766426 WITH SCORE 5778922.914
AT ITER 4914 NEW BEST:: SOT 27350445 SOS 12496079 HAS SOPS 12496079 HAS SOUS 5765865 HAS SOUPS 5765865 WITH SCORE 5778361.079
AT ITER 4920 NEW BEST:: SOT 27348391 SOS 12490760 HAS SOPS 12490760 HAS SOUS 5765158 HAS SOUPS 5765158 WITH SCORE 5777648.76
AT ITER 4924 NEW BEST:: SOT 27347071 SOS 12488558 HAS SOPS 12488558 HAS SOUS 5764714 HAS SOUPS 5764714 WITH SCORE 5777202.558
AT ITER 4935 NEW BEST:: SOT 27346619 SOS 12487652 HAS SOPS 12487652 HAS SOUS 5764258 HAS SOUPS 5764258 WITH SCORE 5776745.652
AT ITER 4939 NEW BEST:: SOT 27345803 SOS 12486427 HAS SOPS 12486427 HAS SOUS 5764257 HAS SOUPS 5764257 WITH SCORE 5776743.427
AT ITER 4941 NEW BEST:: SOT 27343702 SOS 12480846 HAS SOPS 12480846 HAS SOUS 5764030 HAS SOUPS 5764030 WITH SCORE 5776510.846
AT ITER 4944 NEW BEST:: SOT 27340677 SOS 12474116 HAS SOPS 12474116 HAS SOUS 5762393 HAS SOUPS 5762393 WITH SCORE 5774867.116
AT ITER 4945 NEW BEST:: SOT 27337355 SOS 12467470 HAS SOPS 12467470 HAS SOUS 5762389 HAS SOUPS 5762389 WITH SCORE 5774856.47
AT ITER 4947 NEW BEST:: SOT 27333461 SOS 12459682 HAS SOPS 12459682 HAS SOUS 5762389 HAS SOUPS 5762389 WITH SCORE 5774848.682
AT ITER 4948 NEW BEST:: SOT 27333677 SOS 12458449 HAS SOPS 12458449 HAS SOUS 5761576 HAS SOUPS 5761576 WITH SCORE 5774034.449
AT ITER 4965 NEW BEST:: SOT 27330093 SOS 12451281 HAS SOPS 12451281 HAS SOUS 5761576 HAS SOUPS 5761576 WITH SCORE 5774027.281
AT ITER 4995 NEW BEST:: SOT 27330053 SOS 12451161 HAS SOPS 12451161 HAS SOUS 5761576 HAS SOUPS 5761576 WITH SCORE 5774027.161
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-00 (AG( (EU( (! ((potential((tk(P315)>=1) & (tk(P318)>=1))))) , ((potential((tk(P1809)>=1) & (tk(P1812)>=1)))) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-01 (! (EF( (EU( ((potential((tk(P3854)>=1) & (tk(P3922)>=1)))) , ((potential((tk(P3684)>=1) & (tk(P3685)>=1)))) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-02 ( ( (AF( (AF( ((potential((tk(P4013)>=1) & (tk(P4021)>=1)))))))) & (! (AX( ( ((potential((tk(P1433)>=1) & (tk(P1436)>=1)))) | ((potential((tk(P2712)>=1) & (tk(P2725)>=1)))) )))) ) & (! (EU( ( ((potential((tk(P587)>=1) & (tk(P590)>=1)))) | ((potential((tk(P213)>=1) & (tk(P280)>=1)))) ) , ( ((potential((tk(P735)>=1) & (tk(P737)>=1)))) | ((potential((tk(P1187)>=1) & (tk(P1189)>=1)))) ) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-03 ( ( ( ( (! ((potential((tk(P997)>=1))))) | ( ((potential((tk(P2316)>=1) & (tk(P2319)>=1)))) & ( ((potential((tk(P3246)>=1) & (tk(P3379)>=1)))) & ((potential((tk(P3332)>=1) & (tk(P3335)>=1)))) ) ) ) & ((potential((tk(P2993)>=1) & (tk(P2995)>=1)))) ) | (! (AX( ((potential((tk(P3483)>=1) & (tk(P3485)>=1))))))) ) & (EF( ( (AX( ((potential((tk(P2640)>=1) & (tk(P2773)>=1)))))) & ( ( ((potential((tk(P1979)>=1) & (tk(P1982)>=1)))) | ((potential((tk(P1280)>=1) & (tk(P1283)>=1)))) ) & ((potential((tk(P3273)>=1) & (tk(P3274)>=1)))) ) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-04 (AU( (AF( ((potential((tk(P5047)>=1)))))) , (! (AF( ((potential((tk(P1299)>=1) & (tk(P1302)>=1))))))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-05 ( ( (AF( ((potential((tk(P3776)>=1) & (tk(P3779)>=1)))))) | (! ( (EF( ((potential((tk(P1721)>=1) & (tk(P1723)>=1)))))) | ( ( ((potential((tk(P4352)>=1) & (tk(P4366)>=1)))) & ((potential((tk(P1293)>=1) & (tk(P1315)>=1)))) ) | (! ((potential((tk(P3614)>=1) & (tk(P3618)>=1))))) ) )) ) | ( (AU( (! ((potential((tk(P4783)>=1))))) , ( ((potential((tk(P4209)>=1) & (tk(P4211)>=1)))) | ((potential((tk(P3767)>=1) & (tk(P3781)>=1)))) ) )) | ( ((potential((tk(P4469)>=1) & (tk(P4471)>=1)))) & (AX( ((potential((tk(P999)>=1) & (tk(P1000)>=1)))))) ) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-06 (! (AU( ((potential((tk(P4249)>=1)))) , (EF( ((potential((tk(P1200)>=1) & (tk(P1213)>=1)))))) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-07 (EU( (! (AF( ((potential((tk(P3912)>=1) & (tk(P3915)>=1))))))) , (AG( ((potential((tk(P5330)>=1) & (tk(P5334)>=1)))))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-08 (EF( ((potential((tk(P920)>=1) & (tk(P922)>=1))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-09 (! (AF( ((potential((tk(P874)>=1)))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-10 (EG( (AX( ( ( ((potential((tk(P1440)>=1) & (tk(P1441)>=1)))) | ((potential((tk(P2090)>=1) & (tk(P2092)>=1)))) ) | (! ((potential((tk(P4463)>=1) & (tk(P4486)>=1))))) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-11 (! ( (AF( (AG( ((potential((tk(P1639)>=1)))))))) | ( ( ( ( ((potential((tk(P3206)>=1) & (tk(P3210)>=1)))) | ((potential((tk(P4940)>=1) & (tk(P4943)>=1)))) ) & (! ((potential((tk(P964)>=1))))) ) & ( ((potential((tk(P2331)>=1) & (tk(P2333)>=1)))) | ( ((potential((tk(P2241)>=1) & (tk(P2242)>=1)))) | ((potential((tk(P4355)>=1) & (tk(P4358)>=1)))) ) ) ) & (! ( (! ((potential((tk(P2922)>=1) & (tk(P2923)>=1))))) | (! ((potential((tk(P429)>=1) & (tk(P430)>=1))))) )) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-12 ( (AF( ( ( (! ((potential((tk(P3963)>=1) & (tk(P3964)>=1))))) & ( ((potential((tk(P2430)>=1) & (tk(P2433)>=1)))) | ((potential((tk(P2388)>=1) & (tk(P2390)>=1)))) ) ) & ((potential((tk(P444)>=1) & (tk(P446)>=1)))) ))) | (AF( (AF( ((potential((tk(P740)>=1) & (tk(P742)>=1)))))))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-13 ( (! (EG( (! ( ((potential((tk(P4802)>=1) & (tk(P4804)>=1)))) & ((potential((tk(P3911)>=1) & (tk(P3915)>=1)))) ))))) & ( (AX( (EG( ((potential((tk(P1182)>=1) & (tk(P1184)>=1)))))))) | ( ( (AX( ((potential((tk(P12)>=1) & (tk(P13)>=1)))))) | (EG( ((potential((tk(P3393)>=1) & (tk(P3395)>=1)))))) ) | (! ( ( ((potential((tk(P4758)>=1) & (tk(P4759)>=1)))) | ((potential((tk(P54)>=1) & (tk(P56)>=1)))) ) | ((potential((tk(P1593)>=1) & (tk(P1594)>=1)))) )) ) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-14 (EU( (! (EG( ((potential((tk(P3002)>=1) & (tk(P3005)>=1))))))) , (EU( ((potential((tk(P2213)>=1) & (tk(P2227)>=1)))) , ((potential((tk(P3126)>=1) & (tk(P3127)>=1)))) )) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A06-CTLFireability-15 ( (! ( ((potential((tk(P2552)>=1) & (tk(P2554)>=1)))) | ( (AF( ((potential((tk(P4908)>=1) & (tk(P4910)>=1)))))) | ((potential((tk(P4082)>=1) & (tk(P4084)>=1)))) ) )) | (! (AG( (! ( ((potential((tk(P5141)>=1) & (tk(P5145)>=1)))) | ((potential((tk(P2149)>=1)))) ))))) )

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="CTLFireability"
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 CTLFireability"
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-159033538900508"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;