About the Execution of ITS-LoLa for FMS-PT-02000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15796.060 | 3600000.00 | 3332699.00 | 194068.00 | ?FF?T?F?F???T??? | 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-158987815300076.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 FMS-PT-02000, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815300076
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.3K Apr 1 20:20 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 1 20:20 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 1 13:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 1 13:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.8K Apr 8 14:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 1 10:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 1 10:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 1 06:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 1 06:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 1 13:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 1 13:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 16K 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 FMS-PT-02000-CTLFireability-00
FORMULA_NAME FMS-PT-02000-CTLFireability-01
FORMULA_NAME FMS-PT-02000-CTLFireability-02
FORMULA_NAME FMS-PT-02000-CTLFireability-03
FORMULA_NAME FMS-PT-02000-CTLFireability-04
FORMULA_NAME FMS-PT-02000-CTLFireability-05
FORMULA_NAME FMS-PT-02000-CTLFireability-06
FORMULA_NAME FMS-PT-02000-CTLFireability-07
FORMULA_NAME FMS-PT-02000-CTLFireability-08
FORMULA_NAME FMS-PT-02000-CTLFireability-09
FORMULA_NAME FMS-PT-02000-CTLFireability-10
FORMULA_NAME FMS-PT-02000-CTLFireability-11
FORMULA_NAME FMS-PT-02000-CTLFireability-12
FORMULA_NAME FMS-PT-02000-CTLFireability-13
FORMULA_NAME FMS-PT-02000-CTLFireability-14
FORMULA_NAME FMS-PT-02000-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591148805259
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 01:46:48] [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-03 01:46:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 01:46:48] [INFO ] Load time of PNML (sax parser for PT used): 52 ms
[2020-06-03 01:46:48] [INFO ] Transformed 22 places.
[2020-06-03 01:46:48] [INFO ] Transformed 20 transitions.
[2020-06-03 01:46:48] [INFO ] Parsed PT model containing 22 places and 20 transitions in 121 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 24 ms.
Finished random walk after 42445 steps, including 0 resets, run visited all 18 properties in 66 ms. (steps per millisecond=643 )
[2020-06-03 01:46:48] [INFO ] Flatten gal took : 33 ms
[2020-06-03 01:46:48] [INFO ] Flatten gal took : 8 ms
[2020-06-03 01:46:48] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 4 ms.
[2020-06-03 01:46:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 1 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FMS-PT-02000 @ 3570 seconds
FORMULA FMS-PT-02000-CTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-04 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FMS-PT-02000-CTLFireability-05 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ FMS-PT-02000
{
"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",
"--check=modelchecking",
"--stubborn=tarjan",
"--stateequation=par",
"--quickchecks",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ctl",
"--json=CTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed Jun 3 01:46:51 2020
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"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": "((p11 <= 0) AND (p20 <= 0))",
"processed_size": 27,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 239
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"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": "(1 <= p14)",
"processed_size": 10,
"rewrites": 33
},
"result":
{
"edges": 11,
"markings": 12,
"produced_by": "state space /EXEF",
"value": false
},
"task":
{
"compoundnumber": 3,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance_from_all_successors",
"workflow": "stateequation"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": false
},
"task":
{
"compoundnumber": 2,
"type": "boolean"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 240
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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": "A (G ((1 <= p20)))",
"processed_size": 18,
"rewrites": 32
},
"result":
{
"edges": 2000,
"markings": 2001,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 5,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 264
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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": "A (G ((1 <= p4)))",
"processed_size": 17,
"rewrites": 32
},
"result":
{
"edges": 2000,
"markings": 2001,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 293
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 3,
"adisj": 2,
"aneg": 1,
"comp": 9,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 9,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 7,
"visible_transitions": 0
},
"processed": "A (G (((p19 <= 0) OR (p2 <= 0) OR (p18 <= 0) OR (((p8 <= 0) OR (p10 <= 0)) AND ((p2 <= 0) OR (p18 <= 0))) OR ((1 <= p5) AND (1 <= p7)))))",
"processed_size": 143,
"rewrites": 32
},
"result":
{
"edges": 11,
"markings": 12,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 24,
"problems": 4
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 329
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 1,
"F": 0,
"G": 0,
"U": 1,
"X": 0,
"aconj": 0,
"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 (((p16 <= 0) U (1 <= p12)))",
"processed_size": 29,
"rewrites": 33
},
"result":
{
"edges": 36003,
"markings": 30004,
"produced_by": "state space /EU",
"value": true
},
"task":
{
"compoundnumber": 14,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "eu preserving",
"visible": 1
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "existential_until",
"workflow": "stateequation"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 658
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 658
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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": "(1 <= p19)",
"processed_size": 10,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 15,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"exit":
{
"localtimelimitreached": false
},
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 15,
"type": "boolean"
}
},
{
"formula":
{
"count":
{
"A": 0,
"E": 3,
"F": 2,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 2,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "EF((EX((1 <= p4)) AND EF((1 <= p12))))",
"processed_size": 38,
"rewrites": 33
},
"net":
{
"conflict_clusters": 17,
"singleton_clusters": 0
},
"result":
{
"edges": 235962769,
"markings": 132002891,
"produced_by": "CTL model checker",
"value": true
},
"task":
{
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
},
{
"child":
[
{
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"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": "(1 <= p19)",
"processed_size": 10,
"rewrites": 30
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 17,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
}
],
"result":
{
"produced_by": "boolean",
"value": null
},
"task":
{
"compoundnumber": 17,
"type": "boolean"
}
}
],
"exit":
{
"error": null,
"memory": 1548,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "CTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(G(E(F(**)))) : A(G(**)) : A(G(*)) : A(G(E(F(**)))) : E(F((E(X(**)) AND E(F(**))))) : (** OR E(F(A(X(**))))) : (A(X(A(G(**)))) OR (** AND E(X(**)))) : E(F(A(G(**)))) : A(G(**)) : E(F(A(X(**)))) : E(F(A(G(*)))) : (A(G(E(F(*)))) AND E(G(A(X(*))))) : E((** U **)) : A(G((** OR (E(F(**)) AND **)))) : E(F(A(G(**)))) : (** OR E(F(**)))"
},
"net":
{
"arcs": 50,
"conflict_clusters": 17,
"places": 22,
"places_significant": 16,
"singleton_clusters": 0,
"transitions": 20
},
"result":
{
"interim_value": "unknown no no unknown yes unknown no unknown no unknown unknown unknown yes unknown unknown unknown ",
"preliminary_value": "unknown no no unknown yes unknown no unknown no unknown unknown unknown yes unknown unknown unknown "
},
"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: 42/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 704
lola: finding significant places
lola: 22 places, 20 transitions, 16 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: E (G (A (G (E (F ((1 <= p21))))))) : A (G ((1 <= p20))) : NOT(E (F (((1 <= p19) AND (1 <= p2) AND (1 <= p18) AND (((1 <= p8) AND (1 <= p10)) OR ((1 <= p2) AND (1 <= p18))) AND ((p5 <= 0) OR (p7 <= 0)))))) : A (G (E (G (E (F ((1 <= p19))))))) : E (F ((E (X ((1 <= p4))) AND E (F ((1 <= p12)))))) : ((1 <= p19) OR E (F (A (X (((1 <= p9) AND (1 <= p13) AND (1 <= p15))))))) : (A (G (A (X ((p14 <= 0))))) OR (((p11 <= 0) AND (p20 <= 0)) AND E (X ((1 <= p19))))) : E (F (A (G (E (G ((1 <= p4))))))) : NOT(E (F (NOT(A (G ((1 <= p4))))))) : E (F (A (F (A (X ((1 <= p11))))))) : E (F (NOT(E (F (((1 <= p14) AND (1 <= p2) AND (1 <= p18))))))) : (NOT(E (F (A (G ((1 <= p19)))))) AND NOT(A (F (E (X ((1 <= p6))))))) : E (((p16 <= 0) U (1 <= p12))) : A (G (((1 <= p0) OR (E (F ((1 <= p3))) AND ((p0 <= 0) OR ((1 <= p8) AND (1 <= p10))))))) : E (F (A (F (A (G ((1 <= p19))))))) : ((1 <= p19) OR E (F (A (F ((p4 <= 0))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:476
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:398
lola: rewrite Frontend/Parser/formula_rewrite.k:458
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:401
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: rewrite Frontend/Parser/formula_rewrite.k:455
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((1 <= p4))) AND E (F ((1 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EX((1 <= p4)) AND EF((1 <= p12))))
lola: processed formula length: 38
lola: 33 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: 4223297 markings, 5628000 edges, 844659 markings/sec, 0 secs
lola: 8225384 markings, 10964025 edges, 800417 markings/sec, 5 secs
lola: 11910299 markings, 15876476 edges, 736983 markings/sec, 10 secs
lola: 16035207 markings, 22713243 edges, 824982 markings/sec, 15 secs
lola: 20254120 markings, 29743841 edges, 843783 markings/sec, 20 secs
lola: 24351439 markings, 36571307 edges, 819464 markings/sec, 25 secs
lola: 27993616 markings, 42640902 edges, 728435 markings/sec, 30 secs
lola: 31629624 markings, 48700164 edges, 727202 markings/sec, 35 secs
lola: 34838601 markings, 54047446 edges, 641795 markings/sec, 40 secs
lola: 38230157 markings, 59699855 edges, 678311 markings/sec, 45 secs
lola: 41653476 markings, 65403773 edges, 684664 markings/sec, 50 secs
lola: 44974504 markings, 70939143 edges, 664206 markings/sec, 55 secs
lola: 48334662 markings, 76538759 edges, 672032 markings/sec, 60 secs
lola: 51796733 markings, 82308180 edges, 692414 markings/sec, 65 secs
lola: 55215745 markings, 88005486 edges, 683802 markings/sec, 70 secs
lola: 58576527 markings, 93606354 edges, 672156 markings/sec, 75 secs
lola: 61881452 markings, 99113515 edges, 660985 markings/sec, 80 secs
lola: 65216871 markings, 104671658 edges, 667084 markings/sec, 85 secs
lola: 68468302 markings, 110089899 edges, 650286 markings/sec, 90 secs
lola: 71618687 markings, 115339956 edges, 630077 markings/sec, 95 secs
lola: 74908402 markings, 121786943 edges, 657943 markings/sec, 100 secs
lola: 78033197 markings, 128036143 edges, 624959 markings/sec, 105 secs
lola: 81297638 markings, 134564616 edges, 652888 markings/sec, 110 secs
lola: 84719125 markings, 141407217 edges, 684297 markings/sec, 115 secs
lola: 87844354 markings, 147657544 edges, 625046 markings/sec, 120 secs
lola: 90825576 markings, 153619865 edges, 596244 markings/sec, 125 secs
lola: 93634922 markings, 159238440 edges, 561869 markings/sec, 130 secs
lola: 96454796 markings, 164878073 edges, 563975 markings/sec, 135 secs
lola: 99241024 markings, 170450412 edges, 557246 markings/sec, 140 secs
lola: 102006325 markings, 175980897 edges, 553060 markings/sec, 145 secs
lola: 104755572 markings, 181479277 edges, 549849 markings/sec, 150 secs
lola: 107473721 markings, 186915462 edges, 543630 markings/sec, 155 secs
lola: 110191401 markings, 192350709 edges, 543536 markings/sec, 160 secs
lola: 112903562 markings, 197774918 edges, 542432 markings/sec, 165 secs
lola: 115301885 markings, 202572346 edges, 479665 markings/sec, 170 secs
lola: 117202091 markings, 206374248 edges, 380041 markings/sec, 175 secs
lola: 119531003 markings, 211030587 edges, 465782 markings/sec, 180 secs
lola: 120282673 markings, 212532830 edges, 150334 markings/sec, 185 secs
lola: 122297986 markings, 216563372 edges, 403063 markings/sec, 190 secs
lola: 123131452 markings, 218230270 edges, 166693 markings/sec, 195 secs
lola: 125187954 markings, 222343189 edges, 411300 markings/sec, 200 secs
lola: 126344861 markings, 224656955 edges, 231381 markings/sec, 205 secs
lola: 127815403 markings, 227597976 edges, 294108 markings/sec, 210 secs
lola: 129273996 markings, 230515101 edges, 291719 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p19) OR E (F (A (X (((1 <= p9) AND (1 <= p13) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p19)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p19)
lola: processed formula length: 10
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p9) AND (1 <= p13) AND (1 <= p15))))))
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 <= p9) AND (1 <= p13) AND (1 <= p15))))
lola: processed formula length: 49
lola: 32 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: 3570489 markings, 4757843 edges, 714098 markings/sec, 0 secs
lola: 6974692 markings, 9296300 edges, 680841 markings/sec, 5 secs
lola: 10299675 markings, 13729392 edges, 664997 markings/sec, 10 secs
lola: 13741961 markings, 18891419 edges, 688457 markings/sec, 15 secs
lola: 17283933 markings, 24794330 edges, 708394 markings/sec, 20 secs
lola: 20835462 markings, 30712351 edges, 710306 markings/sec, 25 secs
lola: 24433845 markings, 36708101 edges, 719677 markings/sec, 30 secs
lola: 27694871 markings, 42143262 edges, 652205 markings/sec, 35 secs
lola: 30704259 markings, 47157624 edges, 601878 markings/sec, 40 secs
lola: 33813981 markings, 52340419 edges, 621944 markings/sec, 45 secs
lola: 36848732 markings, 57397289 edges, 606950 markings/sec, 50 secs
lola: 39861351 markings, 62417901 edges, 602524 markings/sec, 55 secs
lola: 42869164 markings, 67430901 edges, 601563 markings/sec, 60 secs
lola: 45851082 markings, 72400113 edges, 596384 markings/sec, 65 secs
lola: 48778670 markings, 77278680 edges, 585518 markings/sec, 70 secs
lola: 51801922 markings, 82316555 edges, 604650 markings/sec, 75 secs
lola: 54658793 markings, 87077701 edges, 571374 markings/sec, 80 secs
lola: 57608636 markings, 91992773 edges, 589969 markings/sec, 85 secs
lola: 60527678 markings, 96858251 edges, 583808 markings/sec, 90 secs
lola: 63490847 markings, 101795969 edges, 592634 markings/sec, 95 secs
lola: 66411520 markings, 106662706 edges, 584135 markings/sec, 100 secs
lola: 69317775 markings, 111506612 edges, 581251 markings/sec, 105 secs
lola: 72133796 markings, 116238078 edges, 563204 markings/sec, 110 secs
lola: 75004943 markings, 121980014 edges, 574229 markings/sec, 115 secs
lola: 77774563 markings, 127518909 edges, 553924 markings/sec, 120 secs
lola: 80586740 markings, 133142908 edges, 562435 markings/sec, 125 secs
lola: 83491098 markings, 138951261 edges, 580872 markings/sec, 130 secs
lola: 86353761 markings, 144676422 edges, 572533 markings/sec, 135 secs
lola: 89061762 markings, 150092312 edges, 541600 markings/sec, 140 secs
lola: 91659992 markings, 155288659 edges, 519646 markings/sec, 145 secs
lola: 94008624 markings, 159986563 edges, 469726 markings/sec, 150 secs
lola: 95017306 markings, 162004394 edges, 201736 markings/sec, 155 secs
lola: 96640487 markings, 165249588 edges, 324636 markings/sec, 160 secs
lola: 97815918 markings, 167600254 edges, 235086 markings/sec, 165 secs
lola: 99268798 markings, 170505953 edges, 290576 markings/sec, 170 secs
lola: 100677568 markings, 173323434 edges, 281754 markings/sec, 175 secs
lola: 102383490 markings, 176735208 edges, 341184 markings/sec, 180 secs
lola: 103746576 markings, 179461325 edges, 272617 markings/sec, 185 secs
lola: 105008196 markings, 181984514 edges, 252324 markings/sec, 190 secs
lola: 106134050 markings, 184236174 edges, 225171 markings/sec, 195 secs
lola: 107660155 markings, 187288320 edges, 305221 markings/sec, 200 secs
lola: 108696929 markings, 189361824 edges, 207355 markings/sec, 205 secs
lola: 109885304 markings, 191738525 edges, 237675 markings/sec, 210 secs
lola: 111309114 markings, 194586085 edges, 284762 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown 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 unknown unknown unknown
lola: memory consumption: 696 KB
lola: time consumption: 450 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 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (A (G ((p14 <= 0))))) OR (((p11 <= 0) AND (p20 <= 0)) AND E (X ((1 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p11 <= 0) AND (p20 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p11 <= 0) AND (p20 <= 0))
lola: processed formula length: 27
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 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 3 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G ((p14 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:624
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (1 <= p14)
lola: processed formula length: 10
lola: 33 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 /EXEF)
lola: state space: using reachability graph (EXef version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--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:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p14)
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 /EXEF
lola: The predicate is not invariant from successors.
lola: 12 markings, 11 edges
lola: state equation: write sara problem file to CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
sara: try reading problem file CTLFireability-3-0.sara.
lola: ========================================
lola: subprocess 3 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X ((1 <= p11)))))
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 <= p11)))
lola: processed formula length: 18
lola: 32 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: 3479579 markings, 4636501 edges, 695916 markings/sec, 0 secs
lola: 6899118 markings, 9195958 edges, 683908 markings/sec, 5 secs
lola: 10245155 markings, 13656862 edges, 669207 markings/sec, 10 secs
lola: 13693161 markings, 18809833 edges, 689601 markings/sec, 15 secs
lola: 17259541 markings, 24753552 edges, 713276 markings/sec, 20 secs
lola: 20804901 markings, 30661240 edges, 709072 markings/sec, 25 secs
lola: 24383257 markings, 36624200 edges, 715671 markings/sec, 30 secs
lola: 27655064 markings, 42075869 edges, 654361 markings/sec, 35 secs
lola: 30798089 markings, 47313962 edges, 628605 markings/sec, 40 secs
lola: 33895566 markings, 52475568 edges, 619495 markings/sec, 45 secs
lola: 38328827 markings, 59863446 edges, 886652 markings/sec, 50 secs
lola: 41344900 markings, 64890687 edges, 603215 markings/sec, 55 secs
lola: 44331696 markings, 69867659 edges, 597359 markings/sec, 60 secs
lola: 47272204 markings, 74768060 edges, 588102 markings/sec, 65 secs
lola: 50248288 markings, 79727606 edges, 595217 markings/sec, 70 secs
lola: 53218989 markings, 84678392 edges, 594140 markings/sec, 75 secs
lola: 56173477 markings, 89601119 edges, 590898 markings/sec, 80 secs
lola: 59089556 markings, 94460713 edges, 583216 markings/sec, 85 secs
lola: 61995997 markings, 99304579 edges, 581288 markings/sec, 90 secs
lola: 64898148 markings, 104140337 edges, 580430 markings/sec, 95 secs
lola: 67668341 markings, 108758068 edges, 554039 markings/sec, 100 secs
lola: 70474462 markings, 113433742 edges, 561224 markings/sec, 105 secs
lola: 73323100 markings, 118616536 edges, 569728 markings/sec, 110 secs
lola: 76136013 markings, 124242010 edges, 562583 markings/sec, 115 secs
lola: 78894976 markings, 129759590 edges, 551793 markings/sec, 120 secs
lola: 81671161 markings, 135311613 edges, 555237 markings/sec, 125 secs
lola: 84615652 markings, 141200274 edges, 588898 markings/sec, 130 secs
lola: 87364962 markings, 146698779 edges, 549862 markings/sec, 135 secs
lola: 90036838 markings, 152042421 edges, 534375 markings/sec, 140 secs
lola: 92564342 markings, 157098307 edges, 505501 markings/sec, 145 secs
lola: 94006462 markings, 159982528 edges, 288424 markings/sec, 150 secs
lola: 95258430 markings, 162485828 edges, 250394 markings/sec, 155 secs
lola: 96499449 markings, 164967373 edges, 248204 markings/sec, 160 secs
lola: 97762771 markings, 167493963 edges, 252664 markings/sec, 165 secs
lola: 99051843 markings, 170072055 edges, 257814 markings/sec, 170 secs
lola: 100837389 markings, 173643073 edges, 357109 markings/sec, 175 secs
lola: 102046641 markings, 176061527 edges, 241850 markings/sec, 180 secs
lola: 103334376 markings, 178636942 edges, 257547 markings/sec, 185 secs
lola: 104402303 markings, 180772753 edges, 213585 markings/sec, 190 secs
lola: 105948761 markings, 183865604 edges, 309292 markings/sec, 195 secs
lola: 106990682 markings, 185949402 edges, 208384 markings/sec, 200 secs
lola: 108578114 markings, 189124200 edges, 317486 markings/sec, 205 secs
lola: 109782641 markings, 191533205 edges, 240905 markings/sec, 210 secs
lola: 111189148 markings, 194346158 edges, 281301 markings/sec, 215 secs
lola: 112512081 markings, 196991972 edges, 264587 markings/sec, 220 secs
lola: 113639860 markings, 199247480 edges, 225556 markings/sec, 225 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F ((p19 <= 0))))) AND E (G (A (X ((p6 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((p19 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (p19 <= 0)
lola: processed formula length: 10
lola: 33 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:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p19)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p19 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-4-0.sara
lola: lola: state equation: write sara problem file to CTLFireability-4-1.sara
state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-4-0.sara.
sara: try reading problem file CTLFireability-4-1.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4211715 markings, 7012204 edges, 842343 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 8522569 markings, 14194652 edges, 862171 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 12879350 markings, 21455016 edges, 871356 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 16731805 markings, 27875122 edges, 770491 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 20422494 markings, 34025732 edges, 738138 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 24014410 markings, 40011409 edges, 718383 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 27580331 markings, 45953914 edges, 713184 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 31127140 markings, 51864793 edges, 709362 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 34610399 markings, 57669632 edges, 696652 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 38074844 markings, 63442756 edges, 692889 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 41577771 markings, 69279881 edges, 700585 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 45014922 markings, 75008421 edges, 687430 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 48400187 markings, 80649289 edges, 677053 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 51829428 markings, 86365060 edges, 685848 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 55196201 markings, 91975903 edges, 673355 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 58590019 markings, 97630831 edges, 678764 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 61863645 markings, 103705557 edges, 654725 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 65092419 markings, 110162702 edges, 645755 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 68360820 markings, 116699093 edges, 653680 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 71821298 markings, 123619617 edges, 692096 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 74879031 markings, 129734939 edges, 611547 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 77848912 markings, 135674577 edges, 593976 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 80709950 markings, 141396533 edges, 572208 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 83528515 markings, 147033545 edges, 563713 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 85795778 markings, 151567978 edges, 453453 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 88347688 markings, 156671691 edges, 510382 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 91126337 markings, 162228872 edges, 555730 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 93893375 markings, 167762832 edges, 553408 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 96618541 markings, 173213053 edges, 545033 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 99413756 markings, 178803364 edges, 559043 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102168712 markings, 184313161 edges, 550991 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 104894476 markings, 189764577 edges, 545153 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 107611486 markings, 195198482 edges, 543402 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 110378433 markings, 200732262 edges, 553389 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 113145037 markings, 206265354 edges, 553321 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 115935373 markings, 211845911 edges, 558067 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 118713609 markings, 217402266 edges, 555647 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 121698730 markings, 223354146 edges, 597024 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 124721756 markings, 229399694 edges, 604605 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 127824570 markings, 235604800 edges, 620563 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 130957294 markings, 241869729 edges, 626545 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 134313677 markings, 248581929 edges, 671277 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 137595310 markings, 255144826 edges, 656327 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 140646206 markings, 261246312 edges, 610179 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 143613849 markings, 267181295 edges, 593529 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 146457900 markings, 272869113 edges, 568810 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 149270810 markings, 278494650 edges, 562582 markings/sec, 230 secs
lola: local time limit reached - aborting
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2880 KB
lola: time consumption: 929 seconds
lola: print data as JSON (--json)
lola: memory consumption: 2880 KB
lola: time consumption: 929 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.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 5 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= p20)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((1 <= p20)))
lola: processed formula length: 18
lola: 32 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p20 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2001 markings, 2000 edges
lola: ========================================
lola: subprocess 6 will run for 264 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((1 <= p4)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((1 <= p4)))
lola: processed formula length: 17
lola: 32 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p4 <= 0)
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
lola: The predicate is not invariant.
lola: 2001 markings, 2000 edges
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: ========================================
lola: subprocess 7 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((p19 <= 0) OR (p2 <= 0) OR (p18 <= 0) OR (((p8 <= 0) OR (p10 <= 0)) AND ((p2 <= 0) OR (p18 <= 0))) OR ((1 <= p5) AND (1 <= p7)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: A (G (((p19 <= 0) OR (p2 <= 0) OR (p18 <= 0) OR (((p8 <= 0) OR (p10 <= 0)) AND ((p2 <= 0) OR (p18 <= 0))) OR ((1 <= p5) AND (1 <= p7)))))
lola: processed formula length: 143
lola: 32 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:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 12 markings, 11 edges
lola: formula 0: ((1 <= p19) AND (1 <= p2) AND (1 <= p18) AND (((1 <= p8) AND (1 <= p10)) OR ((1 <= p2) AND (1 <= p18))) AND ((p5 <= 0) OR (p7 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 24 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-7-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 8 will run for 330 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p19)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (1 <= p19)
lola: processed formula length: 10
lola: 33 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p19 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p19)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
sara: try reading problem file CTLFireability-7-0.sara.
lola: state equation: write sara problem file to CTLFireability-8-0.sara
lola: state equation: write sara problem file to CTLFireability-8-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-1.sara.
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-8-0.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 5022565 markings, 6194592 edges, 1004513 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 9836684 markings, 12135941 edges, 962824 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 14502946 markings, 17894464 edges, 933252 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 18864598 markings, 23276431 edges, 872330 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 23341125 markings, 28800835 edges, 895305 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 27954859 markings, 34493278 edges, 922747 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 32467950 markings, 40062462 edges, 902618 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 36933206 markings, 45573059 edges, 893051 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 41347484 markings, 51019479 edges, 882856 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 45745251 markings, 56447424 edges, 879553 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 50209486 markings, 61956770 edges, 892847 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 54659331 markings, 67446751 edges, 889969 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 59012614 markings, 72818468 edges, 870657 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 63352268 markings, 78173490 edges, 867931 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 67584822 markings, 83397351 edges, 846511 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 71857465 markings, 88670307 edges, 854529 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 76250885 markings, 94091180 edges, 878684 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 80548249 markings, 99394413 edges, 859473 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 84764788 markings, 104596908 edges, 843308 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 88818049 markings, 109599438 edges, 810652 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 92864512 markings, 114592128 edges, 809293 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 96977180 markings, 119667178 edges, 822534 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 101363035 markings, 125080534 edges, 877171 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 105677049 markings, 130404157 edges, 862803 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 109924072 markings, 135643990 edges, 849405 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 114158799 markings, 140870508 edges, 846945 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 118337259 markings, 146026370 edges, 835692 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 122424121 markings, 151070048 edges, 817372 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 126643892 markings, 156276506 edges, 843954 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 130778877 markings, 161379123 edges, 826997 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 134915928 markings, 166484270 edges, 827410 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 139067348 markings, 171607017 edges, 830284 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 143155037 markings, 176651709 edges, 817538 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 147438670 markings, 181938125 edges, 856727 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 151613705 markings, 187089792 edges, 835007 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 155443853 markings, 191815574 edges, 766030 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 159523947 markings, 196850966 edges, 816019 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 163425352 markings, 201665767 edges, 780281 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 167272490 markings, 206412360 edges, 769428 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 171142355 markings, 211188533 edges, 773973 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 175166634 markings, 216153821 edges, 804856 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 179096803 markings, 221003848 edges, 786034 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 182977105 markings, 225792804 edges, 776060 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 186576442 markings, 230234169 edges, 719867 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 188919909 markings, 233261224 edges, 468693 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 190918407 markings, 236165828 edges, 399700 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 193335166 markings, 239773179 edges, 483352 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 195440292 markings, 242947256 edges, 421025 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 198163967 markings, 246855935 edges, 544735 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 200580668 markings, 250566159 edges, 483340 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 202640931 markings, 253837849 edges, 412053 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 205538601 markings, 258179729 edges, 579534 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 207464579 markings, 261035798 edges, 385196 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 209598378 markings, 264284121 edges, 426760 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 211543709 markings, 267541642 edges, 389066 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 212494275 markings, 268832488 edges, 190113 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 214367166 markings, 271716509 edges, 374578 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 215549060 markings, 273421567 edges, 236379 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 217066594 markings, 275663586 edges, 303507 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 218570251 markings, 278110479 edges, 300731 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 219663421 markings, 279885706 edges, 218634 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 221370618 markings, 282682985 edges, 341439 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 222408457 markings, 284112137 edges, 207568 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 224392993 markings, 287230386 edges, 396907 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 15787472 KB
lola: time consumption: 1260 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 9 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((1 <= p21)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: rewrite Frontend/Parser/formula_rewrite.k:603
lola: rewrite Frontend/Parser/formula_rewrite.k:613
lola: rewrite Frontend/Parser/formula_rewrite.k:703
lola: processed formula: (1 <= p21)
lola: processed formula length: 10
lola: 33 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:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (p21 <= 0)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (1 <= p21)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-9-1.sara
lola: state equation: write sara problem file to CTLFireability-9-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-9-1.sara.
sara: try reading problem file CTLFireability-9-0.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4232953 markings, 5641375 edges, 846591 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 8315867 markings, 11084725 edges, 816583 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 12297164 markings, 16485118 edges, 796259 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 16080324 markings, 22779267 edges, 756632 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 19541609 markings, 28539059 edges, 692257 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 22643813 markings, 33700207 edges, 620441 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 25468040 markings, 38402434 edges, 564845 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 28459028 markings, 43383802 edges, 598198 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 31706246 markings, 48793244 edges, 649444 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 35170111 markings, 54563647 edges, 692773 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 38404948 markings, 60711739 edges, 646967 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 41166633 markings, 66223038 edges, 552337 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 43882824 markings, 71643571 edges, 543238 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 46521327 markings, 76909033 edges, 527701 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 49518609 markings, 81978788 edges, 599456 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 52761136 markings, 87376141 edges, 648505 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 55961735 markings, 92703779 edges, 640120 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 59697705 markings, 98919251 edges, 747194 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 63341061 markings, 104976936 edges, 728671 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 66816619 markings, 110754569 edges, 695112 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 70209269 markings, 116395426 edges, 678530 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 73551432 markings, 121951471 edges, 668433 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 76813514 markings, 127375236 edges, 652416 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 80124019 markings, 132878468 edges, 662101 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 83374002 markings, 138281094 edges, 649997 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 86535164 markings, 143537563 edges, 632232 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 89781952 markings, 148934952 edges, 649358 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 93004920 markings, 154292716 edges, 644594 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 96130130 markings, 159492582 edges, 625042 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 99335293 markings, 164832904 edges, 641033 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 102622999 markings, 170312263 edges, 657541 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 106082219 markings, 176076061 edges, 691844 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 109331446 markings, 182225940 edges, 649845 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 112143124 markings, 187833585 edges, 562336 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 114956456 markings, 193170474 edges, 562666 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 118231396 markings, 198628310 edges, 654988 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 121603221 markings, 204245855 edges, 674365 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 125149246 markings, 210155417 edges, 709205 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 128872412 markings, 216713691 edges, 744633 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 132448795 markings, 222660180 edges, 715277 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 135855280 markings, 228324031 edges, 681297 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 139185745 markings, 233860331 edges, 666093 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 142471968 markings, 239324470 edges, 657245 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 145680658 markings, 244658036 edges, 641738 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 148955210 markings, 250102908 edges, 654910 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 151312383 markings, 254021230 edges, 471435 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 154061210 markings, 258591695 edges, 549765 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 156820691 markings, 263178443 edges, 551896 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 158968802 markings, 266750056 edges, 429622 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 160686212 markings, 269605214 edges, 343482 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 162581776 markings, 272757479 edges, 379113 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 164672636 markings, 276236124 edges, 418172 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 166058561 markings, 278545107 edges, 277185 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 167751815 markings, 281366557 edges, 338651 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 169174093 markings, 283736611 edges, 284456 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 170888140 markings, 286593251 edges, 342809 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 172262822 markings, 288883755 edges, 274936 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 173754817 markings, 291369717 edges, 298399 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 175293778 markings, 293933773 edges, 307792 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 177080758 markings, 297231358 edges, 357396 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 178406699 markings, 299734908 edges, 265188 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 179444230 markings, 301612357 edges, 207506 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 179898704 markings, 302427095 edges, 90895 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 181186063 markings, 304929903 edges, 257472 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 15974236 KB
lola: time consumption: 1592 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 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p4)))))
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: (p4 <= 0)
lola: processed formula length: 9
lola: 34 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: (1 <= p4)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 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: (p4 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-10-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLFireability-10-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-10-0.sara.
sara: try reading problem file CTLFireability-10-1.sara.
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4203052 markings, 5600530 edges, 840610 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 8134919 markings, 10842347 edges, 786373 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 11956349 markings, 15937540 edges, 764286 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 16024698 markings, 22694225 edges, 813670 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 19834178 markings, 29042075 edges, 761896 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 23566287 markings, 35261205 edges, 746422 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 27257952 markings, 41413458 edges, 738333 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 30851507 markings, 47401520 edges, 718711 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 34456575 markings, 53408604 edges, 721014 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 37979409 markings, 59279243 edges, 704567 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 41492029 markings, 65133461 edges, 702524 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 44968930 markings, 70926527 edges, 695380 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 48269922 markings, 76509273 edges, 660198 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 51091009 markings, 82150624 edges, 564217 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 53887427 markings, 87742644 edges, 559284 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 56829997 markings, 93626924 edges, 588514 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 60106425 markings, 100167224 edges, 655286 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 63091307 markings, 106114620 edges, 596976 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 65830947 markings, 111594062 edges, 547928 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 68608411 markings, 117099560 edges, 555493 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 72117466 markings, 124023742 edges, 701811 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 75599272 markings, 130904464 edges, 696361 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 78815613 markings, 137434214 edges, 643268 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 81766914 markings, 143336985 edges, 590260 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 84665523 markings, 149134566 edges, 579722 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 88106416 markings, 155922628 edges, 688179 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 91510080 markings, 162676524 edges, 680733 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 94712613 markings, 169298649 edges, 640507 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 97901948 markings, 175935282 edges, 637867 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 101241014 markings, 182645888 edges, 667813 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 104414928 markings, 189277950 edges, 634783 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 107701664 markings, 195943616 edges, 657347 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 111003986 markings, 202549348 edges, 660464 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 114115784 markings, 209142106 edges, 622360 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 117257553 markings, 215659264 edges, 628354 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 120403876 markings, 222147044 edges, 629265 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 123443492 markings, 228626138 edges, 607923 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 126712727 markings, 235241076 edges, 653847 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 129902524 markings, 241681332 edges, 637959 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 133130451 markings, 248211015 edges, 645585 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 136218710 markings, 254669091 edges, 617652 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 139346724 markings, 261216317 edges, 625603 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 142450724 markings, 267628270 edges, 620800 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 145582343 markings, 274101776 edges, 626324 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 148530789 markings, 280414170 edges, 589689 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 151473805 markings, 286631826 edges, 588603 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 152324089 markings, 288550448 edges, 170057 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 154155501 markings, 292458023 edges, 366282 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 155293926 markings, 294872258 edges, 227685 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 157006083 markings, 298355137 edges, 342431 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 158738929 markings, 302164437 edges, 346569 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 160345229 markings, 305462056 edges, 321260 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 161953247 markings, 308890478 edges, 321604 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 163760070 markings, 312749317 edges, 361365 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 165189180 markings, 315776247 edges, 285822 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 167309518 markings, 320040495 edges, 424068 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 168922371 markings, 323468830 edges, 322571 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 170431521 markings, 326642265 edges, 301830 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 172720421 markings, 331546517 edges, 457780 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 174315634 markings, 334847709 edges, 319043 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 176034632 markings, 338664185 edges, 343800 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 177715536 markings, 342229384 edges, 336181 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 179664561 markings, 346355889 edges, 389805 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 181240886 markings, 349679177 edges, 315265 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 183183249 markings, 353796823 edges, 388473 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 15853072 KB
lola: time consumption: 1922 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 11 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((1 <= p19)))))
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: (p19 <= 0)
lola: processed formula length: 10
lola: 34 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: (1 <= p19)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 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: (p19 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-11-0.sara
lola: state equation: write sara problem file to CTLFireability-11-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: sara: try reading problem file CTLFireability-11-0.sara.try reading problem file CTLFireability-11-1.sara.
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4245496 markings, 7067755 edges, 849099 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 8582784 markings, 14295065 edges, 867458 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 12935192 markings, 21548688 edges, 870482 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 16749975 markings, 27905460 edges, 762957 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 20415068 markings, 34012882 edges, 733019 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 24021666 markings, 40023327 edges, 721320 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 27599819 markings, 45986886 edges, 715631 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 31123712 markings, 51859525 edges, 704779 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 34607439 markings, 57664666 edges, 696745 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 38071476 markings, 63438020 edges, 692807 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 41523302 markings, 69189383 edges, 690365 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 44906642 markings, 74828158 edges, 676668 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 48259827 markings, 80416598 edges, 670637 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 51664967 markings, 86090171 edges, 681028 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 55009622 markings, 91664783 edges, 668931 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 58408652 markings, 97328133 edges, 679806 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 61834074 markings, 103646420 edges, 685084 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 65115995 markings, 110209852 edges, 656384 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 68422311 markings, 116822069 edges, 661263 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 71923589 markings, 123824187 edges, 700256 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 75196008 markings, 130368880 edges, 654484 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 78327724 markings, 136632178 edges, 626343 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 81278584 markings, 142533779 edges, 590172 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 84154864 markings, 148286217 edges, 575256 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 87000385 markings, 153977139 edges, 569104 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 89819654 markings, 159615561 edges, 563854 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 92596383 markings, 165168904 edges, 555346 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 95358272 markings, 170692566 edges, 552378 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 98145353 markings, 176266611 edges, 557416 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 100934993 markings, 181845776 edges, 557928 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 103682486 markings, 187340646 edges, 549499 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 106396837 markings, 192769235 edges, 542870 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 109111486 markings, 198198419 edges, 542930 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 111875037 markings, 203725407 edges, 552710 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 114650461 markings, 209276139 edges, 555085 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 117491248 markings, 214957595 edges, 568157 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 120276894 markings, 220510710 edges, 557129 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 123333471 markings, 226623356 edges, 611315 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 126400582 markings, 232757064 edges, 613422 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 129519909 markings, 238995198 edges, 623865 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 132722420 markings, 245399684 edges, 640502 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 136157346 markings, 252269039 edges, 686985 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 139237956 markings, 258429950 edges, 616122 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 142264824 markings, 264483381 edges, 605374 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 145117865 markings, 270189177 edges, 570608 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 147620992 markings, 275195180 edges, 500625 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 150397698 markings, 280748312 edges, 555341 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 153106607 markings, 286165865 edges, 541782 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 155307337 markings, 290567103 edges, 440146 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 157175720 markings, 294303677 edges, 373677 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 159057048 markings, 298066147 edges, 376266 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 160280069 markings, 300512063 edges, 244604 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 162348189 markings, 304648100 edges, 413624 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 163907645 markings, 307766855 edges, 311891 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 165376044 markings, 310703508 edges, 293680 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 166789113 markings, 313529499 edges, 282614 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 168270254 markings, 316491632 edges, 296228 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 169623904 markings, 319198800 edges, 270730 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 171096715 markings, 322144272 edges, 294562 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 172790942 markings, 325532557 edges, 338845 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 174422318 markings, 328795143 edges, 326275 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 175915752 markings, 331781863 edges, 298687 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 177380370 markings, 334710950 edges, 292924 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 179099808 markings, 338149657 edges, 343888 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 180732406 markings, 341414686 edges, 326520 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 15822292 KB
lola: time consumption: 2254 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 12 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p14 <= 0) OR (p2 <= 0) OR (p18 <= 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:788
lola: processed formula: ((1 <= p14) AND (1 <= p2) AND (1 <= p18))
lola: processed formula length: 41
lola: 34 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 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p14) AND (1 <= p2) AND (1 <= p18))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
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: ((p14 <= 0) OR (p2 <= 0) OR (p18 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-12-1.sara
lola: state equation: write sara problem file to CTLFireability-12-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-12-1.sara.
sara: try reading problem file CTLFireability-12-0.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 4944255 markings, 5702867 edges, 988851 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 9578888 markings, 11050278 edges, 926927 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 14119896 markings, 16289692 edges, 908202 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 18608052 markings, 21468473 edges, 897631 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 22524172 markings, 26274789 edges, 783224 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 26191620 markings, 30858840 edges, 733490 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 29893915 markings, 35486416 edges, 740459 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 33688068 markings, 40228760 edges, 758831 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 37219755 markings, 44818619 edges, 706337 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 40276600 markings, 49011290 edges, 611369 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 43252653 markings, 53187520 edges, 595211 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 46099380 markings, 57212132 edges, 569345 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 48944710 markings, 61232922 edges, 569066 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 51672980 markings, 65086662 edges, 545654 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 54370990 markings, 68874367 edges, 539602 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 57024192 markings, 72646377 edges, 530640 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 59658514 markings, 76379250 edges, 526864 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 62243606 markings, 80069007 edges, 517018 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 64666080 markings, 83561036 edges, 484495 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 67130880 markings, 87096846 edges, 492960 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 69694877 markings, 90736663 edges, 512799 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 72120905 markings, 94212719 edges, 485206 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 74417474 markings, 97532263 edges, 459314 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 76722617 markings, 100850057 edges, 461029 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 79082595 markings, 104234074 edges, 471996 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 81381280 markings, 107524829 edges, 459737 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 83860163 markings, 111039662 edges, 495777 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 86204865 markings, 114454361 edges, 468940 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 88431988 markings, 117686905 edges, 445425 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 90723626 markings, 121004818 edges, 458328 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 92989685 markings, 124233926 edges, 453212 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 95180377 markings, 127403321 edges, 438138 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 97424001 markings, 130657275 edges, 448725 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 99687155 markings, 133907975 edges, 452631 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 101825894 markings, 137015143 edges, 427748 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 104050922 markings, 140187000 edges, 445006 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 106314436 markings, 143399188 edges, 452703 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 108436219 markings, 146503398 edges, 424357 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 110629844 markings, 149692319 edges, 438725 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 112822484 markings, 152845281 edges, 438528 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 114989518 markings, 155955240 edges, 433407 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 117291768 markings, 159225507 edges, 460450 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 119427229 markings, 162317438 edges, 427092 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 121572523 markings, 165453763 edges, 429059 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 123726278 markings, 168525242 edges, 430751 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 125780482 markings, 171517215 edges, 410841 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 128004995 markings, 174659681 edges, 444903 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 130182642 markings, 177757341 edges, 435529 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 132203985 markings, 180693562 edges, 404269 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 134326619 markings, 183736140 edges, 424527 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 136512168 markings, 186880183 edges, 437110 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 138687398 markings, 190033241 edges, 435046 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 140901412 markings, 193230486 edges, 442803 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 142929206 markings, 196174216 edges, 405559 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 145092291 markings, 199240372 edges, 432617 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 147094856 markings, 202154439 edges, 400513 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 149169231 markings, 205155386 edges, 414875 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 151376006 markings, 208325780 edges, 441355 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 153384119 markings, 211218139 edges, 401623 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 155496333 markings, 214281027 edges, 422443 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 157491219 markings, 217200509 edges, 398977 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 159551270 markings, 220239344 edges, 412010 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 161551269 markings, 223115752 edges, 400000 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 163743065 markings, 226218518 edges, 438359 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 165835156 markings, 229233773 edges, 418418 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 10290340 KB
lola: time consumption: 2583 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 13 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((1 <= p0) OR (E (F ((1 <= p3))) AND ((p0 <= 0) OR ((1 <= p8) AND (1 <= p10)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(((1 <= p0) OR (EF((1 <= p3)) AND ((p0 <= 0) OR ((1 <= p8) AND (1 <= p10))))))
lola: processed formula length: 81
lola: 32 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: 4061715 markings, 5412561 edges, 812343 markings/sec, 0 secs
lola: 8042892 markings, 10720331 edges, 796235 markings/sec, 5 secs
lola: 11901438 markings, 15865188 edges, 771709 markings/sec, 10 secs
lola: 16200438 markings, 22987655 edges, 859800 markings/sec, 15 secs
lola: 20413857 markings, 30009263 edges, 842684 markings/sec, 20 secs
lola: 24634711 markings, 37043612 edges, 844171 markings/sec, 25 secs
lola: 28376720 markings, 43279030 edges, 748402 markings/sec, 30 secs
lola: 31952691 markings, 49238226 edges, 715194 markings/sec, 35 secs
lola: 35474023 markings, 55106156 edges, 704266 markings/sec, 40 secs
lola: 38946153 markings, 60892670 edges, 694426 markings/sec, 45 secs
lola: 42350827 markings, 66566332 edges, 680935 markings/sec, 50 secs
lola: 45753614 markings, 72237198 edges, 680557 markings/sec, 55 secs
lola: 49143933 markings, 77887128 edges, 678064 markings/sec, 60 secs
lola: 52541152 markings, 83548862 edges, 679444 markings/sec, 65 secs
lola: 55936385 markings, 89206615 edges, 679047 markings/sec, 70 secs
lola: 59248065 markings, 94725286 edges, 662336 markings/sec, 75 secs
lola: 62567855 markings, 100258179 edges, 663958 markings/sec, 80 secs
lola: 65799358 markings, 105642508 edges, 646301 markings/sec, 85 secs
lola: 69046486 markings, 111054091 edges, 649426 markings/sec, 90 secs
lola: 72223889 markings, 116418253 edges, 635481 markings/sec, 95 secs
lola: 75585386 markings, 123140825 edges, 672299 markings/sec, 100 secs
lola: 78839948 markings, 129649541 edges, 650912 markings/sec, 105 secs
lola: 82132681 markings, 136234597 edges, 658547 markings/sec, 110 secs
lola: 85536157 markings, 143041248 edges, 680695 markings/sec, 115 secs
lola: 88631897 markings, 149232598 edges, 619148 markings/sec, 120 secs
lola: 91601466 markings, 155171612 edges, 593914 markings/sec, 125 secs
lola: 94464586 markings, 160897733 edges, 572624 markings/sec, 130 secs
lola: 97265414 markings, 166499272 edges, 560166 markings/sec, 135 secs
lola: 100003620 markings, 171975571 edges, 547641 markings/sec, 140 secs
lola: 102713115 markings, 177394446 edges, 541899 markings/sec, 145 secs
lola: 105443128 markings, 182854360 edges, 546003 markings/sec, 150 secs
lola: 108110477 markings, 188188945 edges, 533470 markings/sec, 155 secs
lola: 110809703 markings, 193587284 edges, 539845 markings/sec, 160 secs
lola: 113499473 markings, 198966712 edges, 537954 markings/sec, 165 secs
lola: 116039188 markings, 204047280 edges, 507943 markings/sec, 170 secs
lola: 117165228 markings, 206300067 edges, 225208 markings/sec, 175 secs
lola: 118746069 markings, 209459685 edges, 316168 markings/sec, 180 secs
lola: 120357368 markings, 212682217 edges, 322260 markings/sec, 185 secs
lola: 121992962 markings, 215953334 edges, 327119 markings/sec, 190 secs
lola: 124084789 markings, 220136904 edges, 418365 markings/sec, 195 secs
lola: 125807585 markings, 223582423 edges, 344559 markings/sec, 200 secs
lola: 127293769 markings, 226554729 edges, 297237 markings/sec, 205 secs
lola: 129049793 markings, 230066704 edges, 351205 markings/sec, 210 secs
lola: 130505079 markings, 232977215 edges, 291057 markings/sec, 215 secs
lola: 131990891 markings, 235942772 edges, 297162 markings/sec, 220 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 225 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 230 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 235 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 240 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 245 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 250 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 255 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 260 secs
lola: 131990891 markings, 235942772 edges, 0 markings/sec, 265 secs
lola: 131990891 markings, 236711149 edges, 0 markings/sec, 270 secs
lola: 131990891 markings, 240122600 edges, 0 markings/sec, 275 secs
lola: 131990891 markings, 242497868 edges, 0 markings/sec, 280 secs
lola: 131990891 markings, 244725524 edges, 0 markings/sec, 285 secs
lola: 131990891 markings, 246828464 edges, 0 markings/sec, 290 secs
lola: 131990891 markings, 249594061 edges, 0 markings/sec, 295 secs
lola: 131990891 markings, 252268347 edges, 0 markings/sec, 300 secs
lola: 131990891 markings, 254658846 edges, 0 markings/sec, 305 secs
lola: 131990891 markings, 257578292 edges, 0 markings/sec, 310 secs
lola: 131990891 markings, 260414798 edges, 0 markings/sec, 315 secs
lola: 131990891 markings, 262921879 edges, 0 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((p16 <= 0) U (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:618
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: rewrite Frontend/Parser/formula_rewrite.k:738
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: E (((p16 <= 0) U (1 <= p12)))
lola: processed formula length: 29
lola: 33 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 /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
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 <= p12)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-14-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-14-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EU
lola: There is a path where Predicate Phi holds until Predicate Psi.
lola: 30004 markings, 36003 edges
lola: ========================================
lola: subprocess 15 will run for 658 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p19) OR E (F ((p4 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 658 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p19)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p19)
lola: processed formula length: 10
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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: 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: ========================================
lola: ...considering subproblem: E (F ((E (X ((1 <= p4))) AND E (F ((1 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EX((1 <= p4)) AND EF((1 <= p12))))
lola: processed formula length: 38
lola: 33 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: 4004243 markings, 5336368 edges, 800849 markings/sec, 0 secs
lola: 7933443 markings, 10574767 edges, 785840 markings/sec, 5 secs
lola: 11583973 markings, 15441904 edges, 730106 markings/sec, 10 secs
lola: 15747758 markings, 22234430 edges, 832757 markings/sec, 15 secs
lola: 19963758 markings, 29259204 edges, 843200 markings/sec, 20 secs
lola: 24240998 markings, 36386450 edges, 855448 markings/sec, 25 secs
lola: 28021431 markings, 42686527 edges, 756087 markings/sec, 30 secs
lola: 31611674 markings, 48670266 edges, 718049 markings/sec, 35 secs
lola: 35118312 markings, 54513468 edges, 701328 markings/sec, 40 secs
lola: 38583809 markings, 60289082 edges, 693099 markings/sec, 45 secs
lola: 41997777 markings, 65978310 edges, 682794 markings/sec, 50 secs
lola: 45405469 markings, 71656985 edges, 681538 markings/sec, 55 secs
lola: 48800452 markings, 77314241 edges, 678997 markings/sec, 60 secs
lola: 52268456 markings, 83093530 edges, 693601 markings/sec, 65 secs
lola: 55688741 markings, 88793385 edges, 684057 markings/sec, 70 secs
lola: 59050778 markings, 94396757 edges, 672407 markings/sec, 75 secs
lola: 62404092 markings, 99984688 edges, 670663 markings/sec, 80 secs
lola: 65716639 markings, 105505092 edges, 662509 markings/sec, 85 secs
lola: 69000141 markings, 110977413 edges, 656700 markings/sec, 90 secs
lola: 72203588 markings, 116377658 edges, 640689 markings/sec, 95 secs
lola: 75564896 markings, 123099852 edges, 672262 markings/sec, 100 secs
lola: 78830690 markings, 129631030 edges, 653159 markings/sec, 105 secs
lola: 82137671 markings, 136244581 edges, 661396 markings/sec, 110 secs
lola: 85555954 markings, 143080840 edges, 683657 markings/sec, 115 secs
lola: 88650083 markings, 149268973 edges, 618826 markings/sec, 120 secs
lola: 91598954 markings, 155166591 edges, 589774 markings/sec, 125 secs
lola: 94427664 markings, 160823892 edges, 565742 markings/sec, 130 secs
lola: 97196111 markings, 166360668 edges, 553689 markings/sec, 135 secs
lola: 99929243 markings, 171826821 edges, 546626 markings/sec, 140 secs
lola: 102609480 markings, 177187182 edges, 536047 markings/sec, 145 secs
lola: 105326124 markings, 182620359 edges, 543329 markings/sec, 150 secs
lola: 107952500 markings, 187873000 edges, 525275 markings/sec, 155 secs
lola: 110637052 markings, 193241992 edges, 536910 markings/sec, 160 secs
lola: 113187215 markings, 198342211 edges, 510033 markings/sec, 165 secs
lola: 115780056 markings, 203528864 edges, 518568 markings/sec, 170 secs
lola: 117379075 markings, 206725753 edges, 319804 markings/sec, 175 secs
lola: 119309343 markings, 210586209 edges, 386054 markings/sec, 180 secs
lola: 120523774 markings, 213015021 edges, 242886 markings/sec, 185 secs
lola: 122192225 markings, 216351853 edges, 333690 markings/sec, 190 secs
lola: 123680264 markings, 219327871 edges, 297608 markings/sec, 195 secs
lola: 125354167 markings, 222675605 edges, 334781 markings/sec, 200 secs
lola: 127182499 markings, 226332193 edges, 365666 markings/sec, 205 secs
lola: 128635809 markings, 229238753 edges, 290662 markings/sec, 210 secs
lola: 130690070 markings, 233347189 edges, 410852 markings/sec, 215 secs
lola: 132002891 markings, 235962769 edges, 262564 markings/sec, 220 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 225 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 230 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 235 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 240 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 245 secs
lola: 132002891 markings, 235962769 edges, 0 markings/sec, 250 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 132002891 markings, 235962769 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((1 <= p19) OR E (F (A (X (((1 <= p9) AND (1 <= p13) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: (1 <= p19)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p19)
lola: processed formula length: 10
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 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: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p9) AND (1 <= p13) AND (1 <= p15))))))
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 <= p9) AND (1 <= p13) AND (1 <= p15))))
lola: processed formula length: 49
lola: 32 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: 3437322 markings, 4580126 edges, 687464 markings/sec, 0 secs
lola: 6636901 markings, 8846005 edges, 639916 markings/sec, 5 secs
lola: 9949097 markings, 13262163 edges, 662439 markings/sec, 10 secs
lola: 13341126 markings, 18223866 edges, 678406 markings/sec, 15 secs
lola: 16899708 markings, 24153990 edges, 711716 markings/sec, 20 secs
lola: 20409280 markings, 30002112 edges, 701914 markings/sec, 25 secs
lola: 23942565 markings, 35889649 edges, 706657 markings/sec, 30 secs
lola: 27216913 markings, 41345654 edges, 654870 markings/sec, 35 secs
lola: 30325464 markings, 46526110 edges, 621710 markings/sec, 40 secs
lola: 33388669 markings, 51631883 edges, 612641 markings/sec, 45 secs
lola: 36368012 markings, 56595947 edges, 595869 markings/sec, 50 secs
lola: 39365901 markings, 61592344 edges, 599578 markings/sec, 55 secs
lola: 42327880 markings, 66528439 edges, 592396 markings/sec, 60 secs
lola: 45292373 markings, 71468811 edges, 592899 markings/sec, 65 secs
lola: 48170178 markings, 76263821 edges, 575561 markings/sec, 70 secs
lola: 51165404 markings, 81255652 edges, 599045 markings/sec, 75 secs
lola: 54121183 markings, 86181167 edges, 591156 markings/sec, 80 secs
lola: 57045745 markings, 91055108 edges, 584912 markings/sec, 85 secs
lola: 59933500 markings, 95868015 edges, 577551 markings/sec, 90 secs
lola: 62844188 markings, 100718718 edges, 582138 markings/sec, 95 secs
lola: 65756524 markings, 105570850 edges, 582467 markings/sec, 100 secs
lola: 68630963 markings, 110361126 edges, 574888 markings/sec, 105 secs
lola: 71459090 markings, 115074793 edges, 565625 markings/sec, 110 secs
lola: 74351258 markings, 120672724 edges, 578434 markings/sec, 115 secs
lola: 77087978 markings, 126145821 edges, 547344 markings/sec, 120 secs
lola: 79862918 markings, 131695353 edges, 554988 markings/sec, 125 secs
lola: 82662919 markings, 137295004 edges, 560000 markings/sec, 130 secs
lola: 85564745 markings, 143098421 edges, 580365 markings/sec, 135 secs
lola: 88261000 markings, 148490818 edges, 539251 markings/sec, 140 secs
lola: 90888698 markings, 153746102 edges, 525540 markings/sec, 145 secs
lola: 93300162 markings, 158569599 edges, 482293 markings/sec, 150 secs
lola: 94250649 markings, 160469866 edges, 190097 markings/sec, 155 secs
lola: 95567364 markings, 163103802 edges, 263343 markings/sec, 160 secs
lola: 96548354 markings, 165065180 edges, 196198 markings/sec, 165 secs
lola: 97496131 markings, 166960695 edges, 189555 markings/sec, 170 secs
lola: 98488355 markings, 168945101 edges, 198445 markings/sec, 175 secs
lola: 100024323 markings, 172016972 edges, 307194 markings/sec, 180 secs
lola: 101165504 markings, 174299287 edges, 228236 markings/sec, 185 secs
lola: 102763497 markings, 177495207 edges, 319599 markings/sec, 190 secs
lola: 104238069 markings, 180444287 edges, 294914 markings/sec, 195 secs
lola: 105417818 markings, 182803739 edges, 235950 markings/sec, 200 secs
lola: 106906814 markings, 185781667 edges, 297799 markings/sec, 205 secs
lola: 108169699 markings, 188307386 edges, 252577 markings/sec, 210 secs
lola: 109320019 markings, 190607978 edges, 230064 markings/sec, 215 secs
lola: 110709989 markings, 193387860 edges, 277994 markings/sec, 220 secs
lola: 112052029 markings, 196071884 edges, 268408 markings/sec, 225 secs
lola: 113352037 markings, 198671846 edges, 260002 markings/sec, 230 secs
lola: 113969295 markings, 199906337 edges, 123452 markings/sec, 235 secs
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: ========================================
lola: ...considering subproblem: E (F (A (X ((1 <= p11)))))
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 <= p11)))
lola: processed formula length: 18
lola: 32 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: 3401940 markings, 4533062 edges, 680388 markings/sec, 0 secs
lola: 6794190 markings, 9055590 edges, 678450 markings/sec, 5 secs
lola: 10076230 markings, 13431831 edges, 656408 markings/sec, 10 secs
lola: 13461906 markings, 18425391 edges, 677135 markings/sec, 15 secs
lola: 16999089 markings, 24318723 edges, 707437 markings/sec, 20 secs
lola: 20492784 markings, 30141095 edges, 698739 markings/sec, 25 secs
lola: 24014840 markings, 36010179 edges, 704411 markings/sec, 30 secs
lola: 27254639 markings, 41409098 edges, 647960 markings/sec, 35 secs
lola: 30362960 markings, 46589094 edges, 621664 markings/sec, 40 secs
lola: 33440335 markings, 51717201 edges, 615475 markings/sec, 45 secs
lola: 36435829 markings, 56709569 edges, 599099 markings/sec, 50 secs
lola: 39453024 markings, 61737331 edges, 603439 markings/sec, 55 secs
lola: 42423926 markings, 66688513 edges, 594180 markings/sec, 60 secs
lola: 45368910 markings, 71595869 edges, 588997 markings/sec, 65 secs
lola: 48256107 markings, 76407660 edges, 577439 markings/sec, 70 secs
lola: 51256214 markings, 81407249 edges, 600021 markings/sec, 75 secs
lola: 54224115 markings, 86352432 edges, 593580 markings/sec, 80 secs
lola: 57161420 markings, 91248430 edges, 587461 markings/sec, 85 secs
lola: 60065261 markings, 96087508 edges, 580768 markings/sec, 90 secs
lola: 63021318 markings, 101013007 edges, 591211 markings/sec, 95 secs
lola: 65949802 markings, 105893368 edges, 585697 markings/sec, 100 secs
lola: 68854848 markings, 110734854 edges, 581009 markings/sec, 105 secs
lola: 71702320 markings, 115479375 edges, 569494 markings/sec, 110 secs
lola: 74585452 markings, 121141083 edges, 576626 markings/sec, 115 secs
lola: 77334286 markings, 126638405 edges, 549767 markings/sec, 120 secs
lola: 80133517 markings, 132236518 edges, 559846 markings/sec, 125 secs
lola: 82966101 markings, 137901331 edges, 566517 markings/sec, 130 secs
lola: 85598431 markings, 143165790 edges, 526466 markings/sec, 135 secs
lola: 88325999 markings, 148620812 edges, 545514 markings/sec, 140 secs
lola: 90934606 markings, 153837917 edges, 521721 markings/sec, 145 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no unknown yes unknown no unknown no unknown unknown unknown yes unknown unknown unknown
lola:
preliminary result: unknown no no unknown yes unknown no unknown no unknown unknown unknown yes unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no no unknown yes unknown no unknown no unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 1548 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="FMS-PT-02000"
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 FMS-PT-02000, 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-158987815300076"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FMS-PT-02000.tgz
mv FMS-PT-02000 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 ;