About the Execution of LoLA for StigmergyCommit-PT-07b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5200.239 | 766222.00 | 1801616.00 | 2146.80 | T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r468-smll-167912658000302.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is StigmergyCommit-PT-07b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r468-smll-167912658000302
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 7.2K Feb 26 11:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 11:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 11:02 CTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 26 11:02 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 11:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 11:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 11:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 12M Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME QuasiLiveness
=== Now, execution of the tool begins
BK_START 1679365583173
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=StigmergyCommit-PT-07b
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT StigmergyCommit-PT-07b
BK_EXAMINATION: QuasiLiveness
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: QuasiLiveness
FORMULA QuasiLiveness TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1679366349395
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES TRANSITION t9809
sara: try reading problem file stateEquationProblem-QuasiLiveness-13125.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 13574
lola: find path: 46
lola: goal oriented search: 110
lola: reporting
lola: not produced: 13423
lola: find path: 48
lola: goal oriented search: 259
lola: reporting
lola: not produced: 13282
lola: find path: 48
lola: goal oriented search: 400
lola: reporting
lola: not produced: 13134
lola: find path: 48
lola: goal oriented search: 548
lola: reporting
lola: not produced: 12991
lola: find path: 48
lola: goal oriented search: 691
lola: reporting
lola: not produced: 12854
lola: find path: 48
lola: goal oriented search: 828
lola: reporting
lola: not produced: 12714
lola: find path: 48
lola: goal oriented search: 968
lola: reporting
lola: not produced: 12583
lola: find path: 48
lola: goal oriented search: 1099
lola: reporting
lola: not produced: 12452
lola: find path: 48
lola: goal oriented search: 1230
lola: reporting
lola: not produced: 12321
lola: find path: 48
lola: goal oriented search: 1361
lola: reporting
lola: not produced: 12188
lola: find path: 48
lola: goal oriented search: 1494
lola: reporting
lola: not produced: 12056
lola: find path: 48
lola: goal oriented search: 1626
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 11922
lola: find path: 48
lola: goal oriented search: 1760
lola: reporting
lola: not produced: 11786
lola: find path: 48
lola: goal oriented search: 1896
lola: reporting
lola: not produced: 11655
lola: find path: 48
lola: goal oriented search: 2027
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t8369
sara: try reading problem file stateEquationProblem-QuasiLiveness-11708.sara.
lola: reporting
lola: not produced: 11521
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2160
lola: reporting
lola: not produced: 11387
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2294
lola: reporting
lola: not produced: 11258
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2423
lola: reporting
lola: not produced: 11127
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2554
lola: reporting
lola: not produced: 10996
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2685
lola: reporting
lola: not produced: 10866
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2815
lola: reporting
lola: not produced: 10738
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 2943
lola: reporting
lola: not produced: 10608
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3073
lola: reporting
lola: not produced: 10478
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3203
lola: reporting
lola: not produced: 10346
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3335
lola: reporting
lola: not produced: 10210
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3471
lola: reporting
lola: not produced: 10080
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3601
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9949
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3732
lola: reporting
lola: not produced: 9818
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3863
lola: reporting
lola: not produced: 9687
lola: state equation: 1
lola: find path: 48
lola: goal oriented search: 3994
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t12873
sara: try reading problem file stateEquationProblem-QuasiLiveness-5941.sara.
lola: reporting
lola: not produced: 9551
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4129
lola: reporting
lola: not produced: 9414
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4266
lola: reporting
lola: not produced: 9283
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4397
lola: reporting
lola: not produced: 9148
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4532
lola: reporting
lola: not produced: 9013
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4667
lola: reporting
lola: not produced: 8875
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4805
lola: reporting
lola: not produced: 8736
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 4944
lola: reporting
lola: not produced: 8596
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5084
lola: reporting
lola: not produced: 8462
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5218
lola: reporting
lola: not produced: 8327
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5353
lola: reporting
lola: not produced: 8190
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5490
lola: reporting
lola: not produced: 8058
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5622
lola: reporting
lola: not produced: 7928
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5752
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7793
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 5887
lola: reporting
lola: not produced: 7662
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 6018
lola: reporting
lola: not produced: 7525
lola: state equation: 2
lola: find path: 48
lola: goal oriented search: 6155
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t4489
lola: reporting
lola: not produced: 7391
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6288
sara: try reading problem file stateEquationProblem-QuasiLiveness-8649.sara.
lola: reporting
lola: not produced: 7263
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6416
lola: reporting
lola: not produced: 7132
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6547
lola: reporting
lola: not produced: 7004
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6675
lola: reporting
lola: not produced: 6872
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6807
lola: reporting
lola: not produced: 6741
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 6938
lola: reporting
lola: not produced: 6612
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7067
lola: reporting
lola: not produced: 6482
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7197
lola: reporting
lola: not produced: 6353
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7326
lola: reporting
lola: not produced: 6220
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7459
lola: reporting
lola: not produced: 6088
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7591
lola: reporting
lola: not produced: 5957
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7722
lola: reporting
lola: not produced: 5828
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7851
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 5700
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 7979
lola: reporting
lola: not produced: 5571
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8108
lola: reporting
lola: not produced: 5443
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8236
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t11986
sara: try reading problem file stateEquationProblem-QuasiLiveness-9414.sara.
lola: reporting
lola: not produced: 5317
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8362
lola: reporting
lola: not produced: 5190
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8489
lola: reporting
lola: not produced: 5063
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8616
lola: reporting
lola: not produced: 4934
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8745
lola: reporting
lola: not produced: 4803
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 8876
lola: reporting
lola: not produced: 4673
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9006
lola: reporting
lola: not produced: 4546
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9133
lola: reporting
lola: not produced: 4419
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9260
lola: reporting
lola: not produced: 4290
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9389
lola: reporting
lola: not produced: 4161
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9518
lola: reporting
lola: not produced: 4031
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9648
lola: reporting
lola: not produced: 3903
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9776
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3773
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 9906
lola: reporting
lola: not produced: 3646
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10033
lola: reporting
lola: not produced: 3518
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10161
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t8150
lola: STATE EQUATION TRIES TRANSITION t13474
lola: STATE EQUATION TRIES TRANSITION t4390
lola: reporting
lola: not produced: 3388
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10291
lola: STATE EQUATION TRIES TRANSITION t8418
lola: STATE EQUATION TRIES TRANSITION t11977
lola: STATE EQUATION TRIES TRANSITION t7566
lola: STATE EQUATION TRIES TRANSITION t11847
lola: STATE EQUATION TRIES TRANSITION t7269
lola: reporting
lola: not produced: 3260
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10419
lola: STATE EQUATION TRIES TRANSITION t8816
lola: STATE EQUATION TRIES TRANSITION t13665
lola: STATE EQUATION TRIES TRANSITION t7609
lola: STATE EQUATION TRIES TRANSITION t4393
lola: reporting
lola: not produced: 3132
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10547
lola: STATE EQUATION TRIES TRANSITION t4853
lola: STATE EQUATION TRIES TRANSITION t4111
lola: STATE EQUATION TRIES TRANSITION t3440
lola: STATE EQUATION TRIES TRANSITION t2627
lola: STATE EQUATION TRIES TRANSITION t4892
lola: reporting
lola: not produced: 3001
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10678
lola: STATE EQUATION TRIES TRANSITION t13245
lola: STATE EQUATION TRIES TRANSITION t3637
lola: STATE EQUATION TRIES TRANSITION t4970
lola: STATE EQUATION TRIES TRANSITION t13477
lola: reporting
lola: not produced: 2872
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10807
lola: STATE EQUATION TRIES TRANSITION t8634
lola: STATE EQUATION TRIES TRANSITION t12678
lola: STATE EQUATION TRIES TRANSITION t5311
lola: STATE EQUATION TRIES TRANSITION t5516
lola: STATE EQUATION TRIES TRANSITION t8063
lola: reporting
lola: not produced: 2743
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 10936
lola: STATE EQUATION TRIES TRANSITION t10842
lola: STATE EQUATION TRIES TRANSITION t15094
lola: STATE EQUATION TRIES TRANSITION t6718
lola: STATE EQUATION TRIES TRANSITION t10838
lola: STATE EQUATION TRIES TRANSITION t8728
lola: reporting
lola: not produced: 2614
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11065
lola: STATE EQUATION TRIES TRANSITION t14465
lola: STATE EQUATION TRIES TRANSITION t12034
lola: STATE EQUATION TRIES TRANSITION t8343
lola: STATE EQUATION TRIES TRANSITION t3330
lola: reporting
lola: not produced: 2487
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11192
lola: STATE EQUATION TRIES TRANSITION t5842
lola: STATE EQUATION TRIES TRANSITION t6827
lola: STATE EQUATION TRIES TRANSITION t13815
lola: STATE EQUATION TRIES TRANSITION t5694
lola: STATE EQUATION TRIES TRANSITION t8556
lola: reporting
lola: not produced: 2358
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11321
lola: STATE EQUATION TRIES TRANSITION t9076
lola: STATE EQUATION TRIES TRANSITION t14490
lola: STATE EQUATION TRIES TRANSITION t9611
lola: STATE EQUATION TRIES TRANSITION t10947
lola: reporting
lola: not produced: 2224
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11455
lola: STATE EQUATION TRIES TRANSITION t15714
lola: STATE EQUATION TRIES TRANSITION t8446
lola: STATE EQUATION TRIES TRANSITION t13230
lola: STATE EQUATION TRIES TRANSITION t14280
lola: STATE EQUATION TRIES TRANSITION t6786
lola: reporting
lola: not produced: 2089
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11590
lola: STATE EQUATION TRIES TRANSITION t6880
lola: STATE EQUATION TRIES TRANSITION t11459
lola: STATE EQUATION TRIES TRANSITION t10088
lola: STATE EQUATION TRIES TRANSITION t7788
lola: reporting
lola: not produced: 1953
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11726
lola: STATE EQUATION TRIES TRANSITION t11298
lola: STATE EQUATION TRIES TRANSITION t10194
lola: STATE EQUATION TRIES TRANSITION t12438
lola: STATE EQUATION TRIES TRANSITION t3265
lola: STATE EQUATION TRIES TRANSITION t11698
lola: reporting
lola: not produced: 1818
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11861
lola: STATE EQUATION TRIES TRANSITION t3003
lola: STATE EQUATION TRIES TRANSITION t4842
lola: STATE EQUATION TRIES TRANSITION t4903
lola: STATE EQUATION TRIES TRANSITION t15231
lola: reporting
lola: not produced: 1682
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 11997
lola: STATE EQUATION TRIES TRANSITION t5323
lola: STATE EQUATION TRIES TRANSITION t4842
lola: STATE EQUATION TRIES TRANSITION t15612
lola: STATE EQUATION TRIES TRANSITION t13080
lola: STATE EQUATION TRIES TRANSITION t7251
lola: reporting
lola: not produced: 1547
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12132
lola: STATE EQUATION TRIES TRANSITION t12762
lola: STATE EQUATION TRIES TRANSITION t5237
lola: STATE EQUATION TRIES TRANSITION t3772
lola: STATE EQUATION TRIES TRANSITION t14202
lola: reporting
lola: not produced: 1413
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12266
lola: STATE EQUATION TRIES TRANSITION t7666
lola: STATE EQUATION TRIES TRANSITION t5237
lola: STATE EQUATION TRIES TRANSITION t4938
lola: STATE EQUATION TRIES TRANSITION t7358
lola: STATE EQUATION TRIES TRANSITION t7226
lola: reporting
lola: not produced: 1278
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12401
lola: STATE EQUATION TRIES TRANSITION t5625
lola: STATE EQUATION TRIES TRANSITION t12228
lola: STATE EQUATION TRIES TRANSITION t4463
lola: STATE EQUATION TRIES TRANSITION t4971
lola: reporting
lola: not produced: 1142
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12537
lola: STATE EQUATION TRIES TRANSITION t4311
lola: STATE EQUATION TRIES TRANSITION t11919
lola: STATE EQUATION TRIES TRANSITION t10518
lola: STATE EQUATION TRIES TRANSITION t11232
lola: STATE EQUATION TRIES TRANSITION t12370
lola: reporting
lola: not produced: 1007
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12672
lola: STATE EQUATION TRIES TRANSITION t13781
lola: STATE EQUATION TRIES TRANSITION t11919
lola: STATE EQUATION TRIES TRANSITION t11510
lola: STATE EQUATION TRIES TRANSITION t8398
lola: reporting
lola: not produced: 872
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12807
lola: STATE EQUATION TRIES TRANSITION t9036
lola: STATE EQUATION TRIES TRANSITION t5871
lola: STATE EQUATION TRIES TRANSITION t6769
lola: STATE EQUATION TRIES TRANSITION t5931
lola: STATE EQUATION TRIES TRANSITION t12969
lola: reporting
lola: not produced: 738
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 12941
lola: STATE EQUATION TRIES TRANSITION t13794
lola: STATE EQUATION TRIES TRANSITION t15279
lola: STATE EQUATION TRIES TRANSITION t5530
lola: STATE EQUATION TRIES TRANSITION t5618
lola: STATE EQUATION TRIES TRANSITION t8845
lola: reporting
lola: not produced: 603
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 13076
lola: STATE EQUATION TRIES TRANSITION t8275
lola: STATE EQUATION TRIES TRANSITION t6279
lola: STATE EQUATION TRIES TRANSITION t15603
lola: STATE EQUATION TRIES TRANSITION t5071
lola: reporting
lola: not produced: 469
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 13210
lola: STATE EQUATION TRIES TRANSITION t5096
lola: STATE EQUATION TRIES TRANSITION t6741
lola: STATE EQUATION TRIES TRANSITION t6467
lola: STATE EQUATION TRIES TRANSITION t11265
lola: STATE EQUATION TRIES TRANSITION t11284
lola: reporting
lola: not produced: 334
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 13345
lola: STATE EQUATION TRIES TRANSITION t14127
lola: STATE EQUATION TRIES TRANSITION t10228
lola: STATE EQUATION TRIES TRANSITION t4132
lola: STATE EQUATION TRIES TRANSITION t10330
lola: reporting
lola: not produced: 199
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 13480
lola: STATE EQUATION TRIES TRANSITION t10454
lola: STATE EQUATION TRIES TRANSITION t4433
lola: STATE EQUATION TRIES TRANSITION t5756
lola: STATE EQUATION TRIES TRANSITION t9350
lola: STATE EQUATION TRIES TRANSITION t8052
lola: reporting
lola: not produced: 65
lola: state equation: 3
lola: find path: 48
lola: goal oriented search: 13614
lola: STATE EQUATION TRIES TRANSITION t15521
lola: STATE EQUATION TRIES TRANSITION t15610
lola: The net is quasilive
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="StigmergyCommit-PT-07b"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool lola"
echo " Input is StigmergyCommit-PT-07b, examination is QuasiLiveness"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r468-smll-167912658000302"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-07b.tgz
mv StigmergyCommit-PT-07b execution
cd execution
if [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "UpperBounds" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] || [ "QuasiLiveness" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "QuasiLiveness" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "QuasiLiveness" != "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 "QuasiLiveness.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property QuasiLiveness.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "QuasiLiveness.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
elif [ "QuasiLiveness" = "ReachabilityDeadlock" ] || [ "QuasiLiveness" = "QuasiLiveness" ] || [ "QuasiLiveness" = "StableMarking" ] || [ "QuasiLiveness" = "Liveness" ] || [ "QuasiLiveness" = "OneSafe" ] ; then
echo "FORMULA_NAME QuasiLiveness"
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 ;