About the Execution of ITS-LoLa for FlexibleBarrier-PT-18a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15783.700 | 3600000.00 | 3475621.00 | 56048.50 | F??F?TT??TTTF?FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r170-smll-158987815800372.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is FlexibleBarrier-PT-18a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r170-smll-158987815800372
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 3.2K Apr 4 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 4 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 3 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 265K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-18a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591393415826
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-05 21:43:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-05 21:43:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-05 21:43:39] [INFO ] Load time of PNML (sax parser for PT used): 158 ms
[2020-06-05 21:43:39] [INFO ] Transformed 219 places.
[2020-06-05 21:43:39] [INFO ] Transformed 886 transitions.
[2020-06-05 21:43:39] [INFO ] Found NUPN structural information;
[2020-06-05 21:43:39] [INFO ] Parsed PT model containing 219 places and 886 transitions in 222 ms.
Ensure Unique test removed 290 transitions
Reduce redundant transitions removed 290 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 31 ms.
Finished random walk after 10493 steps, including 0 resets, run visited all 34 properties in 118 ms. (steps per millisecond=88 )
[2020-06-05 21:43:39] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 21:43:39] [INFO ] Flatten gal took : 117 ms
[2020-06-05 21:43:39] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
[2020-06-05 21:43:39] [INFO ] Flatten gal took : 50 ms
FORMULA FlexibleBarrier-PT-18a-CTLFireability-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-18a-CTLFireability-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA FlexibleBarrier-PT-18a-CTLFireability-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-05 21:43:39] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-05 21:43:39] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 12 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ FlexibleBarrier-PT-18a @ 3570 seconds
FORMULA FlexibleBarrier-PT-18a-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-09 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA FlexibleBarrier-PT-18a-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -1
rslt: Output for CTLFireability @ FlexibleBarrier-PT-18a
{
"exit":
{
"memory": 4386992,
"runtime": 3571.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 1,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 3,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "((p12 <= 0) OR (p155 <= 0) OR (p217 <= 0))",
"processed_size": 44,
"rewrites": 34
},
"result":
{
"preliminary_value": "no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown "
},
"task":
{
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "tscc preserving/always up"
}
},
"stateequation":
{
"literals": 3,
"problems": 3
},
"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: 815/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 219
lola: finding significant places
lola: 219 places, 596 transitions, 199 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from CTLFireability.xml
lola: LP says that atomic proposition is always true: (p167 <= 1)
lola: LP says that atomic proposition is always true: (p192 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p59 <= 1)
lola: LP says that atomic proposition is always true: (p108 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p155 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p165 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p12 <= 1)
lola: LP says that atomic proposition is always true: (p71 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p55 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p14 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p11 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p72 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p2 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p148 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p84 <= 1)
lola: LP says that atomic proposition is always true: (p143 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p170 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p131 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p35 <= 1)
lola: LP says that atomic proposition is always true: (p60 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p196 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p24 <= 1)
lola: LP says that atomic proposition is always true: (p191 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p23 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p144 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p18 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p79 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p107 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p68 <= 1)
lola: LP says that atomic proposition is always true: (p209 <= 1)
lola: LP says that atomic proposition is always true: (p127 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: LP says that atomic proposition is always true: (p29 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p47 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p96 <= 1)
lola: LP says that atomic proposition is always true: (p179 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p36 <= 1)
lola: LP says that atomic proposition is always true: (p119 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p1 <= 1)
lola: LP says that atomic proposition is always true: (p180 <= 1)
lola: LP says that atomic proposition is always true: (p215 <= 1)
lola: LP says that atomic proposition is always true: (p217 <= 1)
lola: LP says that atomic proposition is always true: (p48 <= 1)
lola: LP says that atomic proposition is always true: (p64 <= 1)
lola: LP says that atomic proposition is always true: (p218 <= 1)
lola: A (G (A (F (((p167 <= 0) OR (p192 <= 0) OR (p217 <= 0) OR (p59 <= 0) OR (p108 <= 0)))))) : NOT(A (G (NOT(A (G (((1 <= p12) AND (1 <= p155) AND (1 <= p217)))))))) : E ((E (F (((1 <= p165) AND (1 <= p218) AND (1 <= p48) AND (1 <= p119) AND (1 <= p217)))) U ((1 <= p12) AND (1 <= p71) AND (1 <= p217)))) : ((A (G ((((((E (X (((1 <= p55) AND (1 <= p218)))) OR ((p14 <= 0))) OR ((p218 <= 0))) OR ((p11 <= 0))) OR ((p84 <= 0))) OR ((p217 <= 0))))) OR E (X ((((1 <= p48) AND (1 <= p107) AND (1 <= p217)) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p217)) OR ((1 <= p2) AND (1 <= p218)))))) OR A (F (A (G (((1 <= p148) AND (1 <= p218))))))) : E (F (A (X (((1 <= p84) AND (1 <= p143) AND (1 <= p217)))))) : (E (F (((1 <= p170) AND (1 <= p218) AND (1 <= p24) AND (1 <= p131) AND (1 <= p217)))) AND ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))) : E (F ((E ((((1 <= p35) AND (1 <= p60) AND (1 <= p217)) U ((1 <= p196) AND (1 <= p218)))) OR NOT(E (F (((1 <= p24) AND (1 <= p191) AND (1 <= p217)))))))) : E (F ((A (G (((1 <= p23) AND (1 <= p144) AND (1 <= p217)))) AND E (G (((1 <= p144) AND (1 <= p179) AND (1 <= p217))))))) : (E (F (A (G (((p18 <= 0) OR (p217 <= 0)))))) AND (((p79 <= 0) OR (p218 <= 0)) OR (NOT(E (G (((1 <= p36) AND (1 <= p107) AND (1 <= p217))))) AND ((p68 <= 0))))) : E (F (((1 <= p209)))) : E (F (((1 <= p127) AND (1 <= p218)))) : (NOT(A (G (((p29 <= 0) OR ((1 <= p36) AND (1 <= p47) AND (1 <= p217) AND (1 <= p96) AND (1 <= p179) AND (1 <= p217)))))) AND ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))) : E (F (A (X (((1 <= p1) AND (1 <= p180) AND (1 <= p215) AND (1 <= p217) AND (((1 <= p48)) OR ((1 <= p64) AND (1 <= p218))))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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: rewrite Frontend/Parser/formula_rewrite.k:254
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: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
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:548
lola: rewrite Frontend/Parser/formula_rewrite.k:446
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((E (X (((1 <= p55) AND (1 <= p218)))) OR (((p14 <= 0)) OR (((p218 <= 0)) OR (((p11 <= 0)) OR (((p84 <= 0)) OR ((p217 <= 0))))))))) OR (E (X ((((1 <= p48) AND (1 <= p107) AND (1 <= p217)) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p217)) OR ((1 <= p2) AND (1 <= p218))))) OR A (F (A (G (((1 <= p148) AND (1 <= p218))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (A (G (((1 <= p148) AND (1 <= p218))))))
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: ((p148 <= 0) OR (p218 <= 0))
lola: processed formula length: 29
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (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 rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: state equation task get result started, id 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EGEF
lola: The predicate is not eventually invariant.
lola: 4 markings, 4 edges
lola: formula 0: ((1 <= p148) AND (1 <= p218))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: ========================================
lola: subprocess 1 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((((1 <= p48) AND (1 <= p107) AND (1 <= p217)) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p217)) OR ((1 <= p2) AND (1 <= p218)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX((((1 <= p48) AND (1 <= p107) AND (1 <= p217)) OR ((1 <= p23) AND (1 <= p72) AND (1 <= p217)) OR ((1 <= p2) AND (1 <= p218))))
lola: processed formula length: 130
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (X (((1 <= p55) AND (1 <= p218)))) OR (((p14 <= 0)) OR (((p218 <= 0)) OR (((p11 <= 0)) OR (((p84 <= 0)) OR ((p217 <= 0)))))))))
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(((1 <= p55) AND (1 <= p218))) OR (((p14 <= 0)) OR (((p218 <= 0)) OR (((p11 <= 0)) OR (((p84 <= 0)) OR ((p217 <= 0))))))))
lola: processed formula length: 128
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 216384 markings, 547687 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p84) AND (1 <= p143) AND (1 <= p217))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p84) AND (1 <= p143) AND (1 <= p217))))
lola: processed formula length: 52
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 584329 markings, 1518608 edges, 116866 markings/sec, 0 secs
lola: 1098821 markings, 3018326 edges, 102898 markings/sec, 5 secs
lola: 1563530 markings, 4434185 edges, 92942 markings/sec, 10 secs
lola: 2123340 markings, 5960051 edges, 111962 markings/sec, 15 secs
lola: 2628201 markings, 7456587 edges, 100972 markings/sec, 20 secs
lola: 3156218 markings, 8950994 edges, 105603 markings/sec, 25 secs
lola: 3644610 markings, 10418222 edges, 97678 markings/sec, 30 secs
lola: 4113525 markings, 11861986 edges, 93783 markings/sec, 35 secs
lola: 4580359 markings, 13289731 edges, 93367 markings/sec, 40 secs
lola: 5023711 markings, 14696291 edges, 88670 markings/sec, 45 secs
lola: 5462454 markings, 16095560 edges, 87749 markings/sec, 50 secs
lola: 5892357 markings, 17450137 edges, 85981 markings/sec, 55 secs
lola: 6320770 markings, 18838342 edges, 85683 markings/sec, 60 secs
lola: 6749837 markings, 20215805 edges, 85813 markings/sec, 65 secs
lola: 7171595 markings, 21594091 edges, 84352 markings/sec, 70 secs
lola: 7595589 markings, 22974474 edges, 84799 markings/sec, 75 secs
lola: 8024341 markings, 24361697 edges, 85750 markings/sec, 80 secs
lola: 8445956 markings, 25733272 edges, 84323 markings/sec, 85 secs
lola: 8857190 markings, 27087928 edges, 82247 markings/sec, 90 secs
lola: 9268958 markings, 28440332 edges, 82354 markings/sec, 95 secs
lola: 9672257 markings, 29782921 edges, 80660 markings/sec, 100 secs
lola: 10088940 markings, 31148738 edges, 83337 markings/sec, 105 secs
lola: 10490456 markings, 32489153 edges, 80303 markings/sec, 110 secs
lola: 10896963 markings, 33845711 edges, 81301 markings/sec, 115 secs
lola: 11288061 markings, 35159400 edges, 78220 markings/sec, 120 secs
lola: 11675308 markings, 36471311 edges, 77449 markings/sec, 125 secs
lola: 12068973 markings, 37787395 edges, 78733 markings/sec, 130 secs
lola: 12487395 markings, 39142056 edges, 83684 markings/sec, 135 secs
lola: 12967627 markings, 40557286 edges, 96046 markings/sec, 140 secs
lola: 13481488 markings, 42037694 edges, 102772 markings/sec, 145 secs
lola: 13988966 markings, 43506284 edges, 101496 markings/sec, 150 secs
lola: 14476865 markings, 44944023 edges, 97580 markings/sec, 155 secs
lola: 14941716 markings, 46360255 edges, 92970 markings/sec, 160 secs
lola: 15391295 markings, 47748971 edges, 89916 markings/sec, 165 secs
lola: 15824581 markings, 49122569 edges, 86657 markings/sec, 170 secs
lola: 16279526 markings, 50516838 edges, 90989 markings/sec, 175 secs
lola: 16703994 markings, 51877188 edges, 84894 markings/sec, 180 secs
lola: 17130569 markings, 53234096 edges, 85315 markings/sec, 185 secs
lola: 17544357 markings, 54580400 edges, 82758 markings/sec, 190 secs
lola: 17949467 markings, 55913698 edges, 81022 markings/sec, 195 secs
lola: 18367717 markings, 57256681 edges, 83650 markings/sec, 200 secs
lola: 18794914 markings, 58608520 edges, 85439 markings/sec, 205 secs
lola: 19341483 markings, 60124139 edges, 109314 markings/sec, 210 secs
lola: 19828908 markings, 61586501 edges, 97485 markings/sec, 215 secs
lola: 20242168 markings, 62929570 edges, 82652 markings/sec, 220 secs
lola: 20642657 markings, 64249975 edges, 80098 markings/sec, 225 secs
lola: 21058460 markings, 65597442 edges, 83161 markings/sec, 230 secs
lola: 21549267 markings, 67029877 edges, 98161 markings/sec, 235 secs
lola: 21961560 markings, 68368370 edges, 82459 markings/sec, 240 secs
lola: 22354609 markings, 69675395 edges, 78610 markings/sec, 245 secs
lola: 22743110 markings, 70974561 edges, 77700 markings/sec, 250 secs
lola: 23132547 markings, 72277716 edges, 77887 markings/sec, 255 secs
lola: 23520989 markings, 73574517 edges, 77688 markings/sec, 260 secs
lola: 23910069 markings, 74877680 edges, 77816 markings/sec, 265 secs
lola: 24296845 markings, 76179903 edges, 77355 markings/sec, 270 secs
lola: 24733160 markings, 77552134 edges, 87263 markings/sec, 275 secs
lola: 25136859 markings, 78877898 edges, 80740 markings/sec, 280 secs
lola: 25581891 markings, 80261765 edges, 89006 markings/sec, 285 secs
lola: 25994852 markings, 81598609 edges, 82592 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9948916 KB
lola: time consumption: 304 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p1) AND (1 <= p180) AND (1 <= p215) AND (1 <= p217) AND (((1 <= p48)) OR ((1 <= p64) AND (1 <= p218))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p1) AND (1 <= p180) AND (1 <= p215) AND (1 <= p217) AND (((1 <= p48)) OR ((1 <= p64) AND (1 <= p218))))))
lola: processed formula length: 119
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 580359 markings, 1507840 edges, 116072 markings/sec, 0 secs
lola: 1092823 markings, 3000632 edges, 102493 markings/sec, 5 secs
lola: 1570334 markings, 4455591 edges, 95502 markings/sec, 10 secs
lola: 2129659 markings, 5977821 edges, 111865 markings/sec, 15 secs
lola: 2629800 markings, 7461516 edges, 100028 markings/sec, 20 secs
lola: 3154350 markings, 8945125 edges, 104910 markings/sec, 25 secs
lola: 3635372 markings, 10387827 edges, 96204 markings/sec, 30 secs
lola: 4094765 markings, 11805776 edges, 91879 markings/sec, 35 secs
lola: 4554812 markings, 13214464 edges, 92009 markings/sec, 40 secs
lola: 4996294 markings, 14607266 edges, 88296 markings/sec, 45 secs
lola: 5428213 markings, 15984160 edges, 86384 markings/sec, 50 secs
lola: 5863223 markings, 17362106 edges, 87002 markings/sec, 55 secs
lola: 6288555 markings, 18732506 edges, 85066 markings/sec, 60 secs
lola: 6708764 markings, 20086878 edges, 84042 markings/sec, 65 secs
lola: 7128151 markings, 21446266 edges, 83877 markings/sec, 70 secs
lola: 7539277 markings, 22794496 edges, 82225 markings/sec, 75 secs
lola: 7949091 markings, 24137242 edges, 81963 markings/sec, 80 secs
lola: 8377006 markings, 25506238 edges, 85583 markings/sec, 85 secs
lola: 8781882 markings, 26837824 edges, 80975 markings/sec, 90 secs
lola: 9185382 markings, 28168101 edges, 80700 markings/sec, 95 secs
lola: 9590858 markings, 29503993 edges, 81095 markings/sec, 100 secs
lola: 10003240 markings, 30855377 edges, 82476 markings/sec, 105 secs
lola: 10395080 markings, 32168163 edges, 78368 markings/sec, 110 secs
lola: 10795828 markings, 33502027 edges, 80150 markings/sec, 115 secs
lola: 11180536 markings, 34799598 edges, 76942 markings/sec, 120 secs
lola: 11567506 markings, 36104452 edges, 77394 markings/sec, 125 secs
lola: 11959281 markings, 37414367 edges, 78355 markings/sec, 130 secs
lola: 12371863 markings, 38753273 edges, 82516 markings/sec, 135 secs
lola: 12793918 markings, 40091047 edges, 84411 markings/sec, 140 secs
lola: 13329928 markings, 41589186 edges, 107202 markings/sec, 145 secs
lola: 13828062 markings, 43047725 edges, 99627 markings/sec, 150 secs
lola: 14331568 markings, 44498863 edges, 100701 markings/sec, 155 secs
lola: 14793050 markings, 45910122 edges, 92296 markings/sec, 160 secs
lola: 15235422 markings, 47258267 edges, 88474 markings/sec, 165 secs
lola: 15675626 markings, 48640746 edges, 88041 markings/sec, 170 secs
lola: 16114640 markings, 50014097 edges, 87803 markings/sec, 175 secs
lola: 16553091 markings, 51385291 edges, 87690 markings/sec, 180 secs
lola: 16975569 markings, 52736856 edges, 84496 markings/sec, 185 secs
lola: 17391165 markings, 54080809 edges, 83119 markings/sec, 190 secs
lola: 17796656 markings, 55411359 edges, 81098 markings/sec, 195 secs
lola: 18209774 markings, 56745268 edges, 82624 markings/sec, 200 secs
lola: 18616132 markings, 58076776 edges, 81272 markings/sec, 205 secs
lola: 19141865 markings, 59546804 edges, 105147 markings/sec, 210 secs
lola: 19642642 markings, 61025658 edges, 100155 markings/sec, 215 secs
lola: 20085350 markings, 62413150 edges, 88542 markings/sec, 220 secs
lola: 20483909 markings, 63726784 edges, 79712 markings/sec, 225 secs
lola: 20879972 markings, 65039800 edges, 79213 markings/sec, 230 secs
lola: 21373563 markings, 66470713 edges, 98718 markings/sec, 235 secs
lola: 21801943 markings, 67842308 edges, 85676 markings/sec, 240 secs
lola: 22192969 markings, 69139114 edges, 78205 markings/sec, 245 secs
lola: 22584633 markings, 70439453 edges, 78333 markings/sec, 250 secs
lola: 22970979 markings, 71735418 edges, 77269 markings/sec, 255 secs
lola: 23359351 markings, 73030642 edges, 77674 markings/sec, 260 secs
lola: 23741426 markings, 74321766 edges, 76415 markings/sec, 265 secs
lola: 24136154 markings, 75632861 edges, 78946 markings/sec, 270 secs
lola: 24520419 markings, 76928309 edges, 76853 markings/sec, 275 secs
lola: 24975005 markings, 78328532 edges, 90917 markings/sec, 280 secs
lola: 25385171 markings, 79660595 edges, 82033 markings/sec, 285 secs
lola: 25822749 markings, 81031618 edges, 87516 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9887152 KB
lola: time consumption: 600 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p209))))
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 <= p209))))
lola: processed formula length: 21
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p209))
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: 9 markings, 8 edges
lola: ========================================
lola: subprocess 4 will run for 329 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p127) AND (1 <= p218))))
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 <= p127) AND (1 <= p218))))
lola: processed formula length: 37
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p127) AND (1 <= p218))
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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 7 markings, 6 edges
lola: ========================================
lola: subprocess 5 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p12) AND (1 <= p155) AND (1 <= p217))))))
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: ((p12 <= 0) OR (p155 <= 0) OR (p217 <= 0))
lola: processed formula length: 44
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p12) AND (1 <= p155) AND (1 <= p217))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p12 <= 0) OR (p155 <= 0) OR (p217 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-5-0.sara
lola: lola: state equation: write sara problem file to CTLFireability-5-1.sara
state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-5-1.sara.
sara: try reading problem file CTLFireability-5-0.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 652935 markings, 1710515 edges, 130587 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1255267 markings, 3485768 edges, 120466 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1863703 markings, 5262651 edges, 121687 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2498633 markings, 7067544 edges, 126986 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3118874 markings, 8840592 edges, 124048 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 3690814 markings, 10561105 edges, 114388 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4245218 markings, 12246295 edges, 110881 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 4777800 markings, 13908825 edges, 106516 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 5290329 markings, 15533665 edges, 102506 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 5800981 markings, 17158902 edges, 102130 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 6299381 markings, 18767628 edges, 99680 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 6796528 markings, 20368125 edges, 99429 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 7288271 markings, 21964533 edges, 98349 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 7768879 markings, 23543289 edges, 96122 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 8266846 markings, 25145265 edges, 99593 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 8740606 markings, 26701833 edges, 94752 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 9211447 markings, 28254768 edges, 94168 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 9680100 markings, 29809395 edges, 93731 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 10159400 markings, 31382548 edges, 95860 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 10621717 markings, 32923771 edges, 92463 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 11079120 markings, 34455764 edges, 91481 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 11527956 markings, 35969120 edges, 89767 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 11982089 markings, 37491382 edges, 90827 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 12459654 markings, 39051373 edges, 95513 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 13027689 markings, 40725849 edges, 113607 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 13632467 markings, 42495082 edges, 120956 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 14243441 markings, 44254054 edges, 122195 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 14810686 markings, 45960761 edges, 113449 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 15353174 markings, 47628561 edges, 108498 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 15869373 markings, 49263050 edges, 103240 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 16406317 markings, 50917238 edges, 107389 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 16903274 markings, 52520072 edges, 99391 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 17403448 markings, 54121919 edges, 100035 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 17882585 markings, 55697058 edges, 95827 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 18376197 markings, 57285704 edges, 98722 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 18922548 markings, 58936572 edges, 109270 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 19547339 markings, 60737160 edges, 124958 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 20082753 markings, 62405175 edges, 107083 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 20556584 markings, 63963455 edges, 94766 markings/sec, 190 secs
lola: sara is running 195 secs || sara is running 195 secs || 21041871 markings, 65546025 edges, 97057 markings/sec, 195 secs
lola: sara is running 200 secs || sara is running 200 secs || 21612504 markings, 67238428 edges, 114127 markings/sec, 200 secs
lola: sara is running 205 secs || sara is running 205 secs || 22094268 markings, 68808314 edges, 96353 markings/sec, 205 secs
lola: sara is running 210 secs || sara is running 210 secs || 22557463 markings, 70346713 edges, 92639 markings/sec, 210 secs
lola: sara is running 215 secs || sara is running 215 secs || 23012369 markings, 71873353 edges, 90981 markings/sec, 215 secs
lola: sara is running 220 secs || sara is running 220 secs || 23469354 markings, 73399748 edges, 91397 markings/sec, 220 secs
lola: sara is running 225 secs || sara is running 225 secs || 23928477 markings, 74933685 edges, 91825 markings/sec, 225 secs
lola: sara is running 230 secs || sara is running 230 secs || 24377017 markings, 76449141 edges, 89708 markings/sec, 230 secs
lola: sara is running 235 secs || sara is running 235 secs || 24909146 markings, 78100191 edges, 106426 markings/sec, 235 secs
lola: sara is running 240 secs || sara is running 240 secs || 25385206 markings, 79660637 edges, 95212 markings/sec, 240 secs
lola: sara is running 245 secs || sara is running 245 secs || 25902531 markings, 81285868 edges, 103465 markings/sec, 245 secs
lola: sara is running 250 secs || sara is running 250 secs || 26351356 markings, 82797349 edges, 89765 markings/sec, 250 secs
lola: sara is running 255 secs || sara is running 255 secs || 26851367 markings, 84388194 edges, 100002 markings/sec, 255 secs
lola: sara is running 260 secs || sara is running 260 secs || 27281614 markings, 85866717 edges, 86049 markings/sec, 260 secs
lola: sara is running 265 secs || sara is running 265 secs || 27754113 markings, 87419466 edges, 94500 markings/sec, 265 secs
lola: sara is running 270 secs || sara is running 270 secs || 28191656 markings, 88918795 edges, 87509 markings/sec, 270 secs
lola: sara is running 275 secs || sara is running 275 secs || 28623541 markings, 90403396 edges, 86377 markings/sec, 275 secs
lola: sara is running 280 secs || sara is running 280 secs || 29077717 markings, 91921087 edges, 90835 markings/sec, 280 secs
lola: sara is running 285 secs || sara is running 285 secs || 29510845 markings, 93391630 edges, 86626 markings/sec, 285 secs
lola: sara is running 290 secs || sara is running 290 secs || 29928672 markings, 94839539 edges, 83565 markings/sec, 290 secs
lola: sara is running 295 secs || sara is running 295 secs || 30385270 markings, 96358157 edges, 91320 markings/sec, 295 secs
lola: sara is running 300 secs || sara is running 300 secs || 30813792 markings, 97809846 edges, 85704 markings/sec, 300 secs
lola: sara is running 305 secs || sara is running 305 secs || 31261698 markings, 99311427 edges, 89581 markings/sec, 305 secs
lola: sara is running 310 secs || sara is running 310 secs || 31699372 markings, 100796033 edges, 87535 markings/sec, 310 secs
lola: sara is running 315 secs || sara is running 315 secs || 32115032 markings, 102239851 edges, 83132 markings/sec, 315 secs
lola: sara is running 320 secs || sara is running 320 secs || 32586828 markings, 103809408 edges, 94359 markings/sec, 320 secs
lola: sara is running 325 secs || sara is running 325 secs || 33033111 markings, 105321470 edges, 89257 markings/sec, 325 secs
lola: sara is running 330 secs || sara is running 330 secs || 33446200 markings, 106756922 edges, 82618 markings/sec, 330 secs
lola: sara is running 335 secs || sara is running 335 secs || 33874665 markings, 108239151 edges, 85693 markings/sec, 335 secs
lola: sara is running 340 secs || sara is running 340 secs || 34302180 markings, 109703711 edges, 85503 markings/sec, 340 secs
lola: sara is running 345 secs || sara is running 345 secs || 34723969 markings, 111165795 edges, 84358 markings/sec, 345 secs
lola: sara is running 350 secs || sara is running 350 secs || 35153249 markings, 112640607 edges, 85856 markings/sec, 350 secs
lola: sara is running 355 secs || sara is running 355 secs || 35590606 markings, 114129644 edges, 87471 markings/sec, 355 secs
lola: sara is running 360 secs || sara is running 360 secs || 36025414 markings, 115615357 edges, 86962 markings/sec, 360 secs
lola: sara is running 365 secs || sara is running 365 secs || 36438646 markings, 117051584 edges, 82646 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown no unknown unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 7636148 KB
lola: time consumption: 972 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((p167 <= 0) OR (p192 <= 0) OR (p217 <= 0) OR (p59 <= 0) OR (p108 <= 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:787
lola: processed formula: ((1 <= p167) AND (1 <= p192) AND (1 <= p217) AND (1 <= p59) AND (1 <= p108))
lola: processed formula length: 76
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (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 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: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 8 markings, 8 edges
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p167 <= 0) OR (p192 <= 0) OR (p217 <= 0) OR (p59 <= 0) OR (p108 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 5 conjunctive subformulas
lola: ========================================
lola: subprocess 7 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F (((1 <= p165) AND (1 <= p218) AND (1 <= p48) AND (1 <= p119) AND (1 <= p217)))) U ((1 <= p12) AND (1 <= p71) AND (1 <= p217))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EF(((1 <= p165) AND (1 <= p218) AND (1 <= p48) AND (1 <= p119) AND (1 <= p217))) U ((1 <= p12) AND (1 <= p71) AND (1 <= p217)))
lola: processed formula length: 129
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 646451 markings, 1692764 edges, 129290 markings/sec, 0 secs
lola: 1222243 markings, 3385120 edges, 115158 markings/sec, 5 secs
lola: 1793591 markings, 5073724 edges, 114270 markings/sec, 10 secs
lola: 2415573 markings, 6816477 edges, 124396 markings/sec, 15 secs
lola: 2997185 markings, 8521675 edges, 116322 markings/sec, 20 secs
lola: 3566790 markings, 10190428 edges, 113921 markings/sec, 25 secs
lola: 4090726 markings, 11793174 edges, 104787 markings/sec, 30 secs
lola: 4609419 markings, 13382782 edges, 103739 markings/sec, 35 secs
lola: 5099188 markings, 14934572 edges, 97954 markings/sec, 40 secs
lola: 5592976 markings, 16503022 edges, 98758 markings/sec, 45 secs
lola: 6074812 markings, 18042059 edges, 96367 markings/sec, 50 secs
lola: 6550759 markings, 19575167 edges, 95189 markings/sec, 55 secs
lola: 7024899 markings, 21108450 edges, 94828 markings/sec, 60 secs
lola: 7486432 markings, 22622313 edges, 92307 markings/sec, 65 secs
lola: 7942820 markings, 24117932 edges, 91278 markings/sec, 70 secs
lola: 8422447 markings, 25658448 edges, 95925 markings/sec, 75 secs
lola: 8877729 markings, 27150472 edges, 91056 markings/sec, 80 secs
lola: 9332649 markings, 28652252 edges, 90984 markings/sec, 85 secs
lola: 9779679 markings, 30138160 edges, 89406 markings/sec, 90 secs
lola: 10231688 markings, 31630999 edges, 90402 markings/sec, 95 secs
lola: 10684226 markings, 33118739 edges, 90508 markings/sec, 100 secs
lola: 11111483 markings, 34566083 edges, 85451 markings/sec, 105 secs
lola: 11540086 markings, 36010219 edges, 85721 markings/sec, 110 secs
lola: 11974174 markings, 37463421 edges, 86818 markings/sec, 115 secs
lola: 12435462 markings, 38967840 edges, 92258 markings/sec, 120 secs
lola: 12968434 markings, 40559238 edges, 106594 markings/sec, 125 secs
lola: 13552961 markings, 42254768 edges, 116905 markings/sec, 130 secs
lola: 14127342 markings, 43929834 edges, 114876 markings/sec, 135 secs
lola: 14674961 markings, 45551196 edges, 109524 markings/sec, 140 secs
lola: 15199888 markings, 47144931 edges, 104985 markings/sec, 145 secs
lola: 15693664 markings, 48698771 edges, 98755 markings/sec, 150 secs
lola: 16193810 markings, 50256146 edges, 100029 markings/sec, 155 secs
lola: 16676748 markings, 51787581 edges, 96588 markings/sec, 160 secs
lola: 17151906 markings, 53304087 edges, 95032 markings/sec, 165 secs
lola: 17611750 markings, 54802665 edges, 91969 markings/sec, 170 secs
lola: 18063467 markings, 56284673 edges, 90343 markings/sec, 175 secs
lola: 18524638 markings, 57781649 edges, 92234 markings/sec, 180 secs
lola: 19100370 markings, 59433885 edges, 115146 markings/sec, 185 secs
lola: 19678491 markings, 61133422 edges, 115624 markings/sec, 190 secs
lola: 20164234 markings, 62674961 edges, 97149 markings/sec, 195 secs
lola: 20612015 markings, 64147576 edges, 89556 markings/sec, 200 secs
lola: 21077348 markings, 65654958 edges, 93067 markings/sec, 205 secs
lola: 21620320 markings, 67263850 edges, 108594 markings/sec, 210 secs
lola: 22075988 markings, 68750019 edges, 91134 markings/sec, 215 secs
lola: 22509721 markings, 70195534 edges, 86747 markings/sec, 220 secs
lola: 22943905 markings, 71641197 edges, 86837 markings/sec, 225 secs
lola: 23376696 markings, 73086478 edges, 86558 markings/sec, 230 secs
lola: 23798561 markings, 74517134 edges, 84373 markings/sec, 235 secs
lola: 24239671 markings, 75981288 edges, 88222 markings/sec, 240 secs
lola: 24714558 markings, 77495270 edges, 94977 markings/sec, 245 secs
lola: 25167745 markings, 78979963 edges, 90637 markings/sec, 250 secs
lola: 25659791 markings, 80523557 edges, 98409 markings/sec, 255 secs
lola: 26119141 markings, 82016192 edges, 91870 markings/sec, 260 secs
lola: 26545437 markings, 83445306 edges, 85259 markings/sec, 265 secs
lola: 27016083 markings, 84949519 edges, 94129 markings/sec, 270 secs
lola: 27422991 markings, 86350751 edges, 81382 markings/sec, 275 secs
lola: 27876185 markings, 87833331 edges, 90639 markings/sec, 280 secs
lola: 28282801 markings, 89236163 edges, 81323 markings/sec, 285 secs
lola: 28694765 markings, 90649252 edges, 82393 markings/sec, 290 secs
lola: 29129387 markings, 92093264 edges, 86924 markings/sec, 295 secs
lola: 29543231 markings, 93505466 edges, 82769 markings/sec, 300 secs
lola: 29942727 markings, 94888499 edges, 79899 markings/sec, 305 secs
lola: 30381009 markings, 96343708 edges, 87656 markings/sec, 310 secs
lola: 30800190 markings, 97765795 edges, 83836 markings/sec, 315 secs
lola: 31228907 markings, 99198281 edges, 85743 markings/sec, 320 secs
lola: 31648118 markings, 100620726 edges, 83842 markings/sec, 325 secs
lola: 32049428 markings, 102011649 edges, 80262 markings/sec, 330 secs
lola: 32499140 markings, 103502905 edges, 89942 markings/sec, 335 secs
lola: 32917682 markings, 104924947 edges, 83708 markings/sec, 340 secs
lola: 33317500 markings, 106316245 edges, 79964 markings/sec, 345 secs
lola: 33722845 markings, 107715436 edges, 81069 markings/sec, 350 secs
lola: 34121336 markings, 109103831 edges, 79698 markings/sec, 355 secs
lola: 34536322 markings, 110513776 edges, 82997 markings/sec, 360 secs
lola: 34946295 markings, 111916857 edges, 81995 markings/sec, 365 secs
lola: 35347477 markings, 113311216 edges, 80236 markings/sec, 370 secs
lola: 35772761 markings, 114742428 edges, 85057 markings/sec, 375 secs
lola: 36171280 markings, 116127147 edges, 79704 markings/sec, 380 secs
lola: 36568756 markings, 117506112 edges, 79495 markings/sec, 385 secs
lola: 36966543 markings, 118893178 edges, 79557 markings/sec, 390 secs
lola: 37366247 markings, 120279301 edges, 79941 markings/sec, 395 secs
lola: 37770973 markings, 121680498 edges, 80945 markings/sec, 400 secs
lola: 38164439 markings, 123060768 edges, 78693 markings/sec, 405 secs
lola: 38556774 markings, 124441894 edges, 78467 markings/sec, 410 secs
lola: 38944902 markings, 125806267 edges, 77626 markings/sec, 415 secs
lola: 39336668 markings, 127179785 edges, 78353 markings/sec, 420 secs
lola: 39751127 markings, 128594073 edges, 82892 markings/sec, 425 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 9754940 KB
lola: time consumption: 1406 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 432 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (G (((1 <= p23) AND (1 <= p144) AND (1 <= p217)))) AND E (G (((1 <= p144) AND (1 <= p179) AND (1 <= p217)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((AG(((1 <= p23) AND (1 <= p144) AND (1 <= p217))) AND EG(((1 <= p144) AND (1 <= p179) AND (1 <= p217)))))
lola: processed formula length: 108
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 520120 markings, 1859753 edges, 104024 markings/sec, 0 secs
lola: 999310 markings, 3716472 edges, 95838 markings/sec, 5 secs
lola: 1444153 markings, 5508918 edges, 88969 markings/sec, 10 secs
lola: 1935896 markings, 7379138 edges, 98349 markings/sec, 15 secs
lola: 2417169 markings, 9238422 edges, 96255 markings/sec, 20 secs
lola: 2862905 markings, 11030609 edges, 89147 markings/sec, 25 secs
lola: 3342834 markings, 12862940 edges, 95986 markings/sec, 30 secs
lola: 3788100 markings, 14640766 edges, 89053 markings/sec, 35 secs
lola: 4215471 markings, 16373123 edges, 85474 markings/sec, 40 secs
lola: 4635405 markings, 18100443 edges, 83987 markings/sec, 45 secs
lola: 5043313 markings, 19802887 edges, 81582 markings/sec, 50 secs
lola: 5447537 markings, 21492931 edges, 80845 markings/sec, 55 secs
lola: 5853857 markings, 23185016 edges, 81264 markings/sec, 60 secs
lola: 6251677 markings, 24863512 edges, 79564 markings/sec, 65 secs
lola: 6644438 markings, 26524999 edges, 78552 markings/sec, 70 secs
lola: 7037954 markings, 28190091 edges, 78703 markings/sec, 75 secs
lola: 7423133 markings, 29836397 edges, 77036 markings/sec, 80 secs
lola: 7808491 markings, 31484238 edges, 77072 markings/sec, 85 secs
lola: 8206235 markings, 33157011 edges, 79549 markings/sec, 90 secs
lola: 8586963 markings, 34788798 edges, 76146 markings/sec, 95 secs
lola: 8966785 markings, 36412942 edges, 75964 markings/sec, 100 secs
lola: 9346860 markings, 38044677 edges, 76015 markings/sec, 105 secs
lola: 9718117 markings, 39657096 edges, 74251 markings/sec, 110 secs
lola: 10105544 markings, 41307102 edges, 77485 markings/sec, 115 secs
lola: 10473044 markings, 42903269 edges, 73500 markings/sec, 120 secs
lola: 10847207 markings, 44524903 edges, 74833 markings/sec, 125 secs
lola: 11209245 markings, 46104550 edges, 72408 markings/sec, 130 secs
lola: 11571856 markings, 47691010 edges, 72522 markings/sec, 135 secs
lola: 11938504 markings, 49283372 edges, 73330 markings/sec, 140 secs
lola: 12325142 markings, 50920841 edges, 77328 markings/sec, 145 secs
lola: 12683163 markings, 52494110 edges, 71604 markings/sec, 150 secs
lola: 13196770 markings, 54401227 edges, 102721 markings/sec, 155 secs
lola: 13653140 markings, 56209448 edges, 91274 markings/sec, 160 secs
lola: 14119559 markings, 58026199 edges, 93284 markings/sec, 165 secs
lola: 14574174 markings, 59807809 edges, 90923 markings/sec, 170 secs
lola: 15002330 markings, 61545131 edges, 85631 markings/sec, 175 secs
lola: 15416780 markings, 63247686 edges, 82890 markings/sec, 180 secs
lola: 15820481 markings, 64930117 edges, 80740 markings/sec, 185 secs
lola: 16241702 markings, 66642475 edges, 84244 markings/sec, 190 secs
lola: 16640992 markings, 68310734 edges, 79858 markings/sec, 195 secs
lola: 17034195 markings, 69962521 edges, 78641 markings/sec, 200 secs
lola: 17423879 markings, 71608587 edges, 77937 markings/sec, 205 secs
lola: 17800715 markings, 73224537 edges, 75367 markings/sec, 210 secs
lola: 18185240 markings, 74852987 edges, 76905 markings/sec, 215 secs
lola: 18566548 markings, 76480500 edges, 76262 markings/sec, 220 secs
lola: 19034574 markings, 78280856 edges, 93605 markings/sec, 225 secs
lola: 19511194 markings, 80139444 edges, 95324 markings/sec, 230 secs
lola: 19946698 markings, 81907852 edges, 87101 markings/sec, 235 secs
lola: 20322392 markings, 83518981 edges, 75139 markings/sec, 240 secs
lola: 20695340 markings, 85125539 edges, 74590 markings/sec, 245 secs
lola: 21090397 markings, 86786249 edges, 79011 markings/sec, 250 secs
lola: 21544277 markings, 88559609 edges, 90776 markings/sec, 255 secs
lola: 21931586 markings, 90201754 edges, 77462 markings/sec, 260 secs
lola: 22297186 markings, 91784053 edges, 73120 markings/sec, 265 secs
lola: 22660651 markings, 93360615 edges, 72693 markings/sec, 270 secs
lola: 23025740 markings, 94943726 edges, 73018 markings/sec, 275 secs
lola: 23391240 markings, 96524914 edges, 73100 markings/sec, 280 secs
lola: 23747491 markings, 98089814 edges, 71250 markings/sec, 285 secs
lola: 24119026 markings, 99690846 edges, 74307 markings/sec, 290 secs
lola: 24472820 markings, 101247710 edges, 70759 markings/sec, 295 secs
lola: 24908137 markings, 103004895 edges, 87063 markings/sec, 300 secs
lola: 25274153 markings, 104594788 edges, 73203 markings/sec, 305 secs
lola: 25680689 markings, 106276797 edges, 81307 markings/sec, 310 secs
lola: 26071425 markings, 107925408 edges, 78147 markings/sec, 315 secs
lola: 26429125 markings, 109486901 edges, 71540 markings/sec, 320 secs
lola: 26832357 markings, 111158126 edges, 80646 markings/sec, 325 secs
lola: 27181734 markings, 112700682 edges, 69875 markings/sec, 330 secs
lola: 27550676 markings, 114294730 edges, 73788 markings/sec, 335 secs
lola: 27912752 markings, 115872531 edges, 72415 markings/sec, 340 secs
lola: 28258907 markings, 117412296 edges, 69231 markings/sec, 345 secs
lola: 28606098 markings, 118952163 edges, 69438 markings/sec, 350 secs
lola: 28971172 markings, 120533061 edges, 73015 markings/sec, 355 secs
lola: 29326591 markings, 122094434 edges, 71084 markings/sec, 360 secs
lola: 29674725 markings, 123631255 edges, 69627 markings/sec, 365 secs
lola: 30013772 markings, 125145946 edges, 67809 markings/sec, 370 secs
lola: 30386454 markings, 126748647 edges, 74536 markings/sec, 375 secs
lola: 30736421 markings, 128293854 edges, 69993 markings/sec, 380 secs
lola: 31103892 markings, 129878536 edges, 73494 markings/sec, 385 secs
lola: 31457297 markings, 131436745 edges, 70681 markings/sec, 390 secs
lola: 31807621 markings, 132980821 edges, 70065 markings/sec, 395 secs
lola: 32149883 markings, 134509679 edges, 68452 markings/sec, 400 secs
lola: 32533525 markings, 136156431 edges, 76728 markings/sec, 405 secs
lola: 32890900 markings, 137723124 edges, 71475 markings/sec, 410 secs
lola: 33232767 markings, 139253239 edges, 68373 markings/sec, 415 secs
lola: 33581046 markings, 140795643 edges, 69656 markings/sec, 420 secs
lola: 33918274 markings, 142311372 edges, 67446 markings/sec, 425 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 8324392 KB
lola: time consumption: 1838 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p29) AND ((p36 <= 0) OR (p47 <= 0) OR (p217 <= 0) OR (p96 <= 0) OR (p179 <= 0) OR (p217 <= 0))))) AND ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 433 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))
lola: processed formula length: 44
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p29) AND ((p36 <= 0) OR (p47 <= 0) OR (p217 <= 0) OR (p96 <= 0) OR (p179 <= 0) OR (p217 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: processed formula: E (F (((1 <= p29) AND ((p36 <= 0) OR (p47 <= 0) OR (p217 <= 0) OR (p96 <= 0) OR (p179 <= 0) OR (p217 <= 0)))))
lola: processed formula length: 115
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p29) AND ((p36 <= 0) OR (p47 <= 0) OR (p217 <= 0) OR (p96 <= 0) OR (p179 <= 0) OR (p217 <= 0)))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 10 literals and 5 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 9 markings, 8 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 10 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p170) AND (1 <= p218) AND (1 <= p24) AND (1 <= p131) AND (1 <= p217)))) AND ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 577 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p36 <= 0) OR (p119 <= 0) OR (p217 <= 0))
lola: processed formula length: 44
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 3 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 866 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p170) AND (1 <= p218) AND (1 <= p24) AND (1 <= p131) AND (1 <= p217))))
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 <= p170) AND (1 <= p218) AND (1 <= p24) AND (1 <= p131) AND (1 <= p217))))
lola: processed formula length: 84
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p170) AND (1 <= p218) AND (1 <= p24) AND (1 <= p131) AND (1 <= p217))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 5 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 8 markings, 7 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 11 will run for 866 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p196) AND (1 <= p218)))) OR E (F (A (G (((p24 <= 0) OR (p191 <= 0) OR (p217 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 866 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p196) AND (1 <= p218))))
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 <= p196) AND (1 <= p218))))
lola: processed formula length: 37
lola: 31 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p196) AND (1 <= p218))
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: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 10 markings, 9 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 12 will run for 1732 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G (((p18 <= 0) OR (p217 <= 0)))))) AND (((p79 <= 0) OR (p218 <= 0)) OR (A (F (((p36 <= 0) OR (p107 <= 0) OR (p217 <= 0)))) AND ((p68 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 1732 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((p68 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p68 <= 0))
lola: processed formula length: 12
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((p36 <= 0) OR (p107 <= 0) OR (p217 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: processed formula: ((1 <= p36) AND (1 <= p107) AND (1 <= p217))
lola: processed formula length: 44
lola: 33 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p36 <= 0) OR (p107 <= 0) OR (p217 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((p18 <= 0) OR (p217 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: rewrite Frontend/Parser/formula_rewrite.k:604
lola: rewrite Frontend/Parser/formula_rewrite.k:614
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p18) AND (1 <= p217))
lola: processed formula length: 28
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((p18 <= 0) OR (p217 <= 0))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((1 <= p18) AND (1 <= p217))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: lola: state equation: write sara problem file to CTLFireability-15-1.sara
state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.
sara: try reading problem file CTLFireability-15-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown
lola: memory consumption: 68516 KB
lola: time consumption: 1839 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p84) AND (1 <= p143) AND (1 <= p217))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p84) AND (1 <= p143) AND (1 <= p217))))
lola: processed formula length: 52
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 579066 markings, 1503969 edges, 115813 markings/sec, 0 secs
lola: 1094117 markings, 3004518 edges, 103010 markings/sec, 5 secs
lola: 1572405 markings, 4462365 edges, 95658 markings/sec, 10 secs
lola: 2133425 markings, 5988449 edges, 112204 markings/sec, 15 secs
lola: 2633658 markings, 7473163 edges, 100047 markings/sec, 20 secs
lola: 3158369 markings, 8957561 edges, 104942 markings/sec, 25 secs
lola: 3639837 markings, 10402447 edges, 96294 markings/sec, 30 secs
lola: 4099402 markings, 11820563 edges, 91913 markings/sec, 35 secs
lola: 4561657 markings, 13235563 edges, 92451 markings/sec, 40 secs
lola: 5003209 markings, 14629176 edges, 88310 markings/sec, 45 secs
lola: 5436599 markings, 16011307 edges, 86678 markings/sec, 50 secs
lola: 5872934 markings, 17392820 edges, 87267 markings/sec, 55 secs
lola: 6298659 markings, 18765251 edges, 85145 markings/sec, 60 secs
lola: 6720852 markings, 20125279 edges, 84439 markings/sec, 65 secs
lola: 7139752 markings, 21485600 edges, 83780 markings/sec, 70 secs
lola: 7551573 markings, 22835281 edges, 82364 markings/sec, 75 secs
lola: 7968422 markings, 24188585 edges, 83370 markings/sec, 80 secs
lola: 8389886 markings, 25549698 edges, 84293 markings/sec, 85 secs
lola: 8796165 markings, 26882931 edges, 81256 markings/sec, 90 secs
lola: 9198435 markings, 28212327 edges, 80454 markings/sec, 95 secs
lola: 9603326 markings, 29547246 edges, 80978 markings/sec, 100 secs
lola: 10015880 markings, 30899604 edges, 82511 markings/sec, 105 secs
lola: 10408144 markings, 32213495 edges, 78453 markings/sec, 110 secs
lola: 10809275 markings, 33548769 edges, 80226 markings/sec, 115 secs
lola: 11195660 markings, 34850370 edges, 77277 markings/sec, 120 secs
lola: 11582545 markings, 36156572 edges, 77377 markings/sec, 125 secs
lola: 11975636 markings, 37468584 edges, 78618 markings/sec, 130 secs
lola: 12388632 markings, 38810072 edges, 82599 markings/sec, 135 secs
lola: 12820580 markings, 40164682 edges, 86390 markings/sec, 140 secs
lola: 13354841 markings, 41664878 edges, 106852 markings/sec, 145 secs
lola: 13860265 markings, 43133497 edges, 101085 markings/sec, 150 secs
lola: 14359495 markings, 44586502 edges, 99846 markings/sec, 155 secs
lola: 14827859 markings, 46010033 edges, 93673 markings/sec, 160 secs
lola: 15282813 markings, 47410771 edges, 90991 markings/sec, 165 secs
lola: 15724363 markings, 48798221 edges, 88310 markings/sec, 170 secs
lola: 16169311 markings, 50183916 edges, 88990 markings/sec, 175 secs
lola: 16606706 markings, 51558843 edges, 87479 markings/sec, 180 secs
lola: 17030040 markings, 52914514 edges, 84667 markings/sec, 185 secs
lola: 17448650 markings, 54266348 edges, 83722 markings/sec, 190 secs
lola: 17853265 markings, 55600387 edges, 80923 markings/sec, 195 secs
lola: 18271158 markings, 56945540 edges, 83579 markings/sec, 200 secs
lola: 18678179 markings, 58282731 edges, 81404 markings/sec, 205 secs
lola: 19226098 markings, 59785550 edges, 109584 markings/sec, 210 secs
lola: 19721473 markings, 61262114 edges, 99075 markings/sec, 215 secs
lola: 20151565 markings, 62632168 edges, 86018 markings/sec, 220 secs
lola: 20555693 markings, 63960266 edges, 80826 markings/sec, 225 secs
lola: 20952264 markings, 65277866 edges, 79314 markings/sec, 230 secs
lola: 21445599 markings, 66713831 edges, 98667 markings/sec, 235 secs
lola: 21873865 markings, 68087596 edges, 85653 markings/sec, 240 secs
lola: 22270334 markings, 69397067 edges, 79294 markings/sec, 245 secs
lola: 22660214 markings, 70698580 edges, 77976 markings/sec, 250 secs
lola: 23052675 markings, 72005365 edges, 78492 markings/sec, 255 secs
lola: 23441701 markings, 73306939 edges, 77805 markings/sec, 260 secs
lola: 23825032 markings, 74603045 edges, 76666 markings/sec, 265 secs
lola: 24223824 markings, 75926531 edges, 79758 markings/sec, 270 secs
lola: 24629309 markings, 77258205 edges, 81097 markings/sec, 275 secs
lola: 25061314 markings, 78625031 edges, 86401 markings/sec, 280 secs
lola: 25499756 markings, 80000914 edges, 87688 markings/sec, 285 secs
lola: 25922468 markings, 81355701 edges, 84542 markings/sec, 290 secs
lola: 26307308 markings, 82651791 edges, 76968 markings/sec, 295 secs
lola: 26727890 markings, 83992592 edges, 84116 markings/sec, 300 secs
lola: 27113845 markings, 85287561 edges, 77191 markings/sec, 305 secs
lola: 27495119 markings, 86578649 edges, 76255 markings/sec, 310 secs
lola: 27892513 markings, 87891204 edges, 79479 markings/sec, 315 secs
lola: 28261774 markings, 89162924 edges, 73852 markings/sec, 320 secs
lola: 28634035 markings, 90439417 edges, 74452 markings/sec, 325 secs
lola: 29022681 markings, 91737258 edges, 77729 markings/sec, 330 secs
lola: 29395957 markings, 93010336 edges, 74655 markings/sec, 335 secs
lola: 29767791 markings, 94278858 edges, 74367 markings/sec, 340 secs
lola: 30139007 markings, 95547791 edges, 74243 markings/sec, 345 secs
lola: 30524214 markings, 96841707 edges, 77041 markings/sec, 350 secs
lola: 30916438 markings, 98142975 edges, 78445 markings/sec, 355 secs
lola: 31294734 markings, 99426515 edges, 75659 markings/sec, 360 secs
lola: 31675136 markings, 100711596 edges, 76080 markings/sec, 365 secs
lola: 32035684 markings, 101966745 edges, 72110 markings/sec, 370 secs
lola: 32444977 markings, 103314230 edges, 81859 markings/sec, 375 secs
lola: 32822777 markings, 104596362 edges, 75560 markings/sec, 380 secs
lola: 33185839 markings, 105861625 edges, 72612 markings/sec, 385 secs
lola: 33558488 markings, 107135885 edges, 74530 markings/sec, 390 secs
lola: 33917914 markings, 108391669 edges, 71885 markings/sec, 395 secs
lola: 34290631 markings, 109663920 edges, 74543 markings/sec, 400 secs
lola: 34651626 markings, 110919759 edges, 72199 markings/sec, 405 secs
lola: 35023086 markings, 112186662 edges, 74292 markings/sec, 410 secs
lola: 35386905 markings, 113450499 edges, 72764 markings/sec, 415 secs
lola: 35772789 markings, 114742530 edges, 77177 markings/sec, 420 secs
lola: 36134541 markings, 115997912 edges, 72350 markings/sec, 425 secs
lola: 36494822 markings, 117247769 edges, 72056 markings/sec, 430 secs
lola: 36853402 markings, 118499547 edges, 71716 markings/sec, 435 secs
lola: 37212575 markings, 119750872 edges, 71835 markings/sec, 440 secs
lola: 37574106 markings, 121009679 edges, 72306 markings/sec, 445 secs
lola: 37943287 markings, 122282134 edges, 73836 markings/sec, 450 secs
lola: 38297322 markings, 123527597 edges, 70807 markings/sec, 455 secs
lola: 38651456 markings, 124775970 edges, 70827 markings/sec, 460 secs
lola: 39003396 markings, 126014828 edges, 70388 markings/sec, 465 secs
lola: 39360894 markings, 127264577 edges, 71500 markings/sec, 470 secs
lola: 39735638 markings, 128541699 edges, 74949 markings/sec, 475 secs
lola: 40096516 markings, 129792201 edges, 72176 markings/sec, 480 secs
lola: 40462742 markings, 131052827 edges, 73245 markings/sec, 485 secs
lola: 40837518 markings, 132324741 edges, 74955 markings/sec, 490 secs
lola: 41196219 markings, 133574958 edges, 71740 markings/sec, 495 secs
lola: 41548838 markings, 134812853 edges, 70524 markings/sec, 500 secs
lola: 41892820 markings, 136040979 edges, 68796 markings/sec, 505 secs
lola: 42260616 markings, 137307864 edges, 73559 markings/sec, 510 secs
lola: 42620936 markings, 138555548 edges, 72064 markings/sec, 515 secs
lola: 42955962 markings, 139753481 edges, 67005 markings/sec, 520 secs
lola: 43256515 markings, 140789948 edges, 60111 markings/sec, 525 secs
lola: 43608727 markings, 142023478 edges, 70442 markings/sec, 530 secs
lola: 43949038 markings, 143229350 edges, 68062 markings/sec, 535 secs
lola: 44282038 markings, 144427210 edges, 66600 markings/sec, 540 secs
lola: 44610597 markings, 145565880 edges, 65712 markings/sec, 545 secs
lola: 44616391 markings, 145582843 edges, 1159 markings/sec, 550 secs
lola: 44648433 markings, 145692106 edges, 6408 markings/sec, 555 secs
lola: 44711121 markings, 145903510 edges, 12538 markings/sec, 560 secs
lola: 44775189 markings, 146125015 edges, 12814 markings/sec, 565 secs
lola: 44838007 markings, 146336769 edges, 12564 markings/sec, 570 secs
lola: 44901127 markings, 146553206 edges, 12624 markings/sec, 575 secs
lola: 45104452 markings, 147270502 edges, 40665 markings/sec, 580 secs
lola: 45440289 markings, 148455282 edges, 67167 markings/sec, 585 secs
lola: 45781310 markings, 149656563 edges, 68204 markings/sec, 590 secs
lola: 46120941 markings, 150859955 edges, 67926 markings/sec, 595 secs
lola: 46432615 markings, 151960045 edges, 62335 markings/sec, 600 secs
lola: 46780285 markings, 153165518 edges, 69534 markings/sec, 605 secs
lola: 47114289 markings, 154345313 edges, 66801 markings/sec, 610 secs
lola: 47383955 markings, 155303191 edges, 53933 markings/sec, 615 secs
lola: 47718079 markings, 156480765 edges, 66825 markings/sec, 620 secs
lola: 48049167 markings, 157668107 edges, 66218 markings/sec, 625 secs
lola: 48393037 markings, 158889367 edges, 68774 markings/sec, 630 secs
lola: 48693854 markings, 159928831 edges, 60163 markings/sec, 635 secs
lola: 49029193 markings, 161127254 edges, 67068 markings/sec, 640 secs
lola: 49326853 markings, 162182654 edges, 59532 markings/sec, 645 secs
lola: 49650428 markings, 163342032 edges, 64715 markings/sec, 650 secs
lola: 49936708 markings, 164377746 edges, 57256 markings/sec, 655 secs
lola: 50274407 markings, 165579516 edges, 67540 markings/sec, 660 secs
lola: 50609013 markings, 166771356 edges, 66921 markings/sec, 665 secs
lola: 50948000 markings, 167975653 edges, 67797 markings/sec, 670 secs
lola: 51291384 markings, 169181178 edges, 68677 markings/sec, 675 secs
lola: 51612997 markings, 170320676 edges, 64323 markings/sec, 680 secs
lola: 51958746 markings, 171527178 edges, 69150 markings/sec, 685 secs
lola: 52306156 markings, 172739988 edges, 69482 markings/sec, 690 secs
lola: 52646614 markings, 173910801 edges, 68092 markings/sec, 695 secs
lola: 52861997 markings, 174677923 edges, 43077 markings/sec, 700 secs
lola: 52882882 markings, 174753238 edges, 4177 markings/sec, 705 secs
lola: 52915672 markings, 174866563 edges, 6558 markings/sec, 710 secs
lola: 52979431 markings, 175096500 edges, 12752 markings/sec, 715 secs
lola: 53016598 markings, 175221718 edges, 7433 markings/sec, 720 secs
lola: 53016645 markings, 175221830 edges, 9 markings/sec, 725 secs
lola: 53016696 markings, 175221977 edges, 10 markings/sec, 730 secs
lola: 53016746 markings, 175222137 edges, 10 markings/sec, 735 secs
lola: 53016781 markings, 175222207 edges, 7 markings/sec, 740 secs
lola: 53016805 markings, 175222282 edges, 5 markings/sec, 745 secs
lola: 53016831 markings, 175222370 edges, 5 markings/sec, 750 secs
lola: 53016852 markings, 175222440 edges, 4 markings/sec, 755 secs
lola: 53016879 markings, 175222511 edges, 5 markings/sec, 760 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (X (((1 <= p1) AND (1 <= p180) AND (1 <= p215) AND (1 <= p217) AND (((1 <= p48)) OR ((1 <= p64) AND (1 <= p218))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF(AX(((1 <= p1) AND (1 <= p180) AND (1 <= p215) AND (1 <= p217) AND (((1 <= p48)) OR ((1 <= p64) AND (1 <= p218))))))
lola: processed formula length: 119
lola: 32 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 549464 markings, 1420443 edges, 109893 markings/sec, 0 secs
lola: 1064742 markings, 2914805 edges, 103056 markings/sec, 5 secs
lola: 1540639 markings, 4364454 edges, 95179 markings/sec, 10 secs
lola: 2095191 markings, 5882848 edges, 110910 markings/sec, 15 secs
lola: 2600419 markings, 7372992 edges, 101046 markings/sec, 20 secs
lola: 3123536 markings, 8855392 edges, 104623 markings/sec, 25 secs
lola: 3608473 markings, 10307681 edges, 96987 markings/sec, 30 secs
lola: 4071763 markings, 11731399 edges, 92658 markings/sec, 35 secs
lola: 4534811 markings, 13150509 edges, 92610 markings/sec, 40 secs
lola: 4978771 markings, 14551041 edges, 88792 markings/sec, 45 secs
lola: 5412396 markings, 15933354 edges, 86725 markings/sec, 50 secs
lola: 5849174 markings, 17315634 edges, 87356 markings/sec, 55 secs
lola: 6276459 markings, 18692952 edges, 85457 markings/sec, 60 secs
lola: 6699792 markings, 20057237 edges, 84667 markings/sec, 65 secs
lola: 7120521 markings, 21422654 edges, 84146 markings/sec, 70 secs
lola: 7533516 markings, 22775588 edges, 82599 markings/sec, 75 secs
lola: 7945289 markings, 24125402 edges, 82355 markings/sec, 80 secs
lola: 8374805 markings, 25498763 edges, 85903 markings/sec, 85 secs
lola: 8780030 markings, 26831972 edges, 81045 markings/sec, 90 secs
lola: 9184317 markings, 28164561 edges, 80857 markings/sec, 95 secs
lola: 9590731 markings, 29503542 edges, 81283 markings/sec, 100 secs
lola: 10004306 markings, 30859175 edges, 82715 markings/sec, 105 secs
lola: 10396660 markings, 32173471 edges, 78471 markings/sec, 110 secs
lola: 10798773 markings, 33512588 edges, 80423 markings/sec, 115 secs
lola: 11178721 markings, 34793204 edges, 75990 markings/sec, 120 secs
lola: 11565055 markings, 36096505 edges, 77267 markings/sec, 125 secs
lola: 11956221 markings, 37404558 edges, 78233 markings/sec, 130 secs
lola: 12368180 markings, 38741173 edges, 82392 markings/sec, 135 secs
lola: 12788090 markings, 40075467 edges, 83982 markings/sec, 140 secs
lola: 13324606 markings, 41572989 edges, 107303 markings/sec, 145 secs
lola: 13821026 markings, 43030244 edges, 99284 markings/sec, 150 secs
lola: 14327501 markings, 44486472 edges, 101295 markings/sec, 155 secs
lola: 14790090 markings, 45900797 edges, 92518 markings/sec, 160 secs
lola: 15247252 markings, 47296794 edges, 91432 markings/sec, 165 secs
lola: 15686593 markings, 48676019 edges, 87868 markings/sec, 170 secs
lola: 16127385 markings, 50053764 edges, 88158 markings/sec, 175 secs
lola: 16564242 markings, 51421913 edges, 87371 markings/sec, 180 secs
lola: 16987766 markings, 52776031 edges, 84705 markings/sec, 185 secs
lola: 17401909 markings, 54117286 edges, 82829 markings/sec, 190 secs
lola: 17808920 markings, 55450723 edges, 81402 markings/sec, 195 secs
lola: 18222481 markings, 56785407 edges, 82712 markings/sec, 200 secs
lola: 18628312 markings, 58115897 edges, 81166 markings/sec, 205 secs
lola: 19156427 markings, 59588013 edges, 105623 markings/sec, 210 secs
lola: 19655390 markings, 61065574 edges, 99793 markings/sec, 215 secs
lola: 20095595 markings, 62447744 edges, 88041 markings/sec, 220 secs
lola: 20494754 markings, 63763737 edges, 79832 markings/sec, 225 secs
lola: 20891286 markings, 65078938 edges, 79306 markings/sec, 230 secs
lola: 21386330 markings, 66512321 edges, 99009 markings/sec, 235 secs
lola: 21813973 markings, 67884008 edges, 85529 markings/sec, 240 secs
lola: 22205616 markings, 69182067 edges, 78329 markings/sec, 245 secs
lola: 22597536 markings, 70483577 edges, 78384 markings/sec, 250 secs
lola: 22983512 markings, 71778964 edges, 77195 markings/sec, 255 secs
lola: 23373199 markings, 73075655 edges, 77937 markings/sec, 260 secs
lola: 23754354 markings, 74364767 edges, 76231 markings/sec, 265 secs
lola: 24147913 markings, 75674241 edges, 78712 markings/sec, 270 secs
lola: 24534783 markings, 76973230 edges, 77374 markings/sec, 275 secs
lola: 24986990 markings, 78369642 edges, 90441 markings/sec, 280 secs
lola: 25399134 markings, 79706133 edges, 82429 markings/sec, 285 secs
lola: 25838773 markings, 81079643 edges, 87928 markings/sec, 290 secs
lola: 26227586 markings, 82380084 edges, 77763 markings/sec, 295 secs
lola: 26629490 markings, 83690617 edges, 80381 markings/sec, 300 secs
lola: 27035054 markings, 85014723 edges, 81113 markings/sec, 305 secs
lola: 27400288 markings, 86276678 edges, 73047 markings/sec, 310 secs
lola: 27814449 markings, 87619271 edges, 82832 markings/sec, 315 secs
lola: 28182683 markings, 88889658 edges, 73647 markings/sec, 320 secs
lola: 28550926 markings, 90156853 edges, 73649 markings/sec, 325 secs
lola: 28932030 markings, 91441950 edges, 76221 markings/sec, 330 secs
lola: 29318195 markings, 92737677 edges, 77233 markings/sec, 335 secs
lola: 29688207 markings, 94004366 edges, 74002 markings/sec, 340 secs
lola: 30050168 markings, 95257924 edges, 72392 markings/sec, 345 secs
lola: 30446359 markings, 96570472 edges, 79238 markings/sec, 350 secs
lola: 30827473 markings, 97857515 edges, 76223 markings/sec, 355 secs
lola: 31215241 markings, 99150968 edges, 77554 markings/sec, 360 secs
lola: 31596607 markings, 100439846 edges, 76273 markings/sec, 365 secs
lola: 31956841 markings, 101693525 edges, 72047 markings/sec, 370 secs
lola: 32358524 markings, 103022850 edges, 80337 markings/sec, 375 secs
lola: 32740017 markings, 104316523 edges, 76299 markings/sec, 380 secs
lola: 33110600 markings, 105595708 edges, 74117 markings/sec, 385 secs
lola: 33474558 markings, 106853295 edges, 72792 markings/sec, 390 secs
lola: 33841762 markings, 108121486 edges, 73441 markings/sec, 395 secs
lola: 34207685 markings, 109383925 edges, 73185 markings/sec, 400 secs
lola: 34573708 markings, 110644960 edges, 73205 markings/sec, 405 secs
lola: 34946127 markings, 111916288 edges, 74484 markings/sec, 410 secs
lola: 35309885 markings, 113178742 edges, 72752 markings/sec, 415 secs
lola: 35685145 markings, 114454924 edges, 75052 markings/sec, 420 secs
lola: 36058030 markings, 115730699 edges, 74577 markings/sec, 425 secs
lola: 36418015 markings, 116979582 edges, 71997 markings/sec, 430 secs
lola: 36775282 markings, 118225092 edges, 71453 markings/sec, 435 secs
lola: 37138572 markings, 119487193 edges, 72658 markings/sec, 440 secs
lola: 37493315 markings, 120732280 edges, 70949 markings/sec, 445 secs
lola: 37864672 markings, 122006730 edges, 74271 markings/sec, 450 secs
lola: 38219022 markings, 123254516 edges, 70870 markings/sec, 455 secs
lola: 38575362 markings, 124508836 edges, 71268 markings/sec, 460 secs
lola: 38928646 markings, 125750755 edges, 70657 markings/sec, 465 secs
lola: 39285386 markings, 126999869 edges, 71348 markings/sec, 470 secs
lola: 39650917 markings, 128262313 edges, 73106 markings/sec, 475 secs
lola: 40018950 markings, 129522489 edges, 73607 markings/sec, 480 secs
lola: 40390658 markings, 130792403 edges, 74342 markings/sec, 485 secs
lola: 40752160 markings, 132048238 edges, 72300 markings/sec, 490 secs
lola: 41120167 markings, 133312216 edges, 73601 markings/sec, 495 secs
lola: 41477168 markings, 134557315 edges, 71400 markings/sec, 500 secs
lola: 41822881 markings, 135787636 edges, 69143 markings/sec, 505 secs
lola: 42191118 markings, 137061358 edges, 73647 markings/sec, 510 secs
lola: 42552901 markings, 138323492 edges, 72357 markings/sec, 515 secs
lola: 42885449 markings, 139502850 edges, 66510 markings/sec, 520 secs
lola: 43246995 markings, 140756361 edges, 72309 markings/sec, 525 secs
lola: 43580050 markings, 141918034 edges, 66611 markings/sec, 530 secs
lola: 43905406 markings, 143073241 edges, 65071 markings/sec, 535 secs
lola: 44272306 markings, 144393385 edges, 73380 markings/sec, 540 secs
lola: 44608479 markings, 145561068 edges, 67235 markings/sec, 545 secs
lola: 44615802 markings, 145581089 edges, 1465 markings/sec, 550 secs
lola: 44682294 markings, 145804688 edges, 13298 markings/sec, 555 secs
lola: 44772719 markings, 146116893 edges, 18085 markings/sec, 560 secs
lola: 44857734 markings, 146407711 edges, 17003 markings/sec, 565 secs
lola: 45045255 markings, 147063015 edges, 37504 markings/sec, 570 secs
lola: 45393738 markings, 148290116 edges, 69697 markings/sec, 575 secs
lola: 45708251 markings, 149391698 edges, 62903 markings/sec, 580 secs
lola: 46054326 markings, 150617567 edges, 69215 markings/sec, 585 secs
lola: 46397634 markings, 151831576 edges, 68662 markings/sec, 590 secs
lola: 46743724 markings, 153037227 edges, 69218 markings/sec, 595 secs
lola: 47050187 markings, 154132004 edges, 61293 markings/sec, 600 secs
lola: 47368008 markings, 155249441 edges, 63564 markings/sec, 605 secs
lola: 47721206 markings, 156492430 edges, 70640 markings/sec, 610 secs
lola: 48009498 markings, 157525750 edges, 57658 markings/sec, 615 secs
lola: 48356032 markings, 158756007 edges, 69307 markings/sec, 620 secs
lola: 48675728 markings, 159862863 edges, 63939 markings/sec, 625 secs
lola: 48965655 markings, 160898396 edges, 57985 markings/sec, 630 secs
lola: 49254860 markings, 161938740 edges, 57841 markings/sec, 635 secs
lola: 49596778 markings, 163152000 edges, 68384 markings/sec, 640 secs
lola: 49931561 markings, 164359114 edges, 66957 markings/sec, 645 secs
lola: 50274776 markings, 165580755 edges, 68643 markings/sec, 650 secs
lola: 50618508 markings, 166802286 edges, 68746 markings/sec, 655 secs
lola: 50936554 markings, 167937727 edges, 63609 markings/sec, 660 secs
lola: 51288436 markings, 169170286 edges, 70376 markings/sec, 665 secs
lola: 51636160 markings, 170401659 edges, 69545 markings/sec, 670 secs
lola: 51993786 markings, 171645003 edges, 71525 markings/sec, 675 secs
lola: 52294363 markings, 172695656 edges, 60115 markings/sec, 680 secs
lola: 52625097 markings, 173848740 edges, 66147 markings/sec, 685 secs
lola: 52950004 markings, 174989554 edges, 64981 markings/sec, 690 secs
lola: 53045713 markings, 175316290 edges, 19142 markings/sec, 695 secs
lola: 53055490 markings, 175349112 edges, 1955 markings/sec, 700 secs
lola: 53071785 markings, 175411242 edges, 3259 markings/sec, 705 secs
lola: 53146509 markings, 175671720 edges, 14945 markings/sec, 710 secs
lola: 53146561 markings, 175671896 edges, 10 markings/sec, 715 secs
lola: 53146579 markings, 175671952 edges, 4 markings/sec, 720 secs
lola: 53146595 markings, 175672000 edges, 3 markings/sec, 725 secs
lola: 53146859 markings, 175672819 edges, 53 markings/sec, 730 secs
lola: 53146888 markings, 175672936 edges, 6 markings/sec, 735 secs
lola: 53146915 markings, 175673067 edges, 5 markings/sec, 740 secs
lola: 53148168 markings, 175678265 edges, 251 markings/sec, 745 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E (F (A (G (((1 <= p12) AND (1 <= p155) AND (1 <= p217))))))
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: ((p12 <= 0) OR (p155 <= 0) OR (p217 <= 0))
lola: processed formula length: 44
lola: 34 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: ((p12 <= 0) OR (p155 <= 0) OR (p217 <= 0))
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p12) AND (1 <= p155) AND (1 <= p217))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-15-0.sara
lola: state equation: write sara problem file to CTLFireability-15-1.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-15-0.sara.
sara: try reading problem file CTLFireability-15-1.sara.
sara: place or transition ordering is non-deterministic
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: state equation 1: solution produced
lola: sara is running 0 secs || sara is running 0 secs || 712488 markings, 1876533 edges, 142498 markings/sec, 0 secs
lola: sara is running 5 secs || sara is running 5 secs || 1298525 markings, 3617633 edges, 117207 markings/sec, 5 secs
lola: sara is running 10 secs || sara is running 10 secs || 1935059 markings, 5441014 edges, 127307 markings/sec, 10 secs
lola: sara is running 15 secs || sara is running 15 secs || 2569367 markings, 7278752 edges, 126862 markings/sec, 15 secs
lola: sara is running 20 secs || sara is running 20 secs || 3199888 markings, 9086168 edges, 126104 markings/sec, 20 secs
lola: sara is running 25 secs || sara is running 25 secs || 3784511 markings, 10840878 edges, 116925 markings/sec, 25 secs
lola: sara is running 30 secs || sara is running 30 secs || 4348266 markings, 12561510 edges, 112751 markings/sec, 30 secs
lola: sara is running 35 secs || sara is running 35 secs || 4883603 markings, 14250124 edges, 107067 markings/sec, 35 secs
lola: sara is running 40 secs || sara is running 40 secs || 5404923 markings, 15909782 edges, 104264 markings/sec, 40 secs
lola: sara is running 45 secs || sara is running 45 secs || 5929267 markings, 17569411 edges, 104869 markings/sec, 45 secs
lola: sara is running 50 secs || sara is running 50 secs || 6438180 markings, 19212147 edges, 101783 markings/sec, 50 secs
lola: sara is running 55 secs || sara is running 55 secs || 6945190 markings, 20845572 edges, 101402 markings/sec, 55 secs
lola: sara is running 60 secs || sara is running 60 secs || 7437812 markings, 22463020 edges, 98524 markings/sec, 60 secs
lola: sara is running 65 secs || sara is running 65 secs || 7928397 markings, 24070222 edges, 98117 markings/sec, 65 secs
lola: sara is running 70 secs || sara is running 70 secs || 8437230 markings, 25707086 edges, 101767 markings/sec, 70 secs
lola: sara is running 75 secs || sara is running 75 secs || 8921546 markings, 27296132 edges, 96863 markings/sec, 75 secs
lola: sara is running 80 secs || sara is running 80 secs || 9404230 markings, 28886850 edges, 96537 markings/sec, 80 secs
lola: sara is running 85 secs || sara is running 85 secs || 9897638 markings, 30504036 edges, 98682 markings/sec, 85 secs
lola: sara is running 90 secs || sara is running 90 secs || 10364394 markings, 32065229 edges, 93351 markings/sec, 90 secs
lola: sara is running 95 secs || sara is running 95 secs || 10837856 markings, 33645979 edges, 94692 markings/sec, 95 secs
lola: sara is running 100 secs || sara is running 100 secs || 11295889 markings, 35187534 edges, 91607 markings/sec, 100 secs
lola: sara is running 105 secs || sara is running 105 secs || 11751167 markings, 36729057 edges, 91056 markings/sec, 105 secs
lola: sara is running 110 secs || sara is running 110 secs || 12245670 markings, 38330069 edges, 98901 markings/sec, 110 secs
lola: sara is running 115 secs || sara is running 115 secs || 12708650 markings, 39873508 edges, 92596 markings/sec, 115 secs
lola: sara is running 120 secs || sara is running 120 secs || 13378701 markings, 41736464 edges, 134010 markings/sec, 120 secs
lola: sara is running 125 secs || sara is running 125 secs || 14000567 markings, 43542650 edges, 124373 markings/sec, 125 secs
lola: sara is running 130 secs || sara is running 130 secs || 14594687 markings, 45299167 edges, 118824 markings/sec, 130 secs
lola: sara is running 135 secs || sara is running 135 secs || 15156452 markings, 47013805 edges, 112353 markings/sec, 135 secs
lola: sara is running 140 secs || sara is running 140 secs || 15690705 markings, 48688975 edges, 106851 markings/sec, 140 secs
lola: sara is running 145 secs || sara is running 145 secs || 16231855 markings, 50367436 edges, 108230 markings/sec, 145 secs
lola: sara is running 150 secs || sara is running 150 secs || 16743203 markings, 52005238 edges, 102270 markings/sec, 150 secs
lola: sara is running 155 secs || sara is running 155 secs || 17254429 markings, 53633131 edges, 102245 markings/sec, 155 secs
lola: sara is running 160 secs || sara is running 160 secs || 17742163 markings, 55232790 edges, 97547 markings/sec, 160 secs
lola: sara is running 165 secs || sara is running 165 secs || 18238097 markings, 56835898 edges, 99187 markings/sec, 165 secs
lola: sara is running 170 secs || sara is running 170 secs || 18721369 markings, 58424925 edges, 96654 markings/sec, 170 secs
lola: sara is running 175 secs || sara is running 175 secs || 19400304 markings, 60297969 edges, 135787 markings/sec, 175 secs
lola: sara is running 180 secs || sara is running 180 secs || 19972040 markings, 62046820 edges, 114347 markings/sec, 180 secs
lola: sara is running 185 secs || sara is running 185 secs || 20454319 markings, 63631073 edges, 96456 markings/sec, 185 secs
lola: sara is running 190 secs || sara is running 190 secs || 20928292 markings, 65201632 edges, 94795 markings/sec, 190 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown
lola:
preliminary result: no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown
lola: memory consumption: 4386840 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown no unknown yes yes unknown unknown yes yes yes unknown
lola: memory consumption: 4386992 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-18a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is FlexibleBarrier-PT-18a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r170-smll-158987815800372"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;