Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502400107.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb114-PT-5, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502400107
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 10 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 9 20:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 20:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 73M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-00
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-01
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-02
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-03
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-04
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-05
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-06
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-07
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-08
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-09
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-10
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-11
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-12
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-13
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-14
FORMULA_NAME RERS17pb114-PT-5-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589715474967

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 5
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
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 2 NEW BEST:: SOT 133632435 SOS 82150194 HAS SOPS 66716993 HAS SOUS 26434432 HAS SOUPS 25803741 WITH SCORE 2.5885891194E7
AT ITER 24 NEW BEST:: SOT 133630493 SOS 82150331 HAS SOPS 66714136 HAS SOUS 26426703 HAS SOUPS 25796012 WITH SCORE 2.5878162331E7
AT ITER 41 NEW BEST:: SOT 133596939 SOS 82096419 HAS SOPS 66671391 HAS SOUS 26396773 HAS SOUPS 25766082 WITH SCORE 2.5848178419E7
AT ITER 43 NEW BEST:: SOT 133593798 SOS 82092406 HAS SOPS 66672282 HAS SOUS 26391206 HAS SOUPS 25760515 WITH SCORE 2.5842607406E7
AT ITER 44 NEW BEST:: SOT 133577683 SOS 82048852 HAS SOPS 66638559 HAS SOUS 26384437 HAS SOUPS 25753746 WITH SCORE 2.5835794852E7
AT ITER 56 NEW BEST:: SOT 133566088 SOS 82025889 HAS SOPS 66619127 HAS SOUS 26371767 HAS SOUPS 25741076 WITH SCORE 2.5823101889E7
AT ITER 58 NEW BEST:: SOT 133637857 SOS 82164382 HAS SOPS 66760211 HAS SOUS 26361053 HAS SOUPS 25731356 WITH SCORE 2.5813520382E7
AT ITER 69 NEW BEST:: SOT 133637827 SOS 82164334 HAS SOPS 66760230 HAS SOUS 26361010 HAS SOUPS 25731313 WITH SCORE 2.5813477334E7
AT ITER 72 NEW BEST:: SOT 133638621 SOS 82166258 HAS SOPS 66761451 HAS SOUS 26360994 HAS SOUPS 25731297 WITH SCORE 2.5813463258E7
AT ITER 73 NEW BEST:: SOT 133638054 SOS 82164662 HAS SOPS 66760520 HAS SOUS 26360568 HAS SOUPS 25730871 WITH SCORE 2.5813035662E7
AT ITER 79 NEW BEST:: SOT 133636021 SOS 82169380 HAS SOPS 66760320 HAS SOUS 26355059 HAS SOUPS 25725362 WITH SCORE 2.580753138E7
AT ITER 81 NEW BEST:: SOT 133634016 SOS 82164107 HAS SOPS 66756703 HAS SOUS 26354443 HAS SOUPS 25724746 WITH SCORE 2.5806910107E7
AT ITER 83 NEW BEST:: SOT 133618846 SOS 82145703 HAS SOPS 66733311 HAS SOUS 26315688 HAS SOUPS 25685991 WITH SCORE 2.5768136703E7
AT ITER 95 NEW BEST:: SOT 133608363 SOS 82133167 HAS SOPS 66720039 HAS SOUS 26305160 HAS SOUPS 25675457 WITH SCORE 2.5757590167E7
AT ITER 116 NEW BEST:: SOT 133608225 SOS 82133029 HAS SOPS 66719901 HAS SOUS 26304878 HAS SOUPS 25675175 WITH SCORE 2.5757308029E7
AT ITER 122 NEW BEST:: SOT 133612617 SOS 82137409 HAS SOPS 66726054 HAS SOUS 26304362 HAS SOUPS 25674769 WITH SCORE 2.5756906409E7
AT ITER 151 NEW BEST:: SOT 133603757 SOS 82096285 HAS SOPS 66703780 HAS SOUS 26299247 HAS SOUPS 25670945 WITH SCORE 2.5753041285E7
AT ITER 170 NEW BEST:: SOT 133607138 SOS 82109651 HAS SOPS 66726304 HAS SOUS 26287448 HAS SOUPS 25659146 WITH SCORE 2.5741255651E7
AT ITER 173 NEW BEST:: SOT 133607726 SOS 82114621 HAS SOPS 66731571 HAS SOUS 26286746 HAS SOUPS 25658444 WITH SCORE 2.5740558621E7
AT ITER 174 NEW BEST:: SOT 133607693 SOS 82130242 HAS SOPS 66743813 HAS SOUS 26275087 HAS SOUPS 25646785 WITH SCORE 2.5728915242E7
AT ITER 189 NEW BEST:: SOT 133600933 SOS 82116197 HAS SOPS 66732518 HAS SOUS 26271018 HAS SOUPS 25642716 WITH SCORE 2.5724832197E7
AT ITER 194 NEW BEST:: SOT 133617873 SOS 82178304 HAS SOPS 66785820 HAS SOUS 26263817 HAS SOUPS 25635515 WITH SCORE 2.5717693304E7
AT ITER 196 NEW BEST:: SOT 133617037 SOS 82177420 HAS SOPS 66784808 HAS SOUS 26261869 HAS SOUPS 25633567 WITH SCORE 2.571574442E7
AT ITER 200 NEW BEST:: SOT 133616658 SOS 82177126 HAS SOPS 66784168 HAS SOUS 26261169 HAS SOUPS 25632857 WITH SCORE 2.5715034126E7
AT ITER 214 NEW BEST:: SOT 133633297 SOS 82203294 HAS SOPS 66811417 HAS SOUS 26255738 HAS SOUPS 25627426 WITH SCORE 2.5709629294E7
AT ITER 228 NEW BEST:: SOT 133620265 SOS 82178882 HAS SOPS 66790923 HAS SOUS 26241031 HAS SOUPS 25616499 WITH SCORE 2.5698677882E7
AT ITER 254 NEW BEST:: SOT 133625352 SOS 82190429 HAS SOPS 66802141 HAS SOUS 26240929 HAS SOUPS 25616397 WITH SCORE 2.5698587429E7
AT ITER 279 NEW BEST:: SOT 133628162 SOS 82192818 HAS SOPS 66808798 HAS SOUS 26234194 HAS SOUPS 25610798 WITH SCORE 2.5692990818E7
AT ITER 282 NEW BEST:: SOT 133628788 SOS 82195875 HAS SOPS 66820811 HAS SOUS 26225819 HAS SOUPS 25602347 WITH SCORE 2.5684542875E7
AT ITER 300 NEW BEST:: SOT 133628182 SOS 82194669 HAS SOPS 66820037 HAS SOUS 26225788 HAS SOUPS 25602316 WITH SCORE 2.5684510669E7
AT ITER 303 NEW BEST:: SOT 133626422 SOS 82193129 HAS SOPS 66818857 HAS SOUS 26224416 HAS SOUPS 25600944 WITH SCORE 2.5683137129E7
AT ITER 309 NEW BEST:: SOT 133625058 SOS 82191667 HAS SOPS 66816859 HAS SOUS 26221075 HAS SOUPS 25597639 WITH SCORE 2.5679830667E7
AT ITER 324 NEW BEST:: SOT 133624986 SOS 82192072 HAS SOPS 66820958 HAS SOUS 26220666 HAS SOUPS 25597230 WITH SCORE 2.5679422072E7
AT ITER 337 NEW BEST:: SOT 133658483 SOS 82285427 HAS SOPS 66905169 HAS SOUS 26182115 HAS SOUPS 25558679 WITH SCORE 2.5640964427E7
AT ITER 344 NEW BEST:: SOT 133657694 SOS 82284134 HAS SOPS 66904351 HAS SOUS 26180916 HAS SOUPS 25557487 WITH SCORE 2.5639771134E7
AT ITER 351 NEW BEST:: SOT 133662480 SOS 82284306 HAS SOPS 66894960 HAS SOUS 26178480 HAS SOUPS 25555140 WITH SCORE 2.5637424306E7
AT ITER 353 NEW BEST:: SOT 133626943 SOS 82219564 HAS SOPS 66853909 HAS SOUS 26119523 HAS SOUPS 25497272 WITH SCORE 2.5579491564E7
AT ITER 371 NEW BEST:: SOT 133625955 SOS 82218836 HAS SOPS 66852781 HAS SOUS 26117214 HAS SOUPS 25494963 WITH SCORE 2.5577181836E7
AT ITER 374 NEW BEST:: SOT 133627128 SOS 82227887 HAS SOPS 66858487 HAS SOUS 26103249 HAS SOUPS 25481131 WITH SCORE 2.5563358887E7
AT ITER 375 NEW BEST:: SOT 133627128 SOS 82227903 HAS SOPS 66858503 HAS SOUS 26103248 HAS SOUPS 25481130 WITH SCORE 2.5563357903E7
AT ITER 389 NEW BEST:: SOT 133617023 SOS 82215770 HAS SOPS 66852008 HAS SOUS 26096792 HAS SOUPS 25474674 WITH SCORE 2.555688977E7
AT ITER 399 NEW BEST:: SOT 133623693 SOS 82250124 HAS SOPS 66875517 HAS SOUS 26081562 HAS SOUPS 25459444 WITH SCORE 2.5541694124E7
AT ITER 402 NEW BEST:: SOT 133620997 SOS 82254400 HAS SOPS 66880543 HAS SOUS 26075842 HAS SOUPS 25453621 WITH SCORE 2.55358754E7
AT ITER 409 NEW BEST:: SOT 133599732 SOS 82201350 HAS SOPS 66841682 HAS SOUS 26074437 HAS SOUPS 25452295 WITH SCORE 2.553449635E7
AT ITER 410 NEW BEST:: SOT 133591402 SOS 82187252 HAS SOPS 66830018 HAS SOUS 26067277 HAS SOUPS 25445135 WITH SCORE 2.5527322252E7
AT ITER 411 NEW BEST:: SOT 133589174 SOS 82184322 HAS SOPS 66827265 HAS SOUS 26062691 HAS SOUPS 25440549 WITH SCORE 2.5522733322E7
AT ITER 420 NEW BEST:: SOT 133587648 SOS 82183160 HAS SOPS 66828164 HAS SOUS 26059605 HAS SOUPS 25437463 WITH SCORE 2.551964616E7
AT ITER 421 NEW BEST:: SOT 133588246 SOS 82183758 HAS SOPS 66828762 HAS SOUS 26059051 HAS SOUPS 25436909 WITH SCORE 2.5519092758E7
AT ITER 433 NEW BEST:: SOT 133586298 SOS 82186231 HAS SOPS 66831593 HAS SOUS 26050664 HAS SOUPS 25428522 WITH SCORE 2.5510708231E7
AT ITER 437 NEW BEST:: SOT 133594881 SOS 82212494 HAS SOPS 66880256 HAS SOUS 26049299 HAS SOUPS 25427157 WITH SCORE 2.5509369494E7
AT ITER 444 NEW BEST:: SOT 133594993 SOS 82212958 HAS SOPS 66880068 HAS SOUS 26048811 HAS SOUPS 25426669 WITH SCORE 2.5508881958E7
AT ITER 450 NEW BEST:: SOT 133592139 SOS 82210023 HAS SOPS 66875566 HAS SOUS 26041678 HAS SOUPS 25419536 WITH SCORE 2.5501746023E7
AT ITER 484 NEW BEST:: SOT 133553213 SOS 82170979 HAS SOPS 66836460 HAS SOUS 26000775 HAS SOUPS 25378633 WITH SCORE 2.5460803979E7
AT ITER 505 NEW BEST:: SOT 133539267 SOS 82149693 HAS SOPS 66814315 HAS SOUS 25978084 HAS SOUPS 25355942 WITH SCORE 2.5438091693E7
AT ITER 517 NEW BEST:: SOT 133538625 SOS 82148934 HAS SOPS 66813539 HAS SOUS 25977484 HAS SOUPS 25355240 WITH SCORE 2.5437388934E7
AT ITER 531 NEW BEST:: SOT 133559744 SOS 82177807 HAS SOPS 66865699 HAS SOUS 25962692 HAS SOUPS 25340499 WITH SCORE 2.5422676807E7
AT ITER 533 NEW BEST:: SOT 133555990 SOS 82187012 HAS SOPS 66882243 HAS SOUS 25949093 HAS SOUPS 25326900 WITH SCORE 2.5409087012E7
AT ITER 544 NEW BEST:: SOT 133567149 SOS 82255267 HAS SOPS 66932740 HAS SOUS 25935368 HAS SOUPS 25313175 WITH SCORE 2.5395430267E7
AT ITER 545 NEW BEST:: SOT 133567068 SOS 82255257 HAS SOPS 66932642 HAS SOUS 25935102 HAS SOUPS 25312909 WITH SCORE 2.5395164257E7
AT ITER 563 NEW BEST:: SOT 133563402 SOS 82249905 HAS SOPS 66928397 HAS SOUS 25931819 HAS SOUPS 25309657 WITH SCORE 2.5391906905E7
AT ITER 574 NEW BEST:: SOT 133565904 SOS 82267535 HAS SOPS 66951605 HAS SOUS 25913174 HAS SOUPS 25291012 WITH SCORE 2.5373279535E7
AT ITER 588 NEW BEST:: SOT 133563094 SOS 82264145 HAS SOPS 66949193 HAS SOUS 25907892 HAS SOUPS 25285822 WITH SCORE 2.5368086145E7
AT ITER 594 NEW BEST:: SOT 133567203 SOS 82271040 HAS SOPS 66948351 HAS SOUS 25903564 HAS SOUPS 25281400 WITH SCORE 2.536367104E7
AT ITER 615 NEW BEST:: SOT 133570836 SOS 82286006 HAS SOPS 66961211 HAS SOUS 25902776 HAS SOUPS 25280612 WITH SCORE 2.5362898006E7
AT ITER 640 NEW BEST:: SOT 133578101 SOS 82313764 HAS SOPS 66997156 HAS SOUS 25901419 HAS SOUPS 25279255 WITH SCORE 2.5361568764E7
AT ITER 645 NEW BEST:: SOT 133589009 SOS 82345290 HAS SOPS 67019841 HAS SOUS 25889928 HAS SOUPS 25267764 WITH SCORE 2.535010929E7
AT ITER 658 NEW BEST:: SOT 133584151 SOS 82340432 HAS SOPS 67014919 HAS SOUS 25884942 HAS SOUPS 25262778 WITH SCORE 2.5345118432E7
AT ITER 663 NEW BEST:: SOT 133589318 SOS 82360521 HAS SOPS 67033230 HAS SOUS 25880205 HAS SOUPS 25258041 WITH SCORE 2.5340401521E7
AT ITER 664 NEW BEST:: SOT 133594505 SOS 82377611 HAS SOPS 67044571 HAS SOUS 25878229 HAS SOUPS 25256065 WITH SCORE 2.5338442611E7
AT ITER 678 NEW BEST:: SOT 133589218 SOS 82370261 HAS SOPS 67036209 HAS SOUS 25876246 HAS SOUPS 25254082 WITH SCORE 2.5336452261E7
AT ITER 686 NEW BEST:: SOT 133573137 SOS 82353976 HAS SOPS 67019091 HAS SOUS 25855597 HAS SOUPS 25233155 WITH SCORE 2.5315508976E7
AT ITER 694 NEW BEST:: SOT 133572627 SOS 82354352 HAS SOPS 67019045 HAS SOUS 25854201 HAS SOUPS 25231759 WITH SCORE 2.5314113352E7
AT ITER 699 NEW BEST:: SOT 133580619 SOS 82362018 HAS SOPS 67018043 HAS SOUS 25846391 HAS SOUPS 25224116 WITH SCORE 2.5306478018E7
AT ITER 725 NEW BEST:: SOT 133590682 SOS 82421862 HAS SOPS 67077219 HAS SOUS 25835718 HAS SOUPS 25213443 WITH SCORE 2.5295864862E7
AT ITER 728 NEW BEST:: SOT 133562100 SOS 82370587 HAS SOPS 67035129 HAS SOUS 25817559 HAS SOUPS 25195284 WITH SCORE 2.5277654587E7
AT ITER 730 NEW BEST:: SOT 133494183 SOS 82279517 HAS SOPS 66962461 HAS SOUS 25811728 HAS SOUPS 25189736 WITH SCORE 2.5272015517E7
AT ITER 751 NEW BEST:: SOT 133520160 SOS 82335783 HAS SOPS 67008984 HAS SOUS 25806796 HAS SOUPS 25184780 WITH SCORE 2.5267115783E7
AT ITER 753 NEW BEST:: SOT 133514856 SOS 82331819 HAS SOPS 66989154 HAS SOUS 25806309 HAS SOUPS 25184141 WITH SCORE 2.5266472819E7
AT ITER 761 NEW BEST:: SOT 133521180 SOS 82339462 HAS SOPS 66996074 HAS SOUS 25799158 HAS SOUPS 25176833 WITH SCORE 2.5259172462E7
AT ITER 762 NEW BEST:: SOT 133519956 SOS 82337080 HAS SOPS 66995815 HAS SOUS 25793829 HAS SOUPS 25171504 WITH SCORE 2.525384108E7
AT ITER 775 NEW BEST:: SOT 133506123 SOS 82314409 HAS SOPS 66970961 HAS SOUS 25766896 HAS SOUPS 25144717 WITH SCORE 2.5227031409E7
AT ITER 779 NEW BEST:: SOT 133523292 SOS 82395313 HAS SOPS 67060385 HAS SOUS 25703106 HAS SOUPS 25080927 WITH SCORE 2.5163322313E7
AT ITER 787 NEW BEST:: SOT 133532930 SOS 82407183 HAS SOPS 67068963 HAS SOUS 25701840 HAS SOUPS 25079661 WITH SCORE 2.5162068183E7
AT ITER 798 NEW BEST:: SOT 133532300 SOS 82409410 HAS SOPS 67063728 HAS SOUS 25687521 HAS SOUPS 25065342 WITH SCORE 2.514775141E7
AT ITER 813 NEW BEST:: SOT 133567479 SOS 82491304 HAS SOPS 67128515 HAS SOUS 25685083 HAS SOUPS 25062890 WITH SCORE 2.5145381304E7
AT ITER 818 NEW BEST:: SOT 133539571 SOS 82425968 HAS SOPS 67100097 HAS SOUS 25658986 HAS SOUPS 25037149 WITH SCORE 2.5119574968E7
AT ITER 833 NEW BEST:: SOT 133538583 SOS 82424155 HAS SOPS 67098264 HAS SOUS 25657876 HAS SOUPS 25036039 WITH SCORE 2.5118463155E7
AT ITER 843 NEW BEST:: SOT 133527674 SOS 82390307 HAS SOPS 67071784 HAS SOUS 25653195 HAS SOUPS 25031358 WITH SCORE 2.5113748307E7
AT ITER 849 NEW BEST:: SOT 133533323 SOS 82405954 HAS SOPS 67084791 HAS SOUS 25645827 HAS SOUPS 25023881 WITH SCORE 2.5106286954E7
AT ITER 858 NEW BEST:: SOT 133531541 SOS 82395843 HAS SOPS 67082781 HAS SOUS 25641760 HAS SOUPS 25019814 WITH SCORE 2.5102209843E7
AT ITER 892 NEW BEST:: SOT 133526497 SOS 82386936 HAS SOPS 67074620 HAS SOUS 25640201 HAS SOUPS 25018309 WITH SCORE 2.5100695936E7
AT ITER 906 NEW BEST:: SOT 133522607 SOS 82378440 HAS SOPS 67067902 HAS SOUS 25634560 HAS SOUPS 25012669 WITH SCORE 2.509504744E7
AT ITER 918 NEW BEST:: SOT 133465185 SOS 82321018 HAS SOPS 67010480 HAS SOUS 25538226 HAS SOUPS 24916335 WITH SCORE 2.4998656018E7
AT ITER 936 NEW BEST:: SOT 133487376 SOS 82343556 HAS SOPS 67017934 HAS SOUS 25536672 HAS SOUPS 24914874 WITH SCORE 2.4997217556E7
AT ITER 940 NEW BEST:: SOT 133475030 SOS 82321463 HAS SOPS 67001622 HAS SOUS 25528984 HAS SOUPS 24907186 WITH SCORE 2.4989507463E7
AT ITER 950 NEW BEST:: SOT 133474856 SOS 82321277 HAS SOPS 67001445 HAS SOUS 25528495 HAS SOUPS 24906694 WITH SCORE 2.4989015277E7
AT ITER 962 NEW BEST:: SOT 133471508 SOS 82315529 HAS SOPS 66996873 HAS SOUS 25525203 HAS SOUPS 24903754 WITH SCORE 2.4986069529E7
AT ITER 977 NEW BEST:: SOT 133476658 SOS 82328420 HAS SOPS 67008032 HAS SOUS 25508115 HAS SOUPS 24886550 WITH SCORE 2.496887842E7
AT ITER 982 NEW BEST:: SOT 133476936 SOS 82335243 HAS SOPS 67008155 HAS SOUS 25498662 HAS SOUPS 24877097 WITH SCORE 2.4959432243E7
AT ITER 986 NEW BEST:: SOT 133433259 SOS 82253869 HAS SOPS 66980887 HAS SOUS 25461844 HAS SOUPS 24842028 WITH SCORE 2.4924281869E7
AT ITER 989 NEW BEST:: SOT 133432691 SOS 82251903 HAS SOPS 66979584 HAS SOUS 25461712 HAS SOUPS 24841896 WITH SCORE 2.4924147903E7
AT ITER 992 NEW BEST:: SOT 133456467 SOS 82275829 HAS SOPS 67013621 HAS SOUS 25452699 HAS SOUPS 24832946 WITH SCORE 2.4915221829E7
AT ITER 1009 NEW BEST:: SOT 133455959 SOS 82275392 HAS SOPS 67014077 HAS SOUS 25450610 HAS SOUPS 24830857 WITH SCORE 2.4913132392E7
AT ITER 1013 NEW BEST:: SOT 133455881 SOS 82275325 HAS SOPS 67013943 HAS SOUS 25450442 HAS SOUPS 24830689 WITH SCORE 2.4912964325E7
AT ITER 1022 NEW BEST:: SOT 133445340 SOS 82257257 HAS SOPS 66989049 HAS SOUS 25423503 HAS SOUPS 24803750 WITH SCORE 2.4886007257E7
AT ITER 1027 NEW BEST:: SOT 133419705 SOS 82231496 HAS SOPS 66963372 HAS SOUS 25386744 HAS SOUPS 24767065 WITH SCORE 2.4849296496E7
AT ITER 1028 NEW BEST:: SOT 133421489 SOS 82248363 HAS SOPS 66976695 HAS SOUS 25383278 HAS SOUPS 24763599 WITH SCORE 2.4845847363E7
AT ITER 1036 NEW BEST:: SOT 133425771 SOS 82263331 HAS SOPS 66986434 HAS SOUS 25382054 HAS SOUPS 24762375 WITH SCORE 2.4844638331E7
AT ITER 1065 NEW BEST:: SOT 133424238 SOS 82260163 HAS SOPS 66982482 HAS SOUS 25381590 HAS SOUPS 24761911 WITH SCORE 2.4844171163E7
AT ITER 1077 NEW BEST:: SOT 133427405 SOS 82238779 HAS SOPS 66980972 HAS SOUS 25376503 HAS SOUPS 24756824 WITH SCORE 2.4839062779E7
AT ITER 1082 NEW BEST:: SOT 133426146 SOS 82237510 HAS SOPS 66980469 HAS SOUS 25373959 HAS SOUPS 24754280 WITH SCORE 2.483651751E7
AT ITER 1100 NEW BEST:: SOT 133422332 SOS 82233447 HAS SOPS 66974721 HAS SOUS 25365310 HAS SOUPS 24745645 WITH SCORE 2.4827878447E7
AT ITER 1101 NEW BEST:: SOT 133421043 SOS 82230403 HAS SOPS 66971633 HAS SOUS 25364823 HAS SOUPS 24745158 WITH SCORE 2.4827388403E7
AT ITER 1111 NEW BEST:: SOT 133423781 SOS 82241172 HAS SOPS 66978355 HAS SOUS 25351322 HAS SOUPS 24731657 WITH SCORE 2.4813898172E7
AT ITER 1129 NEW BEST:: SOT 133402995 SOS 82210882 HAS SOPS 66953801 HAS SOUS 25328887 HAS SOUPS 24709281 WITH SCORE 2.4791491882E7
AT ITER 1166 NEW BEST:: SOT 133402906 SOS 82210995 HAS SOPS 66953933 HAS SOUS 25328381 HAS SOUPS 24708775 WITH SCORE 2.4790985995E7
AT ITER 1170 NEW BEST:: SOT 133416717 SOS 82268285 HAS SOPS 67010324 HAS SOUS 25325714 HAS SOUPS 24706108 WITH SCORE 2.4788376285E7
AT ITER 1187 NEW BEST:: SOT 133416658 SOS 82268428 HAS SOPS 67010558 HAS SOUS 25325575 HAS SOUPS 24705969 WITH SCORE 2.4788237428E7
AT ITER 1196 NEW BEST:: SOT 133416358 SOS 82270741 HAS SOPS 67000779 HAS SOUS 25309371 HAS SOUPS 24689765 WITH SCORE 2.4772035741E7
AT ITER 1198 NEW BEST:: SOT 133438558 SOS 82357078 HAS SOPS 67087223 HAS SOUS 25296774 HAS SOUPS 24677168 WITH SCORE 2.4759525078E7
AT ITER 1203 NEW BEST:: SOT 133359940 SOS 82278382 HAS SOPS 67008439 HAS SOUS 25217976 HAS SOUPS 24598370 WITH SCORE 2.4680648382E7
AT ITER 1205 NEW BEST:: SOT 133344791 SOS 82253979 HAS SOPS 66985660 HAS SOUS 25199093 HAS SOUPS 24579487 WITH SCORE 2.4661740979E7
AT ITER 1208 NEW BEST:: SOT 133340557 SOS 82248806 HAS SOPS 66978168 HAS SOUS 25186761 HAS SOUPS 24568403 WITH SCORE 2.4650651806E7
AT ITER 1212 NEW BEST:: SOT 133329902 SOS 82232055 HAS SOPS 66967326 HAS SOUS 25174173 HAS SOUPS 24555815 WITH SCORE 2.4638047055E7
AT ITER 1215 NEW BEST:: SOT 133333506 SOS 82240792 HAS SOPS 66972328 HAS SOUS 25173066 HAS SOUPS 24554708 WITH SCORE 2.4636948792E7
AT ITER 1236 NEW BEST:: SOT 133333182 SOS 82239988 HAS SOPS 66971596 HAS SOUS 25172844 HAS SOUPS 24554486 WITH SCORE 2.4636725988E7
AT ITER 1254 NEW BEST:: SOT 133332182 SOS 82235878 HAS SOPS 66964302 HAS SOUS 25170147 HAS SOUPS 24551789 WITH SCORE 2.4634024878E7
AT ITER 1274 NEW BEST:: SOT 133330999 SOS 82234655 HAS SOPS 66963099 HAS SOUS 25166904 HAS SOUPS 24548876 WITH SCORE 2.4631110655E7
AT ITER 1281 NEW BEST:: SOT 133303540 SOS 82158156 HAS SOPS 66922143 HAS SOUS 25142869 HAS SOUPS 24524841 WITH SCORE 2.4606999156E7
AT ITER 1290 NEW BEST:: SOT 133294730 SOS 82147652 HAS SOPS 66905861 HAS SOUS 25108604 HAS SOUPS 24490702 WITH SCORE 2.4572849652E7
AT ITER 1298 NEW BEST:: SOT 133304538 SOS 82182664 HAS SOPS 66933007 HAS SOUS 25095467 HAS SOUPS 24477565 WITH SCORE 2.4559747664E7
AT ITER 1307 NEW BEST:: SOT 133305537 SOS 82191530 HAS SOPS 66946001 HAS SOUS 25084962 HAS SOUPS 24467060 WITH SCORE 2.454925153E7
AT ITER 1308 NEW BEST:: SOT 133269259 SOS 82155181 HAS SOPS 66909652 HAS SOUS 25032773 HAS SOUPS 24414871 WITH SCORE 2.4497026181E7
AT ITER 1309 NEW BEST:: SOT 133268485 SOS 82154362 HAS SOPS 66908455 HAS SOUS 25031045 HAS SOUPS 24413143 WITH SCORE 2.4495297362E7
AT ITER 1316 NEW BEST:: SOT 133203653 SOS 82045649 HAS SOPS 66835710 HAS SOUS 24983837 HAS SOUPS 24366386 WITH SCORE 2.4448431649E7
AT ITER 1319 NEW BEST:: SOT 133171398 SOS 81995184 HAS SOPS 66794209 HAS SOUS 24948851 HAS SOUPS 24331400 WITH SCORE 2.4413395184E7
AT ITER 1322 NEW BEST:: SOT 133152479 SOS 81976127 HAS SOPS 66772224 HAS SOUS 24917510 HAS SOUPS 24300059 WITH SCORE 2.4382035127E7
AT ITER 1340 NEW BEST:: SOT 133136251 SOS 81959275 HAS SOPS 66750059 HAS SOUS 24886443 HAS SOUPS 24269155 WITH SCORE 2.4351114275E7
AT ITER 1379 NEW BEST:: SOT 133136773 SOS 81959867 HAS SOPS 66751023 HAS SOUS 24885331 HAS SOUPS 24268405 WITH SCORE 2.4350364867E7
AT ITER 1381 NEW BEST:: SOT 133042575 SOS 81787186 HAS SOPS 66587886 HAS SOUS 24763730 HAS SOUPS 24147174 WITH SCORE 2.4228961186E7
AT ITER 1382 NEW BEST:: SOT 133033935 SOS 81777561 HAS SOPS 66578628 HAS SOUS 24748543 HAS SOUPS 24132436 WITH SCORE 2.4214213561E7
AT ITER 1383 NEW BEST:: SOT 133028952 SOS 81765252 HAS SOPS 66566538 HAS SOUS 24742336 HAS SOUPS 24126229 WITH SCORE 2.4207994252E7
AT ITER 1395 NEW BEST:: SOT 133020106 SOS 81747936 HAS SOPS 66549942 HAS SOUS 24728381 HAS SOUPS 24112274 WITH SCORE 2.4194021936E7
AT ITER 1410 NEW BEST:: SOT 133020942 SOS 81754373 HAS SOPS 66553364 HAS SOUS 24720213 HAS SOUPS 24104106 WITH SCORE 2.4185860373E7
AT ITER 1412 NEW BEST:: SOT 133021450 SOS 81755603 HAS SOPS 66553277 HAS SOUS 24719133 HAS SOUPS 24103010 WITH SCORE 2.4184765603E7
AT ITER 1430 NEW BEST:: SOT 133027270 SOS 81775924 HAS SOPS 66580079 HAS SOUS 24712788 HAS SOUPS 24096665 WITH SCORE 2.4178440924E7
AT ITER 1440 NEW BEST:: SOT 133025649 SOS 81773989 HAS SOPS 66578237 HAS SOUS 24707641 HAS SOUPS 24091569 WITH SCORE 2.4173342989E7
AT ITER 1441 NEW BEST:: SOT 133041169 SOS 81848363 HAS SOPS 66659332 HAS SOUS 24697333 HAS SOUPS 24081261 WITH SCORE 2.4163109363E7
AT ITER 1448 NEW BEST:: SOT 133045810 SOS 81868670 HAS SOPS 66672512 HAS SOUS 24692450 HAS SOUPS 24076378 WITH SCORE 2.415824667E7
AT ITER 1449 NEW BEST:: SOT 133024983 SOS 81846879 HAS SOPS 66646504 HAS SOUS 24659092 HAS SOUPS 24042913 WITH SCORE 2.4124759879E7
AT ITER 1452 NEW BEST:: SOT 133028734 SOS 81855982 HAS SOPS 66653980 HAS SOUS 24653969 HAS SOUPS 24037790 WITH SCORE 2.4119645982E7
AT ITER 1457 NEW BEST:: SOT 133063637 SOS 81945216 HAS SOPS 66716752 HAS SOUS 24637440 HAS SOUPS 24021261 WITH SCORE 2.4103206216E7
AT ITER 1472 NEW BEST:: SOT 133067875 SOS 81985397 HAS SOPS 66750175 HAS SOUS 24620642 HAS SOUPS 24004463 WITH SCORE 2.4086448397E7
AT ITER 1478 NEW BEST:: SOT 133004763 SOS 81857954 HAS SOPS 66692791 HAS SOUS 24597935 HAS SOUPS 23984857 WITH SCORE 2.4066714954E7
AT ITER 1486 NEW BEST:: SOT 132981043 SOS 81808376 HAS SOPS 66670701 HAS SOUS 24577608 HAS SOUPS 23966377 WITH SCORE 2.4048185376E7
AT ITER 1489 NEW BEST:: SOT 133006332 SOS 81820622 HAS SOPS 66677339 HAS SOUS 24557861 HAS SOUPS 23946734 WITH SCORE 2.4028554622E7
AT ITER 1503 NEW BEST:: SOT 133010623 SOS 81832030 HAS SOPS 66685797 HAS SOUS 24555467 HAS SOUPS 23944340 WITH SCORE 2.402617203E7
AT ITER 1527 NEW BEST:: SOT 132995680 SOS 81818350 HAS SOPS 66674983 HAS SOUS 24549833 HAS SOUPS 23939286 WITH SCORE 2.402110435E7
AT ITER 1530 NEW BEST:: SOT 132977958 SOS 81759321 HAS SOPS 66625751 HAS SOUS 24541552 HAS SOUPS 23929095 WITH SCORE 2.4010854321E7
AT ITER 1547 NEW BEST:: SOT 132975941 SOS 81751808 HAS SOPS 66620345 HAS SOUS 24541516 HAS SOUPS 23929059 WITH SCORE 2.4010810808E7
AT ITER 1556 NEW BEST:: SOT 133023460 SOS 81855052 HAS SOPS 66715850 HAS SOUS 24531678 HAS SOUPS 23919221 WITH SCORE 2.4001076052E7
AT ITER 1559 NEW BEST:: SOT 133024425 SOS 81860449 HAS SOPS 66716907 HAS SOUS 24526133 HAS SOUPS 23913676 WITH SCORE 2.3995536449E7
AT ITER 1570 NEW BEST:: SOT 133013767 SOS 81838837 HAS SOPS 66696911 HAS SOUS 24522442 HAS SOUPS 23909985 WITH SCORE 2.3991823837E7
AT ITER 1577 NEW BEST:: SOT 133008804 SOS 81827994 HAS SOPS 66696390 HAS SOUS 24519626 HAS SOUPS 23907370 WITH SCORE 2.3989197994E7
AT ITER 1586 NEW BEST:: SOT 133007045 SOS 81827635 HAS SOPS 66695585 HAS SOUS 24515976 HAS SOUPS 23903720 WITH SCORE 2.3985547635E7
AT ITER 1593 NEW BEST:: SOT 132996231 SOS 81811075 HAS SOPS 66680233 HAS SOUS 24503789 HAS SOUPS 23891533 WITH SCORE 2.3973344075E7
AT ITER 1594 NEW BEST:: SOT 132993259 SOS 81800033 HAS SOPS 66668228 HAS SOUS 24499233 HAS SOUPS 23886977 WITH SCORE 2.3968777033E7
AT ITER 1595 NEW BEST:: SOT 133007437 SOS 81864497 HAS SOPS 66711652 HAS SOUS 24470138 HAS SOUPS 23857882 WITH SCORE 2.3939746497E7
AT ITER 1597 NEW BEST:: SOT 133007202 SOS 81863995 HAS SOPS 66711189 HAS SOUS 24470039 HAS SOUPS 23857783 WITH SCORE 2.3939646995E7
AT ITER 1600 NEW BEST:: SOT 133007160 SOS 81865034 HAS SOPS 66712213 HAS SOUS 24469332 HAS SOUPS 23857076 WITH SCORE 2.3938941034E7
AT ITER 1604 NEW BEST:: SOT 132750119 SOS 81441978 HAS SOPS 66329966 HAS SOUS 24245726 HAS SOUPS 23630684 WITH SCORE 2.3712125978E7
AT ITER 1605 NEW BEST:: SOT 132751204 SOS 81445849 HAS SOPS 66333160 HAS SOUS 24245434 HAS SOUPS 23630392 WITH SCORE 2.3711837849E7
AT ITER 1616 NEW BEST:: SOT 132751586 SOS 81448414 HAS SOPS 66334563 HAS SOUS 24244927 HAS SOUPS 23629885 WITH SCORE 2.3711333414E7
AT ITER 1637 NEW BEST:: SOT 132738243 SOS 81425027 HAS SOPS 66313444 HAS SOUS 24234608 HAS SOUPS 23619566 WITH SCORE 2.3700991027E7
AT ITER 1648 NEW BEST:: SOT 132700952 SOS 81387636 HAS SOPS 66272585 HAS SOUS 24188138 HAS SOUPS 23572371 WITH SCORE 2.3653758636E7
AT ITER 1651 NEW BEST:: SOT 132706517 SOS 81402437 HAS SOPS 66287016 HAS SOUS 24184777 HAS SOUPS 23569010 WITH SCORE 2.3650412437E7
AT ITER 1652 NEW BEST:: SOT 132704056 SOS 81399982 HAS SOPS 66283025 HAS SOUS 24180038 HAS SOUPS 23564271 WITH SCORE 2.3645670982E7
AT ITER 1658 NEW BEST:: SOT 132701357 SOS 81397861 HAS SOPS 66279448 HAS SOUS 24172338 HAS SOUPS 23556571 WITH SCORE 2.3637968861E7
AT ITER 1666 NEW BEST:: SOT 132698835 SOS 81394538 HAS SOPS 66276624 HAS SOUS 24144398 HAS SOUPS 23528745 WITH SCORE 2.3610139538E7
AT ITER 1686 NEW BEST:: SOT 132690954 SOS 81380626 HAS SOPS 66268621 HAS SOUS 24134761 HAS SOUPS 23519108 WITH SCORE 2.3600488626E7
AT ITER 1687 NEW BEST:: SOT 132684544 SOS 81371284 HAS SOPS 66256062 HAS SOUS 24122526 HAS SOUPS 23506873 WITH SCORE 2.3588244284E7
AT ITER 1693 NEW BEST:: SOT 132681431 SOS 81368178 HAS SOPS 66251683 HAS SOUS 24115339 HAS SOUPS 23499730 WITH SCORE 2.3581098178E7
AT ITER 1696 NEW BEST:: SOT 132688117 SOS 81396644 HAS SOPS 66284575 HAS SOUS 24112257 HAS SOUPS 23496648 WITH SCORE 2.3578044644E7
AT ITER 1709 NEW BEST:: SOT 132694145 SOS 81422017 HAS SOPS 66303252 HAS SOUS 24102475 HAS SOUPS 23486866 WITH SCORE 2.3568288017E7
AT ITER 1715 NEW BEST:: SOT 132688860 SOS 81420741 HAS SOPS 66295336 HAS SOUS 24088437 HAS SOUPS 23472759 WITH SCORE 2.3554179741E7
AT ITER 1716 NEW BEST:: SOT 132703089 SOS 81450522 HAS SOPS 66312264 HAS SOUS 24084691 HAS SOUPS 23469013 WITH SCORE 2.3550463522E7
AT ITER 1722 NEW BEST:: SOT 132702787 SOS 81472343 HAS SOPS 66363920 HAS SOUS 24078285 HAS SOUPS 23462607 WITH SCORE 2.3544079343E7
AT ITER 1727 NEW BEST:: SOT 132683433 SOS 81447330 HAS SOPS 66346797 HAS SOUS 24042246 HAS SOUPS 23426725 WITH SCORE 2.350817233E7
AT ITER 1759 NEW BEST:: SOT 132722859 SOS 81589179 HAS SOPS 66465042 HAS SOUS 24029816 HAS SOUPS 23414295 WITH SCORE 2.3495884179E7
AT ITER 1760 NEW BEST:: SOT 132711216 SOS 81572051 HAS SOPS 66453768 HAS SOUS 24023272 HAS SOUPS 23407751 WITH SCORE 2.3489323051E7
AT ITER 1767 NEW BEST:: SOT 132685150 SOS 81542263 HAS SOPS 66432755 HAS SOUS 23996306 HAS SOUPS 23380785 WITH SCORE 2.3462327263E7
AT ITER 1773 NEW BEST:: SOT 132688518 SOS 81560081 HAS SOPS 66448134 HAS SOUS 23990935 HAS SOUPS 23375414 WITH SCORE 2.3456974081E7
AT ITER 1784 NEW BEST:: SOT 132690264 SOS 81563649 HAS SOPS 66453295 HAS SOUS 23990857 HAS SOUPS 23375336 WITH SCORE 2.3456899649E7
AT ITER 1787 NEW BEST:: SOT 132723900 SOS 81648769 HAS SOPS 66534929 HAS SOUS 23986471 HAS SOUPS 23370950 WITH SCORE 2.3452598769E7
AT ITER 1806 NEW BEST:: SOT 132705422 SOS 81635389 HAS SOPS 66513708 HAS SOUS 23943675 HAS SOUPS 23327875 WITH SCORE 2.3409510389E7
AT ITER 1827 NEW BEST:: SOT 132712906 SOS 81658532 HAS SOPS 66534260 HAS SOUS 23922610 HAS SOUPS 23306888 WITH SCORE 2.3388546532E7
AT ITER 1840 NEW BEST:: SOT 132718152 SOS 81672487 HAS SOPS 66543464 HAS SOUS 23917467 HAS SOUPS 23301745 WITH SCORE 2.3383417487E7
AT ITER 1845 NEW BEST:: SOT 132717163 SOS 81671742 HAS SOPS 66540999 HAS SOUS 23912791 HAS SOUPS 23297069 WITH SCORE 2.3378740742E7
AT ITER 1852 NEW BEST:: SOT 132756012 SOS 81799192 HAS SOPS 66662402 HAS SOUS 23867949 HAS SOUPS 23252227 WITH SCORE 2.3334026192E7
AT ITER 1864 NEW BEST:: SOT 132734251 SOS 81771426 HAS SOPS 66634880 HAS SOUS 23832866 HAS SOUPS 23217144 WITH SCORE 2.3298915426E7
AT ITER 1865 NEW BEST:: SOT 132740629 SOS 81787833 HAS SOPS 66654740 HAS SOUS 23831381 HAS SOUPS 23215107 WITH SCORE 2.3296894833E7
AT ITER 1873 NEW BEST:: SOT 132751735 SOS 81799295 HAS SOPS 66661222 HAS SOUS 23825982 HAS SOUPS 23210314 WITH SCORE 2.3292113295E7
AT ITER 1878 NEW BEST:: SOT 132747072 SOS 81796586 HAS SOPS 66653945 HAS SOUS 23807049 HAS SOUPS 23191489 WITH SCORE 2.3273285586E7
AT ITER 1883 NEW BEST:: SOT 132748527 SOS 81797724 HAS SOPS 66656473 HAS SOUS 23805982 HAS SOUPS 23190312 WITH SCORE 2.3272109724E7
AT ITER 1894 NEW BEST:: SOT 132741810 SOS 81787566 HAS SOPS 66648583 HAS SOUS 23797971 HAS SOUPS 23183109 WITH SCORE 2.3264896566E7
AT ITER 1902 NEW BEST:: SOT 132740223 SOS 81787622 HAS SOPS 66646094 HAS SOUS 23789896 HAS SOUPS 23175277 WITH SCORE 2.3257064622E7
AT ITER 1912 NEW BEST:: SOT 132724714 SOS 81764731 HAS SOPS 66631849 HAS SOUS 23770862 HAS SOUPS 23156243 WITH SCORE 2.3238007731E7
AT ITER 1916 NEW BEST:: SOT 132724714 SOS 81761723 HAS SOPS 66628841 HAS SOUS 23770862 HAS SOUPS 23156243 WITH SCORE 2.3238004723E7
AT ITER 1920 NEW BEST:: SOT 132748294 SOS 81820376 HAS SOPS 66670370 HAS SOUS 23766054 HAS SOUPS 23150970 WITH SCORE 2.3232790376E7
AT ITER 1925 NEW BEST:: SOT 132747354 SOS 81819684 HAS SOPS 66670391 HAS SOUS 23763052 HAS SOUPS 23147968 WITH SCORE 2.3229787684E7
AT ITER 1934 NEW BEST:: SOT 132743199 SOS 81815531 HAS SOPS 66664893 HAS SOUS 23756081 HAS SOUPS 23141249 WITH SCORE 2.3223064531E7
AT ITER 1945 NEW BEST:: SOT 132745846 SOS 81823765 HAS SOPS 66671451 HAS SOUS 23754546 HAS SOUPS 23139714 WITH SCORE 2.3221537765E7
AT ITER 1948 NEW BEST:: SOT 132746945 SOS 81828764 HAS SOPS 66675564 HAS SOUS 23753643 HAS SOUPS 23138811 WITH SCORE 2.3220639764E7
AT ITER 1985 NEW BEST:: SOT 132734299 SOS 81830181 HAS SOPS 66681911 HAS SOUS 23635879 HAS SOUPS 23020947 WITH SCORE 2.3102777181E7
AT ITER 1994 NEW BEST:: SOT 132770403 SOS 81946477 HAS SOPS 66776712 HAS SOUS 23629412 HAS SOUPS 23014480 WITH SCORE 2.3096426477E7
AT ITER 1997 NEW BEST:: SOT 132763005 SOS 81939079 HAS SOPS 66768434 HAS SOUS 23618718 HAS SOUPS 23003786 WITH SCORE 2.3085725079E7
AT ITER 1999 NEW BEST:: SOT 132762951 SOS 81939207 HAS SOPS 66768532 HAS SOUS 23618544 HAS SOUPS 23003612 WITH SCORE 2.3085551207E7
AT ITER 2009 NEW BEST:: SOT 132749756 SOS 81911936 HAS SOPS 66751130 HAS SOUS 23603509 HAS SOUPS 22994176 WITH SCORE 2.3076087936E7
AT ITER 2017 NEW BEST:: SOT 132756512 SOS 81933501 HAS SOPS 66765100 HAS SOUS 23601949 HAS SOUPS 22992616 WITH SCORE 2.3074549501E7
AT ITER 2029 NEW BEST:: SOT 132757236 SOS 81950559 HAS SOPS 66783964 HAS SOUS 23575861 HAS SOUPS 22966528 WITH SCORE 2.3048478559E7
AT ITER 2045 NEW BEST:: SOT 132757172 SOS 81950145 HAS SOPS 66783773 HAS SOUS 23575755 HAS SOUPS 22966422 WITH SCORE 2.3048372145E7
AT ITER 2047 NEW BEST:: SOT 132757253 SOS 81951042 HAS SOPS 66784822 HAS SOUS 23575502 HAS SOUPS 22966169 WITH SCORE 2.3048120042E7
AT ITER 2079 NEW BEST:: SOT 132763711 SOS 81986200 HAS SOPS 66819796 HAS SOUS 23572347 HAS SOUPS 22963014 WITH SCORE 2.30450002E7
AT ITER 2099 NEW BEST:: SOT 132759525 SOS 81980784 HAS SOPS 66811240 HAS SOUS 23567005 HAS SOUPS 22957738 WITH SCORE 2.3039718784E7
AT ITER 2103 NEW BEST:: SOT 132719176 SOS 81914156 HAS SOPS 66777346 HAS SOUS 23564262 HAS SOUPS 22955009 WITH SCORE 2.3036923156E7
AT ITER 2119 NEW BEST:: SOT 132724880 SOS 81932521 HAS SOPS 66801238 HAS SOUS 23535349 HAS SOUPS 22926096 WITH SCORE 2.3008028521E7
AT ITER 2134 NEW BEST:: SOT 132724648 SOS 81932577 HAS SOPS 66800822 HAS SOUS 23533965 HAS SOUPS 22924712 WITH SCORE 2.3006644577E7
AT ITER 2225 NEW BEST:: SOT 132728095 SOS 81940507 HAS SOPS 66805129 HAS SOUS 23530520 HAS SOUPS 22921267 WITH SCORE 2.3003207507E7
AT ITER 2245 NEW BEST:: SOT 132728228 SOS 81941012 HAS SOPS 66805949 HAS SOUS 23530387 HAS SOUPS 22921134 WITH SCORE 2.3003075012E7
AT ITER 2247 NEW BEST:: SOT 132727616 SOS 81943535 HAS SOPS 66822137 HAS SOUS 23524928 HAS SOUPS 22915675 WITH SCORE 2.2997618535E7
AT ITER 2268 NEW BEST:: SOT 132726689 SOS 81947015 HAS SOPS 66823974 HAS SOUS 23517471 HAS SOUPS 22908218 WITH SCORE 2.2990165015E7
AT ITER 2271 NEW BEST:: SOT 132693438 SOS 81909252 HAS SOPS 66781356 HAS SOUS 23472600 HAS SOUPS 22860928 WITH SCORE 2.2942837252E7
AT ITER 2272 NEW BEST:: SOT 132693077 SOS 81908935 HAS SOPS 66783376 HAS SOUS 23471979 HAS SOUPS 22860383 WITH SCORE 2.2942291935E7
AT ITER 2279 NEW BEST:: SOT 132696101 SOS 81921254 HAS SOPS 66795940 HAS SOUS 23466026 HAS SOUPS 22854430 WITH SCORE 2.2936351254E7
AT ITER 2306 NEW BEST:: SOT 132707770 SOS 81927149 HAS SOPS 66813601 HAS SOUS 23448300 HAS SOUPS 22836704 WITH SCORE 2.2918631149E7
AT ITER 2310 NEW BEST:: SOT 132699618 SOS 81907773 HAS SOPS 66793639 HAS SOUS 23438520 HAS SOUPS 22826924 WITH SCORE 2.2908831773E7
AT ITER 2316 NEW BEST:: SOT 132699453 SOS 81907398 HAS SOPS 66793264 HAS SOUS 23438348 HAS SOUPS 22826752 WITH SCORE 2.2908659398E7
AT ITER 2317 NEW BEST:: SOT 132677680 SOS 81885396 HAS SOPS 66771298 HAS SOUS 23409162 HAS SOUPS 22797602 WITH SCORE 2.2879487396E7
AT ITER 2324 NEW BEST:: SOT 132682501 SOS 81889361 HAS SOPS 66744162 HAS SOUS 23368832 HAS SOUPS 22757272 WITH SCORE 2.2839161361E7
AT ITER 2325 NEW BEST:: SOT 132681165 SOS 81895629 HAS SOPS 66752637 HAS SOUS 23351633 HAS SOUPS 22740073 WITH SCORE 2.2821968629E7

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-5"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb114-PT-5, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502400107"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-5.tgz
mv RERS17pb114-PT-5 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;