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 |
| 12916.491 | 1800000.00 | 7066279.00 | 472.30 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r244-tall-167856432000553.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lola
Input is MultiCrashLeafsetExtension-PT-S24C12, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r244-tall-167856432000553
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 20M
-rw-r--r-- 1 mcc users 9.6K Feb 26 03:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 26 03:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 03:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 03:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 03:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 03:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 20K Feb 26 03:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 26 03:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 20M Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
FORMULA_NAME StableMarking
=== Now, execution of the tool begins
BK_START 1678700285171
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lola
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C12
Not applying reductions.
Model is PT
StableMarking PT
starting LoLA
BK_INPUT MultiCrashLeafsetExtension-PT-S24C12
BK_EXAMINATION: StableMarking
bin directory: /home/mcc/BenchKit/bin//../lola/bin/
current directory: /home/mcc/execution
GlobalProperty: StableMarking
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 3317676 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16189232 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
lola: MEM LIMIT 32
lola: MEM LIMIT 5
lola: NET
lola: input: PNML file (--pnmlnet)
lola: reading net from /home/mcc/execution/model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file /home/mcc/execution/model.pnml
lola: STATE EQUATION TRIES PLACE 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: LAUNCH SYMM
lola: reporting
lola: not produced: 13325
lola: find path: 3228
lola: goal oriented search: 565
lola: symmetry: 3491
lola: reporting
lola: not produced: 11313
lola: find path: 4234
lola: goal oriented search: 565
lola: symmetry: 4497
lola: reporting
lola: not produced: 9583
lola: find path: 5099
lola: goal oriented search: 565
lola: symmetry: 5362
lola: reporting
lola: not produced: 8809
lola: find path: 5486
lola: goal oriented search: 565
lola: symmetry: 5749
lola: reporting
lola: not produced: 8183
lola: find path: 5800
lola: goal oriented search: 565
lola: symmetry: 6061
lola: reporting
lola: not produced: 7837
lola: find path: 5973
lola: goal oriented search: 565
lola: symmetry: 6234
lola: reporting
lola: not produced: 7601
lola: find path: 6091
lola: goal oriented search: 565
lola: symmetry: 6352
lola: reporting
lola: not produced: 7295
lola: find path: 6244
lola: goal oriented search: 565
lola: symmetry: 6505
lola: reporting
lola: not produced: 7045
lola: find path: 6369
lola: goal oriented search: 565
lola: symmetry: 6630
lola: reporting
lola: not produced: 6923
lola: find path: 6430
lola: goal oriented search: 565
lola: symmetry: 6691
lola: reporting
lola: not produced: 6795
lola: find path: 6494
lola: goal oriented search: 565
lola: symmetry: 6755
lola: reporting
lola: not produced: 6683
lola: find path: 6550
lola: goal oriented search: 565
lola: symmetry: 6811
lola: reporting
lola: not produced: 6591
lola: find path: 6596
lola: goal oriented search: 565
lola: symmetry: 6857
lola: reporting
lola: not produced: 6507
lola: find path: 6638
lola: goal oriented search: 565
lola: symmetry: 6899
lola: reporting
lola: not produced: 6437
lola: find path: 6673
lola: goal oriented search: 565
lola: symmetry: 6934
lola: reporting
lola: not produced: 6367
lola: find path: 6708
lola: goal oriented search: 565
lola: symmetry: 6969
lola: reporting
lola: not produced: 6305
lola: find path: 6739
lola: goal oriented search: 565
lola: symmetry: 7000
lola: reporting
lola: not produced: 6251
lola: find path: 6766
lola: goal oriented search: 565
lola: symmetry: 7027
lola: reporting
lola: not produced: 6185
lola: find path: 6799
lola: goal oriented search: 565
lola: symmetry: 7060
lola: reporting
lola: not produced: 6107
lola: find path: 6838
lola: goal oriented search: 565
lola: symmetry: 7099
lola: reporting
lola: not produced: 6051
lola: find path: 6866
lola: goal oriented search: 565
lola: symmetry: 7127
lola: reporting
lola: not produced: 6019
lola: find path: 6882
lola: goal oriented search: 565
lola: symmetry: 7143
lola: reporting
lola: not produced: 5975
lola: find path: 6904
lola: goal oriented search: 565
lola: symmetry: 7165
lola: reporting
lola: not produced: 5927
lola: find path: 6928
lola: goal oriented search: 565
lola: symmetry: 7189
lola: reporting
lola: not produced: 5891
lola: find path: 6946
lola: goal oriented search: 565
lola: symmetry: 7207
lola: reporting
lola: not produced: 5849
lola: find path: 6967
lola: goal oriented search: 565
lola: symmetry: 7228
lola: reporting
lola: not produced: 5833
lola: find path: 6975
lola: goal oriented search: 565
lola: symmetry: 7236
lola: reporting
lola: not produced: 5817
lola: find path: 6983
lola: goal oriented search: 565
lola: symmetry: 7244
lola: reporting
lola: not produced: 5767
lola: find path: 7008
lola: goal oriented search: 565
lola: symmetry: 7269
lola: reporting
lola: not produced: 5727
lola: find path: 7028
lola: goal oriented search: 565
lola: symmetry: 7289
lola: reporting
lola: not produced: 5705
lola: find path: 7039
lola: goal oriented search: 565
lola: symmetry: 7300
lola: reporting
lola: not produced: 5671
lola: find path: 7056
lola: goal oriented search: 565
lola: symmetry: 7317
lola: reporting
lola: not produced: 5647
lola: find path: 7068
lola: goal oriented search: 565
lola: symmetry: 7329
lola: reporting
lola: not produced: 5629
lola: find path: 7077
lola: goal oriented search: 565
lola: symmetry: 7338
lola: reporting
lola: not produced: 5615
lola: find path: 7084
lola: goal oriented search: 565
lola: symmetry: 7345
lola: reporting
lola: not produced: 5607
lola: find path: 7088
lola: goal oriented search: 565
lola: symmetry: 7349
lola: reporting
lola: not produced: 5591
lola: find path: 7096
lola: goal oriented search: 565
lola: symmetry: 7357
lola: reporting
lola: not produced: 5575
lola: find path: 7104
lola: goal oriented search: 565
lola: symmetry: 7365
lola: reporting
lola: not produced: 5545
lola: find path: 7119
lola: goal oriented search: 565
lola: symmetry: 7380
lola: reporting
lola: not produced: 5537
lola: find path: 7123
lola: goal oriented search: 565
lola: symmetry: 7384
lola: reporting
lola: not produced: 5489
lola: find path: 7147
lola: goal oriented search: 565
lola: symmetry: 7408
lola: reporting
lola: not produced: 5473
lola: find path: 7155
lola: goal oriented search: 565
lola: symmetry: 7416
lola: reporting
lola: not produced: 5465
lola: find path: 7159
lola: goal oriented search: 565
lola: symmetry: 7420
lola: reporting
lola: not produced: 5443
lola: find path: 7170
lola: goal oriented search: 565
lola: symmetry: 7431
lola: reporting
lola: not produced: 5435
lola: find path: 7174
lola: goal oriented search: 565
lola: symmetry: 7435
lola: reporting
lola: not produced: 5423
lola: find path: 7180
lola: goal oriented search: 565
lola: symmetry: 7441
lola: reporting
lola: not produced: 5407
lola: find path: 7188
lola: goal oriented search: 565
lola: symmetry: 7449
lola: reporting
lola: not produced: 5391
lola: find path: 7196
lola: goal oriented search: 565
lola: symmetry: 7457
lola: reporting
lola: not produced: 5367
lola: find path: 7208
lola: goal oriented search: 565
lola: symmetry: 7469
lola: reporting
lola: not produced: 5351
lola: find path: 7216
lola: goal oriented search: 565
lola: symmetry: 7477
lola: reporting
lola: not produced: 5335
lola: find path: 7224
lola: goal oriented search: 565
lola: symmetry: 7485
lola: reporting
lola: not produced: 5323
lola: find path: 7230
lola: goal oriented search: 565
lola: symmetry: 7491
lola: reporting
lola: not produced: 5309
lola: find path: 7237
lola: goal oriented search: 565
lola: symmetry: 7498
lola: reporting
lola: not produced: 5293
lola: find path: 7245
lola: goal oriented search: 565
lola: symmetry: 7506
lola: reporting
lola: not produced: 5279
lola: find path: 7252
lola: goal oriented search: 565
lola: symmetry: 7513
lola: reporting
lola: not produced: 5271
lola: find path: 7256
lola: goal oriented search: 565
lola: symmetry: 7517
lola: reporting
lola: not produced: 5257
lola: find path: 7263
lola: goal oriented search: 565
lola: symmetry: 7524
lola: reporting
lola: not produced: 5249
lola: find path: 7267
lola: goal oriented search: 565
lola: symmetry: 7528
lola: reporting
lola: not produced: 5237
lola: find path: 7273
lola: goal oriented search: 565
lola: symmetry: 7534
lola: reporting
lola: not produced: 5225
lola: find path: 7279
lola: goal oriented search: 565
lola: symmetry: 7540
lola: reporting
lola: not produced: 5203
lola: find path: 7290
lola: goal oriented search: 565
lola: symmetry: 7551
lola: reporting
lola: not produced: 5187
lola: find path: 7298
lola: goal oriented search: 565
lola: symmetry: 7559
lola: reporting
lola: not produced: 5173
lola: find path: 7305
lola: goal oriented search: 565
lola: symmetry: 7566
lola: reporting
lola: not produced: 5157
lola: find path: 7313
lola: goal oriented search: 565
lola: symmetry: 7574
lola: reporting
lola: not produced: 5147
lola: find path: 7318
lola: goal oriented search: 565
lola: symmetry: 7579
lola: reporting
lola: not produced: 5133
lola: find path: 7325
lola: goal oriented search: 565
lola: symmetry: 7586
lola: reporting
lola: not produced: 5121
lola: find path: 7331
lola: goal oriented search: 565
lola: symmetry: 7592
lola: reporting
lola: not produced: 5105
lola: find path: 7339
lola: goal oriented search: 565
lola: symmetry: 7600
lola: reporting
lola: not produced: 5103
lola: find path: 7340
lola: goal oriented search: 565
lola: symmetry: 7601
lola: reporting
lola: not produced: 5089
lola: find path: 7347
lola: goal oriented search: 565
lola: symmetry: 7608
lola: reporting
lola: not produced: 5085
lola: find path: 7349
lola: goal oriented search: 565
lola: symmetry: 7610
lola: reporting
lola: not produced: 5069
lola: find path: 7357
lola: goal oriented search: 565
lola: symmetry: 7618
lola: reporting
lola: not produced: 5051
lola: find path: 7366
lola: goal oriented search: 565
lola: symmetry: 7627
lola: reporting
lola: not produced: 5041
lola: find path: 7371
lola: goal oriented search: 565
lola: symmetry: 7632
lola: reporting
lola: not produced: 5025
lola: find path: 7379
lola: goal oriented search: 565
lola: symmetry: 7640
lola: reporting
lola: not produced: 5025
lola: find path: 7379
lola: goal oriented search: 565
lola: symmetry: 7640
lola: reporting
lola: not produced: 5021
lola: find path: 7381
lola: goal oriented search: 565
lola: symmetry: 7642
lola: reporting
lola: not produced: 5017
lola: find path: 7383
lola: goal oriented search: 565
lola: symmetry: 7644
lola: reporting
lola: not produced: 5009
lola: find path: 7387
lola: goal oriented search: 565
lola: symmetry: 7648
lola: reporting
lola: not produced: 4993
lola: find path: 7395
lola: goal oriented search: 565
lola: symmetry: 7656
lola: reporting
lola: not produced: 4989
lola: find path: 7397
lola: goal oriented search: 565
lola: symmetry: 7658
lola: reporting
lola: not produced: 4985
lola: find path: 7399
lola: goal oriented search: 565
lola: symmetry: 7660
lola: reporting
lola: not produced: 4975
lola: find path: 7404
lola: goal oriented search: 565
lola: symmetry: 7665
lola: reporting
lola: not produced: 4971
lola: find path: 7406
lola: goal oriented search: 565
lola: symmetry: 7667
lola: reporting
lola: not produced: 4967
lola: find path: 7408
lola: goal oriented search: 565
lola: symmetry: 7669
lola: reporting
lola: not produced: 4961
lola: find path: 7411
lola: goal oriented search: 565
lola: symmetry: 7672
lola: reporting
lola: not produced: 4957
lola: find path: 7413
lola: goal oriented search: 565
lola: symmetry: 7674
lola: reporting
lola: not produced: 4947
lola: find path: 7418
lola: goal oriented search: 565
lola: symmetry: 7679
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4939
lola: find path: 7422
lola: goal oriented search: 565
lola: symmetry: 7683
lola: reporting
lola: not produced: 4931
lola: find path: 7426
lola: goal oriented search: 565
lola: symmetry: 7687
lola: reporting
lola: not produced: 4931
lola: find path: 7426
lola: goal oriented search: 565
lola: symmetry: 7687
lola: reporting
lola: not produced: 4931
lola: find path: 7426
lola: goal oriented search: 565
lola: symmetry: 7687
lola: reporting
lola: not produced: 4929
lola: find path: 7427
lola: goal oriented search: 565
lola: symmetry: 7688
lola: reporting
lola: not produced: 4917
lola: find path: 7433
lola: goal oriented search: 565
lola: symmetry: 7694
lola: reporting
lola: not produced: 4905
lola: find path: 7439
lola: goal oriented search: 565
lola: symmetry: 7700
lola: reporting
lola: not produced: 4905
lola: find path: 7439
lola: goal oriented search: 565
lola: symmetry: 7700
lola: reporting
lola: not produced: 4905
lola: find path: 7439
lola: goal oriented search: 565
lola: symmetry: 7700
lola: reporting
lola: not produced: 4905
lola: find path: 7439
lola: goal oriented search: 565
lola: symmetry: 7700
lola: reporting
lola: not produced: 4901
lola: find path: 7441
lola: goal oriented search: 565
lola: symmetry: 7702
lola: reporting
lola: not produced: 4897
lola: find path: 7443
lola: goal oriented search: 565
lola: symmetry: 7704
lola: reporting
lola: not produced: 4889
lola: find path: 7447
lola: goal oriented search: 565
lola: symmetry: 7708
lola: reporting
lola: not produced: 4887
lola: find path: 7448
lola: goal oriented search: 565
lola: symmetry: 7709
lola: reporting
lola: not produced: 4875
lola: find path: 7454
lola: goal oriented search: 565
lola: symmetry: 7715
lola: reporting
lola: not produced: 4865
lola: find path: 7459
lola: goal oriented search: 565
lola: symmetry: 7720
lola: reporting
lola: not produced: 4865
lola: find path: 7459
lola: goal oriented search: 565
lola: symmetry: 7720
lola: reporting
lola: not produced: 4859
lola: find path: 7462
lola: goal oriented search: 565
lola: symmetry: 7723
lola: reporting
lola: not produced: 4859
lola: find path: 7462
lola: goal oriented search: 565
lola: symmetry: 7723
lola: reporting
lola: not produced: 4859
lola: find path: 7462
lola: goal oriented search: 565
lola: symmetry: 7723
lola: reporting
lola: not produced: 4859
lola: find path: 7462
lola: goal oriented search: 565
lola: symmetry: 7723
lola: reporting
lola: not produced: 4851
lola: find path: 7466
lola: goal oriented search: 565
lola: symmetry: 7727
lola: STATE EQUATION TRIES PLACE Node4ThinksNode18ShouldBeNodeMasterToReplaceNode16
sara: try reading problem file stateEquationProblem-ConstantPlace-6823.sara.
lola: reporting
lola: not produced: 4847
lola: state equation: 1
lola: find path: 7467
lola: goal oriented search: 565
lola: symmetry: 7729
lola: reporting
lola: not produced: 4843
lola: state equation: 1
lola: find path: 7469
lola: goal oriented search: 565
lola: symmetry: 7731
lola: reporting
lola: not produced: 4829
lola: state equation: 1
lola: find path: 7476
lola: goal oriented search: 565
lola: symmetry: 7738
lola: reporting
lola: not produced: 4829
lola: state equation: 1
lola: find path: 7476
lola: goal oriented search: 565
lola: symmetry: 7738
lola: reporting
lola: not produced: 4825
lola: state equation: 1
lola: find path: 7478
lola: goal oriented search: 565
lola: symmetry: 7740
lola: reporting
lola: not produced: 4821
lola: state equation: 1
lola: find path: 7480
lola: goal oriented search: 565
lola: symmetry: 7742
lola: reporting
lola: not produced: 4821
lola: state equation: 1
lola: find path: 7480
lola: goal oriented search: 565
lola: symmetry: 7742
lola: reporting
lola: not produced: 4817
lola: state equation: 1
lola: find path: 7482
lola: goal oriented search: 565
lola: symmetry: 7744
lola: reporting
lola: not produced: 4817
lola: state equation: 1
lola: find path: 7482
lola: goal oriented search: 565
lola: symmetry: 7744
lola: reporting
lola: not produced: 4817
lola: state equation: 1
lola: find path: 7482
lola: goal oriented search: 565
lola: symmetry: 7744
lola: reporting
lola: not produced: 4811
lola: state equation: 1
lola: find path: 7485
lola: goal oriented search: 565
lola: symmetry: 7747
lola: reporting
lola: not produced: 4807
lola: state equation: 1
lola: find path: 7487
lola: goal oriented search: 565
lola: symmetry: 7749
lola: reporting
lola: not produced: 4803
lola: state equation: 1
lola: find path: 7489
lola: goal oriented search: 565
lola: symmetry: 7751
lola: reporting
lola: not produced: 4799
lola: state equation: 1
lola: find path: 7491
lola: goal oriented search: 565
lola: symmetry: 7753
lola: reporting
lola: not produced: 4795
lola: state equation: 1
lola: find path: 7493
lola: goal oriented search: 565
lola: symmetry: 7755
lola: reporting
lola: not produced: 4795
lola: state equation: 1
lola: find path: 7493
lola: goal oriented search: 565
lola: symmetry: 7755
lola: reporting
lola: not produced: 4795
lola: state equation: 1
lola: find path: 7493
lola: goal oriented search: 565
lola: symmetry: 7755
lola: reporting
lola: not produced: 4781
lola: state equation: 1
lola: find path: 7500
lola: goal oriented search: 565
lola: symmetry: 7762
lola: reporting
lola: not produced: 4773
lola: state equation: 1
lola: find path: 7504
lola: goal oriented search: 565
lola: symmetry: 7766
lola: reporting
lola: not produced: 4773
lola: state equation: 1
lola: find path: 7504
lola: goal oriented search: 565
lola: symmetry: 7766
lola: reporting
lola: not produced: 4773
lola: state equation: 1
lola: find path: 7504
lola: goal oriented search: 565
lola: symmetry: 7766
lola: reporting
lola: not produced: 4757
lola: state equation: 1
lola: find path: 7512
lola: goal oriented search: 565
lola: symmetry: 7774
lola: reporting
lola: not produced: 4757
lola: state equation: 1
lola: find path: 7512
lola: goal oriented search: 565
lola: symmetry: 7774
lola: reporting
lola: not produced: 4749
lola: state equation: 1
lola: find path: 7516
lola: goal oriented search: 565
lola: symmetry: 7778
lola: reporting
lola: not produced: 4745
lola: state equation: 1
lola: find path: 7518
lola: goal oriented search: 565
lola: symmetry: 7780
lola: reporting
lola: not produced: 4741
lola: state equation: 1
lola: find path: 7520
lola: goal oriented search: 565
lola: symmetry: 7782
lola: reporting
lola: not produced: 4733
lola: state equation: 1
lola: find path: 7524
lola: goal oriented search: 565
lola: symmetry: 7786
lola: reporting
lola: not produced: 4733
lola: state equation: 1
lola: find path: 7524
lola: goal oriented search: 565
lola: symmetry: 7786
lola: reporting
lola: not produced: 4725
lola: state equation: 1
lola: find path: 7528
lola: goal oriented search: 565
lola: symmetry: 7790
lola: reporting
lola: not produced: 4725
lola: state equation: 1
lola: find path: 7528
lola: goal oriented search: 565
lola: symmetry: 7790
lola: reporting
lola: not produced: 4721
lola: state equation: 1
lola: find path: 7530
lola: goal oriented search: 565
lola: symmetry: 7792
lola: reporting
lola: not produced: 4719
lola: state equation: 1
lola: find path: 7531
lola: goal oriented search: 565
lola: symmetry: 7793
lola: reporting
lola: not produced: 4719
lola: state equation: 1
lola: find path: 7531
lola: goal oriented search: 565
lola: symmetry: 7793
lola: reporting
lola: not produced: 4719
lola: state equation: 1
lola: find path: 7531
lola: goal oriented search: 565
lola: symmetry: 7793
lola: reporting
lola: not produced: 4711
lola: state equation: 1
lola: find path: 7535
lola: goal oriented search: 565
lola: symmetry: 7797
lola: reporting
lola: not produced: 4703
lola: state equation: 1
lola: find path: 7539
lola: goal oriented search: 565
lola: symmetry: 7801
lola: reporting
lola: not produced: 4703
lola: state equation: 1
lola: find path: 7539
lola: goal oriented search: 565
lola: symmetry: 7801
lola: reporting
lola: not produced: 4701
lola: state equation: 1
lola: find path: 7540
lola: goal oriented search: 565
lola: symmetry: 7802
lola: reporting
lola: not produced: 4697
lola: state equation: 1
lola: find path: 7542
lola: goal oriented search: 565
lola: symmetry: 7804
lola: reporting
lola: not produced: 4697
lola: state equation: 1
lola: find path: 7542
lola: goal oriented search: 565
lola: symmetry: 7804
lola: reporting
lola: not produced: 4693
lola: state equation: 1
lola: find path: 7544
lola: goal oriented search: 565
lola: symmetry: 7806
lola: reporting
lola: not produced: 4693
lola: state equation: 1
lola: find path: 7544
lola: goal oriented search: 565
lola: symmetry: 7806
lola: reporting
lola: not produced: 4693
lola: state equation: 1
lola: find path: 7544
lola: goal oriented search: 565
lola: symmetry: 7806
lola: reporting
lola: not produced: 4685
lola: state equation: 1
lola: find path: 7548
lola: goal oriented search: 565
lola: symmetry: 7810
lola: reporting
lola: not produced: 4677
lola: state equation: 1
lola: find path: 7552
lola: goal oriented search: 565
lola: symmetry: 7814
lola: reporting
lola: not produced: 4675
lola: state equation: 1
lola: find path: 7553
lola: goal oriented search: 565
lola: symmetry: 7815
lola: reporting
lola: not produced: 4671
lola: state equation: 1
lola: find path: 7555
lola: goal oriented search: 565
lola: symmetry: 7817
lola: reporting
lola: not produced: 4663
lola: state equation: 1
lola: find path: 7559
lola: goal oriented search: 565
lola: symmetry: 7821
lola: reporting
lola: not produced: 4663
lola: state equation: 1
lola: find path: 7559
lola: goal oriented search: 565
lola: symmetry: 7821
lola: reporting
lola: not produced: 4659
lola: state equation: 1
lola: find path: 7561
lola: goal oriented search: 565
lola: symmetry: 7823
lola: reporting
lola: not produced: 4659
lola: state equation: 1
lola: find path: 7561
lola: goal oriented search: 565
lola: symmetry: 7823
lola: reporting
lola: not produced: 4659
lola: state equation: 1
lola: find path: 7561
lola: goal oriented search: 565
lola: symmetry: 7823
lola: reporting
lola: not produced: 4655
lola: state equation: 1
lola: find path: 7563
lola: goal oriented search: 565
lola: symmetry: 7825
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 7565
lola: goal oriented search: 565
lola: symmetry: 7827
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 7565
lola: goal oriented search: 565
lola: symmetry: 7827
lola: reporting
lola: not produced: 4651
lola: state equation: 1
lola: find path: 7565
lola: goal oriented search: 565
lola: symmetry: 7827
lola: reporting
lola: not produced: 4647
lola: state equation: 1
lola: find path: 7567
lola: goal oriented search: 565
lola: symmetry: 7829
lola: reporting
lola: not produced: 4647
lola: state equation: 1
lola: find path: 7567
lola: goal oriented search: 565
lola: symmetry: 7829
lola: reporting
lola: not produced: 4643
lola: state equation: 1
lola: find path: 7569
lola: goal oriented search: 565
lola: symmetry: 7831
lola: reporting
lola: not produced: 4643
lola: state equation: 1
lola: find path: 7569
lola: goal oriented search: 565
lola: symmetry: 7831
lola: reporting
lola: not produced: 4641
lola: state equation: 1
lola: find path: 7570
lola: goal oriented search: 565
lola: symmetry: 7832
lola: reporting
lola: not produced: 4641
lola: state equation: 1
lola: find path: 7570
lola: goal oriented search: 565
lola: symmetry: 7832
lola: reporting
lola: not produced: 4637
lola: state equation: 1
lola: find path: 7572
lola: goal oriented search: 565
lola: symmetry: 7834
lola: reporting
lola: not produced: 4637
lola: state equation: 1
lola: find path: 7572
lola: goal oriented search: 565
lola: symmetry: 7834
lola: reporting
lola: not produced: 4627
lola: state equation: 1
lola: find path: 7577
lola: goal oriented search: 565
lola: symmetry: 7839
lola: reporting
lola: not produced: 4627
lola: state equation: 1
lola: find path: 7577
lola: goal oriented search: 565
lola: symmetry: 7839
lola: reporting
lola: not produced: 4627
lola: state equation: 1
lola: find path: 7577
lola: goal oriented search: 565
lola: symmetry: 7839
lola: reporting
lola: not produced: 4623
lola: state equation: 1
lola: find path: 7579
lola: goal oriented search: 565
lola: symmetry: 7841
lola: reporting
lola: not produced: 4623
lola: state equation: 1
lola: find path: 7579
lola: goal oriented search: 565
lola: symmetry: 7841
lola: reporting
lola: not produced: 4623
lola: state equation: 1
lola: find path: 7579
lola: goal oriented search: 565
lola: symmetry: 7841
lola: reporting
lola: not produced: 4619
lola: state equation: 1
lola: find path: 7581
lola: goal oriented search: 565
lola: symmetry: 7843
lola: reporting
lola: not produced: 4619
lola: state equation: 1
lola: find path: 7581
lola: goal oriented search: 565
lola: symmetry: 7843
lola: reporting
lola: not produced: 4611
lola: state equation: 1
lola: find path: 7585
lola: goal oriented search: 565
lola: symmetry: 7847
lola: reporting
lola: not produced: 4605
lola: state equation: 1
lola: find path: 7588
lola: goal oriented search: 565
lola: symmetry: 7850
lola: reporting
lola: not produced: 4601
lola: state equation: 1
lola: find path: 7590
lola: goal oriented search: 565
lola: symmetry: 7852
lola: reporting
lola: not produced: 4593
lola: state equation: 1
lola: find path: 7594
lola: goal oriented search: 565
lola: symmetry: 7856
lola: reporting
lola: not produced: 4591
lola: state equation: 1
lola: find path: 7595
lola: goal oriented search: 565
lola: symmetry: 7857
sara: place or transition ordering is non-deterministic
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 7597
lola: goal oriented search: 565
lola: symmetry: 7859
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 7597
lola: goal oriented search: 565
lola: symmetry: 7859
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 7597
lola: goal oriented search: 565
lola: symmetry: 7859
lola: reporting
lola: not produced: 4587
lola: state equation: 1
lola: find path: 7597
lola: goal oriented search: 565
lola: symmetry: 7859
lola: reporting
lola: not produced: 4585
lola: state equation: 1
lola: find path: 7598
lola: goal oriented search: 565
lola: symmetry: 7860
lola: reporting
lola: not produced: 4579
lola: state equation: 1
lola: find path: 7601
lola: goal oriented search: 565
lola: symmetry: 7863
lola: reporting
lola: not produced: 4571
lola: state equation: 1
lola: find path: 7605
lola: goal oriented search: 565
lola: symmetry: 7867
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4567
lola: state equation: 1
lola: find path: 7607
lola: goal oriented search: 565
lola: symmetry: 7869
lola: reporting
lola: not produced: 4563
lola: state equation: 1
lola: find path: 7609
lola: goal oriented search: 565
lola: symmetry: 7871
lola: reporting
lola: not produced: 4559
lola: state equation: 1
lola: find path: 7611
lola: goal oriented search: 565
lola: symmetry: 7873
lola: reporting
lola: not produced: 4559
lola: state equation: 1
lola: find path: 7611
lola: goal oriented search: 565
lola: symmetry: 7873
lola: reporting
lola: not produced: 4551
lola: state equation: 1
lola: find path: 7615
lola: goal oriented search: 565
lola: symmetry: 7877
lola: reporting
lola: not produced: 4545
lola: state equation: 1
lola: find path: 7618
lola: goal oriented search: 565
lola: symmetry: 7880
lola: reporting
lola: not produced: 4545
lola: state equation: 1
lola: find path: 7618
lola: goal oriented search: 565
lola: symmetry: 7880
lola: reporting
lola: not produced: 4541
lola: state equation: 1
lola: find path: 7620
lola: goal oriented search: 565
lola: symmetry: 7882
lola: reporting
lola: not produced: 4541
lola: state equation: 1
lola: find path: 7620
lola: goal oriented search: 565
lola: symmetry: 7882
lola: reporting
lola: not produced: 4541
lola: state equation: 1
lola: find path: 7620
lola: goal oriented search: 565
lola: symmetry: 7882
lola: reporting
lola: not produced: 4533
lola: state equation: 1
lola: find path: 7624
lola: goal oriented search: 565
lola: symmetry: 7886
lola: reporting
lola: not produced: 4533
lola: state equation: 1
lola: find path: 7624
lola: goal oriented search: 565
lola: symmetry: 7886
lola: reporting
lola: not produced: 4533
lola: state equation: 1
lola: find path: 7624
lola: goal oriented search: 565
lola: symmetry: 7886
lola: reporting
lola: not produced: 4533
lola: state equation: 1
lola: find path: 7624
lola: goal oriented search: 565
lola: symmetry: 7886
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4529
lola: state equation: 1
lola: find path: 7626
lola: goal oriented search: 565
lola: symmetry: 7888
lola: reporting
lola: not produced: 4521
lola: state equation: 1
lola: find path: 7630
lola: goal oriented search: 565
lola: symmetry: 7892
lola: reporting
lola: not produced: 4521
lola: state equation: 1
lola: find path: 7630
lola: goal oriented search: 565
lola: symmetry: 7892
lola: reporting
lola: not produced: 4521
lola: state equation: 1
lola: find path: 7630
lola: goal oriented search: 565
lola: symmetry: 7892
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 7632
lola: goal oriented search: 565
lola: symmetry: 7894
lola: reporting
lola: not produced: 4517
lola: state equation: 1
lola: find path: 7632
lola: goal oriented search: 565
lola: symmetry: 7894
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 7634
lola: goal oriented search: 565
lola: symmetry: 7896
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 7634
lola: goal oriented search: 565
lola: symmetry: 7896
lola: reporting
lola: not produced: 4513
lola: state equation: 1
lola: find path: 7634
lola: goal oriented search: 565
lola: symmetry: 7896
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 7638
lola: goal oriented search: 565
lola: symmetry: 7900
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 7638
lola: goal oriented search: 565
lola: symmetry: 7900
lola: reporting
lola: not produced: 4505
lola: state equation: 1
lola: find path: 7638
lola: goal oriented search: 565
lola: symmetry: 7900
lola: reporting
lola: not produced: 4503
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 565
lola: symmetry: 7901
lola: reporting
lola: not produced: 4503
lola: state equation: 1
lola: find path: 7639
lola: goal oriented search: 565
lola: symmetry: 7901
lola: reporting
lola: not produced: 4499
lola: state equation: 1
lola: find path: 7641
lola: goal oriented search: 565
lola: symmetry: 7903
lola: reporting
lola: not produced: 4491
lola: state equation: 1
lola: find path: 7645
lola: goal oriented search: 565
lola: symmetry: 7907
lola: reporting
lola: not produced: 4483
lola: state equation: 1
lola: find path: 7649
lola: goal oriented search: 565
lola: symmetry: 7911
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4479
lola: state equation: 1
lola: find path: 7651
lola: goal oriented search: 565
lola: symmetry: 7913
lola: reporting
lola: not produced: 4475
lola: state equation: 1
lola: find path: 7653
lola: goal oriented search: 565
lola: symmetry: 7915
lola: reporting
lola: not produced: 4471
lola: state equation: 1
lola: find path: 7655
lola: goal oriented search: 565
lola: symmetry: 7917
lola: reporting
lola: not produced: 4467
lola: state equation: 1
lola: find path: 7657
lola: goal oriented search: 565
lola: symmetry: 7919
lola: reporting
lola: not produced: 4465
lola: state equation: 1
lola: find path: 7658
lola: goal oriented search: 565
lola: symmetry: 7920
lola: reporting
lola: not produced: 4463
lola: state equation: 1
lola: find path: 7659
lola: goal oriented search: 565
lola: symmetry: 7921
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4455
lola: state equation: 1
lola: find path: 7663
lola: goal oriented search: 565
lola: symmetry: 7925
lola: reporting
lola: not produced: 4451
lola: state equation: 1
lola: find path: 7665
lola: goal oriented search: 565
lola: symmetry: 7927
lola: reporting
lola: not produced: 4451
lola: state equation: 1
lola: find path: 7665
lola: goal oriented search: 565
lola: symmetry: 7927
lola: reporting
lola: not produced: 4451
lola: state equation: 1
lola: find path: 7665
lola: goal oriented search: 565
lola: symmetry: 7927
lola: reporting
lola: not produced: 4451
lola: state equation: 1
lola: find path: 7665
lola: goal oriented search: 565
lola: symmetry: 7927
lola: reporting
lola: not produced: 4443
lola: state equation: 1
lola: find path: 7669
lola: goal oriented search: 565
lola: symmetry: 7931
lola: reporting
lola: not produced: 4443
lola: state equation: 1
lola: find path: 7669
lola: goal oriented search: 565
lola: symmetry: 7931
lola: reporting
lola: not produced: 4443
lola: state equation: 1
lola: find path: 7669
lola: goal oriented search: 565
lola: symmetry: 7931
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 7671
lola: goal oriented search: 565
lola: symmetry: 7933
lola: reporting
lola: not produced: 4439
lola: state equation: 1
lola: find path: 7671
lola: goal oriented search: 565
lola: symmetry: 7933
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 7673
lola: goal oriented search: 565
lola: symmetry: 7935
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 7673
lola: goal oriented search: 565
lola: symmetry: 7935
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 7673
lola: goal oriented search: 565
lola: symmetry: 7935
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 7673
lola: goal oriented search: 565
lola: symmetry: 7935
lola: reporting
lola: not produced: 4435
lola: state equation: 1
lola: find path: 7673
lola: goal oriented search: 565
lola: symmetry: 7935
lola: reporting
lola: not produced: 4433
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 565
lola: symmetry: 7936
lola: reporting
lola: not produced: 4433
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 565
lola: symmetry: 7936
lola: reporting
lola: not produced: 4433
lola: state equation: 1
lola: find path: 7674
lola: goal oriented search: 565
lola: symmetry: 7936
lola: reporting
lola: not produced: 4429
lola: state equation: 1
lola: find path: 7676
lola: goal oriented search: 565
lola: symmetry: 7938
lola: reporting
lola: not produced: 4421
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 565
lola: symmetry: 7942
lola: reporting
lola: not produced: 4421
lola: state equation: 1
lola: find path: 7680
lola: goal oriented search: 565
lola: symmetry: 7942
lola: reporting
lola: not produced: 4419
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 565
lola: symmetry: 7943
lola: reporting
lola: not produced: 4419
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 565
lola: symmetry: 7943
lola: reporting
lola: not produced: 4419
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 565
lola: symmetry: 7943
lola: reporting
lola: not produced: 4419
lola: state equation: 1
lola: find path: 7681
lola: goal oriented search: 565
lola: symmetry: 7943
lola: reporting
lola: not produced: 4415
lola: state equation: 1
lola: find path: 7683
lola: goal oriented search: 565
lola: symmetry: 7945
lola: reporting
lola: not produced: 4411
lola: state equation: 1
lola: find path: 7685
lola: goal oriented search: 565
lola: symmetry: 7947
lola: reporting
lola: not produced: 4399
lola: state equation: 1
lola: find path: 7691
lola: goal oriented search: 565
lola: symmetry: 7953
lola: reporting
lola: not produced: 4399
lola: state equation: 1
lola: find path: 7691
lola: goal oriented search: 565
lola: symmetry: 7953
lola: reporting
lola: not produced: 4399
lola: state equation: 1
lola: find path: 7691
lola: goal oriented search: 565
lola: symmetry: 7953
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4395
lola: state equation: 1
lola: find path: 7693
lola: goal oriented search: 565
lola: symmetry: 7955
lola: reporting
lola: not produced: 4391
lola: state equation: 1
lola: find path: 7695
lola: goal oriented search: 565
lola: symmetry: 7957
lola: reporting
lola: not produced: 4387
lola: state equation: 1
lola: find path: 7697
lola: goal oriented search: 565
lola: symmetry: 7959
lola: reporting
lola: not produced: 4379
lola: state equation: 1
lola: find path: 7701
lola: goal oriented search: 565
lola: symmetry: 7963
lola: reporting
lola: not produced: 4379
lola: state equation: 1
lola: find path: 7701
lola: goal oriented search: 565
lola: symmetry: 7963
lola: reporting
lola: not produced: 4379
lola: state equation: 1
lola: find path: 7701
lola: goal oriented search: 565
lola: symmetry: 7963
lola: reporting
lola: not produced: 4379
lola: state equation: 1
lola: find path: 7701
lola: goal oriented search: 565
lola: symmetry: 7963
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4365
lola: state equation: 1
lola: find path: 7708
lola: goal oriented search: 565
lola: symmetry: 7970
lola: reporting
lola: not produced: 4361
lola: state equation: 1
lola: find path: 7710
lola: goal oriented search: 565
lola: symmetry: 7972
lola: reporting
lola: not produced: 4361
lola: state equation: 1
lola: find path: 7710
lola: goal oriented search: 565
lola: symmetry: 7972
lola: reporting
lola: not produced: 4361
lola: state equation: 1
lola: find path: 7710
lola: goal oriented search: 565
lola: symmetry: 7972
lola: reporting
lola: not produced: 4361
lola: state equation: 1
lola: find path: 7710
lola: goal oriented search: 565
lola: symmetry: 7972
lola: reporting
lola: not produced: 4359
lola: state equation: 1
lola: find path: 7711
lola: goal oriented search: 565
lola: symmetry: 7973
lola: reporting
lola: not produced: 4355
lola: state equation: 1
lola: find path: 7713
lola: goal oriented search: 565
lola: symmetry: 7975
lola: reporting
lola: not produced: 4355
lola: state equation: 1
lola: find path: 7713
lola: goal oriented search: 565
lola: symmetry: 7975
lola: reporting
lola: not produced: 4353
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 565
lola: symmetry: 7976
lola: reporting
lola: not produced: 4353
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 565
lola: symmetry: 7976
lola: reporting
lola: not produced: 4353
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 565
lola: symmetry: 7976
lola: reporting
lola: not produced: 4353
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 565
lola: symmetry: 7976
lola: reporting
lola: not produced: 4353
lola: state equation: 1
lola: find path: 7714
lola: goal oriented search: 565
lola: symmetry: 7976
lola: reporting
lola: not produced: 4347
lola: state equation: 1
lola: find path: 7717
lola: goal oriented search: 565
lola: symmetry: 7979
lola: reporting
lola: not produced: 4347
lola: state equation: 1
lola: find path: 7717
lola: goal oriented search: 565
lola: symmetry: 7979
lola: reporting
lola: not produced: 4347
lola: state equation: 1
lola: find path: 7717
lola: goal oriented search: 565
lola: symmetry: 7979
lola: reporting
lola: not produced: 4347
lola: state equation: 1
lola: find path: 7717
lola: goal oriented search: 565
lola: symmetry: 7979
lola: reporting
lola: not produced: 4347
lola: state equation: 1
lola: find path: 7717
lola: goal oriented search: 565
lola: symmetry: 7979
lola: reporting
lola: not produced: 4343
lola: state equation: 1
lola: find path: 7719
lola: goal oriented search: 565
lola: symmetry: 7981
lola: reporting
lola: not produced: 4343
lola: state equation: 1
lola: find path: 7719
lola: goal oriented search: 565
lola: symmetry: 7981
lola: reporting
lola: not produced: 4341
lola: state equation: 1
lola: find path: 7720
lola: goal oriented search: 565
lola: symmetry: 7982
lola: reporting
lola: not produced: 4341
lola: state equation: 1
lola: find path: 7720
lola: goal oriented search: 565
lola: symmetry: 7982
lola: reporting
lola: not produced: 4341
lola: state equation: 1
lola: find path: 7720
lola: goal oriented search: 565
lola: symmetry: 7982
lola: reporting
lola: not produced: 4341
lola: state equation: 1
lola: find path: 7720
lola: goal oriented search: 565
lola: symmetry: 7982
lola: reporting
lola: not produced: 4331
lola: state equation: 1
lola: find path: 7725
lola: goal oriented search: 565
lola: symmetry: 7987
lola: reporting
lola: not produced: 4331
lola: state equation: 1
lola: find path: 7725
lola: goal oriented search: 565
lola: symmetry: 7987
lola: reporting
lola: not produced: 4331
lola: state equation: 1
lola: find path: 7725
lola: goal oriented search: 565
lola: symmetry: 7987
lola: reporting
lola: not produced: 4331
lola: state equation: 1
lola: find path: 7725
lola: goal oriented search: 565
lola: symmetry: 7987
lola: reporting
lola: not produced: 4331
lola: state equation: 1
lola: find path: 7725
lola: goal oriented search: 565
lola: symmetry: 7987
lola: reporting
lola: not produced: 4327
lola: state equation: 1
lola: find path: 7727
lola: goal oriented search: 565
lola: symmetry: 7989
lola: reporting
lola: not produced: 4327
lola: state equation: 1
lola: find path: 7727
lola: goal oriented search: 565
lola: symmetry: 7989
lola: reporting
lola: not produced: 4327
lola: state equation: 1
lola: find path: 7727
lola: goal oriented search: 565
lola: symmetry: 7989
lola: reporting
lola: not produced: 4327
lola: state equation: 1
lola: find path: 7727
lola: goal oriented search: 565
lola: symmetry: 7989
lola: reporting
lola: not produced: 4323
lola: state equation: 1
lola: find path: 7729
lola: goal oriented search: 565
lola: symmetry: 7991
lola: reporting
lola: not produced: 4323
lola: state equation: 1
lola: find path: 7729
lola: goal oriented search: 565
lola: symmetry: 7991
lola: reporting
lola: not produced: 4323
lola: state equation: 1
lola: find path: 7729
lola: goal oriented search: 565
lola: symmetry: 7991
lola: reporting
lola: not produced: 4323
lola: state equation: 1
lola: find path: 7729
lola: goal oriented search: 565
lola: symmetry: 7991
lola: caught signal Terminated - aborting LoLA
FINAL RESULTS
FINISHED FORMULA: CATEGORY VALUE PRODUCED BY
Time elapsed: 1800 secs. Pages in use: 846
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-5348"
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 r244-tall-167856432000553"
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 ;