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.r139-smll-167819423200480.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is DoubleExponent-PT-010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819423200480
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.2K Feb 26 13:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 13:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 13:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 13:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 26 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:01 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:01 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 169K 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 1678422593491

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DoubleExponent-PT-010
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 04:29:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 04:29:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 04:29:56] [INFO ] Load time of PNML (sax parser for PT used): 143 ms
[2023-03-10 04:29:56] [INFO ] Transformed 534 places.
[2023-03-10 04:29:56] [INFO ] Transformed 498 transitions.
[2023-03-10 04:29:56] [INFO ] Parsed PT model containing 534 places and 498 transitions and 1404 arcs in 290 ms.
[2023-03-10 04:29:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 534 places, 498 transitions and 1404 arcs took 17 ms.
Total runtime 369 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DoubleExponent (PT), instance 010
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 534 places, 498 transitions, 1404 arcs.
AT ITER 0 NEW BEST:: SOT 138150 SOS 13258 HAS SOPS 13258 HAS SOUS 12576 HAS SOUPS 12576 WITH SCORE 12589.258
AT ITER 33 NEW BEST:: SOT 138124 SOS 13227 HAS SOPS 13227 HAS SOUS 12540 HAS SOUPS 12540 WITH SCORE 12553.227
AT ITER 60 NEW BEST:: SOT 138144 SOS 13232 HAS SOPS 13232 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12538.232
AT ITER 63 NEW BEST:: SOT 138148 SOS 13235 HAS SOPS 13235 HAS SOUS 12513 HAS SOUPS 12513 WITH SCORE 12526.235
AT ITER 161 NEW BEST:: SOT 138141 SOS 13227 HAS SOPS 13227 HAS SOUS 12491 HAS SOUPS 12491 WITH SCORE 12504.227
AT ITER 173 NEW BEST:: SOT 138149 SOS 13225 HAS SOPS 13225 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12502.225
AT ITER 192 NEW BEST:: SOT 138145 SOS 13221 HAS SOPS 13221 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12502.221
AT ITER 231 NEW BEST:: SOT 138157 SOS 13233 HAS SOPS 13233 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12500.233
AT ITER 260 NEW BEST:: SOT 138153 SOS 13226 HAS SOPS 13226 HAS SOUS 12478 HAS SOUPS 12478 WITH SCORE 12491.226
AT ITER 280 NEW BEST:: SOT 138114 SOS 13125 HAS SOPS 13125 HAS SOUS 12399 HAS SOUPS 12399 WITH SCORE 12412.125
AT ITER 299 NEW BEST:: SOT 138113 SOS 13123 HAS SOPS 13123 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12410.123
AT ITER 313 NEW BEST:: SOT 138136 SOS 13103 HAS SOPS 13103 HAS SOUS 12386 HAS SOUPS 12386 WITH SCORE 12399.103
AT ITER 327 NEW BEST:: SOT 138135 SOS 13078 HAS SOPS 13078 HAS SOUS 12383 HAS SOUPS 12383 WITH SCORE 12396.078
AT ITER 342 NEW BEST:: SOT 138133 SOS 13074 HAS SOPS 13074 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12392.074
AT ITER 344 NEW BEST:: SOT 138144 SOS 13072 HAS SOPS 13072 HAS SOUS 12365 HAS SOUPS 12365 WITH SCORE 12378.072
AT ITER 390 NEW BEST:: SOT 138143 SOS 13070 HAS SOPS 13070 HAS SOUS 12363 HAS SOUPS 12363 WITH SCORE 12376.07
AT ITER 403 NEW BEST:: SOT 138141 SOS 13059 HAS SOPS 13059 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12365.059
AT ITER 499 NEW BEST:: SOT 138131 SOS 13051 HAS SOPS 13051 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12359.051
AT ITER 531 NEW BEST:: SOT 138135 SOS 13047 HAS SOPS 13047 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12355.047
AT ITER 539 NEW BEST:: SOT 138135 SOS 13045 HAS SOPS 13045 HAS SOUS 12341 HAS SOUPS 12341 WITH SCORE 12354.045
AT ITER 541 NEW BEST:: SOT 138131 SOS 13039 HAS SOPS 13039 HAS SOUS 12335 HAS SOUPS 12335 WITH SCORE 12348.039
AT ITER 544 NEW BEST:: SOT 138125 SOS 13027 HAS SOPS 13027 HAS SOUS 12323 HAS SOUPS 12323 WITH SCORE 12336.027
AT ITER 612 NEW BEST:: SOT 138122 SOS 13024 HAS SOPS 13024 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12333.024
AT ITER 647 NEW BEST:: SOT 138130 SOS 13003 HAS SOPS 13003 HAS SOUS 12319 HAS SOUPS 12319 WITH SCORE 12332.003
AT ITER 689 NEW BEST:: SOT 138133 SOS 12998 HAS SOPS 12998 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12326.998
AT ITER 708 NEW BEST:: SOT 138121 SOS 12993 HAS SOPS 12993 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12321.993
AT ITER 763 NEW BEST:: SOT 138106 SOS 12978 HAS SOPS 12978 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12306.978
AT ITER 1012 NEW BEST:: SOT 138107 SOS 12949 HAS SOPS 12949 HAS SOUS 12265 HAS SOUPS 12265 WITH SCORE 12277.949
AT ITER 1033 NEW BEST:: SOT 138110 SOS 12934 HAS SOPS 12934 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12267.934
AT ITER 1066 NEW BEST:: SOT 138102 SOS 12926 HAS SOPS 12926 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12259.926
AT ITER 1070 NEW BEST:: SOT 138083 SOS 12911 HAS SOPS 12911 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12244.911
AT ITER 1131 NEW BEST:: SOT 138042 SOS 12810 HAS SOPS 12810 HAS SOUS 12152 HAS SOUPS 12152 WITH SCORE 12164.81
AT ITER 1137 NEW BEST:: SOT 138028 SOS 12798 HAS SOPS 12798 HAS SOUS 12140 HAS SOUPS 12140 WITH SCORE 12152.798
AT ITER 1179 NEW BEST:: SOT 138023 SOS 12803 HAS SOPS 12803 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12151.803
AT ITER 1338 NEW BEST:: SOT 138023 SOS 12803 HAS SOPS 12803 HAS SOUS 12128 HAS SOUPS 12128 WITH SCORE 12140.803
AT ITER 1361 NEW BEST:: SOT 138013 SOS 12816 HAS SOPS 12816 HAS SOUS 12123 HAS SOUPS 12123 WITH SCORE 12135.816
AT ITER 1364 NEW BEST:: SOT 138004 SOS 12803 HAS SOPS 12803 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12126.803
AT ITER 1373 NEW BEST:: SOT 138004 SOS 12802 HAS SOPS 12802 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12126.802
AT ITER 1375 NEW BEST:: SOT 138004 SOS 12801 HAS SOPS 12801 HAS SOUS 12113 HAS SOUPS 12113 WITH SCORE 12125.801
AT ITER 1438 NEW BEST:: SOT 137994 SOS 12794 HAS SOPS 12794 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12108.794
AT ITER 1472 NEW BEST:: SOT 137972 SOS 12750 HAS SOPS 12750 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12075.75
AT ITER 1488 NEW BEST:: SOT 137966 SOS 12737 HAS SOPS 12737 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12062.737
AT ITER 1509 NEW BEST:: SOT 137965 SOS 12727 HAS SOPS 12727 HAS SOUS 12039 HAS SOUPS 12039 WITH SCORE 12051.727
AT ITER 1519 NEW BEST:: SOT 137961 SOS 12723 HAS SOPS 12723 HAS SOUS 12031 HAS SOUPS 12031 WITH SCORE 12043.723
AT ITER 1556 NEW BEST:: SOT 137961 SOS 12716 HAS SOPS 12716 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12036.716
AT ITER 1634 NEW BEST:: SOT 137960 SOS 12710 HAS SOPS 12710 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12030.71
AT ITER 1730 NEW BEST:: SOT 137946 SOS 12702 HAS SOPS 12702 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12025.702
AT ITER 1753 NEW BEST:: SOT 137938 SOS 12679 HAS SOPS 12679 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12016.679
AT ITER 1791 NEW BEST:: SOT 137938 SOS 12678 HAS SOPS 12678 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12015.678
AT ITER 1797 NEW BEST:: SOT 137942 SOS 12676 HAS SOPS 12676 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12010.676
AT ITER 1851 NEW BEST:: SOT 137941 SOS 12677 HAS SOPS 12677 HAS SOUS 11997 HAS SOUPS 11997 WITH SCORE 12009.677
AT ITER 1893 NEW BEST:: SOT 137941 SOS 12649 HAS SOPS 12649 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11979.649
AT ITER 1951 NEW BEST:: SOT 137920 SOS 12649 HAS SOPS 12649 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 11969.649
AT ITER 1977 NEW BEST:: SOT 137908 SOS 12631 HAS SOPS 12631 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11930.631
AT ITER 1994 NEW BEST:: SOT 137902 SOS 12619 HAS SOPS 12619 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11918.619
AT ITER 2000 NEW BEST:: SOT 137888 SOS 12618 HAS SOPS 12618 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11917.618
AT ITER 2120 NEW BEST:: SOT 137887 SOS 12620 HAS SOPS 12620 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11915.62
AT ITER 2210 NEW BEST:: SOT 137881 SOS 12602 HAS SOPS 12602 HAS SOUS 11891 HAS SOUPS 11891 WITH SCORE 11903.602
AT ITER 2218 NEW BEST:: SOT 137878 SOS 12587 HAS SOPS 12587 HAS SOUS 11882 HAS SOUPS 11882 WITH SCORE 11894.587
AT ITER 2250 NEW BEST:: SOT 137868 SOS 12592 HAS SOPS 12592 HAS SOUS 11880 HAS SOUPS 11880 WITH SCORE 11892.592
AT ITER 2259 NEW BEST:: SOT 137863 SOS 12584 HAS SOPS 12584 HAS SOUS 11857 HAS SOUPS 11857 WITH SCORE 11869.584
AT ITER 2323 NEW BEST:: SOT 137858 SOS 12579 HAS SOPS 12579 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11859.579
AT ITER 2355 NEW BEST:: SOT 137854 SOS 12558 HAS SOPS 12558 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11842.558
AT ITER 2431 NEW BEST:: SOT 137855 SOS 12518 HAS SOPS 12518 HAS SOUS 11803 HAS SOUPS 11803 WITH SCORE 11815.518
AT ITER 2554 NEW BEST:: SOT 137854 SOS 12517 HAS SOPS 12517 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11814.517
AT ITER 2620 NEW BEST:: SOT 137847 SOS 12510 HAS SOPS 12510 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11814.51
AT ITER 2648 NEW BEST:: SOT 137847 SOS 12502 HAS SOPS 12502 HAS SOUS 11802 HAS SOUPS 11802 WITH SCORE 11814.502
AT ITER 2722 NEW BEST:: SOT 137831 SOS 12524 HAS SOPS 12524 HAS SOUS 11796 HAS SOUPS 11796 WITH SCORE 11808.524
AT ITER 2766 NEW BEST:: SOT 137828 SOS 12521 HAS SOPS 12521 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11805.521
AT ITER 2821 NEW BEST:: SOT 137834 SOS 12523 HAS SOPS 12523 HAS SOUS 11790 HAS SOUPS 11790 WITH SCORE 11802.523
AT ITER 2841 NEW BEST:: SOT 137833 SOS 12522 HAS SOPS 12522 HAS SOUS 11789 HAS SOUPS 11789 WITH SCORE 11801.522
AT ITER 2849 NEW BEST:: SOT 137825 SOS 12506 HAS SOPS 12506 HAS SOUS 11773 HAS SOUPS 11773 WITH SCORE 11785.506
AT ITER 2876 NEW BEST:: SOT 137826 SOS 12514 HAS SOPS 12514 HAS SOUS 11772 HAS SOUPS 11772 WITH SCORE 11784.514
AT ITER 2891 NEW BEST:: SOT 137811 SOS 12499 HAS SOPS 12499 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11778.499
AT ITER 2902 NEW BEST:: SOT 137796 SOS 12483 HAS SOPS 12483 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11748.483
AT ITER 2905 NEW BEST:: SOT 137790 SOS 12481 HAS SOPS 12481 HAS SOUS 11735 HAS SOUPS 11735 WITH SCORE 11747.481
AT ITER 2910 NEW BEST:: SOT 137793 SOS 12485 HAS SOPS 12485 HAS SOUS 11720 HAS SOUPS 11720 WITH SCORE 11732.485
AT ITER 2964 NEW BEST:: SOT 137764 SOS 12442 HAS SOPS 12442 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11709.442
AT ITER 2966 NEW BEST:: SOT 137772 SOS 12433 HAS SOPS 12433 HAS SOUS 11688 HAS SOUPS 11688 WITH SCORE 11700.433
AT ITER 2974 NEW BEST:: SOT 137771 SOS 12431 HAS SOPS 12431 HAS SOUS 11686 HAS SOUPS 11686 WITH SCORE 11698.431
AT ITER 3015 NEW BEST:: SOT 137763 SOS 12410 HAS SOPS 12410 HAS SOUS 11678 HAS SOUPS 11678 WITH SCORE 11690.41
AT ITER 3039 NEW BEST:: SOT 137757 SOS 12403 HAS SOPS 12403 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11687.403
AT ITER 3125 NEW BEST:: SOT 137761 SOS 12402 HAS SOPS 12402 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11686.402
AT ITER 3132 NEW BEST:: SOT 137754 SOS 12400 HAS SOPS 12400 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11684.4
AT ITER 3152 NEW BEST:: SOT 137744 SOS 12399 HAS SOPS 12399 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11683.399
AT ITER 3200 NEW BEST:: SOT 137743 SOS 12397 HAS SOPS 12397 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11682.397
AT ITER 3210 NEW BEST:: SOT 137743 SOS 12393 HAS SOPS 12393 HAS SOUS 11664 HAS SOUPS 11664 WITH SCORE 11676.393
AT ITER 3222 NEW BEST:: SOT 137742 SOS 12390 HAS SOPS 12390 HAS SOUS 11662 HAS SOUPS 11662 WITH SCORE 11674.39
AT ITER 3228 NEW BEST:: SOT 137706 SOS 12337 HAS SOPS 12337 HAS SOUS 11633 HAS SOUPS 11633 WITH SCORE 11645.337
AT ITER 3236 NEW BEST:: SOT 137705 SOS 12333 HAS SOPS 12333 HAS SOUS 11629 HAS SOUPS 11629 WITH SCORE 11641.333
AT ITER 3266 NEW BEST:: SOT 137690 SOS 12307 HAS SOPS 12307 HAS SOUS 11603 HAS SOUPS 11603 WITH SCORE 11615.307
AT ITER 3307 NEW BEST:: SOT 137687 SOS 12323 HAS SOPS 12323 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11611.323
AT ITER 3331 NEW BEST:: SOT 137667 SOS 12252 HAS SOPS 12252 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11555.252
AT ITER 3352 NEW BEST:: SOT 137678 SOS 12254 HAS SOPS 12254 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11554.254
AT ITER 3505 NEW BEST:: SOT 137667 SOS 12232 HAS SOPS 12232 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11521.232
AT ITER 3603 NEW BEST:: SOT 137691 SOS 12211 HAS SOPS 12211 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11494.211
AT ITER 3779 NEW BEST:: SOT 137687 SOS 12209 HAS SOPS 12209 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11492.209
AT ITER 3783 NEW BEST:: SOT 137687 SOS 12208 HAS SOPS 12208 HAS SOUS 11479 HAS SOUPS 11479 WITH SCORE 11491.208
AT ITER 3784 NEW BEST:: SOT 137677 SOS 12186 HAS SOPS 12186 HAS SOUS 11449 HAS SOUPS 11449 WITH SCORE 11461.186
AT ITER 3969 NEW BEST:: SOT 137658 SOS 12176 HAS SOPS 12176 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11431.176
AT ITER 4006 NEW BEST:: SOT 137648 SOS 12175 HAS SOPS 12175 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11430.175
AT ITER 4090 NEW BEST:: SOT 137651 SOS 12165 HAS SOPS 12165 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11420.165
AT ITER 4100 NEW BEST:: SOT 137617 SOS 12132 HAS SOPS 12132 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11387.132
AT ITER 4105 NEW BEST:: SOT 137601 SOS 12110 HAS SOPS 12110 HAS SOUS 11346 HAS SOUPS 11346 WITH SCORE 11358.11
AT ITER 4157 NEW BEST:: SOT 137588 SOS 12064 HAS SOPS 12064 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11325.064
AT ITER 4175 NEW BEST:: SOT 137580 SOS 12056 HAS SOPS 12056 HAS SOUS 11305 HAS SOUPS 11305 WITH SCORE 11317.056
AT ITER 4189 NEW BEST:: SOT 137580 SOS 12041 HAS SOPS 12041 HAS SOUS 11288 HAS SOUPS 11288 WITH SCORE 11300.041
AT ITER 4191 NEW BEST:: SOT 137577 SOS 12035 HAS SOPS 12035 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.035
AT ITER 4227 NEW BEST:: SOT 137577 SOS 12033 HAS SOPS 12033 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.033
AT ITER 4278 NEW BEST:: SOT 137577 SOS 12030 HAS SOPS 12030 HAS SOUS 11280 HAS SOUPS 11280 WITH SCORE 11292.03
AT ITER 4322 NEW BEST:: SOT 137577 SOS 12024 HAS SOPS 12024 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11291.024
AT ITER 4390 NEW BEST:: SOT 137575 SOS 12022 HAS SOPS 12022 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11287.022
AT ITER 4433 NEW BEST:: SOT 137542 SOS 11960 HAS SOPS 11960 HAS SOUS 11211 HAS SOUPS 11211 WITH SCORE 11222.96
AT ITER 4570 NEW BEST:: SOT 137539 SOS 11951 HAS SOPS 11951 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11216.951
AT ITER 4627 NEW BEST:: SOT 137522 SOS 11942 HAS SOPS 11942 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11216.942
AT ITER 4722 NEW BEST:: SOT 137524 SOS 11933 HAS SOPS 11933 HAS SOUS 11195 HAS SOUPS 11195 WITH SCORE 11206.933
AT ITER 4753 NEW BEST:: SOT 137517 SOS 11919 HAS SOPS 11919 HAS SOUS 11188 HAS SOUPS 11188 WITH SCORE 11199.919
AT ITER 4787 NEW BEST:: SOT 137522 SOS 11920 HAS SOPS 11920 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11195.92
AT ITER 4907 NEW BEST:: SOT 137517 SOS 11900 HAS SOPS 11900 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11183.9
AT ITER 4964 NEW BEST:: SOT 137517 SOS 11887 HAS SOPS 11887 HAS SOUS 11171 HAS SOUPS 11171 WITH SCORE 11182.887
AT ITER 5016 NEW BEST:: SOT 137517 SOS 11886 HAS SOPS 11886 HAS SOUS 11170 HAS SOUPS 11170 WITH SCORE 11181.886
AT ITER 5088 NEW BEST:: SOT 137512 SOS 11853 HAS SOPS 11853 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11148.853
AT ITER 5162 NEW BEST:: SOT 137512 SOS 11852 HAS SOPS 11852 HAS SOUS 11136 HAS SOUPS 11136 WITH SCORE 11147.852
AT ITER 5195 NEW BEST:: SOT 137510 SOS 11850 HAS SOPS 11850 HAS SOUS 11134 HAS SOUPS 11134 WITH SCORE 11145.85
AT ITER 5253 NEW BEST:: SOT 137519 SOS 11865 HAS SOPS 11865 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11140.865
AT ITER 5366 NEW BEST:: SOT 137517 SOS 11865 HAS SOPS 11865 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11131.865
AT ITER 5371 NEW BEST:: SOT 137520 SOS 11857 HAS SOPS 11857 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11123.857
AT ITER 5402 NEW BEST:: SOT 137484 SOS 11814 HAS SOPS 11814 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11065.814
AT ITER 5404 NEW BEST:: SOT 137483 SOS 11812 HAS SOPS 11812 HAS SOUS 11048 HAS SOUPS 11048 WITH SCORE 11059.812
AT ITER 5451 NEW BEST:: SOT 137464 SOS 11803 HAS SOPS 11803 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11050.803
AT ITER 5476 NEW BEST:: SOT 137464 SOS 11799 HAS SOPS 11799 HAS SOUS 11035 HAS SOUPS 11035 WITH SCORE 11046.799
AT ITER 5517 NEW BEST:: SOT 137454 SOS 11791 HAS SOPS 11791 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11024.791
AT ITER 5604 NEW BEST:: SOT 137454 SOS 11765 HAS SOPS 11765 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11011.765
AT ITER 5674 NEW BEST:: SOT 137450 SOS 11744 HAS SOPS 11744 HAS SOUS 10996 HAS SOUPS 10996 WITH SCORE 11007.744
AT ITER 5798 NEW BEST:: SOT 137450 SOS 11742 HAS SOPS 11742 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11005.742
AT ITER 5910 NEW BEST:: SOT 137448 SOS 11777 HAS SOPS 11777 HAS SOUS 10982 HAS SOUPS 10982 WITH SCORE 10993.777
AT ITER 5972 NEW BEST:: SOT 137455 SOS 11775 HAS SOPS 11775 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 10988.775
AT ITER 5979 NEW BEST:: SOT 137455 SOS 11774 HAS SOPS 11774 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10987.774
AT ITER 6158 NEW BEST:: SOT 137468 SOS 11770 HAS SOPS 11770 HAS SOUS 10972 HAS SOUPS 10972 WITH SCORE 10983.77
AT ITER 6194 NEW BEST:: SOT 137465 SOS 11761 HAS SOPS 11761 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10977.761
AT ITER 6206 NEW BEST:: SOT 137458 SOS 11747 HAS SOPS 11747 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10970.747
AT ITER 6368 NEW BEST:: SOT 137457 SOS 11744 HAS SOPS 11744 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10969.744
AT ITER 6417 NEW BEST:: SOT 137457 SOS 11734 HAS SOPS 11734 HAS SOUS 10948 HAS SOUPS 10948 WITH SCORE 10959.734
AT ITER 6456 NEW BEST:: SOT 137455 SOS 11732 HAS SOPS 11732 HAS SOUS 10945 HAS SOUPS 10945 WITH SCORE 10956.732
AT ITER 6467 NEW BEST:: SOT 137450 SOS 11723 HAS SOPS 11723 HAS SOUS 10936 HAS SOUPS 10936 WITH SCORE 10947.723
AT ITER 6476 NEW BEST:: SOT 137442 SOS 11714 HAS SOPS 11714 HAS SOUS 10927 HAS SOUPS 10927 WITH SCORE 10938.714
AT ITER 6493 NEW BEST:: SOT 137438 SOS 11712 HAS SOPS 11712 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10934.712
AT ITER 6513 NEW BEST:: SOT 137438 SOS 11688 HAS SOPS 11688 HAS SOUS 10911 HAS SOUPS 10911 WITH SCORE 10922.688
AT ITER 6552 NEW BEST:: SOT 137432 SOS 11682 HAS SOPS 11682 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10914.682
AT ITER 6656 NEW BEST:: SOT 137423 SOS 11669 HAS SOPS 11669 HAS SOUS 10890 HAS SOUPS 10890 WITH SCORE 10901.669
AT ITER 6685 NEW BEST:: SOT 137421 SOS 11659 HAS SOPS 11659 HAS SOUS 10882 HAS SOUPS 10882 WITH SCORE 10893.659
AT ITER 6812 NEW BEST:: SOT 137424 SOS 11658 HAS SOPS 11658 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10886.658
AT ITER 6847 NEW BEST:: SOT 137444 SOS 11654 HAS SOPS 11654 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10881.654
AT ITER 6872 NEW BEST:: SOT 137444 SOS 11644 HAS SOPS 11644 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10881.644
AT ITER 6874 NEW BEST:: SOT 137432 SOS 11637 HAS SOPS 11637 HAS SOUS 10863 HAS SOUPS 10863 WITH SCORE 10874.637
AT ITER 6894 NEW BEST:: SOT 137438 SOS 11620 HAS SOPS 11620 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10871.62
AT ITER 6963 NEW BEST:: SOT 137433 SOS 11616 HAS SOPS 11616 HAS SOUS 10859 HAS SOUPS 10859 WITH SCORE 10870.616
AT ITER 7187 NEW BEST:: SOT 137429 SOS 11605 HAS SOPS 11605 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10855.605
AT ITER 7427 NEW BEST:: SOT 137421 SOS 11599 HAS SOPS 11599 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10849.599
AT ITER 7431 NEW BEST:: SOT 137421 SOS 11585 HAS SOPS 11585 HAS SOUS 10831 HAS SOUPS 10831 WITH SCORE 10842.585
AT ITER 7506 NEW BEST:: SOT 137414 SOS 11587 HAS SOPS 11587 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10834.587
AT ITER 7522 NEW BEST:: SOT 137406 SOS 11563 HAS SOPS 11563 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10810.563
AT ITER 7590 NEW BEST:: SOT 137406 SOS 11562 HAS SOPS 11562 HAS SOUS 10798 HAS SOUPS 10798 WITH SCORE 10809.562
AT ITER 7757 NEW BEST:: SOT 137404 SOS 11556 HAS SOPS 11556 HAS SOUS 10794 HAS SOUPS 10794 WITH SCORE 10805.556
AT ITER 7759 NEW BEST:: SOT 137404 SOS 11526 HAS SOPS 11526 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10775.526
AT ITER 7866 NEW BEST:: SOT 137385 SOS 11508 HAS SOPS 11508 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10756.508
AT ITER 7877 NEW BEST:: SOT 137383 SOS 11506 HAS SOPS 11506 HAS SOUS 10743 HAS SOUPS 10743 WITH SCORE 10754.506
AT ITER 7909 NEW BEST:: SOT 137367 SOS 11499 HAS SOPS 11499 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10752.499
AT ITER 7985 NEW BEST:: SOT 137367 SOS 11493 HAS SOPS 11493 HAS SOUS 10735 HAS SOUPS 10735 WITH SCORE 10746.493
AT ITER 8001 NEW BEST:: SOT 137375 SOS 11490 HAS SOPS 11490 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10743.49
AT ITER 8035 NEW BEST:: SOT 137375 SOS 11469 HAS SOPS 11469 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10735.469
AT ITER 8069 NEW BEST:: SOT 137375 SOS 11468 HAS SOPS 11468 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10734.468
AT ITER 8118 NEW BEST:: SOT 137367 SOS 11449 HAS SOPS 11449 HAS SOUS 10709 HAS SOUPS 10709 WITH SCORE 10720.449
AT ITER 8129 NEW BEST:: SOT 137366 SOS 11459 HAS SOPS 11459 HAS SOUS 10699 HAS SOUPS 10699 WITH SCORE 10710.459
AT ITER 8132 NEW BEST:: SOT 137355 SOS 11436 HAS SOPS 11436 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10707.436
AT ITER 8247 NEW BEST:: SOT 137357 SOS 11433 HAS SOPS 11433 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10707.433
AT ITER 8265 NEW BEST:: SOT 137350 SOS 11434 HAS SOPS 11434 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10702.434
AT ITER 8330 NEW BEST:: SOT 137339 SOS 11419 HAS SOPS 11419 HAS SOUS 10676 HAS SOUPS 10676 WITH SCORE 10687.419
AT ITER 8408 NEW BEST:: SOT 137333 SOS 11409 HAS SOPS 11409 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.409
AT ITER 8431 NEW BEST:: SOT 137320 SOS 11383 HAS SOPS 11383 HAS SOUS 10658 HAS SOUPS 10658 WITH SCORE 10669.383
AT ITER 8487 NEW BEST:: SOT 137307 SOS 11368 HAS SOPS 11368 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10654.368
AT ITER 8501 NEW BEST:: SOT 137318 SOS 11349 HAS SOPS 11349 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10645.349
AT ITER 8544 NEW BEST:: SOT 137328 SOS 11336 HAS SOPS 11336 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10632.336
AT ITER 8713 NEW BEST:: SOT 137325 SOS 11330 HAS SOPS 11330 HAS SOUS 10615 HAS SOUPS 10615 WITH SCORE 10626.33
AT ITER 8726 NEW BEST:: SOT 137327 SOS 11365 HAS SOPS 11365 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.365
AT ITER 8827 NEW BEST:: SOT 137333 SOS 11351 HAS SOPS 11351 HAS SOUS 10610 HAS SOUPS 10610 WITH SCORE 10621.351
AT ITER 8835 NEW BEST:: SOT 137332 SOS 11348 HAS SOPS 11348 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.348
AT ITER 8847 NEW BEST:: SOT 137334 SOS 11343 HAS SOPS 11343 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10617.343
AT ITER 8889 NEW BEST:: SOT 137336 SOS 11330 HAS SOPS 11330 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10604.33
AT ITER 8971 NEW BEST:: SOT 137327 SOS 11333 HAS SOPS 11333 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10596.333
AT ITER 9082 NEW BEST:: SOT 137308 SOS 11322 HAS SOPS 11322 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10583.322
AT ITER 9222 NEW BEST:: SOT 137315 SOS 11320 HAS SOPS 11320 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10574.32
AT ITER 9293 NEW BEST:: SOT 137315 SOS 11315 HAS SOPS 11315 HAS SOUS 10563 HAS SOUPS 10563 WITH SCORE 10574.315
AT ITER 9356 NEW BEST:: SOT 137315 SOS 11314 HAS SOPS 11314 HAS SOUS 10562 HAS SOUPS 10562 WITH SCORE 10573.314
AT ITER 9381 NEW BEST:: SOT 137315 SOS 11302 HAS SOPS 11302 HAS SOUS 10561 HAS SOUPS 10561 WITH SCORE 10572.302
AT ITER 9393 NEW BEST:: SOT 137307 SOS 11302 HAS SOPS 11302 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.302
AT ITER 9427 NEW BEST:: SOT 137304 SOS 11297 HAS SOPS 11297 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10561.297
AT ITER 9428 NEW BEST:: SOT 137303 SOS 11297 HAS SOPS 11297 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10560.297
AT ITER 9531 NEW BEST:: SOT 137299 SOS 11291 HAS SOPS 11291 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10548.291
AT ITER 9634 NEW BEST:: SOT 137286 SOS 11277 HAS SOPS 11277 HAS SOUS 10523 HAS SOUPS 10523 WITH SCORE 10534.277
AT ITER 9673 NEW BEST:: SOT 137286 SOS 11278 HAS SOPS 11278 HAS SOUS 10521 HAS SOUPS 10521 WITH SCORE 10532.278
AT ITER 9743 NEW BEST:: SOT 137272 SOS 11221 HAS SOPS 11221 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10495.221
AT ITER 9767 NEW BEST:: SOT 137270 SOS 11217 HAS SOPS 11217 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10491.217
AT ITER 9852 NEW BEST:: SOT 137266 SOS 11197 HAS SOPS 11197 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10483.197
AT ITER 9906 NEW BEST:: SOT 137258 SOS 11189 HAS SOPS 11189 HAS SOUS 10464 HAS SOUPS 10464 WITH SCORE 10475.189
AT ITER 9942 NEW BEST:: SOT 137254 SOS 11185 HAS SOPS 11185 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10471.185
AT ITER 9987 NEW BEST:: SOT 137253 SOS 11160 HAS SOPS 11160 HAS SOUS 10458 HAS SOUPS 10458 WITH SCORE 10469.16
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5059068 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16122668 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="DoubleExponent-PT-010"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is DoubleExponent-PT-010, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r139-smll-167819423200480"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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