About the Execution of M4M.full for DNAwalker-PT-13ringRLLarge
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 2075.250 | 2112776.00 | 6333546.00 | 6726.40 | ???????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.0K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743100313
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526766313829
BK_STOP 1526768426605
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-13ringRLLarge as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 15944, 'Memory': 566.52, 'Tool': 'itstools'}, {'Time': 16239, 'Memory': 595.82, 'Tool': 'itstools'}, {'Time': 128485, 'Memory': 9735.58, 'Tool': 'marcie'}, {'Time': 136871, 'Memory': 9735.59, 'Tool': 'marcie'}, {'Time': 2226595, 'Memory': 4260.54, 'Tool': 'lola'}, {'Time': 2226726, 'Memory': 4288.03, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 139.65096588058205x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-13ringRLLarge...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DNAwalker-PT-13ringRLLarge: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-13ringRLLarge: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-13ringRLLarge @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
lola: LoLA will run for 3539 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-13ringRLLarge-ReachabilityCardinality.task
lola: E (F (((3 <= B15) AND (A17 <= B17) AND (3 <= B4) AND (A17 <= A1) AND (3 <= A9)))) : E (F (((3 <= B15) AND (((A15 <= A10) AND (2 <= A17)) OR (2 <= B17))))) : E (F ((A11 + 1 <= B15))) : E (F (((3 <= A26) AND (3 <= B15)))) : E (F (((A2 <= A20) AND ((3 <= A25) OR (A16 <= A10)) AND (2 <= B5)))) : E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14))))) : E (F (((A19 <= 0) AND (B16 <= 1) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4))))) : E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (B5 <= 2) AND (A4 <= 1)))) : E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1))))) : E (F ((3 <= A22))) : A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10)))) : A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17))))) : E (F (((3 <= A26) AND ((A2 <= 2) OR (A14 <= 0))))) : E (F (((A6 <= 0) AND (B4 <= 1) AND (A9 <= 0) AND (A5 <= 2)))) : E (F (((2 <= A9) AND (3 <= A13)))) : A (G ((((1 <= A18) OR (1 <= A6) OR ((B17 <= A3) AND (1 <= B17))) AND ((1 <= A7) OR (A13 <= A2) OR (A13 + 1 <= A7)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= B15) AND (A17 <= B17) AND (3 <= B4) AND (A17 <= A1) AND (3 <= A9))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= B15) AND (((A15 <= A10) AND (2 <= A17)) OR (2 <= B17)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((A11 + 1 <= B15)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A26) AND (3 <= B15))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3.sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 4 will run for 294 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A2 <= A20) AND ((3 <= A25) OR (A16 <= A10)) AND (2 <= B5))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-4.sara
lola: 1 markings, 0 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A22) AND (A15 <= A16) AND (A24 <= 2) AND ((A21 <= A9) OR (A12 <= A14)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: sara: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5.saratry reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-4.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 317745 markings, 861533 edges, 63549 markings/sec, 0 secs
lola: sara is running 5 secs || 617354 markings, 1696585 edges, 59922 markings/sec, 5 secs
lola: sara is running 10 secs || 909366 markings, 2612193 edges, 58402 markings/sec, 10 secs
lola: sara is running 15 secs || 1212450 markings, 3491339 edges, 60617 markings/sec, 15 secs
lola: sara is running 20 secs || 1507162 markings, 4379406 edges, 58942 markings/sec, 20 secs
lola: sara is running 25 secs || 1798982 markings, 5260471 edges, 58364 markings/sec, 25 secs
lola: sara is running 30 secs || 2086011 markings, 6181237 edges, 57406 markings/sec, 30 secs
lola: sara is running 35 secs || 2387635 markings, 7050589 edges, 60325 markings/sec, 35 secs
lola: sara is running 40 secs || 2680176 markings, 7930229 edges, 58508 markings/sec, 40 secs
lola: sara is running 45 secs || 2970879 markings, 8815543 edges, 58141 markings/sec, 45 secs
lola: sara is running 50 secs || 3256751 markings, 9709648 edges, 57174 markings/sec, 50 secs
lola: sara is running 55 secs || 3560994 markings, 10580442 edges, 60849 markings/sec, 55 secs
lola: sara is running 60 secs || 3851772 markings, 11543051 edges, 58156 markings/sec, 60 secs
lola: sara is running 65 secs || 4141322 markings, 12449047 edges, 57910 markings/sec, 65 secs
lola: sara is running 70 secs || 4437394 markings, 13367836 edges, 59214 markings/sec, 70 secs
lola: sara is running 75 secs || 4722049 markings, 14369192 edges, 56931 markings/sec, 75 secs
lola: sara is running 80 secs || 5009892 markings, 15433649 edges, 57569 markings/sec, 80 secs
lola: sara is running 85 secs || 5289668 markings, 16633302 edges, 55955 markings/sec, 85 secs
lola: sara is running 90 secs || 5563027 markings, 17824854 edges, 54672 markings/sec, 90 secs
lola: sara is running 95 secs || 5843481 markings, 19009907 edges, 56091 markings/sec, 95 secs
lola: sara is running 100 secs || 6117519 markings, 20245372 edges, 54808 markings/sec, 100 secs
lola: sara is running 105 secs || 6381549 markings, 21438678 edges, 52806 markings/sec, 105 secs
lola: sara is running 110 secs || 6642244 markings, 22683939 edges, 52139 markings/sec, 110 secs
lola: sara is running 115 secs || 6915723 markings, 23877532 edges, 54696 markings/sec, 115 secs
lola: sara is running 120 secs || 7186179 markings, 25073770 edges, 54091 markings/sec, 120 secs
lola: sara is running 125 secs || 7451443 markings, 26330195 edges, 53053 markings/sec, 125 secs
lola: sara is running 130 secs || 7717858 markings, 27588014 edges, 53283 markings/sec, 130 secs
lola: sara is running 135 secs || 7985264 markings, 28974469 edges, 53481 markings/sec, 135 secs
lola: sara is running 140 secs || 8256838 markings, 30282294 edges, 54315 markings/sec, 140 secs
lola: sara is running 145 secs || 8527886 markings, 31527698 edges, 54210 markings/sec, 145 secs
lola: sara is running 150 secs || 8794535 markings, 32744201 edges, 53330 markings/sec, 150 secs
lola: sara is running 155 secs || 9055119 markings, 34004036 edges, 52117 markings/sec, 155 secs
lola: sara is running 160 secs || 9327725 markings, 35198397 edges, 54521 markings/sec, 160 secs
lola: sara is running 165 secs || 9591315 markings, 36406082 edges, 52718 markings/sec, 165 secs
lola: sara is running 170 secs || 9860441 markings, 37637041 edges, 53825 markings/sec, 170 secs
lola: sara is running 175 secs || 10128402 markings, 38849597 edges, 53592 markings/sec, 175 secs
lola: sara is running 180 secs || 10392226 markings, 40195064 edges, 52765 markings/sec, 180 secs
lola: sara is running 185 secs || 10644599 markings, 41635367 edges, 50475 markings/sec, 185 secs
lola: sara is running 190 secs || 10897951 markings, 43088913 edges, 50670 markings/sec, 190 secs
lola: sara is running 195 secs || 11147258 markings, 44554144 edges, 49861 markings/sec, 195 secs
lola: sara is running 200 secs || 11393671 markings, 46024893 edges, 49283 markings/sec, 200 secs
lola: sara is running 205 secs || 11641146 markings, 47551115 edges, 49495 markings/sec, 205 secs
lola: sara is running 210 secs || 11919026 markings, 48807555 edges, 55576 markings/sec, 210 secs
lola: sara is running 215 secs || 12189264 markings, 50023285 edges, 54048 markings/sec, 215 secs
lola: sara is running 220 secs || 12455263 markings, 51257822 edges, 53200 markings/sec, 220 secs
lola: sara is running 225 secs || 12725662 markings, 52531898 edges, 54080 markings/sec, 225 secs
lola: sara is running 230 secs || 12985800 markings, 53820851 edges, 52028 markings/sec, 230 secs
lola: sara is running 235 secs || 13255309 markings, 55081834 edges, 53902 markings/sec, 235 secs
lola: sara is running 240 secs || 13520462 markings, 56375831 edges, 53031 markings/sec, 240 secs
lola: sara is running 245 secs || 13786058 markings, 57871577 edges, 53119 markings/sec, 245 secs
lola: sara is running 250 secs || 14048572 markings, 59397243 edges, 52503 markings/sec, 250 secs
lola: sara is running 255 secs || 14293483 markings, 60904863 edges, 48982 markings/sec, 255 secs
lola: sara is running 260 secs || 14529737 markings, 62372491 edges, 47251 markings/sec, 260 secs
lola: sara is running 265 secs || 14768360 markings, 63864805 edges, 47725 markings/sec, 265 secs
lola: sara is running 270 secs || 15013863 markings, 65475908 edges, 49101 markings/sec, 270 secs
lola: sara is running 275 secs || 15248133 markings, 66924889 edges, 46854 markings/sec, 275 secs
lola: sara is running 280 secs || 15485480 markings, 68419495 edges, 47469 markings/sec, 280 secs
lola: sara is running 285 secs || 15722675 markings, 69902322 edges, 47439 markings/sec, 285 secs
lola: sara is running 290 secs || 15953192 markings, 71482089 edges, 46103 markings/sec, 290 secs
lola: sara is running 295 secs || 16173523 markings, 73125584 edges, 44066 markings/sec, 295 secs
lola: sara is running 300 secs || 16404760 markings, 74772261 edges, 46247 markings/sec, 300 secs
lola: sara is running 305 secs || 16679923 markings, 75988363 edges, 55033 markings/sec, 305 secs
lola: sara is running 310 secs || 16936577 markings, 77156977 edges, 51331 markings/sec, 310 secs
lola: sara is running 315 secs || 17194661 markings, 78373717 edges, 51617 markings/sec, 315 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A19 <= 0) AND (B16 <= 1) AND (B15 <= A1) AND (A23 <= A9) AND ((1 <= A19) OR (A13 <= A4)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 7 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((B16 <= A10) AND (3 <= A15) AND (A18 <= A6) AND (B5 <= 2) AND (A4 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 377001 markings, 882743 edges, 75400 markings/sec, 0 secs
lola: sara is running 5 secs || 683697 markings, 1793554 edges, 61339 markings/sec, 5 secs
lola: sara is running 10 secs || 1003697 markings, 3009848 edges, 64000 markings/sec, 10 secs
lola: sara is running 15 secs || 1314105 markings, 4281610 edges, 62082 markings/sec, 15 secs
lola: sara is running 20 secs || 1623147 markings, 5524963 edges, 61808 markings/sec, 20 secs
lola: sara is running 25 secs || 1943446 markings, 6728916 edges, 64060 markings/sec, 25 secs
lola: sara is running 30 secs || 2264759 markings, 7930503 edges, 64263 markings/sec, 30 secs
lola: sara is running 35 secs || 2602826 markings, 9129317 edges, 67613 markings/sec, 35 secs
lola: sara is running 40 secs || 2922469 markings, 10289775 edges, 63929 markings/sec, 40 secs
lola: sara is running 45 secs || 3198373 markings, 11452084 edges, 55181 markings/sec, 45 secs
lola: sara is running 50 secs || 3482227 markings, 12698098 edges, 56771 markings/sec, 50 secs
lola: sara is running 55 secs || 3756254 markings, 13896090 edges, 54805 markings/sec, 55 secs
lola: sara is running 60 secs || 4017408 markings, 15118011 edges, 52231 markings/sec, 60 secs
lola: sara is running 65 secs || 4308495 markings, 16302584 edges, 58217 markings/sec, 65 secs
lola: sara is running 70 secs || 4649232 markings, 17529773 edges, 68147 markings/sec, 70 secs
lola: sara is running 75 secs || 4977649 markings, 18693996 edges, 65683 markings/sec, 75 secs
lola: sara is running 80 secs || 5288571 markings, 19846349 edges, 62184 markings/sec, 80 secs
lola: sara is running 85 secs || 5640219 markings, 21118791 edges, 70330 markings/sec, 85 secs
lola: sara is running 90 secs || 5963736 markings, 22331131 edges, 64703 markings/sec, 90 secs
lola: sara is running 95 secs || 6287636 markings, 23447269 edges, 64780 markings/sec, 95 secs
lola: sara is running 100 secs || 6628498 markings, 24664960 edges, 68172 markings/sec, 100 secs
lola: sara is running 105 secs || 6954864 markings, 25852594 edges, 65273 markings/sec, 105 secs
lola: sara is running 110 secs || 7290192 markings, 26976361 edges, 67066 markings/sec, 110 secs
lola: sara is running 115 secs || 7617190 markings, 28036525 edges, 65400 markings/sec, 115 secs
lola: sara is running 120 secs || 7929776 markings, 29359548 edges, 62517 markings/sec, 120 secs
lola: sara is running 125 secs || 8302162 markings, 30716396 edges, 74477 markings/sec, 125 secs
lola: sara is running 130 secs || 8612821 markings, 31973234 edges, 62132 markings/sec, 130 secs
lola: sara is running 135 secs || 8931067 markings, 33204610 edges, 63649 markings/sec, 135 secs
lola: sara is running 140 secs || 9207409 markings, 34416343 edges, 55268 markings/sec, 140 secs
lola: sara is running 145 secs || 9496940 markings, 35511688 edges, 57906 markings/sec, 145 secs
lola: sara is running 150 secs || 9800514 markings, 36692080 edges, 60715 markings/sec, 150 secs
lola: sara is running 155 secs || 10125067 markings, 37726410 edges, 64911 markings/sec, 155 secs
lola: sara is running 160 secs || 10417140 markings, 38937106 edges, 58415 markings/sec, 160 secs
lola: sara is running 165 secs || 10712378 markings, 40059344 edges, 59048 markings/sec, 165 secs
lola: sara is running 170 secs || 11024452 markings, 41180702 edges, 62415 markings/sec, 170 secs
lola: sara is running 175 secs || 11299455 markings, 42325722 edges, 55001 markings/sec, 175 secs
lola: sara is running 180 secs || 11571219 markings, 43681707 edges, 54353 markings/sec, 180 secs
lola: sara is running 185 secs || 11879999 markings, 44853916 edges, 61756 markings/sec, 185 secs
lola: sara is running 190 secs || 12197632 markings, 45929611 edges, 63527 markings/sec, 190 secs
lola: sara is running 195 secs || 12507011 markings, 47002187 edges, 61876 markings/sec, 195 secs
lola: sara is running 200 secs || 12798123 markings, 48189434 edges, 58222 markings/sec, 200 secs
lola: sara is running 205 secs || 13110461 markings, 49333997 edges, 62468 markings/sec, 205 secs
lola: sara is running 210 secs || 13410754 markings, 50480696 edges, 60059 markings/sec, 210 secs
lola: sara is running 215 secs || 13677906 markings, 51583253 edges, 53430 markings/sec, 215 secs
lola: sara is running 220 secs || 13920390 markings, 52935983 edges, 48497 markings/sec, 220 secs
lola: sara is running 225 secs || 14223240 markings, 54098010 edges, 60570 markings/sec, 225 secs
lola: sara is running 230 secs || 14528153 markings, 55256536 edges, 60983 markings/sec, 230 secs
lola: sara is running 235 secs || 14828888 markings, 56404441 edges, 60147 markings/sec, 235 secs
lola: sara is running 240 secs || 15124025 markings, 57456210 edges, 59027 markings/sec, 240 secs
lola: sara is running 245 secs || 15393270 markings, 58688552 edges, 53849 markings/sec, 245 secs
lola: sara is running 250 secs || 15667254 markings, 59905762 edges, 54797 markings/sec, 250 secs
lola: sara is running 255 secs || 15960058 markings, 61052457 edges, 58561 markings/sec, 255 secs
lola: sara is running 260 secs || 16245995 markings, 62341366 edges, 57187 markings/sec, 260 secs
lola: sara is running 265 secs || 16538744 markings, 63740329 edges, 58550 markings/sec, 265 secs
lola: sara is running 270 secs || 16826619 markings, 65106802 edges, 57575 markings/sec, 270 secs
lola: sara is running 275 secs || 17092405 markings, 66583014 edges, 53157 markings/sec, 275 secs
lola: sara is running 280 secs || 17394218 markings, 67921418 edges, 60363 markings/sec, 280 secs
lola: sara is running 285 secs || 17677711 markings, 69256100 edges, 56699 markings/sec, 285 secs
lola: sara is running 290 secs || 17939879 markings, 70657908 edges, 52434 markings/sec, 290 secs
lola: sara is running 295 secs || 18198483 markings, 72100146 edges, 51721 markings/sec, 295 secs
lola: sara is running 300 secs || 18474602 markings, 73394432 edges, 55224 markings/sec, 300 secs
lola: sara is running 305 secs || 18745491 markings, 74841540 edges, 54178 markings/sec, 305 secs
lola: sara is running 310 secs || 19057864 markings, 76234226 edges, 62475 markings/sec, 310 secs
lola: sara is running 315 secs || 19423760 markings, 77638178 edges, 73179 markings/sec, 315 secs
lola: sara is running 320 secs || 19755052 markings, 79115253 edges, 66258 markings/sec, 320 secs
lola: sara is running 325 secs || 20115289 markings, 80492605 edges, 72047 markings/sec, 325 secs
lola: sara is running 330 secs || 20438476 markings, 81969879 edges, 64637 markings/sec, 330 secs
lola: sara is running 335 secs || 20803867 markings, 83348157 edges, 73078 markings/sec, 335 secs
lola: sara is running 340 secs || 21149896 markings, 84722588 edges, 69206 markings/sec, 340 secs
lola: sara is running 345 secs || 21479156 markings, 86296441 edges, 65852 markings/sec, 345 secs
lola: sara is running 350 secs || 21808105 markings, 87919011 edges, 65790 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A13 <= A19) AND (3 <= A21) AND ((A18 <= A20) OR (A1 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 347449 markings, 1111383 edges, 69490 markings/sec, 0 secs
lola: sara is running 5 secs || 659486 markings, 2353231 edges, 62407 markings/sec, 5 secs
lola: sara is running 10 secs || 987313 markings, 3550949 edges, 65565 markings/sec, 10 secs
lola: sara is running 15 secs || 1307471 markings, 4686496 edges, 64032 markings/sec, 15 secs
lola: sara is running 20 secs || 1634404 markings, 5907721 edges, 65387 markings/sec, 20 secs
lola: sara is running 25 secs || 1941342 markings, 7078422 edges, 61388 markings/sec, 25 secs
lola: sara is running 30 secs || 2242461 markings, 8236409 edges, 60224 markings/sec, 30 secs
lola: sara is running 35 secs || 2550512 markings, 9371763 edges, 61610 markings/sec, 35 secs
lola: sara is running 40 secs || 2872110 markings, 10509903 edges, 64320 markings/sec, 40 secs
lola: sara is running 45 secs || 3158792 markings, 11942695 edges, 57336 markings/sec, 45 secs
lola: sara is running 50 secs || 3463049 markings, 13171970 edges, 60851 markings/sec, 50 secs
lola: sara is running 55 secs || 3746508 markings, 14532384 edges, 56692 markings/sec, 55 secs
lola: sara is running 60 secs || 4034236 markings, 15904677 edges, 57546 markings/sec, 60 secs
lola: sara is running 65 secs || 4323258 markings, 17295460 edges, 57804 markings/sec, 65 secs
lola: sara is running 70 secs || 4621562 markings, 18646144 edges, 59661 markings/sec, 70 secs
lola: sara is running 75 secs || 4931662 markings, 19966542 edges, 62020 markings/sec, 75 secs
lola: sara is running 80 secs || 5248581 markings, 21196267 edges, 63384 markings/sec, 80 secs
lola: sara is running 85 secs || 5558139 markings, 22521387 edges, 61912 markings/sec, 85 secs
lola: sara is running 90 secs || 5859598 markings, 23760256 edges, 60292 markings/sec, 90 secs
lola: sara is running 95 secs || 6148153 markings, 24979079 edges, 57711 markings/sec, 95 secs
lola: sara is running 100 secs || 6452613 markings, 26258216 edges, 60892 markings/sec, 100 secs
lola: sara is running 105 secs || 6862448 markings, 27309467 edges, 81967 markings/sec, 105 secs
lola: sara is running 110 secs || 7211470 markings, 28606122 edges, 69804 markings/sec, 110 secs
lola: sara is running 115 secs || 7553819 markings, 30019810 edges, 68470 markings/sec, 115 secs
lola: sara is running 120 secs || 7889517 markings, 31295466 edges, 67140 markings/sec, 120 secs
lola: sara is running 125 secs || 8193710 markings, 32751617 edges, 60839 markings/sec, 125 secs
lola: sara is running 130 secs || 8476003 markings, 34090609 edges, 56459 markings/sec, 130 secs
lola: sara is running 135 secs || 8760968 markings, 35355549 edges, 56993 markings/sec, 135 secs
lola: sara is running 140 secs || 9036562 markings, 36758475 edges, 55119 markings/sec, 140 secs
lola: sara is running 145 secs || 9353347 markings, 37901947 edges, 63357 markings/sec, 145 secs
lola: sara is running 150 secs || 9651575 markings, 39243745 edges, 59646 markings/sec, 150 secs
lola: sara is running 155 secs || 9942264 markings, 40667497 edges, 58138 markings/sec, 155 secs
lola: sara is running 160 secs || 10233625 markings, 42136936 edges, 58272 markings/sec, 160 secs
lola: sara is running 165 secs || 10513616 markings, 43683968 edges, 55998 markings/sec, 165 secs
lola: sara is running 170 secs || 10778404 markings, 44924666 edges, 52958 markings/sec, 170 secs
lola: sara is running 175 secs || 11034501 markings, 46254731 edges, 51219 markings/sec, 175 secs
lola: sara is running 180 secs || 11307593 markings, 47542762 edges, 54618 markings/sec, 180 secs
lola: sara is running 185 secs || 11583719 markings, 48821224 edges, 55225 markings/sec, 185 secs
lola: sara is running 190 secs || 11832999 markings, 50126424 edges, 49856 markings/sec, 190 secs
lola: sara is running 195 secs || 12088540 markings, 51418703 edges, 51108 markings/sec, 195 secs
lola: sara is running 200 secs || 12362174 markings, 52695686 edges, 54727 markings/sec, 200 secs
lola: sara is running 205 secs || 12628838 markings, 53925063 edges, 53333 markings/sec, 205 secs
lola: sara is running 210 secs || 12873810 markings, 55295923 edges, 48994 markings/sec, 210 secs
lola: sara is running 215 secs || 13143671 markings, 56593269 edges, 53972 markings/sec, 215 secs
lola: sara is running 220 secs || 13423716 markings, 57859998 edges, 56009 markings/sec, 220 secs
lola: sara is running 225 secs || 13718185 markings, 59228207 edges, 58894 markings/sec, 225 secs
lola: sara is running 230 secs || 13998685 markings, 60557045 edges, 56100 markings/sec, 230 secs
lola: sara is running 235 secs || 14268901 markings, 61983259 edges, 54043 markings/sec, 235 secs
lola: sara is running 240 secs || 14546470 markings, 63378783 edges, 55514 markings/sec, 240 secs
lola: sara is running 245 secs || 14838080 markings, 64721105 edges, 58322 markings/sec, 245 secs
lola: sara is running 250 secs || 15154974 markings, 65905541 edges, 63379 markings/sec, 250 secs
lola: sara is running 255 secs || 15481082 markings, 66994661 edges, 65222 markings/sec, 255 secs
lola: sara is running 260 secs || 15786927 markings, 68384277 edges, 61169 markings/sec, 260 secs
lola: sara is running 265 secs || 16090739 markings, 69800126 edges, 60762 markings/sec, 265 secs
lola: sara is running 270 secs || 16385242 markings, 71285212 edges, 58901 markings/sec, 270 secs
lola: sara is running 275 secs || 16682010 markings, 72615915 edges, 59354 markings/sec, 275 secs
lola: sara is running 280 secs || 16977946 markings, 73919883 edges, 59187 markings/sec, 280 secs
lola: sara is running 285 secs || 17269752 markings, 75167326 edges, 58361 markings/sec, 285 secs
lola: sara is running 290 secs || 17544688 markings, 76524041 edges, 54987 markings/sec, 290 secs
lola: sara is running 295 secs || 17803755 markings, 77897756 edges, 51813 markings/sec, 295 secs
lola: sara is running 300 secs || 18064757 markings, 79120202 edges, 52200 markings/sec, 300 secs
lola: sara is running 305 secs || 18323710 markings, 80500184 edges, 51791 markings/sec, 305 secs
lola: sara is running 310 secs || 18591262 markings, 81654646 edges, 53510 markings/sec, 310 secs
lola: sara is running 315 secs || 18857574 markings, 82990222 edges, 53262 markings/sec, 315 secs
lola: sara is running 320 secs || 19147215 markings, 84163460 edges, 57928 markings/sec, 320 secs
lola: sara is running 325 secs || 19416770 markings, 85476610 edges, 53911 markings/sec, 325 secs
lola: sara is running 330 secs || 19675089 markings, 86848856 edges, 51664 markings/sec, 330 secs
lola: sara is running 335 secs || 19934302 markings, 88057334 edges, 51843 markings/sec, 335 secs
lola: sara is running 340 secs || 20194116 markings, 89314908 edges, 51963 markings/sec, 340 secs
lola: sara is running 345 secs || 20463565 markings, 90573244 edges, 53890 markings/sec, 345 secs
lola: sara is running 350 secs || 20723672 markings, 91834939 edges, 52021 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A22)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 305511 markings, 858516 edges, 61102 markings/sec, 0 secs
lola: sara is running 5 secs || 595326 markings, 1685087 edges, 57963 markings/sec, 5 secs
lola: sara is running 10 secs || 870778 markings, 2601682 edges, 55090 markings/sec, 10 secs
lola: sara is running 15 secs || 1153523 markings, 3490895 edges, 56549 markings/sec, 15 secs
lola: sara is running 20 secs || 1435875 markings, 4358470 edges, 56470 markings/sec, 20 secs
lola: sara is running 25 secs || 1712198 markings, 5249705 edges, 55265 markings/sec, 25 secs
lola: sara is running 30 secs || 1985703 markings, 6145782 edges, 54701 markings/sec, 30 secs
lola: sara is running 35 secs || 2271737 markings, 7066430 edges, 57207 markings/sec, 35 secs
lola: sara is running 40 secs || 2567671 markings, 7906915 edges, 59187 markings/sec, 40 secs
lola: sara is running 45 secs || 2853206 markings, 8761839 edges, 57107 markings/sec, 45 secs
lola: sara is running 50 secs || 3130385 markings, 9654673 edges, 55436 markings/sec, 50 secs
lola: sara is running 55 secs || 3410376 markings, 10504542 edges, 55998 markings/sec, 55 secs
lola: sara is running 60 secs || 3683577 markings, 11365851 edges, 54640 markings/sec, 60 secs
lola: sara is running 65 secs || 3958271 markings, 12274228 edges, 54939 markings/sec, 65 secs
lola: sara is running 70 secs || 4230606 markings, 13201599 edges, 54467 markings/sec, 70 secs
lola: sara is running 75 secs || 4499552 markings, 14133303 edges, 53789 markings/sec, 75 secs
lola: sara is running 80 secs || 4768060 markings, 15099076 edges, 53702 markings/sec, 80 secs
lola: sara is running 85 secs || 5024355 markings, 16212686 edges, 51259 markings/sec, 85 secs
lola: sara is running 90 secs || 5276947 markings, 17455304 edges, 50518 markings/sec, 90 secs
lola: sara is running 95 secs || 5522783 markings, 18729061 edges, 49167 markings/sec, 95 secs
lola: sara is running 100 secs || 5768123 markings, 19976273 edges, 49068 markings/sec, 100 secs
lola: sara is running 105 secs || 6032615 markings, 21173647 edges, 52898 markings/sec, 105 secs
lola: sara is running 110 secs || 6279587 markings, 22380766 edges, 49394 markings/sec, 110 secs
lola: sara is running 115 secs || 6522816 markings, 23598454 edges, 48646 markings/sec, 115 secs
lola: sara is running 120 secs || 6780166 markings, 24816833 edges, 51470 markings/sec, 120 secs
lola: sara is running 125 secs || 7038427 markings, 25977624 edges, 51652 markings/sec, 125 secs
lola: sara is running 130 secs || 7284101 markings, 27145842 edges, 49135 markings/sec, 130 secs
lola: sara is running 135 secs || 7532996 markings, 28356730 edges, 49779 markings/sec, 135 secs
lola: sara is running 140 secs || 7774485 markings, 29615787 edges, 48298 markings/sec, 140 secs
lola: sara is running 145 secs || 8006308 markings, 31084292 edges, 46365 markings/sec, 145 secs
lola: sara is running 150 secs || 8253859 markings, 32402864 edges, 49510 markings/sec, 150 secs
lola: sara is running 155 secs || 8505438 markings, 33617674 edges, 50316 markings/sec, 155 secs
lola: sara is running 160 secs || 8751612 markings, 34820351 edges, 49235 markings/sec, 160 secs
lola: sara is running 165 secs || 8993073 markings, 36038442 edges, 48292 markings/sec, 165 secs
lola: sara is running 170 secs || 9250832 markings, 37257208 edges, 51552 markings/sec, 170 secs
lola: sara is running 175 secs || 9505172 markings, 38422080 edges, 50868 markings/sec, 175 secs
lola: sara is running 180 secs || 9749775 markings, 39580072 edges, 48921 markings/sec, 180 secs
lola: sara is running 185 secs || 9997245 markings, 40802749 edges, 49494 markings/sec, 185 secs
lola: sara is running 190 secs || 10240083 markings, 42025866 edges, 48568 markings/sec, 190 secs
lola: sara is running 195 secs || 10470374 markings, 43461449 edges, 46058 markings/sec, 195 secs
lola: sara is running 200 secs || 10695113 markings, 44938322 edges, 44948 markings/sec, 200 secs
lola: sara is running 205 secs || 10926080 markings, 46377244 edges, 46193 markings/sec, 205 secs
lola: sara is running 210 secs || 11160396 markings, 47834488 edges, 46863 markings/sec, 210 secs
lola: sara is running 215 secs || 11390430 markings, 49254609 edges, 46007 markings/sec, 215 secs
lola: sara is running 220 secs || 11613232 markings, 50795932 edges, 44560 markings/sec, 220 secs
lola: sara is running 225 secs || 11867386 markings, 52150226 edges, 50831 markings/sec, 225 secs
lola: sara is running 230 secs || 12123248 markings, 53340712 edges, 51172 markings/sec, 230 secs
lola: sara is running 235 secs || 12373681 markings, 54528414 edges, 50087 markings/sec, 235 secs
lola: sara is running 240 secs || 12633380 markings, 55767375 edges, 51940 markings/sec, 240 secs
lola: sara is running 245 secs || 12887595 markings, 57002967 edges, 50843 markings/sec, 245 secs
lola: sara is running 250 secs || 13137347 markings, 58172112 edges, 49950 markings/sec, 250 secs
lola: sara is running 255 secs || 13381992 markings, 59427946 edges, 48929 markings/sec, 255 secs
lola: sara is running 260 secs || 13625894 markings, 60677918 edges, 48780 markings/sec, 260 secs
lola: sara is running 265 secs || 13862911 markings, 62181242 edges, 47403 markings/sec, 265 secs
lola: sara is running 270 secs || 14101386 markings, 63667575 edges, 47695 markings/sec, 270 secs
lola: sara is running 275 secs || 14327546 markings, 65132928 edges, 45232 markings/sec, 275 secs
lola: sara is running 280 secs || 14562363 markings, 66597782 edges, 46963 markings/sec, 280 secs
lola: sara is running 285 secs || 14786870 markings, 68069373 edges, 44901 markings/sec, 285 secs
lola: sara is running 290 secs || 15013281 markings, 69707539 edges, 45282 markings/sec, 290 secs
lola: sara is running 295 secs || 15242076 markings, 71168167 edges, 45759 markings/sec, 295 secs
lola: sara is running 300 secs || 15474973 markings, 72661476 edges, 46579 markings/sec, 300 secs
lola: sara is running 305 secs || 15701037 markings, 74126696 edges, 45213 markings/sec, 305 secs
lola: sara is running 310 secs || 15921000 markings, 75715872 edges, 43993 markings/sec, 310 secs
lola: sara is running 315 secs || 16137817 markings, 77410589 edges, 43363 markings/sec, 315 secs
lola: sara is running 320 secs || 16349114 markings, 79101150 edges, 42259 markings/sec, 320 secs
lola: sara is running 325 secs || 16608320 markings, 80417885 edges, 51841 markings/sec, 325 secs
lola: sara is running 330 secs || 16862013 markings, 81618083 edges, 50739 markings/sec, 330 secs
lola: sara is running 335 secs || 17110925 markings, 82806716 edges, 49782 markings/sec, 335 secs
lola: sara is running 340 secs || 17365911 markings, 84045114 edges, 50997 markings/sec, 340 secs
lola: sara is running 345 secs || 17622201 markings, 85288884 edges, 51258 markings/sec, 345 secs
lola: sara is running 350 secs || 17869689 markings, 86476809 edges, 49498 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 357 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A5 <= 2) OR (A6 + 1 <= A27) OR (3 <= A10))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 327538 markings, 1110196 edges, 65508 markings/sec, 0 secs
lola: sara is running 5 secs || 627822 markings, 2380138 edges, 60057 markings/sec, 5 secs
lola: sara is running 10 secs || 908003 markings, 3724606 edges, 56036 markings/sec, 10 secs
lola: sara is running 15 secs || 1174274 markings, 5111070 edges, 53254 markings/sec, 15 secs
lola: sara is running 20 secs || 1484630 markings, 6362375 edges, 62071 markings/sec, 20 secs
lola: sara is running 25 secs || 1808004 markings, 7587420 edges, 64675 markings/sec, 25 secs
lola: sara is running 30 secs || 2143798 markings, 8815911 edges, 67159 markings/sec, 30 secs
lola: sara is running 35 secs || 2467011 markings, 10088602 edges, 64643 markings/sec, 35 secs
lola: sara is running 40 secs || 2742721 markings, 11280169 edges, 55142 markings/sec, 40 secs
lola: sara is running 45 secs || 3006120 markings, 12571975 edges, 52680 markings/sec, 45 secs
lola: sara is running 50 secs || 3251703 markings, 13882259 edges, 49117 markings/sec, 50 secs
lola: sara is running 55 secs || 3522381 markings, 15159742 edges, 54136 markings/sec, 55 secs
lola: sara is running 60 secs || 3780429 markings, 16491536 edges, 51610 markings/sec, 60 secs
lola: sara is running 65 secs || 4026041 markings, 17825787 edges, 49122 markings/sec, 65 secs
lola: sara is running 70 secs || 4316932 markings, 19057478 edges, 58178 markings/sec, 70 secs
lola: sara is running 75 secs || 4598878 markings, 20345124 edges, 56389 markings/sec, 75 secs
lola: sara is running 80 secs || 4870356 markings, 21583950 edges, 54296 markings/sec, 80 secs
lola: sara is running 85 secs || 5185431 markings, 22787100 edges, 63015 markings/sec, 85 secs
lola: sara is running 90 secs || 5453108 markings, 24006407 edges, 53535 markings/sec, 90 secs
lola: sara is running 95 secs || 5760868 markings, 25306576 edges, 61552 markings/sec, 95 secs
lola: sara is running 100 secs || 6009218 markings, 26599036 edges, 49670 markings/sec, 100 secs
lola: sara is running 105 secs || 6256283 markings, 27908536 edges, 49413 markings/sec, 105 secs
lola: sara is running 110 secs || 6541334 markings, 29123271 edges, 57010 markings/sec, 110 secs
lola: sara is running 115 secs || 6852586 markings, 30289971 edges, 62250 markings/sec, 115 secs
lola: sara is running 120 secs || 7146534 markings, 31601732 edges, 58790 markings/sec, 120 secs
lola: sara is running 125 secs || 7440837 markings, 32975496 edges, 58861 markings/sec, 125 secs
lola: sara is running 130 secs || 7714702 markings, 34562117 edges, 54773 markings/sec, 130 secs
lola: sara is running 135 secs || 7950940 markings, 36124960 edges, 47248 markings/sec, 135 secs
lola: sara is running 140 secs || 8231602 markings, 37556677 edges, 56132 markings/sec, 140 secs
lola: sara is running 145 secs || 8461904 markings, 39025202 edges, 46060 markings/sec, 145 secs
lola: sara is running 150 secs || 8735962 markings, 40599015 edges, 54812 markings/sec, 150 secs
lola: sara is running 155 secs || 8961565 markings, 42140200 edges, 45121 markings/sec, 155 secs
lola: sara is running 160 secs || 9177102 markings, 43668808 edges, 43107 markings/sec, 160 secs
lola: sara is running 165 secs || 9425078 markings, 45226505 edges, 49595 markings/sec, 165 secs
lola: sara is running 170 secs || 9688507 markings, 46703521 edges, 52686 markings/sec, 170 secs
lola: sara is running 175 secs || 9955978 markings, 48218154 edges, 53494 markings/sec, 175 secs
lola: sara is running 180 secs || 10214395 markings, 49805235 edges, 51683 markings/sec, 180 secs
lola: sara is running 185 secs || 10504416 markings, 51320688 edges, 58004 markings/sec, 185 secs
lola: sara is running 190 secs || 10771141 markings, 52742714 edges, 53345 markings/sec, 190 secs
lola: sara is running 195 secs || 11032259 markings, 54154667 edges, 52224 markings/sec, 195 secs
lola: sara is running 200 secs || 11282371 markings, 55628278 edges, 50022 markings/sec, 200 secs
lola: sara is running 205 secs || 11546504 markings, 57102721 edges, 52827 markings/sec, 205 secs
lola: sara is running 210 secs || 11808172 markings, 58515791 edges, 52334 markings/sec, 210 secs
lola: sara is running 215 secs || 12068446 markings, 59984419 edges, 52055 markings/sec, 215 secs
lola: sara is running 220 secs || 12342316 markings, 61658879 edges, 54774 markings/sec, 220 secs
lola: sara is running 225 secs || 12580445 markings, 63339732 edges, 47626 markings/sec, 225 secs
lola: sara is running 230 secs || 12796772 markings, 65030610 edges, 43265 markings/sec, 230 secs
lola: sara is running 235 secs || 13086551 markings, 66598355 edges, 57956 markings/sec, 235 secs
lola: sara is running 240 secs || 13425003 markings, 67698147 edges, 67690 markings/sec, 240 secs
lola: sara is running 245 secs || 13747568 markings, 68864502 edges, 64513 markings/sec, 245 secs
lola: sara is running 250 secs || 14041146 markings, 70241108 edges, 58716 markings/sec, 250 secs
lola: sara is running 255 secs || 14349792 markings, 71517691 edges, 61729 markings/sec, 255 secs
lola: sara is running 260 secs || 14700192 markings, 72687037 edges, 70080 markings/sec, 260 secs
lola: sara is running 265 secs || 15030812 markings, 74045855 edges, 66124 markings/sec, 265 secs
lola: sara is running 270 secs || 15324880 markings, 75506675 edges, 58814 markings/sec, 270 secs
lola: sara is running 275 secs || 15645249 markings, 76828047 edges, 64074 markings/sec, 275 secs
lola: sara is running 280 secs || 15925222 markings, 78153315 edges, 55995 markings/sec, 280 secs
lola: sara is running 285 secs || 16189044 markings, 79478100 edges, 52764 markings/sec, 285 secs
lola: sara is running 290 secs || 16439566 markings, 80911979 edges, 50104 markings/sec, 290 secs
lola: sara is running 295 secs || 16717123 markings, 82336634 edges, 55511 markings/sec, 295 secs
lola: sara is running 300 secs || 17013146 markings, 83778616 edges, 59205 markings/sec, 300 secs
lola: sara is running 305 secs || 17300157 markings, 85152863 edges, 57402 markings/sec, 305 secs
lola: sara is running 310 secs || 17579047 markings, 86552270 edges, 55778 markings/sec, 310 secs
lola: sara is running 315 secs || 17837138 markings, 88133787 edges, 51618 markings/sec, 315 secs
lola: sara is running 320 secs || 18084150 markings, 89707669 edges, 49402 markings/sec, 320 secs
lola: sara is running 325 secs || 18353100 markings, 91058156 edges, 53790 markings/sec, 325 secs
lola: sara is running 330 secs || 18590187 markings, 92535834 edges, 47417 markings/sec, 330 secs
lola: sara is running 335 secs || 18824650 markings, 93865622 edges, 46893 markings/sec, 335 secs
lola: sara is running 340 secs || 19044126 markings, 95332074 edges, 43895 markings/sec, 340 secs
lola: sara is running 345 secs || 19272087 markings, 96761328 edges, 45592 markings/sec, 345 secs
lola: sara is running 350 secs || 19529209 markings, 98233538 edges, 51424 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 358 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A27 <= 2) OR (2 <= A20) OR ((3 <= A14) AND (3 <= A17)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 451794 markings, 973420 edges, 90359 markings/sec, 0 secs
lola: sara is running 5 secs || 873057 markings, 1976930 edges, 84253 markings/sec, 5 secs
lola: sara is running 10 secs || 1291302 markings, 3012556 edges, 83649 markings/sec, 10 secs
lola: sara is running 15 secs || 1643240 markings, 4130065 edges, 70388 markings/sec, 15 secs
lola: sara is running 20 secs || 1939471 markings, 5310349 edges, 59246 markings/sec, 20 secs
lola: sara is running 25 secs || 2240695 markings, 6562557 edges, 60245 markings/sec, 25 secs
lola: sara is running 30 secs || 2580687 markings, 7736514 edges, 67998 markings/sec, 30 secs
lola: sara is running 35 secs || 2882223 markings, 8888147 edges, 60307 markings/sec, 35 secs
lola: sara is running 40 secs || 3172243 markings, 10022106 edges, 58004 markings/sec, 40 secs
lola: sara is running 45 secs || 3461995 markings, 11287692 edges, 57950 markings/sec, 45 secs
lola: sara is running 50 secs || 3773827 markings, 12565884 edges, 62366 markings/sec, 50 secs
lola: sara is running 55 secs || 4079051 markings, 13837945 edges, 61045 markings/sec, 55 secs
lola: sara is running 60 secs || 4379158 markings, 15121022 edges, 60021 markings/sec, 60 secs
lola: sara is running 65 secs || 4787950 markings, 16412077 edges, 81758 markings/sec, 65 secs
lola: sara is running 70 secs || 5204412 markings, 17555812 edges, 83292 markings/sec, 70 secs
lola: sara is running 75 secs || 5545059 markings, 18700868 edges, 68129 markings/sec, 75 secs
lola: sara is running 80 secs || 5850838 markings, 19885539 edges, 61156 markings/sec, 80 secs
lola: sara is running 85 secs || 6162842 markings, 21041041 edges, 62401 markings/sec, 85 secs
lola: sara is running 90 secs || 6470251 markings, 22277671 edges, 61482 markings/sec, 90 secs
lola: sara is running 95 secs || 6890463 markings, 23512056 edges, 84042 markings/sec, 95 secs
lola: sara is running 100 secs || 7155559 markings, 24752240 edges, 53019 markings/sec, 100 secs
lola: sara is running 105 secs || 7399870 markings, 26097089 edges, 48862 markings/sec, 105 secs
lola: sara is running 110 secs || 7704988 markings, 27318220 edges, 61024 markings/sec, 110 secs
lola: sara is running 115 secs || 7998628 markings, 28549290 edges, 58728 markings/sec, 115 secs
lola: sara is running 120 secs || 8280550 markings, 29751751 edges, 56384 markings/sec, 120 secs
lola: sara is running 125 secs || 8611263 markings, 30975162 edges, 66143 markings/sec, 125 secs
lola: sara is running 130 secs || 8927698 markings, 32200329 edges, 63287 markings/sec, 130 secs
lola: sara is running 135 secs || 9225672 markings, 33421584 edges, 59595 markings/sec, 135 secs
lola: sara is running 140 secs || 9513593 markings, 34653072 edges, 57584 markings/sec, 140 secs
lola: sara is running 145 secs || 9771561 markings, 35953034 edges, 51594 markings/sec, 145 secs
lola: sara is running 150 secs || 10057747 markings, 37208090 edges, 57237 markings/sec, 150 secs
lola: sara is running 155 secs || 10343172 markings, 38514054 edges, 57085 markings/sec, 155 secs
lola: sara is running 160 secs || 10672995 markings, 39736593 edges, 65965 markings/sec, 160 secs
lola: sara is running 165 secs || 11018145 markings, 41121179 edges, 69030 markings/sec, 165 secs
lola: sara is running 170 secs || 11313762 markings, 42517215 edges, 59123 markings/sec, 170 secs
lola: sara is running 175 secs || 11599950 markings, 43833928 edges, 57238 markings/sec, 175 secs
lola: sara is running 180 secs || 11872014 markings, 45304245 edges, 54413 markings/sec, 180 secs
lola: sara is running 185 secs || 12182175 markings, 46807505 edges, 62032 markings/sec, 185 secs
lola: sara is running 190 secs || 12508338 markings, 48267234 edges, 65233 markings/sec, 190 secs
lola: sara is running 195 secs || 12746101 markings, 49821895 edges, 47553 markings/sec, 195 secs
lola: sara is running 200 secs || 13013675 markings, 51247315 edges, 53515 markings/sec, 200 secs
lola: sara is running 205 secs || 13286189 markings, 52710054 edges, 54503 markings/sec, 205 secs
lola: sara is running 210 secs || 13569544 markings, 54129418 edges, 56671 markings/sec, 210 secs
lola: sara is running 215 secs || 13836820 markings, 55468788 edges, 53455 markings/sec, 215 secs
lola: sara is running 220 secs || 14067583 markings, 56825361 edges, 46153 markings/sec, 220 secs
lola: sara is running 225 secs || 14306915 markings, 58299636 edges, 47866 markings/sec, 225 secs
lola: sara is running 230 secs || 14584886 markings, 59614684 edges, 55594 markings/sec, 230 secs
lola: sara is running 235 secs || 14876479 markings, 60974036 edges, 58319 markings/sec, 235 secs
lola: sara is running 240 secs || 15180503 markings, 62237259 edges, 60805 markings/sec, 240 secs
lola: sara is running 245 secs || 15461430 markings, 63571975 edges, 56185 markings/sec, 245 secs
lola: sara is running 250 secs || 15754968 markings, 64964473 edges, 58708 markings/sec, 250 secs
lola: sara is running 255 secs || 16058730 markings, 66275790 edges, 60752 markings/sec, 255 secs
lola: sara is running 260 secs || 16331428 markings, 67568138 edges, 54540 markings/sec, 260 secs
lola: sara is running 265 secs || 16617411 markings, 68902780 edges, 57197 markings/sec, 265 secs
lola: sara is running 270 secs || 16857122 markings, 70237473 edges, 47942 markings/sec, 270 secs
lola: sara is running 275 secs || 17119732 markings, 71579522 edges, 52522 markings/sec, 275 secs
lola: sara is running 280 secs || 17350302 markings, 72931130 edges, 46114 markings/sec, 280 secs
lola: sara is running 285 secs || 17615129 markings, 74366242 edges, 52965 markings/sec, 285 secs
lola: sara is running 290 secs || 17882254 markings, 75950484 edges, 53425 markings/sec, 290 secs
lola: sara is running 295 secs || 18120822 markings, 77539148 edges, 47714 markings/sec, 295 secs
lola: sara is running 300 secs || 18355685 markings, 79040159 edges, 46973 markings/sec, 300 secs
lola: sara is running 305 secs || 18615765 markings, 80493735 edges, 52016 markings/sec, 305 secs
lola: sara is running 310 secs || 19046289 markings, 81499687 edges, 86105 markings/sec, 310 secs
lola: sara is running 315 secs || 19414772 markings, 82666350 edges, 73697 markings/sec, 315 secs
lola: sara is running 320 secs || 19795660 markings, 83732755 edges, 76178 markings/sec, 320 secs
lola: sara is running 325 secs || 20162205 markings, 84821248 edges, 73309 markings/sec, 325 secs
lola: sara is running 330 secs || 20520695 markings, 85891819 edges, 71698 markings/sec, 330 secs
lola: sara is running 335 secs || 20842246 markings, 87018480 edges, 64310 markings/sec, 335 secs
lola: sara is running 340 secs || 21143966 markings, 88148108 edges, 60344 markings/sec, 340 secs
lola: sara is running 345 secs || 21479231 markings, 89333723 edges, 67053 markings/sec, 345 secs
lola: sara is running 350 secs || 21796038 markings, 90412858 edges, 63361 markings/sec, 350 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '`'
Aborted (core dumped)
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-13ringRLLarge-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
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="DNAwalker-PT-13ringRLLarge"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-13ringRLLarge.tgz
mv DNAwalker-PT-13ringRLLarge 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 mcc4mcc-full"
echo " Input is DNAwalker-PT-13ringRLLarge, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649743100313"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '
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 ;