Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469300344.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPt-PT-030B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469300344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 676K
-rw-r--r-- 1 mcc users 3.5K May 14 01:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 01:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 512K May 12 20:42 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 1590439714985

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 030B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2103 places, 1953 transitions, 4866 arcs.
AT ITER 0 NEW BEST:: SOT 2100307 SOS 134864 HAS SOPS 134864 HAS SOUS 125658 HAS SOUPS 125658 WITH SCORE 125792.864
AT ITER 3 NEW BEST:: SOT 2100259 SOS 134767 HAS SOPS 134767 HAS SOUS 125561 HAS SOUPS 125561 WITH SCORE 125695.767
AT ITER 4 NEW BEST:: SOT 2100259 SOS 134743 HAS SOPS 134743 HAS SOUS 125537 HAS SOUPS 125537 WITH SCORE 125671.743
AT ITER 73 NEW BEST:: SOT 2100259 SOS 134736 HAS SOPS 134736 HAS SOUS 125530 HAS SOUPS 125530 WITH SCORE 125664.736
AT ITER 85 NEW BEST:: SOT 2100237 SOS 134692 HAS SOPS 134692 HAS SOUS 125486 HAS SOUPS 125486 WITH SCORE 125620.692
AT ITER 111 NEW BEST:: SOT 2100237 SOS 134722 HAS SOPS 134722 HAS SOUS 125479 HAS SOUPS 125479 WITH SCORE 125613.722
AT ITER 176 NEW BEST:: SOT 2100195 SOS 134620 HAS SOPS 134620 HAS SOUS 125469 HAS SOUPS 125469 WITH SCORE 125603.62
AT ITER 181 NEW BEST:: SOT 2100194 SOS 134619 HAS SOPS 134619 HAS SOUS 125468 HAS SOUPS 125468 WITH SCORE 125602.619
AT ITER 183 NEW BEST:: SOT 2100220 SOS 134665 HAS SOPS 134665 HAS SOUS 125456 HAS SOUPS 125456 WITH SCORE 125590.665
AT ITER 239 NEW BEST:: SOT 2100160 SOS 134411 HAS SOPS 134411 HAS SOUS 125310 HAS SOUPS 125310 WITH SCORE 125444.411
AT ITER 322 NEW BEST:: SOT 2100161 SOS 134346 HAS SOPS 134346 HAS SOUS 125250 HAS SOUPS 125250 WITH SCORE 125384.346
AT ITER 349 NEW BEST:: SOT 2100137 SOS 134198 HAS SOPS 134198 HAS SOUS 125200 HAS SOUPS 125200 WITH SCORE 125334.198
AT ITER 361 NEW BEST:: SOT 2100066 SOS 134090 HAS SOPS 134090 HAS SOUS 125123 HAS SOUPS 125123 WITH SCORE 125257.09
AT ITER 380 NEW BEST:: SOT 2100061 SOS 134079 HAS SOPS 134079 HAS SOUS 125101 HAS SOUPS 125101 WITH SCORE 125235.079
AT ITER 567 NEW BEST:: SOT 2100059 SOS 134049 HAS SOPS 134049 HAS SOUS 125071 HAS SOUPS 125071 WITH SCORE 125205.049
AT ITER 614 NEW BEST:: SOT 2100008 SOS 134010 HAS SOPS 134010 HAS SOUS 125019 HAS SOUPS 125019 WITH SCORE 125153.01
AT ITER 618 NEW BEST:: SOT 2100008 SOS 133980 HAS SOPS 133980 HAS SOUS 124989 HAS SOUPS 124989 WITH SCORE 125122.98
AT ITER 634 NEW BEST:: SOT 2100008 SOS 133960 HAS SOPS 133960 HAS SOUS 124989 HAS SOUPS 124989 WITH SCORE 125122.96
AT ITER 646 NEW BEST:: SOT 2099979 SOS 133902 HAS SOPS 133902 HAS SOUS 124931 HAS SOUPS 124931 WITH SCORE 125064.902
AT ITER 657 NEW BEST:: SOT 2099915 SOS 133919 HAS SOPS 133919 HAS SOUS 124918 HAS SOUPS 124918 WITH SCORE 125051.919
AT ITER 773 NEW BEST:: SOT 2099914 SOS 133856 HAS SOPS 133856 HAS SOUS 124916 HAS SOUPS 124916 WITH SCORE 125049.856
AT ITER 917 NEW BEST:: SOT 2099913 SOS 133795 HAS SOPS 133795 HAS SOUS 124914 HAS SOUPS 124914 WITH SCORE 125047.795
AT ITER 940 NEW BEST:: SOT 2099909 SOS 133791 HAS SOPS 133791 HAS SOUS 124914 HAS SOUPS 124914 WITH SCORE 125047.791
AT ITER 952 NEW BEST:: SOT 2099908 SOS 133790 HAS SOPS 133790 HAS SOUS 124873 HAS SOUPS 124873 WITH SCORE 125006.79
AT ITER 982 NEW BEST:: SOT 2099916 SOS 133798 HAS SOPS 133798 HAS SOUS 124868 HAS SOUPS 124868 WITH SCORE 125001.798
AT ITER 1008 NEW BEST:: SOT 2099898 SOS 133747 HAS SOPS 133747 HAS SOUS 124817 HAS SOUPS 124817 WITH SCORE 124950.747
AT ITER 1009 NEW BEST:: SOT 2099925 SOS 133761 HAS SOPS 133761 HAS SOUS 124783 HAS SOUPS 124783 WITH SCORE 124916.761
AT ITER 1193 NEW BEST:: SOT 2099822 SOS 133665 HAS SOPS 133665 HAS SOUS 124680 HAS SOUPS 124680 WITH SCORE 124813.665
AT ITER 1196 NEW BEST:: SOT 2099771 SOS 133562 HAS SOPS 133562 HAS SOUS 124577 HAS SOUPS 124577 WITH SCORE 124710.562
AT ITER 1249 NEW BEST:: SOT 2099742 SOS 133494 HAS SOPS 133494 HAS SOUS 124509 HAS SOUPS 124509 WITH SCORE 124642.494
AT ITER 1287 NEW BEST:: SOT 2099699 SOS 133408 HAS SOPS 133408 HAS SOUS 124423 HAS SOUPS 124423 WITH SCORE 124556.408
AT ITER 1357 NEW BEST:: SOT 2099677 SOS 133431 HAS SOPS 133431 HAS SOUS 124401 HAS SOUPS 124401 WITH SCORE 124534.431
AT ITER 1411 NEW BEST:: SOT 2099677 SOS 133373 HAS SOPS 133373 HAS SOUS 124343 HAS SOUPS 124343 WITH SCORE 124476.373
AT ITER 1432 NEW BEST:: SOT 2099677 SOS 133360 HAS SOPS 133360 HAS SOUS 124330 HAS SOUPS 124330 WITH SCORE 124463.36
AT ITER 1455 NEW BEST:: SOT 2099677 SOS 133357 HAS SOPS 133357 HAS SOUS 124327 HAS SOUPS 124327 WITH SCORE 124460.357
AT ITER 1468 NEW BEST:: SOT 2099636 SOS 133316 HAS SOPS 133316 HAS SOUS 124286 HAS SOUPS 124286 WITH SCORE 124419.316
AT ITER 1550 NEW BEST:: SOT 2099603 SOS 133206 HAS SOPS 133206 HAS SOUS 124259 HAS SOUPS 124259 WITH SCORE 124392.206
AT ITER 1552 NEW BEST:: SOT 2099599 SOS 133202 HAS SOPS 133202 HAS SOUS 124259 HAS SOUPS 124259 WITH SCORE 124392.202
AT ITER 1588 NEW BEST:: SOT 2099612 SOS 133228 HAS SOPS 133228 HAS SOUS 124234 HAS SOUPS 124234 WITH SCORE 124367.228
AT ITER 1592 NEW BEST:: SOT 2099591 SOS 133177 HAS SOPS 133177 HAS SOUS 124183 HAS SOUPS 124183 WITH SCORE 124316.177
AT ITER 1615 NEW BEST:: SOT 2099591 SOS 133133 HAS SOPS 133133 HAS SOUS 124161 HAS SOUPS 124161 WITH SCORE 124294.133
AT ITER 1645 NEW BEST:: SOT 2099591 SOS 133133 HAS SOPS 133133 HAS SOUS 124159 HAS SOUPS 124159 WITH SCORE 124292.133
AT ITER 1666 NEW BEST:: SOT 2099534 SOS 133019 HAS SOPS 133019 HAS SOUS 124025 HAS SOUPS 124025 WITH SCORE 124158.019
AT ITER 1774 NEW BEST:: SOT 2099496 SOS 132943 HAS SOPS 132943 HAS SOUS 123949 HAS SOUPS 123949 WITH SCORE 124081.943
AT ITER 1902 NEW BEST:: SOT 2099489 SOS 132922 HAS SOPS 132922 HAS SOUS 123928 HAS SOUPS 123928 WITH SCORE 124060.922
AT ITER 1905 NEW BEST:: SOT 2099459 SOS 132813 HAS SOPS 132813 HAS SOUS 123794 HAS SOUPS 123794 WITH SCORE 123926.813
AT ITER 1987 NEW BEST:: SOT 2099459 SOS 132784 HAS SOPS 132784 HAS SOUS 123765 HAS SOUPS 123765 WITH SCORE 123897.784
AT ITER 2070 NEW BEST:: SOT 2099481 SOS 132753 HAS SOPS 132753 HAS SOUS 123734 HAS SOUPS 123734 WITH SCORE 123866.753
AT ITER 2109 NEW BEST:: SOT 2099427 SOS 132662 HAS SOPS 132662 HAS SOUS 123672 HAS SOUPS 123672 WITH SCORE 123804.662
AT ITER 2125 NEW BEST:: SOT 2099427 SOS 132634 HAS SOPS 132634 HAS SOUS 123654 HAS SOUPS 123654 WITH SCORE 123786.634
AT ITER 2185 NEW BEST:: SOT 2099407 SOS 132624 HAS SOPS 132624 HAS SOUS 123633 HAS SOUPS 123633 WITH SCORE 123765.624
AT ITER 2219 NEW BEST:: SOT 2099389 SOS 132569 HAS SOPS 132569 HAS SOUS 123615 HAS SOUPS 123615 WITH SCORE 123747.569
AT ITER 2300 NEW BEST:: SOT 2099389 SOS 132575 HAS SOPS 132575 HAS SOUS 123612 HAS SOUPS 123612 WITH SCORE 123744.575
AT ITER 2315 NEW BEST:: SOT 2099338 SOS 132523 HAS SOPS 132523 HAS SOUS 123560 HAS SOUPS 123560 WITH SCORE 123692.523
AT ITER 2374 NEW BEST:: SOT 2099308 SOS 132433 HAS SOPS 132433 HAS SOUS 123497 HAS SOUPS 123497 WITH SCORE 123629.433
AT ITER 2451 NEW BEST:: SOT 2099316 SOS 132426 HAS SOPS 132426 HAS SOUS 123490 HAS SOUPS 123490 WITH SCORE 123622.426
AT ITER 2545 NEW BEST:: SOT 2099316 SOS 132399 HAS SOPS 132399 HAS SOUS 123487 HAS SOUPS 123487 WITH SCORE 123619.399
AT ITER 2588 NEW BEST:: SOT 2099300 SOS 132367 HAS SOPS 132367 HAS SOUS 123471 HAS SOUPS 123471 WITH SCORE 123603.367
AT ITER 2596 NEW BEST:: SOT 2099300 SOS 132359 HAS SOPS 132359 HAS SOUS 123463 HAS SOUPS 123463 WITH SCORE 123595.359
AT ITER 2613 NEW BEST:: SOT 2099277 SOS 132304 HAS SOPS 132304 HAS SOUS 123408 HAS SOUPS 123408 WITH SCORE 123540.304
AT ITER 2705 NEW BEST:: SOT 2099277 SOS 132188 HAS SOPS 132188 HAS SOUS 123292 HAS SOUPS 123292 WITH SCORE 123424.188
AT ITER 2766 NEW BEST:: SOT 2099299 SOS 132173 HAS SOPS 132173 HAS SOUS 123286 HAS SOUPS 123286 WITH SCORE 123418.173
AT ITER 2817 NEW BEST:: SOT 2099299 SOS 132168 HAS SOPS 132168 HAS SOUS 123281 HAS SOUPS 123281 WITH SCORE 123413.168
AT ITER 2827 NEW BEST:: SOT 2099258 SOS 132115 HAS SOPS 132115 HAS SOUS 123228 HAS SOUPS 123228 WITH SCORE 123360.115
AT ITER 2828 NEW BEST:: SOT 2099258 SOS 132105 HAS SOPS 132105 HAS SOUS 123218 HAS SOUPS 123218 WITH SCORE 123350.105
AT ITER 2840 NEW BEST:: SOT 2099255 SOS 132102 HAS SOPS 132102 HAS SOUS 123215 HAS SOUPS 123215 WITH SCORE 123347.102
AT ITER 3090 NEW BEST:: SOT 2099229 SOS 132074 HAS SOPS 132074 HAS SOUS 123187 HAS SOUPS 123187 WITH SCORE 123319.074
AT ITER 3310 NEW BEST:: SOT 2099222 SOS 131971 HAS SOPS 131971 HAS SOUS 123100 HAS SOUPS 123100 WITH SCORE 123231.971
AT ITER 3360 NEW BEST:: SOT 2099221 SOS 131967 HAS SOPS 131967 HAS SOUS 123096 HAS SOUPS 123096 WITH SCORE 123227.967
AT ITER 3368 NEW BEST:: SOT 2099201 SOS 131927 HAS SOPS 131927 HAS SOUS 123056 HAS SOUPS 123056 WITH SCORE 123187.927
AT ITER 3370 NEW BEST:: SOT 2099157 SOS 131751 HAS SOPS 131751 HAS SOUS 122924 HAS SOUPS 122924 WITH SCORE 123055.751
AT ITER 3511 NEW BEST:: SOT 2099102 SOS 131738 HAS SOPS 131738 HAS SOUS 122856 HAS SOUPS 122856 WITH SCORE 122987.738
AT ITER 3629 NEW BEST:: SOT 2099068 SOS 131689 HAS SOPS 131689 HAS SOUS 122807 HAS SOUPS 122807 WITH SCORE 122938.689
AT ITER 3674 NEW BEST:: SOT 2099087 SOS 131641 HAS SOPS 131641 HAS SOUS 122783 HAS SOUPS 122783 WITH SCORE 122914.641
AT ITER 3761 NEW BEST:: SOT 2099068 SOS 131586 HAS SOPS 131586 HAS SOUS 122747 HAS SOUPS 122747 WITH SCORE 122878.586
AT ITER 3781 NEW BEST:: SOT 2099047 SOS 131523 HAS SOPS 131523 HAS SOUS 122684 HAS SOUPS 122684 WITH SCORE 122815.523
AT ITER 3786 NEW BEST:: SOT 2099047 SOS 131509 HAS SOPS 131509 HAS SOUS 122670 HAS SOUPS 122670 WITH SCORE 122801.509
AT ITER 3877 NEW BEST:: SOT 2099046 SOS 131508 HAS SOPS 131508 HAS SOUS 122669 HAS SOUPS 122669 WITH SCORE 122800.508
AT ITER 3932 NEW BEST:: SOT 2099014 SOS 131475 HAS SOPS 131475 HAS SOUS 122663 HAS SOUPS 122663 WITH SCORE 122794.475
AT ITER 3967 NEW BEST:: SOT 2098968 SOS 131385 HAS SOPS 131385 HAS SOUS 122603 HAS SOUPS 122603 WITH SCORE 122734.385
AT ITER 4025 NEW BEST:: SOT 2098968 SOS 131384 HAS SOPS 131384 HAS SOUS 122602 HAS SOUPS 122602 WITH SCORE 122733.384
AT ITER 4150 NEW BEST:: SOT 2098889 SOS 131304 HAS SOPS 131304 HAS SOUS 122473 HAS SOUPS 122473 WITH SCORE 122604.304
AT ITER 4206 NEW BEST:: SOT 2098934 SOS 131299 HAS SOPS 131299 HAS SOUS 122468 HAS SOUPS 122468 WITH SCORE 122599.299
AT ITER 4210 NEW BEST:: SOT 2098894 SOS 131210 HAS SOPS 131210 HAS SOUS 122414 HAS SOUPS 122414 WITH SCORE 122545.21
AT ITER 4311 NEW BEST:: SOT 2098851 SOS 131155 HAS SOPS 131155 HAS SOUS 122349 HAS SOUPS 122349 WITH SCORE 122480.155
AT ITER 4354 NEW BEST:: SOT 2098880 SOS 131186 HAS SOPS 131186 HAS SOUS 122336 HAS SOUPS 122336 WITH SCORE 122467.186
AT ITER 4377 NEW BEST:: SOT 2098849 SOS 131181 HAS SOPS 131181 HAS SOUS 122331 HAS SOUPS 122331 WITH SCORE 122462.181
AT ITER 4514 NEW BEST:: SOT 2098864 SOS 131155 HAS SOPS 131155 HAS SOUS 122305 HAS SOUPS 122305 WITH SCORE 122436.155
AT ITER 4589 NEW BEST:: SOT 2098864 SOS 131169 HAS SOPS 131169 HAS SOUS 122297 HAS SOUPS 122297 WITH SCORE 122428.169
AT ITER 4645 NEW BEST:: SOT 2098825 SOS 131169 HAS SOPS 131169 HAS SOUS 122296 HAS SOUPS 122296 WITH SCORE 122427.169
AT ITER 4709 NEW BEST:: SOT 2098812 SOS 131101 HAS SOPS 131101 HAS SOUS 122263 HAS SOUPS 122263 WITH SCORE 122394.101
AT ITER 4782 NEW BEST:: SOT 2098812 SOS 131079 HAS SOPS 131079 HAS SOUS 122241 HAS SOUPS 122241 WITH SCORE 122372.079
AT ITER 4849 NEW BEST:: SOT 2098812 SOS 131079 HAS SOPS 131079 HAS SOUS 122240 HAS SOUPS 122240 WITH SCORE 122371.079
AT ITER 4865 NEW BEST:: SOT 2098806 SOS 131073 HAS SOPS 131073 HAS SOUS 122240 HAS SOUPS 122240 WITH SCORE 122371.073
AT ITER 4866 NEW BEST:: SOT 2098908 SOS 131160 HAS SOPS 131160 HAS SOUS 122233 HAS SOUPS 122233 WITH SCORE 122364.16
AT ITER 4892 NEW BEST:: SOT 2098908 SOS 131159 HAS SOPS 131159 HAS SOUS 122232 HAS SOUPS 122232 WITH SCORE 122363.159
AT ITER 4941 NEW BEST:: SOT 2098908 SOS 131150 HAS SOPS 131150 HAS SOUS 122223 HAS SOUPS 122223 WITH SCORE 122354.15
AT ITER 4944 NEW BEST:: SOT 2098908 SOS 131150 HAS SOPS 131150 HAS SOUS 122220 HAS SOUPS 122220 WITH SCORE 122351.15
AT ITER 4968 NEW BEST:: SOT 2098907 SOS 131148 HAS SOPS 131148 HAS SOUS 122218 HAS SOUPS 122218 WITH SCORE 122349.148
AT ITER 4980 NEW BEST:: SOT 2098867 SOS 131155 HAS SOPS 131155 HAS SOUS 122171 HAS SOUPS 122171 WITH SCORE 122302.155
AT ITER 5131 NEW BEST:: SOT 2098867 SOS 131061 HAS SOPS 131061 HAS SOUS 122077 HAS SOUPS 122077 WITH SCORE 122208.061
AT ITER 5294 NEW BEST:: SOT 2098844 SOS 131061 HAS SOPS 131061 HAS SOUS 122054 HAS SOUPS 122054 WITH SCORE 122185.061
AT ITER 5303 NEW BEST:: SOT 2098834 SOS 131000 HAS SOPS 131000 HAS SOUS 122021 HAS SOUPS 122021 WITH SCORE 122152.0
AT ITER 5337 NEW BEST:: SOT 2098792 SOS 130915 HAS SOPS 130915 HAS SOUS 121936 HAS SOUPS 121936 WITH SCORE 122066.915
AT ITER 5350 NEW BEST:: SOT 2098788 SOS 130907 HAS SOPS 130907 HAS SOUS 121928 HAS SOUPS 121928 WITH SCORE 122058.907
AT ITER 5360 NEW BEST:: SOT 2098770 SOS 130860 HAS SOPS 130860 HAS SOUS 121917 HAS SOUPS 121917 WITH SCORE 122047.86
AT ITER 5441 NEW BEST:: SOT 2098743 SOS 130792 HAS SOPS 130792 HAS SOUS 121807 HAS SOUPS 121807 WITH SCORE 121937.792
AT ITER 5508 NEW BEST:: SOT 2098715 SOS 130764 HAS SOPS 130764 HAS SOUS 121779 HAS SOUPS 121779 WITH SCORE 121909.764
AT ITER 5513 NEW BEST:: SOT 2098624 SOS 130731 HAS SOPS 130731 HAS SOUS 121738 HAS SOUPS 121738 WITH SCORE 121868.731
AT ITER 5554 NEW BEST:: SOT 2098624 SOS 130742 HAS SOPS 130742 HAS SOUS 121731 HAS SOUPS 121731 WITH SCORE 121861.742
AT ITER 5559 NEW BEST:: SOT 2098624 SOS 130687 HAS SOPS 130687 HAS SOUS 121676 HAS SOUPS 121676 WITH SCORE 121806.687
AT ITER 5586 NEW BEST:: SOT 2098625 SOS 130634 HAS SOPS 130634 HAS SOUS 121633 HAS SOUPS 121633 WITH SCORE 121763.634
AT ITER 5614 NEW BEST:: SOT 2098614 SOS 130612 HAS SOPS 130612 HAS SOUS 121611 HAS SOUPS 121611 WITH SCORE 121741.612
AT ITER 5660 NEW BEST:: SOT 2098614 SOS 130601 HAS SOPS 130601 HAS SOUS 121600 HAS SOUPS 121600 WITH SCORE 121730.601
AT ITER 5717 NEW BEST:: SOT 2098570 SOS 130513 HAS SOPS 130513 HAS SOUS 121512 HAS SOUPS 121512 WITH SCORE 121642.513
AT ITER 5729 NEW BEST:: SOT 2098519 SOS 130463 HAS SOPS 130463 HAS SOUS 121462 HAS SOUPS 121462 WITH SCORE 121592.463
AT ITER 5777 NEW BEST:: SOT 2098458 SOS 130413 HAS SOPS 130413 HAS SOUS 121351 HAS SOUPS 121351 WITH SCORE 121481.413
AT ITER 5795 NEW BEST:: SOT 2098512 SOS 130465 HAS SOPS 130465 HAS SOUS 121349 HAS SOUPS 121349 WITH SCORE 121479.465
AT ITER 5865 NEW BEST:: SOT 2098484 SOS 130437 HAS SOPS 130437 HAS SOUS 121321 HAS SOUPS 121321 WITH SCORE 121451.437
AT ITER 5884 NEW BEST:: SOT 2098421 SOS 130247 HAS SOPS 130247 HAS SOUS 121194 HAS SOUPS 121194 WITH SCORE 121324.247
AT ITER 6064 NEW BEST:: SOT 2098455 SOS 130226 HAS SOPS 130226 HAS SOUS 121173 HAS SOUPS 121173 WITH SCORE 121303.226
AT ITER 6079 NEW BEST:: SOT 2098455 SOS 130224 HAS SOPS 130224 HAS SOUS 121171 HAS SOUPS 121171 WITH SCORE 121301.224
AT ITER 6143 NEW BEST:: SOT 2098454 SOS 130222 HAS SOPS 130222 HAS SOUS 121169 HAS SOUPS 121169 WITH SCORE 121299.222
AT ITER 6167 NEW BEST:: SOT 2098447 SOS 130201 HAS SOPS 130201 HAS SOUS 121148 HAS SOUPS 121148 WITH SCORE 121278.201
AT ITER 6180 NEW BEST:: SOT 2098419 SOS 130145 HAS SOPS 130145 HAS SOUS 121092 HAS SOUPS 121092 WITH SCORE 121222.145
AT ITER 6253 NEW BEST:: SOT 2098399 SOS 130105 HAS SOPS 130105 HAS SOUS 121072 HAS SOUPS 121072 WITH SCORE 121202.105
AT ITER 6279 NEW BEST:: SOT 2098398 SOS 130068 HAS SOPS 130068 HAS SOUS 121070 HAS SOUPS 121070 WITH SCORE 121200.068
AT ITER 6284 NEW BEST:: SOT 2098384 SOS 130040 HAS SOPS 130040 HAS SOUS 121056 HAS SOUPS 121056 WITH SCORE 121186.04
AT ITER 6329 NEW BEST:: SOT 2098384 SOS 130033 HAS SOPS 130033 HAS SOUS 121029 HAS SOUPS 121029 WITH SCORE 121159.033
AT ITER 6379 NEW BEST:: SOT 2098411 SOS 130059 HAS SOPS 130059 HAS SOUS 121028 HAS SOUPS 121028 WITH SCORE 121158.059
AT ITER 6507 NEW BEST:: SOT 2098360 SOS 130008 HAS SOPS 130008 HAS SOUS 121023 HAS SOUPS 121023 WITH SCORE 121153.008
AT ITER 6525 NEW BEST:: SOT 2098275 SOS 129942 HAS SOPS 129942 HAS SOUS 120897 HAS SOUPS 120897 WITH SCORE 121026.942
AT ITER 6538 NEW BEST:: SOT 2098275 SOS 129918 HAS SOPS 129918 HAS SOUS 120885 HAS SOUPS 120885 WITH SCORE 121014.918
AT ITER 6638 NEW BEST:: SOT 2098275 SOS 129858 HAS SOPS 129858 HAS SOUS 120825 HAS SOUPS 120825 WITH SCORE 120954.858
AT ITER 6639 NEW BEST:: SOT 2098275 SOS 129858 HAS SOPS 129858 HAS SOUS 120824 HAS SOUPS 120824 WITH SCORE 120953.858
AT ITER 6648 NEW BEST:: SOT 2098275 SOS 129829 HAS SOPS 129829 HAS SOUS 120824 HAS SOUPS 120824 WITH SCORE 120953.829
AT ITER 6674 NEW BEST:: SOT 2098262 SOS 129802 HAS SOPS 129802 HAS SOUS 120788 HAS SOUPS 120788 WITH SCORE 120917.802
AT ITER 6907 NEW BEST:: SOT 2098262 SOS 129780 HAS SOPS 129780 HAS SOUS 120777 HAS SOUPS 120777 WITH SCORE 120906.78
AT ITER 6973 NEW BEST:: SOT 2098212 SOS 129730 HAS SOPS 129730 HAS SOUS 120727 HAS SOUPS 120727 WITH SCORE 120856.73
AT ITER 6985 NEW BEST:: SOT 2098244 SOS 129709 HAS SOPS 129709 HAS SOUS 120706 HAS SOUPS 120706 WITH SCORE 120835.709
AT ITER 7002 NEW BEST:: SOT 2098215 SOS 129693 HAS SOPS 129693 HAS SOUS 120690 HAS SOUPS 120690 WITH SCORE 120819.693
AT ITER 7087 NEW BEST:: SOT 2098210 SOS 129626 HAS SOPS 129626 HAS SOUS 120623 HAS SOUPS 120623 WITH SCORE 120752.626
AT ITER 7094 NEW BEST:: SOT 2098206 SOS 129618 HAS SOPS 129618 HAS SOUS 120615 HAS SOUPS 120615 WITH SCORE 120744.618
AT ITER 7161 NEW BEST:: SOT 2098207 SOS 129619 HAS SOPS 129619 HAS SOUS 120613 HAS SOUPS 120613 WITH SCORE 120742.619
AT ITER 7309 NEW BEST:: SOT 2098207 SOS 129619 HAS SOPS 129619 HAS SOUS 120612 HAS SOUPS 120612 WITH SCORE 120741.619
AT ITER 7347 NEW BEST:: SOT 2098207 SOS 129618 HAS SOPS 129618 HAS SOUS 120611 HAS SOUPS 120611 WITH SCORE 120740.618
AT ITER 7439 NEW BEST:: SOT 2098201 SOS 129622 HAS SOPS 129622 HAS SOUS 120561 HAS SOUPS 120561 WITH SCORE 120690.622
AT ITER 7448 NEW BEST:: SOT 2098186 SOS 129607 HAS SOPS 129607 HAS SOUS 120546 HAS SOUPS 120546 WITH SCORE 120675.607
AT ITER 7562 NEW BEST:: SOT 2098185 SOS 129491 HAS SOPS 129491 HAS SOUS 120487 HAS SOUPS 120487 WITH SCORE 120616.491
AT ITER 7618 NEW BEST:: SOT 2098136 SOS 129442 HAS SOPS 129442 HAS SOUS 120438 HAS SOUPS 120438 WITH SCORE 120567.442
AT ITER 7671 NEW BEST:: SOT 2098082 SOS 129282 HAS SOPS 129282 HAS SOUS 120278 HAS SOUPS 120278 WITH SCORE 120407.282
AT ITER 7727 NEW BEST:: SOT 2098042 SOS 129174 HAS SOPS 129174 HAS SOUS 120142 HAS SOUPS 120142 WITH SCORE 120271.174
AT ITER 7807 NEW BEST:: SOT 2098042 SOS 129172 HAS SOPS 129172 HAS SOUS 120140 HAS SOUPS 120140 WITH SCORE 120269.172
AT ITER 7811 NEW BEST:: SOT 2098014 SOS 129144 HAS SOPS 129144 HAS SOUS 120112 HAS SOUPS 120112 WITH SCORE 120241.144
AT ITER 7850 NEW BEST:: SOT 2098029 SOS 129130 HAS SOPS 129130 HAS SOUS 120112 HAS SOUPS 120112 WITH SCORE 120241.13
AT ITER 7862 NEW BEST:: SOT 2097998 SOS 129068 HAS SOPS 129068 HAS SOUS 120050 HAS SOUPS 120050 WITH SCORE 120179.068
AT ITER 7930 NEW BEST:: SOT 2097998 SOS 129061 HAS SOPS 129061 HAS SOUS 120012 HAS SOUPS 120012 WITH SCORE 120141.061
AT ITER 7941 NEW BEST:: SOT 2098040 SOS 129100 HAS SOPS 129100 HAS SOUS 119979 HAS SOUPS 119979 WITH SCORE 120108.1
AT ITER 7999 NEW BEST:: SOT 2098033 SOS 129075 HAS SOPS 129075 HAS SOUS 119935 HAS SOUPS 119935 WITH SCORE 120064.075
AT ITER 8004 NEW BEST:: SOT 2098033 SOS 129034 HAS SOPS 129034 HAS SOUS 119919 HAS SOUPS 119919 WITH SCORE 120048.034
AT ITER 8021 NEW BEST:: SOT 2097971 SOS 128786 HAS SOPS 128786 HAS SOUS 119733 HAS SOUPS 119733 WITH SCORE 119861.786
AT ITER 8028 NEW BEST:: SOT 2097914 SOS 128729 HAS SOPS 128729 HAS SOUS 119676 HAS SOUPS 119676 WITH SCORE 119804.729
AT ITER 8050 NEW BEST:: SOT 2097914 SOS 128729 HAS SOPS 128729 HAS SOUS 119674 HAS SOUPS 119674 WITH SCORE 119802.729
AT ITER 8054 NEW BEST:: SOT 2097914 SOS 128726 HAS SOPS 128726 HAS SOUS 119652 HAS SOUPS 119652 WITH SCORE 119780.726
AT ITER 8180 NEW BEST:: SOT 2097909 SOS 128714 HAS SOPS 128714 HAS SOUS 119628 HAS SOUPS 119628 WITH SCORE 119756.714
AT ITER 8193 NEW BEST:: SOT 2097874 SOS 128679 HAS SOPS 128679 HAS SOUS 119593 HAS SOUPS 119593 WITH SCORE 119721.679
AT ITER 8212 NEW BEST:: SOT 2097868 SOS 128667 HAS SOPS 128667 HAS SOUS 119581 HAS SOUPS 119581 WITH SCORE 119709.667
AT ITER 8231 NEW BEST:: SOT 2097868 SOS 128667 HAS SOPS 128667 HAS SOUS 119578 HAS SOUPS 119578 WITH SCORE 119706.667
AT ITER 8265 NEW BEST:: SOT 2097868 SOS 128563 HAS SOPS 128563 HAS SOUS 119474 HAS SOUPS 119474 WITH SCORE 119602.563
AT ITER 8271 NEW BEST:: SOT 2097861 SOS 128548 HAS SOPS 128548 HAS SOUS 119459 HAS SOUPS 119459 WITH SCORE 119587.548
AT ITER 8325 NEW BEST:: SOT 2097889 SOS 128475 HAS SOPS 128475 HAS SOUS 119386 HAS SOUPS 119386 WITH SCORE 119514.475
AT ITER 8341 NEW BEST:: SOT 2097889 SOS 128474 HAS SOPS 128474 HAS SOUS 119384 HAS SOUPS 119384 WITH SCORE 119512.474
AT ITER 8344 NEW BEST:: SOT 2097887 SOS 128470 HAS SOPS 128470 HAS SOUS 119382 HAS SOUPS 119382 WITH SCORE 119510.47
AT ITER 8405 NEW BEST:: SOT 2097836 SOS 128451 HAS SOPS 128451 HAS SOUS 119334 HAS SOUPS 119334 WITH SCORE 119462.451
AT ITER 8409 NEW BEST:: SOT 2097836 SOS 128449 HAS SOPS 128449 HAS SOUS 119330 HAS SOUPS 119330 WITH SCORE 119458.449
AT ITER 8569 NEW BEST:: SOT 2097826 SOS 128495 HAS SOPS 128495 HAS SOUS 119320 HAS SOUPS 119320 WITH SCORE 119448.495
AT ITER 8585 NEW BEST:: SOT 2097816 SOS 128485 HAS SOPS 128485 HAS SOUS 119300 HAS SOUPS 119300 WITH SCORE 119428.485
AT ITER 8617 NEW BEST:: SOT 2097814 SOS 128441 HAS SOPS 128441 HAS SOUS 119256 HAS SOUPS 119256 WITH SCORE 119384.441
AT ITER 8763 NEW BEST:: SOT 2097786 SOS 128447 HAS SOPS 128447 HAS SOUS 119245 HAS SOUPS 119245 WITH SCORE 119373.447
AT ITER 8884 NEW BEST:: SOT 2097786 SOS 128446 HAS SOPS 128446 HAS SOUS 119245 HAS SOUPS 119245 WITH SCORE 119373.446
AT ITER 8927 NEW BEST:: SOT 2097772 SOS 128432 HAS SOPS 128432 HAS SOUS 119231 HAS SOUPS 119231 WITH SCORE 119359.432
AT ITER 9124 NEW BEST:: SOT 2097803 SOS 128314 HAS SOPS 128314 HAS SOUS 119206 HAS SOUPS 119206 WITH SCORE 119334.314
AT ITER 9154 NEW BEST:: SOT 2097756 SOS 128220 HAS SOPS 128220 HAS SOUS 119112 HAS SOUPS 119112 WITH SCORE 119240.22
AT ITER 9159 NEW BEST:: SOT 2097743 SOS 128204 HAS SOPS 128204 HAS SOUS 119108 HAS SOUPS 119108 WITH SCORE 119236.204
AT ITER 9277 NEW BEST:: SOT 2097743 SOS 128156 HAS SOPS 128156 HAS SOUS 119084 HAS SOUPS 119084 WITH SCORE 119212.156
AT ITER 9299 NEW BEST:: SOT 2097743 SOS 128137 HAS SOPS 128137 HAS SOUS 119065 HAS SOUPS 119065 WITH SCORE 119193.137
AT ITER 9350 NEW BEST:: SOT 2097789 SOS 128126 HAS SOPS 128126 HAS SOUS 119054 HAS SOUPS 119054 WITH SCORE 119182.126
AT ITER 9355 NEW BEST:: SOT 2097789 SOS 128126 HAS SOPS 128126 HAS SOUS 119035 HAS SOUPS 119035 WITH SCORE 119163.126
AT ITER 9378 NEW BEST:: SOT 2097781 SOS 128117 HAS SOPS 128117 HAS SOUS 119026 HAS SOUPS 119026 WITH SCORE 119154.117
AT ITER 9424 NEW BEST:: SOT 2097767 SOS 128117 HAS SOPS 128117 HAS SOUS 119012 HAS SOUPS 119012 WITH SCORE 119140.117
AT ITER 9426 NEW BEST:: SOT 2097767 SOS 128093 HAS SOPS 128093 HAS SOUS 118964 HAS SOUPS 118964 WITH SCORE 119092.093
AT ITER 9481 NEW BEST:: SOT 2097708 SOS 127980 HAS SOPS 127980 HAS SOUS 118881 HAS SOUPS 118881 WITH SCORE 119008.98
AT ITER 9497 NEW BEST:: SOT 2097708 SOS 127975 HAS SOPS 127975 HAS SOUS 118876 HAS SOUPS 118876 WITH SCORE 119003.975
AT ITER 9533 NEW BEST:: SOT 2097683 SOS 127871 HAS SOPS 127871 HAS SOUS 118826 HAS SOUPS 118826 WITH SCORE 118953.871
AT ITER 9561 NEW BEST:: SOT 2097673 SOS 127861 HAS SOPS 127861 HAS SOUS 118816 HAS SOUPS 118816 WITH SCORE 118943.861
AT ITER 9584 NEW BEST:: SOT 2097672 SOS 127818 HAS SOPS 127818 HAS SOUS 118773 HAS SOUPS 118773 WITH SCORE 118900.818
AT ITER 9629 NEW BEST:: SOT 2097644 SOS 127761 HAS SOPS 127761 HAS SOUS 118716 HAS SOUPS 118716 WITH SCORE 118843.761
AT ITER 9809 NEW BEST:: SOT 2097644 SOS 127761 HAS SOPS 127761 HAS SOUS 118714 HAS SOUPS 118714 WITH SCORE 118841.761
AT ITER 9844 NEW BEST:: SOT 2097631 SOS 127748 HAS SOPS 127748 HAS SOUS 118701 HAS SOUPS 118701 WITH SCORE 118828.748
AT ITER 9863 NEW BEST:: SOT 2097631 SOS 127715 HAS SOPS 127715 HAS SOUS 118668 HAS SOUPS 118668 WITH SCORE 118795.715
AT ITER 9864 NEW BEST:: SOT 2097612 SOS 127620 HAS SOPS 127620 HAS SOUS 118540 HAS SOUPS 118540 WITH SCORE 118667.62
AT ITER 9952 NEW BEST:: SOT 2097583 SOS 127553 HAS SOPS 127553 HAS SOUS 118473 HAS SOUPS 118473 WITH SCORE 118600.553

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="ShieldIIPt-PT-030B"
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 ShieldIIPt-PT-030B, 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 r207-tajo-159033469300344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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