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.r323-tall-167889194500280.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS2020-PT-pb108, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194500280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 75M
-rw-r--r-- 1 mcc users 6.3K Feb 26 08:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 08:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 08:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:40 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:40 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 26 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 74M Mar 5 18:23 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 1679491738292

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

Filename model.pnml
Petri model created: 2339 places, 132214 transitions, 523950 arcs.
AT ITER 0 NEW BEST:: SOT 155764185 SOS 106219475 HAS SOPS 92245624 HAS SOUS 23850356 HAS SOUPS 23757353 WITH SCORE 2.3863572475E7
AT ITER 1 NEW BEST:: SOT 155743320 SOS 106198235 HAS SOPS 92222191 HAS SOUS 23802909 HAS SOUPS 23709920 WITH SCORE 2.3816118235E7
AT ITER 3 NEW BEST:: SOT 155730018 SOS 106184897 HAS SOPS 92208757 HAS SOUS 23779484 HAS SOUPS 23686495 WITH SCORE 2.3792679897E7
AT ITER 29 NEW BEST:: SOT 155731020 SOS 106192505 HAS SOPS 92215585 HAS SOUS 23777588 HAS SOUPS 23684599 WITH SCORE 2.3790791505E7
AT ITER 46 NEW BEST:: SOT 155734633 SOS 106195716 HAS SOPS 92220367 HAS SOUS 23777382 HAS SOUPS 23684393 WITH SCORE 2.3790588716E7
AT ITER 71 NEW BEST:: SOT 155735248 SOS 106195887 HAS SOPS 92221429 HAS SOUS 23775910 HAS SOUPS 23682921 WITH SCORE 2.3789116887E7
AT ITER 76 NEW BEST:: SOT 155735204 SOS 106195843 HAS SOPS 92221374 HAS SOUS 23775778 HAS SOUPS 23682789 WITH SCORE 2.3788984843E7
AT ITER 82 NEW BEST:: SOT 155741212 SOS 106248161 HAS SOPS 92268296 HAS SOUS 23769665 HAS SOUPS 23676676 WITH SCORE 2.3782924161E7
AT ITER 103 NEW BEST:: SOT 155744739 SOS 106252386 HAS SOPS 92272758 HAS SOUS 23768123 HAS SOUPS 23675134 WITH SCORE 2.3781386386E7
AT ITER 105 NEW BEST:: SOT 155675120 SOS 106182788 HAS SOPS 92198806 HAS SOUS 23676711 HAS SOUPS 23583163 WITH SCORE 2.3689345788E7
AT ITER 109 NEW BEST:: SOT 155676169 SOS 106184261 HAS SOPS 92201045 HAS SOUS 23670781 HAS SOUPS 23577233 WITH SCORE 2.3683417261E7
AT ITER 117 NEW BEST:: SOT 155680843 SOS 106189286 HAS SOPS 92205315 HAS SOUS 23668379 HAS SOUPS 23574831 WITH SCORE 2.3681020286E7
AT ITER 123 NEW BEST:: SOT 155680618 SOS 106189074 HAS SOPS 92205033 HAS SOUS 23667856 HAS SOUPS 23574308 WITH SCORE 2.3680497074E7
AT ITER 126 NEW BEST:: SOT 155680434 SOS 106188677 HAS SOPS 92204409 HAS SOUS 23666513 HAS SOUPS 23572965 WITH SCORE 2.3679153677E7
AT ITER 140 NEW BEST:: SOT 155670122 SOS 106178562 HAS SOPS 92191817 HAS SOUS 23645386 HAS SOUPS 23551838 WITH SCORE 2.3658016562E7
AT ITER 143 NEW BEST:: SOT 155330502 SOS 105837976 HAS SOPS 91847034 HAS SOUS 23265237 HAS SOUPS 23171206 WITH SCORE 2.3277043976E7
AT ITER 147 NEW BEST:: SOT 155330391 SOS 105837862 HAS SOPS 91846917 HAS SOUS 23265129 HAS SOUPS 23171098 WITH SCORE 2.3276935862E7
AT ITER 153 NEW BEST:: SOT 155316587 SOS 105825030 HAS SOPS 91832037 HAS SOUS 23243201 HAS SOUPS 23149170 WITH SCORE 2.325499503E7
AT ITER 155 NEW BEST:: SOT 155352876 SOS 105860729 HAS SOPS 91865668 HAS SOUS 23227188 HAS SOUPS 23133157 WITH SCORE 2.3239017729E7
AT ITER 158 NEW BEST:: SOT 155363974 SOS 105871707 HAS SOPS 91875912 HAS SOUS 23220049 HAS SOUPS 23126018 WITH SCORE 2.3231889707E7
AT ITER 176 NEW BEST:: SOT 155363328 SOS 105871061 HAS SOPS 91875095 HAS SOUS 23218795 HAS SOUPS 23124764 WITH SCORE 2.3230635061E7
AT ITER 184 NEW BEST:: SOT 155360650 SOS 105868330 HAS SOPS 91870193 HAS SOUS 23209010 HAS SOUPS 23114979 WITH SCORE 2.322084733E7
AT ITER 204 NEW BEST:: SOT 155360074 SOS 105867694 HAS SOPS 91869509 HAS SOUS 23207990 HAS SOUPS 23113959 WITH SCORE 2.3219826694E7
AT ITER 207 NEW BEST:: SOT 155353300 SOS 105895411 HAS SOPS 91895974 HAS SOUS 23198961 HAS SOUPS 23104855 WITH SCORE 2.3210750411E7
AT ITER 208 NEW BEST:: SOT 155351240 SOS 105893351 HAS SOPS 91893914 HAS SOUS 23196381 HAS SOUPS 23102275 WITH SCORE 2.3208168351E7
AT ITER 233 NEW BEST:: SOT 155320618 SOS 105862729 HAS SOPS 91862357 HAS SOUS 23160371 HAS SOUPS 23066601 WITH SCORE 2.3172463729E7
AT ITER 246 NEW BEST:: SOT 155278273 SOS 105828352 HAS SOPS 91835033 HAS SOUS 23145385 HAS SOUPS 23051615 WITH SCORE 2.3157443352E7
AT ITER 283 NEW BEST:: SOT 155269915 SOS 105819641 HAS SOPS 91827428 HAS SOUS 23120211 HAS SOUPS 23026441 WITH SCORE 2.3132260641E7
AT ITER 284 NEW BEST:: SOT 155271088 SOS 105820878 HAS SOPS 91828568 HAS SOUS 23107345 HAS SOUPS 23013575 WITH SCORE 2.3119395878E7
AT ITER 295 NEW BEST:: SOT 155270044 SOS 105819816 HAS SOPS 91827956 HAS SOUS 23105599 HAS SOUPS 23011829 WITH SCORE 2.3117648816E7
AT ITER 303 NEW BEST:: SOT 155301539 SOS 105851377 HAS SOPS 91860097 HAS SOUS 23100832 HAS SOUPS 23007062 WITH SCORE 2.3112913377E7
AT ITER 305 NEW BEST:: SOT 155300760 SOS 105850559 HAS SOPS 91859094 HAS SOUS 23099387 HAS SOUPS 23005617 WITH SCORE 2.3111467559E7
AT ITER 316 NEW BEST:: SOT 155303771 SOS 105852752 HAS SOPS 91863248 HAS SOUS 23092435 HAS SOUPS 22998665 WITH SCORE 2.3104517752E7
AT ITER 317 NEW BEST:: SOT 155300167 SOS 105843402 HAS SOPS 91853898 HAS SOUS 23088781 HAS SOUPS 22995011 WITH SCORE 2.3100854402E7
AT ITER 319 NEW BEST:: SOT 155289431 SOS 105827606 HAS SOPS 91829391 HAS SOUS 23043019 HAS SOUPS 22949249 WITH SCORE 2.3055076606E7
AT ITER 332 NEW BEST:: SOT 155291711 SOS 105829704 HAS SOPS 91831872 HAS SOUS 23042879 HAS SOUPS 22949157 WITH SCORE 2.3054986704E7
AT ITER 336 NEW BEST:: SOT 154873145 SOS 105595132 HAS SOPS 91598053 HAS SOUS 22621396 HAS SOUPS 22527674 WITH SCORE 2.2633269132E7
AT ITER 400 NEW BEST:: SOT 154864583 SOS 105624122 HAS SOPS 91627154 HAS SOUS 22618651 HAS SOUPS 22524929 WITH SCORE 2.2630553122E7
AT ITER 401 NEW BEST:: SOT 154871581 SOS 105630860 HAS SOPS 91632861 HAS SOUS 22616296 HAS SOUPS 22522574 WITH SCORE 2.262820486E7
AT ITER 402 NEW BEST:: SOT 154870933 SOS 105630340 HAS SOPS 91632045 HAS SOUS 22615399 HAS SOUPS 22521677 WITH SCORE 2.262730734E7
AT ITER 405 NEW BEST:: SOT 154902848 SOS 105665483 HAS SOPS 91667738 HAS SOUS 22609323 HAS SOUPS 22515563 WITH SCORE 2.2621228483E7
AT ITER 409 NEW BEST:: SOT 154904447 SOS 105667526 HAS SOPS 91667237 HAS SOUS 22606167 HAS SOUPS 22512407 WITH SCORE 2.2618074526E7
AT ITER 414 NEW BEST:: SOT 154911603 SOS 105674682 HAS SOPS 91674613 HAS SOUS 22606137 HAS SOUPS 22512377 WITH SCORE 2.2618051682E7
AT ITER 417 NEW BEST:: SOT 154909492 SOS 105672230 HAS SOPS 91671984 HAS SOUS 22603849 HAS SOUPS 22510089 WITH SCORE 2.261576123E7
AT ITER 424 NEW BEST:: SOT 154219867 SOS 104982605 HAS SOPS 90982359 HAS SOUS 21914224 HAS SOUPS 21820464 WITH SCORE 2.1925446605E7
AT ITER 435 NEW BEST:: SOT 154224441 SOS 104988247 HAS SOPS 90986641 HAS SOUS 21906394 HAS SOUPS 21812634 WITH SCORE 2.1917622247E7
AT ITER 446 NEW BEST:: SOT 154212100 SOS 104975774 HAS SOPS 90972501 HAS SOUS 21873760 HAS SOUPS 21780000 WITH SCORE 2.1884975774E7
AT ITER 462 NEW BEST:: SOT 154213312 SOS 104977223 HAS SOPS 90974145 HAS SOUS 21872262 HAS SOUPS 21778502 WITH SCORE 2.1883479223E7
AT ITER 477 NEW BEST:: SOT 154212521 SOS 104976538 HAS SOPS 90973184 HAS SOUS 21870643 HAS SOUPS 21776883 WITH SCORE 2.1881859538E7
AT ITER 491 NEW BEST:: SOT 154216506 SOS 104980438 HAS SOPS 90976867 HAS SOUS 21869303 HAS SOUPS 21775543 WITH SCORE 2.1880523438E7
AT ITER 510 NEW BEST:: SOT 154217141 SOS 104981413 HAS SOPS 90976489 HAS SOUS 21863954 HAS SOUPS 21770194 WITH SCORE 2.1875175413E7
AT ITER 523 NEW BEST:: SOT 154213954 SOS 104978023 HAS SOPS 90972767 HAS SOUS 21857344 HAS SOUPS 21763584 WITH SCORE 2.1868562023E7
AT ITER 525 NEW BEST:: SOT 154211732 SOS 104976349 HAS SOPS 90970030 HAS SOUS 21852466 HAS SOUPS 21758706 WITH SCORE 2.1863682349E7
AT ITER 545 NEW BEST:: SOT 154211275 SOS 104976035 HAS SOPS 90969110 HAS SOUS 21851143 HAS SOUPS 21757292 WITH SCORE 2.1862268035E7
AT ITER 554 NEW BEST:: SOT 154177293 SOS 104981662 HAS SOPS 90985224 HAS SOUS 21830556 HAS SOUPS 21737136 WITH SCORE 2.1842117662E7
AT ITER 581 NEW BEST:: SOT 154176012 SOS 104981047 HAS SOPS 90982396 HAS SOUS 21823153 HAS SOUPS 21729733 WITH SCORE 2.1834714047E7
AT ITER 582 NEW BEST:: SOT 154176924 SOS 104982235 HAS SOPS 90983443 HAS SOUS 21822943 HAS SOUPS 21729523 WITH SCORE 2.1834505235E7
AT ITER 583 NEW BEST:: SOT 154177771 SOS 104983082 HAS SOPS 90983946 HAS SOUS 21822734 HAS SOUPS 21729314 WITH SCORE 2.1834297082E7
AT ITER 589 NEW BEST:: SOT 154179708 SOS 104985150 HAS SOPS 90985942 HAS SOUS 21820895 HAS SOUPS 21727475 WITH SCORE 2.183246015E7
AT ITER 630 NEW BEST:: SOT 154171236 SOS 104976801 HAS SOPS 90974709 HAS SOUS 21809020 HAS SOUPS 21715600 WITH SCORE 2.1820576801E7
AT ITER 653 NEW BEST:: SOT 154171852 SOS 104977639 HAS SOPS 90974844 HAS SOUS 21797611 HAS SOUPS 21704191 WITH SCORE 2.1809168639E7
AT ITER 679 NEW BEST:: SOT 154172057 SOS 104978049 HAS SOPS 90975048 HAS SOUS 21793202 HAS SOUPS 21699782 WITH SCORE 2.1804760049E7
AT ITER 682 NEW BEST:: SOT 154172156 SOS 104978163 HAS SOPS 90974784 HAS SOUS 21793005 HAS SOUPS 21699585 WITH SCORE 2.1804563163E7
AT ITER 693 NEW BEST:: SOT 153850967 SOS 104656974 HAS SOPS 90647346 HAS SOUS 21433269 HAS SOUPS 21339393 WITH SCORE 2.1444049974E7
AT ITER 699 NEW BEST:: SOT 153841675 SOS 104647590 HAS SOPS 90637629 HAS SOUS 21421899 HAS SOUPS 21328023 WITH SCORE 2.143267059E7
AT ITER 703 NEW BEST:: SOT 153836160 SOS 104641810 HAS SOPS 90634474 HAS SOUS 21420928 HAS SOUPS 21327052 WITH SCORE 2.143169381E7
AT ITER 710 NEW BEST:: SOT 153834076 SOS 104639622 HAS SOPS 90632088 HAS SOUS 21416403 HAS SOUPS 21322527 WITH SCORE 2.1427166622E7
AT ITER 733 NEW BEST:: SOT 153834148 SOS 104639694 HAS SOPS 90632160 HAS SOUS 21416015 HAS SOUPS 21322139 WITH SCORE 2.1426778694E7
AT ITER 759 NEW BEST:: SOT 153831292 SOS 104636838 HAS SOPS 90628216 HAS SOUS 21414651 HAS SOUPS 21320775 WITH SCORE 2.1425411838E7
AT ITER 771 NEW BEST:: SOT 153821354 SOS 104689308 HAS SOPS 90680732 HAS SOUS 21407944 HAS SOUPS 21314068 WITH SCORE 2.1418757308E7
AT ITER 775 NEW BEST:: SOT 153856000 SOS 104723954 HAS SOPS 90706307 HAS SOUS 21402695 HAS SOUPS 21308819 WITH SCORE 2.1413542954E7
AT ITER 786 NEW BEST:: SOT 153857304 SOS 104724856 HAS SOPS 90706405 HAS SOUS 21401891 HAS SOUPS 21308015 WITH SCORE 2.1412739856E7
AT ITER 787 NEW BEST:: SOT 153856704 SOS 104724256 HAS SOPS 90705265 HAS SOUS 21400091 HAS SOUPS 21306215 WITH SCORE 2.1410939256E7
AT ITER 791 NEW BEST:: SOT 153860381 SOS 104873186 HAS SOPS 90860850 HAS SOUS 21397738 HAS SOUPS 21303862 WITH SCORE 2.1408735186E7
AT ITER 793 NEW BEST:: SOT 153869704 SOS 104882551 HAS SOPS 90868991 HAS SOUS 21396670 HAS SOUPS 21302794 WITH SCORE 2.1407676551E7
AT ITER 795 NEW BEST:: SOT 153886613 SOS 104900003 HAS SOPS 90884333 HAS SOUS 21395244 HAS SOUPS 21301368 WITH SCORE 2.1406268003E7
AT ITER 807 NEW BEST:: SOT 153886197 SOS 104899619 HAS SOPS 90883853 HAS SOUS 21395084 HAS SOUPS 21301208 WITH SCORE 2.1406107619E7
AT ITER 808 NEW BEST:: SOT 153902204 SOS 104915907 HAS SOPS 90898420 HAS SOUS 21387864 HAS SOUPS 21293988 WITH SCORE 2.1398903907E7
AT ITER 810 NEW BEST:: SOT 153902188 SOS 104915371 HAS SOPS 90897856 HAS SOUS 21387788 HAS SOUPS 21293912 WITH SCORE 2.1398827371E7
AT ITER 814 NEW BEST:: SOT 153901916 SOS 104915082 HAS SOPS 90897499 HAS SOUS 21387193 HAS SOUPS 21293317 WITH SCORE 2.1398232082E7
AT ITER 815 NEW BEST:: SOT 153904916 SOS 104918082 HAS SOPS 90900943 HAS SOUS 21386833 HAS SOUPS 21292957 WITH SCORE 2.1397875082E7
AT ITER 849 NEW BEST:: SOT 153911077 SOS 104923642 HAS SOPS 90906110 HAS SOUS 21382819 HAS SOUPS 21289088 WITH SCORE 2.1394011642E7
AT ITER 855 NEW BEST:: SOT 153907793 SOS 104919924 HAS SOPS 90901987 HAS SOUS 21379739 HAS SOUPS 21286008 WITH SCORE 2.1390927924E7
AT ITER 882 NEW BEST:: SOT 154073923 SOS 105072699 HAS SOPS 91042913 HAS SOUS 21378824 HAS SOUPS 21285146 WITH SCORE 2.1390218699E7
AT ITER 899 NEW BEST:: SOT 154073251 SOS 105072183 HAS SOPS 91042101 HAS SOUS 21377506 HAS SOUPS 21283828 WITH SCORE 2.1388900183E7
AT ITER 902 NEW BEST:: SOT 154071907 SOS 105070647 HAS SOPS 91040373 HAS SOUS 21370600 HAS SOUPS 21276922 WITH SCORE 2.1381992647E7
AT ITER 910 NEW BEST:: SOT 154057796 SOS 105084974 HAS SOPS 91056040 HAS SOUS 21363458 HAS SOUPS 21269780 WITH SCORE 2.1374864974E7
AT ITER 944 NEW BEST:: SOT 154058077 SOS 105085218 HAS SOPS 91056163 HAS SOUS 21359766 HAS SOUPS 21266088 WITH SCORE 2.1371173218E7
AT ITER 956 NEW BEST:: SOT 154063540 SOS 105088931 HAS SOPS 91060932 HAS SOUS 21358426 HAS SOUPS 21264748 WITH SCORE 2.1369836931E7
AT ITER 964 NEW BEST:: SOT 154070859 SOS 105097106 HAS SOPS 91067208 HAS SOUS 21355919 HAS SOUPS 21262241 WITH SCORE 2.1367338106E7
AT ITER 975 NEW BEST:: SOT 154021987 SOS 105068543 HAS SOPS 91049428 HAS SOUS 21326237 HAS SOUPS 21232559 WITH SCORE 2.1337627543E7
AT ITER 976 NEW BEST:: SOT 154018627 SOS 105065138 HAS SOPS 91044658 HAS SOUS 21324484 HAS SOUPS 21230806 WITH SCORE 2.1335871138E7
AT ITER 988 NEW BEST:: SOT 154017595 SOS 105064106 HAS SOPS 91043465 HAS SOUS 21318665 HAS SOUPS 21224987 WITH SCORE 2.1330051106E7
AT ITER 999 NEW BEST:: SOT 154024741 SOS 105071252 HAS SOPS 91048959 HAS SOUS 21315951 HAS SOUPS 21222273 WITH SCORE 2.1327344252E7
AT ITER 1000 NEW BEST:: SOT 154024463 SOS 104978178 HAS SOPS 90955885 HAS SOUS 21315951 HAS SOUPS 21222273 WITH SCORE 2.1327251178E7
AT ITER 1007 NEW BEST:: SOT 153732907 SOS 104738675 HAS SOPS 90702027 HAS SOUS 20987070 HAS SOUPS 20895362 WITH SCORE 2.1000100675E7
AT ITER 1014 NEW BEST:: SOT 153729684 SOS 104735812 HAS SOPS 90698247 HAS SOUS 20974925 HAS SOUPS 20883217 WITH SCORE 2.0987952812E7
AT ITER 1034 NEW BEST:: SOT 153736385 SOS 104742963 HAS SOPS 90701523 HAS SOUS 20966369 HAS SOUPS 20874593 WITH SCORE 2.0979335963E7
AT ITER 1048 NEW BEST:: SOT 153763975 SOS 104769396 HAS SOPS 90723707 HAS SOUS 20966200 HAS SOUPS 20874424 WITH SCORE 2.0979193396E7
AT ITER 1073 NEW BEST:: SOT 153793480 SOS 104798473 HAS SOPS 90760784 HAS SOUS 20963172 HAS SOUPS 20871396 WITH SCORE 2.0976194473E7
AT ITER 1136 NEW BEST:: SOT 153799285 SOS 104801676 HAS SOPS 90757917 HAS SOUS 20956736 HAS SOUPS 20864960 WITH SCORE 2.0969761676E7
AT ITER 1142 NEW BEST:: SOT 153800240 SOS 104803013 HAS SOPS 90758299 HAS SOUS 20953421 HAS SOUPS 20861645 WITH SCORE 2.0966448013E7
AT ITER 1146 NEW BEST:: SOT 153803028 SOS 104805801 HAS SOPS 90759945 HAS SOUS 20943733 HAS SOUPS 20851957 WITH SCORE 2.0956762801E7
AT ITER 1152 NEW BEST:: SOT 153798621 SOS 104801055 HAS SOPS 90754860 HAS SOUS 20939213 HAS SOUPS 20847437 WITH SCORE 2.0952238055E7
AT ITER 1158 NEW BEST:: SOT 153797125 SOS 104799668 HAS SOPS 90752343 HAS SOUS 20930116 HAS SOUPS 20838340 WITH SCORE 2.0943139668E7
AT ITER 1184 NEW BEST:: SOT 153797090 SOS 104799640 HAS SOPS 90752308 HAS SOUS 20929976 HAS SOUPS 20838200 WITH SCORE 2.094299964E7
AT ITER 1185 NEW BEST:: SOT 153797063 SOS 104799674 HAS SOPS 90752285 HAS SOUS 20928324 HAS SOUPS 20836548 WITH SCORE 2.0941347674E7
AT ITER 1186 NEW BEST:: SOT 153796595 SOS 104799365 HAS SOPS 90751527 HAS SOUS 20924424 HAS SOUPS 20832648 WITH SCORE 2.0937447365E7
AT ITER 1187 NEW BEST:: SOT 153805213 SOS 104764822 HAS SOPS 90749315 HAS SOUS 20917113 HAS SOUPS 20824962 WITH SCORE 2.0929726822E7
AT ITER 1219 NEW BEST:: SOT 153830027 SOS 104789275 HAS SOPS 90771515 HAS SOUS 20909566 HAS SOUPS 20817415 WITH SCORE 2.0922204275E7
AT ITER 1221 NEW BEST:: SOT 153829928 SOS 104789176 HAS SOPS 90771335 HAS SOUS 20909314 HAS SOUPS 20817163 WITH SCORE 2.0921952176E7
AT ITER 1285 NEW BEST:: SOT 153824883 SOS 104783388 HAS SOPS 90764863 HAS SOUS 20884271 HAS SOUPS 20792120 WITH SCORE 2.0896903388E7
AT ITER 1300 NEW BEST:: SOT 153823727 SOS 104782012 HAS SOPS 90763047 HAS SOUS 20880805 HAS SOUPS 20788654 WITH SCORE 2.0893436012E7
AT ITER 1312 NEW BEST:: SOT 153821625 SOS 104779747 HAS SOPS 90760805 HAS SOUS 20876937 HAS SOUPS 20784786 WITH SCORE 2.0889565747E7
AT ITER 1325 NEW BEST:: SOT 153821238 SOS 104779445 HAS SOPS 90760245 HAS SOUS 20872146 HAS SOUPS 20779995 WITH SCORE 2.0884774445E7
AT ITER 1328 NEW BEST:: SOT 153817527 SOS 104740869 HAS SOPS 90721651 HAS SOUS 20871689 HAS SOUPS 20779429 WITH SCORE 2.0884169869E7
AT ITER 1341 NEW BEST:: SOT 153817509 SOS 104740842 HAS SOPS 90721651 HAS SOUS 20871680 HAS SOUPS 20779420 WITH SCORE 2.0884160842E7
AT ITER 1344 NEW BEST:: SOT 153815455 SOS 104738297 HAS SOPS 90720008 HAS SOUS 20840425 HAS SOUPS 20748165 WITH SCORE 2.0852903297E7
AT ITER 1373 NEW BEST:: SOT 153815465 SOS 104738307 HAS SOPS 90719864 HAS SOUS 20840039 HAS SOUPS 20747779 WITH SCORE 2.0852517307E7
AT ITER 1382 NEW BEST:: SOT 153815928 SOS 104738900 HAS SOPS 90719548 HAS SOUS 20835891 HAS SOUPS 20743631 WITH SCORE 2.08483699E7
AT ITER 1394 NEW BEST:: SOT 153807648 SOS 104751540 HAS SOPS 90712428 HAS SOUS 20828251 HAS SOUPS 20736271 WITH SCORE 2.084102254E7
AT ITER 1403 NEW BEST:: SOT 153806394 SOS 104750298 HAS SOPS 90709242 HAS SOUS 20827392 HAS SOUPS 20735441 WITH SCORE 2.0840191298E7
AT ITER 1411 NEW BEST:: SOT 153827358 SOS 104770259 HAS SOPS 90732578 HAS SOUS 20826808 HAS SOUPS 20734857 WITH SCORE 2.0839627259E7
AT ITER 1416 NEW BEST:: SOT 153832152 SOS 104774645 HAS SOPS 90735548 HAS SOUS 20826233 HAS SOUPS 20734410 WITH SCORE 2.0839184645E7
AT ITER 1429 NEW BEST:: SOT 153843529 SOS 104786022 HAS SOPS 90744309 HAS SOUS 20824957 HAS SOUPS 20733651 WITH SCORE 2.0838437022E7
AT ITER 1442 NEW BEST:: SOT 153837728 SOS 104926380 HAS SOPS 90883199 HAS SOUS 20818786 HAS SOUPS 20727480 WITH SCORE 2.083240638E7
AT ITER 1451 NEW BEST:: SOT 153837438 SOS 104926075 HAS SOPS 90882929 HAS SOUS 20818236 HAS SOUPS 20727020 WITH SCORE 2.0831946075E7
AT ITER 1505 NEW BEST:: SOT 153832265 SOS 104920877 HAS SOPS 90876905 HAS SOUS 20817397 HAS SOUPS 20726181 WITH SCORE 2.0831101877E7
AT ITER 1527 NEW BEST:: SOT 153829624 SOS 104918506 HAS SOPS 90874534 HAS SOUS 20810936 HAS SOUPS 20719720 WITH SCORE 2.0824638506E7
AT ITER 1547 NEW BEST:: SOT 153829315 SOS 104917888 HAS SOPS 90873916 HAS SOUS 20810627 HAS SOUPS 20719411 WITH SCORE 2.0824328888E7
AT ITER 1559 NEW BEST:: SOT 153829587 SOS 104918371 HAS SOPS 90874290 HAS SOUS 20808943 HAS SOUPS 20717727 WITH SCORE 2.0822645371E7
AT ITER 1583 NEW BEST:: SOT 153794581 SOS 104883238 HAS SOPS 90833486 HAS SOUS 20754199 HAS SOUPS 20662983 WITH SCORE 2.0767866238E7
AT ITER 1597 NEW BEST:: SOT 153783748 SOS 104872043 HAS SOPS 90821040 HAS SOUS 20729978 HAS SOUPS 20638771 WITH SCORE 2.0743643043E7
AT ITER 1600 NEW BEST:: SOT 153715498 SOS 104803274 HAS SOPS 90748700 HAS SOUS 20634770 HAS SOUPS 20543555 WITH SCORE 2.0648358274E7
AT ITER 1602 NEW BEST:: SOT 153685486 SOS 104750561 HAS SOPS 90695381 HAS SOUS 20601034 HAS SOUPS 20509819 WITH SCORE 2.0614569561E7
AT ITER 1618 NEW BEST:: SOT 153685486 SOS 104747027 HAS SOPS 90691847 HAS SOUS 20601028 HAS SOUPS 20509813 WITH SCORE 2.0614560027E7
AT ITER 1620 NEW BEST:: SOT 153686510 SOS 104748051 HAS SOPS 90692999 HAS SOUS 20596520 HAS SOUPS 20505305 WITH SCORE 2.0610053051E7
AT ITER 1662 NEW BEST:: SOT 153687034 SOS 104748575 HAS SOPS 90694840 HAS SOUS 20594064 HAS SOUPS 20502849 WITH SCORE 2.0607597575E7
AT ITER 1671 NEW BEST:: SOT 153682553 SOS 104743857 HAS SOPS 90689578 HAS SOUS 20581310 HAS SOUPS 20490095 WITH SCORE 2.0594838857E7
AT ITER 1681 NEW BEST:: SOT 153681946 SOS 104743221 HAS SOPS 90688840 HAS SOUS 20580130 HAS SOUPS 20488915 WITH SCORE 2.0593658221E7
AT ITER 1691 NEW BEST:: SOT 153681896 SOS 104743156 HAS SOPS 90688770 HAS SOUS 20580045 HAS SOUPS 20488830 WITH SCORE 2.0593573156E7
AT ITER 1710 NEW BEST:: SOT 153680054 SOS 104741314 HAS SOPS 90685174 HAS SOUS 20576258 HAS SOUPS 20485043 WITH SCORE 2.0589784314E7
AT ITER 1724 NEW BEST:: SOT 153678618 SOS 104739885 HAS SOPS 90681890 HAS SOUS 20571054 HAS SOUPS 20479841 WITH SCORE 2.0584580885E7
AT ITER 1747 NEW BEST:: SOT 153674324 SOS 104735423 HAS SOPS 90678097 HAS SOUS 20568055 HAS SOUPS 20476842 WITH SCORE 2.0581577423E7
AT ITER 1759 NEW BEST:: SOT 153674493 SOS 104735541 HAS SOPS 90678356 HAS SOUS 20565017 HAS SOUPS 20473804 WITH SCORE 2.0578539541E7
AT ITER 1760 NEW BEST:: SOT 153455313 SOS 104516143 HAS SOPS 90456185 HAS SOUS 20327232 HAS SOUPS 20236019 WITH SCORE 2.0340535143E7
AT ITER 1770 NEW BEST:: SOT 153455700 SOS 104516683 HAS SOPS 90456102 HAS SOUS 20324634 HAS SOUPS 20233421 WITH SCORE 2.0337937683E7
AT ITER 1789 NEW BEST:: SOT 153462269 SOS 104522399 HAS SOPS 90458576 HAS SOUS 20305894 HAS SOUPS 20214681 WITH SCORE 2.0319203399E7
AT ITER 1796 NEW BEST:: SOT 153459968 SOS 104520098 HAS SOPS 90454820 HAS SOUS 20302617 HAS SOUPS 20211404 WITH SCORE 2.0315924098E7
AT ITER 1810 NEW BEST:: SOT 153461640 SOS 104521637 HAS SOPS 90456582 HAS SOUS 20302067 HAS SOUPS 20210854 WITH SCORE 2.0315375637E7
AT ITER 1811 NEW BEST:: SOT 153466301 SOS 104526070 HAS SOPS 90450261 HAS SOUS 20291564 HAS SOUPS 20200420 WITH SCORE 2.030494607E7
AT ITER 1819 NEW BEST:: SOT 153460178 SOS 104519656 HAS SOPS 90443265 HAS SOUS 20281546 HAS SOUPS 20190402 WITH SCORE 2.0294921656E7
AT ITER 1830 NEW BEST:: SOT 153413128 SOS 104472606 HAS SOPS 90396215 HAS SOUS 20234016 HAS SOUPS 20142872 WITH SCORE 2.0247344606E7
AT ITER 1835 NEW BEST:: SOT 153410366 SOS 104471166 HAS SOPS 90393452 HAS SOUS 20224578 HAS SOUPS 20133434 WITH SCORE 2.0237905166E7
AT ITER 1888 NEW BEST:: SOT 153409178 SOS 104469978 HAS SOPS 90392156 HAS SOUS 20221986 HAS SOUPS 20130842 WITH SCORE 2.0235311978E7
AT ITER 1889 NEW BEST:: SOT 153407860 SOS 104468730 HAS SOPS 90390945 HAS SOUS 20221937 HAS SOUPS 20130793 WITH SCORE 2.023526173E7
AT ITER 1895 NEW BEST:: SOT 153423516 SOS 104484528 HAS SOPS 90403419 HAS SOUS 20201785 HAS SOUPS 20110641 WITH SCORE 2.0215125528E7
AT ITER 1912 NEW BEST:: SOT 153359369 SOS 104421377 HAS SOPS 90342893 HAS SOUS 20195065 HAS SOUPS 20103797 WITH SCORE 2.0208218377E7
AT ITER 1937 NEW BEST:: SOT 153357092 SOS 104419397 HAS SOPS 90337646 HAS SOUS 20193094 HAS SOUPS 20101826 WITH SCORE 2.0206245397E7
AT ITER 1981 NEW BEST:: SOT 153358712 SOS 104421585 HAS SOPS 90339752 HAS SOUS 20184710 HAS SOUPS 20093442 WITH SCORE 2.0197863585E7
AT ITER 1985 NEW BEST:: SOT 153354491 SOS 104417352 HAS SOPS 90335153 HAS SOUS 20172326 HAS SOUPS 20081058 WITH SCORE 2.0185475352E7
AT ITER 2009 NEW BEST:: SOT 153332595 SOS 104395456 HAS SOPS 90313643 HAS SOUS 20169286 HAS SOUPS 20078018 WITH SCORE 2.0182413456E7
AT ITER 2020 NEW BEST:: SOT 153332152 SOS 104395110 HAS SOPS 90313351 HAS SOUS 20168087 HAS SOUPS 20076819 WITH SCORE 2.018121411E7
AT ITER 2075 NEW BEST:: SOT 153327949 SOS 104391188 HAS SOPS 90309629 HAS SOUS 20166903 HAS SOUPS 20075635 WITH SCORE 2.0180026188E7
AT ITER 2088 NEW BEST:: SOT 153279960 SOS 104343331 HAS SOPS 90265723 HAS SOUS 20161262 HAS SOUPS 20069994 WITH SCORE 2.0174337331E7
AT ITER 2090 NEW BEST:: SOT 153279575 SOS 104342948 HAS SOPS 90265298 HAS SOUS 20160578 HAS SOUPS 20069310 WITH SCORE 2.0173652948E7
AT ITER 2105 NEW BEST:: SOT 153279828 SOS 104343810 HAS SOPS 90261712 HAS SOUS 20128677 HAS SOUPS 20037409 WITH SCORE 2.014175281E7
AT ITER 2110 NEW BEST:: SOT 153290832 SOS 104354603 HAS SOPS 90272266 HAS SOUS 20124274 HAS SOUPS 20033006 WITH SCORE 2.0137360603E7
AT ITER 2128 NEW BEST:: SOT 153297973 SOS 104360643 HAS SOPS 90277970 HAS SOUS 20122635 HAS SOUPS 20031367 WITH SCORE 2.0135727643E7
AT ITER 2135 NEW BEST:: SOT 153295709 SOS 104358379 HAS SOPS 90275389 HAS SOUS 20118331 HAS SOUPS 20027063 WITH SCORE 2.0131421379E7
AT ITER 2149 NEW BEST:: SOT 153295761 SOS 104358427 HAS SOPS 90275373 HAS SOUS 20117841 HAS SOUPS 20026573 WITH SCORE 2.0130931427E7
AT ITER 2151 NEW BEST:: SOT 153287472 SOS 104349898 HAS SOPS 90265432 HAS SOUS 20103019 HAS SOUPS 20011751 WITH SCORE 2.0116100898E7
AT ITER 2154 NEW BEST:: SOT 153286483 SOS 104348909 HAS SOPS 90264508 HAS SOUS 20102226 HAS SOUPS 20010958 WITH SCORE 2.0115306909E7
AT ITER 2160 NEW BEST:: SOT 153287662 SOS 104350479 HAS SOPS 90259165 HAS SOUS 20097503 HAS SOUPS 19999575 WITH SCORE 2.0103925479E7
AT ITER 2168 NEW BEST:: SOT 153288347 SOS 104351065 HAS SOPS 90260019 HAS SOUS 20096420 HAS SOUPS 19998492 WITH SCORE 2.0102843065E7
AT ITER 2171 NEW BEST:: SOT 153219681 SOS 104282399 HAS SOPS 90190617 HAS SOUS 20007534 HAS SOUPS 19909606 WITH SCORE 2.0013888399E7
AT ITER 2198 NEW BEST:: SOT 153215375 SOS 104278069 HAS SOPS 90186169 HAS SOUS 20002708 HAS SOUPS 19904784 WITH SCORE 2.0009062069E7
AT ITER 2211 NEW BEST:: SOT 153214014 SOS 104276447 HAS SOPS 90184611 HAS SOUS 19991373 HAS SOUPS 19893449 WITH SCORE 1.9997725447E7
AT ITER 2218 NEW BEST:: SOT 153236716 SOS 104300343 HAS SOPS 90206182 HAS SOUS 19989895 HAS SOUPS 19891971 WITH SCORE 1.9996271343E7
AT ITER 2222 NEW BEST:: SOT 153236696 SOS 104300315 HAS SOPS 90206146 HAS SOUS 19989787 HAS SOUPS 19891859 WITH SCORE 1.9996159315E7
AT ITER 2246 NEW BEST:: SOT 153233813 SOS 104337907 HAS SOPS 90243801 HAS SOUS 19987601 HAS SOUPS 19889673 WITH SCORE 1.9994010907E7
AT ITER 2254 NEW BEST:: SOT 153240197 SOS 104344269 HAS SOPS 90255960 HAS SOUS 19975366 HAS SOUPS 19877438 WITH SCORE 1.9981782269E7
AT ITER 2271 NEW BEST:: SOT 153227965 SOS 104330985 HAS SOPS 90239788 HAS SOUS 19949652 HAS SOUPS 19851724 WITH SCORE 1.9956054985E7
AT ITER 2288 NEW BEST:: SOT 153227998 SOS 104489385 HAS SOPS 90383133 HAS SOUS 19941058 HAS SOUPS 19842599 WITH SCORE 1.9947088385E7
AT ITER 2299 NEW BEST:: SOT 153232478 SOS 104490565 HAS SOPS 90384313 HAS SOUS 19939003 HAS SOUPS 19840544 WITH SCORE 1.9945034565E7
AT ITER 2306 NEW BEST:: SOT 153229994 SOS 104487990 HAS SOPS 90381495 HAS SOUS 19931757 HAS SOUPS 19833298 WITH SCORE 1.993778599E7
AT ITER 2310 NEW BEST:: SOT 153230942 SOS 104489157 HAS SOPS 90381734 HAS SOUS 19926526 HAS SOUPS 19828067 WITH SCORE 1.9932556157E7
AT ITER 2320 NEW BEST:: SOT 153230437 SOS 104487889 HAS SOPS 90380014 HAS SOUS 19916497 HAS SOUPS 19818038 WITH SCORE 1.9922525889E7
AT ITER 2325 NEW BEST:: SOT 153252657 SOS 104454494 HAS SOPS 90345236 HAS SOUS 19913153 HAS SOUPS 19814870 WITH SCORE 1.9919324494E7
AT ITER 2337 NEW BEST:: SOT 153252055 SOS 104454064 HAS SOPS 90344548 HAS SOUS 19911433 HAS SOUPS 19813150 WITH SCORE 1.9917604064E7
AT ITER 2339 NEW BEST:: SOT 153248510 SOS 104451279 HAS SOPS 90337782 HAS SOUS 19891441 HAS SOUPS 19793158 WITH SCORE 1.9897609279E7
AT ITER 2342 NEW BEST:: SOT 153248344 SOS 104451279 HAS SOPS 90337533 HAS SOUS 19890362 HAS SOUPS 19792079 WITH SCORE 1.9896530279E7
AT ITER 2363 NEW BEST:: SOT 153248254 SOS 104451189 HAS SOPS 90337446 HAS SOUS 19890230 HAS SOUPS 19791947 WITH SCORE 1.9896398189E7
AT ITER 2365 NEW BEST:: SOT 153248048 SOS 104450983 HAS SOPS 90337218 HAS SOUS 19889746 HAS SOUPS 19791463 WITH SCORE 1.9895913983E7
AT ITER 2368 NEW BEST:: SOT 153260405 SOS 104462357 HAS SOPS 90348586 HAS SOUS 19884836 HAS SOUPS 19786769 WITH SCORE 1.9891231357E7
AT ITER 2371 NEW BEST:: SOT 153257311 SOS 104459349 HAS SOPS 90344621 HAS SOUS 19874148 HAS SOUPS 19776081 WITH SCORE 1.9880540349E7
AT ITER 2379 NEW BEST:: SOT 153255218 SOS 104457256 HAS SOPS 90341180 HAS SOUS 19871310 HAS SOUPS 19773243 WITH SCORE 1.9877700256E7
AT ITER 2380 NEW BEST:: SOT 153258075 SOS 104460039 HAS SOPS 90343785 HAS SOUS 19869590 HAS SOUPS 19771523 WITH SCORE 1.9875983039E7
AT ITER 2381 NEW BEST:: SOT 153257616 SOS 104459703 HAS SOPS 90342782 HAS SOUS 19867763 HAS SOUPS 19769696 WITH SCORE 1.9874155703E7
AT ITER 2393 NEW BEST:: SOT 153236544 SOS 104483666 HAS SOPS 90371224 HAS SOUS 19864181 HAS SOUPS 19766114 WITH SCORE 1.9870597666E7
AT ITER 2404 NEW BEST:: SOT 153238304 SOS 104485382 HAS SOPS 90372324 HAS SOUS 19859653 HAS SOUPS 19761586 WITH SCORE 1.9866071382E7
AT ITER 2415 NEW BEST:: SOT 153240783 SOS 104487948 HAS SOPS 90368795 HAS SOUS 19858168 HAS SOUPS 19760101 WITH SCORE 1.9864588948E7
AT ITER 2419 NEW BEST:: SOT 153241391 SOS 104489487 HAS SOPS 90370296 HAS SOUS 19858149 HAS SOUPS 19760082 WITH SCORE 1.9864571487E7
AT ITER 2428 NEW BEST:: SOT 153241236 SOS 104489332 HAS SOPS 90370102 HAS SOUS 19858091 HAS SOUPS 19760024 WITH SCORE 1.9864513332E7
AT ITER 2447 NEW BEST:: SOT 153240872 SOS 104488968 HAS SOPS 90369842 HAS SOUS 19856567 HAS SOUPS 19758500 WITH SCORE 1.9862988968E7
AT ITER 2478 NEW BEST:: SOT 153258939 SOS 104505168 HAS SOPS 90388191 HAS SOUS 19849748 HAS SOUPS 19751681 WITH SCORE 1.9856186168E7
AT ITER 2480 NEW BEST:: SOT 153253016 SOS 104499076 HAS SOPS 90382296 HAS SOUS 19844707 HAS SOUPS 19746640 WITH SCORE 1.9851139076E7
AT ITER 2487 NEW BEST:: SOT 153252728 SOS 104498756 HAS SOPS 90382008 HAS SOUS 19844163 HAS SOUPS 19746096 WITH SCORE 1.9850594756E7
AT ITER 2490 NEW BEST:: SOT 153242328 SOS 104501448 HAS SOPS 90383123 HAS SOUS 19840120 HAS SOUPS 19741769 WITH SCORE 1.9846270448E7
AT ITER 2492 NEW BEST:: SOT 153268680 SOS 104566783 HAS SOPS 90455843 HAS SOUS 19834736 HAS SOUPS 19736559 WITH SCORE 1.9841125783E7
AT ITER 2502 NEW BEST:: SOT 153262972 SOS 104560583 HAS SOPS 90448305 HAS SOUS 19818390 HAS SOUPS 19720257 WITH SCORE 1.9824817583E7
AT ITER 2504 NEW BEST:: SOT 153269117 SOS 104566150 HAS SOPS 90453110 HAS SOUS 19816871 HAS SOUPS 19718738 WITH SCORE 1.982330415E7
AT ITER 2519 NEW BEST:: SOT 153269142 SOS 104562978 HAS SOPS 90449913 HAS SOUS 19816740 HAS SOUPS 19718607 WITH SCORE 1.9823169978E7
AT ITER 2523 NEW BEST:: SOT 153268226 SOS 104562361 HAS SOPS 90449154 HAS SOUS 19813235 HAS SOUPS 19715102 WITH SCORE 1.9819664361E7
AT ITER 2526 NEW BEST:: SOT 153262746 SOS 104557291 HAS SOPS 90443243 HAS SOUS 19809968 HAS SOUPS 19711835 WITH SCORE 1.9816392291E7
AT ITER 2554 NEW BEST:: SOT 153261719 SOS 104556242 HAS SOPS 90444581 HAS SOUS 19807784 HAS SOUPS 19709651 WITH SCORE 1.9814207242E7
AT ITER 2560 NEW BEST:: SOT 153260349 SOS 104554432 HAS SOPS 90443159 HAS SOUS 19804459 HAS SOUPS 19706326 WITH SCORE 1.9810880432E7
AT ITER 2565 NEW BEST:: SOT 153259590 SOS 104553673 HAS SOPS 90441812 HAS SOUS 19802818 HAS SOUPS 19704685 WITH SCORE 1.9809238673E7
AT ITER 2569 NEW BEST:: SOT 153173243 SOS 104571616 HAS SOPS 90484601 HAS SOUS 19797542 HAS SOUPS 19699409 WITH SCORE 1.9803980616E7
AT ITER 2571 NEW BEST:: SOT 153173251 SOS 104571624 HAS SOPS 90484601 HAS SOUS 19797390 HAS SOUPS 19699257 WITH SCORE 1.9803828624E7
AT ITER 2585 NEW BEST:: SOT 153173431 SOS 104571804 HAS SOPS 90484764 HAS SOUS 19796833 HAS SOUPS 19698700 WITH SCORE 1.9803271804E7
AT ITER 2586 NEW BEST:: SOT 153162963 SOS 104562157 HAS SOPS 90472645 HAS SOUS 19783572 HAS SOUPS 19685439 WITH SCORE 1.9790001157E7
AT ITER 2591 NEW BEST:: SOT 153155364 SOS 104554701 HAS SOPS 90465115 HAS SOUS 19779787 HAS SOUPS 19681654 WITH SCORE 1.9786208701E7
AT ITER 2593 NEW BEST:: SOT 153145628 SOS 104545166 HAS SOPS 90455081 HAS SOUS 19749365 HAS SOUPS 19651232 WITH SCORE 1.9755777166E7
AT ITER 2594 NEW BEST:: SOT 153147540 SOS 104546742 HAS SOPS 90456540 HAS SOUS 19731370 HAS SOUPS 19633237 WITH SCORE 1.9737783742E7
AT ITER 2596 NEW BEST:: SOT 153167827 SOS 104576402 HAS SOPS 90490981 HAS SOUS 19728636 HAS SOUPS 19630362 WITH SCORE 1.9734938402E7
AT ITER 2604 NEW BEST:: SOT 153164441 SOS 104573122 HAS SOPS 90486961 HAS SOUS 19719915 HAS SOUPS 19621641 WITH SCORE 1.9726214122E7
AT ITER 2621 NEW BEST:: SOT 153177148 SOS 104585149 HAS SOPS 90500154 HAS SOUS 19719820 HAS SOUPS 19621546 WITH SCORE 1.9726131149E7
AT ITER 2627 NEW BEST:: SOT 153178281 SOS 104585808 HAS SOPS 90499285 HAS SOUS 19713801 HAS SOUPS 19615527 WITH SCORE 1.9720112808E7
AT ITER 2637 NEW BEST:: SOT 153178437 SOS 104585938 HAS SOPS 90499441 HAS SOUS 19713099 HAS SOUPS 19614825 WITH SCORE 1.9719410938E7
AT ITER 2639 NEW BEST:: SOT 153174067 SOS 104581551 HAS SOPS 90494571 HAS SOUS 19709963 HAS SOUPS 19611689 WITH SCORE 1.9716270551E7
AT ITER 2647 NEW BEST:: SOT 153168218 SOS 104574780 HAS SOPS 90488205 HAS SOUS 19694667 HAS SOUPS 19596393 WITH SCORE 1.970096778E7
AT ITER 2655 NEW BEST:: SOT 153168236 SOS 104574654 HAS SOPS 90488079 HAS SOUS 19694649 HAS SOUPS 19596375 WITH SCORE 1.9700949654E7
AT ITER 2656 NEW BEST:: SOT 153167388 SOS 104573948 HAS SOPS 90487177 HAS SOUS 19694752 HAS SOUPS 19596373 WITH SCORE 1.9700946948E7
AT ITER 2681 NEW BEST:: SOT 153165923 SOS 104572436 HAS SOPS 90485728 HAS SOUS 19694201 HAS SOUPS 19595822 WITH SCORE 1.9700394436E7
AT ITER 2698 NEW BEST:: SOT 153172030 SOS 104539373 HAS SOPS 90470806 HAS SOUS 19693475 HAS SOUPS 19594854 WITH SCORE 1.9699393373E7
AT ITER 2701 NEW BEST:: SOT 153175841 SOS 104543850 HAS SOPS 90475108 HAS SOUS 19689687 HAS SOUPS 19591066 WITH SCORE 1.969560985E7
AT ITER 2706 NEW BEST:: SOT 153175631 SOS 104543434 HAS SOPS 90474650 HAS SOUS 19680994 HAS SOUPS 19582373 WITH SCORE 1.9686916434E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15514892 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16075292 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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