MCC'2018 - Execution of r172-smll-152708743200286

About the Execution of LoLA for TokenRing-COL-050

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
1196.490	3570031.00	6919112.00	7805.30	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

Waiting for the VM to
...................
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
==
Generated by BenchKit 2-3637
Executing tool lola
Input is TokenRing-COL-050,
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 TokenRing-C

=== Now, execution

BK_START 1527307510782

info: Time: 3600 - MCC
========================
prep: translating
========================
prep: translating
prep: check for too many tokens
========================
prep: translating
========================
prep: translating
vrfy: Checking
lola: LoLA will
lola: NET
lola: reading
lola: finished parsing
lola: closed
lola: 130152/65536
lola: preprocessing...
lola: Size of
lola: finding
lola: 2601 places,
lola: computing
lola: computing
lola: 130152
lola: TASK
lola: reading
lola: E (F (DEADLOCK))
lola: rewrite
lola: checking
lola: Planning:
lola: STORE
lola: using a
lola: using a
lola: SEARCH (state space)
lola: state space:
lola: state space:
lola: SEARCH (findpath)
lola: findpath:
lola: RUNNING
lola: findpath:
lola: findpath:
lola: findpath:
lola: findpath:
lola: computing
lola: time limit
lola: computed
lola: representing 1 symmetries
lola: 0 dead
lola: STP running ||
lola: STP: formula
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: STP running ||
lola: stp: The
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: STP completed ||
lola: time limit
lola: memory consumption:
lola: time consumption:

BK_STOP 1527311080813

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

