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.r063-tajo-158922806900048.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 DLCshifumi-PT-4b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.3M
-rw-r--r-- 1 mcc users 4.1K Mar 30 23:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 23:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 29 12:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 29 12:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 08:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 08:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 02:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 27 02:24 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 5.1M 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 1589357748073

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 4b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2 NEW BEST:: SOT 205166145 SOS 40434194 HAS SOPS 40434194 HAS SOUS 31049752 HAS SOUPS 31049752 WITH SCORE 3.1090186194E7
AT ITER 20 NEW BEST:: SOT 205166145 SOS 40434194 HAS SOPS 40434194 HAS SOUS 31049751 HAS SOUPS 31049751 WITH SCORE 3.1090185194E7
AT ITER 59 NEW BEST:: SOT 205166145 SOS 40432680 HAS SOPS 40432680 HAS SOUS 31049751 HAS SOUPS 31049751 WITH SCORE 3.109018368E7
AT ITER 77 NEW BEST:: SOT 205164283 SOS 40430814 HAS SOPS 40430814 HAS SOUS 31047888 HAS SOUPS 31047888 WITH SCORE 3.1088318814E7
AT ITER 98 NEW BEST:: SOT 205162237 SOS 40426722 HAS SOPS 40426722 HAS SOUS 31043796 HAS SOUPS 31043796 WITH SCORE 3.1084222722E7
AT ITER 111 NEW BEST:: SOT 205160958 SOS 40425439 HAS SOPS 40425439 HAS SOUS 31042516 HAS SOUPS 31042516 WITH SCORE 3.1082941439E7
AT ITER 115 NEW BEST:: SOT 205156982 SOS 40424450 HAS SOPS 40424450 HAS SOUS 31041040 HAS SOUPS 31041040 WITH SCORE 3.108146445E7
AT ITER 117 NEW BEST:: SOT 205156178 SOS 40423646 HAS SOPS 40423646 HAS SOUS 31040236 HAS SOUPS 31040236 WITH SCORE 3.1080659646E7
AT ITER 132 NEW BEST:: SOT 205153525 SOS 40420989 HAS SOPS 40420989 HAS SOUS 31037582 HAS SOUPS 31037582 WITH SCORE 3.1078002989E7
AT ITER 148 NEW BEST:: SOT 205153524 SOS 40420987 HAS SOPS 40420987 HAS SOUS 31037580 HAS SOUPS 31037580 WITH SCORE 3.1078000987E7
AT ITER 173 NEW BEST:: SOT 205153524 SOS 40420833 HAS SOPS 40420833 HAS SOUS 31037503 HAS SOUPS 31037503 WITH SCORE 3.1077923833E7
AT ITER 175 NEW BEST:: SOT 205152090 SOS 40419399 HAS SOPS 40419399 HAS SOUS 31034635 HAS SOUPS 31034635 WITH SCORE 3.1075054399E7
AT ITER 203 NEW BEST:: SOT 205151698 SOS 40418616 HAS SOPS 40418616 HAS SOUS 31033852 HAS SOUPS 31033852 WITH SCORE 3.1074270616E7
AT ITER 257 NEW BEST:: SOT 205151272 SOS 40417765 HAS SOPS 40417765 HAS SOUS 31033001 HAS SOUPS 31033001 WITH SCORE 3.1073418765E7
AT ITER 260 NEW BEST:: SOT 205148674 SOS 40415163 HAS SOPS 40415163 HAS SOUS 31030402 HAS SOUPS 31030402 WITH SCORE 3.1070817163E7
AT ITER 265 NEW BEST:: SOT 205148674 SOS 40415163 HAS SOPS 40415163 HAS SOUS 31030401 HAS SOUPS 31030401 WITH SCORE 3.1070816163E7
AT ITER 277 NEW BEST:: SOT 205144400 SOS 40410049 HAS SOPS 40410049 HAS SOUS 31023992 HAS SOUPS 31023992 WITH SCORE 3.1064402049E7
AT ITER 291 NEW BEST:: SOT 205143399 SOS 40409937 HAS SOPS 40409937 HAS SOUS 31023621 HAS SOUPS 31023621 WITH SCORE 3.1064030937E7
AT ITER 350 NEW BEST:: SOT 205140626 SOS 40407213 HAS SOPS 40407213 HAS SOUS 31020897 HAS SOUPS 31020897 WITH SCORE 3.1061304213E7
AT ITER 368 NEW BEST:: SOT 205126232 SOS 40409817 HAS SOPS 40409817 HAS SOUS 31013156 HAS SOUPS 31013156 WITH SCORE 3.1053565817E7
AT ITER 423 NEW BEST:: SOT 205117341 SOS 40414645 HAS SOPS 40414645 HAS SOUS 31009862 HAS SOUPS 31009862 WITH SCORE 3.1050276645E7
AT ITER 446 NEW BEST:: SOT 205116338 SOS 40411048 HAS SOPS 40411048 HAS SOUS 31007560 HAS SOUPS 31007560 WITH SCORE 3.1047971048E7
AT ITER 458 NEW BEST:: SOT 205113973 SOS 40408679 HAS SOPS 40408679 HAS SOUS 31005194 HAS SOUPS 31005194 WITH SCORE 3.1045602679E7
AT ITER 478 NEW BEST:: SOT 205113064 SOS 40406861 HAS SOPS 40406861 HAS SOUS 31003376 HAS SOUPS 31003376 WITH SCORE 3.1043782861E7
AT ITER 511 NEW BEST:: SOT 205109553 SOS 40403350 HAS SOPS 40403350 HAS SOUS 30999865 HAS SOUPS 30999865 WITH SCORE 3.104026835E7
AT ITER 587 NEW BEST:: SOT 205109183 SOS 40402610 HAS SOPS 40402610 HAS SOUS 30999125 HAS SOUPS 30999125 WITH SCORE 3.103952761E7
AT ITER 600 NEW BEST:: SOT 205108886 SOS 40403200 HAS SOPS 40403200 HAS SOUS 30998827 HAS SOUPS 30998827 WITH SCORE 3.10392302E7
AT ITER 619 NEW BEST:: SOT 205109552 SOS 40404532 HAS SOPS 40404532 HAS SOUS 30998469 HAS SOUPS 30998469 WITH SCORE 3.1038873532E7
AT ITER 627 NEW BEST:: SOT 205108604 SOS 40403580 HAS SOPS 40403580 HAS SOUS 30997520 HAS SOUPS 30997520 WITH SCORE 3.103792358E7
AT ITER 657 NEW BEST:: SOT 205106324 SOS 40399020 HAS SOPS 40399020 HAS SOUS 30991593 HAS SOUPS 30991593 WITH SCORE 3.103199202E7
AT ITER 681 NEW BEST:: SOT 205105867 SOS 40399288 HAS SOPS 40399288 HAS SOUS 30991530 HAS SOUPS 30991530 WITH SCORE 3.1031929288E7
AT ITER 688 NEW BEST:: SOT 205103212 SOS 40397234 HAS SOPS 40397234 HAS SOUS 30989479 HAS SOUPS 30989479 WITH SCORE 3.1029876234E7
AT ITER 698 NEW BEST:: SOT 205103211 SOS 40396837 HAS SOPS 40396837 HAS SOUS 30989082 HAS SOUPS 30989082 WITH SCORE 3.1029478837E7
AT ITER 708 NEW BEST:: SOT 205101890 SOS 40390232 HAS SOPS 40390232 HAS SOUS 30986440 HAS SOUPS 30986440 WITH SCORE 3.1026830232E7
AT ITER 742 NEW BEST:: SOT 205102616 SOS 40393689 HAS SOPS 40393689 HAS SOUS 30986132 HAS SOUPS 30986132 WITH SCORE 3.1026525689E7
AT ITER 747 NEW BEST:: SOT 205102615 SOS 40393687 HAS SOPS 40393687 HAS SOUS 30986130 HAS SOUPS 30986130 WITH SCORE 3.1026523687E7
AT ITER 763 NEW BEST:: SOT 205100887 SOS 40393395 HAS SOPS 40393395 HAS SOUS 30981958 HAS SOUPS 30981958 WITH SCORE 3.1022351395E7
AT ITER 767 NEW BEST:: SOT 205083357 SOS 40389535 HAS SOPS 40389535 HAS SOUS 30971945 HAS SOUPS 30971945 WITH SCORE 3.1012334535E7
AT ITER 787 NEW BEST:: SOT 205080465 SOS 40386643 HAS SOPS 40386643 HAS SOUS 30969053 HAS SOUPS 30969053 WITH SCORE 3.1009439643E7
AT ITER 795 NEW BEST:: SOT 205078425 SOS 40385253 HAS SOPS 40385253 HAS SOUS 30967337 HAS SOUPS 30967337 WITH SCORE 3.1007722253E7
AT ITER 830 NEW BEST:: SOT 205076946 SOS 40383946 HAS SOPS 40383946 HAS SOUS 30965858 HAS SOUPS 30965858 WITH SCORE 3.1006241946E7
AT ITER 848 NEW BEST:: SOT 205076946 SOS 40383946 HAS SOPS 40383946 HAS SOUS 30962438 HAS SOUPS 30962438 WITH SCORE 3.1002821946E7
AT ITER 924 NEW BEST:: SOT 205076946 SOS 40383946 HAS SOPS 40383946 HAS SOUS 30962332 HAS SOUPS 30962332 WITH SCORE 3.1002715946E7
AT ITER 947 NEW BEST:: SOT 205076945 SOS 40382917 HAS SOPS 40382917 HAS SOUS 30961303 HAS SOUPS 30961303 WITH SCORE 3.1001685917E7
AT ITER 964 NEW BEST:: SOT 205074284 SOS 40380256 HAS SOPS 40380256 HAS SOUS 30958642 HAS SOUPS 30958642 WITH SCORE 3.0999022256E7
AT ITER 971 NEW BEST:: SOT 205074006 SOS 40380117 HAS SOPS 40380117 HAS SOUS 30958503 HAS SOUPS 30958503 WITH SCORE 3.0998883117E7
AT ITER 973 NEW BEST:: SOT 205073673 SOS 40379451 HAS SOPS 40379451 HAS SOUS 30958170 HAS SOUPS 30958170 WITH SCORE 3.0998549451E7
AT ITER 982 NEW BEST:: SOT 205072006 SOS 40380497 HAS SOPS 40380497 HAS SOUS 30956503 HAS SOUPS 30956503 WITH SCORE 3.0996883497E7
AT ITER 1001 NEW BEST:: SOT 205072006 SOS 40380497 HAS SOPS 40380497 HAS SOUS 30956502 HAS SOUPS 30956502 WITH SCORE 3.0996882497E7
AT ITER 1047 NEW BEST:: SOT 205070245 SOS 40378736 HAS SOPS 40378736 HAS SOUS 30954741 HAS SOUPS 30954741 WITH SCORE 3.0995119736E7
AT ITER 1066 NEW BEST:: SOT 205069104 SOS 40376455 HAS SOPS 40376455 HAS SOUS 30952460 HAS SOUPS 30952460 WITH SCORE 3.0992836455E7
AT ITER 1094 NEW BEST:: SOT 205068395 SOS 40375346 HAS SOPS 40375346 HAS SOUS 30951351 HAS SOUPS 30951351 WITH SCORE 3.0991726346E7
AT ITER 1129 NEW BEST:: SOT 205068395 SOS 40374203 HAS SOPS 40374203 HAS SOUS 30951351 HAS SOUPS 30951351 WITH SCORE 3.0991725203E7
AT ITER 1135 NEW BEST:: SOT 205066165 SOS 40371969 HAS SOPS 40371969 HAS SOUS 30949120 HAS SOUPS 30949120 WITH SCORE 3.0989491969E7
AT ITER 1137 NEW BEST:: SOT 205064438 SOS 40370238 HAS SOPS 40370238 HAS SOUS 30947392 HAS SOUPS 30947392 WITH SCORE 3.0987762238E7
AT ITER 1148 NEW BEST:: SOT 205063228 SOS 40369633 HAS SOPS 40369633 HAS SOUS 30946787 HAS SOUPS 30946787 WITH SCORE 3.0987156633E7
AT ITER 1161 NEW BEST:: SOT 205044923 SOS 40363347 HAS SOPS 40363347 HAS SOUS 30935450 HAS SOUPS 30935450 WITH SCORE 3.0975813347E7
AT ITER 1165 NEW BEST:: SOT 205042303 SOS 40360723 HAS SOPS 40360723 HAS SOUS 30932829 HAS SOUPS 30932829 WITH SCORE 3.0973189723E7
AT ITER 1182 NEW BEST:: SOT 205040825 SOS 40360473 HAS SOPS 40360473 HAS SOUS 30931968 HAS SOUPS 30931968 WITH SCORE 3.0972328473E7
AT ITER 1222 NEW BEST:: SOT 205039337 SOS 40358985 HAS SOPS 40358985 HAS SOUS 30930480 HAS SOUPS 30930480 WITH SCORE 3.0970838985E7
AT ITER 1224 NEW BEST:: SOT 205036524 SOS 40356172 HAS SOPS 40356172 HAS SOUS 30927667 HAS SOUPS 30927667 WITH SCORE 3.0968023172E7
AT ITER 1291 NEW BEST:: SOT 205033000 SOS 40357017 HAS SOPS 40357017 HAS SOUS 30927231 HAS SOUPS 30927231 WITH SCORE 3.0967588017E7
AT ITER 1293 NEW BEST:: SOT 205031120 SOS 40355137 HAS SOPS 40355137 HAS SOUS 30925351 HAS SOUPS 30925351 WITH SCORE 3.0965706137E7
AT ITER 1335 NEW BEST:: SOT 205031119 SOS 40355135 HAS SOPS 40355135 HAS SOUS 30925349 HAS SOUPS 30925349 WITH SCORE 3.0965704135E7
AT ITER 1342 NEW BEST:: SOT 205031118 SOS 40355740 HAS SOPS 40355740 HAS SOUS 30925347 HAS SOUPS 30925347 WITH SCORE 3.096570274E7
AT ITER 1358 NEW BEST:: SOT 205018105 SOS 40346276 HAS SOPS 40346276 HAS SOUS 30915883 HAS SOUPS 30915883 WITH SCORE 3.0956229276E7
AT ITER 1419 NEW BEST:: SOT 205005671 SOS 40362864 HAS SOPS 40362864 HAS SOUS 30913568 HAS SOUPS 30913568 WITH SCORE 3.0953930864E7
AT ITER 1436 NEW BEST:: SOT 205005341 SOS 40362204 HAS SOPS 40362204 HAS SOUS 30912908 HAS SOUPS 30912908 WITH SCORE 3.0953270204E7
AT ITER 1468 NEW BEST:: SOT 205005340 SOS 40362900 HAS SOPS 40362900 HAS SOUS 30912906 HAS SOUPS 30912906 WITH SCORE 3.09532689E7
AT ITER 1480 NEW BEST:: SOT 205004992 SOS 40363244 HAS SOPS 40363244 HAS SOUS 30912905 HAS SOUPS 30912905 WITH SCORE 3.0953268244E7
AT ITER 1517 NEW BEST:: SOT 205003682 SOS 40361279 HAS SOPS 40361279 HAS SOUS 30910940 HAS SOUPS 30910940 WITH SCORE 3.0951301279E7
AT ITER 1523 NEW BEST:: SOT 204999817 SOS 40360593 HAS SOPS 40360593 HAS SOUS 30909635 HAS SOUPS 30909635 WITH SCORE 3.0949995593E7
AT ITER 1543 NEW BEST:: SOT 204999816 SOS 40360591 HAS SOPS 40360591 HAS SOUS 30909633 HAS SOUPS 30909633 WITH SCORE 3.0949993591E7
AT ITER 1561 NEW BEST:: SOT 204997556 SOS 40358331 HAS SOPS 40358331 HAS SOUS 30907373 HAS SOUPS 30907373 WITH SCORE 3.0947731331E7
AT ITER 1565 NEW BEST:: SOT 204996256 SOS 40354431 HAS SOPS 40354431 HAS SOUS 30905423 HAS SOUPS 30905423 WITH SCORE 3.0945777431E7
AT ITER 1567 NEW BEST:: SOT 204995495 SOS 40353670 HAS SOPS 40353670 HAS SOUS 30905423 HAS SOUPS 30905423 WITH SCORE 3.094577667E7
AT ITER 1583 NEW BEST:: SOT 204995495 SOS 40353620 HAS SOPS 40353620 HAS SOUS 30905373 HAS SOUPS 30905373 WITH SCORE 3.094572662E7
AT ITER 1606 NEW BEST:: SOT 204994247 SOS 40353425 HAS SOPS 40353425 HAS SOUS 30905178 HAS SOUPS 30905178 WITH SCORE 3.0945531425E7
AT ITER 1618 NEW BEST:: SOT 204992236 SOS 40351411 HAS SOPS 40351411 HAS SOUS 30903164 HAS SOUPS 30903164 WITH SCORE 3.0943515411E7
AT ITER 1659 NEW BEST:: SOT 204990052 SOS 40349227 HAS SOPS 40349227 HAS SOUS 30900980 HAS SOUPS 30900980 WITH SCORE 3.0941329227E7
AT ITER 1697 NEW BEST:: SOT 204988306 SOS 40347481 HAS SOPS 40347481 HAS SOUS 30899234 HAS SOUPS 30899234 WITH SCORE 3.0939581481E7
AT ITER 1709 NEW BEST:: SOT 204989744 SOS 40350357 HAS SOPS 40350357 HAS SOUS 30898436 HAS SOUPS 30898436 WITH SCORE 3.0938786357E7
AT ITER 1723 NEW BEST:: SOT 204988583 SOS 40350016 HAS SOPS 40350016 HAS SOUS 30898098 HAS SOUPS 30898098 WITH SCORE 3.0938448016E7
AT ITER 1735 NEW BEST:: SOT 204988025 SOS 40349688 HAS SOPS 40349688 HAS SOUS 30897770 HAS SOUPS 30897770 WITH SCORE 3.0938119688E7
AT ITER 1738 NEW BEST:: SOT 204987015 SOS 40348678 HAS SOPS 40348678 HAS SOUS 30896760 HAS SOUPS 30896760 WITH SCORE 3.0937108678E7
AT ITER 1751 NEW BEST:: SOT 204985328 SOS 40348331 HAS SOPS 40348331 HAS SOUS 30895745 HAS SOUPS 30895745 WITH SCORE 3.0936093331E7
AT ITER 1817 NEW BEST:: SOT 204984132 SOS 40345939 HAS SOPS 40345939 HAS SOUS 30892964 HAS SOUPS 30892964 WITH SCORE 3.0933309939E7
AT ITER 1819 NEW BEST:: SOT 204983954 SOS 40357030 HAS SOPS 40357030 HAS SOUS 30892607 HAS SOUPS 30892607 WITH SCORE 3.093296403E7
AT ITER 1836 NEW BEST:: SOT 204983954 SOS 40365132 HAS SOPS 40365132 HAS SOUS 30889904 HAS SOUPS 30889904 WITH SCORE 3.0930269132E7
AT ITER 1841 NEW BEST:: SOT 204983954 SOS 40363923 HAS SOPS 40363923 HAS SOUS 30889904 HAS SOUPS 30889904 WITH SCORE 3.0930267923E7
AT ITER 1860 NEW BEST:: SOT 204983661 SOS 40364865 HAS SOPS 40364865 HAS SOUS 30889102 HAS SOUPS 30889102 WITH SCORE 3.0929466865E7
AT ITER 1869 NEW BEST:: SOT 204983658 SOS 40364859 HAS SOPS 40364859 HAS SOUS 30889096 HAS SOUPS 30889096 WITH SCORE 3.0929460859E7
AT ITER 1892 NEW BEST:: SOT 204966778 SOS 40364067 HAS SOPS 40364067 HAS SOUS 30879768 HAS SOUPS 30879768 WITH SCORE 3.0920132067E7
AT ITER 1899 NEW BEST:: SOT 204966739 SOS 40363989 HAS SOPS 40363989 HAS SOUS 30879728 HAS SOUPS 30879728 WITH SCORE 3.0920091989E7
AT ITER 1907 NEW BEST:: SOT 204965463 SOS 40362709 HAS SOPS 40362709 HAS SOUS 30878451 HAS SOUPS 30878451 WITH SCORE 3.0918813709E7
AT ITER 1912 NEW BEST:: SOT 204962788 SOS 40349334 HAS SOPS 40349334 HAS SOUS 30873101 HAS SOUPS 30873101 WITH SCORE 3.0913450334E7
AT ITER 1960 NEW BEST:: SOT 204963110 SOS 40349568 HAS SOPS 40349568 HAS SOUS 30873013 HAS SOUPS 30873013 WITH SCORE 3.0913362568E7
AT ITER 2010 NEW BEST:: SOT 204961365 SOS 40349568 HAS SOPS 40349568 HAS SOUS 30871268 HAS SOUPS 30871268 WITH SCORE 3.0911617568E7
AT ITER 2042 NEW BEST:: SOT 204961365 SOS 40349568 HAS SOPS 40349568 HAS SOUS 30871267 HAS SOUPS 30871267 WITH SCORE 3.0911616568E7
AT ITER 2056 NEW BEST:: SOT 204922612 SOS 40792375 HAS SOPS 40792375 HAS SOUS 30845837 HAS SOUPS 30845837 WITH SCORE 3.0886629375E7
AT ITER 2072 NEW BEST:: SOT 204921799 SOS 40790749 HAS SOPS 40790749 HAS SOUS 30843358 HAS SOUPS 30843358 WITH SCORE 3.0884148749E7
AT ITER 2076 NEW BEST:: SOT 204921614 SOS 40790379 HAS SOPS 40790379 HAS SOUS 30842988 HAS SOUPS 30842988 WITH SCORE 3.0883778379E7
AT ITER 2081 NEW BEST:: SOT 204921614 SOS 40790190 HAS SOPS 40790190 HAS SOUS 30842799 HAS SOUPS 30842799 WITH SCORE 3.088358919E7
AT ITER 2110 NEW BEST:: SOT 204920397 SOS 40790028 HAS SOPS 40790028 HAS SOUS 30842637 HAS SOUPS 30842637 WITH SCORE 3.0883427028E7
AT ITER 2151 NEW BEST:: SOT 204919363 SOS 40787960 HAS SOPS 40787960 HAS SOUS 30840569 HAS SOUPS 30840569 WITH SCORE 3.088135696E7
AT ITER 2154 NEW BEST:: SOT 204917769 SOS 40784772 HAS SOPS 40784772 HAS SOUS 30838975 HAS SOUPS 30838975 WITH SCORE 3.0879759772E7
AT ITER 2169 NEW BEST:: SOT 204917478 SOS 40784481 HAS SOPS 40784481 HAS SOUS 30838975 HAS SOUPS 30838975 WITH SCORE 3.0879759481E7
AT ITER 2185 NEW BEST:: SOT 204916562 SOS 40783561 HAS SOPS 40783561 HAS SOUS 30838058 HAS SOUPS 30838058 WITH SCORE 3.0878841561E7
AT ITER 2235 NEW BEST:: SOT 204917381 SOS 40782641 HAS SOPS 40782641 HAS SOUS 30838007 HAS SOUPS 30838007 WITH SCORE 3.0878789641E7
AT ITER 2239 NEW BEST:: SOT 204917381 SOS 40781381 HAS SOPS 40781381 HAS SOUS 30838007 HAS SOUPS 30838007 WITH SCORE 3.0878788381E7
AT ITER 2254 NEW BEST:: SOT 204917132 SOS 40780884 HAS SOPS 40780884 HAS SOUS 30837510 HAS SOUPS 30837510 WITH SCORE 3.0878290884E7
AT ITER 2288 NEW BEST:: SOT 204917132 SOS 40780046 HAS SOPS 40780046 HAS SOUS 30837510 HAS SOUPS 30837510 WITH SCORE 3.0878290046E7
AT ITER 2296 NEW BEST:: SOT 204915753 SOS 40778663 HAS SOPS 40778663 HAS SOUS 30836130 HAS SOUPS 30836130 WITH SCORE 3.0876908663E7
AT ITER 2308 NEW BEST:: SOT 204915717 SOS 40778629 HAS SOPS 40778629 HAS SOUS 30836105 HAS SOUPS 30836105 WITH SCORE 3.0876883629E7
AT ITER 2318 NEW BEST:: SOT 204915206 SOS 40778117 HAS SOPS 40778117 HAS SOUS 30836099 HAS SOUPS 30836099 WITH SCORE 3.0876877117E7
AT ITER 2321 NEW BEST:: SOT 204915111 SOS 40777927 HAS SOPS 40777927 HAS SOUS 30835909 HAS SOUPS 30835909 WITH SCORE 3.0876686927E7
AT ITER 2334 NEW BEST:: SOT 204915354 SOS 40778413 HAS SOPS 40778413 HAS SOUS 30835110 HAS SOUPS 30835110 WITH SCORE 3.0875888413E7
AT ITER 2336 NEW BEST:: SOT 204912648 SOS 40773001 HAS SOPS 40773001 HAS SOUS 30830804 HAS SOUPS 30830804 WITH SCORE 3.0871577001E7
AT ITER 2343 NEW BEST:: SOT 204912648 SOS 40771977 HAS SOPS 40771977 HAS SOUS 30830804 HAS SOUPS 30830804 WITH SCORE 3.0871575977E7
AT ITER 2359 NEW BEST:: SOT 204910727 SOS 40768135 HAS SOPS 40768135 HAS SOUS 30826962 HAS SOUPS 30826962 WITH SCORE 3.0867730135E7
AT ITER 2368 NEW BEST:: SOT 204908189 SOS 40765804 HAS SOPS 40765804 HAS SOUS 30824631 HAS SOUPS 30824631 WITH SCORE 3.0865396804E7
AT ITER 2371 NEW BEST:: SOT 204908105 SOS 40765132 HAS SOPS 40765132 HAS SOUS 30824421 HAS SOUPS 30824421 WITH SCORE 3.0865186132E7
AT ITER 2385 NEW BEST:: SOT 204907088 SOS 40764115 HAS SOPS 40764115 HAS SOUS 30823404 HAS SOUPS 30823404 WITH SCORE 3.0864168115E7
AT ITER 2391 NEW BEST:: SOT 204904712 SOS 40761735 HAS SOPS 40761735 HAS SOUS 30821027 HAS SOUPS 30821027 WITH SCORE 3.0861788735E7
AT ITER 2392 NEW BEST:: SOT 204904604 SOS 40761519 HAS SOPS 40761519 HAS SOUS 30820919 HAS SOUPS 30820919 WITH SCORE 3.0861680519E7
AT ITER 2408 NEW BEST:: SOT 204904622 SOS 40750189 HAS SOPS 40750189 HAS SOUS 30816322 HAS SOUPS 30816322 WITH SCORE 3.0857072189E7
AT ITER 2421 NEW BEST:: SOT 204900398 SOS 40745965 HAS SOPS 40745965 HAS SOUS 30812098 HAS SOUPS 30812098 WITH SCORE 3.0852843965E7
AT ITER 2422 NEW BEST:: SOT 204898372 SOS 40743477 HAS SOPS 40743477 HAS SOUS 30810071 HAS SOUPS 30810071 WITH SCORE 3.0850814477E7
AT ITER 2430 NEW BEST:: SOT 204898372 SOS 40743320 HAS SOPS 40743320 HAS SOUS 30809914 HAS SOUPS 30809914 WITH SCORE 3.085065732E7
AT ITER 2432 NEW BEST:: SOT 204898372 SOS 40743320 HAS SOPS 40743320 HAS SOUS 30808085 HAS SOUPS 30808085 WITH SCORE 3.084882832E7
AT ITER 2437 NEW BEST:: SOT 204898370 SOS 40743316 HAS SOPS 40743316 HAS SOUS 30808081 HAS SOUPS 30808081 WITH SCORE 3.0848824316E7
AT ITER 2449 NEW BEST:: SOT 204895772 SOS 40741343 HAS SOPS 40741343 HAS SOUS 30806108 HAS SOUPS 30806108 WITH SCORE 3.0846849343E7
AT ITER 2450 NEW BEST:: SOT 204893044 SOS 40738658 HAS SOPS 40738658 HAS SOUS 30803426 HAS SOUPS 30803426 WITH SCORE 3.0844164658E7
AT ITER 2457 NEW BEST:: SOT 204892592 SOS 40741044 HAS SOPS 40741044 HAS SOUS 30803248 HAS SOUPS 30803248 WITH SCORE 3.0843989044E7
AT ITER 2458 NEW BEST:: SOT 204892150 SOS 40741486 HAS SOPS 40741486 HAS SOUS 30802549 HAS SOUPS 30802549 WITH SCORE 3.0843290486E7
AT ITER 2513 NEW BEST:: SOT 204891786 SOS 40740758 HAS SOPS 40740758 HAS SOUS 30801000 HAS SOUPS 30801000 WITH SCORE 3.0841740758E7
AT ITER 2514 NEW BEST:: SOT 204891786 SOS 40739349 HAS SOPS 40739349 HAS SOUS 30801000 HAS SOUPS 30801000 WITH SCORE 3.0841739349E7
AT ITER 2539 NEW BEST:: SOT 204889608 SOS 40737167 HAS SOPS 40737167 HAS SOUS 30798821 HAS SOUPS 30798821 WITH SCORE 3.0839558167E7
AT ITER 2558 NEW BEST:: SOT 204887515 SOS 40726702 HAS SOPS 40726702 HAS SOUS 30794635 HAS SOUPS 30794635 WITH SCORE 3.0835361702E7
AT ITER 2574 NEW BEST:: SOT 204885874 SOS 40723420 HAS SOPS 40723420 HAS SOUS 30791353 HAS SOUPS 30791353 WITH SCORE 3.083207642E7
AT ITER 2580 NEW BEST:: SOT 204869385 SOS 40742262 HAS SOPS 40742262 HAS SOUS 30786594 HAS SOUPS 30786594 WITH SCORE 3.0827336262E7
AT ITER 2607 NEW BEST:: SOT 204869382 SOS 40742256 HAS SOPS 40742256 HAS SOUS 30786588 HAS SOUPS 30786588 WITH SCORE 3.0827330256E7
AT ITER 2608 NEW BEST:: SOT 204868328 SOS 40741202 HAS SOPS 40741202 HAS SOUS 30785534 HAS SOUPS 30785534 WITH SCORE 3.0826275202E7
AT ITER 2626 NEW BEST:: SOT 204868327 SOS 40741200 HAS SOPS 40741200 HAS SOUS 30785532 HAS SOUPS 30785532 WITH SCORE 3.08262732E7
AT ITER 2635 NEW BEST:: SOT 204867967 SOS 40741196 HAS SOPS 40741196 HAS SOUS 30785531 HAS SOUPS 30785531 WITH SCORE 3.0826272196E7
AT ITER 2654 NEW BEST:: SOT 204866225 SOS 40739504 HAS SOPS 40739504 HAS SOUS 30783789 HAS SOUPS 30783789 WITH SCORE 3.0824528504E7
AT ITER 2661 NEW BEST:: SOT 204861656 SOS 40737647 HAS SOPS 40737647 HAS SOUS 30781932 HAS SOUPS 30781932 WITH SCORE 3.0822669647E7
AT ITER 2666 NEW BEST:: SOT 204861723 SOS 40736374 HAS SOPS 40736374 HAS SOUS 30781327 HAS SOUPS 30781327 WITH SCORE 3.0822063374E7
AT ITER 2690 NEW BEST:: SOT 204861723 SOS 40735324 HAS SOPS 40735324 HAS SOUS 30780802 HAS SOUPS 30780802 WITH SCORE 3.0821537324E7
AT ITER 2700 NEW BEST:: SOT 204860542 SOS 40734204 HAS SOPS 40734204 HAS SOUS 30779682 HAS SOUPS 30779682 WITH SCORE 3.0820416204E7
AT ITER 2708 NEW BEST:: SOT 204858510 SOS 40732740 HAS SOPS 40732740 HAS SOUS 30777933 HAS SOUPS 30777933 WITH SCORE 3.081866574E7
AT ITER 2716 NEW BEST:: SOT 204856566 SOS 40730796 HAS SOPS 40730796 HAS SOUS 30775989 HAS SOUPS 30775989 WITH SCORE 3.0816719796E7
AT ITER 2795 NEW BEST:: SOT 204856235 SOS 40730134 HAS SOPS 40730134 HAS SOUS 30775327 HAS SOUPS 30775327 WITH SCORE 3.0816057134E7
AT ITER 2813 NEW BEST:: SOT 204855650 SOS 40728964 HAS SOPS 40728964 HAS SOUS 30774157 HAS SOUPS 30774157 WITH SCORE 3.0814885964E7
AT ITER 2831 NEW BEST:: SOT 204854311 SOS 40727625 HAS SOPS 40727625 HAS SOUS 30772818 HAS SOUPS 30772818 WITH SCORE 3.0813545625E7
AT ITER 2890 NEW BEST:: SOT 204852824 SOS 40726138 HAS SOPS 40726138 HAS SOUS 30771331 HAS SOUPS 30771331 WITH SCORE 3.0812057138E7
AT ITER 2891 NEW BEST:: SOT 204851008 SOS 40724322 HAS SOPS 40724322 HAS SOUS 30769515 HAS SOUPS 30769515 WITH SCORE 3.0810239322E7
AT ITER 2919 NEW BEST:: SOT 204850607 SOS 40723520 HAS SOPS 40723520 HAS SOUS 30768713 HAS SOUPS 30768713 WITH SCORE 3.080943652E7
AT ITER 2959 NEW BEST:: SOT 204847787 SOS 40720696 HAS SOPS 40720696 HAS SOUS 30765892 HAS SOUPS 30765892 WITH SCORE 3.0806612696E7
AT ITER 2964 NEW BEST:: SOT 204845714 SOS 40718619 HAS SOPS 40718619 HAS SOUS 30763818 HAS SOUPS 30763818 WITH SCORE 3.0804536619E7
AT ITER 2985 NEW BEST:: SOT 204843668 SOS 40716573 HAS SOPS 40716573 HAS SOUS 30761772 HAS SOUPS 30761772 WITH SCORE 3.0802488573E7
AT ITER 2997 NEW BEST:: SOT 204840211 SOS 40711938 HAS SOPS 40711938 HAS SOUS 30759353 HAS SOUPS 30759353 WITH SCORE 3.0800064938E7
AT ITER 3001 NEW BEST:: SOT 204840211 SOS 40706142 HAS SOPS 40706142 HAS SOUS 30759353 HAS SOUPS 30759353 WITH SCORE 3.0800059142E7
AT ITER 3003 NEW BEST:: SOT 204836548 SOS 40703478 HAS SOPS 40703478 HAS SOUS 30756689 HAS SOUPS 30756689 WITH SCORE 3.0797392478E7
AT ITER 3012 NEW BEST:: SOT 204836548 SOS 40704332 HAS SOPS 40704332 HAS SOUS 30756688 HAS SOUPS 30756688 WITH SCORE 3.0797392332E7
AT ITER 3018 NEW BEST:: SOT 204836548 SOS 40696412 HAS SOPS 40696412 HAS SOUS 30756688 HAS SOUPS 30756688 WITH SCORE 3.0797384412E7
AT ITER 3021 NEW BEST:: SOT 204835571 SOS 40695431 HAS SOPS 40695431 HAS SOUS 30755710 HAS SOUPS 30755710 WITH SCORE 3.0796405431E7
AT ITER 3031 NEW BEST:: SOT 204835571 SOS 40694083 HAS SOPS 40694083 HAS SOUS 30755710 HAS SOUPS 30755710 WITH SCORE 3.0796404083E7
AT ITER 3047 NEW BEST:: SOT 204835571 SOS 40694083 HAS SOPS 40694083 HAS SOUS 30755686 HAS SOUPS 30755686 WITH SCORE 3.0796380083E7
AT ITER 3053 NEW BEST:: SOT 204834171 SOS 40695915 HAS SOPS 40695915 HAS SOUS 30755577 HAS SOUPS 30755577 WITH SCORE 3.0796272915E7
AT ITER 3057 NEW BEST:: SOT 204832275 SOS 40694019 HAS SOPS 40694019 HAS SOUS 30753681 HAS SOUPS 30753681 WITH SCORE 3.0794375019E7
AT ITER 3064 NEW BEST:: SOT 204832034 SOS 40693537 HAS SOPS 40693537 HAS SOUS 30753199 HAS SOUPS 30753199 WITH SCORE 3.0793892537E7
AT ITER 3068 NEW BEST:: SOT 204830822 SOS 40685389 HAS SOPS 40685389 HAS SOUS 30750775 HAS SOUPS 30750775 WITH SCORE 3.0791460389E7
AT ITER 3069 NEW BEST:: SOT 204828971 SOS 40665028 HAS SOPS 40665028 HAS SOUS 30748711 HAS SOUPS 30748711 WITH SCORE 3.0789376028E7
AT ITER 3104 NEW BEST:: SOT 204828752 SOS 40664590 HAS SOPS 40664590 HAS SOUS 30748492 HAS SOUPS 30748492 WITH SCORE 3.078915659E7
AT ITER 3106 NEW BEST:: SOT 204827514 SOS 40658400 HAS SOPS 40658400 HAS SOUS 30746016 HAS SOUPS 30746016 WITH SCORE 3.07866744E7
AT ITER 3111 NEW BEST:: SOT 204826058 SOS 40659410 HAS SOPS 40659410 HAS SOUS 30745795 HAS SOUPS 30745795 WITH SCORE 3.078645441E7
AT ITER 3115 NEW BEST:: SOT 204825860 SOS 40659212 HAS SOPS 40659212 HAS SOUS 30745399 HAS SOUPS 30745399 WITH SCORE 3.0786058212E7
AT ITER 3119 NEW BEST:: SOT 204825449 SOS 40658390 HAS SOPS 40658390 HAS SOUS 30744987 HAS SOUPS 30744987 WITH SCORE 3.078564539E7
AT ITER 3133 NEW BEST:: SOT 204824180 SOS 40657121 HAS SOPS 40657121 HAS SOUS 30743718 HAS SOUPS 30743718 WITH SCORE 3.0784375121E7
AT ITER 3175 NEW BEST:: SOT 204822582 SOS 40655523 HAS SOPS 40655523 HAS SOUS 30742120 HAS SOUPS 30742120 WITH SCORE 3.0782775523E7
AT ITER 3186 NEW BEST:: SOT 204821667 SOS 40653693 HAS SOPS 40653693 HAS SOUS 30740290 HAS SOUPS 30740290 WITH SCORE 3.0780943693E7
AT ITER 3211 NEW BEST:: SOT 204814025 SOS 40649353 HAS SOPS 40649353 HAS SOUS 30732648 HAS SOUPS 30732648 WITH SCORE 3.0773297353E7
AT ITER 3219 NEW BEST:: SOT 204813256 SOS 40648584 HAS SOPS 40648584 HAS SOUS 30731879 HAS SOUPS 30731879 WITH SCORE 3.0772527584E7
AT ITER 3227 NEW BEST:: SOT 204810912 SOS 40636864 HAS SOPS 40636864 HAS SOUS 30727191 HAS SOUPS 30727191 WITH SCORE 3.0767827864E7
AT ITER 3262 NEW BEST:: SOT 204810421 SOS 40635882 HAS SOPS 40635882 HAS SOUS 30726209 HAS SOUPS 30726209 WITH SCORE 3.0766844882E7
AT ITER 3264 NEW BEST:: SOT 204810160 SOS 40635360 HAS SOPS 40635360 HAS SOUS 30725687 HAS SOUPS 30725687 WITH SCORE 3.076632236E7
AT ITER 3274 NEW BEST:: SOT 204810160 SOS 40635194 HAS SOPS 40635194 HAS SOUS 30725521 HAS SOUPS 30725521 WITH SCORE 3.0766156194E7
AT ITER 3281 NEW BEST:: SOT 204810160 SOS 40634700 HAS SOPS 40634700 HAS SOUS 30725516 HAS SOUPS 30725516 WITH SCORE 3.07661507E7
AT ITER 3285 NEW BEST:: SOT 204808103 SOS 40649089 HAS SOPS 40649089 HAS SOUS 30721401 HAS SOUPS 30721401 WITH SCORE 3.0762050089E7
AT ITER 3289 NEW BEST:: SOT 204805952 SOS 40644787 HAS SOPS 40644787 HAS SOUS 30717099 HAS SOUPS 30717099 WITH SCORE 3.0757743787E7
AT ITER 3290 NEW BEST:: SOT 204806232 SOS 40645347 HAS SOPS 40645347 HAS SOUS 30716382 HAS SOUPS 30716382 WITH SCORE 3.0757027347E7
AT ITER 3304 NEW BEST:: SOT 204805857 SOS 40645722 HAS SOPS 40645722 HAS SOUS 30715802 HAS SOUPS 30715802 WITH SCORE 3.0756447722E7
AT ITER 3313 NEW BEST:: SOT 204805124 SOS 40644256 HAS SOPS 40644256 HAS SOUS 30715069 HAS SOUPS 30715069 WITH SCORE 3.0755713256E7
AT ITER 3323 NEW BEST:: SOT 204804330 SOS 40642669 HAS SOPS 40642669 HAS SOUS 30713482 HAS SOUPS 30713482 WITH SCORE 3.0754124669E7
AT ITER 3324 NEW BEST:: SOT 204797487 SOS 40634393 HAS SOPS 40634393 HAS SOUS 30707911 HAS SOUPS 30707911 WITH SCORE 3.0748545393E7
AT ITER 3329 NEW BEST:: SOT 204796101 SOS 40633007 HAS SOPS 40633007 HAS SOUS 30706525 HAS SOUPS 30706525 WITH SCORE 3.0747158007E7
AT ITER 3331 NEW BEST:: SOT 204795490 SOS 40632396 HAS SOPS 40632396 HAS SOUS 30706525 HAS SOUPS 30706525 WITH SCORE 3.0747157396E7
AT ITER 3349 NEW BEST:: SOT 204795489 SOS 40632394 HAS SOPS 40632394 HAS SOUS 30706523 HAS SOUPS 30706523 WITH SCORE 3.0747155394E7
AT ITER 3359 NEW BEST:: SOT 204795489 SOS 40631590 HAS SOPS 40631590 HAS SOUS 30706523 HAS SOUPS 30706523 WITH SCORE 3.074715459E7
AT ITER 3360 NEW BEST:: SOT 204794493 SOS 40630594 HAS SOPS 40630594 HAS SOUS 30703977 HAS SOUPS 30703977 WITH SCORE 3.0744607594E7
AT ITER 3365 NEW BEST:: SOT 204781770 SOS 40654952 HAS SOPS 40654952 HAS SOUS 30703572 HAS SOUPS 30703572 WITH SCORE 3.0744226952E7
AT ITER 3372 NEW BEST:: SOT 204781770 SOS 40654197 HAS SOPS 40654197 HAS SOUS 30703572 HAS SOUPS 30703572 WITH SCORE 3.0744226197E7
AT ITER 3408 NEW BEST:: SOT 204778275 SOS 40649537 HAS SOPS 40649537 HAS SOUS 30701517 HAS SOUPS 30701517 WITH SCORE 3.0742166537E7
AT ITER 3424 NEW BEST:: SOT 204775656 SOS 40646914 HAS SOPS 40646914 HAS SOUS 30698897 HAS SOUPS 30698897 WITH SCORE 3.0739543914E7
AT ITER 3439 NEW BEST:: SOT 204767272 SOS 40630846 HAS SOPS 40630846 HAS SOUS 30689982 HAS SOUPS 30689982 WITH SCORE 3.0730612846E7
AT ITER 3453 NEW BEST:: SOT 204768154 SOS 40638390 HAS SOPS 40638390 HAS SOUS 30689817 HAS SOUPS 30689817 WITH SCORE 3.073045539E7
AT ITER 3517 NEW BEST:: SOT 204752227 SOS 40627508 HAS SOPS 40627508 HAS SOUS 30678935 HAS SOUPS 30678935 WITH SCORE 3.0719562508E7
AT ITER 3544 NEW BEST:: SOT 204752351 SOS 40626358 HAS SOPS 40626358 HAS SOUS 30678721 HAS SOUPS 30678721 WITH SCORE 3.0719347358E7
AT ITER 3576 NEW BEST:: SOT 204750967 SOS 40627360 HAS SOPS 40627360 HAS SOUS 30678532 HAS SOUPS 30678532 WITH SCORE 3.071915936E7
AT ITER 3587 NEW BEST:: SOT 204744759 SOS 40629824 HAS SOPS 40629824 HAS SOUS 30678507 HAS SOUPS 30678507 WITH SCORE 3.0719136824E7
AT ITER 3599 NEW BEST:: SOT 204744759 SOS 40628332 HAS SOPS 40628332 HAS SOUS 30677761 HAS SOUPS 30677761 WITH SCORE 3.0718389332E7
AT ITER 3612 NEW BEST:: SOT 204744075 SOS 40626964 HAS SOPS 40626964 HAS SOUS 30676393 HAS SOUPS 30676393 WITH SCORE 3.0717019964E7
AT ITER 3619 NEW BEST:: SOT 204744075 SOS 40626285 HAS SOPS 40626285 HAS SOUS 30676393 HAS SOUPS 30676393 WITH SCORE 3.0717019285E7
AT ITER 3626 NEW BEST:: SOT 204742320 SOS 40624530 HAS SOPS 40624530 HAS SOUS 30674638 HAS SOUPS 30674638 WITH SCORE 3.071526253E7
AT ITER 3631 NEW BEST:: SOT 204739665 SOS 40621871 HAS SOPS 40621871 HAS SOUS 30671982 HAS SOUPS 30671982 WITH SCORE 3.0712603871E7
AT ITER 3634 NEW BEST:: SOT 204739533 SOS 40621739 HAS SOPS 40621739 HAS SOUS 30671850 HAS SOUPS 30671850 WITH SCORE 3.0712471739E7
AT ITER 3635 NEW BEST:: SOT 204739207 SOS 40621087 HAS SOPS 40621087 HAS SOUS 30671524 HAS SOUPS 30671524 WITH SCORE 3.0712145087E7
AT ITER 3643 NEW BEST:: SOT 204738152 SOS 40618977 HAS SOPS 40618977 HAS SOUS 30669212 HAS SOUPS 30669212 WITH SCORE 3.0709830977E7
AT ITER 3649 NEW BEST:: SOT 204737879 SOS 40618704 HAS SOPS 40618704 HAS SOUS 30668939 HAS SOUPS 30668939 WITH SCORE 3.0709557704E7
AT ITER 3663 NEW BEST:: SOT 204736422 SOS 40620365 HAS SOPS 40620365 HAS SOUS 30667482 HAS SOUPS 30667482 WITH SCORE 3.0708102365E7
AT ITER 3672 NEW BEST:: SOT 204736323 SOS 40620286 HAS SOPS 40620286 HAS SOUS 30667403 HAS SOUPS 30667403 WITH SCORE 3.0708023286E7
AT ITER 3678 NEW BEST:: SOT 204732889 SOS 40613418 HAS SOPS 40613418 HAS SOUS 30660535 HAS SOUPS 30660535 WITH SCORE 3.0701148418E7
AT ITER 3703 NEW BEST:: SOT 204732175 SOS 40611991 HAS SOPS 40611991 HAS SOUS 30659108 HAS SOUPS 30659108 WITH SCORE 3.0699719991E7
AT ITER 3777 NEW BEST:: SOT 204730732 SOS 40609105 HAS SOPS 40609105 HAS SOUS 30657954 HAS SOUPS 30657954 WITH SCORE 3.0698563105E7
AT ITER 3807 NEW BEST:: SOT 204727825 SOS 40606198 HAS SOPS 40606198 HAS SOUS 30655047 HAS SOUPS 30655047 WITH SCORE 3.0695653198E7
AT ITER 3813 NEW BEST:: SOT 204726805 SOS 40605178 HAS SOPS 40605178 HAS SOUS 30654027 HAS SOUPS 30654027 WITH SCORE 3.0694632178E7
AT ITER 3825 NEW BEST:: SOT 204723981 SOS 40591058 HAS SOPS 40591058 HAS SOUS 30648379 HAS SOUPS 30648379 WITH SCORE 3.0688970058E7
AT ITER 3886 NEW BEST:: SOT 204721874 SOS 40588951 HAS SOPS 40588951 HAS SOUS 30646272 HAS SOUPS 30646272 WITH SCORE 3.0686860951E7
AT ITER 3897 NEW BEST:: SOT 204720990 SOS 40586741 HAS SOPS 40586741 HAS SOUS 30645388 HAS SOUPS 30645388 WITH SCORE 3.0685974741E7
AT ITER 3925 NEW BEST:: SOT 204720137 SOS 40585888 HAS SOPS 40585888 HAS SOUS 30644535 HAS SOUPS 30644535 WITH SCORE 3.0685120888E7
AT ITER 3960 NEW BEST:: SOT 204718302 SOS 40584049 HAS SOPS 40584049 HAS SOUS 30642699 HAS SOUPS 30642699 WITH SCORE 3.0683283049E7
AT ITER 3991 NEW BEST:: SOT 204717867 SOS 40583179 HAS SOPS 40583179 HAS SOUS 30641829 HAS SOUPS 30641829 WITH SCORE 3.0682412179E7
AT ITER 4004 NEW BEST:: SOT 204717412 SOS 40582270 HAS SOPS 40582270 HAS SOUS 30640920 HAS SOUPS 30640920 WITH SCORE 3.068150227E7
AT ITER 4020 NEW BEST:: SOT 204716654 SOS 40580755 HAS SOPS 40580755 HAS SOUS 30639405 HAS SOUPS 30639405 WITH SCORE 3.0679985755E7
AT ITER 4047 NEW BEST:: SOT 204716511 SOS 40580469 HAS SOPS 40580469 HAS SOUS 30639119 HAS SOUPS 30639119 WITH SCORE 3.0679699469E7
AT ITER 4050 NEW BEST:: SOT 204716511 SOS 40580469 HAS SOPS 40580469 HAS SOUS 30638820 HAS SOUPS 30638820 WITH SCORE 3.0679400469E7
AT ITER 4087 NEW BEST:: SOT 204715021 SOS 40578975 HAS SOPS 40578975 HAS SOUS 30637329 HAS SOUPS 30637329 WITH SCORE 3.0677907975E7
AT ITER 4096 NEW BEST:: SOT 204713092 SOS 40577046 HAS SOPS 40577046 HAS SOUS 30635400 HAS SOUPS 30635400 WITH SCORE 3.0675977046E7
AT ITER 4104 NEW BEST:: SOT 204705641 SOS 40567522 HAS SOPS 40567522 HAS SOUS 30628565 HAS SOUPS 30628565 WITH SCORE 3.0669132522E7
AT ITER 4127 NEW BEST:: SOT 204703696 SOS 40563632 HAS SOPS 40563632 HAS SOUS 30626620 HAS SOUPS 30626620 WITH SCORE 3.0667183632E7
AT ITER 4134 NEW BEST:: SOT 204703695 SOS 40563630 HAS SOPS 40563630 HAS SOUS 30626618 HAS SOUPS 30626618 WITH SCORE 3.066718163E7
AT ITER 4140 NEW BEST:: SOT 204702184 SOS 40562681 HAS SOPS 40562681 HAS SOUS 30625669 HAS SOUPS 30625669 WITH SCORE 3.0666231681E7
AT ITER 4142 NEW BEST:: SOT 204701170 SOS 40561667 HAS SOPS 40561667 HAS SOUS 30624655 HAS SOUPS 30624655 WITH SCORE 3.0665216667E7
AT ITER 4151 NEW BEST:: SOT 204628263 SOS 40849831 HAS SOPS 40849831 HAS SOUS 30558038 HAS SOUPS 30558038 WITH SCORE 3.0598887831E7
AT ITER 4154 NEW BEST:: SOT 204628263 SOS 40848495 HAS SOPS 40848495 HAS SOUS 30557370 HAS SOUPS 30557370 WITH SCORE 3.0598218495E7
AT ITER 4185 NEW BEST:: SOT 204626319 SOS 40838775 HAS SOPS 40838775 HAS SOUS 30553482 HAS SOUPS 30553482 WITH SCORE 3.0594320775E7
AT ITER 4193 NEW BEST:: SOT 204625324 SOS 40836785 HAS SOPS 40836785 HAS SOUS 30551492 HAS SOUPS 30551492 WITH SCORE 3.0592328785E7
AT ITER 4198 NEW BEST:: SOT 204624631 SOS 40836503 HAS SOPS 40836503 HAS SOUS 30551210 HAS SOUPS 30551210 WITH SCORE 3.0592046503E7
AT ITER 4204 NEW BEST:: SOT 204626452 SOS 40840145 HAS SOPS 40840145 HAS SOUS 30549335 HAS SOUPS 30549335 WITH SCORE 3.0590175145E7
AT ITER 4211 NEW BEST:: SOT 204626192 SOS 40840145 HAS SOPS 40840145 HAS SOUS 30549205 HAS SOUPS 30549205 WITH SCORE 3.0590045145E7
AT ITER 4224 NEW BEST:: SOT 204623179 SOS 40837128 HAS SOPS 40837128 HAS SOUS 30543178 HAS SOUPS 30543178 WITH SCORE 3.0584015128E7
AT ITER 4247 NEW BEST:: SOT 204623048 SOS 40837380 HAS SOPS 40837380 HAS SOUS 30543046 HAS SOUPS 30543046 WITH SCORE 3.058388338E7
AT ITER 4264 NEW BEST:: SOT 204621125 SOS 40833534 HAS SOPS 40833534 HAS SOUS 30537501 HAS SOUPS 30537501 WITH SCORE 3.0578334534E7
AT ITER 4286 NEW BEST:: SOT 204617583 SOS 40831763 HAS SOPS 40831763 HAS SOUS 30535730 HAS SOUPS 30535730 WITH SCORE 3.0576561763E7
AT ITER 4288 NEW BEST:: SOT 204616875 SOS 40831055 HAS SOPS 40831055 HAS SOUS 30535022 HAS SOUPS 30535022 WITH SCORE 3.0575853055E7
AT ITER 4292 NEW BEST:: SOT 204615459 SOS 40831045 HAS SOPS 40831045 HAS SOUS 30534846 HAS SOUPS 30534846 WITH SCORE 3.0575677045E7
AT ITER 4343 NEW BEST:: SOT 204613708 SOS 40829294 HAS SOPS 40829294 HAS SOUS 30533095 HAS SOUPS 30533095 WITH SCORE 3.0573924294E7
AT ITER 4370 NEW BEST:: SOT 204607963 SOS 40823660 HAS SOPS 40823660 HAS SOUS 30527350 HAS SOUPS 30527350 WITH SCORE 3.056817366E7
AT ITER 4389 NEW BEST:: SOT 204607913 SOS 40823560 HAS SOPS 40823560 HAS SOUS 30527300 HAS SOUPS 30527300 WITH SCORE 3.056812356E7
AT ITER 4447 NEW BEST:: SOT 204609124 SOS 40825982 HAS SOPS 40825982 HAS SOUS 30526228 HAS SOUPS 30526228 WITH SCORE 3.0567053982E7
AT ITER 4458 NEW BEST:: SOT 204609124 SOS 40822247 HAS SOPS 40822247 HAS SOUS 30526228 HAS SOUPS 30526228 WITH SCORE 3.0567050247E7
AT ITER 4462 NEW BEST:: SOT 204607701 SOS 40821663 HAS SOPS 40821663 HAS SOUS 30524827 HAS SOUPS 30524827 WITH SCORE 3.0565648663E7
AT ITER 4487 NEW BEST:: SOT 204607903 SOS 40819049 HAS SOPS 40819049 HAS SOUS 30523722 HAS SOUPS 30523722 WITH SCORE 3.0564541049E7
AT ITER 4505 NEW BEST:: SOT 204607903 SOS 40819049 HAS SOPS 40819049 HAS SOUS 30523721 HAS SOUPS 30523721 WITH SCORE 3.0564540049E7
AT ITER 4506 NEW BEST:: SOT 204606191 SOS 40817337 HAS SOPS 40817337 HAS SOUS 30522009 HAS SOUPS 30522009 WITH SCORE 3.0562826337E7
AT ITER 4510 NEW BEST:: SOT 204605294 SOS 40816440 HAS SOPS 40816440 HAS SOUS 30521112 HAS SOUPS 30521112 WITH SCORE 3.056192844E7
AT ITER 4517 NEW BEST:: SOT 204604450 SOS 40814752 HAS SOPS 40814752 HAS SOUS 30519241 HAS SOUPS 30519241 WITH SCORE 3.0560055752E7
AT ITER 4531 NEW BEST:: SOT 204604449 SOS 40814018 HAS SOPS 40814018 HAS SOUS 30518507 HAS SOUPS 30518507 WITH SCORE 3.0559321018E7
AT ITER 4548 NEW BEST:: SOT 204603492 SOS 40814054 HAS SOPS 40814054 HAS SOUS 30518200 HAS SOUPS 30518200 WITH SCORE 3.0559014054E7
AT ITER 4576 NEW BEST:: SOT 204603017 SOS 40815833 HAS SOPS 40815833 HAS SOUS 30517724 HAS SOUPS 30517724 WITH SCORE 3.0558539833E7
AT ITER 4598 NEW BEST:: SOT 204602732 SOS 40815263 HAS SOPS 40815263 HAS SOUS 30517154 HAS SOUPS 30517154 WITH SCORE 3.0557969263E7
AT ITER 4633 NEW BEST:: SOT 204602288 SOS 40814375 HAS SOPS 40814375 HAS SOUS 30516266 HAS SOUPS 30516266 WITH SCORE 3.0557080375E7
AT ITER 4648 NEW BEST:: SOT 204600583 SOS 40813510 HAS SOPS 40813510 HAS SOUS 30515401 HAS SOUPS 30515401 WITH SCORE 3.055621451E7
AT ITER 4663 NEW BEST:: SOT 204599720 SOS 40808754 HAS SOPS 40808754 HAS SOUS 30513675 HAS SOUPS 30513675 WITH SCORE 3.0554483754E7
AT ITER 4683 NEW BEST:: SOT 204597329 SOS 40806359 HAS SOPS 40806359 HAS SOUS 30511283 HAS SOUPS 30511283 WITH SCORE 3.0552089359E7
AT ITER 4691 NEW BEST:: SOT 204596310 SOS 40804321 HAS SOPS 40804321 HAS SOUS 30509245 HAS SOUPS 30509245 WITH SCORE 3.0550049321E7
AT ITER 4693 NEW BEST:: SOT 204595409 SOS 40802519 HAS SOPS 40802519 HAS SOUS 30507443 HAS SOUPS 30507443 WITH SCORE 3.0548245519E7
AT ITER 4697 NEW BEST:: SOT 204595353 SOS 40802407 HAS SOPS 40802407 HAS SOUS 30507387 HAS SOUPS 30507387 WITH SCORE 3.0548189407E7
AT ITER 4716 NEW BEST:: SOT 204594932 SOS 40801986 HAS SOPS 40801986 HAS SOUS 30506545 HAS SOUPS 30506545 WITH SCORE 3.0547346986E7
AT ITER 4736 NEW BEST:: SOT 204594747 SOS 40801616 HAS SOPS 40801616 HAS SOUS 30506175 HAS SOUPS 30506175 WITH SCORE 3.0546976616E7
AT ITER 4741 NEW BEST:: SOT 204592724 SOS 40797570 HAS SOPS 40797570 HAS SOUS 30504152 HAS SOUPS 30504152 WITH SCORE 3.054494957E7
AT ITER 4751 NEW BEST:: SOT 204592582 SOS 40797428 HAS SOPS 40797428 HAS SOUS 30504010 HAS SOUPS 30504010 WITH SCORE 3.0544807428E7
AT ITER 4755 NEW BEST:: SOT 204592357 SOS 40796978 HAS SOPS 40796978 HAS SOUS 30503560 HAS SOUPS 30503560 WITH SCORE 3.0544356978E7
AT ITER 4756 NEW BEST:: SOT 204592357 SOS 40807075 HAS SOPS 40807075 HAS SOUS 30502436 HAS SOUPS 30502436 WITH SCORE 3.0543243075E7
AT ITER 4787 NEW BEST:: SOT 204591468 SOS 40813298 HAS SOPS 40813298 HAS SOUS 30501547 HAS SOUPS 30501547 WITH SCORE 3.0542360298E7
AT ITER 4795 NEW BEST:: SOT 204591468 SOS 40813298 HAS SOPS 40813298 HAS SOUS 30499707 HAS SOUPS 30499707 WITH SCORE 3.0540520298E7
AT ITER 4802 NEW BEST:: SOT 204591468 SOS 40811894 HAS SOPS 40811894 HAS SOUS 30499707 HAS SOUPS 30499707 WITH SCORE 3.0540518894E7
AT ITER 4809 NEW BEST:: SOT 204590970 SOS 40811396 HAS SOPS 40811396 HAS SOUS 30499209 HAS SOUPS 30499209 WITH SCORE 3.0540020396E7
AT ITER 4822 NEW BEST:: SOT 204590572 SOS 40810600 HAS SOPS 40810600 HAS SOUS 30498413 HAS SOUPS 30498413 WITH SCORE 3.05392236E7
AT ITER 4872 NEW BEST:: SOT 204588431 SOS 40808459 HAS SOPS 40808459 HAS SOUS 30496272 HAS SOUPS 30496272 WITH SCORE 3.0537080459E7
AT ITER 4892 NEW BEST:: SOT 204588431 SOS 40808459 HAS SOPS 40808459 HAS SOUS 30495820 HAS SOUPS 30495820 WITH SCORE 3.0536628459E7
AT ITER 4919 NEW BEST:: SOT 204573927 SOS 40821297 HAS SOPS 40821297 HAS SOUS 30491277 HAS SOUPS 30491277 WITH SCORE 3.0532098297E7
AT ITER 4942 NEW BEST:: SOT 204571948 SOS 40819314 HAS SOPS 40819314 HAS SOUS 30489297 HAS SOUPS 30489297 WITH SCORE 3.0530116314E7
AT ITER 4947 NEW BEST:: SOT 204571158 SOS 40817734 HAS SOPS 40817734 HAS SOUS 30487063 HAS SOUPS 30487063 WITH SCORE 3.0527880734E7
AT ITER 4970 NEW BEST:: SOT 204570065 SOS 40815549 HAS SOPS 40815549 HAS SOUS 30484878 HAS SOUPS 30484878 WITH SCORE 3.0525693549E7
AT ITER 5009 NEW BEST:: SOT 204570016 SOS 40815451 HAS SOPS 40815451 HAS SOUS 30484780 HAS SOUPS 30484780 WITH SCORE 3.0525595451E7
AT ITER 5021 NEW BEST:: SOT 204569735 SOS 40814889 HAS SOPS 40814889 HAS SOUS 30484499 HAS SOUPS 30484499 WITH SCORE 3.0525313889E7
AT ITER 5024 NEW BEST:: SOT 204569149 SOS 40813717 HAS SOPS 40813717 HAS SOUS 30483327 HAS SOUPS 30483327 WITH SCORE 3.0524140717E7
AT ITER 5039 NEW BEST:: SOT 204568655 SOS 40814697 HAS SOPS 40814697 HAS SOUS 30482831 HAS SOUPS 30482831 WITH SCORE 3.0523645697E7
AT ITER 5076 NEW BEST:: SOT 204567857 SOS 40813101 HAS SOPS 40813101 HAS SOUS 30481235 HAS SOUPS 30481235 WITH SCORE 3.0522048101E7
AT ITER 5081 NEW BEST:: SOT 204567885 SOS 40813157 HAS SOPS 40813157 HAS SOUS 30477694 HAS SOUPS 30477694 WITH SCORE 3.0518507157E7
AT ITER 5082 NEW BEST:: SOT 204567794 SOS 40812975 HAS SOPS 40812975 HAS SOUS 30477512 HAS SOUPS 30477512 WITH SCORE 3.0518324975E7
AT ITER 5083 NEW BEST:: SOT 204566707 SOS 40811888 HAS SOPS 40811888 HAS SOUS 30477510 HAS SOUPS 30477510 WITH SCORE 3.0518321888E7
AT ITER 5122 NEW BEST:: SOT 204565634 SOS 40809743 HAS SOPS 40809743 HAS SOUS 30475365 HAS SOUPS 30475365 WITH SCORE 3.0516174743E7
AT ITER 5127 NEW BEST:: SOT 204565327 SOS 40809436 HAS SOPS 40809436 HAS SOUS 30475058 HAS SOUPS 30475058 WITH SCORE 3.0515867436E7
AT ITER 5128 NEW BEST:: SOT 204564830 SOS 40814283 HAS SOPS 40814283 HAS SOUS 30474713 HAS SOUPS 30474713 WITH SCORE 3.0515527283E7
AT ITER 5136 NEW BEST:: SOT 204564738 SOS 40813599 HAS SOPS 40813599 HAS SOUS 30474029 HAS SOUPS 30474029 WITH SCORE 3.0514842599E7
AT ITER 5140 NEW BEST:: SOT 204564680 SOS 40813483 HAS SOPS 40813483 HAS SOUS 30473913 HAS SOUPS 30473913 WITH SCORE 3.0514726483E7
AT ITER 5147 NEW BEST:: SOT 204564065 SOS 40812253 HAS SOPS 40812253 HAS SOUS 30472683 HAS SOUPS 30472683 WITH SCORE 3.0513495253E7
AT ITER 5152 NEW BEST:: SOT 204551551 SOS 40788707 HAS SOPS 40788707 HAS SOUS 30459050 HAS SOUPS 30459050 WITH SCORE 3.0499838707E7
AT ITER 5173 NEW BEST:: SOT 204547000 SOS 40783932 HAS SOPS 40783932 HAS SOUS 30456428 HAS SOUPS 30456428 WITH SCORE 3.0497211932E7
AT ITER 5192 NEW BEST:: SOT 204546999 SOS 40783140 HAS SOPS 40783140 HAS SOUS 30455636 HAS SOUPS 30455636 WITH SCORE 3.049641914E7
AT ITER 5208 NEW BEST:: SOT 204525843 SOS 40776426 HAS SOPS 40776426 HAS SOUS 30441819 HAS SOUPS 30441819 WITH SCORE 3.0482595426E7
AT ITER 5223 NEW BEST:: SOT 204524187 SOS 40774766 HAS SOPS 40774766 HAS SOUS 30440162 HAS SOUPS 30440162 WITH SCORE 3.0480936766E7
AT ITER 5237 NEW BEST:: SOT 204507771 SOS 40800242 HAS SOPS 40800242 HAS SOUS 30434947 HAS SOUPS 30434947 WITH SCORE 3.0475747242E7
AT ITER 5268 NEW BEST:: SOT 204507349 SOS 40800031 HAS SOPS 40800031 HAS SOUS 30434736 HAS SOUPS 30434736 WITH SCORE 3.0475536031E7
AT ITER 5285 NEW BEST:: SOT 204507187 SOS 40799707 HAS SOPS 40799707 HAS SOUS 30434412 HAS SOUPS 30434412 WITH SCORE 3.0475211707E7
AT ITER 5303 NEW BEST:: SOT 204504671 SOS 40797191 HAS SOPS 40797191 HAS SOUS 30431896 HAS SOUPS 30431896 WITH SCORE 3.0472693191E7
AT ITER 5319 NEW BEST:: SOT 204502908 SOS 40796345 HAS SOPS 40796345 HAS SOUS 30431050 HAS SOUPS 30431050 WITH SCORE 3.0471846345E7
AT ITER 5325 NEW BEST:: SOT 204500941 SOS 40792411 HAS SOPS 40792411 HAS SOUS 30427116 HAS SOUPS 30427116 WITH SCORE 3.0467908411E7
AT ITER 5333 NEW BEST:: SOT 204496876 SOS 40791055 HAS SOPS 40791055 HAS SOUS 30425309 HAS SOUPS 30425309 WITH SCORE 3.0466100055E7
AT ITER 5397 NEW BEST:: SOT 204496876 SOS 40788247 HAS SOPS 40788247 HAS SOUS 30425309 HAS SOUPS 30425309 WITH SCORE 3.0466097247E7
AT ITER 5404 NEW BEST:: SOT 204496791 SOS 40788077 HAS SOPS 40788077 HAS SOUS 30425139 HAS SOUPS 30425139 WITH SCORE 3.0465927077E7
AT ITER 5429 NEW BEST:: SOT 204488849 SOS 40782301 HAS SOPS 40782301 HAS SOUS 30419363 HAS SOUPS 30419363 WITH SCORE 3.0460145301E7
AT ITER 5439 NEW BEST:: SOT 204477998 SOS 40804809 HAS SOPS 40804809 HAS SOUS 30419132 HAS SOUPS 30419132 WITH SCORE 3.0459936809E7
AT ITER 5457 NEW BEST:: SOT 204477485 SOS 40803783 HAS SOPS 40803783 HAS SOUS 30418106 HAS SOUPS 30418106 WITH SCORE 3.0458909783E7
AT ITER 5478 NEW BEST:: SOT 204477485 SOS 40803783 HAS SOPS 40803783 HAS SOUS 30414599 HAS SOUPS 30414599 WITH SCORE 3.0455402783E7
AT ITER 5485 NEW BEST:: SOT 204476739 SOS 40802291 HAS SOPS 40802291 HAS SOUS 30413107 HAS SOUPS 30413107 WITH SCORE 3.0453909291E7
AT ITER 5490 NEW BEST:: SOT 204476497 SOS 40801807 HAS SOPS 40801807 HAS SOUS 30412623 HAS SOUPS 30412623 WITH SCORE 3.0453424807E7
AT ITER 5503 NEW BEST:: SOT 204475949 SOS 40801533 HAS SOPS 40801533 HAS SOUS 30412349 HAS SOUPS 30412349 WITH SCORE 3.0453150533E7
AT ITER 5516 NEW BEST:: SOT 204474558 SOS 40794578 HAS SOPS 40794578 HAS SOUS 30409567 HAS SOUPS 30409567 WITH SCORE 3.0450361578E7
AT ITER 5534 NEW BEST:: SOT 204471367 SOS 40793329 HAS SOPS 40793329 HAS SOUS 30408318 HAS SOUPS 30408318 WITH SCORE 3.0449111329E7
AT ITER 5545 NEW BEST:: SOT 204471331 SOS 40793257 HAS SOPS 40793257 HAS SOUS 30408282 HAS SOUPS 30408282 WITH SCORE 3.0449075257E7
AT ITER 5571 NEW BEST:: SOT 204471061 SOS 40792718 HAS SOPS 40792718 HAS SOUS 30407743 HAS SOUPS 30407743 WITH SCORE 3.0448535718E7
AT ITER 5623 NEW BEST:: SOT 204470815 SOS 40781427 HAS SOPS 40781427 HAS SOUS 30402438 HAS SOUPS 30402438 WITH SCORE 3.0443219427E7
AT ITER 5632 NEW BEST:: SOT 204470335 SOS 40780468 HAS SOPS 40780468 HAS SOUS 30401479 HAS SOUPS 30401479 WITH SCORE 3.0442259468E7
AT ITER 5654 NEW BEST:: SOT 204467872 SOS 40775542 HAS SOPS 40775542 HAS SOUS 30396553 HAS SOUPS 30396553 WITH SCORE 3.0437328542E7
AT ITER 5662 NEW BEST:: SOT 204465497 SOS 40763667 HAS SOPS 40763667 HAS SOUS 30391803 HAS SOUPS 30391803 WITH SCORE 3.0432566667E7
AT ITER 5670 NEW BEST:: SOT 204465354 SOS 40763381 HAS SOPS 40763381 HAS SOUS 30391517 HAS SOUPS 30391517 WITH SCORE 3.0432280381E7
AT ITER 5694 NEW BEST:: SOT 204464018 SOS 40760709 HAS SOPS 40760709 HAS SOUS 30388845 HAS SOUPS 30388845 WITH SCORE 3.0429605709E7
AT ITER 5697 NEW BEST:: SOT 204464018 SOS 40760709 HAS SOPS 40760709 HAS SOUS 30388832 HAS SOUPS 30388832 WITH SCORE 3.0429592709E7
AT ITER 5713 NEW BEST:: SOT 204464018 SOS 40759885 HAS SOPS 40759885 HAS SOUS 30388008 HAS SOUPS 30388008 WITH SCORE 3.0428767885E7
AT ITER 5742 NEW BEST:: SOT 204460720 SOS 40758236 HAS SOPS 40758236 HAS SOUS 30386359 HAS SOUPS 30386359 WITH SCORE 3.0427117236E7
AT ITER 5748 NEW BEST:: SOT 204459832 SOS 40756460 HAS SOPS 40756460 HAS SOUS 30384583 HAS SOUPS 30384583 WITH SCORE 3.042533946E7
AT ITER 5762 NEW BEST:: SOT 204459745 SOS 40756286 HAS SOPS 40756286 HAS SOUS 30384493 HAS SOUPS 30384493 WITH SCORE 3.0425249286E7
AT ITER 5764 NEW BEST:: SOT 204456013 SOS 40751824 HAS SOPS 40751824 HAS SOUS 30383284 HAS SOUPS 30383284 WITH SCORE 3.0424035824E7
AT ITER 5780 NEW BEST:: SOT 204456012 SOS 40751822 HAS SOPS 40751822 HAS SOUS 30383282 HAS SOUPS 30383282 WITH SCORE 3.0424033822E7
AT ITER 5832 NEW BEST:: SOT 204456012 SOS 40750998 HAS SOPS 40750998 HAS SOUS 30383282 HAS SOUPS 30383282 WITH SCORE 3.0424032998E7
AT ITER 5834 NEW BEST:: SOT 204456012 SOS 40749803 HAS SOPS 40749803 HAS SOUS 30383282 HAS SOUPS 30383282 WITH SCORE 3.0424031803E7
AT ITER 5838 NEW BEST:: SOT 204455070 SOS 40747448 HAS SOPS 40747448 HAS SOUS 30382340 HAS SOUPS 30382340 WITH SCORE 3.0423087448E7
AT ITER 5869 NEW BEST:: SOT 204455070 SOS 40745601 HAS SOPS 40745601 HAS SOUS 30382340 HAS SOUPS 30382340 WITH SCORE 3.0423085601E7
AT ITER 5884 NEW BEST:: SOT 204454779 SOS 40745020 HAS SOPS 40745020 HAS SOUS 30381759 HAS SOUPS 30381759 WITH SCORE 3.042250402E7
AT ITER 5886 NEW BEST:: SOT 204454735 SOS 40745104 HAS SOPS 40745104 HAS SOUS 30381714 HAS SOUPS 30381714 WITH SCORE 3.0422459104E7
AT ITER 5907 NEW BEST:: SOT 204446227 SOS 40742488 HAS SOPS 40742488 HAS SOUS 30376806 HAS SOUPS 30376806 WITH SCORE 3.0417548488E7
AT ITER 5947 NEW BEST:: SOT 204446072 SOS 40742643 HAS SOPS 40742643 HAS SOUS 30376651 HAS SOUPS 30376651 WITH SCORE 3.0417393643E7
AT ITER 5956 NEW BEST:: SOT 204444996 SOS 40740492 HAS SOPS 40740492 HAS SOUS 30374500 HAS SOUPS 30374500 WITH SCORE 3.0415240492E7
AT ITER 6018 NEW BEST:: SOT 204444943 SOS 40740386 HAS SOPS 40740386 HAS SOUS 30374394 HAS SOUPS 30374394 WITH SCORE 3.0415134386E7
AT ITER 6035 NEW BEST:: SOT 204445017 SOS 40743794 HAS SOPS 40743794 HAS SOUS 30373453 HAS SOUPS 30373453 WITH SCORE 3.0414196794E7
AT ITER 6043 NEW BEST:: SOT 204445017 SOS 40742707 HAS SOPS 40742707 HAS SOUS 30373453 HAS SOUPS 30373453 WITH SCORE 3.0414195707E7
AT ITER 6065 NEW BEST:: SOT 204443682 SOS 40741597 HAS SOPS 40741597 HAS SOUS 30372343 HAS SOUPS 30372343 WITH SCORE 3.0413084597E7
AT ITER 6090 NEW BEST:: SOT 204442907 SOS 40740339 HAS SOPS 40740339 HAS SOUS 30371325 HAS SOUPS 30371325 WITH SCORE 3.0412065339E7
AT ITER 6099 NEW BEST:: SOT 204441290 SOS 40738718 HAS SOPS 40738718 HAS SOUS 30369707 HAS SOUPS 30369707 WITH SCORE 3.0410445718E7
AT ITER 6107 NEW BEST:: SOT 204440352 SOS 40734028 HAS SOPS 40734028 HAS SOUS 30367831 HAS SOUPS 30367831 WITH SCORE 3.0408565028E7
AT ITER 6123 NEW BEST:: SOT 204438766 SOS 40732471 HAS SOPS 40732471 HAS SOUS 30366244 HAS SOUPS 30366244 WITH SCORE 3.0406976471E7
AT ITER 6127 NEW BEST:: SOT 204437017 SOS 40730201 HAS SOPS 40730201 HAS SOUS 30364495 HAS SOUPS 30364495 WITH SCORE 3.0405225201E7
AT ITER 6145 NEW BEST:: SOT 204434422 SOS 40727909 HAS SOPS 40727909 HAS SOUS 30361894 HAS SOUPS 30361894 WITH SCORE 3.0402621909E7
AT ITER 6146 NEW BEST:: SOT 204431715 SOS 40728576 HAS SOPS 40728576 HAS SOUS 30361214 HAS SOUPS 30361214 WITH SCORE 3.0401942576E7
AT ITER 6172 NEW BEST:: SOT 204430979 SOS 40728572 HAS SOPS 40728572 HAS SOUS 30360845 HAS SOUPS 30360845 WITH SCORE 3.0401573572E7
AT ITER 6182 NEW BEST:: SOT 204429504 SOS 40721197 HAS SOPS 40721197 HAS SOUS 30357895 HAS SOUPS 30357895 WITH SCORE 3.0398616197E7
AT ITER 6191 NEW BEST:: SOT 204429504 SOS 40721197 HAS SOPS 40721197 HAS SOUS 30354825 HAS SOUPS 30354825 WITH SCORE 3.0395546197E7
AT ITER 6215 NEW BEST:: SOT 204428581 SOS 40719352 HAS SOPS 40719352 HAS SOUS 30352980 HAS SOUPS 30352980 WITH SCORE 3.0393699352E7
AT ITER 6237 NEW BEST:: SOT 204412357 SOS 40766706 HAS SOPS 40766706 HAS SOUS 30351358 HAS SOUPS 30351358 WITH SCORE 3.0392124706E7
AT ITER 6246 NEW BEST:: SOT 204404366 SOS 40750724 HAS SOPS 40750724 HAS SOUS 30343367 HAS SOUPS 30343367 WITH SCORE 3.0384117724E7
AT ITER 6259 NEW BEST:: SOT 204403891 SOS 40750249 HAS SOPS 40750249 HAS SOUS 30342892 HAS SOUPS 30342892 WITH SCORE 3.0383642249E7
AT ITER 6269 NEW BEST:: SOT 204402975 SOS 40748417 HAS SOPS 40748417 HAS SOUS 30341976 HAS SOUPS 30341976 WITH SCORE 3.0382724417E7
AT ITER 6299 NEW BEST:: SOT 204402975 SOS 40747629 HAS SOPS 40747629 HAS SOUS 30341188 HAS SOUPS 30341188 WITH SCORE 3.0381935629E7
AT ITER 6306 NEW BEST:: SOT 204402759 SOS 40747521 HAS SOPS 40747521 HAS SOUS 30341080 HAS SOUPS 30341080 WITH SCORE 3.0381827521E7
AT ITER 6336 NEW BEST:: SOT 204401280 SOS 40746091 HAS SOPS 40746091 HAS SOUS 30339601 HAS SOUPS 30339601 WITH SCORE 3.0380347091E7
AT ITER 6386 NEW BEST:: SOT 204400603 SOS 40744737 HAS SOPS 40744737 HAS SOUS 30338247 HAS SOUPS 30338247 WITH SCORE 3.0378991737E7
AT ITER 6395 NEW BEST:: SOT 204399369 SOS 40742269 HAS SOPS 40742269 HAS SOUS 30335779 HAS SOUPS 30335779 WITH SCORE 3.0376521269E7
AT ITER 6434 NEW BEST:: SOT 204399369 SOS 40741144 HAS SOPS 40741144 HAS SOUS 30335779 HAS SOUPS 30335779 WITH SCORE 3.0376520144E7
AT ITER 6440 NEW BEST:: SOT 204397871 SOS 40740391 HAS SOPS 40740391 HAS SOUS 30335029 HAS SOUPS 30335029 WITH SCORE 3.0375769391E7
AT ITER 6475 NEW BEST:: SOT 204394722 SOS 40739241 HAS SOPS 40739241 HAS SOUS 30333596 HAS SOUPS 30333596 WITH SCORE 3.0374335241E7
AT ITER 6488 NEW BEST:: SOT 204396235 SOS 40742267 HAS SOPS 40742267 HAS SOUS 30333235 HAS SOUPS 30333235 WITH SCORE 3.0373977267E7
AT ITER 6525 NEW BEST:: SOT 204396235 SOS 40742267 HAS SOPS 40742267 HAS SOUS 30331897 HAS SOUPS 30331897 WITH SCORE 3.0372639267E7
AT ITER 6551 NEW BEST:: SOT 204394000 SOS 40740500 HAS SOPS 40740500 HAS SOUS 30327195 HAS SOUPS 30327195 WITH SCORE 3.03679355E7
AT ITER 6561 NEW BEST:: SOT 204393556 SOS 40737414 HAS SOPS 40737414 HAS SOUS 30325652 HAS SOUPS 30325652 WITH SCORE 3.0366389414E7
AT ITER 6578 NEW BEST:: SOT 204393354 SOS 40736909 HAS SOPS 40736909 HAS SOUS 30325349 HAS SOUPS 30325349 WITH SCORE 3.0366085909E7
AT ITER 6627 NEW BEST:: SOT 204392601 SOS 40735403 HAS SOPS 40735403 HAS SOUS 30323843 HAS SOUPS 30323843 WITH SCORE 3.0364578403E7
AT ITER 6640 NEW BEST:: SOT 204388830 SOS 40734701 HAS SOPS 40734701 HAS SOUS 30322352 HAS SOUPS 30322352 WITH SCORE 3.0363086701E7
AT ITER 6657 NEW BEST:: SOT 204388253 SOS 40734120 HAS SOPS 40734120 HAS SOUS 30321774 HAS SOUPS 30321774 WITH SCORE 3.036250812E7
AT ITER 6700 NEW BEST:: SOT 204386424 SOS 40732291 HAS SOPS 40732291 HAS SOUS 30319945 HAS SOUPS 30319945 WITH SCORE 3.0360677291E7
AT ITER 6704 NEW BEST:: SOT 204386470 SOS 40730639 HAS SOPS 40730639 HAS SOUS 30319165 HAS SOUPS 30319165 WITH SCORE 3.0359895639E7
AT ITER 6742 NEW BEST:: SOT 204385756 SOS 40730639 HAS SOPS 40730639 HAS SOUS 30318808 HAS SOUPS 30318808 WITH SCORE 3.0359538639E7
AT ITER 6744 NEW BEST:: SOT 204381816 SOS 40728669 HAS SOPS 40728669 HAS SOUS 30316838 HAS SOUPS 30316838 WITH SCORE 3.0357566669E7
AT ITER 6757 NEW BEST:: SOT 204380722 SOS 40728602 HAS SOPS 40728602 HAS SOUS 30314650 HAS SOUPS 30314650 WITH SCORE 3.0355378602E7
AT ITER 6767 NEW BEST:: SOT 204380722 SOS 40727715 HAS SOPS 40727715 HAS SOUS 30314650 HAS SOUPS 30314650 WITH SCORE 3.0355377715E7
AT ITER 6781 NEW BEST:: SOT 204379741 SOS 40727061 HAS SOPS 40727061 HAS SOUS 30313996 HAS SOUPS 30313996 WITH SCORE 3.0354723061E7
AT ITER 6783 NEW BEST:: SOT 204379741 SOS 40726443 HAS SOPS 40726443 HAS SOUS 30313996 HAS SOUPS 30313996 WITH SCORE 3.0354722443E7
AT ITER 6802 NEW BEST:: SOT 204379367 SOS 40725695 HAS SOPS 40725695 HAS SOUS 30313248 HAS SOUPS 30313248 WITH SCORE 3.0353973695E7
AT ITER 6871 NEW BEST:: SOT 204378168 SOS 40724823 HAS SOPS 40724823 HAS SOUS 30312376 HAS SOUPS 30312376 WITH SCORE 3.0353100823E7
AT ITER 6879 NEW BEST:: SOT 204378159 SOS 40724805 HAS SOPS 40724805 HAS SOUS 30312358 HAS SOUPS 30312358 WITH SCORE 3.0353082805E7
AT ITER 6895 NEW BEST:: SOT 204378159 SOS 40724805 HAS SOPS 40724805 HAS SOUS 30311191 HAS SOUPS 30311191 WITH SCORE 3.0351915805E7
AT ITER 6906 NEW BEST:: SOT 204377132 SOS 40724355 HAS SOPS 40724355 HAS SOUS 30310164 HAS SOUPS 30310164 WITH SCORE 3.0350888355E7
AT ITER 6915 NEW BEST:: SOT 204376540 SOS 40723171 HAS SOPS 40723171 HAS SOUS 30308980 HAS SOUPS 30308980 WITH SCORE 3.0349703171E7
AT ITER 6942 NEW BEST:: SOT 204377617 SOS 40725325 HAS SOPS 40725325 HAS SOUS 30307540 HAS SOUPS 30307540 WITH SCORE 3.0348265325E7
AT ITER 6979 NEW BEST:: SOT 204378079 SOS 40725353 HAS SOPS 40725353 HAS SOUS 30307105 HAS SOUPS 30307105 WITH SCORE 3.0347830353E7
AT ITER 6988 NEW BEST:: SOT 204378079 SOS 40724968 HAS SOPS 40724968 HAS SOUS 30306720 HAS SOUPS 30306720 WITH SCORE 3.0347444968E7
AT ITER 6991 NEW BEST:: SOT 204368784 SOS 40718208 HAS SOPS 40718208 HAS SOUS 30299960 HAS SOUPS 30299960 WITH SCORE 3.0340678208E7
AT ITER 6997 NEW BEST:: SOT 204367339 SOS 40716759 HAS SOPS 40716759 HAS SOUS 30298514 HAS SOUPS 30298514 WITH SCORE 3.0339230759E7
AT ITER 7017 NEW BEST:: SOT 204364861 SOS 40716755 HAS SOPS 40716755 HAS SOUS 30298510 HAS SOUPS 30298510 WITH SCORE 3.0339226755E7
AT ITER 7061 NEW BEST:: SOT 204364542 SOS 40716117 HAS SOPS 40716117 HAS SOUS 30297872 HAS SOUPS 30297872 WITH SCORE 3.0338588117E7
AT ITER 7169 NEW BEST:: SOT 204363549 SOS 40717106 HAS SOPS 40717106 HAS SOUS 30295885 HAS SOUPS 30295885 WITH SCORE 3.0336602106E7
AT ITER 7200 NEW BEST:: SOT 204362976 SOS 40715960 HAS SOPS 40715960 HAS SOUS 30294739 HAS SOUPS 30294739 WITH SCORE 3.033545496E7
AT ITER 7210 NEW BEST:: SOT 204362976 SOS 40715199 HAS SOPS 40715199 HAS SOUS 30293978 HAS SOUPS 30293978 WITH SCORE 3.0334693199E7
AT ITER 7215 NEW BEST:: SOT 204360910 SOS 40711067 HAS SOPS 40711067 HAS SOUS 30289846 HAS SOUPS 30289846 WITH SCORE 3.0330557067E7
AT ITER 7228 NEW BEST:: SOT 204358674 SOS 40708831 HAS SOPS 40708831 HAS SOUS 30287610 HAS SOUPS 30287610 WITH SCORE 3.0328318831E7
AT ITER 7234 NEW BEST:: SOT 204358207 SOS 40707898 HAS SOPS 40707898 HAS SOUS 30286677 HAS SOUPS 30286677 WITH SCORE 3.0327384898E7
AT ITER 7237 NEW BEST:: SOT 204356653 SOS 40706340 HAS SOPS 40706340 HAS SOUS 30285122 HAS SOUPS 30285122 WITH SCORE 3.032582834E7
AT ITER 7256 NEW BEST:: SOT 204356653 SOS 40706340 HAS SOPS 40706340 HAS SOUS 30283523 HAS SOUPS 30283523 WITH SCORE 3.032422934E7
AT ITER 7260 NEW BEST:: SOT 204356606 SOS 40706246 HAS SOPS 40706246 HAS SOUS 30283429 HAS SOUPS 30283429 WITH SCORE 3.0324135246E7
AT ITER 7294 NEW BEST:: SOT 204356734 SOS 40706502 HAS SOPS 40706502 HAS SOUS 30280230 HAS SOUPS 30280230 WITH SCORE 3.0320936502E7
AT ITER 7320 NEW BEST:: SOT 204355579 SOS 40704192 HAS SOPS 40704192 HAS SOUS 30277920 HAS SOUPS 30277920 WITH SCORE 3.0318624192E7
AT ITER 7324 NEW BEST:: SOT 204355440 SOS 40703914 HAS SOPS 40703914 HAS SOUS 30277642 HAS SOUPS 30277642 WITH SCORE 3.0318345914E7
AT ITER 7341 NEW BEST:: SOT 204356351 SOS 40705736 HAS SOPS 40705736 HAS SOUS 30277520 HAS SOUPS 30277520 WITH SCORE 3.0318225736E7
AT ITER 7342 NEW BEST:: SOT 204356243 SOS 40705520 HAS SOPS 40705520 HAS SOUS 30277412 HAS SOUPS 30277412 WITH SCORE 3.031811752E7
AT ITER 7357 NEW BEST:: SOT 204349320 SOS 40696159 HAS SOPS 40696159 HAS SOUS 30270489 HAS SOUPS 30270489 WITH SCORE 3.0311185159E7
AT ITER 7388 NEW BEST:: SOT 204348940 SOS 40695399 HAS SOPS 40695399 HAS SOUS 30268772 HAS SOUPS 30268772 WITH SCORE 3.0309467399E7
AT ITER 7428 NEW BEST:: SOT 204348940 SOS 40695399 HAS SOPS 40695399 HAS SOUS 30268771 HAS SOUPS 30268771 WITH SCORE 3.0309466399E7
AT ITER 7441 NEW BEST:: SOT 204348715 SOS 40695174 HAS SOPS 40695174 HAS SOUS 30268546 HAS SOUPS 30268546 WITH SCORE 3.0309241174E7
AT ITER 7464 NEW BEST:: SOT 204348168 SOS 40694081 HAS SOPS 40694081 HAS SOUS 30267453 HAS SOUPS 30267453 WITH SCORE 3.0308147081E7
AT ITER 7466 NEW BEST:: SOT 204347967 SOS 40693880 HAS SOPS 40693880 HAS SOUS 30267252 HAS SOUPS 30267252 WITH SCORE 3.030794588E7
AT ITER 7475 NEW BEST:: SOT 204347839 SOS 40693879 HAS SOPS 40693879 HAS SOUS 30267251 HAS SOUPS 30267251 WITH SCORE 3.0307944879E7
AT ITER 7484 NEW BEST:: SOT 204347614 SOS 40693429 HAS SOPS 40693429 HAS SOUS 30266801 HAS SOUPS 30266801 WITH SCORE 3.0307494429E7
AT ITER 7496 NEW BEST:: SOT 204347614 SOS 40693429 HAS SOPS 40693429 HAS SOUS 30266674 HAS SOUPS 30266674 WITH SCORE 3.0307367429E7
AT ITER 7506 NEW BEST:: SOT 204344051 SOS 40693428 HAS SOPS 40693428 HAS SOUS 30266673 HAS SOUPS 30266673 WITH SCORE 3.0307366428E7
AT ITER 7520 NEW BEST:: SOT 204343605 SOS 40692982 HAS SOPS 40692982 HAS SOUS 30266227 HAS SOUPS 30266227 WITH SCORE 3.0306919982E7
AT ITER 7533 NEW BEST:: SOT 204340952 SOS 40693004 HAS SOPS 40693004 HAS SOUS 30264216 HAS SOUPS 30264216 WITH SCORE 3.0304909004E7
AT ITER 7541 NEW BEST:: SOT 204340951 SOS 40693002 HAS SOPS 40693002 HAS SOUS 30264214 HAS SOUPS 30264214 WITH SCORE 3.0304907002E7
AT ITER 7545 NEW BEST:: SOT 204337980 SOS 40691645 HAS SOPS 40691645 HAS SOUS 30263806 HAS SOUPS 30263806 WITH SCORE 3.0304497645E7
AT ITER 7617 NEW BEST:: SOT 204325559 SOS 40732295 HAS SOPS 40732295 HAS SOUS 30260113 HAS SOUPS 30260113 WITH SCORE 3.0300845295E7
AT ITER 7681 NEW BEST:: SOT 204324520 SOS 40732018 HAS SOPS 40732018 HAS SOUS 30257656 HAS SOUPS 30257656 WITH SCORE 3.0298388018E7
AT ITER 7689 NEW BEST:: SOT 204324388 SOS 40731754 HAS SOPS 40731754 HAS SOUS 30257392 HAS SOUPS 30257392 WITH SCORE 3.0298123754E7
AT ITER 7709 NEW BEST:: SOT 204322988 SOS 40724754 HAS SOPS 40724754 HAS SOUS 30254592 HAS SOUPS 30254592 WITH SCORE 3.0295316754E7
AT ITER 7734 NEW BEST:: SOT 204321316 SOS 40721410 HAS SOPS 40721410 HAS SOUS 30251248 HAS SOUPS 30251248 WITH SCORE 3.029196941E7
AT ITER 7763 NEW BEST:: SOT 204320605 SOS 40719989 HAS SOPS 40719989 HAS SOUS 30249827 HAS SOUPS 30249827 WITH SCORE 3.0290546989E7
AT ITER 7764 NEW BEST:: SOT 204320605 SOS 40719362 HAS SOPS 40719362 HAS SOUS 30249618 HAS SOUPS 30249618 WITH SCORE 3.0290337362E7
AT ITER 7772 NEW BEST:: SOT 204319288 SOS 40719951 HAS SOPS 40719951 HAS SOUS 30249256 HAS SOUPS 30249256 WITH SCORE 3.0289975951E7
AT ITER 7776 NEW BEST:: SOT 204319287 SOS 40719949 HAS SOPS 40719949 HAS SOUS 30249254 HAS SOUPS 30249254 WITH SCORE 3.0289973949E7
AT ITER 7801 NEW BEST:: SOT 204319286 SOS 40719628 HAS SOPS 40719628 HAS SOUS 30248933 HAS SOUPS 30248933 WITH SCORE 3.0289652628E7
AT ITER 7832 NEW BEST:: SOT 204318543 SOS 40719489 HAS SOPS 40719489 HAS SOUS 30248639 HAS SOUPS 30248639 WITH SCORE 3.0289358489E7
AT ITER 7864 NEW BEST:: SOT 204318234 SOS 40719794 HAS SOPS 40719794 HAS SOUS 30248638 HAS SOUPS 30248638 WITH SCORE 3.0289357794E7
AT ITER 7872 NEW BEST:: SOT 204318234 SOS 40719902 HAS SOPS 40719902 HAS SOUS 30248636 HAS SOUPS 30248636 WITH SCORE 3.0289355902E7
AT ITER 7882 NEW BEST:: SOT 204318220 SOS 40719888 HAS SOPS 40719888 HAS SOUS 30248622 HAS SOUPS 30248622 WITH SCORE 3.0289341888E7
AT ITER 7884 NEW BEST:: SOT 204316588 SOS 40718256 HAS SOPS 40718256 HAS SOUS 30246990 HAS SOUPS 30246990 WITH SCORE 3.0287708256E7
AT ITER 7900 NEW BEST:: SOT 204314274 SOS 40715938 HAS SOPS 40715938 HAS SOUS 30244675 HAS SOUPS 30244675 WITH SCORE 3.0285390938E7
AT ITER 7925 NEW BEST:: SOT 204314227 SOS 40715844 HAS SOPS 40715844 HAS SOUS 30244523 HAS SOUPS 30244523 WITH SCORE 3.0285238844E7
AT ITER 7926 NEW BEST:: SOT 204314221 SOS 40715832 HAS SOPS 40715832 HAS SOUS 30244511 HAS SOUPS 30244511 WITH SCORE 3.0285226832E7
AT ITER 7949 NEW BEST:: SOT 204314633 SOS 40719932 HAS SOPS 40719932 HAS SOUS 30244305 HAS SOUPS 30244305 WITH SCORE 3.0285024932E7
AT ITER 7955 NEW BEST:: SOT 204313565 SOS 40717796 HAS SOPS 40717796 HAS SOUS 30242169 HAS SOUPS 30242169 WITH SCORE 3.0282886796E7
AT ITER 7966 NEW BEST:: SOT 204312716 SOS 40716947 HAS SOPS 40716947 HAS SOUS 30241320 HAS SOUPS 30241320 WITH SCORE 3.0282036947E7
AT ITER 8034 NEW BEST:: SOT 204310538 SOS 40714765 HAS SOPS 40714765 HAS SOUS 30239141 HAS SOUPS 30239141 WITH SCORE 3.0279855765E7
AT ITER 8040 NEW BEST:: SOT 204310700 SOS 40714555 HAS SOPS 40714555 HAS SOUS 30238931 HAS SOUPS 30238931 WITH SCORE 3.0279645555E7
AT ITER 8052 NEW BEST:: SOT 204310324 SOS 40713803 HAS SOPS 40713803 HAS SOUS 30238555 HAS SOUPS 30238555 WITH SCORE 3.0279268803E7
AT ITER 8079 NEW BEST:: SOT 204310817 SOS 40711373 HAS SOPS 40711373 HAS SOUS 30237833 HAS SOUPS 30237833 WITH SCORE 3.0278544373E7
AT ITER 8108 NEW BEST:: SOT 204305995 SOS 40708962 HAS SOPS 40708962 HAS SOUS 30235422 HAS SOUPS 30235422 WITH SCORE 3.0276130962E7
AT ITER 8113 NEW BEST:: SOT 204304503 SOS 40708561 HAS SOPS 40708561 HAS SOUS 30234270 HAS SOUPS 30234270 WITH SCORE 3.0274978561E7
AT ITER 8114 NEW BEST:: SOT 204304291 SOS 40708137 HAS SOPS 40708137 HAS SOUS 30233846 HAS SOUPS 30233846 WITH SCORE 3.0274554137E7
AT ITER 8116 NEW BEST:: SOT 204301604 SOS 40702763 HAS SOPS 40702763 HAS SOUS 30228472 HAS SOUPS 30228472 WITH SCORE 3.0269174763E7
AT ITER 8131 NEW BEST:: SOT 204301748 SOS 40702056 HAS SOPS 40702056 HAS SOUS 30227765 HAS SOUPS 30227765 WITH SCORE 3.0268467056E7
AT ITER 8136 NEW BEST:: SOT 204301519 SOS 40706781 HAS SOPS 40706781 HAS SOUS 30227306 HAS SOUPS 30227306 WITH SCORE 3.0268012781E7
AT ITER 8137 NEW BEST:: SOT 204300961 SOS 40705665 HAS SOPS 40705665 HAS SOUS 30225952 HAS SOUPS 30225952 WITH SCORE 3.0266657665E7
AT ITER 8141 NEW BEST:: SOT 204295999 SOS 40708921 HAS SOPS 40708921 HAS SOUS 30225106 HAS SOUPS 30225106 WITH SCORE 3.0265814921E7
AT ITER 8157 NEW BEST:: SOT 204269316 SOS 40750200 HAS SOPS 40750200 HAS SOUS 30206841 HAS SOUPS 30206841 WITH SCORE 3.02475912E7
AT ITER 8175 NEW BEST:: SOT 204265709 SOS 40754474 HAS SOPS 40754474 HAS SOUS 30206279 HAS SOUPS 30206279 WITH SCORE 3.0247033474E7
AT ITER 8181 NEW BEST:: SOT 204262206 SOS 40755175 HAS SOPS 40755175 HAS SOUS 30205771 HAS SOUPS 30205771 WITH SCORE 3.0246526175E7
AT ITER 8212 NEW BEST:: SOT 204260942 SOS 40753911 HAS SOPS 40753911 HAS SOUS 30204507 HAS SOUPS 30204507 WITH SCORE 3.0245260911E7
AT ITER 8259 NEW BEST:: SOT 204259862 SOS 40753397 HAS SOPS 40753397 HAS SOUS 30203996 HAS SOUPS 30203996 WITH SCORE 3.0244749397E7
AT ITER 8277 NEW BEST:: SOT 204255923 SOS 40751927 HAS SOPS 40751927 HAS SOUS 30202193 HAS SOUPS 30202193 WITH SCORE 3.0242944927E7
AT ITER 8300 NEW BEST:: SOT 204255422 SOS 40749923 HAS SOPS 40749923 HAS SOUS 30201692 HAS SOUPS 30201692 WITH SCORE 3.0242441923E7
AT ITER 8309 NEW BEST:: SOT 204248769 SOS 40745781 HAS SOPS 40745781 HAS SOUS 30198279 HAS SOUPS 30198279 WITH SCORE 3.0239024781E7
AT ITER 8310 NEW BEST:: SOT 204248024 SOS 40745036 HAS SOPS 40745036 HAS SOUS 30198279 HAS SOUPS 30198279 WITH SCORE 3.0239024036E7
AT ITER 8330 NEW BEST:: SOT 204246778 SOS 40744212 HAS SOPS 40744212 HAS SOUS 30197455 HAS SOUPS 30197455 WITH SCORE 3.0238199212E7
AT ITER 8341 NEW BEST:: SOT 204247198 SOS 40745052 HAS SOPS 40745052 HAS SOUS 30194629 HAS SOUPS 30194629 WITH SCORE 3.0235374052E7
AT ITER 8350 NEW BEST:: SOT 204247197 SOS 40745050 HAS SOPS 40745050 HAS SOUS 30194627 HAS SOUPS 30194627 WITH SCORE 3.023537205E7
AT ITER 8351 NEW BEST:: SOT 204246013 SOS 40743866 HAS SOPS 40743866 HAS SOUS 30193443 HAS SOUPS 30193443 WITH SCORE 3.0234186866E7
AT ITER 8372 NEW BEST:: SOT 204245823 SOS 40743486 HAS SOPS 40743486 HAS SOUS 30193063 HAS SOUPS 30193063 WITH SCORE 3.0233806486E7
AT ITER 8385 NEW BEST:: SOT 204245877 SOS 40743242 HAS SOPS 40743242 HAS SOUS 30192819 HAS SOUPS 30192819 WITH SCORE 3.0233562242E7
AT ITER 8389 NEW BEST:: SOT 204243321 SOS 40740682 HAS SOPS 40740682 HAS SOUS 30190262 HAS SOUPS 30190262 WITH SCORE 3.0231002682E7
AT ITER 8403 NEW BEST:: SOT 204241452 SOS 40736944 HAS SOPS 40736944 HAS SOUS 30186524 HAS SOUPS 30186524 WITH SCORE 3.0227260944E7
AT ITER 8411 NEW BEST:: SOT 204238694 SOS 40734508 HAS SOPS 40734508 HAS SOUS 30184091 HAS SOUPS 30184091 WITH SCORE 3.0224825508E7
AT ITER 8418 NEW BEST:: SOT 204225963 SOS 40740759 HAS SOPS 40740759 HAS SOUS 30179123 HAS SOUPS 30179123 WITH SCORE 3.0219863759E7
AT ITER 8463 NEW BEST:: SOT 204223620 SOS 40739197 HAS SOPS 40739197 HAS SOUS 30177561 HAS SOUPS 30177561 WITH SCORE 3.0218300197E7
AT ITER 8468 NEW BEST:: SOT 204222428 SOS 40736813 HAS SOPS 40736813 HAS SOUS 30176750 HAS SOUPS 30176750 WITH SCORE 3.0217486813E7
AT ITER 8495 NEW BEST:: SOT 204220988 SOS 40733933 HAS SOPS 40733933 HAS SOUS 30173870 HAS SOUPS 30173870 WITH SCORE 3.0214603933E7
AT ITER 8524 NEW BEST:: SOT 204220988 SOS 40733933 HAS SOPS 40733933 HAS SOUS 30173393 HAS SOUPS 30173393 WITH SCORE 3.0214126933E7
AT ITER 8535 NEW BEST:: SOT 204216621 SOS 40732138 HAS SOPS 40732138 HAS SOUS 30171598 HAS SOUPS 30171598 WITH SCORE 3.0212330138E7
AT ITER 8549 NEW BEST:: SOT 204211696 SOS 40731306 HAS SOPS 40731306 HAS SOUS 30169679 HAS SOUPS 30169679 WITH SCORE 3.0210410306E7
AT ITER 8550 NEW BEST:: SOT 204211206 SOS 40731061 HAS SOPS 40731061 HAS SOUS 30169434 HAS SOUPS 30169434 WITH SCORE 3.0210165061E7
AT ITER 8572 NEW BEST:: SOT 204211206 SOS 40730206 HAS SOPS 40730206 HAS SOUS 30169434 HAS SOUPS 30169434 WITH SCORE 3.0210164206E7
AT ITER 8598 NEW BEST:: SOT 204208315 SOS 40727315 HAS SOPS 40727315 HAS SOUS 30166543 HAS SOUPS 30166543 WITH SCORE 3.0207270315E7
AT ITER 8620 NEW BEST:: SOT 204206833 SOS 40719905 HAS SOPS 40719905 HAS SOUS 30163579 HAS SOUPS 30163579 WITH SCORE 3.0204298905E7
AT ITER 8623 NEW BEST:: SOT 204205487 SOS 40715867 HAS SOPS 40715867 HAS SOUS 30161560 HAS SOUPS 30161560 WITH SCORE 3.0202275867E7
AT ITER 8654 NEW BEST:: SOT 204205467 SOS 40715827 HAS SOPS 40715827 HAS SOUS 30161540 HAS SOUPS 30161540 WITH SCORE 3.0202255827E7
AT ITER 8673 NEW BEST:: SOT 204204060 SOS 40715238 HAS SOPS 40715238 HAS SOUS 30160951 HAS SOUPS 30160951 WITH SCORE 3.0201666238E7
AT ITER 8682 NEW BEST:: SOT 204203939 SOS 40714996 HAS SOPS 40714996 HAS SOUS 30160709 HAS SOUPS 30160709 WITH SCORE 3.0201423996E7
AT ITER 8694 NEW BEST:: SOT 204203939 SOS 40714996 HAS SOPS 40714996 HAS SOUS 30157919 HAS SOUPS 30157919 WITH SCORE 3.0198633996E7
AT ITER 8700 NEW BEST:: SOT 204203929 SOS 40714976 HAS SOPS 40714976 HAS SOUS 30157899 HAS SOUPS 30157899 WITH SCORE 3.0198613976E7
AT ITER 8716 NEW BEST:: SOT 204202713 SOS 40708896 HAS SOPS 40708896 HAS SOUS 30155467 HAS SOUPS 30155467 WITH SCORE 3.0196175896E7
AT ITER 8719 NEW BEST:: SOT 204202712 SOS 40708894 HAS SOPS 40708894 HAS SOUS 30155465 HAS SOUPS 30155465 WITH SCORE 3.0196173894E7
AT ITER 8724 NEW BEST:: SOT 204202327 SOS 40708124 HAS SOPS 40708124 HAS SOUS 30154695 HAS SOUPS 30154695 WITH SCORE 3.0195403124E7
AT ITER 8733 NEW BEST:: SOT 204200893 SOS 40706686 HAS SOPS 40706686 HAS SOUS 30153260 HAS SOUPS 30153260 WITH SCORE 3.0193966686E7
AT ITER 8760 NEW BEST:: SOT 204200631 SOS 40706162 HAS SOPS 40706162 HAS SOUS 30152998 HAS SOUPS 30152998 WITH SCORE 3.0193704162E7
AT ITER 8764 NEW BEST:: SOT 204200631 SOS 40706162 HAS SOPS 40706162 HAS SOUS 30150378 HAS SOUPS 30150378 WITH SCORE 3.0191084162E7
AT ITER 8779 NEW BEST:: SOT 204200630 SOS 40706160 HAS SOPS 40706160 HAS SOUS 30150376 HAS SOUPS 30150376 WITH SCORE 3.019108216E7
AT ITER 8782 NEW BEST:: SOT 204199430 SOS 40704711 HAS SOPS 40704711 HAS SOUS 30150130 HAS SOUPS 30150130 WITH SCORE 3.0190834711E7
AT ITER 8788 NEW BEST:: SOT 204199419 SOS 40704725 HAS SOPS 40704725 HAS SOUS 30150117 HAS SOUPS 30150117 WITH SCORE 3.0190821725E7
AT ITER 8789 NEW BEST:: SOT 204197061 SOS 40702699 HAS SOPS 40702699 HAS SOUS 30147758 HAS SOUPS 30147758 WITH SCORE 3.0188460699E7
AT ITER 8816 NEW BEST:: SOT 204197061 SOS 40701717 HAS SOPS 40701717 HAS SOUS 30147758 HAS SOUPS 30147758 WITH SCORE 3.0188459717E7
AT ITER 8834 NEW BEST:: SOT 204197061 SOS 40701521 HAS SOPS 40701521 HAS SOUS 30147709 HAS SOUPS 30147709 WITH SCORE 3.0188410521E7
AT ITER 8837 NEW BEST:: SOT 204195610 SOS 40698619 HAS SOPS 40698619 HAS SOUS 30146397 HAS SOUPS 30146397 WITH SCORE 3.0187095619E7
AT ITER 8852 NEW BEST:: SOT 204190635 SOS 40698173 HAS SOPS 40698173 HAS SOUS 30144590 HAS SOUPS 30144590 WITH SCORE 3.0185288173E7
AT ITER 8860 NEW BEST:: SOT 204188615 SOS 40698115 HAS SOPS 40698115 HAS SOUS 30142570 HAS SOUPS 30142570 WITH SCORE 3.0183268115E7
AT ITER 8893 NEW BEST:: SOT 204189494 SOS 40699873 HAS SOPS 40699873 HAS SOUS 30141665 HAS SOUPS 30141665 WITH SCORE 3.0182364873E7
AT ITER 8899 NEW BEST:: SOT 204186097 SOS 40693079 HAS SOPS 40693079 HAS SOUS 30134871 HAS SOUPS 30134871 WITH SCORE 3.0175564079E7
AT ITER 8905 NEW BEST:: SOT 204169761 SOS 40721576 HAS SOPS 40721576 HAS SOUS 30131363 HAS SOUPS 30131363 WITH SCORE 3.0172084576E7
AT ITER 8917 NEW BEST:: SOT 204156017 SOS 40771761 HAS SOPS 40771761 HAS SOUS 30130006 HAS SOUPS 30130006 WITH SCORE 3.0170777761E7
AT ITER 8966 NEW BEST:: SOT 204154909 SOS 40769545 HAS SOPS 40769545 HAS SOUS 30128448 HAS SOUPS 30128448 WITH SCORE 3.0169217545E7
AT ITER 8980 NEW BEST:: SOT 204153497 SOS 40768839 HAS SOPS 40768839 HAS SOUS 30127742 HAS SOUPS 30127742 WITH SCORE 3.0168510839E7
AT ITER 9010 NEW BEST:: SOT 204154088 SOS 40770021 HAS SOPS 40770021 HAS SOUS 30126913 HAS SOUPS 30126913 WITH SCORE 3.0167683021E7
AT ITER 9011 NEW BEST:: SOT 204153011 SOS 40768944 HAS SOPS 40768944 HAS SOUS 30125836 HAS SOUPS 30125836 WITH SCORE 3.0166604944E7
AT ITER 9030 NEW BEST:: SOT 204153489 SOS 40768942 HAS SOPS 40768942 HAS SOUS 30125835 HAS SOUPS 30125835 WITH SCORE 3.0166603942E7
AT ITER 9047 NEW BEST:: SOT 204154504 SOS 40770972 HAS SOPS 40770972 HAS SOUS 30125811 HAS SOUPS 30125811 WITH SCORE 3.0166581972E7
AT ITER 9056 NEW BEST:: SOT 204154490 SOS 40770965 HAS SOPS 40770965 HAS SOUS 30125804 HAS SOUPS 30125804 WITH SCORE 3.0166574965E7
AT ITER 9100 NEW BEST:: SOT 204152704 SOS 40769362 HAS SOPS 40769362 HAS SOUS 30123982 HAS SOUPS 30123982 WITH SCORE 3.0164751362E7
AT ITER 9108 NEW BEST:: SOT 204152704 SOS 40769257 HAS SOPS 40769257 HAS SOUS 30123982 HAS SOUPS 30123982 WITH SCORE 3.0164751257E7
AT ITER 9111 NEW BEST:: SOT 204152623 SOS 40769095 HAS SOPS 40769095 HAS SOUS 30123901 HAS SOUPS 30123901 WITH SCORE 3.0164670095E7
AT ITER 9132 NEW BEST:: SOT 204150146 SOS 40764141 HAS SOPS 40764141 HAS SOUS 30118947 HAS SOUPS 30118947 WITH SCORE 3.0159711141E7
AT ITER 9141 NEW BEST:: SOT 204137597 SOS 40770616 HAS SOPS 40770616 HAS SOUS 30114043 HAS SOUPS 30114043 WITH SCORE 3.0154813616E7
AT ITER 9165 NEW BEST:: SOT 204136319 SOS 40764393 HAS SOPS 40764393 HAS SOUS 30112668 HAS SOUPS 30112668 WITH SCORE 3.0153432393E7
AT ITER 9175 NEW BEST:: SOT 204133804 SOS 40759363 HAS SOPS 40759363 HAS SOUS 30107638 HAS SOUPS 30107638 WITH SCORE 3.0148397363E7
AT ITER 9198 NEW BEST:: SOT 204133714 SOS 40758526 HAS SOPS 40758526 HAS SOUS 30107329 HAS SOUPS 30107329 WITH SCORE 3.0148087526E7
AT ITER 9206 NEW BEST:: SOT 204132555 SOS 40756208 HAS SOPS 40756208 HAS SOUS 30105011 HAS SOUPS 30105011 WITH SCORE 3.0145767208E7
AT ITER 9207 NEW BEST:: SOT 204132595 SOS 40755273 HAS SOPS 40755273 HAS SOUS 30104648 HAS SOUPS 30104648 WITH SCORE 3.0145403273E7
AT ITER 9217 NEW BEST:: SOT 204132594 SOS 40755271 HAS SOPS 40755271 HAS SOUS 30104646 HAS SOUPS 30104646 WITH SCORE 3.0145401271E7
AT ITER 9230 NEW BEST:: SOT 204131849 SOS 40754526 HAS SOPS 40754526 HAS SOUS 30103901 HAS SOUPS 30103901 WITH SCORE 3.0144655526E7
AT ITER 9286 NEW BEST:: SOT 204133058 SOS 40756944 HAS SOPS 40756944 HAS SOUS 30102693 HAS SOUPS 30102693 WITH SCORE 3.0143449944E7
AT ITER 9293 NEW BEST:: SOT 204131068 SOS 40755949 HAS SOPS 40755949 HAS SOUS 30101698 HAS SOUPS 30101698 WITH SCORE 3.0142453949E7
AT ITER 9298 NEW BEST:: SOT 204129818 SOS 40755700 HAS SOPS 40755700 HAS SOUS 30100950 HAS SOUPS 30100950 WITH SCORE 3.01417057E7
AT ITER 9308 NEW BEST:: SOT 204126342 SOS 40753172 HAS SOPS 40753172 HAS SOUS 30098422 HAS SOUPS 30098422 WITH SCORE 3.0139175172E7
AT ITER 9318 NEW BEST:: SOT 204125296 SOS 40753185 HAS SOPS 40753185 HAS SOUS 30097818 HAS SOUPS 30097818 WITH SCORE 3.0138571185E7
AT ITER 9338 NEW BEST:: SOT 204120225 SOS 40749497 HAS SOPS 40749497 HAS SOUS 30094130 HAS SOUPS 30094130 WITH SCORE 3.0134879497E7
AT ITER 9339 NEW BEST:: SOT 204120225 SOS 40746775 HAS SOPS 40746775 HAS SOUS 30092769 HAS SOUPS 30092769 WITH SCORE 3.0133515775E7
AT ITER 9390 NEW BEST:: SOT 204120224 SOS 40746773 HAS SOPS 40746773 HAS SOUS 30092767 HAS SOUPS 30092767 WITH SCORE 3.0133513773E7
AT ITER 9408 NEW BEST:: SOT 204119275 SOS 40747179 HAS SOPS 40747179 HAS SOUS 30092586 HAS SOUPS 30092586 WITH SCORE 3.0133333179E7
AT ITER 9539 NEW BEST:: SOT 204118753 SOS 40746135 HAS SOPS 40746135 HAS SOUS 30091542 HAS SOUPS 30091542 WITH SCORE 3.0132288135E7
AT ITER 9541 NEW BEST:: SOT 204118310 SOS 40745249 HAS SOPS 40745249 HAS SOUS 30091099 HAS SOUPS 30091099 WITH SCORE 3.0131844249E7
AT ITER 9547 NEW BEST:: SOT 204115909 SOS 40742848 HAS SOPS 40742848 HAS SOUS 30088698 HAS SOUPS 30088698 WITH SCORE 3.0129440848E7
AT ITER 9583 NEW BEST:: SOT 204108026 SOS 40738157 HAS SOPS 40738157 HAS SOUS 30087946 HAS SOUPS 30087946 WITH SCORE 3.0128684157E7
AT ITER 9585 NEW BEST:: SOT 204107746 SOS 40737598 HAS SOPS 40737598 HAS SOUS 30087387 HAS SOUPS 30087387 WITH SCORE 3.0128124598E7
AT ITER 9622 NEW BEST:: SOT 204105794 SOS 40735646 HAS SOPS 40735646 HAS SOUS 30085435 HAS SOUPS 30085435 WITH SCORE 3.0126170646E7
AT ITER 9633 NEW BEST:: SOT 204103964 SOS 40731986 HAS SOPS 40731986 HAS SOUS 30081775 HAS SOUPS 30081775 WITH SCORE 3.0122506986E7
AT ITER 9649 NEW BEST:: SOT 204103600 SOS 40725546 HAS SOPS 40725546 HAS SOUS 30081287 HAS SOUPS 30081287 WITH SCORE 3.0122012546E7
AT ITER 9734 NEW BEST:: SOT 204102354 SOS 40719316 HAS SOPS 40719316 HAS SOUS 30078795 HAS SOUPS 30078795 WITH SCORE 3.0119514316E7
AT ITER 9745 NEW BEST:: SOT 204102353 SOS 40719314 HAS SOPS 40719314 HAS SOUS 30078793 HAS SOUPS 30078793 WITH SCORE 3.0119512314E7
AT ITER 9754 NEW BEST:: SOT 204101180 SOS 40716968 HAS SOPS 40716968 HAS SOUS 30076447 HAS SOUPS 30076447 WITH SCORE 3.0117163968E7
AT ITER 9772 NEW BEST:: SOT 204100147 SOS 40716622 HAS SOPS 40716622 HAS SOUS 30075492 HAS SOUPS 30075492 WITH SCORE 3.0116208622E7
AT ITER 9822 NEW BEST:: SOT 204097259 SOS 40710846 HAS SOPS 40710846 HAS SOUS 30072407 HAS SOUPS 30072407 WITH SCORE 3.0113117846E7
AT ITER 9841 NEW BEST:: SOT 204093176 SOS 40708845 HAS SOPS 40708845 HAS SOUS 30070379 HAS SOUPS 30070379 WITH SCORE 3.0111087845E7
AT ITER 9852 NEW BEST:: SOT 204093176 SOS 40708845 HAS SOPS 40708845 HAS SOUS 30070378 HAS SOUPS 30070378 WITH SCORE 3.0111086845E7
AT ITER 9859 NEW BEST:: SOT 204092760 SOS 40708013 HAS SOPS 40708013 HAS SOUS 30069546 HAS SOUPS 30069546 WITH SCORE 3.0110254013E7
AT ITER 9880 NEW BEST:: SOT 204091936 SOS 40706365 HAS SOPS 40706365 HAS SOUS 30067898 HAS SOUPS 30067898 WITH SCORE 3.0108604365E7
AT ITER 9893 NEW BEST:: SOT 204091692 SOS 40705877 HAS SOPS 40705877 HAS SOUS 30067654 HAS SOUPS 30067654 WITH SCORE 3.0108359877E7
AT ITER 9902 NEW BEST:: SOT 204090712 SOS 40703918 HAS SOPS 40703918 HAS SOUS 30065695 HAS SOUPS 30065695 WITH SCORE 3.0106398918E7
AT ITER 9918 NEW BEST:: SOT 204087827 SOS 40697974 HAS SOPS 40697974 HAS SOUS 30062541 HAS SOUPS 30062541 WITH SCORE 3.0103238974E7
AT ITER 9922 NEW BEST:: SOT 204087545 SOS 40697410 HAS SOPS 40697410 HAS SOUS 30062259 HAS SOUPS 30062259 WITH SCORE 3.010295641E7
AT ITER 9927 NEW BEST:: SOT 204086393 SOS 40691650 HAS SOPS 40691650 HAS SOUS 30059955 HAS SOUPS 30059955 WITH SCORE 3.010064665E7
AT ITER 9955 NEW BEST:: SOT 204085027 SOS 40688918 HAS SOPS 40688918 HAS SOUS 30057223 HAS SOUPS 30057223 WITH SCORE 3.0097911918E7
AT ITER 9960 NEW BEST:: SOT 204083407 SOS 40687298 HAS SOPS 40687298 HAS SOUS 30055603 HAS SOUPS 30055603 WITH SCORE 3.0096290298E7
AT ITER 9971 NEW BEST:: SOT 204082741 SOS 40687060 HAS SOPS 40687060 HAS SOUS 30055368 HAS SOUPS 30055368 WITH SCORE 3.009605506E7
AT ITER 9974 NEW BEST:: SOT 204081019 SOS 40686686 HAS SOPS 40686686 HAS SOUS 30054994 HAS SOUPS 30054994 WITH SCORE 3.0095680686E7
AT ITER 9983 NEW BEST:: SOT 204081018 SOS 40685946 HAS SOPS 40685946 HAS SOUS 30054254 HAS SOUPS 30054254 WITH SCORE 3.0094939946E7

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

# 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 DLCshifumi-PT-4b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900048"
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 ;