About the Execution of LoLA for StigmergyElection-PT-08b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4989.707 | 887660.00 | 1835213.00 | 2541.30 | 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-167912658200412.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 StigmergyElection-PT-08b, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r468-smll-167912658200412
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 16:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 16:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 16:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 16:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 1679395324970
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=StigmergyElection-PT-08b
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT StigmergyElection-PT-08b
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 1679396212630
--------------------
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 t1518
sara: try reading problem file stateEquationProblem-QuasiLiveness-3556.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 13485
lola: find path: 39
lola: goal oriented search: 60
lola: reporting
lola: not produced: 13346
lola: find path: 39
lola: goal oriented search: 199
lola: reporting
lola: not produced: 13203
lola: find path: 39
lola: goal oriented search: 342
lola: reporting
lola: not produced: 13053
lola: find path: 39
lola: goal oriented search: 492
lola: reporting
lola: not produced: 12907
lola: find path: 39
lola: goal oriented search: 638
lola: reporting
lola: not produced: 12762
lola: find path: 39
lola: goal oriented search: 783
lola: reporting
lola: not produced: 12601
lola: find path: 39
lola: goal oriented search: 944
lola: reporting
lola: not produced: 12497
lola: find path: 39
lola: goal oriented search: 1048
lola: reporting
lola: not produced: 12357
lola: find path: 40
lola: goal oriented search: 1187
lola: reporting
lola: not produced: 12212
lola: find path: 40
lola: goal oriented search: 1332
lola: reporting
lola: not produced: 12059
lola: find path: 40
lola: goal oriented search: 1485
lola: reporting
lola: not produced: 11913
lola: find path: 40
lola: goal oriented search: 1631
lola: reporting
lola: not produced: 11772
lola: find path: 40
lola: goal oriented search: 1772
lola: reporting
lola: not produced: 11620
lola: find path: 40
lola: goal oriented search: 1924
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 11483
lola: find path: 40
lola: goal oriented search: 2061
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t10001
lola: reporting
lola: not produced: 11329
lola: find path: 40
lola: goal oriented search: 2215
sara: try reading problem file stateEquationProblem-QuasiLiveness-4861.sara.
lola: reporting
lola: not produced: 11190
lola: find path: 40
lola: goal oriented search: 2354
lola: reporting
lola: not produced: 11046
lola: find path: 40
lola: goal oriented search: 2498
lola: reporting
lola: not produced: 10900
lola: find path: 40
lola: goal oriented search: 2644
lola: reporting
lola: not produced: 10756
lola: find path: 40
lola: goal oriented search: 2788
lola: reporting
lola: not produced: 10611
lola: find path: 40
lola: goal oriented search: 2933
lola: reporting
lola: not produced: 10459
lola: find path: 40
lola: goal oriented search: 3085
lola: reporting
lola: not produced: 10314
lola: find path: 40
lola: goal oriented search: 3230
lola: reporting
lola: not produced: 10169
lola: find path: 40
lola: goal oriented search: 3375
lola: reporting
lola: not produced: 10034
lola: find path: 40
lola: goal oriented search: 3510
lola: reporting
lola: not produced: 9893
lola: find path: 40
lola: goal oriented search: 3651
lola: reporting
lola: not produced: 9750
lola: find path: 40
lola: goal oriented search: 3794
lola: reporting
lola: not produced: 9606
lola: find path: 40
lola: goal oriented search: 3938
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9475
lola: find path: 40
lola: goal oriented search: 4069
lola: reporting
lola: not produced: 9326
lola: find path: 40
lola: goal oriented search: 4218
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t7695
sara: try reading problem file stateEquationProblem-QuasiLiveness-3290.sara.
lola: reporting
lola: not produced: 9181
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 4362
lola: reporting
lola: not produced: 9038
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 4505
lola: reporting
lola: not produced: 8888
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 4655
lola: reporting
lola: not produced: 8739
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 4804
lola: reporting
lola: not produced: 8594
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 4949
lola: reporting
lola: not produced: 8447
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5096
lola: reporting
lola: not produced: 8301
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5242
lola: reporting
lola: not produced: 8156
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5387
lola: reporting
lola: not produced: 8010
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5533
lola: reporting
lola: not produced: 7864
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5679
lola: reporting
lola: not produced: 7732
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5811
lola: reporting
lola: not produced: 7587
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 5956
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7441
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 6102
lola: reporting
lola: not produced: 7297
lola: state equation: 1
lola: find path: 40
lola: goal oriented search: 6246
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t6040
lola: reporting
lola: not produced: 7151
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 6391
sara: try reading problem file stateEquationProblem-QuasiLiveness-716.sara.
lola: reporting
lola: not produced: 7010
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 6532
lola: reporting
lola: not produced: 6862
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 6680
lola: reporting
lola: not produced: 6717
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 6825
lola: reporting
lola: not produced: 6572
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 6970
lola: reporting
lola: not produced: 6425
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7117
lola: reporting
lola: not produced: 6280
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7262
lola: reporting
lola: not produced: 6134
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7408
lola: reporting
lola: not produced: 5990
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7552
lola: reporting
lola: not produced: 5846
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7696
lola: reporting
lola: not produced: 5707
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7835
lola: reporting
lola: not produced: 5564
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 7978
lola: reporting
lola: not produced: 5419
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 8123
lola: reporting
lola: not produced: 5273
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 8269
lola: reporting
lola: not produced: 5129
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 8413
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4986
lola: state equation: 2
lola: find path: 40
lola: goal oriented search: 8556
lola: reporting
lola: not produced: 4840
lola: state equation: 2
lola: find path: 41
lola: goal oriented search: 8701
lola: reporting
lola: not produced: 4694
lola: state equation: 2
lola: find path: 42
lola: goal oriented search: 8846
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t10326
lola: reporting
lola: not produced: 4548
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 8991
lola: STATE EQUATION TRIES TRANSITION t8813
lola: STATE EQUATION TRIES TRANSITION t9756
lola: STATE EQUATION TRIES TRANSITION t8519
lola: STATE EQUATION TRIES TRANSITION t1614
lola: STATE EQUATION TRIES TRANSITION t1992
lola: reporting
lola: not produced: 4403
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9136
lola: STATE EQUATION TRIES TRANSITION t7359
lola: STATE EQUATION TRIES TRANSITION t9688
lola: STATE EQUATION TRIES TRANSITION t7447
lola: STATE EQUATION TRIES TRANSITION t12153
lola: reporting
lola: not produced: 4258
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9281
lola: STATE EQUATION TRIES TRANSITION t11174
lola: STATE EQUATION TRIES TRANSITION t5824
lola: STATE EQUATION TRIES TRANSITION t2719
lola: STATE EQUATION TRIES TRANSITION t8352
lola: STATE EQUATION TRIES TRANSITION t10869
lola: reporting
lola: not produced: 4113
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9426
lola: STATE EQUATION TRIES TRANSITION t8147
lola: STATE EQUATION TRIES TRANSITION t9251
lola: STATE EQUATION TRIES TRANSITION t9869
lola: STATE EQUATION TRIES TRANSITION t1905
lola: STATE EQUATION TRIES TRANSITION t9181
lola: reporting
lola: not produced: 3968
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9571
lola: STATE EQUATION TRIES TRANSITION t5900
lola: STATE EQUATION TRIES TRANSITION t13986
lola: STATE EQUATION TRIES TRANSITION t11596
lola: STATE EQUATION TRIES TRANSITION t8714
lola: STATE EQUATION TRIES TRANSITION t13120
lola: reporting
lola: not produced: 3822
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9717
lola: STATE EQUATION TRIES TRANSITION t4698
lola: STATE EQUATION TRIES TRANSITION t3187
lola: STATE EQUATION TRIES TRANSITION t1169
lola: STATE EQUATION TRIES TRANSITION t2264
lola: STATE EQUATION TRIES TRANSITION t11144
lola: reporting
lola: not produced: 3678
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 9861
lola: STATE EQUATION TRIES TRANSITION t9251
lola: STATE EQUATION TRIES TRANSITION t9622
lola: STATE EQUATION TRIES TRANSITION t9532
lola: STATE EQUATION TRIES TRANSITION t6096
lola: STATE EQUATION TRIES TRANSITION t10583
lola: reporting
lola: not produced: 3532
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10007
lola: STATE EQUATION TRIES TRANSITION t9688
lola: STATE EQUATION TRIES TRANSITION t4989
lola: STATE EQUATION TRIES TRANSITION t11478
lola: STATE EQUATION TRIES TRANSITION t1371
lola: reporting
lola: not produced: 3387
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10152
lola: STATE EQUATION TRIES TRANSITION t9277
lola: STATE EQUATION TRIES TRANSITION t4680
lola: STATE EQUATION TRIES TRANSITION t12769
lola: STATE EQUATION TRIES TRANSITION t8001
lola: STATE EQUATION TRIES TRANSITION t8462
lola: reporting
lola: not produced: 3243
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10296
lola: STATE EQUATION TRIES TRANSITION t8675
lola: STATE EQUATION TRIES TRANSITION t10813
lola: STATE EQUATION TRIES TRANSITION t4945
lola: STATE EQUATION TRIES TRANSITION t8135
lola: STATE EQUATION TRIES TRANSITION t13347
lola: reporting
lola: not produced: 3098
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10441
lola: STATE EQUATION TRIES TRANSITION t11290
lola: STATE EQUATION TRIES TRANSITION t11550
lola: STATE EQUATION TRIES TRANSITION t1311
lola: STATE EQUATION TRIES TRANSITION t12625
lola: STATE EQUATION TRIES TRANSITION t12408
lola: reporting
lola: not produced: 2954
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10585
lola: STATE EQUATION TRIES TRANSITION t11283
lola: STATE EQUATION TRIES TRANSITION t6866
lola: STATE EQUATION TRIES TRANSITION t4261
lola: STATE EQUATION TRIES TRANSITION t2702
lola: reporting
lola: not produced: 2810
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10729
lola: STATE EQUATION TRIES TRANSITION t11214
lola: STATE EQUATION TRIES TRANSITION t8462
lola: STATE EQUATION TRIES TRANSITION t5022
lola: STATE EQUATION TRIES TRANSITION t4320
lola: STATE EQUATION TRIES TRANSITION t12432
lola: reporting
lola: not produced: 2666
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 10873
lola: STATE EQUATION TRIES TRANSITION t14462
lola: STATE EQUATION TRIES TRANSITION t8374
lola: STATE EQUATION TRIES TRANSITION t11417
lola: STATE EQUATION TRIES TRANSITION t11770
lola: STATE EQUATION TRIES TRANSITION t11518
lola: reporting
lola: not produced: 2519
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11020
lola: STATE EQUATION TRIES TRANSITION t3916
lola: STATE EQUATION TRIES TRANSITION t3689
lola: STATE EQUATION TRIES TRANSITION t3189
lola: STATE EQUATION TRIES TRANSITION t3773
lola: STATE EQUATION TRIES TRANSITION t7498
lola: reporting
lola: not produced: 2374
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11165
lola: STATE EQUATION TRIES TRANSITION t9673
lola: STATE EQUATION TRIES TRANSITION t12087
lola: STATE EQUATION TRIES TRANSITION t9673
lola: STATE EQUATION TRIES TRANSITION t13366
lola: STATE EQUATION TRIES TRANSITION t10792
lola: reporting
lola: not produced: 2227
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11312
lola: STATE EQUATION TRIES TRANSITION t2669
lola: STATE EQUATION TRIES TRANSITION t8994
lola: STATE EQUATION TRIES TRANSITION t12200
lola: STATE EQUATION TRIES TRANSITION t3916
lola: reporting
lola: not produced: 2083
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11456
lola: STATE EQUATION TRIES TRANSITION t4430
lola: STATE EQUATION TRIES TRANSITION t2885
lola: STATE EQUATION TRIES TRANSITION t8720
lola: STATE EQUATION TRIES TRANSITION t10656
lola: STATE EQUATION TRIES TRANSITION t7228
lola: reporting
lola: not produced: 1937
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11602
lola: STATE EQUATION TRIES TRANSITION t13532
lola: STATE EQUATION TRIES TRANSITION t2647
lola: STATE EQUATION TRIES TRANSITION t4486
lola: STATE EQUATION TRIES TRANSITION t4695
lola: STATE EQUATION TRIES TRANSITION t14089
lola: reporting
lola: not produced: 1796
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11743
lola: STATE EQUATION TRIES TRANSITION t13842
lola: STATE EQUATION TRIES TRANSITION t1575
lola: STATE EQUATION TRIES TRANSITION t7971
lola: STATE EQUATION TRIES TRANSITION t5745
lola: STATE EQUATION TRIES TRANSITION t6842
lola: reporting
lola: not produced: 1649
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 11890
lola: STATE EQUATION TRIES TRANSITION t9151
lola: STATE EQUATION TRIES TRANSITION t1653
lola: STATE EQUATION TRIES TRANSITION t11285
lola: STATE EQUATION TRIES TRANSITION t2209
lola: reporting
lola: not produced: 1503
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12036
lola: STATE EQUATION TRIES TRANSITION t2158
lola: STATE EQUATION TRIES TRANSITION t12655
lola: STATE EQUATION TRIES TRANSITION t10595
lola: STATE EQUATION TRIES TRANSITION t6312
lola: STATE EQUATION TRIES TRANSITION t13795
lola: reporting
lola: not produced: 1359
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12180
lola: STATE EQUATION TRIES TRANSITION t8124
lola: STATE EQUATION TRIES TRANSITION t12336
lola: STATE EQUATION TRIES TRANSITION t11001
lola: STATE EQUATION TRIES TRANSITION t8125
lola: STATE EQUATION TRIES TRANSITION t3395
lola: reporting
lola: not produced: 1213
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12326
lola: STATE EQUATION TRIES TRANSITION t1326
lola: STATE EQUATION TRIES TRANSITION t1812
lola: STATE EQUATION TRIES TRANSITION t1667
lola: STATE EQUATION TRIES TRANSITION t11930
lola: STATE EQUATION TRIES TRANSITION t6882
lola: reporting
lola: not produced: 1069
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12470
lola: STATE EQUATION TRIES TRANSITION t2704
lola: STATE EQUATION TRIES TRANSITION t10850
lola: STATE EQUATION TRIES TRANSITION t12767
lola: STATE EQUATION TRIES TRANSITION t5937
lola: STATE EQUATION TRIES TRANSITION t7357
lola: reporting
lola: not produced: 924
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12615
lola: STATE EQUATION TRIES TRANSITION t2803
lola: STATE EQUATION TRIES TRANSITION t4855
lola: STATE EQUATION TRIES TRANSITION t8845
lola: STATE EQUATION TRIES TRANSITION t9705
lola: reporting
lola: not produced: 778
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12761
lola: STATE EQUATION TRIES TRANSITION t11820
lola: STATE EQUATION TRIES TRANSITION t13620
lola: STATE EQUATION TRIES TRANSITION t7524
lola: STATE EQUATION TRIES TRANSITION t12170
lola: STATE EQUATION TRIES TRANSITION t13630
lola: reporting
lola: not produced: 633
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 12906
lola: STATE EQUATION TRIES TRANSITION t3827
lola: STATE EQUATION TRIES TRANSITION t12325
lola: STATE EQUATION TRIES TRANSITION t4616
lola: STATE EQUATION TRIES TRANSITION t7579
lola: STATE EQUATION TRIES TRANSITION t6436
lola: reporting
lola: not produced: 491
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 13048
lola: STATE EQUATION TRIES TRANSITION t10601
lola: STATE EQUATION TRIES TRANSITION t11065
lola: STATE EQUATION TRIES TRANSITION t2168
lola: STATE EQUATION TRIES TRANSITION t5654
lola: reporting
lola: not produced: 348
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 13191
lola: STATE EQUATION TRIES TRANSITION t10976
lola: STATE EQUATION TRIES TRANSITION t4871
lola: STATE EQUATION TRIES TRANSITION t5571
lola: STATE EQUATION TRIES TRANSITION t13762
lola: STATE EQUATION TRIES TRANSITION t7663
lola: reporting
lola: not produced: 205
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 13334
lola: STATE EQUATION TRIES TRANSITION t11599
lola: STATE EQUATION TRIES TRANSITION t13907
lola: STATE EQUATION TRIES TRANSITION t6802
lola: STATE EQUATION TRIES TRANSITION t4496
lola: reporting
lola: not produced: 61
lola: state equation: 3
lola: find path: 42
lola: goal oriented search: 13478
lola: STATE EQUATION TRIES TRANSITION t10635
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="StigmergyElection-PT-08b"
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 StigmergyElection-PT-08b, 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-167912658200412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-08b.tgz
mv StigmergyElection-PT-08b 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 ;