MCC'2018 - Execution of r067-smll-152649739700153

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.240	2935776.00	5830828.00	9998.60	?	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to
........................
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool
Input is DLCround-PT-13b,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
========================

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME DLCround-PT

=== Now, execution

BK_START 1526651050375

BK_STOP 1526653986151

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

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

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 ||
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 =================================================================== irma4mcc-structural examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r067-smll-152649739700153 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -13b-ReachabilityDeadlock-0 of the tool begins in /usr/share/mcc4mcc/75f5f979-known.json. information in /usr/share/mcc4mcc/75f5f979-learned.json. in /usr/share/mcc4mcc/75f5f979-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. or tool decision-tree. are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}. [{'Time': 2482596, 'Memory': 15949.08, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-13b... prepare stdout ----- prepare stderr ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stdout ----- result stderr ----- @ 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, 79155 fired transitions, 0 secs || 68443 markings, 76448 edges, 13689 markings/sec, 0 secs 1 tries, 158153 fired transitions, 5 secs || 137251 markings, 153529 edges, 13762 markings/sec, 5 secs 1 tries, 236549 fired transitions, 10 secs || 210929 markings, 236724 edges, 14736 markings/sec, 10 secs 1 tries, 317730 fired transitions, 15 secs || 284988 markings, 318957 edges, 14812 markings/sec, 15 secs 1 tries, 398102 fired transitions, 20 secs || 354595 markings, 396489 edges, 13921 markings/sec, 20 secs 1 tries, 481634 fired transitions, 25 secs || 444461 markings, 499244 edges, 17973 markings/sec, 25 secs 1 tries, 561970 fired transitions, 30 secs || 515234 markings, 578318 edges, 14155 markings/sec, 30 secs 1 tries, 642557 fired transitions, 35 secs || 589477 markings, 661428 edges, 14849 markings/sec, 35 secs 1 tries, 724046 fired transitions, 40 secs || 655937 markings, 734987 edges, 13292 markings/sec, 40 secs 1 tries, 804647 fired transitions, 45 secs || 730238 markings, 818554 edges, 14860 markings/sec, 45 secs 1 tries, 883004 fired transitions, 50 secs || 793886 markings, 888792 edges, 12730 markings/sec, 50 secs 1 tries, 965377 fired transitions, 55 secs || 874315 markings, 979348 edges, 16086 markings/sec, 55 secs 2 tries, 1051592 fired transitions, 60 secs || 943535 markings, 1055981 edges, 13844 markings/sec, 60 secs 2 tries, 1129535 fired transitions, 65 secs || 1010194 markings, 1130557 edges, 13332 markings/sec, 65 secs 2 tries, 1208807 fired transitions, 70 secs || 1075330 markings, 1202714 edges, 13027 markings/sec, 70 secs 2 tries, 1288213 fired transitions, 75 secs || 1146590 markings, 1282309 edges, 14252 markings/sec, 75 secs 2 tries, 1366397 fired transitions, 80 secs || 1210640 markings, 1352922 edges, 12810 markings/sec, 80 secs 2 tries, 1447241 fired transitions, 85 secs || 1278143 markings, 1427465 edges, 13501 markings/sec, 85 secs 2 tries, 1530334 fired transitions, 90 secs || 1351502 markings, 1509653 edges, 14672 markings/sec, 90 secs 2 tries, 1609411 fired transitions, 95 secs || 1425492 markings, 1592540 edges, 14798 markings/sec, 95 secs 2 tries, 1688627 fired transitions, 100 secs || 1501030 markings, 1677531 edges, 15108 markings/sec, 100 secs 2 tries, 1768630 fired transitions, 105 secs || 1564310 markings, 1747254 edges, 12656 markings/sec, 105 secs 2 tries, 1847073 fired transitions, 110 secs || 1630618 markings, 1820854 edges, 13262 markings/sec, 110 secs 2 tries, 1926593 fired transitions, 115 secs || 1699416 markings, 1897383 edges, 13760 markings/sec, 115 secs 3 tries, 2009137 fired transitions, 120 secs || 1773244 markings, 1980164 edges, 14766 markings/sec, 120 secs 3 tries, 2088869 fired transitions, 125 secs || 1835312 markings, 2048491 edges, 12414 markings/sec, 125 secs 3 tries, 2170391 fired transitions, 130 secs || 1906987 markings, 2128593 edges, 14335 markings/sec, 130 secs 3 tries, 2251959 fired transitions, 135 secs || 1984564 markings, 2215984 edges, 15515 markings/sec, 135 secs 3 tries, 2334043 fired transitions, 140 secs || 2053683 markings, 2293354 edges, 13824 markings/sec, 140 secs 3 tries, 2416164 fired transitions, 145 secs || 2131937 markings, 2382384 edges, 15651 markings/sec, 145 secs 3 tries, 2497078 fired transitions, 150 secs || 2199775 markings, 2457847 edges, 13568 markings/sec, 150 secs 3 tries, 2578783 fired transitions, 155 secs || 2261349 markings, 2525933 edges, 12315 markings/sec, 155 secs 3 tries, 2661449 fired transitions, 160 secs || 2330359 markings, 2602552 edges, 13802 markings/sec, 160 secs 3 tries, 2743827 fired transitions, 165 secs || 2396768 markings, 2676182 edges, 13282 markings/sec, 165 secs 3 tries, 2825872 fired transitions, 170 secs || 2461759 markings, 2748095 edges, 12998 markings/sec, 170 secs 3 tries, 2908304 fired transitions, 175 secs || 2530449 markings, 2824500 edges, 13738 markings/sec, 175 secs 3 tries, 2989831 fired transitions, 180 secs || 2599694 markings, 2902071 edges, 13849 markings/sec, 180 secs 4 tries, 3072980 fired transitions, 185 secs || 2667587 markings, 2977976 edges, 13579 markings/sec, 185 secs 4 tries, 3154514 fired transitions, 190 secs || 2729873 markings, 3046754 edges, 12457 markings/sec, 190 secs 4 tries, 3235337 fired transitions, 195 secs || 2792469 markings, 3115742 edges, 12519 markings/sec, 195 secs 4 tries, 3317786 fired transitions, 200 secs || 2855299 markings, 3185222 edges, 12566 markings/sec, 200 secs 4 tries, 3399637 fired transitions, 205 secs || 2933327 markings, 3273601 edges, 15606 markings/sec, 205 secs 4 tries, 3482688 fired transitions, 210 secs || 3008079 markings, 3357969 edges, 14950 markings/sec, 210 secs 4 tries, 3563487 fired transitions, 215 secs || 3077698 markings, 3435841 edges, 13924 markings/sec, 215 secs 4 tries, 3646100 fired transitions, 220 secs || 3152187 markings, 3520359 edges, 14898 markings/sec, 220 secs 4 tries, 3728237 fired transitions, 225 secs || 3229317 markings, 3607788 edges, 15426 markings/sec, 225 secs 4 tries, 3810220 fired transitions, 230 secs || 3299230 markings, 3686116 edges, 13983 markings/sec, 230 secs 4 tries, 3892211 fired transitions, 235 secs || 3369508 markings, 3765207 edges, 14056 markings/sec, 235 secs 4 tries, 3977796 fired transitions, 240 secs || 3449225 markings, 3855632 edges, 15943 markings/sec, 240 secs 5 tries, 4067028 fired transitions, 245 secs || 3522169 markings, 3937230 edges, 14589 markings/sec, 245 secs 5 tries, 4153800 fired transitions, 250 secs || 3601256 markings, 4026708 edges, 15817 markings/sec, 250 secs 5 tries, 4240339 fired transitions, 255 secs || 3682461 markings, 4118732 edges, 16241 markings/sec, 255 secs 5 tries, 4325680 fired transitions, 260 secs || 3758532 markings, 4204406 edges, 15214 markings/sec, 260 secs 5 tries, 4411701 fired transitions, 265 secs || 3836677 markings, 4292996 edges, 15629 markings/sec, 265 secs 5 tries, 4497912 fired transitions, 270 secs || 3917248 markings, 4384181 edges, 16114 markings/sec, 270 secs 5 tries, 4583583 fired transitions, 275 secs || 3998756 markings, 4476638 edges, 16302 markings/sec, 275 secs 5 tries, 4669788 fired transitions, 280 secs || 4077805 markings, 4566089 edges, 15810 markings/sec, 280 secs 5 tries, 4755162 fired transitions, 285 secs || 4150918 markings, 4648382 edges, 14623 markings/sec, 285 secs 5 tries, 4840780 fired transitions, 290 secs || 4230886 markings, 4739010 edges, 15994 markings/sec, 290 secs 5 tries, 4926948 fired transitions, 295 secs || 4309574 markings, 4828124 edges, 15738 markings/sec, 295 secs 6 tries, 5014118 fired transitions, 300 secs || 4381097 markings, 4908286 edges, 14305 markings/sec, 300 secs 6 tries, 5100895 fired transitions, 305 secs || 4456710 markings, 4993425 edges, 15123 markings/sec, 305 secs 6 tries, 5188827 fired transitions, 310 secs || 4533631 markings, 5080252 edges, 15384 markings/sec, 310 secs 6 tries, 5276188 fired transitions, 315 secs || 4606689 markings, 5162168 edges, 14612 markings/sec, 315 secs 6 tries, 5362215 fired transitions, 320 secs || 4680389 markings, 5245292 edges, 14740 markings/sec, 320 secs 6 tries, 5448768 fired transitions, 325 secs || 4753891 markings, 5328023 edges, 14700 markings/sec, 325 secs 6 tries, 5536034 fired transitions, 330 secs || 4839312 markings, 5425180 edges, 17084 markings/sec, 330 secs 6 tries, 5618733 fired transitions, 335 secs || 4912623 markings, 5507845 edges, 14662 markings/sec, 335 secs 6 tries, 5701646 fired transitions, 340 secs || 4990569 markings, 5596263 edges, 15589 markings/sec, 340 secs 6 tries, 5784590 fired transitions, 345 secs || 5066149 markings, 5681389 edges, 15116 markings/sec, 345 secs 6 tries, 5866462 fired transitions, 350 secs || 5139121 markings, 5763657 edges, 14594 markings/sec, 350 secs 6 tries, 5950938 fired transitions, 355 secs || 5218919 markings, 5854977 edges, 15960 markings/sec, 355 secs 7 tries, 6033089 fired transitions, 360 secs || 5291781 markings, 5937126 edges, 14572 markings/sec, 360 secs 7 tries, 6114281 fired transitions, 365 secs || 5364442 markings, 6018424 edges, 14532 markings/sec, 365 secs 7 tries, 6197629 fired transitions, 370 secs || 5445416 markings, 6110304 edges, 16195 markings/sec, 370 secs 7 tries, 6280222 fired transitions, 375 secs || 5524413 markings, 6199903 edges, 15799 markings/sec, 375 secs 7 tries, 6361346 fired transitions, 380 secs || 5601734 markings, 6287530 edges, 15464 markings/sec, 380 secs 7 tries, 6442935 fired transitions, 385 secs || 5679060 markings, 6374941 edges, 15465 markings/sec, 385 secs 7 tries, 6526513 fired transitions, 390 secs || 5761473 markings, 6468642 edges, 16483 markings/sec, 390 secs 7 tries, 6612359 fired transitions, 395 secs || 5843122 markings, 6561278 edges, 16330 markings/sec, 395 secs 7 tries, 6697852 fired transitions, 400 secs || 5927310 markings, 6657240 edges, 16838 markings/sec, 400 secs 7 tries, 6784928 fired transitions, 405 secs || 6011501 markings, 6753170 edges, 16838 markings/sec, 405 secs 7 tries, 6870297 fired transitions, 410 secs || 6095479 markings, 6848752 edges, 16796 markings/sec, 410 secs 7 tries, 6957448 fired transitions, 415 secs || 6180027 markings, 6945342 edges, 16910 markings/sec, 415 secs 8 tries, 7045702 fired transitions, 420 secs || 6261845 markings, 7038256 edges, 16364 markings/sec, 420 secs 8 tries, 7133073 fired transitions, 425 secs || 6345744 markings, 7133529 edges, 16780 markings/sec, 425 secs 8 tries, 7219308 fired transitions, 430 secs || 6430153 markings, 7229632 edges, 16882 markings/sec, 430 secs 8 tries, 7303815 fired transitions, 435 secs || 6514248 markings, 7325131 edges, 16819 markings/sec, 435 secs 8 tries, 7390199 fired transitions, 440 secs || 6599204 markings, 7422069 edges, 16991 markings/sec, 440 secs 8 tries, 7473728 fired transitions, 445 secs || 6680510 markings, 7514579 edges, 16261 markings/sec, 445 secs 8 tries, 7556891 fired transitions, 450 secs || 6764692 markings, 7610679 edges, 16836 markings/sec, 450 secs 8 tries, 7640753 fired transitions, 455 secs || 6846914 markings, 7704464 edges, 16444 markings/sec, 455 secs 8 tries, 7723688 fired transitions, 460 secs || 6928302 markings, 7797113 edges, 16278 markings/sec, 460 secs 8 tries, 7807868 fired transitions, 465 secs || 7009048 markings, 7889168 edges, 16149 markings/sec, 465 secs 8 tries, 7890671 fired transitions, 470 secs || 7091757 markings, 7983273 edges, 16542 markings/sec, 470 secs 8 tries, 7972029 fired transitions, 475 secs || 7173063 markings, 8075795 edges, 16261 markings/sec, 475 secs 9 tries, 8056730 fired transitions, 480 secs || 7253976 markings, 8167889 edges, 16183 markings/sec, 480 secs 9 tries, 8143245 fired transitions, 485 secs || 7338772 markings, 8264789 edges, 16959 markings/sec, 485 secs 9 tries, 8226320 fired transitions, 490 secs || 7420496 markings, 8357432 edges, 16345 markings/sec, 490 secs 9 tries, 8308543 fired transitions, 495 secs || 7499380 markings, 8446313 edges, 15777 markings/sec, 495 secs 9 tries, 8391057 fired transitions, 500 secs || 7577845 markings, 8534825 edges, 15693 markings/sec, 500 secs 9 tries, 8472103 fired transitions, 505 secs || 7654810 markings, 8621758 edges, 15393 markings/sec, 505 secs 9 tries, 8554592 fired transitions, 510 secs || 7732852 markings, 8709606 edges, 15608 markings/sec, 510 secs 9 tries, 8635696 fired transitions, 515 secs || 7811128 markings, 8797102 edges, 15655 markings/sec, 515 secs 9 tries, 8717924 fired transitions, 520 secs || 7889715 markings, 8884980 edges, 15717 markings/sec, 520 secs 9 tries, 8800202 fired transitions, 525 secs || 7969777 markings, 8975440 edges, 16012 markings/sec, 525 secs 9 tries, 8883627 fired transitions, 530 secs || 8050241 markings, 9066180 edges, 16093 markings/sec, 530 secs 9 tries, 8967360 fired transitions, 535 secs || 8130141 markings, 9156350 edges, 15980 markings/sec, 535 secs 10 tries, 9052012 fired transitions, 540 secs || 8210709 markings, 9247334 edges, 16114 markings/sec, 540 secs 10 tries, 9134670 fired transitions, 545 secs || 8289910 markings, 9336301 edges, 15840 markings/sec, 545 secs 10 tries, 9217784 fired transitions, 550 secs || 8371912 markings, 9428167 edges, 16400 markings/sec, 550 secs 10 tries, 9300625 fired transitions, 555 secs || 8455629 markings, 9522046 edges, 16743 markings/sec, 555 secs 10 tries, 9384776 fired transitions, 560 secs || 8540060 markings, 9616736 edges, 16886 markings/sec, 560 secs 10 tries, 9467259 fired transitions, 565 secs || 8622337 markings, 9709518 edges, 16455 markings/sec, 565 secs 10 tries, 9549059 fired transitions, 570 secs || 8696727 markings, 9792783 edges, 14878 markings/sec, 570 secs 10 tries, 9629011 fired transitions, 575 secs || 8774758 markings, 9881016 edges, 15606 markings/sec, 575 secs 10 tries, 9710535 fired transitions, 580 secs || 8857900 markings, 9975161 edges, 16628 markings/sec, 580 secs 10 tries, 9791054 fired transitions, 585 secs || 8941164 markings, 10069434 edges, 16653 markings/sec, 585 secs 10 tries, 9870641 fired transitions, 590 secs || 9022806 markings, 10161722 edges, 16328 markings/sec, 590 secs 10 tries, 9952302 fired transitions, 595 secs || 9104195 markings, 10253402 edges, 16278 markings/sec, 595 secs 11 tries, 10035646 fired transitions, 600 secs || 9184078 markings, 10343508 edges, 15977 markings/sec, 600 secs 11 tries, 10116111 fired transitions, 605 secs || 9262584 markings, 10432563 edges, 15701 markings/sec, 605 secs 11 tries, 10196204 fired transitions, 610 secs || 9338112 markings, 10517823 edges, 15106 markings/sec, 610 secs 11 tries, 10277309 fired transitions, 615 secs || 9417938 markings, 10608125 edges, 15965 markings/sec, 615 secs 11 tries, 10357959 fired transitions, 620 secs || 9497802 markings, 10698523 edges, 15973 markings/sec, 620 secs 11 tries, 10438668 fired transitions, 625 secs || 9580878 markings, 10792888 edges, 16615 markings/sec, 625 secs 11 tries, 10519076 fired transitions, 630 secs || 9657884 markings, 10880385 edges, 15401 markings/sec, 630 secs 11 tries, 10600376 fired transitions, 635 secs || 9737615 markings, 10970130 edges, 15946 markings/sec, 635 secs 11 tries, 10679858 fired transitions, 640 secs || 9821983 markings, 11065636 edges, 16874 markings/sec, 640 secs 11 tries, 10760181 fired transitions, 645 secs || 9908333 markings, 11163479 edges, 17270 markings/sec, 645 secs 11 tries, 10840460 fired transitions, 650 secs || 9993562 markings, 11260676 edges, 17046 markings/sec, 650 secs 11 tries, 10922200 fired transitions, 655 secs || 10080039 markings, 11360376 edges, 17295 markings/sec, 655 secs 12 tries, 11005556 fired transitions, 660 secs || 10165785 markings, 11459609 edges, 17149 markings/sec, 660 secs 12 tries, 11086809 fired transitions, 665 secs || 10252265 markings, 11558620 edges, 17296 markings/sec, 665 secs 12 tries, 11166731 fired transitions, 670 secs || 10335053 markings, 11651773 edges, 16558 markings/sec, 670 secs 12 tries, 11247913 fired transitions, 675 secs || 10419898 markings, 11747761 edges, 16969 markings/sec, 675 secs 12 tries, 11328055 fired transitions, 680 secs || 10505711 markings, 11845244 edges, 17163 markings/sec, 680 secs 12 tries, 11408362 fired transitions, 685 secs || 10592075 markings, 11943638 edges, 17273 markings/sec, 685 secs 12 tries, 11489338 fired transitions, 690 secs || 10676638 markings, 12039745 edges, 16913 markings/sec, 690 secs 12 tries, 11569383 fired transitions, 695 secs || 10759180 markings, 12133433 edges, 16508 markings/sec, 695 secs 12 tries, 11650120 fired transitions, 700 secs || 10845364 markings, 12231650 edges, 17237 markings/sec, 700 secs 12 tries, 11730138 fired transitions, 705 secs || 10929305 markings, 12326794 edges, 16788 markings/sec, 705 secs 12 tries, 11809722 fired transitions, 710 secs || 11011418 markings, 12419852 edges, 16423 markings/sec, 710 secs 12 tries, 11889051 fired transitions, 715 secs || 11097105 markings, 12517424 edges, 17137 markings/sec, 715 secs 12 tries, 11970000 fired transitions, 720 secs || 11181618 markings, 12613203 edges, 16903 markings/sec, 720 secs 13 tries, 12051445 fired transitions, 725 secs || 11267635 markings, 12710755 edges, 17203 markings/sec, 725 secs 13 tries, 12131260 fired transitions, 730 secs || 11347217 markings, 12800306 edges, 15916 markings/sec, 730 secs 13 tries, 12211326 fired transitions, 735 secs || 11432927 markings, 12897673 edges, 17142 markings/sec, 735 secs 13 tries, 12292009 fired transitions, 740 secs || 11515952 markings, 12991845 edges, 16605 markings/sec, 740 secs 13 tries, 12372519 fired transitions, 745 secs || 11600868 markings, 13088544 edges, 16983 markings/sec, 745 secs 13 tries, 12454198 fired transitions, 750 secs || 11684221 markings, 13183373 edges, 16671 markings/sec, 750 secs 13 tries, 12534889 fired transitions, 755 secs || 11770343 markings, 13281297 edges, 17224 markings/sec, 755 secs 13 tries, 12615898 fired transitions, 760 secs || 11854037 markings, 13376373 edges, 16739 markings/sec, 760 secs 13 tries, 12699000 fired transitions, 765 secs || 11940095 markings, 13474561 edges, 17212 markings/sec, 765 secs 13 tries, 12780610 fired transitions, 770 secs || 12024901 markings, 13570636 edges, 16961 markings/sec, 770 secs 13 tries, 12861419 fired transitions, 775 secs || 12110175 markings, 13667611 edges, 17055 markings/sec, 775 secs 13 tries, 12941950 fired transitions, 780 secs || 12196437 markings, 13765627 edges, 17252 markings/sec, 780 secs 14 tries, 13024767 fired transitions, 785 secs || 12274331 markings, 13853286 edges, 15579 markings/sec, 785 secs 14 tries, 13104064 fired transitions, 790 secs || 12357244 markings, 13947520 edges, 16583 markings/sec, 790 secs 14 tries, 13184062 fired transitions, 795 secs || 12442941 markings, 14045014 edges, 17139 markings/sec, 795 secs 14 tries, 13264326 fired transitions, 800 secs || 12524540 markings, 14137608 edges, 16320 markings/sec, 800 secs 14 tries, 13344767 fired transitions, 805 secs || 12609541 markings, 14234019 edges, 17000 markings/sec, 805 secs 14 tries, 13424742 fired transitions, 810 secs || 12693760 markings, 14329801 edges, 16844 markings/sec, 810 secs 14 tries, 13505889 fired transitions, 815 secs || 12777203 markings, 14424827 edges, 16689 markings/sec, 815 secs 14 tries, 13585195 fired transitions, 820 secs || 12861623 markings, 14520905 edges, 16884 markings/sec, 820 secs 14 tries, 13665358 fired transitions, 825 secs || 12943297 markings, 14613311 edges, 16335 markings/sec, 825 secs 14 tries, 13745352 fired transitions, 830 secs || 13026339 markings, 14707089 edges, 16608 markings/sec, 830 secs 14 tries, 13825414 fired transitions, 835 secs || 13109690 markings, 14801461 edges, 16670 markings/sec, 835 secs 14 tries, 13905204 fired transitions, 840 secs || 13188056 markings, 14890589 edges, 15673 markings/sec, 840 secs 14 tries, 13986498 fired transitions, 845 secs || 13264062 markings, 14976470 edges, 15201 markings/sec, 845 secs 15 tries, 14069118 fired transitions, 850 secs || 13344580 markings, 15067450 edges, 16104 markings/sec, 850 secs 15 tries, 14149683 fired transitions, 855 secs || 13430415 markings, 15164695 edges, 17167 markings/sec, 855 secs 15 tries, 14231111 fired transitions, 860 secs || 13514078 markings, 15259711 edges, 16733 markings/sec, 860 secs 15 tries, 14310790 fired transitions, 865 secs || 13594377 markings, 15350455 edges, 16060 markings/sec, 865 secs 15 tries, 14390833 fired transitions, 870 secs || 13679269 markings, 15446913 edges, 16978 markings/sec, 870 secs 15 tries, 14471557 fired transitions, 875 secs || 13760287 markings, 15538934 edges, 16204 markings/sec, 875 secs 15 tries, 14551277 fired transitions, 880 secs || 13843776 markings, 15633927 edges, 16698 markings/sec, 880 secs 15 tries, 14630505 fired transitions, 885 secs || 13925863 markings, 15727147 edges, 16417 markings/sec, 885 secs 15 tries, 14711333 fired transitions, 890 secs || 14004061 markings, 15816118 edges, 15640 markings/sec, 890 secs 15 tries, 14791622 fired transitions, 895 secs || 14086529 markings, 15910077 edges, 16494 markings/sec, 895 secs 15 tries, 14871091 fired transitions, 900 secs || 14168863 markings, 16003709 edges, 16467 markings/sec, 900 secs 15 tries, 14952086 fired transitions, 905 secs || 14252548 markings, 16098630 edges, 16737 markings/sec, 905 secs 16 tries, 15032943 fired transitions, 910 secs || 14337346 markings, 16194464 edges, 16960 markings/sec, 910 secs 16 tries, 15112138 fired transitions, 915 secs || 14421252 markings, 16289572 edges, 16781 markings/sec, 915 secs 16 tries, 15192198 fired transitions, 920 secs || 14504544 markings, 16384255 edges, 16658 markings/sec, 920 secs 16 tries, 15271566 fired transitions, 925 secs || 14587975 markings, 16479048 edges, 16686 markings/sec, 925 secs 16 tries, 15352092 fired transitions, 930 secs || 14671193 markings, 16573754 edges, 16644 markings/sec, 930 secs 16 tries, 15431751 fired transitions, 935 secs || 14754605 markings, 16668142 edges, 16682 markings/sec, 935 secs 16 tries, 15512313 fired transitions, 940 secs || 14839341 markings, 16764328 edges, 16947 markings/sec, 940 secs 16 tries, 15594003 fired transitions, 945 secs || 14920604 markings, 16856493 edges, 16253 markings/sec, 945 secs 16 tries, 15676344 fired transitions, 950 secs || 15004025 markings, 16950961 edges, 16684 markings/sec, 950 secs 16 tries, 15757913 fired transitions, 955 secs || 15084695 markings, 17042049 edges, 16134 markings/sec, 955 secs 16 tries, 15837865 fired transitions, 960 secs || 15169464 markings, 17137725 edges, 16954 markings/sec, 960 secs 16 tries, 15917710 fired transitions, 965 secs || 15244275 markings, 17221568 edges, 14962 markings/sec, 965 secs 16 tries, 15998377 fired transitions, 970 secs || 15322385 markings, 17309435 edges, 15622 markings/sec, 970 secs 17 tries, 16079577 fired transitions, 975 secs || 15396289 markings, 17391855 edges, 14781 markings/sec, 975 secs 17 tries, 16159581 fired transitions, 980 secs || 15478230 markings, 17484630 edges, 16388 markings/sec, 980 secs 17 tries, 16239488 fired transitions, 985 secs || 15558898 markings, 17575758 edges, 16134 markings/sec, 985 secs 17 tries, 16320330 fired transitions, 990 secs || 15644676 markings, 17673354 edges, 17156 markings/sec, 990 secs 17 tries, 16399335 fired transitions, 995 secs || 15724579 markings, 17763943 edges, 15981 markings/sec, 995 secs 17 tries, 16480004 fired transitions, 1000 secs || 15808250 markings, 17858848 edges, 16734 markings/sec, 1000 secs 17 tries, 16561232 fired transitions, 1005 secs || 15890131 markings, 17952011 edges, 16376 markings/sec, 1005 secs 17 tries, 16642547 fired transitions, 1010 secs || 15970165 markings, 18042899 edges, 16007 markings/sec, 1010 secs 17 tries, 16724279 fired transitions, 1015 secs || 16053982 markings, 18138098 edges, 16763 markings/sec, 1015 secs 17 tries, 16805964 fired transitions, 1020 secs || 16137808 markings, 18233595 edges, 16765 markings/sec, 1020 secs 17 tries, 16887114 fired transitions, 1025 secs || 16217149 markings, 18323455 edges, 15868 markings/sec, 1025 secs 17 tries, 16969052 fired transitions, 1030 secs || 16296484 markings, 18413296 edges, 15867 markings/sec, 1030 secs 18 tries, 17049816 fired transitions, 1035 secs || 16375700 markings, 18502870 edges, 15843 markings/sec, 1035 secs 18 tries, 17130306 fired transitions, 1040 secs || 16458236 markings, 18596155 edges, 16507 markings/sec, 1040 secs 18 tries, 17210583 fired transitions, 1045 secs || 16534886 markings, 18682214 edges, 15330 markings/sec, 1045 secs 18 tries, 17290460 fired transitions, 1050 secs || 16614748 markings, 18772383 edges, 15972 markings/sec, 1050 secs 18 tries, 17370519 fired transitions, 1055 secs || 16698849 markings, 18867642 edges, 16820 markings/sec, 1055 secs 18 tries, 17451795 fired transitions, 1060 secs || 16780422 markings, 18959919 edges, 16315 markings/sec, 1060 secs 18 tries, 17532472 fired transitions, 1065 secs || 16862844 markings, 19053333 edges, 16484 markings/sec, 1065 secs 18 tries, 17615399 fired transitions, 1070 secs || 16947344 markings, 19149388 edges, 16900 markings/sec, 1070 secs 18 tries, 17697769 fired transitions, 1075 secs || 17031057 markings, 19244670 edges, 16743 markings/sec, 1075 secs 18 tries, 17778370 fired transitions, 1080 secs || 17115935 markings, 19343384 edges, 16976 markings/sec, 1080 secs 18 tries, 17860331 fired transitions, 1085 secs || 17193940 markings, 19431514 edges, 15601 markings/sec, 1085 secs 18 tries, 17941407 fired transitions, 1090 secs || 17273050 markings, 19521043 edges, 15822 markings/sec, 1090 secs 19 tries, 18023415 fired transitions, 1095 secs || 17357748 markings, 19618120 edges, 16940 markings/sec, 1095 secs 19 tries, 18104745 fired transitions, 1100 secs || 17442539 markings, 19716352 edges, 16958 markings/sec, 1100 secs 19 tries, 18184611 fired transitions, 1105 secs || 17520577 markings, 19804013 edges, 15608 markings/sec, 1105 secs 19 tries, 18267138 fired transitions, 1110 secs || 17595111 markings, 19887279 edges, 14907 markings/sec, 1110 secs 19 tries, 18347894 fired transitions, 1115 secs || 17661773 markings, 19962589 edges, 13332 markings/sec, 1115 secs 19 tries, 18429280 fired transitions, 1120 secs || 17733459 markings, 20044811 edges, 14337 markings/sec, 1120 secs 19 tries, 18510266 fired transitions, 1125 secs || 17809133 markings, 20132020 edges, 15135 markings/sec, 1125 secs 19 tries, 18590331 fired transitions, 1130 secs || 17876086 markings, 20208637 edges, 13391 markings/sec, 1130 secs 19 tries, 18671312 fired transitions, 1135 secs || 17951316 markings, 20296103 edges, 15046 markings/sec, 1135 secs 19 tries, 18752449 fired transitions, 1140 secs || 18030730 markings, 20385618 edges, 15883 markings/sec, 1140 secs 19 tries, 18832558 fired transitions, 1145 secs || 18110655 markings, 20476265 edges, 15985 markings/sec, 1145 secs 19 tries, 18913421 fired transitions, 1150 secs || 18191050 markings, 20567436 edges, 16079 markings/sec, 1150 secs 19 tries, 18995364 fired transitions, 1155 secs || 18272516 markings, 20660045 edges, 16293 markings/sec, 1155 secs 20 tries, 19078905 fired transitions, 1160 secs || 18357220 markings, 20755954 edges, 16941 markings/sec, 1160 secs 20 tries, 19160875 fired transitions, 1165 secs || 18443038 markings, 20853526 edges, 17164 markings/sec, 1165 secs 20 tries, 19243194 fired transitions, 1170 secs || 18526733 markings, 20948813 edges, 16739 markings/sec, 1170 secs 20 tries, 19323514 fired transitions, 1175 secs || 18608031 markings, 21041313 edges, 16260 markings/sec, 1175 secs 20 tries, 19404806 fired transitions, 1180 secs || 18689958 markings, 21134286 edges, 16385 markings/sec, 1180 secs 20 tries, 19485158 fired transitions, 1185 secs || 18772512 markings, 21227870 edges, 16511 markings/sec, 1185 secs 20 tries, 19567329 fired transitions, 1190 secs || 18857884 markings, 21324956 edges, 17074 markings/sec, 1190 secs 20 tries, 19648437 fired transitions, 1195 secs || 18936360 markings, 21413349 edges, 15695 markings/sec, 1195 secs 20 tries, 19729294 fired transitions, 1200 secs || 19019212 markings, 21507458 edges, 16570 markings/sec, 1200 secs 20 tries, 19810234 fired transitions, 1205 secs || 19103107 markings, 21602573 edges, 16779 markings/sec, 1205 secs 20 tries, 19892203 fired transitions, 1210 secs || 19186642 markings, 21696903 edges, 16707 markings/sec, 1210 secs 20 tries, 19975051 fired transitions, 1215 secs || 19272130 markings, 21793941 edges, 17098 markings/sec, 1215 secs 21 tries, 20058778 fired transitions, 1220 secs || 19355232 markings, 21889830 edges, 16620 markings/sec, 1220 secs 21 tries, 20139450 fired transitions, 1225 secs || 19445538 markings, 21993349 edges, 18061 markings/sec, 1225 secs 21 tries, 20221564 fired transitions, 1230 secs || 19529184 markings, 22087506 edges, 16729 markings/sec, 1230 secs 21 tries, 20303177 fired transitions, 1235 secs || 19609745 markings, 22178095 edges, 16112 markings/sec, 1235 secs 21 tries, 20384358 fired transitions, 1240 secs || 19691967 markings, 22270621 edges, 16444 markings/sec, 1240 secs 21 tries, 20466231 fired transitions, 1245 secs || 19777565 markings, 22367700 edges, 17120 markings/sec, 1245 secs 21 tries, 20547359 fired transitions, 1250 secs || 19862267 markings, 22463646 edges, 16940 markings/sec, 1250 secs 21 tries, 20628495 fired transitions, 1255 secs || 19942679 markings, 22553610 edges, 16082 markings/sec, 1255 secs 21 tries, 20709058 fired transitions, 1260 secs || 20022531 markings, 22643546 edges, 15970 markings/sec, 1260 secs 21 tries, 20790978 fired transitions, 1265 secs || 20103059 markings, 22734161 edges, 16106 markings/sec, 1265 secs 21 tries, 20871804 fired transitions, 1270 secs || 20176732 markings, 22816061 edges, 14735 markings/sec, 1270 secs 21 tries, 20953469 fired transitions, 1275 secs || 20253424 markings, 22901848 edges, 15338 markings/sec, 1275 secs 22 tries, 21034944 fired transitions, 1280 secs || 20331931 markings, 22989653 edges, 15701 markings/sec, 1280 secs 22 tries, 21116761 fired transitions, 1285 secs || 20411936 markings, 23079545 edges, 16001 markings/sec, 1285 secs 22 tries, 21196986 fired transitions, 1290 secs || 20490522 markings, 23168141 edges, 15717 markings/sec, 1290 secs 22 tries, 21278468 fired transitions, 1295 secs || 20577282 markings, 23266724 edges, 17352 markings/sec, 1295 secs 22 tries, 21360796 fired transitions, 1300 secs || 20662044 markings, 23362825 edges, 16952 markings/sec, 1300 secs 22 tries, 21442459 fired transitions, 1305 secs || 20745116 markings, 23457144 edges, 16614 markings/sec, 1305 secs 22 tries, 21524547 fired transitions, 1310 secs || 20828528 markings, 23551662 edges, 16682 markings/sec, 1310 secs 22 tries, 21606280 fired transitions, 1315 secs || 20909722 markings, 23643776 edges, 16239 markings/sec, 1315 secs 22 tries, 21688972 fired transitions, 1320 secs || 20992622 markings, 23738044 edges, 16580 markings/sec, 1320 secs 22 tries, 21770085 fired transitions, 1325 secs || 21074111 markings, 23830133 edges, 16298 markings/sec, 1325 secs 22 tries, 21851499 fired transitions, 1330 secs || 21155027 markings, 23921048 edges, 16183 markings/sec, 1330 secs 22 tries, 21932855 fired transitions, 1335 secs || 21231506 markings, 24006743 edges, 15296 markings/sec, 1335 secs 23 tries, 22015053 fired transitions, 1340 secs || 21313599 markings, 24099453 edges, 16419 markings/sec, 1340 secs 23 tries, 22095134 fired transitions, 1345 secs || 21394616 markings, 24191077 edges, 16203 markings/sec, 1345 secs 23 tries, 22175484 fired transitions, 1350 secs || 21477896 markings, 24285302 edges, 16656 markings/sec, 1350 secs 23 tries, 22254913 fired transitions, 1355 secs || 21560810 markings, 24379349 edges, 16583 markings/sec, 1355 secs 23 tries, 22335946 fired transitions, 1360 secs || 21642098 markings, 24471234 edges, 16258 markings/sec, 1360 secs 23 tries, 22416577 fired transitions, 1365 secs || 21720296 markings, 24559737 edges, 15640 markings/sec, 1365 secs 23 tries, 22498021 fired transitions, 1370 secs || 21803910 markings, 24654768 edges, 16723 markings/sec, 1370 secs 23 tries, 22578011 fired transitions, 1375 secs || 21884147 markings, 24745463 edges, 16047 markings/sec, 1375 secs 23 tries, 22659625 fired transitions, 1380 secs || 21967323 markings, 24839681 edges, 16635 markings/sec, 1380 secs 23 tries, 22739669 fired transitions, 1385 secs || 22052479 markings, 24935844 edges, 17031 markings/sec, 1385 secs 23 tries, 22819301 fired transitions, 1390 secs || 22136040 markings, 25030819 edges, 16712 markings/sec, 1390 secs 23 tries, 22899044 fired transitions, 1395 secs || 22218493 markings, 25124393 edges, 16491 markings/sec, 1395 secs 23 tries, 22979238 fired transitions, 1400 secs || 22296461 markings, 25212628 edges, 15594 markings/sec, 1400 secs 24 tries, 23060258 fired transitions, 1405 secs || 22375145 markings, 25301817 edges, 15737 markings/sec, 1405 secs 24 tries, 23139666 fired transitions, 1410 secs || 22458509 markings, 25396316 edges, 16673 markings/sec, 1410 secs 24 tries, 23220214 fired transitions, 1415 secs || 22547539 markings, 25497108 edges, 17806 markings/sec, 1415 secs 24 tries, 23301430 fired transitions, 1420 secs || 22630835 markings, 25591239 edges, 16659 markings/sec, 1420 secs 24 tries, 23381179 fired transitions, 1425 secs || 22713228 markings, 25684648 edges, 16479 markings/sec, 1425 secs 24 tries, 23462218 fired transitions, 1430 secs || 22798400 markings, 25781443 edges, 17034 markings/sec, 1430 secs 24 tries, 23542243 fired transitions, 1435 secs || 22889159 markings, 25885747 edges, 18152 markings/sec, 1435 secs 24 tries, 23621532 fired transitions, 1440 secs || 22982617 markings, 25993359 edges, 18692 markings/sec, 1440 secs 24 tries, 23701145 fired transitions, 1445 secs || 23071879 markings, 26095892 edges, 17852 markings/sec, 1445 secs 24 tries, 23780925 fired transitions, 1450 secs || 23162288 markings, 26199390 edges, 18082 markings/sec, 1450 secs 24 tries, 23860902 fired transitions, 1455 secs || 23245618 markings, 26293604 edges, 16666 markings/sec, 1455 secs 24 tries, 23939988 fired transitions, 1460 secs || 23323080 markings, 26381386 edges, 15492 markings/sec, 1460 secs 25 tries, 24021750 fired transitions, 1465 secs || 23398929 markings, 26465931 edges, 15170 markings/sec, 1465 secs 25 tries, 24101660 fired transitions, 1470 secs || 23466953 markings, 26542614 edges, 13605 markings/sec, 1470 secs 25 tries, 24180981 fired transitions, 1475 secs || 23539770 markings, 26627676 edges, 14563 markings/sec, 1475 secs 25 tries, 24261891 fired transitions, 1480 secs || 23606904 markings, 26704187 edges, 13427 markings/sec, 1480 secs 25 tries, 24342540 fired transitions, 1485 secs || 23678586 markings, 26786101 edges, 14336 markings/sec, 1485 secs 25 tries, 24421778 fired transitions, 1490 secs || 23750350 markings, 26868568 edges, 14353 markings/sec, 1490 secs 25 tries, 24501738 fired transitions, 1495 secs || 23821775 markings, 26950234 edges, 14285 markings/sec, 1495 secs 25 tries, 24581577 fired transitions, 1500 secs || 23889200 markings, 27027589 edges, 13485 markings/sec, 1500 secs 25 tries, 24661843 fired transitions, 1505 secs || 23968118 markings, 27116243 edges, 15784 markings/sec, 1505 secs 25 tries, 24741783 fired transitions, 1510 secs || 24051806 markings, 27210363 edges, 16738 markings/sec, 1510 secs 25 tries, 24821707 fired transitions, 1515 secs || 24134141 markings, 27303067 edges, 16467 markings/sec, 1515 secs 25 tries, 24902249 fired transitions, 1520 secs || 24215790 markings, 27395644 edges, 16330 markings/sec, 1520 secs 25 tries, 24982895 fired transitions, 1525 secs || 24298957 markings, 27489824 edges, 16633 markings/sec, 1525 secs 26 tries, 25065727 fired transitions, 1530 secs || 24389242 markings, 27592699 edges, 18057 markings/sec, 1530 secs 26 tries, 25145366 fired transitions, 1535 secs || 24473946 markings, 27689180 edges, 16941 markings/sec, 1535 secs 26 tries, 25225271 fired transitions, 1540 secs || 24560187 markings, 27787500 edges, 17248 markings/sec, 1540 secs 26 tries, 25304648 fired transitions, 1545 secs || 24631417 markings, 27867933 edges, 14246 markings/sec, 1545 secs 26 tries, 25384498 fired transitions, 1550 secs || 24703048 markings, 27950201 edges, 14326 markings/sec, 1550 secs 26 tries, 25463821 fired transitions, 1555 secs || 24778346 markings, 28034327 edges, 15060 markings/sec, 1555 secs 26 tries, 25542338 fired transitions, 1560 secs || 24858343 markings, 28123585 edges, 15999 markings/sec, 1560 secs 26 tries, 25621409 fired transitions, 1565 secs || 24941085 markings, 28217608 edges, 16548 markings/sec, 1565 secs 26 tries, 25701616 fired transitions, 1570 secs || 25028109 markings, 28316531 edges, 17405 markings/sec, 1570 secs 26 tries, 25781137 fired transitions, 1575 secs || 25114818 markings, 28415085 edges, 17342 markings/sec, 1575 secs 26 tries, 25860902 fired transitions, 1580 secs || 25198959 markings, 28510407 edges, 16828 markings/sec, 1580 secs 26 tries, 25939944 fired transitions, 1585 secs || 25279794 markings, 28602054 edges, 16167 markings/sec, 1585 secs 27 tries, 26021910 fired transitions, 1590 secs || 25358140 markings, 28690529 edges, 15669 markings/sec, 1590 secs 27 tries, 26101665 fired transitions, 1595 secs || 25440127 markings, 28783270 edges, 16397 markings/sec, 1595 secs 27 tries, 26181137 fired transitions, 1600 secs || 25523818 markings, 28878109 edges, 16738 markings/sec, 1600 secs 27 tries, 26262230 fired transitions, 1605 secs || 25601233 markings, 28964787 edges, 15483 markings/sec, 1605 secs 27 tries, 26342475 fired transitions, 1610 secs || 25669454 markings, 29041623 edges, 13644 markings/sec, 1610 secs 27 tries, 26422250 fired transitions, 1615 secs || 25740435 markings, 29122717 edges, 14196 markings/sec, 1615 secs 27 tries, 26502597 fired transitions, 1620 secs || 25815000 markings, 29209012 edges, 14913 markings/sec, 1620 secs 27 tries, 26581250 fired transitions, 1625 secs || 25883838 markings, 29285316 edges, 13768 markings/sec, 1625 secs 27 tries, 26661351 fired transitions, 1630 secs || 25961415 markings, 29370968 edges, 15515 markings/sec, 1630 secs 27 tries, 26741851 fired transitions, 1635 secs || 26041703 markings, 29459895 edges, 16058 markings/sec, 1635 secs 27 tries, 26821455 fired transitions, 1640 secs || 26117231 markings, 29543560 edges, 15106 markings/sec, 1640 secs 27 tries, 26900667 fired transitions, 1645 secs || 26189523 markings, 29623656 edges, 14458 markings/sec, 1645 secs 27 tries, 26980203 fired transitions, 1650 secs || 26265111 markings, 29708063 edges, 15118 markings/sec, 1650 secs 28 tries, 27061696 fired transitions, 1655 secs || 26352567 markings, 29806403 edges, 17491 markings/sec, 1655 secs 28 tries, 27141525 fired transitions, 1660 secs || 26436881 markings, 29901540 edges, 16863 markings/sec, 1660 secs 28 tries, 27219815 fired transitions, 1665 secs || 26518896 markings, 29994036 edges, 16403 markings/sec, 1665 secs 28 tries, 27298397 fired transitions, 1670 secs || 26601647 markings, 30087869 edges, 16550 markings/sec, 1670 secs 28 tries, 27376452 fired transitions, 1675 secs || 26682630 markings, 30179032 edges, 16197 markings/sec, 1675 secs 28 tries, 27456279 fired transitions, 1680 secs || 26767664 markings, 30275280 edges, 17007 markings/sec, 1680 secs 28 tries, 27536302 fired transitions, 1685 secs || 26845416 markings, 30362140 edges, 15550 markings/sec, 1685 secs 28 tries, 27615263 fired transitions, 1690 secs || 26927438 markings, 30454416 edges, 16404 markings/sec, 1690 secs 28 tries, 27693407 fired transitions, 1695 secs || 27006614 markings, 30543283 edges, 15835 markings/sec, 1695 secs 28 tries, 27771878 fired transitions, 1700 secs || 27089695 markings, 30637548 edges, 16616 markings/sec, 1700 secs 28 tries, 27851758 fired transitions, 1705 secs || 27174365 markings, 30733653 edges, 16934 markings/sec, 1705 secs 28 tries, 27931112 fired transitions, 1710 secs || 27253961 markings, 30823300 edges, 15919 markings/sec, 1710 secs 29 tries, 28011349 fired transitions, 1715 secs || 27333596 markings, 30912250 edges, 15927 markings/sec, 1715 secs 29 tries, 28091450 fired transitions, 1720 secs || 27410672 markings, 30998768 edges, 15415 markings/sec, 1720 secs 29 tries, 28170178 fired transitions, 1725 secs || 27492522 markings, 31091516 edges, 16370 markings/sec, 1725 secs 29 tries, 28249022 fired transitions, 1730 secs || 27579983 markings, 31190679 edges, 17492 markings/sec, 1730 secs 29 tries, 28327802 fired transitions, 1735 secs || 27664892 markings, 31286953 edges, 16982 markings/sec, 1735 secs 29 tries, 28405971 fired transitions, 1740 secs || 27747329 markings, 31380130 edges, 16487 markings/sec, 1740 secs 29 tries, 28484882 fired transitions, 1745 secs || 27831315 markings, 31475427 edges, 16797 markings/sec, 1745 secs 29 tries, 28564718 fired transitions, 1750 secs || 27911296 markings, 31565828 edges, 15996 markings/sec, 1750 secs 29 tries, 28643213 fired transitions, 1755 secs || 27993644 markings, 31658618 edges, 16470 markings/sec, 1755 secs 29 tries, 28722319 fired transitions, 1760 secs || 28062120 markings, 31735276 edges, 13695 markings/sec, 1760 secs 29 tries, 28801840 fired transitions, 1765 secs || 28135242 markings, 31817165 edges, 14624 markings/sec, 1765 secs 29 tries, 28881254 fired transitions, 1770 secs || 28214711 markings, 31906843 edges, 15894 markings/sec, 1770 secs 29 tries, 28960746 fired transitions, 1775 secs || 28298354 markings, 32001718 edges, 16729 markings/sec, 1775 secs 30 tries, 29039291 fired transitions, 1780 secs || 28378213 markings, 32092001 edges, 15972 markings/sec, 1780 secs 30 tries, 29118879 fired transitions, 1785 secs || 28461619 markings, 32186921 edges, 16681 markings/sec, 1785 secs 30 tries, 29199569 fired transitions, 1790 secs || 28545450 markings, 32281607 edges, 16766 markings/sec, 1790 secs 30 tries, 29279403 fired transitions, 1795 secs || 28626656 markings, 32373598 edges, 16241 markings/sec, 1795 secs 30 tries, 29358846 fired transitions, 1800 secs || 28708368 markings, 32466291 edges, 16342 markings/sec, 1800 secs 30 tries, 29437968 fired transitions, 1805 secs || 28789515 markings, 32557962 edges, 16229 markings/sec, 1805 secs 30 tries, 29516170 fired transitions, 1810 secs || 28877475 markings, 32658508 edges, 17592 markings/sec, 1810 secs 30 tries, 29595896 fired transitions, 1815 secs || 28965586 markings, 32758596 edges, 17622 markings/sec, 1815 secs 30 tries, 29677034 fired transitions, 1820 secs || 29051917 markings, 32856748 edges, 17266 markings/sec, 1820 secs 30 tries, 29754919 fired transitions, 1825 secs || 29134650 markings, 32951011 edges, 16547 markings/sec, 1825 secs 30 tries, 29836140 fired transitions, 1830 secs || 29219118 markings, 33047379 edges, 16894 markings/sec, 1830 secs 30 tries, 29918303 fired transitions, 1835 secs || 29297991 markings, 33136396 edges, 15775 markings/sec, 1835 secs 31 tries, 30001963 fired transitions, 1840 secs || 29384680 markings, 33235595 edges, 17338 markings/sec, 1840 secs 31 tries, 30083849 fired transitions, 1845 secs || 29472718 markings, 33335785 edges, 17608 markings/sec, 1845 secs 31 tries, 30165580 fired transitions, 1850 secs || 29551616 markings, 33424659 edges, 15780 markings/sec, 1850 secs 31 tries, 30245756 fired transitions, 1855 secs || 29632299 markings, 33515260 edges, 16137 markings/sec, 1855 secs 31 tries, 30328510 fired transitions, 1860 secs || 29711152 markings, 33603866 edges, 15771 markings/sec, 1860 secs 31 tries, 30410979 fired transitions, 1865 secs || 29798613 markings, 33702425 edges, 17492 markings/sec, 1865 secs 31 tries, 30492444 fired transitions, 1870 secs || 29873155 markings, 33786624 edges, 14908 markings/sec, 1870 secs 31 tries, 30574624 fired transitions, 1875 secs || 29959885 markings, 33885004 edges, 17346 markings/sec, 1875 secs 31 tries, 30658477 fired transitions, 1880 secs || 30045341 markings, 33981679 edges, 17091 markings/sec, 1880 secs 31 tries, 30740405 fired transitions, 1885 secs || 30133682 markings, 34081704 edges, 17668 markings/sec, 1885 secs 31 tries, 30822366 fired transitions, 1890 secs || 30218675 markings, 34177939 edges, 16999 markings/sec, 1890 secs 31 tries, 30901927 fired transitions, 1895 secs || 30302166 markings, 34272681 edges, 16698 markings/sec, 1895 secs 31 tries, 30982342 fired transitions, 1900 secs || 30389451 markings, 34372125 edges, 17457 markings/sec, 1900 secs 32 tries, 31065220 fired transitions, 1905 secs || 30477892 markings, 34473268 edges, 17688 markings/sec, 1905 secs 32 tries, 31146731 fired transitions, 1910 secs || 30564562 markings, 34572175 edges, 17334 markings/sec, 1910 secs 32 tries, 31227170 fired transitions, 1915 secs || 30650438 markings, 34669856 edges, 17175 markings/sec, 1915 secs 32 tries, 31309456 fired transitions, 1920 secs || 30730658 markings, 34760551 edges, 16044 markings/sec, 1920 secs 32 tries, 31392025 fired transitions, 1925 secs || 30809755 markings, 34849921 edges, 15819 markings/sec, 1925 secs 32 tries, 31474767 fired transitions, 1930 secs || 30892254 markings, 34943247 edges, 16500 markings/sec, 1930 secs 32 tries, 31559994 fired transitions, 1935 secs || 30973530 markings, 35035955 edges, 16255 markings/sec, 1935 secs 32 tries, 31641982 fired transitions, 1940 secs || 31053345 markings, 35126074 edges, 15963 markings/sec, 1940 secs 32 tries, 31724376 fired transitions, 1945 secs || 31136089 markings, 35219736 edges, 16549 markings/sec, 1945 secs 32 tries, 31807450 fired transitions, 1950 secs || 31218474 markings, 35312619 edges, 16477 markings/sec, 1950 secs 32 tries, 31891714 fired transitions, 1955 secs || 31291353 markings, 35394010 edges, 14576 markings/sec, 1955 secs 32 tries, 31974417 fired transitions, 1960 secs || 31367737 markings, 35479630 edges, 15277 markings/sec, 1960 secs 33 tries, 32060437 fired transitions, 1965 secs || 31448896 markings, 35571485 edges, 16232 markings/sec, 1965 secs 33 tries, 32147907 fired transitions, 1970 secs || 31526510 markings, 35659187 edges, 15523 markings/sec, 1970 secs 33 tries, 32229838 fired transitions, 1975 secs || 31607619 markings, 35751102 edges, 16222 markings/sec, 1975 secs 33 tries, 32313790 fired transitions, 1980 secs || 31690021 markings, 35844735 edges, 16480 markings/sec, 1980 secs 33 tries, 32395624 fired transitions, 1985 secs || 31773026 markings, 35938809 edges, 16601 markings/sec, 1985 secs 33 tries, 32477049 fired transitions, 1990 secs || 31857281 markings, 36034204 edges, 16851 markings/sec, 1990 secs 33 tries, 32560873 fired transitions, 1995 secs || 31942518 markings, 36130716 edges, 17047 markings/sec, 1995 secs 33 tries, 32644505 fired transitions, 2000 secs || 32019725 markings, 36216683 edges, 15441 markings/sec, 2000 secs 33 tries, 32726784 fired transitions, 2005 secs || 32100039 markings, 36306698 edges, 16063 markings/sec, 2005 secs 33 tries, 32810407 fired transitions, 2010 secs || 32175413 markings, 36390912 edges, 15075 markings/sec, 2010 secs 33 tries, 32894373 fired transitions, 2015 secs || 32251842 markings, 36476496 edges, 15286 markings/sec, 2015 secs 33 tries, 32977282 fired transitions, 2020 secs || 32331422 markings, 36565647 edges, 15916 markings/sec, 2020 secs 34 tries, 33061719 fired transitions, 2025 secs || 32397498 markings, 36640447 edges, 13215 markings/sec, 2025 secs 34 tries, 33146413 fired transitions, 2030 secs || 32477460 markings, 36730599 edges, 15992 markings/sec, 2030 secs 34 tries, 33229049 fired transitions, 2035 secs || 32557900 markings, 36821099 edges, 16088 markings/sec, 2035 secs 34 tries, 33311923 fired transitions, 2040 secs || 32621818 markings, 36892097 edges, 12784 markings/sec, 2040 secs 34 tries, 33393491 fired transitions, 2045 secs || 32698990 markings, 36979663 edges, 15434 markings/sec, 2045 secs 34 tries, 33473556 fired transitions, 2050 secs || 32781612 markings, 37073017 edges, 16524 markings/sec, 2050 secs 34 tries, 33555294 fired transitions, 2055 secs || 32861324 markings, 37162995 edges, 15942 markings/sec, 2055 secs 34 tries, 33636489 fired transitions, 2060 secs || 32947329 markings, 37260855 edges, 17201 markings/sec, 2060 secs 34 tries, 33719401 fired transitions, 2065 secs || 33031928 markings, 37356895 edges, 16920 markings/sec, 2065 secs 34 tries, 33803959 fired transitions, 2070 secs || 33115273 markings, 37451406 edges, 16669 markings/sec, 2070 secs 34 tries, 33886381 fired transitions, 2075 secs || 33196299 markings, 37543166 edges, 16205 markings/sec, 2075 secs 34 tries, 33969498 fired transitions, 2080 secs || 33277516 markings, 37635060 edges, 16243 markings/sec, 2080 secs 35 tries, 34055418 fired transitions, 2085 secs || 33357723 markings, 37725625 edges, 16041 markings/sec, 2085 secs 35 tries, 34141657 fired transitions, 2090 secs || 33436925 markings, 37815466 edges, 15840 markings/sec, 2090 secs 35 tries, 34225974 fired transitions, 2095 secs || 33514272 markings, 37902777 edges, 15469 markings/sec, 2095 secs 35 tries, 34311139 fired transitions, 2100 secs || 33594154 markings, 37993291 edges, 15976 markings/sec, 2100 secs 35 tries, 34399587 fired transitions, 2105 secs || 33678466 markings, 38088646 edges, 16862 markings/sec, 2105 secs 35 tries, 34488092 fired transitions, 2110 secs || 33761583 markings, 38182244 edges, 16623 markings/sec, 2110 secs 35 tries, 34575065 fired transitions, 2115 secs || 33852932 markings, 38286278 edges, 18270 markings/sec, 2115 secs 35 tries, 34662888 fired transitions, 2120 secs || 33943351 markings, 38389876 edges, 18084 markings/sec, 2120 secs 35 tries, 34751025 fired transitions, 2125 secs || 34036966 markings, 38497048 edges, 18723 markings/sec, 2125 secs 35 tries, 34840085 fired transitions, 2130 secs || 34131595 markings, 38606122 edges, 18926 markings/sec, 2130 secs 35 tries, 34928314 fired transitions, 2135 secs || 34216383 markings, 38701957 edges, 16958 markings/sec, 2135 secs 36 tries, 35018174 fired transitions, 2140 secs || 34301913 markings, 38798828 edges, 17106 markings/sec, 2140 secs 36 tries, 35105611 fired transitions, 2145 secs || 34385538 markings, 38893595 edges, 16725 markings/sec, 2145 secs 36 tries, 35193713 fired transitions, 2150 secs || 34470008 markings, 38989405 edges, 16894 markings/sec, 2150 secs 36 tries, 35280525 fired transitions, 2155 secs || 34554170 markings, 39084996 edges, 16832 markings/sec, 2155 secs 36 tries, 35368868 fired transitions, 2160 secs || 34635895 markings, 39177602 edges, 16345 markings/sec, 2160 secs 36 tries, 35457908 fired transitions, 2165 secs || 34719579 markings, 39272580 edges, 16737 markings/sec, 2165 secs 36 tries, 35546230 fired transitions, 2170 secs || 34801054 markings, 39364628 edges, 16295 markings/sec, 2170 secs 36 tries, 35634227 fired transitions, 2175 secs || 34885218 markings, 39460024 edges, 16833 markings/sec, 2175 secs 36 tries, 35722628 fired transitions, 2180 secs || 34966525 markings, 39552324 edges, 16261 markings/sec, 2180 secs 36 tries, 35809439 fired transitions, 2185 secs || 35050520 markings, 39647483 edges, 16799 markings/sec, 2185 secs 36 tries, 35897772 fired transitions, 2190 secs || 35134956 markings, 39743210 edges, 16887 markings/sec, 2190 secs 36 tries, 35985974 fired transitions, 2195 secs || 35220900 markings, 39840477 edges, 17189 markings/sec, 2195 secs 37 tries, 36075763 fired transitions, 2200 secs || 35300941 markings, 39930700 edges, 16008 markings/sec, 2200 secs 37 tries, 36164676 fired transitions, 2205 secs || 35383777 markings, 40024436 edges, 16567 markings/sec, 2205 secs 37 tries, 36252835 fired transitions, 2210 secs || 35469531 markings, 40121672 edges, 17151 markings/sec, 2210 secs 37 tries, 36340034 fired transitions, 2215 secs || 35554015 markings, 40217766 edges, 16897 markings/sec, 2215 secs 37 tries, 36429165 fired transitions, 2220 secs || 35637835 markings, 40312944 edges, 16764 markings/sec, 2220 secs 37 tries, 36518736 fired transitions, 2225 secs || 35720817 markings, 40407084 edges, 16596 markings/sec, 2225 secs 37 tries, 36608396 fired transitions, 2230 secs || 35805668 markings, 40503483 edges, 16970 markings/sec, 2230 secs 37 tries, 36695084 fired transitions, 2235 secs || 35895765 markings, 40605936 edges, 18019 markings/sec, 2235 secs 37 tries, 36784849 fired transitions, 2240 secs || 35985153 markings, 40707785 edges, 17878 markings/sec, 2240 secs 37 tries, 36872235 fired transitions, 2245 secs || 36074926 markings, 40809902 edges, 17955 markings/sec, 2245 secs 37 tries, 36960788 fired transitions, 2250 secs || 36163828 markings, 40910929 edges, 17780 markings/sec, 2250 secs 38 tries, 37050454 fired transitions, 2255 secs || 36253735 markings, 41013291 edges, 17981 markings/sec, 2255 secs 38 tries, 37139893 fired transitions, 2260 secs || 36343005 markings, 41115128 edges, 17854 markings/sec, 2260 secs 38 tries, 37228903 fired transitions, 2265 secs || 36431852 markings, 41216002 edges, 17769 markings/sec, 2265 secs 38 tries, 37317190 fired transitions, 2270 secs || 36521626 markings, 41318401 edges, 17955 markings/sec, 2270 secs 38 tries, 37404854 fired transitions, 2275 secs || 36609815 markings, 41419104 edges, 17638 markings/sec, 2275 secs 38 tries, 37492502 fired transitions, 2280 secs || 36699099 markings, 41520799 edges, 17857 markings/sec, 2280 secs 38 tries, 37579904 fired transitions, 2285 secs || 36783890 markings, 41617581 edges, 16958 markings/sec, 2285 secs 38 tries, 37670742 fired transitions, 2290 secs || 36869829 markings, 41715815 edges, 17188 markings/sec, 2290 secs 38 tries, 37757960 fired transitions, 2295 secs || 36956962 markings, 41815462 edges, 17427 markings/sec, 2295 secs 38 tries, 37845221 fired transitions, 2300 secs || 37042784 markings, 41913195 edges, 17164 markings/sec, 2300 secs 38 tries, 37930704 fired transitions, 2305 secs || 37130197 markings, 42012931 edges, 17483 markings/sec, 2305 secs 39 tries, 38018109 fired transitions, 2310 secs || 37213384 markings, 42107554 edges, 16637 markings/sec, 2310 secs 39 tries, 38106818 fired transitions, 2315 secs || 37296530 markings, 42201932 edges, 16629 markings/sec, 2315 secs 39 tries, 38195838 fired transitions, 2320 secs || 37381822 markings, 42298597 edges, 17058 markings/sec, 2320 secs 39 tries, 38284860 fired transitions, 2325 secs || 37464434 markings, 42391789 edges, 16522 markings/sec, 2325 secs 39 tries, 38372683 fired transitions, 2330 secs || 37550366 markings, 42489123 edges, 17186 markings/sec, 2330 secs 39 tries, 38462641 fired transitions, 2335 secs || 37636368 markings, 42586993 edges, 17200 markings/sec, 2335 secs 39 tries, 38551223 fired transitions, 2340 secs || 37721983 markings, 42683797 edges, 17123 markings/sec, 2340 secs 39 tries, 38640960 fired transitions, 2345 secs || 37806898 markings, 42779720 edges, 16983 markings/sec, 2345 secs 39 tries, 38728478 fired transitions, 2350 secs || 37891531 markings, 42875439 edges, 16927 markings/sec, 2350 secs 39 tries, 38816921 fired transitions, 2355 secs || 37977404 markings, 42972823 edges, 17175 markings/sec, 2355 secs 39 tries, 38904169 fired transitions, 2360 secs || 38063424 markings, 43069981 edges, 17204 markings/sec, 2360 secs 39 tries, 38991764 fired transitions, 2365 secs || 38151295 markings, 43169488 edges, 17574 markings/sec, 2365 secs 40 tries, 39082023 fired transitions, 2370 secs || 38237385 markings, 43266605 edges, 17218 markings/sec, 2370 secs 40 tries, 39170419 fired transitions, 2375 secs || 38318071 markings, 43356967 edges, 16137 markings/sec, 2375 secs 40 tries, 39257780 fired transitions, 2380 secs || 38397318 markings, 43445758 edges, 15849 markings/sec, 2380 secs 40 tries, 39343119 fired transitions, 2385 secs || 38473040 markings, 43529982 edges, 15144 markings/sec, 2385 secs 40 tries, 39427643 fired transitions, 2390 secs || 38549329 markings, 43614940 edges, 15258 markings/sec, 2390 secs 40 tries, 39513268 fired transitions, 2395 secs || 38633970 markings, 43710451 edges, 16928 markings/sec, 2395 secs 40 tries, 39602271 fired transitions, 2400 secs || 38720943 markings, 43808980 edges, 17395 markings/sec, 2400 secs 40 tries, 39689968 fired transitions, 2405 secs || 38808647 markings, 43908445 edges, 17541 markings/sec, 2405 secs 40 tries, 39778975 fired transitions, 2410 secs || 38895418 markings, 44006682 edges, 17354 markings/sec, 2410 secs 40 tries, 39867316 fired transitions, 2415 secs || 38982237 markings, 44105146 edges, 17364 markings/sec, 2415 secs 40 tries, 39956418 fired transitions, 2420 secs || 39068628 markings, 44203049 edges, 17278 markings/sec, 2420 secs 41 tries, 40045453 fired transitions, 2425 secs || 39155262 markings, 44301348 edges, 17327 markings/sec, 2425 secs 41 tries, 40134915 fired transitions, 2430 secs || 39241859 markings, 44399464 edges, 17319 markings/sec, 2430 secs 41 tries, 40223306 fired transitions, 2435 secs || 39328316 markings, 44497510 edges, 17291 markings/sec, 2435 secs 41 tries, 40312103 fired transitions, 2440 secs || 39412210 markings, 44592413 edges, 16779 markings/sec, 2440 secs 41 tries, 40400594 fired transitions, 2445 secs || 39499118 markings, 44690946 edges, 17382 markings/sec, 2445 secs 41 tries, 40489891 fired transitions, 2450 secs || 39586357 markings, 44789879 edges, 17448 markings/sec, 2450 secs 41 tries, 40578192 fired transitions, 2455 secs || 39672927 markings, 44888245 edges, 17314 markings/sec, 2455 secs 41 tries, 40667045 fired transitions, 2460 secs || 39759180 markings, 44986124 edges, 17251 markings/sec, 2460 secs 41 tries, 40755279 fired transitions, 2465 secs || 39846239 markings, 45084889 edges, 17412 markings/sec, 2465 secs 41 tries, 40844548 fired transitions, 2470 secs || 39934325 markings, 45184764 edges, 17617 markings/sec, 2470 secs 41 tries, 40932642 fired transitions, 2475 secs || 40021600 markings, 45283839 edges, 17455 markings/sec, 2475 secs 42 tries, 41022992 fired transitions, 2480 secs || 40111337 markings, 45385711 edges, 17947 markings/sec, 2480 secs 42 tries, 41110126 fired transitions, 2485 secs || 40200439 markings, 45487099 edges, 17820 markings/sec, 2485 secs 42 tries, 41195560 fired transitions, 2490 secs || 40288089 markings, 45587132 edges, 17530 markings/sec, 2490 secs 42 tries, 41284432 fired transitions, 2495 secs || 40377676 markings, 45689067 edges, 17917 markings/sec, 2495 secs 42 tries, 41373553 fired transitions, 2500 secs || 40469284 markings, 45793477 edges, 18322 markings/sec, 2500 secs 42 tries, 41460918 fired transitions, 2505 secs || 40558785 markings, 45895406 edges, 17900 markings/sec, 2505 secs 42 tries, 41550099 fired transitions, 2510 secs || 40647401 markings, 45996271 edges, 17723 markings/sec, 2510 secs 42 tries, 41637594 fired transitions, 2515 secs || 40736485 markings, 46097560 edges, 17817 markings/sec, 2515 secs 42 tries, 41725460 fired transitions, 2520 secs || 40826220 markings, 46199481 edges, 17947 markings/sec, 2520 secs 42 tries, 41814888 fired transitions, 2525 secs || 40916719 markings, 46302374 edges, 18100 markings/sec, 2525 secs 42 tries, 41904314 fired transitions, 2530 secs || 41008253 markings, 46406486 edges, 18307 markings/sec, 2530 secs 42 tries, 41992509 fired transitions, 2535 secs || 41098385 markings, 46509021 edges, 18026 markings/sec, 2535 secs 43 tries, 42081884 fired transitions, 2540 secs || 41188880 markings, 46611870 edges, 18099 markings/sec, 2540 secs 43 tries, 42170979 fired transitions, 2545 secs || 41277986 markings, 46713218 edges, 17821 markings/sec, 2545 secs 43 tries, 42258874 fired transitions, 2550 secs || 41368064 markings, 46815807 edges, 18016 markings/sec, 2550 secs 43 tries, 42346182 fired transitions, 2555 secs || 41457469 markings, 46917526 edges, 17881 markings/sec, 2555 secs 43 tries, 42434367 fired transitions, 2560 secs || 41547734 markings, 47020442 edges, 18053 markings/sec, 2560 secs 43 tries, 42523044 fired transitions, 2565 secs || 41638099 markings, 47123306 edges, 18073 markings/sec, 2565 secs 43 tries, 42611319 fired transitions, 2570 secs || 41729207 markings, 47226827 edges, 18222 markings/sec, 2570 secs 43 tries, 42700760 fired transitions, 2575 secs || 41821586 markings, 47331709 edges, 18476 markings/sec, 2575 secs 43 tries, 42788525 fired transitions, 2580 secs || 41914805 markings, 47437311 edges, 18644 markings/sec, 2580 secs 43 tries, 42878317 fired transitions, 2585 secs || 42006120 markings, 47540999 edges, 18263 markings/sec, 2585 secs 43 tries, 42967006 fired transitions, 2590 secs || 42097180 markings, 47644256 edges, 18212 markings/sec, 2590 secs 44 tries, 43057465 fired transitions, 2595 secs || 42186317 markings, 47745175 edges, 17827 markings/sec, 2595 secs 44 tries, 43146237 fired transitions, 2600 secs || 42276250 markings, 47847134 edges, 17987 markings/sec, 2600 secs 44 tries, 43233783 fired transitions, 2605 secs || 42366127 markings, 47949112 edges, 17975 markings/sec, 2605 secs 44 tries, 43319866 fired transitions, 2610 secs || 42451227 markings, 48045369 edges, 17020 markings/sec, 2610 secs 44 tries, 43404767 fired transitions, 2615 secs || 42535857 markings, 48141113 edges, 16926 markings/sec, 2615 secs 44 tries, 43489948 fired transitions, 2620 secs || 42620622 markings, 48237298 edges, 16953 markings/sec, 2620 secs 44 tries, 43576535 fired transitions, 2625 secs || 42706762 markings, 48335073 edges, 17228 markings/sec, 2625 secs 44 tries, 43660949 fired transitions, 2630 secs || 42788012 markings, 48426746 edges, 16250 markings/sec, 2630 secs 44 tries, 43745969 fired transitions, 2635 secs || 42868826 markings, 48518475 edges, 16163 markings/sec, 2635 secs 44 tries, 43829810 fired transitions, 2640 secs || 42952353 markings, 48613165 edges, 16705 markings/sec, 2640 secs 44 tries, 43913027 fired transitions, 2645 secs || 43036031 markings, 48707427 edges, 16736 markings/sec, 2645 secs 44 tries, 43997187 fired transitions, 2650 secs || 43124447 markings, 48807607 edges, 17683 markings/sec, 2650 secs 45 tries, 44082028 fired transitions, 2655 secs || 43211130 markings, 48905968 edges, 17337 markings/sec, 2655 secs 45 tries, 44165815 fired transitions, 2660 secs || 43292617 markings, 48998627 edges, 16297 markings/sec, 2660 secs 45 tries, 44249445 fired transitions, 2665 secs || 43381011 markings, 49099090 edges, 17679 markings/sec, 2665 secs 45 tries, 44333050 fired transitions, 2670 secs || 43469787 markings, 49200036 edges, 17755 markings/sec, 2670 secs 45 tries, 44416803 fired transitions, 2675 secs || 43556942 markings, 49298848 edges, 17431 markings/sec, 2675 secs 45 tries, 44500841 fired transitions, 2680 secs || 43646402 markings, 49400240 edges, 17892 markings/sec, 2680 secs 45 tries, 44585452 fired transitions, 2685 secs || 43736890 markings, 49502956 edges, 18098 markings/sec, 2685 secs 45 tries, 44668096 fired transitions, 2690 secs || 43825536 markings, 49603413 edges, 17729 markings/sec, 2690 secs 45 tries, 44751413 fired transitions, 2695 secs || 43915059 markings, 49705035 edges, 17905 markings/sec, 2695 secs 45 tries, 44839447 fired transitions, 2700 secs || 44008547 markings, 49811157 edges, 18698 markings/sec, 2700 secs 45 tries, 44926730 fired transitions, 2705 secs || 44100459 markings, 49915538 edges, 18382 markings/sec, 2705 secs 46 tries, 45011176 fired transitions, 2710 secs || 44191459 markings, 50018847 edges, 18200 markings/sec, 2710 secs 46 tries, 45093056 fired transitions, 2715 secs || 44282315 markings, 50121816 edges, 18171 markings/sec, 2715 secs 46 tries, 45175761 fired transitions, 2720 secs || 44371570 markings, 50223373 edges, 17851 markings/sec, 2720 secs 46 tries, 45257626 fired transitions, 2725 secs || 44460010 markings, 50324236 edges, 17688 markings/sec, 2725 secs 46 tries, 45340719 fired transitions, 2730 secs || 44549230 markings, 50426009 edges, 17844 markings/sec, 2730 secs 46 tries, 45423745 fired transitions, 2735 secs || 44639924 markings, 50529216 edges, 18139 markings/sec, 2735 secs 46 tries, 45505839 fired transitions, 2740 secs || 44729586 markings, 50630882 edges, 17932 markings/sec, 2740 secs 46 tries, 45589098 fired transitions, 2745 secs || 44813778 markings, 50726325 edges, 16838 markings/sec, 2745 secs 46 tries, 45671367 fired transitions, 2750 secs || 44900030 markings, 50823981 edges, 17250 markings/sec, 2750 secs 46 tries, 45753636 fired transitions, 2755 secs || 44985946 markings, 50922188 edges, 17183 markings/sec, 2755 secs 46 tries, 45834609 fired transitions, 2760 secs || 45072217 markings, 51020691 edges, 17254 markings/sec, 2760 secs 46 tries, 45916628 fired transitions, 2765 secs || 45157683 markings, 51118352 edges, 17093 markings/sec, 2765 secs 46 tries, 45999124 fired transitions, 2770 secs || 45243380 markings, 51216049 edges, 17139 markings/sec, 2770 secs 47 tries, 46083620 fired transitions, 2775 secs || 45328430 markings, 51313035 edges, 17010 markings/sec, 2775 secs 47 tries, 46165120 fired transitions, 2780 secs || 45414998 markings, 51411472 edges, 17314 markings/sec, 2780 secs 47 tries, 46247206 fired transitions, 2785 secs || 45504916 markings, 51513539 edges, 17984 markings/sec, 2785 secs 47 tries, 46331338 fired transitions, 2790 secs || 45593192 markings, 51613421 edges, 17655 markings/sec, 2790 secs 47 tries, 46414263 fired transitions, 2795 secs || 45680239 markings, 51712088 edges, 17409 markings/sec, 2795 secs 47 tries, 46498398 fired transitions, 2800 secs || 45765907 markings, 51809118 edges, 17134 markings/sec, 2800 secs 47 tries, 46581875 fired transitions, 2805 secs || 45847780 markings, 51901956 edges, 16375 markings/sec, 2805 secs 47 tries, 46666144 fired transitions, 2810 secs || 45929819 markings, 51995316 edges, 16408 markings/sec, 2810 secs 47 tries, 46749910 fired transitions, 2815 secs || 46019383 markings, 52096943 edges, 17913 markings/sec, 2815 secs 47 tries, 46833391 fired transitions, 2820 secs || 46106109 markings, 52195032 edges, 17345 markings/sec, 2820 secs 47 tries, 46916437 fired transitions, 2825 secs || 46195868 markings, 52296497 edges, 17952 markings/sec, 2825 secs 47 tries, 46999337 fired transitions, 2830 secs || 46284377 markings, 52396540 edges, 17702 markings/sec, 2830 secs 48 tries, 47084449 fired transitions, 2835 secs || 46371430 markings, 52494945 edges, 17411 markings/sec, 2835 secs 48 tries, 47168193 fired transitions, 2840 secs || 46460088 markings, 52595186 edges, 17732 markings/sec, 2840 secs 48 tries, 47251321 fired transitions, 2845 secs || 46547412 markings, 52694043 edges, 17465 markings/sec, 2845 secs 48 tries, 47334407 fired transitions, 2850 secs || 46638125 markings, 52796647 edges, 18143 markings/sec, 2850 secs 48 tries, 47417893 fired transitions, 2855 secs || 46728135 markings, 52898382 edges, 18002 markings/sec, 2855 secs 48 tries, 47502988 fired transitions, 2860 secs || 46816718 markings, 52998475 edges, 17717 markings/sec, 2860 secs 48 tries, 47586721 fired transitions, 2865 secs || 46905232 markings, 53098586 edges, 17703 markings/sec, 2865 secs 48 tries, 47670723 fired transitions, 2870 secs || 46990407 markings, 53194817 edges, 17035 markings/sec, 2870 secs 48 tries, 47754205 fired transitions, 2875 secs || 47075934 markings, 53291372 edges, 17105 markings/sec, 2875 secs 48 tries, 47837926 fired transitions, 2880 secs || 47162357 markings, 53389173 edges, 17285 markings/sec, 2880 secs 48 tries, 47922170 fired transitions, 2885 secs || 47248169 markings, 53486282 edges, 17162 markings/sec, 2885 secs 49 tries, 48005390 fired transitions, 2890 secs || 47325221 markings, 53572917 edges, 15410 markings/sec, 2890 secs 49 tries, 48082205 fired transitions, 2895 secs || 47376541 markings, 53631065 edges, 10264 markings/sec, 2895 secs 49 tries, 48100490 fired transitions, 2900 secs || 47378671 markings, 53633463 edges, 426 markings/sec, 2900 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-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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