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.r451-smll-167912643800688.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 StigmergyElection-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 51M
-rw-r--r-- 1 mcc users 9.4K Feb 26 16:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 16:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 16:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 16:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 26 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 16:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 16:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 50M 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 1679351149561

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=StigmergyElection-PT-10a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 10a
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: 142 places, 50162 transitions, 999212 arcs.
AT ITER 0 NEW BEST:: SOT 3823840 SOS 1317400 HAS SOPS 1235212 HAS SOUS 41991 HAS SOUPS 41951 WITH SCORE 43268.4
AT ITER 5 NEW BEST:: SOT 3823887 SOS 1317398 HAS SOPS 1235210 HAS SOUS 41974 HAS SOUPS 41934 WITH SCORE 43251.398
AT ITER 11 NEW BEST:: SOT 3914927 SOS 1408415 HAS SOPS 1306872 HAS SOUS 30155 HAS SOUPS 30098 WITH SCORE 31506.415
AT ITER 13 NEW BEST:: SOT 3913183 SOS 1406671 HAS SOPS 1305128 HAS SOUS 29907 HAS SOUPS 29850 WITH SCORE 31256.671
AT ITER 16 NEW BEST:: SOT 3913181 SOS 1406667 HAS SOPS 1305124 HAS SOUS 29905 HAS SOUPS 29848 WITH SCORE 31254.667
AT ITER 17 NEW BEST:: SOT 3913226 SOS 1406697 HAS SOPS 1303942 HAS SOUS 29465 HAS SOUPS 29408 WITH SCORE 30814.697
AT ITER 18 NEW BEST:: SOT 3913221 SOS 1406691 HAS SOPS 1303936 HAS SOUS 29460 HAS SOUPS 29403 WITH SCORE 30809.691
AT ITER 23 NEW BEST:: SOT 3902306 SOS 1642385 HAS SOPS 1539630 HAS SOUS 29213 HAS SOUPS 29156 WITH SCORE 30798.385
AT ITER 27 NEW BEST:: SOT 3902295 SOS 1642374 HAS SOPS 1539619 HAS SOUS 29200 HAS SOUPS 29143 WITH SCORE 30785.374
AT ITER 35 NEW BEST:: SOT 3902310 SOS 1642384 HAS SOPS 1537975 HAS SOUS 27895 HAS SOUPS 27838 WITH SCORE 29480.384
AT ITER 38 NEW BEST:: SOT 3893307 SOS 1870838 HAS SOPS 1772221 HAS SOUS 27388 HAS SOUPS 27331 WITH SCORE 29201.838
AT ITER 47 NEW BEST:: SOT 3893294 SOS 1870798 HAS SOPS 1772181 HAS SOUS 27375 HAS SOUPS 27318 WITH SCORE 29188.798
AT ITER 48 NEW BEST:: SOT 3893233 SOS 1870648 HAS SOPS 1772031 HAS SOUS 27295 HAS SOUPS 27238 WITH SCORE 29108.648
AT ITER 58 NEW BEST:: SOT 3893257 SOS 1870656 HAS SOPS 1772039 HAS SOUS 27279 HAS SOUPS 27222 WITH SCORE 29092.656
AT ITER 59 NEW BEST:: SOT 3893306 SOS 1870628 HAS SOPS 1772011 HAS SOUS 27207 HAS SOUPS 27150 WITH SCORE 29020.628
AT ITER 61 NEW BEST:: SOT 3893418 SOS 1870682 HAS SOPS 1772065 HAS SOUS 27190 HAS SOUPS 27133 WITH SCORE 29003.682
AT ITER 72 NEW BEST:: SOT 3893383 SOS 1870653 HAS SOPS 1772032 HAS SOUS 27157 HAS SOUPS 27100 WITH SCORE 28970.653
AT ITER 73 NEW BEST:: SOT 3893383 SOS 1870627 HAS SOPS 1772006 HAS SOUS 27144 HAS SOUPS 27087 WITH SCORE 28957.627
AT ITER 76 NEW BEST:: SOT 3893380 SOS 1870621 HAS SOPS 1772000 HAS SOUS 27141 HAS SOUPS 27084 WITH SCORE 28954.621
AT ITER 77 NEW BEST:: SOT 3864048 SOS 2029299 HAS SOPS 1947172 HAS SOUS 25758 HAS SOUPS 25701 WITH SCORE 27730.299
AT ITER 84 NEW BEST:: SOT 3864264 SOS 2029347 HAS SOPS 1947220 HAS SOUS 25743 HAS SOUPS 25686 WITH SCORE 27715.347
AT ITER 86 NEW BEST:: SOT 3862519 SOS 2029910 HAS SOPS 1945550 HAS SOUS 25478 HAS SOUPS 25323 WITH SCORE 27352.91
AT ITER 87 NEW BEST:: SOT 3862370 SOS 2029843 HAS SOPS 1945483 HAS SOUS 25456 HAS SOUPS 25301 WITH SCORE 27330.843
AT ITER 90 NEW BEST:: SOT 3862350 SOS 1847139 HAS SOPS 1762743 HAS SOUS 25436 HAS SOUPS 25281 WITH SCORE 27128.139
AT ITER 92 NEW BEST:: SOT 3862324 SOS 1847100 HAS SOPS 1762704 HAS SOUS 25423 HAS SOUPS 25268 WITH SCORE 27115.1
AT ITER 95 NEW BEST:: SOT 3862273 SOS 1846930 HAS SOPS 1762602 HAS SOUS 25372 HAS SOUPS 25217 WITH SCORE 27063.93
AT ITER 97 NEW BEST:: SOT 3862274 SOS 1846928 HAS SOPS 1762602 HAS SOUS 25371 HAS SOUPS 25216 WITH SCORE 27062.928
AT ITER 109 NEW BEST:: SOT 3862278 SOS 1846917 HAS SOPS 1762591 HAS SOUS 25360 HAS SOUPS 25205 WITH SCORE 27051.917
AT ITER 115 NEW BEST:: SOT 3862357 SOS 1846947 HAS SOPS 1762621 HAS SOUS 25358 HAS SOUPS 25203 WITH SCORE 27049.947
AT ITER 116 NEW BEST:: SOT 3862357 SOS 1846944 HAS SOPS 1762604 HAS SOUS 25358 HAS SOUPS 25203 WITH SCORE 27049.944
AT ITER 123 NEW BEST:: SOT 3862654 SOS 1846954 HAS SOPS 1762614 HAS SOUS 25293 HAS SOUPS 25138 WITH SCORE 26984.954
AT ITER 134 NEW BEST:: SOT 3862654 SOS 1846954 HAS SOPS 1762436 HAS SOUS 25037 HAS SOUPS 24882 WITH SCORE 26728.954
AT ITER 151 NEW BEST:: SOT 3862682 SOS 1846940 HAS SOPS 1760474 HAS SOUS 24637 HAS SOUPS 24482 WITH SCORE 26328.94
AT ITER 160 NEW BEST:: SOT 3862682 SOS 1846931 HAS SOPS 1760465 HAS SOUS 24628 HAS SOUPS 24473 WITH SCORE 26319.931
AT ITER 171 NEW BEST:: SOT 3863015 SOS 1845310 HAS SOPS 1760890 HAS SOUS 24504 HAS SOUPS 24417 WITH SCORE 26262.31
AT ITER 183 NEW BEST:: SOT 3863033 SOS 1845241 HAS SOPS 1760807 HAS SOUS 24458 HAS SOUPS 24371 WITH SCORE 26216.241
AT ITER 184 NEW BEST:: SOT 3863205 SOS 1845243 HAS SOPS 1760819 HAS SOUS 24412 HAS SOUPS 24325 WITH SCORE 26170.243
AT ITER 185 NEW BEST:: SOT 3863201 SOS 1845231 HAS SOPS 1760807 HAS SOUS 24404 HAS SOUPS 24317 WITH SCORE 26162.231
AT ITER 186 NEW BEST:: SOT 3863242 SOS 1845099 HAS SOPS 1760675 HAS SOUS 24269 HAS SOUPS 24182 WITH SCORE 26027.099
AT ITER 202 NEW BEST:: SOT 3863288 SOS 1845104 HAS SOPS 1760680 HAS SOUS 24257 HAS SOUPS 24170 WITH SCORE 26015.104
AT ITER 205 NEW BEST:: SOT 3863284 SOS 1845096 HAS SOPS 1760672 HAS SOUS 24253 HAS SOUPS 24166 WITH SCORE 26011.096
AT ITER 207 NEW BEST:: SOT 3863373 SOS 1845094 HAS SOPS 1760670 HAS SOUS 24215 HAS SOUPS 24128 WITH SCORE 25973.094
AT ITER 212 NEW BEST:: SOT 3863373 SOS 1845074 HAS SOPS 1758258 HAS SOUS 22157 HAS SOUPS 22070 WITH SCORE 23915.074
AT ITER 229 NEW BEST:: SOT 3863363 SOS 1845044 HAS SOPS 1758228 HAS SOUS 22147 HAS SOUPS 22060 WITH SCORE 23905.044
AT ITER 257 NEW BEST:: SOT 3863335 SOS 1844988 HAS SOPS 1758172 HAS SOUS 22090 HAS SOUPS 22003 WITH SCORE 23847.988
AT ITER 260 NEW BEST:: SOT 3863350 SOS 1844988 HAS SOPS 1758172 HAS SOUS 22075 HAS SOUPS 21988 WITH SCORE 23832.988
AT ITER 264 NEW BEST:: SOT 3863320 SOS 1844924 HAS SOPS 1758108 HAS SOUS 22024 HAS SOUPS 21937 WITH SCORE 23781.924
AT ITER 270 NEW BEST:: SOT 3863320 SOS 1844946 HAS SOPS 1754382 HAS SOUS 21604 HAS SOUPS 21517 WITH SCORE 23361.946
AT ITER 286 NEW BEST:: SOT 3863303 SOS 1844912 HAS SOPS 1754348 HAS SOUS 21570 HAS SOUPS 21483 WITH SCORE 23327.912
AT ITER 297 NEW BEST:: SOT 3863308 SOS 1844916 HAS SOPS 1754352 HAS SOUS 21569 HAS SOUPS 21482 WITH SCORE 23326.916
AT ITER 299 NEW BEST:: SOT 3862685 SOS 1846607 HAS SOPS 1753688 HAS SOUS 21609 HAS SOUPS 21444 WITH SCORE 23290.607
AT ITER 320 NEW BEST:: SOT 3862678 SOS 1846593 HAS SOPS 1753674 HAS SOUS 21609 HAS SOUPS 21444 WITH SCORE 23290.593
AT ITER 329 NEW BEST:: SOT 3862725 SOS 1846562 HAS SOPS 1753647 HAS SOUS 21526 HAS SOUPS 21361 WITH SCORE 23207.562
AT ITER 332 NEW BEST:: SOT 3862724 SOS 1846561 HAS SOPS 1753647 HAS SOUS 21525 HAS SOUPS 21361 WITH SCORE 23207.561
AT ITER 333 NEW BEST:: SOT 3862714 SOS 1846541 HAS SOPS 1753627 HAS SOUS 21513 HAS SOUPS 21349 WITH SCORE 23195.541
AT ITER 350 NEW BEST:: SOT 3862831 SOS 1846529 HAS SOPS 1753703 HAS SOUS 21510 HAS SOUPS 21346 WITH SCORE 23192.529
AT ITER 352 NEW BEST:: SOT 3862750 SOS 1846376 HAS SOPS 1753604 HAS SOUS 21445 HAS SOUPS 21281 WITH SCORE 23127.376
AT ITER 353 NEW BEST:: SOT 3862633 SOS 1846351 HAS SOPS 1753577 HAS SOUS 21442 HAS SOUPS 21278 WITH SCORE 23124.351
AT ITER 355 NEW BEST:: SOT 3862639 SOS 1846354 HAS SOPS 1753580 HAS SOUS 21439 HAS SOUPS 21275 WITH SCORE 23121.354
AT ITER 356 NEW BEST:: SOT 3862767 SOS 1846287 HAS SOPS 1753548 HAS SOUS 21335 HAS SOUPS 21171 WITH SCORE 23017.287
AT ITER 358 NEW BEST:: SOT 3862749 SOS 1846251 HAS SOPS 1755294 HAS SOUS 19459 HAS SOUPS 19295 WITH SCORE 21141.251
AT ITER 382 NEW BEST:: SOT 3862738 SOS 1846229 HAS SOPS 1755272 HAS SOUS 19437 HAS SOUPS 19273 WITH SCORE 21119.229
AT ITER 400 NEW BEST:: SOT 3862736 SOS 1840695 HAS SOPS 1749736 HAS SOUS 19436 HAS SOUPS 19272 WITH SCORE 21112.695
AT ITER 411 NEW BEST:: SOT 3862739 SOS 1840692 HAS SOPS 1749733 HAS SOUS 19433 HAS SOUPS 19269 WITH SCORE 21109.692
AT ITER 416 NEW BEST:: SOT 3862739 SOS 1840692 HAS SOPS 1749209 HAS SOUS 19369 HAS SOUPS 19205 WITH SCORE 21045.692
AT ITER 422 NEW BEST:: SOT 3862761 SOS 1840676 HAS SOPS 1749223 HAS SOUS 19361 HAS SOUPS 19197 WITH SCORE 21037.676
AT ITER 427 NEW BEST:: SOT 3862757 SOS 1840672 HAS SOPS 1749219 HAS SOUS 19357 HAS SOUPS 19193 WITH SCORE 21033.672
AT ITER 428 NEW BEST:: SOT 3862723 SOS 1840664 HAS SOPS 1749185 HAS SOUS 19357 HAS SOUPS 19193 WITH SCORE 21033.664
AT ITER 429 NEW BEST:: SOT 3862746 SOS 1840624 HAS SOPS 1749167 HAS SOUS 19345 HAS SOUPS 19181 WITH SCORE 21021.624
AT ITER 440 NEW BEST:: SOT 3862746 SOS 1819109 HAS SOPS 1733171 HAS SOUS 18964 HAS SOUPS 18801 WITH SCORE 20620.109
AT ITER 442 NEW BEST:: SOT 3862647 SOS 1818958 HAS SOPS 1733070 HAS SOUS 18903 HAS SOUPS 18740 WITH SCORE 20558.958
AT ITER 451 NEW BEST:: SOT 3862660 SOS 1818912 HAS SOPS 1733060 HAS SOUS 18886 HAS SOUPS 18726 WITH SCORE 20544.912
AT ITER 485 NEW BEST:: SOT 3862659 SOS 1818910 HAS SOPS 1733058 HAS SOUS 18885 HAS SOUPS 18725 WITH SCORE 20543.91
AT ITER 500 NEW BEST:: SOT 3862676 SOS 1818893 HAS SOPS 1710132 HAS SOUS 18350 HAS SOUPS 18190 WITH SCORE 20008.893
AT ITER 507 NEW BEST:: SOT 3862674 SOS 1818890 HAS SOPS 1710129 HAS SOUS 18348 HAS SOUPS 18188 WITH SCORE 20006.89
AT ITER 511 NEW BEST:: SOT 3862679 SOS 1818875 HAS SOPS 1710119 HAS SOUS 18338 HAS SOUPS 18178 WITH SCORE 19996.875
AT ITER 525 NEW BEST:: SOT 3862551 SOS 1818741 HAS SOPS 1709995 HAS SOUS 18296 HAS SOUPS 18136 WITH SCORE 19954.741
AT ITER 534 NEW BEST:: SOT 3862545 SOS 1818735 HAS SOPS 1709989 HAS SOUS 18293 HAS SOUPS 18133 WITH SCORE 19951.735
AT ITER 539 NEW BEST:: SOT 3862541 SOS 1818677 HAS SOPS 1709981 HAS SOUS 18265 HAS SOUPS 18105 WITH SCORE 19923.677
AT ITER 541 NEW BEST:: SOT 3862533 SOS 1818661 HAS SOPS 1709965 HAS SOUS 18257 HAS SOUPS 18097 WITH SCORE 19915.661
AT ITER 564 NEW BEST:: SOT 3862533 SOS 1818645 HAS SOPS 1709949 HAS SOUS 18249 HAS SOUPS 18089 WITH SCORE 19907.645
AT ITER 580 NEW BEST:: SOT 3862496 SOS 1818649 HAS SOPS 1709916 HAS SOUS 18244 HAS SOUPS 18080 WITH SCORE 19898.649
AT ITER 585 NEW BEST:: SOT 3862498 SOS 1786083 HAS SOPS 1709910 HAS SOUS 18240 HAS SOUPS 18078 WITH SCORE 19864.083
AT ITER 590 NEW BEST:: SOT 3862498 SOS 1786077 HAS SOPS 1709050 HAS SOUS 18046 HAS SOUPS 17884 WITH SCORE 19670.077
AT ITER 617 NEW BEST:: SOT 3862497 SOS 1786076 HAS SOPS 1709048 HAS SOUS 18044 HAS SOUPS 17882 WITH SCORE 19668.076
AT ITER 627 NEW BEST:: SOT 3862483 SOS 1786084 HAS SOPS 1709056 HAS SOUS 18030 HAS SOUPS 17868 WITH SCORE 19654.084
AT ITER 629 NEW BEST:: SOT 3862467 SOS 1786070 HAS SOPS 1709024 HAS SOUS 18014 HAS SOUPS 17852 WITH SCORE 19638.07
AT ITER 632 NEW BEST:: SOT 3862467 SOS 1786062 HAS SOPS 1709016 HAS SOUS 18006 HAS SOUPS 17844 WITH SCORE 19630.062
AT ITER 636 NEW BEST:: SOT 3862488 SOS 1786056 HAS SOPS 1709032 HAS SOUS 18001 HAS SOUPS 17839 WITH SCORE 19625.056
AT ITER 657 NEW BEST:: SOT 3862508 SOS 1650516 HAS SOPS 1573492 HAS SOUS 18004 HAS SOUPS 17842 WITH SCORE 19492.516
AT ITER 676 NEW BEST:: SOT 3862507 SOS 1650515 HAS SOPS 1573490 HAS SOUS 18002 HAS SOUPS 17840 WITH SCORE 19490.515
AT ITER 680 NEW BEST:: SOT 3862609 SOS 1650522 HAS SOPS 1573514 HAS SOUS 17991 HAS SOUPS 17829 WITH SCORE 19479.522
AT ITER 694 NEW BEST:: SOT 3862655 SOS 1650515 HAS SOPS 1573507 HAS SOUS 17971 HAS SOUPS 17809 WITH SCORE 19459.515
AT ITER 695 NEW BEST:: SOT 3862697 SOS 1650515 HAS SOPS 1573507 HAS SOUS 17938 HAS SOUPS 17776 WITH SCORE 19426.515
AT ITER 696 NEW BEST:: SOT 3862697 SOS 1650511 HAS SOPS 1573503 HAS SOUS 17934 HAS SOUPS 17772 WITH SCORE 19422.511
AT ITER 745 NEW BEST:: SOT 3862687 SOS 1650505 HAS SOPS 1573497 HAS SOUS 17931 HAS SOUPS 17769 WITH SCORE 19419.505
AT ITER 777 NEW BEST:: SOT 3862726 SOS 1650499 HAS SOPS 1573491 HAS SOUS 17920 HAS SOUPS 17758 WITH SCORE 19408.499
AT ITER 790 NEW BEST:: SOT 3862725 SOS 1650396 HAS SOPS 1573307 HAS SOUS 17820 HAS SOUPS 17658 WITH SCORE 19308.396
AT ITER 806 NEW BEST:: SOT 3862725 SOS 1650559 HAS SOPS 1573303 HAS SOUS 17819 HAS SOUPS 17654 WITH SCORE 19304.559
AT ITER 829 NEW BEST:: SOT 3862715 SOS 1650549 HAS SOPS 1573293 HAS SOUS 17819 HAS SOUPS 17654 WITH SCORE 19304.549
AT ITER 840 NEW BEST:: SOT 3862697 SOS 1650543 HAS SOPS 1573281 HAS SOUS 17812 HAS SOUPS 17647 WITH SCORE 19297.543
AT ITER 842 NEW BEST:: SOT 3862689 SOS 1650535 HAS SOPS 1573265 HAS SOUS 17796 HAS SOUPS 17631 WITH SCORE 19281.535
AT ITER 849 NEW BEST:: SOT 3862671 SOS 1650499 HAS SOPS 1573229 HAS SOUS 17782 HAS SOUPS 17617 WITH SCORE 19267.499
AT ITER 855 NEW BEST:: SOT 3862676 SOS 1650492 HAS SOPS 1573222 HAS SOUS 17775 HAS SOUPS 17610 WITH SCORE 19260.492
AT ITER 858 NEW BEST:: SOT 3862669 SOS 1650467 HAS SOPS 1573186 HAS SOUS 17758 HAS SOUPS 17593 WITH SCORE 19243.467
AT ITER 866 NEW BEST:: SOT 3862662 SOS 1650453 HAS SOPS 1573172 HAS SOUS 17744 HAS SOUPS 17579 WITH SCORE 19229.453
AT ITER 869 NEW BEST:: SOT 3862658 SOS 1650665 HAS SOPS 1573156 HAS SOUS 17740 HAS SOUPS 17571 WITH SCORE 19221.665
AT ITER 878 NEW BEST:: SOT 3862631 SOS 1650647 HAS SOPS 1573138 HAS SOUS 17730 HAS SOUPS 17561 WITH SCORE 19211.647
AT ITER 882 NEW BEST:: SOT 3862605 SOS 1650657 HAS SOPS 1573086 HAS SOUS 17704 HAS SOUPS 17535 WITH SCORE 19185.657
AT ITER 883 NEW BEST:: SOT 3862607 SOS 1650641 HAS SOPS 1573070 HAS SOUS 17690 HAS SOUPS 17521 WITH SCORE 19171.641
AT ITER 892 NEW BEST:: SOT 3862620 SOS 1650637 HAS SOPS 1573066 HAS SOUS 17680 HAS SOUPS 17511 WITH SCORE 19161.637
AT ITER 911 NEW BEST:: SOT 3862620 SOS 1650622 HAS SOPS 1573051 HAS SOUS 17679 HAS SOUPS 17510 WITH SCORE 19160.622
AT ITER 928 NEW BEST:: SOT 3862612 SOS 1650614 HAS SOPS 1573043 HAS SOUS 17679 HAS SOUPS 17510 WITH SCORE 19160.614
AT ITER 975 NEW BEST:: SOT 3862603 SOS 1650601 HAS SOPS 1573030 HAS SOUS 17670 HAS SOUPS 17501 WITH SCORE 19151.601
AT ITER 988 NEW BEST:: SOT 3862586 SOS 1650567 HAS SOPS 1572996 HAS SOUS 17653 HAS SOUPS 17484 WITH SCORE 19134.567
AT ITER 995 NEW BEST:: SOT 3862581 SOS 1650557 HAS SOPS 1572986 HAS SOUS 17648 HAS SOUPS 17479 WITH SCORE 19129.557
AT ITER 1004 NEW BEST:: SOT 3862581 SOS 1650555 HAS SOPS 1572984 HAS SOUS 17647 HAS SOUPS 17478 WITH SCORE 19128.555
AT ITER 1017 NEW BEST:: SOT 3862598 SOS 1650538 HAS SOPS 1572967 HAS SOUS 17630 HAS SOUPS 17461 WITH SCORE 19111.538
AT ITER 1018 NEW BEST:: SOT 3862599 SOS 1650538 HAS SOPS 1572967 HAS SOUS 17629 HAS SOUPS 17460 WITH SCORE 19110.538
AT ITER 1030 NEW BEST:: SOT 3862599 SOS 1632270 HAS SOPS 1554699 HAS SOUS 17629 HAS SOUPS 17460 WITH SCORE 19092.27
AT ITER 1035 NEW BEST:: SOT 3862590 SOS 1632270 HAS SOPS 1554681 HAS SOUS 17620 HAS SOUPS 17451 WITH SCORE 19083.27
AT ITER 1044 NEW BEST:: SOT 3862583 SOS 1632274 HAS SOPS 1554678 HAS SOUS 17620 HAS SOUPS 17450 WITH SCORE 19082.274
AT ITER 1045 NEW BEST:: SOT 3862581 SOS 1632270 HAS SOPS 1554674 HAS SOUS 17616 HAS SOUPS 17446 WITH SCORE 19078.27
AT ITER 1069 NEW BEST:: SOT 3862589 SOS 1632270 HAS SOPS 1554674 HAS SOUS 17615 HAS SOUPS 17445 WITH SCORE 19077.27
AT ITER 1094 NEW BEST:: SOT 3862583 SOS 1632267 HAS SOPS 1554671 HAS SOUS 17612 HAS SOUPS 17442 WITH SCORE 19074.267
AT ITER 1117 NEW BEST:: SOT 3862575 SOS 1632263 HAS SOPS 1554667 HAS SOUS 17612 HAS SOUPS 17442 WITH SCORE 19074.263
AT ITER 1126 NEW BEST:: SOT 3862605 SOS 1632271 HAS SOPS 1554659 HAS SOUS 17600 HAS SOUPS 17430 WITH SCORE 19062.271
AT ITER 1129 NEW BEST:: SOT 3862604 SOS 1632269 HAS SOPS 1554657 HAS SOUS 17598 HAS SOUPS 17428 WITH SCORE 19060.269
AT ITER 1181 NEW BEST:: SOT 3862381 SOS 1632233 HAS SOPS 1554601 HAS SOUS 17557 HAS SOUPS 17387 WITH SCORE 19019.233
AT ITER 1196 NEW BEST:: SOT 3862381 SOS 1632223 HAS SOPS 1554596 HAS SOUS 17557 HAS SOUPS 17387 WITH SCORE 19019.222999999998
AT ITER 1202 NEW BEST:: SOT 3862353 SOS 1632118 HAS SOPS 1554491 HAS SOUS 17488 HAS SOUPS 17318 WITH SCORE 18950.118
AT ITER 1204 NEW BEST:: SOT 3862340 SOS 1632105 HAS SOPS 1554478 HAS SOUS 17488 HAS SOUPS 17318 WITH SCORE 18950.105
AT ITER 1205 NEW BEST:: SOT 3862378 SOS 1632118 HAS SOPS 1554491 HAS SOUS 17484 HAS SOUPS 17314 WITH SCORE 18946.118
AT ITER 1219 NEW BEST:: SOT 3862368 SOS 1632098 HAS SOPS 1554471 HAS SOUS 17474 HAS SOUPS 17304 WITH SCORE 18936.097999999998
AT ITER 1220 NEW BEST:: SOT 3862368 SOS 1632098 HAS SOPS 1552175 HAS SOUS 17463 HAS SOUPS 17293 WITH SCORE 18925.097999999998
AT ITER 1221 NEW BEST:: SOT 3862329 SOS 1632020 HAS SOPS 1552097 HAS SOUS 17424 HAS SOUPS 17254 WITH SCORE 18886.02
AT ITER 1245 NEW BEST:: SOT 3862348 SOS 1632008 HAS SOPS 1552095 HAS SOUS 17420 HAS SOUPS 17250 WITH SCORE 18882.008
AT ITER 1263 NEW BEST:: SOT 3862335 SOS 1632008 HAS SOPS 1552091 HAS SOUS 17412 HAS SOUPS 17242 WITH SCORE 18874.008
AT ITER 1267 NEW BEST:: SOT 3862342 SOS 1631961 HAS SOPS 1552071 HAS SOUS 17390 HAS SOUPS 17220 WITH SCORE 18851.961
AT ITER 1271 NEW BEST:: SOT 3862348 SOS 1631919 HAS SOPS 1552029 HAS SOUS 17346 HAS SOUPS 17176 WITH SCORE 18807.919
AT ITER 1298 NEW BEST:: SOT 3862344 SOS 1631911 HAS SOPS 1552021 HAS SOUS 17338 HAS SOUPS 17168 WITH SCORE 18799.911
AT ITER 1307 NEW BEST:: SOT 3862337 SOS 1567973 HAS SOPS 1488083 HAS SOUS 17345 HAS SOUPS 17175 WITH SCORE 18742.972999999998
AT ITER 1308 NEW BEST:: SOT 3862331 SOS 1567987 HAS SOPS 1488071 HAS SOUS 17339 HAS SOUPS 17169 WITH SCORE 18736.987
AT ITER 1314 NEW BEST:: SOT 3862329 SOS 1567987 HAS SOPS 1488067 HAS SOUS 17337 HAS SOUPS 17167 WITH SCORE 18734.987
AT ITER 1344 NEW BEST:: SOT 3862311 SOS 1567981 HAS SOPS 1488061 HAS SOUS 17336 HAS SOUPS 17166 WITH SCORE 18733.981
AT ITER 1348 NEW BEST:: SOT 3862303 SOS 1567977 HAS SOPS 1488051 HAS SOUS 17334 HAS SOUPS 17164 WITH SCORE 18731.977
AT ITER 1351 NEW BEST:: SOT 3862414 SOS 1567959 HAS SOPS 1488081 HAS SOUS 17316 HAS SOUPS 17146 WITH SCORE 18713.959
AT ITER 1390 NEW BEST:: SOT 3862412 SOS 1567957 HAS SOPS 1488079 HAS SOUS 17314 HAS SOUPS 17144 WITH SCORE 18711.957
AT ITER 1407 NEW BEST:: SOT 3862409 SOS 1567954 HAS SOPS 1488070 HAS SOUS 17311 HAS SOUPS 17141 WITH SCORE 18708.954
AT ITER 1422 NEW BEST:: SOT 3862457 SOS 1567925 HAS SOPS 1488041 HAS SOUS 17277 HAS SOUPS 17107 WITH SCORE 18674.925
AT ITER 1423 NEW BEST:: SOT 3862452 SOS 1472731 HAS SOPS 1392847 HAS SOUS 17292 HAS SOUPS 17122 WITH SCORE 18594.731
AT ITER 1428 NEW BEST:: SOT 3862436 SOS 1472683 HAS SOPS 1392799 HAS SOUS 17273 HAS SOUPS 17103 WITH SCORE 18575.683
AT ITER 1441 NEW BEST:: SOT 3862436 SOS 1472675 HAS SOPS 1392791 HAS SOUS 17265 HAS SOUPS 17095 WITH SCORE 18567.675
AT ITER 1462 NEW BEST:: SOT 3862404 SOS 1472659 HAS SOPS 1392775 HAS SOUS 17265 HAS SOUPS 17095 WITH SCORE 18567.659
AT ITER 1476 NEW BEST:: SOT 3862400 SOS 1472655 HAS SOPS 1392775 HAS SOUS 17265 HAS SOUPS 17095 WITH SCORE 18567.655
AT ITER 1478 NEW BEST:: SOT 3862388 SOS 1472607 HAS SOPS 1392730 HAS SOUS 17235 HAS SOUPS 17065 WITH SCORE 18537.607
AT ITER 1490 NEW BEST:: SOT 3862391 SOS 1472604 HAS SOPS 1392730 HAS SOUS 17235 HAS SOUPS 17065 WITH SCORE 18537.604
AT ITER 1491 NEW BEST:: SOT 3862390 SOS 1472586 HAS SOPS 1392728 HAS SOUS 17233 HAS SOUPS 17063 WITH SCORE 18535.586
AT ITER 1504 NEW BEST:: SOT 3862393 SOS 1472584 HAS SOPS 1392726 HAS SOUS 17229 HAS SOUPS 17059 WITH SCORE 18531.584
AT ITER 1526 NEW BEST:: SOT 3862391 SOS 1454316 HAS SOPS 1374458 HAS SOUS 17231 HAS SOUPS 17061 WITH SCORE 18515.316
AT ITER 1544 NEW BEST:: SOT 3862388 SOS 1454325 HAS SOPS 1373357 HAS SOUS 16917 HAS SOUPS 16747 WITH SCORE 18201.325
AT ITER 1576 NEW BEST:: SOT 3862384 SOS 1454317 HAS SOPS 1373349 HAS SOUS 16913 HAS SOUPS 16743 WITH SCORE 18197.317
AT ITER 1584 NEW BEST:: SOT 3862383 SOS 1454316 HAS SOPS 1373348 HAS SOUS 16912 HAS SOUPS 16742 WITH SCORE 18196.316
AT ITER 1651 NEW BEST:: SOT 3862386 SOS 1454316 HAS SOPS 1373348 HAS SOUS 16909 HAS SOUPS 16739 WITH SCORE 18193.316
AT ITER 1668 NEW BEST:: SOT 3862384 SOS 1454312 HAS SOPS 1373344 HAS SOUS 16905 HAS SOUPS 16735 WITH SCORE 18189.312
AT ITER 1690 NEW BEST:: SOT 3862394 SOS 1454302 HAS SOPS 1373334 HAS SOUS 16895 HAS SOUPS 16725 WITH SCORE 18179.302
AT ITER 1693 NEW BEST:: SOT 3862399 SOS 1454288 HAS SOPS 1373320 HAS SOUS 16884 HAS SOUPS 16714 WITH SCORE 18168.288
AT ITER 1698 NEW BEST:: SOT 3862397 SOS 1454286 HAS SOPS 1373316 HAS SOUS 16882 HAS SOUPS 16712 WITH SCORE 18166.286
AT ITER 1700 NEW BEST:: SOT 3862397 SOS 1454261 HAS SOPS 1373298 HAS SOUS 16875 HAS SOUPS 16705 WITH SCORE 18159.261
AT ITER 1723 NEW BEST:: SOT 3862395 SOS 1454253 HAS SOPS 1373294 HAS SOUS 16873 HAS SOUPS 16703 WITH SCORE 18157.253
AT ITER 1746 NEW BEST:: SOT 3862393 SOS 1454247 HAS SOPS 1373292 HAS SOUS 16871 HAS SOUPS 16701 WITH SCORE 18155.247
AT ITER 1751 NEW BEST:: SOT 3862392 SOS 1454247 HAS SOPS 1373290 HAS SOUS 16870 HAS SOUPS 16700 WITH SCORE 18154.247
AT ITER 1763 NEW BEST:: SOT 3862389 SOS 1454241 HAS SOPS 1373284 HAS SOUS 16868 HAS SOUPS 16698 WITH SCORE 18152.241
AT ITER 1770 NEW BEST:: SOT 3862387 SOS 1454239 HAS SOPS 1373280 HAS SOUS 16866 HAS SOUPS 16696 WITH SCORE 18150.239
AT ITER 1786 NEW BEST:: SOT 3862386 SOS 1454234 HAS SOPS 1373281 HAS SOUS 16865 HAS SOUPS 16695 WITH SCORE 18149.234
AT ITER 1814 NEW BEST:: SOT 3862391 SOS 1454232 HAS SOPS 1373284 HAS SOUS 16863 HAS SOUPS 16693 WITH SCORE 18147.232
AT ITER 1844 NEW BEST:: SOT 3862388 SOS 1454226 HAS SOPS 1373278 HAS SOUS 16859 HAS SOUPS 16689 WITH SCORE 18143.226
AT ITER 1858 NEW BEST:: SOT 3862388 SOS 1454222 HAS SOPS 1373274 HAS SOUS 16855 HAS SOUPS 16685 WITH SCORE 18139.222
AT ITER 1889 NEW BEST:: SOT 3872227 SOS 1464090 HAS SOPS 1378876 HAS SOUS 16351 HAS SOUPS 16181 WITH SCORE 17645.09
AT ITER 1890 NEW BEST:: SOT 3872215 SOS 1464076 HAS SOPS 1378862 HAS SOUS 16349 HAS SOUPS 16179 WITH SCORE 17643.076
AT ITER 1894 NEW BEST:: SOT 3872230 SOS 1464066 HAS SOPS 1378860 HAS SOUS 16340 HAS SOUPS 16170 WITH SCORE 17634.066
AT ITER 1901 NEW BEST:: SOT 3872237 SOS 1464071 HAS SOPS 1378856 HAS SOUS 16338 HAS SOUPS 16168 WITH SCORE 17632.071
AT ITER 1923 NEW BEST:: SOT 3872227 SOS 1464076 HAS SOPS 1380037 HAS SOUS 16332 HAS SOUPS 16162 WITH SCORE 17626.076
AT ITER 1979 NEW BEST:: SOT 3872227 SOS 1464076 HAS SOPS 1377357 HAS SOUS 16302 HAS SOUPS 16132 WITH SCORE 17596.076
AT ITER 1983 NEW BEST:: SOT 3872172 SOS 1464040 HAS SOPS 1377295 HAS SOUS 16264 HAS SOUPS 16094 WITH SCORE 17558.04
AT ITER 2009 NEW BEST:: SOT 3872167 SOS 1464020 HAS SOPS 1377295 HAS SOUS 16259 HAS SOUPS 16089 WITH SCORE 17553.02
AT ITER 2043 NEW BEST:: SOT 3872115 SOS 1464000 HAS SOPS 1377275 HAS SOUS 16254 HAS SOUPS 16084 WITH SCORE 17548.0
AT ITER 2053 NEW BEST:: SOT 3872112 SOS 1463997 HAS SOPS 1377269 HAS SOUS 16248 HAS SOUPS 16078 WITH SCORE 17541.997
AT ITER 2089 NEW BEST:: SOT 3872116 SOS 1464001 HAS SOPS 1376033 HAS SOUS 16237 HAS SOUPS 16067 WITH SCORE 17531.001
AT ITER 2104 NEW BEST:: SOT 3872113 SOS 1463999 HAS SOPS 1376027 HAS SOUS 16234 HAS SOUPS 16060 WITH SCORE 17523.999
AT ITER 2132 NEW BEST:: SOT 3872120 SOS 1463978 HAS SOPS 1376013 HAS SOUS 16220 HAS SOUPS 16046 WITH SCORE 17509.978
AT ITER 2139 NEW BEST:: SOT 3872123 SOS 1463980 HAS SOPS 1374559 HAS SOUS 16208 HAS SOUPS 16034 WITH SCORE 17497.98
AT ITER 2243 NEW BEST:: SOT 3872122 SOS 1463978 HAS SOPS 1374557 HAS SOUS 16207 HAS SOUPS 16033 WITH SCORE 17496.978
AT ITER 2253 NEW BEST:: SOT 3872121 SOS 1463976 HAS SOPS 1374555 HAS SOUS 16206 HAS SOUPS 16032 WITH SCORE 17495.976
AT ITER 2316 NEW BEST:: SOT 3872121 SOS 1463968 HAS SOPS 1374555 HAS SOUS 16206 HAS SOUPS 16032 WITH SCORE 17495.968
AT ITER 2403 NEW BEST:: SOT 3871957 SOS 1463892 HAS SOPS 1374479 HAS SOUS 16193 HAS SOUPS 16019 WITH SCORE 17482.892
AT ITER 2445 NEW BEST:: SOT 3872133 SOS 1464068 HAS SOPS 1373739 HAS SOUS 15293 HAS SOUPS 15119 WITH SCORE 16583.068
AT ITER 2455 NEW BEST:: SOT 3872248 SOS 1464094 HAS SOPS 1373765 HAS SOUS 15285 HAS SOUPS 15111 WITH SCORE 16575.094
AT ITER 2470 NEW BEST:: SOT 3872245 SOS 1464088 HAS SOPS 1373759 HAS SOUS 15279 HAS SOUPS 15105 WITH SCORE 16569.088
AT ITER 2496 NEW BEST:: SOT 3872245 SOS 1464079 HAS SOPS 1371060 HAS SOUS 15164 HAS SOUPS 14990 WITH SCORE 16454.079
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15383444 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16101484 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="StigmergyElection-PT-10a"
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 StigmergyElection-PT-10a, 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 r451-smll-167912643800688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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