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.r107-tall-167814484700840.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 smartxred
Input is DLCshifumi-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814484700840
=====================================================================

--------------------
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 1678435847071

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCshifumi-PT-4b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 08:10:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 08:10:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 08:10:49] [INFO ] Load time of PNML (sax parser for PT used): 486 ms
[2023-03-10 08:10:49] [INFO ] Transformed 15015 places.
[2023-03-10 08:10:49] [INFO ] Transformed 21341 transitions.
[2023-03-10 08:10:49] [INFO ] Found NUPN structural information;
[2023-03-10 08:10:49] [INFO ] Parsed PT model containing 15015 places and 21341 transitions and 56284 arcs in 965 ms.
[2023-03-10 08:10:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 15015 places, 21341 transitions and 56284 arcs took 115 ms.
Total runtime 1110 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/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 6 NEW BEST:: SOT 205180105 SOS 40407410 HAS SOPS 40407410 HAS SOUS 31049148 HAS SOUPS 31049148 WITH SCORE 3.108955541E7
AT ITER 22 NEW BEST:: SOT 205180105 SOS 40407410 HAS SOPS 40407410 HAS SOUS 31049147 HAS SOUPS 31049147 WITH SCORE 3.108955441E7
AT ITER 43 NEW BEST:: SOT 205179375 SOS 40405951 HAS SOPS 40405951 HAS SOUS 31047688 HAS SOUPS 31047688 WITH SCORE 3.1088093951E7
AT ITER 52 NEW BEST:: SOT 205104010 SOS 40576694 HAS SOPS 40576694 HAS SOUS 30977051 HAS SOUPS 30977051 WITH SCORE 3.1017627694E7
AT ITER 66 NEW BEST:: SOT 205039343 SOS 41247706 HAS SOPS 41247706 HAS SOUS 30928498 HAS SOUPS 30928498 WITH SCORE 3.0969745706E7
AT ITER 77 NEW BEST:: SOT 205030255 SOS 41261640 HAS SOPS 41261640 HAS SOUS 30928131 HAS SOUPS 30928131 WITH SCORE 3.096939264E7
AT ITER 131 NEW BEST:: SOT 205028871 SOS 41260256 HAS SOPS 41260256 HAS SOUS 30926747 HAS SOUPS 30926747 WITH SCORE 3.0968007256E7
AT ITER 149 NEW BEST:: SOT 205028713 SOS 41259940 HAS SOPS 41259940 HAS SOUS 30925552 HAS SOUPS 30925552 WITH SCORE 3.096681194E7
AT ITER 173 NEW BEST:: SOT 205028713 SOS 41259940 HAS SOPS 41259940 HAS SOUS 30925551 HAS SOUPS 30925551 WITH SCORE 3.096681094E7
AT ITER 184 NEW BEST:: SOT 205028175 SOS 41258865 HAS SOPS 41258865 HAS SOUS 30924476 HAS SOUPS 30924476 WITH SCORE 3.0965734865E7
AT ITER 224 NEW BEST:: SOT 205025578 SOS 41245880 HAS SOPS 41245880 HAS SOUS 30919282 HAS SOUPS 30919282 WITH SCORE 3.096052788E7
AT ITER 232 NEW BEST:: SOT 205025569 SOS 41245862 HAS SOPS 41245862 HAS SOUS 30919264 HAS SOUPS 30919264 WITH SCORE 3.0960509862E7
AT ITER 247 NEW BEST:: SOT 205024795 SOS 41233238 HAS SOPS 41233238 HAS SOUS 30913753 HAS SOUPS 30913753 WITH SCORE 3.0954986238E7
AT ITER 269 NEW BEST:: SOT 205024795 SOS 41233238 HAS SOPS 41233238 HAS SOUS 30913752 HAS SOUPS 30913752 WITH SCORE 3.0954985238E7
AT ITER 276 NEW BEST:: SOT 205023121 SOS 41229890 HAS SOPS 41229890 HAS SOUS 30912077 HAS SOUPS 30912077 WITH SCORE 3.095330689E7
AT ITER 285 NEW BEST:: SOT 205020847 SOS 41227612 HAS SOPS 41227612 HAS SOUS 30909802 HAS SOUPS 30909802 WITH SCORE 3.0951029612E7
AT ITER 326 NEW BEST:: SOT 205020847 SOS 41227612 HAS SOPS 41227612 HAS SOUS 30909795 HAS SOUPS 30909795 WITH SCORE 3.0951022612E7
AT ITER 333 NEW BEST:: SOT 205020847 SOS 41224492 HAS SOPS 41224492 HAS SOUS 30908235 HAS SOUPS 30908235 WITH SCORE 3.0949459492E7
AT ITER 373 NEW BEST:: SOT 205020846 SOS 41224490 HAS SOPS 41224490 HAS SOUS 30908233 HAS SOUPS 30908233 WITH SCORE 3.094945749E7
AT ITER 383 NEW BEST:: SOT 205018798 SOS 41224944 HAS SOPS 41224944 HAS SOUS 30906185 HAS SOUPS 30906185 WITH SCORE 3.0947409944E7
AT ITER 385 NEW BEST:: SOT 205018798 SOS 41223793 HAS SOPS 41223793 HAS SOUS 30906185 HAS SOUPS 30906185 WITH SCORE 3.0947408793E7
AT ITER 393 NEW BEST:: SOT 205018901 SOS 41223501 HAS SOPS 41223501 HAS SOUS 30905893 HAS SOUPS 30905893 WITH SCORE 3.0947116501E7
AT ITER 398 NEW BEST:: SOT 205017816 SOS 41221331 HAS SOPS 41221331 HAS SOUS 30903723 HAS SOUPS 30903723 WITH SCORE 3.0944944331E7
AT ITER 402 NEW BEST:: SOT 205015784 SOS 41219295 HAS SOPS 41219295 HAS SOUS 30901690 HAS SOUPS 30901690 WITH SCORE 3.0942909295E7
AT ITER 408 NEW BEST:: SOT 205015629 SOS 41218553 HAS SOPS 41218553 HAS SOUS 30900948 HAS SOUPS 30900948 WITH SCORE 3.0942166553E7
AT ITER 448 NEW BEST:: SOT 205015380 SOS 41218304 HAS SOPS 41218304 HAS SOUS 30900699 HAS SOUPS 30900699 WITH SCORE 3.0941917304E7
AT ITER 458 NEW BEST:: SOT 205014094 SOS 41218233 HAS SOPS 41218233 HAS SOUS 30900628 HAS SOUPS 30900628 WITH SCORE 3.0941846233E7
AT ITER 466 NEW BEST:: SOT 205013598 SOS 41217985 HAS SOPS 41217985 HAS SOUS 30900380 HAS SOUPS 30900380 WITH SCORE 3.0941597985E7
AT ITER 480 NEW BEST:: SOT 205013309 SOS 41217696 HAS SOPS 41217696 HAS SOUS 30900091 HAS SOUPS 30900091 WITH SCORE 3.0941308696E7
AT ITER 495 NEW BEST:: SOT 205012312 SOS 41215703 HAS SOPS 41215703 HAS SOUS 30898617 HAS SOUPS 30898617 WITH SCORE 3.0939832703E7
AT ITER 532 NEW BEST:: SOT 205012065 SOS 41215456 HAS SOPS 41215456 HAS SOUS 30898617 HAS SOUPS 30898617 WITH SCORE 3.0939832456E7
AT ITER 548 NEW BEST:: SOT 205009658 SOS 41213045 HAS SOPS 41213045 HAS SOUS 30896209 HAS SOUPS 30896209 WITH SCORE 3.0937422045E7
AT ITER 598 NEW BEST:: SOT 205009658 SOS 41214642 HAS SOPS 41214642 HAS SOUS 30893698 HAS SOUPS 30893698 WITH SCORE 3.0934912642E7
AT ITER 602 NEW BEST:: SOT 205009658 SOS 41213018 HAS SOPS 41213018 HAS SOUS 30893698 HAS SOUPS 30893698 WITH SCORE 3.0934911018E7
AT ITER 608 NEW BEST:: SOT 205006950 SOS 41211664 HAS SOPS 41211664 HAS SOUS 30892344 HAS SOUPS 30892344 WITH SCORE 3.0933555664E7
AT ITER 614 NEW BEST:: SOT 205006580 SOS 41211475 HAS SOPS 41211475 HAS SOUS 30892158 HAS SOUPS 30892158 WITH SCORE 3.0933369475E7
AT ITER 664 NEW BEST:: SOT 205004282 SOS 41209177 HAS SOPS 41209177 HAS SOUS 30889860 HAS SOUPS 30889860 WITH SCORE 3.0931069177E7
AT ITER 678 NEW BEST:: SOT 205004282 SOS 41209177 HAS SOPS 41209177 HAS SOUS 30889543 HAS SOUPS 30889543 WITH SCORE 3.0930752177E7
AT ITER 708 NEW BEST:: SOT 205002640 SOS 41207531 HAS SOPS 41207531 HAS SOUS 30887900 HAS SOUPS 30887900 WITH SCORE 3.0929107531E7
AT ITER 718 NEW BEST:: SOT 205002640 SOS 41214212 HAS SOPS 41214212 HAS SOUS 30887018 HAS SOUPS 30887018 WITH SCORE 3.0928232212E7
AT ITER 824 NEW BEST:: SOT 205000015 SOS 41210712 HAS SOPS 41210712 HAS SOUS 30886835 HAS SOUPS 30886835 WITH SCORE 3.0928045712E7
AT ITER 827 NEW BEST:: SOT 204997256 SOS 41207949 HAS SOPS 41207949 HAS SOUS 30884075 HAS SOUPS 30884075 WITH SCORE 3.0925282949E7
AT ITER 829 NEW BEST:: SOT 204991489 SOS 41211471 HAS SOPS 41211471 HAS SOUS 30882809 HAS SOUPS 30882809 WITH SCORE 3.0924020471E7
AT ITER 847 NEW BEST:: SOT 204989319 SOS 41210382 HAS SOPS 41210382 HAS SOUS 30881723 HAS SOUPS 30881723 WITH SCORE 3.0922933382E7
AT ITER 857 NEW BEST:: SOT 204988467 SOS 41209526 HAS SOPS 41209526 HAS SOUS 30880870 HAS SOUPS 30880870 WITH SCORE 3.0922079526E7
AT ITER 881 NEW BEST:: SOT 204988147 SOS 41208886 HAS SOPS 41208886 HAS SOUS 30880550 HAS SOUPS 30880550 WITH SCORE 3.0921758886E7
AT ITER 905 NEW BEST:: SOT 204986009 SOS 41206748 HAS SOPS 41206748 HAS SOUS 30878412 HAS SOUPS 30878412 WITH SCORE 3.0919618748E7
AT ITER 968 NEW BEST:: SOT 204982508 SOS 41205383 HAS SOPS 41205383 HAS SOUS 30877047 HAS SOUPS 30877047 WITH SCORE 3.0918252383E7
AT ITER 973 NEW BEST:: SOT 204982226 SOS 41205101 HAS SOPS 41205101 HAS SOUS 30876363 HAS SOUPS 30876363 WITH SCORE 3.0917568101E7
AT ITER 1030 NEW BEST:: SOT 204981899 SOS 41205751 HAS SOPS 41205751 HAS SOUS 30876035 HAS SOUPS 30876035 WITH SCORE 3.0917240751E7
AT ITER 1038 NEW BEST:: SOT 204976565 SOS 41200417 HAS SOPS 41200417 HAS SOUS 30870701 HAS SOUPS 30870701 WITH SCORE 3.0911901417E7
AT ITER 1049 NEW BEST:: SOT 204974307 SOS 41198155 HAS SOPS 41198155 HAS SOUS 30868442 HAS SOUPS 30868442 WITH SCORE 3.0909640155E7
AT ITER 1083 NEW BEST:: SOT 204973574 SOS 41196689 HAS SOPS 41196689 HAS SOUS 30866269 HAS SOUPS 30866269 WITH SCORE 3.0907465689E7
AT ITER 1113 NEW BEST:: SOT 204971800 SOS 41195798 HAS SOPS 41195798 HAS SOUS 30865381 HAS SOUPS 30865381 WITH SCORE 3.0906576798E7
AT ITER 1123 NEW BEST:: SOT 204971480 SOS 41198028 HAS SOPS 41198028 HAS SOUS 30864740 HAS SOUPS 30864740 WITH SCORE 3.0905938028E7
AT ITER 1167 NEW BEST:: SOT 204971480 SOS 41196844 HAS SOPS 41196844 HAS SOUS 30864444 HAS SOUPS 30864444 WITH SCORE 3.0905640844E7
AT ITER 1195 NEW BEST:: SOT 204967897 SOS 41197562 HAS SOPS 41197562 HAS SOUS 30863937 HAS SOUPS 30863937 WITH SCORE 3.0905134562E7
AT ITER 1210 NEW BEST:: SOT 204966209 SOS 41421490 HAS SOPS 41421490 HAS SOUS 30860561 HAS SOUPS 30860561 WITH SCORE 3.090198249E7
AT ITER 1225 NEW BEST:: SOT 204965917 SOS 41421344 HAS SOPS 41421344 HAS SOUS 30860415 HAS SOUPS 30860415 WITH SCORE 3.0901836344E7
AT ITER 1231 NEW BEST:: SOT 204964786 SOS 41420806 HAS SOPS 41420806 HAS SOUS 30859880 HAS SOUPS 30859880 WITH SCORE 3.0901300806E7
AT ITER 1240 NEW BEST:: SOT 204963229 SOS 41417692 HAS SOPS 41417692 HAS SOUS 30856766 HAS SOUPS 30856766 WITH SCORE 3.0898183692E7
AT ITER 1257 NEW BEST:: SOT 204962438 SOS 41417811 HAS SOPS 41417811 HAS SOUS 30856756 HAS SOUPS 30856756 WITH SCORE 3.0898173811E7
AT ITER 1263 NEW BEST:: SOT 204961664 SOS 41416264 HAS SOPS 41416264 HAS SOUS 30855209 HAS SOUPS 30855209 WITH SCORE 3.0896625264E7
AT ITER 1276 NEW BEST:: SOT 204961663 SOS 41415561 HAS SOPS 41415561 HAS SOUS 30854506 HAS SOUPS 30854506 WITH SCORE 3.0895921561E7
AT ITER 1293 NEW BEST:: SOT 204960476 SOS 41415041 HAS SOPS 41415041 HAS SOUS 30853989 HAS SOUPS 30853989 WITH SCORE 3.0895404041E7
AT ITER 1294 NEW BEST:: SOT 204958880 SOS 41413441 HAS SOPS 41413441 HAS SOUS 30852392 HAS SOUPS 30852392 WITH SCORE 3.0893805441E7
AT ITER 1297 NEW BEST:: SOT 204958841 SOS 41414708 HAS SOPS 41414708 HAS SOUS 30852314 HAS SOUPS 30852314 WITH SCORE 3.0893728708E7
AT ITER 1313 NEW BEST:: SOT 204958526 SOS 41414078 HAS SOPS 41414078 HAS SOUS 30851064 HAS SOUPS 30851064 WITH SCORE 3.0892478078E7
AT ITER 1327 NEW BEST:: SOT 204957181 SOS 41412733 HAS SOPS 41412733 HAS SOUS 30849719 HAS SOUPS 30849719 WITH SCORE 3.0891131733E7
AT ITER 1346 NEW BEST:: SOT 204952222 SOS 41415479 HAS SOPS 41415479 HAS SOUS 30848028 HAS SOUPS 30848028 WITH SCORE 3.0889443479E7
AT ITER 1356 NEW BEST:: SOT 204952222 SOS 41416062 HAS SOPS 41416062 HAS SOUS 30848027 HAS SOUPS 30848027 WITH SCORE 3.0889443062E7
AT ITER 1377 NEW BEST:: SOT 204952222 SOS 41411007 HAS SOPS 41411007 HAS SOUS 30846342 HAS SOUPS 30846342 WITH SCORE 3.0887753007E7
AT ITER 1406 NEW BEST:: SOT 204950925 SOS 41409706 HAS SOPS 41409706 HAS SOUS 30845044 HAS SOUPS 30845044 WITH SCORE 3.0886453706E7
AT ITER 1414 NEW BEST:: SOT 204950170 SOS 41466253 HAS SOPS 41466253 HAS SOUS 30843533 HAS SOUPS 30843533 WITH SCORE 3.0884999253E7
AT ITER 1439 NEW BEST:: SOT 204947140 SOS 41464738 HAS SOPS 41464738 HAS SOUS 30842018 HAS SOUPS 30842018 WITH SCORE 3.0883482738E7
AT ITER 1482 NEW BEST:: SOT 204945016 SOS 41462610 HAS SOPS 41462610 HAS SOUS 30839893 HAS SOUPS 30839893 WITH SCORE 3.088135561E7
AT ITER 1495 NEW BEST:: SOT 204943476 SOS 41461840 HAS SOPS 41461840 HAS SOUS 30839123 HAS SOUPS 30839123 WITH SCORE 3.088058484E7
AT ITER 1532 NEW BEST:: SOT 204943476 SOS 41461649 HAS SOPS 41461649 HAS SOUS 30839123 HAS SOUPS 30839123 WITH SCORE 3.0880584649E7
AT ITER 1534 NEW BEST:: SOT 204943475 SOS 41461647 HAS SOPS 41461647 HAS SOUS 30839121 HAS SOUPS 30839121 WITH SCORE 3.0880582647E7
AT ITER 1547 NEW BEST:: SOT 204940717 SOS 41459052 HAS SOPS 41459052 HAS SOUS 30836526 HAS SOUPS 30836526 WITH SCORE 3.0877985052E7
AT ITER 1548 NEW BEST:: SOT 204940405 SOS 41458428 HAS SOPS 41458428 HAS SOUS 30836214 HAS SOUPS 30836214 WITH SCORE 3.0877672428E7
AT ITER 1558 NEW BEST:: SOT 204940404 SOS 41458426 HAS SOPS 41458426 HAS SOUS 30836212 HAS SOUPS 30836212 WITH SCORE 3.0877670426E7
AT ITER 1564 NEW BEST:: SOT 204939773 SOS 41457164 HAS SOPS 41457164 HAS SOUS 30834950 HAS SOUPS 30834950 WITH SCORE 3.0876407164E7
AT ITER 1581 NEW BEST:: SOT 204941167 SOS 41459952 HAS SOPS 41459952 HAS SOUS 30833589 HAS SOUPS 30833589 WITH SCORE 3.0875048952E7
AT ITER 1590 NEW BEST:: SOT 204941167 SOS 41459952 HAS SOPS 41459952 HAS SOUS 30832308 HAS SOUPS 30832308 WITH SCORE 3.0873767952E7
AT ITER 1634 NEW BEST:: SOT 204941167 SOS 41458668 HAS SOPS 41458668 HAS SOUS 30832308 HAS SOUPS 30832308 WITH SCORE 3.0873766668E7
AT ITER 1665 NEW BEST:: SOT 204938508 SOS 41456184 HAS SOPS 41456184 HAS SOUS 30829824 HAS SOUPS 30829824 WITH SCORE 3.0871280184E7
AT ITER 1668 NEW BEST:: SOT 204938508 SOS 41454368 HAS SOPS 41454368 HAS SOUS 30829824 HAS SOUPS 30829824 WITH SCORE 3.0871278368E7
AT ITER 1676 NEW BEST:: SOT 204937108 SOS 41454124 HAS SOPS 41454124 HAS SOUS 30829379 HAS SOUPS 30829379 WITH SCORE 3.0870833124E7
AT ITER 1686 NEW BEST:: SOT 204930924 SOS 41447940 HAS SOPS 41447940 HAS SOUS 30823195 HAS SOUPS 30823195 WITH SCORE 3.086464294E7
AT ITER 1697 NEW BEST:: SOT 204928979 SOS 41448895 HAS SOPS 41448895 HAS SOUS 30822865 HAS SOUPS 30822865 WITH SCORE 3.0864313895E7
AT ITER 1705 NEW BEST:: SOT 204929156 SOS 41449249 HAS SOPS 41449249 HAS SOUS 30822049 HAS SOUPS 30822049 WITH SCORE 3.0863498249E7
AT ITER 1706 NEW BEST:: SOT 204928546 SOS 41448639 HAS SOPS 41448639 HAS SOUS 30821439 HAS SOUPS 30821439 WITH SCORE 3.0862887639E7
AT ITER 1798 NEW BEST:: SOT 204928546 SOS 41448639 HAS SOPS 41448639 HAS SOUS 30820585 HAS SOUPS 30820585 WITH SCORE 3.0862033639E7
AT ITER 1826 NEW BEST:: SOT 204927343 SOS 41448629 HAS SOPS 41448629 HAS SOUS 30819690 HAS SOUPS 30819690 WITH SCORE 3.0861138629E7
AT ITER 1851 NEW BEST:: SOT 204928288 SOS 41456476 HAS SOPS 41456476 HAS SOUS 30819592 HAS SOUPS 30819592 WITH SCORE 3.0861048476E7
AT ITER 1852 NEW BEST:: SOT 204927312 SOS 41454525 HAS SOPS 41454525 HAS SOUS 30817641 HAS SOUPS 30817641 WITH SCORE 3.0859095525E7
AT ITER 1879 NEW BEST:: SOT 204926261 SOS 41452424 HAS SOPS 41452424 HAS SOUS 30815540 HAS SOUPS 30815540 WITH SCORE 3.0856992424E7
AT ITER 1886 NEW BEST:: SOT 204926261 SOS 41453099 HAS SOPS 41453099 HAS SOUS 30815539 HAS SOUPS 30815539 WITH SCORE 3.0856992099E7
AT ITER 1891 NEW BEST:: SOT 204924218 SOS 41654337 HAS SOPS 41654337 HAS SOUS 30813278 HAS SOUPS 30813278 WITH SCORE 3.0854932337E7
AT ITER 1919 NEW BEST:: SOT 204923051 SOS 41648502 HAS SOPS 41648502 HAS SOUS 30810944 HAS SOUPS 30810944 WITH SCORE 3.0852592502E7
AT ITER 1949 NEW BEST:: SOT 204923050 SOS 41648500 HAS SOPS 41648500 HAS SOUS 30810942 HAS SOUPS 30810942 WITH SCORE 3.08525905E7
AT ITER 1960 NEW BEST:: SOT 204923865 SOS 41650130 HAS SOPS 41650130 HAS SOUS 30810742 HAS SOUPS 30810742 WITH SCORE 3.085239213E7
AT ITER 1969 NEW BEST:: SOT 204923418 SOS 41649236 HAS SOPS 41649236 HAS SOUS 30809848 HAS SOUPS 30809848 WITH SCORE 3.0851497236E7
AT ITER 2010 NEW BEST:: SOT 204922561 SOS 41647523 HAS SOPS 41647523 HAS SOUS 30808135 HAS SOUPS 30808135 WITH SCORE 3.0849782523E7
AT ITER 2056 NEW BEST:: SOT 204922637 SOS 41647675 HAS SOPS 41647675 HAS SOUS 30807172 HAS SOUPS 30807172 WITH SCORE 3.0848819675E7
AT ITER 2059 NEW BEST:: SOT 204922463 SOS 41647327 HAS SOPS 41647327 HAS SOUS 30806824 HAS SOUPS 30806824 WITH SCORE 3.0848471327E7
AT ITER 2078 NEW BEST:: SOT 204922463 SOS 41646216 HAS SOPS 41646216 HAS SOUS 30806824 HAS SOUPS 30806824 WITH SCORE 3.0848470216E7
AT ITER 2096 NEW BEST:: SOT 204918857 SOS 41644413 HAS SOPS 41644413 HAS SOUS 30805021 HAS SOUPS 30805021 WITH SCORE 3.0846665413E7
AT ITER 2110 NEW BEST:: SOT 204918606 SOS 41643911 HAS SOPS 41643911 HAS SOUS 30804770 HAS SOUPS 30804770 WITH SCORE 3.0846413911E7
AT ITER 2119 NEW BEST:: SOT 204916498 SOS 41641869 HAS SOPS 41641869 HAS SOUS 30802662 HAS SOUPS 30802662 WITH SCORE 3.0844303869E7
AT ITER 2133 NEW BEST:: SOT 204915793 SOS 41640460 HAS SOPS 41640460 HAS SOUS 30801511 HAS SOUPS 30801511 WITH SCORE 3.084315146E7
AT ITER 2141 NEW BEST:: SOT 204915793 SOS 41640460 HAS SOPS 41640460 HAS SOUS 30801510 HAS SOUPS 30801510 WITH SCORE 3.084315046E7
AT ITER 2147 NEW BEST:: SOT 204912311 SOS 41641485 HAS SOPS 41641485 HAS SOUS 30801178 HAS SOUPS 30801178 WITH SCORE 3.0842819485E7
AT ITER 2150 NEW BEST:: SOT 204896784 SOS 41632887 HAS SOPS 41632887 HAS SOUS 30790660 HAS SOUPS 30790660 WITH SCORE 3.0832292887E7
AT ITER 2152 NEW BEST:: SOT 204892772 SOS 41624863 HAS SOPS 41624863 HAS SOUS 30783945 HAS SOUPS 30783945 WITH SCORE 3.0825569863E7
AT ITER 2159 NEW BEST:: SOT 204892769 SOS 41624857 HAS SOPS 41624857 HAS SOUS 30783939 HAS SOUPS 30783939 WITH SCORE 3.0825563857E7
AT ITER 2180 NEW BEST:: SOT 204891860 SOS 41623040 HAS SOPS 41623040 HAS SOUS 30782122 HAS SOUPS 30782122 WITH SCORE 3.082374504E7
AT ITER 2194 NEW BEST:: SOT 204891860 SOS 41622125 HAS SOPS 41622125 HAS SOUS 30782122 HAS SOUPS 30782122 WITH SCORE 3.0823744125E7
AT ITER 2196 NEW BEST:: SOT 204889919 SOS 41620184 HAS SOPS 41620184 HAS SOUS 30780181 HAS SOUPS 30780181 WITH SCORE 3.0821801184E7
AT ITER 2210 NEW BEST:: SOT 204888933 SOS 41619318 HAS SOPS 41619318 HAS SOUS 30779195 HAS SOUPS 30779195 WITH SCORE 3.0820814318E7
AT ITER 2233 NEW BEST:: SOT 204887255 SOS 41618116 HAS SOPS 41618116 HAS SOUS 30777993 HAS SOUPS 30777993 WITH SCORE 3.0819611116E7
AT ITER 2241 NEW BEST:: SOT 204887689 SOS 41618984 HAS SOPS 41618984 HAS SOUS 30777411 HAS SOUPS 30777411 WITH SCORE 3.0819029984E7
AT ITER 2243 NEW BEST:: SOT 204886905 SOS 41617417 HAS SOPS 41617417 HAS SOUS 30775844 HAS SOUPS 30775844 WITH SCORE 3.0817461417E7
AT ITER 2246 NEW BEST:: SOT 204870437 SOS 41648151 HAS SOPS 41648151 HAS SOUS 30773033 HAS SOUPS 30773033 WITH SCORE 3.0814681151E7
AT ITER 2248 NEW BEST:: SOT 204869533 SOS 41647751 HAS SOPS 41647751 HAS SOUS 30772633 HAS SOUPS 30772633 WITH SCORE 3.0814280751E7
AT ITER 2263 NEW BEST:: SOT 204868307 SOS 41644073 HAS SOPS 41644073 HAS SOUS 30770794 HAS SOUPS 30770794 WITH SCORE 3.0812438073E7
AT ITER 2266 NEW BEST:: SOT 204865994 SOS 41641760 HAS SOPS 41641760 HAS SOUS 30768481 HAS SOUPS 30768481 WITH SCORE 3.081012276E7
AT ITER 2280 NEW BEST:: SOT 204865994 SOS 41641760 HAS SOPS 41641760 HAS SOUS 30768259 HAS SOUPS 30768259 WITH SCORE 3.080990076E7
AT ITER 2296 NEW BEST:: SOT 204865994 SOS 41640996 HAS SOPS 41640996 HAS SOUS 30768259 HAS SOUPS 30768259 WITH SCORE 3.0809899996E7
AT ITER 2322 NEW BEST:: SOT 204865441 SOS 41640522 HAS SOPS 41640522 HAS SOUS 30767746 HAS SOUPS 30767746 WITH SCORE 3.0809386522E7
AT ITER 2343 NEW BEST:: SOT 204865099 SOS 41639838 HAS SOPS 41639838 HAS SOUS 30767404 HAS SOUPS 30767404 WITH SCORE 3.0809043838E7
AT ITER 2373 NEW BEST:: SOT 204864601 SOS 41600496 HAS SOPS 41600496 HAS SOUS 30766408 HAS SOUPS 30766408 WITH SCORE 3.0808008496E7
AT ITER 2383 NEW BEST:: SOT 204864489 SOS 41600384 HAS SOPS 41600384 HAS SOUS 30766408 HAS SOUPS 30766408 WITH SCORE 3.0808008384E7
AT ITER 2388 NEW BEST:: SOT 204862162 SOS 41598057 HAS SOPS 41598057 HAS SOUS 30764081 HAS SOUPS 30764081 WITH SCORE 3.0805679057E7
AT ITER 2402 NEW BEST:: SOT 204860927 SOS 41596910 HAS SOPS 41596910 HAS SOUS 30762934 HAS SOUPS 30762934 WITH SCORE 3.080453091E7
AT ITER 2413 NEW BEST:: SOT 204860927 SOS 41596910 HAS SOPS 41596910 HAS SOUS 30762933 HAS SOUPS 30762933 WITH SCORE 3.080452991E7
AT ITER 2424 NEW BEST:: SOT 204858599 SOS 41594851 HAS SOPS 41594851 HAS SOUS 30760756 HAS SOUPS 30760756 WITH SCORE 3.0802350851E7
AT ITER 2427 NEW BEST:: SOT 204859481 SOS 41596615 HAS SOPS 41596615 HAS SOUS 30759008 HAS SOUPS 30759008 WITH SCORE 3.0800604615E7
AT ITER 2429 NEW BEST:: SOT 204858859 SOS 41600959 HAS SOPS 41600959 HAS SOUS 30757763 HAS SOUPS 30757763 WITH SCORE 3.0799363959E7
AT ITER 2438 NEW BEST:: SOT 204856420 SOS 41596081 HAS SOPS 41596081 HAS SOUS 30752317 HAS SOUPS 30752317 WITH SCORE 3.0793913081E7
AT ITER 2455 NEW BEST:: SOT 204839777 SOS 41616702 HAS SOPS 41616702 HAS SOUS 30747494 HAS SOUPS 30747494 WITH SCORE 3.0789110702E7
AT ITER 2470 NEW BEST:: SOT 204836555 SOS 41612406 HAS SOPS 41612406 HAS SOUS 30745589 HAS SOUPS 30745589 WITH SCORE 3.0787201406E7
AT ITER 2500 NEW BEST:: SOT 204834010 SOS 41609857 HAS SOPS 41609857 HAS SOUS 30743043 HAS SOUPS 30743043 WITH SCORE 3.0784652857E7
AT ITER 2530 NEW BEST:: SOT 204830840 SOS 41603517 HAS SOPS 41603517 HAS SOUS 30736703 HAS SOUPS 30736703 WITH SCORE 3.0778306517E7
AT ITER 2565 NEW BEST:: SOT 204830839 SOS 41603515 HAS SOPS 41603515 HAS SOUS 30736701 HAS SOUPS 30736701 WITH SCORE 3.0778304515E7
AT ITER 2567 NEW BEST:: SOT 204830762 SOS 41603361 HAS SOPS 41603361 HAS SOUS 30734190 HAS SOUPS 30734190 WITH SCORE 3.0775793361E7
AT ITER 2605 NEW BEST:: SOT 204829714 SOS 41602240 HAS SOPS 41602240 HAS SOUS 30732619 HAS SOUPS 30732619 WITH SCORE 3.077422124E7
AT ITER 2675 NEW BEST:: SOT 204829274 SOS 41601360 HAS SOPS 41601360 HAS SOUS 30731739 HAS SOUPS 30731739 WITH SCORE 3.077334036E7
AT ITER 2706 NEW BEST:: SOT 204827356 SOS 41597524 HAS SOPS 41597524 HAS SOUS 30730247 HAS SOUPS 30730247 WITH SCORE 3.0771844524E7
AT ITER 2742 NEW BEST:: SOT 204826354 SOS 41595521 HAS SOPS 41595521 HAS SOUS 30728244 HAS SOUPS 30728244 WITH SCORE 3.0769839521E7
AT ITER 2747 NEW BEST:: SOT 204826354 SOS 41595521 HAS SOPS 41595521 HAS SOUS 30727643 HAS SOUPS 30727643 WITH SCORE 3.0769238521E7
AT ITER 2761 NEW BEST:: SOT 204826270 SOS 41595353 HAS SOPS 41595353 HAS SOUS 30727559 HAS SOUPS 30727559 WITH SCORE 3.0769154353E7
AT ITER 2768 NEW BEST:: SOT 204826144 SOS 41595101 HAS SOPS 41595101 HAS SOUS 30726730 HAS SOUPS 30726730 WITH SCORE 3.0768325101E7
AT ITER 2800 NEW BEST:: SOT 204825299 SOS 41594698 HAS SOPS 41594698 HAS SOUS 30726327 HAS SOUPS 30726327 WITH SCORE 3.0767921698E7
AT ITER 2814 NEW BEST:: SOT 204824929 SOS 41594513 HAS SOPS 41594513 HAS SOUS 30726142 HAS SOUPS 30726142 WITH SCORE 3.0767736513E7
AT ITER 2856 NEW BEST:: SOT 204822801 SOS 41592381 HAS SOPS 41592381 HAS SOUS 30724013 HAS SOUPS 30724013 WITH SCORE 3.0765605381E7
AT ITER 2862 NEW BEST:: SOT 204821770 SOS 41600491 HAS SOPS 41600491 HAS SOUS 30721950 HAS SOUPS 30721950 WITH SCORE 3.0763550491E7
AT ITER 2867 NEW BEST:: SOT 204821770 SOS 41600076 HAS SOPS 41600076 HAS SOUS 30721535 HAS SOUPS 30721535 WITH SCORE 3.0763135076E7
AT ITER 2926 NEW BEST:: SOT 204818363 SOS 41595374 HAS SOPS 41595374 HAS SOUS 30718128 HAS SOUPS 30718128 WITH SCORE 3.0759723374E7
AT ITER 2931 NEW BEST:: SOT 204817409 SOS 41594918 HAS SOPS 41594918 HAS SOUS 30713410 HAS SOUPS 30713410 WITH SCORE 3.0755004918E7
AT ITER 2937 NEW BEST:: SOT 204816595 SOS 41593291 HAS SOPS 41593291 HAS SOUS 30711783 HAS SOUPS 30711783 WITH SCORE 3.0753376291E7
AT ITER 2938 NEW BEST:: SOT 204815314 SOS 41590729 HAS SOPS 41590729 HAS SOUS 30709221 HAS SOUPS 30709221 WITH SCORE 3.0750811729E7
AT ITER 2942 NEW BEST:: SOT 204815964 SOS 41583674 HAS SOPS 41583674 HAS SOUS 30706581 HAS SOUPS 30706581 WITH SCORE 3.0748164674E7
AT ITER 2964 NEW BEST:: SOT 204816687 SOS 41582225 HAS SOPS 41582225 HAS SOUS 30706580 HAS SOUPS 30706580 WITH SCORE 3.0748162225E7
AT ITER 3002 NEW BEST:: SOT 204815135 SOS 41577569 HAS SOPS 41577569 HAS SOUS 30704252 HAS SOUPS 30704252 WITH SCORE 3.0745829569E7
AT ITER 3008 NEW BEST:: SOT 204813336 SOS 41573971 HAS SOPS 41573971 HAS SOUS 30700654 HAS SOUPS 30700654 WITH SCORE 3.0742227971E7
AT ITER 3010 NEW BEST:: SOT 204813452 SOS 41573136 HAS SOPS 41573136 HAS SOUS 30699819 HAS SOUPS 30699819 WITH SCORE 3.0741392136E7
AT ITER 3015 NEW BEST:: SOT 204809399 SOS 41575773 HAS SOPS 41575773 HAS SOUS 30699347 HAS SOUPS 30699347 WITH SCORE 3.0740922773E7
AT ITER 3023 NEW BEST:: SOT 204806989 SOS 41574786 HAS SOPS 41574786 HAS SOUS 30697650 HAS SOUPS 30697650 WITH SCORE 3.0739224786E7
AT ITER 3080 NEW BEST:: SOT 204806806 SOS 41574421 HAS SOPS 41574421 HAS SOUS 30697285 HAS SOUPS 30697285 WITH SCORE 3.0738859421E7
AT ITER 3090 NEW BEST:: SOT 204805984 SOS 41572777 HAS SOPS 41572777 HAS SOUS 30696052 HAS SOUPS 30696052 WITH SCORE 3.0737624777E7
AT ITER 3092 NEW BEST:: SOT 204788559 SOS 41593422 HAS SOPS 41593422 HAS SOUS 30692998 HAS SOUPS 30692998 WITH SCORE 3.0734591422E7
AT ITER 3115 NEW BEST:: SOT 204787826 SOS 41591957 HAS SOPS 41591957 HAS SOUS 30691533 HAS SOUPS 30691533 WITH SCORE 3.0733124957E7
AT ITER 3122 NEW BEST:: SOT 204784977 SOS 41577712 HAS SOPS 41577712 HAS SOUS 30685835 HAS SOUPS 30685835 WITH SCORE 3.0727412712E7
AT ITER 3158 NEW BEST:: SOT 204783562 SOS 41574882 HAS SOPS 41574882 HAS SOUS 30683005 HAS SOUPS 30683005 WITH SCORE 3.0724579882E7
AT ITER 3163 NEW BEST:: SOT 204783561 SOS 41575282 HAS SOPS 41575282 HAS SOUS 30683003 HAS SOUPS 30683003 WITH SCORE 3.0724578282E7
AT ITER 3173 NEW BEST:: SOT 204781031 SOS 41572752 HAS SOPS 41572752 HAS SOUS 30680473 HAS SOUPS 30680473 WITH SCORE 3.0722045752E7
AT ITER 3193 NEW BEST:: SOT 204772324 SOS 41586068 HAS SOPS 41586068 HAS SOUS 30679707 HAS SOUPS 30679707 WITH SCORE 3.0721293068E7
AT ITER 3196 NEW BEST:: SOT 204767260 SOS 41578505 HAS SOPS 41578505 HAS SOUS 30672114 HAS SOUPS 30672114 WITH SCORE 3.0713692505E7
AT ITER 3225 NEW BEST:: SOT 204766365 SOS 41576715 HAS SOPS 41576715 HAS SOUS 30671219 HAS SOUPS 30671219 WITH SCORE 3.0712795715E7
AT ITER 3237 NEW BEST:: SOT 204764848 SOS 41575194 HAS SOPS 41575194 HAS SOUS 30669701 HAS SOUPS 30669701 WITH SCORE 3.0711276194E7
AT ITER 3241 NEW BEST:: SOT 204764848 SOS 41572892 HAS SOPS 41572892 HAS SOUS 30668550 HAS SOUPS 30668550 WITH SCORE 3.0710122892E7
AT ITER 3243 NEW BEST:: SOT 204763816 SOS 41570828 HAS SOPS 41570828 HAS SOUS 30666486 HAS SOUPS 30666486 WITH SCORE 3.0708056828E7
AT ITER 3247 NEW BEST:: SOT 204763816 SOS 41570592 HAS SOPS 41570592 HAS SOUS 30666250 HAS SOUPS 30666250 WITH SCORE 3.0707820592E7
AT ITER 3281 NEW BEST:: SOT 204761267 SOS 41568043 HAS SOPS 41568043 HAS SOUS 30663701 HAS SOUPS 30663701 WITH SCORE 3.0705269043E7
AT ITER 3284 NEW BEST:: SOT 204761266 SOS 41567760 HAS SOPS 41567760 HAS SOUS 30663418 HAS SOUPS 30663418 WITH SCORE 3.070498576E7
AT ITER 3313 NEW BEST:: SOT 204760030 SOS 41566565 HAS SOPS 41566565 HAS SOUS 30661492 HAS SOUPS 30661492 WITH SCORE 3.0703058565E7
AT ITER 3320 NEW BEST:: SOT 204750317 SOS 41559501 HAS SOPS 41559501 HAS SOUS 30654428 HAS SOUPS 30654428 WITH SCORE 3.0695987501E7
AT ITER 3327 NEW BEST:: SOT 204747929 SOS 41557109 HAS SOPS 41557109 HAS SOUS 30652039 HAS SOUPS 30652039 WITH SCORE 3.0693596109E7
AT ITER 3348 NEW BEST:: SOT 204747929 SOS 41557109 HAS SOPS 41557109 HAS SOUS 30651862 HAS SOUPS 30651862 WITH SCORE 3.0693419109E7
AT ITER 3353 NEW BEST:: SOT 204746760 SOS 41556569 HAS SOPS 41556569 HAS SOUS 30649211 HAS SOUPS 30649211 WITH SCORE 3.0690767569E7
AT ITER 3377 NEW BEST:: SOT 204747681 SOS 41556229 HAS SOPS 41556229 HAS SOUS 30649041 HAS SOUPS 30649041 WITH SCORE 3.0690597229E7
AT ITER 3378 NEW BEST:: SOT 204747680 SOS 41556642 HAS SOPS 41556642 HAS SOUS 30649039 HAS SOUPS 30649039 WITH SCORE 3.0690595642E7
AT ITER 3411 NEW BEST:: SOT 204745177 SOS 41544127 HAS SOPS 41544127 HAS SOUS 30644033 HAS SOUPS 30644033 WITH SCORE 3.0685577127E7
AT ITER 3430 NEW BEST:: SOT 204745177 SOS 41544092 HAS SOPS 41544092 HAS SOUS 30643998 HAS SOUPS 30643998 WITH SCORE 3.0685542092E7
AT ITER 3495 NEW BEST:: SOT 204745177 SOS 41544979 HAS SOPS 41544979 HAS SOUS 30643997 HAS SOUPS 30643997 WITH SCORE 3.0685541979E7
AT ITER 3504 NEW BEST:: SOT 204745377 SOS 41545379 HAS SOPS 41545379 HAS SOUS 30642705 HAS SOUPS 30642705 WITH SCORE 3.0684250379E7
AT ITER 3506 NEW BEST:: SOT 204729173 SOS 41563104 HAS SOPS 41563104 HAS SOUS 30638538 HAS SOUPS 30638538 WITH SCORE 3.0680101104E7
AT ITER 3535 NEW BEST:: SOT 204728407 SOS 41563100 HAS SOPS 41563100 HAS SOUS 30637771 HAS SOUPS 30637771 WITH SCORE 3.06793341E7
AT ITER 3546 NEW BEST:: SOT 204726933 SOS 41561622 HAS SOPS 41561622 HAS SOUS 30636296 HAS SOUPS 30636296 WITH SCORE 3.0677857622E7
AT ITER 3560 NEW BEST:: SOT 204723506 SOS 41560270 HAS SOPS 41560270 HAS SOUS 30634944 HAS SOUPS 30634944 WITH SCORE 3.067650427E7
AT ITER 3575 NEW BEST:: SOT 204722108 SOS 41559068 HAS SOPS 41559068 HAS SOUS 30633742 HAS SOUPS 30633742 WITH SCORE 3.0675301068E7
AT ITER 3588 NEW BEST:: SOT 204721670 SOS 41558193 HAS SOPS 41558193 HAS SOUS 30632867 HAS SOUPS 30632867 WITH SCORE 3.0674425193E7
AT ITER 3598 NEW BEST:: SOT 204719583 SOS 41556102 HAS SOPS 41556102 HAS SOUS 30630779 HAS SOUPS 30630779 WITH SCORE 3.0672335102E7
AT ITER 3634 NEW BEST:: SOT 204717863 SOS 41552662 HAS SOPS 41552662 HAS SOUS 30626581 HAS SOUPS 30626581 WITH SCORE 3.0668133662E7
AT ITER 3640 NEW BEST:: SOT 204558038 SOS 41690838 HAS SOPS 41690838 HAS SOUS 30476854 HAS SOUPS 30476854 WITH SCORE 3.0518544838E7
AT ITER 3644 NEW BEST:: SOT 204557764 SOS 41690564 HAS SOPS 41690564 HAS SOUS 30476854 HAS SOUPS 30476854 WITH SCORE 3.0518544564E7
AT ITER 3676 NEW BEST:: SOT 204556993 SOS 41689023 HAS SOPS 41689023 HAS SOUS 30475313 HAS SOUPS 30475313 WITH SCORE 3.0517002023E7
AT ITER 3679 NEW BEST:: SOT 204554327 SOS 41686586 HAS SOPS 41686586 HAS SOUS 30472876 HAS SOUPS 30472876 WITH SCORE 3.0514562586E7
AT ITER 3719 NEW BEST:: SOT 204552703 SOS 41684962 HAS SOPS 41684962 HAS SOUS 30471252 HAS SOUPS 30471252 WITH SCORE 3.0512936962E7
AT ITER 3726 NEW BEST:: SOT 204552703 SOS 41684962 HAS SOPS 41684962 HAS SOUS 30471031 HAS SOUPS 30471031 WITH SCORE 3.0512715962E7
AT ITER 3739 NEW BEST:: SOT 204552245 SOS 41684047 HAS SOPS 41684047 HAS SOUS 30470116 HAS SOUPS 30470116 WITH SCORE 3.0511800047E7
AT ITER 3750 NEW BEST:: SOT 204552164 SOS 41683885 HAS SOPS 41683885 HAS SOUS 30469954 HAS SOUPS 30469954 WITH SCORE 3.0511637885E7
AT ITER 3757 NEW BEST:: SOT 204549009 SOS 41670530 HAS SOPS 41670530 HAS SOUS 30464249 HAS SOUPS 30464249 WITH SCORE 3.050591953E7
AT ITER 3780 NEW BEST:: SOT 204548170 SOS 41671369 HAS SOPS 41671369 HAS SOUS 30463410 HAS SOUPS 30463410 WITH SCORE 3.0505081369E7
AT ITER 3832 NEW BEST:: SOT 204547900 SOS 41671231 HAS SOPS 41671231 HAS SOUS 30463273 HAS SOUPS 30463273 WITH SCORE 3.0504944231E7
AT ITER 3840 NEW BEST:: SOT 204548069 SOS 41668743 HAS SOPS 41668743 HAS SOUS 30462110 HAS SOUPS 30462110 WITH SCORE 3.0503778743E7
AT ITER 3841 NEW BEST:: SOT 204548069 SOS 41663547 HAS SOPS 41663547 HAS SOUS 30460378 HAS SOUPS 30460378 WITH SCORE 3.0502041547E7
AT ITER 3862 NEW BEST:: SOT 204544607 SOS 41656623 HAS SOPS 41656623 HAS SOUS 30453454 HAS SOUPS 30453454 WITH SCORE 3.0495110623E7
AT ITER 3864 NEW BEST:: SOT 204544548 SOS 41656564 HAS SOPS 41656564 HAS SOUS 30453395 HAS SOUPS 30453395 WITH SCORE 3.0495051564E7
AT ITER 3874 NEW BEST:: SOT 204541999 SOS 41648379 HAS SOPS 41648379 HAS SOUS 30449437 HAS SOUPS 30449437 WITH SCORE 3.0491085379E7
AT ITER 3878 NEW BEST:: SOT 204541082 SOS 41647462 HAS SOPS 41647462 HAS SOUS 30448520 HAS SOUPS 30448520 WITH SCORE 3.0490167462E7
AT ITER 3896 NEW BEST:: SOT 204535961 SOS 41652968 HAS SOPS 41652968 HAS SOUS 30448199 HAS SOUPS 30448199 WITH SCORE 3.0489851968E7
AT ITER 3944 NEW BEST:: SOT 204534707 SOS 41651714 HAS SOPS 41651714 HAS SOUS 30446945 HAS SOUPS 30446945 WITH SCORE 3.0488596714E7
AT ITER 3954 NEW BEST:: SOT 204534621 SOS 41652649 HAS SOPS 41652649 HAS SOUS 30446859 HAS SOUPS 30446859 WITH SCORE 3.0488511649E7
AT ITER 3964 NEW BEST:: SOT 204530723 SOS 41650700 HAS SOPS 41650700 HAS SOUS 30444910 HAS SOUPS 30444910 WITH SCORE 3.04865607E7
AT ITER 3973 NEW BEST:: SOT 204529495 SOS 41649472 HAS SOPS 41649472 HAS SOUS 30443682 HAS SOUPS 30443682 WITH SCORE 3.0485331472E7
AT ITER 3978 NEW BEST:: SOT 204495622 SOS 42285180 HAS SOPS 42285180 HAS SOUS 30422875 HAS SOUPS 30422875 WITH SCORE 3.046516018E7
AT ITER 3980 NEW BEST:: SOT 204494365 SOS 42285845 HAS SOPS 42285845 HAS SOUS 30422427 HAS SOUPS 30422427 WITH SCORE 3.0464712845E7
AT ITER 4003 NEW BEST:: SOT 204492485 SOS 42283965 HAS SOPS 42283965 HAS SOUS 30420547 HAS SOUPS 30420547 WITH SCORE 3.0462830965E7
AT ITER 4006 NEW BEST:: SOT 204488481 SOS 42279590 HAS SOPS 42279590 HAS SOUS 30416143 HAS SOUPS 30416143 WITH SCORE 3.045842259E7
AT ITER 4011 NEW BEST:: SOT 204489565 SOS 42281758 HAS SOPS 42281758 HAS SOUS 30414709 HAS SOUPS 30414709 WITH SCORE 3.0456990758E7
AT ITER 4033 NEW BEST:: SOT 204489536 SOS 42281700 HAS SOPS 42281700 HAS SOUS 30414651 HAS SOUPS 30414651 WITH SCORE 3.04569327E7
AT ITER 4042 NEW BEST:: SOT 204489369 SOS 42281366 HAS SOPS 42281366 HAS SOUS 30414317 HAS SOUPS 30414317 WITH SCORE 3.0456598366E7
AT ITER 4077 NEW BEST:: SOT 204489512 SOS 42269244 HAS SOPS 42269244 HAS SOUS 30413068 HAS SOUPS 30413068 WITH SCORE 3.0455337244E7
AT ITER 4094 NEW BEST:: SOT 204487054 SOS 42266786 HAS SOPS 42266786 HAS SOUS 30410610 HAS SOUPS 30410610 WITH SCORE 3.0452876786E7
AT ITER 4136 NEW BEST:: SOT 204485634 SOS 42266072 HAS SOPS 42266072 HAS SOUS 30409899 HAS SOUPS 30409899 WITH SCORE 3.0452165072E7
AT ITER 4176 NEW BEST:: SOT 204482704 SOS 42264607 HAS SOPS 42264607 HAS SOUS 30408434 HAS SOUPS 30408434 WITH SCORE 3.0450698607E7
AT ITER 4179 NEW BEST:: SOT 204480387 SOS 42262290 HAS SOPS 42262290 HAS SOUS 30406117 HAS SOUPS 30406117 WITH SCORE 3.044837929E7
AT ITER 4188 NEW BEST:: SOT 204463037 SOS 42325970 HAS SOPS 42325970 HAS SOUS 30405829 HAS SOUPS 30405829 WITH SCORE 3.044815497E7
AT ITER 4213 NEW BEST:: SOT 204461163 SOS 42325111 HAS SOPS 42325111 HAS SOUS 30404973 HAS SOUPS 30404973 WITH SCORE 3.0447298111E7
AT ITER 4214 NEW BEST:: SOT 204461582 SOS 42325456 HAS SOPS 42325456 HAS SOUS 30404899 HAS SOUPS 30404899 WITH SCORE 3.0447224456E7
AT ITER 4220 NEW BEST:: SOT 204461582 SOS 42324702 HAS SOPS 42324702 HAS SOUS 30404145 HAS SOUPS 30404145 WITH SCORE 3.0446469702E7
AT ITER 4225 NEW BEST:: SOT 204461582 SOS 42323482 HAS SOPS 42323482 HAS SOUS 30404145 HAS SOUPS 30404145 WITH SCORE 3.0446468482E7
AT ITER 4226 NEW BEST:: SOT 204461570 SOS 42323458 HAS SOPS 42323458 HAS SOUS 30404121 HAS SOUPS 30404121 WITH SCORE 3.0446444458E7
AT ITER 4237 NEW BEST:: SOT 204461057 SOS 42322945 HAS SOPS 42322945 HAS SOUS 30403608 HAS SOUPS 30403608 WITH SCORE 3.0445930945E7
AT ITER 4244 NEW BEST:: SOT 204459825 SOS 42321713 HAS SOPS 42321713 HAS SOUS 30402376 HAS SOUPS 30402376 WITH SCORE 3.0444697713E7
AT ITER 4249 NEW BEST:: SOT 204457368 SOS 42319256 HAS SOPS 42319256 HAS SOUS 30399919 HAS SOUPS 30399919 WITH SCORE 3.0442238256E7
AT ITER 4259 NEW BEST:: SOT 204456356 SOS 42318241 HAS SOPS 42318241 HAS SOUS 30398905 HAS SOUPS 30398905 WITH SCORE 3.0441223241E7
AT ITER 4317 NEW BEST:: SOT 204454953 SOS 42316436 HAS SOPS 42316436 HAS SOUS 30398637 HAS SOUPS 30398637 WITH SCORE 3.0440953436E7
AT ITER 4318 NEW BEST:: SOT 204453730 SOS 42310321 HAS SOPS 42310321 HAS SOUS 30396191 HAS SOUPS 30396191 WITH SCORE 3.0438501321E7
AT ITER 4389 NEW BEST:: SOT 204453296 SOS 42309887 HAS SOPS 42309887 HAS SOUS 30395323 HAS SOUPS 30395323 WITH SCORE 3.0437632887E7
AT ITER 4424 NEW BEST:: SOT 204452356 SOS 42309886 HAS SOPS 42309886 HAS SOUS 30395322 HAS SOUPS 30395322 WITH SCORE 3.0437631886E7
AT ITER 4440 NEW BEST:: SOT 204451650 SOS 42308474 HAS SOPS 42308474 HAS SOUS 30389777 HAS SOUPS 30389777 WITH SCORE 3.0432085474E7
AT ITER 4458 NEW BEST:: SOT 204450946 SOS 42309874 HAS SOPS 42309874 HAS SOUS 30389071 HAS SOUPS 30389071 WITH SCORE 3.0431380874E7
AT ITER 4476 NEW BEST:: SOT 204448679 SOS 42305340 HAS SOPS 42305340 HAS SOUS 30386804 HAS SOUPS 30386804 WITH SCORE 3.042910934E7
AT ITER 4565 NEW BEST:: SOT 204448611 SOS 42300668 HAS SOPS 42300668 HAS SOUS 30385224 HAS SOUPS 30385224 WITH SCORE 3.0427524668E7
AT ITER 4571 NEW BEST:: SOT 204287353 SOS 42697334 HAS SOPS 42697334 HAS SOUS 30235498 HAS SOUPS 30235498 WITH SCORE 3.0278195334E7
AT ITER 4584 NEW BEST:: SOT 204287023 SOS 42696674 HAS SOPS 42696674 HAS SOUS 30234838 HAS SOUPS 30234838 WITH SCORE 3.0277534674E7
AT ITER 4595 NEW BEST:: SOT 204284692 SOS 42694343 HAS SOPS 42694343 HAS SOUS 30230176 HAS SOUPS 30230176 WITH SCORE 3.0272870343E7
AT ITER 4607 NEW BEST:: SOT 204282894 SOS 42693444 HAS SOPS 42693444 HAS SOUS 30229277 HAS SOUPS 30229277 WITH SCORE 3.0271970444E7
AT ITER 4619 NEW BEST:: SOT 204282374 SOS 42692404 HAS SOPS 42692404 HAS SOUS 30228927 HAS SOUPS 30228927 WITH SCORE 3.0271619404E7
AT ITER 4627 NEW BEST:: SOT 204281378 SOS 42690910 HAS SOPS 42690910 HAS SOUS 30227931 HAS SOUPS 30227931 WITH SCORE 3.027062191E7
AT ITER 4684 NEW BEST:: SOT 204279604 SOS 42689132 HAS SOPS 42689132 HAS SOUS 30226156 HAS SOUPS 30226156 WITH SCORE 3.0268845132E7
AT ITER 4685 NEW BEST:: SOT 204276327 SOS 42685851 HAS SOPS 42685851 HAS SOUS 30222878 HAS SOUPS 30222878 WITH SCORE 3.0265563851E7
AT ITER 4753 NEW BEST:: SOT 204275345 SOS 42683887 HAS SOPS 42683887 HAS SOUS 30220914 HAS SOUPS 30220914 WITH SCORE 3.0263597887E7
AT ITER 4769 NEW BEST:: SOT 204273935 SOS 42681067 HAS SOPS 42681067 HAS SOUS 30218094 HAS SOUPS 30218094 WITH SCORE 3.0260775067E7
AT ITER 4775 NEW BEST:: SOT 204273402 SOS 42680001 HAS SOPS 42680001 HAS SOUS 30217028 HAS SOUPS 30217028 WITH SCORE 3.0259708001E7
AT ITER 4779 NEW BEST:: SOT 204273401 SOS 42679199 HAS SOPS 42679199 HAS SOUS 30216226 HAS SOUPS 30216226 WITH SCORE 3.0258905199E7
AT ITER 4785 NEW BEST:: SOT 204271313 SOS 42677111 HAS SOPS 42677111 HAS SOUS 30214138 HAS SOUPS 30214138 WITH SCORE 3.0256815111E7
AT ITER 4791 NEW BEST:: SOT 204271313 SOS 42676824 HAS SOPS 42676824 HAS SOUS 30213693 HAS SOUPS 30213693 WITH SCORE 3.0256369824E7
AT ITER 4808 NEW BEST:: SOT 204269397 SOS 42676823 HAS SOPS 42676823 HAS SOUS 30213692 HAS SOUPS 30213692 WITH SCORE 3.0256368823E7
AT ITER 4851 NEW BEST:: SOT 204269116 SOS 42676033 HAS SOPS 42676033 HAS SOUS 30212902 HAS SOUPS 30212902 WITH SCORE 3.0255578033E7
AT ITER 4853 NEW BEST:: SOT 204269115 SOS 42676031 HAS SOPS 42676031 HAS SOUS 30212900 HAS SOUPS 30212900 WITH SCORE 3.0255576031E7
AT ITER 4862 NEW BEST:: SOT 204268202 SOS 42674206 HAS SOPS 42674206 HAS SOUS 30211075 HAS SOUPS 30211075 WITH SCORE 3.0253749206E7
AT ITER 4869 NEW BEST:: SOT 204268032 SOS 42673866 HAS SOPS 42673866 HAS SOUS 30210735 HAS SOUPS 30210735 WITH SCORE 3.0253408866E7
AT ITER 4927 NEW BEST:: SOT 204266586 SOS 42674011 HAS SOPS 42674011 HAS SOUS 30210086 HAS SOUPS 30210086 WITH SCORE 3.0252760011E7
AT ITER 4928 NEW BEST:: SOT 204265965 SOS 42673390 HAS SOPS 42673390 HAS SOUS 30209465 HAS SOUPS 30209465 WITH SCORE 3.025213839E7
AT ITER 4944 NEW BEST:: SOT 204265662 SOS 42673996 HAS SOPS 42673996 HAS SOUS 30209162 HAS SOUPS 30209162 WITH SCORE 3.0251835996E7
AT ITER 4951 NEW BEST:: SOT 204265722 SOS 42674116 HAS SOPS 42674116 HAS SOUS 30208190 HAS SOUPS 30208190 WITH SCORE 3.0250864116E7
AT ITER 4998 NEW BEST:: SOT 204262075 SOS 42666822 HAS SOPS 42666822 HAS SOUS 30204625 HAS SOUPS 30204625 WITH SCORE 3.0247291822E7
AT ITER 5060 NEW BEST:: SOT 204245098 SOS 42719701 HAS SOPS 42719701 HAS SOUS 30202218 HAS SOUPS 30202218 WITH SCORE 3.0244937701E7
AT ITER 5097 NEW BEST:: SOT 204241389 SOS 42719606 HAS SOPS 42719606 HAS SOUS 30201254 HAS SOUPS 30201254 WITH SCORE 3.0243973606E7
AT ITER 5137 NEW BEST:: SOT 204241389 SOS 42719606 HAS SOPS 42719606 HAS SOUS 30200695 HAS SOUPS 30200695 WITH SCORE 3.0243414606E7
AT ITER 5142 NEW BEST:: SOT 204240009 SOS 42720165 HAS SOPS 42720165 HAS SOUS 30196967 HAS SOUPS 30196967 WITH SCORE 3.0239687165E7
AT ITER 5162 NEW BEST:: SOT 204238202 SOS 42716551 HAS SOPS 42716551 HAS SOUS 30193353 HAS SOUPS 30193353 WITH SCORE 3.0236069551E7
AT ITER 5169 NEW BEST:: SOT 204222229 SOS 42768408 HAS SOPS 42768408 HAS SOUS 30191775 HAS SOUPS 30191775 WITH SCORE 3.0234543408E7
AT ITER 5210 NEW BEST:: SOT 204221713 SOS 42767377 HAS SOPS 42767377 HAS SOUS 30190744 HAS SOUPS 30190744 WITH SCORE 3.0233511377E7
AT ITER 5228 NEW BEST:: SOT 204221712 SOS 42767375 HAS SOPS 42767375 HAS SOUS 30190742 HAS SOUPS 30190742 WITH SCORE 3.0233509375E7
AT ITER 5266 NEW BEST:: SOT 204221631 SOS 42767942 HAS SOPS 42767942 HAS SOUS 30190661 HAS SOUPS 30190661 WITH SCORE 3.0233428942E7
AT ITER 5312 NEW BEST:: SOT 204202161 SOS 42780820 HAS SOPS 42780820 HAS SOUS 30185014 HAS SOUPS 30185014 WITH SCORE 3.022779482E7
AT ITER 5369 NEW BEST:: SOT 204201459 SOS 42779416 HAS SOPS 42779416 HAS SOUS 30182483 HAS SOUPS 30182483 WITH SCORE 3.0225262416E7
AT ITER 5370 NEW BEST:: SOT 204201431 SOS 42779360 HAS SOPS 42779360 HAS SOUS 30182427 HAS SOUPS 30182427 WITH SCORE 3.022520636E7
AT ITER 5426 NEW BEST:: SOT 204201109 SOS 42778716 HAS SOPS 42778716 HAS SOUS 30182105 HAS SOUPS 30182105 WITH SCORE 3.0224883716E7
AT ITER 5438 NEW BEST:: SOT 204201319 SOS 42779792 HAS SOPS 42779792 HAS SOUS 30181643 HAS SOUPS 30181643 WITH SCORE 3.0224422792E7
AT ITER 5482 NEW BEST:: SOT 204199595 SOS 42779735 HAS SOPS 42779735 HAS SOUS 30180602 HAS SOUPS 30180602 WITH SCORE 3.0223381735E7
AT ITER 5529 NEW BEST:: SOT 204197635 SOS 42777775 HAS SOPS 42777775 HAS SOUS 30178642 HAS SOUPS 30178642 WITH SCORE 3.0221419775E7
AT ITER 5538 NEW BEST:: SOT 204194953 SOS 42777773 HAS SOPS 42777773 HAS SOUS 30178640 HAS SOUPS 30178640 WITH SCORE 3.0221417773E7
AT ITER 5543 NEW BEST:: SOT 204194451 SOS 42777773 HAS SOPS 42777773 HAS SOUS 30178138 HAS SOUPS 30178138 WITH SCORE 3.0220915773E7
AT ITER 5551 NEW BEST:: SOT 204193859 SOS 42776589 HAS SOPS 42776589 HAS SOUS 30176954 HAS SOUPS 30176954 WITH SCORE 3.0219730589E7
AT ITER 5552 NEW BEST:: SOT 204191835 SOS 42775627 HAS SOPS 42775627 HAS SOUS 30175460 HAS SOUPS 30175460 WITH SCORE 3.0218235627E7
AT ITER 5556 NEW BEST:: SOT 204190942 SOS 42773842 HAS SOPS 42773842 HAS SOUS 30173675 HAS SOUPS 30173675 WITH SCORE 3.0216448842E7
AT ITER 5559 NEW BEST:: SOT 204188893 SOS 42771793 HAS SOPS 42771793 HAS SOUS 30171626 HAS SOUPS 30171626 WITH SCORE 3.0214397793E7
AT ITER 5565 NEW BEST:: SOT 204187157 SOS 42768321 HAS SOPS 42768321 HAS SOUS 30168154 HAS SOUPS 30168154 WITH SCORE 3.0210922321E7
AT ITER 5567 NEW BEST:: SOT 204186081 SOS 42766169 HAS SOPS 42766169 HAS SOUS 30166002 HAS SOUPS 30166002 WITH SCORE 3.0208768169E7
AT ITER 5591 NEW BEST:: SOT 204185496 SOS 42765000 HAS SOPS 42765000 HAS SOUS 30164833 HAS SOUPS 30164833 WITH SCORE 3.0207598E7
AT ITER 5602 NEW BEST:: SOT 204185496 SOS 42765000 HAS SOPS 42765000 HAS SOUS 30161699 HAS SOUPS 30161699 WITH SCORE 3.0204464E7
AT ITER 5607 NEW BEST:: SOT 204181675 SOS 42763868 HAS SOPS 42763868 HAS SOUS 30160180 HAS SOUPS 30160180 WITH SCORE 3.0202943868E7
AT ITER 5608 NEW BEST:: SOT 204181675 SOS 42762448 HAS SOPS 42762448 HAS SOUS 30158760 HAS SOUPS 30158760 WITH SCORE 3.0201522448E7
AT ITER 5612 NEW BEST:: SOT 204181669 SOS 42762418 HAS SOPS 42762418 HAS SOUS 30158748 HAS SOUPS 30158748 WITH SCORE 3.0201510418E7
AT ITER 5622 NEW BEST:: SOT 204179414 SOS 42760159 HAS SOPS 42760159 HAS SOUS 30156492 HAS SOUPS 30156492 WITH SCORE 3.0199252159E7
AT ITER 5645 NEW BEST:: SOT 204178267 SOS 42759012 HAS SOPS 42759012 HAS SOUS 30155345 HAS SOUPS 30155345 WITH SCORE 3.0198104012E7
AT ITER 5662 NEW BEST:: SOT 204178267 SOS 42759012 HAS SOPS 42759012 HAS SOUS 30155344 HAS SOUPS 30155344 WITH SCORE 3.0198103012E7
AT ITER 5677 NEW BEST:: SOT 204177997 SOS 42759011 HAS SOPS 42759011 HAS SOUS 30155343 HAS SOUPS 30155343 WITH SCORE 3.0198102011E7
AT ITER 5694 NEW BEST:: SOT 204177648 SOS 42758313 HAS SOPS 42758313 HAS SOUS 30154994 HAS SOUPS 30154994 WITH SCORE 3.0197752313E7
AT ITER 5706 NEW BEST:: SOT 204176894 SOS 42757559 HAS SOPS 42757559 HAS SOUS 30154240 HAS SOUPS 30154240 WITH SCORE 3.0196997559E7
AT ITER 5723 NEW BEST:: SOT 204176894 SOS 42757559 HAS SOPS 42757559 HAS SOUS 30154239 HAS SOUPS 30154239 WITH SCORE 3.0196996559E7
AT ITER 5757 NEW BEST:: SOT 204173669 SOS 42751109 HAS SOPS 42751109 HAS SOUS 30147789 HAS SOUPS 30147789 WITH SCORE 3.0190540109E7
AT ITER 5773 NEW BEST:: SOT 204172111 SOS 42750326 HAS SOPS 42750326 HAS SOUS 30147009 HAS SOUPS 30147009 WITH SCORE 3.0189759326E7
AT ITER 5784 NEW BEST:: SOT 204171890 SOS 42750105 HAS SOPS 42750105 HAS SOUS 30147009 HAS SOUPS 30147009 WITH SCORE 3.0189759105E7
AT ITER 5821 NEW BEST:: SOT 204170884 SOS 42750101 HAS SOPS 42750101 HAS SOUS 30147008 HAS SOUPS 30147008 WITH SCORE 3.0189758101E7
AT ITER 5864 NEW BEST:: SOT 204165969 SOS 42747747 HAS SOPS 42747747 HAS SOUS 30144585 HAS SOUPS 30144585 WITH SCORE 3.0187332747E7
AT ITER 5883 NEW BEST:: SOT 204165881 SOS 42747571 HAS SOPS 42747571 HAS SOUS 30144409 HAS SOUPS 30144409 WITH SCORE 3.0187156571E7
AT ITER 5891 NEW BEST:: SOT 204163753 SOS 42745443 HAS SOPS 42745443 HAS SOUS 30142281 HAS SOUPS 30142281 WITH SCORE 3.0185026443E7
AT ITER 5892 NEW BEST:: SOT 204163058 SOS 42745259 HAS SOPS 42745259 HAS SOUS 30141988 HAS SOUPS 30141988 WITH SCORE 3.0184733259E7
AT ITER 5901 NEW BEST:: SOT 204162936 SOS 42745015 HAS SOPS 42745015 HAS SOUS 30141744 HAS SOUPS 30141744 WITH SCORE 3.0184489015E7
AT ITER 5932 NEW BEST:: SOT 204162490 SOS 42744123 HAS SOPS 42744123 HAS SOUS 30140605 HAS SOUPS 30140605 WITH SCORE 3.0183349123E7
AT ITER 5933 NEW BEST:: SOT 204161017 SOS 42743320 HAS SOPS 42743320 HAS SOUS 30139472 HAS SOUPS 30139472 WITH SCORE 3.018221532E7
AT ITER 5949 NEW BEST:: SOT 204160820 SOS 42742926 HAS SOPS 42742926 HAS SOUS 30139078 HAS SOUPS 30139078 WITH SCORE 3.0181820926E7
AT ITER 5952 NEW BEST:: SOT 204158247 SOS 42740353 HAS SOPS 42740353 HAS SOUS 30136505 HAS SOUPS 30136505 WITH SCORE 3.0179245353E7
AT ITER 5992 NEW BEST:: SOT 204157269 SOS 42739371 HAS SOPS 42739371 HAS SOUS 30135526 HAS SOUPS 30135526 WITH SCORE 3.0178265371E7
AT ITER 5997 NEW BEST:: SOT 204157269 SOS 42740231 HAS SOPS 42740231 HAS SOUS 30135524 HAS SOUPS 30135524 WITH SCORE 3.0178264231E7
AT ITER 5999 NEW BEST:: SOT 204157269 SOS 42740231 HAS SOPS 42740231 HAS SOUS 30131938 HAS SOUPS 30131938 WITH SCORE 3.0174678231E7
AT ITER 6028 NEW BEST:: SOT 204157269 SOS 42741486 HAS SOPS 42741486 HAS SOUS 30131936 HAS SOUPS 30131936 WITH SCORE 3.0174677486E7
AT ITER 6058 NEW BEST:: SOT 204156457 SOS 42743093 HAS SOPS 42743093 HAS SOUS 30129104 HAS SOUPS 30129104 WITH SCORE 3.0171847093E7
AT ITER 6080 NEW BEST:: SOT 204153694 SOS 42740326 HAS SOPS 42740326 HAS SOUS 30126340 HAS SOUPS 30126340 WITH SCORE 3.0169080326E7
AT ITER 6099 NEW BEST:: SOT 204154073 SOS 42739946 HAS SOPS 42739946 HAS SOUS 30126339 HAS SOUPS 30126339 WITH SCORE 3.0169078946E7
AT ITER 6146 NEW BEST:: SOT 204151718 SOS 42737591 HAS SOPS 42737591 HAS SOUS 30123984 HAS SOUPS 30123984 WITH SCORE 3.0166721591E7
AT ITER 6156 NEW BEST:: SOT 204151718 SOS 42737591 HAS SOPS 42737591 HAS SOUS 30123983 HAS SOUPS 30123983 WITH SCORE 3.0166720591E7
AT ITER 6182 NEW BEST:: SOT 204150953 SOS 42736061 HAS SOPS 42736061 HAS SOUS 30122202 HAS SOUPS 30122202 WITH SCORE 3.0164938061E7
AT ITER 6194 NEW BEST:: SOT 204150909 SOS 42735973 HAS SOPS 42735973 HAS SOUS 30122114 HAS SOUPS 30122114 WITH SCORE 3.0164849973E7
AT ITER 6200 NEW BEST:: SOT 204148548 SOS 42733612 HAS SOPS 42733612 HAS SOUS 30119753 HAS SOUPS 30119753 WITH SCORE 3.0162486612E7
AT ITER 6255 NEW BEST:: SOT 204147559 SOS 42731634 HAS SOPS 42731634 HAS SOUS 30118764 HAS SOUPS 30118764 WITH SCORE 3.0161495634E7
AT ITER 6261 NEW BEST:: SOT 204147559 SOS 42731634 HAS SOPS 42731634 HAS SOUS 30115522 HAS SOUPS 30115522 WITH SCORE 3.0158253634E7
AT ITER 6266 NEW BEST:: SOT 204147119 SOS 42730754 HAS SOPS 42730754 HAS SOUS 30115081 HAS SOUPS 30115081 WITH SCORE 3.0157811754E7
AT ITER 6272 NEW BEST:: SOT 204146536 SOS 42729589 HAS SOPS 42729589 HAS SOUS 30113916 HAS SOUPS 30113916 WITH SCORE 3.0156645589E7
AT ITER 6278 NEW BEST:: SOT 204144105 SOS 42727158 HAS SOPS 42727158 HAS SOUS 30111485 HAS SOUPS 30111485 WITH SCORE 3.0154212158E7
AT ITER 6297 NEW BEST:: SOT 204144367 SOS 42727682 HAS SOPS 42727682 HAS SOUS 30108508 HAS SOUPS 30108508 WITH SCORE 3.0151235682E7
AT ITER 6302 NEW BEST:: SOT 204143384 SOS 42721534 HAS SOPS 42721534 HAS SOUS 30106542 HAS SOUPS 30106542 WITH SCORE 3.0149263534E7
AT ITER 6314 NEW BEST:: SOT 204143384 SOS 42721534 HAS SOPS 42721534 HAS SOUS 30106471 HAS SOUPS 30106471 WITH SCORE 3.0149192534E7
AT ITER 6328 NEW BEST:: SOT 204140909 SOS 42719734 HAS SOPS 42719734 HAS SOUS 30104671 HAS SOUPS 30104671 WITH SCORE 3.0147390734E7
AT ITER 6361 NEW BEST:: SOT 204139992 SOS 42726153 HAS SOPS 42726153 HAS SOUS 30103754 HAS SOUPS 30103754 WITH SCORE 3.0146480153E7
AT ITER 6410 NEW BEST:: SOT 204139493 SOS 42725654 HAS SOPS 42725654 HAS SOUS 30103255 HAS SOUPS 30103255 WITH SCORE 3.0145980654E7
AT ITER 6411 NEW BEST:: SOT 204138361 SOS 42725088 HAS SOPS 42725088 HAS SOUS 30102689 HAS SOUPS 30102689 WITH SCORE 3.0145414088E7
AT ITER 6421 NEW BEST:: SOT 204138315 SOS 42724996 HAS SOPS 42724996 HAS SOUS 30102597 HAS SOUPS 30102597 WITH SCORE 3.0145321996E7
AT ITER 6431 NEW BEST:: SOT 204136173 SOS 42724994 HAS SOPS 42724994 HAS SOUS 30102595 HAS SOUPS 30102595 WITH SCORE 3.0145319994E7
AT ITER 6453 NEW BEST:: SOT 204135560 SOS 42723768 HAS SOPS 42723768 HAS SOUS 30101982 HAS SOUPS 30101982 WITH SCORE 3.0144705768E7
AT ITER 6456 NEW BEST:: SOT 204134768 SOS 42722184 HAS SOPS 42722184 HAS SOUS 30101190 HAS SOUPS 30101190 WITH SCORE 3.0143912184E7
AT ITER 6494 NEW BEST:: SOT 204132786 SOS 42721189 HAS SOPS 42721189 HAS SOUS 30100198 HAS SOUPS 30100198 WITH SCORE 3.0142919189E7
AT ITER 6507 NEW BEST:: SOT 204129433 SOS 42714483 HAS SOPS 42714483 HAS SOUS 30093492 HAS SOUPS 30093492 WITH SCORE 3.0136206483E7
AT ITER 6515 NEW BEST:: SOT 204129321 SOS 42714368 HAS SOPS 42714368 HAS SOUS 30093474 HAS SOUPS 30093474 WITH SCORE 3.0136188368E7
AT ITER 6526 NEW BEST:: SOT 204128289 SOS 42712304 HAS SOPS 42712304 HAS SOUS 30092442 HAS SOUPS 30092442 WITH SCORE 3.0135154304E7
AT ITER 6528 NEW BEST:: SOT 204125972 SOS 42710091 HAS SOPS 42710091 HAS SOUS 30090125 HAS SOUPS 30090125 WITH SCORE 3.0132835091E7
AT ITER 6543 NEW BEST:: SOT 204125972 SOS 42708499 HAS SOPS 42708499 HAS SOUS 30090125 HAS SOUPS 30090125 WITH SCORE 3.0132833499E7
AT ITER 6548 NEW BEST:: SOT 204125972 SOS 42707690 HAS SOPS 42707690 HAS SOUS 30090125 HAS SOUPS 30090125 WITH SCORE 3.013283269E7
AT ITER 6550 NEW BEST:: SOT 204124684 SOS 42709886 HAS SOPS 42709886 HAS SOUS 30090008 HAS SOUPS 30090008 WITH SCORE 3.0132717886E7
AT ITER 6562 NEW BEST:: SOT 204122785 SOS 42709886 HAS SOPS 42709886 HAS SOUS 30088109 HAS SOUPS 30088109 WITH SCORE 3.0130818886E7
AT ITER 6589 NEW BEST:: SOT 204122618 SOS 42709218 HAS SOPS 42709218 HAS SOUS 30087942 HAS SOUPS 30087942 WITH SCORE 3.0130651218E7
AT ITER 6594 NEW BEST:: SOT 204121277 SOS 42707873 HAS SOPS 42707873 HAS SOUS 30086600 HAS SOUPS 30086600 WITH SCORE 3.0129307873E7
AT ITER 6601 NEW BEST:: SOT 204120312 SOS 42706908 HAS SOPS 42706908 HAS SOUS 30086600 HAS SOUPS 30086600 WITH SCORE 3.0129306908E7
AT ITER 6621 NEW BEST:: SOT 204119488 SOS 42705261 HAS SOPS 42705261 HAS SOUS 30084953 HAS SOUPS 30084953 WITH SCORE 3.0127658261E7
AT ITER 6640 NEW BEST:: SOT 204119100 SOS 42704003 HAS SOPS 42704003 HAS SOUS 30081344 HAS SOUPS 30081344 WITH SCORE 3.0124048003E7
AT ITER 6649 NEW BEST:: SOT 204118206 SOS 42702215 HAS SOPS 42702215 HAS SOUS 30079556 HAS SOUPS 30079556 WITH SCORE 3.0122258215E7
AT ITER 6684 NEW BEST:: SOT 204118059 SOS 42701921 HAS SOPS 42701921 HAS SOUS 30079262 HAS SOUPS 30079262 WITH SCORE 3.0121963921E7
AT ITER 6696 NEW BEST:: SOT 204117794 SOS 42701391 HAS SOPS 42701391 HAS SOUS 30078732 HAS SOUPS 30078732 WITH SCORE 3.0121433391E7
AT ITER 6698 NEW BEST:: SOT 204100910 SOS 42699655 HAS SOPS 42699655 HAS SOUS 30070026 HAS SOUPS 30070026 WITH SCORE 3.0112725655E7
AT ITER 6707 NEW BEST:: SOT 204102467 SOS 42702769 HAS SOPS 42702769 HAS SOUS 30069504 HAS SOUPS 30069504 WITH SCORE 3.0112206769E7
AT ITER 6708 NEW BEST:: SOT 204102091 SOS 42702017 HAS SOPS 42702017 HAS SOUS 30066694 HAS SOUPS 30066694 WITH SCORE 3.0109396017E7
AT ITER 6754 NEW BEST:: SOT 204101915 SOS 42701665 HAS SOPS 42701665 HAS SOUS 30066342 HAS SOUPS 30066342 WITH SCORE 3.0109043665E7
AT ITER 6777 NEW BEST:: SOT 204100855 SOS 42700605 HAS SOPS 42700605 HAS SOUS 30065282 HAS SOUPS 30065282 WITH SCORE 3.0107982605E7
AT ITER 6793 NEW BEST:: SOT 204099098 SOS 42698838 HAS SOPS 42698838 HAS SOUS 30065058 HAS SOUPS 30065058 WITH SCORE 3.0107756838E7
AT ITER 6850 NEW BEST:: SOT 204097839 SOS 42697579 HAS SOPS 42697579 HAS SOUS 30063799 HAS SOUPS 30063799 WITH SCORE 3.0106496579E7
AT ITER 6854 NEW BEST:: SOT 204082997 SOS 42710195 HAS SOPS 42710195 HAS SOUS 30063057 HAS SOUPS 30063057 WITH SCORE 3.0105767195E7
AT ITER 6866 NEW BEST:: SOT 204081164 SOS 42708362 HAS SOPS 42708362 HAS SOUS 30061224 HAS SOUPS 30061224 WITH SCORE 3.0103932362E7
AT ITER 6894 NEW BEST:: SOT 204080838 SOS 42707710 HAS SOPS 42707710 HAS SOUS 30060572 HAS SOUPS 30060572 WITH SCORE 3.010327971E7
AT ITER 6898 NEW BEST:: SOT 204078072 SOS 42705036 HAS SOPS 42705036 HAS SOUS 30057804 HAS SOUPS 30057804 WITH SCORE 3.0100509036E7
AT ITER 6899 NEW BEST:: SOT 204074606 SOS 42705862 HAS SOPS 42705862 HAS SOUS 30057368 HAS SOUPS 30057368 WITH SCORE 3.0100073862E7
AT ITER 6939 NEW BEST:: SOT 204074244 SOS 42706224 HAS SOPS 42706224 HAS SOUS 30056811 HAS SOUPS 30056811 WITH SCORE 3.0099517224E7
AT ITER 6940 NEW BEST:: SOT 204074095 SOS 42705927 HAS SOPS 42705927 HAS SOUS 30056514 HAS SOUPS 30056514 WITH SCORE 3.0099219927E7
AT ITER 6946 NEW BEST:: SOT 204074095 SOS 42704943 HAS SOPS 42704943 HAS SOUS 30055530 HAS SOUPS 30055530 WITH SCORE 3.0098234943E7
AT ITER 6983 NEW BEST:: SOT 204073494 SOS 42703742 HAS SOPS 42703742 HAS SOUS 30054329 HAS SOUPS 30054329 WITH SCORE 3.0097032742E7
AT ITER 7004 NEW BEST:: SOT 204073494 SOS 42703742 HAS SOPS 42703742 HAS SOUS 30054328 HAS SOUPS 30054328 WITH SCORE 3.0097031742E7
AT ITER 7009 NEW BEST:: SOT 204071343 SOS 42692987 HAS SOPS 42692987 HAS SOUS 30050026 HAS SOUPS 30050026 WITH SCORE 3.0092718987E7
AT ITER 7026 NEW BEST:: SOT 204069986 SOS 42690273 HAS SOPS 42690273 HAS SOUS 30047312 HAS SOUPS 30047312 WITH SCORE 3.0090002273E7
AT ITER 7058 NEW BEST:: SOT 204065936 SOS 42688248 HAS SOPS 42688248 HAS SOUS 30045287 HAS SOUPS 30045287 WITH SCORE 3.0087975248E7
AT ITER 7062 NEW BEST:: SOT 204066559 SOS 42689494 HAS SOPS 42689494 HAS SOUS 30044835 HAS SOUPS 30044835 WITH SCORE 3.0087524494E7
AT ITER 7103 NEW BEST:: SOT 204064561 SOS 42690523 HAS SOPS 42690523 HAS SOUS 30044711 HAS SOUPS 30044711 WITH SCORE 3.0087401523E7
AT ITER 7106 NEW BEST:: SOT 204062760 SOS 42686921 HAS SOPS 42686921 HAS SOUS 30041109 HAS SOUPS 30041109 WITH SCORE 3.0083795921E7
AT ITER 7120 NEW BEST:: SOT 204062563 SOS 42686527 HAS SOPS 42686527 HAS SOUS 30040715 HAS SOUPS 30040715 WITH SCORE 3.0083401527E7
AT ITER 7126 NEW BEST:: SOT 204062357 SOS 42686272 HAS SOPS 42686272 HAS SOUS 30040460 HAS SOUPS 30040460 WITH SCORE 3.0083146272E7
AT ITER 7134 NEW BEST:: SOT 204062946 SOS 42686349 HAS SOPS 42686349 HAS SOUS 30039948 HAS SOUPS 30039948 WITH SCORE 3.0082634349E7
AT ITER 7158 NEW BEST:: SOT 204060579 SOS 42681615 HAS SOPS 42681615 HAS SOUS 30035214 HAS SOUPS 30035214 WITH SCORE 3.0077895615E7
AT ITER 7163 NEW BEST:: SOT 204059609 SOS 42679676 HAS SOPS 42679676 HAS SOUS 30033275 HAS SOUPS 30033275 WITH SCORE 3.0075954676E7
AT ITER 7175 NEW BEST:: SOT 204059083 SOS 42679512 HAS SOPS 42679512 HAS SOUS 30032749 HAS SOUPS 30032749 WITH SCORE 3.0075428512E7
AT ITER 7181 NEW BEST:: SOT 204056729 SOS 42677158 HAS SOPS 42677158 HAS SOUS 30030395 HAS SOUPS 30030395 WITH SCORE 3.0073072158E7
AT ITER 7188 NEW BEST:: SOT 204056249 SOS 42676199 HAS SOPS 42676199 HAS SOUS 30029436 HAS SOUPS 30029436 WITH SCORE 3.0072112199E7
AT ITER 7233 NEW BEST:: SOT 204051134 SOS 42682397 HAS SOPS 42682397 HAS SOUS 30028019 HAS SOUPS 30028019 WITH SCORE 3.0070701397E7
AT ITER 7242 NEW BEST:: SOT 204050941 SOS 42682011 HAS SOPS 42682011 HAS SOUS 30027826 HAS SOUPS 30027826 WITH SCORE 3.0070508011E7
AT ITER 7252 NEW BEST:: SOT 204049725 SOS 42681811 HAS SOPS 42681811 HAS SOUS 30026882 HAS SOUPS 30026882 WITH SCORE 3.0069563811E7
AT ITER 7254 NEW BEST:: SOT 204050399 SOS 42680999 HAS SOPS 42680999 HAS SOUS 30026153 HAS SOUPS 30026153 WITH SCORE 3.0068833999E7
AT ITER 7255 NEW BEST:: SOT 204048502 SOS 42679102 HAS SOPS 42679102 HAS SOUS 30026153 HAS SOUPS 30026153 WITH SCORE 3.0068832102E7
AT ITER 7274 NEW BEST:: SOT 204048039 SOS 42678177 HAS SOPS 42678177 HAS SOUS 30025228 HAS SOUPS 30025228 WITH SCORE 3.0067906177E7
AT ITER 7276 NEW BEST:: SOT 204048039 SOS 42678177 HAS SOPS 42678177 HAS SOUS 30024828 HAS SOUPS 30024828 WITH SCORE 3.0067506177E7
AT ITER 7279 NEW BEST:: SOT 204047965 SOS 42678029 HAS SOPS 42678029 HAS SOUS 30024680 HAS SOUPS 30024680 WITH SCORE 3.0067358029E7
AT ITER 7301 NEW BEST:: SOT 204038396 SOS 42687031 HAS SOPS 42687031 HAS SOUS 30022348 HAS SOUPS 30022348 WITH SCORE 3.0065035031E7
AT ITER 7305 NEW BEST:: SOT 204037497 SOS 42687926 HAS SOPS 42687926 HAS SOUS 30022347 HAS SOUPS 30022347 WITH SCORE 3.0065034926E7
AT ITER 7320 NEW BEST:: SOT 204035140 SOS 42679420 HAS SOPS 42679420 HAS SOUS 30021787 HAS SOUPS 30021787 WITH SCORE 3.006446642E7
AT ITER 7322 NEW BEST:: SOT 204032656 SOS 42677229 HAS SOPS 42677229 HAS SOUS 30019596 HAS SOUPS 30019596 WITH SCORE 3.0062273229E7
AT ITER 7334 NEW BEST:: SOT 204030637 SOS 42676023 HAS SOPS 42676023 HAS SOUS 30017878 HAS SOUPS 30017878 WITH SCORE 3.0060554023E7
AT ITER 7351 NEW BEST:: SOT 204030637 SOS 42676023 HAS SOPS 42676023 HAS SOUS 30017483 HAS SOUPS 30017483 WITH SCORE 3.0060159023E7
AT ITER 7402 NEW BEST:: SOT 204025816 SOS 42669595 HAS SOPS 42669595 HAS SOUS 30012662 HAS SOUPS 30012662 WITH SCORE 3.0055331595E7
AT ITER 7413 NEW BEST:: SOT 204024346 SOS 42666655 HAS SOPS 42666655 HAS SOUS 30011192 HAS SOUPS 30011192 WITH SCORE 3.0053858655E7
AT ITER 7435 NEW BEST:: SOT 204024346 SOS 42666655 HAS SOPS 42666655 HAS SOUS 30008552 HAS SOUPS 30008552 WITH SCORE 3.0051218655E7
AT ITER 7452 NEW BEST:: SOT 204022526 SOS 42666653 HAS SOPS 42666653 HAS SOUS 30008550 HAS SOUPS 30008550 WITH SCORE 3.0051216653E7
AT ITER 7460 NEW BEST:: SOT 204022200 SOS 42666001 HAS SOPS 42666001 HAS SOUS 30007898 HAS SOUPS 30007898 WITH SCORE 3.0050564001E7
AT ITER 7468 NEW BEST:: SOT 204022791 SOS 42667183 HAS SOPS 42667183 HAS SOUS 30005511 HAS SOUPS 30005511 WITH SCORE 3.0048178183E7
AT ITER 7498 NEW BEST:: SOT 204017685 SOS 42371312 HAS SOPS 42371312 HAS SOUS 29997543 HAS SOUPS 29997543 WITH SCORE 3.0039914312E7
AT ITER 7509 NEW BEST:: SOT 204014241 SOS 42364424 HAS SOPS 42364424 HAS SOUS 29990655 HAS SOUPS 29990655 WITH SCORE 3.0033019424E7
AT ITER 7571 NEW BEST:: SOT 204012512 SOS 42362695 HAS SOPS 42362695 HAS SOUS 29988926 HAS SOUPS 29988926 WITH SCORE 3.0031288695E7
AT ITER 7588 NEW BEST:: SOT 204011345 SOS 42348399 HAS SOPS 42348399 HAS SOUS 29983798 HAS SOUPS 29983798 WITH SCORE 3.0026146399E7
AT ITER 7603 NEW BEST:: SOT 204013356 SOS 42345311 HAS SOPS 42345311 HAS SOUS 29983439 HAS SOUPS 29983439 WITH SCORE 3.0025784311E7
AT ITER 7640 NEW BEST:: SOT 204013356 SOS 42344802 HAS SOPS 42344802 HAS SOUS 29983439 HAS SOUPS 29983439 WITH SCORE 3.0025783802E7
AT ITER 7709 NEW BEST:: SOT 204012946 SOS 42347672 HAS SOPS 42347672 HAS SOUS 29983029 HAS SOUPS 29983029 WITH SCORE 3.0025376672E7
AT ITER 7721 NEW BEST:: SOT 204010294 SOS 42342368 HAS SOPS 42342368 HAS SOUS 29977725 HAS SOUPS 29977725 WITH SCORE 3.0020067368E7
AT ITER 7749 NEW BEST:: SOT 204006979 SOS 42335738 HAS SOPS 42335738 HAS SOUS 29971095 HAS SOUPS 29971095 WITH SCORE 3.0013430738E7
AT ITER 7756 NEW BEST:: SOT 204006979 SOS 42335738 HAS SOPS 42335738 HAS SOUS 29970130 HAS SOUPS 29970130 WITH SCORE 3.0012465738E7
AT ITER 7759 NEW BEST:: SOT 204005633 SOS 42331068 HAS SOPS 42331068 HAS SOUS 29967470 HAS SOUPS 29967470 WITH SCORE 3.0009801068E7
AT ITER 7771 NEW BEST:: SOT 204005009 SOS 42329820 HAS SOPS 42329820 HAS SOUS 29965104 HAS SOUPS 29965104 WITH SCORE 3.000743382E7
AT ITER 7778 NEW BEST:: SOT 204002859 SOS 42325520 HAS SOPS 42325520 HAS SOUS 29960804 HAS SOUPS 29960804 WITH SCORE 3.000312952E7
AT ITER 7828 NEW BEST:: SOT 204002859 SOS 42324614 HAS SOPS 42324614 HAS SOUS 29960804 HAS SOUPS 29960804 WITH SCORE 3.0003128614E7
AT ITER 7830 NEW BEST:: SOT 204002629 SOS 42298198 HAS SOPS 42298198 HAS SOUS 29960535 HAS SOUPS 29960535 WITH SCORE 3.0002833198E7
AT ITER 7839 NEW BEST:: SOT 204002628 SOS 42298196 HAS SOPS 42298196 HAS SOUS 29960533 HAS SOUPS 29960533 WITH SCORE 3.0002831196E7
AT ITER 7847 NEW BEST:: SOT 204002121 SOS 42298502 HAS SOPS 42298502 HAS SOUS 29960466 HAS SOUPS 29960466 WITH SCORE 3.0002764502E7
AT ITER 7851 NEW BEST:: SOT 203999839 SOS 42293938 HAS SOPS 42293938 HAS SOUS 29955902 HAS SOUPS 29955902 WITH SCORE 2.9998195938E7
AT ITER 7876 NEW BEST:: SOT 203999286 SOS 42292833 HAS SOPS 42292833 HAS SOUS 29954797 HAS SOUPS 29954797 WITH SCORE 2.9997089833E7
AT ITER 7886 NEW BEST:: SOT 203995131 SOS 42290823 HAS SOPS 42290823 HAS SOUS 29952742 HAS SOUPS 29952742 WITH SCORE 2.9995032823E7
AT ITER 7931 NEW BEST:: SOT 203993276 SOS 42288968 HAS SOPS 42288968 HAS SOUS 29950887 HAS SOUPS 29950887 WITH SCORE 2.9993175968E7
AT ITER 7982 NEW BEST:: SOT 203992513 SOS 42287442 HAS SOPS 42287442 HAS SOUS 29946974 HAS SOUPS 29946974 WITH SCORE 2.9989261442E7
AT ITER 8002 NEW BEST:: SOT 203992027 SOS 42288406 HAS SOPS 42288406 HAS SOUS 29946486 HAS SOUPS 29946486 WITH SCORE 2.9988774406E7
AT ITER 8017 NEW BEST:: SOT 203991995 SOS 42288342 HAS SOPS 42288342 HAS SOUS 29946422 HAS SOUPS 29946422 WITH SCORE 2.9988710342E7
AT ITER 8027 NEW BEST:: SOT 203991223 SOS 42286798 HAS SOPS 42286798 HAS SOUS 29945650 HAS SOUPS 29945650 WITH SCORE 2.9987936798E7
AT ITER 8034 NEW BEST:: SOT 203991336 SOS 42285484 HAS SOPS 42285484 HAS SOUS 29945049 HAS SOUPS 29945049 WITH SCORE 2.9987334484E7
AT ITER 8036 NEW BEST:: SOT 203989395 SOS 42283539 HAS SOPS 42283539 HAS SOUS 29943107 HAS SOUPS 29943107 WITH SCORE 2.9985390539E7
AT ITER 8045 NEW BEST:: SOT 203986658 SOS 42280802 HAS SOPS 42280802 HAS SOUS 29940370 HAS SOUPS 29940370 WITH SCORE 2.9982650802E7
AT ITER 8048 NEW BEST:: SOT 203986426 SOS 42280570 HAS SOPS 42280570 HAS SOUS 29939906 HAS SOUPS 29939906 WITH SCORE 2.998218657E7
AT ITER 8053 NEW BEST:: SOT 203984876 SOS 42272820 HAS SOPS 42272820 HAS SOUS 29936806 HAS SOUPS 29936806 WITH SCORE 2.997907882E7
AT ITER 8062 NEW BEST:: SOT 203984875 SOS 42272818 HAS SOPS 42272818 HAS SOUS 29936804 HAS SOUPS 29936804 WITH SCORE 2.9979076818E7
AT ITER 8063 NEW BEST:: SOT 203984179 SOS 42271608 HAS SOPS 42271608 HAS SOUS 29935946 HAS SOUPS 29935946 WITH SCORE 2.9978217608E7
AT ITER 8094 NEW BEST:: SOT 203984179 SOS 42271547 HAS SOPS 42271547 HAS SOUS 29935885 HAS SOUPS 29935885 WITH SCORE 2.9978156547E7
AT ITER 8104 NEW BEST:: SOT 203983575 SOS 42270339 HAS SOPS 42270339 HAS SOUS 29935281 HAS SOUPS 29935281 WITH SCORE 2.9977551339E7
AT ITER 8126 NEW BEST:: SOT 203983575 SOS 42269232 HAS SOPS 42269232 HAS SOUS 29934174 HAS SOUPS 29934174 WITH SCORE 2.9976443232E7
AT ITER 8128 NEW BEST:: SOT 203983575 SOS 42270176 HAS SOPS 42270176 HAS SOUS 29934167 HAS SOUPS 29934167 WITH SCORE 2.9976437176E7
AT ITER 8130 NEW BEST:: SOT 203981333 SOS 42265692 HAS SOPS 42265692 HAS SOUS 29929683 HAS SOUPS 29929683 WITH SCORE 2.9971948692E7
AT ITER 8134 NEW BEST:: SOT 203980367 SOS 42263761 HAS SOPS 42263761 HAS SOUS 29927752 HAS SOUPS 29927752 WITH SCORE 2.9970015761E7
AT ITER 8136 NEW BEST:: SOT 203979614 SOS 42263416 HAS SOPS 42263416 HAS SOUS 29927386 HAS SOUPS 29927386 WITH SCORE 2.9969649416E7
AT ITER 8137 NEW BEST:: SOT 203976882 SOS 42262050 HAS SOPS 42262050 HAS SOUS 29926020 HAS SOUPS 29926020 WITH SCORE 2.996828205E7
AT ITER 8166 NEW BEST:: SOT 203972515 SOS 42258874 HAS SOPS 42258874 HAS SOUS 29922844 HAS SOUPS 29922844 WITH SCORE 2.9965102874E7
AT ITER 8193 NEW BEST:: SOT 203972271 SOS 42258630 HAS SOPS 42258630 HAS SOUS 29922844 HAS SOUPS 29922844 WITH SCORE 2.996510263E7
AT ITER 8224 NEW BEST:: SOT 203969687 SOS 42256046 HAS SOPS 42256046 HAS SOUS 29920260 HAS SOUPS 29920260 WITH SCORE 2.9962516046E7
AT ITER 8228 NEW BEST:: SOT 203969443 SOS 42255558 HAS SOPS 42255558 HAS SOUS 29919772 HAS SOUPS 29919772 WITH SCORE 2.9962027558E7
AT ITER 8231 NEW BEST:: SOT 203967827 SOS 42254812 HAS SOPS 42254812 HAS SOUS 29919029 HAS SOUPS 29919029 WITH SCORE 2.9961283812E7
AT ITER 8253 NEW BEST:: SOT 203966393 SOS 42251944 HAS SOPS 42251944 HAS SOUS 29916161 HAS SOUPS 29916161 WITH SCORE 2.9958412944E7
AT ITER 8293 NEW BEST:: SOT 203966385 SOS 42251904 HAS SOPS 42251904 HAS SOUS 29916145 HAS SOUPS 29916145 WITH SCORE 2.9958396904E7
AT ITER 8336 NEW BEST:: SOT 203966344 SOS 42251822 HAS SOPS 42251822 HAS SOUS 29916104 HAS SOUPS 29916104 WITH SCORE 2.9958355822E7
AT ITER 8377 NEW BEST:: SOT 203964381 SOS 42249859 HAS SOPS 42249859 HAS SOUS 29914141 HAS SOUPS 29914141 WITH SCORE 2.9956390859E7
AT ITER 8414 NEW BEST:: SOT 203964208 SOS 42249513 HAS SOPS 42249513 HAS SOUS 29913795 HAS SOUPS 29913795 WITH SCORE 2.9956044513E7
AT ITER 8428 NEW BEST:: SOT 203961885 SOS 42247190 HAS SOPS 42247190 HAS SOUS 29911472 HAS SOUPS 29911472 WITH SCORE 2.995371919E7
AT ITER 8433 NEW BEST:: SOT 203961884 SOS 42247188 HAS SOPS 42247188 HAS SOUS 29911470 HAS SOUPS 29911470 WITH SCORE 2.9953717188E7
AT ITER 8474 NEW BEST:: SOT 203958300 SOS 42242463 HAS SOPS 42242463 HAS SOUS 29907886 HAS SOUPS 29907886 WITH SCORE 2.9950128463E7
AT ITER 8504 NEW BEST:: SOT 203948545 SOS 42233788 HAS SOPS 42233788 HAS SOUS 29900145 HAS SOUPS 29900145 WITH SCORE 2.9942378788E7
AT ITER 8505 NEW BEST:: SOT 203947767 SOS 42232232 HAS SOPS 42232232 HAS SOUS 29898589 HAS SOUPS 29898589 WITH SCORE 2.9940821232E7
AT ITER 8524 NEW BEST:: SOT 203947942 SOS 42232753 HAS SOPS 42232753 HAS SOUS 29898588 HAS SOUPS 29898588 WITH SCORE 2.9940820753E7
AT ITER 8538 NEW BEST:: SOT 203947525 SOS 42231918 HAS SOPS 42231918 HAS SOUS 29897753 HAS SOUPS 29897753 WITH SCORE 2.9939984918E7
AT ITER 8547 NEW BEST:: SOT 203947411 SOS 42231690 HAS SOPS 42231690 HAS SOUS 29897639 HAS SOUPS 29897639 WITH SCORE 2.993987069E7
AT ITER 8594 NEW BEST:: SOT 203943233 SOS 42229601 HAS SOPS 42229601 HAS SOUS 29895550 HAS SOUPS 29895550 WITH SCORE 2.9937779601E7
AT ITER 8615 NEW BEST:: SOT 203929202 SOS 42265839 HAS SOPS 42265839 HAS SOUS 29893641 HAS SOUPS 29893641 WITH SCORE 2.9935906839E7
AT ITER 8625 NEW BEST:: SOT 203927453 SOS 42264504 HAS SOPS 42264504 HAS SOUS 29892306 HAS SOUPS 29892306 WITH SCORE 2.9934570504E7
AT ITER 8643 NEW BEST:: SOT 203926478 SOS 42265135 HAS SOPS 42265135 HAS SOUS 29892141 HAS SOUPS 29892141 WITH SCORE 2.9934406135E7
AT ITER 8646 NEW BEST:: SOT 203926160 SOS 42264499 HAS SOPS 42264499 HAS SOUS 29891505 HAS SOUPS 29891505 WITH SCORE 2.9933769499E7
AT ITER 8651 NEW BEST:: SOT 203926937 SOS 42263719 HAS SOPS 42263719 HAS SOUS 29891504 HAS SOUPS 29891504 WITH SCORE 2.9933767719E7
AT ITER 8656 NEW BEST:: SOT 203924132 SOS 42260910 HAS SOPS 42260910 HAS SOUS 29888698 HAS SOUPS 29888698 WITH SCORE 2.993095891E7
AT ITER 8665 NEW BEST:: SOT 203922578 SOS 42260133 HAS SOPS 42260133 HAS SOUS 29887143 HAS SOUPS 29887143 WITH SCORE 2.9929403133E7
AT ITER 8730 NEW BEST:: SOT 203922578 SOS 42259315 HAS SOPS 42259315 HAS SOUS 29887143 HAS SOUPS 29887143 WITH SCORE 2.9929402315E7
AT ITER 8743 NEW BEST:: SOT 203921950 SOS 42257745 HAS SOPS 42257745 HAS SOUS 29886515 HAS SOUPS 29886515 WITH SCORE 2.9928772745E7
AT ITER 8767 NEW BEST:: SOT 203921061 SOS 42256856 HAS SOPS 42256856 HAS SOUS 29884737 HAS SOUPS 29884737 WITH SCORE 2.9926993856E7
AT ITER 8777 NEW BEST:: SOT 203922652 SOS 42260038 HAS SOPS 42260038 HAS SOUS 29884302 HAS SOUPS 29884302 WITH SCORE 2.9926562038E7
AT ITER 8797 NEW BEST:: SOT 203920680 SOS 42258062 HAS SOPS 42258062 HAS SOUS 29882329 HAS SOUPS 29882329 WITH SCORE 2.9924587062E7
AT ITER 8798 NEW BEST:: SOT 203920374 SOS 42257450 HAS SOPS 42257450 HAS SOUS 29881717 HAS SOUPS 29881717 WITH SCORE 2.992397445E7
AT ITER 8847 NEW BEST:: SOT 203917994 SOS 42255066 HAS SOPS 42255066 HAS SOUS 29879336 HAS SOUPS 29879336 WITH SCORE 2.9921591066E7
AT ITER 8863 NEW BEST:: SOT 203916895 SOS 42252868 HAS SOPS 42252868 HAS SOUS 29877138 HAS SOUPS 29877138 WITH SCORE 2.9919390868E7
AT ITER 8873 NEW BEST:: SOT 203914390 SOS 42250359 HAS SOPS 42250359 HAS SOUS 29874632 HAS SOUPS 29874632 WITH SCORE 2.9916882359E7
AT ITER 8874 NEW BEST:: SOT 203912646 SOS 42248615 HAS SOPS 42248615 HAS SOUS 29872888 HAS SOUPS 29872888 WITH SCORE 2.9915136615E7
AT ITER 8902 NEW BEST:: SOT 203909968 SOS 42244594 HAS SOPS 42244594 HAS SOUS 29870209 HAS SOUPS 29870209 WITH SCORE 2.9912453594E7
AT ITER 8927 NEW BEST:: SOT 203908935 SOS 42242528 HAS SOPS 42242528 HAS SOUS 29866877 HAS SOUPS 29866877 WITH SCORE 2.9909119528E7
AT ITER 8952 NEW BEST:: SOT 203908503 SOS 42241665 HAS SOPS 42241665 HAS SOUS 29866014 HAS SOUPS 29866014 WITH SCORE 2.9908255665E7
AT ITER 8970 NEW BEST:: SOT 203907280 SOS 42240195 HAS SOPS 42240195 HAS SOUS 29864790 HAS SOUPS 29864790 WITH SCORE 2.9907030195E7
AT ITER 8978 NEW BEST:: SOT 203905997 SOS 42239024 HAS SOPS 42239024 HAS SOUS 29863619 HAS SOUPS 29863619 WITH SCORE 2.9905858024E7
AT ITER 8996 NEW BEST:: SOT 203904997 SOS 42237024 HAS SOPS 42237024 HAS SOUS 29861619 HAS SOUPS 29861619 WITH SCORE 2.9903856024E7
AT ITER 9002 NEW BEST:: SOT 203905061 SOS 42226353 HAS SOPS 42226353 HAS SOUS 29859984 HAS SOUPS 29859984 WITH SCORE 2.9902210353E7
AT ITER 9008 NEW BEST:: SOT 203904230 SOS 42226146 HAS SOPS 42226146 HAS SOUS 29859638 HAS SOUPS 29859638 WITH SCORE 2.9901864146E7
AT ITER 9039 NEW BEST:: SOT 203903231 SOS 42226533 HAS SOPS 42226533 HAS SOUS 29859434 HAS SOUPS 29859434 WITH SCORE 2.9901660533E7
AT ITER 9088 NEW BEST:: SOT 203903231 SOS 42226533 HAS SOPS 42226533 HAS SOUS 29858678 HAS SOUPS 29858678 WITH SCORE 2.9900904533E7
AT ITER 9103 NEW BEST:: SOT 203903024 SOS 42226326 HAS SOPS 42226326 HAS SOUS 29858471 HAS SOUPS 29858471 WITH SCORE 2.9900697326E7
AT ITER 9112 NEW BEST:: SOT 203902301 SOS 42225993 HAS SOPS 42225993 HAS SOUS 29858119 HAS SOUPS 29858119 WITH SCORE 2.9900344993E7
AT ITER 9173 NEW BEST:: SOT 203899612 SOS 42224403 HAS SOPS 42224403 HAS SOUS 29855997 HAS SOUPS 29855997 WITH SCORE 2.9898221403E7
AT ITER 9179 NEW BEST:: SOT 203899491 SOS 42224161 HAS SOPS 42224161 HAS SOUS 29855755 HAS SOUPS 29855755 WITH SCORE 2.9897979161E7
AT ITER 9182 NEW BEST:: SOT 203898787 SOS 42220641 HAS SOPS 42220641 HAS SOUS 29854347 HAS SOUPS 29854347 WITH SCORE 2.9896567641E7
AT ITER 9186 NEW BEST:: SOT 203898787 SOS 42220641 HAS SOPS 42220641 HAS SOUS 29853067 HAS SOUPS 29853067 WITH SCORE 2.9895287641E7
AT ITER 9222 NEW BEST:: SOT 203898787 SOS 42213822 HAS SOPS 42213822 HAS SOUS 29853067 HAS SOUPS 29853067 WITH SCORE 2.9895280822E7
AT ITER 9229 NEW BEST:: SOT 203898787 SOS 42213821 HAS SOPS 42213821 HAS SOUS 29853066 HAS SOUPS 29853066 WITH SCORE 2.9895279821E7
AT ITER 9235 NEW BEST:: SOT 203898054 SOS 42212355 HAS SOPS 42212355 HAS SOUS 29850006 HAS SOUPS 29850006 WITH SCORE 2.9892218355E7
AT ITER 9237 NEW BEST:: SOT 203897474 SOS 42213507 HAS SOPS 42213507 HAS SOUS 29849424 HAS SOUPS 29849424 WITH SCORE 2.9891637507E7
AT ITER 9249 NEW BEST:: SOT 203897121 SOS 42212801 HAS SOPS 42212801 HAS SOUS 29848718 HAS SOUPS 29848718 WITH SCORE 2.9890930801E7
AT ITER 9251 NEW BEST:: SOT 203895927 SOS 42210413 HAS SOPS 42210413 HAS SOUS 29845084 HAS SOUPS 29845084 WITH SCORE 2.9887294413E7
AT ITER 9255 NEW BEST:: SOT 203896986 SOS 42208082 HAS SOPS 42208082 HAS SOUS 29844660 HAS SOUPS 29844660 WITH SCORE 2.9886868082E7
AT ITER 9280 NEW BEST:: SOT 203896153 SOS 42206416 HAS SOPS 42206416 HAS SOUS 29842994 HAS SOUPS 29842994 WITH SCORE 2.9885200416E7
AT ITER 9307 NEW BEST:: SOT 203896153 SOS 42206416 HAS SOPS 42206416 HAS SOUS 29839478 HAS SOUPS 29839478 WITH SCORE 2.9881684416E7
AT ITER 9309 NEW BEST:: SOT 203896654 SOS 42206758 HAS SOPS 42206758 HAS SOUS 29839477 HAS SOUPS 29839477 WITH SCORE 2.9881683758E7
AT ITER 9318 NEW BEST:: SOT 203896653 SOS 42206756 HAS SOPS 42206756 HAS SOUS 29839475 HAS SOUPS 29839475 WITH SCORE 2.9881681756E7
AT ITER 9333 NEW BEST:: SOT 203896653 SOS 42206775 HAS SOPS 42206775 HAS SOUS 29839456 HAS SOUPS 29839456 WITH SCORE 2.9881662775E7
AT ITER 9362 NEW BEST:: SOT 203895140 SOS 42205259 HAS SOPS 42205259 HAS SOUS 29837941 HAS SOUPS 29837941 WITH SCORE 2.9880146259E7
AT ITER 9365 NEW BEST:: SOT 203893990 SOS 42204235 HAS SOPS 42204235 HAS SOUS 29836920 HAS SOUPS 29836920 WITH SCORE 2.9879124235E7
AT ITER 9405 NEW BEST:: SOT 203893989 SOS 42204233 HAS SOPS 42204233 HAS SOUS 29836918 HAS SOUPS 29836918 WITH SCORE 2.9879122233E7
AT ITER 9430 NEW BEST:: SOT 203891319 SOS 42200673 HAS SOPS 42200673 HAS SOUS 29836243 HAS SOUPS 29836243 WITH SCORE 2.9878443673E7
AT ITER 9432 NEW BEST:: SOT 203887445 SOS 42198736 HAS SOPS 42198736 HAS SOUS 29834306 HAS SOUPS 29834306 WITH SCORE 2.9876504736E7
AT ITER 9461 NEW BEST:: SOT 203885703 SOS 42210920 HAS SOPS 42210920 HAS SOUS 29830821 HAS SOUPS 29830821 WITH SCORE 2.987303192E7
AT ITER 9484 NEW BEST:: SOT 203885502 SOS 42210518 HAS SOPS 42210518 HAS SOUS 29830419 HAS SOUPS 29830419 WITH SCORE 2.9872629518E7
AT ITER 9485 NEW BEST:: SOT 203873137 SOS 42200025 HAS SOPS 42200025 HAS SOUS 29819926 HAS SOUPS 29819926 WITH SCORE 2.9862126025E7
AT ITER 9544 NEW BEST:: SOT 203872756 SOS 42199263 HAS SOPS 42199263 HAS SOUS 29819164 HAS SOUPS 29819164 WITH SCORE 2.9861363263E7
AT ITER 9549 NEW BEST:: SOT 203872490 SOS 42198731 HAS SOPS 42198731 HAS SOUS 29818632 HAS SOUPS 29818632 WITH SCORE 2.9860830731E7
AT ITER 9550 NEW BEST:: SOT 203873088 SOS 42198211 HAS SOPS 42198211 HAS SOUS 29817514 HAS SOUPS 29817514 WITH SCORE 2.9859712211E7
AT ITER 9555 NEW BEST:: SOT 203872853 SOS 42197741 HAS SOPS 42197741 HAS SOUS 29817044 HAS SOUPS 29817044 WITH SCORE 2.9859241741E7
AT ITER 9559 NEW BEST:: SOT 203869260 SOS 42198556 HAS SOPS 42198556 HAS SOUS 29816590 HAS SOUPS 29816590 WITH SCORE 2.9858788556E7
AT ITER 9575 NEW BEST:: SOT 203869260 SOS 42197334 HAS SOPS 42197334 HAS SOUS 29816590 HAS SOUPS 29816590 WITH SCORE 2.9858787334E7
AT ITER 9612 NEW BEST:: SOT 203868874 SOS 42202055 HAS SOPS 42202055 HAS SOUS 29815455 HAS SOUPS 29815455 WITH SCORE 2.9857657055E7
AT ITER 9614 NEW BEST:: SOT 203867649 SOS 42199605 HAS SOPS 42199605 HAS SOUS 29813037 HAS SOUPS 29813037 WITH SCORE 2.9855236605E7
AT ITER 9645 NEW BEST:: SOT 203867649 SOS 42199605 HAS SOPS 42199605 HAS SOUS 29810716 HAS SOUPS 29810716 WITH SCORE 2.9852915605E7
AT ITER 9650 NEW BEST:: SOT 203866736 SOS 42198660 HAS SOPS 42198660 HAS SOUS 29809802 HAS SOUPS 29809802 WITH SCORE 2.985200066E7
AT ITER 9678 NEW BEST:: SOT 203866735 SOS 42198658 HAS SOPS 42198658 HAS SOUS 29809800 HAS SOUPS 29809800 WITH SCORE 2.9851998658E7
AT ITER 9682 NEW BEST:: SOT 203866717 SOS 42198658 HAS SOPS 42198658 HAS SOUS 29809782 HAS SOUPS 29809782 WITH SCORE 2.9851980658E7
AT ITER 9692 NEW BEST:: SOT 203865515 SOS 42393334 HAS SOPS 42393334 HAS SOUS 29806624 HAS SOUPS 29806624 WITH SCORE 2.9849017334E7
AT ITER 9698 NEW BEST:: SOT 203864983 SOS 42392270 HAS SOPS 42392270 HAS SOUS 29805907 HAS SOUPS 29805907 WITH SCORE 2.984829927E7
AT ITER 9723 NEW BEST:: SOT 203864433 SOS 42391237 HAS SOPS 42391237 HAS SOUS 29805114 HAS SOUPS 29805114 WITH SCORE 2.9847505237E7
AT ITER 9729 NEW BEST:: SOT 203857909 SOS 42387245 HAS SOPS 42387245 HAS SOUS 29802561 HAS SOUPS 29802561 WITH SCORE 2.9844948245E7
AT ITER 9747 NEW BEST:: SOT 203857875 SOS 42387177 HAS SOPS 42387177 HAS SOUS 29802493 HAS SOUPS 29802493 WITH SCORE 2.9844880177E7
AT ITER 9754 NEW BEST:: SOT 203853700 SOS 42385259 HAS SOPS 42385259 HAS SOUS 29801117 HAS SOUPS 29801117 WITH SCORE 2.9843502259E7
AT ITER 9765 NEW BEST:: SOT 203853699 SOS 42385257 HAS SOPS 42385257 HAS SOUS 29801115 HAS SOUPS 29801115 WITH SCORE 2.9843500257E7
AT ITER 9838 NEW BEST:: SOT 203852670 SOS 42383199 HAS SOPS 42383199 HAS SOUS 29797101 HAS SOUPS 29797101 WITH SCORE 2.9839484199E7
AT ITER 9841 NEW BEST:: SOT 203851721 SOS 42381302 HAS SOPS 42381302 HAS SOUS 29795204 HAS SOUPS 29795204 WITH SCORE 2.9837585302E7
AT ITER 9880 NEW BEST:: SOT 203851066 SOS 42379992 HAS SOPS 42379992 HAS SOUS 29793894 HAS SOUPS 29793894 WITH SCORE 2.9836273992E7
AT ITER 9898 NEW BEST:: SOT 203850489 SOS 42379415 HAS SOPS 42379415 HAS SOUS 29793894 HAS SOUPS 29793894 WITH SCORE 2.9836273415E7
AT ITER 9921 NEW BEST:: SOT 203847883 SOS 42377288 HAS SOPS 42377288 HAS SOUS 29791767 HAS SOUPS 29791767 WITH SCORE 2.9834144288E7
AT ITER 9925 NEW BEST:: SOT 203846133 SOS 42375538 HAS SOPS 42375538 HAS SOUS 29790017 HAS SOUPS 29790017 WITH SCORE 2.9832392538E7
AT ITER 9928 NEW BEST:: SOT 203845509 SOS 42374290 HAS SOPS 42374290 HAS SOUS 29788769 HAS SOUPS 29788769 WITH SCORE 2.983114329E7
AT ITER 9944 NEW BEST:: SOT 203840377 SOS 42364026 HAS SOPS 42364026 HAS SOUS 29780240 HAS SOUPS 29780240 WITH SCORE 2.9822604026E7
AT ITER 9951 NEW BEST:: SOT 203836345 SOS 42359994 HAS SOPS 42359994 HAS SOUS 29776208 HAS SOUPS 29776208 WITH SCORE 2.9818567994E7
AT ITER 9953 NEW BEST:: SOT 203835362 SOS 42360161 HAS SOPS 42360161 HAS SOUS 29775936 HAS SOUPS 29775936 WITH SCORE 2.9818296161E7
AT ITER 9955 NEW BEST:: SOT 203834876 SOS 42359671 HAS SOPS 42359671 HAS SOUS 29775449 HAS SOUPS 29775449 WITH SCORE 2.9817808671E7
AT ITER 9994 NEW BEST:: SOT 203828382 SOS 42353299 HAS SOPS 42353299 HAS SOUS 29768954 HAS SOUPS 29768954 WITH SCORE 2.9811307299E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15189132 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16102092 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="smartxred"
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 smartxred"
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 4"
echo " Run identifier is r107-tall-167814484700840"
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 ;