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-167903719000656.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 ShieldPPPt-PT-030B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903719000656
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 8.5K Feb 25 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 20:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 20:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 20:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 25 20:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 25 20:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 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 569K 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 1679576941343

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=ShieldPPPt-PT-030B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 13:09:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 13:09:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 13:09:04] [INFO ] Load time of PNML (sax parser for PT used): 203 ms
[2023-03-23 13:09:04] [INFO ] Transformed 2343 places.
[2023-03-23 13:09:04] [INFO ] Transformed 2133 transitions.
[2023-03-23 13:09:04] [INFO ] Found NUPN structural information;
[2023-03-23 13:09:04] [INFO ] Parsed PT model containing 2343 places and 2133 transitions and 5346 arcs in 358 ms.
[2023-03-23 13:09:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2343 places, 2133 transitions and 5346 arcs took 23 ms.
Total runtime 413 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 030B
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: 2343 places, 2133 transitions, 5346 arcs.
AT ITER 0 NEW BEST:: SOT 2555619 SOS 161387 HAS SOPS 161387 HAS SOUS 150443 HAS SOUPS 150443 WITH SCORE 150604.387
AT ITER 44 NEW BEST:: SOT 2555619 SOS 161354 HAS SOPS 161354 HAS SOUS 150410 HAS SOUPS 150410 WITH SCORE 150571.354
AT ITER 97 NEW BEST:: SOT 2555594 SOS 161351 HAS SOPS 161351 HAS SOUS 150407 HAS SOUPS 150407 WITH SCORE 150568.351
AT ITER 139 NEW BEST:: SOT 2555541 SOS 161346 HAS SOPS 161346 HAS SOUS 150319 HAS SOUPS 150319 WITH SCORE 150480.346
AT ITER 199 NEW BEST:: SOT 2555569 SOS 161402 HAS SOPS 161402 HAS SOUS 150312 HAS SOUPS 150312 WITH SCORE 150473.402
AT ITER 221 NEW BEST:: SOT 2555520 SOS 161297 HAS SOPS 161297 HAS SOUS 150207 HAS SOUPS 150207 WITH SCORE 150368.297
AT ITER 270 NEW BEST:: SOT 2555459 SOS 161204 HAS SOPS 161204 HAS SOUS 150132 HAS SOUPS 150132 WITH SCORE 150293.204
AT ITER 347 NEW BEST:: SOT 2555441 SOS 161185 HAS SOPS 161185 HAS SOUS 150113 HAS SOUPS 150113 WITH SCORE 150274.185
AT ITER 611 NEW BEST:: SOT 2555441 SOS 161176 HAS SOPS 161176 HAS SOUS 150109 HAS SOUPS 150109 WITH SCORE 150270.176
AT ITER 634 NEW BEST:: SOT 2555391 SOS 161070 HAS SOPS 161070 HAS SOUS 150003 HAS SOUPS 150003 WITH SCORE 150164.07
AT ITER 643 NEW BEST:: SOT 2555266 SOS 160907 HAS SOPS 160907 HAS SOUS 149853 HAS SOUPS 149853 WITH SCORE 150013.907
AT ITER 688 NEW BEST:: SOT 2555240 SOS 160855 HAS SOPS 160855 HAS SOUS 149801 HAS SOUPS 149801 WITH SCORE 149961.855
AT ITER 743 NEW BEST:: SOT 2555212 SOS 160840 HAS SOPS 160840 HAS SOUS 149786 HAS SOUPS 149786 WITH SCORE 149946.84
AT ITER 800 NEW BEST:: SOT 2555212 SOS 160832 HAS SOPS 160832 HAS SOUS 149778 HAS SOUPS 149778 WITH SCORE 149938.832
AT ITER 849 NEW BEST:: SOT 2555187 SOS 160847 HAS SOPS 160847 HAS SOUS 149764 HAS SOUPS 149764 WITH SCORE 149924.847
AT ITER 899 NEW BEST:: SOT 2555186 SOS 160846 HAS SOPS 160846 HAS SOUS 149763 HAS SOUPS 149763 WITH SCORE 149923.846
AT ITER 907 NEW BEST:: SOT 2555162 SOS 160774 HAS SOPS 160774 HAS SOUS 149691 HAS SOUPS 149691 WITH SCORE 149851.774
AT ITER 1089 NEW BEST:: SOT 2555263 SOS 160803 HAS SOPS 160803 HAS SOUS 149632 HAS SOUPS 149632 WITH SCORE 149792.803
AT ITER 1106 NEW BEST:: SOT 2555262 SOS 160776 HAS SOPS 160776 HAS SOUS 149629 HAS SOUPS 149629 WITH SCORE 149789.776
AT ITER 1114 NEW BEST:: SOT 2555261 SOS 160755 HAS SOPS 160755 HAS SOUS 149622 HAS SOUPS 149622 WITH SCORE 149782.755
AT ITER 1203 NEW BEST:: SOT 2555261 SOS 160747 HAS SOPS 160747 HAS SOUS 149572 HAS SOUPS 149572 WITH SCORE 149732.747
AT ITER 1221 NEW BEST:: SOT 2555261 SOS 160747 HAS SOPS 160747 HAS SOUS 149570 HAS SOUPS 149570 WITH SCORE 149730.747
AT ITER 1242 NEW BEST:: SOT 2555246 SOS 160712 HAS SOPS 160712 HAS SOUS 149518 HAS SOUPS 149518 WITH SCORE 149678.712
AT ITER 1256 NEW BEST:: SOT 2555153 SOS 160713 HAS SOPS 160713 HAS SOUS 149486 HAS SOUPS 149486 WITH SCORE 149646.713
AT ITER 1315 NEW BEST:: SOT 2555123 SOS 160632 HAS SOPS 160632 HAS SOUS 149363 HAS SOUPS 149363 WITH SCORE 149523.632
AT ITER 1325 NEW BEST:: SOT 2555084 SOS 160527 HAS SOPS 160527 HAS SOUS 149289 HAS SOUPS 149289 WITH SCORE 149449.527
AT ITER 1366 NEW BEST:: SOT 2555042 SOS 160518 HAS SOPS 160518 HAS SOUS 149280 HAS SOUPS 149280 WITH SCORE 149440.518
AT ITER 1467 NEW BEST:: SOT 2554967 SOS 160597 HAS SOPS 160597 HAS SOUS 149245 HAS SOUPS 149245 WITH SCORE 149405.597
AT ITER 1500 NEW BEST:: SOT 2554967 SOS 160594 HAS SOPS 160594 HAS SOUS 149242 HAS SOUPS 149242 WITH SCORE 149402.594
AT ITER 1605 NEW BEST:: SOT 2554965 SOS 160593 HAS SOPS 160593 HAS SOUS 149240 HAS SOUPS 149240 WITH SCORE 149400.593
AT ITER 1846 NEW BEST:: SOT 2554988 SOS 160577 HAS SOPS 160577 HAS SOUS 149224 HAS SOUPS 149224 WITH SCORE 149384.577
AT ITER 1925 NEW BEST:: SOT 2554964 SOS 160553 HAS SOPS 160553 HAS SOUS 149200 HAS SOUPS 149200 WITH SCORE 149360.553
AT ITER 2024 NEW BEST:: SOT 2554964 SOS 160553 HAS SOPS 160553 HAS SOUS 149176 HAS SOUPS 149176 WITH SCORE 149336.553
AT ITER 2062 NEW BEST:: SOT 2555004 SOS 160552 HAS SOPS 160552 HAS SOUS 149175 HAS SOUPS 149175 WITH SCORE 149335.552
AT ITER 2073 NEW BEST:: SOT 2555013 SOS 160514 HAS SOPS 160514 HAS SOUS 149155 HAS SOUPS 149155 WITH SCORE 149315.514
AT ITER 2101 NEW BEST:: SOT 2554949 SOS 160422 HAS SOPS 160422 HAS SOUS 149095 HAS SOUPS 149095 WITH SCORE 149255.422
AT ITER 2105 NEW BEST:: SOT 2554929 SOS 160422 HAS SOPS 160422 HAS SOUS 149075 HAS SOUPS 149075 WITH SCORE 149235.422
AT ITER 2158 NEW BEST:: SOT 2554929 SOS 160419 HAS SOPS 160419 HAS SOUS 149072 HAS SOUPS 149072 WITH SCORE 149232.419
AT ITER 2195 NEW BEST:: SOT 2554912 SOS 160446 HAS SOPS 160446 HAS SOUS 149044 HAS SOUPS 149044 WITH SCORE 149204.446
AT ITER 2388 NEW BEST:: SOT 2554906 SOS 160434 HAS SOPS 160434 HAS SOUS 149032 HAS SOUPS 149032 WITH SCORE 149192.434
AT ITER 2517 NEW BEST:: SOT 2554861 SOS 160401 HAS SOPS 160401 HAS SOUS 148999 HAS SOUPS 148999 WITH SCORE 149159.401
AT ITER 2590 NEW BEST:: SOT 2554861 SOS 160367 HAS SOPS 160367 HAS SOUS 148965 HAS SOUPS 148965 WITH SCORE 149125.367
AT ITER 2609 NEW BEST:: SOT 2554861 SOS 160366 HAS SOPS 160366 HAS SOUS 148964 HAS SOUPS 148964 WITH SCORE 149124.366
AT ITER 2717 NEW BEST:: SOT 2554762 SOS 160204 HAS SOPS 160204 HAS SOUS 148946 HAS SOUPS 148946 WITH SCORE 149106.204
AT ITER 2728 NEW BEST:: SOT 2554761 SOS 160146 HAS SOPS 160146 HAS SOUS 148916 HAS SOUPS 148916 WITH SCORE 149076.146
AT ITER 2770 NEW BEST:: SOT 2554761 SOS 160140 HAS SOPS 160140 HAS SOUS 148910 HAS SOUPS 148910 WITH SCORE 149070.14
AT ITER 2809 NEW BEST:: SOT 2554753 SOS 160116 HAS SOPS 160116 HAS SOUS 148894 HAS SOUPS 148894 WITH SCORE 149054.116
AT ITER 2852 NEW BEST:: SOT 2554753 SOS 160115 HAS SOPS 160115 HAS SOUS 148893 HAS SOUPS 148893 WITH SCORE 149053.115
AT ITER 2877 NEW BEST:: SOT 2554717 SOS 160181 HAS SOPS 160181 HAS SOUS 148867 HAS SOUPS 148867 WITH SCORE 149027.181
AT ITER 2888 NEW BEST:: SOT 2554717 SOS 160216 HAS SOPS 160216 HAS SOUS 148860 HAS SOUPS 148860 WITH SCORE 149020.216
AT ITER 2892 NEW BEST:: SOT 2554665 SOS 160112 HAS SOPS 160112 HAS SOUS 148756 HAS SOUPS 148756 WITH SCORE 148916.112
AT ITER 2905 NEW BEST:: SOT 2554584 SOS 160106 HAS SOPS 160106 HAS SOUS 148750 HAS SOUPS 148750 WITH SCORE 148910.106
AT ITER 2925 NEW BEST:: SOT 2554543 SOS 160065 HAS SOPS 160065 HAS SOUS 148709 HAS SOUPS 148709 WITH SCORE 148869.065
AT ITER 2935 NEW BEST:: SOT 2554533 SOS 160080 HAS SOPS 160080 HAS SOUS 148691 HAS SOUPS 148691 WITH SCORE 148851.08
AT ITER 2939 NEW BEST:: SOT 2554533 SOS 160053 HAS SOPS 160053 HAS SOUS 148664 HAS SOUPS 148664 WITH SCORE 148824.053
AT ITER 2990 NEW BEST:: SOT 2554533 SOS 160051 HAS SOPS 160051 HAS SOUS 148662 HAS SOUPS 148662 WITH SCORE 148822.051
AT ITER 3028 NEW BEST:: SOT 2554515 SOS 160033 HAS SOPS 160033 HAS SOUS 148644 HAS SOUPS 148644 WITH SCORE 148804.033
AT ITER 3123 NEW BEST:: SOT 2554503 SOS 160032 HAS SOPS 160032 HAS SOUS 148631 HAS SOUPS 148631 WITH SCORE 148791.032
AT ITER 3202 NEW BEST:: SOT 2554503 SOS 160023 HAS SOPS 160023 HAS SOUS 148630 HAS SOUPS 148630 WITH SCORE 148790.023
AT ITER 3225 NEW BEST:: SOT 2554456 SOS 159992 HAS SOPS 159992 HAS SOUS 148608 HAS SOUPS 148608 WITH SCORE 148767.992
AT ITER 3284 NEW BEST:: SOT 2554476 SOS 160020 HAS SOPS 160020 HAS SOUS 148545 HAS SOUPS 148545 WITH SCORE 148705.02
AT ITER 3299 NEW BEST:: SOT 2554434 SOS 159978 HAS SOPS 159978 HAS SOUS 148542 HAS SOUPS 148542 WITH SCORE 148701.978
AT ITER 3385 NEW BEST:: SOT 2554434 SOS 159977 HAS SOPS 159977 HAS SOUS 148541 HAS SOUPS 148541 WITH SCORE 148700.977
AT ITER 3398 NEW BEST:: SOT 2554454 SOS 159975 HAS SOPS 159975 HAS SOUS 148522 HAS SOUPS 148522 WITH SCORE 148681.975
AT ITER 3431 NEW BEST:: SOT 2554347 SOS 159800 HAS SOPS 159800 HAS SOUS 148393 HAS SOUPS 148393 WITH SCORE 148552.8
AT ITER 3486 NEW BEST:: SOT 2554302 SOS 159784 HAS SOPS 159784 HAS SOUS 148372 HAS SOUPS 148372 WITH SCORE 148531.784
AT ITER 3488 NEW BEST:: SOT 2554263 SOS 159742 HAS SOPS 159742 HAS SOUS 148330 HAS SOUPS 148330 WITH SCORE 148489.742
AT ITER 3606 NEW BEST:: SOT 2554220 SOS 159711 HAS SOPS 159711 HAS SOUS 148288 HAS SOUPS 148288 WITH SCORE 148447.711
AT ITER 3680 NEW BEST:: SOT 2554220 SOS 159706 HAS SOPS 159706 HAS SOUS 148283 HAS SOUPS 148283 WITH SCORE 148442.706
AT ITER 4144 NEW BEST:: SOT 2554178 SOS 159622 HAS SOPS 159622 HAS SOUS 148238 HAS SOUPS 148238 WITH SCORE 148397.622
AT ITER 4153 NEW BEST:: SOT 2554177 SOS 159616 HAS SOPS 159616 HAS SOUS 148236 HAS SOUPS 148236 WITH SCORE 148395.616
AT ITER 4157 NEW BEST:: SOT 2554176 SOS 159614 HAS SOPS 159614 HAS SOUS 148235 HAS SOUPS 148235 WITH SCORE 148394.614
AT ITER 4330 NEW BEST:: SOT 2554160 SOS 159605 HAS SOPS 159605 HAS SOUS 148226 HAS SOUPS 148226 WITH SCORE 148385.605
AT ITER 4407 NEW BEST:: SOT 2554142 SOS 159569 HAS SOPS 159569 HAS SOUS 148208 HAS SOUPS 148208 WITH SCORE 148367.569
AT ITER 4425 NEW BEST:: SOT 2554113 SOS 159584 HAS SOPS 159584 HAS SOUS 148198 HAS SOUPS 148198 WITH SCORE 148357.584
AT ITER 4541 NEW BEST:: SOT 2554083 SOS 159554 HAS SOPS 159554 HAS SOUS 148168 HAS SOUPS 148168 WITH SCORE 148327.554
AT ITER 4784 NEW BEST:: SOT 2554065 SOS 159500 HAS SOPS 159500 HAS SOUS 148114 HAS SOUPS 148114 WITH SCORE 148273.5
AT ITER 4978 NEW BEST:: SOT 2554053 SOS 159493 HAS SOPS 159493 HAS SOUS 148107 HAS SOUPS 148107 WITH SCORE 148266.493
AT ITER 5051 NEW BEST:: SOT 2554053 SOS 159489 HAS SOPS 159489 HAS SOUS 148103 HAS SOUPS 148103 WITH SCORE 148262.489
AT ITER 5082 NEW BEST:: SOT 2554078 SOS 159449 HAS SOPS 159449 HAS SOUS 148047 HAS SOUPS 148047 WITH SCORE 148206.449
AT ITER 5173 NEW BEST:: SOT 2554021 SOS 159448 HAS SOPS 159448 HAS SOUS 148046 HAS SOUPS 148046 WITH SCORE 148205.448
AT ITER 5322 NEW BEST:: SOT 2554021 SOS 159443 HAS SOPS 159443 HAS SOUS 148041 HAS SOUPS 148041 WITH SCORE 148200.443
AT ITER 5436 NEW BEST:: SOT 2554035 SOS 159454 HAS SOPS 159454 HAS SOUS 148030 HAS SOUPS 148030 WITH SCORE 148189.454
AT ITER 5493 NEW BEST:: SOT 2553984 SOS 159417 HAS SOPS 159417 HAS SOUS 147993 HAS SOUPS 147993 WITH SCORE 148152.417
AT ITER 5499 NEW BEST:: SOT 2553982 SOS 159361 HAS SOPS 159361 HAS SOUS 147954 HAS SOUPS 147954 WITH SCORE 148113.361
AT ITER 5664 NEW BEST:: SOT 2553997 SOS 159371 HAS SOPS 159371 HAS SOUS 147949 HAS SOUPS 147949 WITH SCORE 148108.371
AT ITER 5710 NEW BEST:: SOT 2554026 SOS 159342 HAS SOPS 159342 HAS SOUS 147949 HAS SOUPS 147949 WITH SCORE 148108.342
AT ITER 5849 NEW BEST:: SOT 2554000 SOS 159283 HAS SOPS 159283 HAS SOUS 147926 HAS SOUPS 147926 WITH SCORE 148085.283
AT ITER 5914 NEW BEST:: SOT 2553999 SOS 159282 HAS SOPS 159282 HAS SOUS 147925 HAS SOUPS 147925 WITH SCORE 148084.282
AT ITER 5965 NEW BEST:: SOT 2553982 SOS 159248 HAS SOPS 159248 HAS SOUS 147879 HAS SOUPS 147879 WITH SCORE 148038.248
AT ITER 6117 NEW BEST:: SOT 2553982 SOS 159242 HAS SOPS 159242 HAS SOUS 147873 HAS SOUPS 147873 WITH SCORE 148032.242
AT ITER 6322 NEW BEST:: SOT 2553970 SOS 159236 HAS SOPS 159236 HAS SOUS 147867 HAS SOUPS 147867 WITH SCORE 148026.236
AT ITER 6352 NEW BEST:: SOT 2554006 SOS 159173 HAS SOPS 159173 HAS SOUS 147835 HAS SOUPS 147835 WITH SCORE 147994.173
AT ITER 6420 NEW BEST:: SOT 2553973 SOS 159153 HAS SOPS 159153 HAS SOUS 147815 HAS SOUPS 147815 WITH SCORE 147974.153
AT ITER 6497 NEW BEST:: SOT 2554020 SOS 159200 HAS SOPS 159200 HAS SOUS 147814 HAS SOUPS 147814 WITH SCORE 147973.2
AT ITER 6603 NEW BEST:: SOT 2554026 SOS 159211 HAS SOPS 159211 HAS SOUS 147801 HAS SOUPS 147801 WITH SCORE 147960.211
AT ITER 6781 NEW BEST:: SOT 2553972 SOS 159210 HAS SOPS 159210 HAS SOUS 147800 HAS SOUPS 147800 WITH SCORE 147959.21
AT ITER 6819 NEW BEST:: SOT 2553971 SOS 159209 HAS SOPS 159209 HAS SOUS 147799 HAS SOUPS 147799 WITH SCORE 147958.209
AT ITER 6823 NEW BEST:: SOT 2553970 SOS 159127 HAS SOPS 159127 HAS SOUS 147757 HAS SOUPS 147757 WITH SCORE 147916.127
AT ITER 6924 NEW BEST:: SOT 2553917 SOS 159125 HAS SOPS 159125 HAS SOUS 147755 HAS SOUPS 147755 WITH SCORE 147914.125
AT ITER 7077 NEW BEST:: SOT 2553956 SOS 159165 HAS SOPS 159165 HAS SOUS 147746 HAS SOUPS 147746 WITH SCORE 147905.165
AT ITER 7108 NEW BEST:: SOT 2553956 SOS 159158 HAS SOPS 159158 HAS SOUS 147739 HAS SOUPS 147739 WITH SCORE 147898.158
AT ITER 7113 NEW BEST:: SOT 2553924 SOS 159158 HAS SOPS 159158 HAS SOUS 147695 HAS SOUPS 147695 WITH SCORE 147854.158
AT ITER 7181 NEW BEST:: SOT 2553924 SOS 159153 HAS SOPS 159153 HAS SOUS 147690 HAS SOUPS 147690 WITH SCORE 147849.153
AT ITER 7528 NEW BEST:: SOT 2553922 SOS 159086 HAS SOPS 159086 HAS SOUS 147678 HAS SOUPS 147678 WITH SCORE 147837.086
AT ITER 7571 NEW BEST:: SOT 2553892 SOS 159053 HAS SOPS 159053 HAS SOUS 147645 HAS SOUPS 147645 WITH SCORE 147804.053
AT ITER 7638 NEW BEST:: SOT 2553885 SOS 159050 HAS SOPS 159050 HAS SOUS 147642 HAS SOUPS 147642 WITH SCORE 147801.05
AT ITER 7684 NEW BEST:: SOT 2553845 SOS 159016 HAS SOPS 159016 HAS SOUS 147608 HAS SOUPS 147608 WITH SCORE 147767.016
AT ITER 7801 NEW BEST:: SOT 2553875 SOS 159007 HAS SOPS 159007 HAS SOUS 147599 HAS SOUPS 147599 WITH SCORE 147758.007
AT ITER 7832 NEW BEST:: SOT 2553875 SOS 159001 HAS SOPS 159001 HAS SOUS 147593 HAS SOUPS 147593 WITH SCORE 147752.001
AT ITER 7857 NEW BEST:: SOT 2553900 SOS 159022 HAS SOPS 159022 HAS SOUS 147591 HAS SOUPS 147591 WITH SCORE 147750.022
AT ITER 7867 NEW BEST:: SOT 2553869 SOS 158991 HAS SOPS 158991 HAS SOUS 147560 HAS SOUPS 147560 WITH SCORE 147718.991
AT ITER 7872 NEW BEST:: SOT 2553865 SOS 158991 HAS SOPS 158991 HAS SOUS 147558 HAS SOUPS 147558 WITH SCORE 147716.991
AT ITER 7889 NEW BEST:: SOT 2553844 SOS 158928 HAS SOPS 158928 HAS SOUS 147516 HAS SOUPS 147516 WITH SCORE 147674.928
AT ITER 7950 NEW BEST:: SOT 2553781 SOS 158799 HAS SOPS 158799 HAS SOUS 147368 HAS SOUPS 147368 WITH SCORE 147526.799
AT ITER 8141 NEW BEST:: SOT 2553747 SOS 158731 HAS SOPS 158731 HAS SOUS 147352 HAS SOUPS 147352 WITH SCORE 147510.731
AT ITER 8188 NEW BEST:: SOT 2553736 SOS 158722 HAS SOPS 158722 HAS SOUS 147340 HAS SOUPS 147340 WITH SCORE 147498.722
AT ITER 8251 NEW BEST:: SOT 2553736 SOS 158702 HAS SOPS 158702 HAS SOUS 147320 HAS SOUPS 147320 WITH SCORE 147478.702
AT ITER 8264 NEW BEST:: SOT 2553698 SOS 158619 HAS SOPS 158619 HAS SOUS 147237 HAS SOUPS 147237 WITH SCORE 147395.619
AT ITER 8303 NEW BEST:: SOT 2553698 SOS 158612 HAS SOPS 158612 HAS SOUS 147230 HAS SOUPS 147230 WITH SCORE 147388.612
AT ITER 8315 NEW BEST:: SOT 2553698 SOS 158572 HAS SOPS 158572 HAS SOUS 147210 HAS SOUPS 147210 WITH SCORE 147368.572
AT ITER 8412 NEW BEST:: SOT 2553698 SOS 158567 HAS SOPS 158567 HAS SOUS 147205 HAS SOUPS 147205 WITH SCORE 147363.567
AT ITER 8416 NEW BEST:: SOT 2553698 SOS 158566 HAS SOPS 158566 HAS SOUS 147204 HAS SOUPS 147204 WITH SCORE 147362.566
AT ITER 8454 NEW BEST:: SOT 2553686 SOS 158554 HAS SOPS 158554 HAS SOUS 147180 HAS SOUPS 147180 WITH SCORE 147338.554
AT ITER 8530 NEW BEST:: SOT 2553686 SOS 158577 HAS SOPS 158577 HAS SOUS 147178 HAS SOUPS 147178 WITH SCORE 147336.577
AT ITER 8564 NEW BEST:: SOT 2553658 SOS 158555 HAS SOPS 158555 HAS SOUS 147172 HAS SOUPS 147172 WITH SCORE 147330.555
AT ITER 8676 NEW BEST:: SOT 2553658 SOS 158554 HAS SOPS 158554 HAS SOUS 147171 HAS SOUPS 147171 WITH SCORE 147329.554
AT ITER 8686 NEW BEST:: SOT 2553658 SOS 158547 HAS SOPS 158547 HAS SOUS 147164 HAS SOUPS 147164 WITH SCORE 147322.547
AT ITER 8824 NEW BEST:: SOT 2553648 SOS 158555 HAS SOPS 158555 HAS SOUS 147154 HAS SOUPS 147154 WITH SCORE 147312.555
AT ITER 8960 NEW BEST:: SOT 2553610 SOS 158472 HAS SOPS 158472 HAS SOUS 147018 HAS SOUPS 147018 WITH SCORE 147176.472
AT ITER 8981 NEW BEST:: SOT 2553610 SOS 158478 HAS SOPS 158478 HAS SOUS 147012 HAS SOUPS 147012 WITH SCORE 147170.478
AT ITER 9092 NEW BEST:: SOT 2553628 SOS 158452 HAS SOPS 158452 HAS SOUS 146986 HAS SOUPS 146986 WITH SCORE 147144.452
AT ITER 9238 NEW BEST:: SOT 2553553 SOS 158342 HAS SOPS 158342 HAS SOUS 146876 HAS SOUPS 146876 WITH SCORE 147034.342
AT ITER 9266 NEW BEST:: SOT 2553529 SOS 158330 HAS SOPS 158330 HAS SOUS 146852 HAS SOUPS 146852 WITH SCORE 147010.33
AT ITER 9328 NEW BEST:: SOT 2553529 SOS 158306 HAS SOPS 158306 HAS SOUS 146828 HAS SOUPS 146828 WITH SCORE 146986.306
AT ITER 9387 NEW BEST:: SOT 2553529 SOS 158305 HAS SOPS 158305 HAS SOUS 146827 HAS SOUPS 146827 WITH SCORE 146985.305
AT ITER 9451 NEW BEST:: SOT 2553484 SOS 158325 HAS SOPS 158325 HAS SOUS 146817 HAS SOUPS 146817 WITH SCORE 146975.325
AT ITER 9502 NEW BEST:: SOT 2553484 SOS 158320 HAS SOPS 158320 HAS SOUS 146812 HAS SOUPS 146812 WITH SCORE 146970.32
AT ITER 9513 NEW BEST:: SOT 2553453 SOS 158320 HAS SOPS 158320 HAS SOUS 146781 HAS SOUPS 146781 WITH SCORE 146939.32
AT ITER 9525 NEW BEST:: SOT 2553431 SOS 158254 HAS SOPS 158254 HAS SOUS 146756 HAS SOUPS 146756 WITH SCORE 146914.254
AT ITER 9539 NEW BEST:: SOT 2553345 SOS 158090 HAS SOPS 158090 HAS SOUS 146638 HAS SOUPS 146638 WITH SCORE 146796.09
AT ITER 9687 NEW BEST:: SOT 2553288 SOS 157971 HAS SOPS 157971 HAS SOUS 146576 HAS SOUPS 146576 WITH SCORE 146733.971
AT ITER 9690 NEW BEST:: SOT 2553288 SOS 157920 HAS SOPS 157920 HAS SOUS 146537 HAS SOUPS 146537 WITH SCORE 146694.92
AT ITER 9715 NEW BEST:: SOT 2553287 SOS 157918 HAS SOPS 157918 HAS SOUS 146535 HAS SOUPS 146535 WITH SCORE 146692.918
AT ITER 9751 NEW BEST:: SOT 2553287 SOS 157900 HAS SOPS 157900 HAS SOUS 146517 HAS SOUPS 146517 WITH SCORE 146674.9
AT ITER 9769 NEW BEST:: SOT 2553272 SOS 157962 HAS SOPS 157962 HAS SOUS 146506 HAS SOUPS 146506 WITH SCORE 146663.962
AT ITER 9871 NEW BEST:: SOT 2553272 SOS 157903 HAS SOPS 157903 HAS SOUS 146446 HAS SOUPS 146446 WITH SCORE 146603.903
AT ITER 9900 NEW BEST:: SOT 2553276 SOS 157911 HAS SOPS 157911 HAS SOUS 146398 HAS SOUPS 146398 WITH SCORE 146555.911
AT ITER 9922 NEW BEST:: SOT 2553222 SOS 157887 HAS SOPS 157887 HAS SOUS 146369 HAS SOUPS 146369 WITH SCORE 146526.887
AT ITER 9925 NEW BEST:: SOT 2553208 SOS 157859 HAS SOPS 157859 HAS SOUS 146348 HAS SOUPS 146348 WITH SCORE 146505.859
AT ITER 9971 NEW BEST:: SOT 2553165 SOS 157815 HAS SOPS 157815 HAS SOUS 146304 HAS SOUPS 146304 WITH SCORE 146461.815
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 10403272 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16123808 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="ShieldPPPt-PT-030B"
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 ShieldPPPt-PT-030B, 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-167903719000656"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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