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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.9M
-rw-r--r-- 1 mcc users 3.4K Mar 31 01:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 01:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 28 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.7M 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 1589357749145

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 5b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 701900133 SOS 151343485 HAS SOPS 151343485 HAS SOUS 104876682 HAS SOUPS 104876682 WITH SCORE 1.05028025485E8
AT ITER 42 NEW BEST:: SOT 701896312 SOS 151340419 HAS SOPS 151340419 HAS SOUS 104873616 HAS SOUPS 104873616 WITH SCORE 1.05024956419E8
AT ITER 61 NEW BEST:: SOT 701892373 SOS 151337521 HAS SOPS 151337521 HAS SOUS 104870718 HAS SOUPS 104870718 WITH SCORE 1.05022055521E8
AT ITER 77 NEW BEST:: SOT 701880874 SOS 151344466 HAS SOPS 151344466 HAS SOUS 104865072 HAS SOUPS 104865072 WITH SCORE 1.05016416466E8
AT ITER 155 NEW BEST:: SOT 701877505 SOS 151341097 HAS SOPS 151341097 HAS SOUS 104861703 HAS SOUPS 104861703 WITH SCORE 1.05013044097E8
AT ITER 168 NEW BEST:: SOT 701879043 SOS 151338531 HAS SOPS 151338531 HAS SOUS 104859137 HAS SOUPS 104859137 WITH SCORE 1.05010475531E8
AT ITER 169 NEW BEST:: SOT 701877132 SOS 151336620 HAS SOPS 151336620 HAS SOUS 104857226 HAS SOUPS 104857226 WITH SCORE 1.0500856262E8
AT ITER 170 NEW BEST:: SOT 701877132 SOS 151335941 HAS SOPS 151335941 HAS SOUS 104857226 HAS SOUPS 104857226 WITH SCORE 1.05008561941E8
AT ITER 176 NEW BEST:: SOT 701877132 SOS 151336237 HAS SOPS 151336237 HAS SOUS 104857224 HAS SOUPS 104857224 WITH SCORE 1.05008560237E8
AT ITER 194 NEW BEST:: SOT 701876338 SOS 151354946 HAS SOPS 151354946 HAS SOUS 104855635 HAS SOUPS 104855635 WITH SCORE 1.05006989946E8
AT ITER 210 NEW BEST:: SOT 701875828 SOS 151354436 HAS SOPS 151354436 HAS SOUS 104855635 HAS SOUPS 104855635 WITH SCORE 1.05006989436E8
AT ITER 214 NEW BEST:: SOT 701872792 SOS 151339256 HAS SOPS 151339256 HAS SOUS 104849563 HAS SOUPS 104849563 WITH SCORE 1.05000902256E8
AT ITER 220 NEW BEST:: SOT 701872539 SOS 151338750 HAS SOPS 151338750 HAS SOUS 104846949 HAS SOUPS 104846949 WITH SCORE 1.0499828775E8
AT ITER 224 NEW BEST:: SOT 701870149 SOS 151336360 HAS SOPS 151336360 HAS SOUS 104846949 HAS SOUPS 104846949 WITH SCORE 1.0499828536E8
AT ITER 231 NEW BEST:: SOT 701872065 SOS 151340192 HAS SOPS 151340192 HAS SOUS 104844406 HAS SOUPS 104844406 WITH SCORE 1.04995746192E8
AT ITER 249 NEW BEST:: SOT 701871189 SOS 151340212 HAS SOPS 151340212 HAS SOUS 104844013 HAS SOUPS 104844013 WITH SCORE 1.04995353212E8
AT ITER 286 NEW BEST:: SOT 701871189 SOS 151340212 HAS SOPS 151340212 HAS SOUS 104843755 HAS SOUPS 104843755 WITH SCORE 1.04995095212E8
AT ITER 296 NEW BEST:: SOT 701868928 SOS 151340963 HAS SOPS 151340963 HAS SOUS 104843017 HAS SOUPS 104843017 WITH SCORE 1.04994357963E8
AT ITER 368 NEW BEST:: SOT 701870730 SOS 151361327 HAS SOPS 151361327 HAS SOUS 104841032 HAS SOUPS 104841032 WITH SCORE 1.04992393327E8
AT ITER 394 NEW BEST:: SOT 701870730 SOS 151361327 HAS SOPS 151361327 HAS SOUS 104840106 HAS SOUPS 104840106 WITH SCORE 1.04991467327E8
AT ITER 399 NEW BEST:: SOT 701858322 SOS 151348919 HAS SOPS 151348919 HAS SOUS 104827698 HAS SOUPS 104827698 WITH SCORE 1.04979046919E8
AT ITER 409 NEW BEST:: SOT 701851805 SOS 151349755 HAS SOPS 151349755 HAS SOUS 104821181 HAS SOUPS 104821181 WITH SCORE 1.04972530755E8
AT ITER 432 NEW BEST:: SOT 701851869 SOS 151348296 HAS SOPS 151348296 HAS SOUS 104819722 HAS SOUPS 104819722 WITH SCORE 1.04971070296E8
AT ITER 460 NEW BEST:: SOT 701851868 SOS 151348294 HAS SOPS 151348294 HAS SOUS 104819720 HAS SOUPS 104819720 WITH SCORE 1.04971068294E8
AT ITER 485 NEW BEST:: SOT 701851867 SOS 151348153 HAS SOPS 151348153 HAS SOUS 104819579 HAS SOUPS 104819579 WITH SCORE 1.04970927153E8
AT ITER 517 NEW BEST:: SOT 701851867 SOS 151348153 HAS SOPS 151348153 HAS SOUS 104819578 HAS SOUPS 104819578 WITH SCORE 1.04970926153E8
AT ITER 568 NEW BEST:: SOT 701851822 SOS 151348063 HAS SOPS 151348063 HAS SOUS 104819488 HAS SOUPS 104819488 WITH SCORE 1.04970836063E8
AT ITER 571 NEW BEST:: SOT 701849836 SOS 151346077 HAS SOPS 151346077 HAS SOUS 104817502 HAS SOUPS 104817502 WITH SCORE 1.04968848077E8
AT ITER 595 NEW BEST:: SOT 701844204 SOS 151340441 HAS SOPS 151340441 HAS SOUS 104811869 HAS SOUPS 104811869 WITH SCORE 1.04963209441E8
AT ITER 597 NEW BEST:: SOT 701840367 SOS 151336604 HAS SOPS 151336604 HAS SOUS 104808032 HAS SOUPS 104808032 WITH SCORE 1.04959368604E8
AT ITER 601 NEW BEST:: SOT 701838318 SOS 151326359 HAS SOPS 151326359 HAS SOUS 104803934 HAS SOUPS 104803934 WITH SCORE 1.04955260359E8
AT ITER 605 NEW BEST:: SOT 701836298 SOS 151322320 HAS SOPS 151322320 HAS SOUS 104799895 HAS SOUPS 104799895 WITH SCORE 1.0495121732E8
AT ITER 624 NEW BEST:: SOT 701833222 SOS 151316168 HAS SOPS 151316168 HAS SOUS 104793743 HAS SOUPS 104793743 WITH SCORE 1.04945059168E8
AT ITER 708 NEW BEST:: SOT 701832370 SOS 151315600 HAS SOPS 151315600 HAS SOUS 104793175 HAS SOUPS 104793175 WITH SCORE 1.049444906E8
AT ITER 710 NEW BEST:: SOT 701831359 SOS 151313578 HAS SOPS 151313578 HAS SOUS 104791153 HAS SOUPS 104791153 WITH SCORE 1.04942466578E8
AT ITER 713 NEW BEST:: SOT 701829286 SOS 151309432 HAS SOPS 151309432 HAS SOUS 104790186 HAS SOUPS 104790186 WITH SCORE 1.04941495432E8
AT ITER 742 NEW BEST:: SOT 701828987 SOS 151308834 HAS SOPS 151308834 HAS SOUS 104789588 HAS SOUPS 104789588 WITH SCORE 1.04940896834E8
AT ITER 743 NEW BEST:: SOT 701828986 SOS 151308832 HAS SOPS 151308832 HAS SOUS 104789586 HAS SOUPS 104789586 WITH SCORE 1.04940894832E8
AT ITER 746 NEW BEST:: SOT 701826238 SOS 151303336 HAS SOPS 151303336 HAS SOUS 104784090 HAS SOUPS 104784090 WITH SCORE 1.04935393336E8
AT ITER 752 NEW BEST:: SOT 701825092 SOS 151301044 HAS SOPS 151301044 HAS SOUS 104781798 HAS SOUPS 104781798 WITH SCORE 1.04933099044E8
AT ITER 755 NEW BEST:: SOT 701823127 SOS 151299079 HAS SOPS 151299079 HAS SOUS 104779833 HAS SOUPS 104779833 WITH SCORE 1.04931132079E8
AT ITER 764 NEW BEST:: SOT 701819747 SOS 151292319 HAS SOPS 151292319 HAS SOUS 104773073 HAS SOUPS 104773073 WITH SCORE 1.04924365319E8
AT ITER 790 NEW BEST:: SOT 701816581 SOS 151285986 HAS SOPS 151285986 HAS SOUS 104766740 HAS SOUPS 104766740 WITH SCORE 1.04918025986E8
AT ITER 794 NEW BEST:: SOT 701819341 SOS 151311296 HAS SOPS 151311296 HAS SOUS 104765661 HAS SOUPS 104765661 WITH SCORE 1.04916972296E8
AT ITER 800 NEW BEST:: SOT 701819341 SOS 151310297 HAS SOPS 151310297 HAS SOUS 104765661 HAS SOUPS 104765661 WITH SCORE 1.04916971297E8
AT ITER 819 NEW BEST:: SOT 701816982 SOS 151305579 HAS SOPS 151305579 HAS SOUS 104759479 HAS SOUPS 104759479 WITH SCORE 1.04910784579E8
AT ITER 824 NEW BEST:: SOT 701816388 SOS 151304390 HAS SOPS 151304390 HAS SOUS 104755685 HAS SOUPS 104755685 WITH SCORE 1.0490698939E8
AT ITER 849 NEW BEST:: SOT 701816388 SOS 151303784 HAS SOPS 151303784 HAS SOUS 104755685 HAS SOUPS 104755685 WITH SCORE 1.04906988784E8
AT ITER 859 NEW BEST:: SOT 701816388 SOS 151297022 HAS SOPS 151297022 HAS SOUS 104753431 HAS SOUPS 104753431 WITH SCORE 1.04904728022E8
AT ITER 869 NEW BEST:: SOT 701818553 SOS 151301352 HAS SOPS 151301352 HAS SOUS 104751321 HAS SOUPS 104751321 WITH SCORE 1.04902622352E8
AT ITER 884 NEW BEST:: SOT 701816627 SOS 151297500 HAS SOPS 151297500 HAS SOUS 104745578 HAS SOUPS 104745578 WITH SCORE 1.048968755E8
AT ITER 887 NEW BEST:: SOT 701816627 SOS 151297249 HAS SOPS 151297249 HAS SOUS 104745327 HAS SOUPS 104745327 WITH SCORE 1.04896624249E8
AT ITER 892 NEW BEST:: SOT 701814757 SOS 151296310 HAS SOPS 151296310 HAS SOUS 104744391 HAS SOUPS 104744391 WITH SCORE 1.0489568731E8
AT ITER 904 NEW BEST:: SOT 701814756 SOS 151296308 HAS SOPS 151296308 HAS SOUS 104744389 HAS SOUPS 104744389 WITH SCORE 1.04895685308E8
AT ITER 914 NEW BEST:: SOT 701810879 SOS 151288554 HAS SOPS 151288554 HAS SOUS 104736635 HAS SOUPS 104736635 WITH SCORE 1.04887923554E8
AT ITER 930 NEW BEST:: SOT 701810544 SOS 151288885 HAS SOPS 151288885 HAS SOUS 104736634 HAS SOUPS 104736634 WITH SCORE 1.04887922885E8
AT ITER 943 NEW BEST:: SOT 701810544 SOS 151286396 HAS SOPS 151286396 HAS SOUS 104734145 HAS SOUPS 104734145 WITH SCORE 1.04885431396E8
AT ITER 970 NEW BEST:: SOT 701808326 SOS 151281959 HAS SOPS 151281959 HAS SOUS 104729708 HAS SOUPS 104729708 WITH SCORE 1.04880989959E8
AT ITER 983 NEW BEST:: SOT 701805863 SOS 151269644 HAS SOPS 151269644 HAS SOUS 104724782 HAS SOUPS 104724782 WITH SCORE 1.04876051644E8
AT ITER 989 NEW BEST:: SOT 701805624 SOS 151269166 HAS SOPS 151269166 HAS SOUS 104724304 HAS SOUPS 104724304 WITH SCORE 1.04875573166E8
AT ITER 991 NEW BEST:: SOT 701805178 SOS 151269608 HAS SOPS 151269608 HAS SOUS 104724303 HAS SOUPS 104724303 WITH SCORE 1.04875572608E8
AT ITER 1024 NEW BEST:: SOT 701803979 SOS 151271998 HAS SOPS 151271998 HAS SOUS 104723102 HAS SOUPS 104723102 WITH SCORE 1.04874373998E8
AT ITER 1048 NEW BEST:: SOT 701803978 SOS 151271996 HAS SOPS 151271996 HAS SOUS 104723100 HAS SOUPS 104723100 WITH SCORE 1.04874371996E8
AT ITER 1061 NEW BEST:: SOT 701805262 SOS 151274564 HAS SOPS 151274564 HAS SOUS 104717778 HAS SOUPS 104717778 WITH SCORE 1.04869052564E8
AT ITER 1082 NEW BEST:: SOT 701806292 SOS 151304226 HAS SOPS 151304226 HAS SOUS 104716769 HAS SOUPS 104716769 WITH SCORE 1.04868073226E8
AT ITER 1114 NEW BEST:: SOT 701805082 SOS 151303016 HAS SOPS 151303016 HAS SOUS 104715559 HAS SOUPS 104715559 WITH SCORE 1.04866862016E8
AT ITER 1139 NEW BEST:: SOT 701800739 SOS 151294330 HAS SOPS 151294330 HAS SOUS 104706873 HAS SOUPS 104706873 WITH SCORE 1.0485816733E8
AT ITER 1143 NEW BEST:: SOT 701797222 SOS 151289677 HAS SOPS 151289677 HAS SOUS 104702220 HAS SOUPS 104702220 WITH SCORE 1.04853509677E8
AT ITER 1167 NEW BEST:: SOT 701797222 SOS 151289408 HAS SOPS 151289408 HAS SOUS 104701951 HAS SOUPS 104701951 WITH SCORE 1.04853240408E8
AT ITER 1195 NEW BEST:: SOT 701791742 SOS 151283928 HAS SOPS 151283928 HAS SOUS 104696471 HAS SOUPS 104696471 WITH SCORE 1.04847754928E8
AT ITER 1230 NEW BEST:: SOT 701788564 SOS 151280746 HAS SOPS 151280746 HAS SOUS 104693292 HAS SOUPS 104693292 WITH SCORE 1.04844572746E8
AT ITER 1234 NEW BEST:: SOT 701787347 SOS 151278312 HAS SOPS 151278312 HAS SOUS 104690858 HAS SOUPS 104690858 WITH SCORE 1.04842136312E8
AT ITER 1238 NEW BEST:: SOT 701785286 SOS 151274190 HAS SOPS 151274190 HAS SOUS 104686736 HAS SOUPS 104686736 WITH SCORE 1.0483801019E8
AT ITER 1246 NEW BEST:: SOT 701780958 SOS 151271849 HAS SOPS 151271849 HAS SOUS 104684395 HAS SOUPS 104684395 WITH SCORE 1.04835666849E8
AT ITER 1247 NEW BEST:: SOT 701751693 SOS 151266190 HAS SOPS 151266190 HAS SOUS 104672360 HAS SOUPS 104672360 WITH SCORE 1.0482362619E8
AT ITER 1304 NEW BEST:: SOT 701751692 SOS 151266188 HAS SOPS 151266188 HAS SOUS 104672358 HAS SOUPS 104672358 WITH SCORE 1.04823624188E8
AT ITER 1309 NEW BEST:: SOT 701748096 SOS 151264240 HAS SOPS 151264240 HAS SOUS 104670412 HAS SOUPS 104670412 WITH SCORE 1.0482167624E8
AT ITER 1329 NEW BEST:: SOT 701747756 SOS 151267738 HAS SOPS 151267738 HAS SOUS 104670072 HAS SOUPS 104670072 WITH SCORE 1.04821339738E8
AT ITER 1334 NEW BEST:: SOT 701747299 SOS 151268195 HAS SOPS 151268195 HAS SOUS 104669615 HAS SOUPS 104669615 WITH SCORE 1.04820883195E8
AT ITER 1341 NEW BEST:: SOT 701747520 SOS 151268637 HAS SOPS 151268637 HAS SOUS 104666139 HAS SOUPS 104666139 WITH SCORE 1.04817407637E8
AT ITER 1365 NEW BEST:: SOT 701746584 SOS 151266765 HAS SOPS 151266765 HAS SOUS 104665203 HAS SOUPS 104665203 WITH SCORE 1.04816469765E8
AT ITER 1379 NEW BEST:: SOT 701745763 SOS 151268407 HAS SOPS 151268407 HAS SOUS 104664382 HAS SOUPS 104664382 WITH SCORE 1.04815650407E8
AT ITER 1417 NEW BEST:: SOT 701745162 SOS 151267205 HAS SOPS 151267205 HAS SOUS 104663180 HAS SOUPS 104663180 WITH SCORE 1.04814447205E8
AT ITER 1421 NEW BEST:: SOT 701740934 SOS 151265091 HAS SOPS 151265091 HAS SOUS 104661066 HAS SOUPS 104661066 WITH SCORE 1.04812331091E8
AT ITER 1428 NEW BEST:: SOT 701740934 SOS 151255275 HAS SOPS 151255275 HAS SOUS 104657794 HAS SOUPS 104657794 WITH SCORE 1.04809049275E8
AT ITER 1434 NEW BEST:: SOT 701740510 SOS 151254427 HAS SOPS 151254427 HAS SOUS 104656946 HAS SOUPS 104656946 WITH SCORE 1.04808200427E8
AT ITER 1469 NEW BEST:: SOT 701719423 SOS 151239091 HAS SOPS 151239091 HAS SOUS 104643527 HAS SOUPS 104643527 WITH SCORE 1.04794766091E8
AT ITER 1478 NEW BEST:: SOT 701719163 SOS 151238831 HAS SOPS 151238831 HAS SOUS 104643267 HAS SOUPS 104643267 WITH SCORE 1.04794505831E8
AT ITER 1479 NEW BEST:: SOT 701713279 SOS 151232943 HAS SOPS 151232943 HAS SOUS 104637382 HAS SOUPS 104637382 WITH SCORE 1.04788614943E8
AT ITER 1487 NEW BEST:: SOT 701709448 SOS 151242446 HAS SOPS 151242446 HAS SOUS 104629719 HAS SOUPS 104629719 WITH SCORE 1.04780961446E8
AT ITER 1492 NEW BEST:: SOT 701697529 SOS 151249168 HAS SOPS 151249168 HAS SOUS 104629378 HAS SOUPS 104629378 WITH SCORE 1.04780627168E8
AT ITER 1493 NEW BEST:: SOT 701697529 SOS 151244149 HAS SOPS 151244149 HAS SOUS 104627705 HAS SOUPS 104627705 WITH SCORE 1.04778949149E8
AT ITER 1522 NEW BEST:: SOT 701696278 SOS 151241647 HAS SOPS 151241647 HAS SOUS 104626454 HAS SOUPS 104626454 WITH SCORE 1.04777695647E8
AT ITER 1535 NEW BEST:: SOT 701695583 SOS 151240257 HAS SOPS 151240257 HAS SOUS 104625064 HAS SOUPS 104625064 WITH SCORE 1.04776304257E8
AT ITER 1541 NEW BEST:: SOT 701696526 SOS 151230560 HAS SOPS 151230560 HAS SOUS 104622617 HAS SOUPS 104622617 WITH SCORE 1.0477384756E8
AT ITER 1553 NEW BEST:: SOT 701656805 SOS 151201672 HAS SOPS 151201672 HAS SOUS 104597340 HAS SOUPS 104597340 WITH SCORE 1.04748541672E8
AT ITER 1564 NEW BEST:: SOT 701656088 SOS 151200238 HAS SOPS 151200238 HAS SOUS 104595906 HAS SOUPS 104595906 WITH SCORE 1.04747106238E8
AT ITER 1575 NEW BEST:: SOT 701651929 SOS 151191920 HAS SOPS 151191920 HAS SOUS 104587588 HAS SOUPS 104587588 WITH SCORE 1.0473877992E8
AT ITER 1602 NEW BEST:: SOT 701647564 SOS 151187551 HAS SOPS 151187551 HAS SOUS 104583222 HAS SOUPS 104583222 WITH SCORE 1.04734409551E8
AT ITER 1623 NEW BEST:: SOT 701644239 SOS 151186196 HAS SOPS 151186196 HAS SOUS 104581867 HAS SOUPS 104581867 WITH SCORE 1.04733053196E8
AT ITER 1629 NEW BEST:: SOT 701643890 SOS 151186545 HAS SOPS 151186545 HAS SOUS 104581518 HAS SOUPS 104581518 WITH SCORE 1.04732704545E8
AT ITER 1642 NEW BEST:: SOT 701642265 SOS 151189787 HAS SOPS 151189787 HAS SOUS 104579891 HAS SOUPS 104579891 WITH SCORE 1.04731080787E8
AT ITER 1643 NEW BEST:: SOT 701630485 SOS 151172117 HAS SOPS 151172117 HAS SOUS 104562221 HAS SOUPS 104562221 WITH SCORE 1.04713393117E8
AT ITER 1681 NEW BEST:: SOT 701626285 SOS 151167913 HAS SOPS 151167913 HAS SOUS 104558020 HAS SOUPS 104558020 WITH SCORE 1.04709187913E8
AT ITER 1686 NEW BEST:: SOT 701623413 SOS 151165041 HAS SOPS 151165041 HAS SOUS 104555148 HAS SOUPS 104555148 WITH SCORE 1.04706313041E8
AT ITER 1691 NEW BEST:: SOT 701622745 SOS 151163705 HAS SOPS 151163705 HAS SOUS 104553812 HAS SOUPS 104553812 WITH SCORE 1.04704975705E8
AT ITER 1718 NEW BEST:: SOT 701620024 SOS 151182752 HAS SOPS 151182752 HAS SOUS 104551091 HAS SOUPS 104551091 WITH SCORE 1.04702273752E8
AT ITER 1726 NEW BEST:: SOT 701616196 SOS 151179642 HAS SOPS 151179642 HAS SOUS 104547263 HAS SOUPS 104547263 WITH SCORE 1.04698442642E8
AT ITER 1752 NEW BEST:: SOT 701614904 SOS 151179638 HAS SOPS 151179638 HAS SOUS 104547262 HAS SOUPS 104547262 WITH SCORE 1.04698441638E8
AT ITER 1761 NEW BEST:: SOT 701614904 SOS 151179366 HAS SOPS 151179366 HAS SOUS 104547126 HAS SOUPS 104547126 WITH SCORE 1.04698305366E8
AT ITER 1785 NEW BEST:: SOT 701607064 SOS 151175446 HAS SOPS 151175446 HAS SOUS 104543206 HAS SOUPS 104543206 WITH SCORE 1.04694381446E8
AT ITER 1789 NEW BEST:: SOT 701607063 SOS 151175444 HAS SOPS 151175444 HAS SOUS 104543204 HAS SOUPS 104543204 WITH SCORE 1.04694379444E8
AT ITER 1798 NEW BEST:: SOT 701606749 SOS 151175329 HAS SOPS 151175329 HAS SOUS 104542990 HAS SOUPS 104542990 WITH SCORE 1.04694165329E8
AT ITER 1827 NEW BEST:: SOT 701602265 SOS 151171354 HAS SOPS 151171354 HAS SOUS 104539015 HAS SOUPS 104539015 WITH SCORE 1.04690186354E8
AT ITER 1828 NEW BEST:: SOT 701600523 SOS 151170483 HAS SOPS 151170483 HAS SOUS 104538144 HAS SOUPS 104538144 WITH SCORE 1.04689314483E8
AT ITER 1830 NEW BEST:: SOT 701600523 SOS 151170483 HAS SOPS 151170483 HAS SOUS 104532506 HAS SOUPS 104532506 WITH SCORE 1.04683676483E8
AT ITER 1846 NEW BEST:: SOT 701600523 SOS 151170203 HAS SOPS 151170203 HAS SOUS 104532226 HAS SOUPS 104532226 WITH SCORE 1.04683396203E8
AT ITER 1847 NEW BEST:: SOT 701598027 SOS 151157723 HAS SOPS 151157723 HAS SOUS 104527234 HAS SOUPS 104527234 WITH SCORE 1.04678391723E8
AT ITER 1856 NEW BEST:: SOT 701596164 SOS 151153997 HAS SOPS 151153997 HAS SOUS 104522961 HAS SOUPS 104522961 WITH SCORE 1.04674114997E8
AT ITER 1863 NEW BEST:: SOT 701598010 SOS 151157689 HAS SOPS 151157689 HAS SOUS 104521162 HAS SOUPS 104521162 WITH SCORE 1.04672319689E8
AT ITER 1885 NEW BEST:: SOT 701598009 SOS 151157105 HAS SOPS 151157105 HAS SOUS 104520578 HAS SOUPS 104520578 WITH SCORE 1.04671735105E8
AT ITER 1891 NEW BEST:: SOT 701596896 SOS 151155992 HAS SOPS 151155992 HAS SOUS 104519465 HAS SOUPS 104519465 WITH SCORE 1.04670620992E8
AT ITER 1905 NEW BEST:: SOT 701596896 SOS 151155992 HAS SOPS 151155992 HAS SOUS 104519464 HAS SOUPS 104519464 WITH SCORE 1.04670619992E8
AT ITER 1915 NEW BEST:: SOT 701596896 SOS 151154984 HAS SOPS 151154984 HAS SOUS 104518456 HAS SOUPS 104518456 WITH SCORE 1.04669610984E8
AT ITER 1923 NEW BEST:: SOT 701595981 SOS 151154116 HAS SOPS 151154116 HAS SOUS 104517562 HAS SOUPS 104517562 WITH SCORE 1.04668716116E8
AT ITER 1960 NEW BEST:: SOT 701589619 SOS 151146174 HAS SOPS 151146174 HAS SOUS 104516326 HAS SOUPS 104516326 WITH SCORE 1.04667472174E8
AT ITER 1979 NEW BEST:: SOT 701588901 SOS 151144738 HAS SOPS 151144738 HAS SOUS 104511895 HAS SOUPS 104511895 WITH SCORE 1.04663039738E8
AT ITER 1990 NEW BEST:: SOT 701586116 SOS 151139168 HAS SOPS 151139168 HAS SOUS 104506325 HAS SOUPS 104506325 WITH SCORE 1.04657464168E8
AT ITER 2027 NEW BEST:: SOT 701584178 SOS 151137230 HAS SOPS 151137230 HAS SOUS 104504387 HAS SOUPS 104504387 WITH SCORE 1.0465552423E8
AT ITER 2034 NEW BEST:: SOT 701581724 SOS 151147058 HAS SOPS 151147058 HAS SOUS 104501933 HAS SOUPS 104501933 WITH SCORE 1.04653080058E8
AT ITER 2037 NEW BEST:: SOT 701581642 SOS 151146894 HAS SOPS 151146894 HAS SOUS 104501769 HAS SOUPS 104501769 WITH SCORE 1.04652915894E8
AT ITER 2038 NEW BEST:: SOT 701577140 SOS 151142388 HAS SOPS 151142388 HAS SOUS 104497266 HAS SOUPS 104497266 WITH SCORE 1.04648408388E8
AT ITER 2058 NEW BEST:: SOT 701577139 SOS 151142131 HAS SOPS 151142131 HAS SOUS 104497009 HAS SOUPS 104497009 WITH SCORE 1.04648151131E8
AT ITER 2076 NEW BEST:: SOT 701576906 SOS 151141665 HAS SOPS 151141665 HAS SOUS 104496543 HAS SOUPS 104496543 WITH SCORE 1.04647684665E8
AT ITER 2129 NEW BEST:: SOT 701576922 SOS 151137437 HAS SOPS 151137437 HAS SOUS 104494434 HAS SOUPS 104494434 WITH SCORE 1.04645571437E8
AT ITER 2161 NEW BEST:: SOT 701574618 SOS 151132829 HAS SOPS 151132829 HAS SOUS 104493403 HAS SOUPS 104493403 WITH SCORE 1.04644535829E8
AT ITER 2228 NEW BEST:: SOT 701574618 SOS 151129130 HAS SOPS 151129130 HAS SOUS 104492348 HAS SOUPS 104492348 WITH SCORE 1.0464347713E8
AT ITER 2233 NEW BEST:: SOT 701577296 SOS 151134486 HAS SOPS 151134486 HAS SOUS 104489838 HAS SOUPS 104489838 WITH SCORE 1.04640972486E8
AT ITER 2252 NEW BEST:: SOT 701574561 SOS 151131751 HAS SOPS 151131751 HAS SOUS 104487103 HAS SOUPS 104487103 WITH SCORE 1.04638234751E8
AT ITER 2260 NEW BEST:: SOT 701573215 SOS 151130405 HAS SOPS 151130405 HAS SOUS 104485757 HAS SOUPS 104485757 WITH SCORE 1.04636887405E8
AT ITER 2295 NEW BEST:: SOT 701573080 SOS 151129865 HAS SOPS 151129865 HAS SOUS 104485622 HAS SOUPS 104485622 WITH SCORE 1.04636751865E8
AT ITER 2309 NEW BEST:: SOT 701570788 SOS 151127569 HAS SOPS 151127569 HAS SOUS 104483329 HAS SOUPS 104483329 WITH SCORE 1.04634456569E8
AT ITER 2313 NEW BEST:: SOT 701566805 SOS 151123586 HAS SOPS 151123586 HAS SOUS 104479346 HAS SOUPS 104479346 WITH SCORE 1.04630469586E8
AT ITER 2315 NEW BEST:: SOT 701563352 SOS 151128709 HAS SOPS 151128709 HAS SOUS 104472245 HAS SOUPS 104472245 WITH SCORE 1.04623373709E8
AT ITER 2331 NEW BEST:: SOT 701563352 SOS 151125635 HAS SOPS 151125635 HAS SOUS 104470708 HAS SOUPS 104470708 WITH SCORE 1.04621833635E8
AT ITER 2337 NEW BEST:: SOT 701559445 SOS 151117821 HAS SOPS 151117821 HAS SOUS 104462894 HAS SOUPS 104462894 WITH SCORE 1.04614011821E8
AT ITER 2341 NEW BEST:: SOT 701557925 SOS 151117061 HAS SOPS 151117061 HAS SOUS 104462134 HAS SOUPS 104462134 WITH SCORE 1.04613251061E8
AT ITER 2344 NEW BEST:: SOT 701557265 SOS 151115741 HAS SOPS 151115741 HAS SOUS 104460814 HAS SOUPS 104460814 WITH SCORE 1.04611929741E8
AT ITER 2350 NEW BEST:: SOT 701555582 SOS 151119099 HAS SOPS 151119099 HAS SOUS 104459129 HAS SOUPS 104459129 WITH SCORE 1.04610248099E8
AT ITER 2357 NEW BEST:: SOT 701522240 SOS 151099161 HAS SOPS 151099161 HAS SOUS 104442482 HAS SOUPS 104442482 WITH SCORE 1.04593581161E8
AT ITER 2384 NEW BEST:: SOT 701522240 SOS 151091847 HAS SOPS 151091847 HAS SOUS 104440044 HAS SOUPS 104440044 WITH SCORE 1.04591135847E8
AT ITER 2389 NEW BEST:: SOT 701522239 SOS 151091845 HAS SOPS 151091845 HAS SOUS 104440042 HAS SOUPS 104440042 WITH SCORE 1.04591133845E8
AT ITER 2415 NEW BEST:: SOT 701519787 SOS 151086941 HAS SOPS 151086941 HAS SOUS 104432291 HAS SOUPS 104432291 WITH SCORE 1.04583377941E8
AT ITER 2441 NEW BEST:: SOT 701517077 SOS 151084545 HAS SOPS 151084545 HAS SOUS 104429895 HAS SOUPS 104429895 WITH SCORE 1.04580979545E8
AT ITER 2454 NEW BEST:: SOT 701515908 SOS 151082207 HAS SOPS 151082207 HAS SOUS 104427557 HAS SOUPS 104427557 WITH SCORE 1.04578639207E8
AT ITER 2471 NEW BEST:: SOT 701511519 SOS 151078817 HAS SOPS 151078817 HAS SOUS 104424170 HAS SOUPS 104424170 WITH SCORE 1.04575248817E8
AT ITER 2474 NEW BEST:: SOT 701503019 SOS 151074567 HAS SOPS 151074567 HAS SOUS 104419920 HAS SOUPS 104419920 WITH SCORE 1.04570994567E8
AT ITER 2496 NEW BEST:: SOT 701499966 SOS 151055195 HAS SOPS 151055195 HAS SOUS 104413814 HAS SOUPS 104413814 WITH SCORE 1.04564869195E8
AT ITER 2523 NEW BEST:: SOT 701498021 SOS 151068810 HAS SOPS 151068810 HAS SOUS 104411869 HAS SOUPS 104411869 WITH SCORE 1.0456293781E8
AT ITER 2529 NEW BEST:: SOT 701498021 SOS 151068810 HAS SOPS 151068810 HAS SOUS 104411867 HAS SOUPS 104411867 WITH SCORE 1.0456293581E8
AT ITER 2533 NEW BEST:: SOT 701496553 SOS 151068207 HAS SOPS 151068207 HAS SOUS 104411267 HAS SOUPS 104411267 WITH SCORE 1.04562335207E8
AT ITER 2599 NEW BEST:: SOT 701493138 SOS 151061377 HAS SOPS 151061377 HAS SOUS 104407852 HAS SOUPS 104407852 WITH SCORE 1.04558913377E8
AT ITER 2600 NEW BEST:: SOT 701492340 SOS 151059781 HAS SOPS 151059781 HAS SOUS 104407053 HAS SOUPS 104407053 WITH SCORE 1.04558112781E8
AT ITER 2610 NEW BEST:: SOT 701489432 SOS 151045241 HAS SOPS 151045241 HAS SOUS 104401237 HAS SOUPS 104401237 WITH SCORE 1.04552282241E8
AT ITER 2617 NEW BEST:: SOT 701487596 SOS 151043405 HAS SOPS 151043405 HAS SOUS 104399401 HAS SOUPS 104399401 WITH SCORE 1.04550444405E8
AT ITER 2619 NEW BEST:: SOT 701483715 SOS 151039524 HAS SOPS 151039524 HAS SOUS 104395520 HAS SOUPS 104395520 WITH SCORE 1.04546559524E8
AT ITER 2631 NEW BEST:: SOT 701480477 SOS 151033048 HAS SOPS 151033048 HAS SOUS 104389044 HAS SOUPS 104389044 WITH SCORE 1.04540077048E8
AT ITER 2664 NEW BEST:: SOT 701479377 SOS 151030848 HAS SOPS 151030848 HAS SOUS 104386844 HAS SOUPS 104386844 WITH SCORE 1.04537874848E8
AT ITER 2680 NEW BEST:: SOT 701479376 SOS 151033509 HAS SOPS 151033509 HAS SOUS 104386841 HAS SOUPS 104386841 WITH SCORE 1.04537874509E8
AT ITER 2686 NEW BEST:: SOT 701476994 SOS 151035887 HAS SOPS 151035887 HAS SOUS 104382076 HAS SOUPS 104382076 WITH SCORE 1.04533111887E8
AT ITER 2735 NEW BEST:: SOT 701476705 SOS 151034731 HAS SOPS 151034731 HAS SOUS 104381787 HAS SOUPS 104381787 WITH SCORE 1.04532821731E8
AT ITER 2776 NEW BEST:: SOT 701473212 SOS 151033890 HAS SOPS 151033890 HAS SOUS 104380946 HAS SOUPS 104380946 WITH SCORE 1.0453197989E8
AT ITER 2798 NEW BEST:: SOT 701465658 SOS 151033479 HAS SOPS 151033479 HAS SOUS 104378291 HAS SOUPS 104378291 WITH SCORE 1.04529324479E8
AT ITER 2801 NEW BEST:: SOT 701448470 SOS 151004427 HAS SOPS 151004427 HAS SOUS 104357103 HAS SOUPS 104357103 WITH SCORE 1.04508107427E8
AT ITER 2809 NEW BEST:: SOT 701448470 SOS 151004427 HAS SOPS 151004427 HAS SOUS 104357102 HAS SOUPS 104357102 WITH SCORE 1.04508106427E8
AT ITER 2839 NEW BEST:: SOT 701440264 SOS 150998459 HAS SOPS 150998459 HAS SOUS 104351880 HAS SOUPS 104351880 WITH SCORE 1.04502878459E8
AT ITER 2862 NEW BEST:: SOT 701430368 SOS 151005532 HAS SOPS 151005532 HAS SOUS 104350637 HAS SOUPS 104350637 WITH SCORE 1.04501642532E8
AT ITER 2895 NEW BEST:: SOT 701429556 SOS 150990426 HAS SOPS 150990426 HAS SOUS 104345011 HAS SOUPS 104345011 WITH SCORE 1.04496001426E8
AT ITER 2899 NEW BEST:: SOT 701429556 SOS 150987630 HAS SOPS 150987630 HAS SOUS 104345011 HAS SOUPS 104345011 WITH SCORE 1.0449599863E8
AT ITER 2901 NEW BEST:: SOT 701429556 SOS 150986232 HAS SOPS 150986232 HAS SOUS 104345011 HAS SOUPS 104345011 WITH SCORE 1.04495997232E8
AT ITER 2924 NEW BEST:: SOT 701429344 SOS 150985808 HAS SOPS 150985808 HAS SOUS 104344587 HAS SOUPS 104344587 WITH SCORE 1.04495572808E8
AT ITER 2939 NEW BEST:: SOT 701428596 SOS 150986556 HAS SOPS 150986556 HAS SOUS 104343839 HAS SOUPS 104343839 WITH SCORE 1.04494825556E8
AT ITER 2943 NEW BEST:: SOT 701429016 SOS 150987396 HAS SOPS 150987396 HAS SOUS 104341764 HAS SOUPS 104341764 WITH SCORE 1.04492751396E8
AT ITER 2951 NEW BEST:: SOT 701429016 SOS 150987396 HAS SOPS 150987396 HAS SOUS 104341763 HAS SOUPS 104341763 WITH SCORE 1.04492750396E8
AT ITER 2971 NEW BEST:: SOT 701427045 SOS 150983454 HAS SOPS 150983454 HAS SOUS 104337821 HAS SOUPS 104337821 WITH SCORE 1.04488804454E8
AT ITER 2989 NEW BEST:: SOT 701425359 SOS 150995246 HAS SOPS 150995246 HAS SOUS 104334448 HAS SOUPS 104334448 WITH SCORE 1.04485443246E8
AT ITER 3038 NEW BEST:: SOT 701421868 SOS 150988264 HAS SOPS 150988264 HAS SOUS 104327466 HAS SOUPS 104327466 WITH SCORE 1.04478454264E8
AT ITER 3042 NEW BEST:: SOT 701417878 SOS 150984274 HAS SOPS 150984274 HAS SOUS 104323476 HAS SOUPS 104323476 WITH SCORE 1.04474460274E8
AT ITER 3050 NEW BEST:: SOT 701403426 SOS 150986930 HAS SOPS 150986930 HAS SOUS 104317656 HAS SOUPS 104317656 WITH SCORE 1.0446864293E8
AT ITER 3064 NEW BEST:: SOT 701396310 SOS 150978437 HAS SOPS 150978437 HAS SOUS 104307092 HAS SOUPS 104307092 WITH SCORE 1.04458070437E8
AT ITER 3078 NEW BEST:: SOT 701396847 SOS 150979511 HAS SOPS 150979511 HAS SOUS 104300279 HAS SOUPS 104300279 WITH SCORE 1.04451258511E8
AT ITER 3080 NEW BEST:: SOT 701388761 SOS 150975468 HAS SOPS 150975468 HAS SOUS 104296236 HAS SOUPS 104296236 WITH SCORE 1.04447211468E8
AT ITER 3082 NEW BEST:: SOT 701390688 SOS 150996301 HAS SOPS 150996301 HAS SOUS 104294428 HAS SOUPS 104294428 WITH SCORE 1.04445424301E8
AT ITER 3087 NEW BEST:: SOT 701385220 SOS 150994767 HAS SOPS 150994767 HAS SOUS 104292894 HAS SOUPS 104292894 WITH SCORE 1.04443888767E8
AT ITER 3119 NEW BEST:: SOT 701384660 SOS 150994487 HAS SOPS 150994487 HAS SOUS 104292614 HAS SOUPS 104292614 WITH SCORE 1.04443608487E8
AT ITER 3120 NEW BEST:: SOT 701382064 SOS 150989295 HAS SOPS 150989295 HAS SOUS 104286196 HAS SOUPS 104286196 WITH SCORE 1.04437185295E8
AT ITER 3127 NEW BEST:: SOT 701381210 SOS 150988441 HAS SOPS 150988441 HAS SOUS 104285342 HAS SOUPS 104285342 WITH SCORE 1.04436330441E8
AT ITER 3134 NEW BEST:: SOT 701377418 SOS 150985636 HAS SOPS 150985636 HAS SOUS 104282537 HAS SOUPS 104282537 WITH SCORE 1.04433522636E8
AT ITER 3153 NEW BEST:: SOT 701377253 SOS 150985306 HAS SOPS 150985306 HAS SOUS 104279954 HAS SOUPS 104279954 WITH SCORE 1.04430939306E8
AT ITER 3166 NEW BEST:: SOT 701371942 SOS 150958751 HAS SOPS 150958751 HAS SOUS 104269332 HAS SOUPS 104269332 WITH SCORE 1.04420290751E8
AT ITER 3173 NEW BEST:: SOT 701368370 SOS 150955179 HAS SOPS 150955179 HAS SOUS 104265760 HAS SOUPS 104265760 WITH SCORE 1.04416715179E8
AT ITER 3181 NEW BEST:: SOT 701178434 SOS 152690343 HAS SOPS 152690343 HAS SOUS 104092087 HAS SOUPS 104092087 WITH SCORE 1.04244777343E8
AT ITER 3225 NEW BEST:: SOT 701173976 SOS 152686044 HAS SOPS 152686044 HAS SOUS 104087791 HAS SOUPS 104087791 WITH SCORE 1.04240477044E8
AT ITER 3256 NEW BEST:: SOT 701173976 SOS 152680929 HAS SOPS 152680929 HAS SOUS 104086086 HAS SOUPS 104086086 WITH SCORE 1.04238766929E8
AT ITER 3260 NEW BEST:: SOT 701168556 SOS 152653829 HAS SOPS 152653829 HAS SOUS 104075246 HAS SOUPS 104075246 WITH SCORE 1.04227899829E8
AT ITER 3261 NEW BEST:: SOT 701168555 SOS 152652494 HAS SOPS 152652494 HAS SOUS 104073911 HAS SOUPS 104073911 WITH SCORE 1.04226563494E8
AT ITER 3263 NEW BEST:: SOT 701168555 SOS 152652162 HAS SOPS 152652162 HAS SOUS 104073579 HAS SOUPS 104073579 WITH SCORE 1.04226231162E8
AT ITER 3282 NEW BEST:: SOT 701168555 SOS 152647965 HAS SOPS 152647965 HAS SOUS 104072180 HAS SOUPS 104072180 WITH SCORE 1.04224827965E8
AT ITER 3285 NEW BEST:: SOT 701168555 SOS 152643278 HAS SOPS 152643278 HAS SOUS 104070466 HAS SOUPS 104070466 WITH SCORE 1.04223109278E8
AT ITER 3286 NEW BEST:: SOT 701166795 SOS 152641517 HAS SOPS 152641517 HAS SOUS 104068705 HAS SOUPS 104068705 WITH SCORE 1.04221346517E8
AT ITER 3304 NEW BEST:: SOT 701165708 SOS 152639343 HAS SOPS 152639343 HAS SOUS 104066531 HAS SOUPS 104066531 WITH SCORE 1.04219170343E8
AT ITER 3335 NEW BEST:: SOT 701165708 SOS 152639343 HAS SOPS 152639343 HAS SOUS 104066530 HAS SOUPS 104066530 WITH SCORE 1.04219169343E8
AT ITER 3355 NEW BEST:: SOT 701165707 SOS 152638960 HAS SOPS 152638960 HAS SOUS 104066147 HAS SOUPS 104066147 WITH SCORE 1.0421878596E8
AT ITER 3473 NEW BEST:: SOT 701164876 SOS 152638129 HAS SOPS 152638129 HAS SOUS 104065316 HAS SOUPS 104065316 WITH SCORE 1.04217954129E8
AT ITER 3479 NEW BEST:: SOT 701164876 SOS 152637891 HAS SOPS 152637891 HAS SOUS 104065078 HAS SOUPS 104065078 WITH SCORE 1.04217715891E8
AT ITER 3482 NEW BEST:: SOT 701164876 SOS 152631198 HAS SOPS 152631198 HAS SOUS 104062847 HAS SOUPS 104062847 WITH SCORE 1.04215478198E8
AT ITER 3483 NEW BEST:: SOT 701164876 SOS 152628045 HAS SOPS 152628045 HAS SOUS 104061796 HAS SOUPS 104061796 WITH SCORE 1.04214424045E8
AT ITER 3494 NEW BEST:: SOT 701165961 SOS 152630215 HAS SOPS 152630215 HAS SOUS 104056087 HAS SOUPS 104056087 WITH SCORE 1.04208717215E8
AT ITER 3550 NEW BEST:: SOT 701164979 SOS 152628251 HAS SOPS 152628251 HAS SOUS 104054123 HAS SOUPS 104054123 WITH SCORE 1.04206751251E8
AT ITER 3615 NEW BEST:: SOT 701157829 SOS 152623051 HAS SOPS 152623051 HAS SOUS 104049573 HAS SOUPS 104049573 WITH SCORE 1.04202196051E8
AT ITER 3616 NEW BEST:: SOT 701155307 SOS 152618007 HAS SOPS 152618007 HAS SOUS 104043712 HAS SOUPS 104043712 WITH SCORE 1.04196330007E8
AT ITER 3625 NEW BEST:: SOT 701150817 SOS 152614051 HAS SOPS 152614051 HAS SOUS 104039759 HAS SOUPS 104039759 WITH SCORE 1.04192373051E8
AT ITER 3632 NEW BEST:: SOT 701147960 SOS 152608337 HAS SOPS 152608337 HAS SOUS 104034045 HAS SOUPS 104034045 WITH SCORE 1.04186653337E8
AT ITER 3634 NEW BEST:: SOT 701147560 SOS 152607537 HAS SOPS 152607537 HAS SOUS 104033245 HAS SOUPS 104033245 WITH SCORE 1.04185852537E8
AT ITER 3639 NEW BEST:: SOT 701149505 SOS 152611427 HAS SOPS 152611427 HAS SOUS 104029157 HAS SOUPS 104029157 WITH SCORE 1.04181768427E8
AT ITER 3669 NEW BEST:: SOT 701147092 SOS 152606601 HAS SOPS 152606601 HAS SOUS 104024331 HAS SOUPS 104024331 WITH SCORE 1.04176937601E8
AT ITER 3671 NEW BEST:: SOT 701146093 SOS 152604599 HAS SOPS 152604599 HAS SOUS 104022332 HAS SOUPS 104022332 WITH SCORE 1.04174936599E8
AT ITER 3709 NEW BEST:: SOT 701146894 SOS 152585228 HAS SOPS 152585228 HAS SOUS 104018595 HAS SOUPS 104018595 WITH SCORE 1.04171180228E8
AT ITER 3715 NEW BEST:: SOT 701145166 SOS 152581772 HAS SOPS 152581772 HAS SOUS 104013046 HAS SOUPS 104013046 WITH SCORE 1.04165627772E8
AT ITER 3733 NEW BEST:: SOT 701146357 SOS 152580392 HAS SOPS 152580392 HAS SOUS 104012951 HAS SOUPS 104012951 WITH SCORE 1.04165531392E8
AT ITER 3736 NEW BEST:: SOT 701143866 SOS 152575410 HAS SOPS 152575410 HAS SOUS 104011273 HAS SOUPS 104011273 WITH SCORE 1.0416384841E8
AT ITER 3778 NEW BEST:: SOT 701143920 SOS 152583060 HAS SOPS 152583060 HAS SOUS 104007585 HAS SOUPS 104007585 WITH SCORE 1.0416016806E8
AT ITER 3800 NEW BEST:: SOT 701139720 SOS 152583059 HAS SOPS 152583059 HAS SOUS 104007584 HAS SOUPS 104007584 WITH SCORE 1.04160167059E8
AT ITER 3801 NEW BEST:: SOT 701142057 SOS 152580720 HAS SOPS 152580720 HAS SOUS 104007583 HAS SOUPS 104007583 WITH SCORE 1.0416016372E8
AT ITER 3864 NEW BEST:: SOT 701141287 SOS 152579180 HAS SOPS 152579180 HAS SOUS 104006043 HAS SOUPS 104006043 WITH SCORE 1.0415862218E8
AT ITER 3874 NEW BEST:: SOT 701137195 SOS 152576111 HAS SOPS 152576111 HAS SOUS 104003315 HAS SOUPS 104003315 WITH SCORE 1.04155891111E8
AT ITER 3882 NEW BEST:: SOT 701134099 SOS 152573219 HAS SOPS 152573219 HAS SOUS 104000219 HAS SOUPS 104000219 WITH SCORE 1.04152792219E8
AT ITER 3884 NEW BEST:: SOT 701129808 SOS 152569366 HAS SOPS 152569366 HAS SOUS 103996366 HAS SOUPS 103996366 WITH SCORE 1.04148935366E8
AT ITER 3941 NEW BEST:: SOT 701124924 SOS 152564482 HAS SOPS 152564482 HAS SOUS 103991482 HAS SOUPS 103991482 WITH SCORE 1.04144046482E8
AT ITER 3954 NEW BEST:: SOT 701123556 SOS 152561746 HAS SOPS 152561746 HAS SOUS 103988746 HAS SOUPS 103988746 WITH SCORE 1.04141307746E8
AT ITER 3979 NEW BEST:: SOT 701120171 SOS 152554976 HAS SOPS 152554976 HAS SOUS 103981976 HAS SOUPS 103981976 WITH SCORE 1.04134530976E8
AT ITER 3992 NEW BEST:: SOT 701119025 SOS 152554368 HAS SOPS 152554368 HAS SOUS 103981368 HAS SOUPS 103981368 WITH SCORE 1.04133922368E8
AT ITER 4004 NEW BEST:: SOT 701115500 SOS 152547318 HAS SOPS 152547318 HAS SOUS 103974318 HAS SOUPS 103974318 WITH SCORE 1.04126865318E8
AT ITER 4026 NEW BEST:: SOT 701109540 SOS 152539868 HAS SOPS 152539868 HAS SOUS 103973154 HAS SOUPS 103973154 WITH SCORE 1.04125693868E8
AT ITER 4037 NEW BEST:: SOT 701109540 SOS 152539868 HAS SOPS 152539868 HAS SOUS 103971589 HAS SOUPS 103971589 WITH SCORE 1.04124128868E8
AT ITER 4043 NEW BEST:: SOT 701106865 SOS 152534518 HAS SOPS 152534518 HAS SOUS 103966239 HAS SOUPS 103966239 WITH SCORE 1.04118773518E8
AT ITER 4045 NEW BEST:: SOT 701106366 SOS 152533520 HAS SOPS 152533520 HAS SOUS 103965241 HAS SOUPS 103965241 WITH SCORE 1.0411777452E8
AT ITER 4049 NEW BEST:: SOT 701106365 SOS 152533518 HAS SOPS 152533518 HAS SOUS 103965239 HAS SOUPS 103965239 WITH SCORE 1.04117772518E8
AT ITER 4056 NEW BEST:: SOT 701104782 SOS 152544599 HAS SOPS 152544599 HAS SOUS 103963656 HAS SOUPS 103963656 WITH SCORE 1.04116200599E8
AT ITER 4079 NEW BEST:: SOT 701104782 SOS 152541308 HAS SOPS 152541308 HAS SOUS 103960365 HAS SOUPS 103960365 WITH SCORE 1.04112906308E8
AT ITER 4139 NEW BEST:: SOT 701097894 SOS 152537864 HAS SOPS 152537864 HAS SOUS 103956921 HAS SOUPS 103956921 WITH SCORE 1.04109458864E8
AT ITER 4175 NEW BEST:: SOT 701096612 SOS 152535300 HAS SOPS 152535300 HAS SOUS 103954357 HAS SOUPS 103954357 WITH SCORE 1.041068923E8
AT ITER 4187 NEW BEST:: SOT 701090666 SOS 152523408 HAS SOPS 152523408 HAS SOUS 103942465 HAS SOUPS 103942465 WITH SCORE 1.04094988408E8
AT ITER 4189 NEW BEST:: SOT 701085527 SOS 152559381 HAS SOPS 152559381 HAS SOUS 103937326 HAS SOUPS 103937326 WITH SCORE 1.04089885381E8
AT ITER 4194 NEW BEST:: SOT 701086782 SOS 152550299 HAS SOPS 152550299 HAS SOUS 103935344 HAS SOUPS 103935344 WITH SCORE 1.04087894299E8
AT ITER 4205 NEW BEST:: SOT 701079987 SOS 152546081 HAS SOPS 152546081 HAS SOUS 103933021 HAS SOUPS 103933021 WITH SCORE 1.04085567081E8
AT ITER 4220 NEW BEST:: SOT 701077201 SOS 152540509 HAS SOPS 152540509 HAS SOUS 103927449 HAS SOUPS 103927449 WITH SCORE 1.04079989509E8
AT ITER 4224 NEW BEST:: SOT 701073648 SOS 152536956 HAS SOPS 152536956 HAS SOUS 103923896 HAS SOUPS 103923896 WITH SCORE 1.04076432956E8
AT ITER 4231 NEW BEST:: SOT 701069994 SOS 152529648 HAS SOPS 152529648 HAS SOUS 103916588 HAS SOUPS 103916588 WITH SCORE 1.04069117648E8
AT ITER 4233 NEW BEST:: SOT 701067860 SOS 152551074 HAS SOPS 152551074 HAS SOUS 103912319 HAS SOUPS 103912319 WITH SCORE 1.04064870074E8
AT ITER 4249 NEW BEST:: SOT 701065900 SOS 152552238 HAS SOPS 152552238 HAS SOUS 103911923 HAS SOUPS 103911923 WITH SCORE 1.04064475238E8
AT ITER 4253 NEW BEST:: SOT 701065726 SOS 152551890 HAS SOPS 152551890 HAS SOUS 103907940 HAS SOUPS 103907940 WITH SCORE 1.0406049189E8
AT ITER 4301 NEW BEST:: SOT 701063272 SOS 152546982 HAS SOPS 152546982 HAS SOUS 103906395 HAS SOUPS 103906395 WITH SCORE 1.04058941982E8
AT ITER 4318 NEW BEST:: SOT 701063272 SOS 152546981 HAS SOPS 152546981 HAS SOUS 103906393 HAS SOUPS 103906393 WITH SCORE 1.04058939981E8
AT ITER 4335 NEW BEST:: SOT 701063271 SOS 152546979 HAS SOPS 152546979 HAS SOUS 103906391 HAS SOUPS 103906391 WITH SCORE 1.04058937979E8
AT ITER 4344 NEW BEST:: SOT 701060964 SOS 152555726 HAS SOPS 152555726 HAS SOUS 103901027 HAS SOUPS 103901027 WITH SCORE 1.04053582726E8
AT ITER 4346 NEW BEST:: SOT 701057514 SOS 152548826 HAS SOPS 152548826 HAS SOUS 103894127 HAS SOUPS 103894127 WITH SCORE 1.04046675826E8
AT ITER 4396 NEW BEST:: SOT 701056849 SOS 152547496 HAS SOPS 152547496 HAS SOUS 103889774 HAS SOUPS 103889774 WITH SCORE 1.04042321496E8
AT ITER 4416 NEW BEST:: SOT 701052976 SOS 152539750 HAS SOPS 152539750 HAS SOUS 103881242 HAS SOUPS 103881242 WITH SCORE 1.0403378175E8
AT ITER 4421 NEW BEST:: SOT 701052533 SOS 152539306 HAS SOPS 152539306 HAS SOUS 103881238 HAS SOUPS 103881238 WITH SCORE 1.04033777306E8
AT ITER 4450 NEW BEST:: SOT 701048937 SOS 152530316 HAS SOPS 152530316 HAS SOUS 103877642 HAS SOUPS 103877642 WITH SCORE 1.04030172316E8
AT ITER 4456 NEW BEST:: SOT 701048573 SOS 152531040 HAS SOPS 152531040 HAS SOUS 103877641 HAS SOUPS 103877641 WITH SCORE 1.0403017204E8
AT ITER 4457 NEW BEST:: SOT 701040901 SOS 152520175 HAS SOPS 152520175 HAS SOUS 103866132 HAS SOUPS 103866132 WITH SCORE 1.04018652175E8
AT ITER 4464 NEW BEST:: SOT 701036861 SOS 152516413 HAS SOPS 152516413 HAS SOUS 103862373 HAS SOUPS 103862373 WITH SCORE 1.04014889413E8
AT ITER 4466 NEW BEST:: SOT 701033863 SOS 152516413 HAS SOPS 152516413 HAS SOUS 103859375 HAS SOUPS 103859375 WITH SCORE 1.04011891413E8
AT ITER 4506 NEW BEST:: SOT 701033863 SOS 152515483 HAS SOPS 152515483 HAS SOUS 103858445 HAS SOUPS 103858445 WITH SCORE 1.04010960483E8
AT ITER 4507 NEW BEST:: SOT 701033863 SOS 152515267 HAS SOPS 152515267 HAS SOUS 103858229 HAS SOUPS 103858229 WITH SCORE 1.04010744267E8
AT ITER 4513 NEW BEST:: SOT 701033733 SOS 152515007 HAS SOPS 152515007 HAS SOUS 103857969 HAS SOUPS 103857969 WITH SCORE 1.04010484007E8
AT ITER 4567 NEW BEST:: SOT 701032593 SOS 152527149 HAS SOPS 152527149 HAS SOUS 103856829 HAS SOUPS 103856829 WITH SCORE 1.04009356149E8
AT ITER 4604 NEW BEST:: SOT 701031360 SOS 152529860 HAS SOPS 152529860 HAS SOUS 103856039 HAS SOUPS 103856039 WITH SCORE 1.0400856886E8
AT ITER 4676 NEW BEST:: SOT 701029615 SOS 152528115 HAS SOPS 152528115 HAS SOUS 103856039 HAS SOUPS 103856039 WITH SCORE 1.04008567115E8
AT ITER 4678 NEW BEST:: SOT 700985932 SOS 152536927 HAS SOPS 152536927 HAS SOUS 103839328 HAS SOUPS 103839328 WITH SCORE 1.03991864927E8
AT ITER 4684 NEW BEST:: SOT 700985932 SOS 152535533 HAS SOPS 152535533 HAS SOUS 103838631 HAS SOUPS 103838631 WITH SCORE 1.03991166533E8
AT ITER 4688 NEW BEST:: SOT 700981646 SOS 152524930 HAS SOPS 152524930 HAS SOUS 103834373 HAS SOUPS 103834373 WITH SCORE 1.0398689793E8
AT ITER 4689 NEW BEST:: SOT 700980617 SOS 152522872 HAS SOPS 152522872 HAS SOUS 103832315 HAS SOUPS 103832315 WITH SCORE 1.03984837872E8
AT ITER 4704 NEW BEST:: SOT 700980617 SOS 152517661 HAS SOPS 152517661 HAS SOUS 103830578 HAS SOUPS 103830578 WITH SCORE 1.03983095661E8
AT ITER 4706 NEW BEST:: SOT 700980357 SOS 152517141 HAS SOPS 152517141 HAS SOUS 103830058 HAS SOUPS 103830058 WITH SCORE 1.03982575141E8
AT ITER 4708 NEW BEST:: SOT 700980293 SOS 152517014 HAS SOPS 152517014 HAS SOUS 103829931 HAS SOUPS 103829931 WITH SCORE 1.03982448014E8
AT ITER 4709 NEW BEST:: SOT 700973398 SOS 152517014 HAS SOPS 152517014 HAS SOUS 103823036 HAS SOUPS 103823036 WITH SCORE 1.03975553014E8
AT ITER 4714 NEW BEST:: SOT 700971762 SOS 152516196 HAS SOPS 152516196 HAS SOUS 103822218 HAS SOUPS 103822218 WITH SCORE 1.03974734196E8
AT ITER 4744 NEW BEST:: SOT 700971761 SOS 152516194 HAS SOPS 152516194 HAS SOUS 103822216 HAS SOUPS 103822216 WITH SCORE 1.03974732194E8
AT ITER 4761 NEW BEST:: SOT 700968110 SOS 152508892 HAS SOPS 152508892 HAS SOUS 103814914 HAS SOUPS 103814914 WITH SCORE 1.03967422892E8
AT ITER 4780 NEW BEST:: SOT 700967114 SOS 152506900 HAS SOPS 152506900 HAS SOUS 103812922 HAS SOUPS 103812922 WITH SCORE 1.039654289E8
AT ITER 4803 NEW BEST:: SOT 700966628 SOS 152505928 HAS SOPS 152505928 HAS SOUS 103812435 HAS SOUPS 103812435 WITH SCORE 1.03964940928E8
AT ITER 4809 NEW BEST:: SOT 700966628 SOS 152503905 HAS SOPS 152503905 HAS SOUS 103812435 HAS SOUPS 103812435 WITH SCORE 1.03964938905E8
AT ITER 4817 NEW BEST:: SOT 700965110 SOS 152500869 HAS SOPS 152500869 HAS SOUS 103809399 HAS SOUPS 103809399 WITH SCORE 1.03961899869E8
AT ITER 4846 NEW BEST:: SOT 700964393 SOS 152499435 HAS SOPS 152499435 HAS SOUS 103804876 HAS SOUPS 103804876 WITH SCORE 1.03957375435E8
AT ITER 4867 NEW BEST:: SOT 700960845 SOS 152492339 HAS SOPS 152492339 HAS SOUS 103797780 HAS SOUPS 103797780 WITH SCORE 1.03950272339E8
AT ITER 4872 NEW BEST:: SOT 700960513 SOS 152491675 HAS SOPS 152491675 HAS SOUS 103796777 HAS SOUPS 103796777 WITH SCORE 1.03949268675E8
AT ITER 4885 NEW BEST:: SOT 700959365 SOS 152489379 HAS SOPS 152489379 HAS SOUS 103794481 HAS SOUPS 103794481 WITH SCORE 1.03946970379E8
AT ITER 4899 NEW BEST:: SOT 700958995 SOS 152488640 HAS SOPS 152488640 HAS SOUS 103793742 HAS SOUPS 103793742 WITH SCORE 1.0394623064E8
AT ITER 4922 NEW BEST:: SOT 700953289 SOS 152457257 HAS SOPS 152457257 HAS SOUS 103788036 HAS SOUPS 103788036 WITH SCORE 1.03940493257E8
AT ITER 4925 NEW BEST:: SOT 700944521 SOS 152452873 HAS SOPS 152452873 HAS SOUS 103783652 HAS SOUPS 103783652 WITH SCORE 1.03936104873E8
AT ITER 4928 NEW BEST:: SOT 700945304 SOS 152454439 HAS SOPS 152454439 HAS SOUS 103782989 HAS SOUPS 103782989 WITH SCORE 1.03935443439E8
AT ITER 4938 NEW BEST:: SOT 700938316 SOS 152447773 HAS SOPS 152447773 HAS SOUS 103776001 HAS SOUPS 103776001 WITH SCORE 1.03928448773E8
AT ITER 4944 NEW BEST:: SOT 700938316 SOS 152464041 HAS SOPS 152464041 HAS SOUS 103770151 HAS SOUPS 103770151 WITH SCORE 1.03922615041E8
AT ITER 4971 NEW BEST:: SOT 700937603 SOS 152462615 HAS SOPS 152462615 HAS SOUS 103768725 HAS SOUPS 103768725 WITH SCORE 1.03921187615E8
AT ITER 4973 NEW BEST:: SOT 700937603 SOS 152462325 HAS SOPS 152462325 HAS SOUS 103768725 HAS SOUPS 103768725 WITH SCORE 1.03921187325E8
AT ITER 4999 NEW BEST:: SOT 700937603 SOS 152462325 HAS SOPS 152462325 HAS SOUS 103768723 HAS SOUPS 103768723 WITH SCORE 1.03921185325E8
AT ITER 5014 NEW BEST:: SOT 700934066 SOS 152461271 HAS SOPS 152461271 HAS SOUS 103765186 HAS SOUPS 103765186 WITH SCORE 1.03917647271E8
AT ITER 5042 NEW BEST:: SOT 700928237 SOS 152455438 HAS SOPS 152455438 HAS SOUS 103759356 HAS SOUPS 103759356 WITH SCORE 1.03911811438E8
AT ITER 5061 NEW BEST:: SOT 700925553 SOS 152453110 HAS SOPS 152453110 HAS SOUS 103756672 HAS SOUPS 103756672 WITH SCORE 1.0390912511E8
AT ITER 5142 NEW BEST:: SOT 700924714 SOS 152458983 HAS SOPS 152458983 HAS SOUS 103755833 HAS SOUPS 103755833 WITH SCORE 1.03908291983E8
AT ITER 5166 NEW BEST:: SOT 700924714 SOS 152457619 HAS SOPS 152457619 HAS SOUS 103755151 HAS SOUPS 103755151 WITH SCORE 1.03907608619E8
AT ITER 5173 NEW BEST:: SOT 700920751 SOS 152453652 HAS SOPS 152453652 HAS SOUS 103751187 HAS SOUPS 103751187 WITH SCORE 1.03903640652E8
AT ITER 5228 NEW BEST:: SOT 700917214 SOS 152446578 HAS SOPS 152446578 HAS SOUS 103744113 HAS SOUPS 103744113 WITH SCORE 1.03896559578E8
AT ITER 5232 NEW BEST:: SOT 700915114 SOS 152442378 HAS SOPS 152442378 HAS SOUS 103739913 HAS SOUPS 103739913 WITH SCORE 1.03892355378E8
AT ITER 5243 NEW BEST:: SOT 700913471 SOS 152440735 HAS SOPS 152440735 HAS SOUS 103738270 HAS SOUPS 103738270 WITH SCORE 1.03890710735E8
AT ITER 5274 NEW BEST:: SOT 700911098 SOS 152435990 HAS SOPS 152435990 HAS SOUS 103733525 HAS SOUPS 103733525 WITH SCORE 1.0388596099E8
AT ITER 5282 NEW BEST:: SOT 700911095 SOS 152440843 HAS SOPS 152440843 HAS SOUS 103733518 HAS SOUPS 103733518 WITH SCORE 1.03885958843E8
AT ITER 5291 NEW BEST:: SOT 700907452 SOS 152433557 HAS SOPS 152433557 HAS SOUS 103726232 HAS SOUPS 103726232 WITH SCORE 1.03878665557E8
AT ITER 5318 NEW BEST:: SOT 700907452 SOS 152432752 HAS SOPS 152432752 HAS SOUS 103725427 HAS SOUPS 103725427 WITH SCORE 1.03877859752E8
AT ITER 5320 NEW BEST:: SOT 700903674 SOS 152413862 HAS SOPS 152413862 HAS SOUS 103717871 HAS SOUPS 103717871 WITH SCORE 1.03870284862E8
AT ITER 5351 NEW BEST:: SOT 700902187 SOS 152410888 HAS SOPS 152410888 HAS SOUS 103714897 HAS SOUPS 103714897 WITH SCORE 1.03867307888E8
AT ITER 5358 NEW BEST:: SOT 700899447 SOS 152430068 HAS SOPS 152430068 HAS SOUS 103712157 HAS SOUPS 103712157 WITH SCORE 1.03864587068E8
AT ITER 5374 NEW BEST:: SOT 700898869 SOS 152428908 HAS SOPS 152428908 HAS SOUS 103711000 HAS SOUPS 103711000 WITH SCORE 1.03863428908E8
AT ITER 5435 NEW BEST:: SOT 700898231 SOS 152427632 HAS SOPS 152427632 HAS SOUS 103710362 HAS SOUPS 103710362 WITH SCORE 1.03862789632E8
AT ITER 5460 NEW BEST:: SOT 700899656 SOS 152427160 HAS SOPS 152427160 HAS SOUS 103709457 HAS SOUPS 103709457 WITH SCORE 1.0386188416E8
AT ITER 5467 NEW BEST:: SOT 700898669 SOS 152427769 HAS SOPS 152427769 HAS SOUS 103708135 HAS SOUPS 103708135 WITH SCORE 1.03860562769E8
AT ITER 5498 NEW BEST:: SOT 700896723 SOS 152426792 HAS SOPS 152426792 HAS SOUS 103707161 HAS SOUPS 103707161 WITH SCORE 1.03859587792E8
AT ITER 5510 NEW BEST:: SOT 700893351 SOS 152423416 HAS SOPS 152423416 HAS SOUS 103707160 HAS SOUPS 103707160 WITH SCORE 1.03859583416E8
AT ITER 5542 NEW BEST:: SOT 700889197 SOS 152413031 HAS SOPS 152413031 HAS SOUS 103703006 HAS SOUPS 103703006 WITH SCORE 1.03855419031E8
AT ITER 5569 NEW BEST:: SOT 700889197 SOS 152413031 HAS SOPS 152413031 HAS SOUS 103702703 HAS SOUPS 103702703 WITH SCORE 1.03855116031E8
AT ITER 5594 NEW BEST:: SOT 700889196 SOS 152413029 HAS SOPS 152413029 HAS SOUS 103702701 HAS SOUPS 103702701 WITH SCORE 1.03855114029E8
AT ITER 5650 NEW BEST:: SOT 700883289 SOS 152407122 HAS SOPS 152407122 HAS SOUS 103696794 HAS SOUPS 103696794 WITH SCORE 1.03849201122E8
AT ITER 5695 NEW BEST:: SOT 700883289 SOS 152405587 HAS SOPS 152405587 HAS SOUS 103696794 HAS SOUPS 103696794 WITH SCORE 1.03849199587E8
AT ITER 5697 NEW BEST:: SOT 700883289 SOS 152404587 HAS SOPS 152404587 HAS SOUS 103696794 HAS SOUPS 103696794 WITH SCORE 1.03849198587E8
AT ITER 5724 NEW BEST:: SOT 700882133 SOS 152404009 HAS SOPS 152404009 HAS SOUS 103696216 HAS SOUPS 103696216 WITH SCORE 1.03848620009E8
AT ITER 5791 NEW BEST:: SOT 700878168 SOS 152400044 HAS SOPS 152400044 HAS SOUS 103692251 HAS SOUPS 103692251 WITH SCORE 1.03844651044E8
AT ITER 5796 NEW BEST:: SOT 700872652 SOS 152394528 HAS SOPS 152394528 HAS SOUS 103686735 HAS SOUPS 103686735 WITH SCORE 1.03839129528E8
AT ITER 5800 NEW BEST:: SOT 700872549 SOS 152394322 HAS SOPS 152394322 HAS SOUS 103686529 HAS SOUPS 103686529 WITH SCORE 1.03838923322E8
AT ITER 5801 NEW BEST:: SOT 700867921 SOS 152392008 HAS SOPS 152392008 HAS SOUS 103684215 HAS SOUPS 103684215 WITH SCORE 1.03836607008E8
AT ITER 5831 NEW BEST:: SOT 700866622 SOS 152389410 HAS SOPS 152389410 HAS SOUS 103679201 HAS SOUPS 103679201 WITH SCORE 1.0383159041E8
AT ITER 5862 NEW BEST:: SOT 700865565 SOS 152391516 HAS SOPS 152391516 HAS SOUS 103678142 HAS SOUPS 103678142 WITH SCORE 1.03830533516E8
AT ITER 5865 NEW BEST:: SOT 700864527 SOS 152390478 HAS SOPS 152390478 HAS SOUS 103677104 HAS SOUPS 103677104 WITH SCORE 1.03829494478E8
AT ITER 5866 NEW BEST:: SOT 700862568 SOS 152386560 HAS SOPS 152386560 HAS SOUS 103671298 HAS SOUPS 103671298 WITH SCORE 1.0382368456E8
AT ITER 5871 NEW BEST:: SOT 700853512 SOS 152373633 HAS SOPS 152373633 HAS SOUS 103662242 HAS SOUPS 103662242 WITH SCORE 1.03814615633E8
AT ITER 5909 NEW BEST:: SOT 700849987 SOS 152366583 HAS SOPS 152366583 HAS SOUS 103658717 HAS SOUPS 103658717 WITH SCORE 1.03811083583E8
AT ITER 5918 NEW BEST:: SOT 700843967 SOS 152362258 HAS SOPS 152362258 HAS SOUS 103653332 HAS SOUPS 103653332 WITH SCORE 1.03805694258E8
AT ITER 5934 NEW BEST:: SOT 700833526 SOS 152355314 HAS SOPS 152355314 HAS SOUS 103643668 HAS SOUPS 103643668 WITH SCORE 1.03796023314E8
AT ITER 5937 NEW BEST:: SOT 700833526 SOS 152355314 HAS SOPS 152355314 HAS SOUS 103642099 HAS SOUPS 103642099 WITH SCORE 1.03794454314E8
AT ITER 5961 NEW BEST:: SOT 700830572 SOS 152347929 HAS SOPS 152347929 HAS SOUS 103639145 HAS SOUPS 103639145 WITH SCORE 1.03791492929E8
AT ITER 6004 NEW BEST:: SOT 700830118 SOS 152348833 HAS SOPS 152348833 HAS SOUS 103638690 HAS SOUPS 103638690 WITH SCORE 1.03791038833E8
AT ITER 6020 NEW BEST:: SOT 700822321 SOS 152361239 HAS SOPS 152361239 HAS SOUS 103638227 HAS SOUPS 103638227 WITH SCORE 1.03790588239E8
AT ITER 6023 NEW BEST:: SOT 700822321 SOS 152352637 HAS SOPS 152352637 HAS SOUS 103638069 HAS SOUPS 103638069 WITH SCORE 1.03790421637E8
AT ITER 6054 NEW BEST:: SOT 700821644 SOS 152351284 HAS SOPS 152351284 HAS SOUS 103636716 HAS SOUPS 103636716 WITH SCORE 1.03789067284E8
AT ITER 6058 NEW BEST:: SOT 700819047 SOS 152348683 HAS SOPS 152348683 HAS SOUS 103634118 HAS SOUPS 103634118 WITH SCORE 1.03786466683E8
AT ITER 6060 NEW BEST:: SOT 700817015 SOS 152346647 HAS SOPS 152346647 HAS SOUS 103632085 HAS SOUPS 103632085 WITH SCORE 1.03784431647E8
AT ITER 6062 NEW BEST:: SOT 700808971 SOS 152353421 HAS SOPS 152353421 HAS SOUS 103631843 HAS SOUPS 103631843 WITH SCORE 1.03784196421E8
AT ITER 6095 NEW BEST:: SOT 700806295 SOS 152348069 HAS SOPS 152348069 HAS SOUS 103626491 HAS SOUPS 103626491 WITH SCORE 1.03778839069E8
AT ITER 6098 NEW BEST:: SOT 700802472 SOS 152328954 HAS SOPS 152328954 HAS SOUS 103618845 HAS SOUPS 103618845 WITH SCORE 1.03771173954E8
AT ITER 6100 NEW BEST:: SOT 700802471 SOS 152328952 HAS SOPS 152328952 HAS SOUS 103618843 HAS SOUPS 103618843 WITH SCORE 1.03771171952E8
AT ITER 6106 NEW BEST:: SOT 700798539 SOS 152325479 HAS SOPS 152325479 HAS SOUS 103615373 HAS SOUPS 103615373 WITH SCORE 1.03767698479E8
AT ITER 6191 NEW BEST:: SOT 700794324 SOS 152325478 HAS SOPS 152325478 HAS SOUS 103615372 HAS SOUPS 103615372 WITH SCORE 1.03767697478E8
AT ITER 6198 NEW BEST:: SOT 700794324 SOS 152325474 HAS SOPS 152325474 HAS SOUS 103615371 HAS SOUPS 103615371 WITH SCORE 1.03767696474E8
AT ITER 6210 NEW BEST:: SOT 700788230 SOS 152313286 HAS SOPS 152313286 HAS SOUS 103603183 HAS SOUPS 103603183 WITH SCORE 1.03755496286E8
AT ITER 6220 NEW BEST:: SOT 700789973 SOS 152303329 HAS SOPS 152303329 HAS SOUS 103601316 HAS SOUPS 103601316 WITH SCORE 1.03753619329E8
AT ITER 6223 NEW BEST:: SOT 700787508 SOS 152305794 HAS SOPS 152305794 HAS SOUS 103598851 HAS SOUPS 103598851 WITH SCORE 1.03751156794E8
AT ITER 6232 NEW BEST:: SOT 700785900 SOS 152309006 HAS SOPS 152309006 HAS SOUS 103597242 HAS SOUPS 103597242 WITH SCORE 1.03749551006E8
AT ITER 6234 NEW BEST:: SOT 700785899 SOS 152309004 HAS SOPS 152309004 HAS SOUS 103597240 HAS SOUPS 103597240 WITH SCORE 1.03749549004E8
AT ITER 6236 NEW BEST:: SOT 700784867 SOS 152306940 HAS SOPS 152306940 HAS SOUS 103595176 HAS SOUPS 103595176 WITH SCORE 1.0374748294E8
AT ITER 6241 NEW BEST:: SOT 700783719 SOS 152309232 HAS SOPS 152309232 HAS SOUS 103594027 HAS SOUPS 103594027 WITH SCORE 1.03746336232E8
AT ITER 6245 NEW BEST:: SOT 700776167 SOS 152301680 HAS SOPS 152301680 HAS SOUS 103586475 HAS SOUPS 103586475 WITH SCORE 1.0373877668E8
AT ITER 6253 NEW BEST:: SOT 700768180 SOS 152298837 HAS SOPS 152298837 HAS SOUS 103582865 HAS SOUPS 103582865 WITH SCORE 1.03735163837E8
AT ITER 6259 NEW BEST:: SOT 700768046 SOS 152298569 HAS SOPS 152298569 HAS SOUS 103582597 HAS SOUPS 103582597 WITH SCORE 1.03734895569E8
AT ITER 6268 NEW BEST:: SOT 700762416 SOS 152294758 HAS SOPS 152294758 HAS SOUS 103577668 HAS SOUPS 103577668 WITH SCORE 1.03729962758E8
AT ITER 6280 NEW BEST:: SOT 700760948 SOS 152291822 HAS SOPS 152291822 HAS SOUS 103574732 HAS SOUPS 103574732 WITH SCORE 1.03727023822E8
AT ITER 6295 NEW BEST:: SOT 700760945 SOS 152291816 HAS SOPS 152291816 HAS SOUS 103574726 HAS SOUPS 103574726 WITH SCORE 1.03727017816E8
AT ITER 6318 NEW BEST:: SOT 700760253 SOS 152291124 HAS SOPS 152291124 HAS SOUS 103574726 HAS SOUPS 103574726 WITH SCORE 1.03727017124E8
AT ITER 6366 NEW BEST:: SOT 700760253 SOS 152290754 HAS SOPS 152290754 HAS SOUS 103574541 HAS SOUPS 103574541 WITH SCORE 1.03726831754E8
AT ITER 6378 NEW BEST:: SOT 700754775 SOS 152279798 HAS SOPS 152279798 HAS SOUS 103566671 HAS SOUPS 103566671 WITH SCORE 1.03718950798E8
AT ITER 6414 NEW BEST:: SOT 700754775 SOS 152279798 HAS SOPS 152279798 HAS SOUS 103562483 HAS SOUPS 103562483 WITH SCORE 1.03714762798E8
AT ITER 6466 NEW BEST:: SOT 700756268 SOS 152282784 HAS SOPS 152282784 HAS SOUS 103561478 HAS SOUPS 103561478 WITH SCORE 1.03713760784E8
AT ITER 6541 NEW BEST:: SOT 700755037 SOS 152280322 HAS SOPS 152280322 HAS SOUS 103559016 HAS SOUPS 103559016 WITH SCORE 1.03711296322E8
AT ITER 6592 NEW BEST:: SOT 700752817 SOS 152278102 HAS SOPS 152278102 HAS SOUS 103556796 HAS SOUPS 103556796 WITH SCORE 1.03709074102E8
AT ITER 6595 NEW BEST:: SOT 700752182 SOS 152276832 HAS SOPS 152276832 HAS SOUS 103555526 HAS SOUPS 103555526 WITH SCORE 1.03707802832E8
AT ITER 6611 NEW BEST:: SOT 700745028 SOS 152273255 HAS SOPS 152273255 HAS SOUS 103548372 HAS SOUPS 103548372 WITH SCORE 1.03700645255E8
AT ITER 6615 NEW BEST:: SOT 700741657 SOS 152256400 HAS SOPS 152256400 HAS SOUS 103541630 HAS SOUPS 103541630 WITH SCORE 1.036938864E8
AT ITER 6621 NEW BEST:: SOT 700732481 SOS 152244930 HAS SOPS 152244930 HAS SOUS 103537158 HAS SOUPS 103537158 WITH SCORE 1.0368940293E8
AT ITER 6626 NEW BEST:: SOT 700725087 SOS 152233839 HAS SOPS 152233839 HAS SOUS 103526067 HAS SOUPS 103526067 WITH SCORE 1.03678300839E8
AT ITER 6636 NEW BEST:: SOT 700723491 SOS 152230647 HAS SOPS 152230647 HAS SOUS 103520623 HAS SOUPS 103520623 WITH SCORE 1.03672853647E8
AT ITER 6651 NEW BEST:: SOT 700715799 SOS 152226801 HAS SOPS 152226801 HAS SOUS 103516777 HAS SOUPS 103516777 WITH SCORE 1.03669003801E8
AT ITER 6653 NEW BEST:: SOT 700714195 SOS 152223593 HAS SOPS 152223593 HAS SOUS 103513569 HAS SOUPS 103513569 WITH SCORE 1.03665792593E8
AT ITER 6656 NEW BEST:: SOT 700709954 SOS 152219348 HAS SOPS 152219348 HAS SOUS 103509327 HAS SOUPS 103509327 WITH SCORE 1.03661546348E8
AT ITER 6658 NEW BEST:: SOT 700709954 SOS 152208908 HAS SOPS 152208908 HAS SOUS 103505847 HAS SOUPS 103505847 WITH SCORE 1.03658055908E8
AT ITER 6665 NEW BEST:: SOT 700705561 SOS 152204511 HAS SOPS 152204511 HAS SOUS 103501453 HAS SOUPS 103501453 WITH SCORE 1.03653657511E8
AT ITER 6677 NEW BEST:: SOT 700703156 SOS 152199701 HAS SOPS 152199701 HAS SOUS 103495232 HAS SOUPS 103495232 WITH SCORE 1.03647431701E8
AT ITER 6688 NEW BEST:: SOT 700699274 SOS 152814237 HAS SOPS 152814237 HAS SOUS 103492368 HAS SOUPS 103492368 WITH SCORE 1.03645182237E8
AT ITER 6693 NEW BEST:: SOT 700699227 SOS 152814143 HAS SOPS 152814143 HAS SOUS 103492321 HAS SOUPS 103492321 WITH SCORE 1.03645135143E8
AT ITER 6695 NEW BEST:: SOT 700698638 SOS 152812965 HAS SOPS 152812965 HAS SOUS 103491730 HAS SOUPS 103491730 WITH SCORE 1.03644542965E8
AT ITER 6702 NEW BEST:: SOT 700695889 SOS 152810216 HAS SOPS 152810216 HAS SOUS 103488981 HAS SOUPS 103488981 WITH SCORE 1.03641791216E8
AT ITER 6706 NEW BEST:: SOT 700689525 SOS 152803852 HAS SOPS 152803852 HAS SOUS 103482617 HAS SOUPS 103482617 WITH SCORE 1.03635420852E8
AT ITER 6720 NEW BEST:: SOT 700687025 SOS 152798852 HAS SOPS 152798852 HAS SOUS 103477617 HAS SOUPS 103477617 WITH SCORE 1.03630415852E8
AT ITER 6722 NEW BEST:: SOT 700683627 SOS 152795453 HAS SOPS 152795453 HAS SOUS 103474218 HAS SOUPS 103474218 WITH SCORE 1.03627013453E8
AT ITER 6730 NEW BEST:: SOT 700682156 SOS 152793978 HAS SOPS 152793978 HAS SOUS 103472746 HAS SOUPS 103472746 WITH SCORE 1.03625539978E8
AT ITER 6745 NEW BEST:: SOT 700684125 SOS 152792026 HAS SOPS 152792026 HAS SOUS 103470794 HAS SOUPS 103470794 WITH SCORE 1.03623586026E8
AT ITER 6773 NEW BEST:: SOT 700686017 SOS 152790096 HAS SOPS 152790096 HAS SOUS 103468864 HAS SOUPS 103468864 WITH SCORE 1.03621654096E8
AT ITER 6786 NEW BEST:: SOT 700686016 SOS 152790094 HAS SOPS 152790094 HAS SOUS 103468862 HAS SOUPS 103468862 WITH SCORE 1.03621652094E8
AT ITER 6807 NEW BEST:: SOT 700678535 SOS 152775132 HAS SOPS 152775132 HAS SOUS 103453900 HAS SOUPS 103453900 WITH SCORE 1.03606675132E8
AT ITER 6830 NEW BEST:: SOT 700680019 SOS 152778100 HAS SOPS 152778100 HAS SOUS 103453403 HAS SOUPS 103453403 WITH SCORE 1.036061811E8
AT ITER 6832 NEW BEST:: SOT 700679809 SOS 152777680 HAS SOPS 152777680 HAS SOUS 103453193 HAS SOUPS 103453193 WITH SCORE 1.0360597068E8
AT ITER 6846 NEW BEST:: SOT 700678941 SOS 152775944 HAS SOPS 152775944 HAS SOUS 103451457 HAS SOUPS 103451457 WITH SCORE 1.03604232944E8
AT ITER 6857 NEW BEST:: SOT 700672764 SOS 152798229 HAS SOPS 152798229 HAS SOUS 103441363 HAS SOUPS 103441363 WITH SCORE 1.03594161229E8
AT ITER 6864 NEW BEST:: SOT 700671911 SOS 152796523 HAS SOPS 152796523 HAS SOUS 103439657 HAS SOUPS 103439657 WITH SCORE 1.03592453523E8
AT ITER 6899 NEW BEST:: SOT 700670532 SOS 152793765 HAS SOPS 152793765 HAS SOUS 103434483 HAS SOUPS 103434483 WITH SCORE 1.03587276765E8
AT ITER 6932 NEW BEST:: SOT 700668479 SOS 152789659 HAS SOPS 152789659 HAS SOUS 103430377 HAS SOUPS 103430377 WITH SCORE 1.03583166659E8
AT ITER 6962 NEW BEST:: SOT 700666478 SOS 152785657 HAS SOPS 152785657 HAS SOUS 103426375 HAS SOUPS 103426375 WITH SCORE 1.03579160657E8
AT ITER 7015 NEW BEST:: SOT 700659302 SOS 152793361 HAS SOPS 152793361 HAS SOUS 103424713 HAS SOUPS 103424713 WITH SCORE 1.03577506361E8
AT ITER 7028 NEW BEST:: SOT 700649069 SOS 152798126 HAS SOPS 152798126 HAS SOUS 103422392 HAS SOUPS 103422392 WITH SCORE 1.03575190126E8
AT ITER 7067 NEW BEST:: SOT 700645424 SOS 152790836 HAS SOPS 152790836 HAS SOUS 103415102 HAS SOUPS 103415102 WITH SCORE 1.03567892836E8
AT ITER 7068 NEW BEST:: SOT 700644792 SOS 152810581 HAS SOPS 152810581 HAS SOUS 103414470 HAS SOUPS 103414470 WITH SCORE 1.03567280581E8
AT ITER 7072 NEW BEST:: SOT 700644363 SOS 152812617 HAS SOPS 152812617 HAS SOUS 103413357 HAS SOUPS 103413357 WITH SCORE 1.03566169617E8
AT ITER 7107 NEW BEST:: SOT 700641789 SOS 152810043 HAS SOPS 152810043 HAS SOUS 103413357 HAS SOUPS 103413357 WITH SCORE 1.03566167043E8
AT ITER 7110 NEW BEST:: SOT 700639612 SOS 152805689 HAS SOPS 152805689 HAS SOUS 103409003 HAS SOUPS 103409003 WITH SCORE 1.03561808689E8
AT ITER 7113 NEW BEST:: SOT 700636516 SOS 152802593 HAS SOPS 152802593 HAS SOUS 103405907 HAS SOUPS 103405907 WITH SCORE 1.03558709593E8
AT ITER 7123 NEW BEST:: SOT 700635379 SOS 152819143 HAS SOPS 152819143 HAS SOUS 103405402 HAS SOUPS 103405402 WITH SCORE 1.03558221143E8
AT ITER 7153 NEW BEST:: SOT 700632745 SOS 152805973 HAS SOPS 152805973 HAS SOUS 103400134 HAS SOUPS 103400134 WITH SCORE 1.03552939973E8
AT ITER 7161 NEW BEST:: SOT 700631335 SOS 152808789 HAS SOPS 152808789 HAS SOUS 103398723 HAS SOUPS 103398723 WITH SCORE 1.03551531789E8
AT ITER 7168 NEW BEST:: SOT 700630532 SOS 152810387 HAS SOPS 152810387 HAS SOUS 103397918 HAS SOUPS 103397918 WITH SCORE 1.03550728387E8
AT ITER 7184 NEW BEST:: SOT 700631661 SOS 152791326 HAS SOPS 152791326 HAS SOUS 103394672 HAS SOUPS 103394672 WITH SCORE 1.03547463326E8
AT ITER 7189 NEW BEST:: SOT 700624755 SOS 152777514 HAS SOPS 152777514 HAS SOUS 103380860 HAS SOUPS 103380860 WITH SCORE 1.03533637514E8
AT ITER 7190 NEW BEST:: SOT 700623253 SOS 152774510 HAS SOPS 152774510 HAS SOUS 103377856 HAS SOUPS 103377856 WITH SCORE 1.0353063051E8
AT ITER 7196 NEW BEST:: SOT 700621872 SOS 152771748 HAS SOPS 152771748 HAS SOUS 103376475 HAS SOUPS 103376475 WITH SCORE 1.03529246748E8
AT ITER 7217 NEW BEST:: SOT 700620379 SOS 152768758 HAS SOPS 152768758 HAS SOUS 103373488 HAS SOUPS 103373488 WITH SCORE 1.03526256758E8
AT ITER 7291 NEW BEST:: SOT 700603322 SOS 152741376 HAS SOPS 152741376 HAS SOUS 103351715 HAS SOUPS 103351715 WITH SCORE 1.03504456376E8
AT ITER 7293 NEW BEST:: SOT 700587339 SOS 152729752 HAS SOPS 152729752 HAS SOUS 103341544 HAS SOUPS 103341544 WITH SCORE 1.03494273752E8
AT ITER 7310 NEW BEST:: SOT 700546518 SOS 152721115 HAS SOPS 152721115 HAS SOUS 103326246 HAS SOUPS 103326246 WITH SCORE 1.03478967115E8
AT ITER 7327 NEW BEST:: SOT 700542845 SOS 152730106 HAS SOPS 152730106 HAS SOUS 103318899 HAS SOUPS 103318899 WITH SCORE 1.03471629106E8
AT ITER 7372 NEW BEST:: SOT 700541674 SOS 152727764 HAS SOPS 152727764 HAS SOUS 103317728 HAS SOUPS 103317728 WITH SCORE 1.03470455764E8
AT ITER 7381 NEW BEST:: SOT 700533561 SOS 152727066 HAS SOPS 152727066 HAS SOUS 103314791 HAS SOUPS 103314791 WITH SCORE 1.03467518066E8
AT ITER 7382 NEW BEST:: SOT 700533560 SOS 152724238 HAS SOPS 152724238 HAS SOUS 103311963 HAS SOUPS 103311963 WITH SCORE 1.03464687238E8
AT ITER 7459 NEW BEST:: SOT 700527493 SOS 152712104 HAS SOPS 152712104 HAS SOUS 103299829 HAS SOUPS 103299829 WITH SCORE 1.03452541104E8
AT ITER 7468 NEW BEST:: SOT 700519576 SOS 152709563 HAS SOPS 152709563 HAS SOUS 103296343 HAS SOUPS 103296343 WITH SCORE 1.03449052563E8
AT ITER 7470 NEW BEST:: SOT 700507223 SOS 152695364 HAS SOPS 152695364 HAS SOUS 103294987 HAS SOUPS 103294987 WITH SCORE 1.03447682364E8
AT ITER 7506 NEW BEST:: SOT 700506612 SOS 152693730 HAS SOPS 152693730 HAS SOUS 103293353 HAS SOUPS 103293353 WITH SCORE 1.0344604673E8
AT ITER 7510 NEW BEST:: SOT 700505818 SOS 152692142 HAS SOPS 152692142 HAS SOUS 103288900 HAS SOUPS 103288900 WITH SCORE 1.03441592142E8
AT ITER 7556 NEW BEST:: SOT 700506518 SOS 152691277 HAS SOPS 152691277 HAS SOUS 103288035 HAS SOUPS 103288035 WITH SCORE 1.03440726277E8
AT ITER 7561 NEW BEST:: SOT 700502057 SOS 152686812 HAS SOPS 152686812 HAS SOUS 103283573 HAS SOUPS 103283573 WITH SCORE 1.03436259812E8
AT ITER 7562 NEW BEST:: SOT 700501872 SOS 152686072 HAS SOPS 152686072 HAS SOUS 103283388 HAS SOUPS 103283388 WITH SCORE 1.03436074072E8
AT ITER 7639 NEW BEST:: SOT 700493951 SOS 152684648 HAS SOPS 152684648 HAS SOUS 103280273 HAS SOUPS 103280273 WITH SCORE 1.03432957648E8
AT ITER 7642 NEW BEST:: SOT 700493951 SOS 152684492 HAS SOPS 152684492 HAS SOUS 103280117 HAS SOUPS 103280117 WITH SCORE 1.03432801492E8
AT ITER 7654 NEW BEST:: SOT 700492085 SOS 152682626 HAS SOPS 152682626 HAS SOUS 103278251 HAS SOUPS 103278251 WITH SCORE 1.03430933626E8
AT ITER 7674 NEW BEST:: SOT 700490124 SOS 152678704 HAS SOPS 152678704 HAS SOUS 103274329 HAS SOUPS 103274329 WITH SCORE 1.03427007704E8
AT ITER 7684 NEW BEST:: SOT 700484517 SOS 152673093 HAS SOPS 152673093 HAS SOUS 103268721 HAS SOUPS 103268721 WITH SCORE 1.03421394093E8
AT ITER 7686 NEW BEST:: SOT 700476777 SOS 152664270 HAS SOPS 152664270 HAS SOUS 103257110 HAS SOUPS 103257110 WITH SCORE 1.0340977427E8
AT ITER 7711 NEW BEST:: SOT 700472943 SOS 152662349 HAS SOPS 152662349 HAS SOUS 103255192 HAS SOUPS 103255192 WITH SCORE 1.03407854349E8
AT ITER 7731 NEW BEST:: SOT 700469488 SOS 152664013 HAS SOPS 152664013 HAS SOUS 103254595 HAS SOUPS 103254595 WITH SCORE 1.03407259013E8
AT ITER 7753 NEW BEST:: SOT 700467623 SOS 152664144 HAS SOPS 152664144 HAS SOUS 103254017 HAS SOUPS 103254017 WITH SCORE 1.03406681144E8
AT ITER 7757 NEW BEST:: SOT 700464717 SOS 152661234 HAS SOPS 152661234 HAS SOUS 103251110 HAS SOUPS 103251110 WITH SCORE 1.03403771234E8
AT ITER 7763 NEW BEST:: SOT 700463749 SOS 152659782 HAS SOPS 152659782 HAS SOUS 103250142 HAS SOUPS 103250142 WITH SCORE 1.03402801782E8
AT ITER 7797 NEW BEST:: SOT 700463350 SOS 152658984 HAS SOPS 152658984 HAS SOUS 103249344 HAS SOUPS 103249344 WITH SCORE 1.03402002984E8
AT ITER 7834 NEW BEST:: SOT 700462214 SOS 152657848 HAS SOPS 152657848 HAS SOUS 103248208 HAS SOUPS 103248208 WITH SCORE 1.03400865848E8
AT ITER 7846 NEW BEST:: SOT 700461737 SOS 152657371 HAS SOPS 152657371 HAS SOUS 103247731 HAS SOUPS 103247731 WITH SCORE 1.03400388371E8
AT ITER 7848 NEW BEST:: SOT 700460883 SOS 152658225 HAS SOPS 152658225 HAS SOUS 103246877 HAS SOUPS 103246877 WITH SCORE 1.03399535225E8
AT ITER 7858 NEW BEST:: SOT 700459310 SOS 152655079 HAS SOPS 152655079 HAS SOUS 103243731 HAS SOUPS 103243731 WITH SCORE 1.03396386079E8
AT ITER 7881 NEW BEST:: SOT 700455768 SOS 152651533 HAS SOPS 152651533 HAS SOUS 103243730 HAS SOUPS 103243730 WITH SCORE 1.03396381533E8
AT ITER 7908 NEW BEST:: SOT 700447095 SOS 152648542 HAS SOPS 152648542 HAS SOUS 103239842 HAS SOUPS 103239842 WITH SCORE 1.03392490542E8
AT ITER 7913 NEW BEST:: SOT 700447270 SOS 152648892 HAS SOPS 152648892 HAS SOUS 103235437 HAS SOUPS 103235437 WITH SCORE 1.03388085892E8
AT ITER 7946 NEW BEST:: SOT 700447269 SOS 152648890 HAS SOPS 152648890 HAS SOUS 103235436 HAS SOUPS 103235436 WITH SCORE 1.0338808489E8
AT ITER 7966 NEW BEST:: SOT 700447256 SOS 152625437 HAS SOPS 152625437 HAS SOUS 103235409 HAS SOUPS 103235409 WITH SCORE 1.03388034437E8
AT ITER 7981 NEW BEST:: SOT 700446818 SOS 152624561 HAS SOPS 152624561 HAS SOUS 103234533 HAS SOUPS 103234533 WITH SCORE 1.03387157561E8
AT ITER 7983 NEW BEST:: SOT 700444346 SOS 152619617 HAS SOPS 152619617 HAS SOUS 103229589 HAS SOUPS 103229589 WITH SCORE 1.03382208617E8
AT ITER 8005 NEW BEST:: SOT 700442838 SOS 152616597 HAS SOPS 152616597 HAS SOUS 103226572 HAS SOUPS 103226572 WITH SCORE 1.03379188597E8
AT ITER 8072 NEW BEST:: SOT 700438773 SOS 152613606 HAS SOPS 152613606 HAS SOUS 103223584 HAS SOUPS 103223584 WITH SCORE 1.03376197606E8
AT ITER 8103 NEW BEST:: SOT 700437223 SOS 152610506 HAS SOPS 152610506 HAS SOUS 103222033 HAS SOUPS 103222033 WITH SCORE 1.03374643506E8
AT ITER 8151 NEW BEST:: SOT 700433495 SOS 152603050 HAS SOPS 152603050 HAS SOUS 103214577 HAS SOUPS 103214577 WITH SCORE 1.0336718005E8
AT ITER 8159 NEW BEST:: SOT 700432682 SOS 152604668 HAS SOPS 152604668 HAS SOUS 103213762 HAS SOUPS 103213762 WITH SCORE 1.03366366668E8
AT ITER 8174 NEW BEST:: SOT 700432628 SOS 152604560 HAS SOPS 152604560 HAS SOUS 103213654 HAS SOUPS 103213654 WITH SCORE 1.0336625856E8
AT ITER 8182 NEW BEST:: SOT 700425716 SOS 152597644 HAS SOPS 152597644 HAS SOUS 103206741 HAS SOUPS 103206741 WITH SCORE 1.03359338644E8
AT ITER 8194 NEW BEST:: SOT 700424549 SOS 152599978 HAS SOPS 152599978 HAS SOUS 103205574 HAS SOUPS 103205574 WITH SCORE 1.03358173978E8
AT ITER 8215 NEW BEST:: SOT 700424382 SOS 152599644 HAS SOPS 152599644 HAS SOUS 103205240 HAS SOUPS 103205240 WITH SCORE 1.03357839644E8
AT ITER 8249 NEW BEST:: SOT 700418961 SOS 152640127 HAS SOPS 152640127 HAS SOUS 103202419 HAS SOUPS 103202419 WITH SCORE 1.03355059127E8
AT ITER 8275 NEW BEST:: SOT 700413262 SOS 152640127 HAS SOPS 152640127 HAS SOUS 103196720 HAS SOUPS 103196720 WITH SCORE 1.03349360127E8
AT ITER 8319 NEW BEST:: SOT 700414114 SOS 152641831 HAS SOPS 152641831 HAS SOUS 103194087 HAS SOUPS 103194087 WITH SCORE 1.03346728831E8
AT ITER 8324 NEW BEST:: SOT 700410618 SOS 152637461 HAS SOPS 152637461 HAS SOUS 103193159 HAS SOUPS 103193159 WITH SCORE 1.03345796461E8
AT ITER 8327 NEW BEST:: SOT 700406552 SOS 152633395 HAS SOPS 152633395 HAS SOUS 103189093 HAS SOUPS 103189093 WITH SCORE 1.03341726395E8
AT ITER 8364 NEW BEST:: SOT 700405680 SOS 152631651 HAS SOPS 152631651 HAS SOUS 103187349 HAS SOUPS 103187349 WITH SCORE 1.03339980651E8
AT ITER 8371 NEW BEST:: SOT 700403430 SOS 152631359 HAS SOPS 152631359 HAS SOUS 103187057 HAS SOUPS 103187057 WITH SCORE 1.03339688359E8
AT ITER 8375 NEW BEST:: SOT 700403419 SOS 152637559 HAS SOPS 152637559 HAS SOUS 103187035 HAS SOUPS 103187035 WITH SCORE 1.03339672559E8
AT ITER 8381 NEW BEST:: SOT 700403419 SOS 152630620 HAS SOPS 152630620 HAS SOUS 103184722 HAS SOUPS 103184722 WITH SCORE 1.0333735262E8
AT ITER 8414 NEW BEST:: SOT 700403419 SOS 152629369 HAS SOPS 152629369 HAS SOUS 103184722 HAS SOUPS 103184722 WITH SCORE 1.03337351369E8
AT ITER 8427 NEW BEST:: SOT 700402504 SOS 152635764 HAS SOPS 152635764 HAS SOUS 103182891 HAS SOUPS 103182891 WITH SCORE 1.03335526764E8
AT ITER 8484 NEW BEST:: SOT 700398362 SOS 152633693 HAS SOPS 152633693 HAS SOUS 103180820 HAS SOUPS 103180820 WITH SCORE 1.03333453693E8
AT ITER 8510 NEW BEST:: SOT 700397690 SOS 152632349 HAS SOPS 152632349 HAS SOUS 103179476 HAS SOUPS 103179476 WITH SCORE 1.03332108349E8
AT ITER 8528 NEW BEST:: SOT 700395463 SOS 152626386 HAS SOPS 152626386 HAS SOUS 103176315 HAS SOUPS 103176315 WITH SCORE 1.03328941386E8
AT ITER 8573 NEW BEST:: SOT 700394732 SOS 152626382 HAS SOPS 152626382 HAS SOUS 103176314 HAS SOUPS 103176314 WITH SCORE 1.03328940382E8
AT ITER 8580 NEW BEST:: SOT 700394731 SOS 152626380 HAS SOPS 152626380 HAS SOUS 103176312 HAS SOUPS 103176312 WITH SCORE 1.0332893838E8
AT ITER 8587 NEW BEST:: SOT 700394731 SOS 152623710 HAS SOPS 152623710 HAS SOUS 103175422 HAS SOUPS 103175422 WITH SCORE 1.0332804571E8
AT ITER 8593 NEW BEST:: SOT 700394731 SOS 152623710 HAS SOPS 152623710 HAS SOUS 103175394 HAS SOUPS 103175394 WITH SCORE 1.0332801771E8
AT ITER 8610 NEW BEST:: SOT 700394731 SOS 152621511 HAS SOPS 152621511 HAS SOUS 103174661 HAS SOUPS 103174661 WITH SCORE 1.03327282511E8
AT ITER 8621 NEW BEST:: SOT 700394167 SOS 152632310 HAS SOPS 152632310 HAS SOUS 103173532 HAS SOUPS 103173532 WITH SCORE 1.0332616431E8
AT ITER 8622 NEW BEST:: SOT 700391239 SOS 152638882 HAS SOPS 152638882 HAS SOUS 103167250 HAS SOUPS 103167250 WITH SCORE 1.03319888882E8
AT ITER 8626 NEW BEST:: SOT 700391058 SOS 152639244 HAS SOPS 152639244 HAS SOUS 103167069 HAS SOUPS 103167069 WITH SCORE 1.03319708244E8
AT ITER 8645 NEW BEST:: SOT 700391057 SOS 152638635 HAS SOPS 152638635 HAS SOUS 103167068 HAS SOUPS 103167068 WITH SCORE 1.03319706635E8
AT ITER 8656 NEW BEST:: SOT 700390740 SOS 152638318 HAS SOPS 152638318 HAS SOUS 103166434 HAS SOUPS 103166434 WITH SCORE 1.03319072318E8
AT ITER 8658 NEW BEST:: SOT 700388815 SOS 152634468 HAS SOPS 152634468 HAS SOUS 103165567 HAS SOUPS 103165567 WITH SCORE 1.03318201468E8
AT ITER 8693 NEW BEST:: SOT 700385268 SOS 152627374 HAS SOPS 152627374 HAS SOUS 103158473 HAS SOUPS 103158473 WITH SCORE 1.03311100374E8
AT ITER 8701 NEW BEST:: SOT 700385175 SOS 152627312 HAS SOPS 152627312 HAS SOUS 103158411 HAS SOUPS 103158411 WITH SCORE 1.03311038312E8
AT ITER 8764 NEW BEST:: SOT 700382546 SOS 152622054 HAS SOPS 152622054 HAS SOUS 103156401 HAS SOUPS 103156401 WITH SCORE 1.03309023054E8
AT ITER 8786 NEW BEST:: SOT 700377339 SOS 152616847 HAS SOPS 152616847 HAS SOUS 103151194 HAS SOUPS 103151194 WITH SCORE 1.03303810847E8
AT ITER 8833 NEW BEST:: SOT 700377339 SOS 152616847 HAS SOPS 152616847 HAS SOUS 103151193 HAS SOUPS 103151193 WITH SCORE 1.03303809847E8
AT ITER 8843 NEW BEST:: SOT 700377700 SOS 152617569 HAS SOPS 152617569 HAS SOUS 103143975 HAS SOUPS 103143975 WITH SCORE 1.03296592569E8
AT ITER 8878 NEW BEST:: SOT 700370590 SOS 152610797 HAS SOPS 152610797 HAS SOUS 103129588 HAS SOUPS 103129588 WITH SCORE 1.03282198797E8
AT ITER 8886 NEW BEST:: SOT 700364475 SOS 152609502 HAS SOPS 152609502 HAS SOUS 103128293 HAS SOUPS 103128293 WITH SCORE 1.03280902502E8
AT ITER 8892 NEW BEST:: SOT 700364475 SOS 152608568 HAS SOPS 152608568 HAS SOUS 103127826 HAS SOUPS 103127826 WITH SCORE 1.03280434568E8
AT ITER 8898 NEW BEST:: SOT 700360486 SOS 152604959 HAS SOPS 152604959 HAS SOUS 103127306 HAS SOUPS 103127306 WITH SCORE 1.03279910959E8
AT ITER 8909 NEW BEST:: SOT 700358994 SOS 152607939 HAS SOPS 152607939 HAS SOUS 103125813 HAS SOUPS 103125813 WITH SCORE 1.03278420939E8
AT ITER 8933 NEW BEST:: SOT 700354336 SOS 152603277 HAS SOPS 152603277 HAS SOUS 103121154 HAS SOUPS 103121154 WITH SCORE 1.03273757277E8
AT ITER 8940 NEW BEST:: SOT 700352467 SOS 152599539 HAS SOPS 152599539 HAS SOUS 103117416 HAS SOUPS 103117416 WITH SCORE 1.03270015539E8
AT ITER 8942 NEW BEST:: SOT 700352467 SOS 152592795 HAS SOPS 152592795 HAS SOUS 103115168 HAS SOUPS 103115168 WITH SCORE 1.03267760795E8
AT ITER 8954 NEW BEST:: SOT 700352454 SOS 152592770 HAS SOPS 152592770 HAS SOUS 103115143 HAS SOUPS 103115143 WITH SCORE 1.0326773577E8
AT ITER 8964 NEW BEST:: SOT 700348104 SOS 152579160 HAS SOPS 152579160 HAS SOUS 103108478 HAS SOUPS 103108478 WITH SCORE 1.0326105716E8
AT ITER 8988 NEW BEST:: SOT 700348602 SOS 152580156 HAS SOPS 152580156 HAS SOUS 103105292 HAS SOUPS 103105292 WITH SCORE 1.03257872156E8
AT ITER 9062 NEW BEST:: SOT 700344510 SOS 152576060 HAS SOPS 152576060 HAS SOUS 103101199 HAS SOUPS 103101199 WITH SCORE 1.0325377506E8
AT ITER 9089 NEW BEST:: SOT 700344849 SOS 152576738 HAS SOPS 152576738 HAS SOUS 103094103 HAS SOUPS 103094103 WITH SCORE 1.03246679738E8
AT ITER 9131 NEW BEST:: SOT 700325256 SOS 152564208 HAS SOPS 152564208 HAS SOUS 103083477 HAS SOUPS 103083477 WITH SCORE 1.03236041208E8
AT ITER 9138 NEW BEST:: SOT 700325255 SOS 152563909 HAS SOPS 152563909 HAS SOUS 103083178 HAS SOUPS 103083178 WITH SCORE 1.03235741909E8
AT ITER 9158 NEW BEST:: SOT 700324340 SOS 152562994 HAS SOPS 152562994 HAS SOUS 103082263 HAS SOUPS 103082263 WITH SCORE 1.03234825994E8
AT ITER 9163 NEW BEST:: SOT 700324340 SOS 152554714 HAS SOPS 152554714 HAS SOUS 103079503 HAS SOUPS 103079503 WITH SCORE 1.03232057714E8
AT ITER 9170 NEW BEST:: SOT 700323249 SOS 152552532 HAS SOPS 152552532 HAS SOUS 103074582 HAS SOUPS 103074582 WITH SCORE 1.03227134532E8
AT ITER 9180 NEW BEST:: SOT 700311694 SOS 152542786 HAS SOPS 152542786 HAS SOUS 103063727 HAS SOUPS 103063727 WITH SCORE 1.03216269786E8
AT ITER 9219 NEW BEST:: SOT 700310881 SOS 152544412 HAS SOPS 152544412 HAS SOUS 103062914 HAS SOUPS 103062914 WITH SCORE 1.03215458412E8
AT ITER 9243 NEW BEST:: SOT 700310880 SOS 152544410 HAS SOPS 152544410 HAS SOUS 103062912 HAS SOUPS 103062912 WITH SCORE 1.0321545641E8
AT ITER 9244 NEW BEST:: SOT 700310520 SOS 152543690 HAS SOPS 152543690 HAS SOUS 103062192 HAS SOUPS 103062192 WITH SCORE 1.0321473569E8
AT ITER 9248 NEW BEST:: SOT 700309974 SOS 152542599 HAS SOPS 152542599 HAS SOUS 103061101 HAS SOUPS 103061101 WITH SCORE 1.03213643599E8
AT ITER 9259 NEW BEST:: SOT 700294728 SOS 152514939 HAS SOPS 152514939 HAS SOUS 103044845 HAS SOUPS 103044845 WITH SCORE 1.03197359939E8
AT ITER 9277 NEW BEST:: SOT 700294727 SOS 152514937 HAS SOPS 152514937 HAS SOUS 103044843 HAS SOUPS 103044843 WITH SCORE 1.03197357937E8
AT ITER 9294 NEW BEST:: SOT 700292499 SOS 152510481 HAS SOPS 152510481 HAS SOUS 103042713 HAS SOUPS 103042713 WITH SCORE 1.03195223481E8
AT ITER 9298 NEW BEST:: SOT 700287805 SOS 152505787 HAS SOPS 152505787 HAS SOUS 103038019 HAS SOUPS 103038019 WITH SCORE 1.03190524787E8
AT ITER 9332 NEW BEST:: SOT 700280511 SOS 152502140 HAS SOPS 152502140 HAS SOUS 103034372 HAS SOUPS 103034372 WITH SCORE 1.0318687414E8
AT ITER 9334 NEW BEST:: SOT 700277439 SOS 152498999 HAS SOPS 152498999 HAS SOUS 103031299 HAS SOUPS 103031299 WITH SCORE 1.03183797999E8
AT ITER 9358 NEW BEST:: SOT 700277356 SOS 152498833 HAS SOPS 152498833 HAS SOUS 103031133 HAS SOUPS 103031133 WITH SCORE 1.03183631833E8
AT ITER 9361 NEW BEST:: SOT 700072352 SOS 152924458 HAS SOPS 152924458 HAS SOUS 102835326 HAS SOUPS 102835326 WITH SCORE 1.02988250458E8
AT ITER 9434 NEW BEST:: SOT 700072352 SOS 152924458 HAS SOPS 152924458 HAS SOUS 102830607 HAS SOUPS 102830607 WITH SCORE 1.02983531458E8
AT ITER 9455 NEW BEST:: SOT 700065036 SOS 152920800 HAS SOPS 152920800 HAS SOUS 102826949 HAS SOUPS 102826949 WITH SCORE 1.029798698E8
AT ITER 9461 NEW BEST:: SOT 700062127 SOS 152920798 HAS SOPS 152920798 HAS SOUS 102826947 HAS SOUPS 102826947 WITH SCORE 1.02979867798E8
AT ITER 9483 NEW BEST:: SOT 700058614 SOS 152913772 HAS SOPS 152913772 HAS SOUS 102819921 HAS SOUPS 102819921 WITH SCORE 1.02972834772E8
AT ITER 9486 NEW BEST:: SOT 700054276 SOS 152909552 HAS SOPS 152909552 HAS SOUS 102815701 HAS SOUPS 102815701 WITH SCORE 1.02968610552E8
AT ITER 9492 NEW BEST:: SOT 700047828 SOS 152901492 HAS SOPS 152901492 HAS SOUS 102813505 HAS SOUPS 102813505 WITH SCORE 1.02966406492E8
AT ITER 9495 NEW BEST:: SOT 700044419 SOS 152894674 HAS SOPS 152894674 HAS SOUS 102810095 HAS SOUPS 102810095 WITH SCORE 1.02962989674E8
AT ITER 9513 NEW BEST:: SOT 700042355 SOS 152892610 HAS SOPS 152892610 HAS SOUS 102808031 HAS SOUPS 102808031 WITH SCORE 1.0296092361E8
AT ITER 9516 NEW BEST:: SOT 700040858 SOS 152888119 HAS SOPS 152888119 HAS SOUS 102806534 HAS SOUPS 102806534 WITH SCORE 1.02959422119E8
AT ITER 9522 NEW BEST:: SOT 700036273 SOS 152889011 HAS SOPS 152889011 HAS SOUS 102806111 HAS SOUPS 102806111 WITH SCORE 1.02959000011E8
AT ITER 9541 NEW BEST:: SOT 700035317 SOS 152887099 HAS SOPS 152887099 HAS SOUS 102801462 HAS SOUPS 102801462 WITH SCORE 1.02954349099E8
AT ITER 9544 NEW BEST:: SOT 700035314 SOS 152887093 HAS SOPS 152887093 HAS SOUS 102801456 HAS SOUPS 102801456 WITH SCORE 1.02954343093E8
AT ITER 9562 NEW BEST:: SOT 700034535 SOS 152886314 HAS SOPS 152886314 HAS SOUS 102800677 HAS SOUPS 102800677 WITH SCORE 1.02953563314E8
AT ITER 9566 NEW BEST:: SOT 700034199 SOS 152886310 HAS SOPS 152886310 HAS SOUS 102800508 HAS SOUPS 102800508 WITH SCORE 1.0295339431E8
AT ITER 9568 NEW BEST:: SOT 700032671 SOS 152883254 HAS SOPS 152883254 HAS SOUS 102795285 HAS SOUPS 102795285 WITH SCORE 1.02948168254E8
AT ITER 9614 NEW BEST:: SOT 700032670 SOS 152883252 HAS SOPS 152883252 HAS SOUS 102795283 HAS SOUPS 102795283 WITH SCORE 1.02948166252E8
AT ITER 9618 NEW BEST:: SOT 700028889 SOS 152880553 HAS SOPS 152880553 HAS SOUS 102792584 HAS SOUPS 102792584 WITH SCORE 1.02945464553E8
AT ITER 9627 NEW BEST:: SOT 700027223 SOS 152877221 HAS SOPS 152877221 HAS SOUS 102789252 HAS SOUPS 102789252 WITH SCORE 1.02942129221E8
AT ITER 9641 NEW BEST:: SOT 700024604 SOS 152871983 HAS SOPS 152871983 HAS SOUS 102787342 HAS SOUPS 102787342 WITH SCORE 1.02940213983E8
AT ITER 9648 NEW BEST:: SOT 700026345 SOS 152875464 HAS SOPS 152875464 HAS SOUS 102786799 HAS SOUPS 102786799 WITH SCORE 1.02939674464E8
AT ITER 9674 NEW BEST:: SOT 700021907 SOS 152867796 HAS SOPS 152867796 HAS SOUS 102781567 HAS SOUPS 102781567 WITH SCORE 1.02934434796E8
AT ITER 9689 NEW BEST:: SOT 700022048 SOS 152866876 HAS SOPS 152866876 HAS SOUS 102781107 HAS SOUPS 102781107 WITH SCORE 1.02933973876E8
AT ITER 9727 NEW BEST:: SOT 700020637 SOS 152865465 HAS SOPS 152865465 HAS SOUS 102779696 HAS SOUPS 102779696 WITH SCORE 1.02932561465E8
AT ITER 9740 NEW BEST:: SOT 700020571 SOS 152865432 HAS SOPS 152865432 HAS SOUS 102779663 HAS SOUPS 102779663 WITH SCORE 1.02932528432E8
AT ITER 9743 NEW BEST:: SOT 700017489 SOS 152859267 HAS SOPS 152859267 HAS SOUS 102773498 HAS SOUPS 102773498 WITH SCORE 1.02926357267E8
AT ITER 9745 NEW BEST:: SOT 700015911 SOS 152857689 HAS SOPS 152857689 HAS SOUS 102773498 HAS SOUPS 102773498 WITH SCORE 1.02926355689E8
AT ITER 9752 NEW BEST:: SOT 700016082 SOS 152858031 HAS SOPS 152858031 HAS SOUS 102770814 HAS SOUPS 102770814 WITH SCORE 1.02923672031E8
AT ITER 9756 NEW BEST:: SOT 700012769 SOS 152858029 HAS SOPS 152858029 HAS SOUS 102770812 HAS SOUPS 102770812 WITH SCORE 1.02923670029E8
AT ITER 9768 NEW BEST:: SOT 700013498 SOS 152855877 HAS SOPS 152855877 HAS SOUS 102768660 HAS SOUPS 102768660 WITH SCORE 1.02921515877E8
AT ITER 9802 NEW BEST:: SOT 700010566 SOS 152853964 HAS SOPS 152853964 HAS SOUS 102766750 HAS SOUPS 102766750 WITH SCORE 1.02919603964E8
AT ITER 9826 NEW BEST:: SOT 700008244 SOS 152851642 HAS SOPS 152851642 HAS SOUS 102764428 HAS SOUPS 102764428 WITH SCORE 1.02917279642E8
AT ITER 9827 NEW BEST:: SOT 700008186 SOS 152851527 HAS SOPS 152851527 HAS SOUS 102764313 HAS SOUPS 102764313 WITH SCORE 1.02917164527E8
AT ITER 9837 NEW BEST:: SOT 699986664 SOS 152864469 HAS SOPS 152864469 HAS SOUS 102764083 HAS SOUPS 102764083 WITH SCORE 1.02916947469E8
AT ITER 9855 NEW BEST:: SOT 699986167 SOS 152863475 HAS SOPS 152863475 HAS SOUS 102763284 HAS SOUPS 102763284 WITH SCORE 1.02916147475E8
AT ITER 9887 NEW BEST:: SOT 699986167 SOS 152863871 HAS SOPS 152863871 HAS SOUS 102763282 HAS SOUPS 102763282 WITH SCORE 1.02916145871E8
AT ITER 9905 NEW BEST:: SOT 699985942 SOS 152863422 HAS SOPS 152863422 HAS SOUS 102762833 HAS SOUPS 102762833 WITH SCORE 1.02915696422E8
AT ITER 9951 NEW BEST:: SOT 699983339 SOS 152850407 HAS SOPS 152850407 HAS SOUS 102757627 HAS SOUPS 102757627 WITH SCORE 1.02910477407E8
AT ITER 9976 NEW BEST:: SOT 699982350 SOS 152848429 HAS SOPS 152848429 HAS SOUS 102755649 HAS SOUPS 102755649 WITH SCORE 1.02908497429E8
AT ITER 9977 NEW BEST:: SOT 699981704 SOS 152852951 HAS SOPS 152852951 HAS SOUS 102755003 HAS SOUPS 102755003 WITH SCORE 1.02907855951E8
AT ITER 9992 NEW BEST:: SOT 699978977 SOS 152847497 HAS SOPS 152847497 HAS SOUS 102750863 HAS SOUPS 102750863 WITH SCORE 1.02903710497E8
AT ITER 9993 NEW BEST:: SOT 699978506 SOS 152846555 HAS SOPS 152846555 HAS SOUS 102746553 HAS SOUPS 102746553 WITH SCORE 1.02899399555E8

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

# 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-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 r063-tajo-158922806900064"
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 ;