MCC'2018 - Execution of r064-smll-152649735500328

About the Execution of LoLA for DNAwalker-PT-15ringRRLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3023.790	3570372.00	7186026.00	7095.30	[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 1526855299167

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

--------------------
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.8K May 15 18:54 CTLFireability.txt 18K 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.3K May 15 18:54 LTLCardinality.txt users 8.7K May 15 18:54 LTLCardinality.xml users 2.0K May 15 18:54 LTLFireability.txt users 9.4K May 15 18:54 LTLFireability.xml users 3.4K May 15 18:54 ReachabilityCardinality.txt 17K May 15 18:54 ReachabilityCardinality.xml 117 May 15 18:54 ReachabilityDeadlock.txt 355 May 15 18:54 ReachabilityDeadlock.xml users 3.2K 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-15ringRRLarge, examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735500328 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) T-15ringRRLarge-ReachabilityDeadlock-0 of the tool begins =================================================================== DNAwalker-PT-15ringRRLarge Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DNAwalker-PT-15ringRRLarge formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DNAwalker-PT-15ringRRLarge @ 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-15ringRRLarge-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) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 0 generators (0 in search tree, 0 by composition) branches visited in search tree siphon/trap property is not applicable since the net is inhomogeneous 1 tries, 144050 fired transitions, 0 secs || 107877 markings, 360041 edges, 21575 markings/sec, 0 secs 1 tries, 287384 fired transitions, 5 secs || 230763 markings, 835737 edges, 24577 markings/sec, 5 secs 1 tries, 431525 fired transitions, 10 secs || 347457 markings, 1323240 edges, 23339 markings/sec, 10 secs 1 tries, 575154 fired transitions, 15 secs || 473560 markings, 1801157 edges, 25221 markings/sec, 15 secs 1 tries, 720462 fired transitions, 20 secs || 599296 markings, 2320253 edges, 25147 markings/sec, 20 secs 1 tries, 866757 fired transitions, 25 secs || 724468 markings, 2804186 edges, 25034 markings/sec, 25 secs 2 tries, 1012991 fired transitions, 30 secs || 851782 markings, 3228246 edges, 25463 markings/sec, 30 secs 2 tries, 1167296 fired transitions, 35 secs || 982989 markings, 3699369 edges, 26241 markings/sec, 35 secs 2 tries, 1312241 fired transitions, 40 secs || 1105225 markings, 4233098 edges, 24447 markings/sec, 40 secs 2 tries, 1457119 fired transitions, 45 secs || 1227974 markings, 4726716 edges, 24550 markings/sec, 45 secs 2 tries, 1604926 fired transitions, 50 secs || 1353336 markings, 5180593 edges, 25072 markings/sec, 50 secs 2 tries, 1764613 fired transitions, 55 secs || 1485670 markings, 5690276 edges, 26467 markings/sec, 55 secs 2 tries, 1918857 fired transitions, 60 secs || 1618996 markings, 6215525 edges, 26665 markings/sec, 60 secs 3 tries, 2057628 fired transitions, 65 secs || 1753927 markings, 6746213 edges, 26986 markings/sec, 65 secs 3 tries, 2216799 fired transitions, 70 secs || 1886313 markings, 7247902 edges, 26477 markings/sec, 70 secs 3 tries, 2375679 fired transitions, 75 secs || 2020121 markings, 7711842 edges, 26762 markings/sec, 75 secs 3 tries, 2534945 fired transitions, 80 secs || 2152638 markings, 8189514 edges, 26503 markings/sec, 80 secs 3 tries, 2694706 fired transitions, 85 secs || 2283788 markings, 8765409 edges, 26230 markings/sec, 85 secs 3 tries, 2854495 fired transitions, 90 secs || 2414072 markings, 9331828 edges, 26057 markings/sec, 90 secs 4 tries, 3013876 fired transitions, 95 secs || 2545906 markings, 9842050 edges, 26367 markings/sec, 95 secs 4 tries, 3171826 fired transitions, 100 secs || 2677817 markings, 10375485 edges, 26382 markings/sec, 100 secs 4 tries, 3329947 fired transitions, 105 secs || 2808763 markings, 10920725 edges, 26189 markings/sec, 105 secs 4 tries, 3488110 fired transitions, 110 secs || 2940851 markings, 11430515 edges, 26418 markings/sec, 110 secs 4 tries, 3646400 fired transitions, 115 secs || 3074195 markings, 11919941 edges, 26669 markings/sec, 115 secs 4 tries, 3804880 fired transitions, 120 secs || 3203663 markings, 12465889 edges, 25894 markings/sec, 120 secs 4 tries, 3963261 fired transitions, 125 secs || 3334092 markings, 13014364 edges, 26086 markings/sec, 125 secs 5 tries, 4124085 fired transitions, 130 secs || 3463551 markings, 13534929 edges, 25892 markings/sec, 130 secs 5 tries, 4277601 fired transitions, 135 secs || 3585550 markings, 14051879 edges, 24400 markings/sec, 135 secs 5 tries, 4425681 fired transitions, 140 secs || 3709421 markings, 14480559 edges, 24774 markings/sec, 140 secs 5 tries, 4573386 fired transitions, 145 secs || 3833287 markings, 14904392 edges, 24773 markings/sec, 145 secs 5 tries, 4721729 fired transitions, 150 secs || 3957615 markings, 15304797 edges, 24866 markings/sec, 150 secs 5 tries, 4870555 fired transitions, 155 secs || 4080654 markings, 15734886 edges, 24608 markings/sec, 155 secs 6 tries, 5018720 fired transitions, 160 secs || 4202212 markings, 16200708 edges, 24312 markings/sec, 160 secs 6 tries, 5165156 fired transitions, 165 secs || 4322247 markings, 16744832 edges, 24007 markings/sec, 165 secs 6 tries, 5311282 fired transitions, 170 secs || 4443948 markings, 17295479 edges, 24340 markings/sec, 170 secs 6 tries, 5457292 fired transitions, 175 secs || 4565511 markings, 17815256 edges, 24313 markings/sec, 175 secs 6 tries, 5603093 fired transitions, 180 secs || 4688030 markings, 18333594 edges, 24504 markings/sec, 180 secs 6 tries, 5745806 fired transitions, 185 secs || 4811601 markings, 18880671 edges, 24714 markings/sec, 185 secs 6 tries, 5889278 fired transitions, 190 secs || 4934932 markings, 19387923 edges, 24666 markings/sec, 190 secs 7 tries, 6035363 fired transitions, 195 secs || 5056681 markings, 19903892 edges, 24350 markings/sec, 195 secs 7 tries, 6182045 fired transitions, 200 secs || 5177394 markings, 20452060 edges, 24143 markings/sec, 200 secs 7 tries, 6328652 fired transitions, 205 secs || 5297620 markings, 21022916 edges, 24045 markings/sec, 205 secs 7 tries, 6475167 fired transitions, 210 secs || 5418879 markings, 21566145 edges, 24252 markings/sec, 210 secs 7 tries, 6621667 fired transitions, 215 secs || 5540875 markings, 22090547 edges, 24399 markings/sec, 215 secs 7 tries, 6767776 fired transitions, 220 secs || 5664539 markings, 22580600 edges, 24733 markings/sec, 220 secs 7 tries, 6914249 fired transitions, 225 secs || 5785214 markings, 23127140 edges, 24135 markings/sec, 225 secs 8 tries, 7060942 fired transitions, 230 secs || 5906810 markings, 23657238 edges, 24319 markings/sec, 230 secs 8 tries, 7207887 fired transitions, 235 secs || 6027833 markings, 24178740 edges, 24205 markings/sec, 235 secs 8 tries, 7355373 fired transitions, 240 secs || 6145739 markings, 24711770 edges, 23581 markings/sec, 240 secs 8 tries, 7502235 fired transitions, 245 secs || 6266463 markings, 25233257 edges, 24145 markings/sec, 245 secs 8 tries, 7649263 fired transitions, 250 secs || 6387594 markings, 25723825 edges, 24226 markings/sec, 250 secs 8 tries, 7795894 fired transitions, 255 secs || 6509664 markings, 26240917 edges, 24414 markings/sec, 255 secs 8 tries, 7942671 fired transitions, 260 secs || 6630920 markings, 26740424 edges, 24251 markings/sec, 260 secs 9 tries, 8090811 fired transitions, 265 secs || 6754107 markings, 27239706 edges, 24637 markings/sec, 265 secs 9 tries, 8249331 fired transitions, 270 secs || 6881036 markings, 27797424 edges, 25386 markings/sec, 270 secs 9 tries, 8398635 fired transitions, 275 secs || 7000670 markings, 28329998 edges, 23927 markings/sec, 275 secs 9 tries, 8548000 fired transitions, 280 secs || 7118093 markings, 28907477 edges, 23485 markings/sec, 280 secs 9 tries, 8697438 fired transitions, 285 secs || 7236294 markings, 29472601 edges, 23640 markings/sec, 285 secs 9 tries, 8852133 fired transitions, 290 secs || 7358517 markings, 30003012 edges, 24445 markings/sec, 290 secs 10 tries, 9008282 fired transitions, 295 secs || 7483319 markings, 30561940 edges, 24960 markings/sec, 295 secs 10 tries, 9158905 fired transitions, 300 secs || 7602688 markings, 31076006 edges, 23874 markings/sec, 300 secs 10 tries, 9309881 fired transitions, 305 secs || 7720758 markings, 31591547 edges, 23614 markings/sec, 305 secs 10 tries, 9460522 fired transitions, 310 secs || 7840076 markings, 32130685 edges, 23864 markings/sec, 310 secs 10 tries, 9611104 fired transitions, 315 secs || 7958983 markings, 32682766 edges, 23781 markings/sec, 315 secs 10 tries, 9761391 fired transitions, 320 secs || 8079558 markings, 33203447 edges, 24115 markings/sec, 320 secs 10 tries, 9916611 fired transitions, 325 secs || 8201999 markings, 33790036 edges, 24488 markings/sec, 325 secs 11 tries, 10077379 fired transitions, 330 secs || 8330209 markings, 34382289 edges, 25642 markings/sec, 330 secs 11 tries, 10237259 fired transitions, 335 secs || 8458328 markings, 34996076 edges, 25624 markings/sec, 335 secs 11 tries, 10392445 fired transitions, 340 secs || 8583242 markings, 35565577 edges, 24983 markings/sec, 340 secs 11 tries, 10540862 fired transitions, 345 secs || 8704488 markings, 36103375 edges, 24249 markings/sec, 345 secs 11 tries, 10686680 fired transitions, 350 secs || 8832366 markings, 36541321 edges, 25576 markings/sec, 350 secs 11 tries, 10831681 fired transitions, 355 secs || 8960138 markings, 37012704 edges, 25554 markings/sec, 355 secs 11 tries, 10978397 fired transitions, 360 secs || 9086566 markings, 37462572 edges, 25286 markings/sec, 360 secs 12 tries, 11128548 fired transitions, 365 secs || 9210103 markings, 37918471 edges, 24707 markings/sec, 365 secs 12 tries, 11279397 fired transitions, 370 secs || 9332134 markings, 38385036 edges, 24406 markings/sec, 370 secs 12 tries, 11429716 fired transitions, 375 secs || 9455735 markings, 38820072 edges, 24720 markings/sec, 375 secs 12 tries, 11580073 fired transitions, 380 secs || 9578923 markings, 39252290 edges, 24638 markings/sec, 380 secs 12 tries, 11730988 fired transitions, 385 secs || 9700512 markings, 39718292 edges, 24318 markings/sec, 385 secs 12 tries, 11882021 fired transitions, 390 secs || 9821795 markings, 40197467 edges, 24257 markings/sec, 390 secs 13 tries, 12032438 fired transitions, 395 secs || 9943132 markings, 40678771 edges, 24267 markings/sec, 395 secs 13 tries, 12179712 fired transitions, 400 secs || 10067528 markings, 41170546 edges, 24879 markings/sec, 400 secs 13 tries, 12327425 fired transitions, 405 secs || 10190350 markings, 41671801 edges, 24564 markings/sec, 405 secs 13 tries, 12475063 fired transitions, 410 secs || 10312822 markings, 42192250 edges, 24494 markings/sec, 410 secs 13 tries, 12622339 fired transitions, 415 secs || 10435778 markings, 42717588 edges, 24591 markings/sec, 415 secs 13 tries, 12781614 fired transitions, 420 secs || 10563702 markings, 43308240 edges, 25585 markings/sec, 420 secs 13 tries, 12930317 fired transitions, 425 secs || 10687808 markings, 43864602 edges, 24821 markings/sec, 425 secs 14 tries, 13093229 fired transitions, 430 secs || 10818374 markings, 44452228 edges, 26113 markings/sec, 430 secs 14 tries, 13256670 fired transitions, 435 secs || 10948821 markings, 45035594 edges, 26089 markings/sec, 435 secs 14 tries, 13420504 fired transitions, 440 secs || 11078189 markings, 45651156 edges, 25874 markings/sec, 440 secs 14 tries, 13578723 fired transitions, 445 secs || 11194522 markings, 46188834 edges, 23267 markings/sec, 445 secs 14 tries, 13729386 fired transitions, 450 secs || 11303363 markings, 46670968 edges, 21768 markings/sec, 450 secs 14 tries, 13879346 fired transitions, 455 secs || 11420809 markings, 47206072 edges, 23489 markings/sec, 455 secs 15 tries, 14029567 fired transitions, 460 secs || 11536469 markings, 47769735 edges, 23132 markings/sec, 460 secs 15 tries, 14178202 fired transitions, 465 secs || 11653902 markings, 48301235 edges, 23487 markings/sec, 465 secs 15 tries, 14327165 fired transitions, 470 secs || 11769658 markings, 48861430 edges, 23151 markings/sec, 470 secs 15 tries, 14476470 fired transitions, 475 secs || 11884202 markings, 49435006 edges, 22909 markings/sec, 475 secs 15 tries, 14634380 fired transitions, 480 secs || 12010309 markings, 50010745 edges, 25221 markings/sec, 480 secs 15 tries, 14783414 fired transitions, 485 secs || 12125798 markings, 50575206 edges, 23098 markings/sec, 485 secs 15 tries, 14932837 fired transitions, 490 secs || 12239728 markings, 51119931 edges, 22786 markings/sec, 490 secs 16 tries, 15083146 fired transitions, 495 secs || 12354069 markings, 51679635 edges, 22868 markings/sec, 495 secs 16 tries, 15234215 fired transitions, 500 secs || 12469672 markings, 52206610 edges, 23121 markings/sec, 500 secs 16 tries, 15383150 fired transitions, 505 secs || 12586809 markings, 52758885 edges, 23427 markings/sec, 505 secs 16 tries, 15532044 fired transitions, 510 secs || 12703679 markings, 53328021 edges, 23374 markings/sec, 510 secs 16 tries, 15681282 fired transitions, 515 secs || 12819562 markings, 53915302 edges, 23177 markings/sec, 515 secs 16 tries, 15835598 fired transitions, 520 secs || 12938318 markings, 54513290 edges, 23751 markings/sec, 520 secs 16 tries, 15985271 fired transitions, 525 secs || 13058589 markings, 54954734 edges, 24054 markings/sec, 525 secs 17 tries, 16148936 fired transitions, 530 secs || 13189612 markings, 55531811 edges, 26205 markings/sec, 530 secs 17 tries, 16302230 fired transitions, 535 secs || 13307872 markings, 56118884 edges, 23652 markings/sec, 535 secs 17 tries, 16463914 fired transitions, 540 secs || 13437250 markings, 56664539 edges, 25876 markings/sec, 540 secs 17 tries, 16624703 fired transitions, 545 secs || 13564509 markings, 57230954 edges, 25452 markings/sec, 545 secs 17 tries, 16785433 fired transitions, 550 secs || 13691805 markings, 57799739 edges, 25459 markings/sec, 550 secs 17 tries, 16946130 fired transitions, 555 secs || 13819794 markings, 58351606 edges, 25598 markings/sec, 555 secs 18 tries, 17104460 fired transitions, 560 secs || 13948139 markings, 58860935 edges, 25669 markings/sec, 560 secs 18 tries, 17260732 fired transitions, 565 secs || 14075788 markings, 59439482 edges, 25530 markings/sec, 565 secs 18 tries, 17404183 fired transitions, 570 secs || 14193998 markings, 60023395 edges, 23642 markings/sec, 570 secs 18 tries, 17547253 fired transitions, 575 secs || 14314111 markings, 60567876 edges, 24023 markings/sec, 575 secs 18 tries, 17690418 fired transitions, 580 secs || 14435242 markings, 61096823 edges, 24226 markings/sec, 580 secs 18 tries, 17837062 fired transitions, 585 secs || 14556876 markings, 61660883 edges, 24327 markings/sec, 585 secs 18 tries, 17994963 fired transitions, 590 secs || 14682917 markings, 62282280 edges, 25208 markings/sec, 590 secs 19 tries, 18141070 fired transitions, 595 secs || 14802964 markings, 62849918 edges, 24009 markings/sec, 595 secs 19 tries, 18287523 fired transitions, 600 secs || 14922311 markings, 63383332 edges, 23869 markings/sec, 600 secs 19 tries, 18434137 fired transitions, 605 secs || 15041913 markings, 63945962 edges, 23920 markings/sec, 605 secs 19 tries, 18594965 fired transitions, 610 secs || 15164757 markings, 64543759 edges, 24569 markings/sec, 610 secs 19 tries, 18747309 fired transitions, 615 secs || 15288101 markings, 65072024 edges, 24669 markings/sec, 615 secs 19 tries, 18882306 fired transitions, 620 secs || 15402496 markings, 65613035 edges, 22879 markings/sec, 620 secs 20 tries, 19032641 fired transitions, 625 secs || 15519638 markings, 66144317 edges, 23428 markings/sec, 625 secs 20 tries, 19183610 fired transitions, 630 secs || 15635032 markings, 66742076 edges, 23079 markings/sec, 630 secs 20 tries, 19333276 fired transitions, 635 secs || 15751232 markings, 67342074 edges, 23240 markings/sec, 635 secs 20 tries, 19482478 fired transitions, 640 secs || 15869126 markings, 67911907 edges, 23579 markings/sec, 640 secs 20 tries, 19631426 fired transitions, 645 secs || 15986524 markings, 68475750 edges, 23480 markings/sec, 645 secs 20 tries, 19780102 fired transitions, 650 secs || 16103316 markings, 69070670 edges, 23358 markings/sec, 650 secs 20 tries, 19928907 fired transitions, 655 secs || 16220348 markings, 69662736 edges, 23406 markings/sec, 655 secs 21 tries, 20077276 fired transitions, 660 secs || 16336232 markings, 70205024 edges, 23177 markings/sec, 660 secs 21 tries, 20236608 fired transitions, 665 secs || 16461835 markings, 70810712 edges, 25121 markings/sec, 665 secs 21 tries, 20383919 fired transitions, 670 secs || 16578719 markings, 71355179 edges, 23377 markings/sec, 670 secs 21 tries, 20530865 fired transitions, 675 secs || 16696162 markings, 71906615 edges, 23489 markings/sec, 675 secs 21 tries, 20677532 fired transitions, 680 secs || 16814520 markings, 72423005 edges, 23672 markings/sec, 680 secs 21 tries, 20825273 fired transitions, 685 secs || 16928582 markings, 72987916 edges, 22812 markings/sec, 685 secs 21 tries, 20972410 fired transitions, 690 secs || 17045921 markings, 73528209 edges, 23468 markings/sec, 690 secs 22 tries, 21120121 fired transitions, 695 secs || 17160525 markings, 74134487 edges, 22921 markings/sec, 695 secs 22 tries, 21267820 fired transitions, 700 secs || 17274955 markings, 74734817 edges, 22886 markings/sec, 700 secs 22 tries, 21415188 fired transitions, 705 secs || 17391592 markings, 75293891 edges, 23327 markings/sec, 705 secs 22 tries, 21563508 fired transitions, 710 secs || 17504573 markings, 75839813 edges, 22596 markings/sec, 710 secs 22 tries, 21711705 fired transitions, 715 secs || 17619130 markings, 76386826 edges, 22911 markings/sec, 715 secs 22 tries, 21860008 fired transitions, 720 secs || 17734329 markings, 76932541 edges, 23040 markings/sec, 720 secs 23 tries, 22008211 fired transitions, 725 secs || 17847748 markings, 77496042 edges, 22684 markings/sec, 725 secs 23 tries, 22155077 fired transitions, 730 secs || 17962259 markings, 78053331 edges, 22902 markings/sec, 730 secs 23 tries, 22301308 fired transitions, 735 secs || 18079142 markings, 78617378 edges, 23377 markings/sec, 735 secs 23 tries, 22447344 fired transitions, 740 secs || 18197551 markings, 79160686 edges, 23682 markings/sec, 740 secs 23 tries, 22591706 fired transitions, 745 secs || 18324522 markings, 79567269 edges, 25394 markings/sec, 745 secs 23 tries, 22736537 fired transitions, 750 secs || 18449843 markings, 80000459 edges, 25064 markings/sec, 750 secs 23 tries, 22881099 fired transitions, 755 secs || 18575434 markings, 80424285 edges, 25118 markings/sec, 755 secs 24 tries, 23026530 fired transitions, 760 secs || 18699890 markings, 80856771 edges, 24891 markings/sec, 760 secs 24 tries, 23173874 fired transitions, 765 secs || 18822566 markings, 81316208 edges, 24535 markings/sec, 765 secs 24 tries, 23321048 fired transitions, 770 secs || 18946030 markings, 81761053 edges, 24693 markings/sec, 770 secs 24 tries, 23467907 fired transitions, 775 secs || 19070611 markings, 82187063 edges, 24916 markings/sec, 775 secs 24 tries, 23615117 fired transitions, 780 secs || 19193055 markings, 82657767 edges, 24489 markings/sec, 780 secs 24 tries, 23776292 fired transitions, 785 secs || 19323590 markings, 83189479 edges, 26107 markings/sec, 785 secs 24 tries, 23939752 fired transitions, 790 secs || 19457390 markings, 83713341 edges, 26760 markings/sec, 790 secs 25 tries, 24084110 fired transitions, 795 secs || 19582250 markings, 84209926 edges, 24972 markings/sec, 795 secs 25 tries, 24228304 fired transitions, 800 secs || 19707672 markings, 84708630 edges, 25084 markings/sec, 800 secs 25 tries, 24372517 fired transitions, 805 secs || 19834827 markings, 85163993 edges, 25431 markings/sec, 805 secs 25 tries, 24534518 fired transitions, 810 secs || 19971319 markings, 85606862 edges, 27298 markings/sec, 810 secs 25 tries, 24697683 fired transitions, 815 secs || 20106445 markings, 86086622 edges, 27025 markings/sec, 815 secs 25 tries, 24840021 fired transitions, 820 secs || 20242643 markings, 86565920 edges, 27240 markings/sec, 820 secs 26 tries, 25003231 fired transitions, 825 secs || 20377124 markings, 87078553 edges, 26896 markings/sec, 825 secs 26 tries, 25164045 fired transitions, 830 secs || 20509450 markings, 87596146 edges, 26465 markings/sec, 830 secs 26 tries, 25324727 fired transitions, 835 secs || 20643073 markings, 88096076 edges, 26725 markings/sec, 835 secs 26 tries, 25484065 fired transitions, 840 secs || 20775963 markings, 88602038 edges, 26578 markings/sec, 840 secs 26 tries, 25627292 fired transitions, 845 secs || 20899028 markings, 89084342 edges, 24613 markings/sec, 845 secs 26 tries, 25770395 fired transitions, 850 secs || 21022280 markings, 89579420 edges, 24650 markings/sec, 850 secs 26 tries, 25913731 fired transitions, 855 secs || 21145092 markings, 90085875 edges, 24562 markings/sec, 855 secs 27 tries, 26058378 fired transitions, 860 secs || 21268321 markings, 90600859 edges, 24646 markings/sec, 860 secs 27 tries, 26205593 fired transitions, 865 secs || 21390529 markings, 91134967 edges, 24442 markings/sec, 865 secs 27 tries, 26353778 fired transitions, 870 secs || 21510845 markings, 91669923 edges, 24063 markings/sec, 870 secs 27 tries, 26503219 fired transitions, 875 secs || 21631510 markings, 92188842 edges, 24133 markings/sec, 875 secs 27 tries, 26653414 fired transitions, 880 secs || 21750525 markings, 92732532 edges, 23803 markings/sec, 880 secs 27 tries, 26803482 fired transitions, 885 secs || 21869606 markings, 93278324 edges, 23816 markings/sec, 885 secs 27 tries, 26953761 fired transitions, 890 secs || 21989349 markings, 93803985 edges, 23949 markings/sec, 890 secs 28 tries, 27100528 fired transitions, 895 secs || 22111985 markings, 94346527 edges, 24527 markings/sec, 895 secs 28 tries, 27246531 fired transitions, 900 secs || 22235598 markings, 94858348 edges, 24723 markings/sec, 900 secs 28 tries, 27392733 fired transitions, 905 secs || 22357297 markings, 95390296 edges, 24340 markings/sec, 905 secs 28 tries, 27550618 fired transitions, 910 secs || 22487203 markings, 95880291 edges, 25981 markings/sec, 910 secs 28 tries, 27687400 fired transitions, 915 secs || 22616903 markings, 96393475 edges, 25940 markings/sec, 915 secs 28 tries, 27849905 fired transitions, 920 secs || 22748846 markings, 96918050 edges, 26389 markings/sec, 920 secs 29 tries, 28012368 fired transitions, 925 secs || 22878432 markings, 97532868 edges, 25917 markings/sec, 925 secs 29 tries, 28174317 fired transitions, 930 secs || 23005405 markings, 98173328 edges, 25395 markings/sec, 930 secs 29 tries, 28335873 fired transitions, 935 secs || 23134361 markings, 98799693 edges, 25791 markings/sec, 935 secs 29 tries, 28496721 fired transitions, 940 secs || 23260087 markings, 99405107 edges, 25145 markings/sec, 940 secs 29 tries, 28653963 fired transitions, 945 secs || 23385521 markings, 99972859 edges, 25087 markings/sec, 945 secs 29 tries, 28802276 fired transitions, 950 secs || 23503766 markings, 100508791 edges, 23649 markings/sec, 950 secs 29 tries, 28950280 fired transitions, 955 secs || 23622849 markings, 101029173 edges, 23817 markings/sec, 955 secs 30 tries, 29096270 fired transitions, 960 secs || 23737774 markings, 101621521 edges, 22985 markings/sec, 960 secs 30 tries, 29228555 fired transitions, 965 secs || 23852126 markings, 102181942 edges, 22870 markings/sec, 965 secs 30 tries, 29377424 fired transitions, 970 secs || 23966429 markings, 102776267 edges, 22861 markings/sec, 970 secs 30 tries, 29526227 fired transitions, 975 secs || 24082524 markings, 103320033 edges, 23219 markings/sec, 975 secs 30 tries, 29674671 fired transitions, 980 secs || 24200383 markings, 103865257 edges, 23572 markings/sec, 980 secs 30 tries, 29822815 fired transitions, 985 secs || 24319360 markings, 104371265 edges, 23795 markings/sec, 985 secs 30 tries, 29971141 fired transitions, 990 secs || 24435930 markings, 104926888 edges, 23314 markings/sec, 990 secs 31 tries, 30127828 fired transitions, 995 secs || 24555169 markings, 105516171 edges, 23848 markings/sec, 995 secs 31 tries, 30288251 fired transitions, 1000 secs || 24673980 markings, 106086401 edges, 23762 markings/sec, 1000 secs 31 tries, 30440427 fired transitions, 1005 secs || 24787383 markings, 106636171 edges, 22681 markings/sec, 1005 secs 31 tries, 30600153 fired transitions, 1010 secs || 24908376 markings, 107220451 edges, 24199 markings/sec, 1010 secs 31 tries, 30751983 fired transitions, 1015 secs || 25023167 markings, 107748573 edges, 22958 markings/sec, 1015 secs 31 tries, 30905018 fired transitions, 1020 secs || 25137748 markings, 108265626 edges, 22916 markings/sec, 1020 secs 32 tries, 31067346 fired transitions, 1025 secs || 25261033 markings, 108834085 edges, 24657 markings/sec, 1025 secs 32 tries, 31220538 fired transitions, 1030 secs || 25374144 markings, 109400528 edges, 22622 markings/sec, 1030 secs 32 tries, 31370644 fired transitions, 1035 secs || 25487300 markings, 109936726 edges, 22631 markings/sec, 1035 secs 32 tries, 31529858 fired transitions, 1040 secs || 25610827 markings, 110512996 edges, 24705 markings/sec, 1040 secs 32 tries, 31691234 fired transitions, 1045 secs || 25735485 markings, 111129363 edges, 24932 markings/sec, 1045 secs 32 tries, 31852901 fired transitions, 1050 secs || 25858524 markings, 111741104 edges, 24608 markings/sec, 1050 secs 33 tries, 32004366 fired transitions, 1055 secs || 25977823 markings, 112338065 edges, 23860 markings/sec, 1055 secs 33 tries, 32152263 fired transitions, 1060 secs || 26095447 markings, 112920651 edges, 23525 markings/sec, 1060 secs 33 tries, 32300239 fired transitions, 1065 secs || 26212774 markings, 113451152 edges, 23465 markings/sec, 1065 secs 33 tries, 32448053 fired transitions, 1070 secs || 26330794 markings, 114017697 edges, 23604 markings/sec, 1070 secs 33 tries, 32596267 fired transitions, 1075 secs || 26447735 markings, 114601579 edges, 23388 markings/sec, 1075 secs 33 tries, 32743995 fired transitions, 1080 secs || 26564121 markings, 115204567 edges, 23277 markings/sec, 1080 secs 33 tries, 32891775 fired transitions, 1085 secs || 26682899 markings, 115756649 edges, 23756 markings/sec, 1085 secs 34 tries, 33039624 fired transitions, 1090 secs || 26799237 markings, 116338348 edges, 23268 markings/sec, 1090 secs 34 tries, 33194590 fired transitions, 1095 secs || 26922250 markings, 116941874 edges, 24603 markings/sec, 1095 secs 34 tries, 33342584 fired transitions, 1100 secs || 27038231 markings, 117521679 edges, 23196 markings/sec, 1100 secs 34 tries, 33483914 fired transitions, 1105 secs || 27158111 markings, 118107722 edges, 23976 markings/sec, 1105 secs 34 tries, 33641435 fired transitions, 1110 secs || 27281872 markings, 118733383 edges, 24752 markings/sec, 1110 secs 34 tries, 33796456 fired transitions, 1115 secs || 27403190 markings, 119328903 edges, 24264 markings/sec, 1115 secs 34 tries, 33949532 fired transitions, 1120 secs || 27524028 markings, 119914099 edges, 24168 markings/sec, 1120 secs 35 tries, 34102939 fired transitions, 1125 secs || 27643867 markings, 120497530 edges, 23968 markings/sec, 1125 secs 35 tries, 34256987 fired transitions, 1130 secs || 27760968 markings, 121089993 edges, 23420 markings/sec, 1130 secs 35 tries, 34412129 fired transitions, 1135 secs || 27890006 markings, 121519036 edges, 25808 markings/sec, 1135 secs 35 tries, 34574510 fired transitions, 1140 secs || 28020502 markings, 121990267 edges, 26099 markings/sec, 1140 secs 35 tries, 34726284 fired transitions, 1145 secs || 28138989 markings, 122464120 edges, 23697 markings/sec, 1145 secs 35 tries, 34876269 fired transitions, 1150 secs || 28256997 markings, 122977673 edges, 23602 markings/sec, 1150 secs 36 tries, 35026354 fired transitions, 1155 secs || 28375246 markings, 123490774 edges, 23650 markings/sec, 1155 secs 36 tries, 35174522 fired transitions, 1160 secs || 28494324 markings, 124015423 edges, 23816 markings/sec, 1160 secs 36 tries, 35323606 fired transitions, 1165 secs || 28610905 markings, 124539717 edges, 23316 markings/sec, 1165 secs 36 tries, 35472072 fired transitions, 1170 secs || 28730783 markings, 125050976 edges, 23976 markings/sec, 1170 secs 36 tries, 35620618 fired transitions, 1175 secs || 28850577 markings, 125564907 edges, 23959 markings/sec, 1175 secs 36 tries, 35768863 fired transitions, 1180 secs || 28969399 markings, 126114163 edges, 23764 markings/sec, 1180 secs 36 tries, 35917452 fired transitions, 1185 secs || 29087655 markings, 126643501 edges, 23651 markings/sec, 1185 secs 37 tries, 36066314 fired transitions, 1190 secs || 29204147 markings, 127160539 edges, 23298 markings/sec, 1190 secs 37 tries, 36214886 fired transitions, 1195 secs || 29318565 markings, 127721698 edges, 22884 markings/sec, 1195 secs 37 tries, 36362791 fired transitions, 1200 secs || 29435139 markings, 128284711 edges, 23315 markings/sec, 1200 secs 37 tries, 36511390 fired transitions, 1205 secs || 29548681 markings, 128827038 edges, 22708 markings/sec, 1205 secs 37 tries, 36659491 fired transitions, 1210 secs || 29664719 markings, 129354940 edges, 23208 markings/sec, 1210 secs 37 tries, 36807962 fired transitions, 1215 secs || 29779449 markings, 129913741 edges, 22946 markings/sec, 1215 secs 37 tries, 36956234 fired transitions, 1220 secs || 29894436 markings, 130471627 edges, 22997 markings/sec, 1220 secs 38 tries, 37105215 fired transitions, 1225 secs || 30010765 markings, 131036336 edges, 23266 markings/sec, 1225 secs 38 tries, 37253360 fired transitions, 1230 secs || 30131113 markings, 131539272 edges, 24070 markings/sec, 1230 secs 38 tries, 37402252 fired transitions, 1235 secs || 30249656 markings, 132058803 edges, 23709 markings/sec, 1235 secs 38 tries, 37552642 fired transitions, 1240 secs || 30365560 markings, 132598153 edges, 23181 markings/sec, 1240 secs 38 tries, 37703775 fired transitions, 1245 secs || 30481446 markings, 133088276 edges, 23177 markings/sec, 1245 secs 38 tries, 37854379 fired transitions, 1250 secs || 30598585 markings, 133602058 edges, 23428 markings/sec, 1250 secs 39 tries, 38005250 fired transitions, 1255 secs || 30713866 markings, 134153581 edges, 23056 markings/sec, 1255 secs 39 tries, 38153495 fired transitions, 1260 secs || 30831624 markings, 134691051 edges, 23552 markings/sec, 1260 secs 39 tries, 38302400 fired transitions, 1265 secs || 30946913 markings, 135254894 edges, 23058 markings/sec, 1265 secs 39 tries, 38452099 fired transitions, 1270 secs || 31059194 markings, 135805273 edges, 22456 markings/sec, 1270 secs 39 tries, 38600821 fired transitions, 1275 secs || 31176169 markings, 136327448 edges, 23395 markings/sec, 1275 secs 39 tries, 38749422 fired transitions, 1280 secs || 31292418 markings, 136862155 edges, 23250 markings/sec, 1280 secs 39 tries, 38904212 fired transitions, 1285 secs || 31411845 markings, 137444015 edges, 23885 markings/sec, 1285 secs 40 tries, 39065899 fired transitions, 1290 secs || 31537460 markings, 138088824 edges, 25123 markings/sec, 1290 secs 40 tries, 39226305 fired transitions, 1295 secs || 31662486 markings, 138741253 edges, 25005 markings/sec, 1295 secs 40 tries, 39369971 fired transitions, 1300 secs || 31780056 markings, 139311272 edges, 23514 markings/sec, 1300 secs 40 tries, 39513799 fired transitions, 1305 secs || 31897316 markings, 139899240 edges, 23452 markings/sec, 1305 secs 40 tries, 39658463 fired transitions, 1310 secs || 32011968 markings, 140465063 edges, 22930 markings/sec, 1310 secs 40 tries, 39802567 fired transitions, 1315 secs || 32128618 markings, 141053065 edges, 23330 markings/sec, 1315 secs 40 tries, 39946031 fired transitions, 1320 secs || 32244475 markings, 141588199 edges, 23171 markings/sec, 1320 secs 41 tries, 40091367 fired transitions, 1325 secs || 32358389 markings, 142158100 edges, 22783 markings/sec, 1325 secs 41 tries, 40235177 fired transitions, 1330 secs || 32476826 markings, 142722625 edges, 23687 markings/sec, 1330 secs 41 tries, 40380015 fired transitions, 1335 secs || 32594082 markings, 143291948 edges, 23451 markings/sec, 1335 secs 41 tries, 40524120 fired transitions, 1340 secs || 32716511 markings, 143835121 edges, 24486 markings/sec, 1340 secs 41 tries, 40667549 fired transitions, 1345 secs || 32837958 markings, 144403931 edges, 24289 markings/sec, 1345 secs 41 tries, 40811801 fired transitions, 1350 secs || 32959032 markings, 144977328 edges, 24215 markings/sec, 1350 secs 41 tries, 40955518 fired transitions, 1355 secs || 33081928 markings, 145506291 edges, 24579 markings/sec, 1355 secs 42 tries, 41099913 fired transitions, 1360 secs || 33202935 markings, 146051861 edges, 24201 markings/sec, 1360 secs 42 tries, 41244384 fired transitions, 1365 secs || 33322169 markings, 146648127 edges, 23847 markings/sec, 1365 secs 42 tries, 41387982 fired transitions, 1370 secs || 33441204 markings, 147236601 edges, 23807 markings/sec, 1370 secs 42 tries, 41531644 fired transitions, 1375 secs || 33560945 markings, 147805426 edges, 23948 markings/sec, 1375 secs 42 tries, 41674820 fired transitions, 1380 secs || 33681238 markings, 148382766 edges, 24059 markings/sec, 1380 secs 42 tries, 41827495 fired transitions, 1385 secs || 33804722 markings, 148994064 edges, 24697 markings/sec, 1385 secs 42 tries, 41973011 fired transitions, 1390 secs || 33923266 markings, 149575193 edges, 23709 markings/sec, 1390 secs 43 tries, 42124980 fired transitions, 1395 secs || 34039471 markings, 150158841 edges, 23241 markings/sec, 1395 secs 43 tries, 42277602 fired transitions, 1400 secs || 34156515 markings, 150717536 edges, 23409 markings/sec, 1400 secs 43 tries, 42430121 fired transitions, 1405 secs || 34273926 markings, 151261168 edges, 23482 markings/sec, 1405 secs 43 tries, 42583449 fired transitions, 1410 secs || 34389846 markings, 151828567 edges, 23184 markings/sec, 1410 secs 43 tries, 42737817 fired transitions, 1415 secs || 34504474 markings, 152429837 edges, 22926 markings/sec, 1415 secs 43 tries, 42892450 fired transitions, 1420 secs || 34619872 markings, 153046146 edges, 23080 markings/sec, 1420 secs 44 tries, 43054030 fired transitions, 1425 secs || 34742855 markings, 153635998 edges, 24597 markings/sec, 1425 secs 44 tries, 43202984 fired transitions, 1430 secs || 34859647 markings, 154230518 edges, 23358 markings/sec, 1430 secs 44 tries, 43351947 fired transitions, 1435 secs || 34976377 markings, 154833268 edges, 23346 markings/sec, 1435 secs 44 tries, 43501890 fired transitions, 1440 secs || 35090557 markings, 155476446 edges, 22836 markings/sec, 1440 secs 44 tries, 43650827 fired transitions, 1445 secs || 35206613 markings, 156074864 edges, 23211 markings/sec, 1445 secs 44 tries, 43812405 fired transitions, 1450 secs || 35328194 markings, 156751310 edges, 24316 markings/sec, 1450 secs 44 tries, 43976631 fired transitions, 1455 secs || 35452990 markings, 157417264 edges, 24959 markings/sec, 1455 secs 45 tries, 44123716 fired transitions, 1460 secs || 35571119 markings, 157909351 edges, 23626 markings/sec, 1460 secs 45 tries, 44272831 fired transitions, 1465 secs || 35685353 markings, 158422786 edges, 22847 markings/sec, 1465 secs 45 tries, 44422507 fired transitions, 1470 secs || 35797746 markings, 158986960 edges, 22479 markings/sec, 1470 secs 45 tries, 44570009 fired transitions, 1475 secs || 35912791 markings, 159494161 edges, 23009 markings/sec, 1475 secs 45 tries, 44719622 fired transitions, 1480 secs || 36027063 markings, 160036436 edges, 22854 markings/sec, 1480 secs 45 tries, 44872523 fired transitions, 1485 secs || 36146619 markings, 160586573 edges, 23911 markings/sec, 1485 secs 46 tries, 45033162 fired transitions, 1490 secs || 36272604 markings, 161204039 edges, 25197 markings/sec, 1490 secs 46 tries, 45180421 fired transitions, 1495 secs || 36389159 markings, 161777531 edges, 23311 markings/sec, 1495 secs 46 tries, 45327810 fired transitions, 1500 secs || 36505161 markings, 162368364 edges, 23200 markings/sec, 1500 secs 46 tries, 45481536 fired transitions, 1505 secs || 36624631 markings, 162974518 edges, 23894 markings/sec, 1505 secs 46 tries, 45639149 fired transitions, 1510 secs || 36750753 markings, 163558793 edges, 25224 markings/sec, 1510 secs 46 tries, 45786025 fired transitions, 1515 secs || 36868078 markings, 164127694 edges, 23465 markings/sec, 1515 secs 46 tries, 45937276 fired transitions, 1520 secs || 36984370 markings, 164734549 edges, 23258 markings/sec, 1520 secs 47 tries, 46082653 fired transitions, 1525 secs || 37105508 markings, 165275591 edges, 24228 markings/sec, 1525 secs 47 tries, 46231389 fired transitions, 1530 secs || 37221130 markings, 165857634 edges, 23124 markings/sec, 1530 secs 47 tries, 46382988 fired transitions, 1535 secs || 37338883 markings, 166437204 edges, 23551 markings/sec, 1535 secs 47 tries, 46539464 fired transitions, 1540 secs || 37461403 markings, 167050571 edges, 24504 markings/sec, 1540 secs 47 tries, 46695877 fired transitions, 1545 secs || 37583560 markings, 167708729 edges, 24431 markings/sec, 1545 secs 47 tries, 46844798 fired transitions, 1550 secs || 37699452 markings, 168320210 edges, 23178 markings/sec, 1550 secs 47 tries, 46994167 fired transitions, 1555 secs || 37814589 markings, 168911687 edges, 23027 markings/sec, 1555 secs 48 tries, 47140855 fired transitions, 1560 secs || 37932607 markings, 169490032 edges, 23604 markings/sec, 1560 secs 48 tries, 47288811 fired transitions, 1565 secs || 38048864 markings, 170085608 edges, 23251 markings/sec, 1565 secs 48 tries, 47436965 fired transitions, 1570 secs || 38165666 markings, 170690288 edges, 23360 markings/sec, 1570 secs 48 tries, 47586439 fired transitions, 1575 secs || 38280417 markings, 171318544 edges, 22950 markings/sec, 1575 secs 48 tries, 47735227 fired transitions, 1580 secs || 38394513 markings, 171900539 edges, 22819 markings/sec, 1580 secs 48 tries, 47882560 fired transitions, 1585 secs || 38510313 markings, 172463517 edges, 23160 markings/sec, 1585 secs 49 tries, 48030483 fired transitions, 1590 secs || 38625460 markings, 173076415 edges, 23029 markings/sec, 1590 secs 49 tries, 48180102 fired transitions, 1595 secs || 38741644 markings, 173635239 edges, 23237 markings/sec, 1595 secs 49 tries, 48332403 fired transitions, 1600 secs || 38853053 markings, 174227138 edges, 22282 markings/sec, 1600 secs 49 tries, 48484378 fired transitions, 1605 secs || 38966275 markings, 174797754 edges, 22644 markings/sec, 1605 secs 49 tries, 48636792 fired transitions, 1610 secs || 39078247 markings, 175385970 edges, 22394 markings/sec, 1610 secs 49 tries, 48789228 fired transitions, 1615 secs || 39189939 markings, 175955003 edges, 22338 markings/sec, 1615 secs 49 tries, 48941494 fired transitions, 1620 secs || 39303165 markings, 176543373 edges, 22645 markings/sec, 1620 secs 50 tries, 49091372 fired transitions, 1625 secs || 39418906 markings, 177126716 edges, 23148 markings/sec, 1625 secs 50 tries, 49240951 fired transitions, 1630 secs || 39532697 markings, 177763632 edges, 22758 markings/sec, 1630 secs 50 tries, 49390681 fired transitions, 1635 secs || 39645082 markings, 178406926 edges, 22477 markings/sec, 1635 secs 50 tries, 49539937 fired transitions, 1640 secs || 39761037 markings, 178978302 edges, 23191 markings/sec, 1640 secs 50 tries, 49687162 fired transitions, 1645 secs || 39887629 markings, 179373978 edges, 25318 markings/sec, 1645 secs 50 tries, 49834093 fired transitions, 1650 secs || 40013446 markings, 179783363 edges, 25163 markings/sec, 1650 secs 50 tries, 49981640 fired transitions, 1655 secs || 40138386 markings, 180205167 edges, 24988 markings/sec, 1655 secs 51 tries, 50129118 fired transitions, 1660 secs || 40261754 markings, 180622716 edges, 24674 markings/sec, 1660 secs 51 tries, 50276559 fired transitions, 1665 secs || 40385535 markings, 181022832 edges, 24756 markings/sec, 1665 secs 51 tries, 50424316 fired transitions, 1670 secs || 40508215 markings, 181444846 edges, 24536 markings/sec, 1670 secs 51 tries, 50572151 fired transitions, 1675 secs || 40629694 markings, 181890641 edges, 24296 markings/sec, 1675 secs 51 tries, 50720514 fired transitions, 1680 secs || 40750016 markings, 182354899 edges, 24064 markings/sec, 1680 secs 51 tries, 50868815 fired transitions, 1685 secs || 40870614 markings, 182816779 edges, 24120 markings/sec, 1685 secs 52 tries, 51017048 fired transitions, 1690 secs || 40990534 markings, 183327429 edges, 23984 markings/sec, 1690 secs 52 tries, 51166447 fired transitions, 1695 secs || 41110253 markings, 183852510 edges, 23944 markings/sec, 1695 secs 52 tries, 51316123 fired transitions, 1700 secs || 41229819 markings, 184376797 edges, 23913 markings/sec, 1700 secs 52 tries, 51465981 fired transitions, 1705 secs || 41348364 markings, 184920727 edges, 23709 markings/sec, 1705 secs 52 tries, 51616265 fired transitions, 1710 secs || 41465774 markings, 185410154 edges, 23482 markings/sec, 1710 secs 52 tries, 51766169 fired transitions, 1715 secs || 41584291 markings, 185919562 edges, 23703 markings/sec, 1715 secs 52 tries, 51915290 fired transitions, 1720 secs || 41701265 markings, 186438527 edges, 23395 markings/sec, 1720 secs 53 tries, 52062864 fired transitions, 1725 secs || 41820815 markings, 186967831 edges, 23910 markings/sec, 1725 secs 53 tries, 52209827 fired transitions, 1730 secs || 41941951 markings, 187441231 edges, 24227 markings/sec, 1730 secs 53 tries, 52356628 fired transitions, 1735 secs || 42062077 markings, 187980950 edges, 24025 markings/sec, 1735 secs 53 tries, 52503293 fired transitions, 1740 secs || 42183183 markings, 188521890 edges, 24221 markings/sec, 1740 secs 53 tries, 52655504 fired transitions, 1745 secs || 42308916 markings, 189047967 edges, 25147 markings/sec, 1745 secs 53 tries, 52802101 fired transitions, 1750 secs || 42428789 markings, 189609481 edges, 23975 markings/sec, 1750 secs 53 tries, 52948443 fired transitions, 1755 secs || 42550591 markings, 190136136 edges, 24360 markings/sec, 1755 secs 54 tries, 53095011 fired transitions, 1760 secs || 42672169 markings, 190652776 edges, 24316 markings/sec, 1760 secs 54 tries, 53242347 fired transitions, 1765 secs || 42790614 markings, 191205225 edges, 23689 markings/sec, 1765 secs 54 tries, 53389581 fired transitions, 1770 secs || 42910465 markings, 191714851 edges, 23970 markings/sec, 1770 secs 54 tries, 53536473 fired transitions, 1775 secs || 43030744 markings, 192244355 edges, 24056 markings/sec, 1775 secs 54 tries, 53683495 fired transitions, 1780 secs || 43150984 markings, 192789503 edges, 24048 markings/sec, 1780 secs 54 tries, 53829392 fired transitions, 1785 secs || 43275243 markings, 193244288 edges, 24852 markings/sec, 1785 secs 54 tries, 53975269 fired transitions, 1790 secs || 43399272 markings, 193691180 edges, 24806 markings/sec, 1790 secs 55 tries, 54122681 fired transitions, 1795 secs || 43521510 markings, 194157619 edges, 24448 markings/sec, 1795 secs 55 tries, 54270402 fired transitions, 1800 secs || 43642852 markings, 194652166 edges, 24268 markings/sec, 1800 secs 55 tries, 54424207 fired transitions, 1805 secs || 43765049 markings, 195179551 edges, 24439 markings/sec, 1805 secs 55 tries, 54579428 fired transitions, 1810 secs || 43887615 markings, 195713325 edges, 24513 markings/sec, 1810 secs 55 tries, 54730232 fired transitions, 1815 secs || 44007364 markings, 196258804 edges, 23950 markings/sec, 1815 secs 55 tries, 54878471 fired transitions, 1820 secs || 44125624 markings, 196775567 edges, 23652 markings/sec, 1820 secs 56 tries, 55027034 fired transitions, 1825 secs || 44241967 markings, 197342885 edges, 23269 markings/sec, 1825 secs 56 tries, 55175422 fired transitions, 1830 secs || 44360826 markings, 197831565 edges, 23772 markings/sec, 1830 secs 56 tries, 55323857 fired transitions, 1835 secs || 44477820 markings, 198366329 edges, 23399 markings/sec, 1835 secs 56 tries, 55472425 fired transitions, 1840 secs || 44594364 markings, 198897775 edges, 23309 markings/sec, 1840 secs 56 tries, 55621391 fired transitions, 1845 secs || 44710554 markings, 199447193 edges, 23238 markings/sec, 1845 secs 56 tries, 55770104 fired transitions, 1850 secs || 44828132 markings, 199982653 edges, 23516 markings/sec, 1850 secs 56 tries, 55919271 fired transitions, 1855 secs || 44945836 markings, 200517019 edges, 23541 markings/sec, 1855 secs 57 tries, 56072402 fired transitions, 1860 secs || 45068649 markings, 201061736 edges, 24563 markings/sec, 1860 secs 57 tries, 56216649 fired transitions, 1865 secs || 45187176 markings, 201612559 edges, 23705 markings/sec, 1865 secs 57 tries, 56367017 fired transitions, 1870 secs || 45303304 markings, 202131941 edges, 23226 markings/sec, 1870 secs 57 tries, 56515389 fired transitions, 1875 secs || 45422444 markings, 202635414 edges, 23828 markings/sec, 1875 secs 57 tries, 56661743 fired transitions, 1880 secs || 45541037 markings, 203199553 edges, 23719 markings/sec, 1880 secs 57 tries, 56808481 fired transitions, 1885 secs || 45658087 markings, 203736292 edges, 23410 markings/sec, 1885 secs 57 tries, 56971723 fired transitions, 1890 secs || 45784964 markings, 204306137 edges, 25375 markings/sec, 1890 secs 58 tries, 57122664 fired transitions, 1895 secs || 45907164 markings, 204899180 edges, 24440 markings/sec, 1895 secs 58 tries, 57266628 fired transitions, 1900 secs || 46029322 markings, 205440980 edges, 24432 markings/sec, 1900 secs 58 tries, 57410964 fired transitions, 1905 secs || 46150367 markings, 205993646 edges, 24209 markings/sec, 1905 secs 58 tries, 57563429 fired transitions, 1910 secs || 46272744 markings, 206570342 edges, 24475 markings/sec, 1910 secs 58 tries, 57714098 fired transitions, 1915 secs || 46394743 markings, 207089548 edges, 24400 markings/sec, 1915 secs 58 tries, 57862070 fired transitions, 1920 secs || 46513039 markings, 207641749 edges, 23659 markings/sec, 1920 secs 59 tries, 58012368 fired transitions, 1925 secs || 46632676 markings, 208209389 edges, 23927 markings/sec, 1925 secs 59 tries, 58165560 fired transitions, 1930 secs || 46753063 markings, 208777456 edges, 24077 markings/sec, 1930 secs 59 tries, 58317157 fired transitions, 1935 secs || 46869747 markings, 209347033 edges, 23337 markings/sec, 1935 secs 59 tries, 58464825 fired transitions, 1940 secs || 46986815 markings, 209932894 edges, 23414 markings/sec, 1940 secs 59 tries, 58612316 fired transitions, 1945 secs || 47104968 markings, 210478361 edges, 23631 markings/sec, 1945 secs 59 tries, 58760606 fired transitions, 1950 secs || 47221073 markings, 211012166 edges, 23221 markings/sec, 1950 secs 59 tries, 58908351 fired transitions, 1955 secs || 47339485 markings, 211546736 edges, 23682 markings/sec, 1955 secs 60 tries, 59056788 fired transitions, 1960 secs || 47456325 markings, 212112845 edges, 23368 markings/sec, 1960 secs 60 tries, 59205630 fired transitions, 1965 secs || 47571712 markings, 212674585 edges, 23077 markings/sec, 1965 secs 60 tries, 59354949 fired transitions, 1970 secs || 47684511 markings, 213235570 edges, 22560 markings/sec, 1970 secs 60 tries, 59508849 fired transitions, 1975 secs || 47802577 markings, 213810579 edges, 23613 markings/sec, 1975 secs 60 tries, 59661958 fired transitions, 1980 secs || 47921453 markings, 214409269 edges, 23775 markings/sec, 1980 secs 60 tries, 59823654 fired transitions, 1985 secs || 48046550 markings, 215017743 edges, 25019 markings/sec, 1985 secs 60 tries, 59970581 fired transitions, 1990 secs || 48170617 markings, 215434494 edges, 24813 markings/sec, 1990 secs 61 tries, 60116228 fired transitions, 1995 secs || 48294393 markings, 215896585 edges, 24755 markings/sec, 1995 secs 61 tries, 60261224 fired transitions, 2000 secs || 48419258 markings, 216337426 edges, 24973 markings/sec, 2000 secs 61 tries, 60406424 fired transitions, 2005 secs || 48542688 markings, 216808212 edges, 24686 markings/sec, 2005 secs 61 tries, 60551598 fired transitions, 2010 secs || 48666596 markings, 217253024 edges, 24782 markings/sec, 2010 secs 61 tries, 60707589 fired transitions, 2015 secs || 48797546 markings, 217722675 edges, 26190 markings/sec, 2015 secs 61 tries, 60865147 fired transitions, 2020 secs || 48928667 markings, 218221049 edges, 26224 markings/sec, 2020 secs 62 tries, 61022155 fired transitions, 2025 secs || 49058480 markings, 218736534 edges, 25963 markings/sec, 2025 secs 62 tries, 61168478 fired transitions, 2030 secs || 49178673 markings, 219233848 edges, 24039 markings/sec, 2030 secs 62 tries, 61319416 fired transitions, 2035 secs || 49303158 markings, 219756452 edges, 24897 markings/sec, 2035 secs 62 tries, 61466766 fired transitions, 2040 secs || 49418003 markings, 220329507 edges, 22969 markings/sec, 2040 secs 62 tries, 61613902 fired transitions, 2045 secs || 49537877 markings, 220883171 edges, 23975 markings/sec, 2045 secs 62 tries, 61761542 fired transitions, 2050 secs || 49657877 markings, 221422344 edges, 24000 markings/sec, 2050 secs 62 tries, 61920236 fired transitions, 2055 secs || 49782901 markings, 221960107 edges, 25005 markings/sec, 2055 secs 63 tries, 62066854 fired transitions, 2060 secs || 49901222 markings, 222493358 edges, 23664 markings/sec, 2060 secs 63 tries, 62214177 fired transitions, 2065 secs || 50019012 markings, 223056485 edges, 23558 markings/sec, 2065 secs 63 tries, 62361610 fired transitions, 2070 secs || 50137111 markings, 223602321 edges, 23620 markings/sec, 2070 secs 63 tries, 62508821 fired transitions, 2075 secs || 50255249 markings, 224121319 edges, 23628 markings/sec, 2075 secs 63 tries, 62656429 fired transitions, 2080 secs || 50370371 markings, 224668889 edges, 23024 markings/sec, 2080 secs 63 tries, 62811009 fired transitions, 2085 secs || 50491491 markings, 225233392 edges, 24224 markings/sec, 2085 secs 63 tries, 62973672 fired transitions, 2090 secs || 50620724 markings, 225759990 edges, 25847 markings/sec, 2090 secs 64 tries, 63136848 fired transitions, 2095 secs || 50747843 markings, 226370096 edges, 25424 markings/sec, 2095 secs 64 tries, 63299843 fired transitions, 2100 secs || 50876078 markings, 226991296 edges, 25647 markings/sec, 2100 secs 64 tries, 63462999 fired transitions, 2105 secs || 51002859 markings, 227587753 edges, 25356 markings/sec, 2105 secs 64 tries, 63626074 fired transitions, 2110 secs || 51130977 markings, 228204360 edges, 25624 markings/sec, 2110 secs 64 tries, 63789201 fired transitions, 2115 secs || 51258008 markings, 228803265 edges, 25406 markings/sec, 2115 secs 64 tries, 63949135 fired transitions, 2120 secs || 51383355 markings, 229359270 edges, 25069 markings/sec, 2120 secs 65 tries, 64110420 fired transitions, 2125 secs || 51509316 markings, 229957400 edges, 25192 markings/sec, 2125 secs 65 tries, 64272393 fired transitions, 2130 secs || 51635030 markings, 230550207 edges, 25143 markings/sec, 2130 secs 65 tries, 64434402 fired transitions, 2135 secs || 51759796 markings, 231176657 edges, 24953 markings/sec, 2135 secs 65 tries, 64583861 fired transitions, 2140 secs || 51876862 markings, 231754333 edges, 23413 markings/sec, 2140 secs 65 tries, 64734442 fired transitions, 2145 secs || 51995669 markings, 232344876 edges, 23761 markings/sec, 2145 secs 65 tries, 64889258 fired transitions, 2150 secs || 52117629 markings, 232932761 edges, 24392 markings/sec, 2150 secs 66 tries, 65037390 fired transitions, 2155 secs || 52225930 markings, 233487740 edges, 21660 markings/sec, 2155 secs 66 tries, 65181106 fired transitions, 2160 secs || 52337467 markings, 234022053 edges, 22307 markings/sec, 2160 secs 66 tries, 65323447 fired transitions, 2165 secs || 52453736 markings, 234526112 edges, 23254 markings/sec, 2165 secs 66 tries, 65467534 fired transitions, 2170 secs || 52572143 markings, 235009334 edges, 23681 markings/sec, 2170 secs 66 tries, 65616647 fired transitions, 2175 secs || 52693102 markings, 235517007 edges, 24192 markings/sec, 2175 secs 66 tries, 65760022 fired transitions, 2180 secs || 52809161 markings, 236076201 edges, 23212 markings/sec, 2180 secs 66 tries, 65902561 fired transitions, 2185 secs || 52923451 markings, 236624752 edges, 22858 markings/sec, 2185 secs 67 tries, 66046517 fired transitions, 2190 secs || 53038207 markings, 237161585 edges, 22951 markings/sec, 2190 secs 67 tries, 66193583 fired transitions, 2195 secs || 53151054 markings, 237713860 edges, 22569 markings/sec, 2195 secs 67 tries, 66340637 fired transitions, 2200 secs || 53266553 markings, 238186327 edges, 23100 markings/sec, 2200 secs 67 tries, 66487900 fired transitions, 2205 secs || 53379517 markings, 238711065 edges, 22593 markings/sec, 2205 secs 67 tries, 66638782 fired transitions, 2210 secs || 53494355 markings, 239273989 edges, 22968 markings/sec, 2210 secs 67 tries, 66786222 fired transitions, 2215 secs || 53609083 markings, 239795381 edges, 22946 markings/sec, 2215 secs 67 tries, 66936532 fired transitions, 2220 secs || 53724712 markings, 240321584 edges, 23126 markings/sec, 2220 secs 68 tries, 67084001 fired transitions, 2225 secs || 53839213 markings, 240847078 edges, 22900 markings/sec, 2225 secs 68 tries, 67232718 fired transitions, 2230 secs || 53953817 markings, 241357089 edges, 22921 markings/sec, 2230 secs 68 tries, 67381977 fired transitions, 2235 secs || 54062174 markings, 241901336 edges, 21671 markings/sec, 2235 secs 68 tries, 67539372 fired transitions, 2240 secs || 54181027 markings, 242486419 edges, 23771 markings/sec, 2240 secs 68 tries, 67686925 fired transitions, 2245 secs || 54294460 markings, 243017398 edges, 22687 markings/sec, 2245 secs 68 tries, 67835547 fired transitions, 2250 secs || 54407795 markings, 243539839 edges, 22667 markings/sec, 2250 secs 68 tries, 67983053 fired transitions, 2255 secs || 54524114 markings, 244103122 edges, 23264 markings/sec, 2255 secs 69 tries, 68131960 fired transitions, 2260 secs || 54643798 markings, 244679843 edges, 23937 markings/sec, 2260 secs 69 tries, 68280394 fired transitions, 2265 secs || 54761627 markings, 245273922 edges, 23566 markings/sec, 2265 secs 69 tries, 68428907 fired transitions, 2270 secs || 54880284 markings, 245849993 edges, 23731 markings/sec, 2270 secs 69 tries, 68573336 fired transitions, 2275 secs || 54995869 markings, 246417563 edges, 23117 markings/sec, 2275 secs 69 tries, 68718455 fired transitions, 2280 secs || 55109350 markings, 246993810 edges, 22696 markings/sec, 2280 secs 69 tries, 68864115 fired transitions, 2285 secs || 55223523 markings, 247559170 edges, 22835 markings/sec, 2285 secs 70 tries, 69013831 fired transitions, 2290 secs || 55341072 markings, 248162356 edges, 23510 markings/sec, 2290 secs 70 tries, 69158481 fired transitions, 2295 secs || 55455571 markings, 248738258 edges, 22900 markings/sec, 2295 secs 70 tries, 69309245 fired transitions, 2300 secs || 55573651 markings, 249372454 edges, 23616 markings/sec, 2300 secs 70 tries, 69465197 fired transitions, 2305 secs || 55695791 markings, 250006083 edges, 24428 markings/sec, 2305 secs 70 tries, 69611422 fired transitions, 2310 secs || 55808922 markings, 250580219 edges, 22626 markings/sec, 2310 secs 70 tries, 69767730 fired transitions, 2315 secs || 55930054 markings, 251169847 edges, 24226 markings/sec, 2315 secs 70 tries, 69924443 fired transitions, 2320 secs || 56052298 markings, 251756595 edges, 24449 markings/sec, 2320 secs 71 tries, 70069355 fired transitions, 2325 secs || 56162533 markings, 252312163 edges, 22047 markings/sec, 2325 secs 71 tries, 70213200 fired transitions, 2330 secs || 56273467 markings, 252879928 edges, 22187 markings/sec, 2330 secs 71 tries, 70357241 fired transitions, 2335 secs || 56383927 markings, 253403103 edges, 22092 markings/sec, 2335 secs 71 tries, 70503292 fired transitions, 2340 secs || 56500699 markings, 253935641 edges, 23354 markings/sec, 2340 secs 71 tries, 70646402 fired transitions, 2345 secs || 56613244 markings, 254481203 edges, 22509 markings/sec, 2345 secs 71 tries, 70798474 fired transitions, 2350 secs || 56730182 markings, 255048757 edges, 23388 markings/sec, 2350 secs 71 tries, 70939292 fired transitions, 2355 secs || 56843583 markings, 255568618 edges, 22680 markings/sec, 2355 secs 72 tries, 71086260 fired transitions, 2360 secs || 56954595 markings, 256142849 edges, 22202 markings/sec, 2360 secs 72 tries, 71245733 fired transitions, 2365 secs || 57076641 markings, 256763456 edges, 24409 markings/sec, 2365 secs 72 tries, 71405363 fired transitions, 2370 secs || 57200536 markings, 257375989 edges, 24779 markings/sec, 2370 secs 72 tries, 71565376 fired transitions, 2375 secs || 57321505 markings, 257980980 edges, 24194 markings/sec, 2375 secs 72 tries, 71725407 fired transitions, 2380 secs || 57441997 markings, 258590867 edges, 24098 markings/sec, 2380 secs 72 tries, 71885165 fired transitions, 2385 secs || 57565079 markings, 259212076 edges, 24616 markings/sec, 2385 secs 73 tries, 72043687 fired transitions, 2390 secs || 57690914 markings, 259815323 edges, 25167 markings/sec, 2390 secs 73 tries, 72199496 fired transitions, 2395 secs || 57816985 markings, 260413717 edges, 25214 markings/sec, 2395 secs 73 tries, 72355435 fired transitions, 2400 secs || 57940968 markings, 261035403 edges, 24797 markings/sec, 2400 secs 73 tries, 72505561 fired transitions, 2405 secs || 58063630 markings, 261622674 edges, 24532 markings/sec, 2405 secs 73 tries, 72648808 fired transitions, 2410 secs || 58177353 markings, 262196919 edges, 22745 markings/sec, 2410 secs 73 tries, 72795563 fired transitions, 2415 secs || 58295936 markings, 262767971 edges, 23717 markings/sec, 2415 secs 73 tries, 72946545 fired transitions, 2420 secs || 58417126 markings, 263362335 edges, 24238 markings/sec, 2420 secs 74 tries, 73095272 fired transitions, 2425 secs || 58529604 markings, 263940532 edges, 22496 markings/sec, 2425 secs 74 tries, 73241458 fired transitions, 2430 secs || 58644191 markings, 264490962 edges, 22917 markings/sec, 2430 secs 74 tries, 73398439 fired transitions, 2435 secs || 58766438 markings, 265106741 edges, 24449 markings/sec, 2435 secs 74 tries, 73544545 fired transitions, 2440 secs || 58877839 markings, 265679430 edges, 22280 markings/sec, 2440 secs 74 tries, 73693761 fired transitions, 2445 secs || 58990907 markings, 266253301 edges, 22614 markings/sec, 2445 secs 74 tries, 73848712 fired transitions, 2450 secs || 59113177 markings, 266825906 edges, 24454 markings/sec, 2450 secs 74 tries, 73994102 fired transitions, 2455 secs || 59229011 markings, 267387141 edges, 23167 markings/sec, 2455 secs 75 tries, 74196014 fired transitions, 2460 secs || 59338242 markings, 267989265 edges, 21846 markings/sec, 2460 secs 75 tries, 74418469 fired transitions, 2465 secs || 59469493 markings, 268523459 edges, 26250 markings/sec, 2465 secs 75 tries, 74619643 fired transitions, 2470 secs || 59584289 markings, 269004983 edges, 22959 markings/sec, 2470 secs 75 tries, 74833241 fired transitions, 2475 secs || 59707851 markings, 269512587 edges, 24712 markings/sec, 2475 secs 76 tries, 75024997 fired transitions, 2480 secs || 59823920 markings, 270013601 edges, 23214 markings/sec, 2480 secs 76 tries, 75168775 fired transitions, 2485 secs || 59943790 markings, 270527265 edges, 23974 markings/sec, 2485 secs 76 tries, 75312849 fired transitions, 2490 secs || 60063963 markings, 271043736 edges, 24035 markings/sec, 2490 secs 76 tries, 75469161 fired transitions, 2495 secs || 60191204 markings, 271632643 edges, 25448 markings/sec, 2495 secs 76 tries, 75613676 fired transitions, 2500 secs || 60307761 markings, 272229085 edges, 23311 markings/sec, 2500 secs 76 tries, 75758946 fired transitions, 2505 secs || 60424782 markings, 272823936 edges, 23404 markings/sec, 2505 secs 76 tries, 75903417 fired transitions, 2510 secs || 60541132 markings, 273420432 edges, 23270 markings/sec, 2510 secs 77 tries, 76049337 fired transitions, 2515 secs || 60658247 markings, 274020468 edges, 23423 markings/sec, 2515 secs 77 tries, 76198371 fired transitions, 2520 secs || 60777556 markings, 274630193 edges, 23862 markings/sec, 2520 secs 77 tries, 76353214 fired transitions, 2525 secs || 60900268 markings, 275259890 edges, 24542 markings/sec, 2525 secs 77 tries, 76496480 fired transitions, 2530 secs || 61016122 markings, 275812294 edges, 23171 markings/sec, 2530 secs 77 tries, 76643836 fired transitions, 2535 secs || 61133862 markings, 276381685 edges, 23548 markings/sec, 2535 secs 77 tries, 76787566 fired transitions, 2540 secs || 61250359 markings, 276951940 edges, 23299 markings/sec, 2540 secs 77 tries, 76930576 fired transitions, 2545 secs || 61377026 markings, 277481068 edges, 25333 markings/sec, 2545 secs 78 tries, 77080798 fired transitions, 2550 secs || 61498858 markings, 278017553 edges, 24366 markings/sec, 2550 secs 78 tries, 77242515 fired transitions, 2555 secs || 61626727 markings, 278592229 edges, 25574 markings/sec, 2555 secs 78 tries, 77369253 fired transitions, 2560 secs || 61743215 markings, 279139634 edges, 23298 markings/sec, 2560 secs 78 tries, 77524546 fired transitions, 2565 secs || 61863713 markings, 279749756 edges, 24100 markings/sec, 2565 secs 78 tries, 77669627 fired transitions, 2570 secs || 61977233 markings, 280331732 edges, 22704 markings/sec, 2570 secs 78 tries, 77831869 fired transitions, 2575 secs || 62102927 markings, 280975683 edges, 25139 markings/sec, 2575 secs 78 tries, 77979199 fired transitions, 2580 secs || 62216285 markings, 281565238 edges, 22672 markings/sec, 2580 secs 79 tries, 78126615 fired transitions, 2585 secs || 62334014 markings, 282116793 edges, 23546 markings/sec, 2585 secs 79 tries, 78273129 fired transitions, 2590 secs || 62449964 markings, 282688138 edges, 23190 markings/sec, 2590 secs 79 tries, 78431653 fired transitions, 2595 secs || 62575147 markings, 283290478 edges, 25037 markings/sec, 2595 secs 79 tries, 78579193 fired transitions, 2600 secs || 62689867 markings, 283898383 edges, 22944 markings/sec, 2600 secs 79 tries, 78730221 fired transitions, 2605 secs || 62806059 markings, 284501681 edges, 23238 markings/sec, 2605 secs 79 tries, 78878297 fired transitions, 2610 secs || 62921081 markings, 285054093 edges, 23004 markings/sec, 2610 secs 80 tries, 79026312 fired transitions, 2615 secs || 63033727 markings, 285628078 edges, 22529 markings/sec, 2615 secs 80 tries, 79172076 fired transitions, 2620 secs || 63147210 markings, 286182900 edges, 22697 markings/sec, 2620 secs 80 tries, 79317927 fired transitions, 2625 secs || 63259989 markings, 286756089 edges, 22556 markings/sec, 2625 secs 80 tries, 79462862 fired transitions, 2630 secs || 63378687 markings, 287231850 edges, 23740 markings/sec, 2630 secs 80 tries, 79607888 fired transitions, 2635 secs || 63496253 markings, 287727773 edges, 23513 markings/sec, 2635 secs 80 tries, 79752777 fired transitions, 2640 secs || 63614390 markings, 288220908 edges, 23627 markings/sec, 2640 secs 80 tries, 79897745 fired transitions, 2645 secs || 63731160 markings, 288723017 edges, 23354 markings/sec, 2645 secs 81 tries, 80041286 fired transitions, 2650 secs || 63849356 markings, 289245496 edges, 23639 markings/sec, 2650 secs 81 tries, 80182596 fired transitions, 2655 secs || 63966838 markings, 289758478 edges, 23496 markings/sec, 2655 secs 81 tries, 80324083 fired transitions, 2660 secs || 64084781 markings, 290281053 edges, 23589 markings/sec, 2660 secs 81 tries, 80466911 fired transitions, 2665 secs || 64200022 markings, 290860745 edges, 23048 markings/sec, 2665 secs 81 tries, 80610042 fired transitions, 2670 secs || 64314760 markings, 291446430 edges, 22948 markings/sec, 2670 secs 81 tries, 80761137 fired transitions, 2675 secs || 64436299 markings, 292066364 edges, 24308 markings/sec, 2675 secs 81 tries, 80903310 fired transitions, 2680 secs || 64550336 markings, 292667848 edges, 22807 markings/sec, 2680 secs 82 tries, 81046331 fired transitions, 2685 secs || 64664565 markings, 293262003 edges, 22846 markings/sec, 2685 secs 82 tries, 81199917 fired transitions, 2690 secs || 64784721 markings, 293886264 edges, 24031 markings/sec, 2690 secs 82 tries, 81345709 fired transitions, 2695 secs || 64899057 markings, 294472311 edges, 22867 markings/sec, 2695 secs 82 tries, 81490824 fired transitions, 2700 secs || 65012388 markings, 295038456 edges, 22666 markings/sec, 2700 secs 82 tries, 81636186 fired transitions, 2705 secs || 65126585 markings, 295613843 edges, 22839 markings/sec, 2705 secs 82 tries, 81786805 fired transitions, 2710 secs || 65245989 markings, 296216404 edges, 23881 markings/sec, 2710 secs 82 tries, 81939301 fired transitions, 2715 secs || 65360849 markings, 296875642 edges, 22972 markings/sec, 2715 secs 83 tries, 82087809 fired transitions, 2720 secs || 65472437 markings, 297530381 edges, 22318 markings/sec, 2720 secs 83 tries, 82238984 fired transitions, 2725 secs || 65596158 markings, 298069742 edges, 24744 markings/sec, 2725 secs 83 tries, 82381157 fired transitions, 2730 secs || 65712634 markings, 298591004 edges, 23295 markings/sec, 2730 secs 83 tries, 82525401 fired transitions, 2735 secs || 65825570 markings, 299181746 edges, 22587 markings/sec, 2735 secs 83 tries, 82670151 fired transitions, 2740 secs || 65940543 markings, 299766556 edges, 22995 markings/sec, 2740 secs 83 tries, 82813443 fired transitions, 2745 secs || 66056321 markings, 300325525 edges, 23156 markings/sec, 2745 secs 83 tries, 82956187 fired transitions, 2750 secs || 66172991 markings, 300871480 edges, 23334 markings/sec, 2750 secs 84 tries, 83106072 fired transitions, 2755 secs || 66291671 markings, 301457191 edges, 23736 markings/sec, 2755 secs 84 tries, 83251858 fired transitions, 2760 secs || 66408256 markings, 302073871 edges, 23317 markings/sec, 2760 secs 84 tries, 83380801 fired transitions, 2765 secs || 66524070 markings, 302650312 edges, 23163 markings/sec, 2765 secs 84 tries, 83525264 fired transitions, 2770 secs || 66639574 markings, 303245178 edges, 23101 markings/sec, 2770 secs 84 tries, 83669831 fired transitions, 2775 secs || 66752282 markings, 303863179 edges, 22542 markings/sec, 2775 secs 84 tries, 83813707 fired transitions, 2780 secs || 66868159 markings, 304389661 edges, 23175 markings/sec, 2780 secs 84 tries, 83968336 fired transitions, 2785 secs || 66991212 markings, 305040754 edges, 24611 markings/sec, 2785 secs 85 tries, 84113602 fired transitions, 2790 secs || 67103017 markings, 305651822 edges, 22361 markings/sec, 2790 secs 85 tries, 84262669 fired transitions, 2795 secs || 67215488 markings, 306230025 edges, 22494 markings/sec, 2795 secs 85 tries, 84409312 fired transitions, 2800 secs || 67326410 markings, 306796062 edges, 22184 markings/sec, 2800 secs 85 tries, 84560842 fired transitions, 2805 secs || 67446238 markings, 307348599 edges, 23966 markings/sec, 2805 secs 85 tries, 84711137 fired transitions, 2810 secs || 67563949 markings, 307923678 edges, 23542 markings/sec, 2810 secs 85 tries, 84867504 fired transitions, 2815 secs || 67686967 markings, 308518990 edges, 24604 markings/sec, 2815 secs 86 tries, 85015613 fired transitions, 2820 secs || 67802904 markings, 309084638 edges, 23187 markings/sec, 2820 secs 86 tries, 85175128 fired transitions, 2825 secs || 67927282 markings, 309721798 edges, 24876 markings/sec, 2825 secs 86 tries, 85334467 fired transitions, 2830 secs || 68050699 markings, 310389945 edges, 24683 markings/sec, 2830 secs 86 tries, 85492879 fired transitions, 2835 secs || 68172490 markings, 311062911 edges, 24358 markings/sec, 2835 secs 86 tries, 85651671 fired transitions, 2840 secs || 68294429 markings, 311730598 edges, 24388 markings/sec, 2840 secs 86 tries, 85809577 fired transitions, 2845 secs || 68419503 markings, 312378427 edges, 25015 markings/sec, 2845 secs 86 tries, 85969009 fired transitions, 2850 secs || 68543029 markings, 313062486 edges, 24705 markings/sec, 2850 secs 87 tries, 86126939 fired transitions, 2855 secs || 68668929 markings, 313676660 edges, 25180 markings/sec, 2855 secs 87 tries, 86285031 fired transitions, 2860 secs || 68790632 markings, 314360329 edges, 24341 markings/sec, 2860 secs 87 tries, 86444600 fired transitions, 2865 secs || 68913953 markings, 315055585 edges, 24664 markings/sec, 2865 secs 87 tries, 86610212 fired transitions, 2870 secs || 69044350 markings, 315751813 edges, 26079 markings/sec, 2870 secs 87 tries, 86773036 fired transitions, 2875 secs || 69169413 markings, 316504636 edges, 25013 markings/sec, 2875 secs 87 tries, 86936025 fired transitions, 2880 secs || 69295922 markings, 317170392 edges, 25302 markings/sec, 2880 secs 88 tries, 87085670 fired transitions, 2885 secs || 69427392 markings, 317694896 edges, 26294 markings/sec, 2885 secs 88 tries, 87233024 fired transitions, 2890 secs || 69543254 markings, 318191194 edges, 23172 markings/sec, 2890 secs 88 tries, 87380675 fired transitions, 2895 secs || 69659891 markings, 318691664 edges, 23327 markings/sec, 2895 secs 88 tries, 87530834 fired transitions, 2900 secs || 69778482 markings, 319204848 edges, 23718 markings/sec, 2900 secs 88 tries, 87681790 fired transitions, 2905 secs || 69899184 markings, 319769507 edges, 24140 markings/sec, 2905 secs 88 tries, 87834530 fired transitions, 2910 secs || 70020504 markings, 320360732 edges, 24264 markings/sec, 2910 secs 88 tries, 87998838 fired transitions, 2915 secs || 70147800 markings, 321006959 edges, 25459 markings/sec, 2915 secs 89 tries, 88164944 fired transitions, 2920 secs || 70271951 markings, 321655982 edges, 24830 markings/sec, 2920 secs 89 tries, 88330356 fired transitions, 2925 secs || 70394256 markings, 322319694 edges, 24461 markings/sec, 2925 secs 89 tries, 88492365 fired transitions, 2930 secs || 70519378 markings, 322946202 edges, 25024 markings/sec, 2930 secs 89 tries, 88654541 fired transitions, 2935 secs || 70642724 markings, 323567107 edges, 24669 markings/sec, 2935 secs 89 tries, 88816923 fired transitions, 2940 secs || 70764666 markings, 324204342 edges, 24388 markings/sec, 2940 secs 89 tries, 88980110 fired transitions, 2945 secs || 70888378 markings, 324843756 edges, 24742 markings/sec, 2945 secs 90 tries, 89140450 fired transitions, 2950 secs || 71011863 markings, 325480260 edges, 24697 markings/sec, 2950 secs 90 tries, 89299428 fired transitions, 2955 secs || 71141355 markings, 326081419 edges, 25898 markings/sec, 2955 secs 90 tries, 89458582 fired transitions, 2960 secs || 71271395 markings, 326690283 edges, 26008 markings/sec, 2960 secs 90 tries, 89617952 fired transitions, 2965 secs || 71398417 markings, 327319423 edges, 25404 markings/sec, 2965 secs 90 tries, 89778059 fired transitions, 2970 secs || 71514624 markings, 327879413 edges, 23241 markings/sec, 2970 secs 90 tries, 89929628 fired transitions, 2975 secs || 71631164 markings, 328445601 edges, 23308 markings/sec, 2975 secs 91 tries, 90078846 fired transitions, 2980 secs || 71746512 markings, 329005541 edges, 23070 markings/sec, 2980 secs 91 tries, 90227830 fired transitions, 2985 secs || 71862076 markings, 329556255 edges, 23113 markings/sec, 2985 secs 91 tries, 90384604 fired transitions, 2990 secs || 71984092 markings, 330144142 edges, 24403 markings/sec, 2990 secs 91 tries, 90532362 fired transitions, 2995 secs || 72106809 markings, 330685465 edges, 24543 markings/sec, 2995 secs 91 tries, 90682011 fired transitions, 3000 secs || 72221626 markings, 331282573 edges, 22963 markings/sec, 3000 secs 91 tries, 90831430 fired transitions, 3005 secs || 72334754 markings, 331884258 edges, 22626 markings/sec, 3005 secs 91 tries, 90980484 fired transitions, 3010 secs || 72449969 markings, 332483430 edges, 23043 markings/sec, 3010 secs 92 tries, 91131202 fired transitions, 3015 secs || 72561395 markings, 333083616 edges, 22285 markings/sec, 3015 secs 92 tries, 91281172 fired transitions, 3020 secs || 72675188 markings, 333718999 edges, 22759 markings/sec, 3020 secs 92 tries, 91441068 fired transitions, 3025 secs || 72796780 markings, 334421455 edges, 24318 markings/sec, 3025 secs 92 tries, 91595487 fired transitions, 3030 secs || 72913029 markings, 335104897 edges, 23250 markings/sec, 3030 secs 92 tries, 91757152 fired transitions, 3035 secs || 73036481 markings, 335781047 edges, 24690 markings/sec, 3035 secs 92 tries, 91910791 fired transitions, 3040 secs || 73155884 markings, 336388627 edges, 23881 markings/sec, 3040 secs 93 tries, 92060249 fired transitions, 3045 secs || 73270979 markings, 337006707 edges, 23019 markings/sec, 3045 secs 93 tries, 92210200 fired transitions, 3050 secs || 73388814 markings, 337615931 edges, 23567 markings/sec, 3050 secs 93 tries, 92359587 fired transitions, 3055 secs || 73503756 markings, 338213732 edges, 22988 markings/sec, 3055 secs 93 tries, 92511880 fired transitions, 3060 secs || 73621018 markings, 338817912 edges, 23452 markings/sec, 3060 secs 93 tries, 92660969 fired transitions, 3065 secs || 73734709 markings, 339405670 edges, 22738 markings/sec, 3065 secs 93 tries, 92810105 fired transitions, 3070 secs || 73854249 markings, 339952457 edges, 23908 markings/sec, 3070 secs 93 tries, 92964492 fired transitions, 3075 secs || 73972293 markings, 340561771 edges, 23609 markings/sec, 3075 secs 94 tries, 93113124 fired transitions, 3080 secs || 74086994 markings, 341155016 edges, 22940 markings/sec, 3080 secs 94 tries, 93261132 fired transitions, 3085 secs || 74201350 markings, 341789405 edges, 22871 markings/sec, 3085 secs 94 tries, 93408777 fired transitions, 3090 secs || 74315769 markings, 342395379 edges, 22884 markings/sec, 3090 secs 94 tries, 93555951 fired transitions, 3095 secs || 74429160 markings, 343044490 edges, 22678 markings/sec, 3095 secs 94 tries, 93705659 fired transitions, 3100 secs || 74539800 markings, 343713341 edges, 22128 markings/sec, 3100 secs 94 tries, 93854957 fired transitions, 3105 secs || 74649025 markings, 344328310 edges, 21845 markings/sec, 3105 secs 95 tries, 94001386 fired transitions, 3110 secs || 74759693 markings, 344918126 edges, 22134 markings/sec, 3110 secs 95 tries, 94150586 fired transitions, 3115 secs || 74870213 markings, 345508997 edges, 22104 markings/sec, 3115 secs 95 tries, 94299742 fired transitions, 3120 secs || 74983585 markings, 346089116 edges, 22674 markings/sec, 3120 secs 95 tries, 94448899 fired transitions, 3125 secs || 75096692 markings, 346675792 edges, 22621 markings/sec, 3125 secs 95 tries, 94601161 fired transitions, 3130 secs || 75210982 markings, 347277932 edges, 22858 markings/sec, 3130 secs 95 tries, 94751013 fired transitions, 3135 secs || 75326057 markings, 347895542 edges, 23015 markings/sec, 3135 secs 95 tries, 94901856 fired transitions, 3140 secs || 75440365 markings, 348510761 edges, 22862 markings/sec, 3140 secs 96 tries, 95052476 fired transitions, 3145 secs || 75553836 markings, 349148317 edges, 22694 markings/sec, 3145 secs 96 tries, 95202349 fired transitions, 3150 secs || 75668353 markings, 349724421 edges, 22903 markings/sec, 3150 secs 96 tries, 95346656 fired transitions, 3155 secs || 75781045 markings, 350366789 edges, 22538 markings/sec, 3155 secs 96 tries, 95496679 fired transitions, 3160 secs || 75894629 markings, 351000029 edges, 22717 markings/sec, 3160 secs 96 tries, 95646745 fired transitions, 3165 secs || 76008082 markings, 351629563 edges, 22691 markings/sec, 3165 secs 96 tries, 95794891 fired transitions, 3170 secs || 76124467 markings, 352211761 edges, 23277 markings/sec, 3170 secs 96 tries, 95950688 fired transitions, 3175 secs || 76244976 markings, 352889895 edges, 24102 markings/sec, 3175 secs 97 tries, 96110597 fired transitions, 3180 secs || 76368658 markings, 353583171 edges, 24736 markings/sec, 3180 secs 97 tries, 96270628 fired transitions, 3185 secs || 76494236 markings, 354227213 edges, 25116 markings/sec, 3185 secs 97 tries, 96430697 fired transitions, 3190 secs || 76619731 markings, 354879975 edges, 25099 markings/sec, 3190 secs 97 tries, 96590863 fired transitions, 3195 secs || 76743949 markings, 355570160 edges, 24844 markings/sec, 3195 secs 97 tries, 96750723 fired transitions, 3200 secs || 76869118 markings, 356240418 edges, 25034 markings/sec, 3200 secs 97 tries, 96910602 fired transitions, 3205 secs || 76992317 markings, 356963121 edges, 24640 markings/sec, 3205 secs 98 tries, 97070559 fired transitions, 3210 secs || 77116050 markings, 357653073 edges, 24747 markings/sec, 3210 secs 98 tries, 97230221 fired transitions, 3215 secs || 77238357 markings, 358372282 edges, 24461 markings/sec, 3215 secs 98 tries, 97389488 fired transitions, 3220 secs || 77364286 markings, 358998244 edges, 25186 markings/sec, 3220 secs 98 tries, 97548763 fired transitions, 3225 secs || 77490393 markings, 359614721 edges, 25221 markings/sec, 3225 secs 98 tries, 97708251 fired transitions, 3230 secs || 77615045 markings, 360255855 edges, 24930 markings/sec, 3230 secs 98 tries, 97867821 fired transitions, 3235 secs || 77739139 markings, 360901717 edges, 24819 markings/sec, 3235 secs 99 tries, 98027083 fired transitions, 3240 secs || 77861894 markings, 361582767 edges, 24551 markings/sec, 3240 secs 99 tries, 98185120 fired transitions, 3245 secs || 77983957 markings, 362297672 edges, 24413 markings/sec, 3245 secs 99 tries, 98343216 fired transitions, 3250 secs || 78105809 markings, 363019309 edges, 24370 markings/sec, 3250 secs 99 tries, 98501405 fired transitions, 3255 secs || 78227762 markings, 363729311 edges, 24391 markings/sec, 3255 secs 99 tries, 98659482 fired transitions, 3260 secs || 78349950 markings, 364433009 edges, 24438 markings/sec, 3260 secs 99 tries, 98817892 fired transitions, 3265 secs || 78471947 markings, 365148465 edges, 24399 markings/sec, 3265 secs 99 tries, 98973582 fired transitions, 3270 secs || 78592565 markings, 365834048 edges, 24124 markings/sec, 3270 secs 100 tries, 99122403 fired transitions, 3275 secs || 78708231 markings, 366474912 edges, 23133 markings/sec, 3275 secs 100 tries, 99271771 fired transitions, 3280 secs || 78824098 markings, 367105514 edges, 23173 markings/sec, 3280 secs 100 tries, 99429317 fired transitions, 3285 secs || 78943894 markings, 367790490 edges, 23959 markings/sec, 3285 secs 100 tries, 99581810 fired transitions, 3290 secs || 79060966 markings, 368446918 edges, 23414 markings/sec, 3290 secs 100 tries, 99731956 fired transitions, 3295 secs || 79175625 markings, 369074963 edges, 22932 markings/sec, 3295 secs 100 tries, 99884058 fired transitions, 3300 secs || 79294394 markings, 369647726 edges, 23754 markings/sec, 3300 secs 101 tries, 100036570 fired transitions, 3305 secs || 79409678 markings, 370286592 edges, 23057 markings/sec, 3305 secs 101 tries, 100186068 fired transitions, 3310 secs || 79521392 markings, 370955451 edges, 22343 markings/sec, 3310 secs 101 tries, 100334526 fired transitions, 3315 secs || 79639162 markings, 371556174 edges, 23554 markings/sec, 3315 secs 101 tries, 100483029 fired transitions, 3320 secs || 79755958 markings, 372141950 edges, 23359 markings/sec, 3320 secs 101 tries, 100641800 fired transitions, 3325 secs || 79879377 markings, 372760508 edges, 24684 markings/sec, 3325 secs 101 tries, 100800900 fired transitions, 3330 secs || 80001498 markings, 373387727 edges, 24424 markings/sec, 3330 secs 101 tries, 100959830 fired transitions, 3335 secs || 80125339 markings, 374009587 edges, 24768 markings/sec, 3335 secs 102 tries, 101110665 fired transitions, 3340 secs || 80241698 markings, 374618974 edges, 23272 markings/sec, 3340 secs 102 tries, 101257180 fired transitions, 3345 secs || 80357623 markings, 375229384 edges, 23185 markings/sec, 3345 secs 102 tries, 101404307 fired transitions, 3350 secs || 80474445 markings, 375828377 edges, 23364 markings/sec, 3350 secs 102 tries, 101563644 fired transitions, 3355 secs || 80598448 markings, 376424957 edges, 24801 markings/sec, 3355 secs 102 tries, 101724594 fired transitions, 3360 secs || 80721627 markings, 377034158 edges, 24636 markings/sec, 3360 secs 102 tries, 101884963 fired transitions, 3365 secs || 80842439 markings, 377659589 edges, 24162 markings/sec, 3365 secs 103 tries, 102044786 fired transitions, 3370 secs || 80962104 markings, 378290969 edges, 23933 markings/sec, 3370 secs 103 tries, 102203147 fired transitions, 3375 secs || 81081221 markings, 378928364 edges, 23823 markings/sec, 3375 secs 103 tries, 102361498 fired transitions, 3380 secs || 81201119 markings, 379571917 edges, 23980 markings/sec, 3380 secs 103 tries, 102520014 fired transitions, 3385 secs || 81320435 markings, 380221290 edges, 23863 markings/sec, 3385 secs 103 tries, 102678342 fired transitions, 3390 secs || 81441184 markings, 380853822 edges, 24150 markings/sec, 3390 secs 103 tries, 102836664 fired transitions, 3395 secs || 81562607 markings, 381471936 edges, 24285 markings/sec, 3395 secs 103 tries, 102995045 fired transitions, 3400 secs || 81684119 markings, 382141362 edges, 24302 markings/sec, 3400 secs 104 tries, 103154839 fired transitions, 3405 secs || 81805424 markings, 382822855 edges, 24261 markings/sec, 3405 secs 104 tries, 103313411 fired transitions, 3410 secs || 81924746 markings, 383501052 edges, 23864 markings/sec, 3410 secs 104 tries, 103471718 fired transitions, 3415 secs || 82043070 markings, 384182594 edges, 23665 markings/sec, 3415 secs 104 tries, 103630028 fired transitions, 3420 secs || 82160134 markings, 384900459 edges, 23413 markings/sec, 3420 secs 104 tries, 103789522 fired transitions, 3425 secs || 82279272 markings, 385620482 edges, 23828 markings/sec, 3425 secs 104 tries, 103949482 fired transitions, 3430 secs || 82402351 markings, 386276175 edges, 24616 markings/sec, 3430 secs 105 tries, 104107362 fired transitions, 3435 secs || 82526354 markings, 386908848 edges, 24801 markings/sec, 3435 secs 105 tries, 104264284 fired transitions, 3440 secs || 82648022 markings, 387559588 edges, 24334 markings/sec, 3440 secs 105 tries, 104421212 fired transitions, 3445 secs || 82769258 markings, 388228059 edges, 24247 markings/sec, 3445 secs 105 tries, 104572445 fired transitions, 3450 secs || 82885518 markings, 388853156 edges, 23252 markings/sec, 3450 secs 105 tries, 104718223 fired transitions, 3455 secs || 83005386 markings, 389394724 edges, 23974 markings/sec, 3455 secs 105 tries, 104863111 fired transitions, 3460 secs || 83132325 markings, 389844413 edges, 25388 markings/sec, 3460 secs 106 tries, 105007977 fired transitions, 3465 secs || 83258881 markings, 390285024 edges, 25311 markings/sec, 3465 secs 106 tries, 105155658 fired transitions, 3470 secs || 83384544 markings, 390733359 edges, 25133 markings/sec, 3470 secs 106 tries, 105303267 fired transitions, 3475 secs || 83508899 markings, 391227231 edges, 24871 markings/sec, 3475 secs 106 tries, 105450827 fired transitions, 3480 secs || 83633564 markings, 391726634 edges, 24933 markings/sec, 3480 secs 106 tries, 105598506 fired transitions, 3485 secs || 83758530 markings, 392197139 edges, 24993 markings/sec, 3485 secs 106 tries, 105746224 fired transitions, 3490 secs || 83882741 markings, 392687762 edges, 24842 markings/sec, 3490 secs 106 tries, 105895589 fired transitions, 3495 secs || 84005062 markings, 393152628 edges, 24464 markings/sec, 3495 secs 107 tries, 106045500 fired transitions, 3500 secs || 84126387 markings, 393606362 edges, 24265 markings/sec, 3500 secs 107 tries, 106189489 fired transitions, 3505 secs || 84246537 markings, 394091861 edges, 24030 markings/sec, 3505 secs 107 tries, 106339515 fired transitions, 3510 secs || 84367426 markings, 394586608 edges, 24178 markings/sec, 3510 secs 107 tries, 106489192 fired transitions, 3515 secs || 84488539 markings, 395050988 edges, 24223 markings/sec, 3515 secs 107 tries, 106638458 fired transitions, 3520 secs || 84611151 markings, 395498236 edges, 24522 markings/sec, 3520 secs 107 tries, 106787941 fired transitions, 3525 secs || 84732958 markings, 395967408 edges, 24361 markings/sec, 3525 secs 107 tries, 106935241 fired transitions, 3530 secs || 84857785 markings, 396406955 edges, 24965 markings/sec, 3530 secs 108 tries, 107083355 fired transitions, 3535 secs || 84984032 markings, 396882811 edges, 25249 markings/sec, 3535 secs 108 tries, 107227911 fired transitions, 3540 secs || 85107737 markings, 397377400 edges, 24741 markings/sec, 3540 secs 108 tries, 107372908 fired transitions, 3545 secs || 85232593 markings, 397869839 edges, 24971 markings/sec, 3545 secs 108 tries, 107518551 fired transitions, 3550 secs || 85357863 markings, 398354446 edges, 25054 markings/sec, 3550 secs 108 tries, 107663429 fired transitions, 3555 secs || 85481887 markings, 398857603 edges, 24805 markings/sec, 3555 secs 108 tries, 107811891 fired transitions, 3560 secs || 85608948 markings, 399362197 edges, 25412 markings/sec, 3560 secs reached - aborting 2883172 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-15ringRRLarge"
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-15ringRRLarge.tgz
mv DNAwalker-PT-15ringRRLarge 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-15ringRRLarge, 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-152649735500328"
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 ;