About the Execution of M4M.full for DNAwalker-PT-14ringLRLarge
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1609.610 | 783274.00 | 1869262.00 | 2623.00 | ???????????????? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.6K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 117 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 355 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 14 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 135K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DNAwalker-PT-14ringLRLarge, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649743100320
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-00
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-01
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-02
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-03
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-04
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-05
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-06
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-07
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-08
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-09
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-10
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-11
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-12
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-13
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-14
FORMULA_NAME DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526768293455
BK_STOP 1526769076729
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DNAwalker-PT-14ringLRLarge as instance name.
Using DNAwalker as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': False, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': None, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': False, 'Conservative': False, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': False, 'Deadlock': True, 'Reversible': False, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 15782, 'Memory': 564.8, 'Tool': 'itstools'}, {'Time': 15905, 'Memory': 566.9, 'Tool': 'itstools'}, {'Time': 101291, 'Memory': 9189.66, 'Tool': 'marcie'}, {'Time': 102679, 'Memory': 9189.43, 'Tool': 'marcie'}, {'Time': 3539917, 'Memory': 5249.73, 'Tool': 'lola'}, {'Time': 3540165, 'Memory': 5246.02, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 224.30091243188443x far from the best tool itstools.
ReachabilityCardinality lola DNAwalker-PT-14ringLRLarge...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DNAwalker-PT-14ringLRLarge: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DNAwalker-PT-14ringLRLarge: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
ReachabilityCardinality @ DNAwalker-PT-14ringLRLarge @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 345/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 33 places, 312 transitions, 33 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 197 transition conflict sets
lola: TASK
lola: reading formula from DNAwalker-PT-14ringLRLarge-ReachabilityCardinality.task
lola: E (F (((A11 <= 1) AND ((2 <= A19) OR (3 <= A23)) AND (2 <= B14)))) : E (F (((3 <= A20) AND ((B27 <= 0) OR (A8 <= 0))))) : E (F ((3 <= A11))) : E (F (((A4 + 1 <= B14) AND ((2 <= A23) OR (1 <= A27)) AND (((B13 <= A2) AND (A18 <= A17)) OR (B14 + 1 <= A19))))) : E (F (((2 <= B2) AND (A10 <= A21) AND ((2 <= B26) OR (A20 <= A14) OR ((3 <= B3) AND (3 <= A17)))))) : A (G (((1 <= A7) OR ((A23 <= 1) AND (A20 <= 1))))) : A (G (((A16 <= 0) OR (A22 <= 2) OR (A3 <= 1)))) : A (G (((B3 <= A11) OR (A25 <= A21) OR (1 <= A7) OR ((2 <= B27) AND (1 <= A24))))) : A (G ((((A27 <= 2) OR (A15 <= 0)) AND (A14 <= 2)))) : E (F ((3 <= A7))) : A (G ((((2 <= A1) AND (2 <= B14)) OR (A21 <= 1) OR (3 <= B26) OR (A25 <= A14) OR (A16 <= B2) OR (A2 <= A8)))) : E (F ((3 <= A20))) : A (G ((1 <= A9))) : E (F (((A9 + 1 <= A24) AND (A9 + 1 <= A6)))) : A (G ((((B13 <= 1) OR (A6 + 1 <= A14)) AND ((A22 <= 2) OR (A16 + 1 <= A18))))) : A (G (()))
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 (((A11 <= 1) AND ((2 <= A19) OR (3 <= A23)) AND (2 <= B14))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= A20) AND ((B27 <= 0) OR (A8 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 359000 markings, 1121045 edges, 71800 markings/sec, 0 secs
lola: sara is running 5 secs || 689149 markings, 2335879 edges, 66030 markings/sec, 5 secs
lola: sara is running 10 secs || 988192 markings, 3523031 edges, 59809 markings/sec, 10 secs
lola: sara is running 15 secs || 1284096 markings, 4682794 edges, 59181 markings/sec, 15 secs
lola: sara is running 20 secs || 1564070 markings, 5811564 edges, 55995 markings/sec, 20 secs
lola: sara is running 25 secs || 1829637 markings, 7227762 edges, 53113 markings/sec, 25 secs
lola: sara is running 30 secs || 2135913 markings, 8388568 edges, 61255 markings/sec, 30 secs
lola: sara is running 35 secs || 2426420 markings, 9570613 edges, 58101 markings/sec, 35 secs
lola: sara is running 40 secs || 2712298 markings, 10740659 edges, 57176 markings/sec, 40 secs
lola: sara is running 45 secs || 3009747 markings, 11914009 edges, 59490 markings/sec, 45 secs
lola: sara is running 50 secs || 3341668 markings, 13120936 edges, 66384 markings/sec, 50 secs
lola: sara is running 55 secs || 3638364 markings, 14418887 edges, 59339 markings/sec, 55 secs
lola: sara is running 60 secs || 3938057 markings, 15892437 edges, 59939 markings/sec, 60 secs
lola: sara is running 65 secs || 4268782 markings, 17077739 edges, 66145 markings/sec, 65 secs
lola: sara is running 70 secs || 4573441 markings, 18442442 edges, 60932 markings/sec, 70 secs
lola: sara is running 75 secs || 4891670 markings, 19766616 edges, 63646 markings/sec, 75 secs
lola: sara is running 80 secs || 5201486 markings, 21122226 edges, 61963 markings/sec, 80 secs
lola: sara is running 85 secs || 5510092 markings, 22259264 edges, 61721 markings/sec, 85 secs
lola: sara is running 90 secs || 5815510 markings, 23497978 edges, 61084 markings/sec, 90 secs
lola: sara is running 95 secs || 6108404 markings, 24784844 edges, 58579 markings/sec, 95 secs
lola: sara is running 100 secs || 6379806 markings, 26008879 edges, 54280 markings/sec, 100 secs
lola: sara is running 105 secs || 6641212 markings, 27206446 edges, 52281 markings/sec, 105 secs
lola: sara is running 110 secs || 6903079 markings, 28421116 edges, 52373 markings/sec, 110 secs
lola: sara is running 115 secs || 7172633 markings, 29562092 edges, 53911 markings/sec, 115 secs
lola: sara is running 120 secs || 7444733 markings, 30622696 edges, 54420 markings/sec, 120 secs
lola: sara is running 125 secs || 7713764 markings, 31786044 edges, 53806 markings/sec, 125 secs
lola: sara is running 130 secs || 7979448 markings, 32993348 edges, 53137 markings/sec, 130 secs
lola: sara is running 135 secs || 8236560 markings, 34188005 edges, 51422 markings/sec, 135 secs
lola: sara is running 140 secs || 8509881 markings, 35368260 edges, 54664 markings/sec, 140 secs
lola: sara is running 145 secs || 8810732 markings, 36641069 edges, 60170 markings/sec, 145 secs
lola: sara is running 150 secs || 9104600 markings, 37939880 edges, 58774 markings/sec, 150 secs
lola: sara is running 155 secs || 9393171 markings, 39231829 edges, 57714 markings/sec, 155 secs
lola: sara is running 160 secs || 9649917 markings, 40643588 edges, 51349 markings/sec, 160 secs
lola: sara is running 165 secs || 9908718 markings, 42047858 edges, 51760 markings/sec, 165 secs
lola: sara is running 170 secs || 10206188 markings, 43520320 edges, 59494 markings/sec, 170 secs
lola: sara is running 175 secs || 10475475 markings, 44971749 edges, 53857 markings/sec, 175 secs
lola: sara is running 180 secs || 10759469 markings, 46399529 edges, 56799 markings/sec, 180 secs
lola: sara is running 185 secs || 10994797 markings, 47926613 edges, 47066 markings/sec, 185 secs
lola: sara is running 190 secs || 11230828 markings, 49418826 edges, 47206 markings/sec, 190 secs
lola: sara is running 195 secs || 11479022 markings, 50888776 edges, 49639 markings/sec, 195 secs
lola: sara is running 200 secs || 11753094 markings, 52413857 edges, 54814 markings/sec, 200 secs
lola: sara is running 205 secs || 12023545 markings, 53940823 edges, 54090 markings/sec, 205 secs
lola: sara is running 210 secs || 12287883 markings, 55475310 edges, 52868 markings/sec, 210 secs
lola: sara is running 215 secs || 12523218 markings, 57138804 edges, 47067 markings/sec, 215 secs
lola: sara is running 220 secs || 12790188 markings, 58823338 edges, 53394 markings/sec, 220 secs
lola: sara is running 225 secs || 13070476 markings, 60408375 edges, 56058 markings/sec, 225 secs
lola: sara is running 230 secs || 13391500 markings, 61858375 edges, 64205 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((3 <= A11)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-2.sara
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-2.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 370874 markings, 1075504 edges, 74175 markings/sec, 0 secs
lola: sara is running 5 secs || 776922 markings, 2301906 edges, 81210 markings/sec, 5 secs
lola: sara is running 10 secs || 1189366 markings, 3430034 edges, 82489 markings/sec, 10 secs
lola: sara is running 15 secs || 1603013 markings, 4498030 edges, 82729 markings/sec, 15 secs
lola: sara is running 20 secs || 1971121 markings, 5674555 edges, 73622 markings/sec, 20 secs
lola: sara is running 25 secs || 2338996 markings, 6969758 edges, 73575 markings/sec, 25 secs
lola: sara is running 30 secs || 2703113 markings, 8173515 edges, 72823 markings/sec, 30 secs
lola: sara is running 35 secs || 3063299 markings, 9388719 edges, 72037 markings/sec, 35 secs
lola: sara is running 40 secs || 3436975 markings, 10648607 edges, 74735 markings/sec, 40 secs
lola: sara is running 45 secs || 3813253 markings, 11864847 edges, 75256 markings/sec, 45 secs
lola: sara is running 50 secs || 4160574 markings, 12991054 edges, 69464 markings/sec, 50 secs
lola: sara is running 55 secs || 4512875 markings, 14186914 edges, 70460 markings/sec, 55 secs
lola: sara is running 60 secs || 4863051 markings, 15194280 edges, 70035 markings/sec, 60 secs
lola: sara is running 65 secs || 5189534 markings, 16447521 edges, 65297 markings/sec, 65 secs
lola: sara is running 70 secs || 5528198 markings, 17928200 edges, 67733 markings/sec, 70 secs
lola: sara is running 75 secs || 5873161 markings, 19274824 edges, 68993 markings/sec, 75 secs
lola: sara is running 80 secs || 6217402 markings, 20438365 edges, 68848 markings/sec, 80 secs
lola: sara is running 85 secs || 6538948 markings, 21810737 edges, 64309 markings/sec, 85 secs
lola: sara is running 90 secs || 6861257 markings, 23265399 edges, 64462 markings/sec, 90 secs
lola: sara is running 95 secs || 7196007 markings, 24728232 edges, 66950 markings/sec, 95 secs
lola: sara is running 100 secs || 7545291 markings, 26119224 edges, 69857 markings/sec, 100 secs
lola: sara is running 105 secs || 7827128 markings, 27547803 edges, 56367 markings/sec, 105 secs
lola: sara is running 110 secs || 8140983 markings, 29083076 edges, 62771 markings/sec, 110 secs
lola: sara is running 115 secs || 8459917 markings, 30604379 edges, 63787 markings/sec, 115 secs
lola: sara is running 120 secs || 8770661 markings, 32069704 edges, 62149 markings/sec, 120 secs
lola: sara is running 125 secs || 9068134 markings, 33436471 edges, 59495 markings/sec, 125 secs
lola: sara is running 130 secs || 9349292 markings, 35025126 edges, 56232 markings/sec, 130 secs
lola: sara is running 135 secs || 9651674 markings, 36545389 edges, 60476 markings/sec, 135 secs
lola: sara is running 140 secs || 9953440 markings, 38118939 edges, 60353 markings/sec, 140 secs
lola: sara is running 145 secs || 10321921 markings, 39312968 edges, 73696 markings/sec, 145 secs
lola: sara is running 150 secs || 10722876 markings, 40532855 edges, 80191 markings/sec, 150 secs
lola: sara is running 155 secs || 11085154 markings, 41696202 edges, 72456 markings/sec, 155 secs
lola: sara is running 160 secs || 11455127 markings, 42963887 edges, 73995 markings/sec, 160 secs
lola: sara is running 165 secs || 11789770 markings, 44092045 edges, 66929 markings/sec, 165 secs
lola: sara is running 170 secs || 12145909 markings, 45301955 edges, 71228 markings/sec, 170 secs
lola: sara is running 175 secs || 12471280 markings, 46397351 edges, 65074 markings/sec, 175 secs
lola: sara is running 180 secs || 12792726 markings, 47754497 edges, 64289 markings/sec, 180 secs
lola: sara is running 185 secs || 13119628 markings, 48970754 edges, 65380 markings/sec, 185 secs
lola: sara is running 190 secs || 13430929 markings, 50463130 edges, 62260 markings/sec, 190 secs
lola: sara is running 195 secs || 13751241 markings, 51931319 edges, 64062 markings/sec, 195 secs
lola: sara is running 200 secs || 14050535 markings, 53360210 edges, 59859 markings/sec, 200 secs
lola: sara is running 205 secs || 14345703 markings, 54797204 edges, 59034 markings/sec, 205 secs
lola: sara is running 210 secs || 14630592 markings, 56179011 edges, 56978 markings/sec, 210 secs
lola: sara is running 215 secs || 14921973 markings, 57776997 edges, 58276 markings/sec, 215 secs
lola: sara is running 220 secs || 15258405 markings, 59144208 edges, 67286 markings/sec, 220 secs
lola: sara is running 225 secs || 15646026 markings, 60395972 edges, 77524 markings/sec, 225 secs
lola: sara is running 230 secs || 16015617 markings, 61726043 edges, 73918 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((A4 + 1 <= B14) AND ((2 <= A23) OR (1 <= A27)) AND (((B13 <= A2) AND (A18 <= A17)) OR (B14 + 1 <= A19)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 14 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 4 will run for 255 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= B2) AND (A10 <= A21) AND ((2 <= B26) OR (A20 <= A14) OR ((3 <= B3) AND (3 <= A17))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 10 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is unreachable.
lola: 1 markings, 0 edges
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-4.sara
lola: ========================================
lola: subprocess 5 will run for 278 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= A7) OR ((A23 <= 1) AND (A20 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-5.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 6 markings, 5 edges
lola: ========================================
lola: state equation: calling and running sara
lola: subprocess 6 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((A16 <= 0) OR (A22 <= 2) OR (A3 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 132 bytes per marking, with 0 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-6.sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-5.sara.
lola: state equation: calling and running sara
sara: try reading problem file DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-6.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 356417 markings, 1124708 edges, 71283 markings/sec, 0 secs
lola: sara is running 5 secs || 685020 markings, 2223122 edges, 65721 markings/sec, 5 secs
lola: sara is running 10 secs || 987549 markings, 3388210 edges, 60506 markings/sec, 10 secs
lola: sara is running 15 secs || 1284447 markings, 4461306 edges, 59380 markings/sec, 15 secs
lola: sara is running 20 secs || 1560352 markings, 5783104 edges, 55181 markings/sec, 20 secs
lola: sara is running 25 secs || 1831662 markings, 7211027 edges, 54262 markings/sec, 25 secs
lola: sara is running 30 secs || 2125837 markings, 8570684 edges, 58835 markings/sec, 30 secs
lola: sara is running 35 secs || 2443352 markings, 9803141 edges, 63503 markings/sec, 35 secs
lola: sara is running 40 secs || 2746757 markings, 11010512 edges, 60681 markings/sec, 40 secs
lola: sara is running 45 secs || 3021093 markings, 12262785 edges, 54867 markings/sec, 45 secs
lola: sara is running 50 secs || 3304204 markings, 13542891 edges, 56622 markings/sec, 50 secs
lola: sara is running 55 secs || 3589231 markings, 14850281 edges, 57005 markings/sec, 55 secs
lola: sara is running 60 secs || 3867967 markings, 15924588 edges, 55747 markings/sec, 60 secs
lola: sara is running 65 secs || 4151755 markings, 17058619 edges, 56758 markings/sec, 65 secs
lola: sara is running 70 secs || 4417605 markings, 18203368 edges, 53170 markings/sec, 70 secs
lola: sara is running 75 secs || 4678789 markings, 19438499 edges, 52237 markings/sec, 75 secs
lola: sara is running 80 secs || 4946524 markings, 20790957 edges, 53547 markings/sec, 80 secs
lola: sara is running 85 secs || 5190970 markings, 22231699 edges, 48889 markings/sec, 85 secs
lola: sara is running 90 secs || 5434946 markings, 23745141 edges, 48795 markings/sec, 90 secs
lola: sara is running 95 secs || 5735933 markings, 24989647 edges, 60197 markings/sec, 95 secs
lola: sara is running 100 secs || 6036936 markings, 26062749 edges, 60201 markings/sec, 100 secs
lola: sara is running 105 secs || 6328380 markings, 27211253 edges, 58289 markings/sec, 105 secs
lola: sara is running 110 secs || 6598354 markings, 28337752 edges, 53995 markings/sec, 110 secs
lola: sara is running 115 secs || 6871178 markings, 29417853 edges, 54565 markings/sec, 115 secs
lola: sara is running 120 secs || 7127466 markings, 30527831 edges, 51258 markings/sec, 120 secs
lola: sara is running 125 secs || 7369684 markings, 31867539 edges, 48444 markings/sec, 125 secs
lola: sara is running 130 secs || 7614973 markings, 33172659 edges, 49058 markings/sec, 130 secs
lola: sara is running 135 secs || 7858986 markings, 34580476 edges, 48803 markings/sec, 135 secs
lola: sara is running 140 secs || 8116545 markings, 35834776 edges, 51512 markings/sec, 140 secs
lola: sara is running 145 secs || 8359879 markings, 37269490 edges, 48667 markings/sec, 145 secs
lola: sara is running 150 secs || 8636137 markings, 38560759 edges, 55252 markings/sec, 150 secs
lola: sara is running 155 secs || 8924994 markings, 39721106 edges, 57771 markings/sec, 155 secs
lola: sara is running 160 secs || 9185435 markings, 40907575 edges, 52088 markings/sec, 160 secs
lola: sara is running 165 secs || 9435072 markings, 42228108 edges, 49927 markings/sec, 165 secs
lola: sara is running 170 secs || 9694227 markings, 43526108 edges, 51831 markings/sec, 170 secs
lola: sara is running 175 secs || 9940236 markings, 44919118 edges, 49202 markings/sec, 175 secs
lola: sara is running 180 secs || 10209949 markings, 46173480 edges, 53943 markings/sec, 180 secs
lola: sara is running 185 secs || 10464781 markings, 47468497 edges, 50966 markings/sec, 185 secs
lola: sara is running 190 secs || 10720189 markings, 48646870 edges, 51082 markings/sec, 190 secs
lola: sara is running 195 secs || 10956090 markings, 49984280 edges, 47180 markings/sec, 195 secs
lola: sara is running 200 secs || 11202760 markings, 51338936 edges, 49334 markings/sec, 200 secs
lola: sara is running 205 secs || 11455582 markings, 52642445 edges, 50564 markings/sec, 205 secs
lola: sara is running 210 secs || 11698997 markings, 53984553 edges, 48683 markings/sec, 210 secs
lola: sara is running 215 secs || 11942213 markings, 55398275 edges, 48643 markings/sec, 215 secs
lola: sara is running 220 secs || 12188897 markings, 56712952 edges, 49337 markings/sec, 220 secs
lola: sara is running 225 secs || 12437638 markings, 58148950 edges, 49748 markings/sec, 225 secs
lola: sara is running 230 secs || 12696080 markings, 59525379 edges, 51688 markings/sec, 230 secs
lola: sara is running 235 secs || 12982315 markings, 60766279 edges, 57247 markings/sec, 235 secs
lola: sara is running 240 secs || 13257816 markings, 61983156 edges, 55100 markings/sec, 240 secs
lola: sara is running 245 secs || 13533943 markings, 63217390 edges, 55225 markings/sec, 245 secs
lola: sara is running 250 secs || 13792157 markings, 64475510 edges, 51643 markings/sec, 250 secs
lola: sara is running 255 secs || 14094065 markings, 65710492 edges, 60382 markings/sec, 255 secs
lola: sara is running 260 secs || 14601172 markings, 66783028 edges, 101421 markings/sec, 260 secs
lola: sara is running 265 secs || 15068090 markings, 67877482 edges, 93384 markings/sec, 265 secs
lola: sara is running 270 secs || 15574332 markings, 68988909 edges, 101248 markings/sec, 270 secs
lola: sara is running 275 secs || 16078085 markings, 70074127 edges, 100751 markings/sec, 275 secs
lola: sara is running 280 secs || 16441027 markings, 71244911 edges, 72588 markings/sec, 280 secs
lola: sara is running 285 secs || 16780103 markings, 72431912 edges, 67815 markings/sec, 285 secs
lola: sara is running 290 secs || 17183253 markings, 73600440 edges, 80630 markings/sec, 290 secs
lola: sara is running 295 secs || 17643115 markings, 74769923 edges, 91972 markings/sec, 295 secs
lola: sara is running 300 secs || 18108419 markings, 75954839 edges, 93061 markings/sec, 300 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '`'
Aborted (core dumped)
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DNAwalker-PT-14ringLRLarge-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DNAwalker-PT-14ringLRLarge"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DNAwalker-PT-14ringLRLarge.tgz
mv DNAwalker-PT-14ringLRLarge execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DNAwalker-PT-14ringLRLarge, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649743100320"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;