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-159033538900515.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900515
=====================================================================

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

=== Now, execution of the tool begins

BK_START 1590473558165

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

GOT IT HERE. BS
Petri model created: 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 15 NEW BEST:: SOT -1959849830 SOS 1257342964 HAS SOPS 1257342964 HAS SOUS 486167632 HAS SOUPS 486167632 WITH SCORE 4.87424974964E8
AT ITER 22 NEW BEST:: SOT -1959877778 SOS 1257287066 HAS SOPS 1257287066 HAS SOUS 486167628 HAS SOUPS 486167628 WITH SCORE 4.87424915066E8
AT ITER 32 NEW BEST:: SOT -1959918738 SOS 1257205146 HAS SOPS 1257205146 HAS SOUS 486167628 HAS SOUPS 486167628 WITH SCORE 4.87424833146E8
AT ITER 33 NEW BEST:: SOT -1959938300 SOS 1257166020 HAS SOPS 1257166020 HAS SOUS 486167624 HAS SOUPS 486167624 WITH SCORE 4.8742479002E8
AT ITER 40 NEW BEST:: SOT -1959958032 SOS 1257126554 HAS SOPS 1257126554 HAS SOUS 486167620 HAS SOUPS 486167620 WITH SCORE 4.87424746554E8
AT ITER 47 NEW BEST:: SOT -1959999080 SOS 1257044457 HAS SOPS 1257044457 HAS SOUS 486167619 HAS SOUPS 486167619 WITH SCORE 4.87424663457E8
AT ITER 50 NEW BEST:: SOT -1960059071 SOS 1256947922 HAS SOPS 1256947922 HAS SOUS 486164884 HAS SOUPS 486164884 WITH SCORE 4.87421831922E8
AT ITER 57 NEW BEST:: SOT -1960119414 SOS 1256848918 HAS SOPS 1256848918 HAS SOUS 486152622 HAS SOUPS 486152622 WITH SCORE 4.87409470918E8
AT ITER 65 NEW BEST:: SOT -1960142100 SOS 1256803544 HAS SOPS 1256803544 HAS SOUS 486152618 HAS SOUPS 486152618 WITH SCORE 4.87409421544E8
AT ITER 71 NEW BEST:: SOT -1960166908 SOS 1256753928 HAS SOPS 1256753928 HAS SOUS 486152618 HAS SOUPS 486152618 WITH SCORE 4.87409371928E8
AT ITER 77 NEW BEST:: SOT -1960228023 SOS 1256654414 HAS SOPS 1256654414 HAS SOUS 486143980 HAS SOUPS 486143980 WITH SCORE 4.87400634414E8
AT ITER 81 NEW BEST:: SOT -1960248927 SOS 1256612606 HAS SOPS 1256612606 HAS SOUS 486143980 HAS SOUPS 486143980 WITH SCORE 4.87400592606E8
AT ITER 85 NEW BEST:: SOT -1960286059 SOS 1256538342 HAS SOPS 1256538342 HAS SOUS 486143980 HAS SOUPS 486143980 WITH SCORE 4.87400518342E8
AT ITER 90 NEW BEST:: SOT -1960314379 SOS 1256481701 HAS SOPS 1256481701 HAS SOUS 486143979 HAS SOUPS 486143979 WITH SCORE 4.87400460701E8
AT ITER 95 NEW BEST:: SOT -1960335615 SOS 1256439229 HAS SOPS 1256439229 HAS SOUS 486143979 HAS SOUPS 486143979 WITH SCORE 4.87400418229E8
AT ITER 98 NEW BEST:: SOT -1960341041 SOS 1256428376 HAS SOPS 1256428376 HAS SOUS 486143978 HAS SOUPS 486143978 WITH SCORE 4.87400406376E8
AT ITER 99 NEW BEST:: SOT -1960375565 SOS 1256359327 HAS SOPS 1256359327 HAS SOUS 486143977 HAS SOUPS 486143977 WITH SCORE 4.87400336327E8
AT ITER 108 NEW BEST:: SOT -1960398183 SOS 1256314091 HAS SOPS 1256314091 HAS SOUS 486143977 HAS SOUPS 486143977 WITH SCORE 4.87400291091E8
AT ITER 129 NEW BEST:: SOT -1960424279 SOS 1256261897 HAS SOPS 1256261897 HAS SOUS 486143973 HAS SOUPS 486143973 WITH SCORE 4.87400234897E8
AT ITER 135 NEW BEST:: SOT -1960450957 SOS 1256208540 HAS SOPS 1256208540 HAS SOUS 486143972 HAS SOUPS 486143972 WITH SCORE 4.8740018054E8
AT ITER 138 NEW BEST:: SOT -1960487795 SOS 1256134864 HAS SOPS 1256134864 HAS SOUS 486143972 HAS SOUPS 486143972 WITH SCORE 4.87400106864E8
AT ITER 145 NEW BEST:: SOT -1960515211 SOS 1256080032 HAS SOPS 1256080032 HAS SOUS 486143972 HAS SOUPS 486143972 WITH SCORE 4.87400052032E8
AT ITER 148 NEW BEST:: SOT -1960578721 SOS 1255977129 HAS SOPS 1255977129 HAS SOUS 486135213 HAS SOUPS 486135213 WITH SCORE 4.87391190129E8
AT ITER 150 NEW BEST:: SOT -1960642526 SOS 1255872215 HAS SOPS 1255872215 HAS SOUS 486119883 HAS SOUPS 486119883 WITH SCORE 4.87375755215E8
AT ITER 155 NEW BEST:: SOT -1960705731 SOS 1255769361 HAS SOPS 1255769361 HAS SOUS 486109789 HAS SOUPS 486109789 WITH SCORE 4.87365558361E8
AT ITER 169 NEW BEST:: SOT -1960737625 SOS 1255705571 HAS SOPS 1255705571 HAS SOUS 486109785 HAS SOUPS 486109785 WITH SCORE 4.87365490571E8
AT ITER 174 NEW BEST:: SOT -1960749617 SOS 1255681585 HAS SOPS 1255681585 HAS SOUS 486109781 HAS SOUPS 486109781 WITH SCORE 4.87365462585E8
AT ITER 180 NEW BEST:: SOT -1960784217 SOS 1255612385 HAS SOPS 1255612385 HAS SOUS 486109781 HAS SOUPS 486109781 WITH SCORE 4.87365393385E8
AT ITER 202 NEW BEST:: SOT -1960811295 SOS 1255558229 HAS SOPS 1255558229 HAS SOUS 486109781 HAS SOUPS 486109781 WITH SCORE 4.87365339229E8
AT ITER 212 NEW BEST:: SOT -1960831353 SOS 1255518111 HAS SOPS 1255518111 HAS SOUS 486109777 HAS SOUPS 486109777 WITH SCORE 4.87365295111E8
AT ITER 214 NEW BEST:: SOT -1960836159 SOS 1255508499 HAS SOPS 1255508499 HAS SOUS 486109777 HAS SOUPS 486109777 WITH SCORE 4.87365285499E8
AT ITER 217 NEW BEST:: SOT -1960862539 SOS 1255455738 HAS SOPS 1255455738 HAS SOUS 486109776 HAS SOUPS 486109776 WITH SCORE 4.87365231738E8
AT ITER 224 NEW BEST:: SOT -1960874331 SOS 1255432154 HAS SOPS 1255432154 HAS SOUS 486109776 HAS SOUPS 486109776 WITH SCORE 4.87365208154E8
AT ITER 235 NEW BEST:: SOT -1960893807 SOS 1255393201 HAS SOPS 1255393201 HAS SOUS 486109775 HAS SOUPS 486109775 WITH SCORE 4.87365168201E8
AT ITER 241 NEW BEST:: SOT -1960914795 SOS 1255351225 HAS SOPS 1255351225 HAS SOUS 486109775 HAS SOUPS 486109775 WITH SCORE 4.87365126225E8
AT ITER 250 NEW BEST:: SOT -1960941733 SOS 1255297348 HAS SOPS 1255297348 HAS SOUS 486109774 HAS SOUPS 486109774 WITH SCORE 4.87365071348E8
AT ITER 255 NEW BEST:: SOT -1960982511 SOS 1255215790 HAS SOPS 1255215790 HAS SOUS 486109770 HAS SOUPS 486109770 WITH SCORE 4.8736498579E8
AT ITER 268 NEW BEST:: SOT -1961017573 SOS 1255145665 HAS SOPS 1255145665 HAS SOUS 486109769 HAS SOUPS 486109769 WITH SCORE 4.87364914665E8
AT ITER 270 NEW BEST:: SOT -1961026127 SOS 1255128557 HAS SOPS 1255128557 HAS SOUS 486109769 HAS SOUPS 486109769 WITH SCORE 4.87364897557E8
AT ITER 271 NEW BEST:: SOT -1961086804 SOS 1255029475 HAS SOPS 1255029475 HAS SOUS 486099783 HAS SOUPS 486099783 WITH SCORE 4.87354812475E8
AT ITER 273 NEW BEST:: SOT -1961090867 SOS 1255022918 HAS SOPS 1255022918 HAS SOUS 486098858 HAS SOUPS 486098858 WITH SCORE 4.87353880918E8
AT ITER 279 NEW BEST:: SOT -1961114913 SOS 1254974826 HAS SOPS 1254974826 HAS SOUS 486098858 HAS SOUPS 486098858 WITH SCORE 4.87353832826E8
AT ITER 284 NEW BEST:: SOT -1961152221 SOS 1254900209 HAS SOPS 1254900209 HAS SOUS 486098857 HAS SOUPS 486098857 WITH SCORE 4.87353757209E8
AT ITER 288 NEW BEST:: SOT -1961167777 SOS 1254869095 HAS SOPS 1254869095 HAS SOUS 486098853 HAS SOUPS 486098853 WITH SCORE 4.87353722095E8
AT ITER 300 NEW BEST:: SOT -1961197133 SOS 1254810381 HAS SOPS 1254810381 HAS SOUS 486098849 HAS SOUPS 486098849 WITH SCORE 4.87353659381E8
AT ITER 303 NEW BEST:: SOT -1961199929 SOS 1254804789 HAS SOPS 1254804789 HAS SOUS 486098849 HAS SOUPS 486098849 WITH SCORE 4.87353653789E8
AT ITER 304 NEW BEST:: SOT -1961222005 SOS 1254760636 HAS SOPS 1254760636 HAS SOUS 486098848 HAS SOUPS 486098848 WITH SCORE 4.87353608636E8
AT ITER 321 NEW BEST:: SOT -1961257219 SOS 1254690208 HAS SOPS 1254690208 HAS SOUS 486098848 HAS SOUPS 486098848 WITH SCORE 4.87353538208E8
AT ITER 324 NEW BEST:: SOT -1961320459 SOS 1254587243 HAS SOPS 1254587243 HAS SOUS 486088489 HAS SOUPS 486088489 WITH SCORE 4.87343076243E8
AT ITER 359 NEW BEST:: SOT -1961364685 SOS 1254498791 HAS SOPS 1254498791 HAS SOUS 486088489 HAS SOUPS 486088489 WITH SCORE 4.87342987791E8
AT ITER 364 NEW BEST:: SOT -1961387541 SOS 1254453079 HAS SOPS 1254453079 HAS SOUS 486088489 HAS SOUPS 486088489 WITH SCORE 4.87342942079E8
AT ITER 368 NEW BEST:: SOT -1961395413 SOS 1254437335 HAS SOPS 1254437335 HAS SOUS 486088489 HAS SOUPS 486088489 WITH SCORE 4.87342926335E8
AT ITER 391 NEW BEST:: SOT -1961440367 SOS 1254347426 HAS SOPS 1254347426 HAS SOUS 486088488 HAS SOUPS 486088488 WITH SCORE 4.87342835426E8
AT ITER 398 NEW BEST:: SOT -1961466625 SOS 1254294908 HAS SOPS 1254294908 HAS SOUS 486088484 HAS SOUPS 486088484 WITH SCORE 4.87342778908E8
AT ITER 402 NEW BEST:: SOT -1961477259 SOS 1254273639 HAS SOPS 1254273639 HAS SOUS 486088483 HAS SOUPS 486088483 WITH SCORE 4.87342756639E8
AT ITER 411 NEW BEST:: SOT -1961488449 SOS 1254251257 HAS SOPS 1254251257 HAS SOUS 486088479 HAS SOUPS 486088479 WITH SCORE 4.87342730257E8
AT ITER 421 NEW BEST:: SOT -1961513659 SOS 1254200837 HAS SOPS 1254200837 HAS SOUS 486088479 HAS SOUPS 486088479 WITH SCORE 4.87342679837E8
AT ITER 422 NEW BEST:: SOT -1961544283 SOS 1254139588 HAS SOPS 1254139588 HAS SOUS 486088478 HAS SOUPS 486088478 WITH SCORE 4.87342617588E8
AT ITER 423 NEW BEST:: SOT -1961570787 SOS 1254086580 HAS SOPS 1254086580 HAS SOUS 486088478 HAS SOUPS 486088478 WITH SCORE 4.8734256458E8
AT ITER 430 NEW BEST:: SOT -1961596839 SOS 1254034476 HAS SOPS 1254034476 HAS SOUS 486088478 HAS SOUPS 486088478 WITH SCORE 4.87342512476E8
AT ITER 436 NEW BEST:: SOT -1961627429 SOS 1253973294 HAS SOPS 1253973294 HAS SOUS 486088474 HAS SOUPS 486088474 WITH SCORE 4.87342447294E8
AT ITER 437 NEW BEST:: SOT -1961659875 SOS 1253908402 HAS SOPS 1253908402 HAS SOUS 486088474 HAS SOUPS 486088474 WITH SCORE 4.87342382402E8
AT ITER 440 NEW BEST:: SOT -1961695349 SOS 1253837454 HAS SOPS 1253837454 HAS SOUS 486088474 HAS SOUPS 486088474 WITH SCORE 4.87342311454E8
AT ITER 443 NEW BEST:: SOT -1961702925 SOS 1253822302 HAS SOPS 1253822302 HAS SOUS 486088474 HAS SOUPS 486088474 WITH SCORE 4.87342296302E8
AT ITER 449 NEW BEST:: SOT -1961708431 SOS 1253811289 HAS SOPS 1253811289 HAS SOUS 486088473 HAS SOUPS 486088473 WITH SCORE 4.87342284289E8
AT ITER 450 NEW BEST:: SOT -1961734157 SOS 1253759836 HAS SOPS 1253759836 HAS SOUS 486088472 HAS SOUPS 486088472 WITH SCORE 4.87342231836E8
AT ITER 461 NEW BEST:: SOT -1961765041 SOS 1253698068 HAS SOPS 1253698068 HAS SOUS 486088472 HAS SOUPS 486088472 WITH SCORE 4.87342170068E8
AT ITER 462 NEW BEST:: SOT -1961775227 SOS 1253677696 HAS SOPS 1253677696 HAS SOUS 486088472 HAS SOUPS 486088472 WITH SCORE 4.87342149696E8
AT ITER 471 NEW BEST:: SOT -1961798839 SOS 1253630470 HAS SOPS 1253630470 HAS SOUS 486088468 HAS SOUPS 486088468 WITH SCORE 4.8734209847E8
AT ITER 472 NEW BEST:: SOT -1961814987 SOS 1253598172 HAS SOPS 1253598172 HAS SOUS 486088464 HAS SOUPS 486088464 WITH SCORE 4.87342062172E8
AT ITER 501 NEW BEST:: SOT -1961853209 SOS 1253521726 HAS SOPS 1253521726 HAS SOUS 486088460 HAS SOUPS 486088460 WITH SCORE 4.87341981726E8
AT ITER 506 NEW BEST:: SOT -1961868801 SOS 1253490540 HAS SOPS 1253490540 HAS SOUS 486088456 HAS SOUPS 486088456 WITH SCORE 4.8734194654E8
AT ITER 510 NEW BEST:: SOT -1961895641 SOS 1253436859 HAS SOPS 1253436859 HAS SOUS 486088455 HAS SOUPS 486088455 WITH SCORE 4.87341891859E8
AT ITER 511 NEW BEST:: SOT -1961919939 SOS 1253388261 HAS SOPS 1253388261 HAS SOUS 486088451 HAS SOUPS 486088451 WITH SCORE 4.87341839261E8
AT ITER 515 NEW BEST:: SOT -1961948593 SOS 1253330952 HAS SOPS 1253330952 HAS SOUS 486088450 HAS SOUPS 486088450 WITH SCORE 4.87341780952E8
AT ITER 518 NEW BEST:: SOT -1961973491 SOS 1253281155 HAS SOPS 1253281155 HAS SOUS 486088449 HAS SOUPS 486088449 WITH SCORE 4.87341730155E8
AT ITER 533 NEW BEST:: SOT -1962017327 SOS 1253193481 HAS SOPS 1253193481 HAS SOUS 486088445 HAS SOUPS 486088445 WITH SCORE 4.87341638481E8
AT ITER 537 NEW BEST:: SOT -1962038367 SOS 1253151401 HAS SOPS 1253151401 HAS SOUS 486088445 HAS SOUPS 486088445 WITH SCORE 4.87341596401E8
AT ITER 548 NEW BEST:: SOT -1962052463 SOS 1253123209 HAS SOPS 1253123209 HAS SOUS 486088445 HAS SOUPS 486088445 WITH SCORE 4.87341568209E8
AT ITER 549 NEW BEST:: SOT -1962078007 SOS 1253072119 HAS SOPS 1253072119 HAS SOUS 486088441 HAS SOUPS 486088441 WITH SCORE 4.87341513119E8
AT ITER 561 NEW BEST:: SOT -1962121588 SOS 1252999484 HAS SOPS 1252999484 HAS SOUS 486073914 HAS SOUPS 486073914 WITH SCORE 4.87326913484E8
AT ITER 573 NEW BEST:: SOT -1962161980 SOS 1252918700 HAS SOPS 1252918700 HAS SOUS 486073914 HAS SOUPS 486073914 WITH SCORE 4.873268327E8
AT ITER 574 NEW BEST:: SOT -1962193746 SOS 1252855167 HAS SOPS 1252855167 HAS SOUS 486073913 HAS SOUPS 486073913 WITH SCORE 4.87326768167E8
AT ITER 605 NEW BEST:: SOT -1962233900 SOS 1252774857 HAS SOPS 1252774857 HAS SOUS 486073909 HAS SOUPS 486073909 WITH SCORE 4.87326683857E8
AT ITER 627 NEW BEST:: SOT -1962261470 SOS 1252719715 HAS SOPS 1252719715 HAS SOUS 486073905 HAS SOUPS 486073905 WITH SCORE 4.87326624715E8
AT ITER 629 NEW BEST:: SOT -1962292030 SOS 1252658594 HAS SOPS 1252658594 HAS SOUS 486073904 HAS SOUPS 486073904 WITH SCORE 4.87326562594E8
AT ITER 634 NEW BEST:: SOT -1962332386 SOS 1252577881 HAS SOPS 1252577881 HAS SOUS 486073903 HAS SOUPS 486073903 WITH SCORE 4.87326480881E8
AT ITER 642 NEW BEST:: SOT -1962368782 SOS 1252505087 HAS SOPS 1252505087 HAS SOUS 486073899 HAS SOUPS 486073899 WITH SCORE 4.87326404087E8
AT ITER 651 NEW BEST:: SOT -1962398718 SOS 1252445215 HAS SOPS 1252445215 HAS SOUS 486073899 HAS SOUPS 486073899 WITH SCORE 4.87326344215E8
AT ITER 656 NEW BEST:: SOT -1962420752 SOS 1252401145 HAS SOPS 1252401145 HAS SOUS 486073895 HAS SOUPS 486073895 WITH SCORE 4.87326296145E8
AT ITER 667 NEW BEST:: SOT -1962455007 SOS 1252319095 HAS SOPS 1252319095 HAS SOUS 486064702 HAS SOUPS 486064702 WITH SCORE 4.87317021095E8
AT ITER 670 NEW BEST:: SOT -1962492555 SOS 1252243999 HAS SOPS 1252243999 HAS SOUS 486064702 HAS SOUPS 486064702 WITH SCORE 4.87316945999E8
AT ITER 672 NEW BEST:: SOT -1962514497 SOS 1252200115 HAS SOPS 1252200115 HAS SOUS 486064702 HAS SOUPS 486064702 WITH SCORE 4.87316902115E8
AT ITER 674 NEW BEST:: SOT -1962527721 SOS 1252173665 HAS SOPS 1252173665 HAS SOUS 486064698 HAS SOUPS 486064698 WITH SCORE 4.87316871665E8
AT ITER 680 NEW BEST:: SOT -1962565107 SOS 1252098891 HAS SOPS 1252098891 HAS SOUS 486064694 HAS SOUPS 486064694 WITH SCORE 4.87316792891E8
AT ITER 681 NEW BEST:: SOT -1962577591 SOS 1252073922 HAS SOPS 1252073922 HAS SOUS 486064693 HAS SOUPS 486064693 WITH SCORE 4.87316766922E8
AT ITER 694 NEW BEST:: SOT -1962605715 SOS 1252017673 HAS SOPS 1252017673 HAS SOUS 486064692 HAS SOUPS 486064692 WITH SCORE 4.87316709673E8
AT ITER 695 NEW BEST:: SOT -1962623811 SOS 1251981479 HAS SOPS 1251981479 HAS SOUS 486064688 HAS SOUPS 486064688 WITH SCORE 4.87316669479E8
AT ITER 720 NEW BEST:: SOT -1962645487 SOS 1251938125 HAS SOPS 1251938125 HAS SOUS 486064684 HAS SOUPS 486064684 WITH SCORE 4.87316622125E8
AT ITER 722 NEW BEST:: SOT -1962673623 SOS 1251881851 HAS SOPS 1251881851 HAS SOUS 486064680 HAS SOUPS 486064680 WITH SCORE 4.87316561851E8
AT ITER 725 NEW BEST:: SOT -1962693899 SOS 1251841297 HAS SOPS 1251841297 HAS SOUS 486064676 HAS SOUPS 486064676 WITH SCORE 4.87316517297E8
AT ITER 729 NEW BEST:: SOT -1962713163 SOS 1251802769 HAS SOPS 1251802769 HAS SOUS 486064676 HAS SOUPS 486064676 WITH SCORE 4.87316478769E8
AT ITER 730 NEW BEST:: SOT -1962723861 SOS 1251781371 HAS SOPS 1251781371 HAS SOUS 486064672 HAS SOUPS 486064672 WITH SCORE 4.87316453371E8
AT ITER 731 NEW BEST:: SOT -1962736207 SOS 1251756678 HAS SOPS 1251756678 HAS SOUS 486064671 HAS SOUPS 486064671 WITH SCORE 4.87316427678E8
AT ITER 736 NEW BEST:: SOT -1962766215 SOS 1251696660 HAS SOPS 1251696660 HAS SOUS 486064667 HAS SOUPS 486064667 WITH SCORE 4.8731636366E8
AT ITER 751 NEW BEST:: SOT -1962792261 SOS 1251644567 HAS SOPS 1251644567 HAS SOUS 486064666 HAS SOUPS 486064666 WITH SCORE 4.87316310567E8
AT ITER 753 NEW BEST:: SOT -1962824809 SOS 1251579469 HAS SOPS 1251579469 HAS SOUS 486064662 HAS SOUPS 486064662 WITH SCORE 4.87316241469E8
AT ITER 754 NEW BEST:: SOT -1962866485 SOS 1251496117 HAS SOPS 1251496117 HAS SOUS 486064662 HAS SOUPS 486064662 WITH SCORE 4.87316158117E8
AT ITER 764 NEW BEST:: SOT -1962873851 SOS 1251481385 HAS SOPS 1251481385 HAS SOUS 486064662 HAS SOUPS 486064662 WITH SCORE 4.87316143385E8
AT ITER 769 NEW BEST:: SOT -1962902087 SOS 1251424912 HAS SOPS 1251424912 HAS SOUS 486064661 HAS SOUPS 486064661 WITH SCORE 4.87316085912E8
AT ITER 771 NEW BEST:: SOT -1962913281 SOS 1251402523 HAS SOPS 1251402523 HAS SOUS 486064660 HAS SOUPS 486064660 WITH SCORE 4.87316062523E8
AT ITER 775 NEW BEST:: SOT -1962972958 SOS 1251306666 HAS SOPS 1251306666 HAS SOUS 486062803 HAS SOUPS 486062803 WITH SCORE 4.87314109666E8
AT ITER 786 NEW BEST:: SOT -1962991462 SOS 1251269656 HAS SOPS 1251269656 HAS SOUS 486062799 HAS SOUPS 486062799 WITH SCORE 4.87314068656E8
AT ITER 789 NEW BEST:: SOT -1963024258 SOS 1251204062 HAS SOPS 1251204062 HAS SOUS 486062795 HAS SOUPS 486062795 WITH SCORE 4.87313999062E8
AT ITER 794 NEW BEST:: SOT -1963067198 SOS 1251118182 HAS SOPS 1251118182 HAS SOUS 486062795 HAS SOUPS 486062795 WITH SCORE 4.87313913182E8
AT ITER 806 NEW BEST:: SOT -1963069652 SOS 1251113274 HAS SOPS 1251113274 HAS SOUS 486062795 HAS SOUPS 486062795 WITH SCORE 4.87313908274E8
AT ITER 814 NEW BEST:: SOT -1963105576 SOS 1251041424 HAS SOPS 1251041424 HAS SOUS 486062791 HAS SOUPS 486062791 WITH SCORE 4.87313832424E8
AT ITER 817 NEW BEST:: SOT -1963147712 SOS 1250957150 HAS SOPS 1250957150 HAS SOUS 486062787 HAS SOUPS 486062787 WITH SCORE 4.8731374415E8
AT ITER 827 NEW BEST:: SOT -1963185592 SOS 1250881388 HAS SOPS 1250881388 HAS SOUS 486062783 HAS SOUPS 486062783 WITH SCORE 4.87313664388E8
AT ITER 829 NEW BEST:: SOT -1963190941 SOS 1250872473 HAS SOPS 1250872473 HAS SOUS 486061000 HAS SOUPS 486061000 WITH SCORE 4.87311872473E8
AT ITER 833 NEW BEST:: SOT -1963251556 SOS 1250774081 HAS SOPS 1250774081 HAS SOUS 486053968 HAS SOUPS 486053968 WITH SCORE 4.87304742081E8
AT ITER 836 NEW BEST:: SOT -1963290806 SOS 1250695580 HAS SOPS 1250695580 HAS SOUS 486053967 HAS SOUPS 486053967 WITH SCORE 4.8730466258E8
AT ITER 846 NEW BEST:: SOT -1963332976 SOS 1250611238 HAS SOPS 1250611238 HAS SOUS 486053963 HAS SOUPS 486053963 WITH SCORE 4.87304574238E8
AT ITER 858 NEW BEST:: SOT -1963359460 SOS 1250558270 HAS SOPS 1250558270 HAS SOUS 486053963 HAS SOUPS 486053963 WITH SCORE 4.8730452127E8
AT ITER 860 NEW BEST:: SOT -1963400190 SOS 1250476810 HAS SOPS 1250476810 HAS SOUS 486053963 HAS SOUPS 486053963 WITH SCORE 4.8730443981E8
AT ITER 862 NEW BEST:: SOT -1963460287 SOS 1250380191 HAS SOPS 1250380191 HAS SOUS 486049807 HAS SOUPS 486049807 WITH SCORE 4.87300187191E8
AT ITER 864 NEW BEST:: SOT -1963477587 SOS 1250345590 HAS SOPS 1250345590 HAS SOUS 486049806 HAS SOUPS 486049806 WITH SCORE 4.8730015159E8
AT ITER 866 NEW BEST:: SOT -1963515855 SOS 1250269052 HAS SOPS 1250269052 HAS SOUS 486049802 HAS SOUPS 486049802 WITH SCORE 4.87300071052E8
AT ITER 881 NEW BEST:: SOT -1963529543 SOS 1250241676 HAS SOPS 1250241676 HAS SOUS 486049802 HAS SOUPS 486049802 WITH SCORE 4.87300043676E8
AT ITER 895 NEW BEST:: SOT -1963556165 SOS 1250188430 HAS SOPS 1250188430 HAS SOUS 486049798 HAS SOUPS 486049798 WITH SCORE 4.8729998643E8
AT ITER 897 NEW BEST:: SOT -1963584807 SOS 1250131146 HAS SOPS 1250131146 HAS SOUS 486049798 HAS SOUPS 486049798 WITH SCORE 4.87299929146E8
AT ITER 898 NEW BEST:: SOT -1963620391 SOS 1250059978 HAS SOPS 1250059978 HAS SOUS 486049798 HAS SOUPS 486049798 WITH SCORE 4.87299857978E8
AT ITER 899 NEW BEST:: SOT -1963620391 SOS 1250059977 HAS SOPS 1250059977 HAS SOUS 486049797 HAS SOUPS 486049797 WITH SCORE 4.87299856977E8
AT ITER 905 NEW BEST:: SOT -1963641427 SOS 1250017904 HAS SOPS 1250017904 HAS SOUS 486049796 HAS SOUPS 486049796 WITH SCORE 4.87299813904E8
AT ITER 906 NEW BEST:: SOT -1963676299 SOS 1249948159 HAS SOPS 1249948159 HAS SOUS 486049795 HAS SOUPS 486049795 WITH SCORE 4.87299743159E8
AT ITER 925 NEW BEST:: SOT -1963685841 SOS 1249929074 HAS SOPS 1249929074 HAS SOUS 486049794 HAS SOUPS 486049794 WITH SCORE 4.87299723074E8
AT ITER 931 NEW BEST:: SOT -1963741888 SOS 1249842247 HAS SOPS 1249842247 HAS SOUS 486049230 HAS SOUPS 486049230 WITH SCORE 4.87299072247E8
AT ITER 941 NEW BEST:: SOT -1963802345 SOS 1249743621 HAS SOPS 1249743621 HAS SOUS 486039768 HAS SOUPS 486039768 WITH SCORE 4.87289511621E8
AT ITER 945 NEW BEST:: SOT -1963817551 SOS 1249713209 HAS SOPS 1249713209 HAS SOUS 486039768 HAS SOUPS 486039768 WITH SCORE 4.87289481209E8
AT ITER 954 NEW BEST:: SOT -1963823929 SOS 1249702578 HAS SOPS 1249702578 HAS SOUS 486037641 HAS SOUPS 486037641 WITH SCORE 4.87287343578E8
AT ITER 957 NEW BEST:: SOT -1963865003 SOS 1249620430 HAS SOPS 1249620430 HAS SOUS 486037641 HAS SOUPS 486037641 WITH SCORE 4.8728726143E8
AT ITER 959 NEW BEST:: SOT -1963927491 SOS 1249520368 HAS SOPS 1249520368 HAS SOUS 486030040 HAS SOUPS 486030040 WITH SCORE 4.87279560368E8
AT ITER 963 NEW BEST:: SOT -1963965317 SOS 1249444714 HAS SOPS 1249444714 HAS SOUS 486030036 HAS SOUPS 486030036 WITH SCORE 4.87279480714E8
AT ITER 968 NEW BEST:: SOT -1963986895 SOS 1249401556 HAS SOPS 1249401556 HAS SOUS 486030032 HAS SOUPS 486030032 WITH SCORE 4.87279433556E8
AT ITER 975 NEW BEST:: SOT -1964024725 SOS 1249325894 HAS SOPS 1249325894 HAS SOUS 486030028 HAS SOUPS 486030028 WITH SCORE 4.87279353894E8
AT ITER 987 NEW BEST:: SOT -1964050799 SOS 1249273745 HAS SOPS 1249273745 HAS SOUS 486030027 HAS SOUPS 486030027 WITH SCORE 4.87279300745E8
AT ITER 994 NEW BEST:: SOT -1964069523 SOS 1249236297 HAS SOPS 1249236297 HAS SOUS 486030027 HAS SOUPS 486030027 WITH SCORE 4.87279263297E8
AT ITER 997 NEW BEST:: SOT -1964092373 SOS 1249190595 HAS SOPS 1249190595 HAS SOUS 486030023 HAS SOUPS 486030023 WITH SCORE 4.87279213595E8
AT ITER 998 NEW BEST:: SOT -1964133169 SOS 1249109002 HAS SOPS 1249109002 HAS SOUS 486030022 HAS SOUPS 486030022 WITH SCORE 4.87279131002E8
AT ITER 999 NEW BEST:: SOT -1964194200 SOS 1249005547 HAS SOPS 1249005547 HAS SOUS 486011409 HAS SOUPS 486011409 WITH SCORE 4.87260414547E8
AT ITER 1003 NEW BEST:: SOT -1964208770 SOS 1248976405 HAS SOPS 1248976405 HAS SOUS 486011405 HAS SOUPS 486011405 WITH SCORE 4.87260381405E8
AT ITER 1005 NEW BEST:: SOT -1964251474 SOS 1248890995 HAS SOPS 1248890995 HAS SOUS 486011401 HAS SOUPS 486011401 WITH SCORE 4.87260291995E8
AT ITER 1007 NEW BEST:: SOT -1964275994 SOS 1248841955 HAS SOPS 1248841955 HAS SOUS 486011401 HAS SOUPS 486011401 WITH SCORE 4.87260242955E8
AT ITER 1017 NEW BEST:: SOT -1964289742 SOS 1248814457 HAS SOPS 1248814457 HAS SOUS 486011397 HAS SOUPS 486011397 WITH SCORE 4.87260211457E8
AT ITER 1024 NEW BEST:: SOT -1964313690 SOS 1248766559 HAS SOPS 1248766559 HAS SOUS 486011393 HAS SOUPS 486011393 WITH SCORE 4.87260159559E8
AT ITER 1025 NEW BEST:: SOT -1964354308 SOS 1248685321 HAS SOPS 1248685321 HAS SOUS 486011389 HAS SOUPS 486011389 WITH SCORE 4.87260074321E8
AT ITER 1038 NEW BEST:: SOT -1964376802 SOS 1248640331 HAS SOPS 1248640331 HAS SOUS 486011385 HAS SOUPS 486011385 WITH SCORE 4.87260025331E8
AT ITER 1040 NEW BEST:: SOT -1964420660 SOS 1248552615 HAS SOPS 1248552615 HAS SOUS 486011385 HAS SOUPS 486011385 WITH SCORE 4.87259937615E8
AT ITER 1044 NEW BEST:: SOT -1964450278 SOS 1248493378 HAS SOPS 1248493378 HAS SOUS 486011384 HAS SOUPS 486011384 WITH SCORE 4.87259877378E8
AT ITER 1056 NEW BEST:: SOT -1964484904 SOS 1248424124 HAS SOPS 1248424124 HAS SOUS 486011380 HAS SOUPS 486011380 WITH SCORE 4.87259804124E8
AT ITER 1061 NEW BEST:: SOT -1964507826 SOS 1248378279 HAS SOPS 1248378279 HAS SOUS 486011379 HAS SOUPS 486011379 WITH SCORE 4.87259757279E8
AT ITER 1062 NEW BEST:: SOT -1964512364 SOS 1248369203 HAS SOPS 1248369203 HAS SOUS 486011379 HAS SOUPS 486011379 WITH SCORE 4.87259748203E8
AT ITER 1071 NEW BEST:: SOT -1964525966 SOS 1248341999 HAS SOPS 1248341999 HAS SOUS 486011379 HAS SOUPS 486011379 WITH SCORE 4.87259720999E8
AT ITER 1074 NEW BEST:: SOT -1964545580 SOS 1248302771 HAS SOPS 1248302771 HAS SOUS 486011379 HAS SOUPS 486011379 WITH SCORE 4.87259681771E8
AT ITER 1081 NEW BEST:: SOT -1964552436 SOS 1248289058 HAS SOPS 1248289058 HAS SOUS 486011378 HAS SOUPS 486011378 WITH SCORE 4.87259667058E8
AT ITER 1088 NEW BEST:: SOT -1964617089 SOS 1248183552 HAS SOPS 1248183552 HAS SOUS 485997922 HAS SOUPS 485997922 WITH SCORE 4.87246105552E8
AT ITER 1094 NEW BEST:: SOT -1964677898 SOS 1248084014 HAS SOPS 1248084014 HAS SOUS 485986718 HAS SOUPS 485986718 WITH SCORE 4.87234802014E8
AT ITER 1096 NEW BEST:: SOT -1964707264 SOS 1248025280 HAS SOPS 1248025280 HAS SOUS 485986714 HAS SOUPS 485986714 WITH SCORE 4.8723473928E8
AT ITER 1100 NEW BEST:: SOT -1964733708 SOS 1247972390 HAS SOPS 1247972390 HAS SOUS 485986710 HAS SOUPS 485986710 WITH SCORE 4.8723468239E8
AT ITER 1109 NEW BEST:: SOT -1964772654 SOS 1247894498 HAS SOPS 1247894498 HAS SOUS 485986710 HAS SOUPS 485986710 WITH SCORE 4.87234604498E8
AT ITER 1113 NEW BEST:: SOT -1964786204 SOS 1247867397 HAS SOPS 1247867397 HAS SOUS 485986709 HAS SOUPS 485986709 WITH SCORE 4.87234576397E8
AT ITER 1114 NEW BEST:: SOT -1964809660 SOS 1247820483 HAS SOPS 1247820483 HAS SOUS 485986705 HAS SOUPS 485986705 WITH SCORE 4.87234525483E8
AT ITER 1116 NEW BEST:: SOT -1964848536 SOS 1247742729 HAS SOPS 1247742729 HAS SOUS 485986701 HAS SOUPS 485986701 WITH SCORE 4.87234443729E8
AT ITER 1119 NEW BEST:: SOT -1964883764 SOS 1247672272 HAS SOPS 1247672272 HAS SOUS 485986700 HAS SOUPS 485986700 WITH SCORE 4.87234372272E8
AT ITER 1123 NEW BEST:: SOT -1964902438 SOS 1247634922 HAS SOPS 1247634922 HAS SOUS 485986696 HAS SOUPS 485986696 WITH SCORE 4.87234330922E8
AT ITER 1127 NEW BEST:: SOT -1964931834 SOS 1247576130 HAS SOPS 1247576130 HAS SOUS 485986696 HAS SOUPS 485986696 WITH SCORE 4.8723427213E8
AT ITER 1131 NEW BEST:: SOT -1964960648 SOS 1247518502 HAS SOPS 1247518502 HAS SOUS 485986696 HAS SOUPS 485986696 WITH SCORE 4.87234214502E8
AT ITER 1134 NEW BEST:: SOT -1964992096 SOS 1247455605 HAS SOPS 1247455605 HAS SOUS 485986695 HAS SOUPS 485986695 WITH SCORE 4.87234150605E8
AT ITER 1154 NEW BEST:: SOT -1965026770 SOS 1247386257 HAS SOPS 1247386257 HAS SOUS 485986695 HAS SOUPS 485986695 WITH SCORE 4.87234081257E8
AT ITER 1158 NEW BEST:: SOT -1965086278 SOS 1247290771 HAS SOPS 1247290771 HAS SOUS 485982762 HAS SOUPS 485982762 WITH SCORE 4.87230052771E8
AT ITER 1170 NEW BEST:: SOT -1965108732 SOS 1247245863 HAS SOPS 1247245863 HAS SOUS 485982762 HAS SOUPS 485982762 WITH SCORE 4.87230007863E8
AT ITER 1179 NEW BEST:: SOT -1965131756 SOS 1247199814 HAS SOPS 1247199814 HAS SOUS 485982761 HAS SOUPS 485982761 WITH SCORE 4.87229960814E8
AT ITER 1183 NEW BEST:: SOT -1965150108 SOS 1247163110 HAS SOPS 1247163110 HAS SOUS 485982761 HAS SOUPS 485982761 WITH SCORE 4.8722992411E8
AT ITER 1184 NEW BEST:: SOT -1965170558 SOS 1247122208 HAS SOPS 1247122208 HAS SOUS 485982757 HAS SOUPS 485982757 WITH SCORE 4.87229879208E8
AT ITER 1190 NEW BEST:: SOT -1965234848 SOS 1247018257 HAS SOPS 1247018257 HAS SOUS 485973706 HAS SOUPS 485973706 WITH SCORE 4.87220724257E8
AT ITER 1196 NEW BEST:: SOT -1965251542 SOS 1246984867 HAS SOPS 1246984867 HAS SOUS 485973702 HAS SOUPS 485973702 WITH SCORE 4.87220686867E8
AT ITER 1198 NEW BEST:: SOT -1965256104 SOS 1246977756 HAS SOPS 1246977756 HAS SOUS 485973610 HAS SOUPS 485973610 WITH SCORE 4.87220587756E8
AT ITER 1202 NEW BEST:: SOT -1965271230 SOS 1246947503 HAS SOPS 1246947503 HAS SOUS 485973609 HAS SOUPS 485973609 WITH SCORE 4.87220556503E8
AT ITER 1211 NEW BEST:: SOT -1965299344 SOS 1246891273 HAS SOPS 1246891273 HAS SOUS 485973605 HAS SOUPS 485973605 WITH SCORE 4.87220496273E8
AT ITER 1212 NEW BEST:: SOT -1965313214 SOS 1246863531 HAS SOPS 1246863531 HAS SOUS 485973601 HAS SOUPS 485973601 WITH SCORE 4.87220464531E8
AT ITER 1218 NEW BEST:: SOT -1965372703 SOS 1246768259 HAS SOPS 1246768259 HAS SOUS 485973167 HAS SOUPS 485973167 WITH SCORE 4.87219935259E8
AT ITER 1224 NEW BEST:: SOT -1965389815 SOS 1246734034 HAS SOPS 1246734034 HAS SOUS 485973166 HAS SOUPS 485973166 WITH SCORE 4.87219900034E8
AT ITER 1231 NEW BEST:: SOT -1965413783 SOS 1246686097 HAS SOPS 1246686097 HAS SOUS 485973165 HAS SOUPS 485973165 WITH SCORE 4.87219851097E8
AT ITER 1238 NEW BEST:: SOT -1965473538 SOS 1246586685 HAS SOPS 1246586685 HAS SOUS 485954159 HAS SOUPS 485954159 WITH SCORE 4.87200745685E8
AT ITER 1252 NEW BEST:: SOT -1965494538 SOS 1246544685 HAS SOPS 1246544685 HAS SOUS 485954159 HAS SOUPS 485954159 WITH SCORE 4.87200703685E8
AT ITER 1274 NEW BEST:: SOT -1965526826 SOS 1246480107 HAS SOPS 1246480107 HAS SOUS 485954155 HAS SOUPS 485954155 WITH SCORE 4.87200635107E8
AT ITER 1289 NEW BEST:: SOT -1965568818 SOS 1246396121 HAS SOPS 1246396121 HAS SOUS 485954151 HAS SOUPS 485954151 WITH SCORE 4.87200547121E8
AT ITER 1295 NEW BEST:: SOT -1965595319 SOS 1246327808 HAS SOPS 1246327808 HAS SOUS 485949417 HAS SOUPS 485949417 WITH SCORE 4.87195744808E8
AT ITER 1301 NEW BEST:: SOT -1965636257 SOS 1246245931 HAS SOPS 1246245931 HAS SOUS 485949416 HAS SOUPS 485949416 WITH SCORE 4.87195661931E8
AT ITER 1317 NEW BEST:: SOT -1965657763 SOS 1246202919 HAS SOPS 1246202919 HAS SOUS 485949416 HAS SOUPS 485949416 WITH SCORE 4.87195618919E8
AT ITER 1326 NEW BEST:: SOT -1965692783 SOS 1246132878 HAS SOPS 1246132878 HAS SOUS 485949415 HAS SOUPS 485949415 WITH SCORE 4.87195547878E8
AT ITER 1350 NEW BEST:: SOT -1965728273 SOS 1246061896 HAS SOPS 1246061896 HAS SOUS 485949411 HAS SOUPS 485949411 WITH SCORE 4.87195472896E8
AT ITER 1352 NEW BEST:: SOT -1965751007 SOS 1246005061 HAS SOPS 1246005061 HAS SOUS 485938044 HAS SOUPS 485938044 WITH SCORE 4.87184049061E8
AT ITER 1354 NEW BEST:: SOT -1965778325 SOS 1245950423 HAS SOPS 1245950423 HAS SOUS 485938040 HAS SOUPS 485938040 WITH SCORE 4.87183990423E8
AT ITER 1355 NEW BEST:: SOT -1965807801 SOS 1245891470 HAS SOPS 1245891470 HAS SOUS 485938039 HAS SOUPS 485938039 WITH SCORE 4.8718393047E8
AT ITER 1356 NEW BEST:: SOT -1965841991 SOS 1245823089 HAS SOPS 1245823089 HAS SOUS 485938038 HAS SOUPS 485938038 WITH SCORE 4.87183861089E8
AT ITER 1373 NEW BEST:: SOT -1965874433 SOS 1245758203 HAS SOPS 1245758203 HAS SOUS 485938034 HAS SOUPS 485938034 WITH SCORE 4.87183792203E8
AT ITER 1377 NEW BEST:: SOT -1965938114 SOS 1245654221 HAS SOPS 1245654221 HAS SOUS 485925812 HAS SOUPS 485925812 WITH SCORE 4.87171466221E8
AT ITER 1397 NEW BEST:: SOT -1965970500 SOS 1245589447 HAS SOPS 1245589447 HAS SOUS 485925808 HAS SOUPS 485925808 WITH SCORE 4.87171397447E8
AT ITER 1411 NEW BEST:: SOT -1965990454 SOS 1245549538 HAS SOPS 1245549538 HAS SOUS 485925807 HAS SOUPS 485925807 WITH SCORE 4.87171356538E8
AT ITER 1425 NEW BEST:: SOT -1965995466 SOS 1245539513 HAS SOPS 1245539513 HAS SOUS 485925806 HAS SOUPS 485925806 WITH SCORE 4.87171345513E8
AT ITER 1427 NEW BEST:: SOT -1966018460 SOS 1245493523 HAS SOPS 1245493523 HAS SOUS 485925802 HAS SOUPS 485925802 WITH SCORE 4.87171295523E8
AT ITER 1429 NEW BEST:: SOT -1966040870 SOS 1245448702 HAS SOPS 1245448702 HAS SOUS 485925801 HAS SOUPS 485925801 WITH SCORE 4.87171249702E8
AT ITER 1430 NEW BEST:: SOT -1966069396 SOS 1245391649 HAS SOPS 1245391649 HAS SOUS 485925800 HAS SOUPS 485925800 WITH SCORE 4.87171191649E8
AT ITER 1434 NEW BEST:: SOT -1966103656 SOS 1245323128 HAS SOPS 1245323128 HAS SOUS 485925799 HAS SOUPS 485925799 WITH SCORE 4.87171122128E8
AT ITER 1437 NEW BEST:: SOT -1966146398 SOS 1245237644 HAS SOPS 1245237644 HAS SOUS 485925799 HAS SOUPS 485925799 WITH SCORE 4.87171036644E8
AT ITER 1439 NEW BEST:: SOT -1966171146 SOS 1245188146 HAS SOPS 1245188146 HAS SOUS 485925795 HAS SOUPS 485925795 WITH SCORE 4.87170983146E8
AT ITER 1442 NEW BEST:: SOT -1966202264 SOS 1245125909 HAS SOPS 1245125909 HAS SOUS 485925794 HAS SOUPS 485925794 WITH SCORE 4.87170919909E8
AT ITER 1443 NEW BEST:: SOT -1966217522 SOS 1245095393 HAS SOPS 1245095393 HAS SOUS 485925794 HAS SOUPS 485925794 WITH SCORE 4.87170889393E8
AT ITER 1454 NEW BEST:: SOT -1966229618 SOS 1245071199 HAS SOPS 1245071199 HAS SOUS 485925790 HAS SOUPS 485925790 WITH SCORE 4.87170861199E8
AT ITER 1457 NEW BEST:: SOT -1966269702 SOS 1244991031 HAS SOPS 1244991031 HAS SOUS 485925790 HAS SOUPS 485925790 WITH SCORE 4.87170781031E8
AT ITER 1462 NEW BEST:: SOT -1966306836 SOS 1244916762 HAS SOPS 1244916762 HAS SOUS 485925789 HAS SOUPS 485925789 WITH SCORE 4.87170705762E8
AT ITER 1463 NEW BEST:: SOT -1966345838 SOS 1244838757 HAS SOPS 1244838757 HAS SOUS 485925788 HAS SOUPS 485925788 WITH SCORE 4.87170626757E8
AT ITER 1468 NEW BEST:: SOT -1966357464 SOS 1244815505 HAS SOPS 1244815505 HAS SOUS 485925788 HAS SOUPS 485925788 WITH SCORE 4.87170603505E8
AT ITER 1470 NEW BEST:: SOT -1966388274 SOS 1244753884 HAS SOPS 1244753884 HAS SOUS 485925787 HAS SOUPS 485925787 WITH SCORE 4.87170540884E8
AT ITER 1471 NEW BEST:: SOT -1966424742 SOS 1244680947 HAS SOPS 1244680947 HAS SOUS 485925786 HAS SOUPS 485925786 WITH SCORE 4.87170466947E8
AT ITER 1491 NEW BEST:: SOT -1966426395 SOS 1244678191 HAS SOPS 1244678191 HAS SOUS 485925234 HAS SOUPS 485925234 WITH SCORE 4.87169912191E8
AT ITER 1495 NEW BEST:: SOT -1966452225 SOS 1244615494 HAS SOPS 1244615494 HAS SOUS 485914197 HAS SOUPS 485914197 WITH SCORE 4.87158812494E8
AT ITER 1500 NEW BEST:: SOT -1966480707 SOS 1244558528 HAS SOPS 1244558528 HAS SOUS 485914193 HAS SOUPS 485914193 WITH SCORE 4.87158751528E8
AT ITER 1503 NEW BEST:: SOT -1966513275 SOS 1244493392 HAS SOPS 1244493392 HAS SOUS 485914193 HAS SOUPS 485914193 WITH SCORE 4.87158686392E8
AT ITER 1506 NEW BEST:: SOT -1966520581 SOS 1244478779 HAS SOPS 1244478779 HAS SOUS 485914192 HAS SOUPS 485914192 WITH SCORE 4.87158670779E8
AT ITER 1507 NEW BEST:: SOT -1966540761 SOS 1244438418 HAS SOPS 1244438418 HAS SOUS 485914191 HAS SOUPS 485914191 WITH SCORE 4.87158629418E8
AT ITER 1508 NEW BEST:: SOT -1966556859 SOS 1244406220 HAS SOPS 1244406220 HAS SOUS 485914187 HAS SOUPS 485914187 WITH SCORE 4.8715859322E8
AT ITER 1519 NEW BEST:: SOT -1966620848 SOS 1244302074 HAS SOPS 1244302074 HAS SOUS 485902849 HAS SOUPS 485902849 WITH SCORE 4.87147151074E8
AT ITER 1520 NEW BEST:: SOT -1966647566 SOS 1244248637 HAS SOPS 1244248637 HAS SOUS 485902848 HAS SOUPS 485902848 WITH SCORE 4.87147096637E8
AT ITER 1524 NEW BEST:: SOT -1966657834 SOS 1244228101 HAS SOPS 1244228101 HAS SOUS 485902848 HAS SOUPS 485902848 WITH SCORE 4.87147076101E8
AT ITER 1531 NEW BEST:: SOT -1966679342 SOS 1244185084 HAS SOPS 1244185084 HAS SOUS 485902847 HAS SOUPS 485902847 WITH SCORE 4.87147032084E8
AT ITER 1534 NEW BEST:: SOT -1966738554 SOS 1244092082 HAS SOPS 1244092082 HAS SOUS 485900878 HAS SOUPS 485900878 WITH SCORE 4.87144970082E8
AT ITER 1537 NEW BEST:: SOT -1966780982 SOS 1244007226 HAS SOPS 1244007226 HAS SOUS 485900878 HAS SOUPS 485900878 WITH SCORE 4.87144885226E8
AT ITER 1541 NEW BEST:: SOT -1966844581 SOS 1243905513 HAS SOPS 1243905513 HAS SOUS 485896022 HAS SOUPS 485896022 WITH SCORE 4.87139927513E8
AT ITER 1561 NEW BEST:: SOT -1966872559 SOS 1243849556 HAS SOPS 1243849556 HAS SOUS 485896021 HAS SOUPS 485896021 WITH SCORE 4.87139870556E8
AT ITER 1567 NEW BEST:: SOT -1966907319 SOS 1243780034 HAS SOPS 1243780034 HAS SOUS 485896017 HAS SOUPS 485896017 WITH SCORE 4.87139797034E8
AT ITER 1568 NEW BEST:: SOT -1966948943 SOS 1243696784 HAS SOPS 1243696784 HAS SOUS 485896013 HAS SOUPS 485896013 WITH SCORE 4.87139709784E8
AT ITER 1590 NEW BEST:: SOT -1966981539 SOS 1243631590 HAS SOPS 1243631590 HAS SOUS 485896009 HAS SOUPS 485896009 WITH SCORE 4.8713964059E8
AT ITER 1592 NEW BEST:: SOT -1966986181 SOS 1243622305 HAS SOPS 1243622305 HAS SOUS 485896008 HAS SOUPS 485896008 WITH SCORE 4.87139630305E8
AT ITER 1617 NEW BEST:: SOT -1967016651 SOS 1243561365 HAS SOPS 1243561365 HAS SOUS 485896008 HAS SOUPS 485896008 WITH SCORE 4.87139569365E8
AT ITER 1621 NEW BEST:: SOT -1967025199 SOS 1243544267 HAS SOPS 1243544267 HAS SOUS 485896004 HAS SOUPS 485896004 WITH SCORE 4.87139548267E8
AT ITER 1636 NEW BEST:: SOT -1967041537 SOS 1243511590 HAS SOPS 1243511590 HAS SOUS 485896003 HAS SOUPS 485896003 WITH SCORE 4.8713951459E8
AT ITER 1645 NEW BEST:: SOT -1967065217 SOS 1243464230 HAS SOPS 1243464230 HAS SOUS 485896003 HAS SOUPS 485896003 WITH SCORE 4.8713946723E8
AT ITER 1658 NEW BEST:: SOT -1967104543 SOS 1243385577 HAS SOPS 1243385577 HAS SOUS 485896002 HAS SOUPS 485896002 WITH SCORE 4.87139387577E8
AT ITER 1661 NEW BEST:: SOT -1967131369 SOS 1243331925 HAS SOPS 1243331925 HAS SOUS 485896002 HAS SOUPS 485896002 WITH SCORE 4.87139333925E8
AT ITER 1672 NEW BEST:: SOT -1967137735 SOS 1243319192 HAS SOPS 1243319192 HAS SOUS 485896001 HAS SOUPS 485896001 WITH SCORE 4.87139320192E8
AT ITER 1685 NEW BEST:: SOT -1967181185 SOS 1243232291 HAS SOPS 1243232291 HAS SOUS 485896000 HAS SOUPS 485896000 WITH SCORE 4.87139232291E8
AT ITER 1686 NEW BEST:: SOT -1967184393 SOS 1243227030 HAS SOPS 1243227030 HAS SOUS 485895180 HAS SOUPS 485895180 WITH SCORE 4.8713840703E8
AT ITER 1689 NEW BEST:: SOT -1967246245 SOS 1243129276 HAS SOPS 1243129276 HAS SOUS 485894531 HAS SOUPS 485894531 WITH SCORE 4.87137660276E8
AT ITER 1690 NEW BEST:: SOT -1967265911 SOS 1243089944 HAS SOPS 1243089944 HAS SOUS 485894531 HAS SOUPS 485894531 WITH SCORE 4.87137620944E8
AT ITER 1711 NEW BEST:: SOT -1967329830 SOS 1242987772 HAS SOPS 1242987772 HAS SOUS 485890739 HAS SOUPS 485890739 WITH SCORE 4.87133726772E8
AT ITER 1724 NEW BEST:: SOT -1967359302 SOS 1242928828 HAS SOPS 1242928828 HAS SOUS 485890739 HAS SOUPS 485890739 WITH SCORE 4.87133667828E8
AT ITER 1733 NEW BEST:: SOT -1967384634 SOS 1242878162 HAS SOPS 1242878162 HAS SOUS 485890735 HAS SOUPS 485890735 WITH SCORE 4.87133613162E8
AT ITER 1745 NEW BEST:: SOT -1967390934 SOS 1242865562 HAS SOPS 1242865562 HAS SOUS 485890735 HAS SOUPS 485890735 WITH SCORE 4.87133600562E8
AT ITER 1750 NEW BEST:: SOT -1967427456 SOS 1242792517 HAS SOPS 1242792517 HAS SOUS 485890734 HAS SOUPS 485890734 WITH SCORE 4.87133526517E8
AT ITER 1753 NEW BEST:: SOT -1967490736 SOS 1242688440 HAS SOPS 1242688440 HAS SOUS 485876127 HAS SOUPS 485876127 WITH SCORE 4.8711881544E8
AT ITER 1754 NEW BEST:: SOT -1967516192 SOS 1242637526 HAS SOPS 1242637526 HAS SOUS 485876123 HAS SOUPS 485876123 WITH SCORE 4.87118760526E8
AT ITER 1758 NEW BEST:: SOT -1967536434 SOS 1242597042 HAS SOPS 1242597042 HAS SOUS 485876123 HAS SOUPS 485876123 WITH SCORE 4.87118720042E8
AT ITER 1761 NEW BEST:: SOT -1967598583 SOS 1242497237 HAS SOPS 1242497237 HAS SOUS 485866145 HAS SOUPS 485866145 WITH SCORE 4.87108642237E8
AT ITER 1791 NEW BEST:: SOT -1967608221 SOS 1242477960 HAS SOPS 1242477960 HAS SOUS 485866144 HAS SOUPS 485866144 WITH SCORE 4.8710862196E8
AT ITER 1799 NEW BEST:: SOT -1967637493 SOS 1242419414 HAS SOPS 1242419414 HAS SOUS 485866140 HAS SOUPS 485866140 WITH SCORE 4.87108559414E8
AT ITER 1805 NEW BEST:: SOT -1967656571 SOS 1242381257 HAS SOPS 1242381257 HAS SOUS 485866139 HAS SOUPS 485866139 WITH SCORE 4.87108520257E8
AT ITER 1813 NEW BEST:: SOT -1967675969 SOS 1242342459 HAS SOPS 1242342459 HAS SOUS 485866135 HAS SOUPS 485866135 WITH SCORE 4.87108477459E8
AT ITER 1818 NEW BEST:: SOT -1967738524 SOS 1242243398 HAS SOPS 1242243398 HAS SOUS 485865587 HAS SOUPS 485865587 WITH SCORE 4.87107830398E8
AT ITER 1822 NEW BEST:: SOT -1967767345 SOS 1242195363 HAS SOPS 1242195363 HAS SOUS 485855980 HAS SOUPS 485855980 WITH SCORE 4.87098175363E8
AT ITER 1829 NEW BEST:: SOT -1967788903 SOS 1242152247 HAS SOPS 1242152247 HAS SOUS 485855980 HAS SOUPS 485855980 WITH SCORE 4.87098132247E8
AT ITER 1831 NEW BEST:: SOT -1967795601 SOS 1242138850 HAS SOPS 1242138850 HAS SOUS 485855979 HAS SOUPS 485855979 WITH SCORE 4.8709811785E8
AT ITER 1835 NEW BEST:: SOT -1967838765 SOS 1242033584 HAS SOPS 1242033584 HAS SOUS 485837041 HAS SOUPS 485837041 WITH SCORE 4.87079074584E8
AT ITER 1836 NEW BEST:: SOT -1967900570 SOS 1241910961 HAS SOPS 1241910961 HAS SOUS 485805369 HAS SOUPS 485805369 WITH SCORE 4.87047279961E8
AT ITER 1840 NEW BEST:: SOT -1967908992 SOS 1241894115 HAS SOPS 1241894115 HAS SOUS 485805365 HAS SOUPS 485805365 WITH SCORE 4.87047259115E8
AT ITER 1849 NEW BEST:: SOT -1967932946 SOS 1241846206 HAS SOPS 1241846206 HAS SOUS 485805364 HAS SOUPS 485805364 WITH SCORE 4.87047210206E8
AT ITER 1851 NEW BEST:: SOT -1967964488 SOS 1241783121 HAS SOPS 1241783121 HAS SOUS 485805363 HAS SOUPS 485805363 WITH SCORE 4.87047146121E8
AT ITER 1852 NEW BEST:: SOT -1968001606 SOS 1241708885 HAS SOPS 1241708885 HAS SOUS 485805363 HAS SOUPS 485805363 WITH SCORE 4.87047071885E8
AT ITER 1854 NEW BEST:: SOT -1968060965 SOS 1241610136 HAS SOPS 1241610136 HAS SOUS 485786502 HAS SOUPS 485786502 WITH SCORE 4.87028112136E8
AT ITER 1856 NEW BEST:: SOT -1968067437 SOS 1241597192 HAS SOPS 1241597192 HAS SOUS 485786502 HAS SOUPS 485786502 WITH SCORE 4.87028099192E8
AT ITER 1865 NEW BEST:: SOT -1968104935 SOS 1241522194 HAS SOPS 1241522194 HAS SOUS 485786498 HAS SOUPS 485786498 WITH SCORE 4.87028020194E8
AT ITER 1885 NEW BEST:: SOT -1968120019 SOS 1241492025 HAS SOPS 1241492025 HAS SOUS 485786497 HAS SOUPS 485786497 WITH SCORE 4.87027989025E8
AT ITER 1891 NEW BEST:: SOT -1968136197 SOS 1241459669 HAS SOPS 1241459669 HAS SOUS 485786497 HAS SOUPS 485786497 WITH SCORE 4.87027956669E8
AT ITER 1893 NEW BEST:: SOT -1968169085 SOS 1241393893 HAS SOPS 1241393893 HAS SOUS 485786497 HAS SOUPS 485786497 WITH SCORE 4.87027890893E8
AT ITER 1899 NEW BEST:: SOT -1968179353 SOS 1241373357 HAS SOPS 1241373357 HAS SOUS 485786497 HAS SOUPS 485786497 WITH SCORE 4.87027870357E8
AT ITER 1909 NEW BEST:: SOT -1968196627 SOS 1241338807 HAS SOPS 1241338807 HAS SOUS 485786493 HAS SOUPS 485786493 WITH SCORE 4.87027831807E8
AT ITER 1921 NEW BEST:: SOT -1968227363 SOS 1241265906 HAS SOPS 1241265906 HAS SOUS 485775064 HAS SOUPS 485775064 WITH SCORE 4.87016329906E8
AT ITER 1926 NEW BEST:: SOT -1968249365 SOS 1241221900 HAS SOPS 1241221900 HAS SOUS 485775060 HAS SOUPS 485775060 WITH SCORE 4.870162819E8
AT ITER 1927 NEW BEST:: SOT -1968255327 SOS 1241209976 HAS SOPS 1241209976 HAS SOUS 485775060 HAS SOUPS 485775060 WITH SCORE 4.87016269976E8
AT ITER 1929 NEW BEST:: SOT -1968275241 SOS 1241170148 HAS SOPS 1241170148 HAS SOUS 485775060 HAS SOUPS 485775060 WITH SCORE 4.87016230148E8
AT ITER 1935 NEW BEST:: SOT -1968288269 SOS 1241144090 HAS SOPS 1241144090 HAS SOUS 485775056 HAS SOUPS 485775056 WITH SCORE 4.8701620009E8
AT ITER 1951 NEW BEST:: SOT -1968309853 SOS 1241100922 HAS SOPS 1241100922 HAS SOUS 485775056 HAS SOUPS 485775056 WITH SCORE 4.87016156922E8
AT ITER 1957 NEW BEST:: SOT -1968342324 SOS 1241021917 HAS SOPS 1241021917 HAS SOUS 485770170 HAS SOUPS 485770170 WITH SCORE 4.87011191917E8
AT ITER 1958 NEW BEST:: SOT -1968380244 SOS 1240946076 HAS SOPS 1240946076 HAS SOUS 485770169 HAS SOUPS 485770169 WITH SCORE 4.87011115076E8
AT ITER 1959 NEW BEST:: SOT -1968385274 SOS 1240936014 HAS SOPS 1240936014 HAS SOUS 485770165 HAS SOUPS 485770165 WITH SCORE 4.87011101014E8
AT ITER 1970 NEW BEST:: SOT -1968422420 SOS 1240861722 HAS SOPS 1240861722 HAS SOUS 485770165 HAS SOUPS 485770165 WITH SCORE 4.87011026722E8
AT ITER 1983 NEW BEST:: SOT -1968439264 SOS 1240828032 HAS SOPS 1240828032 HAS SOUS 485770161 HAS SOUPS 485770161 WITH SCORE 4.87010989032E8
AT ITER 1986 NEW BEST:: SOT -1968455556 SOS 1240795446 HAS SOPS 1240795446 HAS SOUS 485770157 HAS SOUPS 485770157 WITH SCORE 4.87010952446E8
AT ITER 1988 NEW BEST:: SOT -1968499648 SOS 1240707260 HAS SOPS 1240707260 HAS SOUS 485770153 HAS SOUPS 485770153 WITH SCORE 4.8701086026E8
AT ITER 1996 NEW BEST:: SOT -1968513822 SOS 1240678910 HAS SOPS 1240678910 HAS SOUS 485770149 HAS SOUPS 485770149 WITH SCORE 4.8701082791E8
AT ITER 1998 NEW BEST:: SOT -1968529772 SOS 1240647010 HAS SOPS 1240647010 HAS SOUS 485770149 HAS SOUPS 485770149 WITH SCORE 4.8701079601E8
AT ITER 2024 NEW BEST:: SOT -1968538716 SOS 1240628573 HAS SOPS 1240628573 HAS SOUS 485769600 HAS SOUPS 485769600 WITH SCORE 4.87010228573E8
AT ITER 2028 NEW BEST:: SOT -1968577752 SOS 1240550500 HAS SOPS 1240550500 HAS SOUS 485769599 HAS SOUPS 485769599 WITH SCORE 4.870101495E8
AT ITER 2038 NEW BEST:: SOT -1968583720 SOS 1240538564 HAS SOPS 1240538564 HAS SOUS 485769599 HAS SOUPS 485769599 WITH SCORE 4.87010137564E8
AT ITER 2042 NEW BEST:: SOT -1968613426 SOS 1240479151 HAS SOPS 1240479151 HAS SOUS 485769598 HAS SOUPS 485769598 WITH SCORE 4.87010077151E8
AT ITER 2048 NEW BEST:: SOT -1968653400 SOS 1240399202 HAS SOPS 1240399202 HAS SOUS 485769597 HAS SOUPS 485769597 WITH SCORE 4.87009996202E8
AT ITER 2052 NEW BEST:: SOT -1968713955 SOS 1240303320 HAS SOPS 1240303320 HAS SOUS 485765414 HAS SOUPS 485765414 WITH SCORE 4.8700571732E8
AT ITER 2057 NEW BEST:: SOT -1968739897 SOS 1240251436 HAS SOPS 1240251436 HAS SOUS 485765414 HAS SOUPS 485765414 WITH SCORE 4.87005665436E8
AT ITER 2062 NEW BEST:: SOT -1968745805 SOS 1240239620 HAS SOPS 1240239620 HAS SOUS 485765414 HAS SOUPS 485765414 WITH SCORE 4.8700565362E8
AT ITER 2064 NEW BEST:: SOT -1968758771 SOS 1240213688 HAS SOPS 1240213688 HAS SOUS 485765414 HAS SOUPS 485765414 WITH SCORE 4.87005627688E8
AT ITER 2108 NEW BEST:: SOT -1968787897 SOS 1240155436 HAS SOPS 1240155436 HAS SOUS 485765414 HAS SOUPS 485765414 WITH SCORE 4.87005569436E8
AT ITER 2111 NEW BEST:: SOT -1968819216 SOS 1240075287 HAS SOPS 1240075287 HAS SOUS 485755936 HAS SOUPS 485755936 WITH SCORE 4.86996011287E8
AT ITER 2112 NEW BEST:: SOT -1968821262 SOS 1240071193 HAS SOPS 1240071193 HAS SOUS 485755932 HAS SOUPS 485755932 WITH SCORE 4.86996003193E8
AT ITER 2126 NEW BEST:: SOT -1968849704 SOS 1240014309 HAS SOPS 1240014309 HAS SOUS 485755932 HAS SOUPS 485755932 WITH SCORE 4.86995946309E8
AT ITER 2135 NEW BEST:: SOT -1968869132 SOS 1239975452 HAS SOPS 1239975452 HAS SOUS 485755931 HAS SOUPS 485755931 WITH SCORE 4.86995906452E8
AT ITER 2137 NEW BEST:: SOT -1968906406 SOS 1239900903 HAS SOPS 1239900903 HAS SOUS 485755930 HAS SOUPS 485755930 WITH SCORE 4.86995830903E8
AT ITER 2140 NEW BEST:: SOT -1968925896 SOS 1239861923 HAS SOPS 1239861923 HAS SOUS 485755930 HAS SOUPS 485755930 WITH SCORE 4.86995791923E8
AT ITER 2142 NEW BEST:: SOT -1968931002 SOS 1239853532 HAS SOPS 1239853532 HAS SOUS 485754574 HAS SOUPS 485754574 WITH SCORE 4.86994427532E8
AT ITER 2144 NEW BEST:: SOT -1968942618 SOS 1239830298 HAS SOPS 1239830298 HAS SOUS 485754570 HAS SOUPS 485754570 WITH SCORE 4.86994400298E8
AT ITER 2153 NEW BEST:: SOT -1968965766 SOS 1239784002 HAS SOPS 1239784002 HAS SOUS 485754570 HAS SOUPS 485754570 WITH SCORE 4.86994354002E8
AT ITER 2156 NEW BEST:: SOT -1969007342 SOS 1239700848 HAS SOPS 1239700848 HAS SOUS 485754566 HAS SOUPS 485754566 WITH SCORE 4.86994266848E8
AT ITER 2169 NEW BEST:: SOT -1969011262 SOS 1239693007 HAS SOPS 1239693007 HAS SOUS 485754565 HAS SOUPS 485754565 WITH SCORE 4.86994258007E8
AT ITER 2174 NEW BEST:: SOT -1969019700 SOS 1239676131 HAS SOPS 1239676131 HAS SOUS 485754565 HAS SOUPS 485754565 WITH SCORE 4.86994241131E8
AT ITER 2177 NEW BEST:: SOT -1969050834 SOS 1239613861 HAS SOPS 1239613861 HAS SOUS 485754561 HAS SOUPS 485754561 WITH SCORE 4.86994174861E8
AT ITER 2186 NEW BEST:: SOT -1969085360 SOS 1239544808 HAS SOPS 1239544808 HAS SOUS 485754560 HAS SOUPS 485754560 WITH SCORE 4.86994104808E8
AT ITER 2189 NEW BEST:: SOT -1969112214 SOS 1239491098 HAS SOPS 1239491098 HAS SOUS 485754556 HAS SOUPS 485754556 WITH SCORE 4.86994047098E8
AT ITER 2198 NEW BEST:: SOT -1969156190 SOS 1239403145 HAS SOPS 1239403145 HAS SOUS 485754555 HAS SOUPS 485754555 WITH SCORE 4.86993958145E8
AT ITER 2202 NEW BEST:: SOT -1969192080 SOS 1239331364 HAS SOPS 1239331364 HAS SOUS 485754554 HAS SOUPS 485754554 WITH SCORE 4.86993885364E8
AT ITER 2203 NEW BEST:: SOT -1969221076 SOS 1239273370 HAS SOPS 1239273370 HAS SOUS 485754550 HAS SOUPS 485754550 WITH SCORE 4.8699382337E8
AT ITER 2204 NEW BEST:: SOT -1969231460 SOS 1239252600 HAS SOPS 1239252600 HAS SOUS 485754546 HAS SOUPS 485754546 WITH SCORE 4.869937986E8
AT ITER 2205 NEW BEST:: SOT -1969244944 SOS 1239225632 HAS SOPS 1239225632 HAS SOUS 485754546 HAS SOUPS 485754546 WITH SCORE 4.86993771632E8
AT ITER 2237 NEW BEST:: SOT -1969308512 SOS 1239124119 HAS SOPS 1239124119 HAS SOUS 485751637 HAS SOUPS 485751637 WITH SCORE 4.86990761119E8
AT ITER 2241 NEW BEST:: SOT -1969324932 SOS 1239091278 HAS SOPS 1239091278 HAS SOUS 485751636 HAS SOUPS 485751636 WITH SCORE 4.86990727278E8
AT ITER 2244 NEW BEST:: SOT -1969335494 SOS 1239070154 HAS SOPS 1239070154 HAS SOUS 485751636 HAS SOUPS 485751636 WITH SCORE 4.86990706154E8
AT ITER 2247 NEW BEST:: SOT -1969363166 SOS 1239014808 HAS SOPS 1239014808 HAS SOUS 485751632 HAS SOUPS 485751632 WITH SCORE 4.86990646808E8
AT ITER 2248 NEW BEST:: SOT -1969400550 SOS 1238940039 HAS SOPS 1238940039 HAS SOUS 485751631 HAS SOUPS 485751631 WITH SCORE 4.86990571039E8
AT ITER 2251 NEW BEST:: SOT -1969417796 SOS 1238905545 HAS SOPS 1238905545 HAS SOUS 485751627 HAS SOUPS 485751627 WITH SCORE 4.86990532545E8
AT ITER 2253 NEW BEST:: SOT -1969433684 SOS 1238873767 HAS SOPS 1238873767 HAS SOUS 485751623 HAS SOUPS 485751623 WITH SCORE 4.86990496767E8
AT ITER 2268 NEW BEST:: SOT -1969448626 SOS 1238843883 HAS SOPS 1238843883 HAS SOUS 485751623 HAS SOUPS 485751623 WITH SCORE 4.86990466883E8
AT ITER 2280 NEW BEST:: SOT -1969475058 SOS 1238791019 HAS SOPS 1238791019 HAS SOUS 485751623 HAS SOUPS 485751623 WITH SCORE 4.86990414019E8
AT ITER 2289 NEW BEST:: SOT -1969489750 SOS 1238761633 HAS SOPS 1238761633 HAS SOUS 485751619 HAS SOUPS 485751619 WITH SCORE 4.86990380633E8
AT ITER 2290 NEW BEST:: SOT -1969524946 SOS 1238691240 HAS SOPS 1238691240 HAS SOUS 485751618 HAS SOUPS 485751618 WITH SCORE 4.8699030924E8
AT ITER 2300 NEW BEST:: SOT -1969558684 SOS 1238623763 HAS SOPS 1238623763 HAS SOUS 485751617 HAS SOUPS 485751617 WITH SCORE 4.86990240763E8
AT ITER 2304 NEW BEST:: SOT -1969579870 SOS 1238581389 HAS SOPS 1238581389 HAS SOUS 485751613 HAS SOUPS 485751613 WITH SCORE 4.86990194389E8
AT ITER 2313 NEW BEST:: SOT -1969604594 SOS 1238531940 HAS SOPS 1238531940 HAS SOUS 485751612 HAS SOUPS 485751612 WITH SCORE 4.8699014394E8
AT ITER 2334 NEW BEST:: SOT -1969629850 SOS 1238481428 HAS SOPS 1238481428 HAS SOUS 485751612 HAS SOUPS 485751612 WITH SCORE 4.86990093428E8
AT ITER 2387 NEW BEST:: SOT -1969654444 SOS 1238425279 HAS SOPS 1238425279 HAS SOUS 485747121 HAS SOUPS 485747121 WITH SCORE 4.86985546279E8
AT ITER 2393 NEW BEST:: SOT -1969693254 SOS 1238347659 HAS SOPS 1238347659 HAS SOUS 485747121 HAS SOUPS 485747121 WITH SCORE 4.86985468659E8
AT ITER 2399 NEW BEST:: SOT -1969751808 SOS 1238254244 HAS SOPS 1238254244 HAS SOUS 485745007 HAS SOUPS 485745007 WITH SCORE 4.86983261244E8
AT ITER 2410 NEW BEST:: SOT -1969786821 SOS 1238171846 HAS SOPS 1238171846 HAS SOUS 485733657 HAS SOUPS 485733657 WITH SCORE 4.86971828846E8
AT ITER 2440 NEW BEST:: SOT -1969797881 SOS 1238149726 HAS SOPS 1238149726 HAS SOUS 485733657 HAS SOUPS 485733657 WITH SCORE 4.86971806726E8
AT ITER 2450 NEW BEST:: SOT -1969810211 SOS 1238125064 HAS SOPS 1238125064 HAS SOUS 485733653 HAS SOUPS 485733653 WITH SCORE 4.86971778064E8
AT ITER 2462 NEW BEST:: SOT -1969848241 SOS 1238049003 HAS SOPS 1238049003 HAS SOUS 485733652 HAS SOUPS 485733652 WITH SCORE 4.86971701003E8
AT ITER 2469 NEW BEST:: SOT -1969862403 SOS 1238020677 HAS SOPS 1238020677 HAS SOUS 485733648 HAS SOUPS 485733648 WITH SCORE 4.86971668677E8
AT ITER 2483 NEW BEST:: SOT -1969895091 SOS 1237955300 HAS SOPS 1237955300 HAS SOUS 485733647 HAS SOUPS 485733647 WITH SCORE 4.869716023E8
AT ITER 2493 NEW BEST:: SOT -1969904395 SOS 1237936690 HAS SOPS 1237936690 HAS SOUS 485733643 HAS SOUPS 485733643 WITH SCORE 4.8697157969E8
AT ITER 2503 NEW BEST:: SOT -1969933895 SOS 1237877690 HAS SOPS 1237877690 HAS SOUS 485733643 HAS SOUPS 485733643 WITH SCORE 4.8697152069E8
AT ITER 2508 NEW BEST:: SOT -1969948839 SOS 1237847802 HAS SOPS 1237847802 HAS SOUS 485733643 HAS SOUPS 485733643 WITH SCORE 4.86971490802E8
AT ITER 2514 NEW BEST:: SOT -1969994119 SOS 1237757242 HAS SOPS 1237757242 HAS SOUS 485733643 HAS SOUPS 485733643 WITH SCORE 4.86971400242E8
AT ITER 2515 NEW BEST:: SOT -1970013537 SOS 1237718404 HAS SOPS 1237718404 HAS SOUS 485733639 HAS SOUPS 485733639 WITH SCORE 4.86971357404E8
AT ITER 2516 NEW BEST:: SOT -1970033335 SOS 1237678807 HAS SOPS 1237678807 HAS SOUS 485733638 HAS SOUPS 485733638 WITH SCORE 4.86971316807E8
AT ITER 2529 NEW BEST:: SOT -1970059473 SOS 1237626530 HAS SOPS 1237626530 HAS SOUS 485733637 HAS SOUPS 485733637 WITH SCORE 4.8697126353E8
AT ITER 2531 NEW BEST:: SOT -1970082117 SOS 1237581241 HAS SOPS 1237581241 HAS SOUS 485733636 HAS SOUPS 485733636 WITH SCORE 4.86971217241E8
AT ITER 2533 NEW BEST:: SOT -1970141799 SOS 1237486621 HAS SOPS 1237486621 HAS SOUS 485727077 HAS SOUPS 485727077 WITH SCORE 4.86964563621E8
AT ITER 2535 NEW BEST:: SOT -1970150281 SOS 1237465416 HAS SOPS 1237465416 HAS SOUS 485722834 HAS SOUPS 485722834 WITH SCORE 4.86960299416E8
AT ITER 2538 NEW BEST:: SOT -1970173931 SOS 1237418115 HAS SOPS 1237418115 HAS SOUS 485722833 HAS SOUPS 485722833 WITH SCORE 4.86960251115E8
AT ITER 2539 NEW BEST:: SOT -1970209245 SOS 1237347485 HAS SOPS 1237347485 HAS SOUS 485722829 HAS SOUPS 485722829 WITH SCORE 4.86960176485E8
AT ITER 2551 NEW BEST:: SOT -1970248955 SOS 1237268064 HAS SOPS 1237268064 HAS SOUS 485722828 HAS SOUPS 485722828 WITH SCORE 4.86960096064E8
AT ITER 2554 NEW BEST:: SOT -1970282973 SOS 1237200027 HAS SOPS 1237200027 HAS SOUS 485722827 HAS SOUPS 485722827 WITH SCORE 4.86960027027E8
AT ITER 2565 NEW BEST:: SOT -1970322629 SOS 1237120714 HAS SOPS 1237120714 HAS SOUS 485722826 HAS SOUPS 485722826 WITH SCORE 4.86959946714E8
AT ITER 2567 NEW BEST:: SOT -1970363365 SOS 1237039241 HAS SOPS 1237039241 HAS SOUS 485722825 HAS SOUPS 485722825 WITH SCORE 4.86959864241E8
AT ITER 2574 NEW BEST:: SOT -1970427437 SOS 1236935652 HAS SOPS 1236935652 HAS SOUS 485714130 HAS SOUPS 485714130 WITH SCORE 4.86951065652E8
AT ITER 2575 NEW BEST:: SOT -1970445049 SOS 1236900427 HAS SOPS 1236900427 HAS SOUS 485714129 HAS SOUPS 485714129 WITH SCORE 4.86951029427E8
AT ITER 2597 NEW BEST:: SOT -1970508657 SOS 1236797842 HAS SOPS 1236797842 HAS SOUS 485707132 HAS SOUPS 485707132 WITH SCORE 4.86943929842E8
AT ITER 2608 NEW BEST:: SOT -1970526121 SOS 1236762912 HAS SOPS 1236762912 HAS SOUS 485707128 HAS SOUPS 485707128 WITH SCORE 4.86943890912E8
AT ITER 2616 NEW BEST:: SOT -1970569157 SOS 1236676838 HAS SOPS 1236676838 HAS SOUS 485707124 HAS SOUPS 485707124 WITH SCORE 4.86943800838E8
AT ITER 2631 NEW BEST:: SOT -1970570137 SOS 1236674388 HAS SOPS 1236674388 HAS SOUS 485706634 HAS SOUPS 485706634 WITH SCORE 4.86943308388E8
AT ITER 2638 NEW BEST:: SOT -1970609123 SOS 1236596416 HAS SOPS 1236596416 HAS SOUS 485706634 HAS SOUPS 485706634 WITH SCORE 4.86943230416E8
AT ITER 2644 NEW BEST:: SOT -1970650513 SOS 1236513635 HAS SOPS 1236513635 HAS SOUS 485706633 HAS SOUPS 485706633 WITH SCORE 4.86943146635E8
AT ITER 2653 NEW BEST:: SOT -1970659787 SOS 1236495086 HAS SOPS 1236495086 HAS SOUS 485706632 HAS SOUPS 485706632 WITH SCORE 4.86943127086E8
AT ITER 2660 NEW BEST:: SOT -1970693389 SOS 1236427880 HAS SOPS 1236427880 HAS SOUS 485706628 HAS SOUPS 485706628 WITH SCORE 4.8694305588E8
AT ITER 2667 NEW BEST:: SOT -1970724017 SOS 1236366622 HAS SOPS 1236366622 HAS SOUS 485706624 HAS SOUPS 485706624 WITH SCORE 4.86942990622E8
AT ITER 2689 NEW BEST:: SOT -1970730263 SOS 1236356542 HAS SOPS 1236356542 HAS SOUS 485705250 HAS SOUPS 485705250 WITH SCORE 4.86941606542E8
AT ITER 2702 NEW BEST:: SOT -1970771567 SOS 1236273933 HAS SOPS 1236273933 HAS SOUS 485705249 HAS SOUPS 485705249 WITH SCORE 4.86941522933E8
AT ITER 2710 NEW BEST:: SOT -1970815811 SOS 1236185445 HAS SOPS 1236185445 HAS SOUS 485705249 HAS SOUPS 485705249 WITH SCORE 4.86941434445E8
AT ITER 2713 NEW BEST:: SOT -1970843279 SOS 1236130507 HAS SOPS 1236130507 HAS SOUS 485705245 HAS SOUPS 485705245 WITH SCORE 4.86941375507E8
AT ITER 2721 NEW BEST:: SOT -1970883415 SOS 1236050234 HAS SOPS 1236050234 HAS SOUS 485705244 HAS SOUPS 485705244 WITH SCORE 4.86941294234E8
AT ITER 2739 NEW BEST:: SOT -1970928625 SOS 1235959812 HAS SOPS 1235959812 HAS SOUS 485705240 HAS SOUPS 485705240 WITH SCORE 4.86941199812E8
AT ITER 2741 NEW BEST:: SOT -1970932451 SOS 1235952158 HAS SOPS 1235952158 HAS SOUS 485705236 HAS SOUPS 485705236 WITH SCORE 4.86941188158E8
AT ITER 2742 NEW BEST:: SOT -1970975439 SOS 1235847985 HAS SOPS 1235847985 HAS SOUS 485691941 HAS SOUPS 485691941 WITH SCORE 4.86927788985E8
AT ITER 2743 NEW BEST:: SOT -1971003239 SOS 1235792385 HAS SOPS 1235792385 HAS SOUS 485691941 HAS SOUPS 485691941 WITH SCORE 4.86927733385E8
AT ITER 2763 NEW BEST:: SOT -1971020099 SOS 1235758665 HAS SOPS 1235758665 HAS SOUS 485691941 HAS SOUPS 485691941 WITH SCORE 4.86927699665E8
AT ITER 2766 NEW BEST:: SOT -1971053875 SOS 1235691113 HAS SOPS 1235691113 HAS SOUS 485691941 HAS SOUPS 485691941 WITH SCORE 4.86927632113E8
AT ITER 2770 NEW BEST:: SOT -1971086613 SOS 1235625636 HAS SOPS 1235625636 HAS SOUS 485691940 HAS SOUPS 485691940 WITH SCORE 4.86927565636E8
AT ITER 2782 NEW BEST:: SOT -1971112391 SOS 1235574079 HAS SOPS 1235574079 HAS SOUS 485691939 HAS SOUPS 485691939 WITH SCORE 4.86927513079E8
AT ITER 2812 NEW BEST:: SOT -1971145707 SOS 1235507445 HAS SOPS 1235507445 HAS SOUS 485691935 HAS SOUPS 485691935 WITH SCORE 4.86927442445E8
AT ITER 2818 NEW BEST:: SOT -1971174233 SOS 1235450393 HAS SOPS 1235450393 HAS SOUS 485691935 HAS SOUPS 485691935 WITH SCORE 4.86927385393E8
AT ITER 2832 NEW BEST:: SOT -1971187177 SOS 1235424504 HAS SOPS 1235424504 HAS SOUS 485691934 HAS SOUPS 485691934 WITH SCORE 4.86927358504E8
AT ITER 2842 NEW BEST:: SOT -1971216093 SOS 1235366671 HAS SOPS 1235366671 HAS SOUS 485691933 HAS SOUPS 485691933 WITH SCORE 4.86927299671E8
AT ITER 2849 NEW BEST:: SOT -1971243299 SOS 1235312257 HAS SOPS 1235312257 HAS SOUS 485691929 HAS SOUPS 485691929 WITH SCORE 4.86927241257E8
AT ITER 2853 NEW BEST:: SOT -1971277659 SOS 1235243536 HAS SOPS 1235243536 HAS SOUS 485691928 HAS SOUPS 485691928 WITH SCORE 4.86927171536E8
AT ITER 2865 NEW BEST:: SOT -1971300221 SOS 1235198410 HAS SOPS 1235198410 HAS SOUS 485691924 HAS SOUPS 485691924 WITH SCORE 4.8692712241E8
AT ITER 2892 NEW BEST:: SOT -1971329033 SOS 1235140786 HAS SOPS 1235140786 HAS SOUS 485691924 HAS SOUPS 485691924 WITH SCORE 4.86927064786E8
AT ITER 2894 NEW BEST:: SOT -1971329071 SOS 1235140708 HAS SOPS 1235140708 HAS SOUS 485691920 HAS SOUPS 485691920 WITH SCORE 4.86927060708E8
AT ITER 2917 NEW BEST:: SOT -1971363997 SOS 1235070856 HAS SOPS 1235070856 HAS SOUS 485691920 HAS SOUPS 485691920 WITH SCORE 4.86926990856E8
AT ITER 2922 NEW BEST:: SOT -1971386081 SOS 1235026687 HAS SOPS 1235026687 HAS SOUS 485691919 HAS SOUPS 485691919 WITH SCORE 4.86926945687E8
AT ITER 2932 NEW BEST:: SOT -1971448114 SOS 1234925613 HAS SOPS 1234925613 HAS SOUS 485682825 HAS SOUPS 485682825 WITH SCORE 4.86917750613E8
AT ITER 2933 NEW BEST:: SOT -1971473788 SOS 1234874263 HAS SOPS 1234874263 HAS SOUS 485682821 HAS SOUPS 485682821 WITH SCORE 4.86917695263E8
AT ITER 2959 NEW BEST:: SOT -1971477398 SOS 1234867042 HAS SOPS 1234867042 HAS SOUS 485682820 HAS SOUPS 485682820 WITH SCORE 4.86917687042E8
AT ITER 2963 NEW BEST:: SOT -1971496336 SOS 1234829166 HAS SOPS 1234829166 HAS SOUS 485682820 HAS SOUPS 485682820 WITH SCORE 4.86917649166E8
AT ITER 2968 NEW BEST:: SOT -1971533934 SOS 1234753969 HAS SOPS 1234753969 HAS SOUS 485682819 HAS SOUPS 485682819 WITH SCORE 4.86917572969E8
AT ITER 2970 NEW BEST:: SOT -1971542162 SOS 1234737513 HAS SOPS 1234737513 HAS SOUS 485682819 HAS SOUPS 485682819 WITH SCORE 4.86917556513E8
AT ITER 2974 NEW BEST:: SOT -1971565599 SOS 1234684825 HAS SOPS 1234684825 HAS SOUS 485677666 HAS SOUPS 485677666 WITH SCORE 4.86912350825E8
AT ITER 2993 NEW BEST:: SOT -1971588123 SOS 1234639775 HAS SOPS 1234639775 HAS SOUS 485677662 HAS SOUPS 485677662 WITH SCORE 4.86912301775E8
AT ITER 3004 NEW BEST:: SOT -1971599779 SOS 1234616461 HAS SOPS 1234616461 HAS SOUS 485677658 HAS SOUPS 485677658 WITH SCORE 4.86912274461E8
AT ITER 3010 NEW BEST:: SOT -1971599779 SOS 1234602627 HAS SOPS 1234602627 HAS SOUS 485663824 HAS SOUPS 485663824 WITH SCORE 4.86898426627E8
AT ITER 3013 NEW BEST:: SOT -1971627049 SOS 1234548085 HAS SOPS 1234548085 HAS SOUS 485663820 HAS SOUPS 485663820 WITH SCORE 4.86898368085E8
AT ITER 3020 NEW BEST:: SOT -1971647857 SOS 1234506467 HAS SOPS 1234506467 HAS SOUS 485663816 HAS SOUPS 485663816 WITH SCORE 4.86898322467E8
AT ITER 3021 NEW BEST:: SOT -1971686717 SOS 1234428745 HAS SOPS 1234428745 HAS SOUS 485663812 HAS SOUPS 485663812 WITH SCORE 4.86898240745E8
AT ITER 3022 NEW BEST:: SOT -1971716947 SOS 1234368283 HAS SOPS 1234368283 HAS SOUS 485663808 HAS SOUPS 485663808 WITH SCORE 4.86898176283E8
AT ITER 3034 NEW BEST:: SOT -1971748961 SOS 1234304253 HAS SOPS 1234304253 HAS SOUS 485663804 HAS SOUPS 485663804 WITH SCORE 4.86898108253E8
AT ITER 3036 NEW BEST:: SOT -1971779145 SOS 1234243884 HAS SOPS 1234243884 HAS SOUS 485663803 HAS SOUPS 485663803 WITH SCORE 4.86898046884E8
AT ITER 3040 NEW BEST:: SOT -1971821389 SOS 1234159395 HAS SOPS 1234159395 HAS SOUS 485663802 HAS SOUPS 485663802 WITH SCORE 4.86897961395E8
AT ITER 3051 NEW BEST:: SOT -1971851699 SOS 1234083620 HAS SOPS 1234083620 HAS SOUS 485648645 HAS SOUPS 485648645 WITH SCORE 4.8688272862E8
AT ITER 3057 NEW BEST:: SOT -1971885741 SOS 1234015536 HAS SOPS 1234015536 HAS SOUS 485648645 HAS SOUPS 485648645 WITH SCORE 4.86882660536E8
AT ITER 3068 NEW BEST:: SOT -1971923669 SOS 1233939678 HAS SOPS 1233939678 HAS SOUS 485648641 HAS SOUPS 485648641 WITH SCORE 4.86882580678E8
AT ITER 3076 NEW BEST:: SOT -1971935373 SOS 1233910418 HAS SOPS 1233910418 HAS SOUS 485642789 HAS SOUPS 485642789 WITH SCORE 4.86876699418E8
AT ITER 3080 NEW BEST:: SOT -1971961105 SOS 1233858953 HAS SOPS 1233858953 HAS SOUS 485642788 HAS SOUPS 485642788 WITH SCORE 4.86876646953E8
AT ITER 3081 NEW BEST:: SOT -1971981057 SOS 1233819049 HAS SOPS 1233819049 HAS SOUS 485642788 HAS SOUPS 485642788 WITH SCORE 4.86876607049E8
AT ITER 3083 NEW BEST:: SOT -1971983622 SOS 1233813919 HAS SOPS 1233813919 HAS SOUS 485642788 HAS SOUPS 485642788 WITH SCORE 4.86876601919E8
AT ITER 3086 NEW BEST:: SOT -1971993486 SOS 1233794191 HAS SOPS 1233794191 HAS SOUS 485642788 HAS SOUPS 485642788 WITH SCORE 4.86876582191E8
AT ITER 3094 NEW BEST:: SOT -1972030490 SOS 1233720182 HAS SOPS 1233720182 HAS SOUS 485642787 HAS SOUPS 485642787 WITH SCORE 4.86876507182E8
AT ITER 3103 NEW BEST:: SOT -1972032584 SOS 1233716692 HAS SOPS 1233716692 HAS SOUS 485642089 HAS SOUPS 485642089 WITH SCORE 4.86875805692E8
AT ITER 3130 NEW BEST:: SOT -1972053042 SOS 1233675776 HAS SOPS 1233675776 HAS SOUS 485642089 HAS SOUPS 485642089 WITH SCORE 4.86875764776E8
AT ITER 3144 NEW BEST:: SOT -1972077824 SOS 1233626211 HAS SOPS 1233626211 HAS SOUS 485642088 HAS SOUPS 485642088 WITH SCORE 4.86875714211E8
AT ITER 3156 NEW BEST:: SOT -1972110018 SOS 1233561823 HAS SOPS 1233561823 HAS SOUS 485642088 HAS SOUPS 485642088 WITH SCORE 4.86875649823E8
AT ITER 3160 NEW BEST:: SOT -1972135094 SOS 1233511671 HAS SOPS 1233511671 HAS SOUS 485642088 HAS SOUPS 485642088 WITH SCORE 4.86875599671E8
AT ITER 3165 NEW BEST:: SOT -1972158394 SOS 1233465069 HAS SOPS 1233465069 HAS SOUS 485642084 HAS SOUPS 485642084 WITH SCORE 4.86875549069E8
AT ITER 3171 NEW BEST:: SOT -1972181084 SOS 1233419689 HAS SOPS 1233419689 HAS SOUS 485642084 HAS SOUPS 485642084 WITH SCORE 4.86875503689E8
AT ITER 3172 NEW BEST:: SOT -1972244604 SOS 1233315488 HAS SOPS 1233315488 HAS SOUS 485628183 HAS SOUPS 485628183 WITH SCORE 4.86861498488E8
AT ITER 3175 NEW BEST:: SOT -1972269150 SOS 1233266395 HAS SOPS 1233266395 HAS SOUS 485628182 HAS SOUPS 485628182 WITH SCORE 4.86861448395E8
AT ITER 3176 NEW BEST:: SOT -1972298060 SOS 1233208573 HAS SOPS 1233208573 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861386573E8
AT ITER 3178 NEW BEST:: SOT -1972329180 SOS 1233146333 HAS SOPS 1233146333 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861324333E8
AT ITER 3180 NEW BEST:: SOT -1972337348 SOS 1233129997 HAS SOPS 1233129997 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861307997E8
AT ITER 3181 NEW BEST:: SOT -1972361736 SOS 1233081221 HAS SOPS 1233081221 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861259221E8
AT ITER 3192 NEW BEST:: SOT -1972394660 SOS 1233015373 HAS SOPS 1233015373 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861193373E8
AT ITER 3215 NEW BEST:: SOT -1972410914 SOS 1232982865 HAS SOPS 1232982865 HAS SOUS 485628178 HAS SOUPS 485628178 WITH SCORE 4.86861160865E8
AT ITER 3221 NEW BEST:: SOT -1972428546 SOS 1232947599 HAS SOPS 1232947599 HAS SOUS 485628174 HAS SOUPS 485628174 WITH SCORE 4.86861121599E8
AT ITER 3237 NEW BEST:: SOT -1972461468 SOS 1232881753 HAS SOPS 1232881753 HAS SOUS 485628170 HAS SOUPS 485628170 WITH SCORE 4.86861051753E8
AT ITER 3250 NEW BEST:: SOT -1972490342 SOS 1232824005 HAS SOPS 1232824005 HAS SOUS 485628170 HAS SOUPS 485628170 WITH SCORE 4.86860994005E8
AT ITER 3254 NEW BEST:: SOT -1972508254 SOS 1232788181 HAS SOPS 1232788181 HAS SOUS 485628170 HAS SOUPS 485628170 WITH SCORE 4.86860958181E8
AT ITER 3256 NEW BEST:: SOT -1972567409 SOS 1232691316 HAS SOPS 1232691316 HAS SOUS 485617093 HAS SOUPS 485617093 WITH SCORE 4.86849784316E8
AT ITER 3268 NEW BEST:: SOT -1972583243 SOS 1232659646 HAS SOPS 1232659646 HAS SOUS 485617089 HAS SOUPS 485617089 WITH SCORE 4.86849748646E8
AT ITER 3273 NEW BEST:: SOT -1972644180 SOS 1232561521 HAS SOPS 1232561521 HAS SOUS 485613972 HAS SOUPS 485613972 WITH SCORE 4.86846533521E8
AT ITER 3287 NEW BEST:: SOT -1972679362 SOS 1232491157 HAS SOPS 1232491157 HAS SOUS 485613972 HAS SOUPS 485613972 WITH SCORE 4.86846463157E8
AT ITER 3289 NEW BEST:: SOT -1972738636 SOS 1232389603 HAS SOPS 1232389603 HAS SOUS 485596972 HAS SOUPS 485596972 WITH SCORE 4.86829361603E8
AT ITER 3291 NEW BEST:: SOT -1972767862 SOS 1232331150 HAS SOPS 1232331150 HAS SOUS 485596971 HAS SOUPS 485596971 WITH SCORE 4.8682930215E8
AT ITER 3302 NEW BEST:: SOT -1972777146 SOS 1232312580 HAS SOPS 1232312580 HAS SOUS 485596967 HAS SOUPS 485596967 WITH SCORE 4.8682927958E8
AT ITER 3311 NEW BEST:: SOT -1972837136 SOS 1232218012 HAS SOPS 1232218012 HAS SOUS 485594352 HAS SOUPS 485594352 WITH SCORE 4.86826570012E8
AT ITER 3316 NEW BEST:: SOT -1972847944 SOS 1232196394 HAS SOPS 1232196394 HAS SOUS 485594348 HAS SOUPS 485594348 WITH SCORE 4.86826544394E8
AT ITER 3323 NEW BEST:: SOT -1972868212 SOS 1232155858 HAS SOPS 1232155858 HAS SOUS 485594348 HAS SOUPS 485594348 WITH SCORE 4.86826503858E8
AT ITER 3327 NEW BEST:: SOT -1972895002 SOS 1232102278 HAS SOPS 1232102278 HAS SOUS 485594348 HAS SOUPS 485594348 WITH SCORE 4.86826450278E8
AT ITER 3328 NEW BEST:: SOT -1972913568 SOS 1232065146 HAS SOPS 1232065146 HAS SOUS 485594348 HAS SOUPS 485594348 WITH SCORE 4.86826413146E8
AT ITER 3329 NEW BEST:: SOT -1972948258 SOS 1231995765 HAS SOPS 1231995765 HAS SOUS 485594347 HAS SOUPS 485594347 WITH SCORE 4.86826342765E8
AT ITER 3330 NEW BEST:: SOT -1972954240 SOS 1231983799 HAS SOPS 1231983799 HAS SOUS 485594343 HAS SOUPS 485594343 WITH SCORE 4.86826326799E8
AT ITER 3338 NEW BEST:: SOT -1972974200 SOS 1231943879 HAS SOPS 1231943879 HAS SOUS 485594343 HAS SOUPS 485594343 WITH SCORE 4.86826286879E8
AT ITER 3339 NEW BEST:: SOT -1973006870 SOS 1231878539 HAS SOPS 1231878539 HAS SOUS 485594343 HAS SOUPS 485594343 WITH SCORE 4.86826221539E8
AT ITER 3342 NEW BEST:: SOT -1973048408 SOS 1231795463 HAS SOPS 1231795463 HAS SOUS 485594343 HAS SOUPS 485594343 WITH SCORE 4.86826138463E8
AT ITER 3347 NEW BEST:: SOT -1973084140 SOS 1231723998 HAS SOPS 1231723998 HAS SOUS 485594342 HAS SOUPS 485594342 WITH SCORE 4.86826065998E8
AT ITER 3365 NEW BEST:: SOT -1973112706 SOS 1231666864 HAS SOPS 1231666864 HAS SOUS 485594338 HAS SOUPS 485594338 WITH SCORE 4.86826004864E8
AT ITER 3377 NEW BEST:: SOT -1973116395 SOS 1231660932 HAS SOPS 1231660932 HAS SOUS 485593541 HAS SOUPS 485593541 WITH SCORE 4.86825201932E8
AT ITER 3385 NEW BEST:: SOT -1973136643 SOS 1231620436 HAS SOPS 1231620436 HAS SOUS 485593541 HAS SOUPS 485593541 WITH SCORE 4.86825161436E8
AT ITER 3389 NEW BEST:: SOT -1973151195 SOS 1231591331 HAS SOPS 1231591331 HAS SOUS 485593540 HAS SOUPS 485593540 WITH SCORE 4.86825131331E8
AT ITER 3393 NEW BEST:: SOT -1973174787 SOS 1231544146 HAS SOPS 1231544146 HAS SOUS 485593539 HAS SOUPS 485593539 WITH SCORE 4.86825083146E8
AT ITER 3409 NEW BEST:: SOT -1973192003 SOS 1231509712 HAS SOPS 1231509712 HAS SOUS 485593535 HAS SOUPS 485593535 WITH SCORE 4.86825044712E8
AT ITER 3414 NEW BEST:: SOT -1973212109 SOS 1231469500 HAS SOPS 1231469500 HAS SOUS 485593535 HAS SOUPS 485593535 WITH SCORE 4.868250045E8
AT ITER 3415 NEW BEST:: SOT -1973246711 SOS 1231400296 HAS SOPS 1231400296 HAS SOUS 485593535 HAS SOUPS 485593535 WITH SCORE 4.86824935296E8
AT ITER 3430 NEW BEST:: SOT -1973259518 SOS 1231368280 HAS SOPS 1231368280 HAS SOUS 485587129 HAS SOUPS 485587129 WITH SCORE 4.8681849728E8
AT ITER 3436 NEW BEST:: SOT -1973276030 SOS 1231335254 HAS SOPS 1231335254 HAS SOUS 485587125 HAS SOUPS 485587125 WITH SCORE 4.86818460254E8
AT ITER 3437 NEW BEST:: SOT -1973301290 SOS 1231284734 HAS SOPS 1231284734 HAS SOUS 485587125 HAS SOUPS 485587125 WITH SCORE 4.86818409734E8
AT ITER 3439 NEW BEST:: SOT -1973319436 SOS 1231248440 HAS SOPS 1231248440 HAS SOUS 485587121 HAS SOUPS 485587121 WITH SCORE 4.8681836944E8
AT ITER 3450 NEW BEST:: SOT -1973322478 SOS 1231242355 HAS SOPS 1231242355 HAS SOUS 485587120 HAS SOUPS 485587120 WITH SCORE 4.86818362355E8
AT ITER 3458 NEW BEST:: SOT -1973344752 SOS 1231197807 HAS SOPS 1231197807 HAS SOUS 485587120 HAS SOUPS 485587120 WITH SCORE 4.86818317807E8
AT ITER 3467 NEW BEST:: SOT -1973363386 SOS 1231160537 HAS SOPS 1231160537 HAS SOUS 485587116 HAS SOUPS 485587116 WITH SCORE 4.86818276537E8
AT ITER 3493 NEW BEST:: SOT -1973373248 SOS 1231140811 HAS SOPS 1231140811 HAS SOUS 485587112 HAS SOUPS 485587112 WITH SCORE 4.86818252811E8
AT ITER 3494 NEW BEST:: SOT -1973402096 SOS 1231083114 HAS SOPS 1231083114 HAS SOUS 485587111 HAS SOUPS 485587111 WITH SCORE 4.86818194114E8
AT ITER 3515 NEW BEST:: SOT -1973423800 SOS 1231039704 HAS SOPS 1231039704 HAS SOUS 485587107 HAS SOUPS 485587107 WITH SCORE 4.86818146704E8
AT ITER 3518 NEW BEST:: SOT -1973487421 SOS 1230936046 HAS SOPS 1230936046 HAS SOUS 485575881 HAS SOUPS 485575881 WITH SCORE 4.86806817046E8
AT ITER 3521 NEW BEST:: SOT -1973495751 SOS 1230919386 HAS SOPS 1230919386 HAS SOUS 485575881 HAS SOUPS 485575881 WITH SCORE 4.86806800386E8
AT ITER 3526 NEW BEST:: SOT -1973526897 SOS 1230857094 HAS SOPS 1230857094 HAS SOUS 485575881 HAS SOUPS 485575881 WITH SCORE 4.86806738094E8
AT ITER 3538 NEW BEST:: SOT -1973561163 SOS 1230788562 HAS SOPS 1230788562 HAS SOUS 485575881 HAS SOUPS 485575881 WITH SCORE 4.86806669562E8
AT ITER 3540 NEW BEST:: SOT -1973582921 SOS 1230745046 HAS SOPS 1230745046 HAS SOUS 485575881 HAS SOUPS 485575881 WITH SCORE 4.86806626046E8
AT ITER 3551 NEW BEST:: SOT -1973587162 SOS 1230738086 HAS SOPS 1230738086 HAS SOUS 485574684 HAS SOUPS 485574684 WITH SCORE 4.86805422086E8
AT ITER 3556 NEW BEST:: SOT -1973605958 SOS 1230700492 HAS SOPS 1230700492 HAS SOUS 485574680 HAS SOUPS 485574680 WITH SCORE 4.86805380492E8
AT ITER 3565 NEW BEST:: SOT -1973645886 SOS 1230620636 HAS SOPS 1230620636 HAS SOUS 485574680 HAS SOUPS 485574680 WITH SCORE 4.86805300636E8
AT ITER 3566 NEW BEST:: SOT -1973670266 SOS 1230571875 HAS SOPS 1230571875 HAS SOUS 485574679 HAS SOUPS 485574679 WITH SCORE 4.86805250875E8
AT ITER 3567 NEW BEST:: SOT -1973697964 SOS 1230516477 HAS SOPS 1230516477 HAS SOUS 485574675 HAS SOUPS 485574675 WITH SCORE 4.86805191477E8
AT ITER 3573 NEW BEST:: SOT -1973700415 SOS 1230500814 HAS SOPS 1230500814 HAS SOUS 485563912 HAS SOUPS 485563912 WITH SCORE 4.86794412814E8
AT ITER 3576 NEW BEST:: SOT -1973729099 SOS 1230457788 HAS SOPS 1230457788 HAS SOUS 485563912 HAS SOUPS 485563912 WITH SCORE 4.86794369788E8
AT ITER 3590 NEW BEST:: SOT -1973738101 SOS 1230439782 HAS SOPS 1230439782 HAS SOUS 485563908 HAS SOUPS 485563908 WITH SCORE 4.86794347782E8
AT ITER 3598 NEW BEST:: SOT -1973761609 SOS 1230392765 HAS SOPS 1230392765 HAS SOUS 485563907 HAS SOUPS 485563907 WITH SCORE 4.86794299765E8
AT ITER 3601 NEW BEST:: SOT -1973795107 SOS 1230314307 HAS SOPS 1230314307 HAS SOUS 485552441 HAS SOUPS 485552441 WITH SCORE 4.86782755307E8
AT ITER 3615 NEW BEST:: SOT -1973817981 SOS 1230268558 HAS SOPS 1230268558 HAS SOUS 485552440 HAS SOUPS 485552440 WITH SCORE 4.86782708558E8
AT ITER 3626 NEW BEST:: SOT -1973834621 SOS 1230235276 HAS SOPS 1230235276 HAS SOUS 485552436 HAS SOUPS 485552436 WITH SCORE 4.86782671276E8
AT ITER 3628 NEW BEST:: SOT -1973841895 SOS 1230220726 HAS SOPS 1230220726 HAS SOUS 485552432 HAS SOUPS 485552432 WITH SCORE 4.86782652726E8
AT ITER 3632 NEW BEST:: SOT -1973851809 SOS 1230200896 HAS SOPS 1230200896 HAS SOUS 485552428 HAS SOUPS 485552428 WITH SCORE 4.86782628896E8
AT ITER 3642 NEW BEST:: SOT -1973911553 SOS 1230105451 HAS SOPS 1230105451 HAS SOUS 485551444 HAS SOUPS 485551444 WITH SCORE 4.86781549451E8
AT ITER 3649 NEW BEST:: SOT -1973920003 SOS 1230088551 HAS SOPS 1230088551 HAS SOUS 485551444 HAS SOUPS 485551444 WITH SCORE 4.86781532551E8
AT ITER 3666 NEW BEST:: SOT -1973926550 SOS 1230075456 HAS SOPS 1230075456 HAS SOUS 485551443 HAS SOUPS 485551443 WITH SCORE 4.86781518456E8
AT ITER 3675 NEW BEST:: SOT -1973951372 SOS 1230025811 HAS SOPS 1230025811 HAS SOUS 485551442 HAS SOUPS 485551442 WITH SCORE 4.86781467811E8
AT ITER 3676 NEW BEST:: SOT -1973960924 SOS 1230006707 HAS SOPS 1230006707 HAS SOUS 485551442 HAS SOUPS 485551442 WITH SCORE 4.86781448707E8
AT ITER 3679 NEW BEST:: SOT -1973986316 SOS 1229955921 HAS SOPS 1229955921 HAS SOUS 485551438 HAS SOUPS 485551438 WITH SCORE 4.86781393921E8
AT ITER 3683 NEW BEST:: SOT -1973996206 SOS 1229936140 HAS SOPS 1229936140 HAS SOUS 485551437 HAS SOUPS 485551437 WITH SCORE 4.8678137314E8
AT ITER 3693 NEW BEST:: SOT -1974024512 SOS 1229879528 HAS SOPS 1229879528 HAS SOUS 485551437 HAS SOUPS 485551437 WITH SCORE 4.86781316528E8
AT ITER 3697 NEW BEST:: SOT -1974032970 SOS 1229858383 HAS SOPS 1229858383 HAS SOUS 485547208 HAS SOUPS 485547208 WITH SCORE 4.86777066383E8
AT ITER 3706 NEW BEST:: SOT -1974092691 SOS 1229759322 HAS SOPS 1229759322 HAS SOUS 485529685 HAS SOUPS 485529685 WITH SCORE 4.86759444322E8
AT ITER 3709 NEW BEST:: SOT -1974130397 SOS 1229683910 HAS SOPS 1229683910 HAS SOUS 485529685 HAS SOUPS 485529685 WITH SCORE 4.8675936891E8
AT ITER 3733 NEW BEST:: SOT -1974171003 SOS 1229602697 HAS SOPS 1229602697 HAS SOUS 485529684 HAS SOUPS 485529684 WITH SCORE 4.86759286697E8
AT ITER 3737 NEW BEST:: SOT -1974207001 SOS 1229530699 HAS SOPS 1229530699 HAS SOUS 485529680 HAS SOUPS 485529680 WITH SCORE 4.86759210699E8
AT ITER 3746 NEW BEST:: SOT -1974247161 SOS 1229450377 HAS SOPS 1229450377 HAS SOUS 485529676 HAS SOUPS 485529676 WITH SCORE 4.86759126377E8
AT ITER 3754 NEW BEST:: SOT -1974273591 SOS 1229397515 HAS SOPS 1229397515 HAS SOUS 485529672 HAS SOUPS 485529672 WITH SCORE 4.86759069515E8
AT ITER 3783 NEW BEST:: SOT -1974287291 SOS 1229370113 HAS SOPS 1229370113 HAS SOUS 485529668 HAS SOUPS 485529668 WITH SCORE 4.86759038113E8
AT ITER 3788 NEW BEST:: SOT -1974320893 SOS 1229302908 HAS SOPS 1229302908 HAS SOUS 485529667 HAS SOUPS 485529667 WITH SCORE 4.86758969908E8
AT ITER 3795 NEW BEST:: SOT -1974342325 SOS 1229260043 HAS SOPS 1229260043 HAS SOUS 485529666 HAS SOUPS 485529666 WITH SCORE 4.86758926043E8
AT ITER 3802 NEW BEST:: SOT -1974355649 SOS 1229233395 HAS SOPS 1229233395 HAS SOUS 485529666 HAS SOUPS 485529666 WITH SCORE 4.86758899395E8
AT ITER 3806 NEW BEST:: SOT -1974380499 SOS 1229183693 HAS SOPS 1229183693 HAS SOUS 485529662 HAS SOUPS 485529662 WITH SCORE 4.86758845693E8
AT ITER 3813 NEW BEST:: SOT -1974384001 SOS 1229178750 HAS SOPS 1229178750 HAS SOUS 485529553 HAS SOUPS 485529553 WITH SCORE 4.8675873175E8
AT ITER 3818 NEW BEST:: SOT -1974445006 SOS 1229079266 HAS SOPS 1229079266 HAS SOUS 485520187 HAS SOUPS 485520187 WITH SCORE 4.86749266266E8
AT ITER 3821 NEW BEST:: SOT -1974506570 SOS 1228981224 HAS SOPS 1228981224 HAS SOUS 485514354 HAS SOUPS 485514354 WITH SCORE 4.86743335224E8
AT ITER 3829 NEW BEST:: SOT -1974506570 SOS 1228981223 HAS SOPS 1228981223 HAS SOUS 485514353 HAS SOUPS 485514353 WITH SCORE 4.86743334223E8
AT ITER 3834 NEW BEST:: SOT -1974517076 SOS 1228960210 HAS SOPS 1228960210 HAS SOUS 485514352 HAS SOUPS 485514352 WITH SCORE 4.8674331221E8
AT ITER 3839 NEW BEST:: SOT -1974532214 SOS 1228929933 HAS SOPS 1228929933 HAS SOUS 485514351 HAS SOUPS 485514351 WITH SCORE 4.86743280933E8
AT ITER 3843 NEW BEST:: SOT -1974556306 SOS 1228881749 HAS SOPS 1228881749 HAS SOUS 485514351 HAS SOUPS 485514351 WITH SCORE 4.86743232749E8
AT ITER 3846 NEW BEST:: SOT -1974579704 SOS 1228834952 HAS SOPS 1228834952 HAS SOUS 485514350 HAS SOUPS 485514350 WITH SCORE 4.86743184952E8
AT ITER 3851 NEW BEST:: SOT -1974619622 SOS 1228755116 HAS SOPS 1228755116 HAS SOUS 485514350 HAS SOUPS 485514350 WITH SCORE 4.86743105116E8
AT ITER 3860 NEW BEST:: SOT -1974657976 SOS 1228678408 HAS SOPS 1228678408 HAS SOUS 485514350 HAS SOUPS 485514350 WITH SCORE 4.86743028408E8
AT ITER 3869 NEW BEST:: SOT -1974669036 SOS 1228656287 HAS SOPS 1228656287 HAS SOUS 485514349 HAS SOUPS 485514349 WITH SCORE 4.86743005287E8
AT ITER 3872 NEW BEST:: SOT -1974670822 SOS 1228652715 HAS SOPS 1228652715 HAS SOUS 485514349 HAS SOUPS 485514349 WITH SCORE 4.86743001715E8
AT ITER 3873 NEW BEST:: SOT -1974706954 SOS 1228580451 HAS SOPS 1228580451 HAS SOUS 485514349 HAS SOUPS 485514349 WITH SCORE 4.86742929451E8
AT ITER 3887 NEW BEST:: SOT -1974743680 SOS 1228506997 HAS SOPS 1228506997 HAS SOUS 485514345 HAS SOUPS 485514345 WITH SCORE 4.86742851997E8
AT ITER 3897 NEW BEST:: SOT -1974781630 SOS 1228431097 HAS SOPS 1228431097 HAS SOUS 485514345 HAS SOUPS 485514345 WITH SCORE 4.86742776097E8
AT ITER 3899 NEW BEST:: SOT -1974820198 SOS 1228353959 HAS SOPS 1228353959 HAS SOUS 485514341 HAS SOUPS 485514341 WITH SCORE 4.86742694959E8
AT ITER 3900 NEW BEST:: SOT -1974878912 SOS 1228259911 HAS SOPS 1228259911 HAS SOUS 485510176 HAS SOUPS 485510176 WITH SCORE 4.86738435911E8
AT ITER 3901 NEW BEST:: SOT -1974942461 SOS 1228155645 HAS SOPS 1228155645 HAS SOUS 485496160 HAS SOUPS 485496160 WITH SCORE 4.86724315645E8
AT ITER 3903 NEW BEST:: SOT -1974957551 SOS 1228125465 HAS SOPS 1228125465 HAS SOUS 485496160 HAS SOUPS 485496160 WITH SCORE 4.86724285465E8
AT ITER 3913 NEW BEST:: SOT -1974975935 SOS 1228088696 HAS SOPS 1228088696 HAS SOUS 485496159 HAS SOUPS 485496159 WITH SCORE 4.86724247696E8
AT ITER 3932 NEW BEST:: SOT -1975010887 SOS 1228018792 HAS SOPS 1228018792 HAS SOUS 485496159 HAS SOUPS 485496159 WITH SCORE 4.86724177792E8
AT ITER 3947 NEW BEST:: SOT -1975014889 SOS 1228008787 HAS SOPS 1228008787 HAS SOUS 485494156 HAS SOUPS 485494156 WITH SCORE 4.86722164787E8
AT ITER 3955 NEW BEST:: SOT -1975024467 SOS 1227989631 HAS SOPS 1227989631 HAS SOUS 485494156 HAS SOUPS 485494156 WITH SCORE 4.86722145631E8
AT ITER 3958 NEW BEST:: SOT -1975027570 SOS 1227984519 HAS SOPS 1227984519 HAS SOUS 485493241 HAS SOUPS 485493241 WITH SCORE 4.86721225519E8
AT ITER 3964 NEW BEST:: SOT -1975049038 SOS 1227941583 HAS SOPS 1227941583 HAS SOUS 485493241 HAS SOUPS 485493241 WITH SCORE 4.86721182583E8
AT ITER 3971 NEW BEST:: SOT -1975078784 SOS 1227882090 HAS SOPS 1227882090 HAS SOUS 485493240 HAS SOUPS 485493240 WITH SCORE 4.8672112209E8
AT ITER 3975 NEW BEST:: SOT -1975097078 SOS 1227845501 HAS SOPS 1227845501 HAS SOUS 485493239 HAS SOUPS 485493239 WITH SCORE 4.86721084501E8
AT ITER 3977 NEW BEST:: SOT -1975113344 SOS 1227812969 HAS SOPS 1227812969 HAS SOUS 485493239 HAS SOUPS 485493239 WITH SCORE 4.86721051969E8
AT ITER 3979 NEW BEST:: SOT -1975138896 SOS 1227761863 HAS SOPS 1227761863 HAS SOUS 485493235 HAS SOUPS 485493235 WITH SCORE 4.86720996863E8
AT ITER 3984 NEW BEST:: SOT -1975161752 SOS 1227716150 HAS SOPS 1227716150 HAS SOUS 485493234 HAS SOUPS 485493234 WITH SCORE 4.8672095015E8
AT ITER 3996 NEW BEST:: SOT -1975161752 SOS 1227713643 HAS SOPS 1227713643 HAS SOUS 485490723 HAS SOUPS 485490723 WITH SCORE 4.86718436643E8
AT ITER 4007 NEW BEST:: SOT -1975172494 SOS 1227692158 HAS SOPS 1227692158 HAS SOUS 485490722 HAS SOUPS 485490722 WITH SCORE 4.86718414158E8
AT ITER 4013 NEW BEST:: SOT -1975188494 SOS 1227660158 HAS SOPS 1227660158 HAS SOUS 485490722 HAS SOUPS 485490722 WITH SCORE 4.86718382158E8
AT ITER 4014 NEW BEST:: SOT -1975224824 SOS 1227587496 HAS SOPS 1227587496 HAS SOUS 485490718 HAS SOUPS 485490718 WITH SCORE 4.86718305496E8
AT ITER 4015 NEW BEST:: SOT -1975266844 SOS 1227503454 HAS SOPS 1227503454 HAS SOUS 485490714 HAS SOUPS 485490714 WITH SCORE 4.86718217454E8
AT ITER 4016 NEW BEST:: SOT -1975270770 SOS 1227497171 HAS SOPS 1227497171 HAS SOUS 485489936 HAS SOUPS 485489936 WITH SCORE 4.86717433171E8
AT ITER 4024 NEW BEST:: SOT -1975289616 SOS 1227457959 HAS SOPS 1227457959 HAS SOUS 485488416 HAS SOUPS 485488416 WITH SCORE 4.86715873959E8
AT ITER 4038 NEW BEST:: SOT -1975315892 SOS 1227405406 HAS SOPS 1227405406 HAS SOUS 485488415 HAS SOUPS 485488415 WITH SCORE 4.86715820406E8
AT ITER 4043 NEW BEST:: SOT -1975316050 SOS 1227405090 HAS SOPS 1227405090 HAS SOUS 485488415 HAS SOUPS 485488415 WITH SCORE 4.8671582009E8
AT ITER 4045 NEW BEST:: SOT -1975327888 SOS 1227381412 HAS SOPS 1227381412 HAS SOUS 485488411 HAS SOUPS 485488411 WITH SCORE 4.86715792412E8
AT ITER 4050 NEW BEST:: SOT -1975354384 SOS 1227328418 HAS SOPS 1227328418 HAS SOUS 485488407 HAS SOUPS 485488407 WITH SCORE 4.86715735418E8
AT ITER 4054 NEW BEST:: SOT -1975359044 SOS 1227319097 HAS SOPS 1227319097 HAS SOUS 485488406 HAS SOUPS 485488406 WITH SCORE 4.86715725097E8
AT ITER 4062 NEW BEST:: SOT -1975392148 SOS 1227248662 HAS SOPS 1227248662 HAS SOUS 485484177 HAS SOUPS 485484177 WITH SCORE 4.86711425662E8
AT ITER 4065 NEW BEST:: SOT -1975427748 SOS 1227177462 HAS SOPS 1227177462 HAS SOUS 485484177 HAS SOUPS 485484177 WITH SCORE 4.86711354462E8
AT ITER 4069 NEW BEST:: SOT -1975441635 SOS 1227154517 HAS SOPS 1227154517 HAS SOUS 485480147 HAS SOUPS 485480147 WITH SCORE 4.86707301517E8
AT ITER 4073 NEW BEST:: SOT -1975453397 SOS 1227130993 HAS SOPS 1227130993 HAS SOUS 485480147 HAS SOUPS 485480147 WITH SCORE 4.86707277993E8
AT ITER 4075 NEW BEST:: SOT -1975472029 SOS 1227093729 HAS SOPS 1227093729 HAS SOUS 485480147 HAS SOUPS 485480147 WITH SCORE 4.86707240729E8
AT ITER 4085 NEW BEST:: SOT -1975504277 SOS 1227029231 HAS SOPS 1227029231 HAS SOUS 485480143 HAS SOUPS 485480143 WITH SCORE 4.86707172231E8
AT ITER 4091 NEW BEST:: SOT -1975516903 SOS 1227003977 HAS SOPS 1227003977 HAS SOUS 485480139 HAS SOUPS 485480139 WITH SCORE 4.86707142977E8
AT ITER 4099 NEW BEST:: SOT -1975540811 SOS 1226956161 HAS SOPS 1226956161 HAS SOUS 485480139 HAS SOUPS 485480139 WITH SCORE 4.86707095161E8
AT ITER 4107 NEW BEST:: SOT -1975603182 SOS 1226844404 HAS SOPS 1226844404 HAS SOUS 485468336 HAS SOUPS 485468336 WITH SCORE 4.86695180404E8
AT ITER 4124 NEW BEST:: SOT -1975621745 SOS 1226789457 HAS SOPS 1226789457 HAS SOUS 485467594 HAS SOUPS 485467594 WITH SCORE 4.86694383457E8
AT ITER 4125 NEW BEST:: SOT -1975633421 SOS 1226766103 HAS SOPS 1226766103 HAS SOUS 485467590 HAS SOUPS 485467590 WITH SCORE 4.86694356103E8
AT ITER 4128 NEW BEST:: SOT -1975648439 SOS 1226736067 HAS SOPS 1226736067 HAS SOUS 485467590 HAS SOUPS 485467590 WITH SCORE 4.86694326067E8
AT ITER 4131 NEW BEST:: SOT -1975666267 SOS 1226700411 HAS SOPS 1226700411 HAS SOUS 485467590 HAS SOUPS 485467590 WITH SCORE 4.86694290411E8
AT ITER 4132 NEW BEST:: SOT -1975698995 SOS 1226634953 HAS SOPS 1226634953 HAS SOUS 485467586 HAS SOUPS 485467586 WITH SCORE 4.86694220953E8
AT ITER 4137 NEW BEST:: SOT -1975725815 SOS 1226581311 HAS SOPS 1226581311 HAS SOUS 485467582 HAS SOUPS 485467582 WITH SCORE 4.86694163311E8
AT ITER 4149 NEW BEST:: SOT -1975755135 SOS 1226522670 HAS SOPS 1226522670 HAS SOUS 485467581 HAS SOUPS 485467581 WITH SCORE 4.8669410367E8
AT ITER 4152 NEW BEST:: SOT -1975767505 SOS 1226497930 HAS SOPS 1226497930 HAS SOUS 485467581 HAS SOUPS 485467581 WITH SCORE 4.8669407893E8
AT ITER 4160 NEW BEST:: SOT -1975800901 SOS 1226431136 HAS SOPS 1226431136 HAS SOUS 485467577 HAS SOUPS 485467577 WITH SCORE 4.86694008136E8
AT ITER 4167 NEW BEST:: SOT -1975831991 SOS 1226368956 HAS SOPS 1226368956 HAS SOUS 485467577 HAS SOUPS 485467577 WITH SCORE 4.86693945956E8
AT ITER 4173 NEW BEST:: SOT -1975872099 SOS 1226288738 HAS SOPS 1226288738 HAS SOUS 485467573 HAS SOUPS 485467573 WITH SCORE 4.86693861738E8
AT ITER 4181 NEW BEST:: SOT -1975893511 SOS 1226245914 HAS SOPS 1226245914 HAS SOUS 485467573 HAS SOUPS 485467573 WITH SCORE 4.86693818914E8
AT ITER 4192 NEW BEST:: SOT -1975922587 SOS 1226173224 HAS SOPS 1226173224 HAS SOUS 485453033 HAS SOUPS 485453033 WITH SCORE 4.86679206224E8
AT ITER 4193 NEW BEST:: SOT -1975959217 SOS 1226099962 HAS SOPS 1226099962 HAS SOUS 485453029 HAS SOUPS 485453029 WITH SCORE 4.86679128962E8
AT ITER 4196 NEW BEST:: SOT -1976021514 SOS 1225997901 HAS SOPS 1225997901 HAS SOUS 485441114 HAS SOUPS 485441114 WITH SCORE 4.86667111901E8
AT ITER 4212 NEW BEST:: SOT -1976043758 SOS 1225953411 HAS SOPS 1225953411 HAS SOUS 485441110 HAS SOUPS 485441110 WITH SCORE 4.86667063411E8
AT ITER 4222 NEW BEST:: SOT -1976043758 SOS 1225953410 HAS SOPS 1225953410 HAS SOUS 485441109 HAS SOUPS 485441109 WITH SCORE 4.8666706241E8
AT ITER 4224 NEW BEST:: SOT -1976073706 SOS 1225893514 HAS SOPS 1225893514 HAS SOUS 485441109 HAS SOUPS 485441109 WITH SCORE 4.86667002514E8
AT ITER 4238 NEW BEST:: SOT -1976100158 SOS 1225840610 HAS SOPS 1225840610 HAS SOUS 485441109 HAS SOUPS 485441109 WITH SCORE 4.8666694961E8
AT ITER 4251 NEW BEST:: SOT -1976124130 SOS 1225792664 HAS SOPS 1225792664 HAS SOUS 485441105 HAS SOUPS 485441105 WITH SCORE 4.86666897664E8
AT ITER 4252 NEW BEST:: SOT -1976163138 SOS 1225714648 HAS SOPS 1225714648 HAS SOUS 485441105 HAS SOUPS 485441105 WITH SCORE 4.86666819648E8
AT ITER 4254 NEW BEST:: SOT -1976198748 SOS 1225643428 HAS SOPS 1225643428 HAS SOUS 485441105 HAS SOUPS 485441105 WITH SCORE 4.86666748428E8
AT ITER 4260 NEW BEST:: SOT -1976208368 SOS 1225624186 HAS SOPS 1225624186 HAS SOUS 485441101 HAS SOUPS 485441101 WITH SCORE 4.86666725186E8
AT ITER 4267 NEW BEST:: SOT -1976227292 SOS 1225586338 HAS SOPS 1225586338 HAS SOUS 485441101 HAS SOUPS 485441101 WITH SCORE 4.86666687338E8
AT ITER 4288 NEW BEST:: SOT -1976258974 SOS 1225522972 HAS SOPS 1225522972 HAS SOUS 485441097 HAS SOUPS 485441097 WITH SCORE 4.86666619972E8
AT ITER 4314 NEW BEST:: SOT -1976301290 SOS 1225438338 HAS SOPS 1225438338 HAS SOUS 485441093 HAS SOUPS 485441093 WITH SCORE 4.86666531338E8
AT ITER 4324 NEW BEST:: SOT -1976324352 SOS 1225392214 HAS SOPS 1225392214 HAS SOUS 485441093 HAS SOUPS 485441093 WITH SCORE 4.86666485214E8
AT ITER 4328 NEW BEST:: SOT -1976363464 SOS 1225313988 HAS SOPS 1225313988 HAS SOUS 485441089 HAS SOUPS 485441089 WITH SCORE 4.86666402988E8
AT ITER 4330 NEW BEST:: SOT -1976423737 SOS 1225215344 HAS SOPS 1225215344 HAS SOUS 485430067 HAS SOUPS 485430067 WITH SCORE 4.86655282344E8
AT ITER 4332 NEW BEST:: SOT -1976437737 SOS 1225187343 HAS SOPS 1225187343 HAS SOUS 485430066 HAS SOUPS 485430066 WITH SCORE 4.86655253343E8
AT ITER 4337 NEW BEST:: SOT -1976455285 SOS 1225152246 HAS SOPS 1225152246 HAS SOUS 485430065 HAS SOUPS 485430065 WITH SCORE 4.86655217246E8
AT ITER 4341 NEW BEST:: SOT -1976459269 SOS 1225144278 HAS SOPS 1225144278 HAS SOUS 485430065 HAS SOUPS 485430065 WITH SCORE 4.86655209278E8
AT ITER 4356 NEW BEST:: SOT -1976500837 SOS 1225061142 HAS SOPS 1225061142 HAS SOUS 485430065 HAS SOUPS 485430065 WITH SCORE 4.86655126142E8
AT ITER 4370 NEW BEST:: SOT -1976512857 SOS 1225037100 HAS SOPS 1225037100 HAS SOUS 485430061 HAS SOUPS 485430061 WITH SCORE 4.866550981E8
AT ITER 4374 NEW BEST:: SOT -1976527191 SOS 1225008432 HAS SOPS 1225008432 HAS SOUS 485430061 HAS SOUPS 485430061 WITH SCORE 4.86655069432E8
AT ITER 4402 NEW BEST:: SOT -1976527513 SOS 1225007788 HAS SOPS 1225007788 HAS SOUS 485430061 HAS SOUPS 485430061 WITH SCORE 4.86655068788E8
AT ITER 4410 NEW BEST:: SOT -1976555807 SOS 1224951198 HAS SOPS 1224951198 HAS SOUS 485430057 HAS SOUPS 485430057 WITH SCORE 4.86655008198E8
AT ITER 4426 NEW BEST:: SOT -1976586219 SOS 1224890373 HAS SOPS 1224890373 HAS SOUS 485430056 HAS SOUPS 485430056 WITH SCORE 4.86654946373E8
AT ITER 4427 NEW BEST:: SOT -1976605863 SOS 1224851085 HAS SOPS 1224851085 HAS SOUS 485430056 HAS SOUPS 485430056 WITH SCORE 4.86654907085E8
AT ITER 4433 NEW BEST:: SOT -1976625389 SOS 1224812033 HAS SOPS 1224812033 HAS SOUS 485430056 HAS SOUPS 485430056 WITH SCORE 4.86654868033E8
AT ITER 4453 NEW BEST:: SOT -1976652157 SOS 1224758495 HAS SOPS 1224758495 HAS SOUS 485430052 HAS SOUPS 485430052 WITH SCORE 4.86654810495E8
AT ITER 4455 NEW BEST:: SOT -1976661371 SOS 1224740065 HAS SOPS 1224740065 HAS SOUS 485430048 HAS SOUPS 485430048 WITH SCORE 4.86654788065E8
AT ITER 4456 NEW BEST:: SOT -1976699723 SOS 1224663360 HAS SOPS 1224663360 HAS SOUS 485430047 HAS SOUPS 485430047 WITH SCORE 4.8665471036E8
AT ITER 4461 NEW BEST:: SOT -1976722523 SOS 1224617758 HAS SOPS 1224617758 HAS SOUS 485430043 HAS SOUPS 485430043 WITH SCORE 4.86654660758E8
AT ITER 4468 NEW BEST:: SOT -1976786196 SOS 1224516252 HAS SOPS 1224516252 HAS SOUS 485427685 HAS SOUPS 485427685 WITH SCORE 4.86652201252E8
AT ITER 4469 NEW BEST:: SOT -1976812290 SOS 1224464062 HAS SOPS 1224464062 HAS SOUS 485427681 HAS SOUPS 485427681 WITH SCORE 4.86652145062E8
AT ITER 4489 NEW BEST:: SOT -1976830024 SOS 1224428594 HAS SOPS 1224428594 HAS SOUS 485427681 HAS SOUPS 485427681 WITH SCORE 4.86652109594E8
AT ITER 4496 NEW BEST:: SOT -1976863572 SOS 1224361496 HAS SOPS 1224361496 HAS SOUS 485427677 HAS SOUPS 485427677 WITH SCORE 4.86652038496E8
AT ITER 4500 NEW BEST:: SOT -1976881886 SOS 1224324868 HAS SOPS 1224324868 HAS SOUS 485427677 HAS SOUPS 485427677 WITH SCORE 4.86652001868E8
AT ITER 4508 NEW BEST:: SOT -1976904894 SOS 1224278852 HAS SOPS 1224278852 HAS SOUS 485427677 HAS SOUPS 485427677 WITH SCORE 4.86651955852E8
AT ITER 4516 NEW BEST:: SOT -1976938162 SOS 1224212314 HAS SOPS 1224212314 HAS SOUS 485427673 HAS SOUPS 485427673 WITH SCORE 4.86651885314E8
AT ITER 4518 NEW BEST:: SOT -1976948882 SOS 1224190872 HAS SOPS 1224190872 HAS SOUS 485427669 HAS SOUPS 485427669 WITH SCORE 4.86651859872E8
AT ITER 4522 NEW BEST:: SOT -1976977576 SOS 1224133484 HAS SOPS 1224133484 HAS SOUS 485427669 HAS SOUPS 485427669 WITH SCORE 4.86651802484E8
AT ITER 4537 NEW BEST:: SOT -1976980246 SOS 1224128144 HAS SOPS 1224128144 HAS SOUS 485427669 HAS SOUPS 485427669 WITH SCORE 4.86651797144E8
AT ITER 4546 NEW BEST:: SOT -1977011466 SOS 1224065703 HAS SOPS 1224065703 HAS SOUS 485427668 HAS SOUPS 485427668 WITH SCORE 4.86651733703E8
AT ITER 4566 NEW BEST:: SOT -1977075605 SOS 1223962331 HAS SOPS 1223962331 HAS SOUS 485420178 HAS SOUPS 485420178 WITH SCORE 4.86644140331E8
AT ITER 4572 NEW BEST:: SOT -1977097709 SOS 1223918123 HAS SOPS 1223918123 HAS SOUS 485420178 HAS SOUPS 485420178 WITH SCORE 4.86644096123E8
AT ITER 4575 NEW BEST:: SOT -1977125467 SOS 1223862605 HAS SOPS 1223862605 HAS SOUS 485420174 HAS SOUPS 485420174 WITH SCORE 4.86644036605E8
AT ITER 4578 NEW BEST:: SOT -1977126277 SOS 1223861303 HAS SOPS 1223861303 HAS SOUS 485420012 HAS SOUPS 485420012 WITH SCORE 4.86643873303E8
AT ITER 4579 NEW BEST:: SOT -1977152205 SOS 1223809447 HAS SOPS 1223809447 HAS SOUS 485420012 HAS SOUPS 485420012 WITH SCORE 4.86643821447E8
AT ITER 4588 NEW BEST:: SOT -1977213384 SOS 1223710590 HAS SOPS 1223710590 HAS SOUS 485415173 HAS SOUPS 485415173 WITH SCORE 4.8663888359E8
AT ITER 4589 NEW BEST:: SOT -1977235496 SOS 1223666364 HAS SOPS 1223666364 HAS SOUS 485415169 HAS SOUPS 485415169 WITH SCORE 4.86638835364E8
AT ITER 4602 NEW BEST:: SOT -1977246590 SOS 1223647874 HAS SOPS 1223647874 HAS SOUS 485411471 HAS SOUPS 485411471 WITH SCORE 4.86635118874E8
AT ITER 4615 NEW BEST:: SOT -1977272106 SOS 1223596842 HAS SOPS 1223596842 HAS SOUS 485411471 HAS SOUPS 485411471 WITH SCORE 4.86635067842E8
AT ITER 4646 NEW BEST:: SOT -1977311256 SOS 1223518542 HAS SOPS 1223518542 HAS SOUS 485411471 HAS SOUPS 485411471 WITH SCORE 4.86634989542E8
AT ITER 4652 NEW BEST:: SOT -1977328410 SOS 1223484232 HAS SOPS 1223484232 HAS SOUS 485411467 HAS SOUPS 485411467 WITH SCORE 4.86634951232E8
AT ITER 4657 NEW BEST:: SOT -1977343096 SOS 1223454859 HAS SOPS 1223454859 HAS SOUS 485411466 HAS SOUPS 485411466 WITH SCORE 4.86634920859E8
AT ITER 4664 NEW BEST:: SOT -1977375836 SOS 1223389378 HAS SOPS 1223389378 HAS SOUS 485411465 HAS SOUPS 485411465 WITH SCORE 4.86634854378E8
AT ITER 4668 NEW BEST:: SOT -1977399866 SOS 1223341318 HAS SOPS 1223341318 HAS SOUS 485411465 HAS SOUPS 485411465 WITH SCORE 4.86634806318E8
AT ITER 4672 NEW BEST:: SOT -1977401866 SOS 1223337318 HAS SOPS 1223337318 HAS SOUS 485411465 HAS SOUPS 485411465 WITH SCORE 4.86634802318E8
AT ITER 4688 NEW BEST:: SOT -1977416642 SOS 1223307764 HAS SOPS 1223307764 HAS SOUS 485411461 HAS SOUPS 485411461 WITH SCORE 4.86634768764E8
AT ITER 4690 NEW BEST:: SOT -1977452846 SOS 1223235356 HAS SOPS 1223235356 HAS SOUS 485411461 HAS SOUPS 485411461 WITH SCORE 4.86634696356E8
AT ITER 4692 NEW BEST:: SOT -1977472440 SOS 1223196168 HAS SOPS 1223196168 HAS SOUS 485411461 HAS SOUPS 485411461 WITH SCORE 4.86634657168E8
AT ITER 4696 NEW BEST:: SOT -1977512250 SOS 1223116547 HAS SOPS 1223116547 HAS SOUS 485411460 HAS SOUPS 485411460 WITH SCORE 4.86634576547E8
AT ITER 4701 NEW BEST:: SOT -1977555896 SOS 1223029254 HAS SOPS 1223029254 HAS SOUS 485411459 HAS SOUPS 485411459 WITH SCORE 4.86634488254E8
AT ITER 4714 NEW BEST:: SOT -1977588551 SOS 1222974829 HAS SOPS 1222974829 HAS SOUS 485400574 HAS SOUPS 485400574 WITH SCORE 4.86623548829E8
AT ITER 4719 NEW BEST:: SOT -1977627207 SOS 1222897515 HAS SOPS 1222897515 HAS SOUS 485400570 HAS SOUPS 485400570 WITH SCORE 4.86623467515E8
AT ITER 4721 NEW BEST:: SOT -1977653463 SOS 1222845003 HAS SOPS 1222845003 HAS SOUS 485400570 HAS SOUPS 485400570 WITH SCORE 4.86623415003E8
AT ITER 4738 NEW BEST:: SOT -1977702512 SOS 1222769770 HAS SOPS 1222769770 HAS SOUS 485397805 HAS SOUPS 485397805 WITH SCORE 4.8662057477E8
AT ITER 4742 NEW BEST:: SOT -1977728272 SOS 1222718249 HAS SOPS 1222718249 HAS SOUS 485397804 HAS SOUPS 485397804 WITH SCORE 4.86620522249E8
AT ITER 4747 NEW BEST:: SOT -1977760784 SOS 1222638486 HAS SOPS 1222638486 HAS SOUS 485383061 HAS SOUPS 485383061 WITH SCORE 4.86605699486E8
AT ITER 4748 NEW BEST:: SOT -1977802766 SOS 1222554521 HAS SOPS 1222554521 HAS SOUS 485383060 HAS SOUPS 485383060 WITH SCORE 4.86605614521E8
AT ITER 4756 NEW BEST:: SOT -1977820568 SOS 1222518915 HAS SOPS 1222518915 HAS SOUS 485383056 HAS SOUPS 485383056 WITH SCORE 4.86605574915E8
AT ITER 4760 NEW BEST:: SOT -1977852490 SOS 1222455069 HAS SOPS 1222455069 HAS SOUS 485383052 HAS SOUPS 485383052 WITH SCORE 4.86605507069E8
AT ITER 4766 NEW BEST:: SOT -1977852490 SOS 1222455068 HAS SOPS 1222455068 HAS SOUS 485383051 HAS SOUPS 485383051 WITH SCORE 4.86605506068E8
AT ITER 4795 NEW BEST:: SOT -1977879771 SOS 1222391794 HAS SOPS 1222391794 HAS SOUS 485376213 HAS SOUPS 485376213 WITH SCORE 4.86598604794E8
AT ITER 4797 NEW BEST:: SOT -1977911609 SOS 1222328116 HAS SOPS 1222328116 HAS SOUS 485376209 HAS SOUPS 485376209 WITH SCORE 4.86598537116E8
AT ITER 4799 NEW BEST:: SOT -1977921857 SOS 1222307620 HAS SOPS 1222307620 HAS SOUS 485376209 HAS SOUPS 485376209 WITH SCORE 4.8659851662E8
AT ITER 4816 NEW BEST:: SOT -1977947885 SOS 1222255562 HAS SOPS 1222255562 HAS SOUS 485376205 HAS SOUPS 485376205 WITH SCORE 4.86598460562E8
AT ITER 4817 NEW BEST:: SOT -1977939694 SOS 1222253294 HAS SOPS 1222253294 HAS SOUS 485374365 HAS SOUPS 485374365 WITH SCORE 4.86596618294E8
AT ITER 4821 NEW BEST:: SOT -1977966166 SOS 1222200350 HAS SOPS 1222200350 HAS SOUS 485374365 HAS SOUPS 485374365 WITH SCORE 4.8659656535E8
AT ITER 4835 NEW BEST:: SOT -1978031292 SOS 1222094499 HAS SOPS 1222094499 HAS SOUS 485361892 HAS SOUPS 485361892 WITH SCORE 4.86583986499E8
AT ITER 4836 NEW BEST:: SOT -1978051318 SOS 1222049513 HAS SOPS 1222049513 HAS SOUS 485356956 HAS SOUPS 485356956 WITH SCORE 4.86579005513E8
AT ITER 4838 NEW BEST:: SOT -1978053946 SOS 1222044255 HAS SOPS 1222044255 HAS SOUS 485356952 HAS SOUPS 485356952 WITH SCORE 4.86578996255E8
AT ITER 4840 NEW BEST:: SOT -1978084726 SOS 1221982694 HAS SOPS 1221982694 HAS SOUS 485356951 HAS SOUPS 485356951 WITH SCORE 4.86578933694E8
AT ITER 4846 NEW BEST:: SOT -1978128470 SOS 1221895204 HAS SOPS 1221895204 HAS SOUS 485356947 HAS SOUPS 485356947 WITH SCORE 4.86578842204E8
AT ITER 4850 NEW BEST:: SOT -1978161892 SOS 1221828358 HAS SOPS 1221828358 HAS SOUS 485356943 HAS SOUPS 485356943 WITH SCORE 4.86578771358E8
AT ITER 4854 NEW BEST:: SOT -1978189374 SOS 1221773392 HAS SOPS 1221773392 HAS SOUS 485356939 HAS SOUPS 485356939 WITH SCORE 4.86578712392E8
AT ITER 4862 NEW BEST:: SOT -1978236434 SOS 1221663327 HAS SOPS 1221663327 HAS SOUS 485347384 HAS SOUPS 485347384 WITH SCORE 4.86569047327E8
AT ITER 4866 NEW BEST:: SOT -1978253810 SOS 1221619887 HAS SOPS 1221619887 HAS SOUS 485340038 HAS SOUPS 485340038 WITH SCORE 4.86561657887E8
AT ITER 4871 NEW BEST:: SOT -1978283036 SOS 1221546822 HAS SOPS 1221546822 HAS SOUS 485325423 HAS SOUPS 485325423 WITH SCORE 4.86546969822E8
AT ITER 4880 NEW BEST:: SOT -1978310840 SOS 1221491213 HAS SOPS 1221491213 HAS SOUS 485325422 HAS SOUPS 485325422 WITH SCORE 4.86546913213E8
AT ITER 4890 NEW BEST:: SOT -1978338634 SOS 1221435623 HAS SOPS 1221435623 HAS SOUS 485325418 HAS SOUPS 485325418 WITH SCORE 4.86546853623E8
AT ITER 4895 NEW BEST:: SOT -1978373122 SOS 1221366647 HAS SOPS 1221366647 HAS SOUS 485325418 HAS SOUPS 485325418 WITH SCORE 4.86546784647E8
AT ITER 4909 NEW BEST:: SOT -1978400442 SOS 1221312005 HAS SOPS 1221312005 HAS SOUS 485325414 HAS SOUPS 485325414 WITH SCORE 4.86546726005E8
AT ITER 4914 NEW BEST:: SOT -1978427176 SOS 1221258535 HAS SOPS 1221258535 HAS SOUS 485325410 HAS SOUPS 485325410 WITH SCORE 4.86546668535E8
AT ITER 4935 NEW BEST:: SOT -1978438552 SOS 1221230095 HAS SOPS 1221230095 HAS SOUS 485319720 HAS SOUPS 485319720 WITH SCORE 4.86540950095E8
AT ITER 4944 NEW BEST:: SOT -1978440242 SOS 1221226714 HAS SOPS 1221226714 HAS SOUS 485319719 HAS SOUPS 485319719 WITH SCORE 4.86540945714E8
AT ITER 4968 NEW BEST:: SOT -1978481516 SOS 1221144165 HAS SOPS 1221144165 HAS SOUS 485319718 HAS SOUPS 485319718 WITH SCORE 4.86540862165E8
AT ITER 4972 NEW BEST:: SOT -1978498582 SOS 1221110033 HAS SOPS 1221110033 HAS SOUS 485319718 HAS SOUPS 485319718 WITH SCORE 4.86540828033E8
AT ITER 4989 NEW BEST:: SOT -1978511750 SOS 1221083695 HAS SOPS 1221083695 HAS SOUS 485319714 HAS SOUPS 485319714 WITH SCORE 4.86540797695E8
AT ITER 4991 NEW BEST:: SOT -1978544814 SOS 1221017565 HAS SOPS 1221017565 HAS SOUS 485319710 HAS SOUPS 485319710 WITH SCORE 4.86540727565E8
AT ITER 4993 NEW BEST:: SOT -1978571491 SOS 1220954199 HAS SOPS 1220954199 HAS SOUS 485317728 HAS SOUPS 485317728 WITH SCORE 4.86538682199E8
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-00 ( (EF((! ( potential( ( 3 ) <= (tk(P10639)) ) | potential( (tk(P13809)) <= (tk(P17002)) ) )))) | ( ( ( potential( ( 2 ) <= (tk(P28046)) ) | ( potential( (tk(P42552)) <= (tk(P38793)) ) & potential( ( 2 ) <= (tk(P30216)) ) ) ) | ( ( potential( ( 3 ) <= (tk(P3054)) ) & potential( (tk(P11433)) <= (tk(P26038)) ) ) & potential( ( 1 ) <= (tk(P7024)) ) ) ) | (EG( ( potential( (tk(P4709)) <= (tk(P34493)) ) | potential( ( 3 ) <= (tk(P41929)) ) ))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-01 (AF(( (! ( potential( (tk(P36498)) <= (tk(P35145)) ) & potential( ( 2 ) <= (tk(P5163)) ) )) & ( ( potential( (tk(P10676)) <= (tk(P14178)) ) & potential( (tk(P22297)) <= (tk(P17063)) ) ) & (! potential( ( 3 ) <= (tk(P5931)) )) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-02 ( (! ( (EF(potential( ( 3 ) <= (tk(P9084)) ))) | (! (! potential( ( 1 ) <= (tk(P34549)) ))) )) & (! ( potential( ( 3 ) <= (tk(P32008)) ) | (AX( potential( ( 3 ) <= (tk(P6674)) ))) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-03 (! ( (EU( potential( (tk(P582)) <= (tk(P10204)) ),potential( ( 3 ) <= (tk(P47394)) ) )) | (AF((! potential( (tk(P37096)) <= (tk(P18576)) )))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-04 (! (AG( potential( ( 1 ) <= (tk(P30457)) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-05 (AG( ( ( (! potential( ( 2 ) <= (tk(P9768)) )) & potential( (tk(P28633)) <= (tk(P29247)) ) ) | ( (! potential( (tk(P36925)) <= (tk(P5493)) )) | potential( (tk(P23305)) <= (tk(P24692)) ) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-06 (EU( potential( (tk(P2818)) <= (tk(P44235)) ),potential( ( 3 ) <= (tk(P17722)) ) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-07 (EG( (AX( ( potential( (tk(P15119)) <= (tk(P19677)) ) | potential( ( 2 ) <= (tk(P7367)) ) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-08 (! (EU( (! potential( ( 3 ) <= (tk(P25738)) )),potential( ( 2 ) <= (tk(P2662)) ) )))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-09 (AF((AF(( potential( ( 1 ) <= (tk(P38930)) ) & potential( (tk(P32919)) <= (tk(P25120)) ) )))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-10 (! ( (AU( potential( (tk(P36875)) <= (tk(P9027)) ),potential( (tk(P565)) <= (tk(P1010)) ) )) | (EG( ( potential( (tk(P32526)) <= (tk(P43716)) ) & potential( ( 1 ) <= (tk(P41624)) ) ))) ))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-11 (AX( (AU( potential( (tk(P24166)) <= (tk(P21589)) ),potential( ( 3 ) <= (tk(P25312)) ) ))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-12 ( (EF((EF(potential( (tk(P35429)) <= (tk(P40132)) ))))) & ( ( (AX( potential( (tk(P17763)) <= (tk(P46881)) ))) & (! (! potential( (tk(P35044)) <= (tk(P14773)) ))) ) & (EG( ( potential( (tk(P39067)) <= (tk(P28149)) ) & potential( (tk(P27079)) <= (tk(P13258)) ) ))) ) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-13 (AX( (AG( (! potential( ( 2 ) <= (tk(P38183)) ))))))
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-14 ( potential( ( 2 ) <= (tk(P15375)) ) | (AU( (! potential( ( 2 ) <= (tk(P22465)) )),( potential( ( 2 ) <= (tk(P18250)) ) | potential( ( 3 ) <= (tk(P10461)) ) ) )) )
PROPERTY: ViralEpidemic-PT-S03D1C1A08-CTLCardinality-15 (AU( (EF(potential( ( 3 ) <= (tk(P2309)) ))),potential( (tk(P6971)) <= (tk(P28993)) ) ))

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ViralEpidemic-PT-S03D1C1A08, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538900515"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;