About the Execution of Irma.full for DLCround-PT-13b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14220.160 | 3584915.00 | 3625539.00 | 10997.50 | TFT??TTFTTTF???? | 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 2.3M
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K 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.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 106 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 344 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K 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 2.1M May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool irma4mcc-full
Input is DLCround-PT-13b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r066-smll-152649737200150
=====================================================================
--------------------
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-13b-CTLCardinality-00
FORMULA_NAME DLCround-PT-13b-CTLCardinality-01
FORMULA_NAME DLCround-PT-13b-CTLCardinality-02
FORMULA_NAME DLCround-PT-13b-CTLCardinality-03
FORMULA_NAME DLCround-PT-13b-CTLCardinality-04
FORMULA_NAME DLCround-PT-13b-CTLCardinality-05
FORMULA_NAME DLCround-PT-13b-CTLCardinality-06
FORMULA_NAME DLCround-PT-13b-CTLCardinality-07
FORMULA_NAME DLCround-PT-13b-CTLCardinality-08
FORMULA_NAME DLCround-PT-13b-CTLCardinality-09
FORMULA_NAME DLCround-PT-13b-CTLCardinality-10
FORMULA_NAME DLCround-PT-13b-CTLCardinality-11
FORMULA_NAME DLCround-PT-13b-CTLCardinality-12
FORMULA_NAME DLCround-PT-13b-CTLCardinality-13
FORMULA_NAME DLCround-PT-13b-CTLCardinality-14
FORMULA_NAME DLCround-PT-13b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526649330568
BK_STOP 1526652915483
--------------------
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-13b as instance name.
Using DLCround as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 2247220, 'Memory': 15949.27, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DLCround-PT-13b...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DLCround-PT-13b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DLCround-PT-13b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
CTLCardinality @ DLCround-PT-13b @ 3540 seconds
----- Start make result stdout -----
----- 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: 14070/65536 symbol table entries, 4277 collisions
lola: preprocessing...
lola: finding significant places
lola: 5343 places, 8727 transitions, 5031 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 12738 transition conflict sets
lola: TASK
lola: reading formula from DLCround-PT-13b-CTLCardinality.task
lola: E (G (A (F (((p2616 <= p298) AND (p3704 <= p2429)))))) : A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1))))) : NOT(A (F ((2 <= p252)))) : A (G (NOT(A (F ((3 <= p3371)))))) : ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256)))))) : NOT(A (X (A (F ((1 <= p2603)))))) : E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258)))))) : A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870))))) : A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446))))) : E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969)))) : NOT(NOT(A (G ((p3850 <= 1))))) : NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292)))) : (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232))))) : A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825))))) : E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59))))) : ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
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 (F (((p2616 <= p298) AND (p3704 <= p2429))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((p2616 <= p298) AND (p3704 <= p2429))))))
lola: processed formula length: 68
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 3004 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p2016 <= p1818) OR (1 <= p4500) OR ((2 <= p2422) AND (1 <= p2206))) AND ((p4423 <= 0) OR (p4626 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 73 markings, 72 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (F ((2 <= p252))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (2 <= p252)))
lola: processed formula length: 26
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 1502 markings, 1502 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (NOT(A (F ((3 <= p3371))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U A(TRUE U (3 <= p3371))))
lola: processed formula length: 37
lola: 7 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 92650 markings, 294026 edges, 3096156024340480000 markings/sec, 0 secs
lola: 186425 markings, 590606 edges, 18755 markings/sec, 5 secs
lola: 279941 markings, 888265 edges, 18703 markings/sec, 10 secs
lola: 372031 markings, 1181016 edges, 18418 markings/sec, 15 secs
lola: 464494 markings, 1476555 edges, 18493 markings/sec, 20 secs
lola: 558623 markings, 1775684 edges, 18826 markings/sec, 25 secs
lola: 652378 markings, 2073703 edges, 18751 markings/sec, 30 secs
lola: 745836 markings, 2371574 edges, 18692 markings/sec, 35 secs
lola: 839952 markings, 2672222 edges, 18823 markings/sec, 40 secs
lola: 935166 markings, 2975468 edges, 19043 markings/sec, 45 secs
lola: 1029868 markings, 3278239 edges, 18940 markings/sec, 50 secs
lola: 1123773 markings, 3580168 edges, 18781 markings/sec, 55 secs
lola: 1218117 markings, 3882252 edges, 18869 markings/sec, 60 secs
lola: 1311806 markings, 4184178 edges, 18738 markings/sec, 65 secs
lola: 1405549 markings, 4484177 edges, 18749 markings/sec, 70 secs
lola: 1499466 markings, 4785166 edges, 18783 markings/sec, 75 secs
lola: 1593170 markings, 5085662 edges, 18741 markings/sec, 80 secs
lola: 1687738 markings, 5387876 edges, 18914 markings/sec, 85 secs
lola: 1781860 markings, 5689487 edges, 18824 markings/sec, 90 secs
lola: 1875922 markings, 5991097 edges, 18812 markings/sec, 95 secs
lola: 1969241 markings, 6290572 edges, 18664 markings/sec, 100 secs
lola: 2061845 markings, 6589144 edges, 18521 markings/sec, 105 secs
lola: 2155184 markings, 6888793 edges, 18668 markings/sec, 110 secs
lola: 2248663 markings, 7189574 edges, 18696 markings/sec, 115 secs
lola: 2340896 markings, 7489798 edges, 18447 markings/sec, 120 secs
lola: 2433274 markings, 7790007 edges, 18476 markings/sec, 125 secs
lola: 2526134 markings, 8089661 edges, 18572 markings/sec, 130 secs
lola: 2620380 markings, 8390670 edges, 18849 markings/sec, 135 secs
lola: 2714522 markings, 8690993 edges, 18828 markings/sec, 140 secs
lola: 2808048 markings, 8991572 edges, 18705 markings/sec, 145 secs
lola: 2902126 markings, 9290237 edges, 18816 markings/sec, 150 secs
lola: 2995723 markings, 9587762 edges, 18719 markings/sec, 155 secs
lola: 3088741 markings, 9886393 edges, 18604 markings/sec, 160 secs
lola: 3181389 markings, 10184468 edges, 18530 markings/sec, 165 secs
lola: 3274707 markings, 10483185 edges, 18664 markings/sec, 170 secs
lola: 3367579 markings, 10780883 edges, 18574 markings/sec, 175 secs
lola: 3459167 markings, 11077574 edges, 18318 markings/sec, 180 secs
lola: 3552066 markings, 11376396 edges, 18580 markings/sec, 185 secs
lola: 3644293 markings, 11673479 edges, 18445 markings/sec, 190 secs
lola: 3736574 markings, 11969187 edges, 18456 markings/sec, 195 secs
lola: 3828748 markings, 12265860 edges, 18435 markings/sec, 200 secs
lola: 3921595 markings, 12564681 edges, 18569 markings/sec, 205 secs
lola: 4014423 markings, 12862620 edges, 18566 markings/sec, 210 secs
lola: 4107228 markings, 13162163 edges, 18561 markings/sec, 215 secs
lola: 4200649 markings, 13461831 edges, 18684 markings/sec, 220 secs
lola: 4294438 markings, 13762277 edges, 18758 markings/sec, 225 secs
lola: 4388380 markings, 14063791 edges, 18788 markings/sec, 230 secs
lola: 4482157 markings, 14365098 edges, 18755 markings/sec, 235 secs
lola: 4575666 markings, 14664318 edges, 18702 markings/sec, 240 secs
lola: 4667874 markings, 14962242 edges, 18442 markings/sec, 245 secs
lola: 4759096 markings, 15257962 edges, 18244 markings/sec, 250 secs
lola: 4852076 markings, 15555740 edges, 18596 markings/sec, 255 secs
lola: 4943681 markings, 15852134 edges, 18321 markings/sec, 260 secs
lola: 5035265 markings, 16150585 edges, 18317 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: ((((p2480 <= 0) AND (p2730 <= 2)) OR A (((3 <= p2314) U (p4618 <= p942)))) AND A (G (E (X ((p2328 <= p256))))))
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: ((p2480 <= 0) AND (p2730 <= 2))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((p2480 <= 0) AND (p2730 <= 2))
lola: processed formula length: 31
lola: 0 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (E (X ((p2328 <= p256)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(TRUE U NOT(EX((p2328 <= p256)))))
lola: processed formula length: 39
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 158930 markings, 200692 edges, 2011398055902838784 markings/sec, 0 secs
lola: 315517 markings, 400286 edges, 31317 markings/sec, 5 secs
lola: 471793 markings, 599557 edges, 31255 markings/sec, 10 secs
lola: 627072 markings, 800151 edges, 31056 markings/sec, 15 secs
lola: 782214 markings, 997795 edges, 31028 markings/sec, 20 secs
lola: 936710 markings, 1196851 edges, 30899 markings/sec, 25 secs
lola: 1091108 markings, 1394262 edges, 30880 markings/sec, 30 secs
lola: 1245526 markings, 1594506 edges, 30884 markings/sec, 35 secs
lola: 1400366 markings, 1792200 edges, 30968 markings/sec, 40 secs
lola: 1553638 markings, 1986378 edges, 30654 markings/sec, 45 secs
lola: 1707395 markings, 2180556 edges, 30751 markings/sec, 50 secs
lola: 1860901 markings, 2377043 edges, 30701 markings/sec, 55 secs
lola: 2014151 markings, 2575565 edges, 30650 markings/sec, 60 secs
lola: 2167632 markings, 2774815 edges, 30696 markings/sec, 65 secs
lola: 2321159 markings, 2973747 edges, 30705 markings/sec, 70 secs
lola: 2473762 markings, 3169007 edges, 30521 markings/sec, 75 secs
lola: 2626167 markings, 3363119 edges, 30481 markings/sec, 80 secs
lola: 2778181 markings, 3557629 edges, 30403 markings/sec, 85 secs
lola: 2929189 markings, 3750326 edges, 30202 markings/sec, 90 secs
lola: 3080178 markings, 3945842 edges, 30198 markings/sec, 95 secs
lola: 3231672 markings, 4141900 edges, 30299 markings/sec, 100 secs
lola: 3383870 markings, 4338746 edges, 30440 markings/sec, 105 secs
lola: 3534898 markings, 4533376 edges, 30206 markings/sec, 110 secs
lola: 3687114 markings, 4731787 edges, 30443 markings/sec, 115 secs
lola: 3838635 markings, 4927941 edges, 30304 markings/sec, 120 secs
lola: 3989880 markings, 5124602 edges, 30249 markings/sec, 125 secs
lola: 4143418 markings, 5320195 edges, 30708 markings/sec, 130 secs
lola: 4296459 markings, 5517802 edges, 30608 markings/sec, 135 secs
lola: 4445748 markings, 5713663 edges, 29858 markings/sec, 140 secs
lola: 4596880 markings, 5910845 edges, 30226 markings/sec, 145 secs
lola: 4749035 markings, 6109340 edges, 30431 markings/sec, 150 secs
lola: 4900408 markings, 6307011 edges, 30275 markings/sec, 155 secs
lola: 5052799 markings, 6503979 edges, 30478 markings/sec, 160 secs
lola: 5203805 markings, 6699129 edges, 30201 markings/sec, 165 secs
lola: 5354085 markings, 6893812 edges, 30056 markings/sec, 170 secs
lola: 5503332 markings, 7085744 edges, 29849 markings/sec, 175 secs
lola: 5655124 markings, 7282381 edges, 30358 markings/sec, 180 secs
lola: 5804829 markings, 7477764 edges, 29941 markings/sec, 185 secs
lola: 5955296 markings, 7673154 edges, 30093 markings/sec, 190 secs
lola: 6106035 markings, 7869204 edges, 30148 markings/sec, 195 secs
lola: 6255878 markings, 8066824 edges, 29969 markings/sec, 200 secs
lola: 6405876 markings, 8260934 edges, 30000 markings/sec, 205 secs
lola: 6558117 markings, 8458520 edges, 30448 markings/sec, 210 secs
lola: 6716653 markings, 8659818 edges, 31707 markings/sec, 215 secs
lola: 6873818 markings, 8858973 edges, 31433 markings/sec, 220 secs
lola: 7030067 markings, 9058952 edges, 31250 markings/sec, 225 secs
lola: 7185979 markings, 9259423 edges, 31182 markings/sec, 230 secs
lola: 7340582 markings, 9456971 edges, 30921 markings/sec, 235 secs
lola: 7495481 markings, 9655521 edges, 30980 markings/sec, 240 secs
lola: 7650442 markings, 9854065 edges, 30992 markings/sec, 245 secs
lola: 7804276 markings, 10051006 edges, 30767 markings/sec, 250 secs
lola: 7958292 markings, 10246037 edges, 30803 markings/sec, 255 secs
lola: 8111970 markings, 10443288 edges, 30736 markings/sec, 260 secs
lola: 8266373 markings, 10642340 edges, 30881 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (X (A (F ((1 <= p2603))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(NOT(A(TRUE U (1 <= p2603))))
lola: processed formula length: 31
lola: 8 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 161 markings, 161 edges
lola: ========================================
lola: subprocess 6 will run for 299 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((3 <= p4205) OR (p3773 <= 1) OR ((p2574 + 1 <= p1265) AND ((p4454 <= p1526) OR (2 <= p258))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p4205 <= 2) AND (2 <= p3773) AND ((p1265 <= p2574) OR ((p1526 + 1 <= p4454) AND (p258 <= 1))))))
lola: processed formula length: 112
lola: 2 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 917 markings, 917 edges
lola: ========================================
lola: subprocess 7 will run for 332 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((p3875 <= p506))) U A (G ((2 <= p2870)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((p3875 <= p506)) U NOT(E(TRUE U (p2870 <= 1))))
lola: processed formula length: 52
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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 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: 162 markings, 324 edges
lola: ========================================
lola: subprocess 8 will run for 374 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((2 <= p350))) U E (G ((p3745 <= p3446)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(NOT(E(TRUE U (p350 <= 1))) U NOT(A(TRUE U (p3446 + 1 <= p3745))))
lola: processed formula length: 67
lola: 5 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1502 markings, 1503 edges
lola: ========================================
lola: subprocess 9 will run for 427 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p1350 <= 2) AND (p4644 + 1 <= p2561)) OR (2 <= p1969))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-9.sara.
lola: sara is running 0 secs || 17928 markings, 20519 edges, 3586 markings/sec, 0 secs
lola: sara is running 5 secs || 36451 markings, 41609 edges, 3705 markings/sec, 5 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 10 secs || 55251 markings, 62865 edges, 3760 markings/sec, 10 secs
lola: sara is running 15 secs || 74026 markings, 84303 edges, 3755 markings/sec, 15 secs
lola: state equation: solution produced
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is reachable.
lola: ========================================
lola: subprocess 10 will run for 495 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G ((p3850 <= 1)))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DLCround-PT-13b-CTLCardinality-10.sara
lola: state equation: calling and running sara
sara: try reading problem file DLCround-PT-13b-CTLCardinality-10.sara.
lola: sara is running 0 secs || 41941 markings, 49275 edges, 8388 markings/sec, 0 secs
lola: sara is running 5 secs || 79504 markings, 93560 edges, 7513 markings/sec, 5 secs
lola: sara is running 10 secs || 116833 markings, 137495 edges, 7466 markings/sec, 10 secs
sara: place or transition ordering is non-deterministic
lola: sara is running 15 secs || 153963 markings, 181296 edges, 7426 markings/sec, 15 secs
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT((A (X ((p3553 + 1 <= p4638))) OR (E (G ((p2911 <= p2922))) OR (1 <= p292))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 590 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X ((p4638 <= p3553)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX((p4638 <= p3553))
lola: processed formula length: 20
lola: 10 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 0 significant temporal operators and needs 0 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p2922 + 1 <= p2911)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula: A (F ((p2922 + 1 <= p2911)))
lola: processed formula length: 28
lola: 9 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 24 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: 1455 markings, 1455 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (NOT(E (((p2215 <= p0) U (3 <= p425)))) AND A (X (((p2971 <= p1142) OR (p3344 + 1 <= p2232)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 12 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula: A (((p0 + 1 <= p2215) R (p425 <= 2)))
lola: processed formula length: 37
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 23 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 59500 markings, 68683 edges, 11900 markings/sec, 0 secs
lola: 120201 markings, 138737 edges, 12140 markings/sec, 5 secs
lola: 176624 markings, 203680 edges, 11285 markings/sec, 10 secs
lola: 238116 markings, 274896 edges, 12298 markings/sec, 15 secs
lola: 299120 markings, 345462 edges, 12201 markings/sec, 20 secs
lola: 364861 markings, 421628 edges, 13148 markings/sec, 25 secs
lola: 426497 markings, 492719 edges, 12327 markings/sec, 30 secs
lola: 479511 markings, 553072 edges, 10603 markings/sec, 35 secs
lola: 535255 markings, 617037 edges, 11149 markings/sec, 40 secs
lola: 590718 markings, 680821 edges, 11093 markings/sec, 45 secs
lola: 648031 markings, 746767 edges, 11463 markings/sec, 50 secs
lola: 703120 markings, 809890 edges, 11018 markings/sec, 55 secs
lola: 761418 markings, 876690 edges, 11660 markings/sec, 60 secs
lola: 818316 markings, 942308 edges, 11380 markings/sec, 65 secs
lola: 893705 markings, 1032630 edges, 15078 markings/sec, 70 secs
lola: 960801 markings, 1111649 edges, 13419 markings/sec, 75 secs
lola: 1019438 markings, 1179102 edges, 11727 markings/sec, 80 secs
lola: 1080045 markings, 1249204 edges, 12121 markings/sec, 85 secs
lola: 1142453 markings, 1321031 edges, 12482 markings/sec, 90 secs
lola: 1195720 markings, 1382025 edges, 10653 markings/sec, 95 secs
lola: 1251122 markings, 1445572 edges, 11080 markings/sec, 100 secs
lola: 1311959 markings, 1515639 edges, 12167 markings/sec, 105 secs
lola: 1370498 markings, 1582877 edges, 11708 markings/sec, 110 secs
lola: 1430370 markings, 1651990 edges, 11974 markings/sec, 115 secs
lola: 1486245 markings, 1716346 edges, 11175 markings/sec, 120 secs
lola: 1548909 markings, 1788707 edges, 12533 markings/sec, 125 secs
lola: 1609194 markings, 1858087 edges, 12057 markings/sec, 130 secs
lola: 1667337 markings, 1925007 edges, 11629 markings/sec, 135 secs
lola: 1734643 markings, 2004331 edges, 13461 markings/sec, 140 secs
lola: 1798321 markings, 2078720 edges, 12736 markings/sec, 145 secs
lola: 1853488 markings, 2142229 edges, 11033 markings/sec, 150 secs
lola: 1912150 markings, 2209631 edges, 11732 markings/sec, 155 secs
lola: 1972530 markings, 2279120 edges, 12076 markings/sec, 160 secs
lola: 2032262 markings, 2347841 edges, 11946 markings/sec, 165 secs
lola: 2091731 markings, 2416293 edges, 11894 markings/sec, 170 secs
lola: 2151685 markings, 2485085 edges, 11991 markings/sec, 175 secs
lola: 2209043 markings, 2551101 edges, 11472 markings/sec, 180 secs
lola: 2268056 markings, 2619044 edges, 11803 markings/sec, 185 secs
lola: 2328536 markings, 2688902 edges, 12096 markings/sec, 190 secs
lola: 2389536 markings, 2759120 edges, 12200 markings/sec, 195 secs
lola: 2450535 markings, 2829634 edges, 12200 markings/sec, 200 secs
lola: 2509185 markings, 2897444 edges, 11730 markings/sec, 205 secs
lola: 2571625 markings, 2969561 edges, 12488 markings/sec, 210 secs
lola: 2629078 markings, 3035721 edges, 11491 markings/sec, 215 secs
lola: 2685848 markings, 3101167 edges, 11354 markings/sec, 220 secs
lola: 2746072 markings, 3170869 edges, 12045 markings/sec, 225 secs
lola: 2804703 markings, 3238628 edges, 11726 markings/sec, 230 secs
lola: 2865170 markings, 3308553 edges, 12093 markings/sec, 235 secs
lola: 2927483 markings, 3380681 edges, 12463 markings/sec, 240 secs
lola: 2988516 markings, 3451500 edges, 12207 markings/sec, 245 secs
lola: 3051339 markings, 3523975 edges, 12565 markings/sec, 250 secs
lola: 3112487 markings, 3594638 edges, 12230 markings/sec, 255 secs
lola: 3175557 markings, 3667460 edges, 12614 markings/sec, 260 secs
lola: 3236894 markings, 3738236 edges, 12267 markings/sec, 265 secs
lola: 3299150 markings, 3810069 edges, 12451 markings/sec, 270 secs
lola: 3360768 markings, 3881305 edges, 12324 markings/sec, 275 secs
lola: 3424066 markings, 3954631 edges, 12660 markings/sec, 280 secs
lola: 3486882 markings, 4027104 edges, 12563 markings/sec, 285 secs
lola: 3549521 markings, 4099379 edges, 12528 markings/sec, 290 secs
lola: 3611777 markings, 4171379 edges, 12451 markings/sec, 295 secs
lola: 3670241 markings, 4238936 edges, 11693 markings/sec, 300 secs
lola: 3731843 markings, 4310071 edges, 12320 markings/sec, 305 secs
lola: 3794770 markings, 4382898 edges, 12585 markings/sec, 310 secs
lola: 3855231 markings, 4452699 edges, 12092 markings/sec, 315 secs
lola: 3917044 markings, 4524373 edges, 12363 markings/sec, 320 secs
lola: 3979695 markings, 4596917 edges, 12530 markings/sec, 325 secs
lola: 4045124 markings, 4672449 edges, 13086 markings/sec, 330 secs
lola: 4110988 markings, 4748790 edges, 13173 markings/sec, 335 secs
lola: 4170654 markings, 4817661 edges, 11933 markings/sec, 340 secs
lola: 4235989 markings, 4893338 edges, 13067 markings/sec, 345 secs
lola: 4294577 markings, 4961057 edges, 11718 markings/sec, 350 secs
lola: 4358444 markings, 5035037 edges, 12773 markings/sec, 355 secs
lola: 4420905 markings, 5107298 edges, 12492 markings/sec, 360 secs
lola: 4484851 markings, 5181330 edges, 12789 markings/sec, 365 secs
lola: 4548091 markings, 5254553 edges, 12648 markings/sec, 370 secs
lola: 4612329 markings, 5328818 edges, 12848 markings/sec, 375 secs
lola: 4675738 markings, 5402444 edges, 12682 markings/sec, 380 secs
lola: 4741391 markings, 5478806 edges, 13131 markings/sec, 385 secs
lola: 4802742 markings, 5549716 edges, 12270 markings/sec, 390 secs
lola: 4866187 markings, 5622853 edges, 12689 markings/sec, 395 secs
lola: 4930644 markings, 5697531 edges, 12891 markings/sec, 400 secs
lola: 4993919 markings, 5770686 edges, 12655 markings/sec, 405 secs
lola: 5055167 markings, 5841395 edges, 12250 markings/sec, 410 secs
lola: 5116911 markings, 5912496 edges, 12349 markings/sec, 415 secs
lola: 5179000 markings, 5983966 edges, 12418 markings/sec, 420 secs
lola: 5236606 markings, 6050423 edges, 11521 markings/sec, 425 secs
lola: 5296631 markings, 6119956 edges, 12005 markings/sec, 430 secs
lola: 5362020 markings, 6195678 edges, 13078 markings/sec, 435 secs
lola: 5425378 markings, 6269065 edges, 12672 markings/sec, 440 secs
lola: 5487451 markings, 6340914 edges, 12415 markings/sec, 445 secs
lola: 5551925 markings, 6415732 edges, 12895 markings/sec, 450 secs
lola: 5616093 markings, 6490233 edges, 12834 markings/sec, 455 secs
lola: 5680299 markings, 6564879 edges, 12841 markings/sec, 460 secs
lola: 5746364 markings, 6641599 edges, 13213 markings/sec, 465 secs
lola: 5808798 markings, 6713899 edges, 12487 markings/sec, 470 secs
lola: 5872804 markings, 6787914 edges, 12801 markings/sec, 475 secs
lola: 5936715 markings, 6861736 edges, 12782 markings/sec, 480 secs
lola: 5996484 markings, 6930721 edges, 11954 markings/sec, 485 secs
lola: 6057086 markings, 7000626 edges, 12120 markings/sec, 490 secs
lola: 6121439 markings, 7075251 edges, 12871 markings/sec, 495 secs
lola: 6187524 markings, 7151804 edges, 13217 markings/sec, 500 secs
lola: 6252685 markings, 7227661 edges, 13032 markings/sec, 505 secs
lola: 6322080 markings, 7309201 edges, 13879 markings/sec, 510 secs
lola: 6390160 markings, 7389320 edges, 13616 markings/sec, 515 secs
lola: 6451890 markings, 7460819 edges, 12346 markings/sec, 520 secs
lola: 6511639 markings, 7529789 edges, 11950 markings/sec, 525 secs
lola: 6569884 markings, 7597228 edges, 11649 markings/sec, 530 secs
lola: 6631840 markings, 7668949 edges, 12391 markings/sec, 535 secs
lola: 6693601 markings, 7740272 edges, 12352 markings/sec, 540 secs
lola: 6758266 markings, 7815096 edges, 12933 markings/sec, 545 secs
lola: 6823488 markings, 7890780 edges, 13044 markings/sec, 550 secs
lola: 6883705 markings, 7960752 edges, 12043 markings/sec, 555 secs
lola: 6944499 markings, 8031178 edges, 12159 markings/sec, 560 secs
lola: 7011480 markings, 8109062 edges, 13396 markings/sec, 565 secs
lola: 7075499 markings, 8183273 edges, 12804 markings/sec, 570 secs
lola: 7139468 markings, 8257800 edges, 12794 markings/sec, 575 secs
lola: 7205691 markings, 8334648 edges, 13245 markings/sec, 580 secs
lola: 7270766 markings, 8410040 edges, 13015 markings/sec, 585 secs
lola: 7330579 markings, 8479255 edges, 11963 markings/sec, 590 secs
lola: 7398883 markings, 8559072 edges, 13661 markings/sec, 595 secs
lola: 7460029 markings, 8629928 edges, 12229 markings/sec, 600 secs
lola: 7525759 markings, 8706415 edges, 13146 markings/sec, 605 secs
lola: 7588057 markings, 8778270 edges, 12460 markings/sec, 610 secs
lola: 7653735 markings, 8854528 edges, 13136 markings/sec, 615 secs
lola: 7717319 markings, 8928298 edges, 12717 markings/sec, 620 secs
lola: 7780693 markings, 9001812 edges, 12675 markings/sec, 625 secs
lola: 7836941 markings, 9066728 edges, 11250 markings/sec, 630 secs
lola: 7896346 markings, 9135762 edges, 11881 markings/sec, 635 secs
lola: 7958045 markings, 9207508 edges, 12340 markings/sec, 640 secs
lola: 8021484 markings, 9281146 edges, 12688 markings/sec, 645 secs
lola: 8086010 markings, 9355759 edges, 12905 markings/sec, 650 secs
lola: 8147312 markings, 9426726 edges, 12260 markings/sec, 655 secs
lola: 8198444 markings, 9485562 edges, 10226 markings/sec, 660 secs
lola: 8255200 markings, 9551131 edges, 11351 markings/sec, 665 secs
lola: 8318966 markings, 9624933 edges, 12753 markings/sec, 670 secs
lola: 8382145 markings, 9698142 edges, 12636 markings/sec, 675 secs
lola: 8445797 markings, 9771856 edges, 12730 markings/sec, 680 secs
lola: 8514032 markings, 9851903 edges, 13647 markings/sec, 685 secs
lola: 8576423 markings, 9924450 edges, 12478 markings/sec, 690 secs
lola: 8637063 markings, 9994635 edges, 12128 markings/sec, 695 secs
lola: 8701055 markings, 10069280 edges, 12798 markings/sec, 700 secs
lola: 8763380 markings, 10141518 edges, 12465 markings/sec, 705 secs
lola: 8824670 markings, 10212117 edges, 12258 markings/sec, 710 secs
lola: 8887966 markings, 10285476 edges, 12659 markings/sec, 715 secs
lola: 8947066 markings, 10353872 edges, 11820 markings/sec, 720 secs
lola: 9011493 markings, 10428993 edges, 12885 markings/sec, 725 secs
lola: 9076822 markings, 10504869 edges, 13066 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: caught signal User defined signal 1 - aborting LoLA
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((E (X ((3 <= p3375))) U A (G ((p3575 <= p4825)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(EX((3 <= p3375)) U NOT(E(TRUE U (p4825 + 1 <= p3575))))
lola: processed formula length: 57
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 202696 markings, 256449 edges, 3689330178019819520 markings/sec, 0 secs
lola: 391301 markings, 496078 edges, 37721 markings/sec, 5 secs
lola: 595821 markings, 759432 edges, 40904 markings/sec, 10 secs
lola: 799279 markings, 1019624 edges, 40692 markings/sec, 15 secs
lola: 1001741 markings, 1280117 edges, 40492 markings/sec, 20 secs
lola: 1202498 markings, 1538949 edges, 40151 markings/sec, 25 secs
lola: 1404856 markings, 1797818 edges, 40472 markings/sec, 30 secs
lola: 1604632 markings, 2050858 edges, 39955 markings/sec, 35 secs
lola: 1803259 markings, 2303065 edges, 39725 markings/sec, 40 secs
lola: 2003952 markings, 2561828 edges, 40139 markings/sec, 45 secs
lola: 2204308 markings, 2821493 edges, 40071 markings/sec, 50 secs
lola: 2400970 markings, 3075933 edges, 39332 markings/sec, 55 secs
lola: 2600146 markings, 3330439 edges, 39835 markings/sec, 60 secs
lola: 2797350 markings, 3581868 edges, 39441 markings/sec, 65 secs
lola: 2992129 markings, 3831570 edges, 38956 markings/sec, 70 secs
lola: 3188502 markings, 4086268 edges, 39275 markings/sec, 75 secs
lola: 3385699 markings, 4341098 edges, 39439 markings/sec, 80 secs
lola: 3581962 markings, 4595277 edges, 39253 markings/sec, 85 secs
lola: 3778559 markings, 4850825 edges, 39319 markings/sec, 90 secs
lola: 3975179 markings, 5105234 edges, 39324 markings/sec, 95 secs
lola: 4175225 markings, 5360889 edges, 40009 markings/sec, 100 secs
lola: 4371113 markings, 5614467 edges, 39178 markings/sec, 105 secs
lola: 4564215 markings, 5868895 edges, 38620 markings/sec, 110 secs
lola: 4761159 markings, 6125470 edges, 39389 markings/sec, 115 secs
lola: 4958377 markings, 6382737 edges, 39444 markings/sec, 120 secs
lola: 5153486 markings, 6635055 edges, 39022 markings/sec, 125 secs
lola: 5348981 markings, 6887357 edges, 39099 markings/sec, 130 secs
lola: 5543672 markings, 7136789 edges, 38938 markings/sec, 135 secs
lola: 5738302 markings, 7391565 edges, 38926 markings/sec, 140 secs
lola: 5931365 markings, 7642451 edges, 38613 markings/sec, 145 secs
lola: 6120164 markings, 7888615 edges, 37760 markings/sec, 150 secs
lola: 6309351 markings, 8135649 edges, 37837 markings/sec, 155 secs
lola: 6500418 markings, 8383649 edges, 38213 markings/sec, 160 secs
lola: 6705252 markings, 8645328 edges, 40967 markings/sec, 165 secs
lola: 6911118 markings, 8905976 edges, 41173 markings/sec, 170 secs
lola: 7114107 markings, 9166954 edges, 40598 markings/sec, 175 secs
lola: 7315523 markings, 9425174 edges, 40283 markings/sec, 180 secs
lola: 7517187 markings, 9682798 edges, 40333 markings/sec, 185 secs
lola: 7718912 markings, 9942183 edges, 40345 markings/sec, 190 secs
lola: 7919647 markings, 10197234 edges, 40147 markings/sec, 195 secs
lola: 8119657 markings, 10453256 edges, 40002 markings/sec, 200 secs
lola: 8320237 markings, 10711836 edges, 40116 markings/sec, 205 secs
lola: 8519755 markings, 10970121 edges, 39904 markings/sec, 210 secs
lola: 8719371 markings, 11223016 edges, 39923 markings/sec, 215 secs
lola: 8918599 markings, 11480425 edges, 39846 markings/sec, 220 secs
lola: 9116743 markings, 11735045 edges, 39629 markings/sec, 225 secs
lola: 9315462 markings, 11988440 edges, 39744 markings/sec, 230 secs
lola: 9513421 markings, 12243037 edges, 39592 markings/sec, 235 secs
lola: 9712150 markings, 12498299 edges, 39746 markings/sec, 240 secs
lola: 9909061 markings, 12751339 edges, 39382 markings/sec, 245 secs
lola: 10108007 markings, 13009689 edges, 39789 markings/sec, 250 secs
lola: 10307246 markings, 13266595 edges, 39848 markings/sec, 255 secs
lola: 10495813 markings, 13508713 edges, 37713 markings/sec, 260 secs
lola: 10691117 markings, 13760776 edges, 39061 markings/sec, 265 secs
lola: 10886300 markings, 14014257 edges, 39037 markings/sec, 270 secs
lola: 11080810 markings, 14268313 edges, 38902 markings/sec, 275 secs
lola: 11275280 markings, 14523232 edges, 38894 markings/sec, 280 secs
lola: 11469731 markings, 14775788 edges, 38890 markings/sec, 285 secs
lola: 11663938 markings, 15025776 edges, 38841 markings/sec, 290 secs
lola: 11855430 markings, 15273543 edges, 38298 markings/sec, 295 secs
lola: 12049546 markings, 15523757 edges, 38823 markings/sec, 300 secs
lola: 12243681 markings, 15775715 edges, 38827 markings/sec, 305 secs
lola: 12435783 markings, 16023811 edges, 38420 markings/sec, 310 secs
lola: 12627198 markings, 16273632 edges, 38283 markings/sec, 315 secs
lola: 12817965 markings, 16522506 edges, 38153 markings/sec, 320 secs
lola: 13009033 markings, 16770507 edges, 38214 markings/sec, 325 secs
lola: 13202403 markings, 17022044 edges, 38674 markings/sec, 330 secs
lola: 13393992 markings, 17274213 edges, 38318 markings/sec, 335 secs
lola: 13587415 markings, 17524885 edges, 38685 markings/sec, 340 secs
lola: 13787288 markings, 17781937 edges, 39975 markings/sec, 345 secs
lola: 13987007 markings, 18039722 edges, 39944 markings/sec, 350 secs
lola: 14186070 markings, 18292253 edges, 39813 markings/sec, 355 secs
lola: 14384127 markings, 18547194 edges, 39611 markings/sec, 360 secs
lola: 14583477 markings, 18803333 edges, 39870 markings/sec, 365 secs
lola: 14779115 markings, 19060294 edges, 39128 markings/sec, 370 secs
lola: 14976217 markings, 19312847 edges, 39420 markings/sec, 375 secs
lola: 15172984 markings, 19567100 edges, 39353 markings/sec, 380 secs
lola: 15368617 markings, 19821125 edges, 39127 markings/sec, 385 secs
lola: 15564875 markings, 20077338 edges, 39252 markings/sec, 390 secs
lola: 15763416 markings, 20329508 edges, 39708 markings/sec, 395 secs
lola: 15961434 markings, 20580877 edges, 39604 markings/sec, 400 secs
lola: 16158939 markings, 20833103 edges, 39501 markings/sec, 405 secs
lola: 16358462 markings, 21087940 edges, 39905 markings/sec, 410 secs
lola: 16556461 markings, 21343829 edges, 39600 markings/sec, 415 secs
lola: 16753664 markings, 21595708 edges, 39441 markings/sec, 420 secs
lola: 16956830 markings, 21855114 edges, 40633 markings/sec, 425 secs
lola: 17164552 markings, 22117604 edges, 41544 markings/sec, 430 secs
lola: 17368623 markings, 22378755 edges, 40814 markings/sec, 435 secs
lola: 17571371 markings, 22639560 edges, 40550 markings/sec, 440 secs
lola: 17772973 markings, 22897578 edges, 40320 markings/sec, 445 secs
lola: 17975747 markings, 23156560 edges, 40555 markings/sec, 450 secs
lola: 18177118 markings, 23413712 edges, 40274 markings/sec, 455 secs
lola: 18378202 markings, 23668407 edges, 40217 markings/sec, 460 secs
lola: 18578278 markings, 23925154 edges, 40015 markings/sec, 465 secs
lola: 18780237 markings, 24183668 edges, 40392 markings/sec, 470 secs
lola: 18980442 markings, 24441284 edges, 40041 markings/sec, 475 secs
lola: 19180067 markings, 24698571 edges, 39925 markings/sec, 480 secs
lola: 19380140 markings, 24955500 edges, 40015 markings/sec, 485 secs
lola: 19579270 markings, 25210304 edges, 39826 markings/sec, 490 secs
lola: 19776703 markings, 25467279 edges, 39487 markings/sec, 495 secs
lola: 19975595 markings, 25723851 edges, 39778 markings/sec, 500 secs
lola: 20173550 markings, 25979377 edges, 39591 markings/sec, 505 secs
lola: 20370569 markings, 26234568 edges, 39404 markings/sec, 510 secs
lola: 20570166 markings, 26490443 edges, 39919 markings/sec, 515 secs
lola: 20768381 markings, 26744212 edges, 39643 markings/sec, 520 secs
lola: 20968122 markings, 27002256 edges, 39948 markings/sec, 525 secs
lola: 21165431 markings, 27256530 edges, 39462 markings/sec, 530 secs
lola: 21361516 markings, 27508758 edges, 39217 markings/sec, 535 secs
lola: 21556959 markings, 27765638 edges, 39089 markings/sec, 540 secs
lola: 21752861 markings, 28021706 edges, 39180 markings/sec, 545 secs
lola: 21948929 markings, 28277260 edges, 39214 markings/sec, 550 secs
lola: 22144761 markings, 28532263 edges, 39166 markings/sec, 555 secs
lola: 22341266 markings, 28787828 edges, 39301 markings/sec, 560 secs
lola: 22542496 markings, 29045641 edges, 40246 markings/sec, 565 secs
lola: 22744646 markings, 29304657 edges, 40430 markings/sec, 570 secs
lola: 22946971 markings, 29564254 edges, 40465 markings/sec, 575 secs
lola: 23147275 markings, 29824545 edges, 40061 markings/sec, 580 secs
lola: 23346202 markings, 30083353 edges, 39785 markings/sec, 585 secs
lola: 23545677 markings, 30339339 edges, 39895 markings/sec, 590 secs
lola: 23743739 markings, 30593451 edges, 39612 markings/sec, 595 secs
lola: 23942983 markings, 30849975 edges, 39849 markings/sec, 600 secs
lola: 24140146 markings, 31105810 edges, 39433 markings/sec, 605 secs
lola: 24339173 markings, 31357984 edges, 39805 markings/sec, 610 secs
lola: 24536729 markings, 31613034 edges, 39511 markings/sec, 615 secs
lola: 24733438 markings, 31864583 edges, 39342 markings/sec, 620 secs
lola: 24929919 markings, 32116585 edges, 39296 markings/sec, 625 secs
lola: 25127687 markings, 32368635 edges, 39554 markings/sec, 630 secs
lola: 25324534 markings, 32619710 edges, 39369 markings/sec, 635 secs
lola: 25521755 markings, 32872973 edges, 39444 markings/sec, 640 secs
lola: 25718629 markings, 33129520 edges, 39375 markings/sec, 645 secs
lola: 25912783 markings, 33383448 edges, 38831 markings/sec, 650 secs
lola: 26108769 markings, 33635110 edges, 39197 markings/sec, 655 secs
lola: 26305826 markings, 33888347 edges, 39411 markings/sec, 660 secs
lola: 26502310 markings, 34141676 edges, 39297 markings/sec, 665 secs
lola: 26698331 markings, 34395712 edges, 39204 markings/sec, 670 secs
lola: 26898821 markings, 34651576 edges, 40098 markings/sec, 675 secs
lola: 27094864 markings, 34903550 edges, 39209 markings/sec, 680 secs
lola: 27290707 markings, 35155009 edges, 39169 markings/sec, 685 secs
lola: 27485141 markings, 35407212 edges, 38887 markings/sec, 690 secs
lola: 27680695 markings, 35660635 edges, 39111 markings/sec, 695 secs
lola: 27875279 markings, 35912217 edges, 38917 markings/sec, 700 secs
lola: 28072440 markings, 36167785 edges, 39432 markings/sec, 705 secs
lola: 28268929 markings, 36421935 edges, 39298 markings/sec, 710 secs
lola: 28464702 markings, 36672289 edges, 39155 markings/sec, 715 secs
lola: 28658792 markings, 36922776 edges, 38818 markings/sec, 720 secs
lola: 28854386 markings, 37176468 edges, 39119 markings/sec, 725 secs
lola: 29048816 markings, 37428934 edges, 38886 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 738 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((p3244 <= p209))) U A (G ((p991 <= p59)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(E(TRUE U (p3244 <= p209)) U NOT(E(TRUE U (p59 + 1 <= p991))))
lola: processed formula length: 63
lola: 4 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 230085 markings, 269564 edges, 3689330178019819520 markings/sec, 0 secs
lola: 455795 markings, 537021 edges, 45142 markings/sec, 5 secs
lola: 684468 markings, 806978 edges, 45735 markings/sec, 10 secs
lola: 912253 markings, 1078445 edges, 45557 markings/sec, 15 secs
lola: 1139534 markings, 1351934 edges, 45456 markings/sec, 20 secs
lola: 1366526 markings, 1626989 edges, 45398 markings/sec, 25 secs
lola: 1593597 markings, 1899846 edges, 45414 markings/sec, 30 secs
lola: 1822608 markings, 2174975 edges, 45802 markings/sec, 35 secs
lola: 2046751 markings, 2447004 edges, 44829 markings/sec, 40 secs
lola: 2271161 markings, 2720116 edges, 44882 markings/sec, 45 secs
lola: 2489917 markings, 2993334 edges, 43751 markings/sec, 50 secs
lola: 2717568 markings, 3265717 edges, 45530 markings/sec, 55 secs
lola: 2945530 markings, 3537172 edges, 45592 markings/sec, 60 secs
lola: 3168059 markings, 3805580 edges, 44506 markings/sec, 65 secs
lola: 3390389 markings, 4073735 edges, 44466 markings/sec, 70 secs
lola: 3609064 markings, 4342524 edges, 43735 markings/sec, 75 secs
lola: 3828470 markings, 4607987 edges, 43881 markings/sec, 80 secs
lola: 4048773 markings, 4876422 edges, 44061 markings/sec, 85 secs
lola: 4272496 markings, 5146834 edges, 44745 markings/sec, 90 secs
lola: 4496503 markings, 5418100 edges, 44801 markings/sec, 95 secs
lola: 4717821 markings, 5687867 edges, 44264 markings/sec, 100 secs
lola: 4937116 markings, 5956505 edges, 43859 markings/sec, 105 secs
lola: 5152605 markings, 6226935 edges, 43098 markings/sec, 110 secs
lola: 5368878 markings, 6496119 edges, 43255 markings/sec, 115 secs
lola: 5582867 markings, 6764070 edges, 42798 markings/sec, 120 secs
lola: 5795563 markings, 7031177 edges, 42539 markings/sec, 125 secs
lola: 6011093 markings, 7300531 edges, 43106 markings/sec, 130 secs
lola: 6230363 markings, 7569310 edges, 43854 markings/sec, 135 secs
lola: 6445336 markings, 7839853 edges, 42995 markings/sec, 140 secs
lola: 6660063 markings, 8107968 edges, 42945 markings/sec, 145 secs
lola: 6872735 markings, 8374023 edges, 42534 markings/sec, 150 secs
lola: 7084046 markings, 8642002 edges, 42262 markings/sec, 155 secs
lola: 7297661 markings, 8911392 edges, 42723 markings/sec, 160 secs
lola: 7516914 markings, 9180637 edges, 43851 markings/sec, 165 secs
lola: 7731106 markings, 9446830 edges, 42838 markings/sec, 170 secs
lola: 7944612 markings, 9713406 edges, 42701 markings/sec, 175 secs
lola: 8159187 markings, 9982562 edges, 42915 markings/sec, 180 secs
lola: 8370650 markings, 10250241 edges, 42293 markings/sec, 185 secs
lola: 8582042 markings, 10516120 edges, 42278 markings/sec, 190 secs
lola: 8794443 markings, 10783139 edges, 42480 markings/sec, 195 secs
lola: 9006345 markings, 11050189 edges, 42380 markings/sec, 200 secs
lola: 9218290 markings, 11316807 edges, 42389 markings/sec, 205 secs
lola: 9431157 markings, 11584165 edges, 42573 markings/sec, 210 secs
lola: 9647086 markings, 11852913 edges, 43186 markings/sec, 215 secs
lola: 9858007 markings, 12120175 edges, 42184 markings/sec, 220 secs
lola: 10077613 markings, 12388855 edges, 43921 markings/sec, 225 secs
lola: 10285013 markings, 12653306 edges, 41480 markings/sec, 230 secs
lola: 10496432 markings, 12917221 edges, 42284 markings/sec, 235 secs
lola: 10710641 markings, 13184520 edges, 42842 markings/sec, 240 secs
lola: 10941060 markings, 13456240 edges, 46084 markings/sec, 245 secs
lola: 11149021 markings, 13722042 edges, 41592 markings/sec, 250 secs
lola: 11359344 markings, 13987826 edges, 42065 markings/sec, 255 secs
lola: 11568490 markings, 14253452 edges, 41829 markings/sec, 260 secs
lola: 11775232 markings, 14517319 edges, 41348 markings/sec, 265 secs
lola: 11983124 markings, 14782369 edges, 41578 markings/sec, 270 secs
lola: 12200490 markings, 15046289 edges, 43473 markings/sec, 275 secs
lola: 12410299 markings, 15309166 edges, 41962 markings/sec, 280 secs
lola: 12624386 markings, 15572909 edges, 42817 markings/sec, 285 secs
lola: 12840270 markings, 15837502 edges, 43177 markings/sec, 290 secs
lola: 13053568 markings, 16100068 edges, 42660 markings/sec, 295 secs
lola: 13279549 markings, 16370717 edges, 45196 markings/sec, 300 secs
lola: 13494400 markings, 16633282 edges, 42970 markings/sec, 305 secs
lola: 13706120 markings, 16896564 edges, 42344 markings/sec, 310 secs
lola: 13915502 markings, 17158299 edges, 41876 markings/sec, 315 secs
lola: 14127073 markings, 17419456 edges, 42314 markings/sec, 320 secs
lola: 14335864 markings, 17681255 edges, 41758 markings/sec, 325 secs
lola: 14552291 markings, 17947710 edges, 43285 markings/sec, 330 secs
lola: 14762454 markings, 18208824 edges, 42033 markings/sec, 335 secs
lola: 14983356 markings, 18476505 edges, 44180 markings/sec, 340 secs
lola: 15211807 markings, 18751653 edges, 45690 markings/sec, 345 secs
lola: 15431730 markings, 19019803 edges, 43985 markings/sec, 350 secs
lola: 15650628 markings, 19286857 edges, 43780 markings/sec, 355 secs
lola: 15877547 markings, 19556521 edges, 45384 markings/sec, 360 secs
lola: 16101530 markings, 19826780 edges, 44797 markings/sec, 365 secs
lola: 16323223 markings, 20096676 edges, 44339 markings/sec, 370 secs
lola: 16540732 markings, 20365567 edges, 43502 markings/sec, 375 secs
lola: 16760963 markings, 20633111 edges, 44046 markings/sec, 380 secs
lola: 16975566 markings, 20890280 edges, 42921 markings/sec, 385 secs
lola: 17189939 markings, 21151468 edges, 42875 markings/sec, 390 secs
lola: 17403690 markings, 21410213 edges, 42750 markings/sec, 395 secs
lola: 17619952 markings, 21669144 edges, 43252 markings/sec, 400 secs
lola: 17834605 markings, 21930110 edges, 42931 markings/sec, 405 secs
lola: 18047301 markings, 22190170 edges, 42539 markings/sec, 410 secs
lola: 18258637 markings, 22446658 edges, 42267 markings/sec, 415 secs
lola: 18467053 markings, 22707289 edges, 41683 markings/sec, 420 secs
lola: 18677351 markings, 22969168 edges, 42060 markings/sec, 425 secs
lola: 18884528 markings, 23227615 edges, 41435 markings/sec, 430 secs
lola: 19092947 markings, 23486700 edges, 41684 markings/sec, 435 secs
lola: 19288318 markings, 23729786 edges, 39074 markings/sec, 440 secs
lola: 19462463 markings, 23947139 edges, 34829 markings/sec, 445 secs
lola: 19660678 markings, 24192186 edges, 39643 markings/sec, 450 secs
lola: 19876523 markings, 24452761 edges, 43169 markings/sec, 455 secs
lola: 20079564 markings, 24704927 edges, 40608 markings/sec, 460 secs
lola: 20286250 markings, 24965438 edges, 41337 markings/sec, 465 secs
lola: 20500831 markings, 25227421 edges, 42916 markings/sec, 470 secs
lola: 20713565 markings, 25488831 edges, 42547 markings/sec, 475 secs
lola: 20923837 markings, 25748746 edges, 42054 markings/sec, 480 secs
lola: 21129971 markings, 26009307 edges, 41227 markings/sec, 485 secs
lola: 21336877 markings, 26268923 edges, 41381 markings/sec, 490 secs
lola: 21545987 markings, 26527676 edges, 41822 markings/sec, 495 secs
lola: 21753908 markings, 26786461 edges, 41584 markings/sec, 500 secs
lola: 21967724 markings, 27048101 edges, 42763 markings/sec, 505 secs
lola: 22171960 markings, 27307199 edges, 40847 markings/sec, 510 secs
lola: 22378322 markings, 27568239 edges, 41272 markings/sec, 515 secs
lola: 22590232 markings, 27830507 edges, 42382 markings/sec, 520 secs
lola: 22796064 markings, 28091673 edges, 41166 markings/sec, 525 secs
lola: 23004959 markings, 28351070 edges, 41779 markings/sec, 530 secs
lola: 23205533 markings, 28605595 edges, 40115 markings/sec, 535 secs
lola: 23408700 markings, 28863560 edges, 40633 markings/sec, 540 secs
lola: 23617400 markings, 29126017 edges, 41740 markings/sec, 545 secs
lola: 23820802 markings, 29385301 edges, 40680 markings/sec, 550 secs
lola: 24024511 markings, 29640382 edges, 40742 markings/sec, 555 secs
lola: 24224786 markings, 29892913 edges, 40055 markings/sec, 560 secs
lola: 24426352 markings, 30147764 edges, 40313 markings/sec, 565 secs
lola: 24631838 markings, 30404073 edges, 41097 markings/sec, 570 secs
lola: 24833485 markings, 30660581 edges, 40329 markings/sec, 575 secs
lola: 25040512 markings, 30918248 edges, 41405 markings/sec, 580 secs
lola: 25248769 markings, 31178125 edges, 41651 markings/sec, 585 secs
lola: 25458174 markings, 31441741 edges, 41881 markings/sec, 590 secs
lola: 25661820 markings, 31702436 edges, 40729 markings/sec, 595 secs
lola: 25867467 markings, 31962558 edges, 41129 markings/sec, 600 secs
lola: 26076041 markings, 32223973 edges, 41715 markings/sec, 605 secs
lola: 26284279 markings, 32486703 edges, 41648 markings/sec, 610 secs
lola: 26487298 markings, 32746144 edges, 40604 markings/sec, 615 secs
lola: 26690164 markings, 33005765 edges, 40573 markings/sec, 620 secs
lola: 26896087 markings, 33266563 edges, 41185 markings/sec, 625 secs
lola: 27101862 markings, 33527198 edges, 41155 markings/sec, 630 secs
lola: 27307446 markings, 33787801 edges, 41117 markings/sec, 635 secs
lola: 27517475 markings, 34050759 edges, 42006 markings/sec, 640 secs
lola: 27716822 markings, 34308874 edges, 39869 markings/sec, 645 secs
lola: 27920048 markings, 34569103 edges, 40645 markings/sec, 650 secs
lola: 28124958 markings, 34831135 edges, 40982 markings/sec, 655 secs
lola: 28326069 markings, 35086032 edges, 40222 markings/sec, 660 secs
lola: 28527473 markings, 35342621 edges, 40281 markings/sec, 665 secs
lola: 28731225 markings, 35601186 edges, 40750 markings/sec, 670 secs
lola: 28935240 markings, 35861962 edges, 40803 markings/sec, 675 secs
lola: 29139531 markings, 36119922 edges, 40858 markings/sec, 680 secs
lola: 29344751 markings, 36379048 edges, 41044 markings/sec, 685 secs
lola: 29547062 markings, 36637115 edges, 40462 markings/sec, 690 secs
lola: 29750067 markings, 36895766 edges, 40601 markings/sec, 695 secs
lola: 29957184 markings, 37156741 edges, 41423 markings/sec, 700 secs
lola: 30160410 markings, 37412631 edges, 40645 markings/sec, 705 secs
lola: 30362044 markings, 37669146 edges, 40327 markings/sec, 710 secs
lola: 30566481 markings, 37928771 edges, 40887 markings/sec, 715 secs
lola: 30771769 markings, 38187002 edges, 41058 markings/sec, 720 secs
lola: 30975759 markings, 38443359 edges, 40798 markings/sec, 725 secs
lola: 31178884 markings, 38700556 edges, 40625 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((E (((p4243 <= p2543) U (2 <= p3322))) AND (p111 <= p2772)) OR (2 <= p3580))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 737 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p4243 <= p2543) U (2 <= p3322)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p4243 <= p2543) U (2 <= p3322))
lola: processed formula length: 34
lola: 1 rewrites
lola: formula mentions 0 of 5343 places; total mentions: 0
lola: closed formula file DLCround-PT-13b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 632 bytes per marking, with 25 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: 255670 markings, 293096 edges, 51121 markings/sec, 0 secs
lola: 510093 markings, 586848 edges, 50885 markings/sec, 5 secs
lola: 767245 markings, 883377 edges, 51430 markings/sec, 10 secs
lola: 1022498 markings, 1179495 edges, 51051 markings/sec, 15 secs
lola: 1278449 markings, 1477511 edges, 51190 markings/sec, 20 secs
lola: 1528885 markings, 1773599 edges, 50087 markings/sec, 25 secs
lola: 1776552 markings, 2065762 edges, 49533 markings/sec, 30 secs
lola: 2019912 markings, 2353357 edges, 48672 markings/sec, 35 secs
lola: 2260974 markings, 2639854 edges, 48212 markings/sec, 40 secs
lola: 2497883 markings, 2923684 edges, 47382 markings/sec, 45 secs
lola: 2742316 markings, 3218238 edges, 48887 markings/sec, 50 secs
lola: 2987559 markings, 3511008 edges, 49049 markings/sec, 55 secs
lola: 3239959 markings, 3805796 edges, 50480 markings/sec, 60 secs
lola: 3492781 markings, 4097081 edges, 50564 markings/sec, 65 secs
lola: 3737581 markings, 4386152 edges, 48960 markings/sec, 70 secs
lola: 3981502 markings, 4674024 edges, 48784 markings/sec, 75 secs
lola: 4223844 markings, 4962782 edges, 48468 markings/sec, 80 secs
lola: 4466308 markings, 5248221 edges, 48493 markings/sec, 85 secs
lola: 4708277 markings, 5535798 edges, 48394 markings/sec, 90 secs
lola: 4955046 markings, 5826454 edges, 49354 markings/sec, 95 secs
lola: 5203968 markings, 6119972 edges, 49784 markings/sec, 100 secs
lola: 5448136 markings, 6409318 edges, 48834 markings/sec, 105 secs
lola: 5691545 markings, 6698430 edges, 48682 markings/sec, 110 secs
lola: 5929079 markings, 6986746 edges, 47507 markings/sec, 115 secs
lola: 6165406 markings, 7274311 edges, 47265 markings/sec, 120 secs
lola: 6403263 markings, 7561949 edges, 47571 markings/sec, 125 secs
lola: 6633313 markings, 7842508 edges, 46010 markings/sec, 130 secs
lola: 6866818 markings, 8125314 edges, 46701 markings/sec, 135 secs
lola: 7104001 markings, 8410134 edges, 47437 markings/sec, 140 secs
lola: 7339483 markings, 8695891 edges, 47096 markings/sec, 145 secs
lola: 7575357 markings, 8983456 edges, 47175 markings/sec, 150 secs
lola: 7813050 markings, 9269900 edges, 47539 markings/sec, 155 secs
lola: 8043904 markings, 9553804 edges, 46171 markings/sec, 160 secs
lola: 8276769 markings, 9839174 edges, 46573 markings/sec, 165 secs
lola: 8510849 markings, 10126396 edges, 46816 markings/sec, 170 secs
lola: 8753648 markings, 10416168 edges, 48560 markings/sec, 175 secs
lola: 8989295 markings, 10702147 edges, 47129 markings/sec, 180 secs
lola: 9224215 markings, 10987499 edges, 46984 markings/sec, 185 secs
lola: 9462494 markings, 11275902 edges, 47656 markings/sec, 190 secs
lola: 9694836 markings, 11561312 edges, 46468 markings/sec, 195 secs
lola: 9927287 markings, 11845158 edges, 46490 markings/sec, 200 secs
lola: 10161448 markings, 12131440 edges, 46832 markings/sec, 205 secs
lola: 10394298 markings, 12416270 edges, 46570 markings/sec, 210 secs
lola: 10625561 markings, 12700884 edges, 46253 markings/sec, 215 secs
lola: 10856848 markings, 12985143 edges, 46257 markings/sec, 220 secs
lola: 11100185 markings, 13275755 edges, 48667 markings/sec, 225 secs
lola: 11331506 markings, 13560645 edges, 46264 markings/sec, 230 secs
lola: 11568199 markings, 13849354 edges, 47339 markings/sec, 235 secs
lola: 11808402 markings, 14136514 edges, 48041 markings/sec, 240 secs
lola: 12038466 markings, 14418429 edges, 46013 markings/sec, 245 secs
lola: 12270375 markings, 14701493 edges, 46382 markings/sec, 250 secs
lola: 12509320 markings, 14988636 edges, 47789 markings/sec, 255 secs
lola: 12764180 markings, 15284883 edges, 50972 markings/sec, 260 secs
lola: 12991901 markings, 15566764 edges, 45544 markings/sec, 265 secs
lola: 13223363 markings, 15850859 edges, 46292 markings/sec, 270 secs
lola: 13449752 markings, 16129840 edges, 45278 markings/sec, 275 secs
lola: 13673254 markings, 16407079 edges, 44700 markings/sec, 280 secs
lola: 13897644 markings, 16684198 edges, 44878 markings/sec, 285 secs
lola: 14133681 markings, 16966352 edges, 47207 markings/sec, 290 secs
lola: 14363155 markings, 17242680 edges, 45895 markings/sec, 295 secs
lola: 14592733 markings, 17520698 edges, 45916 markings/sec, 300 secs
lola: 14826461 markings, 17799778 edges, 46746 markings/sec, 305 secs
lola: 15062768 markings, 18080953 edges, 47261 markings/sec, 310 secs
lola: 15294858 markings, 18359060 edges, 46418 markings/sec, 315 secs
lola: 15548976 markings, 18651547 edges, 50824 markings/sec, 320 secs
lola: 15776640 markings, 18928253 edges, 45533 markings/sec, 325 secs
lola: 16007232 markings, 19205824 edges, 46118 markings/sec, 330 secs
lola: 16233493 markings, 19480505 edges, 45252 markings/sec, 335 secs
lola: 16463676 markings, 19756281 edges, 46037 markings/sec, 340 secs
lola: 16691361 markings, 20032942 edges, 45537 markings/sec, 345 secs
lola: 16929325 markings, 20319181 edges, 47593 markings/sec, 350 secs
lola: 17165775 markings, 20603384 edges, 47290 markings/sec, 355 secs
lola: 17405943 markings, 20889939 edges, 48034 markings/sec, 360 secs
lola: 17663356 markings, 21189758 edges, 51483 markings/sec, 365 secs
lola: 17914400 markings, 21485087 edges, 50209 markings/sec, 370 secs
lola: 18145274 markings, 21764986 edges, 46175 markings/sec, 375 secs
lola: 18396888 markings, 22056695 edges, 50323 markings/sec, 380 secs
lola: 18650243 markings, 22351098 edges, 50671 markings/sec, 385 secs
lola: 18899935 markings, 22645085 edges, 49938 markings/sec, 390 secs
lola: 19145526 markings, 22937372 edges, 49118 markings/sec, 395 secs
lola: 19391352 markings, 23230279 edges, 49165 markings/sec, 400 secs
lola: 19635399 markings, 23518223 edges, 48809 markings/sec, 405 secs
lola: 19871458 markings, 23796065 edges, 47212 markings/sec, 410 secs
lola: 20106948 markings, 24073707 edges, 47098 markings/sec, 415 secs
lola: 20345904 markings, 24354967 edges, 47791 markings/sec, 420 secs
lola: 20585520 markings, 24635469 edges, 47923 markings/sec, 425 secs
lola: 20823611 markings, 24917455 edges, 47618 markings/sec, 430 secs
lola: 21061006 markings, 25198699 edges, 47479 markings/sec, 435 secs
lola: 21294784 markings, 25476326 edges, 46756 markings/sec, 440 secs
lola: 21524882 markings, 25755783 edges, 46020 markings/sec, 445 secs
lola: 21760380 markings, 26039095 edges, 47100 markings/sec, 450 secs
lola: 21989812 markings, 26316777 edges, 45886 markings/sec, 455 secs
lola: 22217915 markings, 26594539 edges, 45621 markings/sec, 460 secs
lola: 22451097 markings, 26875240 edges, 46636 markings/sec, 465 secs
lola: 22681990 markings, 27153446 edges, 46179 markings/sec, 470 secs
lola: 22911586 markings, 27434535 edges, 45919 markings/sec, 475 secs
lola: 23158560 markings, 27722826 edges, 49395 markings/sec, 480 secs
lola: 23393620 markings, 28004664 edges, 47012 markings/sec, 485 secs
lola: 23623197 markings, 28285849 edges, 45915 markings/sec, 490 secs
lola: 23858127 markings, 28567698 edges, 46986 markings/sec, 495 secs
lola: 24093940 markings, 28849768 edges, 47163 markings/sec, 500 secs
lola: 24328785 markings, 29131632 edges, 46969 markings/sec, 505 secs
lola: 24563354 markings, 29414235 edges, 46914 markings/sec, 510 secs
lola: 24792528 markings, 29695101 edges, 45835 markings/sec, 515 secs
lola: 25021694 markings, 29973369 edges, 45833 markings/sec, 520 secs
lola: 25254750 markings, 30254391 edges, 46611 markings/sec, 525 secs
lola: 25490895 markings, 30537170 edges, 47229 markings/sec, 530 secs
lola: 25725499 markings, 30819269 edges, 46921 markings/sec, 535 secs
lola: 25949668 markings, 31098764 edges, 44834 markings/sec, 540 secs
lola: 26180141 markings, 31379613 edges, 46095 markings/sec, 545 secs
lola: 26414996 markings, 31662130 edges, 46971 markings/sec, 550 secs
lola: 26641624 markings, 31942751 edges, 45326 markings/sec, 555 secs
lola: 26875053 markings, 32223835 edges, 46686 markings/sec, 560 secs
lola: 27100888 markings, 32502662 edges, 45167 markings/sec, 565 secs
lola: 27328489 markings, 32783029 edges, 45520 markings/sec, 570 secs
lola: 27559215 markings, 33065145 edges, 46145 markings/sec, 575 secs
lola: 27786072 markings, 33345040 edges, 45371 markings/sec, 580 secs
lola: 28013733 markings, 33623293 edges, 45532 markings/sec, 585 secs
lola: 28239544 markings, 33899504 edges, 45162 markings/sec, 590 secs
lola: 28467098 markings, 34178346 edges, 45511 markings/sec, 595 secs
lola: 28694697 markings, 34456550 edges, 45520 markings/sec, 600 secs
lola: 28920718 markings, 34732921 edges, 45204 markings/sec, 605 secs
lola: 29150439 markings, 35012267 edges, 45944 markings/sec, 610 secs
lola: 29383050 markings, 35293496 edges, 46522 markings/sec, 615 secs
lola: 29614780 markings, 35577459 edges, 46346 markings/sec, 620 secs
lola: 29842080 markings, 35857274 edges, 45460 markings/sec, 625 secs
lola: 30065256 markings, 36136898 edges, 44635 markings/sec, 630 secs
lola: 30295421 markings, 36416473 edges, 46033 markings/sec, 635 secs
lola: 30525335 markings, 36698309 edges, 45983 markings/sec, 640 secs
lola: 30756276 markings, 36981428 edges, 46188 markings/sec, 645 secs
lola: 30980739 markings, 37259203 edges, 44893 markings/sec, 650 secs
lola: 31206109 markings, 37538561 edges, 45074 markings/sec, 655 secs
lola: 31434749 markings, 37819644 edges, 45728 markings/sec, 660 secs
lola: 31660583 markings, 38099061 edges, 45167 markings/sec, 665 secs
lola: 31889160 markings, 38379747 edges, 45715 markings/sec, 670 secs
lola: 32122174 markings, 38663326 edges, 46603 markings/sec, 675 secs
lola: 32340309 markings, 38939011 edges, 43627 markings/sec, 680 secs
lola: 32566079 markings, 39218775 edges, 45154 markings/sec, 685 secs
lola: 32793341 markings, 39500936 edges, 45452 markings/sec, 690 secs
lola: 33018850 markings, 39778399 edges, 45102 markings/sec, 695 secs
lola: 33243928 markings, 40056969 edges, 45016 markings/sec, 700 secs
lola: 33469562 markings, 40334617 edges, 45127 markings/sec, 705 secs
lola: 33691792 markings, 40611356 edges, 44446 markings/sec, 710 secs
lola: 33914266 markings, 40884661 edges, 44495 markings/sec, 715 secs
lola: 34138064 markings, 41158949 edges, 44760 markings/sec, 720 secs
lola: 34355268 markings, 41426846 edges, 43441 markings/sec, 725 secs
lola: 34569256 markings, 41692071 edges, 42798 markings/sec, 730 secs
lola: local time limit reached - aborting
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes unknown unknown yes yes no yes yes yes no unknown unknown unknown unknown
lola: time limit reached - aborting
FORMULA DLCround-PT-13b-CTLCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-4 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-9 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DLCround-PT-13b-CTLCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-13b"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="irma4mcc-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-13b.tgz
mv DLCround-PT-13b 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 irma4mcc-full"
echo " Input is DLCround-PT-13b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r066-smll-152649737200150"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;