MCC'2018 - Execution of r064-smll-152649735500314

About the Execution of LoLA for DNAwalker-PT-13ringRLLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3081.670	3570374.00	7186244.00	7192.50	[undef]	Cannot compute

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to
........................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool lola
Input is DNAwalker-P
Time confinement
Memory confinement
Number of cores is 4
Run identifier
========================

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME DNAwalker-P

=== Now, execution

BK_START 1526833716240

info: Time: 3600 - MCC
========================
prep: translating
========================
prep: translating
prep: check for too many tokens
========================
prep: translating
========================
prep: translating
vrfy: Checking
lola: LoLA will
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 345/65536
lola: preprocessing...
lola: Size of bit vector: 1056
lola: finding
lola: 33 places,
lola: computing
lola: computing
lola: 197 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: rewrite
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: computing
lola: stp: The
lola: time limit
lola: computed
lola: representing 1 symmetries
lola: 0 dead
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: time limit
lola: memory consumption:
lola: time consumption:

BK_STOP 1526837286614

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

be ready (probing ssh) ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... users 3.2K May 15 18:54 CTLCardinality.txt 18K May 15 18:54 CTLCardinality.xml users 2.6K May 15 18:54 CTLFireability.txt 15K May 15 18:54 CTLFireability.xml users 4.0K May 15 18:50 GenericPropertiesDefinition.xml users 5.6K May 15 18:50 GenericPropertiesVerdict.xml users 2.4K May 15 18:54 LTLCardinality.txt 11K May 15 18:54 LTLCardinality.xml users 2.0K May 15 18:54 LTLFireability.txt users 9.0K May 15 18:54 LTLFireability.xml users 3.9K May 15 18:54 ReachabilityCardinality.txt 22K May 15 18:54 ReachabilityCardinality.xml 117 May 15 18:54 ReachabilityDeadlock.txt 355 May 15 18:54 ReachabilityDeadlock.xml users 3.1K May 15 18:54 ReachabilityFireability.txt 19K May 15 18:54 ReachabilityFireability.xml users 1.7K May 15 18:54 UpperBounds.txt users 3.8K May 15 18:54 UpperBounds.xml 6 May 15 18:50 equiv_col 14 May 15 18:50 instance 6 May 15 18:50 iscolored users 135K May 15 18:50 model.pnml =================================================================== T-13ringRLLarge, examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735500314 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) T-13ringRLLarge-ReachabilityDeadlock-0 of the tool begins =================================================================== DNAwalker-PT-13ringRLLarge Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DNAwalker-PT-13ringRLLarge formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DNAwalker-PT-13ringRLLarge @ 3570 seconds run for 3570 seconds at most (--timelimit) net from model.pnml.lola net file model.pnml.lola symbol table entries, 0 collisions significant places 312 transitions, 33 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DNAwalker-PT-13ringRLLarge-ReachabilityDeadlock.task Frontend/Parser/formula_rewrite.k:106 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) simple compression encoder (--encoder=simplecompressed) prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) symmetries (--symmetry) siphon/trap property is not applicable since the net is inhomogeneous for symmetry computation of 300 seconds given (--symmtimelimit) 0 generators (0 in search tree, 0 by composition) branches visited in search tree starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly 1 tries, 154278 fired transitions, 0 secs || 134281 markings, 467335 edges, 26856 markings/sec, 0 secs 1 tries, 315368 fired transitions, 5 secs || 270135 markings, 994105 edges, 27171 markings/sec, 5 secs 1 tries, 467003 fired transitions, 10 secs || 400560 markings, 1485272 edges, 26085 markings/sec, 10 secs 1 tries, 611329 fired transitions, 15 secs || 525452 markings, 1944128 edges, 24978 markings/sec, 15 secs 1 tries, 753517 fired transitions, 20 secs || 650651 markings, 2379848 edges, 25040 markings/sec, 20 secs 1 tries, 911665 fired transitions, 25 secs || 785501 markings, 2907120 edges, 26970 markings/sec, 25 secs 2 tries, 1070816 fired transitions, 30 secs || 921383 markings, 3419158 edges, 27176 markings/sec, 30 secs 2 tries, 1231305 fired transitions, 35 secs || 1055178 markings, 3947282 edges, 26759 markings/sec, 35 secs 2 tries, 1390047 fired transitions, 40 secs || 1193113 markings, 4396818 edges, 27587 markings/sec, 40 secs 2 tries, 1532049 fired transitions, 45 secs || 1316114 markings, 4879700 edges, 24600 markings/sec, 45 secs 2 tries, 1691308 fired transitions, 50 secs || 1452826 markings, 5360443 edges, 27342 markings/sec, 50 secs 2 tries, 1851030 fired transitions, 55 secs || 1591665 markings, 5788837 edges, 27768 markings/sec, 55 secs 3 tries, 2005668 fired transitions, 60 secs || 1722759 markings, 6293206 edges, 26219 markings/sec, 60 secs 3 tries, 2145765 fired transitions, 65 secs || 1846928 markings, 6794847 edges, 24834 markings/sec, 65 secs 3 tries, 2287277 fired transitions, 70 secs || 1969198 markings, 7314811 edges, 24454 markings/sec, 70 secs 3 tries, 2428852 fired transitions, 75 secs || 2090726 markings, 7832411 edges, 24306 markings/sec, 75 secs 3 tries, 2585490 fired transitions, 80 secs || 2223066 markings, 8391901 edges, 26468 markings/sec, 80 secs 3 tries, 2741908 fired transitions, 85 secs || 2356638 markings, 8923757 edges, 26714 markings/sec, 85 secs 3 tries, 2888440 fired transitions, 90 secs || 2482132 markings, 9441934 edges, 25099 markings/sec, 90 secs 4 tries, 3030241 fired transitions, 95 secs || 2604032 markings, 9926384 edges, 24380 markings/sec, 95 secs 4 tries, 3172520 fired transitions, 100 secs || 2724082 markings, 10447446 edges, 24010 markings/sec, 100 secs 4 tries, 3314567 fired transitions, 105 secs || 2845836 markings, 10927503 edges, 24351 markings/sec, 105 secs 4 tries, 3456669 fired transitions, 110 secs || 2967224 markings, 11402176 edges, 24278 markings/sec, 110 secs 4 tries, 3599557 fired transitions, 115 secs || 3085075 markings, 11914254 edges, 23570 markings/sec, 115 secs 4 tries, 3742352 fired transitions, 120 secs || 3203434 markings, 12423364 edges, 23672 markings/sec, 120 secs 4 tries, 3885231 fired transitions, 125 secs || 3321264 markings, 12941308 edges, 23566 markings/sec, 125 secs 5 tries, 4028938 fired transitions, 130 secs || 3438732 markings, 13450926 edges, 23494 markings/sec, 130 secs 5 tries, 4171387 fired transitions, 135 secs || 3560861 markings, 13902815 edges, 24426 markings/sec, 135 secs 5 tries, 4313457 fired transitions, 140 secs || 3685270 markings, 14327420 edges, 24882 markings/sec, 140 secs 5 tries, 4463359 fired transitions, 145 secs || 3818964 markings, 14777635 edges, 26739 markings/sec, 145 secs 5 tries, 4609432 fired transitions, 150 secs || 3942709 markings, 15239275 edges, 24749 markings/sec, 150 secs 5 tries, 4755534 fired transitions, 155 secs || 4059324 markings, 15767865 edges, 23323 markings/sec, 155 secs 5 tries, 4913734 fired transitions, 160 secs || 4189760 markings, 16317611 edges, 26087 markings/sec, 160 secs 6 tries, 5071382 fired transitions, 165 secs || 4321031 markings, 16872841 edges, 26254 markings/sec, 165 secs 6 tries, 5228723 fired transitions, 170 secs || 4451333 markings, 17427147 edges, 26060 markings/sec, 170 secs 6 tries, 5383722 fired transitions, 175 secs || 4580180 markings, 17978530 edges, 25769 markings/sec, 175 secs 6 tries, 5532117 fired transitions, 180 secs || 4702349 markings, 18496170 edges, 24434 markings/sec, 180 secs 6 tries, 5689580 fired transitions, 185 secs || 4832982 markings, 19048371 edges, 26127 markings/sec, 185 secs 6 tries, 5846992 fired transitions, 190 secs || 4961294 markings, 19614974 edges, 25662 markings/sec, 190 secs 7 tries, 6004591 fired transitions, 195 secs || 5090026 markings, 20208701 edges, 25746 markings/sec, 195 secs 7 tries, 6167167 fired transitions, 200 secs || 5223594 markings, 20775312 edges, 26714 markings/sec, 200 secs 7 tries, 6329828 fired transitions, 205 secs || 5351525 markings, 21358986 edges, 25586 markings/sec, 205 secs 7 tries, 6492244 fired transitions, 210 secs || 5481129 markings, 21946089 edges, 25921 markings/sec, 210 secs 7 tries, 6647361 fired transitions, 215 secs || 5606576 markings, 22426509 edges, 25089 markings/sec, 215 secs 7 tries, 6809425 fired transitions, 220 secs || 5735724 markings, 22989342 edges, 25830 markings/sec, 220 secs 7 tries, 6970068 fired transitions, 225 secs || 5862672 markings, 23557390 edges, 25390 markings/sec, 225 secs 8 tries, 7116613 fired transitions, 230 secs || 5979441 markings, 24042535 edges, 23354 markings/sec, 230 secs 8 tries, 7263128 fired transitions, 235 secs || 6094599 markings, 24550423 edges, 23032 markings/sec, 235 secs 8 tries, 7409123 fired transitions, 240 secs || 6211861 markings, 25046528 edges, 23452 markings/sec, 240 secs 8 tries, 7555496 fired transitions, 245 secs || 6326935 markings, 25539947 edges, 23015 markings/sec, 245 secs 8 tries, 7701498 fired transitions, 250 secs || 6444413 markings, 26035019 edges, 23496 markings/sec, 250 secs 8 tries, 7847743 fired transitions, 255 secs || 6559736 markings, 26541700 edges, 23065 markings/sec, 255 secs 8 tries, 7994318 fired transitions, 260 secs || 6674519 markings, 27024386 edges, 22957 markings/sec, 260 secs 9 tries, 8140303 fired transitions, 265 secs || 6788167 markings, 27546799 edges, 22730 markings/sec, 265 secs 9 tries, 8286226 fired transitions, 270 secs || 6901322 markings, 28054371 edges, 22631 markings/sec, 270 secs 9 tries, 8432076 fired transitions, 275 secs || 7015151 markings, 28551025 edges, 22766 markings/sec, 275 secs 9 tries, 8578243 fired transitions, 280 secs || 7127591 markings, 29065380 edges, 22488 markings/sec, 280 secs 9 tries, 8723946 fired transitions, 285 secs || 7242394 markings, 29565881 edges, 22961 markings/sec, 285 secs 9 tries, 8869998 fired transitions, 290 secs || 7355562 markings, 30073079 edges, 22634 markings/sec, 290 secs 10 tries, 9015753 fired transitions, 295 secs || 7471187 markings, 30581570 edges, 23125 markings/sec, 295 secs 10 tries, 9161850 fired transitions, 300 secs || 7588709 markings, 31131016 edges, 23504 markings/sec, 300 secs 10 tries, 9307917 fired transitions, 305 secs || 7706772 markings, 31664036 edges, 23613 markings/sec, 305 secs 10 tries, 9453998 fired transitions, 310 secs || 7824582 markings, 32181486 edges, 23562 markings/sec, 310 secs 10 tries, 9600298 fired transitions, 315 secs || 7940937 markings, 32736936 edges, 23271 markings/sec, 315 secs 10 tries, 9746159 fired transitions, 320 secs || 8059588 markings, 33254538 edges, 23730 markings/sec, 320 secs 10 tries, 9892588 fired transitions, 325 secs || 8174462 markings, 33814741 edges, 22975 markings/sec, 325 secs 11 tries, 10038523 fired transitions, 330 secs || 8290089 markings, 34361980 edges, 23125 markings/sec, 330 secs 11 tries, 10183259 fired transitions, 335 secs || 8406401 markings, 34869509 edges, 23262 markings/sec, 335 secs 11 tries, 10328007 fired transitions, 340 secs || 8523936 markings, 35364989 edges, 23507 markings/sec, 340 secs 11 tries, 10472699 fired transitions, 345 secs || 8641124 markings, 35867799 edges, 23438 markings/sec, 345 secs 11 tries, 10616655 fired transitions, 350 secs || 8761858 markings, 36298802 edges, 24147 markings/sec, 350 secs 11 tries, 10760713 fired transitions, 355 secs || 8881259 markings, 36743315 edges, 23880 markings/sec, 355 secs 11 tries, 10911785 fired transitions, 360 secs || 9005521 markings, 37260001 edges, 24852 markings/sec, 360 secs 12 tries, 11070206 fired transitions, 365 secs || 9134701 markings, 37841493 edges, 25836 markings/sec, 365 secs 12 tries, 11228511 fired transitions, 370 secs || 9263608 markings, 38441374 edges, 25781 markings/sec, 370 secs 12 tries, 11386781 fired transitions, 375 secs || 9394454 markings, 39011890 edges, 26169 markings/sec, 375 secs 12 tries, 11545169 fired transitions, 380 secs || 9527061 markings, 39559196 edges, 26521 markings/sec, 380 secs 12 tries, 11697843 fired transitions, 385 secs || 9654375 markings, 40063004 edges, 25463 markings/sec, 385 secs 12 tries, 11855816 fired transitions, 390 secs || 9783296 markings, 40649718 edges, 25784 markings/sec, 390 secs 13 tries, 12013896 fired transitions, 395 secs || 9912988 markings, 41217102 edges, 25938 markings/sec, 395 secs 13 tries, 12173620 fired transitions, 400 secs || 10041939 markings, 41797671 edges, 25790 markings/sec, 400 secs 13 tries, 12333496 fired transitions, 405 secs || 10163598 markings, 42353320 edges, 24332 markings/sec, 405 secs 13 tries, 12493184 fired transitions, 410 secs || 10291908 markings, 42948912 edges, 25662 markings/sec, 410 secs 13 tries, 12652684 fired transitions, 415 secs || 10425543 markings, 43434340 edges, 26727 markings/sec, 415 secs 13 tries, 12812171 fired transitions, 420 secs || 10558526 markings, 43923310 edges, 26597 markings/sec, 420 secs 13 tries, 12972025 fired transitions, 425 secs || 10690187 markings, 44464247 edges, 26332 markings/sec, 425 secs 14 tries, 13133358 fired transitions, 430 secs || 10820058 markings, 45054006 edges, 25974 markings/sec, 430 secs 14 tries, 13294886 fired transitions, 435 secs || 10948308 markings, 45661504 edges, 25650 markings/sec, 435 secs 14 tries, 13443467 fired transitions, 440 secs || 11067643 markings, 46229382 edges, 23867 markings/sec, 440 secs 14 tries, 13588369 fired transitions, 445 secs || 11184036 markings, 46777575 edges, 23279 markings/sec, 445 secs 14 tries, 13734596 fired transitions, 450 secs || 11296922 markings, 47410083 edges, 22577 markings/sec, 450 secs 14 tries, 13879150 fired transitions, 455 secs || 11415243 markings, 47892464 edges, 23664 markings/sec, 455 secs 15 tries, 14023703 fired transitions, 460 secs || 11533662 markings, 48370581 edges, 23684 markings/sec, 460 secs 15 tries, 14166561 fired transitions, 465 secs || 11651525 markings, 48875185 edges, 23573 markings/sec, 465 secs 15 tries, 14309871 fired transitions, 470 secs || 11767878 markings, 49407961 edges, 23271 markings/sec, 470 secs 15 tries, 14453055 fired transitions, 475 secs || 11884675 markings, 49957438 edges, 23359 markings/sec, 475 secs 15 tries, 14596497 fired transitions, 480 secs || 12000102 markings, 50519922 edges, 23085 markings/sec, 480 secs 15 tries, 14739720 fired transitions, 485 secs || 12117217 markings, 51079679 edges, 23423 markings/sec, 485 secs 15 tries, 14883129 fired transitions, 490 secs || 12232401 markings, 51684256 edges, 23037 markings/sec, 490 secs 16 tries, 15026419 fired transitions, 495 secs || 12350097 markings, 52233300 edges, 23539 markings/sec, 495 secs 16 tries, 15170304 fired transitions, 500 secs || 12462779 markings, 52853615 edges, 22536 markings/sec, 500 secs 16 tries, 15314174 fired transitions, 505 secs || 12579911 markings, 53418593 edges, 23426 markings/sec, 505 secs 16 tries, 15458124 fired transitions, 510 secs || 12694771 markings, 54027209 edges, 22972 markings/sec, 510 secs 16 tries, 15601172 fired transitions, 515 secs || 12814641 markings, 54516206 edges, 23974 markings/sec, 515 secs 16 tries, 15744520 fired transitions, 520 secs || 12934119 markings, 55009817 edges, 23896 markings/sec, 520 secs 16 tries, 15887874 fired transitions, 525 secs || 13052326 markings, 55549251 edges, 23641 markings/sec, 525 secs 17 tries, 16031139 fired transitions, 530 secs || 13169339 markings, 56099916 edges, 23403 markings/sec, 530 secs 17 tries, 16173596 fired transitions, 535 secs || 13287480 markings, 56610769 edges, 23628 markings/sec, 535 secs 17 tries, 16316162 fired transitions, 540 secs || 13404857 markings, 57153195 edges, 23475 markings/sec, 540 secs 17 tries, 16458392 fired transitions, 545 secs || 13521813 markings, 57674841 edges, 23391 markings/sec, 545 secs 17 tries, 16600849 fired transitions, 550 secs || 13638737 markings, 58220512 edges, 23385 markings/sec, 550 secs 17 tries, 16742594 fired transitions, 555 secs || 13758685 markings, 58689106 edges, 23990 markings/sec, 555 secs 17 tries, 16884600 fired transitions, 560 secs || 13877290 markings, 59169224 edges, 23721 markings/sec, 560 secs 18 tries, 17027504 fired transitions, 565 secs || 13995048 markings, 59679877 edges, 23552 markings/sec, 565 secs 18 tries, 17173152 fired transitions, 570 secs || 14111934 markings, 60236292 edges, 23377 markings/sec, 570 secs 18 tries, 17318872 fired transitions, 575 secs || 14227528 markings, 60804081 edges, 23119 markings/sec, 575 secs 18 tries, 17464628 fired transitions, 580 secs || 14343032 markings, 61379618 edges, 23101 markings/sec, 580 secs 18 tries, 17615387 fired transitions, 585 secs || 14462465 markings, 61978998 edges, 23887 markings/sec, 585 secs 18 tries, 17776760 fired transitions, 590 secs || 14591300 markings, 62586957 edges, 25767 markings/sec, 590 secs 18 tries, 17937933 fired transitions, 595 secs || 14717662 markings, 63216085 edges, 25272 markings/sec, 595 secs 19 tries, 18099704 fired transitions, 600 secs || 14845806 markings, 63840321 edges, 25629 markings/sec, 600 secs 19 tries, 18262198 fired transitions, 605 secs || 14975887 markings, 64438384 edges, 26016 markings/sec, 605 secs 19 tries, 18424543 fired transitions, 610 secs || 15107794 markings, 64968684 edges, 26381 markings/sec, 610 secs 19 tries, 18586832 fired transitions, 615 secs || 15235038 markings, 65601724 edges, 25449 markings/sec, 615 secs 19 tries, 18748903 fired transitions, 620 secs || 15361992 markings, 66234880 edges, 25391 markings/sec, 620 secs 19 tries, 18910988 fired transitions, 625 secs || 15488825 markings, 66870145 edges, 25367 markings/sec, 625 secs 20 tries, 19071889 fired transitions, 630 secs || 15619826 markings, 67440301 edges, 26200 markings/sec, 630 secs 20 tries, 19229837 fired transitions, 635 secs || 15749363 markings, 68026021 edges, 25907 markings/sec, 635 secs 20 tries, 19378464 fired transitions, 640 secs || 15873404 markings, 68602787 edges, 24808 markings/sec, 640 secs 20 tries, 19519946 fired transitions, 645 secs || 15988859 markings, 69164196 edges, 23091 markings/sec, 645 secs 20 tries, 19676316 fired transitions, 650 secs || 16115762 markings, 69780220 edges, 25381 markings/sec, 650 secs 20 tries, 19833775 fired transitions, 655 secs || 16244655 markings, 70412974 edges, 25779 markings/sec, 655 secs 20 tries, 19974563 fired transitions, 660 secs || 16363028 markings, 70981945 edges, 23675 markings/sec, 660 secs 21 tries, 20117186 fired transitions, 665 secs || 16481542 markings, 71565366 edges, 23703 markings/sec, 665 secs 21 tries, 20260277 fired transitions, 670 secs || 16599476 markings, 72183678 edges, 23587 markings/sec, 670 secs 21 tries, 20403068 fired transitions, 675 secs || 16720087 markings, 72735285 edges, 24122 markings/sec, 675 secs 21 tries, 20545906 fired transitions, 680 secs || 16841718 markings, 73247822 edges, 24326 markings/sec, 680 secs 21 tries, 20689788 fired transitions, 685 secs || 16961100 markings, 73796733 edges, 23876 markings/sec, 685 secs 21 tries, 20834249 fired transitions, 690 secs || 17076682 markings, 74407381 edges, 23116 markings/sec, 690 secs 21 tries, 20978449 fired transitions, 695 secs || 17192843 markings, 74985415 edges, 23232 markings/sec, 695 secs 22 tries, 21120747 fired transitions, 700 secs || 17319201 markings, 75422520 edges, 25272 markings/sec, 700 secs 22 tries, 21262610 fired transitions, 705 secs || 17446121 markings, 75833613 edges, 25384 markings/sec, 705 secs 22 tries, 21404902 fired transitions, 710 secs || 17571442 markings, 76267992 edges, 25064 markings/sec, 710 secs 22 tries, 21547944 fired transitions, 715 secs || 17694780 markings, 76745826 edges, 24668 markings/sec, 715 secs 22 tries, 21690879 fired transitions, 720 secs || 17818043 markings, 77229082 edges, 24653 markings/sec, 720 secs 22 tries, 21834622 fired transitions, 725 secs || 17940520 markings, 77725196 edges, 24495 markings/sec, 725 secs 22 tries, 21977965 fired transitions, 730 secs || 18062929 markings, 78221101 edges, 24482 markings/sec, 730 secs 23 tries, 22117221 fired transitions, 735 secs || 18186572 markings, 78658757 edges, 24729 markings/sec, 735 secs 23 tries, 22256567 fired transitions, 740 secs || 18308442 markings, 79138584 edges, 24374 markings/sec, 740 secs 23 tries, 22397873 fired transitions, 745 secs || 18429416 markings, 79640789 edges, 24195 markings/sec, 745 secs 23 tries, 22537513 fired transitions, 750 secs || 18550723 markings, 80127496 edges, 24261 markings/sec, 750 secs 23 tries, 22676476 fired transitions, 755 secs || 18671556 markings, 80615093 edges, 24167 markings/sec, 755 secs 23 tries, 22815308 fired transitions, 760 secs || 18792630 markings, 81095126 edges, 24215 markings/sec, 760 secs 23 tries, 22953695 fired transitions, 765 secs || 18915282 markings, 81567216 edges, 24530 markings/sec, 765 secs 24 tries, 23090395 fired transitions, 770 secs || 19041567 markings, 81975833 edges, 25257 markings/sec, 770 secs 24 tries, 23227393 fired transitions, 775 secs || 19166123 markings, 82411957 edges, 24911 markings/sec, 775 secs 24 tries, 23363766 fired transitions, 780 secs || 19291148 markings, 82829654 edges, 25005 markings/sec, 780 secs 24 tries, 23500963 fired transitions, 785 secs || 19414631 markings, 83271929 edges, 24697 markings/sec, 785 secs 24 tries, 23638285 fired transitions, 790 secs || 19536367 markings, 83743758 edges, 24347 markings/sec, 790 secs 24 tries, 23776171 fired transitions, 795 secs || 19658409 markings, 84204917 edges, 24408 markings/sec, 795 secs 24 tries, 23913888 fired transitions, 800 secs || 19780797 markings, 84664510 edges, 24478 markings/sec, 800 secs 25 tries, 24053562 fired transitions, 805 secs || 19901573 markings, 85161700 edges, 24155 markings/sec, 805 secs 25 tries, 24194923 fired transitions, 810 secs || 20021278 markings, 85675015 edges, 23941 markings/sec, 810 secs 25 tries, 24335960 fired transitions, 815 secs || 20141784 markings, 86174465 edges, 24101 markings/sec, 815 secs 25 tries, 24477093 fired transitions, 820 secs || 20261502 markings, 86692200 edges, 23944 markings/sec, 820 secs 25 tries, 24619469 fired transitions, 825 secs || 20380736 markings, 87223834 edges, 23847 markings/sec, 825 secs 25 tries, 24760955 fired transitions, 830 secs || 20499699 markings, 87754123 edges, 23793 markings/sec, 830 secs 25 tries, 24903427 fired transitions, 835 secs || 20618427 markings, 88288831 edges, 23746 markings/sec, 835 secs 26 tries, 25045128 fired transitions, 840 secs || 20736202 markings, 88815647 edges, 23555 markings/sec, 840 secs 26 tries, 25187516 fired transitions, 845 secs || 20854472 markings, 89361654 edges, 23654 markings/sec, 845 secs 26 tries, 25330647 fired transitions, 850 secs || 20971764 markings, 89929667 edges, 23458 markings/sec, 850 secs 26 tries, 25472431 fired transitions, 855 secs || 21091238 markings, 90458195 edges, 23895 markings/sec, 855 secs 26 tries, 25617606 fired transitions, 860 secs || 21209548 markings, 91058552 edges, 23662 markings/sec, 860 secs 26 tries, 25776192 fired transitions, 865 secs || 21345003 markings, 91598391 edges, 27091 markings/sec, 865 secs 26 tries, 25935136 fired transitions, 870 secs || 21480364 markings, 92102763 edges, 27072 markings/sec, 870 secs 27 tries, 26095406 fired transitions, 875 secs || 21614045 markings, 92651310 edges, 26736 markings/sec, 875 secs 27 tries, 26256223 fired transitions, 880 secs || 21748542 markings, 93176141 edges, 26899 markings/sec, 880 secs 27 tries, 26416313 fired transitions, 885 secs || 21881633 markings, 93718373 edges, 26618 markings/sec, 885 secs 27 tries, 26577456 fired transitions, 890 secs || 22012746 markings, 94305648 edges, 26223 markings/sec, 890 secs 27 tries, 26738256 fired transitions, 895 secs || 22144193 markings, 94890984 edges, 26289 markings/sec, 895 secs 27 tries, 26897874 fired transitions, 900 secs || 22275814 markings, 95470412 edges, 26324 markings/sec, 900 secs 28 tries, 27045015 fired transitions, 905 secs || 22401580 markings, 95984383 edges, 25153 markings/sec, 905 secs 28 tries, 27185695 fired transitions, 910 secs || 22522410 markings, 96491067 edges, 24166 markings/sec, 910 secs 28 tries, 27326823 fired transitions, 915 secs || 22641247 markings, 97040110 edges, 23767 markings/sec, 915 secs 28 tries, 27467817 fired transitions, 920 secs || 22761290 markings, 97582985 edges, 24009 markings/sec, 920 secs 28 tries, 27608681 fired transitions, 925 secs || 22881964 markings, 98087433 edges, 24135 markings/sec, 925 secs 28 tries, 27749838 fired transitions, 930 secs || 23000989 markings, 98624549 edges, 23805 markings/sec, 930 secs 28 tries, 27890796 fired transitions, 935 secs || 23119511 markings, 99164166 edges, 23704 markings/sec, 935 secs 29 tries, 28032478 fired transitions, 940 secs || 23237413 markings, 99708339 edges, 23580 markings/sec, 940 secs 29 tries, 28174727 fired transitions, 945 secs || 23357566 markings, 100219894 edges, 24031 markings/sec, 945 secs 29 tries, 28317459 fired transitions, 950 secs || 23477000 markings, 100727764 edges, 23887 markings/sec, 950 secs 29 tries, 28460655 fired transitions, 955 secs || 23595263 markings, 101235216 edges, 23653 markings/sec, 955 secs 29 tries, 28603919 fired transitions, 960 secs || 23712748 markings, 101767849 edges, 23497 markings/sec, 960 secs 29 tries, 28747048 fired transitions, 965 secs || 23830098 markings, 102301007 edges, 23470 markings/sec, 965 secs 29 tries, 28889937 fired transitions, 970 secs || 23947278 markings, 102839155 edges, 23436 markings/sec, 970 secs 30 tries, 29034674 fired transitions, 975 secs || 24064191 markings, 103360889 edges, 23383 markings/sec, 975 secs 30 tries, 29185311 fired transitions, 980 secs || 24179779 markings, 103888998 edges, 23118 markings/sec, 980 secs 30 tries, 29335838 fired transitions, 985 secs || 24295096 markings, 104423824 edges, 23063 markings/sec, 985 secs 30 tries, 29486088 fired transitions, 990 secs || 24410482 markings, 104981076 edges, 23077 markings/sec, 990 secs 30 tries, 29639385 fired transitions, 995 secs || 24524814 markings, 105521704 edges, 22866 markings/sec, 995 secs 30 tries, 29792259 fired transitions, 1000 secs || 24640877 markings, 105999418 edges, 23213 markings/sec, 1000 secs 30 tries, 29945372 fired transitions, 1005 secs || 24756589 markings, 106474547 edges, 23142 markings/sec, 1005 secs 31 tries, 30093978 fired transitions, 1010 secs || 24872266 markings, 106979803 edges, 23135 markings/sec, 1010 secs 31 tries, 30240188 fired transitions, 1015 secs || 24988507 markings, 107488068 edges, 23248 markings/sec, 1015 secs 31 tries, 30386767 fired transitions, 1020 secs || 25103604 markings, 108035494 edges, 23019 markings/sec, 1020 secs 31 tries, 30533085 fired transitions, 1025 secs || 25220452 markings, 108566652 edges, 23370 markings/sec, 1025 secs 31 tries, 30679766 fired transitions, 1030 secs || 25336323 markings, 109105900 edges, 23174 markings/sec, 1030 secs 31 tries, 30826421 fired transitions, 1035 secs || 25451712 markings, 109644515 edges, 23078 markings/sec, 1035 secs 31 tries, 30972715 fired transitions, 1040 secs || 25567548 markings, 110187031 edges, 23167 markings/sec, 1040 secs 32 tries, 31124313 fired transitions, 1045 secs || 25678654 markings, 110783699 edges, 22221 markings/sec, 1045 secs 32 tries, 31276667 fired transitions, 1050 secs || 25789576 markings, 111358240 edges, 22184 markings/sec, 1050 secs 32 tries, 31429286 fired transitions, 1055 secs || 25900689 markings, 111931879 edges, 22223 markings/sec, 1055 secs 32 tries, 31581035 fired transitions, 1060 secs || 26013917 markings, 112450729 edges, 22646 markings/sec, 1060 secs 32 tries, 31732196 fired transitions, 1065 secs || 26126493 markings, 113025543 edges, 22515 markings/sec, 1065 secs 32 tries, 31883976 fired transitions, 1070 secs || 26239712 markings, 113603273 edges, 22644 markings/sec, 1070 secs 33 tries, 32034528 fired transitions, 1075 secs || 26353976 markings, 114166076 edges, 22853 markings/sec, 1075 secs 33 tries, 32177620 fired transitions, 1080 secs || 26476349 markings, 114642511 edges, 24475 markings/sec, 1080 secs 33 tries, 32320451 fired transitions, 1085 secs || 26598535 markings, 115115415 edges, 24437 markings/sec, 1085 secs 33 tries, 32463679 fired transitions, 1090 secs || 26718998 markings, 115625641 edges, 24093 markings/sec, 1090 secs 33 tries, 32606507 fired transitions, 1095 secs || 26840483 markings, 116100103 edges, 24297 markings/sec, 1095 secs 33 tries, 32749535 fired transitions, 1100 secs || 26961525 markings, 116577006 edges, 24208 markings/sec, 1100 secs 33 tries, 32892936 fired transitions, 1105 secs || 27080308 markings, 117104858 edges, 23757 markings/sec, 1105 secs 34 tries, 33036080 fired transitions, 1110 secs || 27199110 markings, 117635440 edges, 23760 markings/sec, 1110 secs 34 tries, 33178224 fired transitions, 1115 secs || 27318619 markings, 118106354 edges, 23902 markings/sec, 1115 secs 34 tries, 33320988 fired transitions, 1120 secs || 27437438 markings, 118594658 edges, 23764 markings/sec, 1120 secs 34 tries, 33463522 fired transitions, 1125 secs || 27555794 markings, 119074833 edges, 23671 markings/sec, 1125 secs 34 tries, 33606461 fired transitions, 1130 secs || 27673533 markings, 119586855 edges, 23548 markings/sec, 1130 secs 34 tries, 33748804 fired transitions, 1135 secs || 27792491 markings, 120064908 edges, 23792 markings/sec, 1135 secs 34 tries, 33891291 fired transitions, 1140 secs || 27910598 markings, 120553961 edges, 23621 markings/sec, 1140 secs 35 tries, 34034726 fired transitions, 1145 secs || 28028196 markings, 121083461 edges, 23520 markings/sec, 1145 secs 35 tries, 34179172 fired transitions, 1150 secs || 28144359 markings, 121660500 edges, 23233 markings/sec, 1150 secs 35 tries, 34323073 fired transitions, 1155 secs || 28265314 markings, 122144430 edges, 24191 markings/sec, 1155 secs 35 tries, 34466505 fired transitions, 1160 secs || 28388072 markings, 122591857 edges, 24552 markings/sec, 1160 secs 35 tries, 34610129 fired transitions, 1165 secs || 28509058 markings, 123060982 edges, 24197 markings/sec, 1165 secs 35 tries, 34753963 fired transitions, 1170 secs || 28629731 markings, 123532629 edges, 24135 markings/sec, 1170 secs 35 tries, 34898132 fired transitions, 1175 secs || 28748806 markings, 124020293 edges, 23815 markings/sec, 1175 secs 36 tries, 35043645 fired transitions, 1180 secs || 28867134 markings, 124504861 edges, 23666 markings/sec, 1180 secs 36 tries, 35192442 fired transitions, 1185 secs || 28983433 markings, 124984119 edges, 23260 markings/sec, 1185 secs 36 tries, 35341555 fired transitions, 1190 secs || 29099305 markings, 125472407 edges, 23174 markings/sec, 1190 secs 36 tries, 35490800 fired transitions, 1195 secs || 29214511 markings, 126003717 edges, 23041 markings/sec, 1195 secs 36 tries, 35639839 fired transitions, 1200 secs || 29329094 markings, 126535210 edges, 22917 markings/sec, 1200 secs 36 tries, 35789074 fired transitions, 1205 secs || 29443295 markings, 127079078 edges, 22840 markings/sec, 1205 secs 36 tries, 35938115 fired transitions, 1210 secs || 29557779 markings, 127623195 edges, 22897 markings/sec, 1210 secs 37 tries, 36090887 fired transitions, 1215 secs || 29670708 markings, 128201949 edges, 22586 markings/sec, 1215 secs 37 tries, 36246234 fired transitions, 1220 secs || 29784188 markings, 128758462 edges, 22696 markings/sec, 1220 secs 37 tries, 36401655 fired transitions, 1225 secs || 29897816 markings, 129309979 edges, 22726 markings/sec, 1225 secs 37 tries, 36556487 fired transitions, 1230 secs || 30012343 markings, 129853592 edges, 22905 markings/sec, 1230 secs 37 tries, 36711211 fired transitions, 1235 secs || 30125551 markings, 130420142 edges, 22642 markings/sec, 1235 secs 37 tries, 36866317 fired transitions, 1240 secs || 30238520 markings, 130999852 edges, 22594 markings/sec, 1240 secs 38 tries, 37021018 fired transitions, 1245 secs || 30351216 markings, 131577103 edges, 22539 markings/sec, 1245 secs 38 tries, 37166933 fired transitions, 1250 secs || 30465897 markings, 132150903 edges, 22936 markings/sec, 1250 secs 38 tries, 37312829 fired transitions, 1255 secs || 30582751 markings, 132681240 edges, 23371 markings/sec, 1255 secs 38 tries, 37472946 fired transitions, 1260 secs || 30710371 markings, 133255124 edges, 25524 markings/sec, 1260 secs 38 tries, 37633528 fired transitions, 1265 secs || 30836121 markings, 133943059 edges, 25150 markings/sec, 1265 secs 38 tries, 37793036 fired transitions, 1270 secs || 30970410 markings, 134490818 edges, 26858 markings/sec, 1270 secs 38 tries, 37951767 fired transitions, 1275 secs || 31103423 markings, 135035221 edges, 26603 markings/sec, 1275 secs 39 tries, 38108236 fired transitions, 1280 secs || 31236275 markings, 135576753 edges, 26570 markings/sec, 1280 secs 39 tries, 38262186 fired transitions, 1285 secs || 31366040 markings, 136166851 edges, 25953 markings/sec, 1285 secs 39 tries, 38416798 fired transitions, 1290 secs || 31495498 markings, 136781441 edges, 25892 markings/sec, 1290 secs 39 tries, 38570600 fired transitions, 1295 secs || 31624459 markings, 137403914 edges, 25792 markings/sec, 1295 secs 39 tries, 38724412 fired transitions, 1300 secs || 31753595 markings, 138002119 edges, 25827 markings/sec, 1300 secs 39 tries, 38878554 fired transitions, 1305 secs || 31880987 markings, 138636243 edges, 25478 markings/sec, 1305 secs 40 tries, 39035499 fired transitions, 1310 secs || 32012649 markings, 139212953 edges, 26332 markings/sec, 1310 secs 40 tries, 39205590 fired transitions, 1315 secs || 32142016 markings, 139761625 edges, 25873 markings/sec, 1315 secs 40 tries, 39376613 fired transitions, 1320 secs || 32270391 markings, 140333329 edges, 25675 markings/sec, 1320 secs 40 tries, 39546975 fired transitions, 1325 secs || 32398263 markings, 140902005 edges, 25574 markings/sec, 1325 secs 40 tries, 39717210 fired transitions, 1330 secs || 32524305 markings, 141523598 edges, 25208 markings/sec, 1330 secs 40 tries, 39886917 fired transitions, 1335 secs || 32651743 markings, 142165452 edges, 25488 markings/sec, 1335 secs 41 tries, 40055198 fired transitions, 1340 secs || 32778906 markings, 142805494 edges, 25433 markings/sec, 1340 secs 41 tries, 40219359 fired transitions, 1345 secs || 32903588 markings, 143462487 edges, 24936 markings/sec, 1345 secs 41 tries, 40383508 fired transitions, 1350 secs || 33028590 markings, 144134374 edges, 25000 markings/sec, 1350 secs 41 tries, 40529961 fired transitions, 1355 secs || 33144436 markings, 144706211 edges, 23169 markings/sec, 1355 secs 41 tries, 40677410 fired transitions, 1360 secs || 33259842 markings, 145277780 edges, 23081 markings/sec, 1360 secs 41 tries, 40825528 fired transitions, 1365 secs || 33373895 markings, 145888606 edges, 22811 markings/sec, 1365 secs 41 tries, 40972728 fired transitions, 1370 secs || 33487091 markings, 146533195 edges, 22639 markings/sec, 1370 secs 42 tries, 41128947 fired transitions, 1375 secs || 33614071 markings, 147145757 edges, 25396 markings/sec, 1375 secs 42 tries, 41269802 fired transitions, 1380 secs || 33733808 markings, 147668942 edges, 23947 markings/sec, 1380 secs 42 tries, 41411992 fired transitions, 1385 secs || 33851156 markings, 148263505 edges, 23470 markings/sec, 1385 secs 42 tries, 41555080 fired transitions, 1390 secs || 33968569 markings, 148810368 edges, 23483 markings/sec, 1390 secs 42 tries, 41698614 fired transitions, 1395 secs || 34084015 markings, 149395383 edges, 23089 markings/sec, 1395 secs 42 tries, 41842436 fired transitions, 1400 secs || 34199533 markings, 149963297 edges, 23104 markings/sec, 1400 secs 42 tries, 41986068 fired transitions, 1405 secs || 34316235 markings, 150500742 edges, 23340 markings/sec, 1405 secs 43 tries, 42134546 fired transitions, 1410 secs || 34430296 markings, 151068927 edges, 22812 markings/sec, 1410 secs 43 tries, 42283325 fired transitions, 1415 secs || 34545791 markings, 151617997 edges, 23099 markings/sec, 1415 secs 43 tries, 42432195 fired transitions, 1420 secs || 34659753 markings, 152183619 edges, 22792 markings/sec, 1420 secs 43 tries, 42593374 fired transitions, 1425 secs || 34781209 markings, 152830643 edges, 24291 markings/sec, 1425 secs 43 tries, 42757972 fired transitions, 1430 secs || 34905418 markings, 153468925 edges, 24842 markings/sec, 1430 secs 43 tries, 42919202 fired transitions, 1435 secs || 35027366 markings, 154116663 edges, 24390 markings/sec, 1435 secs 44 tries, 43080399 fired transitions, 1440 secs || 35155698 markings, 154684895 edges, 25666 markings/sec, 1440 secs 44 tries, 43238705 fired transitions, 1445 secs || 35283641 markings, 155266095 edges, 25589 markings/sec, 1445 secs 44 tries, 43397225 fired transitions, 1450 secs || 35407261 markings, 155919044 edges, 24724 markings/sec, 1450 secs 44 tries, 43555769 fired transitions, 1455 secs || 35533024 markings, 156554067 edges, 25153 markings/sec, 1455 secs 44 tries, 43714394 fired transitions, 1460 secs || 35658574 markings, 157202826 edges, 25110 markings/sec, 1460 secs 44 tries, 43872815 fired transitions, 1465 secs || 35782877 markings, 157856924 edges, 24861 markings/sec, 1465 secs 45 tries, 44031630 fired transitions, 1470 secs || 35906865 markings, 158521292 edges, 24798 markings/sec, 1470 secs 45 tries, 44191766 fired transitions, 1475 secs || 36031939 markings, 159155659 edges, 25015 markings/sec, 1475 secs 45 tries, 44351702 fired transitions, 1480 secs || 36158009 markings, 159790235 edges, 25214 markings/sec, 1480 secs 45 tries, 44511632 fired transitions, 1485 secs || 36285632 markings, 160407712 edges, 25525 markings/sec, 1485 secs 45 tries, 44671619 fired transitions, 1490 secs || 36411603 markings, 161061796 edges, 25194 markings/sec, 1490 secs 45 tries, 44831553 fired transitions, 1495 secs || 36539019 markings, 161706772 edges, 25483 markings/sec, 1495 secs 45 tries, 44991357 fired transitions, 1500 secs || 36664067 markings, 162345960 edges, 25010 markings/sec, 1500 secs 46 tries, 45150309 fired transitions, 1505 secs || 36787521 markings, 163016646 edges, 24691 markings/sec, 1505 secs 46 tries, 45309205 fired transitions, 1510 secs || 36912144 markings, 163666006 edges, 24925 markings/sec, 1510 secs 46 tries, 45468081 fired transitions, 1515 secs || 37036977 markings, 164309248 edges, 24967 markings/sec, 1515 secs 46 tries, 45626834 fired transitions, 1520 secs || 37162690 markings, 164955741 edges, 25143 markings/sec, 1520 secs 46 tries, 45785688 fired transitions, 1525 secs || 37285860 markings, 165629116 edges, 24634 markings/sec, 1525 secs 46 tries, 45944650 fired transitions, 1530 secs || 37409586 markings, 166275478 edges, 24745 markings/sec, 1530 secs 47 tries, 46104281 fired transitions, 1535 secs || 37532715 markings, 166908212 edges, 24626 markings/sec, 1535 secs 47 tries, 46261617 fired transitions, 1540 secs || 37655355 markings, 167530148 edges, 24528 markings/sec, 1540 secs 47 tries, 46421451 fired transitions, 1545 secs || 37778812 markings, 168165370 edges, 24691 markings/sec, 1545 secs 47 tries, 46580785 fired transitions, 1550 secs || 37901541 markings, 168781966 edges, 24546 markings/sec, 1550 secs 47 tries, 46740355 fired transitions, 1555 secs || 38025679 markings, 169428105 edges, 24828 markings/sec, 1555 secs 47 tries, 46899987 fired transitions, 1560 secs || 38150105 markings, 170071215 edges, 24885 markings/sec, 1560 secs 48 tries, 47059871 fired transitions, 1565 secs || 38273305 markings, 170688574 edges, 24640 markings/sec, 1565 secs 48 tries, 47214084 fired transitions, 1570 secs || 38392795 markings, 171234309 edges, 23898 markings/sec, 1570 secs 48 tries, 47357235 fired transitions, 1575 secs || 38507675 markings, 171817191 edges, 22976 markings/sec, 1575 secs 48 tries, 47501677 fired transitions, 1580 secs || 38621426 markings, 172393460 edges, 22750 markings/sec, 1580 secs 48 tries, 47661335 fired transitions, 1585 secs || 38747990 markings, 172981054 edges, 25313 markings/sec, 1585 secs 48 tries, 47821005 fired transitions, 1590 secs || 38874984 markings, 173559828 edges, 25399 markings/sec, 1590 secs 48 tries, 47980011 fired transitions, 1595 secs || 38999627 markings, 174185616 edges, 24929 markings/sec, 1595 secs 49 tries, 48123949 fired transitions, 1600 secs || 39115092 markings, 174741253 edges, 23093 markings/sec, 1600 secs 49 tries, 48269179 fired transitions, 1605 secs || 39229724 markings, 175328643 edges, 22926 markings/sec, 1605 secs 49 tries, 48414356 fired transitions, 1610 secs || 39345373 markings, 175870108 edges, 23130 markings/sec, 1610 secs 49 tries, 48559188 fired transitions, 1615 secs || 39460438 markings, 176408146 edges, 23013 markings/sec, 1615 secs 49 tries, 48704162 fired transitions, 1620 secs || 39574524 markings, 176950083 edges, 22817 markings/sec, 1620 secs 49 tries, 48849971 fired transitions, 1625 secs || 39687412 markings, 177479010 edges, 22578 markings/sec, 1625 secs 50 tries, 49010943 fired transitions, 1630 secs || 39814277 markings, 178059909 edges, 25373 markings/sec, 1630 secs 50 tries, 49171262 fired transitions, 1635 secs || 39939371 markings, 178709846 edges, 25019 markings/sec, 1635 secs 50 tries, 49331629 fired transitions, 1640 secs || 40064107 markings, 179350307 edges, 24947 markings/sec, 1640 secs 50 tries, 49491937 fired transitions, 1645 secs || 40188194 markings, 179974426 edges, 24817 markings/sec, 1645 secs 50 tries, 49652367 fired transitions, 1650 secs || 40312980 markings, 180603889 edges, 24957 markings/sec, 1650 secs 50 tries, 49807137 fired transitions, 1655 secs || 40433978 markings, 181197359 edges, 24200 markings/sec, 1655 secs 50 tries, 49957382 fired transitions, 1660 secs || 40553073 markings, 181755677 edges, 23819 markings/sec, 1660 secs 51 tries, 50119254 fired transitions, 1665 secs || 40679768 markings, 182326163 edges, 25339 markings/sec, 1665 secs 51 tries, 50281928 fired transitions, 1670 secs || 40804376 markings, 182927193 edges, 24922 markings/sec, 1670 secs 51 tries, 50444841 fired transitions, 1675 secs || 40928455 markings, 183579992 edges, 24816 markings/sec, 1675 secs 51 tries, 50607546 fired transitions, 1680 secs || 41053034 markings, 184200586 edges, 24916 markings/sec, 1680 secs 51 tries, 50770437 fired transitions, 1685 secs || 41177504 markings, 184841020 edges, 24894 markings/sec, 1685 secs 51 tries, 50932811 fired transitions, 1690 secs || 41303318 markings, 185466198 edges, 25163 markings/sec, 1690 secs 52 tries, 51092965 fired transitions, 1695 secs || 41430146 markings, 186077734 edges, 25366 markings/sec, 1695 secs 52 tries, 51251635 fired transitions, 1700 secs || 41557801 markings, 186703264 edges, 25531 markings/sec, 1700 secs 52 tries, 51410250 fired transitions, 1705 secs || 41685493 markings, 187312252 edges, 25538 markings/sec, 1705 secs 52 tries, 51568834 fired transitions, 1710 secs || 41814253 markings, 187904732 edges, 25752 markings/sec, 1710 secs 52 tries, 51727281 fired transitions, 1715 secs || 41943535 markings, 188506514 edges, 25856 markings/sec, 1715 secs 52 tries, 51885831 fired transitions, 1720 secs || 42067592 markings, 189182138 edges, 24811 markings/sec, 1720 secs 53 tries, 52030875 fired transitions, 1725 secs || 42179674 markings, 189729956 edges, 22416 markings/sec, 1725 secs 53 tries, 52193947 fired transitions, 1730 secs || 42303417 markings, 190372531 edges, 24749 markings/sec, 1730 secs 53 tries, 52356468 fired transitions, 1735 secs || 42432802 markings, 190975652 edges, 25877 markings/sec, 1735 secs 53 tries, 52520083 fired transitions, 1740 secs || 42560301 markings, 191593261 edges, 25500 markings/sec, 1740 secs 53 tries, 52683759 fired transitions, 1745 secs || 42684546 markings, 192252861 edges, 24849 markings/sec, 1745 secs 53 tries, 52847503 fired transitions, 1750 secs || 42808200 markings, 192919063 edges, 24731 markings/sec, 1750 secs 53 tries, 52997031 fired transitions, 1755 secs || 42916692 markings, 193500594 edges, 21698 markings/sec, 1755 secs 54 tries, 53145672 fired transitions, 1760 secs || 43024564 markings, 194066417 edges, 21574 markings/sec, 1760 secs 54 tries, 53308563 fired transitions, 1765 secs || 43149184 markings, 194659367 edges, 24924 markings/sec, 1765 secs 54 tries, 53471504 fired transitions, 1770 secs || 43285292 markings, 195091017 edges, 27222 markings/sec, 1770 secs 54 tries, 53634481 fired transitions, 1775 secs || 43416982 markings, 195613153 edges, 26338 markings/sec, 1775 secs 54 tries, 53787778 fired transitions, 1780 secs || 43543042 markings, 196084441 edges, 25212 markings/sec, 1780 secs 54 tries, 53933956 fired transitions, 1785 secs || 43659024 markings, 196571145 edges, 23196 markings/sec, 1785 secs 55 tries, 54077582 fired transitions, 1790 secs || 43777754 markings, 197034747 edges, 23746 markings/sec, 1790 secs 55 tries, 54219544 fired transitions, 1795 secs || 43898901 markings, 197467435 edges, 24229 markings/sec, 1795 secs 55 tries, 54365251 fired transitions, 1800 secs || 44019337 markings, 197931449 edges, 24087 markings/sec, 1800 secs 55 tries, 54522463 fired transitions, 1805 secs || 44151854 markings, 198396739 edges, 26503 markings/sec, 1805 secs 55 tries, 54679814 fired transitions, 1810 secs || 44283845 markings, 198872657 edges, 26398 markings/sec, 1810 secs 55 tries, 54837537 fired transitions, 1815 secs || 44414617 markings, 199395836 edges, 26154 markings/sec, 1815 secs 55 tries, 54995073 fired transitions, 1820 secs || 44545589 markings, 199945341 edges, 26194 markings/sec, 1820 secs 56 tries, 55154719 fired transitions, 1825 secs || 44679571 markings, 200452304 edges, 26796 markings/sec, 1825 secs 56 tries, 55314385 fired transitions, 1830 secs || 44814717 markings, 200897224 edges, 27029 markings/sec, 1830 secs 56 tries, 55474282 fired transitions, 1835 secs || 44947652 markings, 201393849 edges, 26587 markings/sec, 1835 secs 56 tries, 55633936 fired transitions, 1840 secs || 45077170 markings, 201954855 edges, 25904 markings/sec, 1840 secs 56 tries, 55793529 fired transitions, 1845 secs || 45206803 markings, 202489769 edges, 25927 markings/sec, 1845 secs 56 tries, 55953201 fired transitions, 1850 secs || 45336769 markings, 203036774 edges, 25993 markings/sec, 1850 secs 57 tries, 56114462 fired transitions, 1855 secs || 45457158 markings, 203585933 edges, 24078 markings/sec, 1855 secs 57 tries, 56276208 fired transitions, 1860 secs || 45587234 markings, 204135529 edges, 26015 markings/sec, 1860 secs 57 tries, 56437469 fired transitions, 1865 secs || 45716858 markings, 204663717 edges, 25925 markings/sec, 1865 secs 57 tries, 56597121 fired transitions, 1870 secs || 45842628 markings, 205215410 edges, 25154 markings/sec, 1870 secs 57 tries, 56743319 fired transitions, 1875 secs || 45960091 markings, 205683292 edges, 23493 markings/sec, 1875 secs 57 tries, 56889299 fired transitions, 1880 secs || 46076080 markings, 206208123 edges, 23198 markings/sec, 1880 secs 58 tries, 57034809 fired transitions, 1885 secs || 46193637 markings, 206699042 edges, 23511 markings/sec, 1885 secs 58 tries, 57179302 fired transitions, 1890 secs || 46310744 markings, 207186076 edges, 23421 markings/sec, 1890 secs 58 tries, 57324167 fired transitions, 1895 secs || 46426565 markings, 207685579 edges, 23164 markings/sec, 1895 secs 58 tries, 57473812 fired transitions, 1900 secs || 46544620 markings, 208215549 edges, 23611 markings/sec, 1900 secs 58 tries, 57633801 fired transitions, 1905 secs || 46670561 markings, 208787292 edges, 25188 markings/sec, 1905 secs 58 tries, 57793793 fired transitions, 1910 secs || 46795349 markings, 209373103 edges, 24958 markings/sec, 1910 secs 58 tries, 57953627 fired transitions, 1915 secs || 46923632 markings, 209930012 edges, 25657 markings/sec, 1915 secs 59 tries, 58112627 fired transitions, 1920 secs || 47054703 markings, 210458023 edges, 26214 markings/sec, 1920 secs 59 tries, 58271123 fired transitions, 1925 secs || 47189106 markings, 210929830 edges, 26881 markings/sec, 1925 secs 59 tries, 58429456 fired transitions, 1930 secs || 47323873 markings, 211388244 edges, 26953 markings/sec, 1930 secs 59 tries, 58587869 fired transitions, 1935 secs || 47456483 markings, 211883751 edges, 26522 markings/sec, 1935 secs 59 tries, 58746470 fired transitions, 1940 secs || 47587384 markings, 212404241 edges, 26180 markings/sec, 1940 secs 59 tries, 58905187 fired transitions, 1945 secs || 47716505 markings, 212959499 edges, 25824 markings/sec, 1945 secs 60 tries, 59064016 fired transitions, 1950 secs || 47847383 markings, 213508021 edges, 26176 markings/sec, 1950 secs 60 tries, 59222767 fired transitions, 1955 secs || 47975659 markings, 214085259 edges, 25655 markings/sec, 1955 secs 60 tries, 59380895 fired transitions, 1960 secs || 48104031 markings, 214672252 edges, 25674 markings/sec, 1960 secs 60 tries, 59539913 fired transitions, 1965 secs || 48232943 markings, 215229428 edges, 25782 markings/sec, 1965 secs 60 tries, 59698857 fired transitions, 1970 secs || 48364403 markings, 215775140 edges, 26292 markings/sec, 1970 secs 60 tries, 59856784 fired transitions, 1975 secs || 48493107 markings, 216341344 edges, 25741 markings/sec, 1975 secs 61 tries, 60014948 fired transitions, 1980 secs || 48622859 markings, 216898986 edges, 25950 markings/sec, 1980 secs 61 tries, 60160445 fired transitions, 1985 secs || 48740817 markings, 217455113 edges, 23592 markings/sec, 1985 secs 61 tries, 60305270 fired transitions, 1990 secs || 48857781 markings, 217970396 edges, 23393 markings/sec, 1990 secs 61 tries, 60452836 fired transitions, 1995 secs || 48970817 markings, 218510588 edges, 22607 markings/sec, 1995 secs 61 tries, 60614723 fired transitions, 2000 secs || 49097591 markings, 219100202 edges, 25355 markings/sec, 2000 secs 61 tries, 60776328 fired transitions, 2005 secs || 49226638 markings, 219610281 edges, 25809 markings/sec, 2005 secs 61 tries, 60938284 fired transitions, 2010 secs || 49353887 markings, 220175114 edges, 25450 markings/sec, 2010 secs 62 tries, 61098767 fired transitions, 2015 secs || 49481558 markings, 220757513 edges, 25534 markings/sec, 2015 secs 62 tries, 61258531 fired transitions, 2020 secs || 49609942 markings, 221308880 edges, 25677 markings/sec, 2020 secs 62 tries, 61417009 fired transitions, 2025 secs || 49737137 markings, 221883005 edges, 25439 markings/sec, 2025 secs 62 tries, 61574168 fired transitions, 2030 secs || 49864492 markings, 222413262 edges, 25471 markings/sec, 2030 secs 62 tries, 61732211 fired transitions, 2035 secs || 49991982 markings, 222996700 edges, 25498 markings/sec, 2035 secs 62 tries, 61890726 fired transitions, 2040 secs || 50121200 markings, 223550073 edges, 25844 markings/sec, 2040 secs 63 tries, 62047982 fired transitions, 2045 secs || 50247933 markings, 224121084 edges, 25347 markings/sec, 2045 secs 63 tries, 62193425 fired transitions, 2050 secs || 50368761 markings, 224648798 edges, 24166 markings/sec, 2050 secs 63 tries, 62348799 fired transitions, 2055 secs || 50493882 markings, 225261247 edges, 25024 markings/sec, 2055 secs 63 tries, 62504809 fired transitions, 2060 secs || 50619918 markings, 225838834 edges, 25207 markings/sec, 2060 secs 63 tries, 62649680 fired transitions, 2065 secs || 50738292 markings, 226385628 edges, 23675 markings/sec, 2065 secs 63 tries, 62795771 fired transitions, 2070 secs || 50860381 markings, 226948415 edges, 24418 markings/sec, 2070 secs 63 tries, 62950383 fired transitions, 2075 secs || 50990472 markings, 227536055 edges, 26018 markings/sec, 2075 secs 64 tries, 63108660 fired transitions, 2080 secs || 51117228 markings, 228140594 edges, 25351 markings/sec, 2080 secs 64 tries, 63266363 fired transitions, 2085 secs || 51246522 markings, 228733951 edges, 25859 markings/sec, 2085 secs 64 tries, 63425234 fired transitions, 2090 secs || 51373823 markings, 229370066 edges, 25460 markings/sec, 2090 secs 64 tries, 63567142 fired transitions, 2095 secs || 51489673 markings, 229917171 edges, 23170 markings/sec, 2095 secs 64 tries, 63716599 fired transitions, 2100 secs || 51608897 markings, 230483370 edges, 23845 markings/sec, 2100 secs 64 tries, 63875508 fired transitions, 2105 secs || 51735807 markings, 231080529 edges, 25382 markings/sec, 2105 secs 65 tries, 64035355 fired transitions, 2110 secs || 51864407 markings, 231686926 edges, 25720 markings/sec, 2110 secs 65 tries, 64181367 fired transitions, 2115 secs || 51981160 markings, 232196247 edges, 23351 markings/sec, 2115 secs 65 tries, 64344995 fired transitions, 2120 secs || 52106466 markings, 232833668 edges, 25061 markings/sec, 2120 secs 65 tries, 64502545 fired transitions, 2125 secs || 52233412 markings, 233381670 edges, 25389 markings/sec, 2125 secs 65 tries, 64648596 fired transitions, 2130 secs || 52350065 markings, 233939464 edges, 23331 markings/sec, 2130 secs 65 tries, 64800151 fired transitions, 2135 secs || 52472569 markings, 234445300 edges, 24501 markings/sec, 2135 secs 65 tries, 64955798 fired transitions, 2140 secs || 52595467 markings, 234926950 edges, 24580 markings/sec, 2140 secs 66 tries, 65101284 fired transitions, 2145 secs || 52712642 markings, 235395091 edges, 23435 markings/sec, 2145 secs 66 tries, 65245069 fired transitions, 2150 secs || 52829404 markings, 235912737 edges, 23352 markings/sec, 2150 secs 66 tries, 65389108 fired transitions, 2155 secs || 52944845 markings, 236459881 edges, 23088 markings/sec, 2155 secs 66 tries, 65533300 fired transitions, 2160 secs || 53059695 markings, 237015168 edges, 22970 markings/sec, 2160 secs 66 tries, 65688503 fired transitions, 2165 secs || 53185723 markings, 237601592 edges, 25206 markings/sec, 2165 secs 66 tries, 65843370 fired transitions, 2170 secs || 53312256 markings, 238191326 edges, 25307 markings/sec, 2170 secs 66 tries, 65986609 fired transitions, 2175 secs || 53431439 markings, 238665747 edges, 23837 markings/sec, 2175 secs 67 tries, 66128596 fired transitions, 2180 secs || 53549546 markings, 239176139 edges, 23621 markings/sec, 2180 secs 67 tries, 66271528 fired transitions, 2185 secs || 53666030 markings, 239731323 edges, 23297 markings/sec, 2185 secs 67 tries, 66414274 fired transitions, 2190 secs || 53782183 markings, 240296965 edges, 23231 markings/sec, 2190 secs 67 tries, 66557775 fired transitions, 2195 secs || 53899709 markings, 240825009 edges, 23505 markings/sec, 2195 secs 67 tries, 66701571 fired transitions, 2200 secs || 54015835 markings, 241384056 edges, 23225 markings/sec, 2200 secs 67 tries, 66845181 fired transitions, 2205 secs || 54132400 markings, 241941520 edges, 23313 markings/sec, 2205 secs 67 tries, 66989530 fired transitions, 2210 secs || 54248313 markings, 242490783 edges, 23183 markings/sec, 2210 secs 68 tries, 67144040 fired transitions, 2215 secs || 54377680 markings, 242976818 edges, 25873 markings/sec, 2215 secs 68 tries, 67301891 fired transitions, 2220 secs || 54507438 markings, 243522484 edges, 25952 markings/sec, 2220 secs 68 tries, 67459825 fired transitions, 2225 secs || 54637158 markings, 244062620 edges, 25944 markings/sec, 2225 secs 68 tries, 67617769 fired transitions, 2230 secs || 54765044 markings, 244649937 edges, 25577 markings/sec, 2230 secs 68 tries, 67771354 fired transitions, 2235 secs || 54890470 markings, 245258167 edges, 25085 markings/sec, 2235 secs 68 tries, 67915680 fired transitions, 2240 secs || 55005477 markings, 245824943 edges, 23001 markings/sec, 2240 secs 69 tries, 68074086 fired transitions, 2245 secs || 55131408 markings, 246418430 edges, 25186 markings/sec, 2245 secs 69 tries, 68231594 fired transitions, 2250 secs || 55253754 markings, 247027623 edges, 24469 markings/sec, 2250 secs 69 tries, 68393442 fired transitions, 2255 secs || 55383639 markings, 247554419 edges, 25977 markings/sec, 2255 secs 69 tries, 68555321 fired transitions, 2260 secs || 55511127 markings, 248103850 edges, 25498 markings/sec, 2260 secs 69 tries, 68703098 fired transitions, 2265 secs || 55626581 markings, 248612604 edges, 23091 markings/sec, 2265 secs 69 tries, 68859929 fired transitions, 2270 secs || 55747242 markings, 249198881 edges, 24132 markings/sec, 2270 secs 70 tries, 69021954 fired transitions, 2275 secs || 55868310 markings, 249889410 edges, 24214 markings/sec, 2275 secs 70 tries, 69182677 fired transitions, 2280 secs || 55990201 markings, 250561601 edges, 24378 markings/sec, 2280 secs 70 tries, 69343275 fired transitions, 2285 secs || 56114845 markings, 251177785 edges, 24929 markings/sec, 2285 secs 70 tries, 69489745 fired transitions, 2290 secs || 56227126 markings, 251757431 edges, 22456 markings/sec, 2290 secs 70 tries, 69650107 fired transitions, 2295 secs || 56353329 markings, 252374249 edges, 25241 markings/sec, 2295 secs 70 tries, 69810541 fired transitions, 2300 secs || 56475380 markings, 253041528 edges, 24410 markings/sec, 2300 secs 70 tries, 69970863 fired transitions, 2305 secs || 56596793 markings, 253717398 edges, 24283 markings/sec, 2305 secs 71 tries, 70117040 fired transitions, 2310 secs || 56710337 markings, 254249490 edges, 22709 markings/sec, 2310 secs 71 tries, 70278813 fired transitions, 2315 secs || 56835450 markings, 254876123 edges, 25023 markings/sec, 2315 secs 71 tries, 70426471 fired transitions, 2320 secs || 56947044 markings, 255482729 edges, 22319 markings/sec, 2320 secs 71 tries, 70587672 fired transitions, 2325 secs || 57071628 markings, 256095435 edges, 24917 markings/sec, 2325 secs 71 tries, 70748507 fired transitions, 2330 secs || 57199826 markings, 256637188 edges, 25640 markings/sec, 2330 secs 71 tries, 70910335 fired transitions, 2335 secs || 57325211 markings, 257254769 edges, 25077 markings/sec, 2335 secs 72 tries, 71070488 fired transitions, 2340 secs || 57450432 markings, 257887609 edges, 25044 markings/sec, 2340 secs 72 tries, 71228479 fired transitions, 2345 secs || 57577391 markings, 258513824 edges, 25392 markings/sec, 2345 secs 72 tries, 71386310 fired transitions, 2350 secs || 57704217 markings, 259137976 edges, 25365 markings/sec, 2350 secs 72 tries, 71539888 fired transitions, 2355 secs || 57829654 markings, 259752160 edges, 25087 markings/sec, 2355 secs 72 tries, 71693293 fired transitions, 2360 secs || 57951741 markings, 260346378 edges, 24417 markings/sec, 2360 secs 72 tries, 71851326 fired transitions, 2365 secs || 58076353 markings, 260987137 edges, 24922 markings/sec, 2365 secs 73 tries, 72009122 fired transitions, 2370 secs || 58204480 markings, 261542655 edges, 25625 markings/sec, 2370 secs 73 tries, 72168966 fired transitions, 2375 secs || 58330934 markings, 262120349 edges, 25291 markings/sec, 2375 secs 73 tries, 72329237 fired transitions, 2380 secs || 58458410 markings, 262708777 edges, 25495 markings/sec, 2380 secs 73 tries, 72480080 fired transitions, 2385 secs || 58577762 markings, 263286929 edges, 23870 markings/sec, 2385 secs 73 tries, 72625892 fired transitions, 2390 secs || 58691213 markings, 263891467 edges, 22690 markings/sec, 2390 secs 73 tries, 72771766 fired transitions, 2395 secs || 58804470 markings, 264493738 edges, 22651 markings/sec, 2395 secs 73 tries, 72917454 fired transitions, 2400 secs || 58918040 markings, 265092574 edges, 22714 markings/sec, 2400 secs 74 tries, 73063513 fired transitions, 2405 secs || 59031313 markings, 265687560 edges, 22655 markings/sec, 2405 secs 74 tries, 73209775 fired transitions, 2410 secs || 59146315 markings, 266249144 edges, 23000 markings/sec, 2410 secs 74 tries, 73355864 fired transitions, 2415 secs || 59259384 markings, 266808983 edges, 22614 markings/sec, 2415 secs 74 tries, 73511220 fired transitions, 2420 secs || 59377217 markings, 267450420 edges, 23567 markings/sec, 2420 secs 74 tries, 73672082 fired transitions, 2425 secs || 59503913 markings, 268073537 edges, 25339 markings/sec, 2425 secs 74 tries, 73833051 fired transitions, 2430 secs || 59631997 markings, 268647241 edges, 25617 markings/sec, 2430 secs 74 tries, 73993896 fired transitions, 2435 secs || 59759864 markings, 269199039 edges, 25573 markings/sec, 2435 secs 75 tries, 74154919 fired transitions, 2440 secs || 59883872 markings, 269824330 edges, 24802 markings/sec, 2440 secs 75 tries, 74315744 fired transitions, 2445 secs || 60006938 markings, 270456922 edges, 24613 markings/sec, 2445 secs 75 tries, 74476684 fired transitions, 2450 secs || 60129557 markings, 271084541 edges, 24524 markings/sec, 2450 secs 75 tries, 74637550 fired transitions, 2455 secs || 60252044 markings, 271698842 edges, 24497 markings/sec, 2455 secs 75 tries, 74798627 fired transitions, 2460 secs || 60376125 markings, 272301144 edges, 24816 markings/sec, 2460 secs 75 tries, 74959429 fired transitions, 2465 secs || 60498925 markings, 272912129 edges, 24560 markings/sec, 2465 secs 76 tries, 75117560 fired transitions, 2470 secs || 60622467 markings, 273520709 edges, 24708 markings/sec, 2470 secs 76 tries, 75274640 fired transitions, 2475 secs || 60747405 markings, 274106254 edges, 24988 markings/sec, 2475 secs 76 tries, 75431566 fired transitions, 2480 secs || 60872056 markings, 274686055 edges, 24930 markings/sec, 2480 secs 76 tries, 75588543 fired transitions, 2485 secs || 60996325 markings, 275288908 edges, 24854 markings/sec, 2485 secs 76 tries, 75745711 fired transitions, 2490 secs || 61120730 markings, 275939640 edges, 24881 markings/sec, 2490 secs 76 tries, 75903020 fired transitions, 2495 secs || 61245358 markings, 276579422 edges, 24926 markings/sec, 2495 secs 77 tries, 76061932 fired transitions, 2500 secs || 61369173 markings, 277217235 edges, 24763 markings/sec, 2500 secs 77 tries, 76223575 fired transitions, 2505 secs || 61491603 markings, 277898991 edges, 24486 markings/sec, 2505 secs 77 tries, 76381609 fired transitions, 2510 secs || 61614107 markings, 278530222 edges, 24501 markings/sec, 2510 secs 77 tries, 76531530 fired transitions, 2515 secs || 61737036 markings, 279072186 edges, 24586 markings/sec, 2515 secs 77 tries, 76691571 fired transitions, 2520 secs || 61864106 markings, 279690826 edges, 25414 markings/sec, 2520 secs 77 tries, 76844394 fired transitions, 2525 secs || 61983359 markings, 280316130 edges, 23851 markings/sec, 2525 secs 77 tries, 76990576 fired transitions, 2530 secs || 62096158 markings, 280890679 edges, 22560 markings/sec, 2530 secs 78 tries, 77143967 fired transitions, 2535 secs || 62221568 markings, 281450774 edges, 25082 markings/sec, 2535 secs 78 tries, 77285900 fired transitions, 2540 secs || 62342444 markings, 281900326 edges, 24175 markings/sec, 2540 secs 78 tries, 77429211 fired transitions, 2545 secs || 62461658 markings, 282349127 edges, 23843 markings/sec, 2545 secs 78 tries, 77572634 fired transitions, 2550 secs || 62581087 markings, 282796133 edges, 23886 markings/sec, 2550 secs 78 tries, 77716757 fired transitions, 2555 secs || 62698314 markings, 283299953 edges, 23445 markings/sec, 2555 secs 78 tries, 77860734 fired transitions, 2560 secs || 62816058 markings, 283791042 edges, 23549 markings/sec, 2560 secs 79 tries, 78005102 fired transitions, 2565 secs || 62932579 markings, 284314236 edges, 23304 markings/sec, 2565 secs 79 tries, 78151082 fired transitions, 2570 secs || 63050117 markings, 284833334 edges, 23508 markings/sec, 2570 secs 79 tries, 78296543 fired transitions, 2575 secs || 63169388 markings, 285315545 edges, 23854 markings/sec, 2575 secs 79 tries, 78442112 fired transitions, 2580 secs || 63288511 markings, 285794988 edges, 23825 markings/sec, 2580 secs 79 tries, 78588027 fired transitions, 2585 secs || 63406345 markings, 286310479 edges, 23567 markings/sec, 2585 secs 79 tries, 78734021 fired transitions, 2590 secs || 63523640 markings, 286840342 edges, 23459 markings/sec, 2590 secs 79 tries, 78879910 fired transitions, 2595 secs || 63641415 markings, 287352986 edges, 23555 markings/sec, 2595 secs 80 tries, 79025193 fired transitions, 2600 secs || 63759047 markings, 287855372 edges, 23526 markings/sec, 2600 secs 80 tries, 79167682 fired transitions, 2605 secs || 63876819 markings, 288357957 edges, 23554 markings/sec, 2605 secs 80 tries, 79310485 fired transitions, 2610 secs || 63993137 markings, 288886534 edges, 23264 markings/sec, 2610 secs 80 tries, 79452226 fired transitions, 2615 secs || 64114702 markings, 289328302 edges, 24313 markings/sec, 2615 secs 80 tries, 79594300 fired transitions, 2620 secs || 64235005 markings, 289797602 edges, 24061 markings/sec, 2620 secs 80 tries, 79736328 fired transitions, 2625 secs || 64354786 markings, 290267060 edges, 23956 markings/sec, 2625 secs 80 tries, 79878205 fired transitions, 2630 secs || 64475077 markings, 290707980 edges, 24058 markings/sec, 2630 secs 81 tries, 80020612 fired transitions, 2635 secs || 64593950 markings, 291182105 edges, 23775 markings/sec, 2635 secs 81 tries, 80164394 fired transitions, 2640 secs || 64711680 markings, 291661636 edges, 23546 markings/sec, 2640 secs 81 tries, 80308338 fired transitions, 2645 secs || 64829134 markings, 292145036 edges, 23491 markings/sec, 2645 secs 81 tries, 80452268 fired transitions, 2650 secs || 64947234 markings, 292615264 edges, 23620 markings/sec, 2650 secs 81 tries, 80596199 fired transitions, 2655 secs || 65064963 markings, 293119148 edges, 23546 markings/sec, 2655 secs 81 tries, 80740353 fired transitions, 2660 secs || 65181664 markings, 293632103 edges, 23340 markings/sec, 2660 secs 81 tries, 80890706 fired transitions, 2665 secs || 65302573 markings, 294183272 edges, 24182 markings/sec, 2665 secs 82 tries, 81049708 fired transitions, 2670 secs || 65429434 markings, 294765104 edges, 25372 markings/sec, 2670 secs 82 tries, 81208225 fired transitions, 2675 secs || 65555895 markings, 295359903 edges, 25292 markings/sec, 2675 secs 82 tries, 81361243 fired transitions, 2680 secs || 65677196 markings, 295946415 edges, 24260 markings/sec, 2680 secs 82 tries, 81508213 fired transitions, 2685 secs || 65794690 markings, 296503830 edges, 23499 markings/sec, 2685 secs 82 tries, 81667195 fired transitions, 2690 secs || 65921719 markings, 297106667 edges, 25406 markings/sec, 2690 secs 82 tries, 81825711 fired transitions, 2695 secs || 66047905 markings, 297668811 edges, 25237 markings/sec, 2695 secs 82 tries, 81984130 fired transitions, 2700 secs || 66173912 markings, 298250134 edges, 25201 markings/sec, 2700 secs 83 tries, 82140820 fired transitions, 2705 secs || 66299294 markings, 298860782 edges, 25076 markings/sec, 2705 secs 83 tries, 82297191 fired transitions, 2710 secs || 66427256 markings, 299447392 edges, 25592 markings/sec, 2710 secs 83 tries, 82453747 fired transitions, 2715 secs || 66552196 markings, 300088742 edges, 24988 markings/sec, 2715 secs 83 tries, 82609310 fired transitions, 2720 secs || 66681579 markings, 300636297 edges, 25877 markings/sec, 2720 secs 83 tries, 82764915 fired transitions, 2725 secs || 66811814 markings, 301159132 edges, 26047 markings/sec, 2725 secs 83 tries, 82920582 fired transitions, 2730 secs || 66940708 markings, 301689889 edges, 25779 markings/sec, 2730 secs 84 tries, 83078476 fired transitions, 2735 secs || 67069270 markings, 302224225 edges, 25712 markings/sec, 2735 secs 84 tries, 83239144 fired transitions, 2740 secs || 67197128 markings, 302817942 edges, 25572 markings/sec, 2740 secs 84 tries, 83385446 fired transitions, 2745 secs || 67311731 markings, 303346041 edges, 22921 markings/sec, 2745 secs 84 tries, 83531945 fired transitions, 2750 secs || 67426111 markings, 303895560 edges, 22876 markings/sec, 2750 secs 84 tries, 83673548 fired transitions, 2755 secs || 67547092 markings, 304453777 edges, 24196 markings/sec, 2755 secs 84 tries, 83833831 fired transitions, 2760 secs || 67672099 markings, 305082875 edges, 25001 markings/sec, 2760 secs 84 tries, 83993881 fired transitions, 2765 secs || 67801252 markings, 305619543 edges, 25831 markings/sec, 2765 secs 85 tries, 84153834 fired transitions, 2770 secs || 67930425 markings, 306193813 edges, 25835 markings/sec, 2770 secs 85 tries, 84313067 fired transitions, 2775 secs || 68057049 markings, 306799228 edges, 25325 markings/sec, 2775 secs 85 tries, 84472626 fired transitions, 2780 secs || 68183991 markings, 307410963 edges, 25388 markings/sec, 2780 secs 85 tries, 84615029 fired transitions, 2785 secs || 68305823 markings, 307994189 edges, 24366 markings/sec, 2785 secs 85 tries, 84781987 fired transitions, 2790 secs || 68440004 markings, 308608402 edges, 26836 markings/sec, 2790 secs 85 tries, 84949597 fired transitions, 2795 secs || 68573693 markings, 309259749 edges, 26738 markings/sec, 2795 secs 86 tries, 85116466 fired transitions, 2800 secs || 68707056 markings, 309896080 edges, 26673 markings/sec, 2800 secs 86 tries, 85282864 fired transitions, 2805 secs || 68844308 markings, 310479278 edges, 27450 markings/sec, 2805 secs 86 tries, 85448369 fired transitions, 2810 secs || 68982521 markings, 311032936 edges, 27643 markings/sec, 2810 secs 86 tries, 85608519 fired transitions, 2815 secs || 69114825 markings, 311608753 edges, 26461 markings/sec, 2815 secs 86 tries, 85772108 fired transitions, 2820 secs || 69249310 markings, 312188057 edges, 26897 markings/sec, 2820 secs 86 tries, 85933905 fired transitions, 2825 secs || 69382274 markings, 312764519 edges, 26593 markings/sec, 2825 secs 87 tries, 86095310 fired transitions, 2830 secs || 69514053 markings, 313337490 edges, 26356 markings/sec, 2830 secs 87 tries, 86255002 fired transitions, 2835 secs || 69641446 markings, 313940637 edges, 25479 markings/sec, 2835 secs 87 tries, 86408806 fired transitions, 2840 secs || 69765121 markings, 314526817 edges, 24735 markings/sec, 2840 secs 87 tries, 86568539 fired transitions, 2845 secs || 69893134 markings, 315135700 edges, 25603 markings/sec, 2845 secs 87 tries, 86728020 fired transitions, 2850 secs || 70020577 markings, 315755119 edges, 25489 markings/sec, 2850 secs 87 tries, 86887879 fired transitions, 2855 secs || 70148866 markings, 316362857 edges, 25658 markings/sec, 2855 secs 88 tries, 87047702 fired transitions, 2860 secs || 70277101 markings, 316980096 edges, 25647 markings/sec, 2860 secs 88 tries, 87207769 fired transitions, 2865 secs || 70404107 markings, 317606525 edges, 25401 markings/sec, 2865 secs 88 tries, 87358194 fired transitions, 2870 secs || 70523781 markings, 318192207 edges, 23935 markings/sec, 2870 secs 88 tries, 87507415 fired transitions, 2875 secs || 70641851 markings, 318806521 edges, 23614 markings/sec, 2875 secs 88 tries, 87667152 fired transitions, 2880 secs || 70766744 markings, 319475447 edges, 24979 markings/sec, 2880 secs 88 tries, 87827286 fired transitions, 2885 secs || 70891223 markings, 320158964 edges, 24896 markings/sec, 2885 secs 88 tries, 87973697 fired transitions, 2890 secs || 71009511 markings, 320743833 edges, 23658 markings/sec, 2890 secs 89 tries, 88120085 fired transitions, 2895 secs || 71126939 markings, 321334367 edges, 23486 markings/sec, 2895 secs 89 tries, 88271475 fired transitions, 2900 secs || 71252879 markings, 321964421 edges, 25188 markings/sec, 2900 secs 89 tries, 88431015 fired transitions, 2905 secs || 71380536 markings, 322590284 edges, 25531 markings/sec, 2905 secs 89 tries, 88590577 fired transitions, 2910 secs || 71505200 markings, 323259310 edges, 24933 markings/sec, 2910 secs 89 tries, 88749869 fired transitions, 2915 secs || 71631966 markings, 323862663 edges, 25353 markings/sec, 2915 secs 89 tries, 88906870 fired transitions, 2920 secs || 71755406 markings, 324485712 edges, 24688 markings/sec, 2920 secs 90 tries, 89065619 fired transitions, 2925 secs || 71879846 markings, 325147441 edges, 24888 markings/sec, 2925 secs 90 tries, 89221355 fired transitions, 2930 secs || 72004096 markings, 325835811 edges, 24850 markings/sec, 2930 secs 90 tries, 89376886 fired transitions, 2935 secs || 72128407 markings, 326522796 edges, 24862 markings/sec, 2935 secs 90 tries, 89532523 fired transitions, 2940 secs || 72256818 markings, 327142484 edges, 25682 markings/sec, 2940 secs 90 tries, 89688980 fired transitions, 2945 secs || 72388078 markings, 327727596 edges, 26252 markings/sec, 2945 secs 90 tries, 89844395 fired transitions, 2950 secs || 72518876 markings, 328302115 edges, 26160 markings/sec, 2950 secs 91 tries, 90001204 fired transitions, 2955 secs || 72648616 markings, 328923530 edges, 25948 markings/sec, 2955 secs 91 tries, 90155511 fired transitions, 2960 secs || 72776487 markings, 329477579 edges, 25574 markings/sec, 2960 secs 91 tries, 90301180 fired transitions, 2965 secs || 72898149 markings, 330019172 edges, 24332 markings/sec, 2965 secs 91 tries, 90447567 fired transitions, 2970 secs || 73017746 markings, 330609353 edges, 23919 markings/sec, 2970 secs 91 tries, 90593943 fired transitions, 2975 secs || 73137914 markings, 331200074 edges, 24034 markings/sec, 2975 secs 91 tries, 90750184 fired transitions, 2980 secs || 73265241 markings, 331793065 edges, 25465 markings/sec, 2980 secs 91 tries, 90910312 fired transitions, 2985 secs || 73395417 markings, 332376429 edges, 26035 markings/sec, 2985 secs 92 tries, 91065082 fired transitions, 2990 secs || 73522028 markings, 332942600 edges, 25322 markings/sec, 2990 secs 92 tries, 91212735 fired transitions, 2995 secs || 73641322 markings, 333515910 edges, 23859 markings/sec, 2995 secs 92 tries, 91360297 fired transitions, 3000 secs || 73761172 markings, 334080635 edges, 23970 markings/sec, 3000 secs 92 tries, 91507331 fired transitions, 3005 secs || 73881534 markings, 334615309 edges, 24072 markings/sec, 3005 secs 92 tries, 91654913 fired transitions, 3010 secs || 74001213 markings, 335183176 edges, 23936 markings/sec, 3010 secs 92 tries, 91803864 fired transitions, 3015 secs || 74121422 markings, 335769692 edges, 24042 markings/sec, 3015 secs 92 tries, 91965553 fired transitions, 3020 secs || 74246822 markings, 336452067 edges, 25080 markings/sec, 3020 secs 93 tries, 92125831 fired transitions, 3025 secs || 74377358 markings, 337025967 edges, 26107 markings/sec, 3025 secs 93 tries, 92285446 fired transitions, 3030 secs || 74509771 markings, 337559168 edges, 26483 markings/sec, 3030 secs 93 tries, 92444592 fired transitions, 3035 secs || 74638899 markings, 338150008 edges, 25826 markings/sec, 3035 secs 93 tries, 92604004 fired transitions, 3040 secs || 74768502 markings, 338737324 edges, 25921 markings/sec, 3040 secs 93 tries, 92760051 fired transitions, 3045 secs || 74895651 markings, 339307847 edges, 25430 markings/sec, 3045 secs 93 tries, 92915473 fired transitions, 3050 secs || 75021825 markings, 339879029 edges, 25235 markings/sec, 3050 secs 94 tries, 93074157 fired transitions, 3055 secs || 75149982 markings, 340473086 edges, 25631 markings/sec, 3055 secs 94 tries, 93231629 fired transitions, 3060 secs || 75279018 markings, 341047513 edges, 25807 markings/sec, 3060 secs 94 tries, 93390438 fired transitions, 3065 secs || 75406401 markings, 341673160 edges, 25477 markings/sec, 3065 secs 94 tries, 93549090 fired transitions, 3070 secs || 75532538 markings, 342314181 edges, 25227 markings/sec, 3070 secs 94 tries, 93707983 fired transitions, 3075 secs || 75657991 markings, 342972799 edges, 25091 markings/sec, 3075 secs 94 tries, 93866057 fired transitions, 3080 secs || 75783318 markings, 343633575 edges, 25065 markings/sec, 3080 secs 95 tries, 94023757 fired transitions, 3085 secs || 75907208 markings, 344325859 edges, 24778 markings/sec, 3085 secs 95 tries, 94181316 fired transitions, 3090 secs || 76032476 markings, 344994578 edges, 25054 markings/sec, 3090 secs 95 tries, 94339746 fired transitions, 3095 secs || 76157421 markings, 345661221 edges, 24989 markings/sec, 3095 secs 95 tries, 94497213 fired transitions, 3100 secs || 76283395 markings, 346307457 edges, 25195 markings/sec, 3100 secs 95 tries, 94655149 fired transitions, 3105 secs || 76408544 markings, 346956333 edges, 25030 markings/sec, 3105 secs 95 tries, 94812765 fired transitions, 3110 secs || 76532889 markings, 347642033 edges, 24869 markings/sec, 3110 secs 95 tries, 94970590 fired transitions, 3115 secs || 76658355 markings, 348303804 edges, 25093 markings/sec, 3115 secs 96 tries, 95128784 fired transitions, 3120 secs || 76784306 markings, 348943416 edges, 25190 markings/sec, 3120 secs 96 tries, 95287030 fired transitions, 3125 secs || 76912397 markings, 349541744 edges, 25618 markings/sec, 3125 secs 96 tries, 95446094 fired transitions, 3130 secs || 77037731 markings, 350179099 edges, 25067 markings/sec, 3130 secs 96 tries, 95605074 fired transitions, 3135 secs || 77165304 markings, 350805895 edges, 25515 markings/sec, 3135 secs 96 tries, 95762450 fired transitions, 3140 secs || 77289341 markings, 351471938 edges, 24807 markings/sec, 3140 secs 96 tries, 95921184 fired transitions, 3145 secs || 77418601 markings, 352071974 edges, 25852 markings/sec, 3145 secs 97 tries, 96081601 fired transitions, 3150 secs || 77546794 markings, 352679171 edges, 25639 markings/sec, 3150 secs 97 tries, 96243196 fired transitions, 3155 secs || 77674056 markings, 353293142 edges, 25452 markings/sec, 3155 secs 97 tries, 96404952 fired transitions, 3160 secs || 77801171 markings, 353911171 edges, 25423 markings/sec, 3160 secs 97 tries, 96567487 fired transitions, 3165 secs || 77928796 markings, 354526917 edges, 25525 markings/sec, 3165 secs 97 tries, 96730113 fired transitions, 3170 secs || 78054762 markings, 355184878 edges, 25193 markings/sec, 3170 secs 97 tries, 96892073 fired transitions, 3175 secs || 78179592 markings, 355860232 edges, 24966 markings/sec, 3175 secs 98 tries, 97053118 fired transitions, 3180 secs || 78305338 markings, 356526990 edges, 25149 markings/sec, 3180 secs 98 tries, 97212281 fired transitions, 3185 secs || 78431682 markings, 357190003 edges, 25269 markings/sec, 3185 secs 98 tries, 97372230 fired transitions, 3190 secs || 78558445 markings, 357832280 edges, 25353 markings/sec, 3190 secs 98 tries, 97531745 fired transitions, 3195 secs || 78683337 markings, 358529322 edges, 24978 markings/sec, 3195 secs 98 tries, 97691556 fired transitions, 3200 secs || 78807866 markings, 359208188 edges, 24906 markings/sec, 3200 secs 98 tries, 97850438 fired transitions, 3205 secs || 78935196 markings, 359850751 edges, 25466 markings/sec, 3205 secs 99 tries, 98009625 fired transitions, 3210 secs || 79061421 markings, 360489167 edges, 25245 markings/sec, 3210 secs 99 tries, 98166979 fired transitions, 3215 secs || 79188247 markings, 361124923 edges, 25365 markings/sec, 3215 secs 99 tries, 98325123 fired transitions, 3220 secs || 79314419 markings, 361755104 edges, 25234 markings/sec, 3220 secs 99 tries, 98483656 fired transitions, 3225 secs || 79438999 markings, 362420644 edges, 24916 markings/sec, 3225 secs 99 tries, 98641344 fired transitions, 3230 secs || 79563267 markings, 363101315 edges, 24854 markings/sec, 3230 secs 99 tries, 98798919 fired transitions, 3235 secs || 79689100 markings, 363757493 edges, 25167 markings/sec, 3235 secs 99 tries, 98956733 fired transitions, 3240 secs || 79813977 markings, 364412556 edges, 24975 markings/sec, 3240 secs 100 tries, 99114748 fired transitions, 3245 secs || 79939095 markings, 365051879 edges, 25024 markings/sec, 3245 secs 100 tries, 99270563 fired transitions, 3250 secs || 80062018 markings, 365704269 edges, 24585 markings/sec, 3250 secs 100 tries, 99428490 fired transitions, 3255 secs || 80187253 markings, 366358521 edges, 25047 markings/sec, 3255 secs 100 tries, 99573175 fired transitions, 3260 secs || 80304400 markings, 366947102 edges, 23429 markings/sec, 3260 secs 100 tries, 99718687 fired transitions, 3265 secs || 80419288 markings, 367592978 edges, 22978 markings/sec, 3265 secs 100 tries, 99867652 fired transitions, 3270 secs || 80537046 markings, 368255181 edges, 23552 markings/sec, 3270 secs 101 tries, 100027352 fired transitions, 3275 secs || 80661302 markings, 368960622 edges, 24851 markings/sec, 3275 secs 101 tries, 100186605 fired transitions, 3280 secs || 80783421 markings, 369649265 edges, 24424 markings/sec, 3280 secs 101 tries, 100348280 fired transitions, 3285 secs || 80908992 markings, 370306977 edges, 25114 markings/sec, 3285 secs 101 tries, 100508633 fired transitions, 3290 secs || 81033001 markings, 370968689 edges, 24802 markings/sec, 3290 secs 101 tries, 100670842 fired transitions, 3295 secs || 81161008 markings, 371576858 edges, 25601 markings/sec, 3295 secs 101 tries, 100829865 fired transitions, 3300 secs || 81286456 markings, 372176690 edges, 25090 markings/sec, 3300 secs 101 tries, 100986788 fired transitions, 3305 secs || 81412386 markings, 372805843 edges, 25186 markings/sec, 3305 secs 102 tries, 101146068 fired transitions, 3310 secs || 81536828 markings, 373475590 edges, 24888 markings/sec, 3310 secs 102 tries, 101305158 fired transitions, 3315 secs || 81661050 markings, 374136021 edges, 24844 markings/sec, 3315 secs 102 tries, 101463776 fired transitions, 3320 secs || 81786952 markings, 374756972 edges, 25180 markings/sec, 3320 secs 102 tries, 101620093 fired transitions, 3325 secs || 81911150 markings, 375372636 edges, 24840 markings/sec, 3325 secs 102 tries, 101765944 fired transitions, 3330 secs || 82025293 markings, 375986683 edges, 22829 markings/sec, 3330 secs 102 tries, 101912796 fired transitions, 3335 secs || 82139703 markings, 376595699 edges, 22882 markings/sec, 3335 secs 103 tries, 102068628 fired transitions, 3340 secs || 82258106 markings, 377271126 edges, 23681 markings/sec, 3340 secs 103 tries, 102218408 fired transitions, 3345 secs || 82371956 markings, 377908566 edges, 22770 markings/sec, 3345 secs 103 tries, 102369262 fired transitions, 3350 secs || 82488364 markings, 378528369 edges, 23282 markings/sec, 3350 secs 103 tries, 102531608 fired transitions, 3355 secs || 82609911 markings, 379216966 edges, 24309 markings/sec, 3355 secs 103 tries, 102677879 fired transitions, 3360 secs || 82726456 markings, 379800484 edges, 23309 markings/sec, 3360 secs 103 tries, 102823239 fired transitions, 3365 secs || 82844249 markings, 380371115 edges, 23559 markings/sec, 3365 secs 103 tries, 102969736 fired transitions, 3370 secs || 82958696 markings, 380979501 edges, 22889 markings/sec, 3370 secs 104 tries, 103119201 fired transitions, 3375 secs || 83072589 markings, 381594079 edges, 22779 markings/sec, 3375 secs 104 tries, 103268155 fired transitions, 3380 secs || 83187401 markings, 382196250 edges, 22962 markings/sec, 3380 secs 104 tries, 103417941 fired transitions, 3385 secs || 83299982 markings, 382822425 edges, 22516 markings/sec, 3385 secs 104 tries, 103567328 fired transitions, 3390 secs || 83413474 markings, 383437114 edges, 22698 markings/sec, 3390 secs 104 tries, 103717473 fired transitions, 3395 secs || 83526550 markings, 384058033 edges, 22615 markings/sec, 3395 secs 104 tries, 103868287 fired transitions, 3400 secs || 83637847 markings, 384678268 edges, 22259 markings/sec, 3400 secs 105 tries, 104016464 fired transitions, 3405 secs || 83753707 markings, 385305028 edges, 23172 markings/sec, 3405 secs 105 tries, 104162857 fired transitions, 3410 secs || 83873032 markings, 385936304 edges, 23865 markings/sec, 3410 secs 105 tries, 104321552 fired transitions, 3415 secs || 83999791 markings, 386572434 edges, 25352 markings/sec, 3415 secs 105 tries, 104460933 fired transitions, 3420 secs || 84116763 markings, 387169215 edges, 23394 markings/sec, 3420 secs 105 tries, 104619649 fired transitions, 3425 secs || 84243452 markings, 387815425 edges, 25338 markings/sec, 3425 secs 105 tries, 104766798 fired transitions, 3430 secs || 84358633 markings, 388442922 edges, 23036 markings/sec, 3430 secs 105 tries, 104915733 fired transitions, 3435 secs || 84474183 markings, 389044882 edges, 23110 markings/sec, 3435 secs 106 tries, 105062652 fired transitions, 3440 secs || 84590070 markings, 389662170 edges, 23177 markings/sec, 3440 secs 106 tries, 105207094 fired transitions, 3445 secs || 84704677 markings, 390303587 edges, 22921 markings/sec, 3445 secs 106 tries, 105352497 fired transitions, 3450 secs || 84820092 markings, 390913804 edges, 23083 markings/sec, 3450 secs 106 tries, 105499265 fired transitions, 3455 secs || 84932330 markings, 391551889 edges, 22448 markings/sec, 3455 secs 106 tries, 105643310 fired transitions, 3460 secs || 85047252 markings, 392170064 edges, 22984 markings/sec, 3460 secs 106 tries, 105787741 fired transitions, 3465 secs || 85160944 markings, 392806531 edges, 22738 markings/sec, 3465 secs 106 tries, 105931312 fired transitions, 3470 secs || 85278263 markings, 393403841 edges, 23464 markings/sec, 3470 secs 107 tries, 106075447 fired transitions, 3475 secs || 85394766 markings, 394015750 edges, 23301 markings/sec, 3475 secs 107 tries, 106221645 fired transitions, 3480 secs || 85510056 markings, 394639793 edges, 23058 markings/sec, 3480 secs 107 tries, 106368331 fired transitions, 3485 secs || 85623777 markings, 395264471 edges, 22744 markings/sec, 3485 secs 107 tries, 106525663 fired transitions, 3490 secs || 85743356 markings, 395926121 edges, 23916 markings/sec, 3490 secs 107 tries, 106685733 fired transitions, 3495 secs || 85866039 markings, 396576652 edges, 24537 markings/sec, 3495 secs 107 tries, 106844910 fired transitions, 3500 secs || 85988357 markings, 397223124 edges, 24464 markings/sec, 3500 secs 108 tries, 107004350 fired transitions, 3505 secs || 86109362 markings, 397884966 edges, 24201 markings/sec, 3505 secs 108 tries, 107152138 fired transitions, 3510 secs || 86220980 markings, 398489176 edges, 22324 markings/sec, 3510 secs 108 tries, 107300368 fired transitions, 3515 secs || 86332126 markings, 399092254 edges, 22229 markings/sec, 3515 secs 108 tries, 107449942 fired transitions, 3520 secs || 86444370 markings, 399685424 edges, 22449 markings/sec, 3520 secs 108 tries, 107600589 fired transitions, 3525 secs || 86557112 markings, 400275569 edges, 22548 markings/sec, 3525 secs 108 tries, 107751501 fired transitions, 3530 secs || 86668321 markings, 400855693 edges, 22242 markings/sec, 3530 secs 108 tries, 107903246 fired transitions, 3535 secs || 86777039 markings, 401435736 edges, 21744 markings/sec, 3535 secs 109 tries, 108053234 fired transitions, 3540 secs || 86890887 markings, 401982066 edges, 22770 markings/sec, 3540 secs 109 tries, 108201080 fired transitions, 3545 secs || 87005289 markings, 402594569 edges, 22880 markings/sec, 3545 secs 109 tries, 108349057 fired transitions, 3550 secs || 87119266 markings, 403189334 edges, 22795 markings/sec, 3550 secs 109 tries, 108495274 fired transitions, 3555 secs || 87234424 markings, 403773924 edges, 23032 markings/sec, 3555 secs 109 tries, 108639502 fired transitions, 3560 secs || 87351877 markings, 404348097 edges, 23491 markings/sec, 3560 secs reached - aborting 2943684 KB 3570 seconds

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="DNAwalker-PT-13ringRLLarge"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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

tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r064-smll-152649735500314"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
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 ;