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 2.3M
-rw-r--r-- 1 mcc users 3.3K 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.3K 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.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCround-PT-13b, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649744000154
=====================================================================

--------------------
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 DLCround-PT-13b-ReachabilityFireability-00
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-01
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-02
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-03
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-04
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-05
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-06
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-07
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-08
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-09
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-10
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-11
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-12
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-13
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-14
FORMULA_NAME DLCround-PT-13b-ReachabilityFireability-15

=== Now, execution of the tool begins

BK_START 1526711538503


BK_STOP 1526712782259

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-13b as instance name.
Using DLCround as model name.
Using algorithm or tool decision-tree.
Model characteristics are: {'Examination': 'ReachabilityFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 65682, 'Memory': 737.36, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityFireability lola DLCround-PT-13b...
----- Start make prepare stderr -----

Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete


checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula ReachabilityFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityFireability @ DLCround-PT-13b @ 3539 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stdout -----
----- 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: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-ReachabilityFireability.task
lola: E (F (FIREABLE(t7317))) : E (F (FIREABLE(t5243))) : A (G (NOT FIREABLE(t4809))) : E (F (((NOT FIREABLE(t88) OR NOT FIREABLE(t5275)) AND FIREABLE(t2079) AND ((FIREABLE(t3718) AND FIREABLE(t651)) OR (FIREABLE(t5964) AND FIREABLE(t3025) AND (FIREABLE(t7269) OR FIREABLE(t5534))))))) : E (F ((FIREABLE(t377) AND FIREABLE(t7710) AND FIREABLE(t6899)))) : E (F ((FIREABLE(t3320) AND FIREABLE(t2846) AND NOT FIREABLE(t5168)))) : E (F ((NOT FIREABLE(t1966) AND NOT FIREABLE(t7199) AND FIREABLE(t6256) AND FIREABLE(t1567) AND FIREABLE(t365)))) : E (F (((NOT FIREABLE(t5395) OR FIREABLE(t7036)) AND FIREABLE(t3958) AND (NOT FIREABLE(t6596) OR FIREABLE(t8025) OR FIREABLE(t8667) OR FIREABLE(t6220) OR FIREABLE(t390) OR FIREABLE(t7976))))) : E (F (((FIREABLE(t2239) OR (NOT FIREABLE(t5276) AND FIREABLE(t5971))) AND (FIREABLE(t3552) OR FIREABLE(t5585) OR NOT FIREABLE(t5959) OR FIREABLE(t200))))) : A (G ((NOT FIREABLE(t6300) OR NOT FIREABLE(t7926) OR NOT FIREABLE(t4795) OR FIREABLE(t108)))) : E (F (((NOT FIREABLE(t3516) OR NOT FIREABLE(t7858)) AND FIREABLE(t6139) AND FIREABLE(t7387)))) : A (G ((NOT FIREABLE(t2237) OR NOT FIREABLE(t5626) OR (NOT FIREABLE(t8703) AND NOT FIREABLE(t2608)) OR NOT FIREABLE(t2599) OR NOT FIREABLE(t4317) OR (FIREABLE(t5402) AND FIREABLE(t7251) AND FIREABLE(t5768) AND FIREABLE(t365))))) : E (F (((NOT FIREABLE(t7986) AND NOT FIREABLE(t7535) AND FIREABLE(t4290)) OR FIREABLE(t416)))) : A (G ((NOT FIREABLE(t8660) OR NOT FIREABLE(t4218) OR (NOT FIREABLE(t3585) AND NOT FIREABLE(t7240)) OR NOT FIREABLE(t5682)))) : E (F ((FIREABLE(t7215) OR (FIREABLE(t2236) AND FIREABLE(t3407))))) : E (F (FIREABLE(t5845)))
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 (FIREABLE(t7317)))
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 632 bytes per marking, with 25 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 280 markings, 279 edges
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability.sara
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t5243)))
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 632 bytes per marking, with 25 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 DLCround-PT-13b-ReachabilityFireability.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 49 markings, 48 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t4809)))
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 632 bytes per marking, with 25 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 DLCround-PT-13b-ReachabilityFireability-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-2.sara.
lola: sara is running 0 secs || 14463 markings, 17494 edges, 2893 markings/sec, 0 secs
lola: sara is running 5 secs || 28489 markings, 34817 edges, 2805 markings/sec, 5 secs
lola: sara is running 10 secs || 43252 markings, 52623 edges, 2953 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 58384 markings, 71232 edges, 3026 markings/sec, 15 secs
lola: sara is running 20 secs || 73462 markings, 88749 edges, 3016 markings/sec, 20 secs
lola: sara is running 25 secs || 88563 markings, 106280 edges, 3020 markings/sec, 25 secs
lola: sara is running 30 secs || 103659 markings, 123839 edges, 3019 markings/sec, 30 secs
lola: sara is running 35 secs || 118710 markings, 141320 edges, 3010 markings/sec, 35 secs
lola: sara is running 40 secs || 133776 markings, 158815 edges, 3013 markings/sec, 40 secs
lola: sara is running 45 secs || 148776 markings, 176416 edges, 3000 markings/sec, 45 secs
lola: sara is running 50 secs || 164198 markings, 195190 edges, 3084 markings/sec, 50 secs
lola: sara is running 55 secs || 179655 markings, 213964 edges, 3091 markings/sec, 55 secs
lola: sara is running 60 secs || 195158 markings, 232300 edges, 3101 markings/sec, 60 secs
lola: sara is running 65 secs || 210599 markings, 250898 edges, 3088 markings/sec, 65 secs
lola: sara is running 70 secs || 225803 markings, 269123 edges, 3041 markings/sec, 70 secs

