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.r171-tall-167838858600424.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 FamilyReunion-PT-L00100M0010C005P005G002, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858600424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 42M
-rw-r--r-- 1 mcc users 290K Feb 26 13:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 13:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M Feb 26 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 3.7M Feb 26 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 170K Feb 25 16:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 700K Feb 25 16:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 327K Feb 25 16:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 869K Feb 25 16:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.3M Feb 26 15:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 7.3M Feb 26 15:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.7M Feb 26 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.8M Feb 26 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 27K Feb 25 16:05 UpperBounds.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:05 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 24 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 17M 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 1679466853968

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=FamilyReunion-PT-L00100M0010C005P005G002
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 06:34:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 06:34:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 06:34:16] [INFO ] Load time of PNML (sax parser for PT used): 829 ms
[2023-03-22 06:34:16] [INFO ] Transformed 40605 places.
[2023-03-22 06:34:16] [INFO ] Transformed 36871 transitions.
[2023-03-22 06:34:16] [INFO ] Parsed PT model containing 40605 places and 36871 transitions and 112728 arcs in 1076 ms.
[2023-03-22 06:34:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 40605 places, 36871 transitions and 112728 arcs took 159 ms.
Total runtime 1269 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FamilyReunion (PT), instance L00100M0010C005P005G002
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: 40605 places, 36871 transitions, 112728 arcs.
AT ITER 0 NEW BEST:: SOT 866921963 SOS 94982018 HAS SOPS 94621622 HAS SOUS 89689403 HAS SOUPS 89671329 WITH SCORE 8.9766311018E7
AT ITER 70 NEW BEST:: SOT 866921963 SOS 94981546 HAS SOPS 94621150 HAS SOUS 89688830 HAS SOUPS 89670756 WITH SCORE 8.9765737546E7
AT ITER 82 NEW BEST:: SOT 866921963 SOS 94981442 HAS SOPS 94621046 HAS SOUS 89688726 HAS SOUPS 89670652 WITH SCORE 8.9765633442E7
AT ITER 92 NEW BEST:: SOT 866921620 SOS 94979235 HAS SOPS 94618839 HAS SOUS 89686519 HAS SOUPS 89668445 WITH SCORE 8.9763424235E7
AT ITER 124 NEW BEST:: SOT 866921429 SOS 94977024 HAS SOPS 94616628 HAS SOUS 89684218 HAS SOUPS 89666144 WITH SCORE 8.9761121024E7
AT ITER 140 NEW BEST:: SOT 866921025 SOS 94976620 HAS SOPS 94616224 HAS SOUS 89683814 HAS SOUPS 89665740 WITH SCORE 8.976071662E7
AT ITER 144 NEW BEST:: SOT 866922073 SOS 94975515 HAS SOPS 94615119 HAS SOUS 89682709 HAS SOUPS 89664635 WITH SCORE 8.9759610515E7
AT ITER 185 NEW BEST:: SOT 866922073 SOS 94974921 HAS SOPS 94614525 HAS SOUS 89682115 HAS SOUPS 89664041 WITH SCORE 8.9759015921E7
AT ITER 193 NEW BEST:: SOT 866921341 SOS 94974189 HAS SOPS 94613793 HAS SOUS 89681383 HAS SOUPS 89663309 WITH SCORE 8.9758283189E7
AT ITER 205 NEW BEST:: SOT 866921341 SOS 94973225 HAS SOPS 94612829 HAS SOUS 89680419 HAS SOUPS 89662345 WITH SCORE 8.9757318225E7
AT ITER 229 NEW BEST:: SOT 866921341 SOS 94972610 HAS SOPS 94612214 HAS SOUS 89679804 HAS SOUPS 89661730 WITH SCORE 8.975670261E7
AT ITER 256 NEW BEST:: SOT 866920254 SOS 94971523 HAS SOPS 94611127 HAS SOUS 89678717 HAS SOUPS 89660643 WITH SCORE 8.9755614523E7
AT ITER 288 NEW BEST:: SOT 866919789 SOS 94971198 HAS SOPS 94610802 HAS SOUS 89678392 HAS SOUPS 89660318 WITH SCORE 8.9755289198E7
AT ITER 327 NEW BEST:: SOT 866918683 SOS 94968970 HAS SOPS 94608574 HAS SOUS 89676164 HAS SOUPS 89658090 WITH SCORE 8.975305897E7
AT ITER 367 NEW BEST:: SOT 866918683 SOS 94968046 HAS SOPS 94607650 HAS SOUS 89675240 HAS SOUPS 89657166 WITH SCORE 8.9752134046E7
AT ITER 374 NEW BEST:: SOT 866917578 SOS 94965819 HAS SOPS 94605423 HAS SOUS 89673013 HAS SOUPS 89654939 WITH SCORE 8.9749904819E7
AT ITER 400 NEW BEST:: SOT 866917279 SOS 94965520 HAS SOPS 94605124 HAS SOUS 89672714 HAS SOUPS 89654640 WITH SCORE 8.974960552E7
AT ITER 423 NEW BEST:: SOT 866916633 SOS 94964874 HAS SOPS 94604478 HAS SOUS 89672068 HAS SOUPS 89653994 WITH SCORE 8.9748958874E7
AT ITER 510 NEW BEST:: SOT 866915906 SOS 94964147 HAS SOPS 94603751 HAS SOUS 89671341 HAS SOUPS 89653267 WITH SCORE 8.9748231147E7
AT ITER 559 NEW BEST:: SOT 866915177 SOS 94963418 HAS SOPS 94603022 HAS SOUS 89670612 HAS SOUPS 89652538 WITH SCORE 8.9747501418E7
AT ITER 575 NEW BEST:: SOT 866915077 SOS 94963165 HAS SOPS 94602769 HAS SOUS 89670359 HAS SOUPS 89652285 WITH SCORE 8.9747248165E7
AT ITER 586 NEW BEST:: SOT 866913135 SOS 94958170 HAS SOPS 94597774 HAS SOUS 89665364 HAS SOUPS 89647290 WITH SCORE 8.974224817E7
AT ITER 588 NEW BEST:: SOT 866912033 SOS 94955957 HAS SOPS 94595561 HAS SOUS 89663151 HAS SOUPS 89645077 WITH SCORE 8.9740032957E7
AT ITER 603 NEW BEST:: SOT 866910925 SOS 94953738 HAS SOPS 94593342 HAS SOUS 89660932 HAS SOUPS 89642858 WITH SCORE 8.9737811738E7
AT ITER 632 NEW BEST:: SOT 866909815 SOS 94951506 HAS SOPS 94591110 HAS SOUS 89658700 HAS SOUPS 89640626 WITH SCORE 8.9735577506E7
AT ITER 654 NEW BEST:: SOT 866909249 SOS 94950940 HAS SOPS 94590544 HAS SOUS 89658134 HAS SOUPS 89640060 WITH SCORE 8.973501094E7
AT ITER 697 NEW BEST:: SOT 866908147 SOS 94948727 HAS SOPS 94588331 HAS SOUS 89655121 HAS SOUPS 89637047 WITH SCORE 8.9731995727E7
AT ITER 719 NEW BEST:: SOT 866907543 SOS 94947517 HAS SOPS 94587121 HAS SOUS 89653911 HAS SOUPS 89635837 WITH SCORE 8.9730784517E7
AT ITER 749 NEW BEST:: SOT 866906877 SOS 94946851 HAS SOPS 94586455 HAS SOUS 89653245 HAS SOUPS 89635171 WITH SCORE 8.9730117851E7
AT ITER 778 NEW BEST:: SOT 866906877 SOS 94945795 HAS SOPS 94585399 HAS SOUS 89652189 HAS SOUPS 89634115 WITH SCORE 8.9729060795E7
AT ITER 838 NEW BEST:: SOT 866906341 SOS 94945259 HAS SOPS 94584863 HAS SOUS 89651653 HAS SOUPS 89633579 WITH SCORE 8.9728524259E7
AT ITER 852 NEW BEST:: SOT 866905858 SOS 94944776 HAS SOPS 94584380 HAS SOUS 89651170 HAS SOUPS 89633096 WITH SCORE 8.9728040776E7
AT ITER 882 NEW BEST:: SOT 866905858 SOS 94943935 HAS SOPS 94583539 HAS SOUS 89650329 HAS SOUPS 89632255 WITH SCORE 8.9727198935E7
AT ITER 893 NEW BEST:: SOT 866905774 SOS 94943767 HAS SOPS 94583371 HAS SOUS 89650161 HAS SOUPS 89632087 WITH SCORE 8.9727030767E7
AT ITER 902 NEW BEST:: SOT 866910980 SOS 94951166 HAS SOPS 94570768 HAS SOUS 89658469 HAS SOUPS 89620569 WITH SCORE 8.9715520166E7
AT ITER 1014 NEW BEST:: SOT 866910980 SOS 94950166 HAS SOPS 94569768 HAS SOUS 89657469 HAS SOUPS 89619569 WITH SCORE 8.9714519166E7
AT ITER 1030 NEW BEST:: SOT 866910560 SOS 94949746 HAS SOPS 94569348 HAS SOUS 89657049 HAS SOUPS 89619149 WITH SCORE 8.9714098746E7
AT ITER 1069 NEW BEST:: SOT 866909760 SOS 94948946 HAS SOPS 94568548 HAS SOUS 89656249 HAS SOUPS 89618349 WITH SCORE 8.9713297946E7
AT ITER 1077 NEW BEST:: SOT 866910320 SOS 94947844 HAS SOPS 94567446 HAS SOUS 89655147 HAS SOUPS 89617247 WITH SCORE 8.9712194844E7
AT ITER 1105 NEW BEST:: SOT 866910320 SOS 94946759 HAS SOPS 94566361 HAS SOUS 89654062 HAS SOUPS 89616162 WITH SCORE 8.9711108759E7
AT ITER 1107 NEW BEST:: SOT 866909211 SOS 94944528 HAS SOPS 94564130 HAS SOUS 89651831 HAS SOUPS 89613931 WITH SCORE 8.9708875528E7
AT ITER 1175 NEW BEST:: SOT 866908415 SOS 94943732 HAS SOPS 94563334 HAS SOUS 89651035 HAS SOUPS 89613135 WITH SCORE 8.9708078732E7
AT ITER 1205 NEW BEST:: SOT 866907321 SOS 94942638 HAS SOPS 94562240 HAS SOUS 89649941 HAS SOUPS 89612041 WITH SCORE 8.9706983638E7
AT ITER 1241 NEW BEST:: SOT 866906225 SOS 94941542 HAS SOPS 94561144 HAS SOUS 89648645 HAS SOUPS 89610745 WITH SCORE 8.9705686542E7
AT ITER 1300 NEW BEST:: SOT 866904886 SOS 94943906 HAS SOPS 94563508 HAS SOUS 89648396 HAS SOUPS 89610496 WITH SCORE 8.9705439906E7
AT ITER 1307 NEW BEST:: SOT 866903785 SOS 94941683 HAS SOPS 94561285 HAS SOUS 89646173 HAS SOUPS 89608273 WITH SCORE 8.9703214683E7
AT ITER 1316 NEW BEST:: SOT 866903785 SOS 94941060 HAS SOPS 94560662 HAS SOUS 89645550 HAS SOUPS 89607650 WITH SCORE 8.970259106E7
AT ITER 1320 NEW BEST:: SOT 866898866 SOS 94941566 HAS SOPS 94561168 HAS SOUS 89641291 HAS SOUPS 89603391 WITH SCORE 8.9698332566E7
AT ITER 1339 NEW BEST:: SOT 866898017 SOS 94940717 HAS SOPS 94560319 HAS SOUS 89640442 HAS SOUPS 89602542 WITH SCORE 8.9697482717E7
AT ITER 1409 NEW BEST:: SOT 866898017 SOS 94940091 HAS SOPS 94559693 HAS SOUS 89639816 HAS SOUPS 89601916 WITH SCORE 8.9696856091E7
AT ITER 1439 NEW BEST:: SOT 866897432 SOS 94939623 HAS SOPS 94559225 HAS SOUS 89639348 HAS SOUPS 89601448 WITH SCORE 8.9696387623E7
AT ITER 1493 NEW BEST:: SOT 866897432 SOS 94938833 HAS SOPS 94558435 HAS SOUS 89638558 HAS SOUPS 89600658 WITH SCORE 8.9695596833E7
AT ITER 1525 NEW BEST:: SOT 866897432 SOS 94938314 HAS SOPS 94557916 HAS SOUS 89638039 HAS SOUPS 89600139 WITH SCORE 8.9695077314E7
AT ITER 1537 NEW BEST:: SOT 866896324 SOS 94936095 HAS SOPS 94555697 HAS SOUS 89635620 HAS SOUPS 89597720 WITH SCORE 8.9692656095E7
AT ITER 1543 NEW BEST:: SOT 866895214 SOS 94933863 HAS SOPS 94553465 HAS SOUS 89633388 HAS SOUPS 89595488 WITH SCORE 8.9690421863E7
AT ITER 1572 NEW BEST:: SOT 866895214 SOS 94933360 HAS SOPS 94552962 HAS SOUS 89632885 HAS SOUPS 89594985 WITH SCORE 8.968991836E7
AT ITER 1588 NEW BEST:: SOT 866894108 SOS 94931132 HAS SOPS 94550734 HAS SOUS 89630657 HAS SOUPS 89592757 WITH SCORE 8.9687688132E7
AT ITER 1590 NEW BEST:: SOT 866893003 SOS 94928916 HAS SOPS 94548518 HAS SOUS 89628441 HAS SOUPS 89590541 WITH SCORE 8.9685469916E7
AT ITER 1602 NEW BEST:: SOT 866892111 SOS 94927734 HAS SOPS 94547336 HAS SOUS 89627259 HAS SOUPS 89589359 WITH SCORE 8.9684286734E7
AT ITER 1613 NEW BEST:: SOT 866890875 SOS 94925262 HAS SOPS 94544864 HAS SOUS 89624787 HAS SOUPS 89586887 WITH SCORE 8.9681812262E7
AT ITER 1628 NEW BEST:: SOT 866890875 SOS 94924822 HAS SOPS 94544424 HAS SOUS 89624347 HAS SOUPS 89586447 WITH SCORE 8.9681371822E7
AT ITER 1631 NEW BEST:: SOT 866890871 SOS 94924794 HAS SOPS 94544396 HAS SOUS 89624343 HAS SOUPS 89586443 WITH SCORE 8.9681367794E7
AT ITER 1673 NEW BEST:: SOT 866890277 SOS 94924200 HAS SOPS 94543802 HAS SOUS 89623749 HAS SOUPS 89585849 WITH SCORE 8.96807732E7
AT ITER 1692 NEW BEST:: SOT 866890277 SOS 94923850 HAS SOPS 94543452 HAS SOUS 89622899 HAS SOUPS 89584999 WITH SCORE 8.967992285E7
AT ITER 1704 NEW BEST:: SOT 866887625 SOS 94917435 HAS SOPS 94537037 HAS SOUS 89616484 HAS SOUPS 89578584 WITH SCORE 8.9673501435E7
AT ITER 1727 NEW BEST:: SOT 866887625 SOS 94916903 HAS SOPS 94536505 HAS SOUS 89615952 HAS SOUPS 89578052 WITH SCORE 8.9672968903E7
AT ITER 1739 NEW BEST:: SOT 866885313 SOS 94911155 HAS SOPS 94530757 HAS SOUS 89610116 HAS SOUPS 89572216 WITH SCORE 8.9667127155E7
AT ITER 1769 NEW BEST:: SOT 866884760 SOS 94910602 HAS SOPS 94530204 HAS SOUS 89609110 HAS SOUPS 89571210 WITH SCORE 8.9666120602E7
AT ITER 1813 NEW BEST:: SOT 866881662 SOS 94904449 HAS SOPS 94524051 HAS SOUS 89602914 HAS SOUPS 89565014 WITH SCORE 8.9659918449E7
AT ITER 1840 NEW BEST:: SOT 866881662 SOS 94904449 HAS SOPS 94524051 HAS SOUS 89602814 HAS SOUPS 89564914 WITH SCORE 8.9659818449E7
AT ITER 1853 NEW BEST:: SOT 866880562 SOS 94902238 HAS SOPS 94521840 HAS SOUS 89599603 HAS SOUPS 89561703 WITH SCORE 8.9656605238E7
AT ITER 1892 NEW BEST:: SOT 866879456 SOS 94900010 HAS SOPS 94519612 HAS SOUS 89597375 HAS SOUPS 89559475 WITH SCORE 8.965437501E7
AT ITER 1991 NEW BEST:: SOT 866878666 SOS 94899220 HAS SOPS 94518822 HAS SOUS 89596585 HAS SOUPS 89558685 WITH SCORE 8.965358422E7
AT ITER 2018 NEW BEST:: SOT 866878666 SOS 94898473 HAS SOPS 94518075 HAS SOUS 89595838 HAS SOUPS 89557938 WITH SCORE 8.9652836473E7
AT ITER 2051 NEW BEST:: SOT 866878666 SOS 94897964 HAS SOPS 94517566 HAS SOUS 89595329 HAS SOUPS 89557429 WITH SCORE 8.9652326964E7
AT ITER 2055 NEW BEST:: SOT 866877678 SOS 94897228 HAS SOPS 94516830 HAS SOUS 89594593 HAS SOUPS 89556693 WITH SCORE 8.9651590228E7
AT ITER 2077 NEW BEST:: SOT 866877678 SOS 94896937 HAS SOPS 94516539 HAS SOUS 89594302 HAS SOUPS 89556402 WITH SCORE 8.9651298937E7
AT ITER 2084 NEW BEST:: SOT 866876707 SOS 94895966 HAS SOPS 94515568 HAS SOUS 89593331 HAS SOUPS 89555431 WITH SCORE 8.9650326966E7
AT ITER 2101 NEW BEST:: SOT 866875600 SOS 94893737 HAS SOPS 94513339 HAS SOUS 89591102 HAS SOUPS 89553202 WITH SCORE 8.9648095737E7
AT ITER 2119 NEW BEST:: SOT 866874490 SOS 94891516 HAS SOPS 94511118 HAS SOUS 89588881 HAS SOUPS 89550981 WITH SCORE 8.9645872516E7
AT ITER 2122 NEW BEST:: SOT 866874258 SOS 94891047 HAS SOPS 94510649 HAS SOUS 89588412 HAS SOUPS 89550512 WITH SCORE 8.9645403047E7
AT ITER 2125 NEW BEST:: SOT 866871368 SOS 94884156 HAS SOPS 94503758 HAS SOUS 89581521 HAS SOUPS 89543621 WITH SCORE 8.9638505156E7
AT ITER 2126 NEW BEST:: SOT 866870268 SOS 94881945 HAS SOPS 94501547 HAS SOUS 89579310 HAS SOUPS 89541410 WITH SCORE 8.9636291945E7
AT ITER 2176 NEW BEST:: SOT 866870268 SOS 94881554 HAS SOPS 94501156 HAS SOUS 89578515 HAS SOUPS 89540615 WITH SCORE 8.9635496554E7
AT ITER 2215 NEW BEST:: SOT 866870268 SOS 94881210 HAS SOPS 94500812 HAS SOUS 89578171 HAS SOUPS 89540271 WITH SCORE 8.963515221E7
AT ITER 2230 NEW BEST:: SOT 866870268 SOS 94880160 HAS SOPS 94499762 HAS SOUS 89577121 HAS SOUPS 89539221 WITH SCORE 8.963410116E7
AT ITER 2242 NEW BEST:: SOT 866870268 SOS 94879381 HAS SOPS 94498983 HAS SOUS 89576342 HAS SOUPS 89538442 WITH SCORE 8.9633321381E7
AT ITER 2276 NEW BEST:: SOT 866870268 SOS 94878282 HAS SOPS 94497884 HAS SOUS 89575243 HAS SOUPS 89537343 WITH SCORE 8.9632221282E7
AT ITER 2307 NEW BEST:: SOT 866871382 SOS 94877180 HAS SOPS 94496782 HAS SOUS 89574141 HAS SOUPS 89536241 WITH SCORE 8.963111818E7
AT ITER 2316 NEW BEST:: SOT 866871382 SOS 94876829 HAS SOPS 94496431 HAS SOUS 89573790 HAS SOUPS 89535890 WITH SCORE 8.9630766829E7
AT ITER 2321 NEW BEST:: SOT 866886306 SOS 94895492 HAS SOPS 94488738 HAS SOUS 89572462 HAS SOUPS 89528197 WITH SCORE 8.9623092492E7
AT ITER 2340 NEW BEST:: SOT 866886125 SOS 94895128 HAS SOPS 94488374 HAS SOUS 89572098 HAS SOUPS 89527833 WITH SCORE 8.9622728128E7
AT ITER 2352 NEW BEST:: SOT 866886125 SOS 94894891 HAS SOPS 94488137 HAS SOUS 89571861 HAS SOUPS 89527596 WITH SCORE 8.9622490891E7
AT ITER 2363 NEW BEST:: SOT 866885021 SOS 94892665 HAS SOPS 94485911 HAS SOUS 89569635 HAS SOUPS 89525370 WITH SCORE 8.9620262665E7
AT ITER 2407 NEW BEST:: SOT 866885021 SOS 94891789 HAS SOPS 94485035 HAS SOUS 89568759 HAS SOUPS 89524494 WITH SCORE 8.9619385789E7
AT ITER 2426 NEW BEST:: SOT 866885674 SOS 94892748 HAS SOPS 94482975 HAS SOUS 89567005 HAS SOUPS 89522740 WITH SCORE 8.9617632748E7
AT ITER 2432 NEW BEST:: SOT 866884571 SOS 94890523 HAS SOPS 94480750 HAS SOUS 89564780 HAS SOUPS 89520515 WITH SCORE 8.9615405523E7
AT ITER 2433 NEW BEST:: SOT 866883471 SOS 94888301 HAS SOPS 94478528 HAS SOUS 89562558 HAS SOUPS 89518293 WITH SCORE 8.9613181301E7
AT ITER 2450 NEW BEST:: SOT 866882816 SOS 94886991 HAS SOPS 94477218 HAS SOUS 89561248 HAS SOUPS 89516983 WITH SCORE 8.9611869991E7
AT ITER 2474 NEW BEST:: SOT 866880599 SOS 94881446 HAS SOPS 94471673 HAS SOUS 89555703 HAS SOUPS 89511438 WITH SCORE 8.9606319446E7
AT ITER 2544 NEW BEST:: SOT 866880257 SOS 94881104 HAS SOPS 94471331 HAS SOUS 89555361 HAS SOUPS 89511096 WITH SCORE 8.9605977104E7
AT ITER 2545 NEW BEST:: SOT 866880257 SOS 94880170 HAS SOPS 94470397 HAS SOUS 89554427 HAS SOUPS 89510162 WITH SCORE 8.960504217E7
AT ITER 2558 NEW BEST:: SOT 866879440 SOS 94877953 HAS SOPS 94468180 HAS SOUS 89552210 HAS SOUPS 89507945 WITH SCORE 8.9602822953E7
AT ITER 2641 NEW BEST:: SOT 866877546 SOS 94874192 HAS SOPS 94464419 HAS SOUS 89548422 HAS SOUPS 89504157 WITH SCORE 8.9599031192E7
AT ITER 2652 NEW BEST:: SOT 866877546 SOS 94873469 HAS SOPS 94463696 HAS SOUS 89547699 HAS SOUPS 89503434 WITH SCORE 8.9598307469E7
AT ITER 2668 NEW BEST:: SOT 866877018 SOS 94872413 HAS SOPS 94462640 HAS SOUS 89546643 HAS SOUPS 89502378 WITH SCORE 8.9597250413E7
AT ITER 2670 NEW BEST:: SOT 866875912 SOS 94870185 HAS SOPS 94460412 HAS SOUS 89544415 HAS SOUPS 89500150 WITH SCORE 8.9595020185E7
AT ITER 2801 NEW BEST:: SOT 866875162 SOS 94869988 HAS SOPS 94460215 HAS SOUS 89544218 HAS SOUPS 89499953 WITH SCORE 8.9594822988E7
AT ITER 2802 NEW BEST:: SOT 866872506 SOS 94867622 HAS SOPS 94457849 HAS SOUS 89541652 HAS SOUPS 89497387 WITH SCORE 8.9592254622E7
AT ITER 2812 NEW BEST:: SOT 866872162 SOS 94867278 HAS SOPS 94457505 HAS SOUS 89541308 HAS SOUPS 89497043 WITH SCORE 8.9591910278E7
AT ITER 2845 NEW BEST:: SOT 866872162 SOS 94866521 HAS SOPS 94456748 HAS SOUS 89540551 HAS SOUPS 89496286 WITH SCORE 8.9591152521E7
AT ITER 2854 NEW BEST:: SOT 866871060 SOS 94864308 HAS SOPS 94454535 HAS SOUS 89538338 HAS SOUPS 89494073 WITH SCORE 8.9588937308E7
AT ITER 2865 NEW BEST:: SOT 866870404 SOS 94863652 HAS SOPS 94453879 HAS SOUS 89537682 HAS SOUPS 89493417 WITH SCORE 8.9588280652E7
AT ITER 2883 NEW BEST:: SOT 866871494 SOS 94862548 HAS SOPS 94452775 HAS SOUS 89536578 HAS SOUPS 89492313 WITH SCORE 8.9587175548E7
AT ITER 2885 NEW BEST:: SOT 866871478 SOS 94862532 HAS SOPS 94452759 HAS SOUS 89536562 HAS SOUPS 89492297 WITH SCORE 8.9587159532E7
AT ITER 2956 NEW BEST:: SOT 866870377 SOS 94860309 HAS SOPS 94450536 HAS SOUS 89534339 HAS SOUPS 89490074 WITH SCORE 8.9584934309E7
AT ITER 2969 NEW BEST:: SOT 866870377 SOS 94859855 HAS SOPS 94450082 HAS SOUS 89533885 HAS SOUPS 89489620 WITH SCORE 8.9584479855E7
AT ITER 3006 NEW BEST:: SOT 866870377 SOS 94858923 HAS SOPS 94449150 HAS SOUS 89532953 HAS SOUPS 89488688 WITH SCORE 8.9583546923E7
AT ITER 3021 NEW BEST:: SOT 866869394 SOS 94857940 HAS SOPS 94448167 HAS SOUS 89531970 HAS SOUPS 89487705 WITH SCORE 8.958256294E7
AT ITER 3065 NEW BEST:: SOT 866868292 SOS 94855716 HAS SOPS 94445943 HAS SOUS 89529746 HAS SOUPS 89485481 WITH SCORE 8.9580336716E7
AT ITER 3074 NEW BEST:: SOT 866867341 SOS 94854765 HAS SOPS 94444992 HAS SOUS 89528795 HAS SOUPS 89484530 WITH SCORE 8.9579384765E7
AT ITER 3079 NEW BEST:: SOT 866866340 SOS 94853365 HAS SOPS 94443592 HAS SOUS 89527395 HAS SOUPS 89483130 WITH SCORE 8.9577983365E7
AT ITER 3082 NEW BEST:: SOT 866865236 SOS 94851150 HAS SOPS 94441377 HAS SOUS 89525180 HAS SOUPS 89480915 WITH SCORE 8.957576615E7
AT ITER 3090 NEW BEST:: SOT 866865028 SOS 94850730 HAS SOPS 94440957 HAS SOUS 89524760 HAS SOUPS 89480495 WITH SCORE 8.957534573E7
AT ITER 3109 NEW BEST:: SOT 866865028 SOS 94850155 HAS SOPS 94440382 HAS SOUS 89524185 HAS SOUPS 89479920 WITH SCORE 8.9574770155E7
AT ITER 3184 NEW BEST:: SOT 866865028 SOS 94850005 HAS SOPS 94440232 HAS SOUS 89524035 HAS SOUPS 89479770 WITH SCORE 8.9574620005E7
AT ITER 3225 NEW BEST:: SOT 866863927 SOS 94847793 HAS SOPS 94438020 HAS SOUS 89520923 HAS SOUPS 89476658 WITH SCORE 8.9571505793E7
AT ITER 3278 NEW BEST:: SOT 866863927 SOS 94847793 HAS SOPS 94438020 HAS SOUS 89520823 HAS SOUPS 89476558 WITH SCORE 8.9571405793E7
AT ITER 3315 NEW BEST:: SOT 866862892 SOS 94846758 HAS SOPS 94436985 HAS SOUS 89518853 HAS SOUPS 89474588 WITH SCORE 8.9569434758E7
AT ITER 3402 NEW BEST:: SOT 866861931 SOS 94845797 HAS SOPS 94436024 HAS SOUS 89517892 HAS SOUPS 89473627 WITH SCORE 8.9568472797E7
AT ITER 3410 NEW BEST:: SOT 866863552 SOS 94845705 HAS SOPS 94435932 HAS SOUS 89517800 HAS SOUPS 89473535 WITH SCORE 8.9568380705E7
AT ITER 3431 NEW BEST:: SOT 866861347 SOS 94840106 HAS SOPS 94430333 HAS SOUS 89512178 HAS SOUPS 89467913 WITH SCORE 8.9562753106E7
AT ITER 3440 NEW BEST:: SOT 866861084 SOS 94839580 HAS SOPS 94429807 HAS SOUS 89511652 HAS SOUPS 89467387 WITH SCORE 8.956222658E7
AT ITER 3444 NEW BEST:: SOT 866861084 SOS 94839316 HAS SOPS 94429543 HAS SOUS 89511388 HAS SOUPS 89467123 WITH SCORE 8.9561962316E7
AT ITER 3462 NEW BEST:: SOT 866858818 SOS 94834812 HAS SOPS 94425039 HAS SOUS 89506856 HAS SOUPS 89462591 WITH SCORE 8.9557425812E7
AT ITER 3471 NEW BEST:: SOT 866858818 SOS 94833927 HAS SOPS 94424154 HAS SOUS 89505971 HAS SOUPS 89461706 WITH SCORE 8.9556539927E7
AT ITER 3505 NEW BEST:: SOT 866858818 SOS 94833579 HAS SOPS 94423806 HAS SOUS 89505623 HAS SOUPS 89461358 WITH SCORE 8.9556191579E7
AT ITER 3523 NEW BEST:: SOT 866858818 SOS 94832656 HAS SOPS 94422883 HAS SOUS 89504700 HAS SOUPS 89460435 WITH SCORE 8.9555267656E7
AT ITER 3548 NEW BEST:: SOT 866858818 SOS 94832520 HAS SOPS 94422747 HAS SOUS 89504564 HAS SOUPS 89460299 WITH SCORE 8.955513152E7
AT ITER 3551 NEW BEST:: SOT 866858818 SOS 94831886 HAS SOPS 94422113 HAS SOUS 89503930 HAS SOUPS 89459665 WITH SCORE 8.9554496886E7
AT ITER 3563 NEW BEST:: SOT 866857757 SOS 94829667 HAS SOPS 94419894 HAS SOUS 89501611 HAS SOUPS 89457346 WITH SCORE 8.9552175667E7
AT ITER 3606 NEW BEST:: SOT 866857757 SOS 94829465 HAS SOPS 94419692 HAS SOUS 89501409 HAS SOUPS 89457144 WITH SCORE 8.9551973465E7
AT ITER 3607 NEW BEST:: SOT 866857757 SOS 94828436 HAS SOPS 94418663 HAS SOUS 89500380 HAS SOUPS 89456115 WITH SCORE 8.9550943436E7
AT ITER 3609 NEW BEST:: SOT 866856648 SOS 94826216 HAS SOPS 94416443 HAS SOUS 89498060 HAS SOUPS 89453795 WITH SCORE 8.9548621216E7
AT ITER 3610 NEW BEST:: SOT 866856167 SOS 94825735 HAS SOPS 94415962 HAS SOUS 89497579 HAS SOUPS 89453314 WITH SCORE 8.9548139735E7
AT ITER 3642 NEW BEST:: SOT 866853889 SOS 94820046 HAS SOPS 94410273 HAS SOUS 89491811 HAS SOUPS 89447546 WITH SCORE 8.9542366046E7
AT ITER 3661 NEW BEST:: SOT 866853889 SOS 94818966 HAS SOPS 94409193 HAS SOUS 89490731 HAS SOUPS 89446466 WITH SCORE 8.9541284966E7
AT ITER 3682 NEW BEST:: SOT 866852787 SOS 94816742 HAS SOPS 94406969 HAS SOUS 89488507 HAS SOUPS 89444242 WITH SCORE 8.9539058742E7
AT ITER 3739 NEW BEST:: SOT 866852647 SOS 94816458 HAS SOPS 94406685 HAS SOUS 89488223 HAS SOUPS 89443958 WITH SCORE 8.9538774458E7
AT ITER 3796 NEW BEST:: SOT 866852647 SOS 94816240 HAS SOPS 94406467 HAS SOUS 89488005 HAS SOUPS 89443740 WITH SCORE 8.953855624E7
AT ITER 3872 NEW BEST:: SOT 866852647 SOS 94815661 HAS SOPS 94405888 HAS SOUS 89487325 HAS SOUPS 89443060 WITH SCORE 8.9537875661E7
AT ITER 3885 NEW BEST:: SOT 866851490 SOS 94813347 HAS SOPS 94403574 HAS SOUS 89485011 HAS SOUPS 89440746 WITH SCORE 8.9535559347E7
AT ITER 3897 NEW BEST:: SOT 866850711 SOS 94812568 HAS SOPS 94402795 HAS SOUS 89484232 HAS SOUPS 89439967 WITH SCORE 8.9534779568E7
AT ITER 3923 NEW BEST:: SOT 866848289 SOS 94807802 HAS SOPS 94398029 HAS SOUS 89479388 HAS SOUPS 89435123 WITH SCORE 8.9529930802E7
AT ITER 3931 NEW BEST:: SOT 866847438 SOS 94805586 HAS SOPS 94395813 HAS SOUS 89477172 HAS SOUPS 89432907 WITH SCORE 8.9527712586E7
AT ITER 3935 NEW BEST:: SOT 866847438 SOS 94804718 HAS SOPS 94394945 HAS SOUS 89476304 HAS SOUPS 89432039 WITH SCORE 8.9526843718E7
AT ITER 3939 NEW BEST:: SOT 866846329 SOS 94802487 HAS SOPS 94392714 HAS SOUS 89474073 HAS SOUPS 89429808 WITH SCORE 8.9524610487E7
AT ITER 3956 NEW BEST:: SOT 866845247 SOS 94801405 HAS SOPS 94391632 HAS SOUS 89472991 HAS SOUPS 89428726 WITH SCORE 8.9523527405E7
AT ITER 3991 NEW BEST:: SOT 866844147 SOS 94799183 HAS SOPS 94389410 HAS SOUS 89470769 HAS SOUPS 89426504 WITH SCORE 8.9521303183E7
AT ITER 4012 NEW BEST:: SOT 866842364 SOS 94798417 HAS SOPS 94388644 HAS SOUS 89469116 HAS SOUPS 89424851 WITH SCORE 8.9519649417E7
AT ITER 4021 NEW BEST:: SOT 866841259 SOS 94796190 HAS SOPS 94386417 HAS SOUS 89466889 HAS SOUPS 89422624 WITH SCORE 8.951742019E7
AT ITER 4023 NEW BEST:: SOT 866841259 SOS 94795606 HAS SOPS 94385833 HAS SOUS 89466305 HAS SOUPS 89422040 WITH SCORE 8.9516835606E7
AT ITER 4093 NEW BEST:: SOT 866840052 SOS 94793187 HAS SOPS 94383414 HAS SOUS 89463886 HAS SOUPS 89419621 WITH SCORE 8.9514414187E7
AT ITER 4109 NEW BEST:: SOT 866840052 SOS 94792223 HAS SOPS 94382450 HAS SOUS 89462922 HAS SOUPS 89418657 WITH SCORE 8.9513449223E7
AT ITER 4128 NEW BEST:: SOT 866838207 SOS 94787422 HAS SOPS 94377649 HAS SOUS 89458121 HAS SOUPS 89413856 WITH SCORE 8.9508643422E7
AT ITER 4129 NEW BEST:: SOT 866837264 SOS 94786479 HAS SOPS 94376706 HAS SOUS 89457178 HAS SOUPS 89412913 WITH SCORE 8.9507699479E7
AT ITER 4147 NEW BEST:: SOT 866837264 SOS 94785786 HAS SOPS 94376013 HAS SOUS 89456485 HAS SOUPS 89412220 WITH SCORE 8.9507005786E7
AT ITER 4180 NEW BEST:: SOT 866836155 SOS 94783566 HAS SOPS 94373793 HAS SOUS 89454165 HAS SOUPS 89409900 WITH SCORE 8.9504683566E7
AT ITER 4202 NEW BEST:: SOT 866837202 SOS 94782460 HAS SOPS 94372687 HAS SOUS 89453059 HAS SOUPS 89408794 WITH SCORE 8.950357646E7
AT ITER 4208 NEW BEST:: SOT 866837106 SOS 94782248 HAS SOPS 94372475 HAS SOUS 89452963 HAS SOUPS 89408698 WITH SCORE 8.9503480248E7
AT ITER 4214 NEW BEST:: SOT 866836006 SOS 94780026 HAS SOPS 94370253 HAS SOUS 89450741 HAS SOUPS 89406476 WITH SCORE 8.9501256026E7
AT ITER 4221 NEW BEST:: SOT 866834904 SOS 94777813 HAS SOPS 94368040 HAS SOUS 89448528 HAS SOUPS 89404263 WITH SCORE 8.9499040813E7
AT ITER 4261 NEW BEST:: SOT 866833795 SOS 94775582 HAS SOPS 94365809 HAS SOUS 89446297 HAS SOUPS 89402032 WITH SCORE 8.9496807582E7
AT ITER 4267 NEW BEST:: SOT 866832693 SOS 94773369 HAS SOPS 94363596 HAS SOUS 89444084 HAS SOUPS 89399819 WITH SCORE 8.9494592369E7
AT ITER 4310 NEW BEST:: SOT 866831586 SOS 94771140 HAS SOPS 94361367 HAS SOUS 89441855 HAS SOUPS 89397590 WITH SCORE 8.949236114E7
AT ITER 4371 NEW BEST:: SOT 866830964 SOS 94767408 HAS SOPS 94357635 HAS SOUS 89441755 HAS SOUPS 89397490 WITH SCORE 8.9492257408E7
AT ITER 4390 NEW BEST:: SOT 866830964 SOS 94766493 HAS SOPS 94356720 HAS SOUS 89440840 HAS SOUPS 89396575 WITH SCORE 8.9491341493E7
AT ITER 4422 NEW BEST:: SOT 866830428 SOS 94765421 HAS SOPS 94355648 HAS SOUS 89439768 HAS SOUPS 89395503 WITH SCORE 8.9490268421E7
AT ITER 4446 NEW BEST:: SOT 866830428 SOS 94764572 HAS SOPS 94354799 HAS SOUS 89438919 HAS SOUPS 89394654 WITH SCORE 8.9489418572E7
AT ITER 4448 NEW BEST:: SOT 866830428 SOS 94763709 HAS SOPS 94353936 HAS SOUS 89438056 HAS SOUPS 89393791 WITH SCORE 8.9488554709E7
AT ITER 4462 NEW BEST:: SOT 866830428 SOS 94762975 HAS SOPS 94353202 HAS SOUS 89437322 HAS SOUPS 89393057 WITH SCORE 8.9487819975E7
AT ITER 4467 NEW BEST:: SOT 866829888 SOS 94761895 HAS SOPS 94352122 HAS SOUS 89436242 HAS SOUPS 89391977 WITH SCORE 8.9486738895E7
AT ITER 4499 NEW BEST:: SOT 866829888 SOS 94761477 HAS SOPS 94351704 HAS SOUS 89435824 HAS SOUPS 89391559 WITH SCORE 8.9486320477E7
AT ITER 4509 NEW BEST:: SOT 866829282 SOS 94760265 HAS SOPS 94350492 HAS SOUS 89434612 HAS SOUPS 89390347 WITH SCORE 8.9485107265E7
AT ITER 4524 NEW BEST:: SOT 866827472 SOS 94756645 HAS SOPS 94346872 HAS SOUS 89430992 HAS SOUPS 89386727 WITH SCORE 8.9481483645E7
AT ITER 4540 NEW BEST:: SOT 866827472 SOS 94755630 HAS SOPS 94345857 HAS SOUS 89429977 HAS SOUPS 89385712 WITH SCORE 8.948046763E7
AT ITER 4581 NEW BEST:: SOT 866826174 SOS 94755024 HAS SOPS 94345251 HAS SOUS 89429371 HAS SOUPS 89385106 WITH SCORE 8.9479861024E7
AT ITER 4628 NEW BEST:: SOT 866826174 SOS 94754396 HAS SOPS 94344623 HAS SOUS 89428743 HAS SOUPS 89384478 WITH SCORE 8.9479232396E7
AT ITER 4629 NEW BEST:: SOT 866825072 SOS 94752172 HAS SOPS 94342399 HAS SOUS 89426519 HAS SOUPS 89382254 WITH SCORE 8.9477006172E7
AT ITER 4631 NEW BEST:: SOT 866822728 SOS 94747490 HAS SOPS 94337717 HAS SOUS 89421831 HAS SOUPS 89377566 WITH SCORE 8.947231349E7
AT ITER 4656 NEW BEST:: SOT 866822245 SOS 94747007 HAS SOPS 94337234 HAS SOUS 89421348 HAS SOUPS 89377083 WITH SCORE 8.9471830007E7
AT ITER 4659 NEW BEST:: SOT 866821063 SOS 94746401 HAS SOPS 94336628 HAS SOUS 89419742 HAS SOUPS 89375477 WITH SCORE 8.9470223401E7
AT ITER 4675 NEW BEST:: SOT 866819182 SOS 94742639 HAS SOPS 94332866 HAS SOUS 89415980 HAS SOUPS 89371715 WITH SCORE 8.9466457639E7
AT ITER 4713 NEW BEST:: SOT 866819182 SOS 94741708 HAS SOPS 94331935 HAS SOUS 89415049 HAS SOUPS 89370784 WITH SCORE 8.9465525708E7
AT ITER 4715 NEW BEST:: SOT 866819039 SOS 94741565 HAS SOPS 94331792 HAS SOUS 89414906 HAS SOUPS 89370641 WITH SCORE 8.9465382565E7
AT ITER 4728 NEW BEST:: SOT 866819039 SOS 94741247 HAS SOPS 94331474 HAS SOUS 89414588 HAS SOUPS 89370323 WITH SCORE 8.9465064247E7
AT ITER 4729 NEW BEST:: SOT 866817938 SOS 94739035 HAS SOPS 94329262 HAS SOUS 89412376 HAS SOUPS 89368111 WITH SCORE 8.9462850035E7
AT ITER 4731 NEW BEST:: SOT 866817938 SOS 94738574 HAS SOPS 94328801 HAS SOUS 89411713 HAS SOUPS 89367448 WITH SCORE 8.9462186574E7
AT ITER 4741 NEW BEST:: SOT 866815564 SOS 94733883 HAS SOPS 94324110 HAS SOUS 89406965 HAS SOUPS 89362700 WITH SCORE 8.9457433883E7
AT ITER 4757 NEW BEST:: SOT 866814814 SOS 94733133 HAS SOPS 94323360 HAS SOUS 89406215 HAS SOUPS 89361950 WITH SCORE 8.9456683133E7
AT ITER 4815 NEW BEST:: SOT 866814814 SOS 94732252 HAS SOPS 94322479 HAS SOUS 89405334 HAS SOUPS 89361069 WITH SCORE 8.9455801252E7
AT ITER 4832 NEW BEST:: SOT 866814508 SOS 94731946 HAS SOPS 94322173 HAS SOUS 89404928 HAS SOUPS 89360663 WITH SCORE 8.9455394946E7
AT ITER 4853 NEW BEST:: SOT 866813402 SOS 94729729 HAS SOPS 94319956 HAS SOUS 89402711 HAS SOUPS 89358446 WITH SCORE 8.9453175729E7
AT ITER 4876 NEW BEST:: SOT 866812636 SOS 94728963 HAS SOPS 94319190 HAS SOUS 89401945 HAS SOUPS 89357680 WITH SCORE 8.9452408963E7
AT ITER 4885 NEW BEST:: SOT 866810232 SOS 94724177 HAS SOPS 94314404 HAS SOUS 89397137 HAS SOUPS 89352872 WITH SCORE 8.9447596177E7
AT ITER 4928 NEW BEST:: SOT 866809128 SOS 94721451 HAS SOPS 94311678 HAS SOUS 89394411 HAS SOUPS 89350146 WITH SCORE 8.9444867451E7
AT ITER 4952 NEW BEST:: SOT 866808522 SOS 94720239 HAS SOPS 94310466 HAS SOUS 89393199 HAS SOUPS 89348934 WITH SCORE 8.9443654239E7
AT ITER 4978 NEW BEST:: SOT 866807895 SOS 94719612 HAS SOPS 94309839 HAS SOUS 89392572 HAS SOUPS 89348307 WITH SCORE 8.9443026612E7
AT ITER 4986 NEW BEST:: SOT 866806788 SOS 94717383 HAS SOPS 94307610 HAS SOUS 89390343 HAS SOUPS 89346078 WITH SCORE 8.9440795383E7
AT ITER 4988 NEW BEST:: SOT 866806413 SOS 94717008 HAS SOPS 94307235 HAS SOUS 89389968 HAS SOUPS 89345703 WITH SCORE 8.9440420008E7
AT ITER 4993 NEW BEST:: SOT 866806413 SOS 94717008 HAS SOPS 94307235 HAS SOUS 89389873 HAS SOUPS 89345608 WITH SCORE 8.9440325008E7
AT ITER 5007 NEW BEST:: SOT 866806413 SOS 94716616 HAS SOPS 94306843 HAS SOUS 89389481 HAS SOUPS 89345216 WITH SCORE 8.9439932616E7
AT ITER 5008 NEW BEST:: SOT 866805975 SOS 94714405 HAS SOPS 94304632 HAS SOUS 89387270 HAS SOUPS 89343005 WITH SCORE 8.9437719405E7
AT ITER 5062 NEW BEST:: SOT 866805682 SOS 94714112 HAS SOPS 94304339 HAS SOUS 89386977 HAS SOUPS 89342712 WITH SCORE 8.9437426112E7
AT ITER 5083 NEW BEST:: SOT 866800727 SOS 94714399 HAS SOPS 94304626 HAS SOUS 89382646 HAS SOUPS 89338381 WITH SCORE 8.9433095399E7
AT ITER 5131 NEW BEST:: SOT 866799623 SOS 94712173 HAS SOPS 94302400 HAS SOUS 89380420 HAS SOUPS 89336155 WITH SCORE 8.9430867173E7
AT ITER 5144 NEW BEST:: SOT 866798516 SOS 94709955 HAS SOPS 94300182 HAS SOUS 89378202 HAS SOUPS 89333937 WITH SCORE 8.9428646955E7
AT ITER 5148 NEW BEST:: SOT 866797416 SOS 94707744 HAS SOPS 94297971 HAS SOUS 89375991 HAS SOUPS 89331726 WITH SCORE 8.9426433744E7
AT ITER 5154 NEW BEST:: SOT 866797416 SOS 94706899 HAS SOPS 94297126 HAS SOUS 89375146 HAS SOUPS 89330881 WITH SCORE 8.9425587899E7
AT ITER 5172 NEW BEST:: SOT 866796341 SOS 94705824 HAS SOPS 94296051 HAS SOUS 89374071 HAS SOUPS 89329806 WITH SCORE 8.9424511824E7
AT ITER 5189 NEW BEST:: SOT 866795803 SOS 94705286 HAS SOPS 94295513 HAS SOUS 89373533 HAS SOUPS 89329268 WITH SCORE 8.9423973286E7
AT ITER 5195 NEW BEST:: SOT 866793259 SOS 94700245 HAS SOPS 94290472 HAS SOUS 89368445 HAS SOUPS 89324180 WITH SCORE 8.9418880245E7
AT ITER 5243 NEW BEST:: SOT 866793259 SOS 94699159 HAS SOPS 94289386 HAS SOUS 89367359 HAS SOUPS 89323094 WITH SCORE 8.9417793159E7
AT ITER 5285 NEW BEST:: SOT 866792150 SOS 94696928 HAS SOPS 94287155 HAS SOUS 89365128 HAS SOUPS 89320863 WITH SCORE 8.9415559928E7
AT ITER 5309 NEW BEST:: SOT 866791514 SOS 94694713 HAS SOPS 94284940 HAS SOUS 89362913 HAS SOUPS 89318648 WITH SCORE 8.9413342713E7
AT ITER 5404 NEW BEST:: SOT 866790538 SOS 94692761 HAS SOPS 94282988 HAS SOUS 89360961 HAS SOUPS 89316696 WITH SCORE 8.9411388761E7
AT ITER 5412 NEW BEST:: SOT 866784972 SOS 94689107 HAS SOPS 94279334 HAS SOUS 89355627 HAS SOUPS 89311362 WITH SCORE 8.9406051107E7
AT ITER 5440 NEW BEST:: SOT 866784972 SOS 94689107 HAS SOPS 94279334 HAS SOUS 89355583 HAS SOUPS 89311318 WITH SCORE 8.9406007107E7
AT ITER 5451 NEW BEST:: SOT 866784306 SOS 94688441 HAS SOPS 94278668 HAS SOUS 89354917 HAS SOUPS 89310652 WITH SCORE 8.9405340441E7
AT ITER 5470 NEW BEST:: SOT 866783336 SOS 94686227 HAS SOPS 94276454 HAS SOUS 89352703 HAS SOUPS 89308438 WITH SCORE 8.9403124227E7
AT ITER 5489 NEW BEST:: SOT 866782427 SOS 94684409 HAS SOPS 94274636 HAS SOUS 89350885 HAS SOUPS 89306620 WITH SCORE 8.9401304409E7
AT ITER 5536 NEW BEST:: SOT 866781274 SOS 94682102 HAS SOPS 94272329 HAS SOUS 89348578 HAS SOUPS 89304313 WITH SCORE 8.9398995102E7
AT ITER 5587 NEW BEST:: SOT 866781274 SOS 94681325 HAS SOPS 94271552 HAS SOUS 89347801 HAS SOUPS 89303536 WITH SCORE 8.9398217325E7
AT ITER 5594 NEW BEST:: SOT 866780671 SOS 94679823 HAS SOPS 94270050 HAS SOUS 89346299 HAS SOUPS 89302034 WITH SCORE 8.9396713823E7
AT ITER 5600 NEW BEST:: SOT 866779563 SOS 94676505 HAS SOPS 94266732 HAS SOUS 89342981 HAS SOUPS 89298716 WITH SCORE 8.9393392505E7
AT ITER 5637 NEW BEST:: SOT 866778355 SOS 94674085 HAS SOPS 94264312 HAS SOUS 89340561 HAS SOUPS 89296296 WITH SCORE 8.9390970085E7
AT ITER 5712 NEW BEST:: SOT 866779907 SOS 94673853 HAS SOPS 94264080 HAS SOUS 89340329 HAS SOUPS 89296064 WITH SCORE 8.9390737853E7
AT ITER 5720 NEW BEST:: SOT 866778799 SOS 94671623 HAS SOPS 94261850 HAS SOUS 89338099 HAS SOUPS 89293834 WITH SCORE 8.9388505623E7
AT ITER 5765 NEW BEST:: SOT 866780276 SOS 94671243 HAS SOPS 94261470 HAS SOUS 89337719 HAS SOUPS 89293454 WITH SCORE 8.9388125243E7
AT ITER 5778 NEW BEST:: SOT 866779057 SOS 94663324 HAS SOPS 94253551 HAS SOUS 89335895 HAS SOUPS 89291630 WITH SCORE 8.9386293324E7
AT ITER 5897 NEW BEST:: SOT 866777947 SOS 94661103 HAS SOPS 94251330 HAS SOUS 89333674 HAS SOUPS 89289409 WITH SCORE 8.9384070103E7
AT ITER 5913 NEW BEST:: SOT 866777947 SOS 94660456 HAS SOPS 94250683 HAS SOUS 89333027 HAS SOUPS 89288762 WITH SCORE 8.9383422456E7
AT ITER 5952 NEW BEST:: SOT 866777947 SOS 94660150 HAS SOPS 94250377 HAS SOUS 89332721 HAS SOUPS 89288456 WITH SCORE 8.938311615E7
AT ITER 5963 NEW BEST:: SOT 866777883 SOS 94660086 HAS SOPS 94250313 HAS SOUS 89332657 HAS SOUPS 89288392 WITH SCORE 8.9383052086E7
AT ITER 5971 NEW BEST:: SOT 866776268 SOS 94659480 HAS SOPS 94249707 HAS SOUS 89331251 HAS SOUPS 89286986 WITH SCORE 8.938164548E7
AT ITER 5977 NEW BEST:: SOT 866775166 SOS 94657267 HAS SOPS 94247494 HAS SOUS 89328238 HAS SOUPS 89283973 WITH SCORE 8.9378630267E7
AT ITER 6060 NEW BEST:: SOT 866775166 SOS 94656736 HAS SOPS 94246963 HAS SOUS 89327707 HAS SOUPS 89283442 WITH SCORE 8.9378098736E7
AT ITER 6072 NEW BEST:: SOT 866774061 SOS 94654520 HAS SOPS 94244747 HAS SOUS 89325491 HAS SOUPS 89281226 WITH SCORE 8.937588052E7
AT ITER 6089 NEW BEST:: SOT 866774061 SOS 94653864 HAS SOPS 94244091 HAS SOUS 89324835 HAS SOUPS 89280570 WITH SCORE 8.9375223864E7
AT ITER 6106 NEW BEST:: SOT 866772852 SOS 94651443 HAS SOPS 94241670 HAS SOUS 89322414 HAS SOUPS 89278149 WITH SCORE 8.9372800443E7
AT ITER 6116 NEW BEST:: SOT 866771746 SOS 94649215 HAS SOPS 94239442 HAS SOUS 89320186 HAS SOUPS 89275921 WITH SCORE 8.9370570215E7
AT ITER 6121 NEW BEST:: SOT 866771746 SOS 94648353 HAS SOPS 94238580 HAS SOUS 89319324 HAS SOUPS 89275059 WITH SCORE 8.9369707353E7
AT ITER 6166 NEW BEST:: SOT 866771746 SOS 94647764 HAS SOPS 94237991 HAS SOUS 89318735 HAS SOUPS 89274470 WITH SCORE 8.9369117764E7
AT ITER 6309 NEW BEST:: SOT 866770642 SOS 94645549 HAS SOPS 94235776 HAS SOUS 89316520 HAS SOUPS 89272255 WITH SCORE 8.9366900549E7
AT ITER 6350 NEW BEST:: SOT 866770642 SOS 94645236 HAS SOPS 94235463 HAS SOUS 89316207 HAS SOUPS 89271942 WITH SCORE 8.9366587236E7
AT ITER 6353 NEW BEST:: SOT 866770036 SOS 94644024 HAS SOPS 94234251 HAS SOUS 89314995 HAS SOUPS 89270730 WITH SCORE 8.9365374024E7
AT ITER 6361 NEW BEST:: SOT 866769370 SOS 94643358 HAS SOPS 94233585 HAS SOUS 89314329 HAS SOUPS 89270064 WITH SCORE 8.9364707358E7
AT ITER 6395 NEW BEST:: SOT 866768266 SOS 94641132 HAS SOPS 94231359 HAS SOUS 89312103 HAS SOUPS 89267838 WITH SCORE 8.9362479132E7
AT ITER 6462 NEW BEST:: SOT 866767075 SOS 94638750 HAS SOPS 94228977 HAS SOUS 89309721 HAS SOUPS 89265456 WITH SCORE 8.936009475E7
AT ITER 6478 NEW BEST:: SOT 866766906 SOS 94638581 HAS SOPS 94228808 HAS SOUS 89309552 HAS SOUPS 89265287 WITH SCORE 8.9359925581E7
AT ITER 6490 NEW BEST:: SOT 866765798 SOS 94636362 HAS SOPS 94226589 HAS SOUS 89306225 HAS SOUPS 89261960 WITH SCORE 8.9356596362E7
AT ITER 6545 NEW BEST:: SOT 866764688 SOS 94634130 HAS SOPS 94224357 HAS SOUS 89303993 HAS SOUPS 89259728 WITH SCORE 8.935436213E7
AT ITER 6565 NEW BEST:: SOT 866763581 SOS 94631901 HAS SOPS 94222128 HAS SOUS 89301764 HAS SOUPS 89257499 WITH SCORE 8.9352130901E7
AT ITER 6566 NEW BEST:: SOT 866763581 SOS 94631901 HAS SOPS 94222128 HAS SOUS 89301564 HAS SOUPS 89257299 WITH SCORE 8.9351930901E7
AT ITER 6592 NEW BEST:: SOT 866762915 SOS 94631235 HAS SOPS 94221462 HAS SOUS 89300898 HAS SOUPS 89256633 WITH SCORE 8.9351264235E7
AT ITER 6635 NEW BEST:: SOT 866762915 SOS 94630813 HAS SOPS 94221040 HAS SOUS 89300274 HAS SOUPS 89256009 WITH SCORE 8.9350639813E7
AT ITER 6641 NEW BEST:: SOT 866761806 SOS 94628593 HAS SOPS 94218820 HAS SOUS 89298054 HAS SOUPS 89253789 WITH SCORE 8.9348417593E7
AT ITER 6684 NEW BEST:: SOT 866760474 SOS 94625929 HAS SOPS 94216156 HAS SOUS 89295390 HAS SOUPS 89251125 WITH SCORE 8.9345750929E7
AT ITER 6690 NEW BEST:: SOT 866760474 SOS 94625169 HAS SOPS 94215396 HAS SOUS 89294630 HAS SOUPS 89250365 WITH SCORE 8.9344990169E7
AT ITER 6714 NEW BEST:: SOT 866760045 SOS 94624311 HAS SOPS 94214538 HAS SOUS 89293772 HAS SOUPS 89249507 WITH SCORE 8.9344131311E7
AT ITER 6725 NEW BEST:: SOT 866760045 SOS 94623543 HAS SOPS 94213770 HAS SOUS 89293004 HAS SOUPS 89248739 WITH SCORE 8.9343362543E7
AT ITER 6736 NEW BEST:: SOT 866760045 SOS 94622966 HAS SOPS 94213193 HAS SOUS 89292427 HAS SOUPS 89248162 WITH SCORE 8.9342784966E7
AT ITER 6755 NEW BEST:: SOT 866760045 SOS 94621914 HAS SOPS 94212141 HAS SOUS 89291375 HAS SOUPS 89247110 WITH SCORE 8.9341731914E7
AT ITER 6801 NEW BEST:: SOT 866759256 SOS 94621125 HAS SOPS 94211352 HAS SOUS 89290586 HAS SOUPS 89246321 WITH SCORE 8.9340942125E7
AT ITER 6812 NEW BEST:: SOT 866756986 SOS 94614315 HAS SOPS 94204542 HAS SOUS 89283776 HAS SOUPS 89239511 WITH SCORE 8.9334125315E7
AT ITER 6823 NEW BEST:: SOT 866755877 SOS 94612095 HAS SOPS 94202322 HAS SOUS 89281456 HAS SOUPS 89237191 WITH SCORE 8.9331803095E7
AT ITER 6836 NEW BEST:: SOT 866754155 SOS 94608651 HAS SOPS 94198878 HAS SOUS 89278012 HAS SOUPS 89233747 WITH SCORE 8.9328355651E7
AT ITER 6898 NEW BEST:: SOT 866754155 SOS 94607780 HAS SOPS 94198007 HAS SOUS 89277141 HAS SOUPS 89232876 WITH SCORE 8.932748378E7
AT ITER 6914 NEW BEST:: SOT 866753553 SOS 94605969 HAS SOPS 94196196 HAS SOUS 89275330 HAS SOUPS 89231065 WITH SCORE 8.9325670969E7
AT ITER 6956 NEW BEST:: SOT 866752533 SOS 94604949 HAS SOPS 94195176 HAS SOUS 89274310 HAS SOUPS 89230045 WITH SCORE 8.9324649949E7
AT ITER 6959 NEW BEST:: SOT 866750327 SOS 94600621 HAS SOPS 94190848 HAS SOUS 89269898 HAS SOUPS 89225633 WITH SCORE 8.9320233621E7
AT ITER 6967 NEW BEST:: SOT 866749762 SOS 94599488 HAS SOPS 94189715 HAS SOUS 89268765 HAS SOUPS 89224500 WITH SCORE 8.9319099488E7
AT ITER 6972 NEW BEST:: SOT 866750746 SOS 94598384 HAS SOPS 94188611 HAS SOUS 89267661 HAS SOUPS 89223396 WITH SCORE 8.9317994384E7
AT ITER 6980 NEW BEST:: SOT 866750746 SOS 94598162 HAS SOPS 94188389 HAS SOUS 89267439 HAS SOUPS 89223174 WITH SCORE 8.9317772162E7
AT ITER 7002 NEW BEST:: SOT 866749695 SOS 94597111 HAS SOPS 94187338 HAS SOUS 89266388 HAS SOUPS 89222123 WITH SCORE 8.9316720111E7
AT ITER 7035 NEW BEST:: SOT 866749510 SOS 94596135 HAS SOPS 94186362 HAS SOUS 89266102 HAS SOUPS 89221837 WITH SCORE 8.9316433135E7
AT ITER 7065 NEW BEST:: SOT 866748727 SOS 94594569 HAS SOPS 94184796 HAS SOUS 89264536 HAS SOUPS 89220271 WITH SCORE 8.9314865569E7
AT ITER 7105 NEW BEST:: SOT 866747624 SOS 94592344 HAS SOPS 94182571 HAS SOUS 89262311 HAS SOUPS 89218046 WITH SCORE 8.9312638344E7
AT ITER 7194 NEW BEST:: SOT 866750899 SOS 94597432 HAS SOPS 94180114 HAS SOUS 89267278 HAS SOUPS 89216896 WITH SCORE 8.9311493432E7
AT ITER 7220 NEW BEST:: SOT 866750899 SOS 94596324 HAS SOPS 94179006 HAS SOUS 89266170 HAS SOUPS 89215788 WITH SCORE 8.9310384324E7
AT ITER 7229 NEW BEST:: SOT 866749793 SOS 94594096 HAS SOPS 94176778 HAS SOUS 89263942 HAS SOUPS 89213560 WITH SCORE 8.9308154096E7
AT ITER 7251 NEW BEST:: SOT 866748825 SOS 94593128 HAS SOPS 94175810 HAS SOUS 89262974 HAS SOUPS 89212592 WITH SCORE 8.9307185128E7
AT ITER 7282 NEW BEST:: SOT 866744604 SOS 94598224 HAS SOPS 94180906 HAS SOUS 89260111 HAS SOUPS 89209729 WITH SCORE 8.9304327224E7
AT ITER 7311 NEW BEST:: SOT 866743498 SOS 94596007 HAS SOPS 94178689 HAS SOUS 89257894 HAS SOUPS 89207512 WITH SCORE 8.9302108007E7
AT ITER 7403 NEW BEST:: SOT 866742356 SOS 94593723 HAS SOPS 94176405 HAS SOUS 89255610 HAS SOUPS 89205228 WITH SCORE 8.9299821723E7
AT ITER 7434 NEW BEST:: SOT 866741253 SOS 94591498 HAS SOPS 94174180 HAS SOUS 89253385 HAS SOUPS 89203003 WITH SCORE 8.9297594498E7
AT ITER 7457 NEW BEST:: SOT 866741900 SOS 94590545 HAS SOPS 94173227 HAS SOUS 89252432 HAS SOUPS 89202050 WITH SCORE 8.9296640545E7
AT ITER 7458 NEW BEST:: SOT 866740800 SOS 94588334 HAS SOPS 94171016 HAS SOUS 89250221 HAS SOUPS 89199839 WITH SCORE 8.9294427334E7
AT ITER 7478 NEW BEST:: SOT 866740800 SOS 94587390 HAS SOPS 94170072 HAS SOUS 89249277 HAS SOUPS 89198895 WITH SCORE 8.929348239E7
AT ITER 7501 NEW BEST:: SOT 866739693 SOS 94585161 HAS SOPS 94167843 HAS SOUS 89247048 HAS SOUPS 89196666 WITH SCORE 8.9291251161E7
AT ITER 7622 NEW BEST:: SOT 866738584 SOS 94582930 HAS SOPS 94165612 HAS SOUS 89244817 HAS SOUPS 89194435 WITH SCORE 8.928901793E7
AT ITER 7655 NEW BEST:: SOT 866738138 SOS 94582484 HAS SOPS 94165166 HAS SOUS 89244371 HAS SOUPS 89193989 WITH SCORE 8.9288571484E7
AT ITER 7667 NEW BEST:: SOT 866738138 SOS 94581963 HAS SOPS 94164645 HAS SOUS 89243850 HAS SOUPS 89193468 WITH SCORE 8.9288049963E7
AT ITER 7685 NEW BEST:: SOT 866737277 SOS 94581102 HAS SOPS 94163784 HAS SOUS 89242989 HAS SOUPS 89192607 WITH SCORE 8.9287188102E7
AT ITER 7727 NEW BEST:: SOT 866737277 SOS 94580178 HAS SOPS 94162860 HAS SOUS 89242065 HAS SOUPS 89191683 WITH SCORE 8.9286263178E7
AT ITER 7760 NEW BEST:: SOT 866736171 SOS 94577961 HAS SOPS 94160643 HAS SOUS 89239848 HAS SOUPS 89189466 WITH SCORE 8.9284043961E7
AT ITER 7786 NEW BEST:: SOT 866734605 SOS 94574934 HAS SOPS 94157616 HAS SOUS 89236716 HAS SOUPS 89186334 WITH SCORE 8.9280908934E7
AT ITER 7804 NEW BEST:: SOT 866731397 SOS 94567407 HAS SOPS 94150089 HAS SOUS 89229189 HAS SOUPS 89178807 WITH SCORE 8.9273374407E7
AT ITER 7865 NEW BEST:: SOT 866723673 SOS 94560983 HAS SOPS 94143665 HAS SOUS 89222765 HAS SOUPS 89172383 WITH SCORE 8.9266943983E7
AT ITER 7887 NEW BEST:: SOT 866723673 SOS 94560755 HAS SOPS 94143437 HAS SOUS 89222537 HAS SOUPS 89172155 WITH SCORE 8.9266715755E7
AT ITER 7908 NEW BEST:: SOT 866722563 SOS 94558523 HAS SOPS 94141205 HAS SOUS 89220305 HAS SOUPS 89169923 WITH SCORE 8.9264481523E7
AT ITER 7932 NEW BEST:: SOT 866722466 SOS 94558323 HAS SOPS 94141005 HAS SOUS 89220208 HAS SOUPS 89169826 WITH SCORE 8.9264384323E7
AT ITER 7936 NEW BEST:: SOT 866721763 SOS 94557620 HAS SOPS 94140302 HAS SOUS 89219505 HAS SOUPS 89169123 WITH SCORE 8.926368062E7
AT ITER 7947 NEW BEST:: SOT 866721763 SOS 94557271 HAS SOPS 94139953 HAS SOUS 89218856 HAS SOUPS 89168474 WITH SCORE 8.9263031271E7
AT ITER 7950 NEW BEST:: SOT 866721763 SOS 94556338 HAS SOPS 94139020 HAS SOUS 89217923 HAS SOUPS 89167541 WITH SCORE 8.9262097338E7
AT ITER 7983 NEW BEST:: SOT 866721763 SOS 94556007 HAS SOPS 94138689 HAS SOUS 89217492 HAS SOUPS 89167110 WITH SCORE 8.9261666007E7
AT ITER 8008 NEW BEST:: SOT 866721808 SOS 94556081 HAS SOPS 94138763 HAS SOUS 89217437 HAS SOUPS 89167055 WITH SCORE 8.9261611081E7
AT ITER 8013 NEW BEST:: SOT 866721207 SOS 94555480 HAS SOPS 94138162 HAS SOUS 89216836 HAS SOUPS 89166454 WITH SCORE 8.926100948E7
AT ITER 8018 NEW BEST:: SOT 866721207 SOS 94555480 HAS SOPS 94138162 HAS SOUS 89216833 HAS SOUPS 89166451 WITH SCORE 8.926100648E7
AT ITER 8027 NEW BEST:: SOT 866718878 SOS 94554771 HAS SOPS 94137453 HAS SOUS 89215016 HAS SOUPS 89164634 WITH SCORE 8.9259188771E7
AT ITER 8044 NEW BEST:: SOT 866718878 SOS 94554407 HAS SOPS 94137089 HAS SOUS 89214652 HAS SOUPS 89164270 WITH SCORE 8.9258824407E7
AT ITER 8052 NEW BEST:: SOT 866718265 SOS 94553878 HAS SOPS 94136560 HAS SOUS 89214323 HAS SOUPS 89163941 WITH SCORE 8.9258494878E7
AT ITER 8055 NEW BEST:: SOT 866718265 SOS 94552779 HAS SOPS 94135461 HAS SOUS 89213224 HAS SOUPS 89162842 WITH SCORE 8.9257394779E7
AT ITER 8088 NEW BEST:: SOT 866718265 SOS 94551742 HAS SOPS 94134424 HAS SOUS 89212187 HAS SOUPS 89161805 WITH SCORE 8.9256356742E7
AT ITER 8103 NEW BEST:: SOT 866717158 SOS 94549524 HAS SOPS 94132206 HAS SOUS 89209669 HAS SOUPS 89159287 WITH SCORE 8.9253836524E7
AT ITER 8107 NEW BEST:: SOT 866717158 SOS 94548727 HAS SOPS 94131409 HAS SOUS 89208872 HAS SOUPS 89158490 WITH SCORE 8.9253038727E7
AT ITER 8133 NEW BEST:: SOT 866716951 SOS 94548520 HAS SOPS 94131202 HAS SOUS 89208665 HAS SOUPS 89158283 WITH SCORE 8.925283152E7
AT ITER 8168 NEW BEST:: SOT 866716347 SOS 94547916 HAS SOPS 94130598 HAS SOUS 89208061 HAS SOUPS 89157679 WITH SCORE 8.9252226916E7
AT ITER 8170 NEW BEST:: SOT 866715850 SOS 94547419 HAS SOPS 94130101 HAS SOUS 89207167 HAS SOUPS 89156785 WITH SCORE 8.9251332419E7
AT ITER 8250 NEW BEST:: SOT 866721253 SOS 94555081 HAS SOPS 94117167 HAS SOUS 89195383 HAS SOUPS 89145001 WITH SCORE 8.9239556081E7
AT ITER 8275 NEW BEST:: SOT 866720148 SOS 94552865 HAS SOPS 94114951 HAS SOUS 89193167 HAS SOUPS 89142785 WITH SCORE 8.9237337865E7
AT ITER 8279 NEW BEST:: SOT 866718896 SOS 94549250 HAS SOPS 94111336 HAS SOUS 89189552 HAS SOUPS 89139170 WITH SCORE 8.923371925E7
AT ITER 8280 NEW BEST:: SOT 866717788 SOS 94547020 HAS SOPS 94109106 HAS SOUS 89187322 HAS SOUPS 89136940 WITH SCORE 8.923148702E7
AT ITER 8321 NEW BEST:: SOT 866716687 SOS 94544808 HAS SOPS 94106894 HAS SOUS 89185110 HAS SOUPS 89134728 WITH SCORE 8.9229272808E7
AT ITER 8376 NEW BEST:: SOT 866715986 SOS 94544038 HAS SOPS 94106124 HAS SOUS 89184340 HAS SOUPS 89133958 WITH SCORE 8.9228502038E7
AT ITER 8396 NEW BEST:: SOT 866715986 SOS 94543513 HAS SOPS 94105599 HAS SOUS 89183815 HAS SOUPS 89133433 WITH SCORE 8.9227976513E7
AT ITER 8413 NEW BEST:: SOT 866715551 SOS 94543246 HAS SOPS 94105332 HAS SOUS 89183548 HAS SOUPS 89133166 WITH SCORE 8.9227709246E7
AT ITER 8416 NEW BEST:: SOT 866714652 SOS 94542347 HAS SOPS 94104433 HAS SOUS 89182052 HAS SOUPS 89131670 WITH SCORE 8.9226212347E7
AT ITER 8445 NEW BEST:: SOT 866713618 SOS 94541313 HAS SOPS 94103399 HAS SOUS 89181018 HAS SOUPS 89130636 WITH SCORE 8.9225177313E7
AT ITER 8481 NEW BEST:: SOT 866712513 SOS 94539086 HAS SOPS 94101172 HAS SOUS 89178791 HAS SOUPS 89128409 WITH SCORE 8.9222948086E7
AT ITER 8497 NEW BEST:: SOT 866711406 SOS 94536857 HAS SOPS 94098943 HAS SOUS 89176562 HAS SOUPS 89126180 WITH SCORE 8.9220716857E7
AT ITER 8509 NEW BEST:: SOT 866710297 SOS 94534626 HAS SOPS 94096712 HAS SOUS 89174331 HAS SOUPS 89123949 WITH SCORE 8.9218483626E7
AT ITER 8518 NEW BEST:: SOT 866709190 SOS 94532397 HAS SOPS 94094483 HAS SOUS 89172102 HAS SOUPS 89121720 WITH SCORE 8.9216252397E7
AT ITER 8584 NEW BEST:: SOT 866708818 SOS 94532025 HAS SOPS 94094111 HAS SOUS 89171730 HAS SOUPS 89121348 WITH SCORE 8.9215880025E7
AT ITER 8625 NEW BEST:: SOT 866707711 SOS 94529807 HAS SOPS 94091893 HAS SOUS 89169212 HAS SOUPS 89118830 WITH SCORE 8.9213359807E7
AT ITER 8664 NEW BEST:: SOT 866706605 SOS 94527590 HAS SOPS 94089676 HAS SOUS 89166595 HAS SOUPS 89116213 WITH SCORE 8.921074059E7
AT ITER 8703 NEW BEST:: SOT 866706605 SOS 94526686 HAS SOPS 94088772 HAS SOUS 89165691 HAS SOUPS 89115309 WITH SCORE 8.9209835686E7
AT ITER 8724 NEW BEST:: SOT 866705717 SOS 94524910 HAS SOPS 94086996 HAS SOUS 89163915 HAS SOUPS 89113533 WITH SCORE 8.920805791E7
AT ITER 8747 NEW BEST:: SOT 866705213 SOS 94523897 HAS SOPS 94085983 HAS SOUS 89162902 HAS SOUPS 89112520 WITH SCORE 8.9207043897E7
AT ITER 8751 NEW BEST:: SOT 866705213 SOS 94523043 HAS SOPS 94085129 HAS SOUS 89162048 HAS SOUPS 89111666 WITH SCORE 8.9206189043E7
AT ITER 8760 NEW BEST:: SOT 866705213 SOS 94522652 HAS SOPS 94084738 HAS SOUS 89161657 HAS SOUPS 89111275 WITH SCORE 8.9205797652E7
AT ITER 8767 NEW BEST:: SOT 866705213 SOS 94521833 HAS SOPS 94083919 HAS SOUS 89160838 HAS SOUPS 89110456 WITH SCORE 8.9204977833E7
AT ITER 8772 NEW BEST:: SOT 866703463 SOS 94517222 HAS SOPS 94079308 HAS SOUS 89156227 HAS SOUPS 89105845 WITH SCORE 8.9200362222E7
AT ITER 8827 NEW BEST:: SOT 866703159 SOS 94516614 HAS SOPS 94078700 HAS SOUS 89155417 HAS SOUPS 89105035 WITH SCORE 8.9199551614E7
AT ITER 8833 NEW BEST:: SOT 866702648 SOS 94516103 HAS SOPS 94078189 HAS SOUS 89154906 HAS SOUPS 89104524 WITH SCORE 8.9199040103E7
AT ITER 8850 NEW BEST:: SOT 866702648 SOS 94515472 HAS SOPS 94077558 HAS SOUS 89154275 HAS SOUPS 89103893 WITH SCORE 8.9198408472E7
AT ITER 8876 NEW BEST:: SOT 866703192 SOS 94514363 HAS SOPS 94076449 HAS SOUS 89153166 HAS SOUPS 89102784 WITH SCORE 8.9197298363E7
AT ITER 8888 NEW BEST:: SOT 866702162 SOS 94513333 HAS SOPS 94075419 HAS SOUS 89152136 HAS SOUPS 89101754 WITH SCORE 8.9196267333E7
AT ITER 8893 NEW BEST:: SOT 866702162 SOS 94512414 HAS SOPS 94074500 HAS SOUS 89151217 HAS SOUPS 89100835 WITH SCORE 8.9195347414E7
AT ITER 8926 NEW BEST:: SOT 866699416 SOS 94505811 HAS SOPS 94067897 HAS SOUS 89144614 HAS SOUPS 89094232 WITH SCORE 8.9188737811E7
AT ITER 8962 NEW BEST:: SOT 866698625 SOS 94505020 HAS SOPS 94067106 HAS SOUS 89143823 HAS SOUPS 89093441 WITH SCORE 8.918794602E7
AT ITER 8973 NEW BEST:: SOT 866705436 SOS 94513970 HAS SOPS 94058306 HAS SOUS 89136055 HAS SOUPS 89085673 WITH SCORE 8.918018697E7
AT ITER 8988 NEW BEST:: SOT 866705436 SOS 94513372 HAS SOPS 94057708 HAS SOUS 89135154 HAS SOUPS 89084772 WITH SCORE 8.9179285372E7
AT ITER 9030 NEW BEST:: SOT 866704494 SOS 94512430 HAS SOPS 94056766 HAS SOUS 89134212 HAS SOUPS 89083830 WITH SCORE 8.917834243E7
AT ITER 9091 NEW BEST:: SOT 866703387 SOS 94510201 HAS SOPS 94054537 HAS SOUS 89131983 HAS SOUPS 89081601 WITH SCORE 8.9176111201E7
AT ITER 9115 NEW BEST:: SOT 866702949 SOS 94507989 HAS SOPS 94052325 HAS SOUS 89129535 HAS SOUPS 89079153 WITH SCORE 8.9173660989E7
AT ITER 9183 NEW BEST:: SOT 866702619 SOS 94507659 HAS SOPS 94051995 HAS SOUS 89129205 HAS SOUPS 89078823 WITH SCORE 8.9173330659E7
AT ITER 9216 NEW BEST:: SOT 866701514 SOS 94505432 HAS SOPS 94049768 HAS SOUS 89126978 HAS SOUPS 89076596 WITH SCORE 8.9171101432E7
AT ITER 9220 NEW BEST:: SOT 866701514 SOS 94504755 HAS SOPS 94049091 HAS SOUS 89126301 HAS SOUPS 89075919 WITH SCORE 8.9170423755E7
AT ITER 9225 NEW BEST:: SOT 866700934 SOS 94504175 HAS SOPS 94048511 HAS SOUS 89125721 HAS SOUPS 89075339 WITH SCORE 8.9169843175E7
AT ITER 9237 NEW BEST:: SOT 866700176 SOS 94503417 HAS SOPS 94047753 HAS SOUS 89124963 HAS SOUPS 89074581 WITH SCORE 8.9169084417E7
AT ITER 9247 NEW BEST:: SOT 866700176 SOS 94503262 HAS SOPS 94047598 HAS SOUS 89124808 HAS SOUPS 89074426 WITH SCORE 8.9168929262E7
AT ITER 9249 NEW BEST:: SOT 866700176 SOS 94502145 HAS SOPS 94046481 HAS SOUS 89123691 HAS SOUPS 89073309 WITH SCORE 8.9167811145E7
AT ITER 9258 NEW BEST:: SOT 866697132 SOS 94496102 HAS SOPS 94040438 HAS SOUS 89117603 HAS SOUPS 89067221 WITH SCORE 8.9161717102E7
AT ITER 9266 NEW BEST:: SOT 866694788 SOS 94491453 HAS SOPS 94035789 HAS SOUS 89112915 HAS SOUPS 89062533 WITH SCORE 8.9157024453E7
AT ITER 9276 NEW BEST:: SOT 866694788 SOS 94490478 HAS SOPS 94034814 HAS SOUS 89111940 HAS SOUPS 89061558 WITH SCORE 8.9156048478E7
AT ITER 9283 NEW BEST:: SOT 866693679 SOS 94488258 HAS SOPS 94032594 HAS SOUS 89109620 HAS SOUPS 89059238 WITH SCORE 8.9153726258E7
AT ITER 9285 NEW BEST:: SOT 866692571 SOS 94486028 HAS SOPS 94030364 HAS SOUS 89107390 HAS SOUPS 89057008 WITH SCORE 8.9151494028E7
AT ITER 9287 NEW BEST:: SOT 866691966 SOS 94485423 HAS SOPS 94029759 HAS SOUS 89106785 HAS SOUPS 89056403 WITH SCORE 8.9150888423E7
AT ITER 9328 NEW BEST:: SOT 866691966 SOS 94484909 HAS SOPS 94029245 HAS SOUS 89106071 HAS SOUPS 89055689 WITH SCORE 8.9150173909E7
AT ITER 9361 NEW BEST:: SOT 866691966 SOS 94484909 HAS SOPS 94029245 HAS SOUS 89106026 HAS SOUPS 89055644 WITH SCORE 8.9150128909E7
AT ITER 9367 NEW BEST:: SOT 866690860 SOS 94482692 HAS SOPS 94027028 HAS SOUS 89103409 HAS SOUPS 89053027 WITH SCORE 8.9147509692E7
AT ITER 9375 NEW BEST:: SOT 866690530 SOS 94482637 HAS SOPS 94026973 HAS SOUS 89103354 HAS SOUPS 89052972 WITH SCORE 8.9147454637E7
AT ITER 9427 NEW BEST:: SOT 866689429 SOS 94480414 HAS SOPS 94024750 HAS SOUS 89101131 HAS SOUPS 89050749 WITH SCORE 8.9145229414E7
AT ITER 9473 NEW BEST:: SOT 866687184 SOS 94474813 HAS SOPS 94019149 HAS SOUS 89095530 HAS SOUPS 89045148 WITH SCORE 8.9139622813E7
AT ITER 9516 NEW BEST:: SOT 866688384 SOS 94474691 HAS SOPS 94019027 HAS SOUS 89095408 HAS SOUPS 89045026 WITH SCORE 8.9139500691E7
AT ITER 9568 NEW BEST:: SOT 866688021 SOS 94474328 HAS SOPS 94018664 HAS SOUS 89095045 HAS SOUPS 89044663 WITH SCORE 8.9139137328E7
AT ITER 9584 NEW BEST:: SOT 866687456 SOS 94473629 HAS SOPS 94017965 HAS SOUS 89094346 HAS SOUPS 89043964 WITH SCORE 8.9138437629E7
AT ITER 9611 NEW BEST:: SOT 866686355 SOS 94471406 HAS SOPS 94015742 HAS SOUS 89092123 HAS SOUPS 89041741 WITH SCORE 8.9136212406E7
AT ITER 9698 NEW BEST:: SOT 866683788 SOS 94465161 HAS SOPS 94009497 HAS SOUS 89085878 HAS SOUPS 89035496 WITH SCORE 8.9129961161E7
AT ITER 9723 NEW BEST:: SOT 866683788 SOS 94464056 HAS SOPS 94008392 HAS SOUS 89084773 HAS SOUPS 89034391 WITH SCORE 8.9128855056E7
AT ITER 9733 NEW BEST:: SOT 866683788 SOS 94463509 HAS SOPS 94007845 HAS SOUS 89084226 HAS SOUPS 89033844 WITH SCORE 8.9128307509E7
AT ITER 9743 NEW BEST:: SOT 866682775 SOS 94462496 HAS SOPS 94006832 HAS SOUS 89082200 HAS SOUPS 89031818 WITH SCORE 8.9126280496E7
AT ITER 9791 NEW BEST:: SOT 866682775 SOS 94461610 HAS SOPS 94005946 HAS SOUS 89081314 HAS SOUPS 89030932 WITH SCORE 8.912539361E7
AT ITER 9845 NEW BEST:: SOT 866682445 SOS 94461280 HAS SOPS 94005616 HAS SOUS 89080984 HAS SOUPS 89030602 WITH SCORE 8.912506328E7
AT ITER 9859 NEW BEST:: SOT 866682445 SOS 94460318 HAS SOPS 94004654 HAS SOUS 89080022 HAS SOUPS 89029640 WITH SCORE 8.9124100318E7
AT ITER 9864 NEW BEST:: SOT 866682445 SOS 94459468 HAS SOPS 94003804 HAS SOUS 89079172 HAS SOUPS 89028790 WITH SCORE 8.9123249468E7
AT ITER 9870 NEW BEST:: SOT 866679801 SOS 94454226 HAS SOPS 93998562 HAS SOUS 89073884 HAS SOUPS 89023502 WITH SCORE 8.9117956226E7
AT ITER 9919 NEW BEST:: SOT 866678985 SOS 94453410 HAS SOPS 93997746 HAS SOUS 89073068 HAS SOUPS 89022686 WITH SCORE 8.911713941E7
AT ITER 9935 NEW BEST:: SOT 866678985 SOS 94453319 HAS SOPS 93997655 HAS SOUS 89072472 HAS SOUPS 89022090 WITH SCORE 8.9116543319E7
AT ITER 9971 NEW BEST:: SOT 866678985 SOS 94452901 HAS SOPS 93997237 HAS SOUS 89072054 HAS SOUPS 89021672 WITH SCORE 8.9116124901E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 8811864 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16037696 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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="FamilyReunion-PT-L00100M0010C005P005G002"
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 FamilyReunion-PT-L00100M0010C005P005G002, 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 r171-tall-167838858600424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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