About the Execution of ITS-LoLa for FlexibleBarrier-PT-12a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15749.050 | 3600000.00 | 3602434.00 | 9615.90 | ?T?TTT??F?TFFT?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815700324.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is FlexibleBarrier-PT-12a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815700324
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 312K
-rw-r--r-- 1 mcc users 3.6K Apr 4 18:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 4 07:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 4 07:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.8K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 3 21:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 3 13:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 3 13:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 128K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-12a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591361180989
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 12:46:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 12:46:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 12:46:23] [INFO ] Load time of PNML (sax parser for PT used): 193 ms
[2020-06-05 12:46:23] [INFO ] Transformed 147 places.
[2020-06-05 12:46:24] [INFO ] Transformed 448 transitions.
[2020-06-05 12:46:24] [INFO ] Found NUPN structural information;
[2020-06-05 12:46:24] [INFO ] Parsed PT model containing 147 places and 448 transitions in 290 ms.
Ensure Unique test removed 122 transitions
Reduce redundant transitions removed 122 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 53 ms.
Incomplete random walk after 100000 steps, including 0 resets, run finished after 582 ms. (steps per millisecond=171 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-06-05 12:46:24] [INFO ] Flow matrix only has 314 transitions (discarded 12 similar events)
// Phase 1: matrix 314 rows 147 cols
[2020-06-05 12:46:24] [INFO ] Computed 14 place invariants in 13 ms
[2020-06-05 12:46:24] [INFO ] [Real]Absence check using 14 positive place invariants in 24 ms returned unsat
[2020-06-05 12:46:24] [INFO ] [Real]Absence check using 14 positive place invariants in 9 ms returned unsat
Successfully simplified 2 atomic propositions for a total of 2 simplifications.
[2020-06-05 12:46:25] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 12:46:25] [INFO ] Flatten gal took : 86 ms
[2020-06-05 12:46:25] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 12:46:25] [INFO ] Flatten gal took : 49 ms
FORMULA FlexibleBarrier-PT-12a-CTLFireability-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-12a-CTLFireability-11 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-12a-CTLFireability-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 12:46:25] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 9 ms.
[2020-06-05 12:46:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 9 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FlexibleBarrier-PT-12a @ 3570 seconds
FORMULA FlexibleBarrier-PT-12a-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-12a-CTLFireability-01 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ FlexibleBarrier-PT-12a
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=CTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Fri Jun 5 12:46:26 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 1,
"aneg": 0,
"comp": 8,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 8,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U AF(((1 <= p11) AND (1 <= p145))))",
"processed_size": 132,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 8,
"markings": 5,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 308
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 2,
"E": 0,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 4,
"aneg": 0,
"comp": 10,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 10,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "A((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND AF(((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))",
"processed_size": 174,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 12,
"markings": 4,
"produced_by": "CTL model checker",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 352
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 1,
"F": 1,
"G": 0,
"U": 1,
"X": 0,
"aconj": 9,
"adisj": 4,
"aneg": 0,
"comp": 17,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 17,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 14,
"visible_transitions": 0
},
"processed": "E((AF(((1 <= p96))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))",
"processed_size": 289,
"rewrites": 15
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 3437,
"markings": 1360,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 411
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 3,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 3,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 0,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((EG(((1 <= p96) AND (1 <= p119) AND (1 <= p145))) OR EF(((1 <= p49)))) U ((1 <= p31) AND (1 <= p146)))",
"processed_size": 104,
"rewrites": 16
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 2721,
"markings": 764,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 514
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 514
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((1 <= p23) AND (1 <= p72) AND (1 <= p145))",
"processed_size": 43,
"rewrites": 13
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 10,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 771
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p29) AND (1 <= p146))))",
"processed_size": 36,
"rewrites": 14
},
"result":
{
"edges": 8,
"markings": 9,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 11,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 10,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 771
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 771
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((1 <= p24) AND (1 <= p143) AND (1 <= p145))",
"processed_size": 44,
"rewrites": 13
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 11,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "((p27 <= 0))",
"processed_size": 12,
"rewrites": 16
},
"result":
{
"edges": 18,
"markings": 18,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 3
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "eventual_occurrence",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 11,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1542
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p38) AND (1 <= p146))))",
"processed_size": 36,
"rewrites": 14
},
"result":
{
"edges": 6,
"markings": 7,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 12,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "reachability",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 1
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 1,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145))))",
"processed_size": 52,
"rewrites": 14
},
"result":
{
"edges": 2,
"markings": 3,
"produced_by": "state space",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"type": "reachability",
"workflow": "stateequation||search"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": true
},
"task":
{
"compoundnumber": 12,
"type": "boolean"
}
},
{
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 0,
"U": 1,
"X": 1,
"aconj": 3,
"adisj": 2,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))",
"processed_size": 110,
"rewrites": 16
},
"net":
{
"conflict_clusters": 52,
"singleton_clusters": 0
},
"result":
{
"edges": 247924430,
"markings": 46974569,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
],
"exit":
{
"error": null,
"memory": 56168,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "E((E(G(*)) U A(G(**)))) : E(((A(F(**)) OR (** OR **)) U (E(X(**)) AND **))) : E(X(E(F(A(G(**)))))) : (E(F(**)) AND (E(F(*)) OR **)) : E(((A(F(**)) OR **) U **)) : (E(F(**)) OR **) : (E(F(A(G(**)))) AND A(X(**))) : E(F(A(X(**)))) : E(F((E(G(**)) AND (A(G(**)) OR **)))) : E(((E(G(**)) OR E(F(**))) U **)) : A((** U (** AND A(F(**))))) : (A(G(**)) OR (A(F(**)) OR **)) : E((** U A(F(**))))"
},
"net":
{
"arcs": 1317,
"conflict_clusters": 52,
"places": 147,
"places_significant": 133,
"singleton_clusters": 0,
"transitions": 326
},
"result":
{
"interim_value": "unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no ",
"preliminary_value": "unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 473/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 147
lola: finding significant places
lola: 147 places, 326 transitions, 133 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p28 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p136 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p8 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p75 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p104 <= 1)
lola: LP says that atomic proposition is always true: (p120 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p5 <= 1)
lola: LP says that atomic proposition is always true: (p19 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p38 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p33 <= 1)
lola: LP says that atomic proposition is always true: (p90 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p83 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p17 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p132 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p46 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p10 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p95 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p49 <= 1)
lola: LP says that atomic proposition is always true: (p31 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p146 <= 1)
lola: LP says that atomic proposition is always true: (p142 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p65 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p0 <= 1)
lola: LP says that atomic proposition is always true: (p27 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p145 <= 1)
lola: E ((NOT(A (F (((1 <= p28) AND (1 <= p146))))) U A (G (((1 <= p24) AND (1 <= p59) AND (1 <= p145)))))) : E ((((A (F (((1 <= p136) AND (1 <= p146)))) OR ((p71 <= 0))) OR ((p8 <= 0))) U (E (X (((1 <= p107)))) AND ((1 <= p75))))) : E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))))) : (A (F (E (F (((1 <= p38) AND (1 <= p146)))))) AND (NOT(A (G (((p60 <= 0) OR (p119 <= 0) OR (p145 <= 0))))) OR A (((1 <= 0) U (((1 <= p1)) OR ((1 <= p36) AND (1 <= p71) AND (1 <= p145))))))) : E (((A (F (((1 <= p96)))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))) : (E ((E (X (((1 <= p83) AND (1 <= p108) AND (1 <= p145)))) U E (F (((1 <= p29) AND (1 <= p146)))))) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p145))) : (E (F (A (G (((p17 <= 0) OR (p146 <= 0)))))) AND A (X (((p11 <= 0) OR (p132 <= 0) OR (p145 <= 0))))) : E (F (A (F (A (X (((1 <= p46)))))))) : E (F ((E (G (((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145)))) AND (A (G (((1 <= p10)))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0))))))) : E (((E (G (((1 <= p96) AND (1 <= p119) AND (1 <= p145)))) OR E (F (((1 <= p49))))) U ((1 <= p31) AND (1 <= p146)))) : A (((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND A (F (((1 <= p108) AND (1 <= p131) AND (1 <= p145))))))) : ((A (G (((1 <= p0)))) OR A (F (((1 <= p27))))) OR ((1 <= p24) AND (1 <= p143) AND (1 <= p145))) : E (((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U A (F (((1 <= p11) AND (1 <= p145))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:184
lola: rewrite Frontend/Parser/formula_rewrite.k:473
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p136) AND (1 <= p146)))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (E (X (((1 <= p107)))) AND ((1 <= p75)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))
lola: processed formula length: 110
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 312430 markings, 1415767 edges, 62486 markings/sec, 0 secs
lola: 649225 markings, 3002234 edges, 67359 markings/sec, 5 secs
lola: 968289 markings, 4569448 edges, 63813 markings/sec, 10 secs
lola: 1261401 markings, 6030202 edges, 58622 markings/sec, 15 secs
lola: 1577595 markings, 7624140 edges, 63239 markings/sec, 20 secs
lola: 1913779 markings, 9198307 edges, 67237 markings/sec, 25 secs
lola: 2236605 markings, 10764558 edges, 64565 markings/sec, 30 secs
lola: 2576249 markings, 12387969 edges, 67929 markings/sec, 35 secs
lola: 2892300 markings, 13967279 edges, 63210 markings/sec, 40 secs
lola: 3216057 markings, 15565212 edges, 64751 markings/sec, 45 secs
lola: 3515048 markings, 17073155 edges, 59798 markings/sec, 50 secs
lola: 3802241 markings, 18537969 edges, 57439 markings/sec, 55 secs
lola: 4070121 markings, 19886475 edges, 53576 markings/sec, 60 secs
lola: 4375293 markings, 21436211 edges, 61034 markings/sec, 65 secs
lola: 4678038 markings, 22985825 edges, 60549 markings/sec, 70 secs
lola: 4967961 markings, 24491271 edges, 57985 markings/sec, 75 secs
lola: 5261122 markings, 26012373 edges, 58632 markings/sec, 80 secs
lola: 5553582 markings, 27522692 edges, 58492 markings/sec, 85 secs
lola: 5850808 markings, 29062206 edges, 59445 markings/sec, 90 secs
lola: 6147731 markings, 30591443 edges, 59385 markings/sec, 95 secs
lola: 6439385 markings, 32126448 edges, 58331 markings/sec, 100 secs
lola: 6736202 markings, 33653327 edges, 59363 markings/sec, 105 secs
lola: 7031192 markings, 35189598 edges, 58998 markings/sec, 110 secs
lola: 7328884 markings, 36731210 edges, 59538 markings/sec, 115 secs
lola: 7615932 markings, 38234658 edges, 57410 markings/sec, 120 secs
lola: 7903058 markings, 39737223 edges, 57425 markings/sec, 125 secs
lola: 8185529 markings, 41228790 edges, 56494 markings/sec, 130 secs
lola: 8470509 markings, 42738924 edges, 56996 markings/sec, 135 secs
lola: 8753482 markings, 44232990 edges, 56595 markings/sec, 140 secs
lola: 9038169 markings, 45736396 edges, 56937 markings/sec, 145 secs
lola: 9319683 markings, 47227110 edges, 56303 markings/sec, 150 secs
lola: 9609427 markings, 48753073 edges, 57949 markings/sec, 155 secs
lola: 9911413 markings, 50312006 edges, 60397 markings/sec, 160 secs
lola: 10191319 markings, 51802517 edges, 55981 markings/sec, 165 secs
lola: 10540357 markings, 53431970 edges, 69808 markings/sec, 170 secs
lola: 10873256 markings, 55064059 edges, 66580 markings/sec, 175 secs
lola: 11196668 markings, 56672480 edges, 64682 markings/sec, 180 secs
lola: 11533918 markings, 58295927 edges, 67450 markings/sec, 185 secs
lola: 11859855 markings, 59891566 edges, 65187 markings/sec, 190 secs
lola: 12172639 markings, 61457428 edges, 62557 markings/sec, 195 secs
lola: 12481621 markings, 63029646 edges, 61796 markings/sec, 200 secs
lola: 12790641 markings, 64596975 edges, 61804 markings/sec, 205 secs
lola: 13095862 markings, 66156819 edges, 61044 markings/sec, 210 secs
lola: 13394521 markings, 67705667 edges, 59732 markings/sec, 215 secs
lola: 13696470 markings, 69256900 edges, 60390 markings/sec, 220 secs
lola: 13991204 markings, 70784806 edges, 58947 markings/sec, 225 secs
lola: 14282486 markings, 72300729 edges, 58256 markings/sec, 230 secs
lola: 14556508 markings, 73733272 edges, 54804 markings/sec, 235 secs
lola: 14826345 markings, 75144498 edges, 53967 markings/sec, 240 secs
lola: 15101427 markings, 76570185 edges, 55016 markings/sec, 245 secs
lola: 15369287 markings, 77979975 edges, 53572 markings/sec, 250 secs
lola: 15642759 markings, 79408329 edges, 54694 markings/sec, 255 secs
lola: 15911176 markings, 80821087 edges, 53683 markings/sec, 260 secs
lola: 16207931 markings, 82297776 edges, 59351 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 4767196 KB
lola: time consumption: 279 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))
lola: processed formula length: 56
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 697911 markings, 2532836 edges, 139582 markings/sec, 0 secs
lola: 1260829 markings, 4762561 edges, 112584 markings/sec, 5 secs
lola: 1835107 markings, 7018112 edges, 114856 markings/sec, 10 secs
lola: 2442581 markings, 9340112 edges, 121495 markings/sec, 15 secs
lola: 3008775 markings, 11561978 edges, 113239 markings/sec, 20 secs
lola: 3557043 markings, 13716484 edges, 109654 markings/sec, 25 secs
lola: 4060214 markings, 15757071 edges, 100634 markings/sec, 30 secs
lola: 4569965 markings, 17828141 edges, 101950 markings/sec, 35 secs
lola: 5051555 markings, 19837982 edges, 96318 markings/sec, 40 secs
lola: 5521320 markings, 21804952 edges, 93953 markings/sec, 45 secs
lola: 5992932 markings, 23771491 edges, 94322 markings/sec, 50 secs
lola: 6441935 markings, 25665312 edges, 89801 markings/sec, 55 secs
lola: 6953734 markings, 27827981 edges, 102360 markings/sec, 60 secs
lola: 7432537 markings, 29877135 edges, 95761 markings/sec, 65 secs
lola: 7924516 markings, 31981630 edges, 98396 markings/sec, 70 secs
lola: 8412568 markings, 34037523 edges, 97610 markings/sec, 75 secs
lola: 8895854 markings, 36104588 edges, 96657 markings/sec, 80 secs
lola: 9371001 markings, 38148589 edges, 95029 markings/sec, 85 secs
lola: 9846118 markings, 40182216 edges, 95023 markings/sec, 90 secs
lola: 10308689 markings, 42192451 edges, 92514 markings/sec, 95 secs
lola: 10782563 markings, 44237060 edges, 94775 markings/sec, 100 secs
lola: 11236607 markings, 46222939 edges, 90809 markings/sec, 105 secs
lola: 11690364 markings, 48211932 edges, 90751 markings/sec, 110 secs
lola: 12162251 markings, 50238676 edges, 94377 markings/sec, 115 secs
lola: 12626373 markings, 52244210 edges, 92824 markings/sec, 120 secs
lola: 13276786 markings, 54707884 edges, 130083 markings/sec, 125 secs
lola: 13820711 markings, 56849733 edges, 108785 markings/sec, 130 secs
lola: 14391019 markings, 59066966 edges, 114062 markings/sec, 135 secs
lola: 14895392 markings, 61114110 edges, 100875 markings/sec, 140 secs
lola: 15382737 markings, 63105152 edges, 97469 markings/sec, 145 secs
lola: 15880445 markings, 65177460 edges, 99542 markings/sec, 150 secs
lola: 16427641 markings, 67413322 edges, 109439 markings/sec, 155 secs
lola: 16917660 markings, 69481904 edges, 98004 markings/sec, 160 secs
lola: 17429675 markings, 71633659 edges, 102403 markings/sec, 165 secs
lola: 17919314 markings, 73734866 edges, 97928 markings/sec, 170 secs
lola: 18421789 markings, 75857602 edges, 100495 markings/sec, 175 secs
lola: 19000987 markings, 78153970 edges, 115840 markings/sec, 180 secs
lola: 19625040 markings, 80596405 edges, 124811 markings/sec, 185 secs
lola: 20155191 markings, 82798631 edges, 106030 markings/sec, 190 secs
lola: 20639410 markings, 84877941 edges, 96844 markings/sec, 195 secs
lola: 21172909 markings, 87077916 edges, 106700 markings/sec, 200 secs
lola: 21729007 markings, 89333713 edges, 111220 markings/sec, 205 secs
lola: 22200886 markings, 91366345 edges, 94376 markings/sec, 210 secs
lola: 22669095 markings, 93396462 edges, 93642 markings/sec, 215 secs
lola: 23136703 markings, 95428571 edges, 93522 markings/sec, 220 secs
lola: 23602317 markings, 97452404 edges, 93123 markings/sec, 225 secs
lola: 24075112 markings, 99500899 edges, 94559 markings/sec, 230 secs
lola: 24537989 markings, 101519602 edges, 92575 markings/sec, 235 secs
lola: 25066671 markings, 103710037 edges, 105736 markings/sec, 240 secs
lola: 25597488 markings, 105904692 edges, 106163 markings/sec, 245 secs
lola: 26088279 markings, 107997507 edges, 98158 markings/sec, 250 secs
lola: 26543263 markings, 109982173 edges, 90997 markings/sec, 255 secs
lola: 27044193 markings, 112091525 edges, 100186 markings/sec, 260 secs
lola: 27495992 markings, 114077232 edges, 90360 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5515936 KB
lola: time consumption: 554 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((p17 <= 0) OR (p146 <= 0)))))) AND A (X (((p11 <= 0) OR (p132 <= 0) OR (p145 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p17 <= 0) OR (p146 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p17) AND (1 <= p146))
lola: processed formula length: 28
lola: 17 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p17 <= 0) OR (p146 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p17) AND (1 <= p146))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-2-1.sara
lola: lola: state equation: calling and running sara
state equation: write sara problem file to CTLFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-2-0.sara.
sara: try reading problem file CTLFireability-2-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 975327 markings, 1325013 edges, 195065 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 2021865 markings, 2770043 edges, 209308 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 3067114 markings, 4221169 edges, 209050 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 4102776 markings, 5666258 edges, 207132 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 5111146 markings, 7081130 edges, 201674 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 6086098 markings, 8452862 edges, 194990 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 7090740 markings, 9871172 edges, 200928 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 8087240 markings, 11285466 edges, 199300 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 9078311 markings, 12694940 edges, 198214 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 10061141 markings, 14094230 edges, 196566 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 11029294 markings, 15477259 edges, 193631 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 12005664 markings, 16876817 edges, 195274 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 12976343 markings, 18269797 edges, 194136 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 13935340 markings, 19646047 edges, 191799 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 14850084 markings, 20961184 edges, 182949 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 15811493 markings, 22347267 edges, 192282 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 16776606 markings, 23741331 edges, 193023 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 17750921 markings, 25149321 edges, 194863 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 18722922 markings, 26555540 edges, 194400 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 19680468 markings, 27942542 edges, 191509 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 20640475 markings, 29335565 edges, 192001 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 21592554 markings, 30718739 edges, 190416 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 22554199 markings, 32117214 edges, 192329 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 23503697 markings, 33501398 edges, 189900 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 24448968 markings, 34878566 edges, 189054 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 25387725 markings, 36247313 edges, 187751 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 26337793 markings, 37635693 edges, 190014 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 27284784 markings, 39017918 edges, 189398 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 28221397 markings, 40389332 edges, 187323 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 29163494 markings, 41769159 edges, 188419 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 30095404 markings, 43138041 edges, 186382 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 31035578 markings, 44515576 edges, 188035 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 31964302 markings, 45879247 edges, 185745 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 32892774 markings, 47243582 edges, 185694 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 33769077 markings, 48531120 edges, 175261 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 34668267 markings, 49855604 edges, 179838 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 35567679 markings, 51180507 edges, 179882 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 36471265 markings, 52512085 edges, 180717 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 37372204 markings, 53840580 edges, 180188 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 38272006 markings, 55167054 edges, 179960 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 39171361 markings, 56495967 edges, 179871 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 40071615 markings, 57826016 edges, 180051 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 40968725 markings, 59153272 edges, 179422 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 41863123 markings, 60476514 edges, 178880 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 42753980 markings, 61797677 edges, 178171 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 43642782 markings, 63115859 edges, 177760 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 44533485 markings, 64437448 edges, 178141 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 45423652 markings, 65757719 edges, 178033 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 46309959 markings, 67074689 edges, 177261 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 47195978 markings, 68388476 edges, 177204 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 48080448 markings, 69703290 edges, 176894 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 48964359 markings, 71016305 edges, 176782 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 49842718 markings, 72320795 edges, 175672 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 50722294 markings, 73629662 edges, 175915 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5213800 KB
lola: time consumption: 828 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5213964 KB
lola: time consumption: 828 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p46))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p46))))
lola: processed formula length: 20
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 730637 markings, 1927820 edges, 146127 markings/sec, 0 secs
lola: 1342293 markings, 3750480 edges, 122331 markings/sec, 5 secs
lola: 1994603 markings, 5606120 edges, 130462 markings/sec, 10 secs
lola: 2621830 markings, 7436489 edges, 125445 markings/sec, 15 secs
lola: 3262925 markings, 9278400 edges, 128219 markings/sec, 20 secs
lola: 3859618 markings, 11073749 edges, 119339 markings/sec, 25 secs
lola: 4392545 markings, 12698179 edges, 106585 markings/sec, 30 secs
lola: 4928490 markings, 14387296 edges, 107189 markings/sec, 35 secs
lola: 5443688 markings, 16032476 edges, 103040 markings/sec, 40 secs
lola: 5959630 markings, 17668572 edges, 103188 markings/sec, 45 secs
lola: 6462839 markings, 19286498 edges, 100642 markings/sec, 50 secs
lola: 6956959 markings, 20885472 edges, 98824 markings/sec, 55 secs
lola: 7442010 markings, 22477163 edges, 97010 markings/sec, 60 secs
lola: 7927797 markings, 24068182 edges, 97157 markings/sec, 65 secs
lola: 8433286 markings, 25694129 edges, 101098 markings/sec, 70 secs
lola: 8907575 markings, 27248334 edges, 94858 markings/sec, 75 secs
lola: 9380140 markings, 28808774 edges, 94513 markings/sec, 80 secs
lola: 9866451 markings, 30399757 edges, 97262 markings/sec, 85 secs
lola: 10322750 markings, 31931192 edges, 91260 markings/sec, 90 secs
lola: 10793128 markings, 33491842 edges, 94076 markings/sec, 95 secs
lola: 11236399 markings, 34985510 edges, 88654 markings/sec, 100 secs
lola: 11679324 markings, 36484835 edges, 88585 markings/sec, 105 secs
lola: 12143083 markings, 38017782 edges, 92752 markings/sec, 110 secs
lola: 12607361 markings, 39552568 edges, 92856 markings/sec, 115 secs
lola: 13271270 markings, 41415037 edges, 132782 markings/sec, 120 secs
lola: 13898994 markings, 43238959 edges, 125545 markings/sec, 125 secs
lola: 14493080 markings, 44994985 edges, 118817 markings/sec, 130 secs
lola: 15050111 markings, 46694508 edges, 111406 markings/sec, 135 secs
lola: 15588543 markings, 48368000 edges, 107686 markings/sec, 140 secs
lola: 16152873 markings, 50130410 edges, 112866 markings/sec, 145 secs
lola: 16692520 markings, 51839527 edges, 107929 markings/sec, 150 secs
lola: 17218287 markings, 53516157 edges, 105153 markings/sec, 155 secs
lola: 17716096 markings, 55146440 edges, 99562 markings/sec, 160 secs
lola: 18235265 markings, 56826003 edges, 103834 markings/sec, 165 secs
lola: 18758366 markings, 58518075 edges, 104620 markings/sec, 170 secs
lola: 19457685 markings, 60467220 edges, 139864 markings/sec, 175 secs
lola: 20039182 markings, 62266963 edges, 116299 markings/sec, 180 secs
lola: 20516704 markings, 63834972 edges, 95504 markings/sec, 185 secs
lola: 21027756 markings, 65502762 edges, 102210 markings/sec, 190 secs
lola: 21636054 markings, 67313428 edges, 121660 markings/sec, 195 secs
lola: 22140067 markings, 68961746 edges, 100803 markings/sec, 200 secs
lola: 22620345 markings, 70560987 edges, 96056 markings/sec, 205 secs
lola: 23096178 markings, 72152989 edges, 95167 markings/sec, 210 secs
lola: 23565774 markings, 73725910 edges, 93919 markings/sec, 215 secs
lola: 24040623 markings, 75310876 edges, 94970 markings/sec, 220 secs
lola: 24456352 markings, 76718526 edges, 83146 markings/sec, 225 secs
lola: 24989599 markings, 78377888 edges, 106649 markings/sec, 230 secs
lola: 25491469 markings, 79974575 edges, 100374 markings/sec, 235 secs
lola: 25983305 markings, 81560967 edges, 98367 markings/sec, 240 secs
lola: 26427935 markings, 83053724 edges, 88926 markings/sec, 245 secs
lola: 26910717 markings, 84587271 edges, 96556 markings/sec, 250 secs
lola: 27359414 markings, 86137172 edges, 89739 markings/sec, 255 secs
lola: 27856912 markings, 87765964 edges, 99500 markings/sec, 260 secs
lola: 28268683 markings, 89186651 edges, 82354 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8214352 KB
lola: time consumption: 1102 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U A (F (((1 <= p11) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((((1 <= p47) AND (1 <= p96) AND (1 <= p145)) OR ((1 <= p12) AND (1 <= p107) AND (1 <= p145))) U AF(((1 <= p11) AND (1 <= p145))))
lola: processed formula length: 132
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 5 markings, 8 edges
lola: ========================================
lola: subprocess 5 will run for 308 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND A (F (((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:814
lola: processed formula: A((((1 <= p55) AND (1 <= p146)) OR (((p142 <= 0)) AND ((p108 <= 0) OR (p131 <= 0) OR (p145 <= 0)))) U (((p65 <= 0)) AND AF(((1 <= p108) AND (1 <= p131) AND (1 <= p145)))))
lola: processed formula length: 174
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 4 markings, 12 edges
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p96)))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p96))) OR ((((1 <= p104)) OR ((1 <= p120) AND (1 <= p131) AND (1 <= p145))) AND (((1 <= p5)) OR ((1 <= p19) AND (1 <= p146))))) U ((1 <= p38) AND ((p36 <= 0)) AND (1 <= p146) AND (((1 <= p12) AND (1 <= p35) AND (1 <= p145)) OR ((1 <= p33) AND (1 <= p90) AND (1 <= p145)))))
lola: processed formula length: 289
lola: 15 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1360 markings, 3437 edges
lola: ========================================
lola: subprocess 7 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (((p28 <= 0) OR (p146 <= 0)))) U A (G (((1 <= p24) AND (1 <= p59) AND (1 <= p145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EG(((p28 <= 0) OR (p146 <= 0))) U AG(((1 <= p24) AND (1 <= p59) AND (1 <= p145))))
lola: processed formula length: 85
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 441282 markings, 2306245 edges, 88256 markings/sec, 0 secs
lola: 897434 markings, 4703976 edges, 91230 markings/sec, 5 secs
lola: 1318214 markings, 7022116 edges, 84156 markings/sec, 10 secs
lola: 1747597 markings, 9353680 edges, 85877 markings/sec, 15 secs
lola: 2101659 markings, 11338449 edges, 70812 markings/sec, 20 secs
lola: 2498002 markings, 13558048 edges, 79269 markings/sec, 25 secs
lola: 2868207 markings, 15653527 edges, 74041 markings/sec, 30 secs
lola: 3275364 markings, 17840714 edges, 81431 markings/sec, 35 secs
lola: 3699737 markings, 20124026 edges, 84875 markings/sec, 40 secs
lola: 4100337 markings, 22331883 edges, 80120 markings/sec, 45 secs
lola: 4474746 markings, 24420131 edges, 74882 markings/sec, 50 secs
lola: 4866158 markings, 26613879 edges, 78282 markings/sec, 55 secs
lola: 5246559 markings, 28770216 edges, 76080 markings/sec, 60 secs
lola: 5617807 markings, 30887740 edges, 74250 markings/sec, 65 secs
lola: 5982772 markings, 32979506 edges, 72993 markings/sec, 70 secs
lola: 6347440 markings, 35067493 edges, 72934 markings/sec, 75 secs
lola: 6706618 markings, 37138713 edges, 71836 markings/sec, 80 secs
lola: 7123336 markings, 39408979 edges, 83344 markings/sec, 85 secs
lola: 7538121 markings, 41675802 edges, 82957 markings/sec, 90 secs
lola: 7886711 markings, 43704966 edges, 69718 markings/sec, 95 secs
lola: 8229434 markings, 45710098 edges, 68545 markings/sec, 100 secs
lola: 8627062 markings, 47907366 edges, 79526 markings/sec, 105 secs
lola: 8972798 markings, 49920449 edges, 69147 markings/sec, 110 secs
lola: 9350139 markings, 52035581 edges, 75468 markings/sec, 115 secs
lola: 9690053 markings, 53994072 edges, 67983 markings/sec, 120 secs
lola: 10053647 markings, 56071023 edges, 72719 markings/sec, 125 secs
lola: 10399746 markings, 58076302 edges, 69220 markings/sec, 130 secs
lola: 10740995 markings, 60065732 edges, 68250 markings/sec, 135 secs
lola: 11082113 markings, 62049836 edges, 68224 markings/sec, 140 secs
lola: 11428647 markings, 64062483 edges, 69307 markings/sec, 145 secs
lola: 11780247 markings, 66097546 edges, 70320 markings/sec, 150 secs
lola: 12128263 markings, 68110184 edges, 69603 markings/sec, 155 secs
lola: 12473591 markings, 70121226 edges, 69066 markings/sec, 160 secs
lola: 12814360 markings, 72102921 edges, 68154 markings/sec, 165 secs
lola: 13145853 markings, 74046475 edges, 66299 markings/sec, 170 secs
lola: 13479675 markings, 76000158 edges, 66764 markings/sec, 175 secs
lola: 13815215 markings, 77968566 edges, 67108 markings/sec, 180 secs
lola: 14145873 markings, 79912678 edges, 66132 markings/sec, 185 secs
lola: 14479117 markings, 81868210 edges, 66649 markings/sec, 190 secs
lola: 14801555 markings, 83777206 edges, 64488 markings/sec, 195 secs
lola: 15122632 markings, 85681925 edges, 64215 markings/sec, 200 secs
lola: 15454604 markings, 87636698 edges, 66394 markings/sec, 205 secs
lola: 15785229 markings, 89585472 edges, 66125 markings/sec, 210 secs
lola: 16106824 markings, 91497394 edges, 64319 markings/sec, 215 secs
lola: 16421957 markings, 93383061 edges, 63027 markings/sec, 220 secs
lola: 16749749 markings, 95314661 edges, 65558 markings/sec, 225 secs
lola: 17077022 markings, 97247956 edges, 65455 markings/sec, 230 secs
lola: 17389618 markings, 99122308 edges, 62519 markings/sec, 235 secs
lola: 17716975 markings, 101054821 edges, 65471 markings/sec, 240 secs
lola: 18035679 markings, 102953187 edges, 63741 markings/sec, 245 secs
lola: 18355902 markings, 104847937 edges, 64045 markings/sec, 250 secs
lola: 18681608 markings, 106771905 edges, 65141 markings/sec, 255 secs
lola: 18994065 markings, 108648725 edges, 62491 markings/sec, 260 secs
lola: 19312688 markings, 110552425 edges, 63725 markings/sec, 265 secs
lola: 19633212 markings, 112460059 edges, 64105 markings/sec, 270 secs
lola: 19947502 markings, 114337220 edges, 62858 markings/sec, 275 secs
lola: 20276163 markings, 116282998 edges, 65732 markings/sec, 280 secs
lola: 20592585 markings, 118180389 edges, 63284 markings/sec, 285 secs
lola: 20920734 markings, 120124738 edges, 65630 markings/sec, 290 secs
lola: 21239097 markings, 122018877 edges, 63673 markings/sec, 295 secs
lola: 21552262 markings, 123896190 edges, 62633 markings/sec, 300 secs
lola: 21862076 markings, 125757808 edges, 61963 markings/sec, 305 secs
lola: 22177917 markings, 127649251 edges, 63168 markings/sec, 310 secs
lola: 22492216 markings, 129529201 edges, 62860 markings/sec, 315 secs
lola: 22810058 markings, 131418768 edges, 63568 markings/sec, 320 secs
lola: 23116444 markings, 133270040 edges, 61277 markings/sec, 325 secs
lola: 23432370 markings, 135155016 edges, 63185 markings/sec, 330 secs
lola: 23744398 markings, 137026027 edges, 62406 markings/sec, 335 secs
lola: 24055458 markings, 138897001 edges, 62212 markings/sec, 340 secs
lola: 24360709 markings, 140743433 edges, 61050 markings/sec, 345 secs
lola: 24669229 markings, 142601547 edges, 61704 markings/sec, 350 secs
lola: 24977859 markings, 144465010 edges, 61726 markings/sec, 355 secs
lola: 25292187 markings, 146347848 edges, 62866 markings/sec, 360 secs
lola: 25598423 markings, 148201107 edges, 61247 markings/sec, 365 secs
lola: 25910381 markings, 150070919 edges, 62392 markings/sec, 370 secs
lola: 26218957 markings, 151929637 edges, 61715 markings/sec, 375 secs
lola: 26535119 markings, 153819435 edges, 63232 markings/sec, 380 secs
lola: 26834540 markings, 155638136 edges, 59884 markings/sec, 385 secs
lola: 27143258 markings, 157502552 edges, 61744 markings/sec, 390 secs
lola: 27451357 markings, 159354641 edges, 61620 markings/sec, 395 secs
lola: 27783361 markings, 161306050 edges, 66401 markings/sec, 400 secs
lola: 28139390 markings, 163345332 edges, 71206 markings/sec, 405 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown unknown unknown unknown unknown no unknown no
lola: memory consumption: 4921300 KB
lola: time consumption: 1514 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 411 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (G (((1 <= p96) AND (1 <= p119) AND (1 <= p145)))) OR E (F (((1 <= p49))))) U ((1 <= p31) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((EG(((1 <= p96) AND (1 <= p119) AND (1 <= p145))) OR EF(((1 <= p49)))) U ((1 <= p31) AND (1 <= p146)))
lola: processed formula length: 104
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 764 markings, 2721 edges
lola: ========================================
lola: subprocess 9 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145)))) AND (A (G (((1 <= p10)))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EG(((1 <= p71) AND (1 <= p145) AND (1 <= p59) AND (1 <= p84) AND (1 <= p145))) AND (AG(((1 <= p10))) OR ((1 <= p12) AND (1 <= p95) AND (1 <= p145) AND (1 <= p68) AND ((p47 <= 0) OR (p84 <= 0))))))
lola: processed formula length: 201
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 680682 markings, 2467669 edges, 136136 markings/sec, 0 secs
lola: 1262681 markings, 4769849 edges, 116400 markings/sec, 5 secs
lola: 1852436 markings, 7084320 edges, 117951 markings/sec, 10 secs
lola: 2467986 markings, 9441802 edges, 123110 markings/sec, 15 secs
lola: 3070618 markings, 11782443 edges, 120526 markings/sec, 20 secs
lola: 3652245 markings, 14094728 edges, 116325 markings/sec, 25 secs
lola: 4165752 markings, 16171798 edges, 102701 markings/sec, 30 secs
lola: 4675589 markings, 18270415 edges, 101967 markings/sec, 35 secs
lola: 5184494 markings, 20392651 edges, 101781 markings/sec, 40 secs
lola: 5701652 markings, 22547359 edges, 103432 markings/sec, 45 secs
lola: 6214536 markings, 24705054 edges, 102577 markings/sec, 50 secs
lola: 6714741 markings, 26821279 edges, 100041 markings/sec, 55 secs
lola: 7209515 markings, 28923605 edges, 98955 markings/sec, 60 secs
lola: 7693687 markings, 30988225 edges, 96834 markings/sec, 65 secs
lola: 8156954 markings, 32944683 edges, 92653 markings/sec, 70 secs
lola: 8607889 markings, 34876566 edges, 90187 markings/sec, 75 secs
lola: 9054882 markings, 36791429 edges, 89399 markings/sec, 80 secs
lola: 9502544 markings, 38713075 edges, 89532 markings/sec, 85 secs
lola: 9959561 markings, 40668592 edges, 91403 markings/sec, 90 secs
lola: 10391582 markings, 42548149 edges, 86404 markings/sec, 95 secs
lola: 10818352 markings, 44397042 edges, 85354 markings/sec, 100 secs
lola: 11241542 markings, 46244927 edges, 84638 markings/sec, 105 secs
lola: 11681041 markings, 48171825 edges, 87900 markings/sec, 110 secs
lola: 12142721 markings, 50159230 edges, 92336 markings/sec, 115 secs
lola: 12602629 markings, 52137740 edges, 91982 markings/sec, 120 secs
lola: 13230840 markings, 54532744 edges, 125642 markings/sec, 125 secs
lola: 13837141 markings, 56909567 edges, 121260 markings/sec, 130 secs
lola: 14439511 markings, 59267394 edges, 120474 markings/sec, 135 secs
lola: 14994118 markings, 61511164 edges, 110921 markings/sec, 140 secs
lola: 15470479 markings, 63467645 edges, 95272 markings/sec, 145 secs
lola: 15957682 markings, 65492478 edges, 97441 markings/sec, 150 secs
lola: 16449653 markings, 67502155 edges, 98394 markings/sec, 155 secs
lola: 16914223 markings, 69467583 edges, 92914 markings/sec, 160 secs
lola: 17405627 markings, 71534058 edges, 98281 markings/sec, 165 secs
lola: 17884102 markings, 73585163 edges, 95695 markings/sec, 170 secs
lola: 18317689 markings, 75416526 edges, 86717 markings/sec, 175 secs
lola: 18796965 markings, 77410518 edges, 95855 markings/sec, 180 secs
lola: 19431356 markings, 79820470 edges, 126878 markings/sec, 185 secs
lola: 19967294 markings, 81998007 edges, 107188 markings/sec, 190 secs
lola: 20415103 markings, 83916712 edges, 89562 markings/sec, 195 secs
lola: 20856605 markings, 85818420 edges, 88300 markings/sec, 200 secs
lola: 21390621 markings, 87916412 edges, 106803 markings/sec, 205 secs
lola: 21865104 markings, 89921384 edges, 94897 markings/sec, 210 secs
lola: 22312286 markings, 91846411 edges, 89436 markings/sec, 215 secs
lola: 22759314 markings, 93787934 edges, 89406 markings/sec, 220 secs
lola: 23212221 markings, 95756168 edges, 90581 markings/sec, 225 secs
lola: 23655810 markings, 97686590 edges, 88718 markings/sec, 230 secs
lola: 24111473 markings, 99656807 edges, 91133 markings/sec, 235 secs
lola: 24562100 markings, 101618346 edges, 90125 markings/sec, 240 secs
lola: 25075335 markings, 103746980 edges, 102647 markings/sec, 245 secs
lola: 25586252 markings, 105858390 edges, 102183 markings/sec, 250 secs
lola: 26066601 markings, 107902684 edges, 96070 markings/sec, 255 secs
lola: 26505843 markings, 109824574 edges, 87848 markings/sec, 260 secs
lola: 27002660 markings, 111904841 edges, 99363 markings/sec, 265 secs
lola: 27425501 markings, 113783391 edges, 84568 markings/sec, 270 secs
lola: 27893407 markings, 115786747 edges, 93581 markings/sec, 275 secs
lola: 28316365 markings, 117668139 edges, 84592 markings/sec, 280 secs
lola: 28749019 markings, 119572984 edges, 86531 markings/sec, 285 secs
lola: 29192720 markings, 121502365 edges, 88740 markings/sec, 290 secs
lola: 29619594 markings, 123386914 edges, 85375 markings/sec, 295 secs
lola: 30034883 markings, 125236847 edges, 83058 markings/sec, 300 secs
lola: 30487895 markings, 127201917 edges, 90602 markings/sec, 305 secs
lola: 30937466 markings, 129153389 edges, 89914 markings/sec, 310 secs
lola: 31382293 markings, 131098285 edges, 88965 markings/sec, 315 secs
lola: 31814521 markings, 133011732 edges, 86446 markings/sec, 320 secs
lola: 32240513 markings, 134907738 edges, 85198 markings/sec, 325 secs
lola: 32720717 markings, 136974200 edges, 96041 markings/sec, 330 secs
lola: 33153341 markings, 138897034 edges, 86525 markings/sec, 335 secs
lola: 33584818 markings, 140810145 edges, 86295 markings/sec, 340 secs
lola: 33996815 markings, 142665738 edges, 82399 markings/sec, 345 secs
lola: 34434439 markings, 144591990 edges, 87525 markings/sec, 350 secs
lola: 34855127 markings, 146480227 edges, 84138 markings/sec, 355 secs
lola: 35286042 markings, 148381927 edges, 86183 markings/sec, 360 secs
lola: 35719620 markings, 150289260 edges, 86716 markings/sec, 365 secs
lola: 36144288 markings, 152174945 edges, 84934 markings/sec, 370 secs
lola: 36557269 markings, 154022080 edges, 82596 markings/sec, 375 secs
lola: 36971364 markings, 155880012 edges, 82819 markings/sec, 380 secs
lola: 37389166 markings, 157748934 edges, 83560 markings/sec, 385 secs
lola: 37817222 markings, 159653474 edges, 85611 markings/sec, 390 secs
lola: 38228462 markings, 161517043 edges, 82248 markings/sec, 395 secs
lola: 38639983 markings, 163376921 edges, 82304 markings/sec, 400 secs
lola: 39053655 markings, 165236848 edges, 82734 markings/sec, 405 secs
lola: 39462619 markings, 167083883 edges, 81793 markings/sec, 410 secs
lola: 39893491 markings, 168992897 edges, 86174 markings/sec, 415 secs
lola: 40323921 markings, 170892630 edges, 86086 markings/sec, 420 secs
lola: 40747953 markings, 172780383 edges, 84806 markings/sec, 425 secs
lola: 41177200 markings, 174683690 edges, 85849 markings/sec, 430 secs
lola: 41584209 markings, 176522883 edges, 81402 markings/sec, 435 secs
lola: 41987934 markings, 178358083 edges, 80745 markings/sec, 440 secs
lola: 42411708 markings, 180237810 edges, 84755 markings/sec, 445 secs
lola: 42811942 markings, 182052272 edges, 80047 markings/sec, 450 secs
lola: 43229319 markings, 183923305 edges, 83475 markings/sec, 455 secs
lola: 43641911 markings, 185782665 edges, 82518 markings/sec, 460 secs
lola: 44045400 markings, 187616927 edges, 80698 markings/sec, 465 secs
lola: 44446101 markings, 189443948 edges, 80140 markings/sec, 470 secs
lola: 44873596 markings, 191332483 edges, 85499 markings/sec, 475 secs
lola: 45255054 markings, 193047083 edges, 76292 markings/sec, 480 secs
lola: 45629298 markings, 194737655 edges, 74849 markings/sec, 485 secs
lola: 46005843 markings, 196446490 edges, 75309 markings/sec, 490 secs
lola: 46377446 markings, 198133873 edges, 74321 markings/sec, 495 secs
lola: 46758727 markings, 199848255 edges, 76256 markings/sec, 500 secs
lola: 47133396 markings, 201545818 edges, 74934 markings/sec, 505 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown yes unknown unknown unknown unknown yes no unknown no
lola: memory consumption: 9306916 KB
lola: time consumption: 2028 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p29) AND (1 <= p146)))) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p145)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 514 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p23) AND (1 <= p72) AND (1 <= p145))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p23) AND (1 <= p72) AND (1 <= p145))
lola: processed formula length: 43
lola: 13 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p29) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p29) AND (1 <= p146))))
lola: processed formula length: 36
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p29) AND (1 <= p146))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (((1 <= p0)))) OR (A (F (((1 <= p27)))) OR ((1 <= p24) AND (1 <= p143) AND (1 <= p145))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p24) AND (1 <= p143) AND (1 <= p145))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p24) AND (1 <= p143) AND (1 <= p145))
lola: processed formula length: 44
lola: 13 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p27))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p27 <= 0))
lola: processed formula length: 12
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p27))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 18 markings, 18 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p38) AND (1 <= p146)))) AND (E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145)))) OR (((1 <= p1)) OR ((1 <= p36) AND (1 <= p71) AND (1 <= p145)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1542 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p38) AND (1 <= p146))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p38) AND (1 <= p146))))
lola: processed formula length: 36
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p38) AND (1 <= p146))
lola: state equation task get result unparse finished id 0
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p60) AND (1 <= p119) AND (1 <= p145))))
lola: processed formula length: 52
lola: 14 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p60) AND (1 <= p119) AND (1 <= p145))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3 markings, 2 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (((A (F (((1 <= p136) AND (1 <= p146)))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (E (X (((1 <= p107)))) AND ((1 <= p75)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E((AF(((1 <= p136) AND (1 <= p146))) OR (((p71 <= 0)) OR ((p8 <= 0)))) U (EX(((1 <= p107))) AND ((1 <= p75))))
lola: processed formula length: 110
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 345053 markings, 1567691 edges, 69011 markings/sec, 0 secs
lola: 685722 markings, 3181083 edges, 68134 markings/sec, 5 secs
lola: 1008047 markings, 4765432 edges, 64465 markings/sec, 10 secs
lola: 1321956 markings, 6337868 edges, 62782 markings/sec, 15 secs
lola: 1633157 markings, 7897200 edges, 62240 markings/sec, 20 secs
lola: 1982089 markings, 9525993 edges, 69786 markings/sec, 25 secs
lola: 2306570 markings, 11108184 edges, 64896 markings/sec, 30 secs
lola: 2644428 markings, 12716720 edges, 67572 markings/sec, 35 secs
lola: 2951500 markings, 14266864 edges, 61414 markings/sec, 40 secs
lola: 3267252 markings, 15825951 edges, 63150 markings/sec, 45 secs
lola: 3569541 markings, 17352786 edges, 60458 markings/sec, 50 secs
lola: 3867807 markings, 18877795 edges, 59653 markings/sec, 55 secs
lola: 4172215 markings, 20405521 edges, 60882 markings/sec, 60 secs
lola: 4473444 markings, 21940115 edges, 60246 markings/sec, 65 secs
lola: 4767633 markings, 23448246 edges, 58838 markings/sec, 70 secs
lola: 5061435 markings, 24973963 edges, 58760 markings/sec, 75 secs
lola: 5357614 markings, 26507236 edges, 59236 markings/sec, 80 secs
lola: 5653327 markings, 28036154 edges, 59143 markings/sec, 85 secs
lola: 5952265 markings, 29573344 edges, 59788 markings/sec, 90 secs
lola: 6245206 markings, 31104234 edges, 58588 markings/sec, 95 secs
lola: 6541352 markings, 32636331 edges, 59229 markings/sec, 100 secs
lola: 6832398 markings, 34149249 edges, 58209 markings/sec, 105 secs
lola: 7129985 markings, 35687893 edges, 59517 markings/sec, 110 secs
lola: 7418220 markings, 37200060 edges, 57647 markings/sec, 115 secs
lola: 7703266 markings, 38686888 edges, 57009 markings/sec, 120 secs
lola: 7983829 markings, 40166011 edges, 56113 markings/sec, 125 secs
lola: 8264325 markings, 41639709 edges, 56099 markings/sec, 130 secs
lola: 8542966 markings, 43117254 edges, 55728 markings/sec, 135 secs
lola: 8818085 markings, 44576698 edges, 55024 markings/sec, 140 secs
lola: 9097689 markings, 46054173 edges, 55921 markings/sec, 145 secs
lola: 9375567 markings, 47524751 edges, 55576 markings/sec, 150 secs
lola: 9670577 markings, 49051173 edges, 59002 markings/sec, 155 secs
lola: 9953755 markings, 50539897 edges, 56636 markings/sec, 160 secs
lola: 10238621 markings, 52022782 edges, 56973 markings/sec, 165 secs
lola: 10590594 markings, 53673200 edges, 70395 markings/sec, 170 secs
lola: 10916983 markings, 55276778 edges, 65278 markings/sec, 175 secs
lola: 11236001 markings, 56871118 edges, 63804 markings/sec, 180 secs
lola: 11575905 markings, 58497455 edges, 67981 markings/sec, 185 secs
lola: 11895029 markings, 60072539 edges, 63825 markings/sec, 190 secs
lola: 12207666 markings, 61639708 edges, 62527 markings/sec, 195 secs
lola: 12516430 markings, 63196774 edges, 61753 markings/sec, 200 secs
lola: 12824569 markings, 64760257 edges, 61628 markings/sec, 205 secs
lola: 13123119 markings, 66299361 edges, 59710 markings/sec, 210 secs
lola: 13392054 markings, 67692849 edges, 53787 markings/sec, 215 secs
lola: 13679870 markings, 69174824 edges, 57563 markings/sec, 220 secs
lola: 13963669 markings, 70644406 edges, 56760 markings/sec, 225 secs
lola: 14248360 markings, 72124452 edges, 56938 markings/sec, 230 secs
lola: 14531387 markings, 73599265 edges, 56605 markings/sec, 235 secs
lola: 14810467 markings, 75060778 edges, 55816 markings/sec, 240 secs
lola: 15094741 markings, 76536269 edges, 56855 markings/sec, 245 secs
lola: 15371573 markings, 77991098 edges, 55366 markings/sec, 250 secs
lola: 15652252 markings, 79458375 edges, 56136 markings/sec, 255 secs
lola: 15927169 markings, 80906971 edges, 54983 markings/sec, 260 secs
lola: 16236384 markings, 82427366 edges, 61843 markings/sec, 265 secs
lola: 16572330 markings, 84037549 edges, 67189 markings/sec, 270 secs
lola: 16890904 markings, 85608837 edges, 63715 markings/sec, 275 secs
lola: 17210248 markings, 87175221 edges, 63869 markings/sec, 280 secs
lola: 17528792 markings, 88721575 edges, 63709 markings/sec, 285 secs
lola: 17804391 markings, 90164609 edges, 55120 markings/sec, 290 secs
lola: 18094131 markings, 91653751 edges, 57948 markings/sec, 295 secs
lola: 18368217 markings, 93106384 edges, 54817 markings/sec, 300 secs
lola: 18645460 markings, 94556037 edges, 55449 markings/sec, 305 secs
lola: 18915377 markings, 95986624 edges, 53983 markings/sec, 310 secs
lola: 19184517 markings, 97413881 edges, 53828 markings/sec, 315 secs
lola: 19458137 markings, 98848004 edges, 54724 markings/sec, 320 secs
lola: 19750118 markings, 100346125 edges, 58396 markings/sec, 325 secs
lola: 20016455 markings, 101763352 edges, 53267 markings/sec, 330 secs
lola: 20283974 markings, 103191878 edges, 53504 markings/sec, 335 secs
lola: 20549529 markings, 104607660 edges, 53111 markings/sec, 340 secs
lola: 20851793 markings, 106119787 edges, 60453 markings/sec, 345 secs
lola: 21132776 markings, 107577016 edges, 56197 markings/sec, 350 secs
lola: 21398712 markings, 108998757 edges, 53187 markings/sec, 355 secs
lola: 21667244 markings, 110423726 edges, 53706 markings/sec, 360 secs
lola: 21923911 markings, 111812145 edges, 51333 markings/sec, 365 secs
lola: 22189280 markings, 113227899 edges, 53074 markings/sec, 370 secs
lola: 22451128 markings, 114631925 edges, 52370 markings/sec, 375 secs
lola: 22709326 markings, 116027402 edges, 51640 markings/sec, 380 secs
lola: 22975703 markings, 117454140 edges, 53275 markings/sec, 385 secs
lola: 23232750 markings, 118838630 edges, 51409 markings/sec, 390 secs
lola: 23493914 markings, 120240354 edges, 52233 markings/sec, 395 secs
lola: 23756291 markings, 121646970 edges, 52475 markings/sec, 400 secs
lola: 24011827 markings, 123032723 edges, 51107 markings/sec, 405 secs
lola: 24268357 markings, 124418580 edges, 51306 markings/sec, 410 secs
lola: 24521009 markings, 125796014 edges, 50530 markings/sec, 415 secs
lola: 24780718 markings, 127184605 edges, 51942 markings/sec, 420 secs
lola: 25044862 markings, 128594777 edges, 52829 markings/sec, 425 secs
lola: 25300246 markings, 129969916 edges, 51077 markings/sec, 430 secs
lola: 25553147 markings, 131346068 edges, 50580 markings/sec, 435 secs
lola: 25820170 markings, 132762360 edges, 53405 markings/sec, 440 secs
lola: 26076167 markings, 134149990 edges, 51199 markings/sec, 445 secs
lola: 26330667 markings, 135526848 edges, 50900 markings/sec, 450 secs
lola: 26595989 markings, 136949366 edges, 53064 markings/sec, 455 secs
lola: 26851900 markings, 138329014 edges, 51182 markings/sec, 460 secs
lola: 27125131 markings, 139764593 edges, 54646 markings/sec, 465 secs
lola: 27381678 markings, 141148684 edges, 51309 markings/sec, 470 secs
lola: 27631924 markings, 142519284 edges, 50049 markings/sec, 475 secs
lola: 27890177 markings, 143913003 edges, 51651 markings/sec, 480 secs
lola: 28150313 markings, 145308949 edges, 52027 markings/sec, 485 secs
lola: 28419877 markings, 146750245 edges, 53913 markings/sec, 490 secs
lola: 28695171 markings, 148216082 edges, 55059 markings/sec, 495 secs
lola: 28930131 markings, 149506162 edges, 46992 markings/sec, 500 secs
lola: 29194252 markings, 150911101 edges, 52824 markings/sec, 505 secs
lola: 29448118 markings, 152285669 edges, 50773 markings/sec, 510 secs
lola: 29726239 markings, 153736536 edges, 55624 markings/sec, 515 secs
lola: 29981222 markings, 155121258 edges, 50997 markings/sec, 520 secs
lola: 30251995 markings, 156551315 edges, 54155 markings/sec, 525 secs
lola: 30501745 markings, 157916563 edges, 49950 markings/sec, 530 secs
lola: 30749486 markings, 159274108 edges, 49548 markings/sec, 535 secs
lola: 31002062 markings, 160650406 edges, 50515 markings/sec, 540 secs
lola: 31262390 markings, 162049403 edges, 52066 markings/sec, 545 secs
lola: 31508395 markings, 163398387 edges, 49201 markings/sec, 550 secs
lola: 31763435 markings, 164781745 edges, 51008 markings/sec, 555 secs
lola: 32019666 markings, 166175935 edges, 51246 markings/sec, 560 secs
lola: 32283958 markings, 167600975 edges, 52858 markings/sec, 565 secs
lola: 32538868 markings, 168998382 edges, 50982 markings/sec, 570 secs
lola: 32806612 markings, 170432160 edges, 53549 markings/sec, 575 secs
lola: 33071081 markings, 171866265 edges, 52894 markings/sec, 580 secs
lola: 33343636 markings, 173324434 edges, 54511 markings/sec, 585 secs
lola: 33607305 markings, 174755176 edges, 52734 markings/sec, 590 secs
lola: 33859486 markings, 176152615 edges, 50436 markings/sec, 595 secs
lola: 34113957 markings, 177555733 edges, 50894 markings/sec, 600 secs
lola: 34375143 markings, 178970445 edges, 52237 markings/sec, 605 secs
lola: 34654223 markings, 180437742 edges, 55816 markings/sec, 610 secs
lola: 34908721 markings, 181832426 edges, 50900 markings/sec, 615 secs
lola: 35159804 markings, 183221179 edges, 50217 markings/sec, 620 secs
lola: 35417975 markings, 184629841 edges, 51634 markings/sec, 625 secs
lola: 35672632 markings, 186025670 edges, 50931 markings/sec, 630 secs
lola: 35918943 markings, 187392413 edges, 49262 markings/sec, 635 secs
lola: 36194204 markings, 188858133 edges, 55052 markings/sec, 640 secs
lola: 36464357 markings, 190304271 edges, 54031 markings/sec, 645 secs
lola: 36728902 markings, 191732431 edges, 52909 markings/sec, 650 secs
lola: 36986643 markings, 193145556 edges, 51548 markings/sec, 655 secs
lola: 37239391 markings, 194545327 edges, 50550 markings/sec, 660 secs
lola: 37502959 markings, 195971358 edges, 52714 markings/sec, 665 secs
lola: 37770408 markings, 197413902 edges, 53490 markings/sec, 670 secs
lola: 38034517 markings, 198843471 edges, 52822 markings/sec, 675 secs
lola: 38293156 markings, 200249239 edges, 51728 markings/sec, 680 secs
lola: 38541776 markings, 201626971 edges, 49724 markings/sec, 685 secs
lola: 38799273 markings, 203036503 edges, 51499 markings/sec, 690 secs
lola: 39049346 markings, 204422477 edges, 50015 markings/sec, 695 secs
lola: 39298884 markings, 205801830 edges, 49908 markings/sec, 700 secs
lola: 39554775 markings, 207208588 edges, 51178 markings/sec, 705 secs
lola: 39818212 markings, 208635314 edges, 52687 markings/sec, 710 secs
lola: 40092598 markings, 210096660 edges, 54877 markings/sec, 715 secs
lola: 40351449 markings, 211505120 edges, 51770 markings/sec, 720 secs
lola: 40606972 markings, 212908986 edges, 51105 markings/sec, 725 secs
lola: 40864710 markings, 214319934 edges, 51548 markings/sec, 730 secs
lola: 41128133 markings, 215748821 edges, 52685 markings/sec, 735 secs
lola: 41380344 markings, 217144295 edges, 50442 markings/sec, 740 secs
lola: 41642423 markings, 218562788 edges, 52416 markings/sec, 745 secs
lola: 41897716 markings, 219967815 edges, 51059 markings/sec, 750 secs
lola: 42151278 markings, 221358333 edges, 50712 markings/sec, 755 secs
lola: 42405381 markings, 222761653 edges, 50821 markings/sec, 760 secs
lola: 42661758 markings, 224165874 edges, 51275 markings/sec, 765 secs
lola: 42914794 markings, 225561521 edges, 50607 markings/sec, 770 secs
lola: 43166603 markings, 226948968 edges, 50362 markings/sec, 775 secs
lola: 43416926 markings, 228335798 edges, 50065 markings/sec, 780 secs
lola: 43674836 markings, 229750764 edges, 51582 markings/sec, 785 secs
lola: 43929265 markings, 231150724 edges, 50886 markings/sec, 790 secs
lola: 44176966 markings, 232522862 edges, 49540 markings/sec, 795 secs
lola: 44438566 markings, 233949697 edges, 52320 markings/sec, 800 secs
lola: 44701701 markings, 235361425 edges, 52627 markings/sec, 805 secs
lola: 44938354 markings, 236677495 edges, 47331 markings/sec, 810 secs
lola: 45180127 markings, 238013561 edges, 48355 markings/sec, 815 secs
lola: 45429395 markings, 239368719 edges, 49854 markings/sec, 820 secs
lola: 45666165 markings, 240684457 edges, 47354 markings/sec, 825 secs
lola: 45909441 markings, 242019445 edges, 48655 markings/sec, 830 secs
lola: 46151338 markings, 243350626 edges, 48379 markings/sec, 835 secs
lola: 46392859 markings, 244682043 edges, 48304 markings/sec, 840 secs
lola: 46626901 markings, 245988026 edges, 46808 markings/sec, 845 secs
lola: 46862663 markings, 247305026 edges, 47152 markings/sec, 850 secs
lola: 46974569 markings, 247924430 edges, 22381 markings/sec, 855 secs
lola: 46974569 markings, 247924430 edges, 0 markings/sec, 860 secs
lola: 46974569 markings, 247924430 edges, 0 markings/sec, 865 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 46974569 markings, 247924430 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (X (E (F (A (G (((1 <= p95) AND (1 <= p120) AND (1 <= p145))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(EF(AG(((1 <= p95) AND (1 <= p120) AND (1 <= p145)))))
lola: processed formula length: 56
lola: 16 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 691493 markings, 2507440 edges, 138299 markings/sec, 0 secs
lola: 1297156 markings, 4910106 edges, 121133 markings/sec, 5 secs
lola: 1927758 markings, 7348775 edges, 126120 markings/sec, 10 secs
lola: 2552709 markings, 9780915 edges, 124990 markings/sec, 15 secs
lola: 3177127 markings, 12192874 edges, 124884 markings/sec, 20 secs
lola: 3756540 markings, 14508328 edges, 115883 markings/sec, 25 secs
lola: 4314029 markings, 16767302 edges, 111498 markings/sec, 30 secs
lola: 4846141 markings, 18975441 edges, 106422 markings/sec, 35 secs
lola: 5364494 markings, 21138884 edges, 103671 markings/sec, 40 secs
lola: 5875425 markings, 23275032 edges, 102186 markings/sec, 45 secs
lola: 6359862 markings, 25324512 edges, 96887 markings/sec, 50 secs
lola: 6842864 markings, 27359083 edges, 96600 markings/sec, 55 secs
lola: 7313287 markings, 29357649 edges, 94085 markings/sec, 60 secs
lola: 7774328 markings, 31336214 edges, 92208 markings/sec, 65 secs
lola: 8259990 markings, 33382518 edges, 97132 markings/sec, 70 secs
lola: 8697082 markings, 35255766 edges, 87418 markings/sec, 75 secs
lola: 9170874 markings, 37290440 edges, 94758 markings/sec, 80 secs
lola: 9641858 markings, 39318597 edges, 94197 markings/sec, 85 secs
lola: 10097905 markings, 41275558 edges, 91209 markings/sec, 90 secs
lola: 10533790 markings, 43169503 edges, 87177 markings/sec, 95 secs
lola: 10979115 markings, 45100354 edges, 89065 markings/sec, 100 secs
lola: 11408740 markings, 46974511 edges, 85925 markings/sec, 105 secs
lola: 11856657 markings, 48936733 edges, 89583 markings/sec, 110 secs
lola: 12341653 markings, 50993203 edges, 96999 markings/sec, 115 secs
lola: 12790737 markings, 52872682 edges, 89817 markings/sec, 120 secs
lola: 13416937 markings, 55263830 edges, 125240 markings/sec, 125 secs
lola: 14007926 markings, 57573106 edges, 118198 markings/sec, 130 secs
lola: 14570375 markings, 59792152 edges, 112490 markings/sec, 135 secs
lola: 15077052 markings, 61855411 edges, 101335 markings/sec, 140 secs
lola: 15588007 markings, 63954250 edges, 102191 markings/sec, 145 secs
lola: 16115035 markings, 66129841 edges, 105406 markings/sec, 150 secs
lola: 16641504 markings, 68312502 edges, 105294 markings/sec, 155 secs
lola: 17100215 markings, 70240822 edges, 91742 markings/sec, 160 secs
lola: 17567918 markings, 72222936 edges, 93541 markings/sec, 165 secs
lola: 18040375 markings, 74249638 edges, 94491 markings/sec, 170 secs
lola: 18533083 markings, 76341323 edges, 98542 markings/sec, 175 secs
lola: 19098966 markings, 78528691 edges, 113177 markings/sec, 180 secs
lola: 19682810 markings, 80828866 edges, 116769 markings/sec, 185 secs
lola: 20155451 markings, 82799796 edges, 94528 markings/sec, 190 secs
lola: 20603719 markings, 84722585 edges, 89654 markings/sec, 195 secs
lola: 21089353 markings, 86781830 edges, 97127 markings/sec, 200 secs
lola: 21664885 markings, 89066127 edges, 115106 markings/sec, 205 secs
lola: 22139450 markings, 91099207 edges, 94913 markings/sec, 210 secs
lola: 22603016 markings, 93104680 edges, 92713 markings/sec, 215 secs
lola: 23061239 markings, 95096405 edges, 91645 markings/sec, 220 secs
lola: 23518043 markings, 97081841 edges, 91361 markings/sec, 225 secs
lola: 23954845 markings, 98974300 edges, 87360 markings/sec, 230 secs
lola: 24376083 markings, 100821812 edges, 84248 markings/sec, 235 secs
lola: 24902033 markings, 102978074 edges, 105190 markings/sec, 240 secs
lola: 25386340 markings, 105050137 edges, 96861 markings/sec, 245 secs
lola: 25913892 markings, 107238375 edges, 105510 markings/sec, 250 secs
lola: 26364391 markings, 109206084 edges, 90100 markings/sec, 255 secs
lola: 26871646 markings, 111329893 edges, 101451 markings/sec, 260 secs
lola: 27303406 markings, 113245340 edges, 86352 markings/sec, 265 secs
lola: 27787157 markings, 115315951 edges, 96750 markings/sec, 270 secs
lola: 28220039 markings, 117239245 edges, 86576 markings/sec, 275 secs
lola: 28657151 markings, 119174159 edges, 87422 markings/sec, 280 secs
lola: 29114172 markings, 121160712 edges, 91404 markings/sec, 285 secs
lola: 29553840 markings, 123096664 edges, 87934 markings/sec, 290 secs
lola: 29978223 markings, 124987515 edges, 84877 markings/sec, 295 secs
lola: 30443808 markings, 127004698 edges, 93117 markings/sec, 300 secs
lola: 30900340 markings, 128988524 edges, 91306 markings/sec, 305 secs
lola: 31344898 markings, 130936460 edges, 88912 markings/sec, 310 secs
lola: 31783269 markings, 132868857 edges, 87674 markings/sec, 315 secs
lola: 32214029 markings, 134791827 edges, 86152 markings/sec, 320 secs
lola: 32693013 markings, 136857563 edges, 95797 markings/sec, 325 secs
lola: 33132020 markings, 138803124 edges, 87801 markings/sec, 330 secs
lola: 33565605 markings, 140726892 edges, 86717 markings/sec, 335 secs
lola: 33983425 markings, 142606750 edges, 83564 markings/sec, 340 secs
lola: 34420505 markings, 144535145 edges, 87416 markings/sec, 345 secs
lola: 34846359 markings, 146440706 edges, 85171 markings/sec, 350 secs
lola: 35283359 markings, 148371428 edges, 87400 markings/sec, 355 secs
lola: 35733788 markings, 150348044 edges, 90086 markings/sec, 360 secs
lola: 36162972 markings, 152259015 edges, 85837 markings/sec, 365 secs
lola: 36583690 markings, 154140597 edges, 84144 markings/sec, 370 secs
lola: 37005582 markings, 156035455 edges, 84378 markings/sec, 375 secs
lola: 37426909 markings, 157921221 edges, 84265 markings/sec, 380 secs
lola: 37813363 markings, 159637051 edges, 77291 markings/sec, 385 secs
lola: 38200661 markings, 161387665 edges, 77460 markings/sec, 390 secs
lola: 38589995 markings, 163150073 edges, 77867 markings/sec, 395 secs
lola: 38975053 markings, 164890149 edges, 77012 markings/sec, 400 secs
lola: 39365240 markings, 166642400 edges, 78037 markings/sec, 405 secs
lola: 39774703 markings, 168453793 edges, 81893 markings/sec, 410 secs
lola: 40168592 markings, 170211743 edges, 78778 markings/sec, 415 secs
lola: 40564070 markings, 171976143 edges, 79096 markings/sec, 420 secs
lola: 40985039 markings, 173823134 edges, 84194 markings/sec, 425 secs
lola: 41370419 markings, 175557561 edges, 77076 markings/sec, 430 secs
lola: 41750249 markings, 177277701 edges, 75966 markings/sec, 435 secs
lola: 42149067 markings, 179060325 edges, 79764 markings/sec, 440 secs
lola: 42531896 markings, 180787673 edges, 76566 markings/sec, 445 secs
lola: 42909770 markings, 182499660 edges, 75575 markings/sec, 450 secs
lola: 43305672 markings, 184271699 edges, 79180 markings/sec, 455 secs
lola: 43695425 markings, 186031839 edges, 77951 markings/sec, 460 secs
lola: 44077089 markings, 187764192 edges, 76333 markings/sec, 465 secs
lola: 44454126 markings, 189482832 edges, 75407 markings/sec, 470 secs
lola: 44861401 markings, 191281096 edges, 81455 markings/sec, 475 secs
lola: 45253312 markings, 193040458 edges, 78382 markings/sec, 480 secs
lola: 45632220 markings, 194752124 edges, 75782 markings/sec, 485 secs
lola: 46014183 markings, 196485348 edges, 76393 markings/sec, 490 secs
lola: 46388545 markings, 198185794 edges, 74872 markings/sec, 495 secs
lola: 46775019 markings, 199924688 edges, 77295 markings/sec, 500 secs
lola: 47154414 markings, 201643383 edges, 75879 markings/sec, 505 secs
lola: 47533131 markings, 203367407 edges, 75743 markings/sec, 510 secs
lola: 47913625 markings, 205096588 edges, 76099 markings/sec, 515 secs
lola: 48293838 markings, 206824140 edges, 76043 markings/sec, 520 secs
lola: 48681719 markings, 208566793 edges, 77576 markings/sec, 525 secs
lola: 49052441 markings, 210265070 edges, 74144 markings/sec, 530 secs
lola: 49423517 markings, 211958525 edges, 74215 markings/sec, 535 secs
lola: 49789895 markings, 213638257 edges, 73276 markings/sec, 540 secs
lola: 50156411 markings, 215318306 edges, 73303 markings/sec, 545 secs
lola: 50560176 markings, 217154078 edges, 80753 markings/sec, 550 secs
lola: 50966443 markings, 219000401 edges, 81253 markings/sec, 555 secs
lola: 51322610 markings, 220618264 edges, 71233 markings/sec, 560 secs
lola: 51712282 markings, 222364821 edges, 77934 markings/sec, 565 secs
lola: 52119164 markings, 224195904 edges, 81376 markings/sec, 570 secs
lola: 52530079 markings, 226042055 edges, 82183 markings/sec, 575 secs
lola: 52896362 markings, 227695822 edges, 73257 markings/sec, 580 secs
lola: 53282986 markings, 229442889 edges, 77325 markings/sec, 585 secs
lola: 53660980 markings, 231157510 edges, 75599 markings/sec, 590 secs
lola: 54041255 markings, 232876897 edges, 76055 markings/sec, 595 secs
lola: 54427810 markings, 234646711 edges, 77311 markings/sec, 600 secs
lola: 54833183 markings, 236480262 edges, 81075 markings/sec, 605 secs
lola: 55191674 markings, 238121006 edges, 71698 markings/sec, 610 secs
lola: 55570198 markings, 239839367 edges, 75705 markings/sec, 615 secs
lola: 55958456 markings, 241584826 edges, 77652 markings/sec, 620 secs
lola: 56330824 markings, 243287173 edges, 74474 markings/sec, 625 secs
lola: 56712862 markings, 245032428 edges, 76408 markings/sec, 630 secs
lola: 57127054 markings, 246895747 edges, 82838 markings/sec, 635 secs
lola: 57506924 markings, 248653895 edges, 75974 markings/sec, 640 secs
lola: 57890929 markings, 250426633 edges, 76801 markings/sec, 645 secs
lola: 58244812 markings, 252061787 edges, 70777 markings/sec, 650 secs
lola: 58618435 markings, 253760156 edges, 74725 markings/sec, 655 secs
lola: 59022505 markings, 255568132 edges, 80814 markings/sec, 660 secs
lola: time limit reached - aborting
lola: lola:
preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no
preliminary result: unknown yes unknown yes yes yes unknown unknown unknown yes no unknown no
lola: memory consumption: 56168 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
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="FlexibleBarrier-PT-12a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is FlexibleBarrier-PT-12a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815700324"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-12a.tgz
mv FlexibleBarrier-PT-12a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;