MCC'2019 - Execution of r126-oct2-155274853600408

About the Execution of LoLA for RERS17pb114-PT-2

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
11990.430	3570538.00	6913754.00	55.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2019-i
Waiting for the
.........................
=========================
Generated by BenchKit 2-3954
Executing tool lola
Input is RERS17pb114-PT-2,
Time confinement
Memory confinement
Number of cores is 4
Run identifier
=========================

--------------------
preparation of the
/home/mcc/execution
total 73M
-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 users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r--
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-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 users

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

=== Data for post

The expected result
BOOL_VECTOR

here is the order
FORMULA_NAME RERS17pb114-

=== Now, execution

BK_START 1553917663889

info: Time: 3600 - MCC
vrfy: Checking GlobalProperties
Makefile:16: recipe
vrfy: finished
info: timeLeft: -1
rslt: Output for
lola: LoLA will
lola: NET
lola: input: PNML file (--pnml)
lola: reading
lola: reading pnml
lola: PNML file
lola: finished parsing
lola: closed net
lola: 152531/268435456
lola: preprocessing...
lola: Size of bit vector: 1446
lola: finding
lola: 1446 places,
lola: compute conflict clusters
lola: computed
lola: Computing
lola: Computing
lola: TASK
lola: Reading
lola: reading pnml
lola: reading
lola: E (F (DEADLOCK))
lola: checking reachability
lola: Planning:
lola: rewrite
lola: processed
lola: processed
lola: 1 rewrites
lola: closed formula
lola: STORE
lola: using a
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: rewrite
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0
lola: 1 tries,
lola: 0 generators;
lola: 1 tries,
lola: 117 generators;
lola: computed
lola: representing
lola: 0 dead branches
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: 1 tries,
lola: time limit
Segmentation fault
rslt: finished

BK_STOP 1553921234427

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

