MCC'2018 - Execution of r064-smll-152649735200125

About the Execution of LoLA for DLCround-PT-11b

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15919.160	3572367.00	7012743.00	27127.80	[undef]	Cannot compute

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 1.9M
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11b,
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 1526662864658

info: Time: 3600 - MCC
========================
prep: translating
========================
prep: translating
prep: net is already safe
prep: check for too many tokens
========================
prep: translating
========================
prep: translating
vrfy: Checking
lola: LoLA will
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 11366/65536
lola: preprocessing...
lola: Size of bit vector: 4375
lola: finding
lola: 4375 places,
lola: computing
lola: computing
lola: 10066 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: rewrite
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: computed
lola: representing
lola: 0 dead
lola: STP: formula
lola: stp: The
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: time limit

BK_STOP 1526666437025

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

Segmentation fault
be ready (probing ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. users 3.7K May 15 18:54 CTLCardinality.txt 21K May 15 18:54 CTLCardinality.xml users 2.1K May 15 18:54 CTLFireability.txt 12K 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.5K May 15 18:54 LTLCardinality.txt 11K May 15 18:54 LTLCardinality.xml users 1.9K May 15 18:54 LTLFireability.txt users 9.4K May 15 18:54 LTLFireability.xml users 3.5K May 15 18:54 ReachabilityCardinality.txt 18K May 15 18:54 ReachabilityCardinality.xml 106 May 15 18:54 ReachabilityDeadlock.txt 344 May 15 18:54 ReachabilityDeadlock.xml users 2.5K May 15 18:54 ReachabilityFireability.txt 14K 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.7M May 15 18:50 model.pnml =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735200125 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -11b-ReachabilityDeadlock-0 of the tool begins =================================================================== DLCround-PT-11b Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DLCround-PT-11b formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DLCround-PT-11b @ 3570 seconds run for 3570 seconds at most (--timelimit) net from model.pnml.lola net file model.pnml.lola symbol table entries, 3163 collisions significant places 6991 transitions, 4131 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-11b-ReachabilityDeadlock.task Frontend/Parser/formula_rewrite.k:106 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) simple compression encoder (--encoder=simplecompressed) 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) 16 generators (16 in search tree, 0 by composition) 65536 symmetries branches visited in search tree with 139010 variables and 422755 clauses shipped to Minisat siphon/trap property does not hold 1 tries, 114972 fired transitions, 0 secs || 54334 markings, 62197 edges, 10867 markings/sec, 0 secs 1 tries, 228305 fired transitions, 5 secs || 113094 markings, 129895 edges, 11752 markings/sec, 5 secs 1 tries, 342218 fired transitions, 10 secs || 173252 markings, 199031 edges, 12032 markings/sec, 10 secs 1 tries, 459173 fired transitions, 15 secs || 232348 markings, 264008 edges, 11819 markings/sec, 15 secs 1 tries, 574938 fired transitions, 20 secs || 293221 markings, 330983 edges, 12175 markings/sec, 20 secs 1 tries, 686055 fired transitions, 25 secs || 350876 markings, 394759 edges, 11531 markings/sec, 25 secs 1 tries, 802623 fired transitions, 30 secs || 410989 markings, 461303 edges, 12023 markings/sec, 30 secs 1 tries, 914672 fired transitions, 35 secs || 468478 markings, 524998 edges, 11498 markings/sec, 35 secs 2 tries, 1027788 fired transitions, 40 secs || 526690 markings, 589629 edges, 11642 markings/sec, 40 secs 2 tries, 1143479 fired transitions, 45 secs || 585477 markings, 653728 edges, 11757 markings/sec, 45 secs 2 tries, 1259082 fired transitions, 50 secs || 644459 markings, 718403 edges, 11796 markings/sec, 50 secs 2 tries, 1369911 fired transitions, 55 secs || 702830 markings, 784274 edges, 11674 markings/sec, 55 secs 2 tries, 1486907 fired transitions, 60 secs || 765056 markings, 854874 edges, 12445 markings/sec, 60 secs 2 tries, 1601732 fired transitions, 65 secs || 829493 markings, 928848 edges, 12887 markings/sec, 65 secs 2 tries, 1713268 fired transitions, 70 secs || 887563 markings, 993169 edges, 11614 markings/sec, 70 secs 2 tries, 1822073 fired transitions, 75 secs || 945935 markings, 1057810 edges, 11674 markings/sec, 75 secs 2 tries, 1932252 fired transitions, 80 secs || 1004976 markings, 1123279 edges, 11808 markings/sec, 80 secs 3 tries, 2048626 fired transitions, 85 secs || 1066907 markings, 1191915 edges, 12386 markings/sec, 85 secs 3 tries, 2164729 fired transitions, 90 secs || 1127465 markings, 1258584 edges, 12112 markings/sec, 90 secs 3 tries, 2280397 fired transitions, 95 secs || 1186133 markings, 1322928 edges, 11734 markings/sec, 95 secs 3 tries, 2388581 fired transitions, 100 secs || 1244908 markings, 1388076 edges, 11755 markings/sec, 100 secs 3 tries, 2504590 fired transitions, 105 secs || 1309216 markings, 1459895 edges, 12862 markings/sec, 105 secs 3 tries, 2621114 fired transitions, 110 secs || 1374220 markings, 1532510 edges, 13001 markings/sec, 110 secs 3 tries, 2736217 fired transitions, 115 secs || 1433823 markings, 1598043 edges, 11921 markings/sec, 115 secs 3 tries, 2850285 fired transitions, 120 secs || 1497566 markings, 1669610 edges, 12749 markings/sec, 120 secs 3 tries, 2960036 fired transitions, 125 secs || 1555356 markings, 1733301 edges, 11558 markings/sec, 125 secs 4 tries, 3069905 fired transitions, 130 secs || 1613195 markings, 1797018 edges, 11568 markings/sec, 130 secs 4 tries, 3176604 fired transitions, 135 secs || 1671591 markings, 1861803 edges, 11679 markings/sec, 135 secs 4 tries, 3285269 fired transitions, 140 secs || 1729569 markings, 1925471 edges, 11596 markings/sec, 140 secs 4 tries, 3396224 fired transitions, 145 secs || 1792435 markings, 1995776 edges, 12573 markings/sec, 145 secs 4 tries, 3504168 fired transitions, 150 secs || 1853767 markings, 2064241 edges, 12266 markings/sec, 150 secs 4 tries, 3612742 fired transitions, 155 secs || 1913359 markings, 2130298 edges, 11918 markings/sec, 155 secs 4 tries, 3721482 fired transitions, 160 secs || 1971486 markings, 2194310 edges, 11625 markings/sec, 160 secs 4 tries, 3831245 fired transitions, 165 secs || 2032388 markings, 2262504 edges, 12180 markings/sec, 165 secs 4 tries, 3941247 fired transitions, 170 secs || 2091912 markings, 2328763 edges, 11905 markings/sec, 170 secs 5 tries, 4052967 fired transitions, 175 secs || 2151462 markings, 2395022 edges, 11910 markings/sec, 175 secs 5 tries, 4163637 fired transitions, 180 secs || 2210972 markings, 2460928 edges, 11902 markings/sec, 180 secs 5 tries, 4275893 fired transitions, 185 secs || 2274663 markings, 2532538 edges, 12738 markings/sec, 185 secs 5 tries, 4389402 fired transitions, 190 secs || 2335569 markings, 2600487 edges, 12181 markings/sec, 190 secs 5 tries, 4500244 fired transitions, 195 secs || 2394136 markings, 2665072 edges, 11713 markings/sec, 195 secs 5 tries, 4613430 fired transitions, 200 secs || 2451728 markings, 2728510 edges, 11518 markings/sec, 200 secs 5 tries, 4725151 fired transitions, 205 secs || 2509500 markings, 2792275 edges, 11554 markings/sec, 205 secs 5 tries, 4837314 fired transitions, 210 secs || 2565248 markings, 2853405 edges, 11150 markings/sec, 210 secs 5 tries, 4949975 fired transitions, 215 secs || 2624423 markings, 2919345 edges, 11835 markings/sec, 215 secs 6 tries, 5065576 fired transitions, 220 secs || 2685977 markings, 2988286 edges, 12311 markings/sec, 220 secs 6 tries, 5177516 fired transitions, 225 secs || 2744770 markings, 3053919 edges, 11759 markings/sec, 225 secs 6 tries, 5290000 fired transitions, 230 secs || 2805315 markings, 3121651 edges, 12109 markings/sec, 230 secs 6 tries, 5403281 fired transitions, 235 secs || 2870073 markings, 3194961 edges, 12952 markings/sec, 235 secs 6 tries, 5514518 fired transitions, 240 secs || 2932769 markings, 3265444 edges, 12539 markings/sec, 240 secs 6 tries, 5628143 fired transitions, 245 secs || 2992610 markings, 3332078 edges, 11968 markings/sec, 245 secs 6 tries, 5740178 fired transitions, 250 secs || 3051659 markings, 3397356 edges, 11810 markings/sec, 250 secs 6 tries, 5852569 fired transitions, 255 secs || 3107894 markings, 3458630 edges, 11247 markings/sec, 255 secs 6 tries, 5965111 fired transitions, 260 secs || 3165963 markings, 3523051 edges, 11614 markings/sec, 260 secs 7 tries, 6077368 fired transitions, 265 secs || 3224096 markings, 3587441 edges, 11627 markings/sec, 265 secs 7 tries, 6190322 fired transitions, 270 secs || 3285263 markings, 3655830 edges, 12233 markings/sec, 270 secs 7 tries, 6303031 fired transitions, 275 secs || 3344592 markings, 3721823 edges, 11866 markings/sec, 275 secs 7 tries, 6415667 fired transitions, 280 secs || 3405142 markings, 3789369 edges, 12110 markings/sec, 280 secs 7 tries, 6526897 fired transitions, 285 secs || 3467744 markings, 3859854 edges, 12520 markings/sec, 285 secs 7 tries, 6636988 fired transitions, 290 secs || 3524949 markings, 3923473 edges, 11441 markings/sec, 290 secs 7 tries, 6748220 fired transitions, 295 secs || 3582868 markings, 3987095 edges, 11584 markings/sec, 295 secs 7 tries, 6859912 fired transitions, 300 secs || 3646901 markings, 4059024 edges, 12807 markings/sec, 300 secs 7 tries, 6970805 fired transitions, 305 secs || 3709527 markings, 4129203 edges, 12525 markings/sec, 305 secs 8 tries, 7084652 fired transitions, 310 secs || 3771546 markings, 4198921 edges, 12404 markings/sec, 310 secs 8 tries, 7197015 fired transitions, 315 secs || 3832476 markings, 4266776 edges, 12186 markings/sec, 315 secs 8 tries, 7309150 fired transitions, 320 secs || 3891243 markings, 4331752 edges, 11753 markings/sec, 320 secs 8 tries, 7414462 fired transitions, 325 secs || 3951571 markings, 4398557 edges, 12066 markings/sec, 325 secs 8 tries, 7525426 fired transitions, 330 secs || 4007068 markings, 4458873 edges, 11099 markings/sec, 330 secs 8 tries, 7637036 fired transitions, 335 secs || 4067086 markings, 4526062 edges, 12004 markings/sec, 335 secs 8 tries, 7748117 fired transitions, 340 secs || 4127203 markings, 4593374 edges, 12023 markings/sec, 340 secs 8 tries, 7856542 fired transitions, 345 secs || 4186085 markings, 4659008 edges, 11776 markings/sec, 345 secs 8 tries, 7967018 fired transitions, 350 secs || 4245629 markings, 4725561 edges, 11909 markings/sec, 350 secs 9 tries, 8077762 fired transitions, 355 secs || 4303870 markings, 4790392 edges, 11648 markings/sec, 355 secs 9 tries, 8187788 fired transitions, 360 secs || 4364127 markings, 4858058 edges, 12051 markings/sec, 360 secs 9 tries, 8301969 fired transitions, 365 secs || 4422124 markings, 4922552 edges, 11599 markings/sec, 365 secs 9 tries, 8415461 fired transitions, 370 secs || 4478499 markings, 4984787 edges, 11275 markings/sec, 370 secs 9 tries, 8529787 fired transitions, 375 secs || 4538738 markings, 5052032 edges, 12048 markings/sec, 375 secs 9 tries, 8647483 fired transitions, 380 secs || 4603554 markings, 5124812 edges, 12963 markings/sec, 380 secs 9 tries, 8760761 fired transitions, 385 secs || 4660541 markings, 5188293 edges, 11397 markings/sec, 385 secs 9 tries, 8872288 fired transitions, 390 secs || 4718688 markings, 5252874 edges, 11629 markings/sec, 390 secs 9 tries, 8985098 fired transitions, 395 secs || 4778128 markings, 5319263 edges, 11888 markings/sec, 395 secs 10 tries, 9099855 fired transitions, 400 secs || 4833110 markings, 5379570 edges, 10996 markings/sec, 400 secs 10 tries, 9211652 fired transitions, 405 secs || 4893124 markings, 5446508 edges, 12003 markings/sec, 405 secs 10 tries, 9320233 fired transitions, 410 secs || 4957601 markings, 5518846 edges, 12895 markings/sec, 410 secs 10 tries, 9430581 fired transitions, 415 secs || 5019998 markings, 5588610 edges, 12479 markings/sec, 415 secs 10 tries, 9539483 fired transitions, 420 secs || 5079122 markings, 5654758 edges, 11825 markings/sec, 420 secs 10 tries, 9643311 fired transitions, 425 secs || 5142637 markings, 5726078 edges, 12703 markings/sec, 425 secs 10 tries, 9755067 fired transitions, 430 secs || 5206022 markings, 5796904 edges, 12677 markings/sec, 430 secs 10 tries, 9868703 fired transitions, 435 secs || 5268905 markings, 5867395 edges, 12577 markings/sec, 435 secs 10 tries, 9980154 fired transitions, 440 secs || 5330486 markings, 5936707 edges, 12316 markings/sec, 440 secs 11 tries, 10090996 fired transitions, 445 secs || 5390130 markings, 6003303 edges, 11929 markings/sec, 445 secs 11 tries, 10202726 fired transitions, 450 secs || 5453682 markings, 6074853 edges, 12710 markings/sec, 450 secs 11 tries, 10312579 fired transitions, 455 secs || 5517040 markings, 6146295 edges, 12672 markings/sec, 455 secs 11 tries, 10423221 fired transitions, 460 secs || 5574130 markings, 6210135 edges, 11418 markings/sec, 460 secs 11 tries, 10533799 fired transitions, 465 secs || 5634125 markings, 6277328 edges, 11999 markings/sec, 465 secs 11 tries, 10643646 fired transitions, 470 secs || 5690302 markings, 6338881 edges, 11235 markings/sec, 470 secs 11 tries, 10753125 fired transitions, 475 secs || 5752917 markings, 6409333 edges, 12523 markings/sec, 475 secs 11 tries, 10861460 fired transitions, 480 secs || 5817019 markings, 6481970 edges, 12820 markings/sec, 480 secs 11 tries, 10971899 fired transitions, 485 secs || 5878923 markings, 6551665 edges, 12381 markings/sec, 485 secs 12 tries, 11082815 fired transitions, 490 secs || 5937514 markings, 6617768 edges, 11718 markings/sec, 490 secs 12 tries, 11192602 fired transitions, 495 secs || 5994276 markings, 6680959 edges, 11352 markings/sec, 495 secs 12 tries, 11302402 fired transitions, 500 secs || 6054265 markings, 6748076 edges, 11998 markings/sec, 500 secs 12 tries, 11413391 fired transitions, 505 secs || 6116509 markings, 6817945 edges, 12449 markings/sec, 505 secs 12 tries, 11524123 fired transitions, 510 secs || 6177974 markings, 6886946 edges, 12293 markings/sec, 510 secs 12 tries, 11635757 fired transitions, 515 secs || 6235495 markings, 6951051 edges, 11504 markings/sec, 515 secs 12 tries, 11746818 fired transitions, 520 secs || 6296349 markings, 7019292 edges, 12171 markings/sec, 520 secs 12 tries, 11857910 fired transitions, 525 secs || 6359284 markings, 7090154 edges, 12587 markings/sec, 525 secs 12 tries, 11968026 fired transitions, 530 secs || 6416426 markings, 7153776 edges, 11428 markings/sec, 530 secs 13 tries, 12081214 fired transitions, 535 secs || 6472266 markings, 7215698 edges, 11168 markings/sec, 535 secs 13 tries, 12191588 fired transitions, 540 secs || 6531573 markings, 7281682 edges, 11861 markings/sec, 540 secs 13 tries, 12302574 fired transitions, 545 secs || 6591719 markings, 7349012 edges, 12029 markings/sec, 545 secs 13 tries, 12413342 fired transitions, 550 secs || 6650636 markings, 7414752 edges, 11783 markings/sec, 550 secs 13 tries, 12523748 fired transitions, 555 secs || 6710657 markings, 7481696 edges, 12004 markings/sec, 555 secs 13 tries, 12631916 fired transitions, 560 secs || 6767461 markings, 7544764 edges, 11361 markings/sec, 560 secs 13 tries, 12742950 fired transitions, 565 secs || 6825176 markings, 7608747 edges, 11543 markings/sec, 565 secs 13 tries, 12854634 fired transitions, 570 secs || 6886310 markings, 7677235 edges, 12227 markings/sec, 570 secs 13 tries, 12965846 fired transitions, 575 secs || 6945877 markings, 7743648 edges, 11913 markings/sec, 575 secs 14 tries, 13077777 fired transitions, 580 secs || 7004416 markings, 7808858 edges, 11708 markings/sec, 580 secs 14 tries, 13187848 fired transitions, 585 secs || 7061272 markings, 7871663 edges, 11371 markings/sec, 585 secs 14 tries, 13298449 fired transitions, 590 secs || 7119622 markings, 7935895 edges, 11670 markings/sec, 590 secs 14 tries, 13409212 fired transitions, 595 secs || 7178280 markings, 8000278 edges, 11732 markings/sec, 595 secs 14 tries, 13519011 fired transitions, 600 secs || 7239941 markings, 8069441 edges, 12332 markings/sec, 600 secs 14 tries, 13628961 fired transitions, 605 secs || 7298812 markings, 8136332 edges, 11774 markings/sec, 605 secs 14 tries, 13741555 fired transitions, 610 secs || 7362995 markings, 8209277 edges, 12837 markings/sec, 610 secs 14 tries, 13851946 fired transitions, 615 secs || 7426475 markings, 8281467 edges, 12696 markings/sec, 615 secs 14 tries, 13961811 fired transitions, 620 secs || 7488232 markings, 8350668 edges, 12351 markings/sec, 620 secs 15 tries, 14073329 fired transitions, 625 secs || 7550629 markings, 8420820 edges, 12479 markings/sec, 625 secs 15 tries, 14182508 fired transitions, 630 secs || 7611037 markings, 8488240 edges, 12082 markings/sec, 630 secs 15 tries, 14291941 fired transitions, 635 secs || 7670739 markings, 8555105 edges, 11940 markings/sec, 635 secs 15 tries, 14402073 fired transitions, 640 secs || 7730937 markings, 8622158 edges, 12040 markings/sec, 640 secs 15 tries, 14511747 fired transitions, 645 secs || 7790663 markings, 8688620 edges, 11945 markings/sec, 645 secs 15 tries, 14621652 fired transitions, 650 secs || 7852574 markings, 8758083 edges, 12382 markings/sec, 650 secs 15 tries, 14732682 fired transitions, 655 secs || 7914479 markings, 8827545 edges, 12381 markings/sec, 655 secs 15 tries, 14841330 fired transitions, 660 secs || 7973117 markings, 8892786 edges, 11728 markings/sec, 660 secs 15 tries, 14951696 fired transitions, 665 secs || 8032996 markings, 8959519 edges, 11976 markings/sec, 665 secs 16 tries, 15063089 fired transitions, 670 secs || 8094217 markings, 9028029 edges, 12244 markings/sec, 670 secs 16 tries, 15173691 fired transitions, 675 secs || 8155651 markings, 9096681 edges, 12287 markings/sec, 675 secs 16 tries, 15285170 fired transitions, 680 secs || 8213446 markings, 9161286 edges, 11559 markings/sec, 680 secs 16 tries, 15396617 fired transitions, 685 secs || 8270839 markings, 9225049 edges, 11479 markings/sec, 685 secs 16 tries, 15505810 fired transitions, 690 secs || 8330387 markings, 9291399 edges, 11910 markings/sec, 690 secs 16 tries, 15612694 fired transitions, 695 secs || 8389254 markings, 9356144 edges, 11773 markings/sec, 695 secs 16 tries, 15721247 fired transitions, 700 secs || 8448949 markings, 9422291 edges, 11939 markings/sec, 700 secs 16 tries, 15830969 fired transitions, 705 secs || 8505974 markings, 9485951 edges, 11405 markings/sec, 705 secs 16 tries, 15940984 fired transitions, 710 secs || 8564889 markings, 9551183 edges, 11783 markings/sec, 710 secs 17 tries, 16051931 fired transitions, 715 secs || 8623138 markings, 9615567 edges, 11650 markings/sec, 715 secs 17 tries, 16159375 fired transitions, 720 secs || 8685500 markings, 9685534 edges, 12472 markings/sec, 720 secs 17 tries, 16269977 fired transitions, 725 secs || 8748681 markings, 9756110 edges, 12636 markings/sec, 725 secs 17 tries, 16383101 fired transitions, 730 secs || 8809871 markings, 9824041 edges, 12238 markings/sec, 730 secs 17 tries, 16500168 fired transitions, 735 secs || 8873432 markings, 9895594 edges, 12712 markings/sec, 735 secs 17 tries, 16611767 fired transitions, 740 secs || 8935199 markings, 9964963 edges, 12353 markings/sec, 740 secs 17 tries, 16723552 fired transitions, 745 secs || 8996197 markings, 10032879 edges, 12200 markings/sec, 745 secs 17 tries, 16839572 fired transitions, 750 secs || 9060683 markings, 10105182 edges, 12897 markings/sec, 750 secs 17 tries, 16950111 fired transitions, 755 secs || 9124045 markings, 10175981 edges, 12672 markings/sec, 755 secs 18 tries, 17061673 fired transitions, 760 secs || 9187589 markings, 10247331 edges, 12709 markings/sec, 760 secs 18 tries, 17171175 fired transitions, 765 secs || 9249964 markings, 10317283 edges, 12475 markings/sec, 765 secs 18 tries, 17281517 fired transitions, 770 secs || 9314266 markings, 10389384 edges, 12860 markings/sec, 770 secs 18 tries, 17392139 fired transitions, 775 secs || 9376450 markings, 10458848 edges, 12437 markings/sec, 775 secs 18 tries, 17502614 fired transitions, 780 secs || 9438341 markings, 10527618 edges, 12378 markings/sec, 780 secs 18 tries, 17615415 fired transitions, 785 secs || 9500241 markings, 10596728 edges, 12380 markings/sec, 785 secs 18 tries, 17726296 fired transitions, 790 secs || 9560205 markings, 10663028 edges, 11993 markings/sec, 790 secs 18 tries, 17836937 fired transitions, 795 secs || 9620641 markings, 10730386 edges, 12087 markings/sec, 795 secs 18 tries, 17948107 fired transitions, 800 secs || 9680991 markings, 10797306 edges, 12070 markings/sec, 800 secs 19 tries, 18058539 fired transitions, 805 secs || 9740418 markings, 10862399 edges, 11885 markings/sec, 805 secs 19 tries, 18168266 fired transitions, 810 secs || 9801058 markings, 10929727 edges, 12128 markings/sec, 810 secs 19 tries, 18279696 fired transitions, 815 secs || 9861778 markings, 10996985 edges, 12144 markings/sec, 815 secs 19 tries, 18390672 fired transitions, 820 secs || 9921294 markings, 11062927 edges, 11903 markings/sec, 820 secs 19 tries, 18502605 fired transitions, 825 secs || 9984066 markings, 11133424 edges, 12554 markings/sec, 825 secs 19 tries, 18612262 fired transitions, 830 secs || 10044326 markings, 11200558 edges, 12052 markings/sec, 830 secs 19 tries, 18721377 fired transitions, 835 secs || 10105874 markings, 11269419 edges, 12310 markings/sec, 835 secs 19 tries, 18832174 fired transitions, 840 secs || 10165010 markings, 11334979 edges, 11827 markings/sec, 840 secs 19 tries, 18943995 fired transitions, 845 secs || 10224765 markings, 11401272 edges, 11951 markings/sec, 845 secs 20 tries, 19055666 fired transitions, 850 secs || 10284339 markings, 11467122 edges, 11915 markings/sec, 850 secs 20 tries, 19167821 fired transitions, 855 secs || 10346084 markings, 11536157 edges, 12349 markings/sec, 855 secs 20 tries, 19279328 fired transitions, 860 secs || 10406031 markings, 11602763 edges, 11989 markings/sec, 860 secs 20 tries, 19389582 fired transitions, 865 secs || 10466205 markings, 11669385 edges, 12035 markings/sec, 865 secs 20 tries, 19493264 fired transitions, 870 secs || 10528516 markings, 11738957 edges, 12462 markings/sec, 870 secs 20 tries, 19600963 fired transitions, 875 secs || 10588124 markings, 11804918 edges, 11922 markings/sec, 875 secs 20 tries, 19708714 fired transitions, 880 secs || 10647989 markings, 11870889 edges, 11973 markings/sec, 880 secs 20 tries, 19816370 fired transitions, 885 secs || 10706810 markings, 11935273 edges, 11764 markings/sec, 885 secs 20 tries, 19924103 fired transitions, 890 secs || 10767844 markings, 12002709 edges, 12207 markings/sec, 890 secs 21 tries, 20032450 fired transitions, 895 secs || 10829123 markings, 12071035 edges, 12256 markings/sec, 895 secs 21 tries, 20140754 fired transitions, 900 secs || 10891665 markings, 12141368 edges, 12508 markings/sec, 900 secs 21 tries, 20250097 fired transitions, 905 secs || 10951086 markings, 12207131 edges, 11884 markings/sec, 905 secs 21 tries, 20360480 fired transitions, 910 secs || 11013202 markings, 12277035 edges, 12423 markings/sec, 910 secs 21 tries, 20470205 fired transitions, 915 secs || 11073867 markings, 12344705 edges, 12133 markings/sec, 915 secs 21 tries, 20581301 fired transitions, 920 secs || 11132894 markings, 12410071 edges, 11805 markings/sec, 920 secs 21 tries, 20691701 fired transitions, 925 secs || 11194995 markings, 12479492 edges, 12420 markings/sec, 925 secs 21 tries, 20800982 fired transitions, 930 secs || 11254470 markings, 12545504 edges, 11895 markings/sec, 930 secs 21 tries, 20911457 fired transitions, 935 secs || 11310658 markings, 12608341 edges, 11238 markings/sec, 935 secs 22 tries, 21022902 fired transitions, 940 secs || 11370164 markings, 12674396 edges, 11901 markings/sec, 940 secs 22 tries, 21132564 fired transitions, 945 secs || 11428438 markings, 12739074 edges, 11655 markings/sec, 945 secs 22 tries, 21241792 fired transitions, 950 secs || 11487374 markings, 12804903 edges, 11787 markings/sec, 950 secs 22 tries, 21351743 fired transitions, 955 secs || 11545782 markings, 12869941 edges, 11682 markings/sec, 955 secs 22 tries, 21461587 fired transitions, 960 secs || 11606638 markings, 12937957 edges, 12171 markings/sec, 960 secs 22 tries, 21572427 fired transitions, 965 secs || 11664074 markings, 13001459 edges, 11487 markings/sec, 965 secs 22 tries, 21681412 fired transitions, 970 secs || 11721021 markings, 13064350 edges, 11389 markings/sec, 970 secs 22 tries, 21790401 fired transitions, 975 secs || 11777349 markings, 13126260 edges, 11266 markings/sec, 975 secs 22 tries, 21901050 fired transitions, 980 secs || 11835644 markings, 13191097 edges, 11659 markings/sec, 980 secs 23 tries, 22011094 fired transitions, 985 secs || 11894296 markings, 13255938 edges, 11730 markings/sec, 985 secs 23 tries, 22121438 fired transitions, 990 secs || 11951854 markings, 13319791 edges, 11512 markings/sec, 990 secs 23 tries, 22231602 fired transitions, 995 secs || 12012925 markings, 13387940 edges, 12214 markings/sec, 995 secs 23 tries, 22341673 fired transitions, 1000 secs || 12074898 markings, 13457195 edges, 12395 markings/sec, 1000 secs 23 tries, 22452084 fired transitions, 1005 secs || 12132037 markings, 13521237 edges, 11428 markings/sec, 1005 secs 23 tries, 22562295 fired transitions, 1010 secs || 12191714 markings, 13587584 edges, 11935 markings/sec, 1010 secs 23 tries, 22670420 fired transitions, 1015 secs || 12251016 markings, 13653554 edges, 11860 markings/sec, 1015 secs 23 tries, 22782390 fired transitions, 1020 secs || 12306224 markings, 13715007 edges, 11042 markings/sec, 1020 secs 23 tries, 22891563 fired transitions, 1025 secs || 12366258 markings, 13782235 edges, 12007 markings/sec, 1025 secs 24 tries, 23002142 fired transitions, 1030 secs || 12424578 markings, 13847079 edges, 11664 markings/sec, 1030 secs 24 tries, 23112067 fired transitions, 1035 secs || 12484384 markings, 13913741 edges, 11961 markings/sec, 1035 secs 24 tries, 23219570 fired transitions, 1040 secs || 12541980 markings, 13977215 edges, 11519 markings/sec, 1040 secs 24 tries, 23328857 fired transitions, 1045 secs || 12602991 markings, 14045504 edges, 12202 markings/sec, 1045 secs 24 tries, 23437939 fired transitions, 1050 secs || 12662703 markings, 14111607 edges, 11942 markings/sec, 1050 secs 24 tries, 23546027 fired transitions, 1055 secs || 12722500 markings, 14178157 edges, 11959 markings/sec, 1055 secs 24 tries, 23657469 fired transitions, 1060 secs || 12780367 markings, 14242326 edges, 11573 markings/sec, 1060 secs 24 tries, 23766949 fired transitions, 1065 secs || 12838621 markings, 14307624 edges, 11651 markings/sec, 1065 secs 24 tries, 23876475 fired transitions, 1070 secs || 12897523 markings, 14373032 edges, 11780 markings/sec, 1070 secs 24 tries, 23986002 fired transitions, 1075 secs || 12956697 markings, 14439301 edges, 11835 markings/sec, 1075 secs 25 tries, 24099556 fired transitions, 1080 secs || 13020563 markings, 14511111 edges, 12773 markings/sec, 1080 secs 25 tries, 24210006 fired transitions, 1085 secs || 13079120 markings, 14576085 edges, 11711 markings/sec, 1085 secs 25 tries, 24320082 fired transitions, 1090 secs || 13137072 markings, 14640020 edges, 11590 markings/sec, 1090 secs 25 tries, 24429781 fired transitions, 1095 secs || 13196095 markings, 14705626 edges, 11805 markings/sec, 1095 secs 25 tries, 24539435 fired transitions, 1100 secs || 13255792 markings, 14771902 edges, 11939 markings/sec, 1100 secs 25 tries, 24649939 fired transitions, 1105 secs || 13314456 markings, 14837168 edges, 11733 markings/sec, 1105 secs 25 tries, 24760069 fired transitions, 1110 secs || 13373902 markings, 14903114 edges, 11889 markings/sec, 1110 secs 25 tries, 24869231 fired transitions, 1115 secs || 13433713 markings, 14969229 edges, 11962 markings/sec, 1115 secs 25 tries, 24978266 fired transitions, 1120 secs || 13491301 markings, 15032528 edges, 11518 markings/sec, 1120 secs 26 tries, 25090186 fired transitions, 1125 secs || 13549250 markings, 15096129 edges, 11590 markings/sec, 1125 secs 26 tries, 25198507 fired transitions, 1130 secs || 13607030 markings, 15159559 edges, 11556 markings/sec, 1130 secs 26 tries, 25308093 fired transitions, 1135 secs || 13664803 markings, 15223042 edges, 11555 markings/sec, 1135 secs 26 tries, 25416942 fired transitions, 1140 secs || 13722620 markings, 15286653 edges, 11563 markings/sec, 1140 secs 26 tries, 25525398 fired transitions, 1145 secs || 13780206 markings, 15349994 edges, 11517 markings/sec, 1145 secs 26 tries, 25634899 fired transitions, 1150 secs || 13838081 markings, 15413560 edges, 11575 markings/sec, 1150 secs 26 tries, 25743159 fired transitions, 1155 secs || 13895844 markings, 15477090 edges, 11553 markings/sec, 1155 secs 26 tries, 25852376 fired transitions, 1160 secs || 13953864 markings, 15540929 edges, 11604 markings/sec, 1160 secs 26 tries, 25961530 fired transitions, 1165 secs || 14012324 markings, 15605567 edges, 11692 markings/sec, 1165 secs 27 tries, 26073767 fired transitions, 1170 secs || 14070435 markings, 15669834 edges, 11622 markings/sec, 1170 secs 27 tries, 26183525 fired transitions, 1175 secs || 14128066 markings, 15733125 edges, 11526 markings/sec, 1175 secs 27 tries, 26293139 fired transitions, 1180 secs || 14185084 markings, 15795835 edges, 11404 markings/sec, 1180 secs 27 tries, 26401233 fired transitions, 1185 secs || 14243302 markings, 15859945 edges, 11644 markings/sec, 1185 secs 27 tries, 26511234 fired transitions, 1190 secs || 14301114 markings, 15923835 edges, 11562 markings/sec, 1190 secs 27 tries, 26619978 fired transitions, 1195 secs || 14359419 markings, 15988339 edges, 11661 markings/sec, 1195 secs 27 tries, 26731536 fired transitions, 1200 secs || 14417117 markings, 16051874 edges, 11540 markings/sec, 1200 secs 27 tries, 26844782 fired transitions, 1205 secs || 14474939 markings, 16115687 edges, 11564 markings/sec, 1205 secs 27 tries, 26956099 fired transitions, 1210 secs || 14531462 markings, 16177903 edges, 11305 markings/sec, 1210 secs 28 tries, 27069134 fired transitions, 1215 secs || 14589982 markings, 16242470 edges, 11704 markings/sec, 1215 secs 28 tries, 27181377 fired transitions, 1220 secs || 14646964 markings, 16305138 edges, 11396 markings/sec, 1220 secs 28 tries, 27294337 fired transitions, 1225 secs || 14703888 markings, 16367810 edges, 11385 markings/sec, 1225 secs 28 tries, 27407831 fired transitions, 1230 secs || 14760952 markings, 16430543 edges, 11413 markings/sec, 1230 secs 28 tries, 27519321 fired transitions, 1235 secs || 14818180 markings, 16493601 edges, 11446 markings/sec, 1235 secs 28 tries, 27629881 fired transitions, 1240 secs || 14875734 markings, 16557127 edges, 11511 markings/sec, 1240 secs 28 tries, 27741580 fired transitions, 1245 secs || 14932407 markings, 16619374 edges, 11335 markings/sec, 1245 secs 28 tries, 27853309 fired transitions, 1250 secs || 14988846 markings, 16681706 edges, 11288 markings/sec, 1250 secs 28 tries, 27966313 fired transitions, 1255 secs || 15046372 markings, 16745205 edges, 11505 markings/sec, 1255 secs 29 tries, 28079455 fired transitions, 1260 secs || 15103608 markings, 16808326 edges, 11447 markings/sec, 1260 secs 29 tries, 28192936 fired transitions, 1265 secs || 15160439 markings, 16870987 edges, 11366 markings/sec, 1265 secs 29 tries, 28306157 fired transitions, 1270 secs || 15217642 markings, 16934124 edges, 11441 markings/sec, 1270 secs 29 tries, 28417692 fired transitions, 1275 secs || 15275117 markings, 16997626 edges, 11495 markings/sec, 1275 secs 29 tries, 28530166 fired transitions, 1280 secs || 15332271 markings, 17060629 edges, 11431 markings/sec, 1280 secs 29 tries, 28644649 fired transitions, 1285 secs || 15390065 markings, 17124182 edges, 11559 markings/sec, 1285 secs 29 tries, 28752323 fired transitions, 1290 secs || 15447012 markings, 17186749 edges, 11389 markings/sec, 1290 secs 29 tries, 28866120 fired transitions, 1295 secs || 15504534 markings, 17250522 edges, 11504 markings/sec, 1295 secs 29 tries, 28978161 fired transitions, 1300 secs || 15561096 markings, 17312818 edges, 11312 markings/sec, 1300 secs 30 tries, 29091437 fired transitions, 1305 secs || 15617644 markings, 17375197 edges, 11310 markings/sec, 1305 secs 30 tries, 29203630 fired transitions, 1310 secs || 15673281 markings, 17436604 edges, 11127 markings/sec, 1310 secs 30 tries, 29316957 fired transitions, 1315 secs || 15729547 markings, 17498882 edges, 11253 markings/sec, 1315 secs 30 tries, 29429887 fired transitions, 1320 secs || 15786536 markings, 17561476 edges, 11398 markings/sec, 1320 secs 30 tries, 29542113 fired transitions, 1325 secs || 15842515 markings, 17623176 edges, 11196 markings/sec, 1325 secs 30 tries, 29654738 fired transitions, 1330 secs || 15899633 markings, 17686332 edges, 11424 markings/sec, 1330 secs 30 tries, 29768994 fired transitions, 1335 secs || 15955394 markings, 17747854 edges, 11152 markings/sec, 1335 secs 30 tries, 29881707 fired transitions, 1340 secs || 16011104 markings, 17809149 edges, 11142 markings/sec, 1340 secs 30 tries, 29996792 fired transitions, 1345 secs || 16068733 markings, 17872809 edges, 11526 markings/sec, 1345 secs 31 tries, 30115191 fired transitions, 1350 secs || 16128286 markings, 17938649 edges, 11911 markings/sec, 1350 secs 31 tries, 30232523 fired transitions, 1355 secs || 16186717 markings, 18002787 edges, 11686 markings/sec, 1355 secs 31 tries, 30350430 fired transitions, 1360 secs || 16245497 markings, 18067669 edges, 11756 markings/sec, 1360 secs 31 tries, 30467683 fired transitions, 1365 secs || 16304291 markings, 18132614 edges, 11759 markings/sec, 1365 secs 31 tries, 30586077 fired transitions, 1370 secs || 16363012 markings, 18197377 edges, 11744 markings/sec, 1370 secs 31 tries, 30702440 fired transitions, 1375 secs || 16422201 markings, 18262810 edges, 11838 markings/sec, 1375 secs 31 tries, 30819834 fired transitions, 1380 secs || 16481575 markings, 18328222 edges, 11875 markings/sec, 1380 secs 31 tries, 30938904 fired transitions, 1385 secs || 16541210 markings, 18393832 edges, 11927 markings/sec, 1385 secs 32 tries, 31056330 fired transitions, 1390 secs || 16600567 markings, 18459443 edges, 11871 markings/sec, 1390 secs 32 tries, 31172579 fired transitions, 1395 secs || 16655079 markings, 18519805 edges, 10902 markings/sec, 1395 secs 32 tries, 31290655 fired transitions, 1400 secs || 16710551 markings, 18580868 edges, 11094 markings/sec, 1400 secs 32 tries, 31408897 fired transitions, 1405 secs || 16769417 markings, 18645822 edges, 11773 markings/sec, 1405 secs 32 tries, 31526018 fired transitions, 1410 secs || 16828298 markings, 18710799 edges, 11776 markings/sec, 1410 secs 32 tries, 31643289 fired transitions, 1415 secs || 16886951 markings, 18775232 edges, 11731 markings/sec, 1415 secs 32 tries, 31760435 fired transitions, 1420 secs || 16945808 markings, 18840639 edges, 11771 markings/sec, 1420 secs 32 tries, 31871969 fired transitions, 1425 secs || 17003489 markings, 18904666 edges, 11536 markings/sec, 1425 secs 32 tries, 31984151 fired transitions, 1430 secs || 17063249 markings, 18971121 edges, 11952 markings/sec, 1430 secs 33 tries, 32098330 fired transitions, 1435 secs || 17123220 markings, 19037461 edges, 11994 markings/sec, 1435 secs 33 tries, 32210219 fired transitions, 1440 secs || 17181518 markings, 19102011 edges, 11660 markings/sec, 1440 secs 33 tries, 32321327 fired transitions, 1445 secs || 17240685 markings, 19167822 edges, 11833 markings/sec, 1445 secs 33 tries, 32433769 fired transitions, 1450 secs || 17300583 markings, 19234711 edges, 11980 markings/sec, 1450 secs 33 tries, 32547379 fired transitions, 1455 secs || 17358503 markings, 19298877 edges, 11584 markings/sec, 1455 secs 33 tries, 32658724 fired transitions, 1460 secs || 17417006 markings, 19363424 edges, 11701 markings/sec, 1460 secs 33 tries, 32770840 fired transitions, 1465 secs || 17478635 markings, 19432109 edges, 12326 markings/sec, 1465 secs 33 tries, 32883902 fired transitions, 1470 secs || 17537141 markings, 19496929 edges, 11701 markings/sec, 1470 secs 33 tries, 32997094 fired transitions, 1475 secs || 17596784 markings, 19563110 edges, 11929 markings/sec, 1475 secs 34 tries, 33113837 fired transitions, 1480 secs || 17656715 markings, 19629542 edges, 11986 markings/sec, 1480 secs 34 tries, 33227916 fired transitions, 1485 secs || 17714901 markings, 19693286 edges, 11637 markings/sec, 1485 secs 34 tries, 33336726 fired transitions, 1490 secs || 17773793 markings, 19758876 edges, 11778 markings/sec, 1490 secs 34 tries, 33444946 fired transitions, 1495 secs || 17831153 markings, 19822256 edges, 11472 markings/sec, 1495 secs 34 tries, 33551497 fired transitions, 1500 secs || 17889111 markings, 19886447 edges, 11592 markings/sec, 1500 secs 34 tries, 33660713 fired transitions, 1505 secs || 17947978 markings, 19951656 edges, 11773 markings/sec, 1505 secs 34 tries, 33768599 fired transitions, 1510 secs || 18005545 markings, 20015208 edges, 11513 markings/sec, 1510 secs 34 tries, 33878228 fired transitions, 1515 secs || 18064695 markings, 20081091 edges, 11830 markings/sec, 1515 secs 34 tries, 33986893 fired transitions, 1520 secs || 18123187 markings, 20145921 edges, 11698 markings/sec, 1520 secs 35 tries, 34104768 fired transitions, 1525 secs || 18182845 markings, 20211602 edges, 11932 markings/sec, 1525 secs 35 tries, 34221672 fired transitions, 1530 secs || 18244865 markings, 20280258 edges, 12404 markings/sec, 1530 secs 35 tries, 34328999 fired transitions, 1535 secs || 18303903 markings, 20345811 edges, 11808 markings/sec, 1535 secs 35 tries, 34445778 fired transitions, 1540 secs || 18365975 markings, 20414783 edges, 12414 markings/sec, 1540 secs 35 tries, 34563271 fired transitions, 1545 secs || 18428202 markings, 20483794 edges, 12445 markings/sec, 1545 secs 35 tries, 34674929 fired transitions, 1550 secs || 18487045 markings, 20549112 edges, 11769 markings/sec, 1550 secs 35 tries, 34782140 fired transitions, 1555 secs || 18545633 markings, 20614152 edges, 11718 markings/sec, 1555 secs 35 tries, 34886447 fired transitions, 1560 secs || 18604440 markings, 20679258 edges, 11761 markings/sec, 1560 secs 35 tries, 34999666 fired transitions, 1565 secs || 18664081 markings, 20745908 edges, 11928 markings/sec, 1565 secs 36 tries, 35104708 fired transitions, 1570 secs || 18723146 markings, 20811525 edges, 11813 markings/sec, 1570 secs 36 tries, 35216152 fired transitions, 1575 secs || 18781615 markings, 20876529 edges, 11694 markings/sec, 1575 secs 36 tries, 35326228 fired transitions, 1580 secs || 18838906 markings, 20940195 edges, 11458 markings/sec, 1580 secs 36 tries, 35437078 fired transitions, 1585 secs || 18898269 markings, 21006268 edges, 11873 markings/sec, 1585 secs 36 tries, 35548357 fired transitions, 1590 secs || 18957377 markings, 21072135 edges, 11822 markings/sec, 1590 secs 36 tries, 35659071 fired transitions, 1595 secs || 19017768 markings, 21139828 edges, 12078 markings/sec, 1595 secs 36 tries, 35769643 fired transitions, 1600 secs || 19075638 markings, 21204058 edges, 11574 markings/sec, 1600 secs 36 tries, 35881418 fired transitions, 1605 secs || 19133382 markings, 21268627 edges, 11549 markings/sec, 1605 secs 36 tries, 35993261 fired transitions, 1610 secs || 19189699 markings, 21330930 edges, 11263 markings/sec, 1610 secs 37 tries, 36104037 fired transitions, 1615 secs || 19248857 markings, 21396597 edges, 11832 markings/sec, 1615 secs 37 tries, 36214729 fired transitions, 1620 secs || 19308210 markings, 21462764 edges, 11871 markings/sec, 1620 secs 37 tries, 36324454 fired transitions, 1625 secs || 19365202 markings, 21525934 edges, 11398 markings/sec, 1625 secs 37 tries, 36434678 fired transitions, 1630 secs || 19423481 markings, 21590453 edges, 11656 markings/sec, 1630 secs 37 tries, 36546809 fired transitions, 1635 secs || 19480934 markings, 21654236 edges, 11491 markings/sec, 1635 secs 37 tries, 36658404 fired transitions, 1640 secs || 19539804 markings, 21719728 edges, 11774 markings/sec, 1640 secs 37 tries, 36768111 fired transitions, 1645 secs || 19597225 markings, 21782710 edges, 11484 markings/sec, 1645 secs 37 tries, 36882085 fired transitions, 1650 secs || 19656160 markings, 21848243 edges, 11787 markings/sec, 1650 secs 37 tries, 36994833 fired transitions, 1655 secs || 19716501 markings, 21915778 edges, 12068 markings/sec, 1655 secs 38 tries, 37109002 fired transitions, 1660 secs || 19774997 markings, 21980541 edges, 11699 markings/sec, 1660 secs 38 tries, 37223077 fired transitions, 1665 secs || 19833178 markings, 22044906 edges, 11636 markings/sec, 1665 secs 38 tries, 37334657 fired transitions, 1670 secs || 19889941 markings, 22107584 edges, 11353 markings/sec, 1670 secs 38 tries, 37447269 fired transitions, 1675 secs || 19946865 markings, 22170575 edges, 11385 markings/sec, 1675 secs 38 tries, 37559252 fired transitions, 1680 secs || 20003715 markings, 22233528 edges, 11370 markings/sec, 1680 secs 38 tries, 37669132 fired transitions, 1685 secs || 20061795 markings, 22297568 edges, 11616 markings/sec, 1685 secs 38 tries, 37782568 fired transitions, 1690 secs || 20120802 markings, 22363377 edges, 11801 markings/sec, 1690 secs 38 tries, 37895716 fired transitions, 1695 secs || 20181081 markings, 22430551 edges, 12056 markings/sec, 1695 secs 39 tries, 38010082 fired transitions, 1700 secs || 20241396 markings, 22498038 edges, 12063 markings/sec, 1700 secs 39 tries, 38122116 fired transitions, 1705 secs || 20301440 markings, 22564708 edges, 12009 markings/sec, 1705 secs 39 tries, 38233842 fired transitions, 1710 secs || 20362373 markings, 22632595 edges, 12187 markings/sec, 1710 secs 39 tries, 38346683 fired transitions, 1715 secs || 20421075 markings, 22697335 edges, 11740 markings/sec, 1715 secs 39 tries, 38461238 fired transitions, 1720 secs || 20482544 markings, 22766116 edges, 12294 markings/sec, 1720 secs 39 tries, 38574631 fired transitions, 1725 secs || 20538814 markings, 22827974 edges, 11254 markings/sec, 1725 secs 39 tries, 38686957 fired transitions, 1730 secs || 20597772 markings, 22893563 edges, 11792 markings/sec, 1730 secs 39 tries, 38798871 fired transitions, 1735 secs || 20655736 markings, 22957798 edges, 11593 markings/sec, 1735 secs 39 tries, 38909263 fired transitions, 1740 secs || 20714788 markings, 23023623 edges, 11810 markings/sec, 1740 secs 40 tries, 39021440 fired transitions, 1745 secs || 20775106 markings, 23090786 edges, 12064 markings/sec, 1745 secs 40 tries, 39132903 fired transitions, 1750 secs || 20833636 markings, 23155761 edges, 11706 markings/sec, 1750 secs 40 tries, 39244869 fired transitions, 1755 secs || 20893044 markings, 23222053 edges, 11882 markings/sec, 1755 secs 40 tries, 39357164 fired transitions, 1760 secs || 20951382 markings, 23286923 edges, 11668 markings/sec, 1760 secs 40 tries, 39469183 fired transitions, 1765 secs || 21012773 markings, 23355614 edges, 12278 markings/sec, 1765 secs 40 tries, 39581706 fired transitions, 1770 secs || 21072165 markings, 23421765 edges, 11878 markings/sec, 1770 secs 40 tries, 39694451 fired transitions, 1775 secs || 21129308 markings, 23485002 edges, 11429 markings/sec, 1775 secs 40 tries, 39807555 fired transitions, 1780 secs || 21186870 markings, 23548646 edges, 11512 markings/sec, 1780 secs 40 tries, 39919930 fired transitions, 1785 secs || 21248486 markings, 23617620 edges, 12323 markings/sec, 1785 secs 41 tries, 40031529 fired transitions, 1790 secs || 21307654 markings, 23683568 edges, 11834 markings/sec, 1790 secs 41 tries, 40144214 fired transitions, 1795 secs || 21365723 markings, 23747840 edges, 11614 markings/sec, 1795 secs 41 tries, 40256806 fired transitions, 1800 secs || 21424714 markings, 23813319 edges, 11798 markings/sec, 1800 secs 41 tries, 40369090 fired transitions, 1805 secs || 21483761 markings, 23878835 edges, 11809 markings/sec, 1805 secs 41 tries, 40482742 fired transitions, 1810 secs || 21543051 markings, 23945515 edges, 11858 markings/sec, 1810 secs 41 tries, 40596661 fired transitions, 1815 secs || 21596096 markings, 24004016 edges, 10609 markings/sec, 1815 secs 41 tries, 40709655 fired transitions, 1820 secs || 21654092 markings, 24068365 edges, 11599 markings/sec, 1820 secs 41 tries, 40824219 fired transitions, 1825 secs || 21711566 markings, 24132005 edges, 11495 markings/sec, 1825 secs 41 tries, 40936942 fired transitions, 1830 secs || 21770516 markings, 24197461 edges, 11790 markings/sec, 1830 secs 42 tries, 41050706 fired transitions, 1835 secs || 21830567 markings, 24264568 edges, 12010 markings/sec, 1835 secs 42 tries, 41164420 fired transitions, 1840 secs || 21890837 markings, 24331460 edges, 12054 markings/sec, 1840 secs 42 tries, 41278633 fired transitions, 1845 secs || 21951436 markings, 24398853 edges, 12120 markings/sec, 1845 secs 42 tries, 41391064 fired transitions, 1850 secs || 22010991 markings, 24465119 edges, 11911 markings/sec, 1850 secs 42 tries, 41504848 fired transitions, 1855 secs || 22069958 markings, 24530602 edges, 11793 markings/sec, 1855 secs 42 tries, 41619542 fired transitions, 1860 secs || 22126685 markings, 24593343 edges, 11345 markings/sec, 1860 secs 42 tries, 41732842 fired transitions, 1865 secs || 22183500 markings, 24656265 edges, 11363 markings/sec, 1865 secs 42 tries, 41846242 fired transitions, 1870 secs || 22239654 markings, 24718497 edges, 11231 markings/sec, 1870 secs 42 tries, 41960721 fired transitions, 1875 secs || 22296830 markings, 24781921 edges, 11435 markings/sec, 1875 secs 43 tries, 42076865 fired transitions, 1880 secs || 22353523 markings, 24844785 edges, 11339 markings/sec, 1880 secs 43 tries, 42190496 fired transitions, 1885 secs || 22412078 markings, 24909785 edges, 11711 markings/sec, 1885 secs 43 tries, 42304489 fired transitions, 1890 secs || 22469557 markings, 24973681 edges, 11496 markings/sec, 1890 secs 43 tries, 42418616 fired transitions, 1895 secs || 22526214 markings, 25036441 edges, 11331 markings/sec, 1895 secs 43 tries, 42533163 fired transitions, 1900 secs || 22583107 markings, 25099056 edges, 11379 markings/sec, 1900 secs 43 tries, 42647682 fired transitions, 1905 secs || 22642818 markings, 25165813 edges, 11942 markings/sec, 1905 secs 43 tries, 42762205 fired transitions, 1910 secs || 22702835 markings, 25232718 edges, 12003 markings/sec, 1910 secs 43 tries, 42877301 fired transitions, 1915 secs || 22761160 markings, 25297581 edges, 11665 markings/sec, 1915 secs 43 tries, 42988816 fired transitions, 1920 secs || 22818539 markings, 25361407 edges, 11476 markings/sec, 1920 secs 44 tries, 43103500 fired transitions, 1925 secs || 22876864 markings, 25426207 edges, 11665 markings/sec, 1925 secs 44 tries, 43215848 fired transitions, 1930 secs || 22934113 markings, 25489412 edges, 11450 markings/sec, 1930 secs 44 tries, 43329043 fired transitions, 1935 secs || 22991692 markings, 25553178 edges, 11516 markings/sec, 1935 secs 44 tries, 43443474 fired transitions, 1940 secs || 23049175 markings, 25617204 edges, 11497 markings/sec, 1940 secs 44 tries, 43557209 fired transitions, 1945 secs || 23109199 markings, 25684280 edges, 12005 markings/sec, 1945 secs 44 tries, 43671316 fired transitions, 1950 secs || 23165914 markings, 25747045 edges, 11343 markings/sec, 1950 secs 44 tries, 43786718 fired transitions, 1955 secs || 23223396 markings, 25810353 edges, 11496 markings/sec, 1955 secs 44 tries, 43902241 fired transitions, 1960 secs || 23280388 markings, 25873552 edges, 11398 markings/sec, 1960 secs 45 tries, 44007799 fired transitions, 1965 secs || 23339774 markings, 25939966 edges, 11877 markings/sec, 1965 secs 45 tries, 44119532 fired transitions, 1970 secs || 23399953 markings, 26006956 edges, 12036 markings/sec, 1970 secs 45 tries, 44231128 fired transitions, 1975 secs || 23459950 markings, 26073580 edges, 11999 markings/sec, 1975 secs 45 tries, 44334376 fired transitions, 1980 secs || 23521205 markings, 26141742 edges, 12251 markings/sec, 1980 secs 45 tries, 44441497 fired transitions, 1985 secs || 23583633 markings, 26211792 edges, 12486 markings/sec, 1985 secs 45 tries, 44552974 fired transitions, 1990 secs || 23646914 markings, 26282372 edges, 12656 markings/sec, 1990 secs 45 tries, 44664189 fired transitions, 1995 secs || 23711754 markings, 26354758 edges, 12968 markings/sec, 1995 secs 45 tries, 44776914 fired transitions, 2000 secs || 23773790 markings, 26423404 edges, 12407 markings/sec, 2000 secs 45 tries, 44891269 fired transitions, 2005 secs || 23835343 markings, 26491909 edges, 12311 markings/sec, 2005 secs 46 tries, 45005139 fired transitions, 2010 secs || 23897041 markings, 26560779 edges, 12340 markings/sec, 2010 secs 46 tries, 45117961 fired transitions, 2015 secs || 23957939 markings, 26628340 edges, 12180 markings/sec, 2015 secs 46 tries, 45230854 fired transitions, 2020 secs || 24018924 markings, 26696066 edges, 12197 markings/sec, 2020 secs 46 tries, 45344474 fired transitions, 2025 secs || 24079975 markings, 26763716 edges, 12210 markings/sec, 2025 secs 46 tries, 45456936 fired transitions, 2030 secs || 24141607 markings, 26832142 edges, 12326 markings/sec, 2030 secs 46 tries, 45569347 fired transitions, 2035 secs || 24204096 markings, 26901760 edges, 12498 markings/sec, 2035 secs 46 tries, 45682795 fired transitions, 2040 secs || 24265432 markings, 26970036 edges, 12267 markings/sec, 2040 secs 46 tries, 45796392 fired transitions, 2045 secs || 24325823 markings, 27036959 edges, 12078 markings/sec, 2045 secs 46 tries, 45907796 fired transitions, 2050 secs || 24384173 markings, 27101795 edges, 11670 markings/sec, 2050 secs 47 tries, 46023153 fired transitions, 2055 secs || 24445817 markings, 27169958 edges, 12329 markings/sec, 2055 secs 47 tries, 46136041 fired transitions, 2060 secs || 24509049 markings, 27240610 edges, 12646 markings/sec, 2060 secs 47 tries, 46247902 fired transitions, 2065 secs || 24570280 markings, 27308779 edges, 12246 markings/sec, 2065 secs 47 tries, 46359754 fired transitions, 2070 secs || 24631608 markings, 27377027 edges, 12266 markings/sec, 2070 secs 47 tries, 46474987 fired transitions, 2075 secs || 24694229 markings, 27446693 edges, 12524 markings/sec, 2075 secs 47 tries, 46586134 fired transitions, 2080 secs || 24755281 markings, 27514487 edges, 12210 markings/sec, 2080 secs 47 tries, 46700024 fired transitions, 2085 secs || 24817213 markings, 27583421 edges, 12386 markings/sec, 2085 secs 47 tries, 46811382 fired transitions, 2090 secs || 24877468 markings, 27650148 edges, 12051 markings/sec, 2090 secs 47 tries, 46925493 fired transitions, 2095 secs || 24938893 markings, 27718409 edges, 12285 markings/sec, 2095 secs 48 tries, 47038373 fired transitions, 2100 secs || 25001237 markings, 27788253 edges, 12469 markings/sec, 2100 secs 48 tries, 47152453 fired transitions, 2105 secs || 25061601 markings, 27855304 edges, 12073 markings/sec, 2105 secs 48 tries, 47264967 fired transitions, 2110 secs || 25122685 markings, 27923156 edges, 12217 markings/sec, 2110 secs 48 tries, 47378982 fired transitions, 2115 secs || 25184057 markings, 27991310 edges, 12274 markings/sec, 2115 secs 48 tries, 47492095 fired transitions, 2120 secs || 25244771 markings, 28058425 edges, 12143 markings/sec, 2120 secs 48 tries, 47605111 fired transitions, 2125 secs || 25307589 markings, 28128676 edges, 12564 markings/sec, 2125 secs 48 tries, 47718302 fired transitions, 2130 secs || 25370850 markings, 28199190 edges, 12652 markings/sec, 2130 secs 48 tries, 47832395 fired transitions, 2135 secs || 25433869 markings, 28269668 edges, 12604 markings/sec, 2135 secs 48 tries, 47945136 fired transitions, 2140 secs || 25494324 markings, 28336708 edges, 12091 markings/sec, 2140 secs 49 tries, 48060857 fired transitions, 2145 secs || 25557015 markings, 28406457 edges, 12538 markings/sec, 2145 secs 49 tries, 48174775 fired transitions, 2150 secs || 25619574 markings, 28475829 edges, 12512 markings/sec, 2150 secs 49 tries, 48288567 fired transitions, 2155 secs || 25682757 markings, 28546080 edges, 12637 markings/sec, 2155 secs 49 tries, 48401639 fired transitions, 2160 secs || 25748072 markings, 28619447 edges, 13063 markings/sec, 2160 secs 49 tries, 48514086 fired transitions, 2165 secs || 25810106 markings, 28688755 edges, 12407 markings/sec, 2165 secs 49 tries, 48626613 fired transitions, 2170 secs || 25871727 markings, 28756847 edges, 12324 markings/sec, 2170 secs 49 tries, 48739710 fired transitions, 2175 secs || 25933486 markings, 28825641 edges, 12352 markings/sec, 2175 secs 49 tries, 48849483 fired transitions, 2180 secs || 25992767 markings, 28891261 edges, 11856 markings/sec, 2180 secs 49 tries, 48957914 fired transitions, 2185 secs || 26053690 markings, 28959132 edges, 12185 markings/sec, 2185 secs 50 tries, 49067289 fired transitions, 2190 secs || 26114590 markings, 29026885 edges, 12180 markings/sec, 2190 secs 50 tries, 49175413 fired transitions, 2195 secs || 26175122 markings, 29093808 edges, 12106 markings/sec, 2195 secs 50 tries, 49283948 fired transitions, 2200 secs || 26234811 markings, 29160345 edges, 11938 markings/sec, 2200 secs 50 tries, 49392579 fired transitions, 2205 secs || 26294863 markings, 29227310 edges, 12010 markings/sec, 2205 secs 50 tries, 49501808 fired transitions, 2210 secs || 26356897 markings, 29296711 edges, 12407 markings/sec, 2210 secs 50 tries, 49609317 fired transitions, 2215 secs || 26416466 markings, 29362894 edges, 11914 markings/sec, 2215 secs 50 tries, 49717989 fired transitions, 2220 secs || 26476613 markings, 29429981 edges, 12029 markings/sec, 2220 secs 50 tries, 49825535 fired transitions, 2225 secs || 26535784 markings, 29495534 edges, 11834 markings/sec, 2225 secs 50 tries, 49934214 fired transitions, 2230 secs || 26593576 markings, 29559303 edges, 11558 markings/sec, 2230 secs 51 tries, 50044181 fired transitions, 2235 secs || 26653630 markings, 29625944 edges, 12011 markings/sec, 2235 secs 51 tries, 50153574 fired transitions, 2240 secs || 26713669 markings, 29692454 edges, 12008 markings/sec, 2240 secs 51 tries, 50262936 fired transitions, 2245 secs || 26773668 markings, 29759085 edges, 12000 markings/sec, 2245 secs 51 tries, 50372641 fired transitions, 2250 secs || 26834439 markings, 29826781 edges, 12154 markings/sec, 2250 secs 51 tries, 50480389 fired transitions, 2255 secs || 26894928 markings, 29893998 edges, 12098 markings/sec, 2255 secs 51 tries, 50587995 fired transitions, 2260 secs || 26956247 markings, 29962307 edges, 12264 markings/sec, 2260 secs 51 tries, 50695492 fired transitions, 2265 secs || 27015364 markings, 30028259 edges, 11823 markings/sec, 2265 secs 51 tries, 50803746 fired transitions, 2270 secs || 27075212 markings, 30094785 edges, 11970 markings/sec, 2270 secs 51 tries, 50912131 fired transitions, 2275 secs || 27133890 markings, 30159556 edges, 11736 markings/sec, 2275 secs 52 tries, 51020752 fired transitions, 2280 secs || 27192434 markings, 30224265 edges, 11709 markings/sec, 2280 secs 52 tries, 51127442 fired transitions, 2285 secs || 27252141 markings, 30291004 edges, 11941 markings/sec, 2285 secs 52 tries, 51234680 fired transitions, 2290 secs || 27311036 markings, 30356416 edges, 11779 markings/sec, 2290 secs 52 tries, 51342776 fired transitions, 2295 secs || 27370506 markings, 30422435 edges, 11894 markings/sec, 2295 secs 52 tries, 51450461 fired transitions, 2300 secs || 27429326 markings, 30487882 edges, 11764 markings/sec, 2300 secs 52 tries, 51558341 fired transitions, 2305 secs || 27489683 markings, 30555417 edges, 12071 markings/sec, 2305 secs 52 tries, 51666339 fired transitions, 2310 secs || 27550481 markings, 30623040 edges, 12160 markings/sec, 2310 secs 52 tries, 51773214 fired transitions, 2315 secs || 27612388 markings, 30692143 edges, 12381 markings/sec, 2315 secs 52 tries, 51881242 fired transitions, 2320 secs || 27670311 markings, 30756261 edges, 11585 markings/sec, 2320 secs 52 tries, 51988544 fired transitions, 2325 secs || 27728681 markings, 30820951 edges, 11674 markings/sec, 2325 secs 53 tries, 52098529 fired transitions, 2330 secs || 27788063 markings, 30887360 edges, 11876 markings/sec, 2330 secs 53 tries, 52205640 fired transitions, 2335 secs || 27847250 markings, 30953118 edges, 11837 markings/sec, 2335 secs 53 tries, 52313809 fired transitions, 2340 secs || 27907051 markings, 31019897 edges, 11960 markings/sec, 2340 secs 53 tries, 52420824 fired transitions, 2345 secs || 27966108 markings, 31085622 edges, 11811 markings/sec, 2345 secs 53 tries, 52529347 fired transitions, 2350 secs || 28024706 markings, 31150928 edges, 11720 markings/sec, 2350 secs 53 tries, 52637780 fired transitions, 2355 secs || 28084508 markings, 31217392 edges, 11960 markings/sec, 2355 secs 53 tries, 52747774 fired transitions, 2360 secs || 28144590 markings, 31284611 edges, 12016 markings/sec, 2360 secs 53 tries, 52855385 fired transitions, 2365 secs || 28204552 markings, 31351037 edges, 11992 markings/sec, 2365 secs 53 tries, 52964421 fired transitions, 2370 secs || 28263183 markings, 31416158 edges, 11726 markings/sec, 2370 secs 54 tries, 53072776 fired transitions, 2375 secs || 28322610 markings, 31482666 edges, 11885 markings/sec, 2375 secs 54 tries, 53181563 fired transitions, 2380 secs || 28381350 markings, 31548037 edges, 11748 markings/sec, 2380 secs 54 tries, 53289684 fired transitions, 2385 secs || 28438618 markings, 31611441 edges, 11454 markings/sec, 2385 secs 54 tries, 53398711 fired transitions, 2390 secs || 28496913 markings, 31676433 edges, 11659 markings/sec, 2390 secs 54 tries, 53506761 fired transitions, 2395 secs || 28555262 markings, 31741572 edges, 11670 markings/sec, 2395 secs 54 tries, 53616373 fired transitions, 2400 secs || 28613534 markings, 31806184 edges, 11654 markings/sec, 2400 secs 54 tries, 53724038 fired transitions, 2405 secs || 28672384 markings, 31871730 edges, 11770 markings/sec, 2405 secs 54 tries, 53832202 fired transitions, 2410 secs || 28730010 markings, 31935619 edges, 11525 markings/sec, 2410 secs 54 tries, 53941760 fired transitions, 2415 secs || 28788469 markings, 32000340 edges, 11692 markings/sec, 2415 secs 55 tries, 54049827 fired transitions, 2420 secs || 28847320 markings, 32065565 edges, 11770 markings/sec, 2420 secs 55 tries, 54158714 fired transitions, 2425 secs || 28906622 markings, 32131940 edges, 11860 markings/sec, 2425 secs 55 tries, 54267843 fired transitions, 2430 secs || 28964799 markings, 32196278 edges, 11635 markings/sec, 2430 secs 55 tries, 54376691 fired transitions, 2435 secs || 29022633 markings, 32260438 edges, 11567 markings/sec, 2435 secs 55 tries, 54484890 fired transitions, 2440 secs || 29081135 markings, 32325671 edges, 11700 markings/sec, 2440 secs 55 tries, 54593677 fired transitions, 2445 secs || 29139637 markings, 32390544 edges, 11700 markings/sec, 2445 secs 55 tries, 54700234 fired transitions, 2450 secs || 29198290 markings, 32455774 edges, 11731 markings/sec, 2450 secs 55 tries, 54808666 fired transitions, 2455 secs || 29258326 markings, 32522695 edges, 12007 markings/sec, 2455 secs 55 tries, 54916931 fired transitions, 2460 secs || 29316212 markings, 32586823 edges, 11577 markings/sec, 2460 secs 56 tries, 55025847 fired transitions, 2465 secs || 29374635 markings, 32651707 edges, 11685 markings/sec, 2465 secs 56 tries, 55133528 fired transitions, 2470 secs || 29433384 markings, 32716926 edges, 11750 markings/sec, 2470 secs 56 tries, 55240386 fired transitions, 2475 secs || 29492548 markings, 32782537 edges, 11833 markings/sec, 2475 secs 56 tries, 55348088 fired transitions, 2480 secs || 29551080 markings, 32847726 edges, 11706 markings/sec, 2480 secs 56 tries, 55456577 fired transitions, 2485 secs || 29611639 markings, 32915280 edges, 12112 markings/sec, 2485 secs 56 tries, 55565647 fired transitions, 2490 secs || 29672104 markings, 32982628 edges, 12093 markings/sec, 2490 secs 56 tries, 55675408 fired transitions, 2495 secs || 29730018 markings, 33047106 edges, 11583 markings/sec, 2495 secs 56 tries, 55788478 fired transitions, 2500 secs || 29784642 markings, 33107459 edges, 10925 markings/sec, 2500 secs 56 tries, 55902585 fired transitions, 2505 secs || 29842020 markings, 33170876 edges, 11476 markings/sec, 2505 secs 57 tries, 56020222 fired transitions, 2510 secs || 29904615 markings, 33240995 edges, 12519 markings/sec, 2510 secs 57 tries, 56135391 fired transitions, 2515 secs || 29962060 markings, 33304405 edges, 11489 markings/sec, 2515 secs 57 tries, 56252586 fired transitions, 2520 secs || 30023123 markings, 33372598 edges, 12213 markings/sec, 2520 secs 57 tries, 56367830 fired transitions, 2525 secs || 30085442 markings, 33442204 edges, 12464 markings/sec, 2525 secs 57 tries, 56483326 fired transitions, 2530 secs || 30146789 markings, 33510788 edges, 12269 markings/sec, 2530 secs 57 tries, 56599405 fired transitions, 2535 secs || 30208151 markings, 33579292 edges, 12272 markings/sec, 2535 secs 57 tries, 56715962 fired transitions, 2540 secs || 30270086 markings, 33648252 edges, 12387 markings/sec, 2540 secs 57 tries, 56834076 fired transitions, 2545 secs || 30333920 markings, 33719883 edges, 12767 markings/sec, 2545 secs 57 tries, 56949928 fired transitions, 2550 secs || 30393560 markings, 33785477 edges, 11928 markings/sec, 2550 secs 58 tries, 57068336 fired transitions, 2555 secs || 30454680 markings, 33853790 edges, 12224 markings/sec, 2555 secs 58 tries, 57185603 fired transitions, 2560 secs || 30515266 markings, 33921257 edges, 12117 markings/sec, 2560 secs 58 tries, 57302316 fired transitions, 2565 secs || 30574644 markings, 33987294 edges, 11876 markings/sec, 2565 secs 58 tries, 57418615 fired transitions, 2570 secs || 30633871 markings, 34052510 edges, 11845 markings/sec, 2570 secs 58 tries, 57536227 fired transitions, 2575 secs || 30695693 markings, 34121208 edges, 12364 markings/sec, 2575 secs 58 tries, 57652490 fired transitions, 2580 secs || 30756176 markings, 34188362 edges, 12097 markings/sec, 2580 secs 58 tries, 57769689 fired transitions, 2585 secs || 30815226 markings, 34253870 edges, 11810 markings/sec, 2585 secs 58 tries, 57886203 fired transitions, 2590 secs || 30874325 markings, 34319565 edges, 11820 markings/sec, 2590 secs 59 tries, 58002007 fired transitions, 2595 secs || 30933708 markings, 34385877 edges, 11877 markings/sec, 2595 secs 59 tries, 58111920 fired transitions, 2600 secs || 30993255 markings, 34452322 edges, 11909 markings/sec, 2600 secs 59 tries, 58222629 fired transitions, 2605 secs || 31051974 markings, 34517773 edges, 11744 markings/sec, 2605 secs 59 tries, 58337601 fired transitions, 2610 secs || 31110790 markings, 34582906 edges, 11763 markings/sec, 2610 secs 59 tries, 58455669 fired transitions, 2615 secs || 31172174 markings, 34651467 edges, 12277 markings/sec, 2615 secs 59 tries, 58572175 fired transitions, 2620 secs || 31232322 markings, 34718445 edges, 12030 markings/sec, 2620 secs 59 tries, 58689324 fired transitions, 2625 secs || 31291745 markings, 34784474 edges, 11885 markings/sec, 2625 secs 59 tries, 58805192 fired transitions, 2630 secs || 31351713 markings, 34851008 edges, 11994 markings/sec, 2630 secs 59 tries, 58921446 fired transitions, 2635 secs || 31411648 markings, 34917746 edges, 11987 markings/sec, 2635 secs 60 tries, 59038979 fired transitions, 2640 secs || 31474163 markings, 34987446 edges, 12503 markings/sec, 2640 secs 60 tries, 59154899 fired transitions, 2645 secs || 31536219 markings, 35056742 edges, 12411 markings/sec, 2645 secs 60 tries, 59271056 fired transitions, 2650 secs || 31597952 markings, 35125778 edges, 12347 markings/sec, 2650 secs 60 tries, 59387486 fired transitions, 2655 secs || 31657133 markings, 35191517 edges, 11836 markings/sec, 2655 secs 60 tries, 59504890 fired transitions, 2660 secs || 31717678 markings, 35259135 edges, 12109 markings/sec, 2660 secs 60 tries, 59620940 fired transitions, 2665 secs || 31779872 markings, 35328875 edges, 12439 markings/sec, 2665 secs 60 tries, 59736229 fired transitions, 2670 secs || 31840358 markings, 35396249 edges, 12097 markings/sec, 2670 secs 60 tries, 59847128 fired transitions, 2675 secs || 31900067 markings, 35462801 edges, 11942 markings/sec, 2675 secs 60 tries, 59959443 fired transitions, 2680 secs || 31957750 markings, 35526457 edges, 11537 markings/sec, 2680 secs 61 tries, 60071553 fired transitions, 2685 secs || 32018128 markings, 35593250 edges, 12076 markings/sec, 2685 secs 61 tries, 60182373 fired transitions, 2690 secs || 32077320 markings, 35659100 edges, 11838 markings/sec, 2690 secs 61 tries, 60294171 fired transitions, 2695 secs || 32136823 markings, 35725258 edges, 11901 markings/sec, 2695 secs 61 tries, 60405260 fired transitions, 2700 secs || 32195039 markings, 35790018 edges, 11643 markings/sec, 2700 secs 61 tries, 60516110 fired transitions, 2705 secs || 32254589 markings, 35855921 edges, 11910 markings/sec, 2705 secs 61 tries, 60628172 fired transitions, 2710 secs || 32311980 markings, 35919585 edges, 11478 markings/sec, 2710 secs 61 tries, 60741054 fired transitions, 2715 secs || 32372353 markings, 35986616 edges, 12075 markings/sec, 2715 secs 61 tries, 60850909 fired transitions, 2720 secs || 32429236 markings, 36049591 edges, 11377 markings/sec, 2720 secs 61 tries, 60959027 fired transitions, 2725 secs || 32487018 markings, 36114146 edges, 11556 markings/sec, 2725 secs 62 tries, 61063061 fired transitions, 2730 secs || 32545430 markings, 36179499 edges, 11682 markings/sec, 2730 secs 62 tries, 61178208 fired transitions, 2735 secs || 32604142 markings, 36244550 edges, 11742 markings/sec, 2735 secs 62 tries, 61291134 fired transitions, 2740 secs || 32661468 markings, 36307990 edges, 11465 markings/sec, 2740 secs 62 tries, 61398824 fired transitions, 2745 secs || 32717329 markings, 36369996 edges, 11172 markings/sec, 2745 secs 62 tries, 61511981 fired transitions, 2750 secs || 32775612 markings, 36434744 edges, 11657 markings/sec, 2750 secs 62 tries, 61623394 fired transitions, 2755 secs || 32833862 markings, 36499529 edges, 11650 markings/sec, 2755 secs 62 tries, 61732495 fired transitions, 2760 secs || 32891249 markings, 36563270 edges, 11477 markings/sec, 2760 secs 62 tries, 61841700 fired transitions, 2765 secs || 32948530 markings, 36626923 edges, 11456 markings/sec, 2765 secs 62 tries, 61952315 fired transitions, 2770 secs || 33005772 markings, 36690750 edges, 11448 markings/sec, 2770 secs 63 tries, 62063950 fired transitions, 2775 secs || 33065148 markings, 36757070 edges, 11875 markings/sec, 2775 secs 63 tries, 62174917 fired transitions, 2780 secs || 33123373 markings, 36822215 edges, 11645 markings/sec, 2780 secs 63 tries, 62284959 fired transitions, 2785 secs || 33178980 markings, 36883866 edges, 11121 markings/sec, 2785 secs 63 tries, 62395741 fired transitions, 2790 secs || 33237529 markings, 36949157 edges, 11710 markings/sec, 2790 secs 63 tries, 62505386 fired transitions, 2795 secs || 33294757 markings, 37012868 edges, 11446 markings/sec, 2795 secs 63 tries, 62616370 fired transitions, 2800 secs || 33351117 markings, 37075626 edges, 11272 markings/sec, 2800 secs 63 tries, 62726393 fired transitions, 2805 secs || 33409571 markings, 37140491 edges, 11691 markings/sec, 2805 secs 63 tries, 62836998 fired transitions, 2810 secs || 33466167 markings, 37202939 edges, 11319 markings/sec, 2810 secs 63 tries, 62945808 fired transitions, 2815 secs || 33524761 markings, 37268058 edges, 11719 markings/sec, 2815 secs 64 tries, 63058143 fired transitions, 2820 secs || 33580311 markings, 37329377 edges, 11110 markings/sec, 2820 secs 64 tries, 63168266 fired transitions, 2825 secs || 33640260 markings, 37396443 edges, 11990 markings/sec, 2825 secs 64 tries, 63277578 fired transitions, 2830 secs || 33696988 markings, 37459379 edges, 11346 markings/sec, 2830 secs 64 tries, 63388056 fired transitions, 2835 secs || 33755089 markings, 37524214 edges, 11620 markings/sec, 2835 secs 64 tries, 63498277 fired transitions, 2840 secs || 33812648 markings, 37588261 edges, 11512 markings/sec, 2840 secs 64 tries, 63611372 fired transitions, 2845 secs || 33872235 markings, 37654819 edges, 11917 markings/sec, 2845 secs 64 tries, 63721342 fired transitions, 2850 secs || 33930644 markings, 37719966 edges, 11682 markings/sec, 2850 secs 64 tries, 63830648 fired transitions, 2855 secs || 33987678 markings, 37783629 edges, 11407 markings/sec, 2855 secs 64 tries, 63939609 fired transitions, 2860 secs || 34045132 markings, 37847782 edges, 11491 markings/sec, 2860 secs 65 tries, 64050226 fired transitions, 2865 secs || 34101315 markings, 37910039 edges, 11237 markings/sec, 2865 secs 65 tries, 64159851 fired transitions, 2870 secs || 34158888 markings, 37973943 edges, 11515 markings/sec, 2870 secs 65 tries, 64269746 fired transitions, 2875 secs || 34216402 markings, 38038081 edges, 11503 markings/sec, 2875 secs 65 tries, 64378771 fired transitions, 2880 secs || 34273834 markings, 38102116 edges, 11486 markings/sec, 2880 secs 65 tries, 64488355 fired transitions, 2885 secs || 34330671 markings, 38165508 edges, 11367 markings/sec, 2885 secs 65 tries, 64598452 fired transitions, 2890 secs || 34386990 markings, 38228040 edges, 11264 markings/sec, 2890 secs 65 tries, 64709134 fired transitions, 2895 secs || 34445121 markings, 38292788 edges, 11626 markings/sec, 2895 secs 65 tries, 64818541 fired transitions, 2900 secs || 34503931 markings, 38358505 edges, 11762 markings/sec, 2900 secs 65 tries, 64927384 fired transitions, 2905 secs || 34559895 markings, 38420521 edges, 11193 markings/sec, 2905 secs 66 tries, 65037591 fired transitions, 2910 secs || 34615976 markings, 38482894 edges, 11216 markings/sec, 2910 secs 66 tries, 65146945 fired transitions, 2915 secs || 34673107 markings, 38546791 edges, 11426 markings/sec, 2915 secs 66 tries, 65255724 fired transitions, 2920 secs || 34729751 markings, 38609858 edges, 11329 markings/sec, 2920 secs 66 tries, 65364789 fired transitions, 2925 secs || 34785711 markings, 38672010 edges, 11192 markings/sec, 2925 secs 66 tries, 65473302 fired transitions, 2930 secs || 34842087 markings, 38734671 edges, 11275 markings/sec, 2930 secs 66 tries, 65582535 fired transitions, 2935 secs || 34899211 markings, 38797689 edges, 11425 markings/sec, 2935 secs 66 tries, 65691045 fired transitions, 2940 secs || 34958179 markings, 38862835 edges, 11794 markings/sec, 2940 secs 66 tries, 65798185 fired transitions, 2945 secs || 35017362 markings, 38928801 edges, 11837 markings/sec, 2945 secs 66 tries, 65907697 fired transitions, 2950 secs || 35077299 markings, 38995554 edges, 11987 markings/sec, 2950 secs 67 tries, 66018684 fired transitions, 2955 secs || 35138355 markings, 39063726 edges, 12211 markings/sec, 2955 secs 67 tries, 66129356 fired transitions, 2960 secs || 35195282 markings, 39126730 edges, 11385 markings/sec, 2960 secs 67 tries, 66238971 fired transitions, 2965 secs || 35252787 markings, 39190840 edges, 11501 markings/sec, 2965 secs 67 tries, 66347334 fired transitions, 2970 secs || 35310586 markings, 39255079 edges, 11560 markings/sec, 2970 secs 67 tries, 66456382 fired transitions, 2975 secs || 35367002 markings, 39317560 edges, 11283 markings/sec, 2975 secs 67 tries, 66566218 fired transitions, 2980 secs || 35428357 markings, 39386294 edges, 12271 markings/sec, 2980 secs 67 tries, 66677192 fired transitions, 2985 secs || 35486876 markings, 39451721 edges, 11704 markings/sec, 2985 secs 67 tries, 66787897 fired transitions, 2990 secs || 35543804 markings, 39514880 edges, 11386 markings/sec, 2990 secs 67 tries, 66899135 fired transitions, 2995 secs || 35600054 markings, 39577372 edges, 11250 markings/sec, 2995 secs 68 tries, 67009001 fired transitions, 3000 secs || 35657964 markings, 39642078 edges, 11582 markings/sec, 3000 secs 68 tries, 67118162 fired transitions, 3005 secs || 35716159 markings, 39706779 edges, 11639 markings/sec, 3005 secs 68 tries, 67228765 fired transitions, 3010 secs || 35770995 markings, 39767635 edges, 10967 markings/sec, 3010 secs 68 tries, 67339406 fired transitions, 3015 secs || 35830910 markings, 39834926 edges, 11983 markings/sec, 3015 secs 68 tries, 67445469 fired transitions, 3020 secs || 35887316 markings, 39897443 edges, 11281 markings/sec, 3020 secs 68 tries, 67552946 fired transitions, 3025 secs || 35944100 markings, 39960729 edges, 11357 markings/sec, 3025 secs 68 tries, 67660284 fired transitions, 3030 secs || 35999901 markings, 40022802 edges, 11160 markings/sec, 3030 secs 68 tries, 67767442 fired transitions, 3035 secs || 36058066 markings, 40087760 edges, 11633 markings/sec, 3035 secs 68 tries, 67870550 fired transitions, 3040 secs || 36116414 markings, 40152926 edges, 11670 markings/sec, 3040 secs 68 tries, 67982083 fired transitions, 3045 secs || 36173131 markings, 40216295 edges, 11343 markings/sec, 3045 secs 69 tries, 68088374 fired transitions, 3050 secs || 36230553 markings, 40280204 edges, 11484 markings/sec, 3050 secs 69 tries, 68200151 fired transitions, 3055 secs || 36285892 markings, 40341521 edges, 11068 markings/sec, 3055 secs 69 tries, 68312904 fired transitions, 3060 secs || 36343132 markings, 40405078 edges, 11448 markings/sec, 3060 secs 69 tries, 68422730 fired transitions, 3065 secs || 36399887 markings, 40467646 edges, 11351 markings/sec, 3065 secs 69 tries, 68532998 fired transitions, 3070 secs || 36457471 markings, 40531927 edges, 11517 markings/sec, 3070 secs 69 tries, 68642786 fired transitions, 3075 secs || 36515021 markings, 40596254 edges, 11510 markings/sec, 3075 secs 69 tries, 68754993 fired transitions, 3080 secs || 36572168 markings, 40659951 edges, 11429 markings/sec, 3080 secs 69 tries, 68862754 fired transitions, 3085 secs || 36630557 markings, 40724845 edges, 11678 markings/sec, 3085 secs 69 tries, 68970647 fired transitions, 3090 secs || 36687910 markings, 40788244 edges, 11471 markings/sec, 3090 secs 70 tries, 69080064 fired transitions, 3095 secs || 36745590 markings, 40852229 edges, 11536 markings/sec, 3095 secs 70 tries, 69192492 fired transitions, 3100 secs || 36806387 markings, 40920358 edges, 12159 markings/sec, 3100 secs 70 tries, 69303011 fired transitions, 3105 secs || 36863308 markings, 40983563 edges, 11384 markings/sec, 3105 secs 70 tries, 69411556 fired transitions, 3110 secs || 36919025 markings, 41045227 edges, 11143 markings/sec, 3110 secs 70 tries, 69519819 fired transitions, 3115 secs || 36976494 markings, 41109353 edges, 11494 markings/sec, 3115 secs 70 tries, 69631527 fired transitions, 3120 secs || 37031588 markings, 41170742 edges, 11019 markings/sec, 3120 secs 70 tries, 69738079 fired transitions, 3125 secs || 37087490 markings, 41232848 edges, 11180 markings/sec, 3125 secs 70 tries, 69848413 fired transitions, 3130 secs || 37144754 markings, 41296549 edges, 11453 markings/sec, 3130 secs 70 tries, 69953936 fired transitions, 3135 secs || 37202179 markings, 41360503 edges, 11485 markings/sec, 3135 secs 71 tries, 70062080 fired transitions, 3140 secs || 37258757 markings, 41423472 edges, 11316 markings/sec, 3140 secs 71 tries, 70176026 fired transitions, 3145 secs || 37317879 markings, 41489488 edges, 11824 markings/sec, 3145 secs 71 tries, 70288968 fired transitions, 3150 secs || 37375753 markings, 41553883 edges, 11575 markings/sec, 3150 secs 71 tries, 70402838 fired transitions, 3155 secs || 37433552 markings, 41618302 edges, 11560 markings/sec, 3155 secs 71 tries, 70516111 fired transitions, 3160 secs || 37491392 markings, 41682621 edges, 11568 markings/sec, 3160 secs 71 tries, 70629630 fired transitions, 3165 secs || 37548984 markings, 41746641 edges, 11518 markings/sec, 3165 secs 71 tries, 70740930 fired transitions, 3170 secs || 37605930 markings, 41809884 edges, 11389 markings/sec, 3170 secs 71 tries, 70851575 fired transitions, 3175 secs || 37662143 markings, 41872348 edges, 11243 markings/sec, 3175 secs 71 tries, 70962273 fired transitions, 3180 secs || 37715786 markings, 41931699 edges, 10729 markings/sec, 3180 secs 72 tries, 71074479 fired transitions, 3185 secs || 37770962 markings, 41993133 edges, 11035 markings/sec, 3185 secs 72 tries, 71185352 fired transitions, 3190 secs || 37827019 markings, 42055681 edges, 11211 markings/sec, 3190 secs 72 tries, 71297027 fired transitions, 3195 secs || 37883171 markings, 42118179 edges, 11230 markings/sec, 3195 secs 72 tries, 71407710 fired transitions, 3200 secs || 37942370 markings, 42184273 edges, 11840 markings/sec, 3200 secs 72 tries, 71519299 fired transitions, 3205 secs || 37999642 markings, 42248289 edges, 11454 markings/sec, 3205 secs 72 tries, 71631342 fired transitions, 3210 secs || 38057847 markings, 42313180 edges, 11641 markings/sec, 3210 secs 72 tries, 71741987 fired transitions, 3215 secs || 38114345 markings, 42376229 edges, 11300 markings/sec, 3215 secs 72 tries, 71851713 fired transitions, 3220 secs || 38169745 markings, 42437774 edges, 11080 markings/sec, 3220 secs 72 tries, 71960472 fired transitions, 3225 secs || 38228585 markings, 42503027 edges, 11768 markings/sec, 3225 secs 73 tries, 72072358 fired transitions, 3230 secs || 38286239 markings, 42567140 edges, 11531 markings/sec, 3230 secs 73 tries, 72184233 fired transitions, 3235 secs || 38345695 markings, 42633725 edges, 11891 markings/sec, 3235 secs 73 tries, 72295828 fired transitions, 3240 secs || 38403916 markings, 42698960 edges, 11644 markings/sec, 3240 secs 73 tries, 72408263 fired transitions, 3245 secs || 38463139 markings, 42765451 edges, 11845 markings/sec, 3245 secs 73 tries, 72521114 fired transitions, 3250 secs || 38516799 markings, 42825202 edges, 10732 markings/sec, 3250 secs 73 tries, 72634051 fired transitions, 3255 secs || 38574272 markings, 42889314 edges, 11495 markings/sec, 3255 secs 73 tries, 72744604 fired transitions, 3260 secs || 38631880 markings, 42953683 edges, 11522 markings/sec, 3260 secs 73 tries, 72856761 fired transitions, 3265 secs || 38687783 markings, 43015882 edges, 11181 markings/sec, 3265 secs 73 tries, 72969317 fired transitions, 3270 secs || 38745314 markings, 43080061 edges, 11506 markings/sec, 3270 secs 74 tries, 73083991 fired transitions, 3275 secs || 38802414 markings, 43143437 edges, 11420 markings/sec, 3275 secs 74 tries, 73196444 fired transitions, 3280 secs || 38859410 markings, 43206828 edges, 11399 markings/sec, 3280 secs 74 tries, 73310970 fired transitions, 3285 secs || 38917155 markings, 43270999 edges, 11549 markings/sec, 3285 secs 74 tries, 73424147 fired transitions, 3290 secs || 38974671 markings, 43334706 edges, 11503 markings/sec, 3290 secs 74 tries, 73538544 fired transitions, 3295 secs || 39031376 markings, 43397656 edges, 11341 markings/sec, 3295 secs 74 tries, 73653088 fired transitions, 3300 secs || 39088457 markings, 43460969 edges, 11416 markings/sec, 3300 secs 74 tries, 73768425 fired transitions, 3305 secs || 39146308 markings, 43524744 edges, 11570 markings/sec, 3305 secs 74 tries, 73883068 fired transitions, 3310 secs || 39203089 markings, 43587918 edges, 11356 markings/sec, 3310 secs 74 tries, 73995060 fired transitions, 3315 secs || 39258810 markings, 43649366 edges, 11144 markings/sec, 3315 secs 75 tries, 74109445 fired transitions, 3320 secs || 39315187 markings, 43711492 edges, 11275 markings/sec, 3320 secs 75 tries, 74222580 fired transitions, 3325 secs || 39370354 markings, 43771840 edges, 11033 markings/sec, 3325 secs 75 tries, 74336569 fired transitions, 3330 secs || 39425326 markings, 43832083 edges, 10994 markings/sec, 3330 secs 75 tries, 74449426 fired transitions, 3335 secs || 39480744 markings, 43892638 edges, 11084 markings/sec, 3335 secs 75 tries, 74561602 fired transitions, 3340 secs || 39537384 markings, 43955068 edges, 11328 markings/sec, 3340 secs 75 tries, 74675466 fired transitions, 3345 secs || 39593987 markings, 44017379 edges, 11321 markings/sec, 3345 secs 75 tries, 74788481 fired transitions, 3350 secs || 39652971 markings, 44082781 edges, 11797 markings/sec, 3350 secs 75 tries, 74901628 fired transitions, 3355 secs || 39711510 markings, 44147586 edges, 11708 markings/sec, 3355 secs 76 tries, 75015959 fired transitions, 3360 secs || 39768743 markings, 44210461 edges, 11447 markings/sec, 3360 secs 76 tries, 75127699 fired transitions, 3365 secs || 39826104 markings, 44273632 edges, 11472 markings/sec, 3365 secs 76 tries, 75239589 fired transitions, 3370 secs || 39885027 markings, 44338702 edges, 11785 markings/sec, 3370 secs 76 tries, 75351178 fired transitions, 3375 secs || 39942112 markings, 44401487 edges, 11417 markings/sec, 3375 secs 76 tries, 75465068 fired transitions, 3380 secs || 40000109 markings, 44465411 edges, 11599 markings/sec, 3380 secs 76 tries, 75577773 fired transitions, 3385 secs || 40058304 markings, 44529720 edges, 11639 markings/sec, 3385 secs 76 tries, 75691604 fired transitions, 3390 secs || 40115200 markings, 44592273 edges, 11379 markings/sec, 3390 secs 76 tries, 75805470 fired transitions, 3395 secs || 40173588 markings, 44656849 edges, 11678 markings/sec, 3395 secs 76 tries, 75918370 fired transitions, 3400 secs || 40232400 markings, 44722022 edges, 11762 markings/sec, 3400 secs 77 tries, 76031252 fired transitions, 3405 secs || 40290688 markings, 44787501 edges, 11658 markings/sec, 3405 secs 77 tries, 76143007 fired transitions, 3410 secs || 40347988 markings, 44853711 edges, 11460 markings/sec, 3410 secs 77 tries, 76255336 fired transitions, 3415 secs || 40404199 markings, 44915598 edges, 11242 markings/sec, 3415 secs 77 tries, 76366685 fired transitions, 3420 secs || 40459468 markings, 44976393 edges, 11054 markings/sec, 3420 secs 77 tries, 76471701 fired transitions, 3425 secs || 40514839 markings, 45037116 edges, 11074 markings/sec, 3425 secs 77 tries, 76577644 fired transitions, 3430 secs || 40569150 markings, 45096569 edges, 10862 markings/sec, 3430 secs 77 tries, 76683725 fired transitions, 3435 secs || 40625478 markings, 45158850 edges, 11266 markings/sec, 3435 secs 77 tries, 76791589 fired transitions, 3440 secs || 40680924 markings, 45220090 edges, 11089 markings/sec, 3440 secs 77 tries, 76900818 fired transitions, 3445 secs || 40732965 markings, 45277348 edges, 10408 markings/sec, 3445 secs 78 tries, 77008965 fired transitions, 3450 secs || 40784692 markings, 45333981 edges, 10345 markings/sec, 3450 secs 78 tries, 77032285 fired transitions, 3455 secs || 40786972 markings, 45336474 edges, 456 markings/sec, 3455 secs 78 tries, 77086649 fired transitions, 3460 secs || 40794417 markings, 45344706 edges, 1489 markings/sec, 3460 secs 78 tries, 77113957 fired transitions, 3465 secs || 40795998 markings, 45346432 edges, 316 markings/sec, 3465 secs 78 tries, 77130156 fired transitions, 3470 secs || 40797549 markings, 45348111 edges, 310 markings/sec, 3470 secs 78 tries, 77142577 fired transitions, 3475 secs || 40798306 markings, 45348927 edges, 151 markings/sec, 3475 secs 78 tries, 77160970 fired transitions, 3480 secs || 40799526 markings, 45350259 edges, 244 markings/sec, 3480 secs 78 tries, 77197256 fired transitions, 3485 secs || 40801019 markings, 45351908 edges, 299 markings/sec, 3485 secs 78 tries, 77213426 fired transitions, 3490 secs || 40802263 markings, 45353271 edges, 249 markings/sec, 3490 secs 78 tries, 77224514 fired transitions, 3495 secs || 40802874 markings, 45353943 edges, 122 markings/sec, 3495 secs 78 tries, 77251308 fired transitions, 3500 secs || 40806356 markings, 45357780 edges, 696 markings/sec, 3500 secs 78 tries, 77278444 fired transitions, 3505 secs || 40807442 markings, 45358953 edges, 217 markings/sec, 3505 secs 78 tries, 77288744 fired transitions, 3510 secs || 40808940 markings, 45360590 edges, 300 markings/sec, 3510 secs 78 tries, 77336010 fired transitions, 3515 secs || 40811234 markings, 45363123 edges, 459 markings/sec, 3515 secs 78 tries, 77346045 fired transitions, 3520 secs || 40812285 markings, 45364248 edges, 210 markings/sec, 3520 secs 78 tries, 77369852 fired transitions, 3525 secs || 40813769 markings, 45365857 edges, 297 markings/sec, 3525 secs 78 tries, 77398668 fired transitions, 3530 secs || 40815818 markings, 45368080 edges, 410 markings/sec, 3530 secs 78 tries, 77412838 fired transitions, 3535 secs || 40816334 markings, 45368641 edges, 103 markings/sec, 3535 secs 78 tries, 77423170 fired transitions, 3540 secs || 40818485 markings, 45370970 edges, 430 markings/sec, 3540 secs 78 tries, 77460970 fired transitions, 3545 secs || 40825067 markings, 45378222 edges, 1316 markings/sec, 3545 secs 78 tries, 77480620 fired transitions, 3550 secs || 40828942 markings, 45382532 edges, 775 markings/sec, 3550 secs 78 tries, 77492775 fired transitions, 3555 secs || 40832409 markings, 45386346 edges, 693 markings/sec, 3555 secs reached - aborting

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-11b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
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-11b.tgz
mv DLCround-PT-11b 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 lola"
echo " Input is DLCround-PT-11b, 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 r064-smll-152649735200125"
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 ;