Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400328.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
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 r108-csrt-158961250400328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 29M
-rw-r--r-- 1 mcc users 320K Apr 30 13:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 762K Apr 30 13:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 245K Apr 30 13:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 667K Apr 30 13:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 30 13:04 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 352K Apr 30 13:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 961K Apr 30 13:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Apr 30 13:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 447K Apr 30 13:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 736K Apr 30 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.7M Apr 30 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 806K Apr 30 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.2M Apr 30 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 19K Apr 30 13:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 40K Apr 30 13:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 30 13:04 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 30 13:04 instance
-rw-r--r-- 1 mcc users 6 Apr 30 13:04 iscolored
-rw-r--r-- 1 mcc users 20M Apr 30 13:04 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 1589641377685

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NeoElection (PT), instance 8
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 34 NEW BEST:: SOT 59124236 SOS 31715482 HAS SOPS 31645062 HAS SOUS 5717607 HAS SOUPS 5710565 WITH SCORE 5742280.482
AT ITER 90 NEW BEST:: SOT 59124236 SOS 31707894 HAS SOPS 31637474 HAS SOUS 5716643 HAS SOUPS 5709601 WITH SCORE 5741308.894
AT ITER 100 NEW BEST:: SOT 59124236 SOS 31698836 HAS SOPS 31628416 HAS SOUS 5715414 HAS SOUPS 5708372 WITH SCORE 5740070.836
AT ITER 145 NEW BEST:: SOT 59124236 SOS 31686292 HAS SOPS 31615872 HAS SOUS 5714252 HAS SOUPS 5707210 WITH SCORE 5738896.292
AT ITER 159 NEW BEST:: SOT 59124236 SOS 31674042 HAS SOPS 31603622 HAS SOUS 5713149 HAS SOUPS 5706107 WITH SCORE 5737781.042
AT ITER 255 NEW BEST:: SOT 59124236 SOS 31658572 HAS SOPS 31588152 HAS SOUS 5711891 HAS SOUPS 5704849 WITH SCORE 5736507.572
AT ITER 294 NEW BEST:: SOT 59124236 SOS 31647022 HAS SOPS 31576602 HAS SOUS 5710747 HAS SOUPS 5703705 WITH SCORE 5735352.022
AT ITER 335 NEW BEST:: SOT 59123137 SOS 31643254 HAS SOPS 31572834 HAS SOUS 5709491 HAS SOUPS 5702449 WITH SCORE 5734092.254
AT ITER 515 NEW BEST:: SOT 59123137 SOS 31630528 HAS SOPS 31560108 HAS SOUS 5708173 HAS SOUPS 5701131 WITH SCORE 5732761.528
AT ITER 521 NEW BEST:: SOT 59119854 SOS 31620679 HAS SOPS 31550259 HAS SOUS 5703483 HAS SOUPS 5696441 WITH SCORE 5728061.679
AT ITER 543 NEW BEST:: SOT 59117911 SOS 31621555 HAS SOPS 31551135 HAS SOUS 5703432 HAS SOUPS 5696390 WITH SCORE 5728011.555
AT ITER 572 NEW BEST:: SOT 59117911 SOS 31607242 HAS SOPS 31536822 HAS SOUS 5701784 HAS SOUPS 5694742 WITH SCORE 5726349.242
AT ITER 631 NEW BEST:: SOT 59117911 SOS 31601334 HAS SOPS 31530914 HAS SOUS 5701033 HAS SOUPS 5693991 WITH SCORE 5725592.334
AT ITER 661 NEW BEST:: SOT 59117911 SOS 31589854 HAS SOPS 31519434 HAS SOUS 5699906 HAS SOUPS 5692864 WITH SCORE 5724453.854
AT ITER 662 NEW BEST:: SOT 59117911 SOS 31585794 HAS SOPS 31515374 HAS SOUS 5695497 HAS SOUPS 5688455 WITH SCORE 5720040.794
AT ITER 690 NEW BEST:: SOT 59117911 SOS 31579704 HAS SOPS 31509284 HAS SOUS 5694663 HAS SOUPS 5687621 WITH SCORE 5719200.704
AT ITER 719 NEW BEST:: SOT 59116616 SOS 31592557 HAS SOPS 31522137 HAS SOUS 5693895 HAS SOUPS 5686853 WITH SCORE 5718445.557
AT ITER 926 NEW BEST:: SOT 59116616 SOS 31583219 HAS SOPS 31512799 HAS SOUS 5693056 HAS SOUPS 5686014 WITH SCORE 5717597.219
AT ITER 972 NEW BEST:: SOT 59116616 SOS 31574873 HAS SOPS 31504453 HAS SOUS 5692803 HAS SOUPS 5685761 WITH SCORE 5717335.873
AT ITER 984 NEW BEST:: SOT 59116616 SOS 31558395 HAS SOPS 31487975 HAS SOUS 5691533 HAS SOUPS 5684491 WITH SCORE 5716049.395
AT ITER 998 NEW BEST:: SOT 59116616 SOS 31552963 HAS SOPS 31486423 HAS SOUS 5690369 HAS SOUPS 5683715 WITH SCORE 5715267.963
AT ITER 1037 NEW BEST:: SOT 59116616 SOS 31519639 HAS SOPS 31453099 HAS SOUS 5684925 HAS SOUPS 5678271 WITH SCORE 5709790.639
AT ITER 1073 NEW BEST:: SOT 59116616 SOS 31492657 HAS SOPS 31426117 HAS SOUS 5680867 HAS SOUPS 5674213 WITH SCORE 5705705.657
AT ITER 1089 NEW BEST:: SOT 59116616 SOS 31481303 HAS SOPS 31414763 HAS SOUS 5679909 HAS SOUPS 5673255 WITH SCORE 5704736.303
AT ITER 1096 NEW BEST:: SOT 59116616 SOS 31471391 HAS SOPS 31404851 HAS SOUS 5678755 HAS SOUPS 5672101 WITH SCORE 5703572.391
AT ITER 1112 NEW BEST:: SOT 59116616 SOS 31455235 HAS SOPS 31388695 HAS SOUS 5677383 HAS SOUPS 5670729 WITH SCORE 5702184.235
AT ITER 1128 NEW BEST:: SOT 59116616 SOS 31447367 HAS SOPS 31380827 HAS SOUS 5676425 HAS SOUPS 5669771 WITH SCORE 5701218.367
AT ITER 1137 NEW BEST:: SOT 59116616 SOS 31436951 HAS SOPS 31370411 HAS SOUS 5675191 HAS SOUPS 5668537 WITH SCORE 5699973.951
AT ITER 1174 NEW BEST:: SOT 59116616 SOS 31427873 HAS SOPS 31361333 HAS SOUS 5674483 HAS SOUPS 5667829 WITH SCORE 5699256.873
AT ITER 1477 NEW BEST:: SOT 59116616 SOS 31415315 HAS SOPS 31348775 HAS SOUS 5672689 HAS SOUPS 5666035 WITH SCORE 5697450.315
AT ITER 1581 NEW BEST:: SOT 59116616 SOS 31404883 HAS SOPS 31338343 HAS SOUS 5672429 HAS SOUPS 5665775 WITH SCORE 5697179.883
AT ITER 1582 NEW BEST:: SOT 59116616 SOS 31386904 HAS SOPS 31320364 HAS SOUS 5671045 HAS SOUPS 5664391 WITH SCORE 5695777.904
AT ITER 1586 NEW BEST:: SOT 59119044 SOS 31390305 HAS SOPS 31323765 HAS SOUS 5664687 HAS SOUPS 5658033 WITH SCORE 5689423.305
AT ITER 1680 NEW BEST:: SOT 59119044 SOS 31386875 HAS SOPS 31320335 HAS SOUS 5664239 HAS SOUPS 5657585 WITH SCORE 5688971.875
AT ITER 1834 NEW BEST:: SOT 59119044 SOS 31360756 HAS SOPS 31294216 HAS SOUS 5656143 HAS SOUPS 5649489 WITH SCORE 5680849.756
AT ITER 1839 NEW BEST:: SOT 59117252 SOS 31363758 HAS SOPS 31297218 HAS SOUS 5654633 HAS SOUPS 5647979 WITH SCORE 5679342.758
AT ITER 1938 NEW BEST:: SOT 59117252 SOS 31349549 HAS SOPS 31283009 HAS SOUS 5653457 HAS SOUPS 5646803 WITH SCORE 5678152.549
AT ITER 1943 NEW BEST:: SOT 59117252 SOS 31341065 HAS SOPS 31274525 HAS SOUS 5652851 HAS SOUPS 5646197 WITH SCORE 5677538.065
AT ITER 2141 NEW BEST:: SOT 59113193 SOS 31348260 HAS SOPS 31281720 HAS SOUS 5649948 HAS SOUPS 5643294 WITH SCORE 5674642.26
AT ITER 2211 NEW BEST:: SOT 59113193 SOS 31347116 HAS SOPS 31280576 HAS SOUS 5649860 HAS SOUPS 5643206 WITH SCORE 5674553.116
AT ITER 2212 NEW BEST:: SOT 59111898 SOS 31337769 HAS SOPS 31271229 HAS SOUS 5646859 HAS SOUPS 5640205 WITH SCORE 5671542.769
AT ITER 2331 NEW BEST:: SOT 59111898 SOS 31324315 HAS SOPS 31257775 HAS SOUS 5645634 HAS SOUPS 5638980 WITH SCORE 5670304.315
AT ITER 2562 NEW BEST:: SOT 59111898 SOS 31324254 HAS SOPS 31257714 HAS SOUS 5645634 HAS SOUPS 5638980 WITH SCORE 5670304.254
AT ITER 2564 NEW BEST:: SOT 59111029 SOS 31374904 HAS SOPS 31308364 HAS SOUS 5645521 HAS SOUPS 5638867 WITH SCORE 5670241.904
AT ITER 2570 NEW BEST:: SOT 59111029 SOS 31365022 HAS SOPS 31298482 HAS SOUS 5644994 HAS SOUPS 5638340 WITH SCORE 5669705.022
AT ITER 2603 NEW BEST:: SOT 59111029 SOS 31335838 HAS SOPS 31269298 HAS SOUS 5637518 HAS SOUPS 5630864 WITH SCORE 5662199.838
AT ITER 2647 NEW BEST:: SOT 59111029 SOS 31336613 HAS SOPS 31270073 HAS SOUS 5636987 HAS SOUPS 5630333 WITH SCORE 5661669.613
AT ITER 2661 NEW BEST:: SOT 59111029 SOS 31325847 HAS SOPS 31259307 HAS SOUS 5635746 HAS SOUPS 5629092 WITH SCORE 5660417.847
AT ITER 2667 NEW BEST:: SOT 59111029 SOS 31310209 HAS SOPS 31243669 HAS SOUS 5634459 HAS SOUPS 5627805 WITH SCORE 5659115.209
AT ITER 2907 NEW BEST:: SOT 59067332 SOS 31266706 HAS SOPS 31200069 HAS SOUS 5619870 HAS SOUPS 5613119 WITH SCORE 5644385.706
AT ITER 2953 NEW BEST:: SOT 59067332 SOS 31266706 HAS SOPS 31200069 HAS SOUS 5619868 HAS SOUPS 5613117 WITH SCORE 5644383.706
AT ITER 2954 NEW BEST:: SOT 59067332 SOS 31266706 HAS SOPS 31200069 HAS SOUS 5619742 HAS SOUPS 5612991 WITH SCORE 5644257.706
AT ITER 3061 NEW BEST:: SOT 59067332 SOS 31255212 HAS SOPS 31188575 HAS SOUS 5618100 HAS SOUPS 5611349 WITH SCORE 5642604.212
AT ITER 3094 NEW BEST:: SOT 59065976 SOS 31260192 HAS SOPS 31193555 HAS SOUS 5617089 HAS SOUPS 5610338 WITH SCORE 5641598.192
AT ITER 3115 NEW BEST:: SOT 59065601 SOS 31277791 HAS SOPS 31211154 HAS SOUS 5617040 HAS SOUPS 5610289 WITH SCORE 5641566.791
AT ITER 3125 NEW BEST:: SOT 59065601 SOS 31277791 HAS SOPS 31211154 HAS SOUS 5617019 HAS SOUPS 5610268 WITH SCORE 5641545.791
AT ITER 3135 NEW BEST:: SOT 59065601 SOS 31277695 HAS SOPS 31211058 HAS SOUS 5617019 HAS SOUPS 5610268 WITH SCORE 5641545.695
AT ITER 3195 NEW BEST:: SOT 59065601 SOS 31270779 HAS SOPS 31204142 HAS SOUS 5616239 HAS SOUPS 5609488 WITH SCORE 5640758.779
AT ITER 3227 NEW BEST:: SOT 59065601 SOS 31259355 HAS SOPS 31192718 HAS SOUS 5614964 HAS SOUPS 5608213 WITH SCORE 5639472.355
AT ITER 3256 NEW BEST:: SOT 59065601 SOS 31259355 HAS SOPS 31192718 HAS SOUS 5613993 HAS SOUPS 5607242 WITH SCORE 5638501.355
AT ITER 3267 NEW BEST:: SOT 59065601 SOS 31249835 HAS SOPS 31183198 HAS SOUS 5613001 HAS SOUPS 5606250 WITH SCORE 5637499.835
AT ITER 3270 NEW BEST:: SOT 59065601 SOS 31249835 HAS SOPS 31183198 HAS SOUS 5611241 HAS SOUPS 5604490 WITH SCORE 5635739.835
AT ITER 3301 NEW BEST:: SOT 59065601 SOS 31235807 HAS SOPS 31169170 HAS SOUS 5609935 HAS SOUPS 5603184 WITH SCORE 5634419.807
AT ITER 3452 NEW BEST:: SOT 59065601 SOS 31226175 HAS SOPS 31159538 HAS SOUS 5607657 HAS SOUPS 5600906 WITH SCORE 5632132.175
AT ITER 3473 NEW BEST:: SOT 59065601 SOS 31197963 HAS SOPS 31131326 HAS SOUS 5603213 HAS SOUPS 5596462 WITH SCORE 5627659.963
AT ITER 3524 NEW BEST:: SOT 59065601 SOS 31187715 HAS SOPS 31121078 HAS SOUS 5601800 HAS SOUPS 5595049 WITH SCORE 5626236.715
AT ITER 3594 NEW BEST:: SOT 59065601 SOS 31160053 HAS SOPS 31093416 HAS SOUS 5598081 HAS SOUPS 5591330 WITH SCORE 5622490.053
AT ITER 3726 NEW BEST:: SOT 59065601 SOS 31153403 HAS SOPS 31086766 HAS SOUS 5597291 HAS SOUPS 5590540 WITH SCORE 5621693.403
AT ITER 3800 NEW BEST:: SOT 59065601 SOS 31140313 HAS SOPS 31073676 HAS SOUS 5596906 HAS SOUPS 5590155 WITH SCORE 5621295.313
AT ITER 3819 NEW BEST:: SOT 59065601 SOS 31138697 HAS SOPS 31072060 HAS SOUS 5596805 HAS SOUPS 5590054 WITH SCORE 5621192.697
AT ITER 3865 NEW BEST:: SOT 59065601 SOS 31123487 HAS SOPS 31056850 HAS SOUS 5595607 HAS SOUPS 5588856 WITH SCORE 5619979.487
AT ITER 3945 NEW BEST:: SOT 59065601 SOS 31121023 HAS SOPS 31054386 HAS SOUS 5595255 HAS SOUPS 5588504 WITH SCORE 5619625.023
AT ITER 3979 NEW BEST:: SOT 59060575 SOS 31109400 HAS SOPS 31042763 HAS SOUS 5589496 HAS SOUPS 5582745 WITH SCORE 5613854.4
AT ITER 4073 NEW BEST:: SOT 59059014 SOS 31122527 HAS SOPS 31055890 HAS SOUS 5588306 HAS SOUPS 5581555 WITH SCORE 5612677.527
AT ITER 4173 NEW BEST:: SOT 59059014 SOS 31107421 HAS SOPS 31040784 HAS SOUS 5586147 HAS SOUPS 5579396 WITH SCORE 5610503.421
AT ITER 4185 NEW BEST:: SOT 59059014 SOS 31103711 HAS SOPS 31037074 HAS SOUS 5585662 HAS SOUPS 5578911 WITH SCORE 5610014.711
AT ITER 4203 NEW BEST:: SOT 59058076 SOS 31105035 HAS SOPS 31038398 HAS SOUS 5584724 HAS SOUPS 5577973 WITH SCORE 5609078.035
AT ITER 4291 NEW BEST:: SOT 59058076 SOS 31096957 HAS SOPS 31030320 HAS SOUS 5583691 HAS SOUPS 5576940 WITH SCORE 5608036.957
AT ITER 4312 NEW BEST:: SOT 59058076 SOS 31079993 HAS SOPS 31013356 HAS SOUS 5582354 HAS SOUPS 5575603 WITH SCORE 5606682.993
AT ITER 4349 NEW BEST:: SOT 59058076 SOS 31079993 HAS SOPS 31013356 HAS SOUS 5581890 HAS SOUPS 5575139 WITH SCORE 5606218.993
AT ITER 4504 NEW BEST:: SOT 59056795 SOS 31087334 HAS SOPS 31020697 HAS SOUS 5580609 HAS SOUPS 5573858 WITH SCORE 5604945.334
AT ITER 4540 NEW BEST:: SOT 59056795 SOS 31087334 HAS SOPS 31020697 HAS SOUS 5580545 HAS SOUPS 5573794 WITH SCORE 5604881.334
AT ITER 4545 NEW BEST:: SOT 59056586 SOS 31086061 HAS SOPS 31019424 HAS SOUS 5580241 HAS SOUPS 5573490 WITH SCORE 5604576.061
AT ITER 4600 NEW BEST:: SOT 59054544 SOS 31091567 HAS SOPS 31024930 HAS SOUS 5579630 HAS SOUPS 5572879 WITH SCORE 5603970.567
AT ITER 4620 NEW BEST:: SOT 59055793 SOS 31092816 HAS SOPS 31026179 HAS SOUS 5579385 HAS SOUPS 5572634 WITH SCORE 5603726.816
AT ITER 4715 NEW BEST:: SOT 59055793 SOS 31093142 HAS SOPS 31026505 HAS SOUS 5579222 HAS SOUPS 5572471 WITH SCORE 5603564.142
AT ITER 4738 NEW BEST:: SOT 59052370 SOS 31098032 HAS SOPS 31031395 HAS SOUS 5576286 HAS SOUPS 5569535 WITH SCORE 5600633.032
AT ITER 4800 NEW BEST:: SOT 59052370 SOS 31089982 HAS SOPS 31023345 HAS SOUS 5575376 HAS SOUPS 5568625 WITH SCORE 5599714.982
AT ITER 4808 NEW BEST:: SOT 59052370 SOS 31089982 HAS SOPS 31023345 HAS SOUS 5575348 HAS SOUPS 5568597 WITH SCORE 5599686.982
AT ITER 4829 NEW BEST:: SOT 59052370 SOS 31079902 HAS SOPS 31013265 HAS SOUS 5573949 HAS SOUPS 5567198 WITH SCORE 5598277.902
AT ITER 5052 NEW BEST:: SOT 59052896 SOS 31080428 HAS SOPS 31013791 HAS SOUS 5573938 HAS SOUPS 5567187 WITH SCORE 5598267.428
AT ITER 5055 NEW BEST:: SOT 59052896 SOS 31068594 HAS SOPS 31001957 HAS SOUS 5566789 HAS SOUPS 5560038 WITH SCORE 5591106.594
AT ITER 5088 NEW BEST:: SOT 59052896 SOS 31042004 HAS SOPS 30975367 HAS SOUS 5565763 HAS SOUPS 5559012 WITH SCORE 5590054.004
AT ITER 5343 NEW BEST:: SOT 59052896 SOS 31024948 HAS SOPS 30958311 HAS SOUS 5564464 HAS SOUPS 5557713 WITH SCORE 5588737.948
AT ITER 5533 NEW BEST:: SOT 59052896 SOS 31007112 HAS SOPS 30940475 HAS SOUS 5563105 HAS SOUPS 5556354 WITH SCORE 5587361.112
AT ITER 5536 NEW BEST:: SOT 58976769 SOS 30934953 HAS SOPS 30868316 HAS SOUS 5486629 HAS SOUPS 5479878 WITH SCORE 5510812.953
AT ITER 5544 NEW BEST:: SOT 58976769 SOS 30931747 HAS SOPS 30865110 HAS SOUS 5486171 HAS SOUPS 5479420 WITH SCORE 5510351.747
AT ITER 5604 NEW BEST:: SOT 58976769 SOS 30922003 HAS SOPS 30855366 HAS SOUS 5484779 HAS SOUPS 5478028 WITH SCORE 5508950.003
AT ITER 5683 NEW BEST:: SOT 58976769 SOS 30917066 HAS SOPS 30850429 HAS SOUS 5476881 HAS SOUPS 5470130 WITH SCORE 5501047.066
AT ITER 5708 NEW BEST:: SOT 58975439 SOS 30923170 HAS SOPS 30856533 HAS SOUS 5475960 HAS SOUPS 5469209 WITH SCORE 5500132.17
AT ITER 5710 NEW BEST:: SOT 58973892 SOS 30928481 HAS SOPS 30861844 HAS SOUS 5474792 HAS SOUPS 5468041 WITH SCORE 5498969.481
AT ITER 6144 NEW BEST:: SOT 58973892 SOS 30919241 HAS SOPS 30852604 HAS SOUS 5473472 HAS SOUPS 5466721 WITH SCORE 5497640.241
AT ITER 6223 NEW BEST:: SOT 58973892 SOS 30909301 HAS SOPS 30842664 HAS SOUS 5472098 HAS SOUPS 5465347 WITH SCORE 5496256.301
AT ITER 6236 NEW BEST:: SOT 58973892 SOS 30895049 HAS SOPS 30828412 HAS SOUS 5470499 HAS SOUPS 5463748 WITH SCORE 5494643.049
AT ITER 6289 NEW BEST:: SOT 58944144 SOS 31181993 HAS SOPS 31115356 HAS SOUS 5447322 HAS SOUPS 5440571 WITH SCORE 5471752.993
AT ITER 6298 NEW BEST:: SOT 58944144 SOS 31174171 HAS SOPS 31107534 HAS SOUS 5445694 HAS SOUPS 5438943 WITH SCORE 5470117.171
AT ITER 6317 NEW BEST:: SOT 58944144 SOS 31172029 HAS SOPS 31105392 HAS SOUS 5445540 HAS SOUPS 5438789 WITH SCORE 5469961.029
AT ITER 6333 NEW BEST:: SOT 58944144 SOS 31157287 HAS SOPS 31090650 HAS SOUS 5443434 HAS SOUPS 5436683 WITH SCORE 5467840.287
AT ITER 6352 NEW BEST:: SOT 58942916 SOS 31165455 HAS SOPS 31098818 HAS SOUS 5442206 HAS SOUPS 5435455 WITH SCORE 5466620.455
AT ITER 6377 NEW BEST:: SOT 58942916 SOS 31150559 HAS SOPS 31083922 HAS SOUS 5440078 HAS SOUPS 5433327 WITH SCORE 5464477.559
AT ITER 6409 NEW BEST:: SOT 58942916 SOS 31140927 HAS SOPS 31074290 HAS SOUS 5438500 HAS SOUPS 5431749 WITH SCORE 5462889.927
AT ITER 6434 NEW BEST:: SOT 58948276 SOS 31146287 HAS SOPS 31079650 HAS SOUS 5437119 HAS SOUPS 5430368 WITH SCORE 5461514.287
AT ITER 6457 NEW BEST:: SOT 58948276 SOS 31146287 HAS SOPS 31079650 HAS SOUS 5437048 HAS SOUPS 5430297 WITH SCORE 5461443.287
AT ITER 6520 NEW BEST:: SOT 58948276 SOS 31138517 HAS SOPS 31071880 HAS SOUS 5435938 HAS SOUPS 5429187 WITH SCORE 5460325.517
AT ITER 6714 NEW BEST:: SOT 58948276 SOS 31106149 HAS SOPS 31039512 HAS SOUS 5434986 HAS SOUPS 5428235 WITH SCORE 5459341.149
AT ITER 6812 NEW BEST:: SOT 58948276 SOS 31094669 HAS SOPS 31028032 HAS SOUS 5433979 HAS SOUPS 5427228 WITH SCORE 5458322.669
AT ITER 6815 NEW BEST:: SOT 58948276 SOS 31089104 HAS SOPS 31025239 HAS SOUS 5433979 HAS SOUPS 5427228 WITH SCORE 5458317.104
AT ITER 6817 NEW BEST:: SOT 58948276 SOS 31089104 HAS SOPS 31025239 HAS SOUS 5433808 HAS SOUPS 5427057 WITH SCORE 5458146.104
AT ITER 6908 NEW BEST:: SOT 58948276 SOS 31079752 HAS SOPS 31015887 HAS SOUS 5432472 HAS SOUPS 5425721 WITH SCORE 5456800.752
AT ITER 6970 NEW BEST:: SOT 58948276 SOS 31079752 HAS SOPS 31015887 HAS SOUS 5432227 HAS SOUPS 5425476 WITH SCORE 5456555.752
AT ITER 7009 NEW BEST:: SOT 58948276 SOS 31051436 HAS SOPS 30987571 HAS SOUS 5429151 HAS SOUPS 5422400 WITH SCORE 5453451.436
AT ITER 7022 NEW BEST:: SOT 58948276 SOS 31044226 HAS SOPS 30980361 HAS SOUS 5428636 HAS SOUPS 5421885 WITH SCORE 5452929.226
AT ITER 7039 NEW BEST:: SOT 58949184 SOS 31045134 HAS SOPS 30981269 HAS SOUS 5428428 HAS SOUPS 5421677 WITH SCORE 5452722.134
AT ITER 7044 NEW BEST:: SOT 58949184 SOS 31029800 HAS SOPS 30965935 HAS SOUS 5427123 HAS SOUPS 5420372 WITH SCORE 5451401.8
AT ITER 7068 NEW BEST:: SOT 58949184 SOS 31041976 HAS SOPS 30978111 HAS SOUS 5421424 HAS SOUPS 5414673 WITH SCORE 5445714.976
AT ITER 7073 NEW BEST:: SOT 58949184 SOS 31020099 HAS SOPS 30956234 HAS SOUS 5414211 HAS SOUPS 5407460 WITH SCORE 5438480.099
AT ITER 7137 NEW BEST:: SOT 58949184 SOS 31005292 HAS SOPS 30941427 HAS SOUS 5411933 HAS SOUPS 5405182 WITH SCORE 5436187.292
AT ITER 7257 NEW BEST:: SOT 58949184 SOS 31003752 HAS SOPS 30939887 HAS SOUS 5411407 HAS SOUPS 5404656 WITH SCORE 5435659.752
AT ITER 7318 NEW BEST:: SOT 58949184 SOS 31000984 HAS SOPS 30937119 HAS SOUS 5411407 HAS SOUPS 5404656 WITH SCORE 5435656.984
AT ITER 7384 NEW BEST:: SOT 58949184 SOS 30994120 HAS SOPS 30930255 HAS SOUS 5411342 HAS SOUPS 5404591 WITH SCORE 5435585.12
AT ITER 7400 NEW BEST:: SOT 58949184 SOS 30987428 HAS SOPS 30923563 HAS SOUS 5410617 HAS SOUPS 5403866 WITH SCORE 5434853.428
AT ITER 7422 NEW BEST:: SOT 58949184 SOS 30976116 HAS SOPS 30912251 HAS SOUS 5409000 HAS SOUPS 5402249 WITH SCORE 5433225.116
AT ITER 7451 NEW BEST:: SOT 58949184 SOS 30973332 HAS SOPS 30909467 HAS SOUS 5409000 HAS SOUPS 5402249 WITH SCORE 5433222.332
AT ITER 7515 NEW BEST:: SOT 58949184 SOS 30959416 HAS SOPS 30895551 HAS SOUS 5407370 HAS SOUPS 5400619 WITH SCORE 5431578.416
AT ITER 7619 NEW BEST:: SOT 58949184 SOS 30955720 HAS SOPS 30891855 HAS SOUS 5406842 HAS SOUPS 5400091 WITH SCORE 5431046.72
AT ITER 7728 NEW BEST:: SOT 58949184 SOS 30928000 HAS SOPS 30864135 HAS SOUS 5400298 HAS SOUPS 5393547 WITH SCORE 5424475.0
AT ITER 7785 NEW BEST:: SOT 58949184 SOS 30928534 HAS SOPS 30864669 HAS SOUS 5400031 HAS SOUPS 5393280 WITH SCORE 5424208.534
AT ITER 7786 NEW BEST:: SOT 58949184 SOS 30919994 HAS SOPS 30856129 HAS SOUS 5399232 HAS SOUPS 5392481 WITH SCORE 5423400.994
AT ITER 7841 NEW BEST:: SOT 58949184 SOS 30912770 HAS SOPS 30848905 HAS SOUS 5398247 HAS SOUPS 5391496 WITH SCORE 5422408.77
AT ITER 7885 NEW BEST:: SOT 58949184 SOS 30904720 HAS SOPS 30840855 HAS SOUS 5397206 HAS SOUPS 5390455 WITH SCORE 5421359.72
AT ITER 7894 NEW BEST:: SOT 58949184 SOS 30901864 HAS SOPS 30837999 HAS SOUS 5396798 HAS SOUPS 5390047 WITH SCORE 5420948.864
AT ITER 7947 NEW BEST:: SOT 58948428 SOS 30904527 HAS SOPS 30840672 HAS SOUS 5396159 HAS SOUPS 5389409 WITH SCORE 5420313.527
AT ITER 8027 NEW BEST:: SOT 58947399 SOS 30910266 HAS SOPS 30846411 HAS SOUS 5395504 HAS SOUPS 5388754 WITH SCORE 5419664.266
AT ITER 8035 NEW BEST:: SOT 58947399 SOS 30902586 HAS SOPS 30838731 HAS SOUS 5394224 HAS SOUPS 5387474 WITH SCORE 5418376.586
AT ITER 8036 NEW BEST:: SOT 58947399 SOS 30902422 HAS SOPS 30838567 HAS SOUS 5393711 HAS SOUPS 5386961 WITH SCORE 5417863.422
AT ITER 8066 NEW BEST:: SOT 58947399 SOS 30894918 HAS SOPS 30831063 HAS SOUS 5393711 HAS SOUPS 5386961 WITH SCORE 5417855.918
AT ITER 8072 NEW BEST:: SOT 58947399 SOS 30885510 HAS SOPS 30821655 HAS SOUS 5391433 HAS SOUPS 5384683 WITH SCORE 5415568.51
AT ITER 8082 NEW BEST:: SOT 58948162 SOS 30886273 HAS SOPS 30822418 HAS SOUS 5391265 HAS SOUPS 5384515 WITH SCORE 5415401.273
AT ITER 8114 NEW BEST:: SOT 58948162 SOS 30885503 HAS SOPS 30821648 HAS SOUS 5385323 HAS SOUPS 5378573 WITH SCORE 5409458.503
AT ITER 8204 NEW BEST:: SOT 58948162 SOS 30881149 HAS SOPS 30817294 HAS SOUS 5384701 HAS SOUPS 5377951 WITH SCORE 5408832.149
AT ITER 8274 NEW BEST:: SOT 58948162 SOS 30881149 HAS SOPS 30817294 HAS SOUS 5384371 HAS SOUPS 5377621 WITH SCORE 5408502.149
AT ITER 8353 NEW BEST:: SOT 58948162 SOS 30870761 HAS SOPS 30806906 HAS SOUS 5382887 HAS SOUPS 5376137 WITH SCORE 5407007.761
AT ITER 8363 NEW BEST:: SOT 58927873 SOS 31220214 HAS SOPS 31156359 HAS SOUS 5369738 HAS SOUPS 5362988 WITH SCORE 5394208.214
AT ITER 8388 NEW BEST:: SOT 58927873 SOS 31221068 HAS SOPS 31157213 HAS SOUS 5369311 HAS SOUPS 5362561 WITH SCORE 5393782.068
AT ITER 8419 NEW BEST:: SOT 58927873 SOS 31195670 HAS SOPS 31131815 HAS SOUS 5359760 HAS SOUPS 5353010 WITH SCORE 5384205.67
AT ITER 8441 NEW BEST:: SOT 58927873 SOS 31190420 HAS SOPS 31126565 HAS SOUS 5359114 HAS SOUPS 5352364 WITH SCORE 5383554.42
AT ITER 8467 NEW BEST:: SOT 58927873 SOS 31140946 HAS SOPS 31077091 HAS SOUS 5357483 HAS SOUPS 5350733 WITH SCORE 5381873.946
AT ITER 8540 NEW BEST:: SOT 58928327 SOS 31122005 HAS SOPS 31058150 HAS SOUS 5351181 HAS SOUPS 5344431 WITH SCORE 5375553.005
AT ITER 8542 NEW BEST:: SOT 58928327 SOS 31104509 HAS SOPS 31040654 HAS SOUS 5348920 HAS SOUPS 5342170 WITH SCORE 5373274.509
AT ITER 8551 NEW BEST:: SOT 58928327 SOS 31104509 HAS SOPS 31040654 HAS SOUS 5348704 HAS SOUPS 5341954 WITH SCORE 5373058.509
AT ITER 8583 NEW BEST:: SOT 58928327 SOS 31086855 HAS SOPS 31023000 HAS SOUS 5347371 HAS SOUPS 5340621 WITH SCORE 5371707.855
AT ITER 8642 NEW BEST:: SOT 58928327 SOS 31078245 HAS SOPS 31014390 HAS SOUS 5346141 HAS SOUPS 5339391 WITH SCORE 5370469.245
AT ITER 8677 NEW BEST:: SOT 58926584 SOS 31089516 HAS SOPS 31025661 HAS SOUS 5345121 HAS SOUPS 5338371 WITH SCORE 5369460.516
AT ITER 8694 NEW BEST:: SOT 58926584 SOS 31080276 HAS SOPS 31016421 HAS SOUS 5344187 HAS SOUPS 5337437 WITH SCORE 5368517.276
AT ITER 8722 NEW BEST:: SOT 58926584 SOS 31063009 HAS SOPS 30999154 HAS SOUS 5341639 HAS SOUPS 5334889 WITH SCORE 5365952.009
AT ITER 8800 NEW BEST:: SOT 58926584 SOS 31027425 HAS SOPS 30963570 HAS SOUS 5340527 HAS SOUPS 5333777 WITH SCORE 5364804.425
AT ITER 8987 NEW BEST:: SOT 58932084 SOS 31032925 HAS SOPS 30969070 HAS SOUS 5333310 HAS SOUPS 5326560 WITH SCORE 5357592.925
AT ITER 8998 NEW BEST:: SOT 58932084 SOS 31025029 HAS SOPS 30961174 HAS SOUS 5332244 HAS SOUPS 5325494 WITH SCORE 5356519.029
AT ITER 9094 NEW BEST:: SOT 58928662 SOS 31035003 HAS SOPS 30971148 HAS SOUS 5330979 HAS SOUPS 5324229 WITH SCORE 5355264.003
AT ITER 9096 NEW BEST:: SOT 58928662 SOS 31035003 HAS SOPS 30974918 HAS SOUS 5330592 HAS SOUPS 5324219 WITH SCORE 5355254.003
AT ITER 9119 NEW BEST:: SOT 58928474 SOS 31040468 HAS SOPS 30980383 HAS SOUS 5330403 HAS SOUPS 5324030 WITH SCORE 5355070.468
AT ITER 9121 NEW BEST:: SOT 58928474 SOS 31033994 HAS SOPS 30973909 HAS SOUS 5330190 HAS SOUPS 5323817 WITH SCORE 5354850.994
AT ITER 9155 NEW BEST:: SOT 58928474 SOS 31031418 HAS SOPS 30973073 HAS SOUS 5329638 HAS SOUPS 5323439 WITH SCORE 5354470.418
AT ITER 9188 NEW BEST:: SOT 58928474 SOS 31005451 HAS SOPS 30947106 HAS SOUS 5324728 HAS SOUPS 5318529 WITH SCORE 5349534.451
AT ITER 9226 NEW BEST:: SOT 58928474 SOS 30994721 HAS SOPS 30936376 HAS SOUS 5323407 HAS SOUPS 5317208 WITH SCORE 5348202.721
AT ITER 9443 NEW BEST:: SOT 58928474 SOS 30979437 HAS SOPS 30921092 HAS SOUS 5322648 HAS SOUPS 5316449 WITH SCORE 5347428.437
AT ITER 9558 NEW BEST:: SOT 58928474 SOS 30974845 HAS SOPS 30916500 HAS SOUS 5322361 HAS SOUPS 5316162 WITH SCORE 5347136.845
AT ITER 9615 NEW BEST:: SOT 58928474 SOS 30948551 HAS SOPS 30890206 HAS SOUS 5322157 HAS SOUPS 5315958 WITH SCORE 5346906.551
AT ITER 9631 NEW BEST:: SOT 58928474 SOS 30946743 HAS SOPS 30888398 HAS SOUS 5314159 HAS SOUPS 5307960 WITH SCORE 5338906.743
AT ITER 9721 NEW BEST:: SOT 58928474 SOS 30946743 HAS SOPS 30888398 HAS SOUS 5313811 HAS SOUPS 5307612 WITH SCORE 5338558.743
AT ITER 9734 NEW BEST:: SOT 58928474 SOS 30946743 HAS SOPS 30888398 HAS SOUS 5312515 HAS SOUPS 5306316 WITH SCORE 5337262.743
AT ITER 9773 NEW BEST:: SOT 58928474 SOS 30937741 HAS SOPS 30879396 HAS SOUS 5311355 HAS SOUPS 5305156 WITH SCORE 5336093.741
AT ITER 9851 NEW BEST:: SOT 58928474 SOS 30917330 HAS SOPS 30858985 HAS SOUS 5303551 HAS SOUPS 5297352 WITH SCORE 5328269.33
AT ITER 9862 NEW BEST:: SOT 58928474 SOS 30917330 HAS SOPS 30858985 HAS SOUS 5303391 HAS SOUPS 5297192 WITH SCORE 5328109.33
AT ITER 9935 NEW BEST:: SOT 58928474 SOS 30911884 HAS SOPS 30853539 HAS SOUS 5301754 HAS SOUPS 5295555 WITH SCORE 5326466.884
AT ITER 9960 NEW BEST:: SOT 58928474 SOS 30911884 HAS SOPS 30853539 HAS SOUS 5301648 HAS SOUPS 5295449 WITH SCORE 5326360.884
AT ITER 9968 NEW BEST:: SOT 58928474 SOS 30897380 HAS SOPS 30839035 HAS SOUS 5299668 HAS SOUPS 5293469 WITH SCORE 5324366.38

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="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r108-csrt-158961250400328"
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 ;