grep: GenericPropertiesVerdict.xml:
make: [verify] Error
grep: GenericPropertiesVerdict.xml:
nput.r126-oct2-155274853600408.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16 VM to be ready (probing ssh) ..................................... ============================================ examination is GlobalProperties is 3600 seconds is 16384 MBytes is r126-oct2-155274853600408 ============================================ directory to be used: users 4.6K Feb 13 08:14 CTLCardinality.txt 28K Feb 13 08:14 CTLCardinality.xml users 3.7K Feb 13 08:14 CTLFireability.txt 20K Feb 13 08:14 CTLFireability.xml users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml 103 Feb 24 15:05 GlobalProperties.txt 341 Feb 24 15:05 GlobalProperties.xml users 2.4K Feb 13 08:14 LTLCardinality.txt 11K Feb 13 08:14 LTLCardinality.xml 1 mcc users 2.2K Feb 13 08:14 LTLFireability.txt users 8.9K Feb 13 08:14 LTLFireability.xml users 3.5K Feb 13 08:14 ReachabilityCardinality.txt 17K Feb 13 08:14 ReachabilityCardinality.xml users 3.6K Feb 13 08:14 ReachabilityFireability.txt 16K Feb 13 08:14 ReachabilityFireability.xml users 1.6K Feb 13 08:14 UpperBounds.txt users 3.7K Feb 13 08:14 UpperBounds.xml 6 Feb 13 08:05 equiv_col 2 Feb 13 08:05 instance 6 Feb 13 08:05 iscolored 73M Mar 10 17:31 model.pnml analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) PT-2-GlobalProperties-0 of the tool begins @ RERS17pb114-PT-2 @ 3570 seconds for target 'verify' failed GlobalProperties @ RERS17pb114-PT-2 run for 3570 seconds at most (--timelimit) net from model.pnml contains place/transition net file model.pnml symbol table entries, 7 collisions significant places 151085 transitions, 1446 significant places conflict clusters conflicting sets back conflicting sets formula in XML format (--xmlformula) formula from GlobalProperties.xml workflow for reachability check: findpath||search (--findpath=par) Frontend/Parser/formula_rewrite.k:711 formula: E (F (DEADLOCK)) formula length: 16 file GlobalProperties.xml simple compression encoder (--encoder=simplecompressed) prefix tree store (--store=prefix) using reachability graph (--search=depth) using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan) Frontend/Parser/formula_rewrite.k:711 using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan) starting randomized, memory-less exploration (--findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen hash-driven symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 49 fired transitions, 0 secs generators; 1044735 candidates remain ( 0%), 0 secs 97 fired transitions, 5 secs generators; 1044735 candidates remain ( 0%), 5 secs 146 fired transitions, 10 secs generators; 1044735 candidates remain ( 0%), 10 secs 194 fired transitions, 15 secs generators; 1044735 candidates remain ( 0%), 15 secs 241 fired transitions, 20 secs generators; 1044735 candidates remain ( 0%), 20 secs 290 fired transitions, 25 secs generators; 1044735 candidates remain ( 0%), 25 secs 338 fired transitions, 30 secs generators; 1044735 candidates remain ( 0%), 30 secs 380 fired transitions, 35 secs generators; 1044735 candidates remain ( 0%), 35 secs 419 fired transitions, 40 secs generators; 1044735 candidates remain ( 0%), 40 secs 459 fired transitions, 45 secs 987732 candidates remain ( 0%), 45 secs 498 fired transitions, 50 secs 274178 candidates remain ( 0%), 50 secs 153 generators (17 in search tree, 136 by composition) 6.40237E+15 symmetries visited in search tree 537 fired transitions, 55 secs || 3 markings, 2 edges, 1 markings/sec, 55 secs 576 fired transitions, 60 secs || 3 markings, 358 edges, 0 markings/sec, 60 secs 614 fired transitions, 65 secs || 3 markings, 358 edges, 0 markings/sec, 65 secs 653 fired transitions, 70 secs || 3 markings, 358 edges, 0 markings/sec, 70 secs 692 fired transitions, 75 secs || 3 markings, 358 edges, 0 markings/sec, 75 secs 731 fired transitions, 80 secs || 3 markings, 358 edges, 0 markings/sec, 80 secs 770 fired transitions, 85 secs || 3 markings, 358 edges, 0 markings/sec, 85 secs 810 fired transitions, 90 secs || 3 markings, 358 edges, 0 markings/sec, 90 secs 852 fired transitions, 95 secs || 3 markings, 358 edges, 0 markings/sec, 95 secs 893 fired transitions, 100 secs || 3 markings, 358 edges, 0 markings/sec, 100 secs 935 fired transitions, 105 secs || 3 markings, 358 edges, 0 markings/sec, 105 secs 976 fired transitions, 110 secs || 3 markings, 358 edges, 0 markings/sec, 110 secs 1017 fired transitions, 115 secs || 3 markings, 358 edges, 0 markings/sec, 115 secs 1058 fired transitions, 120 secs || 3 markings, 358 edges, 0 markings/sec, 120 secs 1097 fired transitions, 125 secs || 3 markings, 358 edges, 0 markings/sec, 125 secs 1136 fired transitions, 130 secs || 3 markings, 358 edges, 0 markings/sec, 130 secs 1176 fired transitions, 135 secs || 3 markings, 358 edges, 0 markings/sec, 135 secs 1216 fired transitions, 140 secs || 3 markings, 358 edges, 0 markings/sec, 140 secs 1256 fired transitions, 145 secs || 3 markings, 358 edges, 0 markings/sec, 145 secs 1297 fired transitions, 150 secs || 3 markings, 358 edges, 0 markings/sec, 150 secs 1338 fired transitions, 155 secs || 3 markings, 358 edges, 0 markings/sec, 155 secs 1378 fired transitions, 160 secs || 3 markings, 358 edges, 0 markings/sec, 160 secs 1418 fired transitions, 165 secs || 3 markings, 358 edges, 0 markings/sec, 165 secs 1462 fired transitions, 170 secs || 3 markings, 358 edges, 0 markings/sec, 170 secs 1510 fired transitions, 175 secs || 3 markings, 358 edges, 0 markings/sec, 175 secs 1558 fired transitions, 180 secs || 3 markings, 358 edges, 0 markings/sec, 180 secs 1604 fired transitions, 185 secs || 3 markings, 358 edges, 0 markings/sec, 185 secs 1651 fired transitions, 190 secs || 3 markings, 358 edges, 0 markings/sec, 190 secs 1699 fired transitions, 195 secs || 3 markings, 358 edges, 0 markings/sec, 195 secs 1743 fired transitions, 200 secs || 3 markings, 358 edges, 0 markings/sec, 200 secs 1785 fired transitions, 205 secs || 3 markings, 358 edges, 0 markings/sec, 205 secs 1828 fired transitions, 210 secs || 3 markings, 358 edges, 0 markings/sec, 210 secs 1872 fired transitions, 215 secs || 3 markings, 358 edges, 0 markings/sec, 215 secs 1915 fired transitions, 220 secs || 3 markings, 358 edges, 0 markings/sec, 220 secs 1957 fired transitions, 225 secs || 3 markings, 358 edges, 0 markings/sec, 225 secs 2000 fired transitions, 230 secs || 3 markings, 358 edges, 0 markings/sec, 230 secs 2041 fired transitions, 235 secs || 3 markings, 358 edges, 0 markings/sec, 235 secs 2083 fired transitions, 240 secs || 3 markings, 358 edges, 0 markings/sec, 240 secs 2125 fired transitions, 245 secs || 3 markings, 358 edges, 0 markings/sec, 245 secs 2166 fired transitions, 250 secs || 3 markings, 358 edges, 0 markings/sec, 250 secs 2207 fired transitions, 255 secs || 3 markings, 358 edges, 0 markings/sec, 255 secs 2245 fired transitions, 260 secs || 3 markings, 358 edges, 0 markings/sec, 260 secs 2269 fired transitions, 265 secs || 3 markings, 358 edges, 0 markings/sec, 265 secs 2292 fired transitions, 270 secs || 3 markings, 358 edges, 0 markings/sec, 270 secs 2315 fired transitions, 275 secs || 3 markings, 358 edges, 0 markings/sec, 275 secs 2338 fired transitions, 280 secs || 3 markings, 358 edges, 0 markings/sec, 280 secs 2360 fired transitions, 285 secs || 3 markings, 358 edges, 0 markings/sec, 285 secs 2383 fired transitions, 290 secs || 3 markings, 358 edges, 0 markings/sec, 290 secs 2406 fired transitions, 295 secs || 3 markings, 358 edges, 0 markings/sec, 295 secs 2429 fired transitions, 300 secs || 3 markings, 358 edges, 0 markings/sec, 300 secs 2454 fired transitions, 305 secs || 3 markings, 358 edges, 0 markings/sec, 305 secs 2477 fired transitions, 310 secs || 3 markings, 358 edges, 0 markings/sec, 310 secs 2501 fired transitions, 315 secs || 3 markings, 358 edges, 0 markings/sec, 315 secs 2524 fired transitions, 320 secs || 3 markings, 358 edges, 0 markings/sec, 320 secs 2548 fired transitions, 325 secs || 3 markings, 358 edges, 0 markings/sec, 325 secs 2571 fired transitions, 330 secs || 3 markings, 358 edges, 0 markings/sec, 330 secs 2594 fired transitions, 335 secs || 3 markings, 358 edges, 0 markings/sec, 335 secs 2617 fired transitions, 340 secs || 3 markings, 358 edges, 0 markings/sec, 340 secs 2640 fired transitions, 345 secs || 3 markings, 358 edges, 0 markings/sec, 345 secs 2663 fired transitions, 350 secs || 3 markings, 358 edges, 0 markings/sec, 350 secs 2686 fired transitions, 355 secs || 3 markings, 358 edges, 0 markings/sec, 355 secs 2710 fired transitions, 360 secs || 3 markings, 358 edges, 0 markings/sec, 360 secs 2733 fired transitions, 365 secs || 3 markings, 358 edges, 0 markings/sec, 365 secs 2756 fired transitions, 370 secs || 3 markings, 358 edges, 0 markings/sec, 370 secs 2780 fired transitions, 375 secs || 3 markings, 358 edges, 0 markings/sec, 375 secs 2804 fired transitions, 380 secs || 3 markings, 358 edges, 0 markings/sec, 380 secs 2827 fired transitions, 385 secs || 3 markings, 358 edges, 0 markings/sec, 385 secs 2850 fired transitions, 390 secs || 3 markings, 358 edges, 0 markings/sec, 390 secs 2872 fired transitions, 395 secs || 3 markings, 358 edges, 0 markings/sec, 395 secs 2894 fired transitions, 400 secs || 3 markings, 358 edges, 0 markings/sec, 400 secs 2917 fired transitions, 405 secs || 3 markings, 358 edges, 0 markings/sec, 405 secs 2941 fired transitions, 410 secs || 3 markings, 358 edges, 0 markings/sec, 410 secs 2964 fired transitions, 415 secs || 3 markings, 358 edges, 0 markings/sec, 415 secs 2987 fired transitions, 420 secs || 3 markings, 358 edges, 0 markings/sec, 420 secs 3010 fired transitions, 425 secs || 3 markings, 358 edges, 0 markings/sec, 425 secs 3032 fired transitions, 430 secs || 3 markings, 358 edges, 0 markings/sec, 430 secs 3055 fired transitions, 435 secs || 3 markings, 358 edges, 0 markings/sec, 435 secs 3077 fired transitions, 440 secs || 3 markings, 358 edges, 0 markings/sec, 440 secs 3100 fired transitions, 445 secs || 3 markings, 358 edges, 0 markings/sec, 445 secs 3124 fired transitions, 450 secs || 3 markings, 358 edges, 0 markings/sec, 450 secs 3162 fired transitions, 455 secs || 3 markings, 358 edges, 0 markings/sec, 455 secs 3208 fired transitions, 460 secs || 3 markings, 358 edges, 0 markings/sec, 460 secs 3251 fired transitions, 465 secs || 3 markings, 358 edges, 0 markings/sec, 465 secs 3274 fired transitions, 470 secs || 3 markings, 358 edges, 0 markings/sec, 470 secs 3297 fired transitions, 475 secs || 3 markings, 358 edges, 0 markings/sec, 475 secs 3319 fired transitions, 480 secs || 3 markings, 358 edges, 0 markings/sec, 480 secs 3342 fired transitions, 485 secs || 3 markings, 358 edges, 0 markings/sec, 485 secs 3366 fired transitions, 490 secs || 3 markings, 358 edges, 0 markings/sec, 490 secs 3389 fired transitions, 495 secs || 3 markings, 358 edges, 0 markings/sec, 495 secs 3413 fired transitions, 500 secs || 3 markings, 358 edges, 0 markings/sec, 500 secs 3437 fired transitions, 505 secs || 3 markings, 358 edges, 0 markings/sec, 505 secs 3460 fired transitions, 510 secs || 3 markings, 358 edges, 0 markings/sec, 510 secs 3484 fired transitions, 515 secs || 3 markings, 358 edges, 0 markings/sec, 515 secs 3507 fired transitions, 520 secs || 3 markings, 358 edges, 0 markings/sec, 520 secs 3531 fired transitions, 525 secs || 3 markings, 358 edges, 0 markings/sec, 525 secs 3554 fired transitions, 530 secs || 3 markings, 358 edges, 0 markings/sec, 530 secs 3578 fired transitions, 535 secs || 3 markings, 358 edges, 0 markings/sec, 535 secs 3601 fired transitions, 540 secs || 3 markings, 358 edges, 0 markings/sec, 540 secs 3624 fired transitions, 545 secs || 3 markings, 358 edges, 0 markings/sec, 545 secs 3647 fired transitions, 550 secs || 3 markings, 358 edges, 0 markings/sec, 550 secs 3670 fired transitions, 555 secs || 3 markings, 358 edges, 0 markings/sec, 555 secs 3693 fired transitions, 560 secs || 3 markings, 358 edges, 0 markings/sec, 560 secs 3716 fired transitions, 565 secs || 3 markings, 358 edges, 0 markings/sec, 565 secs 3739 fired transitions, 570 secs || 3 markings, 358 edges, 0 markings/sec, 570 secs 3761 fired transitions, 575 secs || 3 markings, 358 edges, 0 markings/sec, 575 secs 3784 fired transitions, 580 secs || 3 markings, 358 edges, 0 markings/sec, 580 secs 3807 fired transitions, 585 secs || 3 markings, 358 edges, 0 markings/sec, 585 secs 3831 fired transitions, 590 secs || 3 markings, 358 edges, 0 markings/sec, 590 secs 3866 fired transitions, 595 secs || 3 markings, 358 edges, 0 markings/sec, 595 secs 3911 fired transitions, 600 secs || 3 markings, 358 edges, 0 markings/sec, 600 secs 3958 fired transitions, 605 secs || 3 markings, 358 edges, 0 markings/sec, 605 secs 4007 fired transitions, 610 secs || 3 markings, 358 edges, 0 markings/sec, 610 secs 4055 fired transitions, 615 secs || 3 markings, 358 edges, 0 markings/sec, 615 secs 4102 fired transitions, 620 secs || 3 markings, 358 edges, 0 markings/sec, 620 secs 4149 fired transitions, 625 secs || 3 markings, 358 edges, 0 markings/sec, 625 secs 4192 fired transitions, 630 secs || 3 markings, 358 edges, 0 markings/sec, 630 secs 4236 fired transitions, 635 secs || 3 markings, 358 edges, 0 markings/sec, 635 secs 4282 fired transitions, 640 secs || 3 markings, 358 edges, 0 markings/sec, 640 secs 4328 fired transitions, 645 secs || 3 markings, 358 edges, 0 markings/sec, 645 secs 4374 fired transitions, 650 secs || 3 markings, 358 edges, 0 markings/sec, 650 secs 4421 fired transitions, 655 secs || 3 markings, 358 edges, 0 markings/sec, 655 secs 4468 fired transitions, 660 secs || 3 markings, 358 edges, 0 markings/sec, 660 secs 4519 fired transitions, 665 secs || 3 markings, 358 edges, 0 markings/sec, 665 secs 4547 fired transitions, 670 secs || 3 markings, 358 edges, 0 markings/sec, 670 secs 4572 fired transitions, 675 secs || 3 markings, 358 edges, 0 markings/sec, 675 secs 4597 fired transitions, 680 secs || 3 markings, 358 edges, 0 markings/sec, 680 secs 4621 fired transitions, 685 secs || 3 markings, 358 edges, 0 markings/sec, 685 secs 4645 fired transitions, 690 secs || 3 markings, 358 edges, 0 markings/sec, 690 secs 4670 fired transitions, 695 secs || 3 markings, 358 edges, 0 markings/sec, 695 secs 4695 fired transitions, 700 secs || 3 markings, 358 edges, 0 markings/sec, 700 secs 4720 fired transitions, 705 secs || 3 markings, 358 edges, 0 markings/sec, 705 secs 4744 fired transitions, 710 secs || 3 markings, 358 edges, 0 markings/sec, 710 secs 4768 fired transitions, 715 secs || 3 markings, 358 edges, 0 markings/sec, 715 secs 4793 fired transitions, 720 secs || 3 markings, 358 edges, 0 markings/sec, 720 secs 4817 fired transitions, 725 secs || 3 markings, 358 edges, 0 markings/sec, 725 secs 4842 fired transitions, 730 secs || 3 markings, 358 edges, 0 markings/sec, 730 secs 4865 fired transitions, 735 secs || 3 markings, 358 edges, 0 markings/sec, 735 secs 4888 fired transitions, 740 secs || 3 markings, 358 edges, 0 markings/sec, 740 secs 4911 fired transitions, 745 secs || 3 markings, 358 edges, 0 markings/sec, 745 secs 4935 fired transitions, 750 secs || 3 markings, 358 edges, 0 markings/sec, 750 secs 4958 fired transitions, 755 secs || 3 markings, 358 edges, 0 markings/sec, 755 secs 4981 fired transitions, 760 secs || 3 markings, 358 edges, 0 markings/sec, 760 secs 5005 fired transitions, 765 secs || 3 markings, 358 edges, 0 markings/sec, 765 secs 5030 fired transitions, 770 secs || 3 markings, 358 edges, 0 markings/sec, 770 secs 5055 fired transitions, 775 secs || 3 markings, 358 edges, 0 markings/sec, 775 secs 5079 fired transitions, 780 secs || 3 markings, 358 edges, 0 markings/sec, 780 secs 5104 fired transitions, 785 secs || 3 markings, 358 edges, 0 markings/sec, 785 secs 5128 fired transitions, 790 secs || 3 markings, 358 edges, 0 markings/sec, 790 secs 5153 fired transitions, 795 secs || 3 markings, 358 edges, 0 markings/sec, 795 secs 5178 fired transitions, 800 secs || 3 markings, 358 edges, 0 markings/sec, 800 secs 5202 fired transitions, 805 secs || 3 markings, 358 edges, 0 markings/sec, 805 secs 5227 fired transitions, 810 secs || 3 markings, 358 edges, 0 markings/sec, 810 secs 5251 fired transitions, 815 secs || 3 markings, 358 edges, 0 markings/sec, 815 secs 5274 fired transitions, 820 secs || 3 markings, 358 edges, 0 markings/sec, 820 secs 5299 fired transitions, 825 secs || 3 markings, 358 edges, 0 markings/sec, 825 secs 5322 fired transitions, 830 secs || 3 markings, 358 edges, 0 markings/sec, 830 secs 5347 fired transitions, 835 secs || 3 markings, 358 edges, 0 markings/sec, 835 secs 5371 fired transitions, 840 secs || 3 markings, 358 edges, 0 markings/sec, 840 secs 5395 fired transitions, 845 secs || 3 markings, 358 edges, 0 markings/sec, 845 secs 5420 fired transitions, 850 secs || 3 markings, 358 edges, 0 markings/sec, 850 secs 5444 fired transitions, 855 secs || 3 markings, 358 edges, 0 markings/sec, 855 secs 5469 fired transitions, 860 secs || 3 markings, 358 edges, 0 markings/sec, 860 secs 5493 fired transitions, 865 secs || 3 markings, 358 edges, 0 markings/sec, 865 secs 5517 fired transitions, 870 secs || 3 markings, 358 edges, 0 markings/sec, 870 secs 5541 fired transitions, 875 secs || 3 markings, 358 edges, 0 markings/sec, 875 secs 5566 fired transitions, 880 secs || 3 markings, 358 edges, 0 markings/sec, 880 secs 5590 fired transitions, 885 secs || 3 markings, 358 edges, 0 markings/sec, 885 secs 5614 fired transitions, 890 secs || 3 markings, 358 edges, 0 markings/sec, 890 secs 5639 fired transitions, 895 secs || 3 markings, 358 edges, 0 markings/sec, 895 secs 5663 fired transitions, 900 secs || 3 markings, 358 edges, 0 markings/sec, 900 secs 5688 fired transitions, 905 secs || 3 markings, 358 edges, 0 markings/sec, 905 secs 5712 fired transitions, 910 secs || 3 markings, 358 edges, 0 markings/sec, 910 secs 5737 fired transitions, 915 secs || 3 markings, 358 edges, 0 markings/sec, 915 secs 5761 fired transitions, 920 secs || 3 markings, 358 edges, 0 markings/sec, 920 secs 5786 fired transitions, 925 secs || 3 markings, 358 edges, 0 markings/sec, 925 secs 5811 fired transitions, 930 secs || 3 markings, 358 edges, 0 markings/sec, 930 secs 5835 fired transitions, 935 secs || 3 markings, 358 edges, 0 markings/sec, 935 secs 5860 fired transitions, 940 secs || 3 markings, 358 edges, 0 markings/sec, 940 secs 5885 fired transitions, 945 secs || 3 markings, 358 edges, 0 markings/sec, 945 secs 5910 fired transitions, 950 secs || 3 markings, 358 edges, 0 markings/sec, 950 secs 5934 fired transitions, 955 secs || 3 markings, 358 edges, 0 markings/sec, 955 secs 5959 fired transitions, 960 secs || 3 markings, 358 edges, 0 markings/sec, 960 secs 5984 fired transitions, 965 secs || 3 markings, 358 edges, 0 markings/sec, 965 secs 6009 fired transitions, 970 secs || 3 markings, 358 edges, 0 markings/sec, 970 secs 6033 fired transitions, 975 secs || 3 markings, 358 edges, 0 markings/sec, 975 secs 6058 fired transitions, 980 secs || 3 markings, 358 edges, 0 markings/sec, 980 secs 6082 fired transitions, 985 secs || 3 markings, 358 edges, 0 markings/sec, 985 secs 6106 fired transitions, 990 secs || 3 markings, 358 edges, 0 markings/sec, 990 secs 6130 fired transitions, 995 secs || 3 markings, 358 edges, 0 markings/sec, 995 secs 6154 fired transitions, 1000 secs || 3 markings, 358 edges, 0 markings/sec, 1000 secs 6178 fired transitions, 1005 secs || 3 markings, 358 edges, 0 markings/sec, 1005 secs 6202 fired transitions, 1010 secs || 3 markings, 358 edges, 0 markings/sec, 1010 secs 6226 fired transitions, 1015 secs || 3 markings, 358 edges, 0 markings/sec, 1015 secs 6251 fired transitions, 1020 secs || 3 markings, 358 edges, 0 markings/sec, 1020 secs 6274 fired transitions, 1025 secs || 3 markings, 358 edges, 0 markings/sec, 1025 secs 6300 fired transitions, 1030 secs || 3 markings, 358 edges, 0 markings/sec, 1030 secs 6324 fired transitions, 1035 secs || 3 markings, 358 edges, 0 markings/sec, 1035 secs 6349 fired transitions, 1040 secs || 3 markings, 358 edges, 0 markings/sec, 1040 secs 6373 fired transitions, 1045 secs || 3 markings, 358 edges, 0 markings/sec, 1045 secs 6398 fired transitions, 1050 secs || 3 markings, 358 edges, 0 markings/sec, 1050 secs 6423 fired transitions, 1055 secs || 3 markings, 358 edges, 0 markings/sec, 1055 secs 6448 fired transitions, 1060 secs || 3 markings, 358 edges, 0 markings/sec, 1060 secs 6473 fired transitions, 1065 secs || 3 markings, 358 edges, 0 markings/sec, 1065 secs 6498 fired transitions, 1070 secs || 3 markings, 358 edges, 0 markings/sec, 1070 secs 6523 fired transitions, 1075 secs || 3 markings, 358 edges, 0 markings/sec, 1075 secs 6548 fired transitions, 1080 secs || 3 markings, 358 edges, 0 markings/sec, 1080 secs 6573 fired transitions, 1085 secs || 3 markings, 358 edges, 0 markings/sec, 1085 secs 6598 fired transitions, 1090 secs || 3 markings, 358 edges, 0 markings/sec, 1090 secs 6622 fired transitions, 1095 secs || 3 markings, 358 edges, 0 markings/sec, 1095 secs 6647 fired transitions, 1100 secs || 3 markings, 358 edges, 0 markings/sec, 1100 secs 6671 fired transitions, 1105 secs || 3 markings, 358 edges, 0 markings/sec, 1105 secs 6695 fired transitions, 1110 secs || 3 markings, 358 edges, 0 markings/sec, 1110 secs 6719 fired transitions, 1115 secs || 3 markings, 358 edges, 0 markings/sec, 1115 secs 6743 fired transitions, 1120 secs || 3 markings, 358 edges, 0 markings/sec, 1120 secs 6768 fired transitions, 1125 secs || 3 markings, 358 edges, 0 markings/sec, 1125 secs 6792 fired transitions, 1130 secs || 3 markings, 358 edges, 0 markings/sec, 1130 secs 6816 fired transitions, 1135 secs || 3 markings, 358 edges, 0 markings/sec, 1135 secs 6840 fired transitions, 1140 secs || 3 markings, 358 edges, 0 markings/sec, 1140 secs 6864 fired transitions, 1145 secs || 3 markings, 358 edges, 0 markings/sec, 1145 secs 6888 fired transitions, 1150 secs || 3 markings, 358 edges, 0 markings/sec, 1150 secs 6913 fired transitions, 1155 secs || 3 markings, 358 edges, 0 markings/sec, 1155 secs 6936 fired transitions, 1160 secs || 3 markings, 358 edges, 0 markings/sec, 1160 secs 6959 fired transitions, 1165 secs || 3 markings, 358 edges, 0 markings/sec, 1165 secs 6982 fired transitions, 1170 secs || 3 markings, 358 edges, 0 markings/sec, 1170 secs 7004 fired transitions, 1175 secs || 3 markings, 358 edges, 0 markings/sec, 1175 secs 7027 fired transitions, 1180 secs || 3 markings, 358 edges, 0 markings/sec, 1180 secs 7050 fired transitions, 1185 secs || 3 markings, 358 edges, 0 markings/sec, 1185 secs 7073 fired transitions, 1190 secs || 3 markings, 358 edges, 0 markings/sec, 1190 secs 7096 fired transitions, 1195 secs || 3 markings, 358 edges, 0 markings/sec, 1195 secs 7119 fired transitions, 1200 secs || 3 markings, 358 edges, 0 markings/sec, 1200 secs 7162 fired transitions, 1205 secs || 3 markings, 358 edges, 0 markings/sec, 1205 secs 7209 fired transitions, 1210 secs || 3 markings, 358 edges, 0 markings/sec, 1210 secs 7256 fired transitions, 1215 secs || 3 markings, 358 edges, 0 markings/sec, 1215 secs 7303 fired transitions, 1220 secs || 3 markings, 358 edges, 0 markings/sec, 1220 secs 7350 fired transitions, 1225 secs || 3 markings, 358 edges, 0 markings/sec, 1225 secs 7396 fired transitions, 1230 secs || 3 markings, 358 edges, 0 markings/sec, 1230 secs 7443 fired transitions, 1235 secs || 3 markings, 358 edges, 0 markings/sec, 1235 secs 7490 fired transitions, 1240 secs || 3 markings, 358 edges, 0 markings/sec, 1240 secs 7536 fired transitions, 1245 secs || 3 markings, 358 edges, 0 markings/sec, 1245 secs 7583 fired transitions, 1250 secs || 3 markings, 358 edges, 0 markings/sec, 1250 secs 7631 fired transitions, 1255 secs || 3 markings, 358 edges, 0 markings/sec, 1255 secs 7677 fired transitions, 1260 secs || 3 markings, 358 edges, 0 markings/sec, 1260 secs 7724 fired transitions, 1265 secs || 3 markings, 358 edges, 0 markings/sec, 1265 secs 7772 fired transitions, 1270 secs || 3 markings, 358 edges, 0 markings/sec, 1270 secs 7819 fired transitions, 1275 secs || 3 markings, 358 edges, 0 markings/sec, 1275 secs 7866 fired transitions, 1280 secs || 3 markings, 358 edges, 0 markings/sec, 1280 secs 7914 fired transitions, 1285 secs || 3 markings, 358 edges, 0 markings/sec, 1285 secs 7962 fired transitions, 1290 secs || 3 markings, 358 edges, 0 markings/sec, 1290 secs 8010 fired transitions, 1295 secs || 3 markings, 358 edges, 0 markings/sec, 1295 secs 8058 fired transitions, 1300 secs || 3 markings, 358 edges, 0 markings/sec, 1300 secs 8105 fired transitions, 1305 secs || 3 markings, 358 edges, 0 markings/sec, 1305 secs 8152 fired transitions, 1310 secs || 3 markings, 358 edges, 0 markings/sec, 1310 secs 8198 fired transitions, 1315 secs || 3 markings, 358 edges, 0 markings/sec, 1315 secs 8246 fired transitions, 1320 secs || 3 markings, 358 edges, 0 markings/sec, 1320 secs 8293 fired transitions, 1325 secs || 3 markings, 358 edges, 0 markings/sec, 1325 secs 8341 fired transitions, 1330 secs || 3 markings, 358 edges, 0 markings/sec, 1330 secs 8391 fired transitions, 1335 secs || 3 markings, 358 edges, 0 markings/sec, 1335 secs 8440 fired transitions, 1340 secs || 3 markings, 358 edges, 0 markings/sec, 1340 secs 8493 fired transitions, 1345 secs || 3 markings, 358 edges, 0 markings/sec, 1345 secs 8545 fired transitions, 1350 secs || 3 markings, 358 edges, 0 markings/sec, 1350 secs 8598 fired transitions, 1355 secs || 3 markings, 358 edges, 0 markings/sec, 1355 secs 8650 fired transitions, 1360 secs || 3 markings, 358 edges, 0 markings/sec, 1360 secs 8701 fired transitions, 1365 secs || 3 markings, 358 edges, 0 markings/sec, 1365 secs 8749 fired transitions, 1370 secs || 3 markings, 358 edges, 0 markings/sec, 1370 secs 8798 fired transitions, 1375 secs || 3 markings, 358 edges, 0 markings/sec, 1375 secs 8847 fired transitions, 1380 secs || 3 markings, 358 edges, 0 markings/sec, 1380 secs 8897 fired transitions, 1385 secs || 3 markings, 358 edges, 0 markings/sec, 1385 secs 8925 fired transitions, 1390 secs || 3 markings, 358 edges, 0 markings/sec, 1390 secs 8949 fired transitions, 1395 secs || 3 markings, 358 edges, 0 markings/sec, 1395 secs 8974 fired transitions, 1400 secs || 3 markings, 358 edges, 0 markings/sec, 1400 secs 8999 fired transitions, 1405 secs || 3 markings, 358 edges, 0 markings/sec, 1405 secs 9024 fired transitions, 1410 secs || 3 markings, 358 edges, 0 markings/sec, 1410 secs 9048 fired transitions, 1415 secs || 3 markings, 358 edges, 0 markings/sec, 1415 secs 9073 fired transitions, 1420 secs || 3 markings, 358 edges, 0 markings/sec, 1420 secs 9098 fired transitions, 1425 secs || 3 markings, 358 edges, 0 markings/sec, 1425 secs 9122 fired transitions, 1430 secs || 3 markings, 358 edges, 0 markings/sec, 1430 secs 9147 fired transitions, 1435 secs || 3 markings, 358 edges, 0 markings/sec, 1435 secs 9172 fired transitions, 1440 secs || 3 markings, 358 edges, 0 markings/sec, 1440 secs 9196 fired transitions, 1445 secs || 3 markings, 358 edges, 0 markings/sec, 1445 secs 9221 fired transitions, 1450 secs || 3 markings, 358 edges, 0 markings/sec, 1450 secs 9245 fired transitions, 1455 secs || 3 markings, 358 edges, 0 markings/sec, 1455 secs 9270 fired transitions, 1460 secs || 3 markings, 358 edges, 0 markings/sec, 1460 secs 9293 fired transitions, 1465 secs || 3 markings, 358 edges, 0 markings/sec, 1465 secs 9318 fired transitions, 1470 secs || 3 markings, 358 edges, 0 markings/sec, 1470 secs 9342 fired transitions, 1475 secs || 3 markings, 358 edges, 0 markings/sec, 1475 secs 9366 fired transitions, 1480 secs || 3 markings, 358 edges, 0 markings/sec, 1480 secs 9391 fired transitions, 1485 secs || 3 markings, 358 edges, 0 markings/sec, 1485 secs 9416 fired transitions, 1490 secs || 3 markings, 358 edges, 0 markings/sec, 1490 secs 9440 fired transitions, 1495 secs || 3 markings, 358 edges, 0 markings/sec, 1495 secs 9464 fired transitions, 1500 secs || 3 markings, 358 edges, 0 markings/sec, 1500 secs 9489 fired transitions, 1505 secs || 3 markings, 358 edges, 0 markings/sec, 1505 secs 9513 fired transitions, 1510 secs || 3 markings, 358 edges, 0 markings/sec, 1510 secs 9538 fired transitions, 1515 secs || 3 markings, 358 edges, 0 markings/sec, 1515 secs 9562 fired transitions, 1520 secs || 3 markings, 358 edges, 0 markings/sec, 1520 secs 9587 fired transitions, 1525 secs || 3 markings, 358 edges, 0 markings/sec, 1525 secs 9611 fired transitions, 1530 secs || 3 markings, 358 edges, 0 markings/sec, 1530 secs 9636 fired transitions, 1535 secs || 3 markings, 358 edges, 0 markings/sec, 1535 secs 9660 fired transitions, 1540 secs || 3 markings, 358 edges, 0 markings/sec, 1540 secs 9684 fired transitions, 1545 secs || 3 markings, 358 edges, 0 markings/sec, 1545 secs 9709 fired transitions, 1550 secs || 3 markings, 358 edges, 0 markings/sec, 1550 secs 9733 fired transitions, 1555 secs || 3 markings, 358 edges, 0 markings/sec, 1555 secs 9758 fired transitions, 1560 secs || 3 markings, 358 edges, 0 markings/sec, 1560 secs 9782 fired transitions, 1565 secs || 3 markings, 358 edges, 0 markings/sec, 1565 secs 9807 fired transitions, 1570 secs || 3 markings, 358 edges, 0 markings/sec, 1570 secs 9831 fired transitions, 1575 secs || 3 markings, 358 edges, 0 markings/sec, 1575 secs 9856 fired transitions, 1580 secs || 3 markings, 358 edges, 0 markings/sec, 1580 secs 9880 fired transitions, 1585 secs || 3 markings, 358 edges, 0 markings/sec, 1585 secs 9905 fired transitions, 1590 secs || 3 markings, 358 edges, 0 markings/sec, 1590 secs 9929 fired transitions, 1595 secs || 3 markings, 358 edges, 0 markings/sec, 1595 secs 9954 fired transitions, 1600 secs || 3 markings, 358 edges, 0 markings/sec, 1600 secs 9978 fired transitions, 1605 secs || 3 markings, 358 edges, 0 markings/sec, 1605 secs 10003 fired transitions, 1610 secs || 3 markings, 358 edges, 0 markings/sec, 1610 secs 10027 fired transitions, 1615 secs || 3 markings, 358 edges, 0 markings/sec, 1615 secs 10051 fired transitions, 1620 secs || 3 markings, 358 edges, 0 markings/sec, 1620 secs 10076 fired transitions, 1625 secs || 3 markings, 358 edges, 0 markings/sec, 1625 secs 10100 fired transitions, 1630 secs || 3 markings, 358 edges, 0 markings/sec, 1630 secs 10124 fired transitions, 1635 secs || 3 markings, 358 edges, 0 markings/sec, 1635 secs 10148 fired transitions, 1640 secs || 3 markings, 358 edges, 0 markings/sec, 1640 secs 10172 fired transitions, 1645 secs || 3 markings, 358 edges, 0 markings/sec, 1645 secs 10196 fired transitions, 1650 secs || 3 markings, 358 edges, 0 markings/sec, 1650 secs 10220 fired transitions, 1655 secs || 3 markings, 358 edges, 0 markings/sec, 1655 secs 10244 fired transitions, 1660 secs || 3 markings, 358 edges, 0 markings/sec, 1660 secs 10268 fired transitions, 1665 secs || 3 markings, 358 edges, 0 markings/sec, 1665 secs 10292 fired transitions, 1670 secs || 3 markings, 358 edges, 0 markings/sec, 1670 secs 10315 fired transitions, 1675 secs || 3 markings, 358 edges, 0 markings/sec, 1675 secs 10339 fired transitions, 1680 secs || 3 markings, 358 edges, 0 markings/sec, 1680 secs 10363 fired transitions, 1685 secs || 3 markings, 358 edges, 0 markings/sec, 1685 secs 10386 fired transitions, 1690 secs || 3 markings, 358 edges, 0 markings/sec, 1690 secs 10410 fired transitions, 1695 secs || 3 markings, 358 edges, 0 markings/sec, 1695 secs 10434 fired transitions, 1700 secs || 3 markings, 358 edges, 0 markings/sec, 1700 secs 10458 fired transitions, 1705 secs || 3 markings, 358 edges, 0 markings/sec, 1705 secs 10482 fired transitions, 1710 secs || 3 markings, 358 edges, 0 markings/sec, 1710 secs 10506 fired transitions, 1715 secs || 3 markings, 358 edges, 0 markings/sec, 1715 secs 10530 fired transitions, 1720 secs || 3 markings, 358 edges, 0 markings/sec, 1720 secs 10554 fired transitions, 1725 secs || 3 markings, 358 edges, 0 markings/sec, 1725 secs 10579 fired transitions, 1730 secs || 3 markings, 358 edges, 0 markings/sec, 1730 secs 10604 fired transitions, 1735 secs || 3 markings, 358 edges, 0 markings/sec, 1735 secs 10628 fired transitions, 1740 secs || 3 markings, 358 edges, 0 markings/sec, 1740 secs 10652 fired transitions, 1745 secs || 3 markings, 358 edges, 0 markings/sec, 1745 secs 10677 fired transitions, 1750 secs || 3 markings, 358 edges, 0 markings/sec, 1750 secs 10701 fired transitions, 1755 secs || 3 markings, 358 edges, 0 markings/sec, 1755 secs 10725 fired transitions, 1760 secs || 3 markings, 358 edges, 0 markings/sec, 1760 secs 10750 fired transitions, 1765 secs || 3 markings, 358 edges, 0 markings/sec, 1765 secs 10774 fired transitions, 1770 secs || 3 markings, 358 edges, 0 markings/sec, 1770 secs 10799 fired transitions, 1775 secs || 3 markings, 358 edges, 0 markings/sec, 1775 secs 10823 fired transitions, 1780 secs || 3 markings, 358 edges, 0 markings/sec, 1780 secs 10848 fired transitions, 1785 secs || 3 markings, 358 edges, 0 markings/sec, 1785 secs 10872 fired transitions, 1790 secs || 3 markings, 358 edges, 0 markings/sec, 1790 secs 10897 fired transitions, 1795 secs || 3 markings, 358 edges, 0 markings/sec, 1795 secs 10921 fired transitions, 1800 secs || 3 markings, 358 edges, 0 markings/sec, 1800 secs 10946 fired transitions, 1805 secs || 3 markings, 358 edges, 0 markings/sec, 1805 secs 10971 fired transitions, 1810 secs || 3 markings, 358 edges, 0 markings/sec, 1810 secs 10995 fired transitions, 1815 secs || 3 markings, 358 edges, 0 markings/sec, 1815 secs 11020 fired transitions, 1820 secs || 3 markings, 358 edges, 0 markings/sec, 1820 secs 11045 fired transitions, 1825 secs || 3 markings, 358 edges, 0 markings/sec, 1825 secs 11069 fired transitions, 1830 secs || 3 markings, 358 edges, 0 markings/sec, 1830 secs 11094 fired transitions, 1835 secs || 3 markings, 358 edges, 0 markings/sec, 1835 secs 11119 fired transitions, 1840 secs || 3 markings, 358 edges, 0 markings/sec, 1840 secs 11143 fired transitions, 1845 secs || 3 markings, 358 edges, 0 markings/sec, 1845 secs 11168 fired transitions, 1850 secs || 3 markings, 358 edges, 0 markings/sec, 1850 secs 11193 fired transitions, 1855 secs || 3 markings, 358 edges, 0 markings/sec, 1855 secs 11217 fired transitions, 1860 secs || 3 markings, 358 edges, 0 markings/sec, 1860 secs 11242 fired transitions, 1865 secs || 3 markings, 358 edges, 0 markings/sec, 1865 secs 11266 fired transitions, 1870 secs || 3 markings, 358 edges, 0 markings/sec, 1870 secs 11290 fired transitions, 1875 secs || 3 markings, 358 edges, 0 markings/sec, 1875 secs 11314 fired transitions, 1880 secs || 3 markings, 358 edges, 0 markings/sec, 1880 secs 11338 fired transitions, 1885 secs || 3 markings, 358 edges, 0 markings/sec, 1885 secs 11362 fired transitions, 1890 secs || 3 markings, 358 edges, 0 markings/sec, 1890 secs 11386 fired transitions, 1895 secs || 3 markings, 358 edges, 0 markings/sec, 1895 secs 11410 fired transitions, 1900 secs || 3 markings, 358 edges, 0 markings/sec, 1900 secs 11435 fired transitions, 1905 secs || 3 markings, 358 edges, 0 markings/sec, 1905 secs 11458 fired transitions, 1910 secs || 3 markings, 358 edges, 0 markings/sec, 1910 secs 11482 fired transitions, 1915 secs || 3 markings, 358 edges, 0 markings/sec, 1915 secs 11507 fired transitions, 1920 secs || 3 markings, 358 edges, 0 markings/sec, 1920 secs 11531 fired transitions, 1925 secs || 3 markings, 358 edges, 0 markings/sec, 1925 secs 11556 fired transitions, 1930 secs || 3 markings, 358 edges, 0 markings/sec, 1930 secs 11581 fired transitions, 1935 secs || 3 markings, 358 edges, 0 markings/sec, 1935 secs 11606 fired transitions, 1940 secs || 3 markings, 358 edges, 0 markings/sec, 1940 secs 11631 fired transitions, 1945 secs || 3 markings, 358 edges, 0 markings/sec, 1945 secs 11657 fired transitions, 1950 secs || 3 markings, 358 edges, 0 markings/sec, 1950 secs 11682 fired transitions, 1955 secs || 3 markings, 358 edges, 0 markings/sec, 1955 secs 11707 fired transitions, 1960 secs || 3 markings, 358 edges, 0 markings/sec, 1960 secs 11732 fired transitions, 1965 secs || 3 markings, 358 edges, 0 markings/sec, 1965 secs 11757 fired transitions, 1970 secs || 3 markings, 358 edges, 0 markings/sec, 1970 secs 11782 fired transitions, 1975 secs || 3 markings, 358 edges, 0 markings/sec, 1975 secs 11808 fired transitions, 1980 secs || 3 markings, 358 edges, 0 markings/sec, 1980 secs 11832 fired transitions, 1985 secs || 3 markings, 358 edges, 0 markings/sec, 1985 secs 11857 fired transitions, 1990 secs || 3 markings, 358 edges, 0 markings/sec, 1990 secs 11882 fired transitions, 1995 secs || 3 markings, 358 edges, 0 markings/sec, 1995 secs 11907 fired transitions, 2000 secs || 3 markings, 358 edges, 0 markings/sec, 2000 secs 11932 fired transitions, 2005 secs || 3 markings, 358 edges, 0 markings/sec, 2005 secs 11957 fired transitions, 2010 secs || 3 markings, 358 edges, 0 markings/sec, 2010 secs 11982 fired transitions, 2015 secs || 3 markings, 358 edges, 0 markings/sec, 2015 secs 12007 fired transitions, 2020 secs || 3 markings, 358 edges, 0 markings/sec, 2020 secs 12033 fired transitions, 2025 secs || 3 markings, 358 edges, 0 markings/sec, 2025 secs 12058 fired transitions, 2030 secs || 3 markings, 358 edges, 0 markings/sec, 2030 secs 12083 fired transitions, 2035 secs || 3 markings, 358 edges, 0 markings/sec, 2035 secs 12109 fired transitions, 2040 secs || 3 markings, 358 edges, 0 markings/sec, 2040 secs 12134 fired transitions, 2045 secs || 3 markings, 358 edges, 0 markings/sec, 2045 secs 12158 fired transitions, 2050 secs || 3 markings, 358 edges, 0 markings/sec, 2050 secs 12182 fired transitions, 2055 secs || 3 markings, 358 edges, 0 markings/sec, 2055 secs 12206 fired transitions, 2060 secs || 3 markings, 358 edges, 0 markings/sec, 2060 secs 12230 fired transitions, 2065 secs || 3 markings, 358 edges, 0 markings/sec, 2065 secs 12255 fired transitions, 2070 secs || 3 markings, 358 edges, 0 markings/sec, 2070 secs 12279 fired transitions, 2075 secs || 3 markings, 358 edges, 0 markings/sec, 2075 secs 12304 fired transitions, 2080 secs || 3 markings, 358 edges, 0 markings/sec, 2080 secs 12328 fired transitions, 2085 secs || 3 markings, 358 edges, 0 markings/sec, 2085 secs 12353 fired transitions, 2090 secs || 3 markings, 358 edges, 0 markings/sec, 2090 secs 12378 fired transitions, 2095 secs || 3 markings, 358 edges, 0 markings/sec, 2095 secs 12403 fired transitions, 2100 secs || 3 markings, 358 edges, 0 markings/sec, 2100 secs 12427 fired transitions, 2105 secs || 3 markings, 358 edges, 0 markings/sec, 2105 secs 12452 fired transitions, 2110 secs || 3 markings, 358 edges, 0 markings/sec, 2110 secs 12476 fired transitions, 2115 secs || 3 markings, 358 edges, 0 markings/sec, 2115 secs 12501 fired transitions, 2120 secs || 3 markings, 358 edges, 0 markings/sec, 2120 secs 12525 fired transitions, 2125 secs || 3 markings, 358 edges, 0 markings/sec, 2125 secs 12550 fired transitions, 2130 secs || 3 markings, 358 edges, 0 markings/sec, 2130 secs 12575 fired transitions, 2135 secs || 3 markings, 358 edges, 0 markings/sec, 2135 secs 12599 fired transitions, 2140 secs || 3 markings, 358 edges, 0 markings/sec, 2140 secs 12624 fired transitions, 2145 secs || 3 markings, 358 edges, 0 markings/sec, 2145 secs 12649 fired transitions, 2150 secs || 3 markings, 358 edges, 0 markings/sec, 2150 secs 12674 fired transitions, 2155 secs || 3 markings, 358 edges, 0 markings/sec, 2155 secs 12698 fired transitions, 2160 secs || 3 markings, 358 edges, 0 markings/sec, 2160 secs 12723 fired transitions, 2165 secs || 3 markings, 358 edges, 0 markings/sec, 2165 secs 12748 fired transitions, 2170 secs || 3 markings, 358 edges, 0 markings/sec, 2170 secs 12773 fired transitions, 2175 secs || 3 markings, 358 edges, 0 markings/sec, 2175 secs 12797 fired transitions, 2180 secs || 3 markings, 358 edges, 0 markings/sec, 2180 secs 12822 fired transitions, 2185 secs || 3 markings, 358 edges, 0 markings/sec, 2185 secs 12847 fired transitions, 2190 secs || 3 markings, 358 edges, 0 markings/sec, 2190 secs 12871 fired transitions, 2195 secs || 3 markings, 358 edges, 0 markings/sec, 2195 secs 12896 fired transitions, 2200 secs || 3 markings, 358 edges, 0 markings/sec, 2200 secs 12922 fired transitions, 2205 secs || 3 markings, 358 edges, 0 markings/sec, 2205 secs 12947 fired transitions, 2210 secs || 3 markings, 358 edges, 0 markings/sec, 2210 secs 12971 fired transitions, 2215 secs || 3 markings, 358 edges, 0 markings/sec, 2215 secs 12996 fired transitions, 2220 secs || 3 markings, 358 edges, 0 markings/sec, 2220 secs 13020 fired transitions, 2225 secs || 3 markings, 358 edges, 0 markings/sec, 2225 secs 13057 fired transitions, 2230 secs || 3 markings, 358 edges, 0 markings/sec, 2230 secs 13095 fired transitions, 2235 secs || 3 markings, 358 edges, 0 markings/sec, 2235 secs 13132 fired transitions, 2240 secs || 3 markings, 358 edges, 0 markings/sec, 2240 secs 13170 fired transitions, 2245 secs || 3 markings, 358 edges, 0 markings/sec, 2245 secs 13208 fired transitions, 2250 secs || 3 markings, 358 edges, 0 markings/sec, 2250 secs 13245 fired transitions, 2255 secs || 3 markings, 358 edges, 0 markings/sec, 2255 secs 13283 fired transitions, 2260 secs || 3 markings, 358 edges, 0 markings/sec, 2260 secs 13321 fired transitions, 2265 secs || 3 markings, 358 edges, 0 markings/sec, 2265 secs 13358 fired transitions, 2270 secs || 3 markings, 358 edges, 0 markings/sec, 2270 secs 13395 fired transitions, 2275 secs || 3 markings, 358 edges, 0 markings/sec, 2275 secs 13433 fired transitions, 2280 secs || 3 markings, 358 edges, 0 markings/sec, 2280 secs 13471 fired transitions, 2285 secs || 3 markings, 358 edges, 0 markings/sec, 2285 secs 13509 fired transitions, 2290 secs || 3 markings, 358 edges, 0 markings/sec, 2290 secs 13547 fired transitions, 2295 secs || 3 markings, 358 edges, 0 markings/sec, 2295 secs 13585 fired transitions, 2300 secs || 3 markings, 358 edges, 0 markings/sec, 2300 secs 13624 fired transitions, 2305 secs || 3 markings, 358 edges, 0 markings/sec, 2305 secs 13663 fired transitions, 2310 secs || 3 markings, 358 edges, 0 markings/sec, 2310 secs 13701 fired transitions, 2315 secs || 3 markings, 358 edges, 0 markings/sec, 2315 secs 13740 fired transitions, 2320 secs || 3 markings, 358 edges, 0 markings/sec, 2320 secs 13779 fired transitions, 2325 secs || 3 markings, 358 edges, 0 markings/sec, 2325 secs 13817 fired transitions, 2330 secs || 3 markings, 358 edges, 0 markings/sec, 2330 secs 13855 fired transitions, 2335 secs || 3 markings, 358 edges, 0 markings/sec, 2335 secs 13894 fired transitions, 2340 secs || 3 markings, 358 edges, 0 markings/sec, 2340 secs 13933 fired transitions, 2345 secs || 3 markings, 358 edges, 0 markings/sec, 2345 secs 13971 fired transitions, 2350 secs || 3 markings, 358 edges, 0 markings/sec, 2350 secs 14010 fired transitions, 2355 secs || 3 markings, 358 edges, 0 markings/sec, 2355 secs 14048 fired transitions, 2360 secs || 3 markings, 358 edges, 0 markings/sec, 2360 secs 14086 fired transitions, 2365 secs || 3 markings, 358 edges, 0 markings/sec, 2365 secs 14125 fired transitions, 2370 secs || 3 markings, 358 edges, 0 markings/sec, 2370 secs 14163 fired transitions, 2375 secs || 3 markings, 358 edges, 0 markings/sec, 2375 secs 14201 fired transitions, 2380 secs || 3 markings, 358 edges, 0 markings/sec, 2380 secs 14239 fired transitions, 2385 secs || 3 markings, 358 edges, 0 markings/sec, 2385 secs 14278 fired transitions, 2390 secs || 3 markings, 358 edges, 0 markings/sec, 2390 secs 14316 fired transitions, 2395 secs || 3 markings, 358 edges, 0 markings/sec, 2395 secs 14355 fired transitions, 2400 secs || 3 markings, 358 edges, 0 markings/sec, 2400 secs 14393 fired transitions, 2405 secs || 3 markings, 358 edges, 0 markings/sec, 2405 secs 14432 fired transitions, 2410 secs || 3 markings, 358 edges, 0 markings/sec, 2410 secs 14473 fired transitions, 2415 secs || 3 markings, 358 edges, 0 markings/sec, 2415 secs 14511 fired transitions, 2420 secs || 3 markings, 358 edges, 0 markings/sec, 2420 secs 14550 fired transitions, 2425 secs || 3 markings, 358 edges, 0 markings/sec, 2425 secs 14590 fired transitions, 2430 secs || 3 markings, 358 edges, 0 markings/sec, 2430 secs 14633 fired transitions, 2435 secs || 3 markings, 358 edges, 0 markings/sec, 2435 secs 14672 fired transitions, 2440 secs || 3 markings, 358 edges, 0 markings/sec, 2440 secs 14713 fired transitions, 2445 secs || 3 markings, 358 edges, 0 markings/sec, 2445 secs 14754 fired transitions, 2450 secs || 3 markings, 358 edges, 0 markings/sec, 2450 secs 14796 fired transitions, 2455 secs || 3 markings, 358 edges, 0 markings/sec, 2455 secs 14838 fired transitions, 2460 secs || 3 markings, 358 edges, 0 markings/sec, 2460 secs 14880 fired transitions, 2465 secs || 3 markings, 358 edges, 0 markings/sec, 2465 secs 14925 fired transitions, 2470 secs || 3 markings, 358 edges, 0 markings/sec, 2470 secs 14973 fired transitions, 2475 secs || 3 markings, 358 edges, 0 markings/sec, 2475 secs 15017 fired transitions, 2480 secs || 3 markings, 358 edges, 0 markings/sec, 2480 secs 15064 fired transitions, 2485 secs || 3 markings, 358 edges, 0 markings/sec, 2485 secs 15109 fired transitions, 2490 secs || 3 markings, 358 edges, 0 markings/sec, 2490 secs 15155 fired transitions, 2495 secs || 3 markings, 358 edges, 0 markings/sec, 2495 secs 15201 fired transitions, 2500 secs || 3 markings, 358 edges, 0 markings/sec, 2500 secs 15248 fired transitions, 2505 secs || 3 markings, 358 edges, 0 markings/sec, 2505 secs 15295 fired transitions, 2510 secs || 3 markings, 358 edges, 0 markings/sec, 2510 secs 15342 fired transitions, 2515 secs || 3 markings, 358 edges, 0 markings/sec, 2515 secs 15389 fired transitions, 2520 secs || 3 markings, 358 edges, 0 markings/sec, 2520 secs 15438 fired transitions, 2525 secs || 3 markings, 358 edges, 0 markings/sec, 2525 secs 15486 fired transitions, 2530 secs || 3 markings, 358 edges, 0 markings/sec, 2530 secs 15535 fired transitions, 2535 secs || 3 markings, 358 edges, 0 markings/sec, 2535 secs 15582 fired transitions, 2540 secs || 3 markings, 358 edges, 0 markings/sec, 2540 secs 15630 fired transitions, 2545 secs || 3 markings, 358 edges, 0 markings/sec, 2545 secs 15676 fired transitions, 2550 secs || 3 markings, 358 edges, 0 markings/sec, 2550 secs 15723 fired transitions, 2555 secs || 3 markings, 358 edges, 0 markings/sec, 2555 secs 15771 fired transitions, 2560 secs || 3 markings, 358 edges, 0 markings/sec, 2560 secs 15820 fired transitions, 2565 secs || 3 markings, 358 edges, 0 markings/sec, 2565 secs 15869 fired transitions, 2570 secs || 3 markings, 358 edges, 0 markings/sec, 2570 secs 15919 fired transitions, 2575 secs || 3 markings, 358 edges, 0 markings/sec, 2575 secs 15966 fired transitions, 2580 secs || 3 markings, 358 edges, 0 markings/sec, 2580 secs 16014 fired transitions, 2585 secs || 3 markings, 358 edges, 0 markings/sec, 2585 secs 16062 fired transitions, 2590 secs || 3 markings, 358 edges, 0 markings/sec, 2590 secs 16109 fired transitions, 2595 secs || 3 markings, 358 edges, 0 markings/sec, 2595 secs 16155 fired transitions, 2600 secs || 3 markings, 358 edges, 0 markings/sec, 2600 secs 16203 fired transitions, 2605 secs || 3 markings, 358 edges, 0 markings/sec, 2605 secs 16251 fired transitions, 2610 secs || 3 markings, 358 edges, 0 markings/sec, 2610 secs 16298 fired transitions, 2615 secs || 3 markings, 358 edges, 0 markings/sec, 2615 secs 16346 fired transitions, 2620 secs || 3 markings, 358 edges, 0 markings/sec, 2620 secs 16393 fired transitions, 2625 secs || 3 markings, 358 edges, 0 markings/sec, 2625 secs 16439 fired transitions, 2630 secs || 3 markings, 358 edges, 0 markings/sec, 2630 secs 16484 fired transitions, 2635 secs || 3 markings, 358 edges, 0 markings/sec, 2635 secs 16531 fired transitions, 2640 secs || 3 markings, 358 edges, 0 markings/sec, 2640 secs 16579 fired transitions, 2645 secs || 3 markings, 358 edges, 0 markings/sec, 2645 secs 16627 fired transitions, 2650 secs || 3 markings, 358 edges, 0 markings/sec, 2650 secs 16675 fired transitions, 2655 secs || 3 markings, 358 edges, 0 markings/sec, 2655 secs 16724 fired transitions, 2660 secs || 3 markings, 358 edges, 0 markings/sec, 2660 secs 16772 fired transitions, 2665 secs || 3 markings, 358 edges, 0 markings/sec, 2665 secs 16819 fired transitions, 2670 secs || 3 markings, 358 edges, 0 markings/sec, 2670 secs 16867 fired transitions, 2675 secs || 3 markings, 358 edges, 0 markings/sec, 2675 secs 16914 fired transitions, 2680 secs || 3 markings, 358 edges, 0 markings/sec, 2680 secs 16961 fired transitions, 2685 secs || 3 markings, 358 edges, 0 markings/sec, 2685 secs 17009 fired transitions, 2690 secs || 3 markings, 358 edges, 0 markings/sec, 2690 secs 17056 fired transitions, 2695 secs || 3 markings, 358 edges, 0 markings/sec, 2695 secs 17103 fired transitions, 2700 secs || 3 markings, 358 edges, 0 markings/sec, 2700 secs 17151 fired transitions, 2705 secs || 3 markings, 358 edges, 0 markings/sec, 2705 secs 17199 fired transitions, 2710 secs || 3 markings, 358 edges, 0 markings/sec, 2710 secs 17246 fired transitions, 2715 secs || 3 markings, 358 edges, 0 markings/sec, 2715 secs 17294 fired transitions, 2720 secs || 3 markings, 358 edges, 0 markings/sec, 2720 secs 17341 fired transitions, 2725 secs || 3 markings, 358 edges, 0 markings/sec, 2725 secs 17389 fired transitions, 2730 secs || 3 markings, 358 edges, 0 markings/sec, 2730 secs 17436 fired transitions, 2735 secs || 3 markings, 358 edges, 0 markings/sec, 2735 secs 17481 fired transitions, 2740 secs || 3 markings, 358 edges, 0 markings/sec, 2740 secs 17527 fired transitions, 2745 secs || 3 markings, 358 edges, 0 markings/sec, 2745 secs 17573 fired transitions, 2750 secs || 3 markings, 358 edges, 0 markings/sec, 2750 secs 17620 fired transitions, 2755 secs || 3 markings, 358 edges, 0 markings/sec, 2755 secs 17666 fired transitions, 2760 secs || 3 markings, 358 edges, 0 markings/sec, 2760 secs 17711 fired transitions, 2765 secs || 3 markings, 358 edges, 0 markings/sec, 2765 secs 17757 fired transitions, 2770 secs || 3 markings, 358 edges, 0 markings/sec, 2770 secs 17802 fired transitions, 2775 secs || 3 markings, 358 edges, 0 markings/sec, 2775 secs 17849 fired transitions, 2780 secs || 3 markings, 358 edges, 0 markings/sec, 2780 secs 17895 fired transitions, 2785 secs || 3 markings, 358 edges, 0 markings/sec, 2785 secs 17942 fired transitions, 2790 secs || 3 markings, 358 edges, 0 markings/sec, 2790 secs 17985 fired transitions, 2795 secs || 3 markings, 358 edges, 0 markings/sec, 2795 secs 18029 fired transitions, 2800 secs || 3 markings, 358 edges, 0 markings/sec, 2800 secs 18073 fired transitions, 2805 secs || 3 markings, 358 edges, 0 markings/sec, 2805 secs 18117 fired transitions, 2810 secs || 3 markings, 358 edges, 0 markings/sec, 2810 secs 18160 fired transitions, 2815 secs || 3 markings, 358 edges, 0 markings/sec, 2815 secs 18204 fired transitions, 2820 secs || 3 markings, 358 edges, 0 markings/sec, 2820 secs 18248 fired transitions, 2825 secs || 3 markings, 358 edges, 0 markings/sec, 2825 secs 18292 fired transitions, 2830 secs || 3 markings, 358 edges, 0 markings/sec, 2830 secs 18336 fired transitions, 2835 secs || 3 markings, 358 edges, 0 markings/sec, 2835 secs 18380 fired transitions, 2840 secs || 3 markings, 358 edges, 0 markings/sec, 2840 secs 18425 fired transitions, 2845 secs || 3 markings, 358 edges, 0 markings/sec, 2845 secs 18468 fired transitions, 2850 secs || 3 markings, 358 edges, 0 markings/sec, 2850 secs 18513 fired transitions, 2855 secs || 3 markings, 358 edges, 0 markings/sec, 2855 secs 18556 fired transitions, 2860 secs || 3 markings, 358 edges, 0 markings/sec, 2860 secs 18601 fired transitions, 2865 secs || 3 markings, 358 edges, 0 markings/sec, 2865 secs 18645 fired transitions, 2870 secs || 3 markings, 358 edges, 0 markings/sec, 2870 secs 18690 fired transitions, 2875 secs || 3 markings, 358 edges, 0 markings/sec, 2875 secs 18736 fired transitions, 2880 secs || 3 markings, 358 edges, 0 markings/sec, 2880 secs 18782 fired transitions, 2885 secs || 3 markings, 358 edges, 0 markings/sec, 2885 secs 18827 fired transitions, 2890 secs || 3 markings, 358 edges, 0 markings/sec, 2890 secs 18874 fired transitions, 2895 secs || 3 markings, 358 edges, 0 markings/sec, 2895 secs 18920 fired transitions, 2900 secs || 3 markings, 358 edges, 0 markings/sec, 2900 secs 18965 fired transitions, 2905 secs || 3 markings, 358 edges, 0 markings/sec, 2905 secs 19011 fired transitions, 2910 secs || 3 markings, 358 edges, 0 markings/sec, 2910 secs 19058 fired transitions, 2915 secs || 3 markings, 358 edges, 0 markings/sec, 2915 secs 19104 fired transitions, 2920 secs || 3 markings, 358 edges, 0 markings/sec, 2920 secs 19151 fired transitions, 2925 secs || 3 markings, 358 edges, 0 markings/sec, 2925 secs 19198 fired transitions, 2930 secs || 3 markings, 358 edges, 0 markings/sec, 2930 secs 19244 fired transitions, 2935 secs || 3 markings, 358 edges, 0 markings/sec, 2935 secs 19291 fired transitions, 2940 secs || 3 markings, 358 edges, 0 markings/sec, 2940 secs 19338 fired transitions, 2945 secs || 3 markings, 358 edges, 0 markings/sec, 2945 secs 19384 fired transitions, 2950 secs || 3 markings, 358 edges, 0 markings/sec, 2950 secs 19429 fired transitions, 2955 secs || 3 markings, 358 edges, 0 markings/sec, 2955 secs 19476 fired transitions, 2960 secs || 3 markings, 358 edges, 0 markings/sec, 2960 secs 19522 fired transitions, 2965 secs || 3 markings, 358 edges, 0 markings/sec, 2965 secs 19568 fired transitions, 2970 secs || 3 markings, 358 edges, 0 markings/sec, 2970 secs 19614 fired transitions, 2975 secs || 3 markings, 358 edges, 0 markings/sec, 2975 secs 19660 fired transitions, 2980 secs || 3 markings, 358 edges, 0 markings/sec, 2980 secs 19706 fired transitions, 2985 secs || 3 markings, 358 edges, 0 markings/sec, 2985 secs 19752 fired transitions, 2990 secs || 3 markings, 358 edges, 0 markings/sec, 2990 secs 19798 fired transitions, 2995 secs || 3 markings, 358 edges, 0 markings/sec, 2995 secs 19843 fired transitions, 3000 secs || 3 markings, 358 edges, 0 markings/sec, 3000 secs 19889 fired transitions, 3005 secs || 3 markings, 358 edges, 0 markings/sec, 3005 secs 19935 fired transitions, 3010 secs || 3 markings, 358 edges, 0 markings/sec, 3010 secs 19981 fired transitions, 3015 secs || 3 markings, 358 edges, 0 markings/sec, 3015 secs 20027 fired transitions, 3020 secs || 3 markings, 358 edges, 0 markings/sec, 3020 secs 20073 fired transitions, 3025 secs || 3 markings, 358 edges, 0 markings/sec, 3025 secs 20119 fired transitions, 3030 secs || 3 markings, 358 edges, 0 markings/sec, 3030 secs 20166 fired transitions, 3035 secs || 3 markings, 358 edges, 0 markings/sec, 3035 secs 20212 fired transitions, 3040 secs || 3 markings, 358 edges, 0 markings/sec, 3040 secs 20257 fired transitions, 3045 secs || 3 markings, 358 edges, 0 markings/sec, 3045 secs 20303 fired transitions, 3050 secs || 3 markings, 358 edges, 0 markings/sec, 3050 secs 20349 fired transitions, 3055 secs || 3 markings, 358 edges, 0 markings/sec, 3055 secs 20395 fired transitions, 3060 secs || 3 markings, 358 edges, 0 markings/sec, 3060 secs 20439 fired transitions, 3065 secs || 3 markings, 358 edges, 0 markings/sec, 3065 secs 20485 fired transitions, 3070 secs || 3 markings, 358 edges, 0 markings/sec, 3070 secs 20529 fired transitions, 3075 secs || 3 markings, 358 edges, 0 markings/sec, 3075 secs 20574 fired transitions, 3080 secs || 3 markings, 358 edges, 0 markings/sec, 3080 secs 20620 fired transitions, 3085 secs || 3 markings, 358 edges, 0 markings/sec, 3085 secs 20665 fired transitions, 3090 secs || 3 markings, 358 edges, 0 markings/sec, 3090 secs 20710 fired transitions, 3095 secs || 3 markings, 358 edges, 0 markings/sec, 3095 secs 20755 fired transitions, 3100 secs || 3 markings, 358 edges, 0 markings/sec, 3100 secs 20801 fired transitions, 3105 secs || 3 markings, 358 edges, 0 markings/sec, 3105 secs 20847 fired transitions, 3110 secs || 3 markings, 358 edges, 0 markings/sec, 3110 secs 20892 fired transitions, 3115 secs || 3 markings, 358 edges, 0 markings/sec, 3115 secs 20938 fired transitions, 3120 secs || 3 markings, 358 edges, 0 markings/sec, 3120 secs 20984 fired transitions, 3125 secs || 3 markings, 358 edges, 0 markings/sec, 3125 secs 21032 fired transitions, 3130 secs || 3 markings, 358 edges, 0 markings/sec, 3130 secs 21075 fired transitions, 3135 secs || 3 markings, 358 edges, 0 markings/sec, 3135 secs 21121 fired transitions, 3140 secs || 3 markings, 358 edges, 0 markings/sec, 3140 secs 21168 fired transitions, 3145 secs || 3 markings, 358 edges, 0 markings/sec, 3145 secs 21215 fired transitions, 3150 secs || 3 markings, 358 edges, 0 markings/sec, 3150 secs 21263 fired transitions, 3155 secs || 3 markings, 358 edges, 0 markings/sec, 3155 secs 21310 fired transitions, 3160 secs || 3 markings, 358 edges, 0 markings/sec, 3160 secs 21355 fired transitions, 3165 secs || 3 markings, 358 edges, 0 markings/sec, 3165 secs 21402 fired transitions, 3170 secs || 3 markings, 358 edges, 0 markings/sec, 3170 secs 21450 fired transitions, 3175 secs || 3 markings, 358 edges, 0 markings/sec, 3175 secs 21497 fired transitions, 3180 secs || 3 markings, 358 edges, 0 markings/sec, 3180 secs 21545 fired transitions, 3185 secs || 3 markings, 358 edges, 0 markings/sec, 3185 secs 21592 fired transitions, 3190 secs || 3 markings, 358 edges, 0 markings/sec, 3190 secs 21640 fired transitions, 3195 secs || 3 markings, 358 edges, 0 markings/sec, 3195 secs 21687 fired transitions, 3200 secs || 3 markings, 358 edges, 0 markings/sec, 3200 secs 21735 fired transitions, 3205 secs || 3 markings, 358 edges, 0 markings/sec, 3205 secs 21783 fired transitions, 3210 secs || 3 markings, 358 edges, 0 markings/sec, 3210 secs reached - aborting No such file or directory 139 (ignored) No such file or directory

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="RERS17pb114-PT-2"
export BK_EXAMINATION="GlobalProperties"
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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is RERS17pb114-PT-2, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r126-oct2-155274853600408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb114-PT-2.tgz
mv RERS17pb114-PT-2 execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "GlobalProperties" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "GlobalProperties" != "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 "GlobalProperties.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property GlobalProperties.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "GlobalProperties.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 '' GlobalProperties.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 ;