About the Execution of LoLA for DLCround-PT-11a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6213.590 | 3570566.00 | 3622293.00 | 7887.90 | F????T?T??F?TT?? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 928K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.3K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:50 equiv_col
-rw-r--r-- 1 mcc users 4 May 15 18:50 instance
-rw-r--r-- 1 mcc users 6 May 15 18:50 iscolored
-rw-r--r-- 1 mcc users 762K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is DLCround-PT-11a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r064-smll-152649735200116
=====================================================================
--------------------
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 DLCround-PT-11a-CTLFireability-00
FORMULA_NAME DLCround-PT-11a-CTLFireability-01
FORMULA_NAME DLCround-PT-11a-CTLFireability-02
FORMULA_NAME DLCround-PT-11a-CTLFireability-03
FORMULA_NAME DLCround-PT-11a-CTLFireability-04
FORMULA_NAME DLCround-PT-11a-CTLFireability-05
FORMULA_NAME DLCround-PT-11a-CTLFireability-06
FORMULA_NAME DLCround-PT-11a-CTLFireability-07
FORMULA_NAME DLCround-PT-11a-CTLFireability-08
FORMULA_NAME DLCround-PT-11a-CTLFireability-09
FORMULA_NAME DLCround-PT-11a-CTLFireability-10
FORMULA_NAME DLCround-PT-11a-CTLFireability-11
FORMULA_NAME DLCround-PT-11a-CTLFireability-12
FORMULA_NAME DLCround-PT-11a-CTLFireability-13
FORMULA_NAME DLCround-PT-11a-CTLFireability-14
FORMULA_NAME DLCround-PT-11a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526656348244
info: Time: 3600 - MCC
===========================================================================================
prep: translating DLCround-PT-11a Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: net is already safe
prep: check for too many tokens
===========================================================================================
prep: translating DLCround-PT-11a formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ DLCround-PT-11a @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 3370/65536 symbol table entries, 452 collisions
lola: preprocessing...
lola: Size of bit vector: 377
lola: finding significant places
lola: 377 places, 2993 transitions, 133 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 2646 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-11a-CTLFireability.task
lola: A (G (A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467)))))) : E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))) : E (F (NOT((E (G (FIREABLE(t2485))) OR E (F (FIREABLE(t2521))))))) : ((((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND E (F (E (F (FIREABLE(t1911)))))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))) : NOT(NOT(A (G (E (F (FIREABLE(t328))))))) : E (X (E (X (E (G (FIREABLE(t2409))))))) : (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (NOT(E (F ((FIREABLE(t1013) AND FIREABLE(t564))))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290))))) : E (F ((FIREABLE(t734) AND FIREABLE(t2520)))) : E (((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U NOT(E (F (FIREABLE(t2901)))))) : NOT(E ((A (F (FIREABLE(t1659))) U A (F (FIREABLE(t2779)))))) : A (G ((E (F (NOT FIREABLE(t321))) AND A (F (NOT FIREABLE(t480)))))) : ((FIREABLE(t255) OR A (G (E (F (FIREABLE(t1299)))))) OR E (G (FIREABLE(t973)))) : E (F (FIREABLE(t51))) : NOT((A (G ((NOT FIREABLE(t1319) OR NOT FIREABLE(t2069)))) OR FIREABLE(t1906))) : E (((E (F (FIREABLE(t2753))) OR FIREABLE(t2921)) U FIREABLE(t938))) : E (F (A (G ((FIREABLE(t1806) OR FIREABLE(t1372) OR (FIREABLE(t2545) AND FIREABLE(t865)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:401
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:545
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (E (X (E (G (FIREABLE(t2409)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX(EX(NOT(A(TRUE U NOT FIREABLE(t2409)))))
lola: processed formula length: 42
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 4 markings, 8 edges
lola: ========================================
FORMULA DLCround-PT-11a-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t51)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t51)))
lola: processed formula length: 21
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t51)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 6 markings, 5 edges
lola: ========================================
FORMULA DLCround-PT-11a-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t734) AND FIREABLE(t2520))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t734) AND FIREABLE(t2520))))
lola: processed formula length: 44
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t734) AND FIREABLE(t2520))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
FORMULA DLCround-PT-11a-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (((FIREABLE(t1176) AND FIREABLE(t663)) OR NOT FIREABLE(t2467))))
lola: processed formula length: 70
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: ((NOT FIREABLE(t1176) OR NOT FIREABLE(t663)) AND FIREABLE(t2467))
lola: state equation: Generated DNF with 9 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
FORMULA DLCround-PT-11a-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t328)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t328)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: 25645 markings, 705495 edges, 5129 markings/sec, 0 secs
lola: 51921 markings, 1427568 edges, 5255 markings/sec, 5 secs
lola: 77734 markings, 2140401 edges, 5163 markings/sec, 10 secs
lola: 103927 markings, 2873973 edges, 5239 markings/sec, 15 secs
lola: 129997 markings, 3596899 edges, 5214 markings/sec, 20 secs
lola: 155840 markings, 4318387 edges, 5169 markings/sec, 25 secs
lola: 182126 markings, 5037884 edges, 5257 markings/sec, 30 secs
lola: 208433 markings, 5762070 edges, 5261 markings/sec, 35 secs
lola: 234643 markings, 6478933 edges, 5242 markings/sec, 40 secs
lola: 260615 markings, 7194543 edges, 5194 markings/sec, 45 secs
lola: 286817 markings, 7920757 edges, 5240 markings/sec, 50 secs
lola: 313362 markings, 8647612 edges, 5309 markings/sec, 55 secs
lola: 339617 markings, 9375279 edges, 5251 markings/sec, 60 secs
lola: 365310 markings, 10093395 edges, 5139 markings/sec, 65 secs
lola: 390922 markings, 10810524 edges, 5122 markings/sec, 70 secs
lola: 415553 markings, 11501102 edges, 4926 markings/sec, 75 secs
lola: 441118 markings, 12224976 edges, 5113 markings/sec, 80 secs
lola: 466736 markings, 12933989 edges, 5124 markings/sec, 85 secs
lola: 492787 markings, 13644879 edges, 5210 markings/sec, 90 secs
lola: 518131 markings, 14349750 edges, 5069 markings/sec, 95 secs
lola: 543573 markings, 15070340 edges, 5088 markings/sec, 100 secs
lola: 569055 markings, 15789464 edges, 5096 markings/sec, 105 secs
lola: 595127 markings, 16504139 edges, 5214 markings/sec, 110 secs
lola: 620591 markings, 17227413 edges, 5093 markings/sec, 115 secs
lola: 646068 markings, 17938796 edges, 5095 markings/sec, 120 secs
lola: 671381 markings, 18652323 edges, 5063 markings/sec, 125 secs
lola: 696552 markings, 19364341 edges, 5034 markings/sec, 130 secs
lola: 722402 markings, 20080407 edges, 5170 markings/sec, 135 secs
lola: 748490 markings, 20796668 edges, 5218 markings/sec, 140 secs
lola: 774671 markings, 21523176 edges, 5236 markings/sec, 145 secs
lola: 801116 markings, 22257209 edges, 5289 markings/sec, 150 secs
lola: 826291 markings, 22954294 edges, 5035 markings/sec, 155 secs
lola: 851191 markings, 23634441 edges, 4980 markings/sec, 160 secs
lola: 876878 markings, 24351624 edges, 5137 markings/sec, 165 secs
lola: 902901 markings, 25065511 edges, 5205 markings/sec, 170 secs
lola: 928570 markings, 25777709 edges, 5134 markings/sec, 175 secs
lola: 954097 markings, 26499834 edges, 5105 markings/sec, 180 secs
lola: 979816 markings, 27215046 edges, 5144 markings/sec, 185 secs
lola: 1005274 markings, 27922152 edges, 5092 markings/sec, 190 secs
lola: 1030410 markings, 28628936 edges, 5027 markings/sec, 195 secs
lola: 1055660 markings, 29333969 edges, 5050 markings/sec, 200 secs
lola: 1080756 markings, 30046969 edges, 5019 markings/sec, 205 secs
lola: 1105842 markings, 30749742 edges, 5017 markings/sec, 210 secs
lola: 1131326 markings, 31447648 edges, 5097 markings/sec, 215 secs
lola: 1156449 markings, 32150790 edges, 5025 markings/sec, 220 secs
lola: 1181251 markings, 32858803 edges, 4960 markings/sec, 225 secs
lola: 1206470 markings, 33574523 edges, 5044 markings/sec, 230 secs
lola: 1232827 markings, 34293572 edges, 5271 markings/sec, 235 secs
lola: 1258275 markings, 35008431 edges, 5090 markings/sec, 240 secs
lola: 1283856 markings, 35733637 edges, 5116 markings/sec, 245 secs
lola: 1310099 markings, 36457046 edges, 5249 markings/sec, 250 secs
lola: 1335267 markings, 37174423 edges, 5034 markings/sec, 255 secs
lola: 1360858 markings, 37878813 edges, 5118 markings/sec, 260 secs
lola: 1386736 markings, 38595315 edges, 5176 markings/sec, 265 secs
lola: 1412447 markings, 39306893 edges, 5142 markings/sec, 270 secs
lola: 1437502 markings, 40020676 edges, 5011 markings/sec, 275 secs
lola: 1462747 markings, 40730024 edges, 5049 markings/sec, 280 secs
lola: 1488132 markings, 41437908 edges, 5077 markings/sec, 285 secs
lola: 1513614 markings, 42146223 edges, 5096 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 1800484 KB
lola: time consumption: 297 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G ((FIREABLE(t1806) OR FIREABLE(t1372) OR (FIREABLE(t2545) AND FIREABLE(t865)))))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(t1806) AND NOT FIREABLE(t1372) AND (NOT FIREABLE(t2545) OR NOT FIREABLE(t865)))
lola: processed formula length: 94
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: 65266 markings, 3003431 edges, 13053 markings/sec, 0 secs
lola: 132473 markings, 6124275 edges, 13441 markings/sec, 5 secs
lola: 206067 markings, 9346956 edges, 14719 markings/sec, 10 secs
lola: 294664 markings, 12517064 edges, 17719 markings/sec, 15 secs
lola: 374655 markings, 15589953 edges, 15998 markings/sec, 20 secs
lola: 450746 markings, 18532299 edges, 15218 markings/sec, 25 secs
lola: 530915 markings, 21547565 edges, 16034 markings/sec, 30 secs
lola: 604957 markings, 24424707 edges, 14808 markings/sec, 35 secs
lola: 676717 markings, 27251352 edges, 14352 markings/sec, 40 secs
lola: 749119 markings, 30087833 edges, 14480 markings/sec, 45 secs
lola: 820206 markings, 32876362 edges, 14217 markings/sec, 50 secs
lola: 891869 markings, 35676361 edges, 14333 markings/sec, 55 secs
lola: 964555 markings, 38453724 edges, 14537 markings/sec, 60 secs
lola: 1045209 markings, 41599732 edges, 16131 markings/sec, 65 secs
lola: 1117407 markings, 44591061 edges, 14440 markings/sec, 70 secs
lola: 1190304 markings, 47558181 edges, 14579 markings/sec, 75 secs
lola: 1261971 markings, 50476128 edges, 14333 markings/sec, 80 secs
lola: 1333817 markings, 53417234 edges, 14369 markings/sec, 85 secs
lola: 1399696 markings, 56211061 edges, 13176 markings/sec, 90 secs
lola: 1465263 markings, 58945117 edges, 13113 markings/sec, 95 secs
lola: 1536298 markings, 61883646 edges, 14207 markings/sec, 100 secs
lola: 1601952 markings, 64627390 edges, 13131 markings/sec, 105 secs
lola: 1683459 markings, 67605412 edges, 16301 markings/sec, 110 secs
lola: 1759692 markings, 70600050 edges, 15247 markings/sec, 115 secs
lola: 1836357 markings, 73627905 edges, 15333 markings/sec, 120 secs
lola: 1914488 markings, 76707746 edges, 15626 markings/sec, 125 secs
lola: 1984993 markings, 79606849 edges, 14101 markings/sec, 130 secs
lola: 2057765 markings, 82543772 edges, 14554 markings/sec, 135 secs
lola: 2122189 markings, 85287721 edges, 12885 markings/sec, 140 secs
lola: 2185005 markings, 87967759 edges, 12563 markings/sec, 145 secs
lola: 2254167 markings, 90838007 edges, 13832 markings/sec, 150 secs
lola: 2320647 markings, 93651519 edges, 13296 markings/sec, 155 secs
lola: 2386475 markings, 96425387 edges, 13166 markings/sec, 160 secs
lola: 2451094 markings, 99192604 edges, 12924 markings/sec, 165 secs
lola: 2524574 markings, 102076977 edges, 14696 markings/sec, 170 secs
lola: 2590957 markings, 104850712 edges, 13277 markings/sec, 175 secs
lola: 2659555 markings, 107674270 edges, 13720 markings/sec, 180 secs
lola: 2720187 markings, 110231059 edges, 12126 markings/sec, 185 secs
lola: 2781431 markings, 112812847 edges, 12249 markings/sec, 190 secs
lola: 2852806 markings, 115748298 edges, 14275 markings/sec, 195 secs
lola: 2914230 markings, 118382604 edges, 12285 markings/sec, 200 secs
lola: 2981391 markings, 121182024 edges, 13432 markings/sec, 205 secs
lola: 3047916 markings, 123976564 edges, 13305 markings/sec, 210 secs
lola: 3117746 markings, 126777757 edges, 13966 markings/sec, 215 secs
lola: 3187630 markings, 129655326 edges, 13977 markings/sec, 220 secs
lola: 3248430 markings, 132221190 edges, 12160 markings/sec, 225 secs
lola: 3315198 markings, 134983047 edges, 13354 markings/sec, 230 secs
lola: 3376001 markings, 137572886 edges, 12161 markings/sec, 235 secs
lola: 3436029 markings, 140157151 edges, 12006 markings/sec, 240 secs
lola: 3504514 markings, 142970046 edges, 13697 markings/sec, 245 secs
lola: 3572962 markings, 145740792 edges, 13690 markings/sec, 250 secs
lola: 3633073 markings, 148287650 edges, 12022 markings/sec, 255 secs
lola: 3693553 markings, 150893720 edges, 12096 markings/sec, 260 secs
lola: 3753255 markings, 153468342 edges, 11940 markings/sec, 265 secs
lola: 3814331 markings, 156079950 edges, 12215 markings/sec, 270 secs
lola: 3876277 markings, 158707719 edges, 12389 markings/sec, 275 secs
lola: 3934553 markings, 161186523 edges, 11655 markings/sec, 280 secs
lola: 3995004 markings, 163800917 edges, 12090 markings/sec, 285 secs
lola: 4063662 markings, 166635938 edges, 13732 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3811016 KB
lola: time consumption: 594 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((E (F (FIREABLE(t2753))) OR FIREABLE(t2921)) U FIREABLE(t938)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E((E(TRUE U FIREABLE(t2753)) OR FIREABLE(t2921)) U FIREABLE(t938))
lola: processed formula length: 66
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: 63238 markings, 3038635 edges, 12648 markings/sec, 0 secs
lola: 125959 markings, 6091041 edges, 12544 markings/sec, 5 secs
lola: 195088 markings, 9282571 edges, 13826 markings/sec, 10 secs
lola: 264359 markings, 12420991 edges, 13854 markings/sec, 15 secs
lola: 332816 markings, 15569620 edges, 13691 markings/sec, 20 secs
lola: 409018 markings, 18633319 edges, 15240 markings/sec, 25 secs
lola: 482134 markings, 21618985 edges, 14623 markings/sec, 30 secs
lola: 553277 markings, 24621555 edges, 14229 markings/sec, 35 secs
lola: 629112 markings, 27598569 edges, 15167 markings/sec, 40 secs
lola: 701207 markings, 30594131 edges, 14419 markings/sec, 45 secs
lola: 775184 markings, 33668427 edges, 14795 markings/sec, 50 secs
lola: 848717 markings, 36735872 edges, 14707 markings/sec, 55 secs
lola: 922166 markings, 39736508 edges, 14690 markings/sec, 60 secs
lola: 995217 markings, 42720853 edges, 14610 markings/sec, 65 secs
lola: 1067207 markings, 45670833 edges, 14398 markings/sec, 70 secs
lola: 1135961 markings, 48587416 edges, 13751 markings/sec, 75 secs
lola: 1206397 markings, 51492685 edges, 14087 markings/sec, 80 secs
lola: 1280129 markings, 54564501 edges, 14746 markings/sec, 85 secs
lola: 1350286 markings, 57481340 edges, 14031 markings/sec, 90 secs
lola: 1422423 markings, 60433654 edges, 14427 markings/sec, 95 secs
lola: 1493979 markings, 63386616 edges, 14311 markings/sec, 100 secs
lola: 1567481 markings, 66350738 edges, 14700 markings/sec, 105 secs
lola: 1638849 markings, 69316917 edges, 14274 markings/sec, 110 secs
lola: 1713015 markings, 72336794 edges, 14833 markings/sec, 115 secs
lola: 1784127 markings, 75256398 edges, 14222 markings/sec, 120 secs
lola: 1856631 markings, 78295627 edges, 14501 markings/sec, 125 secs
lola: 1926048 markings, 81293281 edges, 13883 markings/sec, 130 secs
lola: 1995634 markings, 84232699 edges, 13917 markings/sec, 135 secs
lola: 2061347 markings, 87066363 edges, 13143 markings/sec, 140 secs
lola: 2128964 markings, 89991035 edges, 13523 markings/sec, 145 secs
lola: 2197042 markings, 92942502 edges, 13616 markings/sec, 150 secs
lola: 2264882 markings, 95833745 edges, 13568 markings/sec, 155 secs
lola: 2334736 markings, 98705213 edges, 13971 markings/sec, 160 secs
lola: 2408564 markings, 101817885 edges, 14766 markings/sec, 165 secs
lola: 2482296 markings, 104880661 edges, 14746 markings/sec, 170 secs
lola: 2554025 markings, 107872491 edges, 14346 markings/sec, 175 secs
lola: 2620420 markings, 110761673 edges, 13279 markings/sec, 180 secs
lola: 2689721 markings, 113701603 edges, 13860 markings/sec, 185 secs
lola: 2756867 markings, 116588859 edges, 13429 markings/sec, 190 secs
lola: 2826960 markings, 119607286 edges, 14019 markings/sec, 195 secs
lola: 2895441 markings, 122526156 edges, 13696 markings/sec, 200 secs
lola: 2965158 markings, 125458423 edges, 13943 markings/sec, 205 secs
lola: 3033731 markings, 128401167 edges, 13715 markings/sec, 210 secs
lola: 3102007 markings, 131340675 edges, 13655 markings/sec, 215 secs
lola: 3170506 markings, 134284524 edges, 13700 markings/sec, 220 secs
lola: 3239358 markings, 137236799 edges, 13770 markings/sec, 225 secs
lola: 3308912 markings, 140217920 edges, 13911 markings/sec, 230 secs
lola: 3378252 markings, 143223170 edges, 13868 markings/sec, 235 secs
lola: 3447147 markings, 146188466 edges, 13779 markings/sec, 240 secs
lola: 3516697 markings, 149212424 edges, 13910 markings/sec, 245 secs
lola: 3588353 markings, 152079656 edges, 14331 markings/sec, 250 secs
lola: 3658899 markings, 154922566 edges, 14109 markings/sec, 255 secs
lola: 3728509 markings, 157836524 edges, 13922 markings/sec, 260 secs
lola: 3797612 markings, 160736627 edges, 13821 markings/sec, 265 secs
lola: 3867762 markings, 163717348 edges, 14030 markings/sec, 270 secs
lola: 3936083 markings, 166646797 edges, 13664 markings/sec, 275 secs
lola: 4003628 markings, 169597453 edges, 13509 markings/sec, 280 secs
lola: 4072320 markings, 172567492 edges, 13738 markings/sec, 285 secs
lola: 4141369 markings, 175559841 edges, 13810 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4975896 KB
lola: time consumption: 892 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U A (G (NOT FIREABLE(t2901)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E((NOT FIREABLE(t1046) OR NOT FIREABLE(t802) OR FIREABLE(t608)) U NOT(E(TRUE U FIREABLE(t2901))))
lola: processed formula length: 99
lola: 44 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: 40650 markings, 2842655 edges, 8130 markings/sec, 0 secs
lola: 87772 markings, 5722428 edges, 9424 markings/sec, 5 secs
lola: 133746 markings, 8551994 edges, 9195 markings/sec, 10 secs
lola: 182056 markings, 11616515 edges, 9662 markings/sec, 15 secs
lola: 234592 markings, 14616190 edges, 10507 markings/sec, 20 secs
lola: 286836 markings, 17606225 edges, 10449 markings/sec, 25 secs
lola: 341306 markings, 20564515 edges, 10894 markings/sec, 30 secs
lola: 399583 markings, 23447693 edges, 11655 markings/sec, 35 secs
lola: 456378 markings, 26309308 edges, 11359 markings/sec, 40 secs
lola: 511076 markings, 29098656 edges, 10940 markings/sec, 45 secs
lola: 568557 markings, 31963002 edges, 11496 markings/sec, 50 secs
lola: 624760 markings, 34793341 edges, 11241 markings/sec, 55 secs
lola: 681976 markings, 37607208 edges, 11443 markings/sec, 60 secs
lola: 740371 markings, 40495135 edges, 11679 markings/sec, 65 secs
lola: 798362 markings, 43399574 edges, 11598 markings/sec, 70 secs
lola: 857209 markings, 46276988 edges, 11769 markings/sec, 75 secs
lola: 914507 markings, 49115475 edges, 11460 markings/sec, 80 secs
lola: 971678 markings, 51942314 edges, 11434 markings/sec, 85 secs
lola: 1029534 markings, 54778159 edges, 11571 markings/sec, 90 secs
lola: 1082495 markings, 57541134 edges, 10592 markings/sec, 95 secs
lola: 1136380 markings, 60283609 edges, 10777 markings/sec, 100 secs
lola: 1192781 markings, 63027057 edges, 11280 markings/sec, 105 secs
lola: 1248985 markings, 65915525 edges, 11241 markings/sec, 110 secs
lola: 1305328 markings, 68767762 edges, 11269 markings/sec, 115 secs
lola: 1359684 markings, 71523735 edges, 10871 markings/sec, 120 secs
lola: 1415954 markings, 74354925 edges, 11254 markings/sec, 125 secs
lola: 1473373 markings, 77144124 edges, 11484 markings/sec, 130 secs
lola: 1530645 markings, 79945217 edges, 11454 markings/sec, 135 secs
lola: 1585835 markings, 82678480 edges, 11038 markings/sec, 140 secs
lola: 1643022 markings, 85521662 edges, 11437 markings/sec, 145 secs
lola: 1700555 markings, 88384181 edges, 11507 markings/sec, 150 secs
lola: 1757058 markings, 91147729 edges, 11301 markings/sec, 155 secs
lola: 1813766 markings, 93936308 edges, 11342 markings/sec, 160 secs
lola: 1869094 markings, 96699116 edges, 11066 markings/sec, 165 secs
lola: 1924790 markings, 99516395 edges, 11139 markings/sec, 170 secs
lola: 1981736 markings, 102363712 edges, 11389 markings/sec, 175 secs
lola: 2032237 markings, 105046947 edges, 10100 markings/sec, 180 secs
lola: 2084465 markings, 107733462 edges, 10446 markings/sec, 185 secs
lola: 2140444 markings, 110552338 edges, 11196 markings/sec, 190 secs
lola: 2196152 markings, 113337705 edges, 11142 markings/sec, 195 secs
lola: 2249700 markings, 116073304 edges, 10710 markings/sec, 200 secs
lola: 2305623 markings, 118816695 edges, 11185 markings/sec, 205 secs
lola: 2361007 markings, 121592603 edges, 11077 markings/sec, 210 secs
lola: 2420763 markings, 124575234 edges, 11951 markings/sec, 215 secs
lola: 2476312 markings, 127482656 edges, 11110 markings/sec, 220 secs
lola: 2533193 markings, 130282221 edges, 11376 markings/sec, 225 secs
lola: 2588719 markings, 133088257 edges, 11105 markings/sec, 230 secs
lola: 2643354 markings, 135858162 edges, 10927 markings/sec, 235 secs
lola: 2696140 markings, 138634132 edges, 10557 markings/sec, 240 secs
lola: 2749460 markings, 141347769 edges, 10664 markings/sec, 245 secs
lola: 2806033 markings, 144210821 edges, 11315 markings/sec, 250 secs
lola: 2860068 markings, 146957016 edges, 10807 markings/sec, 255 secs
lola: 2914239 markings, 149686539 edges, 10834 markings/sec, 260 secs
lola: 2968709 markings, 152466862 edges, 10894 markings/sec, 265 secs
lola: 3022715 markings, 155279832 edges, 10801 markings/sec, 270 secs
lola: 3076899 markings, 158038414 edges, 10837 markings/sec, 275 secs
lola: 3132020 markings, 160863955 edges, 11024 markings/sec, 280 secs
lola: 3189003 markings, 163653232 edges, 11397 markings/sec, 285 secs
lola: 3244576 markings, 166429529 edges, 11115 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3921132 KB
lola: time consumption: 1189 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 8 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((E (G (NOT FIREABLE(t1659))) R E (G (NOT FIREABLE(t2779)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:742
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:312
lola: processed formula: NOT(E(A(TRUE U FIREABLE(t1659)) U A(TRUE U FIREABLE(t2779))))
lola: processed formula length: 61
lola: 48 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: 85835 markings, 2500975 edges, 17167 markings/sec, 0 secs
lola: 179660 markings, 5108146 edges, 18765 markings/sec, 5 secs
lola: 271732 markings, 7696379 edges, 18414 markings/sec, 10 secs
lola: 359574 markings, 10177145 edges, 17568 markings/sec, 15 secs
lola: 446197 markings, 12694762 edges, 17325 markings/sec, 20 secs
lola: 536057 markings, 15237047 edges, 17972 markings/sec, 25 secs
lola: 631026 markings, 17824582 edges, 18994 markings/sec, 30 secs
lola: 718588 markings, 20377098 edges, 17512 markings/sec, 35 secs
lola: 804722 markings, 22892029 edges, 17227 markings/sec, 40 secs
lola: 893496 markings, 25475373 edges, 17755 markings/sec, 45 secs
lola: 982315 markings, 28011152 edges, 17764 markings/sec, 50 secs
lola: 1070984 markings, 30552815 edges, 17734 markings/sec, 55 secs
lola: 1160673 markings, 33048956 edges, 17938 markings/sec, 60 secs
lola: 1248635 markings, 35597568 edges, 17592 markings/sec, 65 secs
lola: 1335130 markings, 38122333 edges, 17299 markings/sec, 70 secs
lola: 1424873 markings, 40614578 edges, 17949 markings/sec, 75 secs
lola: 1512187 markings, 42999003 edges, 17463 markings/sec, 80 secs
lola: 1598801 markings, 45471087 edges, 17323 markings/sec, 85 secs
lola: 1686272 markings, 48002439 edges, 17494 markings/sec, 90 secs
lola: 1772131 markings, 50549662 edges, 17172 markings/sec, 95 secs
lola: 1861144 markings, 53098157 edges, 17803 markings/sec, 100 secs
lola: 1948759 markings, 55598628 edges, 17523 markings/sec, 105 secs
lola: 2034356 markings, 58113335 edges, 17119 markings/sec, 110 secs
lola: 2119743 markings, 60641678 edges, 17077 markings/sec, 115 secs
lola: 2207605 markings, 63209643 edges, 17572 markings/sec, 120 secs
lola: 2298981 markings, 65773866 edges, 18275 markings/sec, 125 secs
lola: 2386030 markings, 68252397 edges, 17410 markings/sec, 130 secs
lola: 2473125 markings, 70743712 edges, 17419 markings/sec, 135 secs
lola: 2558272 markings, 73245716 edges, 17029 markings/sec, 140 secs
lola: 2643032 markings, 75695875 edges, 16952 markings/sec, 145 secs
lola: 2730863 markings, 78162696 edges, 17566 markings/sec, 150 secs
lola: 2820171 markings, 80693545 edges, 17862 markings/sec, 155 secs
lola: 2907570 markings, 83216869 edges, 17480 markings/sec, 160 secs
lola: 2993394 markings, 85712357 edges, 17165 markings/sec, 165 secs
lola: 3078145 markings, 88166428 edges, 16950 markings/sec, 170 secs
lola: 3164090 markings, 90624526 edges, 17189 markings/sec, 175 secs
lola: 3248424 markings, 93109137 edges, 16867 markings/sec, 180 secs
lola: 3330075 markings, 95503433 edges, 16330 markings/sec, 185 secs
lola: 3418051 markings, 98025463 edges, 17595 markings/sec, 190 secs
lola: 3505476 markings, 100548992 edges, 17485 markings/sec, 195 secs
lola: 3588846 markings, 103017399 edges, 16674 markings/sec, 200 secs
lola: 3674941 markings, 105503133 edges, 17219 markings/sec, 205 secs
lola: 3761479 markings, 108031829 edges, 17308 markings/sec, 210 secs
lola: 3843797 markings, 110483121 edges, 16464 markings/sec, 215 secs
lola: 3928085 markings, 112979391 edges, 16858 markings/sec, 220 secs
lola: 4013236 markings, 115495621 edges, 17030 markings/sec, 225 secs
lola: 4101250 markings, 118038829 edges, 17603 markings/sec, 230 secs
lola: 4184612 markings, 120514643 edges, 16672 markings/sec, 235 secs
lola: 4267647 markings, 122974416 edges, 16607 markings/sec, 240 secs
lola: 4348158 markings, 125389554 edges, 16102 markings/sec, 245 secs
lola: 4433694 markings, 127901686 edges, 17107 markings/sec, 250 secs
lola: 4518068 markings, 130402342 edges, 16875 markings/sec, 255 secs
lola: 4603725 markings, 132925282 edges, 17131 markings/sec, 260 secs
lola: 4692088 markings, 135506960 edges, 17673 markings/sec, 265 secs
lola: 4782823 markings, 138119660 edges, 18147 markings/sec, 270 secs
lola: 4872810 markings, 140677489 edges, 17997 markings/sec, 275 secs
lola: 4959287 markings, 143187212 edges, 17295 markings/sec, 280 secs
lola: 5045479 markings, 145705822 edges, 17238 markings/sec, 285 secs
lola: 5130742 markings, 148192129 edges, 17053 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4163412 KB
lola: time consumption: 1486 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F (NOT FIREABLE(t2485))) AND A (G (NOT FIREABLE(t2521))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(TRUE U (A(TRUE U NOT FIREABLE(t2485)) AND NOT(E(TRUE U FIREABLE(t2521)))))
lola: processed formula length: 76
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: 46964 markings, 3030635 edges, 9393 markings/sec, 0 secs
lola: 67843 markings, 6014195 edges, 4176 markings/sec, 5 secs
lola: 121235 markings, 8923182 edges, 10678 markings/sec, 10 secs
lola: 147340 markings, 12107947 edges, 5221 markings/sec, 15 secs
lola: 193008 markings, 14905607 edges, 9134 markings/sec, 20 secs
lola: 218343 markings, 17929751 edges, 5067 markings/sec, 25 secs
lola: 268663 markings, 20939362 edges, 10064 markings/sec, 30 secs
lola: 322037 markings, 23913582 edges, 10675 markings/sec, 35 secs
lola: 367521 markings, 26919236 edges, 9097 markings/sec, 40 secs
lola: 424790 markings, 29787556 edges, 11454 markings/sec, 45 secs
lola: 471963 markings, 32674998 edges, 9435 markings/sec, 50 secs
lola: 523159 markings, 35508295 edges, 10239 markings/sec, 55 secs
lola: 575928 markings, 38413755 edges, 10554 markings/sec, 60 secs
lola: 628196 markings, 41236729 edges, 10454 markings/sec, 65 secs
lola: 684243 markings, 44052448 edges, 11209 markings/sec, 70 secs
lola: 741296 markings, 46930030 edges, 11411 markings/sec, 75 secs
lola: 797232 markings, 49841092 edges, 11187 markings/sec, 80 secs
lola: 855089 markings, 52717043 edges, 11571 markings/sec, 85 secs
lola: 911394 markings, 55555169 edges, 11261 markings/sec, 90 secs
lola: 967140 markings, 58383479 edges, 11149 markings/sec, 95 secs
lola: 1023795 markings, 61215340 edges, 11331 markings/sec, 100 secs
lola: 1068331 markings, 64055919 edges, 8907 markings/sec, 105 secs
lola: 1121312 markings, 66789847 edges, 10596 markings/sec, 110 secs
lola: 1175801 markings, 69532541 edges, 10898 markings/sec, 115 secs
lola: 1232061 markings, 72346840 edges, 11252 markings/sec, 120 secs
lola: 1286535 markings, 75279963 edges, 10895 markings/sec, 125 secs
lola: 1342341 markings, 78092224 edges, 11161 markings/sec, 130 secs
lola: 1385670 markings, 80854419 edges, 8666 markings/sec, 135 secs
lola: 1440819 markings, 83713114 edges, 11030 markings/sec, 140 secs
lola: 1495482 markings, 86451359 edges, 10933 markings/sec, 145 secs
lola: 1552626 markings, 89281040 edges, 11429 markings/sec, 150 secs
lola: 1606590 markings, 92043082 edges, 10793 markings/sec, 155 secs
lola: 1662409 markings, 94872591 edges, 11164 markings/sec, 160 secs
lola: 1719607 markings, 97737343 edges, 11440 markings/sec, 165 secs
lola: 1774854 markings, 100474557 edges, 11049 markings/sec, 170 secs
lola: 1830832 markings, 103318706 edges, 11196 markings/sec, 175 secs
lola: 1886655 markings, 106204688 edges, 11165 markings/sec, 180 secs
lola: 1942525 markings, 109018477 edges, 11174 markings/sec, 185 secs
lola: 1992942 markings, 111822903 edges, 10083 markings/sec, 190 secs
lola: 2034657 markings, 114533290 edges, 8343 markings/sec, 195 secs
lola: 2085818 markings, 117207222 edges, 10232 markings/sec, 200 secs
lola: 2141137 markings, 120031072 edges, 11064 markings/sec, 205 secs
lola: 2195771 markings, 122810243 edges, 10927 markings/sec, 210 secs
lola: 2246842 markings, 125555218 edges, 10214 markings/sec, 215 secs
lola: 2301526 markings, 128284987 edges, 10937 markings/sec, 220 secs
lola: 2354372 markings, 131018047 edges, 10569 markings/sec, 225 secs
lola: 2413004 markings, 133983802 edges, 11726 markings/sec, 230 secs
lola: 2467129 markings, 136899043 edges, 10825 markings/sec, 235 secs
lola: 2523070 markings, 139701508 edges, 11188 markings/sec, 240 secs
lola: 2578179 markings, 142528981 edges, 11022 markings/sec, 245 secs
lola: 2631628 markings, 145264089 edges, 10690 markings/sec, 250 secs
lola: 2684245 markings, 148040639 edges, 10523 markings/sec, 255 secs
lola: 2735029 markings, 150744324 edges, 10157 markings/sec, 260 secs
lola: 2789930 markings, 153535175 edges, 10980 markings/sec, 265 secs
lola: 2843793 markings, 156351517 edges, 10773 markings/sec, 270 secs
lola: 2896484 markings, 159057695 edges, 10538 markings/sec, 275 secs
lola: 2950583 markings, 161834593 edges, 10820 markings/sec, 280 secs
lola: 2999445 markings, 164538509 edges, 9772 markings/sec, 285 secs
lola: 3053321 markings, 167293455 edges, 10775 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 3696032 KB
lola: time consumption: 1784 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t2846) OR E (G (FIREABLE(t1074)))) U (A (G (FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((NOT FIREABLE(t2846) OR NOT(A(TRUE U NOT FIREABLE(t1074)))) U (NOT(E(TRUE U NOT FIREABLE(t2451))) AND (FIREABLE(t2787) OR (FIREABLE(t699) AND FIREABLE(t944)))))
lola: processed formula length: 163
lola: 46 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: 58151 markings, 2869109 edges, 11630 markings/sec, 0 secs
lola: 118498 markings, 5884610 edges, 12069 markings/sec, 5 secs
lola: 185197 markings, 9047743 edges, 13340 markings/sec, 10 secs
lola: 251291 markings, 12167278 edges, 13219 markings/sec, 15 secs
lola: 314813 markings, 15090231 edges, 12704 markings/sec, 20 secs
lola: 384036 markings, 18042234 edges, 13845 markings/sec, 25 secs
lola: 455226 markings, 20995399 edges, 14238 markings/sec, 30 secs
lola: 524281 markings, 23959255 edges, 13811 markings/sec, 35 secs
lola: 598016 markings, 26964421 edges, 14747 markings/sec, 40 secs
lola: 668510 markings, 29941617 edges, 14099 markings/sec, 45 secs
lola: 740031 markings, 32965785 edges, 14304 markings/sec, 50 secs
lola: 811041 markings, 36016533 edges, 14202 markings/sec, 55 secs
lola: 883021 markings, 39032124 edges, 14396 markings/sec, 60 secs
lola: 954235 markings, 42034143 edges, 14243 markings/sec, 65 secs
lola: 1023081 markings, 45020824 edges, 13769 markings/sec, 70 secs
lola: 1092542 markings, 47915432 edges, 13892 markings/sec, 75 secs
lola: 1159548 markings, 50819232 edges, 13401 markings/sec, 80 secs
lola: 1227872 markings, 53744026 edges, 13665 markings/sec, 85 secs
lola: 1299993 markings, 56800859 edges, 14424 markings/sec, 90 secs
lola: 1368253 markings, 59664816 edges, 13652 markings/sec, 95 secs
lola: 1437062 markings, 62629047 edges, 13762 markings/sec, 100 secs
lola: 1505866 markings, 65508468 edges, 13761 markings/sec, 105 secs
lola: 1576704 markings, 68430198 edges, 14168 markings/sec, 110 secs
lola: 1646121 markings, 71379895 edges, 13883 markings/sec, 115 secs
lola: 1717774 markings, 74373690 edges, 14331 markings/sec, 120 secs
lola: 1785739 markings, 77254923 edges, 13593 markings/sec, 125 secs
lola: 1855258 markings, 80244065 edges, 13904 markings/sec, 130 secs
lola: 1922157 markings, 83211674 edges, 13380 markings/sec, 135 secs
lola: 1989545 markings, 86125025 edges, 13478 markings/sec, 140 secs
lola: 2053286 markings, 88919107 edges, 12748 markings/sec, 145 secs
lola: 2117572 markings, 91782204 edges, 12857 markings/sec, 150 secs
lola: 2183287 markings, 94687556 edges, 13143 markings/sec, 155 secs
lola: 2248451 markings, 97556603 edges, 13033 markings/sec, 160 secs
lola: 2314829 markings, 100403719 edges, 13276 markings/sec, 165 secs
lola: 2384430 markings, 103370391 edges, 13920 markings/sec, 170 secs
lola: 2456762 markings, 106455785 edges, 14466 markings/sec, 175 secs
lola: 2523196 markings, 109342356 edges, 13287 markings/sec, 180 secs
lola: 2590152 markings, 112266902 edges, 13391 markings/sec, 185 secs
lola: 2657005 markings, 115160903 edges, 13371 markings/sec, 190 secs
lola: 2721374 markings, 117994419 edges, 12874 markings/sec, 195 secs
lola: 2786602 markings, 120884642 edges, 13046 markings/sec, 200 secs
lola: 2854953 markings, 123825589 edges, 13670 markings/sec, 205 secs
lola: 2917948 markings, 126651968 edges, 12599 markings/sec, 210 secs
lola: 2983566 markings, 129494093 edges, 13124 markings/sec, 215 secs
lola: 3050166 markings, 132398194 edges, 13320 markings/sec, 220 secs
lola: 3114854 markings, 135303150 edges, 12938 markings/sec, 225 secs
lola: 3181258 markings, 138182826 edges, 13281 markings/sec, 230 secs
lola: 3246279 markings, 141061232 edges, 13004 markings/sec, 235 secs
lola: 3313436 markings, 144007928 edges, 13431 markings/sec, 240 secs
lola: 3379415 markings, 146941212 edges, 13196 markings/sec, 245 secs
lola: 3445213 markings, 149841844 edges, 13160 markings/sec, 250 secs
lola: 3511850 markings, 152805514 edges, 13327 markings/sec, 255 secs
lola: 3579758 markings, 155635223 edges, 13582 markings/sec, 260 secs
lola: 3646515 markings, 158385299 edges, 13351 markings/sec, 265 secs
lola: 3712772 markings, 161189674 edges, 13251 markings/sec, 270 secs
lola: 3779102 markings, 164059030 edges, 13266 markings/sec, 275 secs
lola: 3847109 markings, 166975585 edges, 13601 markings/sec, 280 secs
lola: 3911317 markings, 169834938 edges, 12842 markings/sec, 285 secs
lola: 3975220 markings, 172677004 edges, 12781 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes unknown unknown unknown
lola: memory consumption: 4766244 KB
lola: time consumption: 2081 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F ((FIREABLE(t1319) AND FIREABLE(t2069)))) AND NOT FIREABLE(t1906))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t1906)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t1906)
lola: processed formula length: 19
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 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 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1319) AND FIREABLE(t2069))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(t1319) AND FIREABLE(t2069))))
lola: processed formula length: 45
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(t1319) AND FIREABLE(t2069))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-12-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 5 markings, 4 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA DLCround-PT-11a-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t255) OR (A (G (E (F (FIREABLE(t1299))))) OR E (G (FIREABLE(t973)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t973)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (FIREABLE(t973)))
lola: processed formula length: 22
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 496 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t255)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t255)
lola: processed formula length: 14
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t1299)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t1299)
lola: processed formula length: 15
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: 25325 markings, 337268 edges, 5065 markings/sec, 0 secs
lola: 52150 markings, 699255 edges, 5365 markings/sec, 5 secs
lola: 78662 markings, 1080808 edges, 5302 markings/sec, 10 secs
lola: 105153 markings, 1467369 edges, 5298 markings/sec, 15 secs
lola: 131772 markings, 1849040 edges, 5324 markings/sec, 20 secs
lola: 158045 markings, 2247880 edges, 5255 markings/sec, 25 secs
lola: 184557 markings, 2628445 edges, 5302 markings/sec, 30 secs
lola: 210736 markings, 3030493 edges, 5236 markings/sec, 35 secs
lola: 237237 markings, 3403197 edges, 5300 markings/sec, 40 secs
lola: 263326 markings, 3806257 edges, 5218 markings/sec, 45 secs
lola: 290183 markings, 4163283 edges, 5371 markings/sec, 50 secs
lola: 316635 markings, 4532057 edges, 5290 markings/sec, 55 secs
lola: 343001 markings, 4915122 edges, 5273 markings/sec, 60 secs
lola: 369219 markings, 5301124 edges, 5244 markings/sec, 65 secs
lola: 395410 markings, 5691797 edges, 5238 markings/sec, 70 secs
lola: 421851 markings, 6071711 edges, 5288 markings/sec, 75 secs
lola: 448132 markings, 6446393 edges, 5256 markings/sec, 80 secs
lola: 474572 markings, 6821617 edges, 5288 markings/sec, 85 secs
lola: 500848 markings, 7213047 edges, 5255 markings/sec, 90 secs
lola: 527469 markings, 7575928 edges, 5324 markings/sec, 95 secs
lola: 554252 markings, 7937909 edges, 5357 markings/sec, 100 secs
lola: 580747 markings, 8300117 edges, 5299 markings/sec, 105 secs
lola: 606082 markings, 8660159 edges, 5067 markings/sec, 110 secs
lola: 631285 markings, 9029694 edges, 5041 markings/sec, 115 secs
lola: 656850 markings, 9372615 edges, 5113 markings/sec, 120 secs
lola: 682667 markings, 9757153 edges, 5163 markings/sec, 125 secs
lola: 709007 markings, 10136547 edges, 5268 markings/sec, 130 secs
lola: 735419 markings, 10519888 edges, 5282 markings/sec, 135 secs
lola: 761737 markings, 10909246 edges, 5264 markings/sec, 140 secs
lola: 784454 markings, 11220378 edges, 4543 markings/sec, 145 secs
lola: 810488 markings, 11617042 edges, 5207 markings/sec, 150 secs
lola: 836547 markings, 12025213 edges, 5212 markings/sec, 155 secs
lola: 862870 markings, 12409249 edges, 5265 markings/sec, 160 secs
lola: 889077 markings, 12802233 edges, 5241 markings/sec, 165 secs
lola: 915422 markings, 13197021 edges, 5269 markings/sec, 170 secs
lola: 941743 markings, 13572590 edges, 5264 markings/sec, 175 secs
lola: 967900 markings, 13957324 edges, 5231 markings/sec, 180 secs
lola: 993530 markings, 14340434 edges, 5126 markings/sec, 185 secs
lola: 1019459 markings, 14726749 edges, 5186 markings/sec, 190 secs
lola: 1045690 markings, 15117351 edges, 5246 markings/sec, 195 secs
lola: 1072341 markings, 15481160 edges, 5330 markings/sec, 200 secs
lola: 1098627 markings, 15883238 edges, 5257 markings/sec, 205 secs
lola: 1124596 markings, 16281131 edges, 5194 markings/sec, 210 secs
lola: 1150738 markings, 16679805 edges, 5228 markings/sec, 215 secs
lola: 1177193 markings, 17046251 edges, 5291 markings/sec, 220 secs
lola: 1203840 markings, 17415282 edges, 5329 markings/sec, 225 secs
lola: 1230519 markings, 17784961 edges, 5336 markings/sec, 230 secs
lola: 1256643 markings, 18187805 edges, 5225 markings/sec, 235 secs
lola: 1283317 markings, 18551030 edges, 5335 markings/sec, 240 secs
lola: 1309577 markings, 18950665 edges, 5252 markings/sec, 245 secs
lola: 1335981 markings, 19335131 edges, 5281 markings/sec, 250 secs
lola: 1361961 markings, 19748238 edges, 5196 markings/sec, 255 secs
lola: 1388772 markings, 20116368 edges, 5362 markings/sec, 260 secs
lola: 1415634 markings, 20482363 edges, 5372 markings/sec, 265 secs
lola: 1442301 markings, 20858004 edges, 5333 markings/sec, 270 secs
lola: 1468711 markings, 21247240 edges, 5282 markings/sec, 275 secs
lola: 1495152 markings, 21633680 edges, 5288 markings/sec, 280 secs
lola: 1521549 markings, 22022235 edges, 5279 markings/sec, 285 secs
lola: 1547785 markings, 22419034 edges, 5247 markings/sec, 290 secs
lola: 1574268 markings, 22791469 edges, 5297 markings/sec, 295 secs
lola: 1600602 markings, 23166627 edges, 5267 markings/sec, 300 secs
lola: 1627033 markings, 23551183 edges, 5286 markings/sec, 305 secs
lola: 1652996 markings, 23963782 edges, 5193 markings/sec, 310 secs
lola: 1679680 markings, 24331929 edges, 5337 markings/sec, 315 secs
lola: 1706397 markings, 24696193 edges, 5343 markings/sec, 320 secs
lola: 1732766 markings, 25080767 edges, 5274 markings/sec, 325 secs
lola: 1759274 markings, 25460046 edges, 5302 markings/sec, 330 secs
lola: 1785613 markings, 25850237 edges, 5268 markings/sec, 335 secs
lola: 1811946 markings, 26245505 edges, 5267 markings/sec, 340 secs
lola: 1838518 markings, 26622738 edges, 5314 markings/sec, 345 secs
lola: 1864781 markings, 27016723 edges, 5253 markings/sec, 350 secs
lola: 1890980 markings, 27414767 edges, 5240 markings/sec, 355 secs
lola: 1917318 markings, 27803820 edges, 5268 markings/sec, 360 secs
lola: 1943839 markings, 28190432 edges, 5304 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 2115508 KB
lola: time consumption: 2453 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 2115832 KB
lola: time consumption: 2453 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192)) AND (E (F (FIREABLE(t1911))) AND A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((NOT FIREABLE(t2810) AND FIREABLE(t1664)) OR NOT FIREABLE(t2192))
lola: processed formula length: 67
lola: 41 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
lola: processed formula with 0 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 14 will run for 558 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t1911)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F (FIREABLE(t1911)))
lola: processed formula length: 23
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: FIREABLE(t1911)
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: 4 markings, 3 edges
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-14-0.sara
lola: lola: ========================================
state equation: calling and running sara
lola: subprocess 15 will run for 1117 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (FIREABLE(t2625))) OR (NOT FIREABLE(t2822) OR FIREABLE(t1659)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
sara: try reading problem file DLCround-PT-11a-CTLFireability-14-0.sara.
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U FIREABLE(t2625))) AND (FIREABLE(t2822) AND NOT FIREABLE(t1659)))))
lola: processed formula length: 93
lola: 45 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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).
sara: place or transition ordering is non-deterministic
lola: 63222 markings, 3038035 edges, 12644 markings/sec, 0 secs
lola: 126207 markings, 6101584 edges, 12597 markings/sec, 5 secs
lola: 195040 markings, 9280784 edges, 13767 markings/sec, 10 secs
lola: 264458 markings, 12425705 edges, 13884 markings/sec, 15 secs
lola: 332600 markings, 15559108 edges, 13628 markings/sec, 20 secs
lola: 408629 markings, 18615420 edges, 15206 markings/sec, 25 secs
lola: 481502 markings, 21593357 edges, 14575 markings/sec, 30 secs
lola: 552980 markings, 24609250 edges, 14296 markings/sec, 35 secs
lola: 628900 markings, 27590956 edges, 15184 markings/sec, 40 secs
lola: 700876 markings, 30579710 edges, 14395 markings/sec, 45 secs
lola: 775087 markings, 33663781 edges, 14842 markings/sec, 50 secs
lola: 848211 markings, 36713595 edges, 14625 markings/sec, 55 secs
lola: 921693 markings, 39715697 edges, 14696 markings/sec, 60 secs
lola: 994865 markings, 42704948 edges, 14634 markings/sec, 65 secs
lola: 1066900 markings, 45658874 edges, 14407 markings/sec, 70 secs
lola: 1135019 markings, 48550148 edges, 13624 markings/sec, 75 secs
lola: 1205589 markings, 51457555 edges, 14114 markings/sec, 80 secs
lola: 1279323 markings, 54528988 edges, 14747 markings/sec, 85 secs
lola: 1349592 markings, 57453371 edges, 14054 markings/sec, 90 secs
lola: 1421978 markings, 60415426 edges, 14477 markings/sec, 95 secs
lola: 1492679 markings, 63337797 edges, 14140 markings/sec, 100 secs
lola: 1566305 markings, 66299545 edges, 14725 markings/sec, 105 secs
lola: 1637541 markings, 69263762 edges, 14247 markings/sec, 110 secs
lola: 1711419 markings, 72277716 edges, 14776 markings/sec, 115 secs
lola: 1782503 markings, 75185689 edges, 14217 markings/sec, 120 secs
lola: 1853567 markings, 78165183 edges, 14213 markings/sec, 125 secs
lola: 1922438 markings, 81148467 edges, 13774 markings/sec, 130 secs
lola: 1989910 markings, 83991211 edges, 13494 markings/sec, 135 secs
lola: 2056345 markings, 86839394 edges, 13287 markings/sec, 140 secs
lola: 2123848 markings, 89761630 edges, 13501 markings/sec, 145 secs
lola: 2192081 markings, 92714347 edges, 13647 markings/sec, 150 secs
lola: 2259400 markings, 95599396 edges, 13464 markings/sec, 155 secs
lola: 2329216 markings, 98476295 edges, 13963 markings/sec, 160 secs
lola: 2402917 markings, 101569438 edges, 14740 markings/sec, 165 secs
lola: 2476491 markings, 104646459 edges, 14715 markings/sec, 170 secs
lola: 2548650 markings, 107641788 edges, 14432 markings/sec, 175 secs
lola: 2615177 markings, 110534010 edges, 13305 markings/sec, 180 secs
lola: 2684463 markings, 113479146 edges, 13857 markings/sec, 185 secs
lola: 2751091 markings, 116350857 edges, 13326 markings/sec, 190 secs
lola: 2821151 markings, 119346445 edges, 14012 markings/sec, 195 secs
lola: 2889452 markings, 122253357 edges, 13660 markings/sec, 200 secs
lola: 2958379 markings, 125174669 edges, 13785 markings/sec, 205 secs
lola: 3023806 markings, 127967244 edges, 13085 markings/sec, 210 secs
lola: 3088987 markings, 130761621 edges, 13036 markings/sec, 215 secs
lola: 3154250 markings, 133590428 edges, 13053 markings/sec, 220 secs
lola: 3220325 markings, 136404879 edges, 13215 markings/sec, 225 secs
lola: 3285912 markings, 139246647 edges, 13117 markings/sec, 230 secs
lola: 3356954 markings, 142302275 edges, 14208 markings/sec, 235 secs
lola: 3425672 markings, 145252039 edges, 13744 markings/sec, 240 secs
lola: 3495851 markings, 148276640 edges, 14036 markings/sec, 245 secs
lola: 3565527 markings, 151193809 edges, 13935 markings/sec, 250 secs
lola: 3636541 markings, 154032912 edges, 14203 markings/sec, 255 secs
lola: 3707370 markings, 156927036 edges, 14166 markings/sec, 260 secs
lola: 3776717 markings, 159861776 edges, 13869 markings/sec, 265 secs
lola: 3847758 markings, 162830856 edges, 14208 markings/sec, 270 secs
lola: 3914885 markings, 165749701 edges, 13425 markings/sec, 275 secs
lola: 3982368 markings, 168676187 edges, 13497 markings/sec, 280 secs
lola: 4050540 markings, 171637651 edges, 13634 markings/sec, 285 secs
lola: 4120609 markings, 174635564 edges, 14014 markings/sec, 290 secs
lola: 4191119 markings, 177647514 edges, 14102 markings/sec, 295 secs
lola: 4258893 markings, 180561950 edges, 13555 markings/sec, 300 secs
lola: 4327133 markings, 183401734 edges, 13648 markings/sec, 305 secs
lola: 4395149 markings, 186286982 edges, 13603 markings/sec, 310 secs
lola: 4460816 markings, 189163496 edges, 13133 markings/sec, 315 secs
lola: 4526999 markings, 191998575 edges, 13237 markings/sec, 320 secs
lola: 4593785 markings, 194921098 edges, 13357 markings/sec, 325 secs
lola: 4662854 markings, 197894169 edges, 13814 markings/sec, 330 secs
lola: 4732887 markings, 200870677 edges, 14007 markings/sec, 335 secs
lola: 4803103 markings, 203878553 edges, 14043 markings/sec, 340 secs
lola: 4873115 markings, 206815688 edges, 14002 markings/sec, 345 secs
lola: 4946640 markings, 209850231 edges, 14705 markings/sec, 350 secs
lola: 5018751 markings, 212860848 edges, 14422 markings/sec, 355 secs
lola: 5090032 markings, 215912258 edges, 14256 markings/sec, 360 secs
lola: 5156369 markings, 218841363 edges, 13267 markings/sec, 365 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 6150408 KB
lola: time consumption: 2825 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown unknown unknown yes yes unknown unknown
lola: memory consumption: 6150408 KB
lola: time consumption: 2826 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (NOT FIREABLE(t321))))) AND A (G (A (F (NOT FIREABLE(t480))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 372 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (NOT FIREABLE(t480)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(t480)
lola: processed formula length: 14
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 7 markings, 7 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
FORMULA DLCround-PT-11a-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (A (G ((FIREABLE(t2544) AND FIREABLE(t678)))))) OR (A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564)))) AND E (((FIREABLE(t1919) OR FIREABLE(t1138)) U NOT FIREABLE(t290)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 744 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: A (G ((NOT FIREABLE(t1013) OR NOT FIREABLE(t564))))
lola: processed formula length: 52
lola: 43 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: formula 0: (FIREABLE(t1013) AND FIREABLE(t564))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-11a-CTLFireability-15-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 5 markings, 4 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(t328)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(t328)
lola: processed formula length: 14
lola: 42 rewrites
lola: closed formula file DLCround-PT-11a-CTLFireability.task
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: RUNNING
lola: 27123 markings, 746467 edges, 5425 markings/sec, 0 secs
lola: 53852 markings, 1480262 edges, 5346 markings/sec, 5 secs
lola: 80119 markings, 2205968 edges, 5253 markings/sec, 10 secs
lola: 106809 markings, 2953628 edges, 5338 markings/sec, 15 secs
lola: 133118 markings, 3686023 edges, 5262 markings/sec, 20 secs
lola: 159201 markings, 4413493 edges, 5217 markings/sec, 25 secs
lola: 185868 markings, 5140986 edges, 5333 markings/sec, 30 secs
lola: 212440 markings, 5870207 edges, 5314 markings/sec, 35 secs
lola: 238859 markings, 6588876 edges, 5284 markings/sec, 40 secs
lola: 265149 markings, 7318217 edges, 5258 markings/sec, 45 secs
lola: 291749 markings, 8054470 edges, 5320 markings/sec, 50 secs
lola: 318213 markings, 8787189 edges, 5293 markings/sec, 55 secs
lola: 344713 markings, 9521198 edges, 5300 markings/sec, 60 secs
lola: 370695 markings, 10243757 edges, 5196 markings/sec, 65 secs
lola: 396591 markings, 10971123 edges, 5179 markings/sec, 70 secs
lola: 422652 markings, 11697049 edges, 5212 markings/sec, 75 secs
lola: 448196 markings, 12430043 edges, 5109 markings/sec, 80 secs
lola: 474566 markings, 13141725 edges, 5274 markings/sec, 85 secs
lola: 500455 markings, 13858527 edges, 5178 markings/sec, 90 secs
lola: 526266 markings, 14578116 edges, 5162 markings/sec, 95 secs
lola: 552092 markings, 15311612 edges, 5165 markings/sec, 100 secs
lola: 577602 markings, 16031388 edges, 5102 markings/sec, 105 secs
lola: 603841 markings, 16754698 edges, 5248 markings/sec, 110 secs
lola: 629700 markings, 17489800 edges, 5172 markings/sec, 115 secs
lola: 655590 markings, 18201636 edges, 5178 markings/sec, 120 secs
lola: 680953 markings, 18929188 edges, 5073 markings/sec, 125 secs
lola: 706744 markings, 19649886 edges, 5158 markings/sec, 130 secs
lola: 733283 markings, 20374089 edges, 5308 markings/sec, 135 secs
lola: 759404 markings, 21101567 edges, 5224 markings/sec, 140 secs
lola: 785832 markings, 21831321 edges, 5286 markings/sec, 145 secs
lola: 812097 markings, 22561005 edges, 5253 markings/sec, 150 secs
lola: 837913 markings, 23276714 edges, 5163 markings/sec, 155 secs
lola: 864274 markings, 23995352 edges, 5272 markings/sec, 160 secs
lola: 890397 markings, 24720722 edges, 5225 markings/sec, 165 secs
lola: 916388 markings, 25432646 edges, 5198 markings/sec, 170 secs
lola: 942017 markings, 26158897 edges, 5126 markings/sec, 175 secs
lola: 968107 markings, 26892581 edges, 5218 markings/sec, 180 secs
lola: 994438 markings, 27620721 edges, 5266 markings/sec, 185 secs
lola: 1019945 markings, 28340427 edges, 5101 markings/sec, 190 secs
lola: 1045896 markings, 29063078 edges, 5190 markings/sec, 195 secs
lola: 1071518 markings, 29783083 edges, 5124 markings/sec, 200 secs
lola: 1096944 markings, 30505661 edges, 5085 markings/sec, 205 secs
lola: 1123129 markings, 31226718 edges, 5237 markings/sec, 210 secs
lola: 1149052 markings, 31944788 edges, 5185 markings/sec, 215 secs
lola: 1174459 markings, 32668180 edges, 5081 markings/sec, 220 secs
lola: 1200148 markings, 33398929 edges, 5138 markings/sec, 225 secs
lola: 1227034 markings, 34138365 edges, 5377 markings/sec, 230 secs
lola: 1253354 markings, 34862662 edges, 5264 markings/sec, 235 secs
lola: 1279055 markings, 35602378 edges, 5140 markings/sec, 240 secs
lola: 1305740 markings, 36338254 edges, 5337 markings/sec, 245 secs
lola: 1331724 markings, 37068375 edges, 5197 markings/sec, 250 secs
lola: 1357496 markings, 37785370 edges, 5154 markings/sec, 255 secs
lola: 1383747 markings, 38514797 edges, 5250 markings/sec, 260 secs
lola: 1410021 markings, 39236745 edges, 5255 markings/sec, 265 secs
lola: 1435572 markings, 39966427 edges, 5110 markings/sec, 270 secs
lola: 1461177 markings, 40685039 edges, 5121 markings/sec, 275 secs
lola: 1487010 markings, 41406145 edges, 5167 markings/sec, 280 secs
lola: 1512691 markings, 42120705 edges, 5136 markings/sec, 285 secs
lola: 1537819 markings, 42837602 edges, 5026 markings/sec, 290 secs
lola: 1563323 markings, 43551297 edges, 5101 markings/sec, 295 secs
lola: 1588732 markings, 44266924 edges, 5082 markings/sec, 300 secs
lola: 1615022 markings, 44993677 edges, 5258 markings/sec, 305 secs
lola: 1640942 markings, 45708404 edges, 5184 markings/sec, 310 secs
lola: 1666298 markings, 46417332 edges, 5071 markings/sec, 315 secs
lola: 1691512 markings, 47141170 edges, 5043 markings/sec, 320 secs
lola: 1717472 markings, 47869373 edges, 5192 markings/sec, 325 secs
lola: 1743589 markings, 48605801 edges, 5223 markings/sec, 330 secs
lola: 1769313 markings, 49330195 edges, 5145 markings/sec, 335 secs
lola: 1795135 markings, 50047497 edges, 5164 markings/sec, 340 secs
lola: 1821428 markings, 50776856 edges, 5259 markings/sec, 345 secs
lola: 1847570 markings, 51495774 edges, 5228 markings/sec, 350 secs
lola: 1873296 markings, 52210359 edges, 5145 markings/sec, 355 secs
lola: 1898622 markings, 52915788 edges, 5065 markings/sec, 360 secs
lola: 1924529 markings, 53625498 edges, 5181 markings/sec, 365 secs
lola: 1950069 markings, 54347319 edges, 5108 markings/sec, 370 secs
lola: 1975764 markings, 55073150 edges, 5139 markings/sec, 375 secs
lola: 2000949 markings, 55795434 edges, 5037 markings/sec, 380 secs
lola: 2026643 markings, 56515431 edges, 5139 markings/sec, 385 secs
lola: 2051730 markings, 57225487 edges, 5017 markings/sec, 390 secs
lola: 2076929 markings, 57949348 edges, 5040 markings/sec, 395 secs
lola: 2102372 markings, 58660063 edges, 5089 markings/sec, 400 secs
lola: 2127700 markings, 59367923 edges, 5066 markings/sec, 405 secs
lola: 2152782 markings, 60084340 edges, 5016 markings/sec, 410 secs
lola: 2178566 markings, 60800975 edges, 5157 markings/sec, 415 secs
lola: 2204207 markings, 61507385 edges, 5128 markings/sec, 420 secs
lola: 2229589 markings, 62218508 edges, 5076 markings/sec, 425 secs
lola: 2255007 markings, 62931215 edges, 5084 markings/sec, 430 secs
lola: 2280563 markings, 63632853 edges, 5111 markings/sec, 435 secs
lola: 2305368 markings, 64346288 edges, 4961 markings/sec, 440 secs
lola: 2330742 markings, 65060825 edges, 5075 markings/sec, 445 secs
lola: 2355957 markings, 65773324 edges, 5043 markings/sec, 450 secs
lola: 2382256 markings, 66511618 edges, 5260 markings/sec, 455 secs
lola: 2408484 markings, 67241645 edges, 5246 markings/sec, 460 secs
lola: 2434706 markings, 67966203 edges, 5244 markings/sec, 465 secs
lola: 2461060 markings, 68685000 edges, 5271 markings/sec, 470 secs
lola: 2486968 markings, 69411252 edges, 5182 markings/sec, 475 secs
lola: 2512773 markings, 70132543 edges, 5161 markings/sec, 480 secs
lola: 2538744 markings, 70863066 edges, 5194 markings/sec, 485 secs
lola: 2564411 markings, 71588691 edges, 5133 markings/sec, 490 secs
lola: 2591101 markings, 72319210 edges, 5338 markings/sec, 495 secs
lola: 2617543 markings, 73038791 edges, 5288 markings/sec, 500 secs
lola: 2644272 markings, 73777936 edges, 5346 markings/sec, 505 secs
lola: 2670095 markings, 74496797 edges, 5165 markings/sec, 510 secs
lola: 2695203 markings, 75195502 edges, 5022 markings/sec, 515 secs
lola: 2720571 markings, 75891866 edges, 5074 markings/sec, 520 secs
lola: 2746373 markings, 76608338 edges, 5160 markings/sec, 525 secs
lola: 2772418 markings, 77331469 edges, 5209 markings/sec, 530 secs
lola: 2798091 markings, 78047548 edges, 5135 markings/sec, 535 secs
lola: 2824102 markings, 78774673 edges, 5202 markings/sec, 540 secs
lola: 2849787 markings, 79491058 edges, 5137 markings/sec, 545 secs
lola: 2875758 markings, 80208324 edges, 5194 markings/sec, 550 secs
lola: 2901611 markings, 80931988 edges, 5171 markings/sec, 555 secs
lola: 2927240 markings, 81648391 edges, 5126 markings/sec, 560 secs
lola: 2953227 markings, 82370352 edges, 5197 markings/sec, 565 secs
lola: 2979153 markings, 83085565 edges, 5185 markings/sec, 570 secs
lola: 3004931 markings, 83800610 edges, 5156 markings/sec, 575 secs
lola: 3030469 markings, 84526169 edges, 5108 markings/sec, 580 secs
lola: 3056195 markings, 85237843 edges, 5145 markings/sec, 585 secs
lola: 3081793 markings, 85951166 edges, 5120 markings/sec, 590 secs
lola: 3107077 markings, 86657518 edges, 5057 markings/sec, 595 secs
lola: 3132434 markings, 87384344 edges, 5071 markings/sec, 600 secs
lola: 3159095 markings, 88108903 edges, 5332 markings/sec, 605 secs
lola: 3185275 markings, 88828232 edges, 5236 markings/sec, 610 secs
lola: 3211046 markings, 89540230 edges, 5154 markings/sec, 615 secs
lola: 3236967 markings, 90253950 edges, 5184 markings/sec, 620 secs
lola: 3262348 markings, 90972743 edges, 5076 markings/sec, 625 secs
lola: 3288413 markings, 91694696 edges, 5213 markings/sec, 630 secs
lola: 3314703 markings, 92419373 edges, 5258 markings/sec, 635 secs
lola: 3340852 markings, 93143655 edges, 5230 markings/sec, 640 secs
lola: 3366997 markings, 93864597 edges, 5229 markings/sec, 645 secs
lola: 3393079 markings, 94589524 edges, 5216 markings/sec, 650 secs
lola: 3418882 markings, 95306018 edges, 5161 markings/sec, 655 secs
lola: 3444570 markings, 96024304 edges, 5138 markings/sec, 660 secs
lola: 3470237 markings, 96737555 edges, 5133 markings/sec, 665 secs
lola: 3495997 markings, 97455395 edges, 5152 markings/sec, 670 secs
lola: 3521621 markings, 98164753 edges, 5125 markings/sec, 675 secs
lola: 3547157 markings, 98885739 edges, 5107 markings/sec, 680 secs
lola: 3572974 markings, 99605805 edges, 5163 markings/sec, 685 secs
lola: 3599145 markings, 100322494 edges, 5234 markings/sec, 690 secs
lola: 3625282 markings, 101036551 edges, 5227 markings/sec, 695 secs
lola: 3651627 markings, 101757549 edges, 5269 markings/sec, 700 secs
lola: 3677180 markings, 102473850 edges, 5111 markings/sec, 705 secs
lola: 3703438 markings, 103205234 edges, 5252 markings/sec, 710 secs
lola: 3729177 markings, 103935299 edges, 5148 markings/sec, 715 secs
lola: 3755247 markings, 104660711 edges, 5214 markings/sec, 720 secs
lola: 3780677 markings, 105384932 edges, 5086 markings/sec, 725 secs
lola: 3806410 markings, 106108723 edges, 5147 markings/sec, 730 secs
lola: 3832309 markings, 106830092 edges, 5180 markings/sec, 735 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: memory consumption: 4527240 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown unknown unknown unknown yes unknown yes unknown unknown no unknown yes yes unknown unknown
lola: memory consumption: 4527484 KB
lola: time consumption: 3570 seconds
BK_STOP 1526659918810
--------------------
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="DLCround-PT-11a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="lola"
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
tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-11a.tgz
mv DLCround-PT-11a execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is DLCround-PT-11a, 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 r064-smll-152649735200116"
echo "====================================================================="
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
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 ;