fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472900840
Last Updated
May 14, 2023

About the Execution of Smart for DLCshifumi-PT-4b

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

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472900840.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCshifumi-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900840
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.5M
-rw-r--r-- 1 mcc users 6.8K Feb 26 07:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 07:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 07:33 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 07:33 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 07:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 07:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 07:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 07:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 5.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678267181632

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-4b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 15015 places, 21341 transitions, 56284 arcs.
AT ITER 0 NEW BEST:: SOT 205180670 SOS 40408178 HAS SOPS 40408178 HAS SOUS 31049784 HAS SOUPS 31049784 WITH SCORE 3.1090192178E7
AT ITER 32 NEW BEST:: SOT 205180268 SOS 40407374 HAS SOPS 40407374 HAS SOUS 31047933 HAS SOUPS 31047933 WITH SCORE 3.1088340374E7
AT ITER 98 NEW BEST:: SOT 205179394 SOS 40408970 HAS SOPS 40408970 HAS SOUS 31046099 HAS SOUPS 31046099 WITH SCORE 3.108650797E7
AT ITER 103 NEW BEST:: SOT 205178223 SOS 40406628 HAS SOPS 40406628 HAS SOUS 31043757 HAS SOUPS 31043757 WITH SCORE 3.1084163628E7
AT ITER 130 NEW BEST:: SOT 205176768 SOS 40405173 HAS SOPS 40405173 HAS SOUS 31042302 HAS SOUPS 31042302 WITH SCORE 3.1082707173E7
AT ITER 131 NEW BEST:: SOT 205176336 SOS 40404310 HAS SOPS 40404310 HAS SOUS 31041439 HAS SOUPS 31041439 WITH SCORE 3.108184331E7
AT ITER 140 NEW BEST:: SOT 205176336 SOS 40403326 HAS SOPS 40403326 HAS SOUS 31041439 HAS SOUPS 31041439 WITH SCORE 3.1081842326E7
AT ITER 141 NEW BEST:: SOT 205173637 SOS 40400724 HAS SOPS 40400724 HAS SOUS 31038837 HAS SOUPS 31038837 WITH SCORE 3.1079237724E7
AT ITER 183 NEW BEST:: SOT 205173637 SOS 40400500 HAS SOPS 40400500 HAS SOUS 31038613 HAS SOUPS 31038613 WITH SCORE 3.10790135E7
AT ITER 196 NEW BEST:: SOT 205170439 SOS 40398901 HAS SOPS 40398901 HAS SOUS 31037014 HAS SOUPS 31037014 WITH SCORE 3.1077412901E7
AT ITER 203 NEW BEST:: SOT 205169735 SOS 40397493 HAS SOPS 40397493 HAS SOUS 31035606 HAS SOUPS 31035606 WITH SCORE 3.1076003493E7
AT ITER 204 NEW BEST:: SOT 205167143 SOS 40395031 HAS SOPS 40395031 HAS SOUS 31033144 HAS SOUPS 31033144 WITH SCORE 3.1073539031E7
AT ITER 211 NEW BEST:: SOT 205165152 SOS 40393093 HAS SOPS 40393093 HAS SOUS 31031153 HAS SOUPS 31031153 WITH SCORE 3.1071546093E7
AT ITER 223 NEW BEST:: SOT 205164313 SOS 40394763 HAS SOPS 40394763 HAS SOUS 31030312 HAS SOUPS 31030312 WITH SCORE 3.1070706763E7
AT ITER 252 NEW BEST:: SOT 205163488 SOS 40394765 HAS SOPS 40394765 HAS SOUS 31026593 HAS SOUPS 31026593 WITH SCORE 3.1066987765E7
AT ITER 259 NEW BEST:: SOT 205163488 SOS 40392146 HAS SOPS 40392146 HAS SOUS 31026593 HAS SOUPS 31026593 WITH SCORE 3.1066985146E7
AT ITER 261 NEW BEST:: SOT 205162026 SOS 40389222 HAS SOPS 40389222 HAS SOUS 31023550 HAS SOUPS 31023550 WITH SCORE 3.1063939222E7
AT ITER 312 NEW BEST:: SOT 205158970 SOS 40416025 HAS SOPS 40416025 HAS SOUS 31022659 HAS SOUPS 31022659 WITH SCORE 3.1063075025E7
AT ITER 326 NEW BEST:: SOT 205156315 SOS 40414175 HAS SOPS 40414175 HAS SOUS 31020812 HAS SOUPS 31020812 WITH SCORE 3.1061226175E7
AT ITER 337 NEW BEST:: SOT 205155999 SOS 40416377 HAS SOPS 40416377 HAS SOUS 31020179 HAS SOUPS 31020179 WITH SCORE 3.1060595377E7
AT ITER 339 NEW BEST:: SOT 205153723 SOS 40404997 HAS SOPS 40404997 HAS SOUS 31015627 HAS SOUPS 31015627 WITH SCORE 3.1056031997E7
AT ITER 393 NEW BEST:: SOT 205152393 SOS 40403663 HAS SOPS 40403663 HAS SOUS 31014296 HAS SOUPS 31014296 WITH SCORE 3.1054699663E7
AT ITER 414 NEW BEST:: SOT 205150949 SOS 40402937 HAS SOPS 40402937 HAS SOUS 31013573 HAS SOUPS 31013573 WITH SCORE 3.1053975937E7
AT ITER 437 NEW BEST:: SOT 205149401 SOS 40394360 HAS SOPS 40394360 HAS SOUS 31010477 HAS SOUPS 31010477 WITH SCORE 3.105087136E7
AT ITER 464 NEW BEST:: SOT 205148935 SOS 40393428 HAS SOPS 40393428 HAS SOUS 31009545 HAS SOUPS 31009545 WITH SCORE 3.1049938428E7
AT ITER 477 NEW BEST:: SOT 205133594 SOS 40388338 HAS SOPS 40388338 HAS SOUS 31000201 HAS SOUPS 31000201 WITH SCORE 3.1040589338E7
AT ITER 478 NEW BEST:: SOT 205133594 SOS 40387617 HAS SOPS 40387617 HAS SOUS 31000201 HAS SOUPS 31000201 WITH SCORE 3.1040588617E7
AT ITER 509 NEW BEST:: SOT 205133594 SOS 40387617 HAS SOPS 40387617 HAS SOUS 31000200 HAS SOUPS 31000200 WITH SCORE 3.1040587617E7
AT ITER 531 NEW BEST:: SOT 205133594 SOS 40387617 HAS SOPS 40387617 HAS SOUS 30999361 HAS SOUPS 30999361 WITH SCORE 3.1039748617E7
AT ITER 588 NEW BEST:: SOT 205133594 SOS 40387617 HAS SOPS 40387617 HAS SOUS 30996222 HAS SOUPS 30996222 WITH SCORE 3.1036609617E7
AT ITER 606 NEW BEST:: SOT 205129735 SOS 40387291 HAS SOPS 40387291 HAS SOUS 30995119 HAS SOUPS 30995119 WITH SCORE 3.1035506291E7
AT ITER 622 NEW BEST:: SOT 205129449 SOS 40386720 HAS SOPS 40386720 HAS SOUS 30994548 HAS SOUPS 30994548 WITH SCORE 3.103493472E7
AT ITER 648 NEW BEST:: SOT 205128673 SOS 40385168 HAS SOPS 40385168 HAS SOUS 30992475 HAS SOUPS 30992475 WITH SCORE 3.1032860168E7
AT ITER 660 NEW BEST:: SOT 205125983 SOS 40382639 HAS SOPS 40382639 HAS SOUS 30989946 HAS SOUPS 30989946 WITH SCORE 3.1030328639E7
AT ITER 682 NEW BEST:: SOT 205123175 SOS 40379831 HAS SOPS 40379831 HAS SOUS 30987138 HAS SOUPS 30987138 WITH SCORE 3.1027517831E7
AT ITER 701 NEW BEST:: SOT 205121625 SOS 40379350 HAS SOPS 40379350 HAS SOUS 30983505 HAS SOUPS 30983505 WITH SCORE 3.102388435E7
AT ITER 719 NEW BEST:: SOT 205121406 SOS 40378913 HAS SOPS 40378913 HAS SOUS 30983068 HAS SOUPS 30983068 WITH SCORE 3.1023446913E7
AT ITER 720 NEW BEST:: SOT 205120848 SOS 40377769 HAS SOPS 40377769 HAS SOUS 30981924 HAS SOUPS 30981924 WITH SCORE 3.1022301769E7
AT ITER 730 NEW BEST:: SOT 205119441 SOS 40376358 HAS SOPS 40376358 HAS SOUS 30980516 HAS SOUPS 30980516 WITH SCORE 3.1020892358E7
AT ITER 739 NEW BEST:: SOT 205119099 SOS 40378352 HAS SOPS 40378352 HAS SOUS 30980098 HAS SOUPS 30980098 WITH SCORE 3.1020476352E7
AT ITER 747 NEW BEST:: SOT 205117115 SOS 40376364 HAS SOPS 40376364 HAS SOUS 30978113 HAS SOUPS 30978113 WITH SCORE 3.1018489364E7
AT ITER 756 NEW BEST:: SOT 205117115 SOS 40383189 HAS SOPS 40383189 HAS SOUS 30977231 HAS SOUPS 30977231 WITH SCORE 3.1017614189E7
AT ITER 785 NEW BEST:: SOT 205116832 SOS 40382623 HAS SOPS 40382623 HAS SOUS 30976665 HAS SOUPS 30976665 WITH SCORE 3.1017047623E7
AT ITER 787 NEW BEST:: SOT 205115265 SOS 40374788 HAS SOPS 40374788 HAS SOUS 30973531 HAS SOUPS 30973531 WITH SCORE 3.1013905788E7
AT ITER 812 NEW BEST:: SOT 205114328 SOS 40372915 HAS SOPS 40372915 HAS SOUS 30971658 HAS SOUPS 30971658 WITH SCORE 3.1012030915E7
AT ITER 817 NEW BEST:: SOT 205114327 SOS 40372913 HAS SOPS 40372913 HAS SOUS 30971656 HAS SOUPS 30971656 WITH SCORE 3.1012028913E7
AT ITER 819 NEW BEST:: SOT 205111348 SOS 40370135 HAS SOPS 40370135 HAS SOUS 30968677 HAS SOUPS 30968677 WITH SCORE 3.1009047135E7
AT ITER 825 NEW BEST:: SOT 205108272 SOS 40395638 HAS SOPS 40395638 HAS SOUS 30967420 HAS SOUPS 30967420 WITH SCORE 3.1007815638E7
AT ITER 847 NEW BEST:: SOT 205106684 SOS 40395638 HAS SOPS 40395638 HAS SOUS 30966626 HAS SOUPS 30966626 WITH SCORE 3.1007021638E7
AT ITER 857 NEW BEST:: SOT 205047508 SOS 41024783 HAS SOPS 41024783 HAS SOUS 30920838 HAS SOUPS 30920838 WITH SCORE 3.0961862783E7
AT ITER 864 NEW BEST:: SOT 205047508 SOS 41024691 HAS SOPS 41024691 HAS SOUS 30920838 HAS SOUPS 30920838 WITH SCORE 3.0961862691E7
AT ITER 899 NEW BEST:: SOT 205046773 SOS 41023956 HAS SOPS 41023956 HAS SOUS 30920103 HAS SOUPS 30920103 WITH SCORE 3.0961126956E7
AT ITER 904 NEW BEST:: SOT 205048073 SOS 41026556 HAS SOPS 41026556 HAS SOUS 30920090 HAS SOUPS 30920090 WITH SCORE 3.0961116556E7
AT ITER 951 NEW BEST:: SOT 205049268 SOS 41017885 HAS SOPS 41017885 HAS SOUS 30918532 HAS SOUPS 30918532 WITH SCORE 3.0959549885E7
AT ITER 980 NEW BEST:: SOT 205043394 SOS 41013613 HAS SOPS 41013613 HAS SOUS 30914260 HAS SOUPS 30914260 WITH SCORE 3.0955273613E7
AT ITER 984 NEW BEST:: SOT 205043393 SOS 41013419 HAS SOPS 41013419 HAS SOUS 30914066 HAS SOUPS 30914066 WITH SCORE 3.0955079419E7
AT ITER 1012 NEW BEST:: SOT 205041620 SOS 41011642 HAS SOPS 41011642 HAS SOUS 30912292 HAS SOUPS 30912292 WITH SCORE 3.0953303642E7
AT ITER 1016 NEW BEST:: SOT 205039709 SOS 41009731 HAS SOPS 41009731 HAS SOUS 30910381 HAS SOUPS 30910381 WITH SCORE 3.0951390731E7
AT ITER 1110 NEW BEST:: SOT 205037768 SOS 41007790 HAS SOPS 41007790 HAS SOUS 30908440 HAS SOUPS 30908440 WITH SCORE 3.094944779E7
AT ITER 1114 NEW BEST:: SOT 205036685 SOS 41005625 HAS SOPS 41005625 HAS SOUS 30906275 HAS SOUPS 30906275 WITH SCORE 3.0947280625E7
AT ITER 1128 NEW BEST:: SOT 205036486 SOS 41005227 HAS SOPS 41005227 HAS SOUS 30905877 HAS SOUPS 30905877 WITH SCORE 3.0946882227E7
AT ITER 1132 NEW BEST:: SOT 205035970 SOS 41004711 HAS SOPS 41004711 HAS SOUS 30905877 HAS SOUPS 30905877 WITH SCORE 3.0946881711E7
AT ITER 1160 NEW BEST:: SOT 205033813 SOS 41002554 HAS SOPS 41002554 HAS SOUS 30903720 HAS SOUPS 30903720 WITH SCORE 3.0944722554E7
AT ITER 1173 NEW BEST:: SOT 205033813 SOS 41001228 HAS SOPS 41001228 HAS SOUS 30903278 HAS SOUPS 30903278 WITH SCORE 3.0944279228E7
AT ITER 1186 NEW BEST:: SOT 205029858 SOS 41000419 HAS SOPS 41000419 HAS SOUS 30901900 HAS SOUPS 30901900 WITH SCORE 3.0942900419E7
AT ITER 1226 NEW BEST:: SOT 205029854 SOS 41000411 HAS SOPS 41000411 HAS SOUS 30901892 HAS SOUPS 30901892 WITH SCORE 3.0942892411E7
AT ITER 1240 NEW BEST:: SOT 205016360 SOS 41001549 HAS SOPS 41001549 HAS SOUS 30895152 HAS SOUPS 30895152 WITH SCORE 3.0936153549E7
AT ITER 1265 NEW BEST:: SOT 205016360 SOS 41002505 HAS SOPS 41002505 HAS SOUS 30895151 HAS SOUPS 30895151 WITH SCORE 3.0936153505E7
AT ITER 1330 NEW BEST:: SOT 205013383 SOS 40999527 HAS SOPS 40999527 HAS SOUS 30892173 HAS SOUPS 30892173 WITH SCORE 3.0933172527E7
AT ITER 1354 NEW BEST:: SOT 205010665 SOS 40985937 HAS SOPS 40985937 HAS SOUS 30886737 HAS SOUPS 30886737 WITH SCORE 3.0927722937E7
AT ITER 1388 NEW BEST:: SOT 205002160 SOS 40972699 HAS SOPS 40972699 HAS SOUS 30876709 HAS SOUPS 30876709 WITH SCORE 3.0917681699E7
AT ITER 1396 NEW BEST:: SOT 204998442 SOS 40970840 HAS SOPS 40970840 HAS SOUS 30874850 HAS SOUPS 30874850 WITH SCORE 3.091582084E7
AT ITER 1419 NEW BEST:: SOT 204996697 SOS 40969095 HAS SOPS 40969095 HAS SOUS 30873105 HAS SOUPS 30873105 WITH SCORE 3.0914074095E7
AT ITER 1420 NEW BEST:: SOT 204995740 SOS 40968138 HAS SOPS 40968138 HAS SOUS 30873105 HAS SOUPS 30873105 WITH SCORE 3.0914073138E7
AT ITER 1450 NEW BEST:: SOT 204995740 SOS 40968138 HAS SOPS 40968138 HAS SOUS 30873104 HAS SOUPS 30873104 WITH SCORE 3.0914072138E7
AT ITER 1457 NEW BEST:: SOT 204994689 SOS 40975485 HAS SOPS 40975485 HAS SOUS 30871001 HAS SOUPS 30871001 WITH SCORE 3.0911976485E7
AT ITER 1492 NEW BEST:: SOT 204993434 SOS 40972975 HAS SOPS 40972975 HAS SOUS 30868491 HAS SOUPS 30868491 WITH SCORE 3.0909463975E7
AT ITER 1500 NEW BEST:: SOT 204989206 SOS 40968747 HAS SOPS 40968747 HAS SOUS 30864263 HAS SOUPS 30864263 WITH SCORE 3.0905231747E7
AT ITER 1541 NEW BEST:: SOT 204985834 SOS 40965371 HAS SOPS 40965371 HAS SOUS 30860890 HAS SOUPS 30860890 WITH SCORE 3.0901855371E7
AT ITER 1572 NEW BEST:: SOT 204984304 SOS 40964614 HAS SOPS 40964614 HAS SOUS 30860133 HAS SOUPS 30860133 WITH SCORE 3.0901097614E7
AT ITER 1579 NEW BEST:: SOT 204983303 SOS 40963609 HAS SOPS 40963609 HAS SOUS 30859131 HAS SOUPS 30859131 WITH SCORE 3.0900094609E7
AT ITER 1606 NEW BEST:: SOT 204974906 SOS 40948000 HAS SOPS 40948000 HAS SOUS 30849838 HAS SOUPS 30849838 WITH SCORE 3.0890786E7
AT ITER 1630 NEW BEST:: SOT 204972211 SOS 40945592 HAS SOPS 40945592 HAS SOUS 30847430 HAS SOUPS 30847430 WITH SCORE 3.0888375592E7
AT ITER 1647 NEW BEST:: SOT 204969610 SOS 40943035 HAS SOPS 40943035 HAS SOUS 30844873 HAS SOUPS 30844873 WITH SCORE 3.0885816035E7
AT ITER 1652 NEW BEST:: SOT 204967789 SOS 40941210 HAS SOPS 40941210 HAS SOUS 30843051 HAS SOUPS 30843051 WITH SCORE 3.088399221E7
AT ITER 1676 NEW BEST:: SOT 204967315 SOS 40940735 HAS SOPS 40940735 HAS SOUS 30842576 HAS SOUPS 30842576 WITH SCORE 3.0883516735E7
AT ITER 1678 NEW BEST:: SOT 204967315 SOS 40940735 HAS SOPS 40940735 HAS SOUS 30842520 HAS SOUPS 30842520 WITH SCORE 3.0883460735E7
AT ITER 1699 NEW BEST:: SOT 204965887 SOS 40940017 HAS SOPS 40940017 HAS SOUS 30841805 HAS SOUPS 30841805 WITH SCORE 3.0882745017E7
AT ITER 1707 NEW BEST:: SOT 204965886 SOS 40940015 HAS SOPS 40940015 HAS SOUS 30841803 HAS SOUPS 30841803 WITH SCORE 3.0882743015E7
AT ITER 1713 NEW BEST:: SOT 204965885 SOS 40940013 HAS SOPS 40940013 HAS SOUS 30841801 HAS SOUPS 30841801 WITH SCORE 3.0882741013E7
AT ITER 1721 NEW BEST:: SOT 204964949 SOS 40939077 HAS SOPS 40939077 HAS SOUS 30841801 HAS SOUPS 30841801 WITH SCORE 3.0882740077E7
AT ITER 1730 NEW BEST:: SOT 204963378 SOS 40937502 HAS SOPS 40937502 HAS SOUS 30840229 HAS SOUPS 30840229 WITH SCORE 3.0881166502E7
AT ITER 1745 NEW BEST:: SOT 204961036 SOS 40935160 HAS SOPS 40935160 HAS SOUS 30837887 HAS SOUPS 30837887 WITH SCORE 3.087882216E7
AT ITER 1754 NEW BEST:: SOT 204961036 SOS 40935160 HAS SOPS 40935160 HAS SOUS 30837886 HAS SOUPS 30837886 WITH SCORE 3.087882116E7
AT ITER 1761 NEW BEST:: SOT 204960685 SOS 40932084 HAS SOPS 40932084 HAS SOUS 30836348 HAS SOUPS 30836348 WITH SCORE 3.0877280084E7
AT ITER 1778 NEW BEST:: SOT 204960684 SOS 40932082 HAS SOPS 40932082 HAS SOUS 30836346 HAS SOUPS 30836346 WITH SCORE 3.0877278082E7
AT ITER 1783 NEW BEST:: SOT 204959314 SOS 40930708 HAS SOPS 40930708 HAS SOUS 30834975 HAS SOUPS 30834975 WITH SCORE 3.0875905708E7
AT ITER 1818 NEW BEST:: SOT 204958329 SOS 40928739 HAS SOPS 40928739 HAS SOUS 30833006 HAS SOUPS 30833006 WITH SCORE 3.0873934739E7
AT ITER 1848 NEW BEST:: SOT 204956341 SOS 40926751 HAS SOPS 40926751 HAS SOUS 30831018 HAS SOUPS 30831018 WITH SCORE 3.0871944751E7
AT ITER 1921 NEW BEST:: SOT 204956341 SOS 40923310 HAS SOPS 40923310 HAS SOUS 30831018 HAS SOUPS 30831018 WITH SCORE 3.087194131E7
AT ITER 1930 NEW BEST:: SOT 204954217 SOS 40919062 HAS SOPS 40919062 HAS SOUS 30826770 HAS SOUPS 30826770 WITH SCORE 3.0867689062E7
AT ITER 1935 NEW BEST:: SOT 204954217 SOS 40918880 HAS SOPS 40918880 HAS SOUS 30826588 HAS SOUPS 30826588 WITH SCORE 3.086750688E7
AT ITER 1938 NEW BEST:: SOT 204953360 SOS 40919733 HAS SOPS 40919733 HAS SOUS 30824873 HAS SOUPS 30824873 WITH SCORE 3.0865792733E7
AT ITER 1941 NEW BEST:: SOT 204953300 SOS 40919613 HAS SOPS 40919613 HAS SOUS 30824753 HAS SOUPS 30824753 WITH SCORE 3.0865672613E7
AT ITER 1947 NEW BEST:: SOT 204953300 SOS 40918071 HAS SOPS 40918071 HAS SOUS 30824753 HAS SOUPS 30824753 WITH SCORE 3.0865671071E7
AT ITER 1975 NEW BEST:: SOT 204953300 SOS 40918071 HAS SOPS 40918071 HAS SOUS 30821482 HAS SOUPS 30821482 WITH SCORE 3.0862400071E7
AT ITER 1991 NEW BEST:: SOT 204954185 SOS 40919841 HAS SOPS 40919841 HAS SOUS 30820396 HAS SOUPS 30820396 WITH SCORE 3.0861315841E7
AT ITER 1993 NEW BEST:: SOT 204953801 SOS 40919073 HAS SOPS 40919073 HAS SOUS 30820011 HAS SOUPS 30820011 WITH SCORE 3.0860930073E7
AT ITER 1994 NEW BEST:: SOT 204939869 SOS 40932294 HAS SOPS 40932294 HAS SOUS 30815972 HAS SOUPS 30815972 WITH SCORE 3.0856904294E7
AT ITER 2007 NEW BEST:: SOT 204939869 SOS 40932294 HAS SOPS 40932294 HAS SOUS 30812411 HAS SOUPS 30812411 WITH SCORE 3.0853343294E7
AT ITER 2023 NEW BEST:: SOT 204941400 SOS 40935356 HAS SOPS 40935356 HAS SOUS 30811937 HAS SOUPS 30811937 WITH SCORE 3.0852872356E7
AT ITER 2044 NEW BEST:: SOT 204941398 SOS 40935352 HAS SOPS 40935352 HAS SOUS 30811933 HAS SOUPS 30811933 WITH SCORE 3.0852868352E7
AT ITER 2047 NEW BEST:: SOT 204940198 SOS 40934152 HAS SOPS 40934152 HAS SOUS 30810733 HAS SOUPS 30810733 WITH SCORE 3.0851667152E7
AT ITER 2074 NEW BEST:: SOT 204937386 SOS 40935448 HAS SOPS 40935448 HAS SOUS 30807921 HAS SOUPS 30807921 WITH SCORE 3.0848856448E7
AT ITER 2078 NEW BEST:: SOT 204936613 SOS 40933902 HAS SOPS 40933902 HAS SOUS 30806375 HAS SOUPS 30806375 WITH SCORE 3.0847308902E7
AT ITER 2110 NEW BEST:: SOT 204936613 SOS 40933902 HAS SOPS 40933902 HAS SOUS 30805474 HAS SOUPS 30805474 WITH SCORE 3.0846407902E7
AT ITER 2126 NEW BEST:: SOT 204933668 SOS 40933910 HAS SOPS 40933910 HAS SOUS 30802529 HAS SOUPS 30802529 WITH SCORE 3.084346291E7
AT ITER 2137 NEW BEST:: SOT 204933668 SOS 40933910 HAS SOPS 40933910 HAS SOUS 30799007 HAS SOUPS 30799007 WITH SCORE 3.083994091E7
AT ITER 2162 NEW BEST:: SOT 204933290 SOS 40933532 HAS SOPS 40933532 HAS SOUS 30798158 HAS SOUPS 30798158 WITH SCORE 3.0839091532E7
AT ITER 2175 NEW BEST:: SOT 204932193 SOS 40931338 HAS SOPS 40931338 HAS SOUS 30795964 HAS SOUPS 30795964 WITH SCORE 3.0836895338E7
AT ITER 2178 NEW BEST:: SOT 204930436 SOS 40927824 HAS SOPS 40927824 HAS SOUS 30792450 HAS SOUPS 30792450 WITH SCORE 3.0833377824E7
AT ITER 2235 NEW BEST:: SOT 204926393 SOS 40921775 HAS SOPS 40921775 HAS SOUS 30786387 HAS SOUPS 30786387 WITH SCORE 3.0827308775E7
AT ITER 2236 NEW BEST:: SOT 204922991 SOS 40920074 HAS SOPS 40920074 HAS SOUS 30784686 HAS SOUPS 30784686 WITH SCORE 3.0825606074E7
AT ITER 2323 NEW BEST:: SOT 204922991 SOS 40917818 HAS SOPS 40917818 HAS SOUS 30784122 HAS SOUPS 30784122 WITH SCORE 3.0825039818E7
AT ITER 2334 NEW BEST:: SOT 204920414 SOS 40904933 HAS SOPS 40904933 HAS SOUS 30778968 HAS SOUPS 30778968 WITH SCORE 3.0819872933E7
AT ITER 2366 NEW BEST:: SOT 204919955 SOS 40904015 HAS SOPS 40904015 HAS SOUS 30778506 HAS SOUPS 30778506 WITH SCORE 3.0819410015E7
AT ITER 2395 NEW BEST:: SOT 204919865 SOS 40905914 HAS SOPS 40905914 HAS SOUS 30778326 HAS SOUPS 30778326 WITH SCORE 3.0819231914E7
AT ITER 2409 NEW BEST:: SOT 204919865 SOS 40906672 HAS SOPS 40906672 HAS SOUS 30778325 HAS SOUPS 30778325 WITH SCORE 3.0819231672E7
AT ITER 2437 NEW BEST:: SOT 204917467 SOS 40904274 HAS SOPS 40904274 HAS SOUS 30775927 HAS SOUPS 30775927 WITH SCORE 3.0816831274E7
AT ITER 2505 NEW BEST:: SOT 204917901 SOS 40904295 HAS SOPS 40904295 HAS SOUS 30775513 HAS SOUPS 30775513 WITH SCORE 3.0816417295E7
AT ITER 2516 NEW BEST:: SOT 204917037 SOS 40902568 HAS SOPS 40902568 HAS SOUS 30773786 HAS SOUPS 30773786 WITH SCORE 3.0814688568E7
AT ITER 2517 NEW BEST:: SOT 204912580 SOS 40905096 HAS SOPS 40905096 HAS SOUS 30773143 HAS SOUPS 30773143 WITH SCORE 3.0814048096E7
AT ITER 2555 NEW BEST:: SOT 204912989 SOS 40905914 HAS SOPS 40905914 HAS SOUS 30771501 HAS SOUPS 30771501 WITH SCORE 3.0812406914E7
AT ITER 2578 NEW BEST:: SOT 204915088 SOS 40910112 HAS SOPS 40910112 HAS SOUS 30771464 HAS SOUPS 30771464 WITH SCORE 3.0812374112E7
AT ITER 2588 NEW BEST:: SOT 204914369 SOS 40906517 HAS SOPS 40906517 HAS SOUS 30770026 HAS SOUPS 30770026 WITH SCORE 3.0810932517E7
AT ITER 2613 NEW BEST:: SOT 204914367 SOS 40906513 HAS SOPS 40906513 HAS SOUS 30770022 HAS SOUPS 30770022 WITH SCORE 3.0810928513E7
AT ITER 2629 NEW BEST:: SOT 204914090 SOS 40905959 HAS SOPS 40905959 HAS SOUS 30769468 HAS SOUPS 30769468 WITH SCORE 3.0810373959E7
AT ITER 2632 NEW BEST:: SOT 204914090 SOS 40905959 HAS SOPS 40905959 HAS SOUS 30769068 HAS SOUPS 30769068 WITH SCORE 3.0809973959E7
AT ITER 2640 NEW BEST:: SOT 204913420 SOS 40904284 HAS SOPS 40904284 HAS SOUS 30768398 HAS SOUPS 30768398 WITH SCORE 3.0809302284E7
AT ITER 2672 NEW BEST:: SOT 204912669 SOS 40902783 HAS SOPS 40902783 HAS SOUS 30766897 HAS SOUPS 30766897 WITH SCORE 3.0807799783E7
AT ITER 2681 NEW BEST:: SOT 204910432 SOS 40900546 HAS SOPS 40900546 HAS SOUS 30764660 HAS SOUPS 30764660 WITH SCORE 3.0805560546E7
AT ITER 2687 NEW BEST:: SOT 204909762 SOS 40899605 HAS SOPS 40899605 HAS SOUS 30763719 HAS SOUPS 30763719 WITH SCORE 3.0804618605E7
AT ITER 2708 NEW BEST:: SOT 204908167 SOS 40898585 HAS SOPS 40898585 HAS SOUS 30760247 HAS SOUPS 30760247 WITH SCORE 3.0801145585E7
AT ITER 2725 NEW BEST:: SOT 204906866 SOS 40895983 HAS SOPS 40895983 HAS SOUS 30757645 HAS SOUPS 30757645 WITH SCORE 3.0798540983E7
AT ITER 2731 NEW BEST:: SOT 204906256 SOS 40895983 HAS SOPS 40895983 HAS SOUS 30757340 HAS SOUPS 30757340 WITH SCORE 3.0798235983E7
AT ITER 2736 NEW BEST:: SOT 204904237 SOS 40885888 HAS SOPS 40885888 HAS SOUS 30753302 HAS SOUPS 30753302 WITH SCORE 3.0794187888E7
AT ITER 2742 NEW BEST:: SOT 204901231 SOS 40911591 HAS SOPS 40911591 HAS SOUS 30752891 HAS SOUPS 30752891 WITH SCORE 3.0793802591E7
AT ITER 2748 NEW BEST:: SOT 204899688 SOS 40910048 HAS SOPS 40910048 HAS SOUS 30751348 HAS SOUPS 30751348 WITH SCORE 3.0792258048E7
AT ITER 2774 NEW BEST:: SOT 204900090 SOS 40909918 HAS SOPS 40909918 HAS SOUS 30750816 HAS SOUPS 30750816 WITH SCORE 3.0791725918E7
AT ITER 2783 NEW BEST:: SOT 204898975 SOS 40908831 HAS SOPS 40908831 HAS SOUS 30749729 HAS SOUPS 30749729 WITH SCORE 3.0790637831E7
AT ITER 2798 NEW BEST:: SOT 204898377 SOS 40907934 HAS SOPS 40907934 HAS SOUS 30748832 HAS SOUPS 30748832 WITH SCORE 3.0789739934E7
AT ITER 2819 NEW BEST:: SOT 204899282 SOS 40909744 HAS SOPS 40909744 HAS SOUS 30748723 HAS SOUPS 30748723 WITH SCORE 3.0789632744E7
AT ITER 2832 NEW BEST:: SOT 204898637 SOS 40909657 HAS SOPS 40909657 HAS SOUS 30748639 HAS SOUPS 30748639 WITH SCORE 3.0789548657E7
AT ITER 2842 NEW BEST:: SOT 204897325 SOS 40900161 HAS SOPS 40900161 HAS SOUS 30741707 HAS SOUPS 30741707 WITH SCORE 3.0782607161E7
AT ITER 2843 NEW BEST:: SOT 204897775 SOS 40901061 HAS SOPS 40901061 HAS SOUS 30741152 HAS SOUPS 30741152 WITH SCORE 3.0782053061E7
AT ITER 2870 NEW BEST:: SOT 204896132 SOS 40899418 HAS SOPS 40899418 HAS SOUS 30739509 HAS SOUPS 30739509 WITH SCORE 3.0780408418E7
AT ITER 2917 NEW BEST:: SOT 204895664 SOS 40898482 HAS SOPS 40898482 HAS SOUS 30736727 HAS SOUPS 30736727 WITH SCORE 3.0777625482E7
AT ITER 2946 NEW BEST:: SOT 204894707 SOS 40896568 HAS SOPS 40896568 HAS SOUS 30734813 HAS SOUPS 30734813 WITH SCORE 3.0775709568E7
AT ITER 2947 NEW BEST:: SOT 204894706 SOS 40896566 HAS SOPS 40896566 HAS SOUS 30734811 HAS SOUPS 30734811 WITH SCORE 3.0775707566E7
AT ITER 2952 NEW BEST:: SOT 204894706 SOS 40895688 HAS SOPS 40895688 HAS SOUS 30734811 HAS SOUPS 30734811 WITH SCORE 3.0775706688E7
AT ITER 2979 NEW BEST:: SOT 204890622 SOS 40891604 HAS SOPS 40891604 HAS SOUS 30730727 HAS SOUPS 30730727 WITH SCORE 3.0771618604E7
AT ITER 2986 NEW BEST:: SOT 204890622 SOS 40890612 HAS SOPS 40890612 HAS SOUS 30730727 HAS SOUPS 30730727 WITH SCORE 3.0771617612E7
AT ITER 2988 NEW BEST:: SOT 204889802 SOS 40888973 HAS SOPS 40888973 HAS SOUS 30729088 HAS SOUPS 30729088 WITH SCORE 3.0769976973E7
AT ITER 3023 NEW BEST:: SOT 204889584 SOS 40888537 HAS SOPS 40888537 HAS SOUS 30728870 HAS SOUPS 30728870 WITH SCORE 3.0769758537E7
AT ITER 3033 NEW BEST:: SOT 204889584 SOS 40888991 HAS SOPS 40888991 HAS SOUS 30728869 HAS SOUPS 30728869 WITH SCORE 3.0769757991E7
AT ITER 3070 NEW BEST:: SOT 204882305 SOS 40883315 HAS SOPS 40883315 HAS SOUS 30726724 HAS SOUPS 30726724 WITH SCORE 3.0767607315E7
AT ITER 3071 NEW BEST:: SOT 204879544 SOS 40880666 HAS SOPS 40880666 HAS SOUS 30724078 HAS SOUPS 30724078 WITH SCORE 3.0764958666E7
AT ITER 3091 NEW BEST:: SOT 204879339 SOS 40880256 HAS SOPS 40880256 HAS SOUS 30723668 HAS SOUPS 30723668 WITH SCORE 3.0764548256E7
AT ITER 3097 NEW BEST:: SOT 204877261 SOS 40877538 HAS SOPS 40877538 HAS SOUS 30720550 HAS SOUPS 30720550 WITH SCORE 3.0761427538E7
AT ITER 3134 NEW BEST:: SOT 204875980 SOS 40871133 HAS SOPS 40871133 HAS SOUS 30717988 HAS SOUPS 30717988 WITH SCORE 3.0758859133E7
AT ITER 3136 NEW BEST:: SOT 204875245 SOS 40872595 HAS SOPS 40872595 HAS SOUS 30717251 HAS SOUPS 30717251 WITH SCORE 3.0758123595E7
AT ITER 3138 NEW BEST:: SOT 204875014 SOS 40872594 HAS SOPS 40872594 HAS SOUS 30717250 HAS SOUPS 30717250 WITH SCORE 3.0758122594E7
AT ITER 3141 NEW BEST:: SOT 204873808 SOS 40870182 HAS SOPS 40870182 HAS SOUS 30714838 HAS SOUPS 30714838 WITH SCORE 3.0755708182E7
AT ITER 3150 NEW BEST:: SOT 204873517 SOS 40869891 HAS SOPS 40869891 HAS SOUS 30714547 HAS SOUPS 30714547 WITH SCORE 3.0755416891E7
AT ITER 3156 NEW BEST:: SOT 204872333 SOS 40868787 HAS SOPS 40868787 HAS SOUS 30713443 HAS SOUPS 30713443 WITH SCORE 3.0754311787E7
AT ITER 3195 NEW BEST:: SOT 204871628 SOS 40867377 HAS SOPS 40867377 HAS SOUS 30712033 HAS SOUPS 30712033 WITH SCORE 3.0752900377E7
AT ITER 3207 NEW BEST:: SOT 204871628 SOS 40867817 HAS SOPS 40867817 HAS SOUS 30712032 HAS SOUPS 30712032 WITH SCORE 3.0752899817E7
AT ITER 3211 NEW BEST:: SOT 204871628 SOS 40885744 HAS SOPS 40885744 HAS SOUS 30710038 HAS SOUPS 30710038 WITH SCORE 3.0750923744E7
AT ITER 3224 NEW BEST:: SOT 204869839 SOS 40883955 HAS SOPS 40883955 HAS SOUS 30708249 HAS SOUPS 30708249 WITH SCORE 3.0749132955E7
AT ITER 3256 NEW BEST:: SOT 204872323 SOS 40886626 HAS SOPS 40886626 HAS SOUS 30707773 HAS SOUPS 30707773 WITH SCORE 3.0748659626E7
AT ITER 3259 NEW BEST:: SOT 204873591 SOS 40889162 HAS SOPS 40889162 HAS SOUS 30706676 HAS SOUPS 30706676 WITH SCORE 3.0747565162E7
AT ITER 3266 NEW BEST:: SOT 204871380 SOS 40886951 HAS SOPS 40886951 HAS SOUS 30704465 HAS SOUPS 30704465 WITH SCORE 3.0745351951E7
AT ITER 3274 NEW BEST:: SOT 204867408 SOS 40885250 HAS SOPS 40885250 HAS SOUS 30702574 HAS SOUPS 30702574 WITH SCORE 3.074345925E7
AT ITER 3276 NEW BEST:: SOT 204866173 SOS 40879075 HAS SOPS 40879075 HAS SOUS 30700104 HAS SOUPS 30700104 WITH SCORE 3.0740983075E7
AT ITER 3282 NEW BEST:: SOT 204865352 SOS 40880717 HAS SOPS 40880717 HAS SOUS 30699283 HAS SOUPS 30699283 WITH SCORE 3.0740163717E7
AT ITER 3289 NEW BEST:: SOT 204859277 SOS 40878017 HAS SOPS 40878017 HAS SOUS 30694952 HAS SOUPS 30694952 WITH SCORE 3.0735830017E7
AT ITER 3297 NEW BEST:: SOT 204858003 SOS 40877380 HAS SOPS 40877380 HAS SOUS 30694315 HAS SOUPS 30694315 WITH SCORE 3.073519238E7
AT ITER 3337 NEW BEST:: SOT 204857069 SOS 40882137 HAS SOPS 40882137 HAS SOUS 30694058 HAS SOUPS 30694058 WITH SCORE 3.0734940137E7
AT ITER 3352 NEW BEST:: SOT 204856596 SOS 40882117 HAS SOPS 40882117 HAS SOUS 30694038 HAS SOUPS 30694038 WITH SCORE 3.0734920117E7
AT ITER 3364 NEW BEST:: SOT 204855572 SOS 40888063 HAS SOPS 40888063 HAS SOUS 30691989 HAS SOUPS 30691989 WITH SCORE 3.0732877063E7
AT ITER 3426 NEW BEST:: SOT 204849620 SOS 40878053 HAS SOPS 40878053 HAS SOUS 30689418 HAS SOUPS 30689418 WITH SCORE 3.0730296053E7
AT ITER 3436 NEW BEST:: SOT 204846646 SOS 40874562 HAS SOPS 40874562 HAS SOUS 30685625 HAS SOUPS 30685625 WITH SCORE 3.0726499562E7
AT ITER 3469 NEW BEST:: SOT 204846500 SOS 40874124 HAS SOPS 40874124 HAS SOUS 30685333 HAS SOUPS 30685333 WITH SCORE 3.0726207124E7
AT ITER 3470 NEW BEST:: SOT 204846500 SOS 40874124 HAS SOPS 40874124 HAS SOUS 30685332 HAS SOUPS 30685332 WITH SCORE 3.0726206124E7
AT ITER 3475 NEW BEST:: SOT 204845893 SOS 40872911 HAS SOPS 40872911 HAS SOUS 30684119 HAS SOUPS 30684119 WITH SCORE 3.0724991911E7
AT ITER 3478 NEW BEST:: SOT 204843534 SOS 40870552 HAS SOPS 40870552 HAS SOUS 30681760 HAS SOUPS 30681760 WITH SCORE 3.0722630552E7
AT ITER 3498 NEW BEST:: SOT 204843508 SOS 40870500 HAS SOPS 40870500 HAS SOUS 30681734 HAS SOUPS 30681734 WITH SCORE 3.07226045E7
AT ITER 3540 NEW BEST:: SOT 204843174 SOS 40869832 HAS SOPS 40869832 HAS SOUS 30679956 HAS SOUPS 30679956 WITH SCORE 3.0720825832E7
AT ITER 3571 NEW BEST:: SOT 204842447 SOS 40868379 HAS SOPS 40868379 HAS SOUS 30678503 HAS SOUPS 30678503 WITH SCORE 3.0719371379E7
AT ITER 3578 NEW BEST:: SOT 204840419 SOS 40867345 HAS SOPS 40867345 HAS SOUS 30676971 HAS SOUPS 30676971 WITH SCORE 3.0717838345E7
AT ITER 3592 NEW BEST:: SOT 204824502 SOS 40883782 HAS SOPS 40883782 HAS SOUS 30672713 HAS SOUPS 30672713 WITH SCORE 3.0713596782E7
AT ITER 3594 NEW BEST:: SOT 204824523 SOS 40883824 HAS SOPS 40883824 HAS SOUS 30672317 HAS SOUPS 30672317 WITH SCORE 3.0713200824E7
AT ITER 3609 NEW BEST:: SOT 204810061 SOS 40886364 HAS SOPS 40886364 HAS SOUS 30665702 HAS SOUPS 30665702 WITH SCORE 3.0706588364E7
AT ITER 3610 NEW BEST:: SOT 204809184 SOS 40884611 HAS SOPS 40884611 HAS SOUS 30663949 HAS SOUPS 30663949 WITH SCORE 3.0704833611E7
AT ITER 3633 NEW BEST:: SOT 204807212 SOS 40880667 HAS SOPS 40880667 HAS SOUS 30660005 HAS SOUPS 30660005 WITH SCORE 3.0700885667E7
AT ITER 3640 NEW BEST:: SOT 204805503 SOS 40878954 HAS SOPS 40878954 HAS SOUS 30658295 HAS SOUPS 30658295 WITH SCORE 3.0699173954E7
AT ITER 3693 NEW BEST:: SOT 204804879 SOS 40878950 HAS SOPS 40878950 HAS SOUS 30657670 HAS SOUPS 30657670 WITH SCORE 3.069854895E7
AT ITER 3705 NEW BEST:: SOT 204806457 SOS 40882106 HAS SOPS 40882106 HAS SOUS 30657295 HAS SOUPS 30657295 WITH SCORE 3.0698177106E7
AT ITER 3731 NEW BEST:: SOT 204804876 SOS 40878944 HAS SOPS 40878944 HAS SOUS 30654133 HAS SOUPS 30654133 WITH SCORE 3.0695011944E7
AT ITER 3742 NEW BEST:: SOT 204786498 SOS 40915048 HAS SOPS 40915048 HAS SOUS 30649883 HAS SOUPS 30649883 WITH SCORE 3.0690798048E7
AT ITER 3756 NEW BEST:: SOT 204782460 SOS 40913029 HAS SOPS 40913029 HAS SOUS 30647864 HAS SOUPS 30647864 WITH SCORE 3.0688777029E7
AT ITER 3761 NEW BEST:: SOT 204781208 SOS 40911983 HAS SOPS 40911983 HAS SOUS 30646821 HAS SOUPS 30646821 WITH SCORE 3.0687732983E7
AT ITER 3765 NEW BEST:: SOT 204780065 SOS 40909697 HAS SOPS 40909697 HAS SOUS 30643793 HAS SOUPS 30643793 WITH SCORE 3.0684702697E7
AT ITER 3771 NEW BEST:: SOT 204777517 SOS 40935830 HAS SOPS 40935830 HAS SOUS 30643310 HAS SOUPS 30643310 WITH SCORE 3.068424583E7
AT ITER 3773 NEW BEST:: SOT 204777517 SOS 40934610 HAS SOPS 40934610 HAS SOUS 30643310 HAS SOUPS 30643310 WITH SCORE 3.068424461E7
AT ITER 3797 NEW BEST:: SOT 204777623 SOS 40934822 HAS SOPS 40934822 HAS SOUS 30641806 HAS SOUPS 30641806 WITH SCORE 3.0682740822E7
AT ITER 3801 NEW BEST:: SOT 204776278 SOS 40932132 HAS SOPS 40932132 HAS SOUS 30639116 HAS SOUPS 30639116 WITH SCORE 3.0680048132E7
AT ITER 3818 NEW BEST:: SOT 204775154 SOS 40929884 HAS SOPS 40929884 HAS SOUS 30636868 HAS SOUPS 30636868 WITH SCORE 3.0677797884E7
AT ITER 3840 NEW BEST:: SOT 204762185 SOS 40954218 HAS SOPS 40954218 HAS SOUS 30636296 HAS SOUPS 30636296 WITH SCORE 3.0677250218E7
AT ITER 3908 NEW BEST:: SOT 204759825 SOS 40952047 HAS SOPS 40952047 HAS SOUS 30633936 HAS SOUPS 30633936 WITH SCORE 3.0674888047E7
AT ITER 3948 NEW BEST:: SOT 204757895 SOS 40942397 HAS SOPS 40942397 HAS SOUS 30630076 HAS SOUPS 30630076 WITH SCORE 3.0671018397E7
AT ITER 3950 NEW BEST:: SOT 204757144 SOS 40940896 HAS SOPS 40940896 HAS SOUS 30628575 HAS SOUPS 30628575 WITH SCORE 3.0669515896E7
AT ITER 3972 NEW BEST:: SOT 204758636 SOS 40940551 HAS SOPS 40940551 HAS SOUS 30628573 HAS SOUPS 30628573 WITH SCORE 3.0669513551E7
AT ITER 3978 NEW BEST:: SOT 204758035 SOS 40939350 HAS SOPS 40939350 HAS SOUS 30627372 HAS SOUPS 30627372 WITH SCORE 3.066831135E7
AT ITER 4046 NEW BEST:: SOT 204755046 SOS 40933372 HAS SOPS 40933372 HAS SOUS 30621394 HAS SOUPS 30621394 WITH SCORE 3.0662327372E7
AT ITER 4056 NEW BEST:: SOT 204755046 SOS 40933372 HAS SOPS 40933372 HAS SOUS 30617970 HAS SOUPS 30617970 WITH SCORE 3.0658903372E7
AT ITER 4068 NEW BEST:: SOT 204753002 SOS 40931328 HAS SOPS 40931328 HAS SOUS 30615926 HAS SOUPS 30615926 WITH SCORE 3.0656857328E7
AT ITER 4072 NEW BEST:: SOT 204743099 SOS 40923637 HAS SOPS 40923637 HAS SOUS 30612229 HAS SOUPS 30612229 WITH SCORE 3.0653152637E7
AT ITER 4093 NEW BEST:: SOT 204743099 SOS 40923637 HAS SOPS 40923637 HAS SOUS 30612228 HAS SOUPS 30612228 WITH SCORE 3.0653151637E7
AT ITER 4104 NEW BEST:: SOT 204742781 SOS 40923043 HAS SOPS 40923043 HAS SOUS 30610750 HAS SOUPS 30610750 WITH SCORE 3.0651673043E7
AT ITER 4131 NEW BEST:: SOT 204742085 SOS 40921303 HAS SOPS 40921303 HAS SOUS 30610054 HAS SOUPS 30610054 WITH SCORE 3.0650975303E7
AT ITER 4136 NEW BEST:: SOT 204740796 SOS 40920723 HAS SOPS 40920723 HAS SOUS 30609477 HAS SOUPS 30609477 WITH SCORE 3.0650397723E7
AT ITER 4201 NEW BEST:: SOT 204739833 SOS 40921682 HAS SOPS 40921682 HAS SOUS 30607550 HAS SOUPS 30607550 WITH SCORE 3.0648471682E7
AT ITER 4221 NEW BEST:: SOT 204738090 SOS 40912967 HAS SOPS 40912967 HAS SOUS 30604064 HAS SOUPS 30604064 WITH SCORE 3.0644976967E7
AT ITER 4229 NEW BEST:: SOT 204738089 SOS 40912965 HAS SOPS 40912965 HAS SOUS 30604062 HAS SOUPS 30604062 WITH SCORE 3.0644974965E7
AT ITER 4231 NEW BEST:: SOT 204738089 SOS 40912344 HAS SOPS 40912344 HAS SOUS 30604062 HAS SOUPS 30604062 WITH SCORE 3.0644974344E7
AT ITER 4241 NEW BEST:: SOT 204738089 SOS 40912344 HAS SOPS 40912344 HAS SOUS 30601093 HAS SOUPS 30601093 WITH SCORE 3.0642005344E7
AT ITER 4268 NEW BEST:: SOT 204737989 SOS 40912144 HAS SOPS 40912144 HAS SOUS 30600893 HAS SOUPS 30600893 WITH SCORE 3.0641805144E7
AT ITER 4273 NEW BEST:: SOT 204737989 SOS 40912594 HAS SOPS 40912594 HAS SOUS 30600891 HAS SOUPS 30600891 WITH SCORE 3.0641803594E7
AT ITER 4284 NEW BEST:: SOT 204737606 SOS 40913077 HAS SOPS 40913077 HAS SOUS 30600507 HAS SOUPS 30600507 WITH SCORE 3.0641420077E7
AT ITER 4295 NEW BEST:: SOT 204737606 SOS 40912955 HAS SOPS 40912955 HAS SOUS 30600507 HAS SOUPS 30600507 WITH SCORE 3.0641419955E7
AT ITER 4336 NEW BEST:: SOT 204737605 SOS 40912462 HAS SOPS 40912462 HAS SOUS 30600014 HAS SOUPS 30600014 WITH SCORE 3.0640926462E7
AT ITER 4340 NEW BEST:: SOT 204736807 SOS 40912420 HAS SOPS 40912420 HAS SOUS 30599975 HAS SOUPS 30599975 WITH SCORE 3.064088742E7
AT ITER 4350 NEW BEST:: SOT 204736806 SOS 40912418 HAS SOPS 40912418 HAS SOUS 30599973 HAS SOUPS 30599973 WITH SCORE 3.0640885418E7
AT ITER 4366 NEW BEST:: SOT 204737761 SOS 40914328 HAS SOPS 40914328 HAS SOUS 30598171 HAS SOUPS 30598171 WITH SCORE 3.0639085328E7
AT ITER 4378 NEW BEST:: SOT 204737126 SOS 40913058 HAS SOPS 40913058 HAS SOUS 30594949 HAS SOUPS 30594949 WITH SCORE 3.0635862058E7
AT ITER 4383 NEW BEST:: SOT 204737474 SOS 40913057 HAS SOPS 40913057 HAS SOUS 30594948 HAS SOUPS 30594948 WITH SCORE 3.0635861057E7
AT ITER 4386 NEW BEST:: SOT 204735533 SOS 40911933 HAS SOPS 40911933 HAS SOUS 30593417 HAS SOUPS 30593417 WITH SCORE 3.0634328933E7
AT ITER 4414 NEW BEST:: SOT 204733182 SOS 40900178 HAS SOPS 40900178 HAS SOUS 30588715 HAS SOUPS 30588715 WITH SCORE 3.0629615178E7
AT ITER 4422 NEW BEST:: SOT 204733083 SOS 40899980 HAS SOPS 40899980 HAS SOUS 30588616 HAS SOUPS 30588616 WITH SCORE 3.062951598E7
AT ITER 4429 NEW BEST:: SOT 204733083 SOS 40899202 HAS SOPS 40899202 HAS SOUS 30588616 HAS SOUPS 30588616 WITH SCORE 3.0629515202E7
AT ITER 4444 NEW BEST:: SOT 204732035 SOS 40898154 HAS SOPS 40898154 HAS SOUS 30587568 HAS SOUPS 30587568 WITH SCORE 3.0628466154E7
AT ITER 4493 NEW BEST:: SOT 204731946 SOS 40895554 HAS SOPS 40895554 HAS SOUS 30587390 HAS SOUPS 30587390 WITH SCORE 3.0628285554E7
AT ITER 4538 NEW BEST:: SOT 204731039 SOS 40894647 HAS SOPS 40894647 HAS SOUS 30586483 HAS SOUPS 30586483 WITH SCORE 3.0627377647E7
AT ITER 4555 NEW BEST:: SOT 204730151 SOS 40893759 HAS SOPS 40893759 HAS SOUS 30585595 HAS SOUPS 30585595 WITH SCORE 3.0626488759E7
AT ITER 4570 NEW BEST:: SOT 204721672 SOS 40890701 HAS SOPS 40890701 HAS SOUS 30580591 HAS SOUPS 30580591 WITH SCORE 3.0621481701E7
AT ITER 4575 NEW BEST:: SOT 204717004 SOS 40886033 HAS SOPS 40886033 HAS SOUS 30575923 HAS SOUPS 30575923 WITH SCORE 3.0616809033E7
AT ITER 4578 NEW BEST:: SOT 204716383 SOS 40884792 HAS SOPS 40884792 HAS SOUS 30574682 HAS SOUPS 30574682 WITH SCORE 3.0615566792E7
AT ITER 4626 NEW BEST:: SOT 204716035 SOS 40883052 HAS SOPS 40883052 HAS SOUS 30573986 HAS SOUPS 30573986 WITH SCORE 3.0614869052E7
AT ITER 4663 NEW BEST:: SOT 204714762 SOS 40881779 HAS SOPS 40881779 HAS SOUS 30572713 HAS SOUPS 30572713 WITH SCORE 3.0613594779E7
AT ITER 4670 NEW BEST:: SOT 204711560 SOS 40878573 HAS SOPS 40878573 HAS SOUS 30569510 HAS SOUPS 30569510 WITH SCORE 3.0610388573E7
AT ITER 4685 NEW BEST:: SOT 204711559 SOS 40878571 HAS SOPS 40878571 HAS SOUS 30569508 HAS SOUPS 30569508 WITH SCORE 3.0610386571E7
AT ITER 4742 NEW BEST:: SOT 204711558 SOS 40878569 HAS SOPS 40878569 HAS SOUS 30569506 HAS SOUPS 30569506 WITH SCORE 3.0610384569E7
AT ITER 4744 NEW BEST:: SOT 204710424 SOS 40876302 HAS SOPS 40876302 HAS SOUS 30567239 HAS SOUPS 30567239 WITH SCORE 3.0608115302E7
AT ITER 4799 NEW BEST:: SOT 204707471 SOS 40873345 HAS SOPS 40873345 HAS SOUS 30564285 HAS SOUPS 30564285 WITH SCORE 3.0605158345E7
AT ITER 4810 NEW BEST:: SOT 204706754 SOS 40875168 HAS SOPS 40875168 HAS SOUS 30562803 HAS SOUPS 30562803 WITH SCORE 3.0603678168E7
AT ITER 4816 NEW BEST:: SOT 204705639 SOS 40872939 HAS SOPS 40872939 HAS SOUS 30560574 HAS SOUPS 30560574 WITH SCORE 3.0601446939E7
AT ITER 4818 NEW BEST:: SOT 204705118 SOS 40871897 HAS SOPS 40871897 HAS SOUS 30559532 HAS SOUPS 30559532 WITH SCORE 3.0600403897E7
AT ITER 4845 NEW BEST:: SOT 204703081 SOS 40867823 HAS SOPS 40867823 HAS SOUS 30557495 HAS SOUPS 30557495 WITH SCORE 3.0598362823E7
AT ITER 4850 NEW BEST:: SOT 204702870 SOS 40868322 HAS SOPS 40868322 HAS SOUS 30557073 HAS SOUPS 30557073 WITH SCORE 3.0597941322E7
AT ITER 4863 NEW BEST:: SOT 204702781 SOS 40868144 HAS SOPS 40868144 HAS SOUS 30556895 HAS SOUPS 30556895 WITH SCORE 3.0597763144E7
AT ITER 4868 NEW BEST:: SOT 204702781 SOS 40867734 HAS SOPS 40867734 HAS SOUS 30556485 HAS SOUPS 30556485 WITH SCORE 3.0597352734E7
AT ITER 4907 NEW BEST:: SOT 204701946 SOS 40867513 HAS SOPS 40867513 HAS SOUS 30556133 HAS SOUPS 30556133 WITH SCORE 3.0597000513E7
AT ITER 4912 NEW BEST:: SOT 204700368 SOS 40866720 HAS SOPS 40866720 HAS SOUS 30555343 HAS SOUPS 30555343 WITH SCORE 3.059620972E7
AT ITER 4915 NEW BEST:: SOT 204697614 SOS 40861212 HAS SOPS 40861212 HAS SOUS 30549835 HAS SOUPS 30549835 WITH SCORE 3.0590696212E7
AT ITER 4920 NEW BEST:: SOT 204698131 SOS 40859384 HAS SOPS 40859384 HAS SOUS 30546081 HAS SOUPS 30546081 WITH SCORE 3.0586940384E7
AT ITER 4921 NEW BEST:: SOT 204697287 SOS 40853370 HAS SOPS 40853370 HAS SOUS 30544393 HAS SOUPS 30544393 WITH SCORE 3.058524637E7
AT ITER 4949 NEW BEST:: SOT 204697287 SOS 40852199 HAS SOPS 40852199 HAS SOUS 30544393 HAS SOUPS 30544393 WITH SCORE 3.0585245199E7
AT ITER 4959 NEW BEST:: SOT 204694911 SOS 40849494 HAS SOPS 40849494 HAS SOUS 30542016 HAS SOUPS 30542016 WITH SCORE 3.0582865494E7
AT ITER 4964 NEW BEST:: SOT 204694066 SOS 40849412 HAS SOPS 40849412 HAS SOUS 30541937 HAS SOUPS 30541937 WITH SCORE 3.0582786412E7
AT ITER 4967 NEW BEST:: SOT 204694011 SOS 40849302 HAS SOPS 40849302 HAS SOUS 30540855 HAS SOUPS 30540855 WITH SCORE 3.0581704302E7
AT ITER 4979 NEW BEST:: SOT 204693689 SOS 40848980 HAS SOPS 40848980 HAS SOUS 30540533 HAS SOUPS 30540533 WITH SCORE 3.058138198E7
AT ITER 4981 NEW BEST:: SOT 204691161 SOS 40843924 HAS SOPS 40843924 HAS SOUS 30535477 HAS SOUPS 30535477 WITH SCORE 3.0576320924E7
AT ITER 5000 NEW BEST:: SOT 204689587 SOS 40840776 HAS SOPS 40840776 HAS SOUS 30532329 HAS SOUPS 30532329 WITH SCORE 3.0573169776E7
AT ITER 5040 NEW BEST:: SOT 204687728 SOS 40838917 HAS SOPS 40838917 HAS SOUS 30530470 HAS SOUPS 30530470 WITH SCORE 3.0571308917E7
AT ITER 5048 NEW BEST:: SOT 204684588 SOS 40832637 HAS SOPS 40832637 HAS SOUS 30524190 HAS SOUPS 30524190 WITH SCORE 3.0565022637E7
AT ITER 5059 NEW BEST:: SOT 204682026 SOS 40830075 HAS SOPS 40830075 HAS SOUS 30521628 HAS SOUPS 30521628 WITH SCORE 3.0562458075E7
AT ITER 5070 NEW BEST:: SOT 204668260 SOS 40829885 HAS SOPS 40829885 HAS SOUS 30514374 HAS SOUPS 30514374 WITH SCORE 3.0555203885E7
AT ITER 5082 NEW BEST:: SOT 204667764 SOS 40828893 HAS SOPS 40828893 HAS SOUS 30513843 HAS SOUPS 30513843 WITH SCORE 3.0554671893E7
AT ITER 5105 NEW BEST:: SOT 204666067 SOS 40820408 HAS SOPS 40820408 HAS SOUS 30510449 HAS SOUPS 30510449 WITH SCORE 3.0551269408E7
AT ITER 5112 NEW BEST:: SOT 204665221 SOS 40818716 HAS SOPS 40818716 HAS SOUS 30507452 HAS SOUPS 30507452 WITH SCORE 3.0548270716E7
AT ITER 5179 NEW BEST:: SOT 204664980 SOS 40818234 HAS SOPS 40818234 HAS SOUS 30506970 HAS SOUPS 30506970 WITH SCORE 3.0547788234E7
AT ITER 5212 NEW BEST:: SOT 204664493 SOS 40817260 HAS SOPS 40817260 HAS SOUS 30506638 HAS SOUPS 30506638 WITH SCORE 3.054745526E7
AT ITER 5234 NEW BEST:: SOT 204664493 SOS 40816240 HAS SOPS 40816240 HAS SOUS 30506128 HAS SOUPS 30506128 WITH SCORE 3.054694424E7
AT ITER 5237 NEW BEST:: SOT 204656347 SOS 40799948 HAS SOPS 40799948 HAS SOUS 30497982 HAS SOUPS 30497982 WITH SCORE 3.0538781948E7
AT ITER 5283 NEW BEST:: SOT 204655443 SOS 40798140 HAS SOPS 40798140 HAS SOUS 30496174 HAS SOUPS 30496174 WITH SCORE 3.053697214E7
AT ITER 5311 NEW BEST:: SOT 204654363 SOS 40797858 HAS SOPS 40797858 HAS SOUS 30495895 HAS SOUPS 30495895 WITH SCORE 3.0536692858E7
AT ITER 5338 NEW BEST:: SOT 204653507 SOS 40796146 HAS SOPS 40796146 HAS SOUS 30494003 HAS SOUPS 30494003 WITH SCORE 3.0534799146E7
AT ITER 5356 NEW BEST:: SOT 204653378 SOS 40795888 HAS SOPS 40795888 HAS SOUS 30493745 HAS SOUPS 30493745 WITH SCORE 3.0534540888E7
AT ITER 5366 NEW BEST:: SOT 204653955 SOS 40797042 HAS SOPS 40797042 HAS SOUS 30493280 HAS SOUPS 30493280 WITH SCORE 3.0534077042E7
AT ITER 5388 NEW BEST:: SOT 204653040 SOS 40792467 HAS SOPS 40792467 HAS SOUS 30491450 HAS SOUPS 30491450 WITH SCORE 3.0532242467E7
AT ITER 5391 NEW BEST:: SOT 204649645 SOS 40785677 HAS SOPS 40785677 HAS SOUS 30484893 HAS SOUPS 30484893 WITH SCORE 3.0525678677E7
AT ITER 5429 NEW BEST:: SOT 204649645 SOS 40784022 HAS SOPS 40784022 HAS SOUS 30484893 HAS SOUPS 30484893 WITH SCORE 3.0525677022E7
AT ITER 5437 NEW BEST:: SOT 204648114 SOS 40780960 HAS SOPS 40780960 HAS SOUS 30481831 HAS SOUPS 30481831 WITH SCORE 3.052261196E7
AT ITER 5473 NEW BEST:: SOT 204645346 SOS 40778188 HAS SOPS 40778188 HAS SOUS 30479062 HAS SOUPS 30479062 WITH SCORE 3.0519840188E7
AT ITER 5495 NEW BEST:: SOT 204644694 SOS 40777210 HAS SOPS 40777210 HAS SOUS 30478410 HAS SOUPS 30478410 WITH SCORE 3.051918721E7
AT ITER 5541 NEW BEST:: SOT 204645387 SOS 40773053 HAS SOPS 40773053 HAS SOUS 30476539 HAS SOUPS 30476539 WITH SCORE 3.0517312053E7
AT ITER 5545 NEW BEST:: SOT 204644215 SOS 40771881 HAS SOPS 40771881 HAS SOUS 30475367 HAS SOUPS 30475367 WITH SCORE 3.0516138881E7
AT ITER 5547 NEW BEST:: SOT 204642840 SOS 40769131 HAS SOPS 40769131 HAS SOUS 30470825 HAS SOUPS 30470825 WITH SCORE 3.0511594131E7
AT ITER 5579 NEW BEST:: SOT 204622798 SOS 40754555 HAS SOPS 40754555 HAS SOUS 30456249 HAS SOUPS 30456249 WITH SCORE 3.0497003555E7
AT ITER 5604 NEW BEST:: SOT 204620873 SOS 40754574 HAS SOPS 40754574 HAS SOUS 30455156 HAS SOUPS 30455156 WITH SCORE 3.0495910574E7
AT ITER 5613 NEW BEST:: SOT 204620925 SOS 40753700 HAS SOPS 40753700 HAS SOUS 30454282 HAS SOUPS 30454282 WITH SCORE 3.04950357E7
AT ITER 5644 NEW BEST:: SOT 204620925 SOS 40752114 HAS SOPS 40752114 HAS SOUS 30454282 HAS SOUPS 30454282 WITH SCORE 3.0495034114E7
AT ITER 5662 NEW BEST:: SOT 204618783 SOS 40747830 HAS SOPS 40747830 HAS SOUS 30452147 HAS SOUPS 30452147 WITH SCORE 3.049289483E7
AT ITER 5668 NEW BEST:: SOT 204617747 SOS 40750566 HAS SOPS 40750566 HAS SOUS 30450074 HAS SOUPS 30450074 WITH SCORE 3.0490824566E7
AT ITER 5679 NEW BEST:: SOT 204614804 SOS 40747619 HAS SOPS 40747619 HAS SOUS 30447130 HAS SOUPS 30447130 WITH SCORE 3.0487877619E7
AT ITER 5697 NEW BEST:: SOT 204616789 SOS 40749600 HAS SOPS 40749600 HAS SOUS 30446113 HAS SOUPS 30446113 WITH SCORE 3.04868626E7
AT ITER 5707 NEW BEST:: SOT 204610761 SOS 40747449 HAS SOPS 40747449 HAS SOUS 30443581 HAS SOUPS 30443581 WITH SCORE 3.0484328449E7
AT ITER 5749 NEW BEST:: SOT 204602125 SOS 40748497 HAS SOPS 40748497 HAS SOUS 30439525 HAS SOUPS 30439525 WITH SCORE 3.0480273497E7
AT ITER 5776 NEW BEST:: SOT 204578812 SOS 40750929 HAS SOPS 40750929 HAS SOUS 30427024 HAS SOUPS 30427024 WITH SCORE 3.0467774929E7
AT ITER 5792 NEW BEST:: SOT 204566182 SOS 40743351 HAS SOPS 40743351 HAS SOUS 30419437 HAS SOUPS 30419437 WITH SCORE 3.0460180351E7
AT ITER 5796 NEW BEST:: SOT 204566181 SOS 40743349 HAS SOPS 40743349 HAS SOUS 30419435 HAS SOUPS 30419435 WITH SCORE 3.0460178349E7
AT ITER 5831 NEW BEST:: SOT 204565799 SOS 40730688 HAS SOPS 40730688 HAS SOUS 30414930 HAS SOUPS 30414930 WITH SCORE 3.0455660688E7
AT ITER 5854 NEW BEST:: SOT 204565053 SOS 40729196 HAS SOPS 40729196 HAS SOUS 30412436 HAS SOUPS 30412436 WITH SCORE 3.0453165196E7
AT ITER 5891 NEW BEST:: SOT 204564984 SOS 40729058 HAS SOPS 40729058 HAS SOUS 30412298 HAS SOUPS 30412298 WITH SCORE 3.0453027058E7
AT ITER 5898 NEW BEST:: SOT 204561043 SOS 40727695 HAS SOPS 40727695 HAS SOUS 30410530 HAS SOUPS 30410530 WITH SCORE 3.0451257695E7
AT ITER 5901 NEW BEST:: SOT 204560318 SOS 40726245 HAS SOPS 40726245 HAS SOUS 30409805 HAS SOUPS 30409805 WITH SCORE 3.0450531245E7
AT ITER 5904 NEW BEST:: SOT 204557320 SOS 40723247 HAS SOPS 40723247 HAS SOUS 30406807 HAS SOUPS 30406807 WITH SCORE 3.0447530247E7
AT ITER 5909 NEW BEST:: SOT 204554922 SOS 40720849 HAS SOPS 40720849 HAS SOUS 30404409 HAS SOUPS 30404409 WITH SCORE 3.0445129849E7
AT ITER 5922 NEW BEST:: SOT 204554339 SOS 40719684 HAS SOPS 40719684 HAS SOUS 30403244 HAS SOUPS 30403244 WITH SCORE 3.0443963684E7
AT ITER 5945 NEW BEST:: SOT 204554282 SOS 40719646 HAS SOPS 40719646 HAS SOUS 30403206 HAS SOUPS 30403206 WITH SCORE 3.0443925646E7
AT ITER 5953 NEW BEST:: SOT 204553730 SOS 40718542 HAS SOPS 40718542 HAS SOUS 30402102 HAS SOUPS 30402102 WITH SCORE 3.0442820542E7
AT ITER 5989 NEW BEST:: SOT 204547460 SOS 40713982 HAS SOPS 40713982 HAS SOUS 30397542 HAS SOUPS 30397542 WITH SCORE 3.0438255982E7
AT ITER 5995 NEW BEST:: SOT 204546664 SOS 40713383 HAS SOPS 40713383 HAS SOUS 30395950 HAS SOUPS 30395950 WITH SCORE 3.0436663383E7
AT ITER 5998 NEW BEST:: SOT 204545629 SOS 40712348 HAS SOPS 40712348 HAS SOUS 30394915 HAS SOUPS 30394915 WITH SCORE 3.0435627348E7
AT ITER 6004 NEW BEST:: SOT 204545016 SOS 40714193 HAS SOPS 40714193 HAS SOUS 30394302 HAS SOUPS 30394302 WITH SCORE 3.0435016193E7
AT ITER 6015 NEW BEST:: SOT 204545016 SOS 40714193 HAS SOPS 40714193 HAS SOUS 30393949 HAS SOUPS 30393949 WITH SCORE 3.0434663193E7
AT ITER 6019 NEW BEST:: SOT 204542805 SOS 40711251 HAS SOPS 40711251 HAS SOUS 30391737 HAS SOUPS 30391737 WITH SCORE 3.0432448251E7
AT ITER 6037 NEW BEST:: SOT 204540622 SOS 40709064 HAS SOPS 40709064 HAS SOUS 30389553 HAS SOUPS 30389553 WITH SCORE 3.0430262064E7
AT ITER 6043 NEW BEST:: SOT 204540589 SOS 40708998 HAS SOPS 40708998 HAS SOUS 30389520 HAS SOUPS 30389520 WITH SCORE 3.0430228998E7
AT ITER 6054 NEW BEST:: SOT 204540299 SOS 40704648 HAS SOPS 40704648 HAS SOUS 30388070 HAS SOUPS 30388070 WITH SCORE 3.0428774648E7
AT ITER 6057 NEW BEST:: SOT 204537897 SOS 40702242 HAS SOPS 40702242 HAS SOUS 30385667 HAS SOUPS 30385667 WITH SCORE 3.0426369242E7
AT ITER 6066 NEW BEST:: SOT 204536611 SOS 40694396 HAS SOPS 40694396 HAS SOUS 30383095 HAS SOUPS 30383095 WITH SCORE 3.0423789396E7
AT ITER 6073 NEW BEST:: SOT 204536159 SOS 40694170 HAS SOPS 40694170 HAS SOUS 30382869 HAS SOUPS 30382869 WITH SCORE 3.042356317E7
AT ITER 6123 NEW BEST:: SOT 204533466 SOS 40691473 HAS SOPS 40691473 HAS SOUS 30380175 HAS SOUPS 30380175 WITH SCORE 3.0420866473E7
AT ITER 6127 NEW BEST:: SOT 204530980 SOS 40689213 HAS SOPS 40689213 HAS SOUS 30375092 HAS SOUPS 30375092 WITH SCORE 3.0415781213E7
AT ITER 6148 NEW BEST:: SOT 204528932 SOS 40685117 HAS SOPS 40685117 HAS SOUS 30370996 HAS SOUPS 30370996 WITH SCORE 3.0411681117E7
AT ITER 6167 NEW BEST:: SOT 204528931 SOS 40684259 HAS SOPS 40684259 HAS SOUS 30370138 HAS SOUPS 30370138 WITH SCORE 3.0410822259E7
AT ITER 6168 NEW BEST:: SOT 204526414 SOS 40681742 HAS SOPS 40681742 HAS SOUS 30367621 HAS SOUPS 30367621 WITH SCORE 3.0408302742E7
AT ITER 6172 NEW BEST:: SOT 204526053 SOS 40680659 HAS SOPS 40680659 HAS SOUS 30367260 HAS SOUPS 30367260 WITH SCORE 3.0407940659E7
AT ITER 6175 NEW BEST:: SOT 204525358 SOS 40680718 HAS SOPS 40680718 HAS SOUS 30367048 HAS SOUPS 30367048 WITH SCORE 3.0407728718E7
AT ITER 6187 NEW BEST:: SOT 204524916 SOS 40679834 HAS SOPS 40679834 HAS SOUS 30366606 HAS SOUPS 30366606 WITH SCORE 3.0407285834E7
AT ITER 6202 NEW BEST:: SOT 204522268 SOS 40677182 HAS SOPS 40677182 HAS SOUS 30363957 HAS SOUPS 30363957 WITH SCORE 3.0404634182E7
AT ITER 6207 NEW BEST:: SOT 204520344 SOS 40675254 HAS SOPS 40675254 HAS SOUS 30362032 HAS SOUPS 30362032 WITH SCORE 3.0402707254E7
AT ITER 6217 NEW BEST:: SOT 204503214 SOS 40724111 HAS SOPS 40724111 HAS SOUS 30359080 HAS SOUPS 30359080 WITH SCORE 3.0399804111E7
AT ITER 6222 NEW BEST:: SOT 204494723 SOS 40721814 HAS SOPS 40721814 HAS SOUS 30355451 HAS SOUPS 30355451 WITH SCORE 3.0396172814E7
AT ITER 6278 NEW BEST:: SOT 204493235 SOS 40720326 HAS SOPS 40720326 HAS SOUS 30353963 HAS SOUPS 30353963 WITH SCORE 3.0394683326E7
AT ITER 6303 NEW BEST:: SOT 204491414 SOS 40718505 HAS SOPS 40718505 HAS SOUS 30352142 HAS SOUPS 30352142 WITH SCORE 3.0392860505E7
AT ITER 6305 NEW BEST:: SOT 204491413 SOS 40718503 HAS SOPS 40718503 HAS SOUS 30352140 HAS SOUPS 30352140 WITH SCORE 3.0392858503E7
AT ITER 6307 NEW BEST:: SOT 204490959 SOS 40717595 HAS SOPS 40717595 HAS SOUS 30351232 HAS SOUPS 30351232 WITH SCORE 3.0391949595E7
AT ITER 6313 NEW BEST:: SOT 204490798 SOS 40717273 HAS SOPS 40717273 HAS SOUS 30350910 HAS SOUPS 30350910 WITH SCORE 3.0391627273E7
AT ITER 6337 NEW BEST:: SOT 204490207 SOS 40714318 HAS SOPS 40714318 HAS SOUS 30349728 HAS SOUPS 30349728 WITH SCORE 3.0390442318E7
AT ITER 6362 NEW BEST:: SOT 204487479 SOS 40711721 HAS SOPS 40711721 HAS SOUS 30347131 HAS SOUPS 30347131 WITH SCORE 3.0387842721E7
AT ITER 6363 NEW BEST:: SOT 204486030 SOS 40710467 HAS SOPS 40710467 HAS SOUS 30345877 HAS SOUPS 30345877 WITH SCORE 3.0386587467E7
AT ITER 6411 NEW BEST:: SOT 204485672 SOS 40709930 HAS SOPS 40709930 HAS SOUS 30345340 HAS SOUPS 30345340 WITH SCORE 3.038604993E7
AT ITER 6432 NEW BEST:: SOT 204483479 SOS 40698965 HAS SOPS 40698965 HAS SOUS 30340954 HAS SOUPS 30340954 WITH SCORE 3.0381652965E7
AT ITER 6445 NEW BEST:: SOT 204479803 SOS 40695289 HAS SOPS 40695289 HAS SOUS 30337278 HAS SOUPS 30337278 WITH SCORE 3.0377973289E7
AT ITER 6456 NEW BEST:: SOT 204479802 SOS 40695287 HAS SOPS 40695287 HAS SOUS 30337276 HAS SOUPS 30337276 WITH SCORE 3.0377971287E7
AT ITER 6484 NEW BEST:: SOT 204476434 SOS 40688551 HAS SOPS 40688551 HAS SOUS 30330540 HAS SOUPS 30330540 WITH SCORE 3.0371228551E7
AT ITER 6509 NEW BEST:: SOT 204475867 SOS 40029683 HAS SOPS 40029683 HAS SOUS 30329406 HAS SOUPS 30329406 WITH SCORE 3.0369435683E7
AT ITER 6537 NEW BEST:: SOT 204474967 SOS 40024346 HAS SOPS 40024346 HAS SOUS 30327606 HAS SOUPS 30327606 WITH SCORE 3.0367630346E7
AT ITER 6551 NEW BEST:: SOT 204472193 SOS 40021907 HAS SOPS 40021907 HAS SOUS 30325170 HAS SOUPS 30325170 WITH SCORE 3.0365191907E7
AT ITER 6556 NEW BEST:: SOT 204469864 SOS 40017249 HAS SOPS 40017249 HAS SOUS 30320512 HAS SOUPS 30320512 WITH SCORE 3.0360529249E7
AT ITER 6571 NEW BEST:: SOT 204469395 SOS 40017714 HAS SOPS 40017714 HAS SOUS 30320511 HAS SOUPS 30320511 WITH SCORE 3.0360528714E7
AT ITER 6634 NEW BEST:: SOT 204466473 SOS 40011870 HAS SOPS 40011870 HAS SOUS 30314667 HAS SOUPS 30314667 WITH SCORE 3.035467887E7
AT ITER 6662 NEW BEST:: SOT 204464418 SOS 40001595 HAS SOPS 40001595 HAS SOUS 30310557 HAS SOUPS 30310557 WITH SCORE 3.0350558595E7
AT ITER 6676 NEW BEST:: SOT 204462575 SOS 39999752 HAS SOPS 39999752 HAS SOUS 30308714 HAS SOUPS 30308714 WITH SCORE 3.0348713752E7
AT ITER 6684 NEW BEST:: SOT 204457859 SOS 39997394 HAS SOPS 39997394 HAS SOUS 30306356 HAS SOUPS 30306356 WITH SCORE 3.0346353394E7
AT ITER 6696 NEW BEST:: SOT 204457202 SOS 39996081 HAS SOPS 39996081 HAS SOUS 30305043 HAS SOUPS 30305043 WITH SCORE 3.0345039081E7
AT ITER 6734 NEW BEST:: SOT 204456297 SOS 39995176 HAS SOPS 39995176 HAS SOUS 30304138 HAS SOUPS 30304138 WITH SCORE 3.0344133176E7
AT ITER 6742 NEW BEST:: SOT 204455695 SOS 39993972 HAS SOPS 39993972 HAS SOUS 30302934 HAS SOUPS 30302934 WITH SCORE 3.0342927972E7
AT ITER 6748 NEW BEST:: SOT 204456184 SOS 39992068 HAS SOPS 39992068 HAS SOUS 30302223 HAS SOUPS 30302223 WITH SCORE 3.0342215068E7
AT ITER 6757 NEW BEST:: SOT 204455510 SOS 39992245 HAS SOPS 39992245 HAS SOUS 30300876 HAS SOUPS 30300876 WITH SCORE 3.0340868245E7
AT ITER 6760 NEW BEST:: SOT 204451502 SOS 39990766 HAS SOPS 39990766 HAS SOUS 30299047 HAS SOUPS 30299047 WITH SCORE 3.0339037766E7
AT ITER 6761 NEW BEST:: SOT 204448751 SOS 39988270 HAS SOPS 39988270 HAS SOUS 30296425 HAS SOUPS 30296425 WITH SCORE 3.033641327E7
AT ITER 6773 NEW BEST:: SOT 204446063 SOS 39974143 HAS SOPS 39974143 HAS SOUS 30291049 HAS SOUPS 30291049 WITH SCORE 3.0331023143E7
AT ITER 6788 NEW BEST:: SOT 204444212 SOS 39970441 HAS SOPS 39970441 HAS SOUS 30289114 HAS SOUPS 30289114 WITH SCORE 3.0329084441E7
AT ITER 6789 NEW BEST:: SOT 204441733 SOS 39973055 HAS SOPS 39973055 HAS SOUS 30288984 HAS SOUPS 30288984 WITH SCORE 3.0328957055E7
AT ITER 6797 NEW BEST:: SOT 204441733 SOS 39971844 HAS SOPS 39971844 HAS SOUS 30288984 HAS SOUPS 30288984 WITH SCORE 3.0328955844E7
AT ITER 6807 NEW BEST:: SOT 204441053 SOS 39972524 HAS SOPS 39972524 HAS SOUS 30288304 HAS SOUPS 30288304 WITH SCORE 3.0328276524E7
AT ITER 6819 NEW BEST:: SOT 204438932 SOS 39968282 HAS SOPS 39968282 HAS SOUS 30284062 HAS SOUPS 30284062 WITH SCORE 3.0324030282E7
AT ITER 6840 NEW BEST:: SOT 204438410 SOS 39968278 HAS SOPS 39968278 HAS SOUS 30283539 HAS SOUPS 30283539 WITH SCORE 3.0323507278E7
AT ITER 6861 NEW BEST:: SOT 204438409 SOS 39968276 HAS SOPS 39968276 HAS SOUS 30283537 HAS SOUPS 30283537 WITH SCORE 3.0323505276E7
AT ITER 6863 NEW BEST:: SOT 204437233 SOS 39965924 HAS SOPS 39965924 HAS SOUS 30281185 HAS SOUPS 30281185 WITH SCORE 3.0321150924E7
AT ITER 6886 NEW BEST:: SOT 204435149 SOS 39960688 HAS SOPS 39960688 HAS SOUS 30278313 HAS SOUPS 30278313 WITH SCORE 3.0318273688E7
AT ITER 6896 NEW BEST:: SOT 204435030 SOS 39960450 HAS SOPS 39960450 HAS SOUS 30278075 HAS SOUPS 30278075 WITH SCORE 3.031803545E7
AT ITER 6897 NEW BEST:: SOT 204434016 SOS 39959401 HAS SOPS 39959401 HAS SOUS 30277026 HAS SOUPS 30277026 WITH SCORE 3.0316985401E7
AT ITER 6902 NEW BEST:: SOT 204432987 SOS 39958372 HAS SOPS 39958372 HAS SOUS 30275997 HAS SOUPS 30275997 WITH SCORE 3.0315955372E7
AT ITER 6906 NEW BEST:: SOT 204432987 SOS 39958252 HAS SOPS 39958252 HAS SOUS 30275997 HAS SOUPS 30275997 WITH SCORE 3.0315955252E7
AT ITER 6929 NEW BEST:: SOT 204432813 SOS 39957904 HAS SOPS 39957904 HAS SOUS 30273375 HAS SOUPS 30273375 WITH SCORE 3.0313332904E7
AT ITER 6951 NEW BEST:: SOT 204431514 SOS 39955306 HAS SOPS 39955306 HAS SOUS 30272076 HAS SOUPS 30272076 WITH SCORE 3.0312031306E7
AT ITER 6966 NEW BEST:: SOT 204431514 SOS 39955302 HAS SOPS 39955302 HAS SOUS 30272075 HAS SOUPS 30272075 WITH SCORE 3.0312030302E7
AT ITER 6970 NEW BEST:: SOT 204429411 SOS 39951096 HAS SOPS 39951096 HAS SOUS 30267869 HAS SOUPS 30267869 WITH SCORE 3.0307820096E7
AT ITER 6989 NEW BEST:: SOT 204429945 SOS 39951094 HAS SOPS 39951094 HAS SOUS 30267868 HAS SOUPS 30267868 WITH SCORE 3.0307819094E7
AT ITER 6991 NEW BEST:: SOT 204429892 SOS 39950988 HAS SOPS 39950988 HAS SOUS 30267762 HAS SOUPS 30267762 WITH SCORE 3.0307712988E7
AT ITER 6994 NEW BEST:: SOT 204429891 SOS 39950986 HAS SOPS 39950986 HAS SOUS 30267760 HAS SOUPS 30267760 WITH SCORE 3.0307710986E7
AT ITER 6995 NEW BEST:: SOT 204429732 SOS 39950827 HAS SOPS 39950827 HAS SOUS 30267760 HAS SOUPS 30267760 WITH SCORE 3.0307710827E7
AT ITER 7013 NEW BEST:: SOT 204422672 SOS 39951899 HAS SOPS 39951899 HAS SOUS 30264498 HAS SOUPS 30264498 WITH SCORE 3.0304449899E7
AT ITER 7021 NEW BEST:: SOT 204420482 SOS 39946489 HAS SOPS 39946489 HAS SOUS 30261503 HAS SOUPS 30261503 WITH SCORE 3.0301449489E7
AT ITER 7023 NEW BEST:: SOT 204410395 SOS 39939153 HAS SOPS 39939153 HAS SOUS 30254167 HAS SOUPS 30254167 WITH SCORE 3.0294106153E7
AT ITER 7024 NEW BEST:: SOT 204407390 SOS 39936148 HAS SOPS 39936148 HAS SOUS 30251162 HAS SOUPS 30251162 WITH SCORE 3.0291098148E7
AT ITER 7048 NEW BEST:: SOT 204407920 SOS 39937208 HAS SOPS 39937208 HAS SOUS 30250685 HAS SOUPS 30250685 WITH SCORE 3.0290622208E7
AT ITER 7063 NEW BEST:: SOT 204407919 SOS 39936426 HAS SOPS 39936426 HAS SOUS 30249903 HAS SOUPS 30249903 WITH SCORE 3.0289839426E7
AT ITER 7096 NEW BEST:: SOT 204405574 SOS 39934530 HAS SOPS 39934530 HAS SOUS 30247784 HAS SOUPS 30247784 WITH SCORE 3.028771853E7
AT ITER 7122 NEW BEST:: SOT 204405228 SOS 39934184 HAS SOPS 39934184 HAS SOUS 30247438 HAS SOUPS 30247438 WITH SCORE 3.0287372184E7
AT ITER 7139 NEW BEST:: SOT 204405006 SOS 39934036 HAS SOPS 39934036 HAS SOUS 30247290 HAS SOUPS 30247290 WITH SCORE 3.0287224036E7
AT ITER 7154 NEW BEST:: SOT 204403069 SOS 39932099 HAS SOPS 39932099 HAS SOUS 30245353 HAS SOUPS 30245353 WITH SCORE 3.0285285099E7
AT ITER 7211 NEW BEST:: SOT 204401221 SOS 39931175 HAS SOPS 39931175 HAS SOUS 30244429 HAS SOUPS 30244429 WITH SCORE 3.0284360175E7
AT ITER 7315 NEW BEST:: SOT 204401221 SOS 39931175 HAS SOPS 39931175 HAS SOUS 30244428 HAS SOUPS 30244428 WITH SCORE 3.0284359175E7
AT ITER 7354 NEW BEST:: SOT 204400645 SOS 39931298 HAS SOPS 39931298 HAS SOUS 30244277 HAS SOUPS 30244277 WITH SCORE 3.0284208298E7
AT ITER 7375 NEW BEST:: SOT 204392322 SOS 39916207 HAS SOPS 39916207 HAS SOUS 30234742 HAS SOUPS 30234742 WITH SCORE 3.0274658207E7
AT ITER 7376 NEW BEST:: SOT 204392321 SOS 39916573 HAS SOPS 39916573 HAS SOUS 30234740 HAS SOUPS 30234740 WITH SCORE 3.0274656573E7
AT ITER 7397 NEW BEST:: SOT 204391484 SOS 39915736 HAS SOPS 39915736 HAS SOUS 30233066 HAS SOUPS 30233066 WITH SCORE 3.0272981736E7
AT ITER 7406 NEW BEST:: SOT 204391483 SOS 39915734 HAS SOPS 39915734 HAS SOUS 30233064 HAS SOUPS 30233064 WITH SCORE 3.0272979734E7
AT ITER 7418 NEW BEST:: SOT 204391483 SOS 39915733 HAS SOPS 39915733 HAS SOUS 30233063 HAS SOUPS 30233063 WITH SCORE 3.0272978733E7
AT ITER 7424 NEW BEST:: SOT 204390922 SOS 39915755 HAS SOPS 39915755 HAS SOUS 30232502 HAS SOUPS 30232502 WITH SCORE 3.0272417755E7
AT ITER 7435 NEW BEST:: SOT 204391208 SOS 39916327 HAS SOPS 39916327 HAS SOUS 30231338 HAS SOUPS 30231338 WITH SCORE 3.0271254327E7
AT ITER 7460 NEW BEST:: SOT 204389798 SOS 39914917 HAS SOPS 39914917 HAS SOUS 30229928 HAS SOUPS 30229928 WITH SCORE 3.0269842917E7
AT ITER 7495 NEW BEST:: SOT 204389160 SOS 39913641 HAS SOPS 39913641 HAS SOUS 30228652 HAS SOUPS 30228652 WITH SCORE 3.0268565641E7
AT ITER 7508 NEW BEST:: SOT 204385124 SOS 39911623 HAS SOPS 39911623 HAS SOUS 30226634 HAS SOUPS 30226634 WITH SCORE 3.0266545623E7
AT ITER 7509 NEW BEST:: SOT 204385124 SOS 39911623 HAS SOPS 39911623 HAS SOUS 30226633 HAS SOUPS 30226633 WITH SCORE 3.0266544623E7
AT ITER 7519 NEW BEST:: SOT 204385123 SOS 39911621 HAS SOPS 39911621 HAS SOUS 30226631 HAS SOUPS 30226631 WITH SCORE 3.0266542621E7
AT ITER 7526 NEW BEST:: SOT 204382854 SOS 39900276 HAS SOPS 39900276 HAS SOUS 30222093 HAS SOUPS 30222093 WITH SCORE 3.0261993276E7
AT ITER 7561 NEW BEST:: SOT 204382851 SOS 39900270 HAS SOPS 39900270 HAS SOUS 30222087 HAS SOUPS 30222087 WITH SCORE 3.026198727E7
AT ITER 7568 NEW BEST:: SOT 204377807 SOS 39882202 HAS SOPS 39882202 HAS SOUS 30214383 HAS SOUPS 30214383 WITH SCORE 3.0254265202E7
AT ITER 7569 NEW BEST:: SOT 204377373 SOS 39881334 HAS SOPS 39881334 HAS SOUS 30211825 HAS SOUPS 30211825 WITH SCORE 3.0251706334E7
AT ITER 7574 NEW BEST:: SOT 204372953 SOS 39876914 HAS SOPS 39876914 HAS SOUS 30207405 HAS SOUPS 30207405 WITH SCORE 3.0247281914E7
AT ITER 7576 NEW BEST:: SOT 204372940 SOS 39876888 HAS SOPS 39876888 HAS SOUS 30207379 HAS SOUPS 30207379 WITH SCORE 3.0247255888E7
AT ITER 7579 NEW BEST:: SOT 204370284 SOS 39874228 HAS SOPS 39874228 HAS SOUS 30204722 HAS SOUPS 30204722 WITH SCORE 3.0244596228E7
AT ITER 7623 NEW BEST:: SOT 204370284 SOS 39874224 HAS SOPS 39874224 HAS SOUS 30204721 HAS SOUPS 30204721 WITH SCORE 3.0244595224E7
AT ITER 7640 NEW BEST:: SOT 204355847 SOS 39903335 HAS SOPS 39903335 HAS SOUS 30200595 HAS SOUPS 30200595 WITH SCORE 3.0240498335E7
AT ITER 7667 NEW BEST:: SOT 204355847 SOS 39903244 HAS SOPS 39903244 HAS SOUS 30200504 HAS SOUPS 30200504 WITH SCORE 3.0240407244E7
AT ITER 7708 NEW BEST:: SOT 204355847 SOS 39903244 HAS SOPS 39903244 HAS SOUS 30200503 HAS SOUPS 30200503 WITH SCORE 3.0240406244E7
AT ITER 7722 NEW BEST:: SOT 204355182 SOS 39901915 HAS SOPS 39901915 HAS SOUS 30199174 HAS SOUPS 30199174 WITH SCORE 3.0239075915E7
AT ITER 7725 NEW BEST:: SOT 204355005 SOS 39901384 HAS SOPS 39901384 HAS SOUS 30198820 HAS SOUPS 30198820 WITH SCORE 3.0238721384E7
AT ITER 7736 NEW BEST:: SOT 204355004 SOS 39901382 HAS SOPS 39901382 HAS SOUS 30198818 HAS SOUPS 30198818 WITH SCORE 3.0238719382E7
AT ITER 7739 NEW BEST:: SOT 204351550 SOS 39905403 HAS SOPS 39905403 HAS SOUS 30198205 HAS SOUPS 30198205 WITH SCORE 3.0238110403E7
AT ITER 7761 NEW BEST:: SOT 204350896 SOS 39904095 HAS SOPS 39904095 HAS SOUS 30197551 HAS SOUPS 30197551 WITH SCORE 3.0237455095E7
AT ITER 7779 NEW BEST:: SOT 204352462 SOS 39898957 HAS SOPS 39898957 HAS SOUS 30197407 HAS SOUPS 30197407 WITH SCORE 3.0237305957E7
AT ITER 7785 NEW BEST:: SOT 204351987 SOS 39898956 HAS SOPS 39898956 HAS SOUS 30197406 HAS SOUPS 30197406 WITH SCORE 3.0237304956E7
AT ITER 7862 NEW BEST:: SOT 204351647 SOS 39898276 HAS SOPS 39898276 HAS SOUS 30196726 HAS SOUPS 30196726 WITH SCORE 3.0236624276E7
AT ITER 7877 NEW BEST:: SOT 204349192 SOS 39893366 HAS SOPS 39893366 HAS SOUS 30191816 HAS SOUPS 30191816 WITH SCORE 3.0231709366E7
AT ITER 7901 NEW BEST:: SOT 204346471 SOS 39890775 HAS SOPS 39890775 HAS SOUS 30189225 HAS SOUPS 30189225 WITH SCORE 3.0229115775E7
AT ITER 7902 NEW BEST:: SOT 204343072 SOS 39889176 HAS SOPS 39889176 HAS SOUS 30187626 HAS SOUPS 30187626 WITH SCORE 3.0227515176E7
AT ITER 7916 NEW BEST:: SOT 204343032 SOS 39889096 HAS SOPS 39889096 HAS SOUS 30187546 HAS SOUPS 30187546 WITH SCORE 3.0227435096E7
AT ITER 7920 NEW BEST:: SOT 204341755 SOS 39882711 HAS SOPS 39882711 HAS SOUS 30184992 HAS SOUPS 30184992 WITH SCORE 3.0224874711E7
AT ITER 7936 NEW BEST:: SOT 204333255 SOS 39879703 HAS SOPS 39879703 HAS SOUS 30179990 HAS SOUPS 30179990 WITH SCORE 3.0219869703E7
AT ITER 7940 NEW BEST:: SOT 204333166 SOS 39879699 HAS SOPS 39879699 HAS SOUS 30179989 HAS SOUPS 30179989 WITH SCORE 3.0219868699E7
AT ITER 7958 NEW BEST:: SOT 204330922 SOS 39875211 HAS SOPS 39875211 HAS SOUS 30174524 HAS SOUPS 30174524 WITH SCORE 3.0214399211E7
AT ITER 7975 NEW BEST:: SOT 204330284 SOS 39875849 HAS SOPS 39875849 HAS SOUS 30173655 HAS SOUPS 30173655 WITH SCORE 3.0213530849E7
AT ITER 7980 NEW BEST:: SOT 204330176 SOS 39875633 HAS SOPS 39875633 HAS SOUS 30173317 HAS SOUPS 30173317 WITH SCORE 3.0213192633E7
AT ITER 7990 NEW BEST:: SOT 204328957 SOS 39874572 HAS SOPS 39874572 HAS SOUS 30172256 HAS SOUPS 30172256 WITH SCORE 3.0212130572E7
AT ITER 8031 NEW BEST:: SOT 204328293 SOS 39874240 HAS SOPS 39874240 HAS SOUS 30171924 HAS SOUPS 30171924 WITH SCORE 3.021179824E7
AT ITER 8059 NEW BEST:: SOT 204258514 SOS 40241049 HAS SOPS 40241049 HAS SOUS 30106072 HAS SOUPS 30106072 WITH SCORE 3.0146313049E7
AT ITER 8075 NEW BEST:: SOT 204258513 SOS 40241047 HAS SOPS 40241047 HAS SOUS 30106071 HAS SOUPS 30106071 WITH SCORE 3.0146312047E7
AT ITER 8079 NEW BEST:: SOT 204257881 SOS 40239783 HAS SOPS 40239783 HAS SOUS 30104807 HAS SOUPS 30104807 WITH SCORE 3.0145046783E7
AT ITER 8082 NEW BEST:: SOT 204256822 SOS 40229157 HAS SOPS 40229157 HAS SOUS 30102689 HAS SOUPS 30102689 WITH SCORE 3.0142918157E7
AT ITER 8126 NEW BEST:: SOT 204256332 SOS 40230147 HAS SOPS 40230147 HAS SOUS 30102580 HAS SOUPS 30102580 WITH SCORE 3.0142810147E7
AT ITER 8134 NEW BEST:: SOT 204254297 SOS 40228108 HAS SOPS 40228108 HAS SOUS 30100544 HAS SOUPS 30100544 WITH SCORE 3.0140772108E7
AT ITER 8174 NEW BEST:: SOT 204254810 SOS 40229133 HAS SOPS 40229133 HAS SOUS 30099352 HAS SOUPS 30099352 WITH SCORE 3.0139581133E7
AT ITER 8185 NEW BEST:: SOT 204254810 SOS 40228649 HAS SOPS 40228649 HAS SOUS 30099352 HAS SOUPS 30099352 WITH SCORE 3.0139580649E7
AT ITER 8223 NEW BEST:: SOT 204254695 SOS 40228419 HAS SOPS 40228419 HAS SOUS 30099122 HAS SOUPS 30099122 WITH SCORE 3.0139350419E7
AT ITER 8228 NEW BEST:: SOT 204250691 SOS 40224415 HAS SOPS 40224415 HAS SOUS 30095118 HAS SOUPS 30095118 WITH SCORE 3.0135342415E7
AT ITER 8236 NEW BEST:: SOT 204234268 SOS 40212471 HAS SOPS 40212471 HAS SOUS 30083174 HAS SOUPS 30083174 WITH SCORE 3.0123386471E7
AT ITER 8250 NEW BEST:: SOT 204216850 SOS 40207651 HAS SOPS 40207651 HAS SOUS 30072802 HAS SOUPS 30072802 WITH SCORE 3.0113009651E7
AT ITER 8254 NEW BEST:: SOT 204208505 SOS 40200970 HAS SOPS 40200970 HAS SOUS 30066120 HAS SOUPS 30066120 WITH SCORE 3.010632097E7
AT ITER 8274 NEW BEST:: SOT 204208337 SOS 40200802 HAS SOPS 40200802 HAS SOUS 30065952 HAS SOUPS 30065952 WITH SCORE 3.0106152802E7
AT ITER 8314 NEW BEST:: SOT 204208124 SOS 40200377 HAS SOPS 40200377 HAS SOUS 30065527 HAS SOUPS 30065527 WITH SCORE 3.0105727377E7
AT ITER 8325 NEW BEST:: SOT 204207475 SOS 40199079 HAS SOPS 40199079 HAS SOUS 30064878 HAS SOUPS 30064878 WITH SCORE 3.0105077079E7
AT ITER 8364 NEW BEST:: SOT 204207608 SOS 40199345 HAS SOPS 40199345 HAS SOUS 30063441 HAS SOUPS 30063441 WITH SCORE 3.0103640345E7
AT ITER 8421 NEW BEST:: SOT 204202966 SOS 40195969 HAS SOPS 40195969 HAS SOUS 30060065 HAS SOUPS 30060065 WITH SCORE 3.0100260969E7
AT ITER 8472 NEW BEST:: SOT 204202966 SOS 40195969 HAS SOPS 40195969 HAS SOUS 30060060 HAS SOUPS 30060060 WITH SCORE 3.0100255969E7
AT ITER 8473 NEW BEST:: SOT 204202109 SOS 40195965 HAS SOPS 40195965 HAS SOUS 30059202 HAS SOUPS 30059202 WITH SCORE 3.0099397965E7
AT ITER 8483 NEW BEST:: SOT 204191424 SOS 40205507 HAS SOPS 40205507 HAS SOUS 30056132 HAS SOUPS 30056132 WITH SCORE 3.0096337507E7
AT ITER 8485 NEW BEST:: SOT 204190399 SOS 40189969 HAS SOPS 40189969 HAS SOUS 30051555 HAS SOUPS 30051555 WITH SCORE 3.0091744969E7
AT ITER 8492 NEW BEST:: SOT 204180231 SOS 40199806 HAS SOPS 40199806 HAS SOUS 30049537 HAS SOUPS 30049537 WITH SCORE 3.0089736806E7
AT ITER 8501 NEW BEST:: SOT 204180118 SOS 40199776 HAS SOPS 40199776 HAS SOUS 30049507 HAS SOUPS 30049507 WITH SCORE 3.0089706776E7
AT ITER 8504 NEW BEST:: SOT 204179650 SOS 40199775 HAS SOPS 40199775 HAS SOUS 30049506 HAS SOUPS 30049506 WITH SCORE 3.0089705775E7
AT ITER 8514 NEW BEST:: SOT 204176299 SOS 40193073 HAS SOPS 40193073 HAS SOUS 30042804 HAS SOUPS 30042804 WITH SCORE 3.0082997073E7
AT ITER 8522 NEW BEST:: SOT 204176195 SOS 40192865 HAS SOPS 40192865 HAS SOUS 30042596 HAS SOUPS 30042596 WITH SCORE 3.0082788865E7
AT ITER 8524 NEW BEST:: SOT 204174290 SOS 40191066 HAS SOPS 40191066 HAS SOUS 30040691 HAS SOUPS 30040691 WITH SCORE 3.0080882066E7
AT ITER 8542 NEW BEST:: SOT 204173068 SOS 40189902 HAS SOPS 40189902 HAS SOUS 30038247 HAS SOUPS 30038247 WITH SCORE 3.0078436902E7
AT ITER 8586 NEW BEST:: SOT 204174004 SOS 40191774 HAS SOPS 40191774 HAS SOUS 30037559 HAS SOUPS 30037559 WITH SCORE 3.0077750774E7
AT ITER 8605 NEW BEST:: SOT 204172637 SOS 40191774 HAS SOPS 40191774 HAS SOUS 30037368 HAS SOUPS 30037368 WITH SCORE 3.0077559774E7
AT ITER 8623 NEW BEST:: SOT 204171381 SOS 40190518 HAS SOPS 40190518 HAS SOUS 30036112 HAS SOUPS 30036112 WITH SCORE 3.0076302518E7
AT ITER 8624 NEW BEST:: SOT 204170924 SOS 40189604 HAS SOPS 40189604 HAS SOUS 30035198 HAS SOUPS 30035198 WITH SCORE 3.0075387604E7
AT ITER 8635 NEW BEST:: SOT 204168646 SOS 40177428 HAS SOPS 40177428 HAS SOUS 30031701 HAS SOUPS 30031701 WITH SCORE 3.0071878428E7
AT ITER 8640 NEW BEST:: SOT 204168072 SOS 40176280 HAS SOPS 40176280 HAS SOUS 30030553 HAS SOUPS 30030553 WITH SCORE 3.007072928E7
AT ITER 8654 NEW BEST:: SOT 204168056 SOS 40176248 HAS SOPS 40176248 HAS SOUS 30029516 HAS SOUPS 30029516 WITH SCORE 3.0069692248E7
AT ITER 8678 NEW BEST:: SOT 204167485 SOS 40175869 HAS SOPS 40175869 HAS SOUS 30029137 HAS SOUPS 30029137 WITH SCORE 3.0069312869E7
AT ITER 8687 NEW BEST:: SOT 204166099 SOS 40174483 HAS SOPS 40174483 HAS SOUS 30027751 HAS SOUPS 30027751 WITH SCORE 3.0067925483E7
AT ITER 8721 NEW BEST:: SOT 204164320 SOS 40172704 HAS SOPS 40172704 HAS SOUS 30025972 HAS SOUPS 30025972 WITH SCORE 3.0066144704E7
AT ITER 8723 NEW BEST:: SOT 204164320 SOS 40170964 HAS SOPS 40170964 HAS SOUS 30025102 HAS SOUPS 30025102 WITH SCORE 3.0065272964E7
AT ITER 8767 NEW BEST:: SOT 204163706 SOS 40170350 HAS SOPS 40170350 HAS SOUS 30023874 HAS SOUPS 30023874 WITH SCORE 3.006404435E7
AT ITER 8774 NEW BEST:: SOT 204162818 SOS 40168047 HAS SOPS 40168047 HAS SOUS 30022986 HAS SOUPS 30022986 WITH SCORE 3.0063154047E7
AT ITER 8785 NEW BEST:: SOT 204162314 SOS 40167039 HAS SOPS 40167039 HAS SOUS 30021978 HAS SOUPS 30021978 WITH SCORE 3.0062145039E7
AT ITER 8789 NEW BEST:: SOT 204162314 SOS 40166600 HAS SOPS 40166600 HAS SOUS 30021978 HAS SOUPS 30021978 WITH SCORE 3.00621446E7
AT ITER 8790 NEW BEST:: SOT 204162314 SOS 40165501 HAS SOPS 40165501 HAS SOUS 30021978 HAS SOUPS 30021978 WITH SCORE 3.0062143501E7
AT ITER 8809 NEW BEST:: SOT 204161177 SOS 40163227 HAS SOPS 40163227 HAS SOUS 30019704 HAS SOUPS 30019704 WITH SCORE 3.0059867227E7
AT ITER 8829 NEW BEST:: SOT 204158400 SOS 40160492 HAS SOPS 40160492 HAS SOUS 30016972 HAS SOUPS 30016972 WITH SCORE 3.0057132492E7
AT ITER 8872 NEW BEST:: SOT 204158142 SOS 40161000 HAS SOPS 40161000 HAS SOUS 30016712 HAS SOUPS 30016712 WITH SCORE 3.0056873E7
AT ITER 8874 NEW BEST:: SOT 204156859 SOS 40150172 HAS SOPS 40150172 HAS SOUS 30014146 HAS SOUPS 30014146 WITH SCORE 3.0054296172E7
AT ITER 8890 NEW BEST:: SOT 204156859 SOS 40150144 HAS SOPS 40150144 HAS SOUS 30014146 HAS SOUPS 30014146 WITH SCORE 3.0054296144E7
AT ITER 8908 NEW BEST:: SOT 204136537 SOS 40150271 HAS SOPS 40150271 HAS SOUS 30004461 HAS SOUPS 30004461 WITH SCORE 3.0044611271E7
AT ITER 8917 NEW BEST:: SOT 204135480 SOS 40148158 HAS SOPS 40148158 HAS SOUS 30002348 HAS SOUPS 30002348 WITH SCORE 3.0042496158E7
AT ITER 8924 NEW BEST:: SOT 204134116 SOS 40141338 HAS SOPS 40141338 HAS SOUS 29999620 HAS SOUPS 29999620 WITH SCORE 3.0039761338E7
AT ITER 8949 NEW BEST:: SOT 204134264 SOS 40141103 HAS SOPS 40141103 HAS SOUS 29999385 HAS SOUPS 29999385 WITH SCORE 3.0039526103E7
AT ITER 9007 NEW BEST:: SOT 204133973 SOS 40140521 HAS SOPS 40140521 HAS SOUS 29999094 HAS SOUPS 29999094 WITH SCORE 3.0039234521E7
AT ITER 9030 NEW BEST:: SOT 204133802 SOS 40140179 HAS SOPS 40140179 HAS SOUS 29998881 HAS SOUPS 29998881 WITH SCORE 3.0039021179E7
AT ITER 9048 NEW BEST:: SOT 204132133 SOS 40131834 HAS SOPS 40131834 HAS SOUS 29995543 HAS SOUPS 29995543 WITH SCORE 3.0035674834E7
AT ITER 9053 NEW BEST:: SOT 204131812 SOS 40131192 HAS SOPS 40131192 HAS SOUS 29995336 HAS SOUPS 29995336 WITH SCORE 3.0035467192E7
AT ITER 9054 NEW BEST:: SOT 204131812 SOS 40129655 HAS SOPS 40129655 HAS SOUS 29995336 HAS SOUPS 29995336 WITH SCORE 3.0035465655E7
AT ITER 9096 NEW BEST:: SOT 204128875 SOS 40125739 HAS SOPS 40125739 HAS SOUS 29993623 HAS SOUPS 29993623 WITH SCORE 3.0033748739E7
AT ITER 9110 NEW BEST:: SOT 204128848 SOS 40125460 HAS SOPS 40125460 HAS SOUS 29993596 HAS SOUPS 29993596 WITH SCORE 3.003372146E7
AT ITER 9119 NEW BEST:: SOT 204129269 SOS 40125810 HAS SOPS 40125810 HAS SOUS 29993524 HAS SOUPS 29993524 WITH SCORE 3.003364981E7
AT ITER 9159 NEW BEST:: SOT 204128179 SOS 40123630 HAS SOPS 40123630 HAS SOUS 29992434 HAS SOUPS 29992434 WITH SCORE 3.003255763E7
AT ITER 9172 NEW BEST:: SOT 204128178 SOS 40123628 HAS SOPS 40123628 HAS SOUS 29992432 HAS SOUPS 29992432 WITH SCORE 3.0032555628E7
AT ITER 9182 NEW BEST:: SOT 204126903 SOS 40124473 HAS SOPS 40124473 HAS SOUS 29992219 HAS SOUPS 29992219 WITH SCORE 3.0032343473E7
AT ITER 9194 NEW BEST:: SOT 204126851 SOS 40124369 HAS SOPS 40124369 HAS SOUS 29992115 HAS SOUPS 29992115 WITH SCORE 3.0032239369E7
AT ITER 9213 NEW BEST:: SOT 204126851 SOS 40124186 HAS SOPS 40124186 HAS SOUS 29991932 HAS SOUPS 29991932 WITH SCORE 3.0032056186E7
AT ITER 9225 NEW BEST:: SOT 204125731 SOS 40121946 HAS SOPS 40121946 HAS SOUS 29989692 HAS SOUPS 29989692 WITH SCORE 3.0029813946E7
AT ITER 9239 NEW BEST:: SOT 204124747 SOS 40120470 HAS SOPS 40120470 HAS SOUS 29988708 HAS SOUPS 29988708 WITH SCORE 3.002882847E7
AT ITER 9241 NEW BEST:: SOT 204125701 SOS 40122378 HAS SOPS 40122378 HAS SOUS 29988398 HAS SOUPS 29988398 WITH SCORE 3.0028520378E7
AT ITER 9264 NEW BEST:: SOT 204125701 SOS 40121705 HAS SOPS 40121705 HAS SOUS 29988398 HAS SOUPS 29988398 WITH SCORE 3.0028519705E7
AT ITER 9290 NEW BEST:: SOT 204125701 SOS 40121705 HAS SOPS 40121705 HAS SOUS 29988342 HAS SOUPS 29988342 WITH SCORE 3.0028463705E7
AT ITER 9295 NEW BEST:: SOT 204124851 SOS 40120005 HAS SOPS 40120005 HAS SOUS 29987492 HAS SOUPS 29987492 WITH SCORE 3.0027612005E7
AT ITER 9378 NEW BEST:: SOT 204117758 SOS 40118677 HAS SOPS 40118677 HAS SOUS 29982008 HAS SOUPS 29982008 WITH SCORE 3.0022126677E7
AT ITER 9417 NEW BEST:: SOT 204117547 SOS 40118552 HAS SOPS 40118552 HAS SOUS 29981883 HAS SOUPS 29981883 WITH SCORE 3.0022001552E7
AT ITER 9438 NEW BEST:: SOT 204116764 SOS 40116986 HAS SOPS 40116986 HAS SOUS 29981065 HAS SOUPS 29981065 WITH SCORE 3.0021181986E7
AT ITER 9445 NEW BEST:: SOT 204096872 SOS 40101888 HAS SOPS 40101888 HAS SOUS 29961859 HAS SOUPS 29961859 WITH SCORE 3.0001960888E7
AT ITER 9447 NEW BEST:: SOT 204073273 SOS 40103451 HAS SOPS 40103451 HAS SOUS 29951562 HAS SOUPS 29951562 WITH SCORE 2.9991665451E7
AT ITER 9494 NEW BEST:: SOT 204073099 SOS 40103103 HAS SOPS 40103103 HAS SOUS 29951388 HAS SOUPS 29951388 WITH SCORE 2.9991491103E7
AT ITER 9500 NEW BEST:: SOT 204071168 SOS 40093448 HAS SOPS 40093448 HAS SOUS 29947526 HAS SOUPS 29947526 WITH SCORE 2.9987619448E7
AT ITER 9516 NEW BEST:: SOT 204070811 SOS 40092734 HAS SOPS 40092734 HAS SOUS 29946812 HAS SOUPS 29946812 WITH SCORE 2.9986904734E7
AT ITER 9525 NEW BEST:: SOT 204070258 SOS 40091628 HAS SOPS 40091628 HAS SOUS 29944565 HAS SOUPS 29944565 WITH SCORE 2.9984656628E7
AT ITER 9533 NEW BEST:: SOT 204054415 SOS 40107222 HAS SOPS 40107222 HAS SOUS 29940258 HAS SOUPS 29940258 WITH SCORE 2.9980365222E7
AT ITER 9542 NEW BEST:: SOT 204053528 SOS 40105448 HAS SOPS 40105448 HAS SOUS 29937767 HAS SOUPS 29937767 WITH SCORE 2.9977872448E7
AT ITER 9553 NEW BEST:: SOT 204051532 SOS 40103448 HAS SOPS 40103448 HAS SOUS 29935770 HAS SOUPS 29935770 WITH SCORE 2.9975873448E7
AT ITER 9561 NEW BEST:: SOT 204049069 SOS 40093705 HAS SOPS 40093705 HAS SOUS 29931487 HAS SOUPS 29931487 WITH SCORE 2.9971580705E7
AT ITER 9566 NEW BEST:: SOT 204048361 SOS 40092987 HAS SOPS 40092987 HAS SOUS 29931311 HAS SOUPS 29931311 WITH SCORE 2.9971403987E7
AT ITER 9574 NEW BEST:: SOT 204033107 SOS 40118285 HAS SOPS 40118285 HAS SOUS 29931046 HAS SOUPS 29931046 WITH SCORE 2.9971164285E7
AT ITER 9587 NEW BEST:: SOT 204032405 SOS 40118186 HAS SOPS 40118186 HAS SOUS 29930812 HAS SOUPS 29930812 WITH SCORE 2.9970930186E7
AT ITER 9591 NEW BEST:: SOT 204029639 SOS 40115537 HAS SOPS 40115537 HAS SOUS 29928164 HAS SOUPS 29928164 WITH SCORE 2.9968279537E7
AT ITER 9593 NEW BEST:: SOT 204029071 SOS 40114401 HAS SOPS 40114401 HAS SOUS 29927028 HAS SOUPS 29927028 WITH SCORE 2.9967142401E7
AT ITER 9607 NEW BEST:: SOT 204029289 SOS 40114837 HAS SOPS 40114837 HAS SOUS 29926304 HAS SOUPS 29926304 WITH SCORE 2.9966418837E7
AT ITER 9614 NEW BEST:: SOT 204027708 SOS 40099126 HAS SOPS 40099126 HAS SOUS 29921286 HAS SOUPS 29921286 WITH SCORE 2.9961385126E7
AT ITER 9620 NEW BEST:: SOT 204028638 SOS 40100986 HAS SOPS 40100986 HAS SOUS 29921183 HAS SOUPS 29921183 WITH SCORE 2.9961283986E7
AT ITER 9647 NEW BEST:: SOT 204027248 SOS 40098206 HAS SOPS 40098206 HAS SOUS 29918403 HAS SOUPS 29918403 WITH SCORE 2.9958501206E7
AT ITER 9654 NEW BEST:: SOT 204027470 SOS 40098650 HAS SOPS 40098650 HAS SOUS 29918114 HAS SOUPS 29918114 WITH SCORE 2.995821265E7
AT ITER 9663 NEW BEST:: SOT 204025112 SOS 40093934 HAS SOPS 40093934 HAS SOUS 29913398 HAS SOUPS 29913398 WITH SCORE 2.9953491934E7
AT ITER 9677 NEW BEST:: SOT 204025111 SOS 40096101 HAS SOPS 40096101 HAS SOUS 29912757 HAS SOUPS 29912757 WITH SCORE 2.9952853101E7
AT ITER 9698 NEW BEST:: SOT 204024328 SOS 40095314 HAS SOPS 40095314 HAS SOUS 29911973 HAS SOUPS 29911973 WITH SCORE 2.9952068314E7
AT ITER 9726 NEW BEST:: SOT 204024018 SOS 40095310 HAS SOPS 40095310 HAS SOUS 29911972 HAS SOUPS 29911972 WITH SCORE 2.995206731E7
AT ITER 9728 NEW BEST:: SOT 204020613 SOS 40088500 HAS SOPS 40088500 HAS SOUS 29905162 HAS SOUPS 29905162 WITH SCORE 2.99452505E7
AT ITER 9733 NEW BEST:: SOT 204018771 SOS 40084816 HAS SOPS 40084816 HAS SOUS 29901478 HAS SOUPS 29901478 WITH SCORE 2.9941562816E7
AT ITER 9746 NEW BEST:: SOT 204014786 SOS 40086464 HAS SOPS 40086464 HAS SOUS 29899548 HAS SOUPS 29899548 WITH SCORE 2.9939634464E7
AT ITER 9771 NEW BEST:: SOT 204014406 SOS 40086083 HAS SOPS 40086083 HAS SOUS 29899167 HAS SOUPS 29899167 WITH SCORE 2.9939253083E7
AT ITER 9780 NEW BEST:: SOT 204011499 SOS 40083172 HAS SOPS 40083172 HAS SOUS 29896259 HAS SOUPS 29896259 WITH SCORE 2.9936342172E7
AT ITER 9788 NEW BEST:: SOT 204012063 SOS 40081472 HAS SOPS 40081472 HAS SOUS 29896015 HAS SOUPS 29896015 WITH SCORE 2.9936096472E7
AT ITER 9796 NEW BEST:: SOT 204012063 SOS 40081472 HAS SOPS 40081472 HAS SOUS 29894950 HAS SOUPS 29894950 WITH SCORE 2.9935031472E7
AT ITER 9851 NEW BEST:: SOT 204012021 SOS 40081388 HAS SOPS 40081388 HAS SOUS 29894866 HAS SOUPS 29894866 WITH SCORE 2.9934947388E7
AT ITER 9895 NEW BEST:: SOT 204011573 SOS 40080492 HAS SOPS 40080492 HAS SOUS 29893970 HAS SOUPS 29893970 WITH SCORE 2.9934050492E7
AT ITER 9906 NEW BEST:: SOT 204011570 SOS 40080486 HAS SOPS 40080486 HAS SOUS 29893964 HAS SOUPS 29893964 WITH SCORE 2.9934044486E7
AT ITER 9908 NEW BEST:: SOT 204012411 SOS 40082168 HAS SOPS 40082168 HAS SOUS 29891960 HAS SOUPS 29891960 WITH SCORE 2.9932042168E7
AT ITER 9917 NEW BEST:: SOT 204012314 SOS 40081974 HAS SOPS 40081974 HAS SOUS 29891766 HAS SOUPS 29891766 WITH SCORE 2.9931847974E7
AT ITER 9931 NEW BEST:: SOT 204012314 SOS 40077819 HAS SOPS 40077819 HAS SOUS 29890381 HAS SOUPS 29890381 WITH SCORE 2.9930458819E7
AT ITER 9933 NEW BEST:: SOT 204009034 SOS 40075851 HAS SOPS 40075851 HAS SOUS 29888413 HAS SOUPS 29888413 WITH SCORE 2.9928488851E7
AT ITER 9944 NEW BEST:: SOT 204008721 SOS 40076160 HAS SOPS 40076160 HAS SOUS 29888412 HAS SOUPS 29888412 WITH SCORE 2.992848816E7
AT ITER 9958 NEW BEST:: SOT 204009752 SOS 40078222 HAS SOPS 40078222 HAS SOUS 29886842 HAS SOUPS 29886842 WITH SCORE 2.9926920222E7
AT ITER 9971 NEW BEST:: SOT 204008457 SOS 40075632 HAS SOPS 40075632 HAS SOUS 29885569 HAS SOUPS 29885569 WITH SCORE 2.9925644632E7
AT ITER 9996 NEW BEST:: SOT 204003431 SOS 40057473 HAS SOPS 40057473 HAS SOUS 29874027 HAS SOUPS 29874027 WITH SCORE 2.9914084473E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15182068 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16138308 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="DLCshifumi-PT-4b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-4b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472900840"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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