be ready (probing ssh) users 3.8K May 15 18:54 CTLCardinality.txt 21K May 15 18:54 CTLCardinality.xml users 2.7K May 15 18:54 CTLFireability.txt 15K May 15 18:54 CTLFireability.xml users 4.0K May 15 18:50 GenericPropertiesDefinition.xml users 6.2K May 15 18:50 GenericPropertiesVerdict.xml users 2.0K May 15 18:54 LTLCardinality.txt users 8.1K May 15 18:54 LTLCardinality.xml users 2.1K May 15 18:54 LTLFireability.txt 11K May 15 18:54 LTLFireability.xml users 3.3K May 15 18:54 ReachabilityCardinality.txt 17K May 15 18:54 ReachabilityCardinality.xml 108 May 15 18:54 ReachabilityDeadlock.txt 346 May 15 18:54 ReachabilityDeadlock.xml users 2.9K May 15 18:54 ReachabilityFireability.txt 15K May 15 18:54 ReachabilityFireability.xml users 1.6K May 15 18:54 UpperBounds.txt users 3.7K May 15 18:54 UpperBounds.xml 5 May 15 18:50 equiv_pt 4 May 15 18:50 instance 5 May 15 18:50 iscolored 33K May 15 18:50 model.pnml =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r172-smll-152708743200286 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) OL-050-ReachabilityDeadlock-0 of the tool begins =================================================================== TokenRing-COL-050 Petri net model.pnml into LoLA format =================================================================== COL Petri net complete =================================================================== TokenRing-COL-050 formula ReachabilityDeadlock into LoLA format =================================================================== COL formula complete ReachabilityDeadlock @ TokenRing-COL-050 @ 2784 seconds run for 2784 seconds at most (--timelimit) net from model.pnml.lola net file model.pnml.lola symbol table entries, 102770 collisions bit vector: 83232 significant places 127551 transitions, 2550 significant places forward-conflicting sets back-conflicting sets transition conflict sets formula from TokenRing-COL-050-ReachabilityDeadlock.task Frontend/Parser/formula_rewrite.k:106 reachability of deadlocks workflow for deadlock check: siphon||findpath||search) (--findpath=par,--siphontrap=par) simple compression encoder (--encoder=simplecompressed) prefix tree store (--store=prefix) using reachability graph (--search=depth) using deadlock preserving stubborn set method with insertion algorithm(--stubborn=tarjan) using deadlock preserving stubborn set method with insertion algorithm (--stubborn=tarjan) starting randomized, memory-less exploration (--search=findpath) searching for paths with maximal depth 1000000 (--depthlimit) no retry limit given (--retrylimit) transitions are chosen randomly symmetries (--symmetry) for symmetry computation of 300 seconds given (--symmtimelimit) 0 generators (0 in search tree, 0 by composition) branches visited in search tree 1 tries, 48 fired transitions, 0 secs || 31 markings, 30 edges, 6 markings/sec, 0 secs with 1686776 variables and 7832686 clauses shipped to Minisat 1 tries, 104 fired transitions, 5 secs || 87 markings, 86 edges, 11 markings/sec, 5 secs 1 tries, 160 fired transitions, 10 secs || 143 markings, 142 edges, 11 markings/sec, 10 secs 1 tries, 215 fired transitions, 15 secs || 198 markings, 197 edges, 11 markings/sec, 15 secs 1 tries, 268 fired transitions, 20 secs || 251 markings, 250 edges, 11 markings/sec, 20 secs 1 tries, 321 fired transitions, 25 secs || 304 markings, 303 edges, 11 markings/sec, 25 secs 1 tries, 375 fired transitions, 30 secs || 358 markings, 357 edges, 11 markings/sec, 30 secs 1 tries, 429 fired transitions, 35 secs || 412 markings, 411 edges, 11 markings/sec, 35 secs 1 tries, 483 fired transitions, 40 secs || 466 markings, 465 edges, 11 markings/sec, 40 secs 1 tries, 537 fired transitions, 45 secs || 520 markings, 519 edges, 11 markings/sec, 45 secs 1 tries, 592 fired transitions, 50 secs || 575 markings, 574 edges, 11 markings/sec, 50 secs 1 tries, 647 fired transitions, 55 secs || 630 markings, 629 edges, 11 markings/sec, 55 secs siphon/trap property is inconclusive since the generated formula is too short 1 tries, 701 fired transitions, 60 secs || 684 markings, 683 edges, 11 markings/sec, 60 secs 1 tries, 755 fired transitions, 65 secs || 738 markings, 737 edges, 11 markings/sec, 65 secs 1 tries, 809 fired transitions, 70 secs || 792 markings, 791 edges, 11 markings/sec, 70 secs 1 tries, 862 fired transitions, 75 secs || 842 markings, 841 edges, 10 markings/sec, 75 secs 1 tries, 917 fired transitions, 80 secs || 897 markings, 896 edges, 11 markings/sec, 80 secs 1 tries, 972 fired transitions, 85 secs || 952 markings, 951 edges, 11 markings/sec, 85 secs 1 tries, 1027 fired transitions, 90 secs || 1007 markings, 1006 edges, 11 markings/sec, 90 secs 1 tries, 1083 fired transitions, 95 secs || 1063 markings, 1062 edges, 11 markings/sec, 95 secs 1 tries, 1138 fired transitions, 100 secs || 1118 markings, 1117 edges, 11 markings/sec, 100 secs 1 tries, 1192 fired transitions, 105 secs || 1172 markings, 1171 edges, 11 markings/sec, 105 secs 1 tries, 1247 fired transitions, 110 secs || 1227 markings, 1226 edges, 11 markings/sec, 110 secs 1 tries, 1302 fired transitions, 115 secs || 1280 markings, 1279 edges, 11 markings/sec, 115 secs 1 tries, 1357 fired transitions, 120 secs || 1335 markings, 1334 edges, 11 markings/sec, 120 secs 1 tries, 1412 fired transitions, 125 secs || 1390 markings, 1389 edges, 11 markings/sec, 125 secs 1 tries, 1467 fired transitions, 130 secs || 1445 markings, 1444 edges, 11 markings/sec, 130 secs 1 tries, 1522 fired transitions, 135 secs || 1500 markings, 1499 edges, 11 markings/sec, 135 secs 1 tries, 1577 fired transitions, 140 secs || 1555 markings, 1554 edges, 11 markings/sec, 140 secs 1 tries, 1634 fired transitions, 145 secs || 1612 markings, 1611 edges, 11 markings/sec, 145 secs 1 tries, 1689 fired transitions, 150 secs || 1667 markings, 1666 edges, 11 markings/sec, 150 secs 1 tries, 1744 fired transitions, 155 secs || 1722 markings, 1721 edges, 11 markings/sec, 155 secs 1 tries, 1799 fired transitions, 160 secs || 1777 markings, 1776 edges, 11 markings/sec, 160 secs 1 tries, 1855 fired transitions, 165 secs || 1833 markings, 1832 edges, 11 markings/sec, 165 secs 1 tries, 1910 fired transitions, 170 secs || 1888 markings, 1887 edges, 11 markings/sec, 170 secs 1 tries, 1965 fired transitions, 175 secs || 1943 markings, 1942 edges, 11 markings/sec, 175 secs 1 tries, 2021 fired transitions, 180 secs || 1999 markings, 1998 edges, 11 markings/sec, 180 secs 1 tries, 2076 fired transitions, 185 secs || 2054 markings, 2053 edges, 11 markings/sec, 185 secs 1 tries, 2131 fired transitions, 190 secs || 2109 markings, 2108 edges, 11 markings/sec, 190 secs 1 tries, 2186 fired transitions, 195 secs || 2164 markings, 2163 edges, 11 markings/sec, 195 secs 1 tries, 2240 fired transitions, 200 secs || 2218 markings, 2217 edges, 11 markings/sec, 200 secs 1 tries, 2295 fired transitions, 205 secs || 2273 markings, 2272 edges, 11 markings/sec, 205 secs 1 tries, 2350 fired transitions, 210 secs || 2328 markings, 2327 edges, 11 markings/sec, 210 secs 1 tries, 2405 fired transitions, 215 secs || 2383 markings, 2382 edges, 11 markings/sec, 215 secs 1 tries, 2460 fired transitions, 220 secs || 2438 markings, 2437 edges, 11 markings/sec, 220 secs 1 tries, 2513 fired transitions, 225 secs || 2488 markings, 2487 edges, 10 markings/sec, 225 secs 1 tries, 2569 fired transitions, 230 secs || 2544 markings, 2543 edges, 11 markings/sec, 230 secs 1 tries, 2624 fired transitions, 235 secs || 2599 markings, 2598 edges, 11 markings/sec, 235 secs 1 tries, 2679 fired transitions, 240 secs || 2654 markings, 2653 edges, 11 markings/sec, 240 secs 1 tries, 2735 fired transitions, 245 secs || 2710 markings, 2709 edges, 11 markings/sec, 245 secs 1 tries, 2791 fired transitions, 250 secs || 2766 markings, 2765 edges, 11 markings/sec, 250 secs 1 tries, 2846 fired transitions, 255 secs || 2821 markings, 2820 edges, 11 markings/sec, 255 secs 1 tries, 2902 fired transitions, 260 secs || 2877 markings, 2876 edges, 11 markings/sec, 260 secs 1 tries, 2957 fired transitions, 265 secs || 2932 markings, 2931 edges, 11 markings/sec, 265 secs 1 tries, 3012 fired transitions, 270 secs || 2987 markings, 2986 edges, 11 markings/sec, 270 secs 1 tries, 3067 fired transitions, 275 secs || 3042 markings, 3041 edges, 11 markings/sec, 275 secs 1 tries, 3122 fired transitions, 280 secs || 3095 markings, 3094 edges, 11 markings/sec, 280 secs 1 tries, 3176 fired transitions, 285 secs || 3149 markings, 3148 edges, 11 markings/sec, 285 secs 1 tries, 3231 fired transitions, 290 secs || 3203 markings, 3202 edges, 11 markings/sec, 290 secs 1 tries, 3286 fired transitions, 295 secs || 3258 markings, 3257 edges, 11 markings/sec, 295 secs 1 tries, 3342 fired transitions, 300 secs || 3314 markings, 3313 edges, 11 markings/sec, 300 secs 1 tries, 3397 fired transitions, 305 secs || 3368 markings, 3419 edges, 11 markings/sec, 305 secs 1 tries, 3453 fired transitions, 310 secs || 3424 markings, 3531 edges, 11 markings/sec, 310 secs 1 tries, 3508 fired transitions, 315 secs || 3479 markings, 3641 edges, 11 markings/sec, 315 secs 1 tries, 3563 fired transitions, 320 secs || 3534 markings, 3751 edges, 11 markings/sec, 320 secs 1 tries, 3619 fired transitions, 325 secs || 3590 markings, 3863 edges, 11 markings/sec, 325 secs 1 tries, 3674 fired transitions, 330 secs || 3645 markings, 3973 edges, 11 markings/sec, 330 secs 1 tries, 3729 fired transitions, 335 secs || 3700 markings, 4083 edges, 11 markings/sec, 335 secs 1 tries, 3784 fired transitions, 340 secs || 3755 markings, 4193 edges, 11 markings/sec, 340 secs 1 tries, 3838 fired transitions, 345 secs || 3810 markings, 4303 edges, 11 markings/sec, 345 secs 1 tries, 3894 fired transitions, 350 secs || 3866 markings, 4415 edges, 11 markings/sec, 350 secs 1 tries, 3949 fired transitions, 355 secs || 3921 markings, 4525 edges, 11 markings/sec, 355 secs 1 tries, 4004 fired transitions, 360 secs || 3976 markings, 4635 edges, 11 markings/sec, 360 secs 1 tries, 4059 fired transitions, 365 secs || 4031 markings, 4745 edges, 11 markings/sec, 365 secs 1 tries, 4114 fired transitions, 370 secs || 4086 markings, 4855 edges, 11 markings/sec, 370 secs 1 tries, 4169 fired transitions, 375 secs || 4141 markings, 4965 edges, 11 markings/sec, 375 secs 1 tries, 4224 fired transitions, 380 secs || 4196 markings, 5075 edges, 11 markings/sec, 380 secs 1 tries, 4279 fired transitions, 385 secs || 4251 markings, 5185 edges, 11 markings/sec, 385 secs 1 tries, 4334 fired transitions, 390 secs || 4306 markings, 5295 edges, 11 markings/sec, 390 secs 1 tries, 4389 fired transitions, 395 secs || 4361 markings, 5405 edges, 11 markings/sec, 395 secs 1 tries, 4444 fired transitions, 400 secs || 4416 markings, 5515 edges, 11 markings/sec, 400 secs 1 tries, 4499 fired transitions, 405 secs || 4471 markings, 5625 edges, 11 markings/sec, 405 secs 1 tries, 4553 fired transitions, 410 secs || 4525 markings, 5733 edges, 11 markings/sec, 410 secs 1 tries, 4608 fired transitions, 415 secs || 4580 markings, 5800 edges, 11 markings/sec, 415 secs 1 tries, 4662 fired transitions, 420 secs || 4634 markings, 5861 edges, 11 markings/sec, 420 secs 1 tries, 4718 fired transitions, 425 secs || 4690 markings, 5973 edges, 11 markings/sec, 425 secs 1 tries, 4775 fired transitions, 430 secs || 4747 markings, 6087 edges, 11 markings/sec, 430 secs 1 tries, 4832 fired transitions, 435 secs || 4804 markings, 6201 edges, 11 markings/sec, 435 secs 1 tries, 4889 fired transitions, 440 secs || 4861 markings, 6315 edges, 11 markings/sec, 440 secs 1 tries, 4944 fired transitions, 445 secs || 4916 markings, 6425 edges, 11 markings/sec, 445 secs 1 tries, 5000 fired transitions, 450 secs || 4972 markings, 6537 edges, 11 markings/sec, 450 secs 1 tries, 5055 fired transitions, 455 secs || 5027 markings, 6647 edges, 11 markings/sec, 455 secs 1 tries, 5110 fired transitions, 460 secs || 5083 markings, 6759 edges, 11 markings/sec, 460 secs 1 tries, 5166 fired transitions, 465 secs || 5138 markings, 6869 edges, 11 markings/sec, 465 secs 1 tries, 5221 fired transitions, 470 secs || 5193 markings, 6979 edges, 11 markings/sec, 470 secs 1 tries, 5276 fired transitions, 475 secs || 5248 markings, 7089 edges, 11 markings/sec, 475 secs 1 tries, 5331 fired transitions, 480 secs || 5303 markings, 7199 edges, 11 markings/sec, 480 secs 1 tries, 5387 fired transitions, 485 secs || 5359 markings, 7311 edges, 11 markings/sec, 485 secs 1 tries, 5442 fired transitions, 490 secs || 5414 markings, 7421 edges, 11 markings/sec, 490 secs 1 tries, 5497 fired transitions, 495 secs || 5469 markings, 7531 edges, 11 markings/sec, 495 secs 1 tries, 5552 fired transitions, 500 secs || 5524 markings, 7641 edges, 11 markings/sec, 500 secs 1 tries, 5607 fired transitions, 505 secs || 5579 markings, 7750 edges, 11 markings/sec, 505 secs 1 tries, 5662 fired transitions, 510 secs || 5634 markings, 7860 edges, 11 markings/sec, 510 secs 1 tries, 5715 fired transitions, 515 secs || 5687 markings, 7966 edges, 11 markings/sec, 515 secs 1 tries, 5766 fired transitions, 520 secs || 5741 markings, 8074 edges, 11 markings/sec, 520 secs 1 tries, 5821 fired transitions, 525 secs || 5796 markings, 8184 edges, 11 markings/sec, 525 secs 1 tries, 5877 fired transitions, 530 secs || 5852 markings, 8293 edges, 11 markings/sec, 530 secs 1 tries, 5932 fired transitions, 535 secs || 5907 markings, 8421 edges, 11 markings/sec, 535 secs 1 tries, 5988 fired transitions, 540 secs || 5963 markings, 8579 edges, 11 markings/sec, 540 secs 1 tries, 6044 fired transitions, 545 secs || 6019 markings, 8741 edges, 11 markings/sec, 545 secs 1 tries, 6100 fired transitions, 550 secs || 6075 markings, 8885 edges, 11 markings/sec, 550 secs 1 tries, 6155 fired transitions, 555 secs || 6130 markings, 9044 edges, 11 markings/sec, 555 secs 1 tries, 6210 fired transitions, 560 secs || 6185 markings, 9205 edges, 11 markings/sec, 560 secs 1 tries, 6266 fired transitions, 565 secs || 6241 markings, 9369 edges, 11 markings/sec, 565 secs 1 tries, 6322 fired transitions, 570 secs || 6297 markings, 9534 edges, 11 markings/sec, 570 secs 1 tries, 6379 fired transitions, 575 secs || 6354 markings, 9697 edges, 11 markings/sec, 575 secs 1 tries, 6436 fired transitions, 580 secs || 6411 markings, 9865 edges, 11 markings/sec, 580 secs 1 tries, 6492 fired transitions, 585 secs || 6467 markings, 10028 edges, 11 markings/sec, 585 secs 1 tries, 6548 fired transitions, 590 secs || 6523 markings, 10195 edges, 11 markings/sec, 590 secs 1 tries, 6603 fired transitions, 595 secs || 6578 markings, 10357 edges, 11 markings/sec, 595 secs 1 tries, 6658 fired transitions, 600 secs || 6632 markings, 10514 edges, 11 markings/sec, 600 secs 1 tries, 6712 fired transitions, 605 secs || 6687 markings, 10677 edges, 11 markings/sec, 605 secs 1 tries, 6765 fired transitions, 610 secs || 6740 markings, 10830 edges, 11 markings/sec, 610 secs 1 tries, 6816 fired transitions, 615 secs || 6794 markings, 10984 edges, 11 markings/sec, 615 secs 1 tries, 6871 fired transitions, 620 secs || 6849 markings, 11148 edges, 11 markings/sec, 620 secs 1 tries, 6927 fired transitions, 625 secs || 6905 markings, 11313 edges, 11 markings/sec, 625 secs 1 tries, 6983 fired transitions, 630 secs || 6961 markings, 11476 edges, 11 markings/sec, 630 secs 1 tries, 7040 fired transitions, 635 secs || 7018 markings, 11645 edges, 11 markings/sec, 635 secs 1 tries, 7095 fired transitions, 640 secs || 7073 markings, 11776 edges, 11 markings/sec, 640 secs 1 tries, 7150 fired transitions, 645 secs || 7128 markings, 11933 edges, 11 markings/sec, 645 secs 1 tries, 7203 fired transitions, 650 secs || 7181 markings, 12092 edges, 11 markings/sec, 650 secs 1 tries, 7258 fired transitions, 655 secs || 7233 markings, 12247 edges, 10 markings/sec, 655 secs 1 tries, 7313 fired transitions, 660 secs || 7288 markings, 12412 edges, 11 markings/sec, 660 secs 1 tries, 7368 fired transitions, 665 secs || 7344 markings, 12580 edges, 11 markings/sec, 665 secs 1 tries, 7424 fired transitions, 670 secs || 7399 markings, 12745 edges, 11 markings/sec, 670 secs 1 tries, 7479 fired transitions, 675 secs || 7454 markings, 12910 edges, 11 markings/sec, 675 secs 1 tries, 7534 fired transitions, 680 secs || 7509 markings, 13075 edges, 11 markings/sec, 680 secs 1 tries, 7589 fired transitions, 685 secs || 7564 markings, 13240 edges, 11 markings/sec, 685 secs 1 tries, 7645 fired transitions, 690 secs || 7620 markings, 13408 edges, 11 markings/sec, 690 secs 1 tries, 7702 fired transitions, 695 secs || 7677 markings, 13579 edges, 11 markings/sec, 695 secs 1 tries, 7758 fired transitions, 700 secs || 7733 markings, 13747 edges, 11 markings/sec, 700 secs 1 tries, 7815 fired transitions, 705 secs || 7790 markings, 13918 edges, 11 markings/sec, 705 secs 1 tries, 7872 fired transitions, 710 secs || 7847 markings, 14088 edges, 11 markings/sec, 710 secs 1 tries, 7927 fired transitions, 715 secs || 7902 markings, 14253 edges, 11 markings/sec, 715 secs 1 tries, 7982 fired transitions, 720 secs || 7957 markings, 14418 edges, 11 markings/sec, 720 secs 1 tries, 8038 fired transitions, 725 secs || 8013 markings, 14586 edges, 11 markings/sec, 725 secs 1 tries, 8094 fired transitions, 730 secs || 8068 markings, 14751 edges, 11 markings/sec, 730 secs 1 tries, 8148 fired transitions, 735 secs || 8123 markings, 14915 edges, 11 markings/sec, 735 secs 1 tries, 8204 fired transitions, 740 secs || 8179 markings, 15083 edges, 11 markings/sec, 740 secs 1 tries, 8259 fired transitions, 745 secs || 8234 markings, 15209 edges, 11 markings/sec, 745 secs 1 tries, 8314 fired transitions, 750 secs || 8289 markings, 15374 edges, 11 markings/sec, 750 secs 1 tries, 8369 fired transitions, 755 secs || 8344 markings, 15538 edges, 11 markings/sec, 755 secs 1 tries, 8425 fired transitions, 760 secs || 8400 markings, 15706 edges, 11 markings/sec, 760 secs 1 tries, 8480 fired transitions, 765 secs || 8455 markings, 15871 edges, 11 markings/sec, 765 secs 1 tries, 8536 fired transitions, 770 secs || 8511 markings, 16039 edges, 11 markings/sec, 770 secs 1 tries, 8591 fired transitions, 775 secs || 8566 markings, 16204 edges, 11 markings/sec, 775 secs 1 tries, 8647 fired transitions, 780 secs || 8622 markings, 16372 edges, 11 markings/sec, 780 secs 1 tries, 8702 fired transitions, 785 secs || 8677 markings, 16537 edges, 11 markings/sec, 785 secs 1 tries, 8758 fired transitions, 790 secs || 8733 markings, 16705 edges, 11 markings/sec, 790 secs 1 tries, 8813 fired transitions, 795 secs || 8788 markings, 16870 edges, 11 markings/sec, 795 secs 1 tries, 8868 fired transitions, 800 secs || 8843 markings, 17035 edges, 11 markings/sec, 800 secs 1 tries, 8924 fired transitions, 805 secs || 8899 markings, 17203 edges, 11 markings/sec, 805 secs 1 tries, 8979 fired transitions, 810 secs || 8954 markings, 17368 edges, 11 markings/sec, 810 secs 1 tries, 9033 fired transitions, 815 secs || 9008 markings, 17530 edges, 11 markings/sec, 815 secs 1 tries, 9088 fired transitions, 820 secs || 9063 markings, 17695 edges, 11 markings/sec, 820 secs 1 tries, 9143 fired transitions, 825 secs || 9118 markings, 17860 edges, 11 markings/sec, 825 secs 1 tries, 9199 fired transitions, 830 secs || 9174 markings, 18028 edges, 11 markings/sec, 830 secs 1 tries, 9254 fired transitions, 835 secs || 9229 markings, 18193 edges, 11 markings/sec, 835 secs 1 tries, 9310 fired transitions, 840 secs || 9285 markings, 18361 edges, 11 markings/sec, 840 secs 1 tries, 9365 fired transitions, 845 secs || 9340 markings, 18488 edges, 11 markings/sec, 845 secs 1 tries, 9420 fired transitions, 850 secs || 9395 markings, 18653 edges, 11 markings/sec, 850 secs 1 tries, 9476 fired transitions, 855 secs || 9451 markings, 18821 edges, 11 markings/sec, 855 secs 1 tries, 9531 fired transitions, 860 secs || 9506 markings, 18986 edges, 11 markings/sec, 860 secs 1 tries, 9586 fired transitions, 865 secs || 9561 markings, 19151 edges, 11 markings/sec, 865 secs 1 tries, 9641 fired transitions, 870 secs || 9616 markings, 19316 edges, 11 markings/sec, 870 secs 1 tries, 9692 fired transitions, 875 secs || 9671 markings, 19481 edges, 11 markings/sec, 875 secs 1 tries, 9747 fired transitions, 880 secs || 9726 markings, 19646 edges, 11 markings/sec, 880 secs 1 tries, 9802 fired transitions, 885 secs || 9781 markings, 19811 edges, 11 markings/sec, 885 secs 1 tries, 9858 fired transitions, 890 secs || 9837 markings, 19979 edges, 11 markings/sec, 890 secs 1 tries, 9913 fired transitions, 895 secs || 9892 markings, 20144 edges, 11 markings/sec, 895 secs 1 tries, 9968 fired transitions, 900 secs || 9947 markings, 20309 edges, 11 markings/sec, 900 secs 1 tries, 10024 fired transitions, 905 secs || 10003 markings, 20476 edges, 11 markings/sec, 905 secs 1 tries, 10079 fired transitions, 910 secs || 10058 markings, 20641 edges, 11 markings/sec, 910 secs 1 tries, 10134 fired transitions, 915 secs || 10113 markings, 20806 edges, 11 markings/sec, 915 secs 1 tries, 10189 fired transitions, 920 secs || 10168 markings, 20971 edges, 11 markings/sec, 920 secs 1 tries, 10244 fired transitions, 925 secs || 10223 markings, 21136 edges, 11 markings/sec, 925 secs 1 tries, 10299 fired transitions, 930 secs || 10278 markings, 21301 edges, 11 markings/sec, 930 secs 1 tries, 10354 fired transitions, 935 secs || 10333 markings, 21465 edges, 11 markings/sec, 935 secs 1 tries, 10409 fired transitions, 940 secs || 10388 markings, 21602 edges, 11 markings/sec, 940 secs 1 tries, 10464 fired transitions, 945 secs || 10443 markings, 21757 edges, 11 markings/sec, 945 secs 1 tries, 10520 fired transitions, 950 secs || 10499 markings, 21926 edges, 11 markings/sec, 950 secs 1 tries, 10575 fired transitions, 955 secs || 10554 markings, 22091 edges, 11 markings/sec, 955 secs 1 tries, 10631 fired transitions, 960 secs || 10610 markings, 22259 edges, 11 markings/sec, 960 secs 1 tries, 10687 fired transitions, 965 secs || 10666 markings, 22427 edges, 11 markings/sec, 965 secs 1 tries, 10742 fired transitions, 970 secs || 10721 markings, 22592 edges, 11 markings/sec, 970 secs 1 tries, 10797 fired transitions, 975 secs || 10776 markings, 22757 edges, 11 markings/sec, 975 secs 1 tries, 10853 fired transitions, 980 secs || 10832 markings, 22925 edges, 11 markings/sec, 980 secs 1 tries, 10908 fired transitions, 985 secs || 10887 markings, 23087 edges, 11 markings/sec, 985 secs 1 tries, 10963 fired transitions, 990 secs || 10942 markings, 23252 edges, 11 markings/sec, 990 secs 1 tries, 11018 fired transitions, 995 secs || 10997 markings, 23417 edges, 11 markings/sec, 995 secs 1 tries, 11074 fired transitions, 1000 secs || 11053 markings, 23585 edges, 11 markings/sec, 1000 secs 1 tries, 11129 fired transitions, 1005 secs || 11108 markings, 23750 edges, 11 markings/sec, 1005 secs 1 tries, 11185 fired transitions, 1010 secs || 11164 markings, 23918 edges, 11 markings/sec, 1010 secs 1 tries, 11240 fired transitions, 1015 secs || 11219 markings, 24083 edges, 11 markings/sec, 1015 secs 1 tries, 11296 fired transitions, 1020 secs || 11275 markings, 24251 edges, 11 markings/sec, 1020 secs 1 tries, 11353 fired transitions, 1025 secs || 11332 markings, 24422 edges, 11 markings/sec, 1025 secs 1 tries, 11410 fired transitions, 1030 secs || 11389 markings, 24577 edges, 11 markings/sec, 1030 secs 1 tries, 11465 fired transitions, 1035 secs || 11444 markings, 24722 edges, 11 markings/sec, 1035 secs 1 tries, 11519 fired transitions, 1040 secs || 11498 markings, 24884 edges, 11 markings/sec, 1040 secs 1 tries, 11576 fired transitions, 1045 secs || 11555 markings, 25055 edges, 11 markings/sec, 1045 secs 1 tries, 11632 fired transitions, 1050 secs || 11611 markings, 25223 edges, 11 markings/sec, 1050 secs 1 tries, 11689 fired transitions, 1055 secs || 11668 markings, 25394 edges, 11 markings/sec, 1055 secs 1 tries, 11744 fired transitions, 1060 secs || 11723 markings, 25559 edges, 11 markings/sec, 1060 secs 1 tries, 11800 fired transitions, 1065 secs || 11779 markings, 25727 edges, 11 markings/sec, 1065 secs 1 tries, 11855 fired transitions, 1070 secs || 11834 markings, 25892 edges, 11 markings/sec, 1070 secs 1 tries, 11911 fired transitions, 1075 secs || 11890 markings, 26060 edges, 11 markings/sec, 1075 secs 1 tries, 11966 fired transitions, 1080 secs || 11945 markings, 26225 edges, 11 markings/sec, 1080 secs 1 tries, 12021 fired transitions, 1085 secs || 12000 markings, 26390 edges, 11 markings/sec, 1085 secs 1 tries, 12077 fired transitions, 1090 secs || 12056 markings, 26558 edges, 11 markings/sec, 1090 secs 1 tries, 12132 fired transitions, 1095 secs || 12111 markings, 26723 edges, 11 markings/sec, 1095 secs 1 tries, 12188 fired transitions, 1100 secs || 12167 markings, 26891 edges, 11 markings/sec, 1100 secs 1 tries, 12243 fired transitions, 1105 secs || 12222 markings, 27056 edges, 11 markings/sec, 1105 secs 1 tries, 12299 fired transitions, 1110 secs || 12278 markings, 27224 edges, 11 markings/sec, 1110 secs 1 tries, 12356 fired transitions, 1115 secs || 12335 markings, 27395 edges, 11 markings/sec, 1115 secs 1 tries, 12412 fired transitions, 1120 secs || 12391 markings, 27528 edges, 11 markings/sec, 1120 secs 1 tries, 12470 fired transitions, 1125 secs || 12449 markings, 27702 edges, 12 markings/sec, 1125 secs 1 tries, 12527 fired transitions, 1130 secs || 12506 markings, 27873 edges, 11 markings/sec, 1130 secs 1 tries, 12584 fired transitions, 1135 secs || 12563 markings, 28044 edges, 11 markings/sec, 1135 secs 1 tries, 12641 fired transitions, 1140 secs || 12620 markings, 28215 edges, 11 markings/sec, 1140 secs 1 tries, 12698 fired transitions, 1145 secs || 12677 markings, 28386 edges, 11 markings/sec, 1145 secs 1 tries, 12755 fired transitions, 1150 secs || 12734 markings, 28557 edges, 11 markings/sec, 1150 secs 1 tries, 12812 fired transitions, 1155 secs || 12791 markings, 28728 edges, 11 markings/sec, 1155 secs 1 tries, 12870 fired transitions, 1160 secs || 12848 markings, 28899 edges, 11 markings/sec, 1160 secs 1 tries, 12926 fired transitions, 1165 secs || 12905 markings, 29070 edges, 11 markings/sec, 1165 secs 1 tries, 12983 fired transitions, 1170 secs || 12962 markings, 29241 edges, 11 markings/sec, 1170 secs 1 tries, 13040 fired transitions, 1175 secs || 13019 markings, 29412 edges, 11 markings/sec, 1175 secs 1 tries, 13097 fired transitions, 1180 secs || 13076 markings, 29583 edges, 11 markings/sec, 1180 secs 1 tries, 13154 fired transitions, 1185 secs || 13133 markings, 29754 edges, 11 markings/sec, 1185 secs 1 tries, 13211 fired transitions, 1190 secs || 13190 markings, 29925 edges, 11 markings/sec, 1190 secs 1 tries, 13266 fired transitions, 1195 secs || 13247 markings, 30096 edges, 11 markings/sec, 1195 secs 1 tries, 13321 fired transitions, 1200 secs || 13302 markings, 30226 edges, 11 markings/sec, 1200 secs 1 tries, 13376 fired transitions, 1205 secs || 13357 markings, 30391 edges, 11 markings/sec, 1205 secs 1 tries, 13432 fired transitions, 1210 secs || 13413 markings, 30559 edges, 11 markings/sec, 1210 secs 1 tries, 13487 fired transitions, 1215 secs || 13468 markings, 30724 edges, 11 markings/sec, 1215 secs 1 tries, 13542 fired transitions, 1220 secs || 13523 markings, 30886 edges, 11 markings/sec, 1220 secs 1 tries, 13598 fired transitions, 1225 secs || 13579 markings, 31054 edges, 11 markings/sec, 1225 secs 1 tries, 13651 fired transitions, 1230 secs || 13634 markings, 31219 edges, 11 markings/sec, 1230 secs 1 tries, 13707 fired transitions, 1235 secs || 13690 markings, 31387 edges, 11 markings/sec, 1235 secs 1 tries, 13762 fired transitions, 1240 secs || 13745 markings, 31552 edges, 11 markings/sec, 1240 secs 1 tries, 13818 fired transitions, 1245 secs || 13801 markings, 31720 edges, 11 markings/sec, 1245 secs 1 tries, 13874 fired transitions, 1250 secs || 13857 markings, 31888 edges, 11 markings/sec, 1250 secs 1 tries, 13930 fired transitions, 1255 secs || 13913 markings, 32056 edges, 11 markings/sec, 1255 secs 1 tries, 13986 fired transitions, 1260 secs || 13969 markings, 32224 edges, 11 markings/sec, 1260 secs 1 tries, 14042 fired transitions, 1265 secs || 14025 markings, 32392 edges, 11 markings/sec, 1265 secs 1 tries, 14098 fired transitions, 1270 secs || 14081 markings, 32560 edges, 11 markings/sec, 1270 secs 1 tries, 14153 fired transitions, 1275 secs || 14136 markings, 32725 edges, 11 markings/sec, 1275 secs 1 tries, 14209 fired transitions, 1280 secs || 14192 markings, 32859 edges, 11 markings/sec, 1280 secs 1 tries, 14264 fired transitions, 1285 secs || 14247 markings, 33025 edges, 11 markings/sec, 1285 secs 1 tries, 14320 fired transitions, 1290 secs || 14303 markings, 33193 edges, 11 markings/sec, 1290 secs 1 tries, 14375 fired transitions, 1295 secs || 14358 markings, 33358 edges, 11 markings/sec, 1295 secs 1 tries, 14430 fired transitions, 1300 secs || 14413 markings, 33523 edges, 11 markings/sec, 1300 secs 1 tries, 14486 fired transitions, 1305 secs || 14469 markings, 33691 edges, 11 markings/sec, 1305 secs 1 tries, 14541 fired transitions, 1310 secs || 14524 markings, 33856 edges, 11 markings/sec, 1310 secs 1 tries, 14596 fired transitions, 1315 secs || 14579 markings, 34021 edges, 11 markings/sec, 1315 secs 1 tries, 14652 fired transitions, 1320 secs || 14635 markings, 34189 edges, 11 markings/sec, 1320 secs 1 tries, 14707 fired transitions, 1325 secs || 14690 markings, 34354 edges, 11 markings/sec, 1325 secs 1 tries, 14762 fired transitions, 1330 secs || 14745 markings, 34519 edges, 11 markings/sec, 1330 secs 1 tries, 14817 fired transitions, 1335 secs || 14800 markings, 34684 edges, 11 markings/sec, 1335 secs 1 tries, 14873 fired transitions, 1340 secs || 14856 markings, 34852 edges, 11 markings/sec, 1340 secs 1 tries, 14928 fired transitions, 1345 secs || 14911 markings, 35017 edges, 11 markings/sec, 1345 secs 1 tries, 14982 fired transitions, 1350 secs || 14965 markings, 35179 edges, 11 markings/sec, 1350 secs 1 tries, 15036 fired transitions, 1355 secs || 15019 markings, 35309 edges, 11 markings/sec, 1355 secs 1 tries, 15089 fired transitions, 1360 secs || 15072 markings, 35468 edges, 11 markings/sec, 1360 secs 1 tries, 15141 fired transitions, 1365 secs || 15123 markings, 35621 edges, 10 markings/sec, 1365 secs 1 tries, 15194 fired transitions, 1370 secs || 15176 markings, 35780 edges, 11 markings/sec, 1370 secs 1 tries, 15247 fired transitions, 1375 secs || 15229 markings, 35939 edges, 11 markings/sec, 1375 secs 1 tries, 15300 fired transitions, 1380 secs || 15282 markings, 36098 edges, 11 markings/sec, 1380 secs 1 tries, 15354 fired transitions, 1385 secs || 15336 markings, 36260 edges, 11 markings/sec, 1385 secs 1 tries, 15409 fired transitions, 1390 secs || 15391 markings, 36425 edges, 11 markings/sec, 1390 secs 1 tries, 15462 fired transitions, 1395 secs || 15445 markings, 36587 edges, 11 markings/sec, 1395 secs 1 tries, 15515 fired transitions, 1400 secs || 15498 markings, 36746 edges, 11 markings/sec, 1400 secs 1 tries, 15565 fired transitions, 1405 secs || 15548 markings, 36896 edges, 10 markings/sec, 1405 secs 1 tries, 15611 fired transitions, 1410 secs || 15598 markings, 37046 edges, 10 markings/sec, 1410 secs 1 tries, 15657 fired transitions, 1415 secs || 15646 markings, 37190 edges, 10 markings/sec, 1415 secs 1 tries, 15703 fired transitions, 1420 secs || 15694 markings, 37334 edges, 10 markings/sec, 1420 secs 1 tries, 15752 fired transitions, 1425 secs || 15742 markings, 37478 edges, 10 markings/sec, 1425 secs 1 tries, 15799 fired transitions, 1430 secs || 15789 markings, 37613 edges, 9 markings/sec, 1430 secs 1 tries, 15848 fired transitions, 1435 secs || 15838 markings, 37735 edges, 10 markings/sec, 1435 secs 1 tries, 15894 fired transitions, 1440 secs || 15885 markings, 37876 edges, 9 markings/sec, 1440 secs 1 tries, 15942 fired transitions, 1445 secs || 15934 markings, 38023 edges, 10 markings/sec, 1445 secs 1 tries, 15990 fired transitions, 1450 secs || 15982 markings, 38167 edges, 10 markings/sec, 1450 secs 1 tries, 16038 fired transitions, 1455 secs || 16030 markings, 38311 edges, 10 markings/sec, 1455 secs 1 tries, 16086 fired transitions, 1460 secs || 16078 markings, 38454 edges, 10 markings/sec, 1460 secs 1 tries, 16134 fired transitions, 1465 secs || 16126 markings, 38598 edges, 10 markings/sec, 1465 secs 1 tries, 16181 fired transitions, 1470 secs || 16173 markings, 38739 edges, 9 markings/sec, 1470 secs 1 tries, 16229 fired transitions, 1475 secs || 16221 markings, 38883 edges, 10 markings/sec, 1475 secs 1 tries, 16277 fired transitions, 1480 secs || 16269 markings, 39027 edges, 10 markings/sec, 1480 secs 1 tries, 16329 fired transitions, 1485 secs || 16321 markings, 39183 edges, 10 markings/sec, 1485 secs 1 tries, 16381 fired transitions, 1490 secs || 16373 markings, 39339 edges, 10 markings/sec, 1490 secs 1 tries, 16433 fired transitions, 1495 secs || 16425 markings, 39495 edges, 10 markings/sec, 1495 secs 1 tries, 16485 fired transitions, 1500 secs || 16477 markings, 39651 edges, 10 markings/sec, 1500 secs 1 tries, 16537 fired transitions, 1505 secs || 16529 markings, 39807 edges, 10 markings/sec, 1505 secs 1 tries, 16589 fired transitions, 1510 secs || 16581 markings, 39932 edges, 10 markings/sec, 1510 secs 1 tries, 16641 fired transitions, 1515 secs || 16633 markings, 40088 edges, 10 markings/sec, 1515 secs 1 tries, 16693 fired transitions, 1520 secs || 16685 markings, 40245 edges, 10 markings/sec, 1520 secs 1 tries, 16745 fired transitions, 1525 secs || 16737 markings, 40401 edges, 10 markings/sec, 1525 secs 1 tries, 16797 fired transitions, 1530 secs || 16789 markings, 40557 edges, 10 markings/sec, 1530 secs 1 tries, 16849 fired transitions, 1535 secs || 16841 markings, 40713 edges, 10 markings/sec, 1535 secs 1 tries, 16901 fired transitions, 1540 secs || 16893 markings, 40869 edges, 10 markings/sec, 1540 secs 1 tries, 16953 fired transitions, 1545 secs || 16945 markings, 41025 edges, 10 markings/sec, 1545 secs 1 tries, 17005 fired transitions, 1550 secs || 16997 markings, 41181 edges, 10 markings/sec, 1550 secs 1 tries, 17057 fired transitions, 1555 secs || 17049 markings, 41337 edges, 10 markings/sec, 1555 secs 1 tries, 17109 fired transitions, 1560 secs || 17101 markings, 41493 edges, 10 markings/sec, 1560 secs 1 tries, 17161 fired transitions, 1565 secs || 17153 markings, 41649 edges, 10 markings/sec, 1565 secs 1 tries, 17212 fired transitions, 1570 secs || 17204 markings, 41802 edges, 10 markings/sec, 1570 secs 1 tries, 17264 fired transitions, 1575 secs || 17256 markings, 41958 edges, 10 markings/sec, 1575 secs 1 tries, 17315 fired transitions, 1580 secs || 17308 markings, 42083 edges, 10 markings/sec, 1580 secs 1 tries, 17367 fired transitions, 1585 secs || 17359 markings, 42237 edges, 10 markings/sec, 1585 secs 1 tries, 17419 fired transitions, 1590 secs || 17411 markings, 42394 edges, 10 markings/sec, 1590 secs 1 tries, 17471 fired transitions, 1595 secs || 17463 markings, 42550 edges, 10 markings/sec, 1595 secs 1 tries, 17523 fired transitions, 1600 secs || 17515 markings, 42706 edges, 10 markings/sec, 1600 secs 1 tries, 17575 fired transitions, 1605 secs || 17567 markings, 42862 edges, 10 markings/sec, 1605 secs 1 tries, 17627 fired transitions, 1610 secs || 17619 markings, 43018 edges, 10 markings/sec, 1610 secs 1 tries, 17679 fired transitions, 1615 secs || 17671 markings, 43174 edges, 10 markings/sec, 1615 secs 1 tries, 17731 fired transitions, 1620 secs || 17723 markings, 43330 edges, 10 markings/sec, 1620 secs 1 tries, 17779 fired transitions, 1625 secs || 17771 markings, 43474 edges, 10 markings/sec, 1625 secs 1 tries, 17828 fired transitions, 1630 secs || 17820 markings, 43621 edges, 10 markings/sec, 1630 secs 1 tries, 17878 fired transitions, 1635 secs || 17870 markings, 43771 edges, 10 markings/sec, 1635 secs 1 tries, 17926 fired transitions, 1640 secs || 17918 markings, 43915 edges, 10 markings/sec, 1640 secs 1 tries, 17975 fired transitions, 1645 secs || 17965 markings, 44032 edges, 9 markings/sec, 1645 secs 1 tries, 18021 fired transitions, 1650 secs || 18013 markings, 44170 edges, 10 markings/sec, 1650 secs 1 tries, 18069 fired transitions, 1655 secs || 18061 markings, 44315 edges, 10 markings/sec, 1655 secs 1 tries, 18118 fired transitions, 1660 secs || 18110 markings, 44463 edges, 10 markings/sec, 1660 secs 1 tries, 18164 fired transitions, 1665 secs || 18159 markings, 44610 edges, 10 markings/sec, 1665 secs 1 tries, 18211 fired transitions, 1670 secs || 18207 markings, 44754 edges, 10 markings/sec, 1670 secs 1 tries, 18257 fired transitions, 1675 secs || 18256 markings, 44901 edges, 10 markings/sec, 1675 secs 1 tries, 18306 fired transitions, 1680 secs || 18304 markings, 45045 edges, 10 markings/sec, 1680 secs 1 tries, 18354 fired transitions, 1685 secs || 18352 markings, 45189 edges, 10 markings/sec, 1685 secs 1 tries, 18402 fired transitions, 1690 secs || 18400 markings, 45333 edges, 10 markings/sec, 1690 secs 1 tries, 18451 fired transitions, 1695 secs || 18449 markings, 45480 edges, 10 markings/sec, 1695 secs 1 tries, 18500 fired transitions, 1700 secs || 18498 markings, 45627 edges, 10 markings/sec, 1700 secs 1 tries, 18551 fired transitions, 1705 secs || 18549 markings, 45780 edges, 10 markings/sec, 1705 secs 1 tries, 18603 fired transitions, 1710 secs || 18601 markings, 45920 edges, 10 markings/sec, 1710 secs 1 tries, 18655 fired transitions, 1715 secs || 18653 markings, 46065 edges, 10 markings/sec, 1715 secs 1 tries, 18707 fired transitions, 1720 secs || 18705 markings, 46221 edges, 10 markings/sec, 1720 secs 1 tries, 18759 fired transitions, 1725 secs || 18757 markings, 46377 edges, 10 markings/sec, 1725 secs 1 tries, 18810 fired transitions, 1730 secs || 18808 markings, 46530 edges, 10 markings/sec, 1730 secs 1 tries, 18862 fired transitions, 1735 secs || 18861 markings, 46689 edges, 11 markings/sec, 1735 secs 1 tries, 18915 fired transitions, 1740 secs || 18913 markings, 46845 edges, 10 markings/sec, 1740 secs 1 tries, 18967 fired transitions, 1745 secs || 18965 markings, 47001 edges, 10 markings/sec, 1745 secs 1 tries, 19019 fired transitions, 1750 secs || 19017 markings, 47157 edges, 10 markings/sec, 1750 secs 1 tries, 19072 fired transitions, 1755 secs || 19070 markings, 47316 edges, 11 markings/sec, 1755 secs 1 tries, 19124 fired transitions, 1760 secs || 19122 markings, 47472 edges, 10 markings/sec, 1760 secs 1 tries, 19175 fired transitions, 1765 secs || 19173 markings, 47625 edges, 10 markings/sec, 1765 secs 1 tries, 19227 fired transitions, 1770 secs || 19225 markings, 47755 edges, 10 markings/sec, 1770 secs 1 tries, 19279 fired transitions, 1775 secs || 19277 markings, 47911 edges, 10 markings/sec, 1775 secs 1 tries, 19332 fired transitions, 1780 secs || 19330 markings, 48070 edges, 11 markings/sec, 1780 secs 1 tries, 19380 fired transitions, 1785 secs || 19381 markings, 48223 edges, 10 markings/sec, 1785 secs 1 tries, 19430 fired transitions, 1790 secs || 19431 markings, 48373 edges, 10 markings/sec, 1790 secs 1 tries, 19482 fired transitions, 1795 secs || 19483 markings, 48529 edges, 10 markings/sec, 1795 secs 1 tries, 19534 fired transitions, 1800 secs || 19535 markings, 48685 edges, 10 markings/sec, 1800 secs 1 tries, 19586 fired transitions, 1805 secs || 19587 markings, 48841 edges, 10 markings/sec, 1805 secs 1 tries, 19638 fired transitions, 1810 secs || 19639 markings, 48997 edges, 10 markings/sec, 1810 secs 1 tries, 19690 fired transitions, 1815 secs || 19691 markings, 49153 edges, 10 markings/sec, 1815 secs 1 tries, 19741 fired transitions, 1820 secs || 19742 markings, 49306 edges, 10 markings/sec, 1820 secs 1 tries, 19793 fired transitions, 1825 secs || 19794 markings, 49437 edges, 10 markings/sec, 1825 secs 1 tries, 19845 fired transitions, 1830 secs || 19846 markings, 49593 edges, 10 markings/sec, 1830 secs 1 tries, 19897 fired transitions, 1835 secs || 19898 markings, 49749 edges, 10 markings/sec, 1835 secs 1 tries, 19949 fired transitions, 1840 secs || 19950 markings, 49905 edges, 10 markings/sec, 1840 secs 1 tries, 19996 fired transitions, 1845 secs || 20002 markings, 50061 edges, 10 markings/sec, 1845 secs 1 tries, 20048 fired transitions, 1850 secs || 20054 markings, 50217 edges, 10 markings/sec, 1850 secs 1 tries, 20099 fired transitions, 1855 secs || 20105 markings, 50370 edges, 10 markings/sec, 1855 secs 1 tries, 20151 fired transitions, 1860 secs || 20157 markings, 50526 edges, 10 markings/sec, 1860 secs 1 tries, 20203 fired transitions, 1865 secs || 20209 markings, 50682 edges, 10 markings/sec, 1865 secs 1 tries, 20255 fired transitions, 1870 secs || 20261 markings, 50838 edges, 10 markings/sec, 1870 secs 1 tries, 20307 fired transitions, 1875 secs || 20313 markings, 50986 edges, 10 markings/sec, 1875 secs 1 tries, 20359 fired transitions, 1880 secs || 20365 markings, 51126 edges, 10 markings/sec, 1880 secs 1 tries, 20411 fired transitions, 1885 secs || 20417 markings, 51282 edges, 10 markings/sec, 1885 secs 1 tries, 20460 fired transitions, 1890 secs || 20468 markings, 51435 edges, 10 markings/sec, 1890 secs 1 tries, 20512 fired transitions, 1895 secs || 20520 markings, 51591 edges, 10 markings/sec, 1895 secs 1 tries, 20564 fired transitions, 1900 secs || 20572 markings, 51747 edges, 10 markings/sec, 1900 secs 1 tries, 20617 fired transitions, 1905 secs || 20625 markings, 51906 edges, 11 markings/sec, 1905 secs 1 tries, 20664 fired transitions, 1910 secs || 20677 markings, 52062 edges, 10 markings/sec, 1910 secs 1 tries, 20716 fired transitions, 1915 secs || 20729 markings, 52218 edges, 10 markings/sec, 1915 secs 1 tries, 20768 fired transitions, 1920 secs || 20781 markings, 52374 edges, 10 markings/sec, 1920 secs 1 tries, 20820 fired transitions, 1925 secs || 20833 markings, 52508 edges, 10 markings/sec, 1925 secs 1 tries, 20872 fired transitions, 1930 secs || 20885 markings, 52663 edges, 10 markings/sec, 1930 secs 1 tries, 20923 fired transitions, 1935 secs || 20936 markings, 52816 edges, 10 markings/sec, 1935 secs 1 tries, 20975 fired transitions, 1940 secs || 20988 markings, 52972 edges, 10 markings/sec, 1940 secs 1 tries, 21027 fired transitions, 1945 secs || 21040 markings, 53128 edges, 10 markings/sec, 1945 secs 1 tries, 21080 fired transitions, 1950 secs || 21093 markings, 53287 edges, 11 markings/sec, 1950 secs 1 tries, 21131 fired transitions, 1955 secs || 21144 markings, 53440 edges, 10 markings/sec, 1955 secs 1 tries, 21183 fired transitions, 1960 secs || 21196 markings, 53596 edges, 10 markings/sec, 1960 secs 1 tries, 21234 fired transitions, 1965 secs || 21247 markings, 53749 edges, 10 markings/sec, 1965 secs 1 tries, 21285 fired transitions, 1970 secs || 21298 markings, 53889 edges, 10 markings/sec, 1970 secs 1 tries, 21336 fired transitions, 1975 secs || 21351 markings, 54039 edges, 11 markings/sec, 1975 secs 1 tries, 21386 fired transitions, 1980 secs || 21403 markings, 54195 edges, 10 markings/sec, 1980 secs 1 tries, 21435 fired transitions, 1985 secs || 21455 markings, 54351 edges, 10 markings/sec, 1985 secs 1 tries, 21487 fired transitions, 1990 secs || 21507 markings, 54507 edges, 10 markings/sec, 1990 secs 1 tries, 21540 fired transitions, 1995 secs || 21560 markings, 54666 edges, 11 markings/sec, 1995 secs 1 tries, 21588 fired transitions, 2000 secs || 21611 markings, 54819 edges, 10 markings/sec, 2000 secs 1 tries, 21640 fired transitions, 2005 secs || 21663 markings, 54975 edges, 10 markings/sec, 2005 secs 1 tries, 21692 fired transitions, 2010 secs || 21715 markings, 55131 edges, 10 markings/sec, 2010 secs 1 tries, 21739 fired transitions, 2015 secs || 21767 markings, 55266 edges, 10 markings/sec, 2015 secs 1 tries, 21791 fired transitions, 2020 secs || 21820 markings, 55425 edges, 11 markings/sec, 2020 secs 1 tries, 21841 fired transitions, 2025 secs || 21871 markings, 55578 edges, 10 markings/sec, 2025 secs 1 tries, 21894 fired transitions, 2030 secs || 21924 markings, 55737 edges, 11 markings/sec, 2030 secs 1 tries, 21946 fired transitions, 2035 secs || 21976 markings, 55893 edges, 10 markings/sec, 2035 secs 1 tries, 21998 fired transitions, 2040 secs || 22028 markings, 56049 edges, 10 markings/sec, 2040 secs 1 tries, 22049 fired transitions, 2045 secs || 22079 markings, 56202 edges, 10 markings/sec, 2045 secs 1 tries, 22101 fired transitions, 2050 secs || 22131 markings, 56358 edges, 10 markings/sec, 2050 secs 1 tries, 22153 fired transitions, 2055 secs || 22183 markings, 56494 edges, 10 markings/sec, 2055 secs 1 tries, 22205 fired transitions, 2060 secs || 22235 markings, 56650 edges, 10 markings/sec, 2060 secs 1 tries, 22257 fired transitions, 2065 secs || 22287 markings, 56806 edges, 10 markings/sec, 2065 secs 1 tries, 22309 fired transitions, 2070 secs || 22339 markings, 56962 edges, 10 markings/sec, 2070 secs 1 tries, 22361 fired transitions, 2075 secs || 22391 markings, 57118 edges, 10 markings/sec, 2075 secs 1 tries, 22413 fired transitions, 2080 secs || 22443 markings, 57274 edges, 10 markings/sec, 2080 secs 1 tries, 22465 fired transitions, 2085 secs || 22498 markings, 57439 edges, 11 markings/sec, 2085 secs 1 tries, 22508 fired transitions, 2090 secs || 22552 markings, 57582 edges, 11 markings/sec, 2090 secs 1 tries, 22549 fired transitions, 2095 secs || 22605 markings, 57741 edges, 11 markings/sec, 2095 secs 1 tries, 22591 fired transitions, 2100 secs || 22659 markings, 57903 edges, 11 markings/sec, 2100 secs 1 tries, 22632 fired transitions, 2105 secs || 22713 markings, 58065 edges, 11 markings/sec, 2105 secs 1 tries, 22673 fired transitions, 2110 secs || 22766 markings, 58224 edges, 11 markings/sec, 2110 secs 1 tries, 22714 fired transitions, 2115 secs || 22819 markings, 58383 edges, 11 markings/sec, 2115 secs 1 tries, 22767 fired transitions, 2120 secs || 22862 markings, 58512 edges, 9 markings/sec, 2120 secs 1 tries, 22821 fired transitions, 2125 secs || 22907 markings, 58627 edges, 9 markings/sec, 2125 secs 1 tries, 22875 fired transitions, 2130 secs || 22956 markings, 58775 edges, 10 markings/sec, 2130 secs 1 tries, 22929 fired transitions, 2135 secs || 23000 markings, 58908 edges, 9 markings/sec, 2135 secs 1 tries, 22982 fired transitions, 2140 secs || 23042 markings, 59034 edges, 8 markings/sec, 2140 secs 1 tries, 23035 fired transitions, 2145 secs || 23085 markings, 59163 edges, 9 markings/sec, 2145 secs 1 tries, 23089 fired transitions, 2150 secs || 23128 markings, 59292 edges, 9 markings/sec, 2150 secs 1 tries, 23142 fired transitions, 2155 secs || 23170 markings, 59418 edges, 8 markings/sec, 2155 secs 1 tries, 23195 fired transitions, 2160 secs || 23213 markings, 59544 edges, 9 markings/sec, 2160 secs 1 tries, 23249 fired transitions, 2165 secs || 23256 markings, 59658 edges, 9 markings/sec, 2165 secs 1 tries, 23302 fired transitions, 2170 secs || 23299 markings, 59788 edges, 9 markings/sec, 2170 secs 1 tries, 23355 fired transitions, 2175 secs || 23347 markings, 59932 edges, 10 markings/sec, 2175 secs 1 tries, 23409 fired transitions, 2180 secs || 23393 markings, 60070 edges, 9 markings/sec, 2180 secs 1 tries, 23462 fired transitions, 2185 secs || 23436 markings, 60199 edges, 9 markings/sec, 2185 secs 1 tries, 23515 fired transitions, 2190 secs || 23479 markings, 60328 edges, 9 markings/sec, 2190 secs 1 tries, 23569 fired transitions, 2195 secs || 23521 markings, 60446 edges, 8 markings/sec, 2195 secs 1 tries, 23622 fired transitions, 2200 secs || 23564 markings, 60567 edges, 9 markings/sec, 2200 secs 1 tries, 23676 fired transitions, 2205 secs || 23607 markings, 60696 edges, 9 markings/sec, 2205 secs 1 tries, 23729 fired transitions, 2210 secs || 23650 markings, 60825 edges, 9 markings/sec, 2210 secs 1 tries, 23783 fired transitions, 2215 secs || 23693 markings, 60954 edges, 9 markings/sec, 2215 secs 1 tries, 23836 fired transitions, 2220 secs || 23736 markings, 61083 edges, 9 markings/sec, 2220 secs 1 tries, 23890 fired transitions, 2225 secs || 23786 markings, 61233 edges, 10 markings/sec, 2225 secs 1 tries, 23944 fired transitions, 2230 secs || 23830 markings, 61350 edges, 9 markings/sec, 2230 secs 1 tries, 23995 fired transitions, 2235 secs || 23872 markings, 61476 edges, 8 markings/sec, 2235 secs 1 tries, 24048 fired transitions, 2240 secs || 23915 markings, 61605 edges, 9 markings/sec, 2240 secs 1 tries, 24102 fired transitions, 2245 secs || 23958 markings, 61734 edges, 9 markings/sec, 2245 secs 1 tries, 24155 fired transitions, 2250 secs || 24001 markings, 61863 edges, 9 markings/sec, 2250 secs 1 tries, 24209 fired transitions, 2255 secs || 24043 markings, 61989 edges, 8 markings/sec, 2255 secs 1 tries, 24262 fired transitions, 2260 secs || 24086 markings, 62104 edges, 9 markings/sec, 2260 secs 1 tries, 24315 fired transitions, 2265 secs || 24132 markings, 62242 edges, 9 markings/sec, 2265 secs 1 tries, 24369 fired transitions, 2270 secs || 24180 markings, 62386 edges, 10 markings/sec, 2270 secs 1 tries, 24423 fired transitions, 2275 secs || 24223 markings, 62515 edges, 9 markings/sec, 2275 secs 1 tries, 24477 fired transitions, 2280 secs || 24266 markings, 62644 edges, 9 markings/sec, 2280 secs 1 tries, 24531 fired transitions, 2285 secs || 24308 markings, 62757 edges, 8 markings/sec, 2285 secs 1 tries, 24584 fired transitions, 2290 secs || 24351 markings, 62886 edges, 9 markings/sec, 2290 secs 1 tries, 24637 fired transitions, 2295 secs || 24394 markings, 63015 edges, 9 markings/sec, 2295 secs 1 tries, 24690 fired transitions, 2300 secs || 24437 markings, 63144 edges, 9 markings/sec, 2300 secs 1 tries, 24743 fired transitions, 2305 secs || 24480 markings, 63273 edges, 9 markings/sec, 2305 secs 1 tries, 24796 fired transitions, 2310 secs || 24523 markings, 63390 edges, 9 markings/sec, 2310 secs 1 tries, 24850 fired transitions, 2315 secs || 24572 markings, 63537 edges, 10 markings/sec, 2315 secs 1 tries, 24904 fired transitions, 2320 secs || 24617 markings, 63672 edges, 9 markings/sec, 2320 secs 1 tries, 24957 fired transitions, 2325 secs || 24660 markings, 63801 edges, 9 markings/sec, 2325 secs 1 tries, 25011 fired transitions, 2330 secs || 24702 markings, 63915 edges, 8 markings/sec, 2330 secs 1 tries, 25064 fired transitions, 2335 secs || 24745 markings, 64045 edges, 9 markings/sec, 2335 secs 1 tries, 25117 fired transitions, 2340 secs || 24788 markings, 64174 edges, 9 markings/sec, 2340 secs 1 tries, 25170 fired transitions, 2345 secs || 24831 markings, 64303 edges, 9 markings/sec, 2345 secs 1 tries, 25223 fired transitions, 2350 secs || 24874 markings, 64422 edges, 9 markings/sec, 2350 secs 1 tries, 25276 fired transitions, 2355 secs || 24917 markings, 64551 edges, 9 markings/sec, 2355 secs 1 tries, 25329 fired transitions, 2360 secs || 24960 markings, 64680 edges, 9 markings/sec, 2360 secs 1 tries, 25382 fired transitions, 2365 secs || 25002 markings, 64796 edges, 8 markings/sec, 2365 secs 1 tries, 25436 fired transitions, 2370 secs || 25046 markings, 64928 edges, 9 markings/sec, 2370 secs 1 tries, 25489 fired transitions, 2375 secs || 25089 markings, 65058 edges, 9 markings/sec, 2375 secs 1 tries, 25542 fired transitions, 2380 secs || 25132 markings, 65179 edges, 9 markings/sec, 2380 secs 1 tries, 25595 fired transitions, 2385 secs || 25175 markings, 65308 edges, 9 markings/sec, 2385 secs 1 tries, 25648 fired transitions, 2390 secs || 25218 markings, 65437 edges, 9 markings/sec, 2390 secs 1 tries, 25702 fired transitions, 2395 secs || 25261 markings, 65558 edges, 9 markings/sec, 2395 secs 1 tries, 25755 fired transitions, 2400 secs || 25304 markings, 65688 edges, 9 markings/sec, 2400 secs 1 tries, 25808 fired transitions, 2405 secs || 25347 markings, 65809 edges, 9 markings/sec, 2405 secs 1 tries, 25861 fired transitions, 2410 secs || 25390 markings, 65939 edges, 9 markings/sec, 2410 secs 1 tries, 25914 fired transitions, 2415 secs || 25433 markings, 66064 edges, 9 markings/sec, 2415 secs 1 tries, 25968 fired transitions, 2420 secs || 25476 markings, 66193 edges, 9 markings/sec, 2420 secs 1 tries, 26021 fired transitions, 2425 secs || 25519 markings, 66318 edges, 9 markings/sec, 2425 secs 1 tries, 26064 fired transitions, 2430 secs || 25560 markings, 66438 edges, 8 markings/sec, 2430 secs 1 tries, 26117 fired transitions, 2435 secs || 25603 markings, 66565 edges, 9 markings/sec, 2435 secs 1 tries, 26170 fired transitions, 2440 secs || 25647 markings, 66696 edges, 9 markings/sec, 2440 secs 1 tries, 26224 fired transitions, 2445 secs || 25689 markings, 66754 edges, 8 markings/sec, 2445 secs 1 tries, 26278 fired transitions, 2450 secs || 25732 markings, 66870 edges, 9 markings/sec, 2450 secs 1 tries, 26331 fired transitions, 2455 secs || 25775 markings, 67007 edges, 9 markings/sec, 2455 secs 1 tries, 26375 fired transitions, 2460 secs || 25817 markings, 67142 edges, 8 markings/sec, 2460 secs 1 tries, 26428 fired transitions, 2465 secs || 25860 markings, 67279 edges, 9 markings/sec, 2465 secs 1 tries, 26481 fired transitions, 2470 secs || 25903 markings, 67417 edges, 9 markings/sec, 2470 secs 1 tries, 26534 fired transitions, 2475 secs || 25946 markings, 67513 edges, 9 markings/sec, 2475 secs 1 tries, 26587 fired transitions, 2480 secs || 25988 markings, 67585 edges, 8 markings/sec, 2480 secs 1 tries, 26641 fired transitions, 2485 secs || 26031 markings, 67725 edges, 9 markings/sec, 2485 secs 1 tries, 26694 fired transitions, 2490 secs || 26075 markings, 67868 edges, 9 markings/sec, 2490 secs 1 tries, 26747 fired transitions, 2495 secs || 26118 markings, 68008 edges, 9 markings/sec, 2495 secs 1 tries, 26801 fired transitions, 2500 secs || 26161 markings, 68138 edges, 9 markings/sec, 2500 secs 1 tries, 26854 fired transitions, 2505 secs || 26204 markings, 68186 edges, 9 markings/sec, 2505 secs 1 tries, 26908 fired transitions, 2510 secs || 26247 markings, 68329 edges, 9 markings/sec, 2510 secs 1 tries, 26961 fired transitions, 2515 secs || 26290 markings, 68471 edges, 9 markings/sec, 2515 secs 1 tries, 27015 fired transitions, 2520 secs || 26333 markings, 68612 edges, 9 markings/sec, 2520 secs 1 tries, 27069 fired transitions, 2525 secs || 26380 markings, 68715 edges, 9 markings/sec, 2525 secs 1 tries, 27123 fired transitions, 2530 secs || 26426 markings, 68806 edges, 9 markings/sec, 2530 secs 1 tries, 27177 fired transitions, 2535 secs || 26468 markings, 68921 edges, 8 markings/sec, 2535 secs 1 tries, 27231 fired transitions, 2540 secs || 26510 markings, 69047 edges, 8 markings/sec, 2540 secs 1 tries, 27285 fired transitions, 2545 secs || 26552 markings, 69173 edges, 8 markings/sec, 2545 secs 1 tries, 27339 fired transitions, 2550 secs || 26594 markings, 69299 edges, 8 markings/sec, 2550 secs 1 tries, 27392 fired transitions, 2555 secs || 26637 markings, 69428 edges, 9 markings/sec, 2555 secs 1 tries, 27446 fired transitions, 2560 secs || 26680 markings, 69557 edges, 9 markings/sec, 2560 secs 1 tries, 27500 fired transitions, 2565 secs || 26722 markings, 69683 edges, 8 markings/sec, 2565 secs 1 tries, 27554 fired transitions, 2570 secs || 26771 markings, 69826 edges, 10 markings/sec, 2570 secs 1 tries, 27608 fired transitions, 2575 secs || 26815 markings, 69958 edges, 9 markings/sec, 2575 secs 1 tries, 27662 fired transitions, 2580 secs || 26858 markings, 70087 edges, 9 markings/sec, 2580 secs 1 tries, 27715 fired transitions, 2585 secs || 26900 markings, 70213 edges, 8 markings/sec, 2585 secs 1 tries, 27768 fired transitions, 2590 secs || 26943 markings, 70342 edges, 9 markings/sec, 2590 secs 1 tries, 27822 fired transitions, 2595 secs || 26986 markings, 70464 edges, 9 markings/sec, 2595 secs 1 tries, 27875 fired transitions, 2600 secs || 27029 markings, 70588 edges, 9 markings/sec, 2600 secs 1 tries, 27929 fired transitions, 2605 secs || 27072 markings, 70717 edges, 9 markings/sec, 2605 secs 1 tries, 27982 fired transitions, 2610 secs || 27114 markings, 70841 edges, 8 markings/sec, 2610 secs 1 tries, 28036 fired transitions, 2615 secs || 27162 markings, 70984 edges, 10 markings/sec, 2615 secs 1 tries, 28090 fired transitions, 2620 secs || 27208 markings, 71122 edges, 9 markings/sec, 2620 secs 1 tries, 28143 fired transitions, 2625 secs || 27251 markings, 71251 edges, 9 markings/sec, 2625 secs 1 tries, 28197 fired transitions, 2630 secs || 27293 markings, 71377 edges, 8 markings/sec, 2630 secs 1 tries, 28250 fired transitions, 2635 secs || 27336 markings, 71506 edges, 9 markings/sec, 2635 secs 1 tries, 28304 fired transitions, 2640 secs || 27378 markings, 71630 edges, 8 markings/sec, 2640 secs 1 tries, 28357 fired transitions, 2645 secs || 27421 markings, 71754 edges, 9 markings/sec, 2645 secs 1 tries, 28410 fired transitions, 2650 secs || 27464 markings, 71880 edges, 9 markings/sec, 2650 secs 1 tries, 28463 fired transitions, 2655 secs || 27507 markings, 72008 edges, 9 markings/sec, 2655 secs 1 tries, 28517 fired transitions, 2660 secs || 27556 markings, 72152 edges, 10 markings/sec, 2660 secs 1 tries, 28570 fired transitions, 2665 secs || 27601 markings, 72287 edges, 9 markings/sec, 2665 secs 1 tries, 28624 fired transitions, 2670 secs || 27643 markings, 72378 edges, 8 markings/sec, 2670 secs 1 tries, 28677 fired transitions, 2675 secs || 27684 markings, 72457 edges, 8 markings/sec, 2675 secs 1 tries, 28731 fired transitions, 2680 secs || 27726 markings, 72568 edges, 8 markings/sec, 2680 secs 1 tries, 28785 fired transitions, 2685 secs || 27769 markings, 72691 edges, 9 markings/sec, 2685 secs 1 tries, 28839 fired transitions, 2690 secs || 27811 markings, 72815 edges, 8 markings/sec, 2690 secs 1 tries, 28893 fired transitions, 2695 secs || 27854 markings, 72928 edges, 9 markings/sec, 2695 secs 1 tries, 28947 fired transitions, 2700 secs || 27897 markings, 73030 edges, 9 markings/sec, 2700 secs 1 tries, 29001 fired transitions, 2705 secs || 27947 markings, 73150 edges, 10 markings/sec, 2705 secs 1 tries, 29056 fired transitions, 2710 secs || 27991 markings, 73267 edges, 9 markings/sec, 2710 secs 1 tries, 29109 fired transitions, 2715 secs || 28033 markings, 73375 edges, 8 markings/sec, 2715 secs 1 tries, 29163 fired transitions, 2720 secs || 28076 markings, 73475 edges, 9 markings/sec, 2720 secs 1 tries, 29216 fired transitions, 2725 secs || 28118 markings, 73585 edges, 8 markings/sec, 2725 secs 1 tries, 29270 fired transitions, 2730 secs || 28162 markings, 73709 edges, 9 markings/sec, 2730 secs 1 tries, 29323 fired transitions, 2735 secs || 28205 markings, 73830 edges, 9 markings/sec, 2735 secs 1 tries, 29377 fired transitions, 2740 secs || 28248 markings, 73943 edges, 9 markings/sec, 2740 secs 1 tries, 29431 fired transitions, 2745 secs || 28294 markings, 74071 edges, 9 markings/sec, 2745 secs 1 tries, 29485 fired transitions, 2750 secs || 28342 markings, 74197 edges, 10 markings/sec, 2750 secs 1 tries, 29539 fired transitions, 2755 secs || 28385 markings, 74323 edges, 9 markings/sec, 2755 secs 1 tries, 29593 fired transitions, 2760 secs || 28427 markings, 74439 edges, 8 markings/sec, 2760 secs 1 tries, 29647 fired transitions, 2765 secs || 28469 markings, 74565 edges, 8 markings/sec, 2765 secs 1 tries, 29701 fired transitions, 2770 secs || 28512 markings, 74694 edges, 9 markings/sec, 2770 secs 1 tries, 29754 fired transitions, 2775 secs || 28555 markings, 74817 edges, 9 markings/sec, 2775 secs reached - aborting 661500 KB 2784 seconds

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="TokenRing-COL-050"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/TokenRing-COL-050.tgz
mv TokenRing-COL-050 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is TokenRing-COL-050, 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 r172-smll-152708743200286"
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 ;