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

About the Execution of smart for ViralEpidemic-PT-S03D1C1A08

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

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900516.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-S03D1C1A08, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900516
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 52M
-rw-r--r-- 1 mcc users 4.7K May 14 05:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 05:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 13 23:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 23:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.4K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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.3K May 13 16:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 16:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.4K May 13 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K 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 52M 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-S03D1C1A08-CTLFireability-00
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-01
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-02
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-03
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-04
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-05
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-06
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-07
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-08
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-09
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-10
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-11
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-12
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-13
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-14
FORMULA_NAME ViralEpidemic-PT-S03D1C1A08-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590473574220

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S03D1C1A08
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: 49206 places, 68887 transitions, 157456 arcs.
AT ITER 0 NEW BEST:: SOT -1959820462 SOS 1257401701 HAS SOPS 1257401701 HAS SOUS 486167633 HAS SOUPS 486167633 WITH SCORE 4.87425034701E8
AT ITER 5 NEW BEST:: SOT -1959843466 SOS 1257355692 HAS SOPS 1257355692 HAS SOUS 486167632 HAS SOUPS 486167632 WITH SCORE 4.87424987692E8
AT ITER 13 NEW BEST:: SOT -1959873866 SOS 1257294891 HAS SOPS 1257294891 HAS SOUS 486167631 HAS SOUPS 486167631 WITH SCORE 4.87424925891E8
AT ITER 29 NEW BEST:: SOT -1959901294 SOS 1257240035 HAS SOPS 1257240035 HAS SOUS 486167631 HAS SOUPS 486167631 WITH SCORE 4.87424871035E8
AT ITER 33 NEW BEST:: SOT -1959911936 SOS 1257218749 HAS SOPS 1257218749 HAS SOUS 486167627 HAS SOUPS 486167627 WITH SCORE 4.87424845749E8
AT ITER 36 NEW BEST:: SOT -1959932906 SOS 1257176808 HAS SOPS 1257176808 HAS SOUS 486167626 HAS SOUPS 486167626 WITH SCORE 4.87424802808E8
AT ITER 43 NEW BEST:: SOT -1959949038 SOS 1257144544 HAS SOPS 1257144544 HAS SOUS 486167626 HAS SOUPS 486167626 WITH SCORE 4.87424770544E8
AT ITER 50 NEW BEST:: SOT -1959972570 SOS 1257097479 HAS SOPS 1257097479 HAS SOUS 486167625 HAS SOUPS 486167625 WITH SCORE 4.87424722479E8
AT ITER 55 NEW BEST:: SOT -1960011174 SOS 1257020269 HAS SOPS 1257020269 HAS SOUS 486167621 HAS SOUPS 486167621 WITH SCORE 4.87424641269E8
AT ITER 61 NEW BEST:: SOT -1960017310 SOS 1257007997 HAS SOPS 1257007997 HAS SOUS 486167621 HAS SOUPS 486167621 WITH SCORE 4.87424628997E8
AT ITER 66 NEW BEST:: SOT -1960022456 SOS 1256997704 HAS SOPS 1256997704 HAS SOUS 486167620 HAS SOUPS 486167620 WITH SCORE 4.87424617704E8
AT ITER 67 NEW BEST:: SOT -1960082449 SOS 1256898451 HAS SOPS 1256898451 HAS SOUS 486151313 HAS SOUPS 486151313 WITH SCORE 4.87408211451E8
AT ITER 73 NEW BEST:: SOT -1960105207 SOS 1256852934 HAS SOPS 1256852934 HAS SOUS 486151312 HAS SOUPS 486151312 WITH SCORE 4.87408164934E8
AT ITER 74 NEW BEST:: SOT -1960126925 SOS 1256809496 HAS SOPS 1256809496 HAS SOUS 486151308 HAS SOUPS 486151308 WITH SCORE 4.87408117496E8
AT ITER 81 NEW BEST:: SOT -1960149141 SOS 1256765064 HAS SOPS 1256765064 HAS SOUS 486151308 HAS SOUPS 486151308 WITH SCORE 4.87408073064E8
AT ITER 83 NEW BEST:: SOT -1960169693 SOS 1256723959 HAS SOPS 1256723959 HAS SOUS 486151307 HAS SOUPS 486151307 WITH SCORE 4.87408030959E8
AT ITER 86 NEW BEST:: SOT -1960185389 SOS 1256692566 HAS SOPS 1256692566 HAS SOUS 486151306 HAS SOUPS 486151306 WITH SCORE 4.87407998566E8
AT ITER 94 NEW BEST:: SOT -1960213117 SOS 1256637109 HAS SOPS 1256637109 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407942109E8
AT ITER 97 NEW BEST:: SOT -1960232641 SOS 1256598061 HAS SOPS 1256598061 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407903061E8
AT ITER 100 NEW BEST:: SOT -1960248793 SOS 1256565757 HAS SOPS 1256565757 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407870757E8
AT ITER 101 NEW BEST:: SOT -1960266851 SOS 1256529641 HAS SOPS 1256529641 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407834641E8
AT ITER 102 NEW BEST:: SOT -1960306333 SOS 1256450677 HAS SOPS 1256450677 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407755677E8
AT ITER 107 NEW BEST:: SOT -1960347715 SOS 1256367913 HAS SOPS 1256367913 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407672913E8
AT ITER 108 NEW BEST:: SOT -1960371913 SOS 1256319517 HAS SOPS 1256319517 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407624517E8
AT ITER 109 NEW BEST:: SOT -1960396949 SOS 1256269445 HAS SOPS 1256269445 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407574445E8
AT ITER 111 NEW BEST:: SOT -1960422819 SOS 1256217705 HAS SOPS 1256217705 HAS SOUS 486151305 HAS SOUPS 486151305 WITH SCORE 4.87407522705E8
AT ITER 123 NEW BEST:: SOT -1960452693 SOS 1256157955 HAS SOPS 1256157955 HAS SOUS 486151301 HAS SOUPS 486151301 WITH SCORE 4.87407458955E8
AT ITER 128 NEW BEST:: SOT -1960481953 SOS 1256099434 HAS SOPS 1256099434 HAS SOUS 486151300 HAS SOUPS 486151300 WITH SCORE 4.87407399434E8
AT ITER 130 NEW BEST:: SOT -1960515227 SOS 1256032886 HAS SOPS 1256032886 HAS SOUS 486151300 HAS SOUPS 486151300 WITH SCORE 4.87407332886E8
AT ITER 138 NEW BEST:: SOT -1960547995 SOS 1255967348 HAS SOPS 1255967348 HAS SOUS 486151296 HAS SOUPS 486151296 WITH SCORE 4.87407263348E8
AT ITER 139 NEW BEST:: SOT -1960584545 SOS 1255894247 HAS SOPS 1255894247 HAS SOUS 486151295 HAS SOUPS 486151295 WITH SCORE 4.87407189247E8
AT ITER 144 NEW BEST:: SOT -1960607201 SOS 1255848933 HAS SOPS 1255848933 HAS SOUS 486151291 HAS SOUPS 486151291 WITH SCORE 4.87407139933E8
AT ITER 160 NEW BEST:: SOT -1960667342 SOS 1255750226 HAS SOPS 1255750226 HAS SOUS 486138892 HAS SOUPS 486138892 WITH SCORE 4.87394642226E8
AT ITER 162 NEW BEST:: SOT -1960679262 SOS 1255726384 HAS SOPS 1255726384 HAS SOUS 486138888 HAS SOUPS 486138888 WITH SCORE 4.87394614384E8
AT ITER 167 NEW BEST:: SOT -1960711268 SOS 1255662372 HAS SOPS 1255662372 HAS SOUS 486138888 HAS SOUPS 486138888 WITH SCORE 4.87394550372E8
AT ITER 170 NEW BEST:: SOT -1960743444 SOS 1255598020 HAS SOPS 1255598020 HAS SOUS 486138888 HAS SOUPS 486138888 WITH SCORE 4.8739448602E8
AT ITER 181 NEW BEST:: SOT -1960767018 SOS 1255550870 HAS SOPS 1255550870 HAS SOUS 486138884 HAS SOUPS 486138884 WITH SCORE 4.8739443487E8
AT ITER 183 NEW BEST:: SOT -1960789320 SOS 1255506265 HAS SOPS 1255506265 HAS SOUS 486138883 HAS SOUPS 486138883 WITH SCORE 4.87394389265E8
AT ITER 191 NEW BEST:: SOT -1960813898 SOS 1255457108 HAS SOPS 1255457108 HAS SOUS 486138882 HAS SOUPS 486138882 WITH SCORE 4.87394339108E8
AT ITER 199 NEW BEST:: SOT -1960855542 SOS 1255373820 HAS SOPS 1255373820 HAS SOUS 486138882 HAS SOUPS 486138882 WITH SCORE 4.8739425582E8
AT ITER 203 NEW BEST:: SOT -1960883438 SOS 1255318027 HAS SOPS 1255318027 HAS SOUS 486138881 HAS SOUPS 486138881 WITH SCORE 4.87394199027E8
AT ITER 223 NEW BEST:: SOT -1960942575 SOS 1255222614 HAS SOPS 1255222614 HAS SOUS 486134924 HAS SOUPS 486134924 WITH SCORE 4.87390146614E8
AT ITER 232 NEW BEST:: SOT -1960985895 SOS 1255135972 HAS SOPS 1255135972 HAS SOUS 486134920 HAS SOUPS 486134920 WITH SCORE 4.87390055972E8
AT ITER 239 NEW BEST:: SOT -1961006505 SOS 1255094750 HAS SOPS 1255094750 HAS SOUS 486134916 HAS SOUPS 486134916 WITH SCORE 4.8739001075E8
AT ITER 256 NEW BEST:: SOT -1961040039 SOS 1255027681 HAS SOPS 1255027681 HAS SOUS 486134915 HAS SOUPS 486134915 WITH SCORE 4.87389942681E8
AT ITER 258 NEW BEST:: SOT -1961076763 SOS 1254954233 HAS SOPS 1254954233 HAS SOUS 486134915 HAS SOUPS 486134915 WITH SCORE 4.87389869233E8
AT ITER 268 NEW BEST:: SOT -1961100099 SOS 1254907560 HAS SOPS 1254907560 HAS SOUS 486134914 HAS SOUPS 486134914 WITH SCORE 4.8738982156E8
AT ITER 273 NEW BEST:: SOT -1961130877 SOS 1254846004 HAS SOPS 1254846004 HAS SOUS 486134914 HAS SOUPS 486134914 WITH SCORE 4.87389760004E8
AT ITER 278 NEW BEST:: SOT -1961153185 SOS 1254801386 HAS SOPS 1254801386 HAS SOUS 486134910 HAS SOUPS 486134910 WITH SCORE 4.87389711386E8
AT ITER 290 NEW BEST:: SOT -1961173063 SOS 1254761630 HAS SOPS 1254761630 HAS SOUS 486134910 HAS SOUPS 486134910 WITH SCORE 4.8738967163E8
AT ITER 297 NEW BEST:: SOT -1961194991 SOS 1254717774 HAS SOPS 1254717774 HAS SOUS 486134910 HAS SOUPS 486134910 WITH SCORE 4.87389627774E8
AT ITER 299 NEW BEST:: SOT -1961217771 SOS 1254672214 HAS SOPS 1254672214 HAS SOUS 486134910 HAS SOUPS 486134910 WITH SCORE 4.87389582214E8
AT ITER 305 NEW BEST:: SOT -1961228875 SOS 1254650005 HAS SOPS 1254650005 HAS SOUS 486134909 HAS SOUPS 486134909 WITH SCORE 4.87389559005E8
AT ITER 306 NEW BEST:: SOT -1961260425 SOS 1254586905 HAS SOPS 1254586905 HAS SOUS 486134909 HAS SOUPS 486134909 WITH SCORE 4.87389495905E8
AT ITER 310 NEW BEST:: SOT -1961290001 SOS 1254527752 HAS SOPS 1254527752 HAS SOUS 486134908 HAS SOUPS 486134908 WITH SCORE 4.87389435752E8
AT ITER 314 NEW BEST:: SOT -1961323091 SOS 1254461572 HAS SOPS 1254461572 HAS SOUS 486134908 HAS SOUPS 486134908 WITH SCORE 4.87389369572E8
AT ITER 316 NEW BEST:: SOT -1961356093 SOS 1254395567 HAS SOPS 1254395567 HAS SOUS 486134907 HAS SOUPS 486134907 WITH SCORE 4.87389302567E8
AT ITER 319 NEW BEST:: SOT -1961366771 SOS 1254374210 HAS SOPS 1254374210 HAS SOUS 486134906 HAS SOUPS 486134906 WITH SCORE 4.8738928021E8
AT ITER 324 NEW BEST:: SOT -1961370488 SOS 1254368133 HAS SOPS 1254368133 HAS SOUS 486133903 HAS SOUPS 486133903 WITH SCORE 4.87388271133E8
AT ITER 331 NEW BEST:: SOT -1961391034 SOS 1254327039 HAS SOPS 1254327039 HAS SOUS 486133899 HAS SOUPS 486133899 WITH SCORE 4.87388226039E8
AT ITER 363 NEW BEST:: SOT -1961415896 SOS 1254277314 HAS SOPS 1254277314 HAS SOUS 486133898 HAS SOUPS 486133898 WITH SCORE 4.87388175314E8
AT ITER 364 NEW BEST:: SOT -1961437298 SOS 1254234509 HAS SOPS 1254234509 HAS SOUS 486133897 HAS SOUPS 486133897 WITH SCORE 4.87388131509E8
AT ITER 366 NEW BEST:: SOT -1961456962 SOS 1254195179 HAS SOPS 1254195179 HAS SOUS 486133893 HAS SOUPS 486133893 WITH SCORE 4.87388088179E8
AT ITER 375 NEW BEST:: SOT -1961474606 SOS 1254159889 HAS SOPS 1254159889 HAS SOUS 486133889 HAS SOUPS 486133889 WITH SCORE 4.87388048889E8
AT ITER 379 NEW BEST:: SOT -1961478058 SOS 1254152984 HAS SOPS 1254152984 HAS SOUS 486133888 HAS SOUPS 486133888 WITH SCORE 4.87388040984E8
AT ITER 393 NEW BEST:: SOT -1961536404 SOS 1254059774 HAS SOPS 1254059774 HAS SOUS 486130665 HAS SOUPS 486130665 WITH SCORE 4.87384724774E8
AT ITER 395 NEW BEST:: SOT -1961560862 SOS 1254010858 HAS SOPS 1254010858 HAS SOUS 486130665 HAS SOUPS 486130665 WITH SCORE 4.87384675858E8
AT ITER 410 NEW BEST:: SOT -1961587122 SOS 1253958337 HAS SOPS 1253958337 HAS SOUS 486130664 HAS SOUPS 486130664 WITH SCORE 4.87384622337E8
AT ITER 415 NEW BEST:: SOT -1961622082 SOS 1253888415 HAS SOPS 1253888415 HAS SOUS 486130660 HAS SOUPS 486130660 WITH SCORE 4.87384548415E8
AT ITER 432 NEW BEST:: SOT -1961657002 SOS 1253818574 HAS SOPS 1253818574 HAS SOUS 486130659 HAS SOUPS 486130659 WITH SCORE 4.87384477574E8
AT ITER 436 NEW BEST:: SOT -1961674198 SOS 1253784180 HAS SOPS 1253784180 HAS SOUS 486130655 HAS SOUPS 486130655 WITH SCORE 4.8738443918E8
AT ITER 459 NEW BEST:: SOT -1961717158 SOS 1253698259 HAS SOPS 1253698259 HAS SOUS 486130654 HAS SOUPS 486130654 WITH SCORE 4.87384352259E8
AT ITER 461 NEW BEST:: SOT -1961780156 SOS 1253597144 HAS SOPS 1253597144 HAS SOUS 486126481 HAS SOUPS 486126481 WITH SCORE 4.87380078144E8
AT ITER 465 NEW BEST:: SOT -1961799278 SOS 1253558900 HAS SOPS 1253558900 HAS SOUS 486126481 HAS SOUPS 486126481 WITH SCORE 4.873800399E8
AT ITER 468 NEW BEST:: SOT -1961836564 SOS 1253484326 HAS SOPS 1253484326 HAS SOUS 486126477 HAS SOUPS 486126477 WITH SCORE 4.87379961326E8
AT ITER 473 NEW BEST:: SOT -1961869594 SOS 1253418264 HAS SOPS 1253418264 HAS SOUS 486126473 HAS SOUPS 486126473 WITH SCORE 4.87379891264E8
AT ITER 480 NEW BEST:: SOT -1961874622 SOS 1253409882 HAS SOPS 1253409882 HAS SOUS 486124793 HAS SOUPS 486124793 WITH SCORE 4.87378202882E8
AT ITER 487 NEW BEST:: SOT -1961889278 SOS 1253380569 HAS SOPS 1253380569 HAS SOUS 486124792 HAS SOUPS 486124792 WITH SCORE 4.87378172569E8
AT ITER 494 NEW BEST:: SOT -1961906642 SOS 1253345840 HAS SOPS 1253345840 HAS SOUS 486124791 HAS SOUPS 486124791 WITH SCORE 4.8737813684E8
AT ITER 496 NEW BEST:: SOT -1961946958 SOS 1253265207 HAS SOPS 1253265207 HAS SOUS 486124790 HAS SOUPS 486124790 WITH SCORE 4.87378055207E8
AT ITER 506 NEW BEST:: SOT -1961959368 SOS 1253240385 HAS SOPS 1253240385 HAS SOUS 486124786 HAS SOUPS 486124786 WITH SCORE 4.87378026385E8
AT ITER 510 NEW BEST:: SOT -1961977860 SOS 1253203399 HAS SOPS 1253203399 HAS SOUS 486124782 HAS SOUPS 486124782 WITH SCORE 4.87377985399E8
AT ITER 514 NEW BEST:: SOT -1961987124 SOS 1253184869 HAS SOPS 1253184869 HAS SOUS 486124778 HAS SOUPS 486124778 WITH SCORE 4.87377962869E8
AT ITER 523 NEW BEST:: SOT -1962020914 SOS 1253117287 HAS SOPS 1253117287 HAS SOUS 486124774 HAS SOUPS 486124774 WITH SCORE 4.87377891287E8
AT ITER 528 NEW BEST:: SOT -1962049376 SOS 1253060361 HAS SOPS 1253060361 HAS SOUS 486124770 HAS SOUPS 486124770 WITH SCORE 4.87377830361E8
AT ITER 529 NEW BEST:: SOT -1962056260 SOS 1253046592 HAS SOPS 1253046592 HAS SOUS 486124769 HAS SOUPS 486124769 WITH SCORE 4.87377815592E8
AT ITER 532 NEW BEST:: SOT -1962087012 SOS 1252985088 HAS SOPS 1252985088 HAS SOUS 486124769 HAS SOUPS 486124769 WITH SCORE 4.87377754088E8
AT ITER 538 NEW BEST:: SOT -1962123324 SOS 1252912463 HAS SOPS 1252912463 HAS SOUS 486124768 HAS SOUPS 486124768 WITH SCORE 4.87377680463E8
AT ITER 541 NEW BEST:: SOT -1962134558 SOS 1252889993 HAS SOPS 1252889993 HAS SOUS 486124764 HAS SOUPS 486124764 WITH SCORE 4.87377653993E8
AT ITER 544 NEW BEST:: SOT -1962141268 SOS 1252876572 HAS SOPS 1252876572 HAS SOUS 486124763 HAS SOUPS 486124763 WITH SCORE 4.87377639572E8
AT ITER 546 NEW BEST:: SOT -1962155538 SOS 1252848032 HAS SOPS 1252848032 HAS SOUS 486124763 HAS SOUPS 486124763 WITH SCORE 4.87377611032E8
AT ITER 553 NEW BEST:: SOT -1962177836 SOS 1252803435 HAS SOPS 1252803435 HAS SOUS 486124762 HAS SOUPS 486124762 WITH SCORE 4.87377565435E8
AT ITER 558 NEW BEST:: SOT -1962202890 SOS 1252753327 HAS SOPS 1252753327 HAS SOUS 486124762 HAS SOUPS 486124762 WITH SCORE 4.87377515327E8
AT ITER 559 NEW BEST:: SOT -1962222206 SOS 1252714693 HAS SOPS 1252714693 HAS SOUS 486124758 HAS SOUPS 486124758 WITH SCORE 4.87377472693E8
AT ITER 563 NEW BEST:: SOT -1962250556 SOS 1252657991 HAS SOPS 1252657991 HAS SOUS 486124754 HAS SOUPS 486124754 WITH SCORE 4.87377411991E8
AT ITER 572 NEW BEST:: SOT -1962289872 SOS 1252579359 HAS SOPS 1252579359 HAS SOUS 486124754 HAS SOUPS 486124754 WITH SCORE 4.87377333359E8
AT ITER 578 NEW BEST:: SOT -1962332978 SOS 1252493146 HAS SOPS 1252493146 HAS SOUS 486124753 HAS SOUPS 486124753 WITH SCORE 4.87377246146E8
AT ITER 582 NEW BEST:: SOT -1962347818 SOS 1252463464 HAS SOPS 1252463464 HAS SOUS 486124749 HAS SOUPS 486124749 WITH SCORE 4.87377212464E8
AT ITER 583 NEW BEST:: SOT -1962360206 SOS 1252438687 HAS SOPS 1252438687 HAS SOUS 486124748 HAS SOUPS 486124748 WITH SCORE 4.87377186687E8
AT ITER 596 NEW BEST:: SOT -1962386618 SOS 1252385862 HAS SOPS 1252385862 HAS SOUS 486124747 HAS SOUPS 486124747 WITH SCORE 4.87377132862E8
AT ITER 597 NEW BEST:: SOT -1962401586 SOS 1252355926 HAS SOPS 1252355926 HAS SOUS 486124747 HAS SOUPS 486124747 WITH SCORE 4.87377102926E8
AT ITER 604 NEW BEST:: SOT -1962421656 SOS 1252315785 HAS SOPS 1252315785 HAS SOUS 486124746 HAS SOUPS 486124746 WITH SCORE 4.87377061785E8
AT ITER 606 NEW BEST:: SOT -1962455062 SOS 1252248973 HAS SOPS 1252248973 HAS SOUS 486124746 HAS SOUPS 486124746 WITH SCORE 4.87376994973E8
AT ITER 625 NEW BEST:: SOT -1962494528 SOS 1252170039 HAS SOPS 1252170039 HAS SOUS 486124742 HAS SOUPS 486124742 WITH SCORE 4.87376912039E8
AT ITER 632 NEW BEST:: SOT -1962526834 SOS 1252105426 HAS SOPS 1252105426 HAS SOUS 486124741 HAS SOUPS 486124741 WITH SCORE 4.87376846426E8
AT ITER 634 NEW BEST:: SOT -1962556160 SOS 1252046773 HAS SOPS 1252046773 HAS SOUS 486124740 HAS SOUPS 486124740 WITH SCORE 4.87376786773E8
AT ITER 635 NEW BEST:: SOT -1962596560 SOS 1251965971 HAS SOPS 1251965971 HAS SOUS 486124736 HAS SOUPS 486124736 WITH SCORE 4.87376701971E8
AT ITER 645 NEW BEST:: SOT -1962620726 SOS 1251917638 HAS SOPS 1251917638 HAS SOUS 486124735 HAS SOUPS 486124735 WITH SCORE 4.87376652638E8
AT ITER 653 NEW BEST:: SOT -1962643612 SOS 1251871866 HAS SOPS 1251871866 HAS SOUS 486124735 HAS SOUPS 486124735 WITH SCORE 4.87376606866E8
AT ITER 660 NEW BEST:: SOT -1962651376 SOS 1251856336 HAS SOPS 1251856336 HAS SOUS 486124731 HAS SOUPS 486124731 WITH SCORE 4.87376587336E8
AT ITER 666 NEW BEST:: SOT -1962675764 SOS 1251807560 HAS SOPS 1251807560 HAS SOUS 486124731 HAS SOUPS 486124731 WITH SCORE 4.8737653856E8
AT ITER 669 NEW BEST:: SOT -1962695500 SOS 1251768086 HAS SOPS 1251768086 HAS SOUS 486124727 HAS SOUPS 486124727 WITH SCORE 4.87376495086E8
AT ITER 679 NEW BEST:: SOT -1962723714 SOS 1251711656 HAS SOPS 1251711656 HAS SOUS 486124723 HAS SOUPS 486124723 WITH SCORE 4.87376434656E8
AT ITER 680 NEW BEST:: SOT -1962760296 SOS 1251638491 HAS SOPS 1251638491 HAS SOUS 486124722 HAS SOUPS 486124722 WITH SCORE 4.87376360491E8
AT ITER 692 NEW BEST:: SOT -1962774688 SOS 1251609705 HAS SOPS 1251609705 HAS SOUS 486124718 HAS SOUPS 486124718 WITH SCORE 4.87376327705E8
AT ITER 693 NEW BEST:: SOT -1962805180 SOS 1251548721 HAS SOPS 1251548721 HAS SOUS 486124718 HAS SOUPS 486124718 WITH SCORE 4.87376266721E8
AT ITER 699 NEW BEST:: SOT -1962828134 SOS 1251502813 HAS SOPS 1251502813 HAS SOUS 486124718 HAS SOUPS 486124718 WITH SCORE 4.87376220813E8
AT ITER 702 NEW BEST:: SOT -1962852900 SOS 1251453280 HAS SOPS 1251453280 HAS SOUS 486124717 HAS SOUPS 486124717 WITH SCORE 4.8737617028E8
AT ITER 709 NEW BEST:: SOT -1962881412 SOS 1251396256 HAS SOPS 1251396256 HAS SOUS 486124717 HAS SOUPS 486124717 WITH SCORE 4.87376113256E8
AT ITER 713 NEW BEST:: SOT -1962941577 SOS 1251298329 HAS SOPS 1251298329 HAS SOUS 486116414 HAS SOUPS 486116414 WITH SCORE 4.87367712329E8
AT ITER 715 NEW BEST:: SOT -1962955809 SOS 1251269865 HAS SOPS 1251269865 HAS SOUS 486116414 HAS SOUPS 486116414 WITH SCORE 4.87367683865E8
AT ITER 730 NEW BEST:: SOT -1962990751 SOS 1251199980 HAS SOPS 1251199980 HAS SOUS 486116413 HAS SOUPS 486116413 WITH SCORE 4.8736761298E8
AT ITER 731 NEW BEST:: SOT -1963027759 SOS 1251125963 HAS SOPS 1251125963 HAS SOUS 486116412 HAS SOUPS 486116412 WITH SCORE 4.87367537963E8
AT ITER 744 NEW BEST:: SOT -1963063905 SOS 1251053670 HAS SOPS 1251053670 HAS SOUS 486116411 HAS SOUPS 486116411 WITH SCORE 4.8736746467E8
AT ITER 746 NEW BEST:: SOT -1963070289 SOS 1251040902 HAS SOPS 1251040902 HAS SOUS 486116411 HAS SOUPS 486116411 WITH SCORE 4.87367451902E8
AT ITER 749 NEW BEST:: SOT -1963096179 SOS 1250989121 HAS SOPS 1250989121 HAS SOUS 486116410 HAS SOUPS 486116410 WITH SCORE 4.87367399121E8
AT ITER 771 NEW BEST:: SOT -1963099287 SOS 1250982903 HAS SOPS 1250982903 HAS SOUS 486116406 HAS SOUPS 486116406 WITH SCORE 4.87367388903E8
AT ITER 773 NEW BEST:: SOT -1963134739 SOS 1250911998 HAS SOPS 1250911998 HAS SOUS 486116405 HAS SOUPS 486116405 WITH SCORE 4.87367316998E8
AT ITER 780 NEW BEST:: SOT -1963158523 SOS 1250864428 HAS SOPS 1250864428 HAS SOUS 486116401 HAS SOUPS 486116401 WITH SCORE 4.87367265428E8
AT ITER 784 NEW BEST:: SOT -1963178199 SOS 1250825076 HAS SOPS 1250825076 HAS SOUS 486116401 HAS SOUPS 486116401 WITH SCORE 4.87367226076E8
AT ITER 785 NEW BEST:: SOT -1963195883 SOS 1250789707 HAS SOPS 1250789707 HAS SOUS 486116400 HAS SOUPS 486116400 WITH SCORE 4.87367189707E8
AT ITER 789 NEW BEST:: SOT -1963231125 SOS 1250719222 HAS SOPS 1250719222 HAS SOUS 486116399 HAS SOUPS 486116399 WITH SCORE 4.87367118222E8
AT ITER 794 NEW BEST:: SOT -1963246901 SOS 1250687668 HAS SOPS 1250687668 HAS SOUS 486116395 HAS SOUPS 486116395 WITH SCORE 4.87367082668E8
AT ITER 796 NEW BEST:: SOT -1963274633 SOS 1250632202 HAS SOPS 1250632202 HAS SOUS 486116391 HAS SOUPS 486116391 WITH SCORE 4.87367023202E8
AT ITER 797 NEW BEST:: SOT -1963294783 SOS 1250591902 HAS SOPS 1250591902 HAS SOUS 486116391 HAS SOUPS 486116391 WITH SCORE 4.87366982902E8
AT ITER 801 NEW BEST:: SOT -1963299201 SOS 1250580857 HAS SOPS 1250580857 HAS SOUS 486114180 HAS SOUPS 486114180 WITH SCORE 4.87364760857E8
AT ITER 809 NEW BEST:: SOT -1963339395 SOS 1250500467 HAS SOPS 1250500467 HAS SOUS 486114176 HAS SOUPS 486114176 WITH SCORE 4.87364676467E8
AT ITER 819 NEW BEST:: SOT -1963355655 SOS 1250467945 HAS SOPS 1250467945 HAS SOUS 486114172 HAS SOUPS 486114172 WITH SCORE 4.87364639945E8
AT ITER 820 NEW BEST:: SOT -1963379895 SOS 1250419464 HAS SOPS 1250419464 HAS SOUS 486114171 HAS SOUPS 486114171 WITH SCORE 4.87364590464E8
AT ITER 826 NEW BEST:: SOT -1963409437 SOS 1250360378 HAS SOPS 1250360378 HAS SOUS 486114167 HAS SOUPS 486114167 WITH SCORE 4.87364527378E8
AT ITER 834 NEW BEST:: SOT -1963434347 SOS 1250310558 HAS SOPS 1250310558 HAS SOUS 486114167 HAS SOUPS 486114167 WITH SCORE 4.87364477558E8
AT ITER 849 NEW BEST:: SOT -1963468339 SOS 1250242572 HAS SOPS 1250242572 HAS SOUS 486114163 HAS SOUPS 486114163 WITH SCORE 4.87364405572E8
AT ITER 851 NEW BEST:: SOT -1963528200 SOS 1250145527 HAS SOPS 1250145527 HAS SOUS 486107834 HAS SOUPS 486107834 WITH SCORE 4.87357979527E8
AT ITER 852 NEW BEST:: SOT -1963544550 SOS 1250112827 HAS SOPS 1250112827 HAS SOUS 486107834 HAS SOUPS 486107834 WITH SCORE 4.87357946827E8
AT ITER 861 NEW BEST:: SOT -1963563624 SOS 1250074678 HAS SOPS 1250074678 HAS SOUS 486107833 HAS SOUPS 486107833 WITH SCORE 4.87357907678E8
AT ITER 866 NEW BEST:: SOT -1963589526 SOS 1250022873 HAS SOPS 1250022873 HAS SOUS 486107832 HAS SOUPS 486107832 WITH SCORE 4.87357854873E8
AT ITER 867 NEW BEST:: SOT -1963598958 SOS 1250004008 HAS SOPS 1250004008 HAS SOUS 486107831 HAS SOUPS 486107831 WITH SCORE 4.87357835008E8
AT ITER 870 NEW BEST:: SOT -1963633188 SOS 1249935547 HAS SOPS 1249935547 HAS SOUS 486107830 HAS SOUPS 486107830 WITH SCORE 4.87357765547E8
AT ITER 872 NEW BEST:: SOT -1963657050 SOS 1249887821 HAS SOPS 1249887821 HAS SOUS 486107826 HAS SOUPS 486107826 WITH SCORE 4.87357713821E8
AT ITER 884 NEW BEST:: SOT -1963681370 SOS 1249839181 HAS SOPS 1249839181 HAS SOUS 486107826 HAS SOUPS 486107826 WITH SCORE 4.87357665181E8
AT ITER 890 NEW BEST:: SOT -1963720210 SOS 1249761500 HAS SOPS 1249761500 HAS SOUS 486107825 HAS SOUPS 486107825 WITH SCORE 4.873575865E8
AT ITER 895 NEW BEST:: SOT -1963783037 SOS 1249659952 HAS SOPS 1249659952 HAS SOUS 486101069 HAS SOUPS 486101069 WITH SCORE 4.87350728952E8
AT ITER 903 NEW BEST:: SOT -1963799731 SOS 1249626562 HAS SOPS 1249626562 HAS SOUS 486101065 HAS SOUPS 486101065 WITH SCORE 4.87350691562E8
AT ITER 906 NEW BEST:: SOT -1963841029 SOS 1249543964 HAS SOPS 1249543964 HAS SOUS 486101061 HAS SOUPS 486101061 WITH SCORE 4.87350604964E8
AT ITER 938 NEW BEST:: SOT -1963873955 SOS 1249478110 HAS SOPS 1249478110 HAS SOUS 486101057 HAS SOUPS 486101057 WITH SCORE 4.8735053511E8
AT ITER 943 NEW BEST:: SOT -1963900111 SOS 1249425797 HAS SOPS 1249425797 HAS SOUS 486101056 HAS SOUPS 486101056 WITH SCORE 4.87350481797E8
AT ITER 948 NEW BEST:: SOT -1963908045 SOS 1249409929 HAS SOPS 1249409929 HAS SOUS 486101056 HAS SOUPS 486101056 WITH SCORE 4.87350465929E8
AT ITER 954 NEW BEST:: SOT -1963942351 SOS 1249341317 HAS SOPS 1249341317 HAS SOUS 486101056 HAS SOUPS 486101056 WITH SCORE 4.87350397317E8
AT ITER 956 NEW BEST:: SOT -1963964345 SOS 1249297329 HAS SOPS 1249297329 HAS SOUS 486101056 HAS SOUPS 486101056 WITH SCORE 4.87350353329E8
AT ITER 957 NEW BEST:: SOT -1964022341 SOS 1249205133 HAS SOPS 1249205133 HAS SOUS 486100053 HAS SOUPS 486100053 WITH SCORE 4.87349258133E8
AT ITER 960 NEW BEST:: SOT -1964028365 SOS 1249193084 HAS SOPS 1249193084 HAS SOUS 486100052 HAS SOUPS 486100052 WITH SCORE 4.87349245084E8
AT ITER 964 NEW BEST:: SOT -1964052824 SOS 1249134130 HAS SOPS 1249134130 HAS SOUS 486091045 HAS SOUPS 486091045 WITH SCORE 4.8734017913E8
AT ITER 967 NEW BEST:: SOT -1964077294 SOS 1249085190 HAS SOPS 1249085190 HAS SOUS 486091045 HAS SOUPS 486091045 WITH SCORE 4.8734013019E8
AT ITER 990 NEW BEST:: SOT -1964100528 SOS 1249038722 HAS SOPS 1249038722 HAS SOUS 486091045 HAS SOUPS 486091045 WITH SCORE 4.87340083722E8
AT ITER 992 NEW BEST:: SOT -1964126280 SOS 1248987217 HAS SOPS 1248987217 HAS SOUS 486091044 HAS SOUPS 486091044 WITH SCORE 4.87340031217E8
AT ITER 997 NEW BEST:: SOT -1964138758 SOS 1248962260 HAS SOPS 1248962260 HAS SOUS 486091043 HAS SOUPS 486091043 WITH SCORE 4.8734000526E8
AT ITER 1005 NEW BEST:: SOT -1964162686 SOS 1248914403 HAS SOPS 1248914403 HAS SOUS 486091042 HAS SOUPS 486091042 WITH SCORE 4.87339956403E8
AT ITER 1008 NEW BEST:: SOT -1964165776 SOS 1248908221 HAS SOPS 1248908221 HAS SOUS 486091038 HAS SOUPS 486091038 WITH SCORE 4.87339946221E8
AT ITER 1013 NEW BEST:: SOT -1964188220 SOS 1248863333 HAS SOPS 1248863333 HAS SOUS 486091038 HAS SOUPS 486091038 WITH SCORE 4.87339901333E8
AT ITER 1025 NEW BEST:: SOT -1964228330 SOS 1248783113 HAS SOPS 1248783113 HAS SOUS 486091038 HAS SOUPS 486091038 WITH SCORE 4.87339821113E8
AT ITER 1045 NEW BEST:: SOT -1964248114 SOS 1248743545 HAS SOPS 1248743545 HAS SOUS 486091038 HAS SOUPS 486091038 WITH SCORE 4.87339781545E8
AT ITER 1048 NEW BEST:: SOT -1964270692 SOS 1248698388 HAS SOPS 1248698388 HAS SOUS 486091037 HAS SOUPS 486091037 WITH SCORE 4.87339735388E8
AT ITER 1057 NEW BEST:: SOT -1964284846 SOS 1248670079 HAS SOPS 1248670079 HAS SOUS 486091036 HAS SOUPS 486091036 WITH SCORE 4.87339706079E8
AT ITER 1064 NEW BEST:: SOT -1964296374 SOS 1248647021 HAS SOPS 1248647021 HAS SOUS 486091032 HAS SOUPS 486091032 WITH SCORE 4.87339679021E8
AT ITER 1068 NEW BEST:: SOT -1964311412 SOS 1248616944 HAS SOPS 1248616944 HAS SOUS 486091031 HAS SOUPS 486091031 WITH SCORE 4.87339647944E8
AT ITER 1076 NEW BEST:: SOT -1964333670 SOS 1248572428 HAS SOPS 1248572428 HAS SOUS 486091031 HAS SOUPS 486091031 WITH SCORE 4.87339603428E8
AT ITER 1079 NEW BEST:: SOT -1964393742 SOS 1248475327 HAS SOPS 1248475327 HAS SOUS 486083623 HAS SOUPS 486083623 WITH SCORE 4.87332098327E8
AT ITER 1083 NEW BEST:: SOT -1964415506 SOS 1248431798 HAS SOPS 1248431798 HAS SOUS 486083622 HAS SOUPS 486083622 WITH SCORE 4.87332053798E8
AT ITER 1099 NEW BEST:: SOT -1964452128 SOS 1248358552 HAS SOPS 1248358552 HAS SOUS 486083618 HAS SOUPS 486083618 WITH SCORE 4.87331976552E8
AT ITER 1108 NEW BEST:: SOT -1964515516 SOS 1248257339 HAS SOPS 1248257339 HAS SOUS 486081003 HAS SOUPS 486081003 WITH SCORE 4.87329260339E8
AT ITER 1111 NEW BEST:: SOT -1964554550 SOS 1248179271 HAS SOPS 1248179271 HAS SOUS 486081003 HAS SOUPS 486081003 WITH SCORE 4.87329182271E8
AT ITER 1118 NEW BEST:: SOT -1964594842 SOS 1248098687 HAS SOPS 1248098687 HAS SOUS 486081003 HAS SOUPS 486081003 WITH SCORE 4.87329101687E8
AT ITER 1125 NEW BEST:: SOT -1964615728 SOS 1248056914 HAS SOPS 1248056914 HAS SOUS 486081002 HAS SOUPS 486081002 WITH SCORE 4.87329058914E8
AT ITER 1135 NEW BEST:: SOT -1964651908 SOS 1247984553 HAS SOPS 1247984553 HAS SOUS 486081001 HAS SOUPS 486081001 WITH SCORE 4.87328985553E8
AT ITER 1139 NEW BEST:: SOT -1964658276 SOS 1247971815 HAS SOPS 1247971815 HAS SOUS 486080997 HAS SOUPS 486080997 WITH SCORE 4.87328968815E8
AT ITER 1145 NEW BEST:: SOT -1964702498 SOS 1247883369 HAS SOPS 1247883369 HAS SOUS 486080993 HAS SOUPS 486080993 WITH SCORE 4.87328876369E8
AT ITER 1151 NEW BEST:: SOT -1964717296 SOS 1247853772 HAS SOPS 1247853772 HAS SOUS 486080992 HAS SOUPS 486080992 WITH SCORE 4.87328845772E8
AT ITER 1154 NEW BEST:: SOT -1964748384 SOS 1247791594 HAS SOPS 1247791594 HAS SOUS 486080988 HAS SOUPS 486080988 WITH SCORE 4.87328779594E8
AT ITER 1158 NEW BEST:: SOT -1964767896 SOS 1247752569 HAS SOPS 1247752569 HAS SOUS 486080987 HAS SOUPS 486080987 WITH SCORE 4.87328739569E8
AT ITER 1176 NEW BEST:: SOT -1964770992 SOS 1247746375 HAS SOPS 1247746375 HAS SOUS 486080983 HAS SOUPS 486080983 WITH SCORE 4.87328729375E8
AT ITER 1185 NEW BEST:: SOT -1964808770 SOS 1247670818 HAS SOPS 1247670818 HAS SOUS 486080982 HAS SOUPS 486080982 WITH SCORE 4.87328652818E8
AT ITER 1187 NEW BEST:: SOT -1964826374 SOS 1247635610 HAS SOPS 1247635610 HAS SOUS 486080982 HAS SOUPS 486080982 WITH SCORE 4.8732861761E8
AT ITER 1190 NEW BEST:: SOT -1964844564 SOS 1247599228 HAS SOPS 1247599228 HAS SOUS 486080978 HAS SOUPS 486080978 WITH SCORE 4.87328577228E8
AT ITER 1192 NEW BEST:: SOT -1964877098 SOS 1247534158 HAS SOPS 1247534158 HAS SOUS 486080974 HAS SOUPS 486080974 WITH SCORE 4.87328508158E8
AT ITER 1195 NEW BEST:: SOT -1964900158 SOS 1247488037 HAS SOPS 1247488037 HAS SOUS 486080973 HAS SOUPS 486080973 WITH SCORE 4.87328461037E8
AT ITER 1198 NEW BEST:: SOT -1964938690 SOS 1247410971 HAS SOPS 1247410971 HAS SOUS 486080969 HAS SOUPS 486080969 WITH SCORE 4.87328379971E8
AT ITER 1204 NEW BEST:: SOT -1964959980 SOS 1247368390 HAS SOPS 1247368390 HAS SOUS 486080968 HAS SOUPS 486080968 WITH SCORE 4.8732833639E8
AT ITER 1209 NEW BEST:: SOT -1964971970 SOS 1247344410 HAS SOPS 1247344410 HAS SOUS 486080968 HAS SOUPS 486080968 WITH SCORE 4.8732831241E8
AT ITER 1219 NEW BEST:: SOT -1964998320 SOS 1247291710 HAS SOPS 1247291710 HAS SOUS 486080968 HAS SOUPS 486080968 WITH SCORE 4.8732825971E8
AT ITER 1220 NEW BEST:: SOT -1965026996 SOS 1247234357 HAS SOPS 1247234357 HAS SOUS 486080967 HAS SOUPS 486080967 WITH SCORE 4.87328201357E8
AT ITER 1221 NEW BEST:: SOT -1965038184 SOS 1247211980 HAS SOPS 1247211980 HAS SOUS 486080966 HAS SOUPS 486080966 WITH SCORE 4.8732817798E8
AT ITER 1229 NEW BEST:: SOT -1965075606 SOS 1247137136 HAS SOPS 1247137136 HAS SOUS 486080966 HAS SOUPS 486080966 WITH SCORE 4.87328103136E8
AT ITER 1231 NEW BEST:: SOT -1965121550 SOS 1247045248 HAS SOPS 1247045248 HAS SOUS 486080966 HAS SOUPS 486080966 WITH SCORE 4.87328011248E8
AT ITER 1242 NEW BEST:: SOT -1965130922 SOS 1247026504 HAS SOPS 1247026504 HAS SOUS 486080966 HAS SOUPS 486080966 WITH SCORE 4.87327992504E8
AT ITER 1261 NEW BEST:: SOT -1965163926 SOS 1246960494 HAS SOPS 1246960494 HAS SOUS 486080962 HAS SOUPS 486080962 WITH SCORE 4.87327922494E8
AT ITER 1272 NEW BEST:: SOT -1965207006 SOS 1246874334 HAS SOPS 1246874334 HAS SOUS 486080962 HAS SOUPS 486080962 WITH SCORE 4.87327836334E8
AT ITER 1282 NEW BEST:: SOT -1965240902 SOS 1246806541 HAS SOPS 1246806541 HAS SOUS 486080961 HAS SOUPS 486080961 WITH SCORE 4.87327767541E8
AT ITER 1299 NEW BEST:: SOT -1965270870 SOS 1246746603 HAS SOPS 1246746603 HAS SOUS 486080957 HAS SOUPS 486080957 WITH SCORE 4.87327703603E8
AT ITER 1309 NEW BEST:: SOT -1965305682 SOS 1246676977 HAS SOPS 1246676977 HAS SOUS 486080953 HAS SOUPS 486080953 WITH SCORE 4.87327629977E8
AT ITER 1315 NEW BEST:: SOT -1965325288 SOS 1246637765 HAS SOPS 1246637765 HAS SOUS 486080953 HAS SOUPS 486080953 WITH SCORE 4.87327590765E8
AT ITER 1326 NEW BEST:: SOT -1965361966 SOS 1246564408 HAS SOPS 1246564408 HAS SOUS 486080952 HAS SOUPS 486080952 WITH SCORE 4.87327516408E8
AT ITER 1327 NEW BEST:: SOT -1965394648 SOS 1246499042 HAS SOPS 1246499042 HAS SOUS 486080948 HAS SOUPS 486080948 WITH SCORE 4.87327447042E8
AT ITER 1329 NEW BEST:: SOT -1965405206 SOS 1246477925 HAS SOPS 1246477925 HAS SOUS 486080947 HAS SOUPS 486080947 WITH SCORE 4.87327424925E8
AT ITER 1331 NEW BEST:: SOT -1965423474 SOS 1246441388 HAS SOPS 1246441388 HAS SOUS 486080946 HAS SOUPS 486080946 WITH SCORE 4.87327387388E8
AT ITER 1346 NEW BEST:: SOT -1965456484 SOS 1246375366 HAS SOPS 1246375366 HAS SOUS 486080942 HAS SOUPS 486080942 WITH SCORE 4.87327317366E8
AT ITER 1363 NEW BEST:: SOT -1965494070 SOS 1246300192 HAS SOPS 1246300192 HAS SOUS 486080938 HAS SOUPS 486080938 WITH SCORE 4.87327238192E8
AT ITER 1384 NEW BEST:: SOT -1965502370 SOS 1246283591 HAS SOPS 1246283591 HAS SOUS 486080937 HAS SOUPS 486080937 WITH SCORE 4.87327220591E8
AT ITER 1385 NEW BEST:: SOT -1965527196 SOS 1246233939 HAS SOPS 1246233939 HAS SOUS 486080937 HAS SOUPS 486080937 WITH SCORE 4.87327170939E8
AT ITER 1394 NEW BEST:: SOT -1965540772 SOS 1246206786 HAS SOPS 1246206786 HAS SOUS 486080936 HAS SOUPS 486080936 WITH SCORE 4.87327142786E8
AT ITER 1395 NEW BEST:: SOT -1965558932 SOS 1246170465 HAS SOPS 1246170465 HAS SOUS 486080935 HAS SOUPS 486080935 WITH SCORE 4.87327105465E8
AT ITER 1396 NEW BEST:: SOT -1965579156 SOS 1246130016 HAS SOPS 1246130016 HAS SOUS 486080934 HAS SOUPS 486080934 WITH SCORE 4.87327064016E8
AT ITER 1407 NEW BEST:: SOT -1965591856 SOS 1246104616 HAS SOPS 1246104616 HAS SOUS 486080934 HAS SOUPS 486080934 WITH SCORE 4.87327038616E8
AT ITER 1415 NEW BEST:: SOT -1965600612 SOS 1246087102 HAS SOPS 1246087102 HAS SOUS 486080930 HAS SOUPS 486080930 WITH SCORE 4.87327017102E8
AT ITER 1418 NEW BEST:: SOT -1965623804 SOS 1246040716 HAS SOPS 1246040716 HAS SOUS 486080926 HAS SOUPS 486080926 WITH SCORE 4.87326966716E8
AT ITER 1421 NEW BEST:: SOT -1965650072 SOS 1245988179 HAS SOPS 1245988179 HAS SOUS 486080925 HAS SOUPS 486080925 WITH SCORE 4.87326913179E8
AT ITER 1425 NEW BEST:: SOT -1965684422 SOS 1245919477 HAS SOPS 1245919477 HAS SOUS 486080921 HAS SOUPS 486080921 WITH SCORE 4.87326840477E8
AT ITER 1431 NEW BEST:: SOT -1965723186 SOS 1245841947 HAS SOPS 1245841947 HAS SOUS 486080917 HAS SOUPS 486080917 WITH SCORE 4.87326758947E8
AT ITER 1432 NEW BEST:: SOT -1965734298 SOS 1245819723 HAS SOPS 1245819723 HAS SOUS 486080917 HAS SOUPS 486080917 WITH SCORE 4.87326736723E8
AT ITER 1433 NEW BEST:: SOT -1965795509 SOS 1245721067 HAS SOPS 1245721067 HAS SOUS 486077339 HAS SOUPS 486077339 WITH SCORE 4.87323060067E8
AT ITER 1447 NEW BEST:: SOT -1965841531 SOS 1245629023 HAS SOPS 1245629023 HAS SOUS 486077339 HAS SOUPS 486077339 WITH SCORE 4.87322968023E8
AT ITER 1451 NEW BEST:: SOT -1965879333 SOS 1245553418 HAS SOPS 1245553418 HAS SOUS 486077338 HAS SOUPS 486077338 WITH SCORE 4.87322891418E8
AT ITER 1452 NEW BEST:: SOT -1965901785 SOS 1245508514 HAS SOPS 1245508514 HAS SOUS 486077338 HAS SOUPS 486077338 WITH SCORE 4.87322846514E8
AT ITER 1453 NEW BEST:: SOT -1965919065 SOS 1245473954 HAS SOPS 1245473954 HAS SOUS 486077338 HAS SOUPS 486077338 WITH SCORE 4.87322811954E8
AT ITER 1454 NEW BEST:: SOT -1965962181 SOS 1245387721 HAS SOPS 1245387721 HAS SOUS 486077337 HAS SOUPS 486077337 WITH SCORE 4.87322724721E8
AT ITER 1481 NEW BEST:: SOT -1965975803 SOS 1245360476 HAS SOPS 1245360476 HAS SOUS 486077336 HAS SOUPS 486077336 WITH SCORE 4.87322696476E8
AT ITER 1498 NEW BEST:: SOT -1966014525 SOS 1245283030 HAS SOPS 1245283030 HAS SOUS 486077332 HAS SOUPS 486077332 WITH SCORE 4.8732261503E8
AT ITER 1503 NEW BEST:: SOT -1966038011 SOS 1245236057 HAS SOPS 1245236057 HAS SOUS 486077331 HAS SOUPS 486077331 WITH SCORE 4.87322567057E8
AT ITER 1505 NEW BEST:: SOT -1966067243 SOS 1245177593 HAS SOPS 1245177593 HAS SOUS 486077331 HAS SOUPS 486077331 WITH SCORE 4.87322508593E8
AT ITER 1510 NEW BEST:: SOT -1966085367 SOS 1245141343 HAS SOPS 1245141343 HAS SOUS 486077327 HAS SOUPS 486077327 WITH SCORE 4.87322468343E8
AT ITER 1531 NEW BEST:: SOT -1966091703 SOS 1245128669 HAS SOPS 1245128669 HAS SOUS 486077323 HAS SOUPS 486077323 WITH SCORE 4.87322451669E8
AT ITER 1540 NEW BEST:: SOT -1966154861 SOS 1245028086 HAS SOPS 1245028086 HAS SOUS 486076078 HAS SOUPS 486076078 WITH SCORE 4.87321106086E8
AT ITER 1545 NEW BEST:: SOT -1966200499 SOS 1244936809 HAS SOPS 1244936809 HAS SOUS 486076077 HAS SOUPS 486076077 WITH SCORE 4.87321013809E8
AT ITER 1562 NEW BEST:: SOT -1966239668 SOS 1244858471 HAS SOPS 1244858471 HAS SOUS 486076098 HAS SOUPS 486076098 WITH SCORE 4.87320956471E8
AT ITER 1566 NEW BEST:: SOT -1966276630 SOS 1244784547 HAS SOPS 1244784547 HAS SOUS 486076098 HAS SOUPS 486076098 WITH SCORE 4.87320882547E8
AT ITER 1603 NEW BEST:: SOT -1966336563 SOS 1244685918 HAS SOPS 1244685918 HAS SOUS 486062425 HAS SOUPS 486062425 WITH SCORE 4.87307110918E8
AT ITER 1604 NEW BEST:: SOT -1966351659 SOS 1244655726 HAS SOPS 1244655726 HAS SOUS 486062425 HAS SOUPS 486062425 WITH SCORE 4.87307080726E8
AT ITER 1605 NEW BEST:: SOT -1966364717 SOS 1244629610 HAS SOPS 1244629610 HAS SOUS 486062425 HAS SOUPS 486062425 WITH SCORE 4.8730705461E8
AT ITER 1612 NEW BEST:: SOT -1966400267 SOS 1244558510 HAS SOPS 1244558510 HAS SOUS 486062425 HAS SOUPS 486062425 WITH SCORE 4.8730698351E8
AT ITER 1617 NEW BEST:: SOT -1966419149 SOS 1244520744 HAS SOPS 1244520744 HAS SOUS 486062421 HAS SOUPS 486062421 WITH SCORE 4.87306941744E8
AT ITER 1627 NEW BEST:: SOT -1966425359 SOS 1244508322 HAS SOPS 1244508322 HAS SOUS 486062417 HAS SOUPS 486062417 WITH SCORE 4.87306925322E8
AT ITER 1633 NEW BEST:: SOT -1966432243 SOS 1244494553 HAS SOPS 1244494553 HAS SOUS 486062416 HAS SOUPS 486062416 WITH SCORE 4.87306910553E8
AT ITER 1648 NEW BEST:: SOT -1966443907 SOS 1244471223 HAS SOPS 1244471223 HAS SOUS 486062412 HAS SOUPS 486062412 WITH SCORE 4.87306883223E8
AT ITER 1656 NEW BEST:: SOT -1966478615 SOS 1244401806 HAS SOPS 1244401806 HAS SOUS 486062411 HAS SOUPS 486062411 WITH SCORE 4.87306812806E8
AT ITER 1660 NEW BEST:: SOT -1966505419 SOS 1244348196 HAS SOPS 1244348196 HAS SOUS 486062407 HAS SOUPS 486062407 WITH SCORE 4.87306755196E8
AT ITER 1670 NEW BEST:: SOT -1966533595 SOS 1244291842 HAS SOPS 1244291842 HAS SOUS 486062403 HAS SOUPS 486062403 WITH SCORE 4.87306694842E8
AT ITER 1673 NEW BEST:: SOT -1966597820 SOS 1244186196 HAS SOPS 1244186196 HAS SOUS 486046241 HAS SOUPS 486046241 WITH SCORE 4.87290427196E8
AT ITER 1674 NEW BEST:: SOT -1966630800 SOS 1244120234 HAS SOPS 1244120234 HAS SOUS 486046237 HAS SOUPS 486046237 WITH SCORE 4.87290357234E8
AT ITER 1707 NEW BEST:: SOT -1966692749 SOS 1244018506 HAS SOPS 1244018506 HAS SOUS 486033201 HAS SOUPS 486033201 WITH SCORE 4.87277219506E8
AT ITER 1716 NEW BEST:: SOT -1966732047 SOS 1243939909 HAS SOPS 1243939909 HAS SOUS 486033200 HAS SOUPS 486033200 WITH SCORE 4.87277139909E8
AT ITER 1719 NEW BEST:: SOT -1966749383 SOS 1243905235 HAS SOPS 1243905235 HAS SOUS 486033196 HAS SOUPS 486033196 WITH SCORE 4.87277101235E8
AT ITER 1727 NEW BEST:: SOT -1966785245 SOS 1243833509 HAS SOPS 1243833509 HAS SOUS 486033192 HAS SOUPS 486033192 WITH SCORE 4.87277025509E8
AT ITER 1729 NEW BEST:: SOT -1966824297 SOS 1243755404 HAS SOPS 1243755404 HAS SOUS 486033191 HAS SOUPS 486033191 WITH SCORE 4.87276946404E8
AT ITER 1733 NEW BEST:: SOT -1966841641 SOS 1243712044 HAS SOPS 1243712044 HAS SOUS 486024519 HAS SOUPS 486024519 WITH SCORE 4.87268231044E8
AT ITER 1737 NEW BEST:: SOT -1966905632 SOS 1243602634 HAS SOPS 1243602634 HAS SOUS 486006878 HAS SOUPS 486006878 WITH SCORE 4.87250480634E8
AT ITER 1741 NEW BEST:: SOT -1966939762 SOS 1243534373 HAS SOPS 1243534373 HAS SOUS 486006877 HAS SOUPS 486006877 WITH SCORE 4.87250411373E8
AT ITER 1757 NEW BEST:: SOT -1967002441 SOS 1243433677 HAS SOPS 1243433677 HAS SOUS 486002791 HAS SOUPS 486002791 WITH SCORE 4.87246224677E8
AT ITER 1777 NEW BEST:: SOT -1967020723 SOS 1243397111 HAS SOPS 1243397111 HAS SOUS 486002787 HAS SOUPS 486002787 WITH SCORE 4.87246184111E8
AT ITER 1778 NEW BEST:: SOT -1967043239 SOS 1243343236 HAS SOPS 1243343236 HAS SOUS 485993940 HAS SOUPS 485993940 WITH SCORE 4.87237283236E8
AT ITER 1781 NEW BEST:: SOT -1967051329 SOS 1243327055 HAS SOPS 1243327055 HAS SOUS 485993939 HAS SOUPS 485993939 WITH SCORE 4.87237266055E8
AT ITER 1783 NEW BEST:: SOT -1967085441 SOS 1243258829 HAS SOPS 1243258829 HAS SOUS 485993935 HAS SOUPS 485993935 WITH SCORE 4.87237193829E8
AT ITER 1800 NEW BEST:: SOT -1967098165 SOS 1243233379 HAS SOPS 1243233379 HAS SOUS 485993931 HAS SOUPS 485993931 WITH SCORE 4.87237164379E8
AT ITER 1804 NEW BEST:: SOT -1967121187 SOS 1243187335 HAS SOPS 1243187335 HAS SOUS 485993931 HAS SOUPS 485993931 WITH SCORE 4.87237118335E8
AT ITER 1812 NEW BEST:: SOT -1967126221 SOS 1243179424 HAS SOPS 1243179424 HAS SOUS 485993643 HAS SOUPS 485993643 WITH SCORE 4.87236822424E8
AT ITER 1815 NEW BEST:: SOT -1967126221 SOS 1243179423 HAS SOPS 1243179423 HAS SOUS 485993642 HAS SOUPS 485993642 WITH SCORE 4.87236821423E8
AT ITER 1822 NEW BEST:: SOT -1967133941 SOS 1243163983 HAS SOPS 1243163983 HAS SOUS 485993642 HAS SOUPS 485993642 WITH SCORE 4.87236805983E8
AT ITER 1830 NEW BEST:: SOT -1967152031 SOS 1243127802 HAS SOPS 1243127802 HAS SOUS 485993641 HAS SOUPS 485993641 WITH SCORE 4.87236768802E8
AT ITER 1832 NEW BEST:: SOT -1967174543 SOS 1243082777 HAS SOPS 1243082777 HAS SOUS 485993640 HAS SOUPS 485993640 WITH SCORE 4.87236722777E8
AT ITER 1840 NEW BEST:: SOT -1967202895 SOS 1243026072 HAS SOPS 1243026072 HAS SOUS 485993639 HAS SOUPS 485993639 WITH SCORE 4.87236665072E8
AT ITER 1861 NEW BEST:: SOT -1967236267 SOS 1242959328 HAS SOPS 1242959328 HAS SOUS 485993639 HAS SOUPS 485993639 WITH SCORE 4.87236598328E8
AT ITER 1864 NEW BEST:: SOT -1967275542 SOS 1242864010 HAS SOPS 1242864010 HAS SOUS 485982052 HAS SOUPS 485982052 WITH SCORE 4.8722491601E8
AT ITER 1868 NEW BEST:: SOT -1967303796 SOS 1242807502 HAS SOPS 1242807502 HAS SOUS 485982052 HAS SOUPS 485982052 WITH SCORE 4.87224859502E8
AT ITER 1870 NEW BEST:: SOT -1967313060 SOS 1242788973 HAS SOPS 1242788973 HAS SOUS 485982051 HAS SOUPS 485982051 WITH SCORE 4.87224839973E8
AT ITER 1872 NEW BEST:: SOT -1967329144 SOS 1242756805 HAS SOPS 1242756805 HAS SOUS 485982051 HAS SOUPS 485982051 WITH SCORE 4.87224807805E8
AT ITER 1873 NEW BEST:: SOT -1967389090 SOS 1242660538 HAS SOPS 1242660538 HAS SOUS 485978335 HAS SOUPS 485978335 WITH SCORE 4.87220995538E8
AT ITER 1876 NEW BEST:: SOT -1967410724 SOS 1242617270 HAS SOPS 1242617270 HAS SOUS 485978335 HAS SOUPS 485978335 WITH SCORE 4.8722095227E8
AT ITER 1880 NEW BEST:: SOT -1967438752 SOS 1242561213 HAS SOPS 1242561213 HAS SOUS 485978334 HAS SOUPS 485978334 WITH SCORE 4.87220895213E8
AT ITER 1885 NEW BEST:: SOT -1967471446 SOS 1242495824 HAS SOPS 1242495824 HAS SOUS 485978333 HAS SOUPS 485978333 WITH SCORE 4.87220828824E8
AT ITER 1888 NEW BEST:: SOT -1967482026 SOS 1242474664 HAS SOPS 1242474664 HAS SOUS 485978333 HAS SOUPS 485978333 WITH SCORE 4.87220807664E8
AT ITER 1894 NEW BEST:: SOT -1967521152 SOS 1242396411 HAS SOPS 1242396411 HAS SOUS 485978332 HAS SOUPS 485978332 WITH SCORE 4.87220728411E8
AT ITER 1898 NEW BEST:: SOT -1967538410 SOS 1242361894 HAS SOPS 1242361894 HAS SOUS 485978331 HAS SOUPS 485978331 WITH SCORE 4.87220692894E8
AT ITER 1909 NEW BEST:: SOT -1967570892 SOS 1242296929 HAS SOPS 1242296929 HAS SOUS 485978330 HAS SOUPS 485978330 WITH SCORE 4.87220626929E8
AT ITER 1916 NEW BEST:: SOT -1967636314 SOS 1242190034 HAS SOPS 1242190034 HAS SOUS 485963161 HAS SOUPS 485963161 WITH SCORE 4.87205351034E8
AT ITER 1922 NEW BEST:: SOT -1967649082 SOS 1242164497 HAS SOPS 1242164497 HAS SOUS 485963160 HAS SOUPS 485963160 WITH SCORE 4.87205324497E8
AT ITER 1938 NEW BEST:: SOT -1967649082 SOS 1242164495 HAS SOPS 1242164495 HAS SOUS 485963156 HAS SOUPS 485963156 WITH SCORE 4.87205320495E8
AT ITER 1941 NEW BEST:: SOT -1967657698 SOS 1242147263 HAS SOPS 1242147263 HAS SOUS 485963156 HAS SOUPS 485963156 WITH SCORE 4.87205303263E8
AT ITER 1954 NEW BEST:: SOT -1967697248 SOS 1242068161 HAS SOPS 1242068161 HAS SOUS 485963152 HAS SOUPS 485963152 WITH SCORE 4.87205220161E8
AT ITER 1963 NEW BEST:: SOT -1967722016 SOS 1242018624 HAS SOPS 1242018624 HAS SOUS 485963151 HAS SOUPS 485963151 WITH SCORE 4.87205169624E8
AT ITER 1970 NEW BEST:: SOT -1967737044 SOS 1241988566 HAS SOPS 1241988566 HAS SOUS 485963147 HAS SOUPS 485963147 WITH SCORE 4.87205135566E8
AT ITER 1973 NEW BEST:: SOT -1967746624 SOS 1241969404 HAS SOPS 1241969404 HAS SOUS 485963143 HAS SOUPS 485963143 WITH SCORE 4.87205112404E8
AT ITER 1982 NEW BEST:: SOT -1967809676 SOS 1241869003 HAS SOPS 1241869003 HAS SOUS 485962102 HAS SOUPS 485962102 WITH SCORE 4.87203971003E8
AT ITER 1984 NEW BEST:: SOT -1967822054 SOS 1241844245 HAS SOPS 1241844245 HAS SOUS 485962098 HAS SOUPS 485962098 WITH SCORE 4.87203942245E8
AT ITER 1989 NEW BEST:: SOT -1967846220 SOS 1241795911 HAS SOPS 1241795911 HAS SOUS 485962094 HAS SOUPS 485962094 WITH SCORE 4.87203889911E8
AT ITER 1991 NEW BEST:: SOT -1967873656 SOS 1241741037 HAS SOPS 1241741037 HAS SOUS 485962090 HAS SOUPS 485962090 WITH SCORE 4.87203831037E8
AT ITER 1993 NEW BEST:: SOT -1967898728 SOS 1241690891 HAS SOPS 1241690891 HAS SOUS 485962086 HAS SOUPS 485962086 WITH SCORE 4.87203776891E8
AT ITER 1998 NEW BEST:: SOT -1967929508 SOS 1241629331 HAS SOPS 1241629331 HAS SOUS 485962086 HAS SOUPS 485962086 WITH SCORE 4.87203715331E8
AT ITER 2003 NEW BEST:: SOT -1967940608 SOS 1241607129 HAS SOPS 1241607129 HAS SOUS 485962082 HAS SOUPS 485962082 WITH SCORE 4.87203689129E8
AT ITER 2024 NEW BEST:: SOT -1967982094 SOS 1241524157 HAS SOPS 1241524157 HAS SOUS 485962082 HAS SOUPS 485962082 WITH SCORE 4.87203606157E8
AT ITER 2026 NEW BEST:: SOT -1967998116 SOS 1241492113 HAS SOPS 1241492113 HAS SOUS 485962082 HAS SOUPS 485962082 WITH SCORE 4.87203574113E8
AT ITER 2032 NEW BEST:: SOT -1968031348 SOS 1241425648 HAS SOPS 1241425648 HAS SOUS 485962081 HAS SOUPS 485962081 WITH SCORE 4.87203506648E8
AT ITER 2033 NEW BEST:: SOT -1968062013 SOS 1241364318 HAS SOPS 1241364318 HAS SOUS 485962102 HAS SOUPS 485962102 WITH SCORE 4.87203466318E8
AT ITER 2034 NEW BEST:: SOT -1968079735 SOS 1241328873 HAS SOPS 1241328873 HAS SOUS 485962101 HAS SOUPS 485962101 WITH SCORE 4.87203429873E8
AT ITER 2040 NEW BEST:: SOT -1968088507 SOS 1241311327 HAS SOPS 1241311327 HAS SOUS 485962097 HAS SOUPS 485962097 WITH SCORE 4.87203408327E8
AT ITER 2064 NEW BEST:: SOT -1968120579 SOS 1241247181 HAS SOPS 1241247181 HAS SOUS 485962093 HAS SOUPS 485962093 WITH SCORE 4.87203340181E8
AT ITER 2066 NEW BEST:: SOT -1968132715 SOS 1241222909 HAS SOPS 1241222909 HAS SOUS 485962093 HAS SOUPS 485962093 WITH SCORE 4.87203315909E8
AT ITER 2076 NEW BEST:: SOT -1968172943 SOS 1241142452 HAS SOPS 1241142452 HAS SOUS 485962092 HAS SOUPS 485962092 WITH SCORE 4.87203234452E8
AT ITER 2079 NEW BEST:: SOT -1968200161 SOS 1241079888 HAS SOPS 1241079888 HAS SOUS 485953964 HAS SOUPS 485953964 WITH SCORE 4.87195043888E8
AT ITER 2080 NEW BEST:: SOT -1968228759 SOS 1241022690 HAS SOPS 1241022690 HAS SOUS 485953960 HAS SOUPS 485953960 WITH SCORE 4.8719498269E8
AT ITER 2085 NEW BEST:: SOT -1968266839 SOS 1240946530 HAS SOPS 1240946530 HAS SOUS 485953960 HAS SOUPS 485953960 WITH SCORE 4.8719490653E8
AT ITER 2086 NEW BEST:: SOT -1968304265 SOS 1240871677 HAS SOPS 1240871677 HAS SOUS 485953959 HAS SOUPS 485953959 WITH SCORE 4.87194830677E8
AT ITER 2090 NEW BEST:: SOT -1968338039 SOS 1240804129 HAS SOPS 1240804129 HAS SOUS 485953959 HAS SOUPS 485953959 WITH SCORE 4.87194763129E8
AT ITER 2094 NEW BEST:: SOT -1968398302 SOS 1240704777 HAS SOPS 1240704777 HAS SOUS 485939315 HAS SOUPS 485939315 WITH SCORE 4.87180019777E8
AT ITER 2096 NEW BEST:: SOT -1968429145 SOS 1240653370 HAS SOPS 1240653370 HAS SOUS 485929030 HAS SOUPS 485929030 WITH SCORE 4.8716968337E8
AT ITER 2098 NEW BEST:: SOT -1968464477 SOS 1240582705 HAS SOPS 1240582705 HAS SOUS 485929029 HAS SOUPS 485929029 WITH SCORE 4.87169611705E8
AT ITER 2101 NEW BEST:: SOT -1968480229 SOS 1240551200 HAS SOPS 1240551200 HAS SOUS 485929028 HAS SOUPS 485929028 WITH SCORE 4.871695792E8
AT ITER 2105 NEW BEST:: SOT -1968491237 SOS 1240529184 HAS SOPS 1240529184 HAS SOUS 485929028 HAS SOUPS 485929028 WITH SCORE 4.87169557184E8
AT ITER 2110 NEW BEST:: SOT -1968538479 SOS 1240434698 HAS SOPS 1240434698 HAS SOUS 485929024 HAS SOUPS 485929024 WITH SCORE 4.87169458698E8
AT ITER 2120 NEW BEST:: SOT -1968548607 SOS 1240414441 HAS SOPS 1240414441 HAS SOUS 485929023 HAS SOUPS 485929023 WITH SCORE 4.87169437441E8
AT ITER 2129 NEW BEST:: SOT -1968578305 SOS 1240355045 HAS SOPS 1240355045 HAS SOUS 485929023 HAS SOUPS 485929023 WITH SCORE 4.87169378045E8
AT ITER 2131 NEW BEST:: SOT -1968578305 SOS 1240355043 HAS SOPS 1240355043 HAS SOUS 485929019 HAS SOUPS 485929019 WITH SCORE 4.87169374043E8
AT ITER 2135 NEW BEST:: SOT -1968598057 SOS 1240315537 HAS SOPS 1240315537 HAS SOUS 485929015 HAS SOUPS 485929015 WITH SCORE 4.87169330537E8
AT ITER 2145 NEW BEST:: SOT -1968620015 SOS 1240271619 HAS SOPS 1240271619 HAS SOUS 485929011 HAS SOUPS 485929011 WITH SCORE 4.87169282619E8
AT ITER 2151 NEW BEST:: SOT -1968622717 SOS 1240266214 HAS SOPS 1240266214 HAS SOUS 485929010 HAS SOUPS 485929010 WITH SCORE 4.87169276214E8
AT ITER 2157 NEW BEST:: SOT -1968655519 SOS 1240200609 HAS SOPS 1240200609 HAS SOUS 485929009 HAS SOUPS 485929009 WITH SCORE 4.87169209609E8
AT ITER 2163 NEW BEST:: SOT -1968694305 SOS 1240123035 HAS SOPS 1240123035 HAS SOUS 485929005 HAS SOUPS 485929005 WITH SCORE 4.87169128035E8
AT ITER 2171 NEW BEST:: SOT -1968716201 SOS 1240079241 HAS SOPS 1240079241 HAS SOUS 485929001 HAS SOUPS 485929001 WITH SCORE 4.87169080241E8
AT ITER 2184 NEW BEST:: SOT -1968761753 SOS 1239988135 HAS SOPS 1239988135 HAS SOUS 485928997 HAS SOUPS 485928997 WITH SCORE 4.87168985135E8
AT ITER 2195 NEW BEST:: SOT -1968784295 SOS 1239943050 HAS SOPS 1239943050 HAS SOUS 485928996 HAS SOUPS 485928996 WITH SCORE 4.8716893905E8
AT ITER 2206 NEW BEST:: SOT -1968793363 SOS 1239924912 HAS SOPS 1239924912 HAS SOUS 485928992 HAS SOUPS 485928992 WITH SCORE 4.87168916912E8
AT ITER 2210 NEW BEST:: SOT -1968796337 SOS 1239918962 HAS SOPS 1239918962 HAS SOUS 485928988 HAS SOUPS 485928988 WITH SCORE 4.87168906962E8
AT ITER 2212 NEW BEST:: SOT -1968833275 SOS 1239845084 HAS SOPS 1239845084 HAS SOUS 485928984 HAS SOUPS 485928984 WITH SCORE 4.87168829084E8
AT ITER 2221 NEW BEST:: SOT -1968848023 SOS 1239815586 HAS SOPS 1239815586 HAS SOUS 485928980 HAS SOUPS 485928980 WITH SCORE 4.87168795586E8
AT ITER 2223 NEW BEST:: SOT -1968870759 SOS 1239770114 HAS SOPS 1239770114 HAS SOUS 485928980 HAS SOUPS 485928980 WITH SCORE 4.87168750114E8
AT ITER 2228 NEW BEST:: SOT -1968891529 SOS 1239728574 HAS SOPS 1239728574 HAS SOUS 485928980 HAS SOUPS 485928980 WITH SCORE 4.87168708574E8
AT ITER 2230 NEW BEST:: SOT -1968906431 SOS 1239698768 HAS SOPS 1239698768 HAS SOUS 485928976 HAS SOUPS 485928976 WITH SCORE 4.87168674768E8
AT ITER 2238 NEW BEST:: SOT -1968958820 SOS 1239619167 HAS SOPS 1239619167 HAS SOUS 485925113 HAS SOUPS 485925113 WITH SCORE 4.87164732167E8
AT ITER 2240 NEW BEST:: SOT -1968971728 SOS 1239593351 HAS SOPS 1239593351 HAS SOUS 485925113 HAS SOUPS 485925113 WITH SCORE 4.87164706351E8
AT ITER 2247 NEW BEST:: SOT -1968971728 SOS 1239593350 HAS SOPS 1239593350 HAS SOUS 485925112 HAS SOUPS 485925112 WITH SCORE 4.8716470535E8
AT ITER 2249 NEW BEST:: SOT -1968993220 SOS 1239550364 HAS SOPS 1239550364 HAS SOUS 485925108 HAS SOUPS 485925108 WITH SCORE 4.87164658364E8
AT ITER 2253 NEW BEST:: SOT -1969001782 SOS 1239533238 HAS SOPS 1239533238 HAS SOUS 485925104 HAS SOUPS 485925104 WITH SCORE 4.87164637238E8
AT ITER 2267 NEW BEST:: SOT -1969061337 SOS 1239437309 HAS SOPS 1239437309 HAS SOUS 485921911 HAS SOUPS 485921911 WITH SCORE 4.87161348309E8
AT ITER 2277 NEW BEST:: SOT -1969086539 SOS 1239386905 HAS SOPS 1239386905 HAS SOUS 485921911 HAS SOUPS 485921911 WITH SCORE 4.87161297905E8
AT ITER 2280 NEW BEST:: SOT -1969118705 SOS 1239322571 HAS SOPS 1239322571 HAS SOUS 485921907 HAS SOUPS 485921907 WITH SCORE 4.87161229571E8
AT ITER 2289 NEW BEST:: SOT -1969141897 SOS 1239276187 HAS SOPS 1239276187 HAS SOUS 485921907 HAS SOUPS 485921907 WITH SCORE 4.87161183187E8
AT ITER 2295 NEW BEST:: SOT -1969180677 SOS 1239198625 HAS SOPS 1239198625 HAS SOUS 485921903 HAS SOUPS 485921903 WITH SCORE 4.87161101625E8
AT ITER 2299 NEW BEST:: SOT -1969207161 SOS 1239145655 HAS SOPS 1239145655 HAS SOUS 485921899 HAS SOUPS 485921899 WITH SCORE 4.87161044655E8
AT ITER 2308 NEW BEST:: SOT -1969237679 SOS 1239084617 HAS SOPS 1239084617 HAS SOUS 485921895 HAS SOUPS 485921895 WITH SCORE 4.87160979617E8
AT ITER 2330 NEW BEST:: SOT -1969270411 SOS 1239019152 HAS SOPS 1239019152 HAS SOUS 485921894 HAS SOUPS 485921894 WITH SCORE 4.87160913152E8
AT ITER 2337 NEW BEST:: SOT -1969309831 SOS 1238940310 HAS SOPS 1238940310 HAS SOUS 485921890 HAS SOUPS 485921890 WITH SCORE 4.8716083031E8
AT ITER 2344 NEW BEST:: SOT -1969330851 SOS 1238898268 HAS SOPS 1238898268 HAS SOUS 485921886 HAS SOUPS 485921886 WITH SCORE 4.87160784268E8
AT ITER 2347 NEW BEST:: SOT -1969340633 SOS 1238878704 HAS SOPS 1238878704 HAS SOUS 485921886 HAS SOUPS 485921886 WITH SCORE 4.87160764704E8
AT ITER 2353 NEW BEST:: SOT -1969405890 SOS 1238772522 HAS SOPS 1238772522 HAS SOUS 485908744 HAS SOUPS 485908744 WITH SCORE 4.87147516522E8
AT ITER 2360 NEW BEST:: SOT -1969423920 SOS 1238736462 HAS SOPS 1238736462 HAS SOUS 485908744 HAS SOUPS 485908744 WITH SCORE 4.87147480462E8
AT ITER 2367 NEW BEST:: SOT -1969441564 SOS 1238701173 HAS SOPS 1238701173 HAS SOUS 485908743 HAS SOUPS 485908743 WITH SCORE 4.87147444173E8
AT ITER 2378 NEW BEST:: SOT -1969456698 SOS 1238670904 HAS SOPS 1238670904 HAS SOUS 485908742 HAS SOUPS 485908742 WITH SCORE 4.87147412904E8
AT ITER 2409 NEW BEST:: SOT -1969493096 SOS 1238598106 HAS SOPS 1238598106 HAS SOUS 485908738 HAS SOUPS 485908738 WITH SCORE 4.87147336106E8
AT ITER 2413 NEW BEST:: SOT -1969529794 SOS 1238524709 HAS SOPS 1238524709 HAS SOUS 485908737 HAS SOUPS 485908737 WITH SCORE 4.87147261709E8
AT ITER 2414 NEW BEST:: SOT -1969563610 SOS 1238457076 HAS SOPS 1238457076 HAS SOUS 485908736 HAS SOUPS 485908736 WITH SCORE 4.87147193076E8
AT ITER 2418 NEW BEST:: SOT -1969587954 SOS 1238408387 HAS SOPS 1238408387 HAS SOUS 485908735 HAS SOUPS 485908735 WITH SCORE 4.87147143387E8
AT ITER 2423 NEW BEST:: SOT -1969601192 SOS 1238381911 HAS SOPS 1238381911 HAS SOUS 485908735 HAS SOUPS 485908735 WITH SCORE 4.87147116911E8
AT ITER 2425 NEW BEST:: SOT -1969608294 SOS 1238367706 HAS SOPS 1238367706 HAS SOUS 485908734 HAS SOUPS 485908734 WITH SCORE 4.87147101706E8
AT ITER 2428 NEW BEST:: SOT -1969649658 SOS 1238284977 HAS SOPS 1238284977 HAS SOUS 485908733 HAS SOUPS 485908733 WITH SCORE 4.87147017977E8
AT ITER 2448 NEW BEST:: SOT -1969667762 SOS 1238248768 HAS SOPS 1238248768 HAS SOUS 485908732 HAS SOUPS 485908732 WITH SCORE 4.87146980768E8
AT ITER 2470 NEW BEST:: SOT -1969695962 SOS 1238192366 HAS SOPS 1238192366 HAS SOUS 485908728 HAS SOUPS 485908728 WITH SCORE 4.87146920366E8
AT ITER 2473 NEW BEST:: SOT -1969759414 SOS 1238088385 HAS SOPS 1238088385 HAS SOUS 485895367 HAS SOUPS 485895367 WITH SCORE 4.87133455385E8
AT ITER 2483 NEW BEST:: SOT -1969797624 SOS 1238011965 HAS SOPS 1238011965 HAS SOUS 485895367 HAS SOUPS 485895367 WITH SCORE 4.87133378965E8
AT ITER 2496 NEW BEST:: SOT -1969807834 SOS 1237991544 HAS SOPS 1237991544 HAS SOUS 485895366 HAS SOUPS 485895366 WITH SCORE 4.87133357544E8
AT ITER 2501 NEW BEST:: SOT -1969830340 SOS 1237946530 HAS SOPS 1237946530 HAS SOUS 485895362 HAS SOUPS 485895362 WITH SCORE 4.8713330853E8
AT ITER 2524 NEW BEST:: SOT -1969857048 SOS 1237893114 HAS SOPS 1237893114 HAS SOUS 485895362 HAS SOUPS 485895362 WITH SCORE 4.87133255114E8
AT ITER 2526 NEW BEST:: SOT -1969868074 SOS 1237871061 HAS SOPS 1237871061 HAS SOUS 485895361 HAS SOUPS 485895361 WITH SCORE 4.87133232061E8
AT ITER 2527 NEW BEST:: SOT -1969892346 SOS 1237822515 HAS SOPS 1237822515 HAS SOUS 485895357 HAS SOUPS 485895357 WITH SCORE 4.87133179515E8
AT ITER 2528 NEW BEST:: SOT -1969914952 SOS 1237777302 HAS SOPS 1237777302 HAS SOUS 485895356 HAS SOUPS 485895356 WITH SCORE 4.87133133302E8
AT ITER 2529 NEW BEST:: SOT -1969924320 SOS 1237758566 HAS SOPS 1237758566 HAS SOUS 485895356 HAS SOUPS 485895356 WITH SCORE 4.87133114566E8
AT ITER 2532 NEW BEST:: SOT -1969942910 SOS 1237721384 HAS SOPS 1237721384 HAS SOUS 485895352 HAS SOUPS 485895352 WITH SCORE 4.87133073384E8
AT ITER 2533 NEW BEST:: SOT -1969988416 SOS 1237630371 HAS SOPS 1237630371 HAS SOUS 485895351 HAS SOUPS 485895351 WITH SCORE 4.87132981371E8
AT ITER 2553 NEW BEST:: SOT -1970015306 SOS 1237576589 HAS SOPS 1237576589 HAS SOUS 485895347 HAS SOUPS 485895347 WITH SCORE 4.87132923589E8
AT ITER 2557 NEW BEST:: SOT -1970036028 SOS 1237535145 HAS SOPS 1237535145 HAS SOUS 485895347 HAS SOUPS 485895347 WITH SCORE 4.87132882145E8
AT ITER 2560 NEW BEST:: SOT -1970056948 SOS 1237493305 HAS SOPS 1237493305 HAS SOUS 485895347 HAS SOUPS 485895347 WITH SCORE 4.87132840305E8
AT ITER 2564 NEW BEST:: SOT -1970065080 SOS 1237477039 HAS SOPS 1237477039 HAS SOUS 485895343 HAS SOUPS 485895343 WITH SCORE 4.87132820039E8
AT ITER 2567 NEW BEST:: SOT -1970080274 SOS 1237446649 HAS SOPS 1237446649 HAS SOUS 485895339 HAS SOUPS 485895339 WITH SCORE 4.87132785649E8
AT ITER 2575 NEW BEST:: SOT -1970101236 SOS 1237404723 HAS SOPS 1237404723 HAS SOUS 485895335 HAS SOUPS 485895335 WITH SCORE 4.87132739723E8
AT ITER 2584 NEW BEST:: SOT -1970127498 SOS 1237352198 HAS SOPS 1237352198 HAS SOUS 485895334 HAS SOUPS 485895334 WITH SCORE 4.87132686198E8
AT ITER 2587 NEW BEST:: SOT -1970139638 SOS 1237327917 HAS SOPS 1237327917 HAS SOUS 485895333 HAS SOUPS 485895333 WITH SCORE 4.87132660917E8
AT ITER 2590 NEW BEST:: SOT -1970157292 SOS 1237292609 HAS SOPS 1237292609 HAS SOUS 485895333 HAS SOUPS 485895333 WITH SCORE 4.87132625609E8
AT ITER 2597 NEW BEST:: SOT -1970170820 SOS 1237265551 HAS SOPS 1237265551 HAS SOUS 485895329 HAS SOUPS 485895329 WITH SCORE 4.87132594551E8
AT ITER 2598 NEW BEST:: SOT -1970178954 SOS 1237249282 HAS SOPS 1237249282 HAS SOUS 485895328 HAS SOUPS 485895328 WITH SCORE 4.87132577282E8
AT ITER 2614 NEW BEST:: SOT -1970219294 SOS 1237168602 HAS SOPS 1237168602 HAS SOUS 485895328 HAS SOUPS 485895328 WITH SCORE 4.87132496602E8
AT ITER 2617 NEW BEST:: SOT -1970226402 SOS 1237154386 HAS SOPS 1237154386 HAS SOUS 485895328 HAS SOUPS 485895328 WITH SCORE 4.87132482386E8
AT ITER 2621 NEW BEST:: SOT -1970246806 SOS 1237113578 HAS SOPS 1237113578 HAS SOUS 485895328 HAS SOUPS 485895328 WITH SCORE 4.87132441578E8
AT ITER 2639 NEW BEST:: SOT -1970280460 SOS 1237030878 HAS SOPS 1237030878 HAS SOUS 485879934 HAS SOUPS 485879934 WITH SCORE 4.87116964878E8
AT ITER 2642 NEW BEST:: SOT -1970300682 SOS 1236990433 HAS SOPS 1236990433 HAS SOUS 485879933 HAS SOUPS 485879933 WITH SCORE 4.87116923433E8
AT ITER 2648 NEW BEST:: SOT -1970316232 SOS 1236959333 HAS SOPS 1236959333 HAS SOUS 485879933 HAS SOUPS 485879933 WITH SCORE 4.87116892333E8
AT ITER 2662 NEW BEST:: SOT -1970354246 SOS 1236883305 HAS SOPS 1236883305 HAS SOUS 485879933 HAS SOUPS 485879933 WITH SCORE 4.87116816305E8
AT ITER 2673 NEW BEST:: SOT -1970375664 SOS 1236840468 HAS SOPS 1236840468 HAS SOUS 485879932 HAS SOUPS 485879932 WITH SCORE 4.87116772468E8
AT ITER 2674 NEW BEST:: SOT -1970400046 SOS 1236791704 HAS SOPS 1236791704 HAS SOUS 485879932 HAS SOUPS 485879932 WITH SCORE 4.87116723704E8
AT ITER 2680 NEW BEST:: SOT -1970419317 SOS 1236776119 HAS SOPS 1236776119 HAS SOUS 485867249 HAS SOUPS 485867249 WITH SCORE 4.87104025119E8
AT ITER 2702 NEW BEST:: SOT -1970481108 SOS 1236674166 HAS SOPS 1236674166 HAS SOUS 485851824 HAS SOUPS 485851824 WITH SCORE 4.87088498166E8
AT ITER 2706 NEW BEST:: SOT -1970485752 SOS 1236664878 HAS SOPS 1236664878 HAS SOUS 485851824 HAS SOUPS 485851824 WITH SCORE 4.87088488878E8
AT ITER 2712 NEW BEST:: SOT -1970548366 SOS 1236564235 HAS SOPS 1236564235 HAS SOUS 485847625 HAS SOUPS 485847625 WITH SCORE 4.87084189235E8
AT ITER 2717 NEW BEST:: SOT -1970567042 SOS 1236526883 HAS SOPS 1236526883 HAS SOUS 485847625 HAS SOUPS 485847625 WITH SCORE 4.87084151883E8
AT ITER 2742 NEW BEST:: SOT -1970584632 SOS 1236491703 HAS SOPS 1236491703 HAS SOUS 485847625 HAS SOUPS 485847625 WITH SCORE 4.87084116703E8
AT ITER 2745 NEW BEST:: SOT -1970619504 SOS 1236421958 HAS SOPS 1236421958 HAS SOUS 485847624 HAS SOUPS 485847624 WITH SCORE 4.87084045958E8
AT ITER 2781 NEW BEST:: SOT -1970653360 SOS 1236354246 HAS SOPS 1236354246 HAS SOUS 485847624 HAS SOUPS 485847624 WITH SCORE 4.87083978246E8
AT ITER 2797 NEW BEST:: SOT -1970680762 SOS 1236299440 HAS SOPS 1236299440 HAS SOUS 485847620 HAS SOUPS 485847620 WITH SCORE 4.8708391944E8
AT ITER 2798 NEW BEST:: SOT -1970713664 SOS 1236233636 HAS SOPS 1236233636 HAS SOUS 485847620 HAS SOUPS 485847620 WITH SCORE 4.87083853636E8
AT ITER 2804 NEW BEST:: SOT -1970739362 SOS 1236182238 HAS SOPS 1236182238 HAS SOUS 485847616 HAS SOUPS 485847616 WITH SCORE 4.87083798238E8
AT ITER 2815 NEW BEST:: SOT -1970779924 SOS 1236101113 HAS SOPS 1236101113 HAS SOUS 485847615 HAS SOUPS 485847615 WITH SCORE 4.87083716113E8
AT ITER 2849 NEW BEST:: SOT -1970839365 SOS 1236005625 HAS SOPS 1236005625 HAS SOUS 485845711 HAS SOUPS 485845711 WITH SCORE 4.87081716625E8
AT ITER 2851 NEW BEST:: SOT -1970862709 SOS 1235958937 HAS SOPS 1235958937 HAS SOUS 485845711 HAS SOUPS 485845711 WITH SCORE 4.87081669937E8
AT ITER 2865 NEW BEST:: SOT -1970888617 SOS 1235907120 HAS SOPS 1235907120 HAS SOUS 485845710 HAS SOUPS 485845710 WITH SCORE 4.8708161712E8
AT ITER 2868 NEW BEST:: SOT -1970899669 SOS 1235879490 HAS SOPS 1235879490 HAS SOUS 485840182 HAS SOUPS 485840182 WITH SCORE 4.8707606149E8
AT ITER 2887 NEW BEST:: SOT -1970921505 SOS 1235835818 HAS SOPS 1235835818 HAS SOUS 485840182 HAS SOUPS 485840182 WITH SCORE 4.87076017818E8
AT ITER 2903 NEW BEST:: SOT -1970984732 SOS 1235732762 HAS SOPS 1235732762 HAS SOUS 485829396 HAS SOUPS 485829396 WITH SCORE 4.87065128762E8
AT ITER 2904 NEW BEST:: SOT -1970993618 SOS 1235714989 HAS SOPS 1235714989 HAS SOUS 485829395 HAS SOUPS 485829395 WITH SCORE 4.87065109989E8
AT ITER 2917 NEW BEST:: SOT -1971013664 SOS 1235674896 HAS SOPS 1235674896 HAS SOUS 485829394 HAS SOUPS 485829394 WITH SCORE 4.87065068896E8
AT ITER 2928 NEW BEST:: SOT -1971053682 SOS 1235594860 HAS SOPS 1235594860 HAS SOUS 485829394 HAS SOUPS 485829394 WITH SCORE 4.8706498886E8
AT ITER 2949 NEW BEST:: SOT -1971061896 SOS 1235578431 HAS SOPS 1235578431 HAS SOUS 485829393 HAS SOUPS 485829393 WITH SCORE 4.87064971431E8
AT ITER 2952 NEW BEST:: SOT -1971075966 SOS 1235550289 HAS SOPS 1235550289 HAS SOUS 485829389 HAS SOUPS 485829389 WITH SCORE 4.87064939289E8
AT ITER 2954 NEW BEST:: SOT -1971102316 SOS 1235497588 HAS SOPS 1235497588 HAS SOUS 485829388 HAS SOUPS 485829388 WITH SCORE 4.87064885588E8
AT ITER 2955 NEW BEST:: SOT -1971103924 SOS 1235493568 HAS SOPS 1235493568 HAS SOUS 485828584 HAS SOUPS 485828584 WITH SCORE 4.87064077568E8
AT ITER 2959 NEW BEST:: SOT -1971124024 SOS 1235453368 HAS SOPS 1235453368 HAS SOUS 485828584 HAS SOUPS 485828584 WITH SCORE 4.87064037368E8
AT ITER 2970 NEW BEST:: SOT -1971151072 SOS 1235399270 HAS SOPS 1235399270 HAS SOUS 485828580 HAS SOUPS 485828580 WITH SCORE 4.8706397927E8
AT ITER 2977 NEW BEST:: SOT -1971174784 SOS 1235351846 HAS SOPS 1235351846 HAS SOUS 485828580 HAS SOUPS 485828580 WITH SCORE 4.87063931846E8
AT ITER 2986 NEW BEST:: SOT -1971199200 SOS 1235303013 HAS SOPS 1235303013 HAS SOUS 485828579 HAS SOUPS 485828579 WITH SCORE 4.87063882013E8
AT ITER 3001 NEW BEST:: SOT -1971206416 SOS 1235288579 HAS SOPS 1235288579 HAS SOUS 485828575 HAS SOUPS 485828575 WITH SCORE 4.87063863579E8
AT ITER 3021 NEW BEST:: SOT -1971244586 SOS 1235212239 HAS SOPS 1235212239 HAS SOUS 485828575 HAS SOUPS 485828575 WITH SCORE 4.87063787239E8
AT ITER 3028 NEW BEST:: SOT -1971285302 SOS 1235130806 HAS SOPS 1235130806 HAS SOUS 485828574 HAS SOUPS 485828574 WITH SCORE 4.87063704806E8
AT ITER 3034 NEW BEST:: SOT -1971310848 SOS 1235079713 HAS SOPS 1235079713 HAS SOUS 485828573 HAS SOUPS 485828573 WITH SCORE 4.87063652713E8
AT ITER 3035 NEW BEST:: SOT -1971347822 SOS 1235005765 HAS SOPS 1235005765 HAS SOUS 485828573 HAS SOUPS 485828573 WITH SCORE 4.87063578765E8
AT ITER 3047 NEW BEST:: SOT -1971373160 SOS 1234955089 HAS SOPS 1234955089 HAS SOUS 485828573 HAS SOUPS 485828573 WITH SCORE 4.87063528089E8
AT ITER 3059 NEW BEST:: SOT -1971388022 SOS 1234925365 HAS SOPS 1234925365 HAS SOUS 485828573 HAS SOUPS 485828573 WITH SCORE 4.87063498365E8
AT ITER 3064 NEW BEST:: SOT -1971419406 SOS 1234862597 HAS SOPS 1234862597 HAS SOUS 485828573 HAS SOUPS 485828573 WITH SCORE 4.87063435597E8
AT ITER 3073 NEW BEST:: SOT -1971438994 SOS 1234823420 HAS SOPS 1234823420 HAS SOUS 485828572 HAS SOUPS 485828572 WITH SCORE 4.8706339542E8
AT ITER 3079 NEW BEST:: SOT -1971446418 SOS 1234808572 HAS SOPS 1234808572 HAS SOUS 485828572 HAS SOUPS 485828572 WITH SCORE 4.87063380572E8
AT ITER 3091 NEW BEST:: SOT -1971509811 SOS 1234706690 HAS SOPS 1234706690 HAS SOUS 485823306 HAS SOUPS 485823306 WITH SCORE 4.8705801269E8
AT ITER 3095 NEW BEST:: SOT -1971543907 SOS 1234638497 HAS SOPS 1234638497 HAS SOUS 485823305 HAS SOUPS 485823305 WITH SCORE 4.87057943497E8
AT ITER 3098 NEW BEST:: SOT -1971559833 SOS 1234606644 HAS SOPS 1234606644 HAS SOUS 485823304 HAS SOUPS 485823304 WITH SCORE 4.87057910644E8
AT ITER 3104 NEW BEST:: SOT -1971584745 SOS 1234556819 HAS SOPS 1234556819 HAS SOUS 485823303 HAS SOUPS 485823303 WITH SCORE 4.87057859819E8
AT ITER 3117 NEW BEST:: SOT -1971611989 SOS 1234502331 HAS SOPS 1234502331 HAS SOUS 485823303 HAS SOUPS 485823303 WITH SCORE 4.87057805331E8
AT ITER 3122 NEW BEST:: SOT -1971627221 SOS 1234471866 HAS SOPS 1234471866 HAS SOUS 485823302 HAS SOUPS 485823302 WITH SCORE 4.87057773866E8
AT ITER 3126 NEW BEST:: SOT -1971654737 SOS 1234416833 HAS SOPS 1234416833 HAS SOUS 485823301 HAS SOUPS 485823301 WITH SCORE 4.87057717833E8
AT ITER 3136 NEW BEST:: SOT -1971676321 SOS 1234363373 HAS SOPS 1234363373 HAS SOUS 485814035 HAS SOUPS 485814035 WITH SCORE 4.87048398373E8
AT ITER 3140 NEW BEST:: SOT -1971701733 SOS 1234312547 HAS SOPS 1234312547 HAS SOUS 485814031 HAS SOUPS 485814031 WITH SCORE 4.87048343547E8
AT ITER 3153 NEW BEST:: SOT -1971731849 SOS 1234252314 HAS SOPS 1234252314 HAS SOUS 485814030 HAS SOUPS 485814030 WITH SCORE 4.87048282314E8
AT ITER 3155 NEW BEST:: SOT -1971794631 SOS 1234149002 HAS SOPS 1234149002 HAS SOUS 485799449 HAS SOUPS 485799449 WITH SCORE 4.87033598002E8
AT ITER 3159 NEW BEST:: SOT -1971823915 SOS 1234090432 HAS SOPS 1234090432 HAS SOUS 485799445 HAS SOUPS 485799445 WITH SCORE 4.87033535432E8
AT ITER 3167 NEW BEST:: SOT -1971841067 SOS 1234056128 HAS SOPS 1234056128 HAS SOUS 485799445 HAS SOUPS 485799445 WITH SCORE 4.87033501128E8
AT ITER 3168 NEW BEST:: SOT -1971857423 SOS 1234019794 HAS SOPS 1234019794 HAS SOUS 485795859 HAS SOUPS 485795859 WITH SCORE 4.87029878794E8
AT ITER 3173 NEW BEST:: SOT -1971893953 SOS 1233946733 HAS SOPS 1233946733 HAS SOUS 485795858 HAS SOUPS 485795858 WITH SCORE 4.87029804733E8
AT ITER 3180 NEW BEST:: SOT -1971925515 SOS 1233883609 HAS SOPS 1233883609 HAS SOUS 485795858 HAS SOUPS 485795858 WITH SCORE 4.87029741609E8
AT ITER 3183 NEW BEST:: SOT -1971945491 SOS 1233843656 HAS SOPS 1233843656 HAS SOUS 485795857 HAS SOUPS 485795857 WITH SCORE 4.87029700656E8
AT ITER 3186 NEW BEST:: SOT -1971957325 SOS 1233819988 HAS SOPS 1233819988 HAS SOUS 485795857 HAS SOUPS 485795857 WITH SCORE 4.87029676988E8
AT ITER 3199 NEW BEST:: SOT -1971986263 SOS 1233762110 HAS SOPS 1233762110 HAS SOUS 485795853 HAS SOUPS 485795853 WITH SCORE 4.8702961511E8
AT ITER 3201 NEW BEST:: SOT -1972015593 SOS 1233703450 HAS SOPS 1233703450 HAS SOUS 485795853 HAS SOUPS 485795853 WITH SCORE 4.8702955645E8
AT ITER 3207 NEW BEST:: SOT -1972036125 SOS 1233662385 HAS SOPS 1233662385 HAS SOUS 485795852 HAS SOUPS 485795852 WITH SCORE 4.87029514385E8
AT ITER 3216 NEW BEST:: SOT -1972069516 SOS 1233583638 HAS SOPS 1233583638 HAS SOUS 485788436 HAS SOUPS 485788436 WITH SCORE 4.87022019638E8
AT ITER 3223 NEW BEST:: SOT -1972096814 SOS 1233529040 HAS SOPS 1233529040 HAS SOUS 485788432 HAS SOUPS 485788432 WITH SCORE 4.8702196104E8
AT ITER 3230 NEW BEST:: SOT -1972118902 SOS 1233484863 HAS SOPS 1233484863 HAS SOUS 485788431 HAS SOUPS 485788431 WITH SCORE 4.87021915863E8
AT ITER 3246 NEW BEST:: SOT -1972163469 SOS 1233379647 HAS SOPS 1233379647 HAS SOUS 485781325 HAS SOUPS 485781325 WITH SCORE 4.87014704647E8
AT ITER 3251 NEW BEST:: SOT -1972179551 SOS 1233347481 HAS SOPS 1233347481 HAS SOUS 485781321 HAS SOUPS 485781321 WITH SCORE 4.87014668481E8
AT ITER 3259 NEW BEST:: SOT -1972210403 SOS 1233285776 HAS SOPS 1233285776 HAS SOUS 485781320 HAS SOUPS 485781320 WITH SCORE 4.87014605776E8
AT ITER 3268 NEW BEST:: SOT -1972231157 SOS 1233244268 HAS SOPS 1233244268 HAS SOUS 485781320 HAS SOUPS 485781320 WITH SCORE 4.87014564268E8
AT ITER 3269 NEW BEST:: SOT -1972240685 SOS 1233225211 HAS SOPS 1233225211 HAS SOUS 485781319 HAS SOUPS 485781319 WITH SCORE 4.87014544211E8
AT ITER 3271 NEW BEST:: SOT -1972275389 SOS 1233155801 HAS SOPS 1233155801 HAS SOUS 485781315 HAS SOUPS 485781315 WITH SCORE 4.87014470801E8
AT ITER 3276 NEW BEST:: SOT -1972275877 SOS 1233147565 HAS SOPS 1233147565 HAS SOUS 485777377 HAS SOUPS 485777377 WITH SCORE 4.87010524565E8
AT ITER 3296 NEW BEST:: SOT -1972300183 SOS 1233098951 HAS SOPS 1233098951 HAS SOUS 485777373 HAS SOUPS 485777373 WITH SCORE 4.87010471951E8
AT ITER 3297 NEW BEST:: SOT -1972309305 SOS 1233080707 HAS SOPS 1233080707 HAS SOUS 485777373 HAS SOUPS 485777373 WITH SCORE 4.87010453707E8
AT ITER 3303 NEW BEST:: SOT -1972322998 SOS 1233045545 HAS SOPS 1233045545 HAS SOUS 485775984 HAS SOUPS 485775984 WITH SCORE 4.87009029545E8
AT ITER 3314 NEW BEST:: SOT -1972351988 SOS 1232982246 HAS SOPS 1232982246 HAS SOUS 485775773 HAS SOUPS 485775773 WITH SCORE 4.87008755246E8
AT ITER 3327 NEW BEST:: SOT -1972384356 SOS 1232917510 HAS SOPS 1232917510 HAS SOUS 485775773 HAS SOUPS 485775773 WITH SCORE 4.8700869051E8
AT ITER 3328 NEW BEST:: SOT -1972403614 SOS 1232878993 HAS SOPS 1232878993 HAS SOUS 485775772 HAS SOUPS 485775772 WITH SCORE 4.87008650993E8
AT ITER 3337 NEW BEST:: SOT -1972423834 SOS 1232838551 HAS SOPS 1232838551 HAS SOUS 485775768 HAS SOUPS 485775768 WITH SCORE 4.87008606551E8
AT ITER 3342 NEW BEST:: SOT -1972444118 SOS 1232797983 HAS SOPS 1232797983 HAS SOUS 485775768 HAS SOUPS 485775768 WITH SCORE 4.87008565983E8
AT ITER 3363 NEW BEST:: SOT -1972453042 SOS 1232780135 HAS SOPS 1232780135 HAS SOUS 485775768 HAS SOUPS 485775768 WITH SCORE 4.87008548135E8
AT ITER 3367 NEW BEST:: SOT -1972487368 SOS 1232711483 HAS SOPS 1232711483 HAS SOUS 485775768 HAS SOUPS 485775768 WITH SCORE 4.87008479483E8
AT ITER 3368 NEW BEST:: SOT -1972518886 SOS 1232648445 HAS SOPS 1232648445 HAS SOUS 485775764 HAS SOUPS 485775764 WITH SCORE 4.87008412445E8
AT ITER 3369 NEW BEST:: SOT -1972528990 SOS 1232628237 HAS SOPS 1232628237 HAS SOUS 485775764 HAS SOUPS 485775764 WITH SCORE 4.87008392237E8
AT ITER 3370 NEW BEST:: SOT -1972591677 SOS 1232525072 HAS SOPS 1232525072 HAS SOUS 485761449 HAS SOUPS 485761449 WITH SCORE 4.86993974072E8
AT ITER 3377 NEW BEST:: SOT -1972623833 SOS 1232460758 HAS SOPS 1232460758 HAS SOUS 485761445 HAS SOUPS 485761445 WITH SCORE 4.86993905758E8
AT ITER 3382 NEW BEST:: SOT -1972646759 SOS 1232414906 HAS SOPS 1232414906 HAS SOUS 485761445 HAS SOUPS 485761445 WITH SCORE 4.86993859906E8
AT ITER 3389 NEW BEST:: SOT -1972680173 SOS 1232348077 HAS SOPS 1232348077 HAS SOUS 485761444 HAS SOUPS 485761444 WITH SCORE 4.86993792077E8
AT ITER 3395 NEW BEST:: SOT -1972681343 SOS 1232345735 HAS SOPS 1232345735 HAS SOUS 485761440 HAS SOUPS 485761440 WITH SCORE 4.86993785735E8
AT ITER 3401 NEW BEST:: SOT -1972685195 SOS 1232338031 HAS SOPS 1232338031 HAS SOUS 485761440 HAS SOUPS 485761440 WITH SCORE 4.86993778031E8
AT ITER 3409 NEW BEST:: SOT -1972726293 SOS 1232237332 HAS SOPS 1232237332 HAS SOUS 485742937 HAS SOUPS 485742937 WITH SCORE 4.86975174332E8
AT ITER 3411 NEW BEST:: SOT -1972729890 SOS 1232231499 HAS SOPS 1232231499 HAS SOUS 485742062 HAS SOUPS 485742062 WITH SCORE 4.86974293499E8
AT ITER 3424 NEW BEST:: SOT -1972764402 SOS 1232162473 HAS SOPS 1232162473 HAS SOUS 485742058 HAS SOUPS 485742058 WITH SCORE 4.86974220473E8
AT ITER 3445 NEW BEST:: SOT -1972799018 SOS 1232093241 HAS SOPS 1232093241 HAS SOUS 485742058 HAS SOUPS 485742058 WITH SCORE 4.86974151241E8
AT ITER 3448 NEW BEST:: SOT -1972820586 SOS 1232050103 HAS SOPS 1232050103 HAS SOUS 485742054 HAS SOUPS 485742054 WITH SCORE 4.86974104103E8
AT ITER 3449 NEW BEST:: SOT -1972837572 SOS 1232016131 HAS SOPS 1232016131 HAS SOUS 485742054 HAS SOUPS 485742054 WITH SCORE 4.86974070131E8
AT ITER 3457 NEW BEST:: SOT -1972872678 SOS 1231945919 HAS SOPS 1231945919 HAS SOUS 485742054 HAS SOUPS 485742054 WITH SCORE 4.86973999919E8
AT ITER 3468 NEW BEST:: SOT -1972931118 SOS 1231844788 HAS SOPS 1231844788 HAS SOUS 485736952 HAS SOUPS 485736952 WITH SCORE 4.86968796788E8
AT ITER 3494 NEW BEST:: SOT -1972964601 SOS 1231788983 HAS SOPS 1231788983 HAS SOUS 485725791 HAS SOUPS 485725791 WITH SCORE 4.86957579983E8
AT ITER 3498 NEW BEST:: SOT -1972975489 SOS 1231767205 HAS SOPS 1231767205 HAS SOUS 485725787 HAS SOUPS 485725787 WITH SCORE 4.86957554205E8
AT ITER 3523 NEW BEST:: SOT -1973015713 SOS 1231686757 HAS SOPS 1231686757 HAS SOUS 485725787 HAS SOUPS 485725787 WITH SCORE 4.86957473757E8
AT ITER 3533 NEW BEST:: SOT -1973054203 SOS 1231609776 HAS SOPS 1231609776 HAS SOUS 485725786 HAS SOUPS 485725786 WITH SCORE 4.86957395776E8
AT ITER 3536 NEW BEST:: SOT -1973117531 SOS 1231508167 HAS SOPS 1231508167 HAS SOUS 485721291 HAS SOUPS 485721291 WITH SCORE 4.86952799167E8
AT ITER 3538 NEW BEST:: SOT -1973122111 SOS 1231499007 HAS SOPS 1231499007 HAS SOUS 485721291 HAS SOUPS 485721291 WITH SCORE 4.86952790007E8
AT ITER 3544 NEW BEST:: SOT -1973135249 SOS 1231466162 HAS SOPS 1231466162 HAS SOUS 485714722 HAS SOUPS 485714722 WITH SCORE 4.86946188162E8
AT ITER 3560 NEW BEST:: SOT -1973165053 SOS 1231406552 HAS SOPS 1231406552 HAS SOUS 485714718 HAS SOUPS 485714718 WITH SCORE 4.86946124552E8
AT ITER 3587 NEW BEST:: SOT -1973167489 SOS 1231402490 HAS SOPS 1231402490 HAS SOUS 485713902 HAS SOUPS 485713902 WITH SCORE 4.8694530449E8
AT ITER 3594 NEW BEST:: SOT -1973185823 SOS 1231360379 HAS SOPS 1231360379 HAS SOUS 485708457 HAS SOUPS 485708457 WITH SCORE 4.86939817379E8
AT ITER 3603 NEW BEST:: SOT -1973246580 SOS 1231238863 HAS SOPS 1231238863 HAS SOUS 485679667 HAS SOUPS 485679667 WITH SCORE 4.86910905863E8
AT ITER 3608 NEW BEST:: SOT -1973268448 SOS 1231195127 HAS SOPS 1231195127 HAS SOUS 485679667 HAS SOUPS 485679667 WITH SCORE 4.86910862127E8
AT ITER 3612 NEW BEST:: SOT -1973332586 SOS 1231091852 HAS SOPS 1231091852 HAS SOUS 485672560 HAS SOUPS 485672560 WITH SCORE 4.86903651852E8
AT ITER 3626 NEW BEST:: SOT -1973337696 SOS 1231081631 HAS SOPS 1231081631 HAS SOUS 485672559 HAS SOUPS 485672559 WITH SCORE 4.86903640631E8
AT ITER 3646 NEW BEST:: SOT -1973355841 SOS 1231038289 HAS SOPS 1231038289 HAS SOUS 485665503 HAS SOUPS 485665503 WITH SCORE 4.86896541289E8
AT ITER 3647 NEW BEST:: SOT -1973378051 SOS 1230993868 HAS SOPS 1230993868 HAS SOUS 485665502 HAS SOUPS 485665502 WITH SCORE 4.86896495868E8
AT ITER 3656 NEW BEST:: SOT -1973386283 SOS 1230977403 HAS SOPS 1230977403 HAS SOUS 485665501 HAS SOUPS 485665501 WITH SCORE 4.86896478403E8
AT ITER 3663 NEW BEST:: SOT -1973403535 SOS 1230942899 HAS SOPS 1230942899 HAS SOUS 485665501 HAS SOUPS 485665501 WITH SCORE 4.86896443899E8
AT ITER 3665 NEW BEST:: SOT -1973446341 SOS 1230857287 HAS SOPS 1230857287 HAS SOUS 485665501 HAS SOUPS 485665501 WITH SCORE 4.86896358287E8
AT ITER 3671 NEW BEST:: SOT -1973453309 SOS 1230843349 HAS SOPS 1230843349 HAS SOUS 485665497 HAS SOUPS 485665497 WITH SCORE 4.86896340349E8
AT ITER 3675 NEW BEST:: SOT -1973468075 SOS 1230813817 HAS SOPS 1230813817 HAS SOUS 485665497 HAS SOUPS 485665497 WITH SCORE 4.86896310817E8
AT ITER 3684 NEW BEST:: SOT -1973500777 SOS 1230748411 HAS SOPS 1230748411 HAS SOUS 485665493 HAS SOUPS 485665493 WITH SCORE 4.86896241411E8
AT ITER 3688 NEW BEST:: SOT -1973506875 SOS 1230736215 HAS SOPS 1230736215 HAS SOUS 485665493 HAS SOUPS 485665493 WITH SCORE 4.86896229215E8
AT ITER 3689 NEW BEST:: SOT -1973543783 SOS 1230662399 HAS SOPS 1230662399 HAS SOUS 485665493 HAS SOUPS 485665493 WITH SCORE 4.86896155399E8
AT ITER 3698 NEW BEST:: SOT -1973580083 SOS 1230589799 HAS SOPS 1230589799 HAS SOUS 485665493 HAS SOUPS 485665493 WITH SCORE 4.86896082799E8
AT ITER 3702 NEW BEST:: SOT -1973634810 SOS 1230500179 HAS SOPS 1230500179 HAS SOUS 485650438 HAS SOUPS 485650438 WITH SCORE 4.86880938179E8
AT ITER 3716 NEW BEST:: SOT -1973678786 SOS 1230412227 HAS SOPS 1230412227 HAS SOUS 485650438 HAS SOUPS 485650438 WITH SCORE 4.86880850227E8
AT ITER 3719 NEW BEST:: SOT -1973714480 SOS 1230340837 HAS SOPS 1230340837 HAS SOUS 485650434 HAS SOUPS 485650434 WITH SCORE 4.86880774837E8
AT ITER 3721 NEW BEST:: SOT -1973731780 SOS 1230306237 HAS SOPS 1230306237 HAS SOUS 485650434 HAS SOUPS 485650434 WITH SCORE 4.86880740237E8
AT ITER 3729 NEW BEST:: SOT -1973733356 SOS 1230303083 HAS SOPS 1230303083 HAS SOUS 485650430 HAS SOUPS 485650430 WITH SCORE 4.86880733083E8
AT ITER 3731 NEW BEST:: SOT -1973765808 SOS 1230238177 HAS SOPS 1230238177 HAS SOUS 485650426 HAS SOUPS 485650426 WITH SCORE 4.86880664177E8
AT ITER 3751 NEW BEST:: SOT -1973802738 SOS 1230164316 HAS SOPS 1230164316 HAS SOUS 485650425 HAS SOUPS 485650425 WITH SCORE 4.86880589316E8
AT ITER 3760 NEW BEST:: SOT -1973820128 SOS 1230129534 HAS SOPS 1230129534 HAS SOUS 485650421 HAS SOUPS 485650421 WITH SCORE 4.86880550534E8
AT ITER 3769 NEW BEST:: SOT -1973835696 SOS 1230098398 HAS SOPS 1230098398 HAS SOUS 485650421 HAS SOUPS 485650421 WITH SCORE 4.86880519398E8
AT ITER 3777 NEW BEST:: SOT -1973853958 SOS 1230061873 HAS SOPS 1230061873 HAS SOUS 485650420 HAS SOUPS 485650420 WITH SCORE 4.86880481873E8
AT ITER 3780 NEW BEST:: SOT -1973883662 SOS 1230002464 HAS SOPS 1230002464 HAS SOUS 485650419 HAS SOUPS 485650419 WITH SCORE 4.86880421464E8
AT ITER 3784 NEW BEST:: SOT -1973910850 SOS 1229948088 HAS SOPS 1229948088 HAS SOUS 485650419 HAS SOUPS 485650419 WITH SCORE 4.86880367088E8
AT ITER 3793 NEW BEST:: SOT -1973972045 SOS 1229849501 HAS SOPS 1229849501 HAS SOUS 485647058 HAS SOUPS 485647058 WITH SCORE 4.86876907501E8
AT ITER 3802 NEW BEST:: SOT -1973997061 SOS 1229799468 HAS SOPS 1229799468 HAS SOUS 485647057 HAS SOUPS 485647057 WITH SCORE 4.86876856468E8
AT ITER 3823 NEW BEST:: SOT -1974015999 SOS 1229761590 HAS SOPS 1229761590 HAS SOUS 485647053 HAS SOUPS 485647053 WITH SCORE 4.8687681459E8
AT ITER 3828 NEW BEST:: SOT -1974075879 SOS 1229666616 HAS SOPS 1229666616 HAS SOUS 485640608 HAS SOUPS 485640608 WITH SCORE 4.86870274616E8
AT ITER 3831 NEW BEST:: SOT -1974117485 SOS 1229583402 HAS SOPS 1229583402 HAS SOUS 485640604 HAS SOUPS 485640604 WITH SCORE 4.86870187402E8
AT ITER 3833 NEW BEST:: SOT -1974157819 SOS 1229502733 HAS SOPS 1229502733 HAS SOUS 485640603 HAS SOUPS 485640603 WITH SCORE 4.86870105733E8
AT ITER 3857 NEW BEST:: SOT -1974190299 SOS 1229437772 HAS SOPS 1229437772 HAS SOUS 485640602 HAS SOUPS 485640602 WITH SCORE 4.86870039772E8
AT ITER 3866 NEW BEST:: SOT -1974219087 SOS 1229368599 HAS SOPS 1229368599 HAS SOUS 485629005 HAS SOUPS 485629005 WITH SCORE 4.86858373599E8
AT ITER 3878 NEW BEST:: SOT -1974229277 SOS 1229348219 HAS SOPS 1229348219 HAS SOUS 485629005 HAS SOUPS 485629005 WITH SCORE 4.86858353219E8
AT ITER 3882 NEW BEST:: SOT -1974267173 SOS 1229272426 HAS SOPS 1229272426 HAS SOUS 485629004 HAS SOUPS 485629004 WITH SCORE 4.86858276426E8
AT ITER 3883 NEW BEST:: SOT -1974295241 SOS 1229216289 HAS SOPS 1229216289 HAS SOUS 485629003 HAS SOUPS 485629003 WITH SCORE 4.86858219289E8
AT ITER 3888 NEW BEST:: SOT -1974359196 SOS 1229112213 HAS SOPS 1229112213 HAS SOUS 485617775 HAS SOUPS 485617775 WITH SCORE 4.86846887213E8
AT ITER 3906 NEW BEST:: SOT -1974380284 SOS 1229059493 HAS SOPS 1229059493 HAS SOUS 485607231 HAS SOUPS 485607231 WITH SCORE 4.86836290493E8
AT ITER 3923 NEW BEST:: SOT -1974387484 SOS 1229022865 HAS SOPS 1229022865 HAS SOUS 485601889 HAS SOUPS 485601889 WITH SCORE 4.86830911865E8
AT ITER 3926 NEW BEST:: SOT -1974410816 SOS 1228976199 HAS SOPS 1228976199 HAS SOUS 485601885 HAS SOUPS 485601885 WITH SCORE 4.86830861199E8
AT ITER 3935 NEW BEST:: SOT -1974435554 SOS 1228926721 HAS SOPS 1228926721 HAS SOUS 485601881 HAS SOUPS 485601881 WITH SCORE 4.86830807721E8
AT ITER 3937 NEW BEST:: SOT -1974435554 SOS 1228926719 HAS SOPS 1228926719 HAS SOUS 485601877 HAS SOUPS 485601877 WITH SCORE 4.86830803719E8
AT ITER 3948 NEW BEST:: SOT -1974487047 SOS 1228803561 HAS SOPS 1228803561 HAS SOUS 485587686 HAS SOUPS 485587686 WITH SCORE 4.86816489561E8
AT ITER 3961 NEW BEST:: SOT -1974534197 SOS 1228709259 HAS SOPS 1228709259 HAS SOUS 485587682 HAS SOUPS 485587682 WITH SCORE 4.86816391259E8
AT ITER 3974 NEW BEST:: SOT -1974543477 SOS 1228690698 HAS SOPS 1228690698 HAS SOUS 485587681 HAS SOUPS 485587681 WITH SCORE 4.86816371698E8
AT ITER 3983 NEW BEST:: SOT -1974549117 SOS 1228679418 HAS SOPS 1228679418 HAS SOUS 485587681 HAS SOUPS 485587681 WITH SCORE 4.86816360418E8
AT ITER 3997 NEW BEST:: SOT -1974582363 SOS 1228612925 HAS SOPS 1228612925 HAS SOUS 485587680 HAS SOUPS 485587680 WITH SCORE 4.86816292925E8
AT ITER 4005 NEW BEST:: SOT -1974644905 SOS 1228512582 HAS SOPS 1228512582 HAS SOUS 485584319 HAS SOUPS 485584319 WITH SCORE 4.86812831582E8
AT ITER 4013 NEW BEST:: SOT -1974649036 SOS 1228505696 HAS SOPS 1228505696 HAS SOUS 485582941 HAS SOUPS 485582941 WITH SCORE 4.86811446696E8
AT ITER 4018 NEW BEST:: SOT -1974712876 SOS 1228402811 HAS SOPS 1228402811 HAS SOUS 485575898 HAS SOUPS 485575898 WITH SCORE 4.86804300811E8
AT ITER 4025 NEW BEST:: SOT -1974745812 SOS 1228336938 HAS SOPS 1228336938 HAS SOUS 485575897 HAS SOUPS 485575897 WITH SCORE 4.86804233938E8
AT ITER 4028 NEW BEST:: SOT -1974775430 SOS 1228263573 HAS SOPS 1228263573 HAS SOUS 485561766 HAS SOUPS 485561766 WITH SCORE 4.86790029573E8
AT ITER 4042 NEW BEST:: SOT -1974807310 SOS 1228199812 HAS SOPS 1228199812 HAS SOUS 485561765 HAS SOUPS 485561765 WITH SCORE 4.86789964812E8
AT ITER 4051 NEW BEST:: SOT -1974829336 SOS 1228155760 HAS SOPS 1228155760 HAS SOUS 485561765 HAS SOUPS 485561765 WITH SCORE 4.8678992076E8
AT ITER 4055 NEW BEST:: SOT -1974889209 SOS 1228058349 HAS SOPS 1228058349 HAS SOUS 485553706 HAS SOUPS 485553706 WITH SCORE 4.86781764349E8
AT ITER 4058 NEW BEST:: SOT -1974900825 SOS 1228033564 HAS SOPS 1228033564 HAS SOUS 485552151 HAS SOUPS 485552151 WITH SCORE 4.86780184564E8
AT ITER 4061 NEW BEST:: SOT -1974944925 SOS 1227923314 HAS SOPS 1227923314 HAS SOUS 485530101 HAS SOUPS 485530101 WITH SCORE 4.86758024314E8
AT ITER 4062 NEW BEST:: SOT -1974971901 SOS 1227867434 HAS SOPS 1227867434 HAS SOUS 485528171 HAS SOUPS 485528171 WITH SCORE 4.86756038434E8
AT ITER 4089 NEW BEST:: SOT -1974984491 SOS 1227842253 HAS SOPS 1227842253 HAS SOUS 485528170 HAS SOUPS 485528170 WITH SCORE 4.86756012253E8
AT ITER 4094 NEW BEST:: SOT -1975019901 SOS 1227771431 HAS SOPS 1227771431 HAS SOUS 485528166 HAS SOUPS 485528166 WITH SCORE 4.86755937431E8
AT ITER 4097 NEW BEST:: SOT -1975044955 SOS 1227721322 HAS SOPS 1227721322 HAS SOUS 485528165 HAS SOUPS 485528165 WITH SCORE 4.86755886322E8
AT ITER 4099 NEW BEST:: SOT -1975057947 SOS 1227695337 HAS SOPS 1227695337 HAS SOUS 485528164 HAS SOUPS 485528164 WITH SCORE 4.86755859337E8
AT ITER 4104 NEW BEST:: SOT -1975058243 SOS 1227694745 HAS SOPS 1227694745 HAS SOUS 485528164 HAS SOUPS 485528164 WITH SCORE 4.86755858745E8
AT ITER 4108 NEW BEST:: SOT -1975082279 SOS 1227646672 HAS SOPS 1227646672 HAS SOUS 485528163 HAS SOUPS 485528163 WITH SCORE 4.86755809672E8
AT ITER 4116 NEW BEST:: SOT -1975116577 SOS 1227578074 HAS SOPS 1227578074 HAS SOUS 485528159 HAS SOUPS 485528159 WITH SCORE 4.86755737074E8
AT ITER 4119 NEW BEST:: SOT -1975127937 SOS 1227555354 HAS SOPS 1227555354 HAS SOUS 485528159 HAS SOUPS 485528159 WITH SCORE 4.86755714354E8
AT ITER 4121 NEW BEST:: SOT -1975147443 SOS 1227516340 HAS SOPS 1227516340 HAS SOUS 485528155 HAS SOUPS 485528155 WITH SCORE 4.8675567134E8
AT ITER 4124 NEW BEST:: SOT -1975212767 SOS 1227409911 HAS SOPS 1227409911 HAS SOUS 485514362 HAS SOUPS 485514362 WITH SCORE 4.86741771911E8
AT ITER 4157 NEW BEST:: SOT -1975249139 SOS 1227337166 HAS SOPS 1227337166 HAS SOUS 485514361 HAS SOUPS 485514361 WITH SCORE 4.86741698166E8
AT ITER 4159 NEW BEST:: SOT -1975267465 SOS 1227300512 HAS SOPS 1227300512 HAS SOUS 485514357 HAS SOUPS 485514357 WITH SCORE 4.86741657512E8
AT ITER 4168 NEW BEST:: SOT -1975327882 SOS 1227202231 HAS SOPS 1227202231 HAS SOUS 485506302 HAS SOUPS 485506302 WITH SCORE 4.86733504231E8
AT ITER 4171 NEW BEST:: SOT -1975372020 SOS 1227113953 HAS SOPS 1227113953 HAS SOUS 485506298 HAS SOUPS 485506298 WITH SCORE 4.86733411953E8
AT ITER 4177 NEW BEST:: SOT -1975399800 SOS 1227058392 HAS SOPS 1227058392 HAS SOUS 485506297 HAS SOUPS 485506297 WITH SCORE 4.86733355392E8
AT ITER 4178 NEW BEST:: SOT -1975463858 SOS 1226955165 HAS SOPS 1226955165 HAS SOUS 485498976 HAS SOUPS 485498976 WITH SCORE 4.86725931165E8
AT ITER 4180 NEW BEST:: SOT -1975470654 SOS 1226941572 HAS SOPS 1226941572 HAS SOUS 485498975 HAS SOUPS 485498975 WITH SCORE 4.86725916572E8
AT ITER 4191 NEW BEST:: SOT -1975488770 SOS 1226905340 HAS SOPS 1226905340 HAS SOUS 485498975 HAS SOUPS 485498975 WITH SCORE 4.8672588034E8
AT ITER 4193 NEW BEST:: SOT -1975521558 SOS 1226839764 HAS SOPS 1226839764 HAS SOUS 485498975 HAS SOUPS 485498975 WITH SCORE 4.86725814764E8
AT ITER 4203 NEW BEST:: SOT -1975546586 SOS 1226789706 HAS SOPS 1226789706 HAS SOUS 485498971 HAS SOUPS 485498971 WITH SCORE 4.86725760706E8
AT ITER 4205 NEW BEST:: SOT -1975558646 SOS 1226765586 HAS SOPS 1226765586 HAS SOUS 485498971 HAS SOUPS 485498971 WITH SCORE 4.86725736586E8
AT ITER 4208 NEW BEST:: SOT -1975606121 SOS 1226651550 HAS SOPS 1226651550 HAS SOUS 485486296 HAS SOUPS 485486296 WITH SCORE 4.8671294755E8
AT ITER 4214 NEW BEST:: SOT -1975627109 SOS 1226609574 HAS SOPS 1226609574 HAS SOUS 485486296 HAS SOUPS 485486296 WITH SCORE 4.86712905574E8
AT ITER 4221 NEW BEST:: SOT -1975654939 SOS 1226553914 HAS SOPS 1226553914 HAS SOUS 485486296 HAS SOUPS 485486296 WITH SCORE 4.86712849914E8
AT ITER 4242 NEW BEST:: SOT -1975719286 SOS 1226448070 HAS SOPS 1226448070 HAS SOUS 485469958 HAS SOUPS 485469958 WITH SCORE 4.8669640607E8
AT ITER 4243 NEW BEST:: SOT -1975741296 SOS 1226404049 HAS SOPS 1226404049 HAS SOUS 485469957 HAS SOUPS 485469957 WITH SCORE 4.86696361049E8
AT ITER 4245 NEW BEST:: SOT -1975760648 SOS 1226365345 HAS SOPS 1226365345 HAS SOUS 485469957 HAS SOUPS 485469957 WITH SCORE 4.86696322345E8
AT ITER 4253 NEW BEST:: SOT -1975798396 SOS 1226289849 HAS SOPS 1226289849 HAS SOUS 485469957 HAS SOUPS 485469957 WITH SCORE 4.86696246849E8
AT ITER 4258 NEW BEST:: SOT -1975829821 SOS 1226216612 HAS SOPS 1226216612 HAS SOUS 485462015 HAS SOUPS 485462015 WITH SCORE 4.86688231612E8
AT ITER 4265 NEW BEST:: SOT -1975841433 SOS 1226193386 HAS SOPS 1226193386 HAS SOUS 485462011 HAS SOUPS 485462011 WITH SCORE 4.86688204386E8
AT ITER 4267 NEW BEST:: SOT -1975858865 SOS 1226158520 HAS SOPS 1226158520 HAS SOUS 485462007 HAS SOUPS 485462007 WITH SCORE 4.8668816552E8
AT ITER 4275 NEW BEST:: SOT -1975860906 SOS 1226154438 HAS SOPS 1226154438 HAS SOUS 485462007 HAS SOUPS 485462007 WITH SCORE 4.86688161438E8
AT ITER 4280 NEW BEST:: SOT -1975879884 SOS 1226116480 HAS SOPS 1226116480 HAS SOUS 485462003 HAS SOUPS 485462003 WITH SCORE 4.8668811948E8
AT ITER 4281 NEW BEST:: SOT -1975899452 SOS 1226077342 HAS SOPS 1226077342 HAS SOUS 485461999 HAS SOUPS 485461999 WITH SCORE 4.86688076342E8
AT ITER 4294 NEW BEST:: SOT -1975927891 SOS 1226014159 HAS SOPS 1226014159 HAS SOUS 485459211 HAS SOUPS 485459211 WITH SCORE 4.86685225159E8
AT ITER 4301 NEW BEST:: SOT -1975956613 SOS 1225956713 HAS SOPS 1225956713 HAS SOUS 485459207 HAS SOUPS 485459207 WITH SCORE 4.86685163713E8
AT ITER 4305 NEW BEST:: SOT -1975987791 SOS 1225894357 HAS SOPS 1225894357 HAS SOUS 485459207 HAS SOUPS 485459207 WITH SCORE 4.86685101357E8
AT ITER 4326 NEW BEST:: SOT -1976039878 SOS 1225782057 HAS SOPS 1225782057 HAS SOUS 485430566 HAS SOUPS 485430566 WITH SCORE 4.86656348057E8
AT ITER 4336 NEW BEST:: SOT -1976061812 SOS 1225738188 HAS SOPS 1225738188 HAS SOUS 485430565 HAS SOUPS 485430565 WITH SCORE 4.86656303188E8
AT ITER 4339 NEW BEST:: SOT -1976065348 SOS 1225731115 HAS SOPS 1225731115 HAS SOUS 485430564 HAS SOUPS 485430564 WITH SCORE 4.86656295115E8
AT ITER 4371 NEW BEST:: SOT -1976085062 SOS 1225691685 HAS SOPS 1225691685 HAS SOUS 485430560 HAS SOUPS 485430560 WITH SCORE 4.86656251685E8
AT ITER 4373 NEW BEST:: SOT -1976119132 SOS 1225623543 HAS SOPS 1225623543 HAS SOUS 485430556 HAS SOUPS 485430556 WITH SCORE 4.86656179543E8
AT ITER 4400 NEW BEST:: SOT -1976159994 SOS 1225541818 HAS SOPS 1225541818 HAS SOUS 485430555 HAS SOUPS 485430555 WITH SCORE 4.86656096818E8
AT ITER 4402 NEW BEST:: SOT -1976206909 SOS 1225466259 HAS SOPS 1225466259 HAS SOUS 485428094 HAS SOUPS 485428094 WITH SCORE 4.86653560259E8
AT ITER 4407 NEW BEST:: SOT -1976232803 SOS 1225414470 HAS SOPS 1225414470 HAS SOUS 485428093 HAS SOUPS 485428093 WITH SCORE 4.8665350747E8
AT ITER 4420 NEW BEST:: SOT -1976260639 SOS 1225358798 HAS SOPS 1225358798 HAS SOUS 485428093 HAS SOUPS 485428093 WITH SCORE 4.86653451798E8
AT ITER 4439 NEW BEST:: SOT -1976324364 SOS 1225256692 HAS SOPS 1225256692 HAS SOUS 485423597 HAS SOUPS 485423597 WITH SCORE 4.86648853692E8
AT ITER 4448 NEW BEST:: SOT -1976328982 SOS 1225247454 HAS SOPS 1225247454 HAS SOUS 485423593 HAS SOUPS 485423593 WITH SCORE 4.86648840454E8
AT ITER 4450 NEW BEST:: SOT -1976365134 SOS 1225175148 HAS SOPS 1225175148 HAS SOUS 485423589 HAS SOUPS 485423589 WITH SCORE 4.86648764148E8
AT ITER 4456 NEW BEST:: SOT -1976389810 SOS 1225125794 HAS SOPS 1225125794 HAS SOUS 485423585 HAS SOUPS 485423585 WITH SCORE 4.86648710794E8
AT ITER 4476 NEW BEST:: SOT -1976426614 SOS 1225052186 HAS SOPS 1225052186 HAS SOUS 485423585 HAS SOUPS 485423585 WITH SCORE 4.86648637186E8
AT ITER 4479 NEW BEST:: SOT -1976434642 SOS 1225032116 HAS SOPS 1225032116 HAS SOUS 485419569 HAS SOUPS 485419569 WITH SCORE 4.86644601116E8
AT ITER 4481 NEW BEST:: SOT -1976460352 SOS 1224980695 HAS SOPS 1224980695 HAS SOUS 485419568 HAS SOUPS 485419568 WITH SCORE 4.86644548695E8
AT ITER 4483 NEW BEST:: SOT -1976493440 SOS 1224914518 HAS SOPS 1224914518 HAS SOUS 485419567 HAS SOUPS 485419567 WITH SCORE 4.86644481518E8
AT ITER 4501 NEW BEST:: SOT -1976510758 SOS 1224879880 HAS SOPS 1224879880 HAS SOUS 485419563 HAS SOUPS 485419563 WITH SCORE 4.8664444288E8
AT ITER 4505 NEW BEST:: SOT -1976531338 SOS 1224838718 HAS SOPS 1224838718 HAS SOUS 485419559 HAS SOUPS 485419559 WITH SCORE 4.86644397718E8
AT ITER 4510 NEW BEST:: SOT -1976572214 SOS 1224756965 HAS SOPS 1224756965 HAS SOUS 485419558 HAS SOUPS 485419558 WITH SCORE 4.86644314965E8
AT ITER 4513 NEW BEST:: SOT -1976604800 SOS 1224691792 HAS SOPS 1224691792 HAS SOUS 485419557 HAS SOUPS 485419557 WITH SCORE 4.86644248792E8
AT ITER 4519 NEW BEST:: SOT -1976624166 SOS 1224653059 HAS SOPS 1224653059 HAS SOUS 485419556 HAS SOUPS 485419556 WITH SCORE 4.86644209059E8
AT ITER 4535 NEW BEST:: SOT -1976634606 SOS 1224642619 HAS SOPS 1224642619 HAS SOUS 485409116 HAS SOUPS 485409116 WITH SCORE 4.86633758619E8
AT ITER 4547 NEW BEST:: SOT -1976678540 SOS 1224554751 HAS SOPS 1224554751 HAS SOUS 485409116 HAS SOUPS 485409116 WITH SCORE 4.86633670751E8
AT ITER 4553 NEW BEST:: SOT -1976684509 SOS 1224544985 HAS SOPS 1224544985 HAS SOUS 485407491 HAS SOUPS 485407491 WITH SCORE 4.86632035985E8
AT ITER 4555 NEW BEST:: SOT -1976744844 SOS 1224445816 HAS SOPS 1224445816 HAS SOUS 485394338 HAS SOUPS 485394338 WITH SCORE 4.86618783816E8
AT ITER 4567 NEW BEST:: SOT -1976771706 SOS 1224392090 HAS SOPS 1224392090 HAS SOUS 485394334 HAS SOUPS 485394334 WITH SCORE 4.8661872609E8
AT ITER 4572 NEW BEST:: SOT -1976783810 SOS 1224367882 HAS SOPS 1224367882 HAS SOUS 485394334 HAS SOUPS 485394334 WITH SCORE 4.86618701882E8
AT ITER 4581 NEW BEST:: SOT -1976821600 SOS 1224292300 HAS SOPS 1224292300 HAS SOUS 485394330 HAS SOUPS 485394330 WITH SCORE 4.866186223E8
AT ITER 4589 NEW BEST:: SOT -1976878278 SOS 1224204084 HAS SOPS 1224204084 HAS SOUS 485392499 HAS SOUPS 485392499 WITH SCORE 4.86616703084E8
AT ITER 4596 NEW BEST:: SOT -1976894772 SOS 1224171096 HAS SOPS 1224171096 HAS SOUS 485392499 HAS SOUPS 485392499 WITH SCORE 4.86616670096E8
AT ITER 4600 NEW BEST:: SOT -1976934182 SOS 1224092274 HAS SOPS 1224092274 HAS SOUS 485392495 HAS SOUPS 485392495 WITH SCORE 4.86616587274E8
AT ITER 4603 NEW BEST:: SOT -1976968342 SOS 1224012699 HAS SOPS 1224012699 HAS SOUS 485384790 HAS SOUPS 485384790 WITH SCORE 4.86608802699E8
AT ITER 4605 NEW BEST:: SOT -1977009824 SOS 1223929734 HAS SOPS 1223929734 HAS SOUS 485384789 HAS SOUPS 485384789 WITH SCORE 4.86608718734E8
AT ITER 4622 NEW BEST:: SOT -1977012846 SOS 1223923688 HAS SOPS 1223923688 HAS SOUS 485384785 HAS SOUPS 485384785 WITH SCORE 4.86608708688E8
AT ITER 4629 NEW BEST:: SOT -1977046050 SOS 1223857279 HAS SOPS 1223857279 HAS SOUS 485384784 HAS SOUPS 485384784 WITH SCORE 4.86608641279E8
AT ITER 4634 NEW BEST:: SOT -1977086928 SOS 1223775522 HAS SOPS 1223775522 HAS SOUS 485384783 HAS SOUPS 485384783 WITH SCORE 4.86608558522E8
AT ITER 4636 NEW BEST:: SOT -1977112066 SOS 1223725246 HAS SOPS 1223725246 HAS SOUS 485384783 HAS SOUPS 485384783 WITH SCORE 4.86608508246E8
AT ITER 4675 NEW BEST:: SOT -1977142406 SOS 1223664565 HAS SOPS 1223664565 HAS SOUS 485384782 HAS SOUPS 485384782 WITH SCORE 4.86608446565E8
AT ITER 4678 NEW BEST:: SOT -1977159312 SOS 1223630752 HAS SOPS 1223630752 HAS SOUS 485384781 HAS SOUPS 485384781 WITH SCORE 4.86608411752E8
AT ITER 4701 NEW BEST:: SOT -1977176060 SOS 1223597254 HAS SOPS 1223597254 HAS SOUS 485384777 HAS SOUPS 485384777 WITH SCORE 4.86608374254E8
AT ITER 4702 NEW BEST:: SOT -1977218112 SOS 1223513150 HAS SOPS 1223513150 HAS SOUS 485384777 HAS SOUPS 485384777 WITH SCORE 4.8660829015E8
AT ITER 4704 NEW BEST:: SOT -1977229096 SOS 1223491180 HAS SOPS 1223491180 HAS SOUS 485384773 HAS SOUPS 485384773 WITH SCORE 4.8660826418E8
AT ITER 4705 NEW BEST:: SOT -1977235367 SOS 1223480909 HAS SOPS 1223480909 HAS SOUS 485383044 HAS SOUPS 485383044 WITH SCORE 4.86606524909E8
AT ITER 4711 NEW BEST:: SOT -1977259537 SOS 1223432569 HAS SOPS 1223432569 HAS SOUS 485383044 HAS SOUPS 485383044 WITH SCORE 4.86606476569E8
AT ITER 4712 NEW BEST:: SOT -1977297189 SOS 1223340869 HAS SOPS 1223340869 HAS SOUS 485366646 HAS SOUPS 485366646 WITH SCORE 4.86589986869E8
AT ITER 4714 NEW BEST:: SOT -1977320253 SOS 1223294740 HAS SOPS 1223294740 HAS SOUS 485366645 HAS SOUPS 485366645 WITH SCORE 4.8658993974E8
AT ITER 4720 NEW BEST:: SOT -1977357699 SOS 1223219847 HAS SOPS 1223219847 HAS SOUS 485366644 HAS SOUPS 485366644 WITH SCORE 4.86589863847E8
AT ITER 4736 NEW BEST:: SOT -1977400675 SOS 1223133894 HAS SOPS 1223133894 HAS SOUS 485366643 HAS SOUPS 485366643 WITH SCORE 4.86589776894E8
AT ITER 4742 NEW BEST:: SOT -1977419549 SOS 1223096146 HAS SOPS 1223096146 HAS SOUS 485366643 HAS SOUPS 485366643 WITH SCORE 4.86589739146E8
AT ITER 4745 NEW BEST:: SOT -1977446227 SOS 1223042789 HAS SOPS 1223042789 HAS SOUS 485366642 HAS SOUPS 485366642 WITH SCORE 4.86589684789E8
AT ITER 4754 NEW BEST:: SOT -1977507680 SOS 1222942042 HAS SOPS 1222942042 HAS SOUS 485354539 HAS SOUPS 485354539 WITH SCORE 4.86577481042E8
AT ITER 4755 NEW BEST:: SOT -1977537104 SOS 1222883194 HAS SOPS 1222883194 HAS SOUS 485354539 HAS SOUPS 485354539 WITH SCORE 4.86577422194E8
AT ITER 4760 NEW BEST:: SOT -1977566064 SOS 1222825272 HAS SOPS 1222825272 HAS SOUS 485354535 HAS SOUPS 485354535 WITH SCORE 4.86577360272E8
AT ITER 4761 NEW BEST:: SOT -1977597916 SOS 1222761566 HAS SOPS 1222761566 HAS SOUS 485354531 HAS SOUPS 485354531 WITH SCORE 4.86577292566E8
AT ITER 4765 NEW BEST:: SOT -1977634468 SOS 1222688461 HAS SOPS 1222688461 HAS SOUS 485354530 HAS SOUPS 485354530 WITH SCORE 4.86577218461E8
AT ITER 4769 NEW BEST:: SOT -1977671364 SOS 1222614667 HAS SOPS 1222614667 HAS SOUS 485354526 HAS SOUPS 485354526 WITH SCORE 4.86577140667E8
AT ITER 4783 NEW BEST:: SOT -1977703086 SOS 1222551221 HAS SOPS 1222551221 HAS SOUS 485354522 HAS SOUPS 485354522 WITH SCORE 4.86577073221E8
AT ITER 4797 NEW BEST:: SOT -1977768076 SOS 1222445710 HAS SOPS 1222445710 HAS SOUS 485342725 HAS SOUPS 485342725 WITH SCORE 4.8656517071E8
AT ITER 4820 NEW BEST:: SOT -1977794066 SOS 1222393728 HAS SOPS 1222393728 HAS SOUS 485342721 HAS SOUPS 485342721 WITH SCORE 4.86565114728E8
AT ITER 4838 NEW BEST:: SOT -1977841828 SOS 1222298202 HAS SOPS 1222298202 HAS SOUS 485342717 HAS SOUPS 485342717 WITH SCORE 4.86565015202E8
AT ITER 4840 NEW BEST:: SOT -1977877816 SOS 1222208917 HAS SOPS 1222208917 HAS SOUS 485325408 HAS SOUPS 485325408 WITH SCORE 4.86547616917E8
AT ITER 4846 NEW BEST:: SOT -1977890174 SOS 1222184201 HAS SOPS 1222184201 HAS SOUS 485325408 HAS SOUPS 485325408 WITH SCORE 4.86547592201E8
AT ITER 4855 NEW BEST:: SOT -1977915274 SOS 1222134000 HAS SOPS 1222134000 HAS SOUS 485325407 HAS SOUPS 485325407 WITH SCORE 4.86547541E8
AT ITER 4858 NEW BEST:: SOT -1977935002 SOS 1222094542 HAS SOPS 1222094542 HAS SOUS 485325403 HAS SOUPS 485325403 WITH SCORE 4.86547497542E8
AT ITER 4859 NEW BEST:: SOT -1977970880 SOS 1222022785 HAS SOPS 1222022785 HAS SOUS 485325402 HAS SOUPS 485325402 WITH SCORE 4.86547424785E8
AT ITER 4862 NEW BEST:: SOT -1977993288 SOS 1221977967 HAS SOPS 1221977967 HAS SOUS 485325398 HAS SOUPS 485325398 WITH SCORE 4.86547375967E8
AT ITER 4865 NEW BEST:: SOT -1978018582 SOS 1221914732 HAS SOPS 1221914732 HAS SOUS 485290237 HAS SOUPS 485290237 WITH SCORE 4.86512151732E8
AT ITER 4868 NEW BEST:: SOT -1978060115 SOS 1221817307 HAS SOPS 1221817307 HAS SOUS 485280553 HAS SOUPS 485280553 WITH SCORE 4.86502370307E8
AT ITER 4869 NEW BEST:: SOT -1978076473 SOS 1221784591 HAS SOPS 1221784591 HAS SOUS 485280553 HAS SOUPS 485280553 WITH SCORE 4.86502337591E8
AT ITER 4871 NEW BEST:: SOT -1978089205 SOS 1221759126 HAS SOPS 1221759126 HAS SOUS 485280552 HAS SOUPS 485280552 WITH SCORE 4.86502311126E8
AT ITER 4875 NEW BEST:: SOT -1978106473 SOS 1221724588 HAS SOPS 1221724588 HAS SOUS 485280548 HAS SOUPS 485280548 WITH SCORE 4.86502272588E8
AT ITER 4910 NEW BEST:: SOT -1978137365 SOS 1221662804 HAS SOPS 1221662804 HAS SOUS 485280548 HAS SOUPS 485280548 WITH SCORE 4.86502210804E8
AT ITER 4912 NEW BEST:: SOT -1978151089 SOS 1221635355 HAS SOPS 1221635355 HAS SOUS 485280547 HAS SOUPS 485280547 WITH SCORE 4.86502182355E8
AT ITER 4921 NEW BEST:: SOT -1978178315 SOS 1221580902 HAS SOPS 1221580902 HAS SOUS 485280546 HAS SOUPS 485280546 WITH SCORE 4.86502126902E8
AT ITER 4924 NEW BEST:: SOT -1978179937 SOS 1221569360 HAS SOPS 1221569360 HAS SOUS 485277302 HAS SOUPS 485277302 WITH SCORE 4.8649887136E8
AT ITER 4930 NEW BEST:: SOT -1978164065 SOS 1221561652 HAS SOPS 1221561652 HAS SOUS 485271332 HAS SOUPS 485271332 WITH SCORE 4.86492893652E8
AT ITER 4934 NEW BEST:: SOT -1978201635 SOS 1221486510 HAS SOPS 1221486510 HAS SOUS 485271328 HAS SOUPS 485271328 WITH SCORE 4.8649281451E8
AT ITER 4938 NEW BEST:: SOT -1978231411 SOS 1221426958 HAS SOPS 1221426958 HAS SOUS 485271328 HAS SOUPS 485271328 WITH SCORE 4.86492754958E8
AT ITER 4941 NEW BEST:: SOT -1978260625 SOS 1221368528 HAS SOPS 1221368528 HAS SOUS 485271324 HAS SOUPS 485271324 WITH SCORE 4.86492692528E8
AT ITER 4973 NEW BEST:: SOT -1978320954 SOS 1221269101 HAS SOPS 1221269101 HAS SOUS 485256829 HAS SOUPS 485256829 WITH SCORE 4.86478098101E8
AT ITER 4976 NEW BEST:: SOT -1978352654 SOS 1221205699 HAS SOPS 1221205699 HAS SOUS 485256825 HAS SOUPS 485256825 WITH SCORE 4.86478030699E8
AT ITER 4997 NEW BEST:: SOT -1978417306 SOS 1221100074 HAS SOPS 1221100074 HAS SOUS 485242886 HAS SOUPS 485242886 WITH SCORE 4.86463986074E8
AT ITER 4999 NEW BEST:: SOT -1978431220 SOS 1221072246 HAS SOPS 1221072246 HAS SOUS 485242886 HAS SOUPS 485242886 WITH SCORE 4.86463958246E8
Bounds file is: CTLFireability.xml
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-00 (! (EG( (! (AG( ((potential((tk(P7051)>=1))))))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-01 ( ( ((potential((tk(P43749)>=1) & (tk(P43754)>=1)))) | (EX( (! ( ((potential((tk(P10656)>=1) & (tk(P10662)>=1)))) | ((potential((tk(P6969)>=1) & (tk(P6927)>=1)))) )))) ) & (! ( ( (AF( ((potential((tk(P5733)>=1) & (tk(P5122)>=1)))))) | (! ( ((potential((tk(P17305)>=1)))) & ((potential((tk(P35668)>=1) & (tk(P35672)>=1)))) )) ) & (AF( ( ((potential((tk(P33597)>=1) & (tk(P33600)>=1)))) | ((potential((tk(P29080)>=1) & (tk(P29088)>=1)))) ))) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-02 ( (AG( (EF( ((potential((tk(P31922)>=1)))))))) | (EG( ((potential((tk(P4561)>=1) & (tk(P4564)>=1)))))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-03 ( ( (AU( (! ((potential((tk(P1645)>=1) & (tk(P1655)>=1))))) , ( ((potential((tk(P25345)>=1) & (tk(P25348)>=1)))) & ((potential((tk(P43148)>=1)))) ) )) | (EF( (EG( ((potential((tk(P16705)>=1) & (tk(P16712)>=1)))))))) ) | (! (EU( ( ((potential((tk(P8295)>=1) & (tk(P8302)>=1)))) & ((potential((tk(P12327)>=1) & (tk(P12335)>=1)))) ) , (! ((potential((tk(P10698)>=1) & (tk(P10709)>=1))))) ))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-04 (AU( (! (EG( ((potential((tk(P41856)>=1) & (tk(P41884)>=1))))))) , ((potential((tk(P48743)>=1) & (tk(P48745)>=1)))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-05 (EF( (AX( ((potential((tk(P31747)>=1) & (tk(P31760)>=1))))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-06 ( ((potential((tk(P10400)>=1) & (tk(P10388)>=1)))) | (EU( ( ( ((potential((tk(P29021)>=1) & (tk(P29015)>=1)))) | ((potential((tk(P18855)>=1) & (tk(P18864)>=1)))) ) & ( ((potential((tk(P38316)>=1) & (tk(P38322)>=1)))) & ((potential((tk(P46511)>=1) & (tk(P46516)>=1)))) ) ) , (EF( ((potential((tk(P13779)>=1)))))) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-07 ( ( ((potential((tk(P589)>=1) & (tk(P600)>=1)))) & (EG( ( ( ((potential((tk(P22951)>=1) & (tk(P22965)>=1)))) & ((potential((tk(P38371)>=1) & (tk(P38380)>=1)))) ) | ((potential((tk(P13609)>=1) & (tk(P13696)>=1)))) ))) ) | ( (! (EU( ((potential((tk(P25554)>=1) & (tk(P25559)>=1)))) , ((potential((tk(P917)>=1) & (tk(P928)>=1)))) ))) & (AF( (AX( ((potential((tk(P43006)>=1)))))))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-08 (EF( ((potential((tk(P5696)>=1) & (tk(P5701)>=1))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-09 (AF( ( ((potential((tk(P46554)>=1) & (tk(P46555)>=1)))) | ( (EX( ((potential((tk(P16201)>=1) & (tk(P16204)>=1)))))) | (EG( ((potential((tk(P21839)>=1) & (tk(P21973)>=1)))))) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-10 ( ( (AG( (! ( ((potential((tk(P23167)>=1) & (tk(P23176)>=1)))) & ((potential((tk(P8092)>=1) & (tk(P8099)>=1)))) )))) & (AX( (! ( ((potential((tk(P42500)>=1) & (tk(P42502)>=1)))) | ((potential((tk(P8265)>=1)))) )))) ) | ( (AG( (EG( ((potential((tk(P11324)>=1) & (tk(P11328)>=1)))))))) & (! (EX( ( ((potential((tk(P37177)>=1) & (tk(P37191)>=1)))) | ((potential((tk(P24294)>=1) & (tk(P24298)>=1)))) )))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-11 (AG( (! ( ( ( ((potential((tk(P1453)>=1) & (tk(P1458)>=1)))) | ((potential((tk(P16002)>=1) & (tk(P16009)>=1)))) ) & (! ((potential((tk(P36319)>=1))))) ) | (AG( ((potential((tk(P38600)>=1) & (tk(P38603)>=1)))))) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-12 (! (AF( ( ( ( ((potential((tk(P18624)>=1) & (tk(P18629)>=1)))) | ((potential((tk(P22203)>=1) & (tk(P22207)>=1)))) ) & (! ((potential((tk(P7793)>=1) & (tk(P7798)>=1))))) ) & (EF( ((potential((tk(P44557)>=1) & (tk(P44560)>=1)))))) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-13 ( (AX( ((potential((tk(P3525)>=1) & (tk(P3530)>=1)))))) | (AG( (! ((potential((tk(P30346)>=1) & (tk(P30349)>=1))))))) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-14 ( (AU( (EF( ((potential((tk(P8865)>=1) & (tk(P8869)>=1)))))) , ((potential((tk(P10479)>=1) & (tk(P10484)>=1)))) )) | ( ((potential((tk(P48027)>=1) & (tk(P48035)>=1)))) | ((potential((tk(P14856)>=1) & (tk(P14900)>=1)))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLFireability-15 (AG( (AF( ((potential((tk(P20341)>=1) & (tk(P20348)>=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-S03D1C1A08"
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-S03D1C1A08, 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-159033538900516"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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