MCC'2018 - Execution of r064-smll-152649735500307

About the Execution of LoLA for DNAwalker-PT-12ringLLLarge

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
3056.110	3570363.00	7187202.00	6997.50	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Waiting for the VM to
........................
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-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 1526822945574

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

BK_STOP 1526826515937

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

be ready (probing ssh) .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. users 3.0K May 15 18:54 CTLCardinality.txt 16K May 15 18:54 CTLCardinality.xml users 2.5K May 15 18:54 CTLFireability.txt 15K May 15 18:54 CTLFireability.xml users 4.0K May 15 18:50 GenericPropertiesDefinition.xml users 5.6K May 15 18:50 GenericPropertiesVerdict.xml users 2.4K May 15 18:54 LTLCardinality.txt 11K May 15 18:54 LTLCardinality.xml users 2.1K May 15 18:54 LTLFireability.txt 11K May 15 18:54 LTLFireability.xml users 2.9K May 15 18:54 ReachabilityCardinality.txt 13K May 15 18:54 ReachabilityCardinality.xml 117 May 15 18:54 ReachabilityDeadlock.txt 355 May 15 18:54 ReachabilityDeadlock.xml users 3.6K May 15 18:54 ReachabilityFireability.txt 24K 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-12ringLLLarge, examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735500307 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) T-12ringLLLarge-ReachabilityDeadlock-0 of the tool begins =================================================================== DNAwalker-PT-12ringLLLarge Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DNAwalker-PT-12ringLLLarge formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DNAwalker-PT-12ringLLLarge @ 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-12ringLLLarge-ReachabilityDeadlock.task Frontend/Parser/formula_rewrite.k:106 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) simple compression encoder (--encoder=simplecompressed) prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) siphon/trap property is not applicable since the net is inhomogeneous 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 1 tries, 136129 fired transitions, 0 secs || 126900 markings, 360935 edges, 25380 markings/sec, 0 secs 1 tries, 280148 fired transitions, 5 secs || 253321 markings, 787670 edges, 25284 markings/sec, 5 secs 1 tries, 419940 fired transitions, 10 secs || 378342 markings, 1196530 edges, 25004 markings/sec, 10 secs 1 tries, 555285 fired transitions, 15 secs || 505613 markings, 1583264 edges, 25454 markings/sec, 15 secs 1 tries, 703768 fired transitions, 20 secs || 630601 markings, 1993559 edges, 24998 markings/sec, 20 secs 1 tries, 851116 fired transitions, 25 secs || 753879 markings, 2440239 edges, 24656 markings/sec, 25 secs 2 tries, 1002128 fired transitions, 30 secs || 882613 markings, 2950780 edges, 25747 markings/sec, 30 secs 2 tries, 1146672 fired transitions, 35 secs || 1010538 markings, 3430293 edges, 25585 markings/sec, 35 secs 2 tries, 1294440 fired transitions, 40 secs || 1138550 markings, 3829526 edges, 25602 markings/sec, 40 secs 2 tries, 1442110 fired transitions, 45 secs || 1266017 markings, 4237043 edges, 25493 markings/sec, 45 secs 2 tries, 1590097 fired transitions, 50 secs || 1393351 markings, 4639938 edges, 25467 markings/sec, 50 secs 2 tries, 1737851 fired transitions, 55 secs || 1517760 markings, 5140543 edges, 24882 markings/sec, 55 secs 2 tries, 1885937 fired transitions, 60 secs || 1642992 markings, 5638530 edges, 25046 markings/sec, 60 secs 3 tries, 2033190 fired transitions, 65 secs || 1767548 markings, 6113023 edges, 24911 markings/sec, 65 secs 3 tries, 2178486 fired transitions, 70 secs || 1895750 markings, 6533898 edges, 25640 markings/sec, 70 secs 3 tries, 2324214 fired transitions, 75 secs || 2023259 markings, 6951222 edges, 25502 markings/sec, 75 secs 3 tries, 2469173 fired transitions, 80 secs || 2155838 markings, 7310890 edges, 26516 markings/sec, 80 secs 3 tries, 2614368 fired transitions, 85 secs || 2286400 markings, 7672319 edges, 26112 markings/sec, 85 secs 3 tries, 2759680 fired transitions, 90 secs || 2415453 markings, 8058166 edges, 25811 markings/sec, 90 secs 3 tries, 2905116 fired transitions, 95 secs || 2542780 markings, 8472817 edges, 25465 markings/sec, 95 secs 4 tries, 3051326 fired transitions, 100 secs || 2668625 markings, 8914229 edges, 25169 markings/sec, 100 secs 4 tries, 3198304 fired transitions, 105 secs || 2796280 markings, 9342557 edges, 25531 markings/sec, 105 secs 4 tries, 3345377 fired transitions, 110 secs || 2922236 markings, 9808516 edges, 25191 markings/sec, 110 secs 4 tries, 3492326 fired transitions, 115 secs || 3050494 markings, 10241666 edges, 25652 markings/sec, 115 secs 4 tries, 3646999 fired transitions, 120 secs || 3182680 markings, 10766627 edges, 26437 markings/sec, 120 secs 4 tries, 3807879 fired transitions, 125 secs || 3324177 markings, 11224513 edges, 28299 markings/sec, 125 secs 4 tries, 3955039 fired transitions, 130 secs || 3452488 markings, 11670227 edges, 25662 markings/sec, 130 secs 5 tries, 4099890 fired transitions, 135 secs || 3578351 markings, 12109837 edges, 25173 markings/sec, 135 secs 5 tries, 4244191 fired transitions, 140 secs || 3700771 markings, 12579896 edges, 24484 markings/sec, 140 secs 5 tries, 4389866 fired transitions, 145 secs || 3826163 markings, 13040937 edges, 25078 markings/sec, 145 secs 5 tries, 4547704 fired transitions, 150 secs || 3948240 markings, 13489832 edges, 24415 markings/sec, 150 secs 5 tries, 4698966 fired transitions, 155 secs || 4078332 markings, 13984354 edges, 26018 markings/sec, 155 secs 5 tries, 4843109 fired transitions, 160 secs || 4201388 markings, 14445299 edges, 24611 markings/sec, 160 secs 5 tries, 4987065 fired transitions, 165 secs || 4323707 markings, 14930935 edges, 24464 markings/sec, 165 secs 6 tries, 5129825 fired transitions, 170 secs || 4446943 markings, 15401523 edges, 24647 markings/sec, 170 secs 6 tries, 5272351 fired transitions, 175 secs || 4569323 markings, 15890378 edges, 24476 markings/sec, 175 secs 6 tries, 5415074 fired transitions, 180 secs || 4690819 markings, 16366314 edges, 24299 markings/sec, 180 secs 6 tries, 5557853 fired transitions, 185 secs || 4812787 markings, 16824059 edges, 24394 markings/sec, 185 secs 6 tries, 5700587 fired transitions, 190 secs || 4934131 markings, 17296502 edges, 24269 markings/sec, 190 secs 6 tries, 5843474 fired transitions, 195 secs || 5056202 markings, 17783037 edges, 24414 markings/sec, 195 secs 6 tries, 5986515 fired transitions, 200 secs || 5177216 markings, 18269365 edges, 24203 markings/sec, 200 secs 7 tries, 6130463 fired transitions, 205 secs || 5298384 markings, 18724673 edges, 24234 markings/sec, 205 secs 7 tries, 6274612 fired transitions, 210 secs || 5417972 markings, 19163032 edges, 23918 markings/sec, 210 secs 7 tries, 6418689 fired transitions, 215 secs || 5538315 markings, 19624235 edges, 24069 markings/sec, 215 secs 7 tries, 6562936 fired transitions, 220 secs || 5658353 markings, 20081857 edges, 24008 markings/sec, 220 secs 7 tries, 6706970 fired transitions, 225 secs || 5778283 markings, 20565216 edges, 23986 markings/sec, 225 secs 7 tries, 6851096 fired transitions, 230 secs || 5898500 markings, 21002295 edges, 24043 markings/sec, 230 secs 7 tries, 6995429 fired transitions, 235 secs || 6017787 markings, 21495815 edges, 23857 markings/sec, 235 secs 8 tries, 7149057 fired transitions, 240 secs || 6149111 markings, 22056177 edges, 26265 markings/sec, 240 secs 8 tries, 7292090 fired transitions, 245 secs || 6271932 markings, 22536453 edges, 24564 markings/sec, 245 secs 8 tries, 7434893 fired transitions, 250 secs || 6396623 markings, 22971523 edges, 24938 markings/sec, 250 secs 8 tries, 7577313 fired transitions, 255 secs || 6523624 markings, 23349463 edges, 25400 markings/sec, 255 secs 8 tries, 7719750 fired transitions, 260 secs || 6650122 markings, 23724894 edges, 25300 markings/sec, 260 secs 8 tries, 7862479 fired transitions, 265 secs || 6775277 markings, 24138711 edges, 25031 markings/sec, 265 secs 9 tries, 8005253 fired transitions, 270 secs || 6896570 markings, 24637101 edges, 24259 markings/sec, 270 secs 9 tries, 8150305 fired transitions, 275 secs || 7021721 markings, 25033818 edges, 25030 markings/sec, 275 secs 9 tries, 8295537 fired transitions, 280 secs || 7144919 markings, 25459940 edges, 24640 markings/sec, 280 secs 9 tries, 8440353 fired transitions, 285 secs || 7269442 markings, 25863635 edges, 24905 markings/sec, 285 secs 9 tries, 8585766 fired transitions, 290 secs || 7389855 markings, 26363041 edges, 24083 markings/sec, 290 secs 9 tries, 8730764 fired transitions, 295 secs || 7509669 markings, 26868809 edges, 23963 markings/sec, 295 secs 9 tries, 8875506 fired transitions, 300 secs || 7632719 markings, 27309372 edges, 24610 markings/sec, 300 secs 10 tries, 9025927 fired transitions, 305 secs || 7753492 markings, 27904383 edges, 24155 markings/sec, 305 secs 10 tries, 9171927 fired transitions, 310 secs || 7881158 markings, 28327281 edges, 25533 markings/sec, 310 secs 10 tries, 9318678 fired transitions, 315 secs || 8007689 markings, 28770673 edges, 25306 markings/sec, 315 secs 10 tries, 9465830 fired transitions, 320 secs || 8133425 markings, 29222860 edges, 25147 markings/sec, 320 secs 10 tries, 9613450 fired transitions, 325 secs || 8256001 markings, 29748219 edges, 24515 markings/sec, 325 secs 10 tries, 9760285 fired transitions, 330 secs || 8379326 markings, 30246230 edges, 24665 markings/sec, 330 secs 10 tries, 9907156 fired transitions, 335 secs || 8503426 markings, 30725384 edges, 24820 markings/sec, 335 secs 11 tries, 10054623 fired transitions, 340 secs || 8625485 markings, 31255569 edges, 24412 markings/sec, 340 secs 11 tries, 10200876 fired transitions, 345 secs || 8751333 markings, 31725616 edges, 25170 markings/sec, 345 secs 11 tries, 10346355 fired transitions, 350 secs || 8878772 markings, 32155173 edges, 25488 markings/sec, 350 secs 11 tries, 10492028 fired transitions, 355 secs || 9005768 markings, 32601514 edges, 25399 markings/sec, 355 secs 11 tries, 10638665 fired transitions, 360 secs || 9130233 markings, 33120990 edges, 24893 markings/sec, 360 secs 11 tries, 10785681 fired transitions, 365 secs || 9253213 markings, 33653181 edges, 24596 markings/sec, 365 secs 11 tries, 10934787 fired transitions, 370 secs || 9373144 markings, 34181890 edges, 23986 markings/sec, 370 secs 12 tries, 11081895 fired transitions, 375 secs || 9498233 markings, 34632783 edges, 25018 markings/sec, 375 secs 12 tries, 11226856 fired transitions, 380 secs || 9625492 markings, 35067001 edges, 25452 markings/sec, 380 secs 12 tries, 11371555 fired transitions, 385 secs || 9752834 markings, 35486959 edges, 25468 markings/sec, 385 secs 12 tries, 11516420 fired transitions, 390 secs || 9878878 markings, 35942877 edges, 25209 markings/sec, 390 secs 12 tries, 11661367 fired transitions, 395 secs || 10005805 markings, 36378091 edges, 25385 markings/sec, 395 secs 12 tries, 11806449 fired transitions, 400 secs || 10132426 markings, 36809639 edges, 25324 markings/sec, 400 secs 12 tries, 11951441 fired transitions, 405 secs || 10258952 markings, 37256615 edges, 25305 markings/sec, 405 secs 13 tries, 12102373 fired transitions, 410 secs || 10380776 markings, 37761150 edges, 24365 markings/sec, 410 secs 13 tries, 12256196 fired transitions, 415 secs || 10502771 markings, 38262382 edges, 24399 markings/sec, 415 secs 13 tries, 12409617 fired transitions, 420 secs || 10624510 markings, 38755306 edges, 24348 markings/sec, 420 secs 13 tries, 12562412 fired transitions, 425 secs || 10747651 markings, 39211005 edges, 24628 markings/sec, 425 secs 13 tries, 12716490 fired transitions, 430 secs || 10870797 markings, 39685340 edges, 24629 markings/sec, 430 secs 13 tries, 12870302 fired transitions, 435 secs || 10995560 markings, 40129259 edges, 24953 markings/sec, 435 secs 14 tries, 13022789 fired transitions, 440 secs || 11118682 markings, 40616625 edges, 24624 markings/sec, 440 secs 14 tries, 13166366 fired transitions, 445 secs || 11243734 markings, 41084612 edges, 25010 markings/sec, 445 secs 14 tries, 13312941 fired transitions, 450 secs || 11370054 markings, 41562473 edges, 25264 markings/sec, 450 secs 14 tries, 13469344 fired transitions, 455 secs || 11503586 markings, 42087475 edges, 26706 markings/sec, 455 secs 14 tries, 13613193 fired transitions, 460 secs || 11626591 markings, 42587944 edges, 24601 markings/sec, 460 secs 14 tries, 13756967 fired transitions, 465 secs || 11749106 markings, 43097964 edges, 24503 markings/sec, 465 secs 14 tries, 13900445 fired transitions, 470 secs || 11872856 markings, 43589446 edges, 24750 markings/sec, 470 secs 15 tries, 14030758 fired transitions, 475 secs || 11997432 markings, 44076074 edges, 24915 markings/sec, 475 secs 15 tries, 14177517 fired transitions, 480 secs || 12120593 markings, 44568959 edges, 24632 markings/sec, 480 secs 15 tries, 14324007 fired transitions, 485 secs || 12243293 markings, 45065989 edges, 24540 markings/sec, 485 secs 15 tries, 14472085 fired transitions, 490 secs || 12364322 markings, 45566387 edges, 24206 markings/sec, 490 secs 15 tries, 14618335 fired transitions, 495 secs || 12488188 markings, 46042717 edges, 24773 markings/sec, 495 secs 15 tries, 14765092 fired transitions, 500 secs || 12608558 markings, 46593528 edges, 24074 markings/sec, 500 secs 15 tries, 14924265 fired transitions, 505 secs || 12740570 markings, 47130956 edges, 26402 markings/sec, 505 secs 16 tries, 15086560 fired transitions, 510 secs || 12873232 markings, 47657857 edges, 26532 markings/sec, 510 secs 16 tries, 15238782 fired transitions, 515 secs || 12994397 markings, 48159927 edges, 24233 markings/sec, 515 secs 16 tries, 15391960 fired transitions, 520 secs || 13114563 markings, 48652812 edges, 24033 markings/sec, 520 secs 16 tries, 15546594 fired transitions, 525 secs || 13233897 markings, 49169944 edges, 23867 markings/sec, 525 secs 16 tries, 15703276 fired transitions, 530 secs || 13352188 markings, 49713198 edges, 23658 markings/sec, 530 secs 16 tries, 15857683 fired transitions, 535 secs || 13469245 markings, 50224248 edges, 23411 markings/sec, 535 secs 17 tries, 16010316 fired transitions, 540 secs || 13588951 markings, 50700464 edges, 23941 markings/sec, 540 secs 17 tries, 16155218 fired transitions, 545 secs || 13707615 markings, 51202067 edges, 23733 markings/sec, 545 secs 17 tries, 16299668 fired transitions, 550 secs || 13828222 markings, 51697017 edges, 24121 markings/sec, 550 secs 17 tries, 16453241 fired transitions, 555 secs || 13954936 markings, 52248562 edges, 25343 markings/sec, 555 secs 17 tries, 16598413 fired transitions, 560 secs || 14072317 markings, 52762928 edges, 23476 markings/sec, 560 secs 17 tries, 16740884 fired transitions, 565 secs || 14192874 markings, 53301573 edges, 24111 markings/sec, 565 secs 17 tries, 16883216 fired transitions, 570 secs || 14313350 markings, 53782511 edges, 24095 markings/sec, 570 secs 18 tries, 17028404 fired transitions, 575 secs || 14434218 markings, 54280150 edges, 24174 markings/sec, 575 secs 18 tries, 17178411 fired transitions, 580 secs || 14555366 markings, 54802465 edges, 24230 markings/sec, 580 secs 18 tries, 17327962 fired transitions, 585 secs || 14676224 markings, 55318780 edges, 24172 markings/sec, 585 secs 18 tries, 17477942 fired transitions, 590 secs || 14798268 markings, 55776796 edges, 24409 markings/sec, 590 secs 18 tries, 17629693 fired transitions, 595 secs || 14916194 markings, 56299854 edges, 23585 markings/sec, 595 secs 18 tries, 17779554 fired transitions, 600 secs || 15037931 markings, 56786904 edges, 24347 markings/sec, 600 secs 18 tries, 17928056 fired transitions, 605 secs || 15159147 markings, 57321005 edges, 24243 markings/sec, 605 secs 19 tries, 18072537 fired transitions, 610 secs || 15284053 markings, 57833307 edges, 24981 markings/sec, 610 secs 19 tries, 18214545 fired transitions, 615 secs || 15405332 markings, 58396961 edges, 24256 markings/sec, 615 secs 19 tries, 18359054 fired transitions, 620 secs || 15527433 markings, 58911981 edges, 24420 markings/sec, 620 secs 19 tries, 18502564 fired transitions, 625 secs || 15651563 markings, 59371219 edges, 24826 markings/sec, 625 secs 19 tries, 18645455 fired transitions, 630 secs || 15779975 markings, 59779207 edges, 25682 markings/sec, 630 secs 19 tries, 18788478 fired transitions, 635 secs || 15907591 markings, 60189620 edges, 25523 markings/sec, 635 secs 19 tries, 18932004 fired transitions, 640 secs || 16033318 markings, 60644302 edges, 25145 markings/sec, 640 secs 20 tries, 19074334 fired transitions, 645 secs || 16157421 markings, 61137121 edges, 24821 markings/sec, 645 secs 20 tries, 19216454 fired transitions, 650 secs || 16283191 markings, 61572905 edges, 25154 markings/sec, 650 secs 20 tries, 19358904 fired transitions, 655 secs || 16407789 markings, 62027213 edges, 24920 markings/sec, 655 secs 20 tries, 19501053 fired transitions, 660 secs || 16532741 markings, 62463569 edges, 24990 markings/sec, 660 secs 20 tries, 19644069 fired transitions, 665 secs || 16656978 markings, 62916753 edges, 24847 markings/sec, 665 secs 20 tries, 19788962 fired transitions, 670 secs || 16775300 markings, 63469722 edges, 23664 markings/sec, 670 secs 20 tries, 19931249 fired transitions, 675 secs || 16899762 markings, 63939640 edges, 24892 markings/sec, 675 secs 21 tries, 20074787 fired transitions, 680 secs || 17025042 markings, 64406145 edges, 25056 markings/sec, 680 secs 21 tries, 20219239 fired transitions, 685 secs || 17151162 markings, 64865178 edges, 25224 markings/sec, 685 secs 21 tries, 20363509 fired transitions, 690 secs || 17277475 markings, 65315701 edges, 25263 markings/sec, 690 secs 21 tries, 20508636 fired transitions, 695 secs || 17400522 markings, 65843772 edges, 24609 markings/sec, 695 secs 21 tries, 20655464 fired transitions, 700 secs || 17522389 markings, 66353721 edges, 24373 markings/sec, 700 secs 21 tries, 20800012 fired transitions, 705 secs || 17646323 markings, 66843757 edges, 24787 markings/sec, 705 secs 21 tries, 20945653 fired transitions, 710 secs || 17768150 markings, 67376071 edges, 24365 markings/sec, 710 secs 22 tries, 21088651 fired transitions, 715 secs || 17894337 markings, 67827755 edges, 25237 markings/sec, 715 secs 22 tries, 21230752 fired transitions, 720 secs || 18019662 markings, 68261982 edges, 25065 markings/sec, 720 secs 22 tries, 21373357 fired transitions, 725 secs || 18144300 markings, 68733332 edges, 24928 markings/sec, 725 secs 22 tries, 21517495 fired transitions, 730 secs || 18264966 markings, 69235720 edges, 24133 markings/sec, 730 secs 22 tries, 21662164 fired transitions, 735 secs || 18389190 markings, 69650587 edges, 24845 markings/sec, 735 secs 22 tries, 21805251 fired transitions, 740 secs || 18514061 markings, 70090176 edges, 24974 markings/sec, 740 secs 22 tries, 21946139 fired transitions, 745 secs || 18640056 markings, 70550666 edges, 25199 markings/sec, 745 secs 23 tries, 22088750 fired transitions, 750 secs || 18764933 markings, 71035329 edges, 24975 markings/sec, 750 secs 23 tries, 22232169 fired transitions, 755 secs || 18892463 markings, 71452067 edges, 25506 markings/sec, 755 secs 23 tries, 22375396 fired transitions, 760 secs || 19018260 markings, 71918860 edges, 25159 markings/sec, 760 secs 23 tries, 22518473 fired transitions, 765 secs || 19142792 markings, 72411912 edges, 24906 markings/sec, 765 secs 23 tries, 22662501 fired transitions, 770 secs || 19266564 markings, 72915607 edges, 24754 markings/sec, 770 secs 23 tries, 22806305 fired transitions, 775 secs || 19389712 markings, 73434795 edges, 24630 markings/sec, 775 secs 23 tries, 22949555 fired transitions, 780 secs || 19514814 markings, 73910381 edges, 25020 markings/sec, 780 secs 24 tries, 23094736 fired transitions, 785 secs || 19638904 markings, 74413313 edges, 24818 markings/sec, 785 secs 24 tries, 23239409 fired transitions, 790 secs || 19766203 markings, 74875259 edges, 25460 markings/sec, 790 secs 24 tries, 23386314 fired transitions, 795 secs || 19889686 markings, 75388532 edges, 24697 markings/sec, 795 secs 24 tries, 23533206 fired transitions, 800 secs || 20014684 markings, 75857475 edges, 25000 markings/sec, 800 secs 24 tries, 23679752 fired transitions, 805 secs || 20138637 markings, 76354561 edges, 24791 markings/sec, 805 secs 24 tries, 23827161 fired transitions, 810 secs || 20260735 markings, 76875192 edges, 24420 markings/sec, 810 secs 24 tries, 23974204 fired transitions, 815 secs || 20383981 markings, 77380800 edges, 24649 markings/sec, 815 secs 25 tries, 24119027 fired transitions, 820 secs || 20506696 markings, 77890473 edges, 24543 markings/sec, 820 secs 25 tries, 24273699 fired transitions, 825 secs || 20637191 markings, 78423624 edges, 26099 markings/sec, 825 secs 25 tries, 24429738 fired transitions, 830 secs || 20768552 markings, 78970385 edges, 26272 markings/sec, 830 secs 25 tries, 24574720 fired transitions, 835 secs || 20889394 markings, 79489804 edges, 24168 markings/sec, 835 secs 25 tries, 24720492 fired transitions, 840 secs || 21009467 markings, 80004910 edges, 24015 markings/sec, 840 secs 25 tries, 24865219 fired transitions, 845 secs || 21131893 markings, 80513023 edges, 24485 markings/sec, 845 secs 26 tries, 25009802 fired transitions, 850 secs || 21254496 markings, 81029660 edges, 24521 markings/sec, 850 secs 26 tries, 25164325 fired transitions, 855 secs || 21379653 markings, 81572850 edges, 25031 markings/sec, 855 secs 26 tries, 25323973 fired transitions, 860 secs || 21508462 markings, 82122979 edges, 25762 markings/sec, 860 secs 26 tries, 25484165 fired transitions, 865 secs || 21635618 markings, 82696095 edges, 25431 markings/sec, 865 secs 26 tries, 25644386 fired transitions, 870 secs || 21763620 markings, 83234130 edges, 25600 markings/sec, 870 secs 26 tries, 25804399 fired transitions, 875 secs || 21893510 markings, 83768351 edges, 25978 markings/sec, 875 secs 26 tries, 25963868 fired transitions, 880 secs || 22023067 markings, 84312651 edges, 25911 markings/sec, 880 secs 27 tries, 26123331 fired transitions, 885 secs || 22153940 markings, 84861584 edges, 26175 markings/sec, 885 secs 27 tries, 26283314 fired transitions, 890 secs || 22284354 markings, 85375378 edges, 26083 markings/sec, 890 secs 27 tries, 26442927 fired transitions, 895 secs || 22413091 markings, 85940508 edges, 25747 markings/sec, 895 secs 27 tries, 26602809 fired transitions, 900 secs || 22542320 markings, 86468416 edges, 25846 markings/sec, 900 secs 27 tries, 26762984 fired transitions, 905 secs || 22673661 markings, 86984071 edges, 26268 markings/sec, 905 secs 27 tries, 26924491 fired transitions, 910 secs || 22802865 markings, 87552496 edges, 25841 markings/sec, 910 secs 28 tries, 27087453 fired transitions, 915 secs || 22934918 markings, 88088786 edges, 26411 markings/sec, 915 secs 28 tries, 27250282 fired transitions, 920 secs || 23066302 markings, 88636287 edges, 26277 markings/sec, 920 secs 28 tries, 27412022 fired transitions, 925 secs || 23197732 markings, 89206056 edges, 26286 markings/sec, 925 secs 28 tries, 27570484 fired transitions, 930 secs || 23326685 markings, 89801021 edges, 25791 markings/sec, 930 secs 28 tries, 27728554 fired transitions, 935 secs || 23459056 markings, 90331820 edges, 26474 markings/sec, 935 secs 28 tries, 27886540 fired transitions, 940 secs || 23592762 markings, 90834511 edges, 26741 markings/sec, 940 secs 29 tries, 28043262 fired transitions, 945 secs || 23728649 markings, 91303177 edges, 27177 markings/sec, 945 secs 29 tries, 28196781 fired transitions, 950 secs || 23862372 markings, 91837987 edges, 26745 markings/sec, 950 secs 29 tries, 28350533 fired transitions, 955 secs || 23997687 markings, 92328763 edges, 27063 markings/sec, 955 secs 29 tries, 28504323 fired transitions, 960 secs || 24130899 markings, 92859643 edges, 26642 markings/sec, 960 secs 29 tries, 28660076 fired transitions, 965 secs || 24266963 markings, 93355399 edges, 27213 markings/sec, 965 secs 29 tries, 28817311 fired transitions, 970 secs || 24403824 markings, 93871409 edges, 27372 markings/sec, 970 secs 29 tries, 28974900 fired transitions, 975 secs || 24537005 markings, 94462649 edges, 26636 markings/sec, 975 secs 30 tries, 29137131 fired transitions, 980 secs || 24668735 markings, 95061593 edges, 26346 markings/sec, 980 secs 30 tries, 29299808 fired transitions, 985 secs || 24804503 markings, 95584345 edges, 27154 markings/sec, 985 secs 30 tries, 29461017 fired transitions, 990 secs || 24939490 markings, 96114349 edges, 26997 markings/sec, 990 secs 30 tries, 29620534 fired transitions, 995 secs || 25066664 markings, 96753362 edges, 25435 markings/sec, 995 secs 30 tries, 29779723 fired transitions, 1000 secs || 25196755 markings, 97324926 edges, 26018 markings/sec, 1000 secs 30 tries, 29939046 fired transitions, 1005 secs || 25326405 markings, 97922987 edges, 25930 markings/sec, 1005 secs 31 tries, 30132949 fired transitions, 1010 secs || 25454865 markings, 98520908 edges, 25692 markings/sec, 1010 secs 31 tries, 30347442 fired transitions, 1015 secs || 25583730 markings, 99096362 edges, 25773 markings/sec, 1015 secs 31 tries, 30562292 fired transitions, 1020 secs || 25710834 markings, 99681462 edges, 25421 markings/sec, 1020 secs 31 tries, 30775822 fired transitions, 1025 secs || 25840341 markings, 100237546 edges, 25901 markings/sec, 1025 secs 31 tries, 30988134 fired transitions, 1030 secs || 25972158 markings, 100764835 edges, 26363 markings/sec, 1030 secs 32 tries, 31146850 fired transitions, 1035 secs || 26102461 markings, 101340147 edges, 26061 markings/sec, 1035 secs 32 tries, 31302283 fired transitions, 1040 secs || 26235070 markings, 101868794 edges, 26522 markings/sec, 1040 secs 32 tries, 31457791 fired transitions, 1045 secs || 26365480 markings, 102442965 edges, 26082 markings/sec, 1045 secs 32 tries, 31613693 fired transitions, 1050 secs || 26492701 markings, 103070571 edges, 25444 markings/sec, 1050 secs 32 tries, 31769076 fired transitions, 1055 secs || 26623826 markings, 103640801 edges, 26225 markings/sec, 1055 secs 32 tries, 31924363 fired transitions, 1060 secs || 26755812 markings, 104173590 edges, 26397 markings/sec, 1060 secs 33 tries, 32081181 fired transitions, 1065 secs || 26884288 markings, 104764670 edges, 25695 markings/sec, 1065 secs 33 tries, 32238895 fired transitions, 1070 secs || 27014175 markings, 105314229 edges, 25977 markings/sec, 1070 secs 33 tries, 32396569 fired transitions, 1075 secs || 27144189 markings, 105860810 edges, 26003 markings/sec, 1075 secs 33 tries, 32544658 fired transitions, 1080 secs || 27269981 markings, 106355553 edges, 25158 markings/sec, 1080 secs 33 tries, 32688844 fired transitions, 1085 secs || 27394086 markings, 106827287 edges, 24821 markings/sec, 1085 secs 33 tries, 32833397 fired transitions, 1090 secs || 27518091 markings, 107303782 edges, 24801 markings/sec, 1090 secs 33 tries, 32977986 fired transitions, 1095 secs || 27641261 markings, 107812114 edges, 24634 markings/sec, 1095 secs 34 tries, 33123045 fired transitions, 1100 secs || 27762752 markings, 108338362 edges, 24298 markings/sec, 1100 secs 34 tries, 33268806 fired transitions, 1105 secs || 27882145 markings, 108877103 edges, 23879 markings/sec, 1105 secs 34 tries, 33414429 fired transitions, 1110 secs || 28001917 markings, 109416155 edges, 23954 markings/sec, 1110 secs 34 tries, 33559862 fired transitions, 1115 secs || 28122361 markings, 109937888 edges, 24089 markings/sec, 1115 secs 34 tries, 33704511 fired transitions, 1120 secs || 28246022 markings, 110424594 edges, 24732 markings/sec, 1120 secs 34 tries, 33863049 fired transitions, 1125 secs || 28379033 markings, 110967514 edges, 26602 markings/sec, 1125 secs 35 tries, 34008129 fired transitions, 1130 secs || 28500719 markings, 111449609 edges, 24337 markings/sec, 1130 secs 35 tries, 34151628 fired transitions, 1135 secs || 28620793 markings, 111953389 edges, 24015 markings/sec, 1135 secs 35 tries, 34307940 fired transitions, 1140 secs || 28750523 markings, 112532679 edges, 25946 markings/sec, 1140 secs 35 tries, 34451170 fired transitions, 1145 secs || 28872455 markings, 112997858 edges, 24386 markings/sec, 1145 secs 35 tries, 34594635 fired transitions, 1150 secs || 28993750 markings, 113474364 edges, 24259 markings/sec, 1150 secs 35 tries, 34738450 fired transitions, 1155 secs || 29114047 markings, 113980815 edges, 24059 markings/sec, 1155 secs 35 tries, 34882124 fired transitions, 1160 secs || 29233420 markings, 114502700 edges, 23875 markings/sec, 1160 secs 36 tries, 35040349 fired transitions, 1165 secs || 29362041 markings, 115088818 edges, 25724 markings/sec, 1165 secs 36 tries, 35204701 fired transitions, 1170 secs || 29489326 markings, 115699937 edges, 25457 markings/sec, 1170 secs 36 tries, 35356143 fired transitions, 1175 secs || 29604445 markings, 116279150 edges, 23024 markings/sec, 1175 secs 36 tries, 35506147 fired transitions, 1180 secs || 29724314 markings, 116790312 edges, 23974 markings/sec, 1180 secs 36 tries, 35655407 fired transitions, 1185 secs || 29846156 markings, 117287195 edges, 24368 markings/sec, 1185 secs 36 tries, 35806233 fired transitions, 1190 secs || 29965358 markings, 117788538 edges, 23840 markings/sec, 1190 secs 36 tries, 35957234 fired transitions, 1195 secs || 30085288 markings, 118282956 edges, 23986 markings/sec, 1195 secs 37 tries, 36109969 fired transitions, 1200 secs || 30204429 markings, 118787634 edges, 23828 markings/sec, 1200 secs 37 tries, 36263734 fired transitions, 1205 secs || 30322514 markings, 119301446 edges, 23617 markings/sec, 1205 secs 37 tries, 36417468 fired transitions, 1210 secs || 30439833 markings, 119831371 edges, 23464 markings/sec, 1210 secs 37 tries, 36559896 fired transitions, 1215 secs || 30558660 markings, 120336094 edges, 23765 markings/sec, 1215 secs 37 tries, 36702357 fired transitions, 1220 secs || 30677373 markings, 120834892 edges, 23743 markings/sec, 1220 secs 37 tries, 36858421 fired transitions, 1225 secs || 30796937 markings, 121355571 edges, 23913 markings/sec, 1225 secs 38 tries, 37011685 fired transitions, 1230 secs || 30915761 markings, 121858752 edges, 23765 markings/sec, 1230 secs 38 tries, 37171167 fired transitions, 1235 secs || 31040669 markings, 122435847 edges, 24982 markings/sec, 1235 secs 38 tries, 37320080 fired transitions, 1240 secs || 31159176 markings, 122941600 edges, 23701 markings/sec, 1240 secs 38 tries, 37469020 fired transitions, 1245 secs || 31276424 markings, 123475776 edges, 23450 markings/sec, 1245 secs 38 tries, 37618640 fired transitions, 1250 secs || 31393002 markings, 124003094 edges, 23316 markings/sec, 1250 secs 38 tries, 37780251 fired transitions, 1255 secs || 31520506 markings, 124578792 edges, 25501 markings/sec, 1255 secs 38 tries, 37928769 fired transitions, 1260 secs || 31638733 markings, 125095103 edges, 23645 markings/sec, 1260 secs 39 tries, 38076419 fired transitions, 1265 secs || 31756103 markings, 125641037 edges, 23474 markings/sec, 1265 secs 39 tries, 38219680 fired transitions, 1270 secs || 31876539 markings, 126163613 edges, 24087 markings/sec, 1270 secs 39 tries, 38362751 fired transitions, 1275 secs || 31997041 markings, 126690926 edges, 24100 markings/sec, 1275 secs 39 tries, 38505953 fired transitions, 1280 secs || 32117355 markings, 127227716 edges, 24063 markings/sec, 1280 secs 39 tries, 38648939 fired transitions, 1285 secs || 32237089 markings, 127778794 edges, 23947 markings/sec, 1285 secs 39 tries, 38791971 fired transitions, 1290 secs || 32357397 markings, 128312943 edges, 24062 markings/sec, 1290 secs 39 tries, 38935184 fired transitions, 1295 secs || 32476077 markings, 128861540 edges, 23736 markings/sec, 1295 secs 40 tries, 39078663 fired transitions, 1300 secs || 32596320 markings, 129408216 edges, 24049 markings/sec, 1300 secs 40 tries, 39223543 fired transitions, 1305 secs || 32716903 markings, 129950385 edges, 24117 markings/sec, 1305 secs 40 tries, 39368438 fired transitions, 1310 secs || 32835023 markings, 130503530 edges, 23624 markings/sec, 1310 secs 40 tries, 39515649 fired transitions, 1315 secs || 32955488 markings, 130999134 edges, 24093 markings/sec, 1315 secs 40 tries, 39671472 fired transitions, 1320 secs || 33078816 markings, 131522774 edges, 24666 markings/sec, 1320 secs 40 tries, 39820914 fired transitions, 1325 secs || 33198473 markings, 132054276 edges, 23931 markings/sec, 1325 secs 40 tries, 39968687 fired transitions, 1330 secs || 33316518 markings, 132606682 edges, 23609 markings/sec, 1330 secs 41 tries, 40129757 fired transitions, 1335 secs || 33444019 markings, 133204830 edges, 25500 markings/sec, 1335 secs 41 tries, 40277943 fired transitions, 1340 secs || 33563107 markings, 133713302 edges, 23818 markings/sec, 1340 secs 41 tries, 40426372 fired transitions, 1345 secs || 33680040 markings, 134266148 edges, 23387 markings/sec, 1345 secs 41 tries, 40575560 fired transitions, 1350 secs || 33794578 markings, 134818000 edges, 22908 markings/sec, 1350 secs 41 tries, 40727172 fired transitions, 1355 secs || 33910497 markings, 135364090 edges, 23184 markings/sec, 1355 secs 41 tries, 40888374 fired transitions, 1360 secs || 34033236 markings, 135963312 edges, 24548 markings/sec, 1360 secs 42 tries, 41048164 fired transitions, 1365 secs || 34155320 markings, 136558699 edges, 24417 markings/sec, 1365 secs 42 tries, 41204708 fired transitions, 1370 secs || 34280275 markings, 137155841 edges, 24991 markings/sec, 1370 secs 42 tries, 41359645 fired transitions, 1375 secs || 34404945 markings, 137710180 edges, 24934 markings/sec, 1375 secs 42 tries, 41505550 fired transitions, 1380 secs || 34520488 markings, 138220336 edges, 23109 markings/sec, 1380 secs 42 tries, 41650847 fired transitions, 1385 secs || 34638763 markings, 138719506 edges, 23655 markings/sec, 1385 secs 42 tries, 41796110 fired transitions, 1390 secs || 34754717 markings, 139277623 edges, 23191 markings/sec, 1390 secs 42 tries, 41939279 fired transitions, 1395 secs || 34867367 markings, 139757588 edges, 22530 markings/sec, 1395 secs 43 tries, 42083715 fired transitions, 1400 secs || 34984178 markings, 140279279 edges, 23362 markings/sec, 1400 secs 43 tries, 42229260 fired transitions, 1405 secs || 35099649 markings, 140799629 edges, 23094 markings/sec, 1405 secs 43 tries, 42374977 fired transitions, 1410 secs || 35213852 markings, 141317727 edges, 22841 markings/sec, 1410 secs 43 tries, 42517528 fired transitions, 1415 secs || 35331756 markings, 141852800 edges, 23581 markings/sec, 1415 secs 43 tries, 42666930 fired transitions, 1420 secs || 35450519 markings, 142389251 edges, 23753 markings/sec, 1420 secs 43 tries, 42822494 fired transitions, 1425 secs || 35575221 markings, 142967414 edges, 24940 markings/sec, 1425 secs 43 tries, 42967379 fired transitions, 1430 secs || 35693412 markings, 143480598 edges, 23638 markings/sec, 1430 secs 44 tries, 43114718 fired transitions, 1435 secs || 35813338 markings, 143977594 edges, 23985 markings/sec, 1435 secs 44 tries, 43263020 fired transitions, 1440 secs || 35930355 markings, 144490341 edges, 23403 markings/sec, 1440 secs 44 tries, 43411433 fired transitions, 1445 secs || 36047309 markings, 145066870 edges, 23391 markings/sec, 1445 secs 44 tries, 43559560 fired transitions, 1450 secs || 36164496 markings, 145613945 edges, 23437 markings/sec, 1450 secs 44 tries, 43709112 fired transitions, 1455 secs || 36283607 markings, 146181035 edges, 23822 markings/sec, 1455 secs 44 tries, 43868843 fired transitions, 1460 secs || 36408513 markings, 146746921 edges, 24981 markings/sec, 1460 secs 45 tries, 44017028 fired transitions, 1465 secs || 36527073 markings, 147266171 edges, 23712 markings/sec, 1465 secs 45 tries, 44166741 fired transitions, 1470 secs || 36644390 markings, 147811451 edges, 23463 markings/sec, 1470 secs 45 tries, 44315818 fired transitions, 1475 secs || 36764735 markings, 148318516 edges, 24069 markings/sec, 1475 secs 45 tries, 44465083 fired transitions, 1480 secs || 36881933 markings, 148868453 edges, 23440 markings/sec, 1480 secs 45 tries, 44614396 fired transitions, 1485 secs || 36998585 markings, 149405760 edges, 23330 markings/sec, 1485 secs 45 tries, 44763795 fired transitions, 1490 secs || 37117274 markings, 149917147 edges, 23738 markings/sec, 1490 secs 45 tries, 44913165 fired transitions, 1495 secs || 37238045 markings, 150393238 edges, 24154 markings/sec, 1495 secs 46 tries, 45060582 fired transitions, 1500 secs || 37362182 markings, 150816356 edges, 24827 markings/sec, 1500 secs 46 tries, 45207103 fired transitions, 1505 secs || 37484701 markings, 151283682 edges, 24504 markings/sec, 1505 secs 46 tries, 45354741 fired transitions, 1510 secs || 37605540 markings, 151734759 edges, 24168 markings/sec, 1510 secs 46 tries, 45502550 fired transitions, 1515 secs || 37726016 markings, 152202415 edges, 24095 markings/sec, 1515 secs 46 tries, 45653997 fired transitions, 1520 secs || 37851056 markings, 152645961 edges, 25008 markings/sec, 1520 secs 46 tries, 45800714 fired transitions, 1525 secs || 37972815 markings, 153111625 edges, 24352 markings/sec, 1525 secs 46 tries, 45946935 fired transitions, 1530 secs || 38093647 markings, 153607944 edges, 24166 markings/sec, 1530 secs 47 tries, 46093518 fired transitions, 1535 secs || 38218166 markings, 154064047 edges, 24904 markings/sec, 1535 secs 47 tries, 46240082 fired transitions, 1540 secs || 38342437 markings, 154571459 edges, 24854 markings/sec, 1540 secs 47 tries, 46386790 fired transitions, 1545 secs || 38464342 markings, 155117076 edges, 24381 markings/sec, 1545 secs 47 tries, 46535028 fired transitions, 1550 secs || 38586325 markings, 155620386 edges, 24397 markings/sec, 1550 secs 47 tries, 46682738 fired transitions, 1555 secs || 38710170 markings, 156069054 edges, 24769 markings/sec, 1555 secs 47 tries, 46829374 fired transitions, 1560 secs || 38834531 markings, 156544557 edges, 24872 markings/sec, 1560 secs 47 tries, 46972706 fired transitions, 1565 secs || 38961371 markings, 157050682 edges, 25368 markings/sec, 1565 secs 48 tries, 47116618 fired transitions, 1570 secs || 39082507 markings, 157549520 edges, 24227 markings/sec, 1570 secs 48 tries, 47260824 fired transitions, 1575 secs || 39203432 markings, 158048133 edges, 24185 markings/sec, 1575 secs 48 tries, 47404745 fired transitions, 1580 secs || 39324486 markings, 158604218 edges, 24211 markings/sec, 1580 secs 48 tries, 47562417 fired transitions, 1585 secs || 39454355 markings, 159149217 edges, 25974 markings/sec, 1585 secs 48 tries, 47709527 fired transitions, 1590 secs || 39578491 markings, 159617806 edges, 24827 markings/sec, 1590 secs 48 tries, 47857207 fired transitions, 1595 secs || 39701803 markings, 160110116 edges, 24662 markings/sec, 1595 secs 49 tries, 48004815 fired transitions, 1600 secs || 39823621 markings, 160622737 edges, 24364 markings/sec, 1600 secs 49 tries, 48152836 fired transitions, 1605 secs || 39943718 markings, 161060632 edges, 24019 markings/sec, 1605 secs 49 tries, 48311787 fired transitions, 1610 secs || 40074218 markings, 161540318 edges, 26100 markings/sec, 1610 secs 49 tries, 48455415 fired transitions, 1615 secs || 40195131 markings, 162016847 edges, 24183 markings/sec, 1615 secs 49 tries, 48598742 fired transitions, 1620 secs || 40321300 markings, 162516633 edges, 25234 markings/sec, 1620 secs 49 tries, 48741453 fired transitions, 1625 secs || 40448397 markings, 162958731 edges, 25419 markings/sec, 1625 secs 49 tries, 48885006 fired transitions, 1630 secs || 40574440 markings, 163453008 edges, 25209 markings/sec, 1630 secs 50 tries, 49028245 fired transitions, 1635 secs || 40699804 markings, 163968084 edges, 25073 markings/sec, 1635 secs 50 tries, 49169832 fired transitions, 1640 secs || 40824035 markings, 164510627 edges, 24846 markings/sec, 1640 secs 50 tries, 49310956 fired transitions, 1645 secs || 40948429 markings, 165056879 edges, 24879 markings/sec, 1645 secs 50 tries, 49451879 fired transitions, 1650 secs || 41076047 markings, 165544986 edges, 25524 markings/sec, 1650 secs 50 tries, 49595448 fired transitions, 1655 secs || 41198289 markings, 166090424 edges, 24448 markings/sec, 1655 secs 50 tries, 49740080 fired transitions, 1660 secs || 41321446 markings, 166591407 edges, 24631 markings/sec, 1660 secs 50 tries, 49884954 fired transitions, 1665 secs || 41444183 markings, 167103644 edges, 24547 markings/sec, 1665 secs 51 tries, 50030806 fired transitions, 1670 secs || 41566890 markings, 167605621 edges, 24541 markings/sec, 1670 secs 51 tries, 50180745 fired transitions, 1675 secs || 41687373 markings, 168126482 edges, 24097 markings/sec, 1675 secs 51 tries, 50330905 fired transitions, 1680 secs || 41806869 markings, 168659670 edges, 23899 markings/sec, 1680 secs 51 tries, 50481073 fired transitions, 1685 secs || 41927484 markings, 169172371 edges, 24123 markings/sec, 1685 secs 51 tries, 50631294 fired transitions, 1690 secs || 42048087 markings, 169682923 edges, 24121 markings/sec, 1690 secs 51 tries, 50781726 fired transitions, 1695 secs || 42167227 markings, 170218678 edges, 23828 markings/sec, 1695 secs 51 tries, 50929077 fired transitions, 1700 secs || 42289676 markings, 170746660 edges, 24490 markings/sec, 1700 secs 52 tries, 51078384 fired transitions, 1705 secs || 42408454 markings, 171285961 edges, 23756 markings/sec, 1705 secs 52 tries, 51227166 fired transitions, 1710 secs || 42527686 markings, 171809541 edges, 23846 markings/sec, 1710 secs 52 tries, 51375779 fired transitions, 1715 secs || 42647798 markings, 172350373 edges, 24022 markings/sec, 1715 secs 52 tries, 51524537 fired transitions, 1720 secs || 42767608 markings, 172898297 edges, 23962 markings/sec, 1720 secs 52 tries, 51673196 fired transitions, 1725 secs || 42887532 markings, 173429233 edges, 23985 markings/sec, 1725 secs 52 tries, 51827190 fired transitions, 1730 secs || 43010212 markings, 173961242 edges, 24536 markings/sec, 1730 secs 52 tries, 51977823 fired transitions, 1735 secs || 43127738 markings, 174465545 edges, 23505 markings/sec, 1735 secs 53 tries, 52125706 fired transitions, 1740 secs || 43243695 markings, 174957523 edges, 23191 markings/sec, 1740 secs 53 tries, 52273040 fired transitions, 1745 secs || 43361212 markings, 175429119 edges, 23503 markings/sec, 1745 secs 53 tries, 52426031 fired transitions, 1750 secs || 43483669 markings, 175973873 edges, 24491 markings/sec, 1750 secs 53 tries, 52580636 fired transitions, 1755 secs || 43609859 markings, 176491612 edges, 25238 markings/sec, 1755 secs 53 tries, 52726161 fired transitions, 1760 secs || 43728340 markings, 176953608 edges, 23696 markings/sec, 1760 secs 53 tries, 52872127 fired transitions, 1765 secs || 43845611 markings, 177468679 edges, 23454 markings/sec, 1765 secs 54 tries, 53029673 fired transitions, 1770 secs || 43973704 markings, 178016817 edges, 25619 markings/sec, 1770 secs 54 tries, 53176540 fired transitions, 1775 secs || 44095521 markings, 178551945 edges, 24363 markings/sec, 1775 secs 54 tries, 53320127 fired transitions, 1780 secs || 44214762 markings, 179051057 edges, 23848 markings/sec, 1780 secs 54 tries, 53463704 fired transitions, 1785 secs || 44334328 markings, 179536514 edges, 23913 markings/sec, 1785 secs 54 tries, 53607122 fired transitions, 1790 secs || 44453324 markings, 180034183 edges, 23799 markings/sec, 1790 secs 54 tries, 53748891 fired transitions, 1795 secs || 44574508 markings, 180537734 edges, 24237 markings/sec, 1795 secs 54 tries, 53892134 fired transitions, 1800 secs || 44695094 markings, 181050838 edges, 24117 markings/sec, 1800 secs 55 tries, 54035302 fired transitions, 1805 secs || 44811948 markings, 181664982 edges, 23371 markings/sec, 1805 secs 55 tries, 54178847 fired transitions, 1810 secs || 44935149 markings, 182152043 edges, 24640 markings/sec, 1810 secs 55 tries, 54323837 fired transitions, 1815 secs || 45056246 markings, 182637163 edges, 24219 markings/sec, 1815 secs 55 tries, 54468994 fired transitions, 1820 secs || 45173952 markings, 183193488 edges, 23541 markings/sec, 1820 secs 55 tries, 54614251 fired transitions, 1825 secs || 45290363 markings, 183754183 edges, 23282 markings/sec, 1825 secs 55 tries, 54760819 fired transitions, 1830 secs || 45407475 markings, 184308907 edges, 23422 markings/sec, 1830 secs 55 tries, 54906682 fired transitions, 1835 secs || 45523797 markings, 184896768 edges, 23264 markings/sec, 1835 secs 56 tries, 55051656 fired transitions, 1840 secs || 45646814 markings, 185328347 edges, 24603 markings/sec, 1840 secs 56 tries, 55198844 fired transitions, 1845 secs || 45767846 markings, 185821160 edges, 24206 markings/sec, 1845 secs 56 tries, 55344454 fired transitions, 1850 secs || 45889306 markings, 186288450 edges, 24292 markings/sec, 1850 secs 56 tries, 55490972 fired transitions, 1855 secs || 46009387 markings, 186778415 edges, 24016 markings/sec, 1855 secs 56 tries, 55637534 fired transitions, 1860 secs || 46128805 markings, 187272284 edges, 23884 markings/sec, 1860 secs 56 tries, 55782839 fired transitions, 1865 secs || 46251894 markings, 187700511 edges, 24618 markings/sec, 1865 secs 56 tries, 55928632 fired transitions, 1870 secs || 46372497 markings, 188160868 edges, 24121 markings/sec, 1870 secs 57 tries, 56076485 fired transitions, 1875 secs || 46492868 markings, 188643253 edges, 24074 markings/sec, 1875 secs 57 tries, 56225955 fired transitions, 1880 secs || 46611839 markings, 189188790 edges, 23794 markings/sec, 1880 secs 57 tries, 56374020 fired transitions, 1885 secs || 46734482 markings, 189686154 edges, 24529 markings/sec, 1885 secs 57 tries, 56520233 fired transitions, 1890 secs || 46853847 markings, 190288856 edges, 23873 markings/sec, 1890 secs 57 tries, 56665882 fired transitions, 1895 secs || 46977824 markings, 190813724 edges, 24795 markings/sec, 1895 secs 57 tries, 56812478 fired transitions, 1900 secs || 47096593 markings, 191323795 edges, 23754 markings/sec, 1900 secs 57 tries, 56958528 fired transitions, 1905 secs || 47220666 markings, 191841811 edges, 24815 markings/sec, 1905 secs 58 tries, 57101944 fired transitions, 1910 secs || 47342520 markings, 192386268 edges, 24371 markings/sec, 1910 secs 58 tries, 57244637 fired transitions, 1915 secs || 47465107 markings, 192893560 edges, 24517 markings/sec, 1915 secs 58 tries, 57388052 fired transitions, 1920 secs || 47585356 markings, 193462910 edges, 24050 markings/sec, 1920 secs 58 tries, 57530142 fired transitions, 1925 secs || 47707043 markings, 194002555 edges, 24337 markings/sec, 1925 secs 58 tries, 57672344 fired transitions, 1930 secs || 47829249 markings, 194522198 edges, 24441 markings/sec, 1930 secs 58 tries, 57815355 fired transitions, 1935 secs || 47949286 markings, 195083901 edges, 24007 markings/sec, 1935 secs 58 tries, 57957372 fired transitions, 1940 secs || 48068492 markings, 195625435 edges, 23841 markings/sec, 1940 secs 59 tries, 58102774 fired transitions, 1945 secs || 48190454 markings, 196135793 edges, 24392 markings/sec, 1945 secs 59 tries, 58249113 fired transitions, 1950 secs || 48313885 markings, 196640086 edges, 24686 markings/sec, 1950 secs 59 tries, 58394741 fired transitions, 1955 secs || 48437119 markings, 197149520 edges, 24647 markings/sec, 1955 secs 59 tries, 58540989 fired transitions, 1960 secs || 48558393 markings, 197700733 edges, 24255 markings/sec, 1960 secs 59 tries, 58687487 fired transitions, 1965 secs || 48680599 markings, 198217703 edges, 24441 markings/sec, 1965 secs 59 tries, 58837033 fired transitions, 1970 secs || 48800311 markings, 198719521 edges, 23942 markings/sec, 1970 secs 59 tries, 58983724 fired transitions, 1975 secs || 48923407 markings, 199224924 edges, 24619 markings/sec, 1975 secs 60 tries, 59129305 fired transitions, 1980 secs || 49042435 markings, 199755591 edges, 23806 markings/sec, 1980 secs 60 tries, 59274237 fired transitions, 1985 secs || 49162079 markings, 200284609 edges, 23929 markings/sec, 1985 secs 60 tries, 59417959 fired transitions, 1990 secs || 49283087 markings, 200778731 edges, 24202 markings/sec, 1990 secs 60 tries, 59558632 fired transitions, 1995 secs || 49406478 markings, 201288210 edges, 24678 markings/sec, 1995 secs 60 tries, 59699900 fired transitions, 2000 secs || 49530001 markings, 201800794 edges, 24705 markings/sec, 2000 secs 60 tries, 59841802 fired transitions, 2005 secs || 49651712 markings, 202362988 edges, 24342 markings/sec, 2005 secs 60 tries, 59983816 fired transitions, 2010 secs || 49772325 markings, 202936218 edges, 24123 markings/sec, 2010 secs 61 tries, 60127910 fired transitions, 2015 secs || 49892584 markings, 203544833 edges, 24052 markings/sec, 2015 secs 61 tries, 60271866 fired transitions, 2020 secs || 50013980 markings, 204123144 edges, 24279 markings/sec, 2020 secs 61 tries, 60415385 fired transitions, 2025 secs || 50139445 markings, 204624710 edges, 25093 markings/sec, 2025 secs 61 tries, 60559820 fired transitions, 2030 secs || 50261226 markings, 205194148 edges, 24356 markings/sec, 2030 secs 61 tries, 60703853 fired transitions, 2035 secs || 50385116 markings, 205721555 edges, 24778 markings/sec, 2035 secs 61 tries, 60848588 fired transitions, 2040 secs || 50507845 markings, 206276440 edges, 24546 markings/sec, 2040 secs 61 tries, 60993178 fired transitions, 2045 secs || 50629979 markings, 206845750 edges, 24427 markings/sec, 2045 secs 62 tries, 61145589 fired transitions, 2050 secs || 50750761 markings, 207387688 edges, 24156 markings/sec, 2050 secs 62 tries, 61298658 fired transitions, 2055 secs || 50871733 markings, 207915430 edges, 24194 markings/sec, 2055 secs 62 tries, 61450751 fired transitions, 2060 secs || 50991249 markings, 208477041 edges, 23903 markings/sec, 2060 secs 62 tries, 61603419 fired transitions, 2065 secs || 51109377 markings, 209049628 edges, 23626 markings/sec, 2065 secs 62 tries, 61754727 fired transitions, 2070 secs || 51229065 markings, 209623571 edges, 23938 markings/sec, 2070 secs 62 tries, 61906585 fired transitions, 2075 secs || 51348074 markings, 210201064 edges, 23802 markings/sec, 2075 secs 63 tries, 62054669 fired transitions, 2080 secs || 51468596 markings, 210769966 edges, 24104 markings/sec, 2080 secs 63 tries, 62196975 fired transitions, 2085 secs || 51590876 markings, 211346059 edges, 24456 markings/sec, 2085 secs 63 tries, 62339432 fired transitions, 2090 secs || 51712445 markings, 211910376 edges, 24314 markings/sec, 2090 secs 63 tries, 62482291 fired transitions, 2095 secs || 51833492 markings, 212481969 edges, 24209 markings/sec, 2095 secs 63 tries, 62625033 fired transitions, 2100 secs || 51953974 markings, 213067015 edges, 24096 markings/sec, 2100 secs 63 tries, 62770377 fired transitions, 2105 secs || 52072747 markings, 213617624 edges, 23755 markings/sec, 2105 secs 63 tries, 62915816 fired transitions, 2110 secs || 52190011 markings, 214188601 edges, 23453 markings/sec, 2110 secs 64 tries, 63052986 fired transitions, 2115 secs || 52306882 markings, 214754936 edges, 23374 markings/sec, 2115 secs 64 tries, 63193755 fired transitions, 2120 secs || 52422215 markings, 215305325 edges, 23067 markings/sec, 2120 secs 64 tries, 63344539 fired transitions, 2125 secs || 52539339 markings, 215843394 edges, 23425 markings/sec, 2125 secs 64 tries, 63495384 fired transitions, 2130 secs || 52656221 markings, 216398965 edges, 23376 markings/sec, 2130 secs 64 tries, 63646223 fired transitions, 2135 secs || 52773199 markings, 216953958 edges, 23396 markings/sec, 2135 secs 64 tries, 63796951 fired transitions, 2140 secs || 52889306 markings, 217519710 edges, 23221 markings/sec, 2140 secs 64 tries, 63947425 fired transitions, 2145 secs || 53006046 markings, 218061402 edges, 23348 markings/sec, 2145 secs 65 tries, 64094747 fired transitions, 2150 secs || 53121347 markings, 218613980 edges, 23060 markings/sec, 2150 secs 65 tries, 64240353 fired transitions, 2155 secs || 53236911 markings, 219147153 edges, 23113 markings/sec, 2155 secs 65 tries, 64394668 fired transitions, 2160 secs || 53353472 markings, 219708836 edges, 23312 markings/sec, 2160 secs 65 tries, 64540387 fired transitions, 2165 secs || 53468458 markings, 220241307 edges, 22997 markings/sec, 2165 secs 65 tries, 64686223 fired transitions, 2170 secs || 53584268 markings, 220750018 edges, 23162 markings/sec, 2170 secs 65 tries, 64836581 fired transitions, 2175 secs || 53704707 markings, 221327447 edges, 24088 markings/sec, 2175 secs 65 tries, 64994739 fired transitions, 2180 secs || 53830398 markings, 221903877 edges, 25138 markings/sec, 2180 secs 66 tries, 65144928 fired transitions, 2185 secs || 53948056 markings, 222411274 edges, 23532 markings/sec, 2185 secs 66 tries, 65295523 fired transitions, 2190 secs || 54065175 markings, 222935648 edges, 23424 markings/sec, 2190 secs 66 tries, 65445889 fired transitions, 2195 secs || 54181148 markings, 223455725 edges, 23195 markings/sec, 2195 secs 66 tries, 65596501 fired transitions, 2200 secs || 54298100 markings, 224008552 edges, 23390 markings/sec, 2200 secs 66 tries, 65746832 fired transitions, 2205 secs || 54414584 markings, 224554204 edges, 23297 markings/sec, 2205 secs 66 tries, 65910720 fired transitions, 2210 secs || 54541557 markings, 225134008 edges, 25395 markings/sec, 2210 secs 67 tries, 66059215 fired transitions, 2215 secs || 54658000 markings, 225651140 edges, 23289 markings/sec, 2215 secs 67 tries, 66204736 fired transitions, 2220 secs || 54777903 markings, 226159133 edges, 23981 markings/sec, 2220 secs 67 tries, 66350535 fired transitions, 2225 secs || 54894551 markings, 226701840 edges, 23330 markings/sec, 2225 secs 67 tries, 66495808 fired transitions, 2230 secs || 55012545 markings, 227203831 edges, 23599 markings/sec, 2230 secs 67 tries, 66641099 fired transitions, 2235 secs || 55130488 markings, 227763879 edges, 23589 markings/sec, 2235 secs 67 tries, 66787012 fired transitions, 2240 secs || 55248119 markings, 228324658 edges, 23526 markings/sec, 2240 secs 67 tries, 66932382 fired transitions, 2245 secs || 55366558 markings, 228857246 edges, 23688 markings/sec, 2245 secs 68 tries, 67080040 fired transitions, 2250 secs || 55484389 markings, 229408296 edges, 23566 markings/sec, 2250 secs 68 tries, 67229340 fired transitions, 2255 secs || 55601843 markings, 229950038 edges, 23491 markings/sec, 2255 secs 68 tries, 67378606 fired transitions, 2260 secs || 55716541 markings, 230527239 edges, 22940 markings/sec, 2260 secs 68 tries, 67540606 fired transitions, 2265 secs || 55846620 markings, 231065022 edges, 26016 markings/sec, 2265 secs 68 tries, 67689911 fired transitions, 2270 secs || 55963999 markings, 231596647 edges, 23476 markings/sec, 2270 secs 68 tries, 67838469 fired transitions, 2275 secs || 56082371 markings, 232122484 edges, 23674 markings/sec, 2275 secs 68 tries, 67992919 fired transitions, 2280 secs || 56209390 markings, 232607324 edges, 25404 markings/sec, 2280 secs 69 tries, 68139943 fired transitions, 2285 secs || 56330155 markings, 233128158 edges, 24153 markings/sec, 2285 secs 69 tries, 68292096 fired transitions, 2290 secs || 56456520 markings, 233635511 edges, 25273 markings/sec, 2290 secs 69 tries, 68439199 fired transitions, 2295 secs || 56572231 markings, 234137174 edges, 23142 markings/sec, 2295 secs 69 tries, 68585918 fired transitions, 2300 secs || 56691861 markings, 234663054 edges, 23926 markings/sec, 2300 secs 69 tries, 68730788 fired transitions, 2305 secs || 56815801 markings, 235119761 edges, 24788 markings/sec, 2305 secs 69 tries, 68874283 fired transitions, 2310 secs || 56937978 markings, 235679600 edges, 24435 markings/sec, 2310 secs 70 tries, 69033122 fired transitions, 2315 secs || 57068259 markings, 236237655 edges, 26056 markings/sec, 2315 secs 70 tries, 69181338 fired transitions, 2320 secs || 57191381 markings, 236732642 edges, 24624 markings/sec, 2320 secs 70 tries, 69326810 fired transitions, 2325 secs || 57311577 markings, 237261347 edges, 24039 markings/sec, 2325 secs 70 tries, 69472220 fired transitions, 2330 secs || 57429470 markings, 237833345 edges, 23579 markings/sec, 2330 secs 70 tries, 69617604 fired transitions, 2335 secs || 57548536 markings, 238376467 edges, 23813 markings/sec, 2335 secs 70 tries, 69762986 fired transitions, 2340 secs || 57667886 markings, 238935339 edges, 23870 markings/sec, 2340 secs 70 tries, 69908559 fired transitions, 2345 secs || 57788401 markings, 239456844 edges, 24103 markings/sec, 2345 secs 71 tries, 70068939 fired transitions, 2350 secs || 57917319 markings, 240038454 edges, 25784 markings/sec, 2350 secs 71 tries, 70219196 fired transitions, 2355 secs || 58038727 markings, 240542360 edges, 24282 markings/sec, 2355 secs 71 tries, 70370037 fired transitions, 2360 secs || 58156955 markings, 241121860 edges, 23646 markings/sec, 2360 secs 71 tries, 70520584 fired transitions, 2365 secs || 58274392 markings, 241714818 edges, 23487 markings/sec, 2365 secs 71 tries, 70670734 fired transitions, 2370 secs || 58395413 markings, 242242693 edges, 24204 markings/sec, 2370 secs 71 tries, 70820955 fired transitions, 2375 secs || 58515959 markings, 242759178 edges, 24109 markings/sec, 2375 secs 71 tries, 70971531 fired transitions, 2380 secs || 58634031 markings, 243311691 edges, 23614 markings/sec, 2380 secs 72 tries, 71133419 fired transitions, 2385 secs || 58762527 markings, 243867217 edges, 25699 markings/sec, 2385 secs 72 tries, 71281258 fired transitions, 2390 secs || 58882419 markings, 244383868 edges, 23978 markings/sec, 2390 secs 72 tries, 71429922 fired transitions, 2395 secs || 59002823 markings, 244888522 edges, 24081 markings/sec, 2395 secs 72 tries, 71577965 fired transitions, 2400 secs || 59123718 markings, 245399575 edges, 24179 markings/sec, 2400 secs 72 tries, 71734178 fired transitions, 2405 secs || 59247625 markings, 245971121 edges, 24781 markings/sec, 2405 secs 72 tries, 71882880 fired transitions, 2410 secs || 59364821 markings, 246517082 edges, 23439 markings/sec, 2410 secs 73 tries, 72043134 fired transitions, 2415 secs || 59494008 markings, 247087801 edges, 25837 markings/sec, 2415 secs 73 tries, 72188277 fired transitions, 2420 secs || 59613626 markings, 247616847 edges, 23924 markings/sec, 2420 secs 73 tries, 72333018 fired transitions, 2425 secs || 59734447 markings, 248124171 edges, 24164 markings/sec, 2425 secs 73 tries, 72478238 fired transitions, 2430 secs || 59853184 markings, 248671871 edges, 23747 markings/sec, 2430 secs 73 tries, 72623313 fired transitions, 2435 secs || 59972520 markings, 249202832 edges, 23867 markings/sec, 2435 secs 73 tries, 72768218 fired transitions, 2440 secs || 60092315 markings, 249743785 edges, 23959 markings/sec, 2440 secs 73 tries, 72912514 fired transitions, 2445 secs || 60212555 markings, 250230884 edges, 24048 markings/sec, 2445 secs 74 tries, 73076780 fired transitions, 2450 secs || 60330967 markings, 250750357 edges, 23682 markings/sec, 2450 secs 74 tries, 73265622 fired transitions, 2455 secs || 60447932 markings, 251277630 edges, 23393 markings/sec, 2455 secs 74 tries, 73478136 fired transitions, 2460 secs || 60561528 markings, 251831630 edges, 22719 markings/sec, 2460 secs 74 tries, 73707291 fired transitions, 2465 secs || 60684182 markings, 252447843 edges, 24531 markings/sec, 2465 secs 74 tries, 73939306 fired transitions, 2470 secs || 60808193 markings, 253097157 edges, 24802 markings/sec, 2470 secs 75 tries, 74118798 fired transitions, 2475 secs || 60936624 markings, 253681174 edges, 25686 markings/sec, 2475 secs 75 tries, 74279718 fired transitions, 2480 secs || 61067489 markings, 254257811 edges, 26173 markings/sec, 2480 secs 75 tries, 74432398 fired transitions, 2485 secs || 61188824 markings, 254793493 edges, 24267 markings/sec, 2485 secs 75 tries, 74581096 fired transitions, 2490 secs || 61306016 markings, 255319185 edges, 23438 markings/sec, 2490 secs 75 tries, 74730191 fired transitions, 2495 secs || 61421359 markings, 255879980 edges, 23069 markings/sec, 2495 secs 75 tries, 74878792 fired transitions, 2500 secs || 61537395 markings, 256438190 edges, 23207 markings/sec, 2500 secs 76 tries, 75028027 fired transitions, 2505 secs || 61654750 markings, 256953850 edges, 23471 markings/sec, 2505 secs 76 tries, 75179512 fired transitions, 2510 secs || 61772030 markings, 257503134 edges, 23456 markings/sec, 2510 secs 76 tries, 75331198 fired transitions, 2515 secs || 61888649 markings, 258067873 edges, 23324 markings/sec, 2515 secs 76 tries, 75483105 fired transitions, 2520 secs || 62003651 markings, 258642508 edges, 23000 markings/sec, 2520 secs 76 tries, 75635015 fired transitions, 2525 secs || 62119516 markings, 259221130 edges, 23173 markings/sec, 2525 secs 76 tries, 75786682 fired transitions, 2530 secs || 62236170 markings, 259787715 edges, 23331 markings/sec, 2530 secs 76 tries, 75938174 fired transitions, 2535 secs || 62353811 markings, 260345062 edges, 23528 markings/sec, 2535 secs 77 tries, 76089276 fired transitions, 2540 secs || 62472387 markings, 260914204 edges, 23715 markings/sec, 2540 secs 77 tries, 76247213 fired transitions, 2545 secs || 62598635 markings, 261522077 edges, 25250 markings/sec, 2545 secs 77 tries, 76405007 fired transitions, 2550 secs || 62723676 markings, 262149235 edges, 25008 markings/sec, 2550 secs 77 tries, 76563178 fired transitions, 2555 secs || 62850555 markings, 262748664 edges, 25376 markings/sec, 2555 secs 77 tries, 76721039 fired transitions, 2560 secs || 62975232 markings, 263370051 edges, 24935 markings/sec, 2560 secs 77 tries, 76879128 fired transitions, 2565 secs || 63099655 markings, 263985417 edges, 24885 markings/sec, 2565 secs 78 tries, 77034684 fired transitions, 2570 secs || 63224565 markings, 264574693 edges, 24982 markings/sec, 2570 secs 78 tries, 77192253 fired transitions, 2575 secs || 63350953 markings, 265198610 edges, 25278 markings/sec, 2575 secs 78 tries, 77349006 fired transitions, 2580 secs || 63477025 markings, 265818520 edges, 25214 markings/sec, 2580 secs 78 tries, 77494091 fired transitions, 2585 secs || 63592811 markings, 266378368 edges, 23157 markings/sec, 2585 secs 78 tries, 77649162 fired transitions, 2590 secs || 63715638 markings, 266947210 edges, 24565 markings/sec, 2590 secs 78 tries, 77796305 fired transitions, 2595 secs || 63828747 markings, 267489476 edges, 22622 markings/sec, 2595 secs 78 tries, 77943272 fired transitions, 2600 secs || 63941806 markings, 268044616 edges, 22612 markings/sec, 2600 secs 79 tries, 78092890 fired transitions, 2605 secs || 64054847 markings, 268600376 edges, 22608 markings/sec, 2605 secs 79 tries, 78244221 fired transitions, 2610 secs || 64169893 markings, 269120565 edges, 23009 markings/sec, 2610 secs 79 tries, 78395062 fired transitions, 2615 secs || 64286885 markings, 269624085 edges, 23398 markings/sec, 2615 secs 79 tries, 78540719 fired transitions, 2620 secs || 64402787 markings, 270145390 edges, 23180 markings/sec, 2620 secs 79 tries, 78693336 fired transitions, 2625 secs || 64520721 markings, 270676737 edges, 23587 markings/sec, 2625 secs 79 tries, 78855252 fired transitions, 2630 secs || 64645886 markings, 271231041 edges, 25033 markings/sec, 2630 secs 80 tries, 79016665 fired transitions, 2635 secs || 64772057 markings, 271785932 edges, 25234 markings/sec, 2635 secs 80 tries, 79174237 fired transitions, 2640 secs || 64896436 markings, 272379584 edges, 24876 markings/sec, 2640 secs 80 tries, 79331720 fired transitions, 2645 secs || 65021243 markings, 272935369 edges, 24961 markings/sec, 2645 secs 80 tries, 79489266 fired transitions, 2650 secs || 65147782 markings, 273464148 edges, 25308 markings/sec, 2650 secs 80 tries, 79645166 fired transitions, 2655 secs || 65271956 markings, 274041222 edges, 24835 markings/sec, 2655 secs 80 tries, 79792183 fired transitions, 2660 secs || 65387558 markings, 274545085 edges, 23120 markings/sec, 2660 secs 80 tries, 79938957 fired transitions, 2665 secs || 65503467 markings, 275076015 edges, 23182 markings/sec, 2665 secs 81 tries, 80086338 fired transitions, 2670 secs || 65619328 markings, 275596446 edges, 23172 markings/sec, 2670 secs 81 tries, 80234215 fired transitions, 2675 secs || 65733945 markings, 276147095 edges, 22923 markings/sec, 2675 secs 81 tries, 80382208 fired transitions, 2680 secs || 65848288 markings, 276712737 edges, 22869 markings/sec, 2680 secs 81 tries, 80529780 fired transitions, 2685 secs || 65963584 markings, 277272166 edges, 23059 markings/sec, 2685 secs 81 tries, 80677210 fired transitions, 2690 secs || 66080751 markings, 277826872 edges, 23433 markings/sec, 2690 secs 81 tries, 80824920 fired transitions, 2695 secs || 66195046 markings, 278389941 edges, 22859 markings/sec, 2695 secs 81 tries, 80971950 fired transitions, 2700 secs || 66313593 markings, 278909362 edges, 23709 markings/sec, 2700 secs 82 tries, 81121887 fired transitions, 2705 secs || 66432686 markings, 279425864 edges, 23819 markings/sec, 2705 secs 82 tries, 81272785 fired transitions, 2710 secs || 66548925 markings, 279965825 edges, 23248 markings/sec, 2710 secs 82 tries, 81423876 fired transitions, 2715 secs || 66663163 markings, 280530431 edges, 22848 markings/sec, 2715 secs 82 tries, 81585044 fired transitions, 2720 secs || 66788622 markings, 281116824 edges, 25092 markings/sec, 2720 secs 82 tries, 81747215 fired transitions, 2725 secs || 66914916 markings, 281726747 edges, 25259 markings/sec, 2725 secs 82 tries, 81897608 fired transitions, 2730 secs || 67029198 markings, 282282030 edges, 22856 markings/sec, 2730 secs 83 tries, 82046114 fired transitions, 2735 secs || 67149711 markings, 282805704 edges, 24103 markings/sec, 2735 secs 83 tries, 82193478 fired transitions, 2740 secs || 67270960 markings, 283331640 edges, 24250 markings/sec, 2740 secs 83 tries, 82341163 fired transitions, 2745 secs || 67390274 markings, 283899107 edges, 23863 markings/sec, 2745 secs 83 tries, 82488236 fired transitions, 2750 secs || 67512287 markings, 284419003 edges, 24403 markings/sec, 2750 secs 83 tries, 82635936 fired transitions, 2755 secs || 67631842 markings, 284969228 edges, 23911 markings/sec, 2755 secs 83 tries, 82784696 fired transitions, 2760 secs || 67751381 markings, 285522238 edges, 23908 markings/sec, 2760 secs 83 tries, 82935483 fired transitions, 2765 secs || 67864705 markings, 286061869 edges, 22665 markings/sec, 2765 secs 84 tries, 83085628 fired transitions, 2770 secs || 67980339 markings, 286555355 edges, 23127 markings/sec, 2770 secs 84 tries, 83226408 fired transitions, 2775 secs || 68097803 markings, 287085826 edges, 23493 markings/sec, 2775 secs 84 tries, 83360957 fired transitions, 2780 secs || 68213130 markings, 287645899 edges, 23065 markings/sec, 2780 secs 84 tries, 83505748 fired transitions, 2785 secs || 68327732 markings, 288213962 edges, 22920 markings/sec, 2785 secs 84 tries, 83650895 fired transitions, 2790 secs || 68440323 markings, 288806677 edges, 22518 markings/sec, 2790 secs 84 tries, 83804433 fired transitions, 2795 secs || 68557361 markings, 289325378 edges, 23408 markings/sec, 2795 secs 84 tries, 83957557 fired transitions, 2800 secs || 68673821 markings, 289837431 edges, 23292 markings/sec, 2800 secs 85 tries, 84110114 fired transitions, 2805 secs || 68788754 markings, 290411092 edges, 22987 markings/sec, 2805 secs 85 tries, 84261686 fired transitions, 2810 secs || 68906142 markings, 290942690 edges, 23478 markings/sec, 2810 secs 85 tries, 84413837 fired transitions, 2815 secs || 69019198 markings, 291531599 edges, 22611 markings/sec, 2815 secs 85 tries, 84563558 fired transitions, 2820 secs || 69131818 markings, 292126010 edges, 22524 markings/sec, 2820 secs 85 tries, 84715055 fired transitions, 2825 secs || 69249230 markings, 292662631 edges, 23482 markings/sec, 2825 secs 85 tries, 84867167 fired transitions, 2830 secs || 69363375 markings, 293253318 edges, 22829 markings/sec, 2830 secs 86 tries, 85018020 fired transitions, 2835 secs || 69480805 markings, 293765375 edges, 23486 markings/sec, 2835 secs 86 tries, 85166527 fired transitions, 2840 secs || 69595788 markings, 294350859 edges, 22997 markings/sec, 2840 secs 86 tries, 85315206 fired transitions, 2845 secs || 69709818 markings, 294916420 edges, 22806 markings/sec, 2845 secs 86 tries, 85463787 fired transitions, 2850 secs || 69824624 markings, 295461617 edges, 22961 markings/sec, 2850 secs 86 tries, 85611977 fired transitions, 2855 secs || 69941249 markings, 296012040 edges, 23325 markings/sec, 2855 secs 86 tries, 85759962 fired transitions, 2860 secs || 70057782 markings, 296589309 edges, 23307 markings/sec, 2860 secs 86 tries, 85908069 fired transitions, 2865 secs || 70174032 markings, 297161230 edges, 23250 markings/sec, 2865 secs 87 tries, 86063788 fired transitions, 2870 secs || 70297127 markings, 297816048 edges, 24619 markings/sec, 2870 secs 87 tries, 86222086 fired transitions, 2875 secs || 70425132 markings, 298411245 edges, 25601 markings/sec, 2875 secs 87 tries, 86381028 fired transitions, 2880 secs || 70551120 markings, 299044801 edges, 25198 markings/sec, 2880 secs 87 tries, 86521309 fired transitions, 2885 secs || 70665235 markings, 299659541 edges, 22823 markings/sec, 2885 secs 87 tries, 86672221 fired transitions, 2890 secs || 70778277 markings, 300277471 edges, 22608 markings/sec, 2890 secs 87 tries, 86822460 fired transitions, 2895 secs || 70891899 markings, 300871406 edges, 22724 markings/sec, 2895 secs 87 tries, 86972162 fired transitions, 2900 secs || 71010665 markings, 301396063 edges, 23753 markings/sec, 2900 secs 88 tries, 87120226 fired transitions, 2905 secs || 71128392 markings, 301908583 edges, 23545 markings/sec, 2905 secs 88 tries, 87268207 fired transitions, 2910 secs || 71243823 markings, 302455218 edges, 23086 markings/sec, 2910 secs 88 tries, 87416535 fired transitions, 2915 secs || 71359248 markings, 302978949 edges, 23085 markings/sec, 2915 secs 88 tries, 87564884 fired transitions, 2920 secs || 71473809 markings, 303492583 edges, 22912 markings/sec, 2920 secs 88 tries, 87713188 fired transitions, 2925 secs || 71588938 markings, 304009277 edges, 23026 markings/sec, 2925 secs 88 tries, 87861183 fired transitions, 2930 secs || 71704215 markings, 304519748 edges, 23055 markings/sec, 2930 secs 89 tries, 88009866 fired transitions, 2935 secs || 71818708 markings, 305032402 edges, 22899 markings/sec, 2935 secs 89 tries, 88170278 fired transitions, 2940 secs || 71941888 markings, 305587332 edges, 24636 markings/sec, 2940 secs 89 tries, 88332280 fired transitions, 2945 secs || 72070437 markings, 306171372 edges, 25710 markings/sec, 2945 secs 89 tries, 88494703 fired transitions, 2950 secs || 72199504 markings, 306739791 edges, 25813 markings/sec, 2950 secs 89 tries, 88657501 fired transitions, 2955 secs || 72327153 markings, 307358419 edges, 25530 markings/sec, 2955 secs 89 tries, 88814172 fired transitions, 2960 secs || 72449553 markings, 307960622 edges, 24480 markings/sec, 2960 secs 89 tries, 88964920 fired transitions, 2965 secs || 72567267 markings, 308495038 edges, 23543 markings/sec, 2965 secs 90 tries, 89114056 fired transitions, 2970 secs || 72683324 markings, 309036396 edges, 23211 markings/sec, 2970 secs 90 tries, 89262761 fired transitions, 2975 secs || 72798702 markings, 309597399 edges, 23076 markings/sec, 2975 secs 90 tries, 89411847 fired transitions, 2980 secs || 72912886 markings, 310142170 edges, 22837 markings/sec, 2980 secs 90 tries, 89572501 fired transitions, 2985 secs || 73039531 markings, 310731631 edges, 25329 markings/sec, 2985 secs 90 tries, 89732567 fired transitions, 2990 secs || 73169019 markings, 311309739 edges, 25898 markings/sec, 2990 secs 90 tries, 89893114 fired transitions, 2995 secs || 73295144 markings, 311960304 edges, 25225 markings/sec, 2995 secs 91 tries, 90052341 fired transitions, 3000 secs || 73424322 markings, 312546580 edges, 25836 markings/sec, 3000 secs 91 tries, 90211997 fired transitions, 3005 secs || 73551909 markings, 313159780 edges, 25517 markings/sec, 3005 secs 91 tries, 90371466 fired transitions, 3010 secs || 73678177 markings, 313795438 edges, 25254 markings/sec, 3010 secs 91 tries, 90530032 fired transitions, 3015 secs || 73803003 markings, 314428245 edges, 24965 markings/sec, 3015 secs 91 tries, 90675299 fired transitions, 3020 secs || 73926857 markings, 315004770 edges, 24771 markings/sec, 3020 secs 91 tries, 90826295 fired transitions, 3025 secs || 74044014 markings, 315561433 edges, 23431 markings/sec, 3025 secs 91 tries, 90978037 fired transitions, 3030 secs || 74158254 markings, 316169839 edges, 22848 markings/sec, 3030 secs 92 tries, 91125446 fired transitions, 3035 secs || 74275166 markings, 316726735 edges, 23382 markings/sec, 3035 secs 92 tries, 91272839 fired transitions, 3040 secs || 74388505 markings, 317334711 edges, 22668 markings/sec, 3040 secs 92 tries, 91419618 fired transitions, 3045 secs || 74505207 markings, 317882385 edges, 23340 markings/sec, 3045 secs 92 tries, 91566613 fired transitions, 3050 secs || 74620972 markings, 318437938 edges, 23153 markings/sec, 3050 secs 92 tries, 91711670 fired transitions, 3055 secs || 74736965 markings, 319050821 edges, 23199 markings/sec, 3055 secs 92 tries, 91858000 fired transitions, 3060 secs || 74854791 markings, 319591711 edges, 23565 markings/sec, 3060 secs 93 tries, 92003090 fired transitions, 3065 secs || 74968573 markings, 320193113 edges, 22756 markings/sec, 3065 secs 93 tries, 92154277 fired transitions, 3070 secs || 75081902 markings, 320783817 edges, 22666 markings/sec, 3070 secs 93 tries, 92305026 fired transitions, 3075 secs || 75198104 markings, 321352346 edges, 23240 markings/sec, 3075 secs 93 tries, 92456487 fired transitions, 3080 secs || 75312013 markings, 321945174 edges, 22782 markings/sec, 3080 secs 93 tries, 92607941 fired transitions, 3085 secs || 75427104 markings, 322548195 edges, 23018 markings/sec, 3085 secs 93 tries, 92759383 fired transitions, 3090 secs || 75541362 markings, 323155622 edges, 22852 markings/sec, 3090 secs 93 tries, 92910894 fired transitions, 3095 secs || 75654875 markings, 323770382 edges, 22703 markings/sec, 3095 secs 94 tries, 93062202 fired transitions, 3100 secs || 75768935 markings, 324389648 edges, 22812 markings/sec, 3100 secs 94 tries, 93212035 fired transitions, 3105 secs || 75885204 markings, 324982627 edges, 23254 markings/sec, 3105 secs 94 tries, 93363610 fired transitions, 3110 secs || 75998679 markings, 325616581 edges, 22695 markings/sec, 3110 secs 94 tries, 93514967 fired transitions, 3115 secs || 76111549 markings, 326269414 edges, 22574 markings/sec, 3115 secs 94 tries, 93666365 fired transitions, 3120 secs || 76223711 markings, 326920403 edges, 22432 markings/sec, 3120 secs 94 tries, 93817369 fired transitions, 3125 secs || 76337385 markings, 327509343 edges, 22735 markings/sec, 3125 secs 94 tries, 93967604 fired transitions, 3130 secs || 76456133 markings, 328046871 edges, 23750 markings/sec, 3130 secs 95 tries, 94117729 fired transitions, 3135 secs || 76570373 markings, 328633608 edges, 22848 markings/sec, 3135 secs 95 tries, 94267811 fired transitions, 3140 secs || 76684126 markings, 329211406 edges, 22751 markings/sec, 3140 secs 95 tries, 94417861 fired transitions, 3145 secs || 76797852 markings, 329797063 edges, 22745 markings/sec, 3145 secs 95 tries, 94567325 fired transitions, 3150 secs || 76912670 markings, 330379330 edges, 22964 markings/sec, 3150 secs 95 tries, 94717324 fired transitions, 3155 secs || 77026953 markings, 330962296 edges, 22857 markings/sec, 3155 secs 95 tries, 94867535 fired transitions, 3160 secs || 77140854 markings, 331539959 edges, 22780 markings/sec, 3160 secs 96 tries, 95017524 fired transitions, 3165 secs || 77254156 markings, 332131694 edges, 22660 markings/sec, 3165 secs 96 tries, 95165287 fired transitions, 3170 secs || 77367282 markings, 332722256 edges, 22625 markings/sec, 3170 secs 96 tries, 95313408 fired transitions, 3175 secs || 77480297 markings, 333305106 edges, 22603 markings/sec, 3175 secs 96 tries, 95462350 fired transitions, 3180 secs || 77594924 markings, 333906953 edges, 22925 markings/sec, 3180 secs 96 tries, 95609609 fired transitions, 3185 secs || 77709546 markings, 334478313 edges, 22924 markings/sec, 3185 secs 96 tries, 95756404 fired transitions, 3190 secs || 77824306 markings, 335066205 edges, 22952 markings/sec, 3190 secs 96 tries, 95902965 fired transitions, 3195 secs || 77936714 markings, 335673758 edges, 22482 markings/sec, 3195 secs 97 tries, 96051665 fired transitions, 3200 secs || 78053412 markings, 336257051 edges, 23340 markings/sec, 3200 secs 97 tries, 96214011 fired transitions, 3205 secs || 78178789 markings, 336910160 edges, 25075 markings/sec, 3205 secs 97 tries, 96376491 fired transitions, 3210 secs || 78304159 markings, 337554728 edges, 25074 markings/sec, 3210 secs 97 tries, 96539158 fired transitions, 3215 secs || 78429498 markings, 338199902 edges, 25068 markings/sec, 3215 secs 97 tries, 96693572 fired transitions, 3220 secs || 78549525 markings, 338822843 edges, 24005 markings/sec, 3220 secs 97 tries, 96846808 fired transitions, 3225 secs || 78663040 markings, 339436782 edges, 22703 markings/sec, 3225 secs 97 tries, 96999279 fired transitions, 3230 secs || 78778197 markings, 340027049 edges, 23031 markings/sec, 3230 secs 98 tries, 97144746 fired transitions, 3235 secs || 78894057 markings, 340612073 edges, 23172 markings/sec, 3235 secs 98 tries, 97300701 fired transitions, 3240 secs || 79018210 markings, 341270026 edges, 24831 markings/sec, 3240 secs 98 tries, 97437538 fired transitions, 3245 secs || 79131368 markings, 341858701 edges, 22632 markings/sec, 3245 secs 98 tries, 97583169 fired transitions, 3250 secs || 79246786 markings, 342442846 edges, 23084 markings/sec, 3250 secs 98 tries, 97729045 fired transitions, 3255 secs || 79361452 markings, 343027410 edges, 22933 markings/sec, 3255 secs 98 tries, 97875277 fired transitions, 3260 secs || 79476464 markings, 343616653 edges, 23002 markings/sec, 3260 secs 99 tries, 98032352 fired transitions, 3265 secs || 79601186 markings, 344247710 edges, 24944 markings/sec, 3265 secs 99 tries, 98182513 fired transitions, 3270 secs || 79714587 markings, 344847974 edges, 22680 markings/sec, 3270 secs 99 tries, 98332690 fired transitions, 3275 secs || 79827545 markings, 345439650 edges, 22592 markings/sec, 3275 secs 99 tries, 98487954 fired transitions, 3280 secs || 79944056 markings, 346055735 edges, 23302 markings/sec, 3280 secs 99 tries, 98649051 fired transitions, 3285 secs || 80068039 markings, 346690270 edges, 24797 markings/sec, 3285 secs 99 tries, 98810679 fired transitions, 3290 secs || 80191731 markings, 347309087 edges, 24738 markings/sec, 3290 secs 99 tries, 98972426 fired transitions, 3295 secs || 80314376 markings, 347932022 edges, 24529 markings/sec, 3295 secs 100 tries, 99130082 fired transitions, 3300 secs || 80438408 markings, 348551216 edges, 24806 markings/sec, 3300 secs 100 tries, 99287160 fired transitions, 3305 secs || 80566224 markings, 349139520 edges, 25563 markings/sec, 3305 secs 100 tries, 99443780 fired transitions, 3310 secs || 80693884 markings, 349726965 edges, 25532 markings/sec, 3310 secs 100 tries, 99600475 fired transitions, 3315 secs || 80819790 markings, 350345999 edges, 25181 markings/sec, 3315 secs 100 tries, 99756242 fired transitions, 3320 secs || 80944457 markings, 350972835 edges, 24933 markings/sec, 3320 secs 100 tries, 99912047 fired transitions, 3325 secs || 81069123 markings, 351590269 edges, 24933 markings/sec, 3325 secs 101 tries, 100069471 fired transitions, 3330 secs || 81193130 markings, 352211155 edges, 24801 markings/sec, 3330 secs 101 tries, 100228466 fired transitions, 3335 secs || 81319117 markings, 352804056 edges, 25197 markings/sec, 3335 secs 101 tries, 100369862 fired transitions, 3340 secs || 81440138 markings, 353398664 edges, 24204 markings/sec, 3340 secs 101 tries, 100522336 fired transitions, 3345 secs || 81550568 markings, 353983859 edges, 22086 markings/sec, 3345 secs 101 tries, 100674349 fired transitions, 3350 secs || 81663136 markings, 354547679 edges, 22514 markings/sec, 3350 secs 101 tries, 100826271 fired transitions, 3355 secs || 81775260 markings, 355121055 edges, 22425 markings/sec, 3355 secs 101 tries, 100978187 fired transitions, 3360 secs || 81886475 markings, 355694161 edges, 22243 markings/sec, 3360 secs 102 tries, 101127551 fired transitions, 3365 secs || 81996169 markings, 356272751 edges, 21939 markings/sec, 3365 secs 102 tries, 101286788 fired transitions, 3370 secs || 82116914 markings, 356903192 edges, 24149 markings/sec, 3370 secs 102 tries, 101448100 fired transitions, 3375 secs || 82239384 markings, 357534613 edges, 24494 markings/sec, 3375 secs 102 tries, 101609472 fired transitions, 3380 secs || 82361302 markings, 358137473 edges, 24384 markings/sec, 3380 secs 102 tries, 101756793 fired transitions, 3385 secs || 82479802 markings, 358691262 edges, 23700 markings/sec, 3385 secs 102 tries, 101899702 fired transitions, 3390 secs || 82597984 markings, 359283733 edges, 23636 markings/sec, 3390 secs 103 tries, 102043584 fired transitions, 3395 secs || 82715161 markings, 359872529 edges, 23435 markings/sec, 3395 secs 103 tries, 102190986 fired transitions, 3400 secs || 82831560 markings, 360424858 edges, 23280 markings/sec, 3400 secs 103 tries, 102338017 fired transitions, 3405 secs || 82947751 markings, 360979558 edges, 23238 markings/sec, 3405 secs 103 tries, 102484942 fired transitions, 3410 secs || 83064703 markings, 361536926 edges, 23390 markings/sec, 3410 secs 103 tries, 102631402 fired transitions, 3415 secs || 83182054 markings, 362106981 edges, 23470 markings/sec, 3415 secs 103 tries, 102779157 fired transitions, 3420 secs || 83296459 markings, 362655369 edges, 22881 markings/sec, 3420 secs 103 tries, 102926228 fired transitions, 3425 secs || 83412278 markings, 363231761 edges, 23164 markings/sec, 3425 secs 104 tries, 103074103 fired transitions, 3430 secs || 83529994 markings, 363803220 edges, 23543 markings/sec, 3430 secs 104 tries, 103222226 fired transitions, 3435 secs || 83646683 markings, 364389023 edges, 23338 markings/sec, 3435 secs 104 tries, 103370799 fired transitions, 3440 secs || 83763353 markings, 364960751 edges, 23334 markings/sec, 3440 secs 104 tries, 103523244 fired transitions, 3445 secs || 83881241 markings, 365535697 edges, 23578 markings/sec, 3445 secs 104 tries, 103686500 fired transitions, 3450 secs || 84007582 markings, 366131320 edges, 25268 markings/sec, 3450 secs 104 tries, 103830068 fired transitions, 3455 secs || 84122138 markings, 366679064 edges, 22911 markings/sec, 3455 secs 104 tries, 103984259 fired transitions, 3460 secs || 84234258 markings, 367220609 edges, 22424 markings/sec, 3460 secs 105 tries, 104134122 fired transitions, 3465 secs || 84348708 markings, 367777423 edges, 22890 markings/sec, 3465 secs 105 tries, 104283724 fired transitions, 3470 secs || 84461506 markings, 368314809 edges, 22560 markings/sec, 3470 secs 105 tries, 104433515 fired transitions, 3475 secs || 84576264 markings, 368822244 edges, 22952 markings/sec, 3475 secs 105 tries, 104583110 fired transitions, 3480 secs || 84690984 markings, 369382210 edges, 22944 markings/sec, 3480 secs 105 tries, 104732876 fired transitions, 3485 secs || 84804325 markings, 369937655 edges, 22668 markings/sec, 3485 secs 105 tries, 104882712 fired transitions, 3490 secs || 84917272 markings, 370473421 edges, 22589 markings/sec, 3490 secs 106 tries, 105031152 fired transitions, 3495 secs || 85032646 markings, 371036299 edges, 23075 markings/sec, 3495 secs 106 tries, 105179395 fired transitions, 3500 secs || 85147304 markings, 371589129 edges, 22932 markings/sec, 3500 secs 106 tries, 105328118 fired transitions, 3505 secs || 85260481 markings, 372142889 edges, 22635 markings/sec, 3505 secs 106 tries, 105476862 fired transitions, 3510 secs || 85374895 markings, 372682656 edges, 22883 markings/sec, 3510 secs 106 tries, 105625245 fired transitions, 3515 secs || 85489814 markings, 373240152 edges, 22984 markings/sec, 3515 secs 106 tries, 105773457 fired transitions, 3520 secs || 85606954 markings, 373790012 edges, 23428 markings/sec, 3520 secs 106 tries, 105921353 fired transitions, 3525 secs || 85725040 markings, 374312657 edges, 23617 markings/sec, 3525 secs 107 tries, 106069163 fired transitions, 3530 secs || 85839829 markings, 374915020 edges, 22958 markings/sec, 3530 secs 107 tries, 106216809 fired transitions, 3535 secs || 85954516 markings, 375479712 edges, 22937 markings/sec, 3535 secs 107 tries, 106364405 fired transitions, 3540 secs || 86070010 markings, 376043146 edges, 23099 markings/sec, 3540 secs 107 tries, 106511841 fired transitions, 3545 secs || 86187396 markings, 376603070 edges, 23477 markings/sec, 3545 secs 107 tries, 106658827 fired transitions, 3550 secs || 86307819 markings, 377122741 edges, 24085 markings/sec, 3550 secs 107 tries, 106805884 fired transitions, 3555 secs || 86425498 markings, 377677538 edges, 23536 markings/sec, 3555 secs 107 tries, 106951775 fired transitions, 3560 secs || 86548667 markings, 378180880 edges, 24634 markings/sec, 3560 secs reached - aborting 2917384 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-12ringLLLarge"
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-12ringLLLarge.tgz
mv DNAwalker-PT-12ringLLLarge 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-12ringLLLarge, 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-152649735500307"
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 ;