About the Execution of M4M.full for DES-PT-40b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6131.440 | 1176612.00 | 1141352.00 | 3828.20 | TTFTFTFFT??TTT?T | 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 272K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K 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 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.7K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 101 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 339 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K 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 115K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DES-PT-40b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-152646385700263
=====================================================================
--------------------
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 DES-PT-40b-CTLFireability-00
FORMULA_NAME DES-PT-40b-CTLFireability-01
FORMULA_NAME DES-PT-40b-CTLFireability-02
FORMULA_NAME DES-PT-40b-CTLFireability-03
FORMULA_NAME DES-PT-40b-CTLFireability-04
FORMULA_NAME DES-PT-40b-CTLFireability-05
FORMULA_NAME DES-PT-40b-CTLFireability-06
FORMULA_NAME DES-PT-40b-CTLFireability-07
FORMULA_NAME DES-PT-40b-CTLFireability-08
FORMULA_NAME DES-PT-40b-CTLFireability-09
FORMULA_NAME DES-PT-40b-CTLFireability-10
FORMULA_NAME DES-PT-40b-CTLFireability-11
FORMULA_NAME DES-PT-40b-CTLFireability-12
FORMULA_NAME DES-PT-40b-CTLFireability-13
FORMULA_NAME DES-PT-40b-CTLFireability-14
FORMULA_NAME DES-PT-40b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526551330316
BK_STOP 1526552506928
--------------------
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 DES-PT-40b as instance name.
Using DES as model name.
Using algorithm or tool voting-classifier.
Model characteristics are: {'Examination': 'CTLFireability', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': None, 'Source Transition': False, 'Sink Transition': None, 'Loop Free': None, 'Conservative': False, 'Sub-Conservative': False, 'Nested Units': True, 'Safe': True, 'Deadlock': None, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
/usr/local/lib/python3.6/dist-packages/sklearn/preprocessing/label.py:151: DeprecationWarning: The truth value of an empty array is ambiguous. Returning False, but in future this will result in an error. Use `array.size > 0` to check that an array is not empty.
if diff:
Known tools are: [{'Time': 3539838, 'Memory': 6933.43, 'Tool': 'lola'}, {'Time': 3540426, 'Memory': 6819.61, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLFireability lola DES-PT-40b...
----- Start make prepare stderr -----
Time: 3600 - MCC
----- Start make prepare stdout -----
===========================================================================================
DES-PT-40b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DES-PT-40b: translating PT formula CTLFireability into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLFireability @ DES-PT-40b @ 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: 829/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 439 places, 390 transitions, 374 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 487 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-40b-CTLFireability.task
lola: NOT(A (G (((FIREABLE(t45) OR FIREABLE(t46) OR NOT FIREABLE(t234)) OR A (G (FIREABLE(t177))))))) : NOT(E ((A (F (FIREABLE(t240))) U E (G (FIREABLE(t145)))))) : A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR NOT(E (F (FIREABLE(t69))))))) : NOT(NOT((A ((FIREABLE(t296) U FIREABLE(t275))) OR A (F (FIREABLE(t86)))))) : NOT(NOT(A (G (E (F (FIREABLE(t50))))))) : E (F (E (G ((FIREABLE(t199) OR FIREABLE(t339) OR NOT FIREABLE(t6)))))) : (FIREABLE(t175) OR A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264))))) : A (F (E (G (FIREABLE(t149))))) : NOT(NOT(A (F (FIREABLE(t16))))) : E (F (E (G (FIREABLE(t44))))) : E (F ((E (X ((FIREABLE(t196) AND FIREABLE(t78)))) OR FIREABLE(t253)))) : A (((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E (F (FIREABLE(t24))) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276))))) : E (F ((E (G (NOT FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261))))) : (E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256)))) OR A (X ((E (G (FIREABLE(t43))) AND FIREABLE(t301))))) : (FIREABLE(t261) OR (E (F (A (X (FIREABLE(t45))))) AND E (X ((NOT FIREABLE(t243) AND NOT FIREABLE(t317)))))) : E (F ((A (F (FIREABLE(t360))) AND NOT FIREABLE(t342))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (((FIREABLE(t45) OR FIREABLE(t46) OR NOT FIREABLE(t234)) OR A (G (FIREABLE(t177)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U ((NOT FIREABLE(t45) AND NOT FIREABLE(t46) AND FIREABLE(t234)) AND E(TRUE U NOT FIREABLE(t177))))
lola: processed formula length: 105
lola: 9 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 813969 markings, 2678213 edges, 3689348869717491712 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1183259 markings, 3887395 edges
lola: ========================================
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E ((A (F (FIREABLE(t240))) U E (G (FIREABLE(t145))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(E(A(TRUE U FIREABLE(t240)) U NOT(A(TRUE U NOT FIREABLE(t145)))))
lola: processed formula length: 68
lola: 13 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 85 markings, 86 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR NOT(E (F (FIREABLE(t69)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR A (G (NOT FIREABLE(t69))))))
lola: processed formula: A (F (((((FIREABLE(t315) AND FIREABLE(t127)) OR FIREABLE(t135)) AND (FIREABLE(t329) OR (FIREABLE(t235) AND FIREABLE(t62)))) OR A (G (NOT FIREABLE(t69))))))
lola: processed formula length: 157
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1125806 markings, 2383727 edges, 225161 markings/sec, 0 secs
lola: 2294498 markings, 4784258 edges, 233738 markings/sec, 5 secs
lola: 3441623 markings, 7137727 edges, 229425 markings/sec, 10 secs
lola: 4501356 markings, 9488742 edges, 211947 markings/sec, 15 secs
lola: 5542755 markings, 11938215 edges, 208280 markings/sec, 20 secs
lola: 6601426 markings, 14335004 edges, 211734 markings/sec, 25 secs
lola: 7644083 markings, 16750545 edges, 208531 markings/sec, 30 secs
lola: 8680517 markings, 19083450 edges, 207287 markings/sec, 35 secs
lola: 9682043 markings, 21405129 edges, 200305 markings/sec, 40 secs
lola: 10808844 markings, 23780749 edges, 225360 markings/sec, 45 secs
lola: 11971351 markings, 26162130 edges, 232501 markings/sec, 50 secs
lola: 13080462 markings, 28463475 edges, 221822 markings/sec, 55 secs
lola: 14104512 markings, 30758203 edges, 204810 markings/sec, 60 secs
lola: 15112824 markings, 33126554 edges, 201662 markings/sec, 65 secs
lola: 16143918 markings, 35457049 edges, 206219 markings/sec, 70 secs
lola: 17150781 markings, 37792473 edges, 201373 markings/sec, 75 secs
lola: 18158768 markings, 40063455 edges, 201597 markings/sec, 80 secs
lola: 19129924 markings, 42332599 edges, 194231 markings/sec, 85 secs
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: 20031668 markings, 44239996 edges
lola: ========================================
lola: subprocess 3 will run for 264 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT((A ((FIREABLE(t296) U FIREABLE(t275))) OR A (F (FIREABLE(t86))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 264 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: processed formula: A ((FIREABLE(t296) U FIREABLE(t275)))
lola: processed formula length: 37
lola: 16 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 8 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 87 markings, 87 edges
lola: ========================================
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(t86)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t86)))
lola: processed formula: A (F (FIREABLE(t86)))
lola: processed formula length: 21
lola: 16 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 9 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: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 159393 markings, 167416 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 4 will run for 286 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (G (E (F (FIREABLE(t50)))))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: liveness not yet implemented, converting to CTL...
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U FIREABLE(t50)))))
lola: processed formula length: 43
lola: 12 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 237755 markings, 830678 edges
lola: ========================================
lola: subprocess 5 will run for 312 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((FIREABLE(t199) OR FIREABLE(t339) OR NOT FIREABLE(t6))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U NOT(A(TRUE U (NOT FIREABLE(t199) AND NOT FIREABLE(t339) AND FIREABLE(t6)))))
lola: processed formula length: 85
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 85 markings, 85 edges
lola: ========================================
lola: subprocess 6 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t175) OR A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 343 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t175)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t175)
lola: processed formula length: 14
lola: 0 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 381 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((NOT FIREABLE(t227) AND NOT FIREABLE(t162)) OR FIREABLE(t264))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 381 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(t149)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(t149))))
lola: processed formula length: 43
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 85 markings, 169 edges
lola: ========================================
lola: subprocess 8 will run for 429 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(NOT(A (F (FIREABLE(t16)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (FIREABLE(t16)))
lola: processed formula: A (F (FIREABLE(t16)))
lola: processed formula length: 21
lola: 6 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 9 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1498796 markings, 1778096 edges, 299759 markings/sec, 0 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1677446 markings, 2037734 edges
lola: ========================================
lola: subprocess 9 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(t44)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U NOT(A(TRUE U NOT FIREABLE(t44))))
lola: processed formula length: 42
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 749501 markings, 3222844 edges, 3095481473956839424 markings/sec, 0 secs
lola: 1506568 markings, 6428169 edges, 151413 markings/sec, 5 secs
lola: 2268888 markings, 9653113 edges, 152464 markings/sec, 10 secs
lola: 3026431 markings, 12864236 edges, 151509 markings/sec, 15 secs
lola: 3601901 markings, 16002925 edges, 115094 markings/sec, 20 secs
lola: 4092939 markings, 19106412 edges, 98208 markings/sec, 25 secs
lola: 4569742 markings, 22168627 edges, 95361 markings/sec, 30 secs
lola: 5028718 markings, 25217578 edges, 91795 markings/sec, 35 secs
lola: 5487044 markings, 28245472 edges, 91665 markings/sec, 40 secs
lola: 5938767 markings, 31247290 edges, 90345 markings/sec, 45 secs
lola: 6279796 markings, 34130892 edges, 68206 markings/sec, 50 secs
lola: 6655620 markings, 37089032 edges, 75165 markings/sec, 55 secs
lola: 7112424 markings, 40117088 edges, 91361 markings/sec, 60 secs
lola: 7551305 markings, 43095859 edges, 87776 markings/sec, 65 secs
lola: 7980982 markings, 46046191 edges, 85935 markings/sec, 70 secs
lola: 8310678 markings, 48891147 edges, 65939 markings/sec, 75 secs
lola: 8757622 markings, 51883950 edges, 89389 markings/sec, 80 secs
lola: 9204684 markings, 54861420 edges, 89412 markings/sec, 85 secs
lola: 9632680 markings, 57801554 edges, 85599 markings/sec, 90 secs
lola: 10042007 markings, 60709533 edges, 81865 markings/sec, 95 secs
lola: 10350736 markings, 63539818 edges, 61746 markings/sec, 100 secs
lola: 10691194 markings, 66383645 edges, 68092 markings/sec, 105 secs
lola: 11136369 markings, 69407326 edges, 89035 markings/sec, 110 secs
lola: 11626847 markings, 72506237 edges, 98096 markings/sec, 115 secs
lola: 12108474 markings, 75598599 edges, 96325 markings/sec, 120 secs
lola: 12573361 markings, 78687681 edges, 92977 markings/sec, 125 secs
lola: 13032667 markings, 81720241 edges, 91861 markings/sec, 130 secs
lola: 13483412 markings, 84723541 edges, 90149 markings/sec, 135 secs
lola: 13827617 markings, 87644237 edges, 68841 markings/sec, 140 secs
lola: 14210768 markings, 90635657 edges, 76630 markings/sec, 145 secs
lola: 14666574 markings, 93662140 edges, 91161 markings/sec, 150 secs
lola: 15106746 markings, 96652137 edges, 88034 markings/sec, 155 secs
lola: 15547727 markings, 99666408 edges, 88196 markings/sec, 160 secs
lola: 15871411 markings, 102574777 edges, 64737 markings/sec, 165 secs
lola: 16340174 markings, 105589034 edges, 93753 markings/sec, 170 secs
lola: 16777730 markings, 108543782 edges, 87511 markings/sec, 175 secs
lola: 17206398 markings, 111472219 edges, 85734 markings/sec, 180 secs
lola: 17601412 markings, 114366422 edges, 79003 markings/sec, 185 secs
lola: 17923860 markings, 117259850 edges, 64490 markings/sec, 190 secs
lola: 18253406 markings, 120115001 edges, 65909 markings/sec, 195 secs
lola: 18735965 markings, 123234095 edges, 96512 markings/sec, 200 secs
lola: 19232987 markings, 126339520 edges, 99404 markings/sec, 205 secs
lola: 19700117 markings, 129388823 edges, 93426 markings/sec, 210 secs
lola: 20157620 markings, 132410634 edges, 91501 markings/sec, 215 secs
lola: 20610308 markings, 135424945 edges, 90538 markings/sec, 220 secs
lola: 21021374 markings, 138153063 edges, 82213 markings/sec, 225 secs
lola: 21334606 markings, 140807795 edges, 62646 markings/sec, 230 secs
lola: 21644973 markings, 143380295 edges, 62073 markings/sec, 235 secs
lola: 22109339 markings, 146425434 edges, 92873 markings/sec, 240 secs
lola: 22550628 markings, 149425204 edges, 88258 markings/sec, 245 secs
lola: 22978907 markings, 152390770 edges, 85656 markings/sec, 250 secs
lola: 23340334 markings, 155302939 edges, 72285 markings/sec, 255 secs
lola: 23755858 markings, 158280833 edges, 83105 markings/sec, 260 secs
lola: 24213676 markings, 161259292 edges, 91564 markings/sec, 265 secs
lola: 24640695 markings, 164201292 edges, 85404 markings/sec, 270 secs
lola: 25060081 markings, 167111233 edges, 83877 markings/sec, 275 secs
lola: 25372272 markings, 169983431 edges, 62438 markings/sec, 280 secs
lola: 25722961 markings, 172864596 edges, 70138 markings/sec, 285 secs
lola: 26045001 markings, 175746936 edges, 64408 markings/sec, 290 secs
lola: 26367097 markings, 178637201 edges, 64419 markings/sec, 295 secs
lola: 26706389 markings, 181525925 edges, 67858 markings/sec, 300 secs
lola: 27021629 markings, 184383220 edges, 63048 markings/sec, 305 secs
lola: 27341460 markings, 187237764 edges, 63966 markings/sec, 310 secs
lola: 27651277 markings, 190065797 edges, 61963 markings/sec, 315 secs
lola: 27955843 markings, 192876984 edges, 60913 markings/sec, 320 secs
lola: 28254896 markings, 195667186 edges, 59811 markings/sec, 325 secs
lola: 28564059 markings, 198440760 edges, 61833 markings/sec, 330 secs
lola: 28815388 markings, 201167425 edges, 50266 markings/sec, 335 secs
lola: 29027874 markings, 203886350 edges, 42497 markings/sec, 340 secs
lola: 29335931 markings, 206733326 edges, 61611 markings/sec, 345 secs
lola: 29655585 markings, 209592260 edges, 63931 markings/sec, 350 secs
lola: 29960411 markings, 212430019 edges, 60965 markings/sec, 355 secs
lola: 30259080 markings, 215272488 edges, 59734 markings/sec, 360 secs
lola: 30568321 markings, 218126590 edges, 61848 markings/sec, 365 secs
lola: 30827403 markings, 220944862 edges, 51816 markings/sec, 370 secs
lola: 31104011 markings, 223788842 edges, 55322 markings/sec, 375 secs
lola: 31416943 markings, 226612151 edges, 62586 markings/sec, 380 secs
lola: 31726007 markings, 229426047 edges, 61813 markings/sec, 385 secs
lola: 32021145 markings, 232197854 edges, 59028 markings/sec, 390 secs
lola: 32312869 markings, 234953735 edges, 58345 markings/sec, 395 secs
lola: 32593551 markings, 237624757 edges, 56136 markings/sec, 400 secs
lola: 32800232 markings, 240200190 edges, 41336 markings/sec, 405 secs
lola: 33045174 markings, 242823185 edges, 48988 markings/sec, 410 secs
lola: 33287868 markings, 245472399 edges, 48539 markings/sec, 415 secs
lola: 33676744 markings, 248326527 edges, 77775 markings/sec, 420 secs
lola: 34144881 markings, 251296069 edges, 93627 markings/sec, 425 secs
lola: 34588958 markings, 254207865 edges, 88815 markings/sec, 430 secs
lola: 35018751 markings, 257065716 edges, 85959 markings/sec, 435 secs
lola: 35463740 markings, 259963383 edges, 88998 markings/sec, 440 secs
lola: 35901759 markings, 262840739 edges, 87604 markings/sec, 445 secs
lola: 36298355 markings, 265679675 edges, 79319 markings/sec, 450 secs
lola: 36580737 markings, 268476853 edges, 56476 markings/sec, 455 secs
lola: 37037132 markings, 271426773 edges, 91279 markings/sec, 460 secs
lola: 37469990 markings, 274343109 edges, 86572 markings/sec, 465 secs
lola: 37894384 markings, 277246099 edges, 84879 markings/sec, 470 secs
lola: 38293791 markings, 280094351 edges, 79881 markings/sec, 475 secs
lola: 38641798 markings, 282941918 edges, 69601 markings/sec, 480 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (X ((FIREABLE(t196) AND FIREABLE(t78)))) OR FIREABLE(t253))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 10 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (E (X ((FIREABLE(t196) AND FIREABLE(t78))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U EX((FIREABLE(t196) AND FIREABLE(t78))))
lola: processed formula length: 48
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 489306 markings, 2639173 edges, 97861 markings/sec, 0 secs
lola: 957707 markings, 5482650 edges, 93680 markings/sec, 5 secs
lola: 1383614 markings, 8315088 edges, 85181 markings/sec, 10 secs
lola: 1829761 markings, 11163463 edges, 89229 markings/sec, 15 secs
lola: 2281700 markings, 13994564 edges, 90388 markings/sec, 20 secs
lola: 2717349 markings, 16785903 edges, 87130 markings/sec, 25 secs
lola: 3122667 markings, 19556152 edges, 81064 markings/sec, 30 secs
lola: 3579152 markings, 22342987 edges, 91297 markings/sec, 35 secs
lola: 3991289 markings, 25100090 edges, 82427 markings/sec, 40 secs
lola: 4393122 markings, 27848801 edges, 80367 markings/sec, 45 secs
lola: 4743888 markings, 30614295 edges, 70153 markings/sec, 50 secs
lola: 5227601 markings, 33420878 edges, 96743 markings/sec, 55 secs
lola: 5639660 markings, 36200375 edges, 82412 markings/sec, 60 secs
lola: 6055063 markings, 38979885 edges, 83081 markings/sec, 65 secs
lola: 6489653 markings, 41721978 edges, 86918 markings/sec, 70 secs
lola: 6881105 markings, 44456945 edges, 78290 markings/sec, 75 secs
lola: 7312001 markings, 47169142 edges, 86179 markings/sec, 80 secs
lola: 7698609 markings, 49870149 edges, 77322 markings/sec, 85 secs
lola: 8075479 markings, 52615348 edges, 75374 markings/sec, 90 secs
lola: 8539680 markings, 55411327 edges, 92840 markings/sec, 95 secs
lola: 8955787 markings, 58189401 edges, 83221 markings/sec, 100 secs
lola: 9375334 markings, 60962346 edges, 83909 markings/sec, 105 secs
lola: 9795530 markings, 63691084 edges, 84039 markings/sec, 110 secs
lola: 10201215 markings, 66412802 edges, 81137 markings/sec, 115 secs
lola: 10614304 markings, 69118297 edges, 82618 markings/sec, 120 secs
lola: 10991086 markings, 71819621 edges, 75356 markings/sec, 125 secs
lola: 11320323 markings, 74574492 edges, 65847 markings/sec, 130 secs
lola: 11632750 markings, 77343809 edges, 62485 markings/sec, 135 secs
lola: 11948414 markings, 80114847 edges, 63133 markings/sec, 140 secs
lola: 12246354 markings, 82861859 edges, 59588 markings/sec, 145 secs
lola: 12555093 markings, 85578629 edges, 61748 markings/sec, 150 secs
lola: 12818042 markings, 88268695 edges, 52590 markings/sec, 155 secs
lola: 13276239 markings, 91080842 edges, 91639 markings/sec, 160 secs
lola: 13753706 markings, 93891425 edges, 95493 markings/sec, 165 secs
lola: 14178234 markings, 96674657 edges, 84906 markings/sec, 170 secs
lola: 14609129 markings, 99460800 edges, 86179 markings/sec, 175 secs
lola: 15040769 markings, 102235962 edges, 86328 markings/sec, 180 secs
lola: 15485580 markings, 104978963 edges, 88962 markings/sec, 185 secs
lola: 15885526 markings, 107708779 edges, 79989 markings/sec, 190 secs
lola: 16312187 markings, 110440021 edges, 85332 markings/sec, 195 secs
lola: 16738119 markings, 113146638 edges, 85186 markings/sec, 200 secs
lola: 17132132 markings, 115838363 edges, 78803 markings/sec, 205 secs
lola: 17485145 markings, 118538769 edges, 70603 markings/sec, 210 secs
lola: 17927789 markings, 121303071 edges, 88529 markings/sec, 215 secs
lola: 18357151 markings, 124058556 edges, 85872 markings/sec, 220 secs
lola: 18769265 markings, 126812180 edges, 82423 markings/sec, 225 secs
lola: 19201153 markings, 129547007 edges, 86378 markings/sec, 230 secs
lola: 19594587 markings, 132246796 edges, 78687 markings/sec, 235 secs
lola: 20016807 markings, 134939918 edges, 84444 markings/sec, 240 secs
lola: 20405998 markings, 137616021 edges, 77838 markings/sec, 245 secs
lola: 20749566 markings, 140289963 edges, 68714 markings/sec, 250 secs
lola: 21213689 markings, 143056995 edges, 92825 markings/sec, 255 secs
lola: 21635122 markings, 145810219 edges, 84287 markings/sec, 260 secs
lola: 22044390 markings, 148552541 edges, 81854 markings/sec, 265 secs
lola: 22476767 markings, 151263442 edges, 86475 markings/sec, 270 secs
lola: 22859747 markings, 153935626 edges, 76596 markings/sec, 275 secs
lola: 23283837 markings, 156604485 edges, 84818 markings/sec, 280 secs
lola: 23662113 markings, 159242900 edges, 75655 markings/sec, 285 secs
lola: 23993334 markings, 161879192 edges, 66244 markings/sec, 290 secs
lola: 24322672 markings, 164611062 edges, 65868 markings/sec, 295 secs
lola: 24623879 markings, 167333099 edges, 60241 markings/sec, 300 secs
lola: 24929030 markings, 170008547 edges, 61030 markings/sec, 305 secs
lola: 25227135 markings, 172678427 edges, 59621 markings/sec, 310 secs
lola: 25517177 markings, 175322159 edges, 58008 markings/sec, 315 secs
lola: 25776509 markings, 177956862 edges, 51866 markings/sec, 320 secs
lola: 26290507 markings, 180776077 edges, 102800 markings/sec, 325 secs
lola: 26740165 markings, 183545241 edges, 89932 markings/sec, 330 secs
lola: 27159258 markings, 186299806 edges, 83819 markings/sec, 335 secs
lola: 27586654 markings, 189064188 edges, 85479 markings/sec, 340 secs
lola: 28028274 markings, 191824805 edges, 88324 markings/sec, 345 secs
lola: 28452741 markings, 194540385 edges, 84893 markings/sec, 350 secs
lola: 28849681 markings, 197252199 edges, 79388 markings/sec, 355 secs
lola: 29289735 markings, 199969636 edges, 88011 markings/sec, 360 secs
lola: 29698830 markings, 202655173 edges, 81819 markings/sec, 365 secs
lola: 30092483 markings, 205343089 edges, 78731 markings/sec, 370 secs
lola: 30425913 markings, 208041371 edges, 66686 markings/sec, 375 secs
lola: 30900121 markings, 210809225 edges, 94842 markings/sec, 380 secs
lola: 31315154 markings, 213549141 edges, 83007 markings/sec, 385 secs
lola: 31726686 markings, 216296508 edges, 82306 markings/sec, 390 secs
lola: 32158431 markings, 219008483 edges, 86349 markings/sec, 395 secs
lola: 32545636 markings, 221707682 edges, 77441 markings/sec, 400 secs
lola: 32971926 markings, 224395259 edges, 85258 markings/sec, 405 secs
lola: 33355158 markings, 227065973 edges, 76646 markings/sec, 410 secs
lola: 33699513 markings, 229755370 edges, 68871 markings/sec, 415 secs
lola: 34178687 markings, 232518282 edges, 95835 markings/sec, 420 secs
lola: 34581766 markings, 235259224 edges, 80616 markings/sec, 425 secs
lola: 34997243 markings, 238009482 edges, 83095 markings/sec, 430 secs
lola: 35426183 markings, 240715444 edges, 85788 markings/sec, 435 secs
lola: 35813359 markings, 243411245 edges, 77435 markings/sec, 440 secs
lola: 36237607 markings, 246087439 edges, 84850 markings/sec, 445 secs
lola: 36620725 markings, 248755073 edges, 76624 markings/sec, 450 secs
lola: 36945976 markings, 251439350 edges, 65050 markings/sec, 455 secs
lola: 37267388 markings, 254178120 edges, 64282 markings/sec, 460 secs
lola: 37569069 markings, 256917383 edges, 60336 markings/sec, 465 secs
lola: 37876671 markings, 259613717 edges, 61520 markings/sec, 470 secs
lola: 38182505 markings, 262308753 edges, 61167 markings/sec, 475 secs
lola: 38466320 markings, 264986219 edges, 56763 markings/sec, 480 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 11 will run for 490 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E (F (FIREABLE(t24))) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A((NOT FIREABLE(t148) AND NOT FIREABLE(t109)) U (E(TRUE U FIREABLE(t24)) AND (NOT FIREABLE(t27) AND NOT FIREABLE(t276))))
lola: processed formula length: 121
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 84 markings, 84 edges
lola: ========================================
lola: subprocess 12 will run for 612 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((E (G (NOT FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (NOT(A(TRUE U FIREABLE(t267))) AND (FIREABLE(t374) OR FIREABLE(t130) OR FIREABLE(t348) OR FIREABLE(t261))))
lola: processed formula length: 119
lola: 3 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 85 markings, 209 edges
lola: ========================================
lola: subprocess 13 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256)))) OR A (X ((E (G (FIREABLE(t43))) AND FIREABLE(t301)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 817 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((NOT FIREABLE(t325) OR NOT FIREABLE(t10)) AND FIREABLE(t256))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 1235141 markings, 1840673 edges, 247028 markings/sec, 0 secs
lola: 2410069 markings, 3806515 edges, 234986 markings/sec, 5 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 3065790 markings, 4900795 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 14 will run for 1219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(t261) OR (E (F (A (X (FIREABLE(t45))))) AND E (X ((NOT FIREABLE(t243) AND NOT FIREABLE(t317))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1219 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: FIREABLE(t261)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(t261)
lola: processed formula length: 14
lola: 0 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2438 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (A (X (FIREABLE(t45)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U AX(FIREABLE(t45)))
lola: processed formula length: 27
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 85 markings, 84 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 15 will run for 2438 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((A (F (FIREABLE(t360))) AND NOT FIREABLE(t342))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U (A(TRUE U FIREABLE(t360)) AND NOT FIREABLE(t342)))
lola: processed formula length: 59
lola: 2 rewrites
lola: formula mentions 0 of 439 places; total mentions: 0
lola: closed formula file DES-PT-40b-CTLFireability.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 48 bytes per marking, with 10 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: 478867 markings, 2827196 edges, 3095481473956839424 markings/sec, 0 secs
lola: 898033 markings, 5657672 edges, 83833 markings/sec, 5 secs
lola: 1347217 markings, 8503238 edges, 89837 markings/sec, 10 secs
lola: 1765449 markings, 11344034 edges, 83646 markings/sec, 15 secs
lola: 2207533 markings, 14322965 edges, 88417 markings/sec, 20 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 2468237 markings, 16294704 edges
lola: RESULT
lola:
SUMMARY: yes yes no yes no yes no no yes unknown unknown yes yes yes unknown yes
lola: ========================================
FORMULA DES-PT-40b-CTLFireability-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-3 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-40b-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stdout -----
----- Kill lola and sara stderr -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-40b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="mcc4mcc-full"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-40b.tgz
mv DES-PT-40b execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-full"
echo " Input is DES-PT-40b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-152646385700263"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;