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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 712K
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:37 CTLCardinality.txt
-rw-r--r-- 1 mcc users 75K Feb 25 16:37 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 16:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:55 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:55 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 16:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 25 16:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 16:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 332K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679556084722

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=ShieldIIPs-PT-020B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 07:21:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 07:21:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 07:21:27] [INFO ] Load time of PNML (sax parser for PT used): 106 ms
[2023-03-23 07:21:27] [INFO ] Transformed 1203 places.
[2023-03-23 07:21:27] [INFO ] Transformed 1183 transitions.
[2023-03-23 07:21:27] [INFO ] Found NUPN structural information;
[2023-03-23 07:21:27] [INFO ] Parsed PT model containing 1203 places and 1183 transitions and 3566 arcs in 205 ms.
[2023-03-23 07:21:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1203 places, 1183 transitions and 3566 arcs took 10 ms.
Total runtime 249 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 020B
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: 1203 places, 1183 transitions, 3566 arcs.
AT ITER 0 NEW BEST:: SOT 735599 SOS 67021 HAS SOPS 67021 HAS SOUS 55978 HAS SOUPS 55978 WITH SCORE 56045.021
AT ITER 18 NEW BEST:: SOT 735596 SOS 67018 HAS SOPS 67018 HAS SOUS 55975 HAS SOUPS 55975 WITH SCORE 56042.018
AT ITER 24 NEW BEST:: SOT 735608 SOS 67011 HAS SOPS 67011 HAS SOUS 55968 HAS SOUPS 55968 WITH SCORE 56035.011
AT ITER 42 NEW BEST:: SOT 735592 SOS 67000 HAS SOPS 67000 HAS SOUS 55957 HAS SOUPS 55957 WITH SCORE 56024.0
AT ITER 80 NEW BEST:: SOT 735547 SOS 66955 HAS SOPS 66955 HAS SOUS 55912 HAS SOUPS 55912 WITH SCORE 55978.955
AT ITER 83 NEW BEST:: SOT 735546 SOS 66946 HAS SOPS 66946 HAS SOUS 55903 HAS SOUPS 55903 WITH SCORE 55969.946
AT ITER 99 NEW BEST:: SOT 735546 SOS 66946 HAS SOPS 66946 HAS SOUS 55902 HAS SOUPS 55902 WITH SCORE 55968.946
AT ITER 135 NEW BEST:: SOT 735560 SOS 66933 HAS SOPS 66933 HAS SOUS 55889 HAS SOUPS 55889 WITH SCORE 55955.933
AT ITER 168 NEW BEST:: SOT 735528 SOS 66901 HAS SOPS 66901 HAS SOUS 55857 HAS SOUPS 55857 WITH SCORE 55923.901
AT ITER 191 NEW BEST:: SOT 735504 SOS 66826 HAS SOPS 66826 HAS SOUS 55853 HAS SOUPS 55853 WITH SCORE 55919.826
AT ITER 283 NEW BEST:: SOT 735501 SOS 66815 HAS SOPS 66815 HAS SOUS 55840 HAS SOUPS 55840 WITH SCORE 55906.815
AT ITER 292 NEW BEST:: SOT 735501 SOS 66791 HAS SOPS 66791 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55882.791
AT ITER 334 NEW BEST:: SOT 735501 SOS 66772 HAS SOPS 66772 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55863.772
AT ITER 342 NEW BEST:: SOT 735488 SOS 66697 HAS SOPS 66697 HAS SOUS 55784 HAS SOUPS 55784 WITH SCORE 55850.697
AT ITER 379 NEW BEST:: SOT 735472 SOS 66685 HAS SOPS 66685 HAS SOUS 55772 HAS SOUPS 55772 WITH SCORE 55838.685
AT ITER 392 NEW BEST:: SOT 735457 SOS 66643 HAS SOPS 66643 HAS SOUS 55771 HAS SOUPS 55771 WITH SCORE 55837.643
AT ITER 424 NEW BEST:: SOT 735387 SOS 66573 HAS SOPS 66573 HAS SOUS 55701 HAS SOUPS 55701 WITH SCORE 55767.573
AT ITER 481 NEW BEST:: SOT 735390 SOS 66675 HAS SOPS 66675 HAS SOUS 55683 HAS SOUPS 55683 WITH SCORE 55749.675
AT ITER 603 NEW BEST:: SOT 735390 SOS 66652 HAS SOPS 66652 HAS SOUS 55660 HAS SOUPS 55660 WITH SCORE 55726.652
AT ITER 635 NEW BEST:: SOT 735384 SOS 66648 HAS SOPS 66648 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 55722.648
AT ITER 689 NEW BEST:: SOT 735376 SOS 66638 HAS SOPS 66638 HAS SOUS 55646 HAS SOUPS 55646 WITH SCORE 55712.638
AT ITER 717 NEW BEST:: SOT 735268 SOS 66506 HAS SOPS 66506 HAS SOUS 55514 HAS SOUPS 55514 WITH SCORE 55580.506
AT ITER 882 NEW BEST:: SOT 735229 SOS 66467 HAS SOPS 66467 HAS SOUS 55475 HAS SOUPS 55475 WITH SCORE 55541.467
AT ITER 936 NEW BEST:: SOT 735229 SOS 66449 HAS SOPS 66449 HAS SOUS 55457 HAS SOUPS 55457 WITH SCORE 55523.449
AT ITER 1016 NEW BEST:: SOT 735189 SOS 66295 HAS SOPS 66295 HAS SOUS 55377 HAS SOUPS 55377 WITH SCORE 55443.295
AT ITER 1151 NEW BEST:: SOT 735199 SOS 66256 HAS SOPS 66256 HAS SOUS 55367 HAS SOUPS 55367 WITH SCORE 55433.256
AT ITER 1158 NEW BEST:: SOT 735181 SOS 66238 HAS SOPS 66238 HAS SOUS 55331 HAS SOUPS 55331 WITH SCORE 55397.238
AT ITER 1161 NEW BEST:: SOT 735184 SOS 66241 HAS SOPS 66241 HAS SOUS 55329 HAS SOUPS 55329 WITH SCORE 55395.241
AT ITER 1348 NEW BEST:: SOT 735180 SOS 66233 HAS SOPS 66233 HAS SOUS 55325 HAS SOUPS 55325 WITH SCORE 55391.233
AT ITER 1356 NEW BEST:: SOT 735180 SOS 66207 HAS SOPS 66207 HAS SOUS 55299 HAS SOUPS 55299 WITH SCORE 55365.207
AT ITER 1456 NEW BEST:: SOT 735141 SOS 66156 HAS SOPS 66156 HAS SOUS 55262 HAS SOUPS 55262 WITH SCORE 55328.156
AT ITER 1529 NEW BEST:: SOT 735141 SOS 66141 HAS SOPS 66141 HAS SOUS 55247 HAS SOUPS 55247 WITH SCORE 55313.141
AT ITER 1618 NEW BEST:: SOT 735104 SOS 66005 HAS SOPS 66005 HAS SOUS 55211 HAS SOUPS 55211 WITH SCORE 55277.005
AT ITER 1635 NEW BEST:: SOT 735074 SOS 65985 HAS SOPS 65985 HAS SOUS 55191 HAS SOUPS 55191 WITH SCORE 55256.985
AT ITER 1663 NEW BEST:: SOT 735041 SOS 65935 HAS SOPS 65935 HAS SOUS 55158 HAS SOUPS 55158 WITH SCORE 55223.935
AT ITER 1883 NEW BEST:: SOT 735025 SOS 65895 HAS SOPS 65895 HAS SOUS 55126 HAS SOUPS 55126 WITH SCORE 55191.895
AT ITER 1906 NEW BEST:: SOT 734965 SOS 65854 HAS SOPS 65854 HAS SOUS 55085 HAS SOUPS 55085 WITH SCORE 55150.854
AT ITER 1914 NEW BEST:: SOT 734958 SOS 65847 HAS SOPS 65847 HAS SOUS 55085 HAS SOUPS 55085 WITH SCORE 55150.847
AT ITER 1979 NEW BEST:: SOT 734956 SOS 65839 HAS SOPS 65839 HAS SOUS 55083 HAS SOUPS 55083 WITH SCORE 55148.839
AT ITER 1996 NEW BEST:: SOT 734956 SOS 65832 HAS SOPS 65832 HAS SOUS 55076 HAS SOUPS 55076 WITH SCORE 55141.832
AT ITER 2097 NEW BEST:: SOT 734868 SOS 65805 HAS SOPS 65805 HAS SOUS 55019 HAS SOUPS 55019 WITH SCORE 55084.805
AT ITER 2157 NEW BEST:: SOT 734856 SOS 65779 HAS SOPS 65779 HAS SOUS 55009 HAS SOUPS 55009 WITH SCORE 55074.779
AT ITER 2209 NEW BEST:: SOT 734855 SOS 65778 HAS SOPS 65778 HAS SOUS 55007 HAS SOUPS 55007 WITH SCORE 55072.778
AT ITER 2227 NEW BEST:: SOT 734832 SOS 65747 HAS SOPS 65747 HAS SOUS 54947 HAS SOUPS 54947 WITH SCORE 55012.747
AT ITER 2312 NEW BEST:: SOT 734800 SOS 65565 HAS SOPS 65565 HAS SOUS 54911 HAS SOUPS 54911 WITH SCORE 54976.565
AT ITER 2327 NEW BEST:: SOT 734760 SOS 65361 HAS SOPS 65361 HAS SOUS 54863 HAS SOUPS 54863 WITH SCORE 54928.361
AT ITER 2450 NEW BEST:: SOT 734760 SOS 65335 HAS SOPS 65335 HAS SOUS 54837 HAS SOUPS 54837 WITH SCORE 54902.335
AT ITER 2608 NEW BEST:: SOT 734738 SOS 65269 HAS SOPS 65269 HAS SOUS 54793 HAS SOUPS 54793 WITH SCORE 54858.269
AT ITER 2811 NEW BEST:: SOT 734727 SOS 65263 HAS SOPS 65263 HAS SOUS 54787 HAS SOUPS 54787 WITH SCORE 54852.263
AT ITER 2851 NEW BEST:: SOT 734712 SOS 65233 HAS SOPS 65233 HAS SOUS 54772 HAS SOUPS 54772 WITH SCORE 54837.233
AT ITER 2906 NEW BEST:: SOT 734712 SOS 65232 HAS SOPS 65232 HAS SOUS 54771 HAS SOUPS 54771 WITH SCORE 54836.232
AT ITER 2963 NEW BEST:: SOT 734695 SOS 65130 HAS SOPS 65130 HAS SOUS 54769 HAS SOUPS 54769 WITH SCORE 54834.13
AT ITER 2983 NEW BEST:: SOT 734668 SOS 64984 HAS SOPS 64984 HAS SOUS 54726 HAS SOUPS 54726 WITH SCORE 54790.984
AT ITER 3006 NEW BEST:: SOT 734655 SOS 64983 HAS SOPS 64983 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54789.983
AT ITER 3013 NEW BEST:: SOT 734629 SOS 64891 HAS SOPS 64891 HAS SOUS 54712 HAS SOUPS 54712 WITH SCORE 54776.891
AT ITER 3106 NEW BEST:: SOT 734629 SOS 64855 HAS SOPS 64855 HAS SOUS 54712 HAS SOUPS 54712 WITH SCORE 54776.855
AT ITER 3245 NEW BEST:: SOT 734575 SOS 64819 HAS SOPS 64819 HAS SOUS 54676 HAS SOUPS 54676 WITH SCORE 54740.819
AT ITER 3263 NEW BEST:: SOT 734565 SOS 64807 HAS SOPS 64807 HAS SOUS 54664 HAS SOUPS 54664 WITH SCORE 54728.807
AT ITER 3268 NEW BEST:: SOT 734555 SOS 64612 HAS SOPS 64612 HAS SOUS 54581 HAS SOUPS 54581 WITH SCORE 54645.612
AT ITER 3327 NEW BEST:: SOT 734537 SOS 64576 HAS SOPS 64576 HAS SOUS 54545 HAS SOUPS 54545 WITH SCORE 54609.576
AT ITER 3394 NEW BEST:: SOT 734534 SOS 64570 HAS SOPS 64570 HAS SOUS 54539 HAS SOUPS 54539 WITH SCORE 54603.57
AT ITER 3725 NEW BEST:: SOT 734487 SOS 64412 HAS SOPS 64412 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54509.412
AT ITER 3760 NEW BEST:: SOT 734487 SOS 64407 HAS SOPS 64407 HAS SOUS 54440 HAS SOUPS 54440 WITH SCORE 54504.407
AT ITER 3788 NEW BEST:: SOT 734502 SOS 64465 HAS SOPS 64465 HAS SOUS 54437 HAS SOUPS 54437 WITH SCORE 54501.465
AT ITER 3795 NEW BEST:: SOT 734484 SOS 64453 HAS SOPS 64453 HAS SOUS 54425 HAS SOUPS 54425 WITH SCORE 54489.453
AT ITER 3843 NEW BEST:: SOT 734445 SOS 64279 HAS SOPS 64279 HAS SOUS 54334 HAS SOUPS 54334 WITH SCORE 54398.279
AT ITER 3845 NEW BEST:: SOT 734440 SOS 64255 HAS SOPS 64255 HAS SOUS 54324 HAS SOUPS 54324 WITH SCORE 54388.255
AT ITER 3883 NEW BEST:: SOT 734433 SOS 64205 HAS SOPS 64205 HAS SOUS 54299 HAS SOUPS 54299 WITH SCORE 54363.205
AT ITER 3924 NEW BEST:: SOT 734433 SOS 64189 HAS SOPS 64189 HAS SOUS 54296 HAS SOUPS 54296 WITH SCORE 54360.189
AT ITER 3988 NEW BEST:: SOT 734419 SOS 64173 HAS SOPS 64173 HAS SOUS 54280 HAS SOUPS 54280 WITH SCORE 54344.173
AT ITER 4004 NEW BEST:: SOT 734400 SOS 64116 HAS SOPS 64116 HAS SOUS 54242 HAS SOUPS 54242 WITH SCORE 54306.116
AT ITER 4083 NEW BEST:: SOT 734358 SOS 64114 HAS SOPS 64114 HAS SOUS 54216 HAS SOUPS 54216 WITH SCORE 54280.114
AT ITER 4116 NEW BEST:: SOT 734351 SOS 64079 HAS SOPS 64079 HAS SOUS 54200 HAS SOUPS 54200 WITH SCORE 54264.079
AT ITER 4183 NEW BEST:: SOT 734364 SOS 64009 HAS SOPS 64009 HAS SOUS 54195 HAS SOUPS 54195 WITH SCORE 54259.009
AT ITER 4272 NEW BEST:: SOT 734355 SOS 63943 HAS SOPS 63943 HAS SOUS 54186 HAS SOUPS 54186 WITH SCORE 54249.943
AT ITER 4385 NEW BEST:: SOT 734352 SOS 63935 HAS SOPS 63935 HAS SOUS 54178 HAS SOUPS 54178 WITH SCORE 54241.935
AT ITER 4391 NEW BEST:: SOT 734343 SOS 63929 HAS SOPS 63929 HAS SOUS 54172 HAS SOUPS 54172 WITH SCORE 54235.929
AT ITER 4538 NEW BEST:: SOT 734343 SOS 63898 HAS SOPS 63898 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54204.898
AT ITER 4711 NEW BEST:: SOT 734343 SOS 63878 HAS SOPS 63878 HAS SOUS 54121 HAS SOUPS 54121 WITH SCORE 54184.878
AT ITER 4798 NEW BEST:: SOT 734306 SOS 63877 HAS SOPS 63877 HAS SOUS 54120 HAS SOUPS 54120 WITH SCORE 54183.877
AT ITER 4813 NEW BEST:: SOT 734306 SOS 63876 HAS SOPS 63876 HAS SOUS 54119 HAS SOUPS 54119 WITH SCORE 54182.876
AT ITER 4867 NEW BEST:: SOT 734290 SOS 63866 HAS SOPS 63866 HAS SOUS 54109 HAS SOUPS 54109 WITH SCORE 54172.866
AT ITER 4873 NEW BEST:: SOT 734279 SOS 63864 HAS SOPS 63864 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54170.864
AT ITER 4954 NEW BEST:: SOT 734277 SOS 63854 HAS SOPS 63854 HAS SOUS 54104 HAS SOUPS 54104 WITH SCORE 54167.854
AT ITER 4987 NEW BEST:: SOT 734236 SOS 63734 HAS SOPS 63734 HAS SOUS 54051 HAS SOUPS 54051 WITH SCORE 54114.734
AT ITER 5028 NEW BEST:: SOT 734239 SOS 63736 HAS SOPS 63736 HAS SOUS 54034 HAS SOUPS 54034 WITH SCORE 54097.736
AT ITER 5119 NEW BEST:: SOT 734239 SOS 63717 HAS SOPS 63717 HAS SOUS 54015 HAS SOUPS 54015 WITH SCORE 54078.717
AT ITER 5125 NEW BEST:: SOT 734171 SOS 63776 HAS SOPS 63776 HAS SOUS 53970 HAS SOUPS 53970 WITH SCORE 54033.776
AT ITER 5259 NEW BEST:: SOT 734111 SOS 63782 HAS SOPS 63782 HAS SOUS 53963 HAS SOUPS 53963 WITH SCORE 54026.782
AT ITER 5266 NEW BEST:: SOT 734075 SOS 63736 HAS SOPS 63736 HAS SOUS 53890 HAS SOUPS 53890 WITH SCORE 53953.736
AT ITER 5275 NEW BEST:: SOT 734064 SOS 63713 HAS SOPS 63713 HAS SOUS 53878 HAS SOUPS 53878 WITH SCORE 53941.713
AT ITER 5482 NEW BEST:: SOT 734062 SOS 63709 HAS SOPS 63709 HAS SOUS 53874 HAS SOUPS 53874 WITH SCORE 53937.709
AT ITER 5675 NEW BEST:: SOT 733972 SOS 63618 HAS SOPS 63618 HAS SOUS 53739 HAS SOUPS 53739 WITH SCORE 53802.618
AT ITER 5709 NEW BEST:: SOT 733972 SOS 63618 HAS SOPS 63618 HAS SOUS 53735 HAS SOUPS 53735 WITH SCORE 53798.618
AT ITER 5716 NEW BEST:: SOT 733945 SOS 63591 HAS SOPS 63591 HAS SOUS 53706 HAS SOUPS 53706 WITH SCORE 53769.591
AT ITER 5795 NEW BEST:: SOT 733945 SOS 63591 HAS SOPS 63591 HAS SOUS 53705 HAS SOUPS 53705 WITH SCORE 53768.591
AT ITER 5937 NEW BEST:: SOT 733945 SOS 63590 HAS SOPS 63590 HAS SOUS 53704 HAS SOUPS 53704 WITH SCORE 53767.59
AT ITER 6060 NEW BEST:: SOT 733945 SOS 63588 HAS SOPS 63588 HAS SOUS 53702 HAS SOUPS 53702 WITH SCORE 53765.588
AT ITER 6109 NEW BEST:: SOT 733849 SOS 63524 HAS SOPS 63524 HAS SOUS 53638 HAS SOUPS 53638 WITH SCORE 53701.524
AT ITER 6144 NEW BEST:: SOT 733849 SOS 63518 HAS SOPS 63518 HAS SOUS 53632 HAS SOUPS 53632 WITH SCORE 53695.518
AT ITER 6175 NEW BEST:: SOT 733822 SOS 63474 HAS SOPS 63474 HAS SOUS 53605 HAS SOUPS 53605 WITH SCORE 53668.474
AT ITER 6179 NEW BEST:: SOT 733822 SOS 63465 HAS SOPS 63465 HAS SOUS 53595 HAS SOUPS 53595 WITH SCORE 53658.465
AT ITER 6206 NEW BEST:: SOT 733822 SOS 63459 HAS SOPS 63459 HAS SOUS 53591 HAS SOUPS 53591 WITH SCORE 53654.459
AT ITER 6290 NEW BEST:: SOT 733822 SOS 63428 HAS SOPS 63428 HAS SOUS 53560 HAS SOUPS 53560 WITH SCORE 53623.428
AT ITER 6361 NEW BEST:: SOT 733806 SOS 63325 HAS SOPS 63325 HAS SOUS 53544 HAS SOUPS 53544 WITH SCORE 53607.325
AT ITER 6595 NEW BEST:: SOT 733806 SOS 63300 HAS SOPS 63300 HAS SOUS 53540 HAS SOUPS 53540 WITH SCORE 53603.3
AT ITER 6599 NEW BEST:: SOT 733791 SOS 63112 HAS SOPS 63112 HAS SOUS 53468 HAS SOUPS 53468 WITH SCORE 53531.112
AT ITER 6866 NEW BEST:: SOT 733791 SOS 63111 HAS SOPS 63111 HAS SOUS 53467 HAS SOUPS 53467 WITH SCORE 53530.111
AT ITER 6899 NEW BEST:: SOT 733783 SOS 63107 HAS SOPS 63107 HAS SOUS 53459 HAS SOUPS 53459 WITH SCORE 53522.107
AT ITER 6957 NEW BEST:: SOT 733773 SOS 63087 HAS SOPS 63087 HAS SOUS 53449 HAS SOUPS 53449 WITH SCORE 53512.087
AT ITER 7044 NEW BEST:: SOT 733773 SOS 63051 HAS SOPS 63051 HAS SOUS 53413 HAS SOUPS 53413 WITH SCORE 53476.051
AT ITER 7280 NEW BEST:: SOT 733774 SOS 63048 HAS SOPS 63048 HAS SOUS 53412 HAS SOUPS 53412 WITH SCORE 53475.048
AT ITER 7317 NEW BEST:: SOT 733670 SOS 63014 HAS SOPS 63014 HAS SOUS 53338 HAS SOUPS 53338 WITH SCORE 53401.014
AT ITER 7332 NEW BEST:: SOT 733660 SOS 62994 HAS SOPS 62994 HAS SOUS 53327 HAS SOUPS 53327 WITH SCORE 53389.994
AT ITER 7333 NEW BEST:: SOT 733668 SOS 62979 HAS SOPS 62979 HAS SOUS 53312 HAS SOUPS 53312 WITH SCORE 53374.979
AT ITER 7409 NEW BEST:: SOT 733668 SOS 62957 HAS SOPS 62957 HAS SOUS 53290 HAS SOUPS 53290 WITH SCORE 53352.957
AT ITER 7447 NEW BEST:: SOT 733598 SOS 62917 HAS SOPS 62917 HAS SOUS 53248 HAS SOUPS 53248 WITH SCORE 53310.917
AT ITER 7469 NEW BEST:: SOT 733598 SOS 62907 HAS SOPS 62907 HAS SOUS 53248 HAS SOUPS 53248 WITH SCORE 53310.907
AT ITER 7582 NEW BEST:: SOT 733592 SOS 62900 HAS SOPS 62900 HAS SOUS 53246 HAS SOUPS 53246 WITH SCORE 53308.9
AT ITER 7653 NEW BEST:: SOT 733631 SOS 62820 HAS SOPS 62820 HAS SOUS 53215 HAS SOUPS 53215 WITH SCORE 53277.82
AT ITER 7655 NEW BEST:: SOT 733622 SOS 62818 HAS SOPS 62818 HAS SOUS 53214 HAS SOUPS 53214 WITH SCORE 53276.818
AT ITER 7692 NEW BEST:: SOT 733494 SOS 62765 HAS SOPS 62765 HAS SOUS 53158 HAS SOUPS 53158 WITH SCORE 53220.765
AT ITER 7730 NEW BEST:: SOT 733479 SOS 62737 HAS SOPS 62737 HAS SOUS 53138 HAS SOUPS 53138 WITH SCORE 53200.737
AT ITER 7743 NEW BEST:: SOT 733432 SOS 62721 HAS SOPS 62721 HAS SOUS 53063 HAS SOUPS 53063 WITH SCORE 53125.721
AT ITER 7832 NEW BEST:: SOT 733421 SOS 62688 HAS SOPS 62688 HAS SOUS 53040 HAS SOUPS 53040 WITH SCORE 53102.688
AT ITER 7834 NEW BEST:: SOT 733412 SOS 62679 HAS SOPS 62679 HAS SOUS 53030 HAS SOUPS 53030 WITH SCORE 53092.679
AT ITER 7981 NEW BEST:: SOT 733412 SOS 62678 HAS SOPS 62678 HAS SOUS 53029 HAS SOUPS 53029 WITH SCORE 53091.678
AT ITER 7992 NEW BEST:: SOT 733411 SOS 62677 HAS SOPS 62677 HAS SOUS 53029 HAS SOUPS 53029 WITH SCORE 53091.677
AT ITER 8097 NEW BEST:: SOT 733405 SOS 62665 HAS SOPS 62665 HAS SOUS 53023 HAS SOUPS 53023 WITH SCORE 53085.665
AT ITER 8108 NEW BEST:: SOT 733393 SOS 62643 HAS SOPS 62643 HAS SOUS 53006 HAS SOUPS 53006 WITH SCORE 53068.643
AT ITER 8178 NEW BEST:: SOT 733360 SOS 62593 HAS SOPS 62593 HAS SOUS 52973 HAS SOUPS 52973 WITH SCORE 53035.593
AT ITER 8188 NEW BEST:: SOT 733360 SOS 62553 HAS SOPS 62553 HAS SOUS 52933 HAS SOUPS 52933 WITH SCORE 52995.553
AT ITER 8189 NEW BEST:: SOT 733359 SOS 62552 HAS SOPS 62552 HAS SOUS 52932 HAS SOUPS 52932 WITH SCORE 52994.552
AT ITER 8337 NEW BEST:: SOT 733355 SOS 62545 HAS SOPS 62545 HAS SOUS 52923 HAS SOUPS 52923 WITH SCORE 52985.545
AT ITER 8340 NEW BEST:: SOT 733285 SOS 62529 HAS SOPS 62529 HAS SOUS 52867 HAS SOUPS 52867 WITH SCORE 52929.529
AT ITER 8426 NEW BEST:: SOT 733277 SOS 62510 HAS SOPS 62510 HAS SOUS 52848 HAS SOUPS 52848 WITH SCORE 52910.51
AT ITER 8474 NEW BEST:: SOT 733275 SOS 62510 HAS SOPS 62510 HAS SOUS 52847 HAS SOUPS 52847 WITH SCORE 52909.51
AT ITER 8476 NEW BEST:: SOT 733278 SOS 62500 HAS SOPS 62500 HAS SOUS 52837 HAS SOUPS 52837 WITH SCORE 52899.5
AT ITER 8488 NEW BEST:: SOT 733277 SOS 62351 HAS SOPS 62351 HAS SOUS 52816 HAS SOUPS 52816 WITH SCORE 52878.351
AT ITER 8543 NEW BEST:: SOT 733277 SOS 62350 HAS SOPS 62350 HAS SOUS 52815 HAS SOUPS 52815 WITH SCORE 52877.35
AT ITER 8544 NEW BEST:: SOT 733277 SOS 62348 HAS SOPS 62348 HAS SOUS 52813 HAS SOUPS 52813 WITH SCORE 52875.348
AT ITER 8582 NEW BEST:: SOT 733261 SOS 62316 HAS SOPS 62316 HAS SOUS 52789 HAS SOUPS 52789 WITH SCORE 52851.316
AT ITER 8603 NEW BEST:: SOT 733261 SOS 62308 HAS SOPS 62308 HAS SOUS 52785 HAS SOUPS 52785 WITH SCORE 52847.308
AT ITER 8648 NEW BEST:: SOT 733240 SOS 62269 HAS SOPS 62269 HAS SOUS 52765 HAS SOUPS 52765 WITH SCORE 52827.269
AT ITER 8804 NEW BEST:: SOT 733210 SOS 62149 HAS SOPS 62149 HAS SOUS 52675 HAS SOUPS 52675 WITH SCORE 52737.149
AT ITER 8863 NEW BEST:: SOT 733210 SOS 62132 HAS SOPS 62132 HAS SOUS 52658 HAS SOUPS 52658 WITH SCORE 52720.132
AT ITER 8916 NEW BEST:: SOT 733182 SOS 62104 HAS SOPS 62104 HAS SOUS 52630 HAS SOUPS 52630 WITH SCORE 52692.104
AT ITER 9200 NEW BEST:: SOT 733101 SOS 62056 HAS SOPS 62056 HAS SOUS 52514 HAS SOUPS 52514 WITH SCORE 52576.056
AT ITER 9212 NEW BEST:: SOT 733022 SOS 62023 HAS SOPS 62023 HAS SOUS 52453 HAS SOUPS 52453 WITH SCORE 52515.023
AT ITER 9238 NEW BEST:: SOT 733009 SOS 61997 HAS SOPS 61997 HAS SOUS 52427 HAS SOUPS 52427 WITH SCORE 52488.997
AT ITER 9492 NEW BEST:: SOT 732965 SOS 62021 HAS SOPS 62021 HAS SOUS 52423 HAS SOUPS 52423 WITH SCORE 52485.021
AT ITER 9601 NEW BEST:: SOT 732976 SOS 62003 HAS SOPS 62003 HAS SOUS 52414 HAS SOUPS 52414 WITH SCORE 52476.003
AT ITER 9881 NEW BEST:: SOT 732958 SOS 61990 HAS SOPS 61990 HAS SOUS 52401 HAS SOUPS 52401 WITH SCORE 52462.99
AT ITER 9896 NEW BEST:: SOT 732951 SOS 61973 HAS SOPS 61973 HAS SOUS 52395 HAS SOUPS 52395 WITH SCORE 52456.973
AT ITER 9989 NEW BEST:: SOT 732951 SOS 61944 HAS SOPS 61944 HAS SOUS 52395 HAS SOUPS 52395 WITH SCORE 52456.944
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 6806536 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121472 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="ShieldIIPs-PT-020B"
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 ShieldIIPs-PT-020B, 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 r395-oct2-167903718400112"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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