About the Execution of M4M.struct for DLCround-PT-05b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.260 | 2574928.00 | 2428101.00 | 9375.90 | TFFFFFTF??FF?F?? | 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 840K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K 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 9.6K 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.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K 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.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 674K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is DLCround-PT-05b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r071-smll-152649743800038
=====================================================================
--------------------
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-05b-CTLCardinality-00
FORMULA_NAME DLCround-PT-05b-CTLCardinality-01
FORMULA_NAME DLCround-PT-05b-CTLCardinality-02
FORMULA_NAME DLCround-PT-05b-CTLCardinality-03
FORMULA_NAME DLCround-PT-05b-CTLCardinality-04
FORMULA_NAME DLCround-PT-05b-CTLCardinality-05
FORMULA_NAME DLCround-PT-05b-CTLCardinality-06
FORMULA_NAME DLCround-PT-05b-CTLCardinality-07
FORMULA_NAME DLCround-PT-05b-CTLCardinality-08
FORMULA_NAME DLCround-PT-05b-CTLCardinality-09
FORMULA_NAME DLCround-PT-05b-CTLCardinality-10
FORMULA_NAME DLCround-PT-05b-CTLCardinality-11
FORMULA_NAME DLCround-PT-05b-CTLCardinality-12
FORMULA_NAME DLCround-PT-05b-CTLCardinality-13
FORMULA_NAME DLCround-PT-05b-CTLCardinality-14
FORMULA_NAME DLCround-PT-05b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526658853674
BK_STOP 1526661428602
--------------------
content from stderr:
Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-05b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 1021403, 'Memory': 15950.39, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-05b...
Time: 3600 - MCC
----- Start make prepare stderr -----
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-05b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-05b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLCardinality @ DLCround-PT-05b @ 3540 seconds
----- Start make result stderr -----
----- Start make result stdout -----
lola: LoLA will run for 3540 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 4886/65536 symbol table entries, 384 collisions
lola: preprocessing...
lola: finding significant places
lola: 1999 places, 2887 transitions, 1911 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 3874 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-05b-CTLCardinality.task
lola: NOT(E (X (A (F ((2 <= p926)))))) : A (G (A (G ((p311 <= p1532))))) : A (X (A (F (((2 <= p1581) OR (3 <= p93)))))) : (E (F (A (F ((1 <= p166))))) AND A (F (E (X ((2 <= p1434)))))) : A (X (A (((p1341 <= p1517) U (2 <= p1183))))) : (A (F (E (X ((1 <= p1218))))) AND NOT(A (G (((3 <= p865) OR (1 <= p656)))))) : (((p250 + 1 <= p187) OR ((2 <= p806) AND (3 <= p1156) AND ((p1531 <= p555) OR (p869 <= p718))) OR (p910 <= p1761)) AND E (G (((1 <= p1864) OR (3 <= p1738) OR (p1935 <= 1))))) : A (F (((2 <= p237) OR ((3 <= p1777) AND (1 <= p1962)) OR (3 <= p17)))) : (((2 <= p1879) OR E (((p1644 <= p254) U (1 <= p816)))) AND ((E (G ((3 <= p1298))) OR ((2 <= p608) AND (p986 <= p1953) AND (3 <= p1719))) OR (((p1190 + 1 <= p1506) OR (p1782 <= 2)) AND ((p763 + 1 <= p1318) OR (p1619 <= 2))))) : ((((((3 <= p1998) OR (2 <= p259)) AND ((1 <= p1263) OR (p745 <= p1612))) AND A (X ((2 <= p495)))) AND (A (F ((1 <= p1043))) OR ((p745 + 1 <= p406) OR (p167 <= p126)))) OR E ((((p597 <= p995) OR (3 <= p683)) U (3 <= p269)))) : ((((2 <= p1732) AND (p1052 <= p1615)) OR E (F (((3 <= p1067) AND (2 <= p1683))))) OR A (X (A (F ((3 <= p296)))))) : (NOT(E (G (((p1106 <= p1250) OR (p772 <= p1358))))) OR ((1 <= p519) OR (1 <= p1939))) : E (((p265 <= p831) U (2 <= p590))) : A (F ((p18 + 1 <= p186))) : A (G (A (X (((p1910 <= p332) OR (p820 <= p1376)))))) : (NOT(A (X ((2 <= p351)))) AND (A (G (((3 <= p191) OR (p1429 <= p993)))) AND A (X ((p1382 <= p1366)))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (X (A (F ((2 <= p926))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(NOT(A(TRUE U (2 <= p926))))
lola: processed formula length: 30
lola: 8 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
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: 72 markings, 72 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (G ((p311 <= p1532)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 18 markings, 17 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (((2 <= p1581) OR (3 <= p93))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(A(TRUE U ((2 <= p1581) OR (3 <= p93))))
lola: processed formula length: 43
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 72 markings, 72 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F (A (F ((1 <= p166))))) AND A (F (E (X ((2 <= p1434))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (F ((1 <= p166)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U A(TRUE U (1 <= p166)))
lola: processed formula length: 31
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: 220882 markings, 695782 edges, 3096159597753270272 markings/sec, 0 secs
lola: 438872 markings, 1384884 edges, 43598 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 551848 markings, 1742257 edges
lola: ========================================
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((2 <= p1434)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX((2 <= p1434)))
lola: processed formula length: 26
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 73 markings, 73 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (A (((p1341 <= p1517) U (2 <= p1183)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(A((p1341 <= p1517) U (2 <= p1183)))
lola: processed formula length: 38
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 72 markings, 72 edges
lola: ========================================
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (E (X ((1 <= p1218))))) AND NOT(A (G (((3 <= p865) OR (1 <= p656))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 320 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (X ((1 <= p1218)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U EX((1 <= p1218)))
lola: processed formula length: 26
lola: 5 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 73 markings, 73 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((p250 + 1 <= p187) OR ((2 <= p806) AND (3 <= p1156) AND ((p1531 <= p555) OR (p869 <= p718))) OR (p910 <= p1761)) AND E (G (((1 <= p1864) OR (3 <= p1738) OR (p1935 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 352 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((p250 + 1 <= p187) OR ((2 <= p806) AND (3 <= p1156) AND ((p1531 <= p555) OR (p869 <= p718))) OR (p910 <= p1761))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p250 + 1 <= p187) OR ((2 <= p806) AND (3 <= p1156) AND ((p1531 <= p555) OR (p869 <= p718))) OR (p910 <= p1761))
lola: processed formula length: 116
lola: 0 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: processed formula with 6 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 7 will run for 391 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((1 <= p1864) OR (3 <= p1738) OR (p1935 <= 1))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p1864 <= 0) AND (p1738 <= 2) AND (2 <= p1935))))
lola: processed formula length: 63
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: 438 markings, 438 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 7 will run for 391 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((2 <= p237) OR ((3 <= p1777) AND (1 <= p1962)) OR (3 <= p17))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((2 <= p237) OR ((3 <= p1777) AND (1 <= p1962)) OR (3 <= p17))))
lola: processed formula: A (F (((2 <= p237) OR ((3 <= p1777) AND (1 <= p1962)) OR (3 <= p17))))
lola: processed formula length: 72
lola: 0 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 470 markings, 470 edges
lola: ========================================
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((2 <= p1879) OR E (((p1644 <= p254) U (1 <= p816)))) AND ((E (G ((3 <= p1298))) OR ((2 <= p608) AND (p986 <= p1953) AND (3 <= p1719))) OR (((p1190 + 1 <= p1506) OR (p1782 <= 2)) AND ((p763 + 1 <= p1318) OR (p1619 <= 2)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 8 will run for 440 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (2 <= p1879)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (2 <= p1879)
lola: processed formula length: 12
lola: 1 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 503 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p1644 <= p254) U (1 <= p816)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p1644 <= p254) U (1 <= p816))
lola: processed formula length: 32
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: 555119 markings, 642109 edges, 111011 markings/sec, 0 secs
lola: 1067110 markings, 1237142 edges, 102398 markings/sec, 5 secs
lola: 1577521 markings, 1832067 edges, 102082 markings/sec, 10 secs
lola: 2082650 markings, 2420157 edges, 101026 markings/sec, 15 secs
lola: 2621022 markings, 3043455 edges, 107674 markings/sec, 20 secs
lola: 3141699 markings, 3649688 edges, 104135 markings/sec, 25 secs
lola: 3648479 markings, 4238413 edges, 101356 markings/sec, 30 secs
lola: 4147278 markings, 4821477 edges, 99760 markings/sec, 35 secs
lola: 4643566 markings, 5401724 edges, 99258 markings/sec, 40 secs
lola: 5132953 markings, 5969003 edges, 97877 markings/sec, 45 secs
lola: 5620621 markings, 6535113 edges, 97534 markings/sec, 50 secs
lola: 6127837 markings, 7122579 edges, 101443 markings/sec, 55 secs
lola: 6624492 markings, 7701116 edges, 99331 markings/sec, 60 secs
lola: 7107496 markings, 8261457 edges, 96601 markings/sec, 65 secs
lola: 7590738 markings, 8824628 edges, 96648 markings/sec, 70 secs
lola: 8072557 markings, 9386277 edges, 96364 markings/sec, 75 secs
lola: 8555786 markings, 9949704 edges, 96646 markings/sec, 80 secs
lola: 9027533 markings, 10505293 edges, 94349 markings/sec, 85 secs
lola: 9501743 markings, 11058631 edges, 94842 markings/sec, 90 secs
lola: 9983573 markings, 11621570 edges, 96366 markings/sec, 95 secs
lola: 10459487 markings, 12177686 edges, 95183 markings/sec, 100 secs
lola: 10934675 markings, 12732290 edges, 95038 markings/sec, 105 secs
lola: 11417099 markings, 13291027 edges, 96485 markings/sec, 110 secs
lola: 11894445 markings, 13847112 edges, 95469 markings/sec, 115 secs
lola: 12369075 markings, 14398840 edges, 94926 markings/sec, 120 secs
lola: 12846523 markings, 14956104 edges, 95490 markings/sec, 125 secs
lola: 13329948 markings, 15517860 edges, 96685 markings/sec, 130 secs
lola: 13809178 markings, 16074920 edges, 95846 markings/sec, 135 secs
lola: 14277984 markings, 16620113 edges, 93761 markings/sec, 140 secs
lola: 14785414 markings, 17207931 edges, 101486 markings/sec, 145 secs
lola: 15304846 markings, 17810374 edges, 103886 markings/sec, 150 secs
lola: 15805590 markings, 18394089 edges, 100149 markings/sec, 155 secs
lola: 16291394 markings, 18961444 edges, 97161 markings/sec, 160 secs
lola: 16798587 markings, 19551225 edges, 101439 markings/sec, 165 secs
lola: 17297650 markings, 20132914 edges, 99813 markings/sec, 170 secs
lola: 17785672 markings, 20703194 edges, 97604 markings/sec, 175 secs
lola: 18271585 markings, 21269801 edges, 97183 markings/sec, 180 secs
lola: 18800095 markings, 21878660 edges, 105702 markings/sec, 185 secs
lola: 19292046 markings, 22449082 edges, 98390 markings/sec, 190 secs
lola: 19773708 markings, 23011308 edges, 96332 markings/sec, 195 secs
lola: 20257087 markings, 23574471 edges, 96676 markings/sec, 200 secs
lola: 20741973 markings, 24139367 edges, 96977 markings/sec, 205 secs
lola: 21229621 markings, 24707625 edges, 97530 markings/sec, 210 secs
lola: 21715763 markings, 25275718 edges, 97228 markings/sec, 215 secs
lola: 22193916 markings, 25833539 edges, 95631 markings/sec, 220 secs
lola: 22705240 markings, 26426256 edges, 102265 markings/sec, 225 secs
lola: 23236388 markings, 27038378 edges, 106230 markings/sec, 230 secs
lola: 23745111 markings, 27628007 edges, 101745 markings/sec, 235 secs
lola: 24276150 markings, 28239034 edges, 106208 markings/sec, 240 secs
lola: 24771473 markings, 28814701 edges, 99065 markings/sec, 245 secs
lola: 25284573 markings, 29408217 edges, 102620 markings/sec, 250 secs
lola: 25770641 markings, 29973104 edges, 97214 markings/sec, 255 secs
lola: 26241974 markings, 30524586 edges, 94267 markings/sec, 260 secs
lola: 26738722 markings, 31104162 edges, 99350 markings/sec, 265 secs
lola: 27239487 markings, 31683022 edges, 100153 markings/sec, 270 secs
lola: 27713473 markings, 32236216 edges, 94797 markings/sec, 275 secs
lola: 28194926 markings, 32797484 edges, 96291 markings/sec, 280 secs
lola: 28698167 markings, 33376401 edges, 100648 markings/sec, 285 secs
lola: 29167026 markings, 33923522 edges, 93772 markings/sec, 290 secs
lola: 29650122 markings, 34489133 edges, 96619 markings/sec, 295 secs
lola: 30139363 markings, 35058955 edges, 97848 markings/sec, 300 secs
lola: 30627095 markings, 35628181 edges, 97546 markings/sec, 305 secs
lola: 31118104 markings, 36196531 edges, 98202 markings/sec, 310 secs
lola: 31601468 markings, 36763599 edges, 96673 markings/sec, 315 secs
lola: 32095530 markings, 37337679 edges, 98812 markings/sec, 320 secs
lola: 32577275 markings, 37896972 edges, 96349 markings/sec, 325 secs
lola: 33076094 markings, 38473733 edges, 99764 markings/sec, 330 secs
lola: 33563946 markings, 39038835 edges, 97570 markings/sec, 335 secs
lola: 34043062 markings, 39594825 edges, 95823 markings/sec, 340 secs
lola: 34516997 markings, 40148073 edges, 94787 markings/sec, 345 secs
lola: 35009511 markings, 40720690 edges, 98503 markings/sec, 350 secs
lola: 35504249 markings, 41295967 edges, 98948 markings/sec, 355 secs
lola: 36002875 markings, 41871326 edges, 99725 markings/sec, 360 secs
lola: 36469513 markings, 42418987 edges, 93328 markings/sec, 365 secs
lola: 36936748 markings, 42963011 edges, 93447 markings/sec, 370 secs
lola: 37404662 markings, 43512324 edges, 93583 markings/sec, 375 secs
lola: 37872437 markings, 44057028 edges, 93555 markings/sec, 380 secs
lola: 38353752 markings, 44618000 edges, 96263 markings/sec, 385 secs
lola: 38859680 markings, 45200140 edges, 101186 markings/sec, 390 secs
lola: 39336549 markings, 45753289 edges, 95374 markings/sec, 395 secs
lola: 39805014 markings, 46299524 edges, 93693 markings/sec, 400 secs
lola: 40271202 markings, 46842879 edges, 93238 markings/sec, 405 secs
lola: 40740864 markings, 47389999 edges, 93932 markings/sec, 410 secs
lola: 41211537 markings, 47938668 edges, 94135 markings/sec, 415 secs
lola: 41679370 markings, 48485731 edges, 93567 markings/sec, 420 secs
lola: 42137949 markings, 49020814 edges, 91716 markings/sec, 425 secs
lola: 42621300 markings, 49581229 edges, 96670 markings/sec, 430 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 440 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((((3 <= p1998) OR (2 <= p259)) AND ((1 <= p1263) OR (p745 <= p1612))) AND A (X ((2 <= p495)))) AND (A (F ((1 <= p1043))) OR ((p745 + 1 <= p406) OR (p167 <= p126)))) OR E ((((p597 <= p995) OR (3 <= p683)) U (3 <= p269))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 9 will run for 440 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((3 <= p1998) OR (2 <= p259)) AND ((1 <= p1263) OR (p745 <= p1612)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (((3 <= p1998) OR (2 <= p259)) AND ((1 <= p1263) OR (p745 <= p1612)))
lola: processed formula length: 71
lola: 1 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: processed formula with 4 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 10 will run for 514 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((((p597 <= p995) OR (3 <= p683)) U (3 <= p269)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(((p597 <= p995) OR (3 <= p683)) U (3 <= p269))
lola: processed formula length: 49
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: 518360 markings, 593263 edges, 103659 markings/sec, 0 secs
lola: 1054690 markings, 1211542 edges, 107266 markings/sec, 5 secs
lola: 1577268 markings, 1814304 edges, 104516 markings/sec, 10 secs
lola: 2121824 markings, 2436716 edges, 108911 markings/sec, 15 secs
lola: 2653387 markings, 3048414 edges, 106313 markings/sec, 20 secs
lola: 3168505 markings, 3639396 edges, 103024 markings/sec, 25 secs
lola: 3695827 markings, 4244405 edges, 105464 markings/sec, 30 secs
lola: 4231482 markings, 4857981 edges, 107131 markings/sec, 35 secs
lola: 4779991 markings, 5488158 edges, 109702 markings/sec, 40 secs
lola: 5320892 markings, 6111145 edges, 108180 markings/sec, 45 secs
lola: 5877220 markings, 6746105 edges, 111266 markings/sec, 50 secs
lola: 6401517 markings, 7348532 edges, 104859 markings/sec, 55 secs
lola: 6918645 markings, 7946885 edges, 103426 markings/sec, 60 secs
lola: 7453866 markings, 8563264 edges, 107044 markings/sec, 65 secs
lola: 7974490 markings, 9163307 edges, 104125 markings/sec, 70 secs
lola: 8485926 markings, 9751595 edges, 102287 markings/sec, 75 secs
lola: 9013503 markings, 10362314 edges, 105515 markings/sec, 80 secs
lola: 9558435 markings, 10983767 edges, 108986 markings/sec, 85 secs
lola: 10080295 markings, 11582270 edges, 104372 markings/sec, 90 secs
lola: 10579842 markings, 12157632 edges, 99909 markings/sec, 95 secs
lola: 11086519 markings, 12742634 edges, 101335 markings/sec, 100 secs
lola: 11610761 markings, 13346893 edges, 104848 markings/sec, 105 secs
lola: 12125316 markings, 13935904 edges, 102911 markings/sec, 110 secs
lola: 12668903 markings, 14561118 edges, 108717 markings/sec, 115 secs
lola: 13182414 markings, 15148942 edges, 102702 markings/sec, 120 secs
lola: 13693129 markings, 15734402 edges, 102143 markings/sec, 125 secs
lola: 14188023 markings, 16305135 edges, 98979 markings/sec, 130 secs
lola: 14689576 markings, 16884930 edges, 100311 markings/sec, 135 secs
lola: 15223583 markings, 17500032 edges, 106801 markings/sec, 140 secs
lola: 15731931 markings, 18082731 edges, 101670 markings/sec, 145 secs
lola: 16219579 markings, 18644909 edges, 97530 markings/sec, 150 secs
lola: 16716703 markings, 19218811 edges, 99425 markings/sec, 155 secs
lola: 17221878 markings, 19799568 edges, 101035 markings/sec, 160 secs
lola: 17723899 markings, 20376504 edges, 100404 markings/sec, 165 secs
lola: 18230735 markings, 20960006 edges, 101367 markings/sec, 170 secs
lola: 18747004 markings, 21551467 edges, 103254 markings/sec, 175 secs
lola: 19266837 markings, 22146786 edges, 103967 markings/sec, 180 secs
lola: 19746313 markings, 22700100 edges, 95895 markings/sec, 185 secs
lola: 20229820 markings, 23260450 edges, 96701 markings/sec, 190 secs
lola: 20747236 markings, 23851770 edges, 103483 markings/sec, 195 secs
lola: 21235163 markings, 24417109 edges, 97585 markings/sec, 200 secs
lola: 21735373 markings, 24992131 edges, 100042 markings/sec, 205 secs
lola: 22225419 markings, 25553695 edges, 98009 markings/sec, 210 secs
lola: 22698524 markings, 26101552 edges, 94621 markings/sec, 215 secs
lola: 23156275 markings, 26628479 edges, 91550 markings/sec, 220 secs
lola: 23642243 markings, 27185868 edges, 97194 markings/sec, 225 secs
lola: 24112331 markings, 27727948 edges, 94018 markings/sec, 230 secs
lola: 24593923 markings, 28283271 edges, 96318 markings/sec, 235 secs
lola: 25070844 markings, 28834067 edges, 95384 markings/sec, 240 secs
lola: 25556230 markings, 29394093 edges, 97077 markings/sec, 245 secs
lola: 26030279 markings, 29940523 edges, 94810 markings/sec, 250 secs
lola: 26505603 markings, 30488898 edges, 95065 markings/sec, 255 secs
lola: 27015573 markings, 31074963 edges, 101994 markings/sec, 260 secs
lola: 27542125 markings, 31675466 edges, 105310 markings/sec, 265 secs
lola: 28028518 markings, 32232870 edges, 97279 markings/sec, 270 secs
lola: 28543516 markings, 32824086 edges, 103000 markings/sec, 275 secs
lola: 29041390 markings, 33393905 edges, 99575 markings/sec, 280 secs
lola: 29557876 markings, 33989139 edges, 103297 markings/sec, 285 secs
lola: 30065528 markings, 34574050 edges, 101530 markings/sec, 290 secs
lola: 30585705 markings, 35172904 edges, 104035 markings/sec, 295 secs
lola: 31055099 markings, 35714424 edges, 93879 markings/sec, 300 secs
lola: 31522349 markings, 36257043 edges, 93450 markings/sec, 305 secs
lola: 32016096 markings, 36822758 edges, 98749 markings/sec, 310 secs
lola: 32514929 markings, 37397218 edges, 99767 markings/sec, 315 secs
lola: 32980902 markings, 37933776 edges, 93195 markings/sec, 320 secs
lola: 33434208 markings, 38462544 edges, 90661 markings/sec, 325 secs
lola: 33930971 markings, 39031572 edges, 99353 markings/sec, 330 secs
lola: 34464596 markings, 39643800 edges, 106725 markings/sec, 335 secs
lola: 34977752 markings, 40231033 edges, 102631 markings/sec, 340 secs
lola: 35466145 markings, 40795785 edges, 97679 markings/sec, 345 secs
lola: 35940166 markings, 41339158 edges, 94804 markings/sec, 350 secs
lola: 36416664 markings, 41889321 edges, 95300 markings/sec, 355 secs
lola: 36895548 markings, 42441464 edges, 95777 markings/sec, 360 secs
lola: 37380333 markings, 42997910 edges, 96957 markings/sec, 365 secs
lola: 37873415 markings, 43563572 edges, 98616 markings/sec, 370 secs
lola: 38376003 markings, 44142942 edges, 100518 markings/sec, 375 secs
lola: 38867881 markings, 44707617 edges, 98376 markings/sec, 380 secs
lola: 39366645 markings, 45279168 edges, 99753 markings/sec, 385 secs
lola: 39885895 markings, 45875433 edges, 103850 markings/sec, 390 secs
lola: 40378490 markings, 46445850 edges, 98519 markings/sec, 395 secs
lola: 40880808 markings, 47024870 edges, 100464 markings/sec, 400 secs
lola: 41383006 markings, 47602114 edges, 100440 markings/sec, 405 secs
lola: 41866755 markings, 48157145 edges, 96750 markings/sec, 410 secs
lola: 42357763 markings, 48722041 edges, 98202 markings/sec, 415 secs
lola: 42818223 markings, 49256070 edges, 92092 markings/sec, 420 secs
lola: 43288914 markings, 49798694 edges, 94138 markings/sec, 425 secs
lola: 43765194 markings, 50349850 edges, 95256 markings/sec, 430 secs
lola: local time limit reached - aborting
lola: 44313028 markings, 50973704 edges, 109567 markings/sec, 435 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 440 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 445 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 450 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 455 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 460 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 465 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 470 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 475 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 480 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 485 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 490 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 495 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 500 secs
lola: 44313028 markings, 50973704 edges, 0 markings/sec, 505 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((((2 <= p1732) AND (p1052 <= p1615)) OR E (F (((3 <= p1067) AND (2 <= p1683))))) OR A (X (A (F ((3 <= p296))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 428 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((2 <= p1732) AND (p1052 <= p1615))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((2 <= p1732) AND (p1052 <= p1615))
lola: processed formula length: 35
lola: 1 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 11 will run for 514 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((3 <= p1067) AND (2 <= p1683))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-05b-CTLCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-05b-CTLCardinality-11.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 12 will run for 642 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (A (F ((3 <= p296)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(A(TRUE U (3 <= p296)))
lola: processed formula length: 25
lola: 3 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 72 markings, 72 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 513 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (G (((p1106 <= p1250) OR (p772 <= p1358))))) OR ((1 <= p519) OR (1 <= p1939)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 513 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((p1250 + 1 <= p1106) AND (p1358 + 1 <= p772))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((p1250 + 1 <= p1106) AND (p1358 + 1 <= p772))))
lola: processed formula: A (F (((p1250 + 1 <= p1106) AND (p1358 + 1 <= p772))))
lola: processed formula length: 54
lola: 3 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 465 markings, 465 edges
lola: ========================================
lola: subprocess 12 will run for 642 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((1 <= p519) OR (1 <= p1939))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p519) OR (1 <= p1939))
lola: processed formula length: 30
lola: 3 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 642 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p265 <= p831) U (2 <= p590)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p265 <= p831) U (2 <= p590))
lola: processed formula length: 31
lola: 1 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
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: 527479 markings, 611043 edges, 3687031648961953792 markings/sec, 0 secs
lola: 1042017 markings, 1211083 edges, 102908 markings/sec, 5 secs
lola: 1558402 markings, 1815732 edges, 103277 markings/sec, 10 secs
lola: 2068979 markings, 2412215 edges, 102115 markings/sec, 15 secs
lola: 2582523 markings, 3013107 edges, 102709 markings/sec, 20 secs
lola: 3116628 markings, 3633912 edges, 106821 markings/sec, 25 secs
lola: 3623935 markings, 4224076 edges, 101461 markings/sec, 30 secs
lola: 4129380 markings, 4812106 edges, 101089 markings/sec, 35 secs
lola: 4622316 markings, 5390029 edges, 98587 markings/sec, 40 secs
lola: 5120387 markings, 5974698 edges, 99614 markings/sec, 45 secs
lola: 5635021 markings, 6574841 edges, 102927 markings/sec, 50 secs
lola: 6167397 markings, 7193940 edges, 106475 markings/sec, 55 secs
lola: 6675005 markings, 7785313 edges, 101522 markings/sec, 60 secs
lola: 7186204 markings, 8382144 edges, 102240 markings/sec, 65 secs
lola: 7694184 markings, 8976672 edges, 101596 markings/sec, 70 secs
lola: 8181404 markings, 9548732 edges, 97444 markings/sec, 75 secs
lola: 8635372 markings, 10080988 edges, 90794 markings/sec, 80 secs
lola: 9123752 markings, 10652253 edges, 97676 markings/sec, 85 secs
lola: 9606996 markings, 11219809 edges, 96649 markings/sec, 90 secs
lola: 10110079 markings, 11808345 edges, 100617 markings/sec, 95 secs
lola: 10610953 markings, 12393461 edges, 100175 markings/sec, 100 secs
lola: 11110801 markings, 12971593 edges, 99970 markings/sec, 105 secs
lola: 11623556 markings, 13554941 edges, 102551 markings/sec, 110 secs
lola: 12133389 markings, 14135736 edges, 101967 markings/sec, 115 secs
lola: 12631950 markings, 14705814 edges, 99712 markings/sec, 120 secs
lola: 13132009 markings, 15279969 edges, 100012 markings/sec, 125 secs
lola: 13589724 markings, 15801747 edges, 91543 markings/sec, 130 secs
lola: 14084393 markings, 16367883 edges, 98934 markings/sec, 135 secs
lola: 14572504 markings, 16927938 edges, 97622 markings/sec, 140 secs
lola: 15060090 markings, 17488018 edges, 97517 markings/sec, 145 secs
lola: 15545825 markings, 18047306 edges, 97147 markings/sec, 150 secs
lola: 16034668 markings, 18606048 edges, 97769 markings/sec, 155 secs
lola: 16514815 markings, 19159405 edges, 96029 markings/sec, 160 secs
lola: 17002612 markings, 19718520 edges, 97559 markings/sec, 165 secs
lola: 17495525 markings, 20278804 edges, 98583 markings/sec, 170 secs
lola: 17977342 markings, 20833490 edges, 96363 markings/sec, 175 secs
lola: 18458724 markings, 21388607 edges, 96276 markings/sec, 180 secs
lola: 18942741 markings, 21944589 edges, 96803 markings/sec, 185 secs
lola: 19426883 markings, 22500812 edges, 96828 markings/sec, 190 secs
lola: 19907857 markings, 23051378 edges, 96195 markings/sec, 195 secs
lola: 20390649 markings, 23605981 edges, 96558 markings/sec, 200 secs
lola: 20869753 markings, 24156999 edges, 95821 markings/sec, 205 secs
lola: 21352186 markings, 24711186 edges, 96487 markings/sec, 210 secs
lola: 21833555 markings, 25262809 edges, 96274 markings/sec, 215 secs
lola: 22313604 markings, 25812424 edges, 96010 markings/sec, 220 secs
lola: 22775335 markings, 26343722 edges, 92346 markings/sec, 225 secs
lola: 23246061 markings, 26886596 edges, 94145 markings/sec, 230 secs
lola: 23757869 markings, 27470354 edges, 102362 markings/sec, 235 secs
lola: 24302881 markings, 28090452 edges, 109002 markings/sec, 240 secs
lola: 24831416 markings, 28693560 edges, 105707 markings/sec, 245 secs
lola: 25350337 markings, 29285809 edges, 103784 markings/sec, 250 secs
lola: 25860103 markings, 29870219 edges, 101953 markings/sec, 255 secs
lola: 26395025 markings, 30477735 edges, 106984 markings/sec, 260 secs
lola: 26930172 markings, 31085460 edges, 107029 markings/sec, 265 secs
lola: 27456394 markings, 31683448 edges, 105244 markings/sec, 270 secs
lola: 28004741 markings, 32306201 edges, 109669 markings/sec, 275 secs
lola: 28590496 markings, 32959840 edges, 117151 markings/sec, 280 secs
lola: 29152654 markings, 33588628 edges, 112432 markings/sec, 285 secs
lola: 29676208 markings, 34175423 edges, 104711 markings/sec, 290 secs
lola: 30226152 markings, 34791676 edges, 109989 markings/sec, 295 secs
lola: 30765021 markings, 35398273 edges, 107774 markings/sec, 300 secs
lola: 31339622 markings, 36039749 edges, 114920 markings/sec, 305 secs
lola: 31911301 markings, 36677079 edges, 114336 markings/sec, 310 secs
lola: 32474680 markings, 37305896 edges, 112676 markings/sec, 315 secs
lola: 33052677 markings, 37950561 edges, 115599 markings/sec, 320 secs
lola: 33657517 markings, 38626097 edges, 120968 markings/sec, 325 secs
lola: 34207818 markings, 39240031 edges, 110060 markings/sec, 330 secs
lola: 34748455 markings, 39844979 edges, 108127 markings/sec, 335 secs
lola: 35285105 markings, 40448276 edges, 107330 markings/sec, 340 secs
lola: 35819272 markings, 41046569 edges, 106833 markings/sec, 345 secs
lola: 36352751 markings, 41646401 edges, 106696 markings/sec, 350 secs
lola: 36911133 markings, 42268331 edges, 111676 markings/sec, 355 secs
lola: 37466656 markings, 42888146 edges, 111105 markings/sec, 360 secs
lola: 38020210 markings, 43505926 edges, 110711 markings/sec, 365 secs
lola: 38582541 markings, 44133180 edges, 112466 markings/sec, 370 secs
lola: 39160900 markings, 44776892 edges, 115672 markings/sec, 375 secs
lola: 39702353 markings, 45382036 edges, 108291 markings/sec, 380 secs
lola: 40234675 markings, 45977592 edges, 106464 markings/sec, 385 secs
lola: 40766463 markings, 46574545 edges, 106358 markings/sec, 390 secs
lola: 41292360 markings, 47164608 edges, 105179 markings/sec, 395 secs
lola: 41821917 markings, 47758948 edges, 105911 markings/sec, 400 secs
lola: 42372987 markings, 48372776 edges, 110214 markings/sec, 405 secs
lola: 42922831 markings, 48986319 edges, 109969 markings/sec, 410 secs
lola: 43470163 markings, 49597346 edges, 109466 markings/sec, 415 secs
lola: 44026811 markings, 50217960 edges, 111330 markings/sec, 420 secs
lola: 44570393 markings, 50827172 edges, 108716 markings/sec, 425 secs
lola: 45096513 markings, 51416127 edges, 105224 markings/sec, 430 secs
lola: 45616749 markings, 52001543 edges, 104047 markings/sec, 435 secs
lola: 46138299 markings, 52588459 edges, 104310 markings/sec, 440 secs
lola: 46676553 markings, 53189903 edges, 107651 markings/sec, 445 secs
lola: 47222340 markings, 53798486 edges, 109157 markings/sec, 450 secs
lola: 47786022 markings, 54424604 edges, 112736 markings/sec, 455 secs
lola: 48331952 markings, 55035133 edges, 109186 markings/sec, 460 secs
lola: 48874615 markings, 55643480 edges, 108533 markings/sec, 465 secs
lola: 49414622 markings, 56248807 edges, 108001 markings/sec, 470 secs
lola: 49949596 markings, 56850837 edges, 106995 markings/sec, 475 secs
lola: 50495837 markings, 57460786 edges, 109248 markings/sec, 480 secs
lola: 51047412 markings, 58075897 edges, 110315 markings/sec, 485 secs
lola: 51596280 markings, 58688544 edges, 109774 markings/sec, 490 secs
lola: 52153934 markings, 59310153 edges, 111531 markings/sec, 495 secs
lola: 52722878 markings, 59943973 edges, 113789 markings/sec, 500 secs
lola: 53244146 markings, 60529542 edges, 104254 markings/sec, 505 secs
lola: 53757020 markings, 61104495 edges, 102575 markings/sec, 510 secs
lola: 54285138 markings, 61693979 edges, 105624 markings/sec, 515 secs
lola: 54855106 markings, 62329972 edges, 113994 markings/sec, 520 secs
lola: 55370079 markings, 62907358 edges, 102995 markings/sec, 525 secs
lola: 55908659 markings, 63508088 edges, 107716 markings/sec, 530 secs
lola: 56426956 markings, 64088318 edges, 103659 markings/sec, 535 secs
lola: 56927364 markings, 64651369 edges, 100082 markings/sec, 540 secs
lola: 57449384 markings, 65238985 edges, 104404 markings/sec, 545 secs
lola: 57984658 markings, 65837105 edges, 107055 markings/sec, 550 secs
lola: 58512024 markings, 66425242 edges, 105473 markings/sec, 555 secs
lola: 59070845 markings, 67048579 edges, 111764 markings/sec, 560 secs
lola: 59594546 markings, 67637476 edges, 104740 markings/sec, 565 secs
lola: 60122673 markings, 68227497 edges, 105625 markings/sec, 570 secs
lola: 60692569 markings, 68865458 edges, 113979 markings/sec, 575 secs
lola: 61212021 markings, 69449892 edges, 103890 markings/sec, 580 secs
lola: 61726637 markings, 70027439 edges, 102923 markings/sec, 585 secs
lola: 62237071 markings, 70605192 edges, 102087 markings/sec, 590 secs
lola: 62752873 markings, 71186808 edges, 103160 markings/sec, 595 secs
lola: 63293667 markings, 71788059 edges, 108159 markings/sec, 600 secs
lola: 63803272 markings, 72363580 edges, 101921 markings/sec, 605 secs
lola: 64312910 markings, 72939862 edges, 101928 markings/sec, 610 secs
lola: 64824110 markings, 73512488 edges, 102240 markings/sec, 615 secs
lola: 65351036 markings, 74101355 edges, 105385 markings/sec, 620 secs
lola: 65892805 markings, 74708935 edges, 108354 markings/sec, 625 secs
lola: 66411742 markings, 75288247 edges, 103787 markings/sec, 630 secs
lola: 66989808 markings, 75933909 edges, 115613 markings/sec, 635 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 642 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p18 + 1 <= p186)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p18 + 1 <= p186)))
lola: processed formula: A (F ((p18 + 1 <= p186)))
lola: processed formula length: 25
lola: 0 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 473 markings, 473 edges
lola: ========================================
lola: subprocess 14 will run for 963 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X (((p1910 <= p332) OR (p820 <= p1376))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX(((p1910 <= p332) OR (p820 <= p1376))))))
lola: processed formula length: 61
lola: 2 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 337738 markings, 434787 edges, 67548 markings/sec, 0 secs
lola: 679875 markings, 840395 edges, 68427 markings/sec, 5 secs
lola: 1026833 markings, 1257608 edges, 69392 markings/sec, 10 secs
lola: 1382912 markings, 1681975 edges, 71216 markings/sec, 15 secs
lola: 1770445 markings, 2124115 edges, 77507 markings/sec, 20 secs
lola: 2144621 markings, 2566506 edges, 74835 markings/sec, 25 secs
lola: 2513210 markings, 3007043 edges, 73718 markings/sec, 30 secs
lola: 2876616 markings, 3446988 edges, 72681 markings/sec, 35 secs
lola: 3237838 markings, 3884642 edges, 72244 markings/sec, 40 secs
lola: 3602495 markings, 4318962 edges, 72931 markings/sec, 45 secs
lola: 3967522 markings, 4753859 edges, 73005 markings/sec, 50 secs
lola: 4334178 markings, 5195487 edges, 73331 markings/sec, 55 secs
lola: 4696942 markings, 5632462 edges, 72553 markings/sec, 60 secs
lola: 5057345 markings, 6063958 edges, 72081 markings/sec, 65 secs
lola: 5421608 markings, 6497570 edges, 72853 markings/sec, 70 secs
lola: 5790610 markings, 6936126 edges, 73800 markings/sec, 75 secs
lola: 6163006 markings, 7370722 edges, 74479 markings/sec, 80 secs
lola: 6528941 markings, 7805729 edges, 73187 markings/sec, 85 secs
lola: 6885895 markings, 8231239 edges, 71391 markings/sec, 90 secs
lola: 7246928 markings, 8655844 edges, 72207 markings/sec, 95 secs
lola: 7606582 markings, 9089408 edges, 71931 markings/sec, 100 secs
lola: 7967393 markings, 9516504 edges, 72162 markings/sec, 105 secs
lola: 8322571 markings, 9936852 edges, 71036 markings/sec, 110 secs
lola: 8684568 markings, 10361611 edges, 72399 markings/sec, 115 secs
lola: 9048349 markings, 10792544 edges, 72756 markings/sec, 120 secs
lola: 9406592 markings, 11218462 edges, 71649 markings/sec, 125 secs
lola: 9762486 markings, 11641149 edges, 71179 markings/sec, 130 secs
lola: 10125419 markings, 12065391 edges, 72587 markings/sec, 135 secs
lola: 10485168 markings, 12496288 edges, 71950 markings/sec, 140 secs
lola: 10843550 markings, 12927613 edges, 71676 markings/sec, 145 secs
lola: 11205794 markings, 13364979 edges, 72449 markings/sec, 150 secs
lola: 11586104 markings, 13814929 edges, 76062 markings/sec, 155 secs
lola: 11958592 markings, 14257580 edges, 74498 markings/sec, 160 secs
lola: 12336496 markings, 14707241 edges, 75581 markings/sec, 165 secs
lola: 12706556 markings, 15150139 edges, 74012 markings/sec, 170 secs
lola: 13074917 markings, 15585156 edges, 73672 markings/sec, 175 secs
lola: 13447124 markings, 16021515 edges, 74441 markings/sec, 180 secs
lola: 13814527 markings, 16452634 edges, 73481 markings/sec, 185 secs
lola: 14183266 markings, 16888063 edges, 73748 markings/sec, 190 secs
lola: 14553654 markings, 17323891 edges, 74078 markings/sec, 195 secs
lola: 14919556 markings, 17760588 edges, 73180 markings/sec, 200 secs
lola: 15289257 markings, 18194216 edges, 73940 markings/sec, 205 secs
lola: 15655377 markings, 18632287 edges, 73224 markings/sec, 210 secs
lola: 16027506 markings, 19076561 edges, 74426 markings/sec, 215 secs
lola: 16384875 markings, 19507891 edges, 71474 markings/sec, 220 secs
lola: 16745956 markings, 19952801 edges, 72216 markings/sec, 225 secs
lola: 17105587 markings, 20387109 edges, 71926 markings/sec, 230 secs
lola: 17463827 markings, 20828797 edges, 71648 markings/sec, 235 secs
lola: 17827072 markings, 21268847 edges, 72649 markings/sec, 240 secs
lola: 18190845 markings, 21697297 edges, 72755 markings/sec, 245 secs
lola: 18557696 markings, 22132920 edges, 73370 markings/sec, 250 secs
lola: 18919914 markings, 22561131 edges, 72444 markings/sec, 255 secs
lola: 19281876 markings, 22987836 edges, 72392 markings/sec, 260 secs
lola: 19636282 markings, 23421538 edges, 70881 markings/sec, 265 secs
lola: 19993641 markings, 23849153 edges, 71472 markings/sec, 270 secs
lola: 20356101 markings, 24286980 edges, 72492 markings/sec, 275 secs
lola: 20714283 markings, 24725606 edges, 71636 markings/sec, 280 secs
lola: 21084181 markings, 25164833 edges, 73980 markings/sec, 285 secs
lola: 21450061 markings, 25599626 edges, 73176 markings/sec, 290 secs
lola: 21809123 markings, 26034886 edges, 71812 markings/sec, 295 secs
lola: 22170086 markings, 26468712 edges, 72193 markings/sec, 300 secs
lola: 22530034 markings, 26905547 edges, 71990 markings/sec, 305 secs
lola: 22894673 markings, 27345466 edges, 72928 markings/sec, 310 secs
lola: 23252228 markings, 27774876 edges, 71511 markings/sec, 315 secs
lola: 23608597 markings, 28199129 edges, 71274 markings/sec, 320 secs
lola: 23963957 markings, 28626978 edges, 71072 markings/sec, 325 secs
lola: 24321586 markings, 29051404 edges, 71526 markings/sec, 330 secs
lola: 24681380 markings, 29481615 edges, 71959 markings/sec, 335 secs
lola: 25041469 markings, 29911126 edges, 72018 markings/sec, 340 secs
lola: 25401306 markings, 30341048 edges, 71967 markings/sec, 345 secs
lola: 25760566 markings, 30770114 edges, 71852 markings/sec, 350 secs
lola: 26125406 markings, 31207490 edges, 72968 markings/sec, 355 secs
lola: 26485004 markings, 31631848 edges, 71920 markings/sec, 360 secs
lola: 26849635 markings, 32061394 edges, 72926 markings/sec, 365 secs
lola: 27208482 markings, 32486172 edges, 71769 markings/sec, 370 secs
lola: 27561677 markings, 32932989 edges, 70639 markings/sec, 375 secs
lola: 27917873 markings, 33365838 edges, 71239 markings/sec, 380 secs
lola: 28269626 markings, 33778171 edges, 70351 markings/sec, 385 secs
lola: 28617221 markings, 34191215 edges, 69519 markings/sec, 390 secs
lola: 28967436 markings, 34609854 edges, 70043 markings/sec, 395 secs
lola: 29316659 markings, 35028212 edges, 69845 markings/sec, 400 secs
lola: 29679311 markings, 35463379 edges, 72530 markings/sec, 405 secs
lola: 30030695 markings, 35894365 edges, 70277 markings/sec, 410 secs
lola: 30385821 markings, 36319696 edges, 71025 markings/sec, 415 secs
lola: 30744087 markings, 36744568 edges, 71653 markings/sec, 420 secs
lola: 31102658 markings, 37175364 edges, 71714 markings/sec, 425 secs
lola: 31453592 markings, 37596058 edges, 70187 markings/sec, 430 secs
lola: 31802335 markings, 38024658 edges, 69749 markings/sec, 435 secs
lola: 32150375 markings, 38450517 edges, 69608 markings/sec, 440 secs
lola: 32495970 markings, 38862485 edges, 69119 markings/sec, 445 secs
lola: 32849998 markings, 39284255 edges, 70806 markings/sec, 450 secs
lola: 33199566 markings, 39701587 edges, 69914 markings/sec, 455 secs
lola: 33560530 markings, 40128458 edges, 72193 markings/sec, 460 secs
lola: 33909955 markings, 40549487 edges, 69885 markings/sec, 465 secs
lola: 34260126 markings, 40971797 edges, 70034 markings/sec, 470 secs
lola: 34609732 markings, 41380624 edges, 69921 markings/sec, 475 secs
lola: 34967868 markings, 41807343 edges, 71627 markings/sec, 480 secs
lola: 35324588 markings, 42234812 edges, 71344 markings/sec, 485 secs
lola: 35676743 markings, 42657244 edges, 70431 markings/sec, 490 secs
lola: 36029541 markings, 43081409 edges, 70560 markings/sec, 495 secs
lola: 36386205 markings, 43505230 edges, 71333 markings/sec, 500 secs
lola: 36747288 markings, 43928282 edges, 72217 markings/sec, 505 secs
lola: 37097898 markings, 44357342 edges, 70122 markings/sec, 510 secs
lola: 37444985 markings, 44791647 edges, 69417 markings/sec, 515 secs
lola: 37790213 markings, 45211006 edges, 69046 markings/sec, 520 secs
lola: 38143430 markings, 45632210 edges, 70643 markings/sec, 525 secs
lola: 38494647 markings, 46054428 edges, 70243 markings/sec, 530 secs
lola: 38838870 markings, 46475182 edges, 68845 markings/sec, 535 secs
lola: 39188751 markings, 46892976 edges, 69976 markings/sec, 540 secs
lola: 39545329 markings, 47319059 edges, 71316 markings/sec, 545 secs
lola: 39897224 markings, 47737754 edges, 70379 markings/sec, 550 secs
lola: 40244247 markings, 48146684 edges, 69405 markings/sec, 555 secs
lola: 40588797 markings, 48558038 edges, 68910 markings/sec, 560 secs
lola: 40936629 markings, 48974512 edges, 69566 markings/sec, 565 secs
lola: 41298600 markings, 49407769 edges, 72394 markings/sec, 570 secs
lola: 41646716 markings, 49827186 edges, 69623 markings/sec, 575 secs
lola: 42004409 markings, 50265578 edges, 71539 markings/sec, 580 secs
lola: 42349016 markings, 50676721 edges, 68921 markings/sec, 585 secs
lola: 42702230 markings, 51101283 edges, 70643 markings/sec, 590 secs
lola: 43058189 markings, 51518643 edges, 71192 markings/sec, 595 secs
lola: 43397329 markings, 51929547 edges, 67828 markings/sec, 600 secs
lola: 43741680 markings, 52351382 edges, 68870 markings/sec, 605 secs
lola: 44096489 markings, 52779171 edges, 70962 markings/sec, 610 secs
lola: 44453689 markings, 53199467 edges, 71440 markings/sec, 615 secs
lola: 44803668 markings, 53615607 edges, 69996 markings/sec, 620 secs
lola: 45146549 markings, 54030150 edges, 68576 markings/sec, 625 secs
lola: 45499426 markings, 54450612 edges, 70575 markings/sec, 630 secs
lola: 45843415 markings, 54876506 edges, 68798 markings/sec, 635 secs
lola: 46193358 markings, 55293121 edges, 69989 markings/sec, 640 secs
lola: 46547128 markings, 55720950 edges, 70754 markings/sec, 645 secs
lola: 46894562 markings, 56146489 edges, 69487 markings/sec, 650 secs
lola: 47240722 markings, 56565284 edges, 69232 markings/sec, 655 secs
lola: 47588043 markings, 56968539 edges, 69464 markings/sec, 660 secs
lola: 47920652 markings, 57363481 edges, 66522 markings/sec, 665 secs
lola: 48268756 markings, 57770537 edges, 69621 markings/sec, 670 secs
lola: 48607747 markings, 58174494 edges, 67798 markings/sec, 675 secs
lola: 48957769 markings, 58587465 edges, 70004 markings/sec, 680 secs
lola: 49297684 markings, 58991346 edges, 67983 markings/sec, 685 secs
lola: 49635939 markings, 59396273 edges, 67651 markings/sec, 690 secs
lola: 49979844 markings, 59806171 edges, 68781 markings/sec, 695 secs
lola: 50316216 markings, 60207430 edges, 67274 markings/sec, 700 secs
lola: 50656740 markings, 60611773 edges, 68105 markings/sec, 705 secs
lola: 50990349 markings, 61012323 edges, 66722 markings/sec, 710 secs
lola: 51323647 markings, 61408501 edges, 66660 markings/sec, 715 secs
lola: 51654789 markings, 61800594 edges, 66228 markings/sec, 720 secs
lola: 51996208 markings, 62199389 edges, 68284 markings/sec, 725 secs
lola: 52341337 markings, 62607187 edges, 69026 markings/sec, 730 secs
lola: 52679353 markings, 63010630 edges, 67603 markings/sec, 735 secs
lola: 53021885 markings, 63419679 edges, 68506 markings/sec, 740 secs
lola: 53374819 markings, 63839442 edges, 70587 markings/sec, 745 secs
lola: 53719544 markings, 64248487 edges, 68945 markings/sec, 750 secs
lola: 54069090 markings, 64659498 edges, 69909 markings/sec, 755 secs
lola: 54410505 markings, 65065210 edges, 68283 markings/sec, 760 secs
lola: 54747878 markings, 65475448 edges, 67475 markings/sec, 765 secs
lola: 55083857 markings, 65907824 edges, 67196 markings/sec, 770 secs
lola: 55419697 markings, 66319527 edges, 67168 markings/sec, 775 secs
lola: 55756716 markings, 66719607 edges, 67404 markings/sec, 780 secs
lola: 56096140 markings, 67127127 edges, 67885 markings/sec, 785 secs
lola: 56435697 markings, 67532334 edges, 67911 markings/sec, 790 secs
lola: 56774869 markings, 67943449 edges, 67834 markings/sec, 795 secs
lola: 57123209 markings, 68360110 edges, 69668 markings/sec, 800 secs
lola: 57460678 markings, 68771015 edges, 67494 markings/sec, 805 secs
lola: 57803630 markings, 69175271 edges, 68590 markings/sec, 810 secs
lola: 58152073 markings, 69584983 edges, 69689 markings/sec, 815 secs
lola: 58488635 markings, 69994488 edges, 67312 markings/sec, 820 secs
lola: 58831964 markings, 70401594 edges, 68666 markings/sec, 825 secs
lola: 59175727 markings, 70803461 edges, 68753 markings/sec, 830 secs
lola: 59525585 markings, 71214734 edges, 69972 markings/sec, 835 secs
lola: 59860512 markings, 71609646 edges, 66985 markings/sec, 840 secs
lola: 60155939 markings, 71957237 edges, 59085 markings/sec, 845 secs
lola: 60485110 markings, 72357686 edges, 65834 markings/sec, 850 secs
lola: 60575844 markings, 72464762 edges, 18147 markings/sec, 855 secs
lola: 60577700 markings, 72466910 edges, 371 markings/sec, 860 secs
lola: 60577736 markings, 72466950 edges, 7 markings/sec, 865 secs
lola: 60579771 markings, 72469234 edges, 407 markings/sec, 870 secs
lola: 60580325 markings, 72469949 edges, 111 markings/sec, 875 secs
lola: 60580907 markings, 72470603 edges, 116 markings/sec, 880 secs
lola: 60581397 markings, 72471154 edges, 98 markings/sec, 885 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1011 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(A (X ((2 <= p351)))) AND (A (G (((3 <= p191) OR (p1429 <= p993)))) AND A (X ((p1382 <= p1366)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1011 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((p351 <= 1)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((p351 <= 1))
lola: processed formula length: 15
lola: 4 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X ((p1382 <= p1366)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (X ((p1382 <= p1366)))
lola: processed formula: A (X ((p1382 <= p1366)))
lola: processed formula length: 24
lola: 3 rewrites
lola: formula mentions 0 of 1999 places; total mentions: 0
lola: closed formula file DLCround-PT-05b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 240 bytes per marking, with 7 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: RESULT
lola:
SUMMARY: yes no no no no no yes no unknown unknown no no unknown no unknown unknown
FORMULA DLCround-PT-05b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-05b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished 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-05b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="mcc4mcc-structural"
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-05b.tgz
mv DLCround-PT-05b 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 mcc4mcc-structural"
echo " Input is DLCround-PT-05b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r071-smll-152649743800038"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
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 ;