Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542200416.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCflexbar-PT-6b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542200416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.8M
-rw-r--r-- 1 mcc users 2.9K Mar 30 08:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 08:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 28 21:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 28 21:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 27 15:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 15:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 12:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 12:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.6M Mar 24 05:37 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 1589117809153

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 25104 places, 39112 transitions, 109395 arcs.
AT ITER 0 NEW BEST:: SOT 653968249 SOS 151567365 HAS SOPS 151567365 HAS SOUS 89849950 HAS SOUPS 89849950 WITH SCORE 9.0001517365E7
AT ITER 6 NEW BEST:: SOT 653966522 SOS 151563911 HAS SOPS 151563911 HAS SOUS 89848223 HAS SOUPS 89848223 WITH SCORE 8.9999786911E7
AT ITER 31 NEW BEST:: SOT 653965149 SOS 151561165 HAS SOPS 151561165 HAS SOUS 89845477 HAS SOUPS 89845477 WITH SCORE 8.9997038165E7
AT ITER 32 NEW BEST:: SOT 653964819 SOS 151560505 HAS SOPS 151560505 HAS SOUS 89844817 HAS SOUPS 89844817 WITH SCORE 8.9996377505E7
AT ITER 69 NEW BEST:: SOT 653960979 SOS 151550905 HAS SOPS 151550905 HAS SOUS 89840977 HAS SOUPS 89840977 WITH SCORE 8.9992527905E7
AT ITER 81 NEW BEST:: SOT 653959626 SOS 151549552 HAS SOPS 151549552 HAS SOUS 89839624 HAS SOUPS 89839624 WITH SCORE 8.9991173552E7
AT ITER 85 NEW BEST:: SOT 653959626 SOS 151538827 HAS SOPS 151538827 HAS SOUS 89839624 HAS SOUPS 89839624 WITH SCORE 8.9991162827E7
AT ITER 87 NEW BEST:: SOT 653959571 SOS 151538717 HAS SOPS 151538717 HAS SOUS 89839569 HAS SOUPS 89839569 WITH SCORE 8.9991107717E7
AT ITER 100 NEW BEST:: SOT 653959571 SOS 151538717 HAS SOPS 151538717 HAS SOUS 89831547 HAS SOUPS 89831547 WITH SCORE 8.9983085717E7
AT ITER 106 NEW BEST:: SOT 653957386 SOS 151534347 HAS SOPS 151534347 HAS SOUS 89825855 HAS SOUPS 89825855 WITH SCORE 8.9977389347E7
AT ITER 110 NEW BEST:: SOT 653957386 SOS 151526757 HAS SOPS 151526757 HAS SOUS 89823325 HAS SOUPS 89823325 WITH SCORE 8.9974851757E7
AT ITER 112 NEW BEST:: SOT 653957084 SOS 151526153 HAS SOPS 151526153 HAS SOUS 89822721 HAS SOUPS 89822721 WITH SCORE 8.9974247153E7
AT ITER 129 NEW BEST:: SOT 653956500 SOS 151524985 HAS SOPS 151524985 HAS SOUS 89821553 HAS SOUPS 89821553 WITH SCORE 8.9973077985E7
AT ITER 146 NEW BEST:: SOT 653954001 SOS 151542478 HAS SOPS 151542478 HAS SOUS 89819054 HAS SOUPS 89819054 WITH SCORE 8.9970596478E7
AT ITER 200 NEW BEST:: SOT 653953494 SOS 151542478 HAS SOPS 151542478 HAS SOUS 89818040 HAS SOUPS 89818040 WITH SCORE 8.9969582478E7
AT ITER 216 NEW BEST:: SOT 653953461 SOS 151542412 HAS SOPS 151542412 HAS SOUS 89817974 HAS SOUPS 89817974 WITH SCORE 8.9969516412E7
AT ITER 217 NEW BEST:: SOT 653950891 SOS 151537272 HAS SOPS 151537272 HAS SOUS 89815404 HAS SOUPS 89815404 WITH SCORE 8.9966941272E7
AT ITER 240 NEW BEST:: SOT 653950891 SOS 151537272 HAS SOPS 151537272 HAS SOUS 89815403 HAS SOUPS 89815403 WITH SCORE 8.9966940272E7
AT ITER 255 NEW BEST:: SOT 653948490 SOS 151554079 HAS SOPS 151554079 HAS SOUS 89813002 HAS SOUPS 89813002 WITH SCORE 8.9964556079E7
AT ITER 267 NEW BEST:: SOT 653948490 SOS 151547326 HAS SOPS 151547326 HAS SOUS 89810751 HAS SOUPS 89810751 WITH SCORE 8.9962298326E7
AT ITER 281 NEW BEST:: SOT 653943472 SOS 151547793 HAS SOPS 151547793 HAS SOUS 89809921 HAS SOUPS 89809921 WITH SCORE 8.9961468793E7
AT ITER 288 NEW BEST:: SOT 653942656 SOS 151546161 HAS SOPS 151546161 HAS SOUS 89805534 HAS SOUPS 89805534 WITH SCORE 8.9957080161E7
AT ITER 290 NEW BEST:: SOT 653942655 SOS 151546159 HAS SOPS 151546159 HAS SOUS 89805532 HAS SOUPS 89805532 WITH SCORE 8.9957078159E7
AT ITER 329 NEW BEST:: SOT 653941404 SOS 151543657 HAS SOPS 151543657 HAS SOUS 89800539 HAS SOUPS 89800539 WITH SCORE 8.9952082657E7
AT ITER 351 NEW BEST:: SOT 653943245 SOS 151541408 HAS SOPS 151541408 HAS SOUS 89798290 HAS SOUPS 89798290 WITH SCORE 8.9949831408E7
AT ITER 356 NEW BEST:: SOT 653938754 SOS 151536913 HAS SOPS 151536913 HAS SOUS 89793798 HAS SOUPS 89793798 WITH SCORE 8.9945334913E7
AT ITER 371 NEW BEST:: SOT 653930989 SOS 151521383 HAS SOPS 151521383 HAS SOUS 89778268 HAS SOUPS 89778268 WITH SCORE 8.9929789383E7
AT ITER 389 NEW BEST:: SOT 653929504 SOS 151518413 HAS SOPS 151518413 HAS SOUS 89775298 HAS SOUPS 89775298 WITH SCORE 8.9926816413E7
AT ITER 392 NEW BEST:: SOT 653929200 SOS 151518409 HAS SOPS 151518409 HAS SOUS 89775145 HAS SOUPS 89775145 WITH SCORE 8.9926663409E7
AT ITER 398 NEW BEST:: SOT 653933190 SOS 151526389 HAS SOPS 151526389 HAS SOUS 89774776 HAS SOUPS 89774776 WITH SCORE 8.9926302389E7
AT ITER 399 NEW BEST:: SOT 653934012 SOS 151524742 HAS SOPS 151524742 HAS SOUS 89774775 HAS SOUPS 89774775 WITH SCORE 8.9926299742E7
AT ITER 429 NEW BEST:: SOT 653934012 SOS 151516564 HAS SOPS 151516564 HAS SOUS 89772049 HAS SOUPS 89772049 WITH SCORE 8.9923565564E7
AT ITER 451 NEW BEST:: SOT 653933934 SOS 151571406 HAS SOPS 151571406 HAS SOUS 89771892 HAS SOUPS 89771892 WITH SCORE 8.9923463406E7
AT ITER 454 NEW BEST:: SOT 653928125 SOS 151572133 HAS SOPS 151572133 HAS SOUS 89766730 HAS SOUPS 89766730 WITH SCORE 8.9918302133E7
AT ITER 513 NEW BEST:: SOT 653925742 SOS 151581155 HAS SOPS 151581155 HAS SOUS 89764347 HAS SOUPS 89764347 WITH SCORE 8.9915928155E7
AT ITER 523 NEW BEST:: SOT 653925679 SOS 151581029 HAS SOPS 151581029 HAS SOUS 89764221 HAS SOUPS 89764221 WITH SCORE 8.9915802029E7
AT ITER 533 NEW BEST:: SOT 653920697 SOS 151556119 HAS SOPS 151556119 HAS SOUS 89754257 HAS SOUPS 89754257 WITH SCORE 8.9905813119E7
AT ITER 560 NEW BEST:: SOT 653819379 SOS 151544592 HAS SOPS 151544592 HAS SOUS 89653916 HAS SOUPS 89653916 WITH SCORE 8.9805460592E7
AT ITER 563 NEW BEST:: SOT 653814910 SOS 151540123 HAS SOPS 151540123 HAS SOUS 89649447 HAS SOUPS 89649447 WITH SCORE 8.9800987123E7
AT ITER 572 NEW BEST:: SOT 653814518 SOS 151540119 HAS SOPS 151540119 HAS SOUS 89649250 HAS SOUPS 89649250 WITH SCORE 8.9800790119E7
AT ITER 582 NEW BEST:: SOT 653814518 SOS 151529139 HAS SOPS 151529139 HAS SOUS 89649249 HAS SOUPS 89649249 WITH SCORE 8.9800778139E7
AT ITER 584 NEW BEST:: SOT 653813090 SOS 151526283 HAS SOPS 151526283 HAS SOUS 89646393 HAS SOUPS 89646393 WITH SCORE 8.9797919283E7
AT ITER 586 NEW BEST:: SOT 653807382 SOS 151524125 HAS SOPS 151524125 HAS SOUS 89643770 HAS SOUPS 89643770 WITH SCORE 8.9795294125E7
AT ITER 600 NEW BEST:: SOT 653807382 SOS 151541411 HAS SOPS 151541411 HAS SOUS 89642166 HAS SOUPS 89642166 WITH SCORE 8.9793707411E7
AT ITER 619 NEW BEST:: SOT 653804782 SOS 151549789 HAS SOPS 151549789 HAS SOUS 89640528 HAS SOUPS 89640528 WITH SCORE 8.9792077789E7
AT ITER 650 NEW BEST:: SOT 653804782 SOS 151538206 HAS SOPS 151538206 HAS SOUS 89636667 HAS SOUPS 89636667 WITH SCORE 8.9788205206E7
AT ITER 656 NEW BEST:: SOT 653804781 SOS 151538204 HAS SOPS 151538204 HAS SOUS 89636665 HAS SOUPS 89636665 WITH SCORE 8.9788203204E7
AT ITER 700 NEW BEST:: SOT 653804272 SOS 151538709 HAS SOPS 151538709 HAS SOUS 89636664 HAS SOUPS 89636664 WITH SCORE 8.9788202709E7
AT ITER 714 NEW BEST:: SOT 653803835 SOS 151537835 HAS SOPS 151537835 HAS SOUS 89636226 HAS SOUPS 89636226 WITH SCORE 8.9787763835E7
AT ITER 727 NEW BEST:: SOT 653803835 SOS 151536885 HAS SOPS 151536885 HAS SOUS 89636226 HAS SOUPS 89636226 WITH SCORE 8.9787762885E7
AT ITER 735 NEW BEST:: SOT 653800027 SOS 151533077 HAS SOPS 151533077 HAS SOUS 89632418 HAS SOUPS 89632418 WITH SCORE 8.9783951077E7
AT ITER 743 NEW BEST:: SOT 653800985 SOS 151531158 HAS SOPS 151531158 HAS SOUS 89632417 HAS SOUPS 89632417 WITH SCORE 8.9783948158E7
AT ITER 772 NEW BEST:: SOT 653796599 SOS 151526772 HAS SOPS 151526772 HAS SOUS 89628031 HAS SOUPS 89628031 WITH SCORE 8.9779557772E7
AT ITER 793 NEW BEST:: SOT 653790081 SOS 151520250 HAS SOPS 151520250 HAS SOUS 89621512 HAS SOUPS 89621512 WITH SCORE 8.977303225E7
AT ITER 797 NEW BEST:: SOT 653790058 SOS 151527085 HAS SOPS 151527085 HAS SOUS 89621465 HAS SOUPS 89621465 WITH SCORE 8.9772992085E7
AT ITER 815 NEW BEST:: SOT 653789155 SOS 151530391 HAS SOPS 151530391 HAS SOUS 89620562 HAS SOUPS 89620562 WITH SCORE 8.9772092391E7
AT ITER 857 NEW BEST:: SOT 653786949 SOS 151534799 HAS SOPS 151534799 HAS SOUS 89618355 HAS SOUPS 89618355 WITH SCORE 8.9769889799E7
AT ITER 892 NEW BEST:: SOT 653786949 SOS 151534799 HAS SOPS 151534799 HAS SOUS 89618044 HAS SOUPS 89618044 WITH SCORE 8.9769578799E7
AT ITER 901 NEW BEST:: SOT 653785250 SOS 151538197 HAS SOPS 151538197 HAS SOUS 89616345 HAS SOUPS 89616345 WITH SCORE 8.9767883197E7
AT ITER 906 NEW BEST:: SOT 653782183 SOS 151535130 HAS SOPS 151535130 HAS SOUS 89613278 HAS SOUPS 89613278 WITH SCORE 8.976481313E7
AT ITER 929 NEW BEST:: SOT 653782183 SOS 151533807 HAS SOPS 151533807 HAS SOUS 89611955 HAS SOUPS 89611955 WITH SCORE 8.9763488807E7
AT ITER 941 NEW BEST:: SOT 653778564 SOS 151530188 HAS SOPS 151530188 HAS SOUS 89608336 HAS SOUPS 89608336 WITH SCORE 8.9759866188E7
AT ITER 950 NEW BEST:: SOT 653774838 SOS 151526462 HAS SOPS 151526462 HAS SOUS 89604610 HAS SOUPS 89604610 WITH SCORE 8.9756136462E7
AT ITER 981 NEW BEST:: SOT 653775427 SOS 151525283 HAS SOPS 151525283 HAS SOUS 89604609 HAS SOUPS 89604609 WITH SCORE 8.9756134283E7
AT ITER 992 NEW BEST:: SOT 653775427 SOS 151524361 HAS SOPS 151524361 HAS SOUS 89603687 HAS SOUPS 89603687 WITH SCORE 8.9755211361E7
AT ITER 993 NEW BEST:: SOT 653776442 SOS 151522770 HAS SOPS 151522770 HAS SOUS 89602096 HAS SOUPS 89602096 WITH SCORE 8.975361877E7
AT ITER 1025 NEW BEST:: SOT 653776441 SOS 151522768 HAS SOPS 151522768 HAS SOUS 89602094 HAS SOUPS 89602094 WITH SCORE 8.9753616768E7
AT ITER 1090 NEW BEST:: SOT 653775280 SOS 151520446 HAS SOPS 151520446 HAS SOUS 89599772 HAS SOUPS 89599772 WITH SCORE 8.9751292446E7
AT ITER 1094 NEW BEST:: SOT 653771127 SOS 151516293 HAS SOPS 151516293 HAS SOUS 89595619 HAS SOUPS 89595619 WITH SCORE 8.9747135293E7
AT ITER 1146 NEW BEST:: SOT 653771127 SOS 151505715 HAS SOPS 151505715 HAS SOUS 89595618 HAS SOUPS 89595618 WITH SCORE 8.9747123715E7
AT ITER 1150 NEW BEST:: SOT 653769203 SOS 151507639 HAS SOPS 151507639 HAS SOUS 89594489 HAS SOUPS 89594489 WITH SCORE 8.9745996639E7
AT ITER 1173 NEW BEST:: SOT 653769203 SOS 151496389 HAS SOPS 151496389 HAS SOUS 89594488 HAS SOUPS 89594488 WITH SCORE 8.9745984389E7
AT ITER 1181 NEW BEST:: SOT 653767001 SOS 151491985 HAS SOPS 151491985 HAS SOUS 89590084 HAS SOUPS 89590084 WITH SCORE 8.9741575985E7
AT ITER 1204 NEW BEST:: SOT 653766277 SOS 151490537 HAS SOPS 151490537 HAS SOUS 89588636 HAS SOUPS 89588636 WITH SCORE 8.9740126537E7
AT ITER 1205 NEW BEST:: SOT 653535179 SOS 152105303 HAS SOPS 152105303 HAS SOUS 89367002 HAS SOUPS 89367002 WITH SCORE 8.9519107303E7
AT ITER 1206 NEW BEST:: SOT 653536632 SOS 152120997 HAS SOPS 152120997 HAS SOUS 89365643 HAS SOUPS 89365643 WITH SCORE 8.9517763997E7
AT ITER 1213 NEW BEST:: SOT 653536079 SOS 152119891 HAS SOPS 152119891 HAS SOUS 89364537 HAS SOUPS 89364537 WITH SCORE 8.9516656891E7
AT ITER 1235 NEW BEST:: SOT 653469218 SOS 152156711 HAS SOPS 152156711 HAS SOUS 89299203 HAS SOUPS 89299203 WITH SCORE 8.9451359711E7
AT ITER 1313 NEW BEST:: SOT 653466931 SOS 152152137 HAS SOPS 152152137 HAS SOUS 89294629 HAS SOUPS 89294629 WITH SCORE 8.9446781137E7
AT ITER 1314 NEW BEST:: SOT 653466358 SOS 152150991 HAS SOPS 152150991 HAS SOUS 89293483 HAS SOUPS 89293483 WITH SCORE 8.9445633991E7
AT ITER 1329 NEW BEST:: SOT 653460366 SOS 152133015 HAS SOPS 152133015 HAS SOUS 89284495 HAS SOUPS 89284495 WITH SCORE 8.9436628015E7
AT ITER 1336 NEW BEST:: SOT 653459992 SOS 152143716 HAS SOPS 152143716 HAS SOUS 89283275 HAS SOUPS 89283275 WITH SCORE 8.9435418716E7
AT ITER 1390 NEW BEST:: SOT 653460027 SOS 152143786 HAS SOPS 152143786 HAS SOUS 89279763 HAS SOUPS 89279763 WITH SCORE 8.9431906786E7
AT ITER 1392 NEW BEST:: SOT 653459376 SOS 152142484 HAS SOPS 152142484 HAS SOUS 89278461 HAS SOUPS 89278461 WITH SCORE 8.9430603484E7
AT ITER 1397 NEW BEST:: SOT 653459001 SOS 152142856 HAS SOPS 152142856 HAS SOUS 89278085 HAS SOUPS 89278085 WITH SCORE 8.9430227856E7
AT ITER 1402 NEW BEST:: SOT 653459148 SOS 152140667 HAS SOPS 152140667 HAS SOUS 89275896 HAS SOUPS 89275896 WITH SCORE 8.9428036667E7
AT ITER 1422 NEW BEST:: SOT 653458807 SOS 152139985 HAS SOPS 152139985 HAS SOUS 89275214 HAS SOUPS 89275214 WITH SCORE 8.9427353985E7
AT ITER 1424 NEW BEST:: SOT 653461443 SOS 152136617 HAS SOPS 152136617 HAS SOUS 89274970 HAS SOUPS 89274970 WITH SCORE 8.9427106617E7
AT ITER 1462 NEW BEST:: SOT 653460482 SOS 152148974 HAS SOPS 152148974 HAS SOUS 89271756 HAS SOUPS 89271756 WITH SCORE 8.9423904974E7
AT ITER 1464 NEW BEST:: SOT 653460482 SOS 152147549 HAS SOPS 152147549 HAS SOUS 89270331 HAS SOUPS 89270331 WITH SCORE 8.9422478549E7
AT ITER 1489 NEW BEST:: SOT 653458943 SOS 152144471 HAS SOPS 152144471 HAS SOUS 89267253 HAS SOUPS 89267253 WITH SCORE 8.9419397471E7
AT ITER 1510 NEW BEST:: SOT 653458942 SOS 152144469 HAS SOPS 152144469 HAS SOUS 89267251 HAS SOUPS 89267251 WITH SCORE 8.9419395469E7
AT ITER 1541 NEW BEST:: SOT 653458455 SOS 152144952 HAS SOPS 152144952 HAS SOUS 89267250 HAS SOUPS 89267250 WITH SCORE 8.9419394952E7
AT ITER 1570 NEW BEST:: SOT 653451050 SOS 152130142 HAS SOPS 152130142 HAS SOUS 89252440 HAS SOUPS 89252440 WITH SCORE 8.9404570142E7
AT ITER 1578 NEW BEST:: SOT 653448621 SOS 152125285 HAS SOPS 152125285 HAS SOUS 89247583 HAS SOUPS 89247583 WITH SCORE 8.9399708285E7
AT ITER 1613 NEW BEST:: SOT 653448369 SOS 152124781 HAS SOPS 152124781 HAS SOUS 89247079 HAS SOUPS 89247079 WITH SCORE 8.9399203781E7
AT ITER 1634 NEW BEST:: SOT 653445222 SOS 152127928 HAS SOPS 152127928 HAS SOUS 89246239 HAS SOUPS 89246239 WITH SCORE 8.9398366928E7
AT ITER 1642 NEW BEST:: SOT 653437802 SOS 152120508 HAS SOPS 152120508 HAS SOUS 89238819 HAS SOUPS 89238819 WITH SCORE 8.9390939508E7
AT ITER 1643 NEW BEST:: SOT 653430976 SOS 152114963 HAS SOPS 152114963 HAS SOUS 89232199 HAS SOUPS 89232199 WITH SCORE 8.9384313963E7
AT ITER 1657 NEW BEST:: SOT 653423385 SOS 152099781 HAS SOPS 152099781 HAS SOUS 89217017 HAS SOUPS 89217017 WITH SCORE 8.9369116781E7
AT ITER 1664 NEW BEST:: SOT 653422169 SOS 152097349 HAS SOPS 152097349 HAS SOUS 89214585 HAS SOUPS 89214585 WITH SCORE 8.9366682349E7
AT ITER 1686 NEW BEST:: SOT 653420169 SOS 152093349 HAS SOPS 152093349 HAS SOUS 89210585 HAS SOUPS 89210585 WITH SCORE 8.9362678349E7
AT ITER 1733 NEW BEST:: SOT 653419518 SOS 152092047 HAS SOPS 152092047 HAS SOUS 89209283 HAS SOUPS 89209283 WITH SCORE 8.9361375047E7
AT ITER 1738 NEW BEST:: SOT 653421832 SOS 152092045 HAS SOPS 152092045 HAS SOUS 89209282 HAS SOUPS 89209282 WITH SCORE 8.9361374045E7
AT ITER 1780 NEW BEST:: SOT 653418792 SOS 152085965 HAS SOPS 152085965 HAS SOUS 89206241 HAS SOUPS 89206241 WITH SCORE 8.9358326965E7
AT ITER 1833 NEW BEST:: SOT 653417384 SOS 152101049 HAS SOPS 152101049 HAS SOUS 89203424 HAS SOUPS 89203424 WITH SCORE 8.9355525049E7
AT ITER 1835 NEW BEST:: SOT 653417384 SOS 152100892 HAS SOPS 152100892 HAS SOUS 89203424 HAS SOUPS 89203424 WITH SCORE 8.9355524892E7
AT ITER 1859 NEW BEST:: SOT 653421293 SOS 152108710 HAS SOPS 152108710 HAS SOUS 89202714 HAS SOUPS 89202714 WITH SCORE 8.935482271E7
AT ITER 1863 NEW BEST:: SOT 653421293 SOS 152108710 HAS SOPS 152108710 HAS SOUS 89202713 HAS SOUPS 89202713 WITH SCORE 8.935482171E7
AT ITER 1991 NEW BEST:: SOT 653421091 SOS 152108306 HAS SOPS 152108306 HAS SOUS 89202309 HAS SOUPS 89202309 WITH SCORE 8.9354417306E7
AT ITER 2008 NEW BEST:: SOT 653416421 SOS 152103636 HAS SOPS 152103636 HAS SOUS 89197639 HAS SOUPS 89197639 WITH SCORE 8.9349742636E7
AT ITER 2037 NEW BEST:: SOT 653416421 SOS 152093697 HAS SOPS 152093697 HAS SOUS 89194326 HAS SOUPS 89194326 WITH SCORE 8.9346419697E7
AT ITER 2061 NEW BEST:: SOT 653417023 SOS 152092490 HAS SOPS 152092490 HAS SOUS 89194325 HAS SOUPS 89194325 WITH SCORE 8.934641749E7
AT ITER 2078 NEW BEST:: SOT 653416575 SOS 152091594 HAS SOPS 152091594 HAS SOUS 89193876 HAS SOUPS 89193876 WITH SCORE 8.9345967594E7
AT ITER 2092 NEW BEST:: SOT 653412522 SOS 152071329 HAS SOPS 152071329 HAS SOUS 89185770 HAS SOUPS 89185770 WITH SCORE 8.9337841329E7
AT ITER 2102 NEW BEST:: SOT 653412522 SOS 152060907 HAS SOPS 152060907 HAS SOUS 89185769 HAS SOUPS 89185769 WITH SCORE 8.9337829907E7
AT ITER 2114 NEW BEST:: SOT 653411662 SOS 152057467 HAS SOPS 152057467 HAS SOUS 89184909 HAS SOUPS 89184909 WITH SCORE 8.9336966467E7
AT ITER 2180 NEW BEST:: SOT 653409784 SOS 152092176 HAS SOPS 152092176 HAS SOUS 89181152 HAS SOUPS 89181152 WITH SCORE 8.9333244176E7
AT ITER 2249 NEW BEST:: SOT 653406228 SOS 152088620 HAS SOPS 152088620 HAS SOUS 89177596 HAS SOUPS 89177596 WITH SCORE 8.932968462E7
AT ITER 2279 NEW BEST:: SOT 653405370 SOS 152090328 HAS SOPS 152090328 HAS SOUS 89176736 HAS SOUPS 89176736 WITH SCORE 8.9328826328E7
AT ITER 2303 NEW BEST:: SOT 653404808 SOS 152100831 HAS SOPS 152100831 HAS SOUS 89175611 HAS SOUPS 89175611 WITH SCORE 8.9327711831E7
AT ITER 2304 NEW BEST:: SOT 653398263 SOS 152094286 HAS SOPS 152094286 HAS SOUS 89169066 HAS SOUPS 89169066 WITH SCORE 8.9321160286E7
AT ITER 2311 NEW BEST:: SOT 653397120 SOS 152094337 HAS SOPS 152094337 HAS SOUS 89168702 HAS SOUPS 89168702 WITH SCORE 8.9320796337E7
AT ITER 2318 NEW BEST:: SOT 653397120 SOS 152082358 HAS SOPS 152082358 HAS SOUS 89168702 HAS SOUPS 89168702 WITH SCORE 8.9320784358E7
AT ITER 2320 NEW BEST:: SOT 653390598 SOS 152075836 HAS SOPS 152075836 HAS SOUS 89162180 HAS SOUPS 89162180 WITH SCORE 8.9314255836E7
AT ITER 2321 NEW BEST:: SOT 653390602 SOS 152063472 HAS SOPS 152063472 HAS SOUS 89162185 HAS SOUPS 89162185 WITH SCORE 8.9314248472E7
AT ITER 2337 NEW BEST:: SOT 653390602 SOS 152058516 HAS SOPS 152058516 HAS SOUS 89160533 HAS SOUPS 89160533 WITH SCORE 8.9312591516E7
AT ITER 2370 NEW BEST:: SOT 653389428 SOS 152056168 HAS SOPS 152056168 HAS SOUS 89157187 HAS SOUPS 89157187 WITH SCORE 8.9309243168E7
AT ITER 2392 NEW BEST:: SOT 653392213 SOS 152056166 HAS SOPS 152056166 HAS SOUS 89157186 HAS SOUPS 89157186 WITH SCORE 8.9309242166E7
AT ITER 2401 NEW BEST:: SOT 653390055 SOS 152056162 HAS SOPS 152056162 HAS SOUS 89156106 HAS SOUPS 89156106 WITH SCORE 8.9308162162E7
AT ITER 2417 NEW BEST:: SOT 653390054 SOS 152056161 HAS SOPS 152056161 HAS SOUS 89156105 HAS SOUPS 89156105 WITH SCORE 8.9308161161E7
AT ITER 2420 NEW BEST:: SOT 653386909 SOS 152059302 HAS SOPS 152059302 HAS SOUS 89149814 HAS SOUPS 89149814 WITH SCORE 8.9301873302E7
AT ITER 2462 NEW BEST:: SOT 653386909 SOS 152053290 HAS SOPS 152053290 HAS SOUS 89147810 HAS SOUPS 89147810 WITH SCORE 8.929986329E7
AT ITER 2466 NEW BEST:: SOT 653386027 SOS 152057046 HAS SOPS 152057046 HAS SOUS 89146928 HAS SOUPS 89146928 WITH SCORE 8.9298985046E7
AT ITER 2478 NEW BEST:: SOT 653386555 SOS 152058102 HAS SOPS 152058102 HAS SOUS 89143967 HAS SOUPS 89143967 WITH SCORE 8.9296025102E7
AT ITER 2480 NEW BEST:: SOT 653385864 SOS 152056720 HAS SOPS 152056720 HAS SOUS 89142585 HAS SOUPS 89142585 WITH SCORE 8.929464172E7
AT ITER 2488 NEW BEST:: SOT 653385864 SOS 152054856 HAS SOPS 152054856 HAS SOUS 89140721 HAS SOUPS 89140721 WITH SCORE 8.9292775856E7
AT ITER 2491 NEW BEST:: SOT 653385864 SOS 152054254 HAS SOPS 152054254 HAS SOUS 89140721 HAS SOUPS 89140721 WITH SCORE 8.9292775254E7
AT ITER 2524 NEW BEST:: SOT 653385203 SOS 152052932 HAS SOPS 152052932 HAS SOUS 89139399 HAS SOUPS 89139399 WITH SCORE 8.9291451932E7
AT ITER 2645 NEW BEST:: SOT 653384645 SOS 152052653 HAS SOPS 152052653 HAS SOUS 89139120 HAS SOUPS 89139120 WITH SCORE 8.9291172653E7
AT ITER 2655 NEW BEST:: SOT 653380185 SOS 152043733 HAS SOPS 152043733 HAS SOUS 89135642 HAS SOUPS 89135642 WITH SCORE 8.9287685733E7
AT ITER 2663 NEW BEST:: SOT 653381844 SOS 152062713 HAS SOPS 152062713 HAS SOUS 89133737 HAS SOUPS 89133737 WITH SCORE 8.9285799713E7
AT ITER 2690 NEW BEST:: SOT 653376869 SOS 152057738 HAS SOPS 152057738 HAS SOUS 89128762 HAS SOUPS 89128762 WITH SCORE 8.9280819738E7
AT ITER 2720 NEW BEST:: SOT 653376869 SOS 152057738 HAS SOPS 152057738 HAS SOUS 89128105 HAS SOUPS 89128105 WITH SCORE 8.9280162738E7
AT ITER 2741 NEW BEST:: SOT 653375862 SOS 152060185 HAS SOPS 152060185 HAS SOUS 89127098 HAS SOUPS 89127098 WITH SCORE 8.9279158185E7
AT ITER 2743 NEW BEST:: SOT 653375577 SOS 152059615 HAS SOPS 152059615 HAS SOUS 89126528 HAS SOUPS 89126528 WITH SCORE 8.9278587615E7
AT ITER 2751 NEW BEST:: SOT 653375577 SOS 152058183 HAS SOPS 152058183 HAS SOUS 89126528 HAS SOUPS 89126528 WITH SCORE 8.9278586183E7
AT ITER 2787 NEW BEST:: SOT 653375466 SOS 152057961 HAS SOPS 152057961 HAS SOUS 89126417 HAS SOUPS 89126417 WITH SCORE 8.9278474961E7
AT ITER 2801 NEW BEST:: SOT 653375037 SOS 152057103 HAS SOPS 152057103 HAS SOUS 89125559 HAS SOUPS 89125559 WITH SCORE 8.9277616103E7
AT ITER 2807 NEW BEST:: SOT 653373868 SOS 152055934 HAS SOPS 152055934 HAS SOUS 89123221 HAS SOUPS 89123221 WITH SCORE 8.9275276934E7
AT ITER 2820 NEW BEST:: SOT 653373550 SOS 152055299 HAS SOPS 152055299 HAS SOUS 89122586 HAS SOUPS 89122586 WITH SCORE 8.9274641299E7
AT ITER 2822 NEW BEST:: SOT 653368458 SOS 152050207 HAS SOPS 152050207 HAS SOUS 89117494 HAS SOUPS 89117494 WITH SCORE 8.9269544207E7
AT ITER 2825 NEW BEST:: SOT 653368458 SOS 152040904 HAS SOPS 152040904 HAS SOUS 89117494 HAS SOUPS 89117494 WITH SCORE 8.9269534904E7
AT ITER 2878 NEW BEST:: SOT 653364296 SOS 152032579 HAS SOPS 152032579 HAS SOUS 89109169 HAS SOUPS 89109169 WITH SCORE 8.9261201579E7
AT ITER 2893 NEW BEST:: SOT 653364296 SOS 152032579 HAS SOPS 152032579 HAS SOUS 89100840 HAS SOUPS 89100840 WITH SCORE 8.9252872579E7
AT ITER 2907 NEW BEST:: SOT 653359320 SOS 152027667 HAS SOPS 152027667 HAS SOUS 89095928 HAS SOUPS 89095928 WITH SCORE 8.9247955667E7
AT ITER 2912 NEW BEST:: SOT 653359320 SOS 152026893 HAS SOPS 152026893 HAS SOUS 89095154 HAS SOUPS 89095154 WITH SCORE 8.9247180893E7
AT ITER 2934 NEW BEST:: SOT 653354249 SOS 152023205 HAS SOPS 152023205 HAS SOUS 89093310 HAS SOUPS 89093310 WITH SCORE 8.9245333205E7
AT ITER 2939 NEW BEST:: SOT 653354249 SOS 152019008 HAS SOPS 152019008 HAS SOUS 89091911 HAS SOUPS 89091911 WITH SCORE 8.9243930008E7
AT ITER 2943 NEW BEST:: SOT 653358114 SOS 152026738 HAS SOPS 152026738 HAS SOUS 89091104 HAS SOUPS 89091104 WITH SCORE 8.9243130738E7
AT ITER 3026 NEW BEST:: SOT 653353459 SOS 152022079 HAS SOPS 152022079 HAS SOUS 89086448 HAS SOUPS 89086448 WITH SCORE 8.9238470079E7
AT ITER 3032 NEW BEST:: SOT 653353457 SOS 152022075 HAS SOPS 152022075 HAS SOUS 89086444 HAS SOUPS 89086444 WITH SCORE 8.9238466075E7
AT ITER 3034 NEW BEST:: SOT 653343868 SOS 152009907 HAS SOPS 152009907 HAS SOUS 89074276 HAS SOUPS 89074276 WITH SCORE 8.9226285907E7
AT ITER 3044 NEW BEST:: SOT 653343316 SOS 152008803 HAS SOPS 152008803 HAS SOUS 89073172 HAS SOUPS 89073172 WITH SCORE 8.9225180803E7
AT ITER 3049 NEW BEST:: SOT 653342629 SOS 152010169 HAS SOPS 152010169 HAS SOUS 89072483 HAS SOUPS 89072483 WITH SCORE 8.9224493169E7
AT ITER 3065 NEW BEST:: SOT 653342629 SOS 152010169 HAS SOPS 152010169 HAS SOUS 89072482 HAS SOUPS 89072482 WITH SCORE 8.9224492169E7
AT ITER 3110 NEW BEST:: SOT 653342629 SOS 152005798 HAS SOPS 152005798 HAS SOUS 89071025 HAS SOUPS 89071025 WITH SCORE 8.9223030798E7
AT ITER 3112 NEW BEST:: SOT 653343758 SOS 152003537 HAS SOPS 152003537 HAS SOUS 89071024 HAS SOUPS 89071024 WITH SCORE 8.9223027537E7
AT ITER 3124 NEW BEST:: SOT 653340256 SOS 151986027 HAS SOPS 151986027 HAS SOUS 89064020 HAS SOUPS 89064020 WITH SCORE 8.9216006027E7
AT ITER 3129 NEW BEST:: SOT 653339428 SOS 151987679 HAS SOPS 151987679 HAS SOUS 89063191 HAS SOUPS 89063191 WITH SCORE 8.9215178679E7
AT ITER 3139 NEW BEST:: SOT 653339428 SOS 151987679 HAS SOPS 151987679 HAS SOUS 89055097 HAS SOUPS 89055097 WITH SCORE 8.9207084679E7
AT ITER 3143 NEW BEST:: SOT 653335916 SOS 152001696 HAS SOPS 152001696 HAS SOUS 89048072 HAS SOUPS 89048072 WITH SCORE 8.9200073696E7
AT ITER 3166 NEW BEST:: SOT 653335238 SOS 152000340 HAS SOPS 152000340 HAS SOUS 89046716 HAS SOUPS 89046716 WITH SCORE 8.919871634E7
AT ITER 3205 NEW BEST:: SOT 653330182 SOS 151998613 HAS SOPS 151998613 HAS SOUS 89043405 HAS SOUPS 89043405 WITH SCORE 8.9195403613E7
AT ITER 3245 NEW BEST:: SOT 653326701 SOS 152002094 HAS SOPS 152002094 HAS SOUS 89037852 HAS SOUPS 89037852 WITH SCORE 8.9189854094E7
AT ITER 3249 NEW BEST:: SOT 653326701 SOS 152002094 HAS SOPS 152002094 HAS SOUS 89037851 HAS SOUPS 89037851 WITH SCORE 8.9189853094E7
AT ITER 3259 NEW BEST:: SOT 653326701 SOS 151991447 HAS SOPS 151991447 HAS SOUS 89037850 HAS SOUPS 89037850 WITH SCORE 8.9189841447E7
AT ITER 3271 NEW BEST:: SOT 653324196 SOS 151989170 HAS SOPS 151989170 HAS SOUS 89035345 HAS SOUPS 89035345 WITH SCORE 8.918733417E7
AT ITER 3275 NEW BEST:: SOT 653321913 SOS 151991320 HAS SOPS 151991320 HAS SOUS 89035280 HAS SOUPS 89035280 WITH SCORE 8.918727132E7
AT ITER 3290 NEW BEST:: SOT 653320443 SOS 151989850 HAS SOPS 151989850 HAS SOUS 89033810 HAS SOUPS 89033810 WITH SCORE 8.918579985E7
AT ITER 3299 NEW BEST:: SOT 653319532 SOS 151994370 HAS SOPS 151994370 HAS SOUS 89032899 HAS SOUPS 89032899 WITH SCORE 8.918489337E7
AT ITER 3329 NEW BEST:: SOT 653319532 SOS 152009118 HAS SOPS 152009118 HAS SOUS 89031221 HAS SOUPS 89031221 WITH SCORE 8.9183230118E7
AT ITER 3373 NEW BEST:: SOT 653317679 SOS 152011492 HAS SOPS 152011492 HAS SOUS 89031058 HAS SOUPS 89031058 WITH SCORE 8.9183069492E7
AT ITER 3382 NEW BEST:: SOT 653312819 SOS 152009062 HAS SOPS 152009062 HAS SOUS 89028628 HAS SOUPS 89028628 WITH SCORE 8.9180637062E7
AT ITER 3413 NEW BEST:: SOT 653312500 SOS 152008424 HAS SOPS 152008424 HAS SOUS 89027990 HAS SOUPS 89027990 WITH SCORE 8.9179998424E7
AT ITER 3438 NEW BEST:: SOT 653308661 SOS 152004585 HAS SOPS 152004585 HAS SOUS 89024151 HAS SOUPS 89024151 WITH SCORE 8.9176155585E7
AT ITER 3503 NEW BEST:: SOT 653304126 SOS 152000040 HAS SOPS 152000040 HAS SOUS 89019615 HAS SOUPS 89019615 WITH SCORE 8.917161504E7
AT ITER 3521 NEW BEST:: SOT 653302993 SOS 152002306 HAS SOPS 152002306 HAS SOUS 89018482 HAS SOUPS 89018482 WITH SCORE 8.9170484306E7
AT ITER 3531 NEW BEST:: SOT 653302993 SOS 151998499 HAS SOPS 151998499 HAS SOUS 89017213 HAS SOUPS 89017213 WITH SCORE 8.9169211499E7
AT ITER 3582 NEW BEST:: SOT 653303462 SOS 151997558 HAS SOPS 151997558 HAS SOUS 89017212 HAS SOUPS 89017212 WITH SCORE 8.9169209558E7
AT ITER 3599 NEW BEST:: SOT 653303462 SOS 151997558 HAS SOPS 151997558 HAS SOUS 89016772 HAS SOUPS 89016772 WITH SCORE 8.9168769558E7
AT ITER 3600 NEW BEST:: SOT 653303148 SOS 151996302 HAS SOPS 151996302 HAS SOUS 89016458 HAS SOUPS 89016458 WITH SCORE 8.9168454302E7
AT ITER 3610 NEW BEST:: SOT 653283524 SOS 151982030 HAS SOPS 151982030 HAS SOUS 89009322 HAS SOUPS 89009322 WITH SCORE 8.916130403E7
AT ITER 3635 NEW BEST:: SOT 653282602 SOS 151981108 HAS SOPS 151981108 HAS SOUS 89008400 HAS SOUPS 89008400 WITH SCORE 8.9160381108E7
AT ITER 3661 NEW BEST:: SOT 653282387 SOS 151980678 HAS SOPS 151980678 HAS SOUS 89007970 HAS SOUPS 89007970 WITH SCORE 8.9159950678E7
AT ITER 3690 NEW BEST:: SOT 653280315 SOS 151984818 HAS SOPS 151984818 HAS SOUS 89005897 HAS SOUPS 89005897 WITH SCORE 8.9157881818E7
AT ITER 3699 NEW BEST:: SOT 653280315 SOS 151980273 HAS SOPS 151980273 HAS SOUS 89004382 HAS SOUPS 89004382 WITH SCORE 8.9156362273E7
AT ITER 3701 NEW BEST:: SOT 653278821 SOS 151977285 HAS SOPS 151977285 HAS SOUS 89001394 HAS SOUPS 89001394 WITH SCORE 8.9153371285E7
AT ITER 3711 NEW BEST:: SOT 653277721 SOS 151977425 HAS SOPS 151977425 HAS SOUS 89000294 HAS SOUPS 89000294 WITH SCORE 8.9152271425E7
AT ITER 3739 NEW BEST:: SOT 653277721 SOS 151976997 HAS SOPS 151976997 HAS SOUS 89000294 HAS SOUPS 89000294 WITH SCORE 8.9152270997E7
AT ITER 3759 NEW BEST:: SOT 653276972 SOS 151975499 HAS SOPS 151975499 HAS SOUS 88999545 HAS SOUPS 88999545 WITH SCORE 8.9151520499E7
AT ITER 3770 NEW BEST:: SOT 653276972 SOS 151975247 HAS SOPS 151975247 HAS SOUS 88999545 HAS SOUPS 88999545 WITH SCORE 8.9151520247E7
AT ITER 3786 NEW BEST:: SOT 653276078 SOS 151973459 HAS SOPS 151973459 HAS SOUS 88998651 HAS SOUPS 88998651 WITH SCORE 8.9150624459E7
AT ITER 3794 NEW BEST:: SOT 653270996 SOS 151968711 HAS SOPS 151968711 HAS SOUS 88993906 HAS SOUPS 88993906 WITH SCORE 8.9145874711E7
AT ITER 3821 NEW BEST:: SOT 653270996 SOS 151964274 HAS SOPS 151964274 HAS SOUS 88992427 HAS SOUPS 88992427 WITH SCORE 8.9144391274E7
AT ITER 3828 NEW BEST:: SOT 653270996 SOS 151964273 HAS SOPS 151964273 HAS SOUS 88992426 HAS SOUPS 88992426 WITH SCORE 8.9144390273E7
AT ITER 3834 NEW BEST:: SOT 653270596 SOS 151964673 HAS SOPS 151964673 HAS SOUS 88992026 HAS SOUPS 88992026 WITH SCORE 8.9143990673E7
AT ITER 3859 NEW BEST:: SOT 653270219 SOS 151964555 HAS SOPS 151964555 HAS SOUS 88991649 HAS SOUPS 88991649 WITH SCORE 8.9143613555E7
AT ITER 3860 NEW BEST:: SOT 653270873 SOS 151963244 HAS SOPS 151963244 HAS SOUS 88991648 HAS SOUPS 88991648 WITH SCORE 8.9143611244E7
AT ITER 3888 NEW BEST:: SOT 653270957 SOS 151963412 HAS SOPS 151963412 HAS SOUS 88983393 HAS SOUPS 88983393 WITH SCORE 8.9135356412E7
AT ITER 3895 NEW BEST:: SOT 653271796 SOS 151965090 HAS SOPS 151965090 HAS SOUS 88977271 HAS SOUPS 88977271 WITH SCORE 8.912923609E7
AT ITER 3915 NEW BEST:: SOT 653271796 SOS 151964072 HAS SOPS 151964072 HAS SOUS 88976762 HAS SOUPS 88976762 WITH SCORE 8.9128726072E7
AT ITER 3953 NEW BEST:: SOT 653267325 SOS 151959597 HAS SOPS 151959597 HAS SOUS 88972290 HAS SOUPS 88972290 WITH SCORE 8.9124249597E7
AT ITER 3956 NEW BEST:: SOT 653267325 SOS 151949628 HAS SOPS 151949628 HAS SOUS 88968967 HAS SOUPS 88968967 WITH SCORE 8.9120916628E7
AT ITER 3995 NEW BEST:: SOT 653267324 SOS 151949626 HAS SOPS 151949626 HAS SOUS 88968965 HAS SOUPS 88968965 WITH SCORE 8.9120914626E7
AT ITER 4089 NEW BEST:: SOT 653267324 SOS 151946581 HAS SOPS 151946581 HAS SOUS 88967950 HAS SOUPS 88967950 WITH SCORE 8.9119896581E7
AT ITER 4090 NEW BEST:: SOT 653267324 SOS 151947225 HAS SOPS 151947225 HAS SOUS 88967949 HAS SOUPS 88967949 WITH SCORE 8.9119896225E7
AT ITER 4199 NEW BEST:: SOT 653263646 SOS 151944310 HAS SOPS 151944310 HAS SOUS 88964773 HAS SOUPS 88964773 WITH SCORE 8.911671731E7
AT ITER 4208 NEW BEST:: SOT 653258610 SOS 151939642 HAS SOPS 151939642 HAS SOUS 88960105 HAS SOUPS 88960105 WITH SCORE 8.9112044642E7
AT ITER 4217 NEW BEST:: SOT 653258610 SOS 151930873 HAS SOPS 151930873 HAS SOUS 88957510 HAS SOUPS 88957510 WITH SCORE 8.9109440873E7
AT ITER 4232 NEW BEST:: SOT 653253529 SOS 151925792 HAS SOPS 151925792 HAS SOUS 88952429 HAS SOUPS 88952429 WITH SCORE 8.9104354792E7
AT ITER 4259 NEW BEST:: SOT 653252961 SOS 151924656 HAS SOPS 151924656 HAS SOUS 88951293 HAS SOUPS 88951293 WITH SCORE 8.9103217656E7
AT ITER 4265 NEW BEST:: SOT 653247229 SOS 151918924 HAS SOPS 151918924 HAS SOUS 88945561 HAS SOUPS 88945561 WITH SCORE 8.9097479924E7
AT ITER 4274 NEW BEST:: SOT 653247229 SOS 151910308 HAS SOPS 151910308 HAS SOUS 88942689 HAS SOUPS 88942689 WITH SCORE 8.9094599308E7
AT ITER 4286 NEW BEST:: SOT 653244865 SOS 151891396 HAS SOPS 151891396 HAS SOUS 88938351 HAS SOUPS 88938351 WITH SCORE 8.9090242396E7
AT ITER 4299 NEW BEST:: SOT 653244496 SOS 151890658 HAS SOPS 151890658 HAS SOUS 88937613 HAS SOUPS 88937613 WITH SCORE 8.9089503658E7
AT ITER 4307 NEW BEST:: SOT 653245481 SOS 151888687 HAS SOPS 151888687 HAS SOUS 88937612 HAS SOUPS 88937612 WITH SCORE 8.9089500687E7
AT ITER 4319 NEW BEST:: SOT 653245481 SOS 151887844 HAS SOPS 151887844 HAS SOUS 88937331 HAS SOUPS 88937331 WITH SCORE 8.9089218844E7
AT ITER 4320 NEW BEST:: SOT 653241934 SOS 151886548 HAS SOPS 151886548 HAS SOUS 88933784 HAS SOUPS 88933784 WITH SCORE 8.9085670548E7
AT ITER 4336 NEW BEST:: SOT 653241934 SOS 151879549 HAS SOPS 151879549 HAS SOUS 88931451 HAS SOUPS 88931451 WITH SCORE 8.9083330549E7
AT ITER 4392 NEW BEST:: SOT 653241934 SOS 151879285 HAS SOPS 151879285 HAS SOUS 88930803 HAS SOUPS 88930803 WITH SCORE 8.9082682285E7
AT ITER 4412 NEW BEST:: SOT 653235362 SOS 151872713 HAS SOPS 151872713 HAS SOUS 88924231 HAS SOUPS 88924231 WITH SCORE 8.9076103713E7
AT ITER 4461 NEW BEST:: SOT 653235555 SOS 151870574 HAS SOPS 151870574 HAS SOUS 88921899 HAS SOUPS 88921899 WITH SCORE 8.9073769574E7
AT ITER 4468 NEW BEST:: SOT 653234806 SOS 151869076 HAS SOPS 151869076 HAS SOUS 88915958 HAS SOUPS 88915958 WITH SCORE 8.9067827076E7
AT ITER 4485 NEW BEST:: SOT 653233928 SOS 151868453 HAS SOPS 151868453 HAS SOUS 88915335 HAS SOUPS 88915335 WITH SCORE 8.9067203453E7
AT ITER 4513 NEW BEST:: SOT 653227140 SOS 151861664 HAS SOPS 151861664 HAS SOUS 88908546 HAS SOUPS 88908546 WITH SCORE 8.9060407664E7
AT ITER 4532 NEW BEST:: SOT 653228793 SOS 151864970 HAS SOPS 151864970 HAS SOUS 88906741 HAS SOUPS 88906741 WITH SCORE 8.905860597E7
AT ITER 4568 NEW BEST:: SOT 653226933 SOS 151863110 HAS SOPS 151863110 HAS SOUS 88906741 HAS SOUPS 88906741 WITH SCORE 8.905860411E7
AT ITER 4573 NEW BEST:: SOT 653221865 SOS 151860576 HAS SOPS 151860576 HAS SOUS 88904207 HAS SOUPS 88904207 WITH SCORE 8.9056067576E7
AT ITER 4611 NEW BEST:: SOT 653216711 SOS 151855911 HAS SOPS 151855911 HAS SOUS 88899542 HAS SOUPS 88899542 WITH SCORE 8.9051397911E7
AT ITER 4709 NEW BEST:: SOT 653216710 SOS 151855909 HAS SOPS 151855909 HAS SOUS 88899540 HAS SOUPS 88899540 WITH SCORE 8.9051395909E7
AT ITER 4752 NEW BEST:: SOT 653211540 SOS 151853320 HAS SOPS 151853320 HAS SOUS 88896954 HAS SOUPS 88896954 WITH SCORE 8.904880732E7
AT ITER 4784 NEW BEST:: SOT 653209963 SOS 151856474 HAS SOPS 151856474 HAS SOUS 88895377 HAS SOUPS 88895377 WITH SCORE 8.9047233474E7
AT ITER 4801 NEW BEST:: SOT 653209401 SOS 151855351 HAS SOPS 151855351 HAS SOUS 88894254 HAS SOUPS 88894254 WITH SCORE 8.9046109351E7
AT ITER 4836 NEW BEST:: SOT 653208937 SOS 151855815 HAS SOPS 151855815 HAS SOUS 88893790 HAS SOUPS 88893790 WITH SCORE 8.9045645815E7
AT ITER 4865 NEW BEST:: SOT 653194777 SOS 151841655 HAS SOPS 151841655 HAS SOUS 88879630 HAS SOUPS 88879630 WITH SCORE 8.9031471655E7
AT ITER 4873 NEW BEST:: SOT 653187649 SOS 151833150 HAS SOPS 151833150 HAS SOUS 88868937 HAS SOUPS 88868937 WITH SCORE 8.902077015E7
AT ITER 4882 NEW BEST:: SOT 653182155 SOS 151816668 HAS SOPS 151816668 HAS SOUS 88860696 HAS SOUPS 88860696 WITH SCORE 8.9012512668E7
AT ITER 4923 NEW BEST:: SOT 653181023 SOS 151818928 HAS SOPS 151818928 HAS SOUS 88859563 HAS SOUPS 88859563 WITH SCORE 8.9011381928E7
AT ITER 4981 NEW BEST:: SOT 653168378 SOS 151808928 HAS SOPS 151808928 HAS SOUS 88846918 HAS SOUPS 88846918 WITH SCORE 8.8998726928E7
AT ITER 5031 NEW BEST:: SOT 653165898 SOS 151803968 HAS SOPS 151803968 HAS SOUS 88841958 HAS SOUPS 88841958 WITH SCORE 8.8993761968E7
AT ITER 5035 NEW BEST:: SOT 653165898 SOS 151794551 HAS SOPS 151794551 HAS SOUS 88838819 HAS SOUPS 88838819 WITH SCORE 8.8990613551E7
AT ITER 5067 NEW BEST:: SOT 653162247 SOS 151790900 HAS SOPS 151790900 HAS SOUS 88835168 HAS SOUPS 88835168 WITH SCORE 8.89869589E7
AT ITER 5072 NEW BEST:: SOT 653162247 SOS 151787727 HAS SOPS 151787727 HAS SOUS 88835168 HAS SOUPS 88835168 WITH SCORE 8.8986955727E7
AT ITER 5100 NEW BEST:: SOT 653160924 SOS 151779411 HAS SOPS 151779411 HAS SOUS 88831955 HAS SOUPS 88831955 WITH SCORE 8.8983734411E7
AT ITER 5123 NEW BEST:: SOT 653160924 SOS 151777067 HAS SOPS 151777067 HAS SOUS 88829611 HAS SOUPS 88829611 WITH SCORE 8.8981388067E7
AT ITER 5140 NEW BEST:: SOT 653160923 SOS 151777065 HAS SOPS 151777065 HAS SOUS 88829609 HAS SOUPS 88829609 WITH SCORE 8.8981386065E7
AT ITER 5150 NEW BEST:: SOT 653160922 SOS 151777063 HAS SOPS 151777063 HAS SOUS 88829607 HAS SOUPS 88829607 WITH SCORE 8.8981384063E7
AT ITER 5159 NEW BEST:: SOT 653157473 SOS 151770165 HAS SOPS 151770165 HAS SOUS 88826157 HAS SOUPS 88826157 WITH SCORE 8.8977927165E7
AT ITER 5167 NEW BEST:: SOT 653157473 SOS 151770165 HAS SOPS 151770165 HAS SOUS 88826146 HAS SOUPS 88826146 WITH SCORE 8.8977916165E7
AT ITER 5175 NEW BEST:: SOT 653157441 SOS 151770411 HAS SOPS 151770411 HAS SOUS 88826145 HAS SOUPS 88826145 WITH SCORE 8.8977915411E7
AT ITER 5213 NEW BEST:: SOT 653158479 SOS 151768332 HAS SOPS 151768332 HAS SOUS 88826144 HAS SOUPS 88826144 WITH SCORE 8.8977912332E7
AT ITER 5221 NEW BEST:: SOT 653159574 SOS 151770522 HAS SOPS 151770522 HAS SOUS 88825910 HAS SOUPS 88825910 WITH SCORE 8.8977680522E7
AT ITER 5246 NEW BEST:: SOT 653151992 SOS 151755358 HAS SOPS 151755358 HAS SOUS 88810746 HAS SOUPS 88810746 WITH SCORE 8.8962501358E7
AT ITER 5257 NEW BEST:: SOT 653150849 SOS 151755357 HAS SOPS 151755357 HAS SOUS 88810745 HAS SOUPS 88810745 WITH SCORE 8.8962500357E7
AT ITER 5259 NEW BEST:: SOT 653145792 SOS 151750300 HAS SOPS 151750300 HAS SOUS 88805688 HAS SOUPS 88805688 WITH SCORE 8.89574383E7
AT ITER 5268 NEW BEST:: SOT 653144536 SOS 151747788 HAS SOPS 151747788 HAS SOUS 88803176 HAS SOUPS 88803176 WITH SCORE 8.8954923788E7
AT ITER 5278 NEW BEST:: SOT 653143930 SOS 151746576 HAS SOPS 151746576 HAS SOUS 88801218 HAS SOUPS 88801218 WITH SCORE 8.8952964576E7
AT ITER 5289 NEW BEST:: SOT 653143930 SOS 151744326 HAS SOPS 151744326 HAS SOUS 88801218 HAS SOUPS 88801218 WITH SCORE 8.8952962326E7
AT ITER 5291 NEW BEST:: SOT 653143930 SOS 151746226 HAS SOPS 151746226 HAS SOUS 88801216 HAS SOUPS 88801216 WITH SCORE 8.8952962226E7
AT ITER 5298 NEW BEST:: SOT 653139248 SOS 151749951 HAS SOPS 151749951 HAS SOUS 88791851 HAS SOUPS 88791851 WITH SCORE 8.8943600951E7
AT ITER 5301 NEW BEST:: SOT 653134418 SOS 151745117 HAS SOPS 151745117 HAS SOUS 88787020 HAS SOUPS 88787020 WITH SCORE 8.8938765117E7
AT ITER 5319 NEW BEST:: SOT 653132748 SOS 151743447 HAS SOPS 151743447 HAS SOUS 88785350 HAS SOUPS 88785350 WITH SCORE 8.8937093447E7
AT ITER 5334 NEW BEST:: SOT 653130216 SOS 151738383 HAS SOPS 151738383 HAS SOUS 88781586 HAS SOUPS 88781586 WITH SCORE 8.8933324383E7
AT ITER 5342 NEW BEST:: SOT 653130216 SOS 151737810 HAS SOPS 151737810 HAS SOUS 88781586 HAS SOUPS 88781586 WITH SCORE 8.893332381E7
AT ITER 5354 NEW BEST:: SOT 653127446 SOS 151740580 HAS SOPS 151740580 HAS SOUS 88780551 HAS SOUPS 88780551 WITH SCORE 8.893229158E7
AT ITER 5360 NEW BEST:: SOT 653127446 SOS 151740580 HAS SOPS 151740580 HAS SOUS 88779571 HAS SOUPS 88779571 WITH SCORE 8.893131158E7
AT ITER 5367 NEW BEST:: SOT 653126843 SOS 151739977 HAS SOPS 151739977 HAS SOUS 88778968 HAS SOUPS 88778968 WITH SCORE 8.8930707977E7
AT ITER 5371 NEW BEST:: SOT 653129058 SOS 151739975 HAS SOPS 151739975 HAS SOUS 88778967 HAS SOUPS 88778967 WITH SCORE 8.8930706975E7
AT ITER 5376 NEW BEST:: SOT 653127930 SOS 151738847 HAS SOPS 151738847 HAS SOUS 88777839 HAS SOUPS 88777839 WITH SCORE 8.8929577847E7
AT ITER 5398 NEW BEST:: SOT 653126346 SOS 151735679 HAS SOPS 151735679 HAS SOUS 88776255 HAS SOUPS 88776255 WITH SCORE 8.8927990679E7
AT ITER 5425 NEW BEST:: SOT 653126345 SOS 151734534 HAS SOPS 151734534 HAS SOUS 88775110 HAS SOUPS 88775110 WITH SCORE 8.8926844534E7
AT ITER 5436 NEW BEST:: SOT 653125150 SOS 151732144 HAS SOPS 151732144 HAS SOUS 88773915 HAS SOUPS 88773915 WITH SCORE 8.8925647144E7
AT ITER 5437 NEW BEST:: SOT 653124983 SOS 151731810 HAS SOPS 151731810 HAS SOUS 88773581 HAS SOUPS 88773581 WITH SCORE 8.892531281E7
AT ITER 5440 NEW BEST:: SOT 653123653 SOS 151740414 HAS SOPS 151740414 HAS SOUS 88773143 HAS SOUPS 88773143 WITH SCORE 8.8924883414E7
AT ITER 5457 NEW BEST:: SOT 653122899 SOS 151740414 HAS SOPS 151740414 HAS SOUS 88772766 HAS SOUPS 88772766 WITH SCORE 8.8924506414E7
AT ITER 5471 NEW BEST:: SOT 653122430 SOS 151739476 HAS SOPS 151739476 HAS SOUS 88771828 HAS SOUPS 88771828 WITH SCORE 8.8923567476E7
AT ITER 5514 NEW BEST:: SOT 653119754 SOS 151736800 HAS SOPS 151736800 HAS SOUS 88771828 HAS SOUPS 88771828 WITH SCORE 8.89235648E7
AT ITER 5517 NEW BEST:: SOT 653119754 SOS 151736800 HAS SOPS 151736800 HAS SOUS 88771827 HAS SOUPS 88771827 WITH SCORE 8.89235638E7
AT ITER 5587 NEW BEST:: SOT 653119754 SOS 151727770 HAS SOPS 151727770 HAS SOUS 88768817 HAS SOUPS 88768817 WITH SCORE 8.892054477E7
AT ITER 5594 NEW BEST:: SOT 653119539 SOS 151727340 HAS SOPS 151727340 HAS SOUS 88768387 HAS SOUPS 88768387 WITH SCORE 8.892011434E7
AT ITER 5599 NEW BEST:: SOT 653112796 SOS 151722436 HAS SOPS 151722436 HAS SOUS 88765935 HAS SOUPS 88765935 WITH SCORE 8.8917657436E7
AT ITER 5627 NEW BEST:: SOT 653109329 SOS 151719906 HAS SOPS 151719906 HAS SOUS 88763404 HAS SOUPS 88763404 WITH SCORE 8.8915123906E7
AT ITER 5629 NEW BEST:: SOT 653108457 SOS 151718162 HAS SOPS 151718162 HAS SOUS 88759324 HAS SOUPS 88759324 WITH SCORE 8.8911042162E7
AT ITER 5631 NEW BEST:: SOT 653103875 SOS 151713869 HAS SOPS 151713869 HAS SOUS 88755031 HAS SOUPS 88755031 WITH SCORE 8.8906744869E7
AT ITER 5656 NEW BEST:: SOT 653103030 SOS 151712180 HAS SOPS 151712180 HAS SOUS 88753342 HAS SOUPS 88753342 WITH SCORE 8.890505418E7
AT ITER 5660 NEW BEST:: SOT 653103030 SOS 151701785 HAS SOPS 151701785 HAS SOUS 88753341 HAS SOUPS 88753341 WITH SCORE 8.8905042785E7
AT ITER 5665 NEW BEST:: SOT 653102960 SOS 151701715 HAS SOPS 151701715 HAS SOUS 88753271 HAS SOUPS 88753271 WITH SCORE 8.8904972715E7
AT ITER 5714 NEW BEST:: SOT 653079840 SOS 151691575 HAS SOPS 151691575 HAS SOUS 88731862 HAS SOUPS 88731862 WITH SCORE 8.8883553575E7
AT ITER 5716 NEW BEST:: SOT 653077180 SOS 151699635 HAS SOPS 151699635 HAS SOUS 88727827 HAS SOUPS 88727827 WITH SCORE 8.8879526635E7
AT ITER 5741 NEW BEST:: SOT 653077180 SOS 151700785 HAS SOPS 151700785 HAS SOUS 88727825 HAS SOUPS 88727825 WITH SCORE 8.8879525785E7
AT ITER 5745 NEW BEST:: SOT 653073409 SOS 151697014 HAS SOPS 151697014 HAS SOUS 88724054 HAS SOUPS 88724054 WITH SCORE 8.8875751014E7
AT ITER 5751 NEW BEST:: SOT 653073145 SOS 151695958 HAS SOPS 151695958 HAS SOUS 88723790 HAS SOUPS 88723790 WITH SCORE 8.8875485958E7
AT ITER 5762 NEW BEST:: SOT 653073145 SOS 151695376 HAS SOPS 151695376 HAS SOUS 88723208 HAS SOUPS 88723208 WITH SCORE 8.8874903376E7
AT ITER 5765 NEW BEST:: SOT 653072848 SOS 151694782 HAS SOPS 151694782 HAS SOUS 88722614 HAS SOUPS 88722614 WITH SCORE 8.8874308782E7
AT ITER 5767 NEW BEST:: SOT 653068579 SOS 151694781 HAS SOPS 151694781 HAS SOUS 88722613 HAS SOUPS 88722613 WITH SCORE 8.8874307781E7
AT ITER 5768 NEW BEST:: SOT 653070295 SOS 151698213 HAS SOPS 151698213 HAS SOUS 88717859 HAS SOUPS 88717859 WITH SCORE 8.8869557213E7
AT ITER 5785 NEW BEST:: SOT 653070295 SOS 151690680 HAS SOPS 151690680 HAS SOUS 88715348 HAS SOUPS 88715348 WITH SCORE 8.886703868E7
AT ITER 5798 NEW BEST:: SOT 653069256 SOS 151733034 HAS SOPS 151733034 HAS SOUS 88713269 HAS SOUPS 88713269 WITH SCORE 8.8865002034E7
AT ITER 5805 NEW BEST:: SOT 653069256 SOS 151733822 HAS SOPS 151733822 HAS SOUS 88713267 HAS SOUPS 88713267 WITH SCORE 8.8865000822E7
AT ITER 5828 NEW BEST:: SOT 653062359 SOS 151728806 HAS SOPS 151728806 HAS SOUS 88710759 HAS SOUPS 88710759 WITH SCORE 8.8862487806E7
AT ITER 5877 NEW BEST:: SOT 653060515 SOS 151734445 HAS SOPS 151734445 HAS SOUS 88708915 HAS SOUPS 88708915 WITH SCORE 8.8860649445E7
AT ITER 5903 NEW BEST:: SOT 653059159 SOS 151731733 HAS SOPS 151731733 HAS SOUS 88704687 HAS SOUPS 88704687 WITH SCORE 8.8856418733E7
AT ITER 5937 NEW BEST:: SOT 653057910 SOS 151727986 HAS SOPS 151727986 HAS SOUS 88702189 HAS SOUPS 88702189 WITH SCORE 8.8853916986E7
AT ITER 5962 NEW BEST:: SOT 653056264 SOS 151724694 HAS SOPS 151724694 HAS SOUS 88698207 HAS SOUPS 88698207 WITH SCORE 8.8849931694E7
AT ITER 5988 NEW BEST:: SOT 653056254 SOS 151723890 HAS SOPS 151723890 HAS SOUS 88697403 HAS SOUPS 88697403 WITH SCORE 8.884912689E7
AT ITER 5999 NEW BEST:: SOT 653055645 SOS 151723444 HAS SOPS 151723444 HAS SOUS 88695761 HAS SOUPS 88695761 WITH SCORE 8.8847484444E7
AT ITER 6043 NEW BEST:: SOT 653055645 SOS 151723444 HAS SOPS 151723444 HAS SOUS 88695759 HAS SOUPS 88695759 WITH SCORE 8.8847482444E7
AT ITER 6046 NEW BEST:: SOT 653053737 SOS 151719628 HAS SOPS 151719628 HAS SOUS 88691943 HAS SOUPS 88691943 WITH SCORE 8.8843662628E7
AT ITER 6082 NEW BEST:: SOT 653050216 SOS 151723386 HAS SOPS 151723386 HAS SOUS 88688422 HAS SOUPS 88688422 WITH SCORE 8.8840145386E7
AT ITER 6101 NEW BEST:: SOT 653049570 SOS 151723383 HAS SOPS 151723383 HAS SOUS 88688421 HAS SOUPS 88688421 WITH SCORE 8.8840144383E7
AT ITER 6121 NEW BEST:: SOT 653045955 SOS 151719768 HAS SOPS 151719768 HAS SOUS 88684806 HAS SOUPS 88684806 WITH SCORE 8.8836525768E7
AT ITER 6158 NEW BEST:: SOT 653045497 SOS 151718852 HAS SOPS 151718852 HAS SOUS 88684348 HAS SOUPS 88684348 WITH SCORE 8.8836066852E7
AT ITER 6166 NEW BEST:: SOT 653046562 SOS 151734673 HAS SOPS 151734673 HAS SOUS 88681912 HAS SOUPS 88681912 WITH SCORE 8.8833646673E7
AT ITER 6197 NEW BEST:: SOT 653039266 SOS 151734991 HAS SOPS 151734991 HAS SOUS 88674616 HAS SOUPS 88674616 WITH SCORE 8.8826350991E7
AT ITER 6201 NEW BEST:: SOT 653040314 SOS 151732894 HAS SOPS 151732894 HAS SOUS 88674615 HAS SOUPS 88674615 WITH SCORE 8.8826347894E7
AT ITER 6218 NEW BEST:: SOT 653033757 SOS 151732894 HAS SOPS 151732894 HAS SOUS 88668058 HAS SOUPS 88668058 WITH SCORE 8.8819790894E7
AT ITER 6225 NEW BEST:: SOT 653025480 SOS 151716340 HAS SOPS 151716340 HAS SOUS 88651504 HAS SOUPS 88651504 WITH SCORE 8.880322034E7
AT ITER 6244 NEW BEST:: SOT 653025479 SOS 151716338 HAS SOPS 151716338 HAS SOUS 88651502 HAS SOUPS 88651502 WITH SCORE 8.8803218338E7
AT ITER 6254 NEW BEST:: SOT 653021189 SOS 151712044 HAS SOPS 151712044 HAS SOUS 88647211 HAS SOUPS 88647211 WITH SCORE 8.8798923044E7
AT ITER 6258 NEW BEST:: SOT 653022135 SOS 151726123 HAS SOPS 151726123 HAS SOUS 88646491 HAS SOUPS 88646491 WITH SCORE 8.8798217123E7
AT ITER 6260 NEW BEST:: SOT 653020869 SOS 151725490 HAS SOPS 151725490 HAS SOUS 88645858 HAS SOUPS 88645858 WITH SCORE 8.879758349E7
AT ITER 6266 NEW BEST:: SOT 653020869 SOS 151740829 HAS SOPS 151740829 HAS SOUS 88643810 HAS SOUPS 88643810 WITH SCORE 8.8795550829E7
AT ITER 6315 NEW BEST:: SOT 653016573 SOS 151736794 HAS SOPS 151736794 HAS SOUS 88639514 HAS SOUPS 88639514 WITH SCORE 8.8791250794E7
AT ITER 6345 NEW BEST:: SOT 653016572 SOS 151734176 HAS SOPS 151734176 HAS SOUS 88636896 HAS SOUPS 88636896 WITH SCORE 8.8788630176E7
AT ITER 6362 NEW BEST:: SOT 653010967 SOS 151734176 HAS SOPS 151734176 HAS SOUS 88631291 HAS SOUPS 88631291 WITH SCORE 8.8783025176E7
AT ITER 6372 NEW BEST:: SOT 653010967 SOS 151728197 HAS SOPS 151728197 HAS SOUS 88629298 HAS SOUPS 88629298 WITH SCORE 8.8781026197E7
AT ITER 6383 NEW BEST:: SOT 653005946 SOS 151723279 HAS SOPS 151723279 HAS SOUS 88624380 HAS SOUPS 88624380 WITH SCORE 8.8776103279E7
AT ITER 6397 NEW BEST:: SOT 653005644 SOS 151723879 HAS SOPS 151723879 HAS SOUS 88624379 HAS SOUPS 88624379 WITH SCORE 8.8776102879E7
AT ITER 6472 NEW BEST:: SOT 653004445 SOS 151721481 HAS SOPS 151721481 HAS SOUS 88621981 HAS SOUPS 88621981 WITH SCORE 8.8773702481E7
AT ITER 6475 NEW BEST:: SOT 653005241 SOS 151700098 HAS SOPS 151700098 HAS SOUS 88619476 HAS SOUPS 88619476 WITH SCORE 8.8771176098E7
AT ITER 6486 NEW BEST:: SOT 653005241 SOS 151698242 HAS SOPS 151698242 HAS SOUS 88617620 HAS SOUPS 88617620 WITH SCORE 8.8769318242E7
AT ITER 6505 NEW BEST:: SOT 653004745 SOS 151708311 HAS SOPS 151708311 HAS SOUS 88614638 HAS SOUPS 88614638 WITH SCORE 8.8766346311E7
AT ITER 6535 NEW BEST:: SOT 652997445 SOS 151701011 HAS SOPS 151701011 HAS SOUS 88607338 HAS SOUPS 88607338 WITH SCORE 8.8759039011E7
AT ITER 6569 NEW BEST:: SOT 652995618 SOS 151699314 HAS SOPS 151699314 HAS SOUS 88605577 HAS SOUPS 88605577 WITH SCORE 8.8757276314E7
AT ITER 6630 NEW BEST:: SOT 652990395 SOS 151694087 HAS SOPS 151694087 HAS SOUS 88600353 HAS SOUPS 88600353 WITH SCORE 8.8752047087E7
AT ITER 6644 NEW BEST:: SOT 652987591 SOS 151688479 HAS SOPS 151688479 HAS SOUS 88597549 HAS SOUPS 88597549 WITH SCORE 8.8749237479E7
AT ITER 6664 NEW BEST:: SOT 652985763 SOS 151692131 HAS SOPS 151692131 HAS SOUS 88595720 HAS SOUPS 88595720 WITH SCORE 8.8747412131E7
AT ITER 6670 NEW BEST:: SOT 652978975 SOS 151688737 HAS SOPS 151688737 HAS SOUS 88592326 HAS SOUPS 88592326 WITH SCORE 8.8744014737E7
AT ITER 6676 NEW BEST:: SOT 652975481 SOS 151686403 HAS SOPS 151686403 HAS SOUS 88589992 HAS SOUPS 88589992 WITH SCORE 8.8741678403E7
AT ITER 6685 NEW BEST:: SOT 652975481 SOS 151686403 HAS SOPS 151686403 HAS SOUS 88586497 HAS SOUPS 88586497 WITH SCORE 8.8738183403E7
AT ITER 6696 NEW BEST:: SOT 652973891 SOS 151683223 HAS SOPS 151683223 HAS SOUS 88583317 HAS SOUPS 88583317 WITH SCORE 8.8735000223E7
AT ITER 6701 NEW BEST:: SOT 652966550 SOS 151676553 HAS SOPS 151676553 HAS SOUS 88576313 HAS SOUPS 88576313 WITH SCORE 8.8727989553E7
AT ITER 6714 NEW BEST:: SOT 652960331 SOS 151670334 HAS SOPS 151670334 HAS SOUS 88570094 HAS SOUPS 88570094 WITH SCORE 8.8721764334E7
AT ITER 6758 NEW BEST:: SOT 652960331 SOS 151670334 HAS SOPS 151670334 HAS SOUS 88562575 HAS SOUPS 88562575 WITH SCORE 8.8714245334E7
AT ITER 6763 NEW BEST:: SOT 652958986 SOS 151667644 HAS SOPS 151667644 HAS SOUS 88558937 HAS SOUPS 88558937 WITH SCORE 8.8710604644E7
AT ITER 6779 NEW BEST:: SOT 652953601 SOS 151608409 HAS SOPS 151608409 HAS SOUS 88548167 HAS SOUPS 88548167 WITH SCORE 8.8699775409E7
AT ITER 6787 NEW BEST:: SOT 652953601 SOS 151608409 HAS SOPS 151608409 HAS SOUS 88547650 HAS SOUPS 88547650 WITH SCORE 8.8699258409E7
AT ITER 6791 NEW BEST:: SOT 652954690 SOS 151610587 HAS SOPS 151610587 HAS SOUS 88545266 HAS SOUPS 88545266 WITH SCORE 8.8696876587E7
AT ITER 6794 NEW BEST:: SOT 652954690 SOS 151604404 HAS SOPS 151604404 HAS SOUS 88543205 HAS SOUPS 88543205 WITH SCORE 8.8694809404E7
AT ITER 6812 NEW BEST:: SOT 652954690 SOS 151598431 HAS SOPS 151598431 HAS SOUS 88541214 HAS SOUPS 88541214 WITH SCORE 8.8692812431E7
AT ITER 6817 NEW BEST:: SOT 652954690 SOS 151598092 HAS SOPS 151598092 HAS SOUS 88541101 HAS SOUPS 88541101 WITH SCORE 8.8692699092E7
AT ITER 6831 NEW BEST:: SOT 652953760 SOS 151601755 HAS SOPS 151601755 HAS SOUS 88540171 HAS SOUPS 88540171 WITH SCORE 8.8691772755E7
AT ITER 6834 NEW BEST:: SOT 652953760 SOS 151601755 HAS SOPS 151601755 HAS SOUS 88532210 HAS SOUPS 88532210 WITH SCORE 8.8683811755E7
AT ITER 6852 NEW BEST:: SOT 652953760 SOS 151561471 HAS SOPS 151561471 HAS SOUS 88532210 HAS SOUPS 88532210 WITH SCORE 8.8683771471E7
AT ITER 6858 NEW BEST:: SOT 652946753 SOS 151561471 HAS SOPS 151561471 HAS SOUS 88524138 HAS SOUPS 88524138 WITH SCORE 8.8675699471E7
AT ITER 6863 NEW BEST:: SOT 652946052 SOS 151560069 HAS SOPS 151560069 HAS SOUS 88522736 HAS SOUPS 88522736 WITH SCORE 8.8674296069E7
AT ITER 6873 NEW BEST:: SOT 652945443 SOS 151560674 HAS SOPS 151560674 HAS SOUS 88522735 HAS SOUPS 88522735 WITH SCORE 8.8674295674E7
AT ITER 6885 NEW BEST:: SOT 652945057 SOS 151559710 HAS SOPS 151559710 HAS SOUS 88521771 HAS SOUPS 88521771 WITH SCORE 8.867333071E7
AT ITER 6901 NEW BEST:: SOT 652941562 SOS 151559700 HAS SOPS 151559700 HAS SOUS 88519382 HAS SOUPS 88519382 WITH SCORE 8.86709417E7
AT ITER 6912 NEW BEST:: SOT 652940983 SOS 151564322 HAS SOPS 151564322 HAS SOUS 88518802 HAS SOUPS 88518802 WITH SCORE 8.8670366322E7
AT ITER 6925 NEW BEST:: SOT 652939585 SOS 151565716 HAS SOPS 151565716 HAS SOUS 88516005 HAS SOUPS 88516005 WITH SCORE 8.8667570716E7
AT ITER 6943 NEW BEST:: SOT 652936528 SOS 151559602 HAS SOPS 151559602 HAS SOUS 88513514 HAS SOUPS 88513514 WITH SCORE 8.8665073602E7
AT ITER 6944 NEW BEST:: SOT 652931924 SOS 151555387 HAS SOPS 151555387 HAS SOUS 88508910 HAS SOUPS 88508910 WITH SCORE 8.8660465387E7
AT ITER 6950 NEW BEST:: SOT 652928498 SOS 151558813 HAS SOPS 151558813 HAS SOUS 88503736 HAS SOUPS 88503736 WITH SCORE 8.8655294813E7
AT ITER 6958 NEW BEST:: SOT 652905596 SOS 151542157 HAS SOPS 151542157 HAS SOUS 88495408 HAS SOUPS 88495408 WITH SCORE 8.8646950157E7
AT ITER 6969 NEW BEST:: SOT 652900646 SOS 151537203 HAS SOPS 151537203 HAS SOUS 88490457 HAS SOUPS 88490457 WITH SCORE 8.8641994203E7
AT ITER 6972 NEW BEST:: SOT 652899214 SOS 151540063 HAS SOPS 151540063 HAS SOUS 88489024 HAS SOUPS 88489024 WITH SCORE 8.8640564063E7
AT ITER 6977 NEW BEST:: SOT 652899214 SOS 151540063 HAS SOPS 151540063 HAS SOUS 88488122 HAS SOUPS 88488122 WITH SCORE 8.8639662063E7
AT ITER 6979 NEW BEST:: SOT 652898656 SOS 151538711 HAS SOPS 151538711 HAS SOUS 88486770 HAS SOUPS 88486770 WITH SCORE 8.8638308711E7
AT ITER 7005 NEW BEST:: SOT 652894960 SOS 151536023 HAS SOPS 151536023 HAS SOUS 88485426 HAS SOUPS 88485426 WITH SCORE 8.8636962023E7
AT ITER 7022 NEW BEST:: SOT 652894803 SOS 151535709 HAS SOPS 151535709 HAS SOUS 88485112 HAS SOUPS 88485112 WITH SCORE 8.8636647709E7
AT ITER 7053 NEW BEST:: SOT 652894104 SOS 151534307 HAS SOPS 151534307 HAS SOUS 88483713 HAS SOUPS 88483713 WITH SCORE 8.8635247307E7
AT ITER 7161 NEW BEST:: SOT 652894104 SOS 151534303 HAS SOPS 151534303 HAS SOUS 88483712 HAS SOUPS 88483712 WITH SCORE 8.8635246303E7
AT ITER 7174 NEW BEST:: SOT 652893464 SOS 151534299 HAS SOPS 151534299 HAS SOUS 88483071 HAS SOUPS 88483071 WITH SCORE 8.8634605299E7
AT ITER 7193 NEW BEST:: SOT 652891982 SOS 151531335 HAS SOPS 151531335 HAS SOUS 88479511 HAS SOUPS 88479511 WITH SCORE 8.8631042335E7
AT ITER 7269 NEW BEST:: SOT 652891195 SOS 151529761 HAS SOPS 151529761 HAS SOUS 88477937 HAS SOUPS 88477937 WITH SCORE 8.8629466761E7
AT ITER 7288 NEW BEST:: SOT 652892576 SOS 151532523 HAS SOPS 151532523 HAS SOUS 88475923 HAS SOUPS 88475923 WITH SCORE 8.8627455523E7
AT ITER 7293 NEW BEST:: SOT 652889678 SOS 151526727 HAS SOPS 151526727 HAS SOUS 88473024 HAS SOUPS 88473024 WITH SCORE 8.8624550727E7
AT ITER 7330 NEW BEST:: SOT 652883880 SOS 151520929 HAS SOPS 151520929 HAS SOUS 88461428 HAS SOUPS 88461428 WITH SCORE 8.8612948929E7
AT ITER 7337 NEW BEST:: SOT 652882794 SOS 151523097 HAS SOPS 151523097 HAS SOUS 88460341 HAS SOUPS 88460341 WITH SCORE 8.8611864097E7
AT ITER 7369 NEW BEST:: SOT 652882794 SOS 151519569 HAS SOPS 151519569 HAS SOUS 88459165 HAS SOUPS 88459165 WITH SCORE 8.8610684569E7
AT ITER 7374 NEW BEST:: SOT 652881846 SOS 151522281 HAS SOPS 151522281 HAS SOUS 88458217 HAS SOUPS 88458217 WITH SCORE 8.8609739281E7
AT ITER 7417 NEW BEST:: SOT 652880569 SOS 151519727 HAS SOPS 151519727 HAS SOUS 88453391 HAS SOUPS 88453391 WITH SCORE 8.8604910727E7
AT ITER 7430 NEW BEST:: SOT 652879541 SOS 151519723 HAS SOPS 151519723 HAS SOUS 88452876 HAS SOUPS 88452876 WITH SCORE 8.8604395723E7
AT ITER 7441 NEW BEST:: SOT 652879490 SOS 151519621 HAS SOPS 151519621 HAS SOUS 88451280 HAS SOUPS 88451280 WITH SCORE 8.8602799621E7
AT ITER 7478 NEW BEST:: SOT 652877709 SOS 151516059 HAS SOPS 151516059 HAS SOUS 88446139 HAS SOUPS 88446139 WITH SCORE 8.8597655059E7
AT ITER 7525 NEW BEST:: SOT 652877709 SOS 151516059 HAS SOPS 151516059 HAS SOUS 88438266 HAS SOUPS 88438266 WITH SCORE 8.8589782059E7
AT ITER 7545 NEW BEST:: SOT 652876507 SOS 151524214 HAS SOPS 151524214 HAS SOUS 88434137 HAS SOUPS 88434137 WITH SCORE 8.8585661214E7
AT ITER 7607 NEW BEST:: SOT 652871407 SOS 151528988 HAS SOPS 151528988 HAS SOUS 88429037 HAS SOUPS 88429037 WITH SCORE 8.8580565988E7
AT ITER 7645 NEW BEST:: SOT 652868947 SOS 151528984 HAS SOPS 151528984 HAS SOUS 88427806 HAS SOUPS 88427806 WITH SCORE 8.8579334984E7
AT ITER 7669 NEW BEST:: SOT 652868146 SOS 151527382 HAS SOPS 151527382 HAS SOUS 88427005 HAS SOUPS 88427005 WITH SCORE 8.8578532382E7
AT ITER 7670 NEW BEST:: SOT 652864689 SOS 151525493 HAS SOPS 151525493 HAS SOUS 88424576 HAS SOUPS 88424576 WITH SCORE 8.8576101493E7
AT ITER 7680 NEW BEST:: SOT 652864122 SOS 151522658 HAS SOPS 151522658 HAS SOUS 88423442 HAS SOUPS 88423442 WITH SCORE 8.8574964658E7
AT ITER 7686 NEW BEST:: SOT 652864122 SOS 151514636 HAS SOPS 151514636 HAS SOUS 88421527 HAS SOUPS 88421527 WITH SCORE 8.8573041636E7
AT ITER 7694 NEW BEST:: SOT 652857294 SOS 151511645 HAS SOPS 151511645 HAS SOUS 88414773 HAS SOUPS 88414773 WITH SCORE 8.8566284645E7
AT ITER 7716 NEW BEST:: SOT 652860997 SOS 151501294 HAS SOPS 151501294 HAS SOUS 88414365 HAS SOUPS 88414365 WITH SCORE 8.8565866294E7
AT ITER 7717 NEW BEST:: SOT 652860997 SOS 151492033 HAS SOPS 151492033 HAS SOUS 88411278 HAS SOUPS 88411278 WITH SCORE 8.8562770033E7
AT ITER 7719 NEW BEST:: SOT 652860997 SOS 151482994 HAS SOPS 151482994 HAS SOUS 88408265 HAS SOUPS 88408265 WITH SCORE 8.8559747994E7
AT ITER 7721 NEW BEST:: SOT 652860994 SOS 151482988 HAS SOPS 151482988 HAS SOUS 88408259 HAS SOUPS 88408259 WITH SCORE 8.8559741988E7
AT ITER 7729 NEW BEST:: SOT 652855917 SOS 151478734 HAS SOPS 151478734 HAS SOUS 88401868 HAS SOUPS 88401868 WITH SCORE 8.8553346734E7
AT ITER 7762 NEW BEST:: SOT 652856352 SOS 151491381 HAS SOPS 151491381 HAS SOUS 88398810 HAS SOUPS 88398810 WITH SCORE 8.8550301381E7
AT ITER 7779 NEW BEST:: SOT 652854417 SOS 151489446 HAS SOPS 151489446 HAS SOUS 88396875 HAS SOUPS 88396875 WITH SCORE 8.8548364446E7
AT ITER 7794 NEW BEST:: SOT 652853076 SOS 151492128 HAS SOPS 151492128 HAS SOUS 88395534 HAS SOUPS 88395534 WITH SCORE 8.8547026128E7
AT ITER 7804 NEW BEST:: SOT 652853075 SOS 151492126 HAS SOPS 151492126 HAS SOUS 88395532 HAS SOUPS 88395532 WITH SCORE 8.8547024126E7
AT ITER 7821 NEW BEST:: SOT 652853075 SOS 151492126 HAS SOPS 151492126 HAS SOUS 88395531 HAS SOUPS 88395531 WITH SCORE 8.8547023126E7
AT ITER 7842 NEW BEST:: SOT 652848693 SOS 151489312 HAS SOPS 151489312 HAS SOUS 88391148 HAS SOUPS 88391148 WITH SCORE 8.8542637312E7
AT ITER 7878 NEW BEST:: SOT 652848915 SOS 151489756 HAS SOPS 151489756 HAS SOUS 88391147 HAS SOUPS 88391147 WITH SCORE 8.8542636756E7
AT ITER 7899 NEW BEST:: SOT 652848121 SOS 151489172 HAS SOPS 151489172 HAS SOUS 88390563 HAS SOUPS 88390563 WITH SCORE 8.8542052172E7
AT ITER 7907 NEW BEST:: SOT 652848121 SOS 151477751 HAS SOPS 151477751 HAS SOUS 88390563 HAS SOUPS 88390563 WITH SCORE 8.8542040751E7
AT ITER 7971 NEW BEST:: SOT 652839895 SOS 151469589 HAS SOPS 151469589 HAS SOUS 88382360 HAS SOUPS 88382360 WITH SCORE 8.8533829589E7
AT ITER 8011 NEW BEST:: SOT 652839524 SOS 151467734 HAS SOPS 151467734 HAS SOUS 88381618 HAS SOUPS 88381618 WITH SCORE 8.8533085734E7
AT ITER 8032 NEW BEST:: SOT 652838857 SOS 151467067 HAS SOPS 151467067 HAS SOUS 88380951 HAS SOUPS 88380951 WITH SCORE 8.8532418067E7
AT ITER 8058 NEW BEST:: SOT 652840625 SOS 151503974 HAS SOPS 151503974 HAS SOUS 88380777 HAS SOUPS 88380777 WITH SCORE 8.8532280974E7
AT ITER 8061 NEW BEST:: SOT 652828148 SOS 151492052 HAS SOPS 151492052 HAS SOUS 88368300 HAS SOUPS 88368300 WITH SCORE 8.8519792052E7
AT ITER 8062 NEW BEST:: SOT 652826443 SOS 151491906 HAS SOPS 151491906 HAS SOUS 88368157 HAS SOUPS 88368157 WITH SCORE 8.8519648906E7
AT ITER 8064 NEW BEST:: SOT 652825501 SOS 151490022 HAS SOPS 151490022 HAS SOUS 88366273 HAS SOUPS 88366273 WITH SCORE 8.8517763022E7
AT ITER 8067 NEW BEST:: SOT 652821983 SOS 151497274 HAS SOPS 151497274 HAS SOUS 88359236 HAS SOUPS 88359236 WITH SCORE 8.8510733274E7
AT ITER 8091 NEW BEST:: SOT 652821294 SOS 151495896 HAS SOPS 151495896 HAS SOUS 88357510 HAS SOUPS 88357510 WITH SCORE 8.8509005896E7
AT ITER 8094 NEW BEST:: SOT 652819132 SOS 151493734 HAS SOPS 151493734 HAS SOUS 88353186 HAS SOUPS 88353186 WITH SCORE 8.8504679734E7
AT ITER 8119 NEW BEST:: SOT 652819132 SOS 151488136 HAS SOPS 151488136 HAS SOUS 88351320 HAS SOUPS 88351320 WITH SCORE 8.8502808136E7
AT ITER 8125 NEW BEST:: SOT 652817456 SOS 151484784 HAS SOPS 151484784 HAS SOUS 88349644 HAS SOUPS 88349644 WITH SCORE 8.8501128784E7
AT ITER 8158 NEW BEST:: SOT 652813220 SOS 151482662 HAS SOPS 151482662 HAS SOUS 88347525 HAS SOUPS 88347525 WITH SCORE 8.8499007662E7
AT ITER 8161 NEW BEST:: SOT 652808271 SOS 151477966 HAS SOPS 151477966 HAS SOUS 88342832 HAS SOUPS 88342832 WITH SCORE 8.8494309966E7
AT ITER 8232 NEW BEST:: SOT 652808271 SOS 151468672 HAS SOPS 151468672 HAS SOUS 88339734 HAS SOUPS 88339734 WITH SCORE 8.8491202672E7
AT ITER 8241 NEW BEST:: SOT 652808271 SOS 151473949 HAS SOPS 151473949 HAS SOUS 88337923 HAS SOUPS 88337923 WITH SCORE 8.8489396949E7
AT ITER 8263 NEW BEST:: SOT 652791168 SOS 151467057 HAS SOPS 151467057 HAS SOUS 88334851 HAS SOUPS 88334851 WITH SCORE 8.8486318057E7
AT ITER 8289 NEW BEST:: SOT 652790460 SOS 151466994 HAS SOPS 151466994 HAS SOUS 88334594 HAS SOUPS 88334594 WITH SCORE 8.8486060994E7
AT ITER 8315 NEW BEST:: SOT 652789887 SOS 151465848 HAS SOPS 151465848 HAS SOUS 88333448 HAS SOUPS 88333448 WITH SCORE 8.8484913848E7
AT ITER 8322 NEW BEST:: SOT 652785022 SOS 151441523 HAS SOPS 151441523 HAS SOUS 88323718 HAS SOUPS 88323718 WITH SCORE 8.8475159523E7
AT ITER 8366 NEW BEST:: SOT 652783418 SOS 151438314 HAS SOPS 151438314 HAS SOUS 88320509 HAS SOUPS 88320509 WITH SCORE 8.8471947314E7
AT ITER 8373 NEW BEST:: SOT 652779178 SOS 151436194 HAS SOPS 151436194 HAS SOUS 88318389 HAS SOUPS 88318389 WITH SCORE 8.8469825194E7
AT ITER 8375 NEW BEST:: SOT 652779178 SOS 151423552 HAS SOPS 151423552 HAS SOUS 88318389 HAS SOUPS 88318389 WITH SCORE 8.8469812552E7
AT ITER 8392 NEW BEST:: SOT 652779178 SOS 151429340 HAS SOPS 151429340 HAS SOUS 88314463 HAS SOUPS 88314463 WITH SCORE 8.846589234E7
AT ITER 8395 NEW BEST:: SOT 652773734 SOS 151434784 HAS SOPS 151434784 HAS SOUS 88307387 HAS SOUPS 88307387 WITH SCORE 8.8458821784E7
AT ITER 8399 NEW BEST:: SOT 652770662 SOS 151446687 HAS SOPS 151446687 HAS SOUS 88301242 HAS SOUPS 88301242 WITH SCORE 8.8452688687E7
AT ITER 8404 NEW BEST:: SOT 652768397 SOS 151442157 HAS SOPS 151442157 HAS SOUS 88296712 HAS SOUPS 88296712 WITH SCORE 8.8448154157E7
AT ITER 8410 NEW BEST:: SOT 652767870 SOS 151441103 HAS SOPS 151441103 HAS SOUS 88292635 HAS SOUPS 88292635 WITH SCORE 8.8444076103E7
AT ITER 8457 NEW BEST:: SOT 652768022 SOS 151442921 HAS SOPS 151442921 HAS SOUS 88292608 HAS SOUPS 88292608 WITH SCORE 8.8444050921E7
AT ITER 8458 NEW BEST:: SOT 652768022 SOS 151455789 HAS SOPS 151455789 HAS SOUS 88291743 HAS SOUPS 88291743 WITH SCORE 8.8443198789E7
AT ITER 8496 NEW BEST:: SOT 652767947 SOS 151455635 HAS SOPS 151455635 HAS SOUS 88291592 HAS SOUPS 88291592 WITH SCORE 8.8443047635E7
AT ITER 8516 NEW BEST:: SOT 652764958 SOS 151449657 HAS SOPS 151449657 HAS SOUS 88285614 HAS SOUPS 88285614 WITH SCORE 8.8437063657E7
AT ITER 8520 NEW BEST:: SOT 652763935 SOS 151448634 HAS SOPS 151448634 HAS SOUS 88284591 HAS SOUPS 88284591 WITH SCORE 8.8436039634E7
AT ITER 8529 NEW BEST:: SOT 652763935 SOS 151448634 HAS SOPS 151448634 HAS SOUS 88276995 HAS SOUPS 88276995 WITH SCORE 8.8428443634E7
AT ITER 8535 NEW BEST:: SOT 652764354 SOS 151449472 HAS SOPS 151449472 HAS SOUS 88269299 HAS SOUPS 88269299 WITH SCORE 8.8420748472E7
AT ITER 8568 NEW BEST:: SOT 652765852 SOS 151451437 HAS SOPS 151451437 HAS SOUS 88268775 HAS SOUPS 88268775 WITH SCORE 8.8420226437E7
AT ITER 8582 NEW BEST:: SOT 652764825 SOS 151451330 HAS SOPS 151451330 HAS SOUS 88268591 HAS SOUPS 88268591 WITH SCORE 8.842004233E7
AT ITER 8639 NEW BEST:: SOT 652767234 SOS 151440872 HAS SOPS 151440872 HAS SOUS 88267112 HAS SOUPS 88267112 WITH SCORE 8.8418552872E7
AT ITER 8643 NEW BEST:: SOT 652761121 SOS 151435551 HAS SOPS 151435551 HAS SOUS 88260999 HAS SOUPS 88260999 WITH SCORE 8.8412434551E7
AT ITER 8669 NEW BEST:: SOT 652757691 SOS 151432121 HAS SOPS 151432121 HAS SOUS 88257569 HAS SOUPS 88257569 WITH SCORE 8.8409001121E7
AT ITER 8698 NEW BEST:: SOT 652757691 SOS 151421729 HAS SOPS 151421729 HAS SOUS 88257568 HAS SOUPS 88257568 WITH SCORE 8.8408989729E7
AT ITER 8719 NEW BEST:: SOT 652754128 SOS 151419866 HAS SOPS 151419866 HAS SOUS 88255704 HAS SOUPS 88255704 WITH SCORE 8.8407123866E7
AT ITER 8737 NEW BEST:: SOT 652753160 SOS 151419856 HAS SOPS 151419856 HAS SOUS 88254735 HAS SOUPS 88254735 WITH SCORE 8.8406154856E7
AT ITER 8738 NEW BEST:: SOT 652753841 SOS 151421218 HAS SOPS 151421218 HAS SOUS 88253280 HAS SOUPS 88253280 WITH SCORE 8.8404701218E7
AT ITER 8775 NEW BEST:: SOT 652753047 SOS 151420454 HAS SOPS 151420454 HAS SOUS 88252516 HAS SOUPS 88252516 WITH SCORE 8.8403936454E7
AT ITER 8792 NEW BEST:: SOT 652752327 SOS 151426044 HAS SOPS 151426044 HAS SOUS 88251796 HAS SOUPS 88251796 WITH SCORE 8.8403222044E7
AT ITER 8803 NEW BEST:: SOT 652752326 SOS 151424015 HAS SOPS 151424015 HAS SOUS 88249767 HAS SOUPS 88249767 WITH SCORE 8.8401191015E7
AT ITER 8842 NEW BEST:: SOT 652725611 SOS 151418427 HAS SOPS 151418427 HAS SOUS 88249311 HAS SOUPS 88249311 WITH SCORE 8.8400729427E7
AT ITER 8851 NEW BEST:: SOT 652725611 SOS 151418877 HAS SOPS 151418877 HAS SOUS 88249309 HAS SOUPS 88249309 WITH SCORE 8.8400727877E7
AT ITER 8856 NEW BEST:: SOT 652724244 SOS 151421603 HAS SOPS 151421603 HAS SOUS 88247940 HAS SOUPS 88247940 WITH SCORE 8.8399361603E7
AT ITER 8889 NEW BEST:: SOT 652724243 SOS 151421601 HAS SOPS 151421601 HAS SOUS 88247938 HAS SOUPS 88247938 WITH SCORE 8.8399359601E7
AT ITER 8904 NEW BEST:: SOT 652723647 SOS 151419217 HAS SOPS 151419217 HAS SOUS 88246746 HAS SOUPS 88246746 WITH SCORE 8.8398165217E7
AT ITER 8909 NEW BEST:: SOT 652721965 SOS 151417535 HAS SOPS 151417535 HAS SOUS 88245064 HAS SOUPS 88245064 WITH SCORE 8.8396481535E7
AT ITER 8929 NEW BEST:: SOT 652721964 SOS 151417533 HAS SOPS 151417533 HAS SOUS 88245062 HAS SOUPS 88245062 WITH SCORE 8.8396479533E7
AT ITER 8956 NEW BEST:: SOT 652716958 SOS 151412523 HAS SOPS 151412523 HAS SOUS 88240055 HAS SOUPS 88240055 WITH SCORE 8.8391467523E7
AT ITER 8970 NEW BEST:: SOT 652716924 SOS 151412455 HAS SOPS 151412455 HAS SOUS 88239987 HAS SOUPS 88239987 WITH SCORE 8.8391399455E7
AT ITER 8971 NEW BEST:: SOT 652719335 SOS 151417277 HAS SOPS 151417277 HAS SOUS 88236435 HAS SOUPS 88236435 WITH SCORE 8.8387852277E7
AT ITER 8986 NEW BEST:: SOT 652719335 SOS 151404626 HAS SOPS 151404626 HAS SOUS 88236435 HAS SOUPS 88236435 WITH SCORE 8.8387839626E7
AT ITER 9000 NEW BEST:: SOT 652708423 SOS 151396690 HAS SOPS 151396690 HAS SOUS 88232467 HAS SOUPS 88232467 WITH SCORE 8.838386369E7
AT ITER 9082 NEW BEST:: SOT 652708423 SOS 151402153 HAS SOPS 151402153 HAS SOUS 88227004 HAS SOUPS 88227004 WITH SCORE 8.8378406153E7
AT ITER 9086 NEW BEST:: SOT 652705108 SOS 151398834 HAS SOPS 151398834 HAS SOUS 88223688 HAS SOUPS 88223688 WITH SCORE 8.8375086834E7
AT ITER 9089 NEW BEST:: SOT 652702665 SOS 151393948 HAS SOPS 151393948 HAS SOUS 88217272 HAS SOUPS 88217272 WITH SCORE 8.8368665948E7
AT ITER 9122 NEW BEST:: SOT 652703447 SOS 151408228 HAS SOPS 151408228 HAS SOUS 88214595 HAS SOUPS 88214595 WITH SCORE 8.8366003228E7
AT ITER 9247 NEW BEST:: SOT 652703447 SOS 151400653 HAS SOPS 151400653 HAS SOUS 88212434 HAS SOUPS 88212434 WITH SCORE 8.8363834653E7
AT ITER 9269 NEW BEST:: SOT 652703447 SOS 151419031 HAS SOPS 151419031 HAS SOUS 88210614 HAS SOUPS 88210614 WITH SCORE 8.8362033031E7
AT ITER 9321 NEW BEST:: SOT 652700480 SOS 151422786 HAS SOPS 151422786 HAS SOUS 88204415 HAS SOUPS 88204415 WITH SCORE 8.8355837786E7
AT ITER 9346 NEW BEST:: SOT 652699369 SOS 151422581 HAS SOPS 151422581 HAS SOUS 88203758 HAS SOUPS 88203758 WITH SCORE 8.8355180581E7
AT ITER 9347 NEW BEST:: SOT 652693678 SOS 151394126 HAS SOPS 151394126 HAS SOUS 88192376 HAS SOUPS 88192376 WITH SCORE 8.8343770126E7
AT ITER 9349 NEW BEST:: SOT 652693678 SOS 151392133 HAS SOPS 151392133 HAS SOUS 88192376 HAS SOUPS 88192376 WITH SCORE 8.8343768133E7
AT ITER 9352 NEW BEST:: SOT 652691389 SOS 151388157 HAS SOPS 151388157 HAS SOUS 88188400 HAS SOUPS 88188400 WITH SCORE 8.8339788157E7
AT ITER 9379 NEW BEST:: SOT 652678339 SOS 151417264 HAS SOPS 151417264 HAS SOUS 88185532 HAS SOUPS 88185532 WITH SCORE 8.8336949264E7
AT ITER 9385 NEW BEST:: SOT 652673776 SOS 151412701 HAS SOPS 151412701 HAS SOUS 88180969 HAS SOUPS 88180969 WITH SCORE 8.8332381701E7
AT ITER 9462 NEW BEST:: SOT 652669518 SOS 151403907 HAS SOPS 151403907 HAS SOUS 88175577 HAS SOUPS 88175577 WITH SCORE 8.8326980907E7
AT ITER 9467 NEW BEST:: SOT 652669108 SOS 151404723 HAS SOPS 151404723 HAS SOUS 88175166 HAS SOUPS 88175166 WITH SCORE 8.8326570723E7
AT ITER 9478 NEW BEST:: SOT 652669108 SOS 151405631 HAS SOPS 151405631 HAS SOUS 88175164 HAS SOUPS 88175164 WITH SCORE 8.8326569631E7
AT ITER 9512 NEW BEST:: SOT 652669108 SOS 151396547 HAS SOPS 151396547 HAS SOUS 88172136 HAS SOUPS 88172136 WITH SCORE 8.8323532547E7
AT ITER 9516 NEW BEST:: SOT 652664638 SOS 151391365 HAS SOPS 151391365 HAS SOUS 88167662 HAS SOUPS 88167662 WITH SCORE 8.8319053365E7
AT ITER 9525 NEW BEST:: SOT 652665089 SOS 151392267 HAS SOPS 151392267 HAS SOUS 88160144 HAS SOUPS 88160144 WITH SCORE 8.8311536267E7
AT ITER 9526 NEW BEST:: SOT 652663207 SOS 151387691 HAS SOPS 151387691 HAS SOUS 88155568 HAS SOUPS 88155568 WITH SCORE 8.8306955691E7
AT ITER 9528 NEW BEST:: SOT 652662661 SOS 151386599 HAS SOPS 151386599 HAS SOUS 88154476 HAS SOUPS 88154476 WITH SCORE 8.8305862599E7
AT ITER 9531 NEW BEST:: SOT 652655996 SOS 151379934 HAS SOPS 151379934 HAS SOUS 88147811 HAS SOUPS 88147811 WITH SCORE 8.8299190934E7
AT ITER 9536 NEW BEST:: SOT 652655446 SOS 151378834 HAS SOPS 151378834 HAS SOUS 88146711 HAS SOUPS 88146711 WITH SCORE 8.8298089834E7
AT ITER 9540 NEW BEST:: SOT 652652692 SOS 151381588 HAS SOPS 151381588 HAS SOUS 88145516 HAS SOUPS 88145516 WITH SCORE 8.8296897588E7
AT ITER 9553 NEW BEST:: SOT 652651495 SOS 151379194 HAS SOPS 151379194 HAS SOUS 88143122 HAS SOUPS 88143122 WITH SCORE 8.8294501194E7
AT ITER 9564 NEW BEST:: SOT 652651445 SOS 151379094 HAS SOPS 151379094 HAS SOUS 88143022 HAS SOUPS 88143022 WITH SCORE 8.8294401094E7
AT ITER 9571 NEW BEST:: SOT 652648816 SOS 151384042 HAS SOPS 151384042 HAS SOUS 88140885 HAS SOUPS 88140885 WITH SCORE 8.8292269042E7
AT ITER 9599 NEW BEST:: SOT 652645950 SOS 151386905 HAS SOPS 151386905 HAS SOUS 88138018 HAS SOUPS 88138018 WITH SCORE 8.8289404905E7
AT ITER 9600 NEW BEST:: SOT 652645949 SOS 151386903 HAS SOPS 151386903 HAS SOUS 88138016 HAS SOUPS 88138016 WITH SCORE 8.8289402903E7
AT ITER 9623 NEW BEST:: SOT 652645949 SOS 151386031 HAS SOPS 151386031 HAS SOUS 88137144 HAS SOUPS 88137144 WITH SCORE 8.8288530031E7
AT ITER 9643 NEW BEST:: SOT 652644755 SOS 151383643 HAS SOPS 151383643 HAS SOUS 88134756 HAS SOUPS 88134756 WITH SCORE 8.8286139643E7
AT ITER 9658 NEW BEST:: SOT 652637850 SOS 151390548 HAS SOPS 151390548 HAS SOUS 88127851 HAS SOUPS 88127851 WITH SCORE 8.8279241548E7
AT ITER 9729 NEW BEST:: SOT 652637108 SOS 151389064 HAS SOPS 151389064 HAS SOUS 88127109 HAS SOUPS 88127109 WITH SCORE 8.8278498064E7
AT ITER 9737 NEW BEST:: SOT 652623186 SOS 151369596 HAS SOPS 151369596 HAS SOUS 88117460 HAS SOUPS 88117460 WITH SCORE 8.8268829596E7
AT ITER 9769 NEW BEST:: SOT 652625263 SOS 151365442 HAS SOPS 151365442 HAS SOUS 88117460 HAS SOUPS 88117460 WITH SCORE 8.8268825442E7
AT ITER 9793 NEW BEST:: SOT 652625263 SOS 151365442 HAS SOPS 151365442 HAS SOUS 88117459 HAS SOUPS 88117459 WITH SCORE 8.8268824442E7
AT ITER 9796 NEW BEST:: SOT 652624581 SOS 151364078 HAS SOPS 151364078 HAS SOUS 88116095 HAS SOUPS 88116095 WITH SCORE 8.8267459078E7
AT ITER 9810 NEW BEST:: SOT 652624123 SOS 151357474 HAS SOPS 151357474 HAS SOUS 88114862 HAS SOUPS 88114862 WITH SCORE 8.8266219474E7
AT ITER 9852 NEW BEST:: SOT 652624122 SOS 151357472 HAS SOPS 151357472 HAS SOUS 88114860 HAS SOUPS 88114860 WITH SCORE 8.8266217472E7
AT ITER 9864 NEW BEST:: SOT 652627053 SOS 151347875 HAS SOPS 151347875 HAS SOUS 88114103 HAS SOUPS 88114103 WITH SCORE 8.8265450875E7
AT ITER 9866 NEW BEST:: SOT 652620997 SOS 151335763 HAS SOPS 151335763 HAS SOUS 88099644 HAS SOUPS 88099644 WITH SCORE 8.8250979763E7
AT ITER 9922 NEW BEST:: SOT 652623289 SOS 151335761 HAS SOPS 151335761 HAS SOUS 88099643 HAS SOUPS 88099643 WITH SCORE 8.8250978761E7
AT ITER 9980 NEW BEST:: SOT 652612388 SOS 151327833 HAS SOPS 151327833 HAS SOUS 88095679 HAS SOUPS 88095679 WITH SCORE 8.8247006833E7
AT ITER 9987 NEW BEST:: SOT 652607707 SOS 151304428 HAS SOPS 151304428 HAS SOUS 88086317 HAS SOUPS 88086317 WITH SCORE 8.8237621428E7
AT ITER 9996 NEW BEST:: SOT 652605063 SOS 151299140 HAS SOPS 151299140 HAS SOUS 88085370 HAS SOUPS 88085370 WITH SCORE 8.823666914E7

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6b"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-6b, 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 r048-ebro-158902542200416"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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