fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r002-oct2-167813589500216
Last Updated
May 14, 2023

About the Execution of pnmc for AirplaneLD-COL-0500

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2482.191 6852.00 7072.00 0.00 4.2718E+0009 ? 1 1508 normal

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.r002-oct2-167813589500216.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 pnmc
Input is AirplaneLD-COL-0500, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r002-oct2-167813589500216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.2K Feb 26 11:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 11:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 11:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 11:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 12:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 12:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 12:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 12:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 109K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678463915922

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=pnmc
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0500
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-10 15:58:38] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-10 15:58:38] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-10 15:58:38] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-10 15:58:38] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-10 15:58:39] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 813 ms
[2023-03-10 15:58:39] [INFO ] Detected 3 constant HL places corresponding to 1502 PT places.
[2023-03-10 15:58:39] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 3519 PT places and 6012.0 transition bindings in 30 ms.
[2023-03-10 15:58:39] [INFO ] Unfolded HLPN to a Petri net with 3519 places and 4008 transitions 11270 arcs in 158 ms.
[2023-03-10 15:58:39] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-10 15:58:39] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 3519 places, 4008 transitions and 11270 arcs took 52 ms.
Total runtime 1414 ms.
force : 0.0191043s
firing rule : 0.00440357s
rewrite : 0.231133s
state space : 1.00608s
count tokens : 0.00225198s
total : 1.42208s

-- Results
4271787023 state(s)
STATE_SPACE STATES 4271787023 TECHNIQUES DECISION_DIAGRAMS
maximal number of tokens per marking : 1508
STATE_SPACE MAX_TOKEN_PER_MARKING 1508 TECHNIQUES DECISION_DIAGRAMS
maximal number of tokens in a place : 1
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES DECISION_DIAGRAMS

BK_STOP 1678463922774

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

environ({'SHELL': '/bin/bash', 'BK_INPUT': 'AirplaneLD-COL-0500', 'PWD': '/home/mcc/execution/unfStateSpace', 'LOGNAME': 'mcc', 'BK_TOOL': 'pnmc', 'MOTD_SHOWN': 'pam', 'HOME': '/home/mcc', 'BK_RESULT_DIR': '/tmp/BK_RESULTS/OUTPUTS', 'BK_MEMORY_CONFINEMENT': '16384', 'SSH_CONNECTION': '10.0.2.2 37674 10.0.2.15 22', 'USER': 'mcc', 'BIN_DIR': '/home/mcc/BenchKit/bin', 'SHLVL': '4', 'SSH_CLIENT': '10.0.2.2 37674 22', 'LC_ALL': 'C', 'BK_BIN_PATH': '/home/mcc/BenchKit/bin//../pnmc/bin/', 'PATH': '/usr/local/bin:/usr/bin:/bin:/usr/games:/home/mcc/BenchKit/bin//../pnmc/bin/', 'BK_EXAMINATION': 'StateSpace', 'BK_TIME_CONFINEMENT': '3600', 'OLDPWD': '/home/mcc/execution', '_': '/home/mcc/BenchKit/bin//../pnmc/bin//pnmc.py', 'LD_LIBRARY_PATH': '/usr/local/lib:/usr/local/lib64:'})
Running NUPN extraction with model=/home/mcc/execution/unfStateSpace/model.pnml and bpn=/home/mcc/execution/unfStateSpace/model.bpn

