Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 5.5K Feb 26 08:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 08:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 08:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 08:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 08:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 08:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 9.7M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678268052675

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

Filename model.pnml
Petri model created: 27146 places, 39849 transitions, 107425 arcs.
AT ITER 0 NEW BEST:: SOT 701901612 SOS 151346443 HAS SOPS 151346443 HAS SOUS 104879640 HAS SOUPS 104879640 WITH SCORE 1.05030986443E8
AT ITER 9 NEW BEST:: SOT 701900418 SOS 151348627 HAS SOPS 151348627 HAS SOUS 104878446 HAS SOUPS 104878446 WITH SCORE 1.05029794627E8
AT ITER 29 NEW BEST:: SOT 701888296 SOS 151339811 HAS SOPS 151339811 HAS SOUS 104870732 HAS SOUPS 104870732 WITH SCORE 1.05022071811E8
AT ITER 100 NEW BEST:: SOT 701883744 SOS 151317051 HAS SOPS 151317051 HAS SOUS 104861628 HAS SOUPS 104861628 WITH SCORE 1.05012945051E8
AT ITER 139 NEW BEST:: SOT 701878556 SOS 151311859 HAS SOPS 151311859 HAS SOUS 104856439 HAS SOUPS 104856439 WITH SCORE 1.05007750859E8
AT ITER 151 NEW BEST:: SOT 701847891 SOS 151322960 HAS SOPS 151322960 HAS SOUS 104851779 HAS SOUPS 104851779 WITH SCORE 1.0500310196E8
AT ITER 153 NEW BEST:: SOT 701846837 SOS 151326207 HAS SOPS 151326207 HAS SOUS 104850725 HAS SOUPS 104850725 WITH SCORE 1.05002051207E8
AT ITER 155 NEW BEST:: SOT 701843915 SOS 151320363 HAS SOPS 151320363 HAS SOUS 104844881 HAS SOUPS 104844881 WITH SCORE 1.04996201363E8
AT ITER 176 NEW BEST:: SOT 701843915 SOS 151320363 HAS SOPS 151320363 HAS SOUS 104844879 HAS SOUPS 104844879 WITH SCORE 1.04996199363E8
AT ITER 204 NEW BEST:: SOT 701842618 SOS 151317769 HAS SOPS 151317769 HAS SOUS 104842285 HAS SOUPS 104842285 WITH SCORE 1.04993602769E8
AT ITER 224 NEW BEST:: SOT 701838316 SOS 151314191 HAS SOPS 151314191 HAS SOUS 104838707 HAS SOUPS 104838707 WITH SCORE 1.04990021191E8
AT ITER 243 NEW BEST:: SOT 701834559 SOS 151306677 HAS SOPS 151306677 HAS SOUS 104831130 HAS SOUPS 104831130 WITH SCORE 1.04982436677E8
AT ITER 254 NEW BEST:: SOT 701834061 SOS 151305681 HAS SOPS 151305681 HAS SOUS 104830134 HAS SOUPS 104830134 WITH SCORE 1.04981439681E8
AT ITER 258 NEW BEST:: SOT 701832345 SOS 151302249 HAS SOPS 151302249 HAS SOUS 104826702 HAS SOUPS 104826702 WITH SCORE 1.04978004249E8
AT ITER 271 NEW BEST:: SOT 701831884 SOS 151301327 HAS SOPS 151301327 HAS SOUS 104825780 HAS SOUPS 104825780 WITH SCORE 1.04977081327E8
AT ITER 274 NEW BEST:: SOT 701831884 SOS 151300054 HAS SOPS 151300054 HAS SOUS 104824507 HAS SOUPS 104824507 WITH SCORE 1.04975807054E8
AT ITER 289 NEW BEST:: SOT 701830674 SOS 151297634 HAS SOPS 151297634 HAS SOUS 104822087 HAS SOUPS 104822087 WITH SCORE 1.04973384634E8
AT ITER 294 NEW BEST:: SOT 701829456 SOS 151299602 HAS SOPS 151299602 HAS SOUS 104820869 HAS SOUPS 104820869 WITH SCORE 1.04972168602E8
AT ITER 297 NEW BEST:: SOT 701813921 SOS 151271232 HAS SOPS 151271232 HAS SOUS 104804385 HAS SOUPS 104804385 WITH SCORE 1.04955656232E8
AT ITER 319 NEW BEST:: SOT 701809256 SOS 151266563 HAS SOPS 151266563 HAS SOUS 104799719 HAS SOUPS 104799719 WITH SCORE 1.04950985563E8
AT ITER 357 NEW BEST:: SOT 701808237 SOS 151264521 HAS SOPS 151264521 HAS SOUS 104797677 HAS SOUPS 104797677 WITH SCORE 1.04948941521E8
AT ITER 359 NEW BEST:: SOT 701801402 SOS 151264372 HAS SOPS 151264372 HAS SOUS 104790842 HAS SOUPS 104790842 WITH SCORE 1.04942106372E8
AT ITER 364 NEW BEST:: SOT 701797849 SOS 151246607 HAS SOPS 151246607 HAS SOUS 104783736 HAS SOUPS 104783736 WITH SCORE 1.04934982607E8
AT ITER 377 NEW BEST:: SOT 701793366 SOS 151237641 HAS SOPS 151237641 HAS SOUS 104774770 HAS SOUPS 104774770 WITH SCORE 1.04926007641E8
AT ITER 385 NEW BEST:: SOT 701793649 SOS 151238207 HAS SOPS 151238207 HAS SOUS 104771375 HAS SOUPS 104771375 WITH SCORE 1.04922613207E8
AT ITER 408 NEW BEST:: SOT 701791926 SOS 151234761 HAS SOPS 151234761 HAS SOUS 104767929 HAS SOUPS 104767929 WITH SCORE 1.04919163761E8
AT ITER 409 NEW BEST:: SOT 701790706 SOS 151232321 HAS SOPS 151232321 HAS SOUS 104762988 HAS SOUPS 104762988 WITH SCORE 1.04914220321E8
AT ITER 413 NEW BEST:: SOT 701788754 SOS 151228417 HAS SOPS 151228417 HAS SOUS 104759084 HAS SOUPS 104759084 WITH SCORE 1.04910312417E8
AT ITER 422 NEW BEST:: SOT 701784424 SOS 151225860 HAS SOPS 151225860 HAS SOUS 104756527 HAS SOUPS 104756527 WITH SCORE 1.0490775286E8
AT ITER 438 NEW BEST:: SOT 701779736 SOS 151223516 HAS SOPS 151223516 HAS SOUS 104754183 HAS SOUPS 104754183 WITH SCORE 1.04905406516E8
AT ITER 443 NEW BEST:: SOT 701779535 SOS 151223114 HAS SOPS 151223114 HAS SOUS 104753781 HAS SOUPS 104753781 WITH SCORE 1.04905004114E8
AT ITER 444 NEW BEST:: SOT 701778266 SOS 151220576 HAS SOPS 151220576 HAS SOUS 104751243 HAS SOUPS 104751243 WITH SCORE 1.04902463576E8
AT ITER 446 NEW BEST:: SOT 701774118 SOS 151212280 HAS SOPS 151212280 HAS SOUS 104747154 HAS SOUPS 104747154 WITH SCORE 1.0489836628E8
AT ITER 471 NEW BEST:: SOT 701774118 SOS 151212280 HAS SOPS 151212280 HAS SOUS 104739591 HAS SOUPS 104739591 WITH SCORE 1.0489080328E8
AT ITER 478 NEW BEST:: SOT 701767150 SOS 151205312 HAS SOPS 151205312 HAS SOUS 104732623 HAS SOUPS 104732623 WITH SCORE 1.04883828312E8
AT ITER 501 NEW BEST:: SOT 701766004 SOS 151204166 HAS SOPS 151204166 HAS SOUS 104731477 HAS SOUPS 104731477 WITH SCORE 1.04882681166E8
AT ITER 522 NEW BEST:: SOT 701762013 SOS 151200175 HAS SOPS 151200175 HAS SOUS 104727486 HAS SOUPS 104727486 WITH SCORE 1.04878686175E8
AT ITER 527 NEW BEST:: SOT 701761258 SOS 151199420 HAS SOPS 151199420 HAS SOUS 104727486 HAS SOUPS 104727486 WITH SCORE 1.0487868542E8
AT ITER 528 NEW BEST:: SOT 701759244 SOS 151197588 HAS SOPS 151197588 HAS SOUS 104723458 HAS SOUPS 104723458 WITH SCORE 1.04874655588E8
AT ITER 531 NEW BEST:: SOT 701759244 SOS 151194374 HAS SOPS 151194374 HAS SOUS 104721851 HAS SOUPS 104721851 WITH SCORE 1.04873045374E8
AT ITER 558 NEW BEST:: SOT 701758723 SOS 151193332 HAS SOPS 151193332 HAS SOUS 104720809 HAS SOUPS 104720809 WITH SCORE 1.04872002332E8
AT ITER 594 NEW BEST:: SOT 701753599 SOS 151188208 HAS SOPS 151188208 HAS SOUS 104715685 HAS SOUPS 104715685 WITH SCORE 1.04866873208E8
AT ITER 601 NEW BEST:: SOT 701749529 SOS 151185248 HAS SOPS 151185248 HAS SOUS 104713095 HAS SOUPS 104713095 WITH SCORE 1.04864280248E8
AT ITER 603 NEW BEST:: SOT 701744186 SOS 151183430 HAS SOPS 151183430 HAS SOUS 104711277 HAS SOUPS 104711277 WITH SCORE 1.0486246043E8
AT ITER 638 NEW BEST:: SOT 701744185 SOS 151183428 HAS SOPS 151183428 HAS SOUS 104711275 HAS SOUPS 104711275 WITH SCORE 1.04862458428E8
AT ITER 648 NEW BEST:: SOT 701742407 SOS 151169312 HAS SOPS 151169312 HAS SOUS 104707719 HAS SOUPS 104707719 WITH SCORE 1.04858888312E8
AT ITER 692 NEW BEST:: SOT 701742407 SOS 151167731 HAS SOPS 151167731 HAS SOUS 104707719 HAS SOUPS 104707719 WITH SCORE 1.04858886731E8
AT ITER 704 NEW BEST:: SOT 701744604 SOS 151167729 HAS SOPS 151167729 HAS SOUS 104707718 HAS SOUPS 104707718 WITH SCORE 1.04858885729E8
AT ITER 713 NEW BEST:: SOT 701744604 SOS 151167185 HAS SOPS 151167185 HAS SOUS 104707174 HAS SOUPS 104707174 WITH SCORE 1.04858341185E8
AT ITER 725 NEW BEST:: SOT 701738537 SOS 151161114 HAS SOPS 151161114 HAS SOUS 104701106 HAS SOUPS 104701106 WITH SCORE 1.04852267114E8
AT ITER 736 NEW BEST:: SOT 701737184 SOS 151158408 HAS SOPS 151158408 HAS SOUS 104698400 HAS SOUPS 104698400 WITH SCORE 1.04849558408E8
AT ITER 739 NEW BEST:: SOT 701737184 SOS 151149096 HAS SOPS 151149096 HAS SOUS 104695296 HAS SOUPS 104695296 WITH SCORE 1.04846445096E8
AT ITER 765 NEW BEST:: SOT 701737900 SOS 151149094 HAS SOPS 151149094 HAS SOUS 104695295 HAS SOUPS 104695295 WITH SCORE 1.04846444094E8
AT ITER 816 NEW BEST:: SOT 701734860 SOS 151146797 HAS SOPS 151146797 HAS SOUS 104692629 HAS SOUPS 104692629 WITH SCORE 1.04843775797E8
AT ITER 878 NEW BEST:: SOT 701735083 SOS 151147243 HAS SOPS 151147243 HAS SOUS 104691288 HAS SOUPS 104691288 WITH SCORE 1.04842435243E8
AT ITER 879 NEW BEST:: SOT 701734411 SOS 151148063 HAS SOPS 151148063 HAS SOUS 104689944 HAS SOUPS 104689944 WITH SCORE 1.04841092063E8
AT ITER 959 NEW BEST:: SOT 701734411 SOS 151148333 HAS SOPS 151148333 HAS SOUS 104689942 HAS SOUPS 104689942 WITH SCORE 1.04841090333E8
AT ITER 1012 NEW BEST:: SOT 701734411 SOS 151139927 HAS SOPS 151139927 HAS SOUS 104687140 HAS SOUPS 104687140 WITH SCORE 1.04838279927E8
AT ITER 1018 NEW BEST:: SOT 701732117 SOS 151135340 HAS SOPS 151135340 HAS SOUS 104682553 HAS SOUPS 104682553 WITH SCORE 1.0483368834E8
AT ITER 1025 NEW BEST:: SOT 701729817 SOS 151135859 HAS SOPS 151135859 HAS SOUS 104681503 HAS SOUPS 104681503 WITH SCORE 1.04832638859E8
AT ITER 1036 NEW BEST:: SOT 701724381 SOS 151133141 HAS SOPS 151133141 HAS SOUS 104676067 HAS SOUPS 104676067 WITH SCORE 1.04827200141E8
AT ITER 1067 NEW BEST:: SOT 701728027 SOS 151140433 HAS SOPS 151140433 HAS SOUS 104675209 HAS SOUPS 104675209 WITH SCORE 1.04826349433E8
AT ITER 1126 NEW BEST:: SOT 701728016 SOS 151140411 HAS SOPS 151140411 HAS SOUS 104675187 HAS SOUPS 104675187 WITH SCORE 1.04826327411E8
AT ITER 1140 NEW BEST:: SOT 701727878 SOS 151140135 HAS SOPS 151140135 HAS SOUS 104674911 HAS SOUPS 104674911 WITH SCORE 1.04826051135E8
AT ITER 1155 NEW BEST:: SOT 701725850 SOS 151136079 HAS SOPS 151136079 HAS SOUS 104670855 HAS SOUPS 104670855 WITH SCORE 1.04821991079E8
AT ITER 1171 NEW BEST:: SOT 701724260 SOS 151135284 HAS SOPS 151135284 HAS SOUS 104670060 HAS SOUPS 104670060 WITH SCORE 1.04821195284E8
AT ITER 1222 NEW BEST:: SOT 701721518 SOS 151129800 HAS SOPS 151129800 HAS SOUS 104663506 HAS SOUPS 104663506 WITH SCORE 1.048146358E8
AT ITER 1224 NEW BEST:: SOT 701720318 SOS 151132196 HAS SOPS 151132196 HAS SOUS 104662305 HAS SOUPS 104662305 WITH SCORE 1.04813437196E8
AT ITER 1276 NEW BEST:: SOT 701720078 SOS 151131716 HAS SOPS 151131716 HAS SOUS 104661825 HAS SOUPS 104661825 WITH SCORE 1.04812956716E8
AT ITER 1289 NEW BEST:: SOT 701719425 SOS 151130410 HAS SOPS 151130410 HAS SOUS 104661172 HAS SOUPS 104661172 WITH SCORE 1.0481230241E8
AT ITER 1295 NEW BEST:: SOT 701715069 SOS 151126433 HAS SOPS 151126433 HAS SOUS 104657195 HAS SOUPS 104657195 WITH SCORE 1.04808321433E8
AT ITER 1302 NEW BEST:: SOT 701715069 SOS 151125069 HAS SOPS 151125069 HAS SOUS 104655831 HAS SOUPS 104655831 WITH SCORE 1.04806956069E8
AT ITER 1315 NEW BEST:: SOT 701715069 SOS 151116699 HAS SOPS 151116699 HAS SOUS 104653041 HAS SOUPS 104653041 WITH SCORE 1.04804157699E8
AT ITER 1327 NEW BEST:: SOT 701712437 SOS 151111435 HAS SOPS 151111435 HAS SOUS 104647777 HAS SOUPS 104647777 WITH SCORE 1.04798888435E8
AT ITER 1345 NEW BEST:: SOT 701709388 SOS 151117306 HAS SOPS 151117306 HAS SOUS 104641348 HAS SOUPS 104641348 WITH SCORE 1.04792465306E8
AT ITER 1354 NEW BEST:: SOT 701709387 SOS 151117304 HAS SOPS 151117304 HAS SOUS 104641346 HAS SOUPS 104641346 WITH SCORE 1.04792463304E8
AT ITER 1395 NEW BEST:: SOT 701709019 SOS 151116568 HAS SOPS 151116568 HAS SOUS 104640610 HAS SOUPS 104640610 WITH SCORE 1.04791726568E8
AT ITER 1429 NEW BEST:: SOT 701707601 SOS 151113732 HAS SOPS 151113732 HAS SOUS 104639192 HAS SOUPS 104639192 WITH SCORE 1.04790305732E8
AT ITER 1435 NEW BEST:: SOT 701705720 SOS 151112364 HAS SOPS 151112364 HAS SOUS 104637995 HAS SOUPS 104637995 WITH SCORE 1.04789107364E8
AT ITER 1464 NEW BEST:: SOT 701706913 SOS 151114750 HAS SOPS 151114750 HAS SOUS 104637458 HAS SOUPS 104637458 WITH SCORE 1.0478857275E8
AT ITER 1475 NEW BEST:: SOT 701706913 SOS 151114750 HAS SOPS 151114750 HAS SOUS 104637457 HAS SOUPS 104637457 WITH SCORE 1.0478857175E8
AT ITER 1490 NEW BEST:: SOT 701709000 SOS 151118924 HAS SOPS 151118924 HAS SOUS 104633765 HAS SOUPS 104633765 WITH SCORE 1.04784883924E8
AT ITER 1494 NEW BEST:: SOT 701708999 SOS 151118922 HAS SOPS 151118922 HAS SOUS 104633763 HAS SOUPS 104633763 WITH SCORE 1.04784881922E8
AT ITER 1498 NEW BEST:: SOT 701705980 SOS 151118176 HAS SOPS 151118176 HAS SOUS 104633017 HAS SOUPS 104633017 WITH SCORE 1.04784135176E8
AT ITER 1523 NEW BEST:: SOT 701702947 SOS 151112109 HAS SOPS 151112109 HAS SOUS 104626950 HAS SOUPS 104626950 WITH SCORE 1.04778062109E8
AT ITER 1571 NEW BEST:: SOT 701701924 SOS 151111101 HAS SOPS 151111101 HAS SOUS 104625942 HAS SOUPS 104625942 WITH SCORE 1.04777053101E8
AT ITER 1649 NEW BEST:: SOT 701671039 SOS 151109461 HAS SOPS 151109461 HAS SOUS 104600578 HAS SOUPS 104600578 WITH SCORE 1.04751687461E8
AT ITER 1665 NEW BEST:: SOT 701667138 SOS 151089956 HAS SOPS 151089956 HAS SOUS 104592776 HAS SOUPS 104592776 WITH SCORE 1.04743865956E8
AT ITER 1668 NEW BEST:: SOT 701670307 SOS 151081699 HAS SOPS 151081699 HAS SOUS 104592664 HAS SOUPS 104592664 WITH SCORE 1.04743745699E8
AT ITER 1684 NEW BEST:: SOT 701669103 SOS 151081097 HAS SOPS 151081097 HAS SOUS 104592062 HAS SOUPS 104592062 WITH SCORE 1.04743143097E8
AT ITER 1803 NEW BEST:: SOT 701669102 SOS 151081095 HAS SOPS 151081095 HAS SOUS 104592060 HAS SOUPS 104592060 WITH SCORE 1.04743141095E8
AT ITER 1804 NEW BEST:: SOT 701667956 SOS 151080769 HAS SOPS 151080769 HAS SOUS 104591737 HAS SOUPS 104591737 WITH SCORE 1.04742817769E8
AT ITER 1813 NEW BEST:: SOT 701670008 SOS 151102113 HAS SOPS 151102113 HAS SOUS 104590092 HAS SOUPS 104590092 WITH SCORE 1.04741194113E8
AT ITER 1826 NEW BEST:: SOT 701669655 SOS 151101759 HAS SOPS 151101759 HAS SOUS 104589738 HAS SOUPS 104589738 WITH SCORE 1.04740839759E8
AT ITER 1842 NEW BEST:: SOT 701663980 SOS 151097175 HAS SOPS 151097175 HAS SOUS 104584432 HAS SOUPS 104584432 WITH SCORE 1.04735529175E8
AT ITER 1867 NEW BEST:: SOT 701659879 SOS 151076670 HAS SOPS 151076670 HAS SOUS 104576230 HAS SOUPS 104576230 WITH SCORE 1.0472730667E8
AT ITER 1907 NEW BEST:: SOT 701658718 SOS 151078984 HAS SOPS 151078984 HAS SOUS 104575067 HAS SOUPS 104575067 WITH SCORE 1.04726145984E8
AT ITER 1912 NEW BEST:: SOT 701658006 SOS 151078980 HAS SOPS 151078980 HAS SOUS 104574710 HAS SOUPS 104574710 WITH SCORE 1.0472578898E8
AT ITER 1913 NEW BEST:: SOT 701658006 SOS 151074582 HAS SOPS 151074582 HAS SOUS 104570312 HAS SOUPS 104570312 WITH SCORE 1.04721386582E8
AT ITER 1915 NEW BEST:: SOT 701654151 SOS 151070727 HAS SOPS 151070727 HAS SOUS 104566457 HAS SOUPS 104566457 WITH SCORE 1.04717527727E8
AT ITER 1928 NEW BEST:: SOT 701654070 SOS 151070565 HAS SOPS 151070565 HAS SOUS 104566295 HAS SOUPS 104566295 WITH SCORE 1.04717365565E8
AT ITER 1947 NEW BEST:: SOT 701653361 SOS 151069147 HAS SOPS 151069147 HAS SOUS 104564877 HAS SOUPS 104564877 WITH SCORE 1.04715946147E8
AT ITER 1950 NEW BEST:: SOT 701653361 SOS 151069147 HAS SOPS 151069147 HAS SOUS 104563702 HAS SOUPS 104563702 WITH SCORE 1.04714771147E8
AT ITER 1954 NEW BEST:: SOT 701649093 SOS 151065289 HAS SOPS 151065289 HAS SOUS 104559844 HAS SOUPS 104559844 WITH SCORE 1.04710909289E8
AT ITER 1969 NEW BEST:: SOT 701649093 SOS 151061119 HAS SOPS 151061119 HAS SOUS 104558454 HAS SOUPS 104558454 WITH SCORE 1.04709515119E8
AT ITER 1983 NEW BEST:: SOT 701609075 SOS 151070808 HAS SOPS 151070808 HAS SOUS 104548691 HAS SOUPS 104548691 WITH SCORE 1.04699761808E8
AT ITER 2002 NEW BEST:: SOT 701607431 SOS 151067520 HAS SOPS 151067520 HAS SOUS 104547047 HAS SOUPS 104547047 WITH SCORE 1.0469811452E8
AT ITER 2009 NEW BEST:: SOT 701607227 SOS 151067924 HAS SOPS 151067924 HAS SOUS 104546842 HAS SOUPS 104546842 WITH SCORE 1.04697909924E8
AT ITER 2054 NEW BEST:: SOT 701607227 SOS 151065767 HAS SOPS 151065767 HAS SOUS 104546842 HAS SOUPS 104546842 WITH SCORE 1.04697907767E8
AT ITER 2060 NEW BEST:: SOT 701605702 SOS 151062717 HAS SOPS 151062717 HAS SOUS 104543792 HAS SOUPS 104543792 WITH SCORE 1.04694854717E8
AT ITER 2067 NEW BEST:: SOT 701600744 SOS 151057755 HAS SOPS 151057755 HAS SOUS 104538833 HAS SOUPS 104538833 WITH SCORE 1.04689890755E8
AT ITER 2085 NEW BEST:: SOT 701597274 SOS 151054281 HAS SOPS 151054281 HAS SOUS 104535362 HAS SOUPS 104535362 WITH SCORE 1.04686416281E8
AT ITER 2115 NEW BEST:: SOT 701597121 SOS 151053975 HAS SOPS 151053975 HAS SOUS 104535056 HAS SOUPS 104535056 WITH SCORE 1.04686109975E8
AT ITER 2138 NEW BEST:: SOT 701591622 SOS 151026480 HAS SOPS 151026480 HAS SOUS 104524058 HAS SOUPS 104524058 WITH SCORE 1.0467508448E8
AT ITER 2193 NEW BEST:: SOT 701409946 SOS 152146866 HAS SOPS 152146866 HAS SOUS 104364536 HAS SOUPS 104364536 WITH SCORE 1.04516682866E8
AT ITER 2199 NEW BEST:: SOT 701408751 SOS 152144476 HAS SOPS 152144476 HAS SOUS 104359637 HAS SOUPS 104359637 WITH SCORE 1.04511781476E8
AT ITER 2202 NEW BEST:: SOT 701406555 SOS 152140085 HAS SOPS 152140085 HAS SOUS 104355246 HAS SOUPS 104355246 WITH SCORE 1.04507386085E8
AT ITER 2238 NEW BEST:: SOT 701408599 SOS 152123998 HAS SOPS 152123998 HAS SOUS 104351952 HAS SOUPS 104351952 WITH SCORE 1.04504075998E8
AT ITER 2349 NEW BEST:: SOT 701407818 SOS 152122436 HAS SOPS 152122436 HAS SOUS 104347593 HAS SOUPS 104347593 WITH SCORE 1.04499715436E8
AT ITER 2370 NEW BEST:: SOT 701400969 SOS 152115586 HAS SOPS 152115586 HAS SOUS 104340743 HAS SOUPS 104340743 WITH SCORE 1.04492858586E8
AT ITER 2404 NEW BEST:: SOT 701400748 SOS 152115144 HAS SOPS 152115144 HAS SOUS 104340582 HAS SOUPS 104340582 WITH SCORE 1.04492697144E8
AT ITER 2414 NEW BEST:: SOT 701399207 SOS 152112062 HAS SOPS 152112062 HAS SOUS 104337500 HAS SOUPS 104337500 WITH SCORE 1.04489612062E8
AT ITER 2423 NEW BEST:: SOT 701398303 SOS 152110517 HAS SOPS 152110517 HAS SOUS 104335955 HAS SOUPS 104335955 WITH SCORE 1.04488065517E8
AT ITER 2424 NEW BEST:: SOT 701392885 SOS 152105540 HAS SOPS 152105540 HAS SOUS 104330879 HAS SOUPS 104330879 WITH SCORE 1.0448298454E8
AT ITER 2437 NEW BEST:: SOT 701389274 SOS 152103564 HAS SOPS 152103564 HAS SOUS 104328903 HAS SOUPS 104328903 WITH SCORE 1.04481006564E8
AT ITER 2476 NEW BEST:: SOT 701389273 SOS 152103562 HAS SOPS 152103562 HAS SOUS 104328901 HAS SOUPS 104328901 WITH SCORE 1.04481004562E8
AT ITER 2488 NEW BEST:: SOT 701390822 SOS 152106660 HAS SOPS 152106660 HAS SOUS 104327450 HAS SOUPS 104327450 WITH SCORE 1.0447955666E8
AT ITER 2491 NEW BEST:: SOT 701393219 SOS 152097756 HAS SOPS 152097756 HAS SOUS 104326479 HAS SOUPS 104326479 WITH SCORE 1.04478576756E8
AT ITER 2506 NEW BEST:: SOT 701392709 SOS 152095716 HAS SOPS 152095716 HAS SOUS 104325969 HAS SOUPS 104325969 WITH SCORE 1.04478064716E8
AT ITER 2543 NEW BEST:: SOT 701377683 SOS 152084788 HAS SOPS 152084788 HAS SOUS 104316407 HAS SOUPS 104316407 WITH SCORE 1.04468491788E8
AT ITER 2548 NEW BEST:: SOT 701377923 SOS 152084422 HAS SOPS 152084422 HAS SOUS 104316041 HAS SOUPS 104316041 WITH SCORE 1.04468125422E8
AT ITER 2574 NEW BEST:: SOT 701369907 SOS 152080414 HAS SOPS 152080414 HAS SOUS 104312033 HAS SOUPS 104312033 WITH SCORE 1.04464113414E8
AT ITER 2577 NEW BEST:: SOT 701367775 SOS 152101592 HAS SOPS 152101592 HAS SOUS 104307768 HAS SOUPS 104307768 WITH SCORE 1.04459869592E8
AT ITER 2606 NEW BEST:: SOT 701367775 SOS 152093966 HAS SOPS 152093966 HAS SOUS 104305226 HAS SOUPS 104305226 WITH SCORE 1.04457319966E8
AT ITER 2626 NEW BEST:: SOT 701370297 SOS 152099010 HAS SOPS 152099010 HAS SOUS 104302432 HAS SOUPS 104302432 WITH SCORE 1.0445453101E8
AT ITER 2635 NEW BEST:: SOT 701368661 SOS 152095738 HAS SOPS 152095738 HAS SOUS 104296974 HAS SOUPS 104296974 WITH SCORE 1.04449069738E8
AT ITER 2643 NEW BEST:: SOT 701366363 SOS 152093440 HAS SOPS 152093440 HAS SOUS 104294676 HAS SOUPS 104294676 WITH SCORE 1.0444676944E8
AT ITER 2658 NEW BEST:: SOT 701361907 SOS 152075108 HAS SOPS 152075108 HAS SOUS 104286751 HAS SOUPS 104286751 WITH SCORE 1.04438826108E8
AT ITER 2659 NEW BEST:: SOT 701354487 SOS 152067688 HAS SOPS 152067688 HAS SOUS 104279331 HAS SOUPS 104279331 WITH SCORE 1.04431398688E8
AT ITER 2673 NEW BEST:: SOT 701354409 SOS 152067766 HAS SOPS 152067766 HAS SOUS 104279253 HAS SOUPS 104279253 WITH SCORE 1.04431320766E8
AT ITER 2678 NEW BEST:: SOT 701355549 SOS 152070046 HAS SOPS 152070046 HAS SOUS 104277750 HAS SOUPS 104277750 WITH SCORE 1.04429820046E8
AT ITER 2685 NEW BEST:: SOT 701349336 SOS 152072839 HAS SOPS 152072839 HAS SOUS 104277724 HAS SOUPS 104277724 WITH SCORE 1.04429796839E8
AT ITER 2687 NEW BEST:: SOT 701347697 SOS 152071196 HAS SOPS 152071196 HAS SOUS 104276084 HAS SOUPS 104276084 WITH SCORE 1.04428155196E8
AT ITER 2738 NEW BEST:: SOT 701347697 SOS 152071196 HAS SOPS 152071196 HAS SOUS 104276083 HAS SOUPS 104276083 WITH SCORE 1.04428154196E8
AT ITER 2749 NEW BEST:: SOT 701347696 SOS 152071194 HAS SOPS 152071194 HAS SOUS 104276081 HAS SOUPS 104276081 WITH SCORE 1.04428152194E8
AT ITER 2762 NEW BEST:: SOT 701346352 SOS 152069850 HAS SOPS 152069850 HAS SOUS 104274737 HAS SOUPS 104274737 WITH SCORE 1.0442680685E8
AT ITER 2772 NEW BEST:: SOT 701346352 SOS 152069850 HAS SOPS 152069850 HAS SOUS 104274387 HAS SOUPS 104274387 WITH SCORE 1.0442645685E8
AT ITER 2786 NEW BEST:: SOT 701322898 SOS 152086223 HAS SOPS 152086223 HAS SOUS 104274125 HAS SOUPS 104274125 WITH SCORE 1.04426211223E8
AT ITER 2791 NEW BEST:: SOT 701321684 SOS 152085413 HAS SOPS 152085413 HAS SOUS 104272911 HAS SOUPS 104272911 WITH SCORE 1.04424996413E8
AT ITER 2864 NEW BEST:: SOT 701321683 SOS 152085411 HAS SOPS 152085411 HAS SOUS 104272909 HAS SOUPS 104272909 WITH SCORE 1.04424994411E8
AT ITER 2882 NEW BEST:: SOT 701324077 SOS 152087561 HAS SOPS 152087561 HAS SOUS 104272665 HAS SOUPS 104272665 WITH SCORE 1.04424752561E8
AT ITER 2902 NEW BEST:: SOT 701324077 SOS 152086872 HAS SOPS 152086872 HAS SOUS 104272665 HAS SOUPS 104272665 WITH SCORE 1.04424751872E8
AT ITER 2911 NEW BEST:: SOT 701324073 SOS 152090817 HAS SOPS 152090817 HAS SOUS 104272656 HAS SOUPS 104272656 WITH SCORE 1.04424746817E8
AT ITER 2916 NEW BEST:: SOT 701325292 SOS 152093255 HAS SOPS 152093255 HAS SOUS 104271324 HAS SOUPS 104271324 WITH SCORE 1.04423417255E8
AT ITER 2918 NEW BEST:: SOT 701321248 SOS 152085167 HAS SOPS 152085167 HAS SOUS 104263236 HAS SOUPS 104263236 WITH SCORE 1.04415321167E8
AT ITER 2922 NEW BEST:: SOT 701318047 SOS 152083786 HAS SOPS 152083786 HAS SOUS 104261855 HAS SOUPS 104261855 WITH SCORE 1.04413938786E8
AT ITER 2977 NEW BEST:: SOT 701318047 SOS 152083786 HAS SOPS 152083786 HAS SOUS 104256654 HAS SOUPS 104256654 WITH SCORE 1.04408737786E8
AT ITER 2999 NEW BEST:: SOT 701318047 SOS 152083786 HAS SOPS 152083786 HAS SOUS 104256472 HAS SOUPS 104256472 WITH SCORE 1.04408555786E8
AT ITER 3005 NEW BEST:: SOT 701315280 SOS 152078252 HAS SOPS 152078252 HAS SOUS 104250938 HAS SOUPS 104250938 WITH SCORE 1.04403016252E8
AT ITER 3011 NEW BEST:: SOT 701310954 SOS 152074016 HAS SOPS 152074016 HAS SOUS 104246702 HAS SOUPS 104246702 WITH SCORE 1.04398776016E8
AT ITER 3023 NEW BEST:: SOT 701309255 SOS 152070618 HAS SOPS 152070618 HAS SOUS 104243304 HAS SOUPS 104243304 WITH SCORE 1.04395374618E8
AT ITER 3042 NEW BEST:: SOT 701308668 SOS 152069444 HAS SOPS 152069444 HAS SOUS 104242130 HAS SOUPS 104242130 WITH SCORE 1.04394199444E8
AT ITER 3053 NEW BEST:: SOT 701304813 SOS 152050169 HAS SOPS 152050169 HAS SOUS 104234420 HAS SOUPS 104234420 WITH SCORE 1.04386470169E8
AT ITER 3086 NEW BEST:: SOT 701304423 SOS 152049389 HAS SOPS 152049389 HAS SOUS 104231721 HAS SOUPS 104231721 WITH SCORE 1.04383770389E8
AT ITER 3089 NEW BEST:: SOT 701300177 SOS 152045386 HAS SOPS 152045386 HAS SOUS 104227718 HAS SOUPS 104227718 WITH SCORE 1.04379763386E8
AT ITER 3123 NEW BEST:: SOT 701295905 SOS 152089281 HAS SOPS 152089281 HAS SOUS 104226267 HAS SOUPS 104226267 WITH SCORE 1.04378356281E8
AT ITER 3136 NEW BEST:: SOT 701289838 SOS 152083210 HAS SOPS 152083210 HAS SOUS 104220199 HAS SOUPS 104220199 WITH SCORE 1.0437228221E8
AT ITER 3151 NEW BEST:: SOT 701293822 SOS 152086369 HAS SOPS 152086369 HAS SOUS 104219373 HAS SOUPS 104219373 WITH SCORE 1.04371459369E8
AT ITER 3152 NEW BEST:: SOT 701292808 SOS 152092859 HAS SOPS 152092859 HAS SOUS 104215534 HAS SOUPS 104215534 WITH SCORE 1.04367626859E8
AT ITER 3165 NEW BEST:: SOT 701292808 SOS 152092859 HAS SOPS 152092859 HAS SOUS 104208858 HAS SOUPS 104208858 WITH SCORE 1.04360950859E8
AT ITER 3175 NEW BEST:: SOT 701289142 SOS 152089193 HAS SOPS 152089193 HAS SOUS 104205192 HAS SOUPS 104205192 WITH SCORE 1.04357281193E8
AT ITER 3180 NEW BEST:: SOT 701284924 SOS 152087084 HAS SOPS 152087084 HAS SOUS 104203083 HAS SOUPS 104203083 WITH SCORE 1.04355170084E8
AT ITER 3201 NEW BEST:: SOT 701284924 SOS 152086394 HAS SOPS 152086394 HAS SOUS 104203083 HAS SOUPS 104203083 WITH SCORE 1.04355169394E8
AT ITER 3203 NEW BEST:: SOT 701284279 SOS 152087418 HAS SOPS 152087418 HAS SOUS 104202438 HAS SOUPS 104202438 WITH SCORE 1.04354525418E8
AT ITER 3226 NEW BEST:: SOT 701278927 SOS 152084339 HAS SOPS 152084339 HAS SOUS 104190599 HAS SOUPS 104190599 WITH SCORE 1.04342683339E8
AT ITER 3259 NEW BEST:: SOT 701276927 SOS 152082339 HAS SOPS 152082339 HAS SOUS 104188599 HAS SOUPS 104188599 WITH SCORE 1.04340681339E8
AT ITER 3276 NEW BEST:: SOT 701276926 SOS 152082337 HAS SOPS 152082337 HAS SOUS 104188597 HAS SOUPS 104188597 WITH SCORE 1.04340679337E8
AT ITER 3282 NEW BEST:: SOT 701277810 SOS 152082335 HAS SOPS 152082335 HAS SOUS 104188596 HAS SOUPS 104188596 WITH SCORE 1.04340678335E8
AT ITER 3312 NEW BEST:: SOT 701274608 SOS 152079133 HAS SOPS 152079133 HAS SOUS 104185394 HAS SOUPS 104185394 WITH SCORE 1.04337473133E8
AT ITER 3321 NEW BEST:: SOT 701273287 SOS 152076491 HAS SOPS 152076491 HAS SOUS 104184073 HAS SOUPS 104184073 WITH SCORE 1.04336149491E8
AT ITER 3325 NEW BEST:: SOT 701275198 SOS 152080313 HAS SOPS 152080313 HAS SOUS 104180021 HAS SOUPS 104180021 WITH SCORE 1.04332101313E8
AT ITER 3362 NEW BEST:: SOT 701273166 SOS 152102501 HAS SOPS 152102501 HAS SOUS 104175956 HAS SOUPS 104175956 WITH SCORE 1.04328058501E8
AT ITER 3364 NEW BEST:: SOT 701272525 SOS 152101219 HAS SOPS 152101219 HAS SOUS 104174674 HAS SOUPS 104174674 WITH SCORE 1.04326775219E8
AT ITER 3377 NEW BEST:: SOT 701268459 SOS 152099441 HAS SOPS 152099441 HAS SOUS 104171764 HAS SOUPS 104171764 WITH SCORE 1.04323863441E8
AT ITER 3391 NEW BEST:: SOT 701268459 SOS 152099441 HAS SOPS 152099441 HAS SOUS 104171763 HAS SOUPS 104171763 WITH SCORE 1.04323862441E8
AT ITER 3395 NEW BEST:: SOT 701267529 SOS 152097581 HAS SOPS 152097581 HAS SOUS 104169903 HAS SOUPS 104169903 WITH SCORE 1.04322000581E8
AT ITER 3443 NEW BEST:: SOT 701261776 SOS 152119216 HAS SOPS 152119216 HAS SOUS 104162964 HAS SOUPS 104162964 WITH SCORE 1.04315083216E8
AT ITER 3474 NEW BEST:: SOT 701260278 SOS 152116220 HAS SOPS 152116220 HAS SOUS 104159968 HAS SOUPS 104159968 WITH SCORE 1.0431208422E8
AT ITER 3498 NEW BEST:: SOT 701260278 SOS 152114740 HAS SOPS 152114740 HAS SOUS 104159968 HAS SOUPS 104159968 WITH SCORE 1.0431208274E8
AT ITER 3511 NEW BEST:: SOT 701256500 SOS 152107184 HAS SOPS 152107184 HAS SOUS 104156189 HAS SOUPS 104156189 WITH SCORE 1.04308296184E8
AT ITER 3518 NEW BEST:: SOT 701256500 SOS 152107184 HAS SOPS 152107184 HAS SOUS 104153943 HAS SOUPS 104153943 WITH SCORE 1.04306050184E8
AT ITER 3551 NEW BEST:: SOT 701254058 SOS 152105408 HAS SOPS 152105408 HAS SOUS 104152389 HAS SOUPS 104152389 WITH SCORE 1.04304494408E8
AT ITER 3566 NEW BEST:: SOT 701242103 SOS 152112370 HAS SOPS 152112370 HAS SOUS 104149478 HAS SOUPS 104149478 WITH SCORE 1.0430159037E8
AT ITER 3573 NEW BEST:: SOT 701240108 SOS 152110371 HAS SOPS 152110371 HAS SOUS 104147482 HAS SOUPS 104147482 WITH SCORE 1.04299592371E8
AT ITER 3603 NEW BEST:: SOT 701238870 SOS 152107895 HAS SOPS 152107895 HAS SOUS 104145006 HAS SOUPS 104145006 WITH SCORE 1.04297113895E8
AT ITER 3607 NEW BEST:: SOT 701213833 SOS 152111758 HAS SOPS 152111758 HAS SOUS 104137946 HAS SOUPS 104137946 WITH SCORE 1.04290057758E8
AT ITER 3611 NEW BEST:: SOT 701207819 SOS 152108751 HAS SOPS 152108751 HAS SOUS 104134939 HAS SOUPS 104134939 WITH SCORE 1.04287047751E8
AT ITER 3615 NEW BEST:: SOT 701201280 SOS 152107736 HAS SOPS 152107736 HAS SOUS 104133695 HAS SOUPS 104133695 WITH SCORE 1.04285802736E8
AT ITER 3629 NEW BEST:: SOT 701200108 SOS 152115930 HAS SOPS 152115930 HAS SOUS 104131350 HAS SOUPS 104131350 WITH SCORE 1.0428346593E8
AT ITER 3635 NEW BEST:: SOT 701198472 SOS 152114290 HAS SOPS 152114290 HAS SOUS 104129713 HAS SOUPS 104129713 WITH SCORE 1.0428182729E8
AT ITER 3636 NEW BEST:: SOT 701197070 SOS 152112888 HAS SOPS 152112888 HAS SOUS 104129713 HAS SOUPS 104129713 WITH SCORE 1.04281825888E8
AT ITER 3666 NEW BEST:: SOT 701189378 SOS 152105418 HAS SOPS 152105418 HAS SOUS 104122131 HAS SOUPS 104122131 WITH SCORE 1.04274236418E8
AT ITER 3675 NEW BEST:: SOT 701188559 SOS 152103780 HAS SOPS 152103780 HAS SOUS 104120493 HAS SOUPS 104120493 WITH SCORE 1.0427259678E8
AT ITER 3678 NEW BEST:: SOT 701188559 SOS 152110103 HAS SOPS 152110103 HAS SOUS 104119292 HAS SOUPS 104119292 WITH SCORE 1.04271402103E8
AT ITER 3688 NEW BEST:: SOT 701184351 SOS 152105885 HAS SOPS 152105885 HAS SOUS 104115083 HAS SOUPS 104115083 WITH SCORE 1.04267188885E8
AT ITER 3737 NEW BEST:: SOT 701184246 SOS 152105675 HAS SOPS 152105675 HAS SOUS 104114873 HAS SOUPS 104114873 WITH SCORE 1.04266978675E8
AT ITER 3788 NEW BEST:: SOT 701180157 SOS 152101576 HAS SOPS 152101576 HAS SOUS 104110783 HAS SOUPS 104110783 WITH SCORE 1.04262884576E8
AT ITER 3790 NEW BEST:: SOT 701174395 SOS 152097472 HAS SOPS 152097472 HAS SOUS 104105888 HAS SOUPS 104105888 WITH SCORE 1.04257985472E8
AT ITER 3793 NEW BEST:: SOT 701171500 SOS 152091682 HAS SOPS 152091682 HAS SOUS 104100098 HAS SOUPS 104100098 WITH SCORE 1.04252189682E8
AT ITER 3811 NEW BEST:: SOT 701168451 SOS 152091672 HAS SOPS 152091672 HAS SOUS 104098489 HAS SOUPS 104098489 WITH SCORE 1.04250580672E8
AT ITER 3817 NEW BEST:: SOT 701162547 SOS 152079864 HAS SOPS 152079864 HAS SOUS 104090473 HAS SOUPS 104090473 WITH SCORE 1.04242552864E8
AT ITER 3845 NEW BEST:: SOT 701162547 SOS 152077788 HAS SOPS 152077788 HAS SOUS 104088397 HAS SOUPS 104088397 WITH SCORE 1.04240474788E8
AT ITER 3863 NEW BEST:: SOT 701161863 SOS 152077784 HAS SOPS 152077784 HAS SOUS 104087712 HAS SOUPS 104087712 WITH SCORE 1.04239789784E8
AT ITER 3873 NEW BEST:: SOT 701159419 SOS 152087605 HAS SOPS 152087605 HAS SOUS 104085268 HAS SOUPS 104085268 WITH SCORE 1.04237355605E8
AT ITER 3877 NEW BEST:: SOT 701157616 SOS 152086819 HAS SOPS 152086819 HAS SOUS 104083465 HAS SOUPS 104083465 WITH SCORE 1.04235551819E8
AT ITER 3892 NEW BEST:: SOT 701155993 SOS 152083573 HAS SOPS 152083573 HAS SOUS 104082314 HAS SOUPS 104082314 WITH SCORE 1.04234397573E8
AT ITER 3917 NEW BEST:: SOT 701153257 SOS 152078101 HAS SOPS 152078101 HAS SOUS 104076842 HAS SOUPS 104076842 WITH SCORE 1.04228920101E8
AT ITER 3950 NEW BEST:: SOT 701152891 SOS 152077369 HAS SOPS 152077369 HAS SOUS 104075426 HAS SOUPS 104075426 WITH SCORE 1.04227503369E8
AT ITER 3963 NEW BEST:: SOT 701152175 SOS 152079980 HAS SOPS 152079980 HAS SOUS 104074709 HAS SOUPS 104074709 WITH SCORE 1.0422678898E8
AT ITER 3965 NEW BEST:: SOT 701149178 SOS 152076979 HAS SOPS 152076979 HAS SOUS 104071711 HAS SOUPS 104071711 WITH SCORE 1.04223787979E8
AT ITER 4004 NEW BEST:: SOT 701151174 SOS 152066934 HAS SOPS 152066934 HAS SOUS 104070025 HAS SOUPS 104070025 WITH SCORE 1.04222091934E8
AT ITER 4013 NEW BEST:: SOT 701147898 SOS 152060382 HAS SOPS 152060382 HAS SOUS 104063473 HAS SOUPS 104063473 WITH SCORE 1.04215533382E8
AT ITER 4034 NEW BEST:: SOT 701144344 SOS 152058605 HAS SOPS 152058605 HAS SOUS 104061696 HAS SOUPS 104061696 WITH SCORE 1.04213754605E8
AT ITER 4042 NEW BEST:: SOT 701141167 SOS 152056906 HAS SOPS 152056906 HAS SOUS 104059997 HAS SOUPS 104059997 WITH SCORE 1.04212053906E8
AT ITER 4045 NEW BEST:: SOT 701140507 SOS 152058222 HAS SOPS 152058222 HAS SOUS 104059336 HAS SOUPS 104059336 WITH SCORE 1.04211394222E8
AT ITER 4150 NEW BEST:: SOT 701140012 SOS 152057232 HAS SOPS 152057232 HAS SOUS 104056107 HAS SOUPS 104056107 WITH SCORE 1.04208164232E8
AT ITER 4151 NEW BEST:: SOT 701139420 SOS 152058408 HAS SOPS 152058408 HAS SOUS 104055513 HAS SOUPS 104055513 WITH SCORE 1.04207571408E8
AT ITER 4152 NEW BEST:: SOT 701093739 SOS 152062310 HAS SOPS 152062310 HAS SOUS 104034927 HAS SOUPS 104034927 WITH SCORE 1.0418698931E8
AT ITER 4192 NEW BEST:: SOT 701093236 SOS 152062306 HAS SOPS 152062306 HAS SOUS 104034423 HAS SOUPS 104034423 WITH SCORE 1.04186485306E8
AT ITER 4207 NEW BEST:: SOT 701092256 SOS 152068986 HAS SOPS 152068986 HAS SOUS 104033443 HAS SOUPS 104033443 WITH SCORE 1.04185511986E8
AT ITER 4213 NEW BEST:: SOT 701089875 SOS 152064224 HAS SOPS 152064224 HAS SOUS 104031062 HAS SOUPS 104031062 WITH SCORE 1.04183126224E8
AT ITER 4218 NEW BEST:: SOT 701089875 SOS 152054063 HAS SOPS 152054063 HAS SOUS 104031061 HAS SOUPS 104031061 WITH SCORE 1.04183115063E8
AT ITER 4224 NEW BEST:: SOT 701089388 SOS 152053089 HAS SOPS 152053089 HAS SOUS 104030087 HAS SOUPS 104030087 WITH SCORE 1.04182140089E8
AT ITER 4242 NEW BEST:: SOT 701087485 SOS 152051186 HAS SOPS 152051186 HAS SOUS 104026281 HAS SOUPS 104026281 WITH SCORE 1.04178332186E8
AT ITER 4294 NEW BEST:: SOT 701079895 SOS 152047391 HAS SOPS 152047391 HAS SOUS 104022486 HAS SOUPS 104022486 WITH SCORE 1.04174533391E8
AT ITER 4297 NEW BEST:: SOT 701079294 SOS 152046189 HAS SOPS 152046189 HAS SOUS 104021284 HAS SOUPS 104021284 WITH SCORE 1.04173330189E8
AT ITER 4325 NEW BEST:: SOT 701080106 SOS 152047813 HAS SOPS 152047813 HAS SOUS 104018823 HAS SOUPS 104018823 WITH SCORE 1.04170870813E8
AT ITER 4333 NEW BEST:: SOT 701079744 SOS 152048910 HAS SOPS 152048910 HAS SOUS 104013443 HAS SOUPS 104013443 WITH SCORE 1.0416549191E8
AT ITER 4347 NEW BEST:: SOT 701076748 SOS 152044675 HAS SOPS 152044675 HAS SOUS 104008950 HAS SOUPS 104008950 WITH SCORE 1.04160994675E8
AT ITER 4355 NEW BEST:: SOT 701076235 SOS 152043649 HAS SOPS 152043649 HAS SOUS 104007924 HAS SOUPS 104007924 WITH SCORE 1.04159967649E8
AT ITER 4359 NEW BEST:: SOT 701076090 SOS 152043359 HAS SOPS 152043359 HAS SOUS 104004539 HAS SOUPS 104004539 WITH SCORE 1.04156582359E8
AT ITER 4376 NEW BEST:: SOT 701073465 SOS 152045984 HAS SOPS 152045984 HAS SOUS 104000088 HAS SOUPS 104000088 WITH SCORE 1.04152133984E8
AT ITER 4379 NEW BEST:: SOT 701070508 SOS 152047729 HAS SOPS 152047729 HAS SOUS 103999684 HAS SOUPS 103999684 WITH SCORE 1.04151731729E8
AT ITER 4401 NEW BEST:: SOT 701066528 SOS 152045739 HAS SOPS 152045739 HAS SOUS 103997694 HAS SOUPS 103997694 WITH SCORE 1.04149739739E8
AT ITER 4437 NEW BEST:: SOT 701060665 SOS 152047299 HAS SOPS 152047299 HAS SOUS 103996095 HAS SOUPS 103996095 WITH SCORE 1.04148142299E8
AT ITER 4441 NEW BEST:: SOT 701059719 SOS 152045407 HAS SOPS 152045407 HAS SOUS 103994203 HAS SOUPS 103994203 WITH SCORE 1.04146248407E8
AT ITER 4444 NEW BEST:: SOT 701059719 SOS 152044967 HAS SOPS 152044967 HAS SOUS 103994203 HAS SOUPS 103994203 WITH SCORE 1.04146247967E8
AT ITER 4453 NEW BEST:: SOT 701057892 SOS 152041313 HAS SOPS 152041313 HAS SOUS 103990549 HAS SOUPS 103990549 WITH SCORE 1.04142590313E8
AT ITER 4454 NEW BEST:: SOT 701057196 SOS 152093011 HAS SOPS 152093011 HAS SOUS 103989156 HAS SOUPS 103989156 WITH SCORE 1.04141249011E8
AT ITER 4467 NEW BEST:: SOT 701052830 SOS 152090038 HAS SOPS 152090038 HAS SOUS 103986183 HAS SOUPS 103986183 WITH SCORE 1.04138273038E8
AT ITER 4469 NEW BEST:: SOT 701050898 SOS 152086174 HAS SOPS 152086174 HAS SOUS 103982319 HAS SOUPS 103982319 WITH SCORE 1.04134405174E8
AT ITER 4494 NEW BEST:: SOT 701046513 SOS 152081858 HAS SOPS 152081858 HAS SOUS 103978006 HAS SOUPS 103978006 WITH SCORE 1.04130087858E8
AT ITER 4497 NEW BEST:: SOT 701038913 SOS 152072358 HAS SOPS 152072358 HAS SOUS 103973838 HAS SOUPS 103973838 WITH SCORE 1.04125910358E8
AT ITER 4503 NEW BEST:: SOT 701038064 SOS 152070656 HAS SOPS 152070656 HAS SOUS 103972139 HAS SOUPS 103972139 WITH SCORE 1.04124209656E8
AT ITER 4506 NEW BEST:: SOT 701037041 SOS 152069746 HAS SOPS 152069746 HAS SOUS 103971229 HAS SOUPS 103971229 WITH SCORE 1.04123298746E8
AT ITER 4538 NEW BEST:: SOT 701035892 SOS 152068597 HAS SOPS 152068597 HAS SOUS 103970080 HAS SOUPS 103970080 WITH SCORE 1.04122148597E8
AT ITER 4569 NEW BEST:: SOT 701030706 SOS 152066004 HAS SOPS 152066004 HAS SOUS 103967487 HAS SOUPS 103967487 WITH SCORE 1.04119553004E8
AT ITER 4572 NEW BEST:: SOT 701027373 SOS 152089335 HAS SOPS 152089335 HAS SOUS 103964154 HAS SOUPS 103964154 WITH SCORE 1.04116243335E8
AT ITER 4621 NEW BEST:: SOT 701027710 SOS 152079719 HAS SOPS 152079719 HAS SOUS 103961229 HAS SOUPS 103961229 WITH SCORE 1.04113308719E8
AT ITER 4635 NEW BEST:: SOT 701027710 SOS 152080429 HAS SOPS 152080429 HAS SOUS 103961227 HAS SOUPS 103961227 WITH SCORE 1.04113307429E8
AT ITER 4659 NEW BEST:: SOT 701027710 SOS 152080273 HAS SOPS 152080273 HAS SOUS 103961227 HAS SOUPS 103961227 WITH SCORE 1.04113307273E8
AT ITER 4663 NEW BEST:: SOT 701023320 SOS 152076996 HAS SOPS 152076996 HAS SOUS 103957950 HAS SOUPS 103957950 WITH SCORE 1.04110026996E8
AT ITER 4671 NEW BEST:: SOT 701023320 SOS 152076996 HAS SOPS 152076996 HAS SOUS 103957948 HAS SOUPS 103957948 WITH SCORE 1.04110024996E8
AT ITER 4679 NEW BEST:: SOT 701023319 SOS 152075046 HAS SOPS 152075046 HAS SOUS 103955998 HAS SOUPS 103955998 WITH SCORE 1.04108073046E8
AT ITER 4712 NEW BEST:: SOT 701022828 SOS 152074064 HAS SOPS 152074064 HAS SOUS 103955016 HAS SOUPS 103955016 WITH SCORE 1.04107090064E8
AT ITER 4724 NEW BEST:: SOT 701021857 SOS 152071623 HAS SOPS 152071623 HAS SOUS 103950198 HAS SOUPS 103950198 WITH SCORE 1.04102269623E8
AT ITER 4736 NEW BEST:: SOT 701021856 SOS 152071621 HAS SOPS 152071621 HAS SOUS 103950196 HAS SOUPS 103950196 WITH SCORE 1.04102267621E8
AT ITER 4741 NEW BEST:: SOT 701021856 SOS 152071621 HAS SOPS 152071621 HAS SOUS 103946655 HAS SOUPS 103946655 WITH SCORE 1.04098726621E8
AT ITER 4771 NEW BEST:: SOT 701020680 SOS 152077660 HAS SOPS 152077660 HAS SOUS 103945479 HAS SOUPS 103945479 WITH SCORE 1.0409755666E8
AT ITER 4773 NEW BEST:: SOT 701015365 SOS 152051085 HAS SOPS 152051085 HAS SOUS 103934849 HAS SOUPS 103934849 WITH SCORE 1.04086900085E8
AT ITER 4821 NEW BEST:: SOT 701013241 SOS 152048961 HAS SOPS 152048961 HAS SOUS 103932725 HAS SOUPS 103932725 WITH SCORE 1.04084773961E8
AT ITER 4828 NEW BEST:: SOT 701012842 SOS 152048562 HAS SOPS 152048562 HAS SOUS 103932326 HAS SOUPS 103932326 WITH SCORE 1.04084374562E8
AT ITER 4840 NEW BEST:: SOT 701002797 SOS 152059808 HAS SOPS 152059808 HAS SOUS 103931584 HAS SOUPS 103931584 WITH SCORE 1.04083643808E8
AT ITER 4844 NEW BEST:: SOT 700962552 SOS 152046898 HAS SOPS 152046898 HAS SOUS 103910236 HAS SOUPS 103910236 WITH SCORE 1.04062282898E8
AT ITER 4852 NEW BEST:: SOT 700962552 SOS 152046898 HAS SOPS 152046898 HAS SOUS 103910233 HAS SOUPS 103910233 WITH SCORE 1.04062279898E8
AT ITER 4857 NEW BEST:: SOT 700962549 SOS 152046892 HAS SOPS 152046892 HAS SOUS 103910227 HAS SOUPS 103910227 WITH SCORE 1.04062273892E8
AT ITER 4862 NEW BEST:: SOT 700961169 SOS 152044132 HAS SOPS 152044132 HAS SOUS 103907467 HAS SOUPS 103907467 WITH SCORE 1.04059511132E8
AT ITER 4865 NEW BEST:: SOT 700957788 SOS 152027227 HAS SOPS 152027227 HAS SOUS 103900705 HAS SOUPS 103900705 WITH SCORE 1.04052732227E8
AT ITER 4882 NEW BEST:: SOT 700957788 SOS 152027227 HAS SOPS 152027227 HAS SOUS 103899904 HAS SOUPS 103899904 WITH SCORE 1.04051931227E8
AT ITER 4896 NEW BEST:: SOT 700956369 SOS 152024388 HAS SOPS 152024388 HAS SOUS 103897065 HAS SOUPS 103897065 WITH SCORE 1.04049089388E8
AT ITER 4915 NEW BEST:: SOT 700956369 SOS 152022099 HAS SOPS 152022099 HAS SOUS 103897065 HAS SOUPS 103897065 WITH SCORE 1.04049087099E8
AT ITER 4920 NEW BEST:: SOT 700955673 SOS 152020707 HAS SOPS 152020707 HAS SOUS 103896810 HAS SOUPS 103896810 WITH SCORE 1.04048830707E8
AT ITER 4967 NEW BEST:: SOT 700954806 SOS 152019840 HAS SOPS 152019840 HAS SOUS 103895943 HAS SOUPS 103895943 WITH SCORE 1.0404796284E8
AT ITER 4984 NEW BEST:: SOT 700952813 SOS 152015854 HAS SOPS 152015854 HAS SOUS 103891957 HAS SOUPS 103891957 WITH SCORE 1.04043972854E8
AT ITER 4999 NEW BEST:: SOT 700952812 SOS 152015852 HAS SOPS 152015852 HAS SOUS 103891955 HAS SOUPS 103891955 WITH SCORE 1.04043970852E8
AT ITER 5030 NEW BEST:: SOT 700950580 SOS 152011388 HAS SOPS 152011388 HAS SOUS 103891061 HAS SOUPS 103891061 WITH SCORE 1.04043072388E8
AT ITER 5069 NEW BEST:: SOT 700950580 SOS 152011388 HAS SOPS 152011388 HAS SOUS 103891060 HAS SOUPS 103891060 WITH SCORE 1.04043071388E8
AT ITER 5083 NEW BEST:: SOT 700950580 SOS 152011104 HAS SOPS 152011104 HAS SOUS 103890776 HAS SOUPS 103890776 WITH SCORE 1.04042787104E8
AT ITER 5089 NEW BEST:: SOT 700947940 SOS 152005824 HAS SOPS 152005824 HAS SOUS 103885496 HAS SOUPS 103885496 WITH SCORE 1.04037501824E8
AT ITER 5092 NEW BEST:: SOT 700942963 SOS 151998445 HAS SOPS 151998445 HAS SOUS 103880519 HAS SOUPS 103880519 WITH SCORE 1.04032517445E8
AT ITER 5111 NEW BEST:: SOT 700942963 SOS 151998441 HAS SOPS 151998441 HAS SOUS 103880515 HAS SOUPS 103880515 WITH SCORE 1.04032513441E8
AT ITER 5117 NEW BEST:: SOT 700938291 SOS 151991697 HAS SOPS 151991697 HAS SOUS 103875842 HAS SOUPS 103875842 WITH SCORE 1.04027833697E8
AT ITER 5147 NEW BEST:: SOT 700934575 SOS 151989839 HAS SOPS 151989839 HAS SOUS 103873984 HAS SOUPS 103873984 WITH SCORE 1.04025973839E8
AT ITER 5189 NEW BEST:: SOT 700934575 SOS 151988819 HAS SOPS 151988819 HAS SOUS 103873984 HAS SOUPS 103873984 WITH SCORE 1.04025972819E8
AT ITER 5208 NEW BEST:: SOT 700932632 SOS 152008395 HAS SOPS 152008395 HAS SOUS 103870097 HAS SOUPS 103870097 WITH SCORE 1.04022105395E8
AT ITER 5214 NEW BEST:: SOT 700932632 SOS 152006305 HAS SOPS 152006305 HAS SOUS 103870097 HAS SOUPS 103870097 WITH SCORE 1.04022103305E8
AT ITER 5216 NEW BEST:: SOT 700932632 SOS 152006305 HAS SOPS 152006305 HAS SOUS 103870096 HAS SOUPS 103870096 WITH SCORE 1.04022102305E8
AT ITER 5243 NEW BEST:: SOT 700931609 SOS 152005704 HAS SOPS 152005704 HAS SOUS 103869495 HAS SOUPS 103869495 WITH SCORE 1.04021500704E8
AT ITER 5249 NEW BEST:: SOT 700931608 SOS 152005702 HAS SOPS 152005702 HAS SOUS 103869493 HAS SOUPS 103869493 WITH SCORE 1.04021498702E8
AT ITER 5260 NEW BEST:: SOT 700931542 SOS 152005570 HAS SOPS 152005570 HAS SOUS 103869361 HAS SOUPS 103869361 WITH SCORE 1.0402136657E8
AT ITER 5304 NEW BEST:: SOT 700927740 SOS 152009372 HAS SOPS 152009372 HAS SOUS 103863625 HAS SOUPS 103863625 WITH SCORE 1.04015634372E8
AT ITER 5359 NEW BEST:: SOT 700925005 SOS 152006637 HAS SOPS 152006637 HAS SOUS 103860890 HAS SOUPS 103860890 WITH SCORE 1.04012896637E8
AT ITER 5377 NEW BEST:: SOT 700925682 SOS 152006636 HAS SOPS 152006636 HAS SOUS 103860889 HAS SOUPS 103860889 WITH SCORE 1.04012895636E8
AT ITER 5400 NEW BEST:: SOT 700920912 SOS 152001866 HAS SOPS 152001866 HAS SOUS 103856119 HAS SOUPS 103856119 WITH SCORE 1.04008120866E8
AT ITER 5417 NEW BEST:: SOT 700918505 SOS 151997052 HAS SOPS 151997052 HAS SOUS 103851305 HAS SOUPS 103851305 WITH SCORE 1.04003302052E8
AT ITER 5487 NEW BEST:: SOT 700918498 SOS 151997214 HAS SOPS 151997214 HAS SOUS 103851298 HAS SOUPS 103851298 WITH SCORE 1.04003295214E8
AT ITER 5519 NEW BEST:: SOT 700916716 SOS 151993650 HAS SOPS 151993650 HAS SOUS 103845786 HAS SOUPS 103845786 WITH SCORE 1.0399777965E8
AT ITER 5535 NEW BEST:: SOT 700913436 SOS 152008357 HAS SOPS 152008357 HAS SOUS 103844633 HAS SOUPS 103844633 WITH SCORE 1.03996641357E8
AT ITER 5558 NEW BEST:: SOT 700912028 SOS 152007653 HAS SOPS 152007653 HAS SOUS 103843929 HAS SOUPS 103843929 WITH SCORE 1.03995936653E8
AT ITER 5576 NEW BEST:: SOT 700910979 SOS 152007649 HAS SOPS 152007649 HAS SOUS 103842879 HAS SOUPS 103842879 WITH SCORE 1.03994886649E8
AT ITER 5606 NEW BEST:: SOT 700903871 SOS 152004095 HAS SOPS 152004095 HAS SOUS 103839325 HAS SOUPS 103839325 WITH SCORE 1.03991329095E8
AT ITER 5629 NEW BEST:: SOT 700903713 SOS 152003779 HAS SOPS 152003779 HAS SOUS 103839167 HAS SOUPS 103839167 WITH SCORE 1.03991170779E8
AT ITER 5692 NEW BEST:: SOT 700903713 SOS 152003175 HAS SOPS 152003175 HAS SOUS 103839167 HAS SOUPS 103839167 WITH SCORE 1.03991170175E8
AT ITER 5725 NEW BEST:: SOT 700903712 SOS 152003173 HAS SOPS 152003173 HAS SOUS 103839165 HAS SOUPS 103839165 WITH SCORE 1.03991168173E8
AT ITER 5728 NEW BEST:: SOT 700898664 SOS 152001204 HAS SOPS 152001204 HAS SOUS 103837196 HAS SOUPS 103837196 WITH SCORE 1.03989197204E8
AT ITER 5741 NEW BEST:: SOT 700896805 SOS 151997486 HAS SOPS 151997486 HAS SOUS 103835337 HAS SOUPS 103835337 WITH SCORE 1.03987334486E8
AT ITER 5742 NEW BEST:: SOT 700896446 SOS 151996768 HAS SOPS 151996768 HAS SOUS 103834619 HAS SOUPS 103834619 WITH SCORE 1.03986615768E8
AT ITER 5764 NEW BEST:: SOT 700895557 SOS 152002981 HAS SOPS 152002981 HAS SOUS 103832840 HAS SOUPS 103832840 WITH SCORE 1.03984842981E8
AT ITER 5778 NEW BEST:: SOT 700894680 SOS 152002104 HAS SOPS 152002104 HAS SOUS 103831963 HAS SOUPS 103831963 WITH SCORE 1.03983965104E8
AT ITER 5824 NEW BEST:: SOT 700890309 SOS 151997733 HAS SOPS 151997733 HAS SOUS 103827592 HAS SOUPS 103827592 WITH SCORE 1.03979589733E8
AT ITER 5846 NEW BEST:: SOT 700885060 SOS 151992480 HAS SOPS 151992480 HAS SOUS 103822342 HAS SOUPS 103822342 WITH SCORE 1.0397433448E8
AT ITER 5853 NEW BEST:: SOT 700885059 SOS 151992478 HAS SOPS 151992478 HAS SOUS 103822340 HAS SOUPS 103822340 WITH SCORE 1.03974332478E8
AT ITER 5854 NEW BEST:: SOT 700882671 SOS 151990090 HAS SOPS 151990090 HAS SOUS 103819952 HAS SOUPS 103819952 WITH SCORE 1.0397194209E8
AT ITER 5869 NEW BEST:: SOT 700848763 SOS 152033023 HAS SOPS 152033023 HAS SOUS 103812928 HAS SOUPS 103812928 WITH SCORE 1.03964961023E8
AT ITER 5908 NEW BEST:: SOT 700848762 SOS 152033021 HAS SOPS 152033021 HAS SOUS 103812926 HAS SOUPS 103812926 WITH SCORE 1.03964959021E8
AT ITER 5910 NEW BEST:: SOT 700848762 SOS 152032659 HAS SOPS 152032659 HAS SOUS 103812926 HAS SOUPS 103812926 WITH SCORE 1.03964958659E8
AT ITER 5956 NEW BEST:: SOT 700848756 SOS 152034323 HAS SOPS 152034323 HAS SOUS 103811932 HAS SOUPS 103811932 WITH SCORE 1.03963966323E8
AT ITER 5961 NEW BEST:: SOT 700844228 SOS 152032876 HAS SOPS 152032876 HAS SOUS 103808950 HAS SOUPS 103808950 WITH SCORE 1.03960982876E8
AT ITER 5980 NEW BEST:: SOT 700842998 SOS 152030416 HAS SOPS 152030416 HAS SOUS 103806490 HAS SOUPS 103806490 WITH SCORE 1.03958520416E8
AT ITER 5995 NEW BEST:: SOT 700841600 SOS 152027620 HAS SOPS 152027620 HAS SOUS 103803694 HAS SOUPS 103803694 WITH SCORE 1.0395572162E8
AT ITER 6015 NEW BEST:: SOT 700841600 SOS 152027620 HAS SOPS 152027620 HAS SOUS 103803693 HAS SOUPS 103803693 WITH SCORE 1.0395572062E8
AT ITER 6041 NEW BEST:: SOT 700837117 SOS 152023154 HAS SOPS 152023154 HAS SOUS 103799230 HAS SOUPS 103799230 WITH SCORE 1.03951253154E8
AT ITER 6052 NEW BEST:: SOT 700834577 SOS 152010454 HAS SOPS 152010454 HAS SOUS 103794150 HAS SOUPS 103794150 WITH SCORE 1.03946160454E8
AT ITER 6059 NEW BEST:: SOT 700830745 SOS 152008538 HAS SOPS 152008538 HAS SOUS 103792234 HAS SOUPS 103792234 WITH SCORE 1.03944242538E8
AT ITER 6073 NEW BEST:: SOT 700827070 SOS 152001188 HAS SOPS 152001188 HAS SOUS 103781324 HAS SOUPS 103781324 WITH SCORE 1.03933325188E8
AT ITER 6078 NEW BEST:: SOT 700823087 SOS 151997201 HAS SOPS 151997201 HAS SOUS 103777340 HAS SOUPS 103777340 WITH SCORE 1.03929337201E8
AT ITER 6086 NEW BEST:: SOT 700821643 SOS 151995756 HAS SOPS 151995756 HAS SOUS 103777332 HAS SOUPS 103777332 WITH SCORE 1.03929327756E8
AT ITER 6116 NEW BEST:: SOT 700823655 SOS 151999780 HAS SOPS 151999780 HAS SOUS 103775056 HAS SOUPS 103775056 WITH SCORE 1.0392705578E8
AT ITER 6120 NEW BEST:: SOT 700823195 SOS 152000696 HAS SOPS 152000696 HAS SOUS 103774595 HAS SOUPS 103774595 WITH SCORE 1.03926595696E8
AT ITER 6143 NEW BEST:: SOT 700787480 SOS 151980109 HAS SOPS 151980109 HAS SOUS 103754818 HAS SOUPS 103754818 WITH SCORE 1.03906798109E8
AT ITER 6147 NEW BEST:: SOT 700786208 SOS 151977565 HAS SOPS 151977565 HAS SOUS 103749838 HAS SOUPS 103749838 WITH SCORE 1.03901815565E8
AT ITER 6148 NEW BEST:: SOT 700786207 SOS 151977563 HAS SOPS 151977563 HAS SOUS 103749836 HAS SOUPS 103749836 WITH SCORE 1.03901813563E8
AT ITER 6170 NEW BEST:: SOT 700785751 SOS 151976651 HAS SOPS 151976651 HAS SOUS 103749380 HAS SOUPS 103749380 WITH SCORE 1.03901356651E8
AT ITER 6179 NEW BEST:: SOT 700784339 SOS 151973827 HAS SOPS 151973827 HAS SOUS 103746556 HAS SOUPS 103746556 WITH SCORE 1.03898529827E8
AT ITER 6189 NEW BEST:: SOT 700778664 SOS 152016922 HAS SOPS 152016922 HAS SOUS 103742959 HAS SOUPS 103742959 WITH SCORE 1.03894975922E8
AT ITER 6199 NEW BEST:: SOT 700771322 SOS 152012716 HAS SOPS 152012716 HAS SOUS 103737184 HAS SOUPS 103737184 WITH SCORE 1.03889196716E8
AT ITER 6204 NEW BEST:: SOT 700770316 SOS 152012716 HAS SOPS 152012716 HAS SOUS 103736681 HAS SOUPS 103736681 WITH SCORE 1.03888693716E8
AT ITER 6205 NEW BEST:: SOT 700767649 SOS 152010049 HAS SOPS 152010049 HAS SOUS 103734014 HAS SOUPS 103734014 WITH SCORE 1.03886024049E8
AT ITER 6237 NEW BEST:: SOT 700765767 SOS 152008167 HAS SOPS 152008167 HAS SOUS 103732132 HAS SOUPS 103732132 WITH SCORE 1.03884140167E8
AT ITER 6261 NEW BEST:: SOT 700761366 SOS 151986162 HAS SOPS 151986162 HAS SOUS 103723330 HAS SOUPS 103723330 WITH SCORE 1.03875316162E8
AT ITER 6275 NEW BEST:: SOT 700757308 SOS 151986158 HAS SOPS 151986158 HAS SOUS 103721300 HAS SOUPS 103721300 WITH SCORE 1.03873286158E8
AT ITER 6296 NEW BEST:: SOT 700753816 SOS 151982666 HAS SOPS 151982666 HAS SOUS 103717808 HAS SOUPS 103717808 WITH SCORE 1.03869790666E8
AT ITER 6304 NEW BEST:: SOT 700752302 SOS 151981152 HAS SOPS 151981152 HAS SOUS 103716294 HAS SOUPS 103716294 WITH SCORE 1.03868275152E8
AT ITER 6310 NEW BEST:: SOT 700752301 SOS 151979857 HAS SOPS 151979857 HAS SOUS 103716293 HAS SOUPS 103716293 WITH SCORE 1.03868272857E8
AT ITER 6329 NEW BEST:: SOT 700751032 SOS 151977319 HAS SOPS 151977319 HAS SOUS 103715897 HAS SOUPS 103715897 WITH SCORE 1.03867874319E8
AT ITER 6344 NEW BEST:: SOT 700751032 SOS 151977319 HAS SOPS 151977319 HAS SOUS 103714916 HAS SOUPS 103714916 WITH SCORE 1.03866893319E8
AT ITER 6358 NEW BEST:: SOT 700749365 SOS 151973986 HAS SOPS 151973986 HAS SOUS 103711583 HAS SOUPS 103711583 WITH SCORE 1.03863556986E8
AT ITER 6375 NEW BEST:: SOT 700746101 SOS 151970722 HAS SOPS 151970722 HAS SOUS 103708319 HAS SOUPS 103708319 WITH SCORE 1.03860289722E8
AT ITER 6381 NEW BEST:: SOT 700745249 SOS 151969870 HAS SOPS 151969870 HAS SOUS 103707467 HAS SOUPS 103707467 WITH SCORE 1.0385943687E8
AT ITER 6384 NEW BEST:: SOT 700744001 SOS 151968622 HAS SOPS 151968622 HAS SOUS 103706219 HAS SOUPS 103706219 WITH SCORE 1.03858187622E8
AT ITER 6393 NEW BEST:: SOT 700738844 SOS 151958308 HAS SOPS 151958308 HAS SOUS 103695905 HAS SOUPS 103695905 WITH SCORE 1.03847863308E8
AT ITER 6394 NEW BEST:: SOT 700740840 SOS 151962300 HAS SOPS 151962300 HAS SOUS 103691941 HAS SOUPS 103691941 WITH SCORE 1.038439033E8
AT ITER 6400 NEW BEST:: SOT 700735537 SOS 151950589 HAS SOPS 151950589 HAS SOUS 103685036 HAS SOUPS 103685036 WITH SCORE 1.03836986589E8
AT ITER 6403 NEW BEST:: SOT 700735536 SOS 151950587 HAS SOPS 151950587 HAS SOUS 103685034 HAS SOUPS 103685034 WITH SCORE 1.03836984587E8
AT ITER 6414 NEW BEST:: SOT 700735265 SOS 151950045 HAS SOPS 151950045 HAS SOUS 103684492 HAS SOUPS 103684492 WITH SCORE 1.03836442045E8
AT ITER 6418 NEW BEST:: SOT 700730143 SOS 151939801 HAS SOPS 151939801 HAS SOUS 103674248 HAS SOUPS 103674248 WITH SCORE 1.03826187801E8
AT ITER 6421 NEW BEST:: SOT 700726097 SOS 151935755 HAS SOPS 151935755 HAS SOUS 103670202 HAS SOUPS 103670202 WITH SCORE 1.03822137755E8
AT ITER 6426 NEW BEST:: SOT 700725259 SOS 151934079 HAS SOPS 151934079 HAS SOUS 103668526 HAS SOUPS 103668526 WITH SCORE 1.03820460079E8
AT ITER 6453 NEW BEST:: SOT 700725258 SOS 151934077 HAS SOPS 151934077 HAS SOUS 103668524 HAS SOUPS 103668524 WITH SCORE 1.03820458077E8
AT ITER 6454 NEW BEST:: SOT 700725117 SOS 151933795 HAS SOPS 151933795 HAS SOUS 103664661 HAS SOUPS 103664661 WITH SCORE 1.03816594795E8
AT ITER 6455 NEW BEST:: SOT 700723832 SOS 151922780 HAS SOPS 151922780 HAS SOUS 103662091 HAS SOUPS 103662091 WITH SCORE 1.0381401378E8
AT ITER 6473 NEW BEST:: SOT 700721719 SOS 151920667 HAS SOPS 151920667 HAS SOUS 103657865 HAS SOUPS 103657865 WITH SCORE 1.03809785667E8
AT ITER 6480 NEW BEST:: SOT 700716809 SOS 151918208 HAS SOPS 151918208 HAS SOUS 103655409 HAS SOUPS 103655409 WITH SCORE 1.03807327208E8
AT ITER 6506 NEW BEST:: SOT 700716809 SOS 151917910 HAS SOPS 151917910 HAS SOUS 103655409 HAS SOUPS 103655409 WITH SCORE 1.0380732691E8
AT ITER 6579 NEW BEST:: SOT 700716221 SOS 151919086 HAS SOPS 151919086 HAS SOUS 103654821 HAS SOUPS 103654821 WITH SCORE 1.03806740086E8
AT ITER 6602 NEW BEST:: SOT 700708174 SOS 151915718 HAS SOPS 151915718 HAS SOUS 103651016 HAS SOUPS 103651016 WITH SCORE 1.03802931718E8
AT ITER 6604 NEW BEST:: SOT 700705667 SOS 151913211 HAS SOPS 151913211 HAS SOUS 103648509 HAS SOUPS 103648509 WITH SCORE 1.03800422211E8
AT ITER 6608 NEW BEST:: SOT 700703305 SOS 151936810 HAS SOPS 151936810 HAS SOUS 103646932 HAS SOUPS 103646932 WITH SCORE 1.0379886881E8
AT ITER 6630 NEW BEST:: SOT 700703215 SOS 151936630 HAS SOPS 151936630 HAS SOUS 103646752 HAS SOUPS 103646752 WITH SCORE 1.0379868863E8
AT ITER 6646 NEW BEST:: SOT 700703214 SOS 151936628 HAS SOPS 151936628 HAS SOUS 103646750 HAS SOUPS 103646750 WITH SCORE 1.03798686628E8
AT ITER 6648 NEW BEST:: SOT 700702419 SOS 151935038 HAS SOPS 151935038 HAS SOUS 103642260 HAS SOUPS 103642260 WITH SCORE 1.03794195038E8
AT ITER 6674 NEW BEST:: SOT 700702327 SOS 151940052 HAS SOPS 151940052 HAS SOUS 103641793 HAS SOUPS 103641793 WITH SCORE 1.03793733052E8
AT ITER 6683 NEW BEST:: SOT 700701798 SOS 151938994 HAS SOPS 151938994 HAS SOUS 103640735 HAS SOUPS 103640735 WITH SCORE 1.03792673994E8
AT ITER 6684 NEW BEST:: SOT 700701699 SOS 151938796 HAS SOPS 151938796 HAS SOUS 103640636 HAS SOUPS 103640636 WITH SCORE 1.03792574796E8
AT ITER 6697 NEW BEST:: SOT 700703770 SOS 151936791 HAS SOPS 151936791 HAS SOUS 103638631 HAS SOUPS 103638631 WITH SCORE 1.03790567791E8
AT ITER 6702 NEW BEST:: SOT 700702662 SOS 151935683 HAS SOPS 151935683 HAS SOUS 103637523 HAS SOUPS 103637523 WITH SCORE 1.03789458683E8
AT ITER 6708 NEW BEST:: SOT 700701685 SOS 151934706 HAS SOPS 151934706 HAS SOUS 103636546 HAS SOUPS 103636546 WITH SCORE 1.03788480706E8
AT ITER 6716 NEW BEST:: SOT 700700377 SOS 151933398 HAS SOPS 151933398 HAS SOUS 103635238 HAS SOUPS 103635238 WITH SCORE 1.03787171398E8
AT ITER 6728 NEW BEST:: SOT 700695999 SOS 151908496 HAS SOPS 151908496 HAS SOUS 103626482 HAS SOUPS 103626482 WITH SCORE 1.03778390496E8
AT ITER 6729 NEW BEST:: SOT 700694631 SOS 151905760 HAS SOPS 151905760 HAS SOUS 103625114 HAS SOUPS 103625114 WITH SCORE 1.0377701976E8
AT ITER 6734 NEW BEST:: SOT 700694630 SOS 151905758 HAS SOPS 151905758 HAS SOUS 103625112 HAS SOUPS 103625112 WITH SCORE 1.03777017758E8
AT ITER 6750 NEW BEST:: SOT 700687952 SOS 151899223 HAS SOPS 151899223 HAS SOUS 103618507 HAS SOUPS 103618507 WITH SCORE 1.03770406223E8
AT ITER 6773 NEW BEST:: SOT 700681659 SOS 151886637 HAS SOPS 151886637 HAS SOUS 103608618 HAS SOUPS 103608618 WITH SCORE 1.03760504637E8
AT ITER 6824 NEW BEST:: SOT 700679721 SOS 151885086 HAS SOPS 151885086 HAS SOUS 103604742 HAS SOUPS 103604742 WITH SCORE 1.03756627086E8
AT ITER 6851 NEW BEST:: SOT 700678587 SOS 151884519 HAS SOPS 151884519 HAS SOUS 103604175 HAS SOUPS 103604175 WITH SCORE 1.03756059519E8
AT ITER 6865 NEW BEST:: SOT 700676393 SOS 151880131 HAS SOPS 151880131 HAS SOUS 103599787 HAS SOUPS 103599787 WITH SCORE 1.03751667131E8
AT ITER 6879 NEW BEST:: SOT 700673933 SOS 151877671 HAS SOPS 151877671 HAS SOUS 103597327 HAS SOUPS 103597327 WITH SCORE 1.03749204671E8
AT ITER 6885 NEW BEST:: SOT 700673932 SOS 151877669 HAS SOPS 151877669 HAS SOUS 103597325 HAS SOUPS 103597325 WITH SCORE 1.03749202669E8
AT ITER 6919 NEW BEST:: SOT 700672447 SOS 151874699 HAS SOPS 151874699 HAS SOUS 103594355 HAS SOUPS 103594355 WITH SCORE 1.03746229699E8
AT ITER 6921 NEW BEST:: SOT 700668380 SOS 151866565 HAS SOPS 151866565 HAS SOUS 103586221 HAS SOUPS 103586221 WITH SCORE 1.03738087565E8
AT ITER 6922 NEW BEST:: SOT 700667040 SOS 151863885 HAS SOPS 151863885 HAS SOUS 103583541 HAS SOUPS 103583541 WITH SCORE 1.03735404885E8
AT ITER 6930 NEW BEST:: SOT 700664975 SOS 151859755 HAS SOPS 151859755 HAS SOUS 103581476 HAS SOUPS 103581476 WITH SCORE 1.03733335755E8
AT ITER 6938 NEW BEST:: SOT 700664282 SOS 151858369 HAS SOPS 151858369 HAS SOUS 103576890 HAS SOUPS 103576890 WITH SCORE 1.03728748369E8
AT ITER 6951 NEW BEST:: SOT 700664281 SOS 151858367 HAS SOPS 151858367 HAS SOUS 103576889 HAS SOUPS 103576889 WITH SCORE 1.03728747367E8
AT ITER 6979 NEW BEST:: SOT 700664280 SOS 151858365 HAS SOPS 151858365 HAS SOUS 103576887 HAS SOUPS 103576887 WITH SCORE 1.03728745365E8
AT ITER 6994 NEW BEST:: SOT 700658446 SOS 151852531 HAS SOPS 151852531 HAS SOUS 103571053 HAS SOUPS 103571053 WITH SCORE 1.03722905531E8
AT ITER 7022 NEW BEST:: SOT 700659970 SOS 151859400 HAS SOPS 151859400 HAS SOUS 103570721 HAS SOUPS 103570721 WITH SCORE 1.037225804E8
AT ITER 7040 NEW BEST:: SOT 700659970 SOS 151848087 HAS SOPS 151848087 HAS SOUS 103566950 HAS SOUPS 103566950 WITH SCORE 1.03718798087E8
AT ITER 7042 NEW BEST:: SOT 700658173 SOS 151846290 HAS SOPS 151846290 HAS SOUS 103565153 HAS SOUPS 103565153 WITH SCORE 1.0371699929E8
AT ITER 7085 NEW BEST:: SOT 700654114 SOS 151843589 HAS SOPS 151843589 HAS SOUS 103562455 HAS SOUPS 103562455 WITH SCORE 1.03714298589E8
AT ITER 7100 NEW BEST:: SOT 700648040 SOS 151837511 HAS SOPS 151837511 HAS SOUS 103556380 HAS SOUPS 103556380 WITH SCORE 1.03708217511E8
AT ITER 7108 NEW BEST:: SOT 700644480 SOS 151833951 HAS SOPS 151833951 HAS SOUS 103552820 HAS SOUPS 103552820 WITH SCORE 1.03704653951E8
AT ITER 7110 NEW BEST:: SOT 700644479 SOS 151833949 HAS SOPS 151833949 HAS SOUS 103552818 HAS SOUPS 103552818 WITH SCORE 1.03704651949E8
AT ITER 7148 NEW BEST:: SOT 700643367 SOS 151832837 HAS SOPS 151832837 HAS SOUS 103551706 HAS SOUPS 103551706 WITH SCORE 1.03703538837E8
AT ITER 7158 NEW BEST:: SOT 700643367 SOS 151829806 HAS SOPS 151829806 HAS SOUS 103548632 HAS SOUPS 103548632 WITH SCORE 1.03700461806E8
AT ITER 7176 NEW BEST:: SOT 700643366 SOS 151829804 HAS SOPS 151829804 HAS SOUS 103548630 HAS SOUPS 103548630 WITH SCORE 1.03700459804E8
AT ITER 7177 NEW BEST:: SOT 700642522 SOS 151828116 HAS SOPS 151828116 HAS SOUS 103547786 HAS SOUPS 103547786 WITH SCORE 1.03699614116E8
AT ITER 7180 NEW BEST:: SOT 700634822 SOS 151820714 HAS SOPS 151820714 HAS SOUS 103540234 HAS SOUPS 103540234 WITH SCORE 1.03692054714E8
AT ITER 7187 NEW BEST:: SOT 700632276 SOS 151807984 HAS SOPS 151807984 HAS SOUS 103535142 HAS SOUPS 103535142 WITH SCORE 1.03686949984E8
AT ITER 7194 NEW BEST:: SOT 700633249 SOS 151807982 HAS SOPS 151807982 HAS SOUS 103535141 HAS SOUPS 103535141 WITH SCORE 1.03686948982E8
AT ITER 7204 NEW BEST:: SOT 700632083 SOS 151807134 HAS SOPS 151807134 HAS SOUS 103534399 HAS SOUPS 103534399 WITH SCORE 1.03686206134E8
AT ITER 7219 NEW BEST:: SOT 700632083 SOS 151807134 HAS SOPS 151807134 HAS SOUS 103534398 HAS SOUPS 103534398 WITH SCORE 1.03686205134E8
AT ITER 7224 NEW BEST:: SOT 700630929 SOS 151806653 HAS SOPS 151806653 HAS SOUS 103533853 HAS SOUPS 103533853 WITH SCORE 1.03685659653E8
AT ITER 7273 NEW BEST:: SOT 700625624 SOS 151809229 HAS SOPS 151809229 HAS SOUS 103531013 HAS SOUPS 103531013 WITH SCORE 1.03682822229E8
AT ITER 7291 NEW BEST:: SOT 700624729 SOS 151807439 HAS SOPS 151807439 HAS SOUS 103526300 HAS SOUPS 103526300 WITH SCORE 1.03678107439E8
AT ITER 7308 NEW BEST:: SOT 700621094 SOS 151800170 HAS SOPS 151800170 HAS SOUS 103519031 HAS SOUPS 103519031 WITH SCORE 1.0367083117E8
AT ITER 7318 NEW BEST:: SOT 700614087 SOS 151800168 HAS SOPS 151800168 HAS SOUS 103519029 HAS SOUPS 103519029 WITH SCORE 1.03670829168E8
AT ITER 7346 NEW BEST:: SOT 700613659 SOS 151799312 HAS SOPS 151799312 HAS SOUS 103518173 HAS SOUPS 103518173 WITH SCORE 1.03669972312E8
AT ITER 7352 NEW BEST:: SOT 700612315 SOS 151796624 HAS SOPS 151796624 HAS SOUS 103515485 HAS SOUPS 103515485 WITH SCORE 1.03667281624E8
AT ITER 7363 NEW BEST:: SOT 700612315 SOS 151796624 HAS SOPS 151796624 HAS SOUS 103515478 HAS SOUPS 103515478 WITH SCORE 1.03667274624E8
AT ITER 7394 NEW BEST:: SOT 700611343 SOS 151794680 HAS SOPS 151794680 HAS SOUS 103513534 HAS SOUPS 103513534 WITH SCORE 1.0366532868E8
AT ITER 7401 NEW BEST:: SOT 700610401 SOS 151796560 HAS SOPS 151796560 HAS SOUS 103512591 HAS SOUPS 103512591 WITH SCORE 1.0366438756E8
AT ITER 7478 NEW BEST:: SOT 700607985 SOS 151794144 HAS SOPS 151794144 HAS SOUS 103510175 HAS SOUPS 103510175 WITH SCORE 1.03661969144E8
AT ITER 7497 NEW BEST:: SOT 700610601 SOS 151799376 HAS SOPS 151799376 HAS SOUS 103507521 HAS SOUPS 103507521 WITH SCORE 1.03659320376E8
AT ITER 7510 NEW BEST:: SOT 700609630 SOS 151797434 HAS SOPS 151797434 HAS SOUS 103502858 HAS SOUPS 103502858 WITH SCORE 1.03654655434E8
AT ITER 7538 NEW BEST:: SOT 700602556 SOS 151793897 HAS SOPS 151793897 HAS SOUS 103499321 HAS SOUPS 103499321 WITH SCORE 1.03651114897E8
AT ITER 7540 NEW BEST:: SOT 700602555 SOS 151793895 HAS SOPS 151793895 HAS SOUS 103499319 HAS SOUPS 103499319 WITH SCORE 1.03651112895E8
AT ITER 7543 NEW BEST:: SOT 700597502 SOS 151792490 HAS SOPS 151792490 HAS SOUS 103496625 HAS SOUPS 103496625 WITH SCORE 1.0364841749E8
AT ITER 7550 NEW BEST:: SOT 700594059 SOS 151795929 HAS SOPS 151795929 HAS SOUS 103489738 HAS SOUPS 103489738 WITH SCORE 1.03641533929E8
AT ITER 7552 NEW BEST:: SOT 700594056 SOS 151795923 HAS SOPS 151795923 HAS SOUS 103489732 HAS SOUPS 103489732 WITH SCORE 1.03641527923E8
AT ITER 7554 NEW BEST:: SOT 700594057 SOS 151795702 HAS SOPS 151795702 HAS SOUS 103489511 HAS SOUPS 103489511 WITH SCORE 1.03641306702E8
AT ITER 7559 NEW BEST:: SOT 700594057 SOS 151791166 HAS SOPS 151791166 HAS SOUS 103487999 HAS SOUPS 103487999 WITH SCORE 1.03639790166E8
AT ITER 7561 NEW BEST:: SOT 700558842 SOS 151807527 HAS SOPS 151807527 HAS SOUS 103482587 HAS SOUPS 103482587 WITH SCORE 1.03634394527E8
AT ITER 7579 NEW BEST:: SOT 700555708 SOS 151807523 HAS SOPS 151807523 HAS SOUS 103481019 HAS SOUPS 103481019 WITH SCORE 1.03632826523E8
AT ITER 7597 NEW BEST:: SOT 700555468 SOS 151814455 HAS SOPS 151814455 HAS SOUS 103480539 HAS SOUPS 103480539 WITH SCORE 1.03632353455E8
AT ITER 7611 NEW BEST:: SOT 700552320 SOS 151811602 HAS SOPS 151811602 HAS SOUS 103477540 HAS SOUPS 103477540 WITH SCORE 1.03629351602E8
AT ITER 7615 NEW BEST:: SOT 700550242 SOS 151807446 HAS SOPS 151807446 HAS SOUS 103473384 HAS SOUPS 103473384 WITH SCORE 1.03625191446E8
AT ITER 7631 NEW BEST:: SOT 700549634 SOS 151807442 HAS SOPS 151807442 HAS SOUS 103473079 HAS SOUPS 103473079 WITH SCORE 1.03624886442E8
AT ITER 7646 NEW BEST:: SOT 700546905 SOS 151804709 HAS SOPS 151804709 HAS SOUS 103470349 HAS SOUPS 103470349 WITH SCORE 1.03622153709E8
AT ITER 7648 NEW BEST:: SOT 700544544 SOS 151802348 HAS SOPS 151802348 HAS SOUS 103467988 HAS SOUPS 103467988 WITH SCORE 1.03619790348E8
AT ITER 7663 NEW BEST:: SOT 700544351 SOS 151801962 HAS SOPS 151801962 HAS SOUS 103464124 HAS SOUPS 103464124 WITH SCORE 1.03615925962E8
AT ITER 7667 NEW BEST:: SOT 700543231 SOS 151806589 HAS SOPS 151806589 HAS SOUS 103463004 HAS SOUPS 103463004 WITH SCORE 1.03614810589E8
AT ITER 7674 NEW BEST:: SOT 700536020 SOS 151800726 HAS SOPS 151800726 HAS SOUS 103455454 HAS SOUPS 103455454 WITH SCORE 1.03607254726E8
AT ITER 7676 NEW BEST:: SOT 700532429 SOS 151798733 HAS SOPS 151798733 HAS SOUS 103453461 HAS SOUPS 103453461 WITH SCORE 1.03605259733E8
AT ITER 7681 NEW BEST:: SOT 700528869 SOS 151795173 HAS SOPS 151795173 HAS SOUS 103449901 HAS SOUPS 103449901 WITH SCORE 1.03601696173E8
AT ITER 7701 NEW BEST:: SOT 700525396 SOS 151800148 HAS SOPS 151800148 HAS SOUS 103442780 HAS SOUPS 103442780 WITH SCORE 1.03594580148E8
AT ITER 7728 NEW BEST:: SOT 700523731 SOS 151796818 HAS SOPS 151796818 HAS SOUS 103439179 HAS SOUPS 103439179 WITH SCORE 1.03590975818E8
AT ITER 7746 NEW BEST:: SOT 700522549 SOS 151796227 HAS SOPS 151796227 HAS SOUS 103438588 HAS SOUPS 103438588 WITH SCORE 1.03590384227E8
AT ITER 7774 NEW BEST:: SOT 700522549 SOS 151796226 HAS SOPS 151796226 HAS SOUS 103434765 HAS SOUPS 103434765 WITH SCORE 1.03586561226E8
AT ITER 7782 NEW BEST:: SOT 700518315 SOS 151792333 HAS SOPS 151792333 HAS SOUS 103430875 HAS SOUPS 103430875 WITH SCORE 1.03582667333E8
AT ITER 7789 NEW BEST:: SOT 700514143 SOS 151790243 HAS SOPS 151790243 HAS SOUS 103428788 HAS SOUPS 103428788 WITH SCORE 1.03580578243E8
AT ITER 7792 NEW BEST:: SOT 700514143 SOS 151790243 HAS SOPS 151790243 HAS SOUS 103428638 HAS SOUPS 103428638 WITH SCORE 1.03580428243E8
AT ITER 7796 NEW BEST:: SOT 700510827 SOS 151786875 HAS SOPS 151786875 HAS SOUS 103428374 HAS SOUPS 103428374 WITH SCORE 1.03580160875E8
AT ITER 7801 NEW BEST:: SOT 700510827 SOS 151786457 HAS SOPS 151786457 HAS SOUS 103427956 HAS SOUPS 103427956 WITH SCORE 1.03579742457E8
AT ITER 7811 NEW BEST:: SOT 700510421 SOS 151786051 HAS SOPS 151786051 HAS SOUS 103427956 HAS SOUPS 103427956 WITH SCORE 1.03579742051E8
AT ITER 7822 NEW BEST:: SOT 700509611 SOS 151785241 HAS SOPS 151785241 HAS SOUS 103427956 HAS SOUPS 103427956 WITH SCORE 1.03579741241E8
AT ITER 7864 NEW BEST:: SOT 700509610 SOS 151785239 HAS SOPS 151785239 HAS SOUS 103427954 HAS SOUPS 103427954 WITH SCORE 1.03579739239E8
AT ITER 7874 NEW BEST:: SOT 700506966 SOS 151779951 HAS SOPS 151779951 HAS SOUS 103422666 HAS SOUPS 103422666 WITH SCORE 1.03574445951E8
AT ITER 7911 NEW BEST:: SOT 700506966 SOS 151777194 HAS SOPS 151777194 HAS SOUS 103422666 HAS SOUPS 103422666 WITH SCORE 1.03574443194E8
AT ITER 7963 NEW BEST:: SOT 700499626 SOS 151773524 HAS SOPS 151773524 HAS SOUS 103418996 HAS SOUPS 103418996 WITH SCORE 1.03570769524E8
AT ITER 7985 NEW BEST:: SOT 700501996 SOS 151771151 HAS SOPS 151771151 HAS SOUS 103418995 HAS SOUPS 103418995 WITH SCORE 1.03570766151E8
AT ITER 8008 NEW BEST:: SOT 700501996 SOS 151769909 HAS SOPS 151769909 HAS SOUS 103418995 HAS SOUPS 103418995 WITH SCORE 1.03570764909E8
AT ITER 8018 NEW BEST:: SOT 700502133 SOS 151769772 HAS SOPS 151769772 HAS SOUS 103418995 HAS SOUPS 103418995 WITH SCORE 1.03570764772E8
AT ITER 8020 NEW BEST:: SOT 700500134 SOS 151783836 HAS SOPS 151783836 HAS SOUS 103414996 HAS SOUPS 103414996 WITH SCORE 1.03566779836E8
AT ITER 8027 NEW BEST:: SOT 700498219 SOS 151780006 HAS SOPS 151780006 HAS SOUS 103411166 HAS SOUPS 103411166 WITH SCORE 1.03562946006E8
AT ITER 8048 NEW BEST:: SOT 700496350 SOS 151776268 HAS SOPS 151776268 HAS SOUS 103409297 HAS SOUPS 103409297 WITH SCORE 1.03561073268E8
AT ITER 8070 NEW BEST:: SOT 700494106 SOS 151765048 HAS SOPS 151765048 HAS SOUS 103404809 HAS SOUPS 103404809 WITH SCORE 1.03556574048E8
AT ITER 8085 NEW BEST:: SOT 700489787 SOS 151761331 HAS SOPS 151761331 HAS SOUS 103401092 HAS SOUPS 103401092 WITH SCORE 1.03552853331E8
AT ITER 8122 NEW BEST:: SOT 700486059 SOS 151757603 HAS SOPS 151757603 HAS SOUS 103397364 HAS SOUPS 103397364 WITH SCORE 1.03549121603E8
AT ITER 8125 NEW BEST:: SOT 700478957 SOS 151756737 HAS SOPS 151756737 HAS SOUS 103390262 HAS SOUPS 103390262 WITH SCORE 1.03542018737E8
AT ITER 8134 NEW BEST:: SOT 700469959 SOS 151724164 HAS SOPS 151724164 HAS SOUS 103376992 HAS SOUPS 103376992 WITH SCORE 1.03528716164E8
AT ITER 8146 NEW BEST:: SOT 700466602 SOS 151717450 HAS SOPS 151717450 HAS SOUS 103370278 HAS SOUPS 103370278 WITH SCORE 1.0352199545E8
AT ITER 8152 NEW BEST:: SOT 700467269 SOS 151734867 HAS SOPS 151734867 HAS SOUS 103369223 HAS SOUPS 103369223 WITH SCORE 1.03520957867E8
AT ITER 8234 NEW BEST:: SOT 700465558 SOS 151738285 HAS SOPS 151738285 HAS SOUS 103367511 HAS SOUPS 103367511 WITH SCORE 1.03519249285E8
AT ITER 8252 NEW BEST:: SOT 700462359 SOS 151731887 HAS SOPS 151731887 HAS SOUS 103361113 HAS SOUPS 103361113 WITH SCORE 1.03512844887E8
AT ITER 8262 NEW BEST:: SOT 700459930 SOS 151729458 HAS SOPS 151729458 HAS SOUS 103361113 HAS SOUPS 103361113 WITH SCORE 1.03512842458E8
AT ITER 8287 NEW BEST:: SOT 700459777 SOS 151727663 HAS SOPS 151727663 HAS SOUS 103359318 HAS SOUPS 103359318 WITH SCORE 1.03511045663E8
AT ITER 8298 NEW BEST:: SOT 700461654 SOS 151727661 HAS SOPS 151727661 HAS SOUS 103359317 HAS SOUPS 103359317 WITH SCORE 1.03511044661E8
AT ITER 8314 NEW BEST:: SOT 700461654 SOS 151727661 HAS SOPS 151727661 HAS SOUS 103359316 HAS SOUPS 103359316 WITH SCORE 1.03511043661E8
AT ITER 8344 NEW BEST:: SOT 700460957 SOS 151727660 HAS SOPS 151727660 HAS SOUS 103359315 HAS SOUPS 103359315 WITH SCORE 1.0351104266E8
AT ITER 8383 NEW BEST:: SOT 700457392 SOS 151720530 HAS SOPS 151720530 HAS SOUS 103352051 HAS SOUPS 103352051 WITH SCORE 1.0350377153E8
AT ITER 8392 NEW BEST:: SOT 700455744 SOS 151717234 HAS SOPS 151717234 HAS SOUS 103348755 HAS SOUPS 103348755 WITH SCORE 1.03500472234E8
AT ITER 8401 NEW BEST:: SOT 700455560 SOS 151717594 HAS SOPS 151717594 HAS SOUS 103348569 HAS SOUPS 103348569 WITH SCORE 1.03500286594E8
AT ITER 8422 NEW BEST:: SOT 700439514 SOS 151692418 HAS SOPS 151692418 HAS SOUS 103328126 HAS SOUPS 103328126 WITH SCORE 1.03479818418E8
AT ITER 8478 NEW BEST:: SOT 700439514 SOS 151665598 HAS SOPS 151665598 HAS SOUS 103328126 HAS SOUPS 103328126 WITH SCORE 1.03479791598E8
AT ITER 8486 NEW BEST:: SOT 700436984 SOS 151663292 HAS SOPS 151663292 HAS SOUS 103325820 HAS SOUPS 103325820 WITH SCORE 1.03477483292E8
AT ITER 8526 NEW BEST:: SOT 700437799 SOS 151648062 HAS SOPS 151648062 HAS SOUS 103319395 HAS SOUPS 103319395 WITH SCORE 1.03471043062E8
AT ITER 8529 NEW BEST:: SOT 700437799 SOS 151648062 HAS SOPS 151648062 HAS SOUS 103315102 HAS SOUPS 103315102 WITH SCORE 1.03466750062E8
AT ITER 8539 NEW BEST:: SOT 700437820 SOS 151648104 HAS SOPS 151648104 HAS SOUS 103314173 HAS SOUPS 103314173 WITH SCORE 1.03465821104E8
AT ITER 8563 NEW BEST:: SOT 700438767 SOS 151649998 HAS SOPS 151649998 HAS SOUS 103308147 HAS SOUPS 103308147 WITH SCORE 1.03459796998E8
AT ITER 8569 NEW BEST:: SOT 700434782 SOS 151642028 HAS SOPS 151642028 HAS SOUS 103300177 HAS SOUPS 103300177 WITH SCORE 1.03451819028E8
AT ITER 8584 NEW BEST:: SOT 700434781 SOS 151641272 HAS SOPS 151641272 HAS SOUS 103299421 HAS SOUPS 103299421 WITH SCORE 1.03451062272E8
AT ITER 8588 NEW BEST:: SOT 700433242 SOS 151638194 HAS SOPS 151638194 HAS SOUS 103296343 HAS SOUPS 103296343 WITH SCORE 1.03447981194E8
AT ITER 8596 NEW BEST:: SOT 700433929 SOS 151636840 HAS SOPS 151636840 HAS SOUS 103294989 HAS SOUPS 103294989 WITH SCORE 1.0344662584E8
AT ITER 8610 NEW BEST:: SOT 700431229 SOS 151634136 HAS SOPS 151634136 HAS SOUS 103292288 HAS SOUPS 103292288 WITH SCORE 1.03443922136E8
AT ITER 8623 NEW BEST:: SOT 700429835 SOS 151631348 HAS SOPS 151631348 HAS SOUS 103287412 HAS SOUPS 103287412 WITH SCORE 1.03439043348E8
AT ITER 8625 NEW BEST:: SOT 700429835 SOS 151627170 HAS SOPS 151627170 HAS SOUS 103283234 HAS SOUPS 103283234 WITH SCORE 1.0343486117E8
AT ITER 8631 NEW BEST:: SOT 700430230 SOS 151625880 HAS SOPS 151625880 HAS SOUS 103281944 HAS SOUPS 103281944 WITH SCORE 1.0343356988E8
AT ITER 8684 NEW BEST:: SOT 700429618 SOS 151624656 HAS SOPS 151624656 HAS SOUS 103281331 HAS SOUPS 103281331 WITH SCORE 1.03432955656E8
AT ITER 8697 NEW BEST:: SOT 700427581 SOS 151623295 HAS SOPS 151623295 HAS SOUS 103279972 HAS SOUPS 103279972 WITH SCORE 1.03431595295E8
AT ITER 8703 NEW BEST:: SOT 700427581 SOS 151622052 HAS SOPS 151622052 HAS SOUS 103279972 HAS SOUPS 103279972 WITH SCORE 1.03431594052E8
AT ITER 8773 NEW BEST:: SOT 700421108 SOS 151615578 HAS SOPS 151615578 HAS SOUS 103273498 HAS SOUPS 103273498 WITH SCORE 1.03425113578E8
AT ITER 8779 NEW BEST:: SOT 700420771 SOS 151614904 HAS SOPS 151614904 HAS SOUS 103272110 HAS SOUPS 103272110 WITH SCORE 1.03423724904E8
AT ITER 8782 NEW BEST:: SOT 700421239 SOS 151613688 HAS SOPS 151613688 HAS SOUS 103270894 HAS SOUPS 103270894 WITH SCORE 1.03422507688E8
AT ITER 8821 NEW BEST:: SOT 700421239 SOS 151613688 HAS SOPS 151613688 HAS SOUS 103267317 HAS SOUPS 103267317 WITH SCORE 1.03418930688E8
AT ITER 8823 NEW BEST:: SOT 700417716 SOS 151606642 HAS SOPS 151606642 HAS SOUS 103260271 HAS SOUPS 103260271 WITH SCORE 1.03411877642E8
AT ITER 8846 NEW BEST:: SOT 700417692 SOS 151606594 HAS SOPS 151606594 HAS SOUS 103260223 HAS SOUPS 103260223 WITH SCORE 1.03411829594E8
AT ITER 8873 NEW BEST:: SOT 700415554 SOS 151608728 HAS SOPS 151608728 HAS SOUS 103255946 HAS SOUPS 103255946 WITH SCORE 1.03407554728E8
AT ITER 8901 NEW BEST:: SOT 700415554 SOS 151608728 HAS SOPS 151608728 HAS SOUS 103255945 HAS SOUPS 103255945 WITH SCORE 1.03407553728E8
AT ITER 8919 NEW BEST:: SOT 700415543 SOS 151608713 HAS SOPS 151608713 HAS SOUS 103255933 HAS SOUPS 103255933 WITH SCORE 1.03407541713E8
AT ITER 8920 NEW BEST:: SOT 700414085 SOS 151607255 HAS SOPS 151607255 HAS SOUS 103255933 HAS SOUPS 103255933 WITH SCORE 1.03407540255E8
AT ITER 8922 NEW BEST:: SOT 700414050 SOS 151603302 HAS SOPS 151603302 HAS SOUS 103253649 HAS SOUPS 103253649 WITH SCORE 1.03405252302E8
AT ITER 8957 NEW BEST:: SOT 700411637 SOS 151598476 HAS SOPS 151598476 HAS SOUS 103252596 HAS SOUPS 103252596 WITH SCORE 1.03404194476E8
AT ITER 8967 NEW BEST:: SOT 700410522 SOS 151598472 HAS SOPS 151598472 HAS SOUS 103252595 HAS SOUPS 103252595 WITH SCORE 1.03404193472E8
AT ITER 8999 NEW BEST:: SOT 700410522 SOS 151598472 HAS SOPS 151598472 HAS SOUS 103252594 HAS SOUPS 103252594 WITH SCORE 1.03404192472E8
AT ITER 9056 NEW BEST:: SOT 700406565 SOS 151590558 HAS SOPS 151590558 HAS SOUS 103244680 HAS SOUPS 103244680 WITH SCORE 1.03396270558E8
AT ITER 9068 NEW BEST:: SOT 700406564 SOS 151590556 HAS SOPS 151590556 HAS SOUS 103244678 HAS SOUPS 103244678 WITH SCORE 1.03396268556E8
AT ITER 9097 NEW BEST:: SOT 700404132 SOS 151585692 HAS SOPS 151585692 HAS SOUS 103243185 HAS SOUPS 103243185 WITH SCORE 1.03394770692E8
AT ITER 9121 NEW BEST:: SOT 700404132 SOS 151584758 HAS SOPS 151584758 HAS SOUS 103242718 HAS SOUPS 103242718 WITH SCORE 1.03394302758E8
AT ITER 9171 NEW BEST:: SOT 700399313 SOS 151582562 HAS SOPS 151582562 HAS SOUS 103240179 HAS SOUPS 103240179 WITH SCORE 1.03391761562E8
AT ITER 9172 NEW BEST:: SOT 700398203 SOS 151580342 HAS SOPS 151580342 HAS SOUS 103237959 HAS SOUPS 103237959 WITH SCORE 1.03389539342E8
AT ITER 9179 NEW BEST:: SOT 700390204 SOS 151576731 HAS SOPS 151576731 HAS SOUS 103234089 HAS SOUPS 103234089 WITH SCORE 1.03385665731E8
AT ITER 9235 NEW BEST:: SOT 700382236 SOS 151572747 HAS SOPS 151572747 HAS SOUS 103230105 HAS SOUPS 103230105 WITH SCORE 1.03381677747E8
AT ITER 9244 NEW BEST:: SOT 700382233 SOS 151572741 HAS SOPS 151572741 HAS SOUS 103230099 HAS SOUPS 103230099 WITH SCORE 1.03381671741E8
AT ITER 9278 NEW BEST:: SOT 700378171 SOS 151568679 HAS SOPS 151568679 HAS SOUS 103226037 HAS SOUPS 103226037 WITH SCORE 1.03377605679E8
AT ITER 9279 NEW BEST:: SOT 700366203 SOS 151574737 HAS SOPS 151574737 HAS SOUS 103219870 HAS SOUPS 103219870 WITH SCORE 1.03371444737E8
AT ITER 9282 NEW BEST:: SOT 700360671 SOS 151569205 HAS SOPS 151569205 HAS SOUS 103214338 HAS SOUPS 103214338 WITH SCORE 1.03365907205E8
AT ITER 9286 NEW BEST:: SOT 700360670 SOS 151569203 HAS SOPS 151569203 HAS SOUS 103214336 HAS SOUPS 103214336 WITH SCORE 1.03365905203E8
AT ITER 9299 NEW BEST:: SOT 700360353 SOS 151567618 HAS SOPS 151567618 HAS SOUS 103213702 HAS SOUPS 103213702 WITH SCORE 1.03365269618E8
AT ITER 9324 NEW BEST:: SOT 700360353 SOS 151566992 HAS SOPS 151566992 HAS SOUS 103213389 HAS SOUPS 103213389 WITH SCORE 1.03364955992E8
AT ITER 9335 NEW BEST:: SOT 700338430 SOS 151551048 HAS SOPS 151551048 HAS SOUS 103199438 HAS SOUPS 103199438 WITH SCORE 1.03350989048E8
AT ITER 9340 NEW BEST:: SOT 700335554 SOS 151545296 HAS SOPS 151545296 HAS SOUS 103191701 HAS SOUPS 103191701 WITH SCORE 1.03343246296E8
AT ITER 9347 NEW BEST:: SOT 700328939 SOS 151542706 HAS SOPS 151542706 HAS SOUS 103186717 HAS SOUPS 103186717 WITH SCORE 1.03338259706E8
AT ITER 9363 NEW BEST:: SOT 700324453 SOS 151519796 HAS SOPS 151519796 HAS SOUS 103177745 HAS SOUPS 103177745 WITH SCORE 1.03329264796E8
AT ITER 9380 NEW BEST:: SOT 700322931 SOS 151518168 HAS SOPS 151518168 HAS SOUS 103177669 HAS SOUPS 103177669 WITH SCORE 1.03329187168E8
AT ITER 9381 NEW BEST:: SOT 700323845 SOS 151516462 HAS SOPS 151516462 HAS SOUS 103177405 HAS SOUPS 103177405 WITH SCORE 1.03328921462E8
AT ITER 9387 NEW BEST:: SOT 700322024 SOS 151514823 HAS SOPS 151514823 HAS SOUS 103175766 HAS SOUPS 103175766 WITH SCORE 1.03327280823E8
AT ITER 9396 NEW BEST:: SOT 700317767 SOS 151511063 HAS SOPS 151511063 HAS SOUS 103172006 HAS SOUPS 103172006 WITH SCORE 1.03323517063E8
AT ITER 9401 NEW BEST:: SOT 700317767 SOS 151508035 HAS SOPS 151508035 HAS SOUS 103172006 HAS SOUPS 103172006 WITH SCORE 1.03323514035E8
AT ITER 9413 NEW BEST:: SOT 700316787 SOS 151507055 HAS SOPS 151507055 HAS SOUS 103171026 HAS SOUPS 103171026 WITH SCORE 1.03322533055E8
AT ITER 9431 NEW BEST:: SOT 700312650 SOS 151486370 HAS SOPS 151486370 HAS SOUS 103162752 HAS SOUPS 103162752 WITH SCORE 1.0331423837E8
AT ITER 9434 NEW BEST:: SOT 700308847 SOS 151483475 HAS SOPS 151483475 HAS SOUS 103159857 HAS SOUPS 103159857 WITH SCORE 1.03311340475E8
AT ITER 9437 NEW BEST:: SOT 700311455 SOS 151507752 HAS SOPS 151507752 HAS SOUS 103158717 HAS SOUPS 103158717 WITH SCORE 1.03310224752E8
AT ITER 9440 NEW BEST:: SOT 700297903 SOS 151497896 HAS SOPS 151497896 HAS SOUS 103150093 HAS SOUPS 103150093 WITH SCORE 1.03301590896E8
AT ITER 9454 NEW BEST:: SOT 700297111 SOS 151497104 HAS SOPS 151497104 HAS SOUS 103149301 HAS SOUPS 103149301 WITH SCORE 1.03300798104E8
AT ITER 9477 NEW BEST:: SOT 700295963 SOS 151494808 HAS SOPS 151494808 HAS SOUS 103147005 HAS SOUPS 103147005 WITH SCORE 1.03298499808E8
AT ITER 9493 NEW BEST:: SOT 700292515 SOS 151491360 HAS SOPS 151491360 HAS SOUS 103143557 HAS SOUPS 103143557 WITH SCORE 1.0329504836E8
AT ITER 9498 NEW BEST:: SOT 700291492 SOS 151490358 HAS SOPS 151490358 HAS SOUS 103142555 HAS SOUPS 103142555 WITH SCORE 1.03294045358E8
AT ITER 9502 NEW BEST:: SOT 700291492 SOS 151488494 HAS SOPS 151488494 HAS SOUS 103142555 HAS SOUPS 103142555 WITH SCORE 1.03294043494E8
AT ITER 9508 NEW BEST:: SOT 700291492 SOS 151488494 HAS SOPS 151488494 HAS SOUS 103142553 HAS SOUPS 103142553 WITH SCORE 1.03294041494E8
AT ITER 9515 NEW BEST:: SOT 700291309 SOS 151488856 HAS SOPS 151488856 HAS SOUS 103142369 HAS SOUPS 103142369 WITH SCORE 1.03293857856E8
AT ITER 9533 NEW BEST:: SOT 700287376 SOS 151480990 HAS SOPS 151480990 HAS SOUS 103138436 HAS SOUPS 103138436 WITH SCORE 1.0328991699E8
AT ITER 9548 NEW BEST:: SOT 700285536 SOS 151478230 HAS SOPS 151478230 HAS SOUS 103135676 HAS SOUPS 103135676 WITH SCORE 1.0328715423E8
AT ITER 9560 NEW BEST:: SOT 700280484 SOS 151473174 HAS SOPS 151473174 HAS SOUS 103130623 HAS SOUPS 103130623 WITH SCORE 1.03282096174E8
AT ITER 9607 NEW BEST:: SOT 700280484 SOS 151471437 HAS SOPS 151471437 HAS SOUS 103130623 HAS SOUPS 103130623 WITH SCORE 1.03282094437E8
AT ITER 9629 NEW BEST:: SOT 700276774 SOS 151464017 HAS SOPS 151464017 HAS SOUS 103123203 HAS SOUPS 103123203 WITH SCORE 1.03274667017E8
AT ITER 9635 NEW BEST:: SOT 700273809 SOS 151463562 HAS SOPS 151463562 HAS SOUS 103122748 HAS SOUPS 103122748 WITH SCORE 1.03274211562E8
AT ITER 9655 NEW BEST:: SOT 700273041 SOS 151462026 HAS SOPS 151462026 HAS SOUS 103121212 HAS SOUPS 103121212 WITH SCORE 1.03272674026E8
AT ITER 9659 NEW BEST:: SOT 700272358 SOS 151460660 HAS SOPS 151460660 HAS SOUS 103117766 HAS SOUPS 103117766 WITH SCORE 1.0326922666E8
AT ITER 9660 NEW BEST:: SOT 700272358 SOS 151459524 HAS SOPS 151459524 HAS SOUS 103116630 HAS SOUPS 103116630 WITH SCORE 1.03268089524E8
AT ITER 9684 NEW BEST:: SOT 700272162 SOS 151459132 HAS SOPS 151459132 HAS SOUS 103116238 HAS SOUPS 103116238 WITH SCORE 1.03267697132E8
AT ITER 9705 NEW BEST:: SOT 700269038 SOS 151452884 HAS SOPS 151452884 HAS SOUS 103109990 HAS SOUPS 103109990 WITH SCORE 1.03261442884E8
AT ITER 9706 NEW BEST:: SOT 700256377 SOS 151443676 HAS SOPS 151443676 HAS SOUS 103101933 HAS SOUPS 103101933 WITH SCORE 1.03253376676E8
AT ITER 9734 NEW BEST:: SOT 700251749 SOS 151441362 HAS SOPS 151441362 HAS SOUS 103099619 HAS SOUPS 103099619 WITH SCORE 1.03251060362E8
AT ITER 9736 NEW BEST:: SOT 700250047 SOS 151444758 HAS SOPS 151444758 HAS SOUS 103097915 HAS SOUPS 103097915 WITH SCORE 1.03249359758E8
AT ITER 9766 NEW BEST:: SOT 700250047 SOS 151441851 HAS SOPS 151441851 HAS SOUS 103096946 HAS SOUPS 103096946 WITH SCORE 1.03248387851E8
AT ITER 9768 NEW BEST:: SOT 700249748 SOS 151441552 HAS SOPS 151441552 HAS SOUS 103096647 HAS SOUPS 103096647 WITH SCORE 1.03248088552E8
AT ITER 9805 NEW BEST:: SOT 700248109 SOS 151438274 HAS SOPS 151438274 HAS SOUS 103093369 HAS SOUPS 103093369 WITH SCORE 1.03244807274E8
AT ITER 9807 NEW BEST:: SOT 700243823 SOS 151434954 HAS SOPS 151434954 HAS SOUS 103090049 HAS SOUPS 103090049 WITH SCORE 1.03241483954E8
AT ITER 9848 NEW BEST:: SOT 700241672 SOS 151430652 HAS SOPS 151430652 HAS SOUS 103084402 HAS SOUPS 103084402 WITH SCORE 1.03235832652E8
AT ITER 9868 NEW BEST:: SOT 700237186 SOS 151408222 HAS SOPS 151408222 HAS SOUS 103075430 HAS SOUPS 103075430 WITH SCORE 1.03226838222E8
AT ITER 9883 NEW BEST:: SOT 700235137 SOS 151408080 HAS SOPS 151408080 HAS SOUS 103070015 HAS SOUPS 103070015 WITH SCORE 1.0322142308E8
AT ITER 9887 NEW BEST:: SOT 700231335 SOS 151398575 HAS SOPS 151398575 HAS SOUS 103066213 HAS SOUPS 103066213 WITH SCORE 1.03217611575E8
AT ITER 9899 NEW BEST:: SOT 700230654 SOS 151397893 HAS SOPS 151397893 HAS SOUS 103065531 HAS SOUPS 103065531 WITH SCORE 1.03216928893E8
AT ITER 9908 NEW BEST:: SOT 700230654 SOS 151397893 HAS SOPS 151397893 HAS SOUS 103060227 HAS SOUPS 103060227 WITH SCORE 1.03211624893E8
AT ITER 9922 NEW BEST:: SOT 700230575 SOS 151397735 HAS SOPS 151397735 HAS SOUS 103059690 HAS SOUPS 103059690 WITH SCORE 1.03211087735E8
AT ITER 9932 NEW BEST:: SOT 700228916 SOS 151398509 HAS SOPS 151398509 HAS SOUS 103059395 HAS SOUPS 103059395 WITH SCORE 1.03210793509E8
AT ITER 9936 NEW BEST:: SOT 700228916 SOS 151388591 HAS SOPS 151388591 HAS SOUS 103059394 HAS SOUPS 103059394 WITH SCORE 1.03210782591E8
AT ITER 9944 NEW BEST:: SOT 700228916 SOS 151385798 HAS SOPS 151385798 HAS SOUS 103059394 HAS SOUPS 103059394 WITH SCORE 1.03210779798E8
AT ITER 9946 NEW BEST:: SOT 700226866 SOS 151383748 HAS SOPS 151383748 HAS SOUS 103057344 HAS SOUPS 103057344 WITH SCORE 1.03208727748E8
AT ITER 9959 NEW BEST:: SOT 700220028 SOS 151380329 HAS SOPS 151380329 HAS SOUS 103053925 HAS SOUPS 103053925 WITH SCORE 1.03205305329E8
AT ITER 9962 NEW BEST:: SOT 700218744 SOS 151375127 HAS SOPS 151375127 HAS SOUS 103052350 HAS SOUPS 103052350 WITH SCORE 1.03203725127E8
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14379832 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16127348 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-5b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814473000856"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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