About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 11212.104 | 1800000.00 | 7133134.00 | 42.40 | [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/mcc2021-input.r296-tall-162124162700423.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S24C08, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162700423
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 30M
-rw-r--r-- 1 mcc users 27K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 38K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 123K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 5.0K May 11 19:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 11 19:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.5K May 11 16:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 16:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K May 12 04:40 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K May 12 04:40 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 08:13 equiv_col
-rw-r--r-- 1 mcc users 7 May 12 08:13 instance
-rw-r--r-- 1 mcc users 6 May 12 08:13 iscolored
-rw-r--r-- 1 mcc users 29M May 12 08:13 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 1621245702982
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C08
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin
current directory: /home/mcc/execution
GlobalProperty: StableMarking
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 Node12HasTheLeafSetOfLx4ToReplaceNode4
sara: try reading problem file stateEquationProblem-ConstantPlace-7088.sara.
lola: reporting
lola: not produced: 15177
lola: reporting
lola: not produced: 15177
lola: reporting
lola: not produced: 15177
lola: reporting
lola: not produced: 15177
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 10731
lola: find path: 2185
lola: goal oriented search: 205
lola: symmetry: 2056
lola: reporting
lola: not produced: 6789
lola: find path: 4157
lola: goal oriented search: 205
lola: symmetry: 4026
lola: reporting
lola: not produced: 5815
lola: find path: 4644
lola: goal oriented search: 205
lola: symmetry: 4513
lola: reporting
lola: not produced: 5403
lola: find path: 4850
lola: goal oriented search: 205
lola: symmetry: 4719
lola: reporting
lola: not produced: 5175
lola: find path: 4964
lola: goal oriented search: 205
lola: symmetry: 4833
lola: reporting
lola: not produced: 5007
lola: find path: 5048
lola: goal oriented search: 205
lola: symmetry: 4917
lola: reporting
lola: not produced: 4885
lola: find path: 5109
lola: goal oriented search: 205
lola: symmetry: 4978
lola: reporting
lola: not produced: 4799
lola: find path: 5152
lola: goal oriented search: 205
lola: symmetry: 5021
lola: reporting
lola: not produced: 4695
lola: find path: 5204
lola: goal oriented search: 205
lola: symmetry: 5073
lola: reporting
lola: not produced: 4615
lola: find path: 5244
lola: goal oriented search: 205
lola: symmetry: 5113
lola: reporting
lola: not produced: 4549
lola: find path: 5277
lola: goal oriented search: 205
lola: symmetry: 5146
lola: reporting
lola: not produced: 4511
lola: find path: 5296
lola: goal oriented search: 205
lola: symmetry: 5165
lola: reporting
lola: not produced: 4467
lola: find path: 5318
lola: goal oriented search: 205
lola: symmetry: 5187
lola: reporting
lola: not produced: 4409
lola: find path: 5347
lola: goal oriented search: 205
lola: symmetry: 5216
lola: reporting
lola: not produced: 4373
lola: find path: 5365
lola: goal oriented search: 205
lola: symmetry: 5234
lola: reporting
lola: not produced: 4331
lola: find path: 5386
lola: goal oriented search: 205
lola: symmetry: 5255
lola: reporting
lola: not produced: 4281
lola: find path: 5411
lola: goal oriented search: 205
lola: symmetry: 5280
lola: reporting
lola: not produced: 4241
lola: find path: 5431
lola: goal oriented search: 205
lola: symmetry: 5300
lola: reporting
lola: not produced: 4209
lola: find path: 5447
lola: goal oriented search: 205
lola: symmetry: 5316
lola: reporting
lola: not produced: 4155
lola: find path: 5474
lola: goal oriented search: 205
lola: symmetry: 5343
lola: reporting
lola: not produced: 4127
lola: find path: 5488
lola: goal oriented search: 205
lola: symmetry: 5357
lola: reporting
lola: not produced: 4089
lola: find path: 5507
lola: goal oriented search: 205
lola: symmetry: 5376
lola: reporting
lola: not produced: 4059
lola: find path: 5522
lola: goal oriented search: 205
lola: symmetry: 5391
lola: reporting
lola: not produced: 4031
lola: find path: 5536
lola: goal oriented search: 205
lola: symmetry: 5405
lola: reporting
lola: not produced: 4003
lola: find path: 5550
lola: goal oriented search: 205
lola: symmetry: 5419
lola: reporting
lola: not produced: 3995
lola: find path: 5554
lola: goal oriented search: 205
lola: symmetry: 5423
lola: reporting
lola: not produced: 3983
lola: find path: 5560
lola: goal oriented search: 205
lola: symmetry: 5429
lola: reporting
lola: not produced: 3969
lola: find path: 5567
lola: goal oriented search: 205
lola: symmetry: 5436
lola: reporting
lola: not produced: 3917
lola: find path: 5593
lola: goal oriented search: 205
lola: symmetry: 5462
lola: reporting
lola: not produced: 3901
lola: find path: 5601
lola: goal oriented search: 205
lola: symmetry: 5470
lola: reporting
lola: not produced: 3885
lola: find path: 5609
lola: goal oriented search: 205
lola: symmetry: 5478
lola: reporting
lola: not produced: 3873
lola: find path: 5615
lola: goal oriented search: 205
lola: symmetry: 5484
lola: reporting
lola: not produced: 3863
lola: find path: 5620
lola: goal oriented search: 205
lola: symmetry: 5489
lola: reporting
lola: not produced: 3855
lola: find path: 5624
lola: goal oriented search: 205
lola: symmetry: 5493
lola: reporting
lola: not produced: 3833
lola: find path: 5635
lola: goal oriented search: 205
lola: symmetry: 5504
lola: reporting
lola: not produced: 3821
lola: find path: 5641
lola: goal oriented search: 205
lola: symmetry: 5510
lola: reporting
lola: not produced: 3813
lola: find path: 5645
lola: goal oriented search: 205
lola: symmetry: 5514
lola: reporting
lola: not produced: 3801
lola: find path: 5651
lola: goal oriented search: 205
lola: symmetry: 5520
lola: reporting
lola: not produced: 3787
lola: find path: 5658
lola: goal oriented search: 205
lola: symmetry: 5527
lola: reporting
lola: not produced: 3783
lola: find path: 5660
lola: goal oriented search: 205
lola: symmetry: 5529
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3779
lola: find path: 5662
lola: goal oriented search: 205
lola: symmetry: 5531
lola: reporting
lola: not produced: 3767
lola: find path: 5668
lola: goal oriented search: 205
lola: symmetry: 5537
lola: reporting
lola: not produced: 3753
lola: find path: 5675
lola: goal oriented search: 205
lola: symmetry: 5544
lola: reporting
lola: not produced: 3733
lola: find path: 5685
lola: goal oriented search: 205
lola: symmetry: 5554
lola: reporting
lola: not produced: 3721
lola: find path: 5691
lola: goal oriented search: 205
lola: symmetry: 5560
lola: reporting
lola: not produced: 3721
lola: find path: 5691
lola: goal oriented search: 205
lola: symmetry: 5560
lola: reporting
lola: not produced: 3705
lola: find path: 5699
lola: goal oriented search: 205
lola: symmetry: 5568
lola: reporting
lola: not produced: 3697
lola: find path: 5703
lola: goal oriented search: 205
lola: symmetry: 5572
lola: reporting
lola: not produced: 3695
lola: find path: 5704
lola: goal oriented search: 205
lola: symmetry: 5573
lola: reporting
lola: not produced: 3687
lola: find path: 5708
lola: goal oriented search: 205
lola: symmetry: 5577
lola: reporting
lola: not produced: 3671
lola: find path: 5716
lola: goal oriented search: 205
lola: symmetry: 5585
lola: reporting
lola: not produced: 3671
lola: find path: 5716
lola: goal oriented search: 205
lola: symmetry: 5585
lola: reporting
lola: not produced: 3665
lola: find path: 5719
lola: goal oriented search: 205
lola: symmetry: 5588
lola: STATE EQUATION TRIES PLACE Node3ThinksNode20ShouldBeNodeMasterToReplaceNode10
lola: reporting
lola: not produced: 3665
lola: state equation: 1
lola: find path: 5718
lola: goal oriented search: 205
lola: symmetry: 5588
sara: try reading problem file stateEquationProblem-ConstantPlace-14332.sara.
lola: reporting
lola: not produced: 3655
lola: state equation: 1
lola: find path: 5723
lola: goal oriented search: 205
lola: symmetry: 5593
lola: reporting
lola: not produced: 3647
lola: state equation: 1
lola: find path: 5727
lola: goal oriented search: 205
lola: symmetry: 5597
lola: reporting
lola: not produced: 3647
lola: state equation: 1
lola: find path: 5727
lola: goal oriented search: 205
lola: symmetry: 5597
lola: reporting
lola: not produced: 3643
lola: state equation: 1
lola: find path: 5729
lola: goal oriented search: 205
lola: symmetry: 5599
lola: reporting
lola: not produced: 3639
lola: state equation: 1
lola: find path: 5731
lola: goal oriented search: 205
lola: symmetry: 5601
lola: reporting
lola: not produced: 3633
lola: state equation: 1
lola: find path: 5734
lola: goal oriented search: 205
lola: symmetry: 5604
lola: reporting
lola: not produced: 3627
lola: state equation: 1
lola: find path: 5737
lola: goal oriented search: 205
lola: symmetry: 5607
lola: reporting
lola: not produced: 3627
lola: state equation: 1
lola: find path: 5737
lola: goal oriented search: 205
lola: symmetry: 5607
lola: reporting
lola: not produced: 3627
lola: state equation: 1
lola: find path: 5737
lola: goal oriented search: 205
lola: symmetry: 5607
lola: reporting
lola: not produced: 3627
lola: state equation: 1
lola: find path: 5737
lola: goal oriented search: 205
lola: symmetry: 5607
lola: reporting
lola: not produced: 3569
lola: state equation: 1
lola: find path: 5743
lola: goal oriented search: 228
lola: symmetry: 5636
lola: reporting
lola: not produced: 3561
lola: state equation: 1
lola: find path: 5747
lola: goal oriented search: 228
lola: symmetry: 5640
lola: reporting
lola: not produced: 3561
lola: state equation: 1
lola: find path: 5747
lola: goal oriented search: 228
lola: symmetry: 5640
lola: reporting
lola: not produced: 3559
lola: state equation: 1
lola: find path: 5748
lola: goal oriented search: 228
lola: symmetry: 5641
lola: reporting
lola: not produced: 3559
lola: state equation: 1
lola: find path: 5748
lola: goal oriented search: 228
lola: symmetry: 5641
lola: reporting
lola: not produced: 3555
lola: state equation: 1
lola: find path: 5750
lola: goal oriented search: 228
lola: symmetry: 5643
lola: reporting
lola: not produced: 3555
lola: state equation: 1
lola: find path: 5750
lola: goal oriented search: 228
lola: symmetry: 5643
lola: reporting
lola: not produced: 3551
lola: state equation: 1
lola: find path: 5752
lola: goal oriented search: 228
lola: symmetry: 5645
lola: reporting
lola: not produced: 3543
lola: state equation: 1
lola: find path: 5756
lola: goal oriented search: 228
lola: symmetry: 5649
lola: reporting
lola: not produced: 3537
lola: state equation: 1
lola: find path: 5759
lola: goal oriented search: 228
lola: symmetry: 5652
lola: reporting
lola: not produced: 3537
lola: state equation: 1
lola: find path: 5759
lola: goal oriented search: 228
lola: symmetry: 5652
lola: reporting
lola: not produced: 3533
lola: state equation: 1
lola: find path: 5761
lola: goal oriented search: 228
lola: symmetry: 5654
lola: reporting
lola: not produced: 3533
lola: state equation: 1
lola: find path: 5761
lola: goal oriented search: 228
lola: symmetry: 5654
lola: reporting
lola: not produced: 3529
lola: state equation: 1
lola: find path: 5763
lola: goal oriented search: 228
lola: symmetry: 5656
lola: reporting
lola: not produced: 3529
lola: state equation: 1
lola: find path: 5763
lola: goal oriented search: 228
lola: symmetry: 5656
lola: reporting
lola: not produced: 3525
lola: state equation: 1
lola: find path: 5765
lola: goal oriented search: 228
lola: symmetry: 5658
lola: reporting
lola: not produced: 3521
lola: state equation: 1
lola: find path: 5767
lola: goal oriented search: 228
lola: symmetry: 5660
lola: reporting
lola: not produced: 3517
lola: state equation: 1
lola: find path: 5769
lola: goal oriented search: 228
lola: symmetry: 5662
lola: reporting
lola: not produced: 3509
lola: state equation: 1
lola: find path: 5773
lola: goal oriented search: 228
lola: symmetry: 5666
lola: reporting
lola: not produced: 3505
lola: state equation: 1
lola: find path: 5775
lola: goal oriented search: 228
lola: symmetry: 5668
lola: reporting
lola: not produced: 3505
lola: state equation: 1
lola: find path: 5775
lola: goal oriented search: 228
lola: symmetry: 5668
lola: reporting
lola: not produced: 3497
lola: state equation: 1
lola: find path: 5779
lola: goal oriented search: 228
lola: symmetry: 5672
lola: reporting
lola: not produced: 3497
lola: state equation: 1
lola: find path: 5779
lola: goal oriented search: 228
lola: symmetry: 5672
lola: reporting
lola: not produced: 3497
lola: state equation: 1
lola: find path: 5779
lola: goal oriented search: 228
lola: symmetry: 5672
lola: reporting
lola: not produced: 3495
lola: state equation: 1
lola: find path: 5780
lola: goal oriented search: 228
lola: symmetry: 5673
lola: reporting
lola: not produced: 3495
lola: state equation: 1
lola: find path: 5780
lola: goal oriented search: 228
lola: symmetry: 5673
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 3495
lola: state equation: 1
lola: find path: 5780
lola: goal oriented search: 228
lola: symmetry: 5673
lola: reporting
lola: not produced: 3491
lola: state equation: 1
lola: find path: 5782
lola: goal oriented search: 228
lola: symmetry: 5675
lola: reporting
lola: not produced: 3491
lola: state equation: 1
lola: find path: 5782
lola: goal oriented search: 228
lola: symmetry: 5675
lola: reporting
lola: not produced: 3483
lola: state equation: 1
lola: find path: 5786
lola: goal oriented search: 228
lola: symmetry: 5679
lola: reporting
lola: not produced: 3483
lola: state equation: 1
lola: find path: 5786
lola: goal oriented search: 228
lola: symmetry: 5679
lola: reporting
lola: not produced: 3481
lola: state equation: 1
lola: find path: 5787
lola: goal oriented search: 228
lola: symmetry: 5680
lola: reporting
lola: not produced: 3481
lola: state equation: 1
lola: find path: 5787
lola: goal oriented search: 228
lola: symmetry: 5680
lola: reporting
lola: not produced: 3479
lola: state equation: 1
lola: find path: 5788
lola: goal oriented search: 228
lola: symmetry: 5681
lola: reporting
lola: not produced: 3479
lola: state equation: 1
lola: find path: 5788
lola: goal oriented search: 228
lola: symmetry: 5681
lola: reporting
lola: not produced: 3479
lola: state equation: 1
lola: find path: 5788
lola: goal oriented search: 228
lola: symmetry: 5681
lola: reporting
lola: not produced: 3475
lola: state equation: 1
lola: find path: 5790
lola: goal oriented search: 228
lola: symmetry: 5683
lola: reporting
lola: not produced: 3475
lola: state equation: 1
lola: find path: 5790
lola: goal oriented search: 228
lola: symmetry: 5683
lola: reporting
lola: not produced: 3471
lola: state equation: 1
lola: find path: 5792
lola: goal oriented search: 228
lola: symmetry: 5685
lola: reporting
lola: not produced: 3467
lola: state equation: 1
lola: find path: 5794
lola: goal oriented search: 228
lola: symmetry: 5687
lola: reporting
lola: not produced: 3467
lola: state equation: 1
lola: find path: 5794
lola: goal oriented search: 228
lola: symmetry: 5687
lola: reporting
lola: not produced: 3459
lola: state equation: 1
lola: find path: 5798
lola: goal oriented search: 228
lola: symmetry: 5691
lola: reporting
lola: not produced: 3457
lola: state equation: 1
lola: find path: 5799
lola: goal oriented search: 228
lola: symmetry: 5692
lola: reporting
lola: not produced: 3457
lola: state equation: 1
lola: find path: 5799
lola: goal oriented search: 228
lola: symmetry: 5692
lola: reporting
lola: not produced: 3453
lola: state equation: 1
lola: find path: 5801
lola: goal oriented search: 228
lola: symmetry: 5694
lola: reporting
lola: not produced: 3453
lola: state equation: 1
lola: find path: 5801
lola: goal oriented search: 228
lola: symmetry: 5694
lola: reporting
lola: not produced: 3447
lola: state equation: 1
lola: find path: 5804
lola: goal oriented search: 228
lola: symmetry: 5697
lola: reporting
lola: not produced: 3443
lola: state equation: 1
lola: find path: 5806
lola: goal oriented search: 228
lola: symmetry: 5699
lola: reporting
lola: not produced: 3441
lola: state equation: 1
lola: find path: 5807
lola: goal oriented search: 228
lola: symmetry: 5700
lola: reporting
lola: not produced: 3437
lola: state equation: 1
lola: find path: 5809
lola: goal oriented search: 228
lola: symmetry: 5702
lola: reporting
lola: not produced: 3437
lola: state equation: 1
lola: find path: 5809
lola: goal oriented search: 228
lola: symmetry: 5702
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3435
lola: state equation: 1
lola: find path: 5810
lola: goal oriented search: 228
lola: symmetry: 5703
lola: reporting
lola: not produced: 3431
lola: state equation: 1
lola: find path: 5812
lola: goal oriented search: 228
lola: symmetry: 5705
lola: reporting
lola: not produced: 3431
lola: state equation: 1
lola: find path: 5812
lola: goal oriented search: 228
lola: symmetry: 5705
lola: reporting
lola: not produced: 3427
lola: state equation: 1
lola: find path: 5814
lola: goal oriented search: 228
lola: symmetry: 5707
lola: reporting
lola: not produced: 3427
lola: state equation: 1
lola: find path: 5814
lola: goal oriented search: 228
lola: symmetry: 5707
lola: reporting
lola: not produced: 3427
lola: state equation: 1
lola: find path: 5814
lola: goal oriented search: 228
lola: symmetry: 5707
lola: reporting
lola: not produced: 3427
lola: state equation: 1
lola: find path: 5814
lola: goal oriented search: 228
lola: symmetry: 5707
lola: reporting
lola: not produced: 3423
lola: state equation: 1
lola: find path: 5816
lola: goal oriented search: 228
lola: symmetry: 5709
lola: reporting
lola: not produced: 3423
lola: state equation: 1
lola: find path: 5816
lola: goal oriented search: 228
lola: symmetry: 5709
lola: reporting
lola: not produced: 3419
lola: state equation: 1
lola: find path: 5818
lola: goal oriented search: 228
lola: symmetry: 5711
lola: reporting
lola: not produced: 3419
lola: state equation: 1
lola: find path: 5818
lola: goal oriented search: 228
lola: symmetry: 5711
lola: reporting
lola: not produced: 3419
lola: state equation: 1
lola: find path: 5818
lola: goal oriented search: 228
lola: symmetry: 5711
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3415
lola: state equation: 1
lola: find path: 5820
lola: goal oriented search: 228
lola: symmetry: 5713
lola: reporting
lola: not produced: 3411
lola: state equation: 1
lola: find path: 5822
lola: goal oriented search: 228
lola: symmetry: 5715
lola: reporting
lola: not produced: 3411
lola: state equation: 1
lola: find path: 5822
lola: goal oriented search: 228
lola: symmetry: 5715
lola: reporting
lola: not produced: 3411
lola: state equation: 1
lola: find path: 5822
lola: goal oriented search: 228
lola: symmetry: 5715
lola: reporting
lola: not produced: 3411
lola: state equation: 1
lola: find path: 5822
lola: goal oriented search: 228
lola: symmetry: 5715
lola: reporting
lola: not produced: 3407
lola: state equation: 1
lola: find path: 5824
lola: goal oriented search: 228
lola: symmetry: 5717
lola: reporting
lola: not produced: 3401
lola: state equation: 1
lola: find path: 5827
lola: goal oriented search: 228
lola: symmetry: 5720
lola: reporting
lola: not produced: 3401
lola: state equation: 1
lola: find path: 5827
lola: goal oriented search: 228
lola: symmetry: 5720
lola: reporting
lola: not produced: 3401
lola: state equation: 1
lola: find path: 5827
lola: goal oriented search: 228
lola: symmetry: 5720
lola: reporting
lola: not produced: 3401
lola: state equation: 1
lola: find path: 5827
lola: goal oriented search: 228
lola: symmetry: 5720
lola: reporting
lola: not produced: 3401
lola: state equation: 1
lola: find path: 5827
lola: goal oriented search: 228
lola: symmetry: 5720
lola: reporting
lola: not produced: 3397
lola: state equation: 1
lola: find path: 5829
lola: goal oriented search: 228
lola: symmetry: 5722
lola: reporting
lola: not produced: 3393
lola: state equation: 1
lola: find path: 5831
lola: goal oriented search: 228
lola: symmetry: 5724
lola: reporting
lola: not produced: 3393
lola: state equation: 1
lola: find path: 5831
lola: goal oriented search: 228
lola: symmetry: 5724
lola: reporting
lola: not produced: 3393
lola: state equation: 1
lola: find path: 5831
lola: goal oriented search: 228
lola: symmetry: 5724
lola: reporting
lola: not produced: 3393
lola: state equation: 1
lola: find path: 5831
lola: goal oriented search: 228
lola: symmetry: 5724
lola: reporting
lola: not produced: 3391
lola: state equation: 1
lola: find path: 5832
lola: goal oriented search: 228
lola: symmetry: 5725
lola: reporting
lola: not produced: 3387
lola: state equation: 1
lola: find path: 5834
lola: goal oriented search: 228
lola: symmetry: 5727
lola: reporting
lola: not produced: 3387
lola: state equation: 1
lola: find path: 5834
lola: goal oriented search: 228
lola: symmetry: 5727
lola: reporting
lola: not produced: 3385
lola: state equation: 1
lola: find path: 5835
lola: goal oriented search: 228
lola: symmetry: 5728
lola: reporting
lola: not produced: 3385
lola: state equation: 1
lola: find path: 5835
lola: goal oriented search: 228
lola: symmetry: 5728
lola: reporting
lola: not produced: 3383
lola: state equation: 1
lola: find path: 5836
lola: goal oriented search: 228
lola: symmetry: 5729
lola: reporting
lola: not produced: 3379
lola: state equation: 1
lola: find path: 5838
lola: goal oriented search: 228
lola: symmetry: 5731
lola: reporting
lola: not produced: 3375
lola: state equation: 1
lola: find path: 5840
lola: goal oriented search: 228
lola: symmetry: 5733
lola: reporting
lola: not produced: 3375
lola: state equation: 1
lola: find path: 5840
lola: goal oriented search: 228
lola: symmetry: 5733
lola: reporting
lola: not produced: 3375
lola: state equation: 1
lola: find path: 5840
lola: goal oriented search: 228
lola: symmetry: 5733
lola: reporting
lola: not produced: 3375
lola: state equation: 1
lola: find path: 5840
lola: goal oriented search: 228
lola: symmetry: 5733
lola: reporting
lola: not produced: 3375
lola: state equation: 1
lola: find path: 5840
lola: goal oriented search: 228
lola: symmetry: 5733
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3369
lola: state equation: 1
lola: find path: 5843
lola: goal oriented search: 228
lola: symmetry: 5736
lola: reporting
lola: not produced: 3367
lola: state equation: 1
lola: find path: 5844
lola: goal oriented search: 228
lola: symmetry: 5737
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3365
lola: state equation: 1
lola: find path: 5845
lola: goal oriented search: 228
lola: symmetry: 5738
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3361
lola: state equation: 1
lola: find path: 5847
lola: goal oriented search: 228
lola: symmetry: 5740
lola: reporting
lola: not produced: 3357
lola: state equation: 1
lola: find path: 5849
lola: goal oriented search: 228
lola: symmetry: 5742
lola: reporting
lola: not produced: 3357
lola: state equation: 1
lola: find path: 5849
lola: goal oriented search: 228
lola: symmetry: 5742
lola: reporting
lola: not produced: 3357
lola: state equation: 1
lola: find path: 5849
lola: goal oriented search: 228
lola: symmetry: 5742
lola: reporting
lola: not produced: 3355
lola: state equation: 1
lola: find path: 5850
lola: goal oriented search: 228
lola: symmetry: 5743
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3353
lola: state equation: 1
lola: find path: 5851
lola: goal oriented search: 228
lola: symmetry: 5744
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3349
lola: state equation: 1
lola: find path: 5853
lola: goal oriented search: 228
lola: symmetry: 5746
lola: reporting
lola: not produced: 3347
lola: state equation: 1
lola: find path: 5854
lola: goal oriented search: 228
lola: symmetry: 5747
lola: reporting
lola: not produced: 3347
lola: state equation: 1
lola: find path: 5854
lola: goal oriented search: 228
lola: symmetry: 5747
lola: reporting
lola: not produced: 3347
lola: state equation: 1
lola: find path: 5854
lola: goal oriented search: 228
lola: symmetry: 5747
lola: reporting
lola: not produced: 3347
lola: state equation: 1
lola: find path: 5854
lola: goal oriented search: 228
lola: symmetry: 5747
lola: reporting
lola: not produced: 3347
lola: state equation: 1
lola: find path: 5854
lola: goal oriented search: 228
lola: symmetry: 5747
lola: reporting
lola: not produced: 3343
lola: state equation: 1
lola: find path: 5856
lola: goal oriented search: 228
lola: symmetry: 5749
lola: reporting
lola: not produced: 3343
lola: state equation: 1
lola: find path: 5856
lola: goal oriented search: 228
lola: symmetry: 5749
lola: reporting
lola: not produced: 3341
lola: state equation: 1
lola: find path: 5857
lola: goal oriented search: 228
lola: symmetry: 5750
lola: reporting
lola: not produced: 3341
lola: state equation: 1
lola: find path: 5857
lola: goal oriented search: 228
lola: symmetry: 5750
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3339
lola: state equation: 1
lola: find path: 5858
lola: goal oriented search: 228
lola: symmetry: 5751
lola: reporting
lola: not produced: 3337
lola: state equation: 1
lola: find path: 5859
lola: goal oriented search: 228
lola: symmetry: 5752
lola: reporting
lola: not produced: 3337
lola: state equation: 1
lola: find path: 5859
lola: goal oriented search: 228
lola: symmetry: 5752
lola: reporting
lola: not produced: 3337
lola: state equation: 1
lola: find path: 5859
lola: goal oriented search: 228
lola: symmetry: 5752
lola: reporting
lola: not produced: 3337
lola: state equation: 1
lola: find path: 5859
lola: goal oriented search: 228
lola: symmetry: 5752
lola: reporting
lola: not produced: 3337
lola: state equation: 1
lola: find path: 5859
lola: goal oriented search: 228
lola: symmetry: 5752
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3333
lola: state equation: 1
lola: find path: 5861
lola: goal oriented search: 228
lola: symmetry: 5754
lola: reporting
lola: not produced: 3327
lola: state equation: 1
lola: find path: 5864
lola: goal oriented search: 228
lola: symmetry: 5757
lola: reporting
lola: not produced: 3327
lola: state equation: 1
lola: find path: 5864
lola: goal oriented search: 228
lola: symmetry: 5757
lola: reporting
lola: not produced: 3327
lola: state equation: 1
lola: find path: 5864
lola: goal oriented search: 228
lola: symmetry: 5757
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3325
lola: state equation: 1
lola: find path: 5865
lola: goal oriented search: 228
lola: symmetry: 5758
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3323
lola: state equation: 1
lola: find path: 5866
lola: goal oriented search: 228
lola: symmetry: 5759
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
lola: reporting
lola: not produced: 3321
lola: state equation: 1
lola: find path: 5867
lola: goal oriented search: 228
lola: symmetry: 5760
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-S24C08"
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-4028"
echo " Executing tool lola"
echo " Input is MultiCrashLeafsetExtension-PT-S24C08, 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 r296-tall-162124162700423"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C08.tgz
mv MultiCrashLeafsetExtension-PT-S24C08 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 ;