fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r107-tall-167814484400552
Last Updated
May 14, 2023

About the Execution of Smart+red for DLCflexbar-PT-4b

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
800.399 3600000.00 3639150.00 9969.40 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 8.6K Feb 25 14:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 14:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 14:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 14:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 14:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 14:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 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 4.1M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678388225012

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-4b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 18:57:06] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 18:57:06] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 18:57:06] [INFO ] Load time of PNML (sax parser for PT used): 353 ms
[2023-03-09 18:57:07] [INFO ] Transformed 11440 places.
[2023-03-09 18:57:07] [INFO ] Transformed 17128 transitions.
[2023-03-09 18:57:07] [INFO ] Found NUPN structural information;
[2023-03-09 18:57:07] [INFO ] Parsed PT model containing 11440 places and 17128 transitions and 46731 arcs in 754 ms.
[2023-03-09 18:57:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 11440 places, 17128 transitions and 46731 arcs took 76 ms.
Total runtime 861 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 4b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 11440 places, 17128 transitions, 46731 arcs.
AT ITER 0 NEW BEST:: SOT 127073173 SOS 27850704 HAS SOPS 27850704 HAS SOUS 18098030 HAS SOUPS 18098030 WITH SCORE 1.8125880704E7
AT ITER 3 NEW BEST:: SOT 127072744 SOS 27849846 HAS SOPS 27849846 HAS SOUS 18097172 HAS SOUPS 18097172 WITH SCORE 1.8125021846E7
AT ITER 14 NEW BEST:: SOT 127070847 SOS 27847945 HAS SOPS 27847945 HAS SOUS 18095274 HAS SOUPS 18095274 WITH SCORE 1.8123121945E7
AT ITER 34 NEW BEST:: SOT 127069896 SOS 27848893 HAS SOPS 27848893 HAS SOUS 18094322 HAS SOUPS 18094322 WITH SCORE 1.8122170893E7
AT ITER 65 NEW BEST:: SOT 127069383 SOS 27847867 HAS SOPS 27847867 HAS SOUS 18093296 HAS SOUPS 18093296 WITH SCORE 1.8121143867E7
AT ITER 78 NEW BEST:: SOT 127068221 SOS 27846701 HAS SOPS 27846701 HAS SOUS 18092133 HAS SOUPS 18092133 WITH SCORE 1.8119979701E7
AT ITER 95 NEW BEST:: SOT 127068131 SOS 27846521 HAS SOPS 27846521 HAS SOUS 18092043 HAS SOUPS 18092043 WITH SCORE 1.8119889521E7
AT ITER 155 NEW BEST:: SOT 127066141 SOS 27864294 HAS SOPS 27864294 HAS SOUS 18090366 HAS SOUPS 18090366 WITH SCORE 1.8118230294E7
AT ITER 169 NEW BEST:: SOT 127066141 SOS 27864294 HAS SOPS 27864294 HAS SOUS 18089965 HAS SOUPS 18089965 WITH SCORE 1.8117829294E7
AT ITER 176 NEW BEST:: SOT 127064900 SOS 27861813 HAS SOPS 27861813 HAS SOUS 18087484 HAS SOUPS 18087484 WITH SCORE 1.8115345813E7
AT ITER 192 NEW BEST:: SOT 127062943 SOS 27859852 HAS SOPS 27859852 HAS SOUS 18085526 HAS SOUPS 18085526 WITH SCORE 1.8113385852E7
AT ITER 217 NEW BEST:: SOT 127061705 SOS 27857376 HAS SOPS 27857376 HAS SOUS 18084288 HAS SOUPS 18084288 WITH SCORE 1.8112145376E7
AT ITER 219 NEW BEST:: SOT 127060427 SOS 27856098 HAS SOPS 27856098 HAS SOUS 18083010 HAS SOUPS 18083010 WITH SCORE 1.8110866098E7
AT ITER 228 NEW BEST:: SOT 127059933 SOS 27857424 HAS SOPS 27857424 HAS SOUS 18082516 HAS SOUPS 18082516 WITH SCORE 1.8110373424E7
AT ITER 235 NEW BEST:: SOT 127059933 SOS 27857273 HAS SOPS 27857273 HAS SOUS 18082365 HAS SOUPS 18082365 WITH SCORE 1.8110222273E7
AT ITER 257 NEW BEST:: SOT 127059933 SOS 27858897 HAS SOPS 27858897 HAS SOUS 18082363 HAS SOUPS 18082363 WITH SCORE 1.8110221897E7
AT ITER 284 NEW BEST:: SOT 127059454 SOS 27857939 HAS SOPS 27857939 HAS SOUS 18081884 HAS SOUPS 18081884 WITH SCORE 1.8109741939E7
AT ITER 293 NEW BEST:: SOT 127059454 SOS 27856268 HAS SOPS 27856268 HAS SOUS 18081327 HAS SOUPS 18081327 WITH SCORE 1.8109183268E7
AT ITER 376 NEW BEST:: SOT 127059454 SOS 27856202 HAS SOPS 27856202 HAS SOUS 18081327 HAS SOUPS 18081327 WITH SCORE 1.8109183202E7
AT ITER 392 NEW BEST:: SOT 127058473 SOS 27854240 HAS SOPS 27854240 HAS SOUS 18079365 HAS SOUPS 18079365 WITH SCORE 1.810721924E7
AT ITER 403 NEW BEST:: SOT 127057391 SOS 27853158 HAS SOPS 27853158 HAS SOUS 18078283 HAS SOUPS 18078283 WITH SCORE 1.8106136158E7
AT ITER 443 NEW BEST:: SOT 127057391 SOS 27850716 HAS SOPS 27850716 HAS SOUS 18078282 HAS SOUPS 18078282 WITH SCORE 1.8106132716E7
AT ITER 448 NEW BEST:: SOT 127055241 SOS 27849637 HAS SOPS 27849637 HAS SOUS 18077206 HAS SOUPS 18077206 WITH SCORE 1.8105055637E7
AT ITER 449 NEW BEST:: SOT 127055240 SOS 27849635 HAS SOPS 27849635 HAS SOUS 18077204 HAS SOUPS 18077204 WITH SCORE 1.8105053635E7
AT ITER 484 NEW BEST:: SOT 127055172 SOS 27849499 HAS SOPS 27849499 HAS SOUS 18077068 HAS SOUPS 18077068 WITH SCORE 1.8104917499E7
AT ITER 489 NEW BEST:: SOT 127054666 SOS 27849246 HAS SOPS 27849246 HAS SOUS 18076815 HAS SOUPS 18076815 WITH SCORE 1.8104664246E7
AT ITER 509 NEW BEST:: SOT 127053521 SOS 27846956 HAS SOPS 27846956 HAS SOUS 18075670 HAS SOUPS 18075670 WITH SCORE 1.8103516956E7
AT ITER 519 NEW BEST:: SOT 127053521 SOS 27845960 HAS SOPS 27845960 HAS SOUS 18075670 HAS SOUPS 18075670 WITH SCORE 1.810351596E7
AT ITER 524 NEW BEST:: SOT 127051733 SOS 27842384 HAS SOPS 27842384 HAS SOUS 18072094 HAS SOUPS 18072094 WITH SCORE 1.8099936384E7
AT ITER 532 NEW BEST:: SOT 127048928 SOS 27842192 HAS SOPS 27842192 HAS SOUS 18071638 HAS SOUPS 18071638 WITH SCORE 1.8099480192E7
AT ITER 556 NEW BEST:: SOT 127048298 SOS 27841562 HAS SOPS 27841562 HAS SOUS 18071008 HAS SOUPS 18071008 WITH SCORE 1.8098849562E7
AT ITER 561 NEW BEST:: SOT 127048297 SOS 27841560 HAS SOPS 27841560 HAS SOUS 18071006 HAS SOUPS 18071006 WITH SCORE 1.809884756E7
AT ITER 568 NEW BEST:: SOT 127046633 SOS 27841388 HAS SOPS 27841388 HAS SOUS 18070113 HAS SOUPS 18070113 WITH SCORE 1.8097954388E7
AT ITER 576 NEW BEST:: SOT 127046632 SOS 27841386 HAS SOPS 27841386 HAS SOUS 18070111 HAS SOUPS 18070111 WITH SCORE 1.8097952386E7
AT ITER 591 NEW BEST:: SOT 127045802 SOS 27839726 HAS SOPS 27839726 HAS SOUS 18068451 HAS SOUPS 18068451 WITH SCORE 1.8096290726E7
AT ITER 605 NEW BEST:: SOT 127045692 SOS 27839507 HAS SOPS 27839507 HAS SOUS 18068232 HAS SOUPS 18068232 WITH SCORE 1.8096071507E7
AT ITER 611 NEW BEST:: SOT 127045508 SOS 27839684 HAS SOPS 27839684 HAS SOUS 18068046 HAS SOUPS 18068046 WITH SCORE 1.8095885684E7
AT ITER 639 NEW BEST:: SOT 127044004 SOS 27834372 HAS SOPS 27834372 HAS SOUS 18065590 HAS SOUPS 18065590 WITH SCORE 1.8093424372E7
AT ITER 644 NEW BEST:: SOT 127044003 SOS 27834370 HAS SOPS 27834370 HAS SOUS 18065588 HAS SOUPS 18065588 WITH SCORE 1.809342237E7
AT ITER 650 NEW BEST:: SOT 127040812 SOS 27833772 HAS SOPS 27833772 HAS SOUS 18064990 HAS SOUPS 18064990 WITH SCORE 1.8092823772E7
AT ITER 684 NEW BEST:: SOT 127038516 SOS 27831476 HAS SOPS 27831476 HAS SOUS 18062694 HAS SOUPS 18062694 WITH SCORE 1.8090525476E7
AT ITER 716 NEW BEST:: SOT 127037181 SOS 27830141 HAS SOPS 27830141 HAS SOUS 18061309 HAS SOUPS 18061309 WITH SCORE 1.8089139141E7
AT ITER 754 NEW BEST:: SOT 127035649 SOS 27827077 HAS SOPS 27827077 HAS SOUS 18058245 HAS SOUPS 18058245 WITH SCORE 1.8086072077E7
AT ITER 783 NEW BEST:: SOT 127035530 SOS 27835284 HAS SOPS 27835284 HAS SOUS 18058007 HAS SOUPS 18058007 WITH SCORE 1.8085842284E7
AT ITER 790 NEW BEST:: SOT 127033917 SOS 27833671 HAS SOPS 27833671 HAS SOUS 18056394 HAS SOUPS 18056394 WITH SCORE 1.8084227671E7
AT ITER 816 NEW BEST:: SOT 127033917 SOS 27833067 HAS SOPS 27833067 HAS SOUS 18056394 HAS SOUPS 18056394 WITH SCORE 1.8084227067E7
AT ITER 857 NEW BEST:: SOT 127031165 SOS 27818063 HAS SOPS 27818063 HAS SOUS 18048789 HAS SOUPS 18048789 WITH SCORE 1.8076607063E7
AT ITER 858 NEW BEST:: SOT 127031165 SOS 27816539 HAS SOPS 27816539 HAS SOUS 18048789 HAS SOUPS 18048789 WITH SCORE 1.8076605539E7
AT ITER 947 NEW BEST:: SOT 127030982 SOS 27816169 HAS SOPS 27816169 HAS SOUS 18048605 HAS SOUPS 18048605 WITH SCORE 1.8076421169E7
AT ITER 950 NEW BEST:: SOT 127030465 SOS 27815135 HAS SOPS 27815135 HAS SOUS 18047571 HAS SOUPS 18047571 WITH SCORE 1.8075386135E7
AT ITER 987 NEW BEST:: SOT 127030065 SOS 27814235 HAS SOPS 27814235 HAS SOUS 18046671 HAS SOUPS 18046671 WITH SCORE 1.8074485235E7
AT ITER 1003 NEW BEST:: SOT 127030065 SOS 27814111 HAS SOPS 27814111 HAS SOUS 18046671 HAS SOUPS 18046671 WITH SCORE 1.8074485111E7
AT ITER 1017 NEW BEST:: SOT 127028701 SOS 27811383 HAS SOPS 27811383 HAS SOUS 18043943 HAS SOUPS 18043943 WITH SCORE 1.8071754383E7
AT ITER 1033 NEW BEST:: SOT 127027774 SOS 27809529 HAS SOPS 27809529 HAS SOUS 18042089 HAS SOUPS 18042089 WITH SCORE 1.8069898529E7
AT ITER 1035 NEW BEST:: SOT 127026265 SOS 27808020 HAS SOPS 27808020 HAS SOUS 18040580 HAS SOUPS 18040580 WITH SCORE 1.806838802E7
AT ITER 1044 NEW BEST:: SOT 127026002 SOS 27807914 HAS SOPS 27807914 HAS SOUS 18040437 HAS SOUPS 18040437 WITH SCORE 1.8068244914E7
AT ITER 1081 NEW BEST:: SOT 127026001 SOS 27807913 HAS SOPS 27807913 HAS SOUS 18040436 HAS SOUPS 18040436 WITH SCORE 1.8068243913E7
AT ITER 1088 NEW BEST:: SOT 127024535 SOS 27800583 HAS SOPS 27800583 HAS SOUS 18037504 HAS SOUPS 18037504 WITH SCORE 1.8065304583E7
AT ITER 1106 NEW BEST:: SOT 127022219 SOS 27787043 HAS SOPS 27787043 HAS SOUS 18029655 HAS SOUPS 18029655 WITH SCORE 1.8057442043E7
AT ITER 1134 NEW BEST:: SOT 127022292 SOS 27787189 HAS SOPS 27787189 HAS SOUS 18026887 HAS SOUPS 18026887 WITH SCORE 1.8054674189E7
AT ITER 1143 NEW BEST:: SOT 127017614 SOS 27786288 HAS SOPS 27786288 HAS SOUS 18025016 HAS SOUPS 18025016 WITH SCORE 1.8052802288E7
AT ITER 1146 NEW BEST:: SOT 127016285 SOS 27786974 HAS SOPS 27786974 HAS SOUS 18024696 HAS SOUPS 18024696 WITH SCORE 1.8052482974E7
AT ITER 1189 NEW BEST:: SOT 127014751 SOS 27783906 HAS SOPS 27783906 HAS SOUS 18020841 HAS SOUPS 18020841 WITH SCORE 1.8048624906E7
AT ITER 1207 NEW BEST:: SOT 127014642 SOS 27783905 HAS SOPS 27783905 HAS SOUS 18020840 HAS SOUPS 18020840 WITH SCORE 1.8048623905E7
AT ITER 1211 NEW BEST:: SOT 127013024 SOS 27780669 HAS SOPS 27780669 HAS SOUS 18016826 HAS SOUPS 18016826 WITH SCORE 1.8044606669E7
AT ITER 1215 NEW BEST:: SOT 127013332 SOS 27779605 HAS SOPS 27779605 HAS SOUS 18016447 HAS SOUPS 18016447 WITH SCORE 1.8044226605E7
AT ITER 1267 NEW BEST:: SOT 127012841 SOS 27779601 HAS SOPS 27779601 HAS SOUS 18016446 HAS SOUPS 18016446 WITH SCORE 1.8044225601E7
AT ITER 1358 NEW BEST:: SOT 127011271 SOS 27778027 HAS SOPS 27778027 HAS SOUS 18014875 HAS SOUPS 18014875 WITH SCORE 1.8042653027E7
AT ITER 1393 NEW BEST:: SOT 127012262 SOS 27777034 HAS SOPS 27777034 HAS SOUS 18014874 HAS SOUPS 18014874 WITH SCORE 1.8042651034E7
AT ITER 1417 NEW BEST:: SOT 127012261 SOS 27777032 HAS SOPS 27777032 HAS SOUS 18014872 HAS SOUPS 18014872 WITH SCORE 1.8042649032E7
AT ITER 1427 NEW BEST:: SOT 127010601 SOS 27779247 HAS SOPS 27779247 HAS SOUS 18011105 HAS SOUPS 18011105 WITH SCORE 1.8038884247E7
AT ITER 1430 NEW BEST:: SOT 127010601 SOS 27779247 HAS SOPS 27779247 HAS SOUS 18011104 HAS SOUPS 18011104 WITH SCORE 1.8038883247E7
AT ITER 1442 NEW BEST:: SOT 127011636 SOS 27781317 HAS SOPS 27781317 HAS SOUS 18010177 HAS SOUPS 18010177 WITH SCORE 1.8037958317E7
AT ITER 1444 NEW BEST:: SOT 127009336 SOS 27768667 HAS SOPS 27768667 HAS SOUS 18007877 HAS SOUPS 18007877 WITH SCORE 1.8035645667E7
AT ITER 1462 NEW BEST:: SOT 127005364 SOS 27764695 HAS SOPS 27764695 HAS SOUS 18003905 HAS SOUPS 18003905 WITH SCORE 1.8031669695E7
AT ITER 1517 NEW BEST:: SOT 127005095 SOS 27764425 HAS SOPS 27764425 HAS SOUS 18003635 HAS SOUPS 18003635 WITH SCORE 1.8031399425E7
AT ITER 1584 NEW BEST:: SOT 127004570 SOS 27766563 HAS SOPS 27766563 HAS SOUS 18002584 HAS SOUPS 18002584 WITH SCORE 1.8030350563E7
AT ITER 1591 NEW BEST:: SOT 127003741 SOS 27764905 HAS SOPS 27764905 HAS SOUS 18000926 HAS SOUPS 18000926 WITH SCORE 1.8028690905E7
AT ITER 1594 NEW BEST:: SOT 127001559 SOS 27763814 HAS SOPS 27763814 HAS SOUS 17999835 HAS SOUPS 17999835 WITH SCORE 1.8027598814E7
AT ITER 1597 NEW BEST:: SOT 127001559 SOS 27764328 HAS SOPS 27764328 HAS SOUS 17999834 HAS SOUPS 17999834 WITH SCORE 1.8027598328E7
AT ITER 1608 NEW BEST:: SOT 127000794 SOS 27762798 HAS SOPS 27762798 HAS SOUS 17999069 HAS SOUPS 17999069 WITH SCORE 1.8026831798E7
AT ITER 1624 NEW BEST:: SOT 127000504 SOS 27762770 HAS SOPS 27762770 HAS SOUS 17999004 HAS SOUPS 17999004 WITH SCORE 1.802676677E7
AT ITER 1625 NEW BEST:: SOT 126999007 SOS 27761273 HAS SOPS 27761273 HAS SOUS 17997507 HAS SOUPS 17997507 WITH SCORE 1.8025268273E7
AT ITER 1667 NEW BEST:: SOT 126999007 SOS 27761273 HAS SOPS 27761273 HAS SOUS 17997506 HAS SOUPS 17997506 WITH SCORE 1.8025267273E7
AT ITER 1682 NEW BEST:: SOT 126996699 SOS 27763601 HAS SOPS 27763601 HAS SOUS 17992885 HAS SOUPS 17992885 WITH SCORE 1.8020648601E7
AT ITER 1688 NEW BEST:: SOT 126995365 SOS 27763140 HAS SOPS 27763140 HAS SOUS 17992424 HAS SOUPS 17992424 WITH SCORE 1.802018714E7
AT ITER 1699 NEW BEST:: SOT 126995039 SOS 27762488 HAS SOPS 27762488 HAS SOUS 17991772 HAS SOUPS 17991772 WITH SCORE 1.8019534488E7
AT ITER 1702 NEW BEST:: SOT 126993521 SOS 27760970 HAS SOPS 27760970 HAS SOUS 17990254 HAS SOUPS 17990254 WITH SCORE 1.801801497E7
AT ITER 1724 NEW BEST:: SOT 126987346 SOS 27756182 HAS SOPS 27756182 HAS SOUS 17985466 HAS SOUPS 17985466 WITH SCORE 1.8013222182E7
AT ITER 1748 NEW BEST:: SOT 126986904 SOS 27756181 HAS SOPS 27756181 HAS SOUS 17985465 HAS SOUPS 17985465 WITH SCORE 1.8013221181E7
AT ITER 1763 NEW BEST:: SOT 126986904 SOS 27756181 HAS SOPS 27756181 HAS SOUS 17982849 HAS SOUPS 17982849 WITH SCORE 1.8010605181E7
AT ITER 1772 NEW BEST:: SOT 126985743 SOS 27755118 HAS SOPS 27755118 HAS SOUS 17981789 HAS SOUPS 17981789 WITH SCORE 1.8009544118E7
AT ITER 1789 NEW BEST:: SOT 126984977 SOS 27754348 HAS SOPS 27754348 HAS SOUS 17981022 HAS SOUPS 17981022 WITH SCORE 1.8008776348E7
AT ITER 1803 NEW BEST:: SOT 126982803 SOS 27756518 HAS SOPS 27756518 HAS SOUS 17976673 HAS SOUPS 17976673 WITH SCORE 1.8004429518E7
AT ITER 1804 NEW BEST:: SOT 126981206 SOS 27754917 HAS SOPS 27754917 HAS SOUS 17975075 HAS SOUPS 17975075 WITH SCORE 1.8002829917E7
AT ITER 1805 NEW BEST:: SOT 126977900 SOS 27751611 HAS SOPS 27751611 HAS SOUS 17971769 HAS SOUPS 17971769 WITH SCORE 1.7999520611E7
AT ITER 1811 NEW BEST:: SOT 126977559 SOS 27750929 HAS SOPS 27750929 HAS SOUS 17971087 HAS SOUPS 17971087 WITH SCORE 1.7998837929E7
AT ITER 1840 NEW BEST:: SOT 126975873 SOS 27752943 HAS SOPS 27752943 HAS SOUS 17969401 HAS SOUPS 17969401 WITH SCORE 1.7997153943E7
AT ITER 1867 NEW BEST:: SOT 126975868 SOS 27758740 HAS SOPS 27758740 HAS SOUS 17969390 HAS SOUPS 17969390 WITH SCORE 1.799714874E7
AT ITER 1930 NEW BEST:: SOT 126973645 SOS 27760959 HAS SOPS 27760959 HAS SOUS 17964943 HAS SOUPS 17964943 WITH SCORE 1.7992703959E7
AT ITER 1933 NEW BEST:: SOT 126973645 SOS 27760959 HAS SOPS 27760959 HAS SOUS 17964942 HAS SOUPS 17964942 WITH SCORE 1.7992702959E7
AT ITER 2005 NEW BEST:: SOT 126974841 SOS 27763351 HAS SOPS 27763351 HAS SOUS 17964317 HAS SOUPS 17964317 WITH SCORE 1.7992080351E7
AT ITER 2007 NEW BEST:: SOT 126974841 SOS 27762919 HAS SOPS 27762919 HAS SOUS 17964101 HAS SOUPS 17964101 WITH SCORE 1.7991863919E7
AT ITER 2029 NEW BEST:: SOT 126970713 SOS 27756727 HAS SOPS 27756727 HAS SOUS 17957909 HAS SOUPS 17957909 WITH SCORE 1.7985665727E7
AT ITER 2051 NEW BEST:: SOT 126970713 SOS 27755402 HAS SOPS 27755402 HAS SOUS 17957909 HAS SOUPS 17957909 WITH SCORE 1.7985664402E7
AT ITER 2058 NEW BEST:: SOT 126970713 SOS 27755398 HAS SOPS 27755398 HAS SOUS 17957908 HAS SOUPS 17957908 WITH SCORE 1.7985663398E7
AT ITER 2071 NEW BEST:: SOT 126970440 SOS 27754852 HAS SOPS 27754852 HAS SOUS 17957362 HAS SOUPS 17957362 WITH SCORE 1.7985116852E7
AT ITER 2110 NEW BEST:: SOT 126969551 SOS 27755737 HAS SOPS 27755737 HAS SOUS 17957064 HAS SOUPS 17957064 WITH SCORE 1.7984819737E7
AT ITER 2115 NEW BEST:: SOT 126969551 SOS 27753937 HAS SOPS 27753937 HAS SOUS 17956164 HAS SOUPS 17956164 WITH SCORE 1.7983917937E7
AT ITER 2119 NEW BEST:: SOT 126969129 SOS 27753722 HAS SOPS 27753722 HAS SOUS 17955952 HAS SOUPS 17955952 WITH SCORE 1.7983705722E7
AT ITER 2136 NEW BEST:: SOT 126967628 SOS 27754983 HAS SOPS 27754983 HAS SOUS 17952632 HAS SOUPS 17952632 WITH SCORE 1.7980386983E7
AT ITER 2139 NEW BEST:: SOT 126964883 SOS 27751689 HAS SOPS 27751689 HAS SOUS 17951497 HAS SOUPS 17951497 WITH SCORE 1.7979248689E7
AT ITER 2159 NEW BEST:: SOT 126962427 SOS 27750461 HAS SOPS 27750461 HAS SOUS 17950269 HAS SOUPS 17950269 WITH SCORE 1.7978019461E7
AT ITER 2169 NEW BEST:: SOT 126961192 SOS 27749226 HAS SOPS 27749226 HAS SOUS 17949034 HAS SOUPS 17949034 WITH SCORE 1.7976783226E7
AT ITER 2198 NEW BEST:: SOT 126961225 SOS 27743065 HAS SOPS 27743065 HAS SOUS 17947453 HAS SOUPS 17947453 WITH SCORE 1.7975196065E7
AT ITER 2246 NEW BEST:: SOT 126959491 SOS 27741876 HAS SOPS 27741876 HAS SOUS 17946267 HAS SOUPS 17946267 WITH SCORE 1.7974008876E7
AT ITER 2249 NEW BEST:: SOT 126958014 SOS 27738922 HAS SOPS 27738922 HAS SOUS 17943313 HAS SOUPS 17943313 WITH SCORE 1.7971051922E7
AT ITER 2252 NEW BEST:: SOT 126957840 SOS 27739262 HAS SOPS 27739262 HAS SOUS 17943137 HAS SOUPS 17943137 WITH SCORE 1.7970876262E7
AT ITER 2296 NEW BEST:: SOT 126956556 SOS 27736694 HAS SOPS 27736694 HAS SOUS 17940569 HAS SOUPS 17940569 WITH SCORE 1.7968305694E7
AT ITER 2297 NEW BEST:: SOT 126956094 SOS 27735770 HAS SOPS 27735770 HAS SOUS 17938435 HAS SOUPS 17938435 WITH SCORE 1.796617077E7
AT ITER 2376 NEW BEST:: SOT 126954379 SOS 27725206 HAS SOPS 27725206 HAS SOUS 17935005 HAS SOUPS 17935005 WITH SCORE 1.7962730206E7
AT ITER 2377 NEW BEST:: SOT 126953446 SOS 27725202 HAS SOPS 27725202 HAS SOUS 17935004 HAS SOUPS 17935004 WITH SCORE 1.7962729202E7
AT ITER 2470 NEW BEST:: SOT 126951296 SOS 27724127 HAS SOPS 27724127 HAS SOUS 17933929 HAS SOUPS 17933929 WITH SCORE 1.7961653127E7
AT ITER 2507 NEW BEST:: SOT 126949350 SOS 27722181 HAS SOPS 27722181 HAS SOUS 17931983 HAS SOUPS 17931983 WITH SCORE 1.7959705181E7
AT ITER 2520 NEW BEST:: SOT 126949067 SOS 27721616 HAS SOPS 27721616 HAS SOUS 17931418 HAS SOUPS 17931418 WITH SCORE 1.7959139616E7
AT ITER 2543 NEW BEST:: SOT 126947050 SOS 27720565 HAS SOPS 27720565 HAS SOUS 17927976 HAS SOUPS 17927976 WITH SCORE 1.7955696565E7
AT ITER 2578 NEW BEST:: SOT 126947050 SOS 27720565 HAS SOPS 27720565 HAS SOUS 17927975 HAS SOUPS 17927975 WITH SCORE 1.7955695565E7
AT ITER 2607 NEW BEST:: SOT 126946871 SOS 27720207 HAS SOPS 27720207 HAS SOUS 17927617 HAS SOUPS 17927617 WITH SCORE 1.7955337207E7
AT ITER 2619 NEW BEST:: SOT 126945718 SOS 27719054 HAS SOPS 27719054 HAS SOUS 17926464 HAS SOUPS 17926464 WITH SCORE 1.7954183054E7
AT ITER 2645 NEW BEST:: SOT 126945482 SOS 27718582 HAS SOPS 27718582 HAS SOUS 17925992 HAS SOUPS 17925992 WITH SCORE 1.7953710582E7
AT ITER 2654 NEW BEST:: SOT 126943708 SOS 27712504 HAS SOPS 27712504 HAS SOUS 17924340 HAS SOUPS 17924340 WITH SCORE 1.7952052504E7
AT ITER 2690 NEW BEST:: SOT 126941693 SOS 27715865 HAS SOPS 27715865 HAS SOUS 17920152 HAS SOUPS 17920152 WITH SCORE 1.7947867865E7
AT ITER 2737 NEW BEST:: SOT 126940602 SOS 27714774 HAS SOPS 27714774 HAS SOUS 17919061 HAS SOUPS 17919061 WITH SCORE 1.7946775774E7
AT ITER 2755 NEW BEST:: SOT 126940517 SOS 27714604 HAS SOPS 27714604 HAS SOUS 17918972 HAS SOUPS 17918972 WITH SCORE 1.7946686604E7
AT ITER 2766 NEW BEST:: SOT 126939741 SOS 27714016 HAS SOPS 27714016 HAS SOUS 17918387 HAS SOUPS 17918387 WITH SCORE 1.7946101016E7
AT ITER 2780 NEW BEST:: SOT 126936470 SOS 27713792 HAS SOPS 27713792 HAS SOUS 17918163 HAS SOUPS 17918163 WITH SCORE 1.7945876792E7
AT ITER 2786 NEW BEST:: SOT 126936470 SOS 27713170 HAS SOPS 27713170 HAS SOUS 17917852 HAS SOUPS 17917852 WITH SCORE 1.794556517E7
AT ITER 2833 NEW BEST:: SOT 126936470 SOS 27713170 HAS SOPS 27713170 HAS SOUS 17917394 HAS SOUPS 17917394 WITH SCORE 1.794510717E7
AT ITER 2857 NEW BEST:: SOT 126936282 SOS 27704219 HAS SOPS 27704219 HAS SOUS 17915013 HAS SOUPS 17915013 WITH SCORE 1.7942717219E7
AT ITER 2880 NEW BEST:: SOT 126934834 SOS 27725524 HAS SOPS 27725524 HAS SOUS 17914498 HAS SOUPS 17914498 WITH SCORE 1.7942223524E7
AT ITER 2883 NEW BEST:: SOT 126934834 SOS 27725524 HAS SOPS 27725524 HAS SOUS 17914247 HAS SOUPS 17914247 WITH SCORE 1.7941972524E7
AT ITER 2892 NEW BEST:: SOT 126933979 SOS 27725520 HAS SOPS 27725520 HAS SOUS 17913391 HAS SOUPS 17913391 WITH SCORE 1.794111652E7
AT ITER 2900 NEW BEST:: SOT 126933490 SOS 27725031 HAS SOPS 27725031 HAS SOUS 17912902 HAS SOUPS 17912902 WITH SCORE 1.7940627031E7
AT ITER 2935 NEW BEST:: SOT 126933490 SOS 27728963 HAS SOPS 27728963 HAS SOUS 17912463 HAS SOUPS 17912463 WITH SCORE 1.7940191963E7
AT ITER 2945 NEW BEST:: SOT 126933280 SOS 27729383 HAS SOPS 27729383 HAS SOUS 17912253 HAS SOUPS 17912253 WITH SCORE 1.7939982383E7
AT ITER 2956 NEW BEST:: SOT 126933280 SOS 27729383 HAS SOPS 27729383 HAS SOUS 17912250 HAS SOUPS 17912250 WITH SCORE 1.7939979383E7
AT ITER 2964 NEW BEST:: SOT 126931102 SOS 27728294 HAS SOPS 27728294 HAS SOUS 17911161 HAS SOUPS 17911161 WITH SCORE 1.7938889294E7
AT ITER 2994 NEW BEST:: SOT 126930544 SOS 27726899 HAS SOPS 27726899 HAS SOUS 17910603 HAS SOUPS 17910603 WITH SCORE 1.7938329899E7
AT ITER 3025 NEW BEST:: SOT 126929614 SOS 27725039 HAS SOPS 27725039 HAS SOUS 17908743 HAS SOUPS 17908743 WITH SCORE 1.7936468039E7
AT ITER 3032 NEW BEST:: SOT 126929257 SOS 27725745 HAS SOPS 27725745 HAS SOUS 17908384 HAS SOUPS 17908384 WITH SCORE 1.7936109745E7
AT ITER 3072 NEW BEST:: SOT 126925565 SOS 27725018 HAS SOPS 27725018 HAS SOUS 17907657 HAS SOUPS 17907657 WITH SCORE 1.7935382018E7
AT ITER 3073 NEW BEST:: SOT 126924841 SOS 27724294 HAS SOPS 27724294 HAS SOUS 17907657 HAS SOUPS 17907657 WITH SCORE 1.7935381294E7
AT ITER 3106 NEW BEST:: SOT 126924839 SOS 27724290 HAS SOPS 27724290 HAS SOUS 17907653 HAS SOUPS 17907653 WITH SCORE 1.793537729E7
AT ITER 3108 NEW BEST:: SOT 126924839 SOS 27723739 HAS SOPS 27723739 HAS SOUS 17907638 HAS SOUPS 17907638 WITH SCORE 1.7935361739E7
AT ITER 3114 NEW BEST:: SOT 126923562 SOS 27723729 HAS SOPS 27723729 HAS SOUS 17906842 HAS SOUPS 17906842 WITH SCORE 1.7934565729E7
AT ITER 3120 NEW BEST:: SOT 126921569 SOS 27726987 HAS SOPS 27726987 HAS SOUS 17902706 HAS SOUPS 17902706 WITH SCORE 1.7930432987E7
AT ITER 3131 NEW BEST:: SOT 126919615 SOS 27723079 HAS SOPS 27723079 HAS SOUS 17898798 HAS SOUPS 17898798 WITH SCORE 1.7926521079E7
AT ITER 3136 NEW BEST:: SOT 126919171 SOS 27721303 HAS SOPS 27721303 HAS SOUS 17898354 HAS SOUPS 17898354 WITH SCORE 1.7926075303E7
AT ITER 3154 NEW BEST:: SOT 126917766 SOS 27720643 HAS SOPS 27720643 HAS SOUS 17897227 HAS SOUPS 17897227 WITH SCORE 1.7924947643E7
AT ITER 3163 NEW BEST:: SOT 126917130 SOS 27720003 HAS SOPS 27720003 HAS SOUS 17896590 HAS SOUPS 17896590 WITH SCORE 1.7924310003E7
AT ITER 3175 NEW BEST:: SOT 126916087 SOS 27717917 HAS SOPS 27717917 HAS SOUS 17894504 HAS SOUPS 17894504 WITH SCORE 1.7922221917E7
AT ITER 3180 NEW BEST:: SOT 126916087 SOS 27725584 HAS SOPS 27725584 HAS SOUS 17893650 HAS SOUPS 17893650 WITH SCORE 1.7921375584E7
AT ITER 3199 NEW BEST:: SOT 126915713 SOS 27724836 HAS SOPS 27724836 HAS SOUS 17892902 HAS SOUPS 17892902 WITH SCORE 1.7920626836E7
AT ITER 3200 NEW BEST:: SOT 126915713 SOS 27724836 HAS SOPS 27724836 HAS SOUS 17892555 HAS SOUPS 17892555 WITH SCORE 1.7920279836E7
AT ITER 3220 NEW BEST:: SOT 126914777 SOS 27723900 HAS SOPS 27723900 HAS SOUS 17891619 HAS SOUPS 17891619 WITH SCORE 1.79193429E7
AT ITER 3249 NEW BEST:: SOT 126914777 SOS 27719232 HAS SOPS 27719232 HAS SOUS 17891619 HAS SOUPS 17891619 WITH SCORE 1.7919338232E7
AT ITER 3274 NEW BEST:: SOT 126914777 SOS 27719232 HAS SOPS 27719232 HAS SOUS 17891576 HAS SOUPS 17891576 WITH SCORE 1.7919295232E7
AT ITER 3294 NEW BEST:: SOT 126914724 SOS 27719126 HAS SOPS 27719126 HAS SOUS 17891470 HAS SOUPS 17891470 WITH SCORE 1.7919189126E7
AT ITER 3322 NEW BEST:: SOT 126913646 SOS 27726662 HAS SOPS 27726662 HAS SOUS 17889313 HAS SOUPS 17889313 WITH SCORE 1.7917039662E7
AT ITER 3328 NEW BEST:: SOT 126912122 SOS 27725297 HAS SOPS 27725297 HAS SOUS 17887948 HAS SOUPS 17887948 WITH SCORE 1.7915673297E7
AT ITER 3329 NEW BEST:: SOT 126912046 SOS 27725145 HAS SOPS 27725145 HAS SOUS 17887872 HAS SOUPS 17887872 WITH SCORE 1.7915597145E7
AT ITER 3451 NEW BEST:: SOT 126912045 SOS 27725143 HAS SOPS 27725143 HAS SOUS 17887870 HAS SOUPS 17887870 WITH SCORE 1.7915595143E7
AT ITER 3460 NEW BEST:: SOT 126911670 SOS 27724392 HAS SOPS 27724392 HAS SOUS 17887119 HAS SOUPS 17887119 WITH SCORE 1.7914843392E7
AT ITER 3463 NEW BEST:: SOT 126911670 SOS 27723753 HAS SOPS 27723753 HAS SOUS 17886480 HAS SOUPS 17886480 WITH SCORE 1.7914203753E7
AT ITER 3485 NEW BEST:: SOT 126911324 SOS 27723061 HAS SOPS 27723061 HAS SOUS 17885788 HAS SOUPS 17885788 WITH SCORE 1.7913511061E7
AT ITER 3491 NEW BEST:: SOT 126911274 SOS 27723015 HAS SOPS 27723015 HAS SOUS 17885684 HAS SOUPS 17885684 WITH SCORE 1.7913407015E7
AT ITER 3528 NEW BEST:: SOT 126909553 SOS 27721294 HAS SOPS 27721294 HAS SOUS 17883963 HAS SOUPS 17883963 WITH SCORE 1.7911684294E7
AT ITER 3567 NEW BEST:: SOT 126908927 SOS 27721290 HAS SOPS 27721290 HAS SOUS 17883667 HAS SOUPS 17883667 WITH SCORE 1.791138829E7
AT ITER 3587 NEW BEST:: SOT 126908927 SOS 27720632 HAS SOPS 27720632 HAS SOUS 17883667 HAS SOUPS 17883667 WITH SCORE 1.7911387632E7
AT ITER 3595 NEW BEST:: SOT 126908525 SOS 27719828 HAS SOPS 27719828 HAS SOUS 17882750 HAS SOUPS 17882750 WITH SCORE 1.7910469828E7
AT ITER 3628 NEW BEST:: SOT 126908492 SOS 27719762 HAS SOPS 27719762 HAS SOUS 17882684 HAS SOUPS 17882684 WITH SCORE 1.7910403762E7
AT ITER 3634 NEW BEST:: SOT 126908281 SOS 27719340 HAS SOPS 27719340 HAS SOUS 17882262 HAS SOUPS 17882262 WITH SCORE 1.790998134E7
AT ITER 3664 NEW BEST:: SOT 126907676 SOS 27718682 HAS SOPS 27718682 HAS SOUS 17881365 HAS SOUPS 17881365 WITH SCORE 1.7909083682E7
AT ITER 3703 NEW BEST:: SOT 126907675 SOS 27718680 HAS SOPS 27718680 HAS SOUS 17881363 HAS SOUPS 17881363 WITH SCORE 1.790908168E7
AT ITER 3718 NEW BEST:: SOT 126907675 SOS 27718680 HAS SOPS 27718680 HAS SOUS 17881362 HAS SOUPS 17881362 WITH SCORE 1.790908068E7
AT ITER 3769 NEW BEST:: SOT 126906028 SOS 27718193 HAS SOPS 27718193 HAS SOUS 17880536 HAS SOUPS 17880536 WITH SCORE 1.7908254193E7
AT ITER 3783 NEW BEST:: SOT 126905479 SOS 27717095 HAS SOPS 27717095 HAS SOUS 17879986 HAS SOUPS 17879986 WITH SCORE 1.7907703095E7
AT ITER 3810 NEW BEST:: SOT 126905017 SOS 27717094 HAS SOPS 27717094 HAS SOUS 17879985 HAS SOUPS 17879985 WITH SCORE 1.7907702094E7
AT ITER 3819 NEW BEST:: SOT 126902305 SOS 27716443 HAS SOPS 27716443 HAS SOUS 17879267 HAS SOUPS 17879267 WITH SCORE 1.7906983443E7
AT ITER 3849 NEW BEST:: SOT 126901421 SOS 27715559 HAS SOPS 27715559 HAS SOUS 17878383 HAS SOUPS 17878383 WITH SCORE 1.7906098559E7
AT ITER 3866 NEW BEST:: SOT 126901209 SOS 27715975 HAS SOPS 27715975 HAS SOUS 17878169 HAS SOUPS 17878169 WITH SCORE 1.7905884975E7
AT ITER 3956 NEW BEST:: SOT 126900575 SOS 27714707 HAS SOPS 27714707 HAS SOUS 17877535 HAS SOUPS 17877535 WITH SCORE 1.7905249707E7
AT ITER 3981 NEW BEST:: SOT 126900482 SOS 27714800 HAS SOPS 27714800 HAS SOUS 17877442 HAS SOUPS 17877442 WITH SCORE 1.79051568E7
AT ITER 3989 NEW BEST:: SOT 126900027 SOS 27713890 HAS SOPS 27713890 HAS SOUS 17876532 HAS SOUPS 17876532 WITH SCORE 1.790424589E7
AT ITER 3997 NEW BEST:: SOT 126899124 SOS 27713366 HAS SOPS 27713366 HAS SOUS 17876011 HAS SOUPS 17876011 WITH SCORE 1.7903724366E7
AT ITER 4013 NEW BEST:: SOT 126898700 SOS 27713154 HAS SOPS 27713154 HAS SOUS 17875799 HAS SOUPS 17875799 WITH SCORE 1.7903512154E7
AT ITER 4016 NEW BEST:: SOT 126897972 SOS 27711698 HAS SOPS 27711698 HAS SOUS 17873889 HAS SOUPS 17873889 WITH SCORE 1.7901600698E7
AT ITER 4121 NEW BEST:: SOT 126897043 SOS 27713894 HAS SOPS 27713894 HAS SOUS 17873782 HAS SOUPS 17873782 WITH SCORE 1.7901495894E7
AT ITER 4123 NEW BEST:: SOT 126897243 SOS 27714294 HAS SOPS 27714294 HAS SOUS 17870621 HAS SOUPS 17870621 WITH SCORE 1.7898335294E7
AT ITER 4145 NEW BEST:: SOT 126894999 SOS 27694387 HAS SOPS 27694387 HAS SOUS 17869851 HAS SOUPS 17869851 WITH SCORE 1.7897545387E7
AT ITER 4179 NEW BEST:: SOT 126894998 SOS 27694385 HAS SOPS 27694385 HAS SOUS 17869849 HAS SOUPS 17869849 WITH SCORE 1.7897543385E7
AT ITER 4195 NEW BEST:: SOT 126894572 SOS 27693533 HAS SOPS 27693533 HAS SOUS 17869422 HAS SOUPS 17869422 WITH SCORE 1.7897115533E7
AT ITER 4241 NEW BEST:: SOT 126894498 SOS 27693385 HAS SOPS 27693385 HAS SOUS 17869274 HAS SOUPS 17869274 WITH SCORE 1.7896967385E7
AT ITER 4247 NEW BEST:: SOT 126893843 SOS 27693381 HAS SOPS 27693381 HAS SOUS 17869273 HAS SOUPS 17869273 WITH SCORE 1.7896966381E7
AT ITER 4263 NEW BEST:: SOT 126891817 SOS 27695407 HAS SOPS 27695407 HAS SOUS 17866436 HAS SOUPS 17866436 WITH SCORE 1.7894131407E7
AT ITER 4288 NEW BEST:: SOT 126891763 SOS 27695299 HAS SOPS 27695299 HAS SOUS 17866328 HAS SOUPS 17866328 WITH SCORE 1.7894023299E7
AT ITER 4293 NEW BEST:: SOT 126892313 SOS 27696399 HAS SOPS 27696399 HAS SOUS 17866199 HAS SOUPS 17866199 WITH SCORE 1.7893895399E7
AT ITER 4322 NEW BEST:: SOT 126892213 SOS 27696199 HAS SOPS 27696199 HAS SOUS 17865999 HAS SOUPS 17865999 WITH SCORE 1.7893695199E7
AT ITER 4350 NEW BEST:: SOT 126889242 SOS 27698481 HAS SOPS 27698481 HAS SOUS 17864607 HAS SOUPS 17864607 WITH SCORE 1.7892305481E7
AT ITER 4374 NEW BEST:: SOT 126888846 SOS 27696105 HAS SOPS 27696105 HAS SOUS 17864013 HAS SOUPS 17864013 WITH SCORE 1.7891709105E7
AT ITER 4395 NEW BEST:: SOT 126888846 SOS 27695672 HAS SOPS 27695672 HAS SOUS 17863580 HAS SOUPS 17863580 WITH SCORE 1.7891275672E7
AT ITER 4407 NEW BEST:: SOT 126888846 SOS 27698726 HAS SOPS 27698726 HAS SOUS 17862936 HAS SOUPS 17862936 WITH SCORE 1.7890634726E7
AT ITER 4408 NEW BEST:: SOT 126888846 SOS 27697426 HAS SOPS 27697426 HAS SOUS 17862936 HAS SOUPS 17862936 WITH SCORE 1.7890633426E7
AT ITER 4430 NEW BEST:: SOT 126884475 SOS 27695392 HAS SOPS 27695392 HAS SOUS 17860801 HAS SOUPS 17860801 WITH SCORE 1.7888496392E7
AT ITER 4443 NEW BEST:: SOT 126884475 SOS 27695249 HAS SOPS 27695249 HAS SOUS 17860658 HAS SOUPS 17860658 WITH SCORE 1.7888353249E7
AT ITER 4445 NEW BEST:: SOT 126884006 SOS 27694780 HAS SOPS 27694780 HAS SOUS 17860189 HAS SOUPS 17860189 WITH SCORE 1.788788378E7
AT ITER 4490 NEW BEST:: SOT 126883648 SOS 27695492 HAS SOPS 27695492 HAS SOUS 17859830 HAS SOUPS 17859830 WITH SCORE 1.7887525492E7
AT ITER 4501 NEW BEST:: SOT 126883647 SOS 27694286 HAS SOPS 27694286 HAS SOUS 17859305 HAS SOUPS 17859305 WITH SCORE 1.7886999286E7
AT ITER 4503 NEW BEST:: SOT 126883647 SOS 27694286 HAS SOPS 27694286 HAS SOUS 17858775 HAS SOUPS 17858775 WITH SCORE 1.7886469286E7
AT ITER 4507 NEW BEST:: SOT 126884613 SOS 27698187 HAS SOPS 27698187 HAS SOUS 17857767 HAS SOUPS 17857767 WITH SCORE 1.7885465187E7
AT ITER 4560 NEW BEST:: SOT 126884186 SOS 27697333 HAS SOPS 27697333 HAS SOUS 17856913 HAS SOUPS 17856913 WITH SCORE 1.7884610333E7
AT ITER 4564 NEW BEST:: SOT 126881801 SOS 27694888 HAS SOPS 27694888 HAS SOUS 17854513 HAS SOUPS 17854513 WITH SCORE 1.7882207888E7
AT ITER 4622 NEW BEST:: SOT 126881693 SOS 27694996 HAS SOPS 27694996 HAS SOUS 17854405 HAS SOUPS 17854405 WITH SCORE 1.7882099996E7
AT ITER 4644 NEW BEST:: SOT 126881065 SOS 27693740 HAS SOPS 27693740 HAS SOUS 17852927 HAS SOUPS 17852927 WITH SCORE 1.788062074E7
AT ITER 4669 NEW BEST:: SOT 126879266 SOS 27682375 HAS SOPS 27682375 HAS SOUS 17849329 HAS SOUPS 17849329 WITH SCORE 1.7877011375E7
AT ITER 4693 NEW BEST:: SOT 126879535 SOS 27682106 HAS SOPS 27682106 HAS SOUS 17849060 HAS SOUPS 17849060 WITH SCORE 1.7876742106E7
AT ITER 4694 NEW BEST:: SOT 126878592 SOS 27680220 HAS SOPS 27680220 HAS SOUS 17847174 HAS SOUPS 17847174 WITH SCORE 1.787485422E7
AT ITER 4701 NEW BEST:: SOT 126878302 SOS 27680219 HAS SOPS 27680219 HAS SOUS 17847173 HAS SOUPS 17847173 WITH SCORE 1.7874853219E7
AT ITER 4715 NEW BEST:: SOT 126878134 SOS 27679883 HAS SOPS 27679883 HAS SOUS 17846837 HAS SOUPS 17846837 WITH SCORE 1.7874516883E7
AT ITER 4731 NEW BEST:: SOT 126878134 SOS 27688675 HAS SOPS 27688675 HAS SOUS 17845858 HAS SOUPS 17845858 WITH SCORE 1.7873546675E7
AT ITER 4759 NEW BEST:: SOT 126877684 SOS 27687775 HAS SOPS 27687775 HAS SOUS 17843702 HAS SOUPS 17843702 WITH SCORE 1.7871389775E7
AT ITER 4761 NEW BEST:: SOT 126877403 SOS 27687213 HAS SOPS 27687213 HAS SOUS 17841952 HAS SOUPS 17841952 WITH SCORE 1.7869639213E7
AT ITER 4772 NEW BEST:: SOT 126875269 SOS 27682945 HAS SOPS 27682945 HAS SOUS 17837684 HAS SOUPS 17837684 WITH SCORE 1.7865366945E7
AT ITER 4825 NEW BEST:: SOT 126873593 SOS 27671853 HAS SOPS 27671853 HAS SOUS 17834332 HAS SOUPS 17834332 WITH SCORE 1.7862003853E7
AT ITER 4835 NEW BEST:: SOT 126872553 SOS 27679133 HAS SOPS 27679133 HAS SOUS 17833292 HAS SOUPS 17833292 WITH SCORE 1.7860971133E7
AT ITER 4843 NEW BEST:: SOT 126872553 SOS 27679583 HAS SOPS 27679583 HAS SOUS 17833290 HAS SOUPS 17833290 WITH SCORE 1.7860969583E7
AT ITER 4856 NEW BEST:: SOT 126872553 SOS 27679583 HAS SOPS 27679583 HAS SOUS 17833289 HAS SOUPS 17833289 WITH SCORE 1.7860968583E7
AT ITER 4857 NEW BEST:: SOT 126871431 SOS 27679967 HAS SOPS 27679967 HAS SOUS 17833022 HAS SOUPS 17833022 WITH SCORE 1.7860701967E7
AT ITER 4870 NEW BEST:: SOT 126870636 SOS 27677582 HAS SOPS 27677582 HAS SOUS 17830865 HAS SOUPS 17830865 WITH SCORE 1.7858542582E7
AT ITER 4877 NEW BEST:: SOT 126870456 SOS 27678842 HAS SOPS 27678842 HAS SOUS 17830505 HAS SOUPS 17830505 WITH SCORE 1.7858183842E7
AT ITER 4882 NEW BEST:: SOT 126840752 SOS 27774750 HAS SOPS 27774750 HAS SOUS 17804013 HAS SOUPS 17804013 WITH SCORE 1.783178775E7
AT ITER 4980 NEW BEST:: SOT 126840678 SOS 27774602 HAS SOPS 27774602 HAS SOUS 17803865 HAS SOUPS 17803865 WITH SCORE 1.7831639602E7
AT ITER 4981 NEW BEST:: SOT 126840678 SOS 27774156 HAS SOPS 27774156 HAS SOUS 17803419 HAS SOUPS 17803419 WITH SCORE 1.7831193156E7
AT ITER 4987 NEW BEST:: SOT 126840373 SOS 27774639 HAS SOPS 27774639 HAS SOUS 17803311 HAS SOUPS 17803311 WITH SCORE 1.7831085639E7
AT ITER 5008 NEW BEST:: SOT 126840165 SOS 27774223 HAS SOPS 27774223 HAS SOUS 17802895 HAS SOUPS 17802895 WITH SCORE 1.7830669223E7
AT ITER 5011 NEW BEST:: SOT 126839985 SOS 27778719 HAS SOPS 27778719 HAS SOUS 17801813 HAS SOUPS 17801813 WITH SCORE 1.7829591719E7
AT ITER 5065 NEW BEST:: SOT 126839883 SOS 27778515 HAS SOPS 27778515 HAS SOUS 17801609 HAS SOUPS 17801609 WITH SCORE 1.7829387515E7
AT ITER 5069 NEW BEST:: SOT 126835751 SOS 27776449 HAS SOPS 27776449 HAS SOUS 17799543 HAS SOUPS 17799543 WITH SCORE 1.7827319449E7
AT ITER 5070 NEW BEST:: SOT 126834995 SOS 27782211 HAS SOPS 27782211 HAS SOUS 17798030 HAS SOUPS 17798030 WITH SCORE 1.7825812211E7
AT ITER 5084 NEW BEST:: SOT 126834158 SOS 27781374 HAS SOPS 27781374 HAS SOUS 17797193 HAS SOUPS 17797193 WITH SCORE 1.7824974374E7
AT ITER 5091 NEW BEST:: SOT 126834158 SOS 27780585 HAS SOPS 27780585 HAS SOUS 17797193 HAS SOUPS 17797193 WITH SCORE 1.7824973585E7
AT ITER 5095 NEW BEST:: SOT 126832403 SOS 27778830 HAS SOPS 27778830 HAS SOUS 17795438 HAS SOUPS 17795438 WITH SCORE 1.782321683E7
AT ITER 5102 NEW BEST:: SOT 126830851 SOS 27771070 HAS SOPS 27771070 HAS SOUS 17793324 HAS SOUPS 17793324 WITH SCORE 1.782109507E7
AT ITER 5103 NEW BEST:: SOT 126831353 SOS 27772074 HAS SOPS 27772074 HAS SOUS 17790856 HAS SOUPS 17790856 WITH SCORE 1.7818628074E7
AT ITER 5109 NEW BEST:: SOT 126830694 SOS 27771415 HAS SOPS 27771415 HAS SOUS 17790197 HAS SOUPS 17790197 WITH SCORE 1.7817968415E7
AT ITER 5110 NEW BEST:: SOT 126830061 SOS 27769513 HAS SOPS 27769513 HAS SOUS 17788930 HAS SOUPS 17788930 WITH SCORE 1.7816699513E7
AT ITER 5117 NEW BEST:: SOT 126825581 SOS 27773726 HAS SOPS 27773726 HAS SOUS 17787354 HAS SOUPS 17787354 WITH SCORE 1.7815127726E7
AT ITER 5141 NEW BEST:: SOT 126825474 SOS 27773508 HAS SOPS 27773508 HAS SOUS 17787139 HAS SOUPS 17787139 WITH SCORE 1.7814912508E7
AT ITER 5152 NEW BEST:: SOT 126825602 SOS 27773633 HAS SOPS 27773633 HAS SOUS 17787138 HAS SOUPS 17787138 WITH SCORE 1.7814911633E7
AT ITER 5212 NEW BEST:: SOT 126825395 SOS 27774043 HAS SOPS 27774043 HAS SOUS 17786930 HAS SOUPS 17786930 WITH SCORE 1.7814704043E7
AT ITER 5267 NEW BEST:: SOT 126824525 SOS 27773770 HAS SOPS 27773770 HAS SOUS 17786657 HAS SOUPS 17786657 WITH SCORE 1.781443077E7
AT ITER 5270 NEW BEST:: SOT 126822089 SOS 27771334 HAS SOPS 27771334 HAS SOUS 17784221 HAS SOUPS 17784221 WITH SCORE 1.7811992334E7
AT ITER 5305 NEW BEST:: SOT 126822089 SOS 27769069 HAS SOPS 27769069 HAS SOUS 17784221 HAS SOUPS 17784221 WITH SCORE 1.7811990069E7
AT ITER 5317 NEW BEST:: SOT 126820568 SOS 27766027 HAS SOPS 27766027 HAS SOUS 17779278 HAS SOUPS 17779278 WITH SCORE 1.7807044027E7
AT ITER 5319 NEW BEST:: SOT 126819856 SOS 27765183 HAS SOPS 27765183 HAS SOUS 17778355 HAS SOUPS 17778355 WITH SCORE 1.7806120183E7
AT ITER 5397 NEW BEST:: SOT 126817702 SOS 27764433 HAS SOPS 27764433 HAS SOUS 17777605 HAS SOUPS 17777605 WITH SCORE 1.7805369433E7
AT ITER 5403 NEW BEST:: SOT 126812226 SOS 27766851 HAS SOPS 27766851 HAS SOUS 17777354 HAS SOUPS 17777354 WITH SCORE 1.7805120851E7
AT ITER 5415 NEW BEST:: SOT 126804317 SOS 27761099 HAS SOPS 27761099 HAS SOUS 17773040 HAS SOUPS 17773040 WITH SCORE 1.7800801099E7
AT ITER 5431 NEW BEST:: SOT 126804317 SOS 27761099 HAS SOPS 27761099 HAS SOUS 17773039 HAS SOUPS 17773039 WITH SCORE 1.7800800099E7
AT ITER 5445 NEW BEST:: SOT 126804020 SOS 27761330 HAS SOPS 27761330 HAS SOUS 17773017 HAS SOUPS 17773017 WITH SCORE 1.780077833E7
AT ITER 5448 NEW BEST:: SOT 126789309 SOS 27772250 HAS SOPS 27772250 HAS SOUS 17771561 HAS SOUPS 17771561 WITH SCORE 1.779933325E7
AT ITER 5461 NEW BEST:: SOT 126789259 SOS 27772150 HAS SOPS 27772150 HAS SOUS 17771461 HAS SOUPS 17771461 WITH SCORE 1.779923315E7
AT ITER 5467 NEW BEST:: SOT 126787777 SOS 27787806 HAS SOPS 27787806 HAS SOUS 17768496 HAS SOUPS 17768496 WITH SCORE 1.7796283806E7
AT ITER 5470 NEW BEST:: SOT 126788246 SOS 27788744 HAS SOPS 27788744 HAS SOUS 17766887 HAS SOUPS 17766887 WITH SCORE 1.7794675744E7
AT ITER 5479 NEW BEST:: SOT 126788246 SOS 27788743 HAS SOPS 27788743 HAS SOUS 17766885 HAS SOUPS 17766885 WITH SCORE 1.7794673743E7
AT ITER 5544 NEW BEST:: SOT 126786706 SOS 27861074 HAS SOPS 27861074 HAS SOUS 17765344 HAS SOUPS 17765344 WITH SCORE 1.7793205074E7
AT ITER 5545 NEW BEST:: SOT 126785464 SOS 27859830 HAS SOPS 27859830 HAS SOUS 17764410 HAS SOUPS 17764410 WITH SCORE 1.779226983E7
AT ITER 5552 NEW BEST:: SOT 126783006 SOS 27861712 HAS SOPS 27861712 HAS SOUS 17764218 HAS SOUPS 17764218 WITH SCORE 1.7792079712E7
AT ITER 5618 NEW BEST:: SOT 126783006 SOS 27860944 HAS SOPS 27860944 HAS SOUS 17764218 HAS SOUPS 17764218 WITH SCORE 1.7792078944E7
AT ITER 5646 NEW BEST:: SOT 126782422 SOS 27862096 HAS SOPS 27862096 HAS SOUS 17763634 HAS SOUPS 17763634 WITH SCORE 1.7791496096E7
AT ITER 5679 NEW BEST:: SOT 126781406 SOS 27860063 HAS SOPS 27860063 HAS SOUS 17761601 HAS SOUPS 17761601 WITH SCORE 1.7789461063E7
AT ITER 5699 NEW BEST:: SOT 126779698 SOS 27858355 HAS SOPS 27858355 HAS SOUS 17759893 HAS SOUPS 17759893 WITH SCORE 1.7787751355E7
AT ITER 5743 NEW BEST:: SOT 126779698 SOS 27858249 HAS SOPS 27858249 HAS SOUS 17759893 HAS SOUPS 17759893 WITH SCORE 1.7787751249E7
AT ITER 5770 NEW BEST:: SOT 126777700 SOS 27854253 HAS SOPS 27854253 HAS SOUS 17755897 HAS SOUPS 17755897 WITH SCORE 1.7783751253E7
AT ITER 5773 NEW BEST:: SOT 126777700 SOS 27852609 HAS SOPS 27852609 HAS SOUS 17755075 HAS SOUPS 17755075 WITH SCORE 1.7782927609E7
AT ITER 5779 NEW BEST:: SOT 126777538 SOS 27852285 HAS SOPS 27852285 HAS SOUS 17754912 HAS SOUPS 17754912 WITH SCORE 1.7782764285E7
AT ITER 5803 NEW BEST:: SOT 126777538 SOS 27853273 HAS SOPS 27853273 HAS SOUS 17754910 HAS SOUPS 17754910 WITH SCORE 1.7782763273E7
AT ITER 5827 NEW BEST:: SOT 126777403 SOS 27853138 HAS SOPS 27853138 HAS SOUS 17754775 HAS SOUPS 17754775 WITH SCORE 1.7782628138E7
AT ITER 5853 NEW BEST:: SOT 126777403 SOS 27853138 HAS SOPS 27853138 HAS SOUS 17752355 HAS SOUPS 17752355 WITH SCORE 1.7780208138E7
AT ITER 5855 NEW BEST:: SOT 126777403 SOS 27851103 HAS SOPS 27851103 HAS SOUS 17752355 HAS SOUPS 17752355 WITH SCORE 1.7780206103E7
AT ITER 5866 NEW BEST:: SOT 126777084 SOS 27851731 HAS SOPS 27851731 HAS SOUS 17752354 HAS SOUPS 17752354 WITH SCORE 1.7780205731E7
AT ITER 5871 NEW BEST:: SOT 126777084 SOS 27851731 HAS SOPS 27851731 HAS SOUS 17751541 HAS SOUPS 17751541 WITH SCORE 1.7779392731E7
AT ITER 5881 NEW BEST:: SOT 126777084 SOS 27849597 HAS SOPS 27849597 HAS SOUS 17750474 HAS SOUPS 17750474 WITH SCORE 1.7778323597E7
AT ITER 5897 NEW BEST:: SOT 126777084 SOS 27849245 HAS SOPS 27849245 HAS SOUS 17750474 HAS SOUPS 17750474 WITH SCORE 1.7778323245E7
AT ITER 5898 NEW BEST:: SOT 126775372 SOS 27848147 HAS SOPS 27848147 HAS SOUS 17749788 HAS SOUPS 17749788 WITH SCORE 1.7777636147E7
AT ITER 5914 NEW BEST:: SOT 126774020 SOS 27847279 HAS SOPS 27847279 HAS SOUS 17748435 HAS SOUPS 17748435 WITH SCORE 1.7776282279E7
AT ITER 5938 NEW BEST:: SOT 126773869 SOS 27846977 HAS SOPS 27846977 HAS SOUS 17748284 HAS SOUPS 17748284 WITH SCORE 1.7776130977E7
AT ITER 5953 NEW BEST:: SOT 126773633 SOS 27846505 HAS SOPS 27846505 HAS SOUS 17746055 HAS SOUPS 17746055 WITH SCORE 1.7773901505E7
AT ITER 5972 NEW BEST:: SOT 126773633 SOS 27846505 HAS SOPS 27846505 HAS SOUS 17746054 HAS SOUPS 17746054 WITH SCORE 1.7773900505E7
AT ITER 5990 NEW BEST:: SOT 126774112 SOS 27847463 HAS SOPS 27847463 HAS SOUS 17744007 HAS SOUPS 17744007 WITH SCORE 1.7771854463E7
AT ITER 5997 NEW BEST:: SOT 126774112 SOS 27851515 HAS SOPS 27851515 HAS SOUS 17742654 HAS SOUPS 17742654 WITH SCORE 1.7770505515E7
AT ITER 6008 NEW BEST:: SOT 126774111 SOS 27851513 HAS SOPS 27851513 HAS SOUS 17742652 HAS SOUPS 17742652 WITH SCORE 1.7770503513E7
AT ITER 6020 NEW BEST:: SOT 126773683 SOS 27850657 HAS SOPS 27850657 HAS SOUS 17741796 HAS SOUPS 17741796 WITH SCORE 1.7769646657E7
AT ITER 6044 NEW BEST:: SOT 126774025 SOS 27851341 HAS SOPS 27851341 HAS SOUS 17741491 HAS SOUPS 17741491 WITH SCORE 1.7769342341E7
AT ITER 6053 NEW BEST:: SOT 126773365 SOS 27855710 HAS SOPS 27855710 HAS SOUS 17740483 HAS SOUPS 17740483 WITH SCORE 1.776833871E7
AT ITER 6055 NEW BEST:: SOT 126772619 SOS 27856452 HAS SOPS 27856452 HAS SOUS 17738990 HAS SOUPS 17738990 WITH SCORE 1.7766846452E7
AT ITER 6083 NEW BEST:: SOT 126772113 SOS 27856954 HAS SOPS 27856954 HAS SOUS 17738483 HAS SOUPS 17738483 WITH SCORE 1.7766339954E7
AT ITER 6085 NEW BEST:: SOT 126770803 SOS 27856593 HAS SOPS 27856593 HAS SOUS 17737649 HAS SOUPS 17737649 WITH SCORE 1.7765505593E7
AT ITER 6115 NEW BEST:: SOT 126770803 SOS 27855529 HAS SOPS 27855529 HAS SOUS 17737011 HAS SOUPS 17737011 WITH SCORE 1.7764866529E7
AT ITER 6128 NEW BEST:: SOT 126770338 SOS 27855064 HAS SOPS 27855064 HAS SOUS 17736546 HAS SOUPS 17736546 WITH SCORE 1.7764401064E7
AT ITER 6152 NEW BEST:: SOT 126767873 SOS 27856437 HAS SOPS 27856437 HAS SOUS 17736182 HAS SOUPS 17736182 WITH SCORE 1.7764038437E7
AT ITER 6162 NEW BEST:: SOT 126767891 SOS 27855256 HAS SOPS 27855256 HAS SOUS 17734982 HAS SOUPS 17734982 WITH SCORE 1.7762837256E7
AT ITER 6164 NEW BEST:: SOT 126767551 SOS 27854576 HAS SOPS 27854576 HAS SOUS 17733108 HAS SOUPS 17733108 WITH SCORE 1.7760962576E7
AT ITER 6177 NEW BEST:: SOT 126768501 SOS 27879857 HAS SOPS 27879857 HAS SOUS 17732837 HAS SOUPS 17732837 WITH SCORE 1.7760716857E7
AT ITER 6181 NEW BEST:: SOT 126766564 SOS 27878191 HAS SOPS 27878191 HAS SOUS 17730900 HAS SOUPS 17730900 WITH SCORE 1.7758778191E7
AT ITER 6189 NEW BEST:: SOT 126767095 SOS 27877659 HAS SOPS 27877659 HAS SOUS 17730899 HAS SOUPS 17730899 WITH SCORE 1.7758776659E7
AT ITER 6205 NEW BEST:: SOT 126766605 SOS 27877414 HAS SOPS 27877414 HAS SOUS 17730654 HAS SOUPS 17730654 WITH SCORE 1.7758531414E7
AT ITER 6247 NEW BEST:: SOT 126764232 SOS 27876571 HAS SOPS 27876571 HAS SOUS 17729768 HAS SOUPS 17729768 WITH SCORE 1.7757644571E7
AT ITER 6257 NEW BEST:: SOT 126762153 SOS 27873691 HAS SOPS 27873691 HAS SOUS 17727689 HAS SOUPS 17727689 WITH SCORE 1.7755562691E7
AT ITER 6276 NEW BEST:: SOT 126760841 SOS 27872413 HAS SOPS 27872413 HAS SOUS 17726411 HAS SOUPS 17726411 WITH SCORE 1.7754283413E7
AT ITER 6290 NEW BEST:: SOT 126760841 SOS 27872413 HAS SOPS 27872413 HAS SOUS 17725910 HAS SOUPS 17725910 WITH SCORE 1.7753782413E7
AT ITER 6338 NEW BEST:: SOT 126758474 SOS 27870046 HAS SOPS 27870046 HAS SOUS 17723543 HAS SOUPS 17723543 WITH SCORE 1.7751413046E7
AT ITER 6357 NEW BEST:: SOT 126757786 SOS 27868670 HAS SOPS 27868670 HAS SOUS 17722167 HAS SOUPS 17722167 WITH SCORE 1.775003567E7
AT ITER 6364 NEW BEST:: SOT 126756496 SOS 27867889 HAS SOPS 27867889 HAS SOUS 17720877 HAS SOUPS 17720877 WITH SCORE 1.7748744889E7
AT ITER 6406 NEW BEST:: SOT 126756495 SOS 27867887 HAS SOPS 27867887 HAS SOUS 17720876 HAS SOUPS 17720876 WITH SCORE 1.7748743887E7
AT ITER 6458 NEW BEST:: SOT 126755655 SOS 27867444 HAS SOPS 27867444 HAS SOUS 17720035 HAS SOUPS 17720035 WITH SCORE 1.7747902444E7
AT ITER 6508 NEW BEST:: SOT 126755655 SOS 27866112 HAS SOPS 27866112 HAS SOUS 17719591 HAS SOUPS 17719591 WITH SCORE 1.7747457112E7
AT ITER 6536 NEW BEST:: SOT 126755124 SOS 27865577 HAS SOPS 27865577 HAS SOUS 17719059 HAS SOUPS 17719059 WITH SCORE 1.7746924577E7
AT ITER 6539 NEW BEST:: SOT 126753420 SOS 27864219 HAS SOPS 27864219 HAS SOUS 17717443 HAS SOUPS 17717443 WITH SCORE 1.7745307219E7
AT ITER 6562 NEW BEST:: SOT 126752560 SOS 27863359 HAS SOPS 27863359 HAS SOUS 17716583 HAS SOUPS 17716583 WITH SCORE 1.7744446359E7
AT ITER 6568 NEW BEST:: SOT 126751037 SOS 27856528 HAS SOPS 27856528 HAS SOUS 17713733 HAS SOUPS 17713733 WITH SCORE 1.7741589528E7
AT ITER 6629 NEW BEST:: SOT 126750959 SOS 27856489 HAS SOPS 27856489 HAS SOUS 17713694 HAS SOUPS 17713694 WITH SCORE 1.7741550489E7
AT ITER 6653 NEW BEST:: SOT 126750362 SOS 27855295 HAS SOPS 27855295 HAS SOUS 17712500 HAS SOUPS 17712500 WITH SCORE 1.7740355295E7
AT ITER 6669 NEW BEST:: SOT 126750362 SOS 27854107 HAS SOPS 27854107 HAS SOUS 17712104 HAS SOUPS 17712104 WITH SCORE 1.7739958107E7
AT ITER 6724 NEW BEST:: SOT 126748090 SOS 27852971 HAS SOPS 27852971 HAS SOUS 17710968 HAS SOUPS 17710968 WITH SCORE 1.7738820971E7
AT ITER 6745 NEW BEST:: SOT 126748090 SOS 27852971 HAS SOPS 27852971 HAS SOUS 17710967 HAS SOUPS 17710967 WITH SCORE 1.7738819971E7
AT ITER 6759 NEW BEST:: SOT 126747617 SOS 27852025 HAS SOPS 27852025 HAS SOUS 17708880 HAS SOUPS 17708880 WITH SCORE 1.7736732025E7
AT ITER 6770 NEW BEST:: SOT 126747003 SOS 27852635 HAS SOPS 27852635 HAS SOUS 17708879 HAS SOUPS 17708879 WITH SCORE 1.7736731635E7
AT ITER 6771 NEW BEST:: SOT 126747003 SOS 27859027 HAS SOPS 27859027 HAS SOUS 17708158 HAS SOUPS 17708158 WITH SCORE 1.7736017027E7
AT ITER 6809 NEW BEST:: SOT 126744445 SOS 27857748 HAS SOPS 27857748 HAS SOUS 17705600 HAS SOUPS 17705600 WITH SCORE 1.7733457748E7
AT ITER 6819 NEW BEST:: SOT 126744444 SOS 27857624 HAS SOPS 27857624 HAS SOUS 17705476 HAS SOUPS 17705476 WITH SCORE 1.7733333624E7
AT ITER 6984 NEW BEST:: SOT 126744444 SOS 27855938 HAS SOPS 27855938 HAS SOUS 17705476 HAS SOUPS 17705476 WITH SCORE 1.7733331938E7
AT ITER 7022 NEW BEST:: SOT 126738680 SOS 27851746 HAS SOPS 27851746 HAS SOUS 17702332 HAS SOUPS 17702332 WITH SCORE 1.7730183746E7
AT ITER 7051 NEW BEST:: SOT 126737583 SOS 27859415 HAS SOPS 27859415 HAS SOUS 17700137 HAS SOUPS 17700137 WITH SCORE 1.7727996415E7
AT ITER 7095 NEW BEST:: SOT 126737583 SOS 27859414 HAS SOPS 27859414 HAS SOUS 17700136 HAS SOUPS 17700136 WITH SCORE 1.7727995414E7
AT ITER 7121 NEW BEST:: SOT 126737582 SOS 27859412 HAS SOPS 27859412 HAS SOUS 17700134 HAS SOUPS 17700134 WITH SCORE 1.7727993412E7
AT ITER 7202 NEW BEST:: SOT 126736133 SOS 27856514 HAS SOPS 27856514 HAS SOUS 17697236 HAS SOUPS 17697236 WITH SCORE 1.7725092514E7
AT ITER 7214 NEW BEST:: SOT 126736131 SOS 27856510 HAS SOPS 27856510 HAS SOUS 17697232 HAS SOUPS 17697232 WITH SCORE 1.772508851E7
AT ITER 7249 NEW BEST:: SOT 126736130 SOS 27856508 HAS SOPS 27856508 HAS SOUS 17697230 HAS SOUPS 17697230 WITH SCORE 1.7725086508E7
AT ITER 7267 NEW BEST:: SOT 126736130 SOS 27855344 HAS SOPS 27855344 HAS SOUS 17697230 HAS SOUPS 17697230 WITH SCORE 1.7725085344E7
AT ITER 7282 NEW BEST:: SOT 126735037 SOS 27854251 HAS SOPS 27854251 HAS SOUS 17696137 HAS SOUPS 17696137 WITH SCORE 1.7723991251E7
AT ITER 7310 NEW BEST:: SOT 126735037 SOS 27854251 HAS SOPS 27854251 HAS SOUS 17696136 HAS SOUPS 17696136 WITH SCORE 1.7723990251E7
AT ITER 7349 NEW BEST:: SOT 126734345 SOS 27853559 HAS SOPS 27853559 HAS SOUS 17695444 HAS SOUPS 17695444 WITH SCORE 1.7723297559E7
AT ITER 7367 NEW BEST:: SOT 126733049 SOS 27852263 HAS SOPS 27852263 HAS SOUS 17693716 HAS SOUPS 17693716 WITH SCORE 1.7721568263E7
AT ITER 7401 NEW BEST:: SOT 126726790 SOS 27847711 HAS SOPS 27847711 HAS SOUS 17690302 HAS SOUPS 17690302 WITH SCORE 1.7718149711E7
AT ITER 7412 NEW BEST:: SOT 126726790 SOS 27847711 HAS SOPS 27847711 HAS SOUS 17690301 HAS SOUPS 17690301 WITH SCORE 1.7718148711E7
AT ITER 7431 NEW BEST:: SOT 126726790 SOS 27842275 HAS SOPS 27842275 HAS SOUS 17690301 HAS SOUPS 17690301 WITH SCORE 1.7718143275E7
AT ITER 7437 NEW BEST:: SOT 126727887 SOS 27842273 HAS SOPS 27842273 HAS SOUS 17690300 HAS SOUPS 17690300 WITH SCORE 1.7718142273E7
AT ITER 7461 NEW BEST:: SOT 126727886 SOS 27842271 HAS SOPS 27842271 HAS SOUS 17690298 HAS SOUPS 17690298 WITH SCORE 1.7718140271E7
AT ITER 7497 NEW BEST:: SOT 126726966 SOS 27841351 HAS SOPS 27841351 HAS SOUS 17689378 HAS SOUPS 17689378 WITH SCORE 1.7717219351E7
AT ITER 7504 NEW BEST:: SOT 126724555 SOS 27838940 HAS SOPS 27838940 HAS SOUS 17686967 HAS SOUPS 17686967 WITH SCORE 1.771480594E7
AT ITER 7506 NEW BEST:: SOT 126724525 SOS 27838910 HAS SOPS 27838910 HAS SOUS 17686937 HAS SOUPS 17686937 WITH SCORE 1.771477591E7
AT ITER 7525 NEW BEST:: SOT 126724248 SOS 27838356 HAS SOPS 27838356 HAS SOUS 17686383 HAS SOUPS 17686383 WITH SCORE 1.7714221356E7
AT ITER 7527 NEW BEST:: SOT 126724567 SOS 27836346 HAS SOPS 27836346 HAS SOUS 17685538 HAS SOUPS 17685538 WITH SCORE 1.7713374346E7
AT ITER 7544 NEW BEST:: SOT 126724515 SOS 27837084 HAS SOPS 27837084 HAS SOUS 17685486 HAS SOUPS 17685486 WITH SCORE 1.7713323084E7
AT ITER 7560 NEW BEST:: SOT 126724161 SOS 27836376 HAS SOPS 27836376 HAS SOUS 17684778 HAS SOUPS 17684778 WITH SCORE 1.7712614376E7
AT ITER 7573 NEW BEST:: SOT 126721737 SOS 27836595 HAS SOPS 27836595 HAS SOUS 17684542 HAS SOUPS 17684542 WITH SCORE 1.7712378595E7
AT ITER 7590 NEW BEST:: SOT 126722828 SOS 27838777 HAS SOPS 27838777 HAS SOUS 17683714 HAS SOUPS 17683714 WITH SCORE 1.7711552777E7
AT ITER 7594 NEW BEST:: SOT 126722827 SOS 27838775 HAS SOPS 27838775 HAS SOUS 17683712 HAS SOUPS 17683712 WITH SCORE 1.7711550775E7
AT ITER 7599 NEW BEST:: SOT 126722827 SOS 27838765 HAS SOPS 27838765 HAS SOUS 17683702 HAS SOUPS 17683702 WITH SCORE 1.7711540765E7
AT ITER 7600 NEW BEST:: SOT 126721252 SOS 27840336 HAS SOPS 27840336 HAS SOUS 17680551 HAS SOUPS 17680551 WITH SCORE 1.7708391336E7
AT ITER 7632 NEW BEST:: SOT 126720605 SOS 27839042 HAS SOPS 27839042 HAS SOUS 17679257 HAS SOUPS 17679257 WITH SCORE 1.7707096042E7
AT ITER 7655 NEW BEST:: SOT 126720274 SOS 27838380 HAS SOPS 27838380 HAS SOUS 17678148 HAS SOUPS 17678148 WITH SCORE 1.770598638E7
AT ITER 7691 NEW BEST:: SOT 126709505 SOS 28120541 HAS SOPS 28120541 HAS SOUS 17676417 HAS SOUPS 17676417 WITH SCORE 1.7704537541E7
AT ITER 7698 NEW BEST:: SOT 126707487 SOS 28114487 HAS SOPS 28114487 HAS SOUS 17673390 HAS SOUPS 17673390 WITH SCORE 1.7701504487E7
AT ITER 7725 NEW BEST:: SOT 126707254 SOS 28112479 HAS SOPS 28112479 HAS SOUS 17672924 HAS SOUPS 17672924 WITH SCORE 1.7701036479E7
AT ITER 7752 NEW BEST:: SOT 126707254 SOS 28116036 HAS SOPS 28116036 HAS SOUS 17671736 HAS SOUPS 17671736 WITH SCORE 1.7699852036E7
AT ITER 7773 NEW BEST:: SOT 126706653 SOS 28115435 HAS SOPS 28115435 HAS SOUS 17671135 HAS SOUPS 17671135 WITH SCORE 1.7699250435E7
AT ITER 7807 NEW BEST:: SOT 126705921 SOS 28111775 HAS SOPS 28111775 HAS SOUS 17669671 HAS SOUPS 17669671 WITH SCORE 1.7697782775E7
AT ITER 7809 NEW BEST:: SOT 126705655 SOS 28112303 HAS SOPS 28112303 HAS SOUS 17669404 HAS SOUPS 17669404 WITH SCORE 1.7697516303E7
AT ITER 7813 NEW BEST:: SOT 126705335 SOS 28112299 HAS SOPS 28112299 HAS SOUS 17669403 HAS SOUPS 17669403 WITH SCORE 1.7697515299E7
AT ITER 7869 NEW BEST:: SOT 126704835 SOS 28111299 HAS SOPS 28111299 HAS SOUS 17668403 HAS SOUPS 17668403 WITH SCORE 1.7696514299E7
AT ITER 7910 NEW BEST:: SOT 126702841 SOS 28109301 HAS SOPS 28109301 HAS SOUS 17666408 HAS SOUPS 17666408 WITH SCORE 1.7694517301E7
AT ITER 7926 NEW BEST:: SOT 126700271 SOS 28104161 HAS SOPS 28104161 HAS SOUS 17661521 HAS SOUPS 17661521 WITH SCORE 1.7689625161E7
AT ITER 7946 NEW BEST:: SOT 126700271 SOS 28104991 HAS SOPS 28104991 HAS SOUS 17661520 HAS SOUPS 17661520 WITH SCORE 1.7689624991E7
AT ITER 7984 NEW BEST:: SOT 126700271 SOS 28103728 HAS SOPS 28103728 HAS SOUS 17660257 HAS SOUPS 17660257 WITH SCORE 1.7688360728E7
AT ITER 8000 NEW BEST:: SOT 126700271 SOS 28101924 HAS SOPS 28101924 HAS SOUS 17660257 HAS SOUPS 17660257 WITH SCORE 1.7688358924E7
AT ITER 8008 NEW BEST:: SOT 126701393 SOS 28101922 HAS SOPS 28101922 HAS SOUS 17660256 HAS SOUPS 17660256 WITH SCORE 1.7688357922E7
AT ITER 8010 NEW BEST:: SOT 126701393 SOS 28102859 HAS SOPS 28102859 HAS SOUS 17660255 HAS SOUPS 17660255 WITH SCORE 1.7688357859E7
AT ITER 8013 NEW BEST:: SOT 126701392 SOS 28102857 HAS SOPS 28102857 HAS SOUS 17660253 HAS SOUPS 17660253 WITH SCORE 1.7688355857E7
AT ITER 8032 NEW BEST:: SOT 126701392 SOS 28102853 HAS SOPS 28102853 HAS SOUS 17660252 HAS SOUPS 17660252 WITH SCORE 1.7688354853E7
AT ITER 8033 NEW BEST:: SOT 126701141 SOS 28102351 HAS SOPS 28102351 HAS SOUS 17659750 HAS SOUPS 17659750 WITH SCORE 1.7687852351E7
AT ITER 8075 NEW BEST:: SOT 126701141 SOS 28102351 HAS SOPS 28102351 HAS SOUS 17659570 HAS SOUPS 17659570 WITH SCORE 1.7687672351E7
AT ITER 8150 NEW BEST:: SOT 126701141 SOS 28105760 HAS SOPS 28105760 HAS SOUS 17659394 HAS SOUPS 17659394 WITH SCORE 1.768749976E7
AT ITER 8153 NEW BEST:: SOT 126701141 SOS 28105277 HAS SOPS 28105277 HAS SOUS 17659394 HAS SOUPS 17659394 WITH SCORE 1.7687499277E7
AT ITER 8169 NEW BEST:: SOT 126640101 SOS 28286326 HAS SOPS 28286326 HAS SOUS 17606160 HAS SOUPS 17606160 WITH SCORE 1.7634446326E7
AT ITER 8195 NEW BEST:: SOT 126638550 SOS 28283224 HAS SOPS 28283224 HAS SOUS 17603058 HAS SOUPS 17603058 WITH SCORE 1.7631341224E7
AT ITER 8250 NEW BEST:: SOT 126638318 SOS 28282992 HAS SOPS 28282992 HAS SOUS 17602826 HAS SOUPS 17602826 WITH SCORE 1.7631108992E7
AT ITER 8259 NEW BEST:: SOT 126636122 SOS 28272012 HAS SOPS 28272012 HAS SOUS 17598434 HAS SOUPS 17598434 WITH SCORE 1.7626706012E7
AT ITER 8277 NEW BEST:: SOT 126635250 SOS 28271380 HAS SOPS 28271380 HAS SOUS 17597805 HAS SOUPS 17597805 WITH SCORE 1.762607638E7
AT ITER 8278 NEW BEST:: SOT 126632972 SOS 28270083 HAS SOPS 28270083 HAS SOUS 17595527 HAS SOUPS 17595527 WITH SCORE 1.7623797083E7
AT ITER 8280 NEW BEST:: SOT 126631069 SOS 28262859 HAS SOPS 28262859 HAS SOUS 17594902 HAS SOUPS 17594902 WITH SCORE 1.7623164859E7
AT ITER 8310 NEW BEST:: SOT 126630062 SOS 28262322 HAS SOPS 28262322 HAS SOUS 17594830 HAS SOUPS 17594830 WITH SCORE 1.7623092322E7
AT ITER 8326 NEW BEST:: SOT 126579340 SOS 28365300 HAS SOPS 28365300 HAS SOUS 17551312 HAS SOUPS 17551312 WITH SCORE 1.75796773E7
AT ITER 8334 NEW BEST:: SOT 126578888 SOS 28364396 HAS SOPS 28364396 HAS SOUS 17550860 HAS SOUPS 17550860 WITH SCORE 1.7579224396E7
AT ITER 8338 NEW BEST:: SOT 126574441 SOS 28362249 HAS SOPS 28362249 HAS SOUS 17548662 HAS SOUPS 17548662 WITH SCORE 1.7577024249E7
AT ITER 8469 NEW BEST:: SOT 126572804 SOS 28368181 HAS SOPS 28368181 HAS SOUS 17547195 HAS SOUPS 17547195 WITH SCORE 1.7575563181E7
AT ITER 8470 NEW BEST:: SOT 126566152 SOS 28366735 HAS SOPS 28366735 HAS SOUS 17545119 HAS SOUPS 17545119 WITH SCORE 1.7573485735E7
AT ITER 8482 NEW BEST:: SOT 126564595 SOS 28363621 HAS SOPS 28363621 HAS SOUS 17542005 HAS SOUPS 17542005 WITH SCORE 1.7570368621E7
AT ITER 8489 NEW BEST:: SOT 126564776 SOS 28363983 HAS SOPS 28363983 HAS SOUS 17541585 HAS SOUPS 17541585 WITH SCORE 1.7569948983E7
AT ITER 8516 NEW BEST:: SOT 126564583 SOS 28364176 HAS SOPS 28364176 HAS SOUS 17541392 HAS SOUPS 17541392 WITH SCORE 1.7569756176E7
AT ITER 8559 NEW BEST:: SOT 126563868 SOS 28363116 HAS SOPS 28363116 HAS SOUS 17540332 HAS SOUPS 17540332 WITH SCORE 1.7568695116E7
AT ITER 8560 NEW BEST:: SOT 126563867 SOS 28365570 HAS SOPS 28365570 HAS SOUS 17540329 HAS SOUPS 17540329 WITH SCORE 1.756869457E7
AT ITER 8565 NEW BEST:: SOT 126563517 SOS 28367353 HAS SOPS 28367353 HAS SOUS 17540070 HAS SOUPS 17540070 WITH SCORE 1.7568437353E7
AT ITER 8578 NEW BEST:: SOT 126563516 SOS 28367351 HAS SOPS 28367351 HAS SOUS 17540068 HAS SOUPS 17540068 WITH SCORE 1.7568435351E7
AT ITER 8602 NEW BEST:: SOT 126562366 SOS 28365051 HAS SOPS 28365051 HAS SOUS 17538918 HAS SOUPS 17538918 WITH SCORE 1.7567283051E7
AT ITER 8605 NEW BEST:: SOT 126562366 SOS 28364278 HAS SOPS 28364278 HAS SOUS 17538918 HAS SOUPS 17538918 WITH SCORE 1.7567282278E7
AT ITER 8625 NEW BEST:: SOT 126562031 SOS 28363608 HAS SOPS 28363608 HAS SOUS 17538630 HAS SOUPS 17538630 WITH SCORE 1.7566993608E7
AT ITER 8628 NEW BEST:: SOT 126561547 SOS 28362981 HAS SOPS 28362981 HAS SOUS 17537905 HAS SOUPS 17537905 WITH SCORE 1.7566267981E7
AT ITER 8666 NEW BEST:: SOT 126561547 SOS 28364804 HAS SOPS 28364804 HAS SOUS 17537852 HAS SOUPS 17537852 WITH SCORE 1.7566216804E7
AT ITER 8678 NEW BEST:: SOT 126561278 SOS 28364266 HAS SOPS 28364266 HAS SOUS 17537314 HAS SOUPS 17537314 WITH SCORE 1.7565678266E7
AT ITER 8687 NEW BEST:: SOT 126559787 SOS 28363972 HAS SOPS 28363972 HAS SOUS 17537019 HAS SOUPS 17537019 WITH SCORE 1.7565382972E7
AT ITER 8723 NEW BEST:: SOT 126559787 SOS 28367485 HAS SOPS 28367485 HAS SOUS 17536910 HAS SOUPS 17536910 WITH SCORE 1.7565277485E7
AT ITER 8729 NEW BEST:: SOT 126560726 SOS 28368151 HAS SOPS 28368151 HAS SOUS 17536637 HAS SOUPS 17536637 WITH SCORE 1.7565005151E7
AT ITER 8730 NEW BEST:: SOT 126559061 SOS 28367670 HAS SOPS 28367670 HAS SOUS 17535693 HAS SOUPS 17535693 WITH SCORE 1.756406067E7
AT ITER 8777 NEW BEST:: SOT 126557247 SOS 28365856 HAS SOPS 28365856 HAS SOUS 17533879 HAS SOUPS 17533879 WITH SCORE 1.7562244856E7
AT ITER 8781 NEW BEST:: SOT 126557283 SOS 28365928 HAS SOPS 28365928 HAS SOUS 17533797 HAS SOUPS 17533797 WITH SCORE 1.7562162928E7
AT ITER 8803 NEW BEST:: SOT 126555003 SOS 28365928 HAS SOPS 28365928 HAS SOUS 17531297 HAS SOUPS 17531297 WITH SCORE 1.7559662928E7
AT ITER 8808 NEW BEST:: SOT 126554992 SOS 28365906 HAS SOPS 28365906 HAS SOUS 17531275 HAS SOUPS 17531275 WITH SCORE 1.7559640906E7
AT ITER 8820 NEW BEST:: SOT 126547259 SOS 28364758 HAS SOPS 28364758 HAS SOUS 17526712 HAS SOUPS 17526712 WITH SCORE 1.7555076758E7
AT ITER 8840 NEW BEST:: SOT 126547201 SOS 28364642 HAS SOPS 28364642 HAS SOUS 17526596 HAS SOUPS 17526596 WITH SCORE 1.7554960642E7
AT ITER 8898 NEW BEST:: SOT 126547200 SOS 28364640 HAS SOPS 28364640 HAS SOUS 17526594 HAS SOUPS 17526594 WITH SCORE 1.755495864E7
AT ITER 8935 NEW BEST:: SOT 126546483 SOS 28364336 HAS SOPS 28364336 HAS SOUS 17525877 HAS SOUPS 17525877 WITH SCORE 1.7554241336E7
AT ITER 8957 NEW BEST:: SOT 126546483 SOS 28365998 HAS SOPS 28365998 HAS SOUS 17525773 HAS SOUPS 17525773 WITH SCORE 1.7554138998E7
AT ITER 8973 NEW BEST:: SOT 126546483 SOS 28365629 HAS SOPS 28365629 HAS SOUS 17525404 HAS SOUPS 17525404 WITH SCORE 1.7553769629E7
AT ITER 8992 NEW BEST:: SOT 126546587 SOS 28365837 HAS SOPS 28365837 HAS SOUS 17525291 HAS SOUPS 17525291 WITH SCORE 1.7553656837E7
AT ITER 9022 NEW BEST:: SOT 126546521 SOS 28365705 HAS SOPS 28365705 HAS SOUS 17525192 HAS SOUPS 17525192 WITH SCORE 1.7553557705E7
AT ITER 9023 NEW BEST:: SOT 126545835 SOS 28364333 HAS SOPS 28364333 HAS SOUS 17523820 HAS SOUPS 17523820 WITH SCORE 1.7552184333E7
AT ITER 9033 NEW BEST:: SOT 126546581 SOS 28365794 HAS SOPS 28365794 HAS SOUS 17522301 HAS SOUPS 17522301 WITH SCORE 1.7550666794E7
AT ITER 9037 NEW BEST:: SOT 126545520 SOS 28364733 HAS SOPS 28364733 HAS SOUS 17521240 HAS SOUPS 17521240 WITH SCORE 1.7549604733E7
AT ITER 9049 NEW BEST:: SOT 126546066 SOS 28364697 HAS SOPS 28364697 HAS SOUS 17520076 HAS SOUPS 17520076 WITH SCORE 1.7548440697E7
AT ITER 9063 NEW BEST:: SOT 126545426 SOS 28363417 HAS SOPS 28363417 HAS SOUS 17518796 HAS SOUPS 17518796 WITH SCORE 1.7547159417E7
AT ITER 9071 NEW BEST:: SOT 126545425 SOS 28362574 HAS SOPS 28362574 HAS SOUS 17517953 HAS SOUPS 17517953 WITH SCORE 1.7546315574E7
AT ITER 9114 NEW BEST:: SOT 126544694 SOS 28358755 HAS SOPS 28358755 HAS SOUS 17516367 HAS SOUPS 17516367 WITH SCORE 1.7544725755E7
AT ITER 9149 NEW BEST:: SOT 126544354 SOS 28358075 HAS SOPS 28358075 HAS SOUS 17515687 HAS SOUPS 17515687 WITH SCORE 1.7544045075E7
AT ITER 9159 NEW BEST:: SOT 126544354 SOS 28357941 HAS SOPS 28357941 HAS SOUS 17515553 HAS SOUPS 17515553 WITH SCORE 1.7543910941E7
AT ITER 9167 NEW BEST:: SOT 126543504 SOS 28356241 HAS SOPS 28356241 HAS SOUS 17514703 HAS SOUPS 17514703 WITH SCORE 1.7543059241E7
AT ITER 9169 NEW BEST:: SOT 126543353 SOS 28356090 HAS SOPS 28356090 HAS SOUS 17514552 HAS SOUPS 17514552 WITH SCORE 1.754290809E7
AT ITER 9179 NEW BEST:: SOT 126543352 SOS 28355692 HAS SOPS 28355692 HAS SOUS 17514154 HAS SOUPS 17514154 WITH SCORE 1.7542509692E7
AT ITER 9215 NEW BEST:: SOT 126542504 SOS 28363986 HAS SOPS 28363986 HAS SOUS 17513306 HAS SOUPS 17513306 WITH SCORE 1.7541669986E7
AT ITER 9301 NEW BEST:: SOT 126541852 SOS 28363656 HAS SOPS 28363656 HAS SOUS 17512979 HAS SOUPS 17512979 WITH SCORE 1.7541342656E7
AT ITER 9304 NEW BEST:: SOT 126541407 SOS 28362766 HAS SOPS 28362766 HAS SOUS 17512089 HAS SOUPS 17512089 WITH SCORE 1.7540451766E7
AT ITER 9343 NEW BEST:: SOT 126540061 SOS 28360075 HAS SOPS 28360075 HAS SOUS 17509398 HAS SOUPS 17509398 WITH SCORE 1.7537758075E7
AT ITER 9359 NEW BEST:: SOT 126538281 SOS 28358295 HAS SOPS 28358295 HAS SOUS 17507618 HAS SOUPS 17507618 WITH SCORE 1.7535976295E7
AT ITER 9362 NEW BEST:: SOT 126537672 SOS 28359505 HAS SOPS 28359505 HAS SOUS 17507007 HAS SOUPS 17507007 WITH SCORE 1.7535366505E7
AT ITER 9379 NEW BEST:: SOT 126535888 SOS 28354153 HAS SOPS 28354153 HAS SOUS 17504331 HAS SOUPS 17504331 WITH SCORE 1.7532685153E7
AT ITER 9415 NEW BEST:: SOT 126535573 SOS 28353523 HAS SOPS 28353523 HAS SOUS 17503701 HAS SOUPS 17503701 WITH SCORE 1.7532054523E7
AT ITER 9416 NEW BEST:: SOT 126535573 SOS 28353523 HAS SOPS 28353523 HAS SOUS 17503700 HAS SOUPS 17503700 WITH SCORE 1.7532053523E7
AT ITER 9499 NEW BEST:: SOT 126533262 SOS 28351212 HAS SOPS 28351212 HAS SOUS 17501389 HAS SOUPS 17501389 WITH SCORE 1.7529740212E7
AT ITER 9507 NEW BEST:: SOT 126532148 SOS 28346402 HAS SOPS 28346402 HAS SOUS 17499504 HAS SOUPS 17499504 WITH SCORE 1.7527850402E7
AT ITER 9531 NEW BEST:: SOT 126532148 SOS 28349844 HAS SOPS 28349844 HAS SOUS 17499282 HAS SOUPS 17499282 WITH SCORE 1.7527631844E7
AT ITER 9543 NEW BEST:: SOT 126531630 SOS 28348808 HAS SOPS 28348808 HAS SOUS 17498764 HAS SOUPS 17498764 WITH SCORE 1.7527112808E7
AT ITER 9544 NEW BEST:: SOT 126531630 SOS 28348596 HAS SOPS 28348596 HAS SOUS 17498552 HAS SOUPS 17498552 WITH SCORE 1.7526900596E7
AT ITER 9586 NEW BEST:: SOT 126529305 SOS 28346267 HAS SOPS 28346267 HAS SOUS 17496226 HAS SOUPS 17496226 WITH SCORE 1.7524572267E7
AT ITER 9596 NEW BEST:: SOT 126529085 SOS 28345827 HAS SOPS 28345827 HAS SOUS 17496005 HAS SOUPS 17496005 WITH SCORE 1.7524350827E7
AT ITER 9620 NEW BEST:: SOT 126527240 SOS 28341457 HAS SOPS 28341457 HAS SOUS 17495568 HAS SOUPS 17495568 WITH SCORE 1.7523909457E7
AT ITER 9627 NEW BEST:: SOT 126527240 SOS 28341454 HAS SOPS 28341454 HAS SOUS 17495567 HAS SOUPS 17495567 WITH SCORE 1.7523908454E7
AT ITER 9639 NEW BEST:: SOT 126526898 SOS 28340770 HAS SOPS 28340770 HAS SOUS 17494883 HAS SOUPS 17494883 WITH SCORE 1.752322377E7
AT ITER 9644 NEW BEST:: SOT 126525289 SOS 28332725 HAS SOPS 28332725 HAS SOUS 17491665 HAS SOUPS 17491665 WITH SCORE 1.7519997725E7
AT ITER 9667 NEW BEST:: SOT 126523840 SOS 28329827 HAS SOPS 28329827 HAS SOUS 17488767 HAS SOUPS 17488767 WITH SCORE 1.7517096827E7
AT ITER 9699 NEW BEST:: SOT 126523244 SOS 28328635 HAS SOPS 28328635 HAS SOUS 17487574 HAS SOUPS 17487574 WITH SCORE 1.7515902635E7
AT ITER 9724 NEW BEST:: SOT 126520806 SOS 28323765 HAS SOPS 28323765 HAS SOUS 17484528 HAS SOUPS 17484528 WITH SCORE 1.7512851765E7
AT ITER 9735 NEW BEST:: SOT 126520680 SOS 28325434 HAS SOPS 28325434 HAS SOUS 17484402 HAS SOUPS 17484402 WITH SCORE 1.7512727434E7
AT ITER 9745 NEW BEST:: SOT 126519367 SOS 28324927 HAS SOPS 28324927 HAS SOUS 17483895 HAS SOUPS 17483895 WITH SCORE 1.7512219927E7
AT ITER 9751 NEW BEST:: SOT 126515353 SOS 28322920 HAS SOPS 28322920 HAS SOUS 17481888 HAS SOUPS 17481888 WITH SCORE 1.751021092E7
AT ITER 9776 NEW BEST:: SOT 126515534 SOS 28323282 HAS SOPS 28323282 HAS SOUS 17480972 HAS SOUPS 17480972 WITH SCORE 1.7509295282E7
AT ITER 9858 NEW BEST:: SOT 126516629 SOS 28320483 HAS SOPS 28320483 HAS SOUS 17480404 HAS SOUPS 17480404 WITH SCORE 1.7508724483E7
AT ITER 9911 NEW BEST:: SOT 126515094 SOS 28318948 HAS SOPS 28318948 HAS SOUS 17480404 HAS SOUPS 17480404 WITH SCORE 1.7508722948E7
AT ITER 9919 NEW BEST:: SOT 126515030 SOS 28318883 HAS SOPS 28318883 HAS SOUS 17480394 HAS SOUPS 17480394 WITH SCORE 1.7508712883E7
AT ITER 9924 NEW BEST:: SOT 126514996 SOS 28318815 HAS SOPS 28318815 HAS SOUS 17479398 HAS SOUPS 17479398 WITH SCORE 1.7507716815E7
AT ITER 9936 NEW BEST:: SOT 126515310 SOS 28319443 HAS SOPS 28319443 HAS SOUS 17477104 HAS SOUPS 17477104 WITH SCORE 1.7505423443E7
AT ITER 9947 NEW BEST:: SOT 126514993 SOS 28318809 HAS SOPS 28318809 HAS SOUS 17476470 HAS SOUPS 17476470 WITH SCORE 1.7504788809E7
AT ITER 9980 NEW BEST:: SOT 126513730 SOS 28316284 HAS SOPS 28316284 HAS SOUS 17473945 HAS SOUPS 17473945 WITH SCORE 1.7502261284E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 15352672 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16104428 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/DLCflexbar-PT-4b.tgz
mv DLCflexbar-PT-4b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;