About the Execution of LoLA for NoC3x3-PT-7B
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 1877.516 | 1071473.00 | 4298016.00 | 72.80 | F | 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-167863548000208.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-7B, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r276-smll-167863548000208
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 8.0K Feb 26 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 90K Feb 26 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 26 09:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 09:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 09:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 130K Feb 26 09:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K 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 2.0M 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 StableMarking
=== Now, execution of the tool begins
BK_START 1678879212844
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=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=NoC3x3-PT-7B
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT NoC3x3-PT-7B
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
FORMULA StableMarking FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
BK_STOP 1678880284317
--------------------
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 PLACE p4129
sara: try reading problem file stateEquationProblem-ConstantPlace-6893.sara.
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 7014
lola: reporting
lola: not produced: 3822
lola: find path: 3144
lola: symmetry: 48
lola: reporting
lola: not produced: 2999
lola: find path: 3935
lola: symmetry: 80
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2497
lola: find path: 4415
lola: symmetry: 102
lola: STATE EQUATION TRIES PLACE p4751
sara: try reading problem file stateEquationProblem-ConstantPlace-1961.sara.
lola: reporting
lola: not produced: 2241
lola: state equation: 1
lola: find path: 4645
lola: symmetry: 127
lola: reporting
lola: not produced: 2054
lola: state equation: 1
lola: find path: 4825
lola: symmetry: 134
lola: reporting
lola: not produced: 1859
lola: state equation: 1
lola: find path: 5006
lola: symmetry: 148
lola: reporting
lola: not produced: 1660
lola: state equation: 1
lola: find path: 5187
lola: symmetry: 166
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1530
lola: state equation: 1
lola: find path: 5317
lola: symmetry: 166
lola: STATE EQUATION TRIES PLACE p838
sara: try reading problem file stateEquationProblem-ConstantPlace-5162.sara.
lola: reporting
lola: not produced: 1329
lola: state equation: 2
lola: find path: 5513
lola: symmetry: 170
lola: reporting
lola: not produced: 1249
lola: state equation: 2
lola: find path: 5589
lola: symmetry: 174
lola: reporting
lola: not produced: 1162
lola: state equation: 2
lola: find path: 5675
lola: symmetry: 175
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 1120
lola: state equation: 2
lola: find path: 5716
lola: symmetry: 176
lola: STATE EQUATION TRIES PLACE p156
sara: try reading problem file stateEquationProblem-ConstantPlace-1896.sara.
lola: reporting
lola: not produced: 1066
lola: state equation: 3
lola: find path: 5767
lola: symmetry: 178
lola: reporting
lola: not produced: 1021
lola: state equation: 3
lola: find path: 5812
lola: symmetry: 178
lola: reporting
lola: not produced: 953
lola: state equation: 3
lola: find path: 5880
lola: symmetry: 178
lola: reporting
lola: not produced: 885
lola: state equation: 3
lola: find path: 5948
lola: symmetry: 178
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 836
lola: state equation: 3
lola: find path: 5997
lola: symmetry: 178
lola: STATE EQUATION TRIES PLACE p5088
sara: try reading problem file stateEquationProblem-ConstantPlace-5112.sara.
lola: reporting
lola: not produced: 806
lola: state equation: 4
lola: find path: 6026
lola: symmetry: 178
lola: reporting
lola: not produced: 752
lola: state equation: 4
lola: find path: 6078
lola: symmetry: 180
lola: reporting
lola: not produced: 710
lola: state equation: 4
lola: find path: 6120
lola: symmetry: 180
lola: reporting
lola: not produced: 671
lola: state equation: 4
lola: find path: 6159
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3730
sara: try reading problem file stateEquationProblem-ConstantPlace-3244.sara.
lola: reporting
lola: not produced: 650
lola: state equation: 5
lola: find path: 6179
lola: symmetry: 180
lola: reporting
lola: not produced: 607
lola: state equation: 5
lola: find path: 6222
lola: symmetry: 180
lola: reporting
lola: not produced: 588
lola: state equation: 5
lola: find path: 6241
lola: symmetry: 180
lola: reporting
lola: not produced: 564
lola: state equation: 5
lola: find path: 6265
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 544
lola: state equation: 5
lola: find path: 6285
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p6441
sara: try reading problem file stateEquationProblem-ConstantPlace-5475.sara.
lola: reporting
lola: not produced: 526
lola: state equation: 6
lola: find path: 6302
lola: symmetry: 180
lola: reporting
lola: not produced: 496
lola: state equation: 6
lola: find path: 6332
lola: symmetry: 180
lola: reporting
lola: not produced: 478
lola: state equation: 6
lola: find path: 6350
lola: symmetry: 180
lola: reporting
lola: not produced: 472
lola: state equation: 6
lola: find path: 6356
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 440
lola: state equation: 6
lola: find path: 6388
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3815
sara: try reading problem file stateEquationProblem-ConstantPlace-3709.sara.
lola: reporting
lola: not produced: 413
lola: state equation: 7
lola: find path: 6414
lola: symmetry: 180
lola: reporting
lola: not produced: 404
lola: state equation: 7
lola: find path: 6423
lola: symmetry: 180
lola: reporting
lola: not produced: 382
lola: state equation: 7
lola: find path: 6445
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 366
lola: state equation: 7
lola: find path: 6461
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3123
sara: try reading problem file stateEquationProblem-ConstantPlace-974.sara.
lola: reporting
lola: not produced: 356
lola: state equation: 8
lola: find path: 6470
lola: symmetry: 180
lola: reporting
lola: not produced: 350
lola: state equation: 8
lola: find path: 6476
lola: symmetry: 180
lola: reporting
lola: not produced: 327
lola: state equation: 8
lola: find path: 6499
lola: symmetry: 180
lola: reporting
lola: not produced: 314
lola: state equation: 8
lola: find path: 6512
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 311
lola: state equation: 8
lola: find path: 6515
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3787
sara: try reading problem file stateEquationProblem-ConstantPlace-3392.sara.
lola: reporting
lola: not produced: 299
lola: state equation: 9
lola: find path: 6526
lola: symmetry: 180
lola: reporting
lola: not produced: 278
lola: state equation: 9
lola: find path: 6547
lola: symmetry: 180
lola: reporting
lola: not produced: 267
lola: state equation: 9
lola: find path: 6558
lola: symmetry: 180
lola: reporting
lola: not produced: 261
lola: state equation: 9
lola: find path: 6564
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 249
lola: state equation: 9
lola: find path: 6576
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p1710
sara: try reading problem file stateEquationProblem-ConstantPlace-6224.sara.
lola: reporting
lola: not produced: 233
lola: state equation: 10
lola: find path: 6591
lola: symmetry: 180
lola: reporting
lola: not produced: 227
lola: state equation: 10
lola: find path: 6597
lola: symmetry: 180
lola: reporting
lola: not produced: 222
lola: state equation: 10
lola: find path: 6602
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 219
lola: state equation: 10
lola: find path: 6605
lola: symmetry: 180
sara: warning, failure of lp_solve (at job 10)
lola: reporting
lola: not produced: 212
lola: state equation: 10
lola: find path: 6612
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3741
sara: try reading problem file stateEquationProblem-ConstantPlace-3275.sara.
lola: reporting
lola: not produced: 209
lola: state equation: 11
lola: find path: 6614
lola: symmetry: 180
lola: reporting
lola: not produced: 202
lola: state equation: 11
lola: find path: 6621
lola: symmetry: 180
lola: reporting
lola: not produced: 202
lola: state equation: 11
lola: find path: 6621
lola: symmetry: 180
lola: reporting
lola: not produced: 192
lola: state equation: 11
lola: find path: 6631
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p2680
sara: try reading problem file stateEquationProblem-ConstantPlace-4454.sara.
lola: reporting
lola: not produced: 183
lola: state equation: 12
lola: find path: 6639
lola: symmetry: 180
lola: reporting
lola: not produced: 174
lola: state equation: 12
lola: find path: 6648
lola: symmetry: 180
lola: reporting
lola: not produced: 173
lola: state equation: 12
lola: find path: 6649
lola: symmetry: 180
lola: reporting
lola: not produced: 173
lola: state equation: 12
lola: find path: 6649
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 169
lola: state equation: 12
lola: find path: 6653
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3776
sara: try reading problem file stateEquationProblem-ConstantPlace-3359.sara.
lola: reporting
lola: not produced: 164
lola: state equation: 13
lola: find path: 6657
lola: symmetry: 180
lola: reporting
lola: not produced: 152
lola: state equation: 13
lola: find path: 6669
lola: symmetry: 180
lola: reporting
lola: not produced: 146
lola: state equation: 13
lola: find path: 6675
lola: symmetry: 180
lola: reporting
lola: not produced: 146
lola: state equation: 13
lola: find path: 6675
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 144
lola: state equation: 13
lola: find path: 6677
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p4623
sara: try reading problem file stateEquationProblem-ConstantPlace-1488.sara.
lola: reporting
lola: not produced: 143
lola: state equation: 14
lola: find path: 6677
lola: symmetry: 180
lola: reporting
lola: not produced: 136
lola: state equation: 14
lola: find path: 6684
lola: symmetry: 180
lola: reporting
lola: not produced: 136
lola: state equation: 14
lola: find path: 6684
lola: symmetry: 180
lola: reporting
lola: not produced: 133
lola: state equation: 14
lola: find path: 6687
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p703
sara: try reading problem file stateEquationProblem-ConstantPlace-4627.sara.
lola: reporting
lola: not produced: 125
lola: state equation: 15
lola: find path: 6694
lola: symmetry: 180
lola: reporting
lola: not produced: 117
lola: state equation: 15
lola: find path: 6702
lola: symmetry: 180
lola: reporting
lola: not produced: 117
lola: state equation: 15
lola: find path: 6702
lola: symmetry: 180
lola: reporting
lola: not produced: 115
lola: state equation: 15
lola: find path: 6704
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 113
lola: state equation: 15
lola: find path: 6706
lola: symmetry: 180
lola: reporting
lola: not produced: 112
lola: state equation: 15
lola: find path: 6707
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p5198
sara: try reading problem file stateEquationProblem-ConstantPlace-5622.sara.
lola: reporting
lola: not produced: 107
lola: state equation: 16
lola: find path: 6711
lola: symmetry: 180
lola: reporting
lola: not produced: 105
lola: state equation: 16
lola: find path: 6713
lola: symmetry: 180
lola: reporting
lola: not produced: 102
lola: state equation: 16
lola: find path: 6716
lola: symmetry: 180
lola: reporting
lola: not produced: 101
lola: state equation: 16
lola: find path: 6717
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 101
lola: state equation: 16
lola: find path: 6717
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p1279
sara: try reading problem file stateEquationProblem-ConstantPlace-4003.sara.
lola: reporting
lola: not produced: 98
lola: state equation: 17
lola: find path: 6719
lola: symmetry: 180
lola: reporting
lola: not produced: 91
lola: state equation: 17
lola: find path: 6726
lola: symmetry: 180
lola: reporting
lola: not produced: 91
lola: state equation: 17
lola: find path: 6726
lola: symmetry: 180
lola: reporting
lola: not produced: 88
lola: state equation: 17
lola: find path: 6729
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 86
lola: state equation: 17
lola: find path: 6731
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2273
sara: try reading problem file stateEquationProblem-ConstantPlace-2597.sara.
lola: reporting
lola: not produced: 77
lola: state equation: 18
lola: find path: 6739
lola: symmetry: 180
lola: reporting
lola: not produced: 69
lola: state equation: 18
lola: find path: 6747
lola: symmetry: 180
lola: reporting
lola: not produced: 67
lola: state equation: 18
lola: find path: 6749
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 66
lola: state equation: 18
lola: find path: 6750
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3542
sara: try reading problem file stateEquationProblem-ConstantPlace-2451.sara.
lola: reporting
lola: not produced: 62
lola: state equation: 19
lola: find path: 6753
lola: symmetry: 180
lola: reporting
lola: not produced: 60
lola: state equation: 19
lola: find path: 6755
lola: symmetry: 180
lola: reporting
lola: not produced: 60
lola: state equation: 19
lola: find path: 6755
lola: symmetry: 180
lola: reporting
lola: not produced: 60
lola: state equation: 19
lola: find path: 6755
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 59
lola: state equation: 19
lola: find path: 6756
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2453
sara: try reading problem file stateEquationProblem-ConstantPlace-3384.sara.
lola: reporting
lola: not produced: 56
lola: state equation: 20
lola: find path: 6758
lola: symmetry: 180
lola: reporting
lola: not produced: 55
lola: state equation: 20
lola: find path: 6759
lola: symmetry: 180
lola: reporting
lola: not produced: 55
lola: state equation: 20
lola: find path: 6759
lola: symmetry: 180
lola: reporting
lola: not produced: 55
lola: state equation: 20
lola: find path: 6759
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 54
lola: state equation: 20
lola: find path: 6760
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p78
sara: try reading problem file stateEquationProblem-ConstantPlace-5822.sara.
lola: reporting
lola: not produced: 52
lola: state equation: 21
lola: find path: 6761
lola: symmetry: 180
lola: reporting
lola: not produced: 52
lola: state equation: 21
lola: find path: 6761
lola: symmetry: 180
lola: reporting
lola: not produced: 48
lola: state equation: 21
lola: find path: 6765
lola: symmetry: 180
lola: reporting
lola: not produced: 47
lola: state equation: 21
lola: find path: 6766
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p3824
lola: reporting
lola: not produced: 45
lola: state equation: 22
lola: find path: 6767
lola: symmetry: 180
sara: try reading problem file stateEquationProblem-ConstantPlace-3728.sara.
lola: reporting
lola: not produced: 43
lola: state equation: 22
lola: find path: 6769
lola: symmetry: 180
lola: reporting
lola: not produced: 42
lola: state equation: 22
lola: find path: 6770
lola: symmetry: 180
lola: reporting
lola: not produced: 41
lola: state equation: 22
lola: find path: 6771
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 39
lola: state equation: 22
lola: find path: 6773
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p66
sara: try reading problem file stateEquationProblem-ConstantPlace-5800.sara.
lola: reporting
lola: not produced: 35
lola: state equation: 23
lola: find path: 6776
lola: symmetry: 180
lola: reporting
lola: not produced: 34
lola: state equation: 23
lola: find path: 6777
lola: symmetry: 180
lola: reporting
lola: not produced: 34
lola: state equation: 23
lola: find path: 6777
lola: symmetry: 180
lola: reporting
lola: not produced: 34
lola: state equation: 23
lola: find path: 6777
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 34
lola: state equation: 23
lola: find path: 6777
lola: symmetry: 180
lola: reporting
lola: not produced: 34
lola: state equation: 23
lola: find path: 6777
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2670
sara: try reading problem file stateEquationProblem-ConstantPlace-4434.sara.
lola: reporting
lola: not produced: 32
lola: state equation: 24
lola: find path: 6778
lola: symmetry: 180
lola: reporting
lola: not produced: 32
lola: state equation: 24
lola: find path: 6778
lola: symmetry: 180
lola: reporting
lola: not produced: 32
lola: state equation: 24
lola: find path: 6778
lola: symmetry: 180
lola: reporting
lola: not produced: 31
lola: state equation: 24
lola: find path: 6779
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 31
lola: state equation: 24
lola: find path: 6779
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3827
sara: try reading problem file stateEquationProblem-ConstantPlace-3731.sara.
lola: reporting
lola: not produced: 30
lola: state equation: 25
lola: find path: 6779
lola: symmetry: 180
lola: reporting
lola: not produced: 30
lola: state equation: 25
lola: find path: 6779
lola: symmetry: 180
lola: reporting
lola: not produced: 30
lola: state equation: 25
lola: find path: 6779
lola: symmetry: 180
lola: reporting
lola: not produced: 30
lola: state equation: 25
lola: find path: 6779
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 30
lola: state equation: 25
lola: find path: 6779
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2671
sara: try reading problem file stateEquationProblem-ConstantPlace-4435.sara.
lola: reporting
lola: not produced: 27
lola: state equation: 26
lola: find path: 6781
lola: symmetry: 180
lola: reporting
lola: not produced: 26
lola: state equation: 26
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 26
lola: state equation: 26
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 26
lola: state equation: 26
lola: find path: 6782
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p219
sara: try reading problem file stateEquationProblem-ConstantPlace-2243.sara.
lola: reporting
lola: not produced: 25
lola: state equation: 27
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 25
lola: state equation: 27
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 25
lola: state equation: 27
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 25
lola: state equation: 27
lola: find path: 6782
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 25
lola: state equation: 27
lola: find path: 6782
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2455
sara: try reading problem file stateEquationProblem-ConstantPlace-3390.sara.
lola: reporting
lola: not produced: 24
lola: state equation: 28
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 24
lola: state equation: 28
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 24
lola: state equation: 28
lola: find path: 6782
lola: symmetry: 180
lola: reporting
lola: not produced: 24
lola: state equation: 28
lola: find path: 6782
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 23
lola: state equation: 28
lola: find path: 6783
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2471
sara: try reading problem file stateEquationProblem-ConstantPlace-3435.sara.
lola: reporting
lola: not produced: 19
lola: state equation: 29
lola: find path: 6786
lola: symmetry: 180
lola: reporting
lola: not produced: 19
lola: state equation: 29
lola: find path: 6786
lola: symmetry: 180
lola: reporting
lola: not produced: 18
lola: state equation: 29
lola: find path: 6787
lola: symmetry: 180
lola: reporting
lola: not produced: 18
lola: state equation: 29
lola: find path: 6787
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 17
lola: state equation: 29
lola: find path: 6788
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3718
sara: try reading problem file stateEquationProblem-ConstantPlace-3212.sara.
lola: reporting
lola: not produced: 16
lola: state equation: 30
lola: find path: 6788
lola: symmetry: 180
lola: reporting
lola: not produced: 16
lola: state equation: 30
lola: find path: 6788
lola: symmetry: 180
lola: reporting
lola: not produced: 16
lola: state equation: 30
lola: find path: 6788
lola: symmetry: 180
lola: reporting
lola: not produced: 15
lola: state equation: 30
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 15
lola: state equation: 30
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p84
sara: try reading problem file stateEquationProblem-ConstantPlace-5848.sara.
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 14
lola: state equation: 31
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2456
sara: try reading problem file stateEquationProblem-ConstantPlace-3393.sara.
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 13
lola: state equation: 32
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p1174
sara: try reading problem file stateEquationProblem-ConstantPlace-3498.sara.
lola: reporting
lola: not produced: 12
lola: state equation: 33
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 12
lola: state equation: 33
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 12
lola: state equation: 33
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 12
lola: state equation: 33
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p992
sara: try reading problem file stateEquationProblem-ConstantPlace-5766.sara.
lola: reporting
lola: not produced: 11
lola: state equation: 34
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 11
lola: state equation: 34
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 11
lola: state equation: 34
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 11
lola: state equation: 34
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 11
lola: state equation: 34
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p2452
sara: try reading problem file stateEquationProblem-ConstantPlace-3381.sara.
lola: reporting
lola: not produced: 10
lola: state equation: 35
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 10
lola: state equation: 35
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 10
lola: state equation: 35
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 10
lola: state equation: 35
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 10
lola: state equation: 35
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p995
sara: try reading problem file stateEquationProblem-ConstantPlace-5769.sara.
lola: reporting
lola: not produced: 9
lola: state equation: 36
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 9
lola: state equation: 36
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 9
lola: state equation: 36
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 9
lola: state equation: 36
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 9
lola: state equation: 36
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p975
sara: try reading problem file stateEquationProblem-ConstantPlace-5719.sara.
lola: reporting
lola: not produced: 8
lola: state equation: 37
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 37
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 37
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 37
lola: find path: 6790
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: STATE EQUATION TRIES PLACE p708
sara: try reading problem file stateEquationProblem-ConstantPlace-4632.sara.
lola: reporting
lola: not produced: 7
lola: state equation: 38
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 38
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 38
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 7
lola: state equation: 38
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 7
lola: state equation: 38
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p83
sara: try reading problem file stateEquationProblem-ConstantPlace-5847.sara.
lola: reporting
lola: not produced: 6
lola: state equation: 39
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 6
lola: state equation: 39
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 6
lola: state equation: 39
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 6
lola: state equation: 39
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 6
lola: state equation: 39
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p709
sara: try reading problem file stateEquationProblem-ConstantPlace-4633.sara.
lola: reporting
lola: not produced: 5
lola: state equation: 40
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 5
lola: state equation: 40
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 5
lola: state equation: 40
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 5
lola: state equation: 40
lola: find path: 6789
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 5
lola: state equation: 40
lola: find path: 6789
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p342
sara: try reading problem file stateEquationProblem-ConstantPlace-2686.sara.
lola: reporting
lola: not produced: 4
lola: state equation: 41
lola: find path: 6789
lola: symmetry: 180
lola: reporting
lola: not produced: 3
lola: state equation: 41
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 3
lola: state equation: 41
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 3
lola: state equation: 41
lola: find path: 6790
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3
lola: state equation: 41
lola: find path: 6790
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p3539
sara: try reading problem file stateEquationProblem-ConstantPlace-2431.sara.
lola: reporting
lola: not produced: 2
lola: state equation: 42
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 2
lola: state equation: 42
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 2
lola: state equation: 42
lola: find path: 6790
lola: symmetry: 180
lola: reporting
lola: not produced: 2
lola: state equation: 42
lola: find path: 6790
lola: symmetry: 180
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 2
lola: state equation: 42
lola: find path: 6790
lola: symmetry: 180
lola: STATE EQUATION TRIES PLACE p1557
sara: try reading problem file stateEquationProblem-ConstantPlace-5370.sara.
lola: The net does not have constant places
sara: place or transition ordering is non-deterministic
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-7B"
export BK_EXAMINATION="StableMarking"
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-7B, examination is StableMarking"
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-167863548000208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-7B.tgz
mv NoC3x3-PT-7B execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;