About the Execution of ITS-Tools for AutoFlight-PT-96a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15749.980 | 3600000.00 | 3303775.00 | 145628.10 | ??F???F???F?F??F | 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-158897516200515.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-96a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897516200515
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 804K
-rw-r--r-- 1 mcc users 3.4K Mar 26 00:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 00:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 19:23 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 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 11:20 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 629K 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-96a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-96a-CTLCardinality-15
=== Now, execution of the tool begins
BK_START 1589618777790
[2020-05-16 08:46:20] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -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-16 08:46:20] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-16 08:46:20] [INFO ] Load time of PNML (sax parser for PT used): 358 ms
[2020-05-16 08:46:20] [INFO ] Transformed 2251 places.
[2020-05-16 08:46:20] [INFO ] Transformed 2225 transitions.
[2020-05-16 08:46:20] [INFO ] Found NUPN structural information;
[2020-05-16 08:46:20] [INFO ] Parsed PT model containing 2251 places and 2225 transitions in 448 ms.
Ensure Unique test removed 384 transitions
Reduce redundant transitions removed 384 transitions.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 67 ms.
Incomplete random walk after 100000 steps, including 386 resets, run finished after 2682 ms. (steps per millisecond=37 ) properties seen :[0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1]
// Phase 1: matrix 1841 rows 2251 cols
[2020-05-16 08:46:23] [INFO ] Computed 514 place invariants in 156 ms
[2020-05-16 08:46:25] [INFO ] [Real]Absence check using 513 positive place invariants in 1070 ms returned sat
[2020-05-16 08:46:25] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 14 ms returned sat
[2020-05-16 08:46:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:46:41] [INFO ] [Real]Absence check using state equation in 15551 ms returned sat
[2020-05-16 08:46:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:46:42] [INFO ] [Nat]Absence check using 513 positive place invariants in 710 ms returned unsat
[2020-05-16 08:46:44] [INFO ] [Real]Absence check using 513 positive place invariants in 1187 ms returned sat
[2020-05-16 08:46:44] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 10 ms returned sat
[2020-05-16 08:46:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:46:59] [INFO ] [Real]Absence check using state equation in 14888 ms returned sat
[2020-05-16 08:46:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:47:00] [INFO ] [Nat]Absence check using 513 positive place invariants in 448 ms returned unsat
[2020-05-16 08:47:01] [INFO ] [Real]Absence check using 513 positive place invariants in 772 ms returned sat
[2020-05-16 08:47:01] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 13 ms returned sat
[2020-05-16 08:47:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:47:15] [INFO ] [Real]Absence check using state equation in 13736 ms returned sat
[2020-05-16 08:47:15] [INFO ] State equation strengthened by 384 read => feed constraints.
[2020-05-16 08:47:15] [INFO ] [Real]Added 384 Read/Feed constraints in 94 ms returned sat
[2020-05-16 08:47:16] [INFO ] Computed and/alt/rep : 1840/25120/1840 causal constraints in 236 ms.
[2020-05-16 08:47:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:47:18] [INFO ] [Nat]Absence check using 513 positive place invariants in 766 ms returned sat
[2020-05-16 08:47:18] [INFO ] [Nat]Absence check using 513 positive and 1 generalized place invariants in 8 ms returned sat
[2020-05-16 08:47:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-16 08:47:32] [INFO ] [Nat]Absence check using state equation in 14553 ms returned sat
[2020-05-16 08:47:32] [INFO ] [Nat]Added 384 Read/Feed constraints in 119 ms returned sat
[2020-05-16 08:47:33] [INFO ] Computed and/alt/rep : 1840/25120/1840 causal constraints in 238 ms.
[2020-05-16 08:47:36] [INFO ] Added : 80 causal constraints over 16 iterations in 3763 ms. Result :(error "Failed to check-sat")
[2020-05-16 08:47:38] [INFO ] [Real]Absence check using 513 positive place invariants in 1158 ms returned sat
[2020-05-16 08:47:38] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 12 ms returned sat
[2020-05-16 08:47:38] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:47:53] [INFO ] [Real]Absence check using state equation in 14554 ms returned sat
[2020-05-16 08:47:53] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:47:54] [INFO ] [Nat]Absence check using 513 positive place invariants in 735 ms returned sat
[2020-05-16 08:47:54] [INFO ] [Nat]Absence check using 513 positive and 1 generalized place invariants in 12 ms returned sat
[2020-05-16 08:47:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-16 08:48:08] [INFO ] [Nat]Absence check using state equation in 14557 ms returned sat
[2020-05-16 08:48:09] [INFO ] [Nat]Added 384 Read/Feed constraints in 154 ms returned sat
[2020-05-16 08:48:09] [INFO ] Computed and/alt/rep : 1840/25120/1840 causal constraints in 180 ms.
[2020-05-16 08:48:13] [INFO ] Added : 115 causal constraints over 23 iterations in 4052 ms. Result :(error "Failed to check-sat")
[2020-05-16 08:48:15] [INFO ] [Real]Absence check using 513 positive place invariants in 1272 ms returned sat
[2020-05-16 08:48:15] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 14 ms returned sat
[2020-05-16 08:48:15] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:48:31] [INFO ] [Real]Absence check using state equation in 15772 ms returned sat
[2020-05-16 08:48:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:48:32] [INFO ] [Nat]Absence check using 513 positive place invariants in 458 ms returned unsat
[2020-05-16 08:48:33] [INFO ] [Real]Absence check using 513 positive place invariants in 1110 ms returned sat
[2020-05-16 08:48:33] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 9 ms returned sat
[2020-05-16 08:48:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:48:48] [INFO ] [Real]Absence check using state equation in 14816 ms returned sat
[2020-05-16 08:48:48] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:48:50] [INFO ] [Nat]Absence check using 513 positive place invariants in 1075 ms returned sat
[2020-05-16 08:48:50] [INFO ] [Nat]Absence check using 513 positive and 1 generalized place invariants in 10 ms returned sat
[2020-05-16 08:48:50] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-16 08:49:05] [INFO ] [Nat]Absence check using state equation in 14798 ms returned sat
[2020-05-16 08:49:05] [INFO ] [Nat]Added 384 Read/Feed constraints in 93 ms returned sat
[2020-05-16 08:49:05] [INFO ] Computed and/alt/rep : 1840/25120/1840 causal constraints in 199 ms.
[2020-05-16 08:49:08] [INFO ] Added : 90 causal constraints over 18 iterations in 3349 ms. Result :unknown
[2020-05-16 08:49:10] [INFO ] [Real]Absence check using 513 positive place invariants in 877 ms returned sat
[2020-05-16 08:49:10] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 12 ms returned sat
[2020-05-16 08:49:10] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:49:24] [INFO ] [Real]Absence check using state equation in 14301 ms returned sat
[2020-05-16 08:49:24] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:49:25] [INFO ] [Nat]Absence check using 513 positive place invariants in 406 ms returned unsat
[2020-05-16 08:49:27] [INFO ] [Real]Absence check using 513 positive place invariants in 1147 ms returned sat
[2020-05-16 08:49:27] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 11 ms returned sat
[2020-05-16 08:49:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:49:41] [INFO ] [Real]Absence check using state equation in 14066 ms returned sat
[2020-05-16 08:49:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:49:42] [INFO ] [Nat]Absence check using 513 positive place invariants in 958 ms returned unsat
[2020-05-16 08:49:44] [INFO ] [Real]Absence check using 513 positive place invariants in 867 ms returned sat
[2020-05-16 08:49:44] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 10 ms returned sat
[2020-05-16 08:49:44] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:49:59] [INFO ] [Real]Absence check using state equation in 15050 ms returned sat
[2020-05-16 08:49:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:50:00] [INFO ] [Nat]Absence check using 513 positive place invariants in 764 ms returned unsat
[2020-05-16 08:50:02] [INFO ] [Real]Absence check using 513 positive place invariants in 1168 ms returned sat
[2020-05-16 08:50:02] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 10 ms returned sat
[2020-05-16 08:50:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:50:16] [INFO ] [Real]Absence check using state equation in 14090 ms returned sat
[2020-05-16 08:50:16] [INFO ] [Real]Added 384 Read/Feed constraints in 75 ms returned sat
[2020-05-16 08:50:18] [INFO ] Deduced a trap composed of 1237 places in 1452 ms
[2020-05-16 08:50:20] [INFO ] Deduced a trap composed of 1243 places in 1933 ms
[2020-05-16 08:50:21] [INFO ] Deduced a trap composed of 1242 places in 1384 ms
[2020-05-16 08:50:21] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream closed (> (+ s0 s120 s122 s907 s908 s909 s910 s911 s912 s913 s915 s916 s917 s918 s919 s920 s921 s922 s923 s924 s925 s926 s927 s928 s929 s930 s931 s932 s933 s934 s935 s936 s937 s938 s939 s940 s941 s942 s943 s944 s945 s946 s947 s948 s949 s950 s951 s952 s953 s954 s955 s956 s957 s958 s959 s960 s961 s962 s963 s964 s965 s966 s967 s968 s969 s970 s971 s972 s973 s974 s975 s976 s977 s978 s979 s980 s981 s982 s983 s984 s985 s986 s987 s988 s989 s990 s991 s992 s993 s994 s995 s996 s997 s998 s999 s1000 s1001 s1002 s1003 s1004 s1005 s1006 s1007 s1008 s1009 s1010 s1011 s1012 s1013 s1014 s1015 s1016 s1017 s1018 s1019 s1020 s1021 s1022 s1023 s1024 s1025 s1026 s1027 s1028 s1029 s1030 s1031 s1032 s1033 s1034 s1035 s1037 s1038 s1039 s1040 s1041 s1042 s1043 s1044 s1045 s1046 s1047 s1048 s1049 s1050 s1051 s1052 s1053 s1054 s1055 s1056 s1057 s1058 s1059 s1060 s1061 s1062 s1063 s1064 s1065 s1066 s1067 s1068 s1069 s1070 s1071 s1072 s1073 s1074 s1075 s1076 s1077 s1078 s1079 s1080 s1081 s1082 s1083 s1084 s1085 s1086 s1087 s1088 s1089 s1090 s1091 s1092 s1093 s1094 s1095 s1096 s1097 s1098 s1099 s1100 s1101 s1102 s1103 s1104 s1105 s1106 s1107 s1108 s1109 s1110 s1111 s1112 s1113 s1114 s1115 s1116 s1117 s1118 s1119 s1120 s1121 s1122 s1123 s1124 s1125 s1126 s1127 s1128 s1129 s1130 s1131 s1132 s1133 s1134 s1135 s1136 s1137 s1138 s1139 s1140 s1141 s1142 s1143 s1144 s1145 s1146 s1147 s1148 s1149 s1150 s1151 s1152 s1153 s1154 s1155 s1156 s1157 s1159 s1160 s1161 s1162 s1163 s1164 s1165 s1166 s1167 s1168 s1169 s1170 s1171 s1172 s1173 s1174 s1175 s1176 s1177 s1178 s1179 s1180 s1181 s1182 s1183 s1184 s1185 s1186 s1187 s1188 s1189 s1190 s1191 s1192 s1193 s1194 s1195 s1196 s1197 s1198 s1199 s1200 s1201 s1202 s1203 s1204 s1205 s1206 s1207 s1208 s1209 s1210 s1211 s1212 s1213 s1214 s1215 s1216 s1217 s1218 s1219 s1220 s1221 s1222 s1223 s1224 s1225 s1226 s1227 s1228 s1229 s1230 s1231 s1232 s1233 s1234 s1235 s1236 s1237 s1238 s1239 s1240 s1241 s1242 s1243 s1244 s1245 s1246 s1247 s1248 s1249 s1250 s1251 s1252 s1253 s1254 s1255 s1256 s1257 s1258 s1259 s1260 s1261 s1262 s1263 s1264 s1265 s1266 s1267 s1268 s1269 s1270 s1271 s1272 s1273 s1274 s1275 s1276 s1277 s1278 s1279 s1281 s1282 s1283 s1284 s1285 s1286 s1287 s1288 s1289 s1290 s1291 s1292 s1293 s1294 s1295 s1296 s1297 s1298 s1299 s1300 s1301 s1302 s1303 s1304 s1305 s1306 s1307 s1308 s1309 s1310 s1311 s1312 s1313 s1314 s1315 s1316 s1317 s1318 s1319 s1320 s1321 s1322 s1323 s1324 s1325 s1326 s1327 s1328 s1329 s1330 s1331 s1332 s1333 s1334 s1335 s1336 s1337 s1338 s1339 s1340 s1341 s1342 s1343 s1344 s1345 s1346 s1347 s1348 s1349 s1350 s1351 s1352 s1353 s1354 s1355 s1356 s1357 s1358 s1359 s1360 s1361 s1362 s1363 s1364 s1365 s1366 s1367 s1368 s1369 s1370 s1371 s1372 s1373 s1374 s1375 s1376 s1377 s1379 s1380 s1381 s1382 s1383 s1384 s1385 s1386 s1387 s1388 s1389 s1390 s1391 s1392 s1393 s1394 s1395 s1396 s1397 s1398 s1399 s1400 s1401 s1402 s1403 s1404 s1405 s1406 s1407 s1408 s1409 s1410 s1411 s1412 s1413 s1414 s1415 s1416 s1417 s1418 s1419 s1420 s1421 s1422 s1423 s1424 s1425 s1426 s1427 s1428 s1429 s1430 s1431 s1432 s1433 s1434 s1435 s1436 s1437 s1438 s1439 s1440 s1441 s1442 s1443 s1444 s1445 s1446 s1447 s1448 s1449 s1450 s1451 s1452 s1453 s1454 s1455 s1456 s1457 s1458 s1459 s1460 s1461 s1462 s1463 s1464 s1465 s1466 s1467 s1468 s1469 s1470 s1471 s1472 s1473 s1474 s1475 s1477 s1478 s1479 s1480 s1481 s1482 s1483 s1484 s1485 s1486 s1487 s1488 s1489 s1490 s1491 s1492 s1493 s1494 s1495 s1496 s1497 s1498 s1499 s1500 s1501 s1502 s1503 s1504 s1505 s1506 s1507 s1508 s1509 s1510 s1511 s1512 s1513 s1514 s1515 s1516 s1517 s1518 s1519 s1520 s1521 s1522 s1523 s1524 s1525 s1526 s1527 s1528 s1529 s1530 s1531 s1532 s1533 s1534 s1535 s1536 s1537 s1538 s1539 s1540 s1541 s1542 s1543 s1544 s1545 s1546 s1547 s1548 s1549 s1550 s1551 s1552 s1553 s1554 s1555 s1556 s1557 s1558 s1559 s1560 s1561 s1562 s1563 s1564 s1565 s1566 s1567 s1568 s1569 s1570 s1571 s1572 s1573 s1575 s1576 s1577 s1578 s1579 s1580 s1581 s1582 s1583 s1584 s1585 s1586 s1587 s1588 s1589 s1590 s1591 s1592 s1593 s1594 s1595 s1596 s1597 s1598 s1599 s1600 s1601 s1602 s1603 s1604 s1605 s1606 s1607 s1608 s1609 s1610 s1611 s1612 s1613 s1614 s1615 s1616 s1617 s1618 s1619 s1620 s1621 s1622 s1623 s1624 s1625 s1626 s1627 s1628 s1629 s1630 s1631 s1632 s1633 s1634 s1635 s1636 s1637 s1638 s1639 s1640 s1641 s1642 s1643 s1644 s1645 s1646 s1647 s1648 s1649 s1650 s1651 s1652 s1653 s1654 s1655 s1656 s1657 s1658 s1659 s1660 s1661 s1662 s1663 s1664 s1665 s1666 s1667 s1668 s1669 s1670 s1671 s1673 s1674 s1675 s1676 s1677 s1679 s1680 s1681 s1682 s1683 s1685 s1686 s1687 s1688 s1689 s1691 s1692 s1693 s1694 s1695 s1697 s1698 s1699 s1700 s1701 s1703 s1704 s1705 s1706 s1707 s1709 s1710 s1711 s1712 s1713 s1715 s1716 s1717 s1718 s1719 s1721 s1722 s1723 s1724 s1725 s1727 s1728 s1729 s1730 s1731 s1733 s1734 s1735 s1736 s1737 s1739 s1740 s1741 s1742 s1743 s1745 s1746 s1747 s1748 s1749 s1751 s1752 s1753 s1754 s1755 s1757 s1758 s1759 s1760 s1761 s1763 s1764 s1765 s1766 s1767 s1769 s1770 s1771 s1772 s1773 s1775 s1776 s1777 s1778 s1779 s1781 s1782 s1783 s1784 s1785 s1787 s1788 s1789 s1790 s1791 s1793 s1794 s1795 s1796 s1797 s1799 s1800 s1801 s1802 s1803 s1805 s1806 s1807 s1808 s1809 s1811 s1812 s1813 s1814 s1815 s1817 s1818 s1819 s1820 s1821 s1823 s1824 s1825 s1826 s1827 s1829 s1830 s1831 s1832 s1833 s1835 s1836 s1837 s1838 s1839 s1841 s1842 s1843 s1844 s1845 s1847 s1848 s1849 s1850 s1851 s1853 s1854 s1855 s1856 s1857 s1859 s1860 s1861 s1862 s1863 s1865 s1866 s1867 s1868 s1869 s1871 s1872 s1873 s1874 s1875 s1877 s1878 s1879 s1880 s1881 s1883 s1884 s1885 s1886 s1887 s1889 s1890 s1891 s1892 s1893 s1895 s1896 s1897 s1898 s1899 s1901 s1902 s1903 s1904 s1905 s1907 s1908 s1909 s1910 s1911 s1913 s1914 s1915 s1916 s1917 s1919 s1920 s1921 s1922 s1923 s1925 s1926 s1927 s1928 s1929 s1931 s1932 s1933 s1934 s1935 s1937 s1938 s1939 s1940 s1941 s1943 s1944 s1945 s1946 s1947 s1949 s1950 s1951 s1952 s1953 s1955 s1956 s1957 s1958 s1959 s1961 s1962 s1963 s1964 s1965 s1967 s1968 s1969 s1970 s1971 s1973 s1974 s1975 s1976 s1977 s1979 s1980 s1981 s1982 s1983 s1985 s1986 s1987 s1988 s1989 s1991 s1992 s1993 s1994 s1995 s1997 s1998 s1999 s2000 s2001 s2003 s2004 s2005 s2006 s2007 s2009 s2010 s2011 s2012 s2013 s2015 s2016 s2017 s2018 s2019 s2021 s2022 s2023 s2024 s2025 s2027 s2028 s2029 s2030 s2031 s2033 s2034 s2035 s2036 s2037 s2039 s2040 s2041 s2042 s2043 s2045 s2046 s2047 s2048 s2049 s2051 s2052 s2053 s2054 s2055 s2057 s2058 s2059 s2060 s2061 s2063 s2064 s2065 s2066 s2067 s2069 s2070 s2071 s2072 s2073 s2075 s2076 s2077 s2078 s2079 s2081 s2082 s2083 s2084 s2085 s2087 s2088 s2089 s2090 s2091 s2093 s2094 s2095 s2096 s2097 s2099 s2100 s2101 s2102 s2103 s2105 s2106 s2107 s2108 s2109 s2111 s2112 s2113 s2114 s2115 s2117 s2118 s2119 s2120 s2121 s2123 s2124 s2125 s2126 s2127 s2129 s2130 s2131 s2132 s2133 s2135 s2136 s2137 s2138 s2139 s2141 s2142 s2143 s2144 s2145 s2147 s2148 s2149 s2150 s2151 s2153 s2154 s2155 s2156 s2157 s2159 s2160 s2161 s2162 s2163 s2165 s2166 s2167 s2168 s2169 s2171 s2172 s2173 s2174 s2175 s2177 s2178 s2179 s2180 s2181 s2183 s2184 s2185 s2186 s2187 s2189 s2190 s2191 s2192 s2193 s2195 s2196 s2197 s2198 s2199 s2201 s2202 s2203 s2204 s2205 s2207 s2208 s2209 s2210 s2211 s2213 s2214 s2215 s2216 s2217 s2219 s2220 s2221 s2222 s2223 s2225 s2226 s2227 s2228 s2229 s2231 s2232 s2233 s2234 s2235 s2237 s2238 s2239 s2240 s2241 s2243 s2244 s2245 s2246 s2247 s2249) 0)") while checking expression at index 9
[2020-05-16 08:50:23] [INFO ] [Real]Absence check using 513 positive place invariants in 817 ms returned sat
[2020-05-16 08:50:23] [INFO ] [Real]Absence check using 513 positive and 1 generalized place invariants in 8 ms returned sat
[2020-05-16 08:50:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-16 08:50:37] [INFO ] [Real]Absence check using state equation in 13795 ms returned sat
[2020-05-16 08:50:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-16 08:50:38] [INFO ] [Nat]Absence check using 513 positive place invariants in 734 ms returned sat
[2020-05-16 08:50:38] [INFO ] [Nat]Absence check using 513 positive and 1 generalized place invariants in 12 ms returned sat
[2020-05-16 08:50:38] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-16 08:50:52] [INFO ] [Nat]Absence check using state equation in 13801 ms returned sat
[2020-05-16 08:50:52] [INFO ] [Nat]Added 384 Read/Feed constraints in 104 ms returned sat
[2020-05-16 08:50:52] [INFO ] Computed and/alt/rep : 1840/25120/1840 causal constraints in 194 ms.
[2020-05-16 08:50:57] [INFO ] Added : 125 causal constraints over 25 iterations in 4668 ms. Result :unknown
Successfully simplified 6 atomic propositions for a total of 6 simplifications.
[2020-05-16 08:50:57] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-05-16 08:50:57] [INFO ] Flatten gal took : 481 ms
[2020-05-16 08:50:58] [INFO ] Initial state reduction rules for CTL removed 5 formulas.
[2020-05-16 08:50:58] [INFO ] Flatten gal took : 203 ms
FORMULA AutoFlight-PT-96a-CTLCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-96a-CTLCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-96a-CTLCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-96a-CTLCardinality-06 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AutoFlight-PT-96a-CTLCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-16 08:50:58] [INFO ] Applying decomposition
[2020-05-16 08:50:58] [INFO ] Flatten gal took : 155 ms
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/graph2314725579619187390.txt, -o, /tmp/graph2314725579619187390.bin, -w, /tmp/graph2314725579619187390.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/graph2314725579619187390.bin, -l, -1, -v, -w, /tmp/graph2314725579619187390.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-16 08:50:58] [INFO ] Decomposing Gal with order
[2020-05-16 08:50:59] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-16 08:50:59] [INFO ] Removed a total of 143 redundant transitions.
[2020-05-16 08:50:59] [INFO ] Flatten gal took : 392 ms
[2020-05-16 08:51:00] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 75 ms.
[2020-05-16 08:51:00] [INFO ] Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 41 ms
[2020-05-16 08:51:00] [INFO ] Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 2 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-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
built 97 ordering constraints for composite.
built 19 ordering constraints for composite.
built 12 ordering constraints for composite.
built 51 ordering constraints for composite.
built 93 ordering constraints for composite.
built 29 ordering constraints for composite.
built 54 ordering constraints for composite.
built 48 ordering constraints for composite.
built 56 ordering constraints for composite.
built 51 ordering constraints for composite.
built 48 ordering constraints for composite.
built 48 ordering constraints for composite.
built 37 ordering constraints for composite.
built 59 ordering constraints for composite.
built 37 ordering constraints for composite.
built 48 ordering constraints for composite.
built 37 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 49 ordering constraints for composite.
built 16 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 9 ordering constraints for composite.
built 36 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 28 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 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 59 ordering constraints for composite.
built 40 ordering constraints for composite.
built 31 ordering constraints for composite.
built 23 ordering constraints for composite.
built 59 ordering constraints for composite.
built 13 ordering constraints for composite.
built 13 ordering constraints for composite.
built 72 ordering constraints for composite.
built 69 ordering constraints for composite.
built 20 ordering constraints for composite.
built 15 ordering constraints for composite.
built 59 ordering constraints for composite.
built 58 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 17 ordering constraints for composite.
built 23 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 17 ordering constraints for composite.
Detected timeout of ITS tools.
[2020-05-16 09:12:35] [INFO ] Applying decomposition
[2020-05-16 09:12:36] [INFO ] Flatten gal took : 989 ms
[2020-05-16 09:12:36] [INFO ] Decomposing Gal with order
[2020-05-16 09:12:36] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-16 09:12:38] [INFO ] Removed a total of 422 redundant transitions.
[2020-05-16 09:12:38] [INFO ] Flatten gal took : 611 ms
[2020-05-16 09:12:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 288 labels/synchronizations in 432 ms.
[2020-05-16 09:12:39] [INFO ] Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 42 ms
[2020-05-16 09:12:39] [INFO ] Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 2 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-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
built 729 ordering constraints for composite.
Detected timeout of ITS tools.
[2020-05-16 09:34:18] [INFO ] Flatten gal took : 5618 ms
[2020-05-16 09:34:20] [INFO ] Input system was already deterministic with 1841 transitions.
[2020-05-16 09:34:20] [INFO ] Transformed 2251 places.
[2020-05-16 09:34:20] [INFO ] Transformed 1841 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-16 09:34:20] [INFO ] Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 44 ms
[2020-05-16 09:34:20] [INFO ] Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 5 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-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ctl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Parsed 11 CTL formulae.
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLCardinality -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 CTLCardinality -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-96a"
export BK_EXAMINATION="CTLCardinality"
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-96a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897516200515"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AutoFlight-PT-96a.tgz
mv AutoFlight-PT-96a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;