About the Execution of ITS-Tools for AutoFlight-PT-24a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15743.490 | 123661.00 | 210660.00 | 497.20 | FTFFTFFTFFFTTFTF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r006-smll-158897516100485.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is AutoFlight-PT-24a, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897516100485
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 4.0K Mar 25 23:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 25 23:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 18:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 15:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 15:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 10:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 10:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 169K Mar 24 05:37 model.pnml
--------------------
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 AutoFlight-PT-24a-00
FORMULA_NAME AutoFlight-PT-24a-01
FORMULA_NAME AutoFlight-PT-24a-02
FORMULA_NAME AutoFlight-PT-24a-03
FORMULA_NAME AutoFlight-PT-24a-04
FORMULA_NAME AutoFlight-PT-24a-05
FORMULA_NAME AutoFlight-PT-24a-06
FORMULA_NAME AutoFlight-PT-24a-07
FORMULA_NAME AutoFlight-PT-24a-08
FORMULA_NAME AutoFlight-PT-24a-09
FORMULA_NAME AutoFlight-PT-24a-10
FORMULA_NAME AutoFlight-PT-24a-11
FORMULA_NAME AutoFlight-PT-24a-12
FORMULA_NAME AutoFlight-PT-24a-13
FORMULA_NAME AutoFlight-PT-24a-14
FORMULA_NAME AutoFlight-PT-24a-15
=== Now, execution of the tool begins
BK_START 1589582102440
[2020-05-15 22:35:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-15 22:35:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-15 22:35:05] [INFO ] Load time of PNML (sax parser for PT used): 162 ms
[2020-05-15 22:35:05] [INFO ] Transformed 607 places.
[2020-05-15 22:35:05] [INFO ] Transformed 605 transitions.
[2020-05-15 22:35:05] [INFO ] Found NUPN structural information;
[2020-05-15 22:35:05] [INFO ] Parsed PT model containing 607 places and 605 transitions in 252 ms.
Ensure Unique test removed 120 transitions
Reduce redundant transitions removed 120 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 30 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 1129 resets, run finished after 863 ms. (steps per millisecond=115 ) properties seen :[1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 0, 0, 0, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1]
// Phase 1: matrix 485 rows 607 cols
[2020-05-15 22:35:06] [INFO ] Computed 148 place invariants in 31 ms
[2020-05-15 22:35:06] [INFO ] [Real]Absence check using 147 positive place invariants in 122 ms returned sat
[2020-05-15 22:35:06] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 6 ms returned sat
[2020-05-15 22:35:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:08] [INFO ] [Real]Absence check using state equation in 1581 ms returned sat
[2020-05-15 22:35:08] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:08] [INFO ] [Nat]Absence check using 147 positive place invariants in 152 ms returned sat
[2020-05-15 22:35:08] [INFO ] [Nat]Absence check using 147 positive and 1 generalized place invariants in 5 ms returned sat
[2020-05-15 22:35:08] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:10] [INFO ] [Nat]Absence check using state equation in 1223 ms returned sat
[2020-05-15 22:35:10] [INFO ] State equation strengthened by 120 read => feed constraints.
[2020-05-15 22:35:10] [INFO ] [Nat]Added 120 Read/Feed constraints in 44 ms returned sat
[2020-05-15 22:35:10] [INFO ] Computed and/alt/rep : 484/2344/484 causal constraints in 84 ms.
[2020-05-15 22:35:17] [INFO ] Added : 430 causal constraints over 86 iterations in 7593 ms. Result :sat
[2020-05-15 22:35:18] [INFO ] [Real]Absence check using 147 positive place invariants in 148 ms returned sat
[2020-05-15 22:35:18] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 6 ms returned sat
[2020-05-15 22:35:18] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:19] [INFO ] [Real]Absence check using state equation in 1547 ms returned sat
[2020-05-15 22:35:19] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:20] [INFO ] [Nat]Absence check using 147 positive place invariants in 127 ms returned unsat
[2020-05-15 22:35:20] [INFO ] [Real]Absence check using 147 positive place invariants in 173 ms returned sat
[2020-05-15 22:35:20] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 6 ms returned sat
[2020-05-15 22:35:20] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:22] [INFO ] [Real]Absence check using state equation in 1621 ms returned sat
[2020-05-15 22:35:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:22] [INFO ] [Nat]Absence check using 147 positive place invariants in 133 ms returned sat
[2020-05-15 22:35:22] [INFO ] [Nat]Absence check using 147 positive and 1 generalized place invariants in 2 ms returned unsat
[2020-05-15 22:35:22] [INFO ] [Real]Absence check using 147 positive place invariants in 153 ms returned sat
[2020-05-15 22:35:22] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 6 ms returned sat
[2020-05-15 22:35:22] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:24] [INFO ] [Real]Absence check using state equation in 1682 ms returned sat
[2020-05-15 22:35:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:24] [INFO ] [Nat]Absence check using 147 positive place invariants in 32 ms returned unsat
[2020-05-15 22:35:25] [INFO ] [Real]Absence check using 147 positive place invariants in 98 ms returned sat
[2020-05-15 22:35:25] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 3 ms returned sat
[2020-05-15 22:35:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:26] [INFO ] [Real]Absence check using state equation in 978 ms returned sat
[2020-05-15 22:35:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:26] [INFO ] [Nat]Absence check using 147 positive place invariants in 94 ms returned sat
[2020-05-15 22:35:26] [INFO ] [Nat]Absence check using 147 positive and 1 generalized place invariants in 3 ms returned sat
[2020-05-15 22:35:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:27] [INFO ] [Nat]Absence check using state equation in 985 ms returned sat
[2020-05-15 22:35:27] [INFO ] [Nat]Added 120 Read/Feed constraints in 29 ms returned sat
[2020-05-15 22:35:27] [INFO ] Computed and/alt/rep : 484/2344/484 causal constraints in 67 ms.
[2020-05-15 22:35:36] [INFO ] Added : 475 causal constraints over 95 iterations in 9064 ms. Result :sat
[2020-05-15 22:35:36] [INFO ] [Real]Absence check using 147 positive place invariants in 149 ms returned sat
[2020-05-15 22:35:36] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 6 ms returned sat
[2020-05-15 22:35:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:38] [INFO ] [Real]Absence check using state equation in 1517 ms returned sat
[2020-05-15 22:35:38] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:38] [INFO ] [Nat]Absence check using 147 positive place invariants in 137 ms returned sat
[2020-05-15 22:35:38] [INFO ] [Nat]Absence check using 147 positive and 1 generalized place invariants in 4 ms returned sat
[2020-05-15 22:35:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:39] [INFO ] [Nat]Absence check using state equation in 1159 ms returned sat
[2020-05-15 22:35:39] [INFO ] [Nat]Added 120 Read/Feed constraints in 22 ms returned sat
[2020-05-15 22:35:40] [INFO ] Deduced a trap composed of 258 places in 235 ms
[2020-05-15 22:35:40] [INFO ] Deduced a trap composed of 253 places in 363 ms
[2020-05-15 22:35:40] [INFO ] Deduced a trap composed of 264 places in 325 ms
[2020-05-15 22:35:41] [INFO ] Deduced a trap composed of 254 places in 342 ms
[2020-05-15 22:35:41] [INFO ] Deduced a trap composed of 268 places in 293 ms
[2020-05-15 22:35:41] [INFO ] Deduced a trap composed of 267 places in 245 ms
[2020-05-15 22:35:42] [INFO ] Deduced a trap composed of 266 places in 243 ms
[2020-05-15 22:35:42] [INFO ] Trap strengthening (SAT) tested/added 8/7 trap constraints in 2344 ms
[2020-05-15 22:35:42] [INFO ] Computed and/alt/rep : 484/2344/484 causal constraints in 50 ms.
[2020-05-15 22:35:49] [INFO ] Added : 406 causal constraints over 82 iterations in 6797 ms. Result :sat
[2020-05-15 22:35:49] [INFO ] Deduced a trap composed of 252 places in 269 ms
[2020-05-15 22:35:49] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 441 ms
[2020-05-15 22:35:49] [INFO ] [Real]Absence check using 147 positive place invariants in 99 ms returned sat
[2020-05-15 22:35:49] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 4 ms returned sat
[2020-05-15 22:35:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:50] [INFO ] [Real]Absence check using state equation in 995 ms returned sat
[2020-05-15 22:35:50] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:35:50] [INFO ] [Nat]Absence check using 147 positive place invariants in 82 ms returned sat
[2020-05-15 22:35:50] [INFO ] [Nat]Absence check using 147 positive and 1 generalized place invariants in 3 ms returned sat
[2020-05-15 22:35:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-15 22:35:52] [INFO ] [Nat]Absence check using state equation in 1428 ms returned sat
[2020-05-15 22:35:52] [INFO ] [Nat]Added 120 Read/Feed constraints in 39 ms returned sat
[2020-05-15 22:35:52] [INFO ] Computed and/alt/rep : 484/2344/484 causal constraints in 61 ms.
[2020-05-15 22:36:02] [INFO ] Added : 479 causal constraints over 96 iterations in 10032 ms. Result :sat
[2020-05-15 22:36:02] [INFO ] [Real]Absence check using 147 positive place invariants in 153 ms returned sat
[2020-05-15 22:36:02] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 5 ms returned sat
[2020-05-15 22:36:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:36:04] [INFO ] [Real]Absence check using state equation in 1537 ms returned sat
[2020-05-15 22:36:04] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:36:04] [INFO ] [Nat]Absence check using 147 positive place invariants in 28 ms returned unsat
[2020-05-15 22:36:04] [INFO ] [Real]Absence check using 147 positive place invariants in 137 ms returned sat
[2020-05-15 22:36:04] [INFO ] [Real]Absence check using 147 positive and 1 generalized place invariants in 5 ms returned sat
[2020-05-15 22:36:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-15 22:36:06] [INFO ] [Real]Absence check using state equation in 1549 ms returned sat
[2020-05-15 22:36:06] [INFO ] Solution in real domain found non-integer solution.
[2020-05-15 22:36:06] [INFO ] [Nat]Absence check using 147 positive place invariants in 115 ms returned unsat
Successfully simplified 5 atomic propositions for a total of 7 simplifications.
[2020-05-15 22:36:07] [INFO ] Initial state reduction rules for CTL removed 9 formulas.
[2020-05-15 22:36:07] [INFO ] Flatten gal took : 197 ms
FORMULA AutoFlight-PT-24a-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-24a-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-15 22:36:07] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-05-15 22:36:07] [INFO ] Flatten gal took : 86 ms
[2020-05-15 22:36:07] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA AutoFlight-PT-24a-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-15 22:36:07] [INFO ] Applying decomposition
[2020-05-15 22:36:07] [INFO ] Flatten gal took : 79 ms
[2020-05-15 22:36:07] [INFO ] Input system was already deterministic with 485 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph13239651452737259550.txt, -o, /tmp/graph13239651452737259550.bin, -w, /tmp/graph13239651452737259550.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph13239651452737259550.bin, -l, -1, -v, -w, /tmp/graph13239651452737259550.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-15 22:36:08] [INFO ] Decomposing Gal with order
[2020-05-15 22:36:08] [INFO ] Rewriting arrays to variables to allow decomposition.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 485 rows 607 cols
[2020-05-15 22:36:08] [INFO ] Computed 148 place invariants in 34 ms
inv : p0 + p36 + p37 + p38 = 1
inv : p0 + p192 = 1
inv : p0 + p28 = 1
inv : p0 + p207 = 1
inv : p0 + p77 = 1
inv : p0 + p126 = 1
inv : p0 + p190 + p191 = 1
inv : p0 + p113 + p114 + p115 = 1
inv : p0 + p175 + p176 = 1
inv : p0 + p46 + p47 + p48 = 1
inv : p0 + p599 + p600 + p601 + p602 + p603 + p604 = 1
inv : p0 + p144 + p145 + p146 = 1
inv : p0 + p177 = 1
inv : p0 + p147 = 1
inv : p0 + p92 + p93 + p94 = 1
inv : p0 + p187 + p188 = 1
inv : p0 + p57 + p58 + p59 = 1
inv : p0 + p102 + p103 + p104 = 1
inv : p0 + p25 + p26 + p27 = 1
inv : p0 + p49 = 1
inv : p0 + p98 = 1
inv : p0 + p228 = 1
inv : p0 + p123 + p124 + p125 = 1
inv : p0 + p71 + p72 + p73 = 1
inv : p0 + p198 = 1
inv : p0 + p235 + p236 = 1
inv : p0 + p78 + p79 + p80 = 1
inv : p0 + p205 + p206 = 1
inv : p0 + p213 = 1
inv : p0 + p11 + p12 + p13 = 1
inv : p0 + p551 + p552 + p553 + p554 + p555 + p556 = 1
inv : p0 + p217 + p218 = 1
inv : p0 + p491 + p492 + p493 + p494 + p495 + p496 = 1
inv : p0 + p216 = 1
inv : p0 + p223 + p224 = 1
inv : p0 + p208 + p209 = 1
inv : p0 + p32 + p33 + p34 = 1
inv : p0 + p109 + p110 + p111 = 1
inv : p0 + p81 + p82 + p83 = 1
inv : p0 + p193 + p194 = 1
inv : p0 + p7 = 1
inv : p0 + p186 = 1
inv : p0 + p503 + p504 + p505 + p506 + p507 + p508 = 1
inv : p0 + p593 + p594 + p595 + p596 + p597 + p598 = 1
inv : p0 + p56 = 1
inv : p0 + p148 + p149 + p150 = 1
inv : p0 + p539 + p540 + p541 + p542 + p543 + p544 = 1
inv : p0 + p105 = 1
inv : p0 + p172 + p173 = 1
inv : p0 + p201 = 1
inv : p0 + p99 + p100 + p101 = 1
inv : p0 + p155 + p156 + p157 = 1
inv : p0 + p169 + p170 = 1
inv : p0 + p88 + p89 + p90 = 1
inv : p0 + p473 + p474 + p475 + p476 + p477 + p478 = 1
inv : p0 + p232 + p233 = 1
inv : p0 + p527 + p528 + p529 + p530 + p531 + p532 = 1
inv : p0 + p237 = 1
inv : p0 + p569 + p570 + p571 + p572 + p573 + p574 = 1
inv : p0 + p106 + p107 + p108 = 1
inv : p0 + p120 + p121 + p122 = 1
inv : p0 + p184 + p185 = 1
inv : p0 + p154 = 1
inv : p0 + p74 + p75 + p76 = 1
inv : p0 + p515 + p516 + p517 + p518 + p519 + p520 = 1
inv : p0 + p171 = 1
inv : p0 + p53 + p54 + p55 = 1
inv : p0 + p222 = 1
inv : p0 + p220 + p221 = 1
inv : p0 + p60 + p61 + p62 = 1
inv : p0 + p134 + p135 + p136 = 1
inv : p0 + p461 + p462 + p463 + p464 + p465 + p466 = 1
inv : p0 + p127 + p128 + p129 = 1
inv : p0 + p67 + p68 + p69 = 1
inv : p0 + p581 + p582 + p583 + p584 + p585 + p586 = 1
inv : -25*p0 + p241 + p242 + p243 + p244 + p245 + p246 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 + p255 + p256 + p257 + p258 + p259 + p260 + p261 + p262 + p263 + p264 + p265 + p266 + p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 + p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p306 + p307 + p308 + p309 + p310 + p311 + p312 + p313 + p314 + p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 + p330 + p331 + p332 + p333 + p334 + p335 + p336 + p337 + p338 + p339 + p340 + p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 + p352 + p353 + p354 + p355 + p356 + p357 + p358 + p359 + p360 + p361 - p460 - p466 - p472 - p478 - p484 - p490 - p496 - p502 - p508 - p514 - p520 - p526 - p532 - p538 - p544 - p550 - p556 - p562 - p568 - p574 - p580 - p586 - p592 - p598 - p604 - p606 = -25
inv : p0 + p18 + p19 + p20 = 1
inv : p0 + p95 + p96 + p97 = 1
inv : p0 + p575 + p576 + p577 + p578 + p579 + p580 = 1
inv : p0 + p225 = 1
inv : p0 + p162 + p163 + p164 = 1
inv : p0 + p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p374 + p375 + p376 + p377 + p378 + p379 + p380 + p381 + p382 + p383 + p384 + p385 + p386 + p387 + p388 + p389 + p390 + p391 + p392 + p393 + p394 + p395 + p396 + p397 + p398 + p399 + p400 + p401 + p402 + p403 + p404 + p405 + p406 + p407 + p408 + p409 + p410 + p411 + p412 + p413 + p414 + p415 + p416 + p417 + p418 + p419 + p420 + p421 + p422 + p423 + p424 + p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 + p459 + p460 = 1
inv : p0 + p467 + p468 + p469 + p470 + p471 + p472 = 1
inv : p0 + p240 = 1
inv : p0 + p196 + p197 = 1
inv : p0 + p8 + p9 + p10 = 1
inv : p0 + p85 + p86 + p87 = 1
inv : p0 + p210 = 1
inv : p0 + p141 + p142 + p143 = 1
inv : p0 + p181 + p182 = 1
inv : p0 + p14 = 1
inv : p0 + p112 = 1
inv : p0 + p63 = 1
inv : p0 + p161 = 1
inv : p0 + p39 + p40 + p41 = 1
inv : p0 + p180 = 1
inv : p0 + p199 + p200 = 1
inv : p0 + p485 + p486 + p487 + p488 + p489 + p490 = 1
inv : p0 + p137 + p138 + p139 = 1
inv : p0 + p557 + p558 + p559 + p560 + p561 + p562 = 1
inv : p0 + p195 = 1
inv : p0 + p84 = 1
inv : p0 + p497 + p498 + p499 + p500 + p501 + p502 = 1
inv : p0 + p133 = 1
inv : p0 + p545 + p546 + p547 + p548 + p549 + p550 = 1
inv : p0 + p116 + p117 + p118 = 1
inv : 26*p0 + p362 + p460 + p466 + p472 + p478 + p484 + p490 + p496 + p502 + p508 + p514 + p520 + p526 + p532 + p538 + p544 + p550 + p556 + p562 + p568 + p574 + p580 + p586 + p592 + p598 + p604 + p606 = 26
inv : p0 + p64 + p65 + p66 = 1
inv : p0 + p229 + p230 = 1
inv : p0 + p231 = 1
inv : p0 + p211 + p212 = 1
inv : p0 + p35 = 1
inv : p0 + p21 = 1
inv : p0 + p178 + p179 = 1
inv : p0 + p158 + p159 + p160 = 1
inv : p0 + p70 = 1
inv : p0 + p119 = 1
inv : p0 + p479 + p480 + p481 + p482 + p483 + p484 = 1
inv : p0 + p168 = 1
inv : p0 + p587 + p588 + p589 + p590 + p591 + p592 = 1
inv : p0 + p4 + p5 + p6 = 1
inv : p0 + p183 = 1
inv : p0 + p130 + p131 + p132 = 1
inv : p0 + p238 + p239 = 1
inv : p0 + p1 + p2 + p3 = 1
inv : p0 + p605 + p606 = 1
inv : p0 + p509 + p510 + p511 + p512 + p513 + p514 = 1
inv : p0 + p533 + p534 + p535 + p536 + p537 + p538 = 1
inv : p0 + p563 + p564 + p565 + p566 + p567 + p568 = 1
inv : p0 + p50 + p51 + p52 = 1
inv : p0 + p234 = 1
inv : p0 + p204 = 1
inv : p0 + p43 + p44 + p45 = 1
inv : p0 + p29 + p30 + p31 = 1
inv : p0 + p151 + p152 + p153 = 1
inv : p0 + p202 + p203 = 1
inv : p0 + p165 + p166 + p167 = 1
inv : p0 + p42 = 1
inv : p0 + p219 = 1
inv : p0 + p15 + p16 + p17 = 1
inv : p0 + p174 = 1
inv : p0 + p22 + p23 + p24 = 1
inv : p0 + p214 + p215 = 1
inv : p0 + p91 = 1
inv : p0 + p226 + p227 = 1
inv : p0 + p140 = 1
inv : p0 + p189 = 1
inv : p0 + p521 + p522 + p523 + p524 + p525 + p526 = 1
Total of 148 invariants.
[2020-05-15 22:36:08] [INFO ] Computed 148 place invariants in 53 ms
[2020-05-15 22:36:08] [INFO ] Removed a total of 48 redundant transitions.
[2020-05-15 22:36:08] [INFO ] Flatten gal took : 195 ms
[2020-05-15 22:36:08] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 15 ms.
[2020-05-15 22:36:08] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 21 ms
[2020-05-15 22:36:08] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 6 LTL properties
Checking formula 0 : !((X(!(F("((i0.i0.i2.u5.p15!=0)&&(i20.i0.i0.u80.p221!=1))")))))
Formula 0 simplified : !X!F"((i0.i0.i2.u5.p15!=0)&&(i20.i0.i0.u80.p221!=1))"
built 49 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 9 ordering constraints for composite.
built 11 ordering constraints for composite.
built 57 ordering constraints for composite.
built 33 ordering constraints for composite.
built 44 ordering constraints for composite.
built 19 ordering constraints for composite.
built 13 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 11 ordering constraints for composite.
built 11 ordering constraints for composite.
built 13 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 13 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 16 ordering constraints for composite.
built 11 ordering constraints for composite.
built 16 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 8 ordering constraints for composite.
built 10 ordering constraints for composite.
built 18 ordering constraints for composite.
built 22 ordering constraints for composite.
built 14 ordering constraints for composite.
built 18 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
[2020-05-15 22:36:10] [INFO ] Proved 607 variables to be positive in 1970 ms
[2020-05-15 22:36:10] [INFO ] Computing symmetric may disable matrix : 485 transitions.
[2020-05-15 22:36:10] [INFO ] Computation of disable matrix completed :0/485 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-15 22:36:10] [INFO ] Computation of Complete disable matrix. took 88 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-15 22:36:10] [INFO ] Computing symmetric may enable matrix : 485 transitions.
[2020-05-15 22:36:10] [INFO ] Computation of Complete enable matrix. took 36 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-15 22:36:12] [INFO ] Computing symmetric co enabling matrix : 485 transitions.
[2020-05-15 22:36:13] [INFO ] Computation of co-enabling matrix(30/485) took 1253 ms. Total solver calls (SAT/UNSAT): 523(3/520)
Reverse transition relation is NOT exact ! Due to transitions t565, t566, i0.i0.i1.u7.t223, i0.i0.i2.u3.t232, i0.i0.i2.u5.t226, i0.i1.i1.u4.t229, i1.i0.i0.u14.t205, i1.i1.i0.u12.t211, i2.u11.t214, i2.u13.t208, i2.u15.t202, i2.u17.t196, i3.u22.t181, i4.u42.t127, i5.i0.i0.u49.t112, i5.i0.i0.u51.t109, i5.i1.i0.u53.t103, i6.u52.t106, i6.u54.t100, i6.u55.t97, i7.u0.t238, i7.u2.t235, i8.u9.t220, i8.u10.t217, i13.u30.t160, i13.u32.t154, i13.u34.t148, i13.u36.t142, i14.u39.t136, i14.u41.t130, i14.u44.t124, i14.u47.t118, i19.i0.i0.u16.t199, i19.i1.i0.u18.t193, i20.i0.i1.u40.t133, i20.i0.i2.u37.t139, i20.i1.i0.u35.t145, i21.u19.t190, i21.u20.t187, i22.u21.t184, i22.u23.t178, i22.u25.t172, i22.u28.t166, i22.u24.t175, i23.i0.i0.u26.t169, i23.i1.i0.u29.t163, i24.i0.i0.u31.t157, i24.i1.i0.u33.t151, i25.u45.t121, i25.u48.t115, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/435/50/485
Computing Next relation with stutter on 48 deadlock states
[2020-05-15 22:36:16] [INFO ] Computation of co-enabling matrix(169/485) took 4423 ms. Total solver calls (SAT/UNSAT): 1112(220/892)
[2020-05-15 22:36:19] [INFO ] Computation of co-enabling matrix(177/485) took 7444 ms. Total solver calls (SAT/UNSAT): 2452(1560/892)
[2020-05-15 22:36:22] [INFO ] Computation of co-enabling matrix(186/485) took 10618 ms. Total solver calls (SAT/UNSAT): 3883(2991/892)
[2020-05-15 22:36:25] [INFO ] Computation of co-enabling matrix(195/485) took 13662 ms. Total solver calls (SAT/UNSAT): 5233(4341/892)
[2020-05-15 22:36:29] [INFO ] Computation of co-enabling matrix(205/485) took 16890 ms. Total solver calls (SAT/UNSAT): 6638(5746/892)
[2020-05-15 22:36:32] [INFO ] Computation of co-enabling matrix(216/485) took 20136 ms. Total solver calls (SAT/UNSAT): 8068(7176/892)
[2020-05-15 22:36:35] [INFO ] Computation of co-enabling matrix(227/485) took 23267 ms. Total solver calls (SAT/UNSAT): 9360(8463/897)
[2020-05-15 22:36:38] [INFO ] Computation of co-enabling matrix(239/485) took 26330 ms. Total solver calls (SAT/UNSAT): 10632(9729/903)
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
2976 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,29.8582,570856,1,0,544335,358884,7154,2.24175e+06,1674,2.34789e+06,1063570
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA AutoFlight-PT-24a-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((!(X(F((G(X(!(X("((i6.u55.p167==0)||(i2.u17.p50==1))")))))&&(F(F("((i6.u55.p167!=0)&&(i2.u17.p50!=1))"))))))))
Formula 1 simplified : XF(GX!X"((i6.u55.p167==0)||(i2.u17.p50==1))" & F"((i6.u55.p167!=0)&&(i2.u17.p50!=1))")
Computing Next relation with stutter on 48 deadlock states
[2020-05-15 22:36:41] [INFO ] Computation of co-enabling matrix(284/485) took 29345 ms. Total solver calls (SAT/UNSAT): 14054(9828/4226)
[2020-05-15 22:36:44] [INFO ] Computation of co-enabling matrix(365/485) took 32439 ms. Total solver calls (SAT/UNSAT): 15820(10308/5512)
[2020-05-15 22:36:47] [INFO ] Computation of co-enabling matrix(381/485) took 35610 ms. Total solver calls (SAT/UNSAT): 17188(11676/5512)
[2020-05-15 22:36:50] [INFO ] Computation of co-enabling matrix(399/485) took 38628 ms. Total solver calls (SAT/UNSAT): 18421(12909/5512)
5 unique states visited
5 strongly connected components in search stack
6 transitions explored
5 items max in DFS search stack
1247 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,42.3387,783704,1,0,1.01237e+06,360786,7218,2.88102e+06,1678,2.36166e+06,1539687
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA AutoFlight-PT-24a-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !((F(X(F(!(G(F((!(F(X(F("((i16.u97.p254==0)||(i21.u68.p194==1))")))))&&(!(X(G("((i17.u162.p390==0)||(i1.i1.i0.u12.p34==1))"))))))))))))
Formula 2 simplified : !FXF!GF(!FXF"((i16.u97.p254==0)||(i21.u68.p194==1))" & !XG"((i17.u162.p390==0)||(i1.i1.i0.u12.p34==1))")
Computing Next relation with stutter on 48 deadlock states
99 unique states visited
0 strongly connected components in search stack
99 transitions explored
99 items max in DFS search stack
75 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,43.0921,799836,1,0,1.0596e+06,360786,7300,2.93133e+06,1681,2.36166e+06,1586152
no accepting run found
Formula 2 is TRUE no accepting run found.
FORMULA AutoFlight-PT-24a-04 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !((F(F(G(X("((i13.u143.p354==0)||(i24.i1.i1.u214.p548==1))"))))))
Formula 3 simplified : !FGX"((i13.u143.p354==0)||(i24.i1.i1.u214.p548==1))"
Computing Next relation with stutter on 48 deadlock states
3 unique states visited
2 strongly connected components in search stack
4 transitions explored
3 items max in DFS search stack
69 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,43.7778,816188,1,0,1.09083e+06,360807,7323,2.98267e+06,1681,2.36673e+06,1642738
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA AutoFlight-PT-24a-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !((X(X(G(X(G((!(F("((i8.u195.p180==0)||(i16.u95.p250==1))")))&&("((i19.i1.i0.u18.p54==0)||(i12.u156.p378==1))"))))))))
Formula 4 simplified : !XXGXG("((i19.i1.i0.u18.p54==0)||(i12.u156.p378==1))" & !F"((i8.u195.p180==0)||(i16.u95.p250==1))")
Computing Next relation with stutter on 48 deadlock states
[2020-05-15 22:36:53] [INFO ] Computation of co-enabling matrix(437/485) took 41801 ms. Total solver calls (SAT/UNSAT): 19485(13519/5966)
[2020-05-15 22:36:56] [INFO ] Computation of co-enabling matrix(459/485) took 44851 ms. Total solver calls (SAT/UNSAT): 20266(13754/6512)
6 unique states visited
6 strongly connected components in search stack
6 transitions explored
6 items max in DFS search stack
570 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,49.4787,944972,1,0,1.26086e+06,441671,7401,3.27943e+06,1682,2.91126e+06,1997099
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA AutoFlight-PT-24a-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((!(G(((F(("((i2.u15.p44==0)||(i23.i0.i0.u187.p446==1))")U(F("((i2.u15.p44==0)||(i23.i0.i0.u187.p446==1))"))))&&(G("((u226.p478==0)||(i12.u132.p332==1))")))&&(F("((i23.i1.i0.u29.p89==0)||(i13.u34.p107==1))"))))))
Formula 5 simplified : G(F("((i2.u15.p44==0)||(i23.i0.i0.u187.p446==1))" U F"((i2.u15.p44==0)||(i23.i0.i0.u187.p446==1))") & G"((u226.p478==0)||(i12.u132.p332==1))" & F"((i23.i1.i0.u29.p89==0)||(i13.u34.p107==1))")
Computing Next relation with stutter on 48 deadlock states
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,49.4836,945596,1,0,1.26086e+06,441671,7473,3.27943e+06,1683,2.91126e+06,1997291
no accepting run found
Formula 5 is TRUE no accepting run found.
FORMULA AutoFlight-PT-24a-12 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
[2020-05-15 22:37:00] [INFO ] Computation of co-enabling matrix(477/485) took 47874 ms. Total solver calls (SAT/UNSAT): 20545(14033/6512)
[2020-05-15 22:37:00] [INFO ] Computation of Finished co-enabling matrix. took 48269 ms. Total solver calls (SAT/UNSAT): 20566(14054/6512)
[2020-05-15 22:37:00] [INFO ] Computing Do-Not-Accords matrix : 485 transitions.
[2020-05-15 22:37:00] [INFO ] Computation of Completed DNA matrix. took 470 ms. Total solver calls (SAT/UNSAT): 121(0/121)
[2020-05-15 22:37:00] [INFO ] Built C files in 53432ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
BK_STOP 1589582226101
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
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="AutoFlight-PT-24a"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is AutoFlight-PT-24a, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897516100485"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-24a.tgz
mv AutoFlight-PT-24a execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;