About the Execution of ITS-LoLa for Raft-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15786.520 | 3600000.00 | 3606789.00 | 53546.00 | TFFFTT?FFT??FT?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.r172-smll-158987827600275.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 Raft-PT-09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r172-smll-158987827600275
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 Raft-PT-09-CTLCardinality-00
FORMULA_NAME Raft-PT-09-CTLCardinality-01
FORMULA_NAME Raft-PT-09-CTLCardinality-02
FORMULA_NAME Raft-PT-09-CTLCardinality-03
FORMULA_NAME Raft-PT-09-CTLCardinality-04
FORMULA_NAME Raft-PT-09-CTLCardinality-05
FORMULA_NAME Raft-PT-09-CTLCardinality-06
FORMULA_NAME Raft-PT-09-CTLCardinality-07
FORMULA_NAME Raft-PT-09-CTLCardinality-08
FORMULA_NAME Raft-PT-09-CTLCardinality-09
FORMULA_NAME Raft-PT-09-CTLCardinality-10
FORMULA_NAME Raft-PT-09-CTLCardinality-11
FORMULA_NAME Raft-PT-09-CTLCardinality-12
FORMULA_NAME Raft-PT-09-CTLCardinality-13
FORMULA_NAME Raft-PT-09-CTLCardinality-14
FORMULA_NAME Raft-PT-09-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1591364113490
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 13:35:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 13:35:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 13:35:16] [INFO ] Load time of PNML (sax parser for PT used): 207 ms
[2020-06-05 13:35:16] [INFO ] Transformed 413 places.
[2020-06-05 13:35:16] [INFO ] Transformed 710 transitions.
[2020-06-05 13:35:16] [INFO ] Found NUPN structural information;
[2020-06-05 13:35:16] [INFO ] Parsed PT model containing 413 places and 710 transitions in 308 ms.
Ensure Unique test removed 38 transitions
Reduce redundant transitions removed 38 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 51 ms.
Finished random walk after 2352 steps, including 0 resets, run visited all 19 properties in 67 ms. (steps per millisecond=35 )
[2020-06-05 13:35:16] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-05 13:35:16] [INFO ] Flatten gal took : 137 ms
[2020-06-05 13:35:16] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-06-05 13:35:16] [INFO ] Flatten gal took : 74 ms
FORMULA Raft-PT-09-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-09-CTLCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-09-CTLCardinality-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-09-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Raft-PT-09-CTLCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 13:35:16] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLCardinality.sr.xml took 4 ms.
[2020-06-05 13:35:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 13 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLCardinality @ Raft-PT-09 @ 3570 seconds
FORMULA Raft-PT-09-CTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-00 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Raft-PT-09-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLCardinality @ Raft-PT-09
{
"exit":
{
"memory": 2001232,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 5,
"adisj": 2,
"aneg": 1,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "((((1 <= p261)) AND ((p402 <= 0))) OR (((1 <= p217)) AND ((p127 <= 0))))",
"processed_size": 73,
"rewrites": 20
},
"result":
{
"preliminary_value": "yes no yes unknown no no yes unknown unknown no unknown "
},
"task":
{
"compoundnumber": 13,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 4,
"problems": 2
},
"store":
{
"type": "dfs/tscc"
},
"type": "possible_invariance",
"workflow": "stateequation"
}
}
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: 1085/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 413
lola: finding significant places
lola: 413 places, 672 transitions, 332 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 CTLCardinality.xml
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p164 <= 1)
lola: LP says that atomic proposition is always true: (p388 <= 1)
lola: LP says that atomic proposition is always true: (p25 <= 1)
lola: LP says that atomic proposition is always true: (p342 <= 1)
lola: LP says that atomic proposition is always true: (p100 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p212 <= 1)
lola: LP says that atomic proposition is always true: (p189 <= 1)
lola: LP says that atomic proposition is always true: (p158 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p313 <= 1)
lola: LP says that atomic proposition is always true: (p402 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p103 <= 1)
lola: LP says that atomic proposition is always true: (p319 <= 1)
lola: LP says that atomic proposition is always true: (p320 <= 1)
lola: LP says that atomic proposition is always true: (p401 <= 1)
lola: LP says that atomic proposition is always true: (p266 <= 1)
lola: LP says that atomic proposition is always true: (p281 <= 1)
lola: LP says that atomic proposition is always true: (p278 <= 1)
lola: (NOT(E (F ((((p60 <= 0)) OR ((1 <= p79)) OR ((1 <= p164)))))) OR E (F (((1 <= p388))))) : E (((1 <= 0) U A (G ((((p397 <= 0)) OR ((1 <= p25))))))) : E (G (NOT(A (G ((((p391 <= 0)) OR ((1 <= p342)))))))) : A (F (A (G ((((p261 <= 0)) OR ((1 <= p100)) OR ((p130 <= 0)) OR ((1 <= p144))))))) : (A (G ((((p382 <= 0)) OR ((1 <= p212))))) OR A (X ((1 <= 0)))) : A (G (NOT(E (G (((1 <= p189))))))) : E (F (((1 <= p158) AND (1 <= p266) AND (((p52 <= 0)) OR ((1 <= p313)))))) : E (F (A (G (((((p261 <= 0)) OR ((1 <= p402))) AND (((p217 <= 0)) OR ((1 <= p127)))))))) : A (G (E (X ((((p321 <= 0)) OR ((1 <= p103))))))) : (((((1 <= p319)) OR A (G ((((p114 <= 0)) OR ((1 <= p320)))))) OR (((1 <= p315)) AND ((p401 <= 0)))) OR (((1 <= p411)) AND ((p266 <= 0)) AND ((1 <= p76)) AND ((p281 <= 0)))) : A (G (E (F ((((p254 <= 0)) OR ((1 <= p278)))))))
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:98
lola: rewrite Frontend/Parser/formula_rewrite.k:183
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:139
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((((p321 <= 0)) OR ((1 <= p103)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((((p321 <= 0)) OR ((1 <= p103)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.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: 738109 markings, 1029410 edges, 147622 markings/sec, 0 secs
lola: 1468142 markings, 2050752 edges, 146007 markings/sec, 5 secs
lola: 2191659 markings, 3063831 edges, 144703 markings/sec, 10 secs
lola: 2907448 markings, 4062787 edges, 143158 markings/sec, 15 secs
lola: 3615741 markings, 5057003 edges, 141659 markings/sec, 20 secs
lola: 4319939 markings, 6044808 edges, 140840 markings/sec, 25 secs
lola: 5022977 markings, 7029468 edges, 140608 markings/sec, 30 secs
lola: 5723900 markings, 8016678 edges, 140185 markings/sec, 35 secs
lola: 6418386 markings, 8996179 edges, 138897 markings/sec, 40 secs
lola: 7070970 markings, 9918763 edges, 130517 markings/sec, 45 secs
lola: 7749327 markings, 10876465 edges, 135671 markings/sec, 50 secs
lola: 8425625 markings, 11827949 edges, 135260 markings/sec, 55 secs
lola: 9121741 markings, 12801172 edges, 139223 markings/sec, 60 secs
lola: 9790258 markings, 13734196 edges, 133703 markings/sec, 65 secs
lola: 10466076 markings, 14687242 edges, 135164 markings/sec, 70 secs
lola: 11173089 markings, 15683385 edges, 141403 markings/sec, 75 secs
lola: 11901986 markings, 16701468 edges, 145779 markings/sec, 80 secs
lola: 12622303 markings, 17711280 edges, 144063 markings/sec, 85 secs
lola: 13334631 markings, 18708617 edges, 142466 markings/sec, 90 secs
lola: 14075955 markings, 19742803 edges, 148265 markings/sec, 95 secs
lola: 14803459 markings, 20758774 edges, 145501 markings/sec, 100 secs
lola: 15508982 markings, 21745662 edges, 141105 markings/sec, 105 secs
lola: 16218791 markings, 22740019 edges, 141962 markings/sec, 110 secs
lola: 16933690 markings, 23738967 edges, 142980 markings/sec, 115 secs
lola: 17649776 markings, 24744606 edges, 143217 markings/sec, 120 secs
lola: 18359338 markings, 25743221 edges, 141912 markings/sec, 125 secs
lola: 19029438 markings, 26685054 edges, 134020 markings/sec, 130 secs
lola: 19728461 markings, 27664862 edges, 139805 markings/sec, 135 secs
lola: 20429107 markings, 28648134 edges, 140129 markings/sec, 140 secs
lola: 21125250 markings, 29627835 edges, 139229 markings/sec, 145 secs
lola: 21819562 markings, 30607886 edges, 138862 markings/sec, 150 secs
lola: 22512519 markings, 31585858 edges, 138591 markings/sec, 155 secs
lola: 23209443 markings, 32569174 edges, 139385 markings/sec, 160 secs
lola: 23935938 markings, 33582856 edges, 145299 markings/sec, 165 secs
lola: 24657289 markings, 34591280 edges, 144270 markings/sec, 170 secs
lola: 25367702 markings, 35587852 edges, 142083 markings/sec, 175 secs
lola: 26071501 markings, 36572630 edges, 140760 markings/sec, 180 secs
lola: 26781173 markings, 37562546 edges, 141934 markings/sec, 185 secs
lola: 27484608 markings, 38546786 edges, 140687 markings/sec, 190 secs
lola: 28187088 markings, 39531116 edges, 140496 markings/sec, 195 secs
lola: 28885470 markings, 40512613 edges, 139676 markings/sec, 200 secs
lola: 29581560 markings, 41492358 edges, 139218 markings/sec, 205 secs
lola: 30284132 markings, 42481691 edges, 140514 markings/sec, 210 secs
lola: 30969838 markings, 43453848 edges, 137141 markings/sec, 215 secs
lola: 31658216 markings, 44428580 edges, 137676 markings/sec, 220 secs
lola: 32343989 markings, 45400675 edges, 137155 markings/sec, 225 secs
lola: 33018758 markings, 46355552 edges, 134954 markings/sec, 230 secs
lola: 33685856 markings, 47298956 edges, 133420 markings/sec, 235 secs
lola: 34324231 markings, 48208432 edges, 127675 markings/sec, 240 secs
lola: 35006649 markings, 49173140 edges, 136484 markings/sec, 245 secs
lola: 35732443 markings, 50186004 edges, 145159 markings/sec, 250 secs
lola: 36448547 markings, 51191825 edges, 143221 markings/sec, 255 secs
lola: 37155139 markings, 52184086 edges, 141318 markings/sec, 260 secs
lola: 37845487 markings, 53147376 edges, 138070 markings/sec, 265 secs
lola: 38516936 markings, 54087119 edges, 134290 markings/sec, 270 secs
lola: 39185762 markings, 55026867 edges, 133765 markings/sec, 275 secs
lola: 39858035 markings, 55977882 edges, 134455 markings/sec, 280 secs
lola: 40549530 markings, 56949522 edges, 138299 markings/sec, 285 secs
lola: 41222918 markings, 57902572 edges, 134678 markings/sec, 290 secs
lola: 41926499 markings, 58886059 edges, 140716 markings/sec, 295 secs
lola: 42630865 markings, 59869616 edges, 140873 markings/sec, 300 secs
lola: 43329554 markings, 60848529 edges, 139738 markings/sec, 305 secs
lola: 44028566 markings, 61830040 edges, 139802 markings/sec, 310 secs
lola: 44721026 markings, 62806784 edges, 138492 markings/sec, 315 secs
lola: local time limit reached - aborting
lola:
preliminary result: 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 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p397 <= 0)) OR ((1 <= p25)))))
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 ((((p397 <= 0)) OR ((1 <= p25)))))
lola: processed formula length: 40
lola: 18 rewrites
lola: closed formula file CTLCardinality.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: (((1 <= p397)) AND ((p25 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: subprocess 2 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p158) AND (1 <= p266) AND (((p52 <= 0)) OR ((1 <= p313))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p158) AND (1 <= p266) AND (((p52 <= 0)) OR ((1 <= p313))))))
lola: processed formula length: 74
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p158) AND (1 <= p266) AND (((p52 <= 0)) OR ((1 <= p313))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 6 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 3 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((p189 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p189))
lola: processed formula length: 13
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG 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: 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 <= p189))
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 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: ((p189 <= 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 /EFEG
lola: The predicate does not eventually occur from all states.
lola: 11 markings, 11 edges
lola: ========================================
lola: subprocess 4 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((((p254 <= 0)) OR ((1 <= p278)))))))
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: (((p254 <= 0)) OR ((1 <= p278)))
lola: processed formula length: 33
lola: 19 rewrites
lola: closed formula file CTLCardinality.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: (((1 <= p254)) AND ((p278 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 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: (((p254 <= 0)) OR ((1 <= p278)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-4-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-0.sara.
lola: state equation: write sara problem file to CTLCardinality-4-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-4-1.sara.
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 913751 markings, 1274716 edges, 182750 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1800063 markings, 2517898 edges, 177262 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2681600 markings, 3747283 edges, 176307 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3547904 markings, 4961239 edges, 173261 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4401246 markings, 6158699 edges, 170668 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5251031 markings, 7350675 edges, 169957 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6100095 markings, 8547986 edges, 169813 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6945972 markings, 9740949 edges, 169175 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7735815 markings, 10857354 edges, 157969 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8571968 markings, 12035022 edges, 167231 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9433069 markings, 13235346 edges, 172220 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10269238 markings, 14406313 edges, 167234 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11129785 markings, 15622523 edges, 172109 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 12017093 markings, 16863095 edges, 177462 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12885669 markings, 18079760 edges, 173715 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 13770458 markings, 19317101 edges, 176958 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 14621176 markings, 20503164 edges, 170144 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 15499663 markings, 21732622 edges, 175697 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 16368531 markings, 22950267 edges, 173774 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 17258165 markings, 24193750 edges, 177927 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 18137519 markings, 25429746 edges, 175871 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 19001241 markings, 26645279 edges, 172744 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 19861391 markings, 27851307 edges, 172030 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 20719135 markings, 29056711 edges, 171549 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 21575138 markings, 30261775 edges, 171201 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 22423933 markings, 31461448 edges, 169759 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 23283914 markings, 32672944 edges, 171996 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 24180371 markings, 33924467 edges, 179291 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 25066539 markings, 35164093 edges, 177234 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 25930311 markings, 36375597 edges, 172754 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 26788608 markings, 37572863 edges, 171659 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 27640438 markings, 38766019 edges, 170366 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 28496703 markings, 39966366 edges, 171253 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 29340772 markings, 41153762 edges, 168814 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 30191920 markings, 42351923 edges, 170230 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 31024969 markings, 43531792 edges, 166610 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 31858157 markings, 44712267 edges, 166638 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 32686770 markings, 45885218 edges, 165723 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 33506862 markings, 47045838 edges, 164018 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 34328527 markings, 48214491 edges, 164333 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 35160883 markings, 49388920 edges, 166471 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 36050197 markings, 50632308 edges, 177863 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 36919924 markings, 51854645 edges, 173945 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 37769232 markings, 53040782 edges, 169862 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 38579988 markings, 54175802 edges, 162151 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 39388606 markings, 55311778 edges, 161724 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 40204082 markings, 56467712 edges, 163095 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 41043376 markings, 57647792 edges, 167859 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 41891299 markings, 58837002 edges, 169585 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 42750687 markings, 60036743 edges, 171878 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 43596419 markings, 61223029 edges, 169146 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 44431075 markings, 62398179 edges, 166931 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 45258043 markings, 63564429 edges, 165394 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 46076099 markings, 64722876 edges, 163611 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 46889627 markings, 65875003 edges, 162706 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 47706391 markings, 67033647 edges, 163353 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 48516238 markings, 68171916 edges, 161969 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 49323998 markings, 69313981 edges, 161552 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 50191434 markings, 70534630 edges, 173487 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 51073824 markings, 71769793 edges, 176478 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 51940109 markings, 72983699 edges, 173257 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 52795483 markings, 74188526 edges, 171075 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 53641552 markings, 75381087 edges, 169214 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 54490420 markings, 76572847 edges, 169774 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 55337366 markings, 77755671 edges, 169389 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 56137098 markings, 78884884 edges, 159946 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 56948480 markings, 80030989 edges, 162276 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 57737860 markings, 81143541 edges, 157876 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 58518571 markings, 82246431 edges, 156142 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 59313985 markings, 83374714 edges, 159083 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 60107175 markings, 84502576 edges, 158638 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 60894908 markings, 85623192 edges, 157547 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 61663870 markings, 86724335 edges, 153792 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 62458282 markings, 87840543 edges, 158882 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 63223431 markings, 88927159 edges, 153030 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 63998268 markings, 90027981 edges, 154967 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 64754243 markings, 91103624 edges, 151195 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 65598720 markings, 92287737 edges, 168895 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 66451889 markings, 93480536 edges, 170634 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 67291067 markings, 94661692 edges, 167836 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 68132755 markings, 95842636 edges, 168338 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 68952114 markings, 96993312 edges, 163872 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 69774814 markings, 98150014 edges, 164540 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 70653387 markings, 99376238 edges, 175715 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 71513528 markings, 100582640 edges, 172028 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 72339375 markings, 101740459 edges, 165169 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 73186402 markings, 102927809 edges, 169405 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 74058690 markings, 104147962 edges, 174458 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 74924853 markings, 105360684 edges, 173233 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 75778393 markings, 106560436 edges, 170708 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 76624916 markings, 107749458 edges, 169305 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 77473969 markings, 108941027 edges, 169811 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown no yes unknown unknown unknown unknown
lola: memory consumption: 11818184 KB
lola: time consumption: 792 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 462 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((((p261 <= 0)) OR ((1 <= p402))) AND (((p217 <= 0)) OR ((1 <= p127))))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((((1 <= p261)) AND ((p402 <= 0))) OR (((1 <= p217)) AND ((p127 <= 0))))
lola: processed formula length: 73
lola: 20 rewrites
lola: closed formula file CTLCardinality.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 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 0
lola: formula 0: ((((p261 <= 0)) OR ((1 <= p402))) AND (((p217 <= 0)) OR ((1 <= p127))))
lola: state equation task get result unparse finished id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((((1 <= p261)) AND ((p402 <= 0))) OR (((1 <= p217)) AND ((p127 <= 0))))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-5-0.sara
lola: state equation: write sara problem file to CTLCardinality-5-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-5-0.sara.
sara: try reading problem file CTLCardinality-5-1.sara.
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 913852 markings, 1274856 edges, 182770 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1805388 markings, 2525438 edges, 178307 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2694196 markings, 3764800 edges, 177762 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3567115 markings, 4988271 edges, 174584 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4423687 markings, 6190072 edges, 171314 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5277949 markings, 7388860 edges, 170852 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6129168 markings, 8588685 edges, 170244 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6970652 markings, 9775752 edges, 168297 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7798417 markings, 10945573 edges, 165553 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8628616 markings, 12113945 edges, 166040 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9477170 markings, 13296751 edges, 169711 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10300658 markings, 14451106 edges, 164698 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11158090 markings, 15662418 edges, 171486 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 12052156 markings, 16912186 edges, 178813 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12930356 markings, 18142060 edges, 175640 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 13824438 markings, 19392184 edges, 178816 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 14722138 markings, 20644337 edges, 179540 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 15594464 markings, 21864930 edges, 174465 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 16447932 markings, 23061771 edges, 170694 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 17324347 markings, 24286642 edges, 175283 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 18183686 markings, 25494743 edges, 171868 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 18992165 markings, 26632682 edges, 161696 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 19847919 markings, 27832399 edges, 171151 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 20702460 markings, 29033324 edges, 170908 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 21553181 markings, 30230795 edges, 170144 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 22398592 markings, 31425986 edges, 169082 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 23254543 markings, 32632188 edges, 171190 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 24150623 markings, 33882756 edges, 179216 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 25034769 markings, 35119428 edges, 176829 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 25899039 markings, 36332143 edges, 172854 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 26760934 markings, 37534348 edges, 172379 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 27616052 markings, 38731916 edges, 171024 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 28475321 markings, 39936469 edges, 171854 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 29320766 markings, 41125639 edges, 169089 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 30163059 markings, 42311496 edges, 168459 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 30982984 markings, 43472445 edges, 163985 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 31799186 markings, 44628500 edges, 163240 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 32614846 markings, 45782207 edges, 163132 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 33368429 markings, 46850208 edges, 150717 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 34192177 markings, 48019976 edges, 164750 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 35015707 markings, 49185978 edges, 164706 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 35905621 markings, 50428833 edges, 177983 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 36777467 markings, 51654112 edges, 174369 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 37635548 markings, 52854235 edges, 171616 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 38447767 markings, 53990440 edges, 162444 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 39256897 markings, 55126759 edges, 161826 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 40072168 markings, 56281470 edges, 163054 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 40915125 markings, 57466376 edges, 168591 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 41748149 markings, 58641657 edges, 166605 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 42638459 markings, 59884965 edges, 178062 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 43517959 markings, 61117220 edges, 175900 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 44378889 markings, 62324503 edges, 172186 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 45230024 markings, 63520610 edges, 170227 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 46079407 markings, 64713682 edges, 169877 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 46924107 markings, 65902866 edges, 168940 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 47757117 markings, 67080218 edges, 166602 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 48561667 markings, 68226496 edges, 160910 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 49353870 markings, 69353885 edges, 158441 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 50175340 markings, 70518162 edges, 164294 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 50932793 markings, 71592806 edges, 151491 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 51763760 markings, 72763791 edges, 166193 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 52617338 markings, 73957861 edges, 170716 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 53404572 markings, 75066299 edges, 157447 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 54167944 markings, 76155253 edges, 152674 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 54936052 markings, 77248032 edges, 153622 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 55721790 markings, 78360891 edges, 157148 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 56489934 markings, 79450539 edges, 153629 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 57307198 markings, 80600432 edges, 163453 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 58136068 markings, 81763822 edges, 165774 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 58940733 markings, 82895873 edges, 160933 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 59728393 markings, 84012801 edges, 157532 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 60547240 markings, 85172358 edges, 163769 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 61393389 markings, 86361183 edges, 169230 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 62250443 markings, 87558084 edges, 171411 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 63066605 markings, 88705957 edges, 163232 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 63886492 markings, 89868642 edges, 163977 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 64683206 markings, 91000416 edges, 159343 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 65539741 markings, 92204222 edges, 171307 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 66378509 markings, 93383789 edges, 167754 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 67204097 markings, 94547586 edges, 165118 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 68018594 markings, 95692627 edges, 162899 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 68776082 markings, 96753453 edges, 151498 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 69584095 markings, 97895370 edges, 161603 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 70377389 markings, 99022086 edges, 158659 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 71145704 markings, 100121168 edges, 153663 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 71932155 markings, 101241237 edges, 157290 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 72701177 markings, 102337155 edges, 153804 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 73487933 markings, 103461610 edges, 157351 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 74315867 markings, 104634787 edges, 165587 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 75152232 markings, 105808877 edges, 167273 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 75979867 markings, 106973575 edges, 165527 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 76758243 markings, 108082468 edges, 155675 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown no yes unknown unknown unknown unknown
lola: memory consumption: 11407620 KB
lola: time consumption: 1255 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((((p382 <= 0)) OR ((1 <= p212))))) OR DEADLOCK)
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: DEADLOCK
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: DEADLOCK
lola: processed formula length: 8
lola: 16 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 0 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 7 will run for 578 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p382 <= 0)) OR ((1 <= p212)))))
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 ((((p382 <= 0)) OR ((1 <= p212)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.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: (((1 <= p382)) AND ((p212 <= 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: 4 markings, 3 edges
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: subprocess 7 will run for 578 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: (((1 <= p319)) OR (A (G ((((p114 <= 0)) OR ((1 <= p320))))) OR ((((1 <= p315)) AND ((p401 <= 0))) OR (((1 <= p411)) AND ((p266 <= 0)) AND ((1 <= p76)) AND ((p281 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 578 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((1 <= p315)) AND ((p401 <= 0))) OR (((1 <= p411)) AND ((p266 <= 0)) AND ((1 <= p76)) AND ((p281 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: rewrite Frontend/Parser/formula_rewrite.k:797
lola: processed formula: ((((1 <= p315)) AND ((p401 <= 0))) OR (((1 <= p411)) AND ((p266 <= 0)) AND ((1 <= p76)) AND ((p281 <= 0))))
lola: processed formula length: 107
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: processed formula with 6 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 8 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p319))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p319))
lola: processed formula length: 13
lola: 16 rewrites
lola: closed formula file CTLCardinality.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 9 will run for 1157 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((((p114 <= 0)) OR ((1 <= p320)))))
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 ((((p114 <= 0)) OR ((1 <= p320)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 4 markings, 3 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 771 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (E (F ((((1 <= p391)) AND ((p342 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation of reachability
lola: rewrite Frontend/Parser/formula_rewrite.k:593
lola: rewrite Frontend/Parser/formula_rewrite.k:628
lola: rewrite Frontend/Parser/formula_rewrite.k:731
lola: processed formula: (((1 <= p391)) AND ((p342 <= 0)))
lola: processed formula length: 33
lola: 19 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
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: state equation task get result rewrite finished id 1
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: (((p391 <= 0)) OR ((1 <= p342)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((1 <= p391)) AND ((p342 <= 0)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-8-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-8-0.sara.
lola: state equation: write sara problem file to CTLCardinality-8-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-8-1.sara.
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 867960 markings, 1210309 edges, 173592 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1760374 markings, 2461988 edges, 178483 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EGEF
lola: Reachability of the predicate is possibly preserved.
lola: 2265909 markings, 3167640 edges
lola: ========================================
lola: subprocess 9 will run for 1151 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G ((((p261 <= 0)) OR ((1 <= p100)) OR ((p130 <= 0)) OR ((1 <= p144)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:594
lola: rewrite Frontend/Parser/formula_rewrite.k:629
lola: rewrite Frontend/Parser/formula_rewrite.k:758
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (((1 <= p261)) AND ((p100 <= 0)) AND ((1 <= p130)) AND ((p144 <= 0)))
lola: processed formula length: 69
lola: 20 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EGEF)
lola: state space: using reachability graph (EGEF version) (--search=depth)
lola: state space: using ctl preserving stubborn set method (--stubborn=tarjan)
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 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 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (((p261 <= 0)) OR ((1 <= p100)) OR ((p130 <= 0)) OR ((1 <= p144)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 4 literals and 4 conjunctive subformulas
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((1 <= p261)) AND ((p100 <= 0)) AND ((1 <= p130)) AND ((p144 <= 0)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-9-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-9-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-9-0.sara.
sara: try reading problem file CTLCardinality-9-1.sara.
sara: error: :5072: error near 'sara: error: TRANSITION:'5072: : errorsyntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA near 'TRANSITION':
syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMAsara: error while reading Petri net from file -- aborting [#04]
sara: sara: see manual for a documentation of this errorerror while reading Petri net from file
-- aborting [#04]
sara: sara: see manual for a documentation of this errorlast error message: No such file or directory
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 870921 markings, 1214459 edges, 174184 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1719214 markings, 2404394 edges, 169659 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2562296 markings, 3581282 edges, 168616 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3438513 markings, 4808108 edges, 175243 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4301529 markings, 6019136 edges, 172603 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5160075 markings, 7222064 edges, 171709 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6015581 markings, 8427632 edges, 171101 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6860283 markings, 9619271 edges, 168940 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7690090 markings, 10792781 edges, 165961 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8511484 markings, 11949539 edges, 164279 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9357184 markings, 13129391 edges, 169140 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10183352 markings, 14285802 edges, 165234 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11013663 markings, 15461150 edges, 166062 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 11894733 markings, 16691253 edges, 176214 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12754279 markings, 17896110 edges, 171909 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 13625449 markings, 19114119 edges, 174234 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 14528016 markings, 20372818 edges, 180513 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 15396256 markings, 21587767 edges, 173648 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 16247997 markings, 22781462 edges, 170348 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 17122291 markings, 24003049 edges, 174859 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 17990134 markings, 25222358 edges, 173569 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 18836271 markings, 26415505 edges, 169227 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 19675545 markings, 27590711 edges, 167855 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 20518759 markings, 28774692 edges, 168643 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 21355201 markings, 29952922 edges, 167288 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 22191824 markings, 31133390 edges, 167325 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 23020408 markings, 32304322 edges, 165717 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 23914969 markings, 33553386 edges, 178912 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 24797391 markings, 34787616 edges, 176484 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 25663616 markings, 36003838 edges, 173245 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 26515783 markings, 37192361 edges, 170433 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 27362087 markings, 38375165 edges, 169261 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 28218798 markings, 39575680 edges, 171342 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 29068578 markings, 40770626 edges, 169956 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 29917671 markings, 41966264 edges, 169819 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 30763692 markings, 43162304 edges, 169204 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 31598259 markings, 44343940 edges, 166913 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 32430652 markings, 45522976 edges, 166479 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 33252406 markings, 46687126 edges, 164351 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 34071811 markings, 47848110 edges, 163881 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 34887520 markings, 49003404 edges, 163142 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 35761461 markings, 50226401 edges, 174788 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 36627080 markings, 51442745 edges, 173124 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 37477745 markings, 52634220 edges, 170133 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 38283337 markings, 53759881 edges, 161118 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 39027739 markings, 54804968 edges, 148880 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 39824259 markings, 55930045 edges, 159304 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 40645466 markings, 57084521 edges, 164241 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 41448710 markings, 58219557 edges, 160649 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 42303558 markings, 59412470 edges, 170970 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 43146170 markings, 60591986 edges, 168522 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 43986423 markings, 61770738 edges, 168051 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 44807648 markings, 62928512 edges, 164245 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 45618331 markings, 64076123 edges, 162137 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 46426466 markings, 65218410 edges, 161627 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 47228963 markings, 66356239 edges, 160499 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 48030850 markings, 67489997 edges, 160377 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 48828038 markings, 68609823 edges, 159438 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 49621319 markings, 69738863 edges, 158656 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 50507908 markings, 70978163 edges, 177318 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 51367886 markings, 72180571 edges, 171996 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 52223754 markings, 73383204 edges, 171174 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 53064917 markings, 74568905 edges, 168233 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 53898778 markings, 75743011 edges, 166772 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 54743199 markings, 76924647 edges, 168884 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 55561593 markings, 78072303 edges, 163679 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 56379626 markings, 79228937 edges, 163607 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 57179159 markings, 80355491 edges, 159907 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 57958085 markings, 81454499 edges, 155785 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 58746124 markings, 82567813 edges, 157608 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 59522973 markings, 83673509 edges, 155370 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 60309526 markings, 84790472 edges, 157311 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 61076672 markings, 85881866 edges, 153429 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 61834931 markings, 86965669 edges, 151652 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 62618042 markings, 88066969 edges, 156622 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 63374549 markings, 89142385 edges, 151301 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 64140299 markings, 90229915 edges, 153150 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 64891814 markings, 91298162 edges, 150303 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 65757569 markings, 92508479 edges, 173151 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 66609095 markings, 93701899 edges, 170305 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 67451807 markings, 94890219 edges, 168542 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 68300011 markings, 96077057 edges, 169641 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 69124216 markings, 97235772 edges, 164841 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 69968877 markings, 98420624 edges, 168932 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 70841226 markings, 99638703 edges, 174470 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 71696839 markings, 100840122 edges, 171123 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 72521045 markings, 101996649 edges, 164841 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 73381636 markings, 103201104 edges, 172118 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 74166736 markings, 104299304 edges, 157020 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 75029893 markings, 105507347 edges, 172631 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 75881877 markings, 106705265 edges, 170397 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 76724525 markings, 107889743 edges, 168530 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 77567527 markings, 109074279 edges, 168600 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 78400533 markings, 110246716 edges, 166601 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 79214319 markings, 111403724 edges, 162757 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 80015791 markings, 112535272 edges, 160294 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 80821594 markings, 113675627 edges, 161161 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 81647204 markings, 114841698 edges, 165122 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 82437134 markings, 115960575 edges, 157986 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 83229980 markings, 117083463 edges, 158569 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 84061761 markings, 118253666 edges, 166356 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 84837369 markings, 119353458 edges, 155122 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 85648707 markings, 120501341 edges, 162268 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 86423756 markings, 121605124 edges, 155010 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 87206525 markings, 122707748 edges, 156554 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 88013869 markings, 123848285 edges, 161469 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 88807226 markings, 124974529 edges, 158671 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 89573467 markings, 126068648 edges, 153248 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 90403278 markings, 127233885 edges, 165962 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 91224523 markings, 128383101 edges, 164249 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 92029874 markings, 129511844 edges, 161070 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 92830142 markings, 130636882 edges, 160054 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 93592746 markings, 131712843 edges, 152521 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 94393960 markings, 132844810 edges, 160243 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 95195696 markings, 133974498 edges, 160347 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 95972624 markings, 135073996 edges, 155386 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 96750546 markings, 136177521 edges, 155584 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 97526582 markings, 137260474 edges, 155207 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 98298684 markings, 138346028 edges, 154420 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 99058465 markings, 139432825 edges, 151956 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 99845902 markings, 140550530 edges, 157487 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 100609006 markings, 141638014 edges, 152621 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 101423054 markings, 142793913 edges, 162810 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 102226708 markings, 143930183 edges, 160731 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 103026039 markings, 145061315 edges, 159866 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 103801057 markings, 146162895 edges, 155004 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 104521176 markings, 147192969 edges, 144024 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 105169139 markings, 148105960 edges, 129593 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 105948451 markings, 149197473 edges, 155862 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 106633938 markings, 150159769 edges, 137097 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 107382829 markings, 151206924 edges, 149778 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 108102286 markings, 152218225 edges, 143891 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 108796833 markings, 153200970 edges, 138909 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 109449493 markings, 154133944 edges, 130532 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 110211721 markings, 155196426 edges, 152446 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 111000743 markings, 156302478 edges, 157804 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 111721412 markings, 157317449 edges, 144134 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 112447638 markings, 158342387 edges, 145245 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 113162449 markings, 159360687 edges, 142962 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 113830248 markings, 160317874 edges, 133560 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 114572805 markings, 161366960 edges, 148511 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 115402523 markings, 162525777 edges, 165944 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 116216302 markings, 163670770 edges, 162756 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 117019659 markings, 164798137 edges, 160671 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 117782978 markings, 165870404 edges, 152664 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 118524355 markings, 166917124 edges, 148275 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 119181457 markings, 167843633 edges, 131420 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 119977030 markings, 168949922 edges, 159115 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 120811650 markings, 170113247 edges, 166924 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 121578573 markings, 171187066 edges, 153385 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 122313819 markings, 172218753 edges, 147049 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 123098489 markings, 173321424 edges, 156934 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 123905928 markings, 174456748 edges, 161488 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 124610970 markings, 175446033 edges, 141008 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 125391739 markings, 176534442 edges, 156154 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 126162283 markings, 177611236 edges, 154109 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 126997814 markings, 178778329 edges, 167106 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 127809016 markings, 179914657 edges, 162240 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 128612953 markings, 181047315 edges, 160787 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 129389731 markings, 182142705 edges, 155356 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 129947529 markings, 182931612 edges, 111560 markings/sec, 800 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 1492 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((((1 <= p60)) AND ((p79 <= 0)) AND ((p164 <= 0))))) OR E (F (((1 <= p388)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 1492 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p388))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p388))))
lola: processed formula length: 21
lola: 17 rewrites
lola: closed formula file CTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p388))
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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((((p321 <= 0)) OR ((1 <= p103)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG(EX((((p321 <= 0)) OR ((1 <= p103)))))
lola: processed formula length: 41
lola: 18 rewrites
lola: closed formula file CTLCardinality.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: 653635 markings, 911540 edges, 130727 markings/sec, 0 secs
lola: 1384881 markings, 1933932 edges, 146249 markings/sec, 5 secs
lola: 2106061 markings, 2944604 edges, 144236 markings/sec, 10 secs
lola: 2828079 markings, 3951826 edges, 144404 markings/sec, 15 secs
lola: 3534887 markings, 4942887 edges, 141362 markings/sec, 20 secs
lola: 4237189 markings, 5929212 edges, 140460 markings/sec, 25 secs
lola: 4935748 markings, 6907112 edges, 139712 markings/sec, 30 secs
lola: 5634844 markings, 7890931 edges, 139819 markings/sec, 35 secs
lola: 6300139 markings, 8829873 edges, 133059 markings/sec, 40 secs
lola: 6988360 markings, 9800888 edges, 137644 markings/sec, 45 secs
lola: 7668987 markings, 10762952 edges, 136125 markings/sec, 50 secs
lola: 8355145 markings, 11728625 edges, 137232 markings/sec, 55 secs
lola: 9058738 markings, 12713054 edges, 140719 markings/sec, 60 secs
lola: 9694093 markings, 13599360 edges, 127071 markings/sec, 65 secs
lola: 10370291 markings, 14550275 edges, 135240 markings/sec, 70 secs
lola: 11065318 markings, 15532882 edges, 139005 markings/sec, 75 secs
lola: 11796744 markings, 16554065 edges, 146285 markings/sec, 80 secs
lola: 12514974 markings, 17559944 edges, 143646 markings/sec, 85 secs
lola: 13218336 markings, 18545627 edges, 140672 markings/sec, 90 secs
lola: 13952003 markings, 19569553 edges, 146733 markings/sec, 95 secs
lola: 14684046 markings, 20590812 edges, 146409 markings/sec, 100 secs
lola: 15399195 markings, 21591816 edges, 143030 markings/sec, 105 secs
lola: 16108292 markings, 22585222 edges, 141819 markings/sec, 110 secs
lola: 16821313 markings, 23581741 edges, 142604 markings/sec, 115 secs
lola: 17533868 markings, 24579974 edges, 142511 markings/sec, 120 secs
lola: 18244685 markings, 25580772 edges, 142163 markings/sec, 125 secs
lola: 18950930 markings, 26575225 edges, 141249 markings/sec, 130 secs
lola: 19655205 markings, 27562199 edges, 140855 markings/sec, 135 secs
lola: 20364613 markings, 28556847 edges, 141882 markings/sec, 140 secs
lola: 21070037 markings, 29550484 edges, 141085 markings/sec, 145 secs
lola: 21772014 markings, 30539979 edges, 140395 markings/sec, 150 secs
lola: 22469122 markings, 31524801 edges, 139422 markings/sec, 155 secs
lola: 23139271 markings, 32470688 edges, 134030 markings/sec, 160 secs
lola: 23866747 markings, 33485973 edges, 145495 markings/sec, 165 secs
lola: 24583898 markings, 34488752 edges, 143430 markings/sec, 170 secs
lola: 25290764 markings, 35479635 edges, 141373 markings/sec, 175 secs
lola: 25989780 markings, 36458841 edges, 139803 markings/sec, 180 secs
lola: 26689449 markings, 37434830 edges, 139934 markings/sec, 185 secs
lola: 27382620 markings, 38403995 edges, 138634 markings/sec, 190 secs
lola: 28078651 markings, 39378876 edges, 139206 markings/sec, 195 secs
lola: 28770172 markings, 40350689 edges, 138304 markings/sec, 200 secs
lola: 29432226 markings, 41282218 edges, 132411 markings/sec, 205 secs
lola: 30122020 markings, 42254428 edges, 137959 markings/sec, 210 secs
lola: 30806907 markings, 43222948 edges, 136977 markings/sec, 215 secs
lola: 31488324 markings, 44187293 edges, 136283 markings/sec, 220 secs
lola: 32169997 markings, 45154798 edges, 136335 markings/sec, 225 secs
lola: 32845082 markings, 46108984 edges, 135017 markings/sec, 230 secs
lola: 33491036 markings, 47023581 edges, 129191 markings/sec, 235 secs
lola: 34166822 markings, 47983901 edges, 135157 markings/sec, 240 secs
lola: 34843707 markings, 48941983 edges, 135377 markings/sec, 245 secs
lola: 35557384 markings, 49941864 edges, 142735 markings/sec, 250 secs
lola: 36252605 markings, 50916302 edges, 139044 markings/sec, 255 secs
lola: 36965307 markings, 51918002 edges, 142540 markings/sec, 260 secs
lola: 37667454 markings, 52898698 edges, 140429 markings/sec, 265 secs
lola: 38335288 markings, 53832437 edges, 133567 markings/sec, 270 secs
lola: 39001461 markings, 54768273 edges, 133235 markings/sec, 275 secs
lola: 39674367 markings, 55716346 edges, 134581 markings/sec, 280 secs
lola: 40345576 markings, 56664972 edges, 134242 markings/sec, 285 secs
lola: 41036262 markings, 57637892 edges, 138137 markings/sec, 290 secs
lola: 41732914 markings, 58615665 edges, 139330 markings/sec, 295 secs
lola: 42445192 markings, 59609616 edges, 142456 markings/sec, 300 secs
lola: 43148773 markings, 60595630 edges, 140716 markings/sec, 305 secs
lola: 43851492 markings, 61581488 edges, 140544 markings/sec, 310 secs
lola: 44539804 markings, 62550905 edges, 137662 markings/sec, 315 secs
lola: 45227641 markings, 63521750 edges, 137567 markings/sec, 320 secs
lola: 45904582 markings, 64481983 edges, 135388 markings/sec, 325 secs
lola: 46584558 markings, 65443502 edges, 135995 markings/sec, 330 secs
lola: 47261439 markings, 66402272 edges, 135376 markings/sec, 335 secs
lola: 47939170 markings, 67360949 edges, 135546 markings/sec, 340 secs
lola: 48613793 markings, 68308044 edges, 134925 markings/sec, 345 secs
lola: 49287327 markings, 69261785 edges, 134707 markings/sec, 350 secs
lola: 49986976 markings, 70248844 edges, 139930 markings/sec, 355 secs
lola: 50706196 markings, 71256037 edges, 143844 markings/sec, 360 secs
lola: 51414199 markings, 72245229 edges, 141601 markings/sec, 365 secs
lola: 52119876 markings, 73237215 edges, 141135 markings/sec, 370 secs
lola: 52820905 markings, 74224131 edges, 140206 markings/sec, 375 secs
lola: 53513292 markings, 75200013 edges, 138477 markings/sec, 380 secs
lola: 54206287 markings, 76175120 edges, 138599 markings/sec, 385 secs
lola: 54908503 markings, 77155002 edges, 140443 markings/sec, 390 secs
lola: 55595940 markings, 78120457 edges, 137487 markings/sec, 395 secs
lola: 56281667 markings, 79090657 edges, 137145 markings/sec, 400 secs
lola: 56960718 markings, 80048380 edges, 135810 markings/sec, 405 secs
lola: 57627880 markings, 80988660 edges, 133432 markings/sec, 410 secs
lola: 58292021 markings, 81925843 edges, 132828 markings/sec, 415 secs
lola: 58913451 markings, 82804771 edges, 124286 markings/sec, 420 secs
lola: 59574153 markings, 83745904 edges, 132140 markings/sec, 425 secs
lola: 60242147 markings, 84695842 edges, 133599 markings/sec, 430 secs
lola: 60906390 markings, 85639611 edges, 132849 markings/sec, 435 secs
lola: 61556885 markings, 86571361 edges, 130099 markings/sec, 440 secs
lola: 62196651 markings, 87472505 edges, 127953 markings/sec, 445 secs
lola: 62723826 markings, 88217258 edges, 105435 markings/sec, 450 secs
lola: 63242407 markings, 88953863 edges, 103716 markings/sec, 455 secs
lola: 63821170 markings, 89777220 edges, 115753 markings/sec, 460 secs
lola: 64343540 markings, 90518546 edges, 104474 markings/sec, 465 secs
lola: 64872399 markings, 91270415 edges, 105772 markings/sec, 470 secs
lola: 65509700 markings, 92163051 edges, 127460 markings/sec, 475 secs
lola: 66053342 markings, 92921874 edges, 108728 markings/sec, 480 secs
lola: 66606069 markings, 93697572 edges, 110545 markings/sec, 485 secs
lola: 67136948 markings, 94444017 edges, 106176 markings/sec, 490 secs
lola: 67706380 markings, 95246033 edges, 113886 markings/sec, 495 secs
lola: 68315944 markings, 96099472 edges, 121913 markings/sec, 500 secs
lola: 68825625 markings, 96815733 edges, 101936 markings/sec, 505 secs
lola: 69466132 markings, 97716353 edges, 128101 markings/sec, 510 secs
lola: 69972143 markings, 98425176 edges, 101202 markings/sec, 515 secs
lola: 70556376 markings, 99240326 edges, 116847 markings/sec, 520 secs
lola: 71175061 markings, 100107087 edges, 123737 markings/sec, 525 secs
lola: 71806447 markings, 100994531 edges, 126277 markings/sec, 530 secs
lola: 72323621 markings, 101718165 edges, 103435 markings/sec, 535 secs
lola: 72905574 markings, 102536097 edges, 116391 markings/sec, 540 secs
lola: 73573171 markings, 103468677 edges, 133519 markings/sec, 545 secs
lola: 74123741 markings, 104239297 edges, 110114 markings/sec, 550 secs
lola: 74690036 markings, 105032033 edges, 113259 markings/sec, 555 secs
lola: 75261239 markings, 105831762 edges, 114241 markings/sec, 560 secs
lola: 75841481 markings, 106648928 edges, 116048 markings/sec, 565 secs
lola: 76468954 markings, 107530012 edges, 125495 markings/sec, 570 secs
lola: 77132218 markings, 108462328 edges, 132653 markings/sec, 575 secs
lola: 77227114 markings, 108594653 edges, 18979 markings/sec, 580 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (E (F ((((p254 <= 0)) OR ((1 <= p278)))))))
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: (((p254 <= 0)) OR ((1 <= p278)))
lola: processed formula length: 33
lola: 19 rewrites
lola: closed formula file CTLCardinality.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: state equation task get result rewrite finished id 1
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: (((1 <= p254)) AND ((p278 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (((p254 <= 0)) OR ((1 <= p278)))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-12-0.sara
lola: state equation: calling and running sara
lola: state equation: write sara problem file to CTLCardinality-12-1.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-12-1.sara.
sara: try reading problem file CTLCardinality-12-0.sara.
sara: error: :5072: error near 'TRANSITION'sara: error: : :syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA5072: error near 'TRANSITION':
syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMAsara: error while reading Petri net from file -- aborting [#04]
sara:
see manual for a documentation of this errorsara:
error while reading Petri net from file -- aborting [#04]
sara: sara: last error message: No such file or directorysee manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 829712 markings, 1156851 edges, 165942 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1719197 markings, 2404371 edges, 177897 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2606458 markings, 3642851 edges, 177452 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3481855 markings, 4869175 edges, 175079 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4342641 markings, 6076670 edges, 172157 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5197827 markings, 7275058 edges, 171037 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6048291 markings, 8474819 edges, 170093 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6892771 markings, 9665636 edges, 168896 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7727613 markings, 10845982 edges, 166968 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8555051 markings, 12010787 edges, 165488 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9411669 markings, 13205480 edges, 171324 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10241149 markings, 14366562 edges, 165896 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11098595 markings, 15579081 edges, 171489 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 11993031 markings, 16829469 edges, 178887 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12871395 markings, 18059883 edges, 175673 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 13722580 markings, 19250245 edges, 170237 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 14619533 markings, 20500789 edges, 179391 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 15489444 markings, 21718351 edges, 173982 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 16348659 markings, 22922345 edges, 171843 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 17230872 markings, 24155549 edges, 176443 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 18104727 markings, 25384141 edges, 174771 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 18965833 markings, 26595914 edges, 172221 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 19823167 markings, 27797604 edges, 171467 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 20679454 markings, 29000890 edges, 171257 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 21519151 markings, 30182762 edges, 167939 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 22335179 markings, 31336205 edges, 163206 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 23163498 markings, 32504650 edges, 165664 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 24053797 markings, 33747789 edges, 178060 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 24937326 markings, 34982841 edges, 176706 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 25804481 markings, 36200209 edges, 173431 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 26667279 markings, 37403951 edges, 172560 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 27524520 markings, 38603464 edges, 171448 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 28382409 markings, 39805846 edges, 171578 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 29232496 markings, 41001165 edges, 170017 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 30081933 markings, 42198475 edges, 169887 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 30925557 markings, 43390830 edges, 168725 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 31762019 markings, 44575910 edges, 167292 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 32595977 markings, 45755461 edges, 166792 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 33421163 markings, 46924166 edges, 165037 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 34247528 markings, 48098465 edges, 165273 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 35075398 markings, 49269936 edges, 165574 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 35971450 markings, 50521637 edges, 179210 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 36845263 markings, 51749398 edges, 174763 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 37661526 markings, 52890422 edges, 163253 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 38469142 markings, 54020233 edges, 161523 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 39201978 markings, 55049555 edges, 146567 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 40009049 markings, 56191835 edges, 161414 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 40845488 markings, 57367798 edges, 167288 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 41676467 markings, 58536919 edges, 166196 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 42536690 markings, 59738068 edges, 172045 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 43385237 markings, 60926934 edges, 169709 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 44224148 markings, 62106731 edges, 167782 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 45050551 markings, 63271531 edges, 165281 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 45863493 markings, 64424205 edges, 162588 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 46677101 markings, 65574763 edges, 162722 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 47492523 markings, 66730432 edges, 163084 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 48299864 markings, 67868095 edges, 161468 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 49107637 markings, 69005373 edges, 161555 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 49939420 markings, 70182436 edges, 166357 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 50816107 markings, 71409302 edges, 175337 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 51676611 markings, 72612588 edges, 172101 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 52527513 markings, 73810893 edges, 170180 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 53360730 markings, 74986272 edges, 166643 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 54198849 markings, 76164461 edges, 167624 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 55048156 markings, 77350321 edges, 169861 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 55886510 markings, 78532085 edges, 167671 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 56719748 markings, 79707566 edges, 166648 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 57528655 markings, 80848582 edges, 161781 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 58317446 markings, 81962561 edges, 157758 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 59124282 markings, 83105773 edges, 161367 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 59928472 markings, 84247690 edges, 160838 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 60725057 markings, 85381182 edges, 159317 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 61457676 markings, 86429115 edges, 146524 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 62253885 markings, 87552242 edges, 159242 markings/sec, 365 secs
lola: sara is running 370 secs || sara is running 370 secs || 63025856 markings, 88646165 edges, 154394 markings/sec, 370 secs
lola: sara is running 375 secs || sara is running 375 secs || 63809688 markings, 89760529 edges, 156766 markings/sec, 375 secs
lola: sara is running 380 secs || sara is running 380 secs || 64573474 markings, 90847901 edges, 152757 markings/sec, 380 secs
lola: sara is running 385 secs || sara is running 385 secs || 65401501 markings, 92011952 edges, 165605 markings/sec, 385 secs
lola: sara is running 390 secs || sara is running 390 secs || 66267075 markings, 93221320 edges, 173115 markings/sec, 390 secs
lola: sara is running 395 secs || sara is running 395 secs || 67115194 markings, 94413454 edges, 169624 markings/sec, 395 secs
lola: sara is running 400 secs || sara is running 400 secs || 67960589 markings, 95602015 edges, 169079 markings/sec, 400 secs
lola: sara is running 405 secs || sara is running 405 secs || 68797974 markings, 96776655 edges, 167477 markings/sec, 405 secs
lola: sara is running 410 secs || sara is running 410 secs || 69623409 markings, 97938097 edges, 165087 markings/sec, 410 secs
lola: sara is running 415 secs || sara is running 415 secs || 70491410 markings, 99149578 edges, 173600 markings/sec, 415 secs
lola: sara is running 420 secs || sara is running 420 secs || 71344909 markings, 100345975 edges, 170700 markings/sec, 420 secs
lola: sara is running 425 secs || sara is running 425 secs || 72177179 markings, 101511257 edges, 166454 markings/sec, 425 secs
lola: sara is running 430 secs || sara is running 430 secs || 73009300 markings, 102680692 edges, 166424 markings/sec, 430 secs
lola: sara is running 435 secs || sara is running 435 secs || 73879323 markings, 103896375 edges, 174005 markings/sec, 435 secs
lola: sara is running 440 secs || sara is running 440 secs || 74742244 markings, 105105417 edges, 172584 markings/sec, 440 secs
lola: sara is running 445 secs || sara is running 445 secs || 75593294 markings, 106299508 edges, 170210 markings/sec, 445 secs
lola: sara is running 450 secs || sara is running 450 secs || 76437733 markings, 107485878 edges, 168888 markings/sec, 450 secs
lola: sara is running 455 secs || sara is running 455 secs || 77286619 markings, 108677321 edges, 169777 markings/sec, 455 secs
lola: sara is running 460 secs || sara is running 460 secs || 78123987 markings, 109857147 edges, 167474 markings/sec, 460 secs
lola: sara is running 465 secs || sara is running 465 secs || 78953863 markings, 111032039 edges, 165975 markings/sec, 465 secs
lola: sara is running 470 secs || sara is running 470 secs || 79761308 markings, 112175344 edges, 161489 markings/sec, 470 secs
lola: sara is running 475 secs || sara is running 475 secs || 80576152 markings, 113326753 edges, 162969 markings/sec, 475 secs
lola: sara is running 480 secs || sara is running 480 secs || 81406231 markings, 114498449 edges, 166016 markings/sec, 480 secs
lola: sara is running 485 secs || sara is running 485 secs || 82204065 markings, 115631639 edges, 159567 markings/sec, 485 secs
lola: sara is running 490 secs || sara is running 490 secs || 82999093 markings, 116754470 edges, 159006 markings/sec, 490 secs
lola: sara is running 495 secs || sara is running 495 secs || 83766246 markings, 117841173 edges, 153431 markings/sec, 495 secs
lola: sara is running 500 secs || sara is running 500 secs || 84580194 markings, 118989364 edges, 162790 markings/sec, 500 secs
lola: sara is running 505 secs || sara is running 505 secs || 85377684 markings, 120119187 edges, 159498 markings/sec, 505 secs
lola: sara is running 510 secs || sara is running 510 secs || 86173443 markings, 121249594 edges, 159152 markings/sec, 510 secs
lola: sara is running 515 secs || sara is running 515 secs || 86967139 markings, 122369422 edges, 158739 markings/sec, 515 secs
lola: sara is running 520 secs || sara is running 520 secs || 87787161 markings, 123523816 edges, 164004 markings/sec, 520 secs
lola: sara is running 525 secs || sara is running 525 secs || 88555647 markings, 124615502 edges, 153697 markings/sec, 525 secs
lola: sara is running 530 secs || sara is running 530 secs || 89335798 markings, 125728146 edges, 156030 markings/sec, 530 secs
lola: sara is running 535 secs || sara is running 535 secs || 90151776 markings, 126881957 edges, 163196 markings/sec, 535 secs
lola: sara is running 540 secs || sara is running 540 secs || 90993832 markings, 128061554 edges, 168411 markings/sec, 540 secs
lola: sara is running 545 secs || sara is running 545 secs || 91814150 markings, 129210081 edges, 164064 markings/sec, 545 secs
lola: sara is running 550 secs || sara is running 550 secs || 92631989 markings, 130358192 edges, 163568 markings/sec, 550 secs
lola: sara is running 555 secs || sara is running 555 secs || 93425872 markings, 131475994 edges, 158777 markings/sec, 555 secs
lola: sara is running 560 secs || sara is running 560 secs || 94211353 markings, 132586143 edges, 157096 markings/sec, 560 secs
lola: sara is running 565 secs || sara is running 565 secs || 95005448 markings, 133706991 edges, 158819 markings/sec, 565 secs
lola: sara is running 570 secs || sara is running 570 secs || 95770722 markings, 134787388 edges, 153055 markings/sec, 570 secs
lola: sara is running 575 secs || sara is running 575 secs || 96538058 markings, 135874542 edges, 153467 markings/sec, 575 secs
lola: sara is running 580 secs || sara is running 580 secs || 97300479 markings, 136945035 edges, 152484 markings/sec, 580 secs
lola: sara is running 585 secs || sara is running 585 secs || 98062795 markings, 138012670 edges, 152463 markings/sec, 585 secs
lola: sara is running 590 secs || sara is running 590 secs || 98818309 markings, 139087945 edges, 151103 markings/sec, 590 secs
lola: sara is running 595 secs || sara is running 595 secs || 99581116 markings, 140176734 edges, 152561 markings/sec, 595 secs
lola: sara is running 600 secs || sara is running 600 secs || 100349204 markings, 141264358 edges, 153618 markings/sec, 600 secs
lola: sara is running 605 secs || sara is running 605 secs || 101077766 markings, 142302456 edges, 145712 markings/sec, 605 secs
lola: sara is running 610 secs || sara is running 610 secs || 101880767 markings, 143443349 edges, 160600 markings/sec, 610 secs
lola: sara is running 615 secs || sara is running 615 secs || 102679790 markings, 144573056 edges, 159805 markings/sec, 615 secs
lola: sara is running 620 secs || sara is running 620 secs || 103481221 markings, 145706264 edges, 160286 markings/sec, 620 secs
lola: sara is running 625 secs || sara is running 625 secs || 104268717 markings, 146833697 edges, 157499 markings/sec, 625 secs
lola: sara is running 630 secs || sara is running 630 secs || 105067410 markings, 147963845 edges, 159739 markings/sec, 630 secs
lola: sara is running 635 secs || sara is running 635 secs || 105931706 markings, 149174035 edges, 172859 markings/sec, 635 secs
lola: sara is running 640 secs || sara is running 640 secs || 106765397 markings, 150343948 edges, 166738 markings/sec, 640 secs
lola: sara is running 645 secs || sara is running 645 secs || 107513082 markings, 151389855 edges, 149537 markings/sec, 645 secs
lola: sara is running 650 secs || sara is running 650 secs || 108244181 markings, 152418395 edges, 146220 markings/sec, 650 secs
lola: sara is running 655 secs || sara is running 655 secs || 108944162 markings, 153412204 edges, 139996 markings/sec, 655 secs
lola: sara is running 660 secs || sara is running 660 secs || 109714750 markings, 154502946 edges, 154118 markings/sec, 660 secs
lola: sara is running 665 secs || sara is running 665 secs || 110470964 markings, 155559367 edges, 151243 markings/sec, 665 secs
lola: sara is running 670 secs || sara is running 670 secs || 111287357 markings, 156706269 edges, 163279 markings/sec, 670 secs
lola: sara is running 675 secs || sara is running 675 secs || 111975500 markings, 157674021 edges, 137629 markings/sec, 675 secs
lola: sara is running 680 secs || sara is running 680 secs || 112820207 markings, 158872086 edges, 168941 markings/sec, 680 secs
lola: sara is running 685 secs || sara is running 685 secs || 113500340 markings, 159849086 edges, 136027 markings/sec, 685 secs
lola: sara is running 690 secs || sara is running 690 secs || 114255635 markings, 160922115 edges, 151059 markings/sec, 690 secs
lola: sara is running 695 secs || sara is running 695 secs || 115081569 markings, 162076599 edges, 165187 markings/sec, 695 secs
lola: sara is running 700 secs || sara is running 700 secs || 115909009 markings, 163238734 edges, 165488 markings/sec, 700 secs
lola: sara is running 705 secs || sara is running 705 secs || 116692426 markings, 164342157 edges, 156683 markings/sec, 705 secs
lola: sara is running 710 secs || sara is running 710 secs || 117476633 markings, 165439186 edges, 156841 markings/sec, 710 secs
lola: sara is running 715 secs || sara is running 715 secs || 118230633 markings, 166502066 edges, 150800 markings/sec, 715 secs
lola: sara is running 720 secs || sara is running 720 secs || 118974526 markings, 167553486 edges, 148779 markings/sec, 720 secs
lola: sara is running 725 secs || sara is running 725 secs || 119774093 markings, 168667710 edges, 159913 markings/sec, 725 secs
lola: sara is running 730 secs || sara is running 730 secs || 120632356 markings, 169863826 edges, 171653 markings/sec, 730 secs
lola: sara is running 735 secs || sara is running 735 secs || 121470603 markings, 171035722 edges, 167649 markings/sec, 735 secs
lola: sara is running 740 secs || sara is running 740 secs || 122296482 markings, 172194266 edges, 165176 markings/sec, 740 secs
lola: sara is running 745 secs || sara is running 745 secs || 123027597 markings, 173221446 edges, 146223 markings/sec, 745 secs
lola: sara is running 750 secs || sara is running 750 secs || 123806246 markings, 174316804 edges, 155730 markings/sec, 750 secs
lola: sara is running 755 secs || sara is running 755 secs || 124637821 markings, 175483309 edges, 166315 markings/sec, 755 secs
lola: sara is running 760 secs || sara is running 760 secs || 125432690 markings, 176591508 edges, 158974 markings/sec, 760 secs
lola: sara is running 765 secs || sara is running 765 secs || 126194993 markings, 177657099 edges, 152461 markings/sec, 765 secs
lola: sara is running 770 secs || sara is running 770 secs || 126997476 markings, 178777851 edges, 160497 markings/sec, 770 secs
lola: sara is running 775 secs || sara is running 775 secs || 127667491 markings, 179716550 edges, 134003 markings/sec, 775 secs
lola: sara is running 780 secs || sara is running 780 secs || 128486602 markings, 180868748 edges, 163822 markings/sec, 780 secs
lola: sara is running 785 secs || sara is running 785 secs || 129208433 markings, 181887994 edges, 144366 markings/sec, 785 secs
lola: sara is running 790 secs || sara is running 790 secs || 130014718 markings, 183025946 edges, 161257 markings/sec, 790 secs
lola: sara is running 795 secs || sara is running 795 secs || 130819593 markings, 184161402 edges, 160975 markings/sec, 795 secs
lola: sara is running 800 secs || sara is running 800 secs || 131475434 markings, 185096821 edges, 131168 markings/sec, 800 secs
lola: sara is running 805 secs || sara is running 805 secs || 132264300 markings, 186213591 edges, 157773 markings/sec, 805 secs
lola: sara is running 810 secs || sara is running 810 secs || 133200657 markings, 187540887 edges, 187271 markings/sec, 810 secs
lola: sara is running 815 secs || sara is running 815 secs || 133468064 markings, 187918265 edges, 53481 markings/sec, 815 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((((p261 <= 0)) OR ((1 <= p402))) AND (((p217 <= 0)) OR ((1 <= p127))))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((((1 <= p261)) AND ((p402 <= 0))) OR (((1 <= p217)) AND ((p127 <= 0))))
lola: processed formula length: 73
lola: 20 rewrites
lola: closed formula file CTLCardinality.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:787
lola: state equation task get result rewrite finished id 1
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: ((((p261 <= 0)) OR ((1 <= p402))) AND (((p217 <= 0)) OR ((1 <= p127))))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 8 literals and 4 conjunctive subformulas
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((((1 <= p261)) AND ((p402 <= 0))) OR (((1 <= p217)) AND ((p127 <= 0))))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to CTLCardinality-13-0.sara
lola: state equation: write sara problem file to CTLCardinality-13-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLCardinality-13-1.sara.
sara: try reading problem file CTLCardinality-13-0.sara.
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
sara: error: :5072: error near 'TRANSITION': syntax error, unexpected KEY_TRANSITION, expecting SEMICOLON or COMMA
sara: error while reading Petri net from file -- aborting [#04]
sara: see manual for a documentation of this error
sara: last error message: No such file or directory
lola: state equation:solution unknown
lola: state equation:solution unknown
lola: sara is running 0 secs || sara is running 0 secs || 870444 markings, 1213795 edges, 174089 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1763310 markings, 2466116 edges, 178573 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 2653198 markings, 3707915 edges, 177978 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 3528488 markings, 4933976 edges, 175058 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 4391268 markings, 6144778 edges, 172556 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 5250684 markings, 7350182 edges, 171883 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 6106412 markings, 8556811 edges, 171146 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 6955452 markings, 9754347 edges, 169808 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 7794252 markings, 10939733 edges, 167760 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 8634088 markings, 12121586 edges, 167967 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 9490740 markings, 13315667 edges, 171330 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 10321855 markings, 14481319 edges, 166223 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 11182351 markings, 15696275 edges, 172099 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 12068411 markings, 16934939 edges, 177212 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 12937484 markings, 18151941 edges, 173815 markings/sec, 70 secs
lola: time limit reached - aborting
lola:
preliminary result: yes no yes unknown no no yes unknown unknown no unknown
lola:
preliminary result: yes no yes unknown no no yes unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown no no yes unknown unknown no unknown
lola: memory consumption: 2000972 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: yes no yes unknown no no yes unknown unknown no unknown
lola: memory consumption: 2001232 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLCardinality.json
lola: closed JSON file CTLCardinality.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="Raft-PT-09"
export BK_EXAMINATION="CTLCardinality"
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 Raft-PT-09, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r172-smll-158987827600275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-09.tgz
mv Raft-PT-09 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;