About the Execution of ITS-Tools for Raft-PT-09
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15742.470 | 1343800.00 | 1432610.00 | 2953.10 | FFFFFFFFFTFFFFFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r141-smll-158961510800274.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is Raft-PT-09, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r141-smll-158961510800274
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 Raft-PT-09-00
FORMULA_NAME Raft-PT-09-01
FORMULA_NAME Raft-PT-09-02
FORMULA_NAME Raft-PT-09-03
FORMULA_NAME Raft-PT-09-04
FORMULA_NAME Raft-PT-09-05
FORMULA_NAME Raft-PT-09-06
FORMULA_NAME Raft-PT-09-07
FORMULA_NAME Raft-PT-09-08
FORMULA_NAME Raft-PT-09-09
FORMULA_NAME Raft-PT-09-10
FORMULA_NAME Raft-PT-09-11
FORMULA_NAME Raft-PT-09-12
FORMULA_NAME Raft-PT-09-13
FORMULA_NAME Raft-PT-09-14
FORMULA_NAME Raft-PT-09-15
=== Now, execution of the tool begins
BK_START 1590058866858
[2020-05-21 11:01:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-21 11:01:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-21 11:01:09] [INFO ] Load time of PNML (sax parser for PT used): 154 ms
[2020-05-21 11:01:09] [INFO ] Transformed 413 places.
[2020-05-21 11:01:09] [INFO ] Transformed 710 transitions.
[2020-05-21 11:01:09] [INFO ] Found NUPN structural information;
[2020-05-21 11:01:09] [INFO ] Parsed PT model containing 413 places and 710 transitions in 221 ms.
Ensure Unique test removed 38 transitions
Reduce redundant transitions removed 38 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 31 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 0 resets, run finished after 938 ms. (steps per millisecond=106 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
[2020-05-21 11:01:10] [INFO ] Flow matrix only has 631 transitions (discarded 41 similar events)
// Phase 1: matrix 631 rows 413 cols
[2020-05-21 11:01:11] [INFO ] Computed 81 place invariants in 33 ms
[2020-05-21 11:01:11] [INFO ] [Real]Absence check using 81 positive place invariants in 101 ms returned sat
[2020-05-21 11:01:11] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:12] [INFO ] [Real]Absence check using state equation in 903 ms returned sat
[2020-05-21 11:01:12] [INFO ] State equation strengthened by 364 read => feed constraints.
[2020-05-21 11:01:12] [INFO ] [Real]Added 364 Read/Feed constraints in 88 ms returned sat
[2020-05-21 11:01:12] [INFO ] Solution in real domain found non-integer solution.
[2020-05-21 11:01:12] [INFO ] [Nat]Absence check using 81 positive place invariants in 96 ms returned sat
[2020-05-21 11:01:12] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:13] [INFO ] [Nat]Absence check using state equation in 846 ms returned sat
[2020-05-21 11:01:13] [INFO ] [Nat]Added 364 Read/Feed constraints in 68 ms returned sat
[2020-05-21 11:01:13] [INFO ] Computed and/alt/rep : 671/5218/630 causal constraints in 74 ms.
[2020-05-21 11:01:32] [INFO ] Added : 600 causal constraints over 120 iterations in 18841 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-21 11:01:32] [INFO ] [Real]Absence check using 81 positive place invariants in 64 ms returned sat
[2020-05-21 11:01:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:33] [INFO ] [Real]Absence check using state equation in 778 ms returned sat
[2020-05-21 11:01:33] [INFO ] [Real]Added 364 Read/Feed constraints in 45 ms returned sat
[2020-05-21 11:01:33] [INFO ] Computed and/alt/rep : 671/5218/630 causal constraints in 90 ms.
[2020-05-21 11:01:33] [INFO ] Solution in real domain found non-integer solution.
[2020-05-21 11:01:34] [INFO ] [Nat]Absence check using 81 positive place invariants in 82 ms returned sat
[2020-05-21 11:01:34] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:34] [INFO ] [Nat]Absence check using state equation in 758 ms returned sat
[2020-05-21 11:01:35] [INFO ] [Nat]Added 364 Read/Feed constraints in 59 ms returned sat
[2020-05-21 11:01:35] [INFO ] Computed and/alt/rep : 671/5218/630 causal constraints in 86 ms.
[2020-05-21 11:01:54] [INFO ] Added : 590 causal constraints over 118 iterations in 18962 ms. Result :unknown
[2020-05-21 11:01:54] [INFO ] [Real]Absence check using 81 positive place invariants in 80 ms returned sat
[2020-05-21 11:01:54] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:55] [INFO ] [Real]Absence check using state equation in 937 ms returned sat
[2020-05-21 11:01:55] [INFO ] [Real]Added 364 Read/Feed constraints in 65 ms returned sat
[2020-05-21 11:01:55] [INFO ] Solution in real domain found non-integer solution.
[2020-05-21 11:01:55] [INFO ] [Nat]Absence check using 81 positive place invariants in 55 ms returned sat
[2020-05-21 11:01:55] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-21 11:01:56] [INFO ] [Nat]Absence check using state equation in 943 ms returned sat
[2020-05-21 11:01:56] [INFO ] [Nat]Added 364 Read/Feed constraints in 63 ms returned sat
[2020-05-21 11:01:56] [INFO ] Computed and/alt/rep : 671/5218/630 causal constraints in 79 ms.
[2020-05-21 11:02:15] [INFO ] Added : 615 causal constraints over 123 iterations in 18805 ms. Result :(error "Failed to check-sat")
[2020-05-21 11:02:15] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-05-21 11:02:15] [INFO ] Flatten gal took : 142 ms
FORMULA Raft-PT-09-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-21 11:02:15] [INFO ] Flatten gal took : 74 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-21 11:02:15] [INFO ] Applying decomposition
[2020-05-21 11:02:16] [INFO ] Input system was already deterministic with 672 transitions.
[2020-05-21 11:02:16] [INFO ] Flatten gal took : 173 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph7548090357341469726.txt, -o, /tmp/graph7548090357341469726.bin, -w, /tmp/graph7548090357341469726.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph7548090357341469726.bin, -l, -1, -v, -w, /tmp/graph7548090357341469726.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-21 11:02:16] [INFO ] Decomposing Gal with order
[2020-05-21 11:02:16] [INFO ] Rewriting arrays to variables to allow decomposition.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 631 out of 672 initially.
// Phase 1: matrix 631 rows 413 cols
[2020-05-21 11:02:16] [INFO ] Computed 81 place invariants in 19 ms
inv : p0 + p316 + p317 + p318 + p319 + p320 = 1
inv : p0 + p381 + p382 + p383 + p384 + p385 = 1
inv : p0 + p56 + p57 + p58 + p59 + p60 = 1
inv : p0 + p251 + p252 + p253 + p254 + p255 = 1
inv : p0 + p121 + p122 + p123 + p124 + p125 = 1
inv : p0 + p186 + p187 + p188 + p189 + p190 = 1
inv : p0 + p236 + p237 + p238 + p239 + p240 = 1
inv : p0 + p171 + p172 + p173 + p174 + p175 = 1
inv : p0 + p301 + p302 + p303 + p304 + p305 = 1
inv : p0 + p366 + p367 + p368 + p369 + p370 = 1
inv : p0 + p21 + p22 + p23 + p24 + p25 = 1
inv : p0 + p151 + p152 + p153 + p154 + p155 = 1
inv : p0 + p286 + p287 + p288 + p289 + p290 = 1
inv : p0 + p106 + p107 + p108 + p109 + p110 = 1
inv : p0 + p281 + p282 + p283 + p284 + p285 = 1
inv : p0 + p136 + p137 + p138 + p139 + p140 = 1
inv : p0 + p6 + p7 + p8 + p9 + p10 = 1
inv : p0 + p266 + p267 + p268 + p269 + p270 = 1
inv : p0 + p396 + p397 + p398 + p399 + p400 = 1
inv : p0 + p141 + p142 + p143 + p144 + p145 = 1
inv : p0 + p206 + p207 + p208 + p209 + p210 = 1
inv : p0 + p401 + p402 + p403 + p404 + p405 = 1
inv : p0 + p181 + p182 + p183 + p184 + p185 = 1
inv : p0 + p221 + p222 + p223 + p224 + p225 = 1
inv : p0 + p156 + p157 + p158 + p159 + p160 = 1
inv : p0 + p166 + p167 + p168 + p169 + p170 = 1
inv : p0 + p231 + p232 + p233 + p234 + p235 = 1
inv : p0 + p196 + p197 + p198 + p199 + p200 = 1
inv : p0 + p216 + p217 + p218 + p219 + p220 = 1
inv : p0 + p176 + p177 + p178 + p179 + p180 = 1
inv : p0 + p191 + p192 + p193 + p194 + p195 = 1
inv : p0 + p201 + p202 + p203 + p204 + p205 = 1
inv : p0 + p341 + p342 + p343 + p344 + p345 = 1
inv : p0 + p146 + p147 + p148 + p149 + p150 = 1
inv : p0 + p211 + p212 + p213 + p214 + p215 = 1
inv : p0 + p276 + p277 + p278 + p279 + p280 = 1
inv : p0 + p81 + p82 + p83 + p84 + p85 = 1
inv : p0 + p291 + p292 + p293 + p294 + p295 = 1
inv : p0 + p31 + p32 + p33 + p34 + p35 = 1
inv : p0 + p226 + p227 + p228 + p229 + p230 = 1
inv : p0 + p356 + p357 + p358 + p359 + p360 = 1
inv : p0 + p161 + p162 + p163 + p164 + p165 = 1
inv : p0 + p96 + p97 + p98 + p99 + p100 = 1
inv : p0 + p131 + p132 + p133 + p134 + p135 = 1
inv : p0 + p111 + p112 + p113 + p114 + p115 = 1
inv : p0 + p376 + p377 + p378 + p379 + p380 = 1
inv : p0 + p371 + p372 + p373 + p374 + p375 = 1
inv : p0 + p241 + p242 + p243 + p244 + p245 = 1
inv : p0 + p16 + p17 + p18 + p19 + p20 = 1
inv : p0 + p246 + p247 + p248 + p249 + p250 = 1
inv : p0 + p256 + p257 + p258 + p259 + p260 = 1
inv : p0 + p126 + p127 + p128 + p129 + p130 = 1
inv : p0 + p391 + p392 + p393 + p394 + p395 = 1
inv : p0 + p1 + p2 + p3 + p4 + p5 = 1
inv : p0 + p386 + p387 + p388 + p389 + p390 = 1
inv : p0 + p261 + p262 + p263 + p264 + p265 = 1
inv : p0 + p76 + p77 + p78 + p79 + p80 = 1
inv : p0 + p361 + p362 + p363 + p364 + p365 = 1
inv : p0 + p11 + p12 + p13 + p14 + p15 = 1
inv : p0 + p296 + p297 + p298 + p299 + p300 = 1
inv : p0 + p51 + p52 + p53 + p54 + p55 = 1
inv : p0 + p336 + p337 + p338 + p339 + p340 = 1
inv : p0 + p271 + p272 + p273 + p274 + p275 = 1
inv : p0 + p116 + p117 + p118 + p119 + p120 = 1
inv : p0 + p26 + p27 + p28 + p29 + p30 = 1
inv : p0 + p36 + p37 + p38 + p39 + p40 = 1
inv : p0 + p346 + p347 + p348 + p349 + p350 = 1
inv : p0 + p91 + p92 + p93 + p94 + p95 = 1
inv : p0 + p101 + p102 + p103 + p104 + p105 = 1
inv : p0 + p306 + p307 + p308 + p309 + p310 = 1
inv : p0 + p86 + p87 + p88 + p89 + p90 = 1
inv : p0 + p41 + p42 + p43 + p44 + p45 = 1
inv : p0 + p351 + p352 + p353 + p354 + p355 = 1
inv : p0 + p46 + p47 + p48 + p49 + p50 = 1
inv : p0 + p311 + p312 + p313 + p314 + p315 = 1
inv : p0 + p71 + p72 + p73 + p74 + p75 = 1
inv : p0 + p331 + p332 + p333 + p334 + p335 = 1
inv : p0 + p61 + p62 + p63 + p64 + p65 = 1
inv : p0 + p321 + p322 + p323 + p324 + p325 = 1
inv : p0 + p66 + p67 + p68 + p69 + p70 = 1
inv : p0 + p326 + p327 + p328 + p329 + p330 = 1
Total of 81 invariants.
[2020-05-21 11:02:16] [INFO ] Computed 81 place invariants in 21 ms
[2020-05-21 11:02:16] [INFO ] Removed a total of 464 redundant transitions.
[2020-05-21 11:02:16] [INFO ] Flatten gal took : 251 ms
[2020-05-21 11:02:16] [INFO ] Fuse similar labels procedure discarded/fused a total of 565 labels/synchronizations in 68 ms.
[2020-05-21 11:02:16] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 14 ms
[2020-05-21 11:02:16] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 15 LTL properties
Checking formula 0 : !((X((F(((F("(i5.u42.p376==1)"))&&("(i0.u19.p185==1)"))&&("(i2.u44.p385==1)")))&&(G("((i4.u41.p175==1)&&(i2.u44.p385==1))")))))
Formula 0 simplified : !X(F("(i0.u19.p185==1)" & "(i2.u44.p385==1)" & F"(i5.u42.p376==1)") & G"((i4.u41.p175==1)&&(i2.u44.p385==1))")
built 56 ordering constraints for composite.
built 32 ordering constraints for composite.
built 30 ordering constraints for composite.
built 25 ordering constraints for composite.
built 25 ordering constraints for composite.
built 28 ordering constraints for composite.
built 30 ordering constraints for composite.
built 23 ordering constraints for composite.
built 27 ordering constraints for composite.
built 28 ordering constraints for composite.
built 6 ordering constraints for composite.
[2020-05-21 11:02:17] [INFO ] Proved 413 variables to be positive in 1118 ms
[2020-05-21 11:02:17] [INFO ] Computing symmetric may disable matrix : 672 transitions.
[2020-05-21 11:02:17] [INFO ] Computation of disable matrix completed :0/672 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-21 11:02:17] [INFO ] Computation of Complete disable matrix. took 139 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-21 11:02:17] [INFO ] Computing symmetric may enable matrix : 672 transitions.
[2020-05-21 11:02:17] [INFO ] Computation of Complete enable matrix. took 81 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Reverse transition relation is NOT exact ! Due to transitions i0.u45.t24, i0.u45.t25, i0.u45.t26, i0.u45.t28, i1.u40.t48, i1.u40.t49, i1.u40.t50, i1.u40.t52, i2.u44.t30, i2.u44.t31, i2.u44.t32, i2.u44.t34, i3.u39.t54, i3.u39.t55, i3.u39.t56, i3.u39.t58, i4.u41.t42, i4.u41.t43, i4.u41.t44, i4.u41.t46, i5.u42.t36, i5.u42.t37, i5.u42.t38, i5.u42.t40, i6.u46.t18, i6.u46.t19, i6.u46.t20, i6.u46.t22, i7.u47.t12, i7.u47.t13, i7.u47.t14, i7.u47.t16, i8.u48.t6, i8.u48.t7, i8.u48.t8, i8.u48.t10, i10.t709, i10.u51.t707, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/400/38/438
[2020-05-21 11:02:23] [INFO ] Computing symmetric co enabling matrix : 672 transitions.
[2020-05-21 11:02:24] [INFO ] Computation of co-enabling matrix(0/672) took 458 ms. Total solver calls (SAT/UNSAT): 666(0/666)
[2020-05-21 11:02:27] [INFO ] Computation of co-enabling matrix(53/672) took 3499 ms. Total solver calls (SAT/UNSAT): 4353(114/4239)
[2020-05-21 11:02:30] [INFO ] Computation of co-enabling matrix(96/672) took 6526 ms. Total solver calls (SAT/UNSAT): 7312(2235/5077)
[2020-05-21 11:02:33] [INFO ] Computation of co-enabling matrix(159/672) took 9576 ms. Total solver calls (SAT/UNSAT): 9520(4146/5374)
[2020-05-21 11:02:36] [INFO ] Computation of co-enabling matrix(225/672) took 12579 ms. Total solver calls (SAT/UNSAT): 11883(6227/5656)
[2020-05-21 11:02:39] [INFO ] Computation of co-enabling matrix(288/672) took 15602 ms. Total solver calls (SAT/UNSAT): 14028(8139/5889)
[2020-05-21 11:02:42] [INFO ] Computation of co-enabling matrix(349/672) took 18680 ms. Total solver calls (SAT/UNSAT): 16013(9933/6080)
[2020-05-21 11:02:45] [INFO ] Computation of co-enabling matrix(414/672) took 21750 ms. Total solver calls (SAT/UNSAT): 18215(11966/6249)
[2020-05-21 11:02:48] [INFO ] Computation of co-enabling matrix(468/672) took 24753 ms. Total solver calls (SAT/UNSAT): 20162(13781/6381)
[2020-05-21 11:02:51] [INFO ] Computation of co-enabling matrix(513/672) took 27760 ms. Total solver calls (SAT/UNSAT): 21907(15459/6448)
[2020-05-21 11:02:54] [INFO ] Computation of co-enabling matrix(567/672) took 30819 ms. Total solver calls (SAT/UNSAT): 23644(17127/6517)
[2020-05-21 11:02:57] [INFO ] Computation of co-enabling matrix(620/672) took 33836 ms. Total solver calls (SAT/UNSAT): 25218(18633/6585)
[2020-05-21 11:03:00] [INFO ] Computation of Finished co-enabling matrix. took 36509 ms. Total solver calls (SAT/UNSAT): 26347(19714/6633)
[2020-05-21 11:03:00] [INFO ] Computing Do-Not-Accords matrix : 672 transitions.
[2020-05-21 11:03:01] [WARNING] SMT solver unexpectedly returned 'unknown' answer, retrying.
Skipping mayMatrices nes/nds SMT solver raised an error :unknown
java.lang.RuntimeException: SMT solver raised an error :unknown
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:320)
at fr.lip6.move.gal.gal2smt.bmc.NextBMCSolver.checkSat(NextBMCSolver.java:307)
at fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver.computeDoNotAccord(NecessaryEnablingsolver.java:630)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printLabels(Gal2PinsTransformerNext.java:538)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printDependencyMatrix(Gal2PinsTransformerNext.java:209)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.buildBodyFile(Gal2PinsTransformerNext.java:85)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.transform(Gal2PinsTransformerNext.java:831)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:73)
at java.base/java.lang.Thread.run(Thread.java:834)
[2020-05-21 11:03:01] [INFO ] Built C files in 45403ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 11142 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 62 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(( <>(( ( <>((LTLAP0==true)) ) && ( (LTLAP1==true) ) ) && ( (LTLAP2==true) )) ) && ( []((LTLAP3==true)) )), --buchi-type=spotba], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(( <>(( ( <>((LTLAP0==true)) ) && ( (LTLAP1==true) ) ) && ( (LTLAP2==true) )) ) && ( []((LTLAP3==true)) )), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(( <>(( ( <>((LTLAP0==true)) ) && ( (LTLAP1==true) ) ) && ( (LTLAP2==true) )) ) && ( []((LTLAP3==true)) )), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
6 unique states visited
6 strongly connected components in search stack
7 transitions explored
6 items max in DFS search stack
117255 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,1172.64,7813192,1,0,7.42077e+06,551087,2120,2.98749e+07,961,6.34806e+06,5647
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Raft-PT-09-00 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((X(X((G(X("((i3.u39.p204==1)&&(i3.u39.p365==1))")))&&(G(X("((i7.u3.p35==1)&&(i3.u39.p365==1))")))))))
Formula 1 simplified : !XX(GX"((i3.u39.p204==1)&&(i3.u39.p365==1))" & GX"((i7.u3.p35==1)&&(i3.u39.p365==1))")
Detected timeout of ITS tools.
[2020-05-21 11:22:39] [INFO ] Applying decomposition
[2020-05-21 11:22:39] [INFO ] Flatten gal took : 57 ms
[2020-05-21 11:22:39] [INFO ] Decomposing Gal with order
[2020-05-21 11:22:39] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-21 11:22:39] [INFO ] Removed a total of 592 redundant transitions.
[2020-05-21 11:22:39] [INFO ] Flatten gal took : 97 ms
[2020-05-21 11:22:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 310 labels/synchronizations in 22 ms.
[2020-05-21 11:22:39] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 10 ms
[2020-05-21 11:22:39] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 14 LTL properties
Checking formula 0 : !((X(X((G(X("((u41.p204==1)&&(u73.p365==1))")))&&(G(X("((u7.p35==1)&&(u73.p365==1))")))))))
Formula 0 simplified : !XX(GX"((u41.p204==1)&&(u73.p365==1))" & GX"((u7.p35==1)&&(u73.p365==1))")
built 164 ordering constraints for composite.
Reverse transition relation is NOT exact ! Due to transitions t708, u73.t54, u73.t55, u73.t56, u73.t58, u74.t48, u74.t49, u74.t50, u74.t52, u75.t42, u75.t43, u75.t44, u75.t46, u76.t36, u76.t37, u76.t38, u76.t40, u77.t30, u77.t31, u77.t32, u77.t34, u78.t24, u78.t25, u78.t26, u78.t28, u79.t18, u79.t19, u79.t20, u79.t22, u80.t12, u80.t13, u80.t14, u80.t16, u81.t6, u81.t7, u81.t8, u81.t10, u83.t707, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/399/38/437
6 unique states visited
6 strongly connected components in search stack
6 transitions explored
6 items max in DFS search stack
306 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,3.12742,86964,1,0,141472,443,5179,254419,190,1115,357234
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA Raft-PT-09-01 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((X(G((!(("((u44.p219==1)&&(u76.p380==1))")U(!(F("((u44.p219==1)&&(u76.p380==1))")))))||(!(G(F("((u70.p350==1)&&(u81.p405==1))"))))))))
Formula 1 simplified : !XG(!("((u44.p219==1)&&(u76.p380==1))" U !F"((u44.p219==1)&&(u76.p380==1))") | !GF"((u70.p350==1)&&(u81.p405==1))")
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
297 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.09824,173448,1,0,277305,443,5329,627224,190,1156,812882
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA Raft-PT-09-02 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !((X(X(((((G(X(X(F("((u59.p295==1)&&(u80.p400==1))")))))&&("(u6.p27==1)"))&&("(u79.p395==1)"))&&("(u70.p350==1)"))&&("(u81.p405==1)")))))
Formula 2 simplified : !XX("(u6.p27==1)" & "(u70.p350==1)" & "(u79.p395==1)" & "(u81.p405==1)" & GXXF"((u59.p295==1)&&(u80.p400==1))")
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
101 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,7.10954,201584,1,0,326547,443,5361,739547,193,1158,955762
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA Raft-PT-09-03 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !(((X("((u58.p290==1)&&(u80.p400==1))"))U(F(G((F("((u34.p166==1)&&(u74.p370==1))"))U("((u62.p308==1)&&(u78.p390==1))"))))))
Formula 3 simplified : !(X"((u58.p290==1)&&(u80.p400==1))" U FG(F"((u34.p166==1)&&(u74.p370==1))" U "((u62.p308==1)&&(u78.p390==1))"))
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
27 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,7.38971,209960,1,0,342073,443,5566,775605,195,1205,980759
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA Raft-PT-09-04 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !((X(!(X(!(F(G("((u54.p270==1)&&(u79.p395==1))"))))))))
Formula 4 simplified : !X!X!FG"((u54.p270==1)&&(u79.p395==1))"
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
146 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,8.84735,244016,1,0,392472,443,5627,918345,195,1217,1180487
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA Raft-PT-09-05 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((((G(F(G("((u17.p81==1)&&(u73.p365==1))"))))||(X(G("((u17.p81==1)&&(u73.p365==1))"))))||(G("((u20.p100==1)&&(u75.p375==1))"))))
Formula 5 simplified : !(GFG"((u17.p81==1)&&(u73.p365==1))" | XG"((u17.p81==1)&&(u73.p365==1))" | G"((u20.p100==1)&&(u75.p375==1))")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
2135 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,30.2034,813440,1,0,1.61573e+06,443,5677,3.33135e+06,195,1311,2252421
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA Raft-PT-09-06 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !((!(X(F(X((G(X((X(!(F(X("((u17.p85==1)&&(u75.p375==1))")))))U("((u5.p25==1)&&(u73.p365==1))"))))U("((u80.p400==1)&&(u82.p408==1))")))))))
Formula 6 simplified : XFX(GX(X!FX"((u17.p85==1)&&(u75.p375==1))" U "((u5.p25==1)&&(u73.p365==1))") U "((u80.p400==1)&&(u82.p408==1))")
5 unique states visited
5 strongly connected components in search stack
5 transitions explored
5 items max in DFS search stack
230 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,32.5026,831232,1,0,1.64478e+06,443,5714,3.39019e+06,195,1437,2332441
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA Raft-PT-09-07 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 7 : !((X(!(F((((X("(u79.p395==1)"))U(X("((u28.p140==1)&&(u76.p380==1))")))||(X("((u70.p347==1)&&(u78.p390==1))")))||("((u70.p347==1)&&(u78.p390==1))"))))))
Formula 7 simplified : !X!F("((u70.p347==1)&&(u78.p390==1))" | (X"(u79.p395==1)" U X"((u28.p140==1)&&(u76.p380==1))") | X"((u70.p347==1)&&(u78.p390==1))")
6 unique states visited
6 strongly connected components in search stack
7 transitions explored
6 items max in DFS search stack
206 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,34.5716,873736,1,0,1.7368e+06,443,5849,3.5502e+06,195,1461,2515985
an accepting run exists (use option '-e' to print it)
Formula 7 is FALSE accepting run found.
FORMULA Raft-PT-09-08 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 8 : !((!(G(X((G(!(("(u76.p376==1)")U(X("((u44.p220!=1)||(u78.p390!=1))")))))&&(G("((u16.p76==1)&&(u81.p405==1))")))))))
Formula 8 simplified : GX(G!("(u76.p376==1)" U X"((u44.p220!=1)||(u78.p390!=1))") & G"((u16.p76==1)&&(u81.p405==1))")
2 unique states visited
0 strongly connected components in search stack
1 transitions explored
2 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,34.5728,874000,1,0,1.7368e+06,443,5855,3.5502e+06,195,1461,2516042
no accepting run found
Formula 8 is TRUE no accepting run found.
FORMULA Raft-PT-09-09 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 9 : !((!(G(!(X((X("((u34.p170==1)&&(u77.p385==1))"))||("((u47.p232==1)&&(u80.p400==1))")))))))
Formula 9 simplified : G!X("((u47.p232==1)&&(u80.p400==1))" | X"((u34.p170==1)&&(u77.p385==1))")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
115 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,35.7164,912808,1,0,1.82404e+06,443,6000,3.69952e+06,195,1463,2689319
an accepting run exists (use option '-e' to print it)
Formula 9 is FALSE accepting run found.
FORMULA Raft-PT-09-10 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 10 : !((X(((G("((u79.p393==1)&&(u83.p412==1))"))||("(u62.p310!=1)"))||("(u80.p400!=1)"))))
Formula 10 simplified : !X("(u62.p310!=1)" | "(u80.p400!=1)" | G"((u79.p393==1)&&(u83.p412==1))")
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,35.7243,913068,1,0,1.82404e+06,443,6023,3.69952e+06,195,1463,2689360
an accepting run exists (use option '-e' to print it)
Formula 10 is FALSE accepting run found.
FORMULA Raft-PT-09-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 11 : !(((X(F((X("((u17.p85==1)&&(u75.p375==1))"))||("((u12.p56==1)&&(u77.p385==1))"))))&&(!(G(((G("((u33.p161==1)&&(u73.p365==1))"))U("(u83.p410==1)"))U("((u81.p405==1)&&(u82.p406==1))"))))))
Formula 11 simplified : !(XF("((u12.p56==1)&&(u77.p385==1))" | X"((u17.p85==1)&&(u75.p375==1))") & !G((G"((u33.p161==1)&&(u73.p365==1))" U "(u83.p410==1)") U "((u81.p405==1)&&(u82.p406==1))"))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
254 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,38.2662,1006768,1,0,2.03726e+06,443,6223,4.10531e+06,196,1472,2924813
an accepting run exists (use option '-e' to print it)
Formula 11 is FALSE accepting run found.
FORMULA Raft-PT-09-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 12 : !((((X("(u80.p400==1)"))||(G("((u23.p115==1)&&(u75.p375==1))")))U(G(F("((u79.p393==1)&&(u83.p412==1))")))))
Formula 12 simplified : !((X"(u80.p400==1)" | G"((u23.p115==1)&&(u75.p375==1))") U GF"((u79.p393==1)&&(u83.p412==1))")
4 unique states visited
4 strongly connected components in search stack
5 transitions explored
4 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,38.2846,1007028,1,0,2.0379e+06,443,6253,4.1065e+06,196,1474,2925485
an accepting run exists (use option '-e' to print it)
Formula 12 is FALSE accepting run found.
FORMULA Raft-PT-09-13 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 13 : !((("(((u67.p335==1)&&(u81.p405==1))||((u5.p23==1)&&(u78.p390==1)))")U(F((X(F(X("((u45.p225==1)&&(u78.p390==1))"))))U(X("((u6.p30==1)&&(u73.p365==1))"))))))
Formula 13 simplified : !("(((u67.p335==1)&&(u81.p405==1))||((u5.p23==1)&&(u78.p390==1)))" U F(XFX"((u45.p225==1)&&(u78.p390==1))" U X"((u6.p30==1)&&(u73.p365==1))"))
2 unique states visited
0 strongly connected components in search stack
1 transitions explored
2 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,38.2898,1007292,1,0,2.0379e+06,443,6274,4.1065e+06,196,1474,2925562
no accepting run found
Formula 13 is TRUE no accepting run found.
FORMULA Raft-PT-09-15 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
BK_STOP 1590060210658
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Raft-PT-09"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is Raft-PT-09, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r141-smll-158961510800274"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Raft-PT-09.tgz
mv Raft-PT-09 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;