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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 36M
-rw-r--r-- 1 mcc users 4.3K May 14 05:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 05:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K May 13 23:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 23:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K 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.4K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 16:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 16:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K May 13 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 13 16:54 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 35M 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-S04D1C1A06-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A06-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590474047251

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A06
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: 32767 places, 49149 transitions, 114681 arcs.
AT ITER 0 NEW BEST:: SOT 1093800749 SOS 691278623 HAS SOPS 691278623 HAS SOUS 208111196 HAS SOUPS 208111196 WITH SCORE 2.08802474623E8
AT ITER 4 NEW BEST:: SOT 1093787317 SOS 691245040 HAS SOPS 691245040 HAS SOUS 208111191 HAS SOUPS 208111191 WITH SCORE 2.0880243604E8
AT ITER 10 NEW BEST:: SOT 1093763903 SOS 691186502 HAS SOPS 691186502 HAS SOUS 208111186 HAS SOUPS 208111186 WITH SCORE 2.08802372502E8
AT ITER 16 NEW BEST:: SOT 1093742703 SOS 691133502 HAS SOPS 691133502 HAS SOUS 208111186 HAS SOUPS 208111186 WITH SCORE 2.08802319502E8
AT ITER 17 NEW BEST:: SOT 1093729543 SOS 691100600 HAS SOPS 691100600 HAS SOUS 208111184 HAS SOUPS 208111184 WITH SCORE 2.088022846E8
AT ITER 21 NEW BEST:: SOT 1093713817 SOS 691061284 HAS SOPS 691061284 HAS SOUS 208111183 HAS SOUPS 208111183 WITH SCORE 2.08802244284E8
AT ITER 26 NEW BEST:: SOT 1093664706 SOS 690963057 HAS SOPS 690963057 HAS SOUS 208106146 HAS SOUPS 208106146 WITH SCORE 2.08797109057E8
AT ITER 40 NEW BEST:: SOT 1093613503 SOS 690860648 HAS SOPS 690860648 HAS SOUS 208089992 HAS SOUPS 208089992 WITH SCORE 2.08780852648E8
AT ITER 49 NEW BEST:: SOT 1093596385 SOS 690817850 HAS SOPS 690817850 HAS SOUS 208089987 HAS SOUPS 208089987 WITH SCORE 2.0878080485E8
AT ITER 60 NEW BEST:: SOT 1093549490 SOS 690724057 HAS SOPS 690724057 HAS SOUS 208088536 HAS SOUPS 208088536 WITH SCORE 2.08779260057E8
AT ITER 61 NEW BEST:: SOT 1093543976 SOS 690710271 HAS SOPS 690710271 HAS SOUS 208088535 HAS SOUPS 208088535 WITH SCORE 2.08779245271E8
AT ITER 71 NEW BEST:: SOT 1093512072 SOS 690630511 HAS SOPS 690630511 HAS SOUS 208088535 HAS SOUPS 208088535 WITH SCORE 2.08779165511E8
AT ITER 73 NEW BEST:: SOT 1093493766 SOS 690584745 HAS SOPS 690584745 HAS SOUS 208088534 HAS SOUPS 208088534 WITH SCORE 2.08779118745E8
AT ITER 75 NEW BEST:: SOT 1093467484 SOS 690519037 HAS SOPS 690519037 HAS SOUS 208088529 HAS SOUPS 208088529 WITH SCORE 2.08779048037E8
AT ITER 80 NEW BEST:: SOT 1093447048 SOS 690467944 HAS SOPS 690467944 HAS SOUS 208088524 HAS SOUPS 208088524 WITH SCORE 2.08778991944E8
AT ITER 91 NEW BEST:: SOT 1093422076 SOS 690405514 HAS SOPS 690405514 HAS SOUS 208088524 HAS SOUPS 208088524 WITH SCORE 2.08778929514E8
AT ITER 93 NEW BEST:: SOT 1093402178 SOS 690355768 HAS SOPS 690355768 HAS SOUS 208088523 HAS SOUPS 208088523 WITH SCORE 2.08778878768E8
AT ITER 105 NEW BEST:: SOT 1093374108 SOS 690285593 HAS SOPS 690285593 HAS SOUS 208088523 HAS SOUPS 208088523 WITH SCORE 2.08778808593E8
AT ITER 114 NEW BEST:: SOT 1093362372 SOS 690256251 HAS SOPS 690256251 HAS SOUS 208088521 HAS SOUPS 208088521 WITH SCORE 2.08778777251E8
AT ITER 116 NEW BEST:: SOT 1093351545 SOS 690234594 HAS SOPS 690234594 HAS SOUS 208084907 HAS SOUPS 208084907 WITH SCORE 2.08775141594E8
AT ITER 119 NEW BEST:: SOT 1093344063 SOS 690215889 HAS SOPS 690215889 HAS SOUS 208084907 HAS SOUPS 208084907 WITH SCORE 2.08775122889E8
AT ITER 125 NEW BEST:: SOT 1093330193 SOS 690181213 HAS SOPS 690181213 HAS SOUS 208084906 HAS SOUPS 208084906 WITH SCORE 2.08775087213E8
AT ITER 130 NEW BEST:: SOT 1093302881 SOS 690112931 HAS SOPS 690112931 HAS SOUS 208084904 HAS SOUPS 208084904 WITH SCORE 2.08775016931E8
AT ITER 140 NEW BEST:: SOT 1093277465 SOS 690049389 HAS SOPS 690049389 HAS SOUS 208084902 HAS SOUPS 208084902 WITH SCORE 2.08774951389E8
AT ITER 144 NEW BEST:: SOT 1093246827 SOS 689972794 HAS SOPS 689972794 HAS SOUS 208084902 HAS SOUPS 208084902 WITH SCORE 2.08774874794E8
AT ITER 145 NEW BEST:: SOT 1093216797 SOS 689897717 HAS SOPS 689897717 HAS SOUS 208084900 HAS SOUPS 208084900 WITH SCORE 2.08774797717E8
AT ITER 151 NEW BEST:: SOT 1093188975 SOS 689828162 HAS SOPS 689828162 HAS SOUS 208084900 HAS SOUPS 208084900 WITH SCORE 2.08774728162E8
AT ITER 153 NEW BEST:: SOT 1093173913 SOS 689790506 HAS SOPS 689790506 HAS SOUS 208084899 HAS SOUPS 208084899 WITH SCORE 2.08774689506E8
AT ITER 155 NEW BEST:: SOT 1093169013 SOS 689778255 HAS SOPS 689778255 HAS SOUS 208084898 HAS SOUPS 208084898 WITH SCORE 2.08774676255E8
AT ITER 165 NEW BEST:: SOT 1093163389 SOS 689764195 HAS SOPS 689764195 HAS SOUS 208084898 HAS SOUPS 208084898 WITH SCORE 2.08774662195E8
AT ITER 177 NEW BEST:: SOT 1093138441 SOS 689701824 HAS SOPS 689701824 HAS SOUS 208084897 HAS SOUPS 208084897 WITH SCORE 2.08774598824E8
AT ITER 180 NEW BEST:: SOT 1093118221 SOS 689651272 HAS SOPS 689651272 HAS SOUS 208084895 HAS SOUPS 208084895 WITH SCORE 2.08774546272E8
AT ITER 182 NEW BEST:: SOT 1093093967 SOS 689590637 HAS SOPS 689590637 HAS SOUS 208084895 HAS SOUPS 208084895 WITH SCORE 2.08774485637E8
AT ITER 201 NEW BEST:: SOT 1093087443 SOS 689574326 HAS SOPS 689574326 HAS SOUS 208084894 HAS SOUPS 208084894 WITH SCORE 2.08774468326E8
AT ITER 214 NEW BEST:: SOT 1093074921 SOS 689543020 HAS SOPS 689543020 HAS SOUS 208084893 HAS SOUPS 208084893 WITH SCORE 2.0877443602E8
AT ITER 227 NEW BEST:: SOT 1093041197 SOS 689458709 HAS SOPS 689458709 HAS SOUS 208084892 HAS SOUPS 208084892 WITH SCORE 2.08774350709E8
AT ITER 232 NEW BEST:: SOT 1092998908 SOS 689374127 HAS SOPS 689374127 HAS SOUS 208082809 HAS SOUPS 208082809 WITH SCORE 2.08772183127E8
AT ITER 235 NEW BEST:: SOT 1092965980 SOS 689291804 HAS SOPS 689291804 HAS SOUS 208082804 HAS SOUPS 208082804 WITH SCORE 2.08772095804E8
AT ITER 247 NEW BEST:: SOT 1092956004 SOS 689266862 HAS SOPS 689266862 HAS SOUS 208082802 HAS SOUPS 208082802 WITH SCORE 2.08772068862E8
AT ITER 258 NEW BEST:: SOT 1092935898 SOS 689216594 HAS SOPS 689216594 HAS SOUS 208082797 HAS SOUPS 208082797 WITH SCORE 2.08772013594E8
AT ITER 264 NEW BEST:: SOT 1092911994 SOS 689156831 HAS SOPS 689156831 HAS SOUS 208082792 HAS SOUPS 208082792 WITH SCORE 2.08771948831E8
AT ITER 269 NEW BEST:: SOT 1092892338 SOS 689107689 HAS SOPS 689107689 HAS SOUS 208082790 HAS SOUPS 208082790 WITH SCORE 2.08771897689E8
AT ITER 273 NEW BEST:: SOT 1092863266 SOS 689035006 HAS SOPS 689035006 HAS SOUS 208082785 HAS SOUPS 208082785 WITH SCORE 2.08771820006E8
AT ITER 275 NEW BEST:: SOT 1092841586 SOS 688980806 HAS SOPS 688980806 HAS SOUS 208082785 HAS SOUPS 208082785 WITH SCORE 2.08771765806E8
AT ITER 290 NEW BEST:: SOT 1092816652 SOS 688918470 HAS SOPS 688918470 HAS SOUS 208082784 HAS SOUPS 208082784 WITH SCORE 2.0877170247E8
AT ITER 297 NEW BEST:: SOT 1092816458 SOS 688917982 HAS SOPS 688917982 HAS SOUS 208082779 HAS SOUPS 208082779 WITH SCORE 2.08771696982E8
AT ITER 306 NEW BEST:: SOT 1092788474 SOS 688848019 HAS SOPS 688848019 HAS SOUS 208082774 HAS SOUPS 208082774 WITH SCORE 2.08771622019E8
AT ITER 307 NEW BEST:: SOT 1092757690 SOS 688771056 HAS SOPS 688771056 HAS SOUS 208082769 HAS SOUPS 208082769 WITH SCORE 2.08771540056E8
AT ITER 333 NEW BEST:: SOT 1092730796 SOS 688703818 HAS SOPS 688703818 HAS SOUS 208082764 HAS SOUPS 208082764 WITH SCORE 2.08771467818E8
AT ITER 336 NEW BEST:: SOT 1092714992 SOS 688664308 HAS SOPS 688664308 HAS SOUS 208082764 HAS SOUPS 208082764 WITH SCORE 2.08771428308E8
AT ITER 346 NEW BEST:: SOT 1092696028 SOS 688616895 HAS SOPS 688616895 HAS SOUS 208082759 HAS SOUPS 208082759 WITH SCORE 2.08771375895E8
AT ITER 347 NEW BEST:: SOT 1092660360 SOS 688527725 HAS SOPS 688527725 HAS SOUS 208082759 HAS SOUPS 208082759 WITH SCORE 2.08771286725E8
AT ITER 351 NEW BEST:: SOT 1092636392 SOS 688467802 HAS SOPS 688467802 HAS SOUS 208082754 HAS SOUPS 208082754 WITH SCORE 2.08771221802E8
AT ITER 352 NEW BEST:: SOT 1092631926 SOS 688456636 HAS SOPS 688456636 HAS SOUS 208082753 HAS SOUPS 208082753 WITH SCORE 2.08771209636E8
AT ITER 354 NEW BEST:: SOT 1092600824 SOS 688378879 HAS SOPS 688378879 HAS SOUS 208082751 HAS SOUPS 208082751 WITH SCORE 2.08771129879E8
AT ITER 378 NEW BEST:: SOT 1092600566 SOS 688378362 HAS SOPS 688378362 HAS SOUS 208082664 HAS SOUPS 208082664 WITH SCORE 2.08771042362E8
AT ITER 393 NEW BEST:: SOT 1092592632 SOS 688358525 HAS SOPS 688358525 HAS SOUS 208082662 HAS SOUPS 208082662 WITH SCORE 2.08771020525E8
AT ITER 398 NEW BEST:: SOT 1092561096 SOS 688279682 HAS SOPS 688279682 HAS SOUS 208082657 HAS SOUPS 208082657 WITH SCORE 2.08770936682E8
AT ITER 407 NEW BEST:: SOT 1092541540 SOS 688230792 HAS SOPS 688230792 HAS SOUS 208082657 HAS SOUPS 208082657 WITH SCORE 2.08770887792E8
AT ITER 412 NEW BEST:: SOT 1092528484 SOS 688204679 HAS SOPS 688204679 HAS SOUS 208078304 HAS SOUPS 208078304 WITH SCORE 2.08766508679E8
AT ITER 417 NEW BEST:: SOT 1092499122 SOS 688131274 HAS SOPS 688131274 HAS SOUS 208078304 HAS SOUPS 208078304 WITH SCORE 2.08766435274E8
AT ITER 422 NEW BEST:: SOT 1092479608 SOS 688082486 HAS SOPS 688082486 HAS SOUS 208078299 HAS SOUPS 208078299 WITH SCORE 2.08766381486E8
AT ITER 434 NEW BEST:: SOT 1092460754 SOS 688035348 HAS SOPS 688035348 HAS SOUS 208078294 HAS SOUPS 208078294 WITH SCORE 2.08766329348E8
AT ITER 439 NEW BEST:: SOT 1092438478 SOS 687979656 HAS SOPS 687979656 HAS SOUS 208078292 HAS SOUPS 208078292 WITH SCORE 2.08766271656E8
AT ITER 458 NEW BEST:: SOT 1092419938 SOS 687933306 HAS SOPS 687933306 HAS SOUS 208078292 HAS SOUPS 208078292 WITH SCORE 2.08766225306E8
AT ITER 461 NEW BEST:: SOT 1092395804 SOS 687872970 HAS SOPS 687872970 HAS SOUS 208078291 HAS SOUPS 208078291 WITH SCORE 2.0876616397E8
AT ITER 472 NEW BEST:: SOT 1092391414 SOS 687861995 HAS SOPS 687861995 HAS SOUS 208078291 HAS SOUPS 208078291 WITH SCORE 2.08766152995E8
AT ITER 488 NEW BEST:: SOT 1092386282 SOS 687849164 HAS SOPS 687849164 HAS SOUS 208078290 HAS SOUPS 208078290 WITH SCORE 2.08766139164E8
AT ITER 489 NEW BEST:: SOT 1092364214 SOS 687793992 HAS SOPS 687793992 HAS SOUS 208078288 HAS SOUPS 208078288 WITH SCORE 2.08766081992E8
AT ITER 492 NEW BEST:: SOT 1092349514 SOS 687757240 HAS SOPS 687757240 HAS SOUS 208078286 HAS SOUPS 208078286 WITH SCORE 2.0876604324E8
AT ITER 498 NEW BEST:: SOT 1092340198 SOS 687733947 HAS SOPS 687733947 HAS SOUS 208078281 HAS SOUPS 208078281 WITH SCORE 2.08766014947E8
AT ITER 520 NEW BEST:: SOT 1092320540 SOS 687684801 HAS SOPS 687684801 HAS SOUS 208078280 HAS SOUPS 208078280 WITH SCORE 2.08765964801E8
AT ITER 521 NEW BEST:: SOT 1092308318 SOS 687654244 HAS SOPS 687654244 HAS SOUS 208078278 HAS SOUPS 208078278 WITH SCORE 2.08765932244E8
AT ITER 529 NEW BEST:: SOT 1092298976 SOS 687630888 HAS SOPS 687630888 HAS SOUS 208078277 HAS SOUPS 208078277 WITH SCORE 2.08765907888E8
AT ITER 535 NEW BEST:: SOT 1092292682 SOS 687615153 HAS SOPS 687615153 HAS SOUS 208078277 HAS SOUPS 208078277 WITH SCORE 2.08765892153E8
AT ITER 538 NEW BEST:: SOT 1092256922 SOS 687525750 HAS SOPS 687525750 HAS SOUS 208078272 HAS SOUPS 208078272 WITH SCORE 2.0876579775E8
AT ITER 539 NEW BEST:: SOT 1092245318 SOS 687496739 HAS SOPS 687496739 HAS SOUS 208078271 HAS SOUPS 208078271 WITH SCORE 2.08765767739E8
AT ITER 540 NEW BEST:: SOT 1092239368 SOS 687481863 HAS SOPS 687481863 HAS SOUS 208078270 HAS SOUPS 208078270 WITH SCORE 2.08765751863E8
AT ITER 545 NEW BEST:: SOT 1092215760 SOS 687422840 HAS SOPS 687422840 HAS SOUS 208078265 HAS SOUPS 208078265 WITH SCORE 2.0876568784E8
AT ITER 558 NEW BEST:: SOT 1092204618 SOS 687394983 HAS SOPS 687394983 HAS SOUS 208078263 HAS SOUPS 208078263 WITH SCORE 2.08765657983E8
AT ITER 564 NEW BEST:: SOT 1092183038 SOS 687341033 HAS SOPS 687341033 HAS SOUS 208078263 HAS SOUPS 208078263 WITH SCORE 2.08765604033E8
AT ITER 568 NEW BEST:: SOT 1092172584 SOS 687314895 HAS SOPS 687314895 HAS SOUS 208078258 HAS SOUPS 208078258 WITH SCORE 2.08765572895E8
AT ITER 574 NEW BEST:: SOT 1092167954 SOS 687303318 HAS SOPS 687303318 HAS SOUS 208078256 HAS SOUPS 208078256 WITH SCORE 2.08765559318E8
AT ITER 586 NEW BEST:: SOT 1092143844 SOS 687243043 HAS SOPS 687243043 HAS SOUS 208078256 HAS SOUPS 208078256 WITH SCORE 2.08765499043E8
AT ITER 591 NEW BEST:: SOT 1092134928 SOS 687220752 HAS SOPS 687220752 HAS SOUS 208078255 HAS SOUPS 208078255 WITH SCORE 2.08765475752E8
AT ITER 592 NEW BEST:: SOT 1092109796 SOS 687157922 HAS SOPS 687157922 HAS SOUS 208078255 HAS SOUPS 208078255 WITH SCORE 2.08765412922E8
AT ITER 595 NEW BEST:: SOT 1092080102 SOS 687083686 HAS SOPS 687083686 HAS SOUS 208078254 HAS SOUPS 208078254 WITH SCORE 2.08765337686E8
AT ITER 599 NEW BEST:: SOT 1092065242 SOS 687046536 HAS SOPS 687046536 HAS SOUS 208078254 HAS SOUPS 208078254 WITH SCORE 2.08765300536E8
AT ITER 610 NEW BEST:: SOT 1092054112 SOS 687018708 HAS SOPS 687018708 HAS SOUS 208078249 HAS SOUPS 208078249 WITH SCORE 2.08765267708E8
AT ITER 615 NEW BEST:: SOT 1092040328 SOS 686984245 HAS SOPS 686984245 HAS SOUS 208078244 HAS SOUPS 208078244 WITH SCORE 2.08765228245E8
AT ITER 632 NEW BEST:: SOT 1092030352 SOS 686959305 HAS SOPS 686959305 HAS SOUS 208078244 HAS SOUPS 208078244 WITH SCORE 2.08765203305E8
AT ITER 636 NEW BEST:: SOT 1092016984 SOS 686925884 HAS SOPS 686925884 HAS SOUS 208078243 HAS SOUPS 208078243 WITH SCORE 2.08765168884E8
AT ITER 643 NEW BEST:: SOT 1091997082 SOS 686876126 HAS SOPS 686876126 HAS SOUS 208078238 HAS SOUPS 208078238 WITH SCORE 2.08765114126E8
AT ITER 649 NEW BEST:: SOT 1091944479 SOS 686770915 HAS SOPS 686770915 HAS SOUS 208065751 HAS SOUPS 208065751 WITH SCORE 2.08752521915E8
AT ITER 651 NEW BEST:: SOT 1091892297 SOS 686666545 HAS SOPS 686666545 HAS SOUS 208050314 HAS SOUPS 208050314 WITH SCORE 2.08736980545E8
AT ITER 653 NEW BEST:: SOT 1091877597 SOS 686629794 HAS SOPS 686629794 HAS SOUS 208050313 HAS SOUPS 208050313 WITH SCORE 2.08736942794E8
AT ITER 654 NEW BEST:: SOT 1091874681 SOS 686622503 HAS SOPS 686622503 HAS SOUS 208050312 HAS SOUPS 208050312 WITH SCORE 2.08736934503E8
AT ITER 676 NEW BEST:: SOT 1091862457 SOS 686591941 HAS SOPS 686591941 HAS SOUS 208050310 HAS SOUPS 208050310 WITH SCORE 2.08736901941E8
AT ITER 682 NEW BEST:: SOT 1091846963 SOS 686553203 HAS SOPS 686553203 HAS SOUS 208050305 HAS SOUPS 208050305 WITH SCORE 2.08736858203E8
AT ITER 686 NEW BEST:: SOT 1091836913 SOS 686528078 HAS SOPS 686528078 HAS SOUS 208050305 HAS SOUPS 208050305 WITH SCORE 2.08736833078E8
AT ITER 716 NEW BEST:: SOT 1091827479 SOS 686504490 HAS SOPS 686504490 HAS SOUS 208050300 HAS SOUPS 208050300 WITH SCORE 2.0873680449E8
AT ITER 720 NEW BEST:: SOT 1091816647 SOS 686477409 HAS SOPS 686477409 HAS SOUS 208050299 HAS SOUPS 208050299 WITH SCORE 2.08736776409E8
AT ITER 731 NEW BEST:: SOT 1091806705 SOS 686452551 HAS SOPS 686452551 HAS SOUS 208050294 HAS SOUPS 208050294 WITH SCORE 2.08736746551E8
AT ITER 747 NEW BEST:: SOT 1091795747 SOS 686425154 HAS SOPS 686425154 HAS SOUS 208050292 HAS SOUPS 208050292 WITH SCORE 2.08736717154E8
AT ITER 750 NEW BEST:: SOT 1091768333 SOS 686356617 HAS SOPS 686356617 HAS SOUS 208050290 HAS SOUPS 208050290 WITH SCORE 2.08736646617E8
AT ITER 755 NEW BEST:: SOT 1091737705 SOS 686280047 HAS SOPS 686280047 HAS SOUS 208050290 HAS SOUPS 208050290 WITH SCORE 2.08736570047E8
AT ITER 757 NEW BEST:: SOT 1091727223 SOS 686259080 HAS SOPS 686259080 HAS SOUS 208046791 HAS SOUPS 208046791 WITH SCORE 2.0873305008E8
AT ITER 759 NEW BEST:: SOT 1091696875 SOS 686183207 HAS SOPS 686183207 HAS SOUS 208046786 HAS SOUPS 208046786 WITH SCORE 2.08732969207E8
AT ITER 772 NEW BEST:: SOT 1091682917 SOS 686148310 HAS SOPS 686148310 HAS SOUS 208046784 HAS SOUPS 208046784 WITH SCORE 2.0873293231E8
AT ITER 784 NEW BEST:: SOT 1091669257 SOS 686114157 HAS SOPS 686114157 HAS SOUS 208046779 HAS SOUPS 208046779 WITH SCORE 2.08732893157E8
AT ITER 793 NEW BEST:: SOT 1091654297 SOS 686076755 HAS SOPS 686076755 HAS SOUS 208046777 HAS SOUPS 208046777 WITH SCORE 2.08732853755E8
AT ITER 797 NEW BEST:: SOT 1091638553 SOS 686037395 HAS SOPS 686037395 HAS SOUS 208046777 HAS SOUPS 208046777 WITH SCORE 2.08732814395E8
AT ITER 800 NEW BEST:: SOT 1091608347 SOS 685961880 HAS SOPS 685961880 HAS SOUS 208046777 HAS SOUPS 208046777 WITH SCORE 2.0873273888E8
AT ITER 808 NEW BEST:: SOT 1091597129 SOS 685933835 HAS SOPS 685933835 HAS SOUS 208046777 HAS SOUPS 208046777 WITH SCORE 2.08732710835E8
AT ITER 809 NEW BEST:: SOT 1091577297 SOS 685884255 HAS SOPS 685884255 HAS SOUS 208046777 HAS SOUPS 208046777 WITH SCORE 2.08732661255E8
AT ITER 817 NEW BEST:: SOT 1091560293 SOS 685841742 HAS SOPS 685841742 HAS SOUS 208046772 HAS SOUPS 208046772 WITH SCORE 2.08732613742E8
AT ITER 822 NEW BEST:: SOT 1091524397 SOS 685752000 HAS SOPS 685752000 HAS SOUS 208046770 HAS SOUPS 208046770 WITH SCORE 2.08732522E8
AT ITER 823 NEW BEST:: SOT 1091508453 SOS 685712139 HAS SOPS 685712139 HAS SOUS 208046769 HAS SOUPS 208046769 WITH SCORE 2.08732481139E8
AT ITER 836 NEW BEST:: SOT 1091506685 SOS 685707719 HAS SOPS 685707719 HAS SOUS 208046769 HAS SOUPS 208046769 WITH SCORE 2.08732476719E8
AT ITER 840 NEW BEST:: SOT 1091492783 SOS 685672961 HAS SOPS 685672961 HAS SOUS 208046764 HAS SOUPS 208046764 WITH SCORE 2.08732436961E8
AT ITER 847 NEW BEST:: SOT 1091463939 SOS 685600850 HAS SOPS 685600850 HAS SOUS 208046763 HAS SOUPS 208046763 WITH SCORE 2.0873236385E8
AT ITER 852 NEW BEST:: SOT 1091462711 SOS 685597779 HAS SOPS 685597779 HAS SOUS 208046762 HAS SOUPS 208046762 WITH SCORE 2.08732359779E8
AT ITER 863 NEW BEST:: SOT 1091428719 SOS 685512796 HAS SOPS 685512796 HAS SOUS 208046757 HAS SOUPS 208046757 WITH SCORE 2.08732269796E8
AT ITER 875 NEW BEST:: SOT 1091409975 SOS 685465936 HAS SOPS 685465936 HAS SOUS 208046757 HAS SOUPS 208046757 WITH SCORE 2.08732222936E8
AT ITER 890 NEW BEST:: SOT 1091403881 SOS 685450700 HAS SOPS 685450700 HAS SOUS 208046756 HAS SOUPS 208046756 WITH SCORE 2.087322067E8
AT ITER 891 NEW BEST:: SOT 1091392661 SOS 685422650 HAS SOPS 685422650 HAS SOUS 208046756 HAS SOUPS 208046756 WITH SCORE 2.0873217865E8
AT ITER 895 NEW BEST:: SOT 1091367607 SOS 685360013 HAS SOPS 685360013 HAS SOUS 208046754 HAS SOUPS 208046754 WITH SCORE 2.08732114013E8
AT ITER 902 NEW BEST:: SOT 1091357209 SOS 685334015 HAS SOPS 685334015 HAS SOUS 208046749 HAS SOUPS 208046749 WITH SCORE 2.08732083015E8
AT ITER 924 NEW BEST:: SOT 1091333291 SOS 685274217 HAS SOPS 685274217 HAS SOUS 208046744 HAS SOUPS 208046744 WITH SCORE 2.08732018217E8
AT ITER 925 NEW BEST:: SOT 1091309753 SOS 685215371 HAS SOPS 685215371 HAS SOUS 208046743 HAS SOUPS 208046743 WITH SCORE 2.08731958371E8
AT ITER 927 NEW BEST:: SOT 1091307998 SOS 685211861 HAS SOPS 685211861 HAS SOUS 208046158 HAS SOUPS 208046158 WITH SCORE 2.08731369861E8
AT ITER 942 NEW BEST:: SOT 1091258185 SOS 685112232 HAS SOPS 685112232 HAS SOUS 208040169 HAS SOUPS 208040169 WITH SCORE 2.08725281232E8
AT ITER 943 NEW BEST:: SOT 1091242385 SOS 685072729 HAS SOPS 685072729 HAS SOUS 208040164 HAS SOUPS 208040164 WITH SCORE 2.08725236729E8
AT ITER 947 NEW BEST:: SOT 1091215515 SOS 685005553 HAS SOPS 685005553 HAS SOUS 208040163 HAS SOUPS 208040163 WITH SCORE 2.08725168553E8
AT ITER 950 NEW BEST:: SOT 1091208701 SOS 684988517 HAS SOPS 684988517 HAS SOUS 208040162 HAS SOUPS 208040162 WITH SCORE 2.08725150517E8
AT ITER 956 NEW BEST:: SOT 1091201219 SOS 684969811 HAS SOPS 684969811 HAS SOUS 208040161 HAS SOUPS 208040161 WITH SCORE 2.08725130811E8
AT ITER 964 NEW BEST:: SOT 1091196525 SOS 684958076 HAS SOPS 684958076 HAS SOUS 208040161 HAS SOUPS 208040161 WITH SCORE 2.08725119076E8
AT ITER 987 NEW BEST:: SOT 1091170683 SOS 684893471 HAS SOPS 684893471 HAS SOUS 208040161 HAS SOUPS 208040161 WITH SCORE 2.08725054471E8
AT ITER 989 NEW BEST:: SOT 1091151639 SOS 684845858 HAS SOPS 684845858 HAS SOUS 208040156 HAS SOUPS 208040156 WITH SCORE 2.08725001858E8
AT ITER 999 NEW BEST:: SOT 1091126928 SOS 684774879 HAS SOPS 684774879 HAS SOUS 208034967 HAS SOUPS 208034967 WITH SCORE 2.08719741879E8
AT ITER 1025 NEW BEST:: SOT 1091114556 SOS 684743947 HAS SOPS 684743947 HAS SOUS 208034965 HAS SOUPS 208034965 WITH SCORE 2.08719708947E8
AT ITER 1047 NEW BEST:: SOT 1091063035 SOS 684640899 HAS SOPS 684640899 HAS SOUS 208027407 HAS SOUPS 208027407 WITH SCORE 2.08712047899E8
AT ITER 1053 NEW BEST:: SOT 1091035253 SOS 684571443 HAS SOPS 684571443 HAS SOUS 208027406 HAS SOUPS 208027406 WITH SCORE 2.08711977443E8
AT ITER 1054 NEW BEST:: SOT 1091010333 SOS 684509140 HAS SOPS 684509140 HAS SOUS 208027401 HAS SOUPS 208027401 WITH SCORE 2.0871191014E8
AT ITER 1057 NEW BEST:: SOT 1090979791 SOS 684432785 HAS SOPS 684432785 HAS SOUS 208027401 HAS SOUPS 208027401 WITH SCORE 2.08711833785E8
AT ITER 1064 NEW BEST:: SOT 1090965873 SOS 684397989 HAS SOPS 684397989 HAS SOUS 208027400 HAS SOUPS 208027400 WITH SCORE 2.08711797989E8
AT ITER 1074 NEW BEST:: SOT 1090934721 SOS 684320109 HAS SOPS 684320109 HAS SOUS 208027400 HAS SOUPS 208027400 WITH SCORE 2.08711720109E8
AT ITER 1077 NEW BEST:: SOT 1090921382 SOS 684293427 HAS SOPS 684293427 HAS SOUS 208023897 HAS SOUPS 208023897 WITH SCORE 2.08708190427E8
AT ITER 1079 NEW BEST:: SOT 1090903848 SOS 684249590 HAS SOPS 684249590 HAS SOUS 208023895 HAS SOUPS 208023895 WITH SCORE 2.0870814459E8
AT ITER 1081 NEW BEST:: SOT 1090889484 SOS 684213680 HAS SOPS 684213680 HAS SOUS 208023895 HAS SOUPS 208023895 WITH SCORE 2.0870810868E8
AT ITER 1088 NEW BEST:: SOT 1090879492 SOS 684188700 HAS SOPS 684188700 HAS SOUS 208023895 HAS SOUPS 208023895 WITH SCORE 2.087080837E8
AT ITER 1099 NEW BEST:: SOT 1090846076 SOS 684105157 HAS SOPS 684105157 HAS SOUS 208023890 HAS SOUPS 208023890 WITH SCORE 2.08707995157E8
AT ITER 1100 NEW BEST:: SOT 1090835408 SOS 684078487 HAS SOPS 684078487 HAS SOUS 208023890 HAS SOUPS 208023890 WITH SCORE 2.08707968487E8
AT ITER 1101 NEW BEST:: SOT 1090821544 SOS 684043826 HAS SOPS 684043826 HAS SOUS 208023889 HAS SOUPS 208023889 WITH SCORE 2.08707932826E8
AT ITER 1109 NEW BEST:: SOT 1090814530 SOS 684026290 HAS SOPS 684026290 HAS SOUS 208023888 HAS SOUPS 208023888 WITH SCORE 2.0870791429E8
AT ITER 1114 NEW BEST:: SOT 1090793066 SOS 683972627 HAS SOPS 683972627 HAS SOUS 208023883 HAS SOUPS 208023883 WITH SCORE 2.08707855627E8
AT ITER 1118 NEW BEST:: SOT 1090758756 SOS 683886851 HAS SOPS 683886851 HAS SOUS 208023882 HAS SOUPS 208023882 WITH SCORE 2.08707768851E8
AT ITER 1120 NEW BEST:: SOT 1090706758 SOS 683782851 HAS SOPS 683782851 HAS SOUS 208009542 HAS SOUPS 208009542 WITH SCORE 2.08693324851E8
AT ITER 1123 NEW BEST:: SOT 1090697410 SOS 683759480 HAS SOPS 683759480 HAS SOUS 208009541 HAS SOUPS 208009541 WITH SCORE 2.0869330048E8
AT ITER 1134 NEW BEST:: SOT 1090664440 SOS 683677054 HAS SOPS 683677054 HAS SOUS 208009540 HAS SOUPS 208009540 WITH SCORE 2.08693217054E8
AT ITER 1137 NEW BEST:: SOT 1090638959 SOS 683592135 HAS SOPS 683592135 HAS SOUS 208007233 HAS SOUPS 208007233 WITH SCORE 2.08690825135E8
AT ITER 1143 NEW BEST:: SOT 1090625501 SOS 683558489 HAS SOPS 683558489 HAS SOUS 208007232 HAS SOUPS 208007232 WITH SCORE 2.08690790489E8
AT ITER 1149 NEW BEST:: SOT 1090604025 SOS 683504797 HAS SOPS 683504797 HAS SOUS 208007230 HAS SOUPS 208007230 WITH SCORE 2.08690734797E8
AT ITER 1167 NEW BEST:: SOT 1090598187 SOS 683490199 HAS SOPS 683490199 HAS SOUS 208007225 HAS SOUPS 208007225 WITH SCORE 2.08690715199E8
AT ITER 1184 NEW BEST:: SOT 1090583271 SOS 683452908 HAS SOPS 683452908 HAS SOUS 208007224 HAS SOUPS 208007224 WITH SCORE 2.08690676908E8
AT ITER 1185 NEW BEST:: SOT 1090550694 SOS 683355483 HAS SOPS 683355483 HAS SOUS 207997214 HAS SOUPS 207997214 WITH SCORE 2.08680569483E8
AT ITER 1189 NEW BEST:: SOT 1090539628 SOS 683327818 HAS SOPS 683327818 HAS SOUS 207997214 HAS SOUPS 207997214 WITH SCORE 2.08680541818E8
AT ITER 1192 NEW BEST:: SOT 1090527492 SOS 683297476 HAS SOPS 683297476 HAS SOUS 207997212 HAS SOUPS 207997212 WITH SCORE 2.08680509476E8
AT ITER 1194 NEW BEST:: SOT 1090515810 SOS 683268269 HAS SOPS 683268269 HAS SOUS 207997210 HAS SOUPS 207997210 WITH SCORE 2.08680478269E8
AT ITER 1195 NEW BEST:: SOT 1090505798 SOS 683243236 HAS SOPS 683243236 HAS SOUS 207997205 HAS SOUPS 207997205 WITH SCORE 2.08680448236E8
AT ITER 1201 NEW BEST:: SOT 1090490914 SOS 683206025 HAS SOPS 683206025 HAS SOUS 207997204 HAS SOUPS 207997204 WITH SCORE 2.08680410025E8
AT ITER 1202 NEW BEST:: SOT 1090459520 SOS 683127540 HAS SOPS 683127540 HAS SOUS 207997204 HAS SOUPS 207997204 WITH SCORE 2.0868033154E8
AT ITER 1208 NEW BEST:: SOT 1090431636 SOS 683057829 HAS SOPS 683057829 HAS SOUS 207997203 HAS SOUPS 207997203 WITH SCORE 2.08680260829E8
AT ITER 1210 NEW BEST:: SOT 1090398450 SOS 682974862 HAS SOPS 682974862 HAS SOUS 207997201 HAS SOUPS 207997201 WITH SCORE 2.08680175862E8
AT ITER 1211 NEW BEST:: SOT 1090394184 SOS 682964197 HAS SOPS 682964197 HAS SOUS 207997201 HAS SOUPS 207997201 WITH SCORE 2.08680165197E8
AT ITER 1212 NEW BEST:: SOT 1090341773 SOS 682858785 HAS SOPS 682858785 HAS SOUS 207981589 HAS SOUPS 207981589 WITH SCORE 2.08664447785E8
AT ITER 1213 NEW BEST:: SOT 1090328935 SOS 682826687 HAS SOPS 682826687 HAS SOUS 207981584 HAS SOUPS 207981584 WITH SCORE 2.08664410687E8
AT ITER 1228 NEW BEST:: SOT 1090306235 SOS 682769936 HAS SOPS 682769936 HAS SOUS 207981583 HAS SOUPS 207981583 WITH SCORE 2.08664352936E8
AT ITER 1240 NEW BEST:: SOT 1090278215 SOS 682699886 HAS SOPS 682699886 HAS SOUS 207981583 HAS SOUPS 207981583 WITH SCORE 2.08664282886E8
AT ITER 1253 NEW BEST:: SOT 1090258031 SOS 682649423 HAS SOPS 682649423 HAS SOUS 207981578 HAS SOUPS 207981578 WITH SCORE 2.08664227423E8
AT ITER 1254 NEW BEST:: SOT 1090242747 SOS 682611211 HAS SOPS 682611211 HAS SOUS 207981576 HAS SOUPS 207981576 WITH SCORE 2.08664187211E8
AT ITER 1261 NEW BEST:: SOT 1090228785 SOS 682576306 HAS SOPS 682576306 HAS SOUS 207981576 HAS SOUPS 207981576 WITH SCORE 2.08664152306E8
AT ITER 1265 NEW BEST:: SOT 1090199543 SOS 682503200 HAS SOPS 682503200 HAS SOUS 207981575 HAS SOUPS 207981575 WITH SCORE 2.086640782E8
AT ITER 1276 NEW BEST:: SOT 1090186067 SOS 682469507 HAS SOPS 682469507 HAS SOUS 207981570 HAS SOUPS 207981570 WITH SCORE 2.08664039507E8
AT ITER 1286 NEW BEST:: SOT 1090161327 SOS 682407654 HAS SOPS 682407654 HAS SOUS 207981565 HAS SOUPS 207981565 WITH SCORE 2.08663972654E8
AT ITER 1290 NEW BEST:: SOT 1090147079 SOS 682372034 HAS SOPS 682372034 HAS SOUS 207981565 HAS SOUPS 207981565 WITH SCORE 2.08663937034E8
AT ITER 1292 NEW BEST:: SOT 1090131451 SOS 682332963 HAS SOPS 682332963 HAS SOUS 207981564 HAS SOUPS 207981564 WITH SCORE 2.08663896963E8
AT ITER 1294 NEW BEST:: SOT 1090125743 SOS 682318690 HAS SOPS 682318690 HAS SOUS 207981559 HAS SOUPS 207981559 WITH SCORE 2.0866387769E8
AT ITER 1296 NEW BEST:: SOT 1090099993 SOS 682254314 HAS SOPS 682254314 HAS SOUS 207981558 HAS SOUPS 207981558 WITH SCORE 2.08663812314E8
AT ITER 1299 NEW BEST:: SOT 1090067423 SOS 682172887 HAS SOPS 682172887 HAS SOUS 207981556 HAS SOUPS 207981556 WITH SCORE 2.08663728887E8
AT ITER 1302 NEW BEST:: SOT 1090048377 SOS 682125270 HAS SOPS 682125270 HAS SOUS 207981554 HAS SOUPS 207981554 WITH SCORE 2.0866367927E8
AT ITER 1311 NEW BEST:: SOT 1090017231 SOS 682047404 HAS SOPS 682047404 HAS SOUS 207981553 HAS SOUPS 207981553 WITH SCORE 2.08663600404E8
AT ITER 1318 NEW BEST:: SOT 1089966953 SOS 681946845 HAS SOPS 681946845 HAS SOUS 207981643 HAS SOUPS 207981643 WITH SCORE 2.08663589845E8
AT ITER 1328 NEW BEST:: SOT 1089954629 SOS 681916032 HAS SOPS 681916032 HAS SOUS 207981638 HAS SOUPS 207981638 WITH SCORE 2.08663554032E8
AT ITER 1332 NEW BEST:: SOT 1089951055 SOS 681907096 HAS SOPS 681907096 HAS SOUS 207981637 HAS SOUPS 207981637 WITH SCORE 2.08663544096E8
AT ITER 1335 NEW BEST:: SOT 1089922599 SOS 681835953 HAS SOPS 681835953 HAS SOUS 207981632 HAS SOUPS 207981632 WITH SCORE 2.08663467953E8
AT ITER 1341 NEW BEST:: SOT 1089877441 SOS 681745631 HAS SOPS 681745631 HAS SOUS 207980652 HAS SOUPS 207980652 WITH SCORE 2.08662397631E8
AT ITER 1343 NEW BEST:: SOT 1089854965 SOS 681689438 HAS SOPS 681689438 HAS SOUS 207980647 HAS SOUPS 207980647 WITH SCORE 2.08662336438E8
AT ITER 1366 NEW BEST:: SOT 1089847297 SOS 681670265 HAS SOPS 681670265 HAS SOUS 207980642 HAS SOUPS 207980642 WITH SCORE 2.08662312265E8
AT ITER 1368 NEW BEST:: SOT 1089818539 SOS 681598368 HAS SOPS 681598368 HAS SOUS 207980640 HAS SOUPS 207980640 WITH SCORE 2.08662238368E8
AT ITER 1384 NEW BEST:: SOT 1089798919 SOS 681549317 HAS SOPS 681549317 HAS SOUS 207980639 HAS SOUPS 207980639 WITH SCORE 2.08662188317E8
AT ITER 1390 NEW BEST:: SOT 1089784749 SOS 681513889 HAS SOPS 681513889 HAS SOUS 207980634 HAS SOUPS 207980634 WITH SCORE 2.08662147889E8
AT ITER 1394 NEW BEST:: SOT 1089773369 SOS 681485439 HAS SOPS 681485439 HAS SOUS 207980634 HAS SOUPS 207980634 WITH SCORE 2.08662119439E8
AT ITER 1398 NEW BEST:: SOT 1089747245 SOS 681420129 HAS SOPS 681420129 HAS SOUS 207980634 HAS SOUPS 207980634 WITH SCORE 2.08662054129E8
AT ITER 1403 NEW BEST:: SOT 1089734183 SOS 681387473 HAS SOPS 681387473 HAS SOUS 207980633 HAS SOUPS 207980633 WITH SCORE 2.08662020473E8
AT ITER 1405 NEW BEST:: SOT 1089712667 SOS 681333681 HAS SOPS 681333681 HAS SOUS 207980631 HAS SOUPS 207980631 WITH SCORE 2.08661964681E8
AT ITER 1416 NEW BEST:: SOT 1089710541 SOS 681328364 HAS SOPS 681328364 HAS SOUS 207980629 HAS SOUPS 207980629 WITH SCORE 2.08661957364E8
AT ITER 1433 NEW BEST:: SOT 1089685887 SOS 681266727 HAS SOPS 681266727 HAS SOUS 207980627 HAS SOUPS 207980627 WITH SCORE 2.08661893727E8
AT ITER 1451 NEW BEST:: SOT 1089666513 SOS 681218291 HAS SOPS 681218291 HAS SOUS 207980626 HAS SOUPS 207980626 WITH SCORE 2.08661844291E8
AT ITER 1456 NEW BEST:: SOT 1089645265 SOS 681165170 HAS SOPS 681165170 HAS SOUS 207980625 HAS SOUPS 207980625 WITH SCORE 2.0866179017E8
AT ITER 1470 NEW BEST:: SOT 1089624643 SOS 681113612 HAS SOPS 681113612 HAS SOUS 207980620 HAS SOUPS 207980620 WITH SCORE 2.08661733612E8
AT ITER 1494 NEW BEST:: SOT 1089598111 SOS 681047280 HAS SOPS 681047280 HAS SOUS 207980618 HAS SOUPS 207980618 WITH SCORE 2.0866166528E8
AT ITER 1504 NEW BEST:: SOT 1089579385 SOS 681000463 HAS SOPS 681000463 HAS SOUS 207980616 HAS SOUPS 207980616 WITH SCORE 2.08661616463E8
AT ITER 1510 NEW BEST:: SOT 1089550891 SOS 680929226 HAS SOPS 680929226 HAS SOUS 207980614 HAS SOUPS 207980614 WITH SCORE 2.08661543226E8
AT ITER 1521 NEW BEST:: SOT 1089531263 SOS 680880153 HAS SOPS 680880153 HAS SOUS 207980609 HAS SOUPS 207980609 WITH SCORE 2.08661489153E8
AT ITER 1525 NEW BEST:: SOT 1089525599 SOS 680863235 HAS SOPS 680863235 HAS SOUS 207977851 HAS SOUPS 207977851 WITH SCORE 2.08658714235E8
AT ITER 1533 NEW BEST:: SOT 1089518999 SOS 680846733 HAS SOPS 680846733 HAS SOUS 207977849 HAS SOUPS 207977849 WITH SCORE 2.08658695733E8
AT ITER 1543 NEW BEST:: SOT 1089507257 SOS 680817377 HAS SOPS 680817377 HAS SOUS 207977848 HAS SOUPS 207977848 WITH SCORE 2.08658665377E8
AT ITER 1549 NEW BEST:: SOT 1089481721 SOS 680753537 HAS SOPS 680753537 HAS SOUS 207977848 HAS SOUPS 207977848 WITH SCORE 2.08658601537E8
AT ITER 1550 NEW BEST:: SOT 1089466129 SOS 680714556 HAS SOPS 680714556 HAS SOUS 207977847 HAS SOUPS 207977847 WITH SCORE 2.08658561556E8
AT ITER 1567 NEW BEST:: SOT 1089435649 SOS 680638353 HAS SOPS 680638353 HAS SOUS 207977842 HAS SOUPS 207977842 WITH SCORE 2.08658480353E8
AT ITER 1568 NEW BEST:: SOT 1089418437 SOS 680595323 HAS SOPS 680595323 HAS SOUS 207977842 HAS SOUPS 207977842 WITH SCORE 2.08658437323E8
AT ITER 1571 NEW BEST:: SOT 1089392137 SOS 680517440 HAS SOPS 680517440 HAS SOUS 207971838 HAS SOUPS 207971838 WITH SCORE 2.0865235544E8
AT ITER 1587 NEW BEST:: SOT 1089378633 SOS 680483677 HAS SOPS 680483677 HAS SOUS 207971833 HAS SOUPS 207971833 WITH SCORE 2.08652316677E8
AT ITER 1609 NEW BEST:: SOT 1089356925 SOS 680429406 HAS SOPS 680429406 HAS SOUS 207971832 HAS SOUPS 207971832 WITH SCORE 2.08652261406E8
AT ITER 1614 NEW BEST:: SOT 1089331631 SOS 680366169 HAS SOPS 680366169 HAS SOUS 207971830 HAS SOUPS 207971830 WITH SCORE 2.08652196169E8
AT ITER 1625 NEW BEST:: SOT 1089311145 SOS 680314952 HAS SOPS 680314952 HAS SOUS 207971828 HAS SOUPS 207971828 WITH SCORE 2.08652142952E8
AT ITER 1633 NEW BEST:: SOT 1089288235 SOS 680257675 HAS SOPS 680257675 HAS SOUS 207971826 HAS SOUPS 207971826 WITH SCORE 2.08652083675E8
AT ITER 1637 NEW BEST:: SOT 1089274981 SOS 680224537 HAS SOPS 680224537 HAS SOUS 207971821 HAS SOUPS 207971821 WITH SCORE 2.08652045537E8
AT ITER 1642 NEW BEST:: SOT 1089244119 SOS 680147380 HAS SOPS 680147380 HAS SOUS 207971819 HAS SOUPS 207971819 WITH SCORE 2.0865196638E8
AT ITER 1646 NEW BEST:: SOT 1089211159 SOS 680064979 HAS SOPS 680064979 HAS SOUS 207971818 HAS SOUPS 207971818 WITH SCORE 2.08651882979E8
AT ITER 1651 NEW BEST:: SOT 1089190943 SOS 680014436 HAS SOPS 680014436 HAS SOUS 207971813 HAS SOUPS 207971813 WITH SCORE 2.08651827436E8
AT ITER 1652 NEW BEST:: SOT 1089171815 SOS 679966616 HAS SOPS 679966616 HAS SOUS 207971813 HAS SOUPS 207971813 WITH SCORE 2.08651779616E8
AT ITER 1661 NEW BEST:: SOT 1089163181 SOS 679945029 HAS SOPS 679945029 HAS SOUS 207971811 HAS SOUPS 207971811 WITH SCORE 2.08651756029E8
AT ITER 1669 NEW BEST:: SOT 1089145049 SOS 679899698 HAS SOPS 679899698 HAS SOUS 207971810 HAS SOUPS 207971810 WITH SCORE 2.08651709698E8
AT ITER 1678 NEW BEST:: SOT 1089145049 SOS 679899695 HAS SOPS 679899695 HAS SOUS 207971805 HAS SOUPS 207971805 WITH SCORE 2.08651704695E8
AT ITER 1695 NEW BEST:: SOT 1089093934 SOS 679797462 HAS SOPS 679797462 HAS SOUS 207958517 HAS SOUPS 207958517 WITH SCORE 2.08638314462E8
AT ITER 1699 NEW BEST:: SOT 1089062536 SOS 679718967 HAS SOPS 679718967 HAS SOUS 207958517 HAS SOUPS 207958517 WITH SCORE 2.08638235967E8
AT ITER 1701 NEW BEST:: SOT 1089046984 SOS 679680084 HAS SOPS 679680084 HAS SOUS 207958512 HAS SOUPS 207958512 WITH SCORE 2.08638192084E8
AT ITER 1707 NEW BEST:: SOT 1089039792 SOS 679662101 HAS SOPS 679662101 HAS SOUS 207958507 HAS SOUPS 207958507 WITH SCORE 2.08638169101E8
AT ITER 1709 NEW BEST:: SOT 1089014586 SOS 679599083 HAS SOPS 679599083 HAS SOUS 207958502 HAS SOUPS 207958502 WITH SCORE 2.08638101083E8
AT ITER 1713 NEW BEST:: SOT 1088990918 SOS 679539913 HAS SOPS 679539913 HAS SOUS 207958502 HAS SOUPS 207958502 WITH SCORE 2.08638041913E8
AT ITER 1717 NEW BEST:: SOT 1088981118 SOS 679515412 HAS SOPS 679515412 HAS SOUS 207958501 HAS SOUPS 207958501 WITH SCORE 2.08638016412E8
AT ITER 1728 NEW BEST:: SOT 1088963600 SOS 679471617 HAS SOPS 679471617 HAS SOUS 207958501 HAS SOUPS 207958501 WITH SCORE 2.08637972617E8
AT ITER 1743 NEW BEST:: SOT 1088963600 SOS 679471614 HAS SOPS 679471614 HAS SOUS 207958496 HAS SOUPS 207958496 WITH SCORE 2.08637967614E8
AT ITER 1748 NEW BEST:: SOT 1088953980 SOS 679447564 HAS SOPS 679447564 HAS SOUS 207958496 HAS SOUPS 207958496 WITH SCORE 2.08637943564E8
AT ITER 1754 NEW BEST:: SOT 1088942834 SOS 679419698 HAS SOPS 679419698 HAS SOUS 207958495 HAS SOUPS 207958495 WITH SCORE 2.08637914698E8
AT ITER 1761 NEW BEST:: SOT 1088907292 SOS 679330842 HAS SOPS 679330842 HAS SOUS 207958494 HAS SOUPS 207958494 WITH SCORE 2.08637824842E8
AT ITER 1764 NEW BEST:: SOT 1088878572 SOS 679259041 HAS SOPS 679259041 HAS SOUS 207958493 HAS SOUPS 207958493 WITH SCORE 2.08637752041E8
AT ITER 1783 NEW BEST:: SOT 1088860780 SOS 679214560 HAS SOPS 679214560 HAS SOUS 207958492 HAS SOUPS 207958492 WITH SCORE 2.0863770656E8
AT ITER 1784 NEW BEST:: SOT 1088840064 SOS 679147132 HAS SOPS 679147132 HAS SOUS 207958130 HAS SOUPS 207958130 WITH SCORE 2.08637277132E8
AT ITER 1790 NEW BEST:: SOT 1088840064 SOS 679147131 HAS SOPS 679147131 HAS SOUS 207958129 HAS SOUPS 207958129 WITH SCORE 2.08637276131E8
AT ITER 1791 NEW BEST:: SOT 1088833552 SOS 679127595 HAS SOPS 679127595 HAS SOUS 207954873 HAS SOUPS 207954873 WITH SCORE 2.08634000595E8
AT ITER 1795 NEW BEST:: SOT 1088811000 SOS 679064709 HAS SOPS 679064709 HAS SOUS 207952914 HAS SOUPS 207952914 WITH SCORE 2.08631978709E8
AT ITER 1808 NEW BEST:: SOT 1088793288 SOS 679020426 HAS SOPS 679020426 HAS SOUS 207952909 HAS SOUPS 207952909 WITH SCORE 2.08631929426E8
AT ITER 1811 NEW BEST:: SOT 1088769736 SOS 678961546 HAS SOPS 678961546 HAS SOUS 207952909 HAS SOUPS 207952909 WITH SCORE 2.08631870546E8
AT ITER 1812 NEW BEST:: SOT 1088746380 SOS 678903154 HAS SOPS 678903154 HAS SOUS 207952907 HAS SOUPS 207952907 WITH SCORE 2.08631810154E8
AT ITER 1822 NEW BEST:: SOT 1088731998 SOS 678867199 HAS SOPS 678867199 HAS SOUS 207952907 HAS SOUPS 207952907 WITH SCORE 2.08631774199E8
AT ITER 1823 NEW BEST:: SOT 1088709980 SOS 678812153 HAS SOPS 678812153 HAS SOUS 207952906 HAS SOUPS 207952906 WITH SCORE 2.08631718153E8
AT ITER 1830 NEW BEST:: SOT 1088691958 SOS 678767097 HAS SOPS 678767097 HAS SOUS 207952905 HAS SOUPS 207952905 WITH SCORE 2.08631672097E8
AT ITER 1835 NEW BEST:: SOT 1088677632 SOS 678731282 HAS SOPS 678731282 HAS SOUS 207952905 HAS SOUPS 207952905 WITH SCORE 2.08631636282E8
AT ITER 1858 NEW BEST:: SOT 1088669460 SOS 678710851 HAS SOPS 678710851 HAS SOUS 207952904 HAS SOUPS 207952904 WITH SCORE 2.08631614851E8
AT ITER 1877 NEW BEST:: SOT 1088644472 SOS 678635887 HAS SOPS 678635887 HAS SOUS 207940410 HAS SOUPS 207940410 WITH SCORE 2.08619045887E8
AT ITER 1882 NEW BEST:: SOT 1088633810 SOS 678609230 HAS SOPS 678609230 HAS SOUS 207940408 HAS SOUPS 207940408 WITH SCORE 2.0861901723E8
AT ITER 1887 NEW BEST:: SOT 1088606240 SOS 678540302 HAS SOPS 678540302 HAS SOUS 207940403 HAS SOUPS 207940403 WITH SCORE 2.08618943302E8
AT ITER 1894 NEW BEST:: SOT 1088582714 SOS 678481487 HAS SOPS 678481487 HAS SOUS 207940403 HAS SOUPS 207940403 WITH SCORE 2.08618884487E8
AT ITER 1895 NEW BEST:: SOT 1088571358 SOS 678453097 HAS SOPS 678453097 HAS SOUS 207940403 HAS SOUPS 207940403 WITH SCORE 2.08618856097E8
AT ITER 1906 NEW BEST:: SOT 1088563258 SOS 678432847 HAS SOPS 678432847 HAS SOUS 207940403 HAS SOUPS 207940403 WITH SCORE 2.08618835847E8
AT ITER 1916 NEW BEST:: SOT 1088554296 SOS 678410441 HAS SOPS 678410441 HAS SOUS 207940402 HAS SOUPS 207940402 WITH SCORE 2.08618812441E8
AT ITER 1922 NEW BEST:: SOT 1088539438 SOS 678373293 HAS SOPS 678373293 HAS SOUS 207940397 HAS SOUPS 207940397 WITH SCORE 2.08618770293E8
AT ITER 1930 NEW BEST:: SOT 1088536450 SOS 678365822 HAS SOPS 678365822 HAS SOUS 207940396 HAS SOUPS 207940396 WITH SCORE 2.08618761822E8
AT ITER 1933 NEW BEST:: SOT 1088511788 SOS 678304165 HAS SOPS 678304165 HAS SOUS 207940394 HAS SOUPS 207940394 WITH SCORE 2.08618698165E8
AT ITER 1934 NEW BEST:: SOT 1088504492 SOS 678285923 HAS SOPS 678285923 HAS SOUS 207940392 HAS SOUPS 207940392 WITH SCORE 2.08618677923E8
AT ITER 1953 NEW BEST:: SOT 1088474150 SOS 678210065 HAS SOPS 678210065 HAS SOUS 207940387 HAS SOUPS 207940387 WITH SCORE 2.08618597065E8
AT ITER 1955 NEW BEST:: SOT 1088461830 SOS 678179264 HAS SOPS 678179264 HAS SOUS 207940386 HAS SOUPS 207940386 WITH SCORE 2.08618565264E8
AT ITER 1959 NEW BEST:: SOT 1088446890 SOS 678141913 HAS SOPS 678141913 HAS SOUS 207940385 HAS SOUPS 207940385 WITH SCORE 2.08618526913E8
AT ITER 1965 NEW BEST:: SOT 1088432154 SOS 678105071 HAS SOPS 678105071 HAS SOUS 207940383 HAS SOUPS 207940383 WITH SCORE 2.08618488071E8
AT ITER 1969 NEW BEST:: SOT 1088412042 SOS 678054789 HAS SOPS 678054789 HAS SOUS 207940381 HAS SOUPS 207940381 WITH SCORE 2.08618435789E8
AT ITER 1975 NEW BEST:: SOT 1088381238 SOS 677977778 HAS SOPS 677977778 HAS SOUS 207940380 HAS SOUPS 207940380 WITH SCORE 2.08618357778E8
AT ITER 1981 NEW BEST:: SOT 1088376784 SOS 677966641 HAS SOPS 677966641 HAS SOUS 207940378 HAS SOUPS 207940378 WITH SCORE 2.08618344641E8
AT ITER 1984 NEW BEST:: SOT 1088368054 SOS 677944814 HAS SOPS 677944814 HAS SOUS 207940376 HAS SOUPS 207940376 WITH SCORE 2.08618320814E8
AT ITER 1985 NEW BEST:: SOT 1088339918 SOS 677874471 HAS SOPS 677874471 HAS SOUS 207940371 HAS SOUPS 207940371 WITH SCORE 2.08618245471E8
AT ITER 1991 NEW BEST:: SOT 1088330666 SOS 677851340 HAS SOPS 677851340 HAS SOUS 207940370 HAS SOUPS 207940370 WITH SCORE 2.0861822134E8
AT ITER 2003 NEW BEST:: SOT 1088315470 SOS 677813350 HAS SOPS 677813350 HAS SOUS 207940370 HAS SOUPS 207940370 WITH SCORE 2.0861818335E8
AT ITER 2013 NEW BEST:: SOT 1088297592 SOS 677768655 HAS SOPS 677768655 HAS SOUS 207940370 HAS SOUPS 207940370 WITH SCORE 2.08618138655E8
AT ITER 2016 NEW BEST:: SOT 1088297592 SOS 677768653 HAS SOPS 677768653 HAS SOUS 207940368 HAS SOUPS 207940368 WITH SCORE 2.08618136653E8
AT ITER 2022 NEW BEST:: SOT 1088245745 SOS 677664956 HAS SOPS 677664956 HAS SOUS 207930972 HAS SOUPS 207930972 WITH SCORE 2.08608636956E8
AT ITER 2041 NEW BEST:: SOT 1088245745 SOS 677663020 HAS SOPS 677663020 HAS SOUS 207930536 HAS SOUPS 207930536 WITH SCORE 2.0860819902E8
AT ITER 2047 NEW BEST:: SOT 1088226165 SOS 677614069 HAS SOPS 677614069 HAS SOUS 207930535 HAS SOUPS 207930535 WITH SCORE 2.08608149069E8
AT ITER 2070 NEW BEST:: SOT 1088202604 SOS 677547119 HAS SOPS 677547119 HAS SOUS 207927040 HAS SOUPS 207927040 WITH SCORE 2.08604587119E8
AT ITER 2075 NEW BEST:: SOT 1088180782 SOS 677492563 HAS SOPS 677492563 HAS SOUS 207927039 HAS SOUPS 207927039 WITH SCORE 2.08604531563E8
AT ITER 2081 NEW BEST:: SOT 1088176632 SOS 677482186 HAS SOPS 677482186 HAS SOUS 207927037 HAS SOUPS 207927037 WITH SCORE 2.08604519186E8
AT ITER 2082 NEW BEST:: SOT 1088148380 SOS 677411555 HAS SOPS 677411555 HAS SOUS 207927036 HAS SOUPS 207927036 WITH SCORE 2.08604447555E8
AT ITER 2093 NEW BEST:: SOT 1088139452 SOS 677389232 HAS SOPS 677389232 HAS SOUS 207927031 HAS SOUPS 207927031 WITH SCORE 2.08604420232E8
AT ITER 2106 NEW BEST:: SOT 1088124808 SOS 677352621 HAS SOPS 677352621 HAS SOUS 207927030 HAS SOUPS 207927030 WITH SCORE 2.08604382621E8
AT ITER 2118 NEW BEST:: SOT 1088119164 SOS 677338509 HAS SOPS 677338509 HAS SOUS 207927028 HAS SOUPS 207927028 WITH SCORE 2.08604366509E8
AT ITER 2119 NEW BEST:: SOT 1088109250 SOS 677313724 HAS SOPS 677313724 HAS SOUS 207927028 HAS SOUPS 207927028 WITH SCORE 2.08604341724E8
AT ITER 2120 NEW BEST:: SOT 1088101674 SOS 677294784 HAS SOPS 677294784 HAS SOUS 207927028 HAS SOUPS 207927028 WITH SCORE 2.08604322784E8
AT ITER 2127 NEW BEST:: SOT 1088100180 SOS 677290302 HAS SOPS 677290302 HAS SOUS 207926281 HAS SOUPS 207926281 WITH SCORE 2.08603571302E8
AT ITER 2131 NEW BEST:: SOT 1088083254 SOS 677247985 HAS SOPS 677247985 HAS SOUS 207926279 HAS SOUPS 207926279 WITH SCORE 2.08603526985E8
AT ITER 2134 NEW BEST:: SOT 1088066192 SOS 677205329 HAS SOPS 677205329 HAS SOUS 207926278 HAS SOUPS 207926278 WITH SCORE 2.08603483329E8
AT ITER 2140 NEW BEST:: SOT 1088043682 SOS 677149052 HAS SOPS 677149052 HAS SOUS 207926276 HAS SOUPS 207926276 WITH SCORE 2.08603425052E8
AT ITER 2154 NEW BEST:: SOT 1088033460 SOS 677123494 HAS SOPS 677123494 HAS SOUS 207926271 HAS SOUPS 207926271 WITH SCORE 2.08603394494E8
AT ITER 2188 NEW BEST:: SOT 1088015372 SOS 677078271 HAS SOPS 677078271 HAS SOUS 207926266 HAS SOUPS 207926266 WITH SCORE 2.08603344271E8
AT ITER 2196 NEW BEST:: SOT 1087995132 SOS 677027670 HAS SOPS 677027670 HAS SOUS 207926265 HAS SOUPS 207926265 WITH SCORE 2.0860329267E8
AT ITER 2208 NEW BEST:: SOT 1087963196 SOS 676947827 HAS SOPS 676947827 HAS SOUS 207926260 HAS SOUPS 207926260 WITH SCORE 2.08603207827E8
AT ITER 2209 NEW BEST:: SOT 1087938092 SOS 676885066 HAS SOPS 676885066 HAS SOUS 207926259 HAS SOUPS 207926259 WITH SCORE 2.08603144066E8
AT ITER 2243 NEW BEST:: SOT 1087926422 SOS 676861726 HAS SOPS 676861726 HAS SOUS 207922369 HAS SOUPS 207922369 WITH SCORE 2.08599230726E8
AT ITER 2278 NEW BEST:: SOT 1087875756 SOS 676760390 HAS SOPS 676760390 HAS SOUS 207913093 HAS SOUPS 207913093 WITH SCORE 2.0858985339E8
AT ITER 2279 NEW BEST:: SOT 1087861020 SOS 676723550 HAS SOPS 676723550 HAS SOUS 207913093 HAS SOUPS 207913093 WITH SCORE 2.0858981655E8
AT ITER 2298 NEW BEST:: SOT 1087811486 SOS 676624478 HAS SOPS 676624478 HAS SOUS 207909641 HAS SOUPS 207909641 WITH SCORE 2.08586265478E8
AT ITER 2302 NEW BEST:: SOT 1087804236 SOS 676606351 HAS SOPS 676606351 HAS SOUS 207909639 HAS SOUPS 207909639 WITH SCORE 2.08586245351E8
AT ITER 2306 NEW BEST:: SOT 1087785914 SOS 676552531 HAS SOPS 676552531 HAS SOUS 207904510 HAS SOUPS 207904510 WITH SCORE 2.08581062531E8
AT ITER 2313 NEW BEST:: SOT 1087764672 SOS 676499425 HAS SOPS 676499425 HAS SOUS 207904509 HAS SOUPS 207904509 WITH SCORE 2.08581008425E8
AT ITER 2326 NEW BEST:: SOT 1087749848 SOS 676462362 HAS SOPS 676462362 HAS SOUS 207904504 HAS SOUPS 207904504 WITH SCORE 2.08580966362E8
AT ITER 2329 NEW BEST:: SOT 1087736434 SOS 676428826 HAS SOPS 676428826 HAS SOUS 207904503 HAS SOUPS 207904503 WITH SCORE 2.08580931826E8
AT ITER 2333 NEW BEST:: SOT 1087728830 SOS 676409815 HAS SOPS 676409815 HAS SOUS 207904502 HAS SOUPS 207904502 WITH SCORE 2.08580911815E8
AT ITER 2352 NEW BEST:: SOT 1087716566 SOS 676379155 HAS SOPS 676379155 HAS SOUS 207904502 HAS SOUPS 207904502 WITH SCORE 2.08580881155E8
AT ITER 2364 NEW BEST:: SOT 1087694940 SOS 676325088 HAS SOPS 676325088 HAS SOUS 207904500 HAS SOUPS 207904500 WITH SCORE 2.08580825088E8
AT ITER 2371 NEW BEST:: SOT 1087663452 SOS 676246366 HAS SOPS 676246366 HAS SOUS 207904498 HAS SOUPS 207904498 WITH SCORE 2.08580744366E8
AT ITER 2382 NEW BEST:: SOT 1087637654 SOS 676181870 HAS SOPS 676181870 HAS SOUS 207904497 HAS SOUPS 207904497 WITH SCORE 2.0858067887E8
AT ITER 2385 NEW BEST:: SOT 1087609052 SOS 676110363 HAS SOPS 676110363 HAS SOUS 207904495 HAS SOUPS 207904495 WITH SCORE 2.08580605363E8
AT ITER 2396 NEW BEST:: SOT 1087603318 SOS 676096027 HAS SOPS 676096027 HAS SOUS 207904494 HAS SOUPS 207904494 WITH SCORE 2.08580590027E8
AT ITER 2417 NEW BEST:: SOT 1087593306 SOS 676070995 HAS SOPS 676070995 HAS SOUS 207904492 HAS SOUPS 207904492 WITH SCORE 2.08580562995E8
AT ITER 2433 NEW BEST:: SOT 1087577564 SOS 676024751 HAS SOPS 676024751 HAS SOUS 207897603 HAS SOUPS 207897603 WITH SCORE 2.08573627751E8
AT ITER 2439 NEW BEST:: SOT 1087559220 SOS 675978889 HAS SOPS 675978889 HAS SOUS 207897601 HAS SOUPS 207897601 WITH SCORE 2.08573579889E8
AT ITER 2442 NEW BEST:: SOT 1087532892 SOS 675913068 HAS SOPS 675913068 HAS SOUS 207897600 HAS SOUPS 207897600 WITH SCORE 2.08573513068E8
AT ITER 2448 NEW BEST:: SOT 1087516742 SOS 675872692 HAS SOPS 675872692 HAS SOUS 207897599 HAS SOUPS 207897599 WITH SCORE 2.08573471692E8
AT ITER 2454 NEW BEST:: SOT 1087488748 SOS 675802704 HAS SOPS 675802704 HAS SOUS 207897594 HAS SOUPS 207897594 WITH SCORE 2.08573396704E8
AT ITER 2456 NEW BEST:: SOT 1087467264 SOS 675748991 HAS SOPS 675748991 HAS SOUS 207897589 HAS SOUPS 207897589 WITH SCORE 2.08573337991E8
AT ITER 2459 NEW BEST:: SOT 1087461500 SOS 675734580 HAS SOPS 675734580 HAS SOUS 207897588 HAS SOUPS 207897588 WITH SCORE 2.0857332258E8
AT ITER 2463 NEW BEST:: SOT 1087445600 SOS 675694827 HAS SOPS 675694827 HAS SOUS 207897583 HAS SOUPS 207897583 WITH SCORE 2.08573277827E8
AT ITER 2479 NEW BEST:: SOT 1087435914 SOS 675670611 HAS SOPS 675670611 HAS SOUS 207897582 HAS SOUPS 207897582 WITH SCORE 2.08573252611E8
AT ITER 2484 NEW BEST:: SOT 1087412553 SOS 675602236 HAS SOPS 675602236 HAS SOUS 207891706 HAS SOUPS 207891706 WITH SCORE 2.08567308236E8
AT ITER 2496 NEW BEST:: SOT 1087384017 SOS 675530896 HAS SOPS 675530896 HAS SOUS 207891706 HAS SOUPS 207891706 WITH SCORE 2.08567236896E8
AT ITER 2505 NEW BEST:: SOT 1087360953 SOS 675473236 HAS SOPS 675473236 HAS SOUS 207891706 HAS SOUPS 207891706 WITH SCORE 2.08567179236E8
AT ITER 2509 NEW BEST:: SOT 1087342949 SOS 675428223 HAS SOPS 675428223 HAS SOUS 207891701 HAS SOUPS 207891701 WITH SCORE 2.08567129223E8
AT ITER 2524 NEW BEST:: SOT 1087326739 SOS 675387698 HAS SOPS 675387698 HAS SOUS 207891701 HAS SOUPS 207891701 WITH SCORE 2.08567088698E8
AT ITER 2525 NEW BEST:: SOT 1087302665 SOS 675327511 HAS SOPS 675327511 HAS SOUS 207891699 HAS SOUPS 207891699 WITH SCORE 2.08567026511E8
AT ITER 2536 NEW BEST:: SOT 1087296579 SOS 675312296 HAS SOPS 675312296 HAS SOUS 207891699 HAS SOUPS 207891699 WITH SCORE 2.08567011296E8
AT ITER 2547 NEW BEST:: SOT 1087291950 SOS 675303037 HAS SOPS 675303037 HAS SOUS 207890155 HAS SOUPS 207890155 WITH SCORE 2.08565458037E8
AT ITER 2550 NEW BEST:: SOT 1087262078 SOS 675213421 HAS SOPS 675213421 HAS SOUS 207875215 HAS SOUPS 207875215 WITH SCORE 2.08550428421E8
AT ITER 2553 NEW BEST:: SOT 1087233488 SOS 675141943 HAS SOPS 675141943 HAS SOUS 207875210 HAS SOUPS 207875210 WITH SCORE 2.08550351943E8
AT ITER 2554 NEW BEST:: SOT 1087215166 SOS 675096135 HAS SOPS 675096135 HAS SOUS 207875205 HAS SOUPS 207875205 WITH SCORE 2.08550301135E8
AT ITER 2557 NEW BEST:: SOT 1087188872 SOS 675030397 HAS SOPS 675030397 HAS SOUS 207875200 HAS SOUPS 207875200 WITH SCORE 2.08550230397E8
AT ITER 2558 NEW BEST:: SOT 1087165820 SOS 674972764 HAS SOPS 674972764 HAS SOUS 207875195 HAS SOUPS 207875195 WITH SCORE 2.08550167764E8
AT ITER 2561 NEW BEST:: SOT 1087148654 SOS 674929847 HAS SOPS 674929847 HAS SOUS 207875193 HAS SOUPS 207875193 WITH SCORE 2.08550122847E8
AT ITER 2563 NEW BEST:: SOT 1087099928 SOS 674832391 HAS SOPS 674832391 HAS SOUS 207875267 HAS SOUPS 207875267 WITH SCORE 2.08550099391E8
AT ITER 2573 NEW BEST:: SOT 1087087381 SOS 674807294 HAS SOPS 674807294 HAS SOUS 207871975 HAS SOUPS 207871975 WITH SCORE 2.08546782294E8
AT ITER 2574 NEW BEST:: SOT 1087082081 SOS 674794043 HAS SOPS 674794043 HAS SOUS 207871974 HAS SOUPS 207871974 WITH SCORE 2.08546768043E8
AT ITER 2580 NEW BEST:: SOT 1087066789 SOS 674755811 HAS SOPS 674755811 HAS SOUS 207871972 HAS SOUPS 207871972 WITH SCORE 2.08546727811E8
AT ITER 2582 NEW BEST:: SOT 1087048627 SOS 674710403 HAS SOPS 674710403 HAS SOUS 207871967 HAS SOUPS 207871967 WITH SCORE 2.08546677403E8
AT ITER 2585 NEW BEST:: SOT 1087037127 SOS 674681651 HAS SOPS 674681651 HAS SOUS 207871965 HAS SOUPS 207871965 WITH SCORE 2.08546646651E8
AT ITER 2589 NEW BEST:: SOT 1087013719 SOS 674623128 HAS SOPS 674623128 HAS SOUS 207871960 HAS SOUPS 207871960 WITH SCORE 2.08546583128E8
AT ITER 2593 NEW BEST:: SOT 1087008473 SOS 674607390 HAS SOPS 674607390 HAS SOUS 207869337 HAS SOUPS 207869337 WITH SCORE 2.0854394439E8
AT ITER 2594 NEW BEST:: SOT 1087003637 SOS 674597715 HAS SOPS 674597715 HAS SOUS 207867720 HAS SOUPS 207867720 WITH SCORE 2.08542317715E8
AT ITER 2597 NEW BEST:: SOT 1086974781 SOS 674525573 HAS SOPS 674525573 HAS SOUS 207867718 HAS SOUPS 207867718 WITH SCORE 2.08542243573E8
AT ITER 2613 NEW BEST:: SOT 1086961915 SOS 674493408 HAS SOPS 674493408 HAS SOUS 207867718 HAS SOUPS 207867718 WITH SCORE 2.08542211408E8
AT ITER 2615 NEW BEST:: SOT 1086956893 SOS 674480851 HAS SOPS 674480851 HAS SOUS 207867716 HAS SOUPS 207867716 WITH SCORE 2.08542196851E8
AT ITER 2628 NEW BEST:: SOT 1086943967 SOS 674448534 HAS SOPS 674448534 HAS SOUS 207867714 HAS SOUPS 207867714 WITH SCORE 2.08542162534E8
AT ITER 2631 NEW BEST:: SOT 1086917739 SOS 674382963 HAS SOPS 674382963 HAS SOUS 207867713 HAS SOUPS 207867713 WITH SCORE 2.08542095963E8
AT ITER 2633 NEW BEST:: SOT 1086898021 SOS 674333665 HAS SOPS 674333665 HAS SOUS 207867708 HAS SOUPS 207867708 WITH SCORE 2.08542041665E8
AT ITER 2634 NEW BEST:: SOT 1086886087 SOS 674303829 HAS SOPS 674303829 HAS SOUS 207867707 HAS SOUPS 207867707 WITH SCORE 2.08542010829E8
AT ITER 2646 NEW BEST:: SOT 1086853987 SOS 674223579 HAS SOPS 674223579 HAS SOUS 207867707 HAS SOUPS 207867707 WITH SCORE 2.08541930579E8
AT ITER 2647 NEW BEST:: SOT 1086834955 SOS 674175996 HAS SOPS 674175996 HAS SOUS 207867702 HAS SOUPS 207867702 WITH SCORE 2.08541877996E8
AT ITER 2650 NEW BEST:: SOT 1086814363 SOS 674124513 HAS SOPS 674124513 HAS SOUS 207867697 HAS SOUPS 207867697 WITH SCORE 2.08541821513E8
AT ITER 2651 NEW BEST:: SOT 1086783107 SOS 674046370 HAS SOPS 674046370 HAS SOUS 207867692 HAS SOUPS 207867692 WITH SCORE 2.0854173837E8
AT ITER 2652 NEW BEST:: SOT 1086753859 SOS 673973249 HAS SOPS 673973249 HAS SOUS 207867691 HAS SOUPS 207867691 WITH SCORE 2.08541664249E8
AT ITER 2659 NEW BEST:: SOT 1086732611 SOS 673920127 HAS SOPS 673920127 HAS SOUS 207867689 HAS SOUPS 207867689 WITH SCORE 2.08541609127E8
AT ITER 2679 NEW BEST:: SOT 1086722611 SOS 673895124 HAS SOPS 673895124 HAS SOUS 207867684 HAS SOUPS 207867684 WITH SCORE 2.08541579124E8
AT ITER 2682 NEW BEST:: SOT 1086714619 SOS 673875143 HAS SOPS 673875143 HAS SOUS 207867683 HAS SOUPS 207867683 WITH SCORE 2.08541558143E8
AT ITER 2688 NEW BEST:: SOT 1086692723 SOS 673820402 HAS SOPS 673820402 HAS SOUS 207867682 HAS SOUPS 207867682 WITH SCORE 2.08541502402E8
AT ITER 2690 NEW BEST:: SOT 1086690287 SOS 673815528 HAS SOPS 673815528 HAS SOUS 207866868 HAS SOUPS 207866868 WITH SCORE 2.08540683528E8
AT ITER 2696 NEW BEST:: SOT 1086681645 SOS 673793920 HAS SOPS 673793920 HAS SOUS 207866863 HAS SOUPS 207866863 WITH SCORE 2.0854065692E8
AT ITER 2698 NEW BEST:: SOT 1086661109 SOS 673742580 HAS SOPS 673742580 HAS SOUS 207866863 HAS SOUPS 207866863 WITH SCORE 2.0854060558E8
AT ITER 2707 NEW BEST:: SOT 1086628155 SOS 673660193 HAS SOPS 673660193 HAS SOUS 207866861 HAS SOUPS 207866861 WITH SCORE 2.08540521193E8
AT ITER 2712 NEW BEST:: SOT 1086613733 SOS 673617407 HAS SOPS 673617407 HAS SOUS 207860128 HAS SOUPS 207860128 WITH SCORE 2.08533745407E8
AT ITER 2716 NEW BEST:: SOT 1086582368 SOS 673525541 HAS SOPS 673525541 HAS SOUS 207852466 HAS SOUPS 207852466 WITH SCORE 2.08525991541E8
AT ITER 2732 NEW BEST:: SOT 1086535529 SOS 673431860 HAS SOPS 673431860 HAS SOUS 207849517 HAS SOUPS 207849517 WITH SCORE 2.0852294886E8
AT ITER 2733 NEW BEST:: SOT 1086504831 SOS 673355113 HAS SOPS 673355113 HAS SOUS 207849515 HAS SOUPS 207849515 WITH SCORE 2.08522870113E8
AT ITER 2738 NEW BEST:: SOT 1086470483 SOS 673269242 HAS SOPS 673269242 HAS SOUS 207849514 HAS SOUPS 207849514 WITH SCORE 2.08522783242E8
AT ITER 2741 NEW BEST:: SOT 1086439275 SOS 673191219 HAS SOPS 673191219 HAS SOUS 207849509 HAS SOUPS 207849509 WITH SCORE 2.08522700219E8
AT ITER 2742 NEW BEST:: SOT 1086439275 SOS 673191218 HAS SOPS 673191218 HAS SOUS 207849508 HAS SOUPS 207849508 WITH SCORE 2.08522699218E8
AT ITER 2751 NEW BEST:: SOT 1086424231 SOS 673153606 HAS SOPS 673153606 HAS SOUS 207849506 HAS SOUPS 207849506 WITH SCORE 2.08522659606E8
AT ITER 2753 NEW BEST:: SOT 1086374369 SOS 673053878 HAS SOPS 673053878 HAS SOUS 207842468 HAS SOUPS 207842468 WITH SCORE 2.08515521878E8
AT ITER 2757 NEW BEST:: SOT 1086362577 SOS 673024396 HAS SOPS 673024396 HAS SOUS 207842466 HAS SOUPS 207842466 WITH SCORE 2.08515490396E8
AT ITER 2758 NEW BEST:: SOT 1086352059 SOS 672998100 HAS SOPS 672998100 HAS SOUS 207842465 HAS SOUPS 207842465 WITH SCORE 2.085154631E8
AT ITER 2767 NEW BEST:: SOT 1086348371 SOS 672988880 HAS SOPS 672988880 HAS SOUS 207842465 HAS SOUPS 207842465 WITH SCORE 2.0851545388E8
AT ITER 2792 NEW BEST:: SOT 1086343027 SOS 672975520 HAS SOPS 672975520 HAS SOUS 207842465 HAS SOUPS 207842465 WITH SCORE 2.0851544052E8
AT ITER 2795 NEW BEST:: SOT 1086330897 SOS 672945193 HAS SOPS 672945193 HAS SOUS 207842463 HAS SOUPS 207842463 WITH SCORE 2.08515408193E8
AT ITER 2801 NEW BEST:: SOT 1086320100 SOS 672923596 HAS SOPS 672923596 HAS SOUS 207838859 HAS SOUPS 207838859 WITH SCORE 2.08511782596E8
AT ITER 2803 NEW BEST:: SOT 1086308084 SOS 672893554 HAS SOPS 672893554 HAS SOUS 207838857 HAS SOUPS 207838857 WITH SCORE 2.08511750554E8
AT ITER 2808 NEW BEST:: SOT 1086288154 SOS 672843729 HAS SOPS 672843729 HAS SOUS 207838857 HAS SOUPS 207838857 WITH SCORE 2.08511700729E8
AT ITER 2809 NEW BEST:: SOT 1086280872 SOS 672825524 HAS SOPS 672825524 HAS SOUS 207838857 HAS SOUPS 207838857 WITH SCORE 2.08511682524E8
AT ITER 2827 NEW BEST:: SOT 1086264980 SOS 672785793 HAS SOPS 672785793 HAS SOUS 207838856 HAS SOUPS 207838856 WITH SCORE 2.08511641793E8
AT ITER 2832 NEW BEST:: SOT 1086255818 SOS 672762885 HAS SOPS 672762885 HAS SOUS 207838851 HAS SOUPS 207838851 WITH SCORE 2.08511613885E8
AT ITER 2845 NEW BEST:: SOT 1086245920 SOS 672738138 HAS SOPS 672738138 HAS SOUS 207838849 HAS SOUPS 207838849 WITH SCORE 2.08511587138E8
AT ITER 2847 NEW BEST:: SOT 1086233298 SOS 672706582 HAS SOPS 672706582 HAS SOUS 207838848 HAS SOUPS 207838848 WITH SCORE 2.08511554582E8
AT ITER 2854 NEW BEST:: SOT 1086198658 SOS 672619982 HAS SOPS 672619982 HAS SOUS 207838848 HAS SOUPS 207838848 WITH SCORE 2.08511467982E8
AT ITER 2873 NEW BEST:: SOT 1086162320 SOS 672529135 HAS SOPS 672529135 HAS SOUS 207838846 HAS SOUPS 207838846 WITH SCORE 2.08511375135E8
AT ITER 2878 NEW BEST:: SOT 1086142226 SOS 672478900 HAS SOPS 672478900 HAS SOUS 207838846 HAS SOUPS 207838846 WITH SCORE 2.085113249E8
AT ITER 2888 NEW BEST:: SOT 1086113296 SOS 672406573 HAS SOPS 672406573 HAS SOUS 207838844 HAS SOUPS 207838844 WITH SCORE 2.08511250573E8
AT ITER 2891 NEW BEST:: SOT 1086091766 SOS 672352748 HAS SOPS 672352748 HAS SOUS 207838844 HAS SOUPS 207838844 WITH SCORE 2.08511196748E8
AT ITER 2893 NEW BEST:: SOT 1086081042 SOS 672320576 HAS SOPS 672320576 HAS SOUS 207833480 HAS SOUPS 207833480 WITH SCORE 2.08505800576E8
AT ITER 2913 NEW BEST:: SOT 1086071506 SOS 672296736 HAS SOPS 672296736 HAS SOUS 207833480 HAS SOUPS 207833480 WITH SCORE 2.08505776736E8
AT ITER 2916 NEW BEST:: SOT 1086060394 SOS 672268954 HAS SOPS 672268954 HAS SOUS 207833478 HAS SOUPS 207833478 WITH SCORE 2.08505746954E8
AT ITER 2926 NEW BEST:: SOT 1086010373 SOS 672168907 HAS SOPS 672168907 HAS SOUS 207822176 HAS SOUPS 207822176 WITH SCORE 2.08494344907E8
AT ITER 2949 NEW BEST:: SOT 1085960325 SOS 672068805 HAS SOPS 672068805 HAS SOUS 207810922 HAS SOUPS 207810922 WITH SCORE 2.08482990805E8
AT ITER 2955 NEW BEST:: SOT 1085936873 SOS 672010173 HAS SOPS 672010173 HAS SOUS 207810920 HAS SOUPS 207810920 WITH SCORE 2.08482930173E8
AT ITER 2956 NEW BEST:: SOT 1085904993 SOS 671930473 HAS SOPS 671930473 HAS SOUS 207810920 HAS SOUPS 207810920 WITH SCORE 2.08482850473E8
AT ITER 2960 NEW BEST:: SOT 1085876813 SOS 671860020 HAS SOPS 671860020 HAS SOUS 207810915 HAS SOUPS 207810915 WITH SCORE 2.0848277502E8
AT ITER 2969 NEW BEST:: SOT 1085863139 SOS 671825833 HAS SOPS 671825833 HAS SOUS 207810913 HAS SOUPS 207810913 WITH SCORE 2.08482738833E8
AT ITER 2970 NEW BEST:: SOT 1085853541 SOS 671797259 HAS SOPS 671797259 HAS SOUS 207806334 HAS SOUPS 207806334 WITH SCORE 2.08478131259E8
AT ITER 2976 NEW BEST:: SOT 1085818353 SOS 671709289 HAS SOPS 671709289 HAS SOUS 207806334 HAS SOUPS 207806334 WITH SCORE 2.08478043289E8
AT ITER 2986 NEW BEST:: SOT 1085805525 SOS 671677219 HAS SOPS 671677219 HAS SOUS 207806334 HAS SOUPS 207806334 WITH SCORE 2.08478011219E8
AT ITER 2998 NEW BEST:: SOT 1085798689 SOS 671660127 HAS SOPS 671660127 HAS SOUS 207806332 HAS SOUPS 207806332 WITH SCORE 2.08477992127E8
AT ITER 3011 NEW BEST:: SOT 1085780793 SOS 671615386 HAS SOPS 671615386 HAS SOUS 207806331 HAS SOUPS 207806331 WITH SCORE 2.08477946386E8
AT ITER 3013 NEW BEST:: SOT 1085769719 SOS 671587698 HAS SOPS 671587698 HAS SOUS 207806326 HAS SOUPS 207806326 WITH SCORE 2.08477913698E8
AT ITER 3019 NEW BEST:: SOT 1085761767 SOS 671567818 HAS SOPS 671567818 HAS SOUS 207806326 HAS SOUPS 207806326 WITH SCORE 2.08477893818E8
AT ITER 3024 NEW BEST:: SOT 1085743419 SOS 671521947 HAS SOPS 671521947 HAS SOUS 207806325 HAS SOUPS 207806325 WITH SCORE 2.08477846947E8
AT ITER 3025 NEW BEST:: SOT 1085723331 SOS 671471726 HAS SOPS 671471726 HAS SOUS 207806324 HAS SOUPS 207806324 WITH SCORE 2.08477795726E8
AT ITER 3029 NEW BEST:: SOT 1085715645 SOS 671452511 HAS SOPS 671452511 HAS SOUS 207806324 HAS SOUPS 207806324 WITH SCORE 2.08477776511E8
AT ITER 3030 NEW BEST:: SOT 1085688033 SOS 671383478 HAS SOPS 671383478 HAS SOUS 207806319 HAS SOUPS 207806319 WITH SCORE 2.08477702478E8
AT ITER 3032 NEW BEST:: SOT 1085688033 SOS 671383477 HAS SOPS 671383477 HAS SOUS 207806318 HAS SOUPS 207806318 WITH SCORE 2.08477701477E8
AT ITER 3039 NEW BEST:: SOT 1085675158 SOS 671357722 HAS SOPS 671357722 HAS SOUS 207804932 HAS SOUPS 207804932 WITH SCORE 2.08476289722E8
AT ITER 3041 NEW BEST:: SOT 1085659340 SOS 671318176 HAS SOPS 671318176 HAS SOUS 207804931 HAS SOUPS 207804931 WITH SCORE 2.08476249176E8
AT ITER 3044 NEW BEST:: SOT 1085626112 SOS 671235104 HAS SOPS 671235104 HAS SOUS 207804929 HAS SOUPS 207804929 WITH SCORE 2.08476164104E8
AT ITER 3047 NEW BEST:: SOT 1085600880 SOS 671172022 HAS SOPS 671172022 HAS SOUS 207804927 HAS SOUPS 207804927 WITH SCORE 2.08476099022E8
AT ITER 3059 NEW BEST:: SOT 1085567342 SOS 671088174 HAS SOPS 671088174 HAS SOUS 207804922 HAS SOUPS 207804922 WITH SCORE 2.08476010174E8
AT ITER 3060 NEW BEST:: SOT 1085550394 SOS 671045803 HAS SOPS 671045803 HAS SOUS 207804921 HAS SOUPS 207804921 WITH SCORE 2.08475966803E8
AT ITER 3062 NEW BEST:: SOT 1085536562 SOS 671011222 HAS SOPS 671011222 HAS SOUS 207804920 HAS SOUPS 207804920 WITH SCORE 2.08475931222E8
AT ITER 3071 NEW BEST:: SOT 1085535668 SOS 671008987 HAS SOPS 671008987 HAS SOUS 207804920 HAS SOUPS 207804920 WITH SCORE 2.08475928987E8
AT ITER 3073 NEW BEST:: SOT 1085531950 SOS 670997833 HAS SOPS 670997833 HAS SOUS 207803061 HAS SOUPS 207803061 WITH SCORE 2.08474058833E8
AT ITER 3086 NEW BEST:: SOT 1085511626 SOS 670947023 HAS SOPS 670947023 HAS SOUS 207803061 HAS SOUPS 207803061 WITH SCORE 2.08474008023E8
AT ITER 3089 NEW BEST:: SOT 1085508848 SOS 670941467 HAS SOPS 670941467 HAS SOUS 207802135 HAS SOUPS 207802135 WITH SCORE 2.08473076467E8
AT ITER 3107 NEW BEST:: SOT 1085500800 SOS 670917323 HAS SOPS 670917323 HAS SOUS 207798111 HAS SOUPS 207798111 WITH SCORE 2.08469028323E8
AT ITER 3110 NEW BEST:: SOT 1085488602 SOS 670886828 HAS SOPS 670886828 HAS SOUS 207798111 HAS SOUPS 207798111 WITH SCORE 2.08468997828E8
AT ITER 3111 NEW BEST:: SOT 1085474338 SOS 670851166 HAS SOPS 670851166 HAS SOUS 207798109 HAS SOUPS 207798109 WITH SCORE 2.08468960166E8
AT ITER 3120 NEW BEST:: SOT 1085464728 SOS 670827138 HAS SOPS 670827138 HAS SOUS 207798104 HAS SOUPS 207798104 WITH SCORE 2.08468931138E8
AT ITER 3141 NEW BEST:: SOT 1085431940 SOS 670745165 HAS SOPS 670745165 HAS SOUS 207798099 HAS SOUPS 207798099 WITH SCORE 2.08468844165E8
AT ITER 3152 NEW BEST:: SOT 1085414220 SOS 670700863 HAS SOPS 670700863 HAS SOUS 207798097 HAS SOUPS 207798097 WITH SCORE 2.08468797863E8
AT ITER 3154 NEW BEST:: SOT 1085395312 SOS 670653591 HAS SOPS 670653591 HAS SOUS 207798095 HAS SOUPS 207798095 WITH SCORE 2.08468748591E8
AT ITER 3166 NEW BEST:: SOT 1085388744 SOS 670632113 HAS SOPS 670632113 HAS SOUS 207796140 HAS SOUPS 207796140 WITH SCORE 2.08466772113E8
AT ITER 3168 NEW BEST:: SOT 1085381708 SOS 670614521 HAS SOPS 670614521 HAS SOUS 207796138 HAS SOUPS 207796138 WITH SCORE 2.08466752521E8
AT ITER 3171 NEW BEST:: SOT 1085350524 SOS 670536561 HAS SOPS 670536561 HAS SOUS 207796138 HAS SOUPS 207796138 WITH SCORE 2.08466674561E8
AT ITER 3187 NEW BEST:: SOT 1085319200 SOS 670458249 HAS SOPS 670458249 HAS SOUS 207796136 HAS SOUPS 207796136 WITH SCORE 2.08466594249E8
AT ITER 3197 NEW BEST:: SOT 1085309474 SOS 670433932 HAS SOPS 670433932 HAS SOUS 207796134 HAS SOUPS 207796134 WITH SCORE 2.08466567932E8
AT ITER 3199 NEW BEST:: SOT 1085294772 SOS 670397175 HAS SOPS 670397175 HAS SOUS 207796132 HAS SOUPS 207796132 WITH SCORE 2.08466529175E8
AT ITER 3203 NEW BEST:: SOT 1085280978 SOS 670362688 HAS SOPS 670362688 HAS SOUS 207796130 HAS SOUPS 207796130 WITH SCORE 2.08466492688E8
AT ITER 3237 NEW BEST:: SOT 1085259430 SOS 670308817 HAS SOPS 670308817 HAS SOUS 207796129 HAS SOUPS 207796129 WITH SCORE 2.08466437817E8
AT ITER 3251 NEW BEST:: SOT 1085241792 SOS 670255903 HAS SOPS 670255903 HAS SOUS 207787308 HAS SOUPS 207787308 WITH SCORE 2.08457563903E8
AT ITER 3252 NEW BEST:: SOT 1085241792 SOS 670255902 HAS SOPS 670255902 HAS SOUS 207787307 HAS SOUPS 207787307 WITH SCORE 2.08457562902E8
AT ITER 3253 NEW BEST:: SOT 1085241640 SOS 670255522 HAS SOPS 670255522 HAS SOUS 207787307 HAS SOUPS 207787307 WITH SCORE 2.08457562522E8
AT ITER 3267 NEW BEST:: SOT 1085227356 SOS 670213674 HAS SOPS 670213674 HAS SOUS 207781982 HAS SOUPS 207781982 WITH SCORE 2.08452195674E8
AT ITER 3278 NEW BEST:: SOT 1085225872 SOS 670209964 HAS SOPS 670209964 HAS SOUS 207781982 HAS SOUPS 207781982 WITH SCORE 2.08452191964E8
AT ITER 3285 NEW BEST:: SOT 1085212258 SOS 670175929 HAS SOPS 670175929 HAS SOUS 207781982 HAS SOUPS 207781982 WITH SCORE 2.08452157929E8
AT ITER 3304 NEW BEST:: SOT 1085207942 SOS 670165136 HAS SOPS 670165136 HAS SOUS 207781977 HAS SOUPS 207781977 WITH SCORE 2.08452142136E8
AT ITER 3324 NEW BEST:: SOT 1085188272 SOS 670115960 HAS SOPS 670115960 HAS SOUS 207781976 HAS SOUPS 207781976 WITH SCORE 2.0845209196E8
AT ITER 3325 NEW BEST:: SOT 1085138765 SOS 670016943 HAS SOPS 670016943 HAS SOUS 207774304 HAS SOUPS 207774304 WITH SCORE 2.08444320943E8
AT ITER 3328 NEW BEST:: SOT 1085122277 SOS 669975723 HAS SOPS 669975723 HAS SOUS 207774304 HAS SOUPS 207774304 WITH SCORE 2.08444279723E8
AT ITER 3343 NEW BEST:: SOT 1085088857 SOS 669892171 HAS SOPS 669892171 HAS SOUS 207774302 HAS SOUPS 207774302 WITH SCORE 2.08444194171E8
AT ITER 3347 NEW BEST:: SOT 1085074813 SOS 669857061 HAS SOPS 669857061 HAS SOUS 207774302 HAS SOUPS 207774302 WITH SCORE 2.08444159061E8
AT ITER 3348 NEW BEST:: SOT 1085074813 SOS 669857058 HAS SOPS 669857058 HAS SOUS 207774297 HAS SOUPS 207774297 WITH SCORE 2.08444154058E8
AT ITER 3352 NEW BEST:: SOT 1085054503 SOS 669796128 HAS SOPS 669796128 HAS SOUS 207764140 HAS SOUPS 207764140 WITH SCORE 2.08433936128E8
AT ITER 3355 NEW BEST:: SOT 1085046493 SOS 669773968 HAS SOPS 669773968 HAS SOUS 207762005 HAS SOUPS 207762005 WITH SCORE 2.08431778968E8
AT ITER 3365 NEW BEST:: SOT 1085021168 SOS 669701022 HAS SOPS 669701022 HAS SOUS 207757050 HAS SOUPS 207757050 WITH SCORE 2.08426751022E8
AT ITER 3368 NEW BEST:: SOT 1085003292 SOS 669656331 HAS SOPS 669656331 HAS SOUS 207757049 HAS SOUPS 207757049 WITH SCORE 2.08426705331E8
AT ITER 3373 NEW BEST:: SOT 1084972040 SOS 669578200 HAS SOPS 669578200 HAS SOUS 207757048 HAS SOUPS 207757048 WITH SCORE 2.084266262E8
AT ITER 3374 NEW BEST:: SOT 1084955374 SOS 669536533 HAS SOPS 669536533 HAS SOUS 207757046 HAS SOUPS 207757046 WITH SCORE 2.08426582533E8
AT ITER 3375 NEW BEST:: SOT 1084923854 SOS 669457732 HAS SOPS 669457732 HAS SOUS 207757045 HAS SOUPS 207757045 WITH SCORE 2.08426502732E8
AT ITER 3384 NEW BEST:: SOT 1084915272 SOS 669436274 HAS SOPS 669436274 HAS SOUS 207757040 HAS SOUPS 207757040 WITH SCORE 2.08426476274E8
AT ITER 3395 NEW BEST:: SOT 1084898788 SOS 669389182 HAS SOPS 669389182 HAS SOUS 207755406 HAS SOUPS 207755406 WITH SCORE 2.08424795182E8
AT ITER 3414 NEW BEST:: SOT 1084877784 SOS 669326170 HAS SOPS 669326170 HAS SOUS 207744904 HAS SOUPS 207744904 WITH SCORE 2.0841423017E8
AT ITER 3419 NEW BEST:: SOT 1084866374 SOS 669297645 HAS SOPS 669297645 HAS SOUS 207744904 HAS SOUPS 207744904 WITH SCORE 2.08414201645E8
AT ITER 3424 NEW BEST:: SOT 1084815702 SOS 669196295 HAS SOPS 669196295 HAS SOUS 207730212 HAS SOUPS 207730212 WITH SCORE 2.08399408295E8
AT ITER 3433 NEW BEST:: SOT 1084796734 SOS 669148873 HAS SOPS 669148873 HAS SOUS 207730210 HAS SOUPS 207730210 WITH SCORE 2.08399358873E8
AT ITER 3436 NEW BEST:: SOT 1084779582 SOS 669105993 HAS SOPS 669105993 HAS SOUS 207730210 HAS SOUPS 207730210 WITH SCORE 2.08399315993E8
AT ITER 3441 NEW BEST:: SOT 1084751366 SOS 669035451 HAS SOPS 669035451 HAS SOUS 207730208 HAS SOUPS 207730208 WITH SCORE 2.08399243451E8
AT ITER 3450 NEW BEST:: SOT 1084738458 SOS 669003179 HAS SOPS 669003179 HAS SOUS 207730206 HAS SOUPS 207730206 WITH SCORE 2.08399209179E8
AT ITER 3451 NEW BEST:: SOT 1084726892 SOS 668974261 HAS SOPS 668974261 HAS SOUS 207730201 HAS SOUPS 207730201 WITH SCORE 2.08399175261E8
AT ITER 3456 NEW BEST:: SOT 1084726402 SOS 668973034 HAS SOPS 668973034 HAS SOUS 207730199 HAS SOUPS 207730199 WITH SCORE 2.08399172034E8
AT ITER 3463 NEW BEST:: SOT 1084709166 SOS 668929942 HAS SOPS 668929942 HAS SOUS 207730197 HAS SOUPS 207730197 WITH SCORE 2.08399126942E8
AT ITER 3464 NEW BEST:: SOT 1084698662 SOS 668903682 HAS SOPS 668903682 HAS SOUS 207730197 HAS SOUPS 207730197 WITH SCORE 2.08399100682E8
AT ITER 3467 NEW BEST:: SOT 1084686358 SOS 668879074 HAS SOPS 668879074 HAS SOUS 207728890 HAS SOUPS 207728890 WITH SCORE 2.08397769074E8
AT ITER 3472 NEW BEST:: SOT 1084677616 SOS 668856604 HAS SOPS 668856604 HAS SOUS 207728275 HAS SOUPS 207728275 WITH SCORE 2.08397131604E8
AT ITER 3473 NEW BEST:: SOT 1084677616 SOS 668856603 HAS SOPS 668856603 HAS SOUS 207728274 HAS SOUPS 207728274 WITH SCORE 2.08397130603E8
AT ITER 3475 NEW BEST:: SOT 1084652728 SOS 668794381 HAS SOPS 668794381 HAS SOUS 207728272 HAS SOUPS 207728272 WITH SCORE 2.08397066381E8
AT ITER 3476 NEW BEST:: SOT 1084631382 SOS 668741015 HAS SOPS 668741015 HAS SOUS 207728271 HAS SOUPS 207728271 WITH SCORE 2.08397012015E8
AT ITER 3478 NEW BEST:: SOT 1084609920 SOS 668687358 HAS SOPS 668687358 HAS SOUS 207728269 HAS SOUPS 207728269 WITH SCORE 2.08396956358E8
AT ITER 3488 NEW BEST:: SOT 1084580660 SOS 668599578 HAS SOPS 668599578 HAS SOUS 207713637 HAS SOUPS 207713637 WITH SCORE 2.08382236578E8
AT ITER 3500 NEW BEST:: SOT 1084573406 SOS 668581440 HAS SOPS 668581440 HAS SOUS 207713632 HAS SOUPS 207713632 WITH SCORE 2.0838221344E8
AT ITER 3501 NEW BEST:: SOT 1084546256 SOS 668513564 HAS SOPS 668513564 HAS SOUS 207713631 HAS SOUPS 207713631 WITH SCORE 2.08382144564E8
AT ITER 3508 NEW BEST:: SOT 1084536366 SOS 668488839 HAS SOPS 668488839 HAS SOUS 207713631 HAS SOUPS 207713631 WITH SCORE 2.08382119839E8
AT ITER 3512 NEW BEST:: SOT 1084484370 SOS 668383067 HAS SOPS 668383067 HAS SOUS 207697484 HAS SOUPS 207697484 WITH SCORE 2.08365867067E8
AT ITER 3516 NEW BEST:: SOT 1084464098 SOS 668332386 HAS SOPS 668332386 HAS SOUS 207697483 HAS SOUPS 207697483 WITH SCORE 2.08365815386E8
AT ITER 3520 NEW BEST:: SOT 1084456722 SOS 668313944 HAS SOPS 668313944 HAS SOUS 207697481 HAS SOUPS 207697481 WITH SCORE 2.08365794944E8
AT ITER 3523 NEW BEST:: SOT 1084424922 SOS 668234442 HAS SOPS 668234442 HAS SOUS 207697479 HAS SOUPS 207697479 WITH SCORE 2.08365713442E8
AT ITER 3528 NEW BEST:: SOT 1084393962 SOS 668157042 HAS SOPS 668157042 HAS SOUS 207697479 HAS SOUPS 207697479 WITH SCORE 2.08365636042E8
AT ITER 3530 NEW BEST:: SOT 1084376046 SOS 668112252 HAS SOPS 668112252 HAS SOUS 207697479 HAS SOUPS 207697479 WITH SCORE 2.08365591252E8
AT ITER 3537 NEW BEST:: SOT 1084358834 SOS 668069219 HAS SOPS 668069219 HAS SOUS 207697474 HAS SOUPS 207697474 WITH SCORE 2.08365543219E8
AT ITER 3542 NEW BEST:: SOT 1084348530 SOS 668043459 HAS SOPS 668043459 HAS SOUS 207697474 HAS SOUPS 207697474 WITH SCORE 2.08365517459E8
AT ITER 3546 NEW BEST:: SOT 1084327468 SOS 667990803 HAS SOPS 667990803 HAS SOUS 207697473 HAS SOUPS 207697473 WITH SCORE 2.08365463803E8
AT ITER 3556 NEW BEST:: SOT 1084310488 SOS 667948351 HAS SOPS 667948351 HAS SOUS 207697471 HAS SOUPS 207697471 WITH SCORE 2.08365419351E8
AT ITER 3557 NEW BEST:: SOT 1084278326 SOS 667867945 HAS SOPS 667867945 HAS SOUS 207697470 HAS SOUPS 207697470 WITH SCORE 2.08365337945E8
AT ITER 3566 NEW BEST:: SOT 1084256668 SOS 667813797 HAS SOPS 667813797 HAS SOUS 207697465 HAS SOUPS 207697465 WITH SCORE 2.08365278797E8
AT ITER 3575 NEW BEST:: SOT 1084241241 SOS 667767620 HAS SOPS 667767620 HAS SOUS 207691799 HAS SOUPS 207691799 WITH SCORE 2.0835956662E8
AT ITER 3580 NEW BEST:: SOT 1084213679 SOS 667698714 HAS SOPS 667698714 HAS SOUS 207691798 HAS SOUPS 207691798 WITH SCORE 2.08359496714E8
AT ITER 3581 NEW BEST:: SOT 1084192107 SOS 667644783 HAS SOPS 667644783 HAS SOUS 207691797 HAS SOUPS 207691797 WITH SCORE 2.08359441783E8
AT ITER 3584 NEW BEST:: SOT 1084182177 SOS 667619956 HAS SOPS 667619956 HAS SOUS 207691795 HAS SOUPS 207691795 WITH SCORE 2.08359414956E8
AT ITER 3591 NEW BEST:: SOT 1084170143 SOS 667589869 HAS SOPS 667589869 HAS SOUS 207691793 HAS SOUPS 207691793 WITH SCORE 2.08359382869E8
AT ITER 3594 NEW BEST:: SOT 1084158935 SOS 667561849 HAS SOPS 667561849 HAS SOUS 207691793 HAS SOUPS 207691793 WITH SCORE 2.08359354849E8
AT ITER 3595 NEW BEST:: SOT 1084131685 SOS 667493722 HAS SOPS 667493722 HAS SOUS 207691791 HAS SOUPS 207691791 WITH SCORE 2.08359284722E8
AT ITER 3596 NEW BEST:: SOT 1084111455 SOS 667441181 HAS SOPS 667441181 HAS SOUS 207689823 HAS SOUPS 207689823 WITH SCORE 2.08357264181E8
AT ITER 3604 NEW BEST:: SOT 1084095511 SOS 667401318 HAS SOPS 667401318 HAS SOUS 207689818 HAS SOUPS 207689818 WITH SCORE 2.08357219318E8
AT ITER 3618 NEW BEST:: SOT 1084084351 SOS 667373415 HAS SOPS 667373415 HAS SOUS 207689813 HAS SOUPS 207689813 WITH SCORE 2.08357186415E8
AT ITER 3629 NEW BEST:: SOT 1084069225 SOS 667335600 HAS SOPS 667335600 HAS SOUS 207689813 HAS SOUPS 207689813 WITH SCORE 2.083571486E8
AT ITER 3635 NEW BEST:: SOT 1084033723 SOS 667246843 HAS SOPS 667246843 HAS SOUS 207689811 HAS SOUPS 207689811 WITH SCORE 2.08357057843E8
AT ITER 3644 NEW BEST:: SOT 1084007186 SOS 667170416 HAS SOPS 667170416 HAS SOUS 207682980 HAS SOUPS 207682980 WITH SCORE 2.08350150416E8
AT ITER 3678 NEW BEST:: SOT 1083986074 SOS 667117636 HAS SOPS 667117636 HAS SOUS 207682980 HAS SOUPS 207682980 WITH SCORE 2.08350097636E8
AT ITER 3680 NEW BEST:: SOT 1083965212 SOS 667065478 HAS SOPS 667065478 HAS SOUS 207682975 HAS SOUPS 207682975 WITH SCORE 2.08350040478E8
AT ITER 3686 NEW BEST:: SOT 1083948418 SOS 667023492 HAS SOPS 667023492 HAS SOUS 207682974 HAS SOUPS 207682974 WITH SCORE 2.08349997492E8
AT ITER 3687 NEW BEST:: SOT 1083928352 SOS 666973325 HAS SOPS 666973325 HAS SOUS 207682972 HAS SOUPS 207682972 WITH SCORE 2.08349945325E8
AT ITER 3698 NEW BEST:: SOT 1083918642 SOS 666949048 HAS SOPS 666949048 HAS SOUS 207682970 HAS SOUPS 207682970 WITH SCORE 2.08349919048E8
AT ITER 3699 NEW BEST:: SOT 1083902674 SOS 666909127 HAS SOPS 666909127 HAS SOUS 207682969 HAS SOUPS 207682969 WITH SCORE 2.08349878127E8
AT ITER 3701 NEW BEST:: SOT 1083890088 SOS 666877659 HAS SOPS 666877659 HAS SOUS 207682964 HAS SOUPS 207682964 WITH SCORE 2.08349841659E8
AT ITER 3715 NEW BEST:: SOT 1083880851 SOS 666859182 HAS SOPS 666859182 HAS SOUS 207679880 HAS SOUPS 207679880 WITH SCORE 2.08346739182E8
AT ITER 3719 NEW BEST:: SOT 1083868059 SOS 666827202 HAS SOPS 666827202 HAS SOUS 207679880 HAS SOUPS 207679880 WITH SCORE 2.08346707202E8
AT ITER 3730 NEW BEST:: SOT 1083849935 SOS 666772830 HAS SOPS 666772830 HAS SOUS 207670816 HAS SOUPS 207670816 WITH SCORE 2.0833758883E8
AT ITER 3743 NEW BEST:: SOT 1083820757 SOS 666699884 HAS SOPS 666699884 HAS SOUS 207670815 HAS SOUPS 207670815 WITH SCORE 2.08337514884E8
AT ITER 3746 NEW BEST:: SOT 1083780577 SOS 666619520 HAS SOPS 666619520 HAS SOUS 207662866 HAS SOUPS 207662866 WITH SCORE 2.0832948552E8
AT ITER 3749 NEW BEST:: SOT 1083760049 SOS 666568198 HAS SOPS 666568198 HAS SOUS 207662864 HAS SOUPS 207662864 WITH SCORE 2.08329432198E8
AT ITER 3750 NEW BEST:: SOT 1083727435 SOS 666472128 HAS SOPS 666472128 HAS SOUS 207648327 HAS SOUPS 207648327 WITH SCORE 2.08314799128E8
AT ITER 3751 NEW BEST:: SOT 1083711221 SOS 666431593 HAS SOPS 666431593 HAS SOUS 207648327 HAS SOUPS 207648327 WITH SCORE 2.08314758593E8
AT ITER 3758 NEW BEST:: SOT 1083690378 SOS 666372423 HAS SOPS 666372423 HAS SOUS 207643511 HAS SOUPS 207643511 WITH SCORE 2.08309883423E8
AT ITER 3761 NEW BEST:: SOT 1083679440 SOS 666345076 HAS SOPS 666345076 HAS SOUS 207643509 HAS SOUPS 207643509 WITH SCORE 2.08309854076E8
AT ITER 3772 NEW BEST:: SOT 1083656504 SOS 666287736 HAS SOPS 666287736 HAS SOUS 207643509 HAS SOUPS 207643509 WITH SCORE 2.08309796736E8
AT ITER 3773 NEW BEST:: SOT 1083656504 SOS 666287734 HAS SOPS 666287734 HAS SOUS 207643507 HAS SOUPS 207643507 WITH SCORE 2.08309794734E8
AT ITER 3776 NEW BEST:: SOT 1083640832 SOS 666248551 HAS SOPS 666248551 HAS SOUS 207643502 HAS SOUPS 207643502 WITH SCORE 2.08309750551E8
AT ITER 3795 NEW BEST:: SOT 1083612348 SOS 666177339 HAS SOPS 666177339 HAS SOUS 207643500 HAS SOUPS 207643500 WITH SCORE 2.08309677339E8
AT ITER 3798 NEW BEST:: SOT 1083600984 SOS 666148926 HAS SOPS 666148926 HAS SOUS 207643495 HAS SOUPS 207643495 WITH SCORE 2.08309643926E8
AT ITER 3804 NEW BEST:: SOT 1083590055 SOS 666127068 HAS SOPS 666127068 HAS SOUS 207639852 HAS SOUPS 207639852 WITH SCORE 2.08305979068E8
AT ITER 3811 NEW BEST:: SOT 1083578159 SOS 666091548 HAS SOPS 666091548 HAS SOUS 207634072 HAS SOUPS 207634072 WITH SCORE 2.08300163548E8
AT ITER 3812 NEW BEST:: SOT 1083541989 SOS 666001122 HAS SOPS 666001122 HAS SOUS 207634071 HAS SOUPS 207634071 WITH SCORE 2.08300072122E8
AT ITER 3822 NEW BEST:: SOT 1083531399 SOS 665974645 HAS SOPS 665974645 HAS SOUS 207634069 HAS SOUPS 207634069 WITH SCORE 2.08300043645E8
AT ITER 3826 NEW BEST:: SOT 1083501139 SOS 665898992 HAS SOPS 665898992 HAS SOUS 207634064 HAS SOUPS 207634064 WITH SCORE 2.08299962992E8
AT ITER 3831 NEW BEST:: SOT 1083489387 SOS 665869611 HAS SOPS 665869611 HAS SOUS 207634063 HAS SOUPS 207634063 WITH SCORE 2.08299932611E8
AT ITER 3838 NEW BEST:: SOT 1083485809 SOS 665860663 HAS SOPS 665860663 HAS SOUS 207634058 HAS SOUPS 207634058 WITH SCORE 2.08299918663E8
AT ITER 3854 NEW BEST:: SOT 1083452969 SOS 665778563 HAS SOPS 665778563 HAS SOUS 207634058 HAS SOUPS 207634058 WITH SCORE 2.08299836563E8
AT ITER 3859 NEW BEST:: SOT 1083448103 SOS 665766397 HAS SOPS 665766397 HAS SOUS 207634057 HAS SOUPS 207634057 WITH SCORE 2.08299823397E8
AT ITER 3871 NEW BEST:: SOT 1083396794 SOS 665663776 HAS SOPS 665663776 HAS SOUS 207617836 HAS SOUPS 207617836 WITH SCORE 2.08283499776E8
AT ITER 3872 NEW BEST:: SOT 1083377402 SOS 665615293 HAS SOPS 665615293 HAS SOUS 207617831 HAS SOUPS 207617831 WITH SCORE 2.08283446293E8
AT ITER 3878 NEW BEST:: SOT 1083354171 SOS 665549334 HAS SOPS 665549334 HAS SOUS 207616488 HAS SOUPS 207616488 WITH SCORE 2.08282037334E8
AT ITER 3879 NEW BEST:: SOT 1083347453 SOS 665532538 HAS SOPS 665532538 HAS SOUS 207616487 HAS SOUPS 207616487 WITH SCORE 2.08282019538E8
AT ITER 3882 NEW BEST:: SOT 1083320839 SOS 665466003 HAS SOPS 665466003 HAS SOUS 207616487 HAS SOUPS 207616487 WITH SCORE 2.08281953003E8
AT ITER 3888 NEW BEST:: SOT 1083292717 SOS 665395695 HAS SOPS 665395695 HAS SOUS 207616482 HAS SOUPS 207616482 WITH SCORE 2.08281877695E8
AT ITER 3900 NEW BEST:: SOT 1083274337 SOS 665349743 HAS SOPS 665349743 HAS SOUS 207616480 HAS SOUPS 207616480 WITH SCORE 2.08281829743E8
AT ITER 3902 NEW BEST:: SOT 1083260035 SOS 665313988 HAS SOPS 665313988 HAS SOUS 207616480 HAS SOUPS 207616480 WITH SCORE 2.08281793988E8
AT ITER 3914 NEW BEST:: SOT 1083252601 SOS 665295401 HAS SOPS 665295401 HAS SOUS 207616478 HAS SOUPS 207616478 WITH SCORE 2.08281773401E8
AT ITER 3915 NEW BEST:: SOT 1083252601 SOS 665295399 HAS SOPS 665295399 HAS SOUS 207616476 HAS SOUPS 207616476 WITH SCORE 2.08281771399E8
AT ITER 3919 NEW BEST:: SOT 1083226295 SOS 665217106 HAS SOPS 665217106 HAS SOUS 207603944 HAS SOUPS 207603944 WITH SCORE 2.08269161106E8
AT ITER 3930 NEW BEST:: SOT 1083192487 SOS 665132584 HAS SOPS 665132584 HAS SOUS 207603942 HAS SOUPS 207603942 WITH SCORE 2.08269074584E8
AT ITER 3931 NEW BEST:: SOT 1083175787 SOS 665085806 HAS SOPS 665085806 HAS SOUS 207598912 HAS SOUPS 207598912 WITH SCORE 2.08263997806E8
AT ITER 3933 NEW BEST:: SOT 1083142935 SOS 665003674 HAS SOPS 665003674 HAS SOUS 207598910 HAS SOUPS 207598910 WITH SCORE 2.08263913674E8
AT ITER 3942 NEW BEST:: SOT 1083128671 SOS 664960882 HAS SOPS 664960882 HAS SOUS 207591778 HAS SOUPS 207591778 WITH SCORE 2.08256738882E8
AT ITER 3945 NEW BEST:: SOT 1083128049 SOS 664959016 HAS SOPS 664959016 HAS SOUS 207591467 HAS SOUPS 207591467 WITH SCORE 2.08256426016E8
AT ITER 3961 NEW BEST:: SOT 1083115881 SOS 664928594 HAS SOPS 664928594 HAS SOUS 207591465 HAS SOUPS 207591465 WITH SCORE 2.08256393594E8
AT ITER 3963 NEW BEST:: SOT 1083110193 SOS 664914374 HAS SOPS 664914374 HAS SOUS 207591465 HAS SOUPS 207591465 WITH SCORE 2.08256379374E8
AT ITER 3970 NEW BEST:: SOT 1083108829 SOS 664910961 HAS SOPS 664910961 HAS SOUS 207591460 HAS SOUPS 207591460 WITH SCORE 2.08256370961E8
AT ITER 3981 NEW BEST:: SOT 1083091747 SOS 664868256 HAS SOPS 664868256 HAS SOUS 207591460 HAS SOUPS 207591460 WITH SCORE 2.08256328256E8
AT ITER 3985 NEW BEST:: SOT 1083075135 SOS 664823564 HAS SOPS 664823564 HAS SOUS 207590437 HAS SOUPS 207590437 WITH SCORE 2.08255260564E8
AT ITER 3996 NEW BEST:: SOT 1083055931 SOS 664775553 HAS SOPS 664775553 HAS SOUS 207590436 HAS SOUPS 207590436 WITH SCORE 2.08255211553E8
AT ITER 3998 NEW BEST:: SOT 1083041223 SOS 664738783 HAS SOPS 664738783 HAS SOUS 207590436 HAS SOUPS 207590436 WITH SCORE 2.08255174783E8
AT ITER 4008 NEW BEST:: SOT 1082991684 SOS 664639702 HAS SOPS 664639702 HAS SOUS 207586260 HAS SOUPS 207586260 WITH SCORE 2.08250899702E8
AT ITER 4009 NEW BEST:: SOT 1082976952 SOS 664602871 HAS SOPS 664602871 HAS SOUS 207586259 HAS SOUPS 207586259 WITH SCORE 2.08250861871E8
AT ITER 4019 NEW BEST:: SOT 1082946398 SOS 664526484 HAS SOPS 664526484 HAS SOUS 207586257 HAS SOUPS 207586257 WITH SCORE 2.08250783484E8
AT ITER 4030 NEW BEST:: SOT 1082935888 SOS 664500207 HAS SOPS 664500207 HAS SOUS 207586255 HAS SOUPS 207586255 WITH SCORE 2.08250755207E8
AT ITER 4036 NEW BEST:: SOT 1082929432 SOS 664487295 HAS SOPS 664487295 HAS SOUS 207584103 HAS SOUPS 207584103 WITH SCORE 2.08248590295E8
AT ITER 4038 NEW BEST:: SOT 1082929432 SOS 664487292 HAS SOPS 664487292 HAS SOUS 207584098 HAS SOUPS 207584098 WITH SCORE 2.08248585292E8
AT ITER 4042 NEW BEST:: SOT 1082914706 SOS 664450476 HAS SOPS 664450476 HAS SOUS 207584097 HAS SOUPS 207584097 WITH SCORE 2.08248547476E8
AT ITER 4051 NEW BEST:: SOT 1082899162 SOS 664411616 HAS SOPS 664411616 HAS SOUS 207584097 HAS SOUPS 207584097 WITH SCORE 2.08248508616E8
AT ITER 4059 NEW BEST:: SOT 1082891110 SOS 664395511 HAS SOPS 664395511 HAS SOUS 207581412 HAS SOUPS 207581412 WITH SCORE 2.08245807511E8
AT ITER 4064 NEW BEST:: SOT 1082873096 SOS 664342000 HAS SOPS 664342000 HAS SOUS 207572934 HAS SOUPS 207572934 WITH SCORE 2.08237276E8
AT ITER 4093 NEW BEST:: SOT 1082857358 SOS 664302654 HAS SOPS 664302654 HAS SOUS 207572933 HAS SOUPS 207572933 WITH SCORE 2.08237235654E8
AT ITER 4107 NEW BEST:: SOT 1082841062 SOS 664261914 HAS SOPS 664261914 HAS SOUS 207572933 HAS SOUPS 207572933 WITH SCORE 2.08237194914E8
AT ITER 4109 NEW BEST:: SOT 1082818488 SOS 664205478 HAS SOPS 664205478 HAS SOUS 207572932 HAS SOUPS 207572932 WITH SCORE 2.08237137478E8
AT ITER 4116 NEW BEST:: SOT 1082789172 SOS 664132185 HAS SOPS 664132185 HAS SOUS 207572927 HAS SOUPS 207572927 WITH SCORE 2.08237059185E8
AT ITER 4126 NEW BEST:: SOT 1082765174 SOS 664072188 HAS SOPS 664072188 HAS SOUS 207572925 HAS SOUPS 207572925 WITH SCORE 2.08236997188E8
AT ITER 4132 NEW BEST:: SOT 1082733704 SOS 663993511 HAS SOPS 663993511 HAS SOUS 207572923 HAS SOUPS 207572923 WITH SCORE 2.08236916511E8
AT ITER 4138 NEW BEST:: SOT 1082708892 SOS 663931480 HAS SOPS 663931480 HAS SOUS 207572922 HAS SOUPS 207572922 WITH SCORE 2.0823685348E8
AT ITER 4141 NEW BEST:: SOT 1082699286 SOS 663909191 HAS SOPS 663909191 HAS SOUS 207566643 HAS SOUPS 207566643 WITH SCORE 2.08230552191E8
AT ITER 4142 NEW BEST:: SOT 1082699286 SOS 663909190 HAS SOPS 663909190 HAS SOUS 207566642 HAS SOUPS 207566642 WITH SCORE 2.0823055119E8
AT ITER 4160 NEW BEST:: SOT 1082677320 SOS 663854272 HAS SOPS 663854272 HAS SOUS 207566637 HAS SOUPS 207566637 WITH SCORE 2.08230491272E8
AT ITER 4163 NEW BEST:: SOT 1082654374 SOS 663787481 HAS SOPS 663787481 HAS SOUS 207557209 HAS SOUPS 207557209 WITH SCORE 2.08220996481E8
AT ITER 4170 NEW BEST:: SOT 1082654374 SOS 663787478 HAS SOPS 663787478 HAS SOUS 207557204 HAS SOUPS 207557204 WITH SCORE 2.08220991478E8
AT ITER 4175 NEW BEST:: SOT 1082648532 SOS 663772873 HAS SOPS 663772873 HAS SOUS 207557204 HAS SOUPS 207557204 WITH SCORE 2.08220976873E8
AT ITER 4178 NEW BEST:: SOT 1082615859 SOS 663707527 HAS SOPS 663707527 HAS SOUS 207546313 HAS SOUPS 207546313 WITH SCORE 2.08210020527E8
AT ITER 4185 NEW BEST:: SOT 1082605253 SOS 663681009 HAS SOPS 663681009 HAS SOUS 207546308 HAS SOUPS 207546308 WITH SCORE 2.08209989009E8
AT ITER 4190 NEW BEST:: SOT 1082590841 SOS 663644976 HAS SOPS 663644976 HAS SOUS 207546303 HAS SOUPS 207546303 WITH SCORE 2.08209947976E8
AT ITER 4203 NEW BEST:: SOT 1082574161 SOS 663596540 HAS SOPS 663596540 HAS SOUS 207539567 HAS SOUPS 207539567 WITH SCORE 2.0820316354E8
AT ITER 4206 NEW BEST:: SOT 1082561381 SOS 663564587 HAS SOPS 663564587 HAS SOUS 207539562 HAS SOUPS 207539562 WITH SCORE 2.08203126587E8
AT ITER 4214 NEW BEST:: SOT 1082554251 SOS 663546760 HAS SOPS 663546760 HAS SOUS 207539560 HAS SOUPS 207539560 WITH SCORE 2.0820310676E8
AT ITER 4216 NEW BEST:: SOT 1082546499 SOS 663527378 HAS SOPS 663527378 HAS SOUS 207539558 HAS SOUPS 207539558 WITH SCORE 2.08203085378E8
AT ITER 4219 NEW BEST:: SOT 1082546499 SOS 663527375 HAS SOPS 663527375 HAS SOUS 207539553 HAS SOUPS 207539553 WITH SCORE 2.08203080375E8
AT ITER 4224 NEW BEST:: SOT 1082525561 SOS 663475029 HAS SOPS 663475029 HAS SOUS 207539552 HAS SOUPS 207539552 WITH SCORE 2.08203027029E8
AT ITER 4225 NEW BEST:: SOT 1082520434 SOS 663464773 HAS SOPS 663464773 HAS SOUS 207537841 HAS SOUPS 207537841 WITH SCORE 2.08201305773E8
AT ITER 4237 NEW BEST:: SOT 1082520434 SOS 663464772 HAS SOPS 663464772 HAS SOUS 207537840 HAS SOUPS 207537840 WITH SCORE 2.08201304772E8
AT ITER 4240 NEW BEST:: SOT 1082520434 SOS 663464770 HAS SOPS 663464770 HAS SOUS 207537838 HAS SOUPS 207537838 WITH SCORE 2.0820130277E8
AT ITER 4246 NEW BEST:: SOT 1082510604 SOS 663440193 HAS SOPS 663440193 HAS SOUS 207537836 HAS SOUPS 207537836 WITH SCORE 2.08201276193E8
AT ITER 4262 NEW BEST:: SOT 1082478308 SOS 663359453 HAS SOPS 663359453 HAS SOUS 207537836 HAS SOUPS 207537836 WITH SCORE 2.08201195453E8
AT ITER 4273 NEW BEST:: SOT 1082459394 SOS 663312165 HAS SOPS 663312165 HAS SOUS 207537831 HAS SOUPS 207537831 WITH SCORE 2.08201143165E8
AT ITER 4281 NEW BEST:: SOT 1082424182 SOS 663224133 HAS SOPS 663224133 HAS SOUS 207537829 HAS SOUPS 207537829 WITH SCORE 2.08201053133E8
AT ITER 4287 NEW BEST:: SOT 1082424182 SOS 663219931 HAS SOPS 663219931 HAS SOUS 207533623 HAS SOUPS 207533623 WITH SCORE 2.08196842931E8
AT ITER 4291 NEW BEST:: SOT 1082405400 SOS 663172976 HAS SOPS 663172976 HAS SOUS 207533623 HAS SOUPS 207533623 WITH SCORE 2.08196795976E8
AT ITER 4293 NEW BEST:: SOT 1082374780 SOS 663096426 HAS SOPS 663096426 HAS SOUS 207533623 HAS SOUPS 207533623 WITH SCORE 2.08196719426E8
AT ITER 4303 NEW BEST:: SOT 1082351486 SOS 663038190 HAS SOPS 663038190 HAS SOUS 207533622 HAS SOUPS 207533622 WITH SCORE 2.0819666019E8
AT ITER 4308 NEW BEST:: SOT 1082333854 SOS 662994107 HAS SOPS 662994107 HAS SOUS 207533617 HAS SOUPS 207533617 WITH SCORE 2.08196611107E8
AT ITER 4309 NEW BEST:: SOT 1082333854 SOS 662984746 HAS SOPS 662984746 HAS SOUS 207524256 HAS SOUPS 207524256 WITH SCORE 2.08187240746E8
AT ITER 4312 NEW BEST:: SOT 1082325422 SOS 662963664 HAS SOPS 662963664 HAS SOUS 207524254 HAS SOUPS 207524254 WITH SCORE 2.08187217664E8
AT ITER 4322 NEW BEST:: SOT 1082290616 SOS 662876649 HAS SOPS 662876649 HAS SOUS 207524254 HAS SOUPS 207524254 WITH SCORE 2.08187130649E8
AT ITER 4329 NEW BEST:: SOT 1082282874 SOS 662857292 HAS SOPS 662857292 HAS SOUS 207524252 HAS SOUPS 207524252 WITH SCORE 2.08187109292E8
AT ITER 4332 NEW BEST:: SOT 1082278304 SOS 662845865 HAS SOPS 662845865 HAS SOUS 207524250 HAS SOUPS 207524250 WITH SCORE 2.08187095865E8
AT ITER 4368 NEW BEST:: SOT 1082269128 SOS 662822922 HAS SOPS 662822922 HAS SOUS 207524245 HAS SOUPS 207524245 WITH SCORE 2.08187067922E8
AT ITER 4372 NEW BEST:: SOT 1082258588 SOS 662796571 HAS SOPS 662796571 HAS SOUS 207524244 HAS SOUPS 207524244 WITH SCORE 2.08187040571E8
AT ITER 4373 NEW BEST:: SOT 1082234556 SOS 662724475 HAS SOPS 662724475 HAS SOUS 207512228 HAS SOUPS 207512228 WITH SCORE 2.08174952475E8
AT ITER 4374 NEW BEST:: SOT 1082211418 SOS 662666628 HAS SOPS 662666628 HAS SOUS 207512226 HAS SOUPS 207512226 WITH SCORE 2.08174892628E8
AT ITER 4395 NEW BEST:: SOT 1082191744 SOS 662617443 HAS SOPS 662617443 HAS SOUS 207512226 HAS SOUPS 207512226 WITH SCORE 2.08174843443E8
AT ITER 4400 NEW BEST:: SOT 1082172389 SOS 662557705 HAS SOPS 662557705 HAS SOUS 207506217 HAS SOUPS 207506217 WITH SCORE 2.08168774705E8
AT ITER 4407 NEW BEST:: SOT 1082156552 SOS 662515561 HAS SOPS 662515561 HAS SOUS 207504624 HAS SOUPS 207504624 WITH SCORE 2.08167139561E8
AT ITER 4408 NEW BEST:: SOT 1082150732 SOS 662501009 HAS SOPS 662501009 HAS SOUS 207504622 HAS SOUPS 207504622 WITH SCORE 2.08167123009E8
AT ITER 4413 NEW BEST:: SOT 1082140358 SOS 662475074 HAS SOPS 662475074 HAS SOUS 207504622 HAS SOUPS 207504622 WITH SCORE 2.08167097074E8
AT ITER 4419 NEW BEST:: SOT 1082121128 SOS 662426998 HAS SOPS 662426998 HAS SOUS 207504621 HAS SOUPS 207504621 WITH SCORE 2.08167047998E8
AT ITER 4420 NEW BEST:: SOT 1082110904 SOS 662401437 HAS SOPS 662401437 HAS SOUS 207504620 HAS SOUPS 207504620 WITH SCORE 2.08167021437E8
AT ITER 4434 NEW BEST:: SOT 1082064926 SOS 662309476 HAS SOPS 662309476 HAS SOUS 207500677 HAS SOUPS 207500677 WITH SCORE 2.08162986476E8
AT ITER 4442 NEW BEST:: SOT 1082064926 SOS 662307817 HAS SOPS 662307817 HAS SOUS 207499018 HAS SOUPS 207499018 WITH SCORE 2.08161325817E8
AT ITER 4452 NEW BEST:: SOT 1082013832 SOS 662205625 HAS SOPS 662205625 HAS SOUS 207495806 HAS SOUPS 207495806 WITH SCORE 2.08158011625E8
AT ITER 4453 NEW BEST:: SOT 1082011056 SOS 662198682 HAS SOPS 662198682 HAS SOUS 207495801 HAS SOUPS 207495801 WITH SCORE 2.08157999682E8
AT ITER 4455 NEW BEST:: SOT 1082001282 SOS 662174247 HAS SOPS 662174247 HAS SOUS 207495801 HAS SOUPS 207495801 WITH SCORE 2.08157975247E8
AT ITER 4459 NEW BEST:: SOT 1081984610 SOS 662132566 HAS SOPS 662132566 HAS SOUS 207495800 HAS SOUPS 207495800 WITH SCORE 2.08157932566E8
AT ITER 4466 NEW BEST:: SOT 1081962364 SOS 662076949 HAS SOPS 662076949 HAS SOUS 207495798 HAS SOUPS 207495798 WITH SCORE 2.08157874949E8
AT ITER 4478 NEW BEST:: SOT 1081962364 SOS 662070883 HAS SOPS 662070883 HAS SOUS 207489732 HAS SOUPS 207489732 WITH SCORE 2.08151802883E8
AT ITER 4487 NEW BEST:: SOT 1081929840 SOS 661973311 HAS SOPS 661973311 HAS SOUS 207473466 HAS SOUPS 207473466 WITH SCORE 2.08135439311E8
AT ITER 4514 NEW BEST:: SOT 1081913440 SOS 661932309 HAS SOPS 661932309 HAS SOUS 207473464 HAS SOUPS 207473464 WITH SCORE 2.08135396309E8
AT ITER 4516 NEW BEST:: SOT 1081900956 SOS 661901098 HAS SOPS 661901098 HAS SOUS 207473463 HAS SOUPS 207473463 WITH SCORE 2.08135364098E8
AT ITER 4524 NEW BEST:: SOT 1081891134 SOS 661881453 HAS SOPS 661881453 HAS SOUS 207470188 HAS SOUPS 207470188 WITH SCORE 2.08132069453E8
AT ITER 4537 NEW BEST:: SOT 1081868152 SOS 661823995 HAS SOPS 661823995 HAS SOUS 207470183 HAS SOUPS 207470183 WITH SCORE 2.08132006995E8
AT ITER 4545 NEW BEST:: SOT 1081846738 SOS 661770460 HAS SOPS 661770460 HAS SOUS 207470183 HAS SOUPS 207470183 WITH SCORE 2.0813195346E8
AT ITER 4548 NEW BEST:: SOT 1081843276 SOS 661763533 HAS SOPS 661763533 HAS SOUS 207469024 HAS SOUPS 207469024 WITH SCORE 2.08130787533E8
AT ITER 4552 NEW BEST:: SOT 1081841022 SOS 661757895 HAS SOPS 661757895 HAS SOUS 207469019 HAS SOUPS 207469019 WITH SCORE 2.08130776895E8
AT ITER 4556 NEW BEST:: SOT 1081814860 SOS 661692487 HAS SOPS 661692487 HAS SOUS 207469014 HAS SOUPS 207469014 WITH SCORE 2.08130706487E8
AT ITER 4560 NEW BEST:: SOT 1081814860 SOS 661692485 HAS SOPS 661692485 HAS SOUS 207469012 HAS SOUPS 207469012 WITH SCORE 2.08130704485E8
AT ITER 4561 NEW BEST:: SOT 1081803432 SOS 661663914 HAS SOPS 661663914 HAS SOUS 207469011 HAS SOUPS 207469011 WITH SCORE 2.08130674914E8
AT ITER 4565 NEW BEST:: SOT 1081769414 SOS 661578866 HAS SOPS 661578866 HAS SOUS 207469006 HAS SOUPS 207469006 WITH SCORE 2.08130584866E8
AT ITER 4567 NEW BEST:: SOT 1081748698 SOS 661516718 HAS SOPS 661516718 HAS SOUS 207458644 HAS SOUPS 207458644 WITH SCORE 2.08120160718E8
AT ITER 4569 NEW BEST:: SOT 1081734040 SOS 661480073 HAS SOPS 661480073 HAS SOUS 207458644 HAS SOUPS 207458644 WITH SCORE 2.08120124073E8
AT ITER 4571 NEW BEST:: SOT 1081733594 SOS 661478735 HAS SOPS 661478735 HAS SOUS 207458417 HAS SOUPS 207458417 WITH SCORE 2.08119895735E8
AT ITER 4581 NEW BEST:: SOT 1081725954 SOS 661459635 HAS SOPS 661459635 HAS SOUS 207458417 HAS SOUPS 207458417 WITH SCORE 2.08119876635E8
AT ITER 4583 NEW BEST:: SOT 1081698646 SOS 661391365 HAS SOPS 661391365 HAS SOUS 207458417 HAS SOUPS 207458417 WITH SCORE 2.08119808365E8
AT ITER 4588 NEW BEST:: SOT 1081668314 SOS 661315535 HAS SOPS 661315535 HAS SOUS 207458417 HAS SOUPS 207458417 WITH SCORE 2.08119732535E8
AT ITER 4626 NEW BEST:: SOT 1081649052 SOS 661267380 HAS SOPS 661267380 HAS SOUS 207458417 HAS SOUPS 207458417 WITH SCORE 2.0811968438E8
AT ITER 4645 NEW BEST:: SOT 1081630322 SOS 661211190 HAS SOPS 661211190 HAS SOUS 207449052 HAS SOUPS 207449052 WITH SCORE 2.0811026319E8
AT ITER 4649 NEW BEST:: SOT 1081626174 SOS 661200818 HAS SOPS 661200818 HAS SOUS 207449050 HAS SOUPS 207449050 WITH SCORE 2.08110250818E8
AT ITER 4652 NEW BEST:: SOT 1081610944 SOS 661162742 HAS SOPS 661162742 HAS SOUS 207449049 HAS SOUPS 207449049 WITH SCORE 2.08110211742E8
AT ITER 4660 NEW BEST:: SOT 1081595420 SOS 661123931 HAS SOPS 661123931 HAS SOUS 207449048 HAS SOUPS 207449048 WITH SCORE 2.08110171931E8
AT ITER 4676 NEW BEST:: SOT 1081578378 SOS 661072805 HAS SOPS 661072805 HAS SOUS 207440527 HAS SOUPS 207440527 WITH SCORE 2.08101599805E8
AT ITER 4685 NEW BEST:: SOT 1081564844 SOS 661035211 HAS SOPS 661035211 HAS SOUS 207436764 HAS SOUPS 207436764 WITH SCORE 2.08097799211E8
AT ITER 4688 NEW BEST:: SOT 1081549415 SOS 661004352 HAS SOPS 661004352 HAS SOUS 207431620 HAS SOUPS 207431620 WITH SCORE 2.08092624352E8
AT ITER 4690 NEW BEST:: SOT 1081537927 SOS 660975632 HAS SOPS 660975632 HAS SOUS 207431620 HAS SOUPS 207431620 WITH SCORE 2.08092595632E8
AT ITER 4691 NEW BEST:: SOT 1081509821 SOS 660905366 HAS SOPS 660905366 HAS SOUS 207431619 HAS SOUPS 207431619 WITH SCORE 2.08092524366E8
AT ITER 4693 NEW BEST:: SOT 1081477985 SOS 660825774 HAS SOPS 660825774 HAS SOUS 207431617 HAS SOUPS 207431617 WITH SCORE 2.08092442774E8
AT ITER 4703 NEW BEST:: SOT 1081426084 SOS 660721968 HAS SOPS 660721968 HAS SOUS 207424031 HAS SOUPS 207424031 WITH SCORE 2.08084752968E8
AT ITER 4711 NEW BEST:: SOT 1081421230 SOS 660707406 HAS SOPS 660707406 HAS SOUS 207421604 HAS SOUPS 207421604 WITH SCORE 2.08082311406E8
AT ITER 4718 NEW BEST:: SOT 1081414158 SOS 660689723 HAS SOPS 660689723 HAS SOUS 207421599 HAS SOUPS 207421599 WITH SCORE 2.08082288723E8
AT ITER 4719 NEW BEST:: SOT 1081419590 SOS 660681318 HAS SOPS 660681318 HAS SOUS 207418228 HAS SOUPS 207418228 WITH SCORE 2.08078909318E8
AT ITER 4729 NEW BEST:: SOT 1081416634 SOS 660673926 HAS SOPS 660673926 HAS SOUS 207418226 HAS SOUPS 207418226 WITH SCORE 2.08078899926E8
AT ITER 4747 NEW BEST:: SOT 1081411606 SOS 660661353 HAS SOPS 660661353 HAS SOUS 207418221 HAS SOUPS 207418221 WITH SCORE 2.08078882353E8
AT ITER 4765 NEW BEST:: SOT 1081377018 SOS 660574883 HAS SOPS 660574883 HAS SOUS 207418221 HAS SOUPS 207418221 WITH SCORE 2.08078795883E8
AT ITER 4776 NEW BEST:: SOT 1081370072 SOS 660557515 HAS SOPS 660557515 HAS SOUS 207418216 HAS SOUPS 207418216 WITH SCORE 2.08078773515E8
AT ITER 4788 NEW BEST:: SOT 1081340982 SOS 660484790 HAS SOPS 660484790 HAS SOUS 207418216 HAS SOUPS 207418216 WITH SCORE 2.0807870079E8
AT ITER 4790 NEW BEST:: SOT 1081305562 SOS 660396238 HAS SOPS 660396238 HAS SOUS 207418214 HAS SOUPS 207418214 WITH SCORE 2.08078610238E8
AT ITER 4792 NEW BEST:: SOT 1081302576 SOS 660388773 HAS SOPS 660388773 HAS SOUS 207418214 HAS SOUPS 207418214 WITH SCORE 2.08078602773E8
AT ITER 4803 NEW BEST:: SOT 1081269850 SOS 660306957 HAS SOPS 660306957 HAS SOUS 207418213 HAS SOUPS 207418213 WITH SCORE 2.08078519957E8
AT ITER 4808 NEW BEST:: SOT 1081250814 SOS 660259365 HAS SOPS 660259365 HAS SOUS 207418211 HAS SOUPS 207418211 WITH SCORE 2.08078470365E8
AT ITER 4816 NEW BEST:: SOT 1081220020 SOS 660182377 HAS SOPS 660182377 HAS SOUS 207418206 HAS SOUPS 207418206 WITH SCORE 2.08078388377E8
AT ITER 4822 NEW BEST:: SOT 1081209102 SOS 660155081 HAS SOPS 660155081 HAS SOUS 207418205 HAS SOUPS 207418205 WITH SCORE 2.08078360081E8
AT ITER 4824 NEW BEST:: SOT 1081177362 SOS 660075730 HAS SOPS 660075730 HAS SOUS 207418204 HAS SOUPS 207418204 WITH SCORE 2.0807827973E8
AT ITER 4825 NEW BEST:: SOT 1081157454 SOS 660019497 HAS SOPS 660019497 HAS SOUS 207415317 HAS SOUPS 207415317 WITH SCORE 2.08075336497E8
AT ITER 4831 NEW BEST:: SOT 1081143752 SOS 659985241 HAS SOPS 659985241 HAS SOUS 207415316 HAS SOUPS 207415316 WITH SCORE 2.08075301241E8
AT ITER 4832 NEW BEST:: SOT 1081137186 SOS 659968823 HAS SOPS 659968823 HAS SOUS 207415311 HAS SOUPS 207415311 WITH SCORE 2.08075279823E8
AT ITER 4837 NEW BEST:: SOT 1081118434 SOS 659921941 HAS SOPS 659921941 HAS SOUS 207415309 HAS SOUPS 207415309 WITH SCORE 2.08075230941E8
AT ITER 4846 NEW BEST:: SOT 1081110532 SOS 659902184 HAS SOPS 659902184 HAS SOUS 207415307 HAS SOUPS 207415307 WITH SCORE 2.08075209184E8
AT ITER 4850 NEW BEST:: SOT 1081100486 SOS 659877069 HAS SOPS 659877069 HAS SOUS 207415307 HAS SOUPS 207415307 WITH SCORE 2.08075184069E8
AT ITER 4852 NEW BEST:: SOT 1081068508 SOS 659797123 HAS SOPS 659797123 HAS SOUS 207415306 HAS SOUPS 207415306 WITH SCORE 2.08075103123E8
AT ITER 4855 NEW BEST:: SOT 1081060758 SOS 659777746 HAS SOPS 659777746 HAS SOUS 207415304 HAS SOUPS 207415304 WITH SCORE 2.08075081746E8
AT ITER 4857 NEW BEST:: SOT 1081058580 SOS 659772298 HAS SOPS 659772298 HAS SOUS 207415299 HAS SOUPS 207415299 WITH SCORE 2.08075071298E8
AT ITER 4873 NEW BEST:: SOT 1081047872 SOS 659745528 HAS SOPS 659745528 HAS SOUS 207415299 HAS SOUPS 207415299 WITH SCORE 2.08075044528E8
AT ITER 4875 NEW BEST:: SOT 1081046006 SOS 659739930 HAS SOPS 659739930 HAS SOUS 207414366 HAS SOUPS 207414366 WITH SCORE 2.0807410593E8
AT ITER 4879 NEW BEST:: SOT 1081031388 SOS 659703384 HAS SOPS 659703384 HAS SOUS 207414365 HAS SOUPS 207414365 WITH SCORE 2.08074068384E8
AT ITER 4880 NEW BEST:: SOT 1081010516 SOS 659651203 HAS SOPS 659651203 HAS SOUS 207414364 HAS SOUPS 207414364 WITH SCORE 2.08074015203E8
AT ITER 4890 NEW BEST:: SOT 1080983422 SOS 659583468 HAS SOPS 659583468 HAS SOUS 207414364 HAS SOUPS 207414364 WITH SCORE 2.08073947468E8
AT ITER 4892 NEW BEST:: SOT 1080964518 SOS 659536206 HAS SOPS 659536206 HAS SOUS 207414362 HAS SOUPS 207414362 WITH SCORE 2.08073898206E8
AT ITER 4893 NEW BEST:: SOT 1080911183 SOS 659429531 HAS SOPS 659429531 HAS SOUS 207401122 HAS SOUPS 207401122 WITH SCORE 2.08060551531E8
AT ITER 4904 NEW BEST:: SOT 1080889513 SOS 659375355 HAS SOPS 659375355 HAS SOUS 207401121 HAS SOUPS 207401121 WITH SCORE 2.08060496355E8
AT ITER 4908 NEW BEST:: SOT 1080870613 SOS 659328102 HAS SOPS 659328102 HAS SOUS 207401116 HAS SOUPS 207401116 WITH SCORE 2.08060444102E8
AT ITER 4921 NEW BEST:: SOT 1080819914 SOS 659226701 HAS SOPS 659226701 HAS SOUS 207393953 HAS SOUPS 207393953 WITH SCORE 2.08053179701E8
AT ITER 4924 NEW BEST:: SOT 1080800702 SOS 659178668 HAS SOPS 659178668 HAS SOUS 207393948 HAS SOUPS 207393948 WITH SCORE 2.08053126668E8
AT ITER 4925 NEW BEST:: SOT 1080790514 SOS 659158290 HAS SOPS 659158290 HAS SOUS 207390550 HAS SOUPS 207390550 WITH SCORE 2.0804970829E8
AT ITER 4927 NEW BEST:: SOT 1080773328 SOS 659115325 HAS SOPS 659115325 HAS SOUS 207390550 HAS SOUPS 207390550 WITH SCORE 2.08049665325E8
AT ITER 4928 NEW BEST:: SOT 1080773328 SOS 659115323 HAS SOPS 659115323 HAS SOUS 207390548 HAS SOUPS 207390548 WITH SCORE 2.08049663323E8
AT ITER 4929 NEW BEST:: SOT 1080762154 SOS 659082438 HAS SOPS 659082438 HAS SOUS 207385594 HAS SOUPS 207385594 WITH SCORE 2.08044676438E8
AT ITER 4940 NEW BEST:: SOT 1080767658 SOS 659098241 HAS SOPS 659098241 HAS SOUS 207381508 HAS SOUPS 207381508 WITH SCORE 2.08040606241E8
AT ITER 4953 NEW BEST:: SOT 1080751814 SOS 659058629 HAS SOPS 659058629 HAS SOUS 207381506 HAS SOUPS 207381506 WITH SCORE 2.08040564629E8
AT ITER 4955 NEW BEST:: SOT 1080730543 SOS 658996714 HAS SOPS 658996714 HAS SOUS 207378473 HAS SOUPS 207378473 WITH SCORE 2.08037469714E8
AT ITER 4979 NEW BEST:: SOT 1080723519 SOS 658979151 HAS SOPS 658979151 HAS SOUS 207378468 HAS SOUPS 207378468 WITH SCORE 2.08037447151E8
AT ITER 4980 NEW BEST:: SOT 1080713621 SOS 658954403 HAS SOPS 658954403 HAS SOUS 207378463 HAS SOUPS 207378463 WITH SCORE 2.08037417403E8
AT ITER 4985 NEW BEST:: SOT 1080686267 SOS 658886018 HAS SOPS 658886018 HAS SOUS 207378463 HAS SOUPS 207378463 WITH SCORE 2.08037349018E8
AT ITER 4988 NEW BEST:: SOT 1080670119 SOS 658845646 HAS SOPS 658845646 HAS SOUS 207378461 HAS SOUPS 207378461 WITH SCORE 2.08037306646E8
AT ITER 4997 NEW BEST:: SOT 1080657879 SOS 658815045 HAS SOPS 658815045 HAS SOUS 207378460 HAS SOUPS 207378460 WITH SCORE 2.08037275045E8
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-00 ( (! potential( (tk(P4448)) <= (tk(P277)) )) | (AF((AX( potential( ( 1 ) <= (tk(P9949)) ))))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-01 (AG( ( (EG( potential( ( 2 ) <= (tk(P21721)) ))) | ( potential( ( 3 ) <= (tk(P29332)) ) | ( potential( (tk(P17678)) <= (tk(P23063)) ) | potential( (tk(P15515)) <= (tk(P28201)) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-02 ( (EG( (EF(potential( ( 1 ) <= (tk(P25655)) ))))) & (! (AU( potential( (tk(P4942)) <= (tk(P28303)) ),potential( ( 1 ) <= (tk(P22861)) ) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-03 (! (EF(potential( (tk(P3045)) <= (tk(P515)) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-04 (AG( ( ( ( potential( (tk(P6572)) <= (tk(P8232)) ) & potential( ( 2 ) <= (tk(P29036)) ) ) | potential( ( 2 ) <= (tk(P28899)) ) ) | potential( (tk(P5169)) <= (tk(P7936)) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-05 ( ( (! (! (! potential( ( 2 ) <= (tk(P1801)) )))) & ( (EX( potential( ( 1 ) <= (tk(P10883)) ))) | potential( ( 2 ) <= (tk(P11490)) ) ) ) & (AX( (AF(potential( (tk(P8542)) <= (tk(P31205)) ))))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-06 (! (AF(( ( potential( (tk(P13561)) <= (tk(P27853)) ) & potential( ( 1 ) <= (tk(P7929)) ) ) & potential( (tk(P24039)) <= (tk(P30290)) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-07 (! (AG( ( ( potential( (tk(P17110)) <= (tk(P25263)) ) | potential( ( 1 ) <= (tk(P20313)) ) ) | potential( (tk(P749)) <= (tk(P31391)) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-08 (! (! ( ( potential( ( 2 ) <= (tk(P26299)) ) & ( potential( ( 3 ) <= (tk(P21397)) ) & potential( ( 2 ) <= (tk(P20156)) ) ) ) | (EG( potential( (tk(P1042)) <= (tk(P31379)) ))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-09 (EF((! ( ( potential( ( 3 ) <= (tk(P29784)) ) | potential( (tk(P29158)) <= (tk(P25570)) ) ) | ( potential( (tk(P8170)) <= (tk(P29872)) ) | potential( (tk(P8383)) <= (tk(P19145)) ) ) ))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-10 (AF(( (EX( potential( ( 2 ) <= (tk(P28870)) ))) & ( ( potential( ( 3 ) <= (tk(P17317)) ) | potential( ( 1 ) <= (tk(P20142)) ) ) | ( potential( ( 3 ) <= (tk(P11286)) ) | potential( (tk(P12597)) <= (tk(P11008)) ) ) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-11 (! ( (! ( (! potential( ( 2 ) <= (tk(P2314)) )) & ( potential( (tk(P5745)) <= (tk(P18149)) ) | potential( ( 3 ) <= (tk(P30313)) ) ) )) | ( (EF(potential( ( 3 ) <= (tk(P31646)) ))) & (EG( potential( (tk(P8848)) <= (tk(P25164)) ))) ) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-12 (EF((AF(( potential( ( 1 ) <= (tk(P6574)) ) & potential( ( 1 ) <= (tk(P19199)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-13 (AF(( (AX( potential( (tk(P18098)) <= (tk(P2451)) ))) & (EX( potential( ( 3 ) <= (tk(P31168)) ))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-14 (EG( (EG( (! potential( ( 3 ) <= (tk(P16429)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A06-CTLCardinality-15 (EU( (AF(potential( (tk(P16427)) <= (tk(P4792)) ))),(EF(potential( ( 1 ) <= (tk(P14623)) ))) ))

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

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