['/home/mcc/BenchKit/bin//../pnmc/bin//pnmc', '--cache-size=hom:16000000,sum:16000000,inter:8000000,diff:8000000', '--json=stats', '--format=pnml', '--count-tokens', '/home/mcc/execution/unfStateSpace/model.pnml', '--order-force']
Warning: place p5 is not connected and has an initial marking.
Warning: place p6 is not connected and has an initial marking.
Warning: place p7 is not connected and has an initial marking.
Warning: place p8 is not connected and has an initial marking.
Warning: place p9 is not connected and has an initial marking.
Warning: place p10 is not connected and has an initial marking.
Warning: place p11 is not connected and has an initial marking.
Warning: place p12 is not connected and has an initial marking.
Warning: place p13 is not connected and has an initial marking.
Warning: place p14 is not connected and has an initial marking.
Warning: place p15 is not connected and has an initial marking.
Warning: place p16 is not connected and has an initial marking.
Warning: place p17 is not connected and has an initial marking.
Warning: place p18 is not connected and has an initial marking.
Warning: place p19 is not connected and has an initial marking.
Warning: place p20 is not connected and has an initial marking.
Warning: place p21 is not connected and has an initial marking.
Warning: place p22 is not connected and has an initial marking.
Warning: place p23 is not connected and has an initial marking.
Warning: place p24 is not connected and has an initial marking.
Warning: place p25 is not connected and has an initial marking.
Warning: place p26 is not connected and has an initial marking.
Warning: place p27 is not connected and has an initial marking.
Warning: place p28 is not connected and has an initial marking.
Warning: place p29 is not connected and has an initial marking.
Warning: place p30 is not connected and has an initial marking.
Warning: place p31 is not connected and has an initial marking.
Warning: place p32 is not connected and has an initial marking.
Warning: place p33 is not connected and has an initial marking.
Warning: place p34 is not connected and has an initial marking.
Warning: place p35 is not connected and has an initial marking.
Warning: place p36 is not connected and has an initial marking.
Warning: place p37 is not connected and has an initial marking.
Warning: place p38 is not connected and has an initial marking.
Warning: place p39 is not connected and has an initial marking.
Warning: place p40 is not connected and has an initial marking.
Warning: place p41 is not connected and has an initial marking.
Warning: place p42 is not connected and has an initial marking.
Warning: place p43 is not connected and has an initial marking.
Warning: place p44 is not connected and has an initial marking.
Warning: place p45 is not connected and has an initial marking.
Warning: place p46 is not connected and has an initial marking.
Warning: place p47 is not connected and has an initial marking.
Warning: place p48 is not connected and has an initial marking.
Warning: place p49 is not connected and has an initial marking.
Warning: place p50 is not connected and has an initial marking.
Warning: place p51 is not connected and has an initial marking.
Warning: place p52 is not connected and has an initial marking.
Warning: place p53 is not connected and has an initial marking.
Warning: place p54 is not connected and has an initial marking.
Warning: place p55 is not connected and has an initial marking.
Warning: place p56 is not connected and has an initial marking.
Warning: place p57 is not connected and has an initial marking.
Warning: place p58 is not connected and has an initial marking.
Warning: place p59 is not connected and has an initial marking.
Warning: place p60 is not connected and has an initial marking.
Warning: place p61 is not connected and has an initial marking.
Warning: place p62 is not connected and has an initial marking.
Warning: place p63 is not connected and has an initial marking.
Warning: place p64 is not connected and has an initial marking.
Warning: place p65 is not connected and has an initial marking.
Warning: place p66 is not connected and has an initial marking.
Warning: place p67 is not connected and has an initial marking.
Warning: place p68 is not connected and has an initial marking.
Warning: place p69 is not connected and has an initial marking.
Warning: place p70 is not connected and has an initial marking.
Warning: place p71 is not connected and has an initial marking.
Warning: place p72 is not connected and has an initial marking.
Warning: place p73 is not connected and has an initial marking.
Warning: place p74 is not connected and has an initial marking.
Warning: place p75 is not connected and has an initial marking.
Warning: place p76 is not connected and has an initial marking.
Warning: place p77 is not connected and has an initial marking.
Warning: place p78 is not connected and has an initial marking.
Warning: place p79 is not connected and has an initial marking.
Warning: place p80 is not connected and has an initial marking.
Warning: place p81 is not connected and has an initial marking.
Warning: place p82 is not connected and has an initial marking.
Warning: place p83 is not connected and has an initial marking.
Warning: place p84 is not connected and has an initial marking.
Warning: place p85 is not connected and has an initial marking.
Warning: place p86 is not connected and has an initial marking.
Warning: place p87 is not connected and has an initial marking.
Warning: place p88 is not connected and has an initial marking.
Warning: place p89 is not connected and has an initial marking.
Warning: place p90 is not connected and has an initial marking.
Warning: place p91 is not connected and has an initial marking.
Warning: place p92 is not connected and has an initial marking.
Warning: place p93 is not connected and has an initial marking.
Warning: place p94 is not connected and has an initial marking.
Warning: place p95 is not connected and has an initial marking.
Warning: place p96 is not connected and has an initial marking.
Warning: place p97 is not connected and has an initial marking.
Warning: place p98 is not connected and has an initial marking.
Warning: place p99 is not connected and has an initial marking.
Warning: place p100 is not connected and has an initial marking.
Warning: place p101 is not connected and has an initial marking.
Warning: place p102 is not connected and has an initial marking.
Warning: place p103 is not connected and has an initial marking.
Warning: place p104 is not connected and has an initial marking.
Warning: place p105 is not connected and has an initial marking.
Warning: place p106 is not connected and has an initial marking.
Warning: place p107 is not connected and has an initial marking.
Warning: place p108 is not connected and has an initial marking.
Warning: place p109 is not connected and has an initial marking.
Warning: place p110 is not connected and has an initial marking.
Warning: place p111 is not connected and has an initial marking.
Warning: place p112 is not connected and has an initial marking.
Warning: place p113 is not connected and has an initial marking.
Warning: place p114 is not connected and has an initial marking.
Warning: place p115 is not connected and has an initial marking.
Warning: place p116 is not connected and has an initial marking.
Warning: place p117 is not connected and has an initial marking.
Warning: place p118 is not connected and has an initial marking.
Warning: place p119 is not connected and has an initial marking.
Warning: place p120 is not connected and has an initial marking.
Warning: place p121 is not connected and has an initial marking.
Warning: place p122 is not connected and has an initial marking.
Warning: place p123 is not connected and has an initial marking.
Warning: place p124 is not connected and has an initial marking.
Warning: place p125 is not connected and has an initial marking.
Warning: place p126 is not connected and has an initial marking.
Warning: place p127 is not connected and has an initial marking.
Warning: place p128 is not connected and has an initial marking.
Warning: place p129 is not connected and has an initial marking.
Warning: place p130 is not connected and has an initial marking.
Warning: place p131 is not connected and has an initial marking.
Warning: place p132 is not connected and has an initial marking.
Warning: place p133 is not connected and has an initial marking.
Warning: place p134 is not connected and has an initial marking.
Warning: place p135 is not connected and has an initial marking.
Warning: place p136 is not connected and has an initial marking.
Warning: place p137 is not connected and has an initial marking.
Warning: place p138 is not connected and has an initial marking.
Warning: place p139 is not connected and has an initial marking.
Warning: place p140 is not connected and has an initial marking.
Warning: place p141 is not connected and has an initial marking.
Warning: place p142 is not connected and has an initial marking.
Warning: place p143 is not connected and has an initial marking.
Warning: place p144 is not connected and has an initial marking.
Warning: place p145 is not connected and has an initial marking.
Warning: place p146 is not connected and has an initial marking.
Warning: place p147 is not connected and has an initial marking.
Warning: place p148 is not connected and has an initial marking.
Warning: place p149 is not connected and has an initial marking.
Warning: place p150 is not connected and has an initial marking.
Warning: place p151 is not connected and has an initial marking.
Warning: place p152 is not connected and has an initial marking.
Warning: place p153 is not connected and has an initial marking.
Warning: place p154 is not connected and has an initial marking.
Warning: place p155 is not connected and has an initial marking.
Warning: place p156 is not connected and has an initial marking.
Warning: place p157 is not connected and has an initial marking.
Warning: place p158 is not connected and has an initial marking.
Warning: place p159 is not connected and has an initial marking.
Warning: place p160 is not connected and has an initial marking.
Warning: place p161 is not connected and has an initial marking.
Warning: place p162 is not connected and has an initial marking.
Warning: place p163 is not connected and has an initial marking.
Warning: place p164 is not connected and has an initial marking.
Warning: place p165 is not connected and has an initial marking.
Warning: place p166 is not connected and has an initial marking.
Warning: place p167 is not connected and has an initial marking.
Warning: place p168 is not connected and has an initial marking.
Warning: place p169 is not connected and has an initial marking.
Warning: place p170 is not connected and has an initial marking.
Warning: place p171 is not connected and has an initial marking.
Warning: place p172 is not connected and has an initial marking.
Warning: place p173 is not connected and has an initial marking.
Warning: place p174 is not connected and has an initial marking.
Warning: place p175 is not connected and has an initial marking.
Warning: place p176 is not connected and has an initial marking.
Warning: place p177 is not connected and has an initial marking.
Warning: place p178 is not connected and has an initial marking.
Warning: place p179 is not connected and has an initial marking.
Warning: place p180 is not connected and has an initial marking.
Warning: place p181 is not connected and has an initial marking.
Warning: place p182 is not connected and has an initial marking.
Warning: place p183 is not connected and has an initial marking.
Warning: place p184 is not connected and has an initial marking.
Warning: place p185 is not connected and has an initial marking.
Warning: place p186 is not connected and has an initial marking.
Warning: place p187 is not connected and has an initial marking.
Warning: place p188 is not connected and has an initial marking.
Warning: place p189 is not connected and has an initial marking.
Warning: place p190 is not connected and has an initial marking.
Warning: place p191 is not connected and has an initial marking.
Warning: place p192 is not connected and has an initial marking.
Warning: place p193 is not connected and has an initial marking.
Warning: place p194 is not connected and has an initial marking.
Warning: place p195 is not connected and has an initial marking.
Warning: place p196 is not connected and has an initial marking.
Warning: place p197 is not connected and has an initial marking.
Warning: place p198 is not connected and has an initial marking.
Warning: place p199 is not connected and has an initial marking.
Warning: place p200 is not connected and has an initial marking.
Warning: place p201 is not connected and has an initial marking.
Warning: place p202 is not connected and has an initial marking.
Warning: place p203 is not connected and has an initial marking.
Warning: place p204 is not connected and has an initial marking.
Warning: place p205 is not connected and has an initial marking.
Warning: place p206 is not connected and has an initial marking.
Warning: place p207 is not connected and has an initial marking.
Warning: place p208 is not connected and has an initial marking.
Warning: place p209 is not connected and has an initial marking.
Warning: place p210 is not connected and has an initial marking.
Warning: place p211 is not connected and has an initial marking.
Warning: place p212 is not connected and has an initial marking.
Warning: place p213 is not connected and has an initial marking.
Warning: place p214 is not connected and has an initial marking.
Warning: place p215 is not connected and has an initial marking.
Warning: place p216 is not connected and has an initial marking.
Warning: place p217 is not connected and has an initial marking.
Warning: place p218 is not connected and has an initial marking.
Warning: place p219 is not connected and has an initial marking.
Warning: place p220 is not connected and has an initial marking.
Warning: place p221 is not connected and has an initial marking.
Warning: place p222 is not connected and has an initial marking.
Warning: place p223 is not connected and has an initial marking.
Warning: place p224 is not connected and has an initial marking.
Warning: place p225 is not connected and has an initial marking.
Warning: place p226 is not connected and has an initial marking.
Warning: place p227 is not connected and has an initial marking.
Warning: place p228 is not connected and has an initial marking.
Warning: place p229 is not connected and has an initial marking.
Warning: place p230 is not connected and has an initial marking.
Warning: place p231 is not connected and has an initial marking.
Warning: place p232 is not connected and has an initial marking.
Warning: place p233 is not connected and has an initial marking.
Warning: place p234 is not connected and has an initial marking.
Warning: place p235 is not connected and has an initial marking.
Warning: place p236 is not connected and has an initial marking.
Warning: place p237 is not connected and has an initial marking.
Warning: place p238 is not connected and has an initial marking.
Warning: place p239 is not connected and has an initial marking.
Warning: place p240 is not connected and has an initial marking.
Warning: place p241 is not connected and has an initial marking.
Warning: place p242 is not connected and has an initial marking.
Warning: place p243 is not connected and has an initial marking.
Warning: place p244 is not connected and has an initial marking.
Warning: place p245 is not connected and has an initial marking.
Warning: place p246 is not connected and has an initial marking.
Warning: place p247 is not connected and has an initial marking.
Warning: place p248 is not connected and has an initial marking.
Warning: place p249 is not connected and has an initial marking.
Warning: place p250 is not connected and has an initial marking.
Warning: place p251 is not connected and has an initial marking.
Warning: place p252 is not connected and has an initial marking.
Warning: place p253 is not connected and has an initial marking.
Warning: place p254 is not connected and has an initial marking.
Warning: place p255 is not connected and has an initial marking.
Warning: place p256 is not connected and has an initial marking.
Warning: place p257 is not connected and has an initial marking.
Warning: place p258 is not connected and has an initial marking.
Warning: place p259 is not connected and has an initial marking.
Warning: place p260 is not connected and has an initial marking.
Warning: place p261 is not connected and has an initial marking.
Warning: place p262 is not connected and has an initial marking.
Warning: place p263 is not connected and has an initial marking.
Warning: place p264 is not connected and has an initial marking.
Warning: place p265 is not connected and has an initial marking.
Warning: place p266 is not connected and has an initial marking.
Warning: place p267 is not connected and has an initial marking.
Warning: place p268 is not connected and has an initial marking.
Warning: place p269 is not connected and has an initial marking.
Warning: place p270 is not connected and has an initial marking.
Warning: place p271 is not connected and has an initial marking.
Warning: place p272 is not connected and has an initial marking.
Warning: place p273 is not connected and has an initial marking.
Warning: place p274 is not connected and has an initial marking.
Warning: place p275 is not connected and has an initial marking.
Warning: place p276 is not connected and has an initial marking.
Warning: place p277 is not connected and has an initial marking.
Warning: place p278 is not connected and has an initial marking.
Warning: place p279 is not connected and has an initial marking.
Warning: place p280 is not connected and has an initial marking.
Warning: place p281 is not connected and has an initial marking.
Warning: place p282 is not connected and has an initial marking.
Warning: place p283 is not connected and has an initial marking.
Warning: place p284 is not connected and has an initial marking.
Warning: place p285 is not connected and has an initial marking.
Warning: place p286 is not connected and has an initial marking.
Warning: place p287 is not connected and has an initial marking.
Warning: place p288 is not connected and has an initial marking.
Warning: place p289 is not connected and has an initial marking.
Warning: place p290 is not connected and has an initial marking.
Warning: place p291 is not connected and has an initial marking.
Warning: place p292 is not connected and has an initial marking.
Warning: place p293 is not connected and has an initial marking.
Warning: place p294 is not connected and has an initial marking.
Warning: place p295 is not connected and has an initial marking.
Warning: place p296 is not connected and has an initial marking.
Warning: place p297 is not connected and has an initial marking.
Warning: place p298 is not connected and has an initial marking.
Warning: place p299 is not connected and has an initial marking.
Warning: place p300 is not connected and has an initial marking.
Warning: place p301 is not connected and has an initial marking.
Warning: place p302 is not connected and has an initial marking.
Warning: place p303 is not connected and has an initial marking.
Warning: place p304 is not connected and has an initial marking.
Warning: place p305 is not connected and has an initial marking.
Warning: place p306 is not connected and has an initial marking.
Warning: place p307 is not connected and has an initial marking.
Warning: place p308 is not connected and has an initial marking.
Warning: place p309 is not connected and has an initial marking.
Warning: place p310 is not connected and has an initial marking.
Warning: place p311 is not connected and has an initial marking.
Warning: place p312 is not connected and has an initial marking.
Warning: place p313 is not connected and has an initial marking.
Warning: place p314 is not connected and has an initial marking.
Warning: place p315 is not connected and has an initial marking.
Warning: place p316 is not connected and has an initial marking.
Warning: place p317 is not connected and has an initial marking.
Warning: place p318 is not connected and has an initial marking.
Warning: place p319 is not connected and has an initial marking.
Warning: place p320 is not connected and has an initial marking.
Warning: place p321 is not connected and has an initial marking.
Warning: place p322 is not connected and has an initial marking.
Warning: place p323 is not connected and has an initial marking.
Warning: place p324 is not connected and has an initial marking.
Warning: place p325 is not connected and has an initial marking.
Warning: place p326 is not connected and has an initial marking.
Warning: place p327 is not connected and has an initial marking.
Warning: place p328 is not connected and has an initial marking.
Warning: place p329 is not connected and has an initial marking.
Warning: place p330 is not connected and has an initial marking.
Warning: place p331 is not connected and has an initial marking.
Warning: place p332 is not connected and has an initial marking.
Warning: place p333 is not connected and has an initial marking.
Warning: place p334 is not connected and has an initial marking.
Warning: place p335 is not connected and has an initial marking.
Warning: place p336 is not connected and has an initial marking.
Warning: place p337 is not connected and has an initial marking.
Warning: place p338 is not connected and has an initial marking.
Warning: place p339 is not connected and has an initial marking.
Warning: place p340 is not connected and has an initial marking.
Warning: place p341 is not connected and has an initial marking.
Warning: place p342 is not connected and has an initial marking.
Warning: place p343 is not connected and has an initial marking.
Warning: place p344 is not connected and has an initial marking.
Warning: place p345 is not connected and has an initial marking.
Warning: place p346 is not connected and has an initial marking.
Warning: place p347 is not connected and has an initial marking.
Warning: place p348 is not connected and has an initial marking.
Warning: place p349 is not connected and has an initial marking.
Warning: place p350 is not connected and has an initial marking.
Warning: place p351 is not connected and has an initial marking.
Warning: place p352 is not connected and has an initial marking.
Warning: place p353 is not connected and has an initial marking.
Warning: place p354 is not connected and has an initial marking.
Warning: place p355 is not connected and has an initial marking.
Warning: place p356 is not connected and has an initial marking.
Warning: place p357 is not connected and has an initial marking.
Warning: place p358 is not connected and has an initial marking.
Warning: place p359 is not connected and has an initial marking.
Warning: place p360 is not connected and has an initial marking.
Warning: place p361 is not connected and has an initial marking.
Warning: place p362 is not connected and has an initial marking.
Warning: place p363 is not connected and has an initial marking.
Warning: place p364 is not connected and has an initial marking.
Warning: place p365 is not connected and has an initial marking.
Warning: place p366 is not connected and has an initial marking.
Warning: place p367 is not connected and has an initial marking.
Warning: place p368 is not connected and has an initial marking.
Warning: place p369 is not connected and has an initial marking.
Warning: place p370 is not connected and has an initial marking.
Warning: place p371 is not connected and has an initial marking.
Warning: place p372 is not connected and has an initial marking.
Warning: place p373 is not connected and has an initial marking.
Warning: place p374 is not connected and has an initial marking.
Warning: place p375 is not connected and has an initial marking.
Warning: place p376 is not connected and has an initial marking.
Warning: place p377 is not connected and has an initial marking.
Warning: place p378 is not connected and has an initial marking.
Warning: place p379 is not connected and has an initial marking.
Warning: place p380 is not connected and has an initial marking.
Warning: place p381 is not connected and has an initial marking.
Warning: place p382 is not connected and has an initial marking.
Warning: place p383 is not connected and has an initial marking.
Warning: place p384 is not connected and has an initial marking.
Warning: place p385 is not connected and has an initial marking.
Warning: place p386 is not connected and has an initial marking.
Warning: place p387 is not connected and has an initial marking.
Warning: place p388 is not connected and has an initial marking.
Warning: place p389 is not connected and has an initial marking.
Warning: place p390 is not connected and has an initial marking.
Warning: place p391 is not connected and has an initial marking.
Warning: place p392 is not connected and has an initial marking.
Warning: place p393 is not connected and has an initial marking.
Warning: place p394 is not connected and has an initial marking.
Warning: place p395 is not connected and has an initial marking.
Warning: place p396 is not connected and has an initial marking.
Warning: place p397 is not connected and has an initial marking.
Warning: place p398 is not connected and has an initial marking.
Warning: place p399 is not connected and has an initial marking.
Warning: place p400 is not connected and has an initial marking.
Warning: place p401 is not connected and has an initial marking.
Warning: place p402 is not connected and has an initial marking.
Warning: place p403 is not connected and has an initial marking.
Warning: place p404 is not connected and has an initial marking.
Warning: place p405 is not connected and has an initial marking.
Warning: place p406 is not connected and has an initial marking.
Warning: place p407 is not connected and has an initial marking.
Warning: place p408 is not connected and has an initial marking.
Warning: place p409 is not connected and has an initial marking.
Warning: place p410 is not connected and has an initial marking.
Warning: place p411 is not connected and has an initial marking.
Warning: place p412 is not connected and has an initial marking.
Warning: place p413 is not connected and has an initial marking.
Warning: place p414 is not connected and has an initial marking.
Warning: place p415 is not connected and has an initial marking.
Warning: place p416 is not connected and has an initial marking.
Warning: place p417 is not connected and has an initial marking.
Warning: place p418 is not connected and has an initial marking.
Warning: place p419 is not connected and has an initial marking.
Warning: place p420 is not connected and has an initial marking.
Warning: place p421 is not connected and has an initial marking.
Warning: place p422 is not connected and has an initial marking.
Warning: place p423 is not connected and has an initial marking.
Warning: place p424 is not connected and has an initial marking.
Warning: place p425 is not connected and has an initial marking.
Warning: place p426 is not connected and has an initial marking.
Warning: place p427 is not connected and has an initial marking.
Warning: place p428 is not connected and has an initial marking.
Warning: place p429 is not connected and has an initial marking.
Warning: place p430 is not connected and has an initial marking.
Warning: place p431 is not connected and has an initial marking.
Warning: place p432 is not connected and has an initial marking.
Warning: place p433 is not connected and has an initial marking.
Warning: place p434 is not connected and has an initial marking.
Warning: place p435 is not connected and has an initial marking.
Warning: place p436 is not connected and has an initial marking.
Warning: place p437 is not connected and has an initial marking.
Warning: place p438 is not connected and has an initial marking.
Warning: place p439 is not connected and has an initial marking.
Warning: place p440 is not connected and has an initial marking.
Warning: place p441 is not connected and has an initial marking.
Warning: place p442 is not connected and has an initial marking.
Warning: place p443 is not connected and has an initial marking.
Warning: place p444 is not connected and has an initial marking.
Warning: place p445 is not connected and has an initial marking.
Warning: place p446 is not connected and has an initial marking.
Warning: place p447 is not connected and has an initial marking.
Warning: place p448 is not connected and has an initial marking.
Warning: place p449 is not connected and has an initial marking.
Warning: place p450 is not connected and has an initial marking.
Warning: place p451 is not connected and has an initial marking.
Warning: place p452 is not connected and has an initial marking.
Warning: place p453 is not connected and has an initial marking.
Warning: place p454 is not connected and has an initial marking.
Warning: place p455 is not connected and has an initial marking.
Warning: place p456 is not connected and has an initial marking.
Warning: place p457 is not connected and has an initial marking.
Warning: place p458 is not connected and has an initial marking.
Warning: place p459 is not connected and has an initial marking.
Warning: place p460 is not connected and has an initial marking.
Warning: place p461 is not connected and has an initial marking.
Warning: place p462 is not connected and has an initial marking.
Warning: place p463 is not connected and has an initial marking.
Warning: place p464 is not connected and has an initial marking.
Warning: place p465 is not connected and has an initial marking.
Warning: place p466 is not connected and has an initial marking.
Warning: place p467 is not connected and has an initial marking.
Warning: place p468 is not connected and has an initial marking.
Warning: place p469 is not connected and has an initial marking.
Warning: place p470 is not connected and has an initial marking.
Warning: place p471 is not connected and has an initial marking.
Warning: place p472 is not connected and has an initial marking.
Warning: place p473 is not connected and has an initial marking.
Warning: place p474 is not connected and has an initial marking.
Warning: place p475 is not connected and has an initial marking.
Warning: place p476 is not connected and has an initial marking.
Warning: place p477 is not connected and has an initial marking.
Warning: place p478 is not connected and has an initial marking.
Warning: place p479 is not connected and has an initial marking.
Warning: place p480 is not connected and has an initial marking.
Warning: place p481 is not connected and has an initial marking.
Warning: place p482 is not connected and has an initial marking.
Warning: place p483 is not connected and has an initial marking.
Warning: place p484 is not connected and has an initial marking.
Warning: place p485 is not connected and has an initial marking.
Warning: place p486 is not connected and has an initial marking.
Warning: place p487 is not connected and has an initial marking.
Warning: place p488 is not connected and has an initial marking.
Warning: place p489 is not connected and has an initial marking.
Warning: place p490 is not connected and has an initial marking.
Warning: place p491 is not connected and has an initial marking.
Warning: place p492 is not connected and has an initial marking.
Warning: place p493 is not connected and has an initial marking.
Warning: place p494 is not connected and has an initial marking.
Warning: place p495 is not connected and has an initial marking.
Warning: place p496 is not connected and has an initial marking.
Warning: place p497 is not connected and has an initial marking.
Warning: place p498 is not connected and has an initial marking.
Warning: place p499 is not connected and has an initial marking.
Warning: place p500 is not connected and has an initial marking.
Warning: place p501 is not connected and has an initial marking.
Warning: place p502 is not connected and has an initial marking.
Warning: place p503 is not connected and has an initial marking.
Warning: place p504 is not connected and has an initial marking.
Warning: place p505 is not connected and has an initial marking.
Warning: place p506 is not connected and has an initial marking.
Warning: place p507 is not connected and has an initial marking.
Warning: place p508 is not connected and has an initial marking.
Warning: place p509 is not connected and has an initial marking.
Warning: place p510 is not connected and has an initial marking.
Warning: place p511 is not connected and has an initial marking.
Warning: place p512 is not connected and has an initial marking.
Warning: place p513 is not connected and has an initial marking.
Warning: place p514 is not connected and has an initial marking.
Warning: place p515 is not connected and has an initial marking.
Warning: place p516 is not connected and has an initial marking.
Warning: place p517 is not connected and has an initial marking.
Warning: place p518 is not connected and has an initial marking.
Warning: place p519 is not connected and has an initial marking.
Warning: place p520 is not connected and has an initial marking.
Warning: place p521 is not connected and has an initial marking.
Warning: place p522 is not connected and has an initial marking.
Warning: place p523 is not connected and has an initial marking.
Warning: place p524 is not connected and has an initial marking.
Warning: place p525 is not connected and has an initial marking.
Warning: place p526 is not connected and has an initial marking.
Warning: place p527 is not connected and has an initial marking.
Warning: place p528 is not connected and has an initial marking.
Warning: place p529 is not connected and has an initial marking.
Warning: place p530 is not connected and has an initial marking.
Warning: place p531 is not connected and has an initial marking.
Warning: place p532 is not connected and has an initial marking.
Warning: place p533 is not connected and has an initial marking.
Warning: place p534 is not connected and has an initial marking.
Warning: place p535 is not connected and has an initial marking.
Warning: place p536 is not connected and has an initial marking.
Warning: place p537 is not connected and has an initial marking.
Warning: place p538 is not connected and has an initial marking.
Warning: place p539 is not connected and has an initial marking.
Warning: place p540 is not connected and has an initial marking.
Warning: place p541 is not connected and has an initial marking.
Warning: place p542 is not connected and has an initial marking.
Warning: place p543 is not connected and has an initial marking.
Warning: place p544 is not connected and has an initial marking.
Warning: place p545 is not connected and has an initial marking.
Warning: place p546 is not connected and has an initial marking.
Warning: place p547 is not connected and has an initial marking.
Warning: place p548 is not connected and has an initial marking.
Warning: place p549 is not connected and has an initial marking.
Warning: place p550 is not connected and has an initial marking.
Warning: place p551 is not connected and has an initial marking.
Warning: place p552 is not connected and has an initial marking.
Warning: place p553 is not connected and has an initial marking.
Warning: place p554 is not connected and has an initial marking.
Warning: place p555 is not connected and has an initial marking.
Warning: place p556 is not connected and has an initial marking.
Warning: place p557 is not connected and has an initial marking.
Warning: place p558 is not connected and has an initial marking.
Warning: place p559 is not connected and has an initial marking.
Warning: place p560 is not connected and has an initial marking.
Warning: place p561 is not connected and has an initial marking.
Warning: place p562 is not connected and has an initial marking.
Warning: place p563 is not connected and has an initial marking.
Warning: place p564 is not connected and has an initial marking.
Warning: place p565 is not connected and has an initial marking.
Warning: place p566 is not connected and has an initial marking.
Warning: place p567 is not connected and has an initial marking.
Warning: place p568 is not connected and has an initial marking.
Warning: place p569 is not connected and has an initial marking.
Warning: place p570 is not connected and has an initial marking.
Warning: place p571 is not connected and has an initial marking.
Warning: place p572 is not connected and has an initial marking.
Warning: place p573 is not connected and has an initial marking.
Warning: place p574 is not connected and has an initial marking.
Warning: place p575 is not connected and has an initial marking.
Warning: place p576 is not connected and has an initial marking.
Warning: place p577 is not connected and has an initial marking.
Warning: place p578 is not connected and has an initial marking.
Warning: place p579 is not connected and has an initial marking.
Warning: place p580 is not connected and has an initial marking.
Warning: place p581 is not connected and has an initial marking.
Warning: place p582 is not connected and has an initial marking.
Warning: place p583 is not connected and has an initial marking.
Warning: place p584 is not connected and has an initial marking.
Warning: place p585 is not connected and has an initial marking.
Warning: place p586 is not connected and has an initial marking.
Warning: place p587 is not connected and has an initial marking.
Warning: place p588 is not connected and has an initial marking.
Warning: place p589 is not connected and has an initial marking.
Warning: place p590 is not connected and has an initial marking.
Warning: place p591 is not connected and has an initial marking.
Warning: place p592 is not connected and has an initial marking.
Warning: place p593 is not connected and has an initial marking.
Warning: place p594 is not connected and has an initial marking.
Warning: place p595 is not connected and has an initial marking.
Warning: place p596 is not connected and has an initial marking.
Warning: place p597 is not connected and has an initial marking.
Warning: place p598 is not connected and has an initial marking.
Warning: place p599 is not connected and has an initial marking.
Warning: place p600 is not connected and has an initial marking.
Warning: place p601 is not connected and has an initial marking.
Warning: place p602 is not connected and has an initial marking.
Warning: place p603 is not connected and has an initial marking.
Warning: place p604 is not connected and has an initial marking.
Warning: place p605 is not connected and has an initial marking.
Warning: place p606 is not connected and has an initial marking.
Warning: place p607 is not connected and has an initial marking.
Warning: place p608 is not connected and has an initial marking.
Warning: place p609 is not connected and has an initial marking.
Warning: place p610 is not connected and has an initial marking.
Warning: place p611 is not connected and has an initial marking.
Warning: place p612 is not connected and has an initial marking.
Warning: place p613 is not connected and has an initial marking.
Warning: place p614 is not connected and has an initial marking.
Warning: place p615 is not connected and has an initial marking.
Warning: place p616 is not connected and has an initial marking.
Warning: place p617 is not connected and has an initial marking.
Warning: place p618 is not connected and has an initial marking.
Warning: place p619 is not connected and has an initial marking.
Warning: place p620 is not connected and has an initial marking.
Warning: place p621 is not connected and has an initial marking.
Warning: place p622 is not connected and has an initial marking.
Warning: place p623 is not connected and has an initial marking.
Warning: place p624 is not connected and has an initial marking.
Warning: place p625 is not connected and has an initial marking.
Warning: place p626 is not connected and has an initial marking.
Warning: place p627 is not connected and has an initial marking.
Warning: place p628 is not connected and has an initial marking.
Warning: place p629 is not connected and has an initial marking.
Warning: place p630 is not connected and has an initial marking.
Warning: place p631 is not connected and has an initial marking.
Warning: place p632 is not connected and has an initial marking.
Warning: place p633 is not connected and has an initial marking.
Warning: place p634 is not connected and has an initial marking.
Warning: place p635 is not connected and has an initial marking.
Warning: place p636 is not connected and has an initial marking.
Warning: place p637 is not connected and has an initial marking.
Warning: place p638 is not connected and has an initial marking.
Warning: place p639 is not connected and has an initial marking.
Warning: place p640 is not connected and has an initial marking.
Warning: place p641 is not connected and has an initial marking.
Warning: place p642 is not connected and has an initial marking.
Warning: place p643 is not connected and has an initial marking.
Warning: place p644 is not connected and has an initial marking.
Warning: place p645 is not connected and has an initial marking.
Warning: place p646 is not connected and has an initial marking.
Warning: place p647 is not connected and has an initial marking.
Warning: place p648 is not connected and has an initial marking.
Warning: place p649 is not connected and has an initial marking.
Warning: place p650 is not connected and has an initial marking.
Warning: place p651 is not connected and has an initial marking.
Warning: place p652 is not connected and has an initial marking.
Warning: place p653 is not connected and has an initial marking.
Warning: place p654 is not connected and has an initial marking.
Warning: place p655 is not connected and has an initial marking.
Warning: place p656 is not connected and has an initial marking.
Warning: place p657 is not connected and has an initial marking.
Warning: place p658 is not connected and has an initial marking.
Warning: place p659 is not connected and has an initial marking.
Warning: place p660 is not connected and has an initial marking.
Warning: place p661 is not connected and has an initial marking.
Warning: place p662 is not connected and has an initial marking.
Warning: place p663 is not connected and has an initial marking.
Warning: place p664 is not connected and has an initial marking.
Warning: place p665 is not connected and has an initial marking.
Warning: place p666 is not connected and has an initial marking.
Warning: place p667 is not connected and has an initial marking.
Warning: place p668 is not connected and has an initial marking.
Warning: place p669 is not connected and has an initial marking.
Warning: place p670 is not connected and has an initial marking.
Warning: place p671 is not connected and has an initial marking.
Warning: place p672 is not connected and has an initial marking.
Warning: place p673 is not connected and has an initial marking.
Warning: place p674 is not connected and has an initial marking.
Warning: place p675 is not connected and has an initial marking.
Warning: place p676 is not connected and has an initial marking.
Warning: place p677 is not connected and has an initial marking.
Warning: place p678 is not connected and has an initial marking.
Warning: place p679 is not connected and has an initial marking.
Warning: place p680 is not connected and has an initial marking.
Warning: place p681 is not connected and has an initial marking.
Warning: place p682 is not connected and has an initial marking.
Warning: place p683 is not connected and has an initial marking.
Warning: place p684 is not connected and has an initial marking.
Warning: place p685 is not connected and has an initial marking.
Warning: place p686 is not connected and has an initial marking.
Warning: place p687 is not connected and has an initial marking.
Warning: place p688 is not connected and has an initial marking.
Warning: place p689 is not connected and has an initial marking.
Warning: place p690 is not connected and has an initial marking.
Warning: place p691 is not connected and has an initial marking.
Warning: place p692 is not connected and has an initial marking.
Warning: place p693 is not connected and has an initial marking.
Warning: place p694 is not connected and has an initial marking.
Warning: place p695 is not connected and has an initial marking.
Warning: place p696 is not connected and has an initial marking.
Warning: place p697 is not connected and has an initial marking.
Warning: place p698 is not connected and has an initial marking.
Warning: place p699 is not connected and has an initial marking.
Warning: place p700 is not connected and has an initial marking.
Warning: place p701 is not connected and has an initial marking.
Warning: place p702 is not connected and has an initial marking.
Warning: place p703 is not connected and has an initial marking.
Warning: place p704 is not connected and has an initial marking.
Warning: place p705 is not connected and has an initial marking.
Warning: place p706 is not connected and has an initial marking.
Warning: place p707 is not connected and has an initial marking.
Warning: place p708 is not connected and has an initial marking.
Warning: place p709 is not connected and has an initial marking.
Warning: place p710 is not connected and has an initial marking.
Warning: place p711 is not connected and has an initial marking.
Warning: place p712 is not connected and has an initial marking.
Warning: place p713 is not connected and has an initial marking.
Warning: place p714 is not connected and has an initial marking.
Warning: place p715 is not connected and has an initial marking.
Warning: place p716 is not connected and has an initial marking.
Warning: place p717 is not connected and has an initial marking.
Warning: place p718 is not connected and has an initial marking.
Warning: place p719 is not connected and has an initial marking.
Warning: place p720 is not connected and has an initial marking.
Warning: place p721 is not connected and has an initial marking.
Warning: place p722 is not connected and has an initial marking.
Warning: place p723 is not connected and has an initial marking.
Warning: place p724 is not connected and has an initial marking.
Warning: place p725 is not connected and has an initial marking.
Warning: place p726 is not connected and has an initial marking.
Warning: place p727 is not connected and has an initial marking.
Warning: place p728 is not connected and has an initial marking.
Warning: place p729 is not connected and has an initial marking.
Warning: place p730 is not connected and has an initial marking.
Warning: place p731 is not connected and has an initial marking.
Warning: place p732 is not connected and has an initial marking.
Warning: place p733 is not connected and has an initial marking.
Warning: place p734 is not connected and has an initial marking.
Warning: place p735 is not connected and has an initial marking.
Warning: place p736 is not connected and has an initial marking.
Warning: place p737 is not connected and has an initial marking.
Warning: place p738 is not connected and has an initial marking.
Warning: place p739 is not connected and has an initial marking.
Warning: place p740 is not connected and has an initial marking.
Warning: place p741 is not connected and has an initial marking.
Warning: place p742 is not connected and has an initial marking.
Warning: place p743 is not connected and has an initial marking.
Warning: place p744 is not connected and has an initial marking.
Warning: place p745 is not connected and has an initial marking.
Warning: place p746 is not connected and has an initial marking.
Warning: place p747 is not connected and has an initial marking.
Warning: place p748 is not connected and has an initial marking.
Warning: place p749 is not connected and has an initial marking.
Warning: place p750 is not connected and has an initial marking.
Warning: place p751 is not connected and has an initial marking.
Warning: place p752 is not connected and has an initial marking.
Warning: place p753 is not connected and has an initial marking.
Warning: place p754 is not connected and has an initial marking.
Warning: place p755 is not connected and has an initial marking.
Warning: place p756 is not connected and has an initial marking.
Warning: place p757 is not connected and has an initial marking.
Warning: place p758 is not connected and has an initial marking.
Warning: place p759 is not connected and has an initial marking.
Warning: place p760 is not connected and has an initial marking.
Warning: place p761 is not connected and has an initial marking.
Warning: place p762 is not connected and has an initial marking.
Warning: place p763 is not connected and has an initial marking.
Warning: place p764 is not connected and has an initial marking.
Warning: place p765 is not connected and has an initial marking.
Warning: place p766 is not connected and has an initial marking.
Warning: place p767 is not connected and has an initial marking.
Warning: place p768 is not connected and has an initial marking.
Warning: place p769 is not connected and has an initial marking.
Warning: place p770 is not connected and has an initial marking.
Warning: place p771 is not connected and has an initial marking.
Warning: place p772 is not connected and has an initial marking.
Warning: place p773 is not connected and has an initial marking.
Warning: place p774 is not connected and has an initial marking.
Warning: place p775 is not connected and has an initial marking.
Warning: place p776 is not connected and has an initial marking.
Warning: place p777 is not connected and has an initial marking.
Warning: place p778 is not connected and has an initial marking.
Warning: place p779 is not connected and has an initial marking.
Warning: place p780 is not connected and has an initial marking.
Warning: place p781 is not connected and has an initial marking.
Warning: place p782 is not connected and has an initial marking.
Warning: place p783 is not connected and has an initial marking.
Warning: place p784 is not connected and has an initial marking.
Warning: place p785 is not connected and has an initial marking.
Warning: place p786 is not connected and has an initial marking.
Warning: place p787 is not connected and has an initial marking.
Warning: place p788 is not connected and has an initial marking.
Warning: place p789 is not connected and has an initial marking.
Warning: place p790 is not connected and has an initial marking.
Warning: place p791 is not connected and has an initial marking.
Warning: place p792 is not connected and has an initial marking.
Warning: place p793 is not connected and has an initial marking.
Warning: place p794 is not connected and has an initial marking.
Warning: place p795 is not connected and has an initial marking.
Warning: place p796 is not connected and has an initial marking.
Warning: place p797 is not connected and has an initial marking.
Warning: place p798 is not connected and has an initial marking.
Warning: place p799 is not connected and has an initial marking.
Warning: place p800 is not connected and has an initial marking.
Warning: place p801 is not connected and has an initial marking.
Warning: place p802 is not connected and has an initial marking.
Warning: place p803 is not connected and has an initial marking.
Warning: place p804 is not connected and has an initial marking.
Warning: place p805 is not connected and has an initial marking.
Warning: place p806 is not connected and has an initial marking.
Warning: place p807 is not connected and has an initial marking.
Warning: place p808 is not connected and has an initial marking.
Warning: place p809 is not connected and has an initial marking.
Warning: place p810 is not connected and has an initial marking.
Warning: place p811 is not connected and has an initial marking.
Warning: place p812 is not connected and has an initial marking.
Warning: place p813 is not connected and has an initial marking.
Warning: place p814 is not connected and has an initial marking.
Warning: place p815 is not connected and has an initial marking.
Warning: place p816 is not connected and has an initial marking.
Warning: place p817 is not connected and has an initial marking.
Warning: place p818 is not connected and has an initial marking.
Warning: place p819 is not connected and has an initial marking.
Warning: place p820 is not connected and has an initial marking.
Warning: place p821 is not connected and has an initial marking.
Warning: place p822 is not connected and has an initial marking.
Warning: place p823 is not connected and has an initial marking.
Warning: place p824 is not connected and has an initial marking.
Warning: place p825 is not connected and has an initial marking.
Warning: place p826 is not connected and has an initial marking.
Warning: place p827 is not connected and has an initial marking.
Warning: place p828 is not connected and has an initial marking.
Warning: place p829 is not connected and has an initial marking.
Warning: place p830 is not connected and has an initial marking.
Warning: place p831 is not connected and has an initial marking.
Warning: place p832 is not connected and has an initial marking.
Warning: place p833 is not connected and has an initial marking.
Warning: place p834 is not connected and has an initial marking.
Warning: place p835 is not connected and has an initial marking.
Warning: place p836 is not connected and has an initial marking.
Warning: place p837 is not connected and has an initial marking.
Warning: place p838 is not connected and has an initial marking.
Warning: place p839 is not connected and has an initial marking.
Warning: place p840 is not connected and has an initial marking.
Warning: place p841 is not connected and has an initial marking.
Warning: place p842 is not connected and has an initial marking.
Warning: place p843 is not connected and has an initial marking.
Warning: place p844 is not connected and has an initial marking.
Warning: place p845 is not connected and has an initial marking.
Warning: place p846 is not connected and has an initial marking.
Warning: place p847 is not connected and has an initial marking.
Warning: place p848 is not connected and has an initial marking.
Warning: place p849 is not connected and has an initial marking.
Warning: place p850 is not connected and has an initial marking.
Warning: place p851 is not connected and has an initial marking.
Warning: place p852 is not connected and has an initial marking.
Warning: place p853 is not connected and has an initial marking.
Warning: place p854 is not connected and has an initial marking.
Warning: place p855 is not connected and has an initial marking.
Warning: place p856 is not connected and has an initial marking.
Warning: place p857 is not connected and has an initial marking.
Warning: place p858 is not connected and has an initial marking.
Warning: place p859 is not connected and has an initial marking.
Warning: place p860 is not connected and has an initial marking.
Warning: place p861 is not connected and has an initial marking.
Warning: place p862 is not connected and has an initial marking.
Warning: place p863 is not connected and has an initial marking.
Warning: place p864 is not connected and has an initial marking.
Warning: place p865 is not connected and has an initial marking.
Warning: place p866 is not connected and has an initial marking.
Warning: place p867 is not connected and has an initial marking.
Warning: place p868 is not connected and has an initial marking.
Warning: place p869 is not connected and has an initial marking.
Warning: place p870 is not connected and has an initial marking.
Warning: place p871 is not connected and has an initial marking.
Warning: place p872 is not connected and has an initial marking.
Warning: place p873 is not connected and has an initial marking.
Warning: place p874 is not connected and has an initial marking.
Warning: place p875 is not connected and has an initial marking.
Warning: place p876 is not connected and has an initial marking.
Warning: place p877 is not connected and has an initial marking.
Warning: place p878 is not connected and has an initial marking.
Warning: place p879 is not connected and has an initial marking.
Warning: place p880 is not connected and has an initial marking.
Warning: place p881 is not connected and has an initial marking.
Warning: place p882 is not connected and has an initial marking.
Warning: place p883 is not connected and has an initial marking.
Warning: place p884 is not connected and has an initial marking.
Warning: place p885 is not connected and has an initial marking.
Warning: place p886 is not connected and has an initial marking.
Warning: place p887 is not connected and has an initial marking.
Warning: place p888 is not connected and has an initial marking.
Warning: place p889 is not connected and has an initial marking.
Warning: place p890 is not connected and has an initial marking.
Warning: place p891 is not connected and has an initial marking.
Warning: place p892 is not connected and has an initial marking.
Warning: place p893 is not connected and has an initial marking.
Warning: place p894 is not connected and has an initial marking.
Warning: place p895 is not connected and has an initial marking.
Warning: place p896 is not connected and has an initial marking.
Warning: place p897 is not connected and has an initial marking.
Warning: place p898 is not connected and has an initial marking.
Warning: place p899 is not connected and has an initial marking.
Warning: place p900 is not connected and has an initial marking.
Warning: place p901 is not connected and has an initial marking.
Warning: place p902 is not connected and has an initial marking.
Warning: place p903 is not connected and has an initial marking.
Warning: place p904 is not connected and has an initial marking.
Warning: place p905 is not connected and has an initial marking.
Warning: place p906 is not connected and has an initial marking.
Warning: place p907 is not connected and has an initial marking.
Warning: place p908 is not connected and has an initial marking.
Warning: place p909 is not connected and has an initial marking.
Warning: place p910 is not connected and has an initial marking.
Warning: place p911 is not connected and has an initial marking.
Warning: place p912 is not connected and has an initial marking.
Warning: place p913 is not connected and has an initial marking.
Warning: place p914 is not connected and has an initial marking.
Warning: place p915 is not connected and has an initial marking.
Warning: place p916 is not connected and has an initial marking.
Warning: place p917 is not connected and has an initial marking.
Warning: place p918 is not connected and has an initial marking.
Warning: place p919 is not connected and has an initial marking.
Warning: place p920 is not connected and has an initial marking.
Warning: place p921 is not connected and has an initial marking.
Warning: place p922 is not connected and has an initial marking.
Warning: place p923 is not connected and has an initial marking.
Warning: place p924 is not connected and has an initial marking.
Warning: place p925 is not connected and has an initial marking.
Warning: place p926 is not connected and has an initial marking.
Warning: place p927 is not connected and has an initial marking.
Warning: place p928 is not connected and has an initial marking.
Warning: place p929 is not connected and has an initial marking.
Warning: place p930 is not connected and has an initial marking.
Warning: place p931 is not connected and has an initial marking.
Warning: place p932 is not connected and has an initial marking.
Warning: place p933 is not connected and has an initial marking.
Warning: place p934 is not connected and has an initial marking.
Warning: place p935 is not connected and has an initial marking.
Warning: place p936 is not connected and has an initial marking.
Warning: place p937 is not connected and has an initial marking.
Warning: place p938 is not connected and has an initial marking.
Warning: place p939 is not connected and has an initial marking.
Warning: place p940 is not connected and has an initial marking.
Warning: place p941 is not connected and has an initial marking.
Warning: place p942 is not connected and has an initial marking.
Warning: place p943 is not connected and has an initial marking.
Warning: place p944 is not connected and has an initial marking.
Warning: place p945 is not connected and has an initial marking.
Warning: place p946 is not connected and has an initial marking.
Warning: place p947 is not connected and has an initial marking.
Warning: place p948 is not connected and has an initial marking.
Warning: place p949 is not connected and has an initial marking.
Warning: place p950 is not connected and has an initial marking.
Warning: place p951 is not connected and has an initial marking.
Warning: place p952 is not connected and has an initial marking.
Warning: place p953 is not connected and has an initial marking.
Warning: place p954 is not connected and has an initial marking.
Warning: place p955 is not connected and has an initial marking.
Warning: place p956 is not connected and has an initial marking.
Warning: place p957 is not connected and has an initial marking.
Warning: place p958 is not connected and has an initial marking.
Warning: place p959 is not connected and has an initial marking.
Warning: place p960 is not connected and has an initial marking.
Warning: place p961 is not connected and has an initial marking.
Warning: place p962 is not connected and has an initial marking.
Warning: place p963 is not connected and has an initial marking.
Warning: place p964 is not connected and has an initial marking.
Warning: place p965 is not connected and has an initial marking.
Warning: place p966 is not connected and has an initial marking.
Warning: place p967 is not connected and has an initial marking.
Warning: place p968 is not connected and has an initial marking.
Warning: place p969 is not connected and has an initial marking.
Warning: place p970 is not connected and has an initial marking.
Warning: place p971 is not connected and has an initial marking.
Warning: place p972 is not connected and has an initial marking.
Warning: place p973 is not connected and has an initial marking.
Warning: place p974 is not connected and has an initial marking.
Warning: place p975 is not connected and has an initial marking.
Warning: place p976 is not connected and has an initial marking.
Warning: place p977 is not connected and has an initial marking.
Warning: place p978 is not connected and has an initial marking.
Warning: place p979 is not connected and has an initial marking.
Warning: place p980 is not connected and has an initial marking.
Warning: place p981 is not connected and has an initial marking.
Warning: place p982 is not connected and has an initial marking.
Warning: place p983 is not connected and has an initial marking.
Warning: place p984 is not connected and has an initial marking.
Warning: place p985 is not connected and has an initial marking.
Warning: place p986 is not connected and has an initial marking.
Warning: place p987 is not connected and has an initial marking.
Warning: place p988 is not connected and has an initial marking.
Warning: place p989 is not connected and has an initial marking.
Warning: place p990 is not connected and has an initial marking.
Warning: place p991 is not connected and has an initial marking.
Warning: place p992 is not connected and has an initial marking.
Warning: place p993 is not connected and has an initial marking.
Warning: place p994 is not connected and has an initial marking.
Warning: place p995 is not connected and has an initial marking.
Warning: place p996 is not connected and has an initial marking.
Warning: place p997 is not connected and has an initial marking.
Warning: place p998 is not connected and has an initial marking.
Warning: place p999 is not connected and has an initial marking.
Warning: place p1000 is not connected and has an initial marking.
Warning: place p1001 is not connected and has an initial marking.
Warning: place p1002 is not connected and has an initial marking.
Warning: place p1003 is not connected and has an initial marking.
Warning: place p1004 is not connected and has an initial marking.
Warning: place p1005 is not connected and has an initial marking.
Warning: place p1006 is not connected and has an initial marking.
Warning: place p1007 is not connected and has an initial marking.
Warning: place p1008 is not connected and has an initial marking.
Warning: place p1009 is not connected and has an initial marking.
Warning: place p1010 is not connected and has an initial marking.
Warning: place p1011 is not connected and has an initial marking.
Warning: place p1012 is not connected and has an initial marking.
Warning: place p1013 is not connected and has an initial marking.
Warning: place p1014 is not connected and has an initial marking.
Warning: place p1015 is not connected and has an initial marking.
Warning: place p1016 is not connected and has an initial marking.
Warning: place p1017 is not connected and has an initial marking.
Warning: place p1018 is not connected and has an initial marking.
Warning: place p1019 is not connected and has an initial marking.
Warning: place p1020 is not connected and has an initial marking.
Warning: place p1021 is not connected and has an initial marking.
Warning: place p1022 is not connected and has an initial marking.
Warning: place p1023 is not connected and has an initial marking.
Warning: place p1024 is not connected and has an initial marking.
Warning: place p1025 is not connected and has an initial marking.
Warning: place p1026 is not connected and has an initial marking.
Warning: place p1027 is not connected and has an initial marking.
Warning: place p1028 is not connected and has an initial marking.
Warning: place p1029 is not connected and has an initial marking.
Warning: place p1030 is not connected and has an initial marking.
Warning: place p1031 is not connected and has an initial marking.
Warning: place p1032 is not connected and has an initial marking.
Warning: place p1033 is not connected and has an initial marking.
Warning: place p1034 is not connected and has an initial marking.
Warning: place p1035 is not connected and has an initial marking.
Warning: place p1036 is not connected and has an initial marking.
Warning: place p1037 is not connected and has an initial marking.
Warning: place p1038 is not connected and has an initial marking.
Warning: place p1039 is not connected and has an initial marking.
Warning: place p1040 is not connected and has an initial marking.
Warning: place p1041 is not connected and has an initial marking.
Warning: place p1042 is not connected and has an initial marking.
Warning: place p1043 is not connected and has an initial marking.
Warning: place p1044 is not connected and has an initial marking.
Warning: place p1045 is not connected and has an initial marking.
Warning: place p1046 is not connected and has an initial marking.
Warning: place p1047 is not connected and has an initial marking.
Warning: place p1048 is not connected and has an initial marking.
Warning: place p1049 is not connected and has an initial marking.
Warning: place p1050 is not connected and has an initial marking.
Warning: place p1051 is not connected and has an initial marking.
Warning: place p1052 is not connected and has an initial marking.
Warning: place p1053 is not connected and has an initial marking.
Warning: place p1054 is not connected and has an initial marking.
Warning: place p1055 is not connected and has an initial marking.
Warning: place p1056 is not connected and has an initial marking.
Warning: place p1057 is not connected and has an initial marking.
Warning: place p1058 is not connected and has an initial marking.
Warning: place p1059 is not connected and has an initial marking.
Warning: place p1060 is not connected and has an initial marking.
Warning: place p1061 is not connected and has an initial marking.
Warning: place p1062 is not connected and has an initial marking.
Warning: place p1063 is not connected and has an initial marking.
Warning: place p1064 is not connected and has an initial marking.
Warning: place p1065 is not connected and has an initial marking.
Warning: place p1066 is not connected and has an initial marking.
Warning: place p1067 is not connected and has an initial marking.
Warning: place p1068 is not connected and has an initial marking.
Warning: place p1069 is not connected and has an initial marking.
Warning: place p1070 is not connected and has an initial marking.
Warning: place p1071 is not connected and has an initial marking.
Warning: place p1072 is not connected and has an initial marking.
Warning: place p1073 is not connected and has an initial marking.
Warning: place p1074 is not connected and has an initial marking.
Warning: place p1075 is not connected and has an initial marking.
Warning: place p1076 is not connected and has an initial marking.
Warning: place p1077 is not connected and has an initial marking.
Warning: place p1078 is not connected and has an initial marking.
Warning: place p1079 is not connected and has an initial marking.
Warning: place p1080 is not connected and has an initial marking.
Warning: place p1081 is not connected and has an initial marking.
Warning: place p1082 is not connected and has an initial marking.
Warning: place p1083 is not connected and has an initial marking.
Warning: place p1084 is not connected and has an initial marking.
Warning: place p1085 is not connected and has an initial marking.
Warning: place p1086 is not connected and has an initial marking.
Warning: place p1087 is not connected and has an initial marking.
Warning: place p1088 is not connected and has an initial marking.
Warning: place p1089 is not connected and has an initial marking.
Warning: place p1090 is not connected and has an initial marking.
Warning: place p1091 is not connected and has an initial marking.
Warning: place p1092 is not connected and has an initial marking.
Warning: place p1093 is not connected and has an initial marking.
Warning: place p1094 is not connected and has an initial marking.
Warning: place p1095 is not connected and has an initial marking.
Warning: place p1096 is not connected and has an initial marking.
Warning: place p1097 is not connected and has an initial marking.
Warning: place p1098 is not connected and has an initial marking.
Warning: place p1099 is not connected and has an initial marking.
Warning: place p1100 is not connected and has an initial marking.
Warning: place p1101 is not connected and has an initial marking.
Warning: place p1102 is not connected and has an initial marking.
Warning: place p1103 is not connected and has an initial marking.
Warning: place p1104 is not connected and has an initial marking.
Warning: place p1105 is not connected and has an initial marking.
Warning: place p1106 is not connected and has an initial marking.
Warning: place p1107 is not connected and has an initial marking.
Warning: place p1108 is not connected and has an initial marking.
Warning: place p1109 is not connected and has an initial marking.
Warning: place p1110 is not connected and has an initial marking.
Warning: place p1111 is not connected and has an initial marking.
Warning: place p1112 is not connected and has an initial marking.
Warning: place p1113 is not connected and has an initial marking.
Warning: place p1114 is not connected and has an initial marking.
Warning: place p1115 is not connected and has an initial marking.
Warning: place p1116 is not connected and has an initial marking.
Warning: place p1117 is not connected and has an initial marking.
Warning: place p1118 is not connected and has an initial marking.
Warning: place p1119 is not connected and has an initial marking.
Warning: place p1120 is not connected and has an initial marking.
Warning: place p1121 is not connected and has an initial marking.
Warning: place p1122 is not connected and has an initial marking.
Warning: place p1123 is not connected and has an initial marking.
Warning: place p1124 is not connected and has an initial marking.
Warning: place p1125 is not connected and has an initial marking.
Warning: place p1126 is not connected and has an initial marking.
Warning: place p1127 is not connected and has an initial marking.
Warning: place p1128 is not connected and has an initial marking.
Warning: place p1129 is not connected and has an initial marking.
Warning: place p1130 is not connected and has an initial marking.
Warning: place p1131 is not connected and has an initial marking.
Warning: place p1132 is not connected and has an initial marking.
Warning: place p1133 is not connected and has an initial marking.
Warning: place p1134 is not connected and has an initial marking.
Warning: place p1135 is not connected and has an initial marking.
Warning: place p1136 is not connected and has an initial marking.
Warning: place p1137 is not connected and has an initial marking.
Warning: place p1138 is not connected and has an initial marking.
Warning: place p1139 is not connected and has an initial marking.
Warning: place p1140 is not connected and has an initial marking.
Warning: place p1141 is not connected and has an initial marking.
Warning: place p1142 is not connected and has an initial marking.
Warning: place p1143 is not connected and has an initial marking.
Warning: place p1144 is not connected and has an initial marking.
Warning: place p1145 is not connected and has an initial marking.
Warning: place p1146 is not connected and has an initial marking.
Warning: place p1147 is not connected and has an initial marking.
Warning: place p1148 is not connected and has an initial marking.
Warning: place p1149 is not connected and has an initial marking.
Warning: place p1150 is not connected and has an initial marking.
Warning: place p1151 is not connected and has an initial marking.
Warning: place p1152 is not connected and has an initial marking.
Warning: place p1153 is not connected and has an initial marking.
Warning: place p1154 is not connected and has an initial marking.
Warning: place p1155 is not connected and has an initial marking.
Warning: place p1156 is not connected and has an initial marking.
Warning: place p1157 is not connected and has an initial marking.
Warning: place p1158 is not connected and has an initial marking.
Warning: place p1159 is not connected and has an initial marking.
Warning: place p1160 is not connected and has an initial marking.
Warning: place p1161 is not connected and has an initial marking.
Warning: place p1162 is not connected and has an initial marking.
Warning: place p1163 is not connected and has an initial marking.
Warning: place p1164 is not connected and has an initial marking.
Warning: place p1165 is not connected and has an initial marking.
Warning: place p1166 is not connected and has an initial marking.
Warning: place p1167 is not connected and has an initial marking.
Warning: place p1168 is not connected and has an initial marking.
Warning: place p1169 is not connected and has an initial marking.
Warning: place p1170 is not connected and has an initial marking.
Warning: place p1171 is not connected and has an initial marking.
Warning: place p1172 is not connected and has an initial marking.
Warning: place p1173 is not connected and has an initial marking.
Warning: place p1174 is not connected and has an initial marking.
Warning: place p1175 is not connected and has an initial marking.
Warning: place p1176 is not connected and has an initial marking.
Warning: place p1177 is not connected and has an initial marking.
Warning: place p1178 is not connected and has an initial marking.
Warning: place p1179 is not connected and has an initial marking.
Warning: place p1180 is not connected and has an initial marking.
Warning: place p1181 is not connected and has an initial marking.
Warning: place p1182 is not connected and has an initial marking.
Warning: place p1183 is not connected and has an initial marking.
Warning: place p1184 is not connected and has an initial marking.
Warning: place p1185 is not connected and has an initial marking.
Warning: place p1186 is not connected and has an initial marking.
Warning: place p1187 is not connected and has an initial marking.
Warning: place p1188 is not connected and has an initial marking.
Warning: place p1189 is not connected and has an initial marking.
Warning: place p1190 is not connected and has an initial marking.
Warning: place p1191 is not connected and has an initial marking.
Warning: place p1192 is not connected and has an initial marking.
Warning: place p1193 is not connected and has an initial marking.
Warning: place p1194 is not connected and has an initial marking.
Warning: place p1195 is not connected and has an initial marking.
Warning: place p1196 is not connected and has an initial marking.
Warning: place p1197 is not connected and has an initial marking.
Warning: place p1198 is not connected and has an initial marking.
Warning: place p1199 is not connected and has an initial marking.
Warning: place p1200 is not connected and has an initial marking.
Warning: place p1201 is not connected and has an initial marking.
Warning: place p1202 is not connected and has an initial marking.
Warning: place p1203 is not connected and has an initial marking.
Warning: place p1204 is not connected and has an initial marking.
Warning: place p1205 is not connected and has an initial marking.
Warning: place p1206 is not connected and has an initial marking.
Warning: place p1207 is not connected and has an initial marking.
Warning: place p1208 is not connected and has an initial marking.
Warning: place p1209 is not connected and has an initial marking.
Warning: place p1210 is not connected and has an initial marking.
Warning: place p1211 is not connected and has an initial marking.
Warning: place p1212 is not connected and has an initial marking.
Warning: place p1213 is not connected and has an initial marking.
Warning: place p1214 is not connected and has an initial marking.
Warning: place p1215 is not connected and has an initial marking.
Warning: place p1216 is not connected and has an initial marking.
Warning: place p1217 is not connected and has an initial marking.
Warning: place p1218 is not connected and has an initial marking.
Warning: place p1219 is not connected and has an initial marking.
Warning: place p1220 is not connected and has an initial marking.
Warning: place p1221 is not connected and has an initial marking.
Warning: place p1222 is not connected and has an initial marking.
Warning: place p1223 is not connected and has an initial marking.
Warning: place p1224 is not connected and has an initial marking.
Warning: place p1225 is not connected and has an initial marking.
Warning: place p1226 is not connected and has an initial marking.
Warning: place p1227 is not connected and has an initial marking.
Warning: place p1228 is not connected and has an initial marking.
Warning: place p1229 is not connected and has an initial marking.
Warning: place p1230 is not connected and has an initial marking.
Warning: place p1231 is not connected and has an initial marking.
Warning: place p1232 is not connected and has an initial marking.
Warning: place p1233 is not connected and has an initial marking.
Warning: place p1234 is not connected and has an initial marking.
Warning: place p1235 is not connected and has an initial marking.
Warning: place p1236 is not connected and has an initial marking.
Warning: place p1237 is not connected and has an initial marking.
Warning: place p1238 is not connected and has an initial marking.
Warning: place p1239 is not connected and has an initial marking.
Warning: place p1240 is not connected and has an initial marking.
Warning: place p1241 is not connected and has an initial marking.
Warning: place p1242 is not connected and has an initial marking.
Warning: place p1243 is not connected and has an initial marking.
Warning: place p1244 is not connected and has an initial marking.
Warning: place p1245 is not connected and has an initial marking.
Warning: place p1246 is not connected and has an initial marking.
Warning: place p1247 is not connected and has an initial marking.
Warning: place p1248 is not connected and has an initial marking.
Warning: place p1249 is not connected and has an initial marking.
Warning: place p1250 is not connected and has an initial marking.
Warning: place p1251 is not connected and has an initial marking.
Warning: place p1252 is not connected and has an initial marking.
Warning: place p1253 is not connected and has an initial marking.
Warning: place p1254 is not connected and has an initial marking.
Warning: place p1255 is not connected and has an initial marking.
Warning: place p1256 is not connected and has an initial marking.
Warning: place p1257 is not connected and has an initial marking.
Warning: place p1258 is not connected and has an initial marking.
Warning: place p1259 is not connected and has an initial marking.
Warning: place p1260 is not connected and has an initial marking.
Warning: place p1261 is not connected and has an initial marking.
Warning: place p1262 is not connected and has an initial marking.
Warning: place p1263 is not connected and has an initial marking.
Warning: place p1264 is not connected and has an initial marking.
Warning: place p1265 is not connected and has an initial marking.
Warning: place p1266 is not connected and has an initial marking.
Warning: place p1267 is not connected and has an initial marking.
Warning: place p1268 is not connected and has an initial marking.
Warning: place p1269 is not connected and has an initial marking.
Warning: place p1270 is not connected and has an initial marking.
Warning: place p1271 is not connected and has an initial marking.
Warning: place p1272 is not connected and has an initial marking.
Warning: place p1273 is not connected and has an initial marking.
Warning: place p1274 is not connected and has an initial marking.
Warning: place p1275 is not connected and has an initial marking.
Warning: place p1276 is not connected and has an initial marking.
Warning: place p1277 is not connected and has an initial marking.
Warning: place p1278 is not connected and has an initial marking.
Warning: place p1279 is not connected and has an initial marking.
Warning: place p1280 is not connected and has an initial marking.
Warning: place p1281 is not connected and has an initial marking.
Warning: place p1282 is not connected and has an initial marking.
Warning: place p1283 is not connected and has an initial marking.
Warning: place p1284 is not connected and has an initial marking.
Warning: place p1285 is not connected and has an initial marking.
Warning: place p1286 is not connected and has an initial marking.
Warning: place p1287 is not connected and has an initial marking.
Warning: place p1288 is not connected and has an initial marking.
Warning: place p1289 is not connected and has an initial marking.
Warning: place p1290 is not connected and has an initial marking.
Warning: place p1291 is not connected and has an initial marking.
Warning: place p1292 is not connected and has an initial marking.
Warning: place p1293 is not connected and has an initial marking.
Warning: place p1294 is not connected and has an initial marking.
Warning: place p1295 is not connected and has an initial marking.
Warning: place p1296 is not connected and has an initial marking.
Warning: place p1297 is not connected and has an initial marking.
Warning: place p1298 is not connected and has an initial marking.
Warning: place p1299 is not connected and has an initial marking.
Warning: place p1300 is not connected and has an initial marking.
Warning: place p1301 is not connected and has an initial marking.
Warning: place p1302 is not connected and has an initial marking.
Warning: place p1303 is not connected and has an initial marking.
Warning: place p1304 is not connected and has an initial marking.
Warning: place p1305 is not connected and has an initial marking.
Warning: place p1306 is not connected and has an initial marking.
Warning: place p1307 is not connected and has an initial marking.
Warning: place p1308 is not connected and has an initial marking.
Warning: place p1309 is not connected and has an initial marking.
Warning: place p1310 is not connected and has an initial marking.
Warning: place p1311 is not connected and has an initial marking.
Warning: place p1312 is not connected and has an initial marking.
Warning: place p1313 is not connected and has an initial marking.
Warning: place p1314 is not connected and has an initial marking.
Warning: place p1315 is not connected and has an initial marking.
Warning: place p1316 is not connected and has an initial marking.
Warning: place p1317 is not connected and has an initial marking.
Warning: place p1318 is not connected and has an initial marking.
Warning: place p1319 is not connected and has an initial marking.
Warning: place p1320 is not connected and has an initial marking.
Warning: place p1321 is not connected and has an initial marking.
Warning: place p1322 is not connected and has an initial marking.
Warning: place p1323 is not connected and has an initial marking.
Warning: place p1324 is not connected and has an initial marking.
Warning: place p1325 is not connected and has an initial marking.
Warning: place p1326 is not connected and has an initial marking.
Warning: place p1327 is not connected and has an initial marking.
Warning: place p1328 is not connected and has an initial marking.
Warning: place p1329 is not connected and has an initial marking.
Warning: place p1330 is not connected and has an initial marking.
Warning: place p1331 is not connected and has an initial marking.
Warning: place p1332 is not connected and has an initial marking.
Warning: place p1333 is not connected and has an initial marking.
Warning: place p1334 is not connected and has an initial marking.
Warning: place p1335 is not connected and has an initial marking.
Warning: place p1336 is not connected and has an initial marking.
Warning: place p1337 is not connected and has an initial marking.
Warning: place p1338 is not connected and has an initial marking.
Warning: place p1339 is not connected and has an initial marking.
Warning: place p1340 is not connected and has an initial marking.
Warning: place p1341 is not connected and has an initial marking.
Warning: place p1342 is not connected and has an initial marking.
Warning: place p1343 is not connected and has an initial marking.
Warning: place p1344 is not connected and has an initial marking.
Warning: place p1345 is not connected and has an initial marking.
Warning: place p1346 is not connected and has an initial marking.
Warning: place p1347 is not connected and has an initial marking.
Warning: place p1348 is not connected and has an initial marking.
Warning: place p1349 is not connected and has an initial marking.
Warning: place p1350 is not connected and has an initial marking.
Warning: place p1351 is not connected and has an initial marking.
Warning: place p1352 is not connected and has an initial marking.
Warning: place p1353 is not connected and has an initial marking.
Warning: place p1354 is not connected and has an initial marking.
Warning: place p1355 is not connected and has an initial marking.
Warning: place p1356 is not connected and has an initial marking.
Warning: place p1357 is not connected and has an initial marking.
Warning: place p1358 is not connected and has an initial marking.
Warning: place p1359 is not connected and has an initial marking.
Warning: place p1360 is not connected and has an initial marking.
Warning: place p1361 is not connected and has an initial marking.
Warning: place p1362 is not connected and has an initial marking.
Warning: place p1363 is not connected and has an initial marking.
Warning: place p1364 is not connected and has an initial marking.
Warning: place p1365 is not connected and has an initial marking.
Warning: place p1366 is not connected and has an initial marking.
Warning: place p1367 is not connected and has an initial marking.
Warning: place p1368 is not connected and has an initial marking.
Warning: place p1369 is not connected and has an initial marking.
Warning: place p1370 is not connected and has an initial marking.
Warning: place p1371 is not connected and has an initial marking.
Warning: place p1372 is not connected and has an initial marking.
Warning: place p1373 is not connected and has an initial marking.
Warning: place p1374 is not connected and has an initial marking.
Warning: place p1375 is not connected and has an initial marking.
Warning: place p1376 is not connected and has an initial marking.
Warning: place p1377 is not connected and has an initial marking.
Warning: place p1378 is not connected and has an initial marking.
Warning: place p1379 is not connected and has an initial marking.
Warning: place p1380 is not connected and has an initial marking.
Warning: place p1381 is not connected and has an initial marking.
Warning: place p1382 is not connected and has an initial marking.
Warning: place p1383 is not connected and has an initial marking.
Warning: place p1384 is not connected and has an initial marking.
Warning: place p1385 is not connected and has an initial marking.
Warning: place p1386 is not connected and has an initial marking.
Warning: place p1387 is not connected and has an initial marking.
Warning: place p1388 is not connected and has an initial marking.
Warning: place p1389 is not connected and has an initial marking.
Warning: place p1390 is not connected and has an initial marking.
Warning: place p1391 is not connected and has an initial marking.
Warning: place p1392 is not connected and has an initial marking.
Warning: place p1393 is not connected and has an initial marking.
Warning: place p1394 is not connected and has an initial marking.
Warning: place p1395 is not connected and has an initial marking.
Warning: place p1396 is not connected and has an initial marking.
Warning: place p1397 is not connected and has an initial marking.
Warning: place p1398 is not connected and has an initial marking.
Warning: place p1399 is not connected and has an initial marking.
Warning: place p1400 is not connected and has an initial marking.
Warning: place p1401 is not connected and has an initial marking.
Warning: place p1402 is not connected and has an initial marking.
Warning: place p1403 is not connected and has an initial marking.
Warning: place p1404 is not connected and has an initial marking.
Warning: place p1405 is not connected and has an initial marking.
Warning: place p1406 is not connected and has an initial marking.
Warning: place p1407 is not connected and has an initial marking.
Warning: place p1408 is not connected and has an initial marking.
Warning: place p1409 is not connected and has an initial marking.
Warning: place p1410 is not connected and has an initial marking.
Warning: place p1411 is not connected and has an initial marking.
Warning: place p1412 is not connected and has an initial marking.
Warning: place p1413 is not connected and has an initial marking.
Warning: place p1414 is not connected and has an initial marking.
Warning: place p1415 is not connected and has an initial marking.
Warning: place p1416 is not connected and has an initial marking.
Warning: place p1417 is not connected and has an initial marking.
Warning: place p1418 is not connected and has an initial marking.
Warning: place p1419 is not connected and has an initial marking.
Warning: place p1420 is not connected and has an initial marking.
Warning: place p1421 is not connected and has an initial marking.
Warning: place p1422 is not connected and has an initial marking.
Warning: place p1423 is not connected and has an initial marking.
Warning: place p1424 is not connected and has an initial marking.
Warning: place p1425 is not connected and has an initial marking.
Warning: place p1426 is not connected and has an initial marking.
Warning: place p1427 is not connected and has an initial marking.
Warning: place p1428 is not connected and has an initial marking.
Warning: place p1429 is not connected and has an initial marking.
Warning: place p1430 is not connected and has an initial marking.
Warning: place p1431 is not connected and has an initial marking.
Warning: place p1432 is not connected and has an initial marking.
Warning: place p1433 is not connected and has an initial marking.
Warning: place p1434 is not connected and has an initial marking.
Warning: place p1435 is not connected and has an initial marking.
Warning: place p1436 is not connected and has an initial marking.
Warning: place p1437 is not connected and has an initial marking.
Warning: place p1438 is not connected and has an initial marking.
Warning: place p1439 is not connected and has an initial marking.
Warning: place p1440 is not connected and has an initial marking.
Warning: place p1441 is not connected and has an initial marking.
Warning: place p1442 is not connected and has an initial marking.
Warning: place p1443 is not connected and has an initial marking.
Warning: place p1444 is not connected and has an initial marking.
Warning: place p1445 is not connected and has an initial marking.
Warning: place p1446 is not connected and has an initial marking.
Warning: place p1447 is not connected and has an initial marking.
Warning: place p1448 is not connected and has an initial marking.
Warning: place p1449 is not connected and has an initial marking.
Warning: place p1450 is not connected and has an initial marking.
Warning: place p1451 is not connected and has an initial marking.
Warning: place p1452 is not connected and has an initial marking.
Warning: place p1453 is not connected and has an initial marking.
Warning: place p1454 is not connected and has an initial marking.
Warning: place p1455 is not connected and has an initial marking.
Warning: place p1456 is not connected and has an initial marking.
Warning: place p1457 is not connected and has an initial marking.
Warning: place p1458 is not connected and has an initial marking.
Warning: place p1459 is not connected and has an initial marking.
Warning: place p1460 is not connected and has an initial marking.
Warning: place p1461 is not connected and has an initial marking.
Warning: place p1462 is not connected and has an initial marking.
Warning: place p1463 is not connected and has an initial marking.
Warning: place p1464 is not connected and has an initial marking.
Warning: place p1465 is not connected and has an initial marking.
Warning: place p1466 is not connected and has an initial marking.
Warning: place p1467 is not connected and has an initial marking.
Warning: place p1468 is not connected and has an initial marking.
Warning: place p1469 is not connected and has an initial marking.
Warning: place p1470 is not connected and has an initial marking.
Warning: place p1471 is not connected and has an initial marking.
Warning: place p1472 is not connected and has an initial marking.
Warning: place p1473 is not connected and has an initial marking.
Warning: place p1474 is not connected and has an initial marking.
Warning: place p1475 is not connected and has an initial marking.
Warning: place p1476 is not connected and has an initial marking.
Warning: place p1477 is not connected and has an initial marking.
Warning: place p1478 is not connected and has an initial marking.
Warning: place p1479 is not connected and has an initial marking.
Warning: place p1480 is not connected and has an initial marking.
Warning: place p1481 is not connected and has an initial marking.
Warning: place p1482 is not connected and has an initial marking.
Warning: place p1483 is not connected and has an initial marking.
Warning: place p1484 is not connected and has an initial marking.
Warning: place p1485 is not connected and has an initial marking.
Warning: place p1486 is not connected and has an initial marking.
Warning: place p1487 is not connected and has an initial marking.
Warning: place p1488 is not connected and has an initial marking.
Warning: place p1489 is not connected and has an initial marking.
Warning: place p1490 is not connected and has an initial marking.
Warning: place p1491 is not connected and has an initial marking.
Warning: place p1492 is not connected and has an initial marking.
Warning: place p1493 is not connected and has an initial marking.
Warning: place p1494 is not connected and has an initial marking.
Warning: place p1495 is not connected and has an initial marking.
Warning: place p1496 is not connected and has an initial marking.
Warning: place p1497 is not connected and has an initial marking.
Warning: place p1498 is not connected and has an initial marking.
Warning: place p1499 is not connected and has an initial marking.
Warning: place p1500 is not connected and has an initial marking.
Warning: place p1501 is not connected and has an initial marking.
Warning: place p1502 is not connected and has an initial marking.
Warning: place p1503 is not connected and has an initial marking.
Warning: place p1504 is not connected and has an initial marking.
Warning: place p1505 is not connected and has an initial marking.
Warning: place p1506 is not connected and has an initial marking.

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="AirplaneLD-COL-0500"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="pnmc"
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 pnmc"
echo " Input is AirplaneLD-COL-0500, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r002-oct2-167813589500216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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