About the Execution of ITS-Tools for DES-PT-60a
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3350.600 | 1932774.00 | 5315482.00 | 1739.70 | TFTTTTFTTTTFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2022-input.r042-smll-165252095900534.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2022-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is DES-PT-60a, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r042-smll-165252095900534
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.4K Apr 29 15:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Apr 29 15:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Apr 29 15:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Apr 29 15:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:33 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 10 09:33 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.7K May 9 07:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K May 9 07:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 9 07:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 9 07:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 29 15:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 29 15:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.1K Apr 29 15:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Apr 29 15:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K May 9 07:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K May 9 07:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:33 equiv_col
-rw-r--r-- 1 mcc users 4 May 10 09:33 instance
-rw-r--r-- 1 mcc users 6 May 10 09:33 iscolored
-rw-r--r-- 1 mcc users 110K May 10 09:33 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 DES-PT-60a-ReachabilityCardinality-00
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-01
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-02
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-03
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-04
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-05
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-06
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-07
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-08
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-09
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-10
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-11
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-12
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-13
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-14
FORMULA_NAME DES-PT-60a-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1654192112289
Running Version 202205111006
[2022-06-02 17:48:34] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2022-06-02 17:48:34] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-06-02 17:48:34] [INFO ] Load time of PNML (sax parser for PT used): 171 ms
[2022-06-02 17:48:34] [INFO ] Transformed 354 places.
[2022-06-02 17:48:34] [INFO ] Transformed 311 transitions.
[2022-06-02 17:48:34] [INFO ] Found NUPN structural information;
[2022-06-02 17:48:34] [INFO ] Parsed PT model containing 354 places and 311 transitions in 341 ms.
Parsed 16 properties from file /home/mcc/execution/ReachabilityCardinality.xml in 39 ms.
Working with output stream class java.io.PrintStream
Ensure Unique test removed 14 transitions
Reduce redundant transitions removed 14 transitions.
Incomplete random walk after 10000 steps, including 210 resets, run finished after 908 ms. (steps per millisecond=11 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 21 ms. (steps per millisecond=47 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 15 ms. (steps per millisecond=66 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 19 ms. (steps per millisecond=52 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 3 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 23 ms. (steps per millisecond=43 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 14 ms. (steps per millisecond=71 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 17 ms. (steps per millisecond=58 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 33 ms. (steps per millisecond=30 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 5 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1001 steps, including 4 resets, run finished after 22 ms. (steps per millisecond=45 ) properties (out of 16) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 32 ms. (steps per millisecond=31 ) properties (out of 16) seen :0
Interrupted probabilistic random walk after 302230 steps, run timeout after 3001 ms. (steps per millisecond=100 ) properties seen :{}
Probabilistic random walk after 302230 steps, saw 55421 distinct states, run finished after 3018 ms. (steps per millisecond=100 ) properties seen :0
Running SMT prover for 16 properties.
// Phase 1: matrix 297 rows 354 cols
[2022-06-02 17:48:39] [INFO ] Computed 59 place invariants in 41 ms
[2022-06-02 17:48:39] [INFO ] [Real]Absence check using 34 positive place invariants in 25 ms returned sat
[2022-06-02 17:48:39] [INFO ] [Real]Absence check using 34 positive and 25 generalized place invariants in 39 ms returned sat
[2022-06-02 17:48:39] [INFO ] After 686ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:16
[2022-06-02 17:48:40] [INFO ] [Nat]Absence check using 34 positive place invariants in 13 ms returned sat
[2022-06-02 17:48:40] [INFO ] [Nat]Absence check using 34 positive and 25 generalized place invariants in 358 ms returned sat
[2022-06-02 17:48:48] [INFO ] After 7470ms SMT Verify possible using state equation in natural domain returned unsat :8 sat :8
[2022-06-02 17:48:48] [INFO ] State equation strengthened by 1 read => feed constraints.
[2022-06-02 17:48:54] [INFO ] After 6534ms SMT Verify possible using 1 Read/Feed constraints in natural domain returned unsat :8 sat :8
[2022-06-02 17:48:55] [INFO ] Deduced a trap composed of 12 places in 76 ms of which 8 ms to minimize.
[2022-06-02 17:48:55] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 128 ms
[2022-06-02 17:48:56] [INFO ] Deduced a trap composed of 9 places in 83 ms of which 2 ms to minimize.
[2022-06-02 17:48:56] [INFO ] Deduced a trap composed of 10 places in 67 ms of which 1 ms to minimize.
[2022-06-02 17:48:56] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 317 ms
[2022-06-02 17:48:57] [INFO ] Deduced a trap composed of 9 places in 113 ms of which 1 ms to minimize.
[2022-06-02 17:48:57] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 163 ms
[2022-06-02 17:48:58] [INFO ] After 10537ms SMT Verify possible using trap constraints in natural domain returned unsat :8 sat :8
Attempting to minimize the solution found.
Minimization took 4196 ms.
[2022-06-02 17:49:03] [INFO ] After 23326ms SMT Verify possible using all constraints in natural domain returned unsat :8 sat :8
FORMULA DES-PT-60a-ReachabilityCardinality-13 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-10 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-09 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-08 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-07 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-06 FALSE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-05 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
FORMULA DES-PT-60a-ReachabilityCardinality-02 TRUE TECHNIQUES STRUCTURAL_REDUCTION TOPOLOGICAL SAT_SMT
Fused 16 Parikh solutions to 8 different solutions.
FORMULA DES-PT-60a-ReachabilityCardinality-04 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
FORMULA DES-PT-60a-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 3 properties in 46418 ms.
Support contains 45 out of 354 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 354/354 places, 297/297 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 354 transition count 296
Partial Free-agglomeration rule applied 5 times.
Drop transitions removed 5 transitions
Iterating global reduction 1 with 5 rules applied. Total rules applied 6 place count 354 transition count 296
Applied a total of 6 rules in 104 ms. Remains 354 /354 variables (removed 0) and now considering 296/297 (removed 1) transitions.
Finished structural reductions, in 1 iterations. Remains : 354/354 places, 296/297 transitions.
Incomplete random walk after 1000000 steps, including 16495 resets, run finished after 24947 ms. (steps per millisecond=40 ) properties (out of 5) seen :0
Interrupted Best-First random walk after 883973 steps, including 2610 resets, run timeout after 5001 ms. (steps per millisecond=176 ) properties seen 0
Interrupted Best-First random walk after 911231 steps, including 2656 resets, run timeout after 5001 ms. (steps per millisecond=182 ) properties seen 0
Interrupted Best-First random walk after 689147 steps, including 2251 resets, run timeout after 5001 ms. (steps per millisecond=137 ) properties seen 0
Interrupted Best-First random walk after 738199 steps, including 2167 resets, run timeout after 5001 ms. (steps per millisecond=147 ) properties seen 0
Interrupted Best-First random walk after 947603 steps, including 2782 resets, run timeout after 5001 ms. (steps per millisecond=189 ) properties seen 0
Interrupted probabilistic random walk after 27964987 steps, run timeout after 147001 ms. (steps per millisecond=190 ) properties seen :{}
Probabilistic random walk after 27964987 steps, saw 3149852 distinct states, run finished after 147001 ms. (steps per millisecond=190 ) properties seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 296 rows 354 cols
[2022-06-02 17:53:06] [INFO ] Computed 60 place invariants in 13 ms
[2022-06-02 17:53:06] [INFO ] After 170ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2022-06-02 17:53:06] [INFO ] [Nat]Absence check using 34 positive place invariants in 22 ms returned sat
[2022-06-02 17:53:07] [INFO ] [Nat]Absence check using 34 positive and 26 generalized place invariants in 193 ms returned sat
[2022-06-02 17:53:16] [INFO ] After 5434ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2022-06-02 17:53:16] [INFO ] State equation strengthened by 4 read => feed constraints.
[2022-06-02 17:53:18] [INFO ] After 2130ms SMT Verify possible using 4 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2022-06-02 17:53:18] [INFO ] Deduced a trap composed of 13 places in 114 ms of which 1 ms to minimize.
[2022-06-02 17:53:18] [INFO ] Deduced a trap composed of 7 places in 86 ms of which 1 ms to minimize.
[2022-06-02 17:53:19] [INFO ] Deduced a trap composed of 17 places in 60 ms of which 1 ms to minimize.
[2022-06-02 17:53:19] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 1346 ms
[2022-06-02 17:53:19] [INFO ] Deduced a trap composed of 13 places in 76 ms of which 0 ms to minimize.
[2022-06-02 17:53:19] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 119 ms
[2022-06-02 17:53:22] [INFO ] After 6041ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 2757 ms.
[2022-06-02 17:53:24] [INFO ] After 18074ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
Parikh walk visited 0 properties in 37229 ms.
Support contains 45 out of 354 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 354/354 places, 296/296 transitions.
Applied a total of 0 rules in 23 ms. Remains 354 /354 variables (removed 0) and now considering 296/296 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 354/354 places, 296/296 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 354/354 places, 296/296 transitions.
Applied a total of 0 rules in 19 ms. Remains 354 /354 variables (removed 0) and now considering 296/296 (removed 0) transitions.
// Phase 1: matrix 296 rows 354 cols
[2022-06-02 17:54:02] [INFO ] Computed 60 place invariants in 11 ms
[2022-06-02 17:54:02] [INFO ] Implicit Places using invariants in 484 ms returned [251]
Discarding 1 places :
Implicit Place search using SMT only with invariants took 489 ms to find 1 implicit places.
Starting structural reductions in SAFETY mode, iteration 1 : 353/354 places, 296/296 transitions.
Applied a total of 0 rules in 18 ms. Remains 353 /353 variables (removed 0) and now considering 296/296 (removed 0) transitions.
Finished structural reductions, in 2 iterations. Remains : 353/354 places, 296/296 transitions.
Incomplete random walk after 1000000 steps, including 16499 resets, run finished after 24113 ms. (steps per millisecond=41 ) properties (out of 5) seen :0
Interrupted Best-First random walk after 890943 steps, including 2609 resets, run timeout after 5001 ms. (steps per millisecond=178 ) properties seen 0
Interrupted Best-First random walk after 905013 steps, including 2715 resets, run timeout after 5003 ms. (steps per millisecond=180 ) properties seen 0
Interrupted Best-First random walk after 726180 steps, including 2401 resets, run timeout after 5001 ms. (steps per millisecond=145 ) properties seen 0
Interrupted Best-First random walk after 766969 steps, including 2362 resets, run timeout after 5001 ms. (steps per millisecond=153 ) properties seen 0
Interrupted Best-First random walk after 910202 steps, including 2728 resets, run timeout after 5001 ms. (steps per millisecond=182 ) properties seen 0
Interrupted probabilistic random walk after 29191967 steps, run timeout after 147001 ms. (steps per millisecond=198 ) properties seen :{}
Probabilistic random walk after 29191967 steps, saw 3255478 distinct states, run finished after 147002 ms. (steps per millisecond=198 ) properties seen :0
Running SMT prover for 5 properties.
// Phase 1: matrix 296 rows 353 cols
[2022-06-02 17:57:18] [INFO ] Computed 59 place invariants in 8 ms
[2022-06-02 17:57:18] [INFO ] After 141ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:5
[2022-06-02 17:57:19] [INFO ] [Nat]Absence check using 33 positive place invariants in 11 ms returned sat
[2022-06-02 17:57:22] [INFO ] [Nat]Absence check using 33 positive and 26 generalized place invariants in 3043 ms returned sat
[2022-06-02 17:57:27] [INFO ] After 4735ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :5
[2022-06-02 17:57:27] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-02 17:57:31] [INFO ] After 4212ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :5
[2022-06-02 17:57:32] [INFO ] Deduced a trap composed of 20 places in 86 ms of which 1 ms to minimize.
[2022-06-02 17:57:32] [INFO ] Deduced a trap composed of 18 places in 89 ms of which 1 ms to minimize.
[2022-06-02 17:57:32] [INFO ] Deduced a trap composed of 17 places in 92 ms of which 1 ms to minimize.
[2022-06-02 17:57:32] [INFO ] Trap strengthening (SAT) tested/added 4/3 trap constraints in 361 ms
[2022-06-02 17:57:33] [INFO ] After 6498ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :5
Attempting to minimize the solution found.
Minimization took 3492 ms.
[2022-06-02 17:57:37] [INFO ] After 18154ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :5
FORMULA DES-PT-60a-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL PARIKH_WALK
Parikh walk visited 1 properties in 31900 ms.
Support contains 23 out of 353 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 353/353 places, 296/296 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 353 transition count 295
Discarding 1 places :
Symmetric choice reduction at 1 with 1 rule applications. Total rules 2 place count 352 transition count 294
Iterating global reduction 1 with 1 rules applied. Total rules applied 3 place count 352 transition count 294
Applied a total of 3 rules in 34 ms. Remains 352 /353 variables (removed 1) and now considering 294/296 (removed 2) transitions.
Finished structural reductions, in 1 iterations. Remains : 352/353 places, 294/296 transitions.
Incomplete random walk after 1000000 steps, including 13429 resets, run finished after 24566 ms. (steps per millisecond=40 ) properties (out of 4) seen :0
Interrupted Best-First random walk after 983094 steps, including 2222 resets, run timeout after 5001 ms. (steps per millisecond=196 ) properties seen 0
Incomplete Best-First random walk after 1000001 steps, including 2244 resets, run finished after 4969 ms. (steps per millisecond=201 ) properties (out of 4) seen :0
Interrupted Best-First random walk after 765974 steps, including 1834 resets, run timeout after 5001 ms. (steps per millisecond=153 ) properties seen 0
Interrupted Best-First random walk after 972842 steps, including 2225 resets, run timeout after 5001 ms. (steps per millisecond=194 ) properties seen 0
Interrupted probabilistic random walk after 24971816 steps, run timeout after 132001 ms. (steps per millisecond=189 ) properties seen :{}
Probabilistic random walk after 24971816 steps, saw 3026343 distinct states, run finished after 132001 ms. (steps per millisecond=189 ) properties seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:01:05] [INFO ] Computed 60 place invariants in 6 ms
[2022-06-02 18:01:05] [INFO ] After 106ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-02 18:01:05] [INFO ] [Nat]Absence check using 35 positive place invariants in 10 ms returned sat
[2022-06-02 18:01:05] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 98 ms returned sat
[2022-06-02 18:01:07] [INFO ] After 1156ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-02 18:01:07] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-02 18:01:07] [INFO ] After 325ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2022-06-02 18:01:07] [INFO ] Deduced a trap composed of 7 places in 87 ms of which 1 ms to minimize.
[2022-06-02 18:01:07] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 134 ms
[2022-06-02 18:01:08] [INFO ] Deduced a trap composed of 17 places in 58 ms of which 1 ms to minimize.
[2022-06-02 18:01:08] [INFO ] Deduced a trap composed of 14 places in 55 ms of which 1 ms to minimize.
[2022-06-02 18:01:08] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 236 ms
[2022-06-02 18:01:08] [INFO ] After 1157ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 361 ms.
[2022-06-02 18:01:08] [INFO ] After 3015ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Parikh walk visited 0 properties in 23311 ms.
Support contains 23 out of 352 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 19 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 18 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:01:32] [INFO ] Computed 60 place invariants in 6 ms
[2022-06-02 18:01:32] [INFO ] Implicit Places using invariants in 423 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:01:32] [INFO ] Computed 60 place invariants in 7 ms
[2022-06-02 18:01:32] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-02 18:01:33] [INFO ] Implicit Places using invariants and state equation in 935 ms returned []
Implicit Place search using SMT with State Equation took 1360 ms to find 0 implicit places.
[2022-06-02 18:01:33] [INFO ] Redundant transitions in 20 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:01:33] [INFO ] Computed 60 place invariants in 5 ms
[2022-06-02 18:01:33] [INFO ] Dead Transitions using invariants and state equation in 312 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Incomplete random walk after 1000000 steps, including 13561 resets, run finished after 24065 ms. (steps per millisecond=41 ) properties (out of 4) seen :0
Interrupted Best-First random walk after 971433 steps, including 2212 resets, run timeout after 5001 ms. (steps per millisecond=194 ) properties seen 0
Interrupted Best-First random walk after 966997 steps, including 2189 resets, run timeout after 5001 ms. (steps per millisecond=193 ) properties seen 0
Interrupted Best-First random walk after 750540 steps, including 1829 resets, run timeout after 5001 ms. (steps per millisecond=150 ) properties seen 0
Interrupted Best-First random walk after 913212 steps, including 2089 resets, run timeout after 5001 ms. (steps per millisecond=182 ) properties seen 0
Interrupted probabilistic random walk after 24611430 steps, run timeout after 132001 ms. (steps per millisecond=186 ) properties seen :{}
Probabilistic random walk after 24611430 steps, saw 2985975 distinct states, run finished after 132001 ms. (steps per millisecond=186 ) properties seen :0
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:04:29] [INFO ] Computed 60 place invariants in 9 ms
[2022-06-02 18:04:29] [INFO ] After 105ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-02 18:04:30] [INFO ] [Nat]Absence check using 35 positive place invariants in 10 ms returned sat
[2022-06-02 18:04:30] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 99 ms returned sat
[2022-06-02 18:04:31] [INFO ] After 1164ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-02 18:04:31] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-02 18:04:31] [INFO ] After 347ms SMT Verify possible using 2 Read/Feed constraints in natural domain returned unsat :0 sat :4
[2022-06-02 18:04:31] [INFO ] Deduced a trap composed of 7 places in 95 ms of which 1 ms to minimize.
[2022-06-02 18:04:32] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 142 ms
[2022-06-02 18:04:32] [INFO ] Deduced a trap composed of 17 places in 68 ms of which 0 ms to minimize.
[2022-06-02 18:04:32] [INFO ] Deduced a trap composed of 14 places in 52 ms of which 1 ms to minimize.
[2022-06-02 18:04:32] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 248 ms
[2022-06-02 18:04:32] [INFO ] After 1227ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 387 ms.
[2022-06-02 18:04:33] [INFO ] After 3123ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
Parikh walk visited 0 properties in 24639 ms.
Support contains 23 out of 352 places. Attempting structural reductions.
Starting structural reductions in SAFETY mode, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 31 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Starting structural reductions in SAFETY mode, iteration 0 : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 15 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:04:57] [INFO ] Computed 60 place invariants in 5 ms
[2022-06-02 18:04:58] [INFO ] Implicit Places using invariants in 399 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:04:58] [INFO ] Computed 60 place invariants in 6 ms
[2022-06-02 18:04:58] [INFO ] State equation strengthened by 2 read => feed constraints.
[2022-06-02 18:04:59] [INFO ] Implicit Places using invariants and state equation in 877 ms returned []
Implicit Place search using SMT with State Equation took 1278 ms to find 0 implicit places.
[2022-06-02 18:04:59] [INFO ] Redundant transitions in 5 ms returned []
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:04:59] [INFO ] Computed 60 place invariants in 5 ms
[2022-06-02 18:04:59] [INFO ] Dead Transitions using invariants and state equation in 300 ms found 0 transitions.
Finished structural reductions, in 1 iterations. Remains : 352/352 places, 294/294 transitions.
Applied a total of 0 rules in 19 ms. Remains 352 /352 variables (removed 0) and now considering 294/294 (removed 0) transitions.
Running SMT prover for 4 properties.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:04:59] [INFO ] Computed 60 place invariants in 5 ms
[2022-06-02 18:04:59] [INFO ] After 97ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:4
[2022-06-02 18:04:59] [INFO ] [Nat]Absence check using 35 positive place invariants in 12 ms returned sat
[2022-06-02 18:04:59] [INFO ] [Nat]Absence check using 35 positive and 25 generalized place invariants in 103 ms returned sat
[2022-06-02 18:05:00] [INFO ] After 1131ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :4
[2022-06-02 18:05:01] [INFO ] Deduced a trap composed of 8 places in 99 ms of which 1 ms to minimize.
[2022-06-02 18:05:01] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 138 ms
[2022-06-02 18:05:01] [INFO ] After 1841ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :4
Attempting to minimize the solution found.
Minimization took 447 ms.
[2022-06-02 18:05:02] [INFO ] After 2632ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :4
[2022-06-02 18:05:02] [INFO ] Flatten gal took : 111 ms
[2022-06-02 18:05:02] [INFO ] Flatten gal took : 49 ms
[2022-06-02 18:05:02] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4347308664695498197.gal : 20 ms
[2022-06-02 18:05:02] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality15595888495640245619.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4347308664695498197.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality15595888495640245619.prop' '--nowitness' '--gen-order' 'FOLLOW'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...320
Loading property file /tmp/ReachabilityCardinality15595888495640245619.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 5
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :5 after 21
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :21 after 25
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :25 after 33
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :33 after 45
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :45 after 93
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :93 after 109
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :109 after 1329
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1329 after 1559
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :13397 after 60849
SDD proceeding with computation,4 properties remain. new max is 4096
SDD size :60849 after 5.46552e+06
Detected timeout of ITS tools.
[2022-06-02 18:05:17] [INFO ] Flatten gal took : 40 ms
[2022-06-02 18:05:17] [INFO ] Applying decomposition
[2022-06-02 18:05:17] [INFO ] Flatten gal took : 36 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph4292078543553452910.txt' '-o' '/tmp/graph4292078543553452910.bin' '-w' '/tmp/graph4292078543553452910.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph4292078543553452910.bin' '-l' '-1' '-v' '-w' '/tmp/graph4292078543553452910.weights' '-q' '0' '-e' '0.001'
[2022-06-02 18:05:17] [INFO ] Decomposing Gal with order
[2022-06-02 18:05:17] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-02 18:05:18] [INFO ] Removed a total of 75 redundant transitions.
[2022-06-02 18:05:18] [INFO ] Flatten gal took : 112 ms
[2022-06-02 18:05:18] [INFO ] Fuse similar labels procedure discarded/fused a total of 53 labels/synchronizations in 13 ms.
[2022-06-02 18:05:18] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9610053729249731682.gal : 9 ms
[2022-06-02 18:05:18] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality1603845390847769694.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality9610053729249731682.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality1603845390847769694.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...298
Loading property file /tmp/ReachabilityCardinality1603845390847769694.prop.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :3 after 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 9
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :9 after 105
SDD proceeding with computation,4 properties remain. new max is 64
SDD size :105 after 1389
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :1389 after 7973
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :7973 after 7.24398e+08
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :7.24398e+08 after 1.31027e+09
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :1.31027e+09 after 2.14719e+09
SDD proceeding with computation,4 properties remain. new max is 2048
SDD size :2.14719e+09 after 3.31898e+09
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16494773926925280534
[2022-06-02 18:05:33] [INFO ] Built C files in 22ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16494773926925280534
Running compilation step : cd /tmp/ltsmin16494773926925280534;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '3' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Compilation finished in 987 ms.
Running link step : cd /tmp/ltsmin16494773926925280534;'gcc' '-shared' '-o' 'gal.so' 'model.o'
Link finished in 45 ms.
Running LTSmin : cd /tmp/ltsmin16494773926925280534;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '--when' '-i' 'DESPT60aReachabilityCardinality01==true'
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
[2022-06-02 18:05:48] [INFO ] Flatten gal took : 36 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/tmp/ltsmin4075444882605393283
[2022-06-02 18:05:48] [INFO ] Computing symmetric may disable matrix : 294 transitions.
[2022-06-02 18:05:48] [INFO ] Applying decomposition
[2022-06-02 18:05:48] [INFO ] Computation of Complete disable matrix. took 5 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-02 18:05:48] [INFO ] Computing symmetric may enable matrix : 294 transitions.
[2022-06-02 18:05:48] [INFO ] Computation of Complete enable matrix. took 3 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-02 18:05:48] [INFO ] Computing Do-Not-Accords matrix : 294 transitions.
[2022-06-02 18:05:48] [INFO ] Flatten gal took : 50 ms
[2022-06-02 18:05:48] [INFO ] Computation of Completed DNA matrix. took 11 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2022-06-02 18:05:48] [INFO ] Built C files in 87ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin4075444882605393283
Running compilation step : cd /tmp/ltsmin4075444882605393283;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/limit_time.pl' '180' 'gcc' '-c' '-I/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/include/' '-I.' '-std=c99' '-fPIC' '-O0' 'model.c'
Converted graph to binary with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/convert-linux64' '-i' '/tmp/graph16059729144648648232.txt' '-o' '/tmp/graph16059729144648648232.bin' '-w' '/tmp/graph16059729144648648232.weights'
Built communities with : '/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202205111006/bin/louvain-linux64' '/tmp/graph16059729144648648232.bin' '-l' '-1' '-v' '-w' '/tmp/graph16059729144648648232.weights' '-q' '0' '-e' '0.001'
[2022-06-02 18:05:48] [INFO ] Decomposing Gal with order
[2022-06-02 18:05:48] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-06-02 18:05:48] [INFO ] Flatten gal took : 59 ms
[2022-06-02 18:05:48] [INFO ] Input system was already deterministic with 294 transitions.
[2022-06-02 18:05:48] [INFO ] Removed a total of 26 redundant transitions.
[2022-06-02 18:05:48] [INFO ] Flatten gal took : 100 ms
[2022-06-02 18:05:48] [INFO ] Fuse similar labels procedure discarded/fused a total of 2 labels/synchronizations in 3 ms.
[2022-06-02 18:05:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1099821500213237745.gal : 10 ms
[2022-06-02 18:05:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality13174179364176252145.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality1099821500213237745.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality13174179364176252145.prop' '--nowitness'
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202205111006/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /tmp...299
Loading property file /tmp/ReachabilityCardinality13174179364176252145.prop.
[2022-06-02 18:05:48] [INFO ] Ran tautology test, simplified 0 / 4 in 367 ms.
SDD proceeding with computation,4 properties remain. new max is 4
SDD size :1 after 3
SDD proceeding with computation,4 properties remain. new max is 8
SDD size :3 after 5
SDD proceeding with computation,4 properties remain. new max is 16
SDD size :5 after 21
SDD proceeding with computation,4 properties remain. new max is 32
SDD size :21 after 139
SDD proceeding with computation,4 properties remain. new max is 64
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=0 took 14 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=0 took 1 ms
SDD size :139 after 185
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=0 took 1 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=0 took 1 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=1 took 8 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=1 took 1 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=1 took 5 ms
[2022-06-02 18:05:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=1 took 1 ms
SDD proceeding with computation,4 properties remain. new max is 128
SDD size :185 after 6043
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=2 took 196 ms
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=2 took 1 ms
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=2 took 6 ms
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=2 took 2 ms
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 294 rows 352 cols
[2022-06-02 18:05:49] [INFO ] Computed 60 place invariants in 6 ms
[2022-06-02 18:05:49] [INFO ] Computed 60 place invariants in 6 ms
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=3 took 130 ms
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=3 took 125 ms
Compilation finished in 1479 ms.
Running link step : cd /tmp/ltsmin4075444882605393283;'gcc' '-shared' '-o' 'gal.so' 'model.o'
[2022-06-02 18:05:49] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=3 took 465 ms
Link finished in 65 ms.
Running LTSmin : cd /tmp/ltsmin4075444882605393283;'/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.ltsmin.binaries_1.0.0.202205111006/bin/pins2lts-mc-linux64' './gal.so' '--threads=8' '-p' '--pins-guards' '--when' '-i' 'DESPT60aReachabilityCardinality01==true'
[2022-06-02 18:05:50] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=3 took 142 ms
SDD proceeding with computation,4 properties remain. new max is 256
SDD size :6043 after 4.86793e+08
SDD proceeding with computation,4 properties remain. new max is 512
SDD size :4.86793e+08 after 8.70149e+08
SDD proceeding with computation,4 properties remain. new max is 1024
SDD size :8.70149e+08 after 1.41324e+09
[2022-06-02 18:05:52] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=4 took 2100 ms
[2022-06-02 18:05:53] [INFO ] Proved 352 variables to be positive in 3813 ms
[2022-06-02 18:05:53] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-01
[2022-06-02 18:05:53] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-01(SAT) depth K=0 took 504 ms
[2022-06-02 18:05:53] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-03
[2022-06-02 18:05:53] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-03(SAT) depth K=0 took 227 ms
[2022-06-02 18:05:53] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-11
[2022-06-02 18:05:53] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-11(SAT) depth K=0 took 47 ms
[2022-06-02 18:05:53] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-14
[2022-06-02 18:05:53] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-14(SAT) depth K=0 took 111 ms
[2022-06-02 18:05:55] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-01
[2022-06-02 18:05:55] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-01(SAT) depth K=1 took 1060 ms
[2022-06-02 18:05:55] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=4 took 3255 ms
[2022-06-02 18:05:55] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-03
[2022-06-02 18:05:55] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-03(SAT) depth K=1 took 672 ms
[2022-06-02 18:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-11
[2022-06-02 18:05:56] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-11(SAT) depth K=1 took 487 ms
[2022-06-02 18:05:56] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-14
[2022-06-02 18:05:56] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-14(SAT) depth K=1 took 552 ms
[2022-06-02 18:06:03] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-01
[2022-06-02 18:06:03] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-01(SAT) depth K=2 took 7058 ms
[2022-06-02 18:06:07] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=4 took 12078 ms
[2022-06-02 18:06:08] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-03
[2022-06-02 18:06:08] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-03(SAT) depth K=2 took 4149 ms
[2022-06-02 18:06:10] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=4 took 2856 ms
[2022-06-02 18:06:48] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-01(UNSAT) depth K=5 took 37823 ms
Invariant property DES-PT-60a-ReachabilityCardinality-01 does not hold.
FORMULA DES-PT-60a-ReachabilityCardinality-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,3 properties remain. new max is 1024
SDD size :3.42062e+12 after 3.672e+12
[2022-06-02 18:07:21] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=5 took 33395 ms
[2022-06-02 18:07:27] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-11
[2022-06-02 18:07:27] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-11(SAT) depth K=2 took 79827 ms
[2022-06-02 18:07:34] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-14
[2022-06-02 18:07:34] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-14(SAT) depth K=2 took 6728 ms
[2022-06-02 18:08:11] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=5 took 49956 ms
[2022-06-02 18:08:40] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=5 took 28661 ms
[2022-06-02 18:09:39] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-03
[2022-06-02 18:09:39] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-03(SAT) depth K=3 took 124831 ms
SDD proceeding with computation,3 properties remain. new max is 2048
SDD size :1.0684e+13 after 1.14103e+13
[2022-06-02 18:11:28] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-03(UNSAT) depth K=6 took 168586 ms
SDD proceeding with computation,3 properties remain. new max is 4096
SDD size :1.86737e+13 after 1.93967e+13
[2022-06-02 18:14:44] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-11
[2022-06-02 18:14:44] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-11(SAT) depth K=3 took 305085 ms
[2022-06-02 18:15:31] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-11(UNSAT) depth K=6 took 242267 ms
[2022-06-02 18:16:58] [INFO ] Induction result is SAT, non conclusive we might be starting from unreachable statesDES-PT-60a-ReachabilityCardinality-14
[2022-06-02 18:16:58] [INFO ] KInduction solution for property DES-PT-60a-ReachabilityCardinality-14(SAT) depth K=3 took 133846 ms
[2022-06-02 18:17:27] [INFO ] BMC solution for property DES-PT-60a-ReachabilityCardinality-14(UNSAT) depth K=6 took 116592 ms
Reachability property DES-PT-60a-ReachabilityCardinality-03 is true.
FORMULA DES-PT-60a-ReachabilityCardinality-03 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
SDD proceeding with computation,2 properties remain. new max is 4096
SDD size :3.10214e+13 after 3.12745e+13
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
petri\_inst\_inst\_mod\_flat,4.17248e+13,316.146,1158992,84412,13974,3.29121e+06,49610,341,2.01829e+06,570,458841,0
Total reachable state count : 41724814523841
Verifying 4 reachability properties.
Invariant property DES-PT-60a-ReachabilityCardinality-01 does not hold.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-01,6.95954e+11,316.748,1157820,31962,13671,3.29121e+06,49610,346,2.01829e+06,573,458841,1327
Reachability property DES-PT-60a-ReachabilityCardinality-03 is true.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-03,3.59739e+11,316.79,1157820,5680,1183,3.29121e+06,49610,348,2.01829e+06,574,458841,1327
Invariant property DES-PT-60a-ReachabilityCardinality-11 does not hold.
FORMULA DES-PT-60a-ReachabilityCardinality-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-11,4.89163e+11,321.043,1157820,7521,1499,3.29121e+06,49610,391,2.01829e+06,593,458841,684868
Invariant property DES-PT-60a-ReachabilityCardinality-14 does not hold.
FORMULA DES-PT-60a-ReachabilityCardinality-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL COLLATERAL_PROCESSING USE_NUPN
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
DES-PT-60a-ReachabilityCardinality-14,5.29089e+11,321.104,1157820,7178,1435,3.29121e+06,49610,391,2.01829e+06,595,458841,685418
ITS tools runner thread asked to quit. Dying gracefully.
[2022-06-02 18:20:44] [WARNING] Interrupting SMT solver.
[2022-06-02 18:20:44] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-02 18:20:44] [WARNING] Unexpected error occurred while running SMT. Was verifying DES-PT-60a-ReachabilityCardinality-03 SMT depth 7
java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:411)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$1.run(Gal2SMTFrontEnd.java:164)
at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verifyAssertion(NextBMCSolver.java:454)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.verify(NextBMCSolver.java:437)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runBMC(Gal2SMTFrontEnd.java:385)
... 2 more
[2022-06-02 18:20:44] [INFO ] During BMC, SMT solver timed out at depth 7
[2022-06-02 18:20:44] [INFO ] BMC solving timed out (3600000 secs) at depth 7
[2022-06-02 18:20:44] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:587)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:829)
[2022-06-02 18:20:44] [WARNING] Unexpected error occurred while running SMT. Was verifying DES-PT-60a-ReachabilityCardinality-03 K-induction depth 4
Exception in thread "Thread-12" java.lang.RuntimeException: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:344)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd$2.run(Gal2SMTFrontEnd.java:171)
at java.base/java.lang.Thread.run(Thread.java:829)
Caused by: java.lang.RuntimeException: SMT solver raised an exception or timeout :(error "Failed to check-sat")
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:299)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.KInductionSolver.verify(KInductionSolver.java:587)
at fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd.runKInduction(Gal2SMTFrontEnd.java:306)
... 2 more
[2022-06-02 18:20:44] [INFO ] SMT solved 0/ 4 properties. Interrupting SMT analysis.
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.
Total runtime 1930857 ms.
BK_STOP 1654194045063
--------------------
content from stderr:
+ export LANG=C
+ LANG=C
+ export BINDIR=/home/mcc/BenchKit/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit/bin//..//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ export PYTHONPATH=/usr/lib/python3.9/site-packages/
+ PYTHONPATH=/usr/lib/python3.9/site-packages/
+ export LD_LIBRARY_PATH=/usr/local/lib:
+ LD_LIBRARY_PATH=/usr/local/lib:
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202205111006.jar
+ VERSION=202205111006
+ echo 'Running Version 202205111006'
+ /home/mcc/BenchKit/bin//..//itstools/its-tools -data @none -pnfolder /home/mcc/execution -examination ReachabilityCardinality -spotpath /home/mcc/BenchKit/bin//..//ltlfilt -z3path /home/mcc/BenchKit/bin//..//z3/bin/z3 -yices2path /home/mcc/BenchKit/bin//..//yices/bin/yices -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=@none -Xss128m -Xms40m -Xmx8192m
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-60a"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 DES-PT-60a, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r042-smll-165252095900534"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60a.tgz
mv DES-PT-60a execution
cd execution
if [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "UpperBounds" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] || [ "ReachabilityCardinality" = "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 [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "ReachabilityCardinality" = "ReachabilityDeadlock" ] || [ "ReachabilityCardinality" = "QuasiLiveness" ] || [ "ReachabilityCardinality" = "StableMarking" ] || [ "ReachabilityCardinality" = "Liveness" ] || [ "ReachabilityCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME ReachabilityCardinality"
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 ;