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.r259-smll-167863534200224.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 NeoElection-PT-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534200224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 75M
-rw-r--r-- 1 mcc users 2.0M Feb 26 18:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 6.4M Feb 26 18:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.4M Feb 26 17:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 4.5M Feb 26 17:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 813K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.9M Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.6M Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4M Feb 26 20:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 11M Feb 26 20:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.6M Feb 26 19:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16M Feb 26 19:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 130K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 229K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 20M 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 1678713485099

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=NeoElection-PT-8
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 8
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: 10062 places, 22266 transitions, 129195 arcs.
AT ITER 0 NEW BEST:: SOT 59124236 SOS 31724834 HAS SOPS 31654414 HAS SOUS 5718633 HAS SOUPS 5711591 WITH SCORE 5743315.834
AT ITER 22 NEW BEST:: SOT 59124236 SOS 31715496 HAS SOPS 31645076 HAS SOUS 5717621 HAS SOUPS 5710579 WITH SCORE 5742294.496
AT ITER 127 NEW BEST:: SOT 59123441 SOS 31710414 HAS SOPS 31639994 HAS SOUS 5716438 HAS SOUPS 5709396 WITH SCORE 5741106.414
AT ITER 128 NEW BEST:: SOT 59123441 SOS 31692270 HAS SOPS 31621850 HAS SOUS 5715054 HAS SOUPS 5708012 WITH SCORE 5739704.27
AT ITER 316 NEW BEST:: SOT 59123441 SOS 31673316 HAS SOPS 31602896 HAS SOUS 5713651 HAS SOUPS 5706609 WITH SCORE 5738282.316
AT ITER 514 NEW BEST:: SOT 59123441 SOS 31667324 HAS SOPS 31596904 HAS SOUS 5712966 HAS SOUPS 5705924 WITH SCORE 5737591.324
AT ITER 545 NEW BEST:: SOT 59123441 SOS 31654920 HAS SOPS 31584500 HAS SOUS 5711828 HAS SOUPS 5704786 WITH SCORE 5736440.92
AT ITER 668 NEW BEST:: SOT 59097571 SOS 31764762 HAS SOPS 31694342 HAS SOUS 5688437 HAS SOUPS 5681395 WITH SCORE 5713159.762
AT ITER 692 NEW BEST:: SOT 59097571 SOS 31758126 HAS SOPS 31687706 HAS SOUS 5687571 HAS SOUPS 5680529 WITH SCORE 5712287.126
AT ITER 694 NEW BEST:: SOT 59097571 SOS 31746198 HAS SOPS 31675778 HAS SOUS 5686388 HAS SOUPS 5679346 WITH SCORE 5711092.198
AT ITER 708 NEW BEST:: SOT 59097571 SOS 31737146 HAS SOPS 31666726 HAS SOUS 5684056 HAS SOUPS 5677014 WITH SCORE 5708751.146
AT ITER 733 NEW BEST:: SOT 59097571 SOS 31719661 HAS SOPS 31649241 HAS SOUS 5682726 HAS SOUPS 5675684 WITH SCORE 5707403.661
AT ITER 917 NEW BEST:: SOT 59097571 SOS 31714709 HAS SOPS 31644289 HAS SOUS 5682532 HAS SOUPS 5675490 WITH SCORE 5707204.709
AT ITER 963 NEW BEST:: SOT 59097571 SOS 31691473 HAS SOPS 31621053 HAS SOUS 5675944 HAS SOUPS 5668902 WITH SCORE 5700593.473
AT ITER 1046 NEW BEST:: SOT 59097571 SOS 31675171 HAS SOPS 31604751 HAS SOUS 5674709 HAS SOUPS 5667667 WITH SCORE 5699342.171
AT ITER 1050 NEW BEST:: SOT 59097571 SOS 31662725 HAS SOPS 31592305 HAS SOUS 5673628 HAS SOUPS 5666586 WITH SCORE 5698248.725
AT ITER 1111 NEW BEST:: SOT 59097571 SOS 31658231 HAS SOPS 31587811 HAS SOUS 5673119 HAS SOUPS 5666077 WITH SCORE 5697735.231
AT ITER 1125 NEW BEST:: SOT 59097571 SOS 31646905 HAS SOPS 31576485 HAS SOUS 5671996 HAS SOUPS 5664954 WITH SCORE 5696600.905
AT ITER 1181 NEW BEST:: SOT 59097571 SOS 31639863 HAS SOPS 31569443 HAS SOUS 5671079 HAS SOUPS 5664037 WITH SCORE 5695676.863
AT ITER 1201 NEW BEST:: SOT 59097571 SOS 31623091 HAS SOPS 31552671 HAS SOUS 5669666 HAS SOUPS 5662624 WITH SCORE 5694247.091
AT ITER 1278 NEW BEST:: SOT 59097571 SOS 31607755 HAS SOPS 31537335 HAS SOUS 5668763 HAS SOUPS 5661721 WITH SCORE 5693328.755
AT ITER 1329 NEW BEST:: SOT 59097571 SOS 31602139 HAS SOPS 31531719 HAS SOUS 5668124 HAS SOUPS 5661082 WITH SCORE 5692684.139
AT ITER 1347 NEW BEST:: SOT 59097571 SOS 31601427 HAS SOPS 31531007 HAS SOUS 5667946 HAS SOUPS 5660904 WITH SCORE 5692505.427
AT ITER 1384 NEW BEST:: SOT 59097571 SOS 31571169 HAS SOPS 31500749 HAS SOUS 5665601 HAS SOUPS 5658559 WITH SCORE 5690130.169
AT ITER 1403 NEW BEST:: SOT 59097571 SOS 31559118 HAS SOPS 31488698 HAS SOUS 5664643 HAS SOUPS 5657601 WITH SCORE 5689160.118
AT ITER 1413 NEW BEST:: SOT 59097571 SOS 31553182 HAS SOPS 31482762 HAS SOUS 5663976 HAS SOUPS 5656934 WITH SCORE 5688487.182
AT ITER 1415 NEW BEST:: SOT 59097571 SOS 31543312 HAS SOPS 31472892 HAS SOUS 5663310 HAS SOUPS 5656268 WITH SCORE 5687811.312
AT ITER 1424 NEW BEST:: SOT 59096703 SOS 31892078 HAS SOPS 31821658 HAS SOUS 5661657 HAS SOUPS 5654615 WITH SCORE 5686507.078
AT ITER 1504 NEW BEST:: SOT 59096962 SOS 31885063 HAS SOPS 31814643 HAS SOUS 5661203 HAS SOUPS 5654161 WITH SCORE 5686046.063
AT ITER 1600 NEW BEST:: SOT 59096962 SOS 31871763 HAS SOPS 31801343 HAS SOUS 5659879 HAS SOUPS 5652837 WITH SCORE 5684708.763
AT ITER 1742 NEW BEST:: SOT 59096962 SOS 31867465 HAS SOPS 31797045 HAS SOUS 5659265 HAS SOUPS 5652223 WITH SCORE 5684090.465
AT ITER 1797 NEW BEST:: SOT 59096962 SOS 31854221 HAS SOPS 31783801 HAS SOUS 5658201 HAS SOUPS 5651159 WITH SCORE 5683013.221
AT ITER 1844 NEW BEST:: SOT 59096962 SOS 31848131 HAS SOPS 31777711 HAS SOUS 5657766 HAS SOUPS 5650724 WITH SCORE 5682572.131
AT ITER 1917 NEW BEST:: SOT 59096962 SOS 31848203 HAS SOPS 31777783 HAS SOUS 5657730 HAS SOUPS 5650688 WITH SCORE 5682536.203
AT ITER 1947 NEW BEST:: SOT 59096962 SOS 31848203 HAS SOPS 31777783 HAS SOUS 5657024 HAS SOUPS 5649982 WITH SCORE 5681830.203
AT ITER 2019 NEW BEST:: SOT 59096962 SOS 31845796 HAS SOPS 31775376 HAS SOUS 5656564 HAS SOUPS 5649522 WITH SCORE 5681367.796
AT ITER 2060 NEW BEST:: SOT 59097536 SOS 31845407 HAS SOPS 31774987 HAS SOUS 5656026 HAS SOUPS 5648984 WITH SCORE 5680829.407
AT ITER 2078 NEW BEST:: SOT 59102782 SOS 31853142 HAS SOPS 31780233 HAS SOUS 5657223 HAS SOUPS 5648860 WITH SCORE 5680713.142
AT ITER 2128 NEW BEST:: SOT 59102782 SOS 31847344 HAS SOPS 31774435 HAS SOUS 5656800 HAS SOUPS 5648437 WITH SCORE 5680284.344
AT ITER 2233 NEW BEST:: SOT 59102782 SOS 31835318 HAS SOPS 31762409 HAS SOUS 5655651 HAS SOUPS 5647288 WITH SCORE 5679123.318
AT ITER 2279 NEW BEST:: SOT 59102782 SOS 31830138 HAS SOPS 31757229 HAS SOUS 5654911 HAS SOUPS 5646548 WITH SCORE 5678378.138
AT ITER 2333 NEW BEST:: SOT 59102782 SOS 31809085 HAS SOPS 31736176 HAS SOUS 5652125 HAS SOUPS 5643762 WITH SCORE 5675571.085
AT ITER 2372 NEW BEST:: SOT 59102782 SOS 31809085 HAS SOPS 31736176 HAS SOUS 5651847 HAS SOUPS 5643484 WITH SCORE 5675293.085
AT ITER 2461 NEW BEST:: SOT 59102782 SOS 31809085 HAS SOPS 31736176 HAS SOUS 5651688 HAS SOUPS 5643325 WITH SCORE 5675134.085
AT ITER 2521 NEW BEST:: SOT 59102782 SOS 31800615 HAS SOPS 31727706 HAS SOUS 5650758 HAS SOUPS 5642395 WITH SCORE 5674195.615
AT ITER 2524 NEW BEST:: SOT 59102782 SOS 31792929 HAS SOPS 31720020 HAS SOUS 5649659 HAS SOUPS 5641296 WITH SCORE 5673088.929
AT ITER 2573 NEW BEST:: SOT 59102782 SOS 31777487 HAS SOPS 31704578 HAS SOUS 5648287 HAS SOUPS 5639924 WITH SCORE 5671701.487
AT ITER 2584 NEW BEST:: SOT 59102782 SOS 31770865 HAS SOPS 31697956 HAS SOUS 5647434 HAS SOUPS 5639071 WITH SCORE 5670841.865
AT ITER 2613 NEW BEST:: SOT 59101536 SOS 31777575 HAS SOPS 31704666 HAS SOUS 5646628 HAS SOUPS 5638265 WITH SCORE 5670042.575
AT ITER 2794 NEW BEST:: SOT 59101536 SOS 31769875 HAS SOPS 31696966 HAS SOUS 5645884 HAS SOUPS 5637521 WITH SCORE 5669290.875
AT ITER 2953 NEW BEST:: SOT 59102386 SOS 31774258 HAS SOPS 31701349 HAS SOUS 5641072 HAS SOUPS 5632709 WITH SCORE 5664483.258
AT ITER 2965 NEW BEST:: SOT 59102386 SOS 31775027 HAS SOPS 31702118 HAS SOUS 5640519 HAS SOUPS 5632156 WITH SCORE 5663931.027
AT ITER 3027 NEW BEST:: SOT 59102386 SOS 31770519 HAS SOPS 31697610 HAS SOUS 5639553 HAS SOUPS 5631190 WITH SCORE 5662960.519
AT ITER 3033 NEW BEST:: SOT 59102386 SOS 31761532 HAS SOPS 31688623 HAS SOUS 5639283 HAS SOUPS 5630920 WITH SCORE 5662681.532
AT ITER 3116 NEW BEST:: SOT 59102386 SOS 31746216 HAS SOPS 31673307 HAS SOUS 5637928 HAS SOUPS 5629565 WITH SCORE 5661311.216
AT ITER 3151 NEW BEST:: SOT 59102386 SOS 31727722 HAS SOPS 31655314 HAS SOUS 5635817 HAS SOUPS 5627454 WITH SCORE 5659181.722
AT ITER 3161 NEW BEST:: SOT 59102386 SOS 31727652 HAS SOPS 31655244 HAS SOUS 5635817 HAS SOUPS 5627454 WITH SCORE 5659181.652
AT ITER 3189 NEW BEST:: SOT 59099617 SOS 31731870 HAS SOPS 31659462 HAS SOUS 5633453 HAS SOUPS 5625090 WITH SCORE 5656821.87
AT ITER 3248 NEW BEST:: SOT 59099617 SOS 31731870 HAS SOPS 31659462 HAS SOUS 5633298 HAS SOUPS 5624935 WITH SCORE 5656666.87
AT ITER 3288 NEW BEST:: SOT 59099617 SOS 31717268 HAS SOPS 31644860 HAS SOUS 5632048 HAS SOUPS 5623685 WITH SCORE 5655402.268
AT ITER 3291 NEW BEST:: SOT 59099617 SOS 31717288 HAS SOPS 31644880 HAS SOUS 5632038 HAS SOUPS 5623675 WITH SCORE 5655392.288
AT ITER 3297 NEW BEST:: SOT 59099617 SOS 31717288 HAS SOPS 31644880 HAS SOUS 5631705 HAS SOUPS 5623342 WITH SCORE 5655059.288
AT ITER 3337 NEW BEST:: SOT 59099617 SOS 31717288 HAS SOPS 31644880 HAS SOUS 5630615 HAS SOUPS 5622252 WITH SCORE 5653969.288
AT ITER 3341 NEW BEST:: SOT 59099617 SOS 31709264 HAS SOPS 31636856 HAS SOUS 5629463 HAS SOUPS 5621100 WITH SCORE 5652809.264
AT ITER 3425 NEW BEST:: SOT 59099617 SOS 31693290 HAS SOPS 31620882 HAS SOUS 5628179 HAS SOUPS 5619816 WITH SCORE 5651509.29
AT ITER 3454 NEW BEST:: SOT 59099617 SOS 31678432 HAS SOPS 31606024 HAS SOUS 5626793 HAS SOUPS 5618430 WITH SCORE 5650108.432
AT ITER 3484 NEW BEST:: SOT 59096272 SOS 31683264 HAS SOPS 31610856 HAS SOUS 5623927 HAS SOUPS 5615564 WITH SCORE 5647247.264
AT ITER 3514 NEW BEST:: SOT 59096272 SOS 31676946 HAS SOPS 31608345 HAS SOUS 5623537 HAS SOUPS 5615174 WITH SCORE 5646850.946
AT ITER 3517 NEW BEST:: SOT 59096272 SOS 31657581 HAS SOPS 31588980 HAS SOUS 5616582 HAS SOUPS 5608219 WITH SCORE 5639876.581
AT ITER 3541 NEW BEST:: SOT 59096272 SOS 31650581 HAS SOPS 31581980 HAS SOUS 5615582 HAS SOUPS 5607219 WITH SCORE 5638869.581
AT ITER 3554 NEW BEST:: SOT 59096272 SOS 31637883 HAS SOPS 31569282 HAS SOUS 5614541 HAS SOUPS 5606178 WITH SCORE 5637815.883
AT ITER 3599 NEW BEST:: SOT 59096272 SOS 31630155 HAS SOPS 31561554 HAS SOUS 5613437 HAS SOUPS 5605074 WITH SCORE 5636704.155
AT ITER 3652 NEW BEST:: SOT 59096272 SOS 31630575 HAS SOPS 31561974 HAS SOUS 5613227 HAS SOUPS 5604864 WITH SCORE 5636494.575
AT ITER 3799 NEW BEST:: SOT 59096272 SOS 31613013 HAS SOPS 31544412 HAS SOUS 5612288 HAS SOUPS 5603925 WITH SCORE 5635538.013
AT ITER 3826 NEW BEST:: SOT 59096272 SOS 31598481 HAS SOPS 31529880 HAS SOUS 5610825 HAS SOUPS 5602462 WITH SCORE 5634060.481
AT ITER 3863 NEW BEST:: SOT 59094893 SOS 31608532 HAS SOPS 31539931 HAS SOUS 5610079 HAS SOUPS 5601716 WITH SCORE 5633324.532
AT ITER 3926 NEW BEST:: SOT 59094893 SOS 31592768 HAS SOPS 31524167 HAS SOUS 5607826 HAS SOUPS 5599463 WITH SCORE 5631055.768
AT ITER 4045 NEW BEST:: SOT 59094893 SOS 31578712 HAS SOPS 31510111 HAS SOUS 5606706 HAS SOUPS 5598343 WITH SCORE 5629921.712
AT ITER 4169 NEW BEST:: SOT 59094893 SOS 31551715 HAS SOPS 31483114 HAS SOUS 5598432 HAS SOUPS 5590069 WITH SCORE 5621620.715
AT ITER 4217 NEW BEST:: SOT 59094893 SOS 31551715 HAS SOPS 31483114 HAS SOUS 5598312 HAS SOUPS 5589949 WITH SCORE 5621500.715
AT ITER 4242 NEW BEST:: SOT 59094893 SOS 31538275 HAS SOPS 31469674 HAS SOUS 5596392 HAS SOUPS 5588029 WITH SCORE 5619567.275
AT ITER 4302 NEW BEST:: SOT 59094893 SOS 31526579 HAS SOPS 31457978 HAS SOUS 5595217 HAS SOUPS 5586854 WITH SCORE 5618380.579
AT ITER 4381 NEW BEST:: SOT 59094893 SOS 31522953 HAS SOPS 31454352 HAS SOUS 5595217 HAS SOUPS 5586854 WITH SCORE 5618376.953
AT ITER 4465 NEW BEST:: SOT 59094893 SOS 31521259 HAS SOPS 31452658 HAS SOUS 5594974 HAS SOUPS 5586611 WITH SCORE 5618132.259
AT ITER 4566 NEW BEST:: SOT 59094893 SOS 31505442 HAS SOPS 31436841 HAS SOUS 5589657 HAS SOUPS 5581294 WITH SCORE 5612799.442
AT ITER 4593 NEW BEST:: SOT 59094893 SOS 31505442 HAS SOPS 31436841 HAS SOUS 5589363 HAS SOUPS 5581000 WITH SCORE 5612505.442
AT ITER 4654 NEW BEST:: SOT 59093833 SOS 31504382 HAS SOPS 31436030 HAS SOUS 5587789 HAS SOUPS 5579426 WITH SCORE 5610930.382
AT ITER 4746 NEW BEST:: SOT 59092780 SOS 31488587 HAS SOPS 31420477 HAS SOUS 5583974 HAS SOUPS 5575611 WITH SCORE 5607099.587
AT ITER 4789 NEW BEST:: SOT 59092780 SOS 31488587 HAS SOPS 31420477 HAS SOUS 5583812 HAS SOUPS 5575449 WITH SCORE 5606937.587
AT ITER 4854 NEW BEST:: SOT 59098716 SOS 31494523 HAS SOPS 31426413 HAS SOUS 5582360 HAS SOUPS 5573997 WITH SCORE 5605491.523
AT ITER 4996 NEW BEST:: SOT 59098604 SOS 31494355 HAS SOPS 31426245 HAS SOUS 5582332 HAS SOUPS 5573969 WITH SCORE 5605463.355
AT ITER 5029 NEW BEST:: SOT 59098604 SOS 31485630 HAS SOPS 31417520 HAS SOUS 5575075 HAS SOUPS 5566712 WITH SCORE 5598197.63
AT ITER 5104 NEW BEST:: SOT 59098604 SOS 31481206 HAS SOPS 31413096 HAS SOUS 5574534 HAS SOUPS 5566171 WITH SCORE 5597652.206
AT ITER 5109 NEW BEST:: SOT 59097818 SOS 31488106 HAS SOPS 31419996 HAS SOUS 5574170 HAS SOUPS 5565807 WITH SCORE 5597295.106
AT ITER 5151 NEW BEST:: SOT 59097818 SOS 31477897 HAS SOPS 31409787 HAS SOUS 5573788 HAS SOUPS 5565425 WITH SCORE 5596902.897
AT ITER 5213 NEW BEST:: SOT 59102040 SOS 31482119 HAS SOPS 31414009 HAS SOUS 5572178 HAS SOUPS 5563815 WITH SCORE 5595297.119
AT ITER 5397 NEW BEST:: SOT 59102040 SOS 31474223 HAS SOPS 31406113 HAS SOUS 5571435 HAS SOUPS 5563072 WITH SCORE 5594546.223
AT ITER 5532 NEW BEST:: SOT 59105822 SOS 31479166 HAS SOPS 31409895 HAS SOUS 5571628 HAS SOUPS 5562104 WITH SCORE 5593583.166
AT ITER 5561 NEW BEST:: SOT 59105822 SOS 31471718 HAS SOPS 31402447 HAS SOUS 5571117 HAS SOUPS 5561593 WITH SCORE 5593064.718
AT ITER 5585 NEW BEST:: SOT 59105822 SOS 31465754 HAS SOPS 31396483 HAS SOUS 5570369 HAS SOUPS 5560845 WITH SCORE 5592310.754
AT ITER 5589 NEW BEST:: SOT 59105822 SOS 31428184 HAS SOPS 31358913 HAS SOUS 5569229 HAS SOUPS 5559705 WITH SCORE 5591133.184
AT ITER 5629 NEW BEST:: SOT 59105822 SOS 31406313 HAS SOPS 31337042 HAS SOUS 5562091 HAS SOUPS 5552567 WITH SCORE 5583973.313
AT ITER 5634 NEW BEST:: SOT 59105822 SOS 31389465 HAS SOPS 31320194 HAS SOUS 5560856 HAS SOUPS 5551332 WITH SCORE 5582721.465
AT ITER 5641 NEW BEST:: SOT 59105822 SOS 31388309 HAS SOPS 31319038 HAS SOUS 5560856 HAS SOUPS 5551332 WITH SCORE 5582720.309
AT ITER 5660 NEW BEST:: SOT 59105822 SOS 31380987 HAS SOPS 31311716 HAS SOUS 5560333 HAS SOUPS 5550809 WITH SCORE 5582189.987
AT ITER 5698 NEW BEST:: SOT 59105822 SOS 31374337 HAS SOPS 31305066 HAS SOUS 5559967 HAS SOUPS 5550443 WITH SCORE 5581817.337
AT ITER 5759 NEW BEST:: SOT 59104807 SOS 31380648 HAS SOPS 31311377 HAS SOUS 5558952 HAS SOUPS 5549428 WITH SCORE 5580808.648
AT ITER 5893 NEW BEST:: SOT 59103972 SOS 31569118 HAS SOPS 31499847 HAS SOUS 5557312 HAS SOUPS 5547788 WITH SCORE 5579357.118
AT ITER 5903 NEW BEST:: SOT 59103972 SOS 31556502 HAS SOPS 31487231 HAS SOUS 5549881 HAS SOUPS 5540357 WITH SCORE 5571913.502
AT ITER 5978 NEW BEST:: SOT 59103972 SOS 31556971 HAS SOPS 31487700 HAS SOUS 5549134 HAS SOUPS 5539610 WITH SCORE 5571166.971
AT ITER 6027 NEW BEST:: SOT 59103620 SOS 31574193 HAS SOPS 31504922 HAS SOUS 5548932 HAS SOUPS 5539408 WITH SCORE 5570982.193
AT ITER 6065 NEW BEST:: SOT 59099209 SOS 31581410 HAS SOPS 31512139 HAS SOUS 5545502 HAS SOUPS 5535978 WITH SCORE 5567559.41
AT ITER 6090 NEW BEST:: SOT 59099209 SOS 31571036 HAS SOPS 31501765 HAS SOUS 5544517 HAS SOUPS 5534993 WITH SCORE 5566564.036
AT ITER 6093 NEW BEST:: SOT 59099209 SOS 31561636 HAS SOPS 31492365 HAS SOUS 5541402 HAS SOUPS 5531878 WITH SCORE 5563439.636
AT ITER 6107 NEW BEST:: SOT 59099209 SOS 31545628 HAS SOPS 31476357 HAS SOUS 5539191 HAS SOUPS 5529667 WITH SCORE 5561212.628
AT ITER 6171 NEW BEST:: SOT 59106841 SOS 31541730 HAS SOPS 31470321 HAS SOUS 5538300 HAS SOUPS 5526854 WITH SCORE 5558395.73
AT ITER 6178 NEW BEST:: SOT 59106841 SOS 31516325 HAS SOPS 31444916 HAS SOUS 5534166 HAS SOUPS 5522720 WITH SCORE 5554236.325
AT ITER 6297 NEW BEST:: SOT 59106841 SOS 31499855 HAS SOPS 31428446 HAS SOUS 5533194 HAS SOUPS 5521748 WITH SCORE 5553247.855
AT ITER 6418 NEW BEST:: SOT 59106841 SOS 31492855 HAS SOPS 31421446 HAS SOUS 5532694 HAS SOUPS 5521248 WITH SCORE 5552740.855
AT ITER 6531 NEW BEST:: SOT 59106841 SOS 31492891 HAS SOPS 31421482 HAS SOUS 5532676 HAS SOUPS 5521230 WITH SCORE 5552722.891
AT ITER 6546 NEW BEST:: SOT 59106841 SOS 31492891 HAS SOPS 31421482 HAS SOUS 5532374 HAS SOUPS 5520928 WITH SCORE 5552420.891
AT ITER 6552 NEW BEST:: SOT 59106841 SOS 31492891 HAS SOPS 31421482 HAS SOUS 5531202 HAS SOUPS 5519756 WITH SCORE 5551248.891
AT ITER 6585 NEW BEST:: SOT 59106841 SOS 31480347 HAS SOPS 31408938 HAS SOUS 5529972 HAS SOUPS 5518526 WITH SCORE 5550006.347
AT ITER 6626 NEW BEST:: SOT 59106841 SOS 31466627 HAS SOPS 31395218 HAS SOUS 5528012 HAS SOUPS 5516566 WITH SCORE 5548032.627
AT ITER 6687 NEW BEST:: SOT 59104718 SOS 31465951 HAS SOPS 31394542 HAS SOUS 5527870 HAS SOUPS 5516424 WITH SCORE 5547889.951
AT ITER 6780 NEW BEST:: SOT 59104718 SOS 31465951 HAS SOPS 31394542 HAS SOUS 5527466 HAS SOUPS 5516020 WITH SCORE 5547485.951
AT ITER 6790 NEW BEST:: SOT 59104718 SOS 31451643 HAS SOPS 31380234 HAS SOUS 5525686 HAS SOUPS 5514240 WITH SCORE 5545691.643
AT ITER 6793 NEW BEST:: SOT 59104858 SOS 31451783 HAS SOPS 31380374 HAS SOUS 5525518 HAS SOUPS 5514072 WITH SCORE 5545523.783
AT ITER 6808 NEW BEST:: SOT 59103794 SOS 31448135 HAS SOPS 31376726 HAS SOUS 5524302 HAS SOUPS 5512856 WITH SCORE 5544304.135
AT ITER 6850 NEW BEST:: SOT 59103794 SOS 31448265 HAS SOPS 31376856 HAS SOUS 5524237 HAS SOUPS 5512791 WITH SCORE 5544239.265
AT ITER 7037 NEW BEST:: SOT 59103794 SOS 31434420 HAS SOPS 31363011 HAS SOUS 5522525 HAS SOUPS 5511079 WITH SCORE 5542513.42
AT ITER 7094 NEW BEST:: SOT 59107638 SOS 31439441 HAS SOPS 31366855 HAS SOUS 5522408 HAS SOUPS 5509785 WITH SCORE 5541224.441
AT ITER 7098 NEW BEST:: SOT 59107638 SOS 31433357 HAS SOPS 31360771 HAS SOUS 5521394 HAS SOUPS 5508771 WITH SCORE 5540204.357
AT ITER 7176 NEW BEST:: SOT 59107638 SOS 31419063 HAS SOPS 31346477 HAS SOUS 5520082 HAS SOUPS 5507459 WITH SCORE 5538878.063
AT ITER 7456 NEW BEST:: SOT 59107638 SOS 31419063 HAS SOPS 31346477 HAS SOUS 5518044 HAS SOUPS 5505421 WITH SCORE 5536840.063
AT ITER 7491 NEW BEST:: SOT 59106104 SOS 31430525 HAS SOPS 31357939 HAS SOUS 5517225 HAS SOUPS 5504602 WITH SCORE 5536032.525
AT ITER 7544 NEW BEST:: SOT 59106104 SOS 31430506 HAS SOPS 31357920 HAS SOUS 5517206 HAS SOUPS 5504583 WITH SCORE 5536013.506
AT ITER 7561 NEW BEST:: SOT 59106950 SOS 31430530 HAS SOPS 31357944 HAS SOUS 5517075 HAS SOUPS 5504452 WITH SCORE 5535882.53
AT ITER 7698 NEW BEST:: SOT 59106950 SOS 31415826 HAS SOPS 31343240 HAS SOUS 5516954 HAS SOUPS 5504331 WITH SCORE 5535746.826
AT ITER 7725 NEW BEST:: SOT 59106950 SOS 31403044 HAS SOPS 31330458 HAS SOUS 5515127 HAS SOUPS 5502504 WITH SCORE 5533907.044
AT ITER 7759 NEW BEST:: SOT 59106950 SOS 31388414 HAS SOPS 31315828 HAS SOUS 5514271 HAS SOUPS 5501648 WITH SCORE 5533036.414
AT ITER 7781 NEW BEST:: SOT 59106950 SOS 31388414 HAS SOPS 31315828 HAS SOUS 5512833 HAS SOUPS 5500210 WITH SCORE 5531598.414
AT ITER 7782 NEW BEST:: SOT 59106950 SOS 31376136 HAS SOPS 31303550 HAS SOUS 5511079 HAS SOUPS 5498456 WITH SCORE 5529832.136
AT ITER 7947 NEW BEST:: SOT 59106950 SOS 31372118 HAS SOPS 31299532 HAS SOUS 5510538 HAS SOUPS 5497915 WITH SCORE 5529287.118
AT ITER 7984 NEW BEST:: SOT 59104308 SOS 31377041 HAS SOPS 31304455 HAS SOUS 5508336 HAS SOUPS 5495713 WITH SCORE 5527090.041
AT ITER 8052 NEW BEST:: SOT 59101242 SOS 31370167 HAS SOPS 31297581 HAS SOUS 5504394 HAS SOUPS 5491771 WITH SCORE 5523141.167
AT ITER 8088 NEW BEST:: SOT 59101242 SOS 31358677 HAS SOPS 31286091 HAS SOUS 5502740 HAS SOUPS 5490117 WITH SCORE 5521475.677
AT ITER 8096 NEW BEST:: SOT 59101242 SOS 31358595 HAS SOPS 31286009 HAS SOUS 5502740 HAS SOUPS 5490117 WITH SCORE 5521475.595
AT ITER 8122 NEW BEST:: SOT 59101242 SOS 31358595 HAS SOPS 31286009 HAS SOUS 5502711 HAS SOUPS 5490088 WITH SCORE 5521446.595
AT ITER 8135 NEW BEST:: SOT 59101242 SOS 31342211 HAS SOPS 31269625 HAS SOUS 5501790 HAS SOUPS 5489167 WITH SCORE 5520509.211
AT ITER 8155 NEW BEST:: SOT 59101242 SOS 31340926 HAS SOPS 31268340 HAS SOUS 5500019 HAS SOUPS 5487396 WITH SCORE 5518736.926
AT ITER 8171 NEW BEST:: SOT 59097791 SOS 31330573 HAS SOPS 31257987 HAS SOUS 5495089 HAS SOUPS 5482466 WITH SCORE 5513796.573
AT ITER 8205 NEW BEST:: SOT 59097791 SOS 31331667 HAS SOPS 31257987 HAS SOUS 5495632 HAS SOUPS 5482462 WITH SCORE 5513793.667
AT ITER 8303 NEW BEST:: SOT 59097791 SOS 31320817 HAS SOPS 31247137 HAS SOUS 5494548 HAS SOUPS 5481378 WITH SCORE 5512698.817
AT ITER 8315 NEW BEST:: SOT 59097791 SOS 31319585 HAS SOPS 31245905 HAS SOUS 5494372 HAS SOUPS 5481202 WITH SCORE 5512521.585
AT ITER 8496 NEW BEST:: SOT 59097791 SOS 31305935 HAS SOPS 31232410 HAS SOUS 5492570 HAS SOUPS 5479400 WITH SCORE 5510705.935
AT ITER 8498 NEW BEST:: SOT 59097791 SOS 31294147 HAS SOPS 31220622 HAS SOUS 5490885 HAS SOUPS 5477715 WITH SCORE 5509009.147
AT ITER 8550 NEW BEST:: SOT 59097791 SOS 31292747 HAS SOPS 31219222 HAS SOUS 5490885 HAS SOUPS 5477715 WITH SCORE 5509007.747
AT ITER 8650 NEW BEST:: SOT 59097791 SOS 31260298 HAS SOPS 31186773 HAS SOUS 5483516 HAS SOUPS 5470346 WITH SCORE 5501606.298
AT ITER 8698 NEW BEST:: SOT 59097791 SOS 31251436 HAS SOPS 31177911 HAS SOUS 5482931 HAS SOUPS 5469761 WITH SCORE 5501012.436
AT ITER 8761 NEW BEST:: SOT 59097791 SOS 31244436 HAS SOPS 31174763 HAS SOUS 5481922 HAS SOUPS 5468752 WITH SCORE 5499996.436
AT ITER 8845 NEW BEST:: SOT 59097791 SOS 31227580 HAS SOPS 31157907 HAS SOUS 5479595 HAS SOUPS 5466425 WITH SCORE 5497652.58
AT ITER 8869 NEW BEST:: SOT 59097791 SOS 31227580 HAS SOPS 31157907 HAS SOUS 5479310 HAS SOUPS 5466140 WITH SCORE 5497367.58
AT ITER 8908 NEW BEST:: SOT 59097791 SOS 31213843 HAS SOPS 31144170 HAS SOUS 5473492 HAS SOUPS 5460322 WITH SCORE 5491535.843
AT ITER 8980 NEW BEST:: SOT 59097791 SOS 31200167 HAS SOPS 31130494 HAS SOUS 5471700 HAS SOUPS 5458530 WITH SCORE 5489730.167
AT ITER 8989 NEW BEST:: SOT 59104141 SOS 31206517 HAS SOPS 31136844 HAS SOUS 5466485 HAS SOUPS 5453315 WITH SCORE 5484521.517
AT ITER 9002 NEW BEST:: SOT 59104141 SOS 31195517 HAS SOPS 31125844 HAS SOUS 5465178 HAS SOUPS 5452008 WITH SCORE 5483203.517
AT ITER 9039 NEW BEST:: SOT 59104141 SOS 31187473 HAS SOPS 31117800 HAS SOUS 5463896 HAS SOUPS 5450726 WITH SCORE 5481913.473
AT ITER 9044 NEW BEST:: SOT 59104141 SOS 31173781 HAS SOPS 31104108 HAS SOUS 5462786 HAS SOUPS 5449616 WITH SCORE 5480789.781
AT ITER 9102 NEW BEST:: SOT 59104141 SOS 31166881 HAS SOPS 31097208 HAS SOUS 5460701 HAS SOUPS 5447531 WITH SCORE 5478697.881
AT ITER 9177 NEW BEST:: SOT 59104879 SOS 31167582 HAS SOPS 31097909 HAS SOUS 5460039 HAS SOUPS 5446869 WITH SCORE 5478036.582
AT ITER 9326 NEW BEST:: SOT 59104879 SOS 31160692 HAS SOPS 31091019 HAS SOUS 5459570 HAS SOUPS 5446400 WITH SCORE 5477560.692
AT ITER 9363 NEW BEST:: SOT 59104879 SOS 31161606 HAS SOPS 31091933 HAS SOUS 5459113 HAS SOUPS 5445943 WITH SCORE 5477104.606
AT ITER 9379 NEW BEST:: SOT 59104879 SOS 31147998 HAS SOPS 31078325 HAS SOUS 5457169 HAS SOUPS 5443999 WITH SCORE 5475146.998
AT ITER 9526 NEW BEST:: SOT 59104879 SOS 31139158 HAS SOPS 31069485 HAS SOUS 5456487 HAS SOUPS 5443317 WITH SCORE 5474456.158
AT ITER 9539 NEW BEST:: SOT 59105401 SOS 31139630 HAS SOPS 31069957 HAS SOUS 5456436 HAS SOUPS 5443266 WITH SCORE 5474405.63
AT ITER 9587 NEW BEST:: SOT 59105401 SOS 31124520 HAS SOPS 31054847 HAS SOUS 5455879 HAS SOUPS 5442709 WITH SCORE 5473833.52
AT ITER 9619 NEW BEST:: SOT 59105401 SOS 31110478 HAS SOPS 31040805 HAS SOUS 5453873 HAS SOUPS 5440703 WITH SCORE 5471813.478
AT ITER 9650 NEW BEST:: SOT 59105401 SOS 31095105 HAS SOPS 31025432 HAS SOUS 5453593 HAS SOUPS 5440423 WITH SCORE 5471518.105
AT ITER 9654 NEW BEST:: SOT 59105401 SOS 31095717 HAS SOPS 31026044 HAS SOUS 5453129 HAS SOUPS 5439959 WITH SCORE 5471054.717
AT ITER 9655 NEW BEST:: SOT 59105401 SOS 31094247 HAS SOPS 31025624 HAS SOUS 5452814 HAS SOUPS 5439749 WITH SCORE 5470843.247
AT ITER 9664 NEW BEST:: SOT 59105401 SOS 31094247 HAS SOPS 31025624 HAS SOUS 5452732 HAS SOUPS 5439667 WITH SCORE 5470761.247
AT ITER 9689 NEW BEST:: SOT 59105401 SOS 31081413 HAS SOPS 31012790 HAS SOUS 5447953 HAS SOUPS 5434888 WITH SCORE 5465969.413
AT ITER 9709 NEW BEST:: SOT 59105401 SOS 31081279 HAS SOPS 31012656 HAS SOUS 5447953 HAS SOUPS 5434888 WITH SCORE 5465969.279
AT ITER 9762 NEW BEST:: SOT 59105401 SOS 31081279 HAS SOPS 31012656 HAS SOUS 5447952 HAS SOUPS 5434887 WITH SCORE 5465968.279
AT ITER 9786 NEW BEST:: SOT 59105401 SOS 31075533 HAS SOPS 31006910 HAS SOUS 5447783 HAS SOUPS 5434718 WITH SCORE 5465793.533
AT ITER 9793 NEW BEST:: SOT 59105401 SOS 31071561 HAS SOPS 31002938 HAS SOUS 5447135 HAS SOUPS 5434070 WITH SCORE 5465141.561
AT ITER 9810 NEW BEST:: SOT 59105401 SOS 31067907 HAS SOPS 30999284 HAS SOUS 5447001 HAS SOUPS 5433936 WITH SCORE 5465003.907
AT ITER 9938 NEW BEST:: SOT 59105401 SOS 31067483 HAS SOPS 30998860 HAS SOUS 5441490 HAS SOUPS 5428425 WITH SCORE 5459492.483
AT ITER 9956 NEW BEST:: SOT 59101815 SOS 31073723 HAS SOPS 31005100 HAS SOUS 5438479 HAS SOUPS 5425414 WITH SCORE 5456487.723
AT ITER 9991 NEW BEST:: SOT 59101854 SOS 31264599 HAS SOPS 31194009 HAS SOUS 5438368 HAS SOUPS 5424749 WITH SCORE 5456013.599
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13287148 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16045760 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="NeoElection-PT-8"
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 NeoElection-PT-8, 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 r259-smll-167863534200224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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