About the Execution of M4M.full for DLCround-PT-06b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15919.130 | 1601986.00 | 1499597.00 | 6155.60 | ???????????????? | 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 980K
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K 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.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 813K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DLCround-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r070-smll-152649742800053
=====================================================================
--------------------
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-06b-CTLFireability-00
FORMULA_NAME DLCround-PT-06b-CTLFireability-01
FORMULA_NAME DLCround-PT-06b-CTLFireability-02
FORMULA_NAME DLCround-PT-06b-CTLFireability-03
FORMULA_NAME DLCround-PT-06b-CTLFireability-04
FORMULA_NAME DLCround-PT-06b-CTLFireability-05
FORMULA_NAME DLCround-PT-06b-CTLFireability-06
FORMULA_NAME DLCround-PT-06b-CTLFireability-07
FORMULA_NAME DLCround-PT-06b-CTLFireability-08
FORMULA_NAME DLCround-PT-06b-CTLFireability-09
FORMULA_NAME DLCround-PT-06b-CTLFireability-10
FORMULA_NAME DLCround-PT-06b-CTLFireability-11
FORMULA_NAME DLCround-PT-06b-CTLFireability-12
FORMULA_NAME DLCround-PT-06b-CTLFireability-13
FORMULA_NAME DLCround-PT-06b-CTLFireability-14
FORMULA_NAME DLCround-PT-06b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526660558495
BK_STOP 1526662160481
--------------------
content from stderr:
Prefix is 65b80f64.
Reading known information in /usr/share/mcc4mcc/65b80f64-known.json.
Reading learned information in /usr/share/mcc4mcc/65b80f64-learned.json.
Reading value translations in /usr/share/mcc4mcc/65b80f64-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using DLCround-PT-06b as instance name.
Using DLCround as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', '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}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 1371882, 'Memory': 15949.85, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola DLCround-PT-06b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DLCround-PT-06b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-06b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DLCround-PT-06b @ 3540 seconds
Makefile:222: recipe for target 'verify' failed
----- Start make result stdout -----
make: [verify] Error 134 (ignored)
----- Start make result stderr -----
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: 5796/65536 symbol table entries, 557 collisions
lola: preprocessing...
lola: finding significant places
lola: 2340 places, 3456 transitions, 2231 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 4716 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-06b-CTLFireability.task
lola: E (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011))))))) : (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195))) : NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672))))) : E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678))))))) : NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192))))) : ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))) : E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439))))) : (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680)))) : A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737)))))) : A (F (NOT(A (G (NOT FIREABLE(t1262)))))) : (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))) : ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454)))) : NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385)))) : A (G (A (X (NOT FIREABLE(t1064))))) : (NOT FIREABLE(t3223) AND A (((NOT FIREABLE(t830) OR NOT FIREABLE(t2315)) U (FIREABLE(t41) AND NOT FIREABLE(t2597))))) : E (G (E (F (E (X (FIREABLE(t2406)))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (X ((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(AX((NOT FIREABLE(t2173) OR (FIREABLE(t2376) AND FIREABLE(t2011)))))))
lola: processed formula length: 87
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 593 markings, 593 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))) OR (A (((FIREABLE(t2254) OR FIREABLE(t249)) U (FIREABLE(t1367) OR FIREABLE(t2474)))) OR FIREABLE(t195)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((NOT FIREABLE(t269) OR (FIREABLE(t453) AND FIREABLE(t2879))) U FIREABLE(t1504))
lola: processed formula length: 82
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 6077 markings, 6823 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((FIREABLE(t1180) OR FIREABLE(t1672)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (FIREABLE(t1180) OR FIREABLE(t1672))))
lola: processed formula length: 52
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 548 markings, 548 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((FIREABLE(t1070) OR FIREABLE(t2625) OR (FIREABLE(t401) AND FIREABLE(t2678)))))
lola: processed formula length: 92
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 206530 markings, 236931 edges, 3689348869717491712 markings/sec, 0 secs
lola: 438026 markings, 504985 edges, 46299 markings/sec, 5 secs
lola: 662220 markings, 762907 edges, 44839 markings/sec, 10 secs
lola: 881770 markings, 1014140 edges, 43910 markings/sec, 15 secs
lola: 1100788 markings, 1262882 edges, 43804 markings/sec, 20 secs
lola: 1302080 markings, 1494238 edges, 40258 markings/sec, 25 secs
lola: 1517511 markings, 1741246 edges, 43086 markings/sec, 30 secs
lola: 1728265 markings, 1981796 edges, 42151 markings/sec, 35 secs
lola: 1944950 markings, 2229437 edges, 43337 markings/sec, 40 secs
lola: 2160224 markings, 2478615 edges, 43055 markings/sec, 45 secs
lola: 2375808 markings, 2721636 edges, 43117 markings/sec, 50 secs
lola: 2589612 markings, 2967670 edges, 42761 markings/sec, 55 secs
lola: 2808463 markings, 3219005 edges, 43770 markings/sec, 60 secs
lola: 3030605 markings, 3470077 edges, 44428 markings/sec, 65 secs
lola: 3249836 markings, 3722059 edges, 43846 markings/sec, 70 secs
lola: 3459248 markings, 3961806 edges, 41882 markings/sec, 75 secs
lola: 3674574 markings, 4215972 edges, 43065 markings/sec, 80 secs
lola: 3903193 markings, 4482884 edges, 45724 markings/sec, 85 secs
lola: 4132718 markings, 4750910 edges, 45905 markings/sec, 90 secs
lola: 4357161 markings, 5012077 edges, 44889 markings/sec, 95 secs
lola: 4582888 markings, 5274668 edges, 45145 markings/sec, 100 secs
lola: 4779658 markings, 5501078 edges, 39354 markings/sec, 105 secs
lola: 5000409 markings, 5751888 edges, 44150 markings/sec, 110 secs
lola: 5219682 markings, 6003389 edges, 43855 markings/sec, 115 secs
lola: 5434144 markings, 6248908 edges, 42892 markings/sec, 120 secs
lola: 5637591 markings, 6481137 edges, 40689 markings/sec, 125 secs
lola: 5831124 markings, 6703335 edges, 38707 markings/sec, 130 secs
lola: 6046815 markings, 6951410 edges, 43138 markings/sec, 135 secs
lola: 6266664 markings, 7200800 edges, 43970 markings/sec, 140 secs
lola: 6479703 markings, 7450993 edges, 42608 markings/sec, 145 secs
lola: 6711661 markings, 7722486 edges, 46392 markings/sec, 150 secs
lola: 6943261 markings, 7987699 edges, 46320 markings/sec, 155 secs
lola: 7169186 markings, 8251542 edges, 45185 markings/sec, 160 secs
lola: 7400781 markings, 8515466 edges, 46319 markings/sec, 165 secs
lola: 7628172 markings, 8776035 edges, 45478 markings/sec, 170 secs
lola: 7849169 markings, 9027640 edges, 44199 markings/sec, 175 secs
lola: 8074359 markings, 9283492 edges, 45038 markings/sec, 180 secs
lola: 8294931 markings, 9541907 edges, 44114 markings/sec, 185 secs
lola: 8515940 markings, 9796440 edges, 44202 markings/sec, 190 secs
lola: 8711594 markings, 10022903 edges, 39131 markings/sec, 195 secs
lola: 8937401 markings, 10286485 edges, 45161 markings/sec, 200 secs
lola: 9168279 markings, 10549111 edges, 46176 markings/sec, 205 secs
lola: 9388959 markings, 10810105 edges, 44136 markings/sec, 210 secs
lola: 9613062 markings, 11066419 edges, 44821 markings/sec, 215 secs
lola: 9833308 markings, 11320784 edges, 44049 markings/sec, 220 secs
lola: 10051703 markings, 11566861 edges, 43679 markings/sec, 225 secs
lola: 10265063 markings, 11813266 edges, 42672 markings/sec, 230 secs
lola: 10472558 markings, 12049934 edges, 41499 markings/sec, 235 secs
lola: 10668105 markings, 12273513 edges, 39109 markings/sec, 240 secs
lola: 10887580 markings, 12528001 edges, 43895 markings/sec, 245 secs
lola: 11102050 markings, 12773203 edges, 42894 markings/sec, 250 secs
lola: 11314132 markings, 13015544 edges, 42416 markings/sec, 255 secs
lola: 11545592 markings, 13285275 edges, 46292 markings/sec, 260 secs
lola: 11774794 markings, 13547002 edges, 45840 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(((((NOT FIREABLE(t267) AND NOT FIREABLE(t1886)) OR (NOT FIREABLE(t1382) AND NOT FIREABLE(t938))) OR A (F ((FIREABLE(t3251) OR FIREABLE(t1289))))) AND E (F (FIREABLE(t192)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((FIREABLE(t267) OR FIREABLE(t1886)) AND (FIREABLE(t1382) OR FIREABLE(t938)))
lola: processed formula length: 79
lola: 9 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(t192)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (F (E (F (FIREABLE(t2288))))) AND E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))) AND A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2288)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 86 markings, 85 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(t1040) AND FIREABLE(t742) AND FIREABLE(t831))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 113 markings, 112 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((A (X (FIREABLE(t452))) AND FIREABLE(t978))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (AX(FIREABLE(t452)) AND FIREABLE(t978)))
lola: processed formula length: 49
lola: 4 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 593 markings, 593 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (X (NOT FIREABLE(t2970))) U E (X (FIREABLE(t3439)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(EX(NOT FIREABLE(t2970)) U EX(FIREABLE(t3439)))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 650 markings, 655 edges
lola: ========================================
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (((A ((FIREABLE(t932) U FIREABLE(t3070))) OR ((FIREABLE(t2374) OR FIREABLE(t302)) OR E (G (FIREABLE(t1935))))) AND A ((FIREABLE(t2053) U FIREABLE(t1184)))) OR E (F (FIREABLE(t2680))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 363 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula: A ((FIREABLE(t932) U FIREABLE(t3070)))
lola: processed formula length: 38
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 bytes per marking, with 7 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: 599 markings, 599 edges
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t2374) OR FIREABLE(t302))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(t2374) OR FIREABLE(t302))
lola: processed formula length: 36
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (FIREABLE(t1935)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT FIREABLE(t1935)))
lola: processed formula length: 34
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 10 will run for 544 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2680)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 108 markings, 107 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 8 will run for 408 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND E (G (FIREABLE(t737))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (((FIREABLE(t880) OR FIREABLE(t2725)) AND ((FIREABLE(t2815) AND FIREABLE(t1561)) OR NOT FIREABLE(t825))) AND NOT(A(TRUE U NOT FIREABLE(t737)))))
lola: processed formula length: 155
lola: 3 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 547 markings, 547 edges
lola: ========================================
lola: subprocess 9 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (NOT(A (G (NOT FIREABLE(t1262))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U E(TRUE U FIREABLE(t1262)))
lola: processed formula length: 35
lola: 5 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 480151 markings, 559466 edges, 3689329903141912576 markings/sec, 0 secs
lola: 953704 markings, 1110384 edges, 94711 markings/sec, 5 secs
lola: 1411450 markings, 1644090 edges, 91549 markings/sec, 10 secs
lola: 1886714 markings, 2200697 edges, 95053 markings/sec, 15 secs
lola: 2365701 markings, 2761844 edges, 95797 markings/sec, 20 secs
lola: 2842177 markings, 3317459 edges, 95295 markings/sec, 25 secs
lola: 3280058 markings, 3829986 edges, 87576 markings/sec, 30 secs
lola: 3773048 markings, 4405519 edges, 98598 markings/sec, 35 secs
lola: 4247182 markings, 4959876 edges, 94827 markings/sec, 40 secs
lola: 4711703 markings, 5505750 edges, 92904 markings/sec, 45 secs
lola: 5179030 markings, 6052959 edges, 93465 markings/sec, 50 secs
lola: 5644836 markings, 6598347 edges, 93161 markings/sec, 55 secs
lola: 6100822 markings, 7133506 edges, 91197 markings/sec, 60 secs
lola: 6545979 markings, 7653486 edges, 89031 markings/sec, 65 secs
lola: 6998380 markings, 8183202 edges, 90480 markings/sec, 70 secs
lola: 7447094 markings, 8704671 edges, 89743 markings/sec, 75 secs
lola: 7905346 markings, 9242833 edges, 91650 markings/sec, 80 secs
lola: 8336216 markings, 9749642 edges, 86174 markings/sec, 85 secs
lola: 8800130 markings, 10289071 edges, 92783 markings/sec, 90 secs
lola: 9236130 markings, 10798907 edges, 87200 markings/sec, 95 secs
lola: 9700283 markings, 11342801 edges, 92831 markings/sec, 100 secs
lola: 10150476 markings, 11868578 edges, 90039 markings/sec, 105 secs
lola: 10593614 markings, 12388229 edges, 88628 markings/sec, 110 secs
lola: 11046114 markings, 12917969 edges, 90500 markings/sec, 115 secs
lola: 11487700 markings, 13436983 edges, 88317 markings/sec, 120 secs
lola: 11922990 markings, 13948309 edges, 87058 markings/sec, 125 secs
lola: 12344046 markings, 14440534 edges, 84211 markings/sec, 130 secs
lola: 12785180 markings, 14953288 edges, 88227 markings/sec, 135 secs
lola: 13215383 markings, 15460361 edges, 86041 markings/sec, 140 secs
lola: 13666415 markings, 15990973 edges, 90206 markings/sec, 145 secs
lola: 14109343 markings, 16510128 edges, 88586 markings/sec, 150 secs
lola: 14551423 markings, 17030264 edges, 88416 markings/sec, 155 secs
lola: 14993051 markings, 17550821 edges, 88326 markings/sec, 160 secs
lola: 15441040 markings, 18077115 edges, 89598 markings/sec, 165 secs
lola: 15880893 markings, 18598375 edges, 87971 markings/sec, 170 secs
lola: 16320946 markings, 19117454 edges, 88011 markings/sec, 175 secs
lola: 16782791 markings, 19655760 edges, 92369 markings/sec, 180 secs
lola: 17236206 markings, 20191642 edges, 90683 markings/sec, 185 secs
lola: 17680352 markings, 20720705 edges, 88829 markings/sec, 190 secs
lola: 18123463 markings, 21247017 edges, 88622 markings/sec, 195 secs
lola: 18558953 markings, 21764034 edges, 87098 markings/sec, 200 secs
lola: 19002987 markings, 22287865 edges, 88807 markings/sec, 205 secs
lola: 19456209 markings, 22818792 edges, 90644 markings/sec, 210 secs
lola: 19895362 markings, 23334255 edges, 87831 markings/sec, 215 secs
lola: 20337139 markings, 23853975 edges, 88355 markings/sec, 220 secs
lola: 20800303 markings, 24395837 edges, 92633 markings/sec, 225 secs
lola: 21215154 markings, 24882971 edges, 82970 markings/sec, 230 secs
lola: 21653875 markings, 25399596 edges, 87744 markings/sec, 235 secs
lola: 22101649 markings, 25925892 edges, 89555 markings/sec, 240 secs
lola: 22553134 markings, 26459407 edges, 90297 markings/sec, 245 secs
lola: 22992026 markings, 26978388 edges, 87778 markings/sec, 250 secs
lola: 23425776 markings, 27493113 edges, 86750 markings/sec, 255 secs
lola: 23860614 markings, 28010470 edges, 86968 markings/sec, 260 secs
lola: 24219829 markings, 28438719 edges, 71843 markings/sec, 265 secs
lola: 24633114 markings, 28927087 edges, 82657 markings/sec, 270 secs
lola: 25063295 markings, 29429493 edges, 86036 markings/sec, 275 secs
lola: 25484547 markings, 29930714 edges, 84250 markings/sec, 280 secs
lola: 25920909 markings, 30446312 edges, 87272 markings/sec, 285 secs
lola: 26354497 markings, 30957218 edges, 86718 markings/sec, 290 secs
lola: 26802019 markings, 31481544 edges, 89504 markings/sec, 295 secs
lola: 27227317 markings, 31989367 edges, 85060 markings/sec, 300 secs
lola: 27669862 markings, 32510024 edges, 88509 markings/sec, 305 secs
lola: 28097003 markings, 33021331 edges, 85428 markings/sec, 310 secs
lola: 28491460 markings, 33489563 edges, 78891 markings/sec, 315 secs
lola: 28919061 markings, 33996562 edges, 85520 markings/sec, 320 secs
lola: 29334361 markings, 34493124 edges, 83060 markings/sec, 325 secs
lola: 29750031 markings, 34989306 edges, 83134 markings/sec, 330 secs
lola: 30188405 markings, 35505825 edges, 87675 markings/sec, 335 secs
lola: 30632600 markings, 36029675 edges, 88839 markings/sec, 340 secs
lola: 31063950 markings, 36540221 edges, 86270 markings/sec, 345 secs
lola: 31477561 markings, 37029218 edges, 82722 markings/sec, 350 secs
lola: 31909275 markings, 37540220 edges, 86343 markings/sec, 355 secs
lola: 32329761 markings, 38036665 edges, 84097 markings/sec, 360 secs
lola: 32744560 markings, 38525024 edges, 82960 markings/sec, 365 secs
lola: 33163070 markings, 39020262 edges, 83702 markings/sec, 370 secs
lola: 33577922 markings, 39511534 edges, 82970 markings/sec, 375 secs
lola: 34012710 markings, 40023698 edges, 86958 markings/sec, 380 secs
lola: 34425474 markings, 40517811 edges, 82553 markings/sec, 385 secs
lola: 34852144 markings, 41030615 edges, 85334 markings/sec, 390 secs
lola: 35272767 markings, 41534691 edges, 84125 markings/sec, 395 secs
lola: 35688324 markings, 42028234 edges, 83111 markings/sec, 400 secs
lola: 36115285 markings, 42538920 edges, 85392 markings/sec, 405 secs
lola: 36548980 markings, 43049344 edges, 86739 markings/sec, 410 secs
lola: 36984711 markings, 43559764 edges, 87146 markings/sec, 415 secs
lola: 37412717 markings, 44061586 edges, 85601 markings/sec, 420 secs
lola: 37857907 markings, 44591078 edges, 89038 markings/sec, 425 secs
lola: 38282769 markings, 45095217 edges, 84972 markings/sec, 430 secs
lola: 38699341 markings, 45590648 edges, 83314 markings/sec, 435 secs
lola: 39115714 markings, 46083999 edges, 83275 markings/sec, 440 secs
lola: 39545840 markings, 46597631 edges, 86025 markings/sec, 445 secs
lola: 39977001 markings, 47116404 edges, 86232 markings/sec, 450 secs
lola: 40405245 markings, 47625785 edges, 85649 markings/sec, 455 secs
lola: 40833808 markings, 48140878 edges, 85713 markings/sec, 460 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 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(t746))) OR E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 466 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t746)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula: A (F (FIREABLE(t746)))
lola: processed formula length: 22
lola: 0 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 618 markings, 618 edges
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND A (X (FIREABLE(t1526))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((((FIREABLE(t1609) AND FIREABLE(t2916)) OR FIREABLE(t1917)) AND AX(FIREABLE(t1526))))
lola: processed formula length: 89
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A (F (FIREABLE(t2481))) AND ((A (F (FIREABLE(t710))) OR FIREABLE(t3004)) OR (A (F (FIREABLE(t1622))) OR A (G (FIREABLE(t2118)))))) OR E ((FIREABLE(t941) U FIREABLE(t2454))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t2481)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula: A (F (FIREABLE(t2481)))
lola: processed formula length: 23
lola: 1 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 617 markings, 617 edges
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((FIREABLE(t941) U FIREABLE(t2454)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(FIREABLE(t941) U FIREABLE(t2454))
lola: processed formula length: 35
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (F (A (F (FIREABLE(t2815))))) OR (A (G (NOT FIREABLE(t2148))) OR FIREABLE(t3385))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(t2815)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U FIREABLE(t2815)))
lola: processed formula length: 30
lola: 12 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 548 markings, 548 edges
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (FIREABLE(t2148)))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 161 markings, 160 edges
lola: ========================================
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(t3385)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(t3385)
lola: processed formula length: 19
lola: 10 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (A (X (NOT FIREABLE(t1064)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(AX(NOT FIREABLE(t1064)))))
lola: processed formula length: 43
lola: 2 rewrites
lola: formula mentions 0 of 2340 places; total mentions: 0
lola: closed formula file DLCround-PT-06b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 280 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: 233555 markings, 266162 edges, 3689329903141912576 markings/sec, 0 secs
lola: 450102 markings, 517990 edges, 43309 markings/sec, 5 secs
lola: 676392 markings, 779399 edges, 45258 markings/sec, 10 secs
lola: 899460 markings, 1033438 edges, 44614 markings/sec, 15 secs
lola: 1118194 markings, 1283249 edges, 43747 markings/sec, 20 secs
lola: 1335138 markings, 1532343 edges, 43389 markings/sec, 25 secs
lola: 1546426 markings, 1773522 edges, 42258 markings/sec, 30 secs
lola: 1746686 markings, 2001741 edges, 40052 markings/sec, 35 secs
lola: 1962232 markings, 2249772 edges, 43109 markings/sec, 40 secs
lola: 2173826 markings, 2494263 edges, 42319 markings/sec, 45 secs
lola: 2386957 markings, 2733719 edges, 42626 markings/sec, 50 secs
lola: 2598580 markings, 2977391 edges, 42325 markings/sec, 55 secs
lola: 2817051 markings, 3229913 edges, 43694 markings/sec, 60 secs
lola: 3034927 markings, 3475038 edges, 43575 markings/sec, 65 secs
lola: 3251381 markings, 3723705 edges, 43291 markings/sec, 70 secs
lola: 3460933 markings, 3963600 edges, 41910 markings/sec, 75 secs
lola: 3673975 markings, 4215332 edges, 42608 markings/sec, 80 secs
lola: 3903246 markings, 4482941 edges, 45854 markings/sec, 85 secs
lola: 4132368 markings, 4750034 edges, 45824 markings/sec, 90 secs
lola: 4359971 markings, 5015843 edges, 45521 markings/sec, 95 secs
lola: 4590954 markings, 5283936 edges, 46197 markings/sec, 100 secs
lola: 4817036 markings, 5544516 edges, 45216 markings/sec, 105 secs
lola: 5037291 markings, 5795815 edges, 44051 markings/sec, 110 secs
lola: 5257988 markings, 6047713 edges, 44139 markings/sec, 115 secs
lola: 5474737 markings, 6294893 edges, 43350 markings/sec, 120 secs
lola: 5680855 markings, 6531433 edges, 41224 markings/sec, 125 secs
----- Kill lola and sara stderr -----
lola: 5900023 markings, 6783963 edges, 43834 markings/sec, 130 secs
lola: 6109521 markings, 7021692 edges, 41900 markings/sec, 135 secs
lola: 6323438 markings, 7268585 edges, 42783 markings/sec, 140 secs
lola: 6540925 markings, 7521547 edges, 43497 markings/sec, 145 secs
lola: 6768991 markings, 7785010 edges, 45613 markings/sec, 150 secs
lola: 6992253 markings, 8043824 edges, 44652 markings/sec, 155 secs
lola: 7211912 markings, 8300116 edges, 43932 markings/sec, 160 secs
lola: 7438014 markings, 8557800 edges, 45220 markings/sec, 165 secs
lola: 7661404 markings, 8813079 edges, 44678 markings/sec, 170 secs
lola: 7874501 markings, 9056589 edges, 42619 markings/sec, 175 secs
lola: 8095059 markings, 9308576 edges, 44112 markings/sec, 180 secs
lola: 8311403 markings, 9559794 edges, 43269 markings/sec, 185 secs
lola: 8536222 markings, 9818827 edges, 44964 markings/sec, 190 secs
lola: 8763526 markings, 10085432 edges, 45461 markings/sec, 195 secs
lola: 8996615 markings, 10353206 edges, 46618 markings/sec, 200 secs
lola: 9226479 markings, 10616745 edges, 45973 markings/sec, 205 secs
lola: 9453814 markings, 10883998 edges, 45467 markings/sec, 210 secs
lola: 9687457 markings, 11154175 edges, 46729 markings/sec, 215 secs
lola: 9916267 markings, 11413445 edges, 45762 markings/sec, 220 secs
lola: 10141950 markings, 11672047 edges, 45137 markings/sec, 225 secs
lola: 10361538 markings, 11923766 edges, 43918 markings/sec, 230 secs
lola: 10572792 markings, 12163850 edges, 42251 markings/sec, 235 secs
lola: 10795008 markings, 12421300 edges, 44443 markings/sec, 240 secs
lola: 11014679 markings, 12671925 edges, 43934 markings/sec, 245 secs
lola: 11237360 markings, 12926032 edges, 44536 markings/sec, 250 secs
lola: 11468429 markings, 13195507 edges, 46214 markings/sec, 255 secs
lola: 11702076 markings, 13462692 edges, 46729 markings/sec, 260 secs
lola: 11926846 markings, 13726069 edges, 44954 markings/sec, 265 secs
lola: 12154760 markings, 13992180 edges, 45583 markings/sec, 270 secs
lola: 12379168 markings, 14249603 edges, 44882 markings/sec, 275 secs
lola: 12599451 markings, 14498712 edges, 44057 markings/sec, 280 secs
lola: 12814932 markings, 14751310 edges, 43096 markings/sec, 285 secs
lola: 13033571 markings, 14999526 edges, 43728 markings/sec, 290 secs
lola: 13252997 markings, 15248581 edges, 43885 markings/sec, 295 secs
lola: 13468489 markings, 15498491 edges, 43098 markings/sec, 300 secs
lola: 13683779 markings, 15740480 edges, 43058 markings/sec, 305 secs
lola: 13887812 markings, 15975688 edges, 40807 markings/sec, 310 secs
lola: 14106065 markings, 16227984 edges, 43651 markings/sec, 315 secs
lola: 14313438 markings, 16463921 edges, 41475 markings/sec, 320 secs
lola: 14522608 markings, 16700855 edges, 41834 markings/sec, 325 secs
lola: 14733170 markings, 16941753 edges, 42112 markings/sec, 330 secs
lola: 14941219 markings, 17184629 edges, 41610 markings/sec, 335 secs
lola: 15149633 markings, 17425796 edges, 41683 markings/sec, 340 secs
lola: 15356518 markings, 17661966 edges, 41377 markings/sec, 345 secs
lola: 15565648 markings, 17905322 edges, 41826 markings/sec, 350 secs
lola: 15772782 markings, 18159434 edges, 41427 markings/sec, 355 secs
lola: 15997609 markings, 18422008 edges, 44965 markings/sec, 360 secs
lola: 16220745 markings, 18685193 edges, 44627 markings/sec, 365 secs
lola: 16448212 markings, 18946222 edges, 45493 markings/sec, 370 secs
lola: 16671062 markings, 19200131 edges, 44570 markings/sec, 375 secs
lola: 16890777 markings, 19452094 edges, 43943 markings/sec, 380 secs
lola: 17106089 markings, 19698503 edges, 43062 markings/sec, 385 secs
lola: 17313225 markings, 19934963 edges, 41427 markings/sec, 390 secs
lola: 17527717 markings, 20181796 edges, 42898 markings/sec, 395 secs
lola: 17746392 markings, 20433444 edges, 43735 markings/sec, 400 secs
lola: 17959634 markings, 20681197 edges, 42648 markings/sec, 405 secs
lola: 18172223 markings, 20928242 edges, 42518 markings/sec, 410 secs
lola: 18387980 markings, 21173221 edges, 43151 markings/sec, 415 secs
lola: 18605227 markings, 21421185 edges, 43449 markings/sec, 420 secs
lola: 18822041 markings, 21668755 edges, 43363 markings/sec, 425 secs
lola: 19035690 markings, 21912651 edges, 42730 markings/sec, 430 secs
lola: 19241898 markings, 22148650 edges, 41242 markings/sec, 435 secs
lola: 19459908 markings, 22400153 edges, 43602 markings/sec, 440 secs
lola: 19674485 markings, 22647188 edges, 42915 markings/sec, 445 secs
lola: 19891380 markings, 22890530 edges, 43379 markings/sec, 450 secs
lola: 20107759 markings, 23138876 edges, 43276 markings/sec, 455 secs
lola: 20323892 markings, 23381241 edges, 43227 markings/sec, 460 secs
lola: 20528933 markings, 23619653 edges, 41008 markings/sec, 465 secs
lola: 20740687 markings, 23860993 edges, 42351 markings/sec, 470 secs
lola: 20949655 markings, 24096461 edges, 41794 markings/sec, 475 secs
lola: 21154981 markings, 24333855 edges, 41065 markings/sec, 480 secs
lola: 21354865 markings, 24561184 edges, 39977 markings/sec, 485 secs
lola: 21563322 markings, 24799682 edges, 41691 markings/sec, 490 secs
lola: 21766964 markings, 25038881 edges, 40728 markings/sec, 495 secs
lola: 21967963 markings, 25272669 edges, 40200 markings/sec, 500 secs
lola: 22172994 markings, 25515054 edges, 41006 markings/sec, 505 secs
lola: 22399441 markings, 25779164 edges, 45289 markings/sec, 510 secs
lola: 22626601 markings, 26039827 edges, 45432 markings/sec, 515 secs
lola: 22848435 markings, 26301386 edges, 44367 markings/sec, 520 secs
lola: 23072803 markings, 26559294 edges, 44874 markings/sec, 525 secs
lola: 23293337 markings, 26813960 edges, 44107 markings/sec, 530 secs
lola: 23514723 markings, 27062311 edges, 44277 markings/sec, 535 secs
lola: 23730608 markings, 27311827 edges, 43177 markings/sec, 540 secs
lola: 23940859 markings, 27552098 edges, 42050 markings/sec, 545 secs
lola: 24149822 markings, 27790119 edges, 41793 markings/sec, 550 secs
lola: 24367226 markings, 28041651 edges, 43481 markings/sec, 555 secs
lola: 24580211 markings, 28284648 edges, 42597 markings/sec, 560 secs
lola: 24792248 markings, 28531344 edges, 42407 markings/sec, 565 secs
lola: 25022068 markings, 28795397 edges, 45964 markings/sec, 570 secs
lola: 25245634 markings, 29052027 edges, 44713 markings/sec, 575 secs
lola: 25463825 markings, 29310069 edges, 43638 markings/sec, 580 secs
lola: 25683305 markings, 29561774 edges, 43896 markings/sec, 585 secs
lola: 25905699 markings, 29817722 edges, 44479 markings/sec, 590 secs
lola: 26122224 markings, 30064899 edges, 43305 markings/sec, 595 secs
lola: 26332146 markings, 30309125 edges, 41984 markings/sec, 600 secs
lola: 26543836 markings, 30549508 edges, 42338 markings/sec, 605 secs
lola: 26757401 markings, 30790323 edges, 42713 markings/sec, 610 secs
lola: 26966481 markings, 31031395 edges, 41816 markings/sec, 615 secs
lola: 27170470 markings, 31263534 edges, 40798 markings/sec, 620 secs
lola: 27369961 markings, 31492844 edges, 39898 markings/sec, 625 secs
lola: 27579500 markings, 31735728 edges, 41908 markings/sec, 630 secs
lola: 27781950 markings, 31966914 edges, 40490 markings/sec, 635 secs
lola: 27986785 markings, 32197210 edges, 40967 markings/sec, 640 secs
lola: 28191195 markings, 32432183 edges, 40882 markings/sec, 645 secs
lola: 28397170 markings, 32672089 edges, 41195 markings/sec, 650 secs
lola: 28603648 markings, 32912547 edges, 41296 markings/sec, 655 secs
lola: 28810775 markings, 33147499 edges, 41425 markings/sec, 660 secs
lola: 29020653 markings, 33391787 edges, 41976 markings/sec, 665 secs
lola: 29225273 markings, 33643111 edges, 40924 markings/sec, 670 secs
lola: 29431825 markings, 33883681 edges, 41310 markings/sec, 675 secs
lola: 29641403 markings, 34123500 edges, 41916 markings/sec, 680 secs
lola: 29853548 markings, 34364515 edges, 42429 markings/sec, 685 secs
lola: 30064032 markings, 34606316 edges, 42097 markings/sec, 690 secs
lola: 30273372 markings, 34844333 edges, 41868 markings/sec, 695 secs
lola: 30472883 markings, 35073661 edges, 39902 markings/sec, 700 secs
lola: 30684006 markings, 35317084 edges, 42225 markings/sec, 705 secs
lola: 30890800 markings, 35554305 edges, 41359 markings/sec, 710 secs
lola: 31100310 markings, 35789742 edges, 41902 markings/sec, 715 secs
lola: 31306984 markings, 36027162 edges, 41335 markings/sec, 720 secs
lola: 31524852 markings, 36278951 edges, 43574 markings/sec, 725 secs
lola: 31600897 markings, 36368535 edges, 15209 markings/sec, 730 secs
lola: 31602840 markings, 36372072 edges, 389 markings/sec, 735 secs
lola: 31603162 markings, 36372413 edges, 64 markings/sec, 740 secs
lola: 31603215 markings, 36372469 edges, 11 markings/sec, 745 secs
lola: 31604407 markings, 36373750 edges, 238 markings/sec, 750 secs
lola: 31604421 markings, 36373764 edges, 3 markings/sec, 755 secs
lola: 31604440 markings, 36373786 edges, 4 markings/sec, 760 secs
lola: 31604454 markings, 36373801 edges, 3 markings/sec, 765 secs
lola: 31604469 markings, 36373815 edges, 3 markings/sec, 770 secs
lola: 31604483 markings, 36373831 edges, 3 markings/sec, 775 secs
lola: 31604496 markings, 36373844 edges, 3 markings/sec, 780 secs
lola: 31604512 markings, 36373861 edges, 3 markings/sec, 785 secs
lola: 31604523 markings, 36373873 edges, 2 markings/sec, 790 secs
lola: Child process aborted or communication problem between parent and child process
terminate called after throwing an instance of 'std::runtime_error'
what(): parse error at position 0: unexpected character, last read: '
'
Aborted (core dumped)
FORMULA DLCround-PT-06b-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-1 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-6 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-7 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-06b-CTLFireability-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
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-06b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
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-06b.tgz
mv DLCround-PT-06b 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-full"
echo " Input is DLCround-PT-06b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r070-smll-152649742800053"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;