MCC'2018 - Execution of r064-smll-152649735200104

About the Execution of LoLA for DLCround-PT-10a

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
5461.720	3570839.00	7181708.00	7085.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 824K
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc users
-rw-r--r-- 1 mcc
==
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-10a,
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 1526645401140

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

BK_STOP 1526648971979

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

be ready (probing ssh) ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... users 4.0K May 15 18:54 CTLCardinality.txt 25K May 15 18:54 CTLCardinality.xml users 2.3K May 15 18:54 CTLFireability.txt 15K 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.4K May 15 18:54 LTLCardinality.txt 11K May 15 18:54 LTLCardinality.xml users 1.8K May 15 18:54 LTLFireability.txt users 7.9K May 15 18:54 LTLFireability.xml users 3.4K May 15 18:54 ReachabilityCardinality.txt 17K May 15 18:54 ReachabilityCardinality.xml 106 May 15 18:54 ReachabilityDeadlock.txt 344 May 15 18:54 ReachabilityDeadlock.xml users 2.7K May 15 18:54 ReachabilityFireability.txt 16K 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 660K May 15 18:50 model.pnml =================================================================== examination is ReachabilityDeadlock is 3600 seconds is 16384 MBytes is r064-smll-152649735200104 ============================================= analysis generated by BenchKit (invocation template) is a vector of booleans used to build the result vector(from text file) -10a-ReachabilityDeadlock-0 of the tool begins =================================================================== DLCround-PT-10a Petri net model.pnml into LoLA format =================================================================== PT Petri net complete =================================================================== DLCround-PT-10a formula ReachabilityDeadlock into LoLA format =================================================================== PT formula complete ReachabilityDeadlock @ DLCround-PT-10a @ 3570 seconds run for 3570 seconds at most (--timelimit) net from model.pnml.lola net file model.pnml.lola symbol table entries, 207 collisions significant places 2605 transitions, 124 significant places forward-conflicting sets back-conflicting sets conflict sets formula from DLCround-PT-10a-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) 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 with 37574 variables and 162460 clauses shipped to Minisat 70 generators (26 in search tree, 44 by composition) 1.53281E+10 symmetries branches visited in search tree siphon/trap property does not hold 1 tries, 8961 fired transitions, 0 secs || 8432 markings, 699691 edges, 1686 markings/sec, 0 secs 1 tries, 19867 fired transitions, 5 secs || 19670 markings, 1532860 edges, 2248 markings/sec, 5 secs 1 tries, 30180 fired transitions, 10 secs || 29756 markings, 2351865 edges, 2017 markings/sec, 10 secs 1 tries, 40470 fired transitions, 15 secs || 40870 markings, 3185165 edges, 2223 markings/sec, 15 secs 1 tries, 51368 fired transitions, 20 secs || 51598 markings, 4020466 edges, 2146 markings/sec, 20 secs 1 tries, 61459 fired transitions, 25 secs || 62822 markings, 4853952 edges, 2245 markings/sec, 25 secs 1 tries, 72363 fired transitions, 30 secs || 72772 markings, 5681904 edges, 1990 markings/sec, 30 secs 1 tries, 81819 fired transitions, 35 secs || 83325 markings, 6518478 edges, 2111 markings/sec, 35 secs 1 tries, 92121 fired transitions, 40 secs || 94211 markings, 7350946 edges, 2177 markings/sec, 40 secs 1 tries, 103070 fired transitions, 45 secs || 106179 markings, 8182048 edges, 2394 markings/sec, 45 secs 1 tries, 113476 fired transitions, 50 secs || 116492 markings, 9006903 edges, 2063 markings/sec, 50 secs 1 tries, 124456 fired transitions, 55 secs || 127818 markings, 9834233 edges, 2265 markings/sec, 55 secs 1 tries, 135422 fired transitions, 60 secs || 139983 markings, 10674947 edges, 2433 markings/sec, 60 secs 1 tries, 145740 fired transitions, 65 secs || 150422 markings, 11506118 edges, 2088 markings/sec, 65 secs 1 tries, 156809 fired transitions, 70 secs || 161268 markings, 12336601 edges, 2169 markings/sec, 70 secs 1 tries, 167064 fired transitions, 75 secs || 172233 markings, 13161487 edges, 2193 markings/sec, 75 secs 1 tries, 177691 fired transitions, 80 secs || 182322 markings, 13998839 edges, 2018 markings/sec, 80 secs 1 tries, 188651 fired transitions, 85 secs || 193106 markings, 14832298 edges, 2157 markings/sec, 85 secs 1 tries, 199080 fired transitions, 90 secs || 203617 markings, 15657327 edges, 2102 markings/sec, 90 secs 1 tries, 209947 fired transitions, 95 secs || 214859 markings, 16489370 edges, 2248 markings/sec, 95 secs 1 tries, 220857 fired transitions, 100 secs || 227148 markings, 17332233 edges, 2458 markings/sec, 100 secs 1 tries, 231847 fired transitions, 105 secs || 239727 markings, 18177122 edges, 2516 markings/sec, 105 secs 1 tries, 242721 fired transitions, 110 secs || 251443 markings, 19025019 edges, 2343 markings/sec, 110 secs 1 tries, 253713 fired transitions, 115 secs || 264700 markings, 19875284 edges, 2651 markings/sec, 115 secs 1 tries, 264048 fired transitions, 120 secs || 277753 markings, 20724776 edges, 2611 markings/sec, 120 secs 1 tries, 274270 fired transitions, 125 secs || 288564 markings, 21554404 edges, 2162 markings/sec, 125 secs 1 tries, 285044 fired transitions, 130 secs || 301327 markings, 22392313 edges, 2553 markings/sec, 130 secs 1 tries, 295933 fired transitions, 135 secs || 312283 markings, 23228778 edges, 2191 markings/sec, 135 secs 1 tries, 306881 fired transitions, 140 secs || 323799 markings, 24070733 edges, 2303 markings/sec, 140 secs 1 tries, 317877 fired transitions, 145 secs || 338145 markings, 24926684 edges, 2869 markings/sec, 145 secs 1 tries, 328834 fired transitions, 150 secs || 349338 markings, 25728747 edges, 2239 markings/sec, 150 secs 1 tries, 339416 fired transitions, 155 secs || 359208 markings, 26559093 edges, 1974 markings/sec, 155 secs 1 tries, 349581 fired transitions, 160 secs || 369862 markings, 27383049 edges, 2131 markings/sec, 160 secs 1 tries, 360305 fired transitions, 165 secs || 379819 markings, 28207754 edges, 1991 markings/sec, 165 secs 1 tries, 371185 fired transitions, 170 secs || 389280 markings, 29006000 edges, 1892 markings/sec, 170 secs 1 tries, 381694 fired transitions, 175 secs || 399961 markings, 29848473 edges, 2136 markings/sec, 175 secs 1 tries, 392619 fired transitions, 180 secs || 411692 markings, 30693990 edges, 2346 markings/sec, 180 secs 1 tries, 402536 fired transitions, 185 secs || 423004 markings, 31545869 edges, 2262 markings/sec, 185 secs 1 tries, 412631 fired transitions, 190 secs || 434522 markings, 32390857 edges, 2304 markings/sec, 190 secs 1 tries, 423405 fired transitions, 195 secs || 447424 markings, 33249746 edges, 2580 markings/sec, 195 secs 1 tries, 431966 fired transitions, 200 secs || 459289 markings, 34097534 edges, 2373 markings/sec, 200 secs 1 tries, 442680 fired transitions, 205 secs || 469373 markings, 34856012 edges, 2017 markings/sec, 205 secs 1 tries, 453578 fired transitions, 210 secs || 482256 markings, 35706246 edges, 2577 markings/sec, 210 secs 1 tries, 464637 fired transitions, 215 secs || 494149 markings, 36514993 edges, 2379 markings/sec, 215 secs 1 tries, 475661 fired transitions, 220 secs || 507589 markings, 37372585 edges, 2688 markings/sec, 220 secs 1 tries, 486737 fired transitions, 225 secs || 520720 markings, 38232819 edges, 2626 markings/sec, 225 secs 1 tries, 497756 fired transitions, 230 secs || 533335 markings, 39086421 edges, 2523 markings/sec, 230 secs 1 tries, 508789 fired transitions, 235 secs || 546266 markings, 39934678 edges, 2586 markings/sec, 235 secs 1 tries, 519919 fired transitions, 240 secs || 557462 markings, 40775762 edges, 2239 markings/sec, 240 secs 1 tries, 530999 fired transitions, 245 secs || 570520 markings, 41630548 edges, 2612 markings/sec, 245 secs 1 tries, 542088 fired transitions, 250 secs || 583997 markings, 42488268 edges, 2695 markings/sec, 250 secs 1 tries, 553080 fired transitions, 255 secs || 595303 markings, 43279380 edges, 2261 markings/sec, 255 secs 1 tries, 564054 fired transitions, 260 secs || 606508 markings, 44069622 edges, 2241 markings/sec, 260 secs 1 tries, 575092 fired transitions, 265 secs || 616041 markings, 44837520 edges, 1907 markings/sec, 265 secs 1 tries, 586090 fired transitions, 270 secs || 627265 markings, 45546588 edges, 2245 markings/sec, 270 secs 1 tries, 597035 fired transitions, 275 secs || 638766 markings, 46297846 edges, 2300 markings/sec, 275 secs 1 tries, 607899 fired transitions, 280 secs || 649549 markings, 47143505 edges, 2157 markings/sec, 280 secs 1 tries, 618817 fired transitions, 285 secs || 660432 markings, 47972052 edges, 2177 markings/sec, 285 secs 1 tries, 629839 fired transitions, 290 secs || 675508 markings, 48826791 edges, 3015 markings/sec, 290 secs 1 tries, 640816 fired transitions, 295 secs || 687374 markings, 49637022 edges, 2373 markings/sec, 295 secs 1 tries, 651896 fired transitions, 300 secs || 698598 markings, 50478119 edges, 2245 markings/sec, 300 secs 1 tries, 662965 fired transitions, 305 secs || 710035 markings, 51321226 edges, 2287 markings/sec, 305 secs 1 tries, 674030 fired transitions, 310 secs || 722955 markings, 52182875 edges, 2584 markings/sec, 310 secs 1 tries, 685146 fired transitions, 315 secs || 735877 markings, 53038394 edges, 2584 markings/sec, 315 secs 1 tries, 695369 fired transitions, 320 secs || 749840 markings, 53901097 edges, 2793 markings/sec, 320 secs 1 tries, 705605 fired transitions, 325 secs || 761793 markings, 54747909 edges, 2391 markings/sec, 325 secs 1 tries, 716087 fired transitions, 330 secs || 773598 markings, 55595402 edges, 2361 markings/sec, 330 secs 1 tries, 726387 fired transitions, 335 secs || 787959 markings, 56461991 edges, 2872 markings/sec, 335 secs 1 tries, 737325 fired transitions, 340 secs || 802291 markings, 57333158 edges, 2866 markings/sec, 340 secs 1 tries, 747145 fired transitions, 345 secs || 813662 markings, 58171874 edges, 2274 markings/sec, 345 secs 1 tries, 757099 fired transitions, 350 secs || 824363 markings, 59004020 edges, 2140 markings/sec, 350 secs 1 tries, 767998 fired transitions, 355 secs || 835722 markings, 59847883 edges, 2272 markings/sec, 355 secs 1 tries, 779056 fired transitions, 360 secs || 848165 markings, 60713244 edges, 2489 markings/sec, 360 secs 1 tries, 789962 fired transitions, 365 secs || 860943 markings, 61574540 edges, 2556 markings/sec, 365 secs 1 tries, 800824 fired transitions, 370 secs || 872663 markings, 62419169 edges, 2344 markings/sec, 370 secs 1 tries, 811744 fired transitions, 375 secs || 885286 markings, 63267656 edges, 2525 markings/sec, 375 secs 1 tries, 822613 fired transitions, 380 secs || 898440 markings, 64124370 edges, 2631 markings/sec, 380 secs 1 tries, 832928 fired transitions, 385 secs || 908205 markings, 64962974 edges, 1953 markings/sec, 385 secs 1 tries, 843406 fired transitions, 390 secs || 920979 markings, 65816934 edges, 2555 markings/sec, 390 secs 1 tries, 854363 fired transitions, 395 secs || 933888 markings, 66665656 edges, 2582 markings/sec, 395 secs 1 tries, 865391 fired transitions, 400 secs || 946297 markings, 67503066 edges, 2482 markings/sec, 400 secs 1 tries, 875873 fired transitions, 405 secs || 958515 markings, 68347896 edges, 2444 markings/sec, 405 secs 1 tries, 886878 fired transitions, 410 secs || 967960 markings, 69135946 edges, 1889 markings/sec, 410 secs 1 tries, 897961 fired transitions, 415 secs || 977841 markings, 69968344 edges, 1976 markings/sec, 415 secs 1 tries, 909086 fired transitions, 420 secs || 989430 markings, 70807248 edges, 2318 markings/sec, 420 secs 1 tries, 920121 fired transitions, 425 secs || 1001597 markings, 71650894 edges, 2433 markings/sec, 425 secs 1 tries, 931127 fired transitions, 430 secs || 1011494 markings, 72470156 edges, 1979 markings/sec, 430 secs 1 tries, 942218 fired transitions, 435 secs || 1021429 markings, 73285898 edges, 1987 markings/sec, 435 secs 1 tries, 953301 fired transitions, 440 secs || 1032168 markings, 74116082 edges, 2148 markings/sec, 440 secs 1 tries, 964328 fired transitions, 445 secs || 1041519 markings, 74912459 edges, 1870 markings/sec, 445 secs 1 tries, 975208 fired transitions, 450 secs || 1053015 markings, 75757299 edges, 2299 markings/sec, 450 secs 1 tries, 986099 fired transitions, 455 secs || 1066627 markings, 76610961 edges, 2722 markings/sec, 455 secs 1 tries, 997063 fired transitions, 460 secs || 1079761 markings, 77459742 edges, 2627 markings/sec, 460 secs 2 tries, 1007943 fired transitions, 465 secs || 1092036 markings, 78306627 edges, 2455 markings/sec, 465 secs 2 tries, 1018854 fired transitions, 470 secs || 1103224 markings, 79145755 edges, 2238 markings/sec, 470 secs 2 tries, 1029855 fired transitions, 475 secs || 1115762 markings, 79961921 edges, 2508 markings/sec, 475 secs 2 tries, 1040748 fired transitions, 480 secs || 1126046 markings, 80730909 edges, 2057 markings/sec, 480 secs 2 tries, 1051694 fired transitions, 485 secs || 1138176 markings, 81574865 edges, 2426 markings/sec, 485 secs 2 tries, 1062629 fired transitions, 490 secs || 1153092 markings, 82433724 edges, 2983 markings/sec, 490 secs 2 tries, 1073606 fired transitions, 495 secs || 1166685 markings, 83290373 edges, 2719 markings/sec, 495 secs 2 tries, 1084616 fired transitions, 500 secs || 1176725 markings, 84022184 edges, 2008 markings/sec, 500 secs 2 tries, 1095657 fired transitions, 505 secs || 1187568 markings, 84770471 edges, 2169 markings/sec, 505 secs 2 tries, 1106805 fired transitions, 510 secs || 1200243 markings, 85620431 edges, 2535 markings/sec, 510 secs 2 tries, 1117895 fired transitions, 515 secs || 1212608 markings, 86471253 edges, 2473 markings/sec, 515 secs 2 tries, 1129007 fired transitions, 520 secs || 1223835 markings, 87266625 edges, 2245 markings/sec, 520 secs 2 tries, 1140093 fired transitions, 525 secs || 1235318 markings, 88111764 edges, 2297 markings/sec, 525 secs 2 tries, 1151183 fired transitions, 530 secs || 1247570 markings, 88953407 edges, 2450 markings/sec, 530 secs 2 tries, 1162306 fired transitions, 535 secs || 1258526 markings, 89790003 edges, 2191 markings/sec, 535 secs 2 tries, 1173366 fired transitions, 540 secs || 1269920 markings, 90640062 edges, 2279 markings/sec, 540 secs 2 tries, 1184391 fired transitions, 545 secs || 1283096 markings, 91498180 edges, 2635 markings/sec, 545 secs 2 tries, 1195460 fired transitions, 550 secs || 1298183 markings, 92367402 edges, 3017 markings/sec, 550 secs 2 tries, 1206484 fired transitions, 555 secs || 1314613 markings, 93244525 edges, 3286 markings/sec, 555 secs 2 tries, 1217578 fired transitions, 560 secs || 1326714 markings, 94087710 edges, 2420 markings/sec, 560 secs 2 tries, 1228581 fired transitions, 565 secs || 1341512 markings, 94952769 edges, 2960 markings/sec, 565 secs 2 tries, 1239678 fired transitions, 570 secs || 1356280 markings, 95807678 edges, 2954 markings/sec, 570 secs 2 tries, 1250790 fired transitions, 575 secs || 1371005 markings, 96665055 edges, 2945 markings/sec, 575 secs 2 tries, 1261837 fired transitions, 580 secs || 1383248 markings, 97524435 edges, 2449 markings/sec, 580 secs 2 tries, 1272932 fired transitions, 585 secs || 1397505 markings, 98379146 edges, 2851 markings/sec, 585 secs 2 tries, 1283081 fired transitions, 590 secs || 1411171 markings, 99228720 edges, 2733 markings/sec, 590 secs 2 tries, 1293521 fired transitions, 595 secs || 1424588 markings, 100079602 edges, 2683 markings/sec, 595 secs 2 tries, 1304520 fired transitions, 600 secs || 1438224 markings, 100936483 edges, 2727 markings/sec, 600 secs 2 tries, 1315497 fired transitions, 605 secs || 1450441 markings, 101794351 edges, 2443 markings/sec, 605 secs 2 tries, 1325579 fired transitions, 610 secs || 1462508 markings, 102640482 edges, 2413 markings/sec, 610 secs 2 tries, 1336579 fired transitions, 615 secs || 1474430 markings, 103488793 edges, 2384 markings/sec, 615 secs 2 tries, 1346712 fired transitions, 620 secs || 1486149 markings, 104347352 edges, 2344 markings/sec, 620 secs 2 tries, 1357658 fired transitions, 625 secs || 1500136 markings, 105211042 edges, 2797 markings/sec, 625 secs 2 tries, 1368612 fired transitions, 630 secs || 1516616 markings, 106080866 edges, 3296 markings/sec, 630 secs 2 tries, 1379527 fired transitions, 635 secs || 1529797 markings, 106937078 edges, 2636 markings/sec, 635 secs 2 tries, 1389468 fired transitions, 640 secs || 1542107 markings, 107784301 edges, 2462 markings/sec, 640 secs 2 tries, 1400370 fired transitions, 645 secs || 1555602 markings, 108641376 edges, 2699 markings/sec, 645 secs 2 tries, 1411306 fired transitions, 650 secs || 1568382 markings, 109491209 edges, 2556 markings/sec, 650 secs 2 tries, 1422261 fired transitions, 655 secs || 1580024 markings, 110334854 edges, 2328 markings/sec, 655 secs 2 tries, 1432772 fired transitions, 660 secs || 1591887 markings, 111182739 edges, 2373 markings/sec, 660 secs 2 tries, 1442708 fired transitions, 665 secs || 1604793 markings, 112029426 edges, 2581 markings/sec, 665 secs 2 tries, 1453666 fired transitions, 670 secs || 1618396 markings, 112879411 edges, 2721 markings/sec, 670 secs 2 tries, 1464602 fired transitions, 675 secs || 1628633 markings, 113715454 edges, 2047 markings/sec, 675 secs 2 tries, 1475611 fired transitions, 680 secs || 1639664 markings, 114544472 edges, 2206 markings/sec, 680 secs 2 tries, 1486583 fired transitions, 685 secs || 1649552 markings, 115372310 edges, 1978 markings/sec, 685 secs 2 tries, 1497514 fired transitions, 690 secs || 1658950 markings, 116162394 edges, 1880 markings/sec, 690 secs 2 tries, 1507195 fired transitions, 695 secs || 1669686 markings, 116995440 edges, 2147 markings/sec, 695 secs 2 tries, 1515785 fired transitions, 700 secs || 1681194 markings, 117834286 edges, 2302 markings/sec, 700 secs 2 tries, 1525139 fired transitions, 705 secs || 1692785 markings, 118675983 edges, 2318 markings/sec, 705 secs 2 tries, 1534531 fired transitions, 710 secs || 1703574 markings, 119509062 edges, 2158 markings/sec, 710 secs 2 tries, 1545329 fired transitions, 715 secs || 1716039 markings, 120357278 edges, 2493 markings/sec, 715 secs 2 tries, 1556372 fired transitions, 720 secs || 1728877 markings, 121212986 edges, 2568 markings/sec, 720 secs 2 tries, 1566924 fired transitions, 725 secs || 1742178 markings, 122069090 edges, 2660 markings/sec, 725 secs 2 tries, 1577817 fired transitions, 730 secs || 1754340 markings, 122910918 edges, 2432 markings/sec, 730 secs 2 tries, 1588786 fired transitions, 735 secs || 1766287 markings, 123748257 edges, 2389 markings/sec, 735 secs 2 tries, 1599769 fired transitions, 740 secs || 1777239 markings, 124579182 edges, 2190 markings/sec, 740 secs 2 tries, 1610749 fired transitions, 745 secs || 1789552 markings, 125417986 edges, 2463 markings/sec, 745 secs 2 tries, 1621599 fired transitions, 750 secs || 1801402 markings, 126261211 edges, 2370 markings/sec, 750 secs 2 tries, 1632666 fired transitions, 755 secs || 1815718 markings, 127113206 edges, 2863 markings/sec, 755 secs 2 tries, 1642380 fired transitions, 760 secs || 1829854 markings, 127925445 edges, 2827 markings/sec, 760 secs 2 tries, 1652813 fired transitions, 765 secs || 1843519 markings, 128766064 edges, 2733 markings/sec, 765 secs 2 tries, 1663895 fired transitions, 770 secs || 1856896 markings, 129617411 edges, 2675 markings/sec, 770 secs 2 tries, 1674284 fired transitions, 775 secs || 1869746 markings, 130454147 edges, 2570 markings/sec, 775 secs 2 tries, 1684761 fired transitions, 780 secs || 1882636 markings, 131302462 edges, 2578 markings/sec, 780 secs 2 tries, 1695735 fired transitions, 785 secs || 1898561 markings, 132175085 edges, 3185 markings/sec, 785 secs 2 tries, 1706737 fired transitions, 790 secs || 1910915 markings, 133027380 edges, 2471 markings/sec, 790 secs 2 tries, 1717830 fired transitions, 795 secs || 1924980 markings, 133886860 edges, 2813 markings/sec, 795 secs 2 tries, 1727930 fired transitions, 800 secs || 1937450 markings, 134729654 edges, 2494 markings/sec, 800 secs 2 tries, 1738904 fired transitions, 805 secs || 1951154 markings, 135578951 edges, 2741 markings/sec, 805 secs 2 tries, 1748260 fired transitions, 810 secs || 1966381 markings, 136444865 edges, 3045 markings/sec, 810 secs 2 tries, 1758486 fired transitions, 815 secs || 1979789 markings, 137302962 edges, 2682 markings/sec, 815 secs 2 tries, 1769448 fired transitions, 820 secs || 1996163 markings, 138168691 edges, 3275 markings/sec, 820 secs 2 tries, 1779102 fired transitions, 825 secs || 2009345 markings, 139018833 edges, 2636 markings/sec, 825 secs 2 tries, 1790088 fired transitions, 830 secs || 2022158 markings, 139868478 edges, 2563 markings/sec, 830 secs 2 tries, 1800495 fired transitions, 835 secs || 2034313 markings, 140702319 edges, 2431 markings/sec, 835 secs 2 tries, 1810939 fired transitions, 840 secs || 2046705 markings, 141541412 edges, 2478 markings/sec, 840 secs 2 tries, 1820722 fired transitions, 845 secs || 2059881 markings, 142387940 edges, 2635 markings/sec, 845 secs 2 tries, 1831626 fired transitions, 850 secs || 2072079 markings, 143222983 edges, 2440 markings/sec, 850 secs 2 tries, 1842544 fired transitions, 855 secs || 2082950 markings, 144042132 edges, 2174 markings/sec, 855 secs 2 tries, 1852610 fired transitions, 860 secs || 2097108 markings, 144899958 edges, 2832 markings/sec, 860 secs 2 tries, 1863530 fired transitions, 865 secs || 2108792 markings, 145740447 edges, 2337 markings/sec, 865 secs 2 tries, 1874501 fired transitions, 870 secs || 2122928 markings, 146594487 edges, 2827 markings/sec, 870 secs 2 tries, 1885346 fired transitions, 875 secs || 2136667 markings, 147445252 edges, 2748 markings/sec, 875 secs 2 tries, 1896256 fired transitions, 880 secs || 2148170 markings, 148274469 edges, 2301 markings/sec, 880 secs 2 tries, 1906540 fired transitions, 885 secs || 2158578 markings, 149102004 edges, 2082 markings/sec, 885 secs 2 tries, 1917534 fired transitions, 890 secs || 2173311 markings, 149968085 edges, 2947 markings/sec, 890 secs 2 tries, 1928517 fired transitions, 895 secs || 2186340 markings, 150828729 edges, 2606 markings/sec, 895 secs 2 tries, 1939434 fired transitions, 900 secs || 2199051 markings, 151681228 edges, 2542 markings/sec, 900 secs 2 tries, 1950409 fired transitions, 905 secs || 2213310 markings, 152551496 edges, 2852 markings/sec, 905 secs 2 tries, 1961309 fired transitions, 910 secs || 2224076 markings, 153389977 edges, 2153 markings/sec, 910 secs 2 tries, 1972300 fired transitions, 915 secs || 2238923 markings, 154257269 edges, 2969 markings/sec, 915 secs 2 tries, 1983239 fired transitions, 920 secs || 2253222 markings, 155126101 edges, 2860 markings/sec, 920 secs 2 tries, 1994231 fired transitions, 925 secs || 2267285 markings, 155997116 edges, 2813 markings/sec, 925 secs 3 tries, 2005215 fired transitions, 930 secs || 2282017 markings, 156871531 edges, 2946 markings/sec, 930 secs 3 tries, 2016263 fired transitions, 935 secs || 2294155 markings, 157713383 edges, 2428 markings/sec, 935 secs 3 tries, 2027226 fired transitions, 940 secs || 2307666 markings, 158586583 edges, 2702 markings/sec, 940 secs 3 tries, 2038174 fired transitions, 945 secs || 2322619 markings, 159457146 edges, 2991 markings/sec, 945 secs 3 tries, 2049242 fired transitions, 950 secs || 2334414 markings, 160308899 edges, 2359 markings/sec, 950 secs 3 tries, 2060264 fired transitions, 955 secs || 2345789 markings, 161162007 edges, 2275 markings/sec, 955 secs 3 tries, 2071278 fired transitions, 960 secs || 2361624 markings, 162034085 edges, 3167 markings/sec, 960 secs 3 tries, 2082237 fired transitions, 965 secs || 2376904 markings, 162893197 edges, 3056 markings/sec, 965 secs 3 tries, 2093182 fired transitions, 970 secs || 2392034 markings, 163763244 edges, 3026 markings/sec, 970 secs 3 tries, 2104198 fired transitions, 975 secs || 2403330 markings, 164610921 edges, 2259 markings/sec, 975 secs 3 tries, 2115181 fired transitions, 980 secs || 2416600 markings, 165473112 edges, 2654 markings/sec, 980 secs 3 tries, 2126230 fired transitions, 985 secs || 2429135 markings, 166323048 edges, 2507 markings/sec, 985 secs 3 tries, 2137233 fired transitions, 990 secs || 2441288 markings, 167178160 edges, 2431 markings/sec, 990 secs 3 tries, 2148189 fired transitions, 995 secs || 2455873 markings, 168044376 edges, 2917 markings/sec, 995 secs 3 tries, 2159176 fired transitions, 1000 secs || 2473032 markings, 168929801 edges, 3432 markings/sec, 1000 secs 3 tries, 2170142 fired transitions, 1005 secs || 2484153 markings, 169766759 edges, 2224 markings/sec, 1005 secs 3 tries, 2181104 fired transitions, 1010 secs || 2497490 markings, 170634717 edges, 2667 markings/sec, 1010 secs 3 tries, 2192071 fired transitions, 1015 secs || 2510993 markings, 171495733 edges, 2701 markings/sec, 1015 secs 3 tries, 2203087 fired transitions, 1020 secs || 2524010 markings, 172357247 edges, 2603 markings/sec, 1020 secs 3 tries, 2214118 fired transitions, 1025 secs || 2540421 markings, 173233997 edges, 3282 markings/sec, 1025 secs 3 tries, 2225045 fired transitions, 1030 secs || 2554627 markings, 174093445 edges, 2841 markings/sec, 1030 secs 3 tries, 2236010 fired transitions, 1035 secs || 2564733 markings, 174936831 edges, 2021 markings/sec, 1035 secs 3 tries, 2246945 fired transitions, 1040 secs || 2575623 markings, 175780921 edges, 2178 markings/sec, 1040 secs 3 tries, 2257914 fired transitions, 1045 secs || 2585660 markings, 176621123 edges, 2007 markings/sec, 1045 secs 3 tries, 2268915 fired transitions, 1050 secs || 2595857 markings, 177450834 edges, 2039 markings/sec, 1050 secs 3 tries, 2279935 fired transitions, 1055 secs || 2605716 markings, 178291817 edges, 1972 markings/sec, 1055 secs 3 tries, 2290901 fired transitions, 1060 secs || 2617002 markings, 179143692 edges, 2257 markings/sec, 1060 secs 3 tries, 2301866 fired transitions, 1065 secs || 2629009 markings, 179994518 edges, 2401 markings/sec, 1065 secs 3 tries, 2312807 fired transitions, 1070 secs || 2639803 markings, 180842655 edges, 2159 markings/sec, 1070 secs 3 tries, 2323716 fired transitions, 1075 secs || 2650163 markings, 181675049 edges, 2072 markings/sec, 1075 secs 3 tries, 2334610 fired transitions, 1080 secs || 2661701 markings, 182523133 edges, 2308 markings/sec, 1080 secs 3 tries, 2345620 fired transitions, 1085 secs || 2671995 markings, 183354822 edges, 2059 markings/sec, 1085 secs 3 tries, 2356068 fired transitions, 1090 secs || 2682803 markings, 184189051 edges, 2162 markings/sec, 1090 secs 3 tries, 2366520 fired transitions, 1095 secs || 2693713 markings, 185020335 edges, 2182 markings/sec, 1095 secs 3 tries, 2376803 fired transitions, 1100 secs || 2704272 markings, 185852662 edges, 2112 markings/sec, 1100 secs 3 tries, 2385972 fired transitions, 1105 secs || 2715407 markings, 186699464 edges, 2227 markings/sec, 1105 secs 3 tries, 2396076 fired transitions, 1110 secs || 2726481 markings, 187534190 edges, 2215 markings/sec, 1110 secs 3 tries, 2406316 fired transitions, 1115 secs || 2737967 markings, 188369639 edges, 2297 markings/sec, 1115 secs 3 tries, 2416834 fired transitions, 1120 secs || 2750416 markings, 189213451 edges, 2490 markings/sec, 1120 secs 3 tries, 2425674 fired transitions, 1125 secs || 2761676 markings, 190042352 edges, 2252 markings/sec, 1125 secs 3 tries, 2436594 fired transitions, 1130 secs || 2773621 markings, 190882390 edges, 2389 markings/sec, 1130 secs 3 tries, 2446920 fired transitions, 1135 secs || 2784964 markings, 191733095 edges, 2269 markings/sec, 1135 secs 3 tries, 2457830 fired transitions, 1140 secs || 2797147 markings, 192574337 edges, 2437 markings/sec, 1140 secs 3 tries, 2468820 fired transitions, 1145 secs || 2808749 markings, 193410502 edges, 2320 markings/sec, 1145 secs 3 tries, 2479808 fired transitions, 1150 secs || 2819237 markings, 194177618 edges, 2098 markings/sec, 1150 secs 3 tries, 2490785 fired transitions, 1155 secs || 2829816 markings, 195005077 edges, 2116 markings/sec, 1155 secs 3 tries, 2501704 fired transitions, 1160 secs || 2844482 markings, 195856344 edges, 2933 markings/sec, 1160 secs 3 tries, 2512629 fired transitions, 1165 secs || 2858812 markings, 196706805 edges, 2866 markings/sec, 1165 secs 3 tries, 2523645 fired transitions, 1170 secs || 2871712 markings, 197555756 edges, 2580 markings/sec, 1170 secs 3 tries, 2534563 fired transitions, 1175 secs || 2885466 markings, 198396406 edges, 2751 markings/sec, 1175 secs 3 tries, 2544711 fired transitions, 1180 secs || 2898247 markings, 199247074 edges, 2556 markings/sec, 1180 secs 3 tries, 2555812 fired transitions, 1185 secs || 2910136 markings, 200086673 edges, 2378 markings/sec, 1185 secs 3 tries, 2566971 fired transitions, 1190 secs || 2925074 markings, 200939106 edges, 2988 markings/sec, 1190 secs 3 tries, 2578068 fired transitions, 1195 secs || 2939560 markings, 201800243 edges, 2897 markings/sec, 1195 secs 3 tries, 2588393 fired transitions, 1200 secs || 2951151 markings, 202631356 edges, 2318 markings/sec, 1200 secs 3 tries, 2599337 fired transitions, 1205 secs || 2964086 markings, 203452623 edges, 2587 markings/sec, 1205 secs 3 tries, 2609218 fired transitions, 1210 secs || 2978351 markings, 204311232 edges, 2853 markings/sec, 1210 secs 3 tries, 2619662 fired transitions, 1215 secs || 2991909 markings, 205161984 edges, 2712 markings/sec, 1215 secs 3 tries, 2630654 fired transitions, 1220 secs || 3004347 markings, 205999338 edges, 2488 markings/sec, 1220 secs 3 tries, 2641097 fired transitions, 1225 secs || 3016056 markings, 206833794 edges, 2342 markings/sec, 1225 secs 3 tries, 2652109 fired transitions, 1230 secs || 3029184 markings, 207686650 edges, 2626 markings/sec, 1230 secs 3 tries, 2663088 fired transitions, 1235 secs || 3043453 markings, 208551188 edges, 2854 markings/sec, 1235 secs 3 tries, 2674123 fired transitions, 1240 secs || 3057278 markings, 209418846 edges, 2765 markings/sec, 1240 secs 3 tries, 2685075 fired transitions, 1245 secs || 3068001 markings, 210273060 edges, 2145 markings/sec, 1245 secs 3 tries, 2695251 fired transitions, 1250 secs || 3080374 markings, 211126809 edges, 2475 markings/sec, 1250 secs 3 tries, 2706174 fired transitions, 1255 secs || 3096414 markings, 211991429 edges, 3208 markings/sec, 1255 secs 3 tries, 2717189 fired transitions, 1260 secs || 3110103 markings, 212855340 edges, 2738 markings/sec, 1260 secs 3 tries, 2728083 fired transitions, 1265 secs || 3121290 markings, 213690746 edges, 2237 markings/sec, 1265 secs 3 tries, 2737258 fired transitions, 1270 secs || 3134198 markings, 214548973 edges, 2582 markings/sec, 1270 secs 3 tries, 2747502 fired transitions, 1275 secs || 3143970 markings, 215379657 edges, 1954 markings/sec, 1275 secs 3 tries, 2757949 fired transitions, 1280 secs || 3154883 markings, 216212984 edges, 2183 markings/sec, 1280 secs 3 tries, 2768444 fired transitions, 1285 secs || 3167812 markings, 217055064 edges, 2586 markings/sec, 1285 secs 3 tries, 2778893 fired transitions, 1290 secs || 3182553 markings, 217908250 edges, 2948 markings/sec, 1290 secs 3 tries, 2789331 fired transitions, 1295 secs || 3197946 markings, 218767326 edges, 3079 markings/sec, 1295 secs 3 tries, 2800372 fired transitions, 1300 secs || 3210286 markings, 219627161 edges, 2468 markings/sec, 1300 secs 3 tries, 2811288 fired transitions, 1305 secs || 3225178 markings, 220493156 edges, 2978 markings/sec, 1305 secs 3 tries, 2822275 fired transitions, 1310 secs || 3238740 markings, 221356056 edges, 2712 markings/sec, 1310 secs 3 tries, 2833233 fired transitions, 1315 secs || 3251795 markings, 222211065 edges, 2611 markings/sec, 1315 secs 3 tries, 2844205 fired transitions, 1320 secs || 3265985 markings, 223078475 edges, 2838 markings/sec, 1320 secs 3 tries, 2855132 fired transitions, 1325 secs || 3280041 markings, 223872044 edges, 2811 markings/sec, 1325 secs 3 tries, 2866135 fired transitions, 1330 secs || 3293110 markings, 224726785 edges, 2614 markings/sec, 1330 secs 3 tries, 2877072 fired transitions, 1335 secs || 3305983 markings, 225533337 edges, 2575 markings/sec, 1335 secs 3 tries, 2888084 fired transitions, 1340 secs || 3315798 markings, 226302945 edges, 1963 markings/sec, 1340 secs 3 tries, 2899130 fired transitions, 1345 secs || 3327503 markings, 227110833 edges, 2341 markings/sec, 1345 secs 3 tries, 2910175 fired transitions, 1350 secs || 3337763 markings, 227908432 edges, 2052 markings/sec, 1350 secs 3 tries, 2921153 fired transitions, 1355 secs || 3350051 markings, 228747870 edges, 2458 markings/sec, 1355 secs 3 tries, 2932109 fired transitions, 1360 secs || 3361978 markings, 229524899 edges, 2385 markings/sec, 1360 secs 3 tries, 2943027 fired transitions, 1365 secs || 3376300 markings, 230315057 edges, 2864 markings/sec, 1365 secs 3 tries, 2953357 fired transitions, 1370 secs || 3389193 markings, 231099339 edges, 2579 markings/sec, 1370 secs 3 tries, 2964254 fired transitions, 1375 secs || 3400992 markings, 231808908 edges, 2360 markings/sec, 1375 secs 3 tries, 2975217 fired transitions, 1380 secs || 3413128 markings, 232597171 edges, 2427 markings/sec, 1380 secs 3 tries, 2986244 fired transitions, 1385 secs || 3427300 markings, 233406282 edges, 2834 markings/sec, 1385 secs 3 tries, 2997225 fired transitions, 1390 secs || 3439103 markings, 234234827 edges, 2361 markings/sec, 1390 secs 4 tries, 3008241 fired transitions, 1395 secs || 3451452 markings, 235075089 edges, 2470 markings/sec, 1395 secs 4 tries, 3019175 fired transitions, 1400 secs || 3464429 markings, 235885153 edges, 2595 markings/sec, 1400 secs 4 tries, 3030217 fired transitions, 1405 secs || 3477821 markings, 236703610 edges, 2678 markings/sec, 1405 secs 4 tries, 3041139 fired transitions, 1410 secs || 3490774 markings, 237528705 edges, 2591 markings/sec, 1410 secs 4 tries, 3052151 fired transitions, 1415 secs || 3501913 markings, 238305723 edges, 2228 markings/sec, 1415 secs 4 tries, 3063151 fired transitions, 1420 secs || 3517809 markings, 239168653 edges, 3179 markings/sec, 1420 secs 4 tries, 3073684 fired transitions, 1425 secs || 3529664 markings, 239982900 edges, 2371 markings/sec, 1425 secs 4 tries, 3084685 fired transitions, 1430 secs || 3542222 markings, 240760137 edges, 2512 markings/sec, 1430 secs 4 tries, 3095848 fired transitions, 1435 secs || 3555529 markings, 241609126 edges, 2661 markings/sec, 1435 secs 4 tries, 3106964 fired transitions, 1440 secs || 3569042 markings, 242467822 edges, 2703 markings/sec, 1440 secs 4 tries, 3118129 fired transitions, 1445 secs || 3587005 markings, 243343927 edges, 3593 markings/sec, 1445 secs 4 tries, 3129261 fired transitions, 1450 secs || 3598561 markings, 244185551 edges, 2311 markings/sec, 1450 secs 4 tries, 3140398 fired transitions, 1455 secs || 3612829 markings, 245046089 edges, 2854 markings/sec, 1455 secs 4 tries, 3151545 fired transitions, 1460 secs || 3626798 markings, 245880878 edges, 2794 markings/sec, 1460 secs 4 tries, 3162704 fired transitions, 1465 secs || 3638071 markings, 246681488 edges, 2255 markings/sec, 1465 secs 4 tries, 3173824 fired transitions, 1470 secs || 3653689 markings, 247530105 edges, 3124 markings/sec, 1470 secs 4 tries, 3185011 fired transitions, 1475 secs || 3667676 markings, 248385344 edges, 2797 markings/sec, 1475 secs 4 tries, 3196033 fired transitions, 1480 secs || 3682821 markings, 249181561 edges, 3029 markings/sec, 1480 secs 4 tries, 3207088 fired transitions, 1485 secs || 3697997 markings, 250036109 edges, 3035 markings/sec, 1485 secs 4 tries, 3218136 fired transitions, 1490 secs || 3708167 markings, 250808226 edges, 2034 markings/sec, 1490 secs 4 tries, 3229204 fired transitions, 1495 secs || 3718950 markings, 251580637 edges, 2157 markings/sec, 1495 secs 4 tries, 3240320 fired transitions, 1500 secs || 3731477 markings, 252432881 edges, 2505 markings/sec, 1500 secs 4 tries, 3251401 fired transitions, 1505 secs || 3744561 markings, 253225478 edges, 2617 markings/sec, 1505 secs 4 tries, 3262413 fired transitions, 1510 secs || 3761265 markings, 254034580 edges, 3341 markings/sec, 1510 secs 4 tries, 3273306 fired transitions, 1515 secs || 3774391 markings, 254875662 edges, 2625 markings/sec, 1515 secs 4 tries, 3284213 fired transitions, 1520 secs || 3786791 markings, 255723388 edges, 2480 markings/sec, 1520 secs 4 tries, 3293988 fired transitions, 1525 secs || 3798896 markings, 256497812 edges, 2421 markings/sec, 1525 secs 4 tries, 3304938 fired transitions, 1530 secs || 3814516 markings, 257319724 edges, 3124 markings/sec, 1530 secs 4 tries, 3315998 fired transitions, 1535 secs || 3828359 markings, 258173565 edges, 2769 markings/sec, 1535 secs 4 tries, 3326883 fired transitions, 1540 secs || 3841273 markings, 258989903 edges, 2583 markings/sec, 1540 secs 4 tries, 3337837 fired transitions, 1545 secs || 3855877 markings, 259853687 edges, 2921 markings/sec, 1545 secs 4 tries, 3348689 fired transitions, 1550 secs || 3869650 markings, 260705758 edges, 2755 markings/sec, 1550 secs 4 tries, 3359634 fired transitions, 1555 secs || 3881986 markings, 261546678 edges, 2467 markings/sec, 1555 secs 4 tries, 3370604 fired transitions, 1560 secs || 3896988 markings, 262412674 edges, 3000 markings/sec, 1560 secs 4 tries, 3381750 fired transitions, 1565 secs || 3912229 markings, 263277607 edges, 3048 markings/sec, 1565 secs 4 tries, 3392866 fired transitions, 1570 secs || 3927107 markings, 264133385 edges, 2976 markings/sec, 1570 secs 4 tries, 3404079 fired transitions, 1575 secs || 3941192 markings, 264987250 edges, 2817 markings/sec, 1575 secs 4 tries, 3415247 fired transitions, 1580 secs || 3955188 markings, 265828312 edges, 2799 markings/sec, 1580 secs 4 tries, 3426391 fired transitions, 1585 secs || 3969031 markings, 266680385 edges, 2769 markings/sec, 1585 secs 4 tries, 3437529 fired transitions, 1590 secs || 3981152 markings, 267514940 edges, 2424 markings/sec, 1590 secs 4 tries, 3448648 fired transitions, 1595 secs || 3994645 markings, 268366450 edges, 2699 markings/sec, 1595 secs 4 tries, 3459801 fired transitions, 1600 secs || 4007265 markings, 269202903 edges, 2524 markings/sec, 1600 secs 4 tries, 3470979 fired transitions, 1605 secs || 4021579 markings, 270049805 edges, 2863 markings/sec, 1605 secs 4 tries, 3481212 fired transitions, 1610 secs || 4033891 markings, 270893127 edges, 2462 markings/sec, 1610 secs 4 tries, 3492165 fired transitions, 1615 secs || 4048739 markings, 271753812 edges, 2970 markings/sec, 1615 secs 4 tries, 3503063 fired transitions, 1620 secs || 4061050 markings, 272592537 edges, 2462 markings/sec, 1620 secs 4 tries, 3513987 fired transitions, 1625 secs || 4072792 markings, 273436736 edges, 2348 markings/sec, 1625 secs 4 tries, 3524974 fired transitions, 1630 secs || 4084329 markings, 274282871 edges, 2307 markings/sec, 1630 secs 4 tries, 3535911 fired transitions, 1635 secs || 4099204 markings, 275138110 edges, 2975 markings/sec, 1635 secs 4 tries, 3546863 fired transitions, 1640 secs || 4113025 markings, 275988288 edges, 2764 markings/sec, 1640 secs 4 tries, 3557390 fired transitions, 1645 secs || 4125982 markings, 276830440 edges, 2591 markings/sec, 1645 secs 4 tries, 3568367 fired transitions, 1650 secs || 4137171 markings, 277660747 edges, 2238 markings/sec, 1650 secs 4 tries, 3578879 fired transitions, 1655 secs || 4151175 markings, 278512944 edges, 2801 markings/sec, 1655 secs 4 tries, 3589146 fired transitions, 1660 secs || 4166934 markings, 279375994 edges, 3152 markings/sec, 1660 secs 4 tries, 3600035 fired transitions, 1665 secs || 4181519 markings, 280224768 edges, 2917 markings/sec, 1665 secs 4 tries, 3611056 fired transitions, 1670 secs || 4195373 markings, 281072085 edges, 2771 markings/sec, 1670 secs 4 tries, 3622165 fired transitions, 1675 secs || 4210094 markings, 281928758 edges, 2944 markings/sec, 1675 secs 4 tries, 3633196 fired transitions, 1680 secs || 4223119 markings, 282784711 edges, 2605 markings/sec, 1680 secs 4 tries, 3643201 fired transitions, 1685 secs || 4236341 markings, 283638447 edges, 2644 markings/sec, 1685 secs 4 tries, 3652922 fired transitions, 1690 secs || 4248028 markings, 284485125 edges, 2337 markings/sec, 1690 secs 4 tries, 3663980 fired transitions, 1695 secs || 4262986 markings, 285343121 edges, 2992 markings/sec, 1695 secs 4 tries, 3674315 fired transitions, 1700 secs || 4278133 markings, 286202547 edges, 3029 markings/sec, 1700 secs 4 tries, 3685140 fired transitions, 1705 secs || 4293222 markings, 287064535 edges, 3018 markings/sec, 1705 secs 4 tries, 3695582 fired transitions, 1710 secs || 4305622 markings, 287841703 edges, 2480 markings/sec, 1710 secs 4 tries, 3706107 fired transitions, 1715 secs || 4318217 markings, 288683509 edges, 2519 markings/sec, 1715 secs 4 tries, 3716702 fired transitions, 1720 secs || 4333095 markings, 289541194 edges, 2976 markings/sec, 1720 secs 4 tries, 3727688 fired transitions, 1725 secs || 4349112 markings, 290404796 edges, 3203 markings/sec, 1725 secs 4 tries, 3738751 fired transitions, 1730 secs || 4362533 markings, 291263030 edges, 2684 markings/sec, 1730 secs 4 tries, 3749807 fired transitions, 1735 secs || 4375973 markings, 292114913 edges, 2688 markings/sec, 1735 secs 4 tries, 3759992 fired transitions, 1740 secs || 4390010 markings, 292970515 edges, 2807 markings/sec, 1740 secs 4 tries, 3769482 fired transitions, 1745 secs || 4404726 markings, 293829090 edges, 2943 markings/sec, 1745 secs 4 tries, 3779081 fired transitions, 1750 secs || 4420434 markings, 294692146 edges, 3142 markings/sec, 1750 secs 4 tries, 3789361 fired transitions, 1755 secs || 4433002 markings, 295534009 edges, 2514 markings/sec, 1755 secs 4 tries, 3800291 fired transitions, 1760 secs || 4448938 markings, 296395277 edges, 3187 markings/sec, 1760 secs 4 tries, 3811305 fired transitions, 1765 secs || 4461718 markings, 297240295 edges, 2556 markings/sec, 1765 secs 4 tries, 3822259 fired transitions, 1770 secs || 4473484 markings, 298077712 edges, 2353 markings/sec, 1770 secs 4 tries, 3833237 fired transitions, 1775 secs || 4488254 markings, 298934119 edges, 2954 markings/sec, 1775 secs 4 tries, 3844220 fired transitions, 1780 secs || 4498727 markings, 299766152 edges, 2095 markings/sec, 1780 secs 4 tries, 3855150 fired transitions, 1785 secs || 4509256 markings, 300564866 edges, 2106 markings/sec, 1785 secs 4 tries, 3866153 fired transitions, 1790 secs || 4517221 markings, 301232155 edges, 1593 markings/sec, 1790 secs 4 tries, 3877083 fired transitions, 1795 secs || 4527427 markings, 302023422 edges, 2041 markings/sec, 1795 secs 4 tries, 3888096 fired transitions, 1800 secs || 4537488 markings, 302830141 edges, 2012 markings/sec, 1800 secs 4 tries, 3899058 fired transitions, 1805 secs || 4546709 markings, 303585934 edges, 1844 markings/sec, 1805 secs 4 tries, 3910047 fired transitions, 1810 secs || 4556871 markings, 304323625 edges, 2032 markings/sec, 1810 secs 4 tries, 3920999 fired transitions, 1815 secs || 4567851 markings, 305163346 edges, 2196 markings/sec, 1815 secs 4 tries, 3931917 fired transitions, 1820 secs || 4579664 markings, 306003489 edges, 2363 markings/sec, 1820 secs 4 tries, 3942845 fired transitions, 1825 secs || 4590115 markings, 306786422 edges, 2090 markings/sec, 1825 secs 4 tries, 3953767 fired transitions, 1830 secs || 4601632 markings, 307584769 edges, 2303 markings/sec, 1830 secs 4 tries, 3964625 fired transitions, 1835 secs || 4612394 markings, 308421587 edges, 2152 markings/sec, 1835 secs 4 tries, 3975582 fired transitions, 1840 secs || 4621411 markings, 309172688 edges, 1803 markings/sec, 1840 secs 4 tries, 3986508 fired transitions, 1845 secs || 4633966 markings, 310021999 edges, 2511 markings/sec, 1845 secs 4 tries, 3997504 fired transitions, 1850 secs || 4645701 markings, 310787909 edges, 2347 markings/sec, 1850 secs 5 tries, 4008537 fired transitions, 1855 secs || 4656420 markings, 311506694 edges, 2144 markings/sec, 1855 secs 5 tries, 4019638 fired transitions, 1860 secs || 4669155 markings, 312353159 edges, 2547 markings/sec, 1860 secs 5 tries, 4030676 fired transitions, 1865 secs || 4680127 markings, 313131652 edges, 2194 markings/sec, 1865 secs 5 tries, 4041557 fired transitions, 1870 secs || 4690480 markings, 313964648 edges, 2071 markings/sec, 1870 secs 5 tries, 4052471 fired transitions, 1875 secs || 4703054 markings, 314814000 edges, 2515 markings/sec, 1875 secs 5 tries, 4063476 fired transitions, 1880 secs || 4714638 markings, 315648411 edges, 2317 markings/sec, 1880 secs 5 tries, 4074539 fired transitions, 1885 secs || 4726281 markings, 316477353 edges, 2329 markings/sec, 1885 secs 5 tries, 4085576 fired transitions, 1890 secs || 4737780 markings, 317322298 edges, 2300 markings/sec, 1890 secs 5 tries, 4096627 fired transitions, 1895 secs || 4749665 markings, 318170673 edges, 2377 markings/sec, 1895 secs 5 tries, 4107703 fired transitions, 1900 secs || 4762339 markings, 319014773 edges, 2535 markings/sec, 1900 secs 5 tries, 4118739 fired transitions, 1905 secs || 4772616 markings, 319834801 edges, 2055 markings/sec, 1905 secs 5 tries, 4129789 fired transitions, 1910 secs || 4783400 markings, 320666591 edges, 2157 markings/sec, 1910 secs 5 tries, 4140779 fired transitions, 1915 secs || 4793671 markings, 321451305 edges, 2054 markings/sec, 1915 secs 5 tries, 4151743 fired transitions, 1920 secs || 4807213 markings, 322296804 edges, 2708 markings/sec, 1920 secs 5 tries, 4162741 fired transitions, 1925 secs || 4820267 markings, 323074313 edges, 2611 markings/sec, 1925 secs 5 tries, 4173633 fired transitions, 1930 secs || 4833533 markings, 323868692 edges, 2653 markings/sec, 1930 secs 5 tries, 4184630 fired transitions, 1935 secs || 4844768 markings, 324594993 edges, 2247 markings/sec, 1935 secs 5 tries, 4195678 fired transitions, 1940 secs || 4857226 markings, 325396582 edges, 2492 markings/sec, 1940 secs 5 tries, 4206623 fired transitions, 1945 secs || 4868934 markings, 326241251 edges, 2342 markings/sec, 1945 secs 5 tries, 4217552 fired transitions, 1950 secs || 4880178 markings, 327069126 edges, 2249 markings/sec, 1950 secs 5 tries, 4228494 fired transitions, 1955 secs || 4893483 markings, 327890387 edges, 2661 markings/sec, 1955 secs 5 tries, 4239443 fired transitions, 1960 secs || 4903946 markings, 328725444 edges, 2093 markings/sec, 1960 secs 5 tries, 4250318 fired transitions, 1965 secs || 4913091 markings, 329485608 edges, 1829 markings/sec, 1965 secs 5 tries, 4261184 fired transitions, 1970 secs || 4922644 markings, 330183739 edges, 1911 markings/sec, 1970 secs 5 tries, 4271497 fired transitions, 1975 secs || 4934923 markings, 330983373 edges, 2456 markings/sec, 1975 secs 5 tries, 4282431 fired transitions, 1980 secs || 4946637 markings, 331822011 edges, 2343 markings/sec, 1980 secs 5 tries, 4293428 fired transitions, 1985 secs || 4960879 markings, 332631303 edges, 2848 markings/sec, 1985 secs 5 tries, 4304487 fired transitions, 1990 secs || 4970796 markings, 333394496 edges, 1983 markings/sec, 1990 secs 5 tries, 4315381 fired transitions, 1995 secs || 4981844 markings, 334230561 edges, 2210 markings/sec, 1995 secs 5 tries, 4326377 fired transitions, 2000 secs || 4995130 markings, 335082618 edges, 2657 markings/sec, 2000 secs 5 tries, 4337428 fired transitions, 2005 secs || 5007705 markings, 335936159 edges, 2515 markings/sec, 2005 secs 5 tries, 4348418 fired transitions, 2010 secs || 5022951 markings, 336795922 edges, 3049 markings/sec, 2010 secs 5 tries, 4359517 fired transitions, 2015 secs || 5035322 markings, 337649873 edges, 2474 markings/sec, 2015 secs 5 tries, 4370482 fired transitions, 2020 secs || 5046689 markings, 338438741 edges, 2273 markings/sec, 2020 secs 5 tries, 4380974 fired transitions, 2025 secs || 5060730 markings, 339287832 edges, 2808 markings/sec, 2025 secs 5 tries, 4391932 fired transitions, 2030 secs || 5070956 markings, 340114033 edges, 2045 markings/sec, 2030 secs 5 tries, 4402934 fired transitions, 2035 secs || 5082006 markings, 340945541 edges, 2210 markings/sec, 2035 secs 5 tries, 4414077 fired transitions, 2040 secs || 5091407 markings, 341730393 edges, 1880 markings/sec, 2040 secs 5 tries, 4425016 fired transitions, 2045 secs || 5102574 markings, 342551894 edges, 2233 markings/sec, 2045 secs 5 tries, 4435913 fired transitions, 2050 secs || 5116016 markings, 343404223 edges, 2688 markings/sec, 2050 secs 5 tries, 4446889 fired transitions, 2055 secs || 5127307 markings, 344195232 edges, 2258 markings/sec, 2055 secs 5 tries, 4456880 fired transitions, 2060 secs || 5140296 markings, 345029887 edges, 2598 markings/sec, 2060 secs 5 tries, 4467365 fired transitions, 2065 secs || 5152876 markings, 345799579 edges, 2516 markings/sec, 2065 secs 5 tries, 4478346 fired transitions, 2070 secs || 5162765 markings, 346510355 edges, 1978 markings/sec, 2070 secs 5 tries, 4489287 fired transitions, 2075 secs || 5173644 markings, 347230645 edges, 2176 markings/sec, 2075 secs 5 tries, 4500375 fired transitions, 2080 secs || 5184973 markings, 348066454 edges, 2266 markings/sec, 2080 secs 5 tries, 4511409 fired transitions, 2085 secs || 5196100 markings, 348901844 edges, 2225 markings/sec, 2085 secs 5 tries, 4522475 fired transitions, 2090 secs || 5207647 markings, 349724241 edges, 2309 markings/sec, 2090 secs 5 tries, 4532676 fired transitions, 2095 secs || 5218712 markings, 350530797 edges, 2213 markings/sec, 2095 secs 5 tries, 4542652 fired transitions, 2100 secs || 5233431 markings, 351392878 edges, 2944 markings/sec, 2100 secs 5 tries, 4553520 fired transitions, 2105 secs || 5247998 markings, 352255392 edges, 2913 markings/sec, 2105 secs 5 tries, 4564418 fired transitions, 2110 secs || 5260153 markings, 353098357 edges, 2431 markings/sec, 2110 secs 5 tries, 4575368 fired transitions, 2115 secs || 5273228 markings, 353955685 edges, 2615 markings/sec, 2115 secs 5 tries, 4586283 fired transitions, 2120 secs || 5286567 markings, 354807708 edges, 2668 markings/sec, 2120 secs 5 tries, 4597232 fired transitions, 2125 secs || 5296671 markings, 355638349 edges, 2021 markings/sec, 2125 secs 5 tries, 4608063 fired transitions, 2130 secs || 5308933 markings, 356499071 edges, 2452 markings/sec, 2130 secs 5 tries, 4618545 fired transitions, 2135 secs || 5323315 markings, 357359070 edges, 2876 markings/sec, 2135 secs 5 tries, 4629504 fired transitions, 2140 secs || 5336446 markings, 358211733 edges, 2626 markings/sec, 2140 secs 5 tries, 4640334 fired transitions, 2145 secs || 5349878 markings, 359071446 edges, 2686 markings/sec, 2145 secs 5 tries, 4651288 fired transitions, 2150 secs || 5362340 markings, 359914878 edges, 2492 markings/sec, 2150 secs 5 tries, 4662232 fired transitions, 2155 secs || 5372056 markings, 360735944 edges, 1943 markings/sec, 2155 secs 5 tries, 4673221 fired transitions, 2160 secs || 5385486 markings, 361594474 edges, 2686 markings/sec, 2160 secs 5 tries, 4683033 fired transitions, 2165 secs || 5398636 markings, 362449387 edges, 2630 markings/sec, 2165 secs 5 tries, 4692056 fired transitions, 2170 secs || 5411599 markings, 363299341 edges, 2593 markings/sec, 2170 secs 5 tries, 4701763 fired transitions, 2175 secs || 5423489 markings, 364138636 edges, 2378 markings/sec, 2175 secs 5 tries, 4711186 fired transitions, 2180 secs || 5433119 markings, 364961280 edges, 1926 markings/sec, 2180 secs 5 tries, 4721553 fired transitions, 2185 secs || 5443824 markings, 365796521 edges, 2141 markings/sec, 2185 secs 5 tries, 4732555 fired transitions, 2190 secs || 5459171 markings, 366660835 edges, 3069 markings/sec, 2190 secs 5 tries, 4742446 fired transitions, 2195 secs || 5469714 markings, 367489642 edges, 2109 markings/sec, 2195 secs 5 tries, 4752892 fired transitions, 2200 secs || 5481616 markings, 368338268 edges, 2380 markings/sec, 2200 secs 5 tries, 4763793 fired transitions, 2205 secs || 5493161 markings, 369141238 edges, 2309 markings/sec, 2205 secs 5 tries, 4774674 fired transitions, 2210 secs || 5503440 markings, 369973819 edges, 2056 markings/sec, 2210 secs 5 tries, 4785555 fired transitions, 2215 secs || 5514672 markings, 370819126 edges, 2246 markings/sec, 2215 secs 5 tries, 4796492 fired transitions, 2220 secs || 5526107 markings, 371665363 edges, 2287 markings/sec, 2220 secs 5 tries, 4807529 fired transitions, 2225 secs || 5540435 markings, 372520356 edges, 2866 markings/sec, 2225 secs 5 tries, 4818582 fired transitions, 2230 secs || 5552623 markings, 373356164 edges, 2438 markings/sec, 2230 secs 5 tries, 4829611 fired transitions, 2235 secs || 5566290 markings, 374214228 edges, 2733 markings/sec, 2235 secs 5 tries, 4840750 fired transitions, 2240 secs || 5576254 markings, 375032932 edges, 1993 markings/sec, 2240 secs 5 tries, 4851868 fired transitions, 2245 secs || 5588822 markings, 375878843 edges, 2514 markings/sec, 2245 secs 5 tries, 4862931 fired transitions, 2250 secs || 5599993 markings, 376705603 edges, 2234 markings/sec, 2250 secs 5 tries, 4874056 fired transitions, 2255 secs || 5614848 markings, 377567888 edges, 2971 markings/sec, 2255 secs 5 tries, 4885093 fired transitions, 2260 secs || 5631490 markings, 378434614 edges, 3328 markings/sec, 2260 secs 5 tries, 4896131 fired transitions, 2265 secs || 5644362 markings, 379282419 edges, 2574 markings/sec, 2265 secs 5 tries, 4907190 fired transitions, 2270 secs || 5658785 markings, 380133709 edges, 2885 markings/sec, 2270 secs 5 tries, 4918226 fired transitions, 2275 secs || 5671073 markings, 380975659 edges, 2458 markings/sec, 2275 secs 5 tries, 4929315 fired transitions, 2280 secs || 5682491 markings, 381811521 edges, 2284 markings/sec, 2280 secs 5 tries, 4940397 fired transitions, 2285 secs || 5695761 markings, 382661503 edges, 2654 markings/sec, 2285 secs 5 tries, 4951484 fired transitions, 2290 secs || 5706584 markings, 383487278 edges, 2165 markings/sec, 2290 secs 5 tries, 4961244 fired transitions, 2295 secs || 5719477 markings, 384329492 edges, 2579 markings/sec, 2295 secs 5 tries, 4972220 fired transitions, 2300 secs || 5731371 markings, 385163293 edges, 2379 markings/sec, 2300 secs 5 tries, 4983188 fired transitions, 2305 secs || 5746764 markings, 386028420 edges, 3079 markings/sec, 2305 secs 5 tries, 4994231 fired transitions, 2310 secs || 5758314 markings, 386870976 edges, 2310 markings/sec, 2310 secs 6 tries, 5005153 fired transitions, 2315 secs || 5771484 markings, 387725782 edges, 2634 markings/sec, 2315 secs 6 tries, 5015637 fired transitions, 2320 secs || 5785405 markings, 388588197 edges, 2784 markings/sec, 2320 secs 6 tries, 5026594 fired transitions, 2325 secs || 5796811 markings, 389441771 edges, 2281 markings/sec, 2325 secs 6 tries, 5037570 fired transitions, 2330 secs || 5808752 markings, 390291543 edges, 2388 markings/sec, 2330 secs 6 tries, 5047620 fired transitions, 2335 secs || 5818117 markings, 391057610 edges, 1873 markings/sec, 2335 secs 6 tries, 5058548 fired transitions, 2340 secs || 5832663 markings, 391925255 edges, 2909 markings/sec, 2340 secs 6 tries, 5069521 fired transitions, 2345 secs || 5846253 markings, 392786531 edges, 2718 markings/sec, 2345 secs 6 tries, 5079947 fired transitions, 2350 secs || 5859905 markings, 393636455 edges, 2730 markings/sec, 2350 secs 6 tries, 5090857 fired transitions, 2355 secs || 5870971 markings, 394472885 edges, 2213 markings/sec, 2355 secs 6 tries, 5101107 fired transitions, 2360 secs || 5884714 markings, 395234972 edges, 2749 markings/sec, 2360 secs 6 tries, 5110911 fired transitions, 2365 secs || 5895855 markings, 396026640 edges, 2228 markings/sec, 2365 secs 6 tries, 5121851 fired transitions, 2370 secs || 5909622 markings, 396884978 edges, 2753 markings/sec, 2370 secs 6 tries, 5132343 fired transitions, 2375 secs || 5921888 markings, 397727371 edges, 2453 markings/sec, 2375 secs 6 tries, 5143339 fired transitions, 2380 secs || 5932914 markings, 398565797 edges, 2205 markings/sec, 2380 secs 6 tries, 5153818 fired transitions, 2385 secs || 5946545 markings, 399419980 edges, 2726 markings/sec, 2385 secs 6 tries, 5164735 fired transitions, 2390 secs || 5960278 markings, 400269520 edges, 2747 markings/sec, 2390 secs 6 tries, 5174354 fired transitions, 2395 secs || 5973287 markings, 401080675 edges, 2602 markings/sec, 2395 secs 6 tries, 5184734 fired transitions, 2400 secs || 5987515 markings, 401935678 edges, 2846 markings/sec, 2400 secs 6 tries, 5195723 fired transitions, 2405 secs || 6003696 markings, 402800542 edges, 3236 markings/sec, 2405 secs 6 tries, 5206679 fired transitions, 2410 secs || 6018277 markings, 403653688 edges, 2916 markings/sec, 2410 secs 6 tries, 5217690 fired transitions, 2415 secs || 6030362 markings, 404491543 edges, 2417 markings/sec, 2415 secs 6 tries, 5228685 fired transitions, 2420 secs || 6040500 markings, 405316870 edges, 2028 markings/sec, 2420 secs 6 tries, 5239674 fired transitions, 2425 secs || 6056286 markings, 406177338 edges, 3157 markings/sec, 2425 secs 6 tries, 5250643 fired transitions, 2430 secs || 6071159 markings, 407036305 edges, 2975 markings/sec, 2430 secs 6 tries, 5261634 fired transitions, 2435 secs || 6083537 markings, 407874970 edges, 2476 markings/sec, 2435 secs 6 tries, 5272558 fired transitions, 2440 secs || 6099089 markings, 408740558 edges, 3110 markings/sec, 2440 secs 6 tries, 5283559 fired transitions, 2445 secs || 6113571 markings, 409588616 edges, 2896 markings/sec, 2445 secs 6 tries, 5294520 fired transitions, 2450 secs || 6125108 markings, 410416616 edges, 2307 markings/sec, 2450 secs 6 tries, 5305455 fired transitions, 2455 secs || 6135955 markings, 411239262 edges, 2169 markings/sec, 2455 secs 6 tries, 5316392 fired transitions, 2460 secs || 6146512 markings, 412062108 edges, 2111 markings/sec, 2460 secs 6 tries, 5327423 fired transitions, 2465 secs || 6157809 markings, 412880990 edges, 2259 markings/sec, 2465 secs 6 tries, 5338424 fired transitions, 2470 secs || 6172726 markings, 413734428 edges, 2983 markings/sec, 2470 secs 6 tries, 5348284 fired transitions, 2475 secs || 6183154 markings, 414556023 edges, 2086 markings/sec, 2475 secs 6 tries, 5358642 fired transitions, 2480 secs || 6198995 markings, 415420899 edges, 3168 markings/sec, 2480 secs 6 tries, 5369754 fired transitions, 2485 secs || 6211503 markings, 416273195 edges, 2502 markings/sec, 2485 secs 6 tries, 5379984 fired transitions, 2490 secs || 6225056 markings, 417114311 edges, 2711 markings/sec, 2490 secs 6 tries, 5390521 fired transitions, 2495 secs || 6237173 markings, 417961890 edges, 2423 markings/sec, 2495 secs 6 tries, 5400395 fired transitions, 2500 secs || 6251565 markings, 418819632 edges, 2878 markings/sec, 2500 secs 6 tries, 5411344 fired transitions, 2505 secs || 6265170 markings, 419665234 edges, 2721 markings/sec, 2505 secs 6 tries, 5422294 fired transitions, 2510 secs || 6274990 markings, 420484872 edges, 1964 markings/sec, 2510 secs 6 tries, 5432456 fired transitions, 2515 secs || 6285444 markings, 421312345 edges, 2091 markings/sec, 2515 secs 6 tries, 5442585 fired transitions, 2520 secs || 6296868 markings, 422162489 edges, 2285 markings/sec, 2520 secs 6 tries, 5453646 fired transitions, 2525 secs || 6308229 markings, 423003286 edges, 2272 markings/sec, 2525 secs 6 tries, 5464671 fired transitions, 2530 secs || 6318306 markings, 423838195 edges, 2015 markings/sec, 2530 secs 6 tries, 5475802 fired transitions, 2535 secs || 6330506 markings, 424688473 edges, 2440 markings/sec, 2535 secs 6 tries, 5486859 fired transitions, 2540 secs || 6344038 markings, 425546163 edges, 2706 markings/sec, 2540 secs 6 tries, 5497925 fired transitions, 2545 secs || 6357849 markings, 426403663 edges, 2762 markings/sec, 2545 secs 6 tries, 5509002 fired transitions, 2550 secs || 6370167 markings, 427247871 edges, 2464 markings/sec, 2550 secs 6 tries, 5520063 fired transitions, 2555 secs || 6382442 markings, 428091941 edges, 2455 markings/sec, 2555 secs 6 tries, 5531119 fired transitions, 2560 secs || 6395626 markings, 428938945 edges, 2637 markings/sec, 2560 secs 6 tries, 5542168 fired transitions, 2565 secs || 6408419 markings, 429801407 edges, 2559 markings/sec, 2565 secs 6 tries, 5552231 fired transitions, 2570 secs || 6422770 markings, 430601813 edges, 2870 markings/sec, 2570 secs 6 tries, 5563251 fired transitions, 2575 secs || 6437776 markings, 431454281 edges, 3001 markings/sec, 2575 secs 6 tries, 5573632 fired transitions, 2580 secs || 6452177 markings, 432318003 edges, 2880 markings/sec, 2580 secs 6 tries, 5584534 fired transitions, 2585 secs || 6464311 markings, 433151738 edges, 2427 markings/sec, 2585 secs 6 tries, 5595538 fired transitions, 2590 secs || 6477966 markings, 434005132 edges, 2731 markings/sec, 2590 secs 6 tries, 5606592 fired transitions, 2595 secs || 6489146 markings, 434851495 edges, 2236 markings/sec, 2595 secs 6 tries, 5617101 fired transitions, 2600 secs || 6503143 markings, 435707838 edges, 2799 markings/sec, 2600 secs 6 tries, 5627432 fired transitions, 2605 secs || 6514912 markings, 436557689 edges, 2354 markings/sec, 2605 secs 6 tries, 5638494 fired transitions, 2610 secs || 6528739 markings, 437422114 edges, 2765 markings/sec, 2610 secs 6 tries, 5648872 fired transitions, 2615 secs || 6540396 markings, 438262404 edges, 2331 markings/sec, 2615 secs 6 tries, 5659860 fired transitions, 2620 secs || 6551758 markings, 439096343 edges, 2272 markings/sec, 2620 secs 6 tries, 5670766 fired transitions, 2625 secs || 6562419 markings, 439937247 edges, 2132 markings/sec, 2625 secs 6 tries, 5681274 fired transitions, 2630 secs || 6573054 markings, 440767017 edges, 2127 markings/sec, 2630 secs 6 tries, 5691590 fired transitions, 2635 secs || 6584534 markings, 441603854 edges, 2296 markings/sec, 2635 secs 6 tries, 5702516 fired transitions, 2640 secs || 6596886 markings, 442405614 edges, 2470 markings/sec, 2640 secs 6 tries, 5713392 fired transitions, 2645 secs || 6607917 markings, 443239921 edges, 2206 markings/sec, 2645 secs 6 tries, 5724470 fired transitions, 2650 secs || 6620116 markings, 444082216 edges, 2440 markings/sec, 2650 secs 6 tries, 5735346 fired transitions, 2655 secs || 6634647 markings, 444929722 edges, 2906 markings/sec, 2655 secs 6 tries, 5745869 fired transitions, 2660 secs || 6646344 markings, 445763206 edges, 2339 markings/sec, 2660 secs 6 tries, 5756880 fired transitions, 2665 secs || 6660475 markings, 446617628 edges, 2826 markings/sec, 2665 secs 6 tries, 5767845 fired transitions, 2670 secs || 6674361 markings, 447474103 edges, 2777 markings/sec, 2670 secs 6 tries, 5778808 fired transitions, 2675 secs || 6686388 markings, 448316724 edges, 2405 markings/sec, 2675 secs 6 tries, 5789806 fired transitions, 2680 secs || 6698285 markings, 449090164 edges, 2379 markings/sec, 2680 secs 6 tries, 5800895 fired transitions, 2685 secs || 6711320 markings, 449930221 edges, 2607 markings/sec, 2685 secs 6 tries, 5812119 fired transitions, 2690 secs || 6723747 markings, 450770239 edges, 2485 markings/sec, 2690 secs 6 tries, 5823121 fired transitions, 2695 secs || 6735159 markings, 451533493 edges, 2282 markings/sec, 2695 secs 6 tries, 5834206 fired transitions, 2700 secs || 6745495 markings, 452273223 edges, 2067 markings/sec, 2700 secs 6 tries, 5845311 fired transitions, 2705 secs || 6756087 markings, 453024704 edges, 2118 markings/sec, 2705 secs 6 tries, 5856351 fired transitions, 2710 secs || 6766775 markings, 453791191 edges, 2138 markings/sec, 2710 secs 6 tries, 5867489 fired transitions, 2715 secs || 6776521 markings, 454567841 edges, 1949 markings/sec, 2715 secs 6 tries, 5878550 fired transitions, 2720 secs || 6790857 markings, 455396747 edges, 2867 markings/sec, 2720 secs 6 tries, 5889593 fired transitions, 2725 secs || 6804871 markings, 456222576 edges, 2803 markings/sec, 2725 secs 6 tries, 5900596 fired transitions, 2730 secs || 6818713 markings, 457077320 edges, 2768 markings/sec, 2730 secs 6 tries, 5911583 fired transitions, 2735 secs || 6834357 markings, 457933415 edges, 3129 markings/sec, 2735 secs 6 tries, 5922650 fired transitions, 2740 secs || 6847103 markings, 458738330 edges, 2549 markings/sec, 2740 secs 6 tries, 5933628 fired transitions, 2745 secs || 6857053 markings, 459507576 edges, 1990 markings/sec, 2745 secs 6 tries, 5944746 fired transitions, 2750 secs || 6867626 markings, 460323347 edges, 2115 markings/sec, 2750 secs 6 tries, 5955913 fired transitions, 2755 secs || 6882957 markings, 461173696 edges, 3066 markings/sec, 2755 secs 6 tries, 5966995 fired transitions, 2760 secs || 6894207 markings, 461968047 edges, 2250 markings/sec, 2760 secs 6 tries, 5978097 fired transitions, 2765 secs || 6904419 markings, 462792285 edges, 2042 markings/sec, 2765 secs 6 tries, 5989225 fired transitions, 2770 secs || 6914306 markings, 463579166 edges, 1977 markings/sec, 2770 secs 7 tries, 6000193 fired transitions, 2775 secs || 6924447 markings, 464397025 edges, 2028 markings/sec, 2775 secs 7 tries, 6011203 fired transitions, 2780 secs || 6935171 markings, 465223451 edges, 2145 markings/sec, 2780 secs 7 tries, 6022236 fired transitions, 2785 secs || 6945397 markings, 466051489 edges, 2045 markings/sec, 2785 secs 7 tries, 6033227 fired transitions, 2790 secs || 6955743 markings, 466878347 edges, 2069 markings/sec, 2790 secs 7 tries, 6044246 fired transitions, 2795 secs || 6966723 markings, 467708842 edges, 2196 markings/sec, 2795 secs 7 tries, 6055291 fired transitions, 2800 secs || 6978273 markings, 468550150 edges, 2310 markings/sec, 2800 secs 7 tries, 6066396 fired transitions, 2805 secs || 6990316 markings, 469389718 edges, 2409 markings/sec, 2805 secs 7 tries, 6077419 fired transitions, 2810 secs || 7000749 markings, 470186219 edges, 2087 markings/sec, 2810 secs 7 tries, 6088506 fired transitions, 2815 secs || 7010092 markings, 470928755 edges, 1869 markings/sec, 2815 secs 7 tries, 6099604 fired transitions, 2820 secs || 7019567 markings, 471689077 edges, 1895 markings/sec, 2820 secs 7 tries, 6110700 fired transitions, 2825 secs || 7029080 markings, 472471138 edges, 1903 markings/sec, 2825 secs 7 tries, 6121755 fired transitions, 2830 secs || 7039626 markings, 473268019 edges, 2109 markings/sec, 2830 secs 7 tries, 6132779 fired transitions, 2835 secs || 7049433 markings, 474040411 edges, 1961 markings/sec, 2835 secs 7 tries, 6143795 fired transitions, 2840 secs || 7059842 markings, 474865885 edges, 2082 markings/sec, 2840 secs 7 tries, 6154849 fired transitions, 2845 secs || 7069561 markings, 475648010 edges, 1944 markings/sec, 2845 secs 7 tries, 6165866 fired transitions, 2850 secs || 7080895 markings, 476479508 edges, 2267 markings/sec, 2850 secs 7 tries, 6176872 fired transitions, 2855 secs || 7092552 markings, 477314050 edges, 2331 markings/sec, 2855 secs 7 tries, 6187961 fired transitions, 2860 secs || 7104024 markings, 478141796 edges, 2294 markings/sec, 2860 secs 7 tries, 6198921 fired transitions, 2865 secs || 7116975 markings, 478991378 edges, 2590 markings/sec, 2865 secs 7 tries, 6209932 fired transitions, 2870 secs || 7128397 markings, 479826166 edges, 2284 markings/sec, 2870 secs 7 tries, 6220417 fired transitions, 2875 secs || 7139946 markings, 480670090 edges, 2310 markings/sec, 2875 secs 7 tries, 6231527 fired transitions, 2880 secs || 7150466 markings, 481496398 edges, 2104 markings/sec, 2880 secs 7 tries, 6242059 fired transitions, 2885 secs || 7162661 markings, 482339744 edges, 2439 markings/sec, 2885 secs 7 tries, 6253177 fired transitions, 2890 secs || 7173123 markings, 483122710 edges, 2092 markings/sec, 2890 secs 7 tries, 6264255 fired transitions, 2895 secs || 7185288 markings, 483963503 edges, 2433 markings/sec, 2895 secs 7 tries, 6275361 fired transitions, 2900 secs || 7197954 markings, 484803110 edges, 2533 markings/sec, 2900 secs 7 tries, 6286428 fired transitions, 2905 secs || 7211987 markings, 485649653 edges, 2807 markings/sec, 2905 secs 7 tries, 6297449 fired transitions, 2910 secs || 7223826 markings, 486492019 edges, 2368 markings/sec, 2910 secs 7 tries, 6308557 fired transitions, 2915 secs || 7236304 markings, 487336615 edges, 2496 markings/sec, 2915 secs 7 tries, 6319615 fired transitions, 2920 secs || 7247540 markings, 488165046 edges, 2247 markings/sec, 2920 secs 7 tries, 6330676 fired transitions, 2925 secs || 7259329 markings, 488995580 edges, 2358 markings/sec, 2925 secs 7 tries, 6341726 fired transitions, 2930 secs || 7272588 markings, 489842938 edges, 2652 markings/sec, 2930 secs 7 tries, 6352211 fired transitions, 2935 secs || 7283985 markings, 490657949 edges, 2279 markings/sec, 2935 secs 7 tries, 6362318 fired transitions, 2940 secs || 7296346 markings, 491487407 edges, 2472 markings/sec, 2940 secs 7 tries, 6373324 fired transitions, 2945 secs || 7309275 markings, 492336501 edges, 2586 markings/sec, 2945 secs 7 tries, 6384383 fired transitions, 2950 secs || 7323127 markings, 493184517 edges, 2770 markings/sec, 2950 secs 7 tries, 6395470 fired transitions, 2955 secs || 7337062 markings, 494031216 edges, 2787 markings/sec, 2955 secs 7 tries, 6406592 fired transitions, 2960 secs || 7348290 markings, 494783983 edges, 2246 markings/sec, 2960 secs 7 tries, 6417479 fired transitions, 2965 secs || 7360329 markings, 495618004 edges, 2408 markings/sec, 2965 secs 7 tries, 6428386 fired transitions, 2970 secs || 7372969 markings, 496466690 edges, 2528 markings/sec, 2970 secs 7 tries, 6439305 fired transitions, 2975 secs || 7386618 markings, 497323014 edges, 2730 markings/sec, 2975 secs 7 tries, 6450293 fired transitions, 2980 secs || 7398983 markings, 498168502 edges, 2473 markings/sec, 2980 secs 7 tries, 6461218 fired transitions, 2985 secs || 7411811 markings, 499020353 edges, 2566 markings/sec, 2985 secs 7 tries, 6472118 fired transitions, 2990 secs || 7424356 markings, 499861608 edges, 2509 markings/sec, 2990 secs 7 tries, 6483151 fired transitions, 2995 secs || 7439150 markings, 500664943 edges, 2959 markings/sec, 2995 secs 7 tries, 6494029 fired transitions, 3000 secs || 7452077 markings, 501513804 edges, 2585 markings/sec, 3000 secs 7 tries, 6505005 fired transitions, 3005 secs || 7464542 markings, 502257208 edges, 2493 markings/sec, 3005 secs 7 tries, 6516043 fired transitions, 3010 secs || 7474362 markings, 502988430 edges, 1964 markings/sec, 3010 secs 7 tries, 6526986 fired transitions, 3015 secs || 7488208 markings, 503842483 edges, 2769 markings/sec, 3015 secs 7 tries, 6537955 fired transitions, 3020 secs || 7500445 markings, 504629827 edges, 2447 markings/sec, 3020 secs 7 tries, 6549049 fired transitions, 3025 secs || 7513531 markings, 505472750 edges, 2617 markings/sec, 3025 secs 7 tries, 6560100 fired transitions, 3030 secs || 7524939 markings, 506300445 edges, 2282 markings/sec, 3030 secs 7 tries, 6571161 fired transitions, 3035 secs || 7538160 markings, 507146360 edges, 2644 markings/sec, 3035 secs 7 tries, 6582305 fired transitions, 3040 secs || 7553498 markings, 508006547 edges, 3068 markings/sec, 3040 secs 7 tries, 6593271 fired transitions, 3045 secs || 7566487 markings, 508817456 edges, 2598 markings/sec, 3045 secs 7 tries, 6604145 fired transitions, 3050 secs || 7579820 markings, 509665119 edges, 2667 markings/sec, 3050 secs 7 tries, 6615021 fired transitions, 3055 secs || 7594063 markings, 510485976 edges, 2849 markings/sec, 3055 secs 7 tries, 6625967 fired transitions, 3060 secs || 7606819 markings, 511266084 edges, 2551 markings/sec, 3060 secs 7 tries, 6637006 fired transitions, 3065 secs || 7619292 markings, 512101248 edges, 2495 markings/sec, 3065 secs 7 tries, 6647962 fired transitions, 3070 secs || 7634578 markings, 512929831 edges, 3057 markings/sec, 3070 secs 7 tries, 6659013 fired transitions, 3075 secs || 7646638 markings, 513771468 edges, 2412 markings/sec, 3075 secs 7 tries, 6670150 fired transitions, 3080 secs || 7658934 markings, 514609437 edges, 2459 markings/sec, 3080 secs 7 tries, 6681269 fired transitions, 3085 secs || 7669715 markings, 515433591 edges, 2156 markings/sec, 3085 secs 7 tries, 6692352 fired transitions, 3090 secs || 7682568 markings, 516272648 edges, 2571 markings/sec, 3090 secs 7 tries, 6703423 fired transitions, 3095 secs || 7694548 markings, 517111247 edges, 2396 markings/sec, 3095 secs 7 tries, 6714489 fired transitions, 3100 secs || 7705741 markings, 517943582 edges, 2239 markings/sec, 3100 secs 7 tries, 6725561 fired transitions, 3105 secs || 7718052 markings, 518782072 edges, 2462 markings/sec, 3105 secs 7 tries, 6736640 fired transitions, 3110 secs || 7730214 markings, 519610704 edges, 2432 markings/sec, 3110 secs 7 tries, 6747680 fired transitions, 3115 secs || 7742088 markings, 520437824 edges, 2375 markings/sec, 3115 secs 7 tries, 6758769 fired transitions, 3120 secs || 7755623 markings, 521278667 edges, 2707 markings/sec, 3120 secs 7 tries, 6769809 fired transitions, 3125 secs || 7769280 markings, 522123516 edges, 2731 markings/sec, 3125 secs 7 tries, 6780853 fired transitions, 3130 secs || 7783140 markings, 522961887 edges, 2772 markings/sec, 3130 secs 7 tries, 6791927 fired transitions, 3135 secs || 7795964 markings, 523810158 edges, 2565 markings/sec, 3135 secs 7 tries, 6802943 fired transitions, 3140 secs || 7809274 markings, 524662754 edges, 2662 markings/sec, 3140 secs 7 tries, 6813389 fired transitions, 3145 secs || 7822184 markings, 525504660 edges, 2582 markings/sec, 3145 secs 7 tries, 6824377 fired transitions, 3150 secs || 7835378 markings, 526347291 edges, 2639 markings/sec, 3150 secs 7 tries, 6834837 fired transitions, 3155 secs || 7849692 markings, 527208382 edges, 2863 markings/sec, 3155 secs 7 tries, 6845809 fired transitions, 3160 secs || 7860806 markings, 528037218 edges, 2223 markings/sec, 3160 secs 7 tries, 6856743 fired transitions, 3165 secs || 7874397 markings, 528877205 edges, 2718 markings/sec, 3165 secs 7 tries, 6867736 fired transitions, 3170 secs || 7888073 markings, 529720001 edges, 2735 markings/sec, 3170 secs 7 tries, 6878677 fired transitions, 3175 secs || 7902762 markings, 530574453 edges, 2938 markings/sec, 3175 secs 7 tries, 6889577 fired transitions, 3180 secs || 7917058 markings, 531426256 edges, 2859 markings/sec, 3180 secs 7 tries, 6900602 fired transitions, 3185 secs || 7929518 markings, 532284276 edges, 2492 markings/sec, 3185 secs 7 tries, 6910668 fired transitions, 3190 secs || 7944210 markings, 533145804 edges, 2938 markings/sec, 3190 secs 7 tries, 6920755 fired transitions, 3195 secs || 7959496 markings, 534000925 edges, 3057 markings/sec, 3195 secs 7 tries, 6931706 fired transitions, 3200 secs || 7973926 markings, 534861195 edges, 2886 markings/sec, 3200 secs 7 tries, 6942613 fired transitions, 3205 secs || 7986088 markings, 535714658 edges, 2432 markings/sec, 3205 secs 7 tries, 6953015 fired transitions, 3210 secs || 8000922 markings, 536572939 edges, 2967 markings/sec, 3210 secs 7 tries, 6963360 fired transitions, 3215 secs || 8015472 markings, 537419819 edges, 2910 markings/sec, 3215 secs 7 tries, 6972950 fired transitions, 3220 secs || 8026182 markings, 538245758 edges, 2142 markings/sec, 3220 secs 7 tries, 6983597 fired transitions, 3225 secs || 8037520 markings, 539072156 edges, 2268 markings/sec, 3225 secs 7 tries, 6994099 fired transitions, 3230 secs || 8051328 markings, 539886978 edges, 2762 markings/sec, 3230 secs 8 tries, 7004296 fired transitions, 3235 secs || 8061249 markings, 540710109 edges, 1984 markings/sec, 3235 secs 8 tries, 7014822 fired transitions, 3240 secs || 8072710 markings, 541548919 edges, 2292 markings/sec, 3240 secs 8 tries, 7025752 fired transitions, 3245 secs || 8085297 markings, 542387023 edges, 2517 markings/sec, 3245 secs 8 tries, 7036728 fired transitions, 3250 secs || 8099822 markings, 543242828 edges, 2905 markings/sec, 3250 secs 8 tries, 7047040 fired transitions, 3255 secs || 8111012 markings, 544092300 edges, 2238 markings/sec, 3255 secs 8 tries, 7058037 fired transitions, 3260 secs || 8125100 markings, 544963391 edges, 2818 markings/sec, 3260 secs 8 tries, 7069019 fired transitions, 3265 secs || 8138625 markings, 545830046 edges, 2705 markings/sec, 3265 secs 8 tries, 7080070 fired transitions, 3270 secs || 8151547 markings, 546688779 edges, 2584 markings/sec, 3270 secs 8 tries, 7091111 fired transitions, 3275 secs || 8165791 markings, 547556092 edges, 2849 markings/sec, 3275 secs 8 tries, 7102110 fired transitions, 3280 secs || 8180605 markings, 548420949 edges, 2963 markings/sec, 3280 secs 8 tries, 7113123 fired transitions, 3285 secs || 8196059 markings, 549290669 edges, 3091 markings/sec, 3285 secs 8 tries, 7124054 fired transitions, 3290 secs || 8210992 markings, 550157933 edges, 2987 markings/sec, 3290 secs 8 tries, 7135010 fired transitions, 3295 secs || 8224355 markings, 551013755 edges, 2673 markings/sec, 3295 secs 8 tries, 7145965 fired transitions, 3300 secs || 8234588 markings, 551845437 edges, 2047 markings/sec, 3300 secs 8 tries, 7157019 fired transitions, 3305 secs || 8250108 markings, 552706609 edges, 3104 markings/sec, 3305 secs 8 tries, 7167993 fired transitions, 3310 secs || 8264146 markings, 553572561 edges, 2808 markings/sec, 3310 secs 8 tries, 7178940 fired transitions, 3315 secs || 8278416 markings, 554428449 edges, 2854 markings/sec, 3315 secs 8 tries, 7189921 fired transitions, 3320 secs || 8290973 markings, 555277880 edges, 2511 markings/sec, 3320 secs 8 tries, 7200876 fired transitions, 3325 secs || 8304265 markings, 556133527 edges, 2658 markings/sec, 3325 secs 8 tries, 7211882 fired transitions, 3330 secs || 8320976 markings, 557015363 edges, 3342 markings/sec, 3330 secs 8 tries, 7222889 fired transitions, 3335 secs || 8334055 markings, 557869566 edges, 2616 markings/sec, 3335 secs 8 tries, 7233825 fired transitions, 3340 secs || 8346734 markings, 558715793 edges, 2536 markings/sec, 3340 secs 8 tries, 7244783 fired transitions, 3345 secs || 8359336 markings, 559565433 edges, 2520 markings/sec, 3345 secs 8 tries, 7255699 fired transitions, 3350 secs || 8373771 markings, 560438460 edges, 2887 markings/sec, 3350 secs 8 tries, 7266614 fired transitions, 3355 secs || 8387694 markings, 561298027 edges, 2785 markings/sec, 3355 secs 8 tries, 7277597 fired transitions, 3360 secs || 8401512 markings, 562149944 edges, 2764 markings/sec, 3360 secs 8 tries, 7288628 fired transitions, 3365 secs || 8411995 markings, 562986389 edges, 2097 markings/sec, 3365 secs 8 tries, 7299575 fired transitions, 3370 secs || 8425630 markings, 563845089 edges, 2727 markings/sec, 3370 secs 8 tries, 7310599 fired transitions, 3375 secs || 8437654 markings, 564704234 edges, 2405 markings/sec, 3375 secs 8 tries, 7321597 fired transitions, 3380 secs || 8451354 markings, 565564332 edges, 2740 markings/sec, 3380 secs 8 tries, 7332594 fired transitions, 3385 secs || 8465789 markings, 566422745 edges, 2887 markings/sec, 3385 secs 8 tries, 7343614 fired transitions, 3390 secs || 8481956 markings, 567297445 edges, 3233 markings/sec, 3390 secs 8 tries, 7354576 fired transitions, 3395 secs || 8497756 markings, 568171285 edges, 3160 markings/sec, 3395 secs 8 tries, 7365609 fired transitions, 3400 secs || 8509193 markings, 569016690 edges, 2287 markings/sec, 3400 secs 8 tries, 7376321 fired transitions, 3405 secs || 8523334 markings, 569871247 edges, 2828 markings/sec, 3405 secs 8 tries, 7386807 fired transitions, 3410 secs || 8534232 markings, 570696910 edges, 2180 markings/sec, 3410 secs 8 tries, 7397164 fired transitions, 3415 secs || 8545161 markings, 571521266 edges, 2186 markings/sec, 3415 secs 8 tries, 7408185 fired transitions, 3420 secs || 8557657 markings, 572353035 edges, 2499 markings/sec, 3420 secs 8 tries, 7418880 fired transitions, 3425 secs || 8569941 markings, 573178536 edges, 2457 markings/sec, 3425 secs 8 tries, 7429475 fired transitions, 3430 secs || 8581813 markings, 573927109 edges, 2374 markings/sec, 3430 secs 8 tries, 7440245 fired transitions, 3435 secs || 8595405 markings, 574771671 edges, 2718 markings/sec, 3435 secs 8 tries, 7450591 fired transitions, 3440 secs || 8610014 markings, 575607282 edges, 2922 markings/sec, 3440 secs 8 tries, 7461139 fired transitions, 3445 secs || 8624847 markings, 576452662 edges, 2967 markings/sec, 3445 secs 8 tries, 7472022 fired transitions, 3450 secs || 8638105 markings, 577300193 edges, 2652 markings/sec, 3450 secs 8 tries, 7482649 fired transitions, 3455 secs || 8651895 markings, 578145921 edges, 2758 markings/sec, 3455 secs 8 tries, 7493408 fired transitions, 3460 secs || 8663935 markings, 578984149 edges, 2408 markings/sec, 3460 secs 8 tries, 7504304 fired transitions, 3465 secs || 8679341 markings, 579845341 edges, 3081 markings/sec, 3465 secs 8 tries, 7515136 fired transitions, 3470 secs || 8695010 markings, 580707649 edges, 3134 markings/sec, 3470 secs 8 tries, 7526007 fired transitions, 3475 secs || 8709110 markings, 581557437 edges, 2820 markings/sec, 3475 secs 8 tries, 7536907 fired transitions, 3480 secs || 8722109 markings, 582415599 edges, 2600 markings/sec, 3480 secs 8 tries, 7547872 fired transitions, 3485 secs || 8737053 markings, 583277316 edges, 2989 markings/sec, 3485 secs 8 tries, 7558764 fired transitions, 3490 secs || 8748350 markings, 584123038 edges, 2259 markings/sec, 3490 secs 8 tries, 7569652 fired transitions, 3495 secs || 8762498 markings, 584977685 edges, 2830 markings/sec, 3495 secs 8 tries, 7580495 fired transitions, 3500 secs || 8776551 markings, 585839833 edges, 2811 markings/sec, 3500 secs 8 tries, 7591387 fired transitions, 3505 secs || 8787844 markings, 586678856 edges, 2259 markings/sec, 3505 secs 8 tries, 7602228 fired transitions, 3510 secs || 8801538 markings, 587534676 edges, 2739 markings/sec, 3510 secs 8 tries, 7613109 fired transitions, 3515 secs || 8816222 markings, 588396905 edges, 2937 markings/sec, 3515 secs 8 tries, 7623920 fired transitions, 3520 secs || 8828213 markings, 589245317 edges, 2398 markings/sec, 3520 secs 8 tries, 7634741 fired transitions, 3525 secs || 8840638 markings, 590091450 edges, 2485 markings/sec, 3525 secs 8 tries, 7645595 fired transitions, 3530 secs || 8855368 markings, 590957224 edges, 2946 markings/sec, 3530 secs 8 tries, 7656456 fired transitions, 3535 secs || 8868962 markings, 591810100 edges, 2719 markings/sec, 3535 secs 8 tries, 7667305 fired transitions, 3540 secs || 8881119 markings, 592651521 edges, 2431 markings/sec, 3540 secs 8 tries, 7678237 fired transitions, 3545 secs || 8895784 markings, 593514139 edges, 2933 markings/sec, 3545 secs 8 tries, 7689125 fired transitions, 3550 secs || 8909849 markings, 594377274 edges, 2813 markings/sec, 3550 secs 8 tries, 7699962 fired transitions, 3555 secs || 8922721 markings, 595228785 edges, 2574 markings/sec, 3555 secs 8 tries, 7710815 fired transitions, 3560 secs || 8936878 markings, 596094392 edges, 2831 markings/sec, 3560 secs reached - aborting 5362828 KB 3570 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="DLCround-PT-10a"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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