MCC'2018 - Execution of r071-smll-152649744000153

About the Execution of M4M.struct 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.200	3065415.00	6098501.00	9098.60	?	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
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 1526711295438

BK_STOP 1526714360853

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

Prefix is 75f5f979.
Reading known information
Reading learned
Reading value translations
Using directory
Using DLCround-PT-13b
Using DLCround as model name.
Using algorithm
Model characteristics
Known tools are:
Learned tools are:
Learned tool lola
ReachabilityDeadlock
----- Start make

Time: 3600 - MCC
----- 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
Makefile:222: recipe
----- Start make
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 14070/65536
lola: preprocessing...
lola: finding
make: [verify]
----- Start make
----- Kill lola
----- Finished stderr -----
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 ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
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 -----
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 =================================================================== mcc4mcc-structural examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r071-smll-152649744000153 ============================================= 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/75f5f979-known.json. information in /usr/share/mcc4mcc/75f5f979-learned.json. in /usr/share/mcc4mcc/75f5f979-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. or tool decision-tree. 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 stderr ----- prepare stdout ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stderr ----- result stdout ----- @ DLCround-PT-13b @ 3539 seconds for target 'verify' failed result stdout ----- net from model.pnml.lola net file model.pnml.lola symbol table entries, 4277 collisions significant places Error 137 (ignored) result stderr ----- and sara stderr ----- 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, 80512 fired transitions, 0 secs || 77052 markings, 86390 edges, 15410 markings/sec, 0 secs 1 tries, 159322 fired transitions, 5 secs || 164126 markings, 184996 edges, 17415 markings/sec, 5 secs 1 tries, 238405 fired transitions, 10 secs || 238825 markings, 268064 edges, 14940 markings/sec, 10 secs 1 tries, 319837 fired transitions, 15 secs || 318242 markings, 356829 edges, 15883 markings/sec, 15 secs 1 tries, 399606 fired transitions, 20 secs || 401005 markings, 450189 edges, 16553 markings/sec, 20 secs 1 tries, 479597 fired transitions, 25 secs || 476960 markings, 535924 edges, 15191 markings/sec, 25 secs 1 tries, 559616 fired transitions, 30 secs || 542760 markings, 609446 edges, 13160 markings/sec, 30 secs 1 tries, 640404 fired transitions, 35 secs || 605818 markings, 679792 edges, 12612 markings/sec, 35 secs 1 tries, 722758 fired transitions, 40 secs || 687533 markings, 772278 edges, 16343 markings/sec, 40 secs 1 tries, 804016 fired transitions, 45 secs || 755394 markings, 847644 edges, 13572 markings/sec, 45 secs 1 tries, 884869 fired transitions, 50 secs || 819530 markings, 918491 edges, 12827 markings/sec, 50 secs 1 tries, 964767 fired transitions, 55 secs || 882743 markings, 988255 edges, 12643 markings/sec, 55 secs 2 tries, 1047571 fired transitions, 60 secs || 956839 markings, 1071278 edges, 14819 markings/sec, 60 secs 2 tries, 1128184 fired transitions, 65 secs || 1025124 markings, 1147057 edges, 13657 markings/sec, 65 secs 2 tries, 1209158 fired transitions, 70 secs || 1091713 markings, 1220529 edges, 13318 markings/sec, 70 secs 2 tries, 1289800 fired transitions, 75 secs || 1164459 markings, 1301778 edges, 14549 markings/sec, 75 secs 2 tries, 1370299 fired transitions, 80 secs || 1228650 markings, 1372727 edges, 12838 markings/sec, 80 secs 2 tries, 1450942 fired transitions, 85 secs || 1292709 markings, 1443535 edges, 12812 markings/sec, 85 secs 2 tries, 1532702 fired transitions, 90 secs || 1375337 markings, 1536973 edges, 16526 markings/sec, 90 secs 2 tries, 1614967 fired transitions, 95 secs || 1458323 markings, 1630906 edges, 16597 markings/sec, 95 secs 2 tries, 1696427 fired transitions, 100 secs || 1542496 markings, 1726485 edges, 16835 markings/sec, 100 secs 2 tries, 1778819 fired transitions, 105 secs || 1626923 markings, 1822362 edges, 16885 markings/sec, 105 secs 2 tries, 1859906 fired transitions, 110 secs || 1710352 markings, 1916474 edges, 16686 markings/sec, 110 secs 2 tries, 1942483 fired transitions, 115 secs || 1793206 markings, 2010592 edges, 16571 markings/sec, 115 secs 3 tries, 2025496 fired transitions, 120 secs || 1878471 markings, 2107212 edges, 17053 markings/sec, 120 secs 3 tries, 2107030 fired transitions, 125 secs || 1962477 markings, 2202853 edges, 16801 markings/sec, 125 secs 3 tries, 2188292 fired transitions, 130 secs || 2049142 markings, 2301157 edges, 17333 markings/sec, 130 secs 3 tries, 2269582 fired transitions, 135 secs || 2138146 markings, 2402571 edges, 17801 markings/sec, 135 secs 3 tries, 2350423 fired transitions, 140 secs || 2225265 markings, 2501877 edges, 17424 markings/sec, 140 secs 3 tries, 2430807 fired transitions, 145 secs || 2312794 markings, 2601576 edges, 17506 markings/sec, 145 secs 3 tries, 2512867 fired transitions, 150 secs || 2400142 markings, 2701084 edges, 17470 markings/sec, 150 secs 3 tries, 2595790 fired transitions, 155 secs || 2485708 markings, 2798253 edges, 17113 markings/sec, 155 secs 3 tries, 2676837 fired transitions, 160 secs || 2568564 markings, 2892218 edges, 16571 markings/sec, 160 secs 3 tries, 2758570 fired transitions, 165 secs || 2654514 markings, 2989952 edges, 17190 markings/sec, 165 secs 3 tries, 2838576 fired transitions, 170 secs || 2739701 markings, 3086838 edges, 17037 markings/sec, 170 secs 3 tries, 2920563 fired transitions, 175 secs || 2826622 markings, 3185714 edges, 17384 markings/sec, 175 secs 4 tries, 3003850 fired transitions, 180 secs || 2911687 markings, 3282680 edges, 17013 markings/sec, 180 secs 4 tries, 3086568 fired transitions, 185 secs || 2998033 markings, 3381066 edges, 17269 markings/sec, 185 secs 4 tries, 3168169 fired transitions, 190 secs || 3083722 markings, 3478466 edges, 17138 markings/sec, 190 secs 4 tries, 3249896 fired transitions, 195 secs || 3172450 markings, 3579465 edges, 17746 markings/sec, 195 secs 4 tries, 3331343 fired transitions, 200 secs || 3259221 markings, 3678135 edges, 17354 markings/sec, 200 secs 4 tries, 3413955 fired transitions, 205 secs || 3345002 markings, 3775430 edges, 17156 markings/sec, 205 secs 4 tries, 3496021 fired transitions, 210 secs || 3429395 markings, 3871131 edges, 16879 markings/sec, 210 secs 4 tries, 3579226 fired transitions, 215 secs || 3515318 markings, 3968479 edges, 17185 markings/sec, 215 secs 4 tries, 3662315 fired transitions, 220 secs || 3602549 markings, 4067450 edges, 17446 markings/sec, 220 secs 4 tries, 3743841 fired transitions, 225 secs || 3684196 markings, 4159956 edges, 16329 markings/sec, 225 secs 4 tries, 3824931 fired transitions, 230 secs || 3762656 markings, 4249251 edges, 15692 markings/sec, 230 secs 4 tries, 3905264 fired transitions, 235 secs || 3847914 markings, 4345694 edges, 17052 markings/sec, 235 secs 4 tries, 3985023 fired transitions, 240 secs || 3929372 markings, 4438057 edges, 16292 markings/sec, 240 secs 5 tries, 4066845 fired transitions, 245 secs || 4013944 markings, 4534251 edges, 16914 markings/sec, 245 secs 5 tries, 4146222 fired transitions, 250 secs || 4099390 markings, 4630943 edges, 17089 markings/sec, 250 secs 5 tries, 4225715 fired transitions, 255 secs || 4184295 markings, 4727339 edges, 16981 markings/sec, 255 secs 5 tries, 4305566 fired transitions, 260 secs || 4269049 markings, 4823620 edges, 16951 markings/sec, 260 secs 5 tries, 4385189 fired transitions, 265 secs || 4354450 markings, 4920911 edges, 17080 markings/sec, 265 secs 5 tries, 4464456 fired transitions, 270 secs || 4440506 markings, 5018619 edges, 17211 markings/sec, 270 secs 5 tries, 4545329 fired transitions, 275 secs || 4527997 markings, 5117980 edges, 17498 markings/sec, 275 secs 5 tries, 4625102 fired transitions, 280 secs || 4613961 markings, 5215708 edges, 17193 markings/sec, 280 secs 5 tries, 4705455 fired transitions, 285 secs || 4698659 markings, 5311956 edges, 16940 markings/sec, 285 secs 5 tries, 4785560 fired transitions, 290 secs || 4784505 markings, 5409261 edges, 17169 markings/sec, 290 secs 5 tries, 4865409 fired transitions, 295 secs || 4870399 markings, 5506849 edges, 17179 markings/sec, 295 secs 5 tries, 4945070 fired transitions, 300 secs || 4957335 markings, 5605563 edges, 17387 markings/sec, 300 secs 6 tries, 5026284 fired transitions, 305 secs || 5043390 markings, 5703203 edges, 17211 markings/sec, 305 secs 6 tries, 5105729 fired transitions, 310 secs || 5130029 markings, 5801450 edges, 17328 markings/sec, 310 secs 6 tries, 5186784 fired transitions, 315 secs || 5215370 markings, 5898529 edges, 17068 markings/sec, 315 secs 6 tries, 5265670 fired transitions, 320 secs || 5299458 markings, 5994367 edges, 16818 markings/sec, 320 secs 6 tries, 5347477 fired transitions, 325 secs || 5385520 markings, 6092216 edges, 17212 markings/sec, 325 secs 6 tries, 5427790 fired transitions, 330 secs || 5470493 markings, 6188768 edges, 16995 markings/sec, 330 secs 6 tries, 5506414 fired transitions, 335 secs || 5555280 markings, 6285240 edges, 16957 markings/sec, 335 secs 6 tries, 5586534 fired transitions, 340 secs || 5639902 markings, 6381497 edges, 16924 markings/sec, 340 secs 6 tries, 5666533 fired transitions, 345 secs || 5724414 markings, 6477706 edges, 16902 markings/sec, 345 secs 6 tries, 5746263 fired transitions, 350 secs || 5807185 markings, 6571989 edges, 16554 markings/sec, 350 secs 6 tries, 5826073 fired transitions, 355 secs || 5893302 markings, 6669911 edges, 17223 markings/sec, 355 secs 6 tries, 5906345 fired transitions, 360 secs || 5977510 markings, 6765764 edges, 16842 markings/sec, 360 secs 6 tries, 5989478 fired transitions, 365 secs || 6059345 markings, 6859295 edges, 16367 markings/sec, 365 secs 7 tries, 6073682 fired transitions, 370 secs || 6142620 markings, 6954140 edges, 16655 markings/sec, 370 secs 7 tries, 6156480 fired transitions, 375 secs || 6212600 markings, 7033759 edges, 13996 markings/sec, 375 secs 7 tries, 6239309 fired transitions, 380 secs || 6295309 markings, 7127378 edges, 16542 markings/sec, 380 secs 7 tries, 6322750 fired transitions, 385 secs || 6381649 markings, 7225546 edges, 17268 markings/sec, 385 secs 7 tries, 6404791 fired transitions, 390 secs || 6466070 markings, 7321505 edges, 16884 markings/sec, 390 secs 7 tries, 6486973 fired transitions, 395 secs || 6547835 markings, 7413981 edges, 16353 markings/sec, 395 secs 7 tries, 6569243 fired transitions, 400 secs || 6633306 markings, 7511374 edges, 17094 markings/sec, 400 secs 7 tries, 6651415 fired transitions, 405 secs || 6719884 markings, 7609983 edges, 17316 markings/sec, 405 secs 7 tries, 6734425 fired transitions, 410 secs || 6802499 markings, 7703397 edges, 16523 markings/sec, 410 secs 7 tries, 6816922 fired transitions, 415 secs || 6885162 markings, 7797063 edges, 16533 markings/sec, 415 secs 7 tries, 6900188 fired transitions, 420 secs || 6967667 markings, 7891285 edges, 16501 markings/sec, 420 secs 7 tries, 6982101 fired transitions, 425 secs || 7050754 markings, 7985965 edges, 16617 markings/sec, 425 secs 8 tries, 7066762 fired transitions, 430 secs || 7133020 markings, 8079801 edges, 16453 markings/sec, 430 secs 8 tries, 7148247 fired transitions, 435 secs || 7214806 markings, 8173066 edges, 16357 markings/sec, 435 secs 8 tries, 7231211 fired transitions, 440 secs || 7297314 markings, 8267125 edges, 16502 markings/sec, 440 secs 8 tries, 7313309 fired transitions, 445 secs || 7382662 markings, 8363800 edges, 17070 markings/sec, 445 secs 8 tries, 7396387 fired transitions, 450 secs || 7469307 markings, 8462202 edges, 17329 markings/sec, 450 secs 8 tries, 7478901 fired transitions, 455 secs || 7552094 markings, 8555880 edges, 16557 markings/sec, 455 secs 8 tries, 7561306 fired transitions, 460 secs || 7638469 markings, 8654285 edges, 17275 markings/sec, 460 secs 8 tries, 7642979 fired transitions, 465 secs || 7720887 markings, 8747475 edges, 16484 markings/sec, 465 secs 8 tries, 7726097 fired transitions, 470 secs || 7807639 markings, 8845761 edges, 17350 markings/sec, 470 secs 8 tries, 7808330 fired transitions, 475 secs || 7885874 markings, 8933458 edges, 15647 markings/sec, 475 secs 8 tries, 7891621 fired transitions, 480 secs || 7970343 markings, 9029426 edges, 16894 markings/sec, 480 secs 8 tries, 7974206 fired transitions, 485 secs || 8052970 markings, 9123738 edges, 16525 markings/sec, 485 secs 9 tries, 8058579 fired transitions, 490 secs || 8136197 markings, 9218519 edges, 16645 markings/sec, 490 secs 9 tries, 8142154 fired transitions, 495 secs || 8217137 markings, 9310555 edges, 16188 markings/sec, 495 secs 9 tries, 8224453 fired transitions, 500 secs || 8297806 markings, 9402178 edges, 16134 markings/sec, 500 secs 9 tries, 8309203 fired transitions, 505 secs || 8389125 markings, 9506035 edges, 18264 markings/sec, 505 secs 9 tries, 8392463 fired transitions, 510 secs || 8474430 markings, 9603249 edges, 17061 markings/sec, 510 secs 9 tries, 8475869 fired transitions, 515 secs || 8560843 markings, 9701619 edges, 17283 markings/sec, 515 secs 9 tries, 8558513 fired transitions, 520 secs || 8646388 markings, 9799404 edges, 17109 markings/sec, 520 secs 9 tries, 8641609 fired transitions, 525 secs || 8732375 markings, 9897395 edges, 17197 markings/sec, 525 secs 9 tries, 8722665 fired transitions, 530 secs || 8818260 markings, 9995158 edges, 17177 markings/sec, 530 secs 9 tries, 8805815 fired transitions, 535 secs || 8904071 markings, 10092786 edges, 17162 markings/sec, 535 secs 9 tries, 8887696 fired transitions, 540 secs || 8984969 markings, 10184331 edges, 16180 markings/sec, 540 secs 9 tries, 8969624 fired transitions, 545 secs || 9069609 markings, 10280875 edges, 16928 markings/sec, 545 secs 10 tries, 9053330 fired transitions, 550 secs || 9151878 markings, 10374634 edges, 16454 markings/sec, 550 secs 10 tries, 9136721 fired transitions, 555 secs || 9235468 markings, 10469917 edges, 16718 markings/sec, 555 secs 10 tries, 9219007 fired transitions, 560 secs || 9320917 markings, 10566981 edges, 17090 markings/sec, 560 secs 10 tries, 9300762 fired transitions, 565 secs || 9405011 markings, 10662854 edges, 16819 markings/sec, 565 secs 10 tries, 9383952 fired transitions, 570 secs || 9489572 markings, 10759274 edges, 16912 markings/sec, 570 secs 10 tries, 9465613 fired transitions, 575 secs || 9575319 markings, 10857125 edges, 17149 markings/sec, 575 secs 10 tries, 9549314 fired transitions, 580 secs || 9663632 markings, 10957651 edges, 17663 markings/sec, 580 secs 10 tries, 9632073 fired transitions, 585 secs || 9747414 markings, 11053089 edges, 16756 markings/sec, 585 secs 10 tries, 9715846 fired transitions, 590 secs || 9832185 markings, 11149940 edges, 16954 markings/sec, 590 secs 10 tries, 9800409 fired transitions, 595 secs || 9918396 markings, 11248187 edges, 17242 markings/sec, 595 secs 10 tries, 9883293 fired transitions, 600 secs || 10005218 markings, 11347126 edges, 17364 markings/sec, 600 secs 10 tries, 9966948 fired transitions, 605 secs || 10093511 markings, 11447650 edges, 17659 markings/sec, 605 secs 11 tries, 10051998 fired transitions, 610 secs || 10180183 markings, 11546386 edges, 17334 markings/sec, 610 secs 11 tries, 10134669 fired transitions, 615 secs || 10263729 markings, 11641265 edges, 16709 markings/sec, 615 secs 11 tries, 10218093 fired transitions, 620 secs || 10350599 markings, 11740496 edges, 17374 markings/sec, 620 secs 11 tries, 10301439 fired transitions, 625 secs || 10434391 markings, 11836208 edges, 16758 markings/sec, 625 secs 11 tries, 10383242 fired transitions, 630 secs || 10520142 markings, 11933802 edges, 17150 markings/sec, 630 secs 11 tries, 10466788 fired transitions, 635 secs || 10604447 markings, 12029836 edges, 16861 markings/sec, 635 secs 11 tries, 10550594 fired transitions, 640 secs || 10691587 markings, 12129193 edges, 17428 markings/sec, 640 secs 11 tries, 10634466 fired transitions, 645 secs || 10775391 markings, 12224604 edges, 16761 markings/sec, 645 secs 11 tries, 10717615 fired transitions, 650 secs || 10857051 markings, 12317842 edges, 16332 markings/sec, 650 secs 11 tries, 10802168 fired transitions, 655 secs || 10941583 markings, 12414124 edges, 16906 markings/sec, 655 secs 11 tries, 10887014 fired transitions, 660 secs || 11026733 markings, 12511057 edges, 17030 markings/sec, 660 secs 11 tries, 10970106 fired transitions, 665 secs || 11110931 markings, 12607286 edges, 16840 markings/sec, 665 secs 12 tries, 11055290 fired transitions, 670 secs || 11194202 markings, 12702382 edges, 16654 markings/sec, 670 secs 12 tries, 11139716 fired transitions, 675 secs || 11280983 markings, 12801282 edges, 17356 markings/sec, 675 secs 12 tries, 11221793 fired transitions, 680 secs || 11365449 markings, 12897065 edges, 16893 markings/sec, 680 secs 12 tries, 11305412 fired transitions, 685 secs || 11446589 markings, 12989369 edges, 16228 markings/sec, 685 secs 12 tries, 11387949 fired transitions, 690 secs || 11530265 markings, 13084830 edges, 16735 markings/sec, 690 secs 12 tries, 11471972 fired transitions, 695 secs || 11613769 markings, 13180095 edges, 16701 markings/sec, 695 secs 12 tries, 11554693 fired transitions, 700 secs || 11698385 markings, 13276237 edges, 16923 markings/sec, 700 secs 12 tries, 11637922 fired transitions, 705 secs || 11782848 markings, 13372381 edges, 16893 markings/sec, 705 secs 12 tries, 11721391 fired transitions, 710 secs || 11863315 markings, 13463896 edges, 16093 markings/sec, 710 secs 12 tries, 11804844 fired transitions, 715 secs || 11947709 markings, 13559906 edges, 16879 markings/sec, 715 secs 12 tries, 11887915 fired transitions, 720 secs || 12024302 markings, 13647185 edges, 15319 markings/sec, 720 secs 12 tries, 11972029 fired transitions, 725 secs || 12109164 markings, 13743718 edges, 16972 markings/sec, 725 secs 13 tries, 12057212 fired transitions, 730 secs || 12191600 markings, 13837551 edges, 16487 markings/sec, 730 secs 13 tries, 12140835 fired transitions, 735 secs || 12275168 markings, 13932687 edges, 16714 markings/sec, 735 secs 13 tries, 12224347 fired transitions, 740 secs || 12353774 markings, 14021677 edges, 15721 markings/sec, 740 secs 13 tries, 12307063 fired transitions, 745 secs || 12435819 markings, 14114850 edges, 16409 markings/sec, 745 secs 13 tries, 12389773 fired transitions, 750 secs || 12516603 markings, 14206986 edges, 16157 markings/sec, 750 secs 13 tries, 12473365 fired transitions, 755 secs || 12598688 markings, 14300279 edges, 16417 markings/sec, 755 secs 13 tries, 12557252 fired transitions, 760 secs || 12682292 markings, 14395843 edges, 16721 markings/sec, 760 secs 13 tries, 12640281 fired transitions, 765 secs || 12767268 markings, 14492314 edges, 16995 markings/sec, 765 secs 13 tries, 12723996 fired transitions, 770 secs || 12854112 markings, 14591262 edges, 17369 markings/sec, 770 secs 13 tries, 12807747 fired transitions, 775 secs || 12938799 markings, 14687803 edges, 16937 markings/sec, 775 secs 13 tries, 12890733 fired transitions, 780 secs || 13023859 markings, 14784527 edges, 17012 markings/sec, 780 secs 13 tries, 12974761 fired transitions, 785 secs || 13108260 markings, 14880766 edges, 16880 markings/sec, 785 secs 14 tries, 13058710 fired transitions, 790 secs || 13192962 markings, 14977503 edges, 16940 markings/sec, 790 secs 14 tries, 13142991 fired transitions, 795 secs || 13276888 markings, 15073241 edges, 16785 markings/sec, 795 secs 14 tries, 13227574 fired transitions, 800 secs || 13363196 markings, 15171535 edges, 17262 markings/sec, 800 secs 14 tries, 13310006 fired transitions, 805 secs || 13447893 markings, 15268277 edges, 16939 markings/sec, 805 secs 14 tries, 13394019 fired transitions, 810 secs || 13531803 markings, 15364170 edges, 16782 markings/sec, 810 secs 14 tries, 13477499 fired transitions, 815 secs || 13616598 markings, 15461115 edges, 16959 markings/sec, 815 secs 14 tries, 13561389 fired transitions, 820 secs || 13698946 markings, 15555029 edges, 16470 markings/sec, 820 secs 14 tries, 13644130 fired transitions, 825 secs || 13784133 markings, 15652118 edges, 17037 markings/sec, 825 secs 14 tries, 13727809 fired transitions, 830 secs || 13867845 markings, 15747558 edges, 16742 markings/sec, 830 secs 14 tries, 13811255 fired transitions, 835 secs || 13951475 markings, 15842908 edges, 16726 markings/sec, 835 secs 14 tries, 13896306 fired transitions, 840 secs || 14036306 markings, 15939697 edges, 16966 markings/sec, 840 secs 14 tries, 13978993 fired transitions, 845 secs || 14121710 markings, 16037167 edges, 17081 markings/sec, 845 secs 15 tries, 14065374 fired transitions, 850 secs || 14206251 markings, 16133364 edges, 16908 markings/sec, 850 secs 15 tries, 14148725 fired transitions, 855 secs || 14291419 markings, 16230277 edges, 17034 markings/sec, 855 secs 15 tries, 14231292 fired transitions, 860 secs || 14375187 markings, 16325734 edges, 16754 markings/sec, 860 secs 15 tries, 14314441 fired transitions, 865 secs || 14458439 markings, 16420412 edges, 16650 markings/sec, 865 secs 15 tries, 14398521 fired transitions, 870 secs || 14545080 markings, 16519183 edges, 17328 markings/sec, 870 secs 15 tries, 14482391 fired transitions, 875 secs || 14628639 markings, 16614526 edges, 16712 markings/sec, 875 secs 15 tries, 14564704 fired transitions, 880 secs || 14716408 markings, 16714257 edges, 17554 markings/sec, 880 secs 15 tries, 14648494 fired transitions, 885 secs || 14801614 markings, 16811077 edges, 17041 markings/sec, 885 secs 15 tries, 14732558 fired transitions, 890 secs || 14886071 markings, 16907449 edges, 16891 markings/sec, 890 secs 15 tries, 14816498 fired transitions, 895 secs || 14971041 markings, 17004273 edges, 16994 markings/sec, 895 secs 15 tries, 14898712 fired transitions, 900 secs || 15054174 markings, 17098588 edges, 16627 markings/sec, 900 secs 15 tries, 14981949 fired transitions, 905 secs || 15141782 markings, 17198374 edges, 17522 markings/sec, 905 secs 16 tries, 15067673 fired transitions, 910 secs || 15226968 markings, 17295398 edges, 17037 markings/sec, 910 secs 16 tries, 15151466 fired transitions, 915 secs || 15313068 markings, 17393512 edges, 17220 markings/sec, 915 secs 16 tries, 15235530 fired transitions, 920 secs || 15400764 markings, 17493495 edges, 17539 markings/sec, 920 secs 16 tries, 15319162 fired transitions, 925 secs || 15479964 markings, 17582794 edges, 15840 markings/sec, 925 secs 16 tries, 15402844 fired transitions, 930 secs || 15553626 markings, 17665830 edges, 14732 markings/sec, 930 secs 16 tries, 15487695 fired transitions, 935 secs || 15640458 markings, 17764580 edges, 17366 markings/sec, 935 secs 16 tries, 15570812 fired transitions, 940 secs || 15724194 markings, 17859511 edges, 16747 markings/sec, 940 secs 16 tries, 15653186 fired transitions, 945 secs || 15810542 markings, 17957661 edges, 17270 markings/sec, 945 secs 16 tries, 15736474 fired transitions, 950 secs || 15898246 markings, 18057514 edges, 17541 markings/sec, 950 secs 16 tries, 15820889 fired transitions, 955 secs || 15981522 markings, 18152139 edges, 16655 markings/sec, 955 secs 16 tries, 15904160 fired transitions, 960 secs || 16061761 markings, 18242631 edges, 16048 markings/sec, 960 secs 16 tries, 15987434 fired transitions, 965 secs || 16145694 markings, 18338468 edges, 16787 markings/sec, 965 secs 17 tries, 16072597 fired transitions, 970 secs || 16230985 markings, 18435621 edges, 17058 markings/sec, 970 secs 17 tries, 16155859 fired transitions, 975 secs || 16316072 markings, 18532592 edges, 17017 markings/sec, 975 secs 17 tries, 16239433 fired transitions, 980 secs || 16402294 markings, 18631010 edges, 17244 markings/sec, 980 secs 17 tries, 16323627 fired transitions, 985 secs || 16472025 markings, 18708735 edges, 13946 markings/sec, 985 secs 17 tries, 16405661 fired transitions, 990 secs || 16540215 markings, 18784909 edges, 13638 markings/sec, 990 secs 17 tries, 16489630 fired transitions, 995 secs || 16626163 markings, 18882508 edges, 17190 markings/sec, 995 secs 17 tries, 16572936 fired transitions, 1000 secs || 16714092 markings, 18982557 edges, 17586 markings/sec, 1000 secs 17 tries, 16657128 fired transitions, 1005 secs || 16799634 markings, 19080184 edges, 17108 markings/sec, 1005 secs 17 tries, 16741142 fired transitions, 1010 secs || 16886407 markings, 19178995 edges, 17355 markings/sec, 1010 secs 17 tries, 16823164 fired transitions, 1015 secs || 16972084 markings, 19276701 edges, 17135 markings/sec, 1015 secs 17 tries, 16905935 fired transitions, 1020 secs || 17058902 markings, 19375477 edges, 17364 markings/sec, 1020 secs 17 tries, 16988110 fired transitions, 1025 secs || 17144960 markings, 19473429 edges, 17212 markings/sec, 1025 secs 18 tries, 17071909 fired transitions, 1030 secs || 17225584 markings, 19563978 edges, 16125 markings/sec, 1030 secs 18 tries, 17152573 fired transitions, 1035 secs || 17301304 markings, 19647888 edges, 15144 markings/sec, 1035 secs 18 tries, 17235172 fired transitions, 1040 secs || 17388033 markings, 19746308 edges, 17346 markings/sec, 1040 secs 18 tries, 17318019 fired transitions, 1045 secs || 17476170 markings, 19846687 edges, 17627 markings/sec, 1045 secs 18 tries, 17401871 fired transitions, 1050 secs || 17563211 markings, 19945881 edges, 17408 markings/sec, 1050 secs 18 tries, 17484817 fired transitions, 1055 secs || 17649742 markings, 20044381 edges, 17306 markings/sec, 1055 secs 18 tries, 17565912 fired transitions, 1060 secs || 17739026 markings, 20146046 edges, 17857 markings/sec, 1060 secs 18 tries, 17648471 fired transitions, 1065 secs || 17827641 markings, 20246920 edges, 17723 markings/sec, 1065 secs 18 tries, 17729837 fired transitions, 1070 secs || 17917174 markings, 20348875 edges, 17907 markings/sec, 1070 secs 18 tries, 17811413 fired transitions, 1075 secs || 18005133 markings, 20448293 edges, 17592 markings/sec, 1075 secs 18 tries, 17893915 fired transitions, 1080 secs || 18087470 markings, 20540412 edges, 16467 markings/sec, 1080 secs 18 tries, 17975802 fired transitions, 1085 secs || 18175817 markings, 20641178 edges, 17669 markings/sec, 1085 secs 19 tries, 18058481 fired transitions, 1090 secs || 18257888 markings, 20734008 edges, 16414 markings/sec, 1090 secs 19 tries, 18141463 fired transitions, 1095 secs || 18342288 markings, 20829473 edges, 16880 markings/sec, 1095 secs 19 tries, 18225188 fired transitions, 1100 secs || 18421027 markings, 20917477 edges, 15748 markings/sec, 1100 secs 19 tries, 18305333 fired transitions, 1105 secs || 18492837 markings, 20996812 edges, 14362 markings/sec, 1105 secs 19 tries, 18387566 fired transitions, 1110 secs || 18572305 markings, 21085858 edges, 15894 markings/sec, 1110 secs 19 tries, 18469184 fired transitions, 1115 secs || 18655398 markings, 21179200 edges, 16619 markings/sec, 1115 secs 19 tries, 18551661 fired transitions, 1120 secs || 18742345 markings, 21278270 edges, 17389 markings/sec, 1120 secs 19 tries, 18632456 fired transitions, 1125 secs || 18830016 markings, 21378370 edges, 17534 markings/sec, 1125 secs 19 tries, 18713859 fired transitions, 1130 secs || 18915333 markings, 21475265 edges, 17063 markings/sec, 1130 secs 19 tries, 18795874 fired transitions, 1135 secs || 19003250 markings, 21575450 edges, 17583 markings/sec, 1135 secs 19 tries, 18876539 fired transitions, 1140 secs || 19091119 markings, 21675495 edges, 17574 markings/sec, 1140 secs 19 tries, 18958192 fired transitions, 1145 secs || 19179142 markings, 21775651 edges, 17605 markings/sec, 1145 secs 20 tries, 19043214 fired transitions, 1150 secs || 19263719 markings, 21871698 edges, 16915 markings/sec, 1150 secs 20 tries, 19124980 fired transitions, 1155 secs || 19350508 markings, 21970908 edges, 17358 markings/sec, 1155 secs 20 tries, 19207431 fired transitions, 1160 secs || 19430972 markings, 22061336 edges, 16093 markings/sec, 1160 secs 20 tries, 19289377 fired transitions, 1165 secs || 19516664 markings, 22158730 edges, 17138 markings/sec, 1165 secs 20 tries, 19370434 fired transitions, 1170 secs || 19605552 markings, 22259681 edges, 17778 markings/sec, 1170 secs 20 tries, 19451558 fired transitions, 1175 secs || 19693609 markings, 22360007 edges, 17611 markings/sec, 1175 secs 20 tries, 19534688 fired transitions, 1180 secs || 19774111 markings, 22451083 edges, 16100 markings/sec, 1180 secs 20 tries, 19617713 fired transitions, 1185 secs || 19851321 markings, 22537590 edges, 15442 markings/sec, 1185 secs 20 tries, 19701088 fired transitions, 1190 secs || 19936405 markings, 22634429 edges, 17017 markings/sec, 1190 secs 20 tries, 19783967 fired transitions, 1195 secs || 20021211 markings, 22730682 edges, 16961 markings/sec, 1195 secs 20 tries, 19865558 fired transitions, 1200 secs || 20104360 markings, 22825115 edges, 16630 markings/sec, 1200 secs 20 tries, 19948968 fired transitions, 1205 secs || 20181590 markings, 22911577 edges, 15446 markings/sec, 1205 secs 21 tries, 20034130 fired transitions, 1210 secs || 20264873 markings, 23006289 edges, 16657 markings/sec, 1210 secs 21 tries, 20118757 fired transitions, 1215 secs || 20348062 markings, 23101137 edges, 16638 markings/sec, 1215 secs 21 tries, 20202337 fired transitions, 1220 secs || 20435360 markings, 23200224 edges, 17460 markings/sec, 1220 secs 21 tries, 20284641 fired transitions, 1225 secs || 20520418 markings, 23296647 edges, 17012 markings/sec, 1225 secs 21 tries, 20365419 fired transitions, 1230 secs || 20608547 markings, 23397085 edges, 17626 markings/sec, 1230 secs 21 tries, 20445998 fired transitions, 1235 secs || 20693286 markings, 23492949 edges, 16948 markings/sec, 1235 secs 21 tries, 20526356 fired transitions, 1240 secs || 20775333 markings, 23584896 edges, 16409 markings/sec, 1240 secs 21 tries, 20605651 fired transitions, 1245 secs || 20860830 markings, 23681683 edges, 17099 markings/sec, 1245 secs 21 tries, 20683318 fired transitions, 1250 secs || 20945923 markings, 23778300 edges, 17019 markings/sec, 1250 secs 21 tries, 20763084 fired transitions, 1255 secs || 21032851 markings, 23877102 edges, 17386 markings/sec, 1255 secs 21 tries, 20845263 fired transitions, 1260 secs || 21119675 markings, 23976213 edges, 17365 markings/sec, 1260 secs 21 tries, 20925918 fired transitions, 1265 secs || 21205664 markings, 24074283 edges, 17198 markings/sec, 1265 secs 22 tries, 21006208 fired transitions, 1270 secs || 21291657 markings, 24172284 edges, 17199 markings/sec, 1270 secs 22 tries, 21085537 fired transitions, 1275 secs || 21363316 markings, 24254002 edges, 14332 markings/sec, 1275 secs 22 tries, 21164553 fired transitions, 1280 secs || 21447388 markings, 24349398 edges, 16814 markings/sec, 1280 secs 22 tries, 21244249 fired transitions, 1285 secs || 21529044 markings, 24440941 edges, 16331 markings/sec, 1285 secs 22 tries, 21322890 fired transitions, 1290 secs || 21615361 markings, 24539405 edges, 17263 markings/sec, 1290 secs 22 tries, 21405230 fired transitions, 1295 secs || 21702947 markings, 24639024 edges, 17517 markings/sec, 1295 secs 22 tries, 21487832 fired transitions, 1300 secs || 21791092 markings, 24739534 edges, 17629 markings/sec, 1300 secs 22 tries, 21570354 fired transitions, 1305 secs || 21871793 markings, 24830996 edges, 16140 markings/sec, 1305 secs 22 tries, 21654020 fired transitions, 1310 secs || 21956238 markings, 24927203 edges, 16889 markings/sec, 1310 secs 22 tries, 21735745 fired transitions, 1315 secs || 22039765 markings, 25022148 edges, 16705 markings/sec, 1315 secs 22 tries, 21819401 fired transitions, 1320 secs || 22121976 markings, 25115717 edges, 16442 markings/sec, 1320 secs 22 tries, 21901929 fired transitions, 1325 secs || 22201746 markings, 25205934 edges, 15954 markings/sec, 1325 secs 22 tries, 21984858 fired transitions, 1330 secs || 22285930 markings, 25301945 edges, 16837 markings/sec, 1330 secs 23 tries, 22068110 fired transitions, 1335 secs || 22366253 markings, 25393134 edges, 16065 markings/sec, 1335 secs 23 tries, 22150228 fired transitions, 1340 secs || 22447512 markings, 25485535 edges, 16252 markings/sec, 1340 secs 23 tries, 22233202 fired transitions, 1345 secs || 22530648 markings, 25580214 edges, 16627 markings/sec, 1345 secs 23 tries, 22316356 fired transitions, 1350 secs || 22614345 markings, 25675235 edges, 16739 markings/sec, 1350 secs 23 tries, 22397486 fired transitions, 1355 secs || 22695144 markings, 25766935 edges, 16160 markings/sec, 1355 secs 23 tries, 22479851 fired transitions, 1360 secs || 22778229 markings, 25861322 edges, 16617 markings/sec, 1360 secs 23 tries, 22561415 fired transitions, 1365 secs || 22864663 markings, 25959651 edges, 17287 markings/sec, 1365 secs 23 tries, 22641525 fired transitions, 1370 secs || 22950405 markings, 26057465 edges, 17148 markings/sec, 1370 secs 23 tries, 22722073 fired transitions, 1375 secs || 23035553 markings, 26154346 edges, 17030 markings/sec, 1375 secs 23 tries, 22802682 fired transitions, 1380 secs || 23117743 markings, 26247582 edges, 16438 markings/sec, 1380 secs 23 tries, 22884317 fired transitions, 1385 secs || 23203646 markings, 26345032 edges, 17181 markings/sec, 1385 secs 23 tries, 22965611 fired transitions, 1390 secs || 23286003 markings, 26438478 edges, 16471 markings/sec, 1390 secs 24 tries, 23048436 fired transitions, 1395 secs || 23371142 markings, 26535628 edges, 17028 markings/sec, 1395 secs 24 tries, 23130511 fired transitions, 1400 secs || 23456049 markings, 26632339 edges, 16981 markings/sec, 1400 secs 24 tries, 23211214 fired transitions, 1405 secs || 23540098 markings, 26727892 edges, 16810 markings/sec, 1405 secs 24 tries, 23291218 fired transitions, 1410 secs || 23623161 markings, 26822299 edges, 16613 markings/sec, 1410 secs 24 tries, 23372581 fired transitions, 1415 secs || 23710266 markings, 26921423 edges, 17421 markings/sec, 1415 secs 24 tries, 23455940 fired transitions, 1420 secs || 23794952 markings, 27017990 edges, 16937 markings/sec, 1420 secs 24 tries, 23536562 fired transitions, 1425 secs || 23881502 markings, 27116366 edges, 17310 markings/sec, 1425 secs 24 tries, 23617522 fired transitions, 1430 secs || 23968190 markings, 27215243 edges, 17338 markings/sec, 1430 secs 24 tries, 23699620 fired transitions, 1435 secs || 24051554 markings, 27309958 edges, 16673 markings/sec, 1435 secs 24 tries, 23780344 fired transitions, 1440 secs || 24136665 markings, 27406923 edges, 17022 markings/sec, 1440 secs 24 tries, 23862209 fired transitions, 1445 secs || 24222515 markings, 27504303 edges, 17170 markings/sec, 1445 secs 24 tries, 23943522 fired transitions, 1450 secs || 24306800 markings, 27600270 edges, 16857 markings/sec, 1450 secs 25 tries, 24025775 fired transitions, 1455 secs || 24394260 markings, 27699867 edges, 17492 markings/sec, 1455 secs 25 tries, 24109483 fired transitions, 1460 secs || 24478341 markings, 27795833 edges, 16816 markings/sec, 1460 secs 25 tries, 24192798 fired transitions, 1465 secs || 24558585 markings, 27886906 edges, 16049 markings/sec, 1465 secs 25 tries, 24276218 fired transitions, 1470 secs || 24641590 markings, 27981426 edges, 16601 markings/sec, 1470 secs 25 tries, 24359749 fired transitions, 1475 secs || 24723139 markings, 28073752 edges, 16310 markings/sec, 1475 secs 25 tries, 24442389 fired transitions, 1480 secs || 24809598 markings, 28172702 edges, 17292 markings/sec, 1480 secs 25 tries, 24518841 fired transitions, 1485 secs || 24886775 markings, 28259771 edges, 15435 markings/sec, 1485 secs 25 tries, 24600929 fired transitions, 1490 secs || 24968430 markings, 28352367 edges, 16331 markings/sec, 1490 secs 25 tries, 24685098 fired transitions, 1495 secs || 25050168 markings, 28445152 edges, 16348 markings/sec, 1495 secs 25 tries, 24770534 fired transitions, 1500 secs || 25136954 markings, 28544225 edges, 17357 markings/sec, 1500 secs 25 tries, 24855465 fired transitions, 1505 secs || 25227429 markings, 28647141 edges, 18095 markings/sec, 1505 secs 25 tries, 24939819 fired transitions, 1510 secs || 25312687 markings, 28744032 edges, 17052 markings/sec, 1510 secs 26 tries, 25025076 fired transitions, 1515 secs || 25398546 markings, 28841889 edges, 17172 markings/sec, 1515 secs 26 tries, 25107315 fired transitions, 1520 secs || 25478820 markings, 28932716 edges, 16055 markings/sec, 1520 secs 26 tries, 25191448 fired transitions, 1525 secs || 25561481 markings, 29026458 edges, 16532 markings/sec, 1525 secs 26 tries, 25275930 fired transitions, 1530 secs || 25648673 markings, 29125955 edges, 17438 markings/sec, 1530 secs 26 tries, 25360691 fired transitions, 1535 secs || 25735344 markings, 29224804 edges, 17334 markings/sec, 1535 secs 26 tries, 25445356 fired transitions, 1540 secs || 25821709 markings, 29323255 edges, 17273 markings/sec, 1540 secs 26 tries, 25530431 fired transitions, 1545 secs || 25905005 markings, 29417742 edges, 16659 markings/sec, 1545 secs 26 tries, 25614675 fired transitions, 1550 secs || 25988608 markings, 29512659 edges, 16721 markings/sec, 1550 secs 26 tries, 25701635 fired transitions, 1555 secs || 26073854 markings, 29609845 edges, 17049 markings/sec, 1555 secs 26 tries, 25786113 fired transitions, 1560 secs || 26160455 markings, 29708487 edges, 17320 markings/sec, 1560 secs 26 tries, 25871722 fired transitions, 1565 secs || 26246925 markings, 29806927 edges, 17294 markings/sec, 1565 secs 26 tries, 25955352 fired transitions, 1570 secs || 26334431 markings, 29906806 edges, 17501 markings/sec, 1570 secs 27 tries, 26042277 fired transitions, 1575 secs || 26421075 markings, 30005393 edges, 17329 markings/sec, 1575 secs 27 tries, 26126856 fired transitions, 1580 secs || 26507840 markings, 30104085 edges, 17353 markings/sec, 1580 secs 27 tries, 26212323 fired transitions, 1585 secs || 26598194 markings, 30207059 edges, 18071 markings/sec, 1585 secs 27 tries, 26296832 fired transitions, 1590 secs || 26684398 markings, 30305207 edges, 17241 markings/sec, 1590 secs 27 tries, 26382011 fired transitions, 1595 secs || 26769148 markings, 30401482 edges, 16950 markings/sec, 1595 secs 27 tries, 26465748 fired transitions, 1600 secs || 26855522 markings, 30499941 edges, 17275 markings/sec, 1600 secs 27 tries, 26550144 fired transitions, 1605 secs || 26941611 markings, 30598096 edges, 17218 markings/sec, 1605 secs 27 tries, 26636285 fired transitions, 1610 secs || 27026661 markings, 30694707 edges, 17010 markings/sec, 1610 secs 27 tries, 26720654 fired transitions, 1615 secs || 27110997 markings, 30790553 edges, 16867 markings/sec, 1615 secs 27 tries, 26806218 fired transitions, 1620 secs || 27198755 markings, 30890593 edges, 17552 markings/sec, 1620 secs 27 tries, 26891419 fired transitions, 1625 secs || 27284033 markings, 30987790 edges, 17056 markings/sec, 1625 secs 27 tries, 26976844 fired transitions, 1630 secs || 27369313 markings, 31084870 edges, 17056 markings/sec, 1630 secs 28 tries, 27062275 fired transitions, 1635 secs || 27446291 markings, 31171260 edges, 15396 markings/sec, 1635 secs 28 tries, 27147376 fired transitions, 1640 secs || 27526944 markings, 31262423 edges, 16131 markings/sec, 1640 secs 28 tries, 27232327 fired transitions, 1645 secs || 27613729 markings, 31361298 edges, 17357 markings/sec, 1645 secs 28 tries, 27315786 fired transitions, 1650 secs || 27700901 markings, 31460266 edges, 17434 markings/sec, 1650 secs 28 tries, 27400622 fired transitions, 1655 secs || 27786569 markings, 31557629 edges, 17134 markings/sec, 1655 secs 28 tries, 27486081 fired transitions, 1660 secs || 27871793 markings, 31654566 edges, 17045 markings/sec, 1660 secs 28 tries, 27571512 fired transitions, 1665 secs || 27958732 markings, 31753314 edges, 17388 markings/sec, 1665 secs 28 tries, 27656827 fired transitions, 1670 secs || 28046211 markings, 31852391 edges, 17496 markings/sec, 1670 secs 28 tries, 27741548 fired transitions, 1675 secs || 28133575 markings, 31951506 edges, 17473 markings/sec, 1675 secs 28 tries, 27826401 fired transitions, 1680 secs || 28220714 markings, 32050699 edges, 17428 markings/sec, 1680 secs 28 tries, 27911999 fired transitions, 1685 secs || 28308600 markings, 32150419 edges, 17577 markings/sec, 1685 secs 28 tries, 27996493 fired transitions, 1690 secs || 28395526 markings, 32249086 edges, 17385 markings/sec, 1690 secs 29 tries, 28082505 fired transitions, 1695 secs || 28484657 markings, 32350591 edges, 17826 markings/sec, 1695 secs 29 tries, 28167151 fired transitions, 1700 secs || 28573576 markings, 32451752 edges, 17784 markings/sec, 1700 secs 29 tries, 28251990 fired transitions, 1705 secs || 28661146 markings, 32551165 edges, 17514 markings/sec, 1705 secs 29 tries, 28337073 fired transitions, 1710 secs || 28749325 markings, 32651289 edges, 17636 markings/sec, 1710 secs 29 tries, 28422025 fired transitions, 1715 secs || 28834844 markings, 32748585 edges, 17104 markings/sec, 1715 secs 29 tries, 28505907 fired transitions, 1720 secs || 28917488 markings, 32841784 edges, 16529 markings/sec, 1720 secs 29 tries, 28589801 fired transitions, 1725 secs || 28996094 markings, 32929795 edges, 15721 markings/sec, 1725 secs 29 tries, 28675162 fired transitions, 1730 secs || 29080435 markings, 33025527 edges, 16868 markings/sec, 1730 secs 29 tries, 28760930 fired transitions, 1735 secs || 29167259 markings, 33124421 edges, 17365 markings/sec, 1735 secs 29 tries, 28846099 fired transitions, 1740 secs || 29250765 markings, 33219138 edges, 16701 markings/sec, 1740 secs 29 tries, 28930712 fired transitions, 1745 secs || 29334417 markings, 33313699 edges, 16730 markings/sec, 1745 secs 30 tries, 29016040 fired transitions, 1750 secs || 29419160 markings, 33410141 edges, 16949 markings/sec, 1750 secs 30 tries, 29101484 fired transitions, 1755 secs || 29505843 markings, 33508797 edges, 17337 markings/sec, 1755 secs 30 tries, 29185918 fired transitions, 1760 secs || 29591575 markings, 33606331 edges, 17146 markings/sec, 1760 secs 30 tries, 29271720 fired transitions, 1765 secs || 29677699 markings, 33704454 edges, 17225 markings/sec, 1765 secs 30 tries, 29355750 fired transitions, 1770 secs || 29764259 markings, 33803047 edges, 17312 markings/sec, 1770 secs 30 tries, 29440340 fired transitions, 1775 secs || 29847843 markings, 33897883 edges, 16717 markings/sec, 1775 secs 30 tries, 29526003 fired transitions, 1780 secs || 29932823 markings, 33994493 edges, 16996 markings/sec, 1780 secs 30 tries, 29611268 fired transitions, 1785 secs || 30018466 markings, 34091900 edges, 17129 markings/sec, 1785 secs 30 tries, 29695803 fired transitions, 1790 secs || 30103449 markings, 34188692 edges, 16997 markings/sec, 1790 secs 30 tries, 29780915 fired transitions, 1795 secs || 30187998 markings, 34285117 edges, 16910 markings/sec, 1795 secs 30 tries, 29867255 fired transitions, 1800 secs || 30274686 markings, 34383528 edges, 17338 markings/sec, 1800 secs 30 tries, 29951609 fired transitions, 1805 secs || 30361358 markings, 34482362 edges, 17334 markings/sec, 1805 secs 31 tries, 30037585 fired transitions, 1810 secs || 30448271 markings, 34581113 edges, 17383 markings/sec, 1810 secs 31 tries, 30122933 fired transitions, 1815 secs || 30534565 markings, 34679438 edges, 17259 markings/sec, 1815 secs 31 tries, 30207395 fired transitions, 1820 secs || 30620510 markings, 34777080 edges, 17189 markings/sec, 1820 secs 31 tries, 30292608 fired transitions, 1825 secs || 30706286 markings, 34874583 edges, 17155 markings/sec, 1825 secs 31 tries, 30376167 fired transitions, 1830 secs || 30786374 markings, 34964899 edges, 16018 markings/sec, 1830 secs 31 tries, 30461640 fired transitions, 1835 secs || 30871691 markings, 35062097 edges, 17063 markings/sec, 1835 secs 31 tries, 30546098 fired transitions, 1840 secs || 30958474 markings, 35160701 edges, 17357 markings/sec, 1840 secs 31 tries, 30631379 fired transitions, 1845 secs || 31045806 markings, 35260116 edges, 17466 markings/sec, 1845 secs 31 tries, 30716357 fired transitions, 1850 secs || 31133378 markings, 35359794 edges, 17514 markings/sec, 1850 secs 31 tries, 30801458 fired transitions, 1855 secs || 31222014 markings, 35460780 edges, 17727 markings/sec, 1855 secs 31 tries, 30886923 fired transitions, 1860 secs || 31311586 markings, 35562941 edges, 17914 markings/sec, 1860 secs 31 tries, 30971134 fired transitions, 1865 secs || 31399422 markings, 35662982 edges, 17567 markings/sec, 1865 secs 32 tries, 31056968 fired transitions, 1870 secs || 31485990 markings, 35761522 edges, 17314 markings/sec, 1870 secs 32 tries, 31142223 fired transitions, 1875 secs || 31573195 markings, 35861024 edges, 17441 markings/sec, 1875 secs 32 tries, 31229937 fired transitions, 1880 secs || 31666028 markings, 35966595 edges, 18567 markings/sec, 1880 secs 32 tries, 31316740 fired transitions, 1885 secs || 31757024 markings, 36070327 edges, 18199 markings/sec, 1885 secs 32 tries, 31405605 fired transitions, 1890 secs || 31848153 markings, 36174392 edges, 18226 markings/sec, 1890 secs 32 tries, 31493581 fired transitions, 1895 secs || 31939363 markings, 36278011 edges, 18242 markings/sec, 1895 secs 32 tries, 31581278 fired transitions, 1900 secs || 32026241 markings, 36375784 edges, 17376 markings/sec, 1900 secs 32 tries, 31669949 fired transitions, 1905 secs || 32112414 markings, 36472663 edges, 17235 markings/sec, 1905 secs 32 tries, 31758040 fired transitions, 1910 secs || 32205527 markings, 36579092 edges, 18623 markings/sec, 1910 secs 32 tries, 31846344 fired transitions, 1915 secs || 32299494 markings, 36686717 edges, 18793 markings/sec, 1915 secs 32 tries, 31930436 fired transitions, 1920 secs || 32383387 markings, 36781315 edges, 16779 markings/sec, 1920 secs 33 tries, 32013681 fired transitions, 1925 secs || 32464092 markings, 36872118 edges, 16141 markings/sec, 1925 secs 33 tries, 32095700 fired transitions, 1930 secs || 32547823 markings, 36967090 edges, 16746 markings/sec, 1930 secs 33 tries, 32178271 fired transitions, 1935 secs || 32636454 markings, 37068377 edges, 17726 markings/sec, 1935 secs 33 tries, 32261475 fired transitions, 1940 secs || 32721803 markings, 37165765 edges, 17070 markings/sec, 1940 secs 33 tries, 32343917 fired transitions, 1945 secs || 32804965 markings, 37259716 edges, 16632 markings/sec, 1945 secs 33 tries, 32427410 fired transitions, 1950 secs || 32893365 markings, 37360241 edges, 17680 markings/sec, 1950 secs 33 tries, 32509232 fired transitions, 1955 secs || 32978292 markings, 37456969 edges, 16985 markings/sec, 1955 secs 33 tries, 32591339 fired transitions, 1960 secs || 33060785 markings, 37550684 edges, 16499 markings/sec, 1960 secs 33 tries, 32674550 fired transitions, 1965 secs || 33146807 markings, 37648979 edges, 17204 markings/sec, 1965 secs 33 tries, 32757083 fired transitions, 1970 secs || 33232010 markings, 37746003 edges, 17041 markings/sec, 1970 secs 33 tries, 32838479 fired transitions, 1975 secs || 33314240 markings, 37838781 edges, 16446 markings/sec, 1975 secs 33 tries, 32921696 fired transitions, 1980 secs || 33401551 markings, 37937918 edges, 17462 markings/sec, 1980 secs 34 tries, 33007203 fired transitions, 1985 secs || 33488620 markings, 38036747 edges, 17414 markings/sec, 1985 secs 34 tries, 33088868 fired transitions, 1990 secs || 33575490 markings, 38135545 edges, 17374 markings/sec, 1990 secs 34 tries, 33171625 fired transitions, 1995 secs || 33662823 markings, 38234942 edges, 17467 markings/sec, 1995 secs 34 tries, 33252552 fired transitions, 2000 secs || 33749258 markings, 38333216 edges, 17287 markings/sec, 2000 secs 34 tries, 33334349 fired transitions, 2005 secs || 33835549 markings, 38431847 edges, 17258 markings/sec, 2005 secs 34 tries, 33415595 fired transitions, 2010 secs || 33921420 markings, 38529552 edges, 17174 markings/sec, 2010 secs 34 tries, 33497514 fired transitions, 2015 secs || 34009215 markings, 38629341 edges, 17559 markings/sec, 2015 secs 34 tries, 33580107 fired transitions, 2020 secs || 34095739 markings, 38727981 edges, 17305 markings/sec, 2020 secs 34 tries, 33664625 fired transitions, 2025 secs || 34182776 markings, 38827347 edges, 17407 markings/sec, 2025 secs 34 tries, 33746618 fired transitions, 2030 secs || 34272037 markings, 38929133 edges, 17852 markings/sec, 2030 secs 34 tries, 33829008 fired transitions, 2035 secs || 34357489 markings, 39025801 edges, 17090 markings/sec, 2035 secs 34 tries, 33912740 fired transitions, 2040 secs || 34446837 markings, 39127703 edges, 17870 markings/sec, 2040 secs 34 tries, 33995555 fired transitions, 2045 secs || 34532107 markings, 39224136 edges, 17054 markings/sec, 2045 secs 35 tries, 34079184 fired transitions, 2050 secs || 34606385 markings, 39307025 edges, 14856 markings/sec, 2050 secs 35 tries, 34161220 fired transitions, 2055 secs || 34686713 markings, 39398083 edges, 16066 markings/sec, 2055 secs 35 tries, 34243906 fired transitions, 2060 secs || 34770921 markings, 39494429 edges, 16842 markings/sec, 2060 secs 35 tries, 34327557 fired transitions, 2065 secs || 34854693 markings, 39589732 edges, 16754 markings/sec, 2065 secs 35 tries, 34410969 fired transitions, 2070 secs || 34940235 markings, 39687477 edges, 17108 markings/sec, 2070 secs 35 tries, 34494236 fired transitions, 2075 secs || 35025820 markings, 39785131 edges, 17117 markings/sec, 2075 secs 35 tries, 34575683 fired transitions, 2080 secs || 35111184 markings, 39882209 edges, 17073 markings/sec, 2080 secs 35 tries, 34657514 fired transitions, 2085 secs || 35194344 markings, 39976931 edges, 16632 markings/sec, 2085 secs 35 tries, 34740783 fired transitions, 2090 secs || 35278143 markings, 40072430 edges, 16760 markings/sec, 2090 secs 35 tries, 34823267 fired transitions, 2095 secs || 35364281 markings, 40170756 edges, 17228 markings/sec, 2095 secs 35 tries, 34906111 fired transitions, 2100 secs || 35448895 markings, 40267156 edges, 16923 markings/sec, 2100 secs 35 tries, 34989482 fired transitions, 2105 secs || 35537828 markings, 40368504 edges, 17787 markings/sec, 2105 secs 36 tries, 35074184 fired transitions, 2110 secs || 35624209 markings, 40466409 edges, 17276 markings/sec, 2110 secs 36 tries, 35155568 fired transitions, 2115 secs || 35709177 markings, 40563140 edges, 16994 markings/sec, 2115 secs 36 tries, 35239222 fired transitions, 2120 secs || 35795334 markings, 40661492 edges, 17231 markings/sec, 2120 secs 36 tries, 35321542 fired transitions, 2125 secs || 35881139 markings, 40759564 edges, 17161 markings/sec, 2125 secs 36 tries, 35404261 fired transitions, 2130 secs || 35965636 markings, 40855890 edges, 16899 markings/sec, 2130 secs 36 tries, 35484853 fired transitions, 2135 secs || 36049334 markings, 40951160 edges, 16740 markings/sec, 2135 secs 36 tries, 35569158 fired transitions, 2140 secs || 36134742 markings, 41048344 edges, 17082 markings/sec, 2140 secs 36 tries, 35650779 fired transitions, 2145 secs || 36219986 markings, 41145177 edges, 17049 markings/sec, 2145 secs 36 tries, 35732535 fired transitions, 2150 secs || 36303793 markings, 41240523 edges, 16761 markings/sec, 2150 secs 36 tries, 35815325 fired transitions, 2155 secs || 36387439 markings, 41335839 edges, 16729 markings/sec, 2155 secs 36 tries, 35898436 fired transitions, 2160 secs || 36467946 markings, 41427000 edges, 16101 markings/sec, 2160 secs 36 tries, 35981804 fired transitions, 2165 secs || 36550801 markings, 41521600 edges, 16571 markings/sec, 2165 secs 37 tries, 36064718 fired transitions, 2170 secs || 36635407 markings, 41617897 edges, 16921 markings/sec, 2170 secs 37 tries, 36146757 fired transitions, 2175 secs || 36719125 markings, 41713544 edges, 16744 markings/sec, 2175 secs 37 tries, 36227312 fired transitions, 2180 secs || 36801752 markings, 41808081 edges, 16525 markings/sec, 2180 secs 37 tries, 36310353 fired transitions, 2185 secs || 36885746 markings, 41903662 edges, 16799 markings/sec, 2185 secs 37 tries, 36391170 fired transitions, 2190 secs || 36969921 markings, 41999997 edges, 16835 markings/sec, 2190 secs 37 tries, 36473823 fired transitions, 2195 secs || 37053799 markings, 42095669 edges, 16776 markings/sec, 2195 secs 37 tries, 36556014 fired transitions, 2200 secs || 37139035 markings, 42193119 edges, 17047 markings/sec, 2200 secs 37 tries, 36638296 fired transitions, 2205 secs || 37220927 markings, 42286271 edges, 16378 markings/sec, 2205 secs 37 tries, 36720471 fired transitions, 2210 secs || 37305083 markings, 42382324 edges, 16831 markings/sec, 2210 secs 37 tries, 36803863 fired transitions, 2215 secs || 37388919 markings, 42478041 edges, 16767 markings/sec, 2215 secs 37 tries, 36887183 fired transitions, 2220 secs || 37473722 markings, 42574557 edges, 16961 markings/sec, 2220 secs 37 tries, 36969123 fired transitions, 2225 secs || 37558311 markings, 42671136 edges, 16918 markings/sec, 2225 secs 38 tries, 37053094 fired transitions, 2230 secs || 37640811 markings, 42765342 edges, 16500 markings/sec, 2230 secs 38 tries, 37134803 fired transitions, 2235 secs || 37723830 markings, 42860126 edges, 16604 markings/sec, 2235 secs 38 tries, 37217524 fired transitions, 2240 secs || 37811730 markings, 42960142 edges, 17580 markings/sec, 2240 secs 38 tries, 37300238 fired transitions, 2245 secs || 37897158 markings, 43057654 edges, 17086 markings/sec, 2245 secs 38 tries, 37383443 fired transitions, 2250 secs || 37980753 markings, 43152922 edges, 16719 markings/sec, 2250 secs 38 tries, 37465627 fired transitions, 2255 secs || 38063698 markings, 43248003 edges, 16589 markings/sec, 2255 secs 38 tries, 37547700 fired transitions, 2260 secs || 38145893 markings, 43341892 edges, 16439 markings/sec, 2260 secs 38 tries, 37630147 fired transitions, 2265 secs || 38229822 markings, 43437600 edges, 16786 markings/sec, 2265 secs 38 tries, 37710865 fired transitions, 2270 secs || 38314624 markings, 43534148 edges, 16960 markings/sec, 2270 secs 38 tries, 37794029 fired transitions, 2275 secs || 38399615 markings, 43630753 edges, 16998 markings/sec, 2275 secs 38 tries, 37875813 fired transitions, 2280 secs || 38482161 markings, 43724930 edges, 16509 markings/sec, 2280 secs 38 tries, 37958736 fired transitions, 2285 secs || 38566478 markings, 43821250 edges, 16863 markings/sec, 2285 secs 39 tries, 38041361 fired transitions, 2290 secs || 38648133 markings, 43914603 edges, 16331 markings/sec, 2290 secs 39 tries, 38124096 fired transitions, 2295 secs || 38732123 markings, 44010248 edges, 16798 markings/sec, 2295 secs 39 tries, 38206525 fired transitions, 2300 secs || 38813244 markings, 44102520 edges, 16224 markings/sec, 2300 secs 39 tries, 38288409 fired transitions, 2305 secs || 38895448 markings, 44195961 edges, 16441 markings/sec, 2305 secs 39 tries, 38371346 fired transitions, 2310 secs || 38980931 markings, 44293343 edges, 17097 markings/sec, 2310 secs 39 tries, 38454180 fired transitions, 2315 secs || 39068260 markings, 44392991 edges, 17466 markings/sec, 2315 secs 39 tries, 38536935 fired transitions, 2320 secs || 39152878 markings, 44489371 edges, 16924 markings/sec, 2320 secs 39 tries, 38619669 fired transitions, 2325 secs || 39238967 markings, 44587662 edges, 17218 markings/sec, 2325 secs 39 tries, 38702637 fired transitions, 2330 secs || 39323111 markings, 44683458 edges, 16829 markings/sec, 2330 secs 39 tries, 38785919 fired transitions, 2335 secs || 39411457 markings, 44784016 edges, 17669 markings/sec, 2335 secs 39 tries, 38867417 fired transitions, 2340 secs || 39497199 markings, 44881690 edges, 17148 markings/sec, 2340 secs 39 tries, 38951231 fired transitions, 2345 secs || 39581826 markings, 44978072 edges, 16925 markings/sec, 2345 secs 40 tries, 39033391 fired transitions, 2350 secs || 39665804 markings, 45073293 edges, 16796 markings/sec, 2350 secs 40 tries, 39112306 fired transitions, 2355 secs || 39750108 markings, 45168716 edges, 16861 markings/sec, 2355 secs 40 tries, 39191714 fired transitions, 2360 secs || 39836858 markings, 45267092 edges, 17350 markings/sec, 2360 secs 40 tries, 39274618 fired transitions, 2365 secs || 39923074 markings, 45365354 edges, 17243 markings/sec, 2365 secs 40 tries, 39358768 fired transitions, 2370 secs || 40011963 markings, 45466709 edges, 17778 markings/sec, 2370 secs 40 tries, 39441595 fired transitions, 2375 secs || 40098272 markings, 45565254 edges, 17262 markings/sec, 2375 secs 40 tries, 39526100 fired transitions, 2380 secs || 40182121 markings, 45660652 edges, 16770 markings/sec, 2380 secs 40 tries, 39607731 fired transitions, 2385 secs || 40269058 markings, 45759944 edges, 17387 markings/sec, 2385 secs 40 tries, 39692827 fired transitions, 2390 secs || 40352805 markings, 45855292 edges, 16749 markings/sec, 2390 secs 40 tries, 39776462 fired transitions, 2395 secs || 40438356 markings, 45952835 edges, 17110 markings/sec, 2395 secs 40 tries, 39858678 fired transitions, 2400 secs || 40524331 markings, 46050709 edges, 17195 markings/sec, 2400 secs 40 tries, 39939847 fired transitions, 2405 secs || 40602347 markings, 46138332 edges, 15603 markings/sec, 2405 secs 41 tries, 40024847 fired transitions, 2410 secs || 40689204 markings, 46237284 edges, 17371 markings/sec, 2410 secs 41 tries, 40107870 fired transitions, 2415 secs || 40776230 markings, 46336725 edges, 17405 markings/sec, 2415 secs 41 tries, 40191898 fired transitions, 2420 secs || 40862712 markings, 46435532 edges, 17296 markings/sec, 2420 secs 41 tries, 40274870 fired transitions, 2425 secs || 40948957 markings, 46533965 edges, 17249 markings/sec, 2425 secs 41 tries, 40357825 fired transitions, 2430 secs || 41033679 markings, 46630432 edges, 16944 markings/sec, 2430 secs 41 tries, 40441573 fired transitions, 2435 secs || 41117666 markings, 46725658 edges, 16797 markings/sec, 2435 secs 41 tries, 40524767 fired transitions, 2440 secs || 41205899 markings, 46826340 edges, 17647 markings/sec, 2440 secs 41 tries, 40607443 fired transitions, 2445 secs || 41292230 markings, 46924797 edges, 17266 markings/sec, 2445 secs 41 tries, 40690794 fired transitions, 2450 secs || 41381002 markings, 47025920 edges, 17754 markings/sec, 2450 secs 41 tries, 40774752 fired transitions, 2455 secs || 41468176 markings, 47125236 edges, 17435 markings/sec, 2455 secs 41 tries, 40856392 fired transitions, 2460 secs || 41554407 markings, 47223514 edges, 17246 markings/sec, 2460 secs 41 tries, 40940516 fired transitions, 2465 secs || 41639594 markings, 47320717 edges, 17037 markings/sec, 2465 secs 42 tries, 41025381 fired transitions, 2470 secs || 41727557 markings, 47421058 edges, 17593 markings/sec, 2470 secs 42 tries, 41109288 fired transitions, 2475 secs || 41812127 markings, 47517213 edges, 16914 markings/sec, 2475 secs 42 tries, 41192836 fired transitions, 2480 secs || 41900243 markings, 47617619 edges, 17623 markings/sec, 2480 secs 42 tries, 41274888 fired transitions, 2485 secs || 41986543 markings, 47716075 edges, 17260 markings/sec, 2485 secs 42 tries, 41358169 fired transitions, 2490 secs || 42069704 markings, 47810272 edges, 16632 markings/sec, 2490 secs 42 tries, 41439782 fired transitions, 2495 secs || 42151197 markings, 47901984 edges, 16299 markings/sec, 2495 secs 42 tries, 41522829 fired transitions, 2500 secs || 42237179 markings, 48000416 edges, 17196 markings/sec, 2500 secs 42 tries, 41604889 fired transitions, 2505 secs || 42321537 markings, 48096407 edges, 16872 markings/sec, 2505 secs 42 tries, 41687104 fired transitions, 2510 secs || 42408187 markings, 48195226 edges, 17330 markings/sec, 2510 secs 42 tries, 41769876 fired transitions, 2515 secs || 42494639 markings, 48293643 edges, 17290 markings/sec, 2515 secs 42 tries, 41853662 fired transitions, 2520 secs || 42580501 markings, 48391519 edges, 17172 markings/sec, 2520 secs 42 tries, 41936462 fired transitions, 2525 secs || 42664897 markings, 48487258 edges, 16879 markings/sec, 2525 secs 43 tries, 42022084 fired transitions, 2530 secs || 42747348 markings, 48581288 edges, 16490 markings/sec, 2530 secs 43 tries, 42105755 fired transitions, 2535 secs || 42832952 markings, 48678879 edges, 17121 markings/sec, 2535 secs 43 tries, 42188572 fired transitions, 2540 secs || 42918019 markings, 48776011 edges, 17013 markings/sec, 2540 secs 43 tries, 42273897 fired transitions, 2545 secs || 43002775 markings, 48872982 edges, 16951 markings/sec, 2545 secs 43 tries, 42356592 fired transitions, 2550 secs || 43087846 markings, 48970206 edges, 17014 markings/sec, 2550 secs 43 tries, 42439633 fired transitions, 2555 secs || 43174184 markings, 49068575 edges, 17268 markings/sec, 2555 secs 43 tries, 42522672 fired transitions, 2560 secs || 43259977 markings, 49166355 edges, 17159 markings/sec, 2560 secs 43 tries, 42604531 fired transitions, 2565 secs || 43339765 markings, 49256341 edges, 15958 markings/sec, 2565 secs 43 tries, 42687631 fired transitions, 2570 secs || 43426881 markings, 49355601 edges, 17423 markings/sec, 2570 secs 43 tries, 42771289 fired transitions, 2575 secs || 43514084 markings, 49455235 edges, 17441 markings/sec, 2575 secs 43 tries, 42854748 fired transitions, 2580 secs || 43595554 markings, 49547290 edges, 16294 markings/sec, 2580 secs 43 tries, 42937434 fired transitions, 2585 secs || 43676429 markings, 49637960 edges, 16175 markings/sec, 2585 secs 44 tries, 43018737 fired transitions, 2590 secs || 43761079 markings, 49733984 edges, 16930 markings/sec, 2590 secs 44 tries, 43100601 fired transitions, 2595 secs || 43838695 markings, 49821324 edges, 15523 markings/sec, 2595 secs 44 tries, 43181760 fired transitions, 2600 secs || 43915630 markings, 49907847 edges, 15387 markings/sec, 2600 secs 44 tries, 43262105 fired transitions, 2605 secs || 43995081 markings, 49997838 edges, 15890 markings/sec, 2605 secs 44 tries, 43342923 fired transitions, 2610 secs || 44079441 markings, 50093470 edges, 16872 markings/sec, 2610 secs 44 tries, 43422864 fired transitions, 2615 secs || 44164981 markings, 50190724 edges, 17108 markings/sec, 2615 secs 44 tries, 43502979 fired transitions, 2620 secs || 44251809 markings, 50289317 edges, 17366 markings/sec, 2620 secs 44 tries, 43583567 fired transitions, 2625 secs || 44341364 markings, 50391357 edges, 17911 markings/sec, 2625 secs 44 tries, 43664562 fired transitions, 2630 secs || 44425305 markings, 50487002 edges, 16788 markings/sec, 2630 secs 44 tries, 43746278 fired transitions, 2635 secs || 44511728 markings, 50585598 edges, 17285 markings/sec, 2635 secs 44 tries, 43828845 fired transitions, 2640 secs || 44597005 markings, 50682677 edges, 17055 markings/sec, 2640 secs 44 tries, 43911178 fired transitions, 2645 secs || 44681944 markings, 50779486 edges, 16988 markings/sec, 2645 secs 44 tries, 43994527 fired transitions, 2650 secs || 44771387 markings, 50881219 edges, 17889 markings/sec, 2650 secs 45 tries, 44078310 fired transitions, 2655 secs || 44857299 markings, 50978916 edges, 17182 markings/sec, 2655 secs 45 tries, 44159725 fired transitions, 2660 secs || 44947956 markings, 51082019 edges, 18131 markings/sec, 2660 secs 45 tries, 44243537 fired transitions, 2665 secs || 45036110 markings, 51182488 edges, 17631 markings/sec, 2665 secs 45 tries, 44326092 fired transitions, 2670 secs || 45125190 markings, 51284074 edges, 17816 markings/sec, 2670 secs 45 tries, 44406170 fired transitions, 2675 secs || 45209088 markings, 51379525 edges, 16780 markings/sec, 2675 secs 45 tries, 44487723 fired transitions, 2680 secs || 45292033 markings, 51473536 edges, 16589 markings/sec, 2680 secs 45 tries, 44570436 fired transitions, 2685 secs || 45369476 markings, 51560155 edges, 15489 markings/sec, 2685 secs 45 tries, 44651025 fired transitions, 2690 secs || 45451006 markings, 51652302 edges, 16306 markings/sec, 2690 secs 45 tries, 44733057 fired transitions, 2695 secs || 45535448 markings, 51748489 edges, 16888 markings/sec, 2695 secs 45 tries, 44815614 fired transitions, 2700 secs || 45620939 markings, 51845673 edges, 17098 markings/sec, 2700 secs 45 tries, 44896883 fired transitions, 2705 secs || 45701223 markings, 51936265 edges, 16057 markings/sec, 2705 secs 45 tries, 44979615 fired transitions, 2710 secs || 45784797 markings, 52031244 edges, 16715 markings/sec, 2710 secs 46 tries, 45062437 fired transitions, 2715 secs || 45868553 markings, 52126380 edges, 16751 markings/sec, 2715 secs 46 tries, 45143482 fired transitions, 2720 secs || 45954525 markings, 52224335 edges, 17194 markings/sec, 2720 secs 46 tries, 45225188 fired transitions, 2725 secs || 46042148 markings, 52323991 edges, 17525 markings/sec, 2725 secs 46 tries, 45306271 fired transitions, 2730 secs || 46128343 markings, 52422446 edges, 17239 markings/sec, 2730 secs 46 tries, 45387583 fired transitions, 2735 secs || 46205739 markings, 52509089 edges, 15479 markings/sec, 2735 secs 46 tries, 45468555 fired transitions, 2740 secs || 46285806 markings, 52599081 edges, 16013 markings/sec, 2740 secs 46 tries, 45549890 fired transitions, 2745 secs || 46368847 markings, 52693309 edges, 16608 markings/sec, 2745 secs 46 tries, 45631355 fired transitions, 2750 secs || 46454451 markings, 52790900 edges, 17121 markings/sec, 2750 secs 46 tries, 45713640 fired transitions, 2755 secs || 46541238 markings, 52889674 edges, 17357 markings/sec, 2755 secs 46 tries, 45794570 fired transitions, 2760 secs || 46626679 markings, 52987109 edges, 17088 markings/sec, 2760 secs 46 tries, 45877313 fired transitions, 2765 secs || 46710952 markings, 53082815 edges, 16855 markings/sec, 2765 secs 46 tries, 45959566 fired transitions, 2770 secs || 46794051 markings, 53177414 edges, 16620 markings/sec, 2770 secs 47 tries, 46042249 fired transitions, 2775 secs || 46868026 markings, 53260045 edges, 14795 markings/sec, 2775 secs 47 tries, 46124559 fired transitions, 2780 secs || 46951929 markings, 53355203 edges, 16781 markings/sec, 2780 secs 47 tries, 46206851 fired transitions, 2785 secs || 47038152 markings, 53453442 edges, 17245 markings/sec, 2785 secs 47 tries, 46288421 fired transitions, 2790 secs || 47120165 markings, 53546399 edges, 16403 markings/sec, 2790 secs 47 tries, 46371444 fired transitions, 2795 secs || 47205776 markings, 53643908 edges, 17122 markings/sec, 2795 secs 47 tries, 46452393 fired transitions, 2800 secs || 47291596 markings, 53741938 edges, 17164 markings/sec, 2800 secs 47 tries, 46533718 fired transitions, 2805 secs || 47378555 markings, 53840710 edges, 17392 markings/sec, 2805 secs 47 tries, 46614998 fired transitions, 2810 secs || 47463601 markings, 53937640 edges, 17009 markings/sec, 2810 secs 47 tries, 46695808 fired transitions, 2815 secs || 47544680 markings, 54029524 edges, 16216 markings/sec, 2815 secs 47 tries, 46777534 fired transitions, 2820 secs || 47624806 markings, 54120584 edges, 16025 markings/sec, 2820 secs 47 tries, 46857944 fired transitions, 2825 secs || 47708851 markings, 54216130 edges, 16809 markings/sec, 2825 secs 47 tries, 46940385 fired transitions, 2830 secs || 47793064 markings, 54312196 edges, 16843 markings/sec, 2830 secs 48 tries, 47022635 fired transitions, 2835 secs || 47877585 markings, 54408606 edges, 16904 markings/sec, 2835 secs 48 tries, 47103754 fired transitions, 2840 secs || 47961146 markings, 54503932 edges, 16712 markings/sec, 2840 secs 48 tries, 47184709 fired transitions, 2845 secs || 48047766 markings, 54602157 edges, 17324 markings/sec, 2845 secs 48 tries, 47265515 fired transitions, 2850 secs || 48131679 markings, 54697378 edges, 16783 markings/sec, 2850 secs 48 tries, 47346124 fired transitions, 2855 secs || 48215268 markings, 54792381 edges, 16718 markings/sec, 2855 secs 48 tries, 47426366 fired transitions, 2860 secs || 48298121 markings, 54886693 edges, 16571 markings/sec, 2860 secs 48 tries, 47507842 fired transitions, 2865 secs || 48381568 markings, 54981870 edges, 16689 markings/sec, 2865 secs 48 tries, 47589629 fired transitions, 2870 secs || 48463043 markings, 55074675 edges, 16295 markings/sec, 2870 secs 48 tries, 47671597 fired transitions, 2875 secs || 48546563 markings, 55170045 edges, 16704 markings/sec, 2875 secs 48 tries, 47753604 fired transitions, 2880 secs || 48629367 markings, 55264571 edges, 16561 markings/sec, 2880 secs 48 tries, 47834569 fired transitions, 2885 secs || 48712530 markings, 55359390 edges, 16633 markings/sec, 2885 secs 48 tries, 47916473 fired transitions, 2890 secs || 48799223 markings, 55458284 edges, 17339 markings/sec, 2890 secs 48 tries, 47997927 fired transitions, 2895 secs || 48881975 markings, 55552681 edges, 16550 markings/sec, 2895 secs 49 tries, 48080632 fired transitions, 2900 secs || 48965628 markings, 55647694 edges, 16731 markings/sec, 2900 secs 49 tries, 48162445 fired transitions, 2905 secs || 49050549 markings, 55744314 edges, 16984 markings/sec, 2905 secs 49 tries, 48244510 fired transitions, 2910 secs || 49133161 markings, 55838368 edges, 16522 markings/sec, 2910 secs 49 tries, 48326669 fired transitions, 2915 secs || 49216646 markings, 55933209 edges, 16697 markings/sec, 2915 secs 49 tries, 48407609 fired transitions, 2920 secs || 49299124 markings, 56027549 edges, 16496 markings/sec, 2920 secs 49 tries, 48488783 fired transitions, 2925 secs || 49381728 markings, 56121995 edges, 16521 markings/sec, 2925 secs 49 tries, 48571377 fired transitions, 2930 secs || 49464989 markings, 56217046 edges, 16652 markings/sec, 2930 secs 49 tries, 48653998 fired transitions, 2935 secs || 49550055 markings, 56314135 edges, 17013 markings/sec, 2935 secs 49 tries, 48736003 fired transitions, 2940 secs || 49631913 markings, 56407638 edges, 16372 markings/sec, 2940 secs 49 tries, 48816283 fired transitions, 2945 secs || 49714070 markings, 56501523 edges, 16431 markings/sec, 2945 secs 49 tries, 48898098 fired transitions, 2950 secs || 49798999 markings, 56598364 edges, 16986 markings/sec, 2950 secs 49 tries, 48979949 fired transitions, 2955 secs || 49885303 markings, 56696606 edges, 17261 markings/sec, 2955 secs 50 tries, 49062093 fired transitions, 2960 secs || 49971648 markings, 56794789 edges, 17269 markings/sec, 2960 secs 50 tries, 49143892 fired transitions, 2965 secs || 50055994 markings, 56890784 edges, 16869 markings/sec, 2965 secs 50 tries, 49225193 fired transitions, 2970 secs || 50139202 markings, 56985166 edges, 16642 markings/sec, 2970 secs 50 tries, 49306090 fired transitions, 2975 secs || 50222434 markings, 57080429 edges, 16646 markings/sec, 2975 secs 50 tries, 49388266 fired transitions, 2980 secs || 50305501 markings, 57175093 edges, 16613 markings/sec, 2980 secs 50 tries, 49469212 fired transitions, 2985 secs || 50388936 markings, 57269232 edges, 16687 markings/sec, 2985 secs 50 tries, 49550372 fired transitions, 2990 secs || 50474170 markings, 57366497 edges, 17047 markings/sec, 2990 secs 50 tries, 49634320 fired transitions, 2995 secs || 50559529 markings, 57463765 edges, 17072 markings/sec, 2995 secs 50 tries, 49717328 fired transitions, 3000 secs || 50644843 markings, 57560945 edges, 17063 markings/sec, 3000 secs 50 tries, 49797835 fired transitions, 3005 secs || 50728866 markings, 57656330 edges, 16805 markings/sec, 3005 secs 50 tries, 49879562 fired transitions, 3010 secs || 50811358 markings, 57750067 edges, 16498 markings/sec, 3010 secs 50 tries, 49960650 fired transitions, 3015 secs || 50893548 markings, 57843628 edges, 16438 markings/sec, 3015 secs 51 tries, 50043740 fired transitions, 3020 secs || 50978130 markings, 57939890 edges, 16916 markings/sec, 3020 secs 51 tries, 50123531 fired transitions, 3025 secs || 51037325 markings, 58007218 edges, 11839 markings/sec, 3025 secs 51 tries, 50159728 fired transitions, 3030 secs || 51053623 markings, 58025811 edges, 3260 markings/sec, 3030 secs 51 tries, 50167886 fired transitions, 3035 secs || 51054666 markings, 58027004 edges, 209 markings/sec, 3035 secs 51 tries, 50179002 fired transitions, 3040 secs || 51055438 markings, 58027884 edges, 154 markings/sec, 3040 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-structural"
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-structural"
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 r071-smll-152649744000153"
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 ;