About the Execution of LoLA for MultiCrashLeafsetExtension-PT-S24C12
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10474.476 | 1800000.00 | 7046518.00 | 119.60 | [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-162124162700443.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-S24C12, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r296-tall-162124162700443
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 39M
-rw-r--r-- 1 mcc users 40K May 15 08:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 134K May 15 08:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 24K May 15 08:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 76K May 15 08:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.6K May 12 07:59 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K May 12 07:59 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K May 12 07:59 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 12 07:59 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 08:13 NewModel
-rw-r--r-- 1 mcc users 4.4K May 11 19:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 11 19:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K May 11 16:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 11 16:09 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 39M 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 1621248123790
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C12
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 Node13HasAskedItsLeafSetToRx4ToReplaceNode18
sara: try reading problem file stateEquationProblem-ConstantPlace-16242.sara.
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: reporting
lola: not produced: 20609
lola: LAUNCH SYMM
lola: reporting
lola: not produced: 13313
lola: find path: 3780
lola: goal oriented search: 98
lola: symmetry: 3418
lola: reporting
lola: not produced: 10571
lola: find path: 5151
lola: goal oriented search: 98
lola: symmetry: 4789
lola: reporting
lola: not produced: 9337
lola: find path: 5768
lola: goal oriented search: 98
lola: symmetry: 5406
lola: reporting
lola: not produced: 8487
lola: find path: 6193
lola: goal oriented search: 98
lola: symmetry: 5831
lola: reporting
lola: not produced: 7983
lola: find path: 6445
lola: goal oriented search: 98
lola: symmetry: 6083
lola: reporting
lola: not produced: 7609
lola: find path: 6632
lola: goal oriented search: 98
lola: symmetry: 6270
lola: reporting
lola: not produced: 7387
lola: find path: 6743
lola: goal oriented search: 98
lola: symmetry: 6381
lola: reporting
lola: not produced: 7149
lola: find path: 6862
lola: goal oriented search: 98
lola: symmetry: 6500
lola: reporting
lola: not produced: 6955
lola: find path: 6959
lola: goal oriented search: 98
lola: symmetry: 6597
lola: reporting
lola: not produced: 6807
lola: find path: 7033
lola: goal oriented search: 98
lola: symmetry: 6671
lola: reporting
lola: not produced: 6731
lola: find path: 7071
lola: goal oriented search: 98
lola: symmetry: 6709
lola: reporting
lola: not produced: 6637
lola: find path: 7118
lola: goal oriented search: 98
lola: symmetry: 6756
lola: reporting
lola: not produced: 6583
lola: find path: 7145
lola: goal oriented search: 98
lola: symmetry: 6783
lola: reporting
lola: not produced: 6515
lola: find path: 7179
lola: goal oriented search: 98
lola: symmetry: 6817
lola: reporting
lola: not produced: 6445
lola: find path: 7214
lola: goal oriented search: 98
lola: symmetry: 6852
lola: reporting
lola: not produced: 6385
lola: find path: 7244
lola: goal oriented search: 98
lola: symmetry: 6882
lola: reporting
lola: not produced: 6341
lola: find path: 7266
lola: goal oriented search: 98
lola: symmetry: 6904
lola: reporting
lola: not produced: 6299
lola: find path: 7287
lola: goal oriented search: 98
lola: symmetry: 6925
lola: reporting
lola: not produced: 6249
lola: find path: 7312
lola: goal oriented search: 98
lola: symmetry: 6950
lola: reporting
lola: not produced: 6197
lola: find path: 7338
lola: goal oriented search: 98
lola: symmetry: 6976
lola: reporting
lola: not produced: 6167
lola: find path: 7353
lola: goal oriented search: 98
lola: symmetry: 6991
lola: reporting
lola: not produced: 6135
lola: find path: 7369
lola: goal oriented search: 98
lola: symmetry: 7007
lola: reporting
lola: not produced: 6111
lola: find path: 7381
lola: goal oriented search: 98
lola: symmetry: 7019
lola: reporting
lola: not produced: 6055
lola: find path: 7409
lola: goal oriented search: 98
lola: symmetry: 7047
lola: reporting
lola: not produced: 6013
lola: find path: 7430
lola: goal oriented search: 98
lola: symmetry: 7068
lola: reporting
lola: not produced: 6003
lola: find path: 7435
lola: goal oriented search: 98
lola: symmetry: 7073
lola: reporting
lola: not produced: 5949
lola: find path: 7462
lola: goal oriented search: 98
lola: symmetry: 7100
lola: reporting
lola: not produced: 5931
lola: find path: 7471
lola: goal oriented search: 98
lola: symmetry: 7109
lola: reporting
lola: not produced: 5915
lola: find path: 7479
lola: goal oriented search: 98
lola: symmetry: 7117
lola: reporting
lola: not produced: 5901
lola: find path: 7486
lola: goal oriented search: 98
lola: symmetry: 7124
lola: reporting
lola: not produced: 5877
lola: find path: 7498
lola: goal oriented search: 98
lola: symmetry: 7136
lola: reporting
lola: not produced: 5815
lola: find path: 7529
lola: goal oriented search: 98
lola: symmetry: 7167
lola: reporting
lola: not produced: 5789
lola: find path: 7542
lola: goal oriented search: 98
lola: symmetry: 7180
lola: reporting
lola: not produced: 5763
lola: find path: 7555
lola: goal oriented search: 98
lola: symmetry: 7193
lola: reporting
lola: not produced: 5739
lola: find path: 7567
lola: goal oriented search: 98
lola: symmetry: 7205
lola: reporting
lola: not produced: 5719
lola: find path: 7577
lola: goal oriented search: 98
lola: symmetry: 7215
lola: reporting
lola: not produced: 5703
lola: find path: 7585
lola: goal oriented search: 98
lola: symmetry: 7223
lola: reporting
lola: not produced: 5675
lola: find path: 7599
lola: goal oriented search: 98
lola: symmetry: 7237
lola: reporting
lola: not produced: 5663
lola: find path: 7605
lola: goal oriented search: 98
lola: symmetry: 7243
lola: reporting
lola: not produced: 5647
lola: find path: 7613
lola: goal oriented search: 98
lola: symmetry: 7251
lola: reporting
lola: not produced: 5643
lola: find path: 7615
lola: goal oriented search: 98
lola: symmetry: 7253
lola: reporting
lola: not produced: 5627
lola: find path: 7623
lola: goal oriented search: 98
lola: symmetry: 7261
lola: reporting
lola: not produced: 5615
lola: find path: 7629
lola: goal oriented search: 98
lola: symmetry: 7267
lola: reporting
lola: not produced: 5605
lola: find path: 7634
lola: goal oriented search: 98
lola: symmetry: 7272
lola: reporting
lola: not produced: 5593
lola: find path: 7640
lola: goal oriented search: 98
lola: symmetry: 7278
lola: reporting
lola: not produced: 5585
lola: find path: 7644
lola: goal oriented search: 98
lola: symmetry: 7282
lola: reporting
lola: not produced: 5557
lola: find path: 7658
lola: goal oriented search: 98
lola: symmetry: 7296
lola: reporting
lola: not produced: 5541
lola: find path: 7666
lola: goal oriented search: 98
lola: symmetry: 7304
lola: reporting
lola: not produced: 5541
lola: find path: 7666
lola: goal oriented search: 98
lola: symmetry: 7304
lola: reporting
lola: not produced: 5527
lola: find path: 7673
lola: goal oriented search: 98
lola: symmetry: 7311
lola: reporting
lola: not produced: 5491
lola: find path: 7691
lola: goal oriented search: 98
lola: symmetry: 7329
lola: reporting
lola: not produced: 5479
lola: find path: 7697
lola: goal oriented search: 98
lola: symmetry: 7335
lola: reporting
lola: not produced: 5467
lola: find path: 7703
lola: goal oriented search: 98
lola: symmetry: 7341
lola: reporting
lola: not produced: 5461
lola: find path: 7706
lola: goal oriented search: 98
lola: symmetry: 7344
lola: reporting
lola: not produced: 5453
lola: find path: 7710
lola: goal oriented search: 98
lola: symmetry: 7348
lola: reporting
lola: not produced: 5437
lola: find path: 7718
lola: goal oriented search: 98
lola: symmetry: 7356
lola: reporting
lola: not produced: 5431
lola: find path: 7721
lola: goal oriented search: 98
lola: symmetry: 7359
lola: reporting
lola: not produced: 5423
lola: find path: 7725
lola: goal oriented search: 98
lola: symmetry: 7363
lola: reporting
lola: not produced: 5407
lola: find path: 7733
lola: goal oriented search: 98
lola: symmetry: 7371
lola: reporting
lola: not produced: 5407
lola: find path: 7733
lola: goal oriented search: 98
lola: symmetry: 7371
lola: reporting
lola: not produced: 5387
lola: find path: 7743
lola: goal oriented search: 98
lola: symmetry: 7381
lola: reporting
lola: not produced: 5371
lola: find path: 7751
lola: goal oriented search: 98
lola: symmetry: 7389
lola: reporting
lola: not produced: 5355
lola: find path: 7759
lola: goal oriented search: 98
lola: symmetry: 7397
lola: reporting
lola: not produced: 5311
lola: find path: 7781
lola: goal oriented search: 98
lola: symmetry: 7419
lola: reporting
lola: not produced: 5303
lola: find path: 7785
lola: goal oriented search: 98
lola: symmetry: 7423
lola: reporting
lola: not produced: 5301
lola: find path: 7786
lola: goal oriented search: 98
lola: symmetry: 7424
lola: reporting
lola: not produced: 5293
lola: find path: 7790
lola: goal oriented search: 98
lola: symmetry: 7428
lola: reporting
lola: not produced: 5281
lola: find path: 7796
lola: goal oriented search: 98
lola: symmetry: 7434
lola: reporting
lola: not produced: 5281
lola: find path: 7796
lola: goal oriented search: 98
lola: symmetry: 7434
lola: reporting
lola: not produced: 5273
lola: find path: 7800
lola: goal oriented search: 98
lola: symmetry: 7438
lola: reporting
lola: not produced: 5251
lola: find path: 7811
lola: goal oriented search: 98
lola: symmetry: 7449
lola: reporting
lola: not produced: 5251
lola: find path: 7811
lola: goal oriented search: 98
lola: symmetry: 7449
lola: reporting
lola: not produced: 5239
lola: find path: 7817
lola: goal oriented search: 98
lola: symmetry: 7455
lola: reporting
lola: not produced: 5235
lola: find path: 7819
lola: goal oriented search: 98
lola: symmetry: 7457
lola: reporting
lola: not produced: 5207
lola: find path: 7833
lola: goal oriented search: 98
lola: symmetry: 7471
lola: reporting
lola: not produced: 5207
lola: find path: 7833
lola: goal oriented search: 98
lola: symmetry: 7471
lola: reporting
lola: not produced: 5195
lola: find path: 7839
lola: goal oriented search: 98
lola: symmetry: 7477
lola: reporting
lola: not produced: 5187
lola: find path: 7843
lola: goal oriented search: 98
lola: symmetry: 7481
lola: reporting
lola: not produced: 5179
lola: find path: 7847
lola: goal oriented search: 98
lola: symmetry: 7485
lola: reporting
lola: not produced: 5175
lola: find path: 7849
lola: goal oriented search: 98
lola: symmetry: 7487
lola: reporting
lola: not produced: 5175
lola: find path: 7849
lola: goal oriented search: 98
lola: symmetry: 7487
lola: reporting
lola: not produced: 5171
lola: find path: 7851
lola: goal oriented search: 98
lola: symmetry: 7489
lola: reporting
lola: not produced: 5171
lola: find path: 7851
lola: goal oriented search: 98
lola: symmetry: 7489
lola: reporting
lola: not produced: 5167
lola: find path: 7853
lola: goal oriented search: 98
lola: symmetry: 7491
lola: reporting
lola: not produced: 5151
lola: find path: 7861
lola: goal oriented search: 98
lola: symmetry: 7499
lola: reporting
lola: not produced: 5151
lola: find path: 7861
lola: goal oriented search: 98
lola: symmetry: 7499
lola: reporting
lola: not produced: 5141
lola: find path: 7866
lola: goal oriented search: 98
lola: symmetry: 7504
lola: reporting
lola: not produced: 5133
lola: find path: 7870
lola: goal oriented search: 98
lola: symmetry: 7508
lola: reporting
lola: not produced: 5133
lola: find path: 7870
lola: goal oriented search: 98
lola: symmetry: 7508
lola: reporting
lola: not produced: 5125
lola: find path: 7874
lola: goal oriented search: 98
lola: symmetry: 7512
lola: reporting
lola: not produced: 5121
lola: find path: 7876
lola: goal oriented search: 98
lola: symmetry: 7514
lola: reporting
lola: not produced: 5115
lola: find path: 7879
lola: goal oriented search: 98
lola: symmetry: 7517
lola: reporting
lola: not produced: 5113
lola: find path: 7880
lola: goal oriented search: 98
lola: symmetry: 7518
lola: reporting
lola: not produced: 5107
lola: find path: 7883
lola: goal oriented search: 98
lola: symmetry: 7521
lola: reporting
lola: not produced: 5107
lola: find path: 7883
lola: goal oriented search: 98
lola: symmetry: 7521
lola: reporting
lola: not produced: 5103
lola: find path: 7885
lola: goal oriented search: 98
lola: symmetry: 7523
lola: reporting
lola: not produced: 5087
lola: find path: 7893
lola: goal oriented search: 98
lola: symmetry: 7531
lola: reporting
lola: not produced: 5083
lola: find path: 7895
lola: goal oriented search: 98
lola: symmetry: 7533
lola: reporting
lola: not produced: 5075
lola: find path: 7899
lola: goal oriented search: 98
lola: symmetry: 7537
lola: reporting
lola: not produced: 5063
lola: find path: 7905
lola: goal oriented search: 98
lola: symmetry: 7543
lola: reporting
lola: not produced: 5053
lola: find path: 7910
lola: goal oriented search: 98
lola: symmetry: 7548
lola: reporting
lola: not produced: 5045
lola: find path: 7914
lola: goal oriented search: 98
lola: symmetry: 7552
lola: reporting
lola: not produced: 5045
lola: find path: 7914
lola: goal oriented search: 98
lola: symmetry: 7552
lola: reporting
lola: not produced: 5039
lola: find path: 7917
lola: goal oriented search: 98
lola: symmetry: 7555
lola: reporting
lola: not produced: 5029
lola: find path: 7922
lola: goal oriented search: 98
lola: symmetry: 7560
lola: reporting
lola: not produced: 5029
lola: find path: 7922
lola: goal oriented search: 98
lola: symmetry: 7560
lola: reporting
lola: not produced: 5017
lola: find path: 7928
lola: goal oriented search: 98
lola: symmetry: 7566
lola: reporting
lola: not produced: 5013
lola: find path: 7930
lola: goal oriented search: 98
lola: symmetry: 7568
lola: reporting
lola: not produced: 5007
lola: find path: 7933
lola: goal oriented search: 98
lola: symmetry: 7571
lola: reporting
lola: not produced: 4995
lola: find path: 7939
lola: goal oriented search: 98
lola: symmetry: 7577
lola: reporting
lola: not produced: 4991
lola: find path: 7941
lola: goal oriented search: 98
lola: symmetry: 7579
lola: reporting
lola: not produced: 4985
lola: find path: 7944
lola: goal oriented search: 98
lola: symmetry: 7582
lola: reporting
lola: not produced: 4981
lola: find path: 7946
lola: goal oriented search: 98
lola: symmetry: 7584
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4981
lola: find path: 7946
lola: goal oriented search: 98
lola: symmetry: 7584
lola: reporting
lola: not produced: 4981
lola: find path: 7946
lola: goal oriented search: 98
lola: symmetry: 7584
lola: reporting
lola: not produced: 4969
lola: find path: 7952
lola: goal oriented search: 98
lola: symmetry: 7590
lola: reporting
lola: not produced: 4963
lola: find path: 7955
lola: goal oriented search: 98
lola: symmetry: 7593
lola: reporting
lola: not produced: 4961
lola: find path: 7956
lola: goal oriented search: 98
lola: symmetry: 7594
lola: reporting
lola: not produced: 4957
lola: find path: 7958
lola: goal oriented search: 98
lola: symmetry: 7596
lola: reporting
lola: not produced: 4949
lola: find path: 7962
lola: goal oriented search: 98
lola: symmetry: 7600
lola: reporting
lola: not produced: 4941
lola: find path: 7966
lola: goal oriented search: 98
lola: symmetry: 7604
lola: reporting
lola: not produced: 4929
lola: find path: 7972
lola: goal oriented search: 98
lola: symmetry: 7610
lola: reporting
lola: not produced: 4925
lola: find path: 7974
lola: goal oriented search: 98
lola: symmetry: 7612
lola: reporting
lola: not produced: 4921
lola: find path: 7976
lola: goal oriented search: 98
lola: symmetry: 7614
lola: reporting
lola: not produced: 4921
lola: find path: 7976
lola: goal oriented search: 98
lola: symmetry: 7614
lola: reporting
lola: not produced: 4909
lola: find path: 7982
lola: goal oriented search: 98
lola: symmetry: 7620
lola: reporting
lola: not produced: 4907
lola: find path: 7983
lola: goal oriented search: 98
lola: symmetry: 7621
lola: reporting
lola: not produced: 4903
lola: find path: 7985
lola: goal oriented search: 98
lola: symmetry: 7623
lola: reporting
lola: not produced: 4899
lola: find path: 7987
lola: goal oriented search: 98
lola: symmetry: 7625
lola: reporting
lola: not produced: 4897
lola: find path: 7988
lola: goal oriented search: 98
lola: symmetry: 7626
lola: reporting
lola: not produced: 4891
lola: find path: 7991
lola: goal oriented search: 98
lola: symmetry: 7629
lola: reporting
lola: not produced: 4889
lola: find path: 7992
lola: goal oriented search: 98
lola: symmetry: 7630
lola: reporting
lola: not produced: 4889
lola: find path: 7992
lola: goal oriented search: 98
lola: symmetry: 7630
lola: reporting
lola: not produced: 4885
lola: find path: 7994
lola: goal oriented search: 98
lola: symmetry: 7632
lola: reporting
lola: not produced: 4881
lola: find path: 7996
lola: goal oriented search: 98
lola: symmetry: 7634
lola: reporting
lola: not produced: 4881
lola: find path: 7996
lola: goal oriented search: 98
lola: symmetry: 7634
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToLx11ToReplaceNode7
sara: try reading problem file stateEquationProblem-ConstantPlace-6373.sara.
lola: reporting
lola: not produced: 4881
lola: state equation: 1
lola: find path: 7995
lola: goal oriented search: 98
lola: symmetry: 7634
lola: reporting
lola: not produced: 4881
lola: state equation: 1
lola: find path: 7995
lola: goal oriented search: 98
lola: symmetry: 7634
lola: reporting
lola: not produced: 4881
lola: state equation: 1
lola: find path: 7995
lola: goal oriented search: 98
lola: symmetry: 7634
lola: reporting
lola: not produced: 4871
lola: state equation: 1
lola: find path: 8000
lola: goal oriented search: 98
lola: symmetry: 7639
lola: reporting
lola: not produced: 4871
lola: state equation: 1
lola: find path: 8000
lola: goal oriented search: 98
lola: symmetry: 7639
lola: reporting
lola: not produced: 4871
lola: state equation: 1
lola: find path: 8000
lola: goal oriented search: 98
lola: symmetry: 7639
lola: reporting
lola: not produced: 4871
lola: state equation: 1
lola: find path: 8000
lola: goal oriented search: 98
lola: symmetry: 7639
lola: reporting
lola: not produced: 4867
lola: state equation: 1
lola: find path: 8002
lola: goal oriented search: 98
lola: symmetry: 7641
lola: reporting
lola: not produced: 4867
lola: state equation: 1
lola: find path: 8002
lola: goal oriented search: 98
lola: symmetry: 7641
lola: reporting
lola: not produced: 4867
lola: state equation: 1
lola: find path: 8002
lola: goal oriented search: 98
lola: symmetry: 7641
lola: reporting
lola: not produced: 4853
lola: state equation: 1
lola: find path: 8009
lola: goal oriented search: 98
lola: symmetry: 7648
lola: reporting
lola: not produced: 4845
lola: state equation: 1
lola: find path: 8013
lola: goal oriented search: 98
lola: symmetry: 7652
lola: reporting
lola: not produced: 4823
lola: state equation: 1
lola: find path: 8024
lola: goal oriented search: 98
lola: symmetry: 7663
lola: reporting
lola: not produced: 4819
lola: state equation: 1
lola: find path: 8026
lola: goal oriented search: 98
lola: symmetry: 7665
lola: reporting
lola: not produced: 4819
lola: state equation: 1
lola: find path: 8026
lola: goal oriented search: 98
lola: symmetry: 7665
lola: reporting
lola: not produced: 4815
lola: state equation: 1
lola: find path: 8028
lola: goal oriented search: 98
lola: symmetry: 7667
lola: reporting
lola: not produced: 4815
lola: state equation: 1
lola: find path: 8028
lola: goal oriented search: 98
lola: symmetry: 7667
lola: reporting
lola: not produced: 4811
lola: state equation: 1
lola: find path: 8030
lola: goal oriented search: 98
lola: symmetry: 7669
lola: reporting
lola: not produced: 4809
lola: state equation: 1
lola: find path: 8031
lola: goal oriented search: 98
lola: symmetry: 7670
lola: reporting
lola: not produced: 4791
lola: state equation: 1
lola: find path: 8040
lola: goal oriented search: 98
lola: symmetry: 7679
lola: reporting
lola: not produced: 4791
lola: state equation: 1
lola: find path: 8040
lola: goal oriented search: 98
lola: symmetry: 7679
lola: reporting
lola: not produced: 4777
lola: state equation: 1
lola: find path: 8047
lola: goal oriented search: 98
lola: symmetry: 7686
lola: reporting
lola: not produced: 4773
lola: state equation: 1
lola: find path: 8049
lola: goal oriented search: 98
lola: symmetry: 7688
lola: reporting
lola: not produced: 4769
lola: state equation: 1
lola: find path: 8051
lola: goal oriented search: 98
lola: symmetry: 7690
lola: reporting
lola: not produced: 4763
lola: state equation: 1
lola: find path: 8054
lola: goal oriented search: 98
lola: symmetry: 7693
lola: reporting
lola: not produced: 4763
lola: state equation: 1
lola: find path: 8054
lola: goal oriented search: 98
lola: symmetry: 7693
lola: reporting
lola: not produced: 4759
lola: state equation: 1
lola: find path: 8056
lola: goal oriented search: 98
lola: symmetry: 7695
lola: reporting
lola: not produced: 4755
lola: state equation: 1
lola: find path: 8058
lola: goal oriented search: 98
lola: symmetry: 7697
lola: reporting
lola: not produced: 4747
lola: state equation: 1
lola: find path: 8062
lola: goal oriented search: 98
lola: symmetry: 7701
lola: reporting
lola: not produced: 4747
lola: state equation: 1
lola: find path: 8062
lola: goal oriented search: 98
lola: symmetry: 7701
lola: reporting
lola: not produced: 4743
lola: state equation: 1
lola: find path: 8064
lola: goal oriented search: 98
lola: symmetry: 7703
lola: reporting
lola: not produced: 4743
lola: state equation: 1
lola: find path: 8064
lola: goal oriented search: 98
lola: symmetry: 7703
lola: reporting
lola: not produced: 4743
lola: state equation: 1
lola: find path: 8064
lola: goal oriented search: 98
lola: symmetry: 7703
lola: reporting
lola: not produced: 4743
lola: state equation: 1
lola: find path: 8064
lola: goal oriented search: 98
lola: symmetry: 7703
lola: reporting
lola: not produced: 4735
lola: state equation: 1
lola: find path: 8068
lola: goal oriented search: 98
lola: symmetry: 7707
lola: reporting
lola: not produced: 4731
lola: state equation: 1
lola: find path: 8070
lola: goal oriented search: 98
lola: symmetry: 7709
lola: reporting
lola: not produced: 4731
lola: state equation: 1
lola: find path: 8070
lola: goal oriented search: 98
lola: symmetry: 7709
lola: reporting
lola: not produced: 4727
lola: state equation: 1
lola: find path: 8072
lola: goal oriented search: 98
lola: symmetry: 7711
lola: reporting
lola: not produced: 4723
lola: state equation: 1
lola: find path: 8074
lola: goal oriented search: 98
lola: symmetry: 7713
lola: reporting
lola: not produced: 4723
lola: state equation: 1
lola: find path: 8074
lola: goal oriented search: 98
lola: symmetry: 7713
lola: reporting
lola: not produced: 4717
lola: state equation: 1
lola: find path: 8077
lola: goal oriented search: 98
lola: symmetry: 7716
lola: reporting
lola: not produced: 4717
lola: state equation: 1
lola: find path: 8077
lola: goal oriented search: 98
lola: symmetry: 7716
lola: reporting
lola: not produced: 4717
lola: state equation: 1
lola: find path: 8077
lola: goal oriented search: 98
lola: symmetry: 7716
lola: reporting
lola: not produced: 4717
lola: state equation: 1
lola: find path: 8077
lola: goal oriented search: 98
lola: symmetry: 7716
lola: reporting
lola: not produced: 4713
lola: state equation: 1
lola: find path: 8079
lola: goal oriented search: 98
lola: symmetry: 7718
lola: reporting
lola: not produced: 4713
lola: state equation: 1
lola: find path: 8079
lola: goal oriented search: 98
lola: symmetry: 7718
lola: reporting
lola: not produced: 4709
lola: state equation: 1
lola: find path: 8081
lola: goal oriented search: 98
lola: symmetry: 7720
lola: reporting
lola: not produced: 4705
lola: state equation: 1
lola: find path: 8083
lola: goal oriented search: 98
lola: symmetry: 7722
lola: reporting
lola: not produced: 4695
lola: state equation: 1
lola: find path: 8088
lola: goal oriented search: 98
lola: symmetry: 7727
lola: reporting
lola: not produced: 4695
lola: state equation: 1
lola: find path: 8088
lola: goal oriented search: 98
lola: symmetry: 7727
lola: reporting
lola: not produced: 4695
lola: state equation: 1
lola: find path: 8088
lola: goal oriented search: 98
lola: symmetry: 7727
lola: reporting
lola: not produced: 4693
lola: state equation: 1
lola: find path: 8089
lola: goal oriented search: 98
lola: symmetry: 7728
lola: reporting
lola: not produced: 4691
lola: state equation: 1
lola: find path: 8090
lola: goal oriented search: 98
lola: symmetry: 7729
lola: reporting
lola: not produced: 4691
lola: state equation: 1
lola: find path: 8090
lola: goal oriented search: 98
lola: symmetry: 7729
lola: reporting
lola: not produced: 4691
lola: state equation: 1
lola: find path: 8090
lola: goal oriented search: 98
lola: symmetry: 7729
lola: reporting
lola: not produced: 4691
lola: state equation: 1
lola: find path: 8090
lola: goal oriented search: 98
lola: symmetry: 7729
lola: reporting
lola: not produced: 4691
lola: state equation: 1
lola: find path: 8090
lola: goal oriented search: 98
lola: symmetry: 7729
lola: reporting
lola: not produced: 4683
lola: state equation: 1
lola: find path: 8094
lola: goal oriented search: 98
lola: symmetry: 7733
lola: reporting
lola: not produced: 4679
lola: state equation: 1
lola: find path: 8096
lola: goal oriented search: 98
lola: symmetry: 7735
lola: reporting
lola: not produced: 4679
lola: state equation: 1
lola: find path: 8096
lola: goal oriented search: 98
lola: symmetry: 7735
lola: reporting
lola: not produced: 4679
lola: state equation: 1
lola: find path: 8096
lola: goal oriented search: 98
lola: symmetry: 7735
lola: reporting
lola: not produced: 4679
lola: state equation: 1
lola: find path: 8096
lola: goal oriented search: 98
lola: symmetry: 7735
lola: reporting
lola: not produced: 4677
lola: state equation: 1
lola: find path: 8097
lola: goal oriented search: 98
lola: symmetry: 7736
lola: reporting
lola: not produced: 4677
lola: state equation: 1
lola: find path: 8097
lola: goal oriented search: 98
lola: symmetry: 7736
lola: reporting
lola: not produced: 4677
lola: state equation: 1
lola: find path: 8097
lola: goal oriented search: 98
lola: symmetry: 7736
lola: reporting
lola: not produced: 4675
lola: state equation: 1
lola: find path: 8098
lola: goal oriented search: 98
lola: symmetry: 7737
lola: reporting
lola: not produced: 4675
lola: state equation: 1
lola: find path: 8098
lola: goal oriented search: 98
lola: symmetry: 7737
lola: reporting
lola: not produced: 4671
lola: state equation: 1
lola: find path: 8100
lola: goal oriented search: 98
lola: symmetry: 7739
lola: reporting
lola: not produced: 4667
lola: state equation: 1
lola: find path: 8102
lola: goal oriented search: 98
lola: symmetry: 7741
lola: reporting
lola: not produced: 4665
lola: state equation: 1
lola: find path: 8103
lola: goal oriented search: 98
lola: symmetry: 7742
lola: reporting
lola: not produced: 4663
lola: state equation: 1
lola: find path: 8104
lola: goal oriented search: 98
lola: symmetry: 7743
lola: reporting
lola: not produced: 4659
lola: state equation: 1
lola: find path: 8106
lola: goal oriented search: 98
lola: symmetry: 7745
lola: reporting
lola: not produced: 4659
lola: state equation: 1
lola: find path: 8106
lola: goal oriented search: 98
lola: symmetry: 7745
lola: reporting
lola: not produced: 4655
lola: state equation: 1
lola: find path: 8108
lola: goal oriented search: 98
lola: symmetry: 7747
lola: reporting
lola: not produced: 4655
lola: state equation: 1
lola: find path: 8108
lola: goal oriented search: 98
lola: symmetry: 7747
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 8110
lola: goal oriented search: 98
lola: symmetry: 7749
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 8110
lola: goal oriented search: 98
lola: symmetry: 7749
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 8110
lola: goal oriented search: 98
lola: symmetry: 7749
lola: reporting
lola: not produced: 4643
lola: state equation: 1
lola: find path: 8114
lola: goal oriented search: 98
lola: symmetry: 7753
lola: reporting
lola: not produced: 4639
lola: state equation: 1
lola: find path: 8116
lola: goal oriented search: 98
lola: symmetry: 7755
lola: reporting
lola: not produced: 4633
lola: state equation: 1
lola: find path: 8119
lola: goal oriented search: 98
lola: symmetry: 7758
lola: reporting
lola: not produced: 4633
lola: state equation: 1
lola: find path: 8119
lola: goal oriented search: 98
lola: symmetry: 7758
lola: reporting
lola: not produced: 4621
lola: state equation: 1
lola: find path: 8125
lola: goal oriented search: 98
lola: symmetry: 7764
lola: reporting
lola: not produced: 4621
lola: state equation: 1
lola: find path: 8125
lola: goal oriented search: 98
lola: symmetry: 7764
lola: reporting
lola: not produced: 4607
lola: state equation: 1
lola: find path: 8132
lola: goal oriented search: 98
lola: symmetry: 7771
lola: reporting
lola: not produced: 4607
lola: state equation: 1
lola: find path: 8132
lola: goal oriented search: 98
lola: symmetry: 7771
lola: reporting
lola: not produced: 4607
lola: state equation: 1
lola: find path: 8132
lola: goal oriented search: 98
lola: symmetry: 7771
lola: reporting
lola: not produced: 4607
lola: state equation: 1
lola: find path: 8132
lola: goal oriented search: 98
lola: symmetry: 7771
lola: reporting
lola: not produced: 4607
lola: state equation: 1
lola: find path: 8132
lola: goal oriented search: 98
lola: symmetry: 7771
lola: reporting
lola: not produced: 4603
lola: state equation: 1
lola: find path: 8134
lola: goal oriented search: 98
lola: symmetry: 7773
lola: reporting
lola: not produced: 4599
lola: state equation: 1
lola: find path: 8136
lola: goal oriented search: 98
lola: symmetry: 7775
lola: reporting
lola: not produced: 4591
lola: state equation: 1
lola: find path: 8140
lola: goal oriented search: 98
lola: symmetry: 7779
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 8142
lola: goal oriented search: 98
lola: symmetry: 7781
lola: reporting
lola: not produced: 4579
lola: state equation: 1
lola: find path: 8146
lola: goal oriented search: 98
lola: symmetry: 7785
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 8150
lola: goal oriented search: 98
lola: symmetry: 7789
lola: reporting
lola: not produced: 4563
lola: state equation: 1
lola: find path: 8154
lola: goal oriented search: 98
lola: symmetry: 7793
lola: reporting
lola: not produced: 4559
lola: state equation: 1
lola: find path: 8156
lola: goal oriented search: 98
lola: symmetry: 7795
lola: reporting
lola: not produced: 4559
lola: state equation: 1
lola: find path: 8156
lola: goal oriented search: 98
lola: symmetry: 7795
lola: reporting
lola: not produced: 4559
lola: state equation: 1
lola: find path: 8156
lola: goal oriented search: 98
lola: symmetry: 7795
lola: reporting
lola: not produced: 4555
lola: state equation: 1
lola: find path: 8158
lola: goal oriented search: 98
lola: symmetry: 7797
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4547
lola: state equation: 1
lola: find path: 8162
lola: goal oriented search: 98
lola: symmetry: 7801
lola: reporting
lola: not produced: 4539
lola: state equation: 1
lola: find path: 8166
lola: goal oriented search: 98
lola: symmetry: 7805
lola: reporting
lola: not produced: 4539
lola: state equation: 1
lola: find path: 8166
lola: goal oriented search: 98
lola: symmetry: 7805
lola: reporting
lola: not produced: 4535
lola: state equation: 1
lola: find path: 8168
lola: goal oriented search: 98
lola: symmetry: 7807
lola: reporting
lola: not produced: 4535
lola: state equation: 1
lola: find path: 8168
lola: goal oriented search: 98
lola: symmetry: 7807
lola: reporting
lola: not produced: 4531
lola: state equation: 1
lola: find path: 8170
lola: goal oriented search: 98
lola: symmetry: 7809
lola: reporting
lola: not produced: 4531
lola: state equation: 1
lola: find path: 8170
lola: goal oriented search: 98
lola: symmetry: 7809
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 8171
lola: goal oriented search: 98
lola: symmetry: 7810
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 98
lola: symmetry: 7816
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 98
lola: symmetry: 7816
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 98
lola: symmetry: 7816
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 98
lola: symmetry: 7816
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 8177
lola: goal oriented search: 98
lola: symmetry: 7816
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 8179
lola: goal oriented search: 98
lola: symmetry: 7818
lola: reporting
lola: not produced: 4509
lola: state equation: 1
lola: find path: 8181
lola: goal oriented search: 98
lola: symmetry: 7820
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 8183
lola: goal oriented search: 98
lola: symmetry: 7822
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 8183
lola: goal oriented search: 98
lola: symmetry: 7822
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 8183
lola: goal oriented search: 98
lola: symmetry: 7822
lola: reporting
lola: not produced: 4501
lola: state equation: 1
lola: find path: 8185
lola: goal oriented search: 98
lola: symmetry: 7824
lola: reporting
lola: not produced: 4501
lola: state equation: 1
lola: find path: 8185
lola: goal oriented search: 98
lola: symmetry: 7824
lola: reporting
lola: not produced: 4497
lola: state equation: 1
lola: find path: 8187
lola: goal oriented search: 98
lola: symmetry: 7826
lola: reporting
lola: not produced: 4497
lola: state equation: 1
lola: find path: 8187
lola: goal oriented search: 98
lola: symmetry: 7826
lola: reporting
lola: not produced: 4497
lola: state equation: 1
lola: find path: 8187
lola: goal oriented search: 98
lola: symmetry: 7826
lola: reporting
lola: not produced: 4489
lola: state equation: 1
lola: find path: 8191
lola: goal oriented search: 98
lola: symmetry: 7830
lola: reporting
lola: not produced: 4489
lola: state equation: 1
lola: find path: 8191
lola: goal oriented search: 98
lola: symmetry: 7830
lola: reporting
lola: not produced: 4489
lola: state equation: 1
lola: find path: 8191
lola: goal oriented search: 98
lola: symmetry: 7830
lola: reporting
lola: not produced: 4489
lola: state equation: 1
lola: find path: 8191
lola: goal oriented search: 98
lola: symmetry: 7830
lola: reporting
lola: not produced: 4489
lola: state equation: 1
lola: find path: 8191
lola: goal oriented search: 98
lola: symmetry: 7830
lola: reporting
lola: not produced: 4485
lola: state equation: 1
lola: find path: 8193
lola: goal oriented search: 98
lola: symmetry: 7832
lola: reporting
lola: not produced: 4485
lola: state equation: 1
lola: find path: 8193
lola: goal oriented search: 98
lola: symmetry: 7832
lola: reporting
lola: not produced: 4483
lola: state equation: 1
lola: find path: 8194
lola: goal oriented search: 98
lola: symmetry: 7833
lola: reporting
lola: not produced: 4483
lola: state equation: 1
lola: find path: 8194
lola: goal oriented search: 98
lola: symmetry: 7833
lola: reporting
lola: not produced: 4483
lola: state equation: 1
lola: find path: 8194
lola: goal oriented search: 98
lola: symmetry: 7833
lola: reporting
lola: not produced: 4475
lola: state equation: 1
lola: find path: 8198
lola: goal oriented search: 98
lola: symmetry: 7837
lola: reporting
lola: not produced: 4465
lola: state equation: 1
lola: find path: 8203
lola: goal oriented search: 98
lola: symmetry: 7842
lola: reporting
lola: not produced: 4465
lola: state equation: 1
lola: find path: 8203
lola: goal oriented search: 98
lola: symmetry: 7842
lola: reporting
lola: not produced: 4465
lola: state equation: 1
lola: find path: 8203
lola: goal oriented search: 98
lola: symmetry: 7842
lola: reporting
lola: not produced: 4457
lola: state equation: 1
lola: find path: 8207
lola: goal oriented search: 98
lola: symmetry: 7846
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4453
lola: state equation: 1
lola: find path: 8209
lola: goal oriented search: 98
lola: symmetry: 7848
lola: reporting
lola: not produced: 4453
lola: state equation: 1
lola: find path: 8209
lola: goal oriented search: 98
lola: symmetry: 7848
lola: reporting
lola: not produced: 4453
lola: state equation: 1
lola: find path: 8209
lola: goal oriented search: 98
lola: symmetry: 7848
lola: reporting
lola: not produced: 4453
lola: state equation: 1
lola: find path: 8209
lola: goal oriented search: 98
lola: symmetry: 7848
lola: reporting
lola: not produced: 4453
lola: state equation: 1
lola: find path: 8209
lola: goal oriented search: 98
lola: symmetry: 7848
lola: reporting
lola: not produced: 4447
lola: state equation: 1
lola: find path: 8212
lola: goal oriented search: 98
lola: symmetry: 7851
lola: reporting
lola: not produced: 4447
lola: state equation: 1
lola: find path: 8212
lola: goal oriented search: 98
lola: symmetry: 7851
lola: reporting
lola: not produced: 4443
lola: state equation: 1
lola: find path: 8214
lola: goal oriented search: 98
lola: symmetry: 7853
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 8216
lola: goal oriented search: 98
lola: symmetry: 7855
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 8216
lola: goal oriented search: 98
lola: symmetry: 7855
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 8216
lola: goal oriented search: 98
lola: symmetry: 7855
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 8216
lola: goal oriented search: 98
lola: symmetry: 7855
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 8218
lola: goal oriented search: 98
lola: symmetry: 7857
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 8218
lola: goal oriented search: 98
lola: symmetry: 7857
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 8218
lola: goal oriented search: 98
lola: symmetry: 7857
lola: reporting
lola: not produced: 4431
lola: state equation: 1
lola: find path: 8220
lola: goal oriented search: 98
lola: symmetry: 7859
lola: reporting
lola: not produced: 4431
lola: state equation: 1
lola: find path: 8220
lola: goal oriented search: 98
lola: symmetry: 7859
lola: reporting
lola: not produced: 4431
lola: state equation: 1
lola: find path: 8220
lola: goal oriented search: 98
lola: symmetry: 7859
lola: reporting
lola: not produced: 4431
lola: state equation: 1
lola: find path: 8220
lola: goal oriented search: 98
lola: symmetry: 7859
lola: reporting
lola: not produced: 4427
lola: state equation: 1
lola: find path: 8222
lola: goal oriented search: 98
lola: symmetry: 7861
lola: reporting
lola: not produced: 4427
lola: state equation: 1
lola: find path: 8222
lola: goal oriented search: 98
lola: symmetry: 7861
lola: reporting
lola: not produced: 4427
lola: state equation: 1
lola: find path: 8222
lola: goal oriented search: 98
lola: symmetry: 7861
lola: reporting
lola: not produced: 4427
lola: state equation: 1
lola: find path: 8222
lola: goal oriented search: 98
lola: symmetry: 7861
lola: reporting
lola: not produced: 4423
lola: state equation: 1
lola: find path: 8224
lola: goal oriented search: 98
lola: symmetry: 7863
lola: reporting
lola: not produced: 4423
lola: state equation: 1
lola: find path: 8224
lola: goal oriented search: 98
lola: symmetry: 7863
lola: reporting
lola: not produced: 4423
lola: state equation: 1
lola: find path: 8224
lola: goal oriented search: 98
lola: symmetry: 7863
lola: reporting
lola: not produced: 4415
lola: state equation: 1
lola: find path: 8228
lola: goal oriented search: 98
lola: symmetry: 7867
lola: reporting
lola: not produced: 4415
lola: state equation: 1
lola: find path: 8228
lola: goal oriented search: 98
lola: symmetry: 7867
lola: reporting
lola: not produced: 4411
lola: state equation: 1
lola: find path: 8230
lola: goal oriented search: 98
lola: symmetry: 7869
lola: reporting
lola: not produced: 4411
lola: state equation: 1
lola: find path: 8230
lola: goal oriented search: 98
lola: symmetry: 7869
lola: reporting
lola: not produced: 4411
lola: state equation: 1
lola: find path: 8230
lola: goal oriented search: 98
lola: symmetry: 7869
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfRx11ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToLx11ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node6ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node5HasTheLeafSetOfLx11ToReplaceNode10
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfRx11ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToLx10ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx9ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx11ToReplaceNode3
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx11ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToRx11ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node23ThinksNode3ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx9ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node22ThinksNode18ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx10ToReplaceNode7
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node18ThinksNode16ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node21ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToLx11ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToLx11ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node8HasAskedItsLeafSetToRx10ToReplaceNode23
lola: STATE EQUATION TRIES PLACE Node22ThinksNode4ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node21HasTheLeafSetOfLx11ToReplaceNode9
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node16HasAskedItsLeafSetToRx11ToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node23ThinksNode19ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node4ThinksNode15ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx11ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node23ThinksNode21ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node3HasTheLeafSetOfRx10ToReplaceNode18
lola: reporting
lola: not produced: 4407
lola: state equation: 1
lola: find path: 8232
lola: goal oriented search: 98
lola: symmetry: 7871
lola: STATE EQUATION TRIES PLACE Node9HasAskedItsLeafSetToRx9ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node20ThinksNode5ShouldBeNodeMasterToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node24ThinksNode17ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node18HasAskedItsLeafSetToRx11ToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node15HasTheLeafSetOfRx11ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node9HasAskedItsLeafSetToRx11ToReplaceNode13
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfLx11ToReplaceNode11
lola: reporting
lola: not produced: 4397
lola: state equation: 1
lola: find path: 8237
lola: goal oriented search: 98
lola: symmetry: 7876
lola: STATE EQUATION TRIES PLACE Node20HasTheLeafSetOfLx11ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx10ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfLx11ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node22ThinksNode7ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfRx11ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node20ThinksNode5ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node0HasTheLeafSetOfLx10ToReplaceNode12
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node2ThinksNode5ShouldBeNodeMasterToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToLx10ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node23ThinksNode20ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node4ThinksNode17ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node0HasTheLeafSetOfLx9ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToRx11ToReplaceNode15
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node21HasAskedItsLeafSetToLx11ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node12HasTheLeafSetOfLx11ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToLx9ToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node15HasAskedItsLeafSetToLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node24HasTheLeafSetOfLx11ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node23ThinksNode21ShouldBeNodeMasterToReplaceNode20
lola: STATE EQUATION TRIES PLACE Node0ThinksNode6ShouldBeNodeMasterToReplaceNode18
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx11ToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToRx11ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node13HasAskedItsLeafSetToRx11ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node21ThinksNode4ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node3ThinksNode17ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node2ThinksNode21ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node2HasTheLeafSetOfRx11ToReplaceNode21
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node14HasTheLeafSetOfRx11ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node1ThinksNode2ShouldBeNodeMasterToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node22ThinksNode17ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node19HasAskedItsLeafSetToLx11ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node1ThinksNode6ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToRx11ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfRx10ToReplaceNode12
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node18HasTheLeafSetOfLx10ToReplaceNode3
lola: STATE EQUATION TRIES PLACE Node19ThinksNode6ShouldBeNodeMasterToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node4HasAskedItsLeafSetToRx10ToReplaceNode22
lola: STATE EQUATION TRIES PLACE Node5ThinksNode6ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node0ThinksNode7ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx10ToReplaceNode12
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node23ThinksNode22ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node21ThinksNode6ShouldBeNodeMasterToReplaceNode16
lola: STATE EQUATION TRIES PLACE Node23HasAskedItsLeafSetToRx10ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node14HasAskedItsLeafSetToRx10ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx10ToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node19HasTheLeafSetOfRx11ToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node6HasAskedItsLeafSetToRx10ToReplaceNode20
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 8238
lola: goal oriented search: 98
lola: symmetry: 7877
lola: STATE EQUATION TRIES PLACE Node7HasAskedItsLeafSetToRx11ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx10ToReplaceNode6
lola: STATE EQUATION TRIES PLACE Node22ThinksNode3ShouldBeNodeMasterToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx11ToReplaceNode2
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToRx11ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node2HasAskedItsLeafSetToLx9ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node11HasAskedItsLeafSetToLx10ToReplaceNode8
lola: reporting
lola: not produced: 4391
lola: state equation: 1
lola: find path: 8240
lola: goal oriented search: 98
lola: symmetry: 7879
lola: STATE EQUATION TRIES PLACE Node3HasAskedItsLeafSetToLx9ToReplaceNode7
lola: STATE EQUATION TRIES PLACE Node24ThinksNode23ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node17HasTheLeafSetOfLx11ToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfRx11ToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node17HasAskedItsLeafSetToRx11ToReplaceNode19
lola: STATE EQUATION TRIES PLACE Node10HasAskedItsLeafSetToLx9ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node16HasTheLeafSetOfLx11ToReplaceNode0
lola: reporting
lola: not produced: 4383
lola: state equation: 1
lola: find path: 8244
lola: goal oriented search: 98
lola: symmetry: 7883
lola: STATE EQUATION TRIES PLACE Node9HasTheLeafSetOfLx10ToReplaceNode5
lola: STATE EQUATION TRIES PLACE Node9HasAskedItsLeafSetToLx10ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node22ThinksNode21ShouldBeNodeMasterToReplaceNode4
lola: STATE EQUATION TRIES PLACE Node0ThinksNode19ShouldBeNodeMasterToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node5ThinksNode6ShouldBeNodeMasterToReplaceNode9
lola: STATE EQUATION TRIES PLACE Node9HasAskedItsLeafSetToLx11ToReplaceNode10
lola: STATE EQUATION TRIES PLACE Node23ThinksNode7ShouldBeNodeMasterToReplaceNode17
lola: reporting
lola: not produced: 4381
lola: state equation: 1
lola: find path: 8245
lola: goal oriented search: 98
lola: symmetry: 7884
lola: STATE EQUATION TRIES PLACE Node21ThinksNode18ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node11HasTheLeafSetOfLx10ToReplaceNode1
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfRx11ToReplaceNode21
lola: STATE EQUATION TRIES PLACE Node22ThinksNode4ShouldBeNodeMasterToReplaceNode12
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToRx11ToReplaceNode15
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfLx11ToReplaceNode9
lola: reporting
lola: not produced: 4381
lola: state equation: 1
lola: find path: 8245
lola: goal oriented search: 98
lola: symmetry: 7884
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToLx11ToReplaceNode11
lola: STATE EQUATION TRIES PLACE Node1ThinksNode2ShouldBeNodeMasterToReplaceNode8
lola: STATE EQUATION TRIES PLACE Node1HasTheLeafSetOfRx11ToReplaceNode18
lola: STATE EQUATION TRIES PLACE Node10HasTheLeafSetOfRx11ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node3ThinksNode20ShouldBeNodeMasterToReplaceNode17
lola: STATE EQUATION TRIES PLACE Node1ThinksNode7ShouldBeNodeMasterToReplaceNode14
lola: STATE EQUATION TRIES PLACE Node2ThinksNode3ShouldBeNodeMasterToReplaceNode20
lola: reporting
lola: not produced: 4381
lola: state equation: 1
lola: find path: 8245
lola: goal oriented search: 98
lola: symmetry: 7884
lola: STATE EQUATION TRIES PLACE Node12HasAskedItsLeafSetToRx11ToReplaceNode24
lola: STATE EQUATION TRIES PLACE Node1HasAskedItsLeafSetToRx11ToReplaceNode14
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-S24C12"
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-S24C12, 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-162124162700443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S24C12.tgz
mv MultiCrashLeafsetExtension-PT-S24C12 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 ;