About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10581.628 | 1800000.00 | 7097698.00 | 363.70 | [undef] | Time out reached |
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.r244-tall-167856432000543.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 MultiCrashLeafsetExtension-PT-S24C10, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r244-tall-167856432000543
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 18M
-rw-r--r-- 1 mcc users 11K Feb 26 02:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 02:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 02:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 73K Feb 26 02:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 21K Feb 26 02:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 26 02:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 02:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 18M Mar 5 18:22 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 1678699391612
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=MultiCrashLeafsetExtension-PT-S24C10
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C10
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 5659928 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16198832 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
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 Node21ThinksNode17ShouldBeNodeMasterToReplaceNode11
sara: try reading problem file stateEquationProblem-ConstantPlace-11883.sara.
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: reporting
lola: not produced: 17893
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 10453
lola: find path: 3957
lola: symmetry: 3483
lola: reporting
lola: not produced: 8135
lola: find path: 5117
lola: symmetry: 4641
lola: reporting
lola: not produced: 7101
lola: find path: 5634
lola: symmetry: 5158
lola: reporting
lola: not produced: 6591
lola: find path: 5889
lola: symmetry: 5413
lola: reporting
lola: not produced: 6253
lola: find path: 6058
lola: symmetry: 5582
lola: reporting
lola: not produced: 6019
lola: find path: 6175
lola: symmetry: 5699
lola: reporting
lola: not produced: 5791
lola: find path: 6289
lola: symmetry: 5813
lola: reporting
lola: not produced: 5691
lola: find path: 6339
lola: symmetry: 5863
lola: reporting
lola: not produced: 5561
lola: find path: 6404
lola: symmetry: 5928
lola: reporting
lola: not produced: 5445
lola: find path: 6462
lola: symmetry: 5986
lola: reporting
lola: not produced: 5365
lola: find path: 6502
lola: symmetry: 6026
lola: reporting
lola: not produced: 5289
lola: find path: 6540
lola: symmetry: 6064
lola: reporting
lola: not produced: 5213
lola: find path: 6578
lola: symmetry: 6102
lola: reporting
lola: not produced: 4795
lola: find path: 6618
lola: goal oriented search: 169
lola: symmetry: 6311
lola: reporting
lola: not produced: 4771
lola: find path: 6630
lola: goal oriented search: 169
lola: symmetry: 6323
lola: reporting
lola: not produced: 4731
lola: find path: 6650
lola: goal oriented search: 169
lola: symmetry: 6343
lola: reporting
lola: not produced: 4705
lola: find path: 6663
lola: goal oriented search: 169
lola: symmetry: 6356
lola: reporting
lola: not produced: 4677
lola: find path: 6677
lola: goal oriented search: 169
lola: symmetry: 6370
lola: reporting
lola: not produced: 4651
lola: find path: 6690
lola: goal oriented search: 169
lola: symmetry: 6383
lola: reporting
lola: not produced: 4617
lola: find path: 6707
lola: goal oriented search: 169
lola: symmetry: 6400
lola: reporting
lola: not produced: 4609
lola: find path: 6711
lola: goal oriented search: 169
lola: symmetry: 6404
lola: reporting
lola: not produced: 4585
lola: find path: 6723
lola: goal oriented search: 169
lola: symmetry: 6416
lola: reporting
lola: not produced: 4573
lola: find path: 6729
lola: goal oriented search: 169
lola: symmetry: 6422
lola: reporting
lola: not produced: 4553
lola: find path: 6739
lola: goal oriented search: 169
lola: symmetry: 6432
lola: reporting
lola: not produced: 4511
lola: find path: 6760
lola: goal oriented search: 169
lola: symmetry: 6453
lola: reporting
lola: not produced: 4503
lola: find path: 6764
lola: goal oriented search: 169
lola: symmetry: 6457
lola: reporting
lola: not produced: 4487
lola: find path: 6772
lola: goal oriented search: 169
lola: symmetry: 6465
lola: reporting
lola: not produced: 4451
lola: find path: 6790
lola: goal oriented search: 169
lola: symmetry: 6483
lola: reporting
lola: not produced: 4443
lola: find path: 6794
lola: goal oriented search: 169
lola: symmetry: 6487
lola: reporting
lola: not produced: 4427
lola: find path: 6802
lola: goal oriented search: 169
lola: symmetry: 6495
lola: reporting
lola: not produced: 4419
lola: find path: 6806
lola: goal oriented search: 169
lola: symmetry: 6499
lola: reporting
lola: not produced: 4415
lola: find path: 6808
lola: goal oriented search: 169
lola: symmetry: 6501
lola: reporting
lola: not produced: 4407
lola: find path: 6812
lola: goal oriented search: 169
lola: symmetry: 6505
lola: reporting
lola: not produced: 4395
lola: find path: 6818
lola: goal oriented search: 169
lola: symmetry: 6511
lola: reporting
lola: not produced: 4383
lola: find path: 6824
lola: goal oriented search: 169
lola: symmetry: 6517
lola: reporting
lola: not produced: 4373
lola: find path: 6829
lola: goal oriented search: 169
lola: symmetry: 6522
lola: reporting
lola: not produced: 4357
lola: find path: 6837
lola: goal oriented search: 169
lola: symmetry: 6530
lola: reporting
lola: not produced: 4347
lola: find path: 6842
lola: goal oriented search: 169
lola: symmetry: 6535
lola: reporting
lola: not produced: 4339
lola: find path: 6846
lola: goal oriented search: 169
lola: symmetry: 6539
lola: reporting
lola: not produced: 4327
lola: find path: 6852
lola: goal oriented search: 169
lola: symmetry: 6545
lola: reporting
lola: not produced: 4311
lola: find path: 6860
lola: goal oriented search: 169
lola: symmetry: 6553
lola: reporting
lola: not produced: 4287
lola: find path: 6872
lola: goal oriented search: 169
lola: symmetry: 6565
lola: reporting
lola: not produced: 4267
lola: find path: 6882
lola: goal oriented search: 169
lola: symmetry: 6575
lola: reporting
lola: not produced: 4255
lola: find path: 6888
lola: goal oriented search: 169
lola: symmetry: 6581
lola: reporting
lola: not produced: 4245
lola: find path: 6893
lola: goal oriented search: 169
lola: symmetry: 6586
lola: reporting
lola: not produced: 4217
lola: find path: 6907
lola: goal oriented search: 169
lola: symmetry: 6600
lola: reporting
lola: not produced: 4213
lola: find path: 6909
lola: goal oriented search: 169
lola: symmetry: 6602
lola: reporting
lola: not produced: 4201
lola: find path: 6915
lola: goal oriented search: 169
lola: symmetry: 6608
lola: reporting
lola: not produced: 4189
lola: find path: 6921
lola: goal oriented search: 169
lola: symmetry: 6614
lola: reporting
lola: not produced: 4181
lola: find path: 6925
lola: goal oriented search: 169
lola: symmetry: 6618
lola: reporting
lola: not produced: 4157
lola: find path: 6937
lola: goal oriented search: 169
lola: symmetry: 6630
lola: reporting
lola: not produced: 4145
lola: find path: 6943
lola: goal oriented search: 169
lola: symmetry: 6636
lola: reporting
lola: not produced: 4141
lola: find path: 6945
lola: goal oriented search: 169
lola: symmetry: 6638
lola: reporting
lola: not produced: 4123
lola: find path: 6954
lola: goal oriented search: 169
lola: symmetry: 6647
lola: reporting
lola: not produced: 4117
lola: find path: 6957
lola: goal oriented search: 169
lola: symmetry: 6650
lola: reporting
lola: not produced: 4101
lola: find path: 6965
lola: goal oriented search: 169
lola: symmetry: 6658
lola: reporting
lola: not produced: 4101
lola: find path: 6965
lola: goal oriented search: 169
lola: symmetry: 6658
lola: reporting
lola: not produced: 4101
lola: find path: 6965
lola: goal oriented search: 169
lola: symmetry: 6658
lola: reporting
lola: not produced: 4093
lola: find path: 6969
lola: goal oriented search: 169
lola: symmetry: 6662
lola: reporting
lola: not produced: 4089
lola: find path: 6971
lola: goal oriented search: 169
lola: symmetry: 6664
lola: reporting
lola: not produced: 4077
lola: find path: 6977
lola: goal oriented search: 169
lola: symmetry: 6670
lola: reporting
lola: not produced: 4067
lola: find path: 6982
lola: goal oriented search: 169
lola: symmetry: 6675
lola: reporting
lola: not produced: 4067
lola: find path: 6982
lola: goal oriented search: 169
lola: symmetry: 6675
lola: reporting
lola: not produced: 4059
lola: find path: 6986
lola: goal oriented search: 169
lola: symmetry: 6679
lola: reporting
lola: not produced: 4055
lola: find path: 6988
lola: goal oriented search: 169
lola: symmetry: 6681
lola: reporting
lola: not produced: 4051
lola: find path: 6990
lola: goal oriented search: 169
lola: symmetry: 6683
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4043
lola: find path: 6994
lola: goal oriented search: 169
lola: symmetry: 6687
lola: reporting
lola: not produced: 4043
lola: find path: 6994
lola: goal oriented search: 169
lola: symmetry: 6687
lola: reporting
lola: not produced: 4031
lola: find path: 7000
lola: goal oriented search: 169
lola: symmetry: 6693
lola: reporting
lola: not produced: 4013
lola: find path: 7009
lola: goal oriented search: 169
lola: symmetry: 6702
lola: reporting
lola: not produced: 4003
lola: find path: 7014
lola: goal oriented search: 169
lola: symmetry: 6707
lola: reporting
lola: not produced: 3995
lola: find path: 7018
lola: goal oriented search: 169
lola: symmetry: 6711
lola: reporting
lola: not produced: 3987
lola: find path: 7022
lola: goal oriented search: 169
lola: symmetry: 6715
lola: reporting
lola: not produced: 3975
lola: find path: 7028
lola: goal oriented search: 169
lola: symmetry: 6721
lola: reporting
lola: not produced: 3959
lola: find path: 7036
lola: goal oriented search: 169
lola: symmetry: 6729
lola: reporting
lola: not produced: 3955
lola: find path: 7038
lola: goal oriented search: 169
lola: symmetry: 6731
lola: reporting
lola: not produced: 3951
lola: find path: 7040
lola: goal oriented search: 169
lola: symmetry: 6733
lola: reporting
lola: not produced: 3943
lola: find path: 7044
lola: goal oriented search: 169
lola: symmetry: 6737
lola: reporting
lola: not produced: 3929
lola: find path: 7051
lola: goal oriented search: 169
lola: symmetry: 6744
lola: reporting
lola: not produced: 3915
lola: find path: 7058
lola: goal oriented search: 169
lola: symmetry: 6751
lola: reporting
lola: not produced: 3911
lola: find path: 7060
lola: goal oriented search: 169
lola: symmetry: 6753
lola: reporting
lola: not produced: 3911
lola: find path: 7060
lola: goal oriented search: 169
lola: symmetry: 6753
lola: reporting
lola: not produced: 3911
lola: find path: 7060
lola: goal oriented search: 169
lola: symmetry: 6753
lola: reporting
lola: not produced: 3907
lola: find path: 7062
lola: goal oriented search: 169
lola: symmetry: 6755
lola: reporting
lola: not produced: 3907
lola: find path: 7062
lola: goal oriented search: 169
lola: symmetry: 6755
lola: reporting
lola: not produced: 3907
lola: find path: 7062
lola: goal oriented search: 169
lola: symmetry: 6755
lola: reporting
lola: not produced: 3907
lola: find path: 7062
lola: goal oriented search: 169
lola: symmetry: 6755
lola: reporting
lola: not produced: 3903
lola: find path: 7064
lola: goal oriented search: 169
lola: symmetry: 6757
lola: reporting
lola: not produced: 3889
lola: find path: 7071
lola: goal oriented search: 169
lola: symmetry: 6764
lola: reporting
lola: not produced: 3881
lola: find path: 7075
lola: goal oriented search: 169
lola: symmetry: 6768
lola: reporting
lola: not produced: 3877
lola: find path: 7077
lola: goal oriented search: 169
lola: symmetry: 6770
lola: reporting
lola: not produced: 3873
lola: find path: 7079
lola: goal oriented search: 169
lola: symmetry: 6772
lola: reporting
lola: not produced: 3871
lola: find path: 7080
lola: goal oriented search: 169
lola: symmetry: 6773
lola: reporting
lola: not produced: 3871
lola: find path: 7080
lola: goal oriented search: 169
lola: symmetry: 6773
lola: reporting
lola: not produced: 3863
lola: find path: 7084
lola: goal oriented search: 169
lola: symmetry: 6777
lola: reporting
lola: not produced: 3855
lola: find path: 7088
lola: goal oriented search: 169
lola: symmetry: 6781
lola: reporting
lola: not produced: 3847
lola: find path: 7092
lola: goal oriented search: 169
lola: symmetry: 6785
lola: reporting
lola: not produced: 3847
lola: find path: 7092
lola: goal oriented search: 169
lola: symmetry: 6785
lola: reporting
lola: not produced: 3839
lola: find path: 7096
lola: goal oriented search: 169
lola: symmetry: 6789
lola: reporting
lola: not produced: 3827
lola: find path: 7102
lola: goal oriented search: 169
lola: symmetry: 6795
lola: reporting
lola: not produced: 3819
lola: find path: 7106
lola: goal oriented search: 169
lola: symmetry: 6799
lola: reporting
lola: not produced: 3819
lola: find path: 7106
lola: goal oriented search: 169
lola: symmetry: 6799
lola: reporting
lola: not produced: 3807
lola: find path: 7112
lola: goal oriented search: 169
lola: symmetry: 6805
lola: reporting
lola: not produced: 3807
lola: find path: 7112
lola: goal oriented search: 169
lola: symmetry: 6805
lola: reporting
lola: not produced: 3799
lola: find path: 7116
lola: goal oriented search: 169
lola: symmetry: 6809
lola: reporting
lola: not produced: 3795
lola: find path: 7118
lola: goal oriented search: 169
lola: symmetry: 6811
lola: reporting
lola: not produced: 3795
lola: find path: 7118
lola: goal oriented search: 169
lola: symmetry: 6811
lola: reporting
lola: not produced: 3791
lola: find path: 7120
lola: goal oriented search: 169
lola: symmetry: 6813
lola: reporting
lola: not produced: 3787
lola: find path: 7122
lola: goal oriented search: 169
lola: symmetry: 6815
lola: reporting
lola: not produced: 3787
lola: find path: 7122
lola: goal oriented search: 169
lola: symmetry: 6815
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3783
lola: find path: 7124
lola: goal oriented search: 169
lola: symmetry: 6817
lola: reporting
lola: not produced: 3779
lola: find path: 7126
lola: goal oriented search: 169
lola: symmetry: 6819
lola: reporting
lola: not produced: 3775
lola: find path: 7128
lola: goal oriented search: 169
lola: symmetry: 6821
lola: reporting
lola: not produced: 3775
lola: find path: 7128
lola: goal oriented search: 169
lola: symmetry: 6821
lola: reporting
lola: not produced: 3771
lola: find path: 7130
lola: goal oriented search: 169
lola: symmetry: 6823
lola: reporting
lola: not produced: 3767
lola: find path: 7132
lola: goal oriented search: 169
lola: symmetry: 6825
lola: reporting
lola: not produced: 3763
lola: find path: 7134
lola: goal oriented search: 169
lola: symmetry: 6827
lola: reporting
lola: not produced: 3763
lola: find path: 7134
lola: goal oriented search: 169
lola: symmetry: 6827
lola: reporting
lola: not produced: 3763
lola: find path: 7134
lola: goal oriented search: 169
lola: symmetry: 6827
lola: reporting
lola: not produced: 3755
lola: find path: 7138
lola: goal oriented search: 169
lola: symmetry: 6831
lola: reporting
lola: not produced: 3755
lola: find path: 7138
lola: goal oriented search: 169
lola: symmetry: 6831
lola: reporting
lola: not produced: 3755
lola: find path: 7138
lola: goal oriented search: 169
lola: symmetry: 6831
lola: reporting
lola: not produced: 3751
lola: find path: 7140
lola: goal oriented search: 169
lola: symmetry: 6833
lola: reporting
lola: not produced: 3747
lola: find path: 7142
lola: goal oriented search: 169
lola: symmetry: 6835
lola: reporting
lola: not produced: 3747
lola: find path: 7142
lola: goal oriented search: 169
lola: symmetry: 6835
lola: reporting
lola: not produced: 3741
lola: find path: 7145
lola: goal oriented search: 169
lola: symmetry: 6838
lola: reporting
lola: not produced: 3737
lola: find path: 7147
lola: goal oriented search: 169
lola: symmetry: 6840
lola: reporting
lola: not produced: 3737
lola: find path: 7147
lola: goal oriented search: 169
lola: symmetry: 6840
lola: reporting
lola: not produced: 3737
lola: find path: 7147
lola: goal oriented search: 169
lola: symmetry: 6840
lola: reporting
lola: not produced: 3737
lola: find path: 7147
lola: goal oriented search: 169
lola: symmetry: 6840
lola: reporting
lola: not produced: 3733
lola: find path: 7149
lola: goal oriented search: 169
lola: symmetry: 6842
lola: reporting
lola: not produced: 3725
lola: find path: 7153
lola: goal oriented search: 169
lola: symmetry: 6846
lola: reporting
lola: not produced: 3725
lola: find path: 7153
lola: goal oriented search: 169
lola: symmetry: 6846
lola: reporting
lola: not produced: 3721
lola: find path: 7155
lola: goal oriented search: 169
lola: symmetry: 6848
lola: reporting
lola: not produced: 3721
lola: find path: 7155
lola: goal oriented search: 169
lola: symmetry: 6848
lola: reporting
lola: not produced: 3717
lola: find path: 7157
lola: goal oriented search: 169
lola: symmetry: 6850
lola: reporting
lola: not produced: 3713
lola: find path: 7159
lola: goal oriented search: 169
lola: symmetry: 6852
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3709
lola: find path: 7161
lola: goal oriented search: 169
lola: symmetry: 6854
lola: reporting
lola: not produced: 3705
lola: find path: 7163
lola: goal oriented search: 169
lola: symmetry: 6856
lola: reporting
lola: not produced: 3705
lola: find path: 7163
lola: goal oriented search: 169
lola: symmetry: 6856
lola: reporting
lola: not produced: 3693
lola: find path: 7169
lola: goal oriented search: 169
lola: symmetry: 6862
lola: reporting
lola: not produced: 3693
lola: find path: 7169
lola: goal oriented search: 169
lola: symmetry: 6862
lola: reporting
lola: not produced: 3685
lola: find path: 7173
lola: goal oriented search: 169
lola: symmetry: 6866
lola: reporting
lola: not produced: 3685
lola: find path: 7173
lola: goal oriented search: 169
lola: symmetry: 6866
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3681
lola: find path: 7175
lola: goal oriented search: 169
lola: symmetry: 6868
lola: reporting
lola: not produced: 3677
lola: find path: 7177
lola: goal oriented search: 169
lola: symmetry: 6870
lola: reporting
lola: not produced: 3669
lola: find path: 7181
lola: goal oriented search: 169
lola: symmetry: 6874
lola: reporting
lola: not produced: 3669
lola: find path: 7181
lola: goal oriented search: 169
lola: symmetry: 6874
lola: reporting
lola: not produced: 3669
lola: find path: 7181
lola: goal oriented search: 169
lola: symmetry: 6874
lola: reporting
lola: not produced: 3669
lola: find path: 7181
lola: goal oriented search: 169
lola: symmetry: 6874
lola: reporting
lola: not produced: 3665
lola: find path: 7183
lola: goal oriented search: 169
lola: symmetry: 6876
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3661
lola: find path: 7185
lola: goal oriented search: 169
lola: symmetry: 6878
lola: reporting
lola: not produced: 3657
lola: find path: 7187
lola: goal oriented search: 169
lola: symmetry: 6880
lola: reporting
lola: not produced: 3657
lola: find path: 7187
lola: goal oriented search: 169
lola: symmetry: 6880
lola: reporting
lola: not produced: 3657
lola: find path: 7187
lola: goal oriented search: 169
lola: symmetry: 6880
lola: reporting
lola: not produced: 3657
lola: find path: 7187
lola: goal oriented search: 169
lola: symmetry: 6880
lola: reporting
lola: not produced: 3653
lola: find path: 7189
lola: goal oriented search: 169
lola: symmetry: 6882
lola: reporting
lola: not produced: 3649
lola: find path: 7191
lola: goal oriented search: 169
lola: symmetry: 6884
lola: reporting
lola: not produced: 3649
lola: find path: 7191
lola: goal oriented search: 169
lola: symmetry: 6884
lola: reporting
lola: not produced: 3645
lola: find path: 7193
lola: goal oriented search: 169
lola: symmetry: 6886
lola: reporting
lola: not produced: 3645
lola: find path: 7193
lola: goal oriented search: 169
lola: symmetry: 6886
lola: reporting
lola: not produced: 3641
lola: find path: 7195
lola: goal oriented search: 169
lola: symmetry: 6888
lola: reporting
lola: not produced: 3641
lola: find path: 7195
lola: goal oriented search: 169
lola: symmetry: 6888
lola: reporting
lola: not produced: 3637
lola: find path: 7197
lola: goal oriented search: 169
lola: symmetry: 6890
lola: reporting
lola: not produced: 3637
lola: find path: 7197
lola: goal oriented search: 169
lola: symmetry: 6890
lola: reporting
lola: not produced: 3633
lola: find path: 7199
lola: goal oriented search: 169
lola: symmetry: 6892
lola: reporting
lola: not produced: 3629
lola: find path: 7201
lola: goal oriented search: 169
lola: symmetry: 6894
lola: reporting
lola: not produced: 3629
lola: find path: 7201
lola: goal oriented search: 169
lola: symmetry: 6894
lola: reporting
lola: not produced: 3629
lola: find path: 7201
lola: goal oriented search: 169
lola: symmetry: 6894
lola: reporting
lola: not produced: 3625
lola: find path: 7203
lola: goal oriented search: 169
lola: symmetry: 6896
lola: reporting
lola: not produced: 3625
lola: find path: 7203
lola: goal oriented search: 169
lola: symmetry: 6896
lola: reporting
lola: not produced: 3625
lola: find path: 7203
lola: goal oriented search: 169
lola: symmetry: 6896
lola: reporting
lola: not produced: 3621
lola: find path: 7205
lola: goal oriented search: 169
lola: symmetry: 6898
lola: reporting
lola: not produced: 3621
lola: find path: 7205
lola: goal oriented search: 169
lola: symmetry: 6898
lola: reporting
lola: not produced: 3617
lola: find path: 7207
lola: goal oriented search: 169
lola: symmetry: 6900
lola: reporting
lola: not produced: 3609
lola: find path: 7211
lola: goal oriented search: 169
lola: symmetry: 6904
lola: reporting
lola: not produced: 3609
lola: find path: 7211
lola: goal oriented search: 169
lola: symmetry: 6904
lola: reporting
lola: not produced: 3609
lola: find path: 7211
lola: goal oriented search: 169
lola: symmetry: 6904
lola: reporting
lola: not produced: 3601
lola: find path: 7215
lola: goal oriented search: 169
lola: symmetry: 6908
lola: reporting
lola: not produced: 3597
lola: find path: 7217
lola: goal oriented search: 169
lola: symmetry: 6910
lola: reporting
lola: not produced: 3589
lola: find path: 7221
lola: goal oriented search: 169
lola: symmetry: 6914
lola: reporting
lola: not produced: 3589
lola: find path: 7221
lola: goal oriented search: 169
lola: symmetry: 6914
lola: reporting
lola: not produced: 3589
lola: find path: 7221
lola: goal oriented search: 169
lola: symmetry: 6914
lola: reporting
lola: not produced: 3585
lola: find path: 7223
lola: goal oriented search: 169
lola: symmetry: 6916
lola: reporting
lola: not produced: 3585
lola: find path: 7223
lola: goal oriented search: 169
lola: symmetry: 6916
lola: reporting
lola: not produced: 3573
lola: find path: 7229
lola: goal oriented search: 169
lola: symmetry: 6922
lola: reporting
lola: not produced: 3569
lola: find path: 7231
lola: goal oriented search: 169
lola: symmetry: 6924
lola: reporting
lola: not produced: 3569
lola: find path: 7231
lola: goal oriented search: 169
lola: symmetry: 6924
lola: reporting
lola: not produced: 3569
lola: find path: 7231
lola: goal oriented search: 169
lola: symmetry: 6924
lola: reporting
lola: not produced: 3561
lola: find path: 7235
lola: goal oriented search: 169
lola: symmetry: 6928
lola: reporting
lola: not produced: 3561
lola: find path: 7235
lola: goal oriented search: 169
lola: symmetry: 6928
lola: reporting
lola: not produced: 3561
lola: find path: 7235
lola: goal oriented search: 169
lola: symmetry: 6928
lola: reporting
lola: not produced: 3553
lola: find path: 7239
lola: goal oriented search: 169
lola: symmetry: 6932
lola: reporting
lola: not produced: 3553
lola: find path: 7239
lola: goal oriented search: 169
lola: symmetry: 6932
lola: reporting
lola: not produced: 3553
lola: find path: 7239
lola: goal oriented search: 169
lola: symmetry: 6932
lola: reporting
lola: not produced: 3549
lola: find path: 7241
lola: goal oriented search: 169
lola: symmetry: 6934
lola: reporting
lola: not produced: 3549
lola: find path: 7241
lola: goal oriented search: 169
lola: symmetry: 6934
lola: reporting
lola: not produced: 3549
lola: find path: 7241
lola: goal oriented search: 169
lola: symmetry: 6934
lola: reporting
lola: not produced: 3549
lola: find path: 7241
lola: goal oriented search: 169
lola: symmetry: 6934
lola: reporting
lola: not produced: 3549
lola: find path: 7241
lola: goal oriented search: 169
lola: symmetry: 6934
lola: reporting
lola: not produced: 3545
lola: find path: 7243
lola: goal oriented search: 169
lola: symmetry: 6936
lola: reporting
lola: not produced: 3541
lola: find path: 7245
lola: goal oriented search: 169
lola: symmetry: 6938
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3533
lola: find path: 7249
lola: goal oriented search: 169
lola: symmetry: 6942
lola: reporting
lola: not produced: 3529
lola: find path: 7251
lola: goal oriented search: 169
lola: symmetry: 6944
lola: reporting
lola: not produced: 3529
lola: find path: 7251
lola: goal oriented search: 169
lola: symmetry: 6944
lola: reporting
lola: not produced: 3529
lola: find path: 7251
lola: goal oriented search: 169
lola: symmetry: 6944
lola: reporting
lola: not produced: 3525
lola: find path: 7253
lola: goal oriented search: 169
lola: symmetry: 6946
lola: reporting
lola: not produced: 3525
lola: find path: 7253
lola: goal oriented search: 169
lola: symmetry: 6946
lola: reporting
lola: not produced: 3525
lola: find path: 7253
lola: goal oriented search: 169
lola: symmetry: 6946
lola: reporting
lola: not produced: 3521
lola: find path: 7255
lola: goal oriented search: 169
lola: symmetry: 6948
lola: reporting
lola: not produced: 3521
lola: find path: 7255
lola: goal oriented search: 169
lola: symmetry: 6948
lola: reporting
lola: not produced: 3521
lola: find path: 7255
lola: goal oriented search: 169
lola: symmetry: 6948
lola: reporting
lola: not produced: 3521
lola: find path: 7255
lola: goal oriented search: 169
lola: symmetry: 6948
lola: reporting
lola: not produced: 3517
lola: find path: 7257
lola: goal oriented search: 169
lola: symmetry: 6950
lola: reporting
lola: not produced: 3517
lola: find path: 7257
lola: goal oriented search: 169
lola: symmetry: 6950
lola: reporting
lola: not produced: 3517
lola: find path: 7257
lola: goal oriented search: 169
lola: symmetry: 6950
lola: reporting
lola: not produced: 3517
lola: find path: 7257
lola: goal oriented search: 169
lola: symmetry: 6950
lola: reporting
lola: not produced: 3517
lola: find path: 7257
lola: goal oriented search: 169
lola: symmetry: 6950
lola: reporting
lola: not produced: 3513
lola: find path: 7259
lola: goal oriented search: 169
lola: symmetry: 6952
lola: reporting
lola: not produced: 3513
lola: find path: 7259
lola: goal oriented search: 169
lola: symmetry: 6952
lola: reporting
lola: not produced: 3509
lola: find path: 7261
lola: goal oriented search: 169
lola: symmetry: 6954
lola: reporting
lola: not produced: 3509
lola: find path: 7261
lola: goal oriented search: 169
lola: symmetry: 6954
lola: reporting
lola: not produced: 3505
lola: find path: 7263
lola: goal oriented search: 169
lola: symmetry: 6956
lola: reporting
lola: not produced: 3505
lola: find path: 7263
lola: goal oriented search: 169
lola: symmetry: 6956
lola: reporting
lola: not produced: 3505
lola: find path: 7263
lola: goal oriented search: 169
lola: symmetry: 6956
lola: reporting
lola: not produced: 3497
lola: find path: 7267
lola: goal oriented search: 169
lola: symmetry: 6960
lola: reporting
lola: not produced: 3489
lola: find path: 7271
lola: goal oriented search: 169
lola: symmetry: 6964
lola: reporting
lola: not produced: 3485
lola: find path: 7273
lola: goal oriented search: 169
lola: symmetry: 6966
lola: reporting
lola: not produced: 3485
lola: find path: 7273
lola: goal oriented search: 169
lola: symmetry: 6966
lola: reporting
lola: not produced: 3481
lola: find path: 7275
lola: goal oriented search: 169
lola: symmetry: 6968
lola: reporting
lola: not produced: 3481
lola: find path: 7275
lola: goal oriented search: 169
lola: symmetry: 6968
lola: reporting
lola: not produced: 3477
lola: find path: 7277
lola: goal oriented search: 169
lola: symmetry: 6970
lola: reporting
lola: not produced: 3477
lola: find path: 7277
lola: goal oriented search: 169
lola: symmetry: 6970
lola: reporting
lola: not produced: 3477
lola: find path: 7277
lola: goal oriented search: 169
lola: symmetry: 6970
lola: reporting
lola: not produced: 3477
lola: find path: 7277
lola: goal oriented search: 169
lola: symmetry: 6970
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3473
lola: find path: 7279
lola: goal oriented search: 169
lola: symmetry: 6972
lola: reporting
lola: not produced: 3465
lola: find path: 7283
lola: goal oriented search: 169
lola: symmetry: 6976
lola: reporting
lola: not produced: 3465
lola: find path: 7283
lola: goal oriented search: 169
lola: symmetry: 6976
lola: reporting
lola: not produced: 3465
lola: find path: 7283
lola: goal oriented search: 169
lola: symmetry: 6976
lola: reporting
lola: not produced: 3465
lola: find path: 7283
lola: goal oriented search: 169
lola: symmetry: 6976
lola: reporting
lola: not produced: 3465
lola: find path: 7283
lola: goal oriented search: 169
lola: symmetry: 6976
lola: reporting
lola: not produced: 3461
lola: find path: 7285
lola: goal oriented search: 169
lola: symmetry: 6978
lola: reporting
lola: not produced: 3461
lola: find path: 7285
lola: goal oriented search: 169
lola: symmetry: 6978
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3457
lola: find path: 7287
lola: goal oriented search: 169
lola: symmetry: 6980
lola: reporting
lola: not produced: 3453
lola: find path: 7289
lola: goal oriented search: 169
lola: symmetry: 6982
lola: reporting
lola: not produced: 3449
lola: find path: 7291
lola: goal oriented search: 169
lola: symmetry: 6984
lola: reporting
lola: not produced: 3449
lola: find path: 7291
lola: goal oriented search: 169
lola: symmetry: 6984
lola: reporting
lola: not produced: 3449
lola: find path: 7291
lola: goal oriented search: 169
lola: symmetry: 6984
lola: reporting
lola: not produced: 3449
lola: find path: 7291
lola: goal oriented search: 169
lola: symmetry: 6984
lola: reporting
lola: not produced: 3445
lola: find path: 7293
lola: goal oriented search: 169
lola: symmetry: 6986
lola: reporting
lola: not produced: 3435
lola: find path: 7298
lola: goal oriented search: 169
lola: symmetry: 6991
lola: reporting
lola: not produced: 3435
lola: find path: 7298
lola: goal oriented search: 169
lola: symmetry: 6991
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3431
lola: find path: 7300
lola: goal oriented search: 169
lola: symmetry: 6993
lola: reporting
lola: not produced: 3427
lola: find path: 7302
lola: goal oriented search: 169
lola: symmetry: 6995
lola: reporting
lola: not produced: 3427
lola: find path: 7302
lola: goal oriented search: 169
lola: symmetry: 6995
lola: reporting
lola: not produced: 3427
lola: find path: 7302
lola: goal oriented search: 169
lola: symmetry: 6995
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3423
lola: find path: 7304
lola: goal oriented search: 169
lola: symmetry: 6997
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3419
lola: find path: 7306
lola: goal oriented search: 169
lola: symmetry: 6999
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3415
lola: find path: 7308
lola: goal oriented search: 169
lola: symmetry: 7001
lola: reporting
lola: not produced: 3413
lola: find path: 7309
lola: goal oriented search: 169
lola: symmetry: 7002
lola: reporting
lola: not produced: 3409
lola: find path: 7311
lola: goal oriented search: 169
lola: symmetry: 7004
lola: reporting
lola: not produced: 3407
lola: find path: 7312
lola: goal oriented search: 169
lola: symmetry: 7005
lola: reporting
lola: not produced: 3407
lola: find path: 7312
lola: goal oriented search: 169
lola: symmetry: 7005
lola: reporting
lola: not produced: 3407
lola: find path: 7312
lola: goal oriented search: 169
lola: symmetry: 7005
lola: reporting
lola: not produced: 3407
lola: find path: 7312
lola: goal oriented search: 169
lola: symmetry: 7005
lola: reporting
lola: not produced: 3405
lola: find path: 7313
lola: goal oriented search: 169
lola: symmetry: 7006
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3397
lola: find path: 7317
lola: goal oriented search: 169
lola: symmetry: 7010
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3393
lola: find path: 7319
lola: goal oriented search: 169
lola: symmetry: 7012
lola: reporting
lola: not produced: 3389
lola: find path: 7321
lola: goal oriented search: 169
lola: symmetry: 7014
lola: reporting
lola: not produced: 3385
lola: find path: 7323
lola: goal oriented search: 169
lola: symmetry: 7016
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 735
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="MultiCrashLeafsetExtension-PT-S24C10"
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 MultiCrashLeafsetExtension-PT-S24C10, 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 r244-tall-167856432000543"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C10.tgz
mv MultiCrashLeafsetExtension-PT-S24C10 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 ;