About the Execution of LoLA for NoC3x3-PT-7A
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 280.443 | 35909.00 | 108371.00 | 42.60 | 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.r276-smll-167863548000202.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 NoC3x3-PT-7A, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-167863548000202
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 756K
-rw-r--r-- 1 mcc users 7.2K Feb 26 10:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 10:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 10:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 10:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.1K Feb 26 10:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 10:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 10:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 355K 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 1678878780756
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=NoC3x3-PT-7A
Not applying reductions.
Model is PT
QuasiLiveness PT
starting LoLA
BK_INPUT NoC3x3-PT-7A
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 1678878816665
--------------------
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 t1186
lola: LAUNCH SYMM
sara: try reading problem file stateEquationProblem-QuasiLiveness-67.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t620
sara: try reading problem file stateEquationProblem-QuasiLiveness-897.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t119
sara: try reading problem file stateEquationProblem-QuasiLiveness-563.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1160
sara: try reading problem file stateEquationProblem-QuasiLiveness-46.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1484
sara: try reading problem file stateEquationProblem-QuasiLiveness-513.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t439
sara: try reading problem file stateEquationProblem-QuasiLiveness-768.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1391
sara: try reading problem file stateEquationProblem-QuasiLiveness-446.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t238
sara: try reading problem file stateEquationProblem-QuasiLiveness-638.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t713
sara: try reading problem file stateEquationProblem-QuasiLiveness-1047.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1140
sara: try reading problem file stateEquationProblem-QuasiLiveness-31.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t723
sara: try reading problem file stateEquationProblem-QuasiLiveness-1055.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1167
sara: try reading problem file stateEquationProblem-QuasiLiveness-53.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1083
sara: try reading problem file stateEquationProblem-QuasiLiveness-1023.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t250
sara: try reading problem file stateEquationProblem-QuasiLiveness-647.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t979
sara: try reading problem file stateEquationProblem-QuasiLiveness-354.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t695
sara: try reading problem file stateEquationProblem-QuasiLiveness-961.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1260
sara: try reading problem file stateEquationProblem-QuasiLiveness-254.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t557
sara: try reading problem file stateEquationProblem-QuasiLiveness-844.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t861
sara: try reading problem file stateEquationProblem-QuasiLiveness-134.sara.
lola: reporting
lola: not produced: 359
lola: state equation: 18
lola: goal oriented search: 745
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t955
sara: try reading problem file stateEquationProblem-QuasiLiveness-330.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t253
sara: try reading problem file stateEquationProblem-QuasiLiveness-648.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1282
sara: try reading problem file stateEquationProblem-QuasiLiveness-271.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t440
sara: try reading problem file stateEquationProblem-QuasiLiveness-769.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t860
sara: try reading problem file stateEquationProblem-QuasiLiveness-133.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t777
sara: try reading problem file stateEquationProblem-QuasiLiveness-1103.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t950
sara: try reading problem file stateEquationProblem-QuasiLiveness-325.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1001
sara: try reading problem file stateEquationProblem-QuasiLiveness-967.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1480
sara: try reading problem file stateEquationProblem-QuasiLiveness-509.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t120
sara: try reading problem file stateEquationProblem-QuasiLiveness-564.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t980
sara: try reading problem file stateEquationProblem-QuasiLiveness-355.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t837
sara: try reading problem file stateEquationProblem-QuasiLiveness-110.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1434
sara: try reading problem file stateEquationProblem-QuasiLiveness-471.sara.
lola: reporting
lola: not produced: 342
lola: state equation: 31
lola: goal oriented search: 749
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t906
sara: try reading problem file stateEquationProblem-QuasiLiveness-282.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t599
sara: try reading problem file stateEquationProblem-QuasiLiveness-880.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t838
sara: try reading problem file stateEquationProblem-QuasiLiveness-111.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t601
sara: try reading problem file stateEquationProblem-QuasiLiveness-882.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t622
sara: try reading problem file stateEquationProblem-QuasiLiveness-899.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1436
sara: try reading problem file stateEquationProblem-QuasiLiveness-473.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t280
sara: try reading problem file stateEquationProblem-QuasiLiveness-667.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1225
sara: try reading problem file stateEquationProblem-QuasiLiveness-223.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t674
sara: try reading problem file stateEquationProblem-QuasiLiveness-940.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t254
sara: try reading problem file stateEquationProblem-QuasiLiveness-649.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t126
sara: try reading problem file stateEquationProblem-QuasiLiveness-567.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1320
sara: try reading problem file stateEquationProblem-QuasiLiveness-386.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1379
sara: try reading problem file stateEquationProblem-QuasiLiveness-439.sara.
lola: reporting
lola: not produced: 320
lola: state equation: 44
lola: goal oriented search: 758
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1348
sara: try reading problem file stateEquationProblem-QuasiLiveness-412.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t321
sara: try reading problem file stateEquationProblem-QuasiLiveness-692.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t558
sara: try reading problem file stateEquationProblem-QuasiLiveness-845.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t222
sara: try reading problem file stateEquationProblem-QuasiLiveness-627.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1478
sara: try reading problem file stateEquationProblem-QuasiLiveness-507.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t559
sara: try reading problem file stateEquationProblem-QuasiLiveness-846.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t377
sara: try reading problem file stateEquationProblem-QuasiLiveness-726.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1096
sara: try reading problem file stateEquationProblem-QuasiLiveness-1043.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t926
sara: try reading problem file stateEquationProblem-QuasiLiveness-306.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t603
sara: try reading problem file stateEquationProblem-QuasiLiveness-884.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t338
sara: try reading problem file stateEquationProblem-QuasiLiveness-701.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t862
sara: try reading problem file stateEquationProblem-QuasiLiveness-135.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t572
sara: try reading problem file stateEquationProblem-QuasiLiveness-853.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t633
sara: try reading problem file stateEquationProblem-QuasiLiveness-910.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t896
sara: try reading problem file stateEquationProblem-QuasiLiveness-160.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t885
sara: try reading problem file stateEquationProblem-QuasiLiveness-149.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t647
sara: try reading problem file stateEquationProblem-QuasiLiveness-921.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t281
sara: try reading problem file stateEquationProblem-QuasiLiveness-668.sara.
lola: reporting
lola: not produced: 129
lola: state equation: 61
lola: goal oriented search: 932
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1395
sara: try reading problem file stateEquationProblem-QuasiLiveness-450.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1405
sara: try reading problem file stateEquationProblem-QuasiLiveness-454.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1296
sara: try reading problem file stateEquationProblem-QuasiLiveness-292.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t733
sara: try reading problem file stateEquationProblem-QuasiLiveness-1065.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t350
sara: try reading problem file stateEquationProblem-QuasiLiveness-708.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t339
sara: try reading problem file stateEquationProblem-QuasiLiveness-702.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t582
sara: try reading problem file stateEquationProblem-QuasiLiveness-863.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t735
sara: try reading problem file stateEquationProblem-QuasiLiveness-1067.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t585
sara: try reading problem file stateEquationProblem-QuasiLiveness-866.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t588
sara: try reading problem file stateEquationProblem-QuasiLiveness-869.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t607
sara: try reading problem file stateEquationProblem-QuasiLiveness-888.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1482
sara: try reading problem file stateEquationProblem-QuasiLiveness-511.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1216
sara: try reading problem file stateEquationProblem-QuasiLiveness-215.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t460
sara: try reading problem file stateEquationProblem-QuasiLiveness-784.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1261
sara: try reading problem file stateEquationProblem-QuasiLiveness-255.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t649
sara: try reading problem file stateEquationProblem-QuasiLiveness-923.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t609
sara: try reading problem file stateEquationProblem-QuasiLiveness-890.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t468
sara: try reading problem file stateEquationProblem-QuasiLiveness-790.sara.
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 99
lola: state equation: 79
lola: goal oriented search: 944
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t901
sara: try reading problem file stateEquationProblem-QuasiLiveness-277.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t340
sara: try reading problem file stateEquationProblem-QuasiLiveness-703.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1407
sara: try reading problem file stateEquationProblem-QuasiLiveness-456.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t651
sara: try reading problem file stateEquationProblem-QuasiLiveness-925.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t669
sara: try reading problem file stateEquationProblem-QuasiLiveness-935.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t672
sara: try reading problem file stateEquationProblem-QuasiLiveness-938.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t673
sara: try reading problem file stateEquationProblem-QuasiLiveness-939.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1488
sara: try reading problem file stateEquationProblem-QuasiLiveness-517.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t263
sara: try reading problem file stateEquationProblem-QuasiLiveness-656.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1002
sara: try reading problem file stateEquationProblem-QuasiLiveness-968.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1125
sara: try reading problem file stateEquationProblem-QuasiLiveness-16.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1226
sara: try reading problem file stateEquationProblem-QuasiLiveness-224.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t675
sara: try reading problem file stateEquationProblem-QuasiLiveness-941.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t737
sara: try reading problem file stateEquationProblem-QuasiLiveness-1069.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t902
sara: try reading problem file stateEquationProblem-QuasiLiveness-278.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t676
sara: try reading problem file stateEquationProblem-QuasiLiveness-942.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1228
sara: try reading problem file stateEquationProblem-QuasiLiveness-226.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1129
sara: try reading problem file stateEquationProblem-QuasiLiveness-20.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1409
sara: try reading problem file stateEquationProblem-QuasiLiveness-458.sara.
lola: reporting
lola: not produced: 78
lola: state equation: 98
lola: goal oriented search: 946
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t952
sara: try reading problem file stateEquationProblem-QuasiLiveness-327.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t839
sara: try reading problem file stateEquationProblem-QuasiLiveness-112.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1230
sara: try reading problem file stateEquationProblem-QuasiLiveness-228.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1232
sara: try reading problem file stateEquationProblem-QuasiLiveness-230.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1233
sara: try reading problem file stateEquationProblem-QuasiLiveness-231.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t953
sara: try reading problem file stateEquationProblem-QuasiLiveness-328.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t977
sara: try reading problem file stateEquationProblem-QuasiLiveness-352.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t686
sara: try reading problem file stateEquationProblem-QuasiLiveness-952.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1005
sara: try reading problem file stateEquationProblem-QuasiLiveness-971.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1006
sara: try reading problem file stateEquationProblem-QuasiLiveness-972.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1010
sara: try reading problem file stateEquationProblem-QuasiLiveness-976.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1302
sara: try reading problem file stateEquationProblem-QuasiLiveness-372.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1011
sara: try reading problem file stateEquationProblem-QuasiLiveness-977.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1441
sara: try reading problem file stateEquationProblem-QuasiLiveness-478.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t907
sara: try reading problem file stateEquationProblem-QuasiLiveness-283.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1013
sara: try reading problem file stateEquationProblem-QuasiLiveness-979.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t959
lola: reporting
lola: not produced: 14
lola: state equation: 112
lola: goal oriented search: 996
sara: try reading problem file stateEquationProblem-QuasiLiveness-334.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
lola: STATE EQUATION TRIES TRANSITION t1444
sara: try reading problem file stateEquationProblem-QuasiLiveness-481.sara.
sara: place or transition ordering is non-deterministic
lola: SARA FINISHED
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="NoC3x3-PT-7A"
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 NoC3x3-PT-7A, 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 r276-smll-167863548000202"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7A.tgz
mv NoC3x3-PT-7A 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 ;