MCC'2018 - Execution of r066-smll-152649737200153

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.200	3132908.00	6280779.00	10797.80	?	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 irma4mcc-full
Input is DLCround-PT-13b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
========================

--------------------
content from stdout:

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME DLCround-PT

=== Now, execution

BK_START 1526651854904

BK_STOP 1526654987812

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

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

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

checking for too many tokens
========================
DLCround-PT-13b:
========================
translating formula complete
touch formulae;
----- Start make
----- Start make
ReachabilityDeadlock
make: [verify]
----- Start make
----- Kill lola
----- Finished stderr -----
Makefile:222: recipe
----- Start make
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 14070/65536
lola: preprocessing...
lola: finding
lola: 5343 places,
lola: computing
lola: computing
lola: 12738 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using 632
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: computed
lola: representing
lola: 0 dead
lola: STP: formula
lola: stp: The
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
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 =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r066-smll-152649737200153 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -13b-ReachabilityDeadlock-0 of the tool begins in /usr/share/mcc4mcc/65b80f64-known.json. information in /usr/share/mcc4mcc/65b80f64-learned.json. in /usr/share/mcc4mcc/65b80f64-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}. [{'Time': 2482596, 'Memory': 15949.08, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-13b... prepare stdout ----- prepare stderr ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stderr ----- result stdout ----- @ DLCround-PT-13b @ 3540 seconds Error 137 (ignored) result stderr ----- and sara stderr ----- for target 'verify' failed result stdout ----- net from model.pnml.lola net file model.pnml.lola symbol table entries, 4277 collisions significant places 8727 transitions, 5031 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-13b-ReachabilityDeadlock.task reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) bit-perfect encoder (--encoder=bit) bytes per marking, with 25 unused bits prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 18 generators (18 in search tree, 0 by composition) 262144 symmetries branches visited in search tree with 172226 variables and 528563 clauses shipped to Minisat siphon/trap property does not hold 1 tries, 79037 fired transitions, 0 secs || 71229 markings, 79506 edges, 14246 markings/sec, 0 secs 1 tries, 160635 fired transitions, 5 secs || 152443 markings, 171112 edges, 16243 markings/sec, 5 secs 1 tries, 242742 fired transitions, 10 secs || 230266 markings, 258540 edges, 15565 markings/sec, 10 secs 1 tries, 325046 fired transitions, 15 secs || 294588 markings, 329723 edges, 12864 markings/sec, 15 secs 1 tries, 407109 fired transitions, 20 secs || 358123 markings, 401666 edges, 12707 markings/sec, 20 secs 1 tries, 487712 fired transitions, 25 secs || 427260 markings, 478701 edges, 13827 markings/sec, 25 secs 1 tries, 569090 fired transitions, 30 secs || 497907 markings, 557064 edges, 14129 markings/sec, 30 secs 1 tries, 650378 fired transitions, 35 secs || 572183 markings, 640158 edges, 14855 markings/sec, 35 secs 1 tries, 733383 fired transitions, 40 secs || 655229 markings, 733374 edges, 16609 markings/sec, 40 secs 1 tries, 814595 fired transitions, 45 secs || 726927 markings, 813395 edges, 14340 markings/sec, 45 secs 1 tries, 895142 fired transitions, 50 secs || 793553 markings, 887164 edges, 13325 markings/sec, 50 secs 1 tries, 977443 fired transitions, 55 secs || 871901 markings, 975111 edges, 15670 markings/sec, 55 secs 2 tries, 1060087 fired transitions, 60 secs || 948383 markings, 1061113 edges, 15296 markings/sec, 60 secs 2 tries, 1141219 fired transitions, 65 secs || 1019650 markings, 1141210 edges, 14253 markings/sec, 65 secs 2 tries, 1223867 fired transitions, 70 secs || 1085468 markings, 1213702 edges, 13164 markings/sec, 70 secs 2 tries, 1308207 fired transitions, 75 secs || 1156118 markings, 1291831 edges, 14130 markings/sec, 75 secs 2 tries, 1389784 fired transitions, 80 secs || 1223555 markings, 1366329 edges, 13487 markings/sec, 80 secs 2 tries, 1471039 fired transitions, 85 secs || 1293688 markings, 1444400 edges, 14027 markings/sec, 85 secs 2 tries, 1552238 fired transitions, 90 secs || 1372542 markings, 1533792 edges, 15771 markings/sec, 90 secs 2 tries, 1635818 fired transitions, 95 secs || 1447040 markings, 1617498 edges, 14900 markings/sec, 95 secs 2 tries, 1721475 fired transitions, 100 secs || 1526503 markings, 1707426 edges, 15893 markings/sec, 100 secs 2 tries, 1807372 fired transitions, 105 secs || 1610179 markings, 1801256 edges, 16735 markings/sec, 105 secs 2 tries, 1891526 fired transitions, 110 secs || 1682999 markings, 1881915 edges, 14564 markings/sec, 110 secs 2 tries, 1976411 fired transitions, 115 secs || 1759715 markings, 1967947 edges, 15343 markings/sec, 115 secs 3 tries, 2060309 fired transitions, 120 secs || 1840000 markings, 2058463 edges, 16057 markings/sec, 120 secs 3 tries, 2141555 fired transitions, 125 secs || 1907200 markings, 2132752 edges, 13440 markings/sec, 125 secs 3 tries, 2221485 fired transitions, 130 secs || 1983402 markings, 2218169 edges, 15240 markings/sec, 130 secs 3 tries, 2302132 fired transitions, 135 secs || 2064361 markings, 2308870 edges, 16192 markings/sec, 135 secs 3 tries, 2383046 fired transitions, 140 secs || 2146398 markings, 2401386 edges, 16407 markings/sec, 140 secs 3 tries, 2463231 fired transitions, 145 secs || 2236807 markings, 2504148 edges, 18082 markings/sec, 145 secs 3 tries, 2543996 fired transitions, 150 secs || 2327899 markings, 2607542 edges, 18218 markings/sec, 150 secs 3 tries, 2624642 fired transitions, 155 secs || 2417090 markings, 2708839 edges, 17838 markings/sec, 155 secs 3 tries, 2705403 fired transitions, 160 secs || 2509121 markings, 2813180 edges, 18406 markings/sec, 160 secs 3 tries, 2786909 fired transitions, 165 secs || 2597733 markings, 2913927 edges, 17722 markings/sec, 165 secs 3 tries, 2868290 fired transitions, 170 secs || 2689532 markings, 3018617 edges, 18360 markings/sec, 170 secs 3 tries, 2949886 fired transitions, 175 secs || 2777598 markings, 3118934 edges, 17613 markings/sec, 175 secs 4 tries, 3032470 fired transitions, 180 secs || 2864078 markings, 3216665 edges, 17296 markings/sec, 180 secs 4 tries, 3114198 fired transitions, 185 secs || 2956549 markings, 3321713 edges, 18494 markings/sec, 185 secs 4 tries, 3196225 fired transitions, 190 secs || 3049213 markings, 3426784 edges, 18533 markings/sec, 190 secs 4 tries, 3277079 fired transitions, 195 secs || 3138587 markings, 3528334 edges, 17875 markings/sec, 195 secs 4 tries, 3363587 fired transitions, 200 secs || 3227479 markings, 3628879 edges, 17778 markings/sec, 200 secs 4 tries, 3445781 fired transitions, 205 secs || 3321349 markings, 3735454 edges, 18774 markings/sec, 205 secs 4 tries, 3526533 fired transitions, 210 secs || 3407345 markings, 3833040 edges, 17199 markings/sec, 210 secs 4 tries, 3608335 fired transitions, 215 secs || 3494010 markings, 3931097 edges, 17333 markings/sec, 215 secs 4 tries, 3689252 fired transitions, 220 secs || 3582078 markings, 4031471 edges, 17614 markings/sec, 220 secs 4 tries, 3770040 fired transitions, 225 secs || 3667840 markings, 4129633 edges, 17152 markings/sec, 225 secs 4 tries, 3851246 fired transitions, 230 secs || 3752254 markings, 4225369 edges, 16883 markings/sec, 230 secs 4 tries, 3932557 fired transitions, 235 secs || 3839361 markings, 4325299 edges, 17421 markings/sec, 235 secs 5 tries, 4015373 fired transitions, 240 secs || 3921990 markings, 4419740 edges, 16526 markings/sec, 240 secs 5 tries, 4095961 fired transitions, 245 secs || 4008614 markings, 4518673 edges, 17325 markings/sec, 245 secs 5 tries, 4178025 fired transitions, 250 secs || 4096481 markings, 4618978 edges, 17573 markings/sec, 250 secs 5 tries, 4261462 fired transitions, 255 secs || 4182173 markings, 4716851 edges, 17138 markings/sec, 255 secs 5 tries, 4343031 fired transitions, 260 secs || 4268786 markings, 4816282 edges, 17323 markings/sec, 260 secs 5 tries, 4427351 fired transitions, 265 secs || 4355773 markings, 4914580 edges, 17397 markings/sec, 265 secs 5 tries, 4512650 fired transitions, 270 secs || 4448357 markings, 5019792 edges, 18517 markings/sec, 270 secs 5 tries, 4595691 fired transitions, 275 secs || 4536367 markings, 5120197 edges, 17602 markings/sec, 275 secs 5 tries, 4678593 fired transitions, 280 secs || 4624995 markings, 5221217 edges, 17726 markings/sec, 280 secs 5 tries, 4760928 fired transitions, 285 secs || 4709425 markings, 5316815 edges, 16886 markings/sec, 285 secs 5 tries, 4844313 fired transitions, 290 secs || 4795069 markings, 5414120 edges, 17129 markings/sec, 290 secs 5 tries, 4925821 fired transitions, 295 secs || 4880571 markings, 5511566 edges, 17100 markings/sec, 295 secs 6 tries, 5010670 fired transitions, 300 secs || 4964838 markings, 5606806 edges, 16853 markings/sec, 300 secs 6 tries, 5093014 fired transitions, 305 secs || 5047590 markings, 5700862 edges, 16550 markings/sec, 305 secs 6 tries, 5174481 fired transitions, 310 secs || 5133360 markings, 5798367 edges, 17154 markings/sec, 310 secs 6 tries, 5257140 fired transitions, 315 secs || 5218836 markings, 5895667 edges, 17095 markings/sec, 315 secs 6 tries, 5339111 fired transitions, 320 secs || 5303587 markings, 5992107 edges, 16950 markings/sec, 320 secs 6 tries, 5421246 fired transitions, 325 secs || 5387761 markings, 6088274 edges, 16835 markings/sec, 325 secs 6 tries, 5504477 fired transitions, 330 secs || 5472975 markings, 6185837 edges, 17043 markings/sec, 330 secs 6 tries, 5586639 fired transitions, 335 secs || 5558685 markings, 6282888 edges, 17142 markings/sec, 335 secs 6 tries, 5668711 fired transitions, 340 secs || 5643273 markings, 6378644 edges, 16918 markings/sec, 340 secs 6 tries, 5751171 fired transitions, 345 secs || 5728980 markings, 6475931 edges, 17141 markings/sec, 345 secs 6 tries, 5832703 fired transitions, 350 secs || 5815662 markings, 6574160 edges, 17336 markings/sec, 350 secs 6 tries, 5915843 fired transitions, 355 secs || 5904833 markings, 6675442 edges, 17834 markings/sec, 355 secs 6 tries, 5996625 fired transitions, 360 secs || 5993367 markings, 6775850 edges, 17707 markings/sec, 360 secs 7 tries, 6080689 fired transitions, 365 secs || 6081047 markings, 6875543 edges, 17536 markings/sec, 365 secs 7 tries, 6163173 fired transitions, 370 secs || 6167342 markings, 6973727 edges, 17259 markings/sec, 370 secs 7 tries, 6244408 fired transitions, 375 secs || 6254687 markings, 7073061 edges, 17469 markings/sec, 375 secs 7 tries, 6325694 fired transitions, 380 secs || 6344055 markings, 7174625 edges, 17874 markings/sec, 380 secs 7 tries, 6407658 fired transitions, 385 secs || 6436374 markings, 7279332 edges, 18464 markings/sec, 385 secs 7 tries, 6488271 fired transitions, 390 secs || 6523533 markings, 7378545 edges, 17432 markings/sec, 390 secs 7 tries, 6569781 fired transitions, 395 secs || 6613015 markings, 7480505 edges, 17896 markings/sec, 395 secs 7 tries, 6653154 fired transitions, 400 secs || 6697963 markings, 7577010 edges, 16990 markings/sec, 400 secs 7 tries, 6737440 fired transitions, 405 secs || 6784671 markings, 7675881 edges, 17342 markings/sec, 405 secs 7 tries, 6823277 fired transitions, 410 secs || 6876324 markings, 7780544 edges, 18331 markings/sec, 410 secs 7 tries, 6909969 fired transitions, 415 secs || 6965746 markings, 7882206 edges, 17884 markings/sec, 415 secs 7 tries, 6995407 fired transitions, 420 secs || 7054600 markings, 7983040 edges, 17771 markings/sec, 420 secs 8 tries, 7079515 fired transitions, 425 secs || 7141571 markings, 8081693 edges, 17394 markings/sec, 425 secs 8 tries, 7162598 fired transitions, 430 secs || 7227676 markings, 8178907 edges, 17221 markings/sec, 430 secs 8 tries, 7246417 fired transitions, 435 secs || 7316245 markings, 8279280 edges, 17714 markings/sec, 435 secs 8 tries, 7330051 fired transitions, 440 secs || 7403657 markings, 8378334 edges, 17482 markings/sec, 440 secs 8 tries, 7414240 fired transitions, 445 secs || 7490562 markings, 8477365 edges, 17381 markings/sec, 445 secs 8 tries, 7497663 fired transitions, 450 secs || 7575579 markings, 8574225 edges, 17003 markings/sec, 450 secs 8 tries, 7579166 fired transitions, 455 secs || 7662162 markings, 8673290 edges, 17317 markings/sec, 455 secs 8 tries, 7661384 fired transitions, 460 secs || 7746876 markings, 8769792 edges, 16943 markings/sec, 460 secs 8 tries, 7743029 fired transitions, 465 secs || 7835101 markings, 8869841 edges, 17645 markings/sec, 465 secs 8 tries, 7825797 fired transitions, 470 secs || 7926649 markings, 8973976 edges, 18310 markings/sec, 470 secs 8 tries, 7906528 fired transitions, 475 secs || 8016382 markings, 9075953 edges, 17947 markings/sec, 475 secs 8 tries, 7987942 fired transitions, 480 secs || 8105614 markings, 9177360 edges, 17846 markings/sec, 480 secs 9 tries, 8070650 fired transitions, 485 secs || 8196025 markings, 9280231 edges, 18082 markings/sec, 485 secs 9 tries, 8151377 fired transitions, 490 secs || 8275184 markings, 9369073 edges, 15832 markings/sec, 490 secs 9 tries, 8234082 fired transitions, 495 secs || 8364429 markings, 9470522 edges, 17849 markings/sec, 495 secs 9 tries, 8318665 fired transitions, 500 secs || 8451800 markings, 9569837 edges, 17474 markings/sec, 500 secs 9 tries, 8402078 fired transitions, 505 secs || 8539387 markings, 9669707 edges, 17517 markings/sec, 505 secs 9 tries, 8485722 fired transitions, 510 secs || 8628234 markings, 9770610 edges, 17769 markings/sec, 510 secs 9 tries, 8569756 fired transitions, 515 secs || 8710155 markings, 9863401 edges, 16384 markings/sec, 515 secs 9 tries, 8654083 fired transitions, 520 secs || 8798407 markings, 9963753 edges, 17650 markings/sec, 520 secs 9 tries, 8738492 fired transitions, 525 secs || 8885557 markings, 10062484 edges, 17430 markings/sec, 525 secs 9 tries, 8822413 fired transitions, 530 secs || 8972276 markings, 10161189 edges, 17344 markings/sec, 530 secs 9 tries, 8906685 fired transitions, 535 secs || 9059473 markings, 10260763 edges, 17439 markings/sec, 535 secs 9 tries, 8990542 fired transitions, 540 secs || 9146720 markings, 10360529 edges, 17449 markings/sec, 540 secs 10 tries, 9075938 fired transitions, 545 secs || 9235671 markings, 10461975 edges, 17790 markings/sec, 545 secs 10 tries, 9161416 fired transitions, 550 secs || 9322779 markings, 10561059 edges, 17422 markings/sec, 550 secs 10 tries, 9249157 fired transitions, 555 secs || 9413679 markings, 10664858 edges, 18180 markings/sec, 555 secs 10 tries, 9337032 fired transitions, 560 secs || 9505471 markings, 10768993 edges, 18358 markings/sec, 560 secs 10 tries, 9425211 fired transitions, 565 secs || 9597733 markings, 10873650 edges, 18452 markings/sec, 565 secs 10 tries, 9513354 fired transitions, 570 secs || 9686103 markings, 10973613 edges, 17674 markings/sec, 570 secs 10 tries, 9600370 fired transitions, 575 secs || 9778827 markings, 11078884 edges, 18545 markings/sec, 575 secs 10 tries, 9688493 fired transitions, 580 secs || 9868836 markings, 11181053 edges, 18002 markings/sec, 580 secs 10 tries, 9775943 fired transitions, 585 secs || 9958220 markings, 11282308 edges, 17877 markings/sec, 585 secs 10 tries, 9864284 fired transitions, 590 secs || 10048063 markings, 11384144 edges, 17969 markings/sec, 590 secs 10 tries, 9951661 fired transitions, 595 secs || 10138707 markings, 11486987 edges, 18129 markings/sec, 595 secs 11 tries, 10039584 fired transitions, 600 secs || 10230917 markings, 11591711 edges, 18442 markings/sec, 600 secs 11 tries, 10126964 fired transitions, 605 secs || 10321978 markings, 11695058 edges, 18212 markings/sec, 605 secs 11 tries, 10214632 fired transitions, 610 secs || 10414426 markings, 11800104 edges, 18490 markings/sec, 610 secs 11 tries, 10303362 fired transitions, 615 secs || 10505634 markings, 11903675 edges, 18242 markings/sec, 615 secs 11 tries, 10391018 fired transitions, 620 secs || 10598173 markings, 12008881 edges, 18508 markings/sec, 620 secs 11 tries, 10477662 fired transitions, 625 secs || 10689444 markings, 12112859 edges, 18254 markings/sec, 625 secs 11 tries, 10561527 fired transitions, 630 secs || 10780581 markings, 12216382 edges, 18227 markings/sec, 630 secs 11 tries, 10644741 fired transitions, 635 secs || 10869273 markings, 12317280 edges, 17738 markings/sec, 635 secs 11 tries, 10730153 fired transitions, 640 secs || 10956654 markings, 12416731 edges, 17476 markings/sec, 640 secs 11 tries, 10812928 fired transitions, 645 secs || 11044542 markings, 12516855 edges, 17578 markings/sec, 645 secs 11 tries, 10899126 fired transitions, 650 secs || 11134682 markings, 12619374 edges, 18028 markings/sec, 650 secs 11 tries, 10986783 fired transitions, 655 secs || 11226926 markings, 12724058 edges, 18449 markings/sec, 655 secs 12 tries, 11074313 fired transitions, 660 secs || 11315370 markings, 12824204 edges, 17689 markings/sec, 660 secs 12 tries, 11158267 fired transitions, 665 secs || 11401992 markings, 12922617 edges, 17324 markings/sec, 665 secs 12 tries, 11242748 fired transitions, 670 secs || 11490121 markings, 13023104 edges, 17626 markings/sec, 670 secs 12 tries, 11326699 fired transitions, 675 secs || 11578950 markings, 13124075 edges, 17766 markings/sec, 675 secs 12 tries, 11411303 fired transitions, 680 secs || 11667080 markings, 13224063 edges, 17626 markings/sec, 680 secs 12 tries, 11497667 fired transitions, 685 secs || 11739965 markings, 13305350 edges, 14577 markings/sec, 685 secs 12 tries, 11585289 fired transitions, 690 secs || 11810314 markings, 13383717 edges, 14070 markings/sec, 690 secs 12 tries, 11669771 fired transitions, 695 secs || 11878289 markings, 13459427 edges, 13595 markings/sec, 695 secs 12 tries, 11754067 fired transitions, 700 secs || 11952887 markings, 13542921 edges, 14920 markings/sec, 700 secs 12 tries, 11837417 fired transitions, 705 secs || 12019611 markings, 13616187 edges, 13345 markings/sec, 705 secs 12 tries, 11921269 fired transitions, 710 secs || 12092500 markings, 13696650 edges, 14578 markings/sec, 710 secs 13 tries, 12005614 fired transitions, 715 secs || 12164342 markings, 13775974 edges, 14368 markings/sec, 715 secs 13 tries, 12088652 fired transitions, 720 secs || 12240084 markings, 13861648 edges, 15148 markings/sec, 720 secs 13 tries, 12173651 fired transitions, 725 secs || 12316299 markings, 13947853 edges, 15243 markings/sec, 725 secs 13 tries, 12258982 fired transitions, 730 secs || 12386466 markings, 14025987 edges, 14033 markings/sec, 730 secs 13 tries, 12342087 fired transitions, 735 secs || 12453930 markings, 14101424 edges, 13493 markings/sec, 735 secs 13 tries, 12427305 fired transitions, 740 secs || 12521088 markings, 14176230 edges, 13432 markings/sec, 740 secs 13 tries, 12510878 fired transitions, 745 secs || 12594455 markings, 14258013 edges, 14673 markings/sec, 745 secs 13 tries, 12593695 fired transitions, 750 secs || 12667556 markings, 14339851 edges, 14620 markings/sec, 750 secs 13 tries, 12677595 fired transitions, 755 secs || 12739346 markings, 14419978 edges, 14358 markings/sec, 755 secs 13 tries, 12759948 fired transitions, 760 secs || 12809855 markings, 14498140 edges, 14102 markings/sec, 760 secs 13 tries, 12844483 fired transitions, 765 secs || 12879755 markings, 14575388 edges, 13980 markings/sec, 765 secs 13 tries, 12929729 fired transitions, 770 secs || 12949433 markings, 14653442 edges, 13936 markings/sec, 770 secs 14 tries, 13014686 fired transitions, 775 secs || 13018498 markings, 14730506 edges, 13813 markings/sec, 775 secs 14 tries, 13097532 fired transitions, 780 secs || 13087623 markings, 14807524 edges, 13825 markings/sec, 780 secs 14 tries, 13181258 fired transitions, 785 secs || 13153332 markings, 14880750 edges, 13142 markings/sec, 785 secs 14 tries, 13263925 fired transitions, 790 secs || 13224824 markings, 14959919 edges, 14298 markings/sec, 790 secs 14 tries, 13348122 fired transitions, 795 secs || 13295458 markings, 15038599 edges, 14127 markings/sec, 795 secs 14 tries, 13431818 fired transitions, 800 secs || 13360862 markings, 15111772 edges, 13081 markings/sec, 800 secs 14 tries, 13515840 fired transitions, 805 secs || 13430916 markings, 15189904 edges, 14011 markings/sec, 805 secs 14 tries, 13600590 fired transitions, 810 secs || 13511030 markings, 15280738 edges, 16023 markings/sec, 810 secs 14 tries, 13684965 fired transitions, 815 secs || 13600612 markings, 15383181 edges, 17916 markings/sec, 815 secs 14 tries, 13768919 fired transitions, 820 secs || 13677629 markings, 15469859 edges, 15403 markings/sec, 820 secs 14 tries, 13851938 fired transitions, 825 secs || 13753770 markings, 15555567 edges, 15228 markings/sec, 825 secs 14 tries, 13935725 fired transitions, 830 secs || 13826593 markings, 15636773 edges, 14565 markings/sec, 830 secs 15 tries, 14019722 fired transitions, 835 secs || 13901110 markings, 15719620 edges, 14903 markings/sec, 835 secs 15 tries, 14103256 fired transitions, 840 secs || 13974378 markings, 15801146 edges, 14654 markings/sec, 840 secs 15 tries, 14187570 fired transitions, 845 secs || 14048145 markings, 15883850 edges, 14753 markings/sec, 845 secs 15 tries, 14271269 fired transitions, 850 secs || 14122160 markings, 15966718 edges, 14803 markings/sec, 850 secs 15 tries, 14353443 fired transitions, 855 secs || 14199206 markings, 16053374 edges, 15409 markings/sec, 855 secs 15 tries, 14437670 fired transitions, 860 secs || 14278155 markings, 16142544 edges, 15790 markings/sec, 860 secs 15 tries, 14520961 fired transitions, 865 secs || 14358405 markings, 16233928 edges, 16050 markings/sec, 865 secs 15 tries, 14606015 fired transitions, 870 secs || 14443231 markings, 16330759 edges, 16965 markings/sec, 870 secs 15 tries, 14689484 fired transitions, 875 secs || 14521750 markings, 16419359 edges, 15704 markings/sec, 875 secs 15 tries, 14777106 fired transitions, 880 secs || 14611342 markings, 16521291 edges, 17918 markings/sec, 880 secs 15 tries, 14862816 fired transitions, 885 secs || 14701746 markings, 16624854 edges, 18081 markings/sec, 885 secs 15 tries, 14944951 fired transitions, 890 secs || 14787321 markings, 16722625 edges, 17115 markings/sec, 890 secs 16 tries, 15028784 fired transitions, 895 secs || 14873404 markings, 16820787 edges, 17217 markings/sec, 895 secs 16 tries, 15109835 fired transitions, 900 secs || 14955410 markings, 16913824 edges, 16401 markings/sec, 900 secs 16 tries, 15190296 fired transitions, 905 secs || 15042600 markings, 17013531 edges, 17438 markings/sec, 905 secs 16 tries, 15270593 fired transitions, 910 secs || 15131333 markings, 17114822 edges, 17747 markings/sec, 910 secs 16 tries, 15353719 fired transitions, 915 secs || 15211568 markings, 17205385 edges, 16047 markings/sec, 915 secs 16 tries, 15435718 fired transitions, 920 secs || 15289640 markings, 17292897 edges, 15614 markings/sec, 920 secs 16 tries, 15517399 fired transitions, 925 secs || 15375865 markings, 17390846 edges, 17245 markings/sec, 925 secs 16 tries, 15599055 fired transitions, 930 secs || 15461604 markings, 17488600 edges, 17148 markings/sec, 930 secs 16 tries, 15680216 fired transitions, 935 secs || 15545823 markings, 17584543 edges, 16844 markings/sec, 935 secs 16 tries, 15762282 fired transitions, 940 secs || 15633057 markings, 17684035 edges, 17447 markings/sec, 940 secs 16 tries, 15842931 fired transitions, 945 secs || 15721466 markings, 17785348 edges, 17682 markings/sec, 945 secs 16 tries, 15923651 fired transitions, 950 secs || 15809038 markings, 17886054 edges, 17514 markings/sec, 950 secs 17 tries, 16006748 fired transitions, 955 secs || 15893232 markings, 17981891 edges, 16839 markings/sec, 955 secs 17 tries, 16088828 fired transitions, 960 secs || 15977035 markings, 18077554 edges, 16761 markings/sec, 960 secs 17 tries, 16169557 fired transitions, 965 secs || 16054851 markings, 18165110 edges, 15563 markings/sec, 965 secs 17 tries, 16250757 fired transitions, 970 secs || 16131491 markings, 18250522 edges, 15328 markings/sec, 970 secs 17 tries, 16332898 fired transitions, 975 secs || 16204576 markings, 18331531 edges, 14617 markings/sec, 975 secs 17 tries, 16414567 fired transitions, 980 secs || 16284963 markings, 18422456 edges, 16077 markings/sec, 980 secs 17 tries, 16497268 fired transitions, 985 secs || 16369899 markings, 18519161 edges, 16987 markings/sec, 985 secs 17 tries, 16586129 fired transitions, 990 secs || 16456076 markings, 18616758 edges, 17235 markings/sec, 990 secs 17 tries, 16674178 fired transitions, 995 secs || 16537560 markings, 18708458 edges, 16297 markings/sec, 995 secs 17 tries, 16758826 fired transitions, 1000 secs || 16613142 markings, 18792985 edges, 15116 markings/sec, 1000 secs 17 tries, 16840452 fired transitions, 1005 secs || 16688082 markings, 18875652 edges, 14988 markings/sec, 1005 secs 17 tries, 16922147 fired transitions, 1010 secs || 16767708 markings, 18964839 edges, 15925 markings/sec, 1010 secs 18 tries, 17009657 fired transitions, 1015 secs || 16845282 markings, 19051266 edges, 15515 markings/sec, 1015 secs 18 tries, 17091067 fired transitions, 1020 secs || 16922091 markings, 19137175 edges, 15362 markings/sec, 1020 secs 18 tries, 17171430 fired transitions, 1025 secs || 17006547 markings, 19233301 edges, 16891 markings/sec, 1025 secs 18 tries, 17251816 fired transitions, 1030 secs || 17083313 markings, 19318308 edges, 15353 markings/sec, 1030 secs 18 tries, 17333370 fired transitions, 1035 secs || 17163310 markings, 19408035 edges, 15999 markings/sec, 1035 secs 18 tries, 17413709 fired transitions, 1040 secs || 17239850 markings, 19492478 edges, 15308 markings/sec, 1040 secs 18 tries, 17494999 fired transitions, 1045 secs || 17316856 markings, 19577770 edges, 15401 markings/sec, 1045 secs 18 tries, 17576046 fired transitions, 1050 secs || 17394684 markings, 19664119 edges, 15566 markings/sec, 1050 secs 18 tries, 17654615 fired transitions, 1055 secs || 17469977 markings, 19747318 edges, 15059 markings/sec, 1055 secs 18 tries, 17733628 fired transitions, 1060 secs || 17544973 markings, 19830762 edges, 14999 markings/sec, 1060 secs 18 tries, 17812380 fired transitions, 1065 secs || 17620003 markings, 19913814 edges, 15006 markings/sec, 1065 secs 18 tries, 17891393 fired transitions, 1070 secs || 17693958 markings, 19996728 edges, 14791 markings/sec, 1070 secs 18 tries, 17969765 fired transitions, 1075 secs || 17763599 markings, 20075887 edges, 13928 markings/sec, 1075 secs 19 tries, 18049371 fired transitions, 1080 secs || 17833492 markings, 20153763 edges, 13979 markings/sec, 1080 secs 19 tries, 18128408 fired transitions, 1085 secs || 17907177 markings, 20236349 edges, 14737 markings/sec, 1085 secs 19 tries, 18208880 fired transitions, 1090 secs || 17975460 markings, 20312425 edges, 13657 markings/sec, 1090 secs 19 tries, 18287900 fired transitions, 1095 secs || 18057164 markings, 20404206 edges, 16341 markings/sec, 1095 secs 19 tries, 18366867 fired transitions, 1100 secs || 18130421 markings, 20485647 edges, 14651 markings/sec, 1100 secs 19 tries, 18447061 fired transitions, 1105 secs || 18204730 markings, 20567761 edges, 14862 markings/sec, 1105 secs 19 tries, 18529414 fired transitions, 1110 secs || 18278135 markings, 20650366 edges, 14681 markings/sec, 1110 secs 19 tries, 18613460 fired transitions, 1115 secs || 18351427 markings, 20732438 edges, 14658 markings/sec, 1115 secs 19 tries, 18696427 fired transitions, 1120 secs || 18430765 markings, 20821357 edges, 15868 markings/sec, 1120 secs 19 tries, 18778276 fired transitions, 1125 secs || 18512643 markings, 20913925 edges, 16376 markings/sec, 1125 secs 19 tries, 18861025 fired transitions, 1130 secs || 18593784 markings, 21006041 edges, 16228 markings/sec, 1130 secs 19 tries, 18942781 fired transitions, 1135 secs || 18674634 markings, 21097572 edges, 16170 markings/sec, 1135 secs 20 tries, 19026362 fired transitions, 1140 secs || 18758566 markings, 21193391 edges, 16786 markings/sec, 1140 secs 20 tries, 19108786 fired transitions, 1145 secs || 18840123 markings, 21285536 edges, 16311 markings/sec, 1145 secs 20 tries, 19191110 fired transitions, 1150 secs || 18918425 markings, 21373178 edges, 15660 markings/sec, 1150 secs 20 tries, 19275637 fired transitions, 1155 secs || 18997292 markings, 21461920 edges, 15773 markings/sec, 1155 secs 20 tries, 19358397 fired transitions, 1160 secs || 19072641 markings, 21546562 edges, 15070 markings/sec, 1160 secs 20 tries, 19443389 fired transitions, 1165 secs || 19151732 markings, 21636171 edges, 15818 markings/sec, 1165 secs 20 tries, 19526570 fired transitions, 1170 secs || 19221921 markings, 21714438 edges, 14038 markings/sec, 1170 secs 20 tries, 19610288 fired transitions, 1175 secs || 19296341 markings, 21797667 edges, 14884 markings/sec, 1175 secs 20 tries, 19693472 fired transitions, 1180 secs || 19371624 markings, 21882581 edges, 15057 markings/sec, 1180 secs 20 tries, 19775102 fired transitions, 1185 secs || 19458030 markings, 21981729 edges, 17281 markings/sec, 1185 secs 20 tries, 19857847 fired transitions, 1190 secs || 19539722 markings, 22074653 edges, 16338 markings/sec, 1190 secs 20 tries, 19941551 fired transitions, 1195 secs || 19609665 markings, 22152183 edges, 13989 markings/sec, 1195 secs 21 tries, 20027478 fired transitions, 1200 secs || 19681025 markings, 22231303 edges, 14272 markings/sec, 1200 secs 21 tries, 20108977 fired transitions, 1205 secs || 19752450 markings, 22310797 edges, 14285 markings/sec, 1205 secs 21 tries, 20187773 fired transitions, 1210 secs || 19821068 markings, 22386602 edges, 13724 markings/sec, 1210 secs 21 tries, 20267681 fired transitions, 1215 secs || 19892425 markings, 22465942 edges, 14271 markings/sec, 1215 secs 21 tries, 20348229 fired transitions, 1220 secs || 19964377 markings, 22545724 edges, 14390 markings/sec, 1220 secs 21 tries, 20429709 fired transitions, 1225 secs || 20037166 markings, 22626634 edges, 14558 markings/sec, 1225 secs 21 tries, 20510533 fired transitions, 1230 secs || 20109823 markings, 22707476 edges, 14531 markings/sec, 1230 secs 21 tries, 20592646 fired transitions, 1235 secs || 20180650 markings, 22785632 edges, 14165 markings/sec, 1235 secs 21 tries, 20676445 fired transitions, 1240 secs || 20252470 markings, 22865229 edges, 14364 markings/sec, 1240 secs 21 tries, 20760624 fired transitions, 1245 secs || 20324819 markings, 22946106 edges, 14470 markings/sec, 1245 secs 21 tries, 20844571 fired transitions, 1250 secs || 20398347 markings, 23028834 edges, 14706 markings/sec, 1250 secs 21 tries, 20927259 fired transitions, 1255 secs || 20471324 markings, 23110170 edges, 14595 markings/sec, 1255 secs 22 tries, 21011349 fired transitions, 1260 secs || 20541202 markings, 23188952 edges, 13976 markings/sec, 1260 secs 22 tries, 21093540 fired transitions, 1265 secs || 20613305 markings, 23271179 edges, 14421 markings/sec, 1265 secs 22 tries, 21175967 fired transitions, 1270 secs || 20686805 markings, 23355173 edges, 14700 markings/sec, 1270 secs 22 tries, 21258779 fired transitions, 1275 secs || 20757869 markings, 23435699 edges, 14213 markings/sec, 1275 secs 22 tries, 21341236 fired transitions, 1280 secs || 20831527 markings, 23519885 edges, 14732 markings/sec, 1280 secs 22 tries, 21423737 fired transitions, 1285 secs || 20899610 markings, 23596244 edges, 13617 markings/sec, 1285 secs 22 tries, 21506835 fired transitions, 1290 secs || 20973036 markings, 23677961 edges, 14685 markings/sec, 1290 secs 22 tries, 21589686 fired transitions, 1295 secs || 21043856 markings, 23756749 edges, 14164 markings/sec, 1295 secs 22 tries, 21671131 fired transitions, 1300 secs || 21112397 markings, 23833138 edges, 13708 markings/sec, 1300 secs 22 tries, 21753161 fired transitions, 1305 secs || 21187984 markings, 23917723 edges, 15117 markings/sec, 1305 secs 22 tries, 21835046 fired transitions, 1310 secs || 21261590 markings, 23999710 edges, 14721 markings/sec, 1310 secs 22 tries, 21917866 fired transitions, 1315 secs || 21337310 markings, 24084168 edges, 15144 markings/sec, 1315 secs 22 tries, 21999685 fired transitions, 1320 secs || 21411956 markings, 24167745 edges, 14929 markings/sec, 1320 secs 23 tries, 22083886 fired transitions, 1325 secs || 21485937 markings, 24250216 edges, 14796 markings/sec, 1325 secs 23 tries, 22166707 fired transitions, 1330 secs || 21563373 markings, 24336918 edges, 15487 markings/sec, 1330 secs 23 tries, 22249544 fired transitions, 1335 secs || 21640777 markings, 24423730 edges, 15481 markings/sec, 1335 secs 23 tries, 22333234 fired transitions, 1340 secs || 21714773 markings, 24506124 edges, 14799 markings/sec, 1340 secs 23 tries, 22417480 fired transitions, 1345 secs || 21784607 markings, 24583657 edges, 13967 markings/sec, 1345 secs 23 tries, 22499485 fired transitions, 1350 secs || 21853202 markings, 24660031 edges, 13719 markings/sec, 1350 secs 23 tries, 22582839 fired transitions, 1355 secs || 21922231 markings, 24736180 edges, 13806 markings/sec, 1355 secs 23 tries, 22664742 fired transitions, 1360 secs || 21991480 markings, 24813170 edges, 13850 markings/sec, 1360 secs 23 tries, 22748552 fired transitions, 1365 secs || 22057008 markings, 24886284 edges, 13106 markings/sec, 1365 secs 23 tries, 22830260 fired transitions, 1370 secs || 22125078 markings, 24962918 edges, 13614 markings/sec, 1370 secs 23 tries, 22914404 fired transitions, 1375 secs || 22197545 markings, 25044244 edges, 14493 markings/sec, 1375 secs 23 tries, 22997365 fired transitions, 1380 secs || 22265552 markings, 25120033 edges, 13601 markings/sec, 1380 secs 24 tries, 23080225 fired transitions, 1385 secs || 22337344 markings, 25199412 edges, 14358 markings/sec, 1385 secs 24 tries, 23163135 fired transitions, 1390 secs || 22408048 markings, 25278055 edges, 14141 markings/sec, 1390 secs 24 tries, 23247029 fired transitions, 1395 secs || 22480658 markings, 25358961 edges, 14522 markings/sec, 1395 secs 24 tries, 23329804 fired transitions, 1400 secs || 22552232 markings, 25438318 edges, 14315 markings/sec, 1400 secs 24 tries, 23412928 fired transitions, 1405 secs || 22624498 markings, 25518358 edges, 14453 markings/sec, 1405 secs 24 tries, 23496436 fired transitions, 1410 secs || 22696650 markings, 25598826 edges, 14430 markings/sec, 1410 secs 24 tries, 23577530 fired transitions, 1415 secs || 22768708 markings, 25679297 edges, 14412 markings/sec, 1415 secs 24 tries, 23659848 fired transitions, 1420 secs || 22844640 markings, 25764881 edges, 15186 markings/sec, 1420 secs 24 tries, 23742024 fired transitions, 1425 secs || 22914462 markings, 25842859 edges, 13964 markings/sec, 1425 secs 24 tries, 23825877 fired transitions, 1430 secs || 23001239 markings, 25942310 edges, 17355 markings/sec, 1430 secs 24 tries, 23909737 fired transitions, 1435 secs || 23078857 markings, 26029441 edges, 15524 markings/sec, 1435 secs 24 tries, 23992385 fired transitions, 1440 secs || 23154597 markings, 26114264 edges, 15148 markings/sec, 1440 secs 25 tries, 24076027 fired transitions, 1445 secs || 23228602 markings, 26196649 edges, 14801 markings/sec, 1445 secs 25 tries, 24157110 fired transitions, 1450 secs || 23299895 markings, 26276190 edges, 14259 markings/sec, 1450 secs 25 tries, 24238667 fired transitions, 1455 secs || 23373376 markings, 26358425 edges, 14696 markings/sec, 1455 secs 25 tries, 24321872 fired transitions, 1460 secs || 23447862 markings, 26442176 edges, 14897 markings/sec, 1460 secs 25 tries, 24403780 fired transitions, 1465 secs || 23526980 markings, 26531829 edges, 15824 markings/sec, 1465 secs 25 tries, 24484522 fired transitions, 1470 secs || 23598670 markings, 26611647 edges, 14338 markings/sec, 1470 secs 25 tries, 24566214 fired transitions, 1475 secs || 23669812 markings, 26691157 edges, 14228 markings/sec, 1475 secs 25 tries, 24647824 fired transitions, 1480 secs || 23737517 markings, 26767094 edges, 13541 markings/sec, 1480 secs 25 tries, 24732157 fired transitions, 1485 secs || 23815610 markings, 26855032 edges, 15619 markings/sec, 1485 secs 25 tries, 24814767 fired transitions, 1490 secs || 23894663 markings, 26945533 edges, 15811 markings/sec, 1490 secs 25 tries, 24897120 fired transitions, 1495 secs || 23973970 markings, 27036516 edges, 15861 markings/sec, 1495 secs 25 tries, 24980456 fired transitions, 1500 secs || 24048574 markings, 27121577 edges, 14921 markings/sec, 1500 secs 26 tries, 25064123 fired transitions, 1505 secs || 24121031 markings, 27203289 edges, 14491 markings/sec, 1505 secs 26 tries, 25147465 fired transitions, 1510 secs || 24197432 markings, 27290448 edges, 15280 markings/sec, 1510 secs 26 tries, 25231435 fired transitions, 1515 secs || 24274046 markings, 27379008 edges, 15323 markings/sec, 1515 secs 26 tries, 25315919 fired transitions, 1520 secs || 24353663 markings, 27470875 edges, 15923 markings/sec, 1520 secs 26 tries, 25399160 fired transitions, 1525 secs || 24430171 markings, 27559114 edges, 15302 markings/sec, 1525 secs 26 tries, 25483518 fired transitions, 1530 secs || 24508759 markings, 27650143 edges, 15718 markings/sec, 1530 secs 26 tries, 25567208 fired transitions, 1535 secs || 24584314 markings, 27737726 edges, 15111 markings/sec, 1535 secs 26 tries, 25650722 fired transitions, 1540 secs || 24661908 markings, 27827052 edges, 15519 markings/sec, 1540 secs 26 tries, 25734094 fired transitions, 1545 secs || 24738110 markings, 27914896 edges, 15240 markings/sec, 1545 secs 26 tries, 25817161 fired transitions, 1550 secs || 24818786 markings, 28008416 edges, 16135 markings/sec, 1550 secs 26 tries, 25900132 fired transitions, 1555 secs || 24903714 markings, 28105962 edges, 16986 markings/sec, 1555 secs 26 tries, 25982934 fired transitions, 1560 secs || 24983801 markings, 28197521 edges, 16017 markings/sec, 1560 secs 27 tries, 26067763 fired transitions, 1565 secs || 25062440 markings, 28286756 edges, 15728 markings/sec, 1565 secs 27 tries, 26151604 fired transitions, 1570 secs || 25133371 markings, 28366183 edges, 14186 markings/sec, 1570 secs 27 tries, 26234255 fired transitions, 1575 secs || 25207656 markings, 28449589 edges, 14857 markings/sec, 1575 secs 27 tries, 26318081 fired transitions, 1580 secs || 25281921 markings, 28533391 edges, 14853 markings/sec, 1580 secs 27 tries, 26400616 fired transitions, 1585 secs || 25355774 markings, 28615877 edges, 14771 markings/sec, 1585 secs 27 tries, 26484358 fired transitions, 1590 secs || 25437289 markings, 28709001 edges, 16303 markings/sec, 1590 secs 27 tries, 26567053 fired transitions, 1595 secs || 25507228 markings, 28787392 edges, 13988 markings/sec, 1595 secs 27 tries, 26650528 fired transitions, 1600 secs || 25584838 markings, 28874923 edges, 15522 markings/sec, 1600 secs 27 tries, 26734680 fired transitions, 1605 secs || 25660529 markings, 28960126 edges, 15138 markings/sec, 1605 secs 27 tries, 26818276 fired transitions, 1610 secs || 25732206 markings, 29040588 edges, 14335 markings/sec, 1610 secs 27 tries, 26903402 fired transitions, 1615 secs || 25806075 markings, 29123776 edges, 14774 markings/sec, 1615 secs 27 tries, 26986386 fired transitions, 1620 secs || 25888778 markings, 29218412 edges, 16541 markings/sec, 1620 secs 28 tries, 27070984 fired transitions, 1625 secs || 25963318 markings, 29301438 edges, 14908 markings/sec, 1625 secs 28 tries, 27153814 fired transitions, 1630 secs || 26043416 markings, 29391868 edges, 16020 markings/sec, 1630 secs 28 tries, 27235303 fired transitions, 1635 secs || 26120775 markings, 29478616 edges, 15472 markings/sec, 1635 secs 28 tries, 27318974 fired transitions, 1640 secs || 26191000 markings, 29557016 edges, 14045 markings/sec, 1640 secs 28 tries, 27402597 fired transitions, 1645 secs || 26262273 markings, 29637517 edges, 14255 markings/sec, 1645 secs 28 tries, 27486510 fired transitions, 1650 secs || 26336898 markings, 29721095 edges, 14925 markings/sec, 1650 secs 28 tries, 27569414 fired transitions, 1655 secs || 26413684 markings, 29808324 edges, 15357 markings/sec, 1655 secs 28 tries, 27651211 fired transitions, 1660 secs || 26483968 markings, 29887184 edges, 14057 markings/sec, 1660 secs 28 tries, 27735583 fired transitions, 1665 secs || 26556775 markings, 29969692 edges, 14561 markings/sec, 1665 secs 28 tries, 27820069 fired transitions, 1670 secs || 26628167 markings, 30050108 edges, 14278 markings/sec, 1670 secs 28 tries, 27902254 fired transitions, 1675 secs || 26704026 markings, 30136345 edges, 15172 markings/sec, 1675 secs 28 tries, 27984852 fired transitions, 1680 secs || 26779645 markings, 30220784 edges, 15124 markings/sec, 1680 secs 29 tries, 28070044 fired transitions, 1685 secs || 26856895 markings, 30307461 edges, 15450 markings/sec, 1685 secs 29 tries, 28153317 fired transitions, 1690 secs || 26935211 markings, 30395691 edges, 15663 markings/sec, 1690 secs 29 tries, 28236546 fired transitions, 1695 secs || 27012473 markings, 30482405 edges, 15452 markings/sec, 1695 secs 29 tries, 28320298 fired transitions, 1700 secs || 27084241 markings, 30562259 edges, 14354 markings/sec, 1700 secs 29 tries, 28403256 fired transitions, 1705 secs || 27159205 markings, 30646283 edges, 14993 markings/sec, 1705 secs 29 tries, 28488084 fired transitions, 1710 secs || 27228715 markings, 30723218 edges, 13902 markings/sec, 1710 secs 29 tries, 28570868 fired transitions, 1715 secs || 27303957 markings, 30807895 edges, 15048 markings/sec, 1715 secs 29 tries, 28654275 fired transitions, 1720 secs || 27376072 markings, 30888478 edges, 14423 markings/sec, 1720 secs 29 tries, 28738073 fired transitions, 1725 secs || 27452174 markings, 30973420 edges, 15220 markings/sec, 1725 secs 29 tries, 28821158 fired transitions, 1730 secs || 27529459 markings, 31060014 edges, 15457 markings/sec, 1730 secs 29 tries, 28904344 fired transitions, 1735 secs || 27611168 markings, 31152809 edges, 16342 markings/sec, 1735 secs 29 tries, 28987947 fired transitions, 1740 secs || 27692758 markings, 31245316 edges, 16318 markings/sec, 1740 secs 30 tries, 29073122 fired transitions, 1745 secs || 27771342 markings, 31333496 edges, 15717 markings/sec, 1745 secs 30 tries, 29156316 fired transitions, 1750 secs || 27851284 markings, 31423653 edges, 15988 markings/sec, 1750 secs 30 tries, 29238709 fired transitions, 1755 secs || 27932475 markings, 31515250 edges, 16238 markings/sec, 1755 secs 30 tries, 29319670 fired transitions, 1760 secs || 28013166 markings, 31606403 edges, 16138 markings/sec, 1760 secs 30 tries, 29403865 fired transitions, 1765 secs || 28096425 markings, 31701119 edges, 16652 markings/sec, 1765 secs 30 tries, 29487848 fired transitions, 1770 secs || 28179376 markings, 31795511 edges, 16590 markings/sec, 1770 secs 30 tries, 29571106 fired transitions, 1775 secs || 28261439 markings, 31888496 edges, 16413 markings/sec, 1775 secs 30 tries, 29654821 fired transitions, 1780 secs || 28346495 markings, 31985564 edges, 17011 markings/sec, 1780 secs 30 tries, 29738403 fired transitions, 1785 secs || 28431874 markings, 32083035 edges, 17076 markings/sec, 1785 secs 30 tries, 29820978 fired transitions, 1790 secs || 28514702 markings, 32177214 edges, 16566 markings/sec, 1790 secs 30 tries, 29902467 fired transitions, 1795 secs || 28597361 markings, 32270944 edges, 16532 markings/sec, 1795 secs 30 tries, 29985521 fired transitions, 1800 secs || 28680442 markings, 32365343 edges, 16616 markings/sec, 1800 secs 31 tries, 30069669 fired transitions, 1805 secs || 28764589 markings, 32461254 edges, 16829 markings/sec, 1805 secs 31 tries, 30152012 fired transitions, 1810 secs || 28847925 markings, 32556029 edges, 16667 markings/sec, 1810 secs 31 tries, 30235610 fired transitions, 1815 secs || 28933547 markings, 32653798 edges, 17124 markings/sec, 1815 secs 31 tries, 30318692 fired transitions, 1820 secs || 29014109 markings, 32745264 edges, 16112 markings/sec, 1820 secs 31 tries, 30400252 fired transitions, 1825 secs || 29086515 markings, 32826327 edges, 14481 markings/sec, 1825 secs 31 tries, 30483652 fired transitions, 1830 secs || 29162138 markings, 32911117 edges, 15125 markings/sec, 1830 secs 31 tries, 30566794 fired transitions, 1835 secs || 29239478 markings, 32999166 edges, 15468 markings/sec, 1835 secs 31 tries, 30649599 fired transitions, 1840 secs || 29314029 markings, 33082690 edges, 14910 markings/sec, 1840 secs 31 tries, 30732630 fired transitions, 1845 secs || 29388339 markings, 33166425 edges, 14862 markings/sec, 1845 secs 31 tries, 30814790 fired transitions, 1850 secs || 29461652 markings, 33249465 edges, 14663 markings/sec, 1850 secs 31 tries, 30898582 fired transitions, 1855 secs || 29536473 markings, 33333623 edges, 14964 markings/sec, 1855 secs 31 tries, 30981666 fired transitions, 1860 secs || 29611140 markings, 33417790 edges, 14933 markings/sec, 1860 secs 32 tries, 31066279 fired transitions, 1865 secs || 29688603 markings, 33506265 edges, 15493 markings/sec, 1865 secs 32 tries, 31149556 fired transitions, 1870 secs || 29762842 markings, 33589832 edges, 14848 markings/sec, 1870 secs 32 tries, 31233489 fired transitions, 1875 secs || 29840861 markings, 33678503 edges, 15604 markings/sec, 1875 secs 32 tries, 31315874 fired transitions, 1880 secs || 29914358 markings, 33761732 edges, 14699 markings/sec, 1880 secs 32 tries, 31397851 fired transitions, 1885 secs || 29995811 markings, 33854822 edges, 16291 markings/sec, 1885 secs 32 tries, 31480840 fired transitions, 1890 secs || 30072497 markings, 33941469 edges, 15337 markings/sec, 1890 secs 32 tries, 31563624 fired transitions, 1895 secs || 30149080 markings, 34027746 edges, 15317 markings/sec, 1895 secs 32 tries, 31645321 fired transitions, 1900 secs || 30226480 markings, 34116119 edges, 15480 markings/sec, 1900 secs 32 tries, 31727746 fired transitions, 1905 secs || 30304739 markings, 34205498 edges, 15652 markings/sec, 1905 secs 32 tries, 31810047 fired transitions, 1910 secs || 30378371 markings, 34288912 edges, 14726 markings/sec, 1910 secs 32 tries, 31892617 fired transitions, 1915 secs || 30453602 markings, 34375440 edges, 15046 markings/sec, 1915 secs 32 tries, 31976007 fired transitions, 1920 secs || 30528661 markings, 34461446 edges, 15012 markings/sec, 1920 secs 33 tries, 32059844 fired transitions, 1925 secs || 30608035 markings, 34552763 edges, 15875 markings/sec, 1925 secs 33 tries, 32142708 fired transitions, 1930 secs || 30680617 markings, 34635325 edges, 14516 markings/sec, 1930 secs 33 tries, 32225103 fired transitions, 1935 secs || 30755854 markings, 34720285 edges, 15047 markings/sec, 1935 secs 33 tries, 32307575 fired transitions, 1940 secs || 30833512 markings, 34808805 edges, 15532 markings/sec, 1940 secs 33 tries, 32390231 fired transitions, 1945 secs || 30912418 markings, 34899774 edges, 15781 markings/sec, 1945 secs 33 tries, 32472974 fired transitions, 1950 secs || 30989212 markings, 34988175 edges, 15359 markings/sec, 1950 secs 33 tries, 32555623 fired transitions, 1955 secs || 31066008 markings, 35076186 edges, 15359 markings/sec, 1955 secs 33 tries, 32638756 fired transitions, 1960 secs || 31136624 markings, 35155816 edges, 14123 markings/sec, 1960 secs 33 tries, 32721162 fired transitions, 1965 secs || 31207635 markings, 35235415 edges, 14202 markings/sec, 1965 secs 33 tries, 32804041 fired transitions, 1970 secs || 31280936 markings, 35317128 edges, 14660 markings/sec, 1970 secs 33 tries, 32888342 fired transitions, 1975 secs || 31373282 markings, 35423639 edges, 18469 markings/sec, 1975 secs 33 tries, 32971137 fired transitions, 1980 secs || 31458800 markings, 35522154 edges, 17104 markings/sec, 1980 secs 34 tries, 33056254 fired transitions, 1985 secs || 31538528 markings, 35612964 edges, 15946 markings/sec, 1985 secs 34 tries, 33137873 fired transitions, 1990 secs || 31609890 markings, 35692039 edges, 14272 markings/sec, 1990 secs 34 tries, 33221310 fired transitions, 1995 secs || 31684087 markings, 35774716 edges, 14839 markings/sec, 1995 secs 34 tries, 33303246 fired transitions, 2000 secs || 31756820 markings, 35856247 edges, 14547 markings/sec, 2000 secs 34 tries, 33386540 fired transitions, 2005 secs || 31838879 markings, 35949688 edges, 16412 markings/sec, 2005 secs 34 tries, 33469792 fired transitions, 2010 secs || 31910336 markings, 36030051 edges, 14291 markings/sec, 2010 secs 34 tries, 33552677 fired transitions, 2015 secs || 31987187 markings, 36117544 edges, 15370 markings/sec, 2015 secs 34 tries, 33635090 fired transitions, 2020 secs || 32074871 markings, 36218492 edges, 17537 markings/sec, 2020 secs 34 tries, 33718087 fired transitions, 2025 secs || 32157636 markings, 36313018 edges, 16553 markings/sec, 2025 secs 34 tries, 33800385 fired transitions, 2030 secs || 32231533 markings, 36397806 edges, 14779 markings/sec, 2030 secs 34 tries, 33882303 fired transitions, 2035 secs || 32305107 markings, 36482124 edges, 14715 markings/sec, 2035 secs 34 tries, 33963864 fired transitions, 2040 secs || 32379656 markings, 36567750 edges, 14910 markings/sec, 2040 secs 35 tries, 34046886 fired transitions, 2045 secs || 32467084 markings, 36668117 edges, 17486 markings/sec, 2045 secs 35 tries, 34127814 fired transitions, 2050 secs || 32548478 markings, 36760919 edges, 16279 markings/sec, 2050 secs 35 tries, 34208353 fired transitions, 2055 secs || 32622962 markings, 36845567 edges, 14897 markings/sec, 2055 secs 35 tries, 34291014 fired transitions, 2060 secs || 32694910 markings, 36927004 edges, 14390 markings/sec, 2060 secs 35 tries, 34371834 fired transitions, 2065 secs || 32765493 markings, 37006465 edges, 14117 markings/sec, 2065 secs 35 tries, 34454152 fired transitions, 2070 secs || 32839502 markings, 37089165 edges, 14802 markings/sec, 2070 secs 35 tries, 34537066 fired transitions, 2075 secs || 32914600 markings, 37173204 edges, 15020 markings/sec, 2075 secs 35 tries, 34620126 fired transitions, 2080 secs || 32986011 markings, 37253212 edges, 14282 markings/sec, 2080 secs 35 tries, 34703338 fired transitions, 2085 secs || 33060186 markings, 37336092 edges, 14835 markings/sec, 2085 secs 35 tries, 34785976 fired transitions, 2090 secs || 33130470 markings, 37414912 edges, 14057 markings/sec, 2090 secs 35 tries, 34868433 fired transitions, 2095 secs || 33205254 markings, 37498882 edges, 14957 markings/sec, 2095 secs 35 tries, 34950861 fired transitions, 2100 secs || 33275800 markings, 37577568 edges, 14109 markings/sec, 2100 secs 36 tries, 35034197 fired transitions, 2105 secs || 33352215 markings, 37664146 edges, 15283 markings/sec, 2105 secs 36 tries, 35117030 fired transitions, 2110 secs || 33425970 markings, 37747649 edges, 14751 markings/sec, 2110 secs 36 tries, 35199767 fired transitions, 2115 secs || 33500827 markings, 37832254 edges, 14971 markings/sec, 2115 secs 36 tries, 35282521 fired transitions, 2120 secs || 33575428 markings, 37916867 edges, 14920 markings/sec, 2120 secs 36 tries, 35365104 fired transitions, 2125 secs || 33651734 markings, 38002826 edges, 15261 markings/sec, 2125 secs 36 tries, 35447416 fired transitions, 2130 secs || 33723846 markings, 38084178 edges, 14422 markings/sec, 2130 secs 36 tries, 35529545 fired transitions, 2135 secs || 33791057 markings, 38158712 edges, 13442 markings/sec, 2135 secs 36 tries, 35612341 fired transitions, 2140 secs || 33867414 markings, 38244604 edges, 15271 markings/sec, 2140 secs 36 tries, 35694490 fired transitions, 2145 secs || 33942685 markings, 38329582 edges, 15054 markings/sec, 2145 secs 36 tries, 35777180 fired transitions, 2150 secs || 34017007 markings, 38412856 edges, 14864 markings/sec, 2150 secs 36 tries, 35858885 fired transitions, 2155 secs || 34098738 markings, 38507275 edges, 16346 markings/sec, 2155 secs 36 tries, 35940708 fired transitions, 2160 secs || 34178639 markings, 38599536 edges, 15980 markings/sec, 2160 secs 37 tries, 36024604 fired transitions, 2165 secs || 34258977 markings, 38692647 edges, 16068 markings/sec, 2165 secs 37 tries, 36107232 fired transitions, 2170 secs || 34339059 markings, 38785879 edges, 16016 markings/sec, 2170 secs 37 tries, 36189734 fired transitions, 2175 secs || 34418302 markings, 38877176 edges, 15849 markings/sec, 2175 secs 37 tries, 36272879 fired transitions, 2180 secs || 34496688 markings, 38967556 edges, 15677 markings/sec, 2180 secs 37 tries, 36356116 fired transitions, 2185 secs || 34575955 markings, 39058415 edges, 15853 markings/sec, 2185 secs 37 tries, 36438219 fired transitions, 2190 secs || 34657768 markings, 39153722 edges, 16363 markings/sec, 2190 secs 37 tries, 36520887 fired transitions, 2195 secs || 34738738 markings, 39247523 edges, 16194 markings/sec, 2195 secs 37 tries, 36603500 fired transitions, 2200 secs || 34823966 markings, 39347303 edges, 17046 markings/sec, 2200 secs 37 tries, 36684510 fired transitions, 2205 secs || 34897020 markings, 39430574 edges, 14611 markings/sec, 2205 secs 37 tries, 36766746 fired transitions, 2210 secs || 34972740 markings, 39517589 edges, 15144 markings/sec, 2210 secs 37 tries, 36847955 fired transitions, 2215 secs || 35047107 markings, 39602429 edges, 14873 markings/sec, 2215 secs 37 tries, 36930549 fired transitions, 2220 secs || 35133174 markings, 39701566 edges, 17213 markings/sec, 2220 secs 38 tries, 37013964 fired transitions, 2225 secs || 35213536 markings, 39794080 edges, 16072 markings/sec, 2225 secs 38 tries, 37095574 fired transitions, 2230 secs || 35295308 markings, 39888006 edges, 16354 markings/sec, 2230 secs 38 tries, 37179142 fired transitions, 2235 secs || 35383240 markings, 39989446 edges, 17586 markings/sec, 2235 secs 38 tries, 37262244 fired transitions, 2240 secs || 35457743 markings, 40073500 edges, 14901 markings/sec, 2240 secs 38 tries, 37343653 fired transitions, 2245 secs || 35534226 markings, 40159585 edges, 15297 markings/sec, 2245 secs 38 tries, 37426883 fired transitions, 2250 secs || 35607895 markings, 40242138 edges, 14734 markings/sec, 2250 secs 38 tries, 37509998 fired transitions, 2255 secs || 35680926 markings, 40323830 edges, 14606 markings/sec, 2255 secs 38 tries, 37593337 fired transitions, 2260 secs || 35749595 markings, 40401052 edges, 13734 markings/sec, 2260 secs 38 tries, 37678069 fired transitions, 2265 secs || 35816623 markings, 40476265 edges, 13406 markings/sec, 2265 secs 38 tries, 37762114 fired transitions, 2270 secs || 35887315 markings, 40555123 edges, 14138 markings/sec, 2270 secs 38 tries, 37845353 fired transitions, 2275 secs || 35954646 markings, 40630198 edges, 13466 markings/sec, 2275 secs 38 tries, 37927729 fired transitions, 2280 secs || 36023479 markings, 40707213 edges, 13767 markings/sec, 2280 secs 39 tries, 38011060 fired transitions, 2285 secs || 36097781 markings, 40790645 edges, 14860 markings/sec, 2285 secs 39 tries, 38093337 fired transitions, 2290 secs || 36165268 markings, 40866600 edges, 13497 markings/sec, 2290 secs 39 tries, 38175375 fired transitions, 2295 secs || 36237942 markings, 40948926 edges, 14535 markings/sec, 2295 secs 39 tries, 38258945 fired transitions, 2300 secs || 36327802 markings, 41052620 edges, 17972 markings/sec, 2300 secs 39 tries, 38343447 fired transitions, 2305 secs || 36420966 markings, 41160978 edges, 18633 markings/sec, 2305 secs 39 tries, 38428465 fired transitions, 2310 secs || 36512395 markings, 41267010 edges, 18286 markings/sec, 2310 secs 39 tries, 38512043 fired transitions, 2315 secs || 36600696 markings, 41368816 edges, 17660 markings/sec, 2315 secs 39 tries, 38592906 fired transitions, 2320 secs || 36671945 markings, 41448682 edges, 14250 markings/sec, 2320 secs 39 tries, 38675389 fired transitions, 2325 secs || 36749178 markings, 41535418 edges, 15447 markings/sec, 2325 secs 39 tries, 38761006 fired transitions, 2330 secs || 36823889 markings, 41619013 edges, 14942 markings/sec, 2330 secs 39 tries, 38845954 fired transitions, 2335 secs || 36902319 markings, 41707757 edges, 15686 markings/sec, 2335 secs 39 tries, 38930070 fired transitions, 2340 secs || 36980337 markings, 41796085 edges, 15604 markings/sec, 2340 secs 40 tries, 39014548 fired transitions, 2345 secs || 37057405 markings, 41882623 edges, 15414 markings/sec, 2345 secs 40 tries, 39098363 fired transitions, 2350 secs || 37132340 markings, 41966813 edges, 14987 markings/sec, 2350 secs 40 tries, 39181326 fired transitions, 2355 secs || 37211230 markings, 42055715 edges, 15778 markings/sec, 2355 secs 40 tries, 39266355 fired transitions, 2360 secs || 37285128 markings, 42138419 edges, 14780 markings/sec, 2360 secs 40 tries, 39350777 fired transitions, 2365 secs || 37361747 markings, 42225705 edges, 15324 markings/sec, 2365 secs 40 tries, 39434000 fired transitions, 2370 secs || 37437468 markings, 42311089 edges, 15144 markings/sec, 2370 secs 40 tries, 39517577 fired transitions, 2375 secs || 37511277 markings, 42393145 edges, 14762 markings/sec, 2375 secs 40 tries, 39600803 fired transitions, 2380 secs || 37584974 markings, 42476281 edges, 14739 markings/sec, 2380 secs 40 tries, 39683286 fired transitions, 2385 secs || 37656912 markings, 42556936 edges, 14388 markings/sec, 2385 secs 40 tries, 39764988 fired transitions, 2390 secs || 37727406 markings, 42636071 edges, 14099 markings/sec, 2390 secs 40 tries, 39848778 fired transitions, 2395 secs || 37801203 markings, 42718389 edges, 14759 markings/sec, 2395 secs 40 tries, 39931881 fired transitions, 2400 secs || 37871707 markings, 42796675 edges, 14101 markings/sec, 2400 secs 41 tries, 40017352 fired transitions, 2405 secs || 37946111 markings, 42879665 edges, 14881 markings/sec, 2405 secs 41 tries, 40100095 fired transitions, 2410 secs || 38020873 markings, 42963187 edges, 14952 markings/sec, 2410 secs 41 tries, 40184378 fired transitions, 2415 secs || 38099379 markings, 43052101 edges, 15701 markings/sec, 2415 secs 41 tries, 40268584 fired transitions, 2420 secs || 38176291 markings, 43138287 edges, 15382 markings/sec, 2420 secs 41 tries, 40353463 fired transitions, 2425 secs || 38253708 markings, 43225674 edges, 15483 markings/sec, 2425 secs 41 tries, 40436873 fired transitions, 2430 secs || 38329592 markings, 43311412 edges, 15177 markings/sec, 2430 secs 41 tries, 40522215 fired transitions, 2435 secs || 38404673 markings, 43395875 edges, 15016 markings/sec, 2435 secs 41 tries, 40607490 fired transitions, 2440 secs || 38481847 markings, 43483011 edges, 15435 markings/sec, 2440 secs 41 tries, 40692275 fired transitions, 2445 secs || 38554784 markings, 43565105 edges, 14587 markings/sec, 2445 secs 41 tries, 40775697 fired transitions, 2450 secs || 38632035 markings, 43651310 edges, 15450 markings/sec, 2450 secs 41 tries, 40859559 fired transitions, 2455 secs || 38700520 markings, 43727251 edges, 13697 markings/sec, 2455 secs 41 tries, 40942159 fired transitions, 2460 secs || 38771308 markings, 43806617 edges, 14158 markings/sec, 2460 secs 42 tries, 41026264 fired transitions, 2465 secs || 38840980 markings, 43884437 edges, 13934 markings/sec, 2465 secs 42 tries, 41109816 fired transitions, 2470 secs || 38912893 markings, 43965708 edges, 14383 markings/sec, 2470 secs 42 tries, 41192750 fired transitions, 2475 secs || 38985072 markings, 44046511 edges, 14436 markings/sec, 2475 secs 42 tries, 41277327 fired transitions, 2480 secs || 39061042 markings, 44132640 edges, 15194 markings/sec, 2480 secs 42 tries, 41361184 fired transitions, 2485 secs || 39135232 markings, 44216002 edges, 14838 markings/sec, 2485 secs 42 tries, 41445337 fired transitions, 2490 secs || 39209299 markings, 44298416 edges, 14813 markings/sec, 2490 secs 42 tries, 41529944 fired transitions, 2495 secs || 39282302 markings, 44380650 edges, 14601 markings/sec, 2495 secs 42 tries, 41614159 fired transitions, 2500 secs || 39358426 markings, 44465842 edges, 15225 markings/sec, 2500 secs 42 tries, 41698446 fired transitions, 2505 secs || 39433713 markings, 44551362 edges, 15057 markings/sec, 2505 secs 42 tries, 41782425 fired transitions, 2510 secs || 39507087 markings, 44633851 edges, 14675 markings/sec, 2510 secs 42 tries, 41866719 fired transitions, 2515 secs || 39581691 markings, 44718594 edges, 14921 markings/sec, 2515 secs 42 tries, 41951471 fired transitions, 2520 secs || 39657948 markings, 44806085 edges, 15251 markings/sec, 2520 secs 43 tries, 42037928 fired transitions, 2525 secs || 39732468 markings, 44892400 edges, 14904 markings/sec, 2525 secs 43 tries, 42123027 fired transitions, 2530 secs || 39808123 markings, 44979881 edges, 15131 markings/sec, 2530 secs 43 tries, 42207568 fired transitions, 2535 secs || 39883458 markings, 45067409 edges, 15067 markings/sec, 2535 secs 43 tries, 42292426 fired transitions, 2540 secs || 39955985 markings, 45150480 edges, 14505 markings/sec, 2540 secs 43 tries, 42375243 fired transitions, 2545 secs || 40029730 markings, 45234051 edges, 14749 markings/sec, 2545 secs 43 tries, 42457831 fired transitions, 2550 secs || 40102707 markings, 45316373 edges, 14595 markings/sec, 2550 secs 43 tries, 42541810 fired transitions, 2555 secs || 40176079 markings, 45398982 edges, 14674 markings/sec, 2555 secs 43 tries, 42624862 fired transitions, 2560 secs || 40252686 markings, 45485016 edges, 15321 markings/sec, 2560 secs 43 tries, 42708195 fired transitions, 2565 secs || 40332828 markings, 45576301 edges, 16028 markings/sec, 2565 secs 43 tries, 42793054 fired transitions, 2570 secs || 40408019 markings, 45661013 edges, 15038 markings/sec, 2570 secs 43 tries, 42877479 fired transitions, 2575 secs || 40484847 markings, 45747149 edges, 15366 markings/sec, 2575 secs 43 tries, 42962378 fired transitions, 2580 secs || 40558415 markings, 45829842 edges, 14714 markings/sec, 2580 secs 44 tries, 43047087 fired transitions, 2585 secs || 40634393 markings, 45915660 edges, 15196 markings/sec, 2585 secs 44 tries, 43131764 fired transitions, 2590 secs || 40708990 markings, 45999908 edges, 14919 markings/sec, 2590 secs 44 tries, 43214803 fired transitions, 2595 secs || 40782924 markings, 46082064 edges, 14787 markings/sec, 2595 secs 44 tries, 43298971 fired transitions, 2600 secs || 40858951 markings, 46167625 edges, 15205 markings/sec, 2600 secs 44 tries, 43382515 fired transitions, 2605 secs || 40935276 markings, 46253343 edges, 15265 markings/sec, 2605 secs 44 tries, 43465562 fired transitions, 2610 secs || 41009957 markings, 46337466 edges, 14936 markings/sec, 2610 secs 44 tries, 43549837 fired transitions, 2615 secs || 41084108 markings, 46420797 edges, 14830 markings/sec, 2615 secs 44 tries, 43633867 fired transitions, 2620 secs || 41159800 markings, 46505839 edges, 15138 markings/sec, 2620 secs 44 tries, 43717989 fired transitions, 2625 secs || 41235336 markings, 46590331 edges, 15107 markings/sec, 2625 secs 44 tries, 43802386 fired transitions, 2630 secs || 41310489 markings, 46674735 edges, 15031 markings/sec, 2630 secs 44 tries, 43886091 fired transitions, 2635 secs || 41388561 markings, 46762529 edges, 15614 markings/sec, 2635 secs 44 tries, 43970387 fired transitions, 2640 secs || 41465269 markings, 46851047 edges, 15342 markings/sec, 2640 secs 45 tries, 44056838 fired transitions, 2645 secs || 41545618 markings, 46945070 edges, 16070 markings/sec, 2645 secs 45 tries, 44142052 fired transitions, 2650 secs || 41624471 markings, 47037119 edges, 15771 markings/sec, 2650 secs 45 tries, 44227774 fired transitions, 2655 secs || 41699855 markings, 47125092 edges, 15077 markings/sec, 2655 secs 45 tries, 44312990 fired transitions, 2660 secs || 41777583 markings, 47215445 edges, 15546 markings/sec, 2660 secs 45 tries, 44397146 fired transitions, 2665 secs || 41856464 markings, 47307293 edges, 15776 markings/sec, 2665 secs 45 tries, 44480774 fired transitions, 2670 secs || 41931176 markings, 47390995 edges, 14942 markings/sec, 2670 secs 45 tries, 44566416 fired transitions, 2675 secs || 42007248 markings, 47476552 edges, 15214 markings/sec, 2675 secs 45 tries, 44651374 fired transitions, 2680 secs || 42084142 markings, 47563572 edges, 15379 markings/sec, 2680 secs 45 tries, 44736047 fired transitions, 2685 secs || 42155926 markings, 47644344 edges, 14357 markings/sec, 2685 secs 45 tries, 44822355 fired transitions, 2690 secs || 42228593 markings, 47726395 edges, 14533 markings/sec, 2690 secs 45 tries, 44908027 fired transitions, 2695 secs || 42301865 markings, 47808958 edges, 14654 markings/sec, 2695 secs 45 tries, 44992401 fired transitions, 2700 secs || 42376902 markings, 47893605 edges, 15007 markings/sec, 2700 secs 46 tries, 45079228 fired transitions, 2705 secs || 42452180 markings, 47978997 edges, 15056 markings/sec, 2705 secs 46 tries, 45164336 fired transitions, 2710 secs || 42527294 markings, 48063851 edges, 15023 markings/sec, 2710 secs 46 tries, 45249358 fired transitions, 2715 secs || 42601821 markings, 48148164 edges, 14905 markings/sec, 2715 secs 46 tries, 45333137 fired transitions, 2720 secs || 42675526 markings, 48230963 edges, 14741 markings/sec, 2720 secs 46 tries, 45418873 fired transitions, 2725 secs || 42747120 markings, 48310513 edges, 14319 markings/sec, 2725 secs 46 tries, 45505085 fired transitions, 2730 secs || 42826044 markings, 48399605 edges, 15785 markings/sec, 2730 secs 46 tries, 45589505 fired transitions, 2735 secs || 42898883 markings, 48480527 edges, 14568 markings/sec, 2735 secs 46 tries, 45674535 fired transitions, 2740 secs || 42971194 markings, 48562979 edges, 14462 markings/sec, 2740 secs 46 tries, 45759933 fired transitions, 2745 secs || 43043734 markings, 48645157 edges, 14508 markings/sec, 2745 secs 46 tries, 45843811 fired transitions, 2750 secs || 43115399 markings, 48727072 edges, 14333 markings/sec, 2750 secs 46 tries, 45928949 fired transitions, 2755 secs || 43188453 markings, 48810966 edges, 14611 markings/sec, 2755 secs 47 tries, 46015391 fired transitions, 2760 secs || 43261066 markings, 48893753 edges, 14523 markings/sec, 2760 secs 47 tries, 46100186 fired transitions, 2765 secs || 43333883 markings, 48975521 edges, 14563 markings/sec, 2765 secs 47 tries, 46185134 fired transitions, 2770 secs || 43408403 markings, 49059205 edges, 14904 markings/sec, 2770 secs 47 tries, 46269360 fired transitions, 2775 secs || 43482819 markings, 49142959 edges, 14883 markings/sec, 2775 secs 47 tries, 46353074 fired transitions, 2780 secs || 43553024 markings, 49221907 edges, 14041 markings/sec, 2780 secs 47 tries, 46436739 fired transitions, 2785 secs || 43625287 markings, 49302564 edges, 14453 markings/sec, 2785 secs 47 tries, 46518791 fired transitions, 2790 secs || 43699200 markings, 49385668 edges, 14783 markings/sec, 2790 secs 47 tries, 46603775 fired transitions, 2795 secs || 43774288 markings, 49470217 edges, 15018 markings/sec, 2795 secs 47 tries, 46688055 fired transitions, 2800 secs || 43846966 markings, 49551252 edges, 14536 markings/sec, 2800 secs 47 tries, 46773784 fired transitions, 2805 secs || 43922256 markings, 49635711 edges, 15058 markings/sec, 2805 secs 47 tries, 46858630 fired transitions, 2810 secs || 43997821 markings, 49722945 edges, 15113 markings/sec, 2810 secs 47 tries, 46944396 fired transitions, 2815 secs || 44078177 markings, 49816326 edges, 16071 markings/sec, 2815 secs 48 tries, 47029861 fired transitions, 2820 secs || 44154134 markings, 49904333 edges, 15191 markings/sec, 2820 secs 48 tries, 47113524 fired transitions, 2825 secs || 44228137 markings, 49987132 edges, 14801 markings/sec, 2825 secs 48 tries, 47198331 fired transitions, 2830 secs || 44300969 markings, 50069402 edges, 14566 markings/sec, 2830 secs 48 tries, 47282960 fired transitions, 2835 secs || 44374694 markings, 50152957 edges, 14745 markings/sec, 2835 secs 48 tries, 47365818 fired transitions, 2840 secs || 44449253 markings, 50236948 edges, 14912 markings/sec, 2840 secs 48 tries, 47450207 fired transitions, 2845 secs || 44525255 markings, 50323177 edges, 15200 markings/sec, 2845 secs 48 tries, 47536113 fired transitions, 2850 secs || 44606958 markings, 50415297 edges, 16341 markings/sec, 2850 secs 48 tries, 47620404 fired transitions, 2855 secs || 44686048 markings, 50504062 edges, 15818 markings/sec, 2855 secs 48 tries, 47704344 fired transitions, 2860 secs || 44761908 markings, 50588775 edges, 15172 markings/sec, 2860 secs 48 tries, 47788609 fired transitions, 2865 secs || 44836608 markings, 50672160 edges, 14940 markings/sec, 2865 secs 48 tries, 47872900 fired transitions, 2870 secs || 44912795 markings, 50757747 edges, 15237 markings/sec, 2870 secs 48 tries, 47957043 fired transitions, 2875 secs || 44988065 markings, 50841066 edges, 15054 markings/sec, 2875 secs 49 tries, 48043245 fired transitions, 2880 secs || 45066946 markings, 50929919 edges, 15776 markings/sec, 2880 secs 49 tries, 48127993 fired transitions, 2885 secs || 45143926 markings, 51016466 edges, 15396 markings/sec, 2885 secs 49 tries, 48213022 fired transitions, 2890 secs || 45219753 markings, 51101748 edges, 15165 markings/sec, 2890 secs 49 tries, 48298606 fired transitions, 2895 secs || 45294580 markings, 51186149 edges, 14965 markings/sec, 2895 secs 49 tries, 48381003 fired transitions, 2900 secs || 45375824 markings, 51280196 edges, 16249 markings/sec, 2900 secs 49 tries, 48464869 fired transitions, 2905 secs || 45451765 markings, 51368071 edges, 15188 markings/sec, 2905 secs 49 tries, 48550004 fired transitions, 2910 secs || 45529201 markings, 51458171 edges, 15487 markings/sec, 2910 secs 49 tries, 48633578 fired transitions, 2915 secs || 45607629 markings, 51550267 edges, 15686 markings/sec, 2915 secs 49 tries, 48716728 fired transitions, 2920 secs || 45684895 markings, 51640113 edges, 15453 markings/sec, 2920 secs 49 tries, 48800529 fired transitions, 2925 secs || 45765282 markings, 51733578 edges, 16077 markings/sec, 2925 secs 49 tries, 48884327 fired transitions, 2930 secs || 45842853 markings, 51820938 edges, 15514 markings/sec, 2930 secs 49 tries, 48968293 fired transitions, 2935 secs || 45920708 markings, 51909033 edges, 15571 markings/sec, 2935 secs 50 tries, 49052568 fired transitions, 2940 secs || 45997249 markings, 51995142 edges, 15308 markings/sec, 2940 secs 50 tries, 49136365 fired transitions, 2945 secs || 46072028 markings, 52079379 edges, 14956 markings/sec, 2945 secs 50 tries, 49220453 fired transitions, 2950 secs || 46149278 markings, 52166240 edges, 15450 markings/sec, 2950 secs 50 tries, 49303696 fired transitions, 2955 secs || 46224380 markings, 52251591 edges, 15020 markings/sec, 2955 secs 50 tries, 49388098 fired transitions, 2960 secs || 46298195 markings, 52335199 edges, 14763 markings/sec, 2960 secs 50 tries, 49471489 fired transitions, 2965 secs || 46374798 markings, 52423287 edges, 15321 markings/sec, 2965 secs 50 tries, 49555850 fired transitions, 2970 secs || 46448344 markings, 52506867 edges, 14709 markings/sec, 2970 secs 50 tries, 49640282 fired transitions, 2975 secs || 46523753 markings, 52591777 edges, 15082 markings/sec, 2975 secs 50 tries, 49724888 fired transitions, 2980 secs || 46603246 markings, 52681580 edges, 15899 markings/sec, 2980 secs 50 tries, 49810111 fired transitions, 2985 secs || 46680103 markings, 52768033 edges, 15371 markings/sec, 2985 secs 50 tries, 49893105 fired transitions, 2990 secs || 46754015 markings, 52850435 edges, 14782 markings/sec, 2990 secs 50 tries, 49977703 fired transitions, 2995 secs || 46830236 markings, 52935649 edges, 15244 markings/sec, 2995 secs 51 tries, 50062898 fired transitions, 3000 secs || 46904395 markings, 53019241 edges, 14832 markings/sec, 3000 secs 51 tries, 50147725 fired transitions, 3005 secs || 46980487 markings, 53104888 edges, 15218 markings/sec, 3005 secs 51 tries, 50233371 fired transitions, 3010 secs || 47057228 markings, 53191878 edges, 15348 markings/sec, 3010 secs 51 tries, 50317997 fired transitions, 3015 secs || 47133424 markings, 53277149 edges, 15239 markings/sec, 3015 secs 51 tries, 50402598 fired transitions, 3020 secs || 47209530 markings, 53363004 edges, 15221 markings/sec, 3020 secs 51 tries, 50486690 fired transitions, 3025 secs || 47283571 markings, 53445562 edges, 14808 markings/sec, 3025 secs 51 tries, 50571268 fired transitions, 3030 secs || 47360131 markings, 53532042 edges, 15312 markings/sec, 3030 secs 51 tries, 50655474 fired transitions, 3035 secs || 47439844 markings, 53622290 edges, 15943 markings/sec, 3035 secs 51 tries, 50740540 fired transitions, 3040 secs || 47516318 markings, 53708118 edges, 15295 markings/sec, 3040 secs 51 tries, 50825495 fired transitions, 3045 secs || 47592997 markings, 53794634 edges, 15336 markings/sec, 3045 secs 51 tries, 50909131 fired transitions, 3050 secs || 47669919 markings, 53882052 edges, 15384 markings/sec, 3050 secs 51 tries, 50988276 fired transitions, 3055 secs || 47743420 markings, 53965137 edges, 14700 markings/sec, 3055 secs 52 tries, 51073255 fired transitions, 3060 secs || 47818716 markings, 54049251 edges, 15059 markings/sec, 3060 secs 52 tries, 51159443 fired transitions, 3065 secs || 47893401 markings, 54132900 edges, 14937 markings/sec, 3065 secs 52 tries, 51244202 fired transitions, 3070 secs || 47968313 markings, 54217224 edges, 14982 markings/sec, 3070 secs 52 tries, 51328847 fired transitions, 3075 secs || 48041952 markings, 54300787 edges, 14728 markings/sec, 3075 secs 52 tries, 51412445 fired transitions, 3080 secs || 48115513 markings, 54383875 edges, 14712 markings/sec, 3080 secs 52 tries, 51496400 fired transitions, 3085 secs || 48193183 markings, 54472180 edges, 15534 markings/sec, 3085 secs 52 tries, 51579102 fired transitions, 3090 secs || 48268619 markings, 54557933 edges, 15087 markings/sec, 3090 secs 52 tries, 51662323 fired transitions, 3095 secs || 48345507 markings, 54644561 edges, 15378 markings/sec, 3095 secs 52 tries, 51748052 fired transitions, 3100 secs || 48419592 markings, 54727477 edges, 14817 markings/sec, 3100 secs 52 tries, 51830252 fired transitions, 3105 secs || 48490595 markings, 54807210 edges, 14201 markings/sec, 3105 secs 52 tries, 51907201 fired transitions, 3110 secs || 48543051 markings, 54866544 edges, 10491 markings/sec, 3110 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="irma4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool irma4mcc-full"
echo " Input is DLCround-PT-13b, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-smll-152649737200153"
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 ;