MCC'2018 - Execution of r070-smll-152649742900153

About the Execution of M4M.full for DLCround-PT-13b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.410	2949582.00	5865797.00	9472.30	?	normal

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 mcc4mcc-full
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 1526711162575

BK_STOP 1526714112157

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

Prefix is 65b80f64.
Reading known information
Reading learned
Reading value translations
Using directory
Using DLCround-PT-13b
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics
Known tools are:
Learned tools are:
Learned tool lola
ReachabilityDeadlock

Time: 3600 - MCC
----- Start make
----- Start make
========================
DLCround-PT-13b:
========================
translating PT Petri net complete

checking for too many tokens
========================
DLCround-PT-13b:
========================
translating formula complete
touch formulae;
----- Start make
----- Start make
ReachabilityDeadlock
make: [verify]
----- Start make
----- Kill lola
Makefile:222: recipe
----- Start make
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 14070/65536
lola: preprocessing...
lola: finding
lola: 5343 places,
lola: computing
lola: computing
lola: 12738 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using 632
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: computing
lola: time limit
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
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 ||
Killed
FORMULA DLCround-PT-1
----- Kill
----- Finished stdout -----
----- Finished stderr -----
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 r070-smll-152649742900153 ============================================= 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 in /usr/share/mcc4mcc/65b80f64-known.json. information in /usr/share/mcc4mcc/65b80f64-learned.json. in /usr/share/mcc4mcc/65b80f64-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}. [{'Time': 2482596, 'Memory': 15949.08, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-13b... prepare stdout ----- prepare stderr ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stderr ----- result stdout ----- @ DLCround-PT-13b @ 3540 seconds Error 137 (ignored) result stderr ----- and sara stderr ----- for target 'verify' failed result stdout ----- 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 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) bit-perfect encoder (--encoder=bit) bytes per marking, with 25 unused bits prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly 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, 76478 fired transitions, 0 secs || 79409 markings, 88651 edges, 15882 markings/sec, 0 secs 1 tries, 161197 fired transitions, 5 secs || 159903 markings, 178953 edges, 16099 markings/sec, 5 secs 1 tries, 246400 fired transitions, 10 secs || 238856 markings, 267222 edges, 15791 markings/sec, 10 secs 1 tries, 329664 fired transitions, 15 secs || 307762 markings, 343717 edges, 13781 markings/sec, 15 secs 1 tries, 413955 fired transitions, 20 secs || 390879 markings, 437372 edges, 16623 markings/sec, 20 secs 1 tries, 496489 fired transitions, 25 secs || 465723 markings, 521146 edges, 14969 markings/sec, 25 secs 1 tries, 575407 fired transitions, 30 secs || 542583 markings, 607108 edges, 15372 markings/sec, 30 secs 1 tries, 654625 fired transitions, 35 secs || 625770 markings, 701029 edges, 16637 markings/sec, 35 secs 1 tries, 734380 fired transitions, 40 secs || 704124 markings, 789224 edges, 15671 markings/sec, 40 secs 1 tries, 814842 fired transitions, 45 secs || 785235 markings, 880467 edges, 16222 markings/sec, 45 secs 1 tries, 894769 fired transitions, 50 secs || 869501 markings, 975744 edges, 16853 markings/sec, 50 secs 1 tries, 972890 fired transitions, 55 secs || 940113 markings, 1054216 edges, 14122 markings/sec, 55 secs 2 tries, 1054619 fired transitions, 60 secs || 1016342 markings, 1139943 edges, 15246 markings/sec, 60 secs 2 tries, 1133330 fired transitions, 65 secs || 1086703 markings, 1218724 edges, 14072 markings/sec, 65 secs 2 tries, 1214010 fired transitions, 70 secs || 1161866 markings, 1303136 edges, 15033 markings/sec, 70 secs 2 tries, 1292920 fired transitions, 75 secs || 1232765 markings, 1382653 edges, 14180 markings/sec, 75 secs 2 tries, 1372104 fired transitions, 80 secs || 1316203 markings, 1476656 edges, 16688 markings/sec, 80 secs 2 tries, 1452630 fired transitions, 85 secs || 1412372 markings, 1586462 edges, 19234 markings/sec, 85 secs 2 tries, 1533631 fired transitions, 90 secs || 1507204 markings, 1694889 edges, 18966 markings/sec, 90 secs 2 tries, 1613757 fired transitions, 95 secs || 1599734 markings, 1800677 edges, 18506 markings/sec, 95 secs 2 tries, 1693174 fired transitions, 100 secs || 1679179 markings, 1889767 edges, 15889 markings/sec, 100 secs 2 tries, 1774358 fired transitions, 105 secs || 1770784 markings, 1994047 edges, 18321 markings/sec, 105 secs 2 tries, 1855108 fired transitions, 110 secs || 1859339 markings, 2094905 edges, 17711 markings/sec, 110 secs 2 tries, 1936372 fired transitions, 115 secs || 1951535 markings, 2199704 edges, 18439 markings/sec, 115 secs 3 tries, 2019662 fired transitions, 120 secs || 2042134 markings, 2302672 edges, 18120 markings/sec, 120 secs 3 tries, 2101571 fired transitions, 125 secs || 2132999 markings, 2405657 edges, 18173 markings/sec, 125 secs 3 tries, 2183105 fired transitions, 130 secs || 2221553 markings, 2505885 edges, 17711 markings/sec, 130 secs 3 tries, 2265408 fired transitions, 135 secs || 2310504 markings, 2606872 edges, 17790 markings/sec, 135 secs 3 tries, 2347280 fired transitions, 140 secs || 2403323 markings, 2712304 edges, 18564 markings/sec, 140 secs 3 tries, 2430324 fired transitions, 145 secs || 2490152 markings, 2811341 edges, 17366 markings/sec, 145 secs 3 tries, 2512369 fired transitions, 150 secs || 2582395 markings, 2916263 edges, 18449 markings/sec, 150 secs 3 tries, 2595350 fired transitions, 155 secs || 2672104 markings, 3018191 edges, 17942 markings/sec, 155 secs 3 tries, 2677856 fired transitions, 160 secs || 2766676 markings, 3126013 edges, 18914 markings/sec, 160 secs 3 tries, 2761022 fired transitions, 165 secs || 2857042 markings, 3228650 edges, 18073 markings/sec, 165 secs 3 tries, 2845568 fired transitions, 170 secs || 2946708 markings, 3330404 edges, 17933 markings/sec, 170 secs 3 tries, 2930003 fired transitions, 175 secs || 3037954 markings, 3433948 edges, 18249 markings/sec, 175 secs 4 tries, 3015658 fired transitions, 180 secs || 3127353 markings, 3535956 edges, 17880 markings/sec, 180 secs 4 tries, 3100019 fired transitions, 185 secs || 3215264 markings, 3635481 edges, 17582 markings/sec, 185 secs 4 tries, 3185773 fired transitions, 190 secs || 3302719 markings, 3734545 edges, 17491 markings/sec, 190 secs 4 tries, 3269959 fired transitions, 195 secs || 3391521 markings, 3835469 edges, 17760 markings/sec, 195 secs 4 tries, 3354590 fired transitions, 200 secs || 3480540 markings, 3936837 edges, 17804 markings/sec, 200 secs 4 tries, 3437653 fired transitions, 205 secs || 3570490 markings, 4038635 edges, 17990 markings/sec, 205 secs 4 tries, 3521682 fired transitions, 210 secs || 3659970 markings, 4140293 edges, 17896 markings/sec, 210 secs 4 tries, 3607237 fired transitions, 215 secs || 3750010 markings, 4242311 edges, 18008 markings/sec, 215 secs 4 tries, 3692705 fired transitions, 220 secs || 3839667 markings, 4344278 edges, 17931 markings/sec, 220 secs 4 tries, 3776829 fired transitions, 225 secs || 3928451 markings, 4445404 edges, 17757 markings/sec, 225 secs 4 tries, 3862476 fired transitions, 230 secs || 4016907 markings, 4546303 edges, 17691 markings/sec, 230 secs 4 tries, 3947755 fired transitions, 235 secs || 4106596 markings, 4648238 edges, 17938 markings/sec, 235 secs 5 tries, 4033083 fired transitions, 240 secs || 4196605 markings, 4750201 edges, 18002 markings/sec, 240 secs 5 tries, 4117595 fired transitions, 245 secs || 4285687 markings, 4851783 edges, 17816 markings/sec, 245 secs 5 tries, 4201431 fired transitions, 250 secs || 4375847 markings, 4954314 edges, 18032 markings/sec, 250 secs 5 tries, 4284667 fired transitions, 255 secs || 4466501 markings, 5057402 edges, 18131 markings/sec, 255 secs 5 tries, 4368682 fired transitions, 260 secs || 4556839 markings, 5160185 edges, 18068 markings/sec, 260 secs 5 tries, 4451736 fired transitions, 265 secs || 4643279 markings, 5259113 edges, 17288 markings/sec, 265 secs 5 tries, 4536324 fired transitions, 270 secs || 4730971 markings, 5359241 edges, 17538 markings/sec, 270 secs 5 tries, 4620157 fired transitions, 275 secs || 4821173 markings, 5461492 edges, 18040 markings/sec, 275 secs 5 tries, 4703905 fired transitions, 280 secs || 4913724 markings, 5566555 edges, 18510 markings/sec, 280 secs 5 tries, 4789256 fired transitions, 285 secs || 5007170 markings, 5672895 edges, 18689 markings/sec, 285 secs 5 tries, 4874614 fired transitions, 290 secs || 5097424 markings, 5775676 edges, 18051 markings/sec, 290 secs 5 tries, 4958373 fired transitions, 295 secs || 5187202 markings, 5878172 edges, 17956 markings/sec, 295 secs 6 tries, 5044604 fired transitions, 300 secs || 5278351 markings, 5982157 edges, 18230 markings/sec, 300 secs 6 tries, 5129563 fired transitions, 305 secs || 5369414 markings, 6085990 edges, 18213 markings/sec, 305 secs 6 tries, 5212896 fired transitions, 310 secs || 5458247 markings, 6186986 edges, 17767 markings/sec, 310 secs 6 tries, 5297741 fired transitions, 315 secs || 5547314 markings, 6287992 edges, 17813 markings/sec, 315 secs 6 tries, 5381598 fired transitions, 320 secs || 5634769 markings, 6387036 edges, 17491 markings/sec, 320 secs 6 tries, 5465841 fired transitions, 325 secs || 5723681 markings, 6488032 edges, 17782 markings/sec, 325 secs 6 tries, 5549918 fired transitions, 330 secs || 5815018 markings, 6592071 edges, 18267 markings/sec, 330 secs 6 tries, 5634366 fired transitions, 335 secs || 5907141 markings, 6696476 edges, 18425 markings/sec, 335 secs 6 tries, 5719182 fired transitions, 340 secs || 5993191 markings, 6793848 edges, 17210 markings/sec, 340 secs 6 tries, 5803526 fired transitions, 345 secs || 6085487 markings, 6898477 edges, 18459 markings/sec, 345 secs 6 tries, 5887163 fired transitions, 350 secs || 6174075 markings, 6998996 edges, 17718 markings/sec, 350 secs 6 tries, 5971517 fired transitions, 355 secs || 6261993 markings, 7098777 edges, 17584 markings/sec, 355 secs 7 tries, 6056657 fired transitions, 360 secs || 6348448 markings, 7196997 edges, 17291 markings/sec, 360 secs 7 tries, 6140576 fired transitions, 365 secs || 6436727 markings, 7297582 edges, 17656 markings/sec, 365 secs 7 tries, 6225070 fired transitions, 370 secs || 6523590 markings, 7396438 edges, 17373 markings/sec, 370 secs 7 tries, 6309978 fired transitions, 375 secs || 6611373 markings, 7495634 edges, 17557 markings/sec, 375 secs 7 tries, 6394325 fired transitions, 380 secs || 6697628 markings, 7593464 edges, 17251 markings/sec, 380 secs 7 tries, 6479202 fired transitions, 385 secs || 6787151 markings, 7695069 edges, 17905 markings/sec, 385 secs 7 tries, 6563683 fired transitions, 390 secs || 6875485 markings, 7795230 edges, 17667 markings/sec, 390 secs 7 tries, 6647433 fired transitions, 395 secs || 6963316 markings, 7895392 edges, 17566 markings/sec, 395 secs 7 tries, 6731209 fired transitions, 400 secs || 7051377 markings, 7996174 edges, 17612 markings/sec, 400 secs 7 tries, 6815528 fired transitions, 405 secs || 7138845 markings, 8095831 edges, 17494 markings/sec, 405 secs 7 tries, 6900535 fired transitions, 410 secs || 7231531 markings, 8201195 edges, 18537 markings/sec, 410 secs 7 tries, 6986082 fired transitions, 415 secs || 7320924 markings, 8302869 edges, 17879 markings/sec, 415 secs 8 tries, 7071320 fired transitions, 420 secs || 7409980 markings, 8404194 edges, 17811 markings/sec, 420 secs 8 tries, 7157033 fired transitions, 425 secs || 7503939 markings, 8510889 edges, 18792 markings/sec, 425 secs 8 tries, 7241967 fired transitions, 430 secs || 7594098 markings, 8613243 edges, 18032 markings/sec, 430 secs 8 tries, 7327229 fired transitions, 435 secs || 7685853 markings, 8717423 edges, 18351 markings/sec, 435 secs 8 tries, 7411761 fired transitions, 440 secs || 7773240 markings, 8816884 edges, 17477 markings/sec, 440 secs 8 tries, 7496025 fired transitions, 445 secs || 7863537 markings, 8918950 edges, 18059 markings/sec, 445 secs 8 tries, 7580018 fired transitions, 450 secs || 7950025 markings, 9017183 edges, 17298 markings/sec, 450 secs 8 tries, 7664005 fired transitions, 455 secs || 8037885 markings, 9117498 edges, 17572 markings/sec, 455 secs 8 tries, 7748008 fired transitions, 460 secs || 8125456 markings, 9216915 edges, 17514 markings/sec, 460 secs 8 tries, 7832578 fired transitions, 465 secs || 8214150 markings, 9318025 edges, 17739 markings/sec, 465 secs 8 tries, 7916672 fired transitions, 470 secs || 8301688 markings, 9418075 edges, 17508 markings/sec, 470 secs 9 tries, 8003005 fired transitions, 475 secs || 8389486 markings, 9517871 edges, 17560 markings/sec, 475 secs 9 tries, 8087828 fired transitions, 480 secs || 8475507 markings, 9615470 edges, 17204 markings/sec, 480 secs 9 tries, 8172144 fired transitions, 485 secs || 8566755 markings, 9718712 edges, 18250 markings/sec, 485 secs 9 tries, 8256093 fired transitions, 490 secs || 8654024 markings, 9816667 edges, 17454 markings/sec, 490 secs 9 tries, 8340268 fired transitions, 495 secs || 8745950 markings, 9920829 edges, 18385 markings/sec, 495 secs 9 tries, 8424929 fired transitions, 500 secs || 8840631 markings, 10028451 edges, 18936 markings/sec, 500 secs 9 tries, 8509462 fired transitions, 505 secs || 8931573 markings, 10131737 edges, 18188 markings/sec, 505 secs 9 tries, 8594477 fired transitions, 510 secs || 9021174 markings, 10233910 edges, 17920 markings/sec, 510 secs 9 tries, 8684139 fired transitions, 515 secs || 9117747 markings, 10343569 edges, 19315 markings/sec, 515 secs 9 tries, 8773735 fired transitions, 520 secs || 9211138 markings, 10449700 edges, 18678 markings/sec, 520 secs 9 tries, 8862688 fired transitions, 525 secs || 9304942 markings, 10556358 edges, 18761 markings/sec, 525 secs 9 tries, 8951912 fired transitions, 530 secs || 9397292 markings, 10660980 edges, 18470 markings/sec, 530 secs 10 tries, 9043034 fired transitions, 535 secs || 9497770 markings, 10775408 edges, 20096 markings/sec, 535 secs 10 tries, 9131693 fired transitions, 540 secs || 9591976 markings, 10882550 edges, 18841 markings/sec, 540 secs 10 tries, 9219787 fired transitions, 545 secs || 9688800 markings, 10992434 edges, 19365 markings/sec, 545 secs 10 tries, 9308764 fired transitions, 550 secs || 9782137 markings, 11098657 edges, 18667 markings/sec, 550 secs 10 tries, 9397891 fired transitions, 555 secs || 9877405 markings, 11206772 edges, 19054 markings/sec, 555 secs 10 tries, 9486889 fired transitions, 560 secs || 9969544 markings, 11311253 edges, 18428 markings/sec, 560 secs 10 tries, 9575817 fired transitions, 565 secs || 10060534 markings, 11414483 edges, 18198 markings/sec, 565 secs 10 tries, 9663986 fired transitions, 570 secs || 10151511 markings, 11517899 edges, 18195 markings/sec, 570 secs 10 tries, 9752929 fired transitions, 575 secs || 10241344 markings, 11620499 edges, 17967 markings/sec, 575 secs 10 tries, 9840940 fired transitions, 580 secs || 10330595 markings, 11721532 edges, 17850 markings/sec, 580 secs 10 tries, 9929897 fired transitions, 585 secs || 10421296 markings, 11824610 edges, 18140 markings/sec, 585 secs 11 tries, 10018453 fired transitions, 590 secs || 10511303 markings, 11926724 edges, 18001 markings/sec, 590 secs 11 tries, 10106041 fired transitions, 595 secs || 10602618 markings, 12030504 edges, 18263 markings/sec, 595 secs 11 tries, 10193539 fired transitions, 600 secs || 10694271 markings, 12134144 edges, 18331 markings/sec, 600 secs 11 tries, 10280138 fired transitions, 605 secs || 10784186 markings, 12236469 edges, 17983 markings/sec, 605 secs 11 tries, 10368486 fired transitions, 610 secs || 10875191 markings, 12340049 edges, 18201 markings/sec, 610 secs 11 tries, 10456863 fired transitions, 615 secs || 10964746 markings, 12441986 edges, 17911 markings/sec, 615 secs 11 tries, 10546110 fired transitions, 620 secs || 11053858 markings, 12543473 edges, 17822 markings/sec, 620 secs 11 tries, 10634545 fired transitions, 625 secs || 11143808 markings, 12645573 edges, 17990 markings/sec, 625 secs 11 tries, 10724199 fired transitions, 630 secs || 11231467 markings, 12745129 edges, 17532 markings/sec, 630 secs 11 tries, 10812097 fired transitions, 635 secs || 11321163 markings, 12846822 edges, 17939 markings/sec, 635 secs 11 tries, 10900212 fired transitions, 640 secs || 11412090 markings, 12950573 edges, 18185 markings/sec, 640 secs 11 tries, 10989500 fired transitions, 645 secs || 11505162 markings, 13055894 edges, 18614 markings/sec, 645 secs 12 tries, 11079129 fired transitions, 650 secs || 11598426 markings, 13161576 edges, 18653 markings/sec, 650 secs 12 tries, 11167443 fired transitions, 655 secs || 11690495 markings, 13265967 edges, 18414 markings/sec, 655 secs 12 tries, 11256815 fired transitions, 660 secs || 11784152 markings, 13372337 edges, 18731 markings/sec, 660 secs 12 tries, 11345571 fired transitions, 665 secs || 11877307 markings, 13478203 edges, 18631 markings/sec, 665 secs 12 tries, 11435209 fired transitions, 670 secs || 11969792 markings, 13583342 edges, 18497 markings/sec, 670 secs 12 tries, 11522828 fired transitions, 675 secs || 12062227 markings, 13688323 edges, 18487 markings/sec, 675 secs 12 tries, 11610838 fired transitions, 680 secs || 12155279 markings, 13793926 edges, 18610 markings/sec, 680 secs 12 tries, 11699922 fired transitions, 685 secs || 12248210 markings, 13899595 edges, 18586 markings/sec, 685 secs 12 tries, 11788454 fired transitions, 690 secs || 12338117 markings, 14001508 edges, 17981 markings/sec, 690 secs 12 tries, 11876173 fired transitions, 695 secs || 12428587 markings, 14104373 edges, 18094 markings/sec, 695 secs 12 tries, 11964987 fired transitions, 700 secs || 12519910 markings, 14208187 edges, 18265 markings/sec, 700 secs 13 tries, 12054047 fired transitions, 705 secs || 12608916 markings, 14309335 edges, 17801 markings/sec, 705 secs 13 tries, 12141809 fired transitions, 710 secs || 12698305 markings, 14410499 edges, 17878 markings/sec, 710 secs 13 tries, 12231136 fired transitions, 715 secs || 12784215 markings, 14507686 edges, 17182 markings/sec, 715 secs 13 tries, 12317853 fired transitions, 720 secs || 12875268 markings, 14610842 edges, 18211 markings/sec, 720 secs 13 tries, 12405770 fired transitions, 725 secs || 12964205 markings, 14711470 edges, 17787 markings/sec, 725 secs 13 tries, 12494888 fired transitions, 730 secs || 13053869 markings, 14812994 edges, 17933 markings/sec, 730 secs 13 tries, 12582892 fired transitions, 735 secs || 13145366 markings, 14916891 edges, 18299 markings/sec, 735 secs 13 tries, 12670389 fired transitions, 740 secs || 13239468 markings, 15023812 edges, 18820 markings/sec, 740 secs 13 tries, 12757627 fired transitions, 745 secs || 13332669 markings, 15129786 edges, 18640 markings/sec, 745 secs 13 tries, 12845915 fired transitions, 750 secs || 13425244 markings, 15235013 edges, 18515 markings/sec, 750 secs 13 tries, 12933396 fired transitions, 755 secs || 13515658 markings, 15337526 edges, 18083 markings/sec, 755 secs 14 tries, 13024347 fired transitions, 760 secs || 13608254 markings, 15442666 edges, 18519 markings/sec, 760 secs 14 tries, 13111027 fired transitions, 765 secs || 13694927 markings, 15540563 edges, 17335 markings/sec, 765 secs 14 tries, 13197403 fired transitions, 770 secs || 13782557 markings, 15640089 edges, 17526 markings/sec, 770 secs 14 tries, 13283373 fired transitions, 775 secs || 13868224 markings, 15737773 edges, 17133 markings/sec, 775 secs 14 tries, 13369370 fired transitions, 780 secs || 13953795 markings, 15835052 edges, 17114 markings/sec, 780 secs 14 tries, 13455089 fired transitions, 785 secs || 14043187 markings, 15936621 edges, 17878 markings/sec, 785 secs 14 tries, 13539429 fired transitions, 790 secs || 14127820 markings, 16032215 edges, 16927 markings/sec, 790 secs 14 tries, 13624906 fired transitions, 795 secs || 14213010 markings, 16128633 edges, 17038 markings/sec, 795 secs 14 tries, 13710027 fired transitions, 800 secs || 14300258 markings, 16227208 edges, 17450 markings/sec, 800 secs 14 tries, 13796216 fired transitions, 805 secs || 14387558 markings, 16326039 edges, 17460 markings/sec, 805 secs 14 tries, 13882434 fired transitions, 810 secs || 14474932 markings, 16425312 edges, 17475 markings/sec, 810 secs 14 tries, 13967338 fired transitions, 815 secs || 14563222 markings, 16525360 edges, 17658 markings/sec, 815 secs 15 tries, 14054719 fired transitions, 820 secs || 14649335 markings, 16622514 edges, 17223 markings/sec, 820 secs 15 tries, 14139360 fired transitions, 825 secs || 14735640 markings, 16720481 edges, 17261 markings/sec, 825 secs 15 tries, 14224627 fired transitions, 830 secs || 14824583 markings, 16821333 edges, 17789 markings/sec, 830 secs 15 tries, 14309296 fired transitions, 835 secs || 14910440 markings, 16919031 edges, 17171 markings/sec, 835 secs 15 tries, 14394396 fired transitions, 840 secs || 14995418 markings, 17015966 edges, 16996 markings/sec, 840 secs 15 tries, 14480149 fired transitions, 845 secs || 15082120 markings, 17114573 edges, 17340 markings/sec, 845 secs 15 tries, 14564708 fired transitions, 850 secs || 15171102 markings, 17216054 edges, 17796 markings/sec, 850 secs 15 tries, 14650334 fired transitions, 855 secs || 15256787 markings, 17313534 edges, 17137 markings/sec, 855 secs 15 tries, 14734343 fired transitions, 860 secs || 15344340 markings, 17412566 edges, 17511 markings/sec, 860 secs 15 tries, 14821308 fired transitions, 865 secs || 15430993 markings, 17510711 edges, 17331 markings/sec, 865 secs 15 tries, 14907368 fired transitions, 870 secs || 15517752 markings, 17608515 edges, 17352 markings/sec, 870 secs 15 tries, 14993507 fired transitions, 875 secs || 15605357 markings, 17707919 edges, 17521 markings/sec, 875 secs 16 tries, 15080346 fired transitions, 880 secs || 15696069 markings, 17810734 edges, 18142 markings/sec, 880 secs 16 tries, 15165823 fired transitions, 885 secs || 15791032 markings, 17918450 edges, 18993 markings/sec, 885 secs 16 tries, 15250871 fired transitions, 890 secs || 15879727 markings, 18019357 edges, 17739 markings/sec, 890 secs 16 tries, 15336141 fired transitions, 895 secs || 15968258 markings, 18119863 edges, 17706 markings/sec, 895 secs 16 tries, 15421564 fired transitions, 900 secs || 16057689 markings, 18221136 edges, 17886 markings/sec, 900 secs 16 tries, 15507603 fired transitions, 905 secs || 16142806 markings, 18317338 edges, 17023 markings/sec, 905 secs 16 tries, 15594197 fired transitions, 910 secs || 16229430 markings, 18415221 edges, 17325 markings/sec, 910 secs 16 tries, 15679870 fired transitions, 915 secs || 16313249 markings, 18509880 edges, 16764 markings/sec, 915 secs 16 tries, 15766207 fired transitions, 920 secs || 16401545 markings, 18610230 edges, 17659 markings/sec, 920 secs 16 tries, 15852190 fired transitions, 925 secs || 16486948 markings, 18707254 edges, 17081 markings/sec, 925 secs 16 tries, 15937853 fired transitions, 930 secs || 16572878 markings, 18805364 edges, 17186 markings/sec, 930 secs 17 tries, 16024085 fired transitions, 935 secs || 16658295 markings, 18902306 edges, 17083 markings/sec, 935 secs 17 tries, 16110417 fired transitions, 940 secs || 16743327 markings, 18998806 edges, 17006 markings/sec, 940 secs 17 tries, 16196498 fired transitions, 945 secs || 16827648 markings, 19094827 edges, 16864 markings/sec, 945 secs 17 tries, 16283366 fired transitions, 950 secs || 16915080 markings, 19194097 edges, 17486 markings/sec, 950 secs 17 tries, 16372556 fired transitions, 955 secs || 17003243 markings, 19294310 edges, 17633 markings/sec, 955 secs 17 tries, 16459715 fired transitions, 960 secs || 17094302 markings, 19397890 edges, 18212 markings/sec, 960 secs 17 tries, 16548274 fired transitions, 965 secs || 17184367 markings, 19500094 edges, 18013 markings/sec, 965 secs 17 tries, 16636820 fired transitions, 970 secs || 17274081 markings, 19601971 edges, 17943 markings/sec, 970 secs 17 tries, 16724429 fired transitions, 975 secs || 17365130 markings, 19705148 edges, 18210 markings/sec, 975 secs 17 tries, 16811827 fired transitions, 980 secs || 17455810 markings, 19808045 edges, 18136 markings/sec, 980 secs 17 tries, 16900095 fired transitions, 985 secs || 17544422 markings, 19908654 edges, 17722 markings/sec, 985 secs 17 tries, 16987815 fired transitions, 990 secs || 17632035 markings, 20008433 edges, 17523 markings/sec, 990 secs 18 tries, 17077230 fired transitions, 995 secs || 17721132 markings, 20109851 edges, 17819 markings/sec, 995 secs 18 tries, 17166439 fired transitions, 1000 secs || 17811164 markings, 20211742 edges, 18006 markings/sec, 1000 secs 18 tries, 17254921 fired transitions, 1005 secs || 17901529 markings, 20313973 edges, 18073 markings/sec, 1005 secs 18 tries, 17342331 fired transitions, 1010 secs || 17993107 markings, 20417466 edges, 18316 markings/sec, 1010 secs 18 tries, 17430257 fired transitions, 1015 secs || 18084416 markings, 20521103 edges, 18262 markings/sec, 1015 secs 18 tries, 17517727 fired transitions, 1020 secs || 18174910 markings, 20624443 edges, 18099 markings/sec, 1020 secs 18 tries, 17607153 fired transitions, 1025 secs || 18264341 markings, 20726147 edges, 17886 markings/sec, 1025 secs 18 tries, 17696168 fired transitions, 1030 secs || 18354192 markings, 20828081 edges, 17970 markings/sec, 1030 secs 18 tries, 17785001 fired transitions, 1035 secs || 18445597 markings, 20931305 edges, 18281 markings/sec, 1035 secs 18 tries, 17873344 fired transitions, 1040 secs || 18535948 markings, 21033185 edges, 18070 markings/sec, 1040 secs 18 tries, 17962030 fired transitions, 1045 secs || 18625288 markings, 21134101 edges, 17868 markings/sec, 1045 secs 19 tries, 18052797 fired transitions, 1050 secs || 18714923 markings, 21235079 edges, 17927 markings/sec, 1050 secs 19 tries, 18142197 fired transitions, 1055 secs || 18804411 markings, 21336088 edges, 17898 markings/sec, 1055 secs 19 tries, 18230256 fired transitions, 1060 secs || 18896069 markings, 21439826 edges, 18332 markings/sec, 1060 secs 19 tries, 18319474 fired transitions, 1065 secs || 18987562 markings, 21543143 edges, 18299 markings/sec, 1065 secs 19 tries, 18407149 fired transitions, 1070 secs || 19079706 markings, 21647441 edges, 18429 markings/sec, 1070 secs 19 tries, 18495921 fired transitions, 1075 secs || 19169351 markings, 21749157 edges, 17929 markings/sec, 1075 secs 19 tries, 18584268 fired transitions, 1080 secs || 19256113 markings, 21847057 edges, 17352 markings/sec, 1080 secs 19 tries, 18672225 fired transitions, 1085 secs || 19348565 markings, 21952253 edges, 18490 markings/sec, 1085 secs 19 tries, 18760670 fired transitions, 1090 secs || 19436103 markings, 22050992 edges, 17508 markings/sec, 1090 secs 19 tries, 18848477 fired transitions, 1095 secs || 19525593 markings, 22152555 edges, 17898 markings/sec, 1095 secs 19 tries, 18937135 fired transitions, 1100 secs || 19616317 markings, 22255399 edges, 18145 markings/sec, 1100 secs 20 tries, 19028346 fired transitions, 1105 secs || 19713215 markings, 22365499 edges, 19380 markings/sec, 1105 secs 20 tries, 19116783 fired transitions, 1110 secs || 19804703 markings, 22469218 edges, 18298 markings/sec, 1110 secs 20 tries, 19205411 fired transitions, 1115 secs || 19896268 markings, 22573160 edges, 18313 markings/sec, 1115 secs 20 tries, 19294688 fired transitions, 1120 secs || 19986214 markings, 22675101 edges, 17989 markings/sec, 1120 secs 20 tries, 19383727 fired transitions, 1125 secs || 20078278 markings, 22779495 edges, 18413 markings/sec, 1125 secs 20 tries, 19472507 fired transitions, 1130 secs || 20170818 markings, 22884311 edges, 18508 markings/sec, 1130 secs 20 tries, 19560831 fired transitions, 1135 secs || 20263494 markings, 22989148 edges, 18535 markings/sec, 1135 secs 20 tries, 19649476 fired transitions, 1140 secs || 20358862 markings, 23097197 edges, 19074 markings/sec, 1140 secs 20 tries, 19736980 fired transitions, 1145 secs || 20452951 markings, 23203823 edges, 18818 markings/sec, 1145 secs 20 tries, 19824601 fired transitions, 1150 secs || 20546743 markings, 23309372 edges, 18758 markings/sec, 1150 secs 20 tries, 19913418 fired transitions, 1155 secs || 20640566 markings, 23415588 edges, 18765 markings/sec, 1155 secs 21 tries, 20004594 fired transitions, 1160 secs || 20728673 markings, 23515129 edges, 17621 markings/sec, 1160 secs 21 tries, 20093457 fired transitions, 1165 secs || 20822357 markings, 23621425 edges, 18737 markings/sec, 1165 secs 21 tries, 20183009 fired transitions, 1170 secs || 20910420 markings, 23721104 edges, 17613 markings/sec, 1170 secs 21 tries, 20273219 fired transitions, 1175 secs || 21004388 markings, 23827743 edges, 18794 markings/sec, 1175 secs 21 tries, 20360942 fired transitions, 1180 secs || 21093879 markings, 23928469 edges, 17898 markings/sec, 1180 secs 21 tries, 20449005 fired transitions, 1185 secs || 21178741 markings, 24024053 edges, 16972 markings/sec, 1185 secs 21 tries, 20536222 fired transitions, 1190 secs || 21263004 markings, 24118460 edges, 16853 markings/sec, 1190 secs 21 tries, 20623763 fired transitions, 1195 secs || 21340110 markings, 24205944 edges, 15421 markings/sec, 1195 secs 21 tries, 20710984 fired transitions, 1200 secs || 21414318 markings, 24289094 edges, 14842 markings/sec, 1200 secs 21 tries, 20798682 fired transitions, 1205 secs || 21495148 markings, 24379921 edges, 16166 markings/sec, 1205 secs 21 tries, 20887235 fired transitions, 1210 secs || 21584435 markings, 24480893 edges, 17857 markings/sec, 1210 secs 21 tries, 20974021 fired transitions, 1215 secs || 21672181 markings, 24580202 edges, 17549 markings/sec, 1215 secs 22 tries, 21062627 fired transitions, 1220 secs || 21763077 markings, 24683271 edges, 18179 markings/sec, 1220 secs 22 tries, 21152757 fired transitions, 1225 secs || 21845976 markings, 24776783 edges, 16580 markings/sec, 1225 secs 22 tries, 21241003 fired transitions, 1230 secs || 21935349 markings, 24878317 edges, 17875 markings/sec, 1230 secs 22 tries, 21329625 fired transitions, 1235 secs || 22030512 markings, 24987240 edges, 19033 markings/sec, 1235 secs 22 tries, 21418569 fired transitions, 1240 secs || 22121481 markings, 25090449 edges, 18194 markings/sec, 1240 secs 22 tries, 21507386 fired transitions, 1245 secs || 22215075 markings, 25197318 edges, 18719 markings/sec, 1245 secs 22 tries, 21596073 fired transitions, 1250 secs || 22310342 markings, 25306590 edges, 19053 markings/sec, 1250 secs 22 tries, 21684191 fired transitions, 1255 secs || 22397782 markings, 25405720 edges, 17488 markings/sec, 1255 secs 22 tries, 21773042 fired transitions, 1260 secs || 22491536 markings, 25513192 edges, 18751 markings/sec, 1260 secs 22 tries, 21861671 fired transitions, 1265 secs || 22580773 markings, 25614695 edges, 17847 markings/sec, 1265 secs 22 tries, 21950307 fired transitions, 1270 secs || 22667327 markings, 25712508 edges, 17311 markings/sec, 1270 secs 23 tries, 22039460 fired transitions, 1275 secs || 22757139 markings, 25814709 edges, 17962 markings/sec, 1275 secs 23 tries, 22128698 fired transitions, 1280 secs || 22843857 markings, 25912648 edges, 17344 markings/sec, 1280 secs 23 tries, 22215775 fired transitions, 1285 secs || 22936874 markings, 26018721 edges, 18603 markings/sec, 1285 secs 23 tries, 22303040 fired transitions, 1290 secs || 23022069 markings, 26115146 edges, 17039 markings/sec, 1290 secs 23 tries, 22390453 fired transitions, 1295 secs || 23105343 markings, 26208654 edges, 16655 markings/sec, 1295 secs 23 tries, 22478949 fired transitions, 1300 secs || 23180600 markings, 26292388 edges, 15051 markings/sec, 1300 secs 23 tries, 22565621 fired transitions, 1305 secs || 23271924 markings, 26396513 edges, 18265 markings/sec, 1305 secs 23 tries, 22652955 fired transitions, 1310 secs || 23365080 markings, 26503082 edges, 18631 markings/sec, 1310 secs 23 tries, 22739082 fired transitions, 1315 secs || 23458030 markings, 26609311 edges, 18590 markings/sec, 1315 secs 23 tries, 22825207 fired transitions, 1320 secs || 23546414 markings, 26709828 edges, 17677 markings/sec, 1320 secs 23 tries, 22910839 fired transitions, 1325 secs || 23638089 markings, 26814579 edges, 18335 markings/sec, 1325 secs 23 tries, 22995835 fired transitions, 1330 secs || 23727804 markings, 26916959 edges, 17943 markings/sec, 1330 secs 24 tries, 23082907 fired transitions, 1335 secs || 23810309 markings, 27009521 edges, 16501 markings/sec, 1335 secs 24 tries, 23169001 fired transitions, 1340 secs || 23893034 markings, 27102801 edges, 16545 markings/sec, 1340 secs 24 tries, 23253854 fired transitions, 1345 secs || 23970768 markings, 27189799 edges, 15547 markings/sec, 1345 secs 24 tries, 23338102 fired transitions, 1350 secs || 24058408 markings, 27289529 edges, 17528 markings/sec, 1350 secs 24 tries, 23423798 fired transitions, 1355 secs || 24144335 markings, 27386876 edges, 17185 markings/sec, 1355 secs 24 tries, 23509616 fired transitions, 1360 secs || 24226523 markings, 27479454 edges, 16438 markings/sec, 1360 secs 24 tries, 23596548 fired transitions, 1365 secs || 24300645 markings, 27561152 edges, 14824 markings/sec, 1365 secs 24 tries, 23682371 fired transitions, 1370 secs || 24383118 markings, 27653816 edges, 16495 markings/sec, 1370 secs 24 tries, 23767132 fired transitions, 1375 secs || 24465716 markings, 27746709 edges, 16520 markings/sec, 1375 secs 24 tries, 23852090 fired transitions, 1380 secs || 24552412 markings, 27845089 edges, 17339 markings/sec, 1380 secs 24 tries, 23937880 fired transitions, 1385 secs || 24638464 markings, 27942428 edges, 17210 markings/sec, 1385 secs 25 tries, 24024514 fired transitions, 1390 secs || 24709647 markings, 28021154 edges, 14237 markings/sec, 1390 secs 25 tries, 24109998 fired transitions, 1395 secs || 24801186 markings, 28125654 edges, 18308 markings/sec, 1395 secs 25 tries, 24194640 fired transitions, 1400 secs || 24887382 markings, 28223003 edges, 17239 markings/sec, 1400 secs 25 tries, 24280153 fired transitions, 1405 secs || 24971097 markings, 28317281 edges, 16743 markings/sec, 1405 secs 25 tries, 24366503 fired transitions, 1410 secs || 25061208 markings, 28419971 edges, 18022 markings/sec, 1410 secs 25 tries, 24452161 fired transitions, 1415 secs || 25135623 markings, 28502588 edges, 14883 markings/sec, 1415 secs 25 tries, 24538358 fired transitions, 1420 secs || 25209033 markings, 28583645 edges, 14682 markings/sec, 1420 secs 25 tries, 24623228 fired transitions, 1425 secs || 25284298 markings, 28667437 edges, 15053 markings/sec, 1425 secs 25 tries, 24709184 fired transitions, 1430 secs || 25375364 markings, 28771449 edges, 18213 markings/sec, 1430 secs 25 tries, 24792018 fired transitions, 1435 secs || 25464032 markings, 28872232 edges, 17734 markings/sec, 1435 secs 25 tries, 24877258 fired transitions, 1440 secs || 25541930 markings, 28959062 edges, 15580 markings/sec, 1440 secs 25 tries, 24962203 fired transitions, 1445 secs || 25630858 markings, 29060352 edges, 17786 markings/sec, 1445 secs 26 tries, 25049281 fired transitions, 1450 secs || 25718687 markings, 29160133 edges, 17566 markings/sec, 1450 secs 26 tries, 25134469 fired transitions, 1455 secs || 25800880 markings, 29252718 edges, 16439 markings/sec, 1455 secs 26 tries, 25219878 fired transitions, 1460 secs || 25876742 markings, 29337069 edges, 15172 markings/sec, 1460 secs 26 tries, 25305139 fired transitions, 1465 secs || 25954476 markings, 29424278 edges, 15547 markings/sec, 1465 secs 26 tries, 25391114 fired transitions, 1470 secs || 26039972 markings, 29520776 edges, 17099 markings/sec, 1470 secs 26 tries, 25476868 fired transitions, 1475 secs || 26125203 markings, 29616946 edges, 17046 markings/sec, 1475 secs 26 tries, 25561665 fired transitions, 1480 secs || 26209128 markings, 29711416 edges, 16785 markings/sec, 1480 secs 26 tries, 25646503 fired transitions, 1485 secs || 26292056 markings, 29804437 edges, 16586 markings/sec, 1485 secs 26 tries, 25731413 fired transitions, 1490 secs || 26370441 markings, 29892018 edges, 15677 markings/sec, 1490 secs 26 tries, 25816490 fired transitions, 1495 secs || 26456403 markings, 29989818 edges, 17192 markings/sec, 1495 secs 26 tries, 25901907 fired transitions, 1500 secs || 26541822 markings, 30087078 edges, 17084 markings/sec, 1500 secs 26 tries, 25987474 fired transitions, 1505 secs || 26615793 markings, 30169449 edges, 14794 markings/sec, 1505 secs 27 tries, 26073626 fired transitions, 1510 secs || 26693185 markings, 30256240 edges, 15478 markings/sec, 1510 secs 27 tries, 26158107 fired transitions, 1515 secs || 26769082 markings, 30340965 edges, 15179 markings/sec, 1515 secs 27 tries, 26243111 fired transitions, 1520 secs || 26843124 markings, 30423287 edges, 14808 markings/sec, 1520 secs 27 tries, 26326980 fired transitions, 1525 secs || 26919460 markings, 30508745 edges, 15267 markings/sec, 1525 secs 27 tries, 26410698 fired transitions, 1530 secs || 26995131 markings, 30593831 edges, 15134 markings/sec, 1530 secs 27 tries, 26495467 fired transitions, 1535 secs || 27072063 markings, 30680505 edges, 15386 markings/sec, 1535 secs 27 tries, 26578113 fired transitions, 1540 secs || 27146955 markings, 30764266 edges, 14978 markings/sec, 1540 secs 27 tries, 26664332 fired transitions, 1545 secs || 27224449 markings, 30850766 edges, 15499 markings/sec, 1545 secs 27 tries, 26749393 fired transitions, 1550 secs || 27303489 markings, 30939761 edges, 15808 markings/sec, 1550 secs 27 tries, 26832354 fired transitions, 1555 secs || 27369859 markings, 31013314 edges, 13274 markings/sec, 1555 secs 27 tries, 26916182 fired transitions, 1560 secs || 27440660 markings, 31091604 edges, 14160 markings/sec, 1560 secs 27 tries, 26998633 fired transitions, 1565 secs || 27511178 markings, 31169485 edges, 14104 markings/sec, 1565 secs 28 tries, 27083675 fired transitions, 1570 secs || 27582525 markings, 31248201 edges, 14269 markings/sec, 1570 secs 28 tries, 27166340 fired transitions, 1575 secs || 27654750 markings, 31328944 edges, 14445 markings/sec, 1575 secs 28 tries, 27249404 fired transitions, 1580 secs || 27724274 markings, 31406635 edges, 13905 markings/sec, 1580 secs 28 tries, 27332193 fired transitions, 1585 secs || 27791164 markings, 31481002 edges, 13378 markings/sec, 1585 secs 28 tries, 27414355 fired transitions, 1590 secs || 27871618 markings, 31572500 edges, 16091 markings/sec, 1590 secs 28 tries, 27496734 fired transitions, 1595 secs || 27938107 markings, 31646290 edges, 13298 markings/sec, 1595 secs 28 tries, 27579221 fired transitions, 1600 secs || 28002743 markings, 31717817 edges, 12927 markings/sec, 1600 secs 28 tries, 27666599 fired transitions, 1605 secs || 28084292 markings, 31809631 edges, 16310 markings/sec, 1605 secs 28 tries, 27753047 fired transitions, 1610 secs || 28153179 markings, 31885778 edges, 13777 markings/sec, 1610 secs 28 tries, 27837377 fired transitions, 1615 secs || 28224027 markings, 31964521 edges, 14170 markings/sec, 1615 secs 28 tries, 27923429 fired transitions, 1620 secs || 28296082 markings, 32044959 edges, 14411 markings/sec, 1620 secs 29 tries, 28011404 fired transitions, 1625 secs || 28370537 markings, 32128522 edges, 14891 markings/sec, 1625 secs 29 tries, 28097672 fired transitions, 1630 secs || 28441007 markings, 32207136 edges, 14094 markings/sec, 1630 secs 29 tries, 28183287 fired transitions, 1635 secs || 28509187 markings, 32282921 edges, 13636 markings/sec, 1635 secs 29 tries, 28268327 fired transitions, 1640 secs || 28577945 markings, 32359379 edges, 13752 markings/sec, 1640 secs 29 tries, 28353359 fired transitions, 1645 secs || 28647349 markings, 32436738 edges, 13881 markings/sec, 1645 secs 29 tries, 28438037 fired transitions, 1650 secs || 28716063 markings, 32513080 edges, 13743 markings/sec, 1650 secs 29 tries, 28524284 fired transitions, 1655 secs || 28786623 markings, 32591214 edges, 14112 markings/sec, 1655 secs 29 tries, 28610117 fired transitions, 1660 secs || 28858487 markings, 32670867 edges, 14373 markings/sec, 1660 secs 29 tries, 28695458 fired transitions, 1665 secs || 28936669 markings, 32758784 edges, 15636 markings/sec, 1665 secs 29 tries, 28782024 fired transitions, 1670 secs || 29021040 markings, 32854896 edges, 16874 markings/sec, 1670 secs 29 tries, 28868852 fired transitions, 1675 secs || 29106682 markings, 32952594 edges, 17128 markings/sec, 1675 secs 29 tries, 28954293 fired transitions, 1680 secs || 29190111 markings, 33047612 edges, 16686 markings/sec, 1680 secs 30 tries, 29042426 fired transitions, 1685 secs || 29265052 markings, 33131215 edges, 14988 markings/sec, 1685 secs 30 tries, 29125834 fired transitions, 1690 secs || 29339444 markings, 33214086 edges, 14878 markings/sec, 1690 secs 30 tries, 29212931 fired transitions, 1695 secs || 29420400 markings, 33305659 edges, 16191 markings/sec, 1695 secs 30 tries, 29300042 fired transitions, 1700 secs || 29500980 markings, 33396791 edges, 16116 markings/sec, 1700 secs 30 tries, 29387250 fired transitions, 1705 secs || 29583962 markings, 33491134 edges, 16596 markings/sec, 1705 secs 30 tries, 29472219 fired transitions, 1710 secs || 29670330 markings, 33589823 edges, 17274 markings/sec, 1710 secs 30 tries, 29558191 fired transitions, 1715 secs || 29747010 markings, 33675473 edges, 15336 markings/sec, 1715 secs 30 tries, 29644548 fired transitions, 1720 secs || 29820429 markings, 33756877 edges, 14684 markings/sec, 1720 secs 30 tries, 29730213 fired transitions, 1725 secs || 29899827 markings, 33845787 edges, 15880 markings/sec, 1725 secs 30 tries, 29816378 fired transitions, 1730 secs || 29983246 markings, 33939731 edges, 16684 markings/sec, 1730 secs 30 tries, 29901445 fired transitions, 1735 secs || 30082006 markings, 34054110 edges, 19752 markings/sec, 1735 secs 30 tries, 29986085 fired transitions, 1740 secs || 30172179 markings, 34157186 edges, 18035 markings/sec, 1740 secs 31 tries, 30072735 fired transitions, 1745 secs || 30259644 markings, 34256616 edges, 17493 markings/sec, 1745 secs 31 tries, 30157967 fired transitions, 1750 secs || 30342321 markings, 34349531 edges, 16535 markings/sec, 1750 secs 31 tries, 30241567 fired transitions, 1755 secs || 30418695 markings, 34434911 edges, 15275 markings/sec, 1755 secs 31 tries, 30329241 fired transitions, 1760 secs || 30491948 markings, 34516497 edges, 14651 markings/sec, 1760 secs 31 tries, 30414996 fired transitions, 1765 secs || 30568746 markings, 34602448 edges, 15360 markings/sec, 1765 secs 31 tries, 30499539 fired transitions, 1770 secs || 30643557 markings, 34685989 edges, 14962 markings/sec, 1770 secs 31 tries, 30584386 fired transitions, 1775 secs || 30716856 markings, 34767765 edges, 14660 markings/sec, 1775 secs 31 tries, 30670455 fired transitions, 1780 secs || 30791766 markings, 34851431 edges, 14982 markings/sec, 1780 secs 31 tries, 30755818 fired transitions, 1785 secs || 30870199 markings, 34939565 edges, 15687 markings/sec, 1785 secs 31 tries, 30843686 fired transitions, 1790 secs || 30942117 markings, 35019425 edges, 14384 markings/sec, 1790 secs 31 tries, 30930519 fired transitions, 1795 secs || 31015986 markings, 35101696 edges, 14774 markings/sec, 1795 secs 32 tries, 31019080 fired transitions, 1800 secs || 31091721 markings, 35186325 edges, 15147 markings/sec, 1800 secs 32 tries, 31104644 fired transitions, 1805 secs || 31162991 markings, 35265528 edges, 14254 markings/sec, 1805 secs 32 tries, 31190158 fired transitions, 1810 secs || 31233998 markings, 35344080 edges, 14201 markings/sec, 1810 secs 32 tries, 31276034 fired transitions, 1815 secs || 31309422 markings, 35428209 edges, 15085 markings/sec, 1815 secs 32 tries, 31360551 fired transitions, 1820 secs || 31387174 markings, 35515312 edges, 15550 markings/sec, 1820 secs 32 tries, 31445975 fired transitions, 1825 secs || 31466101 markings, 35603858 edges, 15785 markings/sec, 1825 secs 32 tries, 31531623 fired transitions, 1830 secs || 31544376 markings, 35691502 edges, 15655 markings/sec, 1830 secs 32 tries, 31618305 fired transitions, 1835 secs || 31623947 markings, 35780732 edges, 15914 markings/sec, 1835 secs 32 tries, 31704719 fired transitions, 1840 secs || 31703360 markings, 35869935 edges, 15883 markings/sec, 1840 secs 32 tries, 31789485 fired transitions, 1845 secs || 31780043 markings, 35955768 edges, 15337 markings/sec, 1845 secs 32 tries, 31874550 fired transitions, 1850 secs || 31856469 markings, 36041017 edges, 15285 markings/sec, 1850 secs 32 tries, 31957734 fired transitions, 1855 secs || 31930329 markings, 36123489 edges, 14772 markings/sec, 1855 secs 33 tries, 32040881 fired transitions, 1860 secs || 32007727 markings, 36210631 edges, 15480 markings/sec, 1860 secs 33 tries, 32124006 fired transitions, 1865 secs || 32078310 markings, 36289253 edges, 14117 markings/sec, 1865 secs 33 tries, 32206976 fired transitions, 1870 secs || 32147355 markings, 36366069 edges, 13809 markings/sec, 1870 secs 33 tries, 32289987 fired transitions, 1875 secs || 32219664 markings, 36446846 edges, 14462 markings/sec, 1875 secs 33 tries, 32372705 fired transitions, 1880 secs || 32288600 markings, 36523574 edges, 13787 markings/sec, 1880 secs 33 tries, 32455465 fired transitions, 1885 secs || 32358396 markings, 36601182 edges, 13959 markings/sec, 1885 secs 33 tries, 32537093 fired transitions, 1890 secs || 32427652 markings, 36678431 edges, 13851 markings/sec, 1890 secs 33 tries, 32620023 fired transitions, 1895 secs || 32497076 markings, 36755417 edges, 13885 markings/sec, 1895 secs 33 tries, 32703900 fired transitions, 1900 secs || 32569260 markings, 36835427 edges, 14437 markings/sec, 1900 secs 33 tries, 32788184 fired transitions, 1905 secs || 32639476 markings, 36913765 edges, 14043 markings/sec, 1905 secs 33 tries, 32869908 fired transitions, 1910 secs || 32706561 markings, 36987844 edges, 13417 markings/sec, 1910 secs 33 tries, 32952838 fired transitions, 1915 secs || 32775354 markings, 37064394 edges, 13759 markings/sec, 1915 secs 34 tries, 33038626 fired transitions, 1920 secs || 32842154 markings, 37138606 edges, 13360 markings/sec, 1920 secs 34 tries, 33123721 fired transitions, 1925 secs || 32910054 markings, 37213752 edges, 13580 markings/sec, 1925 secs 34 tries, 33210215 fired transitions, 1930 secs || 32988490 markings, 37301440 edges, 15687 markings/sec, 1930 secs 34 tries, 33296602 fired transitions, 1935 secs || 33060070 markings, 37381031 edges, 14316 markings/sec, 1935 secs 34 tries, 33380650 fired transitions, 1940 secs || 33129762 markings, 37458519 edges, 13938 markings/sec, 1940 secs 34 tries, 33466260 fired transitions, 1945 secs || 33204384 markings, 37541670 edges, 14924 markings/sec, 1945 secs 34 tries, 33551577 fired transitions, 1950 secs || 33274492 markings, 37619204 edges, 14022 markings/sec, 1950 secs 34 tries, 33637526 fired transitions, 1955 secs || 33345840 markings, 37698629 edges, 14270 markings/sec, 1955 secs 34 tries, 33721849 fired transitions, 1960 secs || 33413867 markings, 37774543 edges, 13605 markings/sec, 1960 secs 34 tries, 33806514 fired transitions, 1965 secs || 33481325 markings, 37849673 edges, 13492 markings/sec, 1965 secs 34 tries, 33892246 fired transitions, 1970 secs || 33552347 markings, 37928780 edges, 14204 markings/sec, 1970 secs 34 tries, 33975247 fired transitions, 1975 secs || 33621772 markings, 38005947 edges, 13885 markings/sec, 1975 secs 35 tries, 34058501 fired transitions, 1980 secs || 33690209 markings, 38082119 edges, 13687 markings/sec, 1980 secs 35 tries, 34140002 fired transitions, 1985 secs || 33763194 markings, 38163834 edges, 14597 markings/sec, 1985 secs 35 tries, 34221954 fired transitions, 1990 secs || 33835388 markings, 38244320 edges, 14439 markings/sec, 1990 secs 35 tries, 34304844 fired transitions, 1995 secs || 33914406 markings, 38333786 edges, 15804 markings/sec, 1995 secs 35 tries, 34388958 fired transitions, 2000 secs || 33990662 markings, 38419256 edges, 15251 markings/sec, 2000 secs 35 tries, 34474329 fired transitions, 2005 secs || 34067352 markings, 38505395 edges, 15338 markings/sec, 2005 secs 35 tries, 34558967 fired transitions, 2010 secs || 34136316 markings, 38581896 edges, 13793 markings/sec, 2010 secs 35 tries, 34644885 fired transitions, 2015 secs || 34204997 markings, 38658139 edges, 13736 markings/sec, 2015 secs 35 tries, 34731190 fired transitions, 2020 secs || 34278148 markings, 38739127 edges, 14630 markings/sec, 2020 secs 35 tries, 34816304 fired transitions, 2025 secs || 34346648 markings, 38814899 edges, 13700 markings/sec, 2025 secs 35 tries, 34901867 fired transitions, 2030 secs || 34417604 markings, 38893884 edges, 14191 markings/sec, 2030 secs 35 tries, 34984225 fired transitions, 2035 secs || 34490259 markings, 38975389 edges, 14531 markings/sec, 2035 secs 36 tries, 35068434 fired transitions, 2040 secs || 34558476 markings, 39051365 edges, 13643 markings/sec, 2040 secs 36 tries, 35150936 fired transitions, 2045 secs || 34627083 markings, 39127432 edges, 13721 markings/sec, 2045 secs 36 tries, 35233199 fired transitions, 2050 secs || 34700524 markings, 39209821 edges, 14688 markings/sec, 2050 secs 36 tries, 35317579 fired transitions, 2055 secs || 34769504 markings, 39286584 edges, 13796 markings/sec, 2055 secs 36 tries, 35403432 fired transitions, 2060 secs || 34842419 markings, 39367711 edges, 14583 markings/sec, 2060 secs 36 tries, 35488597 fired transitions, 2065 secs || 34917255 markings, 39450887 edges, 14967 markings/sec, 2065 secs 36 tries, 35574512 fired transitions, 2070 secs || 34995951 markings, 39539175 edges, 15739 markings/sec, 2070 secs 36 tries, 35659276 fired transitions, 2075 secs || 35069108 markings, 39620755 edges, 14631 markings/sec, 2075 secs 36 tries, 35745772 fired transitions, 2080 secs || 35152307 markings, 39714872 edges, 16640 markings/sec, 2080 secs 36 tries, 35832190 fired transitions, 2085 secs || 35237209 markings, 39811348 edges, 16980 markings/sec, 2085 secs 36 tries, 35917299 fired transitions, 2090 secs || 35325176 markings, 39911825 edges, 17593 markings/sec, 2090 secs 37 tries, 36004833 fired transitions, 2095 secs || 35413999 markings, 40013121 edges, 17765 markings/sec, 2095 secs 37 tries, 36088906 fired transitions, 2100 secs || 35493054 markings, 40102121 edges, 15811 markings/sec, 2100 secs 37 tries, 36173725 fired transitions, 2105 secs || 35564090 markings, 40181319 edges, 14207 markings/sec, 2105 secs 37 tries, 36258439 fired transitions, 2110 secs || 35632119 markings, 40256911 edges, 13606 markings/sec, 2110 secs 37 tries, 36343807 fired transitions, 2115 secs || 35704326 markings, 40337370 edges, 14441 markings/sec, 2115 secs 37 tries, 36429573 fired transitions, 2120 secs || 35774519 markings, 40415749 edges, 14039 markings/sec, 2120 secs 37 tries, 36514967 fired transitions, 2125 secs || 35846425 markings, 40495258 edges, 14381 markings/sec, 2125 secs 37 tries, 36600383 fired transitions, 2130 secs || 35918240 markings, 40574713 edges, 14363 markings/sec, 2130 secs 37 tries, 36685229 fired transitions, 2135 secs || 35989404 markings, 40653458 edges, 14233 markings/sec, 2135 secs 37 tries, 36771161 fired transitions, 2140 secs || 36059930 markings, 40731801 edges, 14105 markings/sec, 2140 secs 37 tries, 36857454 fired transitions, 2145 secs || 36137436 markings, 40818853 edges, 15501 markings/sec, 2145 secs 37 tries, 36942848 fired transitions, 2150 secs || 36227078 markings, 40921729 edges, 17928 markings/sec, 2150 secs 38 tries, 37028288 fired transitions, 2155 secs || 36296169 markings, 40998772 edges, 13818 markings/sec, 2155 secs 38 tries, 37113225 fired transitions, 2160 secs || 36366292 markings, 41077027 edges, 14025 markings/sec, 2160 secs 38 tries, 37198545 fired transitions, 2165 secs || 36442131 markings, 41162122 edges, 15168 markings/sec, 2165 secs 38 tries, 37284047 fired transitions, 2170 secs || 36510658 markings, 41238169 edges, 13705 markings/sec, 2170 secs 38 tries, 37369005 fired transitions, 2175 secs || 36582716 markings, 41318319 edges, 14412 markings/sec, 2175 secs 38 tries, 37455098 fired transitions, 2180 secs || 36660771 markings, 41405931 edges, 15611 markings/sec, 2180 secs 38 tries, 37541242 fired transitions, 2185 secs || 36739256 markings, 41494716 edges, 15697 markings/sec, 2185 secs 38 tries, 37625934 fired transitions, 2190 secs || 36814889 markings, 41579692 edges, 15127 markings/sec, 2190 secs 38 tries, 37710130 fired transitions, 2195 secs || 36889455 markings, 41663603 edges, 14913 markings/sec, 2195 secs 38 tries, 37792745 fired transitions, 2200 secs || 36963583 markings, 41747545 edges, 14826 markings/sec, 2200 secs 38 tries, 37875274 fired transitions, 2205 secs || 37040253 markings, 41834515 edges, 15334 markings/sec, 2205 secs 38 tries, 37960781 fired transitions, 2210 secs || 37118100 markings, 41922333 edges, 15569 markings/sec, 2210 secs 39 tries, 38046668 fired transitions, 2215 secs || 37196059 markings, 42010034 edges, 15592 markings/sec, 2215 secs 39 tries, 38131530 fired transitions, 2220 secs || 37271414 markings, 42094207 edges, 15071 markings/sec, 2220 secs 39 tries, 38216377 fired transitions, 2225 secs || 37347565 markings, 42179669 edges, 15230 markings/sec, 2225 secs 39 tries, 38299149 fired transitions, 2230 secs || 37422088 markings, 42263577 edges, 14905 markings/sec, 2230 secs 39 tries, 38383484 fired transitions, 2235 secs || 37495508 markings, 42345868 edges, 14684 markings/sec, 2235 secs 39 tries, 38468745 fired transitions, 2240 secs || 37573737 markings, 42434181 edges, 15646 markings/sec, 2240 secs 39 tries, 38554275 fired transitions, 2245 secs || 37648809 markings, 42517973 edges, 15014 markings/sec, 2245 secs 39 tries, 38638011 fired transitions, 2250 secs || 37725718 markings, 42604596 edges, 15382 markings/sec, 2250 secs 39 tries, 38723442 fired transitions, 2255 secs || 37795234 markings, 42681819 edges, 13903 markings/sec, 2255 secs 39 tries, 38807880 fired transitions, 2260 secs || 37863799 markings, 42758259 edges, 13713 markings/sec, 2260 secs 39 tries, 38892881 fired transitions, 2265 secs || 37929030 markings, 42830400 edges, 13046 markings/sec, 2265 secs 39 tries, 38979763 fired transitions, 2270 secs || 38002663 markings, 42912299 edges, 14727 markings/sec, 2270 secs 40 tries, 39066202 fired transitions, 2275 secs || 38074277 markings, 42991443 edges, 14323 markings/sec, 2275 secs 40 tries, 39152033 fired transitions, 2280 secs || 38141736 markings, 43065959 edges, 13492 markings/sec, 2280 secs 40 tries, 39237429 fired transitions, 2285 secs || 38207904 markings, 43139191 edges, 13234 markings/sec, 2285 secs 40 tries, 39321736 fired transitions, 2290 secs || 38277226 markings, 43216086 edges, 13864 markings/sec, 2290 secs 40 tries, 39406170 fired transitions, 2295 secs || 38344210 markings, 43289956 edges, 13397 markings/sec, 2295 secs 40 tries, 39490998 fired transitions, 2300 secs || 38414164 markings, 43367320 edges, 13991 markings/sec, 2300 secs 40 tries, 39575766 fired transitions, 2305 secs || 38486115 markings, 43446656 edges, 14390 markings/sec, 2305 secs 40 tries, 39661801 fired transitions, 2310 secs || 38554875 markings, 43522910 edges, 13752 markings/sec, 2310 secs 40 tries, 39746646 fired transitions, 2315 secs || 38622543 markings, 43597949 edges, 13534 markings/sec, 2315 secs 40 tries, 39829987 fired transitions, 2320 secs || 38694140 markings, 43677283 edges, 14319 markings/sec, 2320 secs 40 tries, 39913028 fired transitions, 2325 secs || 38759192 markings, 43749361 edges, 13010 markings/sec, 2325 secs 40 tries, 39995342 fired transitions, 2330 secs || 38821621 markings, 43818752 edges, 12486 markings/sec, 2330 secs 41 tries, 40081587 fired transitions, 2335 secs || 38898906 markings, 43905146 edges, 15457 markings/sec, 2335 secs 41 tries, 40167435 fired transitions, 2340 secs || 38973530 markings, 43989663 edges, 14925 markings/sec, 2340 secs 41 tries, 40252787 fired transitions, 2345 secs || 39042152 markings, 44066465 edges, 13724 markings/sec, 2345 secs 41 tries, 40338553 fired transitions, 2350 secs || 39112343 markings, 44143927 edges, 14038 markings/sec, 2350 secs 41 tries, 40424154 fired transitions, 2355 secs || 39183769 markings, 44223661 edges, 14285 markings/sec, 2355 secs 41 tries, 40509529 fired transitions, 2360 secs || 39252319 markings, 44300303 edges, 13710 markings/sec, 2360 secs 41 tries, 40593605 fired transitions, 2365 secs || 39321202 markings, 44376643 edges, 13777 markings/sec, 2365 secs 41 tries, 40679377 fired transitions, 2370 secs || 39396187 markings, 44460340 edges, 14997 markings/sec, 2370 secs 41 tries, 40765280 fired transitions, 2375 secs || 39466720 markings, 44538011 edges, 14107 markings/sec, 2375 secs 41 tries, 40849364 fired transitions, 2380 secs || 39541498 markings, 44620985 edges, 14956 markings/sec, 2380 secs 41 tries, 40935848 fired transitions, 2385 secs || 39615149 markings, 44702685 edges, 14730 markings/sec, 2385 secs 42 tries, 41022616 fired transitions, 2390 secs || 39682671 markings, 44777500 edges, 13504 markings/sec, 2390 secs 42 tries, 41107672 fired transitions, 2395 secs || 39755453 markings, 44859439 edges, 14556 markings/sec, 2395 secs 42 tries, 41193692 fired transitions, 2400 secs || 39829811 markings, 44942398 edges, 14872 markings/sec, 2400 secs 42 tries, 41277652 fired transitions, 2405 secs || 39901600 markings, 45022136 edges, 14358 markings/sec, 2405 secs 42 tries, 41363027 fired transitions, 2410 secs || 39971674 markings, 45099693 edges, 14015 markings/sec, 2410 secs 42 tries, 41447867 fired transitions, 2415 secs || 40041137 markings, 45176649 edges, 13893 markings/sec, 2415 secs 42 tries, 41533720 fired transitions, 2420 secs || 40109564 markings, 45252757 edges, 13685 markings/sec, 2420 secs 42 tries, 41618623 fired transitions, 2425 secs || 40188283 markings, 45341342 edges, 15744 markings/sec, 2425 secs 42 tries, 41705285 fired transitions, 2430 secs || 40261622 markings, 45423012 edges, 14668 markings/sec, 2430 secs 42 tries, 41791522 fired transitions, 2435 secs || 40332156 markings, 45501889 edges, 14107 markings/sec, 2435 secs 42 tries, 41878993 fired transitions, 2440 secs || 40402177 markings, 45579880 edges, 14004 markings/sec, 2440 secs 42 tries, 41965499 fired transitions, 2445 secs || 40470766 markings, 45655847 edges, 13718 markings/sec, 2445 secs 43 tries, 42053482 fired transitions, 2450 secs || 40546173 markings, 45740093 edges, 15081 markings/sec, 2450 secs 43 tries, 42139244 fired transitions, 2455 secs || 40622652 markings, 45825882 edges, 15296 markings/sec, 2455 secs 43 tries, 42224791 fired transitions, 2460 secs || 40690379 markings, 45901245 edges, 13545 markings/sec, 2460 secs 43 tries, 42310513 fired transitions, 2465 secs || 40760201 markings, 45978808 edges, 13964 markings/sec, 2465 secs 43 tries, 42396712 fired transitions, 2470 secs || 40830345 markings, 46056745 edges, 14029 markings/sec, 2470 secs 43 tries, 42482854 fired transitions, 2475 secs || 40902445 markings, 46136962 edges, 14420 markings/sec, 2475 secs 43 tries, 42570284 fired transitions, 2480 secs || 40974410 markings, 46216823 edges, 14393 markings/sec, 2480 secs 43 tries, 42656818 fired transitions, 2485 secs || 41051308 markings, 46302243 edges, 15380 markings/sec, 2485 secs 43 tries, 42743625 fired transitions, 2490 secs || 41127617 markings, 46387027 edges, 15262 markings/sec, 2490 secs 43 tries, 42829959 fired transitions, 2495 secs || 41204319 markings, 46472331 edges, 15340 markings/sec, 2495 secs 43 tries, 42916743 fired transitions, 2500 secs || 41275949 markings, 46551805 edges, 14326 markings/sec, 2500 secs 44 tries, 43004497 fired transitions, 2505 secs || 41348487 markings, 46632822 edges, 14508 markings/sec, 2505 secs 44 tries, 43090730 fired transitions, 2510 secs || 41420205 markings, 46712762 edges, 14344 markings/sec, 2510 secs 44 tries, 43176368 fired transitions, 2515 secs || 41490089 markings, 46790532 edges, 13977 markings/sec, 2515 secs 44 tries, 43263427 fired transitions, 2520 secs || 41564509 markings, 46874105 edges, 14884 markings/sec, 2520 secs 44 tries, 43350217 fired transitions, 2525 secs || 41634542 markings, 46952117 edges, 14007 markings/sec, 2525 secs 44 tries, 43436849 fired transitions, 2530 secs || 41704524 markings, 47029838 edges, 13996 markings/sec, 2530 secs 44 tries, 43522517 fired transitions, 2535 secs || 41774775 markings, 47107595 edges, 14050 markings/sec, 2535 secs 44 tries, 43609617 fired transitions, 2540 secs || 41844753 markings, 47185541 edges, 13996 markings/sec, 2540 secs 44 tries, 43694741 fired transitions, 2545 secs || 41915344 markings, 47263545 edges, 14118 markings/sec, 2545 secs 44 tries, 43780544 fired transitions, 2550 secs || 41984930 markings, 47340971 edges, 13917 markings/sec, 2550 secs 44 tries, 43868341 fired transitions, 2555 secs || 42059024 markings, 47423235 edges, 14819 markings/sec, 2555 secs 44 tries, 43954747 fired transitions, 2560 secs || 42134198 markings, 47506826 edges, 15035 markings/sec, 2560 secs 45 tries, 44040743 fired transitions, 2565 secs || 42200723 markings, 47580436 edges, 13305 markings/sec, 2565 secs 45 tries, 44128513 fired transitions, 2570 secs || 42269306 markings, 47656784 edges, 13717 markings/sec, 2570 secs 45 tries, 44213560 fired transitions, 2575 secs || 42339267 markings, 47734286 edges, 13992 markings/sec, 2575 secs 45 tries, 44298211 fired transitions, 2580 secs || 42411825 markings, 47815152 edges, 14512 markings/sec, 2580 secs 45 tries, 44383544 fired transitions, 2585 secs || 42485413 markings, 47897125 edges, 14718 markings/sec, 2585 secs 45 tries, 44467394 fired transitions, 2590 secs || 42551365 markings, 47970427 edges, 13190 markings/sec, 2590 secs 45 tries, 44547500 fired transitions, 2595 secs || 42619077 markings, 48045301 edges, 13542 markings/sec, 2595 secs 45 tries, 44627987 fired transitions, 2600 secs || 42686521 markings, 48120171 edges, 13489 markings/sec, 2600 secs 45 tries, 44710104 fired transitions, 2605 secs || 42750944 markings, 48191599 edges, 12885 markings/sec, 2605 secs 45 tries, 44791433 fired transitions, 2610 secs || 42814080 markings, 48261473 edges, 12627 markings/sec, 2610 secs 45 tries, 44873026 fired transitions, 2615 secs || 42883416 markings, 48338376 edges, 13867 markings/sec, 2615 secs 45 tries, 44953895 fired transitions, 2620 secs || 42951650 markings, 48413510 edges, 13647 markings/sec, 2620 secs 46 tries, 45036647 fired transitions, 2625 secs || 43018392 markings, 48487348 edges, 13348 markings/sec, 2625 secs 46 tries, 45118252 fired transitions, 2630 secs || 43081699 markings, 48557519 edges, 12661 markings/sec, 2630 secs 46 tries, 45199330 fired transitions, 2635 secs || 43147825 markings, 48630843 edges, 13225 markings/sec, 2635 secs 46 tries, 45281890 fired transitions, 2640 secs || 43210709 markings, 48700628 edges, 12577 markings/sec, 2640 secs 46 tries, 45366196 fired transitions, 2645 secs || 43273870 markings, 48770598 edges, 12632 markings/sec, 2645 secs 46 tries, 45451083 fired transitions, 2650 secs || 43350433 markings, 48856378 edges, 15313 markings/sec, 2650 secs 46 tries, 45535866 fired transitions, 2655 secs || 43419307 markings, 48933045 edges, 13775 markings/sec, 2655 secs 46 tries, 45619159 fired transitions, 2660 secs || 43487860 markings, 49009431 edges, 13711 markings/sec, 2660 secs 46 tries, 45703938 fired transitions, 2665 secs || 43553345 markings, 49082345 edges, 13097 markings/sec, 2665 secs 46 tries, 45786263 fired transitions, 2670 secs || 43619362 markings, 49155670 edges, 13203 markings/sec, 2670 secs 46 tries, 45867136 fired transitions, 2675 secs || 43686423 markings, 49230194 edges, 13412 markings/sec, 2675 secs 46 tries, 45947207 fired transitions, 2680 secs || 43755270 markings, 49306141 edges, 13769 markings/sec, 2680 secs 47 tries, 46031650 fired transitions, 2685 secs || 43823085 markings, 49381601 edges, 13563 markings/sec, 2685 secs 47 tries, 46115529 fired transitions, 2690 secs || 43890920 markings, 49456698 edges, 13567 markings/sec, 2690 secs 47 tries, 46199144 fired transitions, 2695 secs || 43959454 markings, 49532697 edges, 13707 markings/sec, 2695 secs 47 tries, 46283182 fired transitions, 2700 secs || 44025316 markings, 49605684 edges, 13172 markings/sec, 2700 secs 47 tries, 46366939 fired transitions, 2705 secs || 44093959 markings, 49682434 edges, 13729 markings/sec, 2705 secs 47 tries, 46452687 fired transitions, 2710 secs || 44177590 markings, 49777618 edges, 16726 markings/sec, 2710 secs 47 tries, 46538057 fired transitions, 2715 secs || 44248824 markings, 49857385 edges, 14247 markings/sec, 2715 secs 47 tries, 46623149 fired transitions, 2720 secs || 44315149 markings, 49931291 edges, 13265 markings/sec, 2720 secs 47 tries, 46705753 fired transitions, 2725 secs || 44381187 markings, 50004422 edges, 13208 markings/sec, 2725 secs 47 tries, 46789787 fired transitions, 2730 secs || 44447047 markings, 50077452 edges, 13172 markings/sec, 2730 secs 47 tries, 46873063 fired transitions, 2735 secs || 44516052 markings, 50153205 edges, 13801 markings/sec, 2735 secs 47 tries, 46957237 fired transitions, 2740 secs || 44581688 markings, 50226173 edges, 13127 markings/sec, 2740 secs 48 tries, 47041782 fired transitions, 2745 secs || 44647315 markings, 50299037 edges, 13125 markings/sec, 2745 secs 48 tries, 47126233 fired transitions, 2750 secs || 44713869 markings, 50373295 edges, 13311 markings/sec, 2750 secs 48 tries, 47210604 fired transitions, 2755 secs || 44783654 markings, 50451345 edges, 13957 markings/sec, 2755 secs 48 tries, 47292792 fired transitions, 2760 secs || 44850213 markings, 50525356 edges, 13312 markings/sec, 2760 secs 48 tries, 47376388 fired transitions, 2765 secs || 44916596 markings, 50599331 edges, 13277 markings/sec, 2765 secs 48 tries, 47459871 fired transitions, 2770 secs || 44984006 markings, 50674465 edges, 13482 markings/sec, 2770 secs 48 tries, 47544033 fired transitions, 2775 secs || 45050480 markings, 50747998 edges, 13295 markings/sec, 2775 secs 48 tries, 47626496 fired transitions, 2780 secs || 45118054 markings, 50823266 edges, 13515 markings/sec, 2780 secs 48 tries, 47706875 fired transitions, 2785 secs || 45182469 markings, 50895143 edges, 12883 markings/sec, 2785 secs 48 tries, 47790342 fired transitions, 2790 secs || 45249993 markings, 50970520 edges, 13505 markings/sec, 2790 secs 48 tries, 47874883 fired transitions, 2795 secs || 45314397 markings, 51041837 edges, 12881 markings/sec, 2795 secs 48 tries, 47959742 fired transitions, 2800 secs || 45379328 markings, 51114029 edges, 12986 markings/sec, 2800 secs 49 tries, 48044411 fired transitions, 2805 secs || 45446827 markings, 51189474 edges, 13500 markings/sec, 2805 secs 49 tries, 48127892 fired transitions, 2810 secs || 45516462 markings, 51267252 edges, 13927 markings/sec, 2810 secs 49 tries, 48212657 fired transitions, 2815 secs || 45586793 markings, 51345983 edges, 14066 markings/sec, 2815 secs 49 tries, 48297061 fired transitions, 2820 secs || 45655356 markings, 51422021 edges, 13713 markings/sec, 2820 secs 49 tries, 48381204 fired transitions, 2825 secs || 45722868 markings, 51496910 edges, 13502 markings/sec, 2825 secs 49 tries, 48465114 fired transitions, 2830 secs || 45793451 markings, 51575071 edges, 14117 markings/sec, 2830 secs 49 tries, 48550341 fired transitions, 2835 secs || 45860408 markings, 51649232 edges, 13391 markings/sec, 2835 secs 49 tries, 48634032 fired transitions, 2840 secs || 45927806 markings, 51724181 edges, 13480 markings/sec, 2840 secs 49 tries, 48718523 fired transitions, 2845 secs || 45994158 markings, 51797236 edges, 13270 markings/sec, 2845 secs 49 tries, 48803284 fired transitions, 2850 secs || 46062844 markings, 51873568 edges, 13737 markings/sec, 2850 secs 49 tries, 48887191 fired transitions, 2855 secs || 46131128 markings, 51949462 edges, 13657 markings/sec, 2855 secs 49 tries, 48971385 fired transitions, 2860 secs || 46195942 markings, 52021323 edges, 12963 markings/sec, 2860 secs 50 tries, 49058172 fired transitions, 2865 secs || 46262692 markings, 52095195 edges, 13350 markings/sec, 2865 secs 50 tries, 49142992 fired transitions, 2870 secs || 46327837 markings, 52167702 edges, 13029 markings/sec, 2870 secs 50 tries, 49228191 fired transitions, 2875 secs || 46394200 markings, 52241411 edges, 13273 markings/sec, 2875 secs 50 tries, 49310893 fired transitions, 2880 secs || 46459717 markings, 52314145 edges, 13103 markings/sec, 2880 secs 50 tries, 49396867 fired transitions, 2885 secs || 46526819 markings, 52388996 edges, 13420 markings/sec, 2885 secs 50 tries, 49480160 fired transitions, 2890 secs || 46592307 markings, 52461258 edges, 13098 markings/sec, 2890 secs 50 tries, 49565194 fired transitions, 2895 secs || 46661004 markings, 52537292 edges, 13739 markings/sec, 2895 secs 50 tries, 49649378 fired transitions, 2900 secs || 46729445 markings, 52613448 edges, 13688 markings/sec, 2900 secs 50 tries, 49727174 fired transitions, 2905 secs || 46790622 markings, 52681019 edges, 12235 markings/sec, 2905 secs 50 tries, 49782867 fired transitions, 2910 secs || 46820474 markings, 52714376 edges, 5970 markings/sec, 2910 secs 50 tries, 49793878 fired transitions, 2915 secs || 46820870 markings, 52714836 edges, 79 markings/sec, 2915 secs 50 tries, 49817745 fired transitions, 2920 secs || 46821756 markings, 52715825 edges, 177 markings/sec, 2920 secs 3b-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN lola and sara stdout -----

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="mcc4mcc-full"
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 mcc4mcc-full"
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 r070-smll-152649742900153"
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 ;