MCC'2018 - Execution of r064-smll-152649735500321

About the Execution of LoLA for DNAwalker-PT-14ringLRLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3099.700	3570364.00	7179472.00	8420.00	[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
-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 1526844492141

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: stp: The
lola: computing
lola: time limit
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computed
lola: representing 1 symmetries
lola: 0 dead
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: 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 1526848062505

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

be ready (probing ssh) ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... users 3.4K May 15 18:54 CTLCardinality.txt 19K May 15 18:54 CTLCardinality.xml users 2.7K May 15 18:54 CTLFireability.txt 17K 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 users 9.9K May 15 18:54 LTLCardinality.xml users 2.0K May 15 18:54 LTLFireability.txt users 8.6K May 15 18:54 LTLFireability.xml users 3.7K May 15 18:54 ReachabilityCardinality.txt 19K 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-14ringLRLarge, examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735500321 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) T-14ringLRLarge-ReachabilityDeadlock-0 of the tool begins =================================================================== DNAwalker-PT-14ringLRLarge Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DNAwalker-PT-14ringLRLarge formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DNAwalker-PT-14ringLRLarge @ 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-14ringLRLarge-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) siphon/trap property is not applicable since the net is inhomogeneous symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly 0 generators (0 in search tree, 0 by composition) branches visited in search tree 1 tries, 153639 fired transitions, 0 secs || 139971 markings, 347655 edges, 27994 markings/sec, 0 secs 1 tries, 312303 fired transitions, 5 secs || 278958 markings, 759325 edges, 27797 markings/sec, 5 secs 1 tries, 470656 fired transitions, 10 secs || 417747 markings, 1160763 edges, 27758 markings/sec, 10 secs 1 tries, 625552 fired transitions, 15 secs || 554391 markings, 1581438 edges, 27329 markings/sec, 15 secs 1 tries, 781092 fired transitions, 20 secs || 689935 markings, 2012992 edges, 27109 markings/sec, 20 secs 1 tries, 939635 fired transitions, 25 secs || 826647 markings, 2467240 edges, 27342 markings/sec, 25 secs 2 tries, 1092865 fired transitions, 30 secs || 958999 markings, 2920291 edges, 26470 markings/sec, 30 secs 2 tries, 1238953 fired transitions, 35 secs || 1080768 markings, 3435646 edges, 24354 markings/sec, 35 secs 2 tries, 1384746 fired transitions, 40 secs || 1202753 markings, 3919416 edges, 24397 markings/sec, 40 secs 2 tries, 1529703 fired transitions, 45 secs || 1331353 markings, 4298706 edges, 25720 markings/sec, 45 secs 2 tries, 1674893 fired transitions, 50 secs || 1458157 markings, 4690214 edges, 25361 markings/sec, 50 secs 2 tries, 1820368 fired transitions, 55 secs || 1584316 markings, 5104005 edges, 25232 markings/sec, 55 secs 2 tries, 1966330 fired transitions, 60 secs || 1708976 markings, 5542989 edges, 24932 markings/sec, 60 secs 3 tries, 2112595 fired transitions, 65 secs || 1835001 markings, 5984686 edges, 25205 markings/sec, 65 secs 3 tries, 2258743 fired transitions, 70 secs || 1962562 markings, 6399870 edges, 25512 markings/sec, 70 secs 3 tries, 2404985 fired transitions, 75 secs || 2089103 markings, 6840458 edges, 25308 markings/sec, 75 secs 3 tries, 2551062 fired transitions, 80 secs || 2215996 markings, 7273760 edges, 25379 markings/sec, 80 secs 3 tries, 2697373 fired transitions, 85 secs || 2341590 markings, 7735748 edges, 25119 markings/sec, 85 secs 3 tries, 2843846 fired transitions, 90 secs || 2467709 markings, 8173009 edges, 25224 markings/sec, 90 secs 3 tries, 2989252 fired transitions, 95 secs || 2599359 markings, 8522828 edges, 26330 markings/sec, 95 secs 4 tries, 3132935 fired transitions, 100 secs || 2728242 markings, 8909155 edges, 25777 markings/sec, 100 secs 4 tries, 3273403 fired transitions, 105 secs || 2859556 markings, 9316579 edges, 26263 markings/sec, 105 secs 4 tries, 3413514 fired transitions, 110 secs || 2990139 markings, 9751480 edges, 26117 markings/sec, 110 secs 4 tries, 3554211 fired transitions, 115 secs || 3121535 markings, 10168668 edges, 26279 markings/sec, 115 secs 4 tries, 3696843 fired transitions, 120 secs || 3249978 markings, 10601744 edges, 25689 markings/sec, 120 secs 4 tries, 3839472 fired transitions, 125 secs || 3377976 markings, 11042021 edges, 25600 markings/sec, 125 secs 4 tries, 3983803 fired transitions, 130 secs || 3500003 markings, 11548767 edges, 24405 markings/sec, 130 secs 5 tries, 4129274 fired transitions, 135 secs || 3622400 markings, 12088776 edges, 24479 markings/sec, 135 secs 5 tries, 4274524 fired transitions, 140 secs || 3745256 markings, 12600952 edges, 24571 markings/sec, 140 secs 5 tries, 4420541 fired transitions, 145 secs || 3872626 markings, 13034815 edges, 25474 markings/sec, 145 secs 5 tries, 4566321 fired transitions, 150 secs || 3995154 markings, 13597940 edges, 24506 markings/sec, 150 secs 5 tries, 4711751 fired transitions, 155 secs || 4116962 markings, 14159441 edges, 24362 markings/sec, 155 secs 5 tries, 4856893 fired transitions, 160 secs || 4241431 markings, 14707393 edges, 24894 markings/sec, 160 secs 6 tries, 5003224 fired transitions, 165 secs || 4362902 markings, 15235938 edges, 24294 markings/sec, 165 secs 6 tries, 5147560 fired transitions, 170 secs || 4483456 markings, 15768231 edges, 24111 markings/sec, 170 secs 6 tries, 5289299 fired transitions, 175 secs || 4609008 markings, 16246191 edges, 25110 markings/sec, 175 secs 6 tries, 5432228 fired transitions, 180 secs || 4731077 markings, 16786332 edges, 24414 markings/sec, 180 secs 6 tries, 5574558 fired transitions, 185 secs || 4855883 markings, 17275710 edges, 24961 markings/sec, 185 secs 6 tries, 5717153 fired transitions, 190 secs || 4977445 markings, 17794838 edges, 24312 markings/sec, 190 secs 6 tries, 5861488 fired transitions, 195 secs || 5096991 markings, 18320177 edges, 23909 markings/sec, 195 secs 7 tries, 6005863 fired transitions, 200 secs || 5221541 markings, 18738951 edges, 24910 markings/sec, 200 secs 7 tries, 6152521 fired transitions, 205 secs || 5347330 markings, 19151229 edges, 25158 markings/sec, 205 secs 7 tries, 6299528 fired transitions, 210 secs || 5469121 markings, 19651215 edges, 24358 markings/sec, 210 secs 7 tries, 6446367 fired transitions, 215 secs || 5594584 markings, 20097130 edges, 25093 markings/sec, 215 secs 7 tries, 6593444 fired transitions, 220 secs || 5718923 markings, 20552530 edges, 24868 markings/sec, 220 secs 7 tries, 6740396 fired transitions, 225 secs || 5840646 markings, 21070572 edges, 24345 markings/sec, 225 secs 7 tries, 6887564 fired transitions, 230 secs || 5959230 markings, 21640422 edges, 23717 markings/sec, 230 secs 8 tries, 7034230 fired transitions, 235 secs || 6078479 markings, 22183387 edges, 23850 markings/sec, 235 secs 8 tries, 7179425 fired transitions, 240 secs || 6200606 markings, 22675879 edges, 24425 markings/sec, 240 secs 8 tries, 7324943 fired transitions, 245 secs || 6322196 markings, 23194035 edges, 24318 markings/sec, 245 secs 8 tries, 7470600 fired transitions, 250 secs || 6440756 markings, 23767948 edges, 23712 markings/sec, 250 secs 8 tries, 7616249 fired transitions, 255 secs || 6560288 markings, 24309712 edges, 23906 markings/sec, 255 secs 8 tries, 7761301 fired transitions, 260 secs || 6686131 markings, 24780156 edges, 25169 markings/sec, 260 secs 8 tries, 7906206 fired transitions, 265 secs || 6812451 markings, 25244329 edges, 25264 markings/sec, 265 secs 9 tries, 8052055 fired transitions, 270 secs || 6937357 markings, 25685054 edges, 24981 markings/sec, 270 secs 9 tries, 8199154 fired transitions, 275 secs || 7060342 markings, 26156949 edges, 24597 markings/sec, 275 secs 9 tries, 8345953 fired transitions, 280 secs || 7188438 markings, 26536578 edges, 25619 markings/sec, 280 secs 9 tries, 8486908 fired transitions, 285 secs || 7316401 markings, 27035162 edges, 25593 markings/sec, 285 secs 9 tries, 8641652 fired transitions, 290 secs || 7446936 markings, 27582282 edges, 26107 markings/sec, 290 secs 9 tries, 8791311 fired transitions, 295 secs || 7571444 markings, 28103223 edges, 24902 markings/sec, 295 secs 9 tries, 8938327 fired transitions, 300 secs || 7692618 markings, 28605797 edges, 24235 markings/sec, 300 secs 10 tries, 9083652 fired transitions, 305 secs || 7816129 markings, 29134631 edges, 24702 markings/sec, 305 secs 10 tries, 9227377 fired transitions, 310 secs || 7941911 markings, 29588648 edges, 25156 markings/sec, 310 secs 10 tries, 9372085 fired transitions, 315 secs || 8064653 markings, 30100522 edges, 24548 markings/sec, 315 secs 10 tries, 9516870 fired transitions, 320 secs || 8188510 markings, 30566674 edges, 24771 markings/sec, 320 secs 10 tries, 9662186 fired transitions, 325 secs || 8311398 markings, 31028949 edges, 24578 markings/sec, 325 secs 10 tries, 9807561 fired transitions, 330 secs || 8434111 markings, 31491200 edges, 24543 markings/sec, 330 secs 10 tries, 9952834 fired transitions, 335 secs || 8555953 markings, 32009097 edges, 24368 markings/sec, 335 secs 11 tries, 10097996 fired transitions, 340 secs || 8679930 markings, 32484555 edges, 24795 markings/sec, 340 secs 11 tries, 10243221 fired transitions, 345 secs || 8803222 markings, 32945064 edges, 24658 markings/sec, 345 secs 11 tries, 10390180 fired transitions, 350 secs || 8926089 markings, 33428665 edges, 24573 markings/sec, 350 secs 11 tries, 10535817 fired transitions, 355 secs || 9049246 markings, 33894367 edges, 24631 markings/sec, 355 secs 11 tries, 10681912 fired transitions, 360 secs || 9168996 markings, 34415553 edges, 23950 markings/sec, 360 secs 11 tries, 10828728 fired transitions, 365 secs || 9287306 markings, 34959032 edges, 23662 markings/sec, 365 secs 11 tries, 10975085 fired transitions, 370 secs || 9408189 markings, 35481464 edges, 24177 markings/sec, 370 secs 12 tries, 11120942 fired transitions, 375 secs || 9531150 markings, 36005147 edges, 24592 markings/sec, 375 secs 12 tries, 11265837 fired transitions, 380 secs || 9656246 markings, 36477473 edges, 25019 markings/sec, 380 secs 12 tries, 11410618 fired transitions, 385 secs || 9781770 markings, 36942000 edges, 25105 markings/sec, 385 secs 12 tries, 11556665 fired transitions, 390 secs || 9903180 markings, 37454686 edges, 24282 markings/sec, 390 secs 12 tries, 11702859 fired transitions, 395 secs || 10023798 markings, 37976042 edges, 24124 markings/sec, 395 secs 12 tries, 11849024 fired transitions, 400 secs || 10144557 markings, 38496249 edges, 24152 markings/sec, 400 secs 12 tries, 11995272 fired transitions, 405 secs || 10265098 markings, 39027586 edges, 24108 markings/sec, 405 secs 13 tries, 12142428 fired transitions, 410 secs || 10390173 markings, 39472323 edges, 25015 markings/sec, 410 secs 13 tries, 12289923 fired transitions, 415 secs || 10515178 markings, 39920023 edges, 25001 markings/sec, 415 secs 13 tries, 12437407 fired transitions, 420 secs || 10639931 markings, 40376642 edges, 24951 markings/sec, 420 secs 13 tries, 12584846 fired transitions, 425 secs || 10764732 markings, 40818472 edges, 24960 markings/sec, 425 secs 13 tries, 12732241 fired transitions, 430 secs || 10888900 markings, 41274369 edges, 24834 markings/sec, 430 secs 13 tries, 12880461 fired transitions, 435 secs || 11009497 markings, 41819386 edges, 24119 markings/sec, 435 secs 14 tries, 13027006 fired transitions, 440 secs || 11136308 markings, 42229912 edges, 25362 markings/sec, 440 secs 14 tries, 13177675 fired transitions, 445 secs || 11265629 markings, 42710020 edges, 25864 markings/sec, 445 secs 14 tries, 13335220 fired transitions, 450 secs || 11398828 markings, 43236681 edges, 26640 markings/sec, 450 secs 14 tries, 13495508 fired transitions, 455 secs || 11533965 markings, 43775529 edges, 27027 markings/sec, 455 secs 14 tries, 13641393 fired transitions, 460 secs || 11658556 markings, 44277488 edges, 24918 markings/sec, 460 secs 14 tries, 13783931 fired transitions, 465 secs || 11781434 markings, 44829263 edges, 24576 markings/sec, 465 secs 14 tries, 13926305 fired transitions, 470 secs || 11903567 markings, 45376552 edges, 24427 markings/sec, 470 secs 15 tries, 14079278 fired transitions, 475 secs || 12033229 markings, 45938860 edges, 25932 markings/sec, 475 secs 15 tries, 14238763 fired transitions, 480 secs || 12167641 markings, 46493693 edges, 26882 markings/sec, 480 secs 15 tries, 14398585 fired transitions, 485 secs || 12302301 markings, 47014901 edges, 26932 markings/sec, 485 secs 15 tries, 14558914 fired transitions, 490 secs || 12432979 markings, 47612147 edges, 26136 markings/sec, 490 secs 15 tries, 14717623 fired transitions, 495 secs || 12563261 markings, 48182911 edges, 26056 markings/sec, 495 secs 15 tries, 14877515 fired transitions, 500 secs || 12694679 markings, 48739462 edges, 26284 markings/sec, 500 secs 16 tries, 15037276 fired transitions, 505 secs || 12825730 markings, 49290766 edges, 26210 markings/sec, 505 secs 16 tries, 15199726 fired transitions, 510 secs || 12960298 markings, 49821726 edges, 26914 markings/sec, 510 secs 16 tries, 15361001 fired transitions, 515 secs || 13095733 markings, 50335220 edges, 27087 markings/sec, 515 secs 16 tries, 15523721 fired transitions, 520 secs || 13231637 markings, 50868298 edges, 27181 markings/sec, 520 secs 16 tries, 15685129 fired transitions, 525 secs || 13365905 markings, 51417818 edges, 26854 markings/sec, 525 secs 16 tries, 15848251 fired transitions, 530 secs || 13497669 markings, 52008221 edges, 26353 markings/sec, 530 secs 17 tries, 16010951 fired transitions, 535 secs || 13628807 markings, 52604544 edges, 26228 markings/sec, 535 secs 17 tries, 16170670 fired transitions, 540 secs || 13760443 markings, 53189450 edges, 26327 markings/sec, 540 secs 17 tries, 16330531 fired transitions, 545 secs || 13891585 markings, 53772803 edges, 26228 markings/sec, 545 secs 17 tries, 16488639 fired transitions, 550 secs || 14031195 markings, 54251342 edges, 27922 markings/sec, 550 secs 17 tries, 16646676 fired transitions, 555 secs || 14174343 markings, 54697217 edges, 28630 markings/sec, 555 secs 17 tries, 16805252 fired transitions, 560 secs || 14316792 markings, 55156842 edges, 28490 markings/sec, 560 secs 17 tries, 16964104 fired transitions, 565 secs || 14457571 markings, 55626320 edges, 28156 markings/sec, 565 secs 18 tries, 17123069 fired transitions, 570 secs || 14596368 markings, 56121479 edges, 27759 markings/sec, 570 secs 18 tries, 17282328 fired transitions, 575 secs || 14738522 markings, 56558282 edges, 28431 markings/sec, 575 secs 18 tries, 17440450 fired transitions, 580 secs || 14876827 markings, 57035919 edges, 27661 markings/sec, 580 secs 18 tries, 17596358 fired transitions, 585 secs || 15014853 markings, 57489672 edges, 27605 markings/sec, 585 secs 18 tries, 17754939 fired transitions, 590 secs || 15152618 markings, 57990445 edges, 27553 markings/sec, 590 secs 18 tries, 17913696 fired transitions, 595 secs || 15289161 markings, 58515450 edges, 27309 markings/sec, 595 secs 19 tries, 18072567 fired transitions, 600 secs || 15431734 markings, 58936260 edges, 28515 markings/sec, 600 secs 19 tries, 18231623 fired transitions, 605 secs || 15570477 markings, 59397305 edges, 27749 markings/sec, 605 secs 19 tries, 18391522 fired transitions, 610 secs || 15709140 markings, 59872074 edges, 27733 markings/sec, 610 secs 19 tries, 18552628 fired transitions, 615 secs || 15847387 markings, 60372977 edges, 27649 markings/sec, 615 secs 19 tries, 18713895 fired transitions, 620 secs || 15985178 markings, 60887622 edges, 27558 markings/sec, 620 secs 19 tries, 18874236 fired transitions, 625 secs || 16126719 markings, 61326804 edges, 28308 markings/sec, 625 secs 20 tries, 19026995 fired transitions, 630 secs || 16258643 markings, 61818513 edges, 26385 markings/sec, 630 secs 20 tries, 19170824 fired transitions, 635 secs || 16384078 markings, 62278122 edges, 25087 markings/sec, 635 secs 20 tries, 19314660 fired transitions, 640 secs || 16508904 markings, 62752443 edges, 24965 markings/sec, 640 secs 20 tries, 19458874 fired transitions, 645 secs || 16630220 markings, 63300383 edges, 24263 markings/sec, 645 secs 20 tries, 19602954 fired transitions, 650 secs || 16752640 markings, 63816738 edges, 24484 markings/sec, 650 secs 20 tries, 19747076 fired transitions, 655 secs || 16875723 markings, 64315147 edges, 24617 markings/sec, 655 secs 20 tries, 19889454 fired transitions, 660 secs || 17006452 markings, 64691974 edges, 26146 markings/sec, 660 secs 21 tries, 20033992 fired transitions, 665 secs || 17134788 markings, 65075087 edges, 25667 markings/sec, 665 secs 21 tries, 20180886 fired transitions, 670 secs || 17263439 markings, 65471081 edges, 25730 markings/sec, 670 secs 21 tries, 20327915 fired transitions, 675 secs || 17391838 markings, 65865460 edges, 25680 markings/sec, 675 secs 21 tries, 20474987 fired transitions, 680 secs || 17520431 markings, 66260467 edges, 25719 markings/sec, 680 secs 21 tries, 20622253 fired transitions, 685 secs || 17647081 markings, 66681987 edges, 25330 markings/sec, 685 secs 21 tries, 20769474 fired transitions, 690 secs || 17774081 markings, 67094872 edges, 25400 markings/sec, 690 secs 21 tries, 20916707 fired transitions, 695 secs || 17898409 markings, 67557404 edges, 24866 markings/sec, 695 secs 22 tries, 21060557 fired transitions, 700 secs || 18022692 markings, 68051820 edges, 24857 markings/sec, 700 secs 22 tries, 21202415 fired transitions, 705 secs || 18147970 markings, 68558943 edges, 25056 markings/sec, 705 secs 22 tries, 21344181 fired transitions, 710 secs || 18273402 markings, 69057179 edges, 25086 markings/sec, 710 secs 22 tries, 21487388 fired transitions, 715 secs || 18397453 markings, 69544759 edges, 24810 markings/sec, 715 secs 22 tries, 21632630 fired transitions, 720 secs || 18517512 markings, 70059604 edges, 24012 markings/sec, 720 secs 22 tries, 21775918 fired transitions, 725 secs || 18639698 markings, 70572935 edges, 24437 markings/sec, 725 secs 22 tries, 21917667 fired transitions, 730 secs || 18762562 markings, 71089820 edges, 24573 markings/sec, 730 secs 23 tries, 22061021 fired transitions, 735 secs || 18887207 markings, 71561544 edges, 24929 markings/sec, 735 secs 23 tries, 22203601 fired transitions, 740 secs || 19011896 markings, 72034035 edges, 24938 markings/sec, 740 secs 23 tries, 22345000 fired transitions, 745 secs || 19137340 markings, 72533727 edges, 25089 markings/sec, 745 secs 23 tries, 22485563 fired transitions, 750 secs || 19264565 markings, 73016289 edges, 25445 markings/sec, 750 secs 23 tries, 22626106 fired transitions, 755 secs || 19391987 markings, 73494457 edges, 25484 markings/sec, 755 secs 23 tries, 22767298 fired transitions, 760 secs || 19517623 markings, 73974560 edges, 25127 markings/sec, 760 secs 23 tries, 22909685 fired transitions, 765 secs || 19635073 markings, 74490812 edges, 23490 markings/sec, 765 secs 24 tries, 23051952 fired transitions, 770 secs || 19758575 markings, 74973075 edges, 24700 markings/sec, 770 secs 24 tries, 23196830 fired transitions, 775 secs || 19878227 markings, 75446366 edges, 23930 markings/sec, 775 secs 24 tries, 23341078 fired transitions, 780 secs || 20001997 markings, 75934508 edges, 24754 markings/sec, 780 secs 24 tries, 23485049 fired transitions, 785 secs || 20123995 markings, 76459442 edges, 24400 markings/sec, 785 secs 24 tries, 23629937 fired transitions, 790 secs || 20239826 markings, 76988273 edges, 23166 markings/sec, 790 secs 24 tries, 23774730 fired transitions, 795 secs || 20354818 markings, 77515617 edges, 22998 markings/sec, 795 secs 24 tries, 23919454 fired transitions, 800 secs || 20471185 markings, 78031214 edges, 23273 markings/sec, 800 secs 25 tries, 24063732 fired transitions, 805 secs || 20587783 markings, 78539374 edges, 23320 markings/sec, 805 secs 25 tries, 24206784 fired transitions, 810 secs || 20704170 markings, 79025884 edges, 23277 markings/sec, 810 secs 25 tries, 24349012 fired transitions, 815 secs || 20824049 markings, 79516766 edges, 23976 markings/sec, 815 secs 25 tries, 24492524 fired transitions, 820 secs || 20940325 markings, 79990573 edges, 23255 markings/sec, 820 secs 25 tries, 24635766 fired transitions, 825 secs || 21057470 markings, 80485165 edges, 23429 markings/sec, 825 secs 25 tries, 24778598 fired transitions, 830 secs || 21179032 markings, 80892337 edges, 24312 markings/sec, 830 secs 25 tries, 24921490 fired transitions, 835 secs || 21300967 markings, 81292011 edges, 24387 markings/sec, 835 secs 26 tries, 25065863 fired transitions, 840 secs || 21421973 markings, 81722186 edges, 24201 markings/sec, 840 secs 26 tries, 25212115 fired transitions, 845 secs || 21544540 markings, 82158254 edges, 24513 markings/sec, 845 secs 26 tries, 25358530 fired transitions, 850 secs || 21665873 markings, 82607048 edges, 24267 markings/sec, 850 secs 26 tries, 25505242 fired transitions, 855 secs || 21784671 markings, 83092902 edges, 23760 markings/sec, 855 secs 26 tries, 25651661 fired transitions, 860 secs || 21904852 markings, 83575463 edges, 24036 markings/sec, 860 secs 26 tries, 25797987 fired transitions, 865 secs || 22025654 markings, 84035418 edges, 24160 markings/sec, 865 secs 26 tries, 25944807 fired transitions, 870 secs || 22144682 markings, 84514345 edges, 23806 markings/sec, 870 secs 27 tries, 26090297 fired transitions, 875 secs || 22264987 markings, 84992317 edges, 24061 markings/sec, 875 secs 27 tries, 26234926 fired transitions, 880 secs || 22383869 markings, 85490374 edges, 23776 markings/sec, 880 secs 27 tries, 26379638 fired transitions, 885 secs || 22503322 markings, 85971203 edges, 23891 markings/sec, 885 secs 27 tries, 26524204 fired transitions, 890 secs || 22623010 markings, 86458857 edges, 23938 markings/sec, 890 secs 27 tries, 26668754 fired transitions, 895 secs || 22741928 markings, 86950572 edges, 23784 markings/sec, 895 secs 27 tries, 26813082 fired transitions, 900 secs || 22862804 markings, 87414890 edges, 24175 markings/sec, 900 secs 27 tries, 26957431 fired transitions, 905 secs || 22984590 markings, 87847992 edges, 24357 markings/sec, 905 secs 28 tries, 27100834 fired transitions, 910 secs || 23108066 markings, 88276909 edges, 24695 markings/sec, 910 secs 28 tries, 27244794 fired transitions, 915 secs || 23227313 markings, 88726824 edges, 23849 markings/sec, 915 secs 28 tries, 27388794 fired transitions, 920 secs || 23346758 markings, 89173671 edges, 23889 markings/sec, 920 secs 28 tries, 27532894 fired transitions, 925 secs || 23464968 markings, 89635915 edges, 23642 markings/sec, 925 secs 28 tries, 27676972 fired transitions, 930 secs || 23582812 markings, 90118800 edges, 23569 markings/sec, 930 secs 28 tries, 27821209 fired transitions, 935 secs || 23699719 markings, 90611630 edges, 23381 markings/sec, 935 secs 28 tries, 27965193 fired transitions, 940 secs || 23819636 markings, 91083944 edges, 23983 markings/sec, 940 secs 29 tries, 28115222 fired transitions, 945 secs || 23937594 markings, 91557914 edges, 23592 markings/sec, 945 secs 29 tries, 28267054 fired transitions, 950 secs || 24054736 markings, 92034624 edges, 23428 markings/sec, 950 secs 29 tries, 28418694 fired transitions, 955 secs || 24169670 markings, 92546689 edges, 22987 markings/sec, 955 secs 29 tries, 28570546 fired transitions, 960 secs || 24284990 markings, 93032922 edges, 23064 markings/sec, 960 secs 29 tries, 28722401 fired transitions, 965 secs || 24402566 markings, 93518205 edges, 23515 markings/sec, 965 secs 29 tries, 28874604 fired transitions, 970 secs || 24519164 markings, 94003951 edges, 23320 markings/sec, 970 secs 30 tries, 29025723 fired transitions, 975 secs || 24634703 markings, 94505756 edges, 23108 markings/sec, 975 secs 30 tries, 29170729 fired transitions, 980 secs || 24750773 markings, 95008641 edges, 23214 markings/sec, 980 secs 30 tries, 29315799 fired transitions, 985 secs || 24867410 markings, 95503002 edges, 23327 markings/sec, 985 secs 30 tries, 29461296 fired transitions, 990 secs || 24982117 markings, 96015275 edges, 22941 markings/sec, 990 secs 30 tries, 29606563 fired transitions, 995 secs || 25097926 markings, 96508061 edges, 23162 markings/sec, 995 secs 30 tries, 29752033 fired transitions, 1000 secs || 25211770 markings, 97048161 edges, 22769 markings/sec, 1000 secs 30 tries, 29896428 fired transitions, 1005 secs || 25332963 markings, 97459286 edges, 24239 markings/sec, 1005 secs 31 tries, 30042128 fired transitions, 1010 secs || 25453775 markings, 97897092 edges, 24162 markings/sec, 1010 secs 31 tries, 30200879 fired transitions, 1015 secs || 25584917 markings, 98429203 edges, 26228 markings/sec, 1015 secs 31 tries, 30359660 fired transitions, 1020 secs || 25713852 markings, 99005329 edges, 25787 markings/sec, 1020 secs 31 tries, 30518349 fired transitions, 1025 secs || 25844174 markings, 99546001 edges, 26064 markings/sec, 1025 secs 31 tries, 30677059 fired transitions, 1030 secs || 25974444 markings, 100107274 edges, 26054 markings/sec, 1030 secs 31 tries, 30835855 fired transitions, 1035 secs || 26104854 markings, 100650663 edges, 26082 markings/sec, 1035 secs 31 tries, 30994528 fired transitions, 1040 secs || 26238582 markings, 101129813 edges, 26746 markings/sec, 1040 secs 32 tries, 31155481 fired transitions, 1045 secs || 26368517 markings, 101671443 edges, 25987 markings/sec, 1045 secs 32 tries, 31301279 fired transitions, 1050 secs || 26487718 markings, 102163465 edges, 23840 markings/sec, 1050 secs 32 tries, 31455879 fired transitions, 1055 secs || 26614128 markings, 102671191 edges, 25282 markings/sec, 1055 secs 32 tries, 31609846 fired transitions, 1060 secs || 26739440 markings, 103189103 edges, 25062 markings/sec, 1060 secs 32 tries, 31770721 fired transitions, 1065 secs || 26868523 markings, 103755870 edges, 25817 markings/sec, 1065 secs 32 tries, 31931475 fired transitions, 1070 secs || 26997847 markings, 104309924 edges, 25865 markings/sec, 1070 secs 33 tries, 32079094 fired transitions, 1075 secs || 27117755 markings, 104840004 edges, 23982 markings/sec, 1075 secs 33 tries, 32236074 fired transitions, 1080 secs || 27245786 markings, 105411401 edges, 25606 markings/sec, 1080 secs 33 tries, 32383115 fired transitions, 1085 secs || 27370287 markings, 105873860 edges, 24900 markings/sec, 1085 secs 33 tries, 32540064 fired transitions, 1090 secs || 27500051 markings, 106408253 edges, 25953 markings/sec, 1090 secs 33 tries, 32698073 fired transitions, 1095 secs || 27630820 markings, 106941408 edges, 26154 markings/sec, 1095 secs 33 tries, 32842577 fired transitions, 1100 secs || 27750069 markings, 107427494 edges, 23850 markings/sec, 1100 secs 33 tries, 32985781 fired transitions, 1105 secs || 27866097 markings, 107967010 edges, 23206 markings/sec, 1105 secs 34 tries, 33130722 fired transitions, 1110 secs || 27983777 markings, 108483187 edges, 23536 markings/sec, 1110 secs 34 tries, 33285513 fired transitions, 1115 secs || 28109108 markings, 109010630 edges, 25066 markings/sec, 1115 secs 34 tries, 33433222 fired transitions, 1120 secs || 28230426 markings, 109518461 edges, 24264 markings/sec, 1120 secs 34 tries, 33577710 fired transitions, 1125 secs || 28348904 markings, 110039419 edges, 23696 markings/sec, 1125 secs 34 tries, 33722732 fired transitions, 1130 secs || 28464795 markings, 110594659 edges, 23178 markings/sec, 1130 secs 34 tries, 33868079 fired transitions, 1135 secs || 28582475 markings, 111118032 edges, 23536 markings/sec, 1135 secs 35 tries, 34012972 fired transitions, 1140 secs || 28700222 markings, 111623552 edges, 23549 markings/sec, 1140 secs 35 tries, 34165723 fired transitions, 1145 secs || 28820929 markings, 112190488 edges, 24141 markings/sec, 1145 secs 35 tries, 34324333 fired transitions, 1150 secs || 28947435 markings, 112748288 edges, 25301 markings/sec, 1150 secs 35 tries, 34477881 fired transitions, 1155 secs || 29073536 markings, 113261991 edges, 25220 markings/sec, 1155 secs 35 tries, 34636800 fired transitions, 1160 secs || 29204432 markings, 113787017 edges, 26179 markings/sec, 1160 secs 35 tries, 34792724 fired transitions, 1165 secs || 29330286 markings, 114340812 edges, 25171 markings/sec, 1165 secs 35 tries, 34936905 fired transitions, 1170 secs || 29447493 markings, 114851923 edges, 23441 markings/sec, 1170 secs 36 tries, 35087924 fired transitions, 1175 secs || 29567860 markings, 115410868 edges, 24073 markings/sec, 1175 secs 36 tries, 35239871 fired transitions, 1180 secs || 29686969 markings, 115998957 edges, 23822 markings/sec, 1180 secs 36 tries, 35394716 fired transitions, 1185 secs || 29808392 markings, 116577530 edges, 24285 markings/sec, 1185 secs 36 tries, 35553882 fired transitions, 1190 secs || 29933247 markings, 117159525 edges, 24971 markings/sec, 1190 secs 36 tries, 35714908 fired transitions, 1195 secs || 30062121 markings, 117709799 edges, 25775 markings/sec, 1195 secs 36 tries, 35875865 fired transitions, 1200 secs || 30190411 markings, 118273821 edges, 25658 markings/sec, 1200 secs 37 tries, 36036122 fired transitions, 1205 secs || 30317998 markings, 118851772 edges, 25517 markings/sec, 1205 secs 37 tries, 36194065 fired transitions, 1210 secs || 30440475 markings, 119519903 edges, 24495 markings/sec, 1210 secs 37 tries, 36351921 fired transitions, 1215 secs || 30566133 markings, 120090455 edges, 25132 markings/sec, 1215 secs 37 tries, 36509735 fired transitions, 1220 secs || 30690393 markings, 120682737 edges, 24852 markings/sec, 1220 secs 37 tries, 36667575 fired transitions, 1225 secs || 30815687 markings, 121258548 edges, 25059 markings/sec, 1225 secs 37 tries, 36825492 fired transitions, 1230 secs || 30940399 markings, 121833626 edges, 24942 markings/sec, 1230 secs 37 tries, 36978271 fired transitions, 1235 secs || 31061808 markings, 122397637 edges, 24282 markings/sec, 1235 secs 38 tries, 37143410 fired transitions, 1240 secs || 31186337 markings, 122961906 edges, 24906 markings/sec, 1240 secs 38 tries, 37306790 fired transitions, 1245 secs || 31307478 markings, 123530040 edges, 24228 markings/sec, 1245 secs 38 tries, 37469049 fired transitions, 1250 secs || 31427735 markings, 124114103 edges, 24051 markings/sec, 1250 secs 38 tries, 37633606 fired transitions, 1255 secs || 31551368 markings, 124738198 edges, 24727 markings/sec, 1255 secs 38 tries, 37789733 fired transitions, 1260 secs || 31663201 markings, 125290022 edges, 22367 markings/sec, 1260 secs 38 tries, 37950354 fired transitions, 1265 secs || 31781072 markings, 125864663 edges, 23574 markings/sec, 1265 secs 39 tries, 38113484 fired transitions, 1270 secs || 31903344 markings, 126407670 edges, 24454 markings/sec, 1270 secs 39 tries, 38276836 fired transitions, 1275 secs || 32029168 markings, 126941448 edges, 25165 markings/sec, 1275 secs 39 tries, 38436411 fired transitions, 1280 secs || 32147806 markings, 127546911 edges, 23728 markings/sec, 1280 secs 39 tries, 38599932 fired transitions, 1285 secs || 32271936 markings, 128108129 edges, 24826 markings/sec, 1285 secs 39 tries, 38758651 fired transitions, 1290 secs || 32392328 markings, 128648028 edges, 24078 markings/sec, 1290 secs 39 tries, 38923367 fired transitions, 1295 secs || 32518681 markings, 129204985 edges, 25271 markings/sec, 1295 secs 40 tries, 39086035 fired transitions, 1300 secs || 32642177 markings, 129783717 edges, 24699 markings/sec, 1300 secs 40 tries, 39246903 fired transitions, 1305 secs || 32764852 markings, 130352302 edges, 24535 markings/sec, 1305 secs 40 tries, 39408279 fired transitions, 1310 secs || 32890195 markings, 130939310 edges, 25069 markings/sec, 1310 secs 40 tries, 39567002 fired transitions, 1315 secs || 33009370 markings, 131510496 edges, 23835 markings/sec, 1315 secs 40 tries, 39718642 fired transitions, 1320 secs || 33121952 markings, 132036256 edges, 22516 markings/sec, 1320 secs 40 tries, 39866793 fired transitions, 1325 secs || 33237333 markings, 132534717 edges, 23076 markings/sec, 1325 secs 41 tries, 40018277 fired transitions, 1330 secs || 33353909 markings, 133029555 edges, 23315 markings/sec, 1330 secs 41 tries, 40163227 fired transitions, 1335 secs || 33470580 markings, 133497537 edges, 23334 markings/sec, 1335 secs 41 tries, 40311312 fired transitions, 1340 secs || 33582252 markings, 133973786 edges, 22334 markings/sec, 1340 secs 41 tries, 40457015 fired transitions, 1345 secs || 33694122 markings, 134448312 edges, 22374 markings/sec, 1345 secs 41 tries, 40598903 fired transitions, 1350 secs || 33807766 markings, 134966470 edges, 22729 markings/sec, 1350 secs 41 tries, 40746509 fired transitions, 1355 secs || 33922533 markings, 135540361 edges, 22953 markings/sec, 1355 secs 41 tries, 40903745 fired transitions, 1360 secs || 34048736 markings, 136081334 edges, 25241 markings/sec, 1360 secs 42 tries, 41062008 fired transitions, 1365 secs || 34175552 markings, 136658512 edges, 25363 markings/sec, 1365 secs 42 tries, 41221750 fired transitions, 1370 secs || 34302261 markings, 137231962 edges, 25342 markings/sec, 1370 secs 42 tries, 41380545 fired transitions, 1375 secs || 34426846 markings, 137809986 edges, 24917 markings/sec, 1375 secs 42 tries, 41532214 fired transitions, 1380 secs || 34547714 markings, 138382711 edges, 24174 markings/sec, 1380 secs 42 tries, 41691983 fired transitions, 1385 secs || 34674894 markings, 138936372 edges, 25436 markings/sec, 1385 secs 42 tries, 41849874 fired transitions, 1390 secs || 34799099 markings, 139555441 edges, 24841 markings/sec, 1390 secs 43 tries, 42007186 fired transitions, 1395 secs || 34924169 markings, 140126897 edges, 25014 markings/sec, 1395 secs 43 tries, 42164126 fired transitions, 1400 secs || 35046649 markings, 140730647 edges, 24496 markings/sec, 1400 secs 43 tries, 42322736 fired transitions, 1405 secs || 35172856 markings, 141301582 edges, 25241 markings/sec, 1405 secs 43 tries, 42482504 fired transitions, 1410 secs || 35303535 markings, 141829037 edges, 26136 markings/sec, 1410 secs 43 tries, 42640080 fired transitions, 1415 secs || 35431461 markings, 142384617 edges, 25585 markings/sec, 1415 secs 43 tries, 42784324 fired transitions, 1420 secs || 35552429 markings, 142931700 edges, 24194 markings/sec, 1420 secs 43 tries, 42943812 fired transitions, 1425 secs || 35680128 markings, 143491277 edges, 25540 markings/sec, 1425 secs 44 tries, 43086058 fired transitions, 1430 secs || 35801975 markings, 144037769 edges, 24369 markings/sec, 1430 secs 44 tries, 43227256 fired transitions, 1435 secs || 35928115 markings, 144537751 edges, 25228 markings/sec, 1435 secs 44 tries, 43368225 fired transitions, 1440 secs || 36050397 markings, 145099222 edges, 24456 markings/sec, 1440 secs 44 tries, 43511215 fired transitions, 1445 secs || 36170680 markings, 145675940 edges, 24057 markings/sec, 1445 secs 44 tries, 43666739 fired transitions, 1450 secs || 36299094 markings, 146245177 edges, 25683 markings/sec, 1450 secs 44 tries, 43820756 fired transitions, 1455 secs || 36430817 markings, 146755777 edges, 26345 markings/sec, 1455 secs 44 tries, 43976367 fired transitions, 1460 secs || 36559916 markings, 147321396 edges, 25820 markings/sec, 1460 secs 45 tries, 44131336 fired transitions, 1465 secs || 36689335 markings, 147868991 edges, 25884 markings/sec, 1465 secs 45 tries, 44284698 fired transitions, 1470 secs || 36827132 markings, 148301235 edges, 27559 markings/sec, 1470 secs 45 tries, 44436470 fired transitions, 1475 secs || 36963562 markings, 148731149 edges, 27286 markings/sec, 1475 secs 45 tries, 44581241 fired transitions, 1480 secs || 37093487 markings, 149194151 edges, 25985 markings/sec, 1480 secs 45 tries, 44732097 fired transitions, 1485 secs || 37225051 markings, 149707532 edges, 26313 markings/sec, 1485 secs 45 tries, 44885442 fired transitions, 1490 secs || 37356356 markings, 150234165 edges, 26261 markings/sec, 1490 secs 46 tries, 45034325 fired transitions, 1495 secs || 37485015 markings, 150735026 edges, 25732 markings/sec, 1495 secs 46 tries, 45192064 fired transitions, 1500 secs || 37616998 markings, 151261824 edges, 26397 markings/sec, 1500 secs 46 tries, 45350142 fired transitions, 1505 secs || 37747685 markings, 151791910 edges, 26137 markings/sec, 1505 secs 46 tries, 45503635 fired transitions, 1510 secs || 37876090 markings, 152333880 edges, 25681 markings/sec, 1510 secs 46 tries, 45659202 fired transitions, 1515 secs || 38006237 markings, 152855822 edges, 26029 markings/sec, 1515 secs 46 tries, 45816471 fired transitions, 1520 secs || 38138527 markings, 153371466 edges, 26458 markings/sec, 1520 secs 46 tries, 45967217 fired transitions, 1525 secs || 38264543 markings, 153884331 edges, 25203 markings/sec, 1525 secs 47 tries, 46124265 fired transitions, 1530 secs || 38396449 markings, 154384860 edges, 26381 markings/sec, 1530 secs 47 tries, 46279732 fired transitions, 1535 secs || 38525916 markings, 154905752 edges, 25893 markings/sec, 1535 secs 47 tries, 46440338 fired transitions, 1540 secs || 38656394 markings, 155417204 edges, 26096 markings/sec, 1540 secs 47 tries, 46600883 fired transitions, 1545 secs || 38783393 markings, 155976215 edges, 25400 markings/sec, 1545 secs 47 tries, 46761662 fired transitions, 1550 secs || 38909842 markings, 156569787 edges, 25290 markings/sec, 1550 secs 47 tries, 46913562 fired transitions, 1555 secs || 39033331 markings, 157121370 edges, 24698 markings/sec, 1555 secs 48 tries, 47058354 fired transitions, 1560 secs || 39156106 markings, 157635719 edges, 24555 markings/sec, 1560 secs 48 tries, 47200235 fired transitions, 1565 secs || 39274504 markings, 158121657 edges, 23680 markings/sec, 1565 secs 48 tries, 47342272 fired transitions, 1570 secs || 39393004 markings, 158596921 edges, 23700 markings/sec, 1570 secs 48 tries, 47484714 fired transitions, 1575 secs || 39510563 markings, 159073991 edges, 23512 markings/sec, 1575 secs 48 tries, 47627327 fired transitions, 1580 secs || 39629941 markings, 159558799 edges, 23876 markings/sec, 1580 secs 48 tries, 47769040 fired transitions, 1585 secs || 39747233 markings, 160087086 edges, 23458 markings/sec, 1585 secs 48 tries, 47909870 fired transitions, 1590 secs || 39870039 markings, 160505729 edges, 24561 markings/sec, 1590 secs 49 tries, 48050337 fired transitions, 1595 secs || 39992410 markings, 160928501 edges, 24474 markings/sec, 1595 secs 49 tries, 48190527 fired transitions, 1600 secs || 40113170 markings, 161377829 edges, 24152 markings/sec, 1600 secs 49 tries, 48330804 fired transitions, 1605 secs || 40232807 markings, 161850719 edges, 23927 markings/sec, 1605 secs 49 tries, 48471832 fired transitions, 1610 secs || 40350643 markings, 162334513 edges, 23567 markings/sec, 1610 secs 49 tries, 48612623 fired transitions, 1615 secs || 40468740 markings, 162822419 edges, 23619 markings/sec, 1615 secs 49 tries, 48753263 fired transitions, 1620 secs || 40587242 markings, 163295203 edges, 23700 markings/sec, 1620 secs 49 tries, 48893934 fired transitions, 1625 secs || 40705467 markings, 163809756 edges, 23645 markings/sec, 1625 secs 50 tries, 49034772 fired transitions, 1630 secs || 40823522 markings, 164309135 edges, 23611 markings/sec, 1630 secs 50 tries, 49175998 fired transitions, 1635 secs || 40944110 markings, 164802334 edges, 24118 markings/sec, 1635 secs 50 tries, 49317099 fired transitions, 1640 secs || 41064811 markings, 165314920 edges, 24140 markings/sec, 1640 secs 50 tries, 49458151 fired transitions, 1645 secs || 41184312 markings, 165843768 edges, 23900 markings/sec, 1645 secs 50 tries, 49598730 fired transitions, 1650 secs || 41306455 markings, 166336509 edges, 24429 markings/sec, 1650 secs 50 tries, 49739622 fired transitions, 1655 secs || 41427311 markings, 166833894 edges, 24171 markings/sec, 1655 secs 50 tries, 49880169 fired transitions, 1660 secs || 41547914 markings, 167330515 edges, 24121 markings/sec, 1660 secs 51 tries, 50022160 fired transitions, 1665 secs || 41665962 markings, 167838530 edges, 23610 markings/sec, 1665 secs 51 tries, 50162852 fired transitions, 1670 secs || 41783223 markings, 168326802 edges, 23452 markings/sec, 1670 secs 51 tries, 50303043 fired transitions, 1675 secs || 41902293 markings, 168815662 edges, 23814 markings/sec, 1675 secs 51 tries, 50444232 fired transitions, 1680 secs || 42019287 markings, 169304821 edges, 23399 markings/sec, 1680 secs 51 tries, 50585151 fired transitions, 1685 secs || 42137434 markings, 169796849 edges, 23629 markings/sec, 1685 secs 51 tries, 50724934 fired transitions, 1690 secs || 42256487 markings, 170325594 edges, 23811 markings/sec, 1690 secs 51 tries, 50865091 fired transitions, 1695 secs || 42375931 markings, 170865729 edges, 23889 markings/sec, 1695 secs 52 tries, 51005237 fired transitions, 1700 secs || 42495462 markings, 171394319 edges, 23906 markings/sec, 1700 secs 52 tries, 51148726 fired transitions, 1705 secs || 42613110 markings, 171945873 edges, 23530 markings/sec, 1705 secs 52 tries, 51292377 fired transitions, 1710 secs || 42730231 markings, 172511776 edges, 23424 markings/sec, 1710 secs 52 tries, 51436369 fired transitions, 1715 secs || 42846288 markings, 173092703 edges, 23211 markings/sec, 1715 secs 52 tries, 51580081 fired transitions, 1720 secs || 42963893 markings, 173648829 edges, 23521 markings/sec, 1720 secs 52 tries, 51723683 fired transitions, 1725 secs || 43083757 markings, 174127511 edges, 23973 markings/sec, 1725 secs 52 tries, 51868843 fired transitions, 1730 secs || 43199203 markings, 174665932 edges, 23089 markings/sec, 1730 secs 53 tries, 52014420 fired transitions, 1735 secs || 43316436 markings, 175188274 edges, 23447 markings/sec, 1735 secs 53 tries, 52156905 fired transitions, 1740 secs || 43433140 markings, 175684164 edges, 23341 markings/sec, 1740 secs 53 tries, 52299745 fired transitions, 1745 secs || 43547900 markings, 176237575 edges, 22952 markings/sec, 1745 secs 53 tries, 52442236 fired transitions, 1750 secs || 43665363 markings, 176731687 edges, 23493 markings/sec, 1750 secs 53 tries, 52584870 fired transitions, 1755 secs || 43780310 markings, 177249405 edges, 22989 markings/sec, 1755 secs 53 tries, 52727486 fired transitions, 1760 secs || 43895599 markings, 177751308 edges, 23058 markings/sec, 1760 secs 53 tries, 52869761 fired transitions, 1765 secs || 44011875 markings, 178262342 edges, 23255 markings/sec, 1765 secs 54 tries, 53012463 fired transitions, 1770 secs || 44125778 markings, 178816473 edges, 22781 markings/sec, 1770 secs 54 tries, 53154567 fired transitions, 1775 secs || 44239926 markings, 179322570 edges, 22830 markings/sec, 1775 secs 54 tries, 53296735 fired transitions, 1780 secs || 44356142 markings, 179809555 edges, 23243 markings/sec, 1780 secs 54 tries, 53439317 fired transitions, 1785 secs || 44471741 markings, 180318885 edges, 23120 markings/sec, 1785 secs 54 tries, 53581922 fired transitions, 1790 secs || 44585014 markings, 180857518 edges, 22655 markings/sec, 1790 secs 54 tries, 53723271 fired transitions, 1795 secs || 44705076 markings, 181304832 edges, 24012 markings/sec, 1795 secs 54 tries, 53865120 fired transitions, 1800 secs || 44823178 markings, 181753123 edges, 23620 markings/sec, 1800 secs 55 tries, 54007413 fired transitions, 1805 secs || 44940577 markings, 182262651 edges, 23480 markings/sec, 1805 secs 55 tries, 54149185 fired transitions, 1810 secs || 45057459 markings, 182780462 edges, 23376 markings/sec, 1810 secs 55 tries, 54290333 fired transitions, 1815 secs || 45174017 markings, 183295667 edges, 23312 markings/sec, 1815 secs 55 tries, 54431303 fired transitions, 1820 secs || 45292737 markings, 183774227 edges, 23744 markings/sec, 1820 secs 55 tries, 54572645 fired transitions, 1825 secs || 45411416 markings, 184251303 edges, 23736 markings/sec, 1825 secs 55 tries, 54714418 fired transitions, 1830 secs || 45528710 markings, 184777803 edges, 23459 markings/sec, 1830 secs 55 tries, 54855977 fired transitions, 1835 secs || 45646844 markings, 185297754 edges, 23627 markings/sec, 1835 secs 55 tries, 54997636 fired transitions, 1840 secs || 45764030 markings, 185809821 edges, 23437 markings/sec, 1840 secs 56 tries, 55140931 fired transitions, 1845 secs || 45879522 markings, 186319020 edges, 23098 markings/sec, 1845 secs 56 tries, 55283866 fired transitions, 1850 secs || 45995710 markings, 186810782 edges, 23238 markings/sec, 1850 secs 56 tries, 55426365 fired transitions, 1855 secs || 46113913 markings, 187253453 edges, 23641 markings/sec, 1855 secs 56 tries, 55569313 fired transitions, 1860 secs || 46230632 markings, 187726970 edges, 23344 markings/sec, 1860 secs 56 tries, 55712756 fired transitions, 1865 secs || 46346378 markings, 188237620 edges, 23149 markings/sec, 1865 secs 56 tries, 55856207 fired transitions, 1870 secs || 46461833 markings, 188771099 edges, 23091 markings/sec, 1870 secs 56 tries, 55998849 fired transitions, 1875 secs || 46577595 markings, 189292778 edges, 23152 markings/sec, 1875 secs 57 tries, 56141380 fired transitions, 1880 secs || 46692148 markings, 189854182 edges, 22911 markings/sec, 1880 secs 57 tries, 56283898 fired transitions, 1885 secs || 46807239 markings, 190381049 edges, 23018 markings/sec, 1885 secs 57 tries, 56426423 fired transitions, 1890 secs || 46923393 markings, 190894851 edges, 23231 markings/sec, 1890 secs 57 tries, 56569408 fired transitions, 1895 secs || 47036906 markings, 191467061 edges, 22703 markings/sec, 1895 secs 57 tries, 56711620 fired transitions, 1900 secs || 47153325 markings, 191966714 edges, 23284 markings/sec, 1900 secs 57 tries, 56854017 fired transitions, 1905 secs || 47266768 markings, 192521700 edges, 22689 markings/sec, 1905 secs 57 tries, 56996577 fired transitions, 1910 secs || 47382318 markings, 193051301 edges, 23110 markings/sec, 1910 secs 58 tries, 57149812 fired transitions, 1915 secs || 47503337 markings, 193600740 edges, 24204 markings/sec, 1915 secs 58 tries, 57310810 fired transitions, 1920 secs || 47631001 markings, 194155683 edges, 25533 markings/sec, 1920 secs 58 tries, 57471985 fired transitions, 1925 secs || 47758438 markings, 194706116 edges, 25487 markings/sec, 1925 secs 58 tries, 57632776 fired transitions, 1930 secs || 47884856 markings, 195304602 edges, 25284 markings/sec, 1930 secs 58 tries, 57792656 fired transitions, 1935 secs || 48013596 markings, 195885708 edges, 25748 markings/sec, 1935 secs 58 tries, 57952569 fired transitions, 1940 secs || 48139341 markings, 196529004 edges, 25149 markings/sec, 1940 secs 59 tries, 58110742 fired transitions, 1945 secs || 48264305 markings, 197176160 edges, 24993 markings/sec, 1945 secs 59 tries, 58267608 fired transitions, 1950 secs || 48393797 markings, 197760033 edges, 25898 markings/sec, 1950 secs 59 tries, 58418943 fired transitions, 1955 secs || 48515185 markings, 198370745 edges, 24278 markings/sec, 1955 secs 59 tries, 58576261 fired transitions, 1960 secs || 48640029 markings, 198961520 edges, 24969 markings/sec, 1960 secs 59 tries, 58733231 fired transitions, 1965 secs || 48769547 markings, 199470432 edges, 25904 markings/sec, 1965 secs 59 tries, 58889506 fired transitions, 1970 secs || 48892797 markings, 200049492 edges, 24650 markings/sec, 1970 secs 60 tries, 59047365 fired transitions, 1975 secs || 49017749 markings, 200607565 edges, 24990 markings/sec, 1975 secs 60 tries, 59207012 fired transitions, 1980 secs || 49141934 markings, 201170788 edges, 24837 markings/sec, 1980 secs 60 tries, 59361145 fired transitions, 1985 secs || 49267848 markings, 201665287 edges, 25183 markings/sec, 1985 secs 60 tries, 59519813 fired transitions, 1990 secs || 49390430 markings, 202243151 edges, 24516 markings/sec, 1990 secs 60 tries, 59676848 fired transitions, 1995 secs || 49513125 markings, 202780437 edges, 24539 markings/sec, 1995 secs 60 tries, 59836652 fired transitions, 2000 secs || 49639487 markings, 203340374 edges, 25272 markings/sec, 2000 secs 60 tries, 59996445 fired transitions, 2005 secs || 49765589 markings, 203930269 edges, 25220 markings/sec, 2005 secs 61 tries, 60155469 fired transitions, 2010 secs || 49890822 markings, 204522775 edges, 25047 markings/sec, 2010 secs 61 tries, 60314391 fired transitions, 2015 secs || 50017466 markings, 205066620 edges, 25329 markings/sec, 2015 secs 61 tries, 60473229 fired transitions, 2020 secs || 50141075 markings, 205659784 edges, 24722 markings/sec, 2020 secs 61 tries, 60632152 fired transitions, 2025 secs || 50264457 markings, 206232410 edges, 24676 markings/sec, 2025 secs 61 tries, 60791111 fired transitions, 2030 secs || 50388724 markings, 206794620 edges, 24853 markings/sec, 2030 secs 61 tries, 60949907 fired transitions, 2035 secs || 50514607 markings, 207358308 edges, 25177 markings/sec, 2035 secs 62 tries, 61106503 fired transitions, 2040 secs || 50641694 markings, 207899165 edges, 25417 markings/sec, 2040 secs 62 tries, 61262306 fired transitions, 2045 secs || 50766456 markings, 208492590 edges, 24952 markings/sec, 2045 secs 62 tries, 61408307 fired transitions, 2050 secs || 50882340 markings, 209034826 edges, 23177 markings/sec, 2050 secs 62 tries, 61551461 fired transitions, 2055 secs || 50997618 markings, 209545138 edges, 23056 markings/sec, 2055 secs 62 tries, 61694900 fired transitions, 2060 secs || 51112327 markings, 210067599 edges, 22942 markings/sec, 2060 secs 62 tries, 61838078 fired transitions, 2065 secs || 51227105 markings, 210597485 edges, 22956 markings/sec, 2065 secs 62 tries, 61981233 fired transitions, 2070 secs || 51343089 markings, 211168505 edges, 23197 markings/sec, 2070 secs 63 tries, 62128500 fired transitions, 2075 secs || 51459850 markings, 211751259 edges, 23352 markings/sec, 2075 secs 63 tries, 62275642 fired transitions, 2080 secs || 51576044 markings, 212325092 edges, 23239 markings/sec, 2080 secs 63 tries, 62422763 fired transitions, 2085 secs || 51691957 markings, 212895029 edges, 23183 markings/sec, 2085 secs 63 tries, 62569916 fired transitions, 2090 secs || 51805586 markings, 213528666 edges, 22726 markings/sec, 2090 secs 63 tries, 62716698 fired transitions, 2095 secs || 51922457 markings, 214066606 edges, 23374 markings/sec, 2095 secs 63 tries, 62863955 fired transitions, 2100 secs || 52038319 markings, 214641253 edges, 23172 markings/sec, 2100 secs 64 tries, 63011313 fired transitions, 2105 secs || 52153493 markings, 215240387 edges, 23035 markings/sec, 2105 secs 64 tries, 63157475 fired transitions, 2110 secs || 52267084 markings, 215840676 edges, 22718 markings/sec, 2110 secs 64 tries, 63303186 fired transitions, 2115 secs || 52380102 markings, 216440717 edges, 22604 markings/sec, 2115 secs 64 tries, 63448228 fired transitions, 2120 secs || 52492231 markings, 217033660 edges, 22426 markings/sec, 2120 secs 64 tries, 63593687 fired transitions, 2125 secs || 52605771 markings, 217604876 edges, 22708 markings/sec, 2125 secs 64 tries, 63738826 fired transitions, 2130 secs || 52722723 markings, 218117267 edges, 23390 markings/sec, 2130 secs 64 tries, 63884525 fired transitions, 2135 secs || 52838353 markings, 218647031 edges, 23126 markings/sec, 2135 secs 65 tries, 64029841 fired transitions, 2140 secs || 52953266 markings, 219178747 edges, 22983 markings/sec, 2140 secs 65 tries, 64174158 fired transitions, 2145 secs || 53067299 markings, 219692089 edges, 22807 markings/sec, 2145 secs 65 tries, 64317798 fired transitions, 2150 secs || 53180497 markings, 220201632 edges, 22640 markings/sec, 2150 secs 65 tries, 64461832 fired transitions, 2155 secs || 53294401 markings, 220709808 edges, 22781 markings/sec, 2155 secs 65 tries, 64609931 fired transitions, 2160 secs || 53410421 markings, 221241143 edges, 23204 markings/sec, 2160 secs 65 tries, 64767395 fired transitions, 2165 secs || 53534027 markings, 221795528 edges, 24721 markings/sec, 2165 secs 65 tries, 64924674 fired transitions, 2170 secs || 53659438 markings, 222343505 edges, 25082 markings/sec, 2170 secs 66 tries, 65082773 fired transitions, 2175 secs || 53784952 markings, 222908756 edges, 25103 markings/sec, 2175 secs 66 tries, 65241441 fired transitions, 2180 secs || 53910288 markings, 223483913 edges, 25067 markings/sec, 2180 secs 66 tries, 65400232 fired transitions, 2185 secs || 54034594 markings, 224084131 edges, 24861 markings/sec, 2185 secs 66 tries, 65558912 fired transitions, 2190 secs || 54159629 markings, 224668739 edges, 25007 markings/sec, 2190 secs 66 tries, 65712153 fired transitions, 2195 secs || 54279246 markings, 225230602 edges, 23923 markings/sec, 2195 secs 66 tries, 65861085 fired transitions, 2200 secs || 54395718 markings, 225771253 edges, 23294 markings/sec, 2200 secs 67 tries, 66019754 fired transitions, 2205 secs || 54517447 markings, 226374539 edges, 24346 markings/sec, 2205 secs 67 tries, 66176688 fired transitions, 2210 secs || 54639563 markings, 226949289 edges, 24423 markings/sec, 2210 secs 67 tries, 66333262 fired transitions, 2215 secs || 54767862 markings, 227468571 edges, 25660 markings/sec, 2215 secs 67 tries, 66489788 fired transitions, 2220 secs || 54899599 markings, 227940982 edges, 26347 markings/sec, 2220 secs 67 tries, 66646415 fired transitions, 2225 secs || 55030873 markings, 228419533 edges, 26255 markings/sec, 2225 secs 67 tries, 66802900 fired transitions, 2230 secs || 55161592 markings, 228891367 edges, 26144 markings/sec, 2230 secs 67 tries, 66959535 fired transitions, 2235 secs || 55291277 markings, 229388599 edges, 25937 markings/sec, 2235 secs 68 tries, 67118807 fired transitions, 2240 secs || 55420284 markings, 229925258 edges, 25801 markings/sec, 2240 secs 68 tries, 67279181 fired transitions, 2245 secs || 55549013 markings, 230464033 edges, 25746 markings/sec, 2245 secs 68 tries, 67439610 fired transitions, 2250 secs || 55677847 markings, 231008983 edges, 25767 markings/sec, 2250 secs 68 tries, 67600100 fired transitions, 2255 secs || 55806606 markings, 231559387 edges, 25752 markings/sec, 2255 secs 68 tries, 67760540 fired transitions, 2260 secs || 55934664 markings, 232110356 edges, 25612 markings/sec, 2260 secs 68 tries, 67920877 fired transitions, 2265 secs || 56061627 markings, 232670652 edges, 25393 markings/sec, 2265 secs 69 tries, 68078204 fired transitions, 2270 secs || 56187541 markings, 233221706 edges, 25183 markings/sec, 2270 secs 69 tries, 68232069 fired transitions, 2275 secs || 56312808 markings, 233748680 edges, 25053 markings/sec, 2275 secs 69 tries, 68386570 fired transitions, 2280 secs || 56440613 markings, 234245305 edges, 25561 markings/sec, 2280 secs 69 tries, 68542090 fired transitions, 2285 secs || 56568710 markings, 234742449 edges, 25619 markings/sec, 2285 secs 69 tries, 68698773 fired transitions, 2290 secs || 56695993 markings, 235283780 edges, 25457 markings/sec, 2290 secs 69 tries, 68855529 fired transitions, 2295 secs || 56823025 markings, 235838053 edges, 25406 markings/sec, 2295 secs 70 tries, 69004222 fired transitions, 2300 secs || 56944021 markings, 236373263 edges, 24199 markings/sec, 2300 secs 70 tries, 69150522 fired transitions, 2305 secs || 57059565 markings, 236890058 edges, 23109 markings/sec, 2305 secs 70 tries, 69296899 fired transitions, 2310 secs || 57174584 markings, 237421857 edges, 23004 markings/sec, 2310 secs 70 tries, 69443053 fired transitions, 2315 secs || 57291542 markings, 237909043 edges, 23392 markings/sec, 2315 secs 70 tries, 69589167 fired transitions, 2320 secs || 57408374 markings, 238405519 edges, 23366 markings/sec, 2320 secs 70 tries, 69735343 fired transitions, 2325 secs || 57523472 markings, 238931639 edges, 23020 markings/sec, 2325 secs 70 tries, 69881350 fired transitions, 2330 secs || 57639539 markings, 239439106 edges, 23213 markings/sec, 2330 secs 71 tries, 70035382 fired transitions, 2335 secs || 57761475 markings, 239980224 edges, 24387 markings/sec, 2335 secs 71 tries, 70192165 fired transitions, 2340 secs || 57887088 markings, 240548155 edges, 25123 markings/sec, 2340 secs 71 tries, 70347410 fired transitions, 2345 secs || 58013465 markings, 241087540 edges, 25275 markings/sec, 2345 secs 71 tries, 70502330 fired transitions, 2350 secs || 58143433 markings, 241554593 edges, 25994 markings/sec, 2350 secs 71 tries, 70659015 fired transitions, 2355 secs || 58274111 markings, 242031007 edges, 26136 markings/sec, 2355 secs 71 tries, 70808724 fired transitions, 2360 secs || 58398196 markings, 242495288 edges, 24817 markings/sec, 2360 secs 71 tries, 70965336 fired transitions, 2365 secs || 58526679 markings, 242989747 edges, 25697 markings/sec, 2365 secs 72 tries, 71121201 fired transitions, 2370 secs || 58654863 markings, 243518194 edges, 25637 markings/sec, 2370 secs 72 tries, 71274094 fired transitions, 2375 secs || 58781169 markings, 244047413 edges, 25261 markings/sec, 2375 secs 72 tries, 71428489 fired transitions, 2380 secs || 58907808 markings, 244592380 edges, 25328 markings/sec, 2380 secs 72 tries, 71582811 fired transitions, 2385 secs || 59034561 markings, 245135907 edges, 25351 markings/sec, 2385 secs 72 tries, 71738569 fired transitions, 2390 secs || 59161661 markings, 245692605 edges, 25420 markings/sec, 2390 secs 72 tries, 71894327 fired transitions, 2395 secs || 59288551 markings, 246249880 edges, 25378 markings/sec, 2395 secs 73 tries, 72050254 fired transitions, 2400 secs || 59412769 markings, 246829404 edges, 24844 markings/sec, 2400 secs 73 tries, 72206748 fired transitions, 2405 secs || 59537683 markings, 247403161 edges, 24983 markings/sec, 2405 secs 73 tries, 72363138 fired transitions, 2410 secs || 59664010 markings, 247958175 edges, 25265 markings/sec, 2410 secs 73 tries, 72519668 fired transitions, 2415 secs || 59791238 markings, 248500872 edges, 25446 markings/sec, 2415 secs 73 tries, 72676187 fired transitions, 2420 secs || 59915791 markings, 249102601 edges, 24911 markings/sec, 2420 secs 73 tries, 72832777 fired transitions, 2425 secs || 60041129 markings, 249659930 edges, 25068 markings/sec, 2425 secs 73 tries, 72989309 fired transitions, 2430 secs || 60164883 markings, 250257811 edges, 24751 markings/sec, 2430 secs 74 tries, 73146672 fired transitions, 2435 secs || 60288114 markings, 250825577 edges, 24646 markings/sec, 2435 secs 74 tries, 73304348 fired transitions, 2440 secs || 60411175 markings, 251411902 edges, 24612 markings/sec, 2440 secs 74 tries, 73461813 fired transitions, 2445 secs || 60534538 markings, 251990177 edges, 24673 markings/sec, 2445 secs 74 tries, 73619246 fired transitions, 2450 secs || 60659064 markings, 252553622 edges, 24905 markings/sec, 2450 secs 74 tries, 73776847 fired transitions, 2455 secs || 60781913 markings, 253136316 edges, 24570 markings/sec, 2455 secs 74 tries, 73934371 fired transitions, 2460 secs || 60908469 markings, 253672814 edges, 25311 markings/sec, 2460 secs 75 tries, 74093921 fired transitions, 2465 secs || 61032680 markings, 254256245 edges, 24842 markings/sec, 2465 secs 75 tries, 74254981 fired transitions, 2470 secs || 61156734 markings, 254838543 edges, 24811 markings/sec, 2470 secs 75 tries, 74409053 fired transitions, 2475 secs || 61276140 markings, 255398989 edges, 23881 markings/sec, 2475 secs 75 tries, 74570095 fired transitions, 2480 secs || 61401148 markings, 255964727 edges, 25002 markings/sec, 2480 secs 75 tries, 74731175 fired transitions, 2485 secs || 61523817 markings, 256564990 edges, 24534 markings/sec, 2485 secs 75 tries, 74892190 fired transitions, 2490 secs || 61649720 markings, 257137403 edges, 25181 markings/sec, 2490 secs 76 tries, 75052241 fired transitions, 2495 secs || 61773740 markings, 257716309 edges, 24804 markings/sec, 2495 secs 76 tries, 75210184 fired transitions, 2500 secs || 61897404 markings, 258291355 edges, 24733 markings/sec, 2500 secs 76 tries, 75368009 fired transitions, 2505 secs || 62022296 markings, 258864209 edges, 24978 markings/sec, 2505 secs 76 tries, 75525964 fired transitions, 2510 secs || 62146005 markings, 259449745 edges, 24742 markings/sec, 2510 secs 76 tries, 75677102 fired transitions, 2515 secs || 62269471 markings, 259987197 edges, 24693 markings/sec, 2515 secs 76 tries, 75830446 fired transitions, 2520 secs || 62393149 markings, 260576442 edges, 24736 markings/sec, 2520 secs 76 tries, 75987017 fired transitions, 2525 secs || 62519346 markings, 261156024 edges, 25239 markings/sec, 2525 secs 77 tries, 76139728 fired transitions, 2530 secs || 62640180 markings, 261753330 edges, 24167 markings/sec, 2530 secs 77 tries, 76296538 fired transitions, 2535 secs || 62765809 markings, 262366315 edges, 25126 markings/sec, 2535 secs 77 tries, 76453711 fired transitions, 2540 secs || 62891210 markings, 262996206 edges, 25080 markings/sec, 2540 secs 77 tries, 76605009 fired transitions, 2545 secs || 63012291 markings, 263595336 edges, 24216 markings/sec, 2545 secs 77 tries, 76757348 fired transitions, 2550 secs || 63133738 markings, 264188536 edges, 24289 markings/sec, 2550 secs 77 tries, 76913151 fired transitions, 2555 secs || 63254982 markings, 264830858 edges, 24249 markings/sec, 2555 secs 78 tries, 77069528 fired transitions, 2560 secs || 63384276 markings, 265389951 edges, 25859 markings/sec, 2560 secs 78 tries, 77227688 fired transitions, 2565 secs || 63514699 markings, 265955040 edges, 26085 markings/sec, 2565 secs 78 tries, 77386287 fired transitions, 2570 secs || 63643516 markings, 266546182 edges, 25763 markings/sec, 2570 secs 78 tries, 77544721 fired transitions, 2575 secs || 63773475 markings, 267105560 edges, 25992 markings/sec, 2575 secs 78 tries, 77703237 fired transitions, 2580 secs || 63902286 markings, 267685975 edges, 25762 markings/sec, 2580 secs 78 tries, 77861960 fired transitions, 2585 secs || 64030447 markings, 268285957 edges, 25632 markings/sec, 2585 secs 79 tries, 78020167 fired transitions, 2590 secs || 64159402 markings, 268869267 edges, 25791 markings/sec, 2590 secs 79 tries, 78177240 fired transitions, 2595 secs || 64289315 markings, 269419678 edges, 25983 markings/sec, 2595 secs 79 tries, 78334192 fired transitions, 2600 secs || 64417250 markings, 270015485 edges, 25587 markings/sec, 2600 secs 79 tries, 78491356 fired transitions, 2605 secs || 64545243 markings, 270609954 edges, 25599 markings/sec, 2605 secs 79 tries, 78648222 fired transitions, 2610 secs || 64674430 markings, 271164010 edges, 25837 markings/sec, 2610 secs 79 tries, 78805363 fired transitions, 2615 secs || 64802666 markings, 271755924 edges, 25647 markings/sec, 2615 secs 79 tries, 78962314 fired transitions, 2620 secs || 64928747 markings, 272391192 edges, 25216 markings/sec, 2620 secs 80 tries, 79118716 fired transitions, 2625 secs || 65054637 markings, 273024165 edges, 25178 markings/sec, 2625 secs 80 tries, 79274717 fired transitions, 2630 secs || 65184695 markings, 273579914 edges, 26012 markings/sec, 2630 secs 80 tries, 79430768 fired transitions, 2635 secs || 65314118 markings, 274144782 edges, 25885 markings/sec, 2635 secs 80 tries, 79586974 fired transitions, 2640 secs || 65443118 markings, 274709871 edges, 25800 markings/sec, 2640 secs 80 tries, 79742602 fired transitions, 2645 secs || 65571498 markings, 275264418 edges, 25676 markings/sec, 2645 secs 80 tries, 79898212 fired transitions, 2650 secs || 65700090 markings, 275814166 edges, 25718 markings/sec, 2650 secs 81 tries, 80054314 fired transitions, 2655 secs || 65824745 markings, 276454461 edges, 24931 markings/sec, 2655 secs 81 tries, 80210387 fired transitions, 2660 secs || 65952300 markings, 277061719 edges, 25511 markings/sec, 2660 secs 81 tries, 80366535 fired transitions, 2665 secs || 66078406 markings, 277678817 edges, 25221 markings/sec, 2665 secs 81 tries, 80522830 fired transitions, 2670 secs || 66204540 markings, 278300762 edges, 25227 markings/sec, 2670 secs 81 tries, 80679078 fired transitions, 2675 secs || 66330510 markings, 278921480 edges, 25194 markings/sec, 2675 secs 81 tries, 80835249 fired transitions, 2680 secs || 66457456 markings, 279529376 edges, 25389 markings/sec, 2680 secs 81 tries, 80991435 fired transitions, 2685 secs || 66583842 markings, 280134328 edges, 25277 markings/sec, 2685 secs 82 tries, 81148901 fired transitions, 2690 secs || 66708889 markings, 280770605 edges, 25009 markings/sec, 2690 secs 82 tries, 81306465 fired transitions, 2695 secs || 66833864 markings, 281403854 edges, 24995 markings/sec, 2695 secs 82 tries, 81463718 fired transitions, 2700 secs || 66957856 markings, 282021189 edges, 24798 markings/sec, 2700 secs 82 tries, 81620556 fired transitions, 2705 secs || 67083573 markings, 282616732 edges, 25143 markings/sec, 2705 secs 82 tries, 81777252 fired transitions, 2710 secs || 67210517 markings, 283193121 edges, 25389 markings/sec, 2710 secs 82 tries, 81934207 fired transitions, 2715 secs || 67334447 markings, 283806540 edges, 24786 markings/sec, 2715 secs 83 tries, 82090419 fired transitions, 2720 secs || 67462622 markings, 284355585 edges, 25635 markings/sec, 2720 secs 83 tries, 82246856 fired transitions, 2725 secs || 67588003 markings, 284970372 edges, 25076 markings/sec, 2725 secs 83 tries, 82404021 fired transitions, 2730 secs || 67715646 markings, 285571592 edges, 25529 markings/sec, 2730 secs 83 tries, 82561377 fired transitions, 2735 secs || 67842780 markings, 286168025 edges, 25427 markings/sec, 2735 secs 83 tries, 82718790 fired transitions, 2740 secs || 67970240 markings, 286744144 edges, 25492 markings/sec, 2740 secs 83 tries, 82876084 fired transitions, 2745 secs || 68097299 markings, 287337514 edges, 25412 markings/sec, 2745 secs 84 tries, 83033618 fired transitions, 2750 secs || 68223453 markings, 287961278 edges, 25231 markings/sec, 2750 secs 84 tries, 83190726 fired transitions, 2755 secs || 68351206 markings, 288568243 edges, 25551 markings/sec, 2755 secs 84 tries, 83347847 fired transitions, 2760 secs || 68477676 markings, 289190787 edges, 25294 markings/sec, 2760 secs 84 tries, 83505007 fired transitions, 2765 secs || 68604323 markings, 289809607 edges, 25329 markings/sec, 2765 secs 84 tries, 83662867 fired transitions, 2770 secs || 68729397 markings, 290427251 edges, 25015 markings/sec, 2770 secs 84 tries, 83820912 fired transitions, 2775 secs || 68854507 markings, 291019067 edges, 25022 markings/sec, 2775 secs 84 tries, 83978876 fired transitions, 2780 secs || 68977908 markings, 291649094 edges, 24680 markings/sec, 2780 secs 85 tries, 84135147 fired transitions, 2785 secs || 69101372 markings, 292263489 edges, 24693 markings/sec, 2785 secs 85 tries, 84290692 fired transitions, 2790 secs || 69226199 markings, 292859842 edges, 24965 markings/sec, 2790 secs 85 tries, 84446331 fired transitions, 2795 secs || 69350121 markings, 293455338 edges, 24784 markings/sec, 2795 secs 85 tries, 84601971 fired transitions, 2800 secs || 69473360 markings, 294041159 edges, 24648 markings/sec, 2800 secs 85 tries, 84757705 fired transitions, 2805 secs || 69597161 markings, 294630927 edges, 24760 markings/sec, 2805 secs 85 tries, 84913754 fired transitions, 2810 secs || 69719407 markings, 295248430 edges, 24449 markings/sec, 2810 secs 86 tries, 85070019 fired transitions, 2815 secs || 69843264 markings, 295865346 edges, 24771 markings/sec, 2815 secs 86 tries, 85226692 fired transitions, 2820 secs || 69967874 markings, 296475498 edges, 24922 markings/sec, 2820 secs 86 tries, 85383412 fired transitions, 2825 secs || 70092570 markings, 297081658 edges, 24939 markings/sec, 2825 secs 86 tries, 85540334 fired transitions, 2830 secs || 70217046 markings, 297702505 edges, 24895 markings/sec, 2830 secs 86 tries, 85697066 fired transitions, 2835 secs || 70341301 markings, 298309472 edges, 24851 markings/sec, 2835 secs 86 tries, 85853909 fired transitions, 2840 secs || 70462040 markings, 298951032 edges, 24148 markings/sec, 2840 secs 87 tries, 86010819 fired transitions, 2845 secs || 70583862 markings, 299571072 edges, 24364 markings/sec, 2845 secs 87 tries, 86167880 fired transitions, 2850 secs || 70708464 markings, 300179107 edges, 24920 markings/sec, 2850 secs 87 tries, 86324876 fired transitions, 2855 secs || 70831837 markings, 300804972 edges, 24675 markings/sec, 2855 secs 87 tries, 86483077 fired transitions, 2860 secs || 70956679 markings, 301427630 edges, 24968 markings/sec, 2860 secs 87 tries, 86641505 fired transitions, 2865 secs || 71081175 markings, 302058215 edges, 24899 markings/sec, 2865 secs 87 tries, 86799853 fired transitions, 2870 secs || 71206127 markings, 302682161 edges, 24990 markings/sec, 2870 secs 87 tries, 86958268 fired transitions, 2875 secs || 71330097 markings, 303315175 edges, 24794 markings/sec, 2875 secs 88 tries, 87117650 fired transitions, 2880 secs || 71455311 markings, 303932127 edges, 25043 markings/sec, 2880 secs 88 tries, 87277332 fired transitions, 2885 secs || 71579008 markings, 304559973 edges, 24739 markings/sec, 2885 secs 88 tries, 87443934 fired transitions, 2890 secs || 71707960 markings, 305222337 edges, 25790 markings/sec, 2890 secs 88 tries, 87610526 fired transitions, 2895 secs || 71837247 markings, 305892238 edges, 25857 markings/sec, 2895 secs 88 tries, 87775975 fired transitions, 2900 secs || 71968383 markings, 306502695 edges, 26227 markings/sec, 2900 secs 88 tries, 87941395 fired transitions, 2905 secs || 72096984 markings, 307163877 edges, 25720 markings/sec, 2905 secs 89 tries, 88103187 fired transitions, 2910 secs || 72225284 markings, 307783267 edges, 25660 markings/sec, 2910 secs 89 tries, 88262849 fired transitions, 2915 secs || 72352101 markings, 308398038 edges, 25363 markings/sec, 2915 secs 89 tries, 88422659 fired transitions, 2920 secs || 72477113 markings, 309036905 edges, 25002 markings/sec, 2920 secs 89 tries, 88582604 fired transitions, 2925 secs || 72603277 markings, 309653067 edges, 25233 markings/sec, 2925 secs 89 tries, 88742546 fired transitions, 2930 secs || 72728818 markings, 310264051 edges, 25108 markings/sec, 2930 secs 89 tries, 88902581 fired transitions, 2935 secs || 72853978 markings, 310884990 edges, 25032 markings/sec, 2935 secs 90 tries, 89059605 fired transitions, 2940 secs || 72979438 markings, 311495852 edges, 25092 markings/sec, 2940 secs 90 tries, 89205856 fired transitions, 2945 secs || 73096107 markings, 312067933 edges, 23334 markings/sec, 2945 secs 90 tries, 89352507 fired transitions, 2950 secs || 73212639 markings, 312641735 edges, 23306 markings/sec, 2950 secs 90 tries, 89499011 fired transitions, 2955 secs || 73329188 markings, 313223935 edges, 23310 markings/sec, 2955 secs 90 tries, 89645826 fired transitions, 2960 secs || 73444964 markings, 313812816 edges, 23155 markings/sec, 2960 secs 90 tries, 89792106 fired transitions, 2965 secs || 73561106 markings, 314391605 edges, 23228 markings/sec, 2965 secs 90 tries, 89938790 fired transitions, 2970 secs || 73677214 markings, 314967578 edges, 23222 markings/sec, 2970 secs 91 tries, 90085073 fired transitions, 2975 secs || 73794093 markings, 315564277 edges, 23376 markings/sec, 2975 secs 91 tries, 90231261 fired transitions, 2980 secs || 73912559 markings, 316142182 edges, 23693 markings/sec, 2980 secs 91 tries, 90377723 fired transitions, 2985 secs || 74030810 markings, 316720412 edges, 23650 markings/sec, 2985 secs 91 tries, 90524217 fired transitions, 2990 secs || 74148231 markings, 317289284 edges, 23484 markings/sec, 2990 secs 91 tries, 90671625 fired transitions, 2995 secs || 74261959 markings, 317903280 edges, 22746 markings/sec, 2995 secs 91 tries, 90818062 fired transitions, 3000 secs || 74379354 markings, 318487126 edges, 23479 markings/sec, 3000 secs 91 tries, 90964630 fired transitions, 3005 secs || 74497148 markings, 319070910 edges, 23559 markings/sec, 3005 secs 92 tries, 91111638 fired transitions, 3010 secs || 74613857 markings, 319655331 edges, 23342 markings/sec, 3010 secs 92 tries, 91258206 fired transitions, 3015 secs || 74729894 markings, 320234517 edges, 23207 markings/sec, 3015 secs 92 tries, 91403226 fired transitions, 3020 secs || 74846204 markings, 320815886 edges, 23262 markings/sec, 3020 secs 92 tries, 91548100 fired transitions, 3025 secs || 74963561 markings, 321416169 edges, 23471 markings/sec, 3025 secs 92 tries, 91693521 fired transitions, 3030 secs || 75079311 markings, 322010142 edges, 23150 markings/sec, 3030 secs 92 tries, 91838714 fired transitions, 3035 secs || 75196963 markings, 322581274 edges, 23530 markings/sec, 3035 secs 92 tries, 91983835 fired transitions, 3040 secs || 75315526 markings, 323166618 edges, 23713 markings/sec, 3040 secs 93 tries, 92127216 fired transitions, 3045 secs || 75436455 markings, 323728381 edges, 24186 markings/sec, 3045 secs 93 tries, 92269680 fired transitions, 3050 secs || 75558473 markings, 324285187 edges, 24404 markings/sec, 3050 secs 93 tries, 92412727 fired transitions, 3055 secs || 75679838 markings, 324850250 edges, 24273 markings/sec, 3055 secs 93 tries, 92556589 fired transitions, 3060 secs || 75797878 markings, 325448775 edges, 23608 markings/sec, 3060 secs 93 tries, 92699558 fired transitions, 3065 secs || 75918525 markings, 326027208 edges, 24129 markings/sec, 3065 secs 93 tries, 92844828 fired transitions, 3070 secs || 76036408 markings, 326606473 edges, 23577 markings/sec, 3070 secs 93 tries, 92991132 fired transitions, 3075 secs || 76152579 markings, 327194828 edges, 23234 markings/sec, 3075 secs 94 tries, 93137026 fired transitions, 3080 secs || 76270564 markings, 327761895 edges, 23597 markings/sec, 3080 secs 94 tries, 93283369 fired transitions, 3085 secs || 76383181 markings, 328364219 edges, 22523 markings/sec, 3085 secs 94 tries, 93425521 fired transitions, 3090 secs || 76502869 markings, 328936977 edges, 23938 markings/sec, 3090 secs 94 tries, 93569248 fired transitions, 3095 secs || 76619681 markings, 329526840 edges, 23362 markings/sec, 3095 secs 94 tries, 93710639 fired transitions, 3100 secs || 76740750 markings, 330083340 edges, 24214 markings/sec, 3100 secs 94 tries, 93853592 fired transitions, 3105 secs || 76859278 markings, 330659207 edges, 23706 markings/sec, 3105 secs 94 tries, 93998736 fired transitions, 3110 secs || 76975581 markings, 331236848 edges, 23261 markings/sec, 3110 secs 95 tries, 94143079 fired transitions, 3115 secs || 77090215 markings, 331877735 edges, 22927 markings/sec, 3115 secs 95 tries, 94287813 fired transitions, 3120 secs || 77204926 markings, 332456610 edges, 22942 markings/sec, 3120 secs 95 tries, 94433630 fired transitions, 3125 secs || 77318969 markings, 333046940 edges, 22809 markings/sec, 3125 secs 95 tries, 94579825 fired transitions, 3130 secs || 77433617 markings, 333626033 edges, 22930 markings/sec, 3130 secs 95 tries, 94723972 fired transitions, 3135 secs || 77550288 markings, 334215184 edges, 23334 markings/sec, 3135 secs 95 tries, 94869200 fired transitions, 3140 secs || 77665330 markings, 334803242 edges, 23008 markings/sec, 3140 secs 96 tries, 95013408 fired transitions, 3145 secs || 77781145 markings, 335384905 edges, 23163 markings/sec, 3145 secs 96 tries, 95161906 fired transitions, 3150 secs || 77897461 markings, 335985755 edges, 23263 markings/sec, 3150 secs 96 tries, 95326349 fired transitions, 3155 secs || 78020605 markings, 336590621 edges, 24629 markings/sec, 3155 secs 96 tries, 95489404 fired transitions, 3160 secs || 78143370 markings, 337208696 edges, 24553 markings/sec, 3160 secs 96 tries, 95652423 fired transitions, 3165 secs || 78266023 markings, 337823906 edges, 24531 markings/sec, 3165 secs 96 tries, 95815620 fired transitions, 3170 secs || 78387609 markings, 338436847 edges, 24317 markings/sec, 3170 secs 96 tries, 95978640 fired transitions, 3175 secs || 78510481 markings, 339110682 edges, 24574 markings/sec, 3175 secs 97 tries, 96139597 fired transitions, 3180 secs || 78634834 markings, 339730205 edges, 24871 markings/sec, 3180 secs 97 tries, 96300364 fired transitions, 3185 secs || 78757513 markings, 340347187 edges, 24536 markings/sec, 3185 secs 97 tries, 96461911 fired transitions, 3190 secs || 78881554 markings, 340949775 edges, 24808 markings/sec, 3190 secs 97 tries, 96626293 fired transitions, 3195 secs || 79008989 markings, 341540802 edges, 25487 markings/sec, 3195 secs 97 tries, 96790608 fired transitions, 3200 secs || 79135859 markings, 342192529 edges, 25374 markings/sec, 3200 secs 97 tries, 96955043 fired transitions, 3205 secs || 79261883 markings, 342788772 edges, 25205 markings/sec, 3205 secs 98 tries, 97120763 fired transitions, 3210 secs || 79390257 markings, 343415074 edges, 25675 markings/sec, 3210 secs 98 tries, 97287081 fired transitions, 3215 secs || 79517302 markings, 344022453 edges, 25409 markings/sec, 3215 secs 98 tries, 97453691 fired transitions, 3220 secs || 79640846 markings, 344635534 edges, 24709 markings/sec, 3220 secs 98 tries, 97619233 fired transitions, 3225 secs || 79768220 markings, 345220395 edges, 25475 markings/sec, 3225 secs 98 tries, 97782074 fired transitions, 3230 secs || 79891086 markings, 345832395 edges, 24573 markings/sec, 3230 secs 98 tries, 97944767 fired transitions, 3235 secs || 80015082 markings, 346399937 edges, 24799 markings/sec, 3235 secs 99 tries, 98106378 fired transitions, 3240 secs || 80138162 markings, 347016477 edges, 24616 markings/sec, 3240 secs 99 tries, 98267247 fired transitions, 3245 secs || 80264590 markings, 347598221 edges, 25286 markings/sec, 3245 secs 99 tries, 98421464 fired transitions, 3250 secs || 80384959 markings, 348232765 edges, 24074 markings/sec, 3250 secs 99 tries, 98569394 fired transitions, 3255 secs || 80500402 markings, 348807372 edges, 23089 markings/sec, 3255 secs 99 tries, 98717547 fired transitions, 3260 secs || 80616111 markings, 349369941 edges, 23142 markings/sec, 3260 secs 99 tries, 98865916 fired transitions, 3265 secs || 80731335 markings, 349929616 edges, 23045 markings/sec, 3265 secs 100 tries, 99012941 fired transitions, 3270 secs || 80848210 markings, 350514701 edges, 23375 markings/sec, 3270 secs 100 tries, 99159298 fired transitions, 3275 secs || 80966026 markings, 351092167 edges, 23563 markings/sec, 3275 secs 100 tries, 99309821 fired transitions, 3280 secs || 81088480 markings, 351662686 edges, 24491 markings/sec, 3280 secs 100 tries, 99473218 fired transitions, 3285 secs || 81217649 markings, 352287843 edges, 25834 markings/sec, 3285 secs 100 tries, 99636203 fired transitions, 3290 secs || 81345239 markings, 352936958 edges, 25518 markings/sec, 3290 secs 100 tries, 99798667 fired transitions, 3295 secs || 81472196 markings, 353556640 edges, 25391 markings/sec, 3295 secs 100 tries, 99962299 fired transitions, 3300 secs || 81597930 markings, 354206224 edges, 25147 markings/sec, 3300 secs 101 tries, 100123339 fired transitions, 3305 secs || 81724790 markings, 354833779 edges, 25372 markings/sec, 3305 secs 101 tries, 100284473 fired transitions, 3310 secs || 81850208 markings, 355452844 edges, 25084 markings/sec, 3310 secs 101 tries, 100446179 fired transitions, 3315 secs || 81976752 markings, 356021390 edges, 25309 markings/sec, 3315 secs 101 tries, 100607529 fired transitions, 3320 secs || 82104058 markings, 356640692 edges, 25461 markings/sec, 3320 secs 101 tries, 100769214 fired transitions, 3325 secs || 82229560 markings, 357251254 edges, 25100 markings/sec, 3325 secs 101 tries, 100931248 fired transitions, 3330 secs || 82354846 markings, 357834597 edges, 25057 markings/sec, 3330 secs 102 tries, 101094413 fired transitions, 3335 secs || 82481834 markings, 358481207 edges, 25398 markings/sec, 3335 secs 102 tries, 101258498 fired transitions, 3340 secs || 82608299 markings, 359113673 edges, 25293 markings/sec, 3340 secs 102 tries, 101422447 fired transitions, 3345 secs || 82734561 markings, 359730773 edges, 25252 markings/sec, 3345 secs 102 tries, 101586116 fired transitions, 3350 secs || 82861039 markings, 360388079 edges, 25296 markings/sec, 3350 secs 102 tries, 101747405 fired transitions, 3355 secs || 82987647 markings, 361011711 edges, 25322 markings/sec, 3355 secs 102 tries, 101903388 fired transitions, 3360 secs || 83109054 markings, 361617272 edges, 24281 markings/sec, 3360 secs 103 tries, 102062912 fired transitions, 3365 secs || 83234490 markings, 362226571 edges, 25087 markings/sec, 3365 secs 103 tries, 102220692 fired transitions, 3370 secs || 83359485 markings, 362830447 edges, 24999 markings/sec, 3370 secs 103 tries, 102378318 fired transitions, 3375 secs || 83484806 markings, 363447440 edges, 25064 markings/sec, 3375 secs 103 tries, 102526932 fired transitions, 3380 secs || 83604052 markings, 364001602 edges, 23849 markings/sec, 3380 secs 103 tries, 102673889 fired transitions, 3385 secs || 83718650 markings, 364581042 edges, 22920 markings/sec, 3385 secs 103 tries, 102819480 fired transitions, 3390 secs || 83834715 markings, 365141407 edges, 23213 markings/sec, 3390 secs 103 tries, 102964927 fired transitions, 3395 secs || 83953598 markings, 365690846 edges, 23777 markings/sec, 3395 secs 104 tries, 103112539 fired transitions, 3400 secs || 84071462 markings, 366231684 edges, 23573 markings/sec, 3400 secs 104 tries, 103260863 fired transitions, 3405 secs || 84185795 markings, 366793701 edges, 22867 markings/sec, 3405 secs 104 tries, 103409078 fired transitions, 3410 secs || 84300792 markings, 367343417 edges, 22999 markings/sec, 3410 secs 104 tries, 103557817 fired transitions, 3415 secs || 84417565 markings, 367875172 edges, 23355 markings/sec, 3415 secs 104 tries, 103707332 fired transitions, 3420 secs || 84530920 markings, 368442651 edges, 22671 markings/sec, 3420 secs 104 tries, 103856168 fired transitions, 3425 secs || 84649536 markings, 368985975 edges, 23723 markings/sec, 3425 secs 105 tries, 104005111 fired transitions, 3430 secs || 84767072 markings, 369535967 edges, 23507 markings/sec, 3430 secs 105 tries, 104150208 fired transitions, 3435 secs || 84887446 markings, 370064948 edges, 24075 markings/sec, 3435 secs 105 tries, 104298663 fired transitions, 3440 secs || 85001580 markings, 370656000 edges, 22827 markings/sec, 3440 secs 105 tries, 104447065 fired transitions, 3445 secs || 85115549 markings, 371214992 edges, 22794 markings/sec, 3445 secs 105 tries, 104594877 fired transitions, 3450 secs || 85229892 markings, 371776699 edges, 22869 markings/sec, 3450 secs 105 tries, 104742496 fired transitions, 3455 secs || 85346025 markings, 372329731 edges, 23227 markings/sec, 3455 secs 105 tries, 104889616 fired transitions, 3460 secs || 85465315 markings, 372847547 edges, 23858 markings/sec, 3460 secs 106 tries, 105037878 fired transitions, 3465 secs || 85582083 markings, 373395358 edges, 23354 markings/sec, 3465 secs 106 tries, 105187292 fired transitions, 3470 secs || 85699201 markings, 373931431 edges, 23424 markings/sec, 3470 secs 106 tries, 105336395 fired transitions, 3475 secs || 85818811 markings, 374397470 edges, 23922 markings/sec, 3475 secs 106 tries, 105485465 fired transitions, 3480 secs || 85938117 markings, 374874910 edges, 23861 markings/sec, 3480 secs 106 tries, 105635043 fired transitions, 3485 secs || 86056093 markings, 375378593 edges, 23595 markings/sec, 3485 secs 106 tries, 105784275 fired transitions, 3490 secs || 86175045 markings, 375877221 edges, 23790 markings/sec, 3490 secs 106 tries, 105933699 fired transitions, 3495 secs || 86292354 markings, 376363990 edges, 23462 markings/sec, 3495 secs 107 tries, 106082281 fired transitions, 3500 secs || 86409288 markings, 376903169 edges, 23387 markings/sec, 3500 secs 107 tries, 106228762 fired transitions, 3505 secs || 86528151 markings, 377418029 edges, 23773 markings/sec, 3505 secs 107 tries, 106371538 fired transitions, 3510 secs || 86646193 markings, 377931007 edges, 23608 markings/sec, 3510 secs 107 tries, 106519495 fired transitions, 3515 secs || 86764240 markings, 378447533 edges, 23609 markings/sec, 3515 secs 107 tries, 106667211 fired transitions, 3520 secs || 86882368 markings, 378991136 edges, 23626 markings/sec, 3520 secs 107 tries, 106815215 fired transitions, 3525 secs || 86999475 markings, 379501959 edges, 23421 markings/sec, 3525 secs 107 tries, 106962731 fired transitions, 3530 secs || 87119049 markings, 380020809 edges, 23915 markings/sec, 3530 secs 108 tries, 107099833 fired transitions, 3535 secs || 87236726 markings, 380565820 edges, 23535 markings/sec, 3535 secs 108 tries, 107249848 fired transitions, 3540 secs || 87354271 markings, 381106518 edges, 23509 markings/sec, 3540 secs 108 tries, 107398728 fired transitions, 3545 secs || 87470331 markings, 381631159 edges, 23212 markings/sec, 3545 secs 108 tries, 107547283 fired transitions, 3550 secs || 87588859 markings, 382147225 edges, 23706 markings/sec, 3550 secs 108 tries, 107694156 fired transitions, 3555 secs || 87707799 markings, 382693457 edges, 23788 markings/sec, 3555 secs 108 tries, 107841833 fired transitions, 3560 secs || 87825847 markings, 383240311 edges, 23610 markings/sec, 3560 secs reached - aborting 2961896 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-14ringLRLarge"
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-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge 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-14ringLRLarge, 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-152649735500321"
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 ;