About the Execution of M4M.full for DES-PT-30a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.330 | 1211230.00 | 2224650.00 | 12444.10 | TFTFFFFTTFFTTFT? | 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 240K
-rw-r--r-- 1 mcc users 3.9K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:50 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:50 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.3K 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.8K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K 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 15K 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 70K May 15 18:50 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-full
Input is DES-PT-30a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r058-smll-152646385700243
=====================================================================
--------------------
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-30a-ReachabilityCardinality-00
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-01
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-02
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-03
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-04
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-05
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-06
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-07
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-08
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-09
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-10
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-11
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-12
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-13
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-14
FORMULA_NAME DES-PT-30a-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1526542763528
BK_STOP 1526543974758
--------------------
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-30a as instance name.
Using DES as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', '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': 1080, 'Memory': 142.17, 'Tool': 'lola'}, {'Time': 1218, 'Memory': 117.96, 'Tool': 'lola'}, {'Time': 776286, 'Memory': 6673.83, 'Tool': 'marcie'}, {'Time': 778861, 'Memory': 6673.71, 'Tool': 'marcie'}, {'Time': 2485709, 'Memory': 8787.29, 'Tool': 'itstools'}, {'Time': 2692162, 'Memory': 8783.43, 'Tool': 'itstools'}].
Learned tools are: [{'Tool': 'lola'}].
Learned tool lola is 1.0x far from the best tool lola.
ReachabilityCardinality lola DES-PT-30a...
Time: 3600 - MCC
----- Start make prepare stdout -----
----- Start make prepare stderr -----
===========================================================================================
DES-PT-30a: translating PT Petri net model.pnml into LoLA format
===========================================================================================
translating PT Petri net complete
checking for too many tokens
===========================================================================================
DES-PT-30a: translating PT formula ReachabilityCardinality into LoLA format
===========================================================================================
translating formula complete
touch formulae;
----- Start make result stderr -----
----- Start make result stdout -----
ReachabilityCardinality @ DES-PT-30a @ 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: 425/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: finding significant places
lola: 234 places, 191 transitions, 175 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 216 transition conflict sets
lola: TASK
lola: reading formula from DES-PT-30a-ReachabilityCardinality.task
lola: E (F ((((p14 <= 2) OR (p223 <= 0)) AND (((2 <= p104) AND (p94 <= p28)) OR (p186 + 1 <= p16))))) : E (F ((((p223 <= 2) AND ((2 <= p45) OR (2 <= p133))) OR ((1 <= p44) AND (2 <= p136) AND (p76 <= p183))))) : E (F (((p121 <= p182) AND (1 <= p166) AND (p189 <= 0) AND ((2 <= p203) OR (2 <= p214) OR (1 <= p183))))) : E (F (((2 <= p153) AND ((p106 + 1 <= p203) OR (p24 + 1 <= p189))))) : A (G ((p77 <= p171))) : E (F (((2 <= p36) AND (p29 <= p183)))) : A (G (((p191 <= p24) AND ((p152 <= p147) OR (2 <= p135) OR (p57 + 1 <= p85))))) : A (G ((((p137 <= p84) AND ((p29 <= p231) OR (p34 <= p177))) OR (p82 <= 2)))) : E (F (((p71 + 1 <= p25) OR (((p74 <= p153) OR (p139 <= p157)) AND (p14 + 1 <= p188))))) : A (G (((p6 <= 0) OR (p160 <= 0) OR (p163 <= p50)))) : A (G (((((p137 <= p120) AND (p178 <= p34)) OR ((p222 <= p209) AND (1 <= p128))) AND ((p9 <= 0) OR (3 <= p145))))) : E (F (((p58 <= 0) AND (p122 + 1 <= p126) AND ((p99 + 1 <= p33) OR (p71 + 1 <= p35))))) : A (G ((p162 <= 2))) : A (G ((p77 <= p114))) : A (G ((((2 <= p190) AND (2 <= p103)) OR (p232 <= 1) OR (p119 <= 2) OR (p128 + 1 <= p228)))) : E (F (((p195 <= p34) AND ((2 <= p76) OR (1 <= p11)) AND (p99 + 1 <= p63))))
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 221 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p14 <= 2) OR (p223 <= 0)) AND (((2 <= p104) AND (p94 <= p28)) OR (p186 + 1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 10 literals and 4 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 1087 markings, 1452 edges
lola: ========================================
lola: subprocess 1 will run for 236 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F ((((p223 <= 2) AND ((2 <= p45) OR (2 <= p133))) OR ((1 <= p44) AND (2 <= p136) AND (p76 <= p183)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 7 literals and 3 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 2 will run for 252 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p121 <= p182) AND (1 <= p166) AND (p189 <= 0) AND ((2 <= p203) OR (2 <= p214) OR (1 <= p183)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 12 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 39 markings, 38 edges
lola: ========================================
lola: subprocess 3 will run for 272 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p153) AND ((p106 + 1 <= p203) OR (p24 + 1 <= p189)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-3.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-3.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 4 will run for 295 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p77 <= p171)))
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 24 bytes per marking, with 17 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-30a-ReachabilityCardinality-4.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 373 markings, 372 edges
lola: ========================================
lola: subprocess 5 will run for 321 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((2 <= p36) AND (p29 <= p183))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-5.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-5.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is unreachable.
lola: ========================================
lola: subprocess 6 will run for 354 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p191 <= p24) AND ((p152 <= p147) OR (2 <= p135) OR (p57 + 1 <= p85)))))
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 24 bytes per marking, with 17 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 4 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-6.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 22 markings, 21 edges
lola: ========================================
lola: subprocess 7 will run for 393 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((p137 <= p84) AND ((p29 <= p231) OR (p34 <= p177))) OR (p82 <= 2))))
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 24 bytes per marking, with 17 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 5 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-7.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-7.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 8 will run for 442 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p71 + 1 <= p25) OR (((p74 <= p153) OR (p139 <= p157)) AND (p14 + 1 <= p188)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 5 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 20 markings, 19 edges
lola: ========================================
lola: subprocess 9 will run for 505 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((p6 <= 0) OR (p160 <= 0) OR (p163 <= p50))))
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 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-9.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-9.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 10 will run for 589 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G (((((p137 <= p120) AND (p178 <= p34)) OR ((p222 <= p209) AND (1 <= p128))) AND ((p9 <= 0) OR (3 <= p145)))))
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 24 bytes per marking, with 17 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 10 literals and 5 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-10.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 90 markings, 89 edges
lola: ========================================
lola: subprocess 11 will run for 707 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p58 <= 0) AND (p122 + 1 <= p126) AND ((p99 + 1 <= p33) OR (p71 + 1 <= p35)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-11.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-11.sara.
sara: place or transition ordering is non-deterministic
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 32745 markings, 55888 edges
lola: ========================================
lola: subprocess 12 will run for 884 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p162 <= 2)))
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 24 bytes per marking, with 17 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-30a-ReachabilityCardinality-12.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-12.sara.
sara: place or transition ordering is non-deterministic
lola: state equation: solution impossible
lola: SUBRESULT
lola: result: yes
lola: produced by: state equation
lola: The predicate is invariant.
lola: ========================================
lola: subprocess 13 will run for 1179 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((p77 <= p114)))
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 24 bytes per marking, with 17 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-30a-ReachabilityCardinality-13.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-13.sara.
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 896 markings, 1309 edges
lola: subprocess 14 will run for 1769 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: A (G ((((2 <= p190) AND (2 <= p103)) OR (p232 <= 1) OR (p119 <= 2) OR (p128 + 1 <= p228))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: lola: using a bit-perfect encoder (--encoder=bit)========================================
lola: using 24 bytes per marking, with 17 unused bits
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: state equation: Generated DNF with 8 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is invariant.
lola: 3 markings, 2 edges
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-14.sara
lola: ========================================
lola: subprocess 15 will run for 3538 seconds at most (--localtimelimit=-1)
lola: ========================================
lola: ...considering subproblem: E (F (((p195 <= p34) AND ((2 <= p76) OR (1 <= p11)) AND (p99 + 1 <= p63))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: STORE
lola: using a bit-perfect encoder (--encoder=bit)
lola: using 24 bytes per marking, with 17 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 6 literals and 2 conjunctive subformulas
lola: state equation: write sara problem file to DES-PT-30a-ReachabilityCardinality-15.sara
lola: state equation: calling and running sara
sara: try reading problem file DES-PT-30a-ReachabilityCardinality-15.sara.
sara: place or transition ordering is non-deterministic
lola: sara is running 0 secs || 1319550 markings, 3130239 edges, 263910 markings/sec, 0 secs
lola: sara is running 5 secs || 2324669 markings, 6018040 edges, 201024 markings/sec, 5 secs
lola: sara is running 10 secs || 3243518 markings, 8946646 edges, 183770 markings/sec, 10 secs
lola: sara is running 15 secs || 4164799 markings, 11829595 edges, 184256 markings/sec, 15 secs
lola: sara is running 20 secs || 5161880 markings, 14569581 edges, 199416 markings/sec, 20 secs
lola: sara is running 25 secs || 6054399 markings, 17486592 edges, 178504 markings/sec, 25 secs
lola: sara is running 30 secs || 7032099 markings, 20389241 edges, 195540 markings/sec, 30 secs
lola: sara is running 35 secs || 7853518 markings, 22994017 edges, 164284 markings/sec, 35 secs
lola: sara is running 40 secs || 8643703 markings, 25595799 edges, 158037 markings/sec, 40 secs
lola: sara is running 45 secs || 9467598 markings, 28096920 edges, 164779 markings/sec, 45 secs
lola: sara is running 50 secs || 10267815 markings, 30711533 edges, 160043 markings/sec, 50 secs
lola: sara is running 55 secs || 11091981 markings, 33433627 edges, 164833 markings/sec, 55 secs
lola: sara is running 60 secs || 11903345 markings, 36201138 edges, 162273 markings/sec, 60 secs
lola: sara is running 65 secs || 12851819 markings, 39071687 edges, 189695 markings/sec, 65 secs
lola: sara is running 70 secs || 13938967 markings, 42068502 edges, 217430 markings/sec, 70 secs
lola: sara is running 75 secs || 14979467 markings, 45166538 edges, 208100 markings/sec, 75 secs
lola: sara is running 80 secs || 15975454 markings, 48176608 edges, 199197 markings/sec, 80 secs
lola: sara is running 85 secs || 16887736 markings, 50977991 edges, 182456 markings/sec, 85 secs
lola: sara is running 90 secs || 17824011 markings, 53772266 edges, 187255 markings/sec, 90 secs
lola: sara is running 95 secs || 18745774 markings, 56764715 edges, 184353 markings/sec, 95 secs
lola: sara is running 100 secs || 19697190 markings, 59582629 edges, 190283 markings/sec, 100 secs
lola: sara is running 105 secs || 20586880 markings, 62276517 edges, 177938 markings/sec, 105 secs
lola: sara is running 110 secs || 21502141 markings, 65006060 edges, 183052 markings/sec, 110 secs
lola: sara is running 115 secs || 22439440 markings, 67685374 edges, 187460 markings/sec, 115 secs
lola: sara is running 120 secs || 23352575 markings, 70496973 edges, 182627 markings/sec, 120 secs
lola: sara is running 125 secs || 24308290 markings, 73322968 edges, 191143 markings/sec, 125 secs
lola: sara is running 130 secs || 25284698 markings, 76301344 edges, 195282 markings/sec, 130 secs
lola: sara is running 135 secs || 26141532 markings, 79172191 edges, 171367 markings/sec, 135 secs
lola: sara is running 140 secs || 27061009 markings, 82092178 edges, 183895 markings/sec, 140 secs
lola: sara is running 145 secs || 27932906 markings, 84971718 edges, 174379 markings/sec, 145 secs
lola: sara is running 150 secs || 28919568 markings, 87832570 edges, 197332 markings/sec, 150 secs
lola: sara is running 155 secs || 29882258 markings, 90670491 edges, 192538 markings/sec, 155 secs
lola: sara is running 160 secs || 30769709 markings, 93397002 edges, 177490 markings/sec, 160 secs
lola: sara is running 165 secs || 31761810 markings, 96012954 edges, 198420 markings/sec, 165 secs
lola: sara is running 170 secs || 32634522 markings, 98699942 edges, 174542 markings/sec, 170 secs
lola: sara is running 175 secs || 33522975 markings, 101443710 edges, 177691 markings/sec, 175 secs
lola: sara is running 180 secs || 34409079 markings, 104103622 edges, 177221 markings/sec, 180 secs
lola: sara is running 185 secs || 35277852 markings, 106833813 edges, 173755 markings/sec, 185 secs
lola: sara is running 190 secs || 36170418 markings, 109460031 edges, 178513 markings/sec, 190 secs
lola: sara is running 195 secs || 37214620 markings, 111914456 edges, 208840 markings/sec, 195 secs
lola: sara is running 200 secs || 38164658 markings, 114498200 edges, 190008 markings/sec, 200 secs
lola: sara is running 205 secs || 39082523 markings, 117397837 edges, 183573 markings/sec, 205 secs
lola: sara is running 210 secs || 39943785 markings, 120151121 edges, 172252 markings/sec, 210 secs
lola: sara is running 215 secs || 40797568 markings, 122838700 edges, 170757 markings/sec, 215 secs
lola: sara is running 220 secs || 41665328 markings, 125615374 edges, 173552 markings/sec, 220 secs
lola: sara is running 225 secs || 42555484 markings, 128524510 edges, 178031 markings/sec, 225 secs
lola: sara is running 230 secs || 43500816 markings, 131312815 edges, 189066 markings/sec, 230 secs
lola: sara is running 235 secs || 44582503 markings, 133849703 edges, 216337 markings/sec, 235 secs
lola: sara is running 240 secs || 45643327 markings, 136489228 edges, 212165 markings/sec, 240 secs
lola: sara is running 245 secs || 46628700 markings, 139444659 edges, 197075 markings/sec, 245 secs
lola: sara is running 250 secs || 47544659 markings, 142360976 edges, 183192 markings/sec, 250 secs
lola: sara is running 255 secs || 48494499 markings, 145414243 edges, 189968 markings/sec, 255 secs
lola: sara is running 260 secs || 49562779 markings, 148020742 edges, 213656 markings/sec, 260 secs
lola: sara is running 265 secs || 50619253 markings, 150928172 edges, 211295 markings/sec, 265 secs
lola: sara is running 270 secs || 51571320 markings, 153891214 edges, 190413 markings/sec, 270 secs
lola: sara is running 275 secs || 52524811 markings, 156789828 edges, 190698 markings/sec, 275 secs
lola: sara is running 280 secs || 53445885 markings, 159748093 edges, 184215 markings/sec, 280 secs
lola: sara is running 285 secs || 54494215 markings, 162598324 edges, 209666 markings/sec, 285 secs
lola: sara is running 290 secs || 55482847 markings, 165607026 edges, 197726 markings/sec, 290 secs
lola: sara is running 295 secs || 56467488 markings, 168530579 edges, 196928 markings/sec, 295 secs
lola: sara is running 300 secs || 57452023 markings, 171600776 edges, 196907 markings/sec, 300 secs
lola: sara is running 305 secs || 58374771 markings, 174402794 edges, 184550 markings/sec, 305 secs
lola: sara is running 310 secs || 59362289 markings, 177444719 edges, 197504 markings/sec, 310 secs
lola: sara is running 315 secs || 60341399 markings, 180249018 edges, 195822 markings/sec, 315 secs
lola: sara is running 320 secs || 61245898 markings, 183116578 edges, 180900 markings/sec, 320 secs
lola: sara is running 325 secs || 62132870 markings, 186079884 edges, 177394 markings/sec, 325 secs
lola: sara is running 330 secs || 63071176 markings, 188935847 edges, 187661 markings/sec, 330 secs
lola: sara is running 335 secs || 64030080 markings, 191913966 edges, 191781 markings/sec, 335 secs
lola: sara is running 340 secs || 64893697 markings, 194702064 edges, 172723 markings/sec, 340 secs
lola: sara is running 345 secs || 65834455 markings, 197666203 edges, 188152 markings/sec, 345 secs
lola: sara is running 350 secs || 66780646 markings, 200499741 edges, 189238 markings/sec, 350 secs
lola: sara is running 355 secs || 67820836 markings, 203041914 edges, 208038 markings/sec, 355 secs
lola: sara is running 360 secs || 68845155 markings, 205601816 edges, 204864 markings/sec, 360 secs
lola: sara is running 365 secs || 69812002 markings, 208485843 edges, 193369 markings/sec, 365 secs
lola: sara is running 370 secs || 70769114 markings, 211388379 edges, 191422 markings/sec, 370 secs
lola: sara is running 375 secs || 71694113 markings, 214311900 edges, 185000 markings/sec, 375 secs
lola: sara is running 380 secs || 72630732 markings, 217305818 edges, 187324 markings/sec, 380 secs
lola: sara is running 385 secs || 73541219 markings, 220415718 edges, 182097 markings/sec, 385 secs
lola: sara is running 390 secs || 74547801 markings, 223172651 edges, 201316 markings/sec, 390 secs
lola: sara is running 395 secs || 75591914 markings, 225703391 edges, 208823 markings/sec, 395 secs
lola: sara is running 400 secs || 76671711 markings, 228298002 edges, 215959 markings/sec, 400 secs
lola: sara is running 405 secs || 77658710 markings, 231198756 edges, 197400 markings/sec, 405 secs
lola: sara is running 410 secs || 78650572 markings, 234391559 edges, 198372 markings/sec, 410 secs
lola: sara is running 415 secs || 79587308 markings, 237474950 edges, 187347 markings/sec, 415 secs
lola: sara is running 420 secs || 80479955 markings, 240531683 edges, 178529 markings/sec, 420 secs
lola: sara is running 425 secs || 81427839 markings, 243478558 edges, 189577 markings/sec, 425 secs
lola: sara is running 430 secs || 82419268 markings, 246370966 edges, 198286 markings/sec, 430 secs
lola: sara is running 435 secs || 83348644 markings, 249532529 edges, 185875 markings/sec, 435 secs
lola: sara is running 440 secs || 84302837 markings, 252458249 edges, 190839 markings/sec, 440 secs
lola: sara is running 445 secs || 85287952 markings, 255251066 edges, 197023 markings/sec, 445 secs
lola: sara is running 450 secs || 86256671 markings, 257877563 edges, 193744 markings/sec, 450 secs
lola: sara is running 455 secs || 87081148 markings, 260512771 edges, 164895 markings/sec, 455 secs
lola: sara is running 460 secs || 87883641 markings, 263118343 edges, 160499 markings/sec, 460 secs
lola: sara is running 465 secs || 88712134 markings, 265656768 edges, 165699 markings/sec, 465 secs
lola: sara is running 470 secs || 89531582 markings, 268304665 edges, 163890 markings/sec, 470 secs
lola: sara is running 475 secs || 90371273 markings, 271064411 edges, 167938 markings/sec, 475 secs
lola: sara is running 480 secs || 91196234 markings, 273881322 edges, 164992 markings/sec, 480 secs
lola: sara is running 485 secs || 92043991 markings, 276657892 edges, 169551 markings/sec, 485 secs
lola: sara is running 490 secs || 92840172 markings, 279265701 edges, 159236 markings/sec, 490 secs
lola: sara is running 495 secs || 93631775 markings, 281769689 edges, 158321 markings/sec, 495 secs
lola: sara is running 500 secs || 94406770 markings, 284333024 edges, 154999 markings/sec, 500 secs
lola: sara is running 505 secs || 95248986 markings, 286797507 edges, 168443 markings/sec, 505 secs
lola: sara is running 510 secs || 96046225 markings, 289435983 edges, 159448 markings/sec, 510 secs
lola: sara is running 515 secs || 96852729 markings, 292234812 edges, 161301 markings/sec, 515 secs
lola: sara is running 520 secs || 97650408 markings, 294976144 edges, 159536 markings/sec, 520 secs
lola: sara is running 525 secs || 98760963 markings, 297906089 edges, 222111 markings/sec, 525 secs
lola: sara is running 530 secs || 99864750 markings, 300996031 edges, 220757 markings/sec, 530 secs
lola: sara is running 535 secs || 100913111 markings, 304073836 edges, 209672 markings/sec, 535 secs
lola: sara is running 540 secs || 101943513 markings, 307067584 edges, 206080 markings/sec, 540 secs
lola: sara is running 545 secs || 102988868 markings, 310069586 edges, 209071 markings/sec, 545 secs
lola: sara is running 550 secs || 104027289 markings, 313062483 edges, 207684 markings/sec, 550 secs
lola: sara is running 555 secs || 105096386 markings, 316024484 edges, 213819 markings/sec, 555 secs
lola: sara is running 560 secs || 106154433 markings, 319045120 edges, 211609 markings/sec, 560 secs
lola: sara is running 565 secs || 107157781 markings, 322217224 edges, 200670 markings/sec, 565 secs
lola: sara is running 570 secs || 108191782 markings, 325191401 edges, 206800 markings/sec, 570 secs
lola: sara is running 575 secs || 109299706 markings, 328012476 edges, 221585 markings/sec, 575 secs
lola: sara is running 580 secs || 110367216 markings, 331133940 edges, 213502 markings/sec, 580 secs
lola: sara is running 585 secs || 111322182 markings, 334166140 edges, 190993 markings/sec, 585 secs
lola: sara is running 590 secs || 112285150 markings, 337152664 edges, 192594 markings/sec, 590 secs
lola: sara is running 595 secs || 113274192 markings, 340134845 edges, 197808 markings/sec, 595 secs
lola: sara is running 600 secs || 114274278 markings, 343248998 edges, 200017 markings/sec, 600 secs
lola: sara is running 605 secs || 115187895 markings, 346225436 edges, 182723 markings/sec, 605 secs
lola: sara is running 610 secs || 116234361 markings, 348980634 edges, 209293 markings/sec, 610 secs
lola: sara is running 615 secs || 117144084 markings, 351650859 edges, 181945 markings/sec, 615 secs
lola: sara is running 620 secs || 117998273 markings, 354229976 edges, 170838 markings/sec, 620 secs
lola: sara is running 625 secs || 118874683 markings, 356826379 edges, 175282 markings/sec, 625 secs
lola: sara is running 630 secs || 119715110 markings, 359577146 edges, 168085 markings/sec, 630 secs
lola: sara is running 635 secs || 120662707 markings, 362338131 edges, 189519 markings/sec, 635 secs
lola: sara is running 640 secs || 121604177 markings, 365134256 edges, 188294 markings/sec, 640 secs
lola: sara is running 645 secs || 122523777 markings, 367844712 edges, 183920 markings/sec, 645 secs
lola: sara is running 650 secs || 123431891 markings, 370640747 edges, 181623 markings/sec, 650 secs
lola: sara is running 655 secs || 124363119 markings, 373395249 edges, 186246 markings/sec, 655 secs
lola: sara is running 660 secs || 125285675 markings, 376082113 edges, 184511 markings/sec, 660 secs
lola: sara is running 665 secs || 126217611 markings, 378783312 edges, 186387 markings/sec, 665 secs
lola: sara is running 670 secs || 127136729 markings, 381644589 edges, 183824 markings/sec, 670 secs
lola: sara is running 675 secs || 128049088 markings, 384486264 edges, 182472 markings/sec, 675 secs
lola: sara is running 680 secs || 129016282 markings, 387090869 edges, 193439 markings/sec, 680 secs
lola: sara is running 685 secs || 129965343 markings, 389820859 edges, 189812 markings/sec, 685 secs
lola: sara is running 690 secs || 130894147 markings, 392797692 edges, 185761 markings/sec, 690 secs
lola: sara is running 695 secs || 131760925 markings, 395679753 edges, 173356 markings/sec, 695 secs
lola: sara is running 700 secs || 132648320 markings, 398482279 edges, 177479 markings/sec, 700 secs
lola: sara is running 705 secs || 133559168 markings, 401282728 edges, 182170 markings/sec, 705 secs
lola: sara is running 710 secs || 134439669 markings, 404237410 edges, 176100 markings/sec, 710 secs
lola: sara is running 715 secs || 135324751 markings, 407114763 edges, 177016 markings/sec, 715 secs
lola: sara is running 720 secs || 136218449 markings, 409957433 edges, 178740 markings/sec, 720 secs
lola: sara is running 725 secs || 137194930 markings, 412491568 edges, 195296 markings/sec, 725 secs
lola: sara is running 730 secs || 138157632 markings, 415316899 edges, 192540 markings/sec, 730 secs
lola: sara is running 735 secs || 139105498 markings, 417990837 edges, 189573 markings/sec, 735 secs
lola: sara is running 740 secs || 140021240 markings, 420767471 edges, 183148 markings/sec, 740 secs
lola: sara is running 745 secs || 140890618 markings, 423450688 edges, 173876 markings/sec, 745 secs
lola: sara is running 750 secs || 141775899 markings, 426073282 edges, 177056 markings/sec, 750 secs
lola: sara is running 755 secs || 142783941 markings, 428677542 edges, 201608 markings/sec, 755 secs
lola: sara is running 760 secs || 143678297 markings, 431269913 edges, 178871 markings/sec, 760 secs
lola: sara is running 765 secs || 144567757 markings, 434066307 edges, 177892 markings/sec, 765 secs
lola: sara is running 770 secs || 145441453 markings, 436701470 edges, 174739 markings/sec, 770 secs
lola: sara is running 775 secs || 146333764 markings, 439341922 edges, 178462 markings/sec, 775 secs
lola: sara is running 780 secs || 147180398 markings, 441935613 edges, 169327 markings/sec, 780 secs
lola: sara is running 785 secs || 148065465 markings, 444677703 edges, 177013 markings/sec, 785 secs
lola: sara is running 790 secs || 148961589 markings, 447265875 edges, 179225 markings/sec, 790 secs
lola: sara is running 795 secs || 149945962 markings, 449821229 edges, 196875 markings/sec, 795 secs
lola: sara is running 800 secs || 150989633 markings, 452181761 edges, 208734 markings/sec, 800 secs
lola: sara is running 805 secs || 151948572 markings, 454669767 edges, 191788 markings/sec, 805 secs
lola: sara is running 810 secs || 152852817 markings, 457400391 edges, 180849 markings/sec, 810 secs
lola: sara is running 815 secs || 153761814 markings, 460333462 edges, 181799 markings/sec, 815 secs
lola: sara is running 820 secs || 154644640 markings, 463141451 edges, 176565 markings/sec, 820 secs
lola: sara is running 825 secs || 155485258 markings, 465780589 edges, 168124 markings/sec, 825 secs
lola: sara is running 830 secs || 156378520 markings, 468532828 edges, 178652 markings/sec, 830 secs
lola: sara is running 835 secs || 157212242 markings, 471306431 edges, 166744 markings/sec, 835 secs
lola: sara is running 840 secs || 158062231 markings, 474117917 edges, 169998 markings/sec, 840 secs
lola: sara is running 845 secs || 158996886 markings, 476981758 edges, 186931 markings/sec, 845 secs
lola: sara is running 850 secs || 159932741 markings, 479751312 edges, 187171 markings/sec, 850 secs
lola: sara is running 855 secs || 161002548 markings, 482088279 edges, 213961 markings/sec, 855 secs
lola: sara is running 860 secs || 162063592 markings, 484529989 edges, 212209 markings/sec, 860 secs
lola: sara is running 865 secs || 163090736 markings, 486973965 edges, 205429 markings/sec, 865 secs
lola: sara is running 870 secs || 164064484 markings, 489760588 edges, 194750 markings/sec, 870 secs
lola: sara is running 875 secs || 165018516 markings, 492691698 edges, 190806 markings/sec, 875 secs
lola: sara is running 880 secs || 165915727 markings, 495508930 edges, 179442 markings/sec, 880 secs
lola: sara is running 885 secs || 166783489 markings, 498512104 edges, 173552 markings/sec, 885 secs
lola: sara is running 890 secs || 167768907 markings, 501329387 edges, 197084 markings/sec, 890 secs
lola: sara is running 895 secs || 168800828 markings, 503755416 edges, 206384 markings/sec, 895 secs
lola: sara is running 900 secs || 169861278 markings, 506314870 edges, 212090 markings/sec, 900 secs
lola: sara is running 905 secs || 170868430 markings, 509369274 edges, 201430 markings/sec, 905 secs
lola: sara is running 910 secs || 171780540 markings, 512295239 edges, 182422 markings/sec, 910 secs
lola: sara is running 915 secs || 172760156 markings, 515181948 edges, 195923 markings/sec, 915 secs
lola: sara is running 920 secs || 173688869 markings, 518086776 edges, 185743 markings/sec, 920 secs
lola: sara is running 925 secs || 174729102 markings, 520984070 edges, 208047 markings/sec, 925 secs
lola: sara is running 930 secs || 175723607 markings, 523919883 edges, 198901 markings/sec, 930 secs
lola: sara is running 935 secs || 176719676 markings, 526899114 edges, 199214 markings/sec, 935 secs
lola: sara is running 940 secs || 177676895 markings, 529857133 edges, 191444 markings/sec, 940 secs
lola: sara is running 945 secs || 178651609 markings, 532864891 edges, 194943 markings/sec, 945 secs
lola: sara is running 950 secs || 179563684 markings, 535631986 edges, 182415 markings/sec, 950 secs
lola: sara is running 955 secs || 180546420 markings, 538661653 edges, 196547 markings/sec, 955 secs
lola: sara is running 960 secs || 181537187 markings, 541487219 edges, 198153 markings/sec, 960 secs
lola: sara is running 965 secs || 182399279 markings, 544277209 edges, 172418 markings/sec, 965 secs
lola: sara is running 970 secs || 183317258 markings, 547268366 edges, 183596 markings/sec, 970 secs
lola: sara is running 975 secs || 184240076 markings, 550134843 edges, 184564 markings/sec, 975 secs
lola: sara is running 980 secs || 185184325 markings, 552987370 edges, 188850 markings/sec, 980 secs
lola: sara is running 985 secs || 186083987 markings, 555913107 edges, 179932 markings/sec, 985 secs
lola: sara is running 990 secs || 186987991 markings, 558797601 edges, 180801 markings/sec, 990 secs
lola: sara is running 995 secs || 187916733 markings, 561653558 edges, 185748 markings/sec, 995 secs
lola: sara is running 1000 secs || 188910732 markings, 564426800 edges, 198800 markings/sec, 1000 secs
lola: sara is running 1005 secs || 189947699 markings, 566927886 edges, 207393 markings/sec, 1005 secs
lola: sara is running 1010 secs || 190899315 markings, 569570849 edges, 190323 markings/sec, 1010 secs
lola: sara is running 1015 secs || 191838085 markings, 572444044 edges, 187754 markings/sec, 1015 secs
lola: sara is running 1020 secs || 192779928 markings, 575296173 edges, 188369 markings/sec, 1020 secs
lola: sara is running 1025 secs || 193727325 markings, 578237984 edges, 189479 markings/sec, 1025 secs
lola: sara is running 1030 secs || 194618895 markings, 581211817 edges, 178314 markings/sec, 1030 secs
lola: sara is running 1035 secs || 195534415 markings, 584268479 edges, 183104 markings/sec, 1035 secs
lola: sara is running 1040 secs || 196530901 markings, 586975029 edges, 199297 markings/sec, 1040 secs
lola: sara is running 1045 secs || 197541504 markings, 589462009 edges, 202121 markings/sec, 1045 secs
lola: sara is running 1050 secs || 198593864 markings, 591964781 edges, 210472 markings/sec, 1050 secs
lola: sara is running 1055 secs || 199576293 markings, 594733739 edges, 196486 markings/sec, 1055 secs
lola: sara is running 1060 secs || 200554926 markings, 597858395 edges, 195727 markings/sec, 1060 secs
lola: sara is running 1065 secs || 201504674 markings, 601021712 edges, 189950 markings/sec, 1065 secs
lola: sara is running 1070 secs || 202412733 markings, 604058520 edges, 181612 markings/sec, 1070 secs
lola: sara is running 1075 secs || 203350366 markings, 606950797 edges, 187527 markings/sec, 1075 secs
lola: sara is running 1080 secs || 204282189 markings, 609867463 edges, 186365 markings/sec, 1080 secs
lola: sara is running 1085 secs || 205228873 markings, 612843834 edges, 189337 markings/sec, 1085 secs
lola: sara is running 1090 secs || 205258495 markings, 612936474 edges, 5924 markings/sec, 1090 secs
lola: sara is running 1095 secs || 205264749 markings, 612955479 edges, 1251 markings/sec, 1095 secs
lola: sara is running 1100 secs || 205265929 markings, 612959882 edges, 236 markings/sec, 1100 secs
lola: sara is running 1105 secs || 205268582 markings, 612968731 edges, 531 markings/sec, 1105 secs
lola: sara is running 1110 secs || 205268595 markings, 612968757 edges, 3 markings/sec, 1110 secs
lola: sara is running 1115 secs || 205268607 markings, 612968789 edges, 2 markings/sec, 1115 secs
lola: sara is running 1120 secs || 205280141 markings, 613006862 edges, 2307 markings/sec, 1120 secs
lola: sara is running 1125 secs || 205280147 markings, 613006879 edges, 1 markings/sec, 1125 secs
lola: Child process aborted or communication problem between parent and child process
lola: RESULT
lola:
SUMMARY: yes no yes no no no no yes yes no no yes yes no yes unknown
FORMULA DES-PT-30a-ReachabilityCardinality-0 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
FORMULA DES-PT-30a-ReachabilityCardinality-15 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT STATE_COMPRESSION STUBBORN_SETS TOPOLOGICAL USE_NUPN
----- Kill lola and sara stderr -----
----- Kill lola and sara stdout -----
----- Finished stdout -----
----- Finished stderr -----
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-30a"
export BK_EXAMINATION="ReachabilityCardinality"
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-30a.tgz
mv DES-PT-30a 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-30a, examination is ReachabilityCardinality"
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-152646385700243"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 ;