lola: sara is running 75 secs || 240662 markings, 286579 edges, 2972 markings/sec, 75 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: subprocess 3 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t88) OR NOT FIREABLE(t5275)) AND FIREABLE(t2079) AND ((FIREABLE(t3718) AND FIREABLE(t651)) OR (FIREABLE(t5964) AND FIREABLE(t3025) AND (FIREABLE(t7269) OR FIREABLE(t5534)))))))
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 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: ========================================
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 54 literals and 9 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-3.sara.
lola: sara is running 0 secs || 41345 markings, 47168 edges, 8269 markings/sec, 0 secs
lola: sara is running 5 secs || 84467 markings, 96627 edges, 8624 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 127400 markings, 146024 edges, 8587 markings/sec, 10 secs
lola: sara is running 15 secs || 170848 markings, 196210 edges, 8690 markings/sec, 15 secs
lola: sara is running 20 secs || 213240 markings, 244845 edges, 8478 markings/sec, 20 secs
lola: sara is running 25 secs || 255519 markings, 293384 edges, 8456 markings/sec, 25 secs
lola: sara is running 30 secs || 298837 markings, 342991 edges, 8664 markings/sec, 30 secs
lola: sara is running 35 secs || 341985 markings, 392384 edges, 8630 markings/sec, 35 secs
lola: sara is running 40 secs || 384966 markings, 441658 edges, 8596 markings/sec, 40 secs
lola: sara is running 45 secs || 427287 markings, 490011 edges, 8464 markings/sec, 45 secs
lola: sara is running 50 secs || 470337 markings, 539464 edges, 8610 markings/sec, 50 secs
lola: sara is running 55 secs || 514087 markings, 589950 edges, 8750 markings/sec, 55 secs
sara: warning, failure of lp_solve (at job 161)
lola: sara is running 60 secs || 556966 markings, 639411 edges, 8576 markings/sec, 60 secs
lola: sara is running 65 secs || 600166 markings, 688965 edges, 8640 markings/sec, 65 secs
lola: sara is running 70 secs || 644314 markings, 740047 edges, 8830 markings/sec, 70 secs
lola: sara is running 75 secs || 687063 markings, 789210 edges, 8550 markings/sec, 75 secs
lola: sara is running 80 secs || 729783 markings, 838057 edges, 8544 markings/sec, 80 secs
lola: sara is running 85 secs || 773668 markings, 888592 edges, 8777 markings/sec, 85 secs
lola: sara is running 90 secs || 816362 markings, 937674 edges, 8539 markings/sec, 90 secs
lola: sara is running 95 secs || 859405 markings, 987040 edges, 8609 markings/sec, 95 secs
lola: sara is running 100 secs || 902023 markings, 1036050 edges, 8524 markings/sec, 100 secs
lola: sara is running 105 secs || 944758 markings, 1085223 edges, 8547 markings/sec, 105 secs
lola: sara is running 110 secs || 987656 markings, 1134627 edges, 8580 markings/sec, 110 secs
lola: sara is running 115 secs || 1030318 markings, 1183688 edges, 8532 markings/sec, 115 secs
lola: sara is running 120 secs || 1072167 markings, 1231546 edges, 8370 markings/sec, 120 secs
lola: sara is running 125 secs || 1114834 markings, 1280615 edges, 8533 markings/sec, 125 secs
lola: sara is running 130 secs || 1156860 markings, 1328695 edges, 8405 markings/sec, 130 secs
lola: sara is running 135 secs || 1198889 markings, 1376830 edges, 8406 markings/sec, 135 secs
lola: sara is running 140 secs || 1241794 markings, 1426187 edges, 8581 markings/sec, 140 secs
lola: sara is running 145 secs || 1285439 markings, 1476625 edges, 8729 markings/sec, 145 secs
lola: sara is running 150 secs || 1327630 markings, 1524895 edges, 8438 markings/sec, 150 secs
lola: sara is running 155 secs || 1369679 markings, 1573087 edges, 8410 markings/sec, 155 secs
lola: sara is running 160 secs || 1411807 markings, 1621366 edges, 8426 markings/sec, 160 secs
lola: sara is running 165 secs || 1454360 markings, 1670312 edges, 8511 markings/sec, 165 secs
lola: sara is running 170 secs || 1495631 markings, 1717393 edges, 8254 markings/sec, 170 secs
lola: sara is running 175 secs || 1537435 markings, 1765236 edges, 8361 markings/sec, 175 secs
lola: sara is running 180 secs || 1579690 markings, 1813905 edges, 8451 markings/sec, 180 secs
lola: sara is running 185 secs || 1621280 markings, 1861673 edges, 8318 markings/sec, 185 secs
lola: sara is running 190 secs || 1662640 markings, 1908859 edges, 8272 markings/sec, 190 secs
lola: sara is running 195 secs || 1704347 markings, 1956524 edges, 8341 markings/sec, 195 secs
lola: sara is running 200 secs || 1745964 markings, 2004217 edges, 8323 markings/sec, 200 secs
lola: sara is running 205 secs || 1787637 markings, 2052018 edges, 8335 markings/sec, 205 secs
lola: sara is running 210 secs || 1829485 markings, 2100089 edges, 8370 markings/sec, 210 secs
lola: sara is running 215 secs || 1871151 markings, 2148066 edges, 8333 markings/sec, 215 secs
lola: sara is running 220 secs || 1912979 markings, 2196187 edges, 8366 markings/sec, 220 secs
lola: sara is running 225 secs || 1954213 markings, 2243716 edges, 8247 markings/sec, 225 secs
lola: sara is running 230 secs || 1996247 markings, 2292024 edges, 8407 markings/sec, 230 secs
lola: sara is running 235 secs || 2038070 markings, 2339832 edges, 8365 markings/sec, 235 secs
lola: sara is running 240 secs || 2079863 markings, 2387716 edges, 8359 markings/sec, 240 secs
lola: sara is running 245 secs || 2121709 markings, 2435919 edges, 8369 markings/sec, 245 secs
lola: sara is running 250 secs || 2163841 markings, 2484864 edges, 8426 markings/sec, 250 secs
lola: sara is running 255 secs || 2206365 markings, 2533977 edges, 8505 markings/sec, 255 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 265 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t377) AND FIREABLE(t7710) AND FIREABLE(t6899))))
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 632 bytes per marking, with 25 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 DLCround-PT-13b-ReachabilityFireability-4.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-4.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 483 markings, 482 edges
lola: ========================================
lola: subprocess 5 will run for 290 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t3320) AND FIREABLE(t2846) AND NOT FIREABLE(t5168))))
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 632 bytes per marking, with 25 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 DLCround-PT-13b-ReachabilityFireability-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-5.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 343 markings, 342 edges
lola: ========================================
lola: subprocess 6 will run for 319 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(t1966) AND NOT FIREABLE(t7199) AND FIREABLE(t6256) AND FIREABLE(t1567) AND FIREABLE(t365))))
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 632 bytes per marking, with 25 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 12 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-6.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 564 markings, 564 edges
lola: ========================================
lola: subprocess 7 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t5395) OR FIREABLE(t7036)) AND FIREABLE(t3958) AND (NOT FIREABLE(t6596) OR FIREABLE(t8025) OR FIREABLE(t8667) OR FIREABLE(t6220) OR FIREABLE(t390) OR FIREABLE(t7976)))))
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 632 bytes per marking, with 25 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 82 literals and 21 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-7.sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 12 markings, 11 edges
lola: ========================================
lola: subprocess 8 will run for 398 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((FIREABLE(t2239) OR (NOT FIREABLE(t5276) AND FIREABLE(t5971))) AND (FIREABLE(t3552) OR FIREABLE(t5585) OR NOT FIREABLE(t5959) OR FIREABLE(t200)))))
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 632 bytes per marking, with 25 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 53 literals and 15 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-8.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-8.sara.
lola: sara is running 0 secs || 14647 markings, 17198 edges, 2929 markings/sec, 0 secs
lola: sara is running 5 secs || 28968 markings, 34227 edges, 2864 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 29494 markings, 34845 edges
lola: ========================================
lola: subprocess 9 will run for 454 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t6300) OR NOT FIREABLE(t7926) OR NOT FIREABLE(t4795) OR FIREABLE(t108))))
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 632 bytes per marking, with 25 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 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-9.sara.
lola: sara is running 0 secs || 35718 markings, 39269 edges, 7144 markings/sec, 0 secs
lola: sara is running 5 secs || 69659 markings, 77101 edges, 6788 markings/sec, 5 secs
lola: sara is running 10 secs || 107830 markings, 119577 edges, 7634 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic

lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 10 will run for 527 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t3516) OR NOT FIREABLE(t7858)) AND FIREABLE(t6139) AND FIREABLE(t7387))))
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 632 bytes per marking, with 25 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 15 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-10.sara.
lola: sara is running 0 secs || 44298 markings, 53569 edges, 8860 markings/sec, 0 secs
lola: sara is running 5 secs || 88598 markings, 107258 edges, 8860 markings/sec, 5 secs
lola: sara is running 10 secs || 132465 markings, 160432 edges, 8773 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 177143 markings, 214573 edges, 8936 markings/sec, 15 secs
lola: sara is running 20 secs || 220879 markings, 267760 edges, 8747 markings/sec, 20 secs
lola: sara is running 25 secs || 265122 markings, 321719 edges, 8849 markings/sec, 25 secs
lola: sara is running 30 secs || 309685 markings, 375894 edges, 8913 markings/sec, 30 secs
lola: sara is running 35 secs || 353776 markings, 429619 edges, 8818 markings/sec, 35 secs
lola: sara is running 40 secs || 398237 markings, 483558 edges, 8892 markings/sec, 40 secs
lola: sara is running 45 secs || 443227 markings, 538350 edges, 8998 markings/sec, 45 secs
lola: sara is running 50 secs || 487820 markings, 592680 edges, 8919 markings/sec, 50 secs
lola: sara is running 55 secs || 532527 markings, 647275 edges, 8941 markings/sec, 55 secs
lola: sara is running 60 secs || 576270 markings, 700604 edges, 8749 markings/sec, 60 secs
lola: sara is running 65 secs || 620425 markings, 754164 edges, 8831 markings/sec, 65 secs
lola: sara is running 70 secs || 664539 markings, 807751 edges, 8823 markings/sec, 70 secs
lola: sara is running 75 secs || 708437 markings, 861176 edges, 8780 markings/sec, 75 secs
lola: sara is running 80 secs || 752893 markings, 915249 edges, 8891 markings/sec, 80 secs
lola: sara is running 85 secs || 797395 markings, 969346 edges, 8900 markings/sec, 85 secs
lola: sara is running 90 secs || 842804 markings, 1024642 edges, 9082 markings/sec, 90 secs
lola: sara is running 95 secs || 887378 markings, 1078873 edges, 8915 markings/sec, 95 secs
lola: sara is running 100 secs || 932258 markings, 1133552 edges, 8976 markings/sec, 100 secs
lola: sara is running 105 secs || 977012 markings, 1188014 edges, 8951 markings/sec, 105 secs
lola: sara is running 110 secs || 1020315 markings, 1240886 edges, 8661 markings/sec, 110 secs
lola: sara is running 115 secs || 1064898 markings, 1295558 edges, 8917 markings/sec, 115 secs
lola: sara is running 120 secs || 1109677 markings, 1350150 edges, 8956 markings/sec, 120 secs
lola: sara is running 125 secs || 1154665 markings, 1404971 edges, 8998 markings/sec, 125 secs
lola: sara is running 130 secs || 1199654 markings, 1459680 edges, 8998 markings/sec, 130 secs
lola: sara is running 135 secs || 1244392 markings, 1514139 edges, 8948 markings/sec, 135 secs
lola: sara is running 140 secs || 1288502 markings, 1567925 edges, 8822 markings/sec, 140 secs
lola: sara is running 145 secs || 1333056 markings, 1622273 edges, 8911 markings/sec, 145 secs
lola: sara is running 150 secs || 1377758 markings, 1676936 edges, 8940 markings/sec, 150 secs
lola: sara is running 155 secs || 1422346 markings, 1731198 edges, 8918 markings/sec, 155 secs
lola: sara is running 160 secs || 1467511 markings, 1786324 edges, 9033 markings/sec, 160 secs
lola: sara is running 165 secs || 1511714 markings, 1840307 edges, 8841 markings/sec, 165 secs
lola: sara is running 170 secs || 1557153 markings, 1895623 edges, 9088 markings/sec, 170 secs
lola: sara is running 175 secs || 1601791 markings, 1950024 edges, 8928 markings/sec, 175 secs
lola: sara is running 180 secs || 1646600 markings, 2004780 edges, 8962 markings/sec, 180 secs
lola: sara is running 185 secs || 1690836 markings, 2058470 edges, 8847 markings/sec, 185 secs
lola: sara is running 190 secs || 1735801 markings, 2113289 edges, 8993 markings/sec, 190 secs
lola: sara is running 195 secs || 1780798 markings, 2168110 edges, 8999 markings/sec, 195 secs
lola: sara is running 200 secs || 1825364 markings, 2222450 edges, 8913 markings/sec, 200 secs
lola: sara is running 205 secs || 1869741 markings, 2276689 edges, 8875 markings/sec, 205 secs
lola: sara is running 210 secs || 1913384 markings, 2329917 edges, 8729 markings/sec, 210 secs
lola: sara is running 215 secs || 1958301 markings, 2384865 edges, 8983 markings/sec, 215 secs
lola: sara is running 220 secs || 2003408 markings, 2439780 edges, 9021 markings/sec, 220 secs
lola: sara is running 225 secs || 2048421 markings, 2494548 edges, 9003 markings/sec, 225 secs
lola: sara is running 230 secs || 2093478 markings, 2549297 edges, 9011 markings/sec, 230 secs
lola: sara is running 235 secs || 2138637 markings, 2604246 edges, 9032 markings/sec, 235 secs
lola: sara is running 240 secs || 2182767 markings, 2657986 edges, 8826 markings/sec, 240 secs
lola: sara is running 245 secs || 2227887 markings, 2712924 edges, 9024 markings/sec, 245 secs
lola: sara is running 250 secs || 2272779 markings, 2767518 edges, 8978 markings/sec, 250 secs
lola: sara is running 255 secs || 2317933 markings, 2822788 edges, 9031 markings/sec, 255 secs
lola: sara is running 260 secs || 2362751 markings, 2877476 edges, 8964 markings/sec, 260 secs
lola: sara is running 265 secs || 2407573 markings, 2932074 edges, 8964 markings/sec, 265 secs
lola: sara is running 270 secs || 2451903 markings, 2986102 edges, 8866 markings/sec, 270 secs
lola: sara is running 275 secs || 2496231 markings, 3040028 edges, 8866 markings/sec, 275 secs

