MCC'2018 - Execution of r064-smll-152649735300153

About the Execution of LoLA for DLCround-PT-13b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.360	3160970.00	6257796.00	22880.60	[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 2.3M
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-13b,
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 DLCround-PT

=== Now, execution

BK_START 1526688177579

info: Time: 3600 - MCC
========================
prep: translating
========================
prep: translating
prep: net is already safe
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: 14070/65536
lola: preprocessing...
lola: Size of bit vector: 5343
lola: finding
lola: 5343 places,
lola: computing
lola: computing
lola: 12738 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: rewrite
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: computed
lola: representing
lola: 0 dead
lola: STP: formula
lola: stp: The
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||

BK_STOP 1526691338549

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

Killed
be ready (probing ssh) ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... users 3.3K May 15 18:54 CTLCardinality.txt 18K May 15 18:54 CTLCardinality.xml users 2.3K May 15 18:54 CTLFireability.txt 15K May 15 18:54 CTLFireability.xml users 4.0K May 15 18:50 GenericPropertiesDefinition.xml users 5.9K May 15 18:50 GenericPropertiesVerdict.xml users 2.6K May 15 18:54 LTLCardinality.txt 13K May 15 18:54 LTLCardinality.xml users 1.9K May 15 18:54 LTLFireability.txt users 9.4K May 15 18:54 LTLFireability.xml users 3.5K May 15 18:54 ReachabilityCardinality.txt 18K May 15 18:54 ReachabilityCardinality.xml 106 May 15 18:54 ReachabilityDeadlock.txt 344 May 15 18:54 ReachabilityDeadlock.xml users 2.7K May 15 18:54 ReachabilityFireability.txt 17K May 15 18:54 ReachabilityFireability.xml users 1.6K May 15 18:54 UpperBounds.txt users 3.6K May 15 18:54 UpperBounds.xml 6 May 15 18:50 equiv_col 4 May 15 18:50 instance 6 May 15 18:50 iscolored users 2.1M May 15 18:50 model.pnml =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735300153 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -13b-ReachabilityDeadlock-0 of the tool begins =================================================================== DLCround-PT-13b Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DLCround-PT-13b formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DLCround-PT-13b @ 3570 seconds run for 3570 seconds at most (--timelimit) net from model.pnml.lola net file model.pnml.lola symbol table entries, 4277 collisions significant places 8727 transitions, 5031 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-13b-ReachabilityDeadlock.task Frontend/Parser/formula_rewrite.k:106 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) simple compression encoder (--encoder=simplecompressed) prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 18 generators (18 in search tree, 0 by composition) 262144 symmetries branches visited in search tree with 172226 variables and 528563 clauses shipped to Minisat siphon/trap property does not hold 1 tries, 83055 fired transitions, 0 secs || 48718 markings, 55146 edges, 9744 markings/sec, 0 secs 1 tries, 166999 fired transitions, 5 secs || 101957 markings, 115048 edges, 10648 markings/sec, 5 secs 1 tries, 249225 fired transitions, 10 secs || 151790 markings, 170681 edges, 9967 markings/sec, 10 secs 1 tries, 329711 fired transitions, 15 secs || 195221 markings, 218937 edges, 8686 markings/sec, 15 secs 1 tries, 411607 fired transitions, 20 secs || 246701 markings, 276956 edges, 10296 markings/sec, 20 secs 1 tries, 495692 fired transitions, 25 secs || 300521 markings, 337857 edges, 10764 markings/sec, 25 secs 1 tries, 577058 fired transitions, 30 secs || 350326 markings, 393655 edges, 9961 markings/sec, 30 secs 1 tries, 658521 fired transitions, 35 secs || 404364 markings, 454695 edges, 10808 markings/sec, 35 secs 1 tries, 741529 fired transitions, 40 secs || 460024 markings, 517800 edges, 11132 markings/sec, 40 secs 1 tries, 824214 fired transitions, 45 secs || 513394 markings, 577879 edges, 10674 markings/sec, 45 secs 1 tries, 906916 fired transitions, 50 secs || 560651 markings, 630076 edges, 9451 markings/sec, 50 secs 1 tries, 990130 fired transitions, 55 secs || 611733 markings, 687487 edges, 10216 markings/sec, 55 secs 2 tries, 1074454 fired transitions, 60 secs || 667476 markings, 750830 edges, 11149 markings/sec, 60 secs 2 tries, 1156861 fired transitions, 65 secs || 718686 markings, 808259 edges, 10242 markings/sec, 65 secs 2 tries, 1239047 fired transitions, 70 secs || 767498 markings, 862646 edges, 9762 markings/sec, 70 secs 2 tries, 1320842 fired transitions, 75 secs || 816755 markings, 917621 edges, 9851 markings/sec, 75 secs 2 tries, 1403756 fired transitions, 80 secs || 868881 markings, 976473 edges, 10425 markings/sec, 80 secs 2 tries, 1485820 fired transitions, 85 secs || 918178 markings, 1031473 edges, 9859 markings/sec, 85 secs 2 tries, 1570203 fired transitions, 90 secs || 966482 markings, 1085423 edges, 9661 markings/sec, 90 secs 2 tries, 1653969 fired transitions, 95 secs || 1019712 markings, 1145556 edges, 10646 markings/sec, 95 secs 2 tries, 1735997 fired transitions, 100 secs || 1069642 markings, 1201880 edges, 9986 markings/sec, 100 secs 2 tries, 1818789 fired transitions, 105 secs || 1122482 markings, 1261623 edges, 10568 markings/sec, 105 secs 2 tries, 1901744 fired transitions, 110 secs || 1170508 markings, 1315794 edges, 9605 markings/sec, 110 secs 2 tries, 1983934 fired transitions, 115 secs || 1218049 markings, 1368609 edges, 9508 markings/sec, 115 secs 3 tries, 2068523 fired transitions, 120 secs || 1273137 markings, 1431295 edges, 11018 markings/sec, 120 secs 3 tries, 2152510 fired transitions, 125 secs || 1330148 markings, 1496773 edges, 11402 markings/sec, 125 secs 3 tries, 2237701 fired transitions, 130 secs || 1386716 markings, 1561366 edges, 11314 markings/sec, 130 secs 3 tries, 2322155 fired transitions, 135 secs || 1442952 markings, 1625480 edges, 11247 markings/sec, 135 secs 3 tries, 2406827 fired transitions, 140 secs || 1499605 markings, 1690105 edges, 11331 markings/sec, 140 secs 3 tries, 2492058 fired transitions, 145 secs || 1555186 markings, 1753558 edges, 11116 markings/sec, 145 secs 3 tries, 2575894 fired transitions, 150 secs || 1611316 markings, 1817783 edges, 11226 markings/sec, 150 secs 3 tries, 2660049 fired transitions, 155 secs || 1668009 markings, 1882331 edges, 11339 markings/sec, 155 secs 3 tries, 2745735 fired transitions, 160 secs || 1726153 markings, 1949247 edges, 11629 markings/sec, 160 secs 3 tries, 2828037 fired transitions, 165 secs || 1782538 markings, 2013822 edges, 11277 markings/sec, 165 secs 3 tries, 2913183 fired transitions, 170 secs || 1835631 markings, 2073304 edges, 10619 markings/sec, 170 secs 3 tries, 2999580 fired transitions, 175 secs || 1882980 markings, 2125719 edges, 9470 markings/sec, 175 secs 4 tries, 3086773 fired transitions, 180 secs || 1935559 markings, 2185557 edges, 10516 markings/sec, 180 secs 4 tries, 3172066 fired transitions, 185 secs || 1992165 markings, 2250200 edges, 11321 markings/sec, 185 secs 4 tries, 3257205 fired transitions, 190 secs || 2049475 markings, 2315674 edges, 11462 markings/sec, 190 secs 4 tries, 3341354 fired transitions, 195 secs || 2100090 markings, 2372707 edges, 10123 markings/sec, 195 secs 4 tries, 3426498 fired transitions, 200 secs || 2147732 markings, 2425983 edges, 9528 markings/sec, 200 secs 4 tries, 3511129 fired transitions, 205 secs || 2195747 markings, 2480275 edges, 9603 markings/sec, 205 secs 4 tries, 3595374 fired transitions, 210 secs || 2247134 markings, 2537912 edges, 10277 markings/sec, 210 secs 4 tries, 3680596 fired transitions, 215 secs || 2293727 markings, 2589561 edges, 9319 markings/sec, 215 secs 4 tries, 3764736 fired transitions, 220 secs || 2343600 markings, 2645514 edges, 9975 markings/sec, 220 secs 4 tries, 3848960 fired transitions, 225 secs || 2389942 markings, 2697265 edges, 9268 markings/sec, 225 secs 4 tries, 3933481 fired transitions, 230 secs || 2436686 markings, 2748853 edges, 9349 markings/sec, 230 secs 5 tries, 4015012 fired transitions, 235 secs || 2483284 markings, 2800238 edges, 9320 markings/sec, 235 secs 5 tries, 4102152 fired transitions, 240 secs || 2531648 markings, 2854449 edges, 9673 markings/sec, 240 secs 5 tries, 4188198 fired transitions, 245 secs || 2579244 markings, 2907274 edges, 9519 markings/sec, 245 secs 5 tries, 4272049 fired transitions, 250 secs || 2631438 markings, 2965820 edges, 10439 markings/sec, 250 secs 5 tries, 4352755 fired transitions, 255 secs || 2685121 markings, 3026242 edges, 10737 markings/sec, 255 secs 5 tries, 4433472 fired transitions, 260 secs || 2730903 markings, 3077709 edges, 9156 markings/sec, 260 secs 5 tries, 4513327 fired transitions, 265 secs || 2775997 markings, 3128231 edges, 9019 markings/sec, 265 secs 5 tries, 4592408 fired transitions, 270 secs || 2821745 markings, 3178786 edges, 9150 markings/sec, 270 secs 5 tries, 4672852 fired transitions, 275 secs || 2869971 markings, 3232531 edges, 9645 markings/sec, 275 secs 5 tries, 4752766 fired transitions, 280 secs || 2919144 markings, 3288859 edges, 9835 markings/sec, 280 secs 5 tries, 4835534 fired transitions, 285 secs || 2967842 markings, 3343151 edges, 9740 markings/sec, 285 secs 5 tries, 4920083 fired transitions, 290 secs || 3019438 markings, 3401111 edges, 10319 markings/sec, 290 secs 6 tries, 5004611 fired transitions, 295 secs || 3076339 markings, 3466287 edges, 11380 markings/sec, 295 secs 6 tries, 5090458 fired transitions, 300 secs || 3121240 markings, 3516020 edges, 8980 markings/sec, 300 secs 6 tries, 5175869 fired transitions, 305 secs || 3171255 markings, 3572254 edges, 10003 markings/sec, 305 secs 6 tries, 5261914 fired transitions, 310 secs || 3219107 markings, 3625242 edges, 9570 markings/sec, 310 secs 6 tries, 5348402 fired transitions, 315 secs || 3268572 markings, 3680307 edges, 9893 markings/sec, 315 secs 6 tries, 5432896 fired transitions, 320 secs || 3318139 markings, 3735422 edges, 9913 markings/sec, 320 secs 6 tries, 5519749 fired transitions, 325 secs || 3374229 markings, 3798610 edges, 11218 markings/sec, 325 secs 6 tries, 5604336 fired transitions, 330 secs || 3421490 markings, 3851136 edges, 9452 markings/sec, 330 secs 6 tries, 5689208 fired transitions, 335 secs || 3467277 markings, 3902026 edges, 9157 markings/sec, 335 secs 6 tries, 5775351 fired transitions, 340 secs || 3522118 markings, 3963935 edges, 10968 markings/sec, 340 secs 6 tries, 5861935 fired transitions, 345 secs || 3572807 markings, 4020780 edges, 10138 markings/sec, 345 secs 6 tries, 5947606 fired transitions, 350 secs || 3626012 markings, 4080718 edges, 10641 markings/sec, 350 secs 7 tries, 6035677 fired transitions, 355 secs || 3680954 markings, 4142818 edges, 10988 markings/sec, 355 secs 7 tries, 6122136 fired transitions, 360 secs || 3730826 markings, 4198227 edges, 9974 markings/sec, 360 secs 7 tries, 6209118 fired transitions, 365 secs || 3780366 markings, 4253317 edges, 9908 markings/sec, 365 secs 7 tries, 6296362 fired transitions, 370 secs || 3830400 markings, 4309266 edges, 10007 markings/sec, 370 secs 7 tries, 6384040 fired transitions, 375 secs || 3883198 markings, 4369099 edges, 10560 markings/sec, 375 secs 7 tries, 6472210 fired transitions, 380 secs || 3934366 markings, 4426340 edges, 10234 markings/sec, 380 secs 7 tries, 6559345 fired transitions, 385 secs || 3982256 markings, 4479367 edges, 9578 markings/sec, 385 secs 7 tries, 6645794 fired transitions, 390 secs || 4038626 markings, 4543355 edges, 11274 markings/sec, 390 secs 7 tries, 6728055 fired transitions, 395 secs || 4086446 markings, 4596530 edges, 9564 markings/sec, 395 secs 7 tries, 6813226 fired transitions, 400 secs || 4133610 markings, 4648531 edges, 9433 markings/sec, 400 secs 7 tries, 6897073 fired transitions, 405 secs || 4188961 markings, 4711279 edges, 11070 markings/sec, 405 secs 7 tries, 6982916 fired transitions, 410 secs || 4246518 markings, 4776960 edges, 11511 markings/sec, 410 secs 8 tries, 7068355 fired transitions, 415 secs || 4303539 markings, 4842104 edges, 11404 markings/sec, 415 secs 8 tries, 7150612 fired transitions, 420 secs || 4358334 markings, 4904696 edges, 10959 markings/sec, 420 secs 8 tries, 7234109 fired transitions, 425 secs || 4412939 markings, 4967082 edges, 10921 markings/sec, 425 secs 8 tries, 7315438 fired transitions, 430 secs || 4467716 markings, 5029702 edges, 10955 markings/sec, 430 secs 8 tries, 7396672 fired transitions, 435 secs || 4521844 markings, 5091565 edges, 10826 markings/sec, 435 secs 8 tries, 7479164 fired transitions, 440 secs || 4575841 markings, 5153270 edges, 10799 markings/sec, 440 secs 8 tries, 7561664 fired transitions, 445 secs || 4630265 markings, 5215393 edges, 10885 markings/sec, 445 secs 8 tries, 7645156 fired transitions, 450 secs || 4684934 markings, 5277977 edges, 10934 markings/sec, 450 secs 8 tries, 7727562 fired transitions, 455 secs || 4739571 markings, 5340512 edges, 10927 markings/sec, 455 secs 8 tries, 7809541 fired transitions, 460 secs || 4794695 markings, 5403348 edges, 11025 markings/sec, 460 secs 8 tries, 7891013 fired transitions, 465 secs || 4849038 markings, 5465497 edges, 10869 markings/sec, 465 secs 8 tries, 7973441 fired transitions, 470 secs || 4903808 markings, 5528076 edges, 10954 markings/sec, 470 secs 9 tries, 8056856 fired transitions, 475 secs || 4958026 markings, 5589951 edges, 10844 markings/sec, 475 secs 9 tries, 8140250 fired transitions, 480 secs || 5012736 markings, 5652354 edges, 10942 markings/sec, 480 secs 9 tries, 8222436 fired transitions, 485 secs || 5068028 markings, 5715408 edges, 11058 markings/sec, 485 secs 9 tries, 8306074 fired transitions, 490 secs || 5122349 markings, 5777484 edges, 10864 markings/sec, 490 secs 9 tries, 8389449 fired transitions, 495 secs || 5177935 markings, 5840813 edges, 11117 markings/sec, 495 secs 9 tries, 8472576 fired transitions, 500 secs || 5232370 markings, 5902902 edges, 10887 markings/sec, 500 secs 9 tries, 8554384 fired transitions, 505 secs || 5286227 markings, 5964305 edges, 10771 markings/sec, 505 secs 9 tries, 8637647 fired transitions, 510 secs || 5339517 markings, 6025151 edges, 10658 markings/sec, 510 secs 9 tries, 8720118 fired transitions, 515 secs || 5393180 markings, 6086541 edges, 10733 markings/sec, 515 secs 9 tries, 8802890 fired transitions, 520 secs || 5447915 markings, 6148895 edges, 10947 markings/sec, 520 secs 9 tries, 8884676 fired transitions, 525 secs || 5498619 markings, 6205955 edges, 10141 markings/sec, 525 secs 9 tries, 8968013 fired transitions, 530 secs || 5551988 markings, 6266475 edges, 10674 markings/sec, 530 secs 10 tries, 9055088 fired transitions, 535 secs || 5606619 markings, 6328926 edges, 10926 markings/sec, 535 secs 10 tries, 9139174 fired transitions, 540 secs || 5662480 markings, 6392600 edges, 11172 markings/sec, 540 secs 10 tries, 9223993 fired transitions, 545 secs || 5716502 markings, 6454321 edges, 10804 markings/sec, 545 secs 10 tries, 9309805 fired transitions, 550 secs || 5770541 markings, 6515971 edges, 10808 markings/sec, 550 secs 10 tries, 9393752 fired transitions, 555 secs || 5824643 markings, 6578026 edges, 10820 markings/sec, 555 secs 10 tries, 9479550 fired transitions, 560 secs || 5878711 markings, 6639619 edges, 10814 markings/sec, 560 secs 10 tries, 9563647 fired transitions, 565 secs || 5932383 markings, 6700947 edges, 10734 markings/sec, 565 secs 10 tries, 9647949 fired transitions, 570 secs || 5987886 markings, 6764345 edges, 11101 markings/sec, 570 secs 10 tries, 9732648 fired transitions, 575 secs || 6043093 markings, 6827354 edges, 11041 markings/sec, 575 secs 10 tries, 9816153 fired transitions, 580 secs || 6098874 markings, 6890961 edges, 11156 markings/sec, 580 secs 10 tries, 9896631 fired transitions, 585 secs || 6154574 markings, 6954539 edges, 11140 markings/sec, 585 secs 10 tries, 9978634 fired transitions, 590 secs || 6210041 markings, 7017888 edges, 11093 markings/sec, 590 secs 11 tries, 10061895 fired transitions, 595 secs || 6264339 markings, 7079994 edges, 10860 markings/sec, 595 secs 11 tries, 10142125 fired transitions, 600 secs || 6318610 markings, 7142079 edges, 10854 markings/sec, 600 secs 11 tries, 10224507 fired transitions, 605 secs || 6371711 markings, 7202740 edges, 10620 markings/sec, 605 secs 11 tries, 10306870 fired transitions, 610 secs || 6425627 markings, 7264254 edges, 10783 markings/sec, 610 secs 11 tries, 10388117 fired transitions, 615 secs || 6475080 markings, 7319790 edges, 9891 markings/sec, 615 secs 11 tries, 10469989 fired transitions, 620 secs || 6524006 markings, 7374783 edges, 9785 markings/sec, 620 secs 11 tries, 10552440 fired transitions, 625 secs || 6579262 markings, 7437950 edges, 11051 markings/sec, 625 secs 11 tries, 10634262 fired transitions, 630 secs || 6633483 markings, 7500012 edges, 10844 markings/sec, 630 secs 11 tries, 10716260 fired transitions, 635 secs || 6683108 markings, 7555689 edges, 9925 markings/sec, 635 secs 11 tries, 10799333 fired transitions, 640 secs || 6735285 markings, 7614597 edges, 10435 markings/sec, 640 secs 11 tries, 10882145 fired transitions, 645 secs || 6789290 markings, 7676198 edges, 10801 markings/sec, 645 secs 11 tries, 10965360 fired transitions, 650 secs || 6843373 markings, 7737904 edges, 10817 markings/sec, 650 secs 12 tries, 11049531 fired transitions, 655 secs || 6899216 markings, 7801720 edges, 11169 markings/sec, 655 secs 12 tries, 11131852 fired transitions, 660 secs || 6954856 markings, 7865195 edges, 11128 markings/sec, 660 secs 12 tries, 11213604 fired transitions, 665 secs || 7010196 markings, 7928406 edges, 11068 markings/sec, 665 secs 12 tries, 11297425 fired transitions, 670 secs || 7064138 markings, 7990014 edges, 10788 markings/sec, 670 secs 12 tries, 11378151 fired transitions, 675 secs || 7111284 markings, 8042495 edges, 9429 markings/sec, 675 secs 12 tries, 11463505 fired transitions, 680 secs || 7156825 markings, 8092722 edges, 9108 markings/sec, 680 secs 12 tries, 11543244 fired transitions, 685 secs || 7201813 markings, 8142501 edges, 8998 markings/sec, 685 secs 12 tries, 11628750 fired transitions, 690 secs || 7253891 markings, 8200940 edges, 10416 markings/sec, 690 secs 12 tries, 11714517 fired transitions, 695 secs || 7302659 markings, 8255179 edges, 9754 markings/sec, 695 secs 12 tries, 11800908 fired transitions, 700 secs || 7354611 markings, 8313415 edges, 10390 markings/sec, 700 secs 12 tries, 11886686 fired transitions, 705 secs || 7405486 markings, 8370548 edges, 10175 markings/sec, 705 secs 12 tries, 11972593 fired transitions, 710 secs || 7455474 markings, 8426563 edges, 9998 markings/sec, 710 secs 13 tries, 12058034 fired transitions, 715 secs || 7503477 markings, 8480394 edges, 9601 markings/sec, 715 secs 13 tries, 12143210 fired transitions, 720 secs || 7555102 markings, 8538818 edges, 10325 markings/sec, 720 secs 13 tries, 12230057 fired transitions, 725 secs || 7611044 markings, 8602695 edges, 11188 markings/sec, 725 secs 13 tries, 12315650 fired transitions, 730 secs || 7660369 markings, 8657894 edges, 9865 markings/sec, 730 secs 13 tries, 12395817 fired transitions, 735 secs || 7710555 markings, 8714452 edges, 10037 markings/sec, 735 secs 13 tries, 12475533 fired transitions, 740 secs || 7759343 markings, 8769193 edges, 9758 markings/sec, 740 secs 13 tries, 12558333 fired transitions, 745 secs || 7813742 markings, 8831719 edges, 10880 markings/sec, 745 secs 13 tries, 12639330 fired transitions, 750 secs || 7865915 markings, 8890886 edges, 10435 markings/sec, 750 secs 13 tries, 12720144 fired transitions, 755 secs || 7915589 markings, 8946720 edges, 9935 markings/sec, 755 secs 13 tries, 12804592 fired transitions, 760 secs || 7971557 markings, 9010336 edges, 11194 markings/sec, 760 secs 13 tries, 12886873 fired transitions, 765 secs || 8017686 markings, 9061684 edges, 9226 markings/sec, 765 secs 13 tries, 12966379 fired transitions, 770 secs || 8063498 markings, 9112466 edges, 9162 markings/sec, 770 secs 14 tries, 13050221 fired transitions, 775 secs || 8112683 markings, 9167399 edges, 9837 markings/sec, 775 secs 14 tries, 13131353 fired transitions, 780 secs || 8159762 markings, 9219608 edges, 9416 markings/sec, 780 secs 14 tries, 13214321 fired transitions, 785 secs || 8209658 markings, 9275593 edges, 9979 markings/sec, 785 secs 14 tries, 13295872 fired transitions, 790 secs || 8257702 markings, 9329359 edges, 9609 markings/sec, 790 secs 14 tries, 13377161 fired transitions, 795 secs || 8308013 markings, 9386265 edges, 10062 markings/sec, 795 secs 14 tries, 13457826 fired transitions, 800 secs || 8356426 markings, 9440458 edges, 9683 markings/sec, 800 secs 14 tries, 13538428 fired transitions, 805 secs || 8407667 markings, 9498204 edges, 10248 markings/sec, 805 secs 14 tries, 13618531 fired transitions, 810 secs || 8458108 markings, 9554827 edges, 10088 markings/sec, 810 secs 14 tries, 13699456 fired transitions, 815 secs || 8511345 markings, 9615409 edges, 10647 markings/sec, 815 secs 14 tries, 13780364 fired transitions, 820 secs || 8557027 markings, 9665807 edges, 9136 markings/sec, 820 secs 14 tries, 13861501 fired transitions, 825 secs || 8611496 markings, 9727721 edges, 10894 markings/sec, 825 secs 14 tries, 13942089 fired transitions, 830 secs || 8665153 markings, 9788598 edges, 10731 markings/sec, 830 secs 15 tries, 14026603 fired transitions, 835 secs || 8718740 markings, 9849504 edges, 10717 markings/sec, 835 secs 15 tries, 14109928 fired transitions, 840 secs || 8772961 markings, 9910941 edges, 10844 markings/sec, 840 secs 15 tries, 14192228 fired transitions, 845 secs || 8826071 markings, 9970955 edges, 10622 markings/sec, 845 secs 15 tries, 14275330 fired transitions, 850 secs || 8879243 markings, 10030386 edges, 10634 markings/sec, 850 secs 15 tries, 14356865 fired transitions, 855 secs || 8932054 markings, 10089527 edges, 10562 markings/sec, 855 secs 15 tries, 14438259 fired transitions, 860 secs || 8987230 markings, 10152041 edges, 11035 markings/sec, 860 secs 15 tries, 14519795 fired transitions, 865 secs || 9041014 markings, 10212789 edges, 10757 markings/sec, 865 secs 15 tries, 14603353 fired transitions, 870 secs || 9095692 markings, 10275014 edges, 10936 markings/sec, 870 secs 15 tries, 14684963 fired transitions, 875 secs || 9149816 markings, 10336262 edges, 10825 markings/sec, 875 secs 15 tries, 14766642 fired transitions, 880 secs || 9203690 markings, 10396892 edges, 10775 markings/sec, 880 secs 15 tries, 14847499 fired transitions, 885 secs || 9257863 markings, 10457863 edges, 10835 markings/sec, 885 secs 15 tries, 14928513 fired transitions, 890 secs || 9311259 markings, 10517849 edges, 10679 markings/sec, 890 secs 16 tries, 15012062 fired transitions, 895 secs || 9366433 markings, 10580566 edges, 11035 markings/sec, 895 secs 16 tries, 15094248 fired transitions, 900 secs || 9421858 markings, 10643746 edges, 11085 markings/sec, 900 secs 16 tries, 15175628 fired transitions, 905 secs || 9477609 markings, 10707092 edges, 11150 markings/sec, 905 secs 16 tries, 15255715 fired transitions, 910 secs || 9533382 markings, 10770663 edges, 11155 markings/sec, 910 secs 16 tries, 15338267 fired transitions, 915 secs || 9589301 markings, 10834179 edges, 11184 markings/sec, 915 secs 16 tries, 15419853 fired transitions, 920 secs || 9644674 markings, 10897017 edges, 11075 markings/sec, 920 secs 16 tries, 15500817 fired transitions, 925 secs || 9701828 markings, 10961942 edges, 11431 markings/sec, 925 secs 16 tries, 15583125 fired transitions, 930 secs || 9757801 markings, 11025634 edges, 11195 markings/sec, 930 secs 16 tries, 15664531 fired transitions, 935 secs || 9814255 markings, 11089912 edges, 11291 markings/sec, 935 secs 16 tries, 15746449 fired transitions, 940 secs || 9870272 markings, 11153637 edges, 11203 markings/sec, 940 secs 16 tries, 15828542 fired transitions, 945 secs || 9927988 markings, 11219248 edges, 11543 markings/sec, 945 secs 16 tries, 15909793 fired transitions, 950 secs || 9983860 markings, 11282884 edges, 11174 markings/sec, 950 secs 16 tries, 15992506 fired transitions, 955 secs || 10039408 markings, 11346201 edges, 11110 markings/sec, 955 secs 17 tries, 16075995 fired transitions, 960 secs || 10097011 markings, 11411569 edges, 11521 markings/sec, 960 secs 17 tries, 16158690 fired transitions, 965 secs || 10153365 markings, 11475801 edges, 11271 markings/sec, 965 secs 17 tries, 16241628 fired transitions, 970 secs || 10209255 markings, 11539355 edges, 11178 markings/sec, 970 secs 17 tries, 16325042 fired transitions, 975 secs || 10265950 markings, 11603880 edges, 11339 markings/sec, 975 secs 17 tries, 16406812 fired transitions, 980 secs || 10321617 markings, 11667104 edges, 11133 markings/sec, 980 secs 17 tries, 16490321 fired transitions, 985 secs || 10377345 markings, 11730623 edges, 11146 markings/sec, 985 secs 17 tries, 16574628 fired transitions, 990 secs || 10433818 markings, 11794934 edges, 11295 markings/sec, 990 secs 17 tries, 16658712 fired transitions, 995 secs || 10491002 markings, 11860041 edges, 11437 markings/sec, 995 secs 17 tries, 16742496 fired transitions, 1000 secs || 10548080 markings, 11925160 edges, 11416 markings/sec, 1000 secs 17 tries, 16826675 fired transitions, 1005 secs || 10605187 markings, 11989988 edges, 11421 markings/sec, 1005 secs 17 tries, 16911821 fired transitions, 1010 secs || 10661732 markings, 12054385 edges, 11309 markings/sec, 1010 secs 17 tries, 16996468 fired transitions, 1015 secs || 10715327 markings, 12115504 edges, 10719 markings/sec, 1015 secs 18 tries, 17081402 fired transitions, 1020 secs || 10771346 markings, 12179346 edges, 11204 markings/sec, 1020 secs 18 tries, 17166224 fired transitions, 1025 secs || 10827549 markings, 12243324 edges, 11241 markings/sec, 1025 secs 18 tries, 17249960 fired transitions, 1030 secs || 10884814 markings, 12308273 edges, 11453 markings/sec, 1030 secs 18 tries, 17334108 fired transitions, 1035 secs || 10940149 markings, 12371005 edges, 11067 markings/sec, 1035 secs 18 tries, 17418700 fired transitions, 1040 secs || 10995243 markings, 12433682 edges, 11019 markings/sec, 1040 secs 18 tries, 17502382 fired transitions, 1045 secs || 11050811 markings, 12497014 edges, 11114 markings/sec, 1045 secs 18 tries, 17587625 fired transitions, 1050 secs || 11108803 markings, 12562753 edges, 11598 markings/sec, 1050 secs 18 tries, 17672355 fired transitions, 1055 secs || 11165117 markings, 12626955 edges, 11263 markings/sec, 1055 secs 18 tries, 17755413 fired transitions, 1060 secs || 11220502 markings, 12689855 edges, 11077 markings/sec, 1060 secs 18 tries, 17840845 fired transitions, 1065 secs || 11276396 markings, 12752982 edges, 11179 markings/sec, 1065 secs 18 tries, 17925480 fired transitions, 1070 secs || 11332209 markings, 12816051 edges, 11163 markings/sec, 1070 secs 19 tries, 18011409 fired transitions, 1075 secs || 11388872 markings, 12880369 edges, 11333 markings/sec, 1075 secs 19 tries, 18095925 fired transitions, 1080 secs || 11447031 markings, 12946419 edges, 11632 markings/sec, 1080 secs 19 tries, 18181301 fired transitions, 1085 secs || 11502913 markings, 13009905 edges, 11176 markings/sec, 1085 secs 19 tries, 18265115 fired transitions, 1090 secs || 11555835 markings, 13069821 edges, 10584 markings/sec, 1090 secs 19 tries, 18348822 fired transitions, 1095 secs || 11608729 markings, 13129891 edges, 10579 markings/sec, 1095 secs 19 tries, 18435455 fired transitions, 1100 secs || 11664775 markings, 13193488 edges, 11209 markings/sec, 1100 secs 19 tries, 18521634 fired transitions, 1105 secs || 11718684 markings, 13254488 edges, 10782 markings/sec, 1105 secs 19 tries, 18606514 fired transitions, 1110 secs || 11774155 markings, 13317449 edges, 11094 markings/sec, 1110 secs 19 tries, 18689221 fired transitions, 1115 secs || 11829285 markings, 13380103 edges, 11026 markings/sec, 1115 secs 19 tries, 18774155 fired transitions, 1120 secs || 11884131 markings, 13442623 edges, 10969 markings/sec, 1120 secs 19 tries, 18857974 fired transitions, 1125 secs || 11938559 markings, 13504251 edges, 10886 markings/sec, 1125 secs 19 tries, 18942203 fired transitions, 1130 secs || 11994222 markings, 13567360 edges, 11133 markings/sec, 1130 secs 20 tries, 19027449 fired transitions, 1135 secs || 12051774 markings, 13632604 edges, 11510 markings/sec, 1135 secs 20 tries, 19113036 fired transitions, 1140 secs || 12106412 markings, 13694667 edges, 10928 markings/sec, 1140 secs 20 tries, 19198453 fired transitions, 1145 secs || 12162239 markings, 13758069 edges, 11165 markings/sec, 1145 secs 20 tries, 19282981 fired transitions, 1150 secs || 12219160 markings, 13822591 edges, 11384 markings/sec, 1150 secs 20 tries, 19365670 fired transitions, 1155 secs || 12273323 markings, 13883926 edges, 10833 markings/sec, 1155 secs 20 tries, 19449048 fired transitions, 1160 secs || 12329152 markings, 13947172 edges, 11166 markings/sec, 1160 secs 20 tries, 19533534 fired transitions, 1165 secs || 12386526 markings, 14012104 edges, 11475 markings/sec, 1165 secs 20 tries, 19618134 fired transitions, 1170 secs || 12439500 markings, 14071883 edges, 10595 markings/sec, 1170 secs 20 tries, 19702181 fired transitions, 1175 secs || 12493741 markings, 14133512 edges, 10848 markings/sec, 1175 secs 20 tries, 19787088 fired transitions, 1180 secs || 12549168 markings, 14196642 edges, 11085 markings/sec, 1180 secs 20 tries, 19871472 fired transitions, 1185 secs || 12605574 markings, 14260675 edges, 11281 markings/sec, 1185 secs 20 tries, 19955780 fired transitions, 1190 secs || 12663990 markings, 14326944 edges, 11683 markings/sec, 1190 secs 21 tries, 20041075 fired transitions, 1195 secs || 12720231 markings, 14390936 edges, 11248 markings/sec, 1195 secs 21 tries, 20125447 fired transitions, 1200 secs || 12776139 markings, 14454571 edges, 11182 markings/sec, 1200 secs 21 tries, 20210925 fired transitions, 1205 secs || 12833851 markings, 14520188 edges, 11542 markings/sec, 1205 secs 21 tries, 20296541 fired transitions, 1210 secs || 12890241 markings, 14584385 edges, 11278 markings/sec, 1210 secs 21 tries, 20380517 fired transitions, 1215 secs || 12945748 markings, 14647709 edges, 11101 markings/sec, 1215 secs 21 tries, 20463794 fired transitions, 1220 secs || 13001123 markings, 14710750 edges, 11075 markings/sec, 1220 secs 21 tries, 20548753 fired transitions, 1225 secs || 13056873 markings, 14774283 edges, 11150 markings/sec, 1225 secs 21 tries, 20633495 fired transitions, 1230 secs || 13112174 markings, 14837230 edges, 11060 markings/sec, 1230 secs 21 tries, 20717285 fired transitions, 1235 secs || 13168013 markings, 14900800 edges, 11168 markings/sec, 1235 secs 21 tries, 20800745 fired transitions, 1240 secs || 13223772 markings, 14964402 edges, 11152 markings/sec, 1240 secs 21 tries, 20885076 fired transitions, 1245 secs || 13279642 markings, 15028031 edges, 11174 markings/sec, 1245 secs 21 tries, 20971211 fired transitions, 1250 secs || 13336091 markings, 15092124 edges, 11290 markings/sec, 1250 secs 22 tries, 21057918 fired transitions, 1255 secs || 13393954 markings, 15158023 edges, 11573 markings/sec, 1255 secs 22 tries, 21144267 fired transitions, 1260 secs || 13449756 markings, 15221554 edges, 11160 markings/sec, 1260 secs 22 tries, 21228901 fired transitions, 1265 secs || 13505923 markings, 15285536 edges, 11233 markings/sec, 1265 secs 22 tries, 21314161 fired transitions, 1270 secs || 13563189 markings, 15350488 edges, 11453 markings/sec, 1270 secs 22 tries, 21399638 fired transitions, 1275 secs || 13618536 markings, 15413263 edges, 11069 markings/sec, 1275 secs 22 tries, 21483915 fired transitions, 1280 secs || 13675207 markings, 15477670 edges, 11334 markings/sec, 1280 secs 22 tries, 21567651 fired transitions, 1285 secs || 13731879 markings, 15542226 edges, 11334 markings/sec, 1285 secs 22 tries, 21651117 fired transitions, 1290 secs || 13787230 markings, 15605289 edges, 11070 markings/sec, 1290 secs 22 tries, 21734806 fired transitions, 1295 secs || 13842159 markings, 15667927 edges, 10986 markings/sec, 1295 secs 22 tries, 21818573 fired transitions, 1300 secs || 13897737 markings, 15731113 edges, 11116 markings/sec, 1300 secs 22 tries, 21901670 fired transitions, 1305 secs || 13953381 markings, 15794355 edges, 11129 markings/sec, 1305 secs 22 tries, 21986234 fired transitions, 1310 secs || 14008761 markings, 15857396 edges, 11076 markings/sec, 1310 secs 23 tries, 22071673 fired transitions, 1315 secs || 14064076 markings, 15920435 edges, 11063 markings/sec, 1315 secs 23 tries, 22155950 fired transitions, 1320 secs || 14119110 markings, 15983112 edges, 11007 markings/sec, 1320 secs 23 tries, 22239727 fired transitions, 1325 secs || 14176029 markings, 16047702 edges, 11384 markings/sec, 1325 secs 23 tries, 22324661 fired transitions, 1330 secs || 14232346 markings, 16111990 edges, 11263 markings/sec, 1330 secs 23 tries, 22407828 fired transitions, 1335 secs || 14289083 markings, 16176492 edges, 11347 markings/sec, 1335 secs 23 tries, 22491717 fired transitions, 1340 secs || 14345628 markings, 16240594 edges, 11309 markings/sec, 1340 secs 23 tries, 22576919 fired transitions, 1345 secs || 14401779 markings, 16304592 edges, 11230 markings/sec, 1345 secs 23 tries, 22660315 fired transitions, 1350 secs || 14457212 markings, 16367801 edges, 11087 markings/sec, 1350 secs 23 tries, 22745060 fired transitions, 1355 secs || 14510802 markings, 16428396 edges, 10718 markings/sec, 1355 secs 23 tries, 22831466 fired transitions, 1360 secs || 14566680 markings, 16491747 edges, 11176 markings/sec, 1360 secs 23 tries, 22915917 fired transitions, 1365 secs || 14622643 markings, 16555344 edges, 11193 markings/sec, 1365 secs 23 tries, 22999708 fired transitions, 1370 secs || 14678891 markings, 16619297 edges, 11250 markings/sec, 1370 secs 24 tries, 23085581 fired transitions, 1375 secs || 14734854 markings, 16683142 edges, 11193 markings/sec, 1375 secs 24 tries, 23169747 fired transitions, 1380 secs || 14791428 markings, 16747593 edges, 11315 markings/sec, 1380 secs 24 tries, 23254270 fired transitions, 1385 secs || 14846740 markings, 16810426 edges, 11062 markings/sec, 1385 secs 24 tries, 23337308 fired transitions, 1390 secs || 14902010 markings, 16872841 edges, 11054 markings/sec, 1390 secs 24 tries, 23421478 fired transitions, 1395 secs || 14956716 markings, 16935285 edges, 10941 markings/sec, 1395 secs 24 tries, 23505398 fired transitions, 1400 secs || 15010227 markings, 16996062 edges, 10702 markings/sec, 1400 secs 24 tries, 23587253 fired transitions, 1405 secs || 15064720 markings, 17058146 edges, 10899 markings/sec, 1405 secs 24 tries, 23671876 fired transitions, 1410 secs || 15118040 markings, 17118509 edges, 10664 markings/sec, 1410 secs 24 tries, 23755755 fired transitions, 1415 secs || 15172280 markings, 17180148 edges, 10848 markings/sec, 1415 secs 24 tries, 23839900 fired transitions, 1420 secs || 15226377 markings, 17241426 edges, 10819 markings/sec, 1420 secs 24 tries, 23924466 fired transitions, 1425 secs || 15283385 markings, 17306164 edges, 11402 markings/sec, 1425 secs 25 tries, 24010452 fired transitions, 1430 secs || 15338871 markings, 17369092 edges, 11097 markings/sec, 1430 secs 25 tries, 24093972 fired transitions, 1435 secs || 15393354 markings, 17430784 edges, 10897 markings/sec, 1435 secs 25 tries, 24177341 fired transitions, 1440 secs || 15447952 markings, 17492579 edges, 10920 markings/sec, 1440 secs 25 tries, 24261801 fired transitions, 1445 secs || 15503049 markings, 17554898 edges, 11019 markings/sec, 1445 secs 25 tries, 24345979 fired transitions, 1450 secs || 15558658 markings, 17618043 edges, 11122 markings/sec, 1450 secs 25 tries, 24430043 fired transitions, 1455 secs || 15614040 markings, 17680842 edges, 11076 markings/sec, 1455 secs 25 tries, 24514271 fired transitions, 1460 secs || 15668273 markings, 17742325 edges, 10847 markings/sec, 1460 secs 25 tries, 24597432 fired transitions, 1465 secs || 15723012 markings, 17804445 edges, 10948 markings/sec, 1465 secs 25 tries, 24681733 fired transitions, 1470 secs || 15775780 markings, 17863902 edges, 10554 markings/sec, 1470 secs 25 tries, 24765511 fired transitions, 1475 secs || 15830186 markings, 17925555 edges, 10881 markings/sec, 1475 secs 25 tries, 24848903 fired transitions, 1480 secs || 15885657 markings, 17988357 edges, 11094 markings/sec, 1480 secs 25 tries, 24932992 fired transitions, 1485 secs || 15942558 markings, 18052901 edges, 11380 markings/sec, 1485 secs 26 tries, 25018650 fired transitions, 1490 secs || 15997336 markings, 18115346 edges, 10956 markings/sec, 1490 secs 26 tries, 25103136 fired transitions, 1495 secs || 16051878 markings, 18177130 edges, 10908 markings/sec, 1495 secs 26 tries, 25187269 fired transitions, 1500 secs || 16105865 markings, 18238364 edges, 10797 markings/sec, 1500 secs 26 tries, 25274076 fired transitions, 1505 secs || 16161125 markings, 18301190 edges, 11052 markings/sec, 1505 secs 26 tries, 25359807 fired transitions, 1510 secs || 16216972 markings, 18364614 edges, 11169 markings/sec, 1510 secs 26 tries, 25444730 fired transitions, 1515 secs || 16271837 markings, 18426959 edges, 10973 markings/sec, 1515 secs 26 tries, 25529408 fired transitions, 1520 secs || 16325997 markings, 18488139 edges, 10832 markings/sec, 1520 secs 26 tries, 25612881 fired transitions, 1525 secs || 16382926 markings, 18552505 edges, 11386 markings/sec, 1525 secs 26 tries, 25695679 fired transitions, 1530 secs || 16438008 markings, 18614765 edges, 11016 markings/sec, 1530 secs 26 tries, 25780407 fired transitions, 1535 secs || 16492469 markings, 18676304 edges, 10892 markings/sec, 1535 secs 26 tries, 25864835 fired transitions, 1540 secs || 16547395 markings, 18738546 edges, 10985 markings/sec, 1540 secs 26 tries, 25948499 fired transitions, 1545 secs || 16602550 markings, 18801104 edges, 11031 markings/sec, 1545 secs 27 tries, 26034125 fired transitions, 1550 secs || 16657918 markings, 18864046 edges, 11074 markings/sec, 1550 secs 27 tries, 26119304 fired transitions, 1555 secs || 16712881 markings, 18926361 edges, 10993 markings/sec, 1555 secs 27 tries, 26203357 fired transitions, 1560 secs || 16768911 markings, 18989782 edges, 11206 markings/sec, 1560 secs 27 tries, 26287204 fired transitions, 1565 secs || 16824078 markings, 19052445 edges, 11033 markings/sec, 1565 secs 27 tries, 26370296 fired transitions, 1570 secs || 16879064 markings, 19114803 edges, 10997 markings/sec, 1570 secs 27 tries, 26454613 fired transitions, 1575 secs || 16934446 markings, 19177518 edges, 11076 markings/sec, 1575 secs 27 tries, 26538213 fired transitions, 1580 secs || 16989542 markings, 19239888 edges, 11019 markings/sec, 1580 secs 27 tries, 26623386 fired transitions, 1585 secs || 17043873 markings, 19301783 edges, 10866 markings/sec, 1585 secs 27 tries, 26707720 fired transitions, 1590 secs || 17098064 markings, 19363111 edges, 10838 markings/sec, 1590 secs 27 tries, 26791558 fired transitions, 1595 secs || 17154963 markings, 19427682 edges, 11380 markings/sec, 1595 secs 27 tries, 26875003 fired transitions, 1600 secs || 17208272 markings, 19487951 edges, 10662 markings/sec, 1600 secs 27 tries, 26959576 fired transitions, 1605 secs || 17262506 markings, 19549606 edges, 10847 markings/sec, 1605 secs 28 tries, 27046452 fired transitions, 1610 secs || 17317397 markings, 19611743 edges, 10978 markings/sec, 1610 secs 28 tries, 27130694 fired transitions, 1615 secs || 17373239 markings, 19674972 edges, 11168 markings/sec, 1615 secs 28 tries, 27217780 fired transitions, 1620 secs || 17426708 markings, 19735504 edges, 10694 markings/sec, 1620 secs 28 tries, 27304823 fired transitions, 1625 secs || 17481576 markings, 19797867 edges, 10974 markings/sec, 1625 secs 28 tries, 27391338 fired transitions, 1630 secs || 17538442 markings, 19862023 edges, 11373 markings/sec, 1630 secs 28 tries, 27477589 fired transitions, 1635 secs || 17594200 markings, 19925264 edges, 11152 markings/sec, 1635 secs 28 tries, 27562516 fired transitions, 1640 secs || 17648602 markings, 19986940 edges, 10880 markings/sec, 1640 secs 28 tries, 27646047 fired transitions, 1645 secs || 17701246 markings, 20046143 edges, 10529 markings/sec, 1645 secs 28 tries, 27725742 fired transitions, 1650 secs || 17756148 markings, 20108650 edges, 10980 markings/sec, 1650 secs 28 tries, 27812762 fired transitions, 1655 secs || 17811484 markings, 20171629 edges, 11067 markings/sec, 1655 secs 28 tries, 27898915 fired transitions, 1660 secs || 17866392 markings, 20234150 edges, 10982 markings/sec, 1660 secs 28 tries, 27985043 fired transitions, 1665 secs || 17922064 markings, 20297534 edges, 11134 markings/sec, 1665 secs 29 tries, 28073105 fired transitions, 1670 secs || 17977908 markings, 20361080 edges, 11169 markings/sec, 1670 secs 29 tries, 28159559 fired transitions, 1675 secs || 18032644 markings, 20423163 edges, 10947 markings/sec, 1675 secs 29 tries, 28240676 fired transitions, 1680 secs || 18087456 markings, 20485650 edges, 10962 markings/sec, 1680 secs 29 tries, 28325751 fired transitions, 1685 secs || 18141638 markings, 20547155 edges, 10836 markings/sec, 1685 secs 29 tries, 28410710 fired transitions, 1690 secs || 18197139 markings, 20610233 edges, 11100 markings/sec, 1690 secs 29 tries, 28494404 fired transitions, 1695 secs || 18251768 markings, 20672620 edges, 10926 markings/sec, 1695 secs 29 tries, 28577743 fired transitions, 1700 secs || 18307470 markings, 20735769 edges, 11140 markings/sec, 1700 secs 29 tries, 28662834 fired transitions, 1705 secs || 18363586 markings, 20799731 edges, 11223 markings/sec, 1705 secs 29 tries, 28746548 fired transitions, 1710 secs || 18419913 markings, 20864009 edges, 11265 markings/sec, 1710 secs 29 tries, 28830778 fired transitions, 1715 secs || 18476011 markings, 20927806 edges, 11220 markings/sec, 1715 secs 29 tries, 28914738 fired transitions, 1720 secs || 18531457 markings, 20991085 edges, 11089 markings/sec, 1720 secs 29 tries, 28998169 fired transitions, 1725 secs || 18586938 markings, 21054260 edges, 11096 markings/sec, 1725 secs 30 tries, 29082159 fired transitions, 1730 secs || 18642961 markings, 21117919 edges, 11205 markings/sec, 1730 secs 30 tries, 29166897 fired transitions, 1735 secs || 18699654 markings, 21182498 edges, 11339 markings/sec, 1735 secs 30 tries, 29251239 fired transitions, 1740 secs || 18755043 markings, 21245591 edges, 11078 markings/sec, 1740 secs 30 tries, 29335549 fired transitions, 1745 secs || 18809603 markings, 21307562 edges, 10912 markings/sec, 1745 secs 30 tries, 29421284 fired transitions, 1750 secs || 18865596 markings, 21371291 edges, 11199 markings/sec, 1750 secs 30 tries, 29504902 fired transitions, 1755 secs || 18920768 markings, 21434360 edges, 11034 markings/sec, 1755 secs 30 tries, 29589985 fired transitions, 1760 secs || 18975716 markings, 21496857 edges, 10990 markings/sec, 1760 secs 30 tries, 29673908 fired transitions, 1765 secs || 19031781 markings, 21560672 edges, 11213 markings/sec, 1765 secs 30 tries, 29758691 fired transitions, 1770 secs || 19088343 markings, 21625030 edges, 11312 markings/sec, 1770 secs 30 tries, 29842141 fired transitions, 1775 secs || 19145726 markings, 21690048 edges, 11477 markings/sec, 1775 secs 30 tries, 29927904 fired transitions, 1780 secs || 19201331 markings, 21753404 edges, 11121 markings/sec, 1780 secs 31 tries, 30013221 fired transitions, 1785 secs || 19256829 markings, 21816692 edges, 11100 markings/sec, 1785 secs 31 tries, 30095078 fired transitions, 1790 secs || 19312725 markings, 21880385 edges, 11179 markings/sec, 1790 secs 31 tries, 30179378 fired transitions, 1795 secs || 19367871 markings, 21943190 edges, 11029 markings/sec, 1795 secs 31 tries, 30263462 fired transitions, 1800 secs || 19423231 markings, 22006333 edges, 11072 markings/sec, 1800 secs 31 tries, 30348716 fired transitions, 1805 secs || 19478595 markings, 22069476 edges, 11073 markings/sec, 1805 secs 31 tries, 30432805 fired transitions, 1810 secs || 19534468 markings, 22132965 edges, 11175 markings/sec, 1810 secs 31 tries, 30516877 fired transitions, 1815 secs || 19590254 markings, 22196539 edges, 11157 markings/sec, 1815 secs 31 tries, 30599971 fired transitions, 1820 secs || 19647427 markings, 22261706 edges, 11435 markings/sec, 1820 secs 31 tries, 30684079 fired transitions, 1825 secs || 19702794 markings, 22324723 edges, 11073 markings/sec, 1825 secs 31 tries, 30768261 fired transitions, 1830 secs || 19757732 markings, 22387219 edges, 10988 markings/sec, 1830 secs 31 tries, 30853486 fired transitions, 1835 secs || 19814461 markings, 22451801 edges, 11346 markings/sec, 1835 secs 31 tries, 30937008 fired transitions, 1840 secs || 19869249 markings, 22514072 edges, 10958 markings/sec, 1840 secs 32 tries, 31024011 fired transitions, 1845 secs || 19926050 markings, 22578702 edges, 11360 markings/sec, 1845 secs 32 tries, 31108562 fired transitions, 1850 secs || 19981826 markings, 22642385 edges, 11155 markings/sec, 1850 secs 32 tries, 31192680 fired transitions, 1855 secs || 20037749 markings, 22706125 edges, 11185 markings/sec, 1855 secs 32 tries, 31275211 fired transitions, 1860 secs || 20092999 markings, 22768949 edges, 11050 markings/sec, 1860 secs 32 tries, 31360409 fired transitions, 1865 secs || 20148654 markings, 22832321 edges, 11131 markings/sec, 1865 secs 32 tries, 31446007 fired transitions, 1870 secs || 20203943 markings, 22895336 edges, 11058 markings/sec, 1870 secs 32 tries, 31531156 fired transitions, 1875 secs || 20259359 markings, 22958394 edges, 11083 markings/sec, 1875 secs 32 tries, 31615822 fired transitions, 1880 secs || 20316284 markings, 23023137 edges, 11385 markings/sec, 1880 secs 32 tries, 31700740 fired transitions, 1885 secs || 20372077 markings, 23086735 edges, 11159 markings/sec, 1885 secs 32 tries, 31784404 fired transitions, 1890 secs || 20427565 markings, 23149835 edges, 11098 markings/sec, 1890 secs 32 tries, 31866936 fired transitions, 1895 secs || 20484593 markings, 23214505 edges, 11406 markings/sec, 1895 secs 32 tries, 31950145 fired transitions, 1900 secs || 20540033 markings, 23277753 edges, 11088 markings/sec, 1900 secs 33 tries, 32037364 fired transitions, 1905 secs || 20595309 markings, 23340590 edges, 11055 markings/sec, 1905 secs 33 tries, 32123530 fired transitions, 1910 secs || 20652783 markings, 23406002 edges, 11495 markings/sec, 1910 secs 33 tries, 32211253 fired transitions, 1915 secs || 20708067 markings, 23468741 edges, 11057 markings/sec, 1915 secs 33 tries, 32298343 fired transitions, 1920 secs || 20762768 markings, 23530827 edges, 10940 markings/sec, 1920 secs 33 tries, 32385391 fired transitions, 1925 secs || 20818148 markings, 23593796 edges, 11076 markings/sec, 1925 secs 33 tries, 32470530 fired transitions, 1930 secs || 20871595 markings, 23654863 edges, 10689 markings/sec, 1930 secs 33 tries, 32557176 fired transitions, 1935 secs || 20925256 markings, 23715950 edges, 10732 markings/sec, 1935 secs 33 tries, 32643658 fired transitions, 1940 secs || 20979727 markings, 23777900 edges, 10894 markings/sec, 1940 secs 33 tries, 32729585 fired transitions, 1945 secs || 21034600 markings, 23840443 edges, 10975 markings/sec, 1945 secs 33 tries, 32814031 fired transitions, 1950 secs || 21088670 markings, 23902092 edges, 10814 markings/sec, 1950 secs 33 tries, 32901071 fired transitions, 1955 secs || 21142234 markings, 23962999 edges, 10713 markings/sec, 1955 secs 33 tries, 32986432 fired transitions, 1960 secs || 21195846 markings, 24023892 edges, 10722 markings/sec, 1960 secs 34 tries, 33073354 fired transitions, 1965 secs || 21251700 markings, 24087244 edges, 11171 markings/sec, 1965 secs 34 tries, 33159943 fired transitions, 1970 secs || 21306575 markings, 24149697 edges, 10975 markings/sec, 1970 secs 34 tries, 33245925 fired transitions, 1975 secs || 21362094 markings, 24212904 edges, 11104 markings/sec, 1975 secs 34 tries, 33333654 fired transitions, 1980 secs || 21416704 markings, 24275032 edges, 10922 markings/sec, 1980 secs 34 tries, 33421192 fired transitions, 1985 secs || 21471346 markings, 24337199 edges, 10928 markings/sec, 1985 secs 34 tries, 33508560 fired transitions, 1990 secs || 21529513 markings, 24403295 edges, 11633 markings/sec, 1990 secs 34 tries, 33596193 fired transitions, 1995 secs || 21584870 markings, 24466375 edges, 11071 markings/sec, 1995 secs 34 tries, 33682812 fired transitions, 2000 secs || 21639469 markings, 24528649 edges, 10920 markings/sec, 2000 secs 34 tries, 33770639 fired transitions, 2005 secs || 21694595 markings, 24591275 edges, 11025 markings/sec, 2005 secs 34 tries, 33857674 fired transitions, 2010 secs || 21749285 markings, 24653547 edges, 10938 markings/sec, 2010 secs 34 tries, 33946658 fired transitions, 2015 secs || 21806750 markings, 24718787 edges, 11493 markings/sec, 2015 secs 35 tries, 34035504 fired transitions, 2020 secs || 21862878 markings, 24782691 edges, 11226 markings/sec, 2020 secs 35 tries, 34121731 fired transitions, 2025 secs || 21918396 markings, 24845896 edges, 11104 markings/sec, 2025 secs 35 tries, 34207528 fired transitions, 2030 secs || 21975635 markings, 24910944 edges, 11448 markings/sec, 2030 secs 35 tries, 34295789 fired transitions, 2035 secs || 22032238 markings, 24975356 edges, 11321 markings/sec, 2035 secs 35 tries, 34382673 fired transitions, 2040 secs || 22087194 markings, 25037602 edges, 10991 markings/sec, 2040 secs 35 tries, 34469690 fired transitions, 2045 secs || 22142653 markings, 25100605 edges, 11092 markings/sec, 2045 secs 35 tries, 34557081 fired transitions, 2050 secs || 22197410 markings, 25162514 edges, 10951 markings/sec, 2050 secs 35 tries, 34644594 fired transitions, 2055 secs || 22252020 markings, 25224259 edges, 10922 markings/sec, 2055 secs 35 tries, 34730672 fired transitions, 2060 secs || 22305959 markings, 25285495 edges, 10788 markings/sec, 2060 secs 35 tries, 34818154 fired transitions, 2065 secs || 22361342 markings, 25348342 edges, 11077 markings/sec, 2065 secs 35 tries, 34903551 fired transitions, 2070 secs || 22416757 markings, 25411213 edges, 11083 markings/sec, 2070 secs 35 tries, 34989583 fired transitions, 2075 secs || 22471772 markings, 25473638 edges, 11003 markings/sec, 2075 secs 36 tries, 35077281 fired transitions, 2080 secs || 22527302 markings, 25536432 edges, 11106 markings/sec, 2080 secs 36 tries, 35164531 fired transitions, 2085 secs || 22582832 markings, 25599256 edges, 11106 markings/sec, 2085 secs 36 tries, 35251747 fired transitions, 2090 secs || 22637377 markings, 25661267 edges, 10909 markings/sec, 2090 secs 36 tries, 35339112 fired transitions, 2095 secs || 22693751 markings, 25725330 edges, 11275 markings/sec, 2095 secs 36 tries, 35427700 fired transitions, 2100 secs || 22749504 markings, 25788470 edges, 11151 markings/sec, 2100 secs 36 tries, 35515080 fired transitions, 2105 secs || 22804912 markings, 25851416 edges, 11082 markings/sec, 2105 secs 36 tries, 35602774 fired transitions, 2110 secs || 22860248 markings, 25914292 edges, 11067 markings/sec, 2110 secs 36 tries, 35689112 fired transitions, 2115 secs || 22914972 markings, 25976567 edges, 10945 markings/sec, 2115 secs 36 tries, 35777121 fired transitions, 2120 secs || 22971801 markings, 26041105 edges, 11366 markings/sec, 2120 secs 36 tries, 35863639 fired transitions, 2125 secs || 23028573 markings, 26105525 edges, 11354 markings/sec, 2125 secs 36 tries, 35951773 fired transitions, 2130 secs || 23082078 markings, 26166369 edges, 10701 markings/sec, 2130 secs 37 tries, 36040471 fired transitions, 2135 secs || 23138397 markings, 26230451 edges, 11264 markings/sec, 2135 secs 37 tries, 36127497 fired transitions, 2140 secs || 23195094 markings, 26294985 edges, 11339 markings/sec, 2140 secs 37 tries, 36214848 fired transitions, 2145 secs || 23251707 markings, 26359396 edges, 11323 markings/sec, 2145 secs 37 tries, 36302585 fired transitions, 2150 secs || 23308188 markings, 26423780 edges, 11296 markings/sec, 2150 secs 37 tries, 36389073 fired transitions, 2155 secs || 23363416 markings, 26486718 edges, 11046 markings/sec, 2155 secs 37 tries, 36475233 fired transitions, 2160 secs || 23419199 markings, 26550253 edges, 11157 markings/sec, 2160 secs 37 tries, 36561242 fired transitions, 2165 secs || 23474650 markings, 26613539 edges, 11090 markings/sec, 2165 secs 37 tries, 36647658 fired transitions, 2170 secs || 23530619 markings, 26677291 edges, 11194 markings/sec, 2170 secs 37 tries, 36733884 fired transitions, 2175 secs || 23586237 markings, 26740446 edges, 11124 markings/sec, 2175 secs 37 tries, 36821637 fired transitions, 2180 secs || 23642121 markings, 26804152 edges, 11177 markings/sec, 2180 secs 37 tries, 36909051 fired transitions, 2185 secs || 23697333 markings, 26867083 edges, 11042 markings/sec, 2185 secs 37 tries, 36995897 fired transitions, 2190 secs || 23753133 markings, 26930757 edges, 11160 markings/sec, 2190 secs 38 tries, 37084826 fired transitions, 2195 secs || 23808833 markings, 26994145 edges, 11140 markings/sec, 2195 secs 38 tries, 37170787 fired transitions, 2200 secs || 23863938 markings, 27056965 edges, 11021 markings/sec, 2200 secs 38 tries, 37256803 fired transitions, 2205 secs || 23920003 markings, 27120864 edges, 11213 markings/sec, 2205 secs 38 tries, 37343080 fired transitions, 2210 secs || 23975732 markings, 27184469 edges, 11146 markings/sec, 2210 secs 38 tries, 37429705 fired transitions, 2215 secs || 24031343 markings, 27247754 edges, 11122 markings/sec, 2215 secs 38 tries, 37509562 fired transitions, 2220 secs || 24087162 markings, 27311240 edges, 11164 markings/sec, 2220 secs 38 tries, 37591526 fired transitions, 2225 secs || 24143746 markings, 27375611 edges, 11317 markings/sec, 2225 secs 38 tries, 37671270 fired transitions, 2230 secs || 24200165 markings, 27439589 edges, 11284 markings/sec, 2230 secs 38 tries, 37753190 fired transitions, 2235 secs || 24255996 markings, 27502979 edges, 11166 markings/sec, 2235 secs 38 tries, 37836346 fired transitions, 2240 secs || 24311284 markings, 27565960 edges, 11058 markings/sec, 2240 secs 38 tries, 37919943 fired transitions, 2245 secs || 24366554 markings, 27628935 edges, 11054 markings/sec, 2245 secs 39 tries, 38005463 fired transitions, 2250 secs || 24422328 markings, 27692415 edges, 11155 markings/sec, 2250 secs 39 tries, 38088317 fired transitions, 2255 secs || 24476871 markings, 27754538 edges, 10909 markings/sec, 2255 secs 39 tries, 38166289 fired transitions, 2260 secs || 24532962 markings, 27818275 edges, 11218 markings/sec, 2260 secs 39 tries, 38247744 fired transitions, 2265 secs || 24587371 markings, 27879958 edges, 10882 markings/sec, 2265 secs 39 tries, 38331528 fired transitions, 2270 secs || 24642611 markings, 27942949 edges, 11048 markings/sec, 2270 secs 39 tries, 38416675 fired transitions, 2275 secs || 24697501 markings, 28005569 edges, 10978 markings/sec, 2275 secs 39 tries, 38502417 fired transitions, 2280 secs || 24753306 markings, 28069079 edges, 11161 markings/sec, 2280 secs 39 tries, 38588581 fired transitions, 2285 secs || 24808716 markings, 28132157 edges, 11082 markings/sec, 2285 secs 39 tries, 38675531 fired transitions, 2290 secs || 24864970 markings, 28196098 edges, 11251 markings/sec, 2290 secs 39 tries, 38761424 fired transitions, 2295 secs || 24921308 markings, 28260050 edges, 11268 markings/sec, 2295 secs 39 tries, 38847315 fired transitions, 2300 secs || 24975478 markings, 28321524 edges, 10834 markings/sec, 2300 secs 39 tries, 38934739 fired transitions, 2305 secs || 25030323 markings, 28383606 edges, 10969 markings/sec, 2305 secs 40 tries, 39017583 fired transitions, 2310 secs || 25086403 markings, 28447424 edges, 11216 markings/sec, 2310 secs 40 tries, 39098082 fired transitions, 2315 secs || 25139775 markings, 28508101 edges, 10674 markings/sec, 2315 secs 40 tries, 39179220 fired transitions, 2320 secs || 25194599 markings, 28570210 edges, 10965 markings/sec, 2320 secs 40 tries, 39262468 fired transitions, 2325 secs || 25249251 markings, 28631991 edges, 10930 markings/sec, 2325 secs 40 tries, 39345177 fired transitions, 2330 secs || 25301532 markings, 28691389 edges, 10456 markings/sec, 2330 secs 40 tries, 39428291 fired transitions, 2335 secs || 25355455 markings, 28752172 edges, 10785 markings/sec, 2335 secs 40 tries, 39509970 fired transitions, 2340 secs || 25410488 markings, 28814410 edges, 11007 markings/sec, 2340 secs 40 tries, 39593179 fired transitions, 2345 secs || 25465678 markings, 28876870 edges, 11038 markings/sec, 2345 secs 40 tries, 39677986 fired transitions, 2350 secs || 25521466 markings, 28940002 edges, 11158 markings/sec, 2350 secs 40 tries, 39764271 fired transitions, 2355 secs || 25576492 markings, 29002513 edges, 11005 markings/sec, 2355 secs 40 tries, 39843164 fired transitions, 2360 secs || 25627411 markings, 29060419 edges, 10184 markings/sec, 2360 secs 40 tries, 39929222 fired transitions, 2365 secs || 25683108 markings, 29123696 edges, 11139 markings/sec, 2365 secs 41 tries, 40014694 fired transitions, 2370 secs || 25738996 markings, 29186987 edges, 11178 markings/sec, 2370 secs 41 tries, 40099503 fired transitions, 2375 secs || 25793612 markings, 29249073 edges, 10923 markings/sec, 2375 secs 41 tries, 40182202 fired transitions, 2380 secs || 25845843 markings, 29308503 edges, 10446 markings/sec, 2380 secs 41 tries, 40267962 fired transitions, 2385 secs || 25900466 markings, 29370615 edges, 10925 markings/sec, 2385 secs 41 tries, 40353838 fired transitions, 2390 secs || 25955033 markings, 29432416 edges, 10913 markings/sec, 2390 secs 41 tries, 40440353 fired transitions, 2395 secs || 26010186 markings, 29494975 edges, 11031 markings/sec, 2395 secs 41 tries, 40528568 fired transitions, 2400 secs || 26065580 markings, 29557726 edges, 11079 markings/sec, 2400 secs 41 tries, 40615432 fired transitions, 2405 secs || 26120360 markings, 29620097 edges, 10956 markings/sec, 2405 secs 41 tries, 40702014 fired transitions, 2410 secs || 26173855 markings, 29680706 edges, 10699 markings/sec, 2410 secs 41 tries, 40788615 fired transitions, 2415 secs || 26227637 markings, 29741865 edges, 10756 markings/sec, 2415 secs 41 tries, 40874365 fired transitions, 2420 secs || 26281817 markings, 29803419 edges, 10836 markings/sec, 2420 secs 41 tries, 40958084 fired transitions, 2425 secs || 26337108 markings, 29866255 edges, 11058 markings/sec, 2425 secs 42 tries, 41044061 fired transitions, 2430 secs || 26391212 markings, 29927487 edges, 10821 markings/sec, 2430 secs 42 tries, 41125638 fired transitions, 2435 secs || 26445015 markings, 29988420 edges, 10761 markings/sec, 2435 secs 42 tries, 41207625 fired transitions, 2440 secs || 26499664 markings, 30050699 edges, 10930 markings/sec, 2440 secs 42 tries, 41291490 fired transitions, 2445 secs || 26554739 markings, 30113175 edges, 11015 markings/sec, 2445 secs 42 tries, 41377429 fired transitions, 2450 secs || 26610858 markings, 30177072 edges, 11224 markings/sec, 2450 secs 42 tries, 41464575 fired transitions, 2455 secs || 26665126 markings, 30239105 edges, 10854 markings/sec, 2455 secs 42 tries, 41550947 fired transitions, 2460 secs || 26719701 markings, 30301180 edges, 10915 markings/sec, 2460 secs 42 tries, 41638770 fired transitions, 2465 secs || 26774333 markings, 30363529 edges, 10926 markings/sec, 2465 secs 42 tries, 41725889 fired transitions, 2470 secs || 26828865 markings, 30425703 edges, 10906 markings/sec, 2470 secs 42 tries, 41813629 fired transitions, 2475 secs || 26884299 markings, 30488793 edges, 11087 markings/sec, 2475 secs 42 tries, 41901204 fired transitions, 2480 secs || 26938752 markings, 30550848 edges, 10891 markings/sec, 2480 secs 42 tries, 41989107 fired transitions, 2485 secs || 26993664 markings, 30613499 edges, 10982 markings/sec, 2485 secs 43 tries, 42077071 fired transitions, 2490 secs || 27048421 markings, 30675911 edges, 10951 markings/sec, 2490 secs 43 tries, 42162669 fired transitions, 2495 secs || 27103161 markings, 30738214 edges, 10948 markings/sec, 2495 secs 43 tries, 42250162 fired transitions, 2500 secs || 27159128 markings, 30801947 edges, 11193 markings/sec, 2500 secs 43 tries, 42335084 fired transitions, 2505 secs || 27214782 markings, 30865264 edges, 11131 markings/sec, 2505 secs 43 tries, 42423401 fired transitions, 2510 secs || 27269090 markings, 30927156 edges, 10862 markings/sec, 2510 secs 43 tries, 42511189 fired transitions, 2515 secs || 27324458 markings, 30990078 edges, 11074 markings/sec, 2515 secs 43 tries, 42596840 fired transitions, 2520 secs || 27378703 markings, 31051851 edges, 10849 markings/sec, 2520 secs 43 tries, 42681858 fired transitions, 2525 secs || 27431835 markings, 31111938 edges, 10626 markings/sec, 2525 secs 43 tries, 42765152 fired transitions, 2530 secs || 27486958 markings, 31174642 edges, 11025 markings/sec, 2530 secs 43 tries, 42848294 fired transitions, 2535 secs || 27542458 markings, 31237633 edges, 11100 markings/sec, 2535 secs 43 tries, 42933429 fired transitions, 2540 secs || 27597297 markings, 31300023 edges, 10968 markings/sec, 2540 secs 44 tries, 43021097 fired transitions, 2545 secs || 27652446 markings, 31362850 edges, 11030 markings/sec, 2545 secs 44 tries, 43108463 fired transitions, 2550 secs || 27706347 markings, 31424510 edges, 10780 markings/sec, 2550 secs 44 tries, 43194079 fired transitions, 2555 secs || 27761982 markings, 31487722 edges, 11127 markings/sec, 2555 secs 44 tries, 43276118 fired transitions, 2560 secs || 27815720 markings, 31548868 edges, 10748 markings/sec, 2560 secs 44 tries, 43358363 fired transitions, 2565 secs || 27870022 markings, 31610739 edges, 10860 markings/sec, 2565 secs 44 tries, 43442096 fired transitions, 2570 secs || 27923957 markings, 31672078 edges, 10787 markings/sec, 2570 secs 44 tries, 43523583 fired transitions, 2575 secs || 27978970 markings, 31734791 edges, 11003 markings/sec, 2575 secs 44 tries, 43606095 fired transitions, 2580 secs || 28034351 markings, 31797889 edges, 11076 markings/sec, 2580 secs 44 tries, 43687719 fired transitions, 2585 secs || 28090512 markings, 31861688 edges, 11232 markings/sec, 2585 secs 44 tries, 43769978 fired transitions, 2590 secs || 28145842 markings, 31924729 edges, 11066 markings/sec, 2590 secs 44 tries, 43850311 fired transitions, 2595 secs || 28199902 markings, 31986088 edges, 10812 markings/sec, 2595 secs 44 tries, 43931115 fired transitions, 2600 secs || 28254192 markings, 32047891 edges, 10858 markings/sec, 2600 secs 45 tries, 44013713 fired transitions, 2605 secs || 28308982 markings, 32110048 edges, 10958 markings/sec, 2605 secs 45 tries, 44095940 fired transitions, 2610 secs || 28364315 markings, 32172793 edges, 11067 markings/sec, 2610 secs 45 tries, 44179067 fired transitions, 2615 secs || 28420017 markings, 32236136 edges, 11140 markings/sec, 2615 secs 45 tries, 44261790 fired transitions, 2620 secs || 28474882 markings, 32298603 edges, 10973 markings/sec, 2620 secs 45 tries, 44343977 fired transitions, 2625 secs || 28530415 markings, 32361786 edges, 11107 markings/sec, 2625 secs 45 tries, 44425933 fired transitions, 2630 secs || 28585002 markings, 32423964 edges, 10917 markings/sec, 2630 secs 45 tries, 44507955 fired transitions, 2635 secs || 28642021 markings, 32488871 edges, 11404 markings/sec, 2635 secs 45 tries, 44589443 fired transitions, 2640 secs || 28697953 markings, 32552468 edges, 11186 markings/sec, 2640 secs 45 tries, 44669893 fired transitions, 2645 secs || 28752398 markings, 32614381 edges, 10889 markings/sec, 2645 secs 45 tries, 44752176 fired transitions, 2650 secs || 28807728 markings, 32677228 edges, 11066 markings/sec, 2650 secs 45 tries, 44831612 fired transitions, 2655 secs || 28861658 markings, 32738440 edges, 10786 markings/sec, 2655 secs 45 tries, 44913346 fired transitions, 2660 secs || 28916500 markings, 32800510 edges, 10968 markings/sec, 2660 secs 45 tries, 44993904 fired transitions, 2665 secs || 28972825 markings, 32864545 edges, 11265 markings/sec, 2665 secs 46 tries, 45077754 fired transitions, 2670 secs || 29027174 markings, 32926456 edges, 10870 markings/sec, 2670 secs 46 tries, 45161993 fired transitions, 2675 secs || 29082116 markings, 32988963 edges, 10988 markings/sec, 2675 secs 46 tries, 45243074 fired transitions, 2680 secs || 29137242 markings, 33051794 edges, 11025 markings/sec, 2680 secs 46 tries, 45324443 fired transitions, 2685 secs || 29192484 markings, 33114419 edges, 11048 markings/sec, 2685 secs 46 tries, 45405430 fired transitions, 2690 secs || 29246843 markings, 33176424 edges, 10872 markings/sec, 2690 secs 46 tries, 45485868 fired transitions, 2695 secs || 29301593 markings, 33238825 edges, 10950 markings/sec, 2695 secs 46 tries, 45568400 fired transitions, 2700 secs || 29354860 markings, 33299478 edges, 10653 markings/sec, 2700 secs 46 tries, 45651225 fired transitions, 2705 secs || 29407589 markings, 33359481 edges, 10546 markings/sec, 2705 secs 46 tries, 45733933 fired transitions, 2710 secs || 29461292 markings, 33420580 edges, 10741 markings/sec, 2710 secs 46 tries, 45815142 fired transitions, 2715 secs || 29515559 markings, 33482389 edges, 10853 markings/sec, 2715 secs 46 tries, 45896507 fired transitions, 2720 secs || 29570091 markings, 33544265 edges, 10906 markings/sec, 2720 secs 46 tries, 45978911 fired transitions, 2725 secs || 29623888 markings, 33605342 edges, 10759 markings/sec, 2725 secs 47 tries, 46060998 fired transitions, 2730 secs || 29678749 markings, 33667885 edges, 10972 markings/sec, 2730 secs 47 tries, 46142578 fired transitions, 2735 secs || 29733675 markings, 33730499 edges, 10985 markings/sec, 2735 secs 47 tries, 46224478 fired transitions, 2740 secs || 29787530 markings, 33791754 edges, 10771 markings/sec, 2740 secs 47 tries, 46304945 fired transitions, 2745 secs || 29841290 markings, 33853140 edges, 10752 markings/sec, 2745 secs 47 tries, 46386636 fired transitions, 2750 secs || 29895326 markings, 33914709 edges, 10807 markings/sec, 2750 secs 47 tries, 46471005 fired transitions, 2755 secs || 29951575 markings, 33978569 edges, 11250 markings/sec, 2755 secs 47 tries, 46555153 fired transitions, 2760 secs || 30006553 markings, 34041384 edges, 10996 markings/sec, 2760 secs 47 tries, 46641054 fired transitions, 2765 secs || 30062602 markings, 34105067 edges, 11210 markings/sec, 2765 secs 47 tries, 46724936 fired transitions, 2770 secs || 30117772 markings, 34167985 edges, 11034 markings/sec, 2770 secs 47 tries, 46807948 fired transitions, 2775 secs || 30173795 markings, 34231808 edges, 11205 markings/sec, 2775 secs 47 tries, 46889910 fired transitions, 2780 secs || 30228865 markings, 34294612 edges, 11014 markings/sec, 2780 secs 47 tries, 46972052 fired transitions, 2785 secs || 30284611 markings, 34358151 edges, 11149 markings/sec, 2785 secs 48 tries, 47055890 fired transitions, 2790 secs || 30339855 markings, 34421036 edges, 11049 markings/sec, 2790 secs 48 tries, 47138387 fired transitions, 2795 secs || 30395192 markings, 34484196 edges, 11067 markings/sec, 2795 secs 48 tries, 47219836 fired transitions, 2800 secs || 30451255 markings, 34547963 edges, 11213 markings/sec, 2800 secs 48 tries, 47302186 fired transitions, 2805 secs || 30506556 markings, 34611037 edges, 11060 markings/sec, 2805 secs 48 tries, 47382671 fired transitions, 2810 secs || 30562739 markings, 34675095 edges, 11237 markings/sec, 2810 secs 48 tries, 47465076 fired transitions, 2815 secs || 30619001 markings, 34739148 edges, 11252 markings/sec, 2815 secs 48 tries, 47546341 fired transitions, 2820 secs || 30676358 markings, 34804146 edges, 11471 markings/sec, 2820 secs 48 tries, 47626399 fired transitions, 2825 secs || 30732963 markings, 34868539 edges, 11321 markings/sec, 2825 secs 48 tries, 47707733 fired transitions, 2830 secs || 30789307 markings, 34932672 edges, 11269 markings/sec, 2830 secs 48 tries, 47788939 fired transitions, 2835 secs || 30844365 markings, 34995410 edges, 11012 markings/sec, 2835 secs 48 tries, 47872312 fired transitions, 2840 secs || 30900741 markings, 35059505 edges, 11275 markings/sec, 2840 secs 48 tries, 47953419 fired transitions, 2845 secs || 30956064 markings, 35122564 edges, 11065 markings/sec, 2845 secs 49 tries, 48038846 fired transitions, 2850 secs || 31012871 markings, 35187123 edges, 11361 markings/sec, 2850 secs 49 tries, 48121899 fired transitions, 2855 secs || 31067628 markings, 35249534 edges, 10951 markings/sec, 2855 secs 49 tries, 48207282 fired transitions, 2860 secs || 31124038 markings, 35313768 edges, 11282 markings/sec, 2860 secs 49 tries, 48292486 fired transitions, 2865 secs || 31181832 markings, 35379479 edges, 11559 markings/sec, 2865 secs 49 tries, 48377098 fired transitions, 2870 secs || 31237652 markings, 35443224 edges, 11164 markings/sec, 2870 secs 49 tries, 48461310 fired transitions, 2875 secs || 31295255 markings, 35508840 edges, 11521 markings/sec, 2875 secs 49 tries, 48543672 fired transitions, 2880 secs || 31350591 markings, 35571549 edges, 11067 markings/sec, 2880 secs 49 tries, 48627431 fired transitions, 2885 secs || 31406041 markings, 35634727 edges, 11090 markings/sec, 2885 secs 49 tries, 48711459 fired transitions, 2890 secs || 31464172 markings, 35700829 edges, 11626 markings/sec, 2890 secs 49 tries, 48795575 fired transitions, 2895 secs || 31521312 markings, 35765581 edges, 11428 markings/sec, 2895 secs 49 tries, 48880190 fired transitions, 2900 secs || 31578500 markings, 35830245 edges, 11438 markings/sec, 2900 secs 49 tries, 48964726 fired transitions, 2905 secs || 31636309 markings, 35895862 edges, 11562 markings/sec, 2905 secs 50 tries, 49051105 fired transitions, 2910 secs || 31694601 markings, 35961936 edges, 11658 markings/sec, 2910 secs 50 tries, 49134768 fired transitions, 2915 secs || 31751308 markings, 36026536 edges, 11341 markings/sec, 2915 secs 50 tries, 49219629 fired transitions, 2920 secs || 31807606 markings, 36090740 edges, 11260 markings/sec, 2920 secs 50 tries, 49306500 fired transitions, 2925 secs || 31862878 markings, 36153647 edges, 11054 markings/sec, 2925 secs 50 tries, 49393436 fired transitions, 2930 secs || 31919242 markings, 36217784 edges, 11273 markings/sec, 2930 secs 50 tries, 49478552 fired transitions, 2935 secs || 31976719 markings, 36283059 edges, 11495 markings/sec, 2935 secs 50 tries, 49566128 fired transitions, 2940 secs || 32032607 markings, 36346737 edges, 11178 markings/sec, 2940 secs 50 tries, 49652124 fired transitions, 2945 secs || 32087314 markings, 36409232 edges, 10941 markings/sec, 2945 secs 50 tries, 49739171 fired transitions, 2950 secs || 32142620 markings, 36472252 edges, 11061 markings/sec, 2950 secs 50 tries, 49826522 fired transitions, 2955 secs || 32199086 markings, 36536485 edges, 11293 markings/sec, 2955 secs 50 tries, 49912418 fired transitions, 2960 secs || 32254275 markings, 36599394 edges, 11038 markings/sec, 2960 secs 50 tries, 49999543 fired transitions, 2965 secs || 32310047 markings, 36662453 edges, 11154 markings/sec, 2965 secs 51 tries, 50088369 fired transitions, 2970 secs || 32365707 markings, 36725657 edges, 11132 markings/sec, 2970 secs 51 tries, 50176417 fired transitions, 2975 secs || 32422472 markings, 36789932 edges, 11353 markings/sec, 2975 secs 51 tries, 50259362 fired transitions, 2980 secs || 32477878 markings, 36852847 edges, 11081 markings/sec, 2980 secs 51 tries, 50343957 fired transitions, 2985 secs || 32534650 markings, 36917584 edges, 11354 markings/sec, 2985 secs 51 tries, 50429948 fired transitions, 2990 secs || 32591614 markings, 36982565 edges, 11393 markings/sec, 2990 secs 51 tries, 50514581 fired transitions, 2995 secs || 32648071 markings, 37046822 edges, 11291 markings/sec, 2995 secs 51 tries, 50598158 fired transitions, 3000 secs || 32705453 markings, 37112051 edges, 11476 markings/sec, 3000 secs 51 tries, 50681219 fired transitions, 3005 secs || 32762803 markings, 37177163 edges, 11470 markings/sec, 3005 secs 51 tries, 50765610 fired transitions, 3010 secs || 32819051 markings, 37241191 edges, 11250 markings/sec, 3010 secs 51 tries, 50849977 fired transitions, 3015 secs || 32874726 markings, 37304538 edges, 11135 markings/sec, 3015 secs 51 tries, 50935251 fired transitions, 3020 secs || 32930501 markings, 37368093 edges, 11155 markings/sec, 3020 secs 52 tries, 51020973 fired transitions, 3025 secs || 32985907 markings, 37430973 edges, 11081 markings/sec, 3025 secs 52 tries, 51104460 fired transitions, 3030 secs || 33041596 markings, 37494285 edges, 11138 markings/sec, 3030 secs 52 tries, 51189361 fired transitions, 3035 secs || 33098572 markings, 37559161 edges, 11395 markings/sec, 3035 secs 52 tries, 51273149 fired transitions, 3040 secs || 33154748 markings, 37622837 edges, 11235 markings/sec, 3040 secs 52 tries, 51357659 fired transitions, 3045 secs || 33210959 markings, 37686471 edges, 11242 markings/sec, 3045 secs 52 tries, 51440878 fired transitions, 3050 secs || 33265771 markings, 37748645 edges, 10962 markings/sec, 3050 secs 52 tries, 51523860 fired transitions, 3055 secs || 33320955 markings, 37811142 edges, 11037 markings/sec, 3055 secs 52 tries, 51607579 fired transitions, 3060 secs || 33376322 markings, 37873882 edges, 11073 markings/sec, 3060 secs 52 tries, 51689158 fired transitions, 3065 secs || 33429064 markings, 37933622 edges, 10548 markings/sec, 3065 secs 52 tries, 51770839 fired transitions, 3070 secs || 33481963 markings, 37993692 edges, 10580 markings/sec, 3070 secs 52 tries, 51852304 fired transitions, 3075 secs || 33536195 markings, 38055408 edges, 10846 markings/sec, 3075 secs 52 tries, 51924020 fired transitions, 3080 secs || 33576807 markings, 38101769 edges, 8122 markings/sec, 3080 secs 52 tries, 51933054 fired transitions, 3085 secs || 33579874 markings, 38105262 edges, 613 markings/sec, 3085 secs 52 tries, 51961015 fired transitions, 3090 secs || 33584988 markings, 38111070 edges, 1023 markings/sec, 3090 secs 52 tries, 51964484 fired transitions, 3095 secs || 33586117 markings, 38112361 edges, 226 markings/sec, 3095 secs 52 tries, 51974016 fired transitions, 3100 secs || 33588549 markings, 38115148 edges, 486 markings/sec, 3100 secs 52 tries, 51988224 fired transitions, 3105 secs || 33590927 markings, 38117808 edges, 476 markings/sec, 3105 secs 52 tries, 51992989 fired transitions, 3110 secs || 33592290 markings, 38119369 edges, 273 markings/sec, 3110 secs 53 tries, 52020597 fired transitions, 3115 secs || 33595268 markings, 38122763 edges, 596 markings/sec, 3115 secs 53 tries, 52035966 fired transitions, 3120 secs || 33597524 markings, 38125344 edges, 451 markings/sec, 3120 secs 53 tries, 52036752 fired transitions, 3125 secs || 33597593 markings, 38125422 edges, 14 markings/sec, 3125 secs 53 tries, 52045673 fired transitions, 3130 secs || 33599704 markings, 38127833 edges, 422 markings/sec, 3130 secs 53 tries, 52053131 fired transitions, 3135 secs || 33602088 markings, 38130544 edges, 477 markings/sec, 3135 secs 53 tries, 52055741 fired transitions, 3140 secs || 33602941 markings, 38131519 edges, 171 markings/sec, 3140 secs 53 tries, 52069220 fired transitions, 3145 secs || 33604300 markings, 38133070 edges, 272 markings/sec, 3145 secs

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="DLCround-PT-13b"
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/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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 DLCround-PT-13b, 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-152649735300153"
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 ;