MCC'2018 - Execution of r066-smll-152649737100125

About the Execution of Irma.full 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.140	3049590.00	6053960.00	12904.70	?	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to
........................
/home/mcc/execution
total 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 irma4mcc-full
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 1526643204296

BK_STOP 1526646253886

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

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

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

checking for too many tokens
========================
DLCround-PT-11b:
========================
translating formula complete
touch formulae;
----- Start make
----- Start make
ReachabilityDeadlock
make: [verify]
----- Start make
Makefile:222: recipe
----- Start make
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 11366/65536
lola: preprocessing...
lola: finding
lola: 4375 places,
lola: computing
lola: computing
lola: 10066 transition
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: E (F (DEADLOCK))
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using 520
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: computing
lola: time limit
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
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 ||
----- Kill lola
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
Killed
FORMULA DLCround-PT-1
----- Kill
----- Finished stdout -----
----- Finished stderr -----
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 r066-smll-152649737100125 ============================================= 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 in /usr/share/mcc4mcc/65b80f64-known.json. information in /usr/share/mcc4mcc/65b80f64-learned.json. in /usr/share/mcc4mcc/65b80f64-values.json. /home/mcc/execution for input, as it contains a model.pnml file. as instance name. are: {'Examination': 'ReachabilityDeadlock', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}. [{'Time': 3550307, 'Memory': 15952.38, 'Tool': 'lola'}]. [{'Tool': 'lola'}]. is 1.0x far from the best tool lola. lola DLCround-PT-11b... prepare stderr ----- prepare stdout ----- =================================================================== translating PT Petri net model.pnml into LoLA format =================================================================== =================================================================== translating PT formula ReachabilityDeadlock into LoLA format =================================================================== result stdout ----- result stderr ----- @ DLCround-PT-11b @ 3540 seconds Error 137 (ignored) result stderr ----- for target 'verify' failed result stdout ----- 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 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) bit-perfect encoder (--encoder=bit) bytes per marking, with 29 unused bits prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly 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, 107645 fired transitions, 0 secs || 77905 markings, 89065 edges, 15581 markings/sec, 0 secs 1 tries, 219241 fired transitions, 5 secs || 166457 markings, 191716 edges, 17710 markings/sec, 5 secs 1 tries, 330902 fired transitions, 10 secs || 256232 markings, 295822 edges, 17955 markings/sec, 10 secs 1 tries, 442655 fired transitions, 15 secs || 342913 markings, 396039 edges, 17336 markings/sec, 15 secs 1 tries, 552540 fired transitions, 20 secs || 421415 markings, 483711 edges, 15700 markings/sec, 20 secs 1 tries, 662621 fired transitions, 25 secs || 502554 markings, 572773 edges, 16228 markings/sec, 25 secs 1 tries, 774284 fired transitions, 30 secs || 584844 markings, 662998 edges, 16458 markings/sec, 30 secs 1 tries, 885728 fired transitions, 35 secs || 668219 markings, 754575 edges, 16675 markings/sec, 35 secs 1 tries, 997754 fired transitions, 40 secs || 752929 markings, 847650 edges, 16942 markings/sec, 40 secs 2 tries, 1111574 fired transitions, 45 secs || 837754 markings, 941461 edges, 16965 markings/sec, 45 secs 2 tries, 1225146 fired transitions, 50 secs || 923374 markings, 1035913 edges, 17124 markings/sec, 50 secs 2 tries, 1335136 fired transitions, 55 secs || 1006942 markings, 1127825 edges, 16714 markings/sec, 55 secs 2 tries, 1447431 fired transitions, 60 secs || 1090220 markings, 1219672 edges, 16656 markings/sec, 60 secs 2 tries, 1558964 fired transitions, 65 secs || 1172613 markings, 1310474 edges, 16479 markings/sec, 65 secs 2 tries, 1671575 fired transitions, 70 secs || 1254788 markings, 1400818 edges, 16435 markings/sec, 70 secs 2 tries, 1782618 fired transitions, 75 secs || 1337981 markings, 1493152 edges, 16639 markings/sec, 75 secs 2 tries, 1891749 fired transitions, 80 secs || 1420563 markings, 1585353 edges, 16516 markings/sec, 80 secs 2 tries, 1996774 fired transitions, 85 secs || 1500550 markings, 1674392 edges, 15997 markings/sec, 85 secs 3 tries, 2105802 fired transitions, 90 secs || 1585740 markings, 1769405 edges, 17038 markings/sec, 90 secs 3 tries, 2212758 fired transitions, 95 secs || 1673985 markings, 1868184 edges, 17649 markings/sec, 95 secs 3 tries, 2318839 fired transitions, 100 secs || 1757219 markings, 1960429 edges, 16647 markings/sec, 100 secs 3 tries, 2425008 fired transitions, 105 secs || 1839463 markings, 2051244 edges, 16449 markings/sec, 105 secs 3 tries, 2533044 fired transitions, 110 secs || 1926718 markings, 2149236 edges, 17451 markings/sec, 110 secs 3 tries, 2639244 fired transitions, 115 secs || 2012830 markings, 2245749 edges, 17222 markings/sec, 115 secs 3 tries, 2749947 fired transitions, 120 secs || 2097231 markings, 2339833 edges, 16880 markings/sec, 120 secs 3 tries, 2860802 fired transitions, 125 secs || 2181836 markings, 2434067 edges, 16921 markings/sec, 125 secs 3 tries, 2972586 fired transitions, 130 secs || 2273626 markings, 2537190 edges, 18358 markings/sec, 130 secs 4 tries, 3084559 fired transitions, 135 secs || 2364969 markings, 2639296 edges, 18269 markings/sec, 135 secs 4 tries, 3193174 fired transitions, 140 secs || 2451883 markings, 2735784 edges, 17383 markings/sec, 140 secs 4 tries, 3302282 fired transitions, 145 secs || 2536020 markings, 2829873 edges, 16827 markings/sec, 145 secs 4 tries, 3407220 fired transitions, 150 secs || 2628461 markings, 2933737 edges, 18488 markings/sec, 150 secs 4 tries, 3511089 fired transitions, 155 secs || 2720987 markings, 3038090 edges, 18505 markings/sec, 155 secs 4 tries, 3615430 fired transitions, 160 secs || 2809148 markings, 3136948 edges, 17632 markings/sec, 160 secs 4 tries, 3723290 fired transitions, 165 secs || 2903120 markings, 3242647 edges, 18794 markings/sec, 165 secs 4 tries, 3832104 fired transitions, 170 secs || 2992366 markings, 3341827 edges, 17849 markings/sec, 170 secs 4 tries, 3937574 fired transitions, 175 secs || 3075019 markings, 3432462 edges, 16531 markings/sec, 175 secs 5 tries, 4042635 fired transitions, 180 secs || 3163665 markings, 3531288 edges, 17729 markings/sec, 180 secs 5 tries, 4146552 fired transitions, 185 secs || 3253389 markings, 3631887 edges, 17945 markings/sec, 185 secs 5 tries, 4251140 fired transitions, 190 secs || 3343163 markings, 3732805 edges, 17955 markings/sec, 190 secs 5 tries, 4356307 fired transitions, 195 secs || 3424096 markings, 3822031 edges, 16187 markings/sec, 195 secs 5 tries, 4462685 fired transitions, 200 secs || 3511827 markings, 3920792 edges, 17546 markings/sec, 200 secs 5 tries, 4570872 fired transitions, 205 secs || 3598552 markings, 4020330 edges, 17345 markings/sec, 205 secs 5 tries, 4677998 fired transitions, 210 secs || 3683036 markings, 4115159 edges, 16897 markings/sec, 210 secs 5 tries, 4782779 fired transitions, 215 secs || 3766197 markings, 4208165 edges, 16632 markings/sec, 215 secs 5 tries, 4887749 fired transitions, 220 secs || 3847491 markings, 4297787 edges, 16259 markings/sec, 220 secs 5 tries, 4992503 fired transitions, 225 secs || 3938764 markings, 4399945 edges, 18255 markings/sec, 225 secs 6 tries, 5098288 fired transitions, 230 secs || 4021113 markings, 4490974 edges, 16470 markings/sec, 230 secs 6 tries, 5202380 fired transitions, 235 secs || 4108576 markings, 4588486 edges, 17493 markings/sec, 235 secs 6 tries, 5305717 fired transitions, 240 secs || 4193983 markings, 4683492 edges, 17081 markings/sec, 240 secs 6 tries, 5409266 fired transitions, 245 secs || 4286998 markings, 4788155 edges, 18603 markings/sec, 245 secs 6 tries, 5514857 fired transitions, 250 secs || 4372362 markings, 4883520 edges, 17073 markings/sec, 250 secs 6 tries, 5620516 fired transitions, 255 secs || 4457786 markings, 4978742 edges, 17085 markings/sec, 255 secs 6 tries, 5726536 fired transitions, 260 secs || 4544270 markings, 5075132 edges, 17297 markings/sec, 260 secs 6 tries, 5833534 fired transitions, 265 secs || 4629698 markings, 5170301 edges, 17086 markings/sec, 265 secs 6 tries, 5938848 fired transitions, 270 secs || 4716352 markings, 5266861 edges, 17331 markings/sec, 270 secs 7 tries, 6044968 fired transitions, 275 secs || 4800997 markings, 5361264 edges, 16929 markings/sec, 275 secs 7 tries, 6150016 fired transitions, 280 secs || 4889165 markings, 5459680 edges, 17634 markings/sec, 280 secs 7 tries, 6255250 fired transitions, 285 secs || 4974939 markings, 5555146 edges, 17155 markings/sec, 285 secs 7 tries, 6359026 fired transitions, 290 secs || 5069026 markings, 5661020 edges, 18817 markings/sec, 290 secs 7 tries, 6463510 fired transitions, 295 secs || 5156369 markings, 5758487 edges, 17469 markings/sec, 295 secs 7 tries, 6566914 fired transitions, 300 secs || 5235108 markings, 5844994 edges, 15748 markings/sec, 300 secs 7 tries, 6672576 fired transitions, 305 secs || 5325036 markings, 5946429 edges, 17986 markings/sec, 305 secs 7 tries, 6779056 fired transitions, 310 secs || 5412811 markings, 6044572 edges, 17555 markings/sec, 310 secs 7 tries, 6884665 fired transitions, 315 secs || 5490516 markings, 6130269 edges, 15541 markings/sec, 315 secs 7 tries, 6990448 fired transitions, 320 secs || 5574217 markings, 6223380 edges, 16740 markings/sec, 320 secs 8 tries, 7097401 fired transitions, 325 secs || 5660866 markings, 6320387 edges, 17330 markings/sec, 325 secs 8 tries, 7204498 fired transitions, 330 secs || 5744446 markings, 6413486 edges, 16716 markings/sec, 330 secs 8 tries, 7310795 fired transitions, 335 secs || 5824040 markings, 6501337 edges, 15919 markings/sec, 335 secs 8 tries, 7417572 fired transitions, 340 secs || 5912010 markings, 6599599 edges, 17594 markings/sec, 340 secs 8 tries, 7521679 fired transitions, 345 secs || 5996470 markings, 6693370 edges, 16892 markings/sec, 345 secs 8 tries, 7626909 fired transitions, 350 secs || 6081561 markings, 6787855 edges, 17018 markings/sec, 350 secs 8 tries, 7731874 fired transitions, 355 secs || 6171669 markings, 6888690 edges, 18022 markings/sec, 355 secs 8 tries, 7836281 fired transitions, 360 secs || 6265933 markings, 6994564 edges, 18853 markings/sec, 360 secs 8 tries, 7939921 fired transitions, 365 secs || 6356004 markings, 7095320 edges, 18014 markings/sec, 365 secs 9 tries, 8046718 fired transitions, 370 secs || 6443819 markings, 7193152 edges, 17563 markings/sec, 370 secs 9 tries, 8150690 fired transitions, 375 secs || 6534226 markings, 7294255 edges, 18081 markings/sec, 375 secs 9 tries, 8257098 fired transitions, 380 secs || 6623708 markings, 7394543 edges, 17896 markings/sec, 380 secs 9 tries, 8361357 fired transitions, 385 secs || 6713971 markings, 7495616 edges, 18053 markings/sec, 385 secs 9 tries, 8466412 fired transitions, 390 secs || 6807216 markings, 7600635 edges, 18649 markings/sec, 390 secs 9 tries, 8569386 fired transitions, 395 secs || 6901302 markings, 7706494 edges, 18817 markings/sec, 395 secs 9 tries, 8675230 fired transitions, 400 secs || 6991893 markings, 7807796 edges, 18118 markings/sec, 400 secs 9 tries, 8779304 fired transitions, 405 secs || 7082742 markings, 7909775 edges, 18170 markings/sec, 405 secs 9 tries, 8884972 fired transitions, 410 secs || 7170132 markings, 8007349 edges, 17478 markings/sec, 410 secs 9 tries, 8991299 fired transitions, 415 secs || 7261574 markings, 8109854 edges, 18288 markings/sec, 415 secs 10 tries, 9097713 fired transitions, 420 secs || 7347019 markings, 8204954 edges, 17089 markings/sec, 420 secs 10 tries, 9201379 fired transitions, 425 secs || 7436250 markings, 8304692 edges, 17846 markings/sec, 425 secs 10 tries, 9304827 fired transitions, 430 secs || 7525900 markings, 8405140 edges, 17930 markings/sec, 430 secs 10 tries, 9410126 fired transitions, 435 secs || 7615235 markings, 8504871 edges, 17867 markings/sec, 435 secs 10 tries, 9514645 fired transitions, 440 secs || 7699932 markings, 8598967 edges, 16939 markings/sec, 440 secs 10 tries, 9618074 fired transitions, 445 secs || 7784756 markings, 8693189 edges, 16965 markings/sec, 445 secs 10 tries, 9722317 fired transitions, 450 secs || 7876439 markings, 8796286 edges, 18337 markings/sec, 450 secs 10 tries, 9826287 fired transitions, 455 secs || 7962688 markings, 8892359 edges, 17250 markings/sec, 455 secs 10 tries, 9931097 fired transitions, 460 secs || 8049569 markings, 8989064 edges, 17376 markings/sec, 460 secs 11 tries, 10037091 fired transitions, 465 secs || 8139264 markings, 9089485 edges, 17939 markings/sec, 465 secs 11 tries, 10140627 fired transitions, 470 secs || 8229434 markings, 9190453 edges, 18034 markings/sec, 470 secs 11 tries, 10244294 fired transitions, 475 secs || 8319504 markings, 9291646 edges, 18014 markings/sec, 475 secs 11 tries, 10348189 fired transitions, 480 secs || 8405127 markings, 9386901 edges, 17125 markings/sec, 480 secs 11 tries, 10453842 fired transitions, 485 secs || 8485358 markings, 9475524 edges, 16046 markings/sec, 485 secs 11 tries, 10558895 fired transitions, 490 secs || 8568212 markings, 9567472 edges, 16571 markings/sec, 490 secs 11 tries, 10661945 fired transitions, 495 secs || 8649384 markings, 9657692 edges, 16234 markings/sec, 495 secs 11 tries, 10765764 fired transitions, 500 secs || 8737910 markings, 9756419 edges, 17705 markings/sec, 500 secs 11 tries, 10872586 fired transitions, 505 secs || 8825102 markings, 9853791 edges, 17438 markings/sec, 505 secs 11 tries, 10976965 fired transitions, 510 secs || 8912056 markings, 9950649 edges, 17391 markings/sec, 510 secs 12 tries, 11083248 fired transitions, 515 secs || 9001315 markings, 10050561 edges, 17852 markings/sec, 515 secs 12 tries, 11187310 fired transitions, 520 secs || 9088172 markings, 10147700 edges, 17371 markings/sec, 520 secs 12 tries, 11291323 fired transitions, 525 secs || 9167702 markings, 10235268 edges, 15906 markings/sec, 525 secs 12 tries, 11395547 fired transitions, 530 secs || 9251364 markings, 10328245 edges, 16732 markings/sec, 530 secs 12 tries, 11500312 fired transitions, 535 secs || 9334987 markings, 10421883 edges, 16725 markings/sec, 535 secs 12 tries, 11604241 fired transitions, 540 secs || 9418194 markings, 10514644 edges, 16641 markings/sec, 540 secs 12 tries, 11708900 fired transitions, 545 secs || 9499385 markings, 10605015 edges, 16238 markings/sec, 545 secs 12 tries, 11813747 fired transitions, 550 secs || 9585352 markings, 10701684 edges, 17193 markings/sec, 550 secs 12 tries, 11921052 fired transitions, 555 secs || 9672417 markings, 10798762 edges, 17413 markings/sec, 555 secs 13 tries, 12026742 fired transitions, 560 secs || 9759017 markings, 10895651 edges, 17320 markings/sec, 560 secs 13 tries, 12131361 fired transitions, 565 secs || 9846279 markings, 10993608 edges, 17452 markings/sec, 565 secs 13 tries, 12235555 fired transitions, 570 secs || 9933223 markings, 11090694 edges, 17389 markings/sec, 570 secs 13 tries, 12340548 fired transitions, 575 secs || 10019264 markings, 11186603 edges, 17208 markings/sec, 575 secs 13 tries, 12446962 fired transitions, 580 secs || 10104738 markings, 11282056 edges, 17095 markings/sec, 580 secs 13 tries, 12552371 fired transitions, 585 secs || 10188649 markings, 11375082 edges, 16782 markings/sec, 585 secs 13 tries, 12656226 fired transitions, 590 secs || 10270868 markings, 11466706 edges, 16444 markings/sec, 590 secs 13 tries, 12761097 fired transitions, 595 secs || 10356031 markings, 11561716 edges, 17033 markings/sec, 595 secs 13 tries, 12864525 fired transitions, 600 secs || 10440950 markings, 11656149 edges, 16984 markings/sec, 600 secs 13 tries, 12968465 fired transitions, 605 secs || 10525858 markings, 11750883 edges, 16982 markings/sec, 605 secs 14 tries, 13074295 fired transitions, 610 secs || 10609572 markings, 11844536 edges, 16743 markings/sec, 610 secs 14 tries, 13176891 fired transitions, 615 secs || 10690592 markings, 11934793 edges, 16204 markings/sec, 615 secs 14 tries, 13281009 fired transitions, 620 secs || 10774911 markings, 12028166 edges, 16864 markings/sec, 620 secs 14 tries, 13385024 fired transitions, 625 secs || 10861636 markings, 12124792 edges, 17345 markings/sec, 625 secs 14 tries, 13488632 fired transitions, 630 secs || 10945798 markings, 12218467 edges, 16832 markings/sec, 630 secs 14 tries, 13593428 fired transitions, 635 secs || 11030105 markings, 12311993 edges, 16861 markings/sec, 635 secs 14 tries, 13697381 fired transitions, 640 secs || 11117614 markings, 12409516 edges, 17502 markings/sec, 640 secs 14 tries, 13802616 fired transitions, 645 secs || 11202480 markings, 12503783 edges, 16973 markings/sec, 645 secs 14 tries, 13907283 fired transitions, 650 secs || 11291741 markings, 12603971 edges, 17852 markings/sec, 650 secs 15 tries, 14012764 fired transitions, 655 secs || 11376330 markings, 12698097 edges, 16918 markings/sec, 655 secs 15 tries, 14117317 fired transitions, 660 secs || 11467929 markings, 12801157 edges, 18320 markings/sec, 660 secs 15 tries, 14221800 fired transitions, 665 secs || 11553769 markings, 12896525 edges, 17168 markings/sec, 665 secs 15 tries, 14326253 fired transitions, 670 secs || 11637388 markings, 12989260 edges, 16724 markings/sec, 670 secs 15 tries, 14430793 fired transitions, 675 secs || 11723961 markings, 13086487 edges, 17315 markings/sec, 675 secs 15 tries, 14533304 fired transitions, 680 secs || 11808090 markings, 13180103 edges, 16826 markings/sec, 680 secs 15 tries, 14638842 fired transitions, 685 secs || 11893232 markings, 13274998 edges, 17028 markings/sec, 685 secs 15 tries, 14742238 fired transitions, 690 secs || 11982715 markings, 13375610 edges, 17897 markings/sec, 690 secs 15 tries, 14847260 fired transitions, 695 secs || 12070640 markings, 13473753 edges, 17585 markings/sec, 695 secs 15 tries, 14951721 fired transitions, 700 secs || 12152728 markings, 13565188 edges, 16418 markings/sec, 700 secs 16 tries, 15056528 fired transitions, 705 secs || 12238271 markings, 13660115 edges, 17109 markings/sec, 705 secs 16 tries, 15159866 fired transitions, 710 secs || 12325227 markings, 13757189 edges, 17391 markings/sec, 710 secs 16 tries, 15263687 fired transitions, 715 secs || 12406653 markings, 13847070 edges, 16285 markings/sec, 715 secs 16 tries, 15368489 fired transitions, 720 secs || 12494704 markings, 13945346 edges, 17610 markings/sec, 720 secs 16 tries, 15473528 fired transitions, 725 secs || 12579777 markings, 14039715 edges, 17015 markings/sec, 725 secs 16 tries, 15577007 fired transitions, 730 secs || 12658456 markings, 14126932 edges, 15736 markings/sec, 730 secs 16 tries, 15681990 fired transitions, 735 secs || 12746182 markings, 14225184 edges, 17545 markings/sec, 735 secs 16 tries, 15785812 fired transitions, 740 secs || 12829366 markings, 14317542 edges, 16637 markings/sec, 740 secs 16 tries, 15890608 fired transitions, 745 secs || 12914595 markings, 14412275 edges, 17046 markings/sec, 745 secs 16 tries, 15996225 fired transitions, 750 secs || 13002147 markings, 14510233 edges, 17510 markings/sec, 750 secs 17 tries, 16102196 fired transitions, 755 secs || 13089629 markings, 14607773 edges, 17496 markings/sec, 755 secs and sara stderr ----- 17 tries, 16205179 fired transitions, 760 secs || 13179023 markings, 14708108 edges, 17879 markings/sec, 760 secs 17 tries, 16309959 fired transitions, 765 secs || 13265728 markings, 14804954 edges, 17341 markings/sec, 765 secs 17 tries, 16413362 fired transitions, 770 secs || 13351701 markings, 14900681 edges, 17195 markings/sec, 770 secs 17 tries, 16517857 fired transitions, 775 secs || 13433928 markings, 14991936 edges, 16445 markings/sec, 775 secs 17 tries, 16622915 fired transitions, 780 secs || 13520269 markings, 15088315 edges, 17268 markings/sec, 780 secs 17 tries, 16727303 fired transitions, 785 secs || 13603314 markings, 15180521 edges, 16609 markings/sec, 785 secs 17 tries, 16831906 fired transitions, 790 secs || 13690831 markings, 15278282 edges, 17503 markings/sec, 790 secs 17 tries, 16938795 fired transitions, 795 secs || 13773760 markings, 15370408 edges, 16586 markings/sec, 795 secs 18 tries, 17042735 fired transitions, 800 secs || 13853089 markings, 15458175 edges, 15866 markings/sec, 800 secs 18 tries, 17146753 fired transitions, 805 secs || 13936286 markings, 15550993 edges, 16639 markings/sec, 805 secs 18 tries, 17249913 fired transitions, 810 secs || 14019077 markings, 15643193 edges, 16558 markings/sec, 810 secs 18 tries, 17354707 fired transitions, 815 secs || 14099371 markings, 15731352 edges, 16059 markings/sec, 815 secs 18 tries, 17460302 fired transitions, 820 secs || 14182034 markings, 15823653 edges, 16533 markings/sec, 820 secs 18 tries, 17563812 fired transitions, 825 secs || 14268674 markings, 15920576 edges, 17328 markings/sec, 825 secs 18 tries, 17668394 fired transitions, 830 secs || 14350755 markings, 16011777 edges, 16416 markings/sec, 830 secs 18 tries, 17773357 fired transitions, 835 secs || 14438023 markings, 16109369 edges, 17454 markings/sec, 835 secs 18 tries, 17877256 fired transitions, 840 secs || 14524786 markings, 16206203 edges, 17353 markings/sec, 840 secs 18 tries, 17981395 fired transitions, 845 secs || 14614024 markings, 16306354 edges, 17848 markings/sec, 845 secs 19 tries, 18087044 fired transitions, 850 secs || 14698141 markings, 16399147 edges, 16823 markings/sec, 850 secs 19 tries, 18190321 fired transitions, 855 secs || 14786956 markings, 16498271 edges, 17763 markings/sec, 855 secs 19 tries, 18296046 fired transitions, 860 secs || 14875541 markings, 16597390 edges, 17717 markings/sec, 860 secs 19 tries, 18401165 fired transitions, 865 secs || 14972252 markings, 16707029 edges, 19342 markings/sec, 865 secs 19 tries, 18507097 fired transitions, 870 secs || 15070037 markings, 16818527 edges, 19557 markings/sec, 870 secs 19 tries, 18613053 fired transitions, 875 secs || 15162824 markings, 16923367 edges, 18557 markings/sec, 875 secs 19 tries, 18718391 fired transitions, 880 secs || 15252300 markings, 17023568 edges, 17895 markings/sec, 880 secs 19 tries, 18821177 fired transitions, 885 secs || 15328594 markings, 17108006 edges, 15259 markings/sec, 885 secs 19 tries, 18925272 fired transitions, 890 secs || 15403515 markings, 17190009 edges, 14984 markings/sec, 890 secs 20 tries, 19030474 fired transitions, 895 secs || 15482146 markings, 17277141 edges, 15726 markings/sec, 895 secs 20 tries, 19135055 fired transitions, 900 secs || 15559899 markings, 17362840 edges, 15551 markings/sec, 900 secs 20 tries, 19239591 fired transitions, 905 secs || 15640597 markings, 17452124 edges, 16140 markings/sec, 905 secs 20 tries, 19343252 fired transitions, 910 secs || 15720096 markings, 17539558 edges, 15900 markings/sec, 910 secs 20 tries, 19448133 fired transitions, 915 secs || 15797631 markings, 17624898 edges, 15507 markings/sec, 915 secs 20 tries, 19552766 fired transitions, 920 secs || 15871752 markings, 17705575 edges, 14824 markings/sec, 920 secs 20 tries, 19656858 fired transitions, 925 secs || 15948392 markings, 17789284 edges, 15328 markings/sec, 925 secs 20 tries, 19764587 fired transitions, 930 secs || 16027148 markings, 17875292 edges, 15751 markings/sec, 930 secs 20 tries, 19872992 fired transitions, 935 secs || 16106882 markings, 17962347 edges, 15947 markings/sec, 935 secs 20 tries, 19980361 fired transitions, 940 secs || 16186530 markings, 18049424 edges, 15930 markings/sec, 940 secs 21 tries, 20088103 fired transitions, 945 secs || 16264910 markings, 18135310 edges, 15676 markings/sec, 945 secs 21 tries, 20191974 fired transitions, 950 secs || 16345136 markings, 18223293 edges, 16045 markings/sec, 950 secs 21 tries, 20295078 fired transitions, 955 secs || 16423234 markings, 18308885 edges, 15620 markings/sec, 955 secs 21 tries, 20399684 fired transitions, 960 secs || 16501357 markings, 18394533 edges, 15625 markings/sec, 960 secs 21 tries, 20504820 fired transitions, 965 secs || 16578956 markings, 18479453 edges, 15520 markings/sec, 965 secs 21 tries, 20608513 fired transitions, 970 secs || 16658375 markings, 18566651 edges, 15884 markings/sec, 970 secs 21 tries, 20715728 fired transitions, 975 secs || 16738078 markings, 18654886 edges, 15941 markings/sec, 975 secs 21 tries, 20823302 fired transitions, 980 secs || 16817454 markings, 18742326 edges, 15875 markings/sec, 980 secs 21 tries, 20930267 fired transitions, 985 secs || 16896727 markings, 18829675 edges, 15855 markings/sec, 985 secs 22 tries, 21038852 fired transitions, 990 secs || 16975940 markings, 18916666 edges, 15843 markings/sec, 990 secs 22 tries, 21145910 fired transitions, 995 secs || 17054229 markings, 19002497 edges, 15658 markings/sec, 995 secs 22 tries, 21253741 fired transitions, 1000 secs || 17134927 markings, 19091594 edges, 16140 markings/sec, 1000 secs 22 tries, 21361678 fired transitions, 1005 secs || 17218974 markings, 19185170 edges, 16809 markings/sec, 1005 secs 22 tries, 21471166 fired transitions, 1010 secs || 17300762 markings, 19276734 edges, 16358 markings/sec, 1010 secs 22 tries, 21576630 fired transitions, 1015 secs || 17380847 markings, 19365028 edges, 16017 markings/sec, 1015 secs 22 tries, 21683663 fired transitions, 1020 secs || 17452715 markings, 19443776 edges, 14374 markings/sec, 1020 secs 22 tries, 21794290 fired transitions, 1025 secs || 17530354 markings, 19528534 edges, 15528 markings/sec, 1025 secs 22 tries, 21906108 fired transitions, 1030 secs || 17614605 markings, 19621591 edges, 16850 markings/sec, 1030 secs 23 tries, 22016886 fired transitions, 1035 secs || 17704611 markings, 19721903 edges, 18001 markings/sec, 1035 secs 23 tries, 22124183 fired transitions, 1040 secs || 17785340 markings, 19811094 edges, 16146 markings/sec, 1040 secs 23 tries, 22232074 fired transitions, 1045 secs || 17859086 markings, 19892201 edges, 14749 markings/sec, 1045 secs 23 tries, 22343659 fired transitions, 1050 secs || 17937603 markings, 19977778 edges, 15703 markings/sec, 1050 secs 23 tries, 22456212 fired transitions, 1055 secs || 18017651 markings, 20065774 edges, 16010 markings/sec, 1055 secs 23 tries, 22568106 fired transitions, 1060 secs || 18095558 markings, 20150924 edges, 15581 markings/sec, 1060 secs 23 tries, 22683218 fired transitions, 1065 secs || 18180255 markings, 20244359 edges, 16939 markings/sec, 1065 secs 23 tries, 22789945 fired transitions, 1070 secs || 18257747 markings, 20329062 edges, 15498 markings/sec, 1070 secs 23 tries, 22895906 fired transitions, 1075 secs || 18334797 markings, 20413227 edges, 15410 markings/sec, 1075 secs 24 tries, 23004270 fired transitions, 1080 secs || 18418919 markings, 20506954 edges, 16824 markings/sec, 1080 secs 24 tries, 23109529 fired transitions, 1085 secs || 18502594 markings, 20599808 edges, 16735 markings/sec, 1085 secs 24 tries, 23216572 fired transitions, 1090 secs || 18585919 markings, 20692292 edges, 16665 markings/sec, 1090 secs 24 tries, 23326473 fired transitions, 1095 secs || 18669274 markings, 20784265 edges, 16671 markings/sec, 1095 secs 24 tries, 23441801 fired transitions, 1100 secs || 18755004 markings, 20878839 edges, 17146 markings/sec, 1100 secs 24 tries, 23557259 fired transitions, 1105 secs || 18840934 markings, 20974475 edges, 17186 markings/sec, 1105 secs 24 tries, 23673410 fired transitions, 1110 secs || 18929863 markings, 21073780 edges, 17786 markings/sec, 1110 secs 24 tries, 23789781 fired transitions, 1115 secs || 19019228 markings, 21173669 edges, 17873 markings/sec, 1115 secs 24 tries, 23903930 fired transitions, 1120 secs || 19101502 markings, 21264437 edges, 16455 markings/sec, 1120 secs 25 tries, 24020832 fired transitions, 1125 secs || 19183546 markings, 21354877 edges, 16409 markings/sec, 1125 secs 25 tries, 24135838 fired transitions, 1130 secs || 19264121 markings, 21443141 edges, 16115 markings/sec, 1130 secs 25 tries, 24251722 fired transitions, 1135 secs || 19346497 markings, 21533922 edges, 16475 markings/sec, 1135 secs 25 tries, 24366305 fired transitions, 1140 secs || 19424513 markings, 21619209 edges, 15603 markings/sec, 1140 secs 25 tries, 24480769 fired transitions, 1145 secs || 19502707 markings, 21704448 edges, 15639 markings/sec, 1145 secs 25 tries, 24596913 fired transitions, 1150 secs || 19582981 markings, 21792061 edges, 16055 markings/sec, 1150 secs 25 tries, 24711435 fired transitions, 1155 secs || 19661949 markings, 21878305 edges, 15794 markings/sec, 1155 secs 25 tries, 24825645 fired transitions, 1160 secs || 19741652 markings, 21965242 edges, 15941 markings/sec, 1160 secs 25 tries, 24938282 fired transitions, 1165 secs || 19830059 markings, 22063897 edges, 17681 markings/sec, 1165 secs 26 tries, 25047253 fired transitions, 1170 secs || 19916302 markings, 22160530 edges, 17249 markings/sec, 1170 secs 26 tries, 25155997 fired transitions, 1175 secs || 19998019 markings, 22251593 edges, 16343 markings/sec, 1175 secs 26 tries, 25267059 fired transitions, 1180 secs || 20077556 markings, 22339193 edges, 15907 markings/sec, 1180 secs 26 tries, 25382629 fired transitions, 1185 secs || 20165170 markings, 22436805 edges, 17523 markings/sec, 1185 secs 26 tries, 25495911 fired transitions, 1190 secs || 20250844 markings, 22531762 edges, 17135 markings/sec, 1190 secs 26 tries, 25607604 fired transitions, 1195 secs || 20336759 markings, 22627078 edges, 17183 markings/sec, 1195 secs 26 tries, 25721919 fired transitions, 1200 secs || 20422509 markings, 22722046 edges, 17150 markings/sec, 1200 secs 26 tries, 25834747 fired transitions, 1205 secs || 20507210 markings, 22816034 edges, 16940 markings/sec, 1205 secs 26 tries, 25942762 fired transitions, 1210 secs || 20589027 markings, 22906466 edges, 16363 markings/sec, 1210 secs 27 tries, 26052742 fired transitions, 1215 secs || 20672114 markings, 22998776 edges, 16617 markings/sec, 1215 secs 27 tries, 26159234 fired transitions, 1220 secs || 20759508 markings, 23096450 edges, 17479 markings/sec, 1220 secs 27 tries, 26266436 fired transitions, 1225 secs || 20842298 markings, 23188182 edges, 16558 markings/sec, 1225 secs 27 tries, 26370923 fired transitions, 1230 secs || 20932485 markings, 23289349 edges, 18037 markings/sec, 1230 secs 27 tries, 26476012 fired transitions, 1235 secs || 21020631 markings, 23388281 edges, 17629 markings/sec, 1235 secs 27 tries, 26584194 fired transitions, 1240 secs || 21100389 markings, 23476525 edges, 15952 markings/sec, 1240 secs 27 tries, 26692608 fired transitions, 1245 secs || 21187581 markings, 23574709 edges, 17438 markings/sec, 1245 secs 27 tries, 26798069 fired transitions, 1250 secs || 21272284 markings, 23668991 edges, 16941 markings/sec, 1250 secs 27 tries, 26904472 fired transitions, 1255 secs || 21357331 markings, 23763954 edges, 17009 markings/sec, 1255 secs 28 tries, 27013514 fired transitions, 1260 secs || 21447872 markings, 23865746 edges, 18108 markings/sec, 1260 secs 28 tries, 27119400 fired transitions, 1265 secs || 21527157 markings, 23952905 edges, 15857 markings/sec, 1265 secs 28 tries, 27225756 fired transitions, 1270 secs || 21609807 markings, 24044756 edges, 16530 markings/sec, 1270 secs 28 tries, 27336117 fired transitions, 1275 secs || 21695103 markings, 24139472 edges, 17059 markings/sec, 1275 secs 28 tries, 27448523 fired transitions, 1280 secs || 21778969 markings, 24232291 edges, 16773 markings/sec, 1280 secs 28 tries, 27560483 fired transitions, 1285 secs || 21863846 markings, 24326333 edges, 16975 markings/sec, 1285 secs 28 tries, 27672460 fired transitions, 1290 secs || 21949330 markings, 24421078 edges, 17097 markings/sec, 1290 secs 28 tries, 27784052 fired transitions, 1295 secs || 22032229 markings, 24512590 edges, 16580 markings/sec, 1295 secs 28 tries, 27895866 fired transitions, 1300 secs || 22118785 markings, 24608604 edges, 17311 markings/sec, 1300 secs 29 tries, 28009221 fired transitions, 1305 secs || 22204602 markings, 24703699 edges, 17163 markings/sec, 1305 secs 29 tries, 28120869 fired transitions, 1310 secs || 22286874 markings, 24794732 edges, 16454 markings/sec, 1310 secs 29 tries, 28231860 fired transitions, 1315 secs || 22370597 markings, 24887219 edges, 16745 markings/sec, 1315 secs 29 tries, 28343884 fired transitions, 1320 secs || 22455941 markings, 24981760 edges, 17069 markings/sec, 1320 secs 29 tries, 28456127 fired transitions, 1325 secs || 22542641 markings, 25078072 edges, 17340 markings/sec, 1325 secs 29 tries, 28567432 fired transitions, 1330 secs || 22625180 markings, 25169208 edges, 16508 markings/sec, 1330 secs 29 tries, 28669819 fired transitions, 1335 secs || 22703580 markings, 25255654 edges, 15680 markings/sec, 1335 secs 29 tries, 28773812 fired transitions, 1340 secs || 22783346 markings, 25343704 edges, 15953 markings/sec, 1340 secs 29 tries, 28884244 fired transitions, 1345 secs || 22868529 markings, 25438373 edges, 17037 markings/sec, 1345 secs 29 tries, 28995546 fired transitions, 1350 secs || 22959149 markings, 25540162 edges, 18124 markings/sec, 1350 secs 30 tries, 29106025 fired transitions, 1355 secs || 23048771 markings, 25640523 edges, 17924 markings/sec, 1355 secs 30 tries, 29220606 fired transitions, 1360 secs || 23135735 markings, 25736821 edges, 17393 markings/sec, 1360 secs 30 tries, 29336216 fired transitions, 1365 secs || 23225260 markings, 25835911 edges, 17905 markings/sec, 1365 secs 30 tries, 29450579 fired transitions, 1370 secs || 23319190 markings, 25940790 edges, 18786 markings/sec, 1370 secs 30 tries, 29560275 fired transitions, 1375 secs || 23407691 markings, 26038837 edges, 17700 markings/sec, 1375 secs 30 tries, 29670629 fired transitions, 1380 secs || 23497118 markings, 26138461 edges, 17885 markings/sec, 1380 secs 30 tries, 29782985 fired transitions, 1385 secs || 23582558 markings, 26233450 edges, 17088 markings/sec, 1385 secs 30 tries, 29895090 fired transitions, 1390 secs || 23672142 markings, 26333183 edges, 17917 markings/sec, 1390 secs 31 tries, 30006265 fired transitions, 1395 secs || 23760516 markings, 26431761 edges, 17675 markings/sec, 1395 secs 31 tries, 30115358 fired transitions, 1400 secs || 23843053 markings, 26523040 edges, 16507 markings/sec, 1400 secs 31 tries, 30231494 fired transitions, 1405 secs || 23935333 markings, 26626608 edges, 18456 markings/sec, 1405 secs 31 tries, 30344087 fired transitions, 1410 secs || 24025666 markings, 26727662 edges, 18067 markings/sec, 1410 secs 31 tries, 30459200 fired transitions, 1415 secs || 24119483 markings, 26832998 edges, 18763 markings/sec, 1415 secs 31 tries, 30572631 fired transitions, 1420 secs || 24205894 markings, 26928397 edges, 17282 markings/sec, 1420 secs 31 tries, 30681971 fired transitions, 1425 secs || 24297225 markings, 27030291 edges, 18266 markings/sec, 1425 secs 31 tries, 30791711 fired transitions, 1430 secs || 24387126 markings, 27130428 edges, 17980 markings/sec, 1430 secs 31 tries, 30892101 fired transitions, 1435 secs || 24477461 markings, 27231769 edges, 18067 markings/sec, 1435 secs 31 tries, 30998236 fired transitions, 1440 secs || 24566064 markings, 27330797 edges, 17721 markings/sec, 1440 secs 32 tries, 31106716 fired transitions, 1445 secs || 24655707 markings, 27430479 edges, 17929 markings/sec, 1445 secs 32 tries, 31219027 fired transitions, 1450 secs || 24748269 markings, 27533352 edges, 18512 markings/sec, 1450 secs 32 tries, 31332228 fired transitions, 1455 secs || 24840689 markings, 27636096 edges, 18484 markings/sec, 1455 secs 32 tries, 31447983 fired transitions, 1460 secs || 24934863 markings, 27741700 edges, 18835 markings/sec, 1460 secs 32 tries, 31562054 fired transitions, 1465 secs || 25025093 markings, 27842305 edges, 18046 markings/sec, 1465 secs 32 tries, 31674074 fired transitions, 1470 secs || 25114365 markings, 27942033 edges, 17854 markings/sec, 1470 secs 32 tries, 31785323 fired transitions, 1475 secs || 25207549 markings, 28047522 edges, 18637 markings/sec, 1475 secs 32 tries, 31895527 fired transitions, 1480 secs || 25299045 markings, 28150109 edges, 18299 markings/sec, 1480 secs 33 tries, 32008126 fired transitions, 1485 secs || 25392456 markings, 28254524 edges, 18682 markings/sec, 1485 secs 33 tries, 32123202 fired transitions, 1490 secs || 25492057 markings, 28366403 edges, 19920 markings/sec, 1490 secs 33 tries, 32236148 fired transitions, 1495 secs || 25584433 markings, 28469882 edges, 18475 markings/sec, 1495 secs 33 tries, 32347681 fired transitions, 1500 secs || 25676881 markings, 28573899 edges, 18490 markings/sec, 1500 secs 33 tries, 32454250 fired transitions, 1505 secs || 25765349 markings, 28672719 edges, 17694 markings/sec, 1505 secs 33 tries, 32563774 fired transitions, 1510 secs || 25848928 markings, 28765011 edges, 16716 markings/sec, 1510 secs 33 tries, 32677888 fired transitions, 1515 secs || 25939024 markings, 28864976 edges, 18019 markings/sec, 1515 secs 33 tries, 32793862 fired transitions, 1520 secs || 26029189 markings, 28965213 edges, 18033 markings/sec, 1520 secs 33 tries, 32907679 fired transitions, 1525 secs || 26122793 markings, 29070257 edges, 18721 markings/sec, 1525 secs 34 tries, 33018375 fired transitions, 1530 secs || 26208458 markings, 29164587 edges, 17133 markings/sec, 1530 secs 34 tries, 33131641 fired transitions, 1535 secs || 26299992 markings, 29267184 edges, 18307 markings/sec, 1535 secs 34 tries, 33239736 fired transitions, 1540 secs || 26396170 markings, 29375055 edges, 19236 markings/sec, 1540 secs 34 tries, 33355462 fired transitions, 1545 secs || 26488670 markings, 29478014 edges, 18500 markings/sec, 1545 secs 34 tries, 33468583 fired transitions, 1550 secs || 26578016 markings, 29577449 edges, 17869 markings/sec, 1550 secs 34 tries, 33584477 fired transitions, 1555 secs || 26668271 markings, 29678553 edges, 18051 markings/sec, 1555 secs 34 tries, 33698653 fired transitions, 1560 secs || 26757184 markings, 29777409 edges, 17783 markings/sec, 1560 secs 34 tries, 33813792 fired transitions, 1565 secs || 26843798 markings, 29872746 edges, 17323 markings/sec, 1565 secs 34 tries, 33921952 fired transitions, 1570 secs || 26937351 markings, 29977828 edges, 18711 markings/sec, 1570 secs 35 tries, 34028895 fired transitions, 1575 secs || 27025030 markings, 30075547 edges, 17536 markings/sec, 1575 secs 35 tries, 34134872 fired transitions, 1580 secs || 27109263 markings, 30169132 edges, 16847 markings/sec, 1580 secs 35 tries, 34240440 fired transitions, 1585 secs || 27194978 markings, 30264927 edges, 17143 markings/sec, 1585 secs 35 tries, 34347310 fired transitions, 1590 secs || 27278652 markings, 30357634 edges, 16735 markings/sec, 1590 secs 35 tries, 34455982 fired transitions, 1595 secs || 27371609 markings, 30462666 edges, 18591 markings/sec, 1595 secs 35 tries, 34561910 fired transitions, 1600 secs || 27459668 markings, 30561254 edges, 17612 markings/sec, 1600 secs 35 tries, 34667676 fired transitions, 1605 secs || 27544823 markings, 30655828 edges, 17031 markings/sec, 1605 secs 35 tries, 34774150 fired transitions, 1610 secs || 27629257 markings, 30749689 edges, 16887 markings/sec, 1610 secs 35 tries, 34882082 fired transitions, 1615 secs || 27715654 markings, 30846486 edges, 17279 markings/sec, 1615 secs 35 tries, 34990130 fired transitions, 1620 secs || 27804976 markings, 30946532 edges, 17864 markings/sec, 1620 secs 36 tries, 35097892 fired transitions, 1625 secs || 27894659 markings, 31047133 edges, 17937 markings/sec, 1625 secs 36 tries, 35206372 fired transitions, 1630 secs || 27993824 markings, 31162451 edges, 19833 markings/sec, 1630 secs 36 tries, 35315399 fired transitions, 1635 secs || 28100833 markings, 31287629 edges, 21402 markings/sec, 1635 secs 36 tries, 35424571 fired transitions, 1640 secs || 28204667 markings, 31408874 edges, 20767 markings/sec, 1640 secs 36 tries, 35535519 fired transitions, 1645 secs || 28307049 markings, 31528144 edges, 20476 markings/sec, 1645 secs 36 tries, 35648821 fired transitions, 1650 secs || 28416984 markings, 31656701 edges, 21987 markings/sec, 1650 secs 36 tries, 35762090 fired transitions, 1655 secs || 28529801 markings, 31789361 edges, 22563 markings/sec, 1655 secs 36 tries, 35871904 fired transitions, 1660 secs || 28620987 markings, 31891491 edges, 18237 markings/sec, 1660 secs 36 tries, 35982596 fired transitions, 1665 secs || 28706657 markings, 31986728 edges, 17134 markings/sec, 1665 secs 37 tries, 36094360 fired transitions, 1670 secs || 28794209 markings, 32083802 edges, 17510 markings/sec, 1670 secs 37 tries, 36206182 fired transitions, 1675 secs || 28886156 markings, 32186609 edges, 18389 markings/sec, 1675 secs 37 tries, 36319828 fired transitions, 1680 secs || 28979955 markings, 32292859 edges, 18760 markings/sec, 1680 secs 37 tries, 36434685 fired transitions, 1685 secs || 29067378 markings, 32391086 edges, 17485 markings/sec, 1685 secs 37 tries, 36550039 fired transitions, 1690 secs || 29159994 markings, 32494657 edges, 18523 markings/sec, 1690 secs 37 tries, 36664762 fired transitions, 1695 secs || 29254607 markings, 32600713 edges, 18923 markings/sec, 1695 secs 37 tries, 36779670 fired transitions, 1700 secs || 29346649 markings, 32703873 edges, 18408 markings/sec, 1700 secs 37 tries, 36895841 fired transitions, 1705 secs || 29437927 markings, 32806919 edges, 18256 markings/sec, 1705 secs 38 tries, 37012353 fired transitions, 1710 secs || 29527544 markings, 32907165 edges, 17923 markings/sec, 1710 secs 38 tries, 37128560 fired transitions, 1715 secs || 29624420 markings, 33015625 edges, 19375 markings/sec, 1715 secs 38 tries, 37244582 fired transitions, 1720 secs || 29720210 markings, 33122685 edges, 19158 markings/sec, 1720 secs 38 tries, 37350974 fired transitions, 1725 secs || 29809855 markings, 33223244 edges, 17929 markings/sec, 1725 secs 38 tries, 37458205 fired transitions, 1730 secs || 29904184 markings, 33329546 edges, 18866 markings/sec, 1730 secs 38 tries, 37565440 fired transitions, 1735 secs || 29993790 markings, 33429362 edges, 17921 markings/sec, 1735 secs 38 tries, 37672118 fired transitions, 1740 secs || 30086351 markings, 33533611 edges, 18512 markings/sec, 1740 secs 38 tries, 37779245 fired transitions, 1745 secs || 30175095 markings, 33632455 edges, 17749 markings/sec, 1745 secs 38 tries, 37885542 fired transitions, 1750 secs || 30266417 markings, 33734646 edges, 18264 markings/sec, 1750 secs 38 tries, 37991775 fired transitions, 1755 secs || 30356788 markings, 33836057 edges, 18074 markings/sec, 1755 secs 39 tries, 38099266 fired transitions, 1760 secs || 30441127 markings, 33930604 edges, 16868 markings/sec, 1760 secs 39 tries, 38206688 fired transitions, 1765 secs || 30533307 markings, 34034433 edges, 18436 markings/sec, 1765 secs 39 tries, 38314512 fired transitions, 1770 secs || 30622295 markings, 34134201 edges, 17798 markings/sec, 1770 secs 39 tries, 38422572 fired transitions, 1775 secs || 30712664 markings, 34235638 edges, 18074 markings/sec, 1775 secs 39 tries, 38529058 fired transitions, 1780 secs || 30802986 markings, 34336980 edges, 18064 markings/sec, 1780 secs 39 tries, 38634157 fired transitions, 1785 secs || 30890717 markings, 34434335 edges, 17546 markings/sec, 1785 secs 39 tries, 38741300 fired transitions, 1790 secs || 30986155 markings, 34542318 edges, 19088 markings/sec, 1790 secs 39 tries, 38849410 fired transitions, 1795 secs || 31074066 markings, 34640247 edges, 17582 markings/sec, 1795 secs 39 tries, 38956567 fired transitions, 1800 secs || 31162928 markings, 34739175 edges, 17772 markings/sec, 1800 secs 40 tries, 39065379 fired transitions, 1805 secs || 31259216 markings, 34849111 edges, 19258 markings/sec, 1805 secs 40 tries, 39174132 fired transitions, 1810 secs || 31359636 markings, 34965114 edges, 20084 markings/sec, 1810 secs 40 tries, 39281826 fired transitions, 1815 secs || 31445655 markings, 35060512 edges, 17204 markings/sec, 1815 secs 40 tries, 39388514 fired transitions, 1820 secs || 31530740 markings, 35155171 edges, 17017 markings/sec, 1820 secs 40 tries, 39496946 fired transitions, 1825 secs || 31622634 markings, 35258607 edges, 18379 markings/sec, 1825 secs 40 tries, 39603435 fired transitions, 1830 secs || 31708072 markings, 35353257 edges, 17088 markings/sec, 1830 secs 40 tries, 39710529 fired transitions, 1835 secs || 31793620 markings, 35448251 edges, 17110 markings/sec, 1835 secs 40 tries, 39815825 fired transitions, 1840 secs || 31885269 markings, 35551989 edges, 18330 markings/sec, 1840 secs 40 tries, 39922513 fired transitions, 1845 secs || 31978452 markings, 35657713 edges, 18637 markings/sec, 1845 secs 41 tries, 40030900 fired transitions, 1850 secs || 32074645 markings, 35767806 edges, 19239 markings/sec, 1850 secs 41 tries, 40139298 fired transitions, 1855 secs || 32168605 markings, 35873720 edges, 18792 markings/sec, 1855 secs 41 tries, 40247090 fired transitions, 1860 secs || 32257288 markings, 35972770 edges, 17737 markings/sec, 1860 secs 41 tries, 40353946 fired transitions, 1865 secs || 32339921 markings, 36063915 edges, 16527 markings/sec, 1865 secs 41 tries, 40461981 fired transitions, 1870 secs || 32425561 markings, 36159254 edges, 17128 markings/sec, 1870 secs 41 tries, 40571817 fired transitions, 1875 secs || 32521109 markings, 36267042 edges, 19110 markings/sec, 1875 secs 41 tries, 40679221 fired transitions, 1880 secs || 32611779 markings, 36368586 edges, 18134 markings/sec, 1880 secs 41 tries, 40788932 fired transitions, 1885 secs || 32705866 markings, 36474909 edges, 18817 markings/sec, 1885 secs 41 tries, 40898351 fired transitions, 1890 secs || 32795637 markings, 36575180 edges, 17954 markings/sec, 1890 secs 42 tries, 41008450 fired transitions, 1895 secs || 32885844 markings, 36675434 edges, 18041 markings/sec, 1895 secs 42 tries, 41116742 fired transitions, 1900 secs || 32970780 markings, 36769460 edges, 16987 markings/sec, 1900 secs 42 tries, 41224066 fired transitions, 1905 secs || 33056708 markings, 36864717 edges, 17186 markings/sec, 1905 secs 42 tries, 41332464 fired transitions, 1910 secs || 33140109 markings, 36957506 edges, 16680 markings/sec, 1910 secs 42 tries, 41440831 fired transitions, 1915 secs || 33231947 markings, 37060498 edges, 18368 markings/sec, 1915 secs 42 tries, 41552285 fired transitions, 1920 secs || 33325664 markings, 37164894 edges, 18743 markings/sec, 1920 secs 42 tries, 41663760 fired transitions, 1925 secs || 33416615 markings, 37266126 edges, 18190 markings/sec, 1925 secs 42 tries, 41775656 fired transitions, 1930 secs || 33508668 markings, 37368239 edges, 18411 markings/sec, 1930 secs 42 tries, 41884753 fired transitions, 1935 secs || 33597746 markings, 37467244 edges, 17816 markings/sec, 1935 secs 42 tries, 41991572 fired transitions, 1940 secs || 33686180 markings, 37565967 edges, 17687 markings/sec, 1940 secs 43 tries, 42099616 fired transitions, 1945 secs || 33778304 markings, 37669027 edges, 18425 markings/sec, 1945 secs 43 tries, 42208467 fired transitions, 1950 secs || 33866600 markings, 37767489 edges, 17659 markings/sec, 1950 secs 43 tries, 42315937 fired transitions, 1955 secs || 33957377 markings, 37869063 edges, 18155 markings/sec, 1955 secs 43 tries, 42425283 fired transitions, 1960 secs || 34049799 markings, 37973303 edges, 18484 markings/sec, 1960 secs 43 tries, 42532174 fired transitions, 1965 secs || 34135394 markings, 38069231 edges, 17119 markings/sec, 1965 secs 43 tries, 42639694 fired transitions, 1970 secs || 34225826 markings, 38172765 edges, 18086 markings/sec, 1970 secs 43 tries, 42745997 fired transitions, 1975 secs || 34307775 markings, 38266115 edges, 16390 markings/sec, 1975 secs 43 tries, 42853371 fired transitions, 1980 secs || 34386251 markings, 38353182 edges, 15695 markings/sec, 1980 secs 43 tries, 42959961 fired transitions, 1985 secs || 34464695 markings, 38439235 edges, 15689 markings/sec, 1985 secs 44 tries, 43068254 fired transitions, 1990 secs || 34545448 markings, 38528556 edges, 16151 markings/sec, 1990 secs 44 tries, 43177436 fired transitions, 1995 secs || 34633257 markings, 38626817 edges, 17562 markings/sec, 1995 secs 44 tries, 43284336 fired transitions, 2000 secs || 34717111 markings, 38720252 edges, 16771 markings/sec, 2000 secs 44 tries, 43392236 fired transitions, 2005 secs || 34805764 markings, 38819012 edges, 17731 markings/sec, 2005 secs 44 tries, 43500090 fired transitions, 2010 secs || 34890106 markings, 38912322 edges, 16868 markings/sec, 2010 secs 44 tries, 43607502 fired transitions, 2015 secs || 34975137 markings, 39006552 edges, 17006 markings/sec, 2015 secs 44 tries, 43716122 fired transitions, 2020 secs || 35065637 markings, 39107692 edges, 18100 markings/sec, 2020 secs 44 tries, 43823934 fired transitions, 2025 secs || 35154204 markings, 39207210 edges, 17713 markings/sec, 2025 secs 44 tries, 43931400 fired transitions, 2030 secs || 35239682 markings, 39303366 edges, 17096 markings/sec, 2030 secs 45 tries, 44040465 fired transitions, 2035 secs || 35327243 markings, 39400784 edges, 17512 markings/sec, 2035 secs 45 tries, 44148749 fired transitions, 2040 secs || 35410672 markings, 39493174 edges, 16686 markings/sec, 2040 secs 45 tries, 44257083 fired transitions, 2045 secs || 35499289 markings, 39591821 edges, 17723 markings/sec, 2045 secs 45 tries, 44364677 fired transitions, 2050 secs || 35589359 markings, 39692957 edges, 18014 markings/sec, 2050 secs 45 tries, 44471699 fired transitions, 2055 secs || 35671477 markings, 39784153 edges, 16424 markings/sec, 2055 secs 45 tries, 44579055 fired transitions, 2060 secs || 35758555 markings, 39881457 edges, 17416 markings/sec, 2060 secs 45 tries, 44686636 fired transitions, 2065 secs || 35845775 markings, 39979322 edges, 17444 markings/sec, 2065 secs 45 tries, 44791536 fired transitions, 2070 secs || 35932968 markings, 40076631 edges, 17439 markings/sec, 2070 secs 45 tries, 44897978 fired transitions, 2075 secs || 36021849 markings, 40175797 edges, 17776 markings/sec, 2075 secs 46 tries, 45006303 fired transitions, 2080 secs || 36112386 markings, 40277063 edges, 18107 markings/sec, 2080 secs 46 tries, 45112110 fired transitions, 2085 secs || 36198702 markings, 40372825 edges, 17263 markings/sec, 2085 secs 46 tries, 45218597 fired transitions, 2090 secs || 36283811 markings, 40466994 edges, 17022 markings/sec, 2090 secs 46 tries, 45327115 fired transitions, 2095 secs || 36366296 markings, 40557815 edges, 16497 markings/sec, 2095 secs 46 tries, 45433907 fired transitions, 2100 secs || 36457624 markings, 40660371 edges, 18266 markings/sec, 2100 secs 46 tries, 45540715 fired transitions, 2105 secs || 36555366 markings, 40771866 edges, 19548 markings/sec, 2105 secs 46 tries, 45646683 fired transitions, 2110 secs || 36653004 markings, 40883419 edges, 19528 markings/sec, 2110 secs 46 tries, 45755959 fired transitions, 2115 secs || 36748170 markings, 40991673 edges, 19033 markings/sec, 2115 secs 46 tries, 45863762 fired transitions, 2120 secs || 36843020 markings, 41099382 edges, 18970 markings/sec, 2120 secs 46 tries, 45970810 fired transitions, 2125 secs || 36926498 markings, 41191498 edges, 16696 markings/sec, 2125 secs 47 tries, 46079657 fired transitions, 2130 secs || 37015558 markings, 41290900 edges, 17812 markings/sec, 2130 secs 47 tries, 46187160 fired transitions, 2135 secs || 37102240 markings, 41387263 edges, 17336 markings/sec, 2135 secs 47 tries, 46294864 fired transitions, 2140 secs || 37193033 markings, 41489667 edges, 18159 markings/sec, 2140 secs 47 tries, 46401410 fired transitions, 2145 secs || 37277916 markings, 41584350 edges, 16977 markings/sec, 2145 secs 47 tries, 46508137 fired transitions, 2150 secs || 37371128 markings, 41688259 edges, 18642 markings/sec, 2150 secs 47 tries, 46613499 fired transitions, 2155 secs || 37460708 markings, 41788892 edges, 17916 markings/sec, 2155 secs 47 tries, 46720412 fired transitions, 2160 secs || 37552574 markings, 41893829 edges, 18373 markings/sec, 2160 secs 47 tries, 46828087 fired transitions, 2165 secs || 37645021 markings, 41998499 edges, 18489 markings/sec, 2165 secs 47 tries, 46933088 fired transitions, 2170 secs || 37733432 markings, 42097626 edges, 17682 markings/sec, 2170 secs 48 tries, 47043288 fired transitions, 2175 secs || 37822835 markings, 42197915 edges, 17881 markings/sec, 2175 secs 48 tries, 47149931 fired transitions, 2180 secs || 37907963 markings, 42292116 edges, 17026 markings/sec, 2180 secs 48 tries, 47257031 fired transitions, 2185 secs || 37995412 markings, 42389412 edges, 17490 markings/sec, 2185 secs 48 tries, 47364380 fired transitions, 2190 secs || 38083863 markings, 42488042 edges, 17690 markings/sec, 2190 secs 48 tries, 47472190 fired transitions, 2195 secs || 38169150 markings, 42582450 edges, 17057 markings/sec, 2195 secs 48 tries, 47579739 fired transitions, 2200 secs || 38252314 markings, 42674341 edges, 16633 markings/sec, 2200 secs 48 tries, 47686860 fired transitions, 2205 secs || 38350840 markings, 42786258 edges, 19705 markings/sec, 2205 secs 48 tries, 47794305 fired transitions, 2210 secs || 38436974 markings, 42881974 edges, 17227 markings/sec, 2210 secs 48 tries, 47901375 fired transitions, 2215 secs || 38519627 markings, 42973585 edges, 16531 markings/sec, 2215 secs 49 tries, 48009199 fired transitions, 2220 secs || 38610111 markings, 43074593 edges, 18097 markings/sec, 2220 secs 49 tries, 48116948 fired transitions, 2225 secs || 38697820 markings, 43171964 edges, 17542 markings/sec, 2225 secs 49 tries, 48222071 fired transitions, 2230 secs || 38786041 markings, 43270400 edges, 17644 markings/sec, 2230 secs 49 tries, 48329827 fired transitions, 2235 secs || 38878255 markings, 43374238 edges, 18443 markings/sec, 2235 secs 49 tries, 48437408 fired transitions, 2240 secs || 38970121 markings, 43477157 edges, 18373 markings/sec, 2240 secs 49 tries, 48544613 fired transitions, 2245 secs || 39056345 markings, 43573078 edges, 17245 markings/sec, 2245 secs 49 tries, 48652399 fired transitions, 2250 secs || 39142035 markings, 43668850 edges, 17138 markings/sec, 2250 secs 49 tries, 48760977 fired transitions, 2255 secs || 39226377 markings, 43763006 edges, 16868 markings/sec, 2255 secs 49 tries, 48869495 fired transitions, 2260 secs || 39317179 markings, 43864537 edges, 18160 markings/sec, 2260 secs 49 tries, 48978867 fired transitions, 2265 secs || 39410429 markings, 43969430 edges, 18650 markings/sec, 2265 secs 50 tries, 49088699 fired transitions, 2270 secs || 39501071 markings, 44071292 edges, 18128 markings/sec, 2270 secs 50 tries, 49195783 fired transitions, 2275 secs || 39585773 markings, 44165994 edges, 16940 markings/sec, 2275 secs 50 tries, 49305043 fired transitions, 2280 secs || 39674063 markings, 44264598 edges, 17658 markings/sec, 2280 secs 50 tries, 49413940 fired transitions, 2285 secs || 39764526 markings, 44365837 edges, 18093 markings/sec, 2285 secs 50 tries, 49520519 fired transitions, 2290 secs || 39851872 markings, 44463986 edges, 17469 markings/sec, 2290 secs 50 tries, 49627912 fired transitions, 2295 secs || 39935724 markings, 44557459 edges, 16770 markings/sec, 2295 secs 50 tries, 49736236 fired transitions, 2300 secs || 40033949 markings, 44670573 edges, 19645 markings/sec, 2300 secs 50 tries, 49845822 fired transitions, 2305 secs || 40121462 markings, 44768353 edges, 17503 markings/sec, 2305 secs 50 tries, 49955774 fired transitions, 2310 secs || 40211244 markings, 44868489 edges, 17956 markings/sec, 2310 secs 51 tries, 50064910 fired transitions, 2315 secs || 40299480 markings, 44966929 edges, 17647 markings/sec, 2315 secs 51 tries, 50172969 fired transitions, 2320 secs || 40388441 markings, 45066335 edges, 17792 markings/sec, 2320 secs 51 tries, 50280396 fired transitions, 2325 secs || 40475283 markings, 45163333 edges, 17368 markings/sec, 2325 secs 51 tries, 50388503 fired transitions, 2330 secs || 40559478 markings, 45256893 edges, 16839 markings/sec, 2330 secs 51 tries, 50494052 fired transitions, 2335 secs || 40643906 markings, 45351206 edges, 16886 markings/sec, 2335 secs 51 tries, 50602395 fired transitions, 2340 secs || 40729364 markings, 45446724 edges, 17092 markings/sec, 2340 secs 51 tries, 50711600 fired transitions, 2345 secs || 40822310 markings, 45552124 edges, 18589 markings/sec, 2345 secs 51 tries, 50820694 fired transitions, 2350 secs || 40912167 markings, 45653160 edges, 17971 markings/sec, 2350 secs 51 tries, 50927981 fired transitions, 2355 secs || 41002202 markings, 45753636 edges, 18007 markings/sec, 2355 secs 52 tries, 51036706 fired transitions, 2360 secs || 41091482 markings, 45853126 edges, 17856 markings/sec, 2360 secs 52 tries, 51143759 fired transitions, 2365 secs || 41180290 markings, 45952222 edges, 17762 markings/sec, 2365 secs 52 tries, 51251610 fired transitions, 2370 secs || 41269923 markings, 46052074 edges, 17927 markings/sec, 2370 secs 52 tries, 51360029 fired transitions, 2375 secs || 41358139 markings, 46150173 edges, 17643 markings/sec, 2375 secs 52 tries, 51467660 fired transitions, 2380 secs || 41446060 markings, 46248391 edges, 17584 markings/sec, 2380 secs 52 tries, 51576325 fired transitions, 2385 secs || 41531851 markings, 46344131 edges, 17158 markings/sec, 2385 secs 52 tries, 51684415 fired transitions, 2390 secs || 41618486 markings, 46441241 edges, 17327 markings/sec, 2390 secs 52 tries, 51791466 fired transitions, 2395 secs || 41704232 markings, 46536862 edges, 17149 markings/sec, 2395 secs 52 tries, 51897912 fired transitions, 2400 secs || 41793423 markings, 46636170 edges, 17838 markings/sec, 2400 secs 53 tries, 52006902 fired transitions, 2405 secs || 41887526 markings, 46741865 edges, 18821 markings/sec, 2405 secs 53 tries, 52112130 fired transitions, 2410 secs || 41979896 markings, 46845693 edges, 18474 markings/sec, 2410 secs 53 tries, 52221041 fired transitions, 2415 secs || 42070407 markings, 46947480 edges, 18102 markings/sec, 2415 secs 53 tries, 52327550 fired transitions, 2420 secs || 42156442 markings, 47043161 edges, 17207 markings/sec, 2420 secs 53 tries, 52434450 fired transitions, 2425 secs || 42242501 markings, 47138616 edges, 17212 markings/sec, 2425 secs 53 tries, 52541993 fired transitions, 2430 secs || 42330400 markings, 47236626 edges, 17580 markings/sec, 2430 secs 53 tries, 52649109 fired transitions, 2435 secs || 42417777 markings, 47333990 edges, 17475 markings/sec, 2435 secs 53 tries, 52755963 fired transitions, 2440 secs || 42505082 markings, 47431284 edges, 17461 markings/sec, 2440 secs 53 tries, 52862865 fired transitions, 2445 secs || 42595697 markings, 47533092 edges, 18123 markings/sec, 2445 secs 53 tries, 52970581 fired transitions, 2450 secs || 42677064 markings, 47622554 edges, 16273 markings/sec, 2450 secs 54 tries, 53077451 fired transitions, 2455 secs || 42761542 markings, 47716381 edges, 16896 markings/sec, 2455 secs 54 tries, 53185827 fired transitions, 2460 secs || 42850182 markings, 47815444 edges, 17728 markings/sec, 2460 secs 54 tries, 53293082 fired transitions, 2465 secs || 42941695 markings, 47918148 edges, 18303 markings/sec, 2465 secs 54 tries, 53400707 fired transitions, 2470 secs || 43028387 markings, 48014381 edges, 17338 markings/sec, 2470 secs 54 tries, 53507684 fired transitions, 2475 secs || 43120389 markings, 48117469 edges, 18400 markings/sec, 2475 secs 54 tries, 53615613 fired transitions, 2480 secs || 43213585 markings, 48221850 edges, 18639 markings/sec, 2480 secs 54 tries, 53721195 fired transitions, 2485 secs || 43302358 markings, 48320780 edges, 17755 markings/sec, 2485 secs 54 tries, 53828545 fired transitions, 2490 secs || 43391844 markings, 48420334 edges, 17897 markings/sec, 2490 secs 54 tries, 53935631 fired transitions, 2495 secs || 43479950 markings, 48518131 edges, 17621 markings/sec, 2495 secs 55 tries, 54043265 fired transitions, 2500 secs || 43569137 markings, 48617780 edges, 17837 markings/sec, 2500 secs 55 tries, 54151856 fired transitions, 2505 secs || 43654576 markings, 48712444 edges, 17088 markings/sec, 2505 secs 55 tries, 54260384 fired transitions, 2510 secs || 43742986 markings, 48810848 edges, 17682 markings/sec, 2510 secs 55 tries, 54366990 fired transitions, 2515 secs || 43828971 markings, 48906769 edges, 17197 markings/sec, 2515 secs 55 tries, 54474848 fired transitions, 2520 secs || 43925192 markings, 49014870 edges, 19244 markings/sec, 2520 secs 55 tries, 54581761 fired transitions, 2525 secs || 44022036 markings, 49124018 edges, 19369 markings/sec, 2525 secs 55 tries, 54689272 fired transitions, 2530 secs || 44114250 markings, 49227078 edges, 18443 markings/sec, 2530 secs 55 tries, 54797622 fired transitions, 2535 secs || 44206004 markings, 49330105 edges, 18351 markings/sec, 2535 secs 55 tries, 54904955 fired transitions, 2540 secs || 44293244 markings, 49427768 edges, 17448 markings/sec, 2540 secs 56 tries, 55013172 fired transitions, 2545 secs || 44377995 markings, 49522506 edges, 16950 markings/sec, 2545 secs 56 tries, 55120773 fired transitions, 2550 secs || 44466267 markings, 49621608 edges, 17654 markings/sec, 2550 secs 56 tries, 55227662 fired transitions, 2555 secs || 44555350 markings, 49721925 edges, 17817 markings/sec, 2555 secs 56 tries, 55335560 fired transitions, 2560 secs || 44647482 markings, 49826533 edges, 18426 markings/sec, 2560 secs 56 tries, 55442248 fired transitions, 2565 secs || 44734221 markings, 49923762 edges, 17348 markings/sec, 2565 secs 56 tries, 55550358 fired transitions, 2570 secs || 44821428 markings, 50021727 edges, 17441 markings/sec, 2570 secs 56 tries, 55659120 fired transitions, 2575 secs || 44911555 markings, 50122086 edges, 18025 markings/sec, 2575 secs 56 tries, 55765329 fired transitions, 2580 secs || 45001627 markings, 50222349 edges, 18014 markings/sec, 2580 secs 56 tries, 55870787 fired transitions, 2585 secs || 45086853 markings, 50316768 edges, 17045 markings/sec, 2585 secs 56 tries, 55978017 fired transitions, 2590 secs || 45172158 markings, 50411754 edges, 17061 markings/sec, 2590 secs 57 tries, 56086468 fired transitions, 2595 secs || 45263049 markings, 50513978 edges, 18178 markings/sec, 2595 secs 57 tries, 56193457 fired transitions, 2600 secs || 45350228 markings, 50611815 edges, 17436 markings/sec, 2600 secs 57 tries, 56301067 fired transitions, 2605 secs || 45437347 markings, 50709173 edges, 17424 markings/sec, 2605 secs 57 tries, 56406786 fired transitions, 2610 secs || 45525089 markings, 50808128 edges, 17548 markings/sec, 2610 secs 57 tries, 56514855 fired transitions, 2615 secs || 45620533 markings, 50915819 edges, 19089 markings/sec, 2615 secs 57 tries, 56622094 fired transitions, 2620 secs || 45711343 markings, 51017554 edges, 18162 markings/sec, 2620 secs 57 tries, 56728348 fired transitions, 2625 secs || 45802098 markings, 51118925 edges, 18151 markings/sec, 2625 secs 57 tries, 56835493 fired transitions, 2630 secs || 45894265 markings, 51222270 edges, 18433 markings/sec, 2630 secs 57 tries, 56942607 fired transitions, 2635 secs || 45986784 markings, 51326398 edges, 18504 markings/sec, 2635 secs 58 tries, 57049711 fired transitions, 2640 secs || 46077514 markings, 51428542 edges, 18146 markings/sec, 2640 secs 58 tries, 57157683 fired transitions, 2645 secs || 46171529 markings, 51534933 edges, 18803 markings/sec, 2645 secs 58 tries, 57267111 fired transitions, 2650 secs || 46270263 markings, 51649039 edges, 19747 markings/sec, 2650 secs 58 tries, 57374123 fired transitions, 2655 secs || 46362377 markings, 51752254 edges, 18423 markings/sec, 2655 secs 58 tries, 57481153 fired transitions, 2660 secs || 46455536 markings, 51856854 edges, 18632 markings/sec, 2660 secs 58 tries, 57588498 fired transitions, 2665 secs || 46554359 markings, 51970833 edges, 19765 markings/sec, 2665 secs 58 tries, 57695754 fired transitions, 2670 secs || 46645155 markings, 52072997 edges, 18159 markings/sec, 2670 secs 58 tries, 57803835 fired transitions, 2675 secs || 46734178 markings, 52173139 edges, 17805 markings/sec, 2675 secs 58 tries, 57910959 fired transitions, 2680 secs || 46824008 markings, 52274379 edges, 17966 markings/sec, 2680 secs 59 tries, 58018191 fired transitions, 2685 secs || 46908906 markings, 52369324 edges, 16980 markings/sec, 2685 secs 59 tries, 58126106 fired transitions, 2690 secs || 46996160 markings, 52467316 edges, 17451 markings/sec, 2690 secs 59 tries, 58233641 fired transitions, 2695 secs || 47084013 markings, 52566165 edges, 17571 markings/sec, 2695 secs 59 tries, 58341474 fired transitions, 2700 secs || 47168994 markings, 52660934 edges, 16996 markings/sec, 2700 secs 59 tries, 58448030 fired transitions, 2705 secs || 47256941 markings, 52759786 edges, 17589 markings/sec, 2705 secs 59 tries, 58555146 fired transitions, 2710 secs || 47341820 markings, 52854367 edges, 16976 markings/sec, 2710 secs 59 tries, 58661583 fired transitions, 2715 secs || 47427610 markings, 52950326 edges, 17158 markings/sec, 2715 secs 59 tries, 58769183 fired transitions, 2720 secs || 47509924 markings, 53042247 edges, 16463 markings/sec, 2720 secs 59 tries, 58877610 fired transitions, 2725 secs || 47596110 markings, 53139038 edges, 17237 markings/sec, 2725 secs 59 tries, 58985178 fired transitions, 2730 secs || 47683522 markings, 53237494 edges, 17482 markings/sec, 2730 secs 60 tries, 59094292 fired transitions, 2735 secs || 47769325 markings, 53332892 edges, 17161 markings/sec, 2735 secs 60 tries, 59201403 fired transitions, 2740 secs || 47860699 markings, 53435706 edges, 18275 markings/sec, 2740 secs 60 tries, 59308408 fired transitions, 2745 secs || 47951059 markings, 53536593 edges, 18072 markings/sec, 2745 secs 60 tries, 59414889 fired transitions, 2750 secs || 48041332 markings, 53638221 edges, 18055 markings/sec, 2750 secs 60 tries, 59521420 fired transitions, 2755 secs || 48129482 markings, 53737345 edges, 17630 markings/sec, 2755 secs 60 tries, 59629052 fired transitions, 2760 secs || 48212948 markings, 53829642 edges, 16693 markings/sec, 2760 secs 60 tries, 59736409 fired transitions, 2765 secs || 48297096 markings, 53923094 edges, 16830 markings/sec, 2765 secs 60 tries, 59842455 fired transitions, 2770 secs || 48385751 markings, 54021971 edges, 17731 markings/sec, 2770 secs 60 tries, 59949520 fired transitions, 2775 secs || 48475452 markings, 54121769 edges, 17940 markings/sec, 2775 secs 61 tries, 60058480 fired transitions, 2780 secs || 48563639 markings, 54220287 edges, 17637 markings/sec, 2780 secs 61 tries, 60166053 fired transitions, 2785 secs || 48652860 markings, 54320573 edges, 17844 markings/sec, 2785 secs 61 tries, 60272760 fired transitions, 2790 secs || 48741992 markings, 54421018 edges, 17826 markings/sec, 2790 secs 61 tries, 60379727 fired transitions, 2795 secs || 48828319 markings, 54517944 edges, 17265 markings/sec, 2795 secs 61 tries, 60486477 fired transitions, 2800 secs || 48914297 markings, 54615505 edges, 17196 markings/sec, 2800 secs 61 tries, 60593258 fired transitions, 2805 secs || 49001138 markings, 54713257 edges, 17368 markings/sec, 2805 secs 61 tries, 60700343 fired transitions, 2810 secs || 49089180 markings, 54812321 edges, 17608 markings/sec, 2810 secs 61 tries, 60807875 fired transitions, 2815 secs || 49182288 markings, 54918725 edges, 18622 markings/sec, 2815 secs 61 tries, 60915071 fired transitions, 2820 secs || 49271918 markings, 55020145 edges, 17926 markings/sec, 2820 secs 62 tries, 61023920 fired transitions, 2825 secs || 49356766 markings, 55114343 edges, 16970 markings/sec, 2825 secs 62 tries, 61132487 fired transitions, 2830 secs || 49446770 markings, 55214551 edges, 18001 markings/sec, 2830 secs 62 tries, 61239713 fired transitions, 2835 secs || 49529299 markings, 55305606 edges, 16506 markings/sec, 2835 secs 62 tries, 61347872 fired transitions, 2840 secs || 49618921 markings, 55405898 edges, 17924 markings/sec, 2840 secs 62 tries, 61454740 fired transitions, 2845 secs || 49703495 markings, 55499345 edges, 16915 markings/sec, 2845 secs 62 tries, 61562380 fired transitions, 2850 secs || 49795987 markings, 55602775 edges, 18498 markings/sec, 2850 secs 62 tries, 61670534 fired transitions, 2855 secs || 49893701 markings, 55713555 edges, 19543 markings/sec, 2855 secs 62 tries, 61775989 fired transitions, 2860 secs || 49979011 markings, 55809069 edges, 17062 markings/sec, 2860 secs 62 tries, 61883256 fired transitions, 2865 secs || 50065317 markings, 55905263 edges, 17261 markings/sec, 2865 secs 62 tries, 61988602 fired transitions, 2870 secs || 50150695 markings, 56000059 edges, 17076 markings/sec, 2870 secs 63 tries, 62098150 fired transitions, 2875 secs || 50239824 markings, 56099009 edges, 17826 markings/sec, 2875 secs 63 tries, 62205528 fired transitions, 2880 secs || 50330327 markings, 56200060 edges, 18101 markings/sec, 2880 secs 63 tries, 62312141 fired transitions, 2885 secs || 50418702 markings, 56298461 edges, 17675 markings/sec, 2885 secs 63 tries, 62419179 fired transitions, 2890 secs || 50509038 markings, 56399333 edges, 18067 markings/sec, 2890 secs 63 tries, 62526444 fired transitions, 2895 secs || 50599909 markings, 56500998 edges, 18174 markings/sec, 2895 secs 63 tries, 62633707 fired transitions, 2900 secs || 50684605 markings, 56595584 edges, 16939 markings/sec, 2900 secs 63 tries, 62739929 fired transitions, 2905 secs || 50771117 markings, 56693063 edges, 17302 markings/sec, 2905 secs 63 tries, 62847288 fired transitions, 2910 secs || 50857249 markings, 56789531 edges, 17226 markings/sec, 2910 secs 63 tries, 62954714 fired transitions, 2915 secs || 50943151 markings, 56886093 edges, 17180 markings/sec, 2915 secs 64 tries, 63064629 fired transitions, 2920 secs || 51029863 markings, 56983952 edges, 17342 markings/sec, 2920 secs 64 tries, 63173327 fired transitions, 2925 secs || 51117096 markings, 57082611 edges, 17447 markings/sec, 2925 secs 64 tries, 63280297 fired transitions, 2930 secs || 51204809 markings, 57181476 edges, 17543 markings/sec, 2930 secs 64 tries, 63389901 fired transitions, 2935 secs || 51294090 markings, 57283449 edges, 17856 markings/sec, 2935 secs 64 tries, 63496943 fired transitions, 2940 secs || 51386163 markings, 57389196 edges, 18415 markings/sec, 2940 secs 64 tries, 63605084 fired transitions, 2945 secs || 51477055 markings, 57494341 edges, 18178 markings/sec, 2945 secs 64 tries, 63713258 fired transitions, 2950 secs || 51568461 markings, 57598567 edges, 18281 markings/sec, 2950 secs 64 tries, 63821987 fired transitions, 2955 secs || 51659745 markings, 57701706 edges, 18257 markings/sec, 2955 secs 64 tries, 63927327 fired transitions, 2960 secs || 51746317 markings, 57798743 edges, 17314 markings/sec, 2960 secs 65 tries, 64034444 fired transitions, 2965 secs || 51833682 markings, 57895787 edges, 17473 markings/sec, 2965 secs 65 tries, 64140434 fired transitions, 2970 secs || 51923657 markings, 57996228 edges, 17995 markings/sec, 2970 secs 65 tries, 64246323 fired transitions, 2975 secs || 52009531 markings, 58092134 edges, 17175 markings/sec, 2975 secs 65 tries, 64353464 fired transitions, 2980 secs || 52098400 markings, 58191036 edges, 17774 markings/sec, 2980 secs 65 tries, 64460864 fired transitions, 2985 secs || 52186679 markings, 58289968 edges, 17656 markings/sec, 2985 secs 65 tries, 64568780 fired transitions, 2990 secs || 52273623 markings, 58387580 edges, 17389 markings/sec, 2990 secs 65 tries, 64674934 fired transitions, 2995 secs || 52360696 markings, 58484678 edges, 17415 markings/sec, 2995 secs 65 tries, 64782742 fired transitions, 3000 secs || 52452101 markings, 58586900 edges, 18281 markings/sec, 3000 secs 65 tries, 64887404 fired transitions, 3005 secs || 52535206 markings, 58680526 edges, 16621 markings/sec, 3005 secs 65 tries, 64952929 fired transitions, 3010 secs || 52574086 markings, 58724375 edges, 7776 markings/sec, 3010 secs 65 tries, 64977625 fired transitions, 3015 secs || 52575757 markings, 58726257 edges, 334 markings/sec, 3015 secs 65 tries, 64995944 fired transitions, 3020 secs || 52575961 markings, 58726492 edges, 41 markings/sec, 3020 secs 1b-ReachabilityDeadlock-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT SAT_SMT STATE_COMPRESSION STUBBORN_SETS SYMMETRIES TOPOLOGICAL USE_NUPN lola and sara stdout -----

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-11b"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="irma4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-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 irma4mcc-full"
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 r066-smll-152649737100125"
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 ;