lola: sara is running 280 secs || 2540829 markings, 3094427 edges, 8920 markings/sec, 280 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 11 will run for 575 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t2237) OR NOT FIREABLE(t5626) OR (NOT FIREABLE(t8703) AND NOT FIREABLE(t2608)) OR NOT FIREABLE(t2599) OR NOT FIREABLE(t4317) OR (FIREABLE(t5402) AND FIREABLE(t7251) AND FIREABLE(t5768) AND FIREABLE(t365)))))
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 632 bytes per marking, with 25 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 98 literals and 14 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-ReachabilityFireability-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-ReachabilityFireability-11.sara.
lola: sara is running 0 secs || 26658 markings, 30396 edges, 5332 markings/sec, 0 secs
lola: sara is running 5 secs || 71427 markings, 81581 edges, 8954 markings/sec, 5 secs
lola: sara is running 10 secs || 116270 markings, 133558 edges, 8969 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 160810 markings, 185784 edges, 8908 markings/sec, 15 secs
lola: sara is running 20 secs || 206025 markings, 237530 edges, 9043 markings/sec, 20 secs
lola: sara is running 25 secs || 251173 markings, 289674 edges, 9030 markings/sec, 25 secs
lola: sara is running 30 secs || 295849 markings, 340654 edges, 8935 markings/sec, 30 secs
lola: sara is running 35 secs || 340172 markings, 391796 edges, 8865 markings/sec, 35 secs
lola: sara is running 40 secs || 384764 markings, 443093 edges, 8918 markings/sec, 40 secs
lola: sara is running 45 secs || 429297 markings, 494240 edges, 8907 markings/sec, 45 secs
lola: sara is running 50 secs || 473334 markings, 544723 edges, 8807 markings/sec, 50 secs
lola: sara is running 55 secs || 517501 markings, 595824 edges, 8833 markings/sec, 55 secs
lola: sara is running 60 secs || 561906 markings, 647264 edges, 8881 markings/sec, 60 secs
lola: sara is running 65 secs || 606203 markings, 698501 edges, 8859 markings/sec, 65 secs
lola: sara is running 70 secs || 650742 markings, 749527 edges, 8908 markings/sec, 70 secs
lola: sara is running 75 secs || 695438 markings, 801093 edges, 8939 markings/sec, 75 secs
lola: sara is running 80 secs || 740237 markings, 852816 edges, 8960 markings/sec, 80 secs
lola: sara is running 85 secs || 785129 markings, 904392 edges, 8978 markings/sec, 85 secs
lola: sara is running 90 secs || 829143 markings, 954862 edges, 8803 markings/sec, 90 secs
lola: sara is running 95 secs || 873231 markings, 1005588 edges, 8818 markings/sec, 95 secs
lola: sara is running 100 secs || 917194 markings, 1056326 edges, 8793 markings/sec, 100 secs
lola: sara is running 105 secs || 961532 markings, 1107543 edges, 8868 markings/sec, 105 secs
lola: sara is running 110 secs || 1004537 markings, 1157548 edges, 8601 markings/sec, 110 secs
lola: sara is running 115 secs || 1047797 markings, 1207304 edges, 8652 markings/sec, 115 secs
lola: sara is running 120 secs || 1092105 markings, 1258181 edges, 8862 markings/sec, 120 secs
lola: sara is running 125 secs || 1135369 markings, 1307712 edges, 8653 markings/sec, 125 secs
lola: sara is running 130 secs || 1178368 markings, 1357149 edges, 8600 markings/sec, 130 secs
lola: sara is running 135 secs || 1222185 markings, 1407734 edges, 8763 markings/sec, 135 secs
lola: sara is running 140 secs || 1265975 markings, 1458024 edges, 8758 markings/sec, 140 secs
lola: sara is running 145 secs || 1309680 markings, 1508599 edges, 8741 markings/sec, 145 secs
lola: sara is running 150 secs || 1353973 markings, 1559042 edges, 8859 markings/sec, 150 secs
lola: sara is running 155 secs || 1397045 markings, 1608375 edges, 8614 markings/sec, 155 secs
lola: sara is running 160 secs || 1440414 markings, 1658162 edges, 8674 markings/sec, 160 secs
lola: sara is running 165 secs || 1483409 markings, 1707860 edges, 8599 markings/sec, 165 secs
lola: sara is running 170 secs || 1527182 markings, 1758243 edges, 8755 markings/sec, 170 secs
lola: sara is running 175 secs || 1570005 markings, 1807292 edges, 8565 markings/sec, 175 secs
lola: sara is running 180 secs || 1613123 markings, 1856888 edges, 8624 markings/sec, 180 secs
lola: sara is running 185 secs || 1656651 markings, 1906923 edges, 8706 markings/sec, 185 secs
lola: sara is running 190 secs || 1699549 markings, 1956373 edges, 8580 markings/sec, 190 secs
lola: sara is running 195 secs || 1742000 markings, 2005119 edges, 8490 markings/sec, 195 secs
lola: sara is running 200 secs || 1785271 markings, 2054870 edges, 8654 markings/sec, 200 secs
lola: sara is running 205 secs || 1828917 markings, 2104985 edges, 8729 markings/sec, 205 secs
lola: sara is running 210 secs || 1872525 markings, 2155082 edges, 8722 markings/sec, 210 secs
lola: sara is running 215 secs || 1915536 markings, 2204600 edges, 8602 markings/sec, 215 secs
lola: sara is running 220 secs || 1958374 markings, 2254265 edges, 8568 markings/sec, 220 secs
lola: sara is running 225 secs || 2000975 markings, 2303766 edges, 8520 markings/sec, 225 secs
lola: sara is running 230 secs || 2044046 markings, 2353144 edges, 8614 markings/sec, 230 secs
lola: sara is running 235 secs || 2086265 markings, 2401250 edges, 8444 markings/sec, 235 secs
lola: sara is running 240 secs || 2128325 markings, 2449104 edges, 8412 markings/sec, 240 secs
lola: sara is running 245 secs || 2170928 markings, 2497795 edges, 8521 markings/sec, 245 secs
lola: sara is running 250 secs || 2213313 markings, 2546045 edges, 8477 markings/sec, 250 secs
lola: sara is running 255 secs || 2255948 markings, 2594675 edges, 8527 markings/sec, 255 secs
lola: sara is running 260 secs || 2298068 markings, 2642678 edges, 8424 markings/sec, 260 secs
lola: sara is running 265 secs || 2340885 markings, 2691518 edges, 8563 markings/sec, 265 secs
lola: sara is running 270 secs || 2382787 markings, 2739498 edges, 8380 markings/sec, 270 secs
lola: sara is running 275 secs || 2426066 markings, 2788844 edges, 8656 markings/sec, 275 secs
lola: sara is running 280 secs || 2469483 markings, 2838525 edges, 8683 markings/sec, 280 secs
lola: sara is running 285 secs || 2512521 markings, 2887843 edges, 8608 markings/sec, 285 secs
lola: sara is running 290 secs || 2548484 markings, 2928955 edges, 7193 markings/sec, 290 secs
lola: sara is running 295 secs || 2562542 markings, 2945754 edges, 2812 markings/sec, 295 secs
lola: sara is running 300 secs || 2576532 markings, 2962646 edges, 2798 markings/sec, 300 secs
lola: sara is running 305 secs || 2590678 markings, 2979756 edges, 2829 markings/sec, 305 secs
lola: sara is running 310 secs || 2604767 markings, 2996885 edges, 2818 markings/sec, 310 secs
lola: sara is running 315 secs || 2618934 markings, 3015317 edges, 2833 markings/sec, 315 secs
lola: sara is running 320 secs || 2633091 markings, 3032441 edges, 2831 markings/sec, 320 secs
lola: sara is running 325 secs || 2647173 markings, 3049459 edges, 2816 markings/sec, 325 secs
lola: sara is running 330 secs || 2661126 markings, 3066502 edges, 2791 markings/sec, 330 secs
lola: sara is running 335 secs || 2674873 markings, 3083274 edges, 2749 markings/sec, 335 secs
lola: sara is running 340 secs || 2688511 markings, 3100079 edges, 2728 markings/sec, 340 secs
lola: sara is running 345 secs || 2702181 markings, 3116753 edges, 2734 markings/sec, 345 secs
lola: sara is running 350 secs || 2715855 markings, 3133495 edges, 2735 markings/sec, 350 secs
lola: sara is running 355 secs || 2729791 markings, 3150645 edges, 2787 markings/sec, 355 secs
lola: sara is running 360 secs || 2743432 markings, 3167379 edges, 2728 markings/sec, 360 secs
lola: sara is running 365 secs || 2756972 markings, 3184346 edges, 2708 markings/sec, 365 secs
lola: sara is running 370 secs || 2770563 markings, 3201917 edges, 2718 markings/sec, 370 secs
lola: sara is running 375 secs || 2784208 markings, 3218652 edges, 2729 markings/sec, 375 secs
lola: sara is running 380 secs || 2797807 markings, 3235403 edges, 2720 markings/sec, 380 secs
lola: sara is running 385 secs || 2811421 markings, 3252006 edges, 2723 markings/sec, 385 secs
lola: sara is running 390 secs || 2825111 markings, 3268915 edges, 2738 markings/sec, 390 secs
lola: sara is running 395 secs || 2838841 markings, 3285832 edges, 2746 markings/sec, 395 secs
lola: sara is running 400 secs || 2852658 markings, 3302692 edges, 2763 markings/sec, 400 secs
lola: sara is running 405 secs || 2866427 markings, 3319606 edges, 2754 markings/sec, 405 secs
lola: sara is running 410 secs || 2880440 markings, 3337010 edges, 2803 markings/sec, 410 secs
lola: sara is running 415 secs || 2894477 markings, 3354954 edges, 2807 markings/sec, 415 secs
lola: sara is running 420 secs || 2908704 markings, 3372766 edges, 2845 markings/sec, 420 secs
lola: sara is running 425 secs || 2923115 markings, 3390303 edges, 2882 markings/sec, 425 secs
lola: sara is running 430 secs || 2937507 markings, 3407707 edges, 2878 markings/sec, 430 secs
lola: sara is running 435 secs || 2951668 markings, 3424769 edges, 2832 markings/sec, 435 secs
lola: sara is running 440 secs || 2965842 markings, 3441546 edges, 2835 markings/sec, 440 secs
lola: sara is running 445 secs || 2980070 markings, 3458481 edges, 2846 markings/sec, 445 secs
lola: sara is running 450 secs || 2993758 markings, 3475543 edges, 2738 markings/sec, 450 secs
lola: sara is running 455 secs || 3007402 markings, 3492287 edges, 2729 markings/sec, 455 secs
lola: sara is running 460 secs || 3021021 markings, 3509023 edges, 2724 markings/sec, 460 secs
lola: sara is running 465 secs || 3034658 markings, 3525697 edges, 2727 markings/sec, 465 secs
lola: sara is running 470 secs || 3048259 markings, 3542371 edges, 2720 markings/sec, 470 secs
lola: sara is running 475 secs || 3061871 markings, 3559144 edges, 2722 markings/sec, 475 secs
lola: sara is running 480 secs || 3075641 markings, 3576193 edges, 2754 markings/sec, 480 secs
lola: sara is running 485 secs || 3089517 markings, 3593394 edges, 2775 markings/sec, 485 secs
lola: sara is running 490 secs || 3103288 markings, 3610967 edges, 2754 markings/sec, 490 secs
lola: sara is running 495 secs || 3117391 markings, 3628481 edges, 2821 markings/sec, 495 secs
lola: sara is running 500 secs || 3131593 markings, 3645513 edges, 2840 markings/sec, 500 secs
lola: sara is running 505 secs || 3145692 markings, 3662714 edges, 2820 markings/sec, 505 secs
lola: sara is running 510 secs || 3159750 markings, 3679686 edges, 2812 markings/sec, 510 secs
lola: sara is running 515 secs || 3173772 markings, 3696207 edges, 2804 markings/sec, 515 secs
lola: sara is running 520 secs || 3187766 markings, 3713114 edges, 2799 markings/sec, 520 secs
lola: sara is running 525 secs || 3201416 markings, 3729971 edges, 2730 markings/sec, 525 secs
lola: sara is running 530 secs || 3215073 markings, 3746746 edges, 2731 markings/sec, 530 secs
lola: sara is running 535 secs || 3228702 markings, 3763505 edges, 2726 markings/sec, 535 secs
lola: sara is running 540 secs || 3242505 markings, 3780551 edges, 2761 markings/sec, 540 secs
lola: sara is running 545 secs || 3256306 markings, 3798129 edges, 2760 markings/sec, 545 secs
lola: sara is running 550 secs || 3270193 markings, 3815776 edges, 2777 markings/sec, 550 secs
lola: sara is running 555 secs || 3284503 markings, 3832979 edges, 2862 markings/sec, 555 secs
lola: sara is running 560 secs || 3298826 markings, 3850586 edges, 2865 markings/sec, 560 secs
lola: sara is running 565 secs || 3312954 markings, 3867438 edges, 2826 markings/sec, 565 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: '\ufffd'
Aborted (core dumped)
FORMULA DLCround-PT-13b-ReachabilityFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-ReachabilityFireability-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="DLCround-PT-13b"
export BK_EXAMINATION="ReachabilityFireability"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13b.tgz
mv DLCround-PT-13b 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-structural"
echo " Input is DLCround-PT-13b, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649744000154"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;