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-167889194300144.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 RERS17pb114-PT-9, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194300144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 8.7K Feb 26 05:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 05:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.7K Feb 26 04:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 04:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 162K Feb 26 05:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 05:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 05:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 73M 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 1679480728140

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=RERS17pb114-PT-9
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 9
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: 1446 places, 151085 transitions, 604252 arcs.
AT ITER 0 NEW BEST:: SOT 133650955 SOS 82200848 HAS SOPS 66750976 HAS SOUS 26441832 HAS SOUPS 25811141 WITH SCORE 2.5893341848E7
AT ITER 6 NEW BEST:: SOT 133660606 SOS 82227665 HAS SOPS 66767153 HAS SOUS 26424673 HAS SOUPS 25793982 WITH SCORE 2.5876209665E7
AT ITER 16 NEW BEST:: SOT 133660139 SOS 82226949 HAS SOPS 66765487 HAS SOUS 26421804 HAS SOUPS 25791113 WITH SCORE 2.5873339949E7
AT ITER 20 NEW BEST:: SOT 133649751 SOS 82212566 HAS SOPS 66752773 HAS SOUS 26395084 HAS SOUPS 25764393 WITH SCORE 2.5846605566E7
AT ITER 46 NEW BEST:: SOT 133648812 SOS 82214160 HAS SOPS 66749338 HAS SOUS 26379531 HAS SOUPS 25748840 WITH SCORE 2.583105416E7
AT ITER 48 NEW BEST:: SOT 133631605 SOS 82206812 HAS SOPS 66743222 HAS SOUS 26318723 HAS SOUPS 25688199 WITH SCORE 2.5770405812E7
AT ITER 49 NEW BEST:: SOT 133631591 SOS 82206834 HAS SOPS 66743194 HAS SOUS 26318675 HAS SOUPS 25688151 WITH SCORE 2.5770357834E7
AT ITER 56 NEW BEST:: SOT 133625656 SOS 82194389 HAS SOPS 66733189 HAS SOUS 26309679 HAS SOUPS 25679155 WITH SCORE 2.5761349389E7
AT ITER 66 NEW BEST:: SOT 133606901 SOS 82175723 HAS SOPS 66714523 HAS SOUS 26284661 HAS SOUPS 25654137 WITH SCORE 2.5736312723E7
AT ITER 70 NEW BEST:: SOT 133605526 SOS 82174441 HAS SOPS 66713424 HAS SOUS 26283931 HAS SOUPS 25653407 WITH SCORE 2.5735581441E7
AT ITER 83 NEW BEST:: SOT 133599776 SOS 82152601 HAS SOPS 66696648 HAS SOUS 26281749 HAS SOUPS 25651225 WITH SCORE 2.5733377601E7
AT ITER 85 NEW BEST:: SOT 133606363 SOS 82191705 HAS SOPS 66725707 HAS SOUS 26274083 HAS SOUPS 25643559 WITH SCORE 2.5725750705E7
AT ITER 87 NEW BEST:: SOT 133606927 SOS 82196640 HAS SOPS 66730379 HAS SOUS 26265060 HAS SOUPS 25634104 WITH SCORE 2.571630064E7
AT ITER 91 NEW BEST:: SOT 133605577 SOS 82195265 HAS SOPS 66728122 HAS SOUS 26261936 HAS SOUPS 25630983 WITH SCORE 2.5713178265E7
AT ITER 107 NEW BEST:: SOT 133608463 SOS 82209126 HAS SOPS 66741912 HAS SOUS 26257379 HAS SOUPS 25626426 WITH SCORE 2.5708635126E7
AT ITER 124 NEW BEST:: SOT 133613349 SOS 82222849 HAS SOPS 66749320 HAS SOUS 26248993 HAS SOUPS 25618040 WITH SCORE 2.5700262849E7
AT ITER 135 NEW BEST:: SOT 133613393 SOS 82220656 HAS SOPS 66747865 HAS SOUS 26248796 HAS SOUPS 25617843 WITH SCORE 2.5700063656E7
AT ITER 145 NEW BEST:: SOT 133612578 SOS 82220229 HAS SOPS 66748156 HAS SOUS 26247128 HAS SOUPS 25616175 WITH SCORE 2.5698395229E7
AT ITER 169 NEW BEST:: SOT 133609492 SOS 82219600 HAS SOPS 66743302 HAS SOUS 26221806 HAS SOUPS 25590853 WITH SCORE 2.56730726E7
AT ITER 170 NEW BEST:: SOT 133604615 SOS 82211654 HAS SOPS 66733775 HAS SOUS 26213938 HAS SOUPS 25582985 WITH SCORE 2.5665196654E7
AT ITER 174 NEW BEST:: SOT 133582805 SOS 82156829 HAS SOPS 66709170 HAS SOUS 26213479 HAS SOUPS 25582941 WITH SCORE 2.5665097829E7
AT ITER 176 NEW BEST:: SOT 133583301 SOS 82157986 HAS SOPS 66712369 HAS SOUS 26212259 HAS SOUPS 25581721 WITH SCORE 2.5663878986E7
AT ITER 177 NEW BEST:: SOT 133573430 SOS 82147467 HAS SOPS 66701573 HAS SOUS 26201816 HAS SOUPS 25570862 WITH SCORE 2.5653009467E7
AT ITER 198 NEW BEST:: SOT 133571866 SOS 82173130 HAS SOPS 66734464 HAS SOUS 26193927 HAS SOUPS 25562973 WITH SCORE 2.564514613E7
AT ITER 218 NEW BEST:: SOT 133567127 SOS 82169489 HAS SOPS 66731452 HAS SOUS 26187446 HAS SOUPS 25556450 WITH SCORE 2.5638619489E7
AT ITER 234 NEW BEST:: SOT 133550464 SOS 82146942 HAS SOPS 66716065 HAS SOUS 26145662 HAS SOUPS 25517477 WITH SCORE 2.5599623942E7
AT ITER 259 NEW BEST:: SOT 133547362 SOS 82144560 HAS SOPS 66717686 HAS SOUS 26133033 HAS SOUPS 25504781 WITH SCORE 2.558692556E7
AT ITER 268 NEW BEST:: SOT 133547392 SOS 82145713 HAS SOPS 66719194 HAS SOUS 26132380 HAS SOUPS 25504128 WITH SCORE 2.5586273713E7
AT ITER 277 NEW BEST:: SOT 133528982 SOS 82097003 HAS SOPS 66688231 HAS SOUS 26120591 HAS SOUPS 25492339 WITH SCORE 2.5574436003E7
AT ITER 279 NEW BEST:: SOT 133532520 SOS 82096274 HAS SOPS 66690857 HAS SOUS 26120407 HAS SOUPS 25492155 WITH SCORE 2.5574251274E7
AT ITER 280 NEW BEST:: SOT 133535844 SOS 82107325 HAS SOPS 66699520 HAS SOUS 26114461 HAS SOUPS 25486209 WITH SCORE 2.5568316325E7
AT ITER 282 NEW BEST:: SOT 133533606 SOS 82103369 HAS SOPS 66696071 HAS SOUS 26105862 HAS SOUPS 25477720 WITH SCORE 2.5559823369E7
AT ITER 285 NEW BEST:: SOT 133535901 SOS 82114448 HAS SOPS 66704804 HAS SOUS 26104843 HAS SOUPS 25476701 WITH SCORE 2.5558815448E7
AT ITER 294 NEW BEST:: SOT 133523165 SOS 82084238 HAS SOPS 66683496 HAS SOUS 26098157 HAS SOUPS 25470015 WITH SCORE 2.5552099238E7
AT ITER 295 NEW BEST:: SOT 133483953 SOS 82014284 HAS SOPS 66624053 HAS SOUS 26054451 HAS SOUPS 25426811 WITH SCORE 2.5508825284E7
AT ITER 299 NEW BEST:: SOT 133467516 SOS 81986618 HAS SOPS 66599931 HAS SOUS 26036446 HAS SOUPS 25409004 WITH SCORE 2.5490990618E7
AT ITER 343 NEW BEST:: SOT 133495716 SOS 82058530 HAS SOPS 66682157 HAS SOUS 26028170 HAS SOUPS 25400728 WITH SCORE 2.548278653E7
AT ITER 350 NEW BEST:: SOT 133500051 SOS 82085282 HAS SOPS 66706897 HAS SOUS 26024313 HAS SOUPS 25396871 WITH SCORE 2.5478956282E7
AT ITER 353 NEW BEST:: SOT 133435614 SOS 82009361 HAS SOPS 66625407 HAS SOUS 25942904 HAS SOUPS 25315891 WITH SCORE 2.5397900361E7
AT ITER 364 NEW BEST:: SOT 133435451 SOS 82009162 HAS SOPS 66625490 HAS SOUS 25941940 HAS SOUPS 25314927 WITH SCORE 2.5396936162E7
AT ITER 378 NEW BEST:: SOT 133435852 SOS 82017264 HAS SOPS 66632813 HAS SOUS 25937274 HAS SOUPS 25310261 WITH SCORE 2.5392278264E7
AT ITER 382 NEW BEST:: SOT 133394940 SOS 81956368 HAS SOPS 66634971 HAS SOUS 25897401 HAS SOUPS 25271010 WITH SCORE 2.5352966368E7
AT ITER 384 NEW BEST:: SOT 133399013 SOS 81968964 HAS SOPS 66642668 HAS SOUS 25893801 HAS SOUPS 25267410 WITH SCORE 2.5349378964E7
AT ITER 396 NEW BEST:: SOT 133403786 SOS 81980633 HAS SOPS 66652225 HAS SOUS 25888621 HAS SOUPS 25262230 WITH SCORE 2.5344210633E7
AT ITER 424 NEW BEST:: SOT 133413678 SOS 82015670 HAS SOPS 66677185 HAS SOUS 25873189 HAS SOUPS 25246798 WITH SCORE 2.532881367E7
AT ITER 425 NEW BEST:: SOT 133421489 SOS 82058668 HAS SOPS 66698088 HAS SOUS 25843792 HAS SOUPS 25217401 WITH SCORE 2.5299459668E7
AT ITER 430 NEW BEST:: SOT 133429879 SOS 82089365 HAS SOPS 66719915 HAS SOUS 25843493 HAS SOUPS 25217102 WITH SCORE 2.5299191365E7
AT ITER 434 NEW BEST:: SOT 133431532 SOS 82091971 HAS SOPS 66722521 HAS SOUS 25821392 HAS SOUPS 25195001 WITH SCORE 2.5277092971E7
AT ITER 443 NEW BEST:: SOT 133430382 SOS 82091036 HAS SOPS 66723348 HAS SOUS 25819096 HAS SOUPS 25192705 WITH SCORE 2.5274796036E7
AT ITER 448 NEW BEST:: SOT 133449987 SOS 82137278 HAS SOPS 66773000 HAS SOUS 25791957 HAS SOUPS 25165561 WITH SCORE 2.5247698278E7
AT ITER 461 NEW BEST:: SOT 133438781 SOS 82118488 HAS SOPS 66755437 HAS SOUS 25777917 HAS SOUPS 25151521 WITH SCORE 2.5233639488E7
AT ITER 473 NEW BEST:: SOT 133436954 SOS 82115698 HAS SOPS 66752074 HAS SOUS 25774152 HAS SOUPS 25147756 WITH SCORE 2.5229871698E7
AT ITER 476 NEW BEST:: SOT 133437387 SOS 82119810 HAS SOPS 66755181 HAS SOUS 25773928 HAS SOUPS 25147532 WITH SCORE 2.522965181E7
AT ITER 491 NEW BEST:: SOT 133437094 SOS 82119690 HAS SOPS 66753946 HAS SOUS 25772397 HAS SOUPS 25145990 WITH SCORE 2.522810969E7
AT ITER 496 NEW BEST:: SOT 133452670 SOS 82131224 HAS SOPS 66773879 HAS SOUS 25768263 HAS SOUPS 25142831 WITH SCORE 2.5224962224E7
AT ITER 501 NEW BEST:: SOT 133452823 SOS 82131485 HAS SOPS 66772856 HAS SOUS 25766776 HAS SOUPS 25141344 WITH SCORE 2.5223475485E7
AT ITER 540 NEW BEST:: SOT 133450972 SOS 82126459 HAS SOPS 66773973 HAS SOUS 25762694 HAS SOUPS 25137387 WITH SCORE 2.5219513459E7
AT ITER 559 NEW BEST:: SOT 133450748 SOS 82126915 HAS SOPS 66773845 HAS SOUS 25761526 HAS SOUPS 25136219 WITH SCORE 2.5218345915E7
AT ITER 576 NEW BEST:: SOT 133442579 SOS 82118773 HAS SOPS 66764319 HAS SOUS 25743250 HAS SOUPS 25117663 WITH SCORE 2.5199781773E7
AT ITER 595 NEW BEST:: SOT 133440254 SOS 82129339 HAS SOPS 66777494 HAS SOUS 25722143 HAS SOUPS 25096556 WITH SCORE 2.5178685339E7
AT ITER 600 NEW BEST:: SOT 133439776 SOS 82128861 HAS SOPS 66775960 HAS SOUS 25721377 HAS SOUPS 25095022 WITH SCORE 2.5177150861E7
AT ITER 604 NEW BEST:: SOT 133418072 SOS 82093586 HAS SOPS 66754870 HAS SOUS 25708464 HAS SOUPS 25082109 WITH SCORE 2.5164202586E7
AT ITER 606 NEW BEST:: SOT 133433089 SOS 82114954 HAS SOPS 66779800 HAS SOUS 25706857 HAS SOUPS 25080502 WITH SCORE 2.5162616954E7
AT ITER 607 NEW BEST:: SOT 133433551 SOS 82115580 HAS SOPS 66780632 HAS SOUS 25706837 HAS SOUPS 25080441 WITH SCORE 2.516255658E7
AT ITER 619 NEW BEST:: SOT 133435440 SOS 82123241 HAS SOPS 66785692 HAS SOUS 25705207 HAS SOUPS 25078811 WITH SCORE 2.5160934241E7
AT ITER 620 NEW BEST:: SOT 133450588 SOS 82152391 HAS SOPS 66808273 HAS SOUS 25695052 HAS SOUPS 25068656 WITH SCORE 2.5150808391E7
AT ITER 627 NEW BEST:: SOT 133447648 SOS 82141656 HAS SOPS 66796331 HAS SOUS 25686168 HAS SOUPS 25059772 WITH SCORE 2.5141913656E7
AT ITER 633 NEW BEST:: SOT 133452389 SOS 82153295 HAS SOPS 66804526 HAS SOUS 25684946 HAS SOUPS 25058550 WITH SCORE 2.5140703295E7
AT ITER 635 NEW BEST:: SOT 133420048 SOS 82120891 HAS SOPS 66770217 HAS SOUS 25647104 HAS SOUPS 25020468 WITH SCORE 2.5102588891E7
AT ITER 644 NEW BEST:: SOT 133441181 SOS 82205805 HAS SOPS 66834168 HAS SOUS 25646353 HAS SOUPS 25019717 WITH SCORE 2.5101922805E7
AT ITER 663 NEW BEST:: SOT 133420003 SOS 82162600 HAS SOPS 66803275 HAS SOUS 25642683 HAS SOUPS 25016047 WITH SCORE 2.50982096E7
AT ITER 682 NEW BEST:: SOT 133484089 SOS 82236453 HAS SOPS 66927224 HAS SOUS 25631357 HAS SOUPS 25004780 WITH SCORE 2.5087016453E7
AT ITER 690 NEW BEST:: SOT 133482911 SOS 82234552 HAS SOPS 66924048 HAS SOUS 25626164 HAS SOUPS 24999587 WITH SCORE 2.5081821552E7
AT ITER 707 NEW BEST:: SOT 133473735 SOS 82214970 HAS SOPS 66912892 HAS SOUS 25619600 HAS SOUPS 24993023 WITH SCORE 2.507523797E7
AT ITER 717 NEW BEST:: SOT 133487527 SOS 82230349 HAS SOPS 66907498 HAS SOUS 25607113 HAS SOUPS 24980869 WITH SCORE 2.5063099349E7
AT ITER 732 NEW BEST:: SOT 133475291 SOS 82227009 HAS SOPS 66901618 HAS SOUS 25603446 HAS SOUPS 24977020 WITH SCORE 2.5059247009E7
AT ITER 735 NEW BEST:: SOT 133434342 SOS 82185084 HAS SOPS 66859693 HAS SOUS 25562435 HAS SOUPS 24936009 WITH SCORE 2.5018194084E7
AT ITER 737 NEW BEST:: SOT 133436294 SOS 82189088 HAS SOPS 66852567 HAS SOUS 25561828 HAS SOUPS 24935402 WITH SCORE 2.5017591088E7
AT ITER 740 NEW BEST:: SOT 133435171 SOS 82188397 HAS SOPS 66855102 HAS SOUS 25560485 HAS SOUPS 24934059 WITH SCORE 2.5016247397E7
AT ITER 743 NEW BEST:: SOT 133432266 SOS 82179442 HAS SOPS 66846318 HAS SOUS 25560166 HAS SOUPS 24933740 WITH SCORE 2.5015919442E7
AT ITER 763 NEW BEST:: SOT 133437694 SOS 82199772 HAS SOPS 66864304 HAS SOUS 25553147 HAS SOUPS 24926721 WITH SCORE 2.5008920772E7
AT ITER 766 NEW BEST:: SOT 133422486 SOS 82187828 HAS SOPS 66850076 HAS SOUS 25529468 HAS SOUPS 24903042 WITH SCORE 2.4985229828E7
AT ITER 775 NEW BEST:: SOT 133428598 SOS 82230219 HAS SOPS 66886355 HAS SOUS 25516854 HAS SOUPS 24890428 WITH SCORE 2.4972658219E7
AT ITER 790 NEW BEST:: SOT 133427024 SOS 82227339 HAS SOPS 66883338 HAS SOUS 25513058 HAS SOUPS 24886650 WITH SCORE 2.4968877339E7
AT ITER 797 NEW BEST:: SOT 133572739 SOS 82549231 HAS SOPS 67174915 HAS SOUS 25513442 HAS SOUPS 24886254 WITH SCORE 2.4968803231E7
AT ITER 809 NEW BEST:: SOT 133575527 SOS 82558001 HAS SOPS 67190142 HAS SOUS 25512555 HAS SOUPS 24885367 WITH SCORE 2.4967925001E7
AT ITER 820 NEW BEST:: SOT 133577522 SOS 82581887 HAS SOPS 67215913 HAS SOUS 25511204 HAS SOUPS 24884016 WITH SCORE 2.4966597887E7
AT ITER 831 NEW BEST:: SOT 133598526 SOS 82660301 HAS SOPS 67293500 HAS SOUS 25477831 HAS SOUPS 24850643 WITH SCORE 2.4933303301E7
AT ITER 840 NEW BEST:: SOT 133598622 SOS 82660371 HAS SOPS 67293774 HAS SOUS 25477769 HAS SOUPS 24850581 WITH SCORE 2.4933241371E7
AT ITER 841 NEW BEST:: SOT 133585674 SOS 82647606 HAS SOPS 67278716 HAS SOUS 25459122 HAS SOUPS 24831868 WITH SCORE 2.4914515606E7
AT ITER 848 NEW BEST:: SOT 133584345 SOS 82643769 HAS SOPS 67277053 HAS SOUS 25458323 HAS SOUPS 24831092 WITH SCORE 2.4913735769E7
AT ITER 879 NEW BEST:: SOT 133584888 SOS 82640342 HAS SOPS 67274619 HAS SOUS 25458223 HAS SOUPS 24831080 WITH SCORE 2.4913720342E7
AT ITER 883 NEW BEST:: SOT 133512000 SOS 82507517 HAS SOPS 67164848 HAS SOUS 25352483 HAS SOUPS 24725757 WITH SCORE 2.4808264517E7
AT ITER 891 NEW BEST:: SOT 133509881 SOS 82504566 HAS SOPS 67169783 HAS SOUS 25347950 HAS SOUPS 24721177 WITH SCORE 2.4803681566E7
AT ITER 898 NEW BEST:: SOT 133509243 SOS 82501919 HAS SOPS 67173866 HAS SOUS 25337597 HAS SOUPS 24712979 WITH SCORE 2.4795480919E7
AT ITER 901 NEW BEST:: SOT 133461628 SOS 82372861 HAS SOPS 67102441 HAS SOUS 25330376 HAS SOUPS 24705758 WITH SCORE 2.4788130861E7
AT ITER 903 NEW BEST:: SOT 133461180 SOS 82372145 HAS SOPS 67101761 HAS SOUS 25329808 HAS SOUPS 24705190 WITH SCORE 2.4787562145E7
AT ITER 910 NEW BEST:: SOT 133453333 SOS 82361431 HAS SOPS 67091741 HAS SOUS 25317416 HAS SOUPS 24692220 WITH SCORE 2.4774581431E7
AT ITER 934 NEW BEST:: SOT 133442813 SOS 82346566 HAS SOPS 67096041 HAS SOUS 25307435 HAS SOUPS 24682239 WITH SCORE 2.4764585566E7
AT ITER 945 NEW BEST:: SOT 133442375 SOS 82349757 HAS SOPS 67097354 HAS SOUS 25299472 HAS SOUPS 24674276 WITH SCORE 2.4756625757E7
AT ITER 968 NEW BEST:: SOT 133434151 SOS 82335755 HAS SOPS 67085360 HAS SOUS 25286497 HAS SOUPS 24661439 WITH SCORE 2.4743774755E7
AT ITER 975 NEW BEST:: SOT 133434767 SOS 82337882 HAS SOPS 67087932 HAS SOUS 25285554 HAS SOUPS 24660496 WITH SCORE 2.4742833882E7
AT ITER 987 NEW BEST:: SOT 133457135 SOS 82392108 HAS SOPS 67119663 HAS SOUS 25256956 HAS SOUPS 24631898 WITH SCORE 2.4714290108E7
AT ITER 993 NEW BEST:: SOT 133452385 SOS 82383482 HAS SOPS 67113488 HAS SOUS 25252410 HAS SOUPS 24627352 WITH SCORE 2.4709735482E7
AT ITER 1027 NEW BEST:: SOT 133453414 SOS 82396861 HAS SOPS 67143264 HAS SOUS 25252103 HAS SOUPS 24627045 WITH SCORE 2.4709441861E7
AT ITER 1029 NEW BEST:: SOT 133435872 SOS 82365931 HAS SOPS 67124488 HAS SOUS 25235362 HAS SOUPS 24610304 WITH SCORE 2.4692669931E7
AT ITER 1030 NEW BEST:: SOT 133450185 SOS 82442421 HAS SOPS 67188096 HAS SOUS 25213965 HAS SOUPS 24588907 WITH SCORE 2.4671349421E7
AT ITER 1032 NEW BEST:: SOT 133427717 SOS 82395611 HAS SOPS 67144553 HAS SOUS 25189798 HAS SOUPS 24564740 WITH SCORE 2.4647135611E7
AT ITER 1036 NEW BEST:: SOT 133415076 SOS 82367720 HAS SOPS 67124161 HAS SOUS 25189259 HAS SOUPS 24564294 WITH SCORE 2.464666172E7
AT ITER 1045 NEW BEST:: SOT 133422314 SOS 82388352 HAS SOPS 67138796 HAS SOUS 25185909 HAS SOUPS 24560944 WITH SCORE 2.4643332352E7
AT ITER 1046 NEW BEST:: SOT 133425397 SOS 82393439 HAS SOPS 67134596 HAS SOUS 25171238 HAS SOUPS 24546273 WITH SCORE 2.4628666439E7
AT ITER 1059 NEW BEST:: SOT 133430744 SOS 82420951 HAS SOPS 67157710 HAS SOUS 25154325 HAS SOUPS 24529360 WITH SCORE 2.4611780951E7
AT ITER 1063 NEW BEST:: SOT 133434365 SOS 82412754 HAS SOPS 67135553 HAS SOUS 25150723 HAS SOUPS 24525758 WITH SCORE 2.4608170754E7
AT ITER 1086 NEW BEST:: SOT 133438879 SOS 82427250 HAS SOPS 67148397 HAS SOUS 25147277 HAS SOUPS 24522312 WITH SCORE 2.460473925E7
AT ITER 1099 NEW BEST:: SOT 133436289 SOS 82421146 HAS SOPS 67141319 HAS SOUS 25142916 HAS SOUPS 24517951 WITH SCORE 2.4600372146E7
AT ITER 1100 NEW BEST:: SOT 133424833 SOS 82417699 HAS SOPS 67124726 HAS SOUS 25114430 HAS SOUPS 24489465 WITH SCORE 2.4571882699E7
AT ITER 1102 NEW BEST:: SOT 133424739 SOS 82417579 HAS SOPS 67124576 HAS SOUS 25114208 HAS SOUPS 24489243 WITH SCORE 2.4571660579E7
AT ITER 1105 NEW BEST:: SOT 133415995 SOS 82376003 HAS SOPS 67095185 HAS SOUS 25110610 HAS SOUPS 24485645 WITH SCORE 2.4568021003E7
AT ITER 1112 NEW BEST:: SOT 133418975 SOS 82386012 HAS SOPS 67104000 HAS SOUS 25101657 HAS SOUPS 24476662 WITH SCORE 2.4559048012E7
AT ITER 1140 NEW BEST:: SOT 133411762 SOS 82373004 HAS SOPS 67094224 HAS SOUS 25089833 HAS SOUPS 24464838 WITH SCORE 2.4547211004E7
AT ITER 1144 NEW BEST:: SOT 133394450 SOS 82314253 HAS SOPS 67046271 HAS SOUS 25088592 HAS SOUPS 24463597 WITH SCORE 2.4545911253E7
AT ITER 1155 NEW BEST:: SOT 133397554 SOS 82328390 HAS SOPS 67049683 HAS SOUS 25076988 HAS SOUPS 24451993 WITH SCORE 2.453432139E7
AT ITER 1159 NEW BEST:: SOT 133399255 SOS 82334083 HAS SOPS 67051594 HAS SOUS 25074038 HAS SOUPS 24449043 WITH SCORE 2.4531377083E7
AT ITER 1163 NEW BEST:: SOT 133400572 SOS 82344440 HAS SOPS 67051614 HAS SOUS 25060167 HAS SOUPS 24435172 WITH SCORE 2.451751644E7
AT ITER 1178 NEW BEST:: SOT 133403039 SOS 82364892 HAS SOPS 67077322 HAS SOUS 25059278 HAS SOUPS 24434283 WITH SCORE 2.4516647892E7
AT ITER 1189 NEW BEST:: SOT 133400258 SOS 82358821 HAS SOPS 67072235 HAS SOUS 25056466 HAS SOUPS 24431471 WITH SCORE 2.4513829821E7
AT ITER 1200 NEW BEST:: SOT 133398219 SOS 82356741 HAS SOPS 67070145 HAS SOUS 25053235 HAS SOUPS 24428262 WITH SCORE 2.4510618741E7
AT ITER 1209 NEW BEST:: SOT 133325503 SOS 82280116 HAS SOPS 66999451 HAS SOUS 24962240 HAS SOUPS 24338122 WITH SCORE 2.4420402116E7
AT ITER 1218 NEW BEST:: SOT 133317080 SOS 82263007 HAS SOPS 66982481 HAS SOUS 24957011 HAS SOUPS 24332893 WITH SCORE 2.4415156007E7
AT ITER 1221 NEW BEST:: SOT 133318202 SOS 82264302 HAS SOPS 66983184 HAS SOUS 24956185 HAS SOUPS 24332067 WITH SCORE 2.4414331302E7
AT ITER 1224 NEW BEST:: SOT 133336974 SOS 82311076 HAS SOPS 67034723 HAS SOUS 24930182 HAS SOUPS 24307144 WITH SCORE 2.4389455076E7
AT ITER 1227 NEW BEST:: SOT 133332518 SOS 82306650 HAS SOPS 67032553 HAS SOUS 24929816 HAS SOUPS 24306721 WITH SCORE 2.438902765E7
AT ITER 1232 NEW BEST:: SOT 133327984 SOS 82296796 HAS SOPS 67025384 HAS SOUS 24928392 HAS SOUPS 24305297 WITH SCORE 2.4387593796E7
AT ITER 1271 NEW BEST:: SOT 133328029 SOS 82299635 HAS SOPS 67029328 HAS SOUS 24928253 HAS SOUPS 24305158 WITH SCORE 2.4387457635E7
AT ITER 1274 NEW BEST:: SOT 133332449 SOS 82320562 HAS SOPS 67055724 HAS SOUS 24927768 HAS SOUPS 24304673 WITH SCORE 2.4386993562E7
AT ITER 1289 NEW BEST:: SOT 133323641 SOS 82312726 HAS SOPS 67054265 HAS SOUS 24918932 HAS SOUPS 24295837 WITH SCORE 2.4378149726E7
AT ITER 1292 NEW BEST:: SOT 133336614 SOS 82379432 HAS SOPS 67112373 HAS SOUS 24900728 HAS SOUPS 24277633 WITH SCORE 2.4360012432E7
AT ITER 1293 NEW BEST:: SOT 133312155 SOS 82340388 HAS SOPS 67083237 HAS SOUS 24876414 HAS SOUPS 24253423 WITH SCORE 2.4335763388E7
AT ITER 1302 NEW BEST:: SOT 133312877 SOS 82340764 HAS SOPS 67082788 HAS SOUS 24873273 HAS SOUPS 24250339 WITH SCORE 2.4332679764E7
AT ITER 1315 NEW BEST:: SOT 133349891 SOS 82441486 HAS SOPS 67181749 HAS SOUS 24867219 HAS SOUPS 24244285 WITH SCORE 2.4326726486E7
AT ITER 1319 NEW BEST:: SOT 133324634 SOS 82382761 HAS SOPS 67145508 HAS SOUS 24853501 HAS SOUPS 24230764 WITH SCORE 2.4313146761E7
AT ITER 1325 NEW BEST:: SOT 133324516 SOS 82382639 HAS SOPS 67145356 HAS SOUS 24853261 HAS SOUPS 24230524 WITH SCORE 2.4312906639E7
AT ITER 1348 NEW BEST:: SOT 133327797 SOS 82383604 HAS SOPS 67149233 HAS SOUS 24849566 HAS SOUPS 24227353 WITH SCORE 2.4309736604E7
AT ITER 1350 NEW BEST:: SOT 133327120 SOS 82384256 HAS SOPS 67141628 HAS SOUS 24845205 HAS SOUPS 24222992 WITH SCORE 2.4305376256E7
AT ITER 1355 NEW BEST:: SOT 133375437 SOS 82485307 HAS SOPS 67225481 HAS SOUS 24838604 HAS SOUPS 24216391 WITH SCORE 2.4298876307E7
AT ITER 1367 NEW BEST:: SOT 133375240 SOS 82485893 HAS SOPS 67223034 HAS SOUS 24837771 HAS SOUPS 24215525 WITH SCORE 2.4298010893E7
AT ITER 1368 NEW BEST:: SOT 133389797 SOS 82509833 HAS SOPS 67239332 HAS SOUS 24830614 HAS SOUPS 24208368 WITH SCORE 2.4290877833E7
AT ITER 1370 NEW BEST:: SOT 133394137 SOS 82526333 HAS SOPS 67248840 HAS SOUS 24824561 HAS SOUPS 24202315 WITH SCORE 2.4284841333E7
AT ITER 1380 NEW BEST:: SOT 133394455 SOS 82529355 HAS SOPS 67249717 HAS SOUS 24822847 HAS SOUPS 24200601 WITH SCORE 2.4283130355E7
AT ITER 1389 NEW BEST:: SOT 133376929 SOS 82502406 HAS SOPS 67226472 HAS SOUS 24797576 HAS SOUPS 24176346 WITH SCORE 2.4258848406E7
AT ITER 1393 NEW BEST:: SOT 133375771 SOS 82500471 HAS SOPS 67221771 HAS SOUS 24793369 HAS SOUPS 24172139 WITH SCORE 2.4254639471E7
AT ITER 1397 NEW BEST:: SOT 133397552 SOS 82573567 HAS SOPS 67314057 HAS SOUS 24790822 HAS SOUPS 24169592 WITH SCORE 2.4252165567E7
AT ITER 1409 NEW BEST:: SOT 133397536 SOS 82573531 HAS SOPS 67313992 HAS SOUS 24790782 HAS SOUPS 24169552 WITH SCORE 2.4252125531E7
AT ITER 1423 NEW BEST:: SOT 133396839 SOS 82572396 HAS SOPS 67313913 HAS SOUS 24790469 HAS SOUPS 24169239 WITH SCORE 2.4251811396E7
AT ITER 1432 NEW BEST:: SOT 133368990 SOS 82485193 HAS SOPS 67281506 HAS SOUS 24776269 HAS SOUPS 24155039 WITH SCORE 2.4237524193E7
AT ITER 1437 NEW BEST:: SOT 133372679 SOS 82504570 HAS SOPS 67321776 HAS SOUS 24770311 HAS SOUPS 24149081 WITH SCORE 2.423158557E7
AT ITER 1443 NEW BEST:: SOT 133371932 SOS 82504503 HAS SOPS 67321492 HAS SOUS 24769293 HAS SOUPS 24148034 WITH SCORE 2.4230538503E7
AT ITER 1444 NEW BEST:: SOT 133370544 SOS 82503594 HAS SOPS 67313443 HAS SOUS 24750138 HAS SOUPS 24128879 WITH SCORE 2.4211382594E7
AT ITER 1445 NEW BEST:: SOT 133371550 SOS 82507245 HAS SOPS 67313306 HAS SOUS 24741481 HAS SOUPS 24120356 WITH SCORE 2.4202863245E7
AT ITER 1454 NEW BEST:: SOT 133319480 SOS 82441509 HAS SOPS 67261236 HAS SOUS 24691536 HAS SOUPS 24070478 WITH SCORE 2.4152919509E7
AT ITER 1455 NEW BEST:: SOT 133302420 SOS 82424349 HAS SOPS 67242576 HAS SOUS 24673267 HAS SOUPS 24051908 WITH SCORE 2.4134332349E7
AT ITER 1459 NEW BEST:: SOT 133302233 SOS 82425240 HAS SOPS 67242565 HAS SOUS 24670999 HAS SOUPS 24049629 WITH SCORE 2.413205424E7
AT ITER 1480 NEW BEST:: SOT 133303340 SOS 82428265 HAS SOPS 67244571 HAS SOUS 24669883 HAS SOUPS 24048513 WITH SCORE 2.4130941265E7
AT ITER 1484 NEW BEST:: SOT 133285203 SOS 82386309 HAS SOPS 67210175 HAS SOUS 24651164 HAS SOUPS 24029794 WITH SCORE 2.4112180309E7
AT ITER 1516 NEW BEST:: SOT 133267155 SOS 82361214 HAS SOPS 67186312 HAS SOUS 24621606 HAS SOUPS 24000236 WITH SCORE 2.4082597214E7
AT ITER 1519 NEW BEST:: SOT 133268843 SOS 82365547 HAS SOPS 67199685 HAS SOUS 24620007 HAS SOUPS 23998637 WITH SCORE 2.4081002547E7
AT ITER 1520 NEW BEST:: SOT 133272353 SOS 82383175 HAS SOPS 67222179 HAS SOUS 24615048 HAS SOUPS 23993678 WITH SCORE 2.4076061175E7
AT ITER 1525 NEW BEST:: SOT 133273679 SOS 82388362 HAS SOPS 67231566 HAS SOUS 24612216 HAS SOUPS 23990846 WITH SCORE 2.4073234362E7
AT ITER 1537 NEW BEST:: SOT 133284984 SOS 82433584 HAS SOPS 67273624 HAS SOUS 24603572 HAS SOUPS 23982202 WITH SCORE 2.4064635584E7
AT ITER 1538 NEW BEST:: SOT 133285349 SOS 82439163 HAS SOPS 67276045 HAS SOUS 24602349 HAS SOUPS 23980913 WITH SCORE 2.4063352163E7
AT ITER 1543 NEW BEST:: SOT 133240756 SOS 82379142 HAS SOPS 67223291 HAS SOUS 24555576 HAS SOUPS 23935171 WITH SCORE 2.4017550142E7
AT ITER 1551 NEW BEST:: SOT 133239056 SOS 82377073 HAS SOPS 67220970 HAS SOUS 24552895 HAS SOUPS 23932499 WITH SCORE 2.4014876073E7
AT ITER 1555 NEW BEST:: SOT 133235283 SOS 82374085 HAS SOPS 67220567 HAS SOUS 24541268 HAS SOUPS 23920872 WITH SCORE 2.4003246085E7
AT ITER 1560 NEW BEST:: SOT 133246130 SOS 82384789 HAS SOPS 67221982 HAS SOUS 24524165 HAS SOUPS 23903769 WITH SCORE 2.3986153789E7
AT ITER 1564 NEW BEST:: SOT 133245329 SOS 82382873 HAS SOPS 67219520 HAS SOUS 24522388 HAS SOUPS 23901992 WITH SCORE 2.3984374873E7
AT ITER 1570 NEW BEST:: SOT 133230038 SOS 82363565 HAS SOPS 67202778 HAS SOUS 24485720 HAS SOUPS 23866050 WITH SCORE 2.3948413565E7
AT ITER 1571 NEW BEST:: SOT 133226405 SOS 82347453 HAS SOPS 67202671 HAS SOUS 24484678 HAS SOUPS 23865008 WITH SCORE 2.3947355453E7
AT ITER 1572 NEW BEST:: SOT 133222902 SOS 82344270 HAS SOPS 67200939 HAS SOUS 24479520 HAS SOUPS 23859883 WITH SCORE 2.394222727E7
AT ITER 1582 NEW BEST:: SOT 133210050 SOS 82331660 HAS SOPS 67184201 HAS SOUS 24455538 HAS SOUPS 23835901 WITH SCORE 2.391823266E7
AT ITER 1583 NEW BEST:: SOT 133208600 SOS 82337532 HAS SOPS 67194730 HAS SOUS 24453353 HAS SOUPS 23833716 WITH SCORE 2.3916053532E7
AT ITER 1585 NEW BEST:: SOT 133205455 SOS 82334899 HAS SOPS 67188122 HAS SOUS 24440371 HAS SOUPS 23820734 WITH SCORE 2.3903068899E7
AT ITER 1586 NEW BEST:: SOT 133203376 SOS 82333858 HAS SOPS 67179462 HAS SOUS 24432026 HAS SOUPS 23812389 WITH SCORE 2.3894722858E7
AT ITER 1592 NEW BEST:: SOT 133212653 SOS 82356698 HAS SOPS 67197079 HAS SOUS 24417964 HAS SOUPS 23798327 WITH SCORE 2.3880683698E7
AT ITER 1594 NEW BEST:: SOT 133212376 SOS 82356559 HAS SOPS 67197447 HAS SOUS 24416723 HAS SOUPS 23797086 WITH SCORE 2.3879442559E7
AT ITER 1598 NEW BEST:: SOT 133212426 SOS 82358484 HAS SOPS 67198489 HAS SOUS 24412940 HAS SOUPS 23793303 WITH SCORE 2.3875661484E7
AT ITER 1616 NEW BEST:: SOT 133222419 SOS 82395417 HAS SOPS 67237915 HAS SOUS 24378466 HAS SOUPS 23758829 WITH SCORE 2.3841224417E7
AT ITER 1618 NEW BEST:: SOT 133223122 SOS 82398510 HAS SOPS 67238278 HAS SOUS 24378392 HAS SOUPS 23758755 WITH SCORE 2.384115351E7
AT ITER 1619 NEW BEST:: SOT 133221936 SOS 82398173 HAS SOPS 67239090 HAS SOUS 24372973 HAS SOUPS 23753336 WITH SCORE 2.3835734173E7
AT ITER 1627 NEW BEST:: SOT 133221769 SOS 82398399 HAS SOPS 67239101 HAS SOUS 24372731 HAS SOUPS 23753119 WITH SCORE 2.3835517399E7
AT ITER 1649 NEW BEST:: SOT 133219390 SOS 82389710 HAS SOPS 67232303 HAS SOUS 24372618 HAS SOUPS 23753006 WITH SCORE 2.383539571E7
AT ITER 1651 NEW BEST:: SOT 133231347 SOS 82411964 HAS SOPS 67246820 HAS SOUS 24364955 HAS SOUPS 23745343 WITH SCORE 2.3827754964E7
AT ITER 1656 NEW BEST:: SOT 133232447 SOS 82416215 HAS SOPS 67247523 HAS SOUS 24361565 HAS SOUPS 23741944 WITH SCORE 2.3824360215E7
AT ITER 1659 NEW BEST:: SOT 133237143 SOS 82433835 HAS SOPS 67259105 HAS SOUS 24359932 HAS SOUPS 23740311 WITH SCORE 2.3822744835E7
AT ITER 1666 NEW BEST:: SOT 133236116 SOS 82436970 HAS SOPS 67264465 HAS SOUS 24358829 HAS SOUPS 23739208 WITH SCORE 2.382164497E7
AT ITER 1671 NEW BEST:: SOT 133273525 SOS 82500000 HAS SOPS 67332143 HAS SOUS 24355046 HAS SOUPS 23738222 WITH SCORE 2.3820722E7
AT ITER 1682 NEW BEST:: SOT 133275781 SOS 82508381 HAS SOPS 67338578 HAS SOUS 24353375 HAS SOUPS 23736551 WITH SCORE 2.3819059381E7
AT ITER 1707 NEW BEST:: SOT 133273925 SOS 82506649 HAS SOPS 67336000 HAS SOUS 24349733 HAS SOUPS 23732887 WITH SCORE 2.3815393649E7
AT ITER 1724 NEW BEST:: SOT 133245890 SOS 82459410 HAS SOPS 67317545 HAS SOUS 24326081 HAS SOUPS 23710783 WITH SCORE 2.379324241E7
AT ITER 1728 NEW BEST:: SOT 133267976 SOS 82520272 HAS SOPS 67357876 HAS SOUS 24326006 HAS SOUPS 23710708 WITH SCORE 2.3793228272E7
AT ITER 1730 NEW BEST:: SOT 133272295 SOS 82540582 HAS SOPS 67366381 HAS SOUS 24321313 HAS SOUPS 23706015 WITH SCORE 2.3788555582E7
AT ITER 1733 NEW BEST:: SOT 133262174 SOS 82523188 HAS SOPS 67342884 HAS SOUS 24301537 HAS SOUPS 23685988 WITH SCORE 2.3768511188E7
AT ITER 1739 NEW BEST:: SOT 133267508 SOS 82530022 HAS SOPS 67339174 HAS SOUS 24294744 HAS SOUPS 23679195 WITH SCORE 2.3761725022E7
AT ITER 1758 NEW BEST:: SOT 133261610 SOS 82512724 HAS SOPS 67325344 HAS SOUS 24292769 HAS SOUPS 23677220 WITH SCORE 2.3759732724E7
AT ITER 1771 NEW BEST:: SOT 133260887 SOS 82511814 HAS SOPS 67324308 HAS SOUS 24288991 HAS SOUPS 23673442 WITH SCORE 2.3755953814E7
AT ITER 1799 NEW BEST:: SOT 133257291 SOS 82508003 HAS SOPS 67318880 HAS SOUS 24278511 HAS SOUPS 23663001 WITH SCORE 2.3745509003E7
AT ITER 1822 NEW BEST:: SOT 133263983 SOS 82535655 HAS SOPS 67325392 HAS SOUS 24265337 HAS SOUPS 23649629 WITH SCORE 2.3732164655E7
AT ITER 1858 NEW BEST:: SOT 133261400 SOS 82521852 HAS SOPS 67320623 HAS SOUS 24262345 HAS SOUPS 23648730 WITH SCORE 2.3731251852E7
AT ITER 1864 NEW BEST:: SOT 133259246 SOS 82522551 HAS SOPS 67320047 HAS SOUS 24248056 HAS SOUPS 23634543 WITH SCORE 2.3717065551E7
AT ITER 1868 NEW BEST:: SOT 133253096 SOS 82512100 HAS SOPS 67309881 HAS SOUS 24241754 HAS SOUPS 23628355 WITH SCORE 2.37108671E7
AT ITER 1905 NEW BEST:: SOT 133275107 SOS 82531607 HAS SOPS 67325258 HAS SOUS 24237741 HAS SOUPS 23624754 WITH SCORE 2.3707285607E7
AT ITER 1908 NEW BEST:: SOT 133268689 SOS 82520256 HAS SOPS 67322856 HAS SOUS 24227808 HAS SOUPS 23614916 WITH SCORE 2.3697436256E7
AT ITER 1920 NEW BEST:: SOT 133268293 SOS 82519904 HAS SOPS 67322376 HAS SOUS 24226984 HAS SOUPS 23614092 WITH SCORE 2.3696611904E7
AT ITER 1932 NEW BEST:: SOT 133249866 SOS 82478520 HAS SOPS 67291863 HAS SOUS 24212369 HAS SOUPS 23599477 WITH SCORE 2.368195552E7
AT ITER 1938 NEW BEST:: SOT 133250628 SOS 82486783 HAS SOPS 67295219 HAS SOUS 24203973 HAS SOUPS 23591081 WITH SCORE 2.3673567783E7
AT ITER 1942 NEW BEST:: SOT 133231939 SOS 82438294 HAS SOPS 67263015 HAS SOUS 24197587 HAS SOUPS 23584695 WITH SCORE 2.3667133294E7
AT ITER 1950 NEW BEST:: SOT 133227436 SOS 82432622 HAS SOPS 67258353 HAS SOUS 24192708 HAS SOUPS 23579816 WITH SCORE 2.3662248622E7
AT ITER 1956 NEW BEST:: SOT 133228849 SOS 82440828 HAS SOPS 67265809 HAS SOUS 24192598 HAS SOUPS 23579706 WITH SCORE 2.3662146828E7
AT ITER 2004 NEW BEST:: SOT 133205951 SOS 82397696 HAS SOPS 67229818 HAS SOUS 24163393 HAS SOUPS 23550501 WITH SCORE 2.3632898696E7
AT ITER 2014 NEW BEST:: SOT 133206317 SOS 82402996 HAS SOPS 67238680 HAS SOUS 24162761 HAS SOUPS 23549869 WITH SCORE 2.3632271996E7
AT ITER 2027 NEW BEST:: SOT 133206462 SOS 82403197 HAS SOPS 67237748 HAS SOUS 24162561 HAS SOUPS 23549652 WITH SCORE 2.3632055197E7
AT ITER 2030 NEW BEST:: SOT 133211959 SOS 82419509 HAS SOPS 67251843 HAS SOUS 24161531 HAS SOUPS 23548622 WITH SCORE 2.3631041509E7
AT ITER 2039 NEW BEST:: SOT 133211904 SOS 82418754 HAS SOPS 67249865 HAS SOUS 24160183 HAS SOUPS 23547274 WITH SCORE 2.3629692754E7
AT ITER 2045 NEW BEST:: SOT 133192661 SOS 82383385 HAS SOPS 67224916 HAS SOUS 24135689 HAS SOUPS 23523695 WITH SCORE 2.3606078385E7
AT ITER 2057 NEW BEST:: SOT 133191135 SOS 82379832 HAS SOPS 67222662 HAS SOUS 24133278 HAS SOUPS 23521284 WITH SCORE 2.3603663832E7
AT ITER 2059 NEW BEST:: SOT 133169879 SOS 82317380 HAS SOPS 67186451 HAS SOUS 24116113 HAS SOUPS 23500626 WITH SCORE 2.358294338E7
AT ITER 2067 NEW BEST:: SOT 133169148 SOS 82316685 HAS SOPS 67184988 HAS SOUS 24114422 HAS SOUPS 23498935 WITH SCORE 2.3581251685E7
AT ITER 2095 NEW BEST:: SOT 133172479 SOS 82336903 HAS SOPS 67189115 HAS SOUS 24095059 HAS SOUPS 23479572 WITH SCORE 2.3561908903E7
AT ITER 2096 NEW BEST:: SOT 133168121 SOS 82323955 HAS SOPS 67183887 HAS SOUS 24093033 HAS SOUPS 23477630 WITH SCORE 2.3559953955E7
AT ITER 2098 NEW BEST:: SOT 133169113 SOS 82339474 HAS SOPS 67196958 HAS SOUS 24082914 HAS SOUPS 23467511 WITH SCORE 2.3549850474E7
AT ITER 2102 NEW BEST:: SOT 133169278 SOS 82334563 HAS SOPS 67193055 HAS SOUS 24082747 HAS SOUPS 23467344 WITH SCORE 2.3549678563E7
AT ITER 2108 NEW BEST:: SOT 133184001 SOS 82335856 HAS SOPS 67190230 HAS SOUS 24070575 HAS SOUPS 23455493 WITH SCORE 2.3537828856E7
AT ITER 2112 NEW BEST:: SOT 133158674 SOS 82322180 HAS SOPS 67178865 HAS SOUS 24029864 HAS SOUPS 23414300 WITH SCORE 2.349662218E7
AT ITER 2118 NEW BEST:: SOT 133159909 SOS 82353694 HAS SOPS 67198188 HAS SOUS 23950292 HAS SOUPS 23334728 WITH SCORE 2.3417081694E7
AT ITER 2130 NEW BEST:: SOT 133158185 SOS 82351313 HAS SOPS 67194295 HAS SOUS 23945150 HAS SOUPS 23329586 WITH SCORE 2.3411937313E7
AT ITER 2132 NEW BEST:: SOT 133127100 SOS 82300880 HAS SOPS 67153934 HAS SOUS 23911411 HAS SOUPS 23296301 WITH SCORE 2.337860188E7
AT ITER 2133 NEW BEST:: SOT 133143523 SOS 82391583 HAS SOPS 67221347 HAS SOUS 23909075 HAS SOUPS 23293965 WITH SCORE 2.3376356583E7
AT ITER 2138 NEW BEST:: SOT 133120165 SOS 82342978 HAS SOPS 67172349 HAS SOUS 23872949 HAS SOUPS 23257839 WITH SCORE 2.3340181978E7
AT ITER 2143 NEW BEST:: SOT 133119322 SOS 82343512 HAS SOPS 67171514 HAS SOUS 23871241 HAS SOUPS 23256131 WITH SCORE 2.3338474512E7
AT ITER 2156 NEW BEST:: SOT 133119797 SOS 82347480 HAS SOPS 67178059 HAS SOUS 23869829 HAS SOUPS 23254719 WITH SCORE 2.333706648E7
AT ITER 2171 NEW BEST:: SOT 133120819 SOS 82349985 HAS SOPS 67181104 HAS SOUS 23868890 HAS SOUPS 23253780 WITH SCORE 2.3336129985E7
AT ITER 2175 NEW BEST:: SOT 133119687 SOS 82349307 HAS SOPS 67179399 HAS SOUS 23866039 HAS SOUPS 23250901 WITH SCORE 2.3333250307E7
AT ITER 2183 NEW BEST:: SOT 133077648 SOS 82241096 HAS SOPS 67126317 HAS SOUS 23843005 HAS SOUPS 23227867 WITH SCORE 2.3310108096E7
AT ITER 2188 NEW BEST:: SOT 133075045 SOS 82234921 HAS SOPS 67121358 HAS SOUS 23840364 HAS SOUPS 23225226 WITH SCORE 2.3307460921E7
AT ITER 2189 NEW BEST:: SOT 133073678 SOS 82234535 HAS SOPS 67127305 HAS SOUS 23828875 HAS SOUPS 23213573 WITH SCORE 2.3295807535E7
AT ITER 2215 NEW BEST:: SOT 133076245 SOS 82236067 HAS SOPS 67131865 HAS SOUS 23828061 HAS SOUPS 23212842 WITH SCORE 2.3295078067E7
AT ITER 2220 NEW BEST:: SOT 133076644 SOS 82249725 HAS SOPS 67144062 HAS SOUS 23827336 HAS SOUPS 23212117 WITH SCORE 2.3294366725E7
AT ITER 2222 NEW BEST:: SOT 133084613 SOS 82270136 HAS SOPS 67196063 HAS SOUS 23812983 HAS SOUPS 23197764 WITH SCORE 2.3280034136E7
AT ITER 2228 NEW BEST:: SOT 133110519 SOS 82361328 HAS SOPS 67272796 HAS SOUS 23788113 HAS SOUPS 23172894 WITH SCORE 2.3255255328E7
AT ITER 2234 NEW BEST:: SOT 133110529 SOS 82365728 HAS SOPS 67275445 HAS SOUS 23787365 HAS SOUPS 23172146 WITH SCORE 2.3254511728E7
AT ITER 2243 NEW BEST:: SOT 133109953 SOS 82365496 HAS SOPS 67272566 HAS SOUS 23785326 HAS SOUPS 23170107 WITH SCORE 2.3252472496E7
AT ITER 2249 NEW BEST:: SOT 133104557 SOS 82359795 HAS SOPS 67266897 HAS SOUS 23773525 HAS SOUPS 23158337 WITH SCORE 2.3240696795E7
AT ITER 2252 NEW BEST:: SOT 133100312 SOS 82355307 HAS SOPS 67266334 HAS SOUS 23769586 HAS SOUPS 23154398 WITH SCORE 2.3236753307E7
AT ITER 2270 NEW BEST:: SOT 133101723 SOS 82358449 HAS SOPS 67267485 HAS SOUS 23768622 HAS SOUPS 23153434 WITH SCORE 2.3235792449E7
AT ITER 2281 NEW BEST:: SOT 133079176 SOS 82316111 HAS SOPS 67235801 HAS SOUS 23747387 HAS SOUPS 23132376 WITH SCORE 2.3214692111E7
AT ITER 2286 NEW BEST:: SOT 133080437 SOS 82319774 HAS SOPS 67239478 HAS SOUS 23743939 HAS SOUPS 23128928 WITH SCORE 2.3211247774E7
AT ITER 2288 NEW BEST:: SOT 133078584 SOS 82317645 HAS SOPS 67236867 HAS SOUS 23739162 HAS SOUPS 23124151 WITH SCORE 2.3206468645E7
AT ITER 2306 NEW BEST:: SOT 133077336 SOS 82316513 HAS SOPS 67235703 HAS SOUS 23736218 HAS SOUPS 23121207 WITH SCORE 2.3203523513E7
AT ITER 2315 NEW BEST:: SOT 133037956 SOS 82263351 HAS SOPS 67181549 HAS SOUS 23680898 HAS SOUPS 23065743 WITH SCORE 2.3148006351E7
AT ITER 2317 NEW BEST:: SOT 133036313 SOS 82261782 HAS SOPS 67180620 HAS SOUS 23678503 HAS SOUPS 23063348 WITH SCORE 2.3145609782E7
AT ITER 2319 NEW BEST:: SOT 133036422 SOS 82261537 HAS SOPS 67180475 HAS SOUS 23677681 HAS SOUPS 23062526 WITH SCORE 2.3144787537E7
AT ITER 2326 NEW BEST:: SOT 133020149 SOS 82244549 HAS SOPS 67159593 HAS SOUS 23653823 HAS SOUPS 23037725 WITH SCORE 2.3119969549E7
AT ITER 2348 NEW BEST:: SOT 133022165 SOS 82257069 HAS SOPS 67176806 HAS SOUS 23633477 HAS SOUPS 23017379 WITH SCORE 2.3099636069E7
AT ITER 2366 NEW BEST:: SOT 133027661 SOS 82276640 HAS SOPS 67189554 HAS SOUS 23619985 HAS SOUPS 23003887 WITH SCORE 2.308616364E7
AT ITER 2368 NEW BEST:: SOT 133024582 SOS 82274039 HAS SOPS 67185394 HAS SOUS 23613908 HAS SOUPS 22997810 WITH SCORE 2.3080084039E7
AT ITER 2370 NEW BEST:: SOT 133012565 SOS 82255853 HAS SOPS 67170333 HAS SOUS 23589589 HAS SOUPS 22973491 WITH SCORE 2.3055746853E7
AT ITER 2373 NEW BEST:: SOT 133012529 SOS 82255712 HAS SOPS 67170118 HAS SOUS 23589531 HAS SOUPS 22973433 WITH SCORE 2.3055688712E7
AT ITER 2397 NEW BEST:: SOT 133012731 SOS 82257429 HAS SOPS 67171640 HAS SOUS 23589289 HAS SOUPS 22973191 WITH SCORE 2.3055448429E7
AT ITER 2404 NEW BEST:: SOT 133013180 SOS 82256342 HAS SOPS 67150817 HAS SOUS 23565274 HAS SOUPS 22949176 WITH SCORE 2.3031432342E7
AT ITER 2425 NEW BEST:: SOT 133011881 SOS 82255589 HAS SOPS 67149594 HAS SOUS 23562043 HAS SOUPS 22945945 WITH SCORE 2.3028200589E7
AT ITER 2426 NEW BEST:: SOT 133008121 SOS 82251475 HAS SOPS 67144978 HAS SOUS 23555155 HAS SOUPS 22939040 WITH SCORE 2.3021291475E7
AT ITER 2445 NEW BEST:: SOT 132870215 SOS 82011451 HAS SOPS 66920544 HAS SOUS 23499154 HAS SOUPS 22883039 WITH SCORE 2.2965050451E7
AT ITER 2446 NEW BEST:: SOT 132870134 SOS 82011276 HAS SOPS 66920864 HAS SOUS 23498904 HAS SOUPS 22882789 WITH SCORE 2.2964800276E7
AT ITER 2468 NEW BEST:: SOT 132870074 SOS 82011376 HAS SOPS 66920718 HAS SOUS 23498834 HAS SOUPS 22882719 WITH SCORE 2.2964730376E7
AT ITER 2500 NEW BEST:: SOT 132874889 SOS 82049303 HAS SOPS 66956815 HAS SOUS 23492608 HAS SOUPS 22876493 WITH SCORE 2.2958542303E7
AT ITER 2502 NEW BEST:: SOT 132886083 SOS 82112528 HAS SOPS 67018690 HAS SOUS 23482444 HAS SOUPS 22866329 WITH SCORE 2.2948441528E7
AT ITER 2503 NEW BEST:: SOT 132891223 SOS 82130085 HAS SOPS 67025701 HAS SOUS 23475427 HAS SOUPS 22859312 WITH SCORE 2.2941442085E7
AT ITER 2515 NEW BEST:: SOT 132852635 SOS 82092299 HAS SOPS 66985919 HAS SOUS 23421334 HAS SOUPS 22805224 WITH SCORE 2.2887316299E7
AT ITER 2530 NEW BEST:: SOT 132851271 SOS 82090619 HAS SOPS 66982831 HAS SOUS 23417492 HAS SOUPS 22801382 WITH SCORE 2.2883472619E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15414036 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16074520 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="RERS17pb114-PT-9"
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 RERS17pb114-PT-9, 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-167889194300144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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