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-159033469100184.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 ShieldIIPs-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.1K May 14 00:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 17:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 17:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 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:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K May 13 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 07:46 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 675K 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 1590436686220

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

Filename model.pnml
Petri model created: 2403 places, 2363 transitions, 7126 arcs.
AT ITER 0 NEW BEST:: SOT 2887573 SOS 137082 HAS SOPS 137082 HAS SOUS 115101 HAS SOUPS 115101 WITH SCORE 115238.082
AT ITER 157 NEW BEST:: SOT 2887557 SOS 137030 HAS SOPS 137030 HAS SOUS 115097 HAS SOUPS 115097 WITH SCORE 115234.03
AT ITER 434 NEW BEST:: SOT 2887557 SOS 137011 HAS SOPS 137011 HAS SOUS 115078 HAS SOUPS 115078 WITH SCORE 115215.011
AT ITER 470 NEW BEST:: SOT 2887543 SOS 136983 HAS SOPS 136983 HAS SOUS 115050 HAS SOUPS 115050 WITH SCORE 115186.983
AT ITER 489 NEW BEST:: SOT 2887527 SOS 136912 HAS SOPS 136912 HAS SOUS 115042 HAS SOUPS 115042 WITH SCORE 115178.912
AT ITER 541 NEW BEST:: SOT 2887518 SOS 136885 HAS SOPS 136885 HAS SOUS 115015 HAS SOUPS 115015 WITH SCORE 115151.885
AT ITER 649 NEW BEST:: SOT 2887329 SOS 136594 HAS SOPS 136594 HAS SOUS 114775 HAS SOUPS 114775 WITH SCORE 114911.594
AT ITER 682 NEW BEST:: SOT 2887329 SOS 136593 HAS SOPS 136593 HAS SOUS 114774 HAS SOUPS 114774 WITH SCORE 114910.593
AT ITER 801 NEW BEST:: SOT 2887245 SOS 136594 HAS SOPS 136594 HAS SOUS 114762 HAS SOUPS 114762 WITH SCORE 114898.594
AT ITER 1099 NEW BEST:: SOT 2887202 SOS 136593 HAS SOPS 136593 HAS SOUS 114761 HAS SOUPS 114761 WITH SCORE 114897.593
AT ITER 1103 NEW BEST:: SOT 2887232 SOS 136719 HAS SOPS 136719 HAS SOUS 114744 HAS SOUPS 114744 WITH SCORE 114880.719
AT ITER 1322 NEW BEST:: SOT 2887232 SOS 136718 HAS SOPS 136718 HAS SOUS 114743 HAS SOUPS 114743 WITH SCORE 114879.718
AT ITER 1357 NEW BEST:: SOT 2887226 SOS 136688 HAS SOPS 136688 HAS SOUS 114729 HAS SOUPS 114729 WITH SCORE 114865.688
AT ITER 1369 NEW BEST:: SOT 2887213 SOS 136607 HAS SOPS 136607 HAS SOUS 114724 HAS SOUPS 114724 WITH SCORE 114860.607
AT ITER 1414 NEW BEST:: SOT 2887110 SOS 136559 HAS SOPS 136559 HAS SOUS 114642 HAS SOUPS 114642 WITH SCORE 114778.559
AT ITER 1436 NEW BEST:: SOT 2887017 SOS 136466 HAS SOPS 136466 HAS SOUS 114549 HAS SOUPS 114549 WITH SCORE 114685.466
AT ITER 1555 NEW BEST:: SOT 2886990 SOS 136402 HAS SOPS 136402 HAS SOUS 114503 HAS SOUPS 114503 WITH SCORE 114639.402
AT ITER 1660 NEW BEST:: SOT 2886990 SOS 136402 HAS SOPS 136402 HAS SOUS 114502 HAS SOUPS 114502 WITH SCORE 114638.402
AT ITER 1740 NEW BEST:: SOT 2886947 SOS 136359 HAS SOPS 136359 HAS SOUS 114459 HAS SOUPS 114459 WITH SCORE 114595.359
AT ITER 1821 NEW BEST:: SOT 2886947 SOS 136366 HAS SOPS 136366 HAS SOUS 114458 HAS SOUPS 114458 WITH SCORE 114594.366
AT ITER 1825 NEW BEST:: SOT 2886935 SOS 136224 HAS SOPS 136224 HAS SOUS 114405 HAS SOUPS 114405 WITH SCORE 114541.224
AT ITER 1833 NEW BEST:: SOT 2886935 SOS 136202 HAS SOPS 136202 HAS SOUS 114383 HAS SOUPS 114383 WITH SCORE 114519.202
AT ITER 1845 NEW BEST:: SOT 2886855 SOS 136241 HAS SOPS 136241 HAS SOUS 114362 HAS SOUPS 114362 WITH SCORE 114498.241
AT ITER 1863 NEW BEST:: SOT 2886855 SOS 136266 HAS SOPS 136266 HAS SOUS 114337 HAS SOUPS 114337 WITH SCORE 114473.266
AT ITER 1931 NEW BEST:: SOT 2886858 SOS 136356 HAS SOPS 136356 HAS SOUS 114326 HAS SOUPS 114326 WITH SCORE 114462.356
AT ITER 2070 NEW BEST:: SOT 2886831 SOS 136290 HAS SOPS 136290 HAS SOUS 114318 HAS SOUPS 114318 WITH SCORE 114454.29
AT ITER 2077 NEW BEST:: SOT 2886811 SOS 136230 HAS SOPS 136230 HAS SOUS 114278 HAS SOUPS 114278 WITH SCORE 114414.23
AT ITER 2232 NEW BEST:: SOT 2886813 SOS 136230 HAS SOPS 136230 HAS SOUS 114277 HAS SOUPS 114277 WITH SCORE 114413.23
AT ITER 2273 NEW BEST:: SOT 2886699 SOS 136219 HAS SOPS 136219 HAS SOUS 114244 HAS SOUPS 114244 WITH SCORE 114380.219
AT ITER 2283 NEW BEST:: SOT 2886608 SOS 136128 HAS SOPS 136128 HAS SOUS 114153 HAS SOUPS 114153 WITH SCORE 114289.128
AT ITER 2424 NEW BEST:: SOT 2886608 SOS 136092 HAS SOPS 136092 HAS SOUS 114117 HAS SOUPS 114117 WITH SCORE 114253.092
AT ITER 2465 NEW BEST:: SOT 2886608 SOS 136076 HAS SOPS 136076 HAS SOUS 114101 HAS SOUPS 114101 WITH SCORE 114237.076
AT ITER 2520 NEW BEST:: SOT 2886565 SOS 136037 HAS SOPS 136037 HAS SOUS 114059 HAS SOUPS 114059 WITH SCORE 114195.037
AT ITER 2529 NEW BEST:: SOT 2886565 SOS 136031 HAS SOPS 136031 HAS SOUS 114053 HAS SOUPS 114053 WITH SCORE 114189.031
AT ITER 2634 NEW BEST:: SOT 2886541 SOS 136007 HAS SOPS 136007 HAS SOUS 114028 HAS SOUPS 114028 WITH SCORE 114164.007
AT ITER 2700 NEW BEST:: SOT 2886523 SOS 135989 HAS SOPS 135989 HAS SOUS 113992 HAS SOUPS 113992 WITH SCORE 114127.989
AT ITER 2772 NEW BEST:: SOT 2886480 SOS 135917 HAS SOPS 135917 HAS SOUS 113950 HAS SOUPS 113950 WITH SCORE 114085.917
AT ITER 2789 NEW BEST:: SOT 2886470 SOS 135812 HAS SOPS 135812 HAS SOUS 113945 HAS SOUPS 113945 WITH SCORE 114080.812
AT ITER 2807 NEW BEST:: SOT 2886470 SOS 135838 HAS SOPS 135838 HAS SOUS 113941 HAS SOUPS 113941 WITH SCORE 114076.838
AT ITER 2831 NEW BEST:: SOT 2886458 SOS 135819 HAS SOPS 135819 HAS SOUS 113941 HAS SOUPS 113941 WITH SCORE 114076.819
AT ITER 2895 NEW BEST:: SOT 2886456 SOS 135811 HAS SOPS 135811 HAS SOUS 113938 HAS SOUPS 113938 WITH SCORE 114073.811
AT ITER 3049 NEW BEST:: SOT 2886349 SOS 135766 HAS SOPS 135766 HAS SOUS 113893 HAS SOUPS 113893 WITH SCORE 114028.766
AT ITER 3069 NEW BEST:: SOT 2886328 SOS 135702 HAS SOPS 135702 HAS SOUS 113854 HAS SOUPS 113854 WITH SCORE 113989.702
AT ITER 3292 NEW BEST:: SOT 2886298 SOS 135655 HAS SOPS 135655 HAS SOUS 113824 HAS SOUPS 113824 WITH SCORE 113959.655
AT ITER 3427 NEW BEST:: SOT 2886290 SOS 135661 HAS SOPS 135661 HAS SOUS 113822 HAS SOUPS 113822 WITH SCORE 113957.661
AT ITER 3514 NEW BEST:: SOT 2886258 SOS 135629 HAS SOPS 135629 HAS SOUS 113790 HAS SOUPS 113790 WITH SCORE 113925.629
AT ITER 3582 NEW BEST:: SOT 2886258 SOS 135628 HAS SOPS 135628 HAS SOUS 113789 HAS SOUPS 113789 WITH SCORE 113924.628
AT ITER 3674 NEW BEST:: SOT 2886239 SOS 135678 HAS SOPS 135678 HAS SOUS 113781 HAS SOUPS 113781 WITH SCORE 113916.678
AT ITER 3675 NEW BEST:: SOT 2886239 SOS 135677 HAS SOPS 135677 HAS SOUS 113779 HAS SOUPS 113779 WITH SCORE 113914.677
AT ITER 3842 NEW BEST:: SOT 2886239 SOS 135677 HAS SOPS 135677 HAS SOUS 113729 HAS SOUPS 113729 WITH SCORE 113864.677
AT ITER 4083 NEW BEST:: SOT 2886157 SOS 135568 HAS SOPS 135568 HAS SOUS 113606 HAS SOUPS 113606 WITH SCORE 113741.568
AT ITER 4215 NEW BEST:: SOT 2886121 SOS 135483 HAS SOPS 135483 HAS SOUS 113585 HAS SOUPS 113585 WITH SCORE 113720.483
AT ITER 4346 NEW BEST:: SOT 2886121 SOS 135445 HAS SOPS 135445 HAS SOUS 113547 HAS SOUPS 113547 WITH SCORE 113682.445
AT ITER 4596 NEW BEST:: SOT 2886091 SOS 135415 HAS SOPS 135415 HAS SOUS 113517 HAS SOUPS 113517 WITH SCORE 113652.415
AT ITER 4726 NEW BEST:: SOT 2886054 SOS 135378 HAS SOPS 135378 HAS SOUS 113480 HAS SOUPS 113480 WITH SCORE 113615.378
AT ITER 4805 NEW BEST:: SOT 2886030 SOS 135368 HAS SOPS 135368 HAS SOUS 113470 HAS SOUPS 113470 WITH SCORE 113605.368
AT ITER 4815 NEW BEST:: SOT 2886030 SOS 135367 HAS SOPS 135367 HAS SOUS 113468 HAS SOUPS 113468 WITH SCORE 113603.367
AT ITER 4875 NEW BEST:: SOT 2886030 SOS 135363 HAS SOPS 135363 HAS SOUS 113465 HAS SOUPS 113465 WITH SCORE 113600.363
AT ITER 4930 NEW BEST:: SOT 2886030 SOS 135332 HAS SOPS 135332 HAS SOUS 113434 HAS SOUPS 113434 WITH SCORE 113569.332
AT ITER 5042 NEW BEST:: SOT 2885983 SOS 135302 HAS SOPS 135302 HAS SOUS 113359 HAS SOUPS 113359 WITH SCORE 113494.302
AT ITER 5308 NEW BEST:: SOT 2885983 SOS 135295 HAS SOPS 135295 HAS SOUS 113352 HAS SOUPS 113352 WITH SCORE 113487.295
AT ITER 5514 NEW BEST:: SOT 2885983 SOS 135294 HAS SOPS 135294 HAS SOUS 113350 HAS SOUPS 113350 WITH SCORE 113485.294
AT ITER 5577 NEW BEST:: SOT 2885983 SOS 135293 HAS SOPS 135293 HAS SOUS 113349 HAS SOUPS 113349 WITH SCORE 113484.293
AT ITER 5638 NEW BEST:: SOT 2885907 SOS 135217 HAS SOPS 135217 HAS SOUS 113273 HAS SOUPS 113273 WITH SCORE 113408.217
AT ITER 5640 NEW BEST:: SOT 2885895 SOS 135215 HAS SOPS 135215 HAS SOUS 113271 HAS SOUPS 113271 WITH SCORE 113406.215
AT ITER 5685 NEW BEST:: SOT 2885896 SOS 135253 HAS SOPS 135253 HAS SOUS 113263 HAS SOUPS 113263 WITH SCORE 113398.253
AT ITER 5693 NEW BEST:: SOT 2885896 SOS 135234 HAS SOPS 135234 HAS SOUS 113244 HAS SOUPS 113244 WITH SCORE 113379.234
AT ITER 5900 NEW BEST:: SOT 2885864 SOS 135184 HAS SOPS 135184 HAS SOUS 113211 HAS SOUPS 113211 WITH SCORE 113346.184
AT ITER 5987 NEW BEST:: SOT 2885858 SOS 135158 HAS SOPS 135158 HAS SOUS 113208 HAS SOUPS 113208 WITH SCORE 113343.158
AT ITER 6027 NEW BEST:: SOT 2885862 SOS 135180 HAS SOPS 135180 HAS SOUS 113207 HAS SOUPS 113207 WITH SCORE 113342.18
AT ITER 6034 NEW BEST:: SOT 2885832 SOS 134998 HAS SOPS 134998 HAS SOUS 113125 HAS SOUPS 113125 WITH SCORE 113259.998
AT ITER 6037 NEW BEST:: SOT 2885789 SOS 134840 HAS SOPS 134840 HAS SOUS 113046 HAS SOUPS 113046 WITH SCORE 113180.84
AT ITER 6082 NEW BEST:: SOT 2885784 SOS 134816 HAS SOPS 134816 HAS SOUS 113036 HAS SOUPS 113036 WITH SCORE 113170.816
AT ITER 6229 NEW BEST:: SOT 2885769 SOS 134750 HAS SOPS 134750 HAS SOUS 113021 HAS SOUPS 113021 WITH SCORE 113155.75
AT ITER 6247 NEW BEST:: SOT 2885776 SOS 134732 HAS SOPS 134732 HAS SOUS 113003 HAS SOUPS 113003 WITH SCORE 113137.732
AT ITER 6279 NEW BEST:: SOT 2885776 SOS 134788 HAS SOPS 134788 HAS SOUS 112964 HAS SOUPS 112964 WITH SCORE 113098.788
AT ITER 6346 NEW BEST:: SOT 2885776 SOS 134738 HAS SOPS 134738 HAS SOUS 112938 HAS SOUPS 112938 WITH SCORE 113072.738
AT ITER 6389 NEW BEST:: SOT 2885745 SOS 134645 HAS SOPS 134645 HAS SOUS 112876 HAS SOUPS 112876 WITH SCORE 113010.645
AT ITER 6394 NEW BEST:: SOT 2885755 SOS 134705 HAS SOPS 134705 HAS SOUS 112875 HAS SOUPS 112875 WITH SCORE 113009.705
AT ITER 6399 NEW BEST:: SOT 2885787 SOS 134703 HAS SOPS 134703 HAS SOUS 112861 HAS SOUPS 112861 WITH SCORE 112995.703
AT ITER 6684 NEW BEST:: SOT 2885730 SOS 134703 HAS SOPS 134703 HAS SOUS 112833 HAS SOUPS 112833 WITH SCORE 112967.703
AT ITER 6823 NEW BEST:: SOT 2885728 SOS 134700 HAS SOPS 134700 HAS SOUS 112830 HAS SOUPS 112830 WITH SCORE 112964.7
AT ITER 6851 NEW BEST:: SOT 2885727 SOS 134699 HAS SOPS 134699 HAS SOUS 112829 HAS SOUPS 112829 WITH SCORE 112963.699
AT ITER 7197 NEW BEST:: SOT 2885717 SOS 134688 HAS SOPS 134688 HAS SOUS 112818 HAS SOUPS 112818 WITH SCORE 112952.688
AT ITER 7264 NEW BEST:: SOT 2885717 SOS 134679 HAS SOPS 134679 HAS SOUS 112809 HAS SOUPS 112809 WITH SCORE 112943.679
AT ITER 7343 NEW BEST:: SOT 2885703 SOS 134670 HAS SOPS 134670 HAS SOUS 112786 HAS SOUPS 112786 WITH SCORE 112920.67
AT ITER 7349 NEW BEST:: SOT 2885689 SOS 134603 HAS SOPS 134603 HAS SOUS 112733 HAS SOUPS 112733 WITH SCORE 112867.603
AT ITER 7485 NEW BEST:: SOT 2885683 SOS 134585 HAS SOPS 134585 HAS SOUS 112732 HAS SOUPS 112732 WITH SCORE 112866.585
AT ITER 7640 NEW BEST:: SOT 2885683 SOS 134577 HAS SOPS 134577 HAS SOUS 112724 HAS SOUPS 112724 WITH SCORE 112858.577
AT ITER 7854 NEW BEST:: SOT 2885642 SOS 134536 HAS SOPS 134536 HAS SOUS 112683 HAS SOUPS 112683 WITH SCORE 112817.536
AT ITER 8101 NEW BEST:: SOT 2885620 SOS 134503 HAS SOPS 134503 HAS SOUS 112661 HAS SOUPS 112661 WITH SCORE 112795.503
AT ITER 8149 NEW BEST:: SOT 2885575 SOS 134413 HAS SOPS 134413 HAS SOUS 112615 HAS SOUPS 112615 WITH SCORE 112749.413
AT ITER 8180 NEW BEST:: SOT 2885569 SOS 134407 HAS SOPS 134407 HAS SOUS 112609 HAS SOUPS 112609 WITH SCORE 112743.407
AT ITER 8212 NEW BEST:: SOT 2885552 SOS 134373 HAS SOPS 134373 HAS SOUS 112575 HAS SOUPS 112575 WITH SCORE 112709.373
AT ITER 8316 NEW BEST:: SOT 2885510 SOS 134220 HAS SOPS 134220 HAS SOUS 112528 HAS SOUPS 112528 WITH SCORE 112662.22
AT ITER 8344 NEW BEST:: SOT 2885510 SOS 134188 HAS SOPS 134188 HAS SOUS 112528 HAS SOUPS 112528 WITH SCORE 112662.188
AT ITER 8558 NEW BEST:: SOT 2885510 SOS 134186 HAS SOPS 134186 HAS SOUS 112526 HAS SOUPS 112526 WITH SCORE 112660.186
AT ITER 8725 NEW BEST:: SOT 2885497 SOS 134110 HAS SOPS 134110 HAS SOUS 112500 HAS SOUPS 112500 WITH SCORE 112634.11
AT ITER 8878 NEW BEST:: SOT 2885485 SOS 134055 HAS SOPS 134055 HAS SOUS 112487 HAS SOUPS 112487 WITH SCORE 112621.055
AT ITER 8972 NEW BEST:: SOT 2885485 SOS 134048 HAS SOPS 134048 HAS SOUS 112480 HAS SOUPS 112480 WITH SCORE 112614.048
AT ITER 8999 NEW BEST:: SOT 2885485 SOS 134043 HAS SOPS 134043 HAS SOUS 112475 HAS SOUPS 112475 WITH SCORE 112609.043
AT ITER 9094 NEW BEST:: SOT 2885480 SOS 134038 HAS SOPS 134038 HAS SOUS 112470 HAS SOUPS 112470 WITH SCORE 112604.038
AT ITER 9107 NEW BEST:: SOT 2885453 SOS 133953 HAS SOPS 133953 HAS SOUS 112466 HAS SOUPS 112466 WITH SCORE 112599.953
AT ITER 9239 NEW BEST:: SOT 2885449 SOS 133951 HAS SOPS 133951 HAS SOUS 112464 HAS SOUPS 112464 WITH SCORE 112597.951
AT ITER 9297 NEW BEST:: SOT 2885447 SOS 133945 HAS SOPS 133945 HAS SOUS 112458 HAS SOUPS 112458 WITH SCORE 112591.945
AT ITER 9544 NEW BEST:: SOT 2885425 SOS 133926 HAS SOPS 133926 HAS SOUS 112439 HAS SOUPS 112439 WITH SCORE 112572.926
AT ITER 9645 NEW BEST:: SOT 2885401 SOS 133878 HAS SOPS 133878 HAS SOUS 112367 HAS SOUPS 112367 WITH SCORE 112500.878
AT ITER 9719 NEW BEST:: SOT 2885401 SOS 133878 HAS SOPS 133878 HAS SOUS 112366 HAS SOUPS 112366 WITH SCORE 112499.878
AT ITER 9755 NEW BEST:: SOT 2885401 SOS 133877 HAS SOPS 133877 HAS SOUS 112365 HAS SOUPS 112365 WITH SCORE 112498.877
AT ITER 9829 NEW BEST:: SOT 2885431 SOS 133796 HAS SOPS 133796 HAS SOUS 112360 HAS SOUPS 112360 WITH SCORE 112493.796
AT ITER 9940 NEW BEST:: SOT 2885386 SOS 133766 HAS SOPS 133766 HAS SOUS 112330 HAS SOUPS 112330 WITH SCORE 112463.766

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="ShieldIIPs-PT-040B"
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 ShieldIIPs-PT-040B, 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-159033469100184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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