About the Execution of M4M.full for DES-PT-60b
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 14943.770 | 2723709.00 | 2696255.00 | 7749.90 | FF??F?FT???F??TF | 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 300K
-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.3K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K 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.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K 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 8.2K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K 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.4K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.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 139K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DES-PT-60b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-152646385700290
=====================================================================
--------------------
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-60b-CTLCardinality-00
FORMULA_NAME DES-PT-60b-CTLCardinality-01
FORMULA_NAME DES-PT-60b-CTLCardinality-02
FORMULA_NAME DES-PT-60b-CTLCardinality-03
FORMULA_NAME DES-PT-60b-CTLCardinality-04
FORMULA_NAME DES-PT-60b-CTLCardinality-05
FORMULA_NAME DES-PT-60b-CTLCardinality-06
FORMULA_NAME DES-PT-60b-CTLCardinality-07
FORMULA_NAME DES-PT-60b-CTLCardinality-08
FORMULA_NAME DES-PT-60b-CTLCardinality-09
FORMULA_NAME DES-PT-60b-CTLCardinality-10
FORMULA_NAME DES-PT-60b-CTLCardinality-11
FORMULA_NAME DES-PT-60b-CTLCardinality-12
FORMULA_NAME DES-PT-60b-CTLCardinality-13
FORMULA_NAME DES-PT-60b-CTLCardinality-14
FORMULA_NAME DES-PT-60b-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1526563209605
BK_STOP 1526565933314
--------------------
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-60b as instance name.
Using DES as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'CTLCardinality', 'Place/Transition': True, 'Colored': False, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': False, 'Source Place': True, 'Sink Place': 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}.
Known tools are: [{'Time': 1559881, 'Memory': 2271.19, 'Tool': 'lola'}, {'Time': 1561353, 'Memory': 2264.19, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
CTLCardinality lola DES-PT-60b...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DES-PT-60b: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DES-PT-60b: translating PT formula CTLCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stdout -----
----- Start make result stderr -----
CTLCardinality @ DES-PT-60b @ 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: 989/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 519 places, 470 transitions, 454 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 567 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-60b-CTLCardinality.task
lola: ((A (F ((p178 + 1 <= p430))) OR ((3 <= p165) AND (p42 <= p26))) OR (((2 <= p323) OR (1 <= p478)) AND (E (G ((p57 <= p67))) OR ((p37 <= p499) OR (p304 <= p126) OR ((2 <= p90) AND (p213 <= p471)))))) : A (F ((E (F ((1 <= p504))) AND ((p227 <= p106) AND (p155 + 1 <= p175))))) : NOT(E (((p169 <= p179) U (3 <= p57)))) : E (X (E (((p227 <= p425) U (1 <= p354))))) : E (G (A (F (((2 <= p300) AND (3 <= p130)))))) : E (((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0)))) : ((A (G ((p171 <= 0))) AND E (F ((2 <= p110)))) OR A (((p450 <= 1) U (p475 + 1 <= p219)))) : E (G (A (F ((p322 <= p63))))) : E (G (A (((1 <= p239) U (p418 <= p249))))) : NOT(A (G (E (G ((p149 <= p403)))))) : A ((A (G ((p47 <= p112))) U ((p35 + 1 <= p459) AND (p3 + 1 <= p209)))) : NOT(E (G (((p378 <= 0) OR (1 <= p280))))) : A (X (E (F ((3 <= p213))))) : E (G (((p378 <= p430) OR (2 <= p86)))) : E (G ((p310 <= p497))) : E (X (A (F (((2 <= p438) AND (p270 <= p45))))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A (F ((p178 + 1 <= p430))) OR ((3 <= p165) AND (p42 <= p26))) OR (((2 <= p323) OR (1 <= p478)) AND (E (G ((p57 <= p67))) OR ((p37 <= p499) OR (p304 <= p126) OR ((2 <= p90) AND (p213 <= p471))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((p178 + 1 <= p430)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F ((p178 + 1 <= p430)))
lola: processed formula: A (F ((p178 + 1 <= p430)))
lola: processed formula length: 26
lola: 1 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 25 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: 89 markings, 89 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((3 <= p165) AND (p42 <= p26))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((3 <= p165) AND (p42 <= p26))
lola: processed formula length: 30
lola: 1 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((2 <= p323) OR (1 <= p478))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((2 <= p323) OR (1 <= p478))
lola: processed formula length: 29
lola: 1 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (F ((E (F ((1 <= p504))) AND ((p227 <= p106) AND (p155 + 1 <= p175)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: A(TRUE U (E(TRUE U (1 <= p504)) AND ((p227 <= p106) AND (p155 + 1 <= p175))))
lola: processed formula length: 77
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 86 markings, 254 edges
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (((p169 <= p179) U (3 <= p57))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p179 + 1 <= p169) R (p57 <= 2)))
lola: processed formula: A (((p179 + 1 <= p169) R (p57 <= 2)))
lola: processed formula length: 37
lola: 4 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1370547 markings, 1573283 edges, 274109 markings/sec, 0 secs
lola: 2567321 markings, 2985243 edges, 239355 markings/sec, 5 secs
lola: 3781991 markings, 4426880 edges, 242934 markings/sec, 10 secs
lola: 4933578 markings, 5788020 edges, 230317 markings/sec, 15 secs
lola: 6161187 markings, 7235300 edges, 245522 markings/sec, 20 secs
lola: 7362375 markings, 8652375 edges, 240238 markings/sec, 25 secs
lola: 8588592 markings, 10095688 edges, 245243 markings/sec, 30 secs
lola: 9749084 markings, 11465664 edges, 232098 markings/sec, 35 secs
lola: 10885202 markings, 12805897 edges, 227224 markings/sec, 40 secs
lola: 12003828 markings, 14122906 edges, 223725 markings/sec, 45 secs
lola: 13124892 markings, 15446637 edges, 224213 markings/sec, 50 secs
lola: 14260473 markings, 16785582 edges, 227116 markings/sec, 55 secs
lola: 15382647 markings, 18107238 edges, 224435 markings/sec, 60 secs
lola: 16496682 markings, 19421259 edges, 222807 markings/sec, 65 secs
lola: 17618741 markings, 20746600 edges, 224412 markings/sec, 70 secs
lola: 18751640 markings, 22078427 edges, 226580 markings/sec, 75 secs
lola: 19854307 markings, 23380584 edges, 220533 markings/sec, 80 secs
lola: 21435099 markings, 25097429 edges, 316158 markings/sec, 85 secs
lola: 23158333 markings, 26937550 edges, 344647 markings/sec, 90 secs
lola: 24841644 markings, 28772196 edges, 336662 markings/sec, 95 secs
lola: 26128714 markings, 30434948 edges, 257414 markings/sec, 100 secs
lola: 27759525 markings, 32209181 edges, 326162 markings/sec, 105 secs
lola: 29184624 markings, 33889308 edges, 285020 markings/sec, 110 secs
lola: 30583135 markings, 35564350 edges, 279702 markings/sec, 115 secs
lola: 32173018 markings, 37276594 edges, 317977 markings/sec, 120 secs
lola: 33585256 markings, 38901352 edges, 282448 markings/sec, 125 secs
lola: 35333593 markings, 40761526 edges, 349667 markings/sec, 130 secs
lola: 36936221 markings, 42528269 edges, 320526 markings/sec, 135 secs
lola: 38650301 markings, 44446581 edges, 342816 markings/sec, 140 secs
lola: 40381700 markings, 46282804 edges, 346280 markings/sec, 145 secs
lola: 41966571 markings, 47962294 edges, 316974 markings/sec, 150 secs
lola: 43726713 markings, 49927627 edges, 352028 markings/sec, 155 secs
lola: 45418656 markings, 51824579 edges, 338389 markings/sec, 160 secs
lola: 47177164 markings, 53784222 edges, 351702 markings/sec, 165 secs
lola: 48945351 markings, 55767699 edges, 353637 markings/sec, 170 secs
lola: 50581141 markings, 57594748 edges, 327158 markings/sec, 175 secs
lola: 51674773 markings, 59324009 edges, 218726 markings/sec, 180 secs
lola: 53294576 markings, 61162020 edges, 323961 markings/sec, 185 secs
lola: 54656179 markings, 62935714 edges, 272321 markings/sec, 190 secs
lola: 55707458 markings, 64778618 edges, 210256 markings/sec, 195 secs
lola: 57326692 markings, 66581887 edges, 323847 markings/sec, 200 secs
lola: 58855936 markings, 68311755 edges, 305849 markings/sec, 205 secs
lola: 59933305 markings, 70016295 edges, 215474 markings/sec, 210 secs
lola: 61524479 markings, 71838739 edges, 318235 markings/sec, 215 secs
lola: 63004971 markings, 73587872 edges, 296098 markings/sec, 220 secs
lola: 64486426 markings, 75287678 edges, 296291 markings/sec, 225 secs
lola: 66072026 markings, 77116787 edges, 317120 markings/sec, 230 secs
lola: 67450352 markings, 78770327 edges, 275665 markings/sec, 235 secs
lola: 68829801 markings, 80393104 edges, 275890 markings/sec, 240 secs
lola: 70426345 markings, 82168574 edges, 319309 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (E (((p227 <= p425) U (1 <= p354)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(E((p227 <= p425) U (1 <= p354)))
lola: processed formula length: 35
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 513088 markings, 2774515 edges, 3689329903141912576 markings/sec, 0 secs
lola: 994509 markings, 5719137 edges, 96284 markings/sec, 5 secs
lola: 1445370 markings, 8656301 edges, 90172 markings/sec, 10 secs
lola: 1894909 markings, 11589926 edges, 89908 markings/sec, 15 secs
lola: 2368062 markings, 14505323 edges, 94631 markings/sec, 20 secs
lola: 2803369 markings, 17373472 edges, 87061 markings/sec, 25 secs
lola: 3221080 markings, 20236586 edges, 83542 markings/sec, 30 secs
lola: 3700578 markings, 23095664 edges, 95900 markings/sec, 35 secs
lola: 4114661 markings, 25925095 edges, 82817 markings/sec, 40 secs
lola: 4510952 markings, 28739656 edges, 79258 markings/sec, 45 secs
lola: 4913660 markings, 31581042 edges, 80542 markings/sec, 50 secs
lola: 5385816 markings, 34487517 edges, 94431 markings/sec, 55 secs
lola: 5818797 markings, 37375419 edges, 86596 markings/sec, 60 secs
lola: 6265451 markings, 40254163 edges, 89331 markings/sec, 65 secs
lola: 6684157 markings, 43068149 edges, 83741 markings/sec, 70 secs
lola: 7121531 markings, 45884969 edges, 87475 markings/sec, 75 secs
lola: 7528551 markings, 48670966 edges, 81404 markings/sec, 80 secs
lola: 7883686 markings, 51435116 edges, 71027 markings/sec, 85 secs
lola: 8370557 markings, 54329197 edges, 97374 markings/sec, 90 secs
lola: 8805474 markings, 57210428 edges, 86983 markings/sec, 95 secs
lola: 9238252 markings, 60085412 edges, 86556 markings/sec, 100 secs
lola: 9683860 markings, 62912179 edges, 89122 markings/sec, 105 secs
lola: 10086068 markings, 65718942 edges, 80442 markings/sec, 110 secs
lola: 10526374 markings, 68503545 edges, 88061 markings/sec, 115 secs
lola: 10923129 markings, 71276439 edges, 79351 markings/sec, 120 secs
lola: 11254909 markings, 74049090 edges, 66356 markings/sec, 125 secs
lola: 11579458 markings, 76876387 edges, 64910 markings/sec, 130 secs
lola: 11896725 markings, 79685044 edges, 63453 markings/sec, 135 secs
lola: 12201728 markings, 82443364 edges, 61001 markings/sec, 140 secs
lola: 12513286 markings, 85187928 edges, 62312 markings/sec, 145 secs
lola: 12788265 markings, 87911372 edges, 54996 markings/sec, 150 secs
lola: 13225068 markings, 90790411 edges, 87361 markings/sec, 155 secs
lola: 13730473 markings, 93735584 edges, 101081 markings/sec, 160 secs
lola: 14175332 markings, 96653691 edges, 88972 markings/sec, 165 secs
lola: 14624694 markings, 99564947 edges, 89872 markings/sec, 170 secs
lola: 15080322 markings, 102469417 edges, 91126 markings/sec, 175 secs
lola: 15535907 markings, 105322559 edges, 91117 markings/sec, 180 secs
lola: 15950348 markings, 108157565 edges, 82888 markings/sec, 185 secs
lola: 16407153 markings, 110998381 edges, 91361 markings/sec, 190 secs
lola: 16836276 markings, 113810866 edges, 85825 markings/sec, 195 secs
lola: 17244469 markings, 116606483 edges, 81639 markings/sec, 200 secs
lola: 17586594 markings, 119379338 edges, 68425 markings/sec, 205 secs
lola: 18091124 markings, 122270418 edges, 100906 markings/sec, 210 secs
lola: 18516073 markings, 125133785 edges, 84990 markings/sec, 215 secs
lola: 18941039 markings, 127989130 edges, 84993 markings/sec, 220 secs
lola: 19385344 markings, 130795745 edges, 88861 markings/sec, 225 secs
lola: 19793335 markings, 133588552 edges, 81598 markings/sec, 230 secs
lola: 20224194 markings, 136360493 edges, 86172 markings/sec, 235 secs
lola: 20614560 markings, 139112758 edges, 78073 markings/sec, 240 secs
lola: 21014273 markings, 141908054 edges, 79943 markings/sec, 245 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((2 <= p300) AND (3 <= p130))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U ((2 <= p300) AND (3 <= p130))))))
lola: processed formula length: 59
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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, 85 edges
lola: ========================================
lola: subprocess 5 will run for 275 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E((p89 <= p489) U ((p175 + 1 <= p10) AND (p376 <= 0)))
lola: processed formula length: 54
lola: 1 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 777860 markings, 2730347 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1567627 markings, 5458175 edges, 157953 markings/sec, 5 secs
lola: 2355989 markings, 8179238 edges, 157672 markings/sec, 10 secs
lola: 3134034 markings, 10864353 edges, 155609 markings/sec, 15 secs
lola: 3868075 markings, 13400314 edges, 146808 markings/sec, 20 secs
lola: 4663769 markings, 15807120 edges, 159139 markings/sec, 25 secs
lola: 5360832 markings, 18123069 edges, 139413 markings/sec, 30 secs
lola: 6063630 markings, 20416234 edges, 140560 markings/sec, 35 secs
lola: 6729492 markings, 22719937 edges, 133172 markings/sec, 40 secs
lola: 7286747 markings, 25174967 edges, 111451 markings/sec, 45 secs
lola: 7787082 markings, 27502037 edges, 100067 markings/sec, 50 secs
lola: 8322935 markings, 29816777 edges, 107171 markings/sec, 55 secs
lola: 8947175 markings, 32091170 edges, 124848 markings/sec, 60 secs
lola: 9780343 markings, 34468720 edges, 166634 markings/sec, 65 secs
lola: 10462504 markings, 36824525 edges, 136432 markings/sec, 70 secs
lola: 11182903 markings, 39190788 edges, 144080 markings/sec, 75 secs
lola: 11877010 markings, 41569097 edges, 138821 markings/sec, 80 secs
lola: 12540960 markings, 43898194 edges, 132790 markings/sec, 85 secs
lola: 13208455 markings, 46229437 edges, 133499 markings/sec, 90 secs
lola: 13858449 markings, 48563663 edges, 129999 markings/sec, 95 secs
lola: 14558114 markings, 50881710 edges, 139933 markings/sec, 100 secs
lola: 15259798 markings, 53220153 edges, 140337 markings/sec, 105 secs
lola: 15854711 markings, 55527743 edges, 118983 markings/sec, 110 secs
lola: 16457169 markings, 57803064 edges, 120492 markings/sec, 115 secs
lola: 17122551 markings, 60199129 edges, 133076 markings/sec, 120 secs
lola: 17650129 markings, 62476713 edges, 105516 markings/sec, 125 secs
lola: 18245192 markings, 64782299 edges, 119013 markings/sec, 130 secs
lola: 18859830 markings, 67082376 edges, 122928 markings/sec, 135 secs
lola: 19422063 markings, 69375118 edges, 112447 markings/sec, 140 secs
lola: 20055582 markings, 71712291 edges, 126704 markings/sec, 145 secs
lola: 20699450 markings, 74030937 edges, 128774 markings/sec, 150 secs
lola: 21340898 markings, 76310185 edges, 128290 markings/sec, 155 secs
lola: 22039080 markings, 78651649 edges, 139636 markings/sec, 160 secs
lola: 22668976 markings, 80959288 edges, 125979 markings/sec, 165 secs
lola: 23285764 markings, 83236135 edges, 123358 markings/sec, 170 secs
lola: 23906441 markings, 85552630 edges, 124135 markings/sec, 175 secs
lola: 24487415 markings, 87857882 edges, 116195 markings/sec, 180 secs
lola: 25061741 markings, 90130587 edges, 114865 markings/sec, 185 secs
lola: 25633278 markings, 92386954 edges, 114307 markings/sec, 190 secs
lola: 26207846 markings, 94662768 edges, 114914 markings/sec, 195 secs
lola: 26782346 markings, 96936631 edges, 114900 markings/sec, 200 secs
lola: 27499347 markings, 99220095 edges, 143400 markings/sec, 205 secs
lola: 28141207 markings, 101522385 edges, 128372 markings/sec, 210 secs
lola: 28753469 markings, 103849240 edges, 122452 markings/sec, 215 secs
lola: 29489611 markings, 106233530 edges, 147228 markings/sec, 220 secs
lola: 30125012 markings, 108590170 edges, 127080 markings/sec, 225 secs
lola: 30728245 markings, 110928399 edges, 120647 markings/sec, 230 secs
lola: 31378152 markings, 113252609 edges, 129981 markings/sec, 235 secs
lola: 32036688 markings, 115642912 edges, 131707 markings/sec, 240 secs
lola: 32664979 markings, 118033022 edges, 125658 markings/sec, 245 secs
lola: 33227986 markings, 120330435 edges, 112601 markings/sec, 250 secs
lola: 33839786 markings, 122651342 edges, 122360 markings/sec, 255 secs
lola: 34438042 markings, 124964925 edges, 119651 markings/sec, 260 secs
lola: 35030475 markings, 127240448 edges, 118487 markings/sec, 265 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: ((A (G ((p171 <= 0))) AND E (F ((2 <= p110)))) OR A (((p450 <= 1) U (p475 + 1 <= p219))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 276 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p171 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-60b-CTLCardinality-6.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-60b-CTLCardinality-6.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (((p450 <= 1) U (p475 + 1 <= p219)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (((p450 <= 1) U (p475 + 1 <= p219)))
lola: processed formula: A (((p450 <= 1) U (p475 + 1 <= p219)))
lola: processed formula length: 38
lola: 0 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 2 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 89 markings, 89 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 306 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((p322 <= p63)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (p322 <= p63)))))
lola: processed formula length: 43
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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, 169 edges
lola: ========================================
lola: subprocess 8 will run for 344 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (A (((1 <= p239) U (p418 <= p249)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U NOT(A((1 <= p239) U (p418 <= p249)))))
lola: processed formula length: 51
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 719819 markings, 2775200 edges, 143964 markings/sec, 0 secs
lola: 1325671 markings, 5447301 edges, 121170 markings/sec, 5 secs
lola: 1928201 markings, 8094387 edges, 120506 markings/sec, 10 secs
lola: 2462746 markings, 10699682 edges, 106909 markings/sec, 15 secs
lola: 2897074 markings, 13272627 edges, 86866 markings/sec, 20 secs
lola: 3488082 markings, 15937878 edges, 118202 markings/sec, 25 secs
lola: 4087263 markings, 18589245 edges, 119836 markings/sec, 30 secs
lola: 4682010 markings, 21216346 edges, 118949 markings/sec, 35 secs
lola: 5161710 markings, 23788084 edges, 95940 markings/sec, 40 secs
lola: 5655954 markings, 26366224 edges, 98849 markings/sec, 45 secs
lola: 6252354 markings, 29006054 edges, 119280 markings/sec, 50 secs
lola: 6839689 markings, 31619819 edges, 117467 markings/sec, 55 secs
lola: 7409020 markings, 34208585 edges, 113866 markings/sec, 60 secs
lola: 7846007 markings, 36784736 edges, 87397 markings/sec, 65 secs
lola: 8291074 markings, 39341517 edges, 89013 markings/sec, 70 secs
lola: 8726030 markings, 41881730 edges, 86991 markings/sec, 75 secs
lola: 9162869 markings, 44449522 edges, 87368 markings/sec, 80 secs
lola: 9596575 markings, 46954688 edges, 86741 markings/sec, 85 secs
lola: 9996677 markings, 49430454 edges, 80020 markings/sec, 90 secs
lola: 10323681 markings, 51823400 edges, 65401 markings/sec, 95 secs
lola: 10775628 markings, 54359585 edges, 90389 markings/sec, 100 secs
lola: 11368814 markings, 57019300 edges, 118637 markings/sec, 105 secs
lola: 11959764 markings, 59660543 edges, 118190 markings/sec, 110 secs
lola: 12424558 markings, 62252849 edges, 92959 markings/sec, 115 secs
lola: 12971870 markings, 64875075 edges, 109462 markings/sec, 120 secs
lola: 13560097 markings, 67488264 edges, 117645 markings/sec, 125 secs
lola: 14132909 markings, 70082593 edges, 114562 markings/sec, 130 secs
lola: 14569518 markings, 72648799 edges, 87322 markings/sec, 135 secs
lola: 15147105 markings, 75250235 edges, 115517 markings/sec, 140 secs
lola: 15733433 markings, 77849903 edges, 117266 markings/sec, 145 secs
lola: 16268712 markings, 80414092 edges, 107056 markings/sec, 150 secs
lola: 16698634 markings, 82948690 edges, 85984 markings/sec, 155 secs
lola: 17137169 markings, 85518295 edges, 87707 markings/sec, 160 secs
lola: 17574199 markings, 88078402 edges, 87406 markings/sec, 165 secs
lola: 18004351 markings, 90583944 edges, 86030 markings/sec, 170 secs
lola: 18383027 markings, 93044367 edges, 75735 markings/sec, 175 secs
lola: 18752208 markings, 95536095 edges, 73836 markings/sec, 180 secs
lola: 19355652 markings, 98199510 edges, 120689 markings/sec, 185 secs
lola: 19944704 markings, 100838326 edges, 117810 markings/sec, 190 secs
lola: 20451567 markings, 103433545 edges, 101373 markings/sec, 195 secs
lola: 20952051 markings, 106026947 edges, 100097 markings/sec, 200 secs
lola: 21538966 markings, 108653351 edges, 117383 markings/sec, 205 secs
lola: 22119341 markings, 111261454 edges, 116075 markings/sec, 210 secs
lola: 22588460 markings, 113816632 edges, 93824 markings/sec, 215 secs
lola: 23115967 markings, 116401023 edges, 105501 markings/sec, 220 secs
lola: 23698189 markings, 118998190 edges, 116444 markings/sec, 225 secs
lola: 24271784 markings, 121547673 edges, 114719 markings/sec, 230 secs
lola: 24710736 markings, 124095873 edges, 87790 markings/sec, 235 secs
lola: 25146951 markings, 126637761 edges, 87243 markings/sec, 240 secs
lola: 25583855 markings, 129170537 edges, 87381 markings/sec, 245 secs
lola: 26019063 markings, 131684198 edges, 87042 markings/sec, 250 secs
lola: 26418627 markings, 134159102 edges, 79913 markings/sec, 255 secs
lola: 26760422 markings, 136653717 edges, 68359 markings/sec, 260 secs
lola: 27193906 markings, 139204432 edges, 86697 markings/sec, 265 secs
lola: 27658838 markings, 141787583 edges, 92986 markings/sec, 270 secs
lola: 28098542 markings, 144352672 edges, 87941 markings/sec, 275 secs
lola: 28481239 markings, 146905906 edges, 76539 markings/sec, 280 secs
lola: 28942118 markings, 149494996 edges, 92176 markings/sec, 285 secs
lola: 29396382 markings, 152049115 edges, 90853 markings/sec, 290 secs
lola: 29791583 markings, 154570981 edges, 79040 markings/sec, 295 secs
lola: 30204811 markings, 157119152 edges, 82646 markings/sec, 300 secs
lola: 30658182 markings, 159678437 edges, 90674 markings/sec, 305 secs
lola: 31109244 markings, 162190752 edges, 90212 markings/sec, 310 secs
lola: 31471092 markings, 164697454 edges, 72370 markings/sec, 315 secs
lola: 31833248 markings, 167227723 edges, 72431 markings/sec, 320 secs
lola: 32191020 markings, 169728340 edges, 71554 markings/sec, 325 secs
lola: 32549951 markings, 172205062 edges, 71786 markings/sec, 330 secs
lola: 32866466 markings, 174640887 edges, 63303 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(A (G (E (G ((p149 <= p403))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: E(TRUE U A(TRUE U (p403 + 1 <= p149)))
lola: processed formula length: 38
lola: 7 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 397196 markings, 2377240 edges, 3689348869717491712 markings/sec, 0 secs
lola: 786314 markings, 4879245 edges, 77824 markings/sec, 5 secs
lola: 1274521 markings, 7500364 edges, 97641 markings/sec, 10 secs
lola: 1777771 markings, 10118060 edges, 100650 markings/sec, 15 secs
lola: 2278725 markings, 12730698 edges, 100191 markings/sec, 20 secs
lola: 2777558 markings, 15327963 edges, 99767 markings/sec, 25 secs
lola: 3243543 markings, 17755865 edges, 93197 markings/sec, 30 secs
lola: 3712482 markings, 20201763 edges, 93788 markings/sec, 35 secs
lola: 4181009 markings, 22650181 edges, 93705 markings/sec, 40 secs
lola: 4652465 markings, 25097924 edges, 94291 markings/sec, 45 secs
lola: 5122065 markings, 27539689 edges, 93920 markings/sec, 50 secs
lola: 5589034 markings, 30185132 edges, 93394 markings/sec, 55 secs
lola: 5999345 markings, 32868919 edges, 82062 markings/sec, 60 secs
lola: 6388563 markings, 35534362 edges, 77844 markings/sec, 65 secs
lola: 6718914 markings, 38169693 edges, 66070 markings/sec, 70 secs
lola: 7109430 markings, 40710247 edges, 78103 markings/sec, 75 secs
lola: 7440770 markings, 43208790 edges, 66268 markings/sec, 80 secs
lola: 7818335 markings, 45779893 edges, 75513 markings/sec, 85 secs
lola: 8178658 markings, 48329731 edges, 72065 markings/sec, 90 secs
lola: 8504767 markings, 50852801 edges, 65222 markings/sec, 95 secs
lola: 8831164 markings, 53350463 edges, 65279 markings/sec, 100 secs
lola: 9133191 markings, 55788324 edges, 60405 markings/sec, 105 secs
lola: 9412399 markings, 58181074 edges, 55842 markings/sec, 110 secs
lola: 9677268 markings, 60575590 edges, 52974 markings/sec, 115 secs
lola: 9940567 markings, 62923534 edges, 52660 markings/sec, 120 secs
lola: 10260816 markings, 65455331 edges, 64050 markings/sec, 125 secs
lola: 10552637 markings, 67938093 edges, 58364 markings/sec, 130 secs
lola: 10837246 markings, 70415604 edges, 56922 markings/sec, 135 secs
lola: 11107774 markings, 72838896 edges, 54106 markings/sec, 140 secs
lola: 11381476 markings, 75219697 edges, 54740 markings/sec, 145 secs
lola: 11631236 markings, 77543685 edges, 49952 markings/sec, 150 secs
lola: 11853120 markings, 79810045 edges, 44377 markings/sec, 155 secs
lola: 12143349 markings, 82243628 edges, 58046 markings/sec, 160 secs
lola: 12423616 markings, 84626213 edges, 56053 markings/sec, 165 secs
lola: 12715338 markings, 87048303 edges, 58344 markings/sec, 170 secs
lola: 12994059 markings, 89436960 edges, 55744 markings/sec, 175 secs
lola: 13257205 markings, 91806938 edges, 52629 markings/sec, 180 secs
lola: 13498833 markings, 94104145 edges, 48326 markings/sec, 185 secs
lola: 13765594 markings, 96511578 edges, 53352 markings/sec, 190 secs
lola: 14009760 markings, 98836026 edges, 48833 markings/sec, 195 secs
lola: 14259317 markings, 101233126 edges, 49911 markings/sec, 200 secs
lola: 14481281 markings, 103485722 edges, 44393 markings/sec, 205 secs
lola: 14752079 markings, 105866707 edges, 54160 markings/sec, 210 secs
lola: 14999096 markings, 108211170 edges, 49403 markings/sec, 215 secs
lola: 15249723 markings, 110552064 edges, 50125 markings/sec, 220 secs
lola: 15473485 markings, 112833460 edges, 44752 markings/sec, 225 secs
lola: 15737377 markings, 115221002 edges, 52778 markings/sec, 230 secs
lola: 15995435 markings, 117638299 edges, 51612 markings/sec, 235 secs
lola: 16247331 markings, 120020704 edges, 50379 markings/sec, 240 secs
lola: 16488908 markings, 122305996 edges, 48315 markings/sec, 245 secs
lola: 16706960 markings, 124516292 edges, 43610 markings/sec, 250 secs
lola: 16935254 markings, 126776681 edges, 45659 markings/sec, 255 secs
lola: 17152055 markings, 129022332 edges, 43360 markings/sec, 260 secs
lola: 17411693 markings, 131395433 edges, 51928 markings/sec, 265 secs
lola: 17678497 markings, 133812484 edges, 53361 markings/sec, 270 secs
lola: 17937283 markings, 136216040 edges, 51757 markings/sec, 275 secs
lola: 18176741 markings, 138588833 edges, 47892 markings/sec, 280 secs
lola: 18408264 markings, 140929722 edges, 46305 markings/sec, 285 secs
lola: 18660016 markings, 143311730 edges, 50350 markings/sec, 290 secs
lola: 18903395 markings, 145672959 edges, 48676 markings/sec, 295 secs
lola: 19149436 markings, 148072479 edges, 49208 markings/sec, 300 secs
lola: 19383206 markings, 150424596 edges, 46754 markings/sec, 305 secs
lola: 19604885 markings, 152760336 edges, 44336 markings/sec, 310 secs
lola: 19816880 markings, 155038381 edges, 42399 markings/sec, 315 secs
lola: 20008232 markings, 157206057 edges, 38270 markings/sec, 320 secs
lola: 20210443 markings, 159466256 edges, 40442 markings/sec, 325 secs
lola: 20504342 markings, 161889979 edges, 58780 markings/sec, 330 secs
lola: 20781024 markings, 164271220 edges, 55336 markings/sec, 335 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 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A ((A (G ((p47 <= p112))) U ((p35 + 1 <= p459) AND (p3 + 1 <= p209))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A ((A (G ((p47 <= p112))) U ((p35 + 1 <= p459) AND (p3 + 1 <= p209))))
lola: processed formula: A ((A (G ((p47 <= p112))) U ((p35 + 1 <= p459) AND (p3 + 1 <= p209))))
lola: processed formula length: 70
lola: 0 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 3 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 24 unused bits
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method (--stubborn)
lola: SEARCH
lola: RUNNING
lola: 1334548 markings, 1599927 edges, 266910 markings/sec, 0 secs
lola: 2809337 markings, 3268375 edges, 294958 markings/sec, 5 secs
lola: 4230976 markings, 4880235 edges, 284328 markings/sec, 10 secs
lola: 5587524 markings, 6441325 edges, 271310 markings/sec, 15 secs
lola: 6984351 markings, 8049999 edges, 279365 markings/sec, 20 secs
lola: 8430617 markings, 9691293 edges, 289253 markings/sec, 25 secs
lola: 9878409 markings, 11337185 edges, 289558 markings/sec, 30 secs
lola: 11312293 markings, 12957007 edges, 286777 markings/sec, 35 secs
lola: 12668816 markings, 14529692 edges, 271305 markings/sec, 40 secs
lola: 14081185 markings, 16155195 edges, 282474 markings/sec, 45 secs
lola: 15535410 markings, 17799164 edges, 290845 markings/sec, 50 secs
lola: 16986803 markings, 19449384 edges, 290279 markings/sec, 55 secs
lola: 18406030 markings, 21057765 edges, 283845 markings/sec, 60 secs
lola: 19755635 markings, 22621979 edges, 269921 markings/sec, 65 secs
lola: 21152707 markings, 24224845 edges, 279414 markings/sec, 70 secs
lola: 22600372 markings, 25861019 edges, 289533 markings/sec, 75 secs
lola: 24022095 markings, 27479308 edges, 284345 markings/sec, 80 secs
lola: 25407937 markings, 29059831 edges, 277168 markings/sec, 85 secs
lola: 26773424 markings, 30641543 edges, 273097 markings/sec, 90 secs
lola: 28219000 markings, 32289584 edges, 289115 markings/sec, 95 secs
lola: 29685214 markings, 33948438 edges, 293243 markings/sec, 100 secs
lola: 31092771 markings, 35550312 edges, 281511 markings/sec, 105 secs
lola: 32452388 markings, 37107537 edges, 271923 markings/sec, 110 secs
lola: 33823506 markings, 38690051 edges, 274224 markings/sec, 115 secs
lola: 35258558 markings, 40319362 edges, 287010 markings/sec, 120 secs
lola: 36695128 markings, 41951079 edges, 287314 markings/sec, 125 secs
lola: 38129383 markings, 43571145 edges, 286851 markings/sec, 130 secs
lola: 39521695 markings, 45182820 edges, 278462 markings/sec, 135 secs
lola: 40949522 markings, 46824976 edges, 285565 markings/sec, 140 secs
lola: 42409694 markings, 48482941 edges, 292034 markings/sec, 145 secs
lola: 43896644 markings, 50172205 edges, 297390 markings/sec, 150 secs
lola: 45381276 markings, 51858955 edges, 296926 markings/sec, 155 secs
lola: 46826432 markings, 53513552 edges, 289031 markings/sec, 160 secs
lola: 48267061 markings, 55176383 edges, 288126 markings/sec, 165 secs
lola: 49752433 markings, 56873790 edges, 297074 markings/sec, 170 secs
lola: 51250783 markings, 58572168 edges, 299670 markings/sec, 175 secs
lola: 52753093 markings, 60280858 edges, 300462 markings/sec, 180 secs
lola: 54238987 markings, 61963893 edges, 297179 markings/sec, 185 secs
lola: 55669564 markings, 63613716 edges, 286115 markings/sec, 190 secs
lola: 57124811 markings, 65290235 edges, 291049 markings/sec, 195 secs
lola: 58619204 markings, 66994502 edges, 298879 markings/sec, 200 secs
lola: 60132362 markings, 68706936 edges, 302632 markings/sec, 205 secs
lola: 61603516 markings, 70381628 edges, 294231 markings/sec, 210 secs
lola: 63070445 markings, 72049090 edges, 293386 markings/sec, 215 secs
lola: 64483799 markings, 73682990 edges, 282671 markings/sec, 220 secs
lola: 65939637 markings, 75356315 edges, 291168 markings/sec, 225 secs
lola: 67422385 markings, 77036018 edges, 296550 markings/sec, 230 secs
lola: 68900470 markings, 78716412 edges, 295617 markings/sec, 235 secs
lola: 70370364 markings, 80381926 edges, 293979 markings/sec, 240 secs
lola: 71816683 markings, 82044507 edges, 289264 markings/sec, 245 secs
lola: 73246405 markings, 83695652 edges, 285944 markings/sec, 250 secs
lola: 74731915 markings, 85388621 edges, 297102 markings/sec, 255 secs
lola: 76243506 markings, 87100025 edges, 302318 markings/sec, 260 secs
lola: 77721273 markings, 88782445 edges, 295553 markings/sec, 265 secs
lola: 79211227 markings, 90471815 edges, 297991 markings/sec, 270 secs
lola: 80647283 markings, 92131578 edges, 287211 markings/sec, 275 secs
lola: 82109545 markings, 93813868 edges, 292452 markings/sec, 280 secs
lola: 83614580 markings, 95526325 edges, 301007 markings/sec, 285 secs
lola: 85119074 markings, 97231325 edges, 300899 markings/sec, 290 secs
lola: 86596106 markings, 98913768 edges, 295406 markings/sec, 295 secs
lola: 88062112 markings, 100582366 edges, 293201 markings/sec, 300 secs
lola: 89492231 markings, 102232928 edges, 286024 markings/sec, 305 secs
lola: 90950798 markings, 103910081 edges, 291713 markings/sec, 310 secs
lola: 92452830 markings, 105610748 edges, 300406 markings/sec, 315 secs
lola: 93945937 markings, 107307611 edges, 298621 markings/sec, 320 secs
lola: 95424962 markings, 108988059 edges, 295805 markings/sec, 325 secs
lola: 96867908 markings, 110642100 edges, 288589 markings/sec, 330 secs
lola: 98300021 markings, 112295793 edges, 286423 markings/sec, 335 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 345 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: NOT(E (G (((p378 <= 0) OR (1 <= p280)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a B\xfcchi-Automaton
lola: processed formula: A (F (((1 <= p378) AND (p280 <= 0))))
lola: processed formula: A (F (((1 <= p378) AND (p280 <= 0))))
lola: processed formula length: 37
lola: 3 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: the resulting B\xfcchi automaton has 1 states
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 25 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: 96 markings, 97 edges
lola: ========================================
lola: subprocess 12 will run for 431 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (X (E (F ((3 <= p213)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: AX(E(TRUE U (3 <= p213)))
lola: processed formula length: 25
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 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: 546318 markings, 2961213 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1018906 markings, 5882408 edges, 94518 markings/sec, 5 secs
lola: 1470081 markings, 8805545 edges, 90235 markings/sec, 10 secs
lola: 1914471 markings, 11720423 edges, 88878 markings/sec, 15 secs
lola: 2351464 markings, 14405173 edges, 87399 markings/sec, 20 secs
lola: 2786797 markings, 17252484 edges, 87067 markings/sec, 25 secs
lola: 3199770 markings, 20081903 edges, 82595 markings/sec, 30 secs
lola: 3673318 markings, 22918106 edges, 94710 markings/sec, 35 secs
lola: 4084192 markings, 25713932 edges, 82175 markings/sec, 40 secs
lola: 4481826 markings, 28499561 edges, 79527 markings/sec, 45 secs
lola: 4862925 markings, 31289859 edges, 76220 markings/sec, 50 secs
lola: 5338798 markings, 34171076 edges, 95175 markings/sec, 55 secs
lola: 5767556 markings, 37030183 edges, 85752 markings/sec, 60 secs
lola: 6202383 markings, 39875681 edges, 86965 markings/sec, 65 secs
lola: 6624181 markings, 42668090 edges, 84360 markings/sec, 70 secs
lola: 7048412 markings, 45447301 edges, 84846 markings/sec, 75 secs
lola: 7462132 markings, 48203930 edges, 82744 markings/sec, 80 secs
lola: 7827070 markings, 50935333 edges, 72988 markings/sec, 85 secs
lola: 8278554 markings, 53780827 edges, 90297 markings/sec, 90 secs
lola: 8722939 markings, 56644291 edges, 88877 markings/sec, 95 secs
lola: 9151736 markings, 59509329 edges, 85759 markings/sec, 100 secs
lola: 9602376 markings, 62339118 edges, 90128 markings/sec, 105 secs
lola: 10003059 markings, 65134680 edges, 80137 markings/sec, 110 secs
lola: 10442466 markings, 67912865 edges, 87881 markings/sec, 115 secs
lola: 10839112 markings, 70679659 edges, 79329 markings/sec, 120 secs
lola: 11177221 markings, 73423726 edges, 67622 markings/sec, 125 secs
lola: 11507767 markings, 76219480 edges, 66109 markings/sec, 130 secs
lola: 11815853 markings, 79013941 edges, 61617 markings/sec, 135 secs
lola: 12127543 markings, 81751156 edges, 62338 markings/sec, 140 secs
lola: 12435823 markings, 84467435 edges, 61656 markings/sec, 145 secs
lola: 12722731 markings, 87174230 edges, 57382 markings/sec, 150 secs
lola: 13077549 markings, 89977819 edges, 70964 markings/sec, 155 secs
lola: 13603388 markings, 92933636 edges, 105168 markings/sec, 160 secs
lola: 14053919 markings, 95852170 edges, 90106 markings/sec, 165 secs
lola: 14501977 markings, 98762847 edges, 89612 markings/sec, 170 secs
lola: 14940615 markings, 101677645 edges, 87728 markings/sec, 175 secs
lola: 15422865 markings, 104542980 edges, 96450 markings/sec, 180 secs
lola: 15837251 markings, 107377631 edges, 82877 markings/sec, 185 secs
lola: 16274260 markings, 110217327 edges, 87402 markings/sec, 190 secs
lola: 16721894 markings, 113033143 edges, 89527 markings/sec, 195 secs
lola: 17131255 markings, 115831888 edges, 81872 markings/sec, 200 secs
lola: 17494053 markings, 118610812 edges, 72560 markings/sec, 205 secs
lola: 17959892 markings, 121475946 edges, 93168 markings/sec, 210 secs
lola: 18398781 markings, 124340967 edges, 87778 markings/sec, 215 secs
lola: 18826189 markings, 127193629 edges, 85482 markings/sec, 220 secs
lola: 19274028 markings, 130015413 edges, 89568 markings/sec, 225 secs
lola: 19673881 markings, 132801834 edges, 79971 markings/sec, 230 secs
lola: 20112543 markings, 135574797 edges, 87732 markings/sec, 235 secs
lola: 20509422 markings, 138335840 edges, 79376 markings/sec, 240 secs
lola: 20871745 markings, 141090912 edges, 72465 markings/sec, 245 secs
lola: 21358249 markings, 143958752 edges, 97301 markings/sec, 250 secs
lola: 21784240 markings, 146804087 edges, 85198 markings/sec, 255 secs
lola: 22209969 markings, 149642868 edges, 85146 markings/sec, 260 secs
lola: 22642347 markings, 152429098 edges, 86476 markings/sec, 265 secs
lola: 23053334 markings, 155201147 edges, 82197 markings/sec, 270 secs
lola: 23476046 markings, 157951190 edges, 84542 markings/sec, 275 secs
lola: 23857584 markings, 160685046 edges, 76308 markings/sec, 280 secs
lola: 24187777 markings, 163449972 edges, 66039 markings/sec, 285 secs
lola: 24502767 markings, 166233238 edges, 62998 markings/sec, 290 secs
lola: 24817978 markings, 169001807 edges, 63042 markings/sec, 295 secs
lola: 25113642 markings, 171724011 edges, 59133 markings/sec, 300 secs
lola: 25419664 markings, 174425395 edges, 61204 markings/sec, 305 secs
lola: 25684092 markings, 177112681 edges, 52886 markings/sec, 310 secs
lola: 26149915 markings, 179997821 edges, 93165 markings/sec, 315 secs
lola: 26644942 markings, 182921902 edges, 99005 markings/sec, 320 secs
lola: 27079306 markings, 185787532 edges, 86873 markings/sec, 325 secs
lola: 27518398 markings, 188617201 edges, 87818 markings/sec, 330 secs
lola: 27964215 markings, 191448608 edges, 89163 markings/sec, 335 secs
lola: 28380802 markings, 194044898 edges, 83317 markings/sec, 340 secs
lola: 28781725 markings, 196784745 edges, 80185 markings/sec, 345 secs
lola: 29214692 markings, 199526977 edges, 86593 markings/sec, 350 secs
lola: 29637933 markings, 202244795 edges, 84648 markings/sec, 355 secs
lola: 30036373 markings, 204967462 edges, 79688 markings/sec, 360 secs
lola: 30382371 markings, 207658045 edges, 69200 markings/sec, 365 secs
lola: 30845037 markings, 210465550 edges, 92533 markings/sec, 370 secs
lola: 31273136 markings, 213262483 edges, 85620 markings/sec, 375 secs
lola: 31687934 markings, 216032002 edges, 82960 markings/sec, 380 secs
lola: 32125825 markings, 218778394 edges, 87578 markings/sec, 385 secs
lola: 32513689 markings, 221485418 edges, 77573 markings/sec, 390 secs
lola: 32940682 markings, 224174876 edges, 85399 markings/sec, 395 secs
lola: 33328318 markings, 226877169 edges, 77527 markings/sec, 400 secs
lola: 33660103 markings, 229551458 edges, 66357 markings/sec, 405 secs
lola: 34147747 markings, 232334432 edges, 97529 markings/sec, 410 secs
lola: 34557713 markings, 235084952 edges, 81993 markings/sec, 415 secs
lola: 34974661 markings, 237845892 edges, 83390 markings/sec, 420 secs
lola: 35402646 markings, 240550249 edges, 85597 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 431 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G (((p378 <= p430) OR (2 <= p86))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U ((p430 + 1 <= p378) AND (p86 <= 1))))
lola: processed formula length: 50
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 887711 markings, 2366142 edges, 3689329903141912576 markings/sec, 0 secs
lola: 1735894 markings, 4824984 edges, 169637 markings/sec, 5 secs
lola: 2589600 markings, 7276952 edges, 170741 markings/sec, 10 secs
lola: 3422848 markings, 9708857 edges, 166650 markings/sec, 15 secs
lola: 4195911 markings, 12138956 edges, 154613 markings/sec, 20 secs
lola: 4758651 markings, 14537898 edges, 112548 markings/sec, 25 secs
lola: 5569201 markings, 16907295 edges, 162110 markings/sec, 30 secs
lola: 6379401 markings, 19271194 edges, 162040 markings/sec, 35 secs
lola: 7047163 markings, 21669076 edges, 133552 markings/sec, 40 secs
lola: 7870852 markings, 24144567 edges, 164738 markings/sec, 45 secs
lola: 8694224 markings, 26625125 edges, 164674 markings/sec, 50 secs
lola: 9357306 markings, 29049580 edges, 132616 markings/sec, 55 secs
lola: 10055132 markings, 31442734 edges, 139565 markings/sec, 60 secs
lola: 10671090 markings, 33795621 edges, 123192 markings/sec, 65 secs
lola: 11389108 markings, 36208074 edges, 143604 markings/sec, 70 secs
lola: 12106485 markings, 38637847 edges, 143475 markings/sec, 75 secs
lola: 12822105 markings, 41057495 edges, 143124 markings/sec, 80 secs
lola: 13483739 markings, 43465470 edges, 132327 markings/sec, 85 secs
lola: 14004485 markings, 45829613 edges, 104149 markings/sec, 90 secs
lola: 14719128 markings, 48223653 edges, 142929 markings/sec, 95 secs
lola: 15416747 markings, 50580623 edges, 139524 markings/sec, 100 secs
lola: 16115108 markings, 52879004 edges, 139672 markings/sec, 105 secs
lola: 16703488 markings, 55192624 edges, 117676 markings/sec, 110 secs
lola: 17350025 markings, 57502149 edges, 129307 markings/sec, 115 secs
lola: 18063306 markings, 59912421 edges, 142656 markings/sec, 120 secs
lola: 18746606 markings, 62297908 edges, 136660 markings/sec, 125 secs
lola: 19351534 markings, 64625733 edges, 120986 markings/sec, 130 secs
lola: 19978552 markings, 66934914 edges, 125404 markings/sec, 135 secs
lola: 20597954 markings, 69279121 edges, 123880 markings/sec, 140 secs
lola: 21192384 markings, 71596015 edges, 118886 markings/sec, 145 secs
lola: 21726736 markings, 73895393 edges, 106870 markings/sec, 150 secs
lola: 22444916 markings, 76346870 edges, 143636 markings/sec, 155 secs
lola: 23202561 markings, 78784030 edges, 151529 markings/sec, 160 secs
lola: 23943838 markings, 81203984 edges, 148255 markings/sec, 165 secs
lola: 24500814 markings, 83571445 edges, 111395 markings/sec, 170 secs
lola: 25098982 markings, 85933703 edges, 119634 markings/sec, 175 secs
lola: 25789329 markings, 88300293 edges, 138069 markings/sec, 180 secs
lola: 26474307 markings, 90661393 edges, 136996 markings/sec, 185 secs
lola: 27049547 markings, 92999354 edges, 115048 markings/sec, 190 secs
lola: 27770532 markings, 95427216 edges, 144197 markings/sec, 195 secs
lola: 28451371 markings, 97857027 edges, 136168 markings/sec, 200 secs
lola: 29125725 markings, 100283694 edges, 134871 markings/sec, 205 secs
lola: 29687017 markings, 102650226 edges, 112258 markings/sec, 210 secs
lola: 30305095 markings, 104992518 edges, 123616 markings/sec, 215 secs
lola: 30796622 markings, 107283761 edges, 98305 markings/sec, 220 secs
lola: 31518062 markings, 109646873 edges, 144288 markings/sec, 225 secs
lola: 32217386 markings, 112018682 edges, 139865 markings/sec, 230 secs
lola: 32940790 markings, 114466759 edges, 144681 markings/sec, 235 secs
lola: 33604396 markings, 116872328 edges, 132721 markings/sec, 240 secs
lola: 34260380 markings, 119275664 edges, 131197 markings/sec, 245 secs
lola: 34888343 markings, 121674703 edges, 125593 markings/sec, 250 secs
lola: 35576273 markings, 124111278 edges, 137586 markings/sec, 255 secs
lola: 36342099 markings, 126584982 edges, 153165 markings/sec, 260 secs
lola: 37151775 markings, 129089265 edges, 161935 markings/sec, 265 secs
lola: 37884781 markings, 131566479 edges, 146601 markings/sec, 270 secs
lola: 38602821 markings, 134007802 edges, 143608 markings/sec, 275 secs
lola: 39238204 markings, 136444013 edges, 127077 markings/sec, 280 secs
lola: 39759829 markings, 138839938 edges, 104325 markings/sec, 285 secs
lola: 40495452 markings, 141240774 edges, 147125 markings/sec, 290 secs
lola: 41231165 markings, 143634247 edges, 147143 markings/sec, 295 secs
lola: 41842537 markings, 146012384 edges, 122274 markings/sec, 300 secs
lola: 42521221 markings, 148440788 edges, 135737 markings/sec, 305 secs
lola: 43203437 markings, 150918370 edges, 136443 markings/sec, 310 secs
lola: 43918349 markings, 153371841 edges, 142982 markings/sec, 315 secs
lola: 44479672 markings, 155789101 edges, 112265 markings/sec, 320 secs
lola: 45086589 markings, 158175128 edges, 121383 markings/sec, 325 secs
lola: 45647231 markings, 160537552 edges, 112128 markings/sec, 330 secs
lola: 46280967 markings, 162957724 edges, 126747 markings/sec, 335 secs
lola: 46908160 markings, 165388409 edges, 125439 markings/sec, 340 secs
lola: 47537640 markings, 167793177 edges, 125896 markings/sec, 345 secs
lola: 48210276 markings, 170199844 edges, 134527 markings/sec, 350 secs
lola: 48718276 markings, 172583361 edges, 101600 markings/sec, 355 secs
lola: 49225790 markings, 174942026 edges, 101503 markings/sec, 360 secs
lola: 49838682 markings, 177303690 edges, 122578 markings/sec, 365 secs
lola: 50504196 markings, 179651385 edges, 133103 markings/sec, 370 secs
lola: 51035363 markings, 181980124 edges, 106233 markings/sec, 375 secs
lola: 51577113 markings, 184322086 edges, 108350 markings/sec, 380 secs
lola: 52211941 markings, 186747458 edges, 126966 markings/sec, 385 secs
lola: 52832586 markings, 189159567 edges, 124129 markings/sec, 390 secs
lola: 53409000 markings, 191554672 edges, 115283 markings/sec, 395 secs
lola: 53917626 markings, 193911228 edges, 101725 markings/sec, 400 secs
lola: 54461936 markings, 196230741 edges, 108862 markings/sec, 405 secs
lola: 54942889 markings, 198525390 edges, 96191 markings/sec, 410 secs
lola: 55514153 markings, 200861587 edges, 114253 markings/sec, 415 secs
lola: 56173682 markings, 203244895 edges, 131906 markings/sec, 420 secs
lola: 56821557 markings, 205645638 edges, 129575 markings/sec, 425 secs
lola: local time limit reached - aborting
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 431 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (G ((p310 <= p497)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: NOT(A(TRUE U (p497 + 1 <= p310)))
lola: processed formula length: 33
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 85 markings, 84 edges
lola: ========================================
lola: subprocess 15 will run for 862 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (((2 <= p438) AND (p270 <= p45))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: processed formula: EX(A(TRUE U ((2 <= p438) AND (p270 <= p45))))
lola: processed formula length: 45
lola: 2 rewrites
lola: formula mentions 0 of 519 places; total mentions: 0
lola: closed formula file DES-PT-60b-CTLCardinality.task
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 60 bytes per marking, with 26 unused bits
lola: using a prefix tree store (--store=prefix)
lola: Formula contains EX or AX operators, stubborn sets not applicable
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 84 markings, 83 edges
lola: ========================================
lola: RESULT
lola:
SUMMARY: no no unknown unknown no unknown no yes unknown unknown unknown no unknown unknown yes no
FORMULA DES-PT-60b-CTLCardinality-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-2 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-5 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-8 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-10 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-60b-CTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stderr -----
----- Finished stdout -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-60b"
export BK_EXAMINATION="CTLCardinality"
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-60b.tgz
mv DES-PT-60b 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-60b, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r058-smll-152646385700290"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;