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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 73M
-rw-r--r-- 1 mcc users 5.7K Feb 26 04:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 58K Feb 26 04:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 04:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 16:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 04:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 128K Feb 26 04:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 04:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 26 04:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:38 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 1679480650173

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-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb114 (PT), instance 4
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 3 NEW BEST:: SOT 133673423 SOS 82244743 HAS SOPS 66796437 HAS SOUS 26440564 HAS SOUPS 25809873 WITH SCORE 2.5892117743E7
AT ITER 14 NEW BEST:: SOT 133675613 SOS 82251955 HAS SOPS 66802834 HAS SOUS 26434652 HAS SOUPS 25803961 WITH SCORE 2.5886212955E7
AT ITER 18 NEW BEST:: SOT 133674453 SOS 82249759 HAS SOPS 66800851 HAS SOUS 26425602 HAS SOUPS 25795511 WITH SCORE 2.5877760759E7
AT ITER 35 NEW BEST:: SOT 133674810 SOS 82255199 HAS SOPS 66805167 HAS SOUS 26423302 HAS SOUPS 25793211 WITH SCORE 2.5875466199E7
AT ITER 41 NEW BEST:: SOT 133673094 SOS 82252394 HAS SOPS 66802478 HAS SOUS 26420700 HAS SOUPS 25790670 WITH SCORE 2.5872922394E7
AT ITER 51 NEW BEST:: SOT 133617717 SOS 82194969 HAS SOPS 66745168 HAS SOUS 26323269 HAS SOUPS 25693325 WITH SCORE 2.5775519969E7
AT ITER 55 NEW BEST:: SOT 133616257 SOS 82193413 HAS SOPS 66741593 HAS SOUS 26317965 HAS SOUPS 25688021 WITH SCORE 2.5770214413E7
AT ITER 71 NEW BEST:: SOT 133589608 SOS 82133165 HAS SOPS 66692827 HAS SOUS 26299987 HAS SOUPS 25670043 WITH SCORE 2.5752176165E7
AT ITER 73 NEW BEST:: SOT 133589775 SOS 82135093 HAS SOPS 66695873 HAS SOUS 26292615 HAS SOUPS 25662671 WITH SCORE 2.5744806093E7
AT ITER 87 NEW BEST:: SOT 133589629 SOS 82134897 HAS SOPS 66695679 HAS SOUS 26292423 HAS SOUPS 25662481 WITH SCORE 2.5744615897E7
AT ITER 88 NEW BEST:: SOT 133581198 SOS 82124230 HAS SOPS 66685726 HAS SOUS 26274576 HAS SOUPS 25644705 WITH SCORE 2.572682923E7
AT ITER 107 NEW BEST:: SOT 133591177 SOS 82184281 HAS SOPS 66786303 HAS SOUS 26265389 HAS SOUPS 25635518 WITH SCORE 2.5717702281E7
AT ITER 116 NEW BEST:: SOT 133562803 SOS 82140766 HAS SOPS 66744891 HAS SOUS 26224332 HAS SOUPS 25594461 WITH SCORE 2.5676601766E7
AT ITER 137 NEW BEST:: SOT 133559908 SOS 82132797 HAS SOPS 66737678 HAS SOUS 26221735 HAS SOUPS 25591864 WITH SCORE 2.5673996797E7
AT ITER 142 NEW BEST:: SOT 133554766 SOS 82137935 HAS SOPS 66739440 HAS SOUS 26198474 HAS SOUPS 25568603 WITH SCORE 2.5650740935E7
AT ITER 151 NEW BEST:: SOT 133590812 SOS 82278203 HAS SOPS 66862820 HAS SOUS 26181261 HAS SOUPS 25551390 WITH SCORE 2.5633668203E7
AT ITER 152 NEW BEST:: SOT 133542389 SOS 82209228 HAS SOPS 66784715 HAS SOUS 26093722 HAS SOUPS 25464297 WITH SCORE 2.5546506228E7
AT ITER 165 NEW BEST:: SOT 133550029 SOS 82221073 HAS SOPS 66804089 HAS SOUS 26090736 HAS SOUPS 25461311 WITH SCORE 2.5543532073E7
AT ITER 166 NEW BEST:: SOT 133558652 SOS 82273051 HAS SOPS 66837964 HAS SOUS 26080724 HAS SOUPS 25451299 WITH SCORE 2.5533572051E7
AT ITER 174 NEW BEST:: SOT 133557099 SOS 82273991 HAS SOPS 66842443 HAS SOUS 26079379 HAS SOUPS 25449954 WITH SCORE 2.5532227991E7
AT ITER 178 NEW BEST:: SOT 133552383 SOS 82268550 HAS SOPS 66841618 HAS SOUS 26059128 HAS SOUPS 25431437 WITH SCORE 2.551370555E7
AT ITER 179 NEW BEST:: SOT 133533303 SOS 82217586 HAS SOPS 66810797 HAS SOUS 26054054 HAS SOUPS 25426363 WITH SCORE 2.5508580586E7
AT ITER 182 NEW BEST:: SOT 133535468 SOS 82232435 HAS SOPS 66821581 HAS SOUS 26051416 HAS SOUPS 25423725 WITH SCORE 2.5505957435E7
AT ITER 186 NEW BEST:: SOT 133558104 SOS 82329807 HAS SOPS 66916930 HAS SOUS 26009814 HAS SOUPS 25382123 WITH SCORE 2.5464452807E7
AT ITER 222 NEW BEST:: SOT 133558546 SOS 82330201 HAS SOPS 66917532 HAS SOUS 26009712 HAS SOUPS 25381997 WITH SCORE 2.5464327201E7
AT ITER 226 NEW BEST:: SOT 133549626 SOS 82311677 HAS SOPS 66906578 HAS SOUS 26008105 HAS SOUPS 25380471 WITH SCORE 2.5462782677E7
AT ITER 228 NEW BEST:: SOT 133544990 SOS 82311856 HAS SOPS 66908330 HAS SOUS 25991252 HAS SOUPS 25363457 WITH SCORE 2.5445768856E7
AT ITER 232 NEW BEST:: SOT 133531383 SOS 82288763 HAS SOPS 66883077 HAS SOUS 25978489 HAS SOUPS 25350694 WITH SCORE 2.5432982763E7
AT ITER 250 NEW BEST:: SOT 133548518 SOS 82328659 HAS SOPS 66913847 HAS SOUS 25976107 HAS SOUPS 25348312 WITH SCORE 2.5430640659E7
AT ITER 255 NEW BEST:: SOT 133554412 SOS 82334631 HAS SOPS 66932423 HAS SOUS 25974898 HAS SOUPS 25346968 WITH SCORE 2.5429302631E7
AT ITER 256 NEW BEST:: SOT 133555953 SOS 82339788 HAS SOPS 66933929 HAS SOUS 25972921 HAS SOUPS 25344991 WITH SCORE 2.5427330788E7
AT ITER 267 NEW BEST:: SOT 133576585 SOS 82357869 HAS SOPS 66942078 HAS SOUS 25917974 HAS SOUPS 25289971 WITH SCORE 2.5372328869E7
AT ITER 271 NEW BEST:: SOT 133580576 SOS 82372374 HAS SOPS 66950006 HAS SOUS 25898642 HAS SOUPS 25270378 WITH SCORE 2.5352750374E7
AT ITER 279 NEW BEST:: SOT 133654813 SOS 82540008 HAS SOPS 67110331 HAS SOUS 25869291 HAS SOUPS 25241027 WITH SCORE 2.5323567008E7
AT ITER 297 NEW BEST:: SOT 133673244 SOS 82575359 HAS SOPS 67142461 HAS SOUS 25865474 HAS SOUPS 25237210 WITH SCORE 2.5319785359E7
AT ITER 299 NEW BEST:: SOT 133663936 SOS 82569159 HAS SOPS 67140367 HAS SOUS 25833179 HAS SOUPS 25204915 WITH SCORE 2.5287484159E7
AT ITER 348 NEW BEST:: SOT 133666093 SOS 82572226 HAS SOPS 67141059 HAS SOUS 25832362 HAS SOUPS 25204098 WITH SCORE 2.5286670226E7
AT ITER 353 NEW BEST:: SOT 133573484 SOS 82478929 HAS SOPS 67040236 HAS SOUS 25730170 HAS SOUPS 25099814 WITH SCORE 2.5182292929E7
AT ITER 355 NEW BEST:: SOT 133572707 SOS 82484506 HAS SOPS 67051116 HAS SOUS 25704441 HAS SOUPS 25074085 WITH SCORE 2.5156569506E7
AT ITER 373 NEW BEST:: SOT 133575676 SOS 82507621 HAS SOPS 67071161 HAS SOUS 25685246 HAS SOUPS 25054890 WITH SCORE 2.5137397621E7
AT ITER 383 NEW BEST:: SOT 133565865 SOS 82489442 HAS SOPS 67059390 HAS SOUS 25677878 HAS SOUPS 25047522 WITH SCORE 2.5130011442E7
AT ITER 414 NEW BEST:: SOT 133534733 SOS 82458308 HAS SOPS 67028121 HAS SOUS 25639131 HAS SOUPS 25008775 WITH SCORE 2.5091233308E7
AT ITER 441 NEW BEST:: SOT 133532080 SOS 82459502 HAS SOPS 67028028 HAS SOUS 25614550 HAS SOUPS 24984194 WITH SCORE 2.5066653502E7
AT ITER 445 NEW BEST:: SOT 133527062 SOS 82454484 HAS SOPS 67022914 HAS SOUS 25614348 HAS SOUPS 24983992 WITH SCORE 2.5066446484E7
AT ITER 460 NEW BEST:: SOT 133526307 SOS 82452611 HAS SOPS 67019744 HAS SOUS 25611956 HAS SOUPS 24981600 WITH SCORE 2.5064052611E7
AT ITER 466 NEW BEST:: SOT 133521923 SOS 82446049 HAS SOPS 67017887 HAS SOUS 25605458 HAS SOUPS 24975172 WITH SCORE 2.5057618049E7
AT ITER 476 NEW BEST:: SOT 133531257 SOS 82460074 HAS SOPS 67036584 HAS SOUS 25603505 HAS SOUPS 24973503 WITH SCORE 2.5055963074E7
AT ITER 499 NEW BEST:: SOT 133543363 SOS 82496662 HAS SOPS 67062297 HAS SOUS 25600454 HAS SOUPS 24970452 WITH SCORE 2.5052948662E7
AT ITER 513 NEW BEST:: SOT 133523257 SOS 82471551 HAS SOPS 67047738 HAS SOUS 25552478 HAS SOUPS 24922476 WITH SCORE 2.5004947551E7
AT ITER 515 NEW BEST:: SOT 133523057 SOS 82467319 HAS SOPS 67043506 HAS SOUS 25552385 HAS SOUPS 24922383 WITH SCORE 2.5004850319E7
AT ITER 516 NEW BEST:: SOT 133517212 SOS 82450143 HAS SOPS 67033755 HAS SOUS 25539712 HAS SOUPS 24909710 WITH SCORE 2.4992160143E7
AT ITER 518 NEW BEST:: SOT 133517141 SOS 82451933 HAS SOPS 67038180 HAS SOUS 25538547 HAS SOUPS 24908545 WITH SCORE 2.4990996933E7
AT ITER 527 NEW BEST:: SOT 133521489 SOS 82469600 HAS SOPS 67050755 HAS SOUS 25533199 HAS SOUPS 24903197 WITH SCORE 2.49856666E7
AT ITER 534 NEW BEST:: SOT 133479555 SOS 82420613 HAS SOPS 67004094 HAS SOUS 25461683 HAS SOUPS 24832650 WITH SCORE 2.4915070613E7
AT ITER 536 NEW BEST:: SOT 133476267 SOS 82422337 HAS SOPS 67000066 HAS SOUS 25419191 HAS SOUPS 24790158 WITH SCORE 2.4872580337E7
AT ITER 537 NEW BEST:: SOT 133490028 SOS 82487012 HAS SOPS 67048560 HAS SOUS 25398968 HAS SOUPS 24769935 WITH SCORE 2.4852422012E7
AT ITER 541 NEW BEST:: SOT 133490268 SOS 82485989 HAS SOPS 67046616 HAS SOUS 25396537 HAS SOUPS 24767504 WITH SCORE 2.4849989989E7
AT ITER 577 NEW BEST:: SOT 133448447 SOS 82444084 HAS SOPS 67004667 HAS SOUS 25349984 HAS SOUPS 24720967 WITH SCORE 2.4803411084E7
AT ITER 580 NEW BEST:: SOT 133471778 SOS 82500950 HAS SOPS 67045781 HAS SOUS 25343438 HAS SOUPS 24714421 WITH SCORE 2.479692195E7
AT ITER 586 NEW BEST:: SOT 133470930 SOS 82500962 HAS SOPS 67046249 HAS SOUS 25338734 HAS SOUPS 24709717 WITH SCORE 2.4792217962E7
AT ITER 591 NEW BEST:: SOT 133468734 SOS 82495282 HAS SOPS 67040462 HAS SOUS 25337359 HAS SOUPS 24708342 WITH SCORE 2.4790837282E7
AT ITER 595 NEW BEST:: SOT 133461586 SOS 82490364 HAS SOPS 67024149 HAS SOUS 25308862 HAS SOUPS 24679845 WITH SCORE 2.4762335364E7
AT ITER 596 NEW BEST:: SOT 133421526 SOS 82449812 HAS SOPS 66980848 HAS SOUS 25254718 HAS SOUPS 24625845 WITH SCORE 2.4708294812E7
AT ITER 599 NEW BEST:: SOT 133417084 SOS 82446625 HAS SOPS 66974525 HAS SOUS 25244734 HAS SOUPS 24615828 WITH SCORE 2.4698274625E7
AT ITER 613 NEW BEST:: SOT 133417977 SOS 82462809 HAS SOPS 66987917 HAS SOUS 25220693 HAS SOUPS 24591787 WITH SCORE 2.4674249809E7
AT ITER 615 NEW BEST:: SOT 133418818 SOS 82465388 HAS SOPS 66989842 HAS SOUS 25220335 HAS SOUPS 24591429 WITH SCORE 2.4673894388E7
AT ITER 626 NEW BEST:: SOT 133401605 SOS 82444595 HAS SOPS 66971055 HAS SOUS 25196677 HAS SOUPS 24567771 WITH SCORE 2.4650215595E7
AT ITER 644 NEW BEST:: SOT 133401503 SOS 82458712 HAS SOPS 66986429 HAS SOUS 25194904 HAS SOUPS 24565998 WITH SCORE 2.4648456712E7
AT ITER 646 NEW BEST:: SOT 133398386 SOS 82446498 HAS SOPS 66977998 HAS SOUS 25189926 HAS SOUPS 24561093 WITH SCORE 2.4643539498E7
AT ITER 648 NEW BEST:: SOT 133421377 SOS 82524401 HAS SOPS 67045525 HAS SOUS 25185810 HAS SOUPS 24556977 WITH SCORE 2.4639501401E7
AT ITER 652 NEW BEST:: SOT 133415359 SOS 82517126 HAS SOPS 67036818 HAS SOUS 25174299 HAS SOUPS 24545524 WITH SCORE 2.4628041126E7
AT ITER 664 NEW BEST:: SOT 133403278 SOS 82499981 HAS SOPS 67018785 HAS SOUS 25159161 HAS SOUPS 24530386 WITH SCORE 2.4612885981E7
AT ITER 673 NEW BEST:: SOT 133403823 SOS 82502116 HAS SOPS 67019477 HAS SOUS 25156493 HAS SOUPS 24527718 WITH SCORE 2.4610220116E7
AT ITER 695 NEW BEST:: SOT 133407120 SOS 82510693 HAS SOPS 67017291 HAS SOUS 25144931 HAS SOUPS 24516156 WITH SCORE 2.4598666693E7
AT ITER 699 NEW BEST:: SOT 133403691 SOS 82508114 HAS SOPS 67013480 HAS SOUS 25139161 HAS SOUPS 24510386 WITH SCORE 2.4592894114E7
AT ITER 710 NEW BEST:: SOT 133412925 SOS 82535619 HAS SOPS 67036810 HAS SOUS 25131815 HAS SOUPS 24503040 WITH SCORE 2.4585575619E7
AT ITER 720 NEW BEST:: SOT 133438183 SOS 82649528 HAS SOPS 67112326 HAS SOUS 25060068 HAS SOUPS 24431293 WITH SCORE 2.4513942528E7
AT ITER 722 NEW BEST:: SOT 133437831 SOS 82649191 HAS SOPS 67111765 HAS SOUS 25059349 HAS SOUPS 24430574 WITH SCORE 2.4513223191E7
AT ITER 734 NEW BEST:: SOT 133430459 SOS 82637536 HAS SOPS 67105321 HAS SOUS 25044286 HAS SOUPS 24415656 WITH SCORE 2.4498293536E7
AT ITER 735 NEW BEST:: SOT 133427163 SOS 82630880 HAS SOPS 67098406 HAS SOUS 25038416 HAS SOUPS 24409786 WITH SCORE 2.449241688E7
AT ITER 746 NEW BEST:: SOT 133365390 SOS 82497812 HAS SOPS 67012104 HAS SOUS 25027293 HAS SOUPS 24398663 WITH SCORE 2.4481160812E7
AT ITER 755 NEW BEST:: SOT 133386359 SOS 82556415 HAS SOPS 67049272 HAS SOUS 25025408 HAS SOUPS 24396778 WITH SCORE 2.4479334415E7
AT ITER 762 NEW BEST:: SOT 133382941 SOS 82554157 HAS SOPS 67044182 HAS SOUS 25017670 HAS SOUPS 24389016 WITH SCORE 2.4471570157E7
AT ITER 767 NEW BEST:: SOT 133382827 SOS 82554139 HAS SOPS 67044260 HAS SOUS 25017557 HAS SOUPS 24388903 WITH SCORE 2.4471457139E7
AT ITER 777 NEW BEST:: SOT 133365623 SOS 82525577 HAS SOPS 67020670 HAS SOUS 24996366 HAS SOUPS 24368090 WITH SCORE 2.4450615577E7
AT ITER 802 NEW BEST:: SOT 133364567 SOS 82519029 HAS SOPS 67013895 HAS SOUS 24995587 HAS SOUPS 24367311 WITH SCORE 2.4449830029E7
AT ITER 814 NEW BEST:: SOT 133364039 SOS 82518537 HAS SOPS 67013187 HAS SOUS 24995161 HAS SOUPS 24366777 WITH SCORE 2.4449295537E7
AT ITER 823 NEW BEST:: SOT 133334676 SOS 82480043 HAS SOPS 66967432 HAS SOUS 24963086 HAS SOUPS 24330964 WITH SCORE 2.4413444043E7
AT ITER 824 NEW BEST:: SOT 133318135 SOS 82455208 HAS SOPS 66946514 HAS SOUS 24939742 HAS SOUPS 24307620 WITH SCORE 2.4390075208E7
AT ITER 848 NEW BEST:: SOT 133320226 SOS 82458781 HAS SOPS 66953577 HAS SOUS 24938459 HAS SOUPS 24306337 WITH SCORE 2.4388795781E7
AT ITER 851 NEW BEST:: SOT 133323351 SOS 82473605 HAS SOPS 66964604 HAS SOUS 24936466 HAS SOUPS 24304344 WITH SCORE 2.4386817605E7
AT ITER 853 NEW BEST:: SOT 133339686 SOS 82511900 HAS SOPS 67001797 HAS SOUS 24895280 HAS SOUPS 24263939 WITH SCORE 2.43464509E7
AT ITER 862 NEW BEST:: SOT 133340160 SOS 82523724 HAS SOPS 67007290 HAS SOUS 24885552 HAS SOUPS 24254211 WITH SCORE 2.4336734724E7
AT ITER 872 NEW BEST:: SOT 133345917 SOS 82543161 HAS SOPS 67020764 HAS SOUS 24884600 HAS SOUPS 24253175 WITH SCORE 2.4335718161E7
AT ITER 888 NEW BEST:: SOT 133341829 SOS 82551548 HAS SOPS 67020701 HAS SOUS 24838276 HAS SOUPS 24206851 WITH SCORE 2.4289402548E7
AT ITER 889 NEW BEST:: SOT 133344844 SOS 82553848 HAS SOPS 67026972 HAS SOUS 24835965 HAS SOUPS 24204540 WITH SCORE 2.4287093848E7
AT ITER 901 NEW BEST:: SOT 133344788 SOS 82553753 HAS SOPS 67026815 HAS SOUS 24835885 HAS SOUPS 24204460 WITH SCORE 2.4287013753E7
AT ITER 904 NEW BEST:: SOT 133344566 SOS 82553937 HAS SOPS 67027980 HAS SOUS 24835137 HAS SOUPS 24203712 WITH SCORE 2.4286265937E7
AT ITER 917 NEW BEST:: SOT 133363568 SOS 82659161 HAS SOPS 67141320 HAS SOUS 24803684 HAS SOUPS 24172259 WITH SCORE 2.4254918161E7
AT ITER 920 NEW BEST:: SOT 133294702 SOS 82563492 HAS SOPS 67052805 HAS SOUS 24712447 HAS SOUPS 24081452 WITH SCORE 2.4164015492E7
AT ITER 922 NEW BEST:: SOT 133298092 SOS 82566123 HAS SOPS 67056988 HAS SOUS 24708868 HAS SOUPS 24077873 WITH SCORE 2.4160439123E7
AT ITER 928 NEW BEST:: SOT 133290694 SOS 82558725 HAS SOPS 67049590 HAS SOUS 24702902 HAS SOUPS 24071907 WITH SCORE 2.4154465725E7
AT ITER 947 NEW BEST:: SOT 133285770 SOS 82553801 HAS SOPS 67044410 HAS SOUS 24697978 HAS SOUPS 24066727 WITH SCORE 2.4149280801E7
AT ITER 950 NEW BEST:: SOT 133286657 SOS 82558080 HAS SOPS 67047793 HAS SOUS 24697748 HAS SOUPS 24066497 WITH SCORE 2.414905508E7
AT ITER 958 NEW BEST:: SOT 133282139 SOS 82554220 HAS SOPS 67043988 HAS SOUS 24680199 HAS SOUPS 24048867 WITH SCORE 2.413142122E7
AT ITER 959 NEW BEST:: SOT 133285870 SOS 82592684 HAS SOPS 67094348 HAS SOUS 24674042 HAS SOUPS 24042710 WITH SCORE 2.4125302684E7
AT ITER 962 NEW BEST:: SOT 133295845 SOS 82604264 HAS SOPS 67094720 HAS SOUS 24659994 HAS SOUPS 24028742 WITH SCORE 2.4111346264E7
AT ITER 964 NEW BEST:: SOT 133295482 SOS 82603552 HAS SOPS 67090290 HAS SOUS 24655743 HAS SOUPS 24024491 WITH SCORE 2.4107094552E7
AT ITER 977 NEW BEST:: SOT 133272658 SOS 82572260 HAS SOPS 67063549 HAS SOUS 24642661 HAS SOUPS 24011409 WITH SCORE 2.409398126E7
AT ITER 982 NEW BEST:: SOT 133270817 SOS 82587972 HAS SOPS 67075631 HAS SOUS 24608928 HAS SOUPS 23977673 WITH SCORE 2.4060260972E7
AT ITER 1002 NEW BEST:: SOT 133264566 SOS 82578702 HAS SOPS 67068919 HAS SOUS 24607984 HAS SOUPS 23976729 WITH SCORE 2.4059307702E7
AT ITER 1048 NEW BEST:: SOT 133259783 SOS 82577280 HAS SOPS 67066747 HAS SOUS 24592903 HAS SOUPS 23961648 WITH SCORE 2.404422528E7
AT ITER 1049 NEW BEST:: SOT 133254585 SOS 82570036 HAS SOPS 67059836 HAS SOUS 24589711 HAS SOUPS 23958456 WITH SCORE 2.4041026036E7
AT ITER 1054 NEW BEST:: SOT 133251734 SOS 82565557 HAS SOPS 67057403 HAS SOUS 24587454 HAS SOUPS 23956749 WITH SCORE 2.4039314557E7
AT ITER 1057 NEW BEST:: SOT 133231611 SOS 82524526 HAS SOPS 67022347 HAS SOUS 24580530 HAS SOUPS 23949825 WITH SCORE 2.4032349526E7
AT ITER 1067 NEW BEST:: SOT 133251215 SOS 82578499 HAS SOPS 67099477 HAS SOUS 24566957 HAS SOUPS 23936252 WITH SCORE 2.4018830499E7
AT ITER 1071 NEW BEST:: SOT 133251188 SOS 82578410 HAS SOPS 67099453 HAS SOUS 24566670 HAS SOUPS 23935998 WITH SCORE 2.401857641E7
AT ITER 1082 NEW BEST:: SOT 133265396 SOS 82642944 HAS SOPS 67169385 HAS SOUS 24548115 HAS SOUPS 23917443 WITH SCORE 2.4000085944E7
AT ITER 1087 NEW BEST:: SOT 133264676 SOS 82646445 HAS SOPS 67175401 HAS SOUS 24544381 HAS SOUPS 23913709 WITH SCORE 2.3996355445E7
AT ITER 1088 NEW BEST:: SOT 133262396 SOS 82644165 HAS SOPS 67172673 HAS SOUS 24539317 HAS SOUPS 23908645 WITH SCORE 2.3991289165E7
AT ITER 1097 NEW BEST:: SOT 133224061 SOS 82546861 HAS SOPS 67107831 HAS SOUS 24521011 HAS SOUPS 23890852 WITH SCORE 2.3973398861E7
AT ITER 1103 NEW BEST:: SOT 133224721 SOS 82546419 HAS SOPS 67108811 HAS SOUS 24520901 HAS SOUPS 23890742 WITH SCORE 2.3973288419E7
AT ITER 1106 NEW BEST:: SOT 133204886 SOS 82512293 HAS SOPS 67073957 HAS SOUS 24476069 HAS SOUPS 23845910 WITH SCORE 2.3928422293E7
AT ITER 1122 NEW BEST:: SOT 133206461 SOS 82538508 HAS SOPS 67129946 HAS SOUS 24475454 HAS SOUPS 23845295 WITH SCORE 2.3927833508E7
AT ITER 1142 NEW BEST:: SOT 133200539 SOS 82514955 HAS SOPS 67112002 HAS SOUS 24470092 HAS SOUPS 23839933 WITH SCORE 2.3922447955E7
AT ITER 1165 NEW BEST:: SOT 133195220 SOS 82500971 HAS SOPS 67111891 HAS SOUS 24461194 HAS SOUPS 23831035 WITH SCORE 2.3913535971E7
AT ITER 1184 NEW BEST:: SOT 133194323 SOS 82496795 HAS SOPS 67105085 HAS SOUS 24459089 HAS SOUPS 23828930 WITH SCORE 2.3911426795E7
AT ITER 1212 NEW BEST:: SOT 133195110 SOS 82503003 HAS SOPS 67110275 HAS SOUS 24457785 HAS SOUPS 23827626 WITH SCORE 2.3910129003E7
AT ITER 1219 NEW BEST:: SOT 133186607 SOS 82480155 HAS SOPS 67099081 HAS SOUS 24454507 HAS SOUPS 23824348 WITH SCORE 2.3906828155E7
AT ITER 1232 NEW BEST:: SOT 133192613 SOS 82494933 HAS SOPS 67112272 HAS SOUS 24445266 HAS SOUPS 23815107 WITH SCORE 2.3897601933E7
AT ITER 1235 NEW BEST:: SOT 133189924 SOS 82498207 HAS SOPS 67118501 HAS SOUS 24433908 HAS SOUPS 23803749 WITH SCORE 2.3886247207E7
AT ITER 1236 NEW BEST:: SOT 133184250 SOS 82479166 HAS SOPS 67097895 HAS SOUS 24411597 HAS SOUPS 23781438 WITH SCORE 2.3863917166E7
AT ITER 1239 NEW BEST:: SOT 133192400 SOS 82495611 HAS SOPS 67110462 HAS SOUS 24405668 HAS SOUPS 23775509 WITH SCORE 2.3858004611E7
AT ITER 1261 NEW BEST:: SOT 133192425 SOS 82495772 HAS SOPS 67110814 HAS SOUS 24405133 HAS SOUPS 23774974 WITH SCORE 2.3857469772E7
AT ITER 1292 NEW BEST:: SOT 133186413 SOS 82464821 HAS SOPS 67057281 HAS SOUS 24401927 HAS SOUPS 23771768 WITH SCORE 2.3854232821E7
AT ITER 1298 NEW BEST:: SOT 133171519 SOS 82416476 HAS SOPS 67028174 HAS SOUS 24386072 HAS SOUPS 23757164 WITH SCORE 2.3839580476E7
AT ITER 1320 NEW BEST:: SOT 133172787 SOS 82418670 HAS SOPS 67026486 HAS SOUS 24385988 HAS SOUPS 23757080 WITH SCORE 2.383949867E7
AT ITER 1328 NEW BEST:: SOT 133170292 SOS 82415034 HAS SOPS 67019021 HAS SOUS 24378522 HAS SOUPS 23749677 WITH SCORE 2.3832092034E7
AT ITER 1371 NEW BEST:: SOT 133182381 SOS 82444851 HAS SOPS 67042871 HAS SOUS 24351347 HAS SOUPS 23722502 WITH SCORE 2.3804946851E7
AT ITER 1375 NEW BEST:: SOT 133185624 SOS 82456621 HAS SOPS 67046650 HAS SOUS 24342753 HAS SOUPS 23713908 WITH SCORE 2.3796364621E7
AT ITER 1395 NEW BEST:: SOT 133189051 SOS 82467105 HAS SOPS 67053532 HAS SOUS 24338937 HAS SOUPS 23710092 WITH SCORE 2.3792559105E7
AT ITER 1398 NEW BEST:: SOT 133175612 SOS 82444208 HAS SOPS 67030962 HAS SOUS 24320595 HAS SOUPS 23691750 WITH SCORE 2.3774194208E7
AT ITER 1401 NEW BEST:: SOT 133171913 SOS 82435341 HAS SOPS 67008212 HAS SOUS 24295614 HAS SOUPS 23666769 WITH SCORE 2.3749204341E7
AT ITER 1411 NEW BEST:: SOT 133173665 SOS 82443365 HAS SOPS 67012929 HAS SOUS 24292661 HAS SOUPS 23663816 WITH SCORE 2.3746259365E7
AT ITER 1421 NEW BEST:: SOT 133187766 SOS 82502340 HAS SOPS 67054911 HAS SOUS 24275612 HAS SOUPS 23646767 WITH SCORE 2.372926934E7
AT ITER 1422 NEW BEST:: SOT 133169008 SOS 82475763 HAS SOPS 67034172 HAS SOUS 24257091 HAS SOUPS 23628246 WITH SCORE 2.3710721763E7
AT ITER 1423 NEW BEST:: SOT 133169248 SOS 82479634 HAS SOPS 67037333 HAS SOUS 24255961 HAS SOUPS 23627116 WITH SCORE 2.3709595634E7
AT ITER 1426 NEW BEST:: SOT 133184284 SOS 82507866 HAS SOPS 67067726 HAS SOUS 24245502 HAS SOUPS 23616657 WITH SCORE 2.3699164866E7
AT ITER 1429 NEW BEST:: SOT 133186329 SOS 82520039 HAS SOPS 67080729 HAS SOUS 24240752 HAS SOUPS 23611907 WITH SCORE 2.3694427039E7
AT ITER 1434 NEW BEST:: SOT 133197999 SOS 82578269 HAS SOPS 67131156 HAS SOUS 24223068 HAS SOUPS 23594223 WITH SCORE 2.3676801269E7
AT ITER 1439 NEW BEST:: SOT 133191215 SOS 82571550 HAS SOPS 67120724 HAS SOUS 24209126 HAS SOUPS 23580216 WITH SCORE 2.366278755E7
AT ITER 1442 NEW BEST:: SOT 133198644 SOS 82609654 HAS SOPS 67150346 HAS SOUS 24207649 HAS SOUPS 23578739 WITH SCORE 2.3661348654E7
AT ITER 1450 NEW BEST:: SOT 133199583 SOS 82612357 HAS SOPS 67151557 HAS SOUS 24206518 HAS SOUPS 23577608 WITH SCORE 2.3660220357E7
AT ITER 1460 NEW BEST:: SOT 133217873 SOS 82646866 HAS SOPS 67191196 HAS SOUS 24198010 HAS SOUPS 23569100 WITH SCORE 2.3651746866E7
AT ITER 1461 NEW BEST:: SOT 133210366 SOS 82624103 HAS SOPS 67183638 HAS SOUS 24192401 HAS SOUPS 23563491 WITH SCORE 2.3646115103E7
AT ITER 1494 NEW BEST:: SOT 133209444 SOS 82622666 HAS SOPS 67184860 HAS SOUS 24188877 HAS SOUPS 23560007 WITH SCORE 2.3642629666E7
AT ITER 1497 NEW BEST:: SOT 133207991 SOS 82621882 HAS SOPS 67187633 HAS SOUS 24185509 HAS SOUPS 23556756 WITH SCORE 2.3639377882E7
AT ITER 1506 NEW BEST:: SOT 133211208 SOS 82621707 HAS SOPS 67206514 HAS SOUS 24181213 HAS SOUPS 23552460 WITH SCORE 2.3635081707E7
AT ITER 1524 NEW BEST:: SOT 133223018 SOS 82692736 HAS SOPS 67253698 HAS SOUS 24095014 HAS SOUPS 23466261 WITH SCORE 2.3548953736E7
AT ITER 1536 NEW BEST:: SOT 133222373 SOS 82690906 HAS SOPS 67250406 HAS SOUS 24089733 HAS SOUPS 23460980 WITH SCORE 2.3543670906E7
AT ITER 1556 NEW BEST:: SOT 133238062 SOS 82736835 HAS SOPS 67293727 HAS SOUS 24086956 HAS SOUPS 23458203 WITH SCORE 2.3540939835E7
AT ITER 1566 NEW BEST:: SOT 133242531 SOS 82752436 HAS SOPS 67304239 HAS SOUS 24084146 HAS SOUPS 23455393 WITH SCORE 2.3538145436E7
AT ITER 1582 NEW BEST:: SOT 133250800 SOS 82781228 HAS SOPS 67327738 HAS SOUS 24075130 HAS SOUPS 23446377 WITH SCORE 2.3529158228E7
AT ITER 1611 NEW BEST:: SOT 133236152 SOS 82775107 HAS SOPS 67319826 HAS SOUS 24021219 HAS SOUPS 23392464 WITH SCORE 2.3475239107E7
AT ITER 1625 NEW BEST:: SOT 133235963 SOS 82782940 HAS SOPS 67326900 HAS SOUS 24014032 HAS SOUPS 23385277 WITH SCORE 2.346805994E7
AT ITER 1634 NEW BEST:: SOT 133235855 SOS 82782556 HAS SOPS 67326372 HAS SOUS 24013821 HAS SOUPS 23385066 WITH SCORE 2.3467848556E7
AT ITER 1640 NEW BEST:: SOT 133236631 SOS 82775730 HAS SOPS 67315498 HAS SOUS 24010553 HAS SOUPS 23381798 WITH SCORE 2.346457373E7
AT ITER 1678 NEW BEST:: SOT 133235937 SOS 82773924 HAS SOPS 67316106 HAS SOUS 24008617 HAS SOUPS 23379862 WITH SCORE 2.3462635924E7
AT ITER 1689 NEW BEST:: SOT 133244741 SOS 82791208 HAS SOPS 67333614 HAS SOUS 24006894 HAS SOUPS 23378139 WITH SCORE 2.3460930208E7
AT ITER 1728 NEW BEST:: SOT 133226009 SOS 82766299 HAS SOPS 67311492 HAS SOUS 23982949 HAS SOUPS 23355103 WITH SCORE 2.3437869299E7
AT ITER 1748 NEW BEST:: SOT 133232636 SOS 82779912 HAS SOPS 67319375 HAS SOUS 23977464 HAS SOUPS 23349535 WITH SCORE 2.3432314912E7
AT ITER 1753 NEW BEST:: SOT 133223876 SOS 82770548 HAS SOPS 67308152 HAS SOUS 23958412 HAS SOUPS 23330527 WITH SCORE 2.3413297548E7
AT ITER 1778 NEW BEST:: SOT 133170281 SOS 82712253 HAS SOPS 67245898 HAS SOUS 23915337 HAS SOUPS 23287437 WITH SCORE 2.3370149253E7
AT ITER 1782 NEW BEST:: SOT 133169007 SOS 82710890 HAS SOPS 67243703 HAS SOUS 23911421 HAS SOUPS 23283625 WITH SCORE 2.336633589E7
AT ITER 1786 NEW BEST:: SOT 133171776 SOS 82712874 HAS SOPS 67246778 HAS SOUS 23907933 HAS SOUPS 23280385 WITH SCORE 2.3363097874E7
AT ITER 1788 NEW BEST:: SOT 133164319 SOS 82700446 HAS SOPS 67239129 HAS SOUS 23875138 HAS SOUPS 23251005 WITH SCORE 2.3333705446E7
AT ITER 1808 NEW BEST:: SOT 133162112 SOS 82697968 HAS SOPS 67236975 HAS SOUS 23870742 HAS SOUPS 23246609 WITH SCORE 2.3329306968E7
AT ITER 1812 NEW BEST:: SOT 133141973 SOS 82676743 HAS SOPS 67221373 HAS SOUS 23869161 HAS SOUPS 23245028 WITH SCORE 2.3327704743E7
AT ITER 1819 NEW BEST:: SOT 133142645 SOS 82682392 HAS SOPS 67225216 HAS SOUS 23868195 HAS SOUPS 23244062 WITH SCORE 2.3326744392E7
AT ITER 1833 NEW BEST:: SOT 133150819 SOS 82715681 HAS SOPS 67240344 HAS SOUS 23837690 HAS SOUPS 23213557 WITH SCORE 2.3296272681E7
AT ITER 1840 NEW BEST:: SOT 133148144 SOS 82710267 HAS SOPS 67236302 HAS SOUS 23834935 HAS SOUPS 23211192 WITH SCORE 2.3293902267E7
AT ITER 1843 NEW BEST:: SOT 133148496 SOS 82710948 HAS SOPS 67237151 HAS SOUS 23834141 HAS SOUPS 23210398 WITH SCORE 2.3293108948E7
AT ITER 1847 NEW BEST:: SOT 133138516 SOS 82701292 HAS SOPS 67228852 HAS SOUS 23815305 HAS SOUPS 23191454 WITH SCORE 2.3274155292E7
AT ITER 1850 NEW BEST:: SOT 133150301 SOS 82760822 HAS SOPS 67267246 HAS SOUS 23785341 HAS SOUPS 23161490 WITH SCORE 2.3244250822E7
AT ITER 1861 NEW BEST:: SOT 133137319 SOS 82742771 HAS SOPS 67249829 HAS SOUS 23770172 HAS SOUPS 23146321 WITH SCORE 2.3229063771E7
AT ITER 1875 NEW BEST:: SOT 133149395 SOS 82781523 HAS SOPS 67265545 HAS SOUS 23765570 HAS SOUPS 23141408 WITH SCORE 2.3224189523E7
AT ITER 1880 NEW BEST:: SOT 133150021 SOS 82782446 HAS SOPS 67260963 HAS SOUS 23761394 HAS SOUPS 23137232 WITH SCORE 2.3220014446E7
AT ITER 1884 NEW BEST:: SOT 133149815 SOS 82781675 HAS SOPS 67259864 HAS SOUS 23760432 HAS SOUPS 23136270 WITH SCORE 2.3219051675E7
AT ITER 1891 NEW BEST:: SOT 133122655 SOS 82735985 HAS SOPS 67238995 HAS SOUS 23692252 HAS SOUPS 23070792 WITH SCORE 2.3153527985E7
AT ITER 1896 NEW BEST:: SOT 133117686 SOS 82725003 HAS SOPS 67228388 HAS SOUS 23690412 HAS SOUPS 23068952 WITH SCORE 2.3151677003E7
AT ITER 1904 NEW BEST:: SOT 133119196 SOS 82708063 HAS SOPS 67264209 HAS SOUS 23674262 HAS SOUPS 23052802 WITH SCORE 2.3135510063E7
AT ITER 1912 NEW BEST:: SOT 133113949 SOS 82698637 HAS SOPS 67255032 HAS SOUS 23668167 HAS SOUPS 23046707 WITH SCORE 2.3129405637E7
AT ITER 1916 NEW BEST:: SOT 133112578 SOS 82699893 HAS SOPS 67252260 HAS SOUS 23661689 HAS SOUPS 23040229 WITH SCORE 2.3122928893E7
AT ITER 1924 NEW BEST:: SOT 133110793 SOS 82699737 HAS SOPS 67249398 HAS SOUS 23650900 HAS SOUPS 23029440 WITH SCORE 2.3112139737E7
AT ITER 1928 NEW BEST:: SOT 133120719 SOS 82710971 HAS SOPS 67268422 HAS SOUS 23646454 HAS SOUPS 23025085 WITH SCORE 2.3107795971E7
AT ITER 1977 NEW BEST:: SOT 133113907 SOS 82703865 HAS SOPS 67263257 HAS SOUS 23645184 HAS SOUPS 23024642 WITH SCORE 2.3107345865E7
AT ITER 1995 NEW BEST:: SOT 133104800 SOS 82686480 HAS SOPS 67251951 HAS SOUS 23641147 HAS SOUPS 23020605 WITH SCORE 2.310329148E7
AT ITER 2014 NEW BEST:: SOT 133106486 SOS 82709734 HAS SOPS 67282066 HAS SOUS 23627948 HAS SOUPS 23007406 WITH SCORE 2.3090115734E7
AT ITER 2041 NEW BEST:: SOT 133100788 SOS 82693437 HAS SOPS 67261692 HAS SOUS 23621595 HAS SOUPS 23001053 WITH SCORE 2.3083746437E7
AT ITER 2042 NEW BEST:: SOT 132954690 SOS 82464630 HAS SOPS 67030919 HAS SOUS 23587473 HAS SOUPS 22967329 WITH SCORE 2.304979363E7
AT ITER 2054 NEW BEST:: SOT 133019711 SOS 82632855 HAS SOPS 67180152 HAS SOUS 23582599 HAS SOUPS 22962455 WITH SCORE 2.3045087855E7
AT ITER 2065 NEW BEST:: SOT 133010996 SOS 82582118 HAS SOPS 67136832 HAS SOUS 23579314 HAS SOUPS 22959170 WITH SCORE 2.3041752118E7
AT ITER 2100 NEW BEST:: SOT 133011845 SOS 82588528 HAS SOPS 67139974 HAS SOUS 23577592 HAS SOUPS 22957448 WITH SCORE 2.3040036528E7
AT ITER 2113 NEW BEST:: SOT 133011320 SOS 82587859 HAS SOPS 67138981 HAS SOUS 23576239 HAS SOUPS 22956107 WITH SCORE 2.3038694859E7
AT ITER 2120 NEW BEST:: SOT 133010681 SOS 82587973 HAS SOPS 67139118 HAS SOUS 23574908 HAS SOUPS 22954776 WITH SCORE 2.3037363973E7
AT ITER 2123 NEW BEST:: SOT 132988459 SOS 82544087 HAS SOPS 67109024 HAS SOUS 23556450 HAS SOUPS 22936318 WITH SCORE 2.3018862087E7
AT ITER 2130 NEW BEST:: SOT 132984767 SOS 82525380 HAS SOPS 67093825 HAS SOUS 23553419 HAS SOUPS 22933287 WITH SCORE 2.301581238E7
AT ITER 2134 NEW BEST:: SOT 132971509 SOS 82512788 HAS SOPS 67080760 HAS SOUS 23523857 HAS SOUPS 22903958 WITH SCORE 2.2986470788E7
AT ITER 2144 NEW BEST:: SOT 132990623 SOS 82565904 HAS SOPS 67128021 HAS SOUS 23520559 HAS SOUPS 22900660 WITH SCORE 2.2983225904E7
AT ITER 2178 NEW BEST:: SOT 132990677 SOS 82565982 HAS SOPS 67128068 HAS SOUS 23520408 HAS SOUPS 22900499 WITH SCORE 2.2983064982E7
AT ITER 2194 NEW BEST:: SOT 132990332 SOS 82565455 HAS SOPS 67127646 HAS SOUS 23519776 HAS SOUPS 22899867 WITH SCORE 2.2982432455E7
AT ITER 2204 NEW BEST:: SOT 132992890 SOS 82571755 HAS SOPS 67132497 HAS SOUS 23519285 HAS SOUPS 22899376 WITH SCORE 2.2981947755E7
AT ITER 2205 NEW BEST:: SOT 132976744 SOS 82552095 HAS SOPS 67119977 HAS SOUS 23511309 HAS SOUPS 22891400 WITH SCORE 2.2973952095E7
AT ITER 2224 NEW BEST:: SOT 132975298 SOS 82541350 HAS SOPS 67113360 HAS SOUS 23499348 HAS SOUPS 22879592 WITH SCORE 2.296213335E7
AT ITER 2242 NEW BEST:: SOT 132990382 SOS 82575383 HAS SOPS 67159581 HAS SOUS 23485400 HAS SOUPS 22865644 WITH SCORE 2.2948219383E7
AT ITER 2244 NEW BEST:: SOT 133010571 SOS 82628191 HAS SOPS 67194013 HAS SOUS 23485258 HAS SOUPS 22865502 WITH SCORE 2.2948130191E7
AT ITER 2248 NEW BEST:: SOT 133011671 SOS 82631526 HAS SOPS 67191751 HAS SOUS 23476786 HAS SOUPS 22857030 WITH SCORE 2.2939661526E7
AT ITER 2255 NEW BEST:: SOT 132993142 SOS 82595694 HAS SOPS 67157803 HAS SOUS 23452218 HAS SOUPS 22832462 WITH SCORE 2.2915057694E7
AT ITER 2285 NEW BEST:: SOT 132993035 SOS 82596357 HAS SOPS 67158340 HAS SOUS 23446867 HAS SOUPS 22827060 WITH SCORE 2.2909656357E7
AT ITER 2286 NEW BEST:: SOT 132989890 SOS 82592993 HAS SOPS 67151643 HAS SOUS 23440188 HAS SOUPS 22820381 WITH SCORE 2.2902973993E7
AT ITER 2289 NEW BEST:: SOT 132988325 SOS 82592770 HAS SOPS 67150029 HAS SOUS 23434221 HAS SOUPS 22814414 WITH SCORE 2.289700677E7
AT ITER 2314 NEW BEST:: SOT 132988265 SOS 82592526 HAS SOPS 67149823 HAS SOUS 23434033 HAS SOUPS 22814226 WITH SCORE 2.2896818526E7
AT ITER 2320 NEW BEST:: SOT 132992867 SOS 82608023 HAS SOPS 67189033 HAS SOUS 23416604 HAS SOUPS 22796797 WITH SCORE 2.2879405023E7
AT ITER 2344 NEW BEST:: SOT 132994538 SOS 82615458 HAS SOPS 67192669 HAS SOUS 23413968 HAS SOUPS 22794161 WITH SCORE 2.2876776458E7
AT ITER 2352 NEW BEST:: SOT 132986926 SOS 82613568 HAS SOPS 67207135 HAS SOUS 23403291 HAS SOUPS 22783484 WITH SCORE 2.2866097568E7
AT ITER 2354 NEW BEST:: SOT 132975918 SOS 82600077 HAS SOPS 67192770 HAS SOUS 23375927 HAS SOUPS 22756120 WITH SCORE 2.2838720077E7
AT ITER 2358 NEW BEST:: SOT 133007308 SOS 82656666 HAS SOPS 67258950 HAS SOUS 23367330 HAS SOUPS 22749338 WITH SCORE 2.2831994666E7
AT ITER 2361 NEW BEST:: SOT 132972170 SOS 82599619 HAS SOPS 67210053 HAS SOUS 23342039 HAS SOUPS 22724047 WITH SCORE 2.2806646619E7
AT ITER 2365 NEW BEST:: SOT 132956632 SOS 82563471 HAS SOPS 67179982 HAS SOUS 23326084 HAS SOUPS 22708092 WITH SCORE 2.2790655471E7
AT ITER 2369 NEW BEST:: SOT 132956152 SOS 82568082 HAS SOPS 67178080 HAS SOUS 23319257 HAS SOUPS 22701265 WITH SCORE 2.2783833082E7
AT ITER 2382 NEW BEST:: SOT 132956544 SOS 82568786 HAS SOPS 67178478 HAS SOUS 23319161 HAS SOUPS 22701123 WITH SCORE 2.2783691786E7
AT ITER 2417 NEW BEST:: SOT 132957686 SOS 82570004 HAS SOPS 67179810 HAS SOUS 23317194 HAS SOUPS 22699156 WITH SCORE 2.2781726004E7
AT ITER 2419 NEW BEST:: SOT 132956556 SOS 82571924 HAS SOPS 67178078 HAS SOUS 23309771 HAS SOUPS 22691733 WITH SCORE 2.2774304924E7
AT ITER 2430 NEW BEST:: SOT 132955378 SOS 82567856 HAS SOPS 67175673 HAS SOUS 23309691 HAS SOUPS 22691653 WITH SCORE 2.2774220856E7
AT ITER 2453 NEW BEST:: SOT 132962418 SOS 82587536 HAS SOPS 67188596 HAS SOUS 23306389 HAS SOUPS 22688351 WITH SCORE 2.2770938536E7
AT ITER 2465 NEW BEST:: SOT 132969412 SOS 82595477 HAS SOPS 67192684 HAS SOUS 23302133 HAS SOUPS 22684097 WITH SCORE 2.2766692477E7
AT ITER 2480 NEW BEST:: SOT 132972607 SOS 82607292 HAS SOPS 67202854 HAS SOUS 23294623 HAS SOUPS 22676587 WITH SCORE 2.2759194292E7
AT ITER 2484 NEW BEST:: SOT 132975214 SOS 82607778 HAS SOPS 67190324 HAS SOUS 23258756 HAS SOUPS 22642112 WITH SCORE 2.2724719778E7
AT ITER 2490 NEW BEST:: SOT 132984070 SOS 82623496 HAS SOPS 67203935 HAS SOUS 23255546 HAS SOUPS 22638902 WITH SCORE 2.2721525496E7
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15410080 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16071280 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-4"
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-4, 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-167889194200104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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