MCC'2018 - Execution of r070-smll-152649742900139

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

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15918.980	3504720.00	6917612.00	11048.20	?	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.1M
-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
-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 users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-12b,
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 1526702247013

BK_STOP 1526705751733

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

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

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

checking for too many tokens
========================
DLCround-PT-12b:
========================
translating formula complete
touch formulae;
----- Start make
----- Start make
ReachabilityDeadlock
Makefile:222: recipe
----- Start make
make: [verify]
----- Start make
----- Kill lola
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 12684/65536
lola: preprocessing...
lola: finding
lola: 4848 places,
lola: computing
lola: computing
lola: 11364 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using 572
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 ||
----- Finished stderr -----
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
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.2K May 15 18:54 CTLCardinality.txt 17K May 15 18:54 CTLCardinality.xml users 2.4K May 15 18:54 CTLFireability.txt 17K 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.2K May 15 18:54 LTLCardinality.txt users 9.1K May 15 18:54 LTLCardinality.xml users 1.9K May 15 18:54 LTLFireability.txt 10K 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.9K May 15 18:54 ReachabilityFireability.txt 18K 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 1.9M May 15 18:50 model.pnml =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r070-smll-152649742900139 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -12b-ReachabilityDeadlock-0 of the tool begins in /usr/share/mcc4mcc/65b80f64-known.json. information in /usr/share/mcc4mcc/65b80f64-learned.json. in /usr/share/mcc4mcc/65b80f64-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}. [{'Time': 3130865, 'Memory': 15952.57, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-12b... 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-12b @ 3540 seconds for target 'verify' failed result stdout ----- Error 137 (ignored) result stderr ----- and sara stderr ----- net from model.pnml.lola net file model.pnml.lola symbol table entries, 3783 collisions significant places 7836 transitions, 4571 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-12b-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 5 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) 17 generators (17 in search tree, 0 by composition) 131072 symmetries branches visited in search tree with 155198 variables and 474245 clauses shipped to Minisat siphon/trap property does not hold 1 tries, 86223 fired transitions, 0 secs || 91444 markings, 105126 edges, 18289 markings/sec, 0 secs 1 tries, 177275 fired transitions, 5 secs || 189386 markings, 219522 edges, 19588 markings/sec, 5 secs 1 tries, 267316 fired transitions, 10 secs || 280764 markings, 324963 edges, 18276 markings/sec, 10 secs 1 tries, 357352 fired transitions, 15 secs || 372117 markings, 430461 edges, 18271 markings/sec, 15 secs 1 tries, 448301 fired transitions, 20 secs || 463017 markings, 534711 edges, 18180 markings/sec, 20 secs 1 tries, 537789 fired transitions, 25 secs || 544638 markings, 626686 edges, 16324 markings/sec, 25 secs 1 tries, 627402 fired transitions, 30 secs || 622096 markings, 713653 edges, 15492 markings/sec, 30 secs 1 tries, 718017 fired transitions, 35 secs || 710037 markings, 810707 edges, 17588 markings/sec, 35 secs 1 tries, 807107 fired transitions, 40 secs || 792813 markings, 902118 edges, 16555 markings/sec, 40 secs 1 tries, 897850 fired transitions, 45 secs || 867791 markings, 985905 edges, 14996 markings/sec, 45 secs 1 tries, 987997 fired transitions, 50 secs || 941235 markings, 1067219 edges, 14689 markings/sec, 50 secs 2 tries, 1079134 fired transitions, 55 secs || 1014525 markings, 1147071 edges, 14658 markings/sec, 55 secs 2 tries, 1170085 fired transitions, 60 secs || 1087735 markings, 1226914 edges, 14642 markings/sec, 60 secs 2 tries, 1261361 fired transitions, 65 secs || 1160718 markings, 1306355 edges, 14597 markings/sec, 65 secs 2 tries, 1349465 fired transitions, 70 secs || 1234251 markings, 1386433 edges, 14707 markings/sec, 70 secs 2 tries, 1438971 fired transitions, 75 secs || 1308053 markings, 1467046 edges, 14760 markings/sec, 75 secs 2 tries, 1528370 fired transitions, 80 secs || 1381549 markings, 1547186 edges, 14699 markings/sec, 80 secs 2 tries, 1618200 fired transitions, 85 secs || 1455672 markings, 1627887 edges, 14825 markings/sec, 85 secs 2 tries, 1707245 fired transitions, 90 secs || 1529136 markings, 1707878 edges, 14693 markings/sec, 90 secs 2 tries, 1797652 fired transitions, 95 secs || 1603870 markings, 1789514 edges, 14947 markings/sec, 95 secs 2 tries, 1886284 fired transitions, 100 secs || 1677250 markings, 1869592 edges, 14676 markings/sec, 100 secs 2 tries, 1976124 fired transitions, 105 secs || 1750921 markings, 1950002 edges, 14734 markings/sec, 105 secs 3 tries, 2067390 fired transitions, 110 secs || 1823277 markings, 2028674 edges, 14471 markings/sec, 110 secs 3 tries, 2157828 fired transitions, 115 secs || 1899884 markings, 2111904 edges, 15321 markings/sec, 115 secs 3 tries, 2249827 fired transitions, 120 secs || 1970260 markings, 2188362 edges, 14075 markings/sec, 120 secs 3 tries, 2340626 fired transitions, 125 secs || 2037457 markings, 2261322 edges, 13439 markings/sec, 125 secs 3 tries, 2432229 fired transitions, 130 secs || 2105142 markings, 2334610 edges, 13537 markings/sec, 130 secs 3 tries, 2523728 fired transitions, 135 secs || 2171589 markings, 2407070 edges, 13289 markings/sec, 135 secs 3 tries, 2614325 fired transitions, 140 secs || 2239128 markings, 2480711 edges, 13508 markings/sec, 140 secs 3 tries, 2706680 fired transitions, 145 secs || 2305717 markings, 2552742 edges, 13318 markings/sec, 145 secs 3 tries, 2796168 fired transitions, 150 secs || 2371892 markings, 2624517 edges, 13235 markings/sec, 150 secs 3 tries, 2888161 fired transitions, 155 secs || 2437511 markings, 2695558 edges, 13124 markings/sec, 155 secs 3 tries, 2980018 fired transitions, 160 secs || 2503058 markings, 2766660 edges, 13109 markings/sec, 160 secs 4 tries, 3071901 fired transitions, 165 secs || 2568963 markings, 2837982 edges, 13181 markings/sec, 165 secs 4 tries, 3163927 fired transitions, 170 secs || 2635327 markings, 2910150 edges, 13273 markings/sec, 170 secs 4 tries, 3254753 fired transitions, 175 secs || 2701260 markings, 2981715 edges, 13187 markings/sec, 175 secs 4 tries, 3345381 fired transitions, 180 secs || 2765801 markings, 3052151 edges, 12908 markings/sec, 180 secs 4 tries, 3436001 fired transitions, 185 secs || 2838419 markings, 3131624 edges, 14524 markings/sec, 185 secs 4 tries, 3528011 fired transitions, 190 secs || 2918011 markings, 3219201 edges, 15918 markings/sec, 190 secs 4 tries, 3620279 fired transitions, 195 secs || 3008225 markings, 3318583 edges, 18043 markings/sec, 195 secs 4 tries, 3711071 fired transitions, 200 secs || 3085941 markings, 3404001 edges, 15543 markings/sec, 200 secs 4 tries, 3802790 fired transitions, 205 secs || 3163956 markings, 3489716 edges, 15603 markings/sec, 205 secs 4 tries, 3893646 fired transitions, 210 secs || 3242867 markings, 3576557 edges, 15782 markings/sec, 210 secs 4 tries, 3985371 fired transitions, 215 secs || 3320446 markings, 3662767 edges, 15516 markings/sec, 215 secs 5 tries, 4077946 fired transitions, 220 secs || 3403475 markings, 3754588 edges, 16606 markings/sec, 220 secs 5 tries, 4168705 fired transitions, 225 secs || 3482243 markings, 3841499 edges, 15754 markings/sec, 225 secs 5 tries, 4260922 fired transitions, 230 secs || 3559573 markings, 3926609 edges, 15466 markings/sec, 230 secs 5 tries, 4353109 fired transitions, 235 secs || 3638366 markings, 4013468 edges, 15759 markings/sec, 235 secs 5 tries, 4444661 fired transitions, 240 secs || 3716581 markings, 4099523 edges, 15643 markings/sec, 240 secs 5 tries, 4535059 fired transitions, 245 secs || 3793751 markings, 4184885 edges, 15434 markings/sec, 245 secs 5 tries, 4625817 fired transitions, 250 secs || 3878119 markings, 4277851 edges, 16874 markings/sec, 250 secs 5 tries, 4719439 fired transitions, 255 secs || 3956717 markings, 4364390 edges, 15720 markings/sec, 255 secs 5 tries, 4811217 fired transitions, 260 secs || 4035480 markings, 4450811 edges, 15753 markings/sec, 260 secs 5 tries, 4904335 fired transitions, 265 secs || 4111002 markings, 4533300 edges, 15104 markings/sec, 265 secs 5 tries, 4995751 fired transitions, 270 secs || 4190560 markings, 4620541 edges, 15912 markings/sec, 270 secs 6 tries, 5088447 fired transitions, 275 secs || 4271955 markings, 4710417 edges, 16279 markings/sec, 275 secs 6 tries, 5179291 fired transitions, 280 secs || 4349618 markings, 4796144 edges, 15533 markings/sec, 280 secs 6 tries, 5270375 fired transitions, 285 secs || 4425636 markings, 4879698 edges, 15204 markings/sec, 285 secs 6 tries, 5362062 fired transitions, 290 secs || 4505789 markings, 4968202 edges, 16031 markings/sec, 290 secs 6 tries, 5452719 fired transitions, 295 secs || 4581230 markings, 5050895 edges, 15088 markings/sec, 295 secs 6 tries, 5544756 fired transitions, 300 secs || 4663027 markings, 5140731 edges, 16359 markings/sec, 300 secs 6 tries, 5635962 fired transitions, 305 secs || 4740335 markings, 5225362 edges, 15462 markings/sec, 305 secs 6 tries, 5726150 fired transitions, 310 secs || 4813475 markings, 5305381 edges, 14628 markings/sec, 310 secs 6 tries, 5818291 fired transitions, 315 secs || 4892217 markings, 5391226 edges, 15748 markings/sec, 315 secs 6 tries, 5911177 fired transitions, 320 secs || 4971168 markings, 5477335 edges, 15790 markings/sec, 320 secs 7 tries, 6005214 fired transitions, 325 secs || 5050206 markings, 5564025 edges, 15808 markings/sec, 325 secs 7 tries, 6096012 fired transitions, 330 secs || 5130886 markings, 5652836 edges, 16136 markings/sec, 330 secs 7 tries, 6187236 fired transitions, 335 secs || 5216307 markings, 5746965 edges, 17084 markings/sec, 335 secs 7 tries, 6279816 fired transitions, 340 secs || 5297830 markings, 5836571 edges, 16305 markings/sec, 340 secs 7 tries, 6371467 fired transitions, 345 secs || 5383391 markings, 5930622 edges, 17112 markings/sec, 345 secs 7 tries, 6464114 fired transitions, 350 secs || 5464921 markings, 6020405 edges, 16306 markings/sec, 350 secs 7 tries, 6556354 fired transitions, 355 secs || 5545612 markings, 6109212 edges, 16138 markings/sec, 355 secs 7 tries, 6647461 fired transitions, 360 secs || 5622683 markings, 6194771 edges, 15414 markings/sec, 360 secs 7 tries, 6739903 fired transitions, 365 secs || 5707450 markings, 6288858 edges, 16953 markings/sec, 365 secs 7 tries, 6832541 fired transitions, 370 secs || 5796709 markings, 6386946 edges, 17852 markings/sec, 370 secs 7 tries, 6924008 fired transitions, 375 secs || 5874399 markings, 6472044 edges, 15538 markings/sec, 375 secs 8 tries, 7017092 fired transitions, 380 secs || 5953681 markings, 6559230 edges, 15856 markings/sec, 380 secs 8 tries, 7108430 fired transitions, 385 secs || 6031160 markings, 6644210 edges, 15496 markings/sec, 385 secs 8 tries, 7203608 fired transitions, 390 secs || 6111579 markings, 6732172 edges, 16084 markings/sec, 390 secs 8 tries, 7299456 fired transitions, 395 secs || 6199157 markings, 6828481 edges, 17516 markings/sec, 395 secs 8 tries, 7396493 fired transitions, 400 secs || 6283017 markings, 6920923 edges, 16772 markings/sec, 400 secs 8 tries, 7492128 fired transitions, 405 secs || 6372499 markings, 7019503 edges, 17896 markings/sec, 405 secs 8 tries, 7585008 fired transitions, 410 secs || 6453494 markings, 7108291 edges, 16199 markings/sec, 410 secs 8 tries, 7675945 fired transitions, 415 secs || 6530740 markings, 7193251 edges, 15449 markings/sec, 415 secs 8 tries, 7768120 fired transitions, 420 secs || 6610362 markings, 7280706 edges, 15924 markings/sec, 420 secs 8 tries, 7860909 fired transitions, 425 secs || 6686439 markings, 7363951 edges, 15215 markings/sec, 425 secs 8 tries, 7953516 fired transitions, 430 secs || 6760555 markings, 7445185 edges, 14823 markings/sec, 430 secs 9 tries, 8045123 fired transitions, 435 secs || 6843168 markings, 7535765 edges, 16523 markings/sec, 435 secs 9 tries, 8135907 fired transitions, 440 secs || 6932843 markings, 7634188 edges, 17935 markings/sec, 440 secs 9 tries, 8226569 fired transitions, 445 secs || 7014233 markings, 7723528 edges, 16278 markings/sec, 445 secs 9 tries, 8318523 fired transitions, 450 secs || 7100077 markings, 7817953 edges, 17169 markings/sec, 450 secs 9 tries, 8410603 fired transitions, 455 secs || 7177062 markings, 7902558 edges, 15397 markings/sec, 455 secs 9 tries, 8502744 fired transitions, 460 secs || 7251589 markings, 7984347 edges, 14905 markings/sec, 460 secs 9 tries, 8593276 fired transitions, 465 secs || 7330275 markings, 8070970 edges, 15737 markings/sec, 465 secs 9 tries, 8685717 fired transitions, 470 secs || 7418682 markings, 8168499 edges, 17681 markings/sec, 470 secs 9 tries, 8777693 fired transitions, 475 secs || 7510711 markings, 8270357 edges, 18406 markings/sec, 475 secs 9 tries, 8870035 fired transitions, 480 secs || 7598197 markings, 8366684 edges, 17497 markings/sec, 480 secs 9 tries, 8961406 fired transitions, 485 secs || 7690408 markings, 8468421 edges, 18442 markings/sec, 485 secs 10 tries, 9053827 fired transitions, 490 secs || 7778329 markings, 8565771 edges, 17584 markings/sec, 490 secs 10 tries, 9144659 fired transitions, 495 secs || 7860866 markings, 8655733 edges, 16507 markings/sec, 495 secs 10 tries, 9236746 fired transitions, 500 secs || 7937964 markings, 8740029 edges, 15420 markings/sec, 500 secs 10 tries, 9328812 fired transitions, 505 secs || 8017955 markings, 8828834 edges, 15998 markings/sec, 505 secs 10 tries, 9420987 fired transitions, 510 secs || 8106891 markings, 8926842 edges, 17787 markings/sec, 510 secs 10 tries, 9513929 fired transitions, 515 secs || 8197938 markings, 9027390 edges, 18209 markings/sec, 515 secs 10 tries, 9604630 fired transitions, 520 secs || 8277668 markings, 9115731 edges, 15946 markings/sec, 520 secs 10 tries, 9695789 fired transitions, 525 secs || 8353493 markings, 9199838 edges, 15165 markings/sec, 525 secs 10 tries, 9787435 fired transitions, 530 secs || 8436324 markings, 9291755 edges, 16566 markings/sec, 530 secs 10 tries, 9879083 fired transitions, 535 secs || 8522767 markings, 9387181 edges, 17289 markings/sec, 535 secs 10 tries, 9971939 fired transitions, 540 secs || 8606259 markings, 9478800 edges, 16698 markings/sec, 540 secs 11 tries, 10064698 fired transitions, 545 secs || 8684263 markings, 9564096 edges, 15601 markings/sec, 545 secs 11 tries, 10155599 fired transitions, 550 secs || 8765329 markings, 9653063 edges, 16213 markings/sec, 550 secs 11 tries, 10247577 fired transitions, 555 secs || 8840850 markings, 9736460 edges, 15104 markings/sec, 555 secs 11 tries, 10339900 fired transitions, 560 secs || 8922909 markings, 9826482 edges, 16412 markings/sec, 560 secs 11 tries, 10435652 fired transitions, 565 secs || 9009368 markings, 9921792 edges, 17292 markings/sec, 565 secs 11 tries, 10530149 fired transitions, 570 secs || 9094693 markings, 10015269 edges, 17065 markings/sec, 570 secs 11 tries, 10625108 fired transitions, 575 secs || 9175910 markings, 10104062 edges, 16243 markings/sec, 575 secs 11 tries, 10721560 fired transitions, 580 secs || 9257824 markings, 10195066 edges, 16383 markings/sec, 580 secs 11 tries, 10816160 fired transitions, 585 secs || 9342437 markings, 10288730 edges, 16923 markings/sec, 585 secs 11 tries, 10912393 fired transitions, 590 secs || 9423659 markings, 10378844 edges, 16244 markings/sec, 590 secs 12 tries, 11008752 fired transitions, 595 secs || 9507829 markings, 10471542 edges, 16834 markings/sec, 595 secs 12 tries, 11104649 fired transitions, 600 secs || 9589235 markings, 10561424 edges, 16281 markings/sec, 600 secs 12 tries, 11201941 fired transitions, 605 secs || 9671409 markings, 10651982 edges, 16435 markings/sec, 605 secs 12 tries, 11300237 fired transitions, 610 secs || 9751400 markings, 10740071 edges, 15998 markings/sec, 610 secs 12 tries, 11397479 fired transitions, 615 secs || 9831777 markings, 10828131 edges, 16075 markings/sec, 615 secs 12 tries, 11494123 fired transitions, 620 secs || 9916414 markings, 10921081 edges, 16927 markings/sec, 620 secs 12 tries, 11592024 fired transitions, 625 secs || 9995131 markings, 11009218 edges, 15743 markings/sec, 625 secs 12 tries, 11688921 fired transitions, 630 secs || 10082577 markings, 11106373 edges, 17489 markings/sec, 630 secs 12 tries, 11785703 fired transitions, 635 secs || 10169800 markings, 11202432 edges, 17445 markings/sec, 635 secs 12 tries, 11881613 fired transitions, 640 secs || 10239167 markings, 11278455 edges, 13873 markings/sec, 640 secs 12 tries, 11977408 fired transitions, 645 secs || 10307399 markings, 11352864 edges, 13646 markings/sec, 645 secs 13 tries, 12073330 fired transitions, 650 secs || 10387374 markings, 11440134 edges, 15995 markings/sec, 650 secs 13 tries, 12167044 fired transitions, 655 secs || 10458708 markings, 11517872 edges, 14267 markings/sec, 655 secs 13 tries, 12258781 fired transitions, 660 secs || 10524765 markings, 11589869 edges, 13211 markings/sec, 660 secs 13 tries, 12352346 fired transitions, 665 secs || 10595225 markings, 11667361 edges, 14092 markings/sec, 665 secs 13 tries, 12446980 fired transitions, 670 secs || 10661644 markings, 11739390 edges, 13284 markings/sec, 670 secs 13 tries, 12542469 fired transitions, 675 secs || 10733234 markings, 11817981 edges, 14318 markings/sec, 675 secs 13 tries, 12634330 fired transitions, 680 secs || 10815326 markings, 11908597 edges, 16418 markings/sec, 680 secs 13 tries, 12725361 fired transitions, 685 secs || 10898956 markings, 12000782 edges, 16726 markings/sec, 685 secs 13 tries, 12816270 fired transitions, 690 secs || 10977023 markings, 12085902 edges, 15613 markings/sec, 690 secs 13 tries, 12905482 fired transitions, 695 secs || 11059423 markings, 12176583 edges, 16480 markings/sec, 695 secs 13 tries, 12994765 fired transitions, 700 secs || 11140313 markings, 12265150 edges, 16178 markings/sec, 700 secs 14 tries, 13086461 fired transitions, 705 secs || 11219335 markings, 12352413 edges, 15804 markings/sec, 705 secs 14 tries, 13177011 fired transitions, 710 secs || 11301957 markings, 12442774 edges, 16524 markings/sec, 710 secs 14 tries, 13268645 fired transitions, 715 secs || 11383901 markings, 12532846 edges, 16389 markings/sec, 715 secs 14 tries, 13358963 fired transitions, 720 secs || 11456953 markings, 12614307 edges, 14610 markings/sec, 720 secs 14 tries, 13448532 fired transitions, 725 secs || 11534984 markings, 12700270 edges, 15606 markings/sec, 725 secs 14 tries, 13539129 fired transitions, 730 secs || 11608456 markings, 12781062 edges, 14694 markings/sec, 730 secs 14 tries, 13629612 fired transitions, 735 secs || 11682670 markings, 12862478 edges, 14843 markings/sec, 735 secs 14 tries, 13720006 fired transitions, 740 secs || 11760502 markings, 12947961 edges, 15566 markings/sec, 740 secs 14 tries, 13811528 fired transitions, 745 secs || 11840086 markings, 13035072 edges, 15917 markings/sec, 745 secs 14 tries, 13901893 fired transitions, 750 secs || 11913883 markings, 13117220 edges, 14759 markings/sec, 750 secs 14 tries, 13992265 fired transitions, 755 secs || 11989393 markings, 13200943 edges, 15102 markings/sec, 755 secs 15 tries, 14083020 fired transitions, 760 secs || 12064359 markings, 13284405 edges, 14993 markings/sec, 760 secs 15 tries, 14174382 fired transitions, 765 secs || 12143854 markings, 13372191 edges, 15899 markings/sec, 765 secs 15 tries, 14264004 fired transitions, 770 secs || 12225422 markings, 13462923 edges, 16314 markings/sec, 770 secs 15 tries, 14354272 fired transitions, 775 secs || 12306623 markings, 13552339 edges, 16240 markings/sec, 775 secs 15 tries, 14444213 fired transitions, 780 secs || 12382782 markings, 13635443 edges, 15232 markings/sec, 780 secs 15 tries, 14534400 fired transitions, 785 secs || 12459212 markings, 13719234 edges, 15286 markings/sec, 785 secs 15 tries, 14625320 fired transitions, 790 secs || 12541030 markings, 13809669 edges, 16364 markings/sec, 790 secs 15 tries, 14716579 fired transitions, 795 secs || 12622709 markings, 13899174 edges, 16336 markings/sec, 795 secs 15 tries, 14807156 fired transitions, 800 secs || 12702400 markings, 13987319 edges, 15938 markings/sec, 800 secs 15 tries, 14897239 fired transitions, 805 secs || 12780419 markings, 14072871 edges, 15604 markings/sec, 805 secs 15 tries, 14986539 fired transitions, 810 secs || 12857800 markings, 14157323 edges, 15476 markings/sec, 810 secs 16 tries, 15077953 fired transitions, 815 secs || 12935540 markings, 14242371 edges, 15548 markings/sec, 815 secs 16 tries, 15168094 fired transitions, 820 secs || 13012596 markings, 14326690 edges, 15411 markings/sec, 820 secs 16 tries, 15258145 fired transitions, 825 secs || 13097548 markings, 14419916 edges, 16990 markings/sec, 825 secs 16 tries, 15348807 fired transitions, 830 secs || 13177644 markings, 14508117 edges, 16019 markings/sec, 830 secs 16 tries, 15439367 fired transitions, 835 secs || 13264744 markings, 14604377 edges, 17420 markings/sec, 835 secs 16 tries, 15529027 fired transitions, 840 secs || 13348011 markings, 14695793 edges, 16653 markings/sec, 840 secs 16 tries, 15618329 fired transitions, 845 secs || 13422384 markings, 14777386 edges, 14875 markings/sec, 845 secs 16 tries, 15708789 fired transitions, 850 secs || 13497545 markings, 14860008 edges, 15032 markings/sec, 850 secs 16 tries, 15798290 fired transitions, 855 secs || 13578742 markings, 14949807 edges, 16239 markings/sec, 855 secs 16 tries, 15888146 fired transitions, 860 secs || 13656198 markings, 15034796 edges, 15491 markings/sec, 860 secs 16 tries, 15977519 fired transitions, 865 secs || 13733328 markings, 15120041 edges, 15426 markings/sec, 865 secs 17 tries, 16069653 fired transitions, 870 secs || 13823007 markings, 15218994 edges, 17936 markings/sec, 870 secs 17 tries, 16159720 fired transitions, 875 secs || 13911759 markings, 15316088 edges, 17750 markings/sec, 875 secs 17 tries, 16250639 fired transitions, 880 secs || 14000615 markings, 15413937 edges, 17771 markings/sec, 880 secs 17 tries, 16342287 fired transitions, 885 secs || 14081381 markings, 15502430 edges, 16153 markings/sec, 885 secs 17 tries, 16432636 fired transitions, 890 secs || 14157310 markings, 15585483 edges, 15186 markings/sec, 890 secs 17 tries, 16522076 fired transitions, 895 secs || 14234230 markings, 15669599 edges, 15384 markings/sec, 895 secs 17 tries, 16612964 fired transitions, 900 secs || 14311920 markings, 15754735 edges, 15538 markings/sec, 900 secs 17 tries, 16703125 fired transitions, 905 secs || 14387410 markings, 15837434 edges, 15098 markings/sec, 905 secs 17 tries, 16793840 fired transitions, 910 secs || 14467794 markings, 15924897 edges, 16077 markings/sec, 910 secs 17 tries, 16883384 fired transitions, 915 secs || 14542330 markings, 16006274 edges, 14907 markings/sec, 915 secs 17 tries, 16973493 fired transitions, 920 secs || 14617561 markings, 16088735 edges, 15046 markings/sec, 920 secs 18 tries, 17066510 fired transitions, 925 secs || 14703570 markings, 16183611 edges, 17202 markings/sec, 925 secs 18 tries, 17156521 fired transitions, 930 secs || 14785856 markings, 16273793 edges, 16457 markings/sec, 930 secs 18 tries, 17247463 fired transitions, 935 secs || 14861846 markings, 16357260 edges, 15198 markings/sec, 935 secs 18 tries, 17337617 fired transitions, 940 secs || 14941485 markings, 16445189 edges, 15928 markings/sec, 940 secs 18 tries, 17429684 fired transitions, 945 secs || 15020495 markings, 16532910 edges, 15802 markings/sec, 945 secs 18 tries, 17519800 fired transitions, 950 secs || 15100594 markings, 16621062 edges, 16020 markings/sec, 950 secs 18 tries, 17611206 fired transitions, 955 secs || 15183667 markings, 16712748 edges, 16615 markings/sec, 955 secs 18 tries, 17700921 fired transitions, 960 secs || 15268476 markings, 16806470 edges, 16962 markings/sec, 960 secs 18 tries, 17791646 fired transitions, 965 secs || 15350192 markings, 16896179 edges, 16343 markings/sec, 965 secs 18 tries, 17880753 fired transitions, 970 secs || 15432289 markings, 16986788 edges, 16419 markings/sec, 970 secs 18 tries, 17969712 fired transitions, 975 secs || 15512817 markings, 17075625 edges, 16106 markings/sec, 975 secs 19 tries, 18061868 fired transitions, 980 secs || 15591664 markings, 17162231 edges, 15769 markings/sec, 980 secs 19 tries, 18151447 fired transitions, 985 secs || 15663023 markings, 17241437 edges, 14272 markings/sec, 985 secs 19 tries, 18241736 fired transitions, 990 secs || 15742734 markings, 17328955 edges, 15942 markings/sec, 990 secs 19 tries, 18332684 fired transitions, 995 secs || 15820822 markings, 17415048 edges, 15618 markings/sec, 995 secs 19 tries, 18422370 fired transitions, 1000 secs || 15904937 markings, 17507859 edges, 16823 markings/sec, 1000 secs 19 tries, 18512674 fired transitions, 1005 secs || 15980385 markings, 17590739 edges, 15090 markings/sec, 1005 secs 19 tries, 18602398 fired transitions, 1010 secs || 16060930 markings, 17678948 edges, 16109 markings/sec, 1010 secs 19 tries, 18693026 fired transitions, 1015 secs || 16138935 markings, 17765632 edges, 15601 markings/sec, 1015 secs 19 tries, 18784654 fired transitions, 1020 secs || 16217929 markings, 17853438 edges, 15799 markings/sec, 1020 secs 19 tries, 18875199 fired transitions, 1025 secs || 16294940 markings, 17938342 edges, 15402 markings/sec, 1025 secs 19 tries, 18965623 fired transitions, 1030 secs || 16373656 markings, 18025398 edges, 15743 markings/sec, 1030 secs 20 tries, 19056867 fired transitions, 1035 secs || 16454725 markings, 18114739 edges, 16214 markings/sec, 1035 secs 20 tries, 19145668 fired transitions, 1040 secs || 16534300 markings, 18203425 edges, 15915 markings/sec, 1040 secs 20 tries, 19236946 fired transitions, 1045 secs || 16627431 markings, 18306346 edges, 18626 markings/sec, 1045 secs 20 tries, 19327432 fired transitions, 1050 secs || 16707831 markings, 18394858 edges, 16080 markings/sec, 1050 secs 20 tries, 19417410 fired transitions, 1055 secs || 16789237 markings, 18484484 edges, 16281 markings/sec, 1055 secs 20 tries, 19508433 fired transitions, 1060 secs || 16871297 markings, 18575529 edges, 16412 markings/sec, 1060 secs 20 tries, 19598539 fired transitions, 1065 secs || 16956976 markings, 18670424 edges, 17136 markings/sec, 1065 secs 20 tries, 19689612 fired transitions, 1070 secs || 17040805 markings, 18763087 edges, 16766 markings/sec, 1070 secs 20 tries, 19780263 fired transitions, 1075 secs || 17128534 markings, 18860694 edges, 17546 markings/sec, 1075 secs 20 tries, 19870922 fired transitions, 1080 secs || 17220011 markings, 18961881 edges, 18295 markings/sec, 1080 secs 20 tries, 19961187 fired transitions, 1085 secs || 17312401 markings, 19064173 edges, 18478 markings/sec, 1085 secs 21 tries, 20054261 fired transitions, 1090 secs || 17397157 markings, 19158326 edges, 16951 markings/sec, 1090 secs 21 tries, 20145324 fired transitions, 1095 secs || 17482033 markings, 19251815 edges, 16975 markings/sec, 1095 secs 21 tries, 20236812 fired transitions, 1100 secs || 17558040 markings, 19334899 edges, 15201 markings/sec, 1100 secs 21 tries, 20326483 fired transitions, 1105 secs || 17648858 markings, 19434460 edges, 18164 markings/sec, 1105 secs 21 tries, 20416650 fired transitions, 1110 secs || 17737460 markings, 19531760 edges, 17720 markings/sec, 1110 secs 21 tries, 20507804 fired transitions, 1115 secs || 17823683 markings, 19626166 edges, 17245 markings/sec, 1115 secs 21 tries, 20599075 fired transitions, 1120 secs || 17904143 markings, 19713753 edges, 16092 markings/sec, 1120 secs 21 tries, 20689771 fired transitions, 1125 secs || 17998790 markings, 19817447 edges, 18929 markings/sec, 1125 secs 21 tries, 20778716 fired transitions, 1130 secs || 18082247 markings, 19908402 edges, 16691 markings/sec, 1130 secs 21 tries, 20868006 fired transitions, 1135 secs || 18156011 markings, 19988403 edges, 14753 markings/sec, 1135 secs 21 tries, 20958313 fired transitions, 1140 secs || 18238794 markings, 20078496 edges, 16557 markings/sec, 1140 secs 22 tries, 21050293 fired transitions, 1145 secs || 18321222 markings, 20168296 edges, 16486 markings/sec, 1145 secs 22 tries, 21142425 fired transitions, 1150 secs || 18416662 markings, 20273510 edges, 19088 markings/sec, 1150 secs 22 tries, 21232887 fired transitions, 1155 secs || 18506166 markings, 20371637 edges, 17901 markings/sec, 1155 secs 22 tries, 21321996 fired transitions, 1160 secs || 18593230 markings, 20467252 edges, 17413 markings/sec, 1160 secs 22 tries, 21413088 fired transitions, 1165 secs || 18676448 markings, 20559067 edges, 16644 markings/sec, 1165 secs 22 tries, 21503541 fired transitions, 1170 secs || 18763965 markings, 20654310 edges, 17503 markings/sec, 1170 secs 22 tries, 21594200 fired transitions, 1175 secs || 18855949 markings, 20755158 edges, 18397 markings/sec, 1175 secs 22 tries, 21684407 fired transitions, 1180 secs || 18939672 markings, 20846826 edges, 16745 markings/sec, 1180 secs 22 tries, 21775771 fired transitions, 1185 secs || 19025086 markings, 20939945 edges, 17083 markings/sec, 1185 secs 22 tries, 21866552 fired transitions, 1190 secs || 19113842 markings, 21037534 edges, 17751 markings/sec, 1190 secs 22 tries, 21957228 fired transitions, 1195 secs || 19207682 markings, 21140629 edges, 18768 markings/sec, 1195 secs 23 tries, 22048579 fired transitions, 1200 secs || 19298625 markings, 21239970 edges, 18189 markings/sec, 1200 secs 23 tries, 22139992 fired transitions, 1205 secs || 19384024 markings, 21333418 edges, 17080 markings/sec, 1205 secs 23 tries, 22230521 fired transitions, 1210 secs || 19469584 markings, 21427199 edges, 17112 markings/sec, 1210 secs 23 tries, 22321060 fired transitions, 1215 secs || 19556146 markings, 21522120 edges, 17312 markings/sec, 1215 secs 23 tries, 22411168 fired transitions, 1220 secs || 19645050 markings, 21620732 edges, 17781 markings/sec, 1220 secs 23 tries, 22501498 fired transitions, 1225 secs || 19736812 markings, 21722715 edges, 18352 markings/sec, 1225 secs 23 tries, 22593333 fired transitions, 1230 secs || 19830916 markings, 21826176 edges, 18821 markings/sec, 1230 secs 23 tries, 22684397 fired transitions, 1235 secs || 19923274 markings, 21927428 edges, 18472 markings/sec, 1235 secs 23 tries, 22774335 fired transitions, 1240 secs || 20015123 markings, 22027937 edges, 18370 markings/sec, 1240 secs 23 tries, 22863909 fired transitions, 1245 secs || 20105009 markings, 22125965 edges, 17977 markings/sec, 1245 secs 23 tries, 22954777 fired transitions, 1250 secs || 20198344 markings, 22228839 edges, 18667 markings/sec, 1250 secs 24 tries, 23046510 fired transitions, 1255 secs || 20283832 markings, 22322163 edges, 17098 markings/sec, 1255 secs 24 tries, 23137308 fired transitions, 1260 secs || 20371335 markings, 22417744 edges, 17501 markings/sec, 1260 secs 24 tries, 23227094 fired transitions, 1265 secs || 20461284 markings, 22516247 edges, 17990 markings/sec, 1265 secs 24 tries, 23317557 fired transitions, 1270 secs || 20552823 markings, 22616735 edges, 18308 markings/sec, 1270 secs 24 tries, 23408638 fired transitions, 1275 secs || 20650848 markings, 22725188 edges, 19605 markings/sec, 1275 secs 24 tries, 23499624 fired transitions, 1280 secs || 20749431 markings, 22833593 edges, 19717 markings/sec, 1280 secs 24 tries, 23590326 fired transitions, 1285 secs || 20845681 markings, 22939403 edges, 19250 markings/sec, 1285 secs 24 tries, 23679663 fired transitions, 1290 secs || 20940492 markings, 23043465 edges, 18962 markings/sec, 1290 secs 24 tries, 23770958 fired transitions, 1295 secs || 21035397 markings, 23148338 edges, 18981 markings/sec, 1295 secs 24 tries, 23860919 fired transitions, 1300 secs || 21129687 markings, 23251882 edges, 18858 markings/sec, 1300 secs 24 tries, 23949978 fired transitions, 1305 secs || 21219946 markings, 23350707 edges, 18052 markings/sec, 1305 secs 25 tries, 24042815 fired transitions, 1310 secs || 21315056 markings, 23455119 edges, 19022 markings/sec, 1310 secs 25 tries, 24133031 fired transitions, 1315 secs || 21411802 markings, 23561250 edges, 19349 markings/sec, 1315 secs 25 tries, 24220698 fired transitions, 1320 secs || 21500861 markings, 23658607 edges, 17812 markings/sec, 1320 secs 25 tries, 24309650 fired transitions, 1325 secs || 21583655 markings, 23749152 edges, 16559 markings/sec, 1325 secs 25 tries, 24400227 fired transitions, 1330 secs || 21675842 markings, 23850485 edges, 18437 markings/sec, 1330 secs 25 tries, 24491272 fired transitions, 1335 secs || 21759593 markings, 23942187 edges, 16750 markings/sec, 1335 secs 25 tries, 24580631 fired transitions, 1340 secs || 21844458 markings, 24036778 edges, 16973 markings/sec, 1340 secs 25 tries, 24670048 fired transitions, 1345 secs || 21924465 markings, 24125450 edges, 16001 markings/sec, 1345 secs 25 tries, 24758736 fired transitions, 1350 secs || 21999275 markings, 24207015 edges, 14962 markings/sec, 1350 secs 25 tries, 24848500 fired transitions, 1355 secs || 22078985 markings, 24294150 edges, 15942 markings/sec, 1355 secs 25 tries, 24940771 fired transitions, 1360 secs || 22170851 markings, 24397718 edges, 18373 markings/sec, 1360 secs 26 tries, 25033030 fired transitions, 1365 secs || 22256293 markings, 24491464 edges, 17088 markings/sec, 1365 secs 26 tries, 25122241 fired transitions, 1370 secs || 22331110 markings, 24572793 edges, 14963 markings/sec, 1370 secs 26 tries, 25212331 fired transitions, 1375 secs || 22413321 markings, 24662462 edges, 16442 markings/sec, 1375 secs 26 tries, 25302529 fired transitions, 1380 secs || 22502087 markings, 24759905 edges, 17753 markings/sec, 1380 secs 26 tries, 25393755 fired transitions, 1385 secs || 22595325 markings, 24864165 edges, 18648 markings/sec, 1385 secs 26 tries, 25484835 fired transitions, 1390 secs || 22683321 markings, 24963524 edges, 17599 markings/sec, 1390 secs 26 tries, 25575455 fired transitions, 1395 secs || 22763442 markings, 25051053 edges, 16024 markings/sec, 1395 secs 26 tries, 25665798 fired transitions, 1400 secs || 22840267 markings, 25134744 edges, 15365 markings/sec, 1400 secs 26 tries, 25756102 fired transitions, 1405 secs || 22928741 markings, 25231678 edges, 17695 markings/sec, 1405 secs 26 tries, 25847440 fired transitions, 1410 secs || 23021230 markings, 25333626 edges, 18498 markings/sec, 1410 secs 26 tries, 25935275 fired transitions, 1415 secs || 23103912 markings, 25423914 edges, 16536 markings/sec, 1415 secs 27 tries, 26018062 fired transitions, 1420 secs || 23188883 markings, 25517152 edges, 16994 markings/sec, 1420 secs 27 tries, 26107288 fired transitions, 1425 secs || 23278075 markings, 25615443 edges, 17838 markings/sec, 1425 secs 27 tries, 26197317 fired transitions, 1430 secs || 23376821 markings, 25725303 edges, 19749 markings/sec, 1430 secs 27 tries, 26290006 fired transitions, 1435 secs || 23467328 markings, 25826822 edges, 18101 markings/sec, 1435 secs 27 tries, 26382454 fired transitions, 1440 secs || 23563570 markings, 25932957 edges, 19248 markings/sec, 1440 secs 27 tries, 26474723 fired transitions, 1445 secs || 23651408 markings, 26029646 edges, 17568 markings/sec, 1445 secs 27 tries, 26565939 fired transitions, 1450 secs || 23737078 markings, 26123823 edges, 17134 markings/sec, 1450 secs 27 tries, 26656656 fired transitions, 1455 secs || 23826917 markings, 26222237 edges, 17968 markings/sec, 1455 secs 27 tries, 26747728 fired transitions, 1460 secs || 23909442 markings, 26311729 edges, 16505 markings/sec, 1460 secs 27 tries, 26837367 fired transitions, 1465 secs || 23994325 markings, 26403953 edges, 16977 markings/sec, 1465 secs 27 tries, 26926993 fired transitions, 1470 secs || 24082059 markings, 26500103 edges, 17547 markings/sec, 1470 secs 28 tries, 27017974 fired transitions, 1475 secs || 24168070 markings, 26594497 edges, 17202 markings/sec, 1475 secs 28 tries, 27104926 fired transitions, 1480 secs || 24261451 markings, 26697859 edges, 18676 markings/sec, 1480 secs 28 tries, 27193861 fired transitions, 1485 secs || 24350789 markings, 26796111 edges, 17868 markings/sec, 1485 secs 28 tries, 27283195 fired transitions, 1490 secs || 24441843 markings, 26896284 edges, 18211 markings/sec, 1490 secs 28 tries, 27371800 fired transitions, 1495 secs || 24535646 markings, 26999364 edges, 18761 markings/sec, 1495 secs 28 tries, 27461201 fired transitions, 1500 secs || 24624893 markings, 27097904 edges, 17849 markings/sec, 1500 secs 28 tries, 27550729 fired transitions, 1505 secs || 24719044 markings, 27201860 edges, 18830 markings/sec, 1505 secs 28 tries, 27640206 fired transitions, 1510 secs || 24808879 markings, 27300147 edges, 17967 markings/sec, 1510 secs 28 tries, 27730528 fired transitions, 1515 secs || 24900176 markings, 27401854 edges, 18259 markings/sec, 1515 secs 28 tries, 27819774 fired transitions, 1520 secs || 24987963 markings, 27498056 edges, 17557 markings/sec, 1520 secs 28 tries, 27909492 fired transitions, 1525 secs || 25072635 markings, 27590983 edges, 16934 markings/sec, 1525 secs 28 tries, 27999701 fired transitions, 1530 secs || 25156161 markings, 27683061 edges, 16705 markings/sec, 1530 secs 29 tries, 28090503 fired transitions, 1535 secs || 25238247 markings, 27773618 edges, 16417 markings/sec, 1535 secs 29 tries, 28180237 fired transitions, 1540 secs || 25327621 markings, 27873087 edges, 17875 markings/sec, 1540 secs 29 tries, 28268960 fired transitions, 1545 secs || 25416956 markings, 27972690 edges, 17867 markings/sec, 1545 secs 29 tries, 28361249 fired transitions, 1550 secs || 25505420 markings, 28070022 edges, 17693 markings/sec, 1550 secs 29 tries, 28452741 fired transitions, 1555 secs || 25590494 markings, 28163904 edges, 17015 markings/sec, 1555 secs 29 tries, 28543880 fired transitions, 1560 secs || 25678710 markings, 28262257 edges, 17643 markings/sec, 1560 secs 29 tries, 28634344 fired transitions, 1565 secs || 25760133 markings, 28351646 edges, 16285 markings/sec, 1565 secs 29 tries, 28724491 fired transitions, 1570 secs || 25843917 markings, 28444352 edges, 16757 markings/sec, 1570 secs 29 tries, 28816231 fired transitions, 1575 secs || 25926076 markings, 28534466 edges, 16432 markings/sec, 1575 secs 29 tries, 28908183 fired transitions, 1580 secs || 26016038 markings, 28634894 edges, 17992 markings/sec, 1580 secs 29 tries, 28999622 fired transitions, 1585 secs || 26101860 markings, 28730460 edges, 17164 markings/sec, 1585 secs 30 tries, 29092635 fired transitions, 1590 secs || 26188387 markings, 28826376 edges, 17305 markings/sec, 1590 secs 30 tries, 29183408 fired transitions, 1595 secs || 26271696 markings, 28919011 edges, 16662 markings/sec, 1595 secs 30 tries, 29275686 fired transitions, 1600 secs || 26364704 markings, 29024915 edges, 18602 markings/sec, 1600 secs 30 tries, 29365311 fired transitions, 1605 secs || 26454508 markings, 29126384 edges, 17961 markings/sec, 1605 secs 30 tries, 29455668 fired transitions, 1610 secs || 26541394 markings, 29223843 edges, 17377 markings/sec, 1610 secs 30 tries, 29545450 fired transitions, 1615 secs || 26631696 markings, 29325375 edges, 18060 markings/sec, 1615 secs 30 tries, 29635416 fired transitions, 1620 secs || 26718041 markings, 29421945 edges, 17269 markings/sec, 1620 secs 30 tries, 29726177 fired transitions, 1625 secs || 26809226 markings, 29524916 edges, 18237 markings/sec, 1625 secs 30 tries, 29817549 fired transitions, 1630 secs || 26906073 markings, 29635964 edges, 19369 markings/sec, 1630 secs 30 tries, 29908181 fired transitions, 1635 secs || 26994293 markings, 29734866 edges, 17644 markings/sec, 1635 secs 30 tries, 29997909 fired transitions, 1640 secs || 27084807 markings, 29837368 edges, 18103 markings/sec, 1640 secs 31 tries, 30089329 fired transitions, 1645 secs || 27169722 markings, 29931969 edges, 16983 markings/sec, 1645 secs 31 tries, 30180303 fired transitions, 1650 secs || 27253464 markings, 30025395 edges, 16748 markings/sec, 1650 secs 31 tries, 30269760 fired transitions, 1655 secs || 27330864 markings, 30110925 edges, 15480 markings/sec, 1655 secs 31 tries, 30358037 fired transitions, 1660 secs || 27409417 markings, 30197435 edges, 15711 markings/sec, 1660 secs 31 tries, 30448094 fired transitions, 1665 secs || 27498145 markings, 30298247 edges, 17746 markings/sec, 1665 secs 31 tries, 30540096 fired transitions, 1670 secs || 27587121 markings, 30398930 edges, 17795 markings/sec, 1670 secs 31 tries, 30631124 fired transitions, 1675 secs || 27680663 markings, 30505915 edges, 18708 markings/sec, 1675 secs 31 tries, 30723245 fired transitions, 1680 secs || 27777571 markings, 30617397 edges, 19382 markings/sec, 1680 secs 31 tries, 30814385 fired transitions, 1685 secs || 27867207 markings, 30717698 edges, 17927 markings/sec, 1685 secs 31 tries, 30905855 fired transitions, 1690 secs || 27959017 markings, 30821546 edges, 18362 markings/sec, 1690 secs 31 tries, 30997435 fired transitions, 1695 secs || 28047199 markings, 30920500 edges, 17636 markings/sec, 1695 secs 32 tries, 31090312 fired transitions, 1700 secs || 28131368 markings, 31013518 edges, 16834 markings/sec, 1700 secs 32 tries, 31181789 fired transitions, 1705 secs || 28216586 markings, 31109172 edges, 17044 markings/sec, 1705 secs 32 tries, 31272959 fired transitions, 1710 secs || 28301435 markings, 31204351 edges, 16970 markings/sec, 1710 secs 32 tries, 31364868 fired transitions, 1715 secs || 28380156 markings, 31291059 edges, 15744 markings/sec, 1715 secs 32 tries, 31456492 fired transitions, 1720 secs || 28462925 markings, 31383049 edges, 16554 markings/sec, 1720 secs 32 tries, 31547667 fired transitions, 1725 secs || 28545545 markings, 31474548 edges, 16524 markings/sec, 1725 secs 32 tries, 31639875 fired transitions, 1730 secs || 28631432 markings, 31570883 edges, 17177 markings/sec, 1730 secs 32 tries, 31732369 fired transitions, 1735 secs || 28711286 markings, 31659373 edges, 15971 markings/sec, 1735 secs 32 tries, 31823686 fired transitions, 1740 secs || 28795766 markings, 31753958 edges, 16896 markings/sec, 1740 secs 32 tries, 31915365 fired transitions, 1745 secs || 28872238 markings, 31837535 edges, 15294 markings/sec, 1745 secs 33 tries, 32006996 fired transitions, 1750 secs || 28955922 markings, 31931203 edges, 16737 markings/sec, 1750 secs 33 tries, 32097760 fired transitions, 1755 secs || 29038623 markings, 32023214 edges, 16540 markings/sec, 1755 secs 33 tries, 32187824 fired transitions, 1760 secs || 29120034 markings, 32113422 edges, 16282 markings/sec, 1760 secs 33 tries, 32277948 fired transitions, 1765 secs || 29199590 markings, 32201111 edges, 15911 markings/sec, 1765 secs 33 tries, 32368714 fired transitions, 1770 secs || 29289555 markings, 32302534 edges, 17993 markings/sec, 1770 secs 33 tries, 32461207 fired transitions, 1775 secs || 29383837 markings, 32409789 edges, 18856 markings/sec, 1775 secs 33 tries, 32554919 fired transitions, 1780 secs || 29475982 markings, 32514085 edges, 18429 markings/sec, 1780 secs 33 tries, 32651816 fired transitions, 1785 secs || 29568337 markings, 32617523 edges, 18471 markings/sec, 1785 secs 33 tries, 32748575 fired transitions, 1790 secs || 29652912 markings, 32711006 edges, 16915 markings/sec, 1790 secs 33 tries, 32845949 fired transitions, 1795 secs || 29740797 markings, 32809123 edges, 17577 markings/sec, 1795 secs 33 tries, 32942999 fired transitions, 1800 secs || 29825380 markings, 32902883 edges, 16917 markings/sec, 1800 secs 34 tries, 33041733 fired transitions, 1805 secs || 29912412 markings, 32998606 edges, 17406 markings/sec, 1805 secs 34 tries, 33138565 fired transitions, 1810 secs || 29997845 markings, 33093006 edges, 17087 markings/sec, 1810 secs 34 tries, 33235772 fired transitions, 1815 secs || 30083834 markings, 33187277 edges, 17198 markings/sec, 1815 secs 34 tries, 33332329 fired transitions, 1820 secs || 30173545 markings, 33286313 edges, 17942 markings/sec, 1820 secs 34 tries, 33430159 fired transitions, 1825 secs || 30262001 markings, 33384484 edges, 17691 markings/sec, 1825 secs 34 tries, 33527152 fired transitions, 1830 secs || 30359618 markings, 33493971 edges, 19523 markings/sec, 1830 secs 34 tries, 33623307 fired transitions, 1835 secs || 30444968 markings, 33588206 edges, 17070 markings/sec, 1835 secs 34 tries, 33721704 fired transitions, 1840 secs || 30532764 markings, 33684846 edges, 17559 markings/sec, 1840 secs 34 tries, 33818956 fired transitions, 1845 secs || 30625882 markings, 33788665 edges, 18624 markings/sec, 1845 secs 34 tries, 33915965 fired transitions, 1850 secs || 30712165 markings, 33883455 edges, 17257 markings/sec, 1850 secs 35 tries, 34015427 fired transitions, 1855 secs || 30796796 markings, 33976169 edges, 16926 markings/sec, 1855 secs 35 tries, 34111465 fired transitions, 1860 secs || 30878673 markings, 34065692 edges, 16375 markings/sec, 1860 secs 35 tries, 34209292 fired transitions, 1865 secs || 30963740 markings, 34159061 edges, 17013 markings/sec, 1865 secs 35 tries, 34305655 fired transitions, 1870 secs || 31049561 markings, 34253085 edges, 17164 markings/sec, 1870 secs 35 tries, 34402168 fired transitions, 1875 secs || 31138804 markings, 34350932 edges, 17849 markings/sec, 1875 secs 35 tries, 34499995 fired transitions, 1880 secs || 31228633 markings, 34450769 edges, 17966 markings/sec, 1880 secs 35 tries, 34597969 fired transitions, 1885 secs || 31316875 markings, 34548830 edges, 17648 markings/sec, 1885 secs 35 tries, 34695384 fired transitions, 1890 secs || 31397811 markings, 34637254 edges, 16187 markings/sec, 1890 secs 35 tries, 34794059 fired transitions, 1895 secs || 31481720 markings, 34729282 edges, 16782 markings/sec, 1895 secs 35 tries, 34891609 fired transitions, 1900 secs || 31569950 markings, 34826303 edges, 17646 markings/sec, 1900 secs 35 tries, 34988498 fired transitions, 1905 secs || 31655437 markings, 34920141 edges, 17097 markings/sec, 1905 secs 36 tries, 35083457 fired transitions, 1910 secs || 31735832 markings, 35008047 edges, 16079 markings/sec, 1910 secs 36 tries, 35178441 fired transitions, 1915 secs || 31823042 markings, 35105077 edges, 17442 markings/sec, 1915 secs 36 tries, 35271876 fired transitions, 1920 secs || 31914747 markings, 35207844 edges, 18341 markings/sec, 1920 secs 36 tries, 35368147 fired transitions, 1925 secs || 31995023 markings, 35295469 edges, 16055 markings/sec, 1925 secs 36 tries, 35466224 fired transitions, 1930 secs || 32079749 markings, 35388360 edges, 16945 markings/sec, 1930 secs 36 tries, 35561556 fired transitions, 1935 secs || 32165389 markings, 35482230 edges, 17128 markings/sec, 1935 secs 36 tries, 35656800 fired transitions, 1940 secs || 32248534 markings, 35573254 edges, 16629 markings/sec, 1940 secs 36 tries, 35750696 fired transitions, 1945 secs || 32330631 markings, 35663635 edges, 16419 markings/sec, 1945 secs 36 tries, 35844478 fired transitions, 1950 secs || 32415668 markings, 35757178 edges, 17007 markings/sec, 1950 secs 36 tries, 35939632 fired transitions, 1955 secs || 32498921 markings, 35848931 edges, 16651 markings/sec, 1955 secs 37 tries, 36033899 fired transitions, 1960 secs || 32580414 markings, 35938798 edges, 16299 markings/sec, 1960 secs 37 tries, 36128803 fired transitions, 1965 secs || 32666484 markings, 36033612 edges, 17214 markings/sec, 1965 secs 37 tries, 36223680 fired transitions, 1970 secs || 32756759 markings, 36135518 edges, 18055 markings/sec, 1970 secs 37 tries, 36316823 fired transitions, 1975 secs || 32839746 markings, 36227155 edges, 16597 markings/sec, 1975 secs 37 tries, 36410589 fired transitions, 1980 secs || 32923331 markings, 36319285 edges, 16717 markings/sec, 1980 secs 37 tries, 36503777 fired transitions, 1985 secs || 33006891 markings, 36411257 edges, 16712 markings/sec, 1985 secs 37 tries, 36598095 fired transitions, 1990 secs || 33085822 markings, 36497711 edges, 15786 markings/sec, 1990 secs 37 tries, 36691663 fired transitions, 1995 secs || 33166189 markings, 36585681 edges, 16073 markings/sec, 1995 secs 37 tries, 36785403 fired transitions, 2000 secs || 33251282 markings, 36679792 edges, 17019 markings/sec, 2000 secs 37 tries, 36879356 fired transitions, 2005 secs || 33334487 markings, 36772351 edges, 16641 markings/sec, 2005 secs 37 tries, 36971791 fired transitions, 2010 secs || 33423316 markings, 36871610 edges, 17766 markings/sec, 2010 secs 38 tries, 37067497 fired transitions, 2015 secs || 33506618 markings, 36963815 edges, 16660 markings/sec, 2015 secs 38 tries, 37160833 fired transitions, 2020 secs || 33595196 markings, 37062045 edges, 17716 markings/sec, 2020 secs 38 tries, 37254570 fired transitions, 2025 secs || 33675596 markings, 37150001 edges, 16080 markings/sec, 2025 secs 38 tries, 37347711 fired transitions, 2030 secs || 33758466 markings, 37241741 edges, 16574 markings/sec, 2030 secs 38 tries, 37441654 fired transitions, 2035 secs || 33836948 markings, 37327737 edges, 15696 markings/sec, 2035 secs 38 tries, 37536610 fired transitions, 2040 secs || 33920572 markings, 37420723 edges, 16725 markings/sec, 2040 secs 38 tries, 37629989 fired transitions, 2045 secs || 34008706 markings, 37520314 edges, 17627 markings/sec, 2045 secs 38 tries, 37723792 fired transitions, 2050 secs || 34089955 markings, 37609595 edges, 16250 markings/sec, 2050 secs 38 tries, 37817367 fired transitions, 2055 secs || 34174259 markings, 37702789 edges, 16861 markings/sec, 2055 secs 38 tries, 37911619 fired transitions, 2060 secs || 34256151 markings, 37792671 edges, 16378 markings/sec, 2060 secs 39 tries, 38006544 fired transitions, 2065 secs || 34335189 markings, 37879336 edges, 15808 markings/sec, 2065 secs 39 tries, 38099747 fired transitions, 2070 secs || 34417128 markings, 37970337 edges, 16388 markings/sec, 2070 secs 39 tries, 38192813 fired transitions, 2075 secs || 34504956 markings, 38069133 edges, 17566 markings/sec, 2075 secs 39 tries, 38287037 fired transitions, 2080 secs || 34588841 markings, 38161451 edges, 16777 markings/sec, 2080 secs 39 tries, 38379877 fired transitions, 2085 secs || 34668822 markings, 38248932 edges, 15996 markings/sec, 2085 secs 39 tries, 38472740 fired transitions, 2090 secs || 34751647 markings, 38339784 edges, 16565 markings/sec, 2090 secs 39 tries, 38566089 fired transitions, 2095 secs || 34834996 markings, 38431374 edges, 16670 markings/sec, 2095 secs 39 tries, 38658612 fired transitions, 2100 secs || 34919037 markings, 38524232 edges, 16808 markings/sec, 2100 secs 39 tries, 38752927 fired transitions, 2105 secs || 34999745 markings, 38613200 edges, 16142 markings/sec, 2105 secs 39 tries, 38846326 fired transitions, 2110 secs || 35083250 markings, 38705421 edges, 16701 markings/sec, 2110 secs 39 tries, 38941443 fired transitions, 2115 secs || 35167252 markings, 38797678 edges, 16800 markings/sec, 2115 secs 40 tries, 39037987 fired transitions, 2120 secs || 35257946 markings, 38900628 edges, 18139 markings/sec, 2120 secs 40 tries, 39132672 fired transitions, 2125 secs || 35345082 markings, 38997872 edges, 17427 markings/sec, 2125 secs 40 tries, 39225756 fired transitions, 2130 secs || 35430915 markings, 39092805 edges, 17167 markings/sec, 2130 secs 40 tries, 39320602 fired transitions, 2135 secs || 35517010 markings, 39187743 edges, 17219 markings/sec, 2135 secs 40 tries, 39416154 fired transitions, 2140 secs || 35599558 markings, 39278432 edges, 16510 markings/sec, 2140 secs 40 tries, 39509721 fired transitions, 2145 secs || 35682148 markings, 39369050 edges, 16518 markings/sec, 2145 secs 40 tries, 39604145 fired transitions, 2150 secs || 35764348 markings, 39459150 edges, 16440 markings/sec, 2150 secs 40 tries, 39697844 fired transitions, 2155 secs || 35848481 markings, 39551301 edges, 16827 markings/sec, 2155 secs 40 tries, 39791411 fired transitions, 2160 secs || 35932166 markings, 39643019 edges, 16737 markings/sec, 2160 secs 40 tries, 39885662 fired transitions, 2165 secs || 36012419 markings, 39730914 edges, 16051 markings/sec, 2165 secs 40 tries, 39979034 fired transitions, 2170 secs || 36095163 markings, 39821659 edges, 16549 markings/sec, 2170 secs 41 tries, 40074288 fired transitions, 2175 secs || 36180784 markings, 39916063 edges, 17124 markings/sec, 2175 secs 41 tries, 40166110 fired transitions, 2180 secs || 36267465 markings, 40012714 edges, 17336 markings/sec, 2180 secs 41 tries, 40260759 fired transitions, 2185 secs || 36352904 markings, 40106351 edges, 17088 markings/sec, 2185 secs 41 tries, 40354238 fired transitions, 2190 secs || 36434169 markings, 40195589 edges, 16253 markings/sec, 2190 secs 41 tries, 40448783 fired transitions, 2195 secs || 36517248 markings, 40286758 edges, 16616 markings/sec, 2195 secs 41 tries, 40543387 fired transitions, 2200 secs || 36599394 markings, 40377215 edges, 16429 markings/sec, 2200 secs 41 tries, 40637776 fired transitions, 2205 secs || 36686547 markings, 40475177 edges, 17431 markings/sec, 2205 secs 41 tries, 40731554 fired transitions, 2210 secs || 36771376 markings, 40568582 edges, 16966 markings/sec, 2210 secs 41 tries, 40826437 fired transitions, 2215 secs || 36854171 markings, 40659467 edges, 16559 markings/sec, 2215 secs 41 tries, 40920179 fired transitions, 2220 secs || 36941064 markings, 40755677 edges, 17379 markings/sec, 2220 secs 42 tries, 41016089 fired transitions, 2225 secs || 37022726 markings, 40845147 edges, 16332 markings/sec, 2225 secs 42 tries, 41111702 fired transitions, 2230 secs || 37110537 markings, 40942966 edges, 17562 markings/sec, 2230 secs 42 tries, 41206094 fired transitions, 2235 secs || 37194188 markings, 41034766 edges, 16730 markings/sec, 2235 secs 42 tries, 41300719 fired transitions, 2240 secs || 37278761 markings, 41128105 edges, 16915 markings/sec, 2240 secs 42 tries, 41394916 fired transitions, 2245 secs || 37363003 markings, 41220934 edges, 16848 markings/sec, 2245 secs 42 tries, 41488544 fired transitions, 2250 secs || 37444620 markings, 41311237 edges, 16323 markings/sec, 2250 secs 42 tries, 41581663 fired transitions, 2255 secs || 37531580 markings, 41407595 edges, 17392 markings/sec, 2255 secs 42 tries, 41676811 fired transitions, 2260 secs || 37614174 markings, 41498823 edges, 16519 markings/sec, 2260 secs 42 tries, 41772425 fired transitions, 2265 secs || 37699003 markings, 41592450 edges, 16966 markings/sec, 2265 secs 42 tries, 41867058 fired transitions, 2270 secs || 37779576 markings, 41681257 edges, 16115 markings/sec, 2270 secs 42 tries, 41961992 fired transitions, 2275 secs || 37868427 markings, 41780038 edges, 17770 markings/sec, 2275 secs 43 tries, 42057093 fired transitions, 2280 secs || 37953875 markings, 41873974 edges, 17090 markings/sec, 2280 secs 43 tries, 42151804 fired transitions, 2285 secs || 38038224 markings, 41966776 edges, 16870 markings/sec, 2285 secs 43 tries, 42246932 fired transitions, 2290 secs || 38120594 markings, 42057486 edges, 16474 markings/sec, 2290 secs 43 tries, 42341295 fired transitions, 2295 secs || 38203644 markings, 42149131 edges, 16610 markings/sec, 2295 secs 43 tries, 42434131 fired transitions, 2300 secs || 38289326 markings, 42244036 edges, 17136 markings/sec, 2300 secs 43 tries, 42528303 fired transitions, 2305 secs || 38369750 markings, 42332078 edges, 16085 markings/sec, 2305 secs 43 tries, 42621755 fired transitions, 2310 secs || 38451301 markings, 42421695 edges, 16310 markings/sec, 2310 secs 43 tries, 42715972 fired transitions, 2315 secs || 38537229 markings, 42517070 edges, 17186 markings/sec, 2315 secs 43 tries, 42809725 fired transitions, 2320 secs || 38619044 markings, 42606836 edges, 16363 markings/sec, 2320 secs 43 tries, 42904453 fired transitions, 2325 secs || 38704385 markings, 42701031 edges, 17068 markings/sec, 2325 secs 43 tries, 42996703 fired transitions, 2330 secs || 38792631 markings, 42797803 edges, 17649 markings/sec, 2330 secs 44 tries, 43091927 fired transitions, 2335 secs || 38876291 markings, 42889636 edges, 16732 markings/sec, 2335 secs 44 tries, 43184900 fired transitions, 2340 secs || 38967383 markings, 42992077 edges, 18218 markings/sec, 2340 secs 44 tries, 43278321 fired transitions, 2345 secs || 39052361 markings, 43086058 edges, 16996 markings/sec, 2345 secs 44 tries, 43373558 fired transitions, 2350 secs || 39134382 markings, 43176561 edges, 16404 markings/sec, 2350 secs 44 tries, 43467109 fired transitions, 2355 secs || 39215960 markings, 43266239 edges, 16316 markings/sec, 2355 secs 44 tries, 43560598 fired transitions, 2360 secs || 39302612 markings, 43362680 edges, 17330 markings/sec, 2360 secs 44 tries, 43654092 fired transitions, 2365 secs || 39386070 markings, 43454482 edges, 16692 markings/sec, 2365 secs 44 tries, 43747610 fired transitions, 2370 secs || 39467155 markings, 43543621 edges, 16217 markings/sec, 2370 secs 44 tries, 43840499 fired transitions, 2375 secs || 39549792 markings, 43634383 edges, 16527 markings/sec, 2375 secs 44 tries, 43934446 fired transitions, 2380 secs || 39634265 markings, 43728163 edges, 16895 markings/sec, 2380 secs 45 tries, 44029784 fired transitions, 2385 secs || 39715691 markings, 43817517 edges, 16285 markings/sec, 2385 secs 45 tries, 44124490 fired transitions, 2390 secs || 39798585 markings, 43908687 edges, 16579 markings/sec, 2390 secs 45 tries, 44220222 fired transitions, 2395 secs || 39879063 markings, 43997296 edges, 16096 markings/sec, 2395 secs 45 tries, 44318728 fired transitions, 2400 secs || 39970392 markings, 44098141 edges, 18266 markings/sec, 2400 secs 45 tries, 44416260 fired transitions, 2405 secs || 40061433 markings, 44198718 edges, 18208 markings/sec, 2405 secs 45 tries, 44514114 fired transitions, 2410 secs || 40147277 markings, 44293709 edges, 17169 markings/sec, 2410 secs 45 tries, 44613205 fired transitions, 2415 secs || 40229653 markings, 44383841 edges, 16475 markings/sec, 2415 secs 45 tries, 44710286 fired transitions, 2420 secs || 40318454 markings, 44482166 edges, 17760 markings/sec, 2420 secs 45 tries, 44808274 fired transitions, 2425 secs || 40404663 markings, 44577225 edges, 17242 markings/sec, 2425 secs 45 tries, 44904279 fired transitions, 2430 secs || 40493826 markings, 44675968 edges, 17833 markings/sec, 2430 secs 46 tries, 45002835 fired transitions, 2435 secs || 40582099 markings, 44774416 edges, 17655 markings/sec, 2435 secs 46 tries, 45099948 fired transitions, 2440 secs || 40668897 markings, 44870112 edges, 17360 markings/sec, 2440 secs 46 tries, 45197828 fired transitions, 2445 secs || 40754000 markings, 44963650 edges, 17021 markings/sec, 2445 secs 46 tries, 45295555 fired transitions, 2450 secs || 40843259 markings, 45063214 edges, 17852 markings/sec, 2450 secs 46 tries, 45394837 fired transitions, 2455 secs || 40929678 markings, 45158269 edges, 17284 markings/sec, 2455 secs 46 tries, 45492010 fired transitions, 2460 secs || 41014252 markings, 45251344 edges, 16915 markings/sec, 2460 secs 46 tries, 45588587 fired transitions, 2465 secs || 41105608 markings, 45352692 edges, 18271 markings/sec, 2465 secs 46 tries, 45686020 fired transitions, 2470 secs || 41192686 markings, 45449675 edges, 17416 markings/sec, 2470 secs 46 tries, 45782833 fired transitions, 2475 secs || 41277667 markings, 45543095 edges, 16996 markings/sec, 2475 secs 46 tries, 45880179 fired transitions, 2480 secs || 41367690 markings, 45642973 edges, 18005 markings/sec, 2480 secs 46 tries, 45976760 fired transitions, 2485 secs || 41462231 markings, 45749136 edges, 18908 markings/sec, 2485 secs 47 tries, 46074442 fired transitions, 2490 secs || 41555520 markings, 45854451 edges, 18658 markings/sec, 2490 secs 47 tries, 46172106 fired transitions, 2495 secs || 41645919 markings, 45954419 edges, 18080 markings/sec, 2495 secs 47 tries, 46269183 fired transitions, 2500 secs || 41734223 markings, 46052510 edges, 17661 markings/sec, 2500 secs 47 tries, 46366623 fired transitions, 2505 secs || 41823355 markings, 46150335 edges, 17826 markings/sec, 2505 secs 47 tries, 46463988 fired transitions, 2510 secs || 41910254 markings, 46246252 edges, 17380 markings/sec, 2510 secs 47 tries, 46561589 fired transitions, 2515 secs || 42002905 markings, 46350273 edges, 18530 markings/sec, 2515 secs 47 tries, 46658560 fired transitions, 2520 secs || 42089418 markings, 46445447 edges, 17303 markings/sec, 2520 secs 47 tries, 46754517 fired transitions, 2525 secs || 42173207 markings, 46537601 edges, 16758 markings/sec, 2525 secs 47 tries, 46851884 fired transitions, 2530 secs || 42257424 markings, 46629892 edges, 16843 markings/sec, 2530 secs 47 tries, 46948464 fired transitions, 2535 secs || 42341577 markings, 46722083 edges, 16831 markings/sec, 2535 secs 48 tries, 47047506 fired transitions, 2540 secs || 42428994 markings, 46818345 edges, 17483 markings/sec, 2540 secs 48 tries, 47142878 fired transitions, 2545 secs || 42518328 markings, 46918542 edges, 17867 markings/sec, 2545 secs 48 tries, 47240020 fired transitions, 2550 secs || 42600032 markings, 47008000 edges, 16341 markings/sec, 2550 secs 48 tries, 47337021 fired transitions, 2555 secs || 42687023 markings, 47103738 edges, 17398 markings/sec, 2555 secs 48 tries, 47431671 fired transitions, 2560 secs || 42769393 markings, 47194639 edges, 16474 markings/sec, 2560 secs 48 tries, 47526419 fired transitions, 2565 secs || 42854002 markings, 47287753 edges, 16922 markings/sec, 2565 secs 48 tries, 47620262 fired transitions, 2570 secs || 42934358 markings, 47375995 edges, 16071 markings/sec, 2570 secs 48 tries, 47714815 fired transitions, 2575 secs || 43020382 markings, 47471586 edges, 17205 markings/sec, 2575 secs 48 tries, 47808942 fired transitions, 2580 secs || 43106426 markings, 47567362 edges, 17209 markings/sec, 2580 secs 48 tries, 47902587 fired transitions, 2585 secs || 43188214 markings, 47657314 edges, 16358 markings/sec, 2585 secs 48 tries, 47996595 fired transitions, 2590 secs || 43270721 markings, 47747884 edges, 16501 markings/sec, 2590 secs 49 tries, 48085544 fired transitions, 2595 secs || 43359179 markings, 47847955 edges, 17692 markings/sec, 2595 secs 49 tries, 48175953 fired transitions, 2600 secs || 43438290 markings, 47934473 edges, 15822 markings/sec, 2600 secs 49 tries, 48265891 fired transitions, 2605 secs || 43511831 markings, 48015148 edges, 14708 markings/sec, 2605 secs 49 tries, 48354269 fired transitions, 2610 secs || 43587776 markings, 48098469 edges, 15189 markings/sec, 2610 secs 49 tries, 48443682 fired transitions, 2615 secs || 43670027 markings, 48189311 edges, 16450 markings/sec, 2615 secs 49 tries, 48533304 fired transitions, 2620 secs || 43747542 markings, 48274576 edges, 15503 markings/sec, 2620 secs 49 tries, 48622371 fired transitions, 2625 secs || 43828241 markings, 48363199 edges, 16140 markings/sec, 2625 secs 49 tries, 48711982 fired transitions, 2630 secs || 43904134 markings, 48446816 edges, 15179 markings/sec, 2630 secs 49 tries, 48801243 fired transitions, 2635 secs || 43992465 markings, 48546956 edges, 17666 markings/sec, 2635 secs 49 tries, 48890650 fired transitions, 2640 secs || 44081382 markings, 48647818 edges, 17783 markings/sec, 2640 secs 49 tries, 48979545 fired transitions, 2645 secs || 44170298 markings, 48748053 edges, 17783 markings/sec, 2645 secs 50 tries, 49071176 fired transitions, 2650 secs || 44257618 markings, 48846308 edges, 17464 markings/sec, 2650 secs 50 tries, 49160242 fired transitions, 2655 secs || 44342786 markings, 48942337 edges, 17034 markings/sec, 2655 secs 50 tries, 49250732 fired transitions, 2660 secs || 44427850 markings, 49038045 edges, 17013 markings/sec, 2660 secs 50 tries, 49344500 fired transitions, 2665 secs || 44516604 markings, 49138082 edges, 17751 markings/sec, 2665 secs 50 tries, 49436105 fired transitions, 2670 secs || 44602226 markings, 49233882 edges, 17124 markings/sec, 2670 secs 50 tries, 49528558 fired transitions, 2675 secs || 44690725 markings, 49333678 edges, 17700 markings/sec, 2675 secs 50 tries, 49620897 fired transitions, 2680 secs || 44774385 markings, 49426770 edges, 16732 markings/sec, 2680 secs 50 tries, 49714156 fired transitions, 2685 secs || 44858375 markings, 49520763 edges, 16798 markings/sec, 2685 secs 50 tries, 49804271 fired transitions, 2690 secs || 44941149 markings, 49612951 edges, 16555 markings/sec, 2690 secs 50 tries, 49897030 fired transitions, 2695 secs || 45026006 markings, 49708215 edges, 16971 markings/sec, 2695 secs 50 tries, 49989069 fired transitions, 2700 secs || 45116237 markings, 49810805 edges, 18046 markings/sec, 2700 secs 51 tries, 50082883 fired transitions, 2705 secs || 45200419 markings, 49904986 edges, 16836 markings/sec, 2705 secs 51 tries, 50174194 fired transitions, 2710 secs || 45281115 markings, 49994422 edges, 16139 markings/sec, 2710 secs 51 tries, 50267068 fired transitions, 2715 secs || 45358673 markings, 50079728 edges, 15512 markings/sec, 2715 secs 51 tries, 50358464 fired transitions, 2720 secs || 45441426 markings, 50170926 edges, 16551 markings/sec, 2720 secs 51 tries, 50451113 fired transitions, 2725 secs || 45519909 markings, 50256871 edges, 15697 markings/sec, 2725 secs 51 tries, 50543457 fired transitions, 2730 secs || 45603075 markings, 50348476 edges, 16633 markings/sec, 2730 secs 51 tries, 50636035 fired transitions, 2735 secs || 45686782 markings, 50440875 edges, 16741 markings/sec, 2735 secs 51 tries, 50727645 fired transitions, 2740 secs || 45765392 markings, 50526668 edges, 15722 markings/sec, 2740 secs 51 tries, 50821099 fired transitions, 2745 secs || 45843988 markings, 50612800 edges, 15719 markings/sec, 2745 secs 51 tries, 50914106 fired transitions, 2750 secs || 45923222 markings, 50699680 edges, 15847 markings/sec, 2750 secs 52 tries, 51007088 fired transitions, 2755 secs || 46004272 markings, 50789732 edges, 16210 markings/sec, 2755 secs 52 tries, 51099209 fired transitions, 2760 secs || 46082501 markings, 50875184 edges, 15646 markings/sec, 2760 secs 52 tries, 51191600 fired transitions, 2765 secs || 46165139 markings, 50966528 edges, 16528 markings/sec, 2765 secs 52 tries, 51284174 fired transitions, 2770 secs || 46246030 markings, 51055549 edges, 16178 markings/sec, 2770 secs 52 tries, 51375580 fired transitions, 2775 secs || 46333398 markings, 51152913 edges, 17474 markings/sec, 2775 secs 52 tries, 51468752 fired transitions, 2780 secs || 46417670 markings, 51245804 edges, 16854 markings/sec, 2780 secs 52 tries, 51558811 fired transitions, 2785 secs || 46500312 markings, 51336235 edges, 16528 markings/sec, 2785 secs 52 tries, 51651355 fired transitions, 2790 secs || 46581571 markings, 51425179 edges, 16252 markings/sec, 2790 secs 52 tries, 51743200 fired transitions, 2795 secs || 46662470 markings, 51514073 edges, 16180 markings/sec, 2795 secs 52 tries, 51836083 fired transitions, 2800 secs || 46747006 markings, 51607597 edges, 16907 markings/sec, 2800 secs 52 tries, 51927166 fired transitions, 2805 secs || 46832559 markings, 51702089 edges, 17111 markings/sec, 2805 secs 53 tries, 52018652 fired transitions, 2810 secs || 46913441 markings, 51791112 edges, 16176 markings/sec, 2810 secs 53 tries, 52111320 fired transitions, 2815 secs || 46997460 markings, 51883457 edges, 16804 markings/sec, 2815 secs 53 tries, 52204182 fired transitions, 2820 secs || 47081512 markings, 51976993 edges, 16810 markings/sec, 2820 secs 53 tries, 52296377 fired transitions, 2825 secs || 47161645 markings, 52064632 edges, 16027 markings/sec, 2825 secs 53 tries, 52388289 fired transitions, 2830 secs || 47242485 markings, 52153409 edges, 16168 markings/sec, 2830 secs 53 tries, 52480491 fired transitions, 2835 secs || 47324586 markings, 52243737 edges, 16420 markings/sec, 2835 secs 53 tries, 52573793 fired transitions, 2840 secs || 47404482 markings, 52332050 edges, 15979 markings/sec, 2840 secs 53 tries, 52665854 fired transitions, 2845 secs || 47491750 markings, 52429235 edges, 17454 markings/sec, 2845 secs 53 tries, 52757914 fired transitions, 2850 secs || 47573811 markings, 52519559 edges, 16412 markings/sec, 2850 secs 53 tries, 52850288 fired transitions, 2855 secs || 47657041 markings, 52611781 edges, 16646 markings/sec, 2855 secs 53 tries, 52939055 fired transitions, 2860 secs || 47738031 markings, 52700985 edges, 16198 markings/sec, 2860 secs 54 tries, 53032489 fired transitions, 2865 secs || 47820917 markings, 52792176 edges, 16577 markings/sec, 2865 secs 54 tries, 53120736 fired transitions, 2870 secs || 47905431 markings, 52886408 edges, 16903 markings/sec, 2870 secs 54 tries, 53212479 fired transitions, 2875 secs || 47986766 markings, 52976173 edges, 16267 markings/sec, 2875 secs 54 tries, 53303474 fired transitions, 2880 secs || 48067420 markings, 53065226 edges, 16131 markings/sec, 2880 secs 54 tries, 53396955 fired transitions, 2885 secs || 48150842 markings, 53157422 edges, 16684 markings/sec, 2885 secs 54 tries, 53489504 fired transitions, 2890 secs || 48228704 markings, 53242873 edges, 15572 markings/sec, 2890 secs 54 tries, 53582083 fired transitions, 2895 secs || 48308675 markings, 53330465 edges, 15994 markings/sec, 2895 secs 54 tries, 53673857 fired transitions, 2900 secs || 48394438 markings, 53424684 edges, 17153 markings/sec, 2900 secs 54 tries, 53765877 fired transitions, 2905 secs || 48477480 markings, 53516565 edges, 16608 markings/sec, 2905 secs 54 tries, 53857537 fired transitions, 2910 secs || 48556342 markings, 53603044 edges, 15772 markings/sec, 2910 secs 54 tries, 53948816 fired transitions, 2915 secs || 48634504 markings, 53688369 edges, 15632 markings/sec, 2915 secs 55 tries, 54038352 fired transitions, 2920 secs || 48716791 markings, 53780289 edges, 16457 markings/sec, 2920 secs 55 tries, 54129314 fired transitions, 2925 secs || 48800138 markings, 53873992 edges, 16669 markings/sec, 2925 secs 55 tries, 54222990 fired transitions, 2930 secs || 48880078 markings, 53962168 edges, 15988 markings/sec, 2930 secs 55 tries, 54313303 fired transitions, 2935 secs || 48958174 markings, 54048460 edges, 15619 markings/sec, 2935 secs 55 tries, 54404605 fired transitions, 2940 secs || 49036277 markings, 54133909 edges, 15621 markings/sec, 2940 secs 55 tries, 54495194 fired transitions, 2945 secs || 49110570 markings, 54214660 edges, 14859 markings/sec, 2945 secs 55 tries, 54587569 fired transitions, 2950 secs || 49196905 markings, 54311196 edges, 17267 markings/sec, 2950 secs 55 tries, 54679358 fired transitions, 2955 secs || 49276289 markings, 54398258 edges, 15877 markings/sec, 2955 secs 55 tries, 54773235 fired transitions, 2960 secs || 49358945 markings, 54489453 edges, 16531 markings/sec, 2960 secs 55 tries, 54864512 fired transitions, 2965 secs || 49441894 markings, 54581232 edges, 16590 markings/sec, 2965 secs 55 tries, 54957378 fired transitions, 2970 secs || 49522867 markings, 54670418 edges, 16195 markings/sec, 2970 secs 56 tries, 55050562 fired transitions, 2975 secs || 49604767 markings, 54760402 edges, 16380 markings/sec, 2975 secs 56 tries, 55143163 fired transitions, 2980 secs || 49685388 markings, 54849252 edges, 16124 markings/sec, 2980 secs 56 tries, 55236398 fired transitions, 2985 secs || 49768587 markings, 54940702 edges, 16640 markings/sec, 2985 secs 56 tries, 55332105 fired transitions, 2990 secs || 49852586 markings, 55032604 edges, 16800 markings/sec, 2990 secs 56 tries, 55428063 fired transitions, 2995 secs || 49937918 markings, 55126287 edges, 17066 markings/sec, 2995 secs 56 tries, 55516228 fired transitions, 3000 secs || 50015832 markings, 55211804 edges, 15583 markings/sec, 3000 secs 56 tries, 55605943 fired transitions, 3005 secs || 50098296 markings, 55303532 edges, 16493 markings/sec, 3005 secs 56 tries, 55696659 fired transitions, 3010 secs || 50179888 markings, 55393534 edges, 16318 markings/sec, 3010 secs 56 tries, 55787919 fired transitions, 3015 secs || 50261977 markings, 55484458 edges, 16418 markings/sec, 3015 secs 56 tries, 55878045 fired transitions, 3020 secs || 50343639 markings, 55574888 edges, 16332 markings/sec, 3020 secs 56 tries, 55969463 fired transitions, 3025 secs || 50427127 markings, 55668022 edges, 16698 markings/sec, 3025 secs 57 tries, 56061722 fired transitions, 3030 secs || 50506400 markings, 55755460 edges, 15855 markings/sec, 3030 secs 57 tries, 56152696 fired transitions, 3035 secs || 50592012 markings, 55851373 edges, 17122 markings/sec, 3035 secs 57 tries, 56244258 fired transitions, 3040 secs || 50671321 markings, 55938293 edges, 15862 markings/sec, 3040 secs 57 tries, 56336245 fired transitions, 3045 secs || 50751797 markings, 56027408 edges, 16095 markings/sec, 3045 secs 57 tries, 56427793 fired transitions, 3050 secs || 50831850 markings, 56115609 edges, 16011 markings/sec, 3050 secs 57 tries, 56519071 fired transitions, 3055 secs || 50908241 markings, 56199033 edges, 15278 markings/sec, 3055 secs 57 tries, 56610629 fired transitions, 3060 secs || 50985289 markings, 56283310 edges, 15410 markings/sec, 3060 secs 57 tries, 56701858 fired transitions, 3065 secs || 51070684 markings, 56378850 edges, 17079 markings/sec, 3065 secs 57 tries, 56794777 fired transitions, 3070 secs || 51152227 markings, 56469206 edges, 16309 markings/sec, 3070 secs 57 tries, 56887619 fired transitions, 3075 secs || 51231803 markings, 56556814 edges, 15915 markings/sec, 3075 secs 57 tries, 56980112 fired transitions, 3080 secs || 51313967 markings, 56647772 edges, 16433 markings/sec, 3080 secs 58 tries, 57074951 fired transitions, 3085 secs || 51399442 markings, 56742778 edges, 17095 markings/sec, 3085 secs 58 tries, 57166328 fired transitions, 3090 secs || 51482234 markings, 56834722 edges, 16558 markings/sec, 3090 secs 58 tries, 57259830 fired transitions, 3095 secs || 51562519 markings, 56923114 edges, 16057 markings/sec, 3095 secs 58 tries, 57355297 fired transitions, 3100 secs || 51650973 markings, 57021697 edges, 17691 markings/sec, 3100 secs 58 tries, 57449393 fired transitions, 3105 secs || 51740519 markings, 57120757 edges, 17909 markings/sec, 3105 secs 58 tries, 57542571 fired transitions, 3110 secs || 51826491 markings, 57215243 edges, 17194 markings/sec, 3110 secs 58 tries, 57635792 fired transitions, 3115 secs || 51907018 markings, 57303591 edges, 16105 markings/sec, 3115 secs 58 tries, 57728866 fired transitions, 3120 secs || 51985632 markings, 57389509 edges, 15723 markings/sec, 3120 secs 58 tries, 57823506 fired transitions, 3125 secs || 52064979 markings, 57476586 edges, 15869 markings/sec, 3125 secs 58 tries, 57918411 fired transitions, 3130 secs || 52147202 markings, 57567171 edges, 16445 markings/sec, 3130 secs 59 tries, 58012240 fired transitions, 3135 secs || 52228558 markings, 57656725 edges, 16271 markings/sec, 3135 secs 59 tries, 58106132 fired transitions, 3140 secs || 52312299 markings, 57749985 edges, 16748 markings/sec, 3140 secs 59 tries, 58200261 fired transitions, 3145 secs || 52396992 markings, 57843526 edges, 16939 markings/sec, 3145 secs 59 tries, 58294717 fired transitions, 3150 secs || 52482029 markings, 57937319 edges, 17007 markings/sec, 3150 secs 59 tries, 58388728 fired transitions, 3155 secs || 52563482 markings, 58026837 edges, 16291 markings/sec, 3155 secs 59 tries, 58482699 fired transitions, 3160 secs || 52643376 markings, 58114633 edges, 15979 markings/sec, 3160 secs 59 tries, 58576678 fired transitions, 3165 secs || 52727677 markings, 58207727 edges, 16860 markings/sec, 3165 secs 59 tries, 58669580 fired transitions, 3170 secs || 52805637 markings, 58293479 edges, 15592 markings/sec, 3170 secs 59 tries, 58764376 fired transitions, 3175 secs || 52888472 markings, 58384504 edges, 16567 markings/sec, 3175 secs 59 tries, 58858366 fired transitions, 3180 secs || 52973477 markings, 58478232 edges, 17001 markings/sec, 3180 secs 59 tries, 58949670 fired transitions, 3185 secs || 53057562 markings, 58570730 edges, 16817 markings/sec, 3185 secs 60 tries, 59041286 fired transitions, 3190 secs || 53139110 markings, 58659975 edges, 16310 markings/sec, 3190 secs 60 tries, 59132397 fired transitions, 3195 secs || 53217317 markings, 58745750 edges, 15641 markings/sec, 3195 secs 60 tries, 59225275 fired transitions, 3200 secs || 53299526 markings, 58835567 edges, 16442 markings/sec, 3200 secs 60 tries, 59316915 fired transitions, 3205 secs || 53376039 markings, 58919993 edges, 15303 markings/sec, 3205 secs 60 tries, 59407012 fired transitions, 3210 secs || 53458216 markings, 59011211 edges, 16435 markings/sec, 3210 secs 60 tries, 59499003 fired transitions, 3215 secs || 53538174 markings, 59099315 edges, 15992 markings/sec, 3215 secs 60 tries, 59591357 fired transitions, 3220 secs || 53620784 markings, 59190343 edges, 16522 markings/sec, 3220 secs 60 tries, 59681902 fired transitions, 3225 secs || 53699832 markings, 59277556 edges, 15810 markings/sec, 3225 secs 60 tries, 59771830 fired transitions, 3230 secs || 53782393 markings, 59369230 edges, 16512 markings/sec, 3230 secs 60 tries, 59864131 fired transitions, 3235 secs || 53868316 markings, 59465523 edges, 17185 markings/sec, 3235 secs 60 tries, 59955183 fired transitions, 3240 secs || 53948401 markings, 59553802 edges, 16017 markings/sec, 3240 secs 61 tries, 60046868 fired transitions, 3245 secs || 54030883 markings, 59645822 edges, 16496 markings/sec, 3245 secs 61 tries, 60137443 fired transitions, 3250 secs || 54108944 markings, 59731812 edges, 15612 markings/sec, 3250 secs 61 tries, 60232396 fired transitions, 3255 secs || 54195197 markings, 59827879 edges, 17251 markings/sec, 3255 secs 61 tries, 60327282 fired transitions, 3260 secs || 54279202 markings, 59921102 edges, 16801 markings/sec, 3260 secs 61 tries, 60420661 fired transitions, 3265 secs || 54362668 markings, 60012735 edges, 16693 markings/sec, 3265 secs 61 tries, 60513958 fired transitions, 3270 secs || 54446315 markings, 60105263 edges, 16729 markings/sec, 3270 secs 61 tries, 60609171 fired transitions, 3275 secs || 54532425 markings, 60200970 edges, 17222 markings/sec, 3275 secs 61 tries, 60704286 fired transitions, 3280 secs || 54620017 markings, 60298834 edges, 17518 markings/sec, 3280 secs 61 tries, 60800243 fired transitions, 3285 secs || 54704322 markings, 60391382 edges, 16861 markings/sec, 3285 secs 61 tries, 60895639 fired transitions, 3290 secs || 54782841 markings, 60477419 edges, 15704 markings/sec, 3290 secs 61 tries, 60990908 fired transitions, 3295 secs || 54862140 markings, 60564257 edges, 15860 markings/sec, 3295 secs 62 tries, 61087358 fired transitions, 3300 secs || 54941471 markings, 60651969 edges, 15866 markings/sec, 3300 secs 62 tries, 61182727 fired transitions, 3305 secs || 55020232 markings, 60738602 edges, 15752 markings/sec, 3305 secs 62 tries, 61278205 fired transitions, 3310 secs || 55097729 markings, 60823379 edges, 15499 markings/sec, 3310 secs 62 tries, 61372908 fired transitions, 3315 secs || 55177597 markings, 60911550 edges, 15974 markings/sec, 3315 secs 62 tries, 61467440 fired transitions, 3320 secs || 55256780 markings, 60998948 edges, 15837 markings/sec, 3320 secs 62 tries, 61562092 fired transitions, 3325 secs || 55344495 markings, 61096856 edges, 17543 markings/sec, 3325 secs 62 tries, 61657558 fired transitions, 3330 secs || 55432503 markings, 61195113 edges, 17602 markings/sec, 3330 secs 62 tries, 61753238 fired transitions, 3335 secs || 55520297 markings, 61293110 edges, 17559 markings/sec, 3335 secs 62 tries, 61848969 fired transitions, 3340 secs || 55612141 markings, 61396193 edges, 18369 markings/sec, 3340 secs 62 tries, 61940409 fired transitions, 3345 secs || 55701282 markings, 61496208 edges, 17828 markings/sec, 3345 secs 63 tries, 62034515 fired transitions, 3350 secs || 55778890 markings, 61582460 edges, 15522 markings/sec, 3350 secs 63 tries, 62125658 fired transitions, 3355 secs || 55865729 markings, 61680014 edges, 17368 markings/sec, 3355 secs 63 tries, 62217103 fired transitions, 3360 secs || 55949796 markings, 61773865 edges, 16813 markings/sec, 3360 secs 63 tries, 62308568 fired transitions, 3365 secs || 56031380 markings, 61864571 edges, 16317 markings/sec, 3365 secs 63 tries, 62401090 fired transitions, 3370 secs || 56118834 markings, 61962561 edges, 17491 markings/sec, 3370 secs 63 tries, 62491979 fired transitions, 3375 secs || 56207503 markings, 62062136 edges, 17734 markings/sec, 3375 secs 63 tries, 62584445 fired transitions, 3380 secs || 56295771 markings, 62161527 edges, 17654 markings/sec, 3380 secs 63 tries, 62675374 fired transitions, 3385 secs || 56385777 markings, 62263011 edges, 18001 markings/sec, 3385 secs 63 tries, 62766814 fired transitions, 3390 secs || 56475153 markings, 62363809 edges, 17875 markings/sec, 3390 secs 63 tries, 62859291 fired transitions, 3395 secs || 56562447 markings, 62462061 edges, 17459 markings/sec, 3395 secs 63 tries, 62952473 fired transitions, 3400 secs || 56651046 markings, 62561902 edges, 17720 markings/sec, 3400 secs 64 tries, 63046762 fired transitions, 3405 secs || 56741838 markings, 62664990 edges, 18158 markings/sec, 3405 secs 64 tries, 63137687 fired transitions, 3410 secs || 56832512 markings, 62767994 edges, 18135 markings/sec, 3410 secs 64 tries, 63230194 fired transitions, 3415 secs || 56924304 markings, 62872330 edges, 18358 markings/sec, 3415 secs 64 tries, 63321258 fired transitions, 3420 secs || 57014284 markings, 62974585 edges, 17996 markings/sec, 3420 secs 64 tries, 63411954 fired transitions, 3425 secs || 57097335 markings, 63068373 edges, 16610 markings/sec, 3425 secs 64 tries, 63499957 fired transitions, 3430 secs || 57158820 markings, 63138491 edges, 12297 markings/sec, 3430 secs 64 tries, 63542316 fired transitions, 3435 secs || 57181688 markings, 63164324 edges, 4574 markings/sec, 3435 secs 64 tries, 63559133 fired transitions, 3440 secs || 57182464 markings, 63165192 edges, 155 markings/sec, 3440 secs 64 tries, 63559539 fired transitions, 3445 secs || 57182482 markings, 63165213 edges, 4 markings/sec, 3445 secs 64 tries, 63559919 fired transitions, 3450 secs || 57182495 markings, 63165231 edges, 3 markings/sec, 3450 secs 2b-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-12b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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