Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711700320.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldIIPt-PT-040B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711700320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.0K Feb 25 17:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 17:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 25 17:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 17:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 17:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 17:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 17:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 17:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 686K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679063928002

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-040B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 040B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2803 places, 2603 transitions, 6486 arcs.
AT ITER 0 NEW BEST:: SOT 3711385 SOS 182277 HAS SOPS 182277 HAS SOUS 170109 HAS SOUPS 170109 WITH SCORE 170291.277
AT ITER 120 NEW BEST:: SOT 3711385 SOS 182256 HAS SOPS 182256 HAS SOUS 170087 HAS SOUPS 170087 WITH SCORE 170269.256
AT ITER 232 NEW BEST:: SOT 3711334 SOS 182153 HAS SOPS 182153 HAS SOUS 169984 HAS SOUPS 169984 WITH SCORE 170166.153
AT ITER 235 NEW BEST:: SOT 3711302 SOS 182116 HAS SOPS 182116 HAS SOUS 169947 HAS SOUPS 169947 WITH SCORE 170129.116
AT ITER 238 NEW BEST:: SOT 3711302 SOS 182096 HAS SOPS 182096 HAS SOUS 169927 HAS SOUPS 169927 WITH SCORE 170109.096
AT ITER 312 NEW BEST:: SOT 3711301 SOS 182080 HAS SOPS 182080 HAS SOUS 169922 HAS SOUPS 169922 WITH SCORE 170104.08
AT ITER 314 NEW BEST:: SOT 3711301 SOS 182101 HAS SOPS 182101 HAS SOUS 169918 HAS SOUPS 169918 WITH SCORE 170100.101
AT ITER 321 NEW BEST:: SOT 3711301 SOS 182095 HAS SOPS 182095 HAS SOUS 169912 HAS SOUPS 169912 WITH SCORE 170094.095
AT ITER 329 NEW BEST:: SOT 3711301 SOS 182085 HAS SOPS 182085 HAS SOUS 169902 HAS SOUPS 169902 WITH SCORE 170084.085
AT ITER 415 NEW BEST:: SOT 3711301 SOS 182072 HAS SOPS 182072 HAS SOUS 169902 HAS SOUPS 169902 WITH SCORE 170084.072
AT ITER 468 NEW BEST:: SOT 3711305 SOS 182021 HAS SOPS 182021 HAS SOUS 169832 HAS SOUPS 169832 WITH SCORE 170014.021
AT ITER 496 NEW BEST:: SOT 3711305 SOS 182020 HAS SOPS 182020 HAS SOUS 169829 HAS SOUPS 169829 WITH SCORE 170011.02
AT ITER 608 NEW BEST:: SOT 3711300 SOS 182010 HAS SOPS 182010 HAS SOUS 169819 HAS SOUPS 169819 WITH SCORE 170001.01
AT ITER 617 NEW BEST:: SOT 3711293 SOS 181913 HAS SOPS 181913 HAS SOUS 169805 HAS SOUPS 169805 WITH SCORE 169986.913
AT ITER 622 NEW BEST:: SOT 3711292 SOS 181910 HAS SOPS 181910 HAS SOUS 169802 HAS SOUPS 169802 WITH SCORE 169983.91
AT ITER 630 NEW BEST:: SOT 3711292 SOS 181902 HAS SOPS 181902 HAS SOUS 169794 HAS SOUPS 169794 WITH SCORE 169975.902
AT ITER 659 NEW BEST:: SOT 3711237 SOS 181807 HAS SOPS 181807 HAS SOUS 169729 HAS SOUPS 169729 WITH SCORE 169910.807
AT ITER 702 NEW BEST:: SOT 3711237 SOS 181721 HAS SOPS 181721 HAS SOUS 169643 HAS SOUPS 169643 WITH SCORE 169824.721
AT ITER 729 NEW BEST:: SOT 3711192 SOS 181630 HAS SOPS 181630 HAS SOUS 169552 HAS SOUPS 169552 WITH SCORE 169733.63
AT ITER 782 NEW BEST:: SOT 3711191 SOS 181536 HAS SOPS 181536 HAS SOUS 169550 HAS SOUPS 169550 WITH SCORE 169731.536
AT ITER 817 NEW BEST:: SOT 3711076 SOS 181478 HAS SOPS 181478 HAS SOUS 169480 HAS SOUPS 169480 WITH SCORE 169661.478
AT ITER 849 NEW BEST:: SOT 3711076 SOS 181469 HAS SOPS 181469 HAS SOUS 169480 HAS SOUPS 169480 WITH SCORE 169661.469
AT ITER 859 NEW BEST:: SOT 3711033 SOS 181428 HAS SOPS 181428 HAS SOUS 169437 HAS SOUPS 169437 WITH SCORE 169618.428
AT ITER 884 NEW BEST:: SOT 3711032 SOS 181415 HAS SOPS 181415 HAS SOUS 169435 HAS SOUPS 169435 WITH SCORE 169616.415
AT ITER 1012 NEW BEST:: SOT 3711011 SOS 181373 HAS SOPS 181373 HAS SOUS 169349 HAS SOUPS 169349 WITH SCORE 169530.373
AT ITER 1014 NEW BEST:: SOT 3711011 SOS 181393 HAS SOPS 181393 HAS SOUS 169346 HAS SOUPS 169346 WITH SCORE 169527.393
AT ITER 1270 NEW BEST:: SOT 3710971 SOS 181352 HAS SOPS 181352 HAS SOUS 169305 HAS SOUPS 169305 WITH SCORE 169486.352
AT ITER 1349 NEW BEST:: SOT 3710923 SOS 181320 HAS SOPS 181320 HAS SOUS 169304 HAS SOUPS 169304 WITH SCORE 169485.32
AT ITER 1411 NEW BEST:: SOT 3710884 SOS 181303 HAS SOPS 181303 HAS SOUS 169287 HAS SOUPS 169287 WITH SCORE 169468.303
AT ITER 1421 NEW BEST:: SOT 3710869 SOS 181273 HAS SOPS 181273 HAS SOUS 169257 HAS SOUPS 169257 WITH SCORE 169438.273
AT ITER 1571 NEW BEST:: SOT 3710869 SOS 181264 HAS SOPS 181264 HAS SOUS 169248 HAS SOUPS 169248 WITH SCORE 169429.264
AT ITER 1709 NEW BEST:: SOT 3710796 SOS 181124 HAS SOPS 181124 HAS SOUS 169131 HAS SOUPS 169131 WITH SCORE 169312.124
AT ITER 1762 NEW BEST:: SOT 3710796 SOS 181124 HAS SOPS 181124 HAS SOUS 169129 HAS SOUPS 169129 WITH SCORE 169310.124
AT ITER 1836 NEW BEST:: SOT 3710736 SOS 181124 HAS SOPS 181124 HAS SOUS 169099 HAS SOUPS 169099 WITH SCORE 169280.124
AT ITER 2031 NEW BEST:: SOT 3710713 SOS 181123 HAS SOPS 181123 HAS SOUS 169098 HAS SOUPS 169098 WITH SCORE 169279.123
AT ITER 2075 NEW BEST:: SOT 3710721 SOS 181103 HAS SOPS 181103 HAS SOUS 169078 HAS SOUPS 169078 WITH SCORE 169259.103
AT ITER 2083 NEW BEST:: SOT 3710721 SOS 181081 HAS SOPS 181081 HAS SOUS 169055 HAS SOUPS 169055 WITH SCORE 169236.081
AT ITER 2173 NEW BEST:: SOT 3710668 SOS 181027 HAS SOPS 181027 HAS SOUS 169001 HAS SOUPS 169001 WITH SCORE 169182.027
AT ITER 2342 NEW BEST:: SOT 3710643 SOS 180977 HAS SOPS 180977 HAS SOUS 168951 HAS SOUPS 168951 WITH SCORE 169131.977
AT ITER 2365 NEW BEST:: SOT 3710709 SOS 180969 HAS SOPS 180969 HAS SOUS 168943 HAS SOUPS 168943 WITH SCORE 169123.969
AT ITER 2464 NEW BEST:: SOT 3710772 SOS 180955 HAS SOPS 180955 HAS SOUS 168913 HAS SOUPS 168913 WITH SCORE 169093.955
AT ITER 2467 NEW BEST:: SOT 3710761 SOS 180933 HAS SOPS 180933 HAS SOUS 168843 HAS SOUPS 168843 WITH SCORE 169023.933
AT ITER 2659 NEW BEST:: SOT 3710752 SOS 180915 HAS SOPS 180915 HAS SOUS 168825 HAS SOUPS 168825 WITH SCORE 169005.915
AT ITER 2717 NEW BEST:: SOT 3710718 SOS 180802 HAS SOPS 180802 HAS SOUS 168768 HAS SOUPS 168768 WITH SCORE 168948.802
AT ITER 2896 NEW BEST:: SOT 3710692 SOS 180635 HAS SOPS 180635 HAS SOUS 168648 HAS SOUPS 168648 WITH SCORE 168828.635
AT ITER 2915 NEW BEST:: SOT 3710680 SOS 180575 HAS SOPS 180575 HAS SOUS 168588 HAS SOUPS 168588 WITH SCORE 168768.575
AT ITER 2960 NEW BEST:: SOT 3710678 SOS 180573 HAS SOPS 180573 HAS SOUS 168586 HAS SOUPS 168586 WITH SCORE 168766.573
AT ITER 3133 NEW BEST:: SOT 3710656 SOS 180529 HAS SOPS 180529 HAS SOUS 168564 HAS SOUPS 168564 WITH SCORE 168744.529
AT ITER 3215 NEW BEST:: SOT 3710603 SOS 180437 HAS SOPS 180437 HAS SOUS 168502 HAS SOUPS 168502 WITH SCORE 168682.437
AT ITER 3230 NEW BEST:: SOT 3710606 SOS 180414 HAS SOPS 180414 HAS SOUS 168479 HAS SOUPS 168479 WITH SCORE 168659.414
AT ITER 3333 NEW BEST:: SOT 3710646 SOS 180410 HAS SOPS 180410 HAS SOUS 168443 HAS SOUPS 168443 WITH SCORE 168623.41
AT ITER 3407 NEW BEST:: SOT 3710646 SOS 180409 HAS SOPS 180409 HAS SOUS 168442 HAS SOUPS 168442 WITH SCORE 168622.409
AT ITER 3445 NEW BEST:: SOT 3710646 SOS 180401 HAS SOPS 180401 HAS SOUS 168434 HAS SOUPS 168434 WITH SCORE 168614.401
AT ITER 3453 NEW BEST:: SOT 3710646 SOS 180352 HAS SOPS 180352 HAS SOUS 168385 HAS SOUPS 168385 WITH SCORE 168565.352
AT ITER 3581 NEW BEST:: SOT 3710646 SOS 180330 HAS SOPS 180330 HAS SOUS 168383 HAS SOUPS 168383 WITH SCORE 168563.33
AT ITER 3592 NEW BEST:: SOT 3710590 SOS 180068 HAS SOPS 180068 HAS SOUS 168324 HAS SOUPS 168324 WITH SCORE 168504.068
AT ITER 3595 NEW BEST:: SOT 3710628 SOS 180038 HAS SOPS 180038 HAS SOUS 168294 HAS SOUPS 168294 WITH SCORE 168474.038
AT ITER 3599 NEW BEST:: SOT 3710612 SOS 180073 HAS SOPS 180073 HAS SOUS 168278 HAS SOUPS 168278 WITH SCORE 168458.073
AT ITER 3646 NEW BEST:: SOT 3710612 SOS 180094 HAS SOPS 180094 HAS SOUS 168275 HAS SOUPS 168275 WITH SCORE 168455.094
AT ITER 3649 NEW BEST:: SOT 3710582 SOS 179898 HAS SOPS 179898 HAS SOUS 168178 HAS SOUPS 168178 WITH SCORE 168357.898
AT ITER 3660 NEW BEST:: SOT 3710573 SOS 179880 HAS SOPS 179880 HAS SOUS 168160 HAS SOUPS 168160 WITH SCORE 168339.88
AT ITER 3721 NEW BEST:: SOT 3710573 SOS 179880 HAS SOPS 179880 HAS SOUS 168145 HAS SOUPS 168145 WITH SCORE 168324.88
AT ITER 3817 NEW BEST:: SOT 3710573 SOS 179879 HAS SOPS 179879 HAS SOUS 168144 HAS SOUPS 168144 WITH SCORE 168323.879
AT ITER 3848 NEW BEST:: SOT 3710555 SOS 179869 HAS SOPS 179869 HAS SOUS 168134 HAS SOUPS 168134 WITH SCORE 168313.869
AT ITER 4131 NEW BEST:: SOT 3710449 SOS 179635 HAS SOPS 179635 HAS SOUS 167996 HAS SOUPS 167996 WITH SCORE 168175.635
AT ITER 4221 NEW BEST:: SOT 3710433 SOS 179681 HAS SOPS 179681 HAS SOUS 167980 HAS SOUPS 167980 WITH SCORE 168159.681
AT ITER 4236 NEW BEST:: SOT 3710433 SOS 179667 HAS SOPS 179667 HAS SOUS 167979 HAS SOUPS 167979 WITH SCORE 168158.667
AT ITER 4238 NEW BEST:: SOT 3710393 SOS 179706 HAS SOPS 179706 HAS SOUS 167975 HAS SOUPS 167975 WITH SCORE 168154.706
AT ITER 4264 NEW BEST:: SOT 3710393 SOS 179675 HAS SOPS 179675 HAS SOUS 167944 HAS SOUPS 167944 WITH SCORE 168123.675
AT ITER 4371 NEW BEST:: SOT 3710359 SOS 179563 HAS SOPS 179563 HAS SOUS 167890 HAS SOUPS 167890 WITH SCORE 168069.563
AT ITER 4403 NEW BEST:: SOT 3710358 SOS 179502 HAS SOPS 179502 HAS SOUS 167888 HAS SOUPS 167888 WITH SCORE 168067.502
AT ITER 4491 NEW BEST:: SOT 3710390 SOS 179468 HAS SOPS 179468 HAS SOUS 167854 HAS SOUPS 167854 WITH SCORE 168033.468
AT ITER 4515 NEW BEST:: SOT 3710378 SOS 179456 HAS SOPS 179456 HAS SOUS 167854 HAS SOUPS 167854 WITH SCORE 168033.456
AT ITER 4531 NEW BEST:: SOT 3710320 SOS 179399 HAS SOPS 179399 HAS SOUS 167783 HAS SOUPS 167783 WITH SCORE 167962.399
AT ITER 4748 NEW BEST:: SOT 3710285 SOS 179329 HAS SOPS 179329 HAS SOUS 167713 HAS SOUPS 167713 WITH SCORE 167892.329
AT ITER 4808 NEW BEST:: SOT 3710283 SOS 179327 HAS SOPS 179327 HAS SOUS 167711 HAS SOUPS 167711 WITH SCORE 167890.327
AT ITER 4843 NEW BEST:: SOT 3710262 SOS 179306 HAS SOPS 179306 HAS SOUS 167690 HAS SOUPS 167690 WITH SCORE 167869.306
AT ITER 5002 NEW BEST:: SOT 3710274 SOS 179254 HAS SOPS 179254 HAS SOUS 167664 HAS SOUPS 167664 WITH SCORE 167843.254
AT ITER 5048 NEW BEST:: SOT 3710274 SOS 179247 HAS SOPS 179247 HAS SOUS 167657 HAS SOUPS 167657 WITH SCORE 167836.247
AT ITER 5057 NEW BEST:: SOT 3710274 SOS 179184 HAS SOPS 179184 HAS SOUS 167594 HAS SOUPS 167594 WITH SCORE 167773.184
AT ITER 5112 NEW BEST:: SOT 3710224 SOS 179134 HAS SOPS 179134 HAS SOUS 167543 HAS SOUPS 167543 WITH SCORE 167722.134
AT ITER 5144 NEW BEST:: SOT 3710238 SOS 179089 HAS SOPS 179089 HAS SOUS 167498 HAS SOUPS 167498 WITH SCORE 167677.089
AT ITER 5173 NEW BEST:: SOT 3710216 SOS 179067 HAS SOPS 179067 HAS SOUS 167476 HAS SOUPS 167476 WITH SCORE 167655.067
AT ITER 5252 NEW BEST:: SOT 3710261 SOS 179068 HAS SOPS 179068 HAS SOUS 167443 HAS SOUPS 167443 WITH SCORE 167622.068
AT ITER 5260 NEW BEST:: SOT 3710211 SOS 178811 HAS SOPS 178811 HAS SOUS 167391 HAS SOUPS 167391 WITH SCORE 167569.811
AT ITER 5264 NEW BEST:: SOT 3710210 SOS 178768 HAS SOPS 178768 HAS SOUS 167388 HAS SOUPS 167388 WITH SCORE 167566.768
AT ITER 5423 NEW BEST:: SOT 3710210 SOS 178763 HAS SOPS 178763 HAS SOUS 167383 HAS SOUPS 167383 WITH SCORE 167561.763
AT ITER 5427 NEW BEST:: SOT 3710198 SOS 178751 HAS SOPS 178751 HAS SOUS 167371 HAS SOUPS 167371 WITH SCORE 167549.751
AT ITER 5757 NEW BEST:: SOT 3710189 SOS 178724 HAS SOPS 178724 HAS SOUS 167344 HAS SOUPS 167344 WITH SCORE 167522.724
AT ITER 5782 NEW BEST:: SOT 3710189 SOS 178707 HAS SOPS 178707 HAS SOUS 167326 HAS SOUPS 167326 WITH SCORE 167504.707
AT ITER 5794 NEW BEST:: SOT 3710189 SOS 178706 HAS SOPS 178706 HAS SOUS 167326 HAS SOUPS 167326 WITH SCORE 167504.706
AT ITER 5802 NEW BEST:: SOT 3710181 SOS 178690 HAS SOPS 178690 HAS SOUS 167318 HAS SOUPS 167318 WITH SCORE 167496.69
AT ITER 5923 NEW BEST:: SOT 3710181 SOS 178652 HAS SOPS 178652 HAS SOUS 167280 HAS SOUPS 167280 WITH SCORE 167458.652
AT ITER 5984 NEW BEST:: SOT 3710181 SOS 178664 HAS SOPS 178664 HAS SOUS 167273 HAS SOUPS 167273 WITH SCORE 167451.664
AT ITER 6011 NEW BEST:: SOT 3710159 SOS 178653 HAS SOPS 178653 HAS SOUS 167262 HAS SOUPS 167262 WITH SCORE 167440.653
AT ITER 6187 NEW BEST:: SOT 3710159 SOS 178643 HAS SOPS 178643 HAS SOUS 167252 HAS SOUPS 167252 WITH SCORE 167430.643
AT ITER 6229 NEW BEST:: SOT 3710159 SOS 178596 HAS SOPS 178596 HAS SOUS 167205 HAS SOUPS 167205 WITH SCORE 167383.596
AT ITER 6263 NEW BEST:: SOT 3710161 SOS 178579 HAS SOPS 178579 HAS SOUS 167153 HAS SOUPS 167153 WITH SCORE 167331.579
AT ITER 6399 NEW BEST:: SOT 3710134 SOS 178427 HAS SOPS 178427 HAS SOUS 166992 HAS SOUPS 166992 WITH SCORE 167170.427
AT ITER 6601 NEW BEST:: SOT 3710134 SOS 178395 HAS SOPS 178395 HAS SOUS 166960 HAS SOUPS 166960 WITH SCORE 167138.395
AT ITER 6685 NEW BEST:: SOT 3710086 SOS 178251 HAS SOPS 178251 HAS SOUS 166911 HAS SOUPS 166911 WITH SCORE 167089.251
AT ITER 6686 NEW BEST:: SOT 3710066 SOS 178265 HAS SOPS 178265 HAS SOUS 166891 HAS SOUPS 166891 WITH SCORE 167069.265
AT ITER 6726 NEW BEST:: SOT 3710066 SOS 178264 HAS SOPS 178264 HAS SOUS 166889 HAS SOUPS 166889 WITH SCORE 167067.264
AT ITER 6746 NEW BEST:: SOT 3710064 SOS 178230 HAS SOPS 178230 HAS SOUS 166885 HAS SOUPS 166885 WITH SCORE 167063.23
AT ITER 6789 NEW BEST:: SOT 3710046 SOS 178229 HAS SOPS 178229 HAS SOUS 166884 HAS SOUPS 166884 WITH SCORE 167062.229
AT ITER 6944 NEW BEST:: SOT 3710046 SOS 178213 HAS SOPS 178213 HAS SOUS 166868 HAS SOUPS 166868 WITH SCORE 167046.213
AT ITER 6959 NEW BEST:: SOT 3710007 SOS 178174 HAS SOPS 178174 HAS SOUS 166829 HAS SOUPS 166829 WITH SCORE 167007.174
AT ITER 6996 NEW BEST:: SOT 3710007 SOS 178154 HAS SOPS 178154 HAS SOUS 166829 HAS SOUPS 166829 WITH SCORE 167007.154
AT ITER 7017 NEW BEST:: SOT 3710044 SOS 178126 HAS SOPS 178126 HAS SOUS 166801 HAS SOUPS 166801 WITH SCORE 166979.126
AT ITER 7042 NEW BEST:: SOT 3710043 SOS 178097 HAS SOPS 178097 HAS SOUS 166799 HAS SOUPS 166799 WITH SCORE 166977.097
AT ITER 7204 NEW BEST:: SOT 3709986 SOS 177963 HAS SOPS 177963 HAS SOUS 166647 HAS SOUPS 166647 WITH SCORE 166824.963
AT ITER 7212 NEW BEST:: SOT 3709972 SOS 177951 HAS SOPS 177951 HAS SOUS 166633 HAS SOUPS 166633 WITH SCORE 166810.951
AT ITER 7230 NEW BEST:: SOT 3709970 SOS 177948 HAS SOPS 177948 HAS SOUS 166630 HAS SOUPS 166630 WITH SCORE 166807.948
AT ITER 7294 NEW BEST:: SOT 3709966 SOS 177944 HAS SOPS 177944 HAS SOUS 166630 HAS SOUPS 166630 WITH SCORE 166807.944
AT ITER 7314 NEW BEST:: SOT 3709966 SOS 177937 HAS SOPS 177937 HAS SOUS 166597 HAS SOUPS 166597 WITH SCORE 166774.937
AT ITER 7335 NEW BEST:: SOT 3709940 SOS 177884 HAS SOPS 177884 HAS SOUS 166544 HAS SOUPS 166544 WITH SCORE 166721.884
AT ITER 7437 NEW BEST:: SOT 3709980 SOS 177879 HAS SOPS 177879 HAS SOUS 166509 HAS SOUPS 166509 WITH SCORE 166686.879
AT ITER 7474 NEW BEST:: SOT 3709866 SOS 177805 HAS SOPS 177805 HAS SOUS 166457 HAS SOUPS 166457 WITH SCORE 166634.805
AT ITER 7701 NEW BEST:: SOT 3709862 SOS 177801 HAS SOPS 177801 HAS SOUS 166453 HAS SOUPS 166453 WITH SCORE 166630.801
AT ITER 7704 NEW BEST:: SOT 3709750 SOS 177717 HAS SOPS 177717 HAS SOUS 166341 HAS SOUPS 166341 WITH SCORE 166518.717
AT ITER 7710 NEW BEST:: SOT 3709753 SOS 177717 HAS SOPS 177717 HAS SOUS 166340 HAS SOUPS 166340 WITH SCORE 166517.717
AT ITER 7885 NEW BEST:: SOT 3709723 SOS 177702 HAS SOPS 177702 HAS SOUS 166325 HAS SOUPS 166325 WITH SCORE 166502.702
AT ITER 7888 NEW BEST:: SOT 3709692 SOS 177640 HAS SOPS 177640 HAS SOUS 166294 HAS SOUPS 166294 WITH SCORE 166471.64
AT ITER 7896 NEW BEST:: SOT 3709759 SOS 177619 HAS SOPS 177619 HAS SOUS 166273 HAS SOUPS 166273 WITH SCORE 166450.619
AT ITER 7926 NEW BEST:: SOT 3709750 SOS 177613 HAS SOPS 177613 HAS SOUS 166267 HAS SOUPS 166267 WITH SCORE 166444.613
AT ITER 8013 NEW BEST:: SOT 3709792 SOS 177507 HAS SOPS 177507 HAS SOUS 166161 HAS SOUPS 166161 WITH SCORE 166338.507
AT ITER 8033 NEW BEST:: SOT 3709792 SOS 177506 HAS SOPS 177506 HAS SOUS 166160 HAS SOUPS 166160 WITH SCORE 166337.506
AT ITER 8104 NEW BEST:: SOT 3709740 SOS 177454 HAS SOPS 177454 HAS SOUS 166108 HAS SOUPS 166108 WITH SCORE 166285.454
AT ITER 8144 NEW BEST:: SOT 3709722 SOS 177447 HAS SOPS 177447 HAS SOUS 166101 HAS SOUPS 166101 WITH SCORE 166278.447
AT ITER 8170 NEW BEST:: SOT 3709695 SOS 177393 HAS SOPS 177393 HAS SOUS 166047 HAS SOUPS 166047 WITH SCORE 166224.393
AT ITER 8287 NEW BEST:: SOT 3709695 SOS 177385 HAS SOPS 177385 HAS SOUS 166039 HAS SOUPS 166039 WITH SCORE 166216.385
AT ITER 8291 NEW BEST:: SOT 3709637 SOS 177327 HAS SOPS 177327 HAS SOUS 165981 HAS SOUPS 165981 WITH SCORE 166158.327
AT ITER 8411 NEW BEST:: SOT 3709637 SOS 177255 HAS SOPS 177255 HAS SOUS 165909 HAS SOUPS 165909 WITH SCORE 166086.255
AT ITER 8413 NEW BEST:: SOT 3709637 SOS 177230 HAS SOPS 177230 HAS SOUS 165909 HAS SOUPS 165909 WITH SCORE 166086.23
AT ITER 8439 NEW BEST:: SOT 3709633 SOS 177226 HAS SOPS 177226 HAS SOUS 165909 HAS SOUPS 165909 WITH SCORE 166086.226
AT ITER 8455 NEW BEST:: SOT 3709585 SOS 177195 HAS SOPS 177195 HAS SOUS 165908 HAS SOUPS 165908 WITH SCORE 166085.195
AT ITER 8472 NEW BEST:: SOT 3709585 SOS 177160 HAS SOPS 177160 HAS SOUS 165873 HAS SOUPS 165873 WITH SCORE 166050.16
AT ITER 8551 NEW BEST:: SOT 3709531 SOS 177114 HAS SOPS 177114 HAS SOUS 165818 HAS SOUPS 165818 WITH SCORE 165995.114
AT ITER 8563 NEW BEST:: SOT 3709562 SOS 177072 HAS SOPS 177072 HAS SOUS 165804 HAS SOUPS 165804 WITH SCORE 165981.072
AT ITER 8572 NEW BEST:: SOT 3709562 SOS 177072 HAS SOPS 177072 HAS SOUS 165801 HAS SOUPS 165801 WITH SCORE 165978.072
AT ITER 8573 NEW BEST:: SOT 3709514 SOS 177048 HAS SOPS 177048 HAS SOUS 165777 HAS SOUPS 165777 WITH SCORE 165954.048
AT ITER 8577 NEW BEST:: SOT 3709514 SOS 177022 HAS SOPS 177022 HAS SOUS 165764 HAS SOUPS 165764 WITH SCORE 165941.022
AT ITER 8641 NEW BEST:: SOT 3709514 SOS 177003 HAS SOPS 177003 HAS SOUS 165762 HAS SOUPS 165762 WITH SCORE 165939.003
AT ITER 8683 NEW BEST:: SOT 3709509 SOS 176998 HAS SOPS 176998 HAS SOUS 165757 HAS SOUPS 165757 WITH SCORE 165933.998
AT ITER 8767 NEW BEST:: SOT 3709461 SOS 176998 HAS SOPS 176998 HAS SOUS 165724 HAS SOUPS 165724 WITH SCORE 165900.998
AT ITER 8802 NEW BEST:: SOT 3709481 SOS 176956 HAS SOPS 176956 HAS SOUS 165703 HAS SOUPS 165703 WITH SCORE 165879.956
AT ITER 8807 NEW BEST:: SOT 3709481 SOS 176927 HAS SOPS 176927 HAS SOUS 165674 HAS SOUPS 165674 WITH SCORE 165850.927
AT ITER 8851 NEW BEST:: SOT 3709489 SOS 176934 HAS SOPS 176934 HAS SOUS 165671 HAS SOUPS 165671 WITH SCORE 165847.934
AT ITER 8926 NEW BEST:: SOT 3709472 SOS 176928 HAS SOPS 176928 HAS SOUS 165665 HAS SOUPS 165665 WITH SCORE 165841.928
AT ITER 8937 NEW BEST:: SOT 3709472 SOS 176923 HAS SOPS 176923 HAS SOUS 165660 HAS SOUPS 165660 WITH SCORE 165836.923
AT ITER 9024 NEW BEST:: SOT 3709472 SOS 176885 HAS SOPS 176885 HAS SOUS 165622 HAS SOUPS 165622 WITH SCORE 165798.885
AT ITER 9028 NEW BEST:: SOT 3709419 SOS 176779 HAS SOPS 176779 HAS SOUS 165516 HAS SOUPS 165516 WITH SCORE 165692.779
AT ITER 9124 NEW BEST:: SOT 3709367 SOS 176571 HAS SOPS 176571 HAS SOUS 165360 HAS SOUPS 165360 WITH SCORE 165536.571
AT ITER 9145 NEW BEST:: SOT 3709367 SOS 176570 HAS SOPS 176570 HAS SOUS 165359 HAS SOUPS 165359 WITH SCORE 165535.57
AT ITER 9254 NEW BEST:: SOT 3709328 SOS 176530 HAS SOPS 176530 HAS SOUS 165319 HAS SOUPS 165319 WITH SCORE 165495.53
AT ITER 9362 NEW BEST:: SOT 3709286 SOS 176509 HAS SOPS 176509 HAS SOUS 165298 HAS SOUPS 165298 WITH SCORE 165474.509
AT ITER 9387 NEW BEST:: SOT 3709260 SOS 176407 HAS SOPS 176407 HAS SOUS 165196 HAS SOUPS 165196 WITH SCORE 165372.407
AT ITER 9421 NEW BEST:: SOT 3709260 SOS 176404 HAS SOPS 176404 HAS SOUS 165173 HAS SOUPS 165173 WITH SCORE 165349.404
AT ITER 9429 NEW BEST:: SOT 3709230 SOS 176404 HAS SOPS 176404 HAS SOUS 165143 HAS SOUPS 165143 WITH SCORE 165319.404
AT ITER 9543 NEW BEST:: SOT 3709229 SOS 176427 HAS SOPS 176427 HAS SOUS 165141 HAS SOUPS 165141 WITH SCORE 165317.427
AT ITER 9560 NEW BEST:: SOT 3709228 SOS 176425 HAS SOPS 176425 HAS SOUS 165141 HAS SOUPS 165141 WITH SCORE 165317.425
AT ITER 9567 NEW BEST:: SOT 3709217 SOS 176403 HAS SOPS 176403 HAS SOUS 165119 HAS SOUPS 165119 WITH SCORE 165295.403
AT ITER 9702 NEW BEST:: SOT 3709217 SOS 176384 HAS SOPS 176384 HAS SOUS 165100 HAS SOUPS 165100 WITH SCORE 165276.384
AT ITER 9778 NEW BEST:: SOT 3709197 SOS 176344 HAS SOPS 176344 HAS SOUS 165060 HAS SOUPS 165060 WITH SCORE 165236.344
AT ITER 9820 NEW BEST:: SOT 3709197 SOS 176343 HAS SOPS 176343 HAS SOUS 165058 HAS SOUPS 165058 WITH SCORE 165234.343
AT ITER 9877 NEW BEST:: SOT 3709196 SOS 176341 HAS SOPS 176341 HAS SOUS 165056 HAS SOUPS 165056 WITH SCORE 165232.341
AT ITER 9898 NEW BEST:: SOT 3709192 SOS 176337 HAS SOPS 176337 HAS SOUS 165048 HAS SOUPS 165048 WITH SCORE 165224.337
AT ITER 9927 NEW BEST:: SOT 3709164 SOS 176281 HAS SOPS 176281 HAS SOUS 164970 HAS SOUPS 164970 WITH SCORE 165146.281
AT ITER 9952 NEW BEST:: SOT 3709048 SOS 176210 HAS SOPS 176210 HAS SOUS 164897 HAS SOUPS 164897 WITH SCORE 165073.21
AT ITER 9982 NEW BEST:: SOT 3709013 SOS 176105 HAS SOPS 176105 HAS SOUS 164792 HAS SOUPS 164792 WITH SCORE 164968.105
AT ITER 9985 NEW BEST:: SOT 3709013 SOS 176052 HAS SOPS 176052 HAS SOUS 164739 HAS SOUPS 164739 WITH SCORE 164915.052
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11871556 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152808 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ShieldIIPt-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 r387-oct2-167903711700320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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