Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813687700064.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BridgeAndVehicles-COL-V20P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687700064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.8K Feb 25 12:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 12:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 12:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 12:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 12:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 25 12:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 12:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 12:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K Mar 5 18:22 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 1678463898021

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=BridgeAndVehicles-COL-V20P20N50
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 15:58:21] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 15:58:21] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 15:58:21] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 15:58:21] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 15:58:22] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1067 ms
[2023-03-10 15:58:22] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 108 PT places and 90298.0 transition bindings in 67 ms.
[2023-03-10 15:58:22] [INFO ] Unfolded HLPN to a Petri net with 108 places and 2228 transitions 17190 arcs in 139 ms.
[2023-03-10 15:58:22] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:23] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 108 places, 2228 transitions and 17190 arcs took 62 ms.
Total runtime 2251 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V20P20N50
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: 108 places, 2228 transitions, 17190 arcs.
AT ITER 0 NEW BEST:: SOT 181422 SOS 174356 HAS SOPS 172136 HAS SOUS 16980 HAS SOUPS 16922 WITH SCORE 17096.356
AT ITER 49 NEW BEST:: SOT 182958 SOS 175892 HAS SOPS 173672 HAS SOUS 16627 HAS SOUPS 16569 WITH SCORE 16744.892
AT ITER 56 NEW BEST:: SOT 181634 SOS 174714 HAS SOPS 172494 HAS SOUS 15618 HAS SOUPS 15560 WITH SCORE 15734.714
AT ITER 74 NEW BEST:: SOT 180429 SOS 173895 HAS SOPS 171675 HAS SOUS 14019 HAS SOUPS 13961 WITH SCORE 14134.895
AT ITER 84 NEW BEST:: SOT 180429 SOS 173895 HAS SOPS 171675 HAS SOUS 14017 HAS SOUPS 13959 WITH SCORE 14132.895
AT ITER 104 NEW BEST:: SOT 180116 SOS 173603 HAS SOPS 171543 HAS SOUS 13941 HAS SOUPS 13886 WITH SCORE 14059.603
AT ITER 109 NEW BEST:: SOT 180116 SOS 173603 HAS SOPS 171543 HAS SOUS 13939 HAS SOUPS 13884 WITH SCORE 14057.603
AT ITER 169 NEW BEST:: SOT 180116 SOS 173602 HAS SOPS 171542 HAS SOUS 13937 HAS SOUPS 13882 WITH SCORE 14055.602
AT ITER 190 NEW BEST:: SOT 180927 SOS 176094 HAS SOPS 174034 HAS SOUS 13868 HAS SOUPS 13813 WITH SCORE 13989.094
AT ITER 244 NEW BEST:: SOT 180927 SOS 137452 HAS SOPS 136392 HAS SOUS 13804 HAS SOUPS 13774 WITH SCORE 13911.452
AT ITER 255 NEW BEST:: SOT 181118 SOS 137643 HAS SOPS 136583 HAS SOUS 13787 HAS SOUPS 13757 WITH SCORE 13894.643
AT ITER 272 NEW BEST:: SOT 181101 SOS 137626 HAS SOPS 136566 HAS SOUS 13736 HAS SOUPS 13706 WITH SCORE 13843.626
AT ITER 274 NEW BEST:: SOT 181100 SOS 137625 HAS SOPS 136565 HAS SOUS 13735 HAS SOUPS 13705 WITH SCORE 13842.625
AT ITER 293 NEW BEST:: SOT 181083 SOS 137608 HAS SOPS 136548 HAS SOUS 13689 HAS SOUPS 13659 WITH SCORE 13796.608
AT ITER 301 NEW BEST:: SOT 181086 SOS 137610 HAS SOPS 136550 HAS SOUS 13673 HAS SOUPS 13643 WITH SCORE 13780.61
AT ITER 313 NEW BEST:: SOT 181085 SOS 137609 HAS SOPS 136549 HAS SOUS 13670 HAS SOUPS 13640 WITH SCORE 13777.609
AT ITER 358 NEW BEST:: SOT 181089 SOS 137986 HAS SOPS 136926 HAS SOUS 13662 HAS SOUPS 13632 WITH SCORE 13769.986
AT ITER 384 NEW BEST:: SOT 181089 SOS 137984 HAS SOPS 136924 HAS SOUS 13662 HAS SOUPS 13632 WITH SCORE 13769.984
AT ITER 399 NEW BEST:: SOT 180700 SOS 137592 HAS SOPS 136732 HAS SOUS 13378 HAS SOUPS 13355 WITH SCORE 13492.592
AT ITER 405 NEW BEST:: SOT 181803 SOS 138695 HAS SOPS 137835 HAS SOUS 13268 HAS SOUPS 13245 WITH SCORE 13383.695
AT ITER 412 NEW BEST:: SOT 181797 SOS 138662 HAS SOPS 137802 HAS SOUS 13226 HAS SOUPS 13203 WITH SCORE 13341.662
AT ITER 417 NEW BEST:: SOT 182710 SOS 139575 HAS SOPS 138715 HAS SOUS 12906 HAS SOUPS 12883 WITH SCORE 13022.575
AT ITER 457 NEW BEST:: SOT 182759 SOS 139653 HAS SOPS 138793 HAS SOUS 12875 HAS SOUPS 12852 WITH SCORE 12991.653
AT ITER 458 NEW BEST:: SOT 182888 SOS 139782 HAS SOPS 138922 HAS SOUS 12863 HAS SOUPS 12840 WITH SCORE 12979.782
AT ITER 494 NEW BEST:: SOT 182892 SOS 139785 HAS SOPS 138925 HAS SOUS 12858 HAS SOUPS 12835 WITH SCORE 12974.785
AT ITER 497 NEW BEST:: SOT 182892 SOS 139783 HAS SOPS 138923 HAS SOUS 12858 HAS SOUPS 12835 WITH SCORE 12974.783
AT ITER 498 NEW BEST:: SOT 182882 SOS 139773 HAS SOPS 138913 HAS SOUS 12852 HAS SOUPS 12829 WITH SCORE 12968.773
AT ITER 499 NEW BEST:: SOT 182882 SOS 139771 HAS SOPS 138911 HAS SOUS 12851 HAS SOUPS 12828 WITH SCORE 12967.771
AT ITER 500 NEW BEST:: SOT 182882 SOS 139769 HAS SOPS 138909 HAS SOUS 12851 HAS SOUPS 12828 WITH SCORE 12967.769
AT ITER 504 NEW BEST:: SOT 182917 SOS 139805 HAS SOPS 138925 HAS SOUS 12848 HAS SOUPS 12825 WITH SCORE 12964.805
AT ITER 509 NEW BEST:: SOT 182917 SOS 126606 HAS SOPS 126366 HAS SOUS 12802 HAS SOUPS 12795 WITH SCORE 12921.606
AT ITER 525 NEW BEST:: SOT 182917 SOS 126604 HAS SOPS 126364 HAS SOUS 12802 HAS SOUPS 12795 WITH SCORE 12921.604
AT ITER 530 NEW BEST:: SOT 182917 SOS 126602 HAS SOPS 126362 HAS SOUS 12802 HAS SOUPS 12795 WITH SCORE 12921.602
AT ITER 542 NEW BEST:: SOT 182917 SOS 126600 HAS SOPS 126360 HAS SOUS 12802 HAS SOUPS 12795 WITH SCORE 12921.6
AT ITER 552 NEW BEST:: SOT 182916 SOS 126595 HAS SOPS 126355 HAS SOUS 12793 HAS SOUPS 12786 WITH SCORE 12912.595
AT ITER 556 NEW BEST:: SOT 182916 SOS 126585 HAS SOPS 126345 HAS SOUS 12793 HAS SOUPS 12786 WITH SCORE 12912.585
AT ITER 571 NEW BEST:: SOT 182910 SOS 126579 HAS SOPS 126339 HAS SOUS 12753 HAS SOUPS 12746 WITH SCORE 12872.579
AT ITER 616 NEW BEST:: SOT 183312 SOS 126981 HAS SOPS 126741 HAS SOUS 12490 HAS SOUPS 12483 WITH SCORE 12609.981
AT ITER 676 NEW BEST:: SOT 183322 SOS 126991 HAS SOPS 126751 HAS SOUS 12480 HAS SOUPS 12473 WITH SCORE 12599.991
AT ITER 709 NEW BEST:: SOT 183321 SOS 126990 HAS SOPS 126750 HAS SOUS 12477 HAS SOUPS 12470 WITH SCORE 12596.99
AT ITER 710 NEW BEST:: SOT 183321 SOS 126982 HAS SOPS 126742 HAS SOUS 12477 HAS SOUPS 12470 WITH SCORE 12596.982
AT ITER 713 NEW BEST:: SOT 183255 SOS 127574 HAS SOPS 127334 HAS SOUS 12474 HAS SOUPS 12467 WITH SCORE 12594.574
AT ITER 721 NEW BEST:: SOT 183255 SOS 127028 HAS SOPS 126788 HAS SOUS 12448 HAS SOUPS 12441 WITH SCORE 12568.028
AT ITER 738 NEW BEST:: SOT 183255 SOS 126279 HAS SOPS 126039 HAS SOUS 12408 HAS SOUPS 12401 WITH SCORE 12527.279
AT ITER 741 NEW BEST:: SOT 183254 SOS 126278 HAS SOPS 126038 HAS SOUS 12403 HAS SOUPS 12396 WITH SCORE 12522.278
AT ITER 742 NEW BEST:: SOT 183246 SOS 126270 HAS SOPS 126030 HAS SOUS 12077 HAS SOUPS 12070 WITH SCORE 12196.27
AT ITER 770 NEW BEST:: SOT 183285 SOS 126310 HAS SOPS 126050 HAS SOUS 12075 HAS SOUPS 12068 WITH SCORE 12194.31
AT ITER 774 NEW BEST:: SOT 183285 SOS 126310 HAS SOPS 126050 HAS SOUS 12067 HAS SOUPS 12060 WITH SCORE 12186.31
AT ITER 778 NEW BEST:: SOT 183248 SOS 126288 HAS SOPS 126028 HAS SOUS 12026 HAS SOUPS 12019 WITH SCORE 12145.288
AT ITER 782 NEW BEST:: SOT 183248 SOS 126286 HAS SOPS 126026 HAS SOUS 12026 HAS SOUPS 12019 WITH SCORE 12145.286
AT ITER 790 NEW BEST:: SOT 183248 SOS 126139 HAS SOPS 125879 HAS SOUS 12019 HAS SOUPS 12012 WITH SCORE 12138.139
AT ITER 796 NEW BEST:: SOT 183102 SOS 126667 HAS SOPS 126407 HAS SOUS 11981 HAS SOUPS 11974 WITH SCORE 12100.667
AT ITER 806 NEW BEST:: SOT 183102 SOS 126647 HAS SOPS 126387 HAS SOUS 11981 HAS SOUPS 11974 WITH SCORE 12100.647
AT ITER 833 NEW BEST:: SOT 183102 SOS 126637 HAS SOPS 126377 HAS SOUS 11981 HAS SOUPS 11974 WITH SCORE 12100.637
AT ITER 836 NEW BEST:: SOT 183101 SOS 126636 HAS SOPS 126376 HAS SOUS 11978 HAS SOUPS 11971 WITH SCORE 12097.636
AT ITER 838 NEW BEST:: SOT 183096 SOS 126631 HAS SOPS 126371 HAS SOUS 11963 HAS SOUPS 11956 WITH SCORE 12082.631
AT ITER 853 NEW BEST:: SOT 183096 SOS 126609 HAS SOPS 126349 HAS SOUS 11963 HAS SOUPS 11956 WITH SCORE 12082.609
AT ITER 857 NEW BEST:: SOT 183248 SOS 126761 HAS SOPS 126501 HAS SOUS 11956 HAS SOUPS 11949 WITH SCORE 12075.761
AT ITER 862 NEW BEST:: SOT 183248 SOS 126755 HAS SOPS 126495 HAS SOUS 11956 HAS SOUPS 11949 WITH SCORE 12075.755
AT ITER 871 NEW BEST:: SOT 183248 SOS 126753 HAS SOPS 126493 HAS SOUS 11956 HAS SOUPS 11949 WITH SCORE 12075.753
AT ITER 885 NEW BEST:: SOT 183246 SOS 126751 HAS SOPS 126491 HAS SOUS 11950 HAS SOUPS 11943 WITH SCORE 12069.751
AT ITER 923 NEW BEST:: SOT 183297 SOS 126802 HAS SOPS 126542 HAS SOUS 11948 HAS SOUPS 11941 WITH SCORE 12067.802
AT ITER 935 NEW BEST:: SOT 183297 SOS 126776 HAS SOPS 126516 HAS SOUS 11948 HAS SOUPS 11941 WITH SCORE 12067.776
AT ITER 948 NEW BEST:: SOT 183296 SOS 126775 HAS SOPS 126515 HAS SOUS 11945 HAS SOUPS 11938 WITH SCORE 12064.775
AT ITER 952 NEW BEST:: SOT 183295 SOS 126774 HAS SOPS 126514 HAS SOUS 11942 HAS SOUPS 11935 WITH SCORE 12061.774
AT ITER 966 NEW BEST:: SOT 183345 SOS 126280 HAS SOPS 126020 HAS SOUS 11941 HAS SOUPS 11934 WITH SCORE 12060.28
AT ITER 990 NEW BEST:: SOT 183330 SOS 126318 HAS SOPS 126058 HAS SOUS 11896 HAS SOUPS 11889 WITH SCORE 12015.318
AT ITER 1010 NEW BEST:: SOT 183329 SOS 126317 HAS SOPS 126057 HAS SOUS 11893 HAS SOUPS 11886 WITH SCORE 12012.317
AT ITER 1017 NEW BEST:: SOT 183327 SOS 126315 HAS SOPS 126055 HAS SOUS 11887 HAS SOUPS 11880 WITH SCORE 12006.315
AT ITER 1021 NEW BEST:: SOT 183327 SOS 126247 HAS SOPS 125987 HAS SOUS 11887 HAS SOUPS 11880 WITH SCORE 12006.247
AT ITER 1024 NEW BEST:: SOT 183318 SOS 126238 HAS SOPS 125978 HAS SOUS 11860 HAS SOUPS 11853 WITH SCORE 11979.238
AT ITER 1059 NEW BEST:: SOT 183318 SOS 126234 HAS SOPS 125974 HAS SOUS 11860 HAS SOUPS 11853 WITH SCORE 11979.234
AT ITER 1073 NEW BEST:: SOT 183318 SOS 126229 HAS SOPS 125969 HAS SOUS 11856 HAS SOUPS 11849 WITH SCORE 11975.229
AT ITER 1077 NEW BEST:: SOT 183318 SOS 125229 HAS SOPS 125049 HAS SOUS 11848 HAS SOUPS 11843 WITH SCORE 11968.229
AT ITER 1084 NEW BEST:: SOT 183318 SOS 125215 HAS SOPS 125035 HAS SOUS 11848 HAS SOUPS 11843 WITH SCORE 11968.215
AT ITER 1101 NEW BEST:: SOT 183318 SOS 125207 HAS SOPS 125027 HAS SOUS 11848 HAS SOUPS 11843 WITH SCORE 11968.207
AT ITER 1108 NEW BEST:: SOT 183316 SOS 125205 HAS SOPS 125025 HAS SOUS 11846 HAS SOUPS 11841 WITH SCORE 11966.205
AT ITER 1111 NEW BEST:: SOT 183304 SOS 125193 HAS SOPS 125013 HAS SOUS 11822 HAS SOUPS 11817 WITH SCORE 11942.193
AT ITER 1116 NEW BEST:: SOT 183304 SOS 125191 HAS SOPS 125011 HAS SOUS 11822 HAS SOUPS 11817 WITH SCORE 11942.191
AT ITER 1118 NEW BEST:: SOT 183298 SOS 125185 HAS SOPS 125005 HAS SOUS 11804 HAS SOUPS 11799 WITH SCORE 11924.185
AT ITER 1139 NEW BEST:: SOT 183288 SOS 125175 HAS SOPS 124995 HAS SOUS 11264 HAS SOUPS 11259 WITH SCORE 11384.175
AT ITER 1143 NEW BEST:: SOT 183288 SOS 125175 HAS SOPS 124995 HAS SOUS 11255 HAS SOUPS 11250 WITH SCORE 11375.175
AT ITER 1206 NEW BEST:: SOT 183288 SOS 125161 HAS SOPS 124981 HAS SOUS 11255 HAS SOUPS 11250 WITH SCORE 11375.161
AT ITER 1215 NEW BEST:: SOT 183288 SOS 125159 HAS SOPS 124979 HAS SOUS 11255 HAS SOUPS 11250 WITH SCORE 11375.159
AT ITER 1224 NEW BEST:: SOT 182670 SOS 124541 HAS SOPS 124361 HAS SOUS 11255 HAS SOUPS 11250 WITH SCORE 11374.541
AT ITER 1233 NEW BEST:: SOT 182666 SOS 124537 HAS SOPS 124357 HAS SOUS 11249 HAS SOUPS 11244 WITH SCORE 11368.537
AT ITER 1297 NEW BEST:: SOT 182666 SOS 124531 HAS SOPS 124351 HAS SOUS 11249 HAS SOUPS 11244 WITH SCORE 11368.531
AT ITER 1305 NEW BEST:: SOT 182869 SOS 124734 HAS SOPS 124554 HAS SOUS 11244 HAS SOUPS 11239 WITH SCORE 11363.734
AT ITER 1315 NEW BEST:: SOT 182865 SOS 124730 HAS SOPS 124550 HAS SOUS 11232 HAS SOUPS 11227 WITH SCORE 11351.73
AT ITER 1328 NEW BEST:: SOT 182864 SOS 124729 HAS SOPS 124549 HAS SOUS 11229 HAS SOUPS 11224 WITH SCORE 11348.729
AT ITER 1355 NEW BEST:: SOT 182864 SOS 124728 HAS SOPS 124548 HAS SOUS 11227 HAS SOUPS 11222 WITH SCORE 11346.728
AT ITER 1356 NEW BEST:: SOT 182857 SOS 124721 HAS SOPS 124541 HAS SOUS 11206 HAS SOUPS 11201 WITH SCORE 11325.721
AT ITER 1417 NEW BEST:: SOT 182857 SOS 124353 HAS SOPS 124173 HAS SOUS 11188 HAS SOUPS 11183 WITH SCORE 11307.353
AT ITER 1423 NEW BEST:: SOT 182857 SOS 124339 HAS SOPS 124159 HAS SOUS 11188 HAS SOUPS 11183 WITH SCORE 11307.339
AT ITER 1472 NEW BEST:: SOT 182856 SOS 124338 HAS SOPS 124158 HAS SOUS 11187 HAS SOUPS 11182 WITH SCORE 11306.338
AT ITER 1488 NEW BEST:: SOT 182853 SOS 124367 HAS SOPS 124187 HAS SOUS 11174 HAS SOUPS 11169 WITH SCORE 11293.367
AT ITER 1507 NEW BEST:: SOT 182853 SOS 124239 HAS SOPS 124059 HAS SOUS 11168 HAS SOUPS 11163 WITH SCORE 11287.239
AT ITER 1509 NEW BEST:: SOT 182853 SOS 124231 HAS SOPS 124051 HAS SOUS 11166 HAS SOUPS 11161 WITH SCORE 11285.231
AT ITER 1531 NEW BEST:: SOT 182841 SOS 124219 HAS SOPS 124039 HAS SOUS 11150 HAS SOUPS 11145 WITH SCORE 11269.219
AT ITER 1535 NEW BEST:: SOT 182841 SOS 124203 HAS SOPS 124023 HAS SOUS 11150 HAS SOUPS 11145 WITH SCORE 11269.203
AT ITER 1555 NEW BEST:: SOT 182840 SOS 124202 HAS SOPS 124022 HAS SOUS 11147 HAS SOUPS 11142 WITH SCORE 11266.202
AT ITER 1577 NEW BEST:: SOT 182839 SOS 124201 HAS SOPS 124021 HAS SOUS 11146 HAS SOUPS 11141 WITH SCORE 11265.201
AT ITER 1611 NEW BEST:: SOT 182837 SOS 124199 HAS SOPS 124019 HAS SOUS 11145 HAS SOUPS 11140 WITH SCORE 11264.199
AT ITER 1627 NEW BEST:: SOT 182835 SOS 124197 HAS SOPS 124017 HAS SOUS 11139 HAS SOUPS 11134 WITH SCORE 11258.197
AT ITER 1647 NEW BEST:: SOT 182835 SOS 124308 HAS SOPS 124128 HAS SOUS 10890 HAS SOUPS 10885 WITH SCORE 11009.308
AT ITER 1681 NEW BEST:: SOT 182835 SOS 124304 HAS SOPS 124124 HAS SOUS 10890 HAS SOUPS 10885 WITH SCORE 11009.304
AT ITER 1708 NEW BEST:: SOT 183461 SOS 124930 HAS SOPS 124750 HAS SOUS 10884 HAS SOUPS 10879 WITH SCORE 11003.93
AT ITER 1762 NEW BEST:: SOT 183461 SOS 124928 HAS SOPS 124748 HAS SOUS 10884 HAS SOUPS 10879 WITH SCORE 11003.928
AT ITER 1780 NEW BEST:: SOT 183461 SOS 124920 HAS SOPS 124740 HAS SOUS 10884 HAS SOUPS 10879 WITH SCORE 11003.92
AT ITER 1800 NEW BEST:: SOT 183461 SOS 124824 HAS SOPS 124644 HAS SOUS 10880 HAS SOUPS 10875 WITH SCORE 10999.824
AT ITER 1850 NEW BEST:: SOT 183461 SOS 124822 HAS SOPS 124642 HAS SOUS 10880 HAS SOUPS 10875 WITH SCORE 10999.822
AT ITER 1887 NEW BEST:: SOT 183461 SOS 124818 HAS SOPS 124638 HAS SOUS 10880 HAS SOUPS 10875 WITH SCORE 10999.818
AT ITER 1906 NEW BEST:: SOT 183461 SOS 124806 HAS SOPS 124626 HAS SOUS 10880 HAS SOUPS 10875 WITH SCORE 10999.806
AT ITER 1920 NEW BEST:: SOT 183461 SOS 124794 HAS SOPS 124614 HAS SOUS 10880 HAS SOUPS 10875 WITH SCORE 10999.794
AT ITER 1932 NEW BEST:: SOT 183463 SOS 124796 HAS SOPS 124616 HAS SOUS 10874 HAS SOUPS 10869 WITH SCORE 10993.796
AT ITER 1960 NEW BEST:: SOT 183461 SOS 124794 HAS SOPS 124614 HAS SOUS 10868 HAS SOUPS 10863 WITH SCORE 10987.794
AT ITER 1985 NEW BEST:: SOT 183513 SOS 124846 HAS SOPS 124666 HAS SOUS 10867 HAS SOUPS 10862 WITH SCORE 10986.846
AT ITER 2040 NEW BEST:: SOT 183513 SOS 124842 HAS SOPS 124662 HAS SOUS 10867 HAS SOUPS 10862 WITH SCORE 10986.842
AT ITER 2071 NEW BEST:: SOT 183512 SOS 124841 HAS SOPS 124661 HAS SOUS 10864 HAS SOUPS 10859 WITH SCORE 10983.841
AT ITER 2094 NEW BEST:: SOT 183508 SOS 124837 HAS SOPS 124657 HAS SOUS 10852 HAS SOUPS 10847 WITH SCORE 10971.837
AT ITER 2107 NEW BEST:: SOT 183507 SOS 124836 HAS SOPS 124656 HAS SOUS 10851 HAS SOUPS 10846 WITH SCORE 10970.836
AT ITER 2143 NEW BEST:: SOT 183507 SOS 124830 HAS SOPS 124650 HAS SOUS 10850 HAS SOUPS 10845 WITH SCORE 10969.83
AT ITER 2167 NEW BEST:: SOT 183507 SOS 124808 HAS SOPS 124628 HAS SOUS 10850 HAS SOUPS 10845 WITH SCORE 10969.808
AT ITER 2176 NEW BEST:: SOT 183506 SOS 124807 HAS SOPS 124627 HAS SOUS 10847 HAS SOUPS 10842 WITH SCORE 10966.807
AT ITER 2250 NEW BEST:: SOT 183503 SOS 124804 HAS SOPS 124624 HAS SOUS 10736 HAS SOUPS 10731 WITH SCORE 10855.804
AT ITER 2333 NEW BEST:: SOT 183503 SOS 124800 HAS SOPS 124620 HAS SOUS 10736 HAS SOUPS 10731 WITH SCORE 10855.8
AT ITER 2362 NEW BEST:: SOT 183500 SOS 124797 HAS SOPS 124617 HAS SOUS 10727 HAS SOUPS 10722 WITH SCORE 10846.797
AT ITER 2371 NEW BEST:: SOT 183500 SOS 124795 HAS SOPS 124615 HAS SOUS 10727 HAS SOUPS 10722 WITH SCORE 10846.795
AT ITER 2391 NEW BEST:: SOT 183500 SOS 124787 HAS SOPS 124607 HAS SOUS 10727 HAS SOUPS 10722 WITH SCORE 10846.787
AT ITER 2448 NEW BEST:: SOT 183499 SOS 124786 HAS SOPS 124606 HAS SOUS 10724 HAS SOUPS 10719 WITH SCORE 10843.786
AT ITER 2459 NEW BEST:: SOT 183499 SOS 124784 HAS SOPS 124604 HAS SOUS 10724 HAS SOUPS 10719 WITH SCORE 10843.784
AT ITER 2519 NEW BEST:: SOT 183496 SOS 124802 HAS SOPS 124622 HAS SOUS 10712 HAS SOUPS 10707 WITH SCORE 10831.802
AT ITER 2536 NEW BEST:: SOT 183496 SOS 124798 HAS SOPS 124618 HAS SOUS 10712 HAS SOUPS 10707 WITH SCORE 10831.798
AT ITER 2569 NEW BEST:: SOT 183496 SOS 124790 HAS SOPS 124610 HAS SOUS 10712 HAS SOUPS 10707 WITH SCORE 10831.79
AT ITER 2570 NEW BEST:: SOT 183496 SOS 124788 HAS SOPS 124608 HAS SOUS 10712 HAS SOUPS 10707 WITH SCORE 10831.788
AT ITER 2611 NEW BEST:: SOT 183496 SOS 124784 HAS SOPS 124604 HAS SOUS 10712 HAS SOUPS 10707 WITH SCORE 10831.784
AT ITER 2630 NEW BEST:: SOT 183492 SOS 124780 HAS SOPS 124600 HAS SOUS 10696 HAS SOUPS 10691 WITH SCORE 10815.78
AT ITER 2675 NEW BEST:: SOT 183491 SOS 124779 HAS SOPS 124599 HAS SOUS 10693 HAS SOUPS 10688 WITH SCORE 10812.779
AT ITER 2703 NEW BEST:: SOT 183489 SOS 124777 HAS SOPS 124597 HAS SOUS 10692 HAS SOUPS 10687 WITH SCORE 10811.777
AT ITER 2715 NEW BEST:: SOT 183489 SOS 124771 HAS SOPS 124591 HAS SOUS 10692 HAS SOUPS 10687 WITH SCORE 10811.771
AT ITER 2767 NEW BEST:: SOT 183489 SOS 124769 HAS SOPS 124589 HAS SOUS 10692 HAS SOUPS 10687 WITH SCORE 10811.769
AT ITER 2852 NEW BEST:: SOT 183485 SOS 124767 HAS SOPS 124587 HAS SOUS 10689 HAS SOUPS 10684 WITH SCORE 10808.767
AT ITER 2858 NEW BEST:: SOT 183484 SOS 124766 HAS SOPS 124586 HAS SOUS 10686 HAS SOUPS 10681 WITH SCORE 10805.766
AT ITER 2860 NEW BEST:: SOT 183483 SOS 124765 HAS SOPS 124585 HAS SOUS 10683 HAS SOUPS 10678 WITH SCORE 10802.765
AT ITER 2872 NEW BEST:: SOT 183482 SOS 124764 HAS SOPS 124584 HAS SOUS 10676 HAS SOUPS 10671 WITH SCORE 10795.764
AT ITER 2931 NEW BEST:: SOT 183534 SOS 124816 HAS SOPS 124636 HAS SOUS 10675 HAS SOUPS 10670 WITH SCORE 10794.816
AT ITER 2961 NEW BEST:: SOT 183534 SOS 124816 HAS SOPS 124636 HAS SOUS 10665 HAS SOUPS 10660 WITH SCORE 10784.816
AT ITER 3001 NEW BEST:: SOT 183586 SOS 124868 HAS SOPS 124688 HAS SOUS 10664 HAS SOUPS 10659 WITH SCORE 10783.868
AT ITER 3096 NEW BEST:: SOT 183584 SOS 124866 HAS SOPS 124686 HAS SOUS 10658 HAS SOUPS 10653 WITH SCORE 10777.866
AT ITER 3099 NEW BEST:: SOT 183583 SOS 124865 HAS SOPS 124685 HAS SOUS 10655 HAS SOUPS 10650 WITH SCORE 10774.865
AT ITER 3112 NEW BEST:: SOT 183581 SOS 124863 HAS SOPS 124683 HAS SOUS 10654 HAS SOUPS 10649 WITH SCORE 10773.863
AT ITER 3235 NEW BEST:: SOT 183580 SOS 124862 HAS SOPS 124682 HAS SOUS 10651 HAS SOUPS 10646 WITH SCORE 10770.862
AT ITER 3291 NEW BEST:: SOT 183579 SOS 124861 HAS SOPS 124681 HAS SOUS 10597 HAS SOUPS 10592 WITH SCORE 10716.861
AT ITER 3368 NEW BEST:: SOT 183578 SOS 124860 HAS SOPS 124680 HAS SOUS 10594 HAS SOUPS 10589 WITH SCORE 10713.86
AT ITER 3412 NEW BEST:: SOT 183575 SOS 124857 HAS SOPS 124677 HAS SOUS 10589 HAS SOUPS 10584 WITH SCORE 10708.857
AT ITER 3488 NEW BEST:: SOT 183575 SOS 124855 HAS SOPS 124675 HAS SOUS 10589 HAS SOUPS 10584 WITH SCORE 10708.855
AT ITER 3551 NEW BEST:: SOT 183574 SOS 124854 HAS SOPS 124674 HAS SOUS 10586 HAS SOUPS 10581 WITH SCORE 10705.854
AT ITER 3603 NEW BEST:: SOT 183574 SOS 124846 HAS SOPS 124666 HAS SOUS 10586 HAS SOUPS 10581 WITH SCORE 10705.846
AT ITER 3650 NEW BEST:: SOT 183570 SOS 124842 HAS SOPS 124662 HAS SOUS 10578 HAS SOUPS 10573 WITH SCORE 10697.842
AT ITER 3681 NEW BEST:: SOT 183568 SOS 124840 HAS SOPS 124660 HAS SOUS 10572 HAS SOUPS 10567 WITH SCORE 10691.84
AT ITER 3815 NEW BEST:: SOT 183567 SOS 124839 HAS SOPS 124659 HAS SOUS 10569 HAS SOUPS 10564 WITH SCORE 10688.839
AT ITER 3898 NEW BEST:: SOT 183557 SOS 124829 HAS SOPS 124649 HAS SOUS 10565 HAS SOUPS 10560 WITH SCORE 10684.829
AT ITER 3937 NEW BEST:: SOT 183557 SOS 124895 HAS SOPS 124715 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.895
AT ITER 4005 NEW BEST:: SOT 183557 SOS 124891 HAS SOPS 124711 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.891
AT ITER 4022 NEW BEST:: SOT 183557 SOS 124889 HAS SOPS 124709 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.889
AT ITER 4077 NEW BEST:: SOT 183557 SOS 124887 HAS SOPS 124707 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.887
AT ITER 4116 NEW BEST:: SOT 183557 SOS 124885 HAS SOPS 124705 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.885
AT ITER 4197 NEW BEST:: SOT 183557 SOS 124875 HAS SOPS 124695 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.875
AT ITER 4253 NEW BEST:: SOT 183557 SOS 124873 HAS SOPS 124693 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.873
AT ITER 4345 NEW BEST:: SOT 183557 SOS 124871 HAS SOPS 124691 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.871
AT ITER 4451 NEW BEST:: SOT 183557 SOS 124861 HAS SOPS 124681 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.861
AT ITER 4612 NEW BEST:: SOT 183557 SOS 124859 HAS SOPS 124679 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.859
AT ITER 4712 NEW BEST:: SOT 183557 SOS 124857 HAS SOPS 124677 HAS SOUS 10564 HAS SOUPS 10559 WITH SCORE 10683.857
AT ITER 4745 NEW BEST:: SOT 183556 SOS 124856 HAS SOPS 124676 HAS SOUS 10561 HAS SOUPS 10556 WITH SCORE 10680.856
AT ITER 4835 NEW BEST:: SOT 183552 SOS 124852 HAS SOPS 124672 HAS SOUS 10553 HAS SOUPS 10548 WITH SCORE 10672.852
AT ITER 4839 NEW BEST:: SOT 183552 SOS 124850 HAS SOPS 124670 HAS SOUS 10553 HAS SOUPS 10548 WITH SCORE 10672.85
AT ITER 4858 NEW BEST:: SOT 183550 SOS 124848 HAS SOPS 124668 HAS SOUS 10549 HAS SOUPS 10544 WITH SCORE 10668.848
AT ITER 4860 NEW BEST:: SOT 183550 SOS 124846 HAS SOPS 124666 HAS SOUS 10549 HAS SOUPS 10544 WITH SCORE 10668.846
AT ITER 4880 NEW BEST:: SOT 183550 SOS 124842 HAS SOPS 124662 HAS SOUS 10549 HAS SOUPS 10544 WITH SCORE 10668.842
AT ITER 4946 NEW BEST:: SOT 183530 SOS 124822 HAS SOPS 124642 HAS SOUS 10529 HAS SOUPS 10524 WITH SCORE 10648.822
AT ITER 5020 NEW BEST:: SOT 183530 SOS 124816 HAS SOPS 124636 HAS SOUS 10529 HAS SOUPS 10524 WITH SCORE 10648.816
AT ITER 5027 NEW BEST:: SOT 183528 SOS 124814 HAS SOPS 124634 HAS SOUS 10523 HAS SOUPS 10518 WITH SCORE 10642.814
AT ITER 5177 NEW BEST:: SOT 183528 SOS 124810 HAS SOPS 124630 HAS SOUS 10523 HAS SOUPS 10518 WITH SCORE 10642.81
AT ITER 5182 NEW BEST:: SOT 183524 SOS 124806 HAS SOPS 124626 HAS SOUS 10511 HAS SOUPS 10506 WITH SCORE 10630.806
AT ITER 5204 NEW BEST:: SOT 183524 SOS 124802 HAS SOPS 124622 HAS SOUS 10511 HAS SOUPS 10506 WITH SCORE 10630.802
AT ITER 5271 NEW BEST:: SOT 183523 SOS 124801 HAS SOPS 124621 HAS SOUS 10508 HAS SOUPS 10503 WITH SCORE 10627.801
AT ITER 5314 NEW BEST:: SOT 183523 SOS 124795 HAS SOPS 124615 HAS SOUS 10508 HAS SOUPS 10503 WITH SCORE 10627.795
AT ITER 5547 NEW BEST:: SOT 183523 SOS 124789 HAS SOPS 124609 HAS SOUS 10508 HAS SOUPS 10503 WITH SCORE 10627.789
AT ITER 5564 NEW BEST:: SOT 183523 SOS 124787 HAS SOPS 124607 HAS SOUS 10508 HAS SOUPS 10503 WITH SCORE 10627.787
AT ITER 5617 NEW BEST:: SOT 183523 SOS 124785 HAS SOPS 124605 HAS SOUS 10508 HAS SOUPS 10503 WITH SCORE 10627.785
AT ITER 5716 NEW BEST:: SOT 183521 SOS 124783 HAS SOPS 124603 HAS SOUS 10506 HAS SOUPS 10501 WITH SCORE 10625.783
AT ITER 5723 NEW BEST:: SOT 183523 SOS 124785 HAS SOPS 124605 HAS SOUS 10497 HAS SOUPS 10492 WITH SCORE 10616.785
AT ITER 5729 NEW BEST:: SOT 183523 SOS 124779 HAS SOPS 124599 HAS SOUS 10497 HAS SOUPS 10492 WITH SCORE 10616.779
AT ITER 5758 NEW BEST:: SOT 183511 SOS 124767 HAS SOPS 124587 HAS SOUS 10477 HAS SOUPS 10472 WITH SCORE 10596.767
AT ITER 5823 NEW BEST:: SOT 183507 SOS 124763 HAS SOPS 124583 HAS SOUS 10465 HAS SOUPS 10460 WITH SCORE 10584.763
AT ITER 5873 NEW BEST:: SOT 183507 SOS 124759 HAS SOPS 124579 HAS SOUS 10465 HAS SOUPS 10460 WITH SCORE 10584.759
AT ITER 5903 NEW BEST:: SOT 183557 SOS 124233 HAS SOPS 124053 HAS SOUS 10461 HAS SOUPS 10456 WITH SCORE 10580.233
AT ITER 5916 NEW BEST:: SOT 183556 SOS 124232 HAS SOPS 124052 HAS SOUS 10458 HAS SOUPS 10453 WITH SCORE 10577.232
AT ITER 5951 NEW BEST:: SOT 183556 SOS 124178 HAS SOPS 123998 HAS SOUS 10458 HAS SOUPS 10453 WITH SCORE 10577.178
AT ITER 5983 NEW BEST:: SOT 183555 SOS 124177 HAS SOPS 123997 HAS SOUS 10454 HAS SOUPS 10449 WITH SCORE 10573.177
AT ITER 5997 NEW BEST:: SOT 183555 SOS 124063 HAS SOPS 123883 HAS SOUS 10449 HAS SOUPS 10444 WITH SCORE 10568.063
AT ITER 6078 NEW BEST:: SOT 183555 SOS 123953 HAS SOPS 123773 HAS SOUS 10444 HAS SOUPS 10439 WITH SCORE 10562.953
AT ITER 6136 NEW BEST:: SOT 183555 SOS 123951 HAS SOPS 123771 HAS SOUS 10444 HAS SOUPS 10439 WITH SCORE 10562.951
AT ITER 6143 NEW BEST:: SOT 183555 SOS 123949 HAS SOPS 123769 HAS SOUS 10444 HAS SOUPS 10439 WITH SCORE 10562.949
AT ITER 6303 NEW BEST:: SOT 183605 SOS 123999 HAS SOPS 123819 HAS SOUS 10441 HAS SOUPS 10436 WITH SCORE 10559.999
AT ITER 6331 NEW BEST:: SOT 183601 SOS 123995 HAS SOPS 123815 HAS SOUS 10437 HAS SOUPS 10432 WITH SCORE 10555.995
AT ITER 6612 NEW BEST:: SOT 183577 SOS 123971 HAS SOPS 123791 HAS SOUS 10429 HAS SOUPS 10424 WITH SCORE 10547.971
AT ITER 6653 NEW BEST:: SOT 183579 SOS 123973 HAS SOPS 123793 HAS SOUS 10423 HAS SOUPS 10418 WITH SCORE 10541.973
AT ITER 6737 NEW BEST:: SOT 183576 SOS 123970 HAS SOPS 123790 HAS SOUS 10414 HAS SOUPS 10409 WITH SCORE 10532.97
AT ITER 6869 NEW BEST:: SOT 183576 SOS 123968 HAS SOPS 123788 HAS SOUS 10414 HAS SOUPS 10409 WITH SCORE 10532.968
AT ITER 6971 NEW BEST:: SOT 183576 SOS 123956 HAS SOPS 123776 HAS SOUS 10414 HAS SOUPS 10409 WITH SCORE 10532.956
AT ITER 7479 NEW BEST:: SOT 183573 SOS 122113 HAS SOPS 122113 HAS SOUS 10403 HAS SOUPS 10403 WITH SCORE 10525.113
AT ITER 7639 NEW BEST:: SOT 183572 SOS 122112 HAS SOPS 122112 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10522.112
AT ITER 7804 NEW BEST:: SOT 183572 SOS 122108 HAS SOPS 122108 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10522.108
AT ITER 7866 NEW BEST:: SOT 183572 SOS 122104 HAS SOPS 122104 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10522.104
AT ITER 8054 NEW BEST:: SOT 183572 SOS 122102 HAS SOPS 122102 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10522.102
AT ITER 8174 NEW BEST:: SOT 183571 SOS 122101 HAS SOPS 122101 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10519.101
AT ITER 8192 NEW BEST:: SOT 183571 SOS 122099 HAS SOPS 122099 HAS SOUS 10397 HAS SOUPS 10397 WITH SCORE 10519.099
AT ITER 8394 NEW BEST:: SOT 183571 SOS 124930 HAS SOPS 124670 HAS SOUS 10399 HAS SOUPS 10392 WITH SCORE 10516.93
AT ITER 8663 NEW BEST:: SOT 183572 SOS 124931 HAS SOPS 124671 HAS SOUS 10396 HAS SOUPS 10389 WITH SCORE 10513.931
AT ITER 9041 NEW BEST:: SOT 183572 SOS 124929 HAS SOPS 124669 HAS SOUS 10396 HAS SOUPS 10389 WITH SCORE 10513.929
AT ITER 9320 NEW BEST:: SOT 183568 SOS 124925 HAS SOPS 124665 HAS SOUS 10388 HAS SOUPS 10381 WITH SCORE 10505.925
AT ITER 9578 NEW BEST:: SOT 183568 SOS 123923 HAS SOPS 123743 HAS SOUS 10384 HAS SOUPS 10379 WITH SCORE 10502.923
AT ITER 9738 NEW BEST:: SOT 183566 SOS 123921 HAS SOPS 123741 HAS SOUS 10378 HAS SOUPS 10373 WITH SCORE 10496.921
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 10176556 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16138052 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="BridgeAndVehicles-COL-V20P20N50"
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 BridgeAndVehicles-COL-V20P20N50, 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 r035-tajo-167813687700064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V20P20N50.tgz
mv BridgeAndVehicles-COL-V20P20N50 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 ;