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-167813687700088.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-V50P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813687700088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 8.1K Feb 25 12:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 12:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 12:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 25 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 88K Feb 25 14:02 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 44K 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 1678463898239

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-V50P20N50
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) : 741 ms
[2023-03-10 15:58:22] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 168 PT places and 531118.0 transition bindings in 41 ms.
[2023-03-10 15:58:22] [INFO ] Unfolded HLPN to a Petri net with 168 places and 5408 transitions 42330 arcs in 306 ms.
[2023-03-10 15:58:22] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:24] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 168 places, 5408 transitions and 42330 arcs took 157 ms.
Total runtime 3097 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V50P20N50
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: 168 places, 5408 transitions, 42330 arcs.
AT ITER 0 NEW BEST:: SOT 608712 SOS 595020 HAS SOPS 589470 HAS SOUS 42315 HAS SOUPS 42257 WITH SCORE 42852.02
AT ITER 12 NEW BEST:: SOT 609689 SOS 595997 HAS SOPS 590447 HAS SOUS 39465 HAS SOUPS 39407 WITH SCORE 40002.997
AT ITER 27 NEW BEST:: SOT 609629 SOS 595937 HAS SOPS 590387 HAS SOUS 39454 HAS SOUPS 39396 WITH SCORE 39991.937
AT ITER 75 NEW BEST:: SOT 609743 SOS 596051 HAS SOPS 590501 HAS SOUS 36657 HAS SOUPS 36599 WITH SCORE 37195.051
AT ITER 94 NEW BEST:: SOT 609801 SOS 596109 HAS SOPS 590559 HAS SOUS 35287 HAS SOUPS 35229 WITH SCORE 35825.109
AT ITER 118 NEW BEST:: SOT 609733 SOS 596041 HAS SOPS 590491 HAS SOUS 35166 HAS SOUPS 35108 WITH SCORE 35704.041
AT ITER 132 NEW BEST:: SOT 609710 SOS 596018 HAS SOPS 590468 HAS SOUS 35155 HAS SOUPS 35097 WITH SCORE 35693.018
AT ITER 181 NEW BEST:: SOT 609710 SOS 465868 HAS SOPS 465518 HAS SOUS 35055 HAS SOUPS 35049 WITH SCORE 35514.868
AT ITER 189 NEW BEST:: SOT 609628 SOS 465786 HAS SOPS 465436 HAS SOUS 34747 HAS SOUPS 34741 WITH SCORE 35206.786
AT ITER 213 NEW BEST:: SOT 609628 SOS 465786 HAS SOPS 465436 HAS SOUS 34745 HAS SOUPS 34739 WITH SCORE 35204.786
AT ITER 219 NEW BEST:: SOT 609626 SOS 465784 HAS SOPS 465434 HAS SOUS 34745 HAS SOUPS 34739 WITH SCORE 35204.784
AT ITER 239 NEW BEST:: SOT 609626 SOS 465586 HAS SOPS 465236 HAS SOUS 34741 HAS SOUPS 34735 WITH SCORE 35200.586
AT ITER 255 NEW BEST:: SOT 609626 SOS 465586 HAS SOPS 465236 HAS SOUS 34723 HAS SOUPS 34717 WITH SCORE 35182.586
AT ITER 264 NEW BEST:: SOT 609618 SOS 465578 HAS SOPS 465228 HAS SOUS 34672 HAS SOUPS 34666 WITH SCORE 35131.578
AT ITER 284 NEW BEST:: SOT 609714 SOS 465674 HAS SOPS 465324 HAS SOUS 31145 HAS SOUPS 31139 WITH SCORE 31604.674
AT ITER 287 NEW BEST:: SOT 609473 SOS 465537 HAS SOPS 465187 HAS SOUS 31114 HAS SOUPS 31108 WITH SCORE 31573.537
AT ITER 305 NEW BEST:: SOT 609451 SOS 465515 HAS SOPS 465165 HAS SOUS 31090 HAS SOUPS 31084 WITH SCORE 31549.515
AT ITER 315 NEW BEST:: SOT 609451 SOS 463896 HAS SOPS 463546 HAS SOUS 31057 HAS SOUPS 31051 WITH SCORE 31514.896
AT ITER 324 NEW BEST:: SOT 612833 SOS 467278 HAS SOPS 466928 HAS SOUS 30153 HAS SOUPS 30147 WITH SCORE 30614.278
AT ITER 366 NEW BEST:: SOT 612833 SOS 467278 HAS SOPS 466928 HAS SOUS 30151 HAS SOUPS 30145 WITH SCORE 30612.278
AT ITER 400 NEW BEST:: SOT 611542 SOS 464954 HAS SOPS 464604 HAS SOUS 30121 HAS SOUPS 30115 WITH SCORE 30579.954
AT ITER 408 NEW BEST:: SOT 611542 SOS 464953 HAS SOPS 464603 HAS SOUS 30120 HAS SOUPS 30114 WITH SCORE 30578.953
AT ITER 422 NEW BEST:: SOT 611541 SOS 464952 HAS SOPS 464602 HAS SOUS 29760 HAS SOUPS 29754 WITH SCORE 30218.952
AT ITER 424 NEW BEST:: SOT 611993 SOS 465404 HAS SOPS 465054 HAS SOUS 29552 HAS SOUPS 29546 WITH SCORE 30011.404
AT ITER 457 NEW BEST:: SOT 612919 SOS 466330 HAS SOPS 465980 HAS SOUS 28691 HAS SOUPS 28685 WITH SCORE 29151.33
AT ITER 484 NEW BEST:: SOT 612881 SOS 466292 HAS SOPS 465942 HAS SOUS 28577 HAS SOUPS 28571 WITH SCORE 29037.292
AT ITER 502 NEW BEST:: SOT 612881 SOS 466242 HAS SOPS 465892 HAS SOUS 28575 HAS SOUPS 28569 WITH SCORE 29035.242
AT ITER 516 NEW BEST:: SOT 612860 SOS 466221 HAS SOPS 465871 HAS SOUS 28528 HAS SOUPS 28522 WITH SCORE 28988.221
AT ITER 525 NEW BEST:: SOT 612843 SOS 466204 HAS SOPS 465854 HAS SOUS 28477 HAS SOUPS 28471 WITH SCORE 28937.204
AT ITER 531 NEW BEST:: SOT 612933 SOS 463992 HAS SOPS 463642 HAS SOUS 28477 HAS SOUPS 28471 WITH SCORE 28934.992
AT ITER 633 NEW BEST:: SOT 612932 SOS 463991 HAS SOPS 463641 HAS SOUS 28474 HAS SOUPS 28468 WITH SCORE 28931.991
AT ITER 644 NEW BEST:: SOT 612268 SOS 469326 HAS SOPS 469176 HAS SOUS 28421 HAS SOUPS 28418 WITH SCORE 28887.326
AT ITER 652 NEW BEST:: SOT 612268 SOS 469325 HAS SOPS 469175 HAS SOUS 28420 HAS SOUPS 28417 WITH SCORE 28886.325
AT ITER 700 NEW BEST:: SOT 612259 SOS 469316 HAS SOPS 469166 HAS SOUS 28393 HAS SOUPS 28390 WITH SCORE 28859.316
AT ITER 802 NEW BEST:: SOT 612213 SOS 469270 HAS SOPS 469120 HAS SOUS 28385 HAS SOUPS 28382 WITH SCORE 28851.27
AT ITER 822 NEW BEST:: SOT 612207 SOS 469264 HAS SOPS 469114 HAS SOUS 28367 HAS SOUPS 28364 WITH SCORE 28833.264
AT ITER 845 NEW BEST:: SOT 612206 SOS 469263 HAS SOPS 469113 HAS SOUS 28364 HAS SOUPS 28361 WITH SCORE 28830.263
AT ITER 883 NEW BEST:: SOT 612183 SOS 469241 HAS SOPS 469091 HAS SOUS 28341 HAS SOUPS 28338 WITH SCORE 28807.241
AT ITER 895 NEW BEST:: SOT 612282 SOS 465948 HAS SOPS 465798 HAS SOUS 28231 HAS SOUPS 28228 WITH SCORE 28693.948
AT ITER 947 NEW BEST:: SOT 612281 SOS 465947 HAS SOPS 465797 HAS SOUS 28228 HAS SOUPS 28225 WITH SCORE 28690.947
AT ITER 968 NEW BEST:: SOT 612270 SOS 465931 HAS SOPS 465781 HAS SOUS 28202 HAS SOUPS 28199 WITH SCORE 28664.931
AT ITER 1014 NEW BEST:: SOT 612269 SOS 465929 HAS SOPS 465779 HAS SOUS 28200 HAS SOUPS 28197 WITH SCORE 28662.929
AT ITER 1082 NEW BEST:: SOT 612265 SOS 465925 HAS SOPS 465775 HAS SOUS 28188 HAS SOUPS 28185 WITH SCORE 28650.925
AT ITER 1161 NEW BEST:: SOT 612259 SOS 465919 HAS SOPS 465769 HAS SOUS 28170 HAS SOUPS 28167 WITH SCORE 28632.919
AT ITER 1183 NEW BEST:: SOT 612259 SOS 465918 HAS SOPS 465768 HAS SOUS 28169 HAS SOUPS 28166 WITH SCORE 28631.918
AT ITER 1190 NEW BEST:: SOT 612261 SOS 465920 HAS SOPS 465770 HAS SOUS 28122 HAS SOUPS 28119 WITH SCORE 28584.92
AT ITER 1221 NEW BEST:: SOT 612261 SOS 466736 HAS SOPS 466586 HAS SOUS 27928 HAS SOUPS 27925 WITH SCORE 28391.736
AT ITER 1251 NEW BEST:: SOT 612260 SOS 466734 HAS SOPS 466584 HAS SOUS 27926 HAS SOUPS 27923 WITH SCORE 28389.734
AT ITER 1279 NEW BEST:: SOT 612259 SOS 466733 HAS SOPS 466583 HAS SOUS 27923 HAS SOUPS 27920 WITH SCORE 28386.733
AT ITER 1312 NEW BEST:: SOT 612259 SOS 466729 HAS SOPS 466579 HAS SOUS 27923 HAS SOUPS 27920 WITH SCORE 28386.729
AT ITER 1344 NEW BEST:: SOT 612258 SOS 466728 HAS SOPS 466578 HAS SOUS 27920 HAS SOUPS 27917 WITH SCORE 28383.728
AT ITER 1347 NEW BEST:: SOT 612258 SOS 466726 HAS SOPS 466576 HAS SOUS 27920 HAS SOUPS 27917 WITH SCORE 28383.726
AT ITER 1364 NEW BEST:: SOT 612257 SOS 466725 HAS SOPS 466575 HAS SOUS 27917 HAS SOUPS 27914 WITH SCORE 28380.725
AT ITER 1384 NEW BEST:: SOT 612288 SOS 466216 HAS SOPS 466066 HAS SOUS 27916 HAS SOUPS 27913 WITH SCORE 28379.216
AT ITER 1450 NEW BEST:: SOT 612274 SOS 466202 HAS SOPS 466052 HAS SOUS 27874 HAS SOUPS 27871 WITH SCORE 28337.202
AT ITER 1492 NEW BEST:: SOT 612274 SOS 466200 HAS SOPS 466050 HAS SOUS 27874 HAS SOUPS 27871 WITH SCORE 28337.2
AT ITER 1554 NEW BEST:: SOT 612274 SOS 466198 HAS SOPS 466048 HAS SOUS 27874 HAS SOUPS 27871 WITH SCORE 28337.198
AT ITER 1561 NEW BEST:: SOT 612262 SOS 466186 HAS SOPS 466036 HAS SOUS 27838 HAS SOUPS 27835 WITH SCORE 28301.186
AT ITER 1572 NEW BEST:: SOT 612261 SOS 466185 HAS SOPS 466035 HAS SOUS 27835 HAS SOUPS 27832 WITH SCORE 28298.185
AT ITER 1590 NEW BEST:: SOT 612256 SOS 466180 HAS SOPS 466030 HAS SOUS 27820 HAS SOUPS 27817 WITH SCORE 28283.18
AT ITER 1608 NEW BEST:: SOT 612255 SOS 466179 HAS SOPS 466029 HAS SOUS 27817 HAS SOUPS 27814 WITH SCORE 28280.179
AT ITER 1613 NEW BEST:: SOT 612255 SOS 466165 HAS SOPS 466015 HAS SOUS 27809 HAS SOUPS 27806 WITH SCORE 28272.165
AT ITER 1658 NEW BEST:: SOT 612250 SOS 466160 HAS SOPS 466010 HAS SOUS 27794 HAS SOUPS 27791 WITH SCORE 28257.16
AT ITER 1740 NEW BEST:: SOT 612248 SOS 466158 HAS SOPS 466008 HAS SOUS 27788 HAS SOUPS 27785 WITH SCORE 28251.158
AT ITER 1754 NEW BEST:: SOT 612248 SOS 466156 HAS SOPS 466006 HAS SOUS 27788 HAS SOUPS 27785 WITH SCORE 28251.156
AT ITER 1819 NEW BEST:: SOT 612248 SOS 466150 HAS SOPS 466000 HAS SOUS 27782 HAS SOUPS 27779 WITH SCORE 28245.15
AT ITER 1839 NEW BEST:: SOT 612245 SOS 466147 HAS SOPS 465997 HAS SOUS 27773 HAS SOUPS 27770 WITH SCORE 28236.147
AT ITER 1844 NEW BEST:: SOT 612242 SOS 466144 HAS SOPS 465994 HAS SOUS 27764 HAS SOUPS 27761 WITH SCORE 28227.144
AT ITER 1956 NEW BEST:: SOT 612241 SOS 466143 HAS SOPS 465993 HAS SOUS 27761 HAS SOUPS 27758 WITH SCORE 28224.143
AT ITER 1982 NEW BEST:: SOT 612152 SOS 466054 HAS SOPS 465904 HAS SOUS 27720 HAS SOUPS 27717 WITH SCORE 28183.054
AT ITER 1997 NEW BEST:: SOT 612151 SOS 466053 HAS SOPS 465903 HAS SOUS 27717 HAS SOUPS 27714 WITH SCORE 28180.053
AT ITER 2009 NEW BEST:: SOT 612146 SOS 466048 HAS SOPS 465898 HAS SOUS 27702 HAS SOUPS 27699 WITH SCORE 28165.048
AT ITER 2017 NEW BEST:: SOT 612142 SOS 466044 HAS SOPS 465894 HAS SOUS 27690 HAS SOUPS 27687 WITH SCORE 28153.044
AT ITER 2029 NEW BEST:: SOT 612142 SOS 466043 HAS SOPS 465893 HAS SOUS 27689 HAS SOUPS 27686 WITH SCORE 28152.043
AT ITER 2031 NEW BEST:: SOT 612142 SOS 465939 HAS SOPS 465789 HAS SOUS 27687 HAS SOUPS 27684 WITH SCORE 28149.939
AT ITER 2058 NEW BEST:: SOT 612141 SOS 465938 HAS SOPS 465788 HAS SOUS 27684 HAS SOUPS 27681 WITH SCORE 28146.938
AT ITER 2078 NEW BEST:: SOT 612141 SOS 465040 HAS SOPS 464890 HAS SOUS 27666 HAS SOUPS 27663 WITH SCORE 28128.04
AT ITER 2145 NEW BEST:: SOT 612140 SOS 465039 HAS SOPS 464889 HAS SOUS 27663 HAS SOUPS 27660 WITH SCORE 28125.039
AT ITER 2192 NEW BEST:: SOT 612135 SOS 465034 HAS SOPS 464884 HAS SOUS 27648 HAS SOUPS 27645 WITH SCORE 28110.034
AT ITER 2260 NEW BEST:: SOT 612183 SOS 466628 HAS SOPS 466628 HAS SOUS 27633 HAS SOUPS 27633 WITH SCORE 28099.628
AT ITER 2286 NEW BEST:: SOT 612183 SOS 466612 HAS SOPS 466612 HAS SOUS 27633 HAS SOUPS 27633 WITH SCORE 28099.612
AT ITER 2300 NEW BEST:: SOT 612162 SOS 466591 HAS SOPS 466591 HAS SOUS 27578 HAS SOUPS 27578 WITH SCORE 28044.591
AT ITER 2303 NEW BEST:: SOT 612145 SOS 466574 HAS SOPS 466574 HAS SOUS 27527 HAS SOUPS 27527 WITH SCORE 27993.574
AT ITER 2306 NEW BEST:: SOT 612145 SOS 466358 HAS SOPS 466358 HAS SOUS 27523 HAS SOUPS 27523 WITH SCORE 27989.358
AT ITER 2357 NEW BEST:: SOT 612160 SOS 466373 HAS SOPS 466373 HAS SOUS 27515 HAS SOUPS 27515 WITH SCORE 27981.373
AT ITER 2386 NEW BEST:: SOT 612159 SOS 466372 HAS SOPS 466372 HAS SOUS 27512 HAS SOUPS 27512 WITH SCORE 27978.372
AT ITER 2473 NEW BEST:: SOT 612153 SOS 466366 HAS SOPS 466366 HAS SOUS 27494 HAS SOUPS 27494 WITH SCORE 27960.366
AT ITER 2487 NEW BEST:: SOT 612147 SOS 466360 HAS SOPS 466360 HAS SOUS 27476 HAS SOUPS 27476 WITH SCORE 27942.36
AT ITER 2527 NEW BEST:: SOT 612145 SOS 466358 HAS SOPS 466358 HAS SOUS 27470 HAS SOUPS 27470 WITH SCORE 27936.358
AT ITER 2566 NEW BEST:: SOT 612131 SOS 466344 HAS SOPS 466344 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27894.344
AT ITER 2574 NEW BEST:: SOT 612121 SOS 466334 HAS SOPS 466334 HAS SOUS 27398 HAS SOUPS 27398 WITH SCORE 27864.334
AT ITER 2594 NEW BEST:: SOT 612121 SOS 467531 HAS SOPS 467531 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27446.531
AT ITER 2608 NEW BEST:: SOT 612120 SOS 467529 HAS SOPS 467529 HAS SOUS 26977 HAS SOUPS 26977 WITH SCORE 27444.529
AT ITER 2626 NEW BEST:: SOT 612118 SOS 467536 HAS SOPS 467536 HAS SOUS 26974 HAS SOUPS 26974 WITH SCORE 27441.536
AT ITER 2645 NEW BEST:: SOT 612116 SOS 467532 HAS SOPS 467532 HAS SOUS 26970 HAS SOUPS 26970 WITH SCORE 27437.532
AT ITER 2656 NEW BEST:: SOT 612114 SOS 467530 HAS SOPS 467530 HAS SOUS 26964 HAS SOUPS 26964 WITH SCORE 27431.53
AT ITER 2659 NEW BEST:: SOT 612111 SOS 467527 HAS SOPS 467527 HAS SOUS 26955 HAS SOUPS 26955 WITH SCORE 27422.527
AT ITER 2665 NEW BEST:: SOT 612115 SOS 467531 HAS SOPS 467531 HAS SOUS 26914 HAS SOUPS 26914 WITH SCORE 27381.531
AT ITER 2702 NEW BEST:: SOT 612110 SOS 467526 HAS SOPS 467526 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 27366.526
AT ITER 2737 NEW BEST:: SOT 611981 SOS 470454 HAS SOPS 470454 HAS SOUS 26777 HAS SOUPS 26777 WITH SCORE 27247.454
AT ITER 2745 NEW BEST:: SOT 611980 SOS 470453 HAS SOPS 470453 HAS SOUS 26774 HAS SOUPS 26774 WITH SCORE 27244.453
AT ITER 2805 NEW BEST:: SOT 611972 SOS 470445 HAS SOPS 470445 HAS SOUS 26750 HAS SOUPS 26750 WITH SCORE 27220.445
AT ITER 2831 NEW BEST:: SOT 611972 SOS 470443 HAS SOPS 470443 HAS SOUS 26750 HAS SOUPS 26750 WITH SCORE 27220.443
AT ITER 2858 NEW BEST:: SOT 611967 SOS 470438 HAS SOPS 470438 HAS SOUS 26735 HAS SOUPS 26735 WITH SCORE 27205.438
AT ITER 2868 NEW BEST:: SOT 611977 SOS 472795 HAS SOPS 472795 HAS SOUS 26727 HAS SOUPS 26727 WITH SCORE 27199.795
AT ITER 2930 NEW BEST:: SOT 611971 SOS 472789 HAS SOPS 472789 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 27181.789
AT ITER 2945 NEW BEST:: SOT 611985 SOS 472803 HAS SOPS 472803 HAS SOUS 26684 HAS SOUPS 26684 WITH SCORE 27156.803
AT ITER 2949 NEW BEST:: SOT 611984 SOS 472805 HAS SOPS 472805 HAS SOUS 26680 HAS SOUPS 26680 WITH SCORE 27152.805
AT ITER 2950 NEW BEST:: SOT 611982 SOS 472803 HAS SOPS 472803 HAS SOUS 26674 HAS SOUPS 26674 WITH SCORE 27146.803
AT ITER 2979 NEW BEST:: SOT 611981 SOS 472802 HAS SOPS 472802 HAS SOUS 26671 HAS SOUPS 26671 WITH SCORE 27143.802
AT ITER 3028 NEW BEST:: SOT 611979 SOS 472800 HAS SOPS 472800 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 27137.8
AT ITER 3109 NEW BEST:: SOT 611747 SOS 472280 HAS SOPS 472280 HAS SOUS 26504 HAS SOUPS 26504 WITH SCORE 26976.28
AT ITER 3209 NEW BEST:: SOT 611770 SOS 472599 HAS SOPS 472599 HAS SOUS 26453 HAS SOUPS 26453 WITH SCORE 26925.599
AT ITER 3243 NEW BEST:: SOT 611764 SOS 472593 HAS SOPS 472593 HAS SOUS 26441 HAS SOUPS 26441 WITH SCORE 26913.593
AT ITER 3263 NEW BEST:: SOT 611764 SOS 472591 HAS SOPS 472591 HAS SOUS 26441 HAS SOUPS 26441 WITH SCORE 26913.591
AT ITER 3300 NEW BEST:: SOT 611762 SOS 472589 HAS SOPS 472589 HAS SOUS 26435 HAS SOUPS 26435 WITH SCORE 26907.589
AT ITER 3321 NEW BEST:: SOT 612068 SOS 472895 HAS SOPS 472895 HAS SOUS 26403 HAS SOUPS 26403 WITH SCORE 26875.895
AT ITER 3435 NEW BEST:: SOT 612064 SOS 472891 HAS SOPS 472891 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26863.891
AT ITER 3453 NEW BEST:: SOT 612063 SOS 472890 HAS SOPS 472890 HAS SOUS 26388 HAS SOUPS 26388 WITH SCORE 26860.89
AT ITER 3500 NEW BEST:: SOT 612061 SOS 472888 HAS SOPS 472888 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26854.888
AT ITER 3559 NEW BEST:: SOT 612061 SOS 472886 HAS SOPS 472886 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26854.886
AT ITER 3649 NEW BEST:: SOT 612056 SOS 472881 HAS SOPS 472881 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26839.881
AT ITER 3677 NEW BEST:: SOT 612056 SOS 472879 HAS SOPS 472879 HAS SOUS 26367 HAS SOUPS 26367 WITH SCORE 26839.879
AT ITER 3700 NEW BEST:: SOT 612054 SOS 472877 HAS SOPS 472877 HAS SOUS 26361 HAS SOUPS 26361 WITH SCORE 26833.877
AT ITER 3734 NEW BEST:: SOT 612050 SOS 472873 HAS SOPS 472873 HAS SOUS 26349 HAS SOUPS 26349 WITH SCORE 26821.873
AT ITER 3774 NEW BEST:: SOT 612020 SOS 472866 HAS SOPS 472866 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26795.866
AT ITER 3811 NEW BEST:: SOT 612019 SOS 472865 HAS SOPS 472865 HAS SOUS 26320 HAS SOUPS 26320 WITH SCORE 26792.865
AT ITER 3855 NEW BEST:: SOT 612014 SOS 472860 HAS SOPS 472860 HAS SOUS 26305 HAS SOUPS 26305 WITH SCORE 26777.86
AT ITER 3941 NEW BEST:: SOT 612012 SOS 472858 HAS SOPS 472858 HAS SOUS 26301 HAS SOUPS 26301 WITH SCORE 26773.858
AT ITER 3982 NEW BEST:: SOT 612012 SOS 472850 HAS SOPS 472850 HAS SOUS 26301 HAS SOUPS 26301 WITH SCORE 26773.85
AT ITER 4020 NEW BEST:: SOT 612010 SOS 472848 HAS SOPS 472848 HAS SOUS 26295 HAS SOUPS 26295 WITH SCORE 26767.848
AT ITER 4083 NEW BEST:: SOT 612005 SOS 472843 HAS SOPS 472843 HAS SOUS 26288 HAS SOUPS 26288 WITH SCORE 26760.843
AT ITER 4094 NEW BEST:: SOT 612003 SOS 472841 HAS SOPS 472841 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26756.841
AT ITER 4191 NEW BEST:: SOT 612003 SOS 472833 HAS SOPS 472833 HAS SOUS 26284 HAS SOUPS 26284 WITH SCORE 26756.833
AT ITER 4204 NEW BEST:: SOT 612044 SOS 472874 HAS SOPS 472874 HAS SOUS 26195 HAS SOUPS 26195 WITH SCORE 26667.874
AT ITER 4210 NEW BEST:: SOT 612043 SOS 472873 HAS SOPS 472873 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26664.873
AT ITER 4251 NEW BEST:: SOT 612042 SOS 472872 HAS SOPS 472872 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26661.872
AT ITER 4252 NEW BEST:: SOT 612041 SOS 472865 HAS SOPS 472865 HAS SOUS 26186 HAS SOUPS 26186 WITH SCORE 26658.865
AT ITER 4342 NEW BEST:: SOT 612033 SOS 472855 HAS SOPS 472855 HAS SOUS 26167 HAS SOUPS 26167 WITH SCORE 26639.855
AT ITER 4524 NEW BEST:: SOT 612032 SOS 472854 HAS SOPS 472854 HAS SOUS 26164 HAS SOUPS 26164 WITH SCORE 26636.854
AT ITER 4534 NEW BEST:: SOT 612020 SOS 472842 HAS SOPS 472842 HAS SOUS 26128 HAS SOUPS 26128 WITH SCORE 26600.842
AT ITER 4562 NEW BEST:: SOT 612017 SOS 472839 HAS SOPS 472839 HAS SOUS 26119 HAS SOUPS 26119 WITH SCORE 26591.839
AT ITER 4587 NEW BEST:: SOT 611999 SOS 472821 HAS SOPS 472821 HAS SOUS 26083 HAS SOUPS 26083 WITH SCORE 26555.821
AT ITER 4619 NEW BEST:: SOT 611996 SOS 472818 HAS SOPS 472818 HAS SOUS 26074 HAS SOUPS 26074 WITH SCORE 26546.818
AT ITER 4645 NEW BEST:: SOT 611994 SOS 472816 HAS SOPS 472816 HAS SOUS 26070 HAS SOUPS 26070 WITH SCORE 26542.816
AT ITER 4647 NEW BEST:: SOT 611993 SOS 472815 HAS SOPS 472815 HAS SOUS 26067 HAS SOUPS 26067 WITH SCORE 26539.815
AT ITER 4670 NEW BEST:: SOT 611992 SOS 472814 HAS SOPS 472814 HAS SOUS 26064 HAS SOUPS 26064 WITH SCORE 26536.814
AT ITER 4722 NEW BEST:: SOT 611985 SOS 472807 HAS SOPS 472807 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26515.807
AT ITER 4723 NEW BEST:: SOT 611985 SOS 472805 HAS SOPS 472805 HAS SOUS 26043 HAS SOUPS 26043 WITH SCORE 26515.805
AT ITER 4736 NEW BEST:: SOT 611958 SOS 472778 HAS SOPS 472778 HAS SOUS 25962 HAS SOUPS 25962 WITH SCORE 26434.778
AT ITER 4901 NEW BEST:: SOT 611957 SOS 472777 HAS SOPS 472777 HAS SOUS 25959 HAS SOUPS 25959 WITH SCORE 26431.777
AT ITER 4993 NEW BEST:: SOT 611956 SOS 472776 HAS SOPS 472776 HAS SOUS 25956 HAS SOUPS 25956 WITH SCORE 26428.776
AT ITER 5133 NEW BEST:: SOT 611955 SOS 472775 HAS SOPS 472775 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 26425.775
AT ITER 5181 NEW BEST:: SOT 612340 SOS 473160 HAS SOPS 473160 HAS SOUS 25857 HAS SOUPS 25857 WITH SCORE 26330.16
AT ITER 5246 NEW BEST:: SOT 612338 SOS 473158 HAS SOPS 473158 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 26324.158
AT ITER 5258 NEW BEST:: SOT 612335 SOS 473155 HAS SOPS 473155 HAS SOUS 25842 HAS SOUPS 25842 WITH SCORE 26315.155
AT ITER 5309 NEW BEST:: SOT 612331 SOS 473153 HAS SOPS 473153 HAS SOUS 25839 HAS SOUPS 25839 WITH SCORE 26312.153
AT ITER 5374 NEW BEST:: SOT 612330 SOS 473152 HAS SOPS 473152 HAS SOUS 25836 HAS SOUPS 25836 WITH SCORE 26309.152
AT ITER 5380 NEW BEST:: SOT 612355 SOS 473177 HAS SOPS 473177 HAS SOUS 25758 HAS SOUPS 25758 WITH SCORE 26231.177
AT ITER 5383 NEW BEST:: SOT 612334 SOS 473156 HAS SOPS 473156 HAS SOUS 25695 HAS SOUPS 25695 WITH SCORE 26168.156
AT ITER 5611 NEW BEST:: SOT 612332 SOS 473154 HAS SOPS 473154 HAS SOUS 25689 HAS SOUPS 25689 WITH SCORE 26162.154
AT ITER 5664 NEW BEST:: SOT 612330 SOS 473152 HAS SOPS 473152 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 26156.152
AT ITER 5710 NEW BEST:: SOT 612329 SOS 473151 HAS SOPS 473151 HAS SOUS 25680 HAS SOUPS 25680 WITH SCORE 26153.151
AT ITER 5793 NEW BEST:: SOT 612328 SOS 473150 HAS SOPS 473150 HAS SOUS 25677 HAS SOUPS 25677 WITH SCORE 26150.15
AT ITER 5948 NEW BEST:: SOT 612325 SOS 473147 HAS SOPS 473147 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 26141.147
AT ITER 5966 NEW BEST:: SOT 612325 SOS 473139 HAS SOPS 473139 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 26141.139
AT ITER 6003 NEW BEST:: SOT 612324 SOS 473138 HAS SOPS 473138 HAS SOUS 25665 HAS SOUPS 25665 WITH SCORE 26138.138
AT ITER 6109 NEW BEST:: SOT 612322 SOS 473136 HAS SOPS 473136 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 26132.136
AT ITER 6153 NEW BEST:: SOT 612322 SOS 473128 HAS SOPS 473128 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 26132.128
AT ITER 6203 NEW BEST:: SOT 612341 SOS 473147 HAS SOPS 473147 HAS SOUS 25651 HAS SOUPS 25651 WITH SCORE 26124.147
AT ITER 6214 NEW BEST:: SOT 612340 SOS 473146 HAS SOPS 473146 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 26121.146
AT ITER 6231 NEW BEST:: SOT 612336 SOS 473142 HAS SOPS 473142 HAS SOUS 25636 HAS SOUPS 25636 WITH SCORE 26109.142
AT ITER 6308 NEW BEST:: SOT 612333 SOS 473139 HAS SOPS 473139 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 26100.139
AT ITER 6453 NEW BEST:: SOT 612333 SOS 473133 HAS SOPS 473133 HAS SOUS 25627 HAS SOUPS 25627 WITH SCORE 26100.133
AT ITER 6703 NEW BEST:: SOT 612332 SOS 473132 HAS SOPS 473132 HAS SOUS 25624 HAS SOUPS 25624 WITH SCORE 26097.132
AT ITER 6788 NEW BEST:: SOT 612330 SOS 473130 HAS SOPS 473130 HAS SOUS 25618 HAS SOUPS 25618 WITH SCORE 26091.13
AT ITER 6815 NEW BEST:: SOT 612328 SOS 473128 HAS SOPS 473128 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 26087.128
AT ITER 6888 NEW BEST:: SOT 612324 SOS 473124 HAS SOPS 473124 HAS SOUS 25606 HAS SOUPS 25606 WITH SCORE 26079.124
AT ITER 7079 NEW BEST:: SOT 612318 SOS 473118 HAS SOPS 473118 HAS SOUS 25594 HAS SOUPS 25594 WITH SCORE 26067.118
AT ITER 7102 NEW BEST:: SOT 612317 SOS 473117 HAS SOPS 473117 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 26064.117
AT ITER 7165 NEW BEST:: SOT 612315 SOS 473115 HAS SOPS 473115 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 26060.115
AT ITER 7288 NEW BEST:: SOT 612311 SOS 473111 HAS SOPS 473111 HAS SOUS 25557 HAS SOUPS 25557 WITH SCORE 26030.111
AT ITER 7296 NEW BEST:: SOT 612319 SOS 473119 HAS SOPS 473119 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 26003.119
AT ITER 7316 NEW BEST:: SOT 612315 SOS 473115 HAS SOPS 473115 HAS SOUS 25518 HAS SOUPS 25518 WITH SCORE 25991.115
AT ITER 7430 NEW BEST:: SOT 612315 SOS 473011 HAS SOPS 473011 HAS SOUS 25516 HAS SOUPS 25516 WITH SCORE 25989.011
AT ITER 7550 NEW BEST:: SOT 612313 SOS 473009 HAS SOPS 473009 HAS SOUS 25510 HAS SOUPS 25510 WITH SCORE 25983.009
AT ITER 7600 NEW BEST:: SOT 612312 SOS 473008 HAS SOPS 473008 HAS SOUS 25507 HAS SOUPS 25507 WITH SCORE 25980.008
AT ITER 7610 NEW BEST:: SOT 612308 SOS 473004 HAS SOPS 473004 HAS SOUS 25499 HAS SOUPS 25499 WITH SCORE 25972.004
AT ITER 7612 NEW BEST:: SOT 612305 SOS 473001 HAS SOPS 473001 HAS SOUS 25490 HAS SOUPS 25490 WITH SCORE 25963.001
AT ITER 7617 NEW BEST:: SOT 612298 SOS 472994 HAS SOPS 472994 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 25329.994
AT ITER 7716 NEW BEST:: SOT 612298 SOS 472988 HAS SOPS 472988 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 25329.988
AT ITER 7738 NEW BEST:: SOT 612296 SOS 472986 HAS SOPS 472986 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 25323.986
AT ITER 7794 NEW BEST:: SOT 612292 SOS 472994 HAS SOPS 472994 HAS SOUS 24843 HAS SOUPS 24843 WITH SCORE 25315.994
AT ITER 7827 NEW BEST:: SOT 612291 SOS 472993 HAS SOPS 472993 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 25312.993
AT ITER 7891 NEW BEST:: SOT 612291 SOS 472993 HAS SOPS 472993 HAS SOUS 24838 HAS SOUPS 24838 WITH SCORE 25310.993
AT ITER 7899 NEW BEST:: SOT 612290 SOS 472992 HAS SOPS 472992 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 25307.992
AT ITER 7932 NEW BEST:: SOT 612313 SOS 473015 HAS SOPS 473015 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 25222.015
AT ITER 7941 NEW BEST:: SOT 612313 SOS 473013 HAS SOPS 473013 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 25222.013
AT ITER 8100 NEW BEST:: SOT 612311 SOS 473011 HAS SOPS 473011 HAS SOUS 24743 HAS SOUPS 24743 WITH SCORE 25216.011
AT ITER 8101 NEW BEST:: SOT 612309 SOS 473009 HAS SOPS 473009 HAS SOUS 24684 HAS SOUPS 24684 WITH SCORE 25157.009
AT ITER 8176 NEW BEST:: SOT 612295 SOS 472995 HAS SOPS 472995 HAS SOUS 24670 HAS SOUPS 24670 WITH SCORE 25142.995
AT ITER 8272 NEW BEST:: SOT 612290 SOS 472990 HAS SOPS 472990 HAS SOUS 24655 HAS SOUPS 24655 WITH SCORE 25127.99
AT ITER 8343 NEW BEST:: SOT 612289 SOS 472989 HAS SOPS 472989 HAS SOUS 24652 HAS SOUPS 24652 WITH SCORE 25124.989
AT ITER 8369 NEW BEST:: SOT 612284 SOS 472984 HAS SOPS 472984 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 25109.984
AT ITER 8548 NEW BEST:: SOT 612282 SOS 472982 HAS SOPS 472982 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 25105.982
AT ITER 8602 NEW BEST:: SOT 612272 SOS 472972 HAS SOPS 472972 HAS SOUS 24603 HAS SOUPS 24603 WITH SCORE 25075.972
AT ITER 8761 NEW BEST:: SOT 612270 SOS 472970 HAS SOPS 472970 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 25069.97
AT ITER 8776 NEW BEST:: SOT 612269 SOS 472969 HAS SOPS 472969 HAS SOUS 24594 HAS SOUPS 24594 WITH SCORE 25066.969
AT ITER 8805 NEW BEST:: SOT 612268 SOS 472968 HAS SOPS 472968 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 25063.968
AT ITER 8832 NEW BEST:: SOT 612266 SOS 472966 HAS SOPS 472966 HAS SOUS 24585 HAS SOUPS 24585 WITH SCORE 25057.966
AT ITER 8926 NEW BEST:: SOT 612264 SOS 472964 HAS SOPS 472964 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 25055.964
AT ITER 8989 NEW BEST:: SOT 612263 SOS 472963 HAS SOPS 472963 HAS SOUS 24580 HAS SOUPS 24580 WITH SCORE 25052.963
AT ITER 9130 NEW BEST:: SOT 612261 SOS 472961 HAS SOPS 472961 HAS SOUS 24576 HAS SOUPS 24576 WITH SCORE 25048.961
AT ITER 9167 NEW BEST:: SOT 612256 SOS 472956 HAS SOPS 472956 HAS SOUS 24561 HAS SOUPS 24561 WITH SCORE 25033.956
AT ITER 9235 NEW BEST:: SOT 612252 SOS 472952 HAS SOPS 472952 HAS SOUS 24549 HAS SOUPS 24549 WITH SCORE 25021.952
AT ITER 9422 NEW BEST:: SOT 612251 SOS 472951 HAS SOPS 472951 HAS SOUS 24546 HAS SOUPS 24546 WITH SCORE 25018.951
AT ITER 9468 NEW BEST:: SOT 612249 SOS 472949 HAS SOPS 472949 HAS SOUS 24540 HAS SOUPS 24540 WITH SCORE 25012.949
AT ITER 9469 NEW BEST:: SOT 612245 SOS 472991 HAS SOPS 472991 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 25004.991
AT ITER 9632 NEW BEST:: SOT 612243 SOS 472989 HAS SOPS 472989 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24998.989
AT ITER 9748 NEW BEST:: SOT 612243 SOS 472987 HAS SOPS 472987 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24998.987
AT ITER 9763 NEW BEST:: SOT 612241 SOS 472985 HAS SOPS 472985 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24994.985
AT ITER 9808 NEW BEST:: SOT 612239 SOS 472983 HAS SOPS 472983 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24988.983
AT ITER 9855 NEW BEST:: SOT 612239 SOS 472979 HAS SOPS 472979 HAS SOUS 24516 HAS SOUPS 24516 WITH SCORE 24988.979
AT ITER 9907 NEW BEST:: SOT 612233 SOS 472973 HAS SOPS 472973 HAS SOUS 24506 HAS SOUPS 24506 WITH SCORE 24978.973
AT ITER 9966 NEW BEST:: SOT 612233 SOS 472967 HAS SOPS 472967 HAS SOUS 24506 HAS SOUPS 24506 WITH SCORE 24978.967
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 13815432 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16131464 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-V50P20N50"
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-V50P20N50, 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-167813